साधारण अवकल समीकरण: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 9: Line 9:
साधारण अवकल समीकरणों में रैखिक अवकल समीकरण अनेक कारणों से प्रभावी भूमिका निभाते हैं। अधिकांश प्रारंभिक और [[विशेष कार्य|विशेष फलन]] जो भौतिकी और अनुप्रयुक्त गणित में पाए जाते हैं, रैखिक अंतर समीकरणों के हल हैं ([[होलोनोमिक फ़ंक्शन|होलोनोमिक फलन]] देखें)। जब भौतिक परिघटना को अरेखीय समीकरणों द्वारा रूपांकित किया जाता है, तो वे सामान्यतया इन्हें सरल हल  के लिए रैखिक अंतर समीकरणों द्वारा अनुमानित किया जाता है। कुछ अरेखीय ओडीई जिन्हें स्पष्ट रूप से हल किया जा सकता है, वे सामान्यतया समीकरण को समकक्ष रैखिक ओडीई में बदलकर हल किया जाता है (देखें, उदाहरण के लिए [[रिकाटी समीकरण]])।
साधारण अवकल समीकरणों में रैखिक अवकल समीकरण अनेक कारणों से प्रभावी भूमिका निभाते हैं। अधिकांश प्रारंभिक और [[विशेष कार्य|विशेष फलन]] जो भौतिकी और अनुप्रयुक्त गणित में पाए जाते हैं, रैखिक अंतर समीकरणों के हल हैं ([[होलोनोमिक फ़ंक्शन|होलोनोमिक फलन]] देखें)। जब भौतिक परिघटना को अरेखीय समीकरणों द्वारा रूपांकित किया जाता है, तो वे सामान्यतया इन्हें सरल हल  के लिए रैखिक अंतर समीकरणों द्वारा अनुमानित किया जाता है। कुछ अरेखीय ओडीई जिन्हें स्पष्ट रूप से हल किया जा सकता है, वे सामान्यतया समीकरण को समकक्ष रैखिक ओडीई में बदलकर हल किया जाता है (देखें, उदाहरण के लिए [[रिकाटी समीकरण]])।


कुछ ओडीई को स्पष्ट रूप से ज्ञात फलन और [[antiderivative|समाकल]] के संदर्भ में हल किया जा सकता है। जब यह मुमकिन न हो कि, [[टेलर श्रृंखला]] के समाधानों की गणना के लिए समीकरण उपयोगी हो सकता है। और अनुप्रयुक्त समस्याओं के लिए, सामान्य अवकल समीकरणों के लिए संख्यात्मक विधियाँ का निकटतम प्रदान कर सकती हैं।
कुछ ओडीई को स्पष्ट रूप से ज्ञात फलन और [[antiderivative|समाकल]] के संदर्भ में हल किया जा सकता है। जब यह मुमकिन न हो कि, [[टेलर श्रृंखला]] के हल ों की गणना के लिए समीकरण उपयोगी हो सकता है। और अनुप्रयुक्त समस्याओं के लिए, सामान्य अवकल समीकरणों के लिए संख्यात्मक विधियाँ का निकटतम प्रदान कर सकती हैं।


