Lineer Cebir · 6. Ünite: Özdeğerler ve Özvektörler (Eigenvalues & Eigenvectors)
Diferansiyel Denklem Sistemlerine Uygulamalar (İsteğe Bağlı)
Birbirine bağlı birçok niceliğin zamanla değiştiği sistemler (karışım tankları, elektrik devreleri, yay-kütle düzenekleri, popülasyonlar) $\vec{x}\,'=A\vec{x}$ biçiminde bir lineer diferansiyel denklem sistemiyle modellenir. Özdeğerler ve özvektörler bu sistemi çözülebilir parçalara ayırır: her özçift, $e^{\lambda t}\vec{v}$ biçiminde bir çözüm verir. Bu bölümde genel çözümü kuracak, matris üstelini (matrix exponential) tanımlayacak, faz portrelerini (düğüm, eyer, spiral, merkez) sınıflandıracak ve kararlılığı özdeğerlerin gerçel kısımlarından okuyacaksın.
Öğrenme hedefleri
- Birinci mertebeden lineer sistemi $\vec{x}\,'=A\vec{x}$ matris-vektör biçiminde yazar ve çözümlerin süperpozisyon ilkesini kullanarak genel çözümün yapısını açıklar.
- Gerçel ve farklı özdeğerli bir $2\times2$ sistemi için $\vec{x}(t)=c_1e^{\lambda_1t}\vec{v}_1+c_2e^{\lambda_2t}\vec{v}_2$ genel çözümünü kurar ve başlangıç koşulundan $c_1,c_2$ sabitlerini bulur.
- Karmaşık eşlenik özdeğerli sistemde karmaşık çözümün gerçel ve sanal kısımlarını ayırarak gerçel çözümü yazar; $e^{\alpha t}$ zarfını ve $\beta$ açısal frekansını yorumlar.
- Köşegenleştirme ($\vec{x}=P\vec{y}$) ile sistemi bağımsız skaler denklemlere ayırır ve $e^{At}=Pe^{Dt}P^{-1}$ matris üstelini hesaplar.
- İz $\tau$ ve determinant $\Delta$ kullanarak dengeyi düğüm, eyer, spiral ya da merkez olarak sınıflandırır ve faz portresinin biçimini çizer.
- Özdeğerlerin gerçel kısımlarına bakarak dengenin asimptotik kararlı, kararlı ya da kararsız olduğunu belirler; ikinci mertebeden bir denklemi sisteme dönüştürüp aynı yöntemle çözer.
Konu anlatımı
Bağlam: Neden Denklem Sistemleri?
Lineer Sistem ve Çözüm Uzayı
Özdeğer ve Özvektörle Genel Çözüm
Ayrıştırma (Decoupling) ve Matris Üstel
Çözümlü Örnekler
Faz Portreleri ve Sınıflandırma
Kararlılık: Özdeğerlerin Gerçel Kısmı
Sık Yapılan Hatalar ve Kavram Yanılgıları
Özet ve Bağlantılar
Anahtar terimler
- Lineer diferansiyel denklem sistemi (System of linear ODEs)
- $\vec{x}\,'=A\vec{x}$ biçimindeki, bilinmeyen fonksiyonların ve türevlerinin lineer birleşimleriyle kurulan birinci mertebeden denklem sistemi.
- Faz düzlemi ve yörünge (Phase plane, trajectory)
- Çözümün $(x_1,x_2)$ düzleminde zamanla çizdiği eğri; yörüngelerin tümü faz portresini oluşturur ve teğet vektörü $A\vec{x}$ olur.
- Özçözüm (Eigensolution)
- $A\vec{v}=\lambda\vec{v}$ özçiftinden gelen $\vec{x}(t)=e^{\lambda t}\vec{v}$ çözümü; özvektör doğrusu üzerinde kalan yörüngeyi verir.
- Matris üstel (Matrix exponential)
- $e^{At}=\sum_{k\ge0}A^kt^k/k!$; $\vec{x}(t)=e^{At}\vec{x}_0$ başlangıç değer problemini çözer ve $A=PDP^{-1}$ için $Pe^{Dt}P^{-1}$ olur.
- Ayrıştırma (Decoupling)
- $\vec{x}=P\vec{y}$ dönüşümüyle sistemin $y_k\,'=\lambda_ky_k$ biçiminde birbirinden bağımsız skaler denklemlere ayrılması.
- Düğüm, eyer, spiral, merkez (Node, saddle, spiral, center)
- Orijindeki dengenin türleri: gerçel aynı işaretli özdeğerler düğüm, zıt işaretli özdeğerler eyer, karmaşık özdeğerler spiral, saf sanal özdeğerler merkez verir.
- Asimptotik kararlılık (Asymptotic stability)
- Tüm çözümlerin $t\to\infty$ iken dengeye yaklaşması; lineer sistemde tüm özdeğerlerin gerçel kısmının negatif olmasına denktir.
- İz-determinant düzlemi (Trace-determinant plane)
- $\tau=\operatorname{tr}A$ ve $\Delta=\det A$ ile $2\times2$ sistemin denge türünü ve kararlılığını özdeğer hesaplamadan sınıflandıran düzlem.
- Süperpozisyon ilkesi (Superposition principle)
- Homojen lineer sistemin çözümlerinin lineer birleşiminin de çözüm olması; çözüm uzayının $n$ boyutlu vektör uzayı olmasının kaynağı.
Örnek soru
$\vec{x}\,'=A\vec{x}$ sisteminde $A\vec{v}=\lambda\vec{v}$ ($\vec{v}\neq\vec{0}$) ise aşağıdakilerden hangisi sistemin bir çözümüdür?
- $\lambda\,e^{t}\,\vec{v}$
- $\lambda\,t\,\vec{v}$
- $e^{\lambda t}\,\vec{v}$
- $t\,e^{\lambda}\,\vec{v}$
- $e^{-\lambda t}\,\vec{v}$
Doğru cevap: C
Çözüm
Cevap: $e^{\lambda t}\vec{v}$
1. $\vec{x}(t)=e^{\lambda t}\vec{v}$ için $\vec{x}\,'=\lambda e^{\lambda t}\vec{v}$ bulunur.
2. Sağ taraf $A\vec{x}=e^{\lambda t}A\vec{v}=e^{\lambda t}\lambda\vec{v}$ olur; iki taraf eşittir, dolayısıyla $e^{\lambda t}\vec{v}$ çözümdür.
Çeldiriciler: $\lambda e^{t}\vec{v}$ türevi $\lambda e^{t}\vec{v}$, $A\vec{x}$ ise $\lambda^2e^{t}\vec{v}$ olur (eşit değil). $e^{-\lambda t}\vec{v}$ işaret hatasıdır: türevi $-\lambda e^{-\lambda t}\vec{v}$ olur. Üstel fonksiyon yerine $t$ ya da $e^{\lambda}$ koymak ise zaman bağımlılığını yanlış kurar.