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

From Vigyanwiki
(Created page with "{{Short description|Differential equation containing derivatives with respect to only one variable}} {{Differential equations}} गणित में, एक साधार...")
 
No edit summary
 
(36 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}}
गणित में, एक साधारण अवकल समीकरण (ODE) एक अवकल समीकरण है, जिसके अज्ञात (ओं) में एक [[चर (गणित)]] के एक (या अधिक) फलन होते हैं और उन फलनों के अवकलज शामिल होते हैं।<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|y}} चर का {{mvar|x}}.
जहाँ {{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|एक [[तोप]] से प्रक्षेपित [[प्रक्षेप्य]] का [[प्रक्षेपवक्र]] न्यूटन के दूसरे नियम से प्राप्त एक साधारण अंतर समीकरण द्वारा निर्धारित वक्र का अनुसरण करता है।]]गणित और [[सामाजिक विज्ञान]] और [[प्राकृतिक विज्ञान]] विज्ञान के कई संदर्भों में साधारण अंतर समीकरण (ODE) उत्पन्न होते हैं। परिवर्तन के गणितीय विवरण अवकलों और अवकलजों का उपयोग करते हैं। विभिन्न अंतर, डेरिवेटिव और फ़ंक्शंस समीकरणों के माध्यम से संबंधित हो जाते हैं, जैसे कि एक अंतर समीकरण एक परिणाम है जो गतिशील रूप से बदलती घटनाओं, विकास और भिन्नता का वर्णन करता है। अक्सर, मात्राओं को अन्य मात्राओं के परिवर्तन की दर के रूप में परिभाषित किया जाता है (उदाहरण के लिए, समय के संबंध में विस्थापन के डेरिवेटिव), या मात्राओं के ग्रेडियेंट, इस प्रकार वे अंतर समीकरणों में प्रवेश करते हैं।
[[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|A differential equation not depending on ''x'' is called ''[[Autonomous system (mathematics)|autonomous]]''.}}
{{term|[[स्वायत्त प्रणाली (गणित)|स्वायत्त]]}}{{defn|एक अवकलन समीकरण जो ''x'' पर निर्भर नहीं करता है, उसे ''[[स्वायत्त प्रणाली (गणित)|स्वायत्त]]'' कहा जाता है।}}
{{term|[[Linear differential equation|Linear]]}}{{defn|
{{term|[[रैखिक अवकलन समीकरण|रैखिक]]}}{{defn|
A differential equation is said to be ''linear'' if ''F'' can be written as a [[linear combination]] of the derivatives of ''y'':
एक अवकलन समीकरण को ''रैखिक'' कहा जाता है यदि ''F'' को ''y'' के डेरिवेटिव के [[रैखिक संयोजन]] के रूप में लिखा जा सकता है।':
:<math>y^{(n)} = \sum_{i=0}^{n - 1} a_i(x) y^{(i)} + r(x)</math>
:<math>y^{(n)} = \sum_{i=0}^{n - 1} a_i(x) y^{(i)} + r(x)</math>


where {{math|''a''{{hairsp}}{{sub|''i''}}{{thinsp}}(''x'')}} and {{math|''r''{{hairsp}}(''x'')}} are continuous functions of {{mvar|x}}.<ref name="Harper 1976 127"/><ref name="Kreyszig 1972 24">{{harvtxt|Kreyszig|1972|p=24}}</ref><ref>{{harvtxt|Simmons|1972|p=47}}</ref>
where {{math|''a''{{hairsp}}{{sub|''i''}}{{thinsp}}(''x'')}} and {{math|''r''{{hairsp}}(''x'')}} are continuous functions of {{mvar|x}}.<ref name="Harper 1976 127"/><ref name="Kreyszig 1972 24">{{harvtxt|Kreyszig|1972|p=24}}</ref><ref>{{harvtxt|Simmons|1972|p=47}}</ref>


The function ''r''(''x'') is called the ''source term'', leading to two further important classifications:<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|If ''r''(''x'') {{=}} 0, and consequently one "automatic" solution is the [[trivial solution]], ''y'' {{=}} 0. The solution of a linear homogeneous equation is a '''complementary function''', denoted here by ''y<sub>c</sub>''.}}
{{term|[[सजातीय अवकल समीकरण|सजातीय]]}}{{defn|यदि r(''x'') {{=}} 0, और फलस्वरूप एक "स्वचालित" समाधान है [[trivial solution]], ''y'' {{=}} 0. एक रैखिक समांगी समीकरण का हल एक 'पूरक फलन' होता है, जिसे यहाँ से निरूपित किया जाता है ''y<sub>c</sub>''.}}
{{term|[[Homogeneous differential equation#Homogeneous linear differential equations|Nonhomogeneous (or inhomogeneous)]]}}{{defn|If ''r''(''x'') ≠ 0. The additional solution to the complementary function is the '''particular integral''', denoted here by ''y<sub>p</sub>''.}}
{{term|[[सजातीय अंतर समीकरण सजातीय रैखिक अंतर समीकरण | गैर-सजातीय (या विषम)]]}}{{defn|यदि आर (''x'') ≠ 0. पूरक फलन का अतिरिक्त हल 'विशेष समाकल' है, जिसे यहाँ से निरूपित किया गया है ''y<sub>p</sub>''.}}
{{glossary end}}
{{glossary end}}
{{term|[[Non-linear differential equation|Non-linear]]}}{{defn|A differential equation that cannot be written in the form of a linear combination.}}
{{term|[[गैर-रैखिक अंतर समीकरण गैर-रैखिक]]}}{{defn|एक अवकल समीकरण जिसे रैखिक संयोजन के रूप में नहीं लिखा जा सकता।}}
{{glossary end}}
{{glossary end}}




=== ओडीई की प्रणाली ===
=== ओडीई की प्रणाली ===
{{Main|System of differential equations}}
{{Main|अवकलन  समीकरण की प्रणाली}}
कई युग्मित अवकल समीकरण समीकरणों की एक प्रणाली बनाते हैं। यदि y एक सदिश है जिसके अवयव फलन हैं; वाई(''एक्स'') = [''वाई''<sub>1</sub>(एक्स), और<sub>2</sub>(एक्स), ..., वाई<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 77: Line 75:


:<math>\mathbf{F} \left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)} \right) = \boldsymbol{0}</math>
:<math>\mathbf{F} \left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)} \right) = \boldsymbol{0}</math>
जहाँ 0 = (0, 0, ..., 0) शून्य सदिश है। मैट्रिक्स रूप में
जहाँ 0 = (0, 0, ..., 0) शून्य सदिश है। आव्यूह रूप में है


:<math>\begin{pmatrix}
:<math>\begin{pmatrix}
Line 90: 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 [प्रणाली] कहने के लिए [[एकवचन मैट्रिक्स]]|गैर-एकवचन; इस जैकोबियन गैर-विलक्षणता की स्थिति को संतुष्ट करने वाली एक निहित ODE प्रणाली को एक स्पष्ट ODE प्रणाली में रूपांतरित किया जा सकता है। उन्हीं स्रोतों में, एक विलक्षण जैकोबियन के साथ अंतर्निहित ODE सिस्टम को अवकल बीजगणितीय समीकरण (DAE) कहा जाता है। यह भेद केवल शब्दावली में से एक नहीं है; डीएई की मौलिक रूप से भिन्न विशेषताएं हैं और आम तौर पर (नॉनसिंगुलर) ओडीई सिस्टम की तुलना में हल करने में अधिक शामिल हैं।<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}} हालांकि ध्यान दें कि #Reduction to a first-order system|एक से अधिक ऑर्डर का कोई भी 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> इसे एक अंतर्निहित ओडीई प्रणाली कहने के लिए गैर-[[एकवचन]] होना चाहिए। इस जैकोबियन गैर-विलक्षणता अवस्था को संतुष्ट करने वाली एक अंतर्निहित कोड प्रणाली को एक स्पष्ट ओड प्रणाली में बदला जा सकता है। इसी स्रोत में, एकल जेकोबियन के साथ निहित कोड को विभेदीय बीजीय समीकरण डीएएस कहा जाता है।यह भेद केवल इसकी शब्दावली में से नहीं है जो डीएईएस के मूल रूप से अलग-अलग लक्षण हैं और सामान्यतया गैर-विलक्षण ओड प्रणाली की अपेक्षा उनका हल करने में अधिक सहायक होते हैं।<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> जो इस वर्गीकरणो के लिए पर्याप्त होने के लिए जैकबियन विलक्षणता मानदंड को सभी आदेशों पर व्यापक बनाता है.।


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


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


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


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


