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

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

परिभाषा

एक शक्ति श्रृंखला के लिए f को इस प्रकार परिभाषित किया गया है:

$f(z)=\sum _{n=0}^{\infty }c_{n}(z-a)^{n},$

जहाँ

• a एक सम्मिश्र संख्या स्थिरांक है, अभिसरण की डिस्क (गणित) का केंद्र,
• c_n एन-वें जटिल गुणांक है, और
• z एक जटिल चर है।

अभिसरण r की त्रिज्या एक अऋणात्मक वास्तविक संख्या है या $\infty$ जैसे कि यदि श्रृंखला अभिसरित होती है

$|z-a|<r$

और यदि विचलन करता है

$|z-a|>r.$

कुछ वैकल्पिक परिभाषा पसंद कर सकते हैं, क्योंकि अस्तित्व स्पष्ट है:

$r=\sup \left\{|z-a|\ \left|\ \sum _{n=0}^{\infty }c_{n}(z-a)^{n}\ {\text{ converges }}\right.\right\}$

सीमा पर, अर्थात्, जहाँ |z − a| = r है, घात श्रृंखला का व्यवहार जटिल हो सकता है, और श्रृंखला z के कुछ मानों के लिए अभिसरण कर सकती है और दूसरों के लिए विचलन कर सकती है। अभिसरण की त्रिज्या अनंत है यदि श्रृंखला सभी सम्मिश्र संख्याओं z के लिए अभिसरण करती है।

अभिसरण की त्रिज्या का पता लगाना

दो स्थितियां सामने आती हैं। पहली स्थिति सैद्धांतिक है: जब आप सभी गुणांक $c_{n}$ जानते हैं तो आप कुछ सीमाएँ लेते हैं और अभिसरण की त्रुटिहीन त्रिज्या पाते हैं। दूसरा स्थिति व्यावहारिक है: जब आप एक कठिन समस्या के लिए एक शक्ति श्रृंखला समाधान का निर्माण करते हैं, तो आप आमतौर पर एक शक्ति श्रृंखला में शब्दों की एक सीमित संख्या को ही जान पाएंगे, कहीं भी कुछ शब्दों से लेकर सौ शब्दों तक। इस दूसरे स्थिति में, प्लॉट को एक्सट्रपलेशन करने से अभिसरण की त्रिज्या का अनुमान लगाया जाता है।

सैद्धांतिक दायरा

श्रृंखला की शर्तों के मूल परीक्षण को प्रायुक्त करके अभिसरण की त्रिज्या पाई जा सकती है। मूल परीक्षण संख्या का उपयोग करता है

$C=\limsup _{n\to \infty }{\sqrt[{n}]{|c_{n}(z-a)^{n}|}}=\limsup _{n\to \infty }\left({\sqrt[{n}]{|c_{n}|}}\right)|z-a|$

लिम सुपर श्रेष्ठ सीमा को दर्शाता है। मूल परीक्षण बताता है कि श्रृंखला अभिसरण करती है यदि C < 1 और विचलन करती है यदि C > 1। यह इस प्रकार है कि शक्ति श्रृंखला अभिसरण करती है यदि z से केंद्र की दूरी से कम है

$r={\frac {1}{\limsup _{n\to \infty }{\sqrt[{n}]{|c_{n}|}}}}$

और विचलन करता है यदि दूरी उस संख्या से अधिक हो जाती है; यह कथन कॉची-हैडमार्ड प्रमेय है। ध्यान दें कि r = 1/0 को अनंत त्रिज्या के रूप में समझा जाता है, जिसका अर्थ है कि f एक संपूर्ण कार्य है।

अनुपात परीक्षण में सम्मिलित सीमा आमतौर पर गणना करना आसान होता है, और जब वह सीमा उपस्थित होती है, तो यह दर्शाता है कि अभिसरण की त्रिज्या परिमित है।

$r=\lim _{n\to \infty }\left|{\frac {c_{n}}{c_{n+1}}}\right|.$

इसे इस प्रकार दिखाया गया है। अनुपात परीक्षण कहता है कि यदि श्रृंखला अभिसरित होती है

$\lim _{n\to \infty }{\frac {|c_{n+1}(z-a)^{n+1}|}{|c_{n}(z-a)^{n}|}}<1.$

वह बराबर है

$|z-a|<{\frac {1}{\lim _{n\to \infty }{\frac {|c_{n+1}|}{|c_{n}|}}}}=\lim _{n\to \infty }\left|{\frac {c_{n}}{c_{n+1}}}\right|.$

वास्तविक गुणांक के स्थिति में त्रिज्या का व्यावहारिक अनुमान

