example 9.80 The harmonic oscillator

open in the book · parts/02-mathematical-methods/07-odes-sturm-liouville.tex:2965 · p. 307

example -- no derivation owed by its kind

Rests on

depends_on theorem 9.78 Semiclassical quantisation of a well ¶
- 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 ¶
    - depends_on equation 9.64 eq:slt-wkb-series ¶
    - depends_on proposition 9.60 Exact Riccati form ¶
      - depends_on equation 9.62 eq:slt-wkb-ansatz ¶ ↺
      - depends_on equation 9.60 eq:slt-wkb-normal-form ¶
      - proves proof ch:07-odes-sturm-liouville@proof-30 ¶
    - proves proof ch:07-odes-sturm-liouville@proof-31 ¶
  - proves proof ch:07-odes-sturm-liouville@proof-32 ¶
- depends_on equation 9.59 eq:slt-wkb-schrodinger ¶
- depends_on theorem 9.72 Connection formulae ¶
  - depends_on corollary 9.62 The semiclassical wave ¶ ↺
  - 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 ¶
- proves proof ch:07-odes-sturm-liouville@proof-40 ¶

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
`depends_on`	→	Semiclassical quantisation of a well	declared	parts/02-mathematical-methods/07-odes-sturm-liouville.tex:2988