विभेदक फलन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{short description|Mathematical function whose derivative exists}}
{{short description|Mathematical function whose derivative exists}}
[[File:Polynomialdeg3.svg|thumb|right|अवकलनीय फलन]]गणित में, वास्तविक चर का '''अवकलनीय फलन''' एक ऐसा फलन होता है जिसका अवकलज उसके प्रक्षेत्र के प्रत्येक बिंदु पर सम्मिलित होता है। दूसरे शब्दों में, अवकलनीय फलन के रेखा-चित्र में अपने प्रक्षेत्र में प्रत्येक आंतरिक बिंदु पर एक गैर-ऊर्ध्वाधर स्पर्शरेखा रेखा होती है। अवकलनीय फलन सरल होता है (फलन स्थानीय रूप से प्रत्येक आंतरिक बिंदु पर एक रैखिक फलन के रूप में अनुमानित है) और इसमें कोई वक्र, कोण या शीर्ष नहीं है।
[[File:Polynomialdeg3.svg|thumb|right|अवकलनीय फलन]]गणित में, वास्तविक चर का '''अवकलनीय फलन''' एक ऐसा फलन होता है जिसका अवकलज उसके प्रक्षेत्र के प्रत्येक बिंदु पर सम्मिलित होता है। दूसरे शब्दों में, अवकलनीय फलन के रेखा-चित्र में अपने प्रक्षेत्र में प्रत्येक आंतरिक बिंदु पर एक गैर-ऊर्ध्वाधर स्पर्शरेखा रेखा होती है। अवकलनीय फलन सरल होता है (फलन स्थानीय रूप से प्रत्येक आंतरिक बिंदु पर एक रैखिक फलन के रूप में अनुमानित है) और इसमें कोई वक्र, कोण या शीर्ष (विलक्षणता) नहीं है।


यदि {{math|''x''<sub>0</sub>}} फलन के {{mvar|f}} प्रक्षेत्र में एक आंतरिक बिंदु है तब अवकलज <math>f'(x_0)</math> सम्मिलित होने पर {{mvar|f}} को {{math|''x''<sub>0</sub>}} पर अवकलनीय कहा जाता है। दूसरे शब्दों में, {{mvar|f}} के रेखा-चित्र बिन्दु {{math|(''x''<sub>0</sub>, ''f''(''x''<sub>0</sub>))}} पर एक गैर-ऊर्ध्वाधर स्पर्श रेखा है। {{mvar|f}} को {{mvar|U}} पर अवकलनीय कहा जाता है यदि यह {{mvar|U}} के प्रत्येक बिंदु पर अवकलनीय है। तब {{mvar|f}} को सतत अवकलनीय कहा जाता है यदि इसका अवकलज भी फलन <math>f</math> के प्रक्षेत्र पर एक सतत फलन है। सामान्य रूप से {{mvar|f}} को वर्ग {{em|<math>C^k</math>}} का अवकलन कहा जाता है यदि इसका पहला <math>k</math> अवकलज <math>f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> सम्मिलित हैं और फलन <math>f</math> के प्रक्षेत्र पर सतत हैं।
यदि {{math|''x''<sub>0</sub>}} फलन के {{mvar|f}} प्रक्षेत्र में एक आंतरिक बिंदु है तब अवकलज <math>f'(x_0)</math> सम्मिलित होने पर {{mvar|f}} को {{math|''x''<sub>0</sub>}} पर अवकलनीय कहा जाता है। दूसरे शब्दों में, {{mvar|f}} के रेखा-चित्र बिन्दु {{math|(''x''<sub>0</sub>, ''f''(''x''<sub>0</sub>))}} पर एक गैर-ऊर्ध्वाधर स्पर्श रेखा है। अतः  {{mvar|f}} को {{mvar|U}} पर अवकलनीय कहा जाता है यदि यह {{mvar|U}} के प्रत्येक बिंदु पर अवकलनीय है। तब {{mvar|f}} को सतत अवकलनीय कहा जाता है यदि इसका अवकलज भी फलन <math>f</math> के प्रक्षेत्र पर एक सतत फलन है। सामान्य रूप से {{mvar|f}} को वर्ग {{em|<math>C^k</math>}} का अवकलन कहा जाता है यदि इसका पहला <math>k</math> अवकलज <math>f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> सम्मिलित हैं और फलन <math>f</math> के प्रक्षेत्र पर सतत हैं।