:{| class="wikitable"
:{| class="wikitable"
|-
|-
! Theorem
! प्रमेय
! Assumption
! मान्यता
! Conclusion
! निष्कर्ष
|-
|-
|[[Peano existence theorem]]
|[[Peano existence theorem|पियानो अस्तित्व प्रमेय]]
||F [[continuous function|continuous]]
||एफ निरंतर
||local existence only
||केवल स्थानीय अस्तित्व
|-
|-
|[[Picard–Lindelöf theorem]]
|[[Picard–Lindelöf theorem|पिकार्ड-लिंडेलोफ प्रमेय]]
||F [[Lipschitz continuous]]
||एफ लिप्सचिट्ज़ निरंतर
||local existence and uniqueness
||स्थानीय अस्तित्व और विशिष्टता
|-
|-
|}
|}
अपने मूल रूप में ये दोनों प्रमेय केवल स्थानीय परिणामों की गारंटी देते हैं, हालांकि बाद वाले को वैश्विक परिणाम देने के लिए बढ़ाया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।
ये दोनों प्रमेय मूल रूप में केवल स्थानीय परिणामों की ही गारंटी देते हैं। चूँकि, इन दोनों के आधारभूत स्वरूप में वैश्विक परिणाम देने के लिए इनका विस्तार किया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।
 
