साधारण अवकल समीकरण

गणित में, एक साधारण अवकल समीकरण (ODE) एक अवकल समीकरण है, जिसके अज्ञात (ओं) में एक चर (गणित) के एक (या अधिक) फलन होते हैं और उन फलनों के अवकलज शामिल होते हैं। साधारण शब्द का प्रयोग आंशिक अवकल समीकरण के विपरीत किया जाता है जो एक से अधिक स्वतंत्र चर के संबंध में हो सकता है।

विभेदक समीकरण
एक रेखीय अवकल समीकरण एक अवकल समीकरण है जो अज्ञात फलन और उसके व्युत्पन्नों में एक रेखीय बहुपद द्वारा परिभाषित होता है, जो कि रूप का एक समीकरण है
 * $$a_0(x)y +a_1(x)y' + a_2(x)y'' +\cdots +a_n(x)y^{(n)}+b(x)=0,$$

कहां $a_0(x)$, ..., $a_n(x)$ और $b(x)$ मनमाने ढंग से अलग-अलग कार्य हैं जिन्हें रैखिक होने की आवश्यकता नहीं है, और $y', \ldots, y^{(n)}$ अज्ञात फलन के क्रमिक अवकलज हैं $y$ चर का $x$.

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

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

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

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

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

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


 * $$m \frac{\mathrm{d}^2 x(t)}{\mathrm{d}t^2} = F(x(t))\,$$

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

परिभाषाएँ
निम्नलिखित में, y को एक आश्रित और स्वतंत्र चर और x को एक आश्रित और स्वतंत्र चर होने दें, और y = f(x) x का एक अज्ञात कार्य है। विभेदीकरण के लिए अंकन लेखक के आधार पर भिन्न होता है और जिस पर हाथ में कार्य के लिए संकेतन सबसे उपयोगी होता है। इस संदर्भ में, अवकलन के लिए अंकन#लीबनिज अंकन|लीबनिज अंकन ($dy⁄dx$, $d^{2}y⁄dx^{2}$, …, $d^{n}y⁄dx^{n}$) अवकलन और समाकलन (गणित) के लिए अधिक उपयोगी है, जबकि अवकलन के लिए अंकन# लैग्रेंज अंकन | लैग्रेंज अंकन (y′, y′′, …, y(n)) किसी भी क्रम के डेरिवेटिव को सघन रूप से प्रस्तुत करने के लिए अधिक उपयोगी है, और विभेदन के लिए संकेतन#न्यूटन का अंकन|न्यूटन का अंकन $$(\dot y, \ddot y, \overset{...}{y})$$ भौतिकी में अक्सर समय के संबंध में कम क्रम के डेरिवेटिव का प्रतिनिधित्व करने के लिए प्रयोग किया जाता है।

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


 * $$F\left (x,y,y',\ldots, y^{(n-1)} \right )=y^{(n)}$$

क्रम n का एक निहित और स्पष्ट फलन साधारण अवकल समीकरण कहलाता है। अधिक आम तौर पर, आदेश एन के एक अंतर्निहित और स्पष्ट कार्य सामान्य अंतर समीकरण रूप लेता है:
 * $$F\left(x, y, y', y'',\ \ldots,\ y^{(n)}\right) = 0$$

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

Autonomous:A differential equation not depending on x is called autonomous. Linear:A differential equation is said to be linear if F can be written as a linear combination of the derivatives of y:
 * $y^{(n)} = \sum_{i=0}^{n - 1} a_i(x) y^{(i)} + r(x)$

where $ai(x)$ and $r(x)$ are continuous functions of $x$.

The function r(x) is called the source term, leading to two further important classifications:

Homogeneous: Nonhomogeneous (or inhomogeneous):If r(x) ≠ 0. The additional solution to the complementary function is the particular integral, denoted here by yp.

Non-linear:A differential equation that cannot be written in the form of a linear combination.

ओडीई की प्रणाली
कई युग्मित अवकल समीकरण समीकरणों की एक प्रणाली बनाते हैं। यदि y एक सदिश है जिसके अवयव फलन हैं; वाई(एक्स) = [वाई1(एक्स), और2(एक्स), ..., वाईm(x)], और 'एफ' 'वाई' और उसके डेरिवेटिव का वेक्टर-मूल्यवान कार्य है


 * $$\mathbf{y}^{(n)} = \mathbf{F}\left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right)$$

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


 * $$\begin{pmatrix}

y_1^{(n)} \\ y_2^{(n)} \\ \vdots \\ y_m^{(n)} \end{pmatrix} =

\begin{pmatrix} f_1 \left (x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right ) \\ f_2 \left (x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right ) \\ \vdots \\ f_m \left (x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n-1)} \right) \end{pmatrix}$$ ये जरूरी रैखिक नहीं हैं। अंतर्निहित एनालॉग है:


 * $$\mathbf{F} \left(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)} \right) = \boldsymbol{0}$$

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


 * $$\begin{pmatrix}

