एकांकी समाधान: Difference between revisions

From Vigyanwiki
m (Abhishek moved page एकांकी उपाय to एकांकी समाधान without leaving a redirect)
No edit summary
 
(9 intermediate revisions by 4 users not shown)
Line 1: Line 1:
एक विलक्षण उपाय ''<sub>s</sub>(x) एक [[साधारण अंतर समीकरण]] का एक समाधान है जो [[गणितीय विलक्षणता]] है या एक जिसके लिए [[प्रारंभिक मूल्य समस्या]] (जिसे कुछ लेखकों द्वारा कॉची समस्या भी कहा जाता है) समाधान पर किसी बिंदु पर एक अनूठा समाधान करने में विफल रहता है। वह समुच्चय जिस पर एक हल एकवचन है, एक बिंदु जितना छोटा या पूर्ण वास्तविक रेखा जितना बड़ा हो सकता है। समाधान जो इस अर्थ में एकवचन हैं कि प्रारंभिक मूल्य समस्या एक अद्वितीय समाधान होने में विफल रहती है, गणितीय विलक्षणता नहीं होनी चाहिए।
'''एकांकी समाधान''' ''y<sub>s</sub>(x) एक [[साधारण अंतर समीकरण]] का समाधान है जो [[गणितीय विलक्षणता|गणितीय समाधानता]] है या जिसके लिए [[प्रारंभिक मूल्य समस्या|प्रारंभिक मान समस्या]] (जिसे कुछ लेखकों द्वारा कॉची समस्या भी कहा जाता है) समाधान पर किसी बिंदु पर अनूठा समाधान करने में विफल रहता है। वह समुच्चय जिस पर हल एकांकी है, बिंदु जितना छोटा या पूर्ण वास्तविक रेखा जितना बड़ा हो सकता है। समाधान जो इस अर्थ में एकांकी हैं कि प्रारंभिक मान समस्या अद्वितीय समाधान होने में विफल रहती है, गणितीय समाधानता नहीं होनी चाहिए।''


कुछ मामलों में, एकवचन समाधान शब्द का उपयोग उस समाधान के लिए किया जाता है जिसमें वक्र पर प्रत्येक बिंदु पर प्रारंभिक मूल्य समस्या की विशिष्टता की विफलता होती है। इस मजबूत अर्थ में एक अकेला समाधान अक्सर समाधानों के परिवार से प्रत्येक समाधान के लिए [[स्पर्शरेखा]] के रूप में दिया जाता है। स्पर्शरेखा से हमारा मतलब है कि एक बिंदु x है जहाँ y है<sub>s</sub>(एक्स) = और<sub>c</sub>(एक्स) और वाई '<sub>s</sub>(एक्स) = वाई '<sub>c</sub>(एक्स) जहां वाई<sub>c</sub>सी द्वारा पैरामीटर किए गए समाधानों के परिवार में एक समाधान है। इसका मतलब यह है कि एकवचन समाधान समाधान के परिवार का [[लिफाफा (गणित)]] है।
कुछ स्तिथियों में, एकांकी समाधान शब्द का उपयोग उस समाधान के लिए किया जाता है जिसमें वक्र पर प्रत्येक बिंदु पर प्रारंभिक मान समस्या की विशिष्टता की विफलता होती है। इस शक्तिशाली अर्थ में अकेला समाधान अधिकांशतः समाधानों के वर्ग से प्रत्येक समाधान के लिए [[स्पर्शरेखा]] के रूप में दिया जाता है। स्पर्शरेखा से हमारा मतलब है कि बिंदु x है जहाँ ''y<sub>s</sub>''(''x'') = ''y<sub>c</sub>''(''x'') and ''y'<sub>s</sub>''(''x'') = ''y'<sub>c</sub>''(''x'') जहां ''y<sub>c</sub>'' द्वारा पैरामीटर किए गए समाधानों के वर्ग में समाधान है। इसका मतलब यह है कि एकांकी समाधान, समाधान के वर्ग का [[लिफाफा (गणित)|एन्वेलप (गणित)]] है।


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


== एक अलग समाधान ==
'''लिए पर्याप्त नियम प्रदान करते हैं'''
 
== विभिन्न समाधान ==
सजातीय रैखिक साधारण अंतर समीकरण पर विचार करें
सजातीय रैखिक साधारण अंतर समीकरण पर विचार करें


