equation 9.3 eq:slt-ode-system

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

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

Neighborhood

Every logical edge within two steps of this node.

equation 9.3: eq:slt-ode-system9.3definition A.438: Momentum variable and the accessory systemA.438theorem 9.8: Picard–Lindelöf9.8equation 16.49: eq:calcvar-jacobi16.49lemma A.439: Existence, uniqueness, and the structure of the zerosA.439definition 9.4: Lipschitz condition9.4lemma 9.6: Weierstrass M-test; uniform limits are continuous9.6corollary 32.5: Trajectories do not cross32.5corollary 9.9: Linear equations: existence on the whole interval9.9proposition 32.4: The flow is a one-parameter group32.4proposition 10.16: Cauchy's characteristic strips10.16proposition 20.7: Terminal speed and the approach to it20.7proposition 9.11: Continuous dependence on the initial data9.11proposition 9.142: The differential equation of the sine amplitude9.142theorem A.74: Flow of a time-dependent vector fieldA.74theorem 13.125: Existence, uniqueness and smoothness of the flow13.125theorem 9.34: Poincaré–Bendixson; quoted9.34proof : ch:07-odes-sturm-liouville@proof-2proof

Edges

typedirectionnode provenancewhere
depends_on Momentum variable and the accessory system declared appendices/A-long-proofs.tex:21535
depends_on Picard–Lindelöf declared parts/02-mathematical-methods/07-odes-sturm-liouville.tex:271