Diferansiyel Denklemler · 3. Ünite: Yüksek Mertebeden Lineer Diferansiyel Denklemler
Temel Teori, Lineer Bağımsızlık ve Wronskian
Bir yay–kütle sisteminin ya da bir RLC devresinin hareketini anlatan denklem lineerse, tek bir çözüm bulmak yetmez: o denklemin tüm çözümlerini tanımlayan bir yapı vardır. Bu konu o yapıyı kurar. Hangi koşulda çözümün var ve tek olduğunu, çözümlerin neden bir vektör uzayı oluşturduğunu, "iki çözüm birbirinden gerçekten farklı mı?" sorusunu Wronskian determinantıyla nasıl yanıtlayacağımızı ve Abel teoreminin Wronskian'ı denklemin yalnızca bir katsayısına nasıl bağladığını göreceğiz. Sonunda temel çözüm kümesini tanıyıp genel çözümü ve başlangıç koşullarını sağlayan sabitleri bulabilecek, homojen olmayan denklemde $y = y_h + y_p$ yapısını doğru kullanabilecek ve "$W = 0$ ise bağımlıdır" gibi yaygın yanlışları ayırt edebileceksin.
Öğrenme hedefleri
- Bir $n$. mertebeden lineer denklemin standart biçimini yazar ve varlık–teklik teoremini kullanarak başlangıç değer probleminin çözümünün tanımlı olduğu en büyük aralığı belirler.
- Süperpozisyon ilkesini homojen denklemde uygular; homojen olmayan denklemde neden geçersiz olduğunu bir karşı örnekle gösterir.
- İki fonksiyonun lineer bağımsızlığını tanımdan ve Wronskian $W(y_1,y_2) = y_1y_2' - y_1'y_2$ ile sınar; $W \neq 0$ ile $W \equiv 0$ sonuçlarının hangi koşullarda ne söylediğini ayırır.
- $t\,\lvert t\rvert$ ve $t^2$ çiftiyle $W \equiv 0$ olduğu hâlde bağımsız fonksiyonlar bulunabileceğini gösterir ve bunun neden denklem çözümleri için olamayacağını açıklar.
- Abel teoremini türetir, $W(t) = Ce^{-\int p\,dt}$ ile verilen bir noktadaki değerden başka noktadaki değeri hesaplar; $W$'nin ya hep sıfır ya hiç sıfır olmadığını gerekçelendirir.
- Temel çözüm kümesinden genel çözümü kurar, başlangıç koşullarından $c_1, c_2$ sabitlerini Cramer kuralıyla bulur ve homojen olmayan denklemin genel çözümünü $y = y_h + y_p$ biçiminde yazar.
Konu anlatımı
Bağlam: Çözümlerin Bütününü Anlamak
Lineer Denklem, Varlık–Teklik ve Süperpozisyon
Lineer Bağımsızlık ve Wronskian
Karşıt Örnek ve Abel Teoremi
Temel Çözüm Kümesi, Genel Çözüm ve Başlangıç Koşulları
Çözümlü Örnekler
Sınır Durumları ve Kapsam
Sık Yapılan Hatalar, Kavram Yanılgıları ve Özet
Anahtar terimler
- Lineer bağımsızlık (linear independence)
- $c_1f_1 + c_2f_2 \equiv 0$ eşitliğinin yalnızca $c_1 = c_2 = 0$ ile sağlanması; iki fonksiyon için biri diğerinin sabit katı olmaması.
- Wronskian
- $W(f_1, f_2) = f_1f_2' - f_1'f_2$; $n$ fonksiyon için $n\times n$ determinant. $W(t_0) \neq 0$ bağımsızlığı garanti eder.
- Süperpozisyon ilkesi (superposition principle)
- Homojen lineer denklemin çözümlerinin lineer birleşiminin de çözüm olması; homojen olmayan denklemde geçerli değildir.
- Abel teoremi (Abel's theorem)
- $y'' + py' + qy = 0$ çözümlerinin Wronskian'ı $W = Ce^{-\int p\,dt}$; ya hep sıfır ya hiç sıfır olmaz.
- Temel çözüm kümesi (fundamental set of solutions)
- Wronskian'ı sıfırdan farklı olan $n$ çözüm; denklemin her çözümü bunların lineer birleşimidir.
- Genel çözüm (general solution)
- Homojen denklemde $c_1y_1 + c_2y_2$; homojen olmayan denklemde $y_h + y_p$.
- Varlık–teklik teoremi (existence and uniqueness theorem)
- Katsayılar ve $g$ aralıkta sürekliyse başlangıç değer probleminin tüm aralıkta tek çözümü vardır.
- Özel çözüm (particular solution)
- Homojen olmayan denklemi sağlayan, keyfi sabit içermeyen herhangi bir $y_p$.
- Çözüm uzayı (solution space)
- $n$. mertebe homojen lineer denklemin çözümlerinin oluşturduğu $n$ boyutlu vektör uzayı.
Örnek soru
$y_1 = e^{2t}$ ve $y_2 = e^{-3t}$ fonksiyonlarının Wronskian'ı $W(y_1, y_2)(t)$ aşağıdakilerden hangisidir?
- $5e^{-t}$
- $-e^{-t}$
- $-5e^{5t}$
- $-5e^{-t}$
- $0$
Doğru cevap: D
Çözüm
1. $y_1' = 2e^{2t}$ ve $y_2' = -3e^{-3t}$.
2. $W = y_1y_2' - y_1'y_2 = e^{2t}\cdot(-3e^{-3t}) - 2e^{2t}\cdot e^{-3t} = -3e^{-t} - 2e^{-t}$.
3. $W = -5e^{-t}$ (üstler toplanır: $2t - 3t = -t$).
Cevap: D. Kontrol: bu çift $y'' + y' - 6y = 0$ denkleminin çözümüdür ($p = 1$), Abel'e göre $W = W(0)\,e^{-t} = -5e^{-t}$. A işaret hatasıdır ($y_1'y_2 - y_1y_2'$ alınmış). B terimleri çıkarmak yerine toplar ($-3 + 2$). C üstleri yanlış toplar. E ise "üstel fonksiyonlar bağımlıdır" yanılgısıdır; $W$ hiçbir yerde sıfır olmaz.