LaSalles invariantligi printsipi - LaSalles invariance principle - Wikipedia

LaSalle ning invariantlik printsipi (shuningdek,. nomi bilan ham tanilgan invariantlik printsipi,[1] Barbashin-Krasovskiy-LaSalle printsipi,[2] yoki Krasovskiy-LaSalle printsipi ) uchun mezondir asimptotik barqarorlik avtonom (ehtimol chiziqli bo'lmagan) dinamik tizim.

Global versiya

Tizim quyidagicha ifodalangan deylik

qayerda o'zgaruvchilarning vektori, bilan

Agar a funktsiya shunday topish mumkin

Barcha uchun (salbiy semidefinite),

keyin to'plami to'planish nuqtalari har qanday traektoriyaning ichida joylashgan qayerda to'liq to'plamda joylashgan to'liq traektoriyalarning birlashishi .

Agar bizda qo'shimcha funktsiya bo'lsa ijobiy aniq, ya'ni

, Barcha uchun

va agar ahamiyatsiz traektoriyadan tashqari tizimning traektoriyasini o'z ichiga olmaydi uchun , keyin kelib chiqishi asimptotik barqaror.

Bundan tashqari, agar radial jihatdan chegaralanmagan, ya'ni.

, kabi

u holda kelib chiqishi dunyo miqyosida asimptotik barqaror.

Mahalliy versiya

Agar

, qachon

faqat ushlab turing ba'zi mahallalarda kelib chiqishi va to'plami

traektoriyadan tashqari tizimning biron bir traektoriyasini o'z ichiga olmaydi , keyin invariantlik printsipining mahalliy versiyasi kelib chiqishi mahalliy darajada ekanligini bildiradi asimptotik barqaror.

Lyapunov nazariyasi bilan bog'liqligi

Agar bu salbiy aniq, kelib chiqishining global asimptotik barqarorligi natijadir Lyapunovning ikkinchi teoremasi. Invariantlik printsipi qachon bo'lgan taqdirda asimptotik barqarorlik mezonini beradi faqat salbiy yarim cheksiz.

Misol: ishqalanish bilan sarkac

Ushbu bo'lim mahalliyni o'rnatish uchun invariantlik printsipini qo'llaydi asimptotik barqarorlik oddiy tizimning ishqalanishi bilan sarkac. Ushbu tizimni differentsial tenglama bilan modellashtirish mumkin [1]

qayerda sarkaç vertikal normal bilan burchak, mayatnikning massasi, mayatnikning uzunligi, bo'ladi ishqalanish koeffitsienti va g tortishish kuchi tufayli tezlanishdir.

Bu, o'z navbatida, tenglamalar tizimi sifatida yozilishi mumkin

O'zgarmaslik printsipidan foydalanib, kelib chiqishi atrofida ma'lum o'lchamdagi to'pdan boshlanadigan barcha traektoriyalarni ko'rsatish mumkin asimptotik ravishda kelib chiqishiga yaqinlashadi. Biz aniqlaymiz kabi

Bu shunchaki tizimning miqyosi energiyasidir [2] Shubhasiz, bu ijobiy aniq radiusning ochiq to'pida kelib chiqishi atrofida. Hosilni hisoblash,

Shunga e'tibor bering . Agar bu haqiqat bo'lsa , biz har bir traektoriya kelib chiqishiga yaqinlashadi degan xulosaga kelishimiz mumkin Lyapunovning ikkinchi teoremasi. Afsuski, va faqat salbiy yarim cheksiz beri qachon nolga teng bo'lmagan bo'lishi mumkin . Biroq, to'plam

bu shunchaki to'plam

tizimning hech qanday traektoriyasini o'z ichiga olmaydi, faqat ahamiyatsiz traektoriyadan tashqari x = 0. Haqiqatan ham, agar biron bir vaqt bo'lsa , , keyin, chunki dan kam bo'lishi kerak kelib chiqishidan uzoqda, va . Natijada traektoriya to'plamda qolmaydi .

Invariantlik printsipining mahalliy versiyasining barcha shartlari qondirilgan va xulosa qilishimiz mumkinki, kelib chiqish joyining ba'zi mahallalarida boshlanadigan har bir traektoriya kelib chiqishiga quyidagicha yaqinlashadi. [3].

Tarix

Umumiy natija tomonidan mustaqil ravishda kashf etilgan JP LaSalle (keyin da RIAS ) va N.N. Krasovskiy, 1960 va 1959 yillarda nashr etilgan. Esa LaSalle G'arbda birinchi bo'lib 1960 yilda umumiy teoremani nashr etgan muallif edi, 1952 yilda Barbashin tomonidan teoremaning alohida holati va Krasovskiy, so'ngra 1959 yilda umumiy natijalarning nashr etilishi Krasovskiy [4].

Shuningdek qarang

Asl hujjatlar

  • LaSalle, J.P. Liapunovning ikkinchi usulining ba'zi kengaytmalari, O'chirish nazariyasi bo'yicha IRE operatsiyalari, CT-7, 520-527 betlar, 1960. (PDF )
  • Barbashin, E. A .; Nikolay N. Krasovskiy (1952). Ob ustostivosti dvijeniya v tselom [Umuman olganda harakatning barqarorligi to'g'risida]. Doklady Akademii Nauk SSSR (rus tilida). 86: 453–456.
  • Krasovskiy, N. N. Harakat barqarorligi nazariyasi muammolari, (Rossiya), 1959. Ingliz tiliga tarjima: Stenford University Press, Stenford, KA, 1963 yil.

Matnli kitoblar

Ma'ruzalar

Adabiyotlar

  1. ^ Xalil, Hasan (2002). Lineer bo'lmagan tizimlar (3-nashr). Yuqori Saddle River NJ: Prentice Hall.
  2. ^ Vassim, Xaddod; Chellaboina, VijaySekhar (2008). Lineer bo'lmagan dinamik tizimlar va boshqarish, Lyapunovga asoslangan yondashuv. Prinston universiteti matbuoti.
  1. ^ Lineer bo'lmagan boshqarish bo'yicha ma'ruza matnlari, Notr-Dam universiteti, O'qituvchi: Maykl Lemmon, 4-ma'ruza.
  2. ^ shu erda.
  3. ^ Lineer bo'lmagan tahlil bo'yicha ma'ruza matnlari, Tayvan milliy universiteti, o'qituvchi: Feng-Li Lian, ma'ruza 4-2.
  4. ^ Vidyasagar, M. Lineer bo'lmagan tizimlarni tahlil qilish, Amaliy matematikada SIAM klassikasi, SIAM Press, 2002 y.