Laguerre多項式L_n(x)を最大201点でグラフ・表計算

使い方

1. 次数nとx格子を入力します。canonical既定を保ちn=3、x=−1〜4です。
2. x<0は多項式値を確認できますが、直交区間外であることを区別します。
3. L_3(−1)=17/3、L_3(0)=1、L_3(4)=7/3を表で検算します。

計算式・考え方

L_0=1、L_1=1−x、(k+1)L_(k+1)=(2k+1−x)L_k−kL_(k−1)です。微分方程式xy''+(1−x)y'+ny=0を満たし、重みe^(−x)で0〜∞に直交します。

注意事項

• NIST DLMF §18.3・§18.9とSciPy公式eval_laguerreを2026年7月13日に確認しました。標準L_n=L_n^0を採用します。
• Laguerre多項式は全実数xで評価できる多項式ですが、直交性の積分区間は[0,∞)です。canonical既定にx=−1が含まれるため本ページも負側を許しますが、負側の曲線を直交重みの領域と誤解しないようフォームと説明で区別します。
• n=0では1、全てのnでL_n(0)=1です。xが大きい領域や高次数では値が大きく振動し、有限格子では零点を正確に拾わない場合があります。根やGauss–Laguerre求積節点が目的なら専用の根探索・求積実装を使ってください。
• サンプル番号i=0,1,…,点数−1に対しx_i=x初期値+i×増分を作ります。増分を負にすると右から左へ確認できます。点数は1〜201、次数は0〜128へ有界化し、最終点も関数ごとの許可範囲へ収めます。線は隣接する標本点を見やすく結ぶ表示で、点間を追加評価した結果や零点・極値を厳密探索した結果ではありません。
• 直交多項式の『直交』は、決められた区間と重み関数を使った積分が異なる次数間で0になる性質です。曲線が見た目で直角に交差するという意味ではありません。本ページは標準的な多項式値を返し、長さ1へ揃えたorthonormal多項式へ自動変換しません。別資料と比較するときは族名だけでなく正規化、重み、区間、位相を確認してください。
• グラフの下に同じ計算結果の表を置き、全行をTSVとしてコピーできます。グラフが縦軸の大きな値に引かれて細部を見せない場合は区間を狭め、表の数値を正本として確認してください。高次数では漸化式の丸め誤差、係数の急増、隣接項の相殺が増えます。用途に必要な誤差を決め、代表点を任意精度や別実装と比較してください。
• schema v4のsampled-series-v1と共有の有界3項漸化式だけを使います。各点の最大反復は次数128で、途中結果が非有限になればそのセルを未定義として線を分断します。eval、new Function、外部API、CDN、fetch、XHR、WebSocketは使わず、入力と生成系列は利用者の端末内だけで処理します。WordPressへの書込みや公開も行いません。
• 多項式は近似、スペクトル法、求積、物理モデルなどで使われますが、このページは展開係数、根、微分、積分、境界条件を自動計算しません。関数値グラフだけで近似の収束やモデルの妥当性を断定せず、採用した次数、パラメータ、区間、重み、正規化と入力尺度を一緒に記録してください。
• 入力値を変更したときは、曲線の形だけでなく表に表示される代表値も確認してください。次数を一つずつ増やす比較では、同じ区間、刻み、点数を保つと零点や対称性の変化を追いやすくなります。別の資料や数式処理ソフトと照合する場合は、多項式の名称だけでなく規格化、パラメータの順序、変数の範囲が一致しているかを確かめてください。
• 計算結果は指定した有限個の標本点です。線で結んだ表示は見やすさのための補助であり、標本点の間にある極値や零点を完全に捕捉したことを意味しません。変化が急な区間では範囲を狭めるか刻みを小さくし、点数上限を超えない範囲で再計算してください。
• 有限格子上の標準多項式値を返す学習・検算用グラフです。近似精度や物理モデルを保証しません。

よくある質問