ルジャンドル多項式

定義 5.1（「静電場の境界値問題」§5）

$-1\le x\le1$ 、 $|t|<1$ に対して

G(x,t)=\frac{1}{\sqrt{1-2xt+t^2}}=\sum_{l=0}^\infty P_l(x)\,t^l

と $t$ について冪級数展開したときの係数 $P_l(x)$ を、 $l$ 次のルジャンドル多項式という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。