इसके अलावा, अद्वितीयता प्रमेय जैसे लिप्सचिट्ज़ ऊपर वाला अवकलनात्मक बीजगणितीय समीकरण प्रणालियों पर लागू नहीं होता है, जिसमें अकेले उनके (गैर-रैखिक) बीजगणितीय भाग से उत्पन्न होने वाले कई समाधान हो सकते हैं।<ref>{{harvtxt|Ascher|1998|p=13}}</ref>
 


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


प्रमेय को केवल इस प्रकार कहा जा सकता है।<ref name= "EDEBVP" >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}}</ref> समीकरण और प्रारंभिक मान समस्या के लिए:
प्रमेय को केवल इस प्रकार कहा जा सकता है।<ref name= "EDEBVP" >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}}</ref> समीकरण और प्रारंभिक मान समस्या के लिए:
<math display="block"> y' = F(x,y)\,,\quad y_0 = y(x_0)</math>
<math display="block"> y' = F(x,y)\,,\quad y_0 = y(x_0)</math>
अगर F और ∂F/∂y एक बंद आयत में निरंतर हैं
यदि F और ∂F/∂y एक बंद आयत में निरंतर हैं
<math display="block">R = [x_0-a,x_0+a] \times [y_0-b,y_0+b]</math>
<math display="block">R = [x_0-a,x_0+a] \times [y_0-b,y_0+b]</math>
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 206: 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 234: Line 233:


:<math>\mathbf{y}'=\mathbf{F}(x,\mathbf{y})</math>
:<math>\mathbf{y}'=\mathbf{F}(x,\mathbf{y})</math>
कहां
जहाँ
:<math>\mathbf{y}=(y_1,\ldots,y_n),\quad \mathbf{F}(x,y_1,\ldots,y_n)=(y_2,\ldots,y_n,F(x,y_1,\ldots,y_n)).</math>
:<math>\mathbf{y}=(y_1,\ldots,y_n),\quad \mathbf{F}(x,y_1,\ldots,y_n)=(y_2,\ldots,y_n,F(x,y_1,\ldots,y_n)).</math>




== सटीक समाधानों का सारांश ==
== सटीक हलो का सारांश ==
<!--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''}} स्थिरांक जोड़े बिना स्पष्ट किया जाता है।


