ल्यपुनोव स्थिरता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Property of a dynamical system where solutions near an equilibrium point remain so}}
{{Short description|Property of a dynamical system where solutions near an equilibrium point remain so}}
{{About|asymptotic stability of nonlinear systems|stability of linear systems|exponential stability}}
{{About|अरेखीय प्रणालियों की स्पर्शोन्मुख स्थिरता|रैखिक प्रणालियों की स्थिरता|घातांकीय स्थिरता}}
{{Astrodynamics}}
{{Astrodynamics}}
गतिशील प्रणालियों का वर्णन करने वाले [[[[अंतर समीकरण]]]]ों या अंतर समीकरणों के समाधान के लिए विभिन्न प्रकार के [[स्थिरता सिद्धांत]] पर चर्चा की जा सकती है। सबसे महत्वपूर्ण प्रकार संतुलन के बिंदु के निकट समाधानों की स्थिरता से संबंधित है। इस पर [[अलेक्जेंडर ल्यपुनोव]] के सिद्धांत से चर्चा की जा सकती है। सरल शब्दों में, यदि समाधान संतुलन बिंदु के पास शुरू होते हैं <math>x_e</math> पास रहो <math>x_e</math> तो हमेशा के लिए <math>x_e</math> ल्यपुनोव स्थिर है। और अधिक मजबूती से, यदि <math>x_e</math> ल्यपुनोव स्थिर है और सभी समाधान जो निकट से शुरू होते हैं <math>x_e</math> में जुटना <math>x_e</math>, तब <math>x_e</math> ''एसिम्प्टोटिक रूप से स्थिर'' कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। ''[[घातांकीय स्थिरता]]'' की धारणा क्षय की न्यूनतम दर की गारंटी देती है, यानी, यह अनुमान लगाती है कि समाधान कितनी जल्दी अभिसरण होते हैं। ल्यपुनोव स्थिरता के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे [[संरचनात्मक स्थिरता]] के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न लेकिन निकटवर्ती समाधानों के व्यवहार से संबंधित है। [[इनपुट-टू-स्टेट स्थिरता]] (आईएसएस) इनपुट वाले सिस्टम पर ल्यपुनोव धारणाओं को लागू करता है।
गतिशील प्रणालियों का वर्णन करने वाले [[[[अंतर समीकरण|अंतर समीकरणों]]]] या अंतर समीकरणों के समाधान के लिए विभिन्न प्रकार के [[स्थिरता सिद्धांत]] पर वर्णन किया जा सकता है। सबसे महत्वपूर्ण प्रकार संतुलन के बिंदु के निकट समाधानों की स्थिरता से संबंधित है। इस पर [[अलेक्जेंडर ल्यपुनोव|अलेक्सांद्र ल्यपुनोव]] के सिद्धांत से वर्णन किया जा सकता है। सरल शब्दों में, यदि समाधान संतुलन बिंदु <math>x_e</math> के पास प्रारंभ होते हैं <math>x_e</math> तो सदैव के लिए <math>x_e</math> ल्यपुनोव स्थिर है। और अधिक स्थिरता से, यदि <math>x_e</math> ल्यपुनोव स्थिर है <math>x_e</math> में अभिसरण किया जाता है <math>x_e</math>, फिर <math>x_e</math> को एसिम्प्टोटिक रूप से स्थिर कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। [[घातांकीय स्थिरता]] की धारणा क्षय की न्यूनतम दर का आश्वासन देता है, अर्थात, यह अनुमान लगाता है कि समाधान कितनी शीघ्रता से अभिसरण होते हैं। '''ल्यपुनोव स्थिरता''' के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे [[संरचनात्मक स्थिरता]] के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न किन्तु निकटवर्ती समाधानों के व्यवहार से संबंधित है। [[इनपुट-टू-स्टेट स्थिरता]] (आईएसएस) वाले प्रणाली पर ल्यपुनोव धारणाओं को प्रारम्भ करता है।


==इतिहास==
==इतिहास==
लायपुनोव स्थिरता का नाम रूसी गणितज्ञ [[अलेक्जेंडर मिखाइलोविच ल्यपुनोव]] के नाम पर रखा गया है, जिन्होंने 1892 में खार्कोव विश्वविद्यालय में गति की स्थिरता की सामान्य समस्या थीसिस का बचाव किया था।<ref name=lyapunov>[[Aleksandr Lyapunov|Lyapunov, A. M.]] ''The General Problem of the Stability of Motion'' (In Russian), Doctoral dissertation, Univ. Kharkov 1892 English translations: (1) ''Stability of Motion'', Academic Press, New-York & London, 1966 (2) ''The General Problem of the Stability of Motion'', (A. T. Fuller trans.) Taylor & Francis, London 1992. Included is a biography by Smirnov and an extensive bibliography of Lyapunov's work.</ref> ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके गैर-रेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए वैश्विक दृष्टिकोण विकसित करने के सफल प्रयासों में अग्रणी थे। उनका काम, जो शुरू में रूसी में प्रकाशित हुआ और फिर फ्रेंच में अनुवादित हुआ, कई वर्षों तक बहुत कम ध्यान दिया गया। ए.एम. लायपुनोव द्वारा स्थापित गति की स्थिरता के गणितीय सिद्धांत ने विज्ञान और प्रौद्योगिकी में इसके कार्यान्वयन के लिए काफी समय का अनुमान लगाया था। इसके अलावा लायपुनोव ने स्वयं इस क्षेत्र में आवेदन नहीं किया, उनकी रुचि खगोलीय अनुप्रयोग के साथ घूर्णनशील द्रव द्रव्यमान की स्थिरता में थी। उनके पास कोई डॉक्टरेट छात्र नहीं थे जो स्थिरता के क्षेत्र में अनुसंधान का अनुसरण करते थे और 1918 में उनकी आत्महत्या के कारण उनका अपना भाग्य बहुत दुखद था। {{Citation needed|reason=Cannot find a source. A different Lyapunov (Sergei Lyapunov) is affected by the Russian Revolution and could be a confusion here.|date=June 2019}}. कई दशकों तक स्थिरता का सिद्धांत पूरी तरह से गुमनामी में डूब गया। 1930 के दशक में कज़ान एविएशन इंस्टीट्यूट में काम करने वाले रूसी-सोवियत गणितज्ञ और मैकेनिक निकोले गुरयेविच चेतेव पहले व्यक्ति थे जिन्होंने ए.एम. ल्यपुनोव द्वारा की गई खोज की अविश्वसनीय परिमाण को महसूस किया था। सिद्धांत में योगदान एन.जी.चेतेव द्वारा किया गया<ref>Chetaev, N. G. On stable trajectories of dynamics, Kazan Univ Sci Notes, vol.4 no.1 1936; The Stability of Motion, Originally published in Russian in 1946 by ОГИЗ. Гос. изд-во технико-теорет. лит., Москва-Ленинград.Translated by Morton Nadler, Oxford, 1961, 200 pages.</ref> इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं।
लायपुनोव स्थिरता का नाम रूसी गणितज्ञ [[अलेक्जेंडर मिखाइलोविच ल्यपुनोव|अलेक्सांद्र मिखाइलोविच ल्यपुनोव]] के नाम पर रखा गया है, जिन्होंने 1892 में खार्कोव विश्वविद्यालय में गति की स्थिरता की सामान्य समस्या थीसिस का बचाव किया था।<ref name=lyapunov>[[Aleksandr Lyapunov|Lyapunov, A. M.]] ''The General Problem of the Stability of Motion'' (In Russian), Doctoral dissertation, Univ. Kharkov 1892 English translations: (1) ''Stability of Motion'', Academic Press, New-York & London, 1966 (2) ''The General Problem of the Stability of Motion'', (A. T. Fuller trans.) Taylor & Francis, London 1992. Included is a biography by Smirnov and an extensive bibliography of Lyapunov's work.</ref> ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके अरेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए वैश्विक दृष्टिकोण विकसित करने के सफल प्रयासों में अग्रणी थे। उनका कार्य, जो प्रारंभ में रूसी में प्रकाशित हुआ और फिर फ्रेंच में अनुवादित हुआ, कई वर्षों तक अधिक कम ध्यान दिया गया। ए.एम. लायपुनोव द्वारा स्थापित गति की स्थिरता के गणितीय सिद्धांत ने विज्ञान और प्रौद्योगिकी में इसके कार्यान्वयन के लिए अधिक समय का अनुमान लगाया था। इसके अतिरिक्त लायपुनोव ने स्वयं इस क्षेत्र में आवेदन नहीं किया, उनकी रुचि खगोलीय अनुप्रयोग के साथ घूर्णनशील द्रव द्रव्यमान की स्थिरता में थी। उनके पास कोई डॉक्टरेट छात्र नहीं थे जो स्थिरता के क्षेत्र में अनुसंधान का अनुसरण करते थे और 1918 में उनकी आत्महत्या के कारण उनका अपना भाग्य अधिक दुखद था। कई दशकों तक स्थिरता का सिद्धांत पूर्ण रूप से अप्रसिद्ध हो गया। 1930 के दशक में कज़ान एविएशन इंस्टीट्यूट में कार्य करने वाले रूसी-सोवियत गणितज्ञ और मैकेनिक निकोले गुरयेविच चेतेव प्रथम व्यक्ति थे जिन्होंने ए.एम. ल्यपुनोव द्वारा किये गए परिक्षण की अविश्वसनीय परिमाण को अनुभव किया था। सिद्धांत में योगदान एन.जी.चेतेव द्वारा किया गया<ref>Chetaev, N. G. On stable trajectories of dynamics, Kazan Univ Sci Notes, vol.4 no.1 1936; The Stability of Motion, Originally published in Russian in 1946 by ОГИЗ. Гос. изд-во технико-теорет. лит., Москва-Ленинград.Translated by Morton Nadler, Oxford, 1961, 200 pages.</ref> इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं।


