विभेदक फलन

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

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

चर के वास्तविक फलनों की अवकलनीयता
फलन $$f:U\to\mathbb{R}$$, एक विवृत समुच्चय पर परिभाषित $$U\subset\mathbb{R}$$ को $$a\in U$$ पर अवकलनीय कहा जाता है। यदि अवकलज
 * $$f'(a)=\lim_{h\to0}\frac{f(a+h)-f(a)}{h}$$ सम्मिलित है।
 * इसका अर्थ है कि फलन सतत फलन $a$ है।

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

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

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

अवकलनीय वर्ग
फलन $$f$$ को निरंतर अवकलनीय कहा जाता है यदि अवकलज $$f^{\prime}(x)$$ पर सम्मिलित है और स्वयं एक सतत फलन है। हालांकि अवकलनीय फलन के अवकल में कभी भी प्लुति असांतत्य नहीं होता है, लेकिन अवकलज के लिए एक अनिवार्य असांतत्य होना संभव है। उदाहरण के लिए, फलन $$f(x) \;=\; \begin{cases} x^2 \sin(1/x) & \text{ if }x \neq 0 \\ 0 & \text{ if } x = 0\end{cases}$$ 0 पर अवकलनीय है, क्योंकि $$f'(0) = \lim_{\varepsilon \to 0} \left(\frac{\varepsilon^2\sin(1/\varepsilon)-0}{\varepsilon}\right) = 0$$ सम्मिलित। हालाँकि, के लिए $$x \neq 0,$$ अवकलनीय नियम का अर्थ है $$f'(x) = 2x\sin(1/x) - \cos(1/x)\;,$$ जिसकी $$x \to 0$$ के रूप में कोई सीमा नहीं है। इस प्रकार, यह उदाहरण एक ऐसे फलन के स्थिति को दर्शाता है जो अवकलनीय है लेकिन सतत अवकलनीय नहीं है (अर्थात्, अवकलज एक सतत फलन नहीं है)। फिर भी, डार्बौक्स प्रमेय (विश्लेषण) का अर्थ है कि किसी भी फलन का अवकलज मध्यवर्ती मान प्रमेय के निष्कर्ष को पूरा करता है।

इसी प्रकार सतत फलनों का कहा जाता है। सतत अवकलनीय फलन को कभी-कभी  का फलन  कहा जाता है। यदि फलन का पहला और दूसरा अवकल दोनों सम्मिलित हैं और सतत हैं। अधिकतम सामान्य रूप से, फलन  का अवकलन कहा जाता है यदि पहले $$k$$ अवकलज $$f^{\prime}(x), f^{\prime\prime}(x), \ldots, f^{(k)}(x)$$ सभी सम्मिलित हैं और सतत भी हैं। यदि अवकलज $$f^{(n)}$$ सभी धनात्मक पूर्णांकों के लिए सम्मिलित हैं तब फलन  सरल फलन या समतुल्य होता है।

उच्च आयामों में अवकलनीयता
कई वास्तविक चरों का एक फलन $f$ को एक बिंदु $x_{0}$ पर अवकलनीय कहा जाता है यदि कोई रेखीय मानचित्र $f: R^{m} → R^{n}$ सम्मिलित है जैसे कि
 * $$\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.$$

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

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

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


 * $$f(x,y) = \begin{cases}x & \text{if }y \ne x^2 \\ 0 & \text{if }y = x^2\end{cases}$$

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


 * $$f(x,y) = \begin{cases}y^3/(x^2+y^2) & \text{if }(x,y) \ne (0,0) \\ 0 & \text{if }(x,y) = (0,0)\end{cases}$$

पर $f: R^{2} → R$अवकलनीय नहीं है, लेकिन पुनः सभी आंशिक अवकलज और दिक्-अवकलज सम्मिलित हैं।

सम्मिश्र विश्लेषण में अवकलनीयता
सम्मिश्र विश्लेषण में, एकल-चर वास्तविक फलनों के समान परिभाषा का उपयोग करके सम्मिश्र-भिन्नता को परिभाषित किया जाता है। यह सम्मिश्र संख्याओं को विभाजित करने की संभावना से स्वीकृत है। तब, फलन $$f:\mathbb{C}\to\mathbb{C}$$ पर $$x=a$$ अवकलनीय कहा जाता है जब


 * $$f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}.$$

यद्यपि यह परिभाषा एकल-चर वास्तविक फलनों की अवकलनीयता के समान दिखती है, हालांकि यह अधिक प्रतिबंधात्मक स्थिति है। फलन $$f:\mathbb{C}\to\mathbb{C}$$, जो एक बिंदु $$x=a$$ पर सम्मिश्र-अवलकनीय है। फलन के रूप में दर्शाये जाने पर उस बिंदु $$f:\mathbb{R}^2\to\mathbb{R}^2$$ पर स्वचालित रूप से अवकलनीय होता है। ऐसा इसलिए है क्योंकि सम्मिश्र-अवकलन का तात्पर्य है


 * $$\lim_{h\to0}\frac{|f(a+h)-f(a)-f'(a)h|}{|h|}=0.$$

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

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

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

यह भी देखें

 * अवकलज के सामान्यीकरण
 * अर्ध-अवकलनीयता
 * अवलकनीय प्रोग्रामिंग