विलक्षण विक्षोभ

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

$\varphi (x)\approx \sum _{n=0}^{N}\delta _{n}(\varepsilon )\psi _{n}(x)\,$

जैसा $\varepsilon \to 0$. यहाँ $\varepsilon$ समस्या का छोटा पैरामीटर है और $\delta _{n}(\varepsilon )$ के कार्यों का एक क्रम है $\varepsilon$ बढ़ते क्रम का, जैसे $\delta _{n}(\varepsilon )=\varepsilon ^{n}$. यह अस्तव्यस्तता सिद्धांत समस्याओं के विपरीत है, जिसके लिए इस फॉर्म का एक समान अनुमान प्राप्त किया जा सकता है। एकल रूप से परेशान समस्याओं को सामान्यतः अनेक पैमानों पर संचालित होने वाली गतिशीलता द्वारा चित्रित किया जाता है। एकवचन अस्तव्यस्तता के अनेक वर्ग नीचे उल्लिखित हैं।

शब्द "एकवचन गड़बड़ी" 1940 के दशक में कर्ट ओटो फ्रेडरिक्स और वोल्फगैंग आर. वासो द्वारा गढ़ा गया था ।

विश्लेषण की विधियाँ

एक परेशान समस्या जिसका समाधान संपूर्ण समस्या क्षेत्र पर अनुमानित किया जा सकता है, चाहे वह स्थान हो या समय, एक एकल स्पर्शोन्मुख विस्तार द्वारा नियमित गड़बड़ी होती है । अधिकांशतः अनुप्रयोगों में, नियमित रूप से परेशान समस्या का एक स्वीकार्य अनुमान केवल छोटे पैरामीटर को प्रतिस्थापित करके पाया जाता है $\varepsilon$ समस्या कथन में हर स्थान शून्य। यह विस्तार के केवल पहले पद को लेने से मेल खाता है, जिससे एक अनुमान प्राप्त होता है जो संभवतः धीरे-धीरे सही समाधान तक पहुंचता है। $\varepsilon$ घट जाती है. एक विलक्षण अस्तव्यस्तता वाली समस्या का समाधान इस तरह से अनुमानित नहीं किया जा सकता है: जैसा कि नीचे दिए गए उदाहरणों में देखा गया है, एक विलक्षण अस्तव्यस्तता सामान्यतः तब होती है जब किसी समस्या का छोटा पैरामीटर उसके उच्चतम ऑपरेटर को गुणा करता है। इस प्रकार भोलेपन से पैरामीटर को शून्य मान लेने से समस्या की प्रकृति ही बदल जाती है। विभेदक समीकरणों के स्थितियों में, सीमा शर्तों को संतुष्ट नहीं किया जा सकता है; बीजगणितीय समीकरणों में, समाधानों की संभावित संख्या कम हो जाती है।

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

एकल अस्तव्यस्तता समस्याओं को हल करने के लिए संख्यात्मक विधि भी बहुत लोकप्रिय हैं।

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

एकवचन विक्षुब्ध समस्याओं के उदाहरण

नीचे वर्णित प्रत्येक उदाहरण दिखाता है कि कैसे एक अनुभवहीन अस्तव्यस्तता विश्लेषण, जो मानता है कि समस्या एकवचन के अतिरिक्त नियमित है, विफल हो जाएगी। कुछ लोग दिखाते हैं कि समस्या को अधिक परिष्कृत एकल तरीकों से कैसे हल किया जा सकता है।

साधारण अंतर समीकरणों में लुप्त होने वाले गुणांक

विभेदक समीकरण जिनमें एक छोटा पैरामीटर होता है जो उच्चतम क्रम के शब्द को पूर्वगुणित करता है, सामान्यतः सीमा परतों को प्रदर्शित करता है, जिससे कि समाधान दो भिन्न-भिन्न पैमानों में विकसित हो। उदाहरण के लिए, सीमा मूल्य समस्या पर विचार करें

${\begin{matrix}\varepsilon u^{\prime \prime }(x)+u^{\prime }(x)=-e^{-x},\ \ 0<x<1\\u(0)=0,\ \ u(1)=1.\end{matrix}}$

इसका समाधान कब $\varepsilon =0.1$ नीचे दिखाया गया ठोस वक्र है। ध्यान दें कि मूल बिंदु के पास समाधान तेजी से बदलता है। यदि हम भोलेपन से समूह करते हैं $\varepsilon =0$, हमें नीचे बाहरी लेबल वाला समाधान मिलेगा जो सीमा परत को मॉडल नहीं करता है, जिसके लिए x शून्य के करीब है। समान रूप से मान्य सन्निकटन कैसे प्राप्त करें, यह दिखाने वाले अधिक विवरण के लिए, मिलान किए गए स्पर्शोन्मुख विस्तार की विधि देखें।

File:Matching (perturbation).jpg

समय में उदाहरण

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

समीकरणों के निम्नलिखित समूह द्वारा वर्णित प्रणाली के एक वर्ग पर विचार करें:

${\dot {x}}_{1}=f_{1}(x_{1},x_{2})+\varepsilon g_{1}(x_{1},x_{2},\varepsilon ),\,$

$\varepsilon {\dot {x}}_{2}=f_{2}(x_{1},x_{2})+\varepsilon g_{2}(x_{1},x_{2},\varepsilon ),\,$

