İlişkili Legendre Polinomu Tablo Hesaplayıcı nedir?
Bu araç, ilişkili Legendre fonksiyonu \(P_n^m(x)\) (derece n, mertebe m) değerlerinden oluşan bir tabloyu seçtiğiniz x aralığında hesaplar ve buna karşılık gelen eğriyi çizer. Tamamen matematikseldir; her yerde aynı şekilde geçerlidir, herhangi bir birim ya da ülkeye özgü varsayım içermez. İlişkili Legendre polinomları fizik ve uygulamalı matematiğin pek çok alanında karşımıza çıkar: küresel harmonikler, Laplace denkleminin küresel koordinatlardaki çözümü, çok-kutuplu (multipol) açılımlar ve açısal momentumun kuantum mekaniği bunların başında gelir.
Nasıl kullanılır?
Tam sayı derece n (0, 1, 2, ...) ile \(-n \le m \le n\) koşulunu sağlayan tam sayı mertebe m değerini girin. x'in başlangıç değerini (-1 ile 1 arasında), adım artışını ve satır sayısını belirleyin. Varsayılan değerler n = 2, m = 1, başlangıç = -1, adım = 0,02 ve 101 satır olup x'i -1'den +1'e (uç noktalar dahil) tarar. Tip A (Wolfram kuralı) ya da Tip B (Maple kuralı) arasında seçim yapın; (-1, 1) aralığındaki gerçek x değerleri için bu iki seçenek büyüklük bakımından aynıdır, yalnızca ön katsayının işaret/faz değerinde farklılaşır.
Formülün açıklaması
Tam sayı n ve \(0 \le m \le n\) için $$P_n^m(x) = (-1)^m\,(1-x^2)^{m/2}\,\frac{d^m}{dx^m}P_n(x)$$ bağıntısını kullanıyoruz; bu, sayısal açıdan kararlı şu yineleme (rekürans) ile hesaplanır: \(P_m^m = (-1)^m(2m-1)!!(1-x^2)^{m/2}\), \(P_{m+1}^m = x(2m+1)P_m^m\) ve ardından \((l-m)P_l^m = (2l-1)x\,P_{l-1}^m - (l+m-1)P_{l-2}^m\). Negatif m için \(P_n^{-m} = (-1)^m\dfrac{(n-m)!}{(n+m)!}P_n^m\)'dir. Bu kapalı yineleme, pozitif tam sayı m için doğrudan \({}_2F_1\) (hipergeometrik) formunda ortaya çıkan Gama fonksiyonu kaynaklı taşmayı önler.
Çözümlü örnek
n = 2, m = 1 alındığında fonksiyon $$P_2^1(x) = -3x\sqrt{1-x^2}$$ olur. x = 0 noktasında değer 0'dır; x = 0,5'te \(-3(0{,}5)(0{,}866025) = -1{,}299038\) olur; x = -0,5'te ise +1,299038 çıkar. Eğri 0'dan başlar (x = -1), x = -0,577 dolaylarında yaklaşık +1,1547'ye yükselir, x = 0'da sıfırı keser, x = +0,577 dolaylarında yaklaşık -1,1547'ye iner ve x = +1'de yeniden 0'a döner.
Sık sorulan sorular
n ve m neden tam sayı olmak zorunda? Sonlanan polinom formu için n'in negatif olmayan bir tam sayı olması gerekir; yineleme ve \((n\pm m)!\) çarpanları ise \(-n \le m \le n\) koşulunu sağlayan tam sayı bir m gerektirir.
Gösterilen örnek değer nedir? Üstteki özet kutusu, tablonun orta satırındaki (medyan indeks) x ve \(P_n^m(x)\) değerlerini bildirir; bu, eğrinin hızlıca kontrol edilmesini sağlar.
m = 0 neyi verir? \(P_n^0(x)\), sıradan Legendre polinomu \(P_n(x)\)'tir.
Kapalı Form İlişkili Legendre Fonksiyonları P_n^m(x)
Tamsayı derece \(n\) ve sıra \(0\le m\le n\) için ilişkili Legendre fonksiyonları \(P_n^m(x)\), \(P_n^m(x)=(-1)^m(1-x^2)^{m/2}\dfrac{d^m}{dx^m}P_n(x)\) ile tanımlanır. Faktör \((-1)^m\) Condon–Shortley fazı olup Tip A kuralına dahildir (Wolfram ile eşleşir); Tip B kuralı (Maple) bunu atlar ve bu nedenle tek \(m\) girdileri yalnızca işaret bakımından farklılık gösterir. Aşağıdaki tablo Tip A altında açık formları listeler.
| \(n\) | \(m\) | \(P_n^m(x)\) (Tip A, işaret ile) |
|---|---|---|
| 0 | 0 | \(1\) |
| 1 | 0 | \(x\) |
| 1 | 1 | \(-\sqrt{1-x^2}\) |
| 2 | 0 | \(\tfrac{1}{2}(3x^2-1)\) |
| 2 | 1 | \(-3x\sqrt{1-x^2}\) |
| 2 | 2 | \(3(1-x^2)\) |
| 3 | 0 | \(\tfrac{1}{2}(5x^3-3x)\) |
| 3 | 1 | \(-\tfrac{3}{2}(5x^2-1)\sqrt{1-x^2}\) |
| 3 | 2 | \(15x(1-x^2)\) |
| 3 | 3 | \(-15(1-x^2)^{3/2}\) |
\(x=0.5\) noktasında çalışılan bir kontrol olarak, \(P_2^1\) girdisi \(-3(0.5)\sqrt{1-0.25}=-1.5\sqrt{0.75}=\) -1.299038 verir. \(m=0\) sütunu sıradan Legendre polinomlarını \(P_n(x)\) yeniden üretir, örneğin \(P_3^0(x)=\tfrac12(5x^3-3x)\), bu da Legendre polinom tablosu hesaplayıcısı ile tablo haline getirilebilir.
Anahtar Terimler ve Değişkenler
- Derece \(n\)
-
Temel Legendre polinomu \(P_n(x)\) sırasını belirleyen negatif olmayan bir tamsayı (
degreeN), bu da \(n\) dereceli bir polinomdur. - Sıra \(m\)
-
Kaç türev alınacağını kontrol eden bir tamsayı (
orderM). \((-1,1)\) üzerinde reel değerli sonuçlar için normalde \(0\le m\le n\) kullanılır; \(m>n\) olduğunda, derece \(n\) polinomun \(m\)-inci türevi ortadan kalktığı için fonksiyon özdeş olarak sıfırdır. - Değişken \(x\)
-
Değerlendirme noktası (
initialXartı \(i\cdot\)stepX). Fonksiyonlar \(-1\le x\le 1\) aralığında reel sayılardır; fizikte \(x=\cos\theta\) olur. - Tip A (Wolfram / Condon–Shortley)
-
Faz faktörü \((-1)^m\) içerir. Bu, Wolfram'ın
LegendrePkodu ve standart kuantum mekanik metinleri tarafından kullanılan kuralıdır. - Tip B (Maple)
- \((-1)^m\) fazını atlar, dolayısıyla \(P_n^m\) (Tip B) \(=(-1)^m\,P_n^m\) (Tip A). Büyüklükler özdeştir; yalnızca tek \(m\) girdilerinin işareti farklılık gösterir.
- Çift faktöriyel \((2m-1)!!\)
- Tek tamsayıların \((2m-1)(2m-3)\cdots 3\cdot 1\) çarpımı, \((-1)!!=1\) ile. \(P_m^m(x)=(-1)^m(2m-1)!!\,(1-x^2)^{m/2}\) başlangıç katsayısında görünür; örneğin \(P_3^3\) \(5!!=15\) kullanır. Bu değerler için çift faktöriyel hesaplayıcısına bakınız.
- Negatif sıra ilişkisi
- \(m>0\) için, \(P_n^{-m}(x)=(-1)^m\dfrac{(n-m)!}{(n+m)!}\,P_n^{m}(x)\), pozitif ve negatif sıraları faktöriyeller aracılığıyla bağlantılandırır.
Tabloyu ve Grafiği Yorumlama
Birkaç yapısal özellik, tablo değerlerini ve çizilen eğriyi mantık açısından kontrol etmenize olanak sağlar:
- Paritelik. \(P_n^m(-x)=(-1)^{n+m}P_n^m(x)\). \(n+m\) çift olduğunda grafik \(x=0\) hakkında simetrik; \(n+m\) tek olduğunda antisimetrik (ve bu nedenle orijinden geçer).
- İç sıfırlar. Açık aralık \((-1,1)\) üzerinde, \(P_n^m(x)\) tam olarak \(n-m\) tane basit sıfıra sahiptir. Örneğin \(P_3^1\) iki iç sıfıra sahipken, \(P_n^n\) hiçbiri yoktur.
- Uç nokta davranışı. \((1-x^2)^{m/2}\) faktörü nedeniyle, \(m>0\) olan her fonksiyon \(x=\pm 1\) noktalarında ortadan kalkar. \(m=0\) için değerler \(P_n(1)=1\) ve \(P_n(-1)=(-1)^n\) olur.
- Kenarlar yakınında büyüklük. Daha yüksek \(m\) için, \((1-x^2)^{m/2}\) faktörü eğriyi \(x\to\pm1\) iken keskin şekilde bastırır, bu nedenle en büyük dalgalanmalar aralığın ortasına doğru oluşur.
Bu fonksiyonlar, küresel harmonikler \(Y_n^m(\theta,\phi)\) için \(\theta\)-bağımlı kısmıdır: \(x=\cos\theta\) yazarsanız, \(Y_n^m\propto P_n^m(\cos\theta)\,e^{im\phi}\) olur. İç sıfırlar enlemin düğümsel çemberlerine dönüşür ve \(m>0\) uç nokta yok oluşu, harmoniklerin kutuplarda sıfıra yaklaşmasına karşılık gelir. Aynı \(P_n^m\) değerleri bu nedenle doğrudan seçilen bir \(\theta\) ve \(\phi\) noktasında küresel harmonikler değerlendirmesine beslenebilir.
