پایداری با دقت مرتبه اول — به زبان ساده
در مطالب گذشته وبلاگ فرادرس در مورد مفاهیم پایداری و همچنین تابعی تحت عنوان تابع لیاپانوف صحبت کردیم. این تابع به ما کمک میکرد تا بتوانیم وضعیت پایداری یک سیستم را بررسی کنیم. در این مطلب قصد داریم تا در مورد پایداری با دقت مرتبه اول صحبت کنیم.
پایداری با دقت مرتبه اول
به منظور بررسی پایداری، در ابتدا سیستمی خودکار از معادله دیفرانسیل را به صورت زیر در نظر بگیرید.
سیستم معادلات فوق را میتوان به صورت برداری، مطابق با عبارت زیر نیز بیان کرد.
$$ \large { \mathbf { X ^ { \prime } } = \mathbf { f } \left ( \mathbf{X} \right),\;\;} \kern0pt {\text{where}\;\;\mathbf { X } = \left[ {\begin{array}{*{20} { c } } { { x _ 1 } } \\ {{x_2}}\\ \vdots \\ {{x_n}} \end{array}} \right],\;\;}\kern0pt {\mathbf{f} = \left[ {\begin{array}{*{20 } { c } } { { f _ 1} } \\ { { f _ 2 } } \\ \vdots \\ { { f _ n } } \end{array}} \right] } $$
فرض کنید نقطه تعادل سیستم باشد که هدف نیز بررسی پایداری آن است. همچنین فرض بر این است که در نزدیکی مبدا دوبار مشتقپذیر بوده و این مشتق نیز پیوسته باشد. از این رو میتوانیم توابع را به صورت زیر و در قالب بسط مک لورن بیان کنیم. البته مشتقات مرتبه دوم و بالاتر در نظر گرفته نمیشوند. به همین دلیل به این روش، پایداری با دقت مرتبه اول گفته میشود.
در اینجا نشاندهنده ترمهای مرتبه دوم نسبت به متغیرهای است. بسط مکلورن ارائه شده در بالا را میتوان به صورت برداری-ماتریسی، همانطور که در ادامه آمده، بیان کرد:
ژاکوبینِ را میتوان مطابق با رابطه زیر بیان کرد:
$$ \large J = \left[ {\begin{array}{*{20}{c}}<br /> { \frac { { \partial { f _ 1 } } } { { \partial { x _ 1 } } } } & { \frac { { \partial { f _ 1 } } } { { \partial { x _ 2 } } } } & \vdots &{\frac{{\partial { f _1 } }} { {\partial { x _ n } } } } \\ { \frac { { \partial { f _ 2 } } } { { \partial { x _ 1 } } } } & { \frac { { \partial {f_2 } } } { {\partial { x _ 2 } } } } & \vdots &{\frac { { \partial { f _ 2 } } } { { \partial { x _ n } } } } \\ \cdots & \cdots & \vdots & \cdots \\ {\frac{{\partial { f _ n } } } { { \partial { x _ 1} } } } & { \frac{{\partial { f _ n } } } { { \partial { x _ 2 } } } } & \vdots & { \frac { { \partial { f _ n } } } { { \partial { x _ n } } } }<br /> \end{array} } \right] $$
توجه داشته باشید که مقادیر مشتقات جزئی تشکیلدهنده ماتریس فوق، در نقطه بسط داده شده، یعنی محاسبه میشوند. در مطالعه پایداری، سیستمهای خطی را میتوان مطابق با رابطه زیر در نظر گرفت.
بر خلاف معادله غیر خطی بیان شده، از معادله فوق در این مطلب استفاده میکنیم. این معادله خطی بوده و از مرتبه اول است. پایداری سیستمی که در آن مشخصههای سیستمِ غیرخطیِ اصلی و سیستم مرتبه اولِ مرتبط با آن مشابه باشند، توسط لیاپانوف توضیح داده شده است. در ادامه برخی از نتایج نظریه لیاپانوف ارائه شدهاند.
نظریه لیاپانوف در پایداری و ناپایداری مرتبه اول
اگر حداقل یکی از مقادیر ویژه مربوط به ماتریس ژاکوبین () دارای مقداری مثبت در بخش حقیقی خود باشد، در این صورت پاسخ صفرِ معادله سیستم خطی شده، ناپایدار است. به همین صورت میتوان گفت اگر تمامی مقادیر ویژه دارای بخش حقیقی منفی باشند، در این صورت پاسخ صفرِ پایدار است.
در موارد بحرانی که تمامی مقادیر ویژه ماتریس ژاکوبین منفی و صفر هستند، وضعیت پایداری مبهم بوده و ریشههای صفر ممکن است وضعیتی پایدار یا ناپایدار داشته باشند. در این موارد نمیتوان از روش پایداری مرتبه اول استفاده کرده و باید از روشهای دیگری به منظور بررسی پایداری استفاده کرد. بنابراین از روش لیاپانوف زمانی میتوان استفاده کرد که بخش حقیقی مقادیر ویژه ماتریس ژاکوبین غیر صفر باشند.
موقعیت تعادل ریشه سیستمی از مرتبه را در نظر بگیرید. این سیستم در زیر ارائه شده است.
به چنین سیستمی در صورتی که بخش حقیقی مقادیر ویژه ماتریس ضرایب آن غیر صفر باشد، «ناهموار» (Rough) گفته میشود. در این حالت ماتریس دقیقا مقدار حقیقی مجزا دارد.
توجه داشته باشید در مواردی که با سیستمی از مرتبه دو روبرو هستیم، فقط یکی از سه حالت زیر، ناهموار محسوب میشوند.
نهایتا میتوان گفت که روش پایداری مرتبه اول را میتوان تنها برای بررسی پایداری سیستمهای ناهموار (سیستمهایی با پایداری ساختاری) استفاده کرد. در ادامه مثالهایی ذکر شده که پیشنهاد میشود آنها را مطالعه فرمایید.
مثال ۱
پایداری نقطه تعادلِ سیستمِ زیر را با استفاده از تقریب مرتبه اول بررسی کنید.
در این مسئله توابع و به صورت زیر هستند.
بدیهی است که این توابع پیوسته بوده و در همسایگی نقطه تعادلِ نیز مشتقپذیر هستند. همچنین واضح است که بزرگی ترمهای غیرخطی از مرتبه ۲ است. از این رو این سیستم تمامی ملزومات لازم به منظور بررسی با تقریب مرتبه اول را دارا خواهد بود. در اولین قدم باید اجزا ماتریس ژاکوبین را در نقطه به صورت زیر بدست آورد.
$$ \large \begin {gather*} \require{AMSmath.js} \Rightarrow{ {\left. {\frac{{\partial { f _1 } } } { { \partial x} } } \right|_{\substack{ x = 0 \\ y = 0 } } } = 0,\;\;} \kern-0.3pt {{\left. {\frac{{\partial { f _ 1} } } { { \partial y} } } \right|_{\substack{ x = 0\\ y = 0 } } } = 1,\;\;}\kern-0.3pt { { \left. {\frac{{\partial { f _ 2} } } { { \partial x } } } \right|_{\substack{ x = 0\\ y = 0} } } = – 2 \;\;} \\\\ \kern-0.3pt { { \left. {\frac { { \partial { f _ 2 } }} {{ \partial y } } } \right|_{\substack{ x = 0\\ y = 0} } } = – 1,\;\;}\kern-0.3pt { \Rightarrow J = \left[ {\begin{array}{*{20}{r}} 0&1\\ { – 2}&{ – 1} \end{array}} \right] } \end {gather*} $$
بنابراین مقادیر ویژه برابرند با:
$$ \large \begin {align*} {\det \left ( { J – \lambda I} \right) = 0 \;\;} & \Rightarrow {\left| {\begin {array}{*{20} { c } } {0 – \lambda } & 1 \\<br /> { – 2}&{ – 1 – \lambda } \end {array}} \right| = 0 \;\;} \\ & \Rightarrow { \lambda \left( { \lambda + 1} \right) + 2 = 0 \;\;} \\ & \Rightarrow { { \lambda ^ 2 } + \lambda + 2 = 0 \;\;} \\ & \Rightarrow {D = – 7 \;\;} \\ & \Rightarrow { { \lambda _{1,2}} = \frac{{ – 1 \pm \sqrt { – 7} } } { 2 } } = { – \frac { 1 } { 2 } \pm \frac{{i\sqrt 7 } } { 2 } } \end {align*} $$
معادله مشخصه دو ریشه مختلط دارد که بخش حقیقی آنها منفی هستند.
بنابراین میتوان گفت که پاسخ صفر سیستم از نظر تئوری پایداری مرتبه اول، پایدار است. توجه داشته باشید که نقطه تعادل این سیستم از نوع کانونی است.
مثال ۲
نقطه تعادل سیستم زیر را یافته و پایداری آن را با استفاده از تقریب مرتبه اول بیابید.
در ابتدا نقطه تعادل را با استفاده از صفر قرار دادن معادلات به صورت زیر بدست میآوریم.
$$ \large {\left\{ \begin{array}{l}<br /> \frac { { d x } } { { d t } } = 0 \\ \frac { { d y } } { { d t } } = 0 \end{array} \right. \;\;} \Rightarrow {\left\{ {\begin {array}{*{20}{ l } } { { x ^ 2 } – y = 0} \\ {x – 1 = 0} \end{array}} \right. \;\;} \Rightarrow<br /> {\left\{ {\begin{array}{*{20}{l}} {x = 1} \\ {y = 1} \end {array}} \right. } $$
با توجه به این که نقطه ، پاسخ صفر محسوب نمیشود، از تغییر متغیر زیر استفاده میکنیم.
با قرار دادن تغییر متغیر فوق در معادله اصلی داریم:
$$ \large \begin {gather*} \require{cancel} {\left\{ \begin{array}{l} {\frac { { d \left ( { u + 1 } \right) } } {{ d t } } }={ {\left( {u + 1} \right)^2} } - { \left( {v + 1} \right) } \\ { \frac { { d \left( {v + 1} \right ) } } { { d t } } } = { u + \cancel {1} }-{ \cancel{1} } \end {array} \right. \;\;} \\ \\ \Rightarrow {\left\{ {\begin{array}{*{20}{ l } } {{\frac{ { d u } } { {d t }} } = { { u ^ 2 } + 2u }+{ \cancel{1} – v – \cancel { 1 } } } \\ { \frac { { d v } } { { d t } } = u} \end{array}} \right. \;\;} \Rightarrow { \left\{ {\begin {array}{*{20} { l } } { \frac { { d u} } {{ d t} } = { u ^ 2 } + 2u – v } \\ { \frac {{ d v } } { {d t } } = u } \end{array}} \right.} \end {gather*} $$
به منظور تعیین کردن پایداری پاسخ صفر، ژاکوبینِ باید محاسبه شود. در نتیجه در ابتدا توابع را بهصورت زیر در نظر میگیریم:
بنابراین مشتقات جزئی برابرند با:
به همین صورت مشتق جزئی در نقطه نیز برابر است با:
همچنین مقادیر ویژه ماتریس برابر است با:
$$ \large \begin {gather*} {J = \left[ {\begin{array}{*{20}{r}} 2 & { – 1} \\ 1 & 0 \end{array}} \right],\;\;}\kern-0.3pt {\det \left( {J – \lambda I} \right) = 0,\;\;} \Rightarrow {\left| {\begin{array}{*{20}{c}} {2 – \lambda } & { – 1}\\ 1&{0 – \lambda } \end{array}} \right| = 0,\;\;} \\ \\ \Rightarrow { \lambda \left( {\lambda – 2} \right) + 1 = 0,\;\;} \Rightarrow { { \lambda ^ 2 } – 2\lambda + 1 = 0,\;\;} \\ \\ \Rightarrow { { \left( {\lambda – 1} \right)^2} = 0,\;\;} \\ \\ \Rightarrow { { \lambda _ {1 , 2 } } = 1.} \end {gather*} $$
بنابراین ماتریس دارای مقدار ویژهای تکراری برابر با است. با توجه به تعریف یک نقطه پایدار با استفاده از مقادیر ویژه متفاوت توصیف میشود. با توجه به یکسان بودن این مقادیر برای این سیستم، نمیتوان این سیستم را با استفاده از پایداری مرتبه اول بررسی کرد. برای تحلیل درست میتوان از روشهای دیگری همچون تابع لیاپانوف استفاده کرد.
مثال ۳
موقعیتهای پایدار سیستم زیر را یافته و پایداری آن را بررسی کنید. همچنین شماتیکی از فازهای سیستم خطی مرتبط با آن را ترسیم کنید.
در ابتدا نقاط پایدار سیستم را با حل سیستم جبری زیر بدست میآوریم.
معادله دوم، مقدار را نتیجه میدهد. با قرار دادن آن در معادله اول مقدار برابر با عدد زیر بدست میآید.
بنابراین سیستم دارای تنها یک نقطه تعادل است (). به منظور بررسی پایداری پاسخ صفر، سمت راست دستگاه معادله دیفرانسیل را در قالب بسط مک لورن مینویسیم.
در ادامه مقادیر مشتقات جزئی در نقطه برابر با مقادیر زیر بدست میآیند.
بنابراین مقادیر ویژه ماتریس ژاکوبین برابرند با:
$$ \large \begin {align*} { J = \left[ {\begin{array}{*{20} { c } }<br /> 1&1\\1&0 \end {array}} \right],\;\;} & \kern-0.3pt { \det \left( {J – \lambda I} \right ) = 0,\;\;} \\\\ & \Rightarrow {\left| {\begin {array}{*{20} { c } } {1 – \lambda } & 1 \\ 1&{0 – \lambda } \end {array}} \right| = 0,\;\; } \\\\ & \Rightarrow {\lambda \left ( { \lambda – 1} \right) – 1 = 0,\;\;} \\\\ & \Rightarrow { { \lambda ^ 2 } – \lambda – 1 = 0,\;\;} \\\\ & \Rightarrow { D = 5,\;\; } \\\\ & \Rightarrow { { \lambda _ { 1 , 2 } } = \frac { { 1 \pm \sqrt 5 } } { 2 } } = { \frac { 1 } { 2 } \pm \frac { { \sqrt 5 } } { 2 } } \end {align*} $$
همانطور که میبینید، مقادیر ویژه اعدادی حقیقی با علامتهای متفاوت هستند.
مقادیر ویژه نشان میدهند که سیستم خطی شده دارای تعادل صفر از نوع زینی است. نتیجهگیری مشابهی را میتوان نسبت به سیستم غیرخطی اصلی داشت. در مرحله بعد باید بردارهای ویژه را بدست آورد. معادله مربوط به مولفههای بردار ویژه اول به صورت زیر بدست میآیند.
$$ \large \begin {align*} \left ( { J – { \lambda _ 1 } I } \right ) & { \mathbf { V } _ 1 } = \mathbf { 0 } \;\; \\ \\ & \Rightarrow { { \left[ {\begin{array}{*{20}{ c } } { \frac { 1 } { 2 } – \frac{{\sqrt 5 }}{2}}&1\\ 1&{ – \frac{1}{2} – \frac{{\sqrt 5 } } { 2 } } \end{array}} \right] \cdot}\kern0pt{ \left[ {\begin{array}{*{20} { c } } { { V _{ 11 } } } \\ { { V _ { 21 } } } \end{array}} \right] = \mathbf{0},\;\;}} \\\\ & \Rightarrow {\left\{ {\begin{array}{*{20}{l}} {\left( {\frac{1}{2} – \frac{{\sqrt 5 } } { 2 } } \right){V_{11}} + {V_{21}} = 0 } \\ {{V_{11}} – \left( {\frac { 1 } { 2 } + \frac{{\sqrt 5 }}{2}} \right){V _ { 21 } } = 0} \end{array}} \right.,\;\;} \\\\ & \Rightarrow {\left\{ {\begin{array}{*{20} { l } } {\left( {\frac{1}{2} – \frac { { \sqrt 5 } } { 2 } } \right){V _ { 11 } } + { V _ { 21} } = 0 } \\ {\left( {\frac { 1 } { 2 } – \frac{{\sqrt 5 } } { 2 } } \right){V _ { 11 } } + {V_{21}} = 0} \end{array}} \right.,\;\;} \\\\ & \Rightarrow {\left( {\frac{1}{2} – \frac{{\sqrt 5 }}{2}} \right){V_{11}} + {V_{21}} = 0 } \end {align*} $$
بهمنظور حل دستگاه فوق در اولین قدم، مولفه را در نظر میگیریم. با این فرض دیگر مولفههای بردار برابرند با:
$$ \large \begin {gather*} { { V _ { 21 } } = – \left( {\frac{1}{2} – \frac{{\sqrt 5 }}{2}} \right ) { V _ { 11 } } } = {- \left( {\frac{1}{2} – \frac{{\sqrt 5 }}{2}} \right)t \approx 0.62t,\;\;} \\ \\ \Rightarrow {{{\mathbf{V}_1} = \left[ {\begin{array}{*{20} { c } } { { V _ { 11 } } } \\ {{V_{21}}} \end{array}} \right] } = {\left[ {\begin{array}{*{20}{ c } } t \\ { 0.62 t } \end{array}} \right] } = { t \left[ {\begin{array}{*{20}{ c } } 1\\ { 0.62 } \end{array}} \right] } } \sim { { \left[ {\begin{array}{*{20} { c } } 1 \\ { 0.62 } \end {array}} \right] } } \end {gather*} $$
به طور مشابه بردار نیز به صورت زیر بدست خواهد آمد.
$$ \large \begin {gather*} \left ( { J – { \lambda _2}I} \right){\mathbf{V}_2 = \mathbf { 0 } ,\;\;} \Rightarrow {{\left[ {\begin{array}{*{20}{c}} {\frac{1}{2} + \frac{{\sqrt 5 }}{2}}&1\\ 1&{ – \left( {\frac{1}{2} – \frac{{\sqrt 5 }}{2}} \right)} \end{array}} \right] \cdot}}\kern0pt{{ \left[ {\begin{array}{*{20}{c}} {{V_{12}}}\\ { { V _ { 22 } } } \end{array}} \right] = \mathbf{0},\;\;} } \\ \\ \Rightarrow {\left\{ {\begin{array}{*{20}{l}} {\left( { \frac{ 1 } { 2 } + \frac{{\sqrt 5 }}{2}} \right){V_{12}} + {V_{22}} = 0}\\ {{V_{12}} – \left( {\frac{1}{2} – \frac { { \sqrt 5 } } { 2 } } \right){V_{22}} = 0} \end{array}} \right.,\;\; } \\ \\ \Rightarrow {\left\{ {\begin{array}{*{20} { l } } {\left( {\frac { 1 } { 2 } + \frac{{\sqrt 5 }}{2}} \right){V_{12}} + {V_{22}} = 0 } \\ {\left( {\frac{1}{2} + \frac{{\sqrt 5 }}{2}} \right){V_{12}} + { V _ { 22 } } = 0} \end{array}} \right.,\;\;} \\ \\ \Rightarrow {\left ( { \frac { 1 } { 2 } + \frac { { \sqrt 5 } }{2}} \right){V_{12}} + {V_{22}} = 0 } \end {gather*} $$
با تغییر متغیر نهایتا بردار نیز به صورت زیر بدست خواهد آمد.
$$\begin {gather*} { { V _ { 22 } } = – \left ( {\frac{1}{2} + \frac{{\sqrt 5 } } { 2 } } \right ) { V _ { 12}} } = {- \left( { \frac { 1 } { 2 } + \frac{{\sqrt 5 } } { 2 } } \right)t }\approx{ -1.62t,\;\;} \\ \\ \Rightarrow {{{\mathbf{V}_2} = \left[ {\begin{array}{*{20} { c } } { { V _ { 12 } } } \\ { { V _ { 22 } } } \end{array} } \right] } = {\left[ {\begin{array}{*{20} { c } } t \\ {-1.62t} \end{array} } \right] } = {t\left[ {\begin{array}{*{20} { c } } 1\\ {-1.62} \end{array} } \right] } } \sim{{ \left[ {\begin{array}{*{20 }{ c } } 1 \\ {-1.62} \end {array}} \right] } } \end {gather*} $$
با ترسیم بردارهای بدست آمده و عبور دادن آنها از مرکز، میدان فازی سیستم خطی شده به صورت زیر بدست میآید.
این خطوط نشان دهنده مرزهای زین هستند. توجه داشته باشید که به منظور شناسایی مسیر کافی است تا نقطه مورد بررسی را در رابطه فوق قرار دهید. برای نمونه با قرار دادن نقطه در بردار بدست آمده در بالا، سرعت میدان برداری در این نقطه برابر است با:
بدیهی است که مقادیر فوق نشان دهنده سرعت میدان به سمت شمال شرقی است.
^^
عالی بود