शीत युद्ध (1953-62) की अवधि के दौरान इसमें रुचि अचानक बढ़ गई जब ल्यपुनोव की तथाकथित दूसरी विधि (नीचे देखें) को एयरोस्पेस मार्गदर्शन प्रणालियों की स्थिरता के लिए लागू पाया गया, जिसमें आम तौर पर मजबूत गैर-रैखिकताएं होती हैं जो अन्य तरीकों से इलाज योग्य नहीं होती हैं। नियंत्रण और सिस्टम साहित्य में तब और उसके बाद से बड़ी संख्या में प्रकाशन सामने आए।<ref name=letov>{{cite book |last=Letov |first=A. M. |title=Устойчивость нелинейных регулируемых систем |trans-title=Stability of Nonlinear Control Systems |language=ru |location=Moscow |year=1955 |publisher=Gostekhizdat }} English tr. Princeton 1961</ref><ref name=rudolf1960>{{cite journal |author-link=Rudolf E. Kálmán |last1=Kalman |first1=R. E. |last2=Bertram |first2=J. F |title= Control System Analysis and Design Via the "Second Method" of Lyapunov: I—Continuous-Time Systems|journal= Journal of Basic Engineering|volume= 82|issue=2 |year=1960 |pages=371–393 |doi=10.1115/1.3662604 }}</ref><ref name=lasalle>{{cite book |last1=LaSalle |first1=J. P.|author1-link=Joseph P. LaSalle |author2-link=Solomon Lefschetz |last2=Lefschetz |first2=S. |title=अनुप्रयोगों के साथ लायपुनोव की दूसरी विधि द्वारा स्थिरता|location=New York |year=1961 |publisher=Academic Press }}</ref><ref name=parks1962>{{cite journal |last=Parks |first=P. C. |title=स्वचालित नियंत्रण सिद्धांत में लियापुनोव की विधि|journal=Control |volume=I Nov 1962 II Dec 1962 |year=1962 }}</ref><ref name=rudolf1963>{{cite journal |last=Kalman |first=R. E. |title=लायपुनोव स्वचालित नियंत्रण में ल्यूर की समस्या के लिए कार्य करता है|journal=[[Proceedings of the National Academy of Sciences of the United States of America|Proc Natl Acad Sci USA]] |year=1963 |volume=49 |issue=2 |pages=201–205 |doi= 10.1073/pnas.49.2.201|pmc=299777 |pmid=16591048|bibcode=1963PNAS...49..201K |doi-access=free }}</ref>
शीत युद्ध (1953-62) की अवधि के समय इसमें रुचि अचानक बढ़ गई जब ल्यपुनोव की तथाकथित दूसरी विधि (नीचे देखें) को एयरोस्पेस मार्गदर्शन प्रणालियों की स्थिरता के लिए प्रारम्भ पाया गया, जिसमें सामान्यतः स्थिरता अरैखिकताएं होती हैं जो अन्य विधियों से योग्य नहीं होता हैं। नियंत्रण और प्रणाली साहित्य में तब और उसके पश्चात से बड़ी संख्या में प्रकाशन सामने आए।<ref name=letov>{{cite book |last=Letov |first=A. M. |title=Устойчивость нелинейных регулируемых систем |trans-title=Stability of Nonlinear Control Systems |language=ru |location=Moscow |year=1955 |publisher=Gostekhizdat }} English tr. Princeton 1961</ref><ref name=rudolf1960>{{cite journal |author-link=Rudolf E. Kálmán |last1=Kalman |first1=R. E. |last2=Bertram |first2=J. F |title= Control System Analysis and Design Via the "Second Method" of Lyapunov: I—Continuous-Time Systems|journal= Journal of Basic Engineering|volume= 82|issue=2 |year=1960 |pages=371–393 |doi=10.1115/1.3662604 }}</ref><ref name=lasalle>{{cite book |last1=LaSalle |first1=J. P.|author1-link=Joseph P. LaSalle |author2-link=Solomon Lefschetz |last2=Lefschetz |first2=S. |title=अनुप्रयोगों के साथ लायपुनोव की दूसरी विधि द्वारा स्थिरता|location=New York |year=1961 |publisher=Academic Press }}</ref><ref name=parks1962>{{cite journal |last=Parks |first=P. C. |title=स्वचालित नियंत्रण सिद्धांत में लियापुनोव की विधि|journal=Control |volume=I Nov 1962 II Dec 1962 |year=1962 }}</ref><ref name=rudolf1963>{{cite journal |last=Kalman |first=R. E. |title=लायपुनोव स्वचालित नियंत्रण में ल्यूर की समस्या के लिए कार्य करता है|journal=[[Proceedings of the National Academy of Sciences of the United States of America|Proc Natl Acad Sci USA]] |year=1963 |volume=49 |issue=2 |pages=201–205 |doi= 10.1073/pnas.49.2.201|pmc=299777 |pmid=16591048|bibcode=1963PNAS...49..201K |doi-access=free }}</ref>वर्तमान में ल्यपुनोव प्रतिपादक की अवधारणा (स्थिरता पर चर्चा करने की ल्यपुनोव की प्रथम विधि से संबंधित) को [[अराजकता सिद्धांत]] के संबंध में व्यापक रुचि मिली है। ट्रैफ़िक असाइनमेंट समस्याओं में संतुलन समाधान परिक्षण करने के लिए ल्यपुनोव स्थिरता विधियों को भी प्रारम्भ किया गया है।<ref name=smith>{{cite journal |last1=Smith |first1=M. J. |last2=Wisten |first2=M. B. |title=एक सतत दैनिक ट्रैफ़िक असाइनमेंट मॉडल और एक सतत गतिशील उपयोगकर्ता संतुलन का अस्तित्व|journal=Annals of Operations Research |volume=60 |issue=1 |pages=59–79 |year=1995 |doi=10.1007/BF02031940 |s2cid=14034490 }}</ref>
हाल ही में ल्यपुनोव प्रतिपादक की अवधारणा (स्थिरता पर चर्चा करने की ल्यपुनोव की पहली विधि से संबंधित) को [[अराजकता सिद्धांत]] के संबंध में व्यापक रुचि मिली है। ट्रैफ़िक असाइनमेंट समस्याओं में संतुलन समाधान खोजने के लिए ल्यपुनोव स्थिरता विधियों को भी लागू किया गया है।<ref name=smith>{{cite journal |last1=Smith |first1=M. J. |last2=Wisten |first2=M. B. |title=एक सतत दैनिक ट्रैफ़िक असाइनमेंट मॉडल और एक सतत गतिशील उपयोगकर्ता संतुलन का अस्तित्व|journal=Annals of Operations Research |volume=60 |issue=1 |pages=59–79 |year=1995 |doi=10.1007/BF02031940 |s2cid=14034490 }}</ref>


== निरंतर-समय प्रणालियों के लिए परिभाषा ==
== निरंतर-समय प्रणालियों के लिए परिभाषा ==
[[स्वायत्त प्रणाली (गणित)]] अरेखीय गतिशील प्रणाली पर विचार करें
[[स्वायत्त प्रणाली (गणित)]] अरेखीय गतिशील प्रणाली पर विचार किया जाता है:


:<math>\dot{x} = f(x(t)), \;\;\;\; x(0) = x_0</math>,
:<math>\dot{x} = f(x(t)), \;\;\;\; x(0) = x_0</math>,


कहाँ <math>x(t) \in \mathcal{D} \subseteq \mathbb{R}^n</math> [[राज्य अंतरिक्ष प्रतिनिधित्व]] को दर्शाता है, <math>\mathcal{D}</math> खुला सेट जिसमें मूल शामिल है, और <math>f: \mathcal{D} \rightarrow \mathbb{R}^n</math> पर  सतत सदिश क्षेत्र है <math>\mathcal{D}</math>. कल्पना करना <math>f</math> पर संतुलन है <math>x_e</math> ताकि <math> f(x_e)=0 </math> तब
जहाँ <math>x(t) \in \mathcal{D} \subseteq \mathbb{R}^n</math> [[राज्य अंतरिक्ष प्रतिनिधित्व|प्रणाली स्थिति वेक्टर]] को दर्शाता है, <math>\mathcal{D}</math> संवृत समुच्चय जिसमें मूल सम्मिलित है, और <math>f: \mathcal{D} \rightarrow \mathbb{R}^n</math> सतत सदिश क्षेत्र है <math>\mathcal{D}</math> द्वारा कल्पना की जा सकती है <math>f</math> पर संतुलन <math>x_e</math> है जिससे <math> f(x_e)=0 </math> तब


# इस संतुलन को ल्यपुनोव स्थिर कहा जाता है, यदि, प्रत्येक के लिए <math>\epsilon > 0</math>, वहाँ  मौजूद है <math>\delta > 0</math> ऐसा कि, यदि <math>\|x(0)-x_e\| < \delta</math>, फिर प्रत्येक के लिए <math>t \geq 0</math> अपने पास <math>\|x(t)-x_e\| < \epsilon</math>.
# इस संतुलन को ल्यपुनोव स्थिर कहा जाता है, यदि, प्रत्येक के लिए <math>\epsilon > 0</math> उपस्तिथ है <math>\delta > 0</math> ऐसा कि, यदि <math>\|x(0)-x_e\| < \delta</math>, फिर प्रत्येक के लिए <math>t \geq 0</math> अपने पास <math>\|x(t)-x_e\| < \epsilon</math> है।
# उपरोक्त प्रणाली का संतुलन स्पर्शोन्मुख रूप से स्थिर कहा जाता है यदि यह ल्यपुनोव स्थिर है और मौजूद है <math>\delta > 0</math> ऐसे कि अगर <math>\|x(0)-x_e \|< \delta</math>, तब <math>\lim_{t \rightarrow \infty} \|x(t)-x_e\| = 0</math>.
# उपरोक्त प्रणाली का संतुलन स्पर्शोन्मुख रूप से स्थिर कहा जाता है यदि यह ल्यपुनोव स्थिर है और <math>\delta > 0</math> उपस्तिथ है ऐसे कि यदि <math>\|x(0)-x_e \|< \delta</math>, तब <math>\lim_{t \rightarrow \infty} \|x(t)-x_e\| = 0</math> है।
# उपरोक्त प्रणाली के संतुलन को चरघातांकीय रूप से स्थिर कहा जाता है यदि यह स्पर्शोन्मुख रूप से स्थिर है और मौजूद है <math>\alpha >0, \beta >0, \delta >0</math> ऐसे कि अगर <math>\|x(0)-x_e\| < \delta</math>, तब <math>\|x(t)-x_e\| \leq \alpha\|x(0)-x_e\|e^{-\beta t}</math>, सभी के लिए <math>t \geq 0</math>.
# उपरोक्त प्रणाली के संतुलन को चरघातांकीय रूप से स्थिर कहा जाता है यदि यह स्पर्शोन्मुख रूप से स्थिर है और <math>\alpha >0, \beta >0, \delta >0</math> उपस्तिथ है  ऐसे कि यदि <math>\|x(0)-x_e\| < \delta</math>, तब <math>\|x(t)-x_e\| \leq \alpha\|x(0)-x_e\|e^{-\beta t}</math>, सभी के लिए <math>t \geq 0</math> है।