== चर के वास्तविक फलनों की अवकलनीयता ==
== चर के वास्तविक फलनों की अवकलनीयता ==
Line 10: Line 10:
:इसका अर्थ है कि फलन सतत फलन {{mvar|a}} है।  
:इसका अर्थ है कि फलन सतत फलन {{mvar|a}} है।  


इस फलन {{mvar|f}} को {{mvar|U}} पर अवकलनीय कहा जाता है यदि यह {{mvar|U}} के प्रत्येक बिंदु पर अवकलनीय है। इस स्थिति में, {{mvar|f}} का अवकल इस प्रकार {{mvar|U}} से <math>\mathbb R</math> में एक फलन है। सतत फलन अनिवार्य रूप से अवकलनीय नहीं है, लेकिन एक अवकलनीय फलन आवश्यक रूप से (प्रत्येक बिंदु पर जहां यह अवकलनीय होता है) सतत फलन है (अनुभाग अवकलनीयता और सातत्यहीनता में) जैसा कि नीचे दिखाया गया है। फलन को सतत अवकलनीय कहा जाता है यदि इसका अवकलज भी एक सतत फलन है; अतः ऐसा फलन सम्मिलित है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अनुभाग अवकलनीय वर्ग में) जैसा कि नीचे दिखाया जा रहा है।
इस फलन {{mvar|f}} को {{mvar|U}} पर अवकलनीय कहा जाता है यदि यह {{mvar|U}} के प्रत्येक बिंदु पर अवकलनीय है। इस स्थिति में, {{mvar|f}} का अवकल इस प्रकार {{mvar|U}} से <math>\mathbb R</math> में एक फलन है। सतत फलन अनिवार्य रूप से अवकलनीय नहीं है, लेकिन एक अवकलनीय फलन आवश्यक रूप से (प्रत्येक बिंदु पर जहां यह अवकलनीय होता है) सतत फलन है (अनुभाग अवकलनीयता और सातत्यहीनता में) जैसा कि नीचे दिखाया गया है। फलन को सतत अवकलनीय कहा जाता है यदि इसका अवकलज भी एक सतत फलन है; अतः ऐसा फलन सम्मिलित है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अनुभाग अवकलनीय वर्ग में) जैसा कि नीचे दिखाया जा रहा है।