समारोह के भूखंड $f(\varepsilon )={\frac {\varepsilon (1+\varepsilon ^{3})}{\sqrt {1+2\varepsilon }}}.$
ठोस हरी रेखा सीधी रेखा है। डोंब-साइक्स प्लॉट में सीधी-रेखा अनंतस्पर्शी, प्लॉट (बी), जो लंबवत धुरी को -2 पर रोकता है और ढलान +1 है। इस प्रकार एक विलक्षणता है $\varepsilon =-1/2$ और इसलिए अभिसरण की त्रिज्या है $r=1/2.$

आमतौर पर, वैज्ञानिक अनुप्रयोगों में, गुणांकों की केवल एक सीमित संख्या होती है $c_{n}$ ज्ञात हैं। आमतौर पर, जैसा $n$ बढ़ता है, ये गुणांक निकटतम त्रिज्या-सीमित विलक्षणता द्वारा निर्धारित नियमित व्यवहार में व्यवस्थित होते हैं। इस स्थिति में, दो मुख्य तकनीकों को इस तथ्य के आधार पर विकसित किया गया है कि टेलर श्रृंखला के गुणांक मोटे तौर पर अनुपात के साथ घातीय हैं $1/r$ जहाँ r अभिसरण की त्रिज्या है।

• मूल स्थिति तब होता है जब गुणांक अंततः एक सामान्य चिह्न या वैकल्पिक चिह्न साझा करते हैं। जैसा कि पहले लेख में बताया गया है, कई स्थितियों में सीमा ${\textstyle \lim _{n\to \infty }{c_{n}/c_{n-1}}}$ उपस्थित है, और इस स्थिति में ${\textstyle 1/r=\lim _{n\to \infty }{c_{n}/c_{n-1}}}$. नकारात्मक $r$ का अर्थ है अभिसरण-सीमित विलक्षणता ऋणात्मक अक्ष पर है। प्लॉट करके इस सीमा का अनुमान लगाएं $c_{n}/c_{n-1}$ बनाम $1/n$, और रेखांकन के लिए एक्सट्रपलेशन करें $1/n=0$ (प्रभावी रूप से $n=\infty$) एक रैखिक फिट के माध्यम से। के साथ अवरोधन $1/n=0$ अभिसरण की त्रिज्या के व्युत्क्रम का अनुमान लगाता है, $1/r$. इस प्लॉट को डोम्ब-साइक्स प्लॉट कहा जाता है।
• अधिक जटिल स्थिति तब होता है जब गुणांकों के चिह्नों का पैटर्न अधिक जटिल होता है। मर्सर और रॉबर्ट्स ने निम्नलिखित प्रक्रिया का प्रस्ताव दिया। संबद्ध अनुक्रम को परिभाषित कीजिए
  $$b_{n}^{2}={\frac {c_{n+1}c_{n-1}-c_{n}^{2}}{c_{n}c_{n-2}-c_{n-1}^{2}}}\quad n=3,4,5,\ldots .$$
  बहुत से ज्ञातों को प्लॉट करें $b_{n}$ बनाम $1/n$, और रेखांकन के लिए एक्सट्रपलेशन करें $1/n=0$ एक रैखिक फिट के माध्यम से। के साथ अवरोधन $1/n=0$ अभिसरण की त्रिज्या के व्युत्क्रम का अनुमान लगाता है, $1/r$. यह प्रक्रिया विलक्षणता को सीमित करने वाले अभिसरण की दो अन्य विशेषताओं का भी अनुमान लगाती है। मान लीजिए कि निकटतम विलक्षणता डिग्री की है $p$ और कोण है $\pm \theta$ वास्तविक धुरी के लिए। फिर ऊपर दिए गए लीनियर फिट का स्लोप है $-(p+1)/r$. आगे, प्लॉट ${\textstyle {\frac {1}{2}}\left({\frac {c_{n-1}b_{n}}{c_{n}}}+{\frac {c_{n+1}}{c_{n}b_{n}}}\right)}$ बनाम ${\textstyle 1/n^{2}}$, फिर एक रेखीय फिट को एक्सट्रपलेशन किया गया ${\textstyle 1/n^{2}=0}$ पर अवरोधन है $\cos \theta$.

जटिल विश्लेषण में अभिसरण की त्रिज्या

अभिसरण के एक धनात्मक त्रिज्या के साथ एक शक्ति श्रृंखला को इसके तर्क को एक जटिल चर के रूप में ले कर एक होलोमॉर्फिक फ़ंक्शन में बनाया जा सकता है। अभिसरण की त्रिज्या को निम्नलिखित प्रमेय द्वारा वर्णित किया जा सकता है:

एक बिंदु a पर केन्द्रित घात श्रृंखला f की अभिसरण की त्रिज्या a से निकटतम बिंदु की दूरी के बराबर होती है जहाँ f को इस तरह से परिभाषित नहीं किया जा सकता है जो इसे होलोमोर्फिक बनाता है।

उन सभी बिंदुओं का समुच्चय जिनकी दूरी अभिसरण की त्रिज्या से सख्ती से कम है, अभिसरण की डिस्क कहलाती है।

पाठ में समझाए गए कार्यों का एक ग्राफ: नीले रंग में सन्निकटन, सफेद में अभिसरण का चक्र

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

$f(z)={\frac {1}{1+z^{2}}}$

वास्तविक रेखा पर कोई विलक्षणता नहीं है, क्योंकि $1+z^{2}$ कोई वास्तविक जड़ नहीं है। इसकी टेलर श्रंखला लगभग 0 द्वारा दी गई है

$\sum _{n=0}^{\infty }(-1)^{n}z^{2n}.$

रूट परीक्षण से पता चलता है कि इसकी अभिसरण की त्रिज्या 1 है। इसके अनुसार, फ़ंक्शन f(z) में विलक्षणताएं ±i पर हैं, जो 0 से 1 की दूरी पर हैं।

इस प्रमेय के प्रमाण के लिए, होलोमोर्फिक कार्यों की विश्लेषणात्मकता देखें।

एक साधारण उदाहरण

त्रिकोणमिति के चापस्पर्शी फलन को घात श्रेणी में विस्तारित किया जा सकता है:

$\arctan(z)=z-{\frac {z^{3}}{3}}+{\frac {z^{5}}{5}}-{\frac {z^{7}}{7}}+\cdots .$

इस स्थिति में रूट टेस्ट को प्रायुक्त करना आसान है, यह पता लगाने के लिए कि अभिसरण की त्रिज्या 1 है।

एक अधिक जटिल उदाहरण

इस शक्ति श्रृंखला पर विचार करें:

${\frac {z}{e^{z}-1}}=\sum _{n=0}^{\infty }{\frac {B_{n}}{n!}}z^{n}$

जहाँ परिमेय संख्याएँ B_n बरनौली संख्याएँ हैं। इस श्रृंखला की अभिसरण की त्रिज्या ज्ञात करने के लिए अनुपात परीक्षण को प्रायुक्त करने का प्रयास करना बोझिल हो सकता है। लेकिन ऊपर बताए गए जटिल विश्लेषण का प्रमेय समस्या को जल्दी हल करता है। Z = 0 पर, हटाने योग्य विलक्षणता के बाद से कोई विलक्षणता नहीं है। केवल गैर-हटाने योग्य विलक्षणताएं अन्य बिंदुओं पर स्थित हैं जहां भाजक शून्य है। हमने सलुझाया

$e^{z}-1=0$

यह याद करके कि यदि z = x + iy और e^iy = cos(y) + i sin(y) तब

$e^{z}=e^{x}e^{iy}=e^{x}(\cos(y)+i\sin(y)),$

और फिर x और y को वास्तविक मान लें। चूँकि y वास्तविक है, का निरपेक्ष मान cos(y) + i sin(y) अनिवार्य रूप से 1 है। इसलिए, ई का पूर्ण मूल्य^z केवल 1 हो सकता है यदि e^x 1 है; चूँकि x वास्तविक है, ऐसा तभी होता है जब x = 0. इसलिए z विशुद्ध रूप से काल्पनिक है और cos(y) + i sin(y) = 1. चूँकि y वास्तविक है, ऐसा तभी होता है जब cos(y) = 1 और sin(y) = 0, ताकि y 2 का पूर्णांक गुणक होπ. नतीजतन इस समारोह के एकवचन बिंदु पर होते हैं

z = 2 का एक शून्येतर पूर्णांक गुणजπमैं।

0 के निकटतम विलक्षणताएं, जो शक्ति श्रृंखला विस्तार का केंद्र है, ±2 पर हैंπमैं। केंद्र से उन बिंदुओं में से किसी एक की दूरी 2 हैπ, इसलिए अभिसरण की त्रिज्या 2 हैπ.

सीमा पर अभिसरण

यदि बिंदु a के चारों ओर शक्ति श्रृंखला का विस्तार किया जाता है और अभिसरण की त्रिज्या है r, फिर सभी बिंदुओं का सेट z ऐसा है कि |z − a| = r एक वृत्त है जिसे अभिसरण की डिस्क की सीमा कहा जाता है। एक शक्ति श्रृंखला सीमा पर प्रत्येक बिंदु पर विचलन कर सकती है, या कुछ बिंदुओं पर विचलन कर सकती है और अन्य बिंदुओं पर अभिसरण कर सकती है, या सीमा पर सभी बिंदुओं पर अभिसरण कर सकती है। इसके अलावा, भले ही श्रृंखला हर जगह सीमा पर (यहां तक ​​​​कि समान रूप से) अभिसरण करती है, यह जरूरी नहीं कि पूरी तरह से अभिसरण हो।