वैचारिक रूप से, उपरोक्त शब्दों के अर्थ निम्नलिखित हैं:
वैचारिक रूप से, उपरोक्त शब्दों के अर्थ निम्नलिखित हैं:
# ल्यपुनोव संतुलन की स्थिरता का मतलब है कि समाधान संतुलन के काफी करीब (दूरी के भीतर) शुरू होते हैं <math>\delta</math> इससे) हमेशा के लिए काफी करीब (दूरी के भीतर) बने रहते हैं <math>\epsilon</math> यह से)। ध्यान दें कि यह किसी के लिए भी सत्य होना चाहिए <math>\epsilon</math> जिसे कोई चुनना चाहेगा।
# संतुलन की लायपुनोव स्थिरता का अर्थ है कि समाधान संतुलन के अधिक निकट (दूरी के भीतर) प्रारंभ होते हैं <math>\delta</math> इससे) सदैव के लिए अधिक निकट (दूरी के भीतर) बने रहते हैं <math>\epsilon</math> यह से)। ध्यान दें कि यह किसी के लिए भी सत्य होना चाहिए <math>\epsilon</math> जिसे किसी का चयन किया जायेंगा।
# एसिम्प्टोटिक स्थिरता का मतलब है कि जो समाधान काफी करीब से शुरू होते हैं वे न केवल काफी करीब रहते हैं बल्कि अंततः संतुलन में आ जाते हैं।
# एसिम्प्टोटिक स्थिरता का अर्थ है कि जो समाधान अधिक निकट से प्रारंभ होते हैं वे न केवल अधिक निकट रहते हैं अन्यथा अंततः संतुलन में आ जाते हैं।
# घातीय स्थिरता का अर्थ है कि समाधान न केवल अभिसरित होते हैं, बल्कि वास्तव में विशेष ज्ञात दर से अधिक या कम से कम उतनी ही तेजी से अभिसरण होते हैं <math>\alpha\|x(0)-x_e\|e^{-\beta t}</math>.
# घातीय स्थिरता का अर्थ है कि समाधान न केवल अभिसरित होते हैं, अन्यथा वास्तव में विशेष ज्ञात दर से अधिक या कम से कम उतनी ही तीव्रता से <math>\alpha\|x(0)-x_e\|e^{-\beta t}</math> अभिसरण होते हैं।


प्रक्षेप पथ<math>x(t) = \phi(t)</math>(स्थानीय रूप से) आकर्षक है यदि
प्रक्षेप पथ <math>x(t) = \phi(t)</math> (स्थानीय रूप से) आकर्षक है यदि


:<math>\|x(t)-\phi(t)\| \rightarrow 0 </math> जैसा  <math> t \rightarrow \infty</math>
:<math>\|x(t)-\phi(t)\| \rightarrow 0 </math> जैसा  <math> t \rightarrow \infty</math>
सभी प्रक्षेप पथों के लिए <math>x(t) </math> वह काफी करीब से शुरू होता है <math>\phi(t) </math>, और विश्व स्तर पर आकर्षक है यदि यह संपत्ति सभी प्रक्षेप पथों के लिए है।
सभी प्रक्षेप पथों के लिए <math>x(t) </math> जो अधिक निकट से प्रारंभ होता है <math>\phi(t) </math>, और विश्व स्तर पर आकर्षक यदि यह गुण सभी प्रक्षेप पथों के लिए उपयुक्त है।


