ल्यपुनोव स्थिरता
Part of a series on |
Astrodynamics |
---|
गतिशील प्रणालियों का वर्णन करने वाले [[अंतर समीकरणों]] या अंतर समीकरणों के समाधान के लिए विभिन्न प्रकार के स्थिरता सिद्धांत पर वर्णन किया जा सकता है। सबसे महत्वपूर्ण प्रकार संतुलन के बिंदु के निकट समाधानों की स्थिरता से संबंधित है। इस पर अलेक्सांद्र ल्यपुनोव के सिद्धांत से वर्णन किया जा सकता है। सरल शब्दों में, यदि समाधान संतुलन बिंदु के पास प्रारंभ होते हैं तो सदैव के लिए ल्यपुनोव स्थिर है। और अधिक स्थिरता से, यदि ल्यपुनोव स्थिर है में अभिसरण किया जाता है , फिर को एसिम्प्टोटिक रूप से स्थिर कहा जाता है (एसिम्प्टोटिक विश्लेषण देखें)। घातांकीय स्थिरता की धारणा क्षय की न्यूनतम दर का आश्वासन देता है, अर्थात, यह अनुमान लगाता है कि समाधान कितनी शीघ्रता से अभिसरण होते हैं। ल्यपुनोव स्थिरता के विचार को अनंत-आयामी कई गुना तक बढ़ाया जा सकता है, जहां इसे संरचनात्मक स्थिरता के रूप में जाना जाता है, जो अंतर समीकरणों के विभिन्न किन्तु निकटवर्ती समाधानों के व्यवहार से संबंधित है। इनपुट-टू-स्टेट स्थिरता (आईएसएस) वाले प्रणाली पर ल्यपुनोव धारणाओं को प्रारम्भ करता है।
इतिहास
लायपुनोव स्थिरता का नाम रूसी गणितज्ञ अलेक्सांद्र मिखाइलोविच ल्यपुनोव के नाम पर रखा गया है, जिन्होंने 1892 में खार्कोव विश्वविद्यालय में गति की स्थिरता की सामान्य समस्या थीसिस का बचाव किया था।[1] ए. एम. लायपुनोव संतुलन के बिंदुओं के बारे में उन्हें रैखिक बनाने की व्यापक रूप से फैली स्थानीय पद्धति की तुलना करके अरेखीय गतिशील प्रणालियों की स्थिरता के विश्लेषण के लिए वैश्विक दृष्टिकोण विकसित करने के सफल प्रयासों में अग्रणी थे। उनका कार्य, जो प्रारंभ में रूसी में प्रकाशित हुआ और फिर फ्रेंच में अनुवादित हुआ, कई वर्षों तक अधिक कम ध्यान दिया गया। ए.एम. लायपुनोव द्वारा स्थापित गति की स्थिरता के गणितीय सिद्धांत ने विज्ञान और प्रौद्योगिकी में इसके कार्यान्वयन के लिए अधिक समय का अनुमान लगाया था। इसके अतिरिक्त लायपुनोव ने स्वयं इस क्षेत्र में आवेदन नहीं किया, उनकी रुचि खगोलीय अनुप्रयोग के साथ घूर्णनशील द्रव द्रव्यमान की स्थिरता में थी। उनके पास कोई डॉक्टरेट छात्र नहीं थे जो स्थिरता के क्षेत्र में अनुसंधान का अनुसरण करते थे और 1918 में उनकी आत्महत्या के कारण उनका अपना भाग्य अधिक दुखद था। कई दशकों तक स्थिरता का सिद्धांत पूर्ण रूप से अप्रसिद्ध हो गया। 1930 के दशक में कज़ान एविएशन इंस्टीट्यूट में कार्य करने वाले रूसी-सोवियत गणितज्ञ और मैकेनिक निकोले गुरयेविच चेतेव प्रथम व्यक्ति थे जिन्होंने ए.एम. ल्यपुनोव द्वारा किये गए परिक्षण की अविश्वसनीय परिमाण को अनुभव किया था। सिद्धांत में योगदान एन.जी.चेतेव द्वारा किया गया[2] इतना महत्वपूर्ण था कि कई गणितज्ञ, भौतिक विज्ञानी और इंजीनियर उन्हें ल्यपुनोव का प्रत्यक्ष उत्तराधिकारी और स्थिरता के गणितीय सिद्धांत के निर्माण और विकास में अगला वैज्ञानिक वंशज मानते हैं।
शीत युद्ध (1953-62) की अवधि के समय इसमें रुचि अचानक बढ़ गई जब ल्यपुनोव की तथाकथित दूसरी विधि (नीचे देखें) को एयरोस्पेस मार्गदर्शन प्रणालियों की स्थिरता के लिए प्रारम्भ पाया गया, जिसमें सामान्यतः स्थिरता अरैखिकताएं होती हैं जो अन्य विधियों से योग्य नहीं होता हैं। नियंत्रण और प्रणाली साहित्य में तब और उसके पश्चात से बड़ी संख्या में प्रकाशन सामने आए।[3][4][5][6][7]वर्तमान में ल्यपुनोव प्रतिपादक की अवधारणा (स्थिरता पर चर्चा करने की ल्यपुनोव की प्रथम विधि से संबंधित) को अराजकता सिद्धांत के संबंध में व्यापक रुचि मिली है। ट्रैफ़िक असाइनमेंट समस्याओं में संतुलन समाधान परिक्षण करने के लिए ल्यपुनोव स्थिरता विधियों को भी प्रारम्भ किया गया है।[8]
निरंतर-समय प्रणालियों के लिए परिभाषा
स्वायत्त प्रणाली (गणित) अरेखीय गतिशील प्रणाली पर विचार किया जाता है:
- ,
जहाँ प्रणाली स्थिति वेक्टर को दर्शाता है, संवृत समुच्चय जिसमें मूल सम्मिलित है, और सतत सदिश क्षेत्र है द्वारा कल्पना की जा सकती है पर संतुलन है जिससे तब
- इस संतुलन को ल्यपुनोव स्थिर कहा जाता है, यदि, प्रत्येक के लिए उपस्तिथ है ऐसा कि, यदि , फिर प्रत्येक के लिए अपने पास है।
- उपरोक्त प्रणाली का संतुलन स्पर्शोन्मुख रूप से स्थिर कहा जाता है यदि यह ल्यपुनोव स्थिर है और उपस्तिथ है ऐसे कि यदि , तब है।
- उपरोक्त प्रणाली के संतुलन को चरघातांकीय रूप से स्थिर कहा जाता है यदि यह स्पर्शोन्मुख रूप से स्थिर है और उपस्तिथ है ऐसे कि यदि , तब , सभी के लिए है।
वैचारिक रूप से, उपरोक्त शब्दों के अर्थ निम्नलिखित हैं:
- संतुलन की लायपुनोव स्थिरता का अर्थ है कि समाधान संतुलन के अधिक निकट (दूरी के भीतर) प्रारंभ होते हैं इससे) सदैव के लिए अधिक निकट (दूरी के भीतर) बने रहते हैं यह से)। ध्यान दें कि यह किसी के लिए भी सत्य होना चाहिए जिसे किसी का चयन किया जायेंगा।
- एसिम्प्टोटिक स्थिरता का अर्थ है कि जो समाधान अधिक निकट से प्रारंभ होते हैं वे न केवल अधिक निकट रहते हैं अन्यथा अंततः संतुलन में आ जाते हैं।
- घातीय स्थिरता का अर्थ है कि समाधान न केवल अभिसरित होते हैं, अन्यथा वास्तव में विशेष ज्ञात दर से अधिक या कम से कम उतनी ही तीव्रता से अभिसरण होते हैं।
प्रक्षेप पथ (स्थानीय रूप से) आकर्षक है यदि
- जैसा
सभी प्रक्षेप पथों के लिए जो अधिक निकट से प्रारंभ होता है , और विश्व स्तर पर आकर्षक यदि यह गुण सभी प्रक्षेप पथों के लिए उपयुक्त है।
अर्थात्, यदि 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.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.