lemma 9.117 The differentiated Legendre equation
open in the book ·
parts/02-mathematical-methods/07-odes-sturm-liouville.tex:4524
· p. 325
Rests on
- depends_on equation 9.146 eq:slt-legendre-ode ¶
- proves proof ch:07-odes-sturm-liouville@proof-59 ¶
Supports
-
depends_on
proposition 9.118
The construction solves the associated equation
¶
-
depends_on
theorem 9.119
Orthogonality at fixed order
¶
- depends_on theorem 9.122 Normalisation and orthonormality ¶
-
depends_on
theorem 9.119
Orthogonality at fixed order
¶
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-legendre-ode | declared | parts/02-mathematical-methods/07-odes-sturm-liouville.tex:4533 |
depends_on |
← | The construction solves the associated equation | declared | parts/02-mathematical-methods/07-odes-sturm-liouville.tex:4553 |
proves |
← | ch:07-odes-sturm-liouville@proof-59 | declared | parts/02-mathematical-methods/07-odes-sturm-liouville.tex:4536 |