這個計算器的用途
本工具會在一連串 x 值上，列出廣義（締合）拉蓋爾多項式 \(L_{n}^{\alpha}(x)\) 的數值表。您只需輸入階數 \(n\)、參數 \(\alpha\)、起始 x、步長以及要產生的列數，計算器就會回傳多項式在每個 x 處的值。這純粹是數學運算，放諸四海皆準，不涉及任何地區或國家的特定假設。
使用方式
請輸入 \(n\)（非負整數）、\(\alpha\)（任意實數；標準正交性的情形要求 \(\alpha > -1\)）、x 的起始值、遞增量，以及列數。x 值會依 \(x_i = \text{起始 }x + i \times \text{步長}\)（\(i = 0, 1, \ldots, \text{列數}-1\)）依序產生，並逐一計算並列出對應的 \(L_{n}^{\alpha}(x_i)\)。
公式解析
其封閉形式為一有限級數：$$L_{n}^{\alpha}(x) = \sum_{k=0}^{n} (-1)^{k} \binom{n+\alpha}{n-k} \frac{x^{k}}{k!}$$其中 \(\binom{n+\alpha}{n-k}\) 為廣義二項式係數。為了數值穩定性，本計算器改用三項遞迴關係式：\(L_{0} = 1\)、\(L_{1} = 1 + \alpha - x\)，以及 $$(k+1)L_{k+1} = (2k+1+\alpha-x)L_{k} - (k+\alpha)L_{k-1}.$$如此可避免出現巨大的階乘，並降低 \(n\) 較大時的相消誤差。
範例演算
採用預設值 \(n = 3\)、\(\alpha = 1\) 時，多項式的明確形式為 $$L_{3}^{1}(x) = 4 - 6x + 2x^{2} - \tfrac{1}{6}x^{3}.$$在 \(x = 0\) 時其值為 4；在 \(x = 0.1\) 時為 \(4 - 0.6 + 0.02 - 0.0001667 \approx 3.419833\)；在 \(x = 1\) 時則等於 \(4 - 6 + 2 - 0.166667 = -0.166667\)。
第一類伴隨拉蓋爾多項式
伴隨（廣義）拉蓋爾多項式 \(L_n^{(\alpha)}(x)\) 是關於 \(x\) 的 \(n\) 次多項式，其係數取決於參數 \(\alpha\)。閉形式為
$$L_n^{(\alpha)}(x)=\sum_{k=0}^{n}(-1)^k\binom{n+\alpha}{n-k}\frac{x^k}{k!}.$$前五個多項式以一般 \(\alpha\) 形式表示如下：
| \(n\) | \(L_n^{(\alpha)}(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(-x+(\alpha+1)\) |
| 2 | \(\dfrac{x^2}{2}-(\alpha+2)x+\dfrac{(\alpha+1)(\alpha+2)}{2}\) |
| 3 | \(-\dfrac{x^3}{6}+\dfrac{(\alpha+3)x^2}{2}-\dfrac{(\alpha+2)(\alpha+3)x}{2}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)}{6}\) |
| 4 | \(\dfrac{x^4}{24}-\dfrac{(\alpha+4)x^3}{6}+\dfrac{(\alpha+3)(\alpha+4)x^2}{4}-\dfrac{(\alpha+2)(\alpha+3)(\alpha+4)x}{6}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)(\alpha+4)}{24}\) |
特殊情況 \(\alpha=0\)。令 \(\alpha=0\) 可得到普通拉蓋爾多項式 \(L_n(x)=L_n^{(0)}(x)\)：
| \(n\) | \(L_n(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(1-x\) |
| 2 | \(1-2x+\tfrac12 x^2\) |
| 3 | \(1-3x+\tfrac32 x^2-\tfrac16 x^3\) |
| 4 | \(1-4x+3x^2-\tfrac23 x^3+\tfrac{1}{24}x^4\) |
最高次項係數始終為 \(\dfrac{(-1)^n}{n!}\)，與 \(\alpha\) 無關。
關鍵術語與變數
- 次數 \(n\)
- 非負整數，表示多項式的次數；\(L_n^{(\alpha)}(x)\) 恰好有 \(n\) 個根。在計算器中這是 度數 欄位。
- 參數 \(\alpha\)
- 實數（通常 \(\alpha>-1\)），用於改變二項式係數和正交性權函數。欄位名稱為 alpha。當 \(\alpha=0\) 時，多項式簡化為普通拉蓋爾多項式。
- 自變數 \(x\)
- 計算多項式的點。表格對 \(x_i=\text{起始X}+i\cdot\text{步長X}\) 進行掃描。正交性的自然定義域為 \((0,\infty)\)。
- 廣義二項式係數
- 對於實數上指標，\(\binom{n+\alpha}{n-k}=\dfrac{\Gamma(n+\alpha+1)}{\Gamma(k+\alpha+1)\,(n-k)!}\)，通過伽瑪函數將 \(\binom{m}{j}=m!/(j!(m-j)!)\) 擴展到非整數 \(\alpha\)。
- 三項遞推關係
- 生成多項式的穩定方法：\((k+1)L_{k+1}^{(\alpha)}=(2k+1+\alpha-x)L_k^{(\alpha)}-(k+\alpha)L_{k-1}^{(\alpha)}\)，從 \(L_0^{(\alpha)}=1\) 和 \(L_1^{(\alpha)}=1+\alpha-x\) 開始。
- 在 \((0,\infty)\) 上的正交性
- 多項式彼此正交：\(\displaystyle\int_0^\infty L_n^{(\alpha)}(x)L_m^{(\alpha)}(x)\,w(x)\,dx=\frac{\Gamma(n+\alpha+1)}{n!}\delta_{nm}\)。
- 權函數 \(w(x)=x^{\alpha}e^{-x}\)
- 正交性所應用的因子；當 \(\alpha=0\) 時，權函數為簡單的指數權 \(e^{-x}\)。積分收斂需要 \(\alpha>-1\)。
解釋表格
使用以下事實可更容易地讀取 \(L_n^{(\alpha)}(x)\) 的計算表格：
- 實根個數。當 \(\alpha>-1\) 時，\(L_n^{(\alpha)}(x)\) 在開區間 \((0,\infty)\) 內恰好有 \(n\) 個簡單實零點。如果表格欄穿過零點 \(n\) 次，則已找到所有零點。
- 符號改變。由於所有零點都是簡單的，多項式在每個零點處改變符號。在兩個連續零點之間，數值保持恆定的符號，所以相鄰行之間的符號翻轉表示一個根的存在——這對於 二分法 或 牛頓 根查找器的起始區間很有用。
- 在原點處的值。每個伴隨拉蓋爾多項式都滿足 \(L_n^{(\alpha)}(0)=\binom{n+\alpha}{n}=\dfrac{\Gamma(n+\alpha+1)}{n!\,\Gamma(\alpha+1)}\)。例如，當 \(n=4,\ \alpha=0\) 時，在 \(x=0\) 處的第一行為 1，當 \(n=4,\ \alpha=2\) 時為 \(\binom{6}{4}=\) 15。
- 量子力學。氫原子波函數的徑向部分由 \(L_{n-\ell-1}^{(2\ell+1)}\!\left(2r/(na_0)\right)\) 構成；多項式的節點對應於軌道的徑向節點。
- 高斯–拉蓋爾求積。表格中列出的零點正是用於近似 \(\int_0^\infty f(x)\,x^{\alpha}e^{-x}\,dx\) 的節點，其權重由相同的多項式導出。
這是一般數學參考資訊；請在關鍵應用中驗證您所依賴的任何值。
常見問題
如果 \(n = 0\) 會怎樣？對於任意 x 與任意 \(\alpha\)，\(L_{0}^{\alpha}(x)\) 恆等於 1。
\(\alpha\) 可以是負數或非整數嗎？可以。無論是級數展開或遞迴關係，對任意實數 \(\alpha\) 都成立。但在 \((0, \infty)\) 上的古典正交性要求 \(\alpha > -1\)。
步長可以是 0 或負數嗎？可以。負的步長會讓 x 向下遞減；步長為 0 則會重複同一個 x，產生 x 維持不變的退化（常數）數值表。
