Bu hesaplayıcı ne işe yarar?
Bu araç, asosye (genelleştirilmiş) Laguerre polinomu \(L_{n}^{(\alpha)}(x)\) değerlerini bir dizi x değeri için tablo halinde hesaplar. Derece n'yi, \(\alpha\) parametresini, başlangıç x değerini, adım büyüklüğünü ve kaç satır üretileceğini siz belirlersiniz. Hesaplayıcı, polinomun her x noktasındaki değerini döndürür. Tamamen matematiksel bir araçtır ve her yerde geçerlidir — herhangi bir bölge ya da ülkeye özgü varsayım içermez.
Nasıl kullanılır?
n değerini (negatif olmayan bir tam sayı), \(\alpha\) değerini (herhangi bir gerçek sayı; klasik diklik durumu için \(\alpha > -1\) alınır), başlangıç x değerini, artış miktarını ve satır sayısını girin. x değerleri $$x_i = \text{başlangıçX} + i \times \text{adımX}$$ formülüyle \(i = 0, 1, \ldots, \text{sayı}-1\) için üretilir ve her bir \(L_{n}^{(\alpha)}(x_i)\) değeri hesaplanarak listelenir.
Formülün açıklaması
Kapalı form, sonlu bir toplamdır: $$L_{n}^{(\alpha)}(x) = \sum_{k=0}^{n} (-1)^{k} \binom{n+\alpha}{n-k} \frac{x^{k}}{k!},$$ burada \(\binom{n+\alpha}{n-k}\) genelleştirilmiş binom katsayısıdır. Sayısal kararlılığı korumak için hesaplayıcı bunun yerine üç terimli yineleme bağıntısını kullanır: \(L_{0} = 1\), \(L_{1} = 1 + \alpha - x\) ve $$(k+1)L_{k+1} = (2k+1+\alpha-x)L_{k} - (k+\alpha)L_{k-1}.$$ Bu yaklaşım, orta ve büyük n değerlerinde devasa faktöriyellerden ve yuvarlama hatalarından kaçınmayı sağlar.
Örnek çözüm
Varsayılan değerler \(n = 3\) ve \(\alpha = 1\) ile açık polinom şöyledir: $$L_{3}^{1}(x) = 4 - 6x + 2x^{2} - \tfrac{1}{6}x^{3}.$$ x = 0 için değer 4'tür. x = 0,1 için değer $$4 - 0{,}6 + 0{,}02 - 0{,}0001667 \approx 3{,}419833$$ olur. x = 1 için ise $$4 - 6 + 2 - 0{,}166667 = -0{,}166667$$ eder.
İlk Bağlı Laguerre Polinomları
Bağlı (genelleştirilmiş) Laguerre polinomları \(L_n^{(\alpha)}(x)\), \(x\) cinsinden \(n\) dereceli polinomlardır; katsayıları \(\alpha\) parametresine bağlıdır. Kapalı form şu şekildedir:
$$L_n^{(\alpha)}(x)=\sum_{k=0}^{n}(-1)^k\binom{n+\alpha}{n-k}\frac{x^k}{k!}.$$İlk beşi, genel \(\alpha\) şeklinde yazıldığında:
| \(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}\) |
Özel durum \(\alpha=0\). \(\alpha=0\) ayarlandığında, adi Laguerre polinomları \(L_n(x)=L_n^{(0)}(x)\) elde edilir:
| \(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\) |
Başta gelen katsayı her zaman \(\dfrac{(-1)^n}{n!}\), \(\alpha\) katsayısından bağımsızdır.
Temel Terimler ve Değişkenler
- Derece \(n\)
- Polinom derecesini veren negatif olmayan bir tam sayı; \(L_n^{(\alpha)}(x)\) tam olarak \(n\) köke sahiptir. Hesap makinesinde bu alan derece (degree) dir.
- Parametre \(\alpha\)
- Binom katsayılarını ve ortogonalite ağırlığını kaydıran gerçek bir sayı (yaygın olarak \(\alpha>-1\)). alfa (alpha) alanı. \(\alpha=0\) ile polinomlar adi Laguerre polinomlarına indirgenir.
- Argüman \(x\)
- Polinomun değerlendirildiği nokta. Tablo \(x_i=\text{başlangıçX}+i\cdot\text{adımX}\) değerlerini tarar. Ortogonalite için doğal alan \((0,\infty)\) dir.
- Genelleştirilmiş binom katsayısı
- Gerçek üst indeks için, \(\binom{n+\alpha}{n-k}=\dfrac{\Gamma(n+\alpha+1)}{\Gamma(k+\alpha+1)\,(n-k)!}\), bu Gama fonksiyonu aracılığıyla \(\binom{m}{j}=m!/(j!(m-j)!)\) i tamsayı olmayan \(\alpha\) değerlerine genişletir.
- Üç terimli yineleme
- Polinomları oluşturmanın stabil yolu: \((k+1)L_{k+1}^{(\alpha)}=(2k+1+\alpha-x)L_k^{(\alpha)}-(k+\alpha)L_{k-1}^{(\alpha)}\), \(L_0^{(\alpha)}=1\) ve \(L_1^{(\alpha)}=1+\alpha-x\) den başlayarak.
- \((0,\infty)\) üzerinde ortogonalite
- Polinomlar karşılıklı olarak ortogonaldir: \(\displaystyle\int_0^\infty L_n^{(\alpha)}(x)L_m^{(\alpha)}(x)\,w(x)\,dx=\frac{\Gamma(n+\alpha+1)}{n!}\delta_{nm}\).
- Ağırlık fonksiyonu \(w(x)=x^{\alpha}e^{-x}\)
- Ortogonalitenin geçerli olduğu faktör; \(\alpha=0\) için basit üssel ağırlık \(e^{-x}\) tir. İntegral yakınsaması için \(\alpha>-1\) gereklidir.
Tabloyu Yorumlama
\(L_n^{(\alpha)}(x)\) hesaplanmış bir tablo okumak şu gerçekler ile daha kolay hale gelir:
- Reel kök sayısı. \(\alpha>-1\) için, \(L_n^{(\alpha)}(x)\) açık aralık \((0,\infty)\) de yer alan tam olarak \(n\) basit gerçek sıfıra sahiptir. Tablo sütununuz \(n\) kez sıfırı geçerse, tümünü konumlandırmışsınız demektir.
- İşaret değişiklikleri. Tüm sıfırlar basit olduğundan, polinom her birinde işaret değiştirir. İki ardışık sıfır arasında değerler sabit işarete sahiptir, bu nedenle bitişik satırlar arasında bir işaret çevirişi bir kökü parantez içine alır — bir biseksiyonu veya Newton kök bulucusu için başlangıç aralığı olarak yararlıdır.
- Orijinde değer. Her bağlı Laguerre polinomu \(L_n^{(\alpha)}(0)=\binom{n+\alpha}{n}=\dfrac{\Gamma(n+\alpha+1)}{n!\,\Gamma(\alpha+1)}\) i sağlar. Örneğin, \(n=4,\ \alpha=0\) ile \(x=0\) daki ilk satır 1 dir ve \(n=4,\ \alpha=2\) ile bu \(\binom{6}{4}=\) 15 tir.
- Kuantum mekaniği. Hidrojen atomunun dalga fonksiyonunun radyal kısmı \(L_{n-\ell-1}^{(2\ell+1)}\!\left(2r/(na_0)\right)\) den oluşturulur; polinomun düğümleri orbitalin radyal düğümlerine karşılık gelir.
- Gauss–Laguerre dördüncü dereceden köklü formül. Tabloda listelenen sıfırlar tam olarak \(\int_0^\infty f(x)\,x^{\alpha}e^{-x}\,dx\) değerini yaklaşık olarak belirlemek için kullanılan apsis değerleridir ve ağırlıkları aynı polinomlardan türetilmiştir.
Bu genel matematiksel referans bilgisidir; kritik bir uygulamada güvendiğiniz herhangi bir değeri doğrulayın.
Sıkça sorulan sorular
n = 0 ise ne olur? Her x ve her \(\alpha\) için \(L_{0}^{(\alpha)}(x) = 1\)'dir.
α negatif ya da tam sayı olmayan bir değer olabilir mi? Evet — hem toplam hem de yineleme bağıntısı herhangi bir gerçek \(\alpha\) için çalışır. Ancak \((0, \infty)\) aralığındaki klasik diklik özelliği \(\alpha > -1\) koşulunu gerektirir.
Adım sıfır veya negatif olabilir mi? Evet. Negatif adım, x değerlerini azalan yönde ilerletir; sıfır adım ise aynı x değerini tekrarlayarak (sabit x'li) yozlaşmış bir tablo üretir.
