Diferansiyel Denklemler · 3. Ünite: Yüksek Mertebeden Lineer Diferansiyel Denklemler
Sabit Katsayılı Homojen Denklemler
Yay–kütle sisteminden RLC devresine, binaların depremde sallanmasından amortisör tasarımına kadar pek çok sistem $ay'' + by' + cy = 0$ biçiminde modellenir. Bu denklemin çözümü bir integral hilesine değil, tek bir cebirsel denkleme, karakteristik denkleme dayanır: üstel bir çözüm denemek diferansiyel denklemi bir polinoma çevirir. Konunun sonunda köklerin türüne bakarak (ayrık reel, katlı, karmaşık) genel çözümü yazabilecek, başlangıç koşullarından sabitleri bulabilecek, aynı yöntemi $n$. mertebeye taşıyabilecek ve köklerin işaretinden çözümün uzun vadeli davranışını okuyabileceksin.
Öğrenme hedefleri
- $ay'' + by' + cy = 0$ denkleminde $y = e^{rt}$ denemesiyle karakteristik denklemi $ar^2 + br + c = 0$ kurar ve köklerini bulur.
- Kökler ayrık reel, katlı ya da karmaşık eşlenik olduğunda genel çözümü uygun biçimde yazar ve her durumda iki temel çözümün Wronskian'ı ile bağımsızlığını gösterir.
- Katlı kök durumunda $te^{rt}$ çözümünün nereden geldiğini (mertebe indirgeme) ve karmaşık kök durumunda Euler formülüyle reel çözümlerin nasıl elde edildiğini açıklar.
- Başlangıç koşullarından $c_1$, $c_2$ sabitlerini belirler ve başlangıç değer probleminin tek çözümünü yazar.
- Üçüncü ve daha yüksek mertebeden sabit katsayılı homojen denklemlerin karakteristik polinomunu çarpanlara ayırıp (katlı reel ve katlı karmaşık kökler dahil) genel çözümü kurar.
- Karakteristik köklerin reel kısımlarının işaretine bakarak çözümün $t \to \infty$ davranışını (sönen, sınırlı, büyüyen) belirler.
Konu anlatımı
Motivasyon: Neden Üstel Fonksiyon Deneriz?
Karakteristik Denklem
Durum 1: Ayrık Reel Kökler
Durum 2: Katlı Kök ve Neden $te^{rt}$?
Durum 3: Karmaşık Kökler ve Euler Formülü
Başlangıç Değer Problemi
Yüksek Mertebeden Denklemler
Kararlılık: Köklerin İşareti ve Davranış
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet ve Bağlantılar
Anahtar terimler
- Karakteristik denklem (characteristic equation)
- $y = e^{rt}$ denemesinden çıkan cebirsel denklem; $ay'' + by' + cy = 0$ için $ar^2 + br + c = 0$. Kökleri çözümlerin üstellerini belirler.
- Ayırt edici (discriminant)
- $\Delta = b^2 - 4ac$; işareti köklerin ayrık reel ($\Delta > 0$), katlı ($\Delta = 0$) ya da karmaşık eşlenik ($\Delta < 0$) olduğunu söyler.
- Temel çözüm kümesi (fundamental set)
- Wronskian'ı sıfırdan farklı, bağımsız çözümler kümesi; $n$. mertebe denklemde tam $n$ çözümden oluşur ve genel çözüm bunların lineer birleşimidir.
- Katlı kök (repeated root)
- Karakteristik polinomun birden fazla kez tekrarlanan kökü; $m$ katlı $r$ kökü $e^{rt}, te^{rt}, \dots, t^{m-1}e^{rt}$ çözümlerini verir.
- Mertebe indirgeme (reduction of order)
- Bilinen bir çözüm $y_1$ varken $y = v(t)y_1$ yazarak ikinci bağımsız çözümü bulma yöntemi; katlı kökte $v'' = 0$ ve $v = c_1 + c_2t$ çıkar.
- Euler formülü (Euler's formula)
- $e^{i\theta} = \cos\theta + i\sin\theta$; karmaşık üstelin reel ve sanal kısımlarını kosinüs ve sinüs olarak ayırarak reel çözüm üretir.
- Başlangıç değer problemi (IVP)
- Denklem ile birlikte $y(t_0)$ ve $y'(t_0)$ değerlerinin verildiği problem; sabit katsayılı lineer denklemde tek çözümü vardır.
- Sönüm ve salınım
- Sönüm kök reel kısmının negatif olmasına ($\lambda < 0$), salınım ise sanal kısmın sıfırdan farklı olmasına ($\mu \neq 0$) bağlıdır; ikisi birbirinden bağımsızdır.
- Asimptotik kararlılık (asymptotic stability)
- Tüm karakteristik köklerin reel kısmı negatifse her çözümün $t \to \infty$'da sıfıra gitmesi.
Örnek soru
$2y'' + 3y' - 2y = 0$ denkleminin genel çözümü aşağıdakilerden hangisidir?
- $c_1e^{2t} + c_2e^{-t/2}$
- $c_1e^{t/2} + c_2e^{-2t}$
- $c_1e^{t/2} + c_2te^{-2t}$
- $c_1e^{-t/2} + c_2e^{-2t}$
- $c_1e^{t/2} + c_2e^{2t}$
Doğru cevap: B
Çözüm
1. $y = e^{rt}$ koyunca karakteristik denklem $2r^2 + 3r - 2 = 0$ olur (baş katsayı $a = 2$ korunur).
2. $2r^2 + 3r - 2 = (2r - 1)(r + 2) = 0$, kökler $r_1 = \tfrac{1}{2}$ ve $r_2 = -2$.
3. Ayırt edici $\Delta = 9 + 16 = 25 > 0$: iki ayrık reel kök, dolayısıyla $y = c_1e^{t/2} + c_2e^{-2t}$.
Cevap: B. Kök, üssün kendisidir; işareti ters çevirmek (A) ya da $a$'ya bölmeyi unutup $r^2 + 3r - 2$ ile çalışmak yanlış sonuç verir. C seçeneğindeki $te^{-2t}$ yalnızca katlı kökte görünür.