Diferansiyel Denklemler · 7. Ünite: Seri Çözümleri
Bessel ve Legendre Denklemleri
Davulun derisi neden perdeli bir ses vermez, bir kürenin çevresindeki potansiyel neden Legendre polinomlarıyla yazılır? İkisinin de cevabı aynı yerdedir: değişkenlere ayırma yöntemi kutupsal ya da küresel koordinatlarda, katsayıları sabit olmayan iki özel denkleme götürür. Bessel denklemi $x^2y'' + xy' + (x^2 - \nu^2)y = 0$ ve Legendre denklemi $(1 - x^2)y'' - 2xy' + n(n+1)y = 0$ elemanter fonksiyonlarla çözülemez; çözümleri Frobenius serileriyle tanımlanır ve kendi başlarına birer fonksiyon ailesi olur. Konunun sonunda her iki denklemin tekil noktalarını sınıflandıracak, $J_\nu$, $Y_\nu$ ve $P_n$'i serilerden türetecek, ortogonallik ilişkilerini (Bessel için ağırlık $x$) kullanarak katsayı hesaplayacak ve sonuçları dairesel zar ile küresel potansiyel problemlerine bağlayacaksın.
Öğrenme hedefleri
- Bessel ve Legendre denklemlerinde tekil noktaları belirler, düzgün tekil (regular singular) olduklarını gösterir ve gösterge (indicial) denklemini yazar.
- Frobenius yöntemiyle $J_\nu(x)$ serisini türetir; $\nu$ tamsayı olmadığında $J_{-\nu}$ ile, tamsayı olduğunda $Y_n$ ile genel çözümü kurar ve $J_{-n} = (-1)^nJ_n$ ilişkisini açıklar.
- $(x^\nu J_\nu)' = x^\nu J_{\nu-1}$ türev kuralını ve yarı tamsayı mertebe için $J_{1/2}(x) = \sqrt{2/(\pi x)}\sin x$ ifadesini kullanarak integral ve sıfır hesaplar; büyük $x$ için $\sqrt{2/(\pi x)}$ zarflı asimptotu yorumlar.
- Bessel fonksiyonlarının ağırlığı $x$ olan ortogonallik ilişkisini ve Legendre polinomlarının $\int_{-1}^{1}P_mP_n\,dx = \frac{2}{2n+1}\delta_{mn}$ ilişkisini kullanarak genelleştirilmiş Fourier katsayılarını bulur.
- Rodrigues formülü ve üretici fonksiyon ile $P_n(x)$'i elde eder; $P_n(\pm 1)$ değerlerini ve polinomun $(-1, 1)$ içindeki sıfır sayısını söyler.
- Dairesel zarın $(m, n)$ kiplerini $J_m(\lambda_{mn}) = 0$ koşuluyla bulur, frekans oranlarını ve düğüm çizgilerini hesaplar.
Konu anlatımı
Motivasyon: Kutupsal ve Küresel Koordinatlarda Ayırma
Bessel Denklemi ve Frobenius Çözümü
İkinci Çözüm: J_{-ν} ve Y_ν
J_ν'nin Özellikleri: Türev Kuralları, Yarı Tamsayı Mertebe, Sıfırlar
Bessel Fonksiyonlarının Ortogonalliği (Ağırlık x)
Legendre Denklemi ve Legendre Polinomları
Çözümlü Örnekler
Uygulamalar: Dairesel Zar ve Küresel Potansiyel
Sınır Durumları ve Özel Haller
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet ve Simülasyonda Dene
Anahtar terimler
- Bessel denklemi (Bessel's equation)
- $x^2y'' + xy' + (x^2 - \nu^2)y = 0$; $x = 0$ düzgün tekil nokta, gösterge kökleri $\pm\nu$.
- Birinci tür Bessel fonksiyonu $J_\nu$
- Frobenius serisiyle verilen, $x = 0$'da sınırlı çözüm; büyük $x$'te $\sqrt{2/(\pi x)}$ zarflı sönen kosinüs gibi davranır.
- İkinci tür Bessel fonksiyonu $Y_\nu$
- $J_\nu$ ile bağımsız ikinci çözüm; tamsayıda $\ln x$ içerir ve $x \to 0$'da sınırsızdır.
- Düzgün tekil nokta (regular singular point)
- $xp(x)$ ve $x^2q(x)$ fonksiyonlarının analitik olduğu tekil nokta; Frobenius yöntemi uygulanır.
- Legendre denklemi
- $(1 - x^2)y'' - 2xy' + n(n+1)y = 0$; $x = \pm 1$ düzgün tekil, $n$ tamsayı iken polinom çözüm var.
- Legendre polinomu $P_n$
- $P_n(1) = 1$ ile normalleştirilmiş $n$. dereceden polinom çözüm; $\int_{-1}^{1}P_n^2\,dx = \frac{2}{2n+1}$.
- Rodrigues formülü
- $P_n(x) = \frac{1}{2^nn!}\frac{d^n}{dx^n}(x^2 - 1)^n$; polinomları türevle üretir.
- Ortogonallik ve ağırlık fonksiyonu
- Sturm–Liouville probleminde farklı özfonksiyonların integrali ağırlıkla sıfırdır: Bessel için $w = x$, Legendre için $w = 1$.
- Fourier–Legendre / Fourier–Bessel açılımı
- Bir fonksiyonu ortogonal özfonksiyonların toplamı olarak yazma; katsayılar ağırlıklı iç çarpımla bulunur.
Örnek soru
$x^2y'' + xy' + \left(x^2 - \tfrac{1}{9}\right)y = 0$ denkleminin $x = 0$ civarındaki Frobenius çözümlerinde gösterge (indicial) denkleminin kökleri nedir?
- $r = \pm\tfrac{1}{3}$
- $r = \pm\tfrac{1}{9}$
- $r = 0$ (çift katlı)
- $r = \tfrac{1}{3}$ ve $r = \tfrac{2}{3}$
- $r = \pm\tfrac{i}{3}$
Doğru cevap: A
Çözüm
1. $p(x) = 1/x$ ve $q(x) = (x^2 - 1/9)/x^2$ olduğundan $xp = 1$, $x^2q = x^2 - 1/9$ analitiktir; $x = 0$ düzgün tekil noktadır ve $p_0 = 1$, $q_0 = -\nu^2 = -1/9$ ($\nu = 1/3$).
2. Gösterge denklemi $r(r-1) + r - \tfrac{1}{9} = r^2 - \tfrac{1}{9} = 0$ olur.
3. Kökler $r = \pm\tfrac{1}{3}$: A.
Çeldiriciler: $\pm\tfrac{1}{9}$, $\nu$ yerine $\nu^2$'yi kök sanmaktır; $r = 0$ çift kat $\nu = 0$ durumudur; $\tfrac{1}{3}$ ve $\tfrac{2}{3}$ ($1 - \nu$) Legendre benzeri bir karışıklıktır; $\pm i/3$ ise $r^2 + \nu^2 = 0$ işaret hatasından gelir.