$x_{1}(0)=a_{1},x_{2}(0)=a_{2},\,$

साथ $0<\varepsilon \ll 1$. दूसरा समीकरण इंगित करता है कि की गतिशीलता $x_{2}$ की तुलना में बहुत तेज़ है $x_{1}$. और प्रमेय युगल एंड्री निकोलाइविच तिखोनोव है बताता है कि, पद्धति पर सही स्थितियों के साथ, यह प्रारंभ में और बहुत जल्दी समीकरणों के समाधान का अनुमान लगाएगा

${\dot {x}}_{1}=f_{1}(x_{1},x_{2}),\,$

$f_{2}(x_{1},x_{2})=0,\,$

$x_{1}(0)=a_{1},\,$

समय के कुछ अंतराल पर और वह, जैसे $\varepsilon$ शून्य की ओर घटने पर, पद्धति उसी अंतराल में समाधान के अधिक करीब पहुंच जाएगा।

अंतरिक्ष में उदाहरण

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

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

$u_{t}=\varepsilon u_{xx}+uf(u)-vg(u),\,$

$v_{t}=v_{xx}+vh(u),\,$

कहाँ $u$ शिकार है और $v$ शिकारी है, ऐसे पैटर्न प्रदर्शित करते हुए दिखाया गया है।

बीजगणितीय समीकरण

बहुपद के किसी फलन के सभी मूल ज्ञात करने की समस्या पर विचार करें $p(x)=\varepsilon x^{3}-x^{2}+1$. सीमा में $\varepsilon \to 0$, यह घन फलन द्विघात फलन में परिवर्तित हो जाता है $1-x^{2}$ जड़ों के साथ $x=\pm 1$. एक नियमित अस्तव्यस्तता श्रृंखला को प्रतिस्थापित करना

$x(\varepsilon )=x_{0}+\varepsilon x_{1}+\varepsilon ^{2}x_{2}+\cdots$

समीकरण में और की समान शक्तियों को सामान्तर करना $\varepsilon$ केवल इन दो जड़ों में सुधार उत्पन्न होता है:

$x(\varepsilon )=\pm 1+{\frac {1}{2}}\varepsilon \pm {\frac {5}{8}}\varepsilon ^{2}+\cdots .$

अन्य मूल को खोजने के लिए, एकवचन अस्तव्यस्तता विश्लेषण का उपयोग किया जाना चाहिए। फिर हमें इस तथ्य से निपटना होगा कि जब हम अनुमति देते हैं तब समीकरण द्विघात में बदल जाता है $\varepsilon$ शून्य की ओर प्रवृत्त होते हैं, उस सीमा में जड़ों में से एक अनंत तक चली जाती है। इस जड़ को परेशान करने वाले विश्लेषण के लिए अदृश्य होने से रोकने के लिए, हमें पुनर्मूल्यांकन करना होगा $x$ इस भागने वाले रूट पर नज़र रखने के लिए जिससे कि पुनर्स्केल किए गए चर के संदर्भ में, यह बच न जाए। हम एक पुनर्स्केल किए गए वैरिएबल को परिभाषित करते हैं $y=x\varepsilon ^{\nu }$ जहां प्रतिपादक $\nu$ इस प्रकार चुना जाएगा कि हम इतनी तेजी से पुनः स्केल करें कि रूट एक सीमित मान पर हो $y$ की सीमा में $\varepsilon$ शून्य तक, किन्तु इस तरह कि यह शून्य तक न गिरे जहां अन्य दो जड़ें समाप्त हो जाएंगी। के अनुसार $y$ हमारे पास है

$y^{3}-\varepsilon ^{\nu -1}y^{2}+\varepsilon ^{3\nu -1}=0.$

हम इसके लिए देख सकते हैं $\nu <1$ $y^{3}$ निम्न डिग्री शर्तों का प्रभुत्व है, जबकि पर $\nu =1$ यह उतना ही प्रभावशाली हो जाता है $y^{2}$ जबकि वह दोनों शेष पद पर हावी हैं। यह बिंदु जहां उच्चतम ऑर्डर अवधि वर्तमान सीमा में गायब नहीं होगी $\varepsilon$ किसी अन्य पद पर समान रूप से प्रभावी होकर शून्य हो जाना, महत्वपूर्ण अध:पतन कहलाता है; इससे शेष रूट को दृश्यमान बनाने के लिए सही रीस्केलिंग प्राप्त होती है। यह विकल्प उपज देता है

$y^{3}-y^{2}+\varepsilon ^{2}=0.$

अस्तव्यस्तता श्रृंखला को प्रतिस्थापित करना

$y(\varepsilon )=y_{0}+\varepsilon ^{2}y_{1}+\varepsilon ^{4}y_{2}+\cdots$

उत्पन्न

$y_{0}^{3}-y_{0}^{2}=0.$

फिर हम मूल में रुचि रखते हैं $y_{0}=1$; डबल रूट पर $y_{0}=0$ वह दो जड़ें हैं जिन्हें हमने उस अनंत पुनर्स्केलिंग की सीमा में शून्य तक ढहने के ऊपर पाया है। श्रृंखला के पहले कुछ पदों की गणना करने पर परिणाम प्राप्त होता है

$x(\varepsilon )={\frac {y(\varepsilon )}{\varepsilon }}={\frac {1}{\varepsilon }}-\varepsilon -2\varepsilon ^{3}+\cdots .$