गैर-विश्लेषणात्मक सुचारू कार्य: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical functions which are smooth but not analytic}} गणित में, सुचारू कार्य (जिसे असीम रूप...")
 
No edit summary
Line 1: Line 1:
{{Short description|Mathematical functions which are smooth but not analytic}}
{{Short description|Mathematical functions which are smooth but not analytic}}
गणित में, सुचारू कार्य (जिसे असीम रूप से भिन्न कार्य कार्य भी कहा जाता है) और [[विश्लेषणात्मक कार्य]] दो बहुत महत्वपूर्ण प्रकार के कार्य (गणित) हैं। कोई आसानी से साबित कर सकता है कि [[वास्तविक संख्या]] तर्क का कोई भी विश्लेषणात्मक कार्य सुचारू है। [[बातचीत (तर्क)]] सत्य नहीं है, जैसा कि नीचे दिए गए [[प्रति उदाहरण]] के साथ दिखाया गया है।
गणित में, समतल फलन (जिसे अधिकतम सीमा तक अवकलन फलन भी कहा जाता है) और विश्लेषणात्मक फलन दो बहुत महत्वपूर्ण प्रकार के फलन (गणित) होते हैं। कोई आसानी से प्रमाणित कर सकता है कि वास्तविक तर्क का कोई भी विश्लेषणात्मक फलन समतल है। इसका उत्क्रम सत्य नहीं है, जैसा कि नीचे दिए गए प्रति-उदाहरण के साथ प्रदर्शित किया गया है।


[[कॉम्पैक्ट समर्थन]] के साथ सुचारू कार्यों के सबसे महत्वपूर्ण अनुप्रयोगों में से एक तथाकथित [[शमन करनेवाला]] का निर्माण है, जो सामान्यीकृत कार्यों के सिद्धांतों में महत्वपूर्ण हैं, जैसे कि [[लॉरेंट श्वार्ट्ज]] के वितरण का सिद्धांत (गणित)
[[कॉम्पैक्ट समर्थन|सुसंहति समर्थन]] के साथ समतल फलनों के सबसे महत्वपूर्ण अनुप्रयोगों में से एक तथाकथित मोलिफायर का निर्माण है, जो सामान्यीकृत फलनों के सिद्धांतों में महत्वपूर्ण हैं, जैसे कि [[लॉरेंट श्वार्ट्ज]] के बंटन का सिद्धांत (गणित) होता है।


सुचारू लेकिन गैर-विश्लेषणात्मक कार्यों का अस्तित्व [[अंतर ज्यामिति]] और [[जटिल कई गुना]] के बीच मुख्य अंतरों में से एक का प्रतिनिधित्व करता है। [[शीफ सिद्धांत]] के संदर्भ में, इस अंतर को निम्नानुसार कहा जा सकता है: विश्लेषणात्मक मामले के विपरीत, अलग-अलग मैनिफोल्ड पर अलग-अलग कार्यों का शीफ ​​ठीक शीफ है।
समतल लेकिन गैर-विश्लेषणात्मक फलनों का अस्तित्व [[अंतर ज्यामिति|अवकल ज्यामिति]] विश्लेषणात्मक ज्यामिति के बीच मुख्य अंतरों में से एक का प्रतिनिधित्व करता है। [[शीफ सिद्धांत]] के संदर्भ में, इस अंतर को निम्नानुसार कहा जा सकता है: विश्लेषणात्मक स्थितियों के विपरीत, अवकलनीय प्रसमष्टि पर अवकलनीय फलनों का शीफ ​​परिशुद्ध है।


नीचे दिए गए कार्य आम तौर पर अलग-अलग मैनिफोल्ड पर एकता के विभाजन को बनाने के लिए उपयोग किए जाते हैं।
नीचे दिए गए फलन सामान्य रूप से अवकलनीय प्रसमष्टि पर समानता के विभाजन को बनाने के लिए उपयोग किए जाते हैं।


== एक उदाहरण समारोह ==
== एक उदाहरण फलन ==


=== समारोह की परिभाषा ===
=== फलन की परिभाषा ===
[[Image:Non-analytic smooth function.png|right|frame|लेख में माना गया गैर-विश्लेषणात्मक सुचारू कार्य f(x)।]]समारोह पर विचार करें
[[Image:Non-analytic smooth function.png|right|frame|लेख में माना गया गैर-विश्लेषणात्मक समतल फलन f(x)।]]फलन पर विचार करें


:<math>f(x)=\begin{cases}e^{-\frac{1}{x}}&\text{if }x>0,\\ 0&\text{if }x\le0,\end{cases}</math>
:<math>f(x)=\begin{cases}e^{-\frac{1}{x}}&\text{if }x>0,\\ 0&\text{if }x\le0,\end{cases}</math>
प्रत्येक वास्तविक संख्या x के लिए परिभाषित।
प्रत्येक वास्तविक संख्या x के लिए परिभाषित है।


=== कार्य सुचारू है ===
=== फलन समतल है ===


फ़ंक्शन f में [[वास्तविक रेखा]] के प्रत्येक बिंदु x पर सभी ऑर्डर के निरंतर फ़ंक्शन [[ यौगिक ]] हैं। इन डेरिवेटिव का सूत्र है
फलन f में [[वास्तविक रेखा]] के प्रत्येक बिंदु x पर सभी फलन के सतत फलन [[ यौगिक |अवकल]] हैं। इन अवकलों का सूत्र है


:<math>f^{(n)}(x) = \begin{cases}\displaystyle\frac{p_n(x)}{x^{2n}}\,f(x) & \text{if }x>0, \\ 0 &\text{if }x \le 0,\end{cases}</math>
:<math>f^{(n)}(x) = \begin{cases}\displaystyle\frac{p_n(x)}{x^{2n}}\,f(x) & \text{if }x>0, \\ 0 &\text{if }x \le 0,\end{cases}</math>
जहां <sub>n</sub>(x) एक [[बहुपद]] n − 1 की डिग्री का एक बहुपद है जिसे p द्वारा पुनरावर्तन दिया गया है<sub>1</sub>(एक्स) = 1 और
जहां ''p<sub>n</sub>''(''x'') एक [[बहुपद]] n − 1 की घात का एक बहुपद है जिसे ''p''<sub>1</sub>(''x'') = 1 द्वारा पुनरावर्तन दिया गया है और


:<math>p_{n+1}(x)=x^2p_n'(x)-(2nx-1)p_n(x)</math>
:<math>p_{n+1}(x)=x^2p_n'(x)-(2nx-1)p_n(x)</math>
किसी भी धनात्मक [[पूर्णांक]] n के लिए। इस सूत्र से, यह पूरी तरह से स्पष्ट नहीं है कि डेरिवेटिव 0 पर निरंतर हैं; यह [[एक तरफा सीमा]] से अनुसरण करता है
किसी भी धनात्मक [[पूर्णांक]] n के लिए इस सूत्र से, यह पूरी तरह से स्पष्ट नहीं है कि अवकल 0 पर सतत हैं; यह [[एक तरफा सीमा|एकपक्षीय लिमिट]] से अनुसरण करता है


:<math>\lim_{x\searrow 0} \frac{e^{-\frac{1}{x}}}{x^m} = 0</math>
:<math>\lim_{x\searrow 0} \frac{e^{-\frac{1}{x}}}{x^m} = 0</math>
किसी भी गैर-नकारात्मक पूर्णांक एम के लिए।
किसी भी गैर-ऋणात्मक पूर्णांक m के लिए होता है।


{{Collapse top|title=Detailed proof of smoothness}}
{{Collapse top|title=समतलता का विस्तृत प्रमाण}}


घातीय फलन#औपचारिक परिभाषा द्वारा, हमारे पास प्रत्येक [[प्राकृतिक संख्या]] के लिए है <math>m</math> (शून्य सहित)
घातीय फलन के घात श्रेणी निरूपण से, हमारे पास प्रत्येक प्राकृत संख्या <math>m</math> (शून्य सहित) के लिए है


:<math>\frac1{x^m}=x\Bigl(\frac1{x}\Bigr)^{m+1}\le (m+1)!\,x\sum_{n=0}^\infty\frac1{n!}\Bigl(\frac1x\Bigr)^n
:<math>\frac1{x^m}=x\Bigl(\frac1{x}\Bigr)^{m+1}\le (m+1)!\,x\sum_{n=0}^\infty\frac1{n!}\Bigl(\frac1x\Bigr)^n
=(m+1)!\,x e^{\frac{1}{x}},\qquad x>0,</math>
=(m+1)!\,x e^{\frac{1}{x}},\qquad x>0,</math>
क्योंकि सभी सकारात्मक शर्तों के लिए <math>n \neq m+1</math> जुड़ गए है। इसलिए, इस असमानता को विभाजित करके <math>e^{\frac{1}{x}}</math> और एकतरफा सीमा लेते हुए,
क्योंकि <math>n \neq m+1</math> के लिए सभी धनात्मक पद जोड़े गए हैं। इसलिए, इस असमानता को <math>e^{\frac{1}{x}}</math> से विभाजित करके ऊपर से लिमिट लेकर,


:<math>\lim_{x\searrow0}\frac{e^{-\frac{1}{x}}}{x^m}
:<math>\lim_{x\searrow0}\frac{e^{-\frac{1}{x}}}{x^m}
\le (m+1)!\lim_{x\searrow0}x=0.</math>
\le (m+1)!\lim_{x\searrow0}x=0.</math>
अब हम गणितीय आगमन द्वारा f के nवें अवकलज के सूत्र को सिद्ध करते हैं। [[श्रृंखला नियम]], [[पारस्परिक नियम]], और इस तथ्य का उपयोग करते हुए कि घातीय फलन का व्युत्पन्न फिर से घातीय फलन है, हम देखते हैं कि सूत्र सभी x > 0 के लिए f के पहले व्युत्पन्न के लिए सही है और वह p<sub>1</sub>(x) डिग्री 0 का एक बहुपद है। बेशक, f का व्युत्पन्न x < 0 के लिए शून्य है।
अब हम गणितीय प्रेरण द्वारा f के nवें अवकलज के सूत्र को सिद्ध करते हैं। [[श्रृंखला नियम]], [[व्युत्क्रम नियम]], और इस तथ्य का उपयोग करते हुए कि घातीय फलन का व्युत्पन्न फिर से घातीय फलन है, हम देखते हैं कि सूत्र सभी x > 0 के लिए f के पहले अवकल के लिए सही है और वह p<sub>1</sub>(x) घात 0 का एक बहुपद है। तथापि, f का अवकल x < 0 के लिए शून्य है।
यह दिखाना बाकी है कि x = 0 पर f का दाहिना हाथ व्युत्पन्न शून्य है। उपरोक्त सीमा का उपयोग करते हुए, हम देखते हैं
यह दिखाना शेष  है कि x = 0 पर f का दक्षिणावर्ती पथ अवकल शून्य है। उपरोक्त सीमा का उपयोग करते हुए, हम देखते हैं


:<math>f'(0)=\lim_{x\searrow0}\frac{f(x)-f(0)}{x-0}=\lim_{x\searrow0}\frac{e^{-\frac{1}{x}}}{x}=0.</math>
:<math>f'(0)=\lim_{x\searrow0}\frac{f(x)-f(0)}{x-0}=\lim_{x\searrow0}\frac{e^{-\frac{1}{x}}}{x}=0.</math>
n से n + 1 तक का इंडक्शन चरण समान है। x > 0 के लिए हम व्युत्पन्न के लिए प्राप्त करते हैं
n से n + 1 तक का प्रेरण चरण समान है। और  x > 0 के लिए हम अवकल के लिए प्राप्त करते हैं
:<math>\begin{align}f^{(n+1)}(x)
:<math>\begin{align}f^{(n+1)}(x)
&=\biggl(\frac{p'_n(x)}{x^{2n}}-2n\frac{p_n(x)}{x^{2n+1}}+\frac{p_n(x)}{x^{2n+2}}\biggr)f(x)\\
&=\biggl(\frac{p'_n(x)}{x^{2n}}-2n\frac{p_n(x)}{x^{2n+1}}+\frac{p_n(x)}{x^{2n+2}}\biggr)f(x)\\
&=\frac{x^2p'_n(x)-(2nx-1)p_n(x)}{x^{2n+2}}f(x)\\
&=\frac{x^2p'_n(x)-(2nx-1)p_n(x)}{x^{2n+2}}f(x)\\
&=\frac{p_{n+1}(x)}{x^{2(n+1)}}f(x),\end{align}</math>
&=\frac{p_{n+1}(x)}{x^{2(n+1)}}f(x),\end{align}</math>
जहां <sub>''n''+1</sub>(x) घात n = (n + 1) − 1 का एक बहुपद है। बेशक, f का (n + 1)वां अवकलज x < 0 के लिए शून्य है। f के दाएं हाथ के अवकलज के लिए<sup>(n)</sup> x = 0 पर हम उपरोक्त सीमा के साथ प्राप्त करते हैं
जहां p<sub>''n''+1</sub>(x) घात n = (n + 1) − 1 का एक बहुपद है। परंतु, f का (n + 1)वां अवकलज x < 0 के लिए शून्य है। f के दक्षिण पथ के अवकलज के लिए<sup>(n)</sup> x = 0 पर हम उपरोक्त सीमा के साथ प्राप्त करते हैं


:<math>\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.</math>
:<math>\lim_{x\searrow0} \frac{f^{(n)}(x) - f^{(n)}(0)}{x-0} = \lim_{x\searrow0} \frac{p_n(x)}{x^{2n+1}}\,e^{-1/x} = 0.</math>
{{Collapse bottom}}
{{Collapse bottom}}


=== फ़ंक्शन विश्लेषणात्मक नहीं है ===
=== फलन विश्लेषणात्मक नहीं है ===
जैसा कि पहले देखा गया है, फ़ंक्शन f सुचारू है, और मूल (गणित) पर इसके सभी डेरिवेटिव 0 हैं। इसलिए, उत्पत्ति पर f की [[टेलर श्रृंखला]] हर जगह शून्य फ़ंक्शन में परिवर्तित हो जाती है,
जैसा कि पहले देखा गया है, फलन f समतल है, और मूल (गणित) पर इसके सभी अवकल 0 हैं। इसलिए, उत्पत्ति पर f की [[टेलर श्रृंखला]] प्रत्येक समष्टि शून्य फलन में परिवर्तित हो जाती है,


:<math>\sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!}x^n=\sum_{n=0}^\infty \frac{0}{n!}x^n = 0,\qquad x\in\mathbb{R},</math>
:<math>\sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!}x^n=\sum_{n=0}^\infty \frac{0}{n!}x^n = 0,\qquad x\in\mathbb{R},</math>
और इसलिए टेलर श्रृंखला x > 0 के लिए f(x) के बराबर नहीं है। नतीजतन, f मूल बिंदु पर विश्लेषणात्मक कार्य नहीं है।
और इसलिए टेलर श्रृंखला x > 0 के लिए f(x) के बराबर नहीं है। परिणामस्वरूप, f मूल बिंदु पर विश्लेषणात्मक फलन नहीं है।


=== सुचारू संक्रमण कार्य ===
=== समतल संक्रमण फलन ===
[[Image:Smooth transition from 0 to 1.png|right|frame|यहाँ परिभाषित 0 से 1 तक का सुगम संक्रमण g।]]कार्यक्रम
[[Image:Smooth transition from 0 to 1.png|right|frame|यहाँ परिभाषित 0 से 1 तक का समतल संक्रमण g है।]]फलन


:<math>g(x)=\frac{f(x)}{f(x)+f(1-x)},\qquad x\in\mathbb{R},</math>
:<math>g(x)=\frac{f(x)}{f(x)+f(1-x)},\qquad x\in\mathbb{R},</math>
वास्तविक रेखा पर हर जगह सख्ती से सकारात्मक भाजक होता है, इसलिए जी भी चिकना होता है। इसके अलावा, x ≤ 0 के लिए g(x) = 0 और x ≥ 1 के लिए g(x) = 1, इसलिए यह [[इकाई अंतराल]] में स्तर 0 से स्तर 1 तक एक सहज संक्रमण प्रदान करता है <nowiki>[</nowiki> 0, 1<nowiki>]</nowiki>। a < b के साथ वास्तविक अंतराल <nowiki>[</nowiki>a, b<nowiki>]</nowiki> में सहज संक्रमण के लिए, फ़ंक्शन पर विचार करें
वास्तविक रेखा पर प्रत्येक समष्टि दृढ़ता से धनात्मक भाजक होता है, इसलिए g भी समतल होता है। इसके अतिरिक्त, x ≤ 0 के लिए g(x) = 0 और x ≥ 1 के लिए g(x) = 1 इसलिए यह [[इकाई अंतराल]] <nowiki>[</nowiki> 0, 1] में स्तर 0 से स्तर 1 तक एक सामान्य संक्रमण प्रदान करता है। वास्तविक अंतराल a < b मे <nowiki>[</nowiki>a, b<nowiki>]</nowiki> के साथ सामान्य संक्रमण के लिए, फलन पर विचार करें


:<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr).</math>
:<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr).</math>
वास्तविक संख्या के लिए {{math|''a'' < ''b'' < ''c'' < ''d''}}, सुचारू कार्य
वास्तविक संख्या {{math|''a'' < ''b'' < ''c'' < ''d''}}, समतल फलन के लिए


:<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr)\,g\Bigl(\frac{d-x}{d-c}\Bigr)</math>
:<math>\mathbb{R}\ni x\mapsto g\Bigl(\frac{x-a}{b-a}\Bigr)\,g\Bigl(\frac{d-x}{d-c}\Bigr)</math>
बंद अंतराल <nowiki>[</nowiki>b, c<nowiki>]</nowiki> पर 1 के बराबर होता है और खुले अंतराल (a, d) के बाहर गायब हो जाता है, इसलिए यह एक [[टक्कर समारोह]] के रूप में काम कर सकता है।
संवृत अंतराल <nowiki>[</nowiki>b, c<nowiki>]</nowiki> पर 1 के बराबर होता है और विवृत अंतराल (a, d) के बाहर समाप्त हो जाता है, इसलिए यह एक [[टक्कर समारोह|संघट्टन फलन]] के रूप में काम कर सकता है।


== एक सहज कार्य जो कहीं भी वास्तविक विश्लेषणात्मक == नहीं है
== सामान्य फलन जो कहीं भी वास्तविक विश्लेषणात्मक नहीं है ==
[[File:Smooth non-analytic function.png|thumb|सुचारू-हर जगह, लेकिन कहीं नहीं-विश्लेषणात्मक कार्य का उल्लेख यहाँ किया गया है। यह आंशिक योग k=2 से लिया गया है<sup>0</sup> से 2<sup>500</sup>.|सही]]एक अधिक [[पैथोलॉजिकल (गणित)]] उदाहरण एक असीम रूप से भिन्न कार्य है जो किसी भी बिंदु पर विश्लेषणात्मक नहीं है। इसका निर्माण निम्नानुसार फूरियर श्रृंखला के माध्यम से किया जा सकता है। सभी के लिए परिभाषित करें <math>x \in \mathbb{R}</math>
[[File:Smooth non-analytic function.png|thumb|सुचारू-हर जगह, लेकिन कहीं नहीं-विश्लेषणात्मक कार्य का उल्लेख यहाँ किया गया है। यह आंशिक योग k=2 से लिया गया है<sup>0</sup> से 2<sup>500</sup>.|सही]]अधिक [[पैथोलॉजिकल (गणित)|तर्कहीन (गणित)]] उदाहरण अधिकतम सीमा तक अवकलन फलन है जो किसी भी बिंदु पर विश्लेषणात्मक नहीं है। इसका निर्माण निम्नानुसार फूरियर श्रृंखला के माध्यम से किया जा सकता है। सभी <math>x \in \mathbb{R}</math> के लिए परिभाषित करें
:<math>F(x):=\sum_{k\in \mathbb{N}} e^{-\sqrt{2^k}}\cos(2^k x)\ .</math>
:<math>F(x):=\sum_{k\in \mathbb{N}} e^{-\sqrt{2^k}}\cos(2^k x)\ .</math>
श्रृंखला के बाद से <math>\sum_{k\in \mathbb{N}} e^{-\sqrt{2^k}}{(2^k)}^n</math> सभी के लिए जुट जाता है <math>n \in \mathbb{N}</math>, यह कार्य आसानी से वर्ग सी का देखा जाता है<sup>∞</sup>, डेरिवेटिव की प्रत्येक श्रृंखला के [[एकसमान अभिसरण]] को प्रदर्शित करने के लिए वीयरस्ट्रैस एम-परीक्षण के एक मानक आगमनात्मक अनुप्रयोग द्वारा।
चूंकि श्रृंखला <math>\sum_{k\in \mathbb{N}} e^{-\sqrt{2^k}}{(2^k)}^n</math> अभिसरित होती है सभी <math>n \in \mathbb{N}</math> के लिए, यह फलन अवकलों की प्रत्येक श्रृंखला के एकसमान अभिसरण को प्रदर्शित करने के लिए वीयरस्ट्रैस m-परीक्षण के एक मानक प्रेरण अनुप्रयोग द्वारा आसानी से वर्ग C∞ का देखा जाता है।


अब हम दिखाते हैं <math>F(x)</math> π के किसी भी द्विअर्थी परिमेय गुणज, यानी किसी पर भी विश्लेषणात्मक नहीं है <math>x := \pi \cdot p \cdot 2^{-q}</math> साथ <math>p \in \mathbb{Z}</math> और <math>q \in \mathbb{N}</math>. पहले के योग के बाद से <math>q</math> शर्तें विश्लेषणात्मक हैं, हमें केवल विचार करने की आवश्यकता है <math>F_{>q}(x)</math>, के साथ शर्तों का योग <math>k>q</math>. व्युत्पत्ति के सभी आदेशों के लिए <math>n = 2^m</math> साथ <math>m \in \mathbb{N}</math>, <math>m \geq 2</math> और <math>m > q/2</math> अपने पास
अब हम दिखाते हैं <math>F(x)</math> π के किसी भी द्विअर्थी परिमेय गुणज, अर्थात किसी भी <math>x := \pi \cdot p \cdot 2^{-q}</math> पर <math>p \in \mathbb{Z}</math> और <math>q \in \mathbb{N}</math> भी विश्लेषणात्मक नहीं है। चूँकि पहले <math>q</math> पदों का योग विश्लेषणात्मक है, हमें केवल <math>F_{>q}(x)</math> पर विचार करने की आवश्यकता है और <math>k>q</math> के साथ पदों का योग अवकलों के सभी कर्मों के लिए <math>n = 2^m</math> साथ मे <math>m \in \mathbb{N}</math>, <math>m \geq 2</math> और <math>m > q/2</math> हमे प्राप्त है


:<math>F_{>q}^{(n)}(x):=\sum_{k\in \mathbb{N}\atop k>q} e^{-\sqrt{2^k}} {(2^k)}^n\cos(2^k x)  = \sum_{k\in \mathbb{N}\atop k>q} e^{-\sqrt{2^k}} {(2^k)}^n \ge  e^{-n} n^{2n}\quad  (\mathrm{as}\; n\to \infty)</math>
:<math>F_{>q}^{(n)}(x):=\sum_{k\in \mathbb{N}\atop k>q} e^{-\sqrt{2^k}} {(2^k)}^n\cos(2^k x)  = \sum_{k\in \mathbb{N}\atop k>q} e^{-\sqrt{2^k}} {(2^k)}^n \ge  e^{-n} n^{2n}\quad  (\mathrm{as}\; n\to \infty)</math>
जहां हमने इस तथ्य का उपयोग किया <math>\cos(2^k x) = 1</math> सभी के लिए <math>2^k > 2^q</math>, और हमने पहले योग को नीचे से पद के साथ परिबद्ध किया <math>2^k=2^{2m}=n^2</math>. नतीजतन, ऐसे किसी पर <math>x \in \mathbb{R}</math>
जहां हमने इस तथ्य का उपयोग किया कि <math>\cos(2^k x) = 1</math> सभी <math>2^k > 2^q</math> के लिए और हमने पहले योग को नीचे से पद <math>2^k=2^{2m}=n^2</math> के साथ परिबद्ध किया। परिणामस्वरूप, ऐसे किसी भी <math>x \in \mathbb{R}</math> पर
:<math>\limsup_{n\to\infty} \left(\frac{|F_{>q}^{(n)}(x)|}{n!}\right)^{1/n}=+\infty\, ,</math>
:<math>\limsup_{n\to\infty} \left(\frac{|F_{>q}^{(n)}(x)|}{n!}\right)^{1/n}=+\infty\, ,</math>
ताकि टेलर श्रृंखला के [[अभिसरण की त्रिज्या]]  <math>F_{>q}</math> पर  <math>x</math> कौशी-हैडमार्ड प्रमेय द्वारा 0 है#प्रमेय का कथन|कॉची-हैडमार्ड सूत्र। चूँकि किसी फलन की विश्लेषणात्मकता का समुच्चय एक खुला समुच्चय है, और चूँकि द्विअर्थी परिमेय सघन समुच्चय हैं, हम यह निष्कर्ष निकालते हैं कि <math>F_{>q}</math>, और इसलिए <math>F</math>, कहीं भी विश्लेषणात्मक नहीं है <math>\mathbb{R}</math>.
ताकि कॉची-हैडमार्ड सूत्र द्वारा x पर टेलर श्रृंखला की अभिसरण की त्रिज्या <math>F_{>q}</math> हो। चूंकि किसी फ़ंक्शन की विश्लेषणात्मकता का समुच्चय एक विवृत समुच्चय है, और चूंकि युग्मकीय परिमेय सुसंहत हैं, इसलिए हम निष्कर्ष निकालते हैं कि <math>F_{>q}</math>,, और इसलिए <math>F</math>, <math>\mathbb{R}</math> में कहीं भी विश्लेषणात्मक नहीं है।


== टेलर श्रृंखला के लिए आवेदन ==
== टेलर श्रृंखला के लिए अनुप्रयोग ==
<!--The article on Taylor series links to this section-->
{{main|Borel's lemma}}
हर क्रम के लिए α<sub>0</sub>, ए<sub>1</sub>, ए<sub>2</sub>, . . . वास्तविक या जटिल संख्याओं के लिए, निम्नलिखित निर्माण वास्तविक रेखा पर एक चिकने फलन F के अस्तित्व को दर्शाता है, जिसके मूल में ये संख्याएँ डेरिवेटिव के रूप में हैं।<ref>Exercise 12 on page 418 in [[Walter Rudin]], ''Real and Complex Analysis''. McGraw-Hill, New Delhi 1980, {{isbn|0-07-099557-5}}</ref> विशेष रूप से, संख्याओं का प्रत्येक क्रम टेलर श्रृंखला के सुचारू कार्य के गुणांक के रूप में प्रकट हो सकता है। एमिल बोरेल के बाद इस परिणाम को बोरेल लेम्मा के रूप में जाना जाता है।


ऊपर के रूप में सुचारु संक्रमण समारोह जी के साथ, परिभाषित करें
{{main|बोरेल लेम्मा}}
 
हर क्रम के लिए α0, α1, α2, . . . वास्तविक या सम्मिश्र संख्याओं के लिए, निम्नलिखित निर्माण वास्तविक रेखा पर एक समतल फलन F के अस्तित्व को दर्शाता है, जिसके मूल में ये संख्याएँ अवकल के रूप में हैं।<ref>Exercise 12 on page 418 in Walter Rudin, ''Real and Complex Analysis''. McGraw-Hill, New Delhi 1980, ISBN 0-07-099557-5</ref> विशेष रूप से, संख्याओं का प्रत्येक क्रम टेलर श्रृंखला के समतल फलनों के गुणांक के रूप में प्रकट हो सकता है। एमिल बोरेल के बाद इस परिणाम को बोरेल लेम्मा के रूप में जाना जाता है।


:<math>h(x)=g(2+x)\,g(2-x),\qquad x\in\mathbb{R}.</math>
:<math>h(x)=g(2+x)\,g(2-x),\qquad x\in\mathbb{R}.</math>
यह फ़ंक्शन h भी सुचारू है; यह बंद अंतराल <nowiki>[</nowiki>−1,1<nowiki>]</nowiki> पर 1 के बराबर होता है और खुले अंतराल (−2,2) के बाहर गायब हो जाता है। एच का उपयोग करते हुए, प्रत्येक प्राकृतिक संख्या n (शून्य सहित) के लिए सुचारू कार्य को परिभाषित करें
यह फलन h भी समतल है; यह संवृत अंतराल <nowiki>[</nowiki>−1,1<nowiki>]</nowiki> पर 1 के बराबर होता है और विवृत अंतराल (−2,2) के बाहर नष्ट हो जाता है। h का उपयोग करते हुए, प्रत्येक प्राकृतिक संख्या n (शून्य सहित) के लिए समतल फलन को परिभाषित करें


:<math>\psi_n(x)=x^n\,h(x),\qquad x\in\mathbb{R},</math>
:<math>\psi_n(x)=x^n\,h(x),\qquad x\in\mathbb{R},</math>
जो [[एकपद]]ी x से सहमत है<sup>n</sup> on <nowiki>[</nowiki>−1.1<nowiki>]</nowiki> और अंतराल (−2.2) के बाहर गायब हो जाता है। इसलिए, ψ का k-वाँ अवकलज<sub>n</sub>मूल रूप से संतुष्ट
जो [−1,1] पर एकपदी ''x<sup>n</sup>'' के साथ सहमत है और अंतराल (−2,2) के बाहर नष्ट हो जाता है। इसलिए, मूल बिंदु पर ''ψ<sub>n</sub>'' का k-वाँ अवकलज संतुष्ट करता है


:<math>\psi_n^{(k)}(0)=\begin{cases}n!&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\quad k,n\in\mathbb{N}_0,</math>
:<math>\psi_n^{(k)}(0)=\begin{cases}n!&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\quad k,n\in\mathbb{N}_0,</math>
और [[परिबद्धता प्रमेय]] का अर्थ है कि ψ<sub>n</sub>और ψ का प्रत्येक व्युत्पन्न<sub>n</sub>घिरा है। इसलिए, स्थिरांक
और परिबद्धता प्रमेय का तात्पर्य है कि ''ψ<sub>n</sub>'' और ''ψ<sub>n</sub>'' का प्रत्येक अवकलज परिबद्ध है। इसलिए, स्थिरांक


:<math>\lambda_n=\max\bigl\{1,|\alpha_n|,\|\psi_n\|_\infty,\|\psi_n^{(1)}\|_\infty,\ldots,\|\psi_n^{(n)}\|_\infty\bigr\},\qquad n\in\mathbb{N}_0,</math>
:<math>\lambda_n=\max\bigl\{1,|\alpha_n|,\|\psi_n\|_\infty,\|\psi_n^{(1)}\|_\infty,\ldots,\|\psi_n^{(n)}\|_\infty\bigr\},\qquad n\in\mathbb{N}_0,</math>
ψ के सर्वोच्च मानदंड को शामिल करना<sub>n</sub>और इसके पहले n डेरिवेटिव, अच्छी तरह से परिभाषित वास्तविक संख्याएँ हैं। स्केल किए गए कार्यों को परिभाषित करें
ψ<sub>n</sub> के सर्वोच्च मानक को सम्मिलित करनाऔर इसके पहले n अवकल, अच्छी तरह से परिभाषित वास्तविक संख्याएँ हैं। माप किए गए फलनों को परिभाषित करें


:<math>f_n(x)=\frac{\alpha_n}{n!\,\lambda_n^n}\psi_n(\lambda_n x),\qquad n\in\mathbb{N}_0,\;x\in\mathbb{R}.</math>
:<math>f_n(x)=\frac{\alpha_n}{n!\,\lambda_n^n}\psi_n(\lambda_n x),\qquad n\in\mathbb{N}_0,\;x\in\mathbb{R}.</math>
Line 106: Line 105:


:<math>f_n^{(k)}(x)=\frac{\alpha_n}{n!\,\lambda_n^{n-k}}\psi_n^{(k)}(\lambda_n x),\qquad k,n\in\mathbb{N}_0,\;x\in\mathbb{R},</math>
:<math>f_n^{(k)}(x)=\frac{\alpha_n}{n!\,\lambda_n^{n-k}}\psi_n^{(k)}(\lambda_n x),\qquad k,n\in\mathbb{N}_0,\;x\in\mathbb{R},</math>
और, ψ के k-वें डेरिवेटिव के लिए पिछले परिणाम का उपयोग करना<sub>n</sub>शून्य पर,
और शून्य पर, ψ<sub>n</sub> के k-वें अवकल के लिए पूर्व परिणाम का उपयोग करना  


:<math>f_n^{(k)}(0)=\begin{cases}\alpha_n&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\qquad k,n\in\mathbb{N}_0.</math>
:<math>f_n^{(k)}(0)=\begin{cases}\alpha_n&\text{if }k=n,\\0&\text{otherwise,}\end{cases}\qquad k,n\in\mathbb{N}_0.</math>
यह दिखाना बाकी है कि function
यह दिखाना शेष है कि फलन


:<math>F(x)=\sum_{n=0}^\infty f_n(x),\qquad x\in\mathbb{R},</math>
:<math>F(x)=\sum_{n=0}^\infty f_n(x),\qquad x\in\mathbb{R},</math>
अच्छी तरह से परिभाषित है और शब्द-दर-अवधि में असीमित रूप से कई बार विभेदित किया जा सकता है।<ref>See e.g. Chapter V, Section 2, Theorem 2.8 and Corollary 2.9 about the differentiability of the limits of sequences of functions in {{Citation
अच्छी तरह से परिभाषित है और पद-दर-अवधि में असीमित रूप से कई बार अवकलित किया जा सकता है।<ref>See e.g. Chapter V, Section 2, Theorem 2.8 and Corollary 2.9 about the differentiability of the limits of sequences of functions in {{Citation
   | last = Amann
   | last = Amann
   | first = Herbert
   | first = Herbert
Line 122: Line 121:
   | year = 2005
   | year = 2005
   | pages = 373–374
   | pages = 373–374
   | isbn = 3-7643-7153-6}}</ref> इसके लिए, देखें कि हर k के लिए
   | isbn = 3-7643-7153-6}}</ref> इसके लिए, देखें कि प्रत्येक k के लिए


:<math>\sum_{n=0}^\infty\|f_n^{(k)}\|_\infty
:<math>\sum_{n=0}^\infty\|f_n^{(k)}\|_\infty
Line 133: Line 132:
जहां शेष अनंत श्रृंखला अनुपात परीक्षण द्वारा अभिसरित होती है।
जहां शेष अनंत श्रृंखला अनुपात परीक्षण द्वारा अभिसरित होती है।


== उच्च आयामों के लिए आवेदन ==
== उच्च आयामों के लिए अनुप्रयोग ==
[[File:Mollifier Illustration.svg|right|thumb|280px|समारोह Ψ<sub>1</sub>(एक्स) एक आयाम में।]]प्रत्येक त्रिज्या r > 0 के लिए,
[[File:Mollifier Illustration.svg|right|thumb|280px|फलन Ψ<sub>1</sub>(x) एक आयाम में।]]प्रत्येक त्रिज्या r > 0 के लिए,


:<math>\mathbb{R}^n\ni x\mapsto \Psi_r(x)=f(r^2-\|x\|^2)</math>
:<math>\mathbb{R}^n\ni x\mapsto \Psi_r(x)=f(r^2-\|x\|^2)</math>
[[यूक्लिडियन मानदंड]] के साथ ||x|| त्रिज्या आर की [[गेंद (गणित)]] में [[समर्थन (गणित)]] के साथ एन-आयामी [[यूक्लिडियन अंतरिक्ष]] पर एक चिकनी कार्य को परिभाषित करता है, लेकिन <math>\Psi_r(0)>0</math>.
[[यूक्लिडियन मानदंड]] के साथ ||x|| त्रिज्या आर की [[गेंद (गणित)|गोला (गणित)]] में [[समर्थन (गणित)]] के साथ n-आयामी [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन]] समष्टि पर एक समतल फलन को परिभाषित करता है, लेकिन <math>\Psi_r(0)>0</math> होता है।


== [[जटिल विश्लेषण]] ==
== [[जटिल विश्लेषण]] ==
यह विकृति एक वास्तविक चर के बजाय अलग-अलग जटिल विश्लेषण के साथ नहीं हो सकती। वास्तव में, सभी होलोमॉर्फिक कार्य विश्लेषणात्मक होते हैं, इसलिए इस लेख में परिभाषित फ़ंक्शन एफ की विफलता विश्लेषणात्मक होने के बावजूद असीम रूप से भिन्न होने के बावजूद वास्तविक-चर और जटिल-चर विश्लेषण के बीच सबसे नाटकीय अंतरों में से एक का संकेत है।
यह विकृति एक वास्तविक चर के अतिरिक्त अवकलनीय जटिल विश्लेषण के साथ नहीं हो सकती है। वास्तव में, सभी होलोमॉर्फिक(पूर्ण-सममितिक) फलन विश्लेषणात्मक होते हैं, इसलिए इस लेख में परिभाषित फलन f की विफलता विश्लेषणात्मक होने के बाद भी अधिकतम सीमा तक अवकल होने के बाद भी वास्तविक-चर और जटिल-चर विश्लेषण के बीच सबसे प्रभावशाली अंतरों में से एक का संकेत है।


ध्यान दें कि यद्यपि फ़ंक्शन f में वास्तविक रेखा पर सभी ऑर्डर के डेरिवेटिव हैं, सकारात्मक अर्ध-रेखा x > 0 से [[जटिल विमान]] तक f की [[विश्लेषणात्मक निरंतरता]], यानी फ़ंक्शन
ध्यान दें कि यद्यपि फलन f में वास्तविक रेखा पर सभी फलन के अवकल हैं, धनात्मक अर्ध-रेखा x > 0 से [[जटिल विमान|सम्मिश्र तल]] तक f की [[विश्लेषणात्मक निरंतरता]], अर्थात फलन


:<math>\mathbb{C}\setminus\{0\}\ni z\mapsto e^{-\frac{1}{z}}\in\mathbb{C},</math>
:<math>\mathbb{C}\setminus\{0\}\ni z\mapsto e^{-\frac{1}{z}}\in\mathbb{C},</math>
मूल में एक [[आवश्यक विलक्षणता]] है, और इसलिए निरंतर भी नहीं है, बहुत कम विश्लेषणात्मक है। [[महान पिकार्ड प्रमेय]] द्वारा, यह उत्पत्ति के प्रत्येक पड़ोस में असीमित रूप से कई बार प्रत्येक जटिल मूल्य (शून्य के अपवाद के साथ) प्राप्त करता है।
मूल में एक अनिवार्य विलक्षणता है, और इसलिए यह निरंतर भी नहीं है, बहुत कम विश्लेषणात्मक है। [[महान पिकार्ड प्रमेय]] द्वारा, यह उत्पत्ति के प्रत्येक प्रतिवेश में असीमित रूप से कई बार प्रत्येक सम्मिश्र मान (शून्य के अपवाद के साथ) प्राप्त करता है।


== यह भी देखें ==
== यह भी देखें ==
* टक्कर समारोह
* संघट्ट फलन
* [[फैबियस समारोह]]
* [[फैबियस समारोह|फैबियस फलन]]
* [[फ्लैट समारोह]]
* [[फ्लैट समारोह|समतल फलन]]
* मोलिफायर
* मोलिफायर



Revision as of 09:44, 23 May 2023

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

सुसंहति समर्थन के साथ समतल फलनों के सबसे महत्वपूर्ण अनुप्रयोगों में से एक तथाकथित मोलिफायर का निर्माण है, जो सामान्यीकृत फलनों के सिद्धांतों में महत्वपूर्ण हैं, जैसे कि लॉरेंट श्वार्ट्ज के बंटन का सिद्धांत (गणित) होता है।

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

नीचे दिए गए फलन सामान्य रूप से अवकलनीय प्रसमष्टि पर समानता के विभाजन को बनाने के लिए उपयोग किए जाते हैं।

एक उदाहरण फलन

फलन की परिभाषा

लेख में माना गया गैर-विश्लेषणात्मक समतल फलन f(x)।

फलन पर विचार करें

प्रत्येक वास्तविक संख्या x के लिए परिभाषित है।

फलन समतल है

फलन f में वास्तविक रेखा के प्रत्येक बिंदु x पर सभी फलन के सतत फलन अवकल हैं। इन अवकलों का सूत्र है

जहां pn(x) एक बहुपद n − 1 की घात का एक बहुपद है जिसे p1(x) = 1 द्वारा पुनरावर्तन दिया गया है और

किसी भी धनात्मक पूर्णांक n के लिए इस सूत्र से, यह पूरी तरह से स्पष्ट नहीं है कि अवकल 0 पर सतत हैं; यह एकपक्षीय लिमिट से अनुसरण करता है

किसी भी गैर-ऋणात्मक पूर्णांक m के लिए होता है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " |
समतलता का विस्तृत प्रमाण

घातीय फलन के घात श्रेणी निरूपण से, हमारे पास प्रत्येक प्राकृत संख्या (शून्य सहित) के लिए है

क्योंकि के लिए सभी धनात्मक पद जोड़े गए हैं। इसलिए, इस असमानता को से विभाजित करके ऊपर से लिमिट लेकर,

अब हम गणितीय प्रेरण द्वारा f के nवें अवकलज के सूत्र को सिद्ध करते हैं। श्रृंखला नियम, व्युत्क्रम नियम, और इस तथ्य का उपयोग करते हुए कि घातीय फलन का व्युत्पन्न फिर से घातीय फलन है, हम देखते हैं कि सूत्र सभी x > 0 के लिए f के पहले अवकल के लिए सही है और वह p1(x) घात 0 का एक बहुपद है। तथापि, f का अवकल x < 0 के लिए शून्य है। यह दिखाना शेष है कि x = 0 पर f का दक्षिणावर्ती पथ अवकल शून्य है। उपरोक्त सीमा का उपयोग करते हुए, हम देखते हैं

n से n + 1 तक का प्रेरण चरण समान है। और x > 0 के लिए हम अवकल के लिए प्राप्त करते हैं

जहां pn+1(x) घात n = (n + 1) − 1 का एक बहुपद है। परंतु, f का (n + 1)वां अवकलज x < 0 के लिए शून्य है। f के दक्षिण पथ के अवकलज के लिए(n) x = 0 पर हम उपरोक्त सीमा के साथ प्राप्त करते हैं

फलन विश्लेषणात्मक नहीं है

जैसा कि पहले देखा गया है, फलन f समतल है, और मूल (गणित) पर इसके सभी अवकल 0 हैं। इसलिए, उत्पत्ति पर f की टेलर श्रृंखला प्रत्येक समष्टि शून्य फलन में परिवर्तित हो जाती है,

और इसलिए टेलर श्रृंखला x > 0 के लिए f(x) के बराबर नहीं है। परिणामस्वरूप, f मूल बिंदु पर विश्लेषणात्मक फलन नहीं है।

समतल संक्रमण फलन

यहाँ परिभाषित 0 से 1 तक का समतल संक्रमण g है।

फलन

वास्तविक रेखा पर प्रत्येक समष्टि दृढ़ता से धनात्मक भाजक होता है, इसलिए g भी समतल होता है। इसके अतिरिक्त, x ≤ 0 के लिए g(x) = 0 और x ≥ 1 के लिए g(x) = 1 इसलिए यह इकाई अंतराल [ 0, 1] में स्तर 0 से स्तर 1 तक एक सामान्य संक्रमण प्रदान करता है। वास्तविक अंतराल a < b मे [a, b] के साथ सामान्य संक्रमण के लिए, फलन पर विचार करें

वास्तविक संख्या a < b < c < d, समतल फलन के लिए

संवृत अंतराल [b, c] पर 1 के बराबर होता है और विवृत अंतराल (a, d) के बाहर समाप्त हो जाता है, इसलिए यह एक संघट्टन फलन के रूप में काम कर सकता है।

सामान्य फलन जो कहीं भी वास्तविक विश्लेषणात्मक नहीं है

सही

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

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

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

जहां हमने इस तथ्य का उपयोग किया कि सभी के लिए और हमने पहले योग को नीचे से पद के साथ परिबद्ध किया। परिणामस्वरूप, ऐसे किसी भी पर

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

टेलर श्रृंखला के लिए अनुप्रयोग

हर क्रम के लिए α0, α1, α2, . . . वास्तविक या सम्मिश्र संख्याओं के लिए, निम्नलिखित निर्माण वास्तविक रेखा पर एक समतल फलन F के अस्तित्व को दर्शाता है, जिसके मूल में ये संख्याएँ अवकल के रूप में हैं।[1] विशेष रूप से, संख्याओं का प्रत्येक क्रम टेलर श्रृंखला के समतल फलनों के गुणांक के रूप में प्रकट हो सकता है। एमिल बोरेल के बाद इस परिणाम को बोरेल लेम्मा के रूप में जाना जाता है।

यह फलन h भी समतल है; यह संवृत अंतराल [−1,1] पर 1 के बराबर होता है और विवृत अंतराल (−2,2) के बाहर नष्ट हो जाता है। h का उपयोग करते हुए, प्रत्येक प्राकृतिक संख्या n (शून्य सहित) के लिए समतल फलन को परिभाषित करें

जो [−1,1] पर एकपदी xn के साथ सहमत है और अंतराल (−2,2) के बाहर नष्ट हो जाता है। इसलिए, मूल बिंदु पर ψn का k-वाँ अवकलज संतुष्ट करता है

और परिबद्धता प्रमेय का तात्पर्य है कि ψn और ψn का प्रत्येक अवकलज परिबद्ध है। इसलिए, स्थिरांक

ψn के सर्वोच्च मानक को सम्मिलित करनाऔर इसके पहले n अवकल, अच्छी तरह से परिभाषित वास्तविक संख्याएँ हैं। माप किए गए फलनों को परिभाषित करें

श्रृंखला नियम के बार-बार प्रयोग से,

और शून्य पर, ψn के k-वें अवकल के लिए पूर्व परिणाम का उपयोग करना

यह दिखाना शेष है कि फलन

अच्छी तरह से परिभाषित है और पद-दर-अवधि में असीमित रूप से कई बार अवकलित किया जा सकता है।[2] इसके लिए, देखें कि प्रत्येक k के लिए

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

उच्च आयामों के लिए अनुप्रयोग

फलन Ψ1(x) एक आयाम में।

प्रत्येक त्रिज्या r > 0 के लिए,

यूक्लिडियन मानदंड के साथ ||x|| त्रिज्या आर की गोला (गणित) में समर्थन (गणित) के साथ n-आयामी यूक्लिडियन समष्टि पर एक समतल फलन को परिभाषित करता है, लेकिन होता है।

जटिल विश्लेषण

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

ध्यान दें कि यद्यपि फलन f में वास्तविक रेखा पर सभी फलन के अवकल हैं, धनात्मक अर्ध-रेखा x > 0 से सम्मिश्र तल तक f की विश्लेषणात्मक निरंतरता, अर्थात फलन

मूल में एक अनिवार्य विलक्षणता है, और इसलिए यह निरंतर भी नहीं है, बहुत कम विश्लेषणात्मक है। महान पिकार्ड प्रमेय द्वारा, यह उत्पत्ति के प्रत्येक प्रतिवेश में असीमित रूप से कई बार प्रत्येक सम्मिश्र मान (शून्य के अपवाद के साथ) प्राप्त करता है।

यह भी देखें

टिप्पणियाँ

  1. Exercise 12 on page 418 in Walter Rudin, Real and Complex Analysis. McGraw-Hill, New Delhi 1980, ISBN 0-07-099557-5
  2. See e.g. Chapter V, Section 2, Theorem 2.8 and Corollary 2.9 about the differentiability of the limits of sequences of functions in Amann, Herbert; Escher, Joachim (2005), Analysis I, Basel: Birkhäuser Verlag, pp. 373–374, ISBN 3-7643-7153-6


बाहरी संबंध