बोरेल योग: Difference between revisions
(Created page with "{{Use American English|date = March 2019}} {{Short description|Summation method for divergent series}} {{quote box |align=right |width=33% |quote= Borel, then...") |
m (10 revisions imported from alpha:बोरेल_योग) |
||
(9 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Use American English|date = March 2019}} | {{Use American English|date = March 2019}} | ||
{{Short description|Summation method for divergent series}} | {{Short description|Summation method for divergent series}}गणित में, '''बोरेल योग''' अपसारी श्रृंखला के लिए एक योग विधि है, जिसे एमिल बोरेल (1899) द्वारा प्रस्तुत किया गया है। यह विशेष रूप से अपसारी स्पर्शोन्मुख श्रृंखला के योग के लिए उपयोगी है, और कुछ अर्थों में ऐसी श्रृंखला के लिए सर्वोत्तम संभव योग देता है। इस विधि के कई रूप हैं जिन्हें बोरेल योग भी कहा जाता है, और इसके सामान्यीकरण को मिट्टाग-लेफ़लर योग भी कहा जाता है। | ||
==परिभाषा== | ==परिभाषा== | ||
(कम से कम) तीन अलग-अलग विधियाँ | बोरेल योगन कहलाने वाली (कम से कम) तीन अलग-अलग विधियाँ हैं। वे इस बात में भिन्न हैं कि वे किस श्रृंखला का योग कर सकते हैं, लेकिन सुसंगत हैं, जिसका अर्थ है कि यदि दो तरीकों से एक ही श्रृंखला का योग किया जाता है तो वे एक ही उत्तर देते हैं। | ||
मान लीजिए कि {{math|''A''(''z'')}} एक औपचारिक घात श्रृंखला को दर्शाता है | |||
:<math>A(z) = \sum_{k = 0}^\infty a_kz^k,</math> | :<math>A(z) = \sum_{k = 0}^\infty a_kz^k,</math> | ||
और | और {{math|''A''}} के बोरेल रूपांतरण को इसकी समकक्ष घातांकीय श्रृंखला के रूप में परिभाषित करें | ||
:<math>\mathcal{B}A(t) \equiv \sum_{k=0}^\infty \frac{a_k}{k!}t^k.</math> | :<math>\mathcal{B}A(t) \equiv \sum_{k=0}^\infty \frac{a_k}{k!}t^k.</math> | ||
=== बोरेल की घातांकीय योग विधि=== | === बोरेल की घातांकीय योग विधि=== | ||
मान लीजिए {{math|''A''<sub>''n''</sub>(''z'')}} आंशिक योग को निरूपित करता है | |||
:<math>A_n(z) = \sum_{k=0}^n a_k z^k.</math> | :<math>A_n(z) = \sum_{k=0}^n a_k z^k.</math> | ||
बोरेल की योग विधि का एक | बोरेल की योग विधि का एक अशक्त रूप बोरेल योग {{math|''A''}} को परिभाषित करता है | ||
:<math> \lim_{t\rightarrow\infty} e^{-t}\sum_{n=0}^\infty \frac{t^n}{n!}A_n(z). </math> | :<math> \lim_{t\rightarrow\infty} e^{-t}\sum_{n=0}^\infty \frac{t^n}{n!}A_n(z). </math> | ||
यदि यह | यदि यह {{math|''z'' ∈ '''C'''}} पर किसी फ़ंक्शन {{math|''a''(''z'')}} पर अभिसरण करता है, तो हम कहते हैं कि {{math|''A''}} का अशक्त बोरेल योग {{math|''z''}} पर अभिसरण करता है, और <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math> लिखते हैं, | ||
===बोरेल की अभिन्न योग विधि=== | ===बोरेल की अभिन्न योग विधि=== | ||
मान लीजिए कि बोरेल रूपांतरण सभी | मान लीजिए कि बोरेल रूपांतरण सभी धनात्मक वास्तविक संख्याओं के लिए एक ऐसे फ़ंक्शन में परिवर्तित हो जाता है जो काफी धीमी गति से बढ़ रहा है ताकि निम्नलिखित अभिन्न अंग अच्छी तरह से परिभाषित हो (एक अनुचित अभिन्न अंग के रूप में), {{math|''A''}} का बोरेल योग इस प्रकार दिया गया है | ||
:<math>\int_0^\infty e^{-t} \mathcal{B}A(tz) \, dt. </math> | :<math>\int_0^\infty e^{-t} \mathcal{B}A(tz) \, dt. </math> | ||
यदि | यदि इंटीग्रल {{math|''z'' ∈ '''C'''}} से कुछ {{math|''a''(''z'')}} पर अभिसरण होता है, तो हम कहते हैं कि {{math|''A''}} का बोरेल योग {{math|''z''}} पर अभिसरण होता है, और <math> {\textstyle \sum} a_kz^k = a(z) \,(\boldsymbol B) </math>लिखते हैं। | ||
===विश्लेषणात्मक निरंतरता के साथ बोरेल की अभिन्न योग विधि=== | ===विश्लेषणात्मक निरंतरता के साथ बोरेल की अभिन्न योग विधि=== | ||
यह बोरेल की अभिन्न योग विधि के समान है, सिवाय इसके कि बोरेल परिवर्तन को सभी के लिए अभिसरण की आवश्यकता नहीं है {{math|''t''}} | यह बोरेल की अभिन्न योग विधि के समान है, सिवाय इसके कि बोरेल परिवर्तन को सभी {{math|''t''}} के लिए अभिसरण की आवश्यकता नहीं है, लेकिन 0 के पास {{math|''t''}} के एक विश्लेषणात्मक कार्य में परिवर्तित हो जाता है जिसे धनात्मक वास्तविक अक्ष के साथ विश्लेषणात्मक रूप से जारी रखा जा सकता है। | ||
==बुनियादी गुण== | ==बुनियादी गुण== | ||
===नियमितता=== | ===नियमितता=== | ||
विधियाँ {{math|('''B''')}} और {{math|('''wB''')}} दोनों नियमित योग विधियाँ हैं, जिसका अर्थ है कि जब भी {{math|''A''(''z'')}} अभिसरण (मानक अर्थ में) होता है, तो बोरेल योग और अशक्त बोरेल योग भी अभिसरण करते हैं, और समान मूल्य पर ऐसा करते हैं। अर्थात | |||
:<math> \sum_{k=0}^\infty a_k z^k = A(z) < \infty \quad \Rightarrow \quad {\textstyle \sum} a_kz^k = A(z) \,\, (\boldsymbol{B},\,\boldsymbol{wB}). </math> | :<math> \sum_{k=0}^\infty a_k z^k = A(z) < \infty \quad \Rightarrow \quad {\textstyle \sum} a_kz^k = A(z) \,\, (\boldsymbol{B},\,\boldsymbol{wB}). </math> | ||
एकीकरण के क्रम में बदलाव से {{math|('''B''')}} की नियमितता आसानी से देखी जा सकती है, जो पूर्ण अभिसरण के कारण मान्य है: यदि {{math|''A''(''z'')}} {{math|''z''}} पर अभिसरण है, तो | |||
:<math> A(z) = \sum_{k=0}^\infty a_k z^k = \sum_{k=0}^\infty a_k \left( \int_{0}^\infty e^{-t}t^k dt \right) \frac{z^k}{k!} = \int_{0}^\infty e^{-t} \sum_{k=0}^\infty a_k \frac{(tz)^k}{k!}dt, </math> | :<math> A(z) = \sum_{k=0}^\infty a_k z^k = \sum_{k=0}^\infty a_k \left( \int_{0}^\infty e^{-t}t^k dt \right) \frac{z^k}{k!} = \int_{0}^\infty e^{-t} \sum_{k=0}^\infty a_k \frac{(tz)^k}{k!}dt, </math> | ||
जहां सबसे | जहां सबसे दाईं ओर की अभिव्यक्ति बिल्कुल {{math|''z''}} पर बोरेल योग है। | ||
{{math|('''B''')}} और {{math|('''wB''')}} की नियमितता का मतलब है कि ये विधियां {{math|''A''(''z'')}} को विश्लेषणात्मक विस्तार प्रदान करती हैं। | |||
===बोरेल की कोई समानता नहीं और | ===बोरेल की कोई समानता नहीं और अशक्त बोरेल योग=== | ||
कोई भी श्रृंखला {{math|''A''(''z'')}} | कोई भी श्रृंखला {{math|''A''(''z'')}} जो {{math|''z'' ∈ ''C''}} पर अशक्त बोरेल योग योग्य है, वह भी {{math|''z''}} पर योग योग्य बोरेल है। हालाँकि, कोई उन श्रृंखलाओं के उदाहरण बना सकता है जो अशक्त बोरेल योग के तहत भिन्न हैं, लेकिन जो बोरेल योग योग्य हैं। निम्नलिखित प्रमेय दो विधियों की तुल्यता की विशेषता बताता है। | ||
:प्रमेय ({{harv| | :प्रमेय ({{harv|हार्डी|1992|loc=8.5}}). | ||
: | :मान लें कि {{math|''A''(''z'')}} एक औपचारिक शक्ति श्रृंखला है, और {{math|''z'' ∈ ''C''}} को ठीक करें, तो: | ||
:# अगर <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>, तब <math> {\textstyle \sum}a_kz^k = a(z) \, (\boldsymbol{B})</math>. | :# अगर <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>, तब <math> {\textstyle \sum}a_kz^k = a(z) \, (\boldsymbol{B})</math>. | ||
:# अगर <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{B}) </math>, और <math> \lim_{t \rightarrow \infty} e^{-t}\mathcal B A(zt) = 0, </math> तब <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>. | :# अगर <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{B}) </math>, और <math> \lim_{t \rightarrow \infty} e^{-t}\mathcal B A(zt) = 0, </math> तब <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>. | ||
===अन्य योग विधियों से संबंध=== | ===अन्य योग विधियों से संबंध=== | ||
* {{math|('''B''')}} | * {{math|('''B''')}} {{math|1=α = 1}} के साथ मिट्टी-लैफलर सारांश की विशेष स्थिति है। | ||
* {{math|('''wB''')}} को सामान्यीकृत | *{{math|('''wB''')}} को सामान्यीकृत यूलर योग विधि {{math|('''E''',''q'')}} के सीमित स्थिति के रूप में देखा जा सकता है, इस अर्थ में कि {{math|''q'' → ∞}} के रूप में {{math|('''E''',''q'')}} विधि के अभिसरण का डोमेन {{math|('''B''')}} के लिए अभिसरण के डोमेन तक परिवर्तित हो जाता है। )<ref name="Hardy1992">Hardy, G. H. (1992). ''Divergent Series''. AMS Chelsea, Rhode Island.</ref> | ||
==अद्वितीयता प्रमेय== | ==अद्वितीयता प्रमेय== | ||
किसी भी | किसी भी असममित विस्तार के साथ हमेशा कई अलग-अलग कार्य होते हैं। हालाँकि, कभी-कभी एक सर्वोत्तम संभव कार्य होता है, इस अर्थ में कि परिमित-आयामी सन्निकटन में त्रुटियाँ किसी क्षेत्र में यथासंभव छोटी होती हैं। वॉटसन के प्रमेय और कार्लमैन के प्रमेय से पता चलता है कि बोरेल योग श्रृंखला का सबसे अच्छा संभव योग उत्पन्न करता है। | ||
===वाटसन का प्रमेय=== | ===वाटसन का प्रमेय=== | ||
वॉटसन का प्रमेय किसी फ़ंक्शन के लिए | वॉटसन का प्रमेय किसी फ़ंक्शन के लिए इसकी एसिम्प्टोटिक श्रृंखला का बोरेल योग होने की शर्तें देता है। मान लीजिए कि {{math|''f''}} एक फ़ंक्शन है जो निम्नलिखित शर्तों को पूरा करता है: | ||
*{{math|''f''}} कुछ क्षेत्र | *{{math|''f''}} कुछ क्षेत्र {{math|{{!}}''z''{{!}} < ''R''}}, {{math|{{!}}arg(''z''){{!}} < {{pi}}/2 + ''ε''}} कुछ धनात्मक के लिए {{math|''R''}} और {{math|''ε''}} में होलोमोर्फिक है | ||
*इस क्षेत्र में {{math|''f''}} में एक स्पर्शोन्मुख श्रृंखला | *इस क्षेत्र में {{math|''f''}} में एक स्पर्शोन्मुख श्रृंखला {{math|''a''<sub>0</sub> + ''a''<sub>1</sub>''z'' + ...}} है गुण के साथ कि त्रुटि | ||
:<math>|f(z)-a_0 -a_1z -\cdots -a_{n-1}z^{n-1}|</math> से घिरा हुआ है | :<math>|f(z)-a_0 -a_1z -\cdots -a_{n-1}z^{n-1}|</math> से घिरा हुआ है | ||
:<math>C^{n+1}n!|z|^n</math> | :<math>C^{n+1}n!|z|^n</math> | ||
सभी के लिए {{math|''z''}} क्षेत्र में (कुछ | सभी के लिए {{math|''z''}} क्षेत्र में (कुछ धनात्मक स्थिरांक के लिए {{math|''C''}}). | ||
तब | तब वॉटसन का प्रमेय कहता है कि इस क्षेत्र में {{math|''f''}} इसकी असिम्प्टोटिक श्रृंखला के बोरेल योग द्वारा दिया गया है। अधिक सटीक रूप से, बोरेल परिवर्तन की श्रृंखला मूल के पड़ोस में परिवर्तित होती है, और विश्लेषणात्मक रूप से धनात्मक वास्तविक अक्ष पर जारी रखी जा सकती है, और बोरेल योग को परिभाषित करने वाला अभिन्न अंग उपरोक्त क्षेत्र में {{math|''z''}} के लिए {{math|''f''(''z'')}} में परिवर्तित हो जाता है। | ||
===कार्लमैन का प्रमेय=== | ===कार्लमैन का प्रमेय=== | ||
कार्लमैन के प्रमेय से पता चलता है कि एक फ़ंक्शन विशिष्ट रूप से एक सेक्टर में एक एसिम्प्टोटिक श्रृंखला द्वारा निर्धारित किया जाता है, बशर्ते कि परिमित क्रम सन्निकटन में त्रुटियां बहुत तेज़ी से न बढ़ें। अधिक सटीक रूप से यह बताता है कि यदि ''f'' सेक्टर के इंटीरियर में विश्लेषणात्मक है {{math|{{!}}''z''{{!}} < ''C''}}, {{math|Re(''z'') > 0}} और {{math|{{!}}''f''(''z''){{!}} < {{!}}''b''<sub>''n''</sub>''z''{{!}}<sup>''n''</sup>}} इस क्षेत्र में सभी {{math|''n''}} के लिए, तो ''f'' शून्य है, बशर्ते कि श्रृंखला {{math|1/''b''<sub>0</sub> + 1/''b''<sub>1</sub> + ...}}अलग हो जाता है। | |||
कार्लेमैन का प्रमेय किसी भी एसिम्प्टोटिक श्रृंखला के लिए एक योग विधि | कार्लेमैन का प्रमेय किसी भी एसिम्प्टोटिक श्रृंखला के लिए एक योग विधि प्रदान करता है, जिसके पद बहुत तेजी से नहीं बढ़ते हैं, क्योंकि योग को एक उपयुक्त क्षेत्र में इस एसिम्प्टोटिक श्रृंखला के साथ अद्वितीय फ़ंक्शन के रूप में परिभाषित किया जा सकता है यदि यह उपस्थित है। बोरेल योग इस विशेष स्थिति की तुलना में थोड़ा अशक्त है जब कुछ स्थिरांक {{math|''c''}} के लिए {{math|1=''b''<sub>''n''</sub> =''cn''}} होता है। सामान्यतः कोई {{math|''b''<sub>''n''</sub>}} को थोड़ा बड़ा मानकर संक्षेपण विधियों को बोरेल की तुलना में थोड़ा अधिक मजबूत परिभाषित कर सकता है, उदाहरण के लिए {{math|1=''b''<sub>''n''</sub> = ''cn''log ''n''}} या {{math|1=''b''<sub>''n''</sub> =''cn''log ''n'' log log ''n''}}। व्यवहार में इस सामान्यीकरण का बहुत कम उपयोग होता है, क्योंकि इस विधि द्वारा सारांशित करने योग्य श्रृंखला के लगभग कोई प्राकृतिक उदाहरण नहीं हैं जिन्हें बोरेल की विधि द्वारा भी संक्षेपित नहीं किया जा सकता है। | ||
===उदाहरण=== | ===उदाहरण=== | ||
फ़ंक्शन {{math|1=''f''(''z'') = exp(–1/''z'')}} में एसिम्प्टोटिक श्रृंखला {{math|1=0 + 0''z'' + ...}} है, जो क्षेत्र {{math|{{!}}arg(''z''){{!}} < ''θ''}} किसी भी {{math|1=''θ'' < {{pi}}/2}} के लिए < θ, लेकिन इसकी एसिम्प्टोटिक श्रृंखला के बोरेल योग द्वारा नहीं दिया गया है। इससे पता चलता है कि वॉटसन के प्रमेय में संख्या {{pi}}/2 को किसी भी छोटी संख्या से प्रतिस्थापित नहीं किया जा सकता है (जब तक कि त्रुटि पर सीमा छोटी न की जाए)। | |||
==उदाहरण== | ==उदाहरण== | ||
Line 108: | Line 96: | ||
जो बड़े क्षेत्र में एकत्रित होता है {{math|Re(''z'') < 1}}, मूल श्रृंखला की विश्लेषणात्मक निरंतरता दे रहा है। | जो बड़े क्षेत्र में एकत्रित होता है {{math|Re(''z'') < 1}}, मूल श्रृंखला की विश्लेषणात्मक निरंतरता दे रहा है। | ||
इसके | इसके के स्थान पर अशक्त बोरेल परिवर्तन को ध्यान में रखते हुए, आंशिक रकम दी गई है {{math|1=''A''<sub>''N''</sub>(''z'') = (1 − z<sup>''N''+1</sup>)/(1 − ''z'')}}, और इसलिए अशक्त बोरेल योग है | ||
:<math> \lim_{t \rightarrow \infty}e^{-t} \sum_{n=0}^\infty \frac{1 -z^{n+1}}{1-z} \frac{t^n}{n!} = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1-z} \big( e^t - z e^{tz} \big) = \frac{1}{1-z}, </math> | :<math> \lim_{t \rightarrow \infty}e^{-t} \sum_{n=0}^\infty \frac{1 -z^{n+1}}{1-z} \frac{t^n}{n!} = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1-z} \big( e^t - z e^{tz} \big) = \frac{1}{1-z}, </math> | ||
जहां, फिर से, अभिसरण चालू है {{math|Re(''z'') < 1}}. वैकल्पिक रूप से इसे तुल्यता प्रमेय के भाग 2 की अपील करके देखा जा सकता है, क्योंकि {{math|Re(''z'') < 1}}, | जहां, फिर से, अभिसरण चालू है {{math|Re(''z'') < 1}}. वैकल्पिक रूप से इसे तुल्यता प्रमेय के भाग 2 की अपील करके देखा जा सकता है, क्योंकि {{math|Re(''z'') < 1}}, | ||
:<math> \lim_{t \rightarrow \infty} e^{-t} (\mathcal{B} A)(zt) = e^{t(z-1)} = 0. </math> | :<math> \lim_{t \rightarrow \infty} e^{-t} (\mathcal{B} A)(zt) = e^{t(z-1)} = 0. </math><br /> | ||
===एक वैकल्पिक भाज्य श्रृंखला=== | ===एक वैकल्पिक भाज्य श्रृंखला=== | ||
श्रृंखला पर विचार करें | श्रृंखला पर विचार करें | ||
Line 126: | Line 112: | ||
:<math>\int_0^\infty e^{-t}\mathcal{B}A(tz) \, dt = \int_0^\infty \frac{e^{-t}} {1+tz} \, dt = \frac 1 z \cdot e^{1/z} \cdot \Gamma\left(0,\frac 1 z \right)</math> | :<math>\int_0^\infty e^{-t}\mathcal{B}A(tz) \, dt = \int_0^\infty \frac{e^{-t}} {1+tz} \, dt = \frac 1 z \cdot e^{1/z} \cdot \Gamma\left(0,\frac 1 z \right)</math> | ||
( | (जहाँ {{math|Γ}} अधूरा गामा फ़ंक्शन है)। | ||
यह | यह समाकलन सभी {{math|''z'' ≥ 0}} के लिए अभिसरण करता है, इसलिए मूल अपसारी श्रृंखला ऐसे सभी {{math| ''z''}} के लिए बोरेल योग योग्य है। इस फ़ंक्शन में एक स्पर्शोन्मुख विस्तार होता है क्योंकि {{math|''z''}} 0 की ओर प्रवृत्त होता है जो कि मूल अपसारी श्रृंखला द्वारा दिया गया है। यह इस तथ्य का एक विशिष्ट उदाहरण है कि बोरेल योग कभी-कभी "सही ढंग से" भिन्न स्पर्शोन्मुख विस्तार का योग करेगा। | ||
फिर से, तब से | फिर से, तब से | ||
: <math> \lim_{t \rightarrow \infty} e^{-t} (\mathcal B A)(zt) = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1 + zt} = 0, </math> | : <math> \lim_{t \rightarrow \infty} e^{-t} (\mathcal B A)(zt) = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1 + zt} = 0, </math> | ||
सभी के लिए {{math|''z''}}, तुल्यता प्रमेय यह सुनिश्चित करता है कि | सभी के लिए {{math|''z''}}, तुल्यता प्रमेय यह सुनिश्चित करता है कि अशक्त बोरेल योग में अभिसरण का समान डोमेन है, {{math|''z'' ≥ 0}}. | ||
===एक उदाहरण जिसमें तुल्यता विफल हो जाती है=== | ===एक उदाहरण जिसमें तुल्यता विफल हो जाती है=== | ||
निम्नलिखित उदाहरण उसमें दिए गए उदाहरण पर आधारित है {{harv| | निम्नलिखित उदाहरण उसमें दिए गए उदाहरण पर आधारित है {{harv|हार्डी|1992|loc=8.5}}. विचार करना | ||
:<math>A(z) = \sum_{k = 0}^\infty \left( \sum_{\ell=0}^\infty \frac{(-1)^\ell(2\ell + 2)^k}{(2\ell+1)!} \right) z^k. </math> | :<math>A(z) = \sum_{k = 0}^\infty \left( \sum_{\ell=0}^\infty \frac{(-1)^\ell(2\ell + 2)^k}{(2\ell+1)!} \right) z^k. </math> | ||
Line 154: | Line 140: | ||
:<math> \int_0^\infty e^t \sin(e^{2t}) \, dt = \int_1^\infty \sin(u^2) \, du = \sqrt{\frac{\pi}{8}} - S(1) < \infty, | :<math> \int_0^\infty e^t \sin(e^{2t}) \, dt = \int_1^\infty \sin(u^2) \, du = \sqrt{\frac{\pi}{8}} - S(1) < \infty, | ||
</math> | </math> | ||
जहाँ {{math|''S''(''x'')}} फ़्रेज़नेल इंटीग्रल है। जीवाओं के साथ अभिसरण प्रमेय के माध्यम से, बोरेल इंटीग्रल सभी {{math|''z'' ≤ 2}} के लिए अभिसरण करता है ({{math|''z'' > 2}} के लिए इंटीग्रल विचलन करता है)। | |||
अशक्त बोरेल योग के लिए हम इसे नोट करते हैं | |||
:<math> \lim_{t \rightarrow \infty} e^{(z-1)t}\sin(e^{zt}) = 0 </math> | :<math> \lim_{t \rightarrow \infty} e^{(z-1)t}\sin(e^{zt}) = 0 </math> | ||
केवल | केवल {{math|''z'' < 1}}के लिए है, और इसलिए अशक्त बोरेल योग इस छोटे डोमेन पर एकत्रित होता है। | ||
==अस्तित्व परिणाम और अभिसरण का क्षेत्र== | ==अस्तित्व परिणाम और अभिसरण का क्षेत्र== | ||
===कोर्ड्स पर योग्यता=== | ===कोर्ड्स पर योग्यता=== | ||
यदि एक औपचारिक श्रृंखला {{math|''A''(''z'')}} बोरेल संक्षेपण योग्य है {{math|''z''<sub>0</sub> ∈ '''C'''}}, तो यह कॉर्ड के सभी बिंदुओं पर बोरेल योग्य भी है {{math|O''z''<sub>0</sub>}} कनेक्ट करना {{math|''z''<sub>0</sub>}} मूल की ओर. इसके | यदि एक औपचारिक श्रृंखला {{math|''A''(''z'')}} बोरेल संक्षेपण योग्य है {{math|''z''<sub>0</sub> ∈ '''C'''}}, तो यह कॉर्ड के सभी बिंदुओं पर बोरेल योग्य भी है {{math|O''z''<sub>0</sub>}} कनेक्ट करना {{math|''z''<sub>0</sub>}} मूल की ओर. इसके अतिरिक्त, एक फ़ंक्शन उपस्थित है {{math|''a''(''z'')}} त्रिज्या के साथ संपूर्ण डिस्क का विश्लेषणात्मक {{math|O''z''<sub>0</sub>}} ऐसा है कि | ||
: <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol B), </math> | : <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol B), </math> | ||
Line 172: | Line 158: | ||
===बोरेल बहुभुज=== | ===बोरेल बहुभुज=== | ||
लगता है कि {{math|''A''(''z'')}} में अभिसरण की सख्ती से | लगता है कि {{math|''A''(''z'')}} में अभिसरण की सख्ती से धनात्मक त्रिज्या है, ताकि यह मूल वाले गैर-तुच्छ क्षेत्र में विश्लेषणात्मक हो, और चलो {{math|''S''<sub>''A''</sub>}} की विलक्षणताओं के समुच्चय को निरूपित करें {{math|''A''}}. इस का मतलब है कि {{math|''P'' ∈ ''S''<sub>''A''</sub>}} अगर और केवल अगर {{math|''A''}} को 0 से लेकर ओपन कॉर्ड के साथ विश्लेषणात्मक रूप से जारी रखा जा सकता है {{math|''P''}}, लेकिन नहीं {{math|''P''}} अपने आप। के लिए {{math|''P'' ∈ ''S<sub>A</sub>''}}, मान लीजिए {{math|''L<sub>P</sub>''}} गुजरने वाली रेखा को निरूपित करें {{math|''P''}} जो जीवा के लंबवत है {{math|''OP''}}. सेट को परिभाषित करें | ||
:<math> \Pi_P = \{z \in \mathbb{C} \, \colon \, Oz \cap L_P = \varnothing \}, </math> | :<math> \Pi_P = \{z \in \mathbb{C} \, \colon \, Oz \cap L_P = \varnothing \}, </math> | ||
Line 178: | Line 164: | ||
:<math> \Pi_A = \operatorname{cl}\left( \bigcap_{P \in S_A} \Pi_P \right). </math> | :<math> \Pi_A = \operatorname{cl}\left( \bigcap_{P \in S_A} \Pi_P \right). </math> | ||
बोरेल और फ्राग्मेन द्वारा एक वैकल्पिक परिभाषा का उपयोग किया गया था {{harv|Sansone|Gerretsen|1960|loc=8.3}}. | बोरेल और फ्राग्मेन द्वारा एक वैकल्पिक परिभाषा का उपयोग किया गया था {{harv|Sansone|Gerretsen|1960|loc=8.3}}. मान लीजिए <math> S \subset \mathbb{C} </math> सबसे बड़े स्टार डोमेन को निरूपित करें जिस पर विश्लेषणात्मक विस्तार है {{math|''A''}}, तब <math> \Pi_A </math> का सबसे बड़ा उपसमूह है <math> S </math> ऐसा कि सभी के लिए <math> P \in \Pi_A </math> ओपी व्यास वाले वृत्त का आंतरिक भाग समाहित है <math>S </math>. सेट का जिक्र करते हुए <math> \Pi_A </math> चूँकि बहुभुज कुछ हद तक एक मिथ्या नाम है, चूँकि समुच्चय का बहुभुज होना आवश्यक नहीं है; जो कुछ भी हो, {{math|''A''(''z'')}} में तब केवल सीमित संख्या में विलक्षणताएँ होती हैं <math> \Pi_A </math> वास्तव में एक बहुभुज होगा. | ||
निम्नलिखित प्रमेय, बोरेल और लार्स एडवर्ड फ्रैग्मेन के कारण | फ्रैग्मेन बोरेल योग के लिए अभिसरण मानदंड प्रदान करता है। | निम्नलिखित प्रमेय, बोरेल और लार्स एडवर्ड फ्रैग्मेन के कारण | फ्रैग्मेन बोरेल योग के लिए अभिसरण मानदंड प्रदान करता है। | ||
Line 188: | Line 174: | ||
====उदाहरण 1==== | ====उदाहरण 1==== | ||
मान लीजिए {{math|ω<sub>i</sub> ∈ '''C'''}} निरूपित करें {{math|''m''}}-एकता की जड़ें, {{math|1=''i'' = 1, ..., ''m''}}, और विचार करें | |||
: <math>\begin{align} | : <math>\begin{align} | ||
Line 200: | Line 186: | ||
:<math> A(z) = \sum_{k=0}^\infty z^{2^k}, </math> | :<math> A(z) = \sum_{k=0}^\infty z^{2^k}, </math> | ||
सभी के लिए | सभी के लिए अभिसरण <math> |z| < 1 </math> (उदाहरण के लिए, ज्यामितीय श्रृंखला के साथ [[प्रत्यक्ष तुलना परीक्षण]] द्वारा)। हालाँकि इसे दिखाया जा सकता है<ref>{{Cite web | title=प्राकृतिक सीमा| url=http://mathworld.wolfram.com/NaturalBoundary.html | work=MathWorld | access-date=19 October 2016}}</ref> वह {{math|''A''}} किसी भी बिंदु के लिए अभिसरण नहीं होता है {{math|''z'' ∈ '''C'''}} ऐसा है कि {{math|1=''z''<sup>2<sup>''n''</sup></sup> = 1}} कुछ के लिए {{math|''n''}}. ऐसे के सेट के बाद से {{math|''z''}} इकाई वृत्त में सघन है, इसका कोई विश्लेषणात्मक विस्तार नहीं हो सकता {{math|''A''}} के बाहर {{math|''B''(0,1)}}. जिसके बाद सबसे बड़ा स्टार डोमेन {{math|''A''}} को विश्लेषणात्मक रूप से बढ़ाया जा सकता है {{math|1=''S'' = ''B''(0,1)}} जिससे (दूसरी परिभाषा के माध्यम से) कोई प्राप्त करता है <math> \Pi_A = B(0,1) </math>. विशेष रूप से कोई यह देखता है कि बोरेल बहुभुज बहुभुज नहीं है। | ||
===एक ताउबेरियन प्रमेय=== | ===एक ताउबेरियन प्रमेय=== | ||
एबेलियन और टबेरियन प्रमेय | एबेलियन और टबेरियन प्रमेय टबेरियन प्रमेय ऐसी स्थितियाँ प्रदान करते हैं जिनके तहत एक योग विधि का अभिसरण किसी अन्य विधि के तहत अभिसरण का तात्पर्य है। प्रमुख टूबेरियन प्रमेय<ref name="Hardy1992" />बोरेल योग के लिए ऐसी स्थितियाँ प्रदान की जाती हैं जिनके तहत अशक्त बोरेल विधि श्रृंखला के अभिसरण का तात्पर्य करती है। | ||
:प्रमेय {{harv| | :प्रमेय {{harv|हार्डी|1992|loc=9.13}}. अगर {{math|''A''}} है {{math|('''wB''')}} संक्षेपण योग्य {{math|''z''<sub>0</sub> ∈ '''C'''}}, <math>{\textstyle \sum}a_kz_0^k = a(z_0) \, (\boldsymbol{wB}) </math>, और | ||
:: <math> a_kz_0^k = O(k^{-1/2}), \qquad \forall k \geq 0, </math> | :: <math> a_kz_0^k = O(k^{-1/2}), \qquad \forall k \geq 0, </math> | ||
Line 211: | Line 197: | ||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
क्वांटम क्षेत्र सिद्धांत में विक्षोभ विस्तार में बोरेल योग का उपयोग होता है। विशेष रूप से 2-आयामी यूक्लिडियन क्षेत्र सिद्धांत में श्विंगर फ़ंक्शंस को प्रायः बोरेल योग (ग्लिम और जाफ़ 1987, पृष्ठ 461) का उपयोग करके उनकी गड़बड़ी श्रृंखला से पुनर्प्राप्त किया जा सकता है। बोरेल ट्रांसफॉर्म की कुछ विलक्षणताएं क्वांटम क्षेत्र सिद्धांत (वेनबर्ग 2005, 20.7) में इंस्टेंटन और रेनॉल्मन्स से संबंधित हैं। | |||
==सामान्यीकरण== | ==सामान्यीकरण== | ||
बोरेल योग के लिए आवश्यक है कि गुणांक बहुत तेजी से न बढ़ें: अधिक सटीक रूप से, {{math|''a''<sub>''n''</sub>}} | बोरेल योग के लिए आवश्यक है कि गुणांक बहुत तेजी से न बढ़ें: अधिक सटीक रूप से, कुछ {{math|''C''}} के लिए {{math|''a''<sub>''n''</sub>}} को {{math|''n''!''C''<sup>''n''+1</sup>}} से घिरा होना चाहिए। बोरेल योग की एक भिन्नता है जो फैक्टोरियल {{math|''n''!}} को प्रतिस्थापित करती है! {{math|(''kn'')!}} के साथ! कुछ धनात्मक पूर्णांक {{math|''k''}} के लिए, जो कुछ {{math|''C''}} के लिए {{math|(''kn'')!''C''<sup>''n''+1</sup>}} {{math|''a''<sub>''n''</sub>}} से घिरी हुई कुछ श्रृंखलाओं के योग की अनुमति देता है। यह सामान्यीकरण मिट्टाग-लेफ़लर योग द्वारा दिया गया है। | ||
सबसे सामान्य | सबसे सामान्य स्थिति में, बोरेल योग को नचबिन पुनर्मूल्यांकन द्वारा सामान्यीकृत किया जाता है, जिसका उपयोग तब किया जा सकता है जब बाउंडिंग फ़ंक्शन घातांक प्रकार के के स्थान पर कुछ सामान्य प्रकार (पीएसआई-प्रकार) का होता है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Line 248: | Line 234: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 06/12/2023]] | [[Category:Created On 06/12/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 22:25, 18 December 2023
गणित में, बोरेल योग अपसारी श्रृंखला के लिए एक योग विधि है, जिसे एमिल बोरेल (1899) द्वारा प्रस्तुत किया गया है। यह विशेष रूप से अपसारी स्पर्शोन्मुख श्रृंखला के योग के लिए उपयोगी है, और कुछ अर्थों में ऐसी श्रृंखला के लिए सर्वोत्तम संभव योग देता है। इस विधि के कई रूप हैं जिन्हें बोरेल योग भी कहा जाता है, और इसके सामान्यीकरण को मिट्टाग-लेफ़लर योग भी कहा जाता है।
परिभाषा
बोरेल योगन कहलाने वाली (कम से कम) तीन अलग-अलग विधियाँ हैं। वे इस बात में भिन्न हैं कि वे किस श्रृंखला का योग कर सकते हैं, लेकिन सुसंगत हैं, जिसका अर्थ है कि यदि दो तरीकों से एक ही श्रृंखला का योग किया जाता है तो वे एक ही उत्तर देते हैं।
मान लीजिए कि A(z) एक औपचारिक घात श्रृंखला को दर्शाता है
और A के बोरेल रूपांतरण को इसकी समकक्ष घातांकीय श्रृंखला के रूप में परिभाषित करें
बोरेल की घातांकीय योग विधि
मान लीजिए An(z) आंशिक योग को निरूपित करता है
बोरेल की योग विधि का एक अशक्त रूप बोरेल योग A को परिभाषित करता है
यदि यह z ∈ C पर किसी फ़ंक्शन a(z) पर अभिसरण करता है, तो हम कहते हैं कि A का अशक्त बोरेल योग z पर अभिसरण करता है, और लिखते हैं,
बोरेल की अभिन्न योग विधि
मान लीजिए कि बोरेल रूपांतरण सभी धनात्मक वास्तविक संख्याओं के लिए एक ऐसे फ़ंक्शन में परिवर्तित हो जाता है जो काफी धीमी गति से बढ़ रहा है ताकि निम्नलिखित अभिन्न अंग अच्छी तरह से परिभाषित हो (एक अनुचित अभिन्न अंग के रूप में), A का बोरेल योग इस प्रकार दिया गया है
यदि इंटीग्रल z ∈ C से कुछ a(z) पर अभिसरण होता है, तो हम कहते हैं कि A का बोरेल योग z पर अभिसरण होता है, और लिखते हैं।
विश्लेषणात्मक निरंतरता के साथ बोरेल की अभिन्न योग विधि
यह बोरेल की अभिन्न योग विधि के समान है, सिवाय इसके कि बोरेल परिवर्तन को सभी t के लिए अभिसरण की आवश्यकता नहीं है, लेकिन 0 के पास t के एक विश्लेषणात्मक कार्य में परिवर्तित हो जाता है जिसे धनात्मक वास्तविक अक्ष के साथ विश्लेषणात्मक रूप से जारी रखा जा सकता है।
बुनियादी गुण
नियमितता
विधियाँ (B) और (wB) दोनों नियमित योग विधियाँ हैं, जिसका अर्थ है कि जब भी A(z) अभिसरण (मानक अर्थ में) होता है, तो बोरेल योग और अशक्त बोरेल योग भी अभिसरण करते हैं, और समान मूल्य पर ऐसा करते हैं। अर्थात
एकीकरण के क्रम में बदलाव से (B) की नियमितता आसानी से देखी जा सकती है, जो पूर्ण अभिसरण के कारण मान्य है: यदि A(z) z पर अभिसरण है, तो
जहां सबसे दाईं ओर की अभिव्यक्ति बिल्कुल z पर बोरेल योग है।
(B) और (wB) की नियमितता का मतलब है कि ये विधियां A(z) को विश्लेषणात्मक विस्तार प्रदान करती हैं।
बोरेल की कोई समानता नहीं और अशक्त बोरेल योग
कोई भी श्रृंखला A(z) जो z ∈ C पर अशक्त बोरेल योग योग्य है, वह भी z पर योग योग्य बोरेल है। हालाँकि, कोई उन श्रृंखलाओं के उदाहरण बना सकता है जो अशक्त बोरेल योग के तहत भिन्न हैं, लेकिन जो बोरेल योग योग्य हैं। निम्नलिखित प्रमेय दो विधियों की तुल्यता की विशेषता बताता है।
- प्रमेय ((हार्डी 1992, 8.5) ).
- मान लें कि A(z) एक औपचारिक शक्ति श्रृंखला है, और z ∈ C को ठीक करें, तो:
- अगर , तब .
- अगर , और तब .
अन्य योग विधियों से संबंध
- (B) α = 1 के साथ मिट्टी-लैफलर सारांश की विशेष स्थिति है।
- (wB) को सामान्यीकृत यूलर योग विधि (E,q) के सीमित स्थिति के रूप में देखा जा सकता है, इस अर्थ में कि q → ∞ के रूप में (E,q) विधि के अभिसरण का डोमेन (B) के लिए अभिसरण के डोमेन तक परिवर्तित हो जाता है। )[1]
अद्वितीयता प्रमेय
किसी भी असममित विस्तार के साथ हमेशा कई अलग-अलग कार्य होते हैं। हालाँकि, कभी-कभी एक सर्वोत्तम संभव कार्य होता है, इस अर्थ में कि परिमित-आयामी सन्निकटन में त्रुटियाँ किसी क्षेत्र में यथासंभव छोटी होती हैं। वॉटसन के प्रमेय और कार्लमैन के प्रमेय से पता चलता है कि बोरेल योग श्रृंखला का सबसे अच्छा संभव योग उत्पन्न करता है।
वाटसन का प्रमेय
वॉटसन का प्रमेय किसी फ़ंक्शन के लिए इसकी एसिम्प्टोटिक श्रृंखला का बोरेल योग होने की शर्तें देता है। मान लीजिए कि f एक फ़ंक्शन है जो निम्नलिखित शर्तों को पूरा करता है:
- f कुछ क्षेत्र |z| < R, |arg(z)| < π/2 + ε कुछ धनात्मक के लिए R और ε में होलोमोर्फिक है
- इस क्षेत्र में f में एक स्पर्शोन्मुख श्रृंखला a0 + a1z + ... है गुण के साथ कि त्रुटि
- से घिरा हुआ है
सभी के लिए z क्षेत्र में (कुछ धनात्मक स्थिरांक के लिए C).
तब वॉटसन का प्रमेय कहता है कि इस क्षेत्र में f इसकी असिम्प्टोटिक श्रृंखला के बोरेल योग द्वारा दिया गया है। अधिक सटीक रूप से, बोरेल परिवर्तन की श्रृंखला मूल के पड़ोस में परिवर्तित होती है, और विश्लेषणात्मक रूप से धनात्मक वास्तविक अक्ष पर जारी रखी जा सकती है, और बोरेल योग को परिभाषित करने वाला अभिन्न अंग उपरोक्त क्षेत्र में z के लिए f(z) में परिवर्तित हो जाता है।
कार्लमैन का प्रमेय
कार्लमैन के प्रमेय से पता चलता है कि एक फ़ंक्शन विशिष्ट रूप से एक सेक्टर में एक एसिम्प्टोटिक श्रृंखला द्वारा निर्धारित किया जाता है, बशर्ते कि परिमित क्रम सन्निकटन में त्रुटियां बहुत तेज़ी से न बढ़ें। अधिक सटीक रूप से यह बताता है कि यदि f सेक्टर के इंटीरियर में विश्लेषणात्मक है |z| < C, Re(z) > 0 और |f(z)| < |bnz|n इस क्षेत्र में सभी n के लिए, तो f शून्य है, बशर्ते कि श्रृंखला 1/b0 + 1/b1 + ...अलग हो जाता है।
कार्लेमैन का प्रमेय किसी भी एसिम्प्टोटिक श्रृंखला के लिए एक योग विधि प्रदान करता है, जिसके पद बहुत तेजी से नहीं बढ़ते हैं, क्योंकि योग को एक उपयुक्त क्षेत्र में इस एसिम्प्टोटिक श्रृंखला के साथ अद्वितीय फ़ंक्शन के रूप में परिभाषित किया जा सकता है यदि यह उपस्थित है। बोरेल योग इस विशेष स्थिति की तुलना में थोड़ा अशक्त है जब कुछ स्थिरांक c के लिए bn =cn होता है। सामान्यतः कोई bn को थोड़ा बड़ा मानकर संक्षेपण विधियों को बोरेल की तुलना में थोड़ा अधिक मजबूत परिभाषित कर सकता है, उदाहरण के लिए bn = cnlog n या bn =cnlog n log log n। व्यवहार में इस सामान्यीकरण का बहुत कम उपयोग होता है, क्योंकि इस विधि द्वारा सारांशित करने योग्य श्रृंखला के लगभग कोई प्राकृतिक उदाहरण नहीं हैं जिन्हें बोरेल की विधि द्वारा भी संक्षेपित नहीं किया जा सकता है।
उदाहरण
फ़ंक्शन f(z) = exp(–1/z) में एसिम्प्टोटिक श्रृंखला 0 + 0z + ... है, जो क्षेत्र |arg(z)| < θ किसी भी θ < π/2 के लिए < θ, लेकिन इसकी एसिम्प्टोटिक श्रृंखला के बोरेल योग द्वारा नहीं दिया गया है। इससे पता चलता है कि वॉटसन के प्रमेय में संख्या π/2 को किसी भी छोटी संख्या से प्रतिस्थापित नहीं किया जा सकता है (जब तक कि त्रुटि पर सीमा छोटी न की जाए)।
उदाहरण
ज्यामितीय श्रृंखला
ज्यामितीय श्रृंखला पर विचार करें
जो (मानक अर्थ में) अभिसरण करता है 1/(1 − z) के लिए |z| < 1. बोरेल परिवर्तन है
जिससे हमें बोरेल योग प्राप्त होता है
जो बड़े क्षेत्र में एकत्रित होता है Re(z) < 1, मूल श्रृंखला की विश्लेषणात्मक निरंतरता दे रहा है।
इसके के स्थान पर अशक्त बोरेल परिवर्तन को ध्यान में रखते हुए, आंशिक रकम दी गई है AN(z) = (1 − zN+1)/(1 − z), और इसलिए अशक्त बोरेल योग है
जहां, फिर से, अभिसरण चालू है Re(z) < 1. वैकल्पिक रूप से इसे तुल्यता प्रमेय के भाग 2 की अपील करके देखा जा सकता है, क्योंकि Re(z) < 1,
एक वैकल्पिक भाज्य श्रृंखला
श्रृंखला पर विचार करें
तब A(z) किसी भी गैरशून्य के लिए अभिसरण नहीं होता है z ∈ C. बोरेल परिवर्तन है
के लिए |t| < 1, जिसे विश्लेषणात्मक रूप से सभी के लिए जारी रखा जा सकता है t ≥ 0. तो बोरेल योग है
(जहाँ Γ अधूरा गामा फ़ंक्शन है)।
यह समाकलन सभी z ≥ 0 के लिए अभिसरण करता है, इसलिए मूल अपसारी श्रृंखला ऐसे सभी z के लिए बोरेल योग योग्य है। इस फ़ंक्शन में एक स्पर्शोन्मुख विस्तार होता है क्योंकि z 0 की ओर प्रवृत्त होता है जो कि मूल अपसारी श्रृंखला द्वारा दिया गया है। यह इस तथ्य का एक विशिष्ट उदाहरण है कि बोरेल योग कभी-कभी "सही ढंग से" भिन्न स्पर्शोन्मुख विस्तार का योग करेगा।
फिर से, तब से
सभी के लिए z, तुल्यता प्रमेय यह सुनिश्चित करता है कि अशक्त बोरेल योग में अभिसरण का समान डोमेन है, z ≥ 0.
एक उदाहरण जिसमें तुल्यता विफल हो जाती है
निम्नलिखित उदाहरण उसमें दिए गए उदाहरण पर आधारित है (हार्डी 1992, 8.5) . विचार करना
योग के क्रम को बदलने के बाद, बोरेल परिवर्तन द्वारा दिया जाता है
पर z = 2 बोरेल योग द्वारा दिया जाता है
जहाँ S(x) फ़्रेज़नेल इंटीग्रल है। जीवाओं के साथ अभिसरण प्रमेय के माध्यम से, बोरेल इंटीग्रल सभी z ≤ 2 के लिए अभिसरण करता है (z > 2 के लिए इंटीग्रल विचलन करता है)।
अशक्त बोरेल योग के लिए हम इसे नोट करते हैं
केवल z < 1के लिए है, और इसलिए अशक्त बोरेल योग इस छोटे डोमेन पर एकत्रित होता है।
अस्तित्व परिणाम और अभिसरण का क्षेत्र
कोर्ड्स पर योग्यता
यदि एक औपचारिक श्रृंखला A(z) बोरेल संक्षेपण योग्य है z0 ∈ C, तो यह कॉर्ड के सभी बिंदुओं पर बोरेल योग्य भी है Oz0 कनेक्ट करना z0 मूल की ओर. इसके अतिरिक्त, एक फ़ंक्शन उपस्थित है a(z) त्रिज्या के साथ संपूर्ण डिस्क का विश्लेषणात्मक Oz0 ऐसा है कि
सभी के लिए z = θz0, θ ∈ [0,1].
इसका तात्कालिक परिणाम यह है कि बोरेल योग के अभिसरण का क्षेत्र एक स्टार डोमेन है C. बोरेल योग के अभिसरण के क्षेत्र के बारे में इससे अधिक कहा जा सकता है कि यह एक सितारा डोमेन है, जिसे बोरेल बहुभुज के रूप में जाना जाता है, और श्रृंखला की विलक्षणताओं द्वारा निर्धारित किया जाता है A(z).
बोरेल बहुभुज
लगता है कि A(z) में अभिसरण की सख्ती से धनात्मक त्रिज्या है, ताकि यह मूल वाले गैर-तुच्छ क्षेत्र में विश्लेषणात्मक हो, और चलो SA की विलक्षणताओं के समुच्चय को निरूपित करें A. इस का मतलब है कि P ∈ SA अगर और केवल अगर A को 0 से लेकर ओपन कॉर्ड के साथ विश्लेषणात्मक रूप से जारी रखा जा सकता है P, लेकिन नहीं P अपने आप। के लिए P ∈ SA, मान लीजिए LP गुजरने वाली रेखा को निरूपित करें P जो जीवा के लंबवत है OP. सेट को परिभाषित करें
बिंदुओं का वह समूह जो एक ही तरफ स्थित है LP मूल के रूप में. का बोरेल बहुभुज A सेट है
बोरेल और फ्राग्मेन द्वारा एक वैकल्पिक परिभाषा का उपयोग किया गया था (Sansone & Gerretsen 1960, 8.3). मान लीजिए सबसे बड़े स्टार डोमेन को निरूपित करें जिस पर विश्लेषणात्मक विस्तार है A, तब का सबसे बड़ा उपसमूह है ऐसा कि सभी के लिए ओपी व्यास वाले वृत्त का आंतरिक भाग समाहित है . सेट का जिक्र करते हुए चूँकि बहुभुज कुछ हद तक एक मिथ्या नाम है, चूँकि समुच्चय का बहुभुज होना आवश्यक नहीं है; जो कुछ भी हो, A(z) में तब केवल सीमित संख्या में विलक्षणताएँ होती हैं वास्तव में एक बहुभुज होगा.
निम्नलिखित प्रमेय, बोरेल और लार्स एडवर्ड फ्रैग्मेन के कारण | फ्रैग्मेन बोरेल योग के लिए अभिसरण मानदंड प्रदान करता है।
- प्रमेय (Hardy 1992, 8.8).
- श्रृंखला A(z) है (B) बिल्कुल संक्षेपणीय , और है (B) बिल्कुल भिन्न .
ध्यान दें कि (B) के लिए संक्षेपण बिंदु की प्रकृति पर निर्भर करता है.
उदाहरण 1
मान लीजिए ωi ∈ C निरूपित करें m-एकता की जड़ें, i = 1, ..., m, और विचार करें
जो एकत्रित हो जाता है B(0,1) ⊂ C. पर एक समारोह के रूप में देखा गया C, A(z) में विलक्षणताएं हैं SA = {ωi : i = 1, ..., m}, और परिणामस्वरूप बोरेल बहुभुज नियमित नियमित बहुभुज द्वारा दिया गया है|m-गॉन मूल पर केंद्रित है, और ऐसा है 1 ∈ C एक किनारे का मध्यबिंदु है।
उदाहरण 2
औपचारिक शृंखला
सभी के लिए अभिसरण (उदाहरण के लिए, ज्यामितीय श्रृंखला के साथ प्रत्यक्ष तुलना परीक्षण द्वारा)। हालाँकि इसे दिखाया जा सकता है[2] वह A किसी भी बिंदु के लिए अभिसरण नहीं होता है z ∈ C ऐसा है कि z2n = 1 कुछ के लिए n. ऐसे के सेट के बाद से z इकाई वृत्त में सघन है, इसका कोई विश्लेषणात्मक विस्तार नहीं हो सकता A के बाहर B(0,1). जिसके बाद सबसे बड़ा स्टार डोमेन A को विश्लेषणात्मक रूप से बढ़ाया जा सकता है S = B(0,1) जिससे (दूसरी परिभाषा के माध्यम से) कोई प्राप्त करता है . विशेष रूप से कोई यह देखता है कि बोरेल बहुभुज बहुभुज नहीं है।
एक ताउबेरियन प्रमेय
एबेलियन और टबेरियन प्रमेय टबेरियन प्रमेय ऐसी स्थितियाँ प्रदान करते हैं जिनके तहत एक योग विधि का अभिसरण किसी अन्य विधि के तहत अभिसरण का तात्पर्य है। प्रमुख टूबेरियन प्रमेय[1]बोरेल योग के लिए ऐसी स्थितियाँ प्रदान की जाती हैं जिनके तहत अशक्त बोरेल विधि श्रृंखला के अभिसरण का तात्पर्य करती है।
- प्रमेय (हार्डी 1992, 9.13) . अगर A है (wB) संक्षेपण योग्य z0 ∈ C, , और
- तब , और श्रृंखला सभी के लिए एकत्रित होती है |z| < |z0|.
अनुप्रयोग
क्वांटम क्षेत्र सिद्धांत में विक्षोभ विस्तार में बोरेल योग का उपयोग होता है। विशेष रूप से 2-आयामी यूक्लिडियन क्षेत्र सिद्धांत में श्विंगर फ़ंक्शंस को प्रायः बोरेल योग (ग्लिम और जाफ़ 1987, पृष्ठ 461) का उपयोग करके उनकी गड़बड़ी श्रृंखला से पुनर्प्राप्त किया जा सकता है। बोरेल ट्रांसफॉर्म की कुछ विलक्षणताएं क्वांटम क्षेत्र सिद्धांत (वेनबर्ग 2005, 20.7) में इंस्टेंटन और रेनॉल्मन्स से संबंधित हैं।
सामान्यीकरण
बोरेल योग के लिए आवश्यक है कि गुणांक बहुत तेजी से न बढ़ें: अधिक सटीक रूप से, कुछ C के लिए an को n!Cn+1 से घिरा होना चाहिए। बोरेल योग की एक भिन्नता है जो फैक्टोरियल n! को प्रतिस्थापित करती है! (kn)! के साथ! कुछ धनात्मक पूर्णांक k के लिए, जो कुछ C के लिए (kn)!Cn+1 an से घिरी हुई कुछ श्रृंखलाओं के योग की अनुमति देता है। यह सामान्यीकरण मिट्टाग-लेफ़लर योग द्वारा दिया गया है।
सबसे सामान्य स्थिति में, बोरेल योग को नचबिन पुनर्मूल्यांकन द्वारा सामान्यीकृत किया जाता है, जिसका उपयोग तब किया जा सकता है जब बाउंडिंग फ़ंक्शन घातांक प्रकार के के स्थान पर कुछ सामान्य प्रकार (पीएसआई-प्रकार) का होता है।
यह भी देखें
- हाबिल योग
- हाबिल का प्रमेय
- हाबिल-सादा सूत्र
- यूलर योग
- सीज़र का सारांश
- लैंबर्ट सारांश
- नचबिन सारांश
- एबेलियन और टूबेरियन प्रमेय
- वैन विजनगार्डन परिवर्तन
टिप्पणियाँ
- ↑ 1.0 1.1 Hardy, G. H. (1992). Divergent Series. AMS Chelsea, Rhode Island.
- ↑ "प्राकृतिक सीमा". MathWorld. Retrieved 19 October 2016.
संदर्भ
- Borel, E. (1899), "Mémoire sur les séries divergentes", Ann. Sci. Éc. Norm. Supér., Series 3, 16: 9–131, doi:10.24033/asens.463
- Glimm, James; Jaffe, Arthur (1987), Quantum physics (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-4728-9, ISBN 978-0-387-96476-8, MR 0887102
- Hardy, Godfrey Harold (1992) [1949], Divergent Series, New York: Chelsea, ISBN 978-0-8218-2649-2, MR 0030620
- Reed, Michael; Simon, Barry (1978), Methods of modern mathematical physics. IV. Analysis of operators, New York: Academic Press [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-585004-9, MR 0493421
- Sansone, Giovanni; Gerretsen, Johan (1960), Lectures on the theory of functions of a complex variable. I. Holomorphic functions, P. Noordhoff, Groningen, MR 0113988
- Weinberg, Steven (2005), The quantum theory of fields., vol. II, Cambridge University Press, ISBN 978-0-521-55002-4, MR 2148467
- Zakharov, A. A. (2001) [1994], "Borel summation method", Encyclopedia of Mathematics, EMS Press