Faz portreleri ve denge noktaları konusuna geçmeden önce, birinci mertebe diferansiyel denklemleri ve vektör alanları hakkındaki temel bilgileri tazelemek gerekir. Bu modül, sonraki tüm konuların matematiksel altyapısını oluşturur.
Tek bir bağımlı değişken içeren birinci mertebe adi diferansiyel denklem şu biçimdedir:
Bu denklemin çözümü, $x(t)$ fonksiyonudur; yani zamana bağlı bir yörüngedir. Faz analizi için ise otonom sistemler özellikle önemlidir: sağ taraf açıkça $t$'ye bağlı değildir.
Bu dersin odağı, iki bağımlı değişken içeren birinci mertebe otonom diferansiyel denklem sistemidir:
Bu sistemi vektör notasyonuyla daha kompakt yazabiliriz. $\mathbf{x} = \begin{pmatrix} x \\ y \end{pmatrix}$ ve $\mathbf{F}(\mathbf{x}) = \begin{pmatrix} f(x,y) \\ g(x,y) \end{pmatrix}$ tanımlanırsa:
$xy$-düzleminin her $(x, y)$ noktasında, sistem bize bir hız vektörü verir: $(f(x,y),\; g(x,y))$. Bu vektörlerin tamamı vektör alanını oluşturur. Vektör alanı, bir sistemin herhangi bir noktadan nasıl hareket edeceğini gösterir.
Sistem $\dot{x} = y$, $\dot{y} = -x$ olsun. $(1, 0)$ noktasındaki vektör: $f(1,0) = 0$, $g(1,0) = -1$ → vektör $(0, -1)$, yani aşağı yönde. $(0, 1)$ noktasındaki vektör: $f(0,1) = 1$, $g(0,1) = 0$ → vektör $(1, 0)$, yani sağ yönde. Bu sistem dairesel yörüngeler oluşturur (merkez tipi).
| Kavram | Tanım | Boyut | Zaman bilgisi |
|---|---|---|---|
| Çözüm eğrisi | $x(t)$ ve $y(t)$'nin zamana karşı grafiği | $t$-$x$ veya $t$-$y$ düzlemi | Var — $t$ ekseni açık |
| Yörünge (orbit) | $(x(t), y(t))$'nin $xy$-düzlemindeki izi | Faz düzlemi ($xy$) | Yok — sadece yön oku gösterilir |
| Faz portresi | Birçok yörüngenin aynı anda gösterilmesi | Faz düzlemi ($xy$) | Yok — global davranış görülür |
Pratikte sıkça karşılaşılan ikinci mertebe denklemler, bir değişken ikamesiyle iki boyutlu birinci mertebe sisteme dönüştürülür. Bu, faz analizi için standart yaklaşımdır.
Sürtünmesiz sarkaç denklemi: $\ddot{\theta} + \dfrac{g}{L}\sin\theta = 0$
$\omega = \dot{\theta}$ (açısal hız) tanımlanırsa:
$\theta = 0$ (alt denge) kararlı bir merkez, $\theta = \pi$ (üst denge) ise kararsız bir eyer noktasıdır. İlerideki modüllerde bu sistemi detaylıca inceleyeceğiz.
Herhangi bir başlangıç koşulu $(x_0, y_0)$ için çözümün var olup olmadığını ve tekil olup olmadığını Picard-Lindelöf teoremi güvence altına alır:
| Notasyon | Anlamı |
|---|---|
| $\dot{x}$ | $\dfrac{dx}{dt}$ — zamana göre türev |
| $\mathbf{x}$ | Durum vektörü $\begin{pmatrix}x\\y\end{pmatrix}$ |
| $\mathbf{F}(\mathbf{x})$ | Vektör alanı $\begin{pmatrix}f(x,y)\\g(x,y)\end{pmatrix}$ |
| $A$ | Sistem matrisi (lineer sistemlerde $\dot{\mathbf{x}}=A\mathbf{x}$) |
| $J$ | Jacobian matrisi (lineer olmayan sistemlerin linearizasyonu için) |
| $\lambda$ | Özdeğer (eigenvalue) |
| $\mathbf{v}$ | Özvektör (eigenvector) |
| $(x^*, y^*)$ | Denge (kritik) noktası |