Diferansiyel Denklemler · 7. Ünite: Seri Çözümleri
Adi Noktalar Etrafında Kuvvet Serisi Çözümleri
Katsayıları sabit olmayan lineer denklemlerin çoğunun çözümü elemanter fonksiyonlarla (üstel, trigonometrik, polinom) yazılamaz: ışığın bir kırılma noktası yakınındaki davranışını anlatan Airy denklemi $y'' - xy = 0$, kuantum harmonik osilatörün Hermite denklemi ve küresel simetrik potansiyellerin Legendre denklemi bunların başında gelir. Bu durumlarda çözüm, bir kuvvet serisi olarak aranır: $y = \sum a_n (x - x_0)^n$ denenir, katsayılar bir özyineleme bağıntısından hesaplanır. Konunun sonunda adi noktayı tanıyacak, katsayı özyinelemesini kurup iki bağımsız çözümü yazacak, serinin yakınsama yarıçapının karmaşık düzlemdeki tekil noktalardan nasıl belirlendiğini açıklayacak ve serinin ne zaman sonlanıp polinoma dönüştüğünü gösterebileceksin.
Öğrenme hedefleri
- Bir kuvvet serisinin yakınsama yarıçapını oran ya da kök testiyle bulur ve seriyi terim terim türetip toplamanın hangi aralıkta geçerli olduğunu belirtir.
- $P(x)y'' + Q(x)y' + R(x)y = 0$ denkleminde verilen $x_0$ noktasının adi mi tekil mi olduğunu $P(x_0)$ ve $Q/P$, $R/P$ oranlarının analitikliğine bakarak belirler.
- $y = \sum a_n (x - x_0)^n$ denemesini denkleme yerleştirir, indis kaydırmayla tüm toplamları $x^n$ kuvvetinde birleştirir ve katsayı özyineleme bağıntısını yazar.
- $a_0$ ve $a_1$'in serbest sabitler olduğunu kullanarak iki bağımsız seri çözüm kurar; başlangıç değer probleminde $a_0 = y(x_0)$, $a_1 = y'(x_0)$ eşleştirmesini yapar.
- Yakınsama yarıçapı için alt sınırı, $P(x) = 0$ denkleminin karmaşık kökleri dahil $x_0$'a en yakın tekil noktanın uzaklığından hesaplar.
- Özyinelemenin bir noktada sıfıra gitmesiyle seri çözümün polinoma dönüştüğü durumları (Hermite ve Legendre denklemlerinde tamsayı $\nu$) tanır ve polinom çözümü yazar.
Konu anlatımı
Motivasyon: Çözümü Olmayan Denklem Değil, Çözümü Adı Olmayan Denklem
Kuvvet Serileri ve Yakınsama Yarıçapı
Adi Nokta ve Tekil Nokta
Yöntem: Yerleştirme, İndis Kaydırma, Özyineleme
Çözümlü Örnekler
Sonlanan Seriler: Polinom Çözümler (Hermite ve Legendre)
Yakınsama Yarıçapı: Karmaşık Tekillikler
Sık Yapılan Hatalar ve Kavram Yanılgıları
Anahtar terimler
- Kuvvet serisi (power series)
- $\sum a_n (x - x_0)^n$ biçiminde, $x - x_0$'ın artan kuvvetlerinden oluşan sonsuz seri.
- Yakınsama yarıçapı (radius of convergence)
- Serinin $\lvert x - x_0 \rvert < R$ için yakınsayıp $\lvert x - x_0 \rvert > R$ için ıraksadığı $R$ sayısı; oran ya da kök testiyle bulunur.
- Analitik fonksiyon (analytic function)
- Bir noktanın komşuluğunda Taylor serisine eşit olan fonksiyon; polinom, üstel ve sin/cos her yerde analitiktir.
- Adi nokta (ordinary point)
- $p = Q/P$ ve $q = R/P$ katsayılarının analitik olduğu $x_0$; polinom katsayılarda $P(x_0) \neq 0$ yeterlidir.
- Tekil nokta (singular point)
- Adi olmayan nokta; polinom katsayılarda $P(x) = 0$ denkleminin (karmaşık kökler dahil) kökleri aday tekil noktalardır.
- İndis kaydırma (index shift)
- Toplamlardaki indisi değiştirerek ($m = n - 2$ gibi) tüm terimleri aynı $x^n$ kuvvetine getirme işlemi; alt sınır da buna göre değişir.
- Özyineleme bağıntısı (recurrence relation)
- $x^n$ katsayısını sıfırlayarak elde edilen ve $a_{n+2}$'yi önceki katsayılara bağlayan bağıntı.
- Serbest sabitler ($a_0$, $a_1$)
- Özyinelemeyle belirlenmeyen, $y(x_0)$ ve $y'(x_0)$'a eşit iki sabit; iki bağımsız çözümü doğurur.
- Hermite ve Legendre polinomları
- Tamsayı $\nu$ için özyinelemenin $n = \nu$'da sıfırlanmasıyla serinin sonlandığı polinom çözümler.
Örnek soru
$(x^2 - 9)\,y'' + x\,y' + y = 0$ denkleminin tekil noktalarının kümesi aşağıdakilerden hangisidir?
- $\{0\}$
- $\{-9\}$
- $\{-3,\ 3\}$
- $\{3\}$
- Tekil nokta yoktur
Doğru cevap: C
Çözüm
1. Katsayılar polinom olduğundan tekil noktalar baş katsayının sıfırlarıdır: $P(x) = x^2 - 9 = 0$.
2. $x^2 - 9 = (x - 3)(x + 3)$, dolayısıyla $x = \pm 3$.
3. $x_0 = 0$'da $P(0) = -9 \neq 0$ olduğundan $0$ adi noktadır.
Cevap: C. A seçeneği $Q(x) = x$'in sıfırını tekil sanır; tekilliği yalnızca $P$ belirler ($Q$ ve $R$'nin sıfırları önemsizdir). B seçeneği $P(0)$'ın değerini nokta sanır. D yalnız bir kökü alır, E ise polinom katsayılı denklemde tekil nokta olamayacağını varsayar.