== पृष्ठभूमि ==
== पृष्ठभूमि ==
Line 88: Line 88:
0
0
\end{pmatrix}</math>
\end{pmatrix}</math>
<math>\mathbf{F} \left(x,\mathbf{y},\mathbf{y}'\right) = \boldsymbol{0}</math>, की एक प्रणाली के लिए कुछ स्रोतों की भी आवश्यक होती है, कि [[जैकबियन मैट्रिक्स|जैकबियन]] आव्यूह <math>\frac{\partial\mathbf{F}(x,\mathbf{u},\mathbf{v})}{\partial \mathbf{v}}</math> इसे एक अंतर्निहित ODE प्रणाली कहने के लिए गैर-[[एकवचन]] होना चाहिए। इस जैकोबियन गैर-विलक्षणता  अवस्था को संतुष्ट करने वाली एक अंतर्निहित ओड सिस्टम को एक स्पष्ट ओड सिस्टम में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित ऑड तंत्र को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल एक शब्दावली में से एक नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड सिस्टमों की अपेक्षा उनका समाधान करने में अधिक सहायक होते हैं।।<ref>{{harvtxt|Kreyszig|1972|p=12}}</ref><ref>{{harvtxt|Ascher|1998|p=12}}</ref><ref name="IlchmannReis2014">{{cite book|author1=Achim Ilchmann|author2=Timo Reis|title=विभेदक-बीजगणितीय समीकरण II में सर्वेक्षण|year=2014|publisher=Springer|isbn=978-3-319-11050-9|pages=104–105}}</ref> संभावित रूप से अतिरिक्त व्युत्पन्न के लिए, [[हेसियन मैट्रिक्स|हेसियन]] आव्यूह और आगे भी इस योजना के अनुसार गैर-एकवचन माना जाता है,{{citation needed|date=December 2014}} चूँकि, ध्यान दें कि एक से अधिक ऑर्डर का कोई भी ODE पहले ऑर्डर के ODE के सिस्टम के रूप में फिर से लिखा जा सकता है और सामान्यता होता है,<ref>{{harvtxt|Ascher|1998|p=5}}</ref> जो इस वर्गीकरणो के लिए पर्याप्त होने के लिए जैकबियन विलक्षणता मानदंड को सभी आदेशों पर व्यापक बनाता है.।
<math>\mathbf{F} \left(x,\mathbf{y},\mathbf{y}'\right) = \boldsymbol{0}</math>, की एक प्रणाली के लिए कुछ स्रोतों की भी आवश्यक होती है, कि [[जैकबियन मैट्रिक्स|जैकबियन]] आव्यूह <math>\frac{\partial\mathbf{F}(x,\mathbf{u},\mathbf{v})}{\partial \mathbf{v}}</math> इसे एक अंतर्निहित ODE प्रणाली कहने के लिए गैर-[[एकवचन]] होना चाहिए। इस जैकोबियन गैर-विलक्षणता  अवस्था को संतुष्ट करने वाली एक अंतर्निहित ओड सिस्टम को एक स्पष्ट ओड सिस्टम में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित ऑड तंत्र को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल एक शब्दावली में से एक नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड सिस्टमों की अपेक्षा उनका हल  करने में अधिक सहायक होते हैं।।<ref>{{harvtxt|Kreyszig|1972|p=12}}</ref><ref>{{harvtxt|Ascher|1998|p=12}}</ref><ref name="IlchmannReis2014">{{cite book|author1=Achim Ilchmann|author2=Timo Reis|title=विभेदक-बीजगणितीय समीकरण II में सर्वेक्षण|year=2014|publisher=Springer|isbn=978-3-319-11050-9|pages=104–105}}</ref> संभावित रूप से अतिरिक्त व्युत्पन्न के लिए, [[हेसियन मैट्रिक्स|हेसियन]] आव्यूह और आगे भी इस योजना के अनुसार गैर-एकवचन माना जाता है,{{citation needed|date=December 2014}} चूँकि, ध्यान दें कि एक से अधिक ऑर्डर का कोई भी ODE पहले ऑर्डर के ODE के सिस्टम के रूप में फिर से लिखा जा सकता है और सामान्यता होता है,<ref>{{harvtxt|Ascher|1998|p=5}}</ref> जो इस वर्गीकरणो के लिए पर्याप्त होने के लिए जैकबियन विलक्षणता मानदंड को सभी आदेशों पर व्यापक बनाता है.।


एक [[चरण चित्र]] के उपयोग के माध्यम से ODEs की एक प्रणाली के आचरण  की कल्पना की जा सकती है।
एक [[चरण चित्र]] के उपयोग के माध्यम से ODEs की एक प्रणाली के आचरण  की कल्पना की जा सकती है।


=== समाधान ===
=== हल ===
एक अवकल समीकरण दिया है
एक अवकल समीकरण दिया है
:<math>F\left(x, y, y', \ldots, y^{(n)} \right) = 0</math>
:<math>F\left(x, y, y', \ldots, y^{(n)} \right) = 0</math>
Line 102: Line 102:


nवें क्रम के समीकरण का एक सामान्य हल  एक ऐसा हल  है जिसमें एकीकरण का n मनमाना स्वतंत्र स्थिरांक होता है। एक विशेष हल  सामान्य हल  से स्थिरांक को विशेष मानों पर सेट करके प्राप्त किया जाता है, जिसे अधिकांशता  सेट '[[प्रारंभिक मूल्य समस्या]] या [[सीमा मूल्य समस्या]]' को पूरा करने के लिए चुना जाता है।<ref>{{harvtxt|Kreyszig|1972|p=78}}</ref> [[एकवचन समाधान|एकवचन]] हल  एक ऐसा हल  है जिसे सामान्य हल  में यादृच्छिक अचरों को निश्चित मान देकर प्राप्त नहीं किया जा सकता है।<ref>{{harvtxt|Kreyszig|1972|p=4}}</ref>
nवें क्रम के समीकरण का एक सामान्य हल  एक ऐसा हल  है जिसमें एकीकरण का n मनमाना स्वतंत्र स्थिरांक होता है। एक विशेष हल  सामान्य हल  से स्थिरांक को विशेष मानों पर सेट करके प्राप्त किया जाता है, जिसे अधिकांशता  सेट '[[प्रारंभिक मूल्य समस्या]] या [[सीमा मूल्य समस्या]]' को पूरा करने के लिए चुना जाता है।<ref>{{harvtxt|Kreyszig|1972|p=78}}</ref> [[एकवचन समाधान|एकवचन]] हल  एक ऐसा हल  है जिसे सामान्य हल  में यादृच्छिक अचरों को निश्चित मान देकर प्राप्त नहीं किया जा सकता है।<ref>{{harvtxt|Kreyszig|1972|p=4}}</ref>
रेखीय ODE के संदर्भ में, शब्दावली विशेष हल  भी ODE के किसी भी हल  को संदर्भित कर सकता है (जरूरी नहीं कि प्रारंभिक शर्तों को पूरा करता हो), जिसे बाद में सजातीय हल  (सजातीय ODE का एक सामान्य समाधान) में जोड़ा जाता है, जो तब बनता है मूल ODE का एक सामान्य समाधान। यह इस आलेख में साधारण_अवकल _समीकरण#The_guessing_method अनुभाग में उपयोग की जाने वाली शब्दावली है, और अनिर्धारित गुणांक और पैरामीटर की भिन्नता की विधि पर चर्चा करते समय अधिकांशता  इसका उपयोग किया जाता है।
रेखीय ODE के संदर्भ में, शब्दावली विशेष हल  भी ODE के किसी भी हल  को संदर्भित कर सकता है (जरूरी नहीं कि प्रारंभिक शर्तों को पूरा करता हो), जिसे बाद में सजातीय हल  (सजातीय ODE का एक सामान्य हल ) में जोड़ा जाता है, जो तब बनता है मूल ODE का एक सामान्य हल । यह इस आलेख में साधारण_अवकल _समीकरण#The_guessing_method अनुभाग में उपयोग की जाने वाली शब्दावली है, और अनिर्धारित गुणांक और पैरामीटर की भिन्नता की विधि पर चर्चा करते समय अधिकांशता  इसका उपयोग किया जाता है।


=== परिमित अवधि के समाधान ===
=== परिमित अवधि के हल ===


अरेखीय  स्वायत्त ODEs के लिए कुछ शर्तों के अनुसार  परिमित अवधि के हल  विकसित करना मुमकिन है,<ref>{{cite book |author = Vardia T. Haimo |title = 1985 निर्णय और नियंत्रण पर 24वां IEEE सम्मेलन|chapter = Finite Time Differential Equations |year = 1985 |pages = 1729–1733 |doi = 10.1109/CDC.1985.268832 |s2cid = 45426376 |chapter-url=https://ieeexplore.ieee.org/document/4048613}}</ref> यहाँ अर्थ यह है कि अपनी स्वयं की गतिकी से, सिस्टम एक अंत समय में शून्य मान तक पहुँच जाएगा और वहाँ हमेशा के लिए शून्य में रहता है। ये परिमित-अवधि के हल  संपूर्ण वास्तविक रेखा पर विश्लेषणात्मक कार्य नहीं कर सकते हैं, और क्योंकि वे अपने अंतिम समय में गैर-लिप्सचिट्ज़ कार्य करेंगे, वे लिप्सचिट्ज़ अंतर समीकरणों के हल  की विशिष्टता नहीं रखते हैं।
अरेखीय  स्वायत्त ODEs के लिए कुछ शर्तों के अनुसार  परिमित अवधि के हल  विकसित करना मुमकिन है,<ref>{{cite book |author = Vardia T. Haimo |title = 1985 निर्णय और नियंत्रण पर 24वां IEEE सम्मेलन|chapter = Finite Time Differential Equations |year = 1985 |pages = 1729–1733 |doi = 10.1109/CDC.1985.268832 |s2cid = 45426376 |chapter-url=https://ieeexplore.ieee.org/document/4048613}}</ref> यहाँ अर्थ यह है कि अपनी स्वयं की गतिकी से, सिस्टम एक अंत समय में शून्य मान तक पहुँच जाएगा और वहाँ हमेशा के लिए शून्य में रहता है। ये परिमित-अवधि के हल  संपूर्ण वास्तविक रेखा पर विश्लेषणात्मक कार्य नहीं कर सकते हैं, और क्योंकि वे अपने अंतिम समय में गैर-लिप्सचिट्ज़ कार्य करेंगे, वे लिप्सचिट्ज़ अंतर समीकरणों के हल  की विशिष्टता नहीं रखते हैं।
Line 116: Line 116:
== सिद्धांत ==
== सिद्धांत ==


===एकवचन समाधान===
===एकवचन हल ===
साधारण और आंशिक अंतर समीकरणों के एकवचन हल  का सिद्धांत लीबनिज के समय से ही शोध का विषय था, लेकिन केवल उन्नीसवीं शताब्दी के मध्य से ही इस पर विशेष ध्यान दिया गया है। इस विषय पर एक मूल्यवान लेकिन अल्पज्ञात कृति हौटेन (1854) की है। [[जीन गैस्टन डार्बौक्स]] (1873 से) सिद्धांत में एक नेता थे, और इन समाधानों की ज्यामितीय व्याख्या में उन्होंने विभिन्न लेखकों, विशेष रूप से [[फेलिस कासोराती (गणितज्ञ)]] और [[आर्थर केली]] द्वारा काम किया एक क्षेत्र खोला। उत्तरार्द्ध के कारण (1872) प्रथम क्रम के अंतर समीकरणों के एकवचन हल  के सिद्धांत के रूप में स्वीकृत लगभग 1900 है।
साधारण और आंशिक अंतर समीकरणों के एकवचन हल  का सिद्धांत लीबनिज के समय से ही शोध का विषय था, लेकिन केवल उन्नीसवीं शताब्दी के मध्य से ही इस पर विशेष ध्यान दिया गया है। इस विषय पर एक मूल्यवान लेकिन अल्पज्ञात कृति हौटेन (1854) की है। [[जीन गैस्टन डार्बौक्स]] (1873 से) सिद्धांत में एक नेता थे, और इन हल ों की ज्यामितीय व्याख्या में उन्होंने विभिन्न लेखकों, विशेष रूप से [[फेलिस कासोराती (गणितज्ञ)]] और [[आर्थर केली]] द्वारा काम किया एक क्षेत्र खोला। उत्तरार्द्ध के कारण (1872) प्रथम क्रम के अंतर समीकरणों के एकवचन हल  के सिद्धांत के रूप में स्वीकृत लगभग 1900 है।


=== चतुष्कोणों में कमी ===
=== चतुष्कोणों में कमी ===
Line 130: Line 130:


अवकल  समीकरणों के लाई के समूह सिद्धांत को प्रमाणित किया गया है, अर्थात्: (1) कि यह अंतर समीकरणों को हल करने के लिए जाने जाने वाले कई तदर्थ तरीकों को एकीकृत करता है, और (2) कि यह हल  खोजने के शक्तिशाली विधि प्रदान करता है। सिद्धांत में साधारण और आंशिक अंतर समीकरणों दोनों के लिए अनुप्रयोग हैं।<ref>{{harvtxt|Lawrence|1999|p=9}}</ref>
अवकल  समीकरणों के लाई के समूह सिद्धांत को प्रमाणित किया गया है, अर्थात्: (1) कि यह अंतर समीकरणों को हल करने के लिए जाने जाने वाले कई तदर्थ तरीकों को एकीकृत करता है, और (2) कि यह हल  खोजने के शक्तिशाली विधि प्रदान करता है। सिद्धांत में साधारण और आंशिक अंतर समीकरणों दोनों के लिए अनुप्रयोग हैं।<ref>{{harvtxt|Lawrence|1999|p=9}}</ref>
एक सामान्य हल  दृष्टिकोण अंतर समीकरणों की समरूपता संपत्ति का उपयोग करता है, समाधानों के समाधानों के निरंतर अत्यल्प परिवर्तन (झूठे सिद्धांत)। निरंतर [[समूह सिद्धांत]], लाई बीजगणित, और [[अंतर ज्यामिति]] का उपयोग रैखिक और अरेखीय  (आंशिक) अंतर समीकरणों की संरचना को समझने के लिए किया जाता है, इसलिये इसके लैक्स जोड़े, पुनरावर्तन संचालक, बैकलंड रूपांतरण और अंत में सटीक विश्लेषणात्मक हल  खोजे जा सकें। डे के लिए।
एक सामान्य हल  दृष्टिकोण अंतर समीकरणों की समरूपता संपत्ति का उपयोग करता है, हल ों के हल ों के निरंतर अत्यल्प परिवर्तन (झूठे सिद्धांत)। निरंतर [[समूह सिद्धांत]], लाई बीजगणित, और [[अंतर ज्यामिति]] का उपयोग रैखिक और अरेखीय  (आंशिक) अंतर समीकरणों की संरचना को समझने के लिए किया जाता है, इसलिये इसके लैक्स जोड़े, पुनरावर्तन संचालक, बैकलंड रूपांतरण और अंत में सटीक विश्लेषणात्मक हल  खोजे जा सकें। डे के लिए।


गणित, भौतिकी, इंजीनियरिंग और अन्य विषयों में उत्पन्न होने वाले अवकल  समीकरणों पर समरूपता विधियों को लागू किया गया है।
गणित, भौतिकी, इंजीनियरिंग और अन्य विषयों में उत्पन्न होने वाले अवकल  समीकरणों पर समरूपता विधियों को लागू किया गया है।
Line 236: Line 236:




== सटीक समाधानों का सारांश ==
== सटीक हल ों का सारांश ==
<!--Please leave the tables alone. If a table format is really disliked then instead of simply deleting it - expand into prose. For now they are there to summarize some common forms of equations and their solutions. Details are in the other articles. -->
<!--Please leave the tables alone. If a table format is really disliked then instead of simply deleting it - expand into prose. For now they are there to summarize some common forms of equations and their solutions. Details are in the other articles. -->
कुछ अवकल समीकरणों के हल होते हैं जिन्हें सटीक और बंद रूप में लिखा जा सकता है। यहाँ कई महत्वपूर्ण वर्ग दिए गए हैं।
कुछ अवकल समीकरणों के हल होते हैं जिन्हें सटीक और बंद रूप में लिखा जा सकता है। यहाँ कई महत्वपूर्ण वर्ग दिए गए हैं।
Line 313: Line 313:
<math> \ln (Cx) = \int^{xy} \frac{N(\lambda)\,d\lambda}{\lambda [N(\lambda)-M(\lambda)] } </math>
<math> \ln (Cx) = \int^{xy} \frac{N(\lambda)\,d\lambda}{\lambda [N(\lambda)-M(\lambda)] } </math>


यदि ''N'' = ''M'', समाधान है ''xy'' = ''C''.
यदि ''N'' = ''M'', हल  है ''xy'' = ''C''.
|-
|-
| सटीक अवकलन, पहला क्रम<ref name= "EDEBVP" />
| सटीक अवकलन, पहला क्रम<ref name= "EDEBVP" />
Line 434: Line 434:
जब एक ODE को हल करने के लिए अन्य सभी विधि विफल हो जाती हैं, या ऐसे मामलों में जहां हमें इस बारे में कुछ अंतर्ज्ञान होता है कि DE का हल  कैसा दिख सकता है, तो कभी-कभी केवल हल  का अनुमान लगाकर और इसे मान्य करके DE को हल करना मुमकिन होता है। इस विधि का उपयोग करने के लिए, हम केवल अंतर समीकरण के हल  का अनुमान लगाते हैं, और फिर समीकरण को संतुष्ट करने के लिए हल  को अंतर समीकरण में प्लग करते हैं। यदि ऐसा होता है तो हमारे पास DE का एक विशेष हल  है, अन्यथा हम फिर से शुरू करते हैं और एक और अनुमान लगाने का प्रयास करते हैं। उदाहरण के लिए हम अनुमान लगा सकते हैं कि DE के हल  का रूप है: <math>y = Ae^{\alpha t}</math> चूंकि यह एक बहुत ही सामान्य उपाय है जो शारीरिक रूप से साइनसोइडल विधि के रूप में आचरण  करता है।
जब एक ODE को हल करने के लिए अन्य सभी विधि विफल हो जाती हैं, या ऐसे मामलों में जहां हमें इस बारे में कुछ अंतर्ज्ञान होता है कि DE का हल  कैसा दिख सकता है, तो कभी-कभी केवल हल  का अनुमान लगाकर और इसे मान्य करके DE को हल करना मुमकिन होता है। इस विधि का उपयोग करने के लिए, हम केवल अंतर समीकरण के हल  का अनुमान लगाते हैं, और फिर समीकरण को संतुष्ट करने के लिए हल  को अंतर समीकरण में प्लग करते हैं। यदि ऐसा होता है तो हमारे पास DE का एक विशेष हल  है, अन्यथा हम फिर से शुरू करते हैं और एक और अनुमान लगाने का प्रयास करते हैं। उदाहरण के लिए हम अनुमान लगा सकते हैं कि DE के हल  का रूप है: <math>y = Ae^{\alpha t}</math> चूंकि यह एक बहुत ही सामान्य उपाय है जो शारीरिक रूप से साइनसोइडल विधि के रूप में आचरण  करता है।


पहले क्रम ODE के मामले में जो गैर-सजातीय है, हमें पहले DE के सजातीय भाग के लिए DE हल  खोजने की आवश्यकता है, अन्यथा विशेषता समीकरण के रूप में जाना जाता है, और फिर अनुमान लगाकर पूरे गैर-सजातीय समीकरण का हल  खोजें . अंत में, हम ODE का कुल हल  प्राप्त करने के लिए इन दोनों समाधानों को एक साथ जोड़ते हैं, जो है:
पहले क्रम ODE के मामले में जो गैर-सजातीय है, हमें पहले DE के सजातीय भाग के लिए DE हल  खोजने की आवश्यकता है, अन्यथा विशेषता समीकरण के रूप में जाना जाता है, और फिर अनुमान लगाकर पूरे गैर-सजातीय समीकरण का हल  खोजें . अंत में, हम ODE का कुल हल  प्राप्त करने के लिए इन दोनों हल ों को एक साथ जोड़ते हैं, जो है:


<math>\text{total solution} = \text{homogeneous solution} + \text{particular solution}</math>
<math>\text{total solution} = \text{homogeneous solution} + \text{particular solution}</math>

Revision as of 21:04, 25 December 2022

गणित में, साधारण अवकल समीकरण (ओडीई) एक अवकल समीकरण है, जिसके अज्ञातओं में एक चर (गणित) के एक या अधिक फलन से निर्मित होते हैं और उन फलनों के व्युत्पन्न से संबंधित होते हैं।[1] साधारण इस शब्द का सामान्य प्रयोग आंशिक अवकल समीकरण शब्द के विपरीत किया जाता है, जो एक से अधिक स्वतंत्र चर के संदर्भ में हो सकता है।[2]

अवकल समीकरण

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

जहाँ , ..., और यादृच्छिक भांति से अलग-अलग कार्य हैं जिन्हें रैखिक होने की आवश्यकता नहीं है, और चर x.के अज्ञात फलन y के क्रमिक अवकलज हैं।

साधारण अवकल समीकरणों में रैखिक अवकल समीकरण अनेक कारणों से प्रभावी भूमिका निभाते हैं। अधिकांश प्रारंभिक और विशेष फलन जो भौतिकी और अनुप्रयुक्त गणित में पाए जाते हैं, रैखिक अंतर समीकरणों के हल हैं (होलोनोमिक फलन देखें)। जब भौतिक परिघटना को अरेखीय समीकरणों द्वारा रूपांकित किया जाता है, तो वे सामान्यतया इन्हें सरल हल के लिए रैखिक अंतर समीकरणों द्वारा अनुमानित किया जाता है। कुछ अरेखीय ओडीई जिन्हें स्पष्ट रूप से हल किया जा सकता है, वे सामान्यतया समीकरण को समकक्ष रैखिक ओडीई में बदलकर हल किया जाता है (देखें, उदाहरण के लिए रिकाटी समीकरण)।

कुछ ओडीई को स्पष्ट रूप से ज्ञात फलन और समाकल के संदर्भ में हल किया जा सकता है। जब यह मुमकिन न हो कि, टेलर श्रृंखला के हल ों की गणना के लिए समीकरण उपयोगी हो सकता है। और अनुप्रयुक्त समस्याओं के लिए, सामान्य अवकल समीकरणों के लिए संख्यात्मक विधियाँ का निकटतम प्रदान कर सकती हैं।

पृष्ठभूमि

parabolic projectile motion showing velocity vector
एक तोप से प्रक्षेपित प्रक्षेप्य का प्रक्षेपवक्र न्यूटन के दूसरे नियम से प्राप्त एक साधारण अंतर समीकरण द्वारा निर्धारित वक्र का अनुसरण करता है।

साधारण अंतरण समीकरण गणित तथा सामाजिक एवं प्राकृतिक विज्ञानों के अनेक संदर्भों में उत्पन्न होते हैं।परिवर्तन के गणितीय वर्णन भिन्नता और व्युत्पन्न का उपयोग करें।विभिन्न विभेद, व्युत्पादन और प्रकार्य समीकरणों द्वारा इस प्रकार संबद्ध हो जाते हैं कि विभेदक समीकरण एक ऐसा परिणाम होता है जिसमें गतिशील रूप से बदलते परिघटना, विकास और विभिन्नता वर्णित होते हैं।बहुधा मात्राओं को अन्य राशियों में परिवर्तन की दर (उदाहरणार्थ, समय के संदर्भ में विस्थापन से व्युत्पन्न) अथवा मात्राओं के अनुपात के रूप में परिभाषित किया जाता है।

विशिष्ट गणितीय क्षेत्रों में ज्यामिति और विश्लेषणात्मक यांत्रिकी में सम्मिलित हैं। वैज्ञानिक क्षेत्रों में अधिकांश भौतिकी और खगोल विज्ञान (खगोलीय यांत्रिकी), मौसम विज्ञान (मौसम मॉडलिंग), रसायन विज्ञान (प्रतिक्रिया दर),[3] जीव विज्ञान (संक्रामक रोग, आनुवंशिक भिन्नता), पारिस्थितिकी और जनसंख्या मॉडलिंग (जनसंख्या प्रतियोगिता), अर्थशास्त्र (स्टॉक रुझान, ब्याज दरें और बाजार में संतुलन मूल्य परिवर्तन) के रूप में सम्मिलित होते है।

कई गणितज्ञों ने अवकल समीकरणों का अध्ययन किया है तथा इस क्षेत्र में योगदान दिया है, जिसमें आइजैक न्यूटन, गॉटफ्रीड लीबनिज, बर्नौली परिवार, रिकाटी, एलेक्सिस क्लाउड क्लेराट, डी'अलेम्बर्ट और यूलर सम्मिलित होते है।

एक सरल उदाहरण न्यूटन की गति का दूसरा नियम है, बल F के अनुसार किसी वस्तु के विस्थापन x और समय t के बीच संबंध, अंतर समीकरण द्वारा दिया जाता है।

जो स्थिर द्रव्यमान m के कणों की गति को बाधित करता है। सामान्यतः, F समय t पर कण की स्थिति x(t) का फलन होता है। अज्ञात फलन x(t) अवकल समीकरण के दोनों ओर प्रकट होता है, और इसे अंकन F(x(t)) में दर्शाया गया है।[4][5][6][7]

परिभाषाएँ

निम्नलिखित में, मान लीजिए कि y एक आश्रित चर और x को एक स्वतंत्र चर के रूप में लेते, और y = f(x) x का एक अज्ञात फलन है। अवकलन के लिए अंकन लेखक के अनुसार भिन्न-भिन्न होता है। और जिस पर उनके अंकन कार्य के लिए सबसे उपयोगी होता है। इस संदर्भ में, लीबनिज के अंकन (dy/dx, d2y/dx2, …, dny/dxn) अवकलन और समाकलन (गणित) के लिए अधिक उपयोगी है, जबकि अवकलन के लिए लैग्रेंज का संकेतन (y′, y′′, …, y(n)) किसी भी क्रम के व्युत्पन्न को सघन रूप से प्रदर्शित करने के लिए अधिक उपयोगी है, और और न्यूटन के अंकन के लिए अधिक उपयोगी है भौतिकी में अधिकांशता समय के संबंध में क्रम के व्युत्पन्न का प्रतिनिधित्व करने के लिए प्रयोग किया जाता है।

सामान्य परिभाषा

दिया हुआ F, x, y का एक फलन, और y का डेरिवेटिव समीकरण इस रूप में सदर्भित किया है।  

क्रम n का एक निहित और स्पष्ट फलन साधारण अवकल समीकरण कहा जाता है।[8][9]

सामान्यता, क्रम एन के एक अंतर्निहित और स्पष्ट कार्य सामान्य अंतर समीकरण का रूप लेता है[10]

और भी वर्गीकरण हैं।

Autonomous
एक अवकलन समीकरण जो x पर निर्भर नहीं करता है, उसे स्वायत्त कहा जाता है।
रैखिक
एक अवकलन समीकरण को रैखिक कहा जाता है यदि F को y के डेरिवेटिव के रैखिक संयोजन के रूप में लिखा जा सकता है।':
where ai(x) and r (x) are continuous functions of x.[8][11][12] फलन आर (x) को स्रोत शब्द कहा जाता है, जिससे दो और महत्वपूर्ण वर्गीकरण होते हैंs:[11][13]
Homogeneous
यदि r(x) = 0, और फलस्वरूप एक "स्वचालित" समाधान है trivial solution, y = 0. एक रैखिक समांगी समीकरण का हल एक 'पूरक फलन' होता है, जिसे यहाँ से निरूपित किया जाता है yc.
गैर-सजातीय (या विषम)
यदि आर (x) ≠ 0. पूरक फलन का अतिरिक्त हल 'विशेष समाकल' है, जिसे यहाँ से निरूपित किया गया है yp.
गैर-रैखिक अंतर समीकरण गैर-रैखिक
एक अवकल समीकरण जिसे रैखिक संयोजन के रूप में नहीं लिखा जा सकता।


ओडीई की प्रणाली

कई युग्मित अवकल समीकरण समीकरणों की एक प्रणाली बनाते हैं। यदि y एक सदिश है जिसके अवयव फलन हैं, y(x) = [y1(x), y2(x),..., ym(x)], और 'एफ' 'वाई' और उसके व्युत्पन्न का सदिश का उपयोगी फलन है, तब

क्रम n और आयाम m के साधारण अवकल समीकरणों की एक स्पष्ट प्रणाली है। स्तंभ सदिश रूप में,

ये जरूरी रैखिक नहीं हैं। अंतर्निहित एनालॉग है:

जहाँ 0 = (0, 0, ..., 0) शून्य सदिश है। आव्यूह रूप में है

, की एक प्रणाली के लिए कुछ स्रोतों की भी आवश्यक होती है, कि जैकबियन आव्यूह इसे एक अंतर्निहित ODE प्रणाली कहने के लिए गैर-एकवचन होना चाहिए। इस जैकोबियन गैर-विलक्षणता अवस्था को संतुष्ट करने वाली एक अंतर्निहित ओड सिस्टम को एक स्पष्ट ओड सिस्टम में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित ऑड तंत्र को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल एक शब्दावली में से एक नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड सिस्टमों की अपेक्षा उनका हल करने में अधिक सहायक होते हैं।।[14][15][16] संभावित रूप से अतिरिक्त व्युत्पन्न के लिए, हेसियन आव्यूह और आगे भी इस योजना के अनुसार गैर-एकवचन माना जाता है,[citation needed] चूँकि, ध्यान दें कि एक से अधिक ऑर्डर का कोई भी ODE पहले ऑर्डर के ODE के सिस्टम के रूप में फिर से लिखा जा सकता है और सामान्यता होता है,[17] जो इस वर्गीकरणो के लिए पर्याप्त होने के लिए जैकबियन विलक्षणता मानदंड को सभी आदेशों पर व्यापक बनाता है.।

एक चरण चित्र के उपयोग के माध्यम से ODEs की एक प्रणाली के आचरण की कल्पना की जा सकती है।

हल

एक अवकल समीकरण दिया है

एक समारोह u: IRR, जहाँ I एक अंतराल है, F के लिए एक हल या अभिन्न वक्र कहलाता है, यदि u I पर n-गुना अवकलनीय है, और

दो हल दिए u: JRR और v: IRR, u को v का विस्तार कहा जाता है यदि IJ और

एक हल जिसका कोई विस्तार नहीं है, एक अधिकतम हल कहा जाता है। सभी 'आर' पर परिभाषित हल को वैश्विक हल कहा जाता है।

nवें क्रम के समीकरण का एक सामान्य हल एक ऐसा हल है जिसमें एकीकरण का n मनमाना स्वतंत्र स्थिरांक होता है। एक विशेष हल सामान्य हल से स्थिरांक को विशेष मानों पर सेट करके प्राप्त किया जाता है, जिसे अधिकांशता सेट 'प्रारंभिक मूल्य समस्या या सीमा मूल्य समस्या' को पूरा करने के लिए चुना जाता है।[18] एकवचन हल एक ऐसा हल है जिसे सामान्य हल में यादृच्छिक अचरों को निश्चित मान देकर प्राप्त नहीं किया जा सकता है।[19] रेखीय ODE के संदर्भ में, शब्दावली विशेष हल भी ODE के किसी भी हल को संदर्भित कर सकता है (जरूरी नहीं कि प्रारंभिक शर्तों को पूरा करता हो), जिसे बाद में सजातीय हल (सजातीय ODE का एक सामान्य हल ) में जोड़ा जाता है, जो तब बनता है मूल ODE का एक सामान्य हल । यह इस आलेख में साधारण_अवकल _समीकरण#The_guessing_method अनुभाग में उपयोग की जाने वाली शब्दावली है, और अनिर्धारित गुणांक और पैरामीटर की भिन्नता की विधि पर चर्चा करते समय अधिकांशता इसका उपयोग किया जाता है।

परिमित अवधि के हल

अरेखीय स्वायत्त ODEs के लिए कुछ शर्तों के अनुसार परिमित अवधि के हल विकसित करना मुमकिन है,[20] यहाँ अर्थ यह है कि अपनी स्वयं की गतिकी से, सिस्टम एक अंत समय में शून्य मान तक पहुँच जाएगा और वहाँ हमेशा के लिए शून्य में रहता है। ये परिमित-अवधि के हल संपूर्ण वास्तविक रेखा पर विश्लेषणात्मक कार्य नहीं कर सकते हैं, और क्योंकि वे अपने अंतिम समय में गैर-लिप्सचिट्ज़ कार्य करेंगे, वे लिप्सचिट्ज़ अंतर समीकरणों के हल की विशिष्टता नहीं रखते हैं।

उदाहरण के रूप में, समीकरण:

परिमित अवधि हल स्वीकार करता है:


सिद्धांत

एकवचन हल

साधारण और आंशिक अंतर समीकरणों के एकवचन हल का सिद्धांत लीबनिज के समय से ही शोध का विषय था, लेकिन केवल उन्नीसवीं शताब्दी के मध्य से ही इस पर विशेष ध्यान दिया गया है। इस विषय पर एक मूल्यवान लेकिन अल्पज्ञात कृति हौटेन (1854) की है। जीन गैस्टन डार्बौक्स (1873 से) सिद्धांत में एक नेता थे, और इन हल ों की ज्यामितीय व्याख्या में उन्होंने विभिन्न लेखकों, विशेष रूप से फेलिस कासोराती (गणितज्ञ) और आर्थर केली द्वारा काम किया एक क्षेत्र खोला। उत्तरार्द्ध के कारण (1872) प्रथम क्रम के अंतर समीकरणों के एकवचन हल के सिद्धांत के रूप में स्वीकृत लगभग 1900 है।

चतुष्कोणों में कमी

अवकल समीकरणों से निपटने के आदिम प्रयास में चतुर्भुज (गणित) में कमी को ध्यान में रखा गया था। जैसा कि अठारहवीं सदी के बीजगणितियों को nवीं डिग्री के सामान्य समीकरण को हल करने के लिए एक विधि खोजने की उम्मीद थी, इसलिए विश्लेषकों को किसी भी अंतर समीकरण को एकीकृत करने के लिए एक सामान्य विधि खोजने की उम्मीद थी। चूँकि , कार्ल फ्रेडरिक गॉस (1799) ने दिखाया कि जटिल अंतर समीकरणों के लिए जटिल संख्याओं की आवश्यकता होती है। इसलिए, विश्लेषकों ने कार्यों के अध्ययन को स्थानापन्न करना शुरू किया, इस प्रकार एक नया और उपजाऊ क्षेत्र खोल दिया। कॉची इस दृष्टिकोण के महत्व की सराहना करने वाले पहले व्यक्ति थे। तत्पश्चात, वास्तविक प्रश्न अब यह नहीं था कि ज्ञात फलनों या उनके समाकलों के माध्यम से कोई हल मुमकिन है या नहीं, बल्कि यह कि क्या दिया गया अवकल समीकरण स्वतंत्र चर या चरों के फलन की परिभाषा के लिए पर्याप्त है, और, यदि हां, तो क्या हैं विशेषता गुण।

फ्यूचियन सिद्धांत

लाजर फुच्स द्वारा दो संस्मरण[21] एक उपन्यास दृष्टिकोण को प्रेरित किया, जिसे बाद में थॉमे और फर्डिनेंड जॉर्ज फ्रोबेनियस द्वारा विस्तृत किया गया। 1869 की शुरुआत में कोलेट का एक प्रमुख योगदानकर्ता था। एक अरेखीय प्रणाली को एकीकृत करने के लिए उनकी विधि को 1868 में बर्ट्रेंड को सूचित किया गया था। अल्फ्रेड क्लेब्सच (1873) ने एबेलियन अभिन्न के अपने सिद्धांत के समानांतर सिद्धांत पर हमला किया। जैसा कि उत्तरार्द्ध को मौलिक वक्र के गुणों के अनुसार वर्गीकृत किया जा सकता है जो एक तर्कसंगत परिवर्तन के अनुसार अपरिवर्तित रहता है, क्लेबश ने तर्कसंगत एक-टू के अनुसार संबंधित सतहों f = 0 के अपरिवर्तनीय गुणों के अनुसार अंतर समीकरणों द्वारा परिभाषित पारलौकिक कार्यों को वर्गीकृत करने का प्रस्ताव दिया। -एक परिवर्तन।

झूठ का सिद्धांत

1870 से, सोफस झूठ के काम ने अंतर समीकरणों के सिद्धांत को बेहतर नींव पर रखा। उन्होंने दिखाया कि पुराने गणितज्ञों के एकीकरण सिद्धांत, झूठ समूहों का उपयोग करके, एक सामान्य स्रोत को संदर्भित किया जा सकता है, और सामान्य अंतर समीकरण जो एक ही अतिसूक्ष्म परिवर्तनों को स्वीकार करते हैं, तुलनीय एकीकरण कठिनाइयों को प्रस्तुत करते हैं। उन्होंने संपर्क परिवर्तन के विषय पर भी जोर दिया।

अवकल समीकरणों के लाई के समूह सिद्धांत को प्रमाणित किया गया है, अर्थात्: (1) कि यह अंतर समीकरणों को हल करने के लिए जाने जाने वाले कई तदर्थ तरीकों को एकीकृत करता है, और (2) कि यह हल खोजने के शक्तिशाली विधि प्रदान करता है। सिद्धांत में साधारण और आंशिक अंतर समीकरणों दोनों के लिए अनुप्रयोग हैं।[22] एक सामान्य हल दृष्टिकोण अंतर समीकरणों की समरूपता संपत्ति का उपयोग करता है, हल ों के हल ों के निरंतर अत्यल्प परिवर्तन (झूठे सिद्धांत)। निरंतर समूह सिद्धांत, लाई बीजगणित, और अंतर ज्यामिति का उपयोग रैखिक और अरेखीय (आंशिक) अंतर समीकरणों की संरचना को समझने के लिए किया जाता है, इसलिये इसके लैक्स जोड़े, पुनरावर्तन संचालक, बैकलंड रूपांतरण और अंत में सटीक विश्लेषणात्मक हल खोजे जा सकें। डे के लिए।

गणित, भौतिकी, इंजीनियरिंग और अन्य विषयों में उत्पन्न होने वाले अवकल समीकरणों पर समरूपता विधियों को लागू किया गया है।

स्टर्म-लिउविल सिद्धांत

स्टर्म-लिउविल सिद्धांत एक विशेष प्रकार के दूसरे क्रम के रैखिक साधारण अंतर समीकरण का सिद्धांत है। उनके हल eigenvalues ​​​​और रैखिक समीकरणों के दूसरे क्रम प्रणाली के माध्यम से परिभाषित रैखिक ऑपरेटरों के संबंधित Eigenfunction पर आधारित हैं। समस्याओं की पहचान स्टर्म-लिउविल प्रॉब्लम्स (एसएलपी) के रूप में की जाती है और इनका नाम जैक्स चार्ल्स फ्रांकोइस स्टर्म | जे.सी.एफ. स्टर्म और जोसेफ लिउविल|जे. लिउविल, जिन्होंने 1800 के दशक के मध्य में उनका अध्ययन किया था। SLPs में अनंत संख्या में eigenvalues ​​​​होते हैं, और संबंधित eigenfunctions एक पूर्ण, ऑर्थोगोनल सेट बनाते हैं, जो ऑर्थोगोनल विस्तार को मुमकिन बनाता है। अनुप्रयुक्त गणित, भौतिकी और इंजीनियरिंग में यह एक महत्वपूर्ण विचार है।[23] एसएलपी कुछ आंशिक अंतर समीकरणों के विश्लेषण में भी उपयोगी होते हैं।

हल का अस्तित्व और विशिष्टता

ऐसे कई प्रमेय हैं जो स्थानीय और विश्व स्तर पर ODEs से जुड़ी प्रारंभिक मूल्य समस्याओं के हल के अस्तित्व और विशिष्टता को स्थापित करते हैं। दो मुख्य प्रमेय हैं

प्रमेय मान्यता निष्कर्ष
पियानो अस्तित्व प्रमेय एफ निरंतर केवल स्थानीय अस्तित्व
पिकार्ड-लिंडेलोफ प्रमेय एफ लिप्सचिट्ज़ निरंतर स्थानीय अस्तित्व और विशिष्टता

अपने मूल रूप में ये दोनों प्रमेय केवल स्थानीय परिणामों की गारंटी देते हैं, चूँकि बाद वाले को वैश्विक परिणाम देने के लिए बढ़ाया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।

इसके अलावा, अद्वितीयता प्रमेय जैसे लिप्सचिट्ज़ ऊपर वाला अवकलनात्मक बीजगणितीय समीकरण प्रणालियों पर लागू नहीं होता है, जिसमें अकेले उनके (अरेखीय ) बीजगणितीय भाग से उत्पन्न होने वाले कई हल हो सकते हैं।[24]


स्थानीय अस्तित्व और विशिष्टता प्रमेय सरलीकृत

प्रमेय को केवल इस प्रकार कहा जा सकता है।[25] समीकरण और प्रारंभिक मान समस्या के लिए:

यदि F और ∂F/∂y एक बंद आयत में निरंतर हैं
x-y समतल में, जहाँ a और b वास्तविक संख्याएँ हैं (प्रतीकात्मक रूप से: a, bR) और × कार्तीय उत्पाद को दर्शाता है, वर्ग कोष्ठक अंतराल अंकन को दर्शाता है, फिर एक अंतराल होता है
कुछ के लिए hR जहां उपरोक्त समीकरण और प्रारंभिक मूल्य समस्या का हल पाया जा सकता है। अर्थात एक उपाय है और वह अद्वितीय है। चूँकि F के रैखिक होने पर कोई प्रतिबंध नहीं है, यह अरेखीय समीकरणों पर लागू होता है जो F(x, y) का रूप लेते हैं, और इसे समीकरणों के सिस्टम पर भी लागू किया जा सकता है।

वैश्विक विशिष्टता और हल का अधिकतम डोमेन

जब पिकार्ड-लिंडेलोफ प्रमेय की परिकल्पना संतुष्ट होती है, तो स्थानीय अस्तित्व और विशिष्टता को वैश्विक परिणाम तक बढ़ाया जा सकता है। ज्यादा ठीक:[26] प्रत्येक प्रारंभिक स्थिति के लिए (x0, वाई0) एक अद्वितीय अधिकतम (संभवतः अनंत) खुला अंतराल मौजूद है

ऐसा कि कोई भी हल जो इस प्रारंभिक स्थिति को संतुष्ट करता है, वह हल का प्रतिबंध (गणित) है जो डोमेन के साथ इस प्रारंभिक स्थिति को संतुष्ट करता है .

उस मामले में , वास्तव में दो संभावनाएँ हैं

  • परिमित समय में विस्फोट:
  • परिभाषा का डोमेन छोड़ता है:

जहां Ω खुला सेट है जिसमें F परिभाषित है, और इसकी सीमा है।

ध्यान दें कि हल का अधिकतम डोमेन

  • हमेशा एक अंतराल होता है (विशिष्टता के लिए)
  • से छोटा हो सकता है
  • की विशिष्ट पसंद पर निर्भर हो सकता है (x0, वाई0).
उदाहरण।

इसका अर्थ है कि F(x, y) = y2, जो सी है1 और इसलिए स्थानीय रूप से लिपशित्ज़ निरंतर, पिकार्ड-लिंडेलोफ़ प्रमेय को संतुष्ट करता है।

इतनी सरल सेटिंग में भी, हल का अधिकतम डोमेन सभी नहीं हो सकता चूंकि हल है

जिसका डोमेन अधिकतम है:

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

अधिकतम डोमेन नहीं है चूंकि

जो उपरोक्त प्रमेय के अनुसार दो संभावित मामलों में से एक है।

आदेश में कमी

यदि समीकरण के क्रम को कम किया जा सकता है तो अवकल समीकरणों को सामान्यता अधिक आसानी से हल किया जा सकता है।

प्रथम-क्रम प्रणाली में कमी

क्रम n का कोई स्पष्ट अवकल समीकरण,

अज्ञात कार्यों के एक नए परिवार को परिभाषित करके n प्रथम-क्रम अंतर समीकरणों की एक प्रणाली के रूप में लिखा जा सकता है

मैं = 1, 2,..., एन के लिए। प्रथम-क्रम युग्मित अंतर समीकरणों की एन-आयामी प्रणाली तब है

सदिश संकेतन में अधिक सघन रूप से:

जहाँ


सटीक हल ों का सारांश

कुछ अवकल समीकरणों के हल होते हैं जिन्हें सटीक और बंद रूप में लिखा जा सकता है। यहाँ कई महत्वपूर्ण वर्ग दिए गए हैं।

नीचे दी गई तालिका में, P(x), Q(x), P(y), Q(y), और M(x,y), N(x,y) के कोई पूर्णांक कार्य हैं x, y, और b और c वास्तविक दिए गए स्थिरांक हैं, और C1, C2, ... मनमाना स्थिरांक हैं (सामान्य रूप से जटिल संख्या)। अवकल समीकरण उनके समतुल्य और वैकल्पिक रूपों में होते हैं जो एकीकरण के माध्यम से हल की ओर ले जाते हैं।

अभिन्न हल में, λ और ε एकीकरण के डमी चर हैं (संकलन में सूचकांकों के निरंतर अनुरूप), और अंकन x F(λ) सिर्फ एकीकृत करने का मतलब है F(λ) इसके संबंध में λ, फिर एकीकरण स्थानापन्न के बाद λ = x, स्थिरांक जोड़े बिना (स्पष्ट रूप से कहा गया)।

वियोज्य समीकरण

अवकलन समीकरण हल विधि सामान्य हल
प्रथम-क्रम, x और y में वियोज्य (सामान्य स्थति , विशेष स्थतियो के लिए नीचे देखें)    [27]

चरों का पृथक्करण (P2Q1 द्वारा विभाजित)।
पहला क्रम, x में वियोज्य[25]

प्रत्यक्ष समाकलन।
प्रथम-क्रम, स्वायत्त, y में वियोज्य[25]

चरों का पृथक्करण (एफ द्वारा विभाजित).
प्रथम-क्रम, x और y में वियोज्य[25]

समाकलन

के माध्यम से बाहर।


सामान्य प्रथम-क्रम समीकरण

अवकलन समीकरण हल विधि सामान्य हल
प्रथम-क्रम, सजातीय[25]

y = ux सेट करें, फिर u और x में वेरिएबल्स को अलग करके हल करें.
प्रथम-क्रम, वियोज्य[27]

चरों का पृथक्करण (xy द्वारा विभाजित)।

यदि N = M, हल है xy = C.

सटीक अवकलन, पहला क्रम[25]

where

समाकलन के माध्यम से बाहर।

जहां

और

अयथार्थ अवकलन, प्रथम-क्रम[25]

जहां

समाकलन कारक μ(x, y) संतोषजनक

यदि μ(x, y) उपयुक्त विधि से पाया जा सकता है, तो

जहां

और


सामान्य दूसरे क्रम के समीकरण

अवकलन समीकरण हल विधि सामान्य हल
दूसरा क्रम, स्वायत्त[28]

समीकरण के दोनों पक्षों को 2dy/dx, से गुणा करें, स्थानापन्न करें , फिर दो बार समाकलन करें।


=== nवें क्रम के समीकरण === के लिए रैखिक

अवकलन समीकरण हल विधि सामान्य हल
प्रथम-क्रम, रैखिक, विषम, फलन गुणांक[25]

समाकलन गुणक कवच सूत्र:

द्वितीय-क्रम, रैखिक, असमांगी, फलन गुणांक

समाकलन गुणक
दूसरा क्रम, रैखिक, असमांगी, स्थिर गुणांक[29]

पूरक फलन yc: मान लीजिए yc = eαx, में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए .

विशेष समाकल yp: सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है r(x) निरीक्षण कार्य कर सकता है.[25]

If b2 > 4c, then

If b2 = 4c, then

If b2 < 4c, then

nवें क्रम, रैखिक, विषम, निरंतर गुणांक[29]

पूरक फलन yc: मान लीजिए yc = eαx, में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए .

विशेष समाकल yp: सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है r(x) निरीक्षण कार्य कर सकता है.[25]

चूंकि αj डिग्री के बहुपद के हल हैंn: , तब:

αj सभी अलग के लिए,

प्रत्येक रूट के लिए αj rबार-बार kj समय,
कुछ αj कॉम्प्लेक्स के लिए, फिर सेटिंग α = χj + j, और यूलर के सूत्र का उपयोग करके, पिछले परिणामों में कुछ शब्दों को प्रपत्र में लिखे जाने की अनुमति देता है
जहां ϕj एक यादृच्छिक स्थिरांक (चरण बदलाव) है।


अनुमान लगाने की विधि

जब एक ODE को हल करने के लिए अन्य सभी विधि विफल हो जाती हैं, या ऐसे मामलों में जहां हमें इस बारे में कुछ अंतर्ज्ञान होता है कि DE का हल कैसा दिख सकता है, तो कभी-कभी केवल हल का अनुमान लगाकर और इसे मान्य करके DE को हल करना मुमकिन होता है। इस विधि का उपयोग करने के लिए, हम केवल अंतर समीकरण के हल का अनुमान लगाते हैं, और फिर समीकरण को संतुष्ट करने के लिए हल को अंतर समीकरण में प्लग करते हैं। यदि ऐसा होता है तो हमारे पास DE का एक विशेष हल है, अन्यथा हम फिर से शुरू करते हैं और एक और अनुमान लगाने का प्रयास करते हैं। उदाहरण के लिए हम अनुमान लगा सकते हैं कि DE के हल का रूप है: चूंकि यह एक बहुत ही सामान्य उपाय है जो शारीरिक रूप से साइनसोइडल विधि के रूप में आचरण करता है।

पहले क्रम ODE के मामले में जो गैर-सजातीय है, हमें पहले DE के सजातीय भाग के लिए DE हल खोजने की आवश्यकता है, अन्यथा विशेषता समीकरण के रूप में जाना जाता है, और फिर अनुमान लगाकर पूरे गैर-सजातीय समीकरण का हल खोजें . अंत में, हम ODE का कुल हल प्राप्त करने के लिए इन दोनों हल ों को एक साथ जोड़ते हैं, जो है:


ओडीई हल करने के लिए सॉफ्टवेयर

  • मैक्सिमा (सॉफ्टवेयर), एक ओपन-सोर्स कंप्यूटर बीजगणित प्रणाली
  • कोपासिस, ओडीई के एकीकरण और विश्लेषण के लिए एक मुफ्त (आर्टिस्टिक लाइसेंस|आर्टिस्टिक लाइसेंस 2.0) सॉफ्टवेयर पैकेज।
  • MATLAB, एक तकनीकी कंप्यूटिंग अनुप्रयोग (आव्यूह प्रयोगशाला)
  • जीएनयू ऑक्टेव, एक उच्च स्तरीय भाषा, मुख्य रूप से संख्यात्मक अभिकलन के लिए अभिप्रेत है।
  • साइलैब, संख्यात्मक अभिकलन के लिए एक खुला स्रोत अनुप्रयोग।
  • मेपल (सॉफ्टवेयर), सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग।
  • मेथेमेटिका, मुख्य रूप से सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग है।
  • सिम्पी, एक पायथन पैकेज जो ओडीई को प्रतीकात्मक रूप से हल कर सकता है
  • जूलिया (प्रोग्रामिंग भाषा), मुख्य रूप से संख्यात्मक संगणना के लिए एक उच्च स्तरीय भाषा है।
  • सेजमैथ, एक ओपन-सोर्स एप्लिकेशन जो गणित की कई शाखाओं में फैली क्षमताओं की एक विस्तृत श्रृंखला के साथ पायथन-जैसे सिंटैक्स का उपयोग करता है।
  • SciPy, एक Python पैकेज जिसमें एक ODE एकीकरण मॉड्यूल सम्मिलित है।
  • 15 अंकों की सटीकता के कार्यों के साथ कंप्यूटिंग के लिए MATLAB में लिखा गया एक ओपन-सोर्स पैकेज Chebfun
  • GNU R, मुख्य रूप से आँकड़ों के लिए एक खुला स्रोत कम्प्यूटेशनल वातावरण है, जिसमें ODE हल करने के लिए पैकेज सम्मिलित हैं।

यह भी देखें

टिप्पणियाँ

  1. Dennis G. Zill (15 March 2012). मॉडलिंग अनुप्रयोगों के साथ विभेदक समीकरणों में पहला कोर्स. Cengage Learning. ISBN 978-1-285-40110-2. Archived from the original on 17 January 2020. Retrieved 11 July 2019.
  2. ""साधारण अंतर समीकरण" शब्द की उत्पत्ति क्या है?". hsm.stackexchange.com. Stack Exchange. Retrieved 2016-07-28.
  3. Mathematics for Chemists, D.M. Hirst, Macmillan Press, 1976, (No ISBN) SBN: 333-18172-7
  4. Kreyszig (1972, p. 64)
  5. Simmons (1972, pp. 1, 2)
  6. Halliday & Resnick (1977, p. 78)
  7. Tipler (1991, pp. 78–83)
  8. 8.0 8.1 Harper (1976, p. 127)
  9. Kreyszig (1972, p. 2)
  10. Simmons (1972, p. 3)
  11. 11.0 11.1 Kreyszig (1972, p. 24)
  12. Simmons (1972, p. 47)
  13. Harper (1976, p. 128)
  14. Kreyszig (1972, p. 12)
  15. Ascher (1998, p. 12)
  16. Achim Ilchmann; Timo Reis (2014). विभेदक-बीजगणितीय समीकरण II में सर्वेक्षण. Springer. pp. 104–105. ISBN 978-3-319-11050-9.
  17. Ascher (1998, p. 5)
  18. Kreyszig (1972, p. 78)
  19. Kreyszig (1972, p. 4)
  20. Vardia T. Haimo (1985). "Finite Time Differential Equations". 1985 निर्णय और नियंत्रण पर 24वां IEEE सम्मेलन. pp. 1729–1733. doi:10.1109/CDC.1985.268832. S2CID 45426376.
  21. Crelle, 1866, 1868
  22. Lawrence (1999, p. 9)
  23. Logan, J. (2013). Applied mathematics (Fourth ed.).
  24. Ascher (1998, p. 13)
  25. 25.0 25.1 25.2 25.3 25.4 25.5 25.6 25.7 25.8 25.9 Elementary Differential Equations and Boundary Value Problems (4th Edition), W.E. Boyce, R.C. Diprima, Wiley International, John Wiley & Sons, 1986, ISBN 0-471-83824-1
  26. Boscain; Chitour 2011, p. 21
  27. 27.0 27.1 Mathematical Handbook of Formulas and Tables (3rd edition), S. Lipschutz, M. R. Spiegel, J. Liu, Schaum's Outline Series, 2009, ISC_2N 978-0-07-154855-7
  28. Further Elementary Analysis, R. Porter, G.Bell & Sons (London), 1978, ISBN 0-7135-1594-5
  29. 29.0 29.1 Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISC_2N 978-0-521-86153-3


संदर्भ


ग्रन्थसूची


इस पेज में लापता आंतरिक लिंक की सूची

  • यौगिक
  • अंक शास्त्र
  • अंतर समीकरण
  • आंशिक अवकल समीकरण
  • रैखिक बहुपद
  • रैखिक अंतर समीकरण
  • अलग करने योग्य समारोह
  • साधारण अंतर समीकरणों के लिए संख्यात्मक तरीके
  • व्यावहारिक गणित
  • प्राथमिक समारोह
  • भौतिक विज्ञान
  • अंतरिक्ष-विज्ञान
  • बरनौली परिवार
  • परिस्थितिकी
  • धनी
  • जीवविज्ञान
  • भेदभाव के लिए अंकन
  • एकीकरण (गणित)
  • निहित और स्पष्ट कार्य
  • सदिश -मूल्यवान फलन
  • कॉलम सदिश
  • शून्य सदिश
  • अंतर बीजगणितीय समीकरण
  • एकीकरण की निरंतरता
  • मापदंडों की भिन्नता
  • अनिर्धारित गुणांक की विधि
  • लक्स जोड़ी
  • झूठ सिद्धांत
  • बीजगणित झूठ बोलो
  • रैखिक समीकरणों की प्रणाली
  • कार्तीय गुणन
  • मध्यवर्ती टिप्पणी
  • समाकलनीय
  • योग
  • सेज मठ
  • अंतर समीकरणों के उदाहरण

बाहरी कड़ियाँ

श्रेणी:अवकल कलन श्रेणी:अवकल समीकरण