:<math> xy'(x) +2y(x)= 0 , \,\!</math>
:<math> xy'(x) +2y(x)= 0 , \,\!</math>
जहां primes x के संबंध में डेरिवेटिव को दर्शाता है। इस समीकरण का सामान्य हल है
जहां प्राइम्स x के संबंध में व्युत्पन्न को दर्शाता है। इस समीकरण का सामान्य हल है
:<math> y(x)= C x^{-2} . \,\!</math>
:<math> y(x)= C x^{-2} . \,\!</math>
किसी प्रदत्त के लिए <math>C</math>को छोड़कर यह घोल चिकना है <math>x=0</math> जहां समाधान भिन्न है। इसके अलावा, दिए गए के लिए <math>x\not=0</math>, यह एक अनूठा समाधान है जिससे गुजर रहा है <math>(x,y(x))</math>.
किसी प्रदत्त के लिए <math>C</math> को छोड़कर यह घोल चिकना है <math>x=0</math> जहां समाधान भिन्न है। इसके अलावा, <math>x\not=0</math> दिए गए के लिए , यह एक अनूठा समाधान है जिससे <math>(x,y(x))</math> गुजर रहा है .


== विशिष्टता की विफलता ==
== विशिष्टता की विफलता ==
Line 17: Line 19:


:<math> y'(x)^2 = 4y(x) . \,\!</math>
:<math> y'(x)^2 = 4y(x) . \,\!</math>
इस समीकरण के समाधान का एक-पैरामीटर परिवार द्वारा दिया गया है
इस समीकरण के समाधान का एक-पैरामीटर वर्ग द्वारा दिया गया है


:<math> y_c(x) = (x-c)^2 . \,\!</math>
:<math> y_c(x) = (x-c)^2 . \,\!</math>
द्वारा एक और उपाय दिया गया है
द्वारा एक और समाधान दिया गया है


:<math> y_s(x) = 0 . \,\!</math>
:<math> y_s(x) = 0 . \,\!</math>
चूँकि अध्ययन किया जा रहा समीकरण एक प्रथम-क्रम समीकरण है, प्रारंभिक स्थितियाँ प्रारंभिक x और y मान हैं। उपरोक्त समाधानों के दो सेटों पर विचार करके, कोई यह देख सकता है कि समाधान अद्वितीय होने में विफल रहता है <math>y=0</math>. (यह दिखाया जा सकता है कि के लिए <math>y>0</math> यदि वर्गमूल की एक शाखा को चुना जाता है, तो एक स्थानीय समाधान होता है जो पिकार्ड-लिंडेलोफ प्रमेय का उपयोग करके अद्वितीय होता है।) इस प्रकार, उपरोक्त समाधान सभी एकवचन समाधान हैं, इस अर्थ में कि समाधान पड़ोस में अद्वितीय होने में विफल रहता है। एक या अधिक बिंदुओं का। (आमतौर पर, हम कहते हैं कि विशिष्टता इन बिंदुओं पर विफल हो जाती है।) समाधानों के पहले सेट के लिए, विशिष्टता एक बिंदु पर विफल हो जाती है, <math>x=c</math>, और दूसरे समाधान के लिए, अद्वितीयता के प्रत्येक मूल्य पर विफल हो जाती है <math>x</math>. इस प्रकार, समाधान <math>y_s</math> मजबूत अर्थ में एकमात्र समाधान है कि x के प्रत्येक मान पर अद्वितीयता विफल हो जाती है। हालाँकि, यह एक गणितीय विलक्षणता नहीं है क्योंकि यह और इसके सभी डेरिवेटिव निरंतर हैं।
चूँकि अध्ययन किया जा रहा समीकरण एक प्रथम-क्रम समीकरण है, प्रारंभिक स्थितियाँ प्रारंभिक x और y मान हैं। उपरोक्त समाधानों के दो समुच्चय पर विचार करके, कोई यह देख सकता है कि समाधान अद्वितीय होने में विफल रहता है <math>y=0</math>. (यह दिखाया जा सकता है कि के लिए <math>y>0</math> यदि वर्गमूल की शाखा को चुना जाता है, तो एक स्थानीय समाधान होता है जो पिकार्ड-लिंडेलोफ प्रमेय का उपयोग करके अद्वितीय होता है।) इस प्रकार, उपरोक्त समाधान सभी एकांकी समाधान हैं, इस अर्थ में कि समाधान पड़ोस में अद्वितीय होने में विफल रहता है। एक या अधिक बिंदुओं का। (सामान्यतः, हम कहते हैं कि विशिष्टता इन बिंदुओं पर विफल हो जाती है।) समाधानों के पहले समुच्चय के लिए, विशिष्टता एक बिंदु पर विफल हो जाती है, <math>x=c</math>, और दूसरे समाधान के लिए, अद्वितीयता के प्रत्येक मान पर विफल हो जाती है <math>x</math>. इस प्रकार, समाधान <math>y_s</math> शक्तिशाली अर्थ में एकमात्र समाधान है कि x के प्रत्येक मान पर अद्वितीयता विफल हो जाती है। चूंकि, यह गणितीय समाधानता नहीं है क्योंकि यह और इसके सभी व्युत्पन्न निरंतर हैं।