f_1(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)}) \\ f_2(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)}) \\ \vdots \\ f_m(x,\mathbf{y},\mathbf{y}',\mathbf{y}'',\ldots, \mathbf{y}^{(n)}) \end{pmatrix}=\begin{pmatrix} 0\\ 0\\ \vdots\\ 0 \end{pmatrix}$$ फॉर्म की एक प्रणाली के लिए $$\mathbf{F} \left(x,\mathbf{y},\mathbf{y}'\right) = \boldsymbol{0}$$, कुछ स्रोतों के लिए यह भी आवश्यक है कि जैकबियन मैट्रिक्स $$\frac{\partial\mathbf{F}(x,\mathbf{u},\mathbf{v})}{\partial \mathbf{v}}$$ इसे एक निहित ODE [प्रणाली] कहने के लिए एकवचन मैट्रिक्स|गैर-एकवचन; इस जैकोबियन गैर-विलक्षणता की स्थिति को संतुष्ट करने वाली एक निहित ODE प्रणाली को एक स्पष्ट ODE प्रणाली में रूपांतरित किया जा सकता है। उन्हीं स्रोतों में, एक विलक्षण जैकोबियन के साथ अंतर्निहित ODE सिस्टम को अवकल बीजगणितीय समीकरण (DAE) कहा जाता है। यह भेद केवल शब्दावली में से एक नहीं है; डीएई की मौलिक रूप से भिन्न विशेषताएं हैं और आम तौर पर (नॉनसिंगुलर) ओडीई सिस्टम की तुलना में हल करने में अधिक शामिल हैं। संभावित रूप से अतिरिक्त डेरिवेटिव के लिए, हेसियन मैट्रिक्स और आगे भी इस योजना के अनुसार गैर-एकवचन माना जाता है, हालांकि ध्यान दें कि #Reduction to a first-order system|एक से अधिक ऑर्डर का कोई भी ODE पहले ऑर्डर के ODE के सिस्टम के रूप में फिर से लिखा जा सकता है (और आमतौर पर होता है), जो इस वर्गीकरण के लिए सभी आदेशों पर व्यापक होने के लिए जैकबियन विलक्षणता मानदंड को पर्याप्त बनाता है।

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

समाधान
एक अवकल समीकरण दिया है
 * $$F\left(x, y, y', \ldots, y^{(n)} \right) = 0$$

एक समारोह u: I ⊂ R → R, जहाँ I एक अंतराल है, F के लिए एक समाधान या अभिन्न वक्र कहलाता है, यदि u I पर n-गुना अवकलनीय है, और
 * $$F(x,u,u',\ \ldots,\ u^{(n)})=0 \quad x \in I.$$

दो समाधान दिए u: J ⊂ R → R और v: I ⊂ R → R, u को v का विस्तार कहा जाता है यदि I ⊂ J और
 * $$u(x) = v(x) \quad x \in I.\,$$

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

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

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

उदाहरण के रूप में, समीकरण:
 * $$y'= -\text{sgn}(y)\sqrt{|y|},\,\,y(0)=1$$

परिमित अवधि समाधान स्वीकार करता है:
 * $$y(x)=\frac{1}{4}\left(1-\frac{x}{2}+\left|1-\frac{x}{2}\right|\right)^2$$

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

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

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

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

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

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

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

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


 * {| class="wikitable"

! Theorem ! Assumption ! Conclusion अपने मूल रूप में ये दोनों प्रमेय केवल स्थानीय परिणामों की गारंटी देते हैं, हालांकि बाद वाले को वैश्विक परिणाम देने के लिए बढ़ाया जा सकता है, उदाहरण के लिए, यदि ग्रोनवॉल की असमानता की शर्तों को पूरा किया जाता है।
 * Peano existence theorem
 * F continuous
 * local existence only
 * Picard–Lindelöf theorem
 * F Lipschitz continuous
 * local existence and uniqueness
 * }
 * local existence and uniqueness
 * }
 * }

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

स्थानीय अस्तित्व और विशिष्टता प्रमेय सरलीकृत
प्रमेय को केवल इस प्रकार कहा जा सकता है। समीकरण और प्रारंभिक मान समस्या के लिए: $$ y' = F(x,y)\,,\quad y_0 = y(x_0)$$ अगर F और ∂F/∂y एक बंद आयत में निरंतर हैं $$R = [x_0-a,x_0+a] \times [y_0-b,y_0+b]$$ x-y समतल में, जहाँ a और b वास्तविक संख्याएँ हैं (प्रतीकात्मक रूप से: $a, b ∈ R$) और $×$ कार्तीय उत्पाद को दर्शाता है, वर्ग कोष्ठक अंतराल अंकन को दर्शाता है, फिर एक अंतराल होता है $$I = [x_0-h,x_0+h] \subset [x_0-a,x_0+a]$$ कुछ के लिए $h ∈ R$ जहां उपरोक्त समीकरण और प्रारंभिक मूल्य समस्या का समाधान पाया जा सकता है। यानी एक उपाय है और वह अनोखा है। चूँकि F के रैखिक होने पर कोई प्रतिबंध नहीं है, यह गैर-रैखिक समीकरणों पर लागू होता है जो F(x, y) का रूप लेते हैं, और इसे समीकरणों के सिस्टम पर भी लागू किया जा सकता है।

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


 * $$I_{\max} = (x_-,x_+), x_\pm \in \R \cup \{\pm \infty\}, x_0 \in I_{\max}$$

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

