equation 9.146 eq:slt-legendre-ode

Rests on

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

Supports

• depends_on lemma 9.117 The differentiated Legendre equation ¶
  • 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 proposition 9.109 Rodrigues' polynomials solve the equation ¶
  • depends_on lemma 9.110 The polynomial solution is unique up to scale ¶
    • depends_on theorem 9.113 Generating function ¶
      • depends_on proposition 29.24 MacCullagh's formula ¶
        • depends_on phenomenon 29.49 Precession of the equinoxes ¶
      • depends_on proposition 9.114 Recurrence relations ¶
        • depends_on proposition 9.120 Recurrence in the degree at fixed order ¶
  • depends_on theorem 9.113 Generating function ¶ ↺
  • depends_on theorem 9.111 Orthogonality of the Legendre polynomials ¶
    • depends_on proposition 9.115 Legendre series ¶
    • depends_on theorem 9.119 Orthogonality at fixed order ¶ ↺