अर्थात्, यदि x इसके [[स्थिर अनेक गुना]] के आंतरिक भाग से संबंधित है, तो यह आकर्षक और स्थिर होने पर स्पर्शोन्मुख रूप से स्थिर है। (ऐसे उदाहरण हैं जो दिखाते हैं कि आकर्षण का अर्थ स्पर्शोन्मुख स्थिरता नहीं है।<ref>{{cite book |last1=Hahn |first1=Wolfgang |author1-link=Wolfgang Hahn |title=गति की स्थिरता|date=1967 |publisher=Springer |isbn=978-3-642-50087-9 |pages=191–194, Section 40 |doi=10.1007/978-3-642-50085-5 |url=https://doi.org/10.1007/978-3-642-50085-5}}</ref><ref>{{cite book |last1=Braun |first1=Philipp |last2=Grune |first2=Lars |last3=Kellett |first3=Christopher M. |title=(In-)Stability of Differential Inclusions: Notions, Equivalences, and Lyapunov-like Characterizations |date=2021 |publisher=Springer |isbn=978-3-030-76316-9 |pages=19–20, Example 2.18 |doi=10.1007/978-3-030-76317-6 |s2cid=237964551 |url=https://doi.org/10.1007/978-3-030-76317-6}}</ref><ref>{{cite journal |last1=Vinograd |first1=R. E. |title=अरैखिक अवकल समीकरणों के अध्ययन के लिए चारित्रिक घातांकों की विधि की अपर्याप्तता|journal=Doklady Akademii Nauk |date=1957 |volume=114 |issue=2 |pages=239–240 |url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=21930&option_lang=eng |language=Russian}}</ref> [[होमोक्लिनिक कक्षा]] का उपयोग करके ऐसे उदाहरण बनाना आसान है।)
अर्थात्, यदि x इसके [[स्थिर अनेक गुना|स्थिर मैनिफोल्ड]] के आंतरिक भाग से संबंधित है, तो यह आकर्षक और स्थिर होने पर स्पर्शोन्मुख रूप से स्थिर है। (ऐसे उदाहरण हैं जो दिखाते हैं कि आकर्षण का अर्थ स्पर्शोन्मुख स्थिरता नहीं है।<ref>{{cite book |last1=Hahn |first1=Wolfgang |author1-link=Wolfgang Hahn |title=गति की स्थिरता|date=1967 |publisher=Springer |isbn=978-3-642-50087-9 |pages=191–194, Section 40 |doi=10.1007/978-3-642-50085-5 |url=https://doi.org/10.1007/978-3-642-50085-5}}</ref><ref>{{cite book |last1=Braun |first1=Philipp |last2=Grune |first2=Lars |last3=Kellett |first3=Christopher M. |title=(In-)Stability of Differential Inclusions: Notions, Equivalences, and Lyapunov-like Characterizations |date=2021 |publisher=Springer |isbn=978-3-030-76316-9 |pages=19–20, Example 2.18 |doi=10.1007/978-3-030-76317-6 |s2cid=237964551 |url=https://doi.org/10.1007/978-3-030-76317-6}}</ref><ref>{{cite journal |last1=Vinograd |first1=R. E. |title=अरैखिक अवकल समीकरणों के अध्ययन के लिए चारित्रिक घातांकों की विधि की अपर्याप्तता|journal=Doklady Akademii Nauk |date=1957 |volume=114 |issue=2 |pages=239–240 |url=http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dan&paperid=21930&option_lang=eng |language=Russian}}</ref> [[होमोक्लिनिक कक्षा]] का उपयोग करके ऐसे उदाहरण बनाना सरल है।)


यदि जेकोबियन मैट्रिक्स और संतुलन पर गतिशील प्रणाली का निर्धारक हर्विट्ज़ मैट्रिक्स#हर्विट्ज़ स्थिर मैट्रिक्स होता है (यानी, यदि प्रत्येक आइगेनवैल्यू का वास्तविक हिस्सा सख्ती से नकारात्मक है), तो संतुलन असम्बद्ध रूप से स्थिर है।
यदि संतुलन पर गतिशील प्रणाली का जैकोबियन स्थिरता आव्यूह होता है (अर्थात, यदि प्रत्येक आइगेनवैल्यू का वास्तविक भाग समिष्ट से ऋणात्मक है), तो संतुलन असम्बद्ध रूप से स्थिर है।


===विचलन की प्रणाली===
===विचलन की प्रणाली===
केवल संतुलन बिंदु ( स्थिर समाधान) के निकट स्थिरता पर विचार करने के बजाय <math>x(t)=x_e</math>), कोई मनमाना समाधान के निकट स्थिरता की समान परिभाषाएँ तैयार कर सकता है <math>x(t) = \phi(t)</math>. हालाँकि, कोई अधिक सामान्य स्थिति को चरों में परिवर्तन द्वारा संतुलन की स्थिति तक कम कर सकता है जिसे विचलन प्रणाली कहा जाता है। परिभाषित करना <math>y = x - \phi(t)</math>, अंतर समीकरण का पालन करना:
केवल संतुलन बिंदु (स्थिर समाधान) के निकट स्थिरता पर विचार करने के अतिरिक्त <math>x(t)=x_e</math>), समाधान के निकट स्थिरता की समान परिभाषाएँ <math>x(t) = \phi(t)</math> तैयार कर सकता है चूँकि, कोई अधिक सामान्य स्थिति को चरों में परिवर्तन द्वारा संतुलन की स्थिति तक कम कर सकता है जिसे विचलन प्रणाली कहा जाता है। <math>y = x - \phi(t)</math> द्वारा परिभाषित किया जाता है, अंतर समीकरण का पालन करना:


:<math>\dot{y} = f(t, y + \phi(t)) - \dot{\phi}(t) = g(t, y)</math>.
:<math>\dot{y} = f(t, y + \phi(t)) - \dot{\phi}(t) = g(t, y)</math>.


यह अब स्वायत्त प्रणाली नहीं है, लेकिन इसमें गारंटीशुदा संतुलन बिंदु है <math>y=0</math> जिसकी स्थिरता मूल समाधान की स्थिरता के बराबर है <math>x(t) = \phi(t)</math>.
यह अब स्वायत्त प्रणाली नहीं है, किन्तु इसमें आश्वासन संतुलन बिंदु <math>y=0</math> है जिसकी स्थिरता मूल समाधान की स्थिरता के समान <math>x(t) = \phi(t)</math> है।


===लायपुनोव की स्थिरता के लिए दूसरी विधि===
===लायपुनोव की स्थिरता के लिए दूसरी विधि===
लायपुनोव ने अपने मूल 1892 के काम में, दो [[अभिसरण प्रमाण तकनीक]]ों का प्रस्ताव रखा।<ref name=lyapunov/>पहली विधि ने श्रृंखला में समाधान विकसित किया जो तब सीमाओं के भीतर अभिसरण साबित हुआ। दूसरी विधि, जिसे अब ल्यपुनोव स्थिरता मानदंड या प्रत्यक्ष विधि के रूप में जाना जाता है, ल्यपुनोव फ़ंक्शन वी (्स) का उपयोग करती है जिसमें शास्त्रीय गतिशीलता के संभावित फ़ंक्शन का सादृश्य होता है। इसे सिस्टम के लिए निम्नानुसार प्रस्तुत किया गया है <math> \dot{x} = f(x)</math> संतुलन का  बिंदु होना <math>x=0</math>. फ़ंक्शन पर विचार करें <math>V : \mathbb{R}^n \rightarrow \mathbb{R} </math> ऐसा है कि
लायपुनोव ने अपने मूल 1892 के कार्य में स्थिरता प्रदर्शित करने के लिए [[अभिसरण प्रमाण तकनीक|दो विधियों]] को प्रस्तावित किया।<ref name=lyapunov/>प्रथम विधि ने श्रृंखला में समाधान विकसित किया जो तब सीमाओं के भीतर अभिसरण सिद्ध हुआ। दूसरी विधि, जिसे अब ल्यपुनोव स्थिरता पैरामीटर या प्रत्यक्ष विधि के रूप में जाना जाता है, ल्यपुनोव फलन ''V(x)'' का उपयोग करती है जिसमें शास्त्रीय गतिशीलता के संभावित फलन का सादृश्य होता है। इसे प्रणाली के लिए निम्नानुसार प्रस्तुत किया गया है संतुलन का बिंदु <math> \dot{x} = f(x)</math> होना। <math>x=0</math>  फलन पर विचार किया जाता है <math>V : \mathbb{R}^n \rightarrow \mathbb{R} </math> ऐसा है कि
* <math>V(x)=0</math> अगर और केवल अगर <math>x=0</math>
* <math>V(x)=0</math> यदि केवल <math>x=0</math>
* <math>V(x)>0</math> अगर और केवल अगर <math>x \ne 0</math>
* <math>V(x)>0</math> यदि केवल <math>x \ne 0</math>
* <math> \dot{V}(x) = \frac{d}{dt}V(x) = \sum_{i=1}^n\frac{\partial V}{\partial x_i}f_i(x) = \nabla V \cdot f(x) \le 0</math> के सभी मूल्यों के लिए <math>x\ne 0</math> . नोट: स्पर्शोन्मुख स्थिरता के लिए, <math> \dot{V}(x)<0 </math> के लिए <math>x \ne 0</math> आवश्यक है।
* <math> \dot{V}(x) = \frac{d}{dt}V(x) = \sum_{i=1}^n\frac{\partial V}{\partial x_i}f_i(x) = \nabla V \cdot f(x) \le 0</math> के सभी मानों के लिए <math>x\ne 0</math> होता है नोट: स्पर्शोन्मुख स्थिरता के लिए, <math> \dot{V}(x)<0 </math> के लिए <math>x \ne 0</math> आवश्यक है।
तब V(x) को [[ल्यपुनोव समारोह]] कहा जाता है और सिस्टम ल्यपुनोव के अर्थ में स्थिर है। (ध्यान दें कि <math>V(0)=0</math> आवश्यक है; अन्यथा उदाहरण के लिए <math>V(x) = 1/(1+|x|)</math> यह साबित कर देंगे <math>\dot x(t) = x</math> स्थानीय रूप से स्थिर है।) वैश्विक स्थिरता का निष्कर्ष निकालने के लिए उचितता या रेडियल अनबाउंडनेस नामक अतिरिक्त स्थिति की आवश्यकता होती है। वैश्विक स्पर्शोन्मुख स्थिरता (जीएएस) भी इसी प्रकार चलती है।
तब V(x) को [[ल्यपुनोव समारोह|ल्यपुनोव फलन]] कहा जाता है और प्रणाली ल्यपुनोव के अर्थ में स्थिर है। (ध्यान दें कि <math>V(0)=0</math> आवश्यक है; अन्यथा उदाहरण के लिए <math>V(x) = 1/(1+|x|)</math> यह सिद्ध किया जाता है कि <math>\dot x(t) = x</math> स्थानीय रूप से स्थिर है।) वैश्विक स्थिरता का निष्कर्ष निकालने के लिए उचितता या रेडियल अनबाउंडनेस नामक अतिरिक्त स्थिति की आवश्यकता होती है। वैश्विक स्पर्शोन्मुख स्थिरता (जीएएस) भी इसी प्रकार चलती है।


भौतिक प्रणाली (जैसे कंपन वसंत और द्रव्यमान) के बारे में सोचकर और ऐसी प्रणाली की [[ऊर्जा]] पर विचार करके विश्लेषण की इस पद्धति की कल्पना करना आसान है। यदि सिस्टम समय के साथ ऊर्जा खो देता है और ऊर्जा कभी बहाल नहीं होती है तो अंततः सिस्टम को रुकना होगा और कुछ अंतिम विश्राम अवस्था में पहुंचना होगा। इस अंतिम अवस्था को आकर्षणकर्ता कहा जाता है। हालाँकि,  ऐसा फ़ंक्शन ढूंढना जो भौतिक प्रणाली की सटीक ऊर्जा देता है, मुश्किल हो सकता है, और अमूर्त गणितीय प्रणालियों, आर्थिक प्रणालियों या जैविक प्रणालियों के लिए, ऊर्जा की अवधारणा लागू नहीं हो सकती है।
भौतिक प्रणाली (जैसे कंपन वसंत और द्रव्यमान) के बारे में सोचकर और ऐसी प्रणाली की [[ऊर्जा]] पर विचार करके विश्लेषण की इस पद्धति की कल्पना करना सरल है। यदि प्रणाली समय के साथ ऊर्जा लुप्त होती है और ऊर्जा कभी स्थित नहीं होती है तो अंततः प्रणाली को रुकना होगा और कुछ अंतिम विश्राम अवस्था में पहुंचना होगा। इस अंतिम अवस्था को आकर्षणकर्ता कहा जाता है। चूँकि,  ऐसा फलन का शोध करना जो भौतिक प्रणाली की त्रुटिहीन ऊर्जा देता है, कठिन हो सकता है, और अमूर्त गणितीय प्रणालियों, आर्थिक प्रणालियों या जैविक प्रणालियों के लिए, ऊर्जा की अवधारणा प्रारम्भ नहीं हो सकती है।


ल्यपुनोव का एहसास था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता साबित की जा सकती है, बशर्ते उपरोक्त बाधाओं को पूरा करने के लिए ल्यपुनोव फ़ंक्शन पाया जा सके।
ल्यपुनोव का अनुभव था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता सिद्ध की जा सकती है, उपरोक्त बाधाओं को पूर्ण करने के लिए ल्यपुनोव फलन पाया जा सके।


==असतत-समय प्रणालियों के लिए परिभाषा==
==असतत-समय प्रणालियों के लिए परिभाषा==
असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, आमतौर पर अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग करते हुए।
असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, सामान्यतः अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग किया जाता है।


मान लीजिए (X, d) [[मीट्रिक स्थान]] है और f : X → X सतत फलन है। X में बिंदु x को 'ल्यपुनोव स्थिर' कहा जाता है, यदि,
मान लीजिए (X, d) [[मीट्रिक स्थान|मीट्रिक समिष्ट]] है और f: X → X सतत फलन है। X में बिंदु x को 'ल्यपुनोव स्थिर' कहा जाता है, यदि,


:<math>\forall \epsilon>0 \  \exists \delta>0 \  \forall y\in X \ \left [d(x,y)<\delta \Rightarrow \forall n \in \mathbf{N} \  d\left (f^n(x),f^n(y) \right )<\epsilon \right ].</math>
:<math>\forall \epsilon>0 \  \exists \delta>0 \  \forall y\in X \ \left [d(x,y)<\delta \Rightarrow \forall n \in \mathbf{N} \  d\left (f^n(x),f^n(y) \right )<\epsilon \right ].</math>
Line 63: Line 62:
:<math> \exists \delta>0 \left [ d(x,y)<\delta \Rightarrow \lim_{n\to\infty} d \left(f^n(x),f^n(y) \right)=0\right ].</math>
:<math> \exists \delta>0 \left [ d(x,y)<\delta \Rightarrow \lim_{n\to\infty} d \left(f^n(x),f^n(y) \right)=0\right ].</math>


== रैखिक राज्य अंतरिक्ष मॉडल के लिए स्थिरता ==
== रैखिक स्तिथि समिष्ट मॉडल के लिए स्थिरता ==
रैखिक [[राज्य स्थान (नियंत्रण)]] मॉडल
रैखिक [[राज्य स्थान (नियंत्रण)|स्तिथि समिष्ट (नियंत्रण)]] मॉडल


:<math>\dot{\textbf{x}} = A\textbf{x}</math>,
:<math>\dot{\textbf{x}} = A\textbf{x}</math>,


कहाँ <math> A</math> परिमित मैट्रिक्स है, स्पर्शोन्मुख रूप से स्थिर है (वास्तव में, घातीय स्थिरता) यदि [[eigenvalue]]s ​​​​के सभी वास्तविक भाग <math> A</math> नकारात्मक हैं. यह शर्त निम्नलिखित के बराबर है:<ref>{{cite journal |last1=Goh |first1=B. S. |title=अनेक-प्रजाति प्रणालियों में वैश्विक स्थिरता|journal=The American Naturalist |date=1977 |volume=111 |issue=977 |pages=135–143 |doi=10.1086/283144 |s2cid=84826590 }}</ref>
जहाँ <math> A</math> परिमित आव्यूह है, स्पर्शोन्मुख रूप से स्थिर है (वास्तव में, घातीय स्थिरता) यदि सभी वास्तविक भाग [[eigenvalue|आइजन वैल्यू]] <math> A</math> के ऋणात्मक हैं, यह स्थिति निम्नलिखित के समान है:<ref>{{cite journal |last1=Goh |first1=B. S. |title=अनेक-प्रजाति प्रणालियों में वैश्विक स्थिरता|journal=The American Naturalist |date=1977 |volume=111 |issue=977 |pages=135–143 |doi=10.1086/283144 |s2cid=84826590 }}</ref>
:<math>A^\textsf{T}M + MA</math>
:<math>A^\textsf{T}M + MA</math>
कुछ [[सकारात्मक-निश्चित मैट्रिक्स]] मैट्रिक्स के लिए नकारात्मक निश्चित है <math>M = M^\textsf{T}</math>. (प्रासंगिक ल्यपुनोव फ़ंक्शन है <math>V(x) = x^\textsf{T}Mx</math>.)
कुछ [[सकारात्मक-निश्चित मैट्रिक्स|धनात्मक-निश्चित आव्यूह]] के लिए ऋणात्मक निश्चित <math>M = M^\textsf{T}</math>है (प्रासंगिक ल्यपुनोव फलन <math>V(x) = x^\textsf{T}Mx</math> है)


तदनुसार, समय-असतत रैखिक राज्य स्थान (नियंत्रण) मॉडल
तदनुसार, समय-असतत रैखिक स्तिथि समिष्ट (नियंत्रण) मॉडल


:<math>\textbf{x}_{t+1} = A\textbf{x}_t</math>
:<math>\textbf{x}_{t+1} = A\textbf{x}_t</math>
यदि सभी eigenvalues ​​स्पर्शोन्मुख रूप से स्थिर हैं (वास्तव में, चरघातांकीय रूप से स्थिर)। <math> A</math> निरपेक्ष मान से छोटा होता है।
यदि सभी आइजन वैल्यू ​​स्पर्शोन्मुख रूप से स्थिर हैं (वास्तव में, चरघातांकीय रूप से स्थिर)। <math> A</math> निरपेक्ष मान से छोटा होता है।


इस बाद की स्थिति को स्विच्ड सिस्टम के लिए सामान्यीकृत किया गया है: रैखिक स्विच्ड असतत समय प्रणाली (मैट्रिसेस के सेट द्वारा शासित) <math>\{A_1, \dots, A_m\}</math>)
इस पश्चात की स्थिति को स्विच्ड प्रणाली के लिए सामान्यीकृत किया गया है: रैखिक स्विच्ड असतत समय प्रणाली (आव्यूह के समुच्चय द्वारा शासित) <math>\{A_1, \dots, A_m\}</math>) है।


:<math>{\textbf{x}_{t+1}} = A_{i_t}\textbf{x}_t,\quad A_{i_t} \in \{A_1, \dots, A_m\}</math>
:<math>{\textbf{x}_{t+1}} = A_{i_t}\textbf{x}_t,\quad A_{i_t} \in \{A_1, \dots, A_m\}</math>
यदि सेट का [[संयुक्त वर्णक्रमीय त्रिज्या]] असममित रूप से स्थिर है (वास्तव में, घातीय रूप से स्थिर) <math>\{A_1, \dots, A_m\}</math> से छोटा है.
यदि समुच्चय का [[संयुक्त वर्णक्रमीय त्रिज्या]] असममित रूप से स्थिर है (वास्तव में, घातीय रूप से स्थिर) <math>\{A_1, \dots, A_m\}</math> से छोटा है।


==इनपुट वाले सिस्टम के लिए स्थिरता==
==इनपुट वाले प्रणाली के लिए स्थिरता==


इनपुट (या नियंत्रण) वाले सिस्टम का स्वरूप होता है
इनपुट (या नियंत्रण) वाले प्रणाली का स्वरूप होता है:


:<math>\dot{\textbf{x}} = \textbf{f}(\textbf{x}, \textbf{u})</math>
:<math>\dot{\textbf{x}} = \textbf{f}(\textbf{x}, \textbf{u})</math>
जहां (आम तौर पर समय-निर्भर) इनपुट यू(टी) को नियंत्रण, बाहरी इनपुट के रूप में देखा जा सकता है,
जहां (सामान्यतः समय-निर्भर) इनपुट u(t) को नियंत्रण, बाहरी इनपुट, उत्तेजना, डिस्टर्बेंस, या फोर्सिंग फलन के रूप में देखा जा सकता है। यह दिखाया गया है <ref>Malkin I.G. Theory of Stability of Motion, Moscow 1952 (Gostekhizdat) Chap II para 4 (Russian) Engl. transl, Language Service Bureau, Washingotn AEC -tr-3352; originally On stability under constantly acting disturbances Prikl Mat 1944, vol. 8 no.3 241-245 (Russian); Amer. Math. Soc. transl. no. 8</ref> कि संतुलन के बिंदु के निकट जो ल्यपुनोव स्थिर है, प्रणाली छोटे डिस्टर्बेंस के अंतर्गत स्थिर रहता है। बड़ी इनपुट डिस्टर्बेंस के लिए ऐसी प्रणालियों का अध्ययन [[नियंत्रण सिद्धांत]] का विषय है और [[नियंत्रण इंजीनियरिंग]] में प्रारम्भ किया जाता है। इनपुट वाले प्रणाली के लिए, प्रणाली की स्थिरता पर इनपुट के प्रभाव की मात्रा निर्धारित करनी चाहिए। इस विश्लेषण के मुख्य दो दृष्टिकोण हैं [[बीआईबीओ स्थिरता]] ([[रैखिक प्रणाली]] के लिए) और इनपुट-टू-स्टेट स्थिरता (आईएसएस) ([[ अरेखीय प्रणाली |अरेखीय प्रणाली]] के लिए) है।
उत्तेजना, अशांति, या जबरदस्ती कार्य। यह दिखाया गया है <ref>Malkin I.G. Theory of Stability of Motion, Moscow 1952 (Gostekhizdat) Chap II para 4 (Russian) Engl. transl, Language Service Bureau, Washingotn AEC -tr-3352; originally On stability under constantly acting disturbances Prikl Mat 1944, vol. 8 no.3 241-245 (Russian); Amer. Math. Soc. transl. no. 8</ref> संतुलन के बिंदु के करीब जो ल्यपुनोव स्थिर है, सिस्टम छोटी गड़बड़ी के तहत स्थिर रहता है। बड़ी इनपुट गड़बड़ी के लिए ऐसी प्रणालियों का अध्ययन [[नियंत्रण सिद्धांत]] का विषय है और [[नियंत्रण इंजीनियरिंग]] में लागू किया जाता है। इनपुट वाले सिस्टम के लिए, सिस्टम की स्थिरता पर इनपुट के प्रभाव की मात्रा निर्धारित करनी चाहिए। इस विश्लेषण के मुख्य दो दृष्टिकोण हैं [[बीआईबीओ स्थिरता]] ([[रैखिक प्रणाली]] के लिए) और इनपुट-टू-स्टेट स्थिरता (आईएसएस) ([[ अरेखीय प्रणाली ]] के लिए)


==उदाहरण==
==उदाहरण==
यह उदाहरण ऐसी प्रणाली दिखाता है जहां ल्यपुनोव फ़ंक्शन का उपयोग ल्यपुनोव स्थिरता को साबित करने के लिए किया जा सकता है लेकिन स्पर्शोन्मुख स्थिरता नहीं दिखा सकता है।
यह उदाहरण ऐसी प्रणाली दिखाता है जहां ल्यपुनोव फलन का उपयोग ल्यपुनोव स्थिरता को सिद्ध करने के लिए किया जा सकता है किन्तु स्पर्शोन्मुख स्थिरता नहीं दिखा सकता है। घर्षण पद में परिवर्तन के साथ [[वैन डेर पोल ऑसिलेटर]] समीकरण के आधार पर निम्नलिखित समीकरण पर विचार किया जाता है:
घर्षण पद में परिवर्तन के साथ [[वैन डेर पोल ऑसिलेटर]] समीकरण के आधार पर निम्नलिखित समीकरण पर विचार करें:


:<math> \ddot{y} + y -\varepsilon \left( \frac{\dot{y}^{3}}{3} - \dot{y}\right) = 0.</math>
:<math> \ddot{y} + y -\varepsilon \left( \frac{\dot{y}^{3}}{3} - \dot{y}\right) = 0.</math>
होने देना
मान लीजिये


:<math> x_{1} = y , x_{2} = \dot{y} </math>
:<math> x_{1} = y , x_{2} = \dot{y} </math>
ताकि संबंधित प्रणाली हो
जिससे संबंधित प्रणाली हो


:<math> \begin{align}
:<math> \begin{align}
Line 105: Line 102:
\end{align}
\end{align}
  </math>
  </math>
मूल <math> x_1= 0,\ x_2=0</math> मात्र संतुलन बिंदु है।
मूल <math> x_1= 0,\ x_2=0</math> मात्र संतुलन बिंदु है। ल्यपुनोव फलन के रूप में चयन किया जाता है:
आइए हम ल्यपुनोव फ़ंक्शन के रूप में चुनें


:<math> V = \frac {1}{2} \left(x_{1}^{2}+x_{2}^{2} \right) </math>
:<math> V = \frac {1}{2} \left(x_{1}^{2}+x_{2}^{2} \right) </math>
जो स्पष्ट रूप से [[सकारात्मक-निश्चित कार्य]] है। इसका व्युत्पत्ति है
जो स्पष्ट रूप से [[सकारात्मक-निश्चित कार्य|धनात्मक-निश्चित फलन]] है। इसकी व्युत्पत्ति है:


:<math>
:<math>
Line 117: Line 113:
=  \varepsilon \frac{x_{2}^4}{3} -\varepsilon {x_{2}^2}.
=  \varepsilon \frac{x_{2}^4}{3} -\varepsilon {x_{2}^2}.
</math>
</math>
ऐसा लगता है कि यदि पैरामीटर <math> \varepsilon </math> सकारात्मक है, स्थिरता के लिए स्पर्शोन्मुख है <math> x_{2}^{2} < 3.</math> लेकिन यह गलत है, क्योंकि <math>  \dot{V} </math> पर निर्भर नहीं है <math>x_1</math>, और हर जगह 0 होगा <math>x_1</math> ्सिस। संतुलन ल्यपुनोव स्थिर है लेकिन स्पर्शोन्मुख रूप से स्थिर नहीं है।
ऐसा लगता है कि यदि पैरामीटर <math> \varepsilon </math> धनात्मक है, स्थिरता के लिए स्पर्शोन्मुख <math> x_{2}^{2} < 3.</math> है किन्तु यह त्रुटिपूर्ण है, क्योंकि <math>  \dot{V} </math> पर <math>x_1</math> निर्भर नहीं है, और सभी समिष्ट 0 है <math>x_1</math>अक्ष संतुलन ल्यपुनोव स्थिर है किन्तु स्पर्शोन्मुख रूप से स्थिर नहीं है।


==बार्बलाट की प्रमेयिका और समय-भिन्न प्रणालियों की स्थिरता==
==बारबालाट की लेम्मा और समय-भिन्न प्रणालियों की स्थिरता ==
मान लें कि f केवल समय का फलन है।
मान लीजिये कि f केवल समय का फलन है।


* रखना <math>\dot{f}(t) \to 0</math> इसका मतलब यह नहीं है <math>f(t)</math> पर सीमा है <math>t\to\infty</math>. उदाहरण के लिए, <math>f(t)=\sin(\ln(t)),\; t>0</math>.
* मान लीजिये <math>\dot{f}(t) \to 0</math> इसका तात्पर्य यह नहीं है <math>f(t)</math> पर सीमा <math>t\to\infty</math> है उदाहरण के लिए, <math>f(t)=\sin(\ln(t)),\; t>0</math> है।
* रखना <math>f(t)</math> सीमा के करीब पहुंच रहा है <math>t \to \infty</math> इसका मतलब यह नहीं है <math>\dot{f}(t) \to 0</math>. उदाहरण के लिए, <math>f(t)=\sin\left(t^2\right)/t,\; t>0</math>.
* मान लीजिये <math>f(t)</math> सीमा के निकट पहुंच रहा है <math>t \to \infty</math> इसका तात्पर्य यह नहीं है <math>\dot{f}(t) \to 0</math> उदाहरण के लिए, <math>f(t)=\sin\left(t^2\right)/t,\; t>0</math> है।
* रखना <math>f(t)</math> निचली सीमा और घटती हुई (<math>\dot{f}\le 0</math>) तात्पर्य यह है कि यह सीमा तक अभिसरण करता है। लेकिन यह नहीं बताता कि है या नहीं <math>\dot{f}\to 0</math> जैसा <math>t \to \infty</math>.
* मान लीजिये <math>f(t)</math> निचली सीमा और घटती हुई (<math>\dot{f}\le 0</math>) तात्पर्य यह है कि यह सीमा तक अभिसरण करता है। किन्तु यह नहीं बताता है या नहीं <math>\dot{f}\to 0</math> जैसा <math>t \to \infty</math> है।


बार्बलाट की [[लेम्मा (गणित)]] कहती है:
बार्बलाट की [[लेम्मा (गणित)]] कहती है:
:अगर <math>f(t)</math> की सीमित सीमा होती है <math>t \to \infty</math> और अगर <math>\dot{f}</math> समान रूप से सतत है (या <math>\ddot{f}</math> घिरा हुआ है), फिर <math>\dot{f}(t) \to 0</math> जैसा <math>t \to\infty</math>.<ref>I. Barbălat, Systèmes d'équations différentielles d'oscillations non Linéaires, Rev. Math. Pures Appl. 4 (1959) 267–270, p. 269.</ref>
:यदि <math>f(t)</math> की सीमित सीमा होती है <math>t \to \infty</math> यदि <math>\dot{f}</math> समान रूप से सतत है (या <math>\ddot{f}</math> घिरा हुआ है), फिर <math>\dot{f}(t) \to 0</math> जैसा <math>t \to\infty</math> है।<ref>I. Barbălat, Systèmes d'équations différentielles d'oscillations non Linéaires, Rev. Math. Pures Appl. 4 (1959) 267–270, p. 269.</ref>
वैकल्पिक संस्करण इस प्रकार है:
वैकल्पिक संस्करण इस प्रकार है:


:होने देना <math>p\in [1,\infty)</math> और <math>q\in (1,\infty]</math>. अगर <math>f \in L^p(0,\infty)</math> और <math>{\dot f}\in L^q(0,\infty)</math>, तब <math>f(t)\to 0</math> जैसा <math>t\to \infty.</math> <ref>B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 827.</ref>
:मान लीजिये <math>p\in [1,\infty)</math> और <math>q\in (1,\infty]</math> यदि <math>f \in L^p(0,\infty)</math> और <math>{\dot f}\in L^q(0,\infty)</math>, तब <math>f(t)\to 0</math> जैसा <math>t\to \infty.</math> है। <ref>B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 827.</ref>
निम्नलिखित रूप में लेम्मा वेक्टर वैल्यू वाले मामले में भी सत्य है:
निम्नलिखित रूप में लेम्मा वेक्टर वैल्यू वाली स्तिथि में भी सत्य है:


:होने देना <math>f(t)</math> बनच स्पेस में मानों के साथ समान रूप से निरंतर फ़ंक्शन बनें <math>E</math> और मान लीजिये <math>\textstyle\int_0^t f(\tau)\mathrm {d}\tau</math> की सीमित सीमा होती है <math>t\to \infty</math>. तब <math>f(t)\to 0</math> जैसा <math>t\to \infty</math>.<ref>B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 826.</ref>
:मान लीजिये <math>f(t)</math> बनच समिष्ट में मानों के साथ समान रूप से निरंतर फलन <math>E</math> है और मान लीजिये <math>\textstyle\int_0^t f(\tau)\mathrm {d}\tau</math> की सीमित सीमा <math>t\to \infty</math> होती है तब <math>f(t)\to 0</math> जैसा <math>t\to \infty</math> है।<ref>B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 826.</ref>
निम्नलिखित उदाहरण स्लोटिन और ली की पुस्तक एप्लाइड नॉनलाइनियर कंट्रोल के पृष्ठ 125 से लिया गया है।
निम्नलिखित उदाहरण स्लोटिन और ली की पुस्तक एप्लाइड नॉनलाइनियर कंट्रोल के पृष्ठ 125 से लिया गया है।


[[गैर-स्वायत्त प्रणाली (गणित)]]|गैर-स्वायत्त प्रणाली पर विचार करें
[[गैर-स्वायत्त प्रणाली (गणित)|अस्वायत्त प्रणाली (गणित)]] पर विचार किया जाता है:
:<math>\dot{e}=-e + g\cdot w(t)</math>
:<math>\dot{e}=-e + g\cdot w(t)</math>
:<math>\dot{g}=-e \cdot w(t).</math>
:<math>\dot{g}=-e \cdot w(t).</math>
यह गैर-स्वायत्त है क्योंकि इनपुट <math>w</math> समय का कार्य है. मान लें कि इनपुट <math>w(t)</math> घिरा है।
यह अस्वायत्त है क्योंकि इनपुट <math>w</math> समय का फलन है मान लीजिये कि इनपुट <math>w(t)</math> घिरा है।


ले रहा <math>V=e^2+g^2</math> देता है <math>\dot{V}=-2e^2 \le 0.</math>
मान लीजिए <math>V=e^2+g^2</math> और <math>\dot{V}=-2e^2 \le 0.</math> प्रदान करता है।
ये तो यही कहता है <math>V(t)\leq V(0)</math> पहली दो शर्तों से और इसलिए <math>e</math> और <math>g</math> बंधे हुए हैं. लेकिन यह के अभिसरण के बारे में कुछ नहीं कहता है <math>e</math> शून्य करने के लिए. इसके अलावा, लासेल के अपरिवर्तनीय सिद्धांत को लागू नहीं किया जा सकता, क्योंकि गतिशीलता गैर-स्वायत्त है।
 
तो यही कहता है कि <math>V(t)\leq V(0)</math> पहले दो नियम से और इसलिए <math>e</math> और <math>g</math> बंधे हुए हैं, किन्तु यह के अभिसरण के बारे में कुछ नहीं कहता है <math>e</math> शून्य करने के लिए इसके अतिरिक्त, लासेल के अपरिवर्तनीय सिद्धांत को प्रारम्भ नहीं किया जा सकता, क्योंकि गतिशीलता अस्वायत्त है।


बार्बलाट की लेम्मा का उपयोग करना:
बार्बलाट की लेम्मा का उपयोग करना:
Line 148: Line 145:
:<math>\ddot{V}= -4e(-e+g\cdot w)</math>.
:<math>\ddot{V}= -4e(-e+g\cdot w)</math>.


यह इसलिए बाध्य है <math>e</math>, <math>g</math> और <math>w</math> बंधे हुए हैं. यह संकेत करता है <math>\dot{V} \to 0</math> जैसा <math>t\to\infty</math> और इसलिए <math>e \to 0</math>. इससे सिद्ध होता है कि त्रुटि मिलती है।
यह इसलिए बाध्य है <math>e</math>, <math>g</math> और <math>w</math> बंधे हुए हैं, यह संकेत करता है <math>\dot{V} \to 0</math> जैसा <math>t\to\infty</math> और इसलिए <math>e \to 0</math> इससे सिद्ध होता है कि त्रुटि मिलती है।


==यह भी देखें==
==यह भी देखें==
* ल्यपुनोव समारोह
* ल्यपुनोव फलन
* लासेल का अपरिवर्तनशील सिद्धांत
* लासेल का अपरिवर्तनशील सिद्धांत
* ल्यपुनोव-मल्किन प्रमेय
* ल्यपुनोव-मल्किन प्रमेय
Line 176: Line 173:
{{Differential equations topics}}
{{Differential equations topics}}
{{Authority control}}
{{Authority control}}
[[Category: स्थिरता सिद्धांत]] [[Category: गतिशील प्रणालियाँ]] [[Category: लैग्रेंजियन यांत्रिकी]] [[Category: तीन-शरीर की कक्षाएँ]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1]]
[[Category:CS1 maint]]
[[Category:CS1 русский-language sources (ru)]]
[[Category:Collapse templates]]
[[Category:Created On 25/07/2023]]
[[Category:Created On 25/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia articles incorporating text from PlanetMath|ल्यपुनोव स्थिरता]]
[[Category:Wikipedia metatemplates]]
[[Category:गतिशील प्रणालियाँ]]
[[Category:तीन-शरीर की कक्षाएँ]]
[[Category:लैग्रेंजियन यांत्रिकी]]
[[Category:स्थिरता सिद्धांत]]

Latest revision as of 10:23, 14 August 2023

गतिशील प्रणालियों का वर्णन करने वाले [[अंतर समीकरणों]] या अंतर समीकरणों के समाधान के लिए विभिन्न प्रकार के स्थिरता सिद्धांत पर वर्णन किया जा सकता है। सबसे महत्वपूर्ण प्रकार संतुलन के बिंदु के निकट समाधानों की स्थिरता से संबंधित है। इस पर अलेक्सांद्र ल्यपुनोव के सिद्धांत से वर्णन किया जा सकता है। सरल शब्दों में, यदि समाधान संतुलन बिंदु के पास प्रारंभ होते हैं तो सदैव के लिए ल्यपुनोव स्थिर है। और अधिक स्थिरता से, यदि ल्यपुनोव स्थिर है में अभिसरण किया जाता है , फिर को एसिम्प्टोटिक रूप से स्थिर कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। घातांकीय स्थिरता की धारणा क्षय की न्यूनतम दर का आश्वासन देता है, अर्थात, यह अनुमान लगाता है कि समाधान कितनी शीघ्रता से अभिसरण होते हैं। ल्यपुनोव स्थिरता के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे संरचनात्मक स्थिरता के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न किन्तु निकटवर्ती समाधानों के व्यवहार से संबंधित है। इनपुट-टू-स्टेट स्थिरता (आईएसएस) वाले प्रणाली पर ल्यपुनोव धारणाओं को प्रारम्भ करता है।

इतिहास

लायपुनोव स्थिरता का नाम रूसी गणितज्ञ अलेक्सांद्र मिखाइलोविच ल्यपुनोव के नाम पर रखा गया है, जिन्होंने 1892 में खार्कोव विश्वविद्यालय में गति की स्थिरता की सामान्य समस्या थीसिस का बचाव किया था।[1] ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके अरेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए वैश्विक दृष्टिकोण विकसित करने के सफल प्रयासों में अग्रणी थे। उनका कार्य, जो प्रारंभ में रूसी में प्रकाशित हुआ और फिर फ्रेंच में अनुवादित हुआ, कई वर्षों तक अधिक कम ध्यान दिया गया। ए.एम. लायपुनोव द्वारा स्थापित गति की स्थिरता के गणितीय सिद्धांत ने विज्ञान और प्रौद्योगिकी में इसके कार्यान्वयन के लिए अधिक समय का अनुमान लगाया था। इसके अतिरिक्त लायपुनोव ने स्वयं इस क्षेत्र में आवेदन नहीं किया, उनकी रुचि खगोलीय अनुप्रयोग के साथ घूर्णनशील द्रव द्रव्यमान की स्थिरता में थी। उनके पास कोई डॉक्टरेट छात्र नहीं थे जो स्थिरता के क्षेत्र में अनुसंधान का अनुसरण करते थे और 1918 में उनकी आत्महत्या के कारण उनका अपना भाग्य अधिक दुखद था। कई दशकों तक स्थिरता का सिद्धांत पूर्ण रूप से अप्रसिद्ध हो गया। 1930 के दशक में कज़ान एविएशन इंस्टीट्यूट में कार्य करने वाले रूसी-सोवियत गणितज्ञ और मैकेनिक निकोले गुरयेविच चेतेव प्रथम व्यक्ति थे जिन्होंने ए.एम. ल्यपुनोव द्वारा किये गए परिक्षण की अविश्वसनीय परिमाण को अनुभव किया था। सिद्धांत में योगदान एन.जी.चेतेव द्वारा किया गया[2] इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं।

शीत युद्ध (1953-62) की अवधि के समय इसमें रुचि अचानक बढ़ गई जब ल्यपुनोव की तथाकथित दूसरी विधि (नीचे देखें) को एयरोस्पेस मार्गदर्शन प्रणालियों की स्थिरता के लिए प्रारम्भ पाया गया, जिसमें सामान्यतः स्थिरता अरैखिकताएं होती हैं जो अन्य विधियों से योग्य नहीं होता हैं। नियंत्रण और प्रणाली साहित्य में तब और उसके पश्चात से बड़ी संख्या में प्रकाशन सामने आए।[3][4][5][6][7]वर्तमान में ल्यपुनोव प्रतिपादक की अवधारणा (स्थिरता पर चर्चा करने की ल्यपुनोव की प्रथम विधि से संबंधित) को अराजकता सिद्धांत के संबंध में व्यापक रुचि मिली है। ट्रैफ़िक असाइनमेंट समस्याओं में संतुलन समाधान परिक्षण करने के लिए ल्यपुनोव स्थिरता विधियों को भी प्रारम्भ किया गया है।[8]

निरंतर-समय प्रणालियों के लिए परिभाषा

स्वायत्त प्रणाली (गणित) अरेखीय गतिशील प्रणाली पर विचार किया जाता है:

,

जहाँ प्रणाली स्थिति वेक्टर को दर्शाता है, संवृत समुच्चय जिसमें मूल सम्मिलित है, और सतत सदिश क्षेत्र है द्वारा कल्पना की जा सकती है पर संतुलन है जिससे तब

  1. इस संतुलन को ल्यपुनोव स्थिर कहा जाता है, यदि, प्रत्येक के लिए उपस्तिथ है ऐसा कि, यदि , फिर प्रत्येक के लिए अपने पास है।
  2. उपरोक्त प्रणाली का संतुलन स्पर्शोन्मुख रूप से स्थिर कहा जाता है यदि यह ल्यपुनोव स्थिर है और उपस्तिथ है ऐसे कि यदि , तब है।
  3. उपरोक्त प्रणाली के संतुलन को चरघातांकीय रूप से स्थिर कहा जाता है यदि यह स्पर्शोन्मुख रूप से स्थिर है और उपस्तिथ है ऐसे कि यदि , तब , सभी के लिए है।

वैचारिक रूप से, उपरोक्त शब्दों के अर्थ निम्नलिखित हैं:

  1. संतुलन की लायपुनोव स्थिरता का अर्थ है कि समाधान संतुलन के अधिक निकट (दूरी के भीतर) प्रारंभ होते हैं इससे) सदैव के लिए अधिक निकट (दूरी के भीतर) बने रहते हैं यह से)। ध्यान दें कि यह किसी के लिए भी सत्य होना चाहिए जिसे किसी का चयन किया जायेंगा।
  2. एसिम्प्टोटिक स्थिरता का अर्थ है कि जो समाधान अधिक निकट से प्रारंभ होते हैं वे न केवल अधिक निकट रहते हैं अन्यथा अंततः संतुलन में आ जाते हैं।
  3. घातीय स्थिरता का अर्थ है कि समाधान न केवल अभिसरित होते हैं, अन्यथा वास्तव में विशेष ज्ञात दर से अधिक या कम से कम उतनी ही तीव्रता से अभिसरण होते हैं।