== अवकलनीयता और सातत्यहीनता ==
== अवकलनीयता और सातत्यहीनता ==
{{See also|सतत फलन}}
{{See also|सतत फलन}}
[[File:Absolute value.svg|left|thumb|निरपेक्ष मान फलन सतत है (अर्थात इसमें कोई अंतराल नहीं है)। यह बिंदु {{math|''x''}} = 0 को छोड़कर प्रत्येक स्थान पर अवकलनीय है जहां यह {{math|''y''}}-अक्ष परिच्छेद करते ही एक तीव्र वक्र बनाता है।]]
[[File:Absolute value.svg|left|thumb|निरपेक्ष मान फलन सतत है (अर्थात इसमें कोई अंतराल नहीं है)। यह बिंदु {{math|''x''}} = 0 को छोड़कर प्रत्येक स्थान पर अवकलनीय है जहां यह {{math|''y''}}-अक्ष परिच्छेद करते ही एक तीव्र वक्र बनाता है।]]
[[File:Cusp at (0,0.5).svg|thumb|right|सतत फलन के रेखाचित्र पर एक शीर्ष (विलक्षणता)शून्य पर, फलन सतत होता है लेकिन अवकलनीय नहीं होता है।]]यदि {{math|''f''}} एक बिंदु {{math|''x''<sub>0</sub>}} पर अवकलनीय है, तब {{math|''f''}} पर भी {{math|''x''<sub>0</sub>}} सतत फलन होना चाहिए। विशेष रूप से, कोई भी अवकलनीय फलन अपने प्रक्षेत्र में प्रत्येक बिंदु पर सतत होना चाहिए। इसका प्रतिलोम मान्य नहीं है: एक सतत फलन को अवकलनीय होने की आवश्यकता नहीं है। उदाहरण के लिए, वक्र, शीर्ष (विलक्षणता), या ऊर्ध्वाधर स्पर्शरेखा वाला एक फलन सतत हो सकता है, लेकिन विसंगति के स्थान पर अवकलन होने में विफल रहता है।
[[File:Cusp at (0,0.5).svg|thumb|right|सतत फलन के रेखाचित्र पर एक शीर्ष (विलक्षणता) है। शून्य पर, फलन सतत होता है लेकिन अवकलनीय नहीं होता है।]]यदि {{math|''f''}} एक बिंदु {{math|''x''<sub>0</sub>}} पर अवकलनीय है, तब {{math|''f''}} पर भी {{math|''x''<sub>0</sub>}} सतत फलन होना चाहिए। विशेष रूप से, कोई भी अवकलनीय फलन अपने प्रक्षेत्र में प्रत्येक बिंदु पर सतत होना चाहिए। इसका प्रतिलोम मान्य नहीं है: एक सतत फलन को अवकलनीय होने की आवश्यकता नहीं है। उदाहरण के लिए, वक्र, शीर्ष (विलक्षणता), या ऊर्ध्वाधर स्पर्शरेखा वाला एक फलन सतत हो सकता है, लेकिन विसंगति के स्थान पर अवकलन होने में असफल रहता है।


