ल्यपुनोव स्थिरता: Difference between revisions
(Created page with "{{Short description|Property of a dynamical system where solutions near an equilibrium point remain so}} {{About|asymptotic stability of nonlinear systems|stability of linear...") |
No edit summary |
||
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|asymptotic stability of nonlinear systems|stability of linear systems|exponential stability}} | ||
{{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> ''एसिम्प्टोटिक रूप से स्थिर'' कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। ''[[घातांकीय स्थिरता]]'' की धारणा क्षय की न्यूनतम दर की गारंटी देती है, यानी, यह अनुमान लगाती है कि समाधान कितनी जल्दी अभिसरण होते हैं। ल्यपुनोव स्थिरता के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे [[संरचनात्मक स्थिरता]] के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न लेकिन निकटवर्ती समाधानों के व्यवहार से संबंधित है। [[इनपुट-टू-स्टेट स्थिरता]] (आईएसएस) इनपुट वाले सिस्टम पर ल्यपुनोव धारणाओं को लागू करता है। | ||
==इतिहास== | ==इतिहास== | ||
लायपुनोव स्थिरता का नाम रूसी गणितज्ञ [[अलेक्जेंडर मिखाइलोविच ल्यपुनोव]] के नाम पर रखा गया है, जिन्होंने 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> ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके गैर-रेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए | लायपुनोव स्थिरता का नाम रूसी गणितज्ञ [[अलेक्जेंडर मिखाइलोविच ल्यपुनोव]] के नाम पर रखा गया है, जिन्होंने 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> इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं। | ||
शीत युद्ध (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>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>\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>. | ||
Line 26: | Line 24: | ||
# ल्यपुनोव संतुलन की स्थिरता का मतलब है कि समाधान संतुलन के काफी करीब (दूरी के भीतर) शुरू होते हैं <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>x(t) = \phi(t)</math>(स्थानीय रूप से) आकर्षक है यदि | प्रक्षेप पथ<math>x(t) = \phi(t)</math>(स्थानीय रूप से) आकर्षक है यदि | ||
Line 38: | Line 36: | ||
===विचलन की प्रणाली=== | ===विचलन की प्रणाली=== | ||
केवल | केवल संतुलन बिंदु ( स्थिर समाधान) के निकट स्थिरता पर विचार करने के बजाय <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>. | ||
===लायपुनोव की स्थिरता के लिए दूसरी विधि=== | ===लायपुनोव की स्थिरता के लिए दूसरी विधि=== | ||
लायपुनोव ने अपने मूल 1892 के काम में, दो [[अभिसरण प्रमाण तकनीक]]ों का प्रस्ताव रखा।<ref name=lyapunov/>पहली विधि ने | लायपुनोव ने अपने मूल 1892 के काम में, दो [[अभिसरण प्रमाण तकनीक]]ों का प्रस्ताव रखा।<ref name=lyapunov/>पहली विधि ने श्रृंखला में समाधान विकसित किया जो तब सीमाओं के भीतर अभिसरण साबित हुआ। दूसरी विधि, जिसे अब ल्यपुनोव स्थिरता मानदंड या प्रत्यक्ष विधि के रूप में जाना जाता है, ल्यपुनोव फ़ंक्शन वी (्स) का उपयोग करती है जिसमें शास्त्रीय गतिशीलता के संभावित फ़ंक्शन का सादृश्य होता है। इसे सिस्टम के लिए निम्नानुसार प्रस्तुत किया गया है <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> स्थानीय रूप से स्थिर है।) वैश्विक स्थिरता का निष्कर्ष निकालने के लिए उचितता या रेडियल अनबाउंडनेस नामक अतिरिक्त स्थिति की आवश्यकता होती है। वैश्विक स्पर्शोन्मुख स्थिरता (जीएएस) भी इसी प्रकार चलती है। | ||
भौतिक प्रणाली (जैसे कंपन वसंत और द्रव्यमान) के बारे में सोचकर और ऐसी प्रणाली की [[ऊर्जा]] पर विचार करके विश्लेषण की इस पद्धति की कल्पना करना आसान है। यदि सिस्टम समय के साथ ऊर्जा खो देता है और ऊर्जा कभी बहाल नहीं होती है तो अंततः सिस्टम को रुकना होगा और कुछ अंतिम विश्राम अवस्था में पहुंचना होगा। इस अंतिम अवस्था को आकर्षणकर्ता कहा जाता है। हालाँकि, ऐसा फ़ंक्शन ढूंढना जो भौतिक प्रणाली की सटीक ऊर्जा देता है, मुश्किल हो सकता है, और अमूर्त गणितीय प्रणालियों, आर्थिक प्रणालियों या जैविक प्रणालियों के लिए, ऊर्जा की अवधारणा लागू नहीं हो सकती है। | |||
ल्यपुनोव का एहसास था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता साबित की जा सकती है, बशर्ते उपरोक्त बाधाओं को पूरा करने के लिए ल्यपुनोव फ़ंक्शन पाया जा सके। | ल्यपुनोव का एहसास था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता साबित की जा सकती है, बशर्ते उपरोक्त बाधाओं को पूरा करने के लिए ल्यपुनोव फ़ंक्शन पाया जा सके। | ||
Line 58: | Line 56: | ||
असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, आमतौर पर अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग करते हुए। | असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, आमतौर पर अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग करते हुए। | ||
मान लीजिए (X, d) | मान लीजिए (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 65: | Line 63: | ||
:<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> | कहाँ <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^\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> निरपेक्ष मान | यदि सभी eigenvalues स्पर्शोन्मुख रूप से स्थिर हैं (वास्तव में, चरघातांकीय रूप से स्थिर)। <math> A</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> से छोटा है. | ||
==इनपुट वाले सिस्टम के लिए स्थिरता== | ==इनपुट वाले सिस्टम के लिए स्थिरता== | ||
Line 91: | Line 88: | ||
:<math>\dot{\textbf{x}} = \textbf{f}(\textbf{x}, \textbf{u})</math> | :<math>\dot{\textbf{x}} = \textbf{f}(\textbf{x}, \textbf{u})</math> | ||
जहां (आम तौर पर समय-निर्भर) इनपुट यू(टी) को नियंत्रण, बाहरी इनपुट के रूप में देखा जा सकता है, | जहां (आम तौर पर समय-निर्भर) इनपुट यू(टी) को नियंत्रण, बाहरी इनपुट के रूप में देखा जा सकता है, | ||
उत्तेजना, अशांति, या जबरदस्ती कार्य। यह दिखाया गया है <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> संतुलन के बिंदु के करीब जो ल्यपुनोव स्थिर है, सिस्टम छोटी गड़बड़ी के तहत स्थिर रहता है। बड़ी इनपुट गड़बड़ी के लिए ऐसी प्रणालियों का अध्ययन [[नियंत्रण सिद्धांत]] का विषय है और [[नियंत्रण इंजीनियरिंग]] में लागू किया जाता है। इनपुट वाले सिस्टम के लिए, सिस्टम की स्थिरता पर इनपुट के प्रभाव की मात्रा निर्धारित करनी चाहिए। इस विश्लेषण के मुख्य दो दृष्टिकोण हैं [[बीआईबीओ स्थिरता]] ([[रैखिक प्रणाली]] के लिए) और इनपुट-टू-स्टेट स्थिरता (आईएसएस) ([[ अरेखीय प्रणाली ]] के लिए) | ||
==उदाहरण== | ==उदाहरण== | ||
यह उदाहरण | यह उदाहरण ऐसी प्रणाली दिखाता है जहां ल्यपुनोव फ़ंक्शन का उपयोग ल्यपुनोव स्थिरता को साबित करने के लिए किया जा सकता है लेकिन स्पर्शोन्मुख स्थिरता नहीं दिखा सकता है। | ||
घर्षण पद में परिवर्तन के साथ [[वैन डेर पोल ऑसिलेटर]] समीकरण के आधार पर निम्नलिखित समीकरण पर विचार करें: | घर्षण पद में परिवर्तन के साथ [[वैन डेर पोल ऑसिलेटर]] समीकरण के आधार पर निम्नलिखित समीकरण पर विचार करें: | ||
Line 108: | Line 105: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
मूल <math> x_1= 0,\ x_2=0</math> | मूल <math> x_1= 0,\ x_2=0</math> मात्र संतुलन बिंदु है। | ||
आइए हम ल्यपुनोव फ़ंक्शन के रूप में चुनें | आइए हम ल्यपुनोव फ़ंक्शन के रूप में चुनें | ||
Line 120: | Line 117: | ||
= \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>\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>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>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>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>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</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> |
Revision as of 22:06, 29 July 2023
Part of a series on |
Astrodynamics |
---|
गतिशील प्रणालियों का वर्णन करने वाले [[अंतर समीकरण]]ों या अंतर समीकरणों के समाधान के लिए विभिन्न प्रकार के स्थिरता सिद्धांत पर चर्चा की जा सकती है। सबसे महत्वपूर्ण प्रकार संतुलन के बिंदु के निकट समाधानों की स्थिरता से संबंधित है। इस पर अलेक्जेंडर ल्यपुनोव के सिद्धांत से चर्चा की जा सकती है। सरल शब्दों में, यदि समाधान संतुलन बिंदु के पास शुरू होते हैं पास रहो तो हमेशा के लिए ल्यपुनोव स्थिर है। और अधिक मजबूती से, यदि ल्यपुनोव स्थिर है और सभी समाधान जो निकट से शुरू होते हैं में जुटना , तब एसिम्प्टोटिक रूप से स्थिर कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। घातांकीय स्थिरता की धारणा क्षय की न्यूनतम दर की गारंटी देती है, यानी, यह अनुमान लगाती है कि समाधान कितनी जल्दी अभिसरण होते हैं। ल्यपुनोव स्थिरता के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे संरचनात्मक स्थिरता के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न लेकिन निकटवर्ती समाधानों के व्यवहार से संबंधित है। इनपुट-टू-स्टेट स्थिरता (आईएसएस) इनपुट वाले सिस्टम पर ल्यपुनोव धारणाओं को लागू करता है।
इतिहास
लायपुनोव स्थिरता का नाम रूसी गणितज्ञ अलेक्जेंडर मिखाइलोविच ल्यपुनोव के नाम पर रखा गया है, जिन्होंने 1892 में खार्कोव विश्वविद्यालय में गति की स्थिरता की सामान्य समस्या थीसिस का बचाव किया था।[1] ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके गैर-रेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए वैश्विक दृष्टिकोण विकसित करने के सफल प्रयासों में अग्रणी थे। उनका काम, जो शुरू में रूसी में प्रकाशित हुआ और फिर फ्रेंच में अनुवादित हुआ, कई वर्षों तक बहुत कम ध्यान दिया गया। ए.एम. लायपुनोव द्वारा स्थापित गति की स्थिरता के गणितीय सिद्धांत ने विज्ञान और प्रौद्योगिकी में इसके कार्यान्वयन के लिए काफी समय का अनुमान लगाया था। इसके अलावा लायपुनोव ने स्वयं इस क्षेत्र में आवेदन नहीं किया, उनकी रुचि खगोलीय अनुप्रयोग के साथ घूर्णनशील द्रव द्रव्यमान की स्थिरता में थी। उनके पास कोई डॉक्टरेट छात्र नहीं थे जो स्थिरता के क्षेत्र में अनुसंधान का अनुसरण करते थे और 1918 में उनकी आत्महत्या के कारण उनका अपना भाग्य बहुत दुखद था।[citation needed]. कई दशकों तक स्थिरता का सिद्धांत पूरी तरह से गुमनामी में डूब गया। 1930 के दशक में कज़ान एविएशन इंस्टीट्यूट में काम करने वाले रूसी-सोवियत गणितज्ञ और मैकेनिक निकोले गुरयेविच चेतेव पहले व्यक्ति थे जिन्होंने ए.एम. ल्यपुनोव द्वारा की गई खोज की अविश्वसनीय परिमाण को महसूस किया था। सिद्धांत में योगदान एन.जी.चेतेव द्वारा किया गया[2] इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं।
शीत युद्ध (1953-62) की अवधि के दौरान इसमें रुचि अचानक बढ़ गई जब ल्यपुनोव की तथाकथित दूसरी विधि (नीचे देखें) को एयरोस्पेस मार्गदर्शन प्रणालियों की स्थिरता के लिए लागू पाया गया, जिसमें आम तौर पर मजबूत गैर-रैखिकताएं होती हैं जो अन्य तरीकों से इलाज योग्य नहीं होती हैं। नियंत्रण और सिस्टम साहित्य में तब और उसके बाद से बड़ी संख्या में प्रकाशन सामने आए।[3][4][5][6][7] हाल ही में ल्यपुनोव प्रतिपादक की अवधारणा (स्थिरता पर चर्चा करने की ल्यपुनोव की पहली विधि से संबंधित) को अराजकता सिद्धांत के संबंध में व्यापक रुचि मिली है। ट्रैफ़िक असाइनमेंट समस्याओं में संतुलन समाधान खोजने के लिए ल्यपुनोव स्थिरता विधियों को भी लागू किया गया है।[8]
निरंतर-समय प्रणालियों के लिए परिभाषा
स्वायत्त प्रणाली (गणित) अरेखीय गतिशील प्रणाली पर विचार करें
- ,
कहाँ राज्य अंतरिक्ष प्रतिनिधित्व को दर्शाता है, खुला सेट जिसमें मूल शामिल है, और पर सतत सदिश क्षेत्र है . कल्पना करना पर संतुलन है ताकि तब
- इस संतुलन को ल्यपुनोव स्थिर कहा जाता है, यदि, प्रत्येक के लिए , वहाँ मौजूद है ऐसा कि, यदि , फिर प्रत्येक के लिए अपने पास .
- उपरोक्त प्रणाली का संतुलन स्पर्शोन्मुख रूप से स्थिर कहा जाता है यदि यह ल्यपुनोव स्थिर है और मौजूद है ऐसे कि अगर , तब .
- उपरोक्त प्रणाली के संतुलन को चरघातांकीय रूप से स्थिर कहा जाता है यदि यह स्पर्शोन्मुख रूप से स्थिर है और मौजूद है ऐसे कि अगर , तब , सभी के लिए .
वैचारिक रूप से, उपरोक्त शब्दों के अर्थ निम्नलिखित हैं:
- ल्यपुनोव संतुलन की स्थिरता का मतलब है कि समाधान संतुलन के काफी करीब (दूरी के भीतर) शुरू होते हैं इससे) हमेशा के लिए काफी करीब (दूरी के भीतर) बने रहते हैं यह से)। ध्यान दें कि यह किसी के लिए भी सत्य होना चाहिए जिसे कोई चुनना चाहेगा।
- एसिम्प्टोटिक स्थिरता का मतलब है कि जो समाधान काफी करीब से शुरू होते हैं वे न केवल काफी करीब रहते हैं बल्कि अंततः संतुलन में आ जाते हैं।
- घातीय स्थिरता का अर्थ है कि समाधान न केवल अभिसरित होते हैं, बल्कि वास्तव में विशेष ज्ञात दर से अधिक या कम से कम उतनी ही तेजी से अभिसरण होते हैं .
प्रक्षेप पथ(स्थानीय रूप से) आकर्षक है यदि
- जैसा
सभी प्रक्षेप पथों के लिए वह काफी करीब से शुरू होता है , और विश्व स्तर पर आकर्षक है यदि यह संपत्ति सभी प्रक्षेप पथों के लिए है।
अर्थात्, यदि x इसके स्थिर अनेक गुना के आंतरिक भाग से संबंधित है, तो यह आकर्षक और स्थिर होने पर स्पर्शोन्मुख रूप से स्थिर है। (ऐसे उदाहरण हैं जो दिखाते हैं कि आकर्षण का अर्थ स्पर्शोन्मुख स्थिरता नहीं है।[9][10][11] होमोक्लिनिक कक्षा का उपयोग करके ऐसे उदाहरण बनाना आसान है।)
यदि जेकोबियन मैट्रिक्स और संतुलन पर गतिशील प्रणाली का निर्धारक हर्विट्ज़ मैट्रिक्स#हर्विट्ज़ स्थिर मैट्रिक्स होता है (यानी, यदि प्रत्येक आइगेनवैल्यू का वास्तविक हिस्सा सख्ती से नकारात्मक है), तो संतुलन असम्बद्ध रूप से स्थिर है।
विचलन की प्रणाली
केवल संतुलन बिंदु ( स्थिर समाधान) के निकट स्थिरता पर विचार करने के बजाय ), कोई मनमाना समाधान के निकट स्थिरता की समान परिभाषाएँ तैयार कर सकता है . हालाँकि, कोई अधिक सामान्य स्थिति को चरों में परिवर्तन द्वारा संतुलन की स्थिति तक कम कर सकता है जिसे विचलन प्रणाली कहा जाता है। परिभाषित करना , अंतर समीकरण का पालन करना:
- .
यह अब स्वायत्त प्रणाली नहीं है, लेकिन इसमें गारंटीशुदा संतुलन बिंदु है जिसकी स्थिरता मूल समाधान की स्थिरता के बराबर है .
लायपुनोव की स्थिरता के लिए दूसरी विधि
लायपुनोव ने अपने मूल 1892 के काम में, दो अभिसरण प्रमाण तकनीकों का प्रस्ताव रखा।[1]पहली विधि ने श्रृंखला में समाधान विकसित किया जो तब सीमाओं के भीतर अभिसरण साबित हुआ। दूसरी विधि, जिसे अब ल्यपुनोव स्थिरता मानदंड या प्रत्यक्ष विधि के रूप में जाना जाता है, ल्यपुनोव फ़ंक्शन वी (्स) का उपयोग करती है जिसमें शास्त्रीय गतिशीलता के संभावित फ़ंक्शन का सादृश्य होता है। इसे सिस्टम के लिए निम्नानुसार प्रस्तुत किया गया है संतुलन का बिंदु होना . फ़ंक्शन पर विचार करें ऐसा है कि
- अगर और केवल अगर
- अगर और केवल अगर
- के सभी मूल्यों के लिए . नोट: स्पर्शोन्मुख स्थिरता के लिए, के लिए आवश्यक है।
तब V(x) को ल्यपुनोव समारोह कहा जाता है और सिस्टम ल्यपुनोव के अर्थ में स्थिर है। (ध्यान दें कि आवश्यक है; अन्यथा उदाहरण के लिए यह साबित कर देंगे स्थानीय रूप से स्थिर है।) वैश्विक स्थिरता का निष्कर्ष निकालने के लिए उचितता या रेडियल अनबाउंडनेस नामक अतिरिक्त स्थिति की आवश्यकता होती है। वैश्विक स्पर्शोन्मुख स्थिरता (जीएएस) भी इसी प्रकार चलती है।
भौतिक प्रणाली (जैसे कंपन वसंत और द्रव्यमान) के बारे में सोचकर और ऐसी प्रणाली की ऊर्जा पर विचार करके विश्लेषण की इस पद्धति की कल्पना करना आसान है। यदि सिस्टम समय के साथ ऊर्जा खो देता है और ऊर्जा कभी बहाल नहीं होती है तो अंततः सिस्टम को रुकना होगा और कुछ अंतिम विश्राम अवस्था में पहुंचना होगा। इस अंतिम अवस्था को आकर्षणकर्ता कहा जाता है। हालाँकि, ऐसा फ़ंक्शन ढूंढना जो भौतिक प्रणाली की सटीक ऊर्जा देता है, मुश्किल हो सकता है, और अमूर्त गणितीय प्रणालियों, आर्थिक प्रणालियों या जैविक प्रणालियों के लिए, ऊर्जा की अवधारणा लागू नहीं हो सकती है।
ल्यपुनोव का एहसास था कि वास्तविक भौतिक ऊर्जा के ज्ञान की आवश्यकता के बिना स्थिरता साबित की जा सकती है, बशर्ते उपरोक्त बाधाओं को पूरा करने के लिए ल्यपुनोव फ़ंक्शन पाया जा सके।
असतत-समय प्रणालियों के लिए परिभाषा
असतत-समय प्रणालियों की परिभाषा निरंतर-समय प्रणालियों के लगभग समान है। नीचे दी गई परिभाषा इसे प्रदान करती है, आमतौर पर अधिक गणितीय पाठों में उपयोग की जाने वाली वैकल्पिक भाषा का उपयोग करते हुए।
मान लीजिए (X, d) मीट्रिक स्थान है और f : X → X सतत फलन है। X में बिंदु x को 'ल्यपुनोव स्थिर' कहा जाता है, यदि,
हम कहते हैं कि x 'स्पर्शोन्मुख रूप से स्थिर' है यदि यह इसके स्थिर मैनिफोल्ड के आंतरिक भाग से संबंधित है, अर्थात यदि,
रैखिक राज्य अंतरिक्ष मॉडल के लिए स्थिरता
रैखिक राज्य स्थान (नियंत्रण) मॉडल
- ,
कहाँ परिमित मैट्रिक्स है, स्पर्शोन्मुख रूप से स्थिर है (वास्तव में, घातीय स्थिरता) यदि eigenvalues के सभी वास्तविक भाग नकारात्मक हैं. यह शर्त निम्नलिखित के बराबर है:[12]
कुछ सकारात्मक-निश्चित मैट्रिक्स मैट्रिक्स के लिए नकारात्मक निश्चित है . (प्रासंगिक ल्यपुनोव फ़ंक्शन है .)
तदनुसार, समय-असतत रैखिक राज्य स्थान (नियंत्रण) मॉडल
यदि सभी eigenvalues स्पर्शोन्मुख रूप से स्थिर हैं (वास्तव में, चरघातांकीय रूप से स्थिर)। निरपेक्ष मान से छोटा होता है।
इस बाद की स्थिति को स्विच्ड सिस्टम के लिए सामान्यीकृत किया गया है: रैखिक स्विच्ड असतत समय प्रणाली (मैट्रिसेस के सेट द्वारा शासित) )
यदि सेट का संयुक्त वर्णक्रमीय त्रिज्या असममित रूप से स्थिर है (वास्तव में, घातीय रूप से स्थिर) से छोटा है.
इनपुट वाले सिस्टम के लिए स्थिरता
इनपुट (या नियंत्रण) वाले सिस्टम का स्वरूप होता है
जहां (आम तौर पर समय-निर्भर) इनपुट यू(टी) को नियंत्रण, बाहरी इनपुट के रूप में देखा जा सकता है, उत्तेजना, अशांति, या जबरदस्ती कार्य। यह दिखाया गया है [13] संतुलन के बिंदु के करीब जो ल्यपुनोव स्थिर है, सिस्टम छोटी गड़बड़ी के तहत स्थिर रहता है। बड़ी इनपुट गड़बड़ी के लिए ऐसी प्रणालियों का अध्ययन नियंत्रण सिद्धांत का विषय है और नियंत्रण इंजीनियरिंग में लागू किया जाता है। इनपुट वाले सिस्टम के लिए, सिस्टम की स्थिरता पर इनपुट के प्रभाव की मात्रा निर्धारित करनी चाहिए। इस विश्लेषण के मुख्य दो दृष्टिकोण हैं बीआईबीओ स्थिरता (रैखिक प्रणाली के लिए) और इनपुट-टू-स्टेट स्थिरता (आईएसएस) (अरेखीय प्रणाली के लिए)
उदाहरण
यह उदाहरण ऐसी प्रणाली दिखाता है जहां ल्यपुनोव फ़ंक्शन का उपयोग ल्यपुनोव स्थिरता को साबित करने के लिए किया जा सकता है लेकिन स्पर्शोन्मुख स्थिरता नहीं दिखा सकता है। घर्षण पद में परिवर्तन के साथ वैन डेर पोल ऑसिलेटर समीकरण के आधार पर निम्नलिखित समीकरण पर विचार करें:
होने देना
ताकि संबंधित प्रणाली हो
मूल मात्र संतुलन बिंदु है। आइए हम ल्यपुनोव फ़ंक्शन के रूप में चुनें
जो स्पष्ट रूप से सकारात्मक-निश्चित कार्य है। इसका व्युत्पत्ति है
ऐसा लगता है कि यदि पैरामीटर सकारात्मक है, स्थिरता के लिए स्पर्शोन्मुख है लेकिन यह गलत है, क्योंकि पर निर्भर नहीं है , और हर जगह 0 होगा ्सिस। संतुलन ल्यपुनोव स्थिर है लेकिन स्पर्शोन्मुख रूप से स्थिर नहीं है।
बार्बलाट की प्रमेयिका और समय-भिन्न प्रणालियों की स्थिरता
मान लें कि f केवल समय का फलन है।
- रखना इसका मतलब यह नहीं है पर सीमा है . उदाहरण के लिए, .
- रखना सीमा के करीब पहुंच रहा है इसका मतलब यह नहीं है . उदाहरण के लिए, .
- रखना निचली सीमा और घटती हुई () तात्पर्य यह है कि यह सीमा तक अभिसरण करता है। लेकिन यह नहीं बताता कि है या नहीं जैसा .
बार्बलाट की लेम्मा (गणित) कहती है:
- अगर की सीमित सीमा होती है और अगर समान रूप से सतत है (या घिरा हुआ है), फिर जैसा .[14]
वैकल्पिक संस्करण इस प्रकार है:
- होने देना और . अगर और , तब जैसा [15]
निम्नलिखित रूप में लेम्मा वेक्टर वैल्यू वाले मामले में भी सत्य है:
- होने देना बनच स्पेस में मानों के साथ समान रूप से निरंतर फ़ंक्शन बनें और मान लीजिये की सीमित सीमा होती है . तब जैसा .[16]
निम्नलिखित उदाहरण स्लोटिन और ली की पुस्तक एप्लाइड नॉनलाइनियर कंट्रोल के पृष्ठ 125 से लिया गया है।
गैर-स्वायत्त प्रणाली (गणित)|गैर-स्वायत्त प्रणाली पर विचार करें
यह गैर-स्वायत्त है क्योंकि इनपुट समय का कार्य है. मान लें कि इनपुट घिरा है।
ले रहा देता है ये तो यही कहता है पहली दो शर्तों से और इसलिए और बंधे हुए हैं. लेकिन यह के अभिसरण के बारे में कुछ नहीं कहता है शून्य करने के लिए. इसके अलावा, लासेल के अपरिवर्तनीय सिद्धांत को लागू नहीं किया जा सकता, क्योंकि गतिशीलता गैर-स्वायत्त है।
बार्बलाट की लेम्मा का उपयोग करना:
- .
यह इसलिए बाध्य है , और बंधे हुए हैं. यह संकेत करता है जैसा और इसलिए . इससे सिद्ध होता है कि त्रुटि मिलती है।
यह भी देखें
- ल्यपुनोव समारोह
- लासेल का अपरिवर्तनशील सिद्धांत
- ल्यपुनोव-मल्किन प्रमेय
- मार्कस-यामाबे अनुमान
- लाइब्रेशन बिंदु कक्षा
- हार्टमैन-ग्रोबमैन प्रमेय
- क्षोभ सिद्धांत
संदर्भ
- ↑ 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.
- ↑ 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.
- ↑ Letov, A. M. (1955). Устойчивость нелинейных регулируемых систем [Stability of Nonlinear Control Systems] (in русский). Moscow: Gostekhizdat. English tr. Princeton 1961
- ↑ 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.
- ↑ LaSalle, J. P.; Lefschetz, S. (1961). अनुप्रयोगों के साथ लायपुनोव की दूसरी विधि द्वारा स्थिरता. New York: Academic Press.
- ↑ Parks, P. C. (1962). "स्वचालित नियंत्रण सिद्धांत में लियापुनोव की विधि". Control. I Nov 1962 II Dec 1962.
- ↑ 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.
- ↑ Smith, M. J.; Wisten, M. B. (1995). "एक सतत दैनिक ट्रैफ़िक असाइनमेंट मॉडल और एक सतत गतिशील उपयोगकर्ता संतुलन का अस्तित्व". Annals of Operations Research. 60 (1): 59–79. doi:10.1007/BF02031940. S2CID 14034490.
- ↑ Hahn, Wolfgang (1967). गति की स्थिरता. Springer. pp. 191–194, Section 40. doi:10.1007/978-3-642-50085-5. ISBN 978-3-642-50087-9.
- ↑ 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.
- ↑ Vinograd, R. E. (1957). "अरैखिक अवकल समीकरणों के अध्ययन के लिए चारित्रिक घातांकों की विधि की अपर्याप्तता". Doklady Akademii Nauk (in Russian). 114 (2): 239–240.
{{cite journal}}
: CS1 maint: unrecognized language (link) - ↑ Goh, B. S. (1977). "अनेक-प्रजाति प्रणालियों में वैश्विक स्थिरता". The American Naturalist. 111 (977): 135–143. doi:10.1086/283144. S2CID 84826590.
- ↑ 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
- ↑ I. Barbălat, Systèmes d'équations différentielles d'oscillations non Linéaires, Rev. Math. Pures Appl. 4 (1959) 267–270, p. 269.
- ↑ 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.
- ↑ 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.
अग्रिम पठन
- Bhatia, Nam Parshad; Szegő, Giorgio P. (2002). Stability theory of dynamical systems. Springer. ISBN 978-3-540-42748-3.
- Chervin, Robert (1971). Lyapunov Stability and Feedback Control of Two-Stream Plasma Systems (PhD). Columbia University.
- Gandolfo, Giancarlo (1996). Economic Dynamics (Third ed.). Berlin: Springer. pp. 407–428. ISBN 978-3-540-60988-9.
- Parks, P. C. (1992). "A. M. Lyapunov's stability theory—100 years on". IMA Journal of Mathematical Control & Information. 9 (4): 275–303. doi:10.1093/imamci/9.4.275.
- Slotine, Jean-Jacques E.; Weiping Li (1991). Applied Nonlinear Control. NJ: Prentice Hall.
- Teschl, G. (2012). Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.
- Wiggins, S. (2003). Introduction to Applied Nonlinear Dynamical Systems and Chaos (2nd ed.). New York: Springer Verlag. ISBN 978-0-387-00177-7.
This article incorporates material from asymptotically stable on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.