प्रक्षेप पथ (स्थानीय रूप से) आकर्षक है यदि

जैसा

सभी प्रक्षेप पथों के लिए जो अधिक निकट से प्रारंभ होता है , और विश्व स्तर पर आकर्षक यदि यह गुण सभी प्रक्षेप पथों के लिए उपयुक्त है।

अर्थात्, यदि x इसके स्थिर मैनिफोल्ड के आंतरिक भाग से संबंधित है, तो यह आकर्षक और स्थिर होने पर स्पर्शोन्मुख रूप से स्थिर है। (ऐसे उदाहरण हैं जो दिखाते हैं कि आकर्षण का अर्थ स्पर्शोन्मुख स्थिरता नहीं है।[9][10][11] होमोक्लिनिक कक्षा का उपयोग करके ऐसे उदाहरण बनाना सरल है।)

यदि संतुलन पर गतिशील प्रणाली का जैकोबियन स्थिरता आव्यूह होता है (अर्थात, यदि प्रत्येक आइगेनवैल्यू का वास्तविक भाग समिष्ट से ऋणात्मक है), तो संतुलन असम्बद्ध रूप से स्थिर है।

विचलन की प्रणाली

केवल संतुलन बिंदु (स्थिर समाधान) के निकट स्थिरता पर विचार करने के अतिरिक्त ), समाधान के निकट स्थिरता की समान परिभाषाएँ तैयार कर सकता है चूँकि, कोई अधिक सामान्य स्थिति को चरों में परिवर्तन द्वारा संतुलन की स्थिति तक कम कर सकता है जिसे विचलन प्रणाली कहा जाता है। द्वारा परिभाषित किया जाता है, अंतर समीकरण का पालन करना:

.

यह अब स्वायत्त प्रणाली नहीं है, किन्तु इसमें आश्वासन संतुलन बिंदु है जिसकी स्थिरता मूल समाधान की स्थिरता के समान है।

लायपुनोव की स्थिरता के लिए दूसरी विधि

लायपुनोव ने अपने मूल 1892 के कार्य में स्थिरता प्रदर्शित करने के लिए दो विधियों को प्रस्तावित किया।[1]प्रथम विधि ने श्रृंखला में समाधान विकसित किया जो तब सीमाओं के भीतर अभिसरण सिद्ध हुआ। दूसरी विधि, जिसे अब ल्यपुनोव स्थिरता पैरामीटर या प्रत्यक्ष विधि के रूप में जाना जाता है, ल्यपुनोव फलन V(x) का उपयोग करती है जिसमें शास्त्रीय गतिशीलता के संभावित फलन का सादृश्य होता है। इसे प्रणाली के लिए निम्नानुसार प्रस्तुत किया गया है संतुलन का बिंदु होना। फलन पर विचार किया जाता है ऐसा है कि

  • यदि केवल
  • यदि केवल
  • के सभी मानों के लिए होता है नोट: स्पर्शोन्मुख स्थिरता के लिए, के लिए आवश्यक है।

तब V(x) को ल्यपुनोव फलन कहा जाता है और प्रणाली ल्यपुनोव के अर्थ में स्थिर है। (ध्यान दें कि आवश्यक है; अन्यथा उदाहरण के लिए यह सिद्ध किया जाता है कि स्थानीय रूप से स्थिर है।) वैश्विक स्थिरता का निष्कर्ष निकालने के लिए उचितता या रेडियल अनबाउंडनेस नामक अतिरिक्त स्थिति की आवश्यकता होती है। वैश्विक स्पर्शोन्मुख स्थिरता (जीएएस) भी इसी प्रकार चलती है।

