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

From Vigyanwiki
No edit summary
No edit summary
 
(14 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Differential equation containing derivatives with respect to only one variable}}
{{Short description|Differential equation containing derivatives with respect to only one variable}}
{{Differential equations}}
{{Differential equations}}
गणित में, साधारण अवकल समीकरण (ओडीई) एक अवकल समीकरण है, जिसके अज्ञातओं में एक [[चर (गणित)]] के एक या अधिक फलन से निर्मित होते हैं और उन फलनों के व्युत्पन्न से संबंधित होते हैं।<ref name="Zill2012">{{cite book|author=Dennis G. Zill|title=मॉडलिंग अनुप्रयोगों के साथ विभेदक समीकरणों में पहला कोर्स|url=https://books.google.com/books?id=pasKAAAAQBAJ&q=%22ordinary+differential%22|date=15 March 2012|publisher=Cengage Learning|isbn=978-1-285-40110-2|access-date=11 July 2019|archive-url=https://web.archive.org/web/20200117230630/https://books.google.com/books?id=pasKAAAAQBAJ&printsec=frontcover#v=snippet&q=%22ordinary%20differential%22&f=false|archive-date=17 January 2020|url-status=live}}</ref> साधारण इस शब्द का सामान्य प्रयोग आंशिक अवकल समीकरण शब्द के विपरीत किया जाता है, जो एक से अधिक स्वतंत्र चर के संदर्भ में हो सकता है।<ref>{{cite web|url=http://hsm.stackexchange.com/a/5032/1772|title="साधारण अंतर समीकरण" शब्द की उत्पत्ति क्या है?|access-date=2016-07-28|website=hsm.stackexchange.com |publisher=[[Stack Exchange]] }}</ref>
गणित में, '''साधारण अवकल समीकरण''' (ओडीई) एक अवकल समीकरण है, जिसके अज्ञातओं में एक [[चर (गणित)]] के एक या अधिक फलन से निर्मित होते हैं और उन फलनों के व्युत्पन्न से संबंधित होते हैं।<ref name="Zill2012">{{cite book|author=Dennis G. Zill|title=मॉडलिंग अनुप्रयोगों के साथ विभेदक समीकरणों में पहला कोर्स|url=https://books.google.com/books?id=pasKAAAAQBAJ&q=%22ordinary+differential%22|date=15 March 2012|publisher=Cengage Learning|isbn=978-1-285-40110-2|access-date=11 July 2019|archive-url=https://web.archive.org/web/20200117230630/https://books.google.com/books?id=pasKAAAAQBAJ&printsec=frontcover#v=snippet&q=%22ordinary%20differential%22&f=false|archive-date=17 January 2020|url-status=live}}</ref> साधारण इस शब्द का सामान्य प्रयोग आंशिक अवकल समीकरण शब्द के विपरीत किया जाता है, जो एक से अधिक स्वतंत्र चर के संदर्भ में हो सकता है।<ref>{{cite web|url=http://hsm.stackexchange.com/a/5032/1772|title="साधारण अंतर समीकरण" शब्द की उत्पत्ति क्या है?|access-date=2016-07-28|website=hsm.stackexchange.com |publisher=[[Stack Exchange]] }}</ref>
== अवकल [[समीकरण]] ==
== अवकल [[समीकरण]] ==
एक रेखीय अवकल समीकरण एक अवकल समीकरण है जो एक रेखीय बहुपद द्वारा अज्ञात फलन और इसके व्युत्पन्न द्वारा परिभाषित होता है, जो इस समीकरण के रूप में होता है।
एक रेखीय अवकल समीकरण एक अवकल समीकरण है जो एक रेखीय बहुपद द्वारा अज्ञात फलन और इसके व्युत्पन्न द्वारा परिभाषित होता है, जो इस समीकरण के रूप में होता है।
:<math>a_0(x)y +a_1(x)y' + a_2(x)y'' +\cdots +a_n(x)y^{(n)}+b(x)=0,</math>
:<math>a_0(x)y +a_1(x)y' + a_2(x)y'' +\cdots +a_n(x)y^{(n)}+b(x)=0,</math>
जहाँ {{tmath|a_0(x)}}, ..., {{tmath|a_n(x)}} और {{tmath|b(x)}} यादृच्छिक भांति से अलग-अलग कार्य हैं जिन्हें रैखिक होने की आवश्यकता नहीं है, और {{tmath|y', \ldots, y^{(n)} }} चर {{mvar|x}}.के अज्ञात फलन {{mvar|y}} के क्रमिक अवकलज हैं।
जहाँ {{tmath|a_0(x)}}, ..., {{tmath|a_n(x)}} और {{tmath|b(x)}} समीकरण की भांति इसके पृथक कार्य हैं जिन्हें रैखिक होने की आवश्यकता नहीं है, और {{tmath|y', \ldots, y^{(n)} }} चर {{mvar|x}}.के अज्ञात फलन {{mvar|y}} के क्रमिक अवकलज हैं।


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


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


== पृष्ठभूमि ==
== पृष्ठभूमि ==
[[Image:Parabolic trajectory.svg|right|thumb|250px|alt=parabolic projectile motion showing velocity vector|एक [[तोप]] से प्रक्षेपित [[प्रक्षेप्य]] का [[प्रक्षेपवक्र]] न्यूटन के दूसरे नियम से प्राप्त एक साधारण अंतर समीकरण द्वारा निर्धारित वक्र का अनुसरण करता है।]]साधारण अंतरण समीकरण गणित तथा [[सामाजिक]] एवं [[प्राकृतिक विज्ञानों]] के अनेक संदर्भों में उत्पन्न होते हैं।परिवर्तन के गणितीय वर्णन भिन्नता और व्युत्पन्न का उपयोग करें।विभिन्न विभेद, व्युत्पादन और प्रकार्य समीकरणों द्वारा इस प्रकार संबद्ध हो जाते हैं कि विभेदक समीकरण एक ऐसा परिणाम होता है जिसमें गतिशील रूप से बदलते परिघटना, विकास और विभिन्नता वर्णित होते हैं।बहुधा मात्राओं को अन्य राशियों में परिवर्तन की दर (उदाहरणार्थ, समय के संदर्भ में विस्थापन से व्युत्पन्न) अथवा मात्राओं के अनुपात के रूप में परिभाषित किया जाता है।
[[Image:Parabolic trajectory.svg|right|thumb|250px|alt=parabolic projectile motion showing velocity vector|एक [[तोप]] से प्रक्षेपित [[प्रक्षेप्य]] का [[प्रक्षेपवक्र]] न्यूटन के दूसरे नियम से प्राप्त एक साधारण अवकल समीकरण द्वारा निर्धारित वक्र का अनुसरण करता है।]]साधारण अंतरण समीकरण गणित तथा [[सामाजिक]] एवं [[प्राकृतिक विज्ञानों]] के अनेक संदर्भों में उत्पन्न होते हैं। परिवर्तन के गणितीय वर्णन भिन्नता और व्युत्पन्न का उपयोग करें। विभिन्न विभेद, व्युत्पादन और प्रकार्य समीकरणों द्वारा इस प्रकार संबद्ध हो जाते हैं कि अवकलक समीकरण एक ऐसा परिणाम होता है जिसमें गतिशील रूप से बदलते परिघटना, विकास और विभिन्नता वर्णित होते हैं। बहुत अधिक मात्राओं को अन्य राशियों में परिवर्तन की दर (उदाहरणार्थ, समय के संदर्भ में विस्थापन से व्युत्पन्न) अथवा मात्राओं के अनुपात के रूप में परिभाषित किया जाता है।


विशिष्ट गणितीय क्षेत्रों में [[ज्यामिति]] और [[विश्लेषणात्मक यांत्रिकी]] में सम्मिलित हैं। वैज्ञानिक क्षेत्रों में अधिकांश भौतिकी और [[खगोल]] विज्ञान (खगोलीय यांत्रिकी), मौसम विज्ञान (मौसम मॉडलिंग), [[रसायन विज्ञान]] (प्रतिक्रिया दर),<ref>Mathematics for Chemists, D.M. Hirst, [[Macmillan Publishers|Macmillan Press]], 1976, (No ISBN) SBN: 333-18172-7</ref> जीव विज्ञान (संक्रामक रोग, आनुवंशिक भिन्नता), पारिस्थितिकी और [[जनसंख्या मॉडलिंग]] (जनसंख्या प्रतियोगिता), [[अर्थशास्त्र]] (स्टॉक रुझान, ब्याज दरें और बाजार में संतुलन मूल्य परिवर्तन) के रूप में सम्मिलित होते है।
विशिष्ट गणितीय क्षेत्रों में [[ज्यामिति]] और [[विश्लेषणात्मक यांत्रिकी]] में सम्मिलित हैं। वैज्ञानिक क्षेत्रों में अधिकांश भौतिकी और [[खगोल]] विज्ञान (खगोलीय यांत्रिकी), मौसम विज्ञान (मौसम मॉडलिंग), [[रसायन विज्ञान]] (प्रतिक्रिया दर),<ref>Mathematics for Chemists, D.M. Hirst, [[Macmillan Publishers|Macmillan Press]], 1976, (No ISBN) SBN: 333-18172-7</ref> जीव विज्ञान (संक्रामक रोग, आनुवंशिक भिन्नता), पारिस्थितिकी और [[जनसंख्या मॉडलिंग]] (जनसंख्या प्रतियोगिता), [[अर्थशास्त्र]] (स्टॉक रुझान, ब्याज दरें और बाजार में संतुलन मूल्य परिवर्तन) के रूप में सम्मिलित होते है।


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


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


:<math>m \frac{\mathrm{d}^2 x(t)}{\mathrm{d}t^2} = F(x(t))\,</math>
:<math>m \frac{\mathrm{d}^2 x(t)}{\mathrm{d}t^2} = F(x(t))\,</math>
जो स्थिर द्रव्यमान m के [[प्रक्षेप्य गति|कणों की गति]] को बाधित करता है। सामान्यतः, F समय t पर कण की स्थिति x(t) का फलन होता है। अज्ञात फलन x(t) अवकल समीकरण के दोनों ओर प्रकट होता है, और इसे अंकन F(x(t)) में दर्शाया गया है।<ref>{{harvtxt|Kreyszig|1972|p=64}}</ref><ref>{{harvtxt|Simmons|1972|pp=1,2}}</ref><ref>{{harvtxt|Halliday|Resnick|1977|p=78}}</ref><ref>{{harvtxt|Tipler|1991|pp=78–83}}</ref>
जो स्थिर द्रव्यमान m के [[प्रक्षेप्य गति|कणों की गति]] को बाधित करता है। सामान्यतः, F समय t पर कण की स्थिति x(t) का फलन होता है। अज्ञात फलन x(t) अवकल समीकरण के दोनों ओर प्रकट होता है, और इसे अंकन F(x(t)) में दर्शाया गया है।<ref>{{harvtxt|Kreyszig|1972|p=64}}</ref><ref>{{harvtxt|Simmons|1972|pp=1,2}}</ref><ref>{{harvtxt|Halliday|Resnick|1977|p=78}}</ref><ref>{{harvtxt|Tipler|1991|pp=78–83}}</ref>
== परिभाषाएँ ==
== परिभाषाएँ ==
निम्नलिखित में, मान लीजिए कि y एक [[आश्रित और स्वतंत्र चर|आश्रित चर]] और x को एक स्वतंत्र चर के रूप में लेते, और y = f(x) x का एक अज्ञात फलन है। अवकलन के लिए अंकन लेखक के अनुसार भिन्न-भिन्न होता है। और जिस पर उनके अंकन कार्य के लिए सबसे उपयोगी होता है। इस संदर्भ में, लीबनिज के अंकन {{nowrap|({{sfrac|''dy''|''dx''}}, {{sfrac|''d''<sup>2</sup>''y''|''dx''<sup>2</sup>}}, …, {{sfrac|''d''<sup>''n''</sup>''y''|''dx''<sup>''n''</sup>}})}} अवकलन और समाकलन (गणित) के लिए अधिक उपयोगी है, जबकि अवकलन के लिए लैग्रेंज का संकेतन {{nowrap|(''y''′, ''y''′′, …, ''y''<sup>(''n'')</sup>)}} किसी भी क्रम के व्युत्पन्न को सघन रूप से प्रदर्शित करने के लिए अधिक उपयोगी है, और और न्यूटन के अंकन के लिए अधिक उपयोगी है <math>(\dot y, \ddot y, \overset{...}{y})</math> भौतिकी में अधिकांशता समय के संबंध में क्रम के व्युत्पन्न का प्रतिनिधित्व करने के लिए प्रयोग किया जाता है।
निम्नलिखित में, मान लीजिए कि y यहाँ [[आश्रित और स्वतंत्र चर|आश्रित चर]] और x को स्वतंत्र चर के रूप में लेते, और y = f(x) x का अज्ञात फलन है। अवकलन के लिए अंकन लेखक के अनुसार भिन्न-भिन्न होता है। और जिस पर उनके अंकन कार्य के लिए सबसे उपयोगी होता है। इस संदर्भ में लीबनिज के अंकन {{nowrap|({{sfrac|''dy''|''dx''}}, {{sfrac|''d''<sup>2</sup>''y''|''dx''<sup>2</sup>}}, …, {{sfrac|''d''<sup>''n''</sup>''y''|''dx''<sup>''n''</sup>}})}} अवकलन और समाकलन (गणित) के लिए अधिक उपयोगी है, जबकि अवकलन के लिए लैग्रेंज का संकेतन {{nowrap|(''y''′, ''y''′′, …, ''y''<sup>(''n'')</sup>)}} किसी भी क्रम के व्युत्पन्न को सघन रूप से प्रदर्शित करने के लिए अधिक उपयोगी है, और और न्यूटन के अंकन के लिए <math>(\dot y, \ddot y, \overset{...}{y})</math>अधिक उपयोगी है भौतिकी में अधिकांशता समय के संबंध में क्रम के व्युत्पन्न का प्रतिनिधित्व करने के लिए प्रयोग किया जाता है।


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


:<math>F\left (x,y,y',\ldots, y^{(n-1)} \right )=y^{(n)}</math>
:<math>F\left (x,y,y',\ldots, y^{(n-1)} \right )=y^{(n)}</math>
क्रम n का एक निहित और स्पष्ट फलन साधारण अवकल समीकरण कहा जाता है।<ref name="Harper 1976 127">{{harvtxt|Harper|1976|p=127}}</ref><ref>{{harvtxt|Kreyszig|1972|p=2}}</ref>
क्रम n का एक निहित और स्पष्ट फलन साधारण अवकल समीकरण कहा जाता है।<ref name="Harper 1976 127">{{harvtxt|Harper|1976|p=127}}</ref><ref>{{harvtxt|Kreyszig|1972|p=2}}</ref>


सामान्यता, क्रम एन के एक अंतर्निहित और स्पष्ट कार्य सामान्य अंतर समीकरण का रूप लेता है<ref>{{harvtxt|Simmons|1972|p=3}}</ref>
सामान्यता, क्रम एन के एक अंतर्निहित और स्पष्ट कार्य सामान्य अवकल समीकरण का रूप लेता है<ref>{{harvtxt|Simmons|1972|p=3}}</ref>
:<math>F\left(x, y, y', y'',\ \ldots,\ y^{(n)}\right) = 0</math>
:<math>F\left(x, y, y', y'',\ \ldots,\ y^{(n)}\right) = 0</math>
और भी वर्गीकरण हैं।
और भी वर्गीकरण हैं।
{{glossary}}
{{glossary}}
{{term|[[Autonomous system (mathematics)|Autonomous]]}}{{defn|एक अवकलन समीकरण जो ''x'' पर निर्भर नहीं करता है, उसे ''[[स्वायत्त प्रणाली (गणित)|स्वायत्त]]'' कहा जाता है।}}
{{term|[[स्वायत्त प्रणाली (गणित)|स्वायत्त]]}}{{defn|एक अवकलन समीकरण जो ''x'' पर निर्भर नहीं करता है, उसे ''[[स्वायत्त प्रणाली (गणित)|स्वायत्त]]'' कहा जाता है।}}
{{term|[[रैखिक अवकलन समीकरण|रैखिक]]}}{{defn|
{{term|[[रैखिक अवकलन समीकरण|रैखिक]]}}{{defn|
एक अवकलन समीकरण को ''रैखिक'' कहा जाता है यदि ''F'' को ''y'' के डेरिवेटिव के [[रैखिक संयोजन]] के रूप में लिखा जा सकता है।':
एक अवकलन समीकरण को ''रैखिक'' कहा जाता है यदि ''F'' को ''y'' के डेरिवेटिव के [[रैखिक संयोजन]] के रूप में लिखा जा सकता है।':
Line 44: Line 44:
फलन आर (''x'') को स्रोत शब्द कहा जाता है, जिससे दो और महत्वपूर्ण वर्गीकरण होते हैंs:<ref name="Kreyszig 1972 24"/><ref>{{harvtxt|Harper|1976|p=128}}</ref>}}
फलन आर (''x'') को स्रोत शब्द कहा जाता है, जिससे दो और महत्वपूर्ण वर्गीकरण होते हैंs:<ref name="Kreyszig 1972 24"/><ref>{{harvtxt|Harper|1976|p=128}}</ref>}}
{{glossary}}
{{glossary}}
{{term|[[Homogeneous differential equation|Homogeneous]]}}{{defn|यदि r(''x'') {{=}} 0, और फलस्वरूप एक "स्वचालित" समाधान है [[trivial solution]], ''y'' {{=}} 0. एक रैखिक समांगी समीकरण का हल एक 'पूरक फलन' होता है, जिसे यहाँ से निरूपित किया जाता है ''y<sub>c</sub>''.}}
{{term|[[सजातीय अवकल समीकरण|सजातीय]]}}{{defn|यदि r(''x'') {{=}} 0, और फलस्वरूप एक "स्वचालित" समाधान है [[trivial solution]], ''y'' {{=}} 0. एक रैखिक समांगी समीकरण का हल एक 'पूरक फलन' होता है, जिसे यहाँ से निरूपित किया जाता है ''y<sub>c</sub>''.}}
{{term|[[सजातीय अंतर समीकरण सजातीय रैखिक अंतर समीकरण | गैर-सजातीय (या विषम)]]}}{{defn|यदि आर (''x'') ≠ 0. पूरक फलन का अतिरिक्त हल 'विशेष समाकल' है, जिसे यहाँ से निरूपित किया गया है ''y<sub>p</sub>''.}}
{{term|[[सजातीय अंतर समीकरण सजातीय रैखिक अंतर समीकरण | गैर-सजातीय (या विषम)]]}}{{defn|यदि आर (''x'') ≠ 0. पूरक फलन का अतिरिक्त हल 'विशेष समाकल' है, जिसे यहाँ से निरूपित किया गया है ''y<sub>p</sub>''.}}
{{glossary end}}
{{glossary end}}
Line 54: Line 54:
{{Main|अवकलन  समीकरण की प्रणाली}}
{{Main|अवकलन  समीकरण की प्रणाली}}


कई युग्मित अवकल समीकरण समीकरणों की एक प्रणाली बनाते हैं। यदि y एक सदिश है जिसके अवयव फलन हैं, '''y'''(''x'') = [''y''<sub>1</sub>(''x''), ''y''<sub>2</sub>(''x''),..., ''y<sub>m</sub>''(''x'')], और 'एफ' 'वाई' और उसके व्युत्पन्न का सदिश का उपयोगी फलन है, तब
कई युग्मित अवकल समीकरण समीकरणों की एक प्रणाली बनाते हैं। यदि y एक सदिश है जिसके अवयव फलन हैं, '''y'''(''x'') = [''y''<sub>1</sub>(''x''), ''y''<sub>2</sub>(''x''),..., ''y<sub>m</sub>''(''x'')], और 'f' 'y' और उसके व्युत्पन्न का सदिश का उपयोगी फलन है, इस स्थिति में


:<math>\mathbf{y}^{(n)} = \mathbf{F}\left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right)</math>
:<math>\mathbf{y}^{(n)} = \mathbf{F}\left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right)</math>
क्रम n और आयाम m के साधारण अवकल समीकरणों की एक स्पष्ट प्रणाली है। स्तंभ सदिश रूप में,  
क्रम n और आयाम m के साधारण अवकल समीकरणों की स्पष्ट प्रणाली है। स्तंभ सदिश रूप में,  


:<math>\begin{pmatrix}
:<math>\begin{pmatrix}
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> इसे एक अंतर्निहित ओडीई प्रणाली कहने के लिए गैर-[[एकवचन]] होना चाहिए। इस जैकोबियन गैर-विलक्षणता अवस्था को संतुष्ट करने वाली एक अंतर्निहित ओड सिस्टम को एक स्पष्ट ओड सिस्टम में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित ऑड तंत्र को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल एक शब्दावली में से एक नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड सिस्टमों की अपेक्षा उनका हल करने में अधिक सहायक होते हैं।।<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}} चूँकि, ध्यान दें कि एक से अधिक ऑर्डर का कोई भी ओडीई पहले ऑर्डर के ओडीई के सिस्टम के रूप में फिर से लिखा जा सकता है और सामान्यता होता है,<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> इसे एक अंतर्निहित ओडीई प्रणाली कहने के लिए गैर-[[एकवचन]] होना चाहिए। इस जैकोबियन गैर-विलक्षणता अवस्था को संतुष्ट करने वाली एक अंतर्निहित कोड प्रणाली को एक स्पष्ट ओड प्रणाली में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित कोड को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल इसकी शब्दावली में से नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड प्रणाली की अपेक्षा उनका हल करने में अधिक सहायक होते हैं।<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> संभावित रूप से अतिरिक्त व्युत्पन्न के लिए, [[हेसियन मैट्रिक्स|हेसियन]] आव्यूह और आगे भी इस योजना के अनुसार गैर-एकवचन माना जाता है, चूँकि, ध्यान दें कि जिसमें एक से अधिक ऑर्डर का कोई भी ओडीई पहले ऑर्डर के ओडीई के प्रणाली के रूप में फिर से लिखा जा सकता है और सामान्यता होता है,<ref>{{harvtxt|Ascher|1998|p=5}}</ref> जो इस वर्गीकरणो के लिए पर्याप्त होने के लिए जैकबियन विलक्षणता मानदंड को सभी आदेशों पर व्यापक बनाता है.।


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


=== हल ===
=== हल ===
एक अवकल समीकरण दिया है
एक अवकल समीकरण दिया है
:<math>F\left(x, y, y', \ldots, y^{(n)} \right) = 0</math>
:<math>F\left(x, y, y', \ldots, y^{(n)} \right) = 0</math>
एक फलन {{nowrap|''u'': ''I'' ⊂ '''R''' → '''R'''}}, जहाँ I एक अंतराल है, F के लिए एक हल या [[अभिन्न वक्र]] कहलाता है, यदि u I पर n-गुना अवकलनीय है, और
एक फलन {{nowrap|''u'': ''I'' ⊂ '''R''' → '''R'''}}, जहाँ I एक अंतराल है, F के लिए एक हल या [[अभिन्न वक्र]] कहलाता है, यदि u पर n-गुना अवकलनीय है, और
:<math>F(x,u,u',\ \ldots,\ u^{(n)})=0 \quad x \in I.</math>
:<math>F(x,u,u',\ \ldots,\ u^{(n)})=0 \quad x \in I.</math>
दो हल दिए {{nowrap|''u'': ''J'' ⊂ '''R''' → '''R'''}} और {{nowrap|''v'': ''I'' ⊂ '''R''' → '''R'''}}, u को v का प्रसार कहा जाता है यदि {{nowrap|''I'' ⊂ ''J''}} और
दो हल दिए {{nowrap|''u'': ''J'' ⊂ '''R''' → '''R'''}} और {{nowrap|''v'': ''I'' ⊂ '''R''' → '''R'''}}, u को v का प्रसार कहा जाता है यदि {{nowrap|''I'' ⊂ ''J''}} और
:<math>u(x) = v(x) \quad x \in I.\,</math>
:<math>u(x) = v(x) \quad x \in I.\,</math>
एक हल जिसमें कोई प्रसार नहीं होता है, उसे उच्चिष् ठ हल कहा जाता है। सभी 'आर' पर परिभाषित हल को वैश्विक हल कहा जाता है।
एक हल जिसमें कोई प्रसार नहीं होता है, उसे उच्चिष् ठ हल कहा जाता है। सभी 'आर' पर परिभाषित हल को वैश्विक हल कहा जाता है।


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>


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


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


अरेखीय स्वायत्त ओडीई के लिए कुछ स्थितियों के अनुसार परिमित अवधि के हल विकसित करना मुमकिन होता है,<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> यहाँ अर्थ यह है कि अपनी स्वयं की गति-नियति से प्रणाली एक समाप्ति समय पर मान शून्य तक पहुँच जाएगा और वहाँ पर सदा के लिए शून्य में रहता है। ये परिमित-अवधि के हल संपूर्ण वास्तविक रेखा पर विश्लेषणात्मक फलन नहीं कर सकते हैं, और क्योंकि वे अपने अंतिम समय में गैर-लिप्सचिट्ज़ फलन करेंगे, वे लिप्सचिट्ज़ अंतर समीकरणों के हल की विशिष्टता नहीं रखते हैं।
अरेखीय स्वायत्त ओडीई के लिए कुछ स्थितियों के अनुसार परिमित अवधि के हल विकसित करना मुमकिन होता है,<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> यहाँ अर्थ यह है कि अपनी स्वयं की गति-नियति से प्रणाली एक समाप्ति समय पर मान शून्य तक पहुँच जाएगा और वहाँ पर सदा के लिए शून्य में रहता है। ये परिमित-अवधि के हल संपूर्ण वास्तविक रेखा पर विश्लेषणात्मक फलन नहीं कर सकते हैं, और क्योंकि वे अपने अंतिम समय में गैर-लिप्सचिट्ज़ फलन करेंगे, वे लिप्सचिट्ज़ अवकल समीकरणों के हल की विशिष्टता नहीं रखते हैं।


उदाहरण के रूप में, समीकरण:
उदाहरण के रूप में, समीकरण:
:<math>y'= -\text{sgn}(y)\sqrt{|y|},\,\,y(0)=1</math>
:<math>y'= -\text{sgn}(y)\sqrt{|y|},\,\,y(0)=1</math>
परिमित अवधि हल स्वीकार करता है
परिमित अवधि हल स्वीकार करता है
:<math>y(x)=\frac{1}{4}\left(1-\frac{x}{2}+\left|1-\frac{x}{2}\right|\right)^2</math>
:<math>y(x)=\frac{1}{4}\left(1-\frac{x}{2}+\left|1-\frac{x}{2}\right|\right)^2</math>


Line 118: Line 118:


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


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


===फ्यूचियन सिद्धांत===
===फ्यूचियन सिद्धांत===
{{main article|Frobenius method}}
{{main article|फ्रोबेनियस विधि}}
[[लाजर फुच्स]] द्वारा दो संस्मरण<ref>''Crelle'', 1866, 1868</ref> एक उपन्यास दृष्टिकोण को प्रेरित किया, जिसे बाद में थॉमे और [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] द्वारा विस्तृत किया गया। 1869 की शुरुआत में कोलेट का एक प्रमुख योगदानकर्ता था। एक अरेखीय प्रणाली को एकीकृत करने के लिए उनकी विधि को 1868 में बर्ट्रेंड को सूचित किया गया था। [[अल्फ्रेड क्लेब्सच]] (1873) ने [[एबेलियन अभिन्न]] के अपने सिद्धांत के समानांतर सिद्धांत पर हमला किया। जैसा कि उत्तरार्द्ध को मौलिक वक्र के गुणों के अनुसार वर्गीकृत किया जा सकता है जो एक तर्कसंगत परिवर्तन के अनुसार  अपरिवर्तित रहता है, क्लेबश ने तर्कसंगत एक-टू के अनुसार  संबंधित सतहों f = 0 के अपरिवर्तनीय गुणों के अनुसार अंतर समीकरणों द्वारा परिभाषित पारलौकिक फलनों को वर्गीकृत करने का प्रस्ताव दिया। -एक परिवर्तन।
[[लाजर फुच्स]] द्वारा दो संस्मरण<ref>''Crelle'', 1866, 1868</ref> एक उपन्यास दृष्टिकोण को प्रेरित किया, जिसे बाद में थॉमे और [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] द्वारा विस्तृत किया गया। 1869 की शुरुआत में कोलेट का एक प्रमुख योगदानकर्ता था। एक अरेखीय प्रणाली को एकीकृत करने की उनकी पद्धति को 1868 में बर्ट्रेंड को सूचित की गई थी। [[अल्फ्रेड क्लेब्सच]] (1873) ने [[एबेलियन अभिन्न]] के अपने सिद्धांत के समानांतर ही सिद्धांत पर हमला किया। जैसा कि उत्तरार्द्ध को मौलिक वक्र के गुणों के अनुसार वर्गीकृत किया जा सकता है जो तर्कसंगत रूपांतरण के अधीन अपरिवर्तित रहता है, क्लेबश ने यह तर्कसंगत से एक से एक रूपांतरण के अधीन संगत सतहों के अपरिवर्तनीय गुणों f = 0 के अनुसार विभेद समीकरणों द्वारा परिभाषित उत्कृष्ट कार्यों को वर्गीकृत करने का प्रस्ताव करता है।


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


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


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


=== स्टर्म-लिउविल सिद्धांत ===
=== स्टर्म-लिउविल सिद्धांत ===
{{main article|Sturm–Liouville theory}}
{{main article|स्टर्म-लिउविल सिद्धांत}}
स्टर्म-लिउविल सिद्धांत एक विशेष प्रकार के दूसरे क्रम के रैखिक साधारण अंतर समीकरण का सिद्धांत है। उनके हल अभिलक्षणिक मान ​​​​और रैखिक समीकरणों के दूसरे क्रम प्रणाली के माध्यम से परिभाषित रैखिक ऑपरेटरों के संबंधित  अभिलक्षणिक फलन पर आधारित हैं। समस्याओं की पहचान स्टर्म-लिउविल प्रॉब्लम्स (एसएलपी) के रूप में की जाती है और इनका नाम जैक्स चार्ल्स फ्रांकोइस स्टर्म | जे.सी.एफ. स्टर्म और जोसेफ लिउविल|जे. लिउविल, जिन्होंने 1800 के दशक के मध्य में उनका अध्ययन किया था। एसएलपी  में अनंत संख्या में अभिलक्षणिक मान ​​​​होते हैं, और संबंधित  [[eigenfunction|अभिलक्षणिक फलन]] एक पूर्ण, ऑर्थोगोनल सेट बनाते हैं, जो ऑर्थोगोनल प्रसार  को मुमकिन बनाता है। अनुप्रयुक्त गणित, भौतिकी और इंजीनियरिंग में यह एक महत्वपूर्ण विचार है।<ref>Logan, J. (2013). Applied mathematics (Fourth ed.).</ref> एसएलपी कुछ आंशिक अंतर समीकरणों के विश्लेषण में भी उपयोगी होते हैं।


== हल  का अस्तित्व और विशिष्टता ==
स्टर्म-लिउविल सिद्धांत एक विशेष प्रकार के दूसरे क्रम के रैखिक साधारण अंतर समीकरण का सिद्धांत है। उनके समाधान दूसरे क्रम के सजातीय रैखिक समीकरणों के माध्यम से परिभाषित रैखिक प्रचालकों के अभिलक्षणिक मान ​​​​और संबंधित अभिलक्षणिक फलन पर आधारित होती हैं। इन समस्याओं की पहचान स्टर्म-लिउविल प्रॉब्लम्स (एसएलपी) के रूप में की जाती है और इनका नाम जैक्स चार्ल्स फ्रांकोइस के नाम पर रखा गया है। स्टर्म और जे. लिउविल, जिन्होंने 1800 के दशक के मध्य में उनका अध्ययन किया था। एसएलपी में अनंत संख्या में अभिलक्षणिक मान ​​​​होते हैं, और संबंधित [[eigenfunction|अभिलक्षणिक फलन]] एक पूर्ण, ऑर्थोगोनल समुच्चय बनाते हैं, जो ऑर्थोगोनल प्रसार को मुमकिन बनाता है। अनुप्रयुक्त गणित, भौतिकी और इंजीनियरिंग में यह एक महत्वपूर्ण विचार है।<ref>Logan, J. (2013). Applied mathematics (Fourth ed.).</ref> एसएलपी कुछ आंशिक अवकल समीकरणों के विश्लेषण में भी उपयोगी होते हैं।


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


:{| class="wikitable"
:{| class="wikitable"
Line 158: Line 160:
|-
|-
|}
|}
अपने मूल रूप में ये दोनों प्रमेय केवल स्थानीय परिणामों की गारंटी देते हैं, चूँकि  बाद वाले को वैश्विक परिणाम देने के लिए बढ़ाया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।
ये दोनों प्रमेय मूल रूप में केवल स्थानीय परिणामों की ही गारंटी देते हैं। चूँकि, इन दोनों के आधारभूत स्वरूप में वैश्विक परिणाम देने के लिए इनका विस्तार किया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।
 
इसके अलावा, अद्वितीयता प्रमेय जैसे लिप्सचिट्ज़ ऊपर वाला अवकलनात्मक बीजगणितीय समीकरण प्रणालियों पर लागू नहीं होता है, जिसमें अकेले उनके (अरेखीय ) बीजगणितीय भाग से उत्पन्न होने वाले कई हल  हो सकते हैं।<ref>{{harvtxt|Ascher|1998|p=13}}</ref>
 


इसके अतिरिक्त, अद्वितीयता प्रमेय जैसे लिप्सचिट्ज़ ऊपर वाला अवकलनात्मक बीजगणितीय समीकरण प्रणालियों पर लागू नहीं होता है, क्योंकि उनके अरेखीय बीजगणितीय भाग से कई हल उत्पन्न हो सकते हैं।<ref>{{harvtxt|Ascher|1998|p=13}}</ref>
=== स्थानीय अस्तित्व और विशिष्टता प्रमेय सरलीकृत ===
=== स्थानीय अस्तित्व और विशिष्टता प्रमेय सरलीकृत ===


Line 171: Line 171:
x-y समतल में, जहाँ a और b [[वास्तविक संख्या]]एँ हैं (प्रतीकात्मक रूप से: {{math|''a'', ''b'' ∈ '''R'''}}) और {{math|×}} कार्तीय उत्पाद को दर्शाता है, वर्ग कोष्ठक अंतराल अंकन को दर्शाता है, फिर एक अंतराल होता है
x-y समतल में, जहाँ a और b [[वास्तविक संख्या]]एँ हैं (प्रतीकात्मक रूप से: {{math|''a'', ''b'' ∈ '''R'''}}) और {{math|×}} कार्तीय उत्पाद को दर्शाता है, वर्ग कोष्ठक अंतराल अंकन को दर्शाता है, फिर एक अंतराल होता है
<math display="block">I = [x_0-h,x_0+h] \subset [x_0-a,x_0+a]</math>
<math display="block">I = [x_0-h,x_0+h] \subset [x_0-a,x_0+a]</math>
कुछ के लिए {{math|''h'' ∈ '''R'''}} जहां उपरोक्त समीकरण और प्रारंभिक मूल्य समस्या का हल पाया जा सकता है। अर्थात एक उपाय है और वह अद्वितीय है। चूँकि F के रैखिक होने पर कोई प्रतिबंध नहीं है, यह अरेखीय समीकरणों पर लागू होता है जो F(x, y) का रूप लेते हैं, और इसे समीकरणों के सिस्टम पर भी लागू किया जा सकता है।
कुछ के लिए {{math|''h'' ∈ '''R'''}} जहां उपरोक्त समीकरण और प्रारंभिक मूल्य समस्या का हल पाया जा सकता है अर्थात इसका उपाय अद्वितीय है। चूँकि F के रैखिक होने पर कोई प्रतिबंध नहीं है, यह अरेखीय समीकरणों पर लागू होता है जो F(x, y) का रूप लेते हैं, और इसे समीकरणों के प्रणाली पर भी लागू किया जा सकता है।


=== वैश्विक विशिष्टता और हल का अधिकतम डोमेन ===
=== वैश्विक विशिष्टता और हल का अधिकतम डोमेन ===
जब पिकार्ड-लिंडेलोफ प्रमेय की परिकल्पना संतुष्ट होती है, तो स्थानीय अस्तित्व और विशिष्टता को वैश्विक परिणाम तक बढ़ाया जा सकता है। ज्यादा ठीक:<ref>Boscain; Chitour 2011, p.&nbsp;21</ref>
जब पिकार्ड-लिंडेलोफ प्रमेय की परिकल्पना संतुष्ट होती है, तो स्थानीय अस्तित्व और विशिष्टता को वैश्विक परिणाम तक बढ़ाया जा सकता है। ज्यादा ठीक:<ref>Boscain; Chitour 2011, p.&nbsp;21</ref>
प्रत्येक प्रारंभिक स्थिति के लिए (x<sub>0</sub>, वाई<sub>0</sub>) एक अद्वितीय अधिकतम (संभवतः अनंत) खुला अंतराल मौजूद है
प्रत्येक प्रारंभिक स्थिति के लिए (x<sub>0</sub>, y<sub>0</sub>) एक अद्वितीय अधिकतम (संभवतः अनंत) ओपन अंतराल सम्मलित है


:<math>I_{\max} = (x_-,x_+), x_\pm \in \R \cup \{\pm \infty\}, x_0 \in I_{\max}</math>
:<math>I_{\max} = (x_-,x_+), x_\pm \in \R \cup \{\pm \infty\}, x_0 \in I_{\max}</math>
ऐसा कि कोई भी हल जो इस प्रारंभिक स्थिति को संतुष्ट करता है, वह हल का [[प्रतिबंध (गणित)]] है जो डोमेन के साथ इस प्रारंभिक स्थिति को संतुष्ट करता है <math>I_\max</math>.
ऐसा कि कोई भी हल जो इस प्रारंभिक स्थिति को संतुष्ट करता है, वह हल का [[प्रतिबंध (गणित)]] है जो डोमेन के साथ इस प्रारंभिक स्थिति <math>I_\max</math> को संतुष्ट करता है .


उस मामले में <math>x_\pm \neq \pm\infty</math>, वास्तव में दो संभावनाएँ हैं
उस स्थिति में <math>x_\pm \neq \pm\infty</math>, वास्तव में दो संभावनाएँ हैं


* परिमित समय में विस्फोट: <math>\limsup_{x \to x_\pm} \|y(x)\| \to \infty</math>
* परिमित समय में विस्फोट: <math>\limsup_{x \to x_\pm} \|y(x)\| \to \infty</math>
*परिभाषा का डोमेन छोड़ता है: <math>\lim_{x \to x_\pm} y(x)\ \in \partial \bar{\Omega}</math>
*परिभाषा का डोमेन छोड़ता है: <math>\lim_{x \to x_\pm} y(x)\ \in \partial \bar{\Omega}</math>
जहां Ω खुला सेट है जिसमें F परिभाषित है, और <math>\partial \bar{\Omega}</math> इसकी सीमा है।
जहां Ω ओपन समुच्चय है जिसमें F परिभाषित है, और <math>\partial \bar{\Omega}</math> इसकी सीमा है।


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


* हमेशा एक अंतराल होता है (विशिष्टता के लिए)
* हमेशा एक अंतराल होता है (विशिष्टता के लिए)
* से छोटा हो सकता है <math>\R</math>
* से छोटा हो सकता है <math>\R</math>
* की विशिष्ट पसंद पर निर्भर हो सकता है (x<sub>0</sub>, वाई<sub>0</sub>).
* की विशिष्ट पसंद पर निर्भर हो सकता है (x<sub>0</sub>, y<sub>0</sub>).


;उदाहरण।
;उदाहरण के रूप में


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


इतनी सरल सेटिंग में भी, हल का अधिकतम डोमेन सभी नहीं हो सकता <math>\R</math> चूंकि हल है
इतनी सरल समुच्चय में भी, हल का अधिकतम डोमेन सभी नहीं हो सकता चूंकि <math>\R</math> का हल है


:<math>y(x) = \frac{y_0}{(x_0-x)y_0+1}</math>
:<math>y(x) = \frac{y_0}{(x_0-x)y_0+1}</math>
Line 205: Line 205:
यह स्पष्ट रूप से दिखाता है कि अधिकतम अंतराल प्रारंभिक स्थितियों पर निर्भर हो सकता है। Y के प्रांत को अस्तित्व के रूप में लिया जा सकता है <math>\R \setminus (x_0+ 1/y_0),</math> लेकिन यह एक ऐसे डोमेन की ओर ले जाएगा जो एक अंतराल नहीं है, जिससे प्रारंभिक स्थिति के विपरीत पक्ष प्रारंभिक स्थिति से डिस्कनेक्ट हो जाएगा, और इसलिए इसके द्वारा विशिष्ट रूप से निर्धारित नहीं किया जाएगा।
यह स्पष्ट रूप से दिखाता है कि अधिकतम अंतराल प्रारंभिक स्थितियों पर निर्भर हो सकता है। Y के प्रांत को अस्तित्व के रूप में लिया जा सकता है <math>\R \setminus (x_0+ 1/y_0),</math> लेकिन यह एक ऐसे डोमेन की ओर ले जाएगा जो एक अंतराल नहीं है, जिससे प्रारंभिक स्थिति के विपरीत पक्ष प्रारंभिक स्थिति से डिस्कनेक्ट हो जाएगा, और इसलिए इसके द्वारा विशिष्ट रूप से निर्धारित नहीं किया जाएगा।


अधिकतम डोमेन नहीं है <math>\R</math> चूंकि
अधिकतम डोमेन <math>\R</math>न हीं है चूंकि


:<math>\lim_{x \to x_\pm} \|y(x)\| \to \infty,</math>
:<math>\lim_{x \to x_\pm} \|y(x)\| \to \infty,</math>
जो उपरोक्त प्रमेय के अनुसार दो संभावित मामलों में से एक है।
जो उपरोक्त प्रमेय के अनुसार दो संभावित स्थितियो में से एक है।


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


=== प्रथम-क्रम प्रणाली में कमी === <!-- Redirect [[Stiff equation]] links here -->
=== प्रथम-क्रम प्रणाली में कमी ===
क्रम n का कोई स्पष्ट अवकल समीकरण,
क्रम n का कोई स्पष्ट अवकल समीकरण,


:<math>F\left(x, y, y', y'',\ \ldots,\ y^{(n-1)}\right) = y^{(n)}</math>
:<math>F\left(x, y, y', y'',\ \ldots,\ y^{(n-1)}\right) = y^{(n)}</math>
अज्ञात फलनों के एक नए परिवार को परिभाषित करके n प्रथम-क्रम अंतर समीकरणों की एक प्रणाली के रूप में लिखा जा सकता है
अज्ञात फलनों के एक नए परिवार को परिभाषित करके n प्रथम-क्रम अवकल समीकरणों की वह प्रणाली के रूप में लिखा जा सकता है


:<math>y_i = y^{(i-1)}.\!</math>
:<math>y_i = y^{(i-1)}.\!</math>
मैं = 1, 2,..., एन के लिए। प्रथम-क्रम युग्मित अंतर समीकरणों की एन-आयामी प्रणाली तब है
मैं = 1, 2,..., एन के लिए। प्रथम-क्रम युग्मित अवकल समीकरणों की एन-आयामी प्रणाली तब है


:<math>\begin{array}{rcl}
:<math>\begin{array}{rcl}
Line 238: Line 238:


== सटीक हलो का सारांश ==
== सटीक हलो का सारांश ==
<!--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. -->
कुछ अवकल समीकरणों के हल होते हैं जिन्हें सटीक और बंद रूप में लिखा जा सकता है। यहाँ कई महत्वपूर्ण वर्ग दिए गए हैं।
कुछ अवकल समीकरणों के हल होते हैं जिन्हें सटीक और बंद रूप में लिखा जा सकता है। यहाँ कई महत्वपूर्ण वर्ग दिए गए हैं।


नीचे दी गई तालिका में, {{math|''P''(''x'')}}, {{math|''Q''(''x'')}}, {{math|''P''(''y'')}}, {{math|''Q''(''y'')}}, और {{math|''M''(''x'',''y'')}}, {{math|''N''(''x'',''y'')}} के कोई पूर्णांक फलन हैं {{math|''x''}}, {{math|''y''}}, और {{math|''b''}} और {{math|''c''}} वास्तविक दिए गए स्थिरांक हैं, और {{math|''C''<sub>1</sub>, ''C''<sub>2</sub>, ...}} यादृच्छिक  स्थिरांक हैं (सामान्य रूप से जटिल संख्या)। अवकल समीकरण उनके समतुल्य और वैकल्पिक रूपों में होते हैं जो एकीकरण के माध्यम से हल की ओर ले जाते हैं।
नीचे दी गई तालिका में, {{math|''P''(''x'')}}, {{math|''Q''(''x'')}}, {{math|''P''(''y'')}}, {{math|''Q''(''y'')}}, और {{math|''M''(''x'',''y'')}}, {{math|''N''(''x'',''y'')}} के कोई पूर्णांक फलन हैं {{math|''x''}}, {{math|''y''}}, और {{math|''b''}} और {{math|''c''}} वास्तविक दिए गए स्थिरांक हैं, और {{math|''C''<sub>1</sub>, ''C''<sub>2</sub>, ...}}एकतंत्र स्थिरांक हैं (सामान्य रूप से जटिल संख्या)। अवकल समीकरण उनके समतुल्य और वैकल्पिक रूपों में होते हैं जो एकीकरण के माध्यम से हल की ओर ले जाते हैं।


अभिन्न हल में, λ और ε एकीकरण के डमी चर हैं (संकलन में सूचकांकों के निरंतर अनुरूप), और अंकन {{math|∫<sup>''x''</sup> ''F''(''λ'') ''dλ''}} सिर्फ एकीकृत करने का मतलब है {{math|''F''(''λ'')}} इसके संबंध में {{mvar|λ}}, फिर एकीकरण स्थानापन्न के बाद {{math|1=''λ'' = ''x''}}, स्थिरांक जोड़े बिना (स्पष्ट रूप से कहा गया)।
अभिन्न हल में, λ और ε एकीकरण के डमी चर हैं (संकलन में सूचकांकों के निरंतर अनुरूप), और अंकन {{math|∫<sup>''x''</sup> ''F''(''λ'') ''dλ''}} सिर्फ एकीकृत करने का {{math|''F''(''λ'')}} मान है इसके संबंध में {{mvar|λ}} एकीकरण स्थानापन्न के बाद {{math|1=''λ'' = ''x''}} स्थिरांक जोड़े बिना स्पष्ट किया जाता है।


=== वियोज्य समीकरण ===
=== वियोज्य समीकरण ===
Line 252: Line 251:
! scope="col" | सामान्य हल
! scope="col" | सामान्य हल
|-
|-
| प्रथम-क्रम, x और y में वियोज्य (सामान्य स्थति , विशेष स्थतियो के लिए नीचे देखें)    <ref name="MHFT">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</ref>
| प्रथम-क्रम, x और y में वियोज्य (सामान्य स्थति , विशेष स्थतियो के लिए नीचे देखें) <ref name="MHFT">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</ref>


<math>\begin{align}
<math>\begin{align}
Line 300: Line 299:


<math>\frac{dy}{dx} = F \left( \frac y x \right ) </math>
<math>\frac{dy}{dx} = F \left( \frac y x \right ) </math>
| y = ux सेट करें, फिर u और x में वेरिएबल्स को अलग करके हल करें.
| y = ux समुच्चय करें, फिर u और x में वेरिएबल्स को अलग करके हल करें.
| <math> \ln (Cx) = \int^{y/x} \frac{d\lambda}{F(\lambda) - \lambda} </math>
| <math> \ln (Cx) = \int^{y/x} \frac{d\lambda}{F(\lambda) - \lambda} </math>
|-
|-
Line 314: 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 394: Line 393:


<math>\frac{d^2y}{dx^2} + b\frac{dy}{dx} + cy = r(x)</math>
<math>\frac{d^2y}{dx^2} + b\frac{dy}{dx} + cy = r(x)</math>
| पूरक फलन ''y<sub>c</sub>'': मान लीजिए {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए <math>e^{\alpha_j x}</math>.
| पूरक फलन ''y<sub>c</sub>'': मान लीजिए {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए <math>e^{\alpha_j x}</math>.


विशेष समाकल ''y<sub>p</sub>'': सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है ''r''(''x'') निरीक्षण कार्य कर सकता है.<ref name="EDEBVP" />
विशेष समाकल ''y<sub>p</sub>'': सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है ''r''(''x'') निरीक्षण कार्य कर सकता है.<ref name="EDEBVP" />
Line 415: Line 414:


<math> \sum_{j=0}^n b_j \frac{d^j y}{dx^j} = r(x)</math>
<math> \sum_{j=0}^n b_j \frac{d^j y}{dx^j} = r(x)</math>
|पूरक फलन ''y<sub>c</sub>'': मान लीजिए {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए <math>e^{\alpha_j x}</math>.
|पूरक फलन ''y<sub>c</sub>'': मान लीजिए {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} में बहुपद को प्रतिस्थापित और हल करें, रैखिक रूप से स्वतंत्र फलन को खोजने के लिए <math>e^{\alpha_j x}</math>.


विशेष समाकल ''y<sub>p</sub>'': सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है ''r''(''x'') निरीक्षण कार्य कर सकता है.<ref name="EDEBVP" />
विशेष समाकल ''y<sub>p</sub>'': सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है ''r''(''x'') निरीक्षण कार्य कर सकता है.<ref name="EDEBVP" />
Line 425: Line 424:
प्रत्येक रूट के लिए ''α''<sub>''j''</sub> rबार-बार ''k<sub>j</sub>'' समय,   
प्रत्येक रूट के लिए ''α''<sub>''j''</sub> rबार-बार ''k<sub>j</sub>'' समय,   
<math display="block"> y_c = \sum_{j=1}^n \left( \sum_{\ell=1}^{k_j} C_{j,\ell} x^{\ell-1}\right )e^{\alpha_j x}</math>
<math display="block"> y_c = \sum_{j=1}^n \left( \sum_{\ell=1}^{k_j} C_{j,\ell} x^{\ell-1}\right )e^{\alpha_j x}</math>
कुछ αj कॉम्प्लेक्स के लिए, फिर सेटिंग ''α'' = ''χ''<sub>''j''</sub> + ''iγ''<sub>''j''</sub>, और [[यूलर के सूत्र]] का उपयोग करके, पिछले परिणामों में कुछ शब्दों को प्रपत्र में लिखे जाने की अनुमति देता है
कुछ αj कॉम्प्लेक्स के लिए, फिर समुच्चय िंग ''α'' = ''χ''<sub>''j''</sub> + ''iγ''<sub>''j''</sub>, और [[यूलर के सूत्र]] का उपयोग करके, पिछले परिणामों में कुछ शब्दों को प्रपत्र में लिखे जाने की अनुमति देता है
<math display="block"> C_j e^{\alpha_j x} = C_j e^{\chi_j x}\cos(\gamma_j x + \varphi_j)</math>
<math display="block"> C_j e^{\alpha_j x} = C_j e^{\chi_j x}\cos(\gamma_j x + \varphi_j)</math>
जहां ''ϕ''<sub>''j''</sub> एक यादृच्छिक स्थिरांक (चरण बदलाव) है।
जहां ''ϕ''<sub>''j''</sub> एक एकतंत्र स्थिरांक (चरण बदलाव) है।
|}
|}




== अनुमान लगाने की विधि ==
== अनुमान लगाने की विधि ==
{{unreferenced section|date=January 2020}}
जब एक ओडीई को हल करने के लिए अन्य सभी विधि विफल हो जाती हैं, या ऐसे स्थितियो में जहां हमें इस बारे में कुछ अंतर्ज्ञान होता है कि डीइ का हल कैसा दिख सकता है, तो कभी-कभी केवल हल का अनुमान लगाकर और इसे मान्य करके डीइ को हल करना मुमकिन होता है। इस विधि का उपयोग करने के लिए, हम केवल अवकल समीकरण के हल का अनुमान लगाते हैं, और फिर समीकरण को संतुष्ट करने के लिए हल को अवकल समीकरण में प्लग करते हैं। यदि ऐसा होता है तो हमारे पास डीइ का एक विशेष हल है, अन्यथा हम फिर से शुरू करते हैं और एक और अनुमान लगाने का प्रयास करते हैं। उदाहरण के लिए हम अनुमान लगा सकते हैं कि डीइ के हल का रूप है: <math>y = Ae^{\alpha t}</math> चूंकि यह एक बहुत ही सामान्य उपाय है जो भौतिक रूप से साइनसोइडल विधि के रूप में निरूपित करता है।
जब एक ओडीई को हल करने के लिए अन्य सभी विधि विफल हो जाती हैं, या ऐसे मामलों में जहां हमें इस बारे में कुछ अंतर्ज्ञान होता है कि DE का हल कैसा दिख सकता है, तो कभी-कभी केवल हल का अनुमान लगाकर और इसे मान्य करके DE को हल करना मुमकिन होता है। इस विधि का उपयोग करने के लिए, हम केवल अंतर समीकरण के हल का अनुमान लगाते हैं, और फिर समीकरण को संतुष्ट करने के लिए हल को अंतर समीकरण में प्लग करते हैं। यदि ऐसा होता है तो हमारे पास DE का एक विशेष हल है, अन्यथा हम फिर से शुरू करते हैं और एक और अनुमान लगाने का प्रयास करते हैं। उदाहरण के लिए हम अनुमान लगा सकते हैं कि DE के हल का रूप है: <math>y = Ae^{\alpha t}</math> चूंकि यह एक बहुत ही सामान्य उपाय है जो शारीरिक रूप से साइनसोइडल विधि के रूप में आचरण  करता है।


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


<math>\text{total solution} = \text{homogeneous solution} + \text{particular solution}</math>
<math>\text{total solution} = \text{homogeneous solution} + \text{particular solution}</math>
== ओडीई हल करने के लिए सॉफ्टवेयर ==
== ओडीई हल करने के लिए सॉफ्टवेयर ==
* [[मैक्सिमा (सॉफ्टवेयर)]], एक ओपन-सोर्स [[कंप्यूटर बीजगणित प्रणाली]]।
* [[मैक्सिमा (सॉफ्टवेयर)]], एक ओपन-सोर्स [[कंप्यूटर बीजगणित प्रणाली]]।
* [[कोपासिस]], ओडीई के एकीकरण और विश्लेषण के लिए एक मुफ्त (आर्टिस्टिक लाइसेंस|आर्टिस्टिक लाइसेंस 2.0) सॉफ्टवेयर पैकेज।
* [[कोपासिस]], ओडीई के एकीकरण और विश्लेषण के लिए एक मुफ्त आर्टिस्टिक लाइसेंस|आर्टिस्टिक लाइसेंस 2.0 सॉफ्टवेयर पैकेज है।
* [[MATLAB|मैटलैब]], एक तकनीकी कंप्यूटिंग अनुप्रयोग (आव्यूह प्रयोगशाला)
* [[MATLAB|मैटलैब]], एक तकनीकी कंप्यूटिंग अनुप्रयोग आव्यूह प्रयोगशाला है
* [[जीएनयू ऑक्टेव]], एक उच्च स्तरीय भाषा, मुख्य रूप से संख्यात्मक अभिकलन के लिए अभिप्रेत है।
* [[जीएनयू ऑक्टेव]], एक उच्च स्तरीय भाषा, मुख्य रूप से संख्यात्मक अभिकलन के लिए अभिप्रेत है।
* [[साइलैब]], संख्यात्मक अभिकलन के लिए एक खुला स्रोत अनुप्रयोग।
* [[साइलैब]], संख्यात्मक अभिकलन के लिए एक ओपन स्रोत अनुप्रयोग होता है।
* [[मेपल (सॉफ्टवेयर)]], सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग।
* [[मेपल (सॉफ्टवेयर)]], सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग होता है।
* [[मेथेमेटिका]], मुख्य रूप से सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग है।
* [[मेथेमेटिका]], मुख्य रूप से सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग होता है।
* [[सिम्पी]], एक पायथन पैकेज जो ओडीई को प्रतीकात्मक रूप से हल कर सकता है
* [[सिम्पी]], एक पायथन पैकेज जो ओडीई को प्रतीकात्मक रूप से हल कर सकता है।
* [[जूलिया (प्रोग्रामिंग भाषा)]], मुख्य रूप से संख्यात्मक संगणना के लिए एक उच्च स्तरीय भाषा है।
* [[जूलिया (प्रोग्रामिंग भाषा)]], मुख्य रूप से संख्यात्मक संगणना के लिए एक उच्च स्तरीय भाषा है।
* सेजमैथ, एक ओपन-सोर्स एप्लिकेशन जो गणित की कई शाखाओं में फैली क्षमताओं की एक विस्तृत श्रृंखला के साथ पायथन-जैसे सिंटैक्स का उपयोग करता है।
* सेजमैथ, एक ओपन-सोर्स अनुप्रयोग जो गणित की कई शाखाओं में फैली क्षमताओं की एक विस्तृत श्रृंखला के साथ पायथन जैसे रचनाक्रम का उपयोग करता है।
* [[SciPy|साईपाई]], एक पाइथन पैकेज जिसमें एक ओडीई एकीकरण मॉड्यूल सम्मिलित है।
* [[SciPy|साईपाई]], एक पाइथन पैकेज जिसमें एक ओडीई एकीकरण मापांक सम्मिलित होता है।
* 15 अंकों की सटीकता के फलनों के साथ कंप्यूटिंग के लिए MATLAB में लिखा गया एक ओपन-सोर्स पैकेज [[Chebfun|चेबफन]]
* 15 अंकों की सटीकता के फलनों के साथ संगणना के लिए मैटलैब में लिखा गया एक ओपन स्रोत पैकेज [[Chebfun|चेबफन]] है।
* [[GNU R|जीएनयू आर]], मुख्य रूप से आँकड़ों के लिए एक खुला स्रोत कम्प्यूटेशनल वातावरण है, जिसमें ओडीई हल करने के लिए पैकेज सम्मिलित हैं।
* [[GNU R|जीएनयू आर]], मुख्य रूप से आँकड़ों के लिए एक ओपन स्रोत संगणनात्मक वातावरण है, जिसमें ओडीई हल करने के लिए पैकेज सम्मिलित होते हैं।


== यह भी देखें ==
== यह भी देखें ==
* सीमा मूल्य समस्या
* सीमा मूल्य समस्या
* अवकल समीकरणों के उदाहरण
* अवकल समीकरणों के उदाहरण
* [[लाप्लास परिवर्तन अंतर समीकरणों पर लागू होता है]]
* [[लाप्लास परिवर्तन अंतर समीकरणों पर लागू होता है|लाप्लास परिवर्तन अवकल समीकरणों पर लागू होता है]]
*[[डायनेमिक सिस्टम और डिफरेंशियल इक्वेशन विषयों की सूची]]
*[[डायनेमिक सिस्टम और डिफरेंशियल इक्वेशन विषयों की सूची|गतिशील प्रणाली और अवकलन समीकरण विषयों की सूची]]
*[[मैट्रिक्स अंतर समीकरण|आव्यूह अंतर समीकरण]]
*[[मैट्रिक्स अंतर समीकरण|आव्यूह अवकल समीकरण]]
*अनिर्धारित गुणांकों की विधि
*अनिर्धारित गुणांकों की विधि
*[[पुनरावृत्ति संबंध]]
*[[पुनरावृत्ति संबंध]]
Line 488: Line 484:
*{{Cite book |first=Nail H. |last=Ibragimov |author-link = Nail H. Ibragimov |title=CRC Handbook of Lie Group Analysis of Differential Equations Vol. 1-3 |publisher=CRC-Press |location=Providence |year=1993 |isbn=0-8493-4488-3 }}.
*{{Cite book |first=Nail H. |last=Ibragimov |author-link = Nail H. Ibragimov |title=CRC Handbook of Lie Group Analysis of Differential Equations Vol. 1-3 |publisher=CRC-Press |location=Providence |year=1993 |isbn=0-8493-4488-3 }}.
* {{cite book| last = Teschl| given = Gerald|author-link=Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher=[[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn= 978-0-8218-8328-0| url = https://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}
* {{cite book| last = Teschl| given = Gerald|author-link=Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher=[[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn= 978-0-8218-8328-0| url = https://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}
* [[Andrei Polyanin|A. D. Polyanin]], V. F. Zaitsev, and A. Moussiaux, ''Handbook of First Order Partial Differential Equations'', Taylor & Francis, London, 2002. {{isbn|0-415-27267-X}}
* [[Andrei Polyanin|A. D. Polyanin]], V. F. Zaitsev, and A. Moussiaux, ''Handbook of First Orडीइ r Partial Differential Equations'', Taylor & Francis, London, 2002. {{isbn|0-415-27267-X}}
* D. Zwillinger, ''Handbook of Differential Equations (3rd edition)'', Academic Press, Boston, 1997.
* D. Zwillinger, ''Handbook of Differential Equations (3rd edition)'', Acaडीइ mic Press, Boston, 1997.
 
 
 
==इस पेज में लापता आंतरिक लिंक की सूची==
 
*यौगिक
*अंक शास्त्र
*अंतर समीकरण
*आंशिक अवकल  समीकरण
*रैखिक बहुपद
*रैखिक अंतर समीकरण
*अलग करने योग्य समारोह
*साधारण अंतर समीकरणों के लिए संख्यात्मक तरीके
*व्यावहारिक गणित
*प्राथमिक समारोह
*भौतिक विज्ञान
*अंतरिक्ष-विज्ञान
*बरनौली परिवार
*परिस्थितिकी
*धनी
*जीवविज्ञान
*भेदभाव के लिए अंकन
*एकीकरण (गणित)
*निहित और स्पष्ट कार्य
*सदिश -मूल्यवान फलन
*कॉलम सदिश
*शून्य सदिश
*अंतर बीजगणितीय समीकरण
*एकीकरण की निरंतरता
*मापदंडों की भिन्नता
*अनिर्धारित गुणांक की विधि
*लक्स जोड़ी
*झूठ सिद्धांत
*बीजगणित झूठ बोलो
*रैखिक समीकरणों की प्रणाली
*कार्तीय गुणन
*मध्यवर्ती टिप्पणी
*समाकलनीय
*योग
*सेज मठ
*अंतर समीकरणों के उदाहरण
==बाहरी कड़ियाँ==
==बाहरी कड़ियाँ==
{{wikibooks|Calculus/Ordinary differential equations}}
{{wikibooks|Calculus/Ordinary differential equations}}
Line 541: Line 496:
*[https://www.mat.univie.ac.at/~gerald/ftp/book-ode/ Ordinary Differential Equations and Dynamical Systems] lecture notes by [[Gerald Teschl]].
*[https://www.mat.univie.ac.at/~gerald/ftp/book-ode/ Ordinary Differential Equations and Dynamical Systems] lecture notes by [[Gerald Teschl]].
*[http://www.jirka.org/diffyqs/ Notes on Diffy Qs: Differential Equations for Engineers] An introductory textbook on differential equations by Jiri Lebl of [[UIUC]].
*[http://www.jirka.org/diffyqs/ Notes on Diffy Qs: Differential Equations for Engineers] An introductory textbook on differential equations by Jiri Lebl of [[UIUC]].
*[http://www.openeering.com/sites/default/files/LHY_Scilab_Tutorial_Part1.pdf Mओडीईling with ओडीई using Scilab] A tutorial on how to mओडीईl a physical system described by ओडीई using Scilab standard programming language by Openeering team.
*[http://www.openeering.com/sites/default/files/LHY_Scilab_Tutorial_Part1.pdf Mओडीईling with ओडीई using Scilab] A tutorial on how to mओडीईl a physical system डीइ scribed by ओडीई using Scilab standard programming language by Openeering team.
*[http://www.wolframalpha.com/input/?i=y%27%27+%2B+2xy+%3D+0 Solving an ordinary differential equation in Wolfram|Alpha]
*[http://www.wolframalpha.com/input/?i=y%27%27+%2B+2xy+%3D+0 Solving an ordinary differential equation in Wolfram|Alpha]


Line 547: Line 502:
{{Analysis-footer}}
{{Analysis-footer}}
{{Authority control}}
{{Authority control}}
[[श्रेणी:विभेदक कलन|श्रेणी:अवकल  कलन]]
[[श्रेणी:साधारण अवकल समीकरण| ]]
[[श्रेणी:विभेदक समीकरण|श्रेणी:अवकल  समीकरण]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 19/12/2022]]
[[Category:Created On 19/12/2022]]
[[Category:Exclude in print]]
[[Category:Interwiki category linking templates]]
[[Category:Interwiki link templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikimedia Commons templates]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]

Latest revision as of 10:57, 4 January 2023

गणित में, साधारण अवकल समीकरण (ओडीई) एक अवकल समीकरण है, जिसके अज्ञातओं में एक चर (गणित) के एक या अधिक फलन से निर्मित होते हैं और उन फलनों के व्युत्पन्न से संबंधित होते हैं।[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]

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

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


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

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

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

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

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

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

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

हल

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

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

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

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

nवें क्रम के समीकरण का एक सामान्य हल एक ऐसा हल है जिसमें एकीकरण का n एकतंत्र स्वतंत्र स्थिरांक होता है। एक विशेष हल सामान्य हल स्थिरांक को विशेष मूल्यों पर स्थापित करके, प्रायः प्राप्त किया जाता है, जिसे अधिकांशता समुच्चय 'प्रारंभिक मूल्य समस्या या सीमा मूल्य समस्या' को पूरा करने के लिए चुना जाता है।[18] एक विलक्षण हल एक ऐसा हल है जिसे सामान्य हल में एकतंत्र अचरों को निश्चित मान देकर प्राप्त नहीं किया जा सकता है।[19]

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

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

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

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

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


सिद्धांत

एकाकी उपाय

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

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

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

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

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

लाइ का सिद्धांत

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

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

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

गणित, भौतिकी, अभियांत्रिकी तथा अन्य विधाओं में उत्पन्न होने वाले अवकल समीकरणों पर सममिति पद्धतियों का प्रयोग किया गया है।

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

जहां Ω ओपन समुच्चय है जिसमें F परिभाषित है, और इसकी सीमा है।

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

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

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

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

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

यह स्पष्ट रूप से दिखाता है कि अधिकतम अंतराल प्रारंभिक स्थितियों पर निर्भर हो सकता है। 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 एक एकतंत्र स्थिरांक (चरण बदलाव) है।


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

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

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

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

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

यह भी देखें

टिप्पणियाँ

  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


संदर्भ


ग्रन्थसूची

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