=== वियोज्य समीकरण ===
=== वियोज्य समीकरण ===
{| class="wikitable"
{| class="wikitable"
|-
|-
! scope="col" | Differential equation
! scope="col" | अवकलन समीकरण
! scope="col" | Solution method
! scope="col" | हल विधि
! scope="col" | General solution
! scope="col" | सामान्य हल
|-
|-
| First-order, separable in ''x'' and ''y'' (general case, see below for special cases)<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 259: Line 257:
         P_1(x)Q_1(y)\,dx + P_2(x)Q_2(y)\,dy &= 0
         P_1(x)Q_1(y)\,dx + P_2(x)Q_2(y)\,dy &= 0
\end{align}</math>
\end{align}</math>
| Separation of variables (divide by ''P''<sub>2</sub>''Q''<sub>1</sub>).
| चरों का पृथक्करण (''P''<sub>2</sub>''Q''<sub>1</sub> द्वारा विभाजित)
| <math> \int^x \frac{P_1(\lambda)}{P_2(\lambda)}\,d\lambda + \int^y \frac{Q_2(\lambda)}{Q_1(\lambda)}\,d\lambda = C </math>
| <math> \int^x \frac{P_1(\lambda)}{P_2(\lambda)}\,d\lambda + \int^y \frac{Q_2(\lambda)}{Q_1(\lambda)}\,d\lambda = C </math>
|-
|-
| First-order, separable in ''x''<ref name= "EDEBVP" />
| पहला क्रम, x में वियोज्य<ref name= "EDEBVP" />
<math>\begin{align}
<math>\begin{align}
   \frac{dy}{dx} &= F(x) \\
   \frac{dy}{dx} &= F(x) \\
             dy &= F(x) \, dx
             dy &= F(x) \, dx
\end{align}</math>
\end{align}</math>
| Direct integration.
| प्रत्यक्ष समाकलन।
| <math>y= \int^x F(\lambda) \, d\lambda + C </math>
| <math>y= \int^x F(\lambda) \, d\lambda + C </math>
|-
|-
| First-order, autonomous, separable in ''y''<ref name= "EDEBVP" />
| प्रथम-क्रम, स्वायत्त, y में वियोज्य<ref name= "EDEBVP" />


<math>\begin{align}
<math>\begin{align}
Line 276: Line 274:
             dy &= F(y) \, dx
             dy &= F(y) \, dx
\end{align}</math>
\end{align}</math>
| [[Separation of variables]] (divide by ''F'').
| [[चरों का पृथक्करण]] (एफ द्वारा विभाजित).
| <math>x=\int^y \frac{d\lambda}{F(\lambda)} + C</math>
| <math>x=\int^y \frac{d\lambda}{F(\lambda)} + C</math>
|-
|-
| First-order, separable in ''x'' and ''y''<ref name= "EDEBVP" />
| प्रथम-क्रम, x और y में वियोज्य<ref name= "EDEBVP" />


<math>\begin{align}
<math>\begin{align}
Line 285: Line 283:
       P(y)\,dy + Q(x)\,dx &= 0
       P(y)\,dy + Q(x)\,dx &= 0
\end{align}</math>
\end{align}</math>
| Integrate throughout.
| समाकलन
के माध्यम से बाहर।
| <math>\int^y P(\lambda)\, d\lambda + \int^x Q(\lambda)\,d\lambda = C</math>
| <math>\int^y P(\lambda)\, d\lambda + \int^x Q(\lambda)\,d\lambda = C</math>
|}
|}
Line 293: Line 292:
{| class="wikitable"
{| class="wikitable"
|-
|-
! scope="col" | Differential equation
! scope="col" | अवकलन समीकरण
! scope="col" | Solution method
! scope="col" | हल विधि
! scope="col" | General solution
! scope="col" | सामान्य हल
|-
|-
| First-order, homogeneous<ref name="EDEBVP" />
| प्रथम-क्रम, सजातीय<ref name="EDEBVP" />


<math>\frac{dy}{dx} = F \left( \frac y x \right ) </math>
<math>\frac{dy}{dx} = F \left( \frac y x \right ) </math>
| Set ''y = ux'', then solve by separation of variables in ''u'' and ''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>
|-
|-
| First-order, separable<ref name= "MHFT" />
| प्रथम-क्रम, वियोज्य<ref name= "MHFT" />


<math>\begin{align}
<math>\begin{align}
Line 310: Line 309:
\end{align}</math>
\end{align}</math>


| Separation of variables (divide by ''xy'').
| चरों का पृथक्करण (''xy'' द्वारा विभाजित)
|
|
<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>


If ''N'' = ''M'', the solution is ''xy'' = ''C''.
यदि ''N'' = ''M'', हल है ''xy'' = ''C''.
|-
|-
| [[Exact differential equation|Exact differential]], first-order<ref name= "EDEBVP" />
| सटीक अवकलन, पहला क्रम<ref name= "EDEBVP" />


<math>\begin{align}
<math>\begin{align}
Line 325: Line 324:
where <math> \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} </math>
where <math> \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} </math>