भौतिक प्रणाली (जैसे कंपन वसंत और द्रव्यमान) के बारे में सोचकर और ऐसी प्रणाली की ऊर्जा पर विचार करके विश्लेषण की इस पद्धति की कल्पना करना सरल है। यदि प्रणाली समय के साथ ऊर्जा लुप्त होती है और ऊर्जा कभी स्थित नहीं होती है तो अंततः प्रणाली को रुकना होगा और कुछ अंतिम विश्राम अवस्था में पहुंचना होगा। इस अंतिम अवस्था को आकर्षणकर्ता कहा जाता है। चूँकि, ऐसा फलन का शोध करना जो भौतिक प्रणाली की त्रुटिहीन ऊर्जा देता है, कठिन हो सकता है, और अमूर्त गणितीय प्रणालियों, आर्थिक प्रणालियों या जैविक प्रणालियों के लिए, ऊर्जा की अवधारणा प्रारम्भ नहीं हो सकती है।

ल्यपुनोव का अनुभव था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता सिद्ध की जा सकती है, उपरोक्त बाधाओं को पूर्ण करने के लिए ल्यपुनोव फलन पाया जा सके।

असतत-समय प्रणालियों के लिए परिभाषा

असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, सामान्यतः अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग किया जाता है।

मान लीजिए (X, d) मीट्रिक समिष्ट है और f: X → X सतत फलन है। X में बिंदु x को 'ल्यपुनोव स्थिर' कहा जाता है, यदि,

