LaSalles değişmezlik ilkesi - LaSalles invariance principle - Wikipedia

LaSalle'ın değişmezlik ilkesi (aynı zamanda değişmezlik ilkesi,[1] Barbashin-Krasovskii-LaSalle ilkesi,[2] veya Krasovskii-LaSalle prensibi ) için bir kriterdir asimptotik kararlılık özerk (muhtemelen doğrusal olmayan) dinamik sistem.

Global versiyon

Bir sistemin şu şekilde temsil edildiğini varsayalım:

nerede değişkenlerin vektörüdür

Eğer bir işlevi öyle bulunabilir ki

hepsi için (negatif yarı belirsiz),

sonra seti birikim noktaları herhangi bir yörüngenin içerdiği nerede tamamen sette bulunan eksiksiz yörüngelerin birleşimidir .

Ek olarak bu fonksiyona sahipsek pozitif tanımlıdır, yani

, hepsi için

ve eğer önemsiz yörünge dışında sistemin yörüngesini içermez için o zaman kökeni asimptotik olarak kararlı.

Ayrıca, eğer radyal olarak sınırsızdır, yani

, gibi

o zaman kökeni küreseldir asimptotik olarak kararlı.

Yerel versiyon

Eğer

, ne zaman

sadece tut bazı mahallelerde menşe ve set

yörünge dışında sistemin herhangi bir yörüngesini içermiyor değişmezlik ilkesinin yerel versiyonu, kökenin yerel olarak asimptotik olarak kararlı.

Lyapunov teorisiyle ilişki

Eğer dır-dir negatif tanımlı, kaynağın küresel asimptotik stabilitesi, Lyapunov'un ikinci teoremi. Değişmezlik ilkesi, aşağıdaki durumlarda asimptotik kararlılık için bir kriter verir: sadece negatif yarı belirsiz.

Örnek: sürtünmeli sarkaç

Bu bölüm, yerel asimptotik kararlılık basit bir sistemin, sürtünmeli sarkaç. Bu sistem diferansiyel denklem ile modellenebilir [1]

nerede sarkacın dikey dikmeyle yaptığı açıdır, sarkacın kütlesi, sarkacın uzunluğu, ... sürtünme katsayısı, ve g yerçekimine bağlı ivmedir.

Bu da denklem sistemi olarak yazılabilir

Değişmezlik ilkesini kullanarak, orijinin etrafında belirli büyüklükte bir topla başlayan tüm yörüngelerin gösterilebilir. asimptotik olarak kökene yakınsar. Biz tanımlıyoruz gibi

Bu basitçe sistemin ölçeklendirilmiş enerjisidir [2] Açıkça, dır-dir pozitif tanımlı açık bir yarıçapta kökeni etrafında. Türevi hesaplamak,

Bunu gözlemleyin . Eğer doğruysa , her yörüngenin kökene yaklaştığı sonucuna varabiliriz. Lyapunov'un ikinci teoremi. Ne yazık ki, ve sadece negatif yarı belirsiz dan beri sıfırdan farklı olabilir . Ancak set

hangisi basitçe set

önemsiz yörünge dışında sistemin herhangi bir yörüngesini içermez x = 0. Nitekim, eğer bir zaman , o zaman çünkü daha az olmalı kökeninden uzakta, ve . Sonuç olarak, yörünge sette kalmayacak .

Değişmezlik ilkesinin yerel versiyonunun tüm koşulları karşılanmıştır ve kökenin bazı mahallelerinde başlayan her yörüngenin kökene yakınlaşacağı sonucuna varabiliriz. [3].

Tarih

Genel sonuç bağımsız olarak keşfedildi J.P. LaSalle (sonra RIAS ) ve N.N. Krasovskii, sırasıyla 1960 ve 1959'da yayın yapan. Süre LaSalle Batı'da genel teoremi 1960'ta yayınlayan ilk yazardı, teoremin özel bir durumu 1952'de Barbashin tarafından iletildi ve Krasovskii ardından 1959'da genel sonucun yayınlanması Krasovskii [4].

Ayrıca bakınız

Orijinal belgeler

  • LaSalle, J.P. Liapunov'un ikinci yönteminin bazı uzantıları, Devre Teorisi üzerine IRE İşlemleri, CT-7, s. 520–527, 1960. (PDF )
  • Barbashin, E. A .; Nikolai N. Krasovskii (1952). Об устойчивости движения в целом [Bir bütün olarak hareketin kararlılığı üzerine]. Doklady Akademii Nauk SSSR (Rusça). 86: 453–456.
  • Krasovskii, N. N. Hareket Kararlılığı Teorisinin Sorunları, (Rusça), 1959. İngilizce çevirisi: Stanford University Press, Stanford, CA, 1963.

Ders kitapları

Dersler

Referanslar

  1. ^ Halil, Hasan (2002). Doğrusal Olmayan Sistemler (3. baskı). Upper Saddle River NJ: Prentice Hall.
  2. ^ Wassim, Haddad; Chellaboina, VijaySekhar (2008). Doğrusal Olmayan Dinamik Sistemler ve Kontrol, Lyapunov tabanlı bir yaklaşım. Princeton University Press.
  1. ^ Doğrusal olmayan kontrol hakkında ders notları, Notre Dame Üniversitesi, Öğretim Görevlisi: Michael Lemmon, ders 4.
  2. ^ ibid.
  3. ^ Doğrusal olmayan analiz üzerine ders notları, Ulusal Tayvan Üniversitesi, Eğitmen: Feng-Li Lian, ders 4-2.
  4. ^ Vidyasagar, M. Doğrusal Olmayan Sistem Analizi, Uygulamalı Matematikte SIAM Classics, SIAM Press, 2002.