نظریه پایداری معادلات دیفرانسیل معمولی (ODEs)
نظریه پایداری بررسی میکند که آیا راهحلهای یک معادله دیفرانسیل که نزدیک یک نقطه تعادل شروع میشوند، در طول زمان نزدیک آن باقی میمانند یا به آن بازمیگردند.
Definition
یک نقطه تعادل از نوع پایداری لیاپانوف است اگر راهحلهایی که به اندازه کافی نزدیک شروع میشوند، برای تمام زمانهای بعدی به طور دلخواه نزدیک باقی بمانند، و از نوع پایداری مجانبی است اگر علاوه بر این به نقطه تعادل همگرا شوند؛ ناپایداری به این معنی است که حداقل برخی از راهحلهای نزدیک از آن دور میشوند.
Scope
این موضوع شامل تعاریف پایداری لیاپانوف، پایداری مجانبی، و ناپایداری، خطیسازی و قضیه هارتمن-گروبمن، روش مستقیم توابع لیاپانوف، اصل ناوردایی لاسال، و طبقهبندی نقاط تعادل سیستمهای صفحهای به عنوان گرهها، زینها، کانونها و مراکز میشود.
Core questions
- آیا اغتشاشات کوچک یک نقطه تعادل رشد میکنند، پایدار میمانند یا از بین میروند؟
- چه زمانی خطیسازی به درستی پایداری یک نقطه تعادل غیرخطی را پیشبینی میکند؟
- چگونه میتوان پایداری را بدون حل صریح معادله تعیین کرد؟
- نقاط تعادل صفحهای چگونه بر اساس پرترههای فاز محلی خود طبقهبندی میشوند؟
Key theories
- روش مستقیم لیاپانوف
- اگر یک تابع معین مثبت در طول مسیرها کاهش یابد، نقطه تعادل پایدار است، و کاهش اکید چنین تابعی پایداری مجانبی را بدون حل معادله دیفرانسیل تضمین میکند.
- خطیسازی و قضیه هارتمن-گروبمن
- در نزدیکی یک نقطه تعادل هذلولوی، جریان غیرخطی به طور توپولوژیکی با خطیسازی آن مزدوج است، بنابراین مقادیر ویژه ژاکوبین پایداری محلی را تعیین میکنند.
- اصل ناوردایی لاسال
- هنگامی که یک تابع لیاپانوف فقط غیرصعودی باشد، مسیرها به بزرگترین مجموعه ناوردا در ناحیهای که مشتق آن صفر میشود، همگرا میشوند و نتایج پایداری مجانبی را گسترش میدهند.
Clinical relevance
تحلیل پایداری زیربنای مهندسی کنترل است، جایی که تأیید میکند یک سیستم طراحیشده پس از اغتشاشات به نقطه عملیاتی خود بازمیگردد، و پایداری نقاط تعادل را در مدلهای اکولوژیکی، فیزیولوژیکی و اقتصادی توضیح میدهد.
History
رساله لیاپانوف در سال ۱۸۹۲ نظریه عمومی پایداری حرکت را بنیان نهاد و هم خطیسازی و هم روش مستقیم مبتنی بر تابع را معرفی کرد. تحلیل کیفی پوانکاره از سیستمهای صفحهای تصویر هندسی را ارائه داد، و اواسط قرن بیستم قضیه هارتمن-گروبمن و اصل ناوردایی لاسال را به آن افزود.
Key figures
- Aleksandr Lyapunov
- Henri Poincare
- Philip Hartman
- Joseph LaSalle
Related topics
Seminal works
- perko2001
- khalil2002
Frequently asked questions
- تفاوت بین پایداری لیاپانوف و پایداری مجانبی چیست؟
- پایداری لیاپانوف به این معنی است که راهحلهای نزدیک برای همیشه نزدیک باقی میمانند، اما لزوماً نباید به نقطه تعادل نزدیک شوند. پایداری مجانبی این شرط را اضافه میکند که راهحلهای نزدیک با افزایش زمان واقعاً به نقطه تعادل همگرا میشوند.
- چه زمانی خطیسازی در تعیین پایداری شکست میخورد؟
- خطیسازی تنها در نقاط تعادل هذلولوی، که ژاکوبین هیچ مقدار ویژهای روی محور موهومی ندارد، قطعی است. در حالت مرزی غیرهذلولوی، مانند یک مرکز خالص، جملات غیرخطی میتوانند پایداری را تعیین کنند، و در این صورت به یک تابع لیاپانوف یا تحلیل منیفلد مرکزی نیاز است.