नियमित एकल बिंदु

गणित में, जटिल तल में साधारण अवकल समीकरणों के सिद्धांत में $\mathbb {C}$, के अंक $\mathbb {C}$ को सामान्य बिंदुओं में वर्गीकृत किया जाता है, जिस पर समीकरण के गुणांक विश्लेषणात्मक कार्य होते हैं, और एकवचन बिंदु, जिस पर कुछ गुणांक में विलक्षणता (गणित) होती है। पुनः एकवचन बिंदुओं के मध्य, 'नियमित एकवचन बिंदु' के मध्य महत्वपूर्ण अंतर किया जाता है, जहां बीजगणितीय कार्य द्वारा समाधानों की वृद्धि (किसी भी छोटे क्षेत्र में) और 'अनियमित एकवचन बिंदु' से घिरा होता है, जहां पूर्ण समाधान समुच्चय के लिए उच्च वृद्धि वाले कार्यों की आवश्यकता होती है। उदाहरण के लिए, यह भेद होता है, तीन नियमित एकवचन बिंदुओं के साथ, हाइपरज्यामितीय समीकरण के मध्य, और बेसेल समीकरण जो अर्थ में सीमित स्थिति है, लेकिन जहां विश्लेषणात्मक गुण अधिक भिन्न होते हैं।

औपचारिक परिभाषाएँ

अधिक त्रुटिहीन रूप से, के एक साधारण रेखीय अंतर समीकरण पर विचार करें n-वाँ क्रम

$$\sum _{i=0}^{n}p_{i}(z)f^{(i)}(z)=0$$

साथ p_i(z) मेरोमोर्फिक फलन कोई ऐसा मान सकता है

$$p_{n}(z)=1.$$

यदि ऐसा नहीं है तो उपरोक्त समीकरण को विभाजित करना होगा p_n(z). यह विचार करने के लिए विलक्षण बिंदुओं को प्रस्तुत कर सकता है।

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

फिर इंडिकियल समीकरण पर आधारित फ्रोबेनियस विधि को संभावित समाधानों को खोजने के लिए लागू किया जा सकता है जो पावर सीरीज़ गुणा जटिल शक्तियां हैं (z − a)^r किसी दिए गए के पास a जटिल विमान में जहां r पूर्णांक होना आवश्यक नहीं है; यह कार्य उपस्थित हो सकता है, इसलिए, केवल शाखा से बाहर निकलने के लिए धन्यवाद a, या आसपास कुछ पंचर डिस्क की रीमैन सतह पर a. यह के लिए कोई कठिनाई प्रस्तुत नहीं करता है a एक साधारण बिंदु (लाजर फुच्स 1866)। कब a एक नियमित विलक्षण बिंदु है, जिसका परिभाषा के अनुसार तात्पर्य है

$$p_{n-i}(z)$$

अधिक से अधिक क्रम का एक ध्रुव (जटिल विश्लेषण) है i पर a, फ्रोबेनियस विधि को कार्य करने और प्रदान करने के लिए भी बनाया जा सकता है n स्वतंत्र समाधान निकट a.

नहीं तो बात a एक अनियमित विलक्षणता है। उस स्थिति में विश्लेषणात्मक निरंतरता द्वारा समाधानों से संबंधित मोनोड्रोमी समूह के पास सामान्य रूप से कहने के लिए अल्प है, और उनके स्पर्शोन्मुख विस्तार के संदर्भ में समाधानों का अध्ययन करना कठिन है। एक अनियमित विलक्षणता की अनियमितता को हेनरी पॉइनकेयर | पॉइंकेयर रैंक (Arscott (1995)).

नियमितता की स्थिति एक प्रकार की न्यूटन बहुभुज स्थिति है, इस अर्थ में कि अनुमत ध्रुव एक क्षेत्र में हैं, जब इसके विरुद्ध साजिश रची जाती है i, अक्षों से 45° पर एक रेखा से घिरा हुआ है।