| Integrate throughout.
| [[समाकलन]] के माध्यम से बाहर।
| <math>\begin{align}
| <math>\begin{align}
   F(x,y) &= \int^x M(\lambda,y)\,d\lambda + \int^y Y(\lambda)\,d\lambda \\
   F(x,y) &= \int^x M(\lambda,y)\,d\lambda + \int^y Y(\lambda)\,d\lambda \\
         &= \int^y N(x,\lambda)\,d\lambda + \int^x X(\lambda)\,d\lambda=C
         &= \int^y N(x,\lambda)\,d\lambda + \int^x X(\lambda)\,d\lambda=C
\end{align}</math>
\end{align}</math>
where
जहां
<math display="block">Y(y)= N(x,y)-\frac{\partial}{\partial y}\int^x M(\lambda,y)\,d\lambda</math> and
<math display="block">Y(y)= N(x,y)-\frac{\partial}{\partial y}\int^x M(\lambda,y)\,d\lambda</math>और<math display="block">X(x)= M(x,y)-\frac{\partial}{\partial x}\int^y N(x,\lambda)\,d\lambda </math>
<math display="block">X(x)= M(x,y)-\frac{\partial}{\partial x}\int^y N(x,\lambda)\,d\lambda </math>
|-
|-
| [[Inexact differential equation|Inexact differential]], first-order<ref name= "EDEBVP" />
| [[अयथार्थ अवकलन]], प्रथम-क्रम<ref name= "EDEBVP" />


<math>\begin{align}
<math>\begin{align}
Line 341: Line 339:
\end{align}</math>
\end{align}</math>


where <math> \frac{\partial M}{\partial x} \neq \frac{\partial N}{\partial y} </math>
जहां <math> \frac{\partial M}{\partial x} \neq \frac{\partial N}{\partial y} </math>
| [[Integration factor]] {{math|''μ''(''x'', ''y'')}} satisfying
| [[Integration factor|समाकलन]] कारक {{math|''μ''(''x'', ''y'')}} संतोषजनक


<math> \frac{\partial (\mu M)}{\partial y} = \frac{\partial (\mu N)}{\partial x} </math>
<math> \frac{\partial (\mu M)}{\partial y} = \frac{\partial (\mu N)}{\partial x} </math>
| If {{math|''μ''(''x'', ''y'')}} can be found in a suitable way, then
| यदि μ(x, y) उपयुक्त विधि से पाया जा सकता है, तो


<math>\begin{align}
<math>\begin{align}
Line 352: Line 350:
\end{align}</math>
\end{align}</math>


where <math display="block">Y(y)= N(x,y)-\frac{\partial}{\partial y}\int^x \mu (\lambda,y)M(\lambda,y)\,d\lambda</math>
जहां<math display="block">Y(y)= N(x,y)-\frac{\partial}{\partial y}\int^x \mu (\lambda,y)M(\lambda,y)\,d\lambda</math>और<math display="block">X(x)= M(x,y)-\frac{\partial}{\partial x}\int^y \mu (x,\lambda)N(x,\lambda)\,d\lambda</math>
and <math display="block">X(x)= M(x,y)-\frac{\partial}{\partial x}\int^y \mu (x,\lambda)N(x,\lambda)\,d\lambda</math>
|}
|}


