proposition 9.74 Connection at a turning point of odd order

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

Rests on

depends_on equation 9.83 eq:slt-turning-local ¶
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 ¶
    - 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.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-38 ¶

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`	→	eq:slt-turning-local	declared	parts/02-mathematical-methods/07-odes-sturm-liouville.tex:2659
`depends_on`	→	Connection formulae	declared	parts/02-mathematical-methods/07-odes-sturm-liouville.tex:2659
`proves`	←	ch:07-odes-sturm-liouville@proof-38	declared	parts/02-mathematical-methods/07-odes-sturm-liouville.tex:2662