एक साधारण अवकल समीकरण जिसके केवल एकवचन बिंदु, अनंत पर बिंदु सहित, नियमित एकवचन बिंदु होते हैं, एक फ्यूचियन कहलाता है साधारण अंतर समीकरण।

दूसरे क्रम के अंतर समीकरणों के उदाहरण

इस स्थिति में उपरोक्त समीकरण को अल्प कर दिया गया है:

$$f''(x)+p_{1}(x)f'(x)+p_{0}(x)f(x)=0.$$

एक निम्नलिखित स्थितियों को भिन्न करता है:

• बिंदु a कार्य करते समय एक सामान्य बिंदु है p₁(x) और p₀(x) पर विश्लेषणात्मक हैं x = a.
• बिंदु a एक नियमित विलक्षण बिंदु है यदि p₁(x) के पास ऑर्डर 1 बजे तक का पोल है x = a और p₀ के पास 2 at तक ऑर्डर ऑफ़ पोल है x = a.
• अन्यथा इंगित करें a एक अनियमित विलक्षण बिंदु है।

हम जांच कर सकते हैं कि प्रतिस्थापन का उपयोग करके अनंत पर एक अनियमित एकवचन बिंदु है या नहीं $w=1/x$ और संबंध:

$${\frac {df}{dx}}=-w^{2}{\frac {df}{dw}}$$

$${\frac {d^{2}f}{dx^{2}}}=w^{4}{\frac {d^{2}f}{dw^{2}}}+2w^{3}{\frac {df}{dw}}$$

हम इस प्रकार समीकरण को एक समीकरण में बदल सकते हैं w, और जांचें कि क्या होता है w = 0. अगर $p_{1}(x)$ और $p_{2}(x)$ बहुपद के भागफल हैं, तो अनंत x पर एक अनियमित एकवचन बिंदु होगा जब तक कि बहुपद के भाजक में न हो $p_{1}(x)$ बहुपद की घात उसके अंश और हर के घात से अल्प से अल्प एक अधिक होती है $p_{2}(x)$ इसके अंश की डिग्री से अल्प से अल्प दो डिग्री अधिक है।

नीचे सूचीबद्ध गणितीय भौतिकी के सामान्य अंतर समीकरणों से कई उदाहरण हैं जिनमें एकवचन बिंदु और ज्ञात समाधान हैं।

बेसेल अवकल समीकरण

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

$$x^{2}{\frac {d^{2}f}{dx^{2}}}+x{\frac {df}{dx}}+(x^{2}-\alpha ^{2})f=0$$

एक मनमाना वास्तविक या जटिल संख्या के लिए α (बेसेल समारोह का क्रम)। सबसे आम और महत्वपूर्ण विशेष मामला है जहां α एक पूर्णांक है n.

इस समीकरण को x से विभाजित करना² देता है:

$${\frac {d^{2}f}{dx^{2}}}+{\frac {1}{x}}{\frac {df}{dx}}+\left(1-{\frac {\alpha ^{2}}{x^{2}}}\right)f=0.$$

इस स्थिति में p₁(x) = 1/x में पहले क्रम का पोल है x = 0. कब α ≠ 0, p₀(x) = (1 − α²/x²) में दूसरे क्रम का पोल है x = 0. इस प्रकार इस समीकरण की 0 पर एक नियमित विलक्षणता है।

देखना है कि कब क्या होता है x → ∞ उदाहरण के लिए, मोबियस रूपांतरण का उपयोग करना होगा $x=1/w$. बीजगणित करने के बाद:

$${\frac {d^{2}f}{dw^{2}}}+{\frac {1}{w}}{\frac {df}{dw}}+\left[{\frac {1}{w^{4}}}-{\frac {\alpha ^{2}}{w^{2}}}\right]f=0$$

अब में $w=0$,

$$p_{1}(w)={\frac {1}{w}}$$

पहले क्रम का एक पोल है, लेकिन

$$p_{0}(w)={\frac {1}{w^{4}}}-{\frac {\alpha ^{2}}{w^{2}}}$$