उस मामले में $$x_\pm \neq \pm\infty$$, वास्तव में दो संभावनाएँ हैं

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

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


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


 * उदाहरण।


 * $$y' = y^2$$

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

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


 * $$y(x) = \frac{y_0}{(x_0-x)y_0+1}$$

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


 * $$\begin{cases}\R & y_0 = 0 \\[4pt] \left (-\infty, x_0+\frac{1}{y_0} \right ) & y_0 > 0 \\[4pt] \left (x_0+\frac{1}{y_0},+\infty \right ) & y_0 < 0 \end{cases}$$

यह स्पष्ट रूप से दिखाता है कि अधिकतम अंतराल प्रारंभिक स्थितियों पर निर्भर हो सकता है। Y के प्रांत को अस्तित्व के रूप में लिया जा सकता है $$\R \setminus (x_0+ 1/y_0),$$ लेकिन यह एक ऐसे डोमेन की ओर ले जाएगा जो एक अंतराल नहीं है, जिससे प्रारंभिक स्थिति के विपरीत पक्ष प्रारंभिक स्थिति से डिस्कनेक्ट हो जाएगा, और इसलिए इसके द्वारा विशिष्ट रूप से निर्धारित नहीं किया जाएगा।

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


 * $$\lim_{x \to x_\pm} \|y(x)\| \to \infty,$$

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

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

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


 * $$F\left(x, y, y', y'',\ \ldots,\ y^{(n-1)}\right) = y^{(n)}$$

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


 * $$y_i = y^{(i-1)}.\!$$

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


 * $$\begin{array}{rcl}

y_1'&=&y_2\\ y_2'&=&y_3\\ &\vdots&\\ y_{n-1}'&=&y_n\\ y_n'&=&F(x,y_1,\ldots,y_n). \end{array} $$ सदिश संकेतन में अधिक सघन रूप से:


 * $$\mathbf{y}'=\mathbf{F}(x,\mathbf{y})$$

कहां
 * $$\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)).$$

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

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

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

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

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

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

$$\text{total solution} = \text{homogeneous solution} + \text{particular solution}$$

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

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

यह भी देखें

 * सीमा मूल्य समस्या
 * अवकल समीकरणों के उदाहरण
 * लाप्लास परिवर्तन अंतर समीकरणों पर लागू होता है
 * डायनेमिक सिस्टम और डिफरेंशियल इक्वेशन विषयों की सूची
 * मैट्रिक्स अंतर समीकरण
 * अनिर्धारित गुणांकों की विधि
 * पुनरावृत्ति संबंध

संदर्भ

 * Polyanin, A. D. and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
 * Polyanin, A. D. and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
 * Polyanin, A. D. and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
 * Polyanin, A. D. and V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2

ग्रन्थसूची

 * W. Johnson, A Treatise on Ordinary and Partial Differential Equations, John Wiley and Sons, 1913, in University of Michigan Historical Math Collection
 * Witold Hurewicz, Lectures on Ordinary Differential Equations, Dover Publications, ISBN 0-486-49510-8
 * 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
 * D. Zwillinger, Handbook of Differential Equations (3rd edition), Academic Press, Boston, 1997.
 * Witold Hurewicz, Lectures on Ordinary Differential Equations, Dover Publications, ISBN 0-486-49510-8
 * 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
 * D. Zwillinger, Handbook of Differential Equations (3rd edition), Academic Press, Boston, 1997.
 * 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
 * D. Zwillinger, Handbook of Differential Equations (3rd edition), Academic Press, Boston, 1997.

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

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

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

 * EqWorld: The World of Mathematical Equations, containing a list of ordinary differential equations with their solutions.
 * Online Notes / Differential Equations by Paul Dawkins, Lamar University.
 * Differential Equations, S.O.S. Mathematics.
 * A primer on analytical solution of differential equations from the Holistic Numerical Methods Institute, University of South Florida.
 * Ordinary Differential Equations and Dynamical Systems lecture notes by Gerald Teschl.
 * Notes on Diffy Qs: Differential Equations for Engineers An introductory textbook on differential equations by Jiri Lebl of UIUC.
 * 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.
 * Solving an ordinary differential equation in Wolfram|Alpha
 * Solving an ordinary differential equation in Wolfram|Alpha