इस उदाहरण में समाधान <math>y_s(x)=0</math> समाधान के परिवार का लिफाफा है <math>y_c(x)=(x-c)^2</math>. समाधान <math>y_s</math> प्रत्येक वक्र के लिए स्पर्शरेखा है <math>y_c(x)</math> बिंदु पर <math>(c,0)</math>.
इस उदाहरण में समाधान <math>y_s(x)=0</math> समाधान के वर्ग का एन्वेलप है <math>y_c(x)=(x-c)^2</math>. समाधान <math>y_s</math> प्रत्येक वक्र के लिए स्पर्शरेखा <math>y_c(x)</math> है <math>(c,0)</math> बिंदु पर .


विशिष्टता की विफलता का उपयोग अधिक समाधान बनाने के लिए किया जा सकता है। इन्हें दो स्थिरांक लेकर पाया जा सकता है <math>c_1 < c_2 </math> और एक समाधान परिभाषित करना <math>y(x)</math> होना <math>(x-c_1)^2</math> कब <math>x < c_1</math>, होना <math>0</math> कब <math>c_1\leq x\leq c_2</math>, और होना <math>(x-c_2)^2</math> कब <math>x > c_2</math>. प्रत्यक्ष गणना से पता चलता है कि यह हर बिंदु पर अंतर समीकरण का समाधान है, जिसमें शामिल है <math>x=c_1</math> और <math>x=c_2</math>. अंतराल पर इन समाधानों के लिए विशिष्टता विफल हो जाती है <math>c_1\leq x\leq c_2</math>, और समाधान एकवचन हैं, इस अर्थ में कि दूसरा व्युत्पन्न अस्तित्व में विफल रहता है <math>x=c_1</math> और <math>x=c_2</math>.
विशिष्टता की विफलता का उपयोग अधिक समाधान बनाने के लिए किया जा सकता है। इन्हें दो स्थिरांक लेकर पाया जा सकता है <math>c_1 < c_2 </math> और एक समाधान परिभाषित करना <math>y(x)</math> होना <math>(x-c_1)^2</math> जब <math>x < c_1</math>, होना <math>0</math> जब <math>c_1\leq x\leq c_2</math>, और होना <math>(x-c_2)^2</math> जब <math>x > c_2</math>. प्रत्यक्ष गणना से पता चलता है कि यह हर बिंदु पर अंतर समीकरण का समाधान है, जिसमें सम्मिलित है <math>x=c_1</math> और <math>x=c_2</math>. अंतराल <math>c_1\leq x\leq c_2</math> पर इन समाधानों के लिए विशिष्टता विफल हो जाती है, और समाधान एकांकी हैं, इस अर्थ में कि दूसरा व्युत्पन्न <math>x=c_1</math> और <math>x=c_2</math> सम्मिलित नही रहता है।


==अद्वितीयता की विफलता का एक और उदाहरण==
==अद्वितीयता की विफलता का एक और उदाहरण ==
पिछला उदाहरण गलत धारणा दे सकता है कि अद्वितीयता की विफलता का सीधा संबंध है <math>y(x)=0</math>. क्लेराट के समीकरण के निम्नलिखित उदाहरण में विशिष्टता की विफलता भी देखी जा सकती है:
पिछला उदाहरण गलत धारणा दे सकता है कि अद्वितीयता की विफलता का सीधा संबंध है <math>y(x)=0</math>. क्लेराट के समीकरण के निम्नलिखित उदाहरण में विशिष्टता की विफलता भी देखी जा सकती है:


Line 36: Line 38:


:<math> y(x) = x \cdot p + (p)^2. </math>
:<math> y(x) = x \cdot p + (p)^2. </math>
अब, हम x के अनुसार अवकलन लेंगे:
जब, हम x के अनुसार अवकलन लेंगे:
:<math> p  = y' = p + x p' + 2 p p' </math>
:<math> p  = y' = p + x p' + 2 p p' </math>
जो साधारण [[बीजगणित]] द्वारा प्राप्त होता है
जो साधारण [[बीजगणित]] द्वारा प्राप्त होता है
Line 48: Line 50:
यदि x + 2p = 0 तो हम पाते हैं कि p = −½x और ODE में प्रतिस्थापित करने पर प्राप्त होता है
यदि x + 2p = 0 तो हम पाते हैं कि p = −½x और ODE में प्रतिस्थापित करने पर प्राप्त होता है
:<math> y_s(x) = -\tfrac{1}{2}x^2 + (-\tfrac{1}{2}x)^2 = -\tfrac{1}{4} x^2. </math>
:<math> y_s(x) = -\tfrac{1}{2}x^2 + (-\tfrac{1}{2}x)^2 = -\tfrac{1}{4} x^2. </math>
अब हम जाँच करेंगे कि ये विलयन कब एकवचन हल हैं। यदि दो समाधान एक-दूसरे को काटते हैं, अर्थात, वे दोनों एक ही बिंदु (x, y) से गुजरते हैं, तो पहले क्रम के साधारण अंतर समीकरण के लिए अद्वितीयता की विफलता होती है। इस प्रकार, यदि पहले रूप का समाधान दूसरे समाधान को प्रतिच्छेद करता है तो अद्वितीयता की विफलता होगी।
अब हम जाँच करेंगे कि ये विलयन जब एकांकी हल हैं। यदि दो समाधान एक-दूसरे को काटते हैं, अर्थात, वे दोनों एक ही बिंदु (x, y) से गुजरते हैं, तो पहले क्रम के साधारण अंतर समीकरण के लिए अद्वितीयता की विफलता होती है। इस प्रकार, यदि पहले रूप का समाधान दूसरे समाधान को प्रतिच्छेद करता है तो अद्वितीयता की विफलता होगी।


प्रतिच्छेदन की स्थिति है : y<sub>s</sub>(एक्स) = और<sub>c</sub>(एक्स)। हमने सलुझाया
प्रतिच्छेदन की स्थिति है : ''y<sub>s</sub>''(''x'') = ''y<sub>c</sub>''(''x'')। हमने सलुझाया
:<math> c \cdot x + c^2 = y_c(x) = y_s(x) = -\tfrac{1}{4} x^2 </math>
:<math> c \cdot x + c^2 = y_c(x) = y_s(x) = -\tfrac{1}{4} x^2 </math>
चौराहा बिंदु खोजने के लिए, जो है <math>(-2c , -c^2)</math>.
प्रतिच्छेदन बिंदु खोजने के लिए, जो <math>(-2c , -c^2)</math> है .


हम सत्यापित कर सकते हैं कि वक्र इस बिंदु y' पर स्पर्शरेखा हैं<sub>s</sub>(एक्स) = वाई '<sub>c</sub>(एक्स)हम [[ यौगिक ]] की गणना करते हैं:
हम सत्यापित कर सकते हैं कि वक्र इस बिंदु y' पर स्पर्शरेखा ''y'<sub>s</sub>''(''x'') = ''y'<sub>c</sub>''(''x'') हैं। हम [[ यौगिक |यौगिक]] की गणना करते हैं:


:<math> y_c'(-2 c) = c \,\!</math>
:<math> y_c'(-2 c) = c \,\!</math>
Line 61: Line 63:


:<math> y_s(x) = -\tfrac{1}{4} \cdot x^2 \,\!</math>
:<math> y_s(x) = -\tfrac{1}{4} \cdot x^2 \,\!</math>
समाधान के एक-पैरामीटर परिवार के प्रत्येक सदस्य के लिए स्पर्शरेखा है
समाधान के एक-पैरामीटर वर्ग के प्रत्येक सदस्य के लिए स्पर्शरेखा है


:<math> y_c(x) = c \cdot x + c^2 \,\!</math>
:<math> y_c(x) = c \cdot x + c^2 \,\!</math>
Line 73: Line 75:
* क्रिस्टल का समीकरण
* क्रिस्टल का समीकरण
* [[कास्टिक (गणित)]]
* [[कास्टिक (गणित)]]
* लिफाफा (गणित)
* एन्वेलप (गणित)
* प्रारंभिक मूल्य समस्या
* प्रारंभिक मान समस्या
* पिकार्ड-लिंडेलोफ प्रमेय
* पिकार्ड-लिंडेलोफ प्रमेय


==ग्रन्थसूची==
==ग्रन्थसूची==
* {{springerEOM|id=Singular_solution|oldid=14548| title=Singular solution| first=N.Kh. | last=Rozov}}
* {{springerEOM|id=Singular_solution|oldid=14548| title=Singular solution| first=N.Kh. | last=Rozov}}
[[Category: विभेदक समीकरण]]


[[Category: Machine Translated Page]]
[[Category:Created On 02/03/2023]]
[[Category:Created On 02/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:विभेदक समीकरण]]

Latest revision as of 17:00, 2 November 2023

