remark 23.58 The caustics that are not turning surfaces
open in the book ·
parts/03-classical-mechanics/06-hamilton-jacobi.tex:1969
· p. 846
- remark -- no derivation owed by its kind
Rests on
-
depends_on
proposition 23.57
The wave resolution at a turning surface
¶
-
depends_on
remark 23.51
Where the expansion breaks, and what is owed
¶
-
depends_on
proposition 9.65
Validity criterion
¶
-
depends_on
definition 9.64
Reduced de Broglie wavelength
¶
- depends_on equation 9.60 eq:slt-wkb-normal-form ¶
- depends_on equation 9.64 eq:slt-wkb-series ¶
-
depends_on
proposition 9.61
Eikonal and transport equations
¶
- depends_on equation 9.64 eq:slt-wkb-series ¶ ↺
- depends_on proposition 9.60 Exact Riccati form ¶
- proves proof ch:07-odes-sturm-liouville@proof-31 ¶
- proves proof ch:07-odes-sturm-liouville@proof-34 ¶
-
depends_on
definition 9.64
Reduced de Broglie wavelength
¶
-
depends_on
theorem 9.72
Connection formulae
¶
-
depends_on
corollary 9.62
The semiclassical wave
¶
- depends_on equation 9.62 eq:slt-wkb-ansatz ¶
- depends_on equation 9.61 eq:slt-wkb-kappa ¶
- depends_on proposition 9.61 Eikonal and transport equations ¶ ↺
- proves proof ch:07-odes-sturm-liouville@proof-32 ¶
- depends_on equation 9.79 eq:slt-wkb-airy-ai ¶
- depends_on equation 9.80 eq:slt-wkb-airy-bi ¶
- depends_on equation 9.76 eq:slt-wkb-airy-equation ¶
- depends_on equation 9.74 eq:slt-wkb-airy-scale ¶
- proves proof ch:07-odes-sturm-liouville@proof-37 ¶
-
depends_on
corollary 9.62
The semiclassical wave
¶
-
depends_on
proposition 9.65
Validity criterion
¶
-
depends_on
theorem 9.70
Asymptotics of the Airy functions
¶
- depends_on definition 9.68 Airy functions ¶
-
depends_on
proposition 9.69
The integral solves the Airy equation
¶
- depends_on definition 9.68 Airy functions ¶ ↺
- depends_on equation 9.76 eq:slt-wkb-airy-equation ¶ ↺
- proves proof ch:07-odes-sturm-liouville@proof-35 ¶
- proves proof ch:07-odes-sturm-liouville@proof-36 ¶
- depends_on theorem 9.72 Connection formulae ¶ ↺
- proves proof ch:06-hamilton-jacobi@proof-20 ¶
-
depends_on
remark 23.51
Where the expansion breaks, and what is owed
¶
-
depends_on
proposition 23.55
The fold, and the quarter-power law
¶
- depends_on equation 23.86 eq:hj-caustic-jacobian ¶
-
depends_on
proposition 23.54
The geometrical amplitude diverges
¶
-
depends_on
definition 23.52
Lagrangian family; caustic
¶
-
depends_on
definition 16.62
Field of extremals; slope function
¶
- depends_on definition 6.17 Simply connected space ¶
- depends_on theorem 16.22 Euler–Lagrange ¶
-
depends_on
definition 23.5
Complete integral
¶
- depends_on equation 23.2 eq:hj-equation ¶
-
depends_on
definition 16.62
Field of extremals; slope function
¶
- depends_on equation 23.66 eq:hj-transport ¶
-
depends_on
theorem 7.133
Gauss
¶
-
depends_on
definition 7.127
Simple regions
¶
- depends_on definition 7.98 Functions of class $C^{1}$ ¶
- depends_on definition 6.9 Compact set ¶
-
depends_on
remark 7.128
What the derivations below take as given
¶
- depends_on definition 7.125 Multiple integral ¶
- depends_on theorem 7.40 Continuous functions are integrable ¶
- depends_on theorem 7.25 Heine–Cantor: uniform continuity ¶
-
depends_on
theorem 7.43
Fundamental theorem of calculus, II
¶
- depends_on definition 7.41 Antiderivative ¶
- depends_on theorem 7.42 Fundamental theorem of calculus, I ¶
- proves proof ch:05-real-analysis@proof-25 ¶
- proves proof ch:05-real-analysis@proof-79 ¶
-
depends_on
definition 7.127
Simple regions
¶
- proves proof ch:06-hamilton-jacobi@proof-17 ¶
-
depends_on
definition 23.52
Lagrangian family; caustic
¶
- proves proof ch:06-hamilton-jacobi@proof-18 ¶
Supports
Nothing declares a dependency on this node yet.
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 |
|---|---|---|---|---|
cites
(history) |
→ | On the intensity of light in the neighbourhood of a caustic | derived | parts/03-classical-mechanics/06-hamilton-jacobi.tex:1985 |
cites
(context) |
→ | Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light | derived | parts/03-classical-mechanics/06-hamilton-jacobi.tex:1986 |
depends_on |
→ | The wave resolution at a turning surface | declared | parts/03-classical-mechanics/06-hamilton-jacobi.tex:1987 |
depends_on |
→ | The fold, and the quarter-power law | declared | parts/03-classical-mechanics/06-hamilton-jacobi.tex:1987 |