この計算ツールについて
このツールは、指定した次数 \(n\) のルジャンドル多項式 \(P_n(x)\) について、連続する \(x\) の値ごとの数値表を作成し、対応する曲線を描画します。次数・\(x\) の初期値・刻み幅（増分）・生成する行数を入力すると、各 \((x, P_n(x))\) の組と折れ線グラフが得られます。ルジャンドル多項式は区間 [-1, 1] における直交多項式の代表的な一族で、物理学や応用数学のあらゆる場面に登場します。ラプラス方程式の解、多重極展開、球面調和関数、ガウス求積などがその例です。
使い方
\(n\)（次数）には 0 以上の整数（0, 1, 2, …）を入力します。\(x\) の初期値（多くの場合 -1）、隣り合う \(x\) どうしの刻み幅（増分）（例：0.02）、そして生成する行数（繰り返し回数）を設定してください。\(i\) 番目の行では \(x = \text{初期値} + i \times \text{刻み幅}\) が用いられます。多項式が最も意味を持つのは区間 [-1, 1] 上ですが、計算式自体は任意の実数 \(x\) で成り立ちます。ただし、この区間の外では値の絶対値が急激に大きくなる点に注意してください。
計算式の解説
本ツールは閉じた形の展開式を直接用いるのではなく、数値的に安定なボネの漸化式を採用しています。\(P_0(x) = 1\) と \(P_1(x) = x\) から始め、 $$(k+1)\,P_{k+1}(x) = (2k+1)\,x\,P_k(x) - k\,P_{k-1}(x)$$ を順に計算します。低次の閉じた形は \(P_2 = (3x^2 - 1)/2\)、\(P_3 = (5x^3 - 3x)/2\)、\(P_4 = (35x^4 - 30x^2 + 3)/8\) となります。
計算例
\(n = 3\)、\(x = 0.5\) の場合：\(P_0 = 1\)、\(P_1 = 0.5\)。続いて $$P_2 = \frac{3 \cdot 0.5 \cdot 0.5 - 1}{2} = -0.125$$ $$P_3 = \frac{5 \cdot 0.5 \cdot (-0.125) - 2 \cdot 0.5}{3} = \frac{-1.3125}{3} = -0.4375$$ となります。閉じた形 \((5x^3 - 3x)/2\) でも同じ結果が得られ、漸化式の正しさが確認できます。
よくある質問
\(n = 0\) のときはどうなりますか？ すべての \(x\) について値が一定の 1 となるため、グラフは水平な直線になります。端点での値は？ すべてのルジャンドル多項式は \(P_n(1) = 1\)、\(P_n(-1) = (-1)^n\) を満たします。なぜ明示的な式ではなく漸化式を使うのですか？ 3 項間漸化式は任意の次数に対して高速かつ数値的に安定で、高次の明示的多項式で起こる桁落ち誤差を避けられるためです。