एकांकी समाधान ys(x) एक साधारण अंतर समीकरण का समाधान है जो गणितीय समाधानता है या जिसके लिए प्रारंभिक मान समस्या (जिसे कुछ लेखकों द्वारा कॉची समस्या भी कहा जाता है) समाधान पर किसी बिंदु पर अनूठा समाधान करने में विफल रहता है। वह समुच्चय जिस पर हल एकांकी है, बिंदु जितना छोटा या पूर्ण वास्तविक रेखा जितना बड़ा हो सकता है। समाधान जो इस अर्थ में एकांकी हैं कि प्रारंभिक मान समस्या अद्वितीय समाधान होने में विफल रहती है, गणितीय समाधानता नहीं होनी चाहिए।

कुछ स्तिथियों में, एकांकी समाधान शब्द का उपयोग उस समाधान के लिए किया जाता है जिसमें वक्र पर प्रत्येक बिंदु पर प्रारंभिक मान समस्या की विशिष्टता की विफलता होती है। इस शक्तिशाली अर्थ में अकेला समाधान अधिकांशतः समाधानों के वर्ग से प्रत्येक समाधान के लिए स्पर्शरेखा के रूप में दिया जाता है। स्पर्शरेखा से हमारा मतलब है कि बिंदु x है जहाँ ys(x) = yc(x) and y's(x) = y'c(x) जहां yc द्वारा पैरामीटर किए गए समाधानों के वर्ग में समाधान है। इसका मतलब यह है कि एकांकी समाधान, समाधान के वर्ग का एन्वेलप (गणित) है।

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

लिए पर्याप्त नियम प्रदान करते हैं

विभिन्न समाधान

सजातीय रैखिक साधारण अंतर समीकरण पर विचार करें

जहां प्राइम्स x के संबंध में व्युत्पन्न को दर्शाता है। इस समीकरण का सामान्य हल है

किसी प्रदत्त के लिए को छोड़कर यह घोल चिकना है जहां समाधान भिन्न है। इसके अलावा, दिए गए के लिए , यह एक अनूठा समाधान है जिससे गुजर रहा है .

विशिष्टता की विफलता

अंतर समीकरण पर विचार करें

इस समीकरण के समाधान का एक-पैरामीटर वर्ग द्वारा दिया गया है

द्वारा एक और समाधान दिया गया है

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

इस उदाहरण में समाधान समाधान के वर्ग का एन्वेलप है . समाधान प्रत्येक वक्र के लिए स्पर्शरेखा है बिंदु पर .

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

अद्वितीयता की विफलता का एक और उदाहरण

पिछला उदाहरण गलत धारणा दे सकता है कि अद्वितीयता की विफलता का सीधा संबंध है . क्लेराट के समीकरण के निम्नलिखित उदाहरण में विशिष्टता की विफलता भी देखी जा सकती है:

हम y' = p और फिर लिखते हैं

जब, हम x के अनुसार अवकलन लेंगे:

जो साधारण बीजगणित द्वारा प्राप्त होता है

यदि 2p+x=0 या p′=0 हो तो यह स्थिति हल हो जाती है।

यदि p' = 0 इसका अर्थ है कि y' = p = c = अचर, और इस नए समीकरण का व्यापक हल है:

जहाँ c प्रारंभिक मान द्वारा निर्धारित किया जाता है।

यदि x + 2p = 0 तो हम पाते हैं कि p = −½x और ODE में प्रतिस्थापित करने पर प्राप्त होता है

अब हम जाँच करेंगे कि ये विलयन जब एकांकी हल हैं। यदि दो समाधान एक-दूसरे को काटते हैं, अर्थात, वे दोनों एक ही बिंदु (x, y) से गुजरते हैं, तो पहले क्रम के साधारण अंतर समीकरण के लिए अद्वितीयता की विफलता होती है। इस प्रकार, यदि पहले रूप का समाधान दूसरे समाधान को प्रतिच्छेद करता है तो अद्वितीयता की विफलता होगी।

प्रतिच्छेदन की स्थिति है : ys(x) = yc(x)। हमने सलुझाया

प्रतिच्छेदन बिंदु खोजने के लिए, जो है .

हम सत्यापित कर सकते हैं कि वक्र इस बिंदु y' पर स्पर्शरेखा y's(x) = y'c(x) हैं। हम यौगिक की गणना करते हैं:

इस तरह,

समाधान के एक-पैरामीटर वर्ग के प्रत्येक सदस्य के लिए स्पर्शरेखा है

इस क्लेराट समीकरण का:


यह भी देखें

ग्रन्थसूची

  • Rozov, N.Kh. (2001) [1994], "Singular solution", Encyclopedia of Mathematics, EMS Press