definition A.116 Orthogonal curvilinear coordinates; scale factors
open in the book ·
appendices/A-long-proofs.tex:6694
· p. 2850
- ground object -- no derivation owed
Rests on
-
depends_on
definition 7.98
Functions of class $C^{1}$
¶
-
depends_on
definition 7.20
Continuity at a point
¶
-
depends_on
definition 7.16
Limit
¶
- depends_on definition 7.2 Absolute value ¶
- depends_on definition 7.9 Real function ¶
- depends_on equation 7.7 eq:ana-limit-left ¶
- depends_on equation 7.5 eq:ana-limit-right ¶
-
depends_on
definition 7.16
Limit
¶
-
depends_on
definition 7.97
Partial derivative; gradient
¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
- depends_on definition 7.16 Limit ¶ ↺
- depends_on definition 7.9 Real function ¶ ↺
-
depends_on
definition 5.15
Basis
¶
-
depends_on
definition 5.12
Subspace generated by a set of vectors
¶
- depends_on definition 5.5 Linear combination ¶
- depends_on definition 5.7 Vector subspace ¶
- proves proof ch:03-linear-algebra-representations@proof-3 ¶
-
depends_on
definition 5.14
Linear independence
¶
- depends_on definition 5.5 Linear combination ¶ ↺
-
depends_on
definition 5.12
Subspace generated by a set of vectors
¶
-
depends_on
definition 7.26
Derivative of a function at a point
¶
-
depends_on
definition 7.20
Continuity at a point
¶
- depends_on equation 10.25 eq:pde-helmholtz-equation ¶
Supports
-
depends_on
definition A.125
Ellipsoidal coordinates
¶
-
depends_on
lemma A.126
Cartesian coordinates and scale factors
¶
- depends_on proposition A.128 The ellipsoidal system separates ¶
-
depends_on
lemma A.126
Cartesian coordinates and scale factors
¶
-
depends_on
definition A.118
Simple separation of the Helmholtz equation
¶
-
depends_on
theorem A.120
Stäckel and Robertson conditions
¶
- depends_on example A.122 Cartesian ¶
- depends_on example A.123 Circular cylindrical ¶
- depends_on example A.124 Spherical ¶
- depends_on proposition A.128 The ellipsoidal system separates ¶ ↺
-
depends_on
theorem A.120
Stäckel and Robertson conditions
¶
-
depends_on
lemma A.117
Laplacian in orthogonal coordinates
¶
- depends_on theorem A.120 Stäckel and Robertson conditions ¶ ↺
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Functions of class $C^{1}$ | declared | appendices/A-long-proofs.tex:6707 |
depends_on |
→ | eq:pde-helmholtz-equation | declared | appendices/A-long-proofs.tex:6707 |
depends_on |
← | Ellipsoidal coordinates | declared | appendices/A-long-proofs.tex:7094 |
depends_on |
← | Simple separation of the Helmholtz equation | declared | appendices/A-long-proofs.tex:6781 |
depends_on |
← | Laplacian in orthogonal coordinates | declared | appendices/A-long-proofs.tex:6719 |