Line 360: Line 357:
{| class="wikitable"
{| class="wikitable"
|-
|-
! scope="col" | Differential equation
! scope="col" | अवकलन समीकरण
! scope="col" | Solution method
! scope="col" | हल विधि
! scope="col" | General solution
! scope="col" | सामान्य हल
|-
|-
| Second-order, autonomous<ref>Further Elementary Analysis, R. Porter, G.Bell & Sons (London), 1978, {{isbn|0-7135-1594-5}}</ref>
| दूसरा क्रम, स्वायत्त<ref>Further Elementary Analysis, R. Porter, G.Bell & Sons (London), 1978, {{isbn|0-7135-1594-5}}</ref>


<math>\frac{d^2y}{dx^2} = F(y) </math>
<math>\frac{d^2y}{dx^2} = F(y) </math>
| Multiply both sides of equation by {{math|2''dy''/''dx''}}, substitute {{nowrap|<math>2 \frac{dy}{dx} \frac{d^2y}{dx^2} = \frac{d}{dx} \left(\frac{dy}{dx}\right)^2 </math>,}} then integrate twice.
| समीकरण के दोनों पक्षों को {{math|2''dy''/''dx''}}, से गुणा करें, स्थानापन्न करें {{nowrap|<math>2 \frac{dy}{dx} \frac{d^2y}{dx^2} = \frac{d}{dx} \left(\frac{dy}{dx}\right)^2 </math>,}} फिर दो बार समाकलन करें।
 
| <math> x = \pm \int^y \frac{ d \lambda}{\sqrt{2 \int^\lambda F(\varepsilon) \, d \varepsilon + C_1}} + C_2 </math>
| <math> x = \pm \int^y \frac{ d \lambda}{\sqrt{2 \int^\lambda F(\varepsilon) \, d \varepsilon + C_1}} + C_2 </math>
|}
|}
Line 375: Line 373:
{| class="wikitable"
{| class="wikitable"
|-
|-
! scope="col" | Differential equation
! scope="col" | अवकलन समीकरण
! scope="col" | Solution method
! scope="col" | हल विधि
! scope="col" | General solution
! scope="col" | सामान्य हल
|-
|-
| First-order, linear, inhomogeneous, function coefficients<ref name="EDEBVP" />
| प्रथम-क्रम, रैखिक, विषम, फलन गुणांक<ref name="EDEBVP" />


<math>\frac{dy}{dx} + P(x)y = Q(x)</math>
<math>\frac{dy}{dx} + P(x)y = Q(x)</math>


| Integrating factor: <math>e^{\int^x P(\lambda)\,d\lambda}.</math>
| समाकलन गुणक <math>e^{\int^x P(\lambda)\,d\lambda}.</math>
| Armour formula:
| कवच सूत्र:
<math>y = e^{- \int^x P(\lambda) \, d\lambda}\left[\int^x e^{\int^\lambda P(\varepsilon) \, d\varepsilon}Q(\lambda) \, d\lambda +C \right]</math>
<math>y = e^{- \int^x P(\lambda) \, d\lambda}\left[\int^x e^{\int^\lambda P(\varepsilon) \, d\varepsilon}Q(\lambda) \, d\lambda +C \right]</math>
|-
|-
|Second-order, linear, inhomogeneous, function coefficients
|द्वितीय-क्रम, रैखिक, असमांगी, फलन गुणांक
<math>\frac{d^2y}{dx^2}+2p(x)\frac{dy}{dx}+\left(p(x)^2+p'(x)\right)y=q(x) </math>
<math>\frac{d^2y}{dx^2}+2p(x)\frac{dy}{dx}+\left(p(x)^2+p'(x)\right)y=q(x) </math>
|Integrating factor: <math>e^{\int^x P(\lambda)\,d\lambda}</math>
|समाकलन गुणक <math>e^{\int^x P(\lambda)\,d\lambda}</math>
|<math>y = e^{- \int^x P(\lambda) \, d\lambda}\left[\int^x\left(\int^\xi e^{\int^\lambda P(\varepsilon) \, d\varepsilon}Q(\lambda) \, d\lambda \right)d\xi +C_1x+C_2\right]</math>
|<math>y = e^{- \int^x P(\lambda) \, d\lambda}\left[\int^x\left(\int^\xi e^{\int^\lambda P(\varepsilon) \, d\varepsilon}Q(\lambda) \, d\lambda \right)d\xi +C_1x+C_2\right]</math>
|-
|-
| Second-order, linear, inhomogeneous, constant coefficients<ref name="MMPE">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</ref>
| दूसरा क्रम, रैखिक, असमांगी, स्थिर गुणांक<ref name="MMPE">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</ref>


<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>
| Complementary function ''y<sub>c</sub>'': assume {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} substitute and solve polynomial in α, to find the [[linearly independent]] functions <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" />


Particular integral ''y<sub>p</sub>'': in general the [[method of variation of parameters]], though for very simple ''r''(''x'') inspection may work.<ref name="EDEBVP" />
| <math>y = y_c + y_p</math>
| <math>y = y_c + y_p</math>


Line 412: Line 411:
<math>y_c = e^{ -\frac{bx}{2}} \left[ C_1 \sin\left( x\,\frac{\sqrt{4c-b^2}}{2}\right) + C_2\cos\left( x\,\frac{\sqrt{4c-b^2}}{2}\right)\right]</math>
<math>y_c = e^{ -\frac{bx}{2}} \left[ C_1 \sin\left( x\,\frac{\sqrt{4c-b^2}}{2}\right) + C_2\cos\left( x\,\frac{\sqrt{4c-b^2}}{2}\right)\right]</math>
|-
|-
|''n''th-order, linear, inhomogeneous, constant coefficients<ref name="MMPE" />
|nवें क्रम, रैखिक, विषम, निरंतर गुणांक<ref name="MMPE" />


<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>
| Complementary function ''y<sub>c</sub>'': assume {{nowrap|1=''y<sub>c</sub>'' = ''e''<sup>α''x''</sup>,}} substitute and solve polynomial in α, to find the [[linearly independent]] functions <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>.


Particular integral ''y<sub>p</sub>'': in general the [[method of variation of parameters]], though for very simple ''r''(''x'') inspection may work.<ref name="EDEBVP" />
विशेष समाकल ''y<sub>p</sub>'': सामान्यता, मापदंडों की भिन्नता की विधि, चूँकि बहुत सरल है ''r''(''x'') निरीक्षण कार्य कर सकता है.<ref name="EDEBVP" />
|<math>y = y_c + y_p</math>
|<math>y = y_c + y_p</math>


Since ''α''<sub>''j''</sub> are the solutions of the [[polynomial]] of [[Degree of a polynomial|degree]] ''n'': <math display="inline"> \prod_{j=1}^n ( \alpha - \alpha_j) = 0 </math>, then:
चूंकि αj डिग्री के [[बहुपद]] के [[हल]] हैं''n'': <math display="inline"> \prod_{j=1}^n ( \alpha - \alpha_j) = 0 </math>, तब:
for ''α''<sub>''j''</sub> all different,
 
<math display="block"> y_c = \sum_{j=1}^n C_j e^{\alpha_j x} </math>
αj सभी अलग के लिए,<math display="block"> y_c = \sum_{j=1}^n C_j e^{\alpha_j x} </math>
for each root ''α''<sub>''j''</sub> repeated ''k<sub>j</sub>'' times,
प्रत्येक रूट के लिए ''α''<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>
for some ''α''<sub>''j''</sub> complex, then setting ''α'' = ''χ''<sub>''j''</sub> + ''iγ''<sub>''j''</sub>, and using [[Euler's formula]], allows some terms in the previous results to be written in the form
कुछ α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>
where ''ϕ''<sub>''j''</sub> is an arbitrary constant (phase shift).
जहां ''ϕ''<sub>''j''</sub> एक एकतंत्र स्थिरांक (चरण बदलाव) है।
|}
|}




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


पहले क्रम 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>
== ओडीई हल करने के लिए सॉफ्टवेयर ==
== ओडीई हल करने के लिए सॉफ्टवेयर ==
* [[मैक्सिमा (सॉफ्टवेयर)]], एक ओपन-सोर्स [[कंप्यूटर बीजगणित प्रणाली]]।
* [[मैक्सिमा (सॉफ्टवेयर)]], एक ओपन-सोर्स [[कंप्यूटर बीजगणित प्रणाली]]।
* [[कोपासिस]], ओडीई के एकीकरण और विश्लेषण के लिए एक मुफ्त (आर्टिस्टिक लाइसेंस|आर्टिस्टिक लाइसेंस 2.0) सॉफ्टवेयर पैकेज।
* [[कोपासिस]], ओडीई के एकीकरण और विश्लेषण के लिए एक मुफ्त आर्टिस्टिक लाइसेंस|आर्टिस्टिक लाइसेंस 2.0 सॉफ्टवेयर पैकेज है।
* [[MATLAB]], एक तकनीकी कंप्यूटिंग अनुप्रयोग (मैट्रिक्स प्रयोगशाला)
* [[MATLAB|मैटलैब]], एक तकनीकी कंप्यूटिंग अनुप्रयोग आव्यूह प्रयोगशाला है
* [[जीएनयू ऑक्टेव]], एक उच्च स्तरीय भाषा, मुख्य रूप से संख्यात्मक अभिकलन के लिए अभिप्रेत है।
* [[जीएनयू ऑक्टेव]], एक उच्च स्तरीय भाषा, मुख्य रूप से संख्यात्मक अभिकलन के लिए अभिप्रेत है।
* [[साइलैब]], संख्यात्मक अभिकलन के लिए एक खुला स्रोत अनुप्रयोग।
* [[साइलैब]], संख्यात्मक अभिकलन के लिए एक ओपन स्रोत अनुप्रयोग होता है।
* [[मेपल (सॉफ्टवेयर)]], सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग।
* [[मेपल (सॉफ्टवेयर)]], सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग होता है।
* [[मेथेमेटिका]], मुख्य रूप से सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग है।
* [[मेथेमेटिका]], मुख्य रूप से सांकेतिक गणनाओं के लिए एक मालिकाना अनुप्रयोग होता है।
* [[सिम्पी]], एक पायथन पैकेज जो ओडीई को प्रतीकात्मक रूप से हल कर सकता है
* [[सिम्पी]], एक पायथन पैकेज जो ओडीई को प्रतीकात्मक रूप से हल कर सकता है।
* [[जूलिया (प्रोग्रामिंग भाषा)]], मुख्य रूप से संख्यात्मक संगणना के लिए एक उच्च स्तरीय भाषा है।
* [[जूलिया (प्रोग्रामिंग भाषा)]], मुख्य रूप से संख्यात्मक संगणना के लिए एक उच्च स्तरीय भाषा है।
* सेजमैथ, एक ओपन-सोर्स एप्लिकेशन जो गणित की कई शाखाओं में फैली क्षमताओं की एक विस्तृत श्रृंखला के साथ पायथन-जैसे सिंटैक्स का उपयोग करता है।
* सेजमैथ, एक ओपन-सोर्स अनुप्रयोग जो गणित की कई शाखाओं में फैली क्षमताओं की एक विस्तृत श्रृंखला के साथ पायथन जैसे रचनाक्रम का उपयोग करता है।
* [[SciPy]], एक Python पैकेज जिसमें एक ODE एकीकरण मॉड्यूल शामिल है।
* [[SciPy|साईपाई]], एक पाइथन पैकेज जिसमें एक ओडीई एकीकरण मापांक सम्मिलित होता है।
* 15 अंकों की सटीकता के कार्यों के साथ कंप्यूटिंग के लिए MATLAB में लिखा गया एक ओपन-सोर्स पैकेज [[Chebfun]]
* 15 अंकों की सटीकता के फलनों के साथ संगणना के लिए मैटलैब में लिखा गया एक ओपन स्रोत पैकेज [[Chebfun|चेबफन]] है।
* [[GNU R]], मुख्य रूप से आँकड़ों के लिए एक खुला स्रोत कम्प्यूटेशनल वातावरण है, जिसमें ODE हल करने के लिए पैकेज शामिल हैं।
* [[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 Modeling with ODEs using Scilab] A tutorial on how to model a physical system described by ODE 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


संदर्भ


ग्रन्थसूची

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