Adi Diferansiyel Denklemlerin Kararlılık Kuramı
Kararlılık kuramı, bir diferansiyel denklemin denge noktası yakınında başlayan çözümlerinin zamanla bu noktaya yakın kalıp kalmadığını veya bu noktaya geri dönüp dönmediğini incelemektedir.
Tanım
Bir denge noktası, yeterince yakın başlayan çözümlerin daha sonraki tüm zamanlarda keyfi olarak yakın kalması durumunda Lyapunov kararlıdır; ek olarak denge noktasına yakınsıyorlarsa asimptotik olarak kararlıdır. Kararsızlık ise, en azından bazı yakın çözümlerin denge noktasından uzaklaşması anlamına gelmektedir.
Kapsam
Bu konu, Lyapunov kararlılığı, asimptotik kararlılık ve kararsızlık tanımlarını, doğrusallaştırma (linearization) ve Hartman-Grobman teoremini, Lyapunov fonksiyonlarının doğrudan yöntemini, LaSalle'ın değişmezlik ilkesini ve düzlemsel sistemlerin denge noktalarının düğüm (node), eyer (saddle), odak (focus) ve merkez (center) olarak sınıflandırılmasını kapsamaktadır.
Temel sorular
- Bir denge noktasının küçük pertürbasyonları büyüyecek mi, kalıcı mı olacak yoksa sönecek mi?
- Doğrusallaştırma, doğrusal olmayan bir denge noktasının kararlılığını ne zaman doğru bir şekilde öngörür?
- Denklem açıkça çözülmeden kararlılık nasıl belirlenebilir?
- Düzlemsel denge noktaları, yerel faz portrelerine göre nasıl sınıflandırılır?
Temel kuramlar
- Lyapunov'un doğrudan yöntemi
- Eğer pozitif tanımlı bir fonksiyon yörüngeler boyunca azalıyorsa, denge noktası kararlıdır; böyle bir fonksiyonun kesinlikle azalması ise, diferansiyel denklemi çözmeye gerek kalmadan asimptotik kararlılığı zorlamaktadır.
- Doğrusallaştırma ve Hartman-Grobman teoremi
- Hiperbolik bir denge noktası yakınında, doğrusal olmayan akış, doğrusallaştırmasına topolojik olarak eşleniktir; bu nedenle Jakobiyen'in özdeğerleri yerel kararlılığı belirlemektedir.
- LaSalle'ın değişmezlik ilkesi
- Bir Lyapunov fonksiyonu sadece azalmayan olduğunda, yörüngeler türevinin sıfır olduğu bölgedeki en büyük değişmez kümeye yakınsamaktadır; bu durum asimptotik kararlılık sonuçlarını genişletmektedir.
Klinik önem
Kararlılık analizi, kontrol mühendisliğinin temelini oluşturmaktadır; burada tasarlanmış bir sistemin bozulmalardan sonra çalışma noktasına geri döndüğünü doğrulamakta ve ekolojik, fizyolojik ve ekonomik modellerdeki denge noktalarının kalıcılığını açıklamaktadır.
Tarihçe
Lyapunov'un 1892 tarihli doktora tezi, hareketin kararlılığının genel kuramını kurmuş ve hem doğrusallaştırmayı hem de fonksiyon tabanlı doğrudan yöntemi tanıtmıştır. Poincaré'nin düzlemsel sistemlerin nitel analizi geometrik resmi sağlamış, yirminci yüzyılın ortaları ise Hartman-Grobman teoremini ve LaSalle'ın değişmezlik ilkesini eklemiştir.
Öne çıkan isimler
- Aleksandr Lyapunov
- Henri Poincare
- Philip Hartman
- Joseph LaSalle
İlgili konular
Temel eserler
- perko2001
- khalil2002
Sıkça sorulan sorular
- Lyapunov kararlılığı ile asimptotik kararlılık arasındaki fark nedir?
- Lyapunov kararlılığı, yakın çözümlerin her zaman yakın kalması anlamına gelir, ancak denge noktasına yaklaşmaları gerekmez. Asimptotik kararlılık ise, zaman arttıkça yakın çözümlerin gerçekten denge noktasına yakınsaması gerekliliğini eklemektedir.
- Doğrusallaştırma, kararlılığı belirlemede ne zaman yetersiz kalır?
- Doğrusallaştırma, yalnızca Jakobiyen'in sanal eksen üzerinde özdeğeri bulunmayan hiperbolik denge noktalarında kesindir. Saf bir merkez gibi sınırda doğrusal olmayan (non-hyperbolic) durumlarda, doğrusal olmayan terimler kararlılığı belirleyebilir ve bir Lyapunov fonksiyonu veya merkez-manifold analizi gerekmektedir.