उदाहरण 1: फलन की घात श्रेणी f(z) = 1/(1 − z), चारों ओर फैला हुआ z = 0, जो बस है

$\sum _{n=0}^{\infty }z^{n},$ अभिसरण की त्रिज्या 1 है और सीमा पर प्रत्येक बिंदु पर विचलन करती है।

उदाहरण 2: के लिए शक्ति श्रृंखला g(z) = −ln(1 − z), चारों ओर फैला हुआ z = 0, जो है

$\sum _{n=1}^{\infty }{\frac {1}{n}}z^{n},$ अभिसरण की त्रिज्या 1 है, और इसके लिए विचलन करता है z = 1 लेकिन सीमा पर अन्य सभी बिंदुओं के लिए अभिसरण करता है। कार्यक्रम {{math|f(z)}उदाहरण 1 का अवकलज है g(z).

उदाहरण 3: शक्ति श्रृंखला

$\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}z^{n}$ अभिसरण की त्रिज्या 1 है और पूरी तरह से सीमा पर हर जगह अभिसरण करता है। यदि h इकाई डिस्क पर इस श्रृंखला द्वारा प्रस्तुत किया गया कार्य है, तो h(z) का व्युत्पन्न उदाहरण 2 के g के साथ g(z)/z के बराबर है। यह पता चला है कि h(z) dilogarithm फ़ंक्शन है।

उदाहरण 4: शक्ति श्रृंखला

$\sum _{i=1}^{\infty }a_{i}z^{i}{\text{ where }}a_{i}={\frac {(-1)^{n-1}}{2^{n}n}}{\text{ for }}n=\lfloor \log _{2}(i)\rfloor +1{\text{, the unique integer with }}2^{n-1}\leq i<2^{n},$

अभिसरण की त्रिज्या 1 है और संपूर्ण सीमा पर एकसमान अभिसरण को अभिसरित करता है |z| = 1, लेकिन सीमा पर पूर्ण अभिसरण नहीं करता है।

अभिसरण की दर

यदि हम फ़ंक्शन का विस्तार करते हैं

$\sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-\cdots {\text{ for all }}x$

बिंदु x = 0 के आसपास, हम पाते हैं कि इस श्रृंखला की अभिसरण की त्रिज्या है $\infty$ जिसका अर्थ है कि यह श्रृंखला सभी सम्मिश्र संख्याओं के लिए अभिसरण करती है। हालांकि, अनुप्रयोगों में, अक्सर एक संख्यात्मक विश्लेषण की त्रुटिहीनता में रुचि होती है। पदों की संख्या और मूल्य दोनों, जिस पर श्रृंखला का मूल्यांकन किया जाना है, उत्तर की त्रुटिहीनता को प्रभावित करते हैं। उदाहरण के लिए, यदि हम गणना करना चाहते हैं sin(0.1) पाँच दशमलव स्थानों तक त्रुटिहीन, हमें श्रृंखला के केवल पहले दो पदों की आवश्यकता है। हालाँकि, यदि हम समान त्रुटिहीनता चाहते हैं x = 1 हमें श्रृंखला के पहले पांच पदों का मूल्यांकन और योग करना चाहिए। के लिए sin(10), किसी को श्रृंखला के पहले 18 पदों की आवश्यकता होती है, और के लिए sin(100) हमें पहले 141 शब्दों का मूल्यांकन करने की आवश्यकता है।

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

एक डिरिचलेट श्रृंखला के अभिसरण का भुज

एक समान अवधारणा अभिसरण का भुज है

$\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}.$

यदि s का वास्तविक भाग गुणांक a के आधार पर किसी विशेष संख्या से अधिक है तो ऐसी श्रृंखला अभिसरण करती है_n: अभिसरण का भुज।

संदर्भ

• Brown, James; Churchill, Ruel (1989), Complex variables and applications, New York: McGraw-Hill, ISBN 978-0-07-010905-6
• Stein, Elias; Shakarchi, Rami (2003), Complex Analysis, Princeton, New Jersey: Princeton University Press, ISBN 0-691-11385-8

यह भी देखें

• हाबिल की प्रमेय
• अभिसरण परीक्षण
• रूट टेस्ट

बाहरी संबंध

• What is radius of convergence?