प्रणाली में होने वाले अधिकांश फलनों में सभी बिंदुओं पर या [[लगभग हर जगह|लगभग प्रत्येक जगह बिन्दु]] पर अवकलज होते हैं। हालांकि, [[स्टीफन बानाच]] के परिणाम में कहा गया है कि किसी बिंदु पर अवकलज वाले फलनों का समुच्चय सभी सतत फलनों के स्थान में अपर्याप्त [[अल्प सेट|समुच्चय]] है।<ref>{{cite journal |last=Banach |first=S. |title=Über die Baire'sche Kategorie gewisser Funktionenmengen |journal=[[Studia Mathematica|Studia Math.]] |volume=3 |issue=1 |year=1931 |pages=174–179 |doi=10.4064/sm-3-1-174-179 |doi-access=free }}.  Cited by {{cite book|author1=Hewitt, E  |author2=Stromberg, K|title=Real and abstract analysis|publisher=Springer-Verlag|year=1963|pages=Theorem 17.8|no-pp=true}}</ref> अनौपचारिक रूप से, इसका तात्पर्य यह है कि सतत फलनों के बीच अवकलनीय फलन बहुत ही असामान्य हैं। फलन का पहला ज्ञात उदाहरण जो प्रत्येक स्थान पर सतत है लेकिन वीयरस्ट्रैस फलन कहीं भी अवकलन नहीं किया जा सकता है।
प्रणाली में होने वाले अधिकांश फलनों में सभी बिंदुओं पर या [[लगभग हर जगह|लगभग प्रत्येक बिन्दु]] पर अवकलज होते हैं। हालांकि, [[स्टीफन बानाच]] के परिणाम में कहा गया है कि किसी बिंदु पर अवकलज वाले फलनों का समुच्चय सभी सतत फलनों के स्थान में अपर्याप्त [[अल्प सेट|समुच्चय]] है।<ref>{{cite journal |last=Banach |first=S. |title=Über die Baire'sche Kategorie gewisser Funktionenmengen |journal=[[Studia Mathematica|Studia Math.]] |volume=3 |issue=1 |year=1931 |pages=174–179 |doi=10.4064/sm-3-1-174-179 |doi-access=free }}.  Cited by {{cite book|author1=Hewitt, E  |author2=Stromberg, K|title=Real and abstract analysis|publisher=Springer-Verlag|year=1963|pages=Theorem 17.8|no-pp=true}}</ref> अनौपचारिक रूप से, इसका तात्पर्य यह है कि सतत फलनों के बीच अवकलनीय फलन बहुत ही असामान्य हैं। फलन का पहला ज्ञात उदाहरण जो प्रत्येक स्थान पर सतत है लेकिन वीयरस्ट्रैस फलन कहीं भी अवकलन नहीं किया जा सकता है।
== अवकलनीय वर्ग ==
== अवकलनीय वर्ग ==
[[File:Approximation of cos with linear functions without numbers.svg|300px|thumb|अवकलनीय फलनों को स्थानीय रूप से रैखिक फलनों द्वारा अनुमानित किया जा सकता है।]]{{main|समतलता}}
[[File:Approximation of cos with linear functions without numbers.svg|300px|thumb|अवकलनीय फलनों को स्थानीय रूप से रैखिक फलनों द्वारा अनुमानित किया जा सकता है।]]{{main|समतलता}}
फलन <math>f</math> को निरंतर अवकलनीय कहा जाता है यदि अवकलज <math>f^{\prime}(x)</math> सम्मिलित है और स्वयं एक सतत फलन है। हालांकि अवकलनीय फलन के अवकल में कभी भी प्लुति असांतत्य नहीं होता है, लेकिन अवकलज के लिए एक अनिवार्य असांतत्य होना संभव है। उदाहरण के लिए, फलन
फलन <math>f</math> को निरंतर अवकलनीय कहा जाता है यदि अवकलज <math>f^{\prime}(x)</math> पर सम्मिलित है और स्वयं एक सतत फलन है। हालांकि अवकलनीय फलन के अवकल में कभी भी प्लुति असांतत्य नहीं होता है, लेकिन अवकलज के लिए एक अनिवार्य असांतत्य होना संभव है। उदाहरण के लिए, फलन
<math display="block">f(x) \;=\; \begin{cases} x^2 \sin(1/x) & \text{ if }x \neq 0 \\ 0 & \text{ if } x = 0\end{cases}</math>
<math display="block">f(x) \;=\; \begin{cases} x^2 \sin(1/x) & \text{ if }x \neq 0 \\ 0 & \text{ if } x = 0\end{cases}</math>
0 पर अवकलनीय है, क्योंकि
0 पर अवकलनीय है, क्योंकि
Line 28: Line 28:
जिसकी <math>x \to 0</math> के रूप में कोई सीमा नहीं है। इस प्रकार, यह उदाहरण एक ऐसे फलन के स्थिति को दर्शाता है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अर्थात्, अवकलज एक सतत फलन नहीं है)। फिर भी, डार्बौक्स प्रमेय (विश्लेषण) का अर्थ है कि किसी भी फलन का अवकलज मध्यवर्ती मान प्रमेय के निष्कर्ष को पूरा करता है।
जिसकी <math>x \to 0</math> के रूप में कोई सीमा नहीं है। इस प्रकार, यह उदाहरण एक ऐसे फलन के स्थिति को दर्शाता है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अर्थात्, अवकलज एक सतत फलन नहीं है)। फिर भी, डार्बौक्स प्रमेय (विश्लेषण) का अर्थ है कि किसी भी फलन का अवकलज मध्यवर्ती मान प्रमेय के निष्कर्ष को पूरा करता है।


इसी प्रकार सतत फलनों {{em|class <math>C^0</math>}} का कहा जाता है। सतत अवकलनीय फलन को कभी-कभी {{em|class <math>C^1</math>}} का फलन {{em|class <math>C^2</math>}} कहा जाता है। यदि फलन का पहला और [[दूसरा व्युत्पन्न|दूसरा अवकल]] दोनों सम्मिलित हैं और सतत हैं। अधिक सामान्य रूप से, फलन {{em|class <math>C^k</math>}} का अवकल कहा जाता है यदि पहले <math>k</math> अवकलज <math>f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> सभी सम्मिलित हैं और सतत हैं। यदि अवकलज <math>f^{(n)}</math> सभी सकारात्मक पूर्णांकों के लिए सम्मिलित हैं तब फलन {{em|class <math>C^{\infty}</math>}} [[चिकना कार्य|सरल फलन]] या समकक्ष है।
इसी प्रकार सतत फलनों का {{em|class <math>C^0</math>}} कहा जाता है। सतत अवकलनीय फलन को कभी-कभी {{em|class <math>C^1</math>}} का फलन {{em|class <math>C^2</math>}} कहा जाता है। यदि फलन का पहला और [[दूसरा व्युत्पन्न|दूसरा अवकल]] दोनों सम्मिलित हैं और सतत हैं। अधिकतम सामान्य रूप से, फलन {{em|class <math>C^k</math>}} का अवकलन कहा जाता है यदि पहले <math>k</math> अवकलज <math>f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)</math> सभी सम्मिलित हैं और सतत भी हैं। यदि अवकलज <math>f^{(n)}</math> सभी धनात्मक पूर्णांकों के लिए सम्मिलित हैं तब फलन {{em|class <math>C^{\infty}</math>}} [[चिकना कार्य|सरल फलन]] या समतुल्य होता है।
== उच्च आयामों में अवकलनीयता ==
== उच्च आयामों में अवकलनीयता ==


कई वास्तविक चरों का एक फलन {{math|'''f''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} को एक बिंदु {{math|'''x'''<sub>0</sub>}} पर अवकलनीय कहा जाता है यदि कोई रेखीय मानचित्र {{math|'''J''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} सम्मिलित है जैसे कि
कई वास्तविक चरों का एक फलन {{math|'''f''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} को एक बिंदु {{math|'''x'''<sub>0</sub>}} पर अवकलनीय कहा जाता है यदि कोई रेखीय मानचित्र {{math|'''J''': '''R'''<sup>''m''</sup> → '''R'''<sup>''n''</sup>}} सम्मिलित है जैसे कि
:<math>\lim_{\mathbf{h}\to \mathbf{0}} \frac{\|\mathbf{f}(\mathbf{x_0}+\mathbf{h}) - \mathbf{f}(\mathbf{x_0}) - \mathbf{J}\mathbf{(h)}\|_{\mathbf{R}^{n}}}{\| \mathbf{h} \|_{\mathbf{R}^{m}}} = 0.</math>
:<math>\lim_{\mathbf{h}\to \mathbf{0}} \frac{\|\mathbf{f}(\mathbf{x_0}+\mathbf{h}) - \mathbf{f}(\mathbf{x_0}) - \mathbf{J}\mathbf{(h)}\|_{\mathbf{R}^{n}}}{\| \mathbf{h} \|_{\mathbf{R}^{m}}} = 0.</math>
यदि कोई फलन {{math|'''x'''<sub>0</sub>}} पर अवकलनीय है, तो सभी आंशिक अवकलज {{math|'''x'''<sub>0</sub>}} सम्मिलित हैं, और रैखिक मानचित्र {{math|'''J'''}} [[ जैकबियन मैट्रिक्स |जैकबियन आव्यूह]] द्वारा दिया गया है, इस स्थिति में एक n × m आव्यूह है। उच्च-आयामी अवकल का समान सूत्रीकरण एकल-चर गणना में पाए जाने वाले सिद्धान्त वृद्धि लेम्मा द्वारा प्रदान किया जाता है।
यदि कोई फलन {{math|'''x'''<sub>0</sub>}} पर अवकलनीय है, तब सभी आंशिक अवकलज {{math|'''x'''<sub>0</sub>}} सम्मिलित हैं, और रैखिक मानचित्र {{math|'''J'''}} [[ जैकबियन मैट्रिक्स |जैकबियन आव्यूह]] द्वारा दिया गया है, इस स्थिति में एक n × m आव्यूह है। उच्च-आयामी अवकलज का एक समान सूत्रीकरण एकल-चर कलन में पाए जाने वाले अत्यन्त महत्वपूर्ण वृद्धि लेम्मा द्वारा प्रदान किया जाता है।


यदि किसी बिंदु के [[पड़ोस (गणित)|प्रतिवेश (गणित)]] में फलन के सभी आंशिक अवकलज {{math|'''x'''<sub>0</sub>}} सम्मिलित हैं और बिंदु {{math|'''x'''<sub>0</sub>}} पर सतत हैं, तब उस बिंदु {{math|'''x'''<sub>0</sub>}} पर फलन अवकलनीय होता है।
यदि किसी बिंदु के [[पड़ोस (गणित)|प्रतिवेश (गणित)]] में फलन के सभी आंशिक अवकलज {{math|'''x'''<sub>0</sub>}} सम्मिलित हैं और बिंदु {{math|'''x'''<sub>0</sub>}} पर सतत हैं, तब उस बिंदु {{math|'''x'''<sub>0</sub>}} पर फलन अवकलनीय होता है।
Line 52: Line 52:


:<math>f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.</math>
:<math>f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.</math>
यद्यपि यह परिभाषा एकल-चर वास्तविक फलनों की भिन्नता के समान दिखती है, हालांकि यह अधिक प्रतिबंधात्मक स्थिति है। फलन <math>f:\mathbb{C}\to\mathbb{C}</math>, जो एक बिंदु <math>x=a</math> पर सम्मिश्र-अवलकनीय है। फलन के रूप में देखे जाने पर उस बिंदु <math>f:\mathbb{R}^2\to\mathbb{R}^2</math> पर स्वचालित रूप से अवकलनीय होता है। ऐसा इसलिए है क्योंकि सम्मिश्र-अवकलन का तात्पर्य है
यद्यपि यह परिभाषा एकल-चर वास्तविक फलनों की अवकलनीयता के समान दिखती है, हालांकि यह अधिक प्रतिबंधात्मक स्थिति है। फलन <math>f:\mathbb{C}\to\mathbb{C}</math>, जो एक बिंदु <math>x=a</math> पर सम्मिश्र-अवलकनीय है। फलन के रूप में दर्शाये जाने पर उस बिंदु <math>f:\mathbb{R}^2\to\mathbb{R}^2</math> पर स्वचालित रूप से अवकलनीय होता है। ऐसा इसलिए है क्योंकि सम्मिश्र-अवकलन का तात्पर्य है


:<math>\lim_{h\to0}\frac{|f(a+h)-f(a)-f'(a)h|}{|h|}=0.</math>
:<math>\lim_{h\to0}\frac{|f(a+h)-f(a)-f'(a)h|}{|h|}=0.</math>
हालाँकि, फलन <math>f:\mathbb{C}\to\mathbb{C}</math> बहु-चर फलन के रूप में अवकलनीय किया जा सकता है, जबकि सम्मिश्र-अवकलनीय नहीं किया जा सकता है। उदाहरण के लिए, प्रत्येक बिंदु पर <math>f(z)=\frac{z+\overline{z}}{2}</math> अवकलनीय है, जिसे 2-चर <math>f(x,y)=x</math> वास्तविक फलन के रूप में देखा जाता है लेकिन यह किसी भी बिंदु पर सम्मिश्र-अवकलन नहीं है।
हालाँकि, फलन <math>f:\mathbb{C}\to\mathbb{C}</math> बहु-चर फलन के रूप में अवकलनीय किया जा सकता है, जबकि सम्मिश्र-अवकलनीय नहीं किया जा सकता है। उदाहरण के लिए, प्रत्येक बिंदु पर <math>f(z)=\frac{z+\overline{z}}{2}</math> अवकलनीय है, जिसे 2-चर <math>f(x,y)=x</math> वास्तविक फलन के रूप में देखा जाता है लेकिन यह किसी भी बिंदु पर सम्मिश्र-अवकलन नहीं है।


कोई भी फलन जो किसी बिंदु के प्रतिवेश में सम्मिश्र-अवकलज होता है, उस बिंदु पर [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] कहलाता है। ऐसा फलन आवश्यक रूप से अधिकतम अवकलन होता है, और वास्तव में [[विश्लेषणात्मक कार्य|विश्लेषणात्मक फलन]] होता है।
कोई भी फलन जो किसी बिंदु के प्रतिवेश [[पड़ोस (गणित)|(गणित)]] में सम्मिश्र-अवकलज होता है, उस बिंदु पर [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] कहलाता है। ऐसा फलन आवश्यक रूप से अधिकतम अवकलन होता है, और वास्तव में [[विश्लेषणात्मक कार्य|विश्लेषणात्मक फलन]] होता है।


== प्रसमष्‍टि पर अवकलनीय फलन ==
== प्रसमष्‍टि पर अवकलनीय फलन ==
{{See also| अवकलनीय प्रसमष्टि § अवकलनीय फलन}}
{{See also| अवकलनीय प्रसमष्टि § अवकलनीय फलन}}


यदि ''M'' अवकलनीय प्रसमष्‍टि है, M पर वास्तविक या सम्मिश्र-मान फलन F को एक बिंदु p पर अवकलनीय कहा जाता है यदि यह p के प्रतिवेश मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है। यदि M और N अवकलनीय प्रसमष्‍टि हैं, तो एक फलन f: M → N को बिंदु p पर अवकलनीय कहा जाता है यदि यह p और f(p) के प्रतिवेश मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है।
यदि ''M'' अवकलनीय प्रसमष्‍टि है, M पर वास्तविक या सम्मिश्र-मान फलन F को एक बिंदु p पर अवकलनीय कहा जाता है यदि यह p के प्रतिवेश मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है। यदि M और N अवकलनीय प्रसमष्‍टि हैं, तब एक फलन f: M → N को बिंदु p पर अवकलनीय कहा जाता है यदि यह p और f(p) के प्रतिवेश [[पड़ोस (गणित)|(गणित)]] मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 08:33, 23 March 2023

File:Polynomialdeg3.svg
अवकलनीय फलन

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

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

चर के वास्तविक फलनों की अवकलनीयता

फलन , एक विवृत समुच्चय पर परिभाषित को पर अवकलनीय कहा जाता है। यदि अवकलज

सम्मिलित है।
इसका अर्थ है कि फलन सतत फलन a है।

इस फलन f को U पर अवकलनीय कहा जाता है यदि यह U के प्रत्येक बिंदु पर अवकलनीय है। इस स्थिति में, f का अवकल इस प्रकार U से में एक फलन है। सतत फलन अनिवार्य रूप से अवकलनीय नहीं है, लेकिन एक अवकलनीय फलन आवश्यक रूप से (प्रत्येक बिंदु पर जहां यह अवकलनीय होता है) सतत फलन है (अनुभाग अवकलनीयता और सातत्यहीनता में) जैसा कि नीचे दिखाया गया है। फलन को सतत अवकलनीय कहा जाता है यदि इसका अवकलज भी एक सतत फलन है; अतः ऐसा फलन सम्मिलित है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अनुभाग अवकलनीय वर्ग में) जैसा कि नीचे दिखाया जा रहा है।

अवकलनीयता और सातत्यहीनता

Error creating thumbnail:
निरपेक्ष मान फलन सतत है (अर्थात इसमें कोई अंतराल नहीं है)। यह बिंदु x = 0 को छोड़कर प्रत्येक स्थान पर अवकलनीय है जहां यह y-अक्ष परिच्छेद करते ही एक तीव्र वक्र बनाता है।
File:Cusp at (0,0.5).svg
सतत फलन के रेखाचित्र पर एक शीर्ष (विलक्षणता) है। शून्य पर, फलन सतत होता है लेकिन अवकलनीय नहीं होता है।

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

प्रणाली में होने वाले अधिकांश फलनों में सभी बिंदुओं पर या लगभग प्रत्येक बिन्दु पर अवकलज होते हैं। हालांकि, स्टीफन बानाच के परिणाम में कहा गया है कि किसी बिंदु पर अवकलज वाले फलनों का समुच्चय सभी सतत फलनों के स्थान में अपर्याप्त समुच्चय है।[1] अनौपचारिक रूप से, इसका तात्पर्य यह है कि सतत फलनों के बीच अवकलनीय फलन बहुत ही असामान्य हैं। फलन का पहला ज्ञात उदाहरण जो प्रत्येक स्थान पर सतत है लेकिन वीयरस्ट्रैस फलन कहीं भी अवकलन नहीं किया जा सकता है।

अवकलनीय वर्ग

Error creating thumbnail:
अवकलनीय फलनों को स्थानीय रूप से रैखिक फलनों द्वारा अनुमानित किया जा सकता है।

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

0 पर अवकलनीय है, क्योंकि
सम्मिलित। हालाँकि, के लिए अवकलनीय नियम का अर्थ है
जिसकी के रूप में कोई सीमा नहीं है। इस प्रकार, यह उदाहरण एक ऐसे फलन के स्थिति को दर्शाता है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अर्थात्, अवकलज एक सतत फलन नहीं है)। फिर भी, डार्बौक्स प्रमेय (विश्लेषण) का अर्थ है कि किसी भी फलन का अवकलज मध्यवर्ती मान प्रमेय के निष्कर्ष को पूरा करता है।

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

उच्च आयामों में अवकलनीयता

कई वास्तविक चरों का एक फलन f: RmRn को एक बिंदु x0 पर अवकलनीय कहा जाता है यदि कोई रेखीय मानचित्र J: RmRn सम्मिलित है जैसे कि

यदि कोई फलन x0 पर अवकलनीय है, तब सभी आंशिक अवकलज x0 सम्मिलित हैं, और रैखिक मानचित्र J जैकबियन आव्यूह द्वारा दिया गया है, इस स्थिति में एक n × m आव्यूह है। उच्च-आयामी अवकलज का एक समान सूत्रीकरण एकल-चर कलन में पाए जाने वाले अत्यन्त महत्वपूर्ण वृद्धि लेम्मा द्वारा प्रदान किया जाता है।

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

हालांकि, आंशिक अवकलज (या यहां तक ​​​​कि सभी दिक्-अवकलज) की स्थिति प्रत्याभूति नहीं देती है कि एक बिंदु पर फलन अवकलन होता है। उदाहरण के लिए, फलन f: R2R द्वारा परिभाषित

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

पर (0, 0)अवकलनीय नहीं है, लेकिन पुनः सभी आंशिक अवकलज और दिक्-अवकलज सम्मिलित हैं।

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

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

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

हालाँकि, फलन बहु-चर फलन के रूप में अवकलनीय किया जा सकता है, जबकि सम्मिश्र-अवकलनीय नहीं किया जा सकता है। उदाहरण के लिए, प्रत्येक बिंदु पर अवकलनीय है, जिसे 2-चर वास्तविक फलन के रूप में देखा जाता है लेकिन यह किसी भी बिंदु पर सम्मिश्र-अवकलन नहीं है।

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

प्रसमष्‍टि पर अवकलनीय फलन

यदि M अवकलनीय प्रसमष्‍टि है, M पर वास्तविक या सम्मिश्र-मान फलन F को एक बिंदु p पर अवकलनीय कहा जाता है यदि यह p के प्रतिवेश मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है। यदि M और N अवकलनीय प्रसमष्‍टि हैं, तब एक फलन f: M → N को बिंदु p पर अवकलनीय कहा जाता है यदि यह p और f(p) के प्रतिवेश (गणित) मे परिभाषित कुछ (या किसी भी) निर्देशांक रेखाचित्र के संबंध में अवकलनीय है।

यह भी देखें

संदर्भ

  1. Banach, S. (1931). "Über die Baire'sche Kategorie gewisser Funktionenmengen". Studia Math. 3 (1): 174–179. doi:10.4064/sm-3-1-174-179.. Cited by Hewitt, E; Stromberg, K (1963). Real and abstract analysis. Springer-Verlag. Theorem 17.8.