Diferansiyel Denklemler · 7. Ünite: Seri Çözümleri
Düzgün Tekil Noktalar ve Frobenius Yöntemi
Silindirik bir zarın titreşimi, kuantum mekaniğinde merkezî potansiyel, ısı iletimi: fizikte karşımıza çıkan pek çok denklem, katsayıları bir noktada sonsuza giden ya da sıfırlanan lineer denklemlerdir ve sıradan kuvvet serisi $\sum a_nx^n$ bu noktada çalışmaz. Düzgün tekil nokta (regular singular point) denen iyi huylu bir alt sınıfta ise $x^r\sum a_nx^n$ biçimindeki Frobenius serisi (Frobenius series) çözümü verir. Konunun sonunda bir tekil noktayı sınıflandırabilecek, indis denklemini kurup köklerine göre iki bağımsız çözümün biçimini (logaritmalı olup olmadığını) belirleyebilecek, özyineleme bağıntısıyla katsayıları hesaplayacak ve Bessel ile Euler denklemlerini bu çerçevede yorumlayabileceksin.
Öğrenme hedefleri
- $y'' + P(x)y' + Q(x)y = 0$ denkleminde bir noktanın adi, düzgün tekil ya da düzensiz tekil olduğunu $(x - x_0)P(x)$ ve $(x - x_0)^2Q(x)$ fonksiyonlarının analitikliğiyle belirler.
- Denklemi $x^2y'' + xp(x)y' + q(x)y = 0$ biçimine getirir, $p_0 = p(0)$, $q_0 = q(0)$ değerlerinden indis denklemini $r(r - 1) + p_0r + q_0 = 0$ kurar ve köklerini bulur.
- İndis denkleminin kökleri arasındaki farka (tamsayı olmayan, sıfır, pozitif tamsayı, karmaşık) göre ikinci çözümün biçimini yazar; $\ln x$ teriminin ne zaman zorunlu, ne zaman gereksiz olduğunu açıklar.
- Özyineleme bağıntısı $F(r + n)a_n = -\sum_{k<n}(\text{önceki terimler})a_k$ ile Frobenius katsayılarını hesaplar ve neden büyük kökle başlanması gerektiğini gösterir.
- Serinin yakınsama bölgesini, denklemin en yakın diğer (karmaşık düzlemdeki dahil) tekil noktasına olan uzaklıktan okur.
- Euler denklemi $x^2y'' + \alpha xy' + \beta y = 0$ ile Bessel denklemini Frobenius çerçevesinde çözer; $\nu = \tfrac{1}{2}$ Bessel denkleminde $\ln x$ teriminin neden kaybolduğunu açıklar.
Konu anlatımı
Motivasyon: Kuvvet Serisi Neden Yetmez?
Tekil Noktalar: Adi, Düzgün Tekil, Düzensiz Tekil
Frobenius Serisi ve İndis Denklemi
Üç Durum ve Karmaşık Kökler
Yakınsama, Euler Denklemi ve Bessel Denklemi
Çözümlü Örnekler
Sınır Durumları ve Simülasyon Yorumu
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet
Anahtar terimler
- Düzgün tekil nokta (regular singular point)
- $(x - x_0)p(x)$ ve $(x - x_0)^2q(x)$ fonksiyonlarının $x_0$'da analitik olduğu tekil nokta; Frobenius yönteminin geçerli olduğu sınıf.
- Düzensiz tekil nokta (irregular singular point)
- $(x - x_0)p$ ya da $(x - x_0)^2q$ ifadelerinden en az birinin analitik olmadığı tekil nokta; Frobenius serisi genellikle ıraksar.
- Frobenius serisi
- $y = x^r\sum a_nx^n$, $a_0 \neq 0$ biçimindeki genelleştirilmiş kuvvet serisi.
- İndis denklemi (indicial equation)
- $F(r) = r(r - 1) + p_0r + q_0 = 0$; $x^r$ katsayısından çıkar, $r$'nin alabileceği değerleri belirler.
- İndis kökleri (exponents)
- İndis denkleminin kökleri $r_1, r_2$; çözümün $x = 0$ civarındaki davranışını belirler.
- Özyineleme bağıntısı
- $F(r + n)a_n = -\sum_{k<n}(\text{önceki terimler})$; $a_n$'yi önceki katsayılardan hesaplar, $F(r + n) = 0$ olduğunda tıkanır.
- Logaritmik terim
- $C\,y_1\ln x$; çift kökte zorunlu, pozitif tamsayı farkında $C \neq 0$ ise gereken terim.
- Euler denklemi (equidimensional equation)
- $x^2y'' + \alpha xy' + \beta y = 0$; çözümleri $x^r$, $x^r\ln x$ ya da $x^\lambda\cos(\mu\ln x)$ biçiminde.
- Bessel denklemi
- $x^2y'' + xy' + (x^2 - \nu^2)y = 0$; $x = 0$ düzgün tekil, indis kökleri $\pm\nu$.
Örnek soru
Aşağıdaki denklemlerden hangisi için $x = 0$ noktası düzgün tekil noktadır?
- $x^3y'' + xy' + y = 0$
- $x^2y'' + y' + y = 0$
- $y'' + \dfrac{1}{x^3}\,y = 0$
- $y'' + y' + y = 0$
- $x\,y'' + (1 - x)\,y' + y = 0$
Doğru cevap: E
Çözüm
1. Her denklemi $y'' + p_*(x)y' + q_*(x)y = 0$ biçimine getir ve $x\,p_*$, $x^2q_*$ fonksiyonlarının $x = 0$'da analitik olup olmadığına bak.
2. A: $p_* = 1/x^2$, $x\,p_* = 1/x$ analitik değil: düzensiz tekil.
3. B: $p_* = 1/x^2$, yine $x\,p_* = 1/x$: düzensiz tekil.
4. C: $q_* = 1/x^3$, $x^2q_* = 1/x$: düzensiz tekil.
5. D: katsayılar sabit, $x = 0$ adi noktadır; tekil değildir, dolayısıyla "düzgün tekil" değildir.
6. E: $p_* = (1 - x)/x$, $x\,p_* = 1 - x$ analitik; $q_* = 1/x$, $x^2q_* = x$ analitik. Düzgün tekil (Laguerre biçimi).
Cevap: E. D şıkkındaki yanlış, "sabit katsayılı = tekil" ya da "sıfırda tanımlı = düzgün tekil" karışıklığından gelir; tekillik katsayıların sonsuza gitmesiyle başlar.