postulate A.795 Matching, quoted

open in the book · appendices/A-long-proofs.tex:38926 · p. 3185

ground object -- no derivation owed

Rests on

depends_on equation 31.32 eq:fluid-ns ¶
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 ¶

Supports

depends_on corollary A.799 The impressed pressure gradient ¶

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:fluid-ns	declared	appendices/A-long-proofs.tex:38939
`depends_on`	→	Connection formulae	declared	appendices/A-long-proofs.tex:38939
`depends_on`	←	The impressed pressure gradient	declared	appendices/A-long-proofs.tex:39173