हम कहते हैं कि x 'स्पर्शोन्मुख रूप से स्थिर' है यदि यह इसके स्थिर मैनिफोल्ड के आंतरिक भाग से संबंधित है, अर्थात यदि,

रैखिक स्तिथि समिष्ट मॉडल के लिए स्थिरता

रैखिक स्तिथि समिष्ट (नियंत्रण) मॉडल

,

जहाँ परिमित आव्यूह है, स्पर्शोन्मुख रूप से स्थिर है (वास्तव में, घातीय स्थिरता) यदि सभी वास्तविक भाग आइजन वैल्यू के ऋणात्मक हैं, यह स्थिति निम्नलिखित के समान है:[12]

कुछ धनात्मक-निश्चित आव्यूह के लिए ऋणात्मक निश्चित है (प्रासंगिक ल्यपुनोव फलन है)

तदनुसार, समय-असतत रैखिक स्तिथि समिष्ट (नियंत्रण) मॉडल

यदि सभी आइजन वैल्यू ​​स्पर्शोन्मुख रूप से स्थिर हैं (वास्तव में, चरघातांकीय रूप से स्थिर)। निरपेक्ष मान से छोटा होता है।

इस पश्चात की स्थिति को स्विच्ड प्रणाली के लिए सामान्यीकृत किया गया है: रैखिक स्विच्ड असतत समय प्रणाली (आव्यूह के समुच्चय द्वारा शासित) ) है।

यदि समुच्चय का संयुक्त वर्णक्रमीय त्रिज्या असममित रूप से स्थिर है (वास्तव में, घातीय रूप से स्थिर) से छोटा है।

इनपुट वाले प्रणाली के लिए स्थिरता

इनपुट (या नियंत्रण) वाले प्रणाली का स्वरूप होता है:

जहां (सामान्यतः समय-निर्भर) इनपुट u(t) को नियंत्रण, बाहरी इनपुट, उत्तेजना, डिस्टर्बेंस, या फोर्सिंग फलन के रूप में देखा जा सकता है। यह दिखाया गया है [13] कि संतुलन के बिंदु के निकट जो ल्यपुनोव स्थिर है, प्रणाली छोटे डिस्टर्बेंस के अंतर्गत स्थिर रहता है। बड़ी इनपुट डिस्टर्बेंस के लिए ऐसी प्रणालियों का अध्ययन नियंत्रण सिद्धांत का विषय है और नियंत्रण इंजीनियरिंग में प्रारम्भ किया जाता है। इनपुट वाले प्रणाली के लिए, प्रणाली की स्थिरता पर इनपुट के प्रभाव की मात्रा निर्धारित करनी चाहिए। इस विश्लेषण के मुख्य दो दृष्टिकोण हैं बीआईबीओ स्थिरता (रैखिक प्रणाली के लिए) और इनपुट-टू-स्टेट स्थिरता (आईएसएस) (अरेखीय प्रणाली के लिए) है।

उदाहरण

यह उदाहरण ऐसी प्रणाली दिखाता है जहां ल्यपुनोव फलन का उपयोग ल्यपुनोव स्थिरता को सिद्ध करने के लिए किया जा सकता है किन्तु स्पर्शोन्मुख स्थिरता नहीं दिखा सकता है। घर्षण पद में परिवर्तन के साथ वैन डेर पोल ऑसिलेटर समीकरण के आधार पर निम्नलिखित समीकरण पर विचार किया जाता है:

मान लीजिये

जिससे संबंधित प्रणाली हो

मूल मात्र संतुलन बिंदु है। ल्यपुनोव फलन के रूप में चयन किया जाता है:

जो स्पष्ट रूप से धनात्मक-निश्चित फलन है। इसकी व्युत्पत्ति है:

ऐसा लगता है कि यदि पैरामीटर धनात्मक है, स्थिरता के लिए स्पर्शोन्मुख है किन्तु यह त्रुटिपूर्ण है, क्योंकि पर निर्भर नहीं है, और सभी समिष्ट 0 है अक्ष संतुलन ल्यपुनोव स्थिर है किन्तु स्पर्शोन्मुख रूप से स्थिर नहीं है।

बारबालाट की लेम्मा और समय-भिन्न प्रणालियों की स्थिरता

मान लीजिये कि f केवल समय का फलन है।

  • मान लीजिये इसका तात्पर्य यह नहीं है पर सीमा है उदाहरण के लिए, है।
  • मान लीजिये सीमा के निकट पहुंच रहा है इसका तात्पर्य यह नहीं है उदाहरण के लिए, है।
  • मान लीजिये निचली सीमा और घटती हुई () तात्पर्य यह है कि यह सीमा तक अभिसरण करता है। किन्तु यह नहीं बताता है या नहीं जैसा है।

बार्बलाट की लेम्मा (गणित) कहती है:

यदि की सीमित सीमा होती है यदि समान रूप से सतत है (या घिरा हुआ है), फिर जैसा है।[14]

वैकल्पिक संस्करण इस प्रकार है:

मान लीजिये और यदि और , तब जैसा है। [15]

निम्नलिखित रूप में लेम्मा वेक्टर वैल्यू वाली स्तिथि में भी सत्य है:

मान लीजिये बनच समिष्ट में मानों के साथ समान रूप से निरंतर फलन है और मान लीजिये की सीमित सीमा होती है तब जैसा है।[16]

निम्नलिखित उदाहरण स्लोटिन और ली की पुस्तक एप्लाइड नॉनलाइनियर कंट्रोल के पृष्ठ 125 से लिया गया है।

अस्वायत्त प्रणाली (गणित) पर विचार किया जाता है:

यह अस्वायत्त है क्योंकि इनपुट समय का फलन है मान लीजिये कि इनपुट घिरा है।

मान लीजिए और प्रदान करता है।

तो यही कहता है कि पहले दो नियम से और इसलिए और बंधे हुए हैं, किन्तु यह के अभिसरण के बारे में कुछ नहीं कहता है शून्य करने के लिए इसके अतिरिक्त, लासेल के अपरिवर्तनीय सिद्धांत को प्रारम्भ नहीं किया जा सकता, क्योंकि गतिशीलता अस्वायत्त है।

बार्बलाट की लेम्मा का उपयोग करना:

.

यह इसलिए बाध्य है , और बंधे हुए हैं, यह संकेत करता है जैसा और इसलिए इससे सिद्ध होता है कि त्रुटि मिलती है।

यह भी देखें

संदर्भ

  1. 1.0 1.1 Lyapunov, A. M. The General Problem of the Stability of Motion (In Russian), Doctoral dissertation, Univ. Kharkov 1892 English translations: (1) Stability of Motion, Academic Press, New-York & London, 1966 (2) The General Problem of the Stability of Motion, (A. T. Fuller trans.) Taylor & Francis, London 1992. Included is a biography by Smirnov and an extensive bibliography of Lyapunov's work.
  2. Chetaev, N. G. On stable trajectories of dynamics, Kazan Univ Sci Notes, vol.4 no.1 1936; The Stability of Motion, Originally published in Russian in 1946 by ОГИЗ. Гос. изд-во технико-теорет. лит., Москва-Ленинград.Translated by Morton Nadler, Oxford, 1961, 200 pages.
  3. Letov, A. M. (1955). Устойчивость нелинейных регулируемых систем [Stability of Nonlinear Control Systems] (in русский). Moscow: Gostekhizdat. English tr. Princeton 1961
  4. Kalman, R. E.; Bertram, J. F (1960). "Control System Analysis and Design Via the "Second Method" of Lyapunov: I—Continuous-Time Systems". Journal of Basic Engineering. 82 (2): 371–393. doi:10.1115/1.3662604.
  5. LaSalle, J. P.; Lefschetz, S. (1961). अनुप्रयोगों के साथ लायपुनोव की दूसरी विधि द्वारा स्थिरता. New York: Academic Press.
  6. Parks, P. C. (1962). "स्वचालित नियंत्रण सिद्धांत में लियापुनोव की विधि". Control. I Nov 1962 II Dec 1962.
  7. Kalman, R. E. (1963). "लायपुनोव स्वचालित नियंत्रण में ल्यूर की समस्या के लिए कार्य करता है". Proc Natl Acad Sci USA. 49 (2): 201–205. Bibcode:1963PNAS...49..201K. doi:10.1073/pnas.49.2.201. PMC 299777. PMID 16591048.
  8. Smith, M. J.; Wisten, M. B. (1995). "एक सतत दैनिक ट्रैफ़िक असाइनमेंट मॉडल और एक सतत गतिशील उपयोगकर्ता संतुलन का अस्तित्व". Annals of Operations Research. 60 (1): 59–79. doi:10.1007/BF02031940. S2CID 14034490.
  9. Hahn, Wolfgang (1967). गति की स्थिरता. Springer. pp. 191–194, Section 40. doi:10.1007/978-3-642-50085-5. ISBN 978-3-642-50087-9.
  10. Braun, Philipp; Grune, Lars; Kellett, Christopher M. (2021). (In-)Stability of Differential Inclusions: Notions, Equivalences, and Lyapunov-like Characterizations. Springer. pp. 19–20, Example 2.18. doi:10.1007/978-3-030-76317-6. ISBN 978-3-030-76316-9. S2CID 237964551.
  11. Vinograd, R. E. (1957). "अरैखिक अवकल समीकरणों के अध्ययन के लिए चारित्रिक घातांकों की विधि की अपर्याप्तता". Doklady Akademii Nauk (in Russian). 114 (2): 239–240.{{cite journal}}: CS1 maint: unrecognized language (link)
  12. Goh, B. S. (1977). "अनेक-प्रजाति प्रणालियों में वैश्विक स्थिरता". The American Naturalist. 111 (977): 135–143. doi:10.1086/283144. S2CID 84826590.
  13. Malkin I.G. Theory of Stability of Motion, Moscow 1952 (Gostekhizdat) Chap II para 4 (Russian) Engl. transl, Language Service Bureau, Washingotn AEC -tr-3352; originally On stability under constantly acting disturbances Prikl Mat 1944, vol. 8 no.3 241-245 (Russian); Amer. Math. Soc. transl. no. 8
  14. I. Barbălat, Systèmes d'équations différentielles d'oscillations non Linéaires, Rev. Math. Pures Appl. 4 (1959) 267–270, p. 269.
  15. B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 827.
  16. B. Farkas et al., Variations on Barbălat's Lemma, Amer. Math. Monthly (2016) 128, no. 8, 825-830, DOI: 10.4169/amer.math.monthly.123.8.825, p. 826.


अग्रिम पठन


This article incorporates material from asymptotically stable on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.