सामान्य अवकल समीकरणों का संख्यात्मक हल
यह क्षेत्र समय-चरणबद्ध (टाइम-स्टेपिंग) विधियों का विकास और विश्लेषण करता है जो सामान्य अवकल समीकरणों के हल का अनुमान लगाती हैं, सटीकता और स्थिरता को नियंत्रित करते हुए प्रारंभिक स्थिति को चरण-दर-चरण आगे बढ़ाती हैं।
Definition
सामान्य अवकल समीकरणों का संख्यात्मक हल उन एल्गोरिदम का निर्माण और विश्लेषण है जो स्वतंत्र चर को असतत करके दिए गए प्रारंभिक (या सीमा) शर्तों के साथ अवकल समीकरणों के अनुमानित हल उत्पन्न करते हैं।
Scope
इसमें एक-चरणीय (रुंगे-कुट्टा) और बहु-चरणीय विधियों द्वारा हल की गई ODEs प्रणालियों के लिए प्रारंभिक मान समस्याओं को शामिल किया गया है, संगति (कंसिस्टेंसी), स्थिरता (स्टेबिलिटी) और अभिसरण (कन्वर्जेंस) की अवधारणाएं (डाहलक्विस्ट सिद्धांत), अनुकूली चरण-आकार चयन के माध्यम से त्रुटि नियंत्रण, और कठोर समस्याओं के लिए आवश्यक विशेष उपचार; सीमा मान समस्याओं और ज्यामितीय इंटीग्रेटर्स को विस्तार के रूप में माना जाता है।
Sub-topics
Core questions
- एक सतत अवकल समीकरण को एक स्थिर, अभिसारी समय-चरणबद्ध योजना में कैसे असतत किया जाता है?
- इन विधियों के लिए संगति, स्थिरता और अभिसरण के बीच क्या संबंध है?
- एक सटीकता आवश्यकता को कुशलतापूर्वक पूरा करने के लिए चरण आकार को अनुकूली रूप से कैसे चुना जाता है?
- कठोर समस्याओं को अंतर्निहित विधियों की आवश्यकता क्यों होती है, और कठोरता को कैसे चित्रित किया जाता है?
Key theories
- संगति, स्थिरता और अभिसरण
- एक विधि वास्तविक हल की ओर अभिसरित होती है क्योंकि चरण आकार शून्य की ओर प्रवृत्त होता है यदि और केवल यदि यह सुसंगत (अग्रणी क्रम तक सटीक) और स्थिर (त्रुटियों को अनियंत्रित रूप से प्रवर्धित नहीं करता) है; यह लैक्स-प्रकार की समानता, जिसे डाहलक्विस्ट द्वारा बहु-चरणीय विधियों के लिए सटीक बनाया गया था, इस क्षेत्र का संगठनात्मक सिद्धांत है।
- एक-चरणीय बनाम बहु-चरणीय विधियाँ
- एक-चरणीय (रुंगे-कुट्टा) विधियाँ केवल वर्तमान स्थिति का उपयोग करती हैं लेकिन कई आंतरिक चरणों का, जबकि बहु-चरणीय विधियाँ कई पिछले मानों का पुन: उपयोग करती हैं; प्रत्येक परिवार कार्यान्वयन जटिलता, स्मृति और स्थिरता को अलग-अलग तरीके से व्यापार करता है।
- अनुकूली त्रुटि नियंत्रण
- एम्बेडेड विधि जोड़े प्रत्येक चरण पर स्थानीय ट्रंकेशन त्रुटि का अनुमान प्रदान करते हैं, जिसका उपयोग चरण को स्वीकार या अस्वीकार करने और चरण आकार को समायोजित करने के लिए किया जाता है ताकि न्यूनतम कार्य के साथ एक निर्धारित सहिष्णुता को पूरा किया जा सके।
Clinical relevance
ODE सॉल्वर विज्ञान और इंजीनियरिंग में मौलिक मॉडलिंग उपकरण हैं: वे यांत्रिकी और खगोल विज्ञान में गति के समीकरणों, रसायन विज्ञान और सिस्टम जीव विज्ञान में प्रतिक्रिया कैनेटीक्स, सर्किट और नियंत्रण-प्रणाली की गतिशीलता, और जनसंख्या और महामारी विज्ञान मॉडल को एकीकृत करते हैं; ऐसे सिमुलेशन की विश्वसनीयता सीधे चुनी गई समय-एकीकरण विधि की सटीकता और स्थिरता पर निर्भर करती है।
History
शास्त्रीय एक-चरणीय विधियों को रुंगे और कुट्टा द्वारा लगभग 1900 में विकसित किया गया था और बहु-चरणीय विधियों को एडम्स, बैशफोर्थ और मौलटन द्वारा; आधुनिक सिद्धांत को जर्मंड डाहलक्विस्ट के मध्य-बीसवीं सदी के स्थिरता और क्रम बाधाओं पर परिणामों और जॉन बुचर के रुंगे-कुट्टा विधियों के बीजगणितीय सिद्धांत द्वारा एकीकृत किया गया था, जिसमें 1960 और 1970 के दशक में कठोर-समस्या सॉल्वर आए।
Key figures
- Carl Runge
- Wilhelm Kutta
- Germund Dahlquist
- John C. Butcher
Related topics
Seminal works
- hairer1993
- iserles2008
- butcher2016
Frequently asked questions
- किसी विधि के अभिसारी होने का क्या अर्थ है?
- एक विधि अभिसारी होती है यदि उसका परिकलित हल सटीक हल के करीब आता है जब चरण आकार शून्य की ओर जाता है। मौलिक तुल्यता प्रमेय के अनुसार यह ठीक तभी होता है जब विधि सुसंगत (स्थानीय रूप से सटीक) और स्थिर (त्रुटियां नहीं बढ़तीं) दोनों हो।
- इतनी सारी अलग-अलग ODE विधियाँ क्यों हैं?
- विभिन्न समस्याएं विभिन्न चीजों को प्राथमिकता देती हैं: उच्च सटीकता, प्रति चरण कम लागत, कम स्मृति, या कठोरता के प्रति मजबूती। रुंगे-कुट्टा, बहु-चरणीय, स्पष्ट और अंतर्निहित परिवार इनमें से प्रत्येक व्यापार-बंद में एक अलग बिंदु पर कब्जा करते हैं, इसलिए सभी समस्याओं के लिए कोई एक विधि सबसे अच्छी नहीं है।