चौथे क्रम का एक पोल है। इस प्रकार, इस समीकरण में एक अनियमित विलक्षणता है $w=0$ ∞ पर x के अनुरूप।

किंवदंती अंतर समीकरण

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

$${\frac {d}{dx}}\left[(1-x^{2}){\frac {d}{dx}}f\right]+l(l+1)f=0.$$

वर्ग कोष्ठक खोलने से मिलता है:

$$\left(1-x^{2}\right){d^{2}f \over dx^{2}}-2x{df \over dx}+l(l+1)f=0.$$

और विभाजित करके (1 − x²):

$${\frac {d^{2}f}{dx^{2}}}-{\frac {2x}{1-x^{2}}}{\frac {df}{dx}}+{\frac {l(l+1)}{1-x^{2}}}f=0.$$

इस अवकल समीकरण के ±1 और ∞ नियमित एकवचन बिंदु हैं।

हर्मिट अंतर समीकरण

एक आयामी समय स्वतंत्र श्रोडिंगर समीकरण को हल करने में इस साधारण दूसरे क्रम के अंतर समीकरण का सामना करना पड़ता है

$$E\psi =-{\frac {\hbar ^{2}}{2m}}{\frac {d^{2}\psi }{dx^{2}}}+V(x)\psi$$

क्वांटम हार्मोनिक ऑसिलेटर के लिए। इस स्थिति में स्थितिज ऊर्जा V(x) है:

$$V(x)={\frac {1}{2}}m\omega ^{2}x^{2}.$$

यह निम्न सामान्य द्वितीय क्रम अंतर समीकरण की ओर जाता है:

$${\frac {d^{2}f}{dx^{2}}}-2x{\frac {df}{dx}}+\lambda f=0.$$

इस अंतर समीकरण में ∞ पर एक अनियमित विलक्षणता है। इसके समाधान हर्मिट बहुपद हैं।

अतिज्यामितीय समीकरण

समीकरण के रूप में परिभाषित किया जा सकता है

$$z(1-z){\frac {d^{2}f}{dz^{2}}}+\left[c-(a+b+1)z\right]{\frac {df}{dz}}-abf=0.$$

द्वारा दोनों पक्षों को विभाजित करना z(1 − z) देता है:

$${\frac {d^{2}f}{dz^{2}}}+{\frac {c-(a+b+1)z}{z(1-z)}}{\frac {df}{dz}}-{\frac {ab}{z(1-z)}}f=0.$$

इस अवकल समीकरण के 0, 1 और ∞ नियमित एकवचन बिंदु हैं। एक समाधान हाइपरज्यामितीय फलन है।

संदर्भ

• Coddington, Earl A.; Levinson, Norman (1955). Theory of Ordinary Differential Equations. New York: McGraw-Hill.
• E. T. Copson, An Introduction to the Theory of Functions of a Complex Variable (1935)
• Fedoryuk, M. V. (2001) [1994], "Fuchsian equation", Encyclopedia of Mathematics, EMS Press
• A. R. Forsyth Theory of Differential Equations Vol. IV: Ordinary Linear Equations (Cambridge University Press, 1906)
• Édouard Goursat, A Course in Mathematical Analysis, Volume II, Part II: Differential Equations pp. 128−ff. (Ginn & co., Boston, 1917)
• E. L. Ince, Ordinary Differential Equations, Dover Publications (1944)
• Il'yashenko, Yu. S. (2001) [1994], "Regular singular point", Encyclopedia of Mathematics, EMS Press
• T. M. MacRobert Functions of a Complex Variable p. 243 (MacMillan, London, 1917)
• Teschl, Gerald (2012). Ordinary Differential Equations and Dynamical Systems. Providence: American Mathematical Society. ISBN 978-0-8218-8328-0.
• E. T. Whittaker and G. N. Watson A Course of Modern Analysis pp. 188−ff. (Cambridge University Press, 1915)