अवकल फलन

गणना में, अवकल फलन (गणित) स्वतंत्र वेरिएबल्स में परिवर्तन के संबंध में फलन $$y=f(x)$$ में परिवर्तन के मुख्य भाग का प्रतिनिधित्व करता है। अवकल $$dy$$ द्वारा परिभाषित किया गया है
 * $$dy = f'(x)\,dx,$$

जहाँ $$f'(x)$$ $$x$$ के संबंध में f का व्युत्पन्न है, और $$dx$$ एक अतिरिक्त वास्तविक वेरिएबल्स (गणित) (जिससे $$dy$$ $$x$$ और $$dx$$ का एक फलन हो) है। अंकन ऐसा है कि समीकरण


 * $$dy = \frac{dy}{dx}\, dx$$

धारण करता है, जहां लीबनिज संकेतन $$dy/dx$$ में व्युत्पन्न का प्रतिनिधित्व किया जाता है, और यह अवकल के भागफल के रूप में व्युत्पन्न के संबंध में संगत है। लिखता भी है


 * $$df(x) = f'(x)\,dx.$$

वेरिएबल्स का सटीक अर्थ $$dy$$ और $$dx$$ आवेदन के संदर्भ और गणितीय कठोरता के आवश्यक स्तर पर निर्भर करता है। इन वेरिएबल्स का डोमेन विशेष ज्यामितीय महत्व पर ले सकता है यदि अवकल को विशेष अवकल रूप, या विश्लेषणात्मक महत्व के रूप में माना जाता है, यदि अवकल को किसी फलन की वृद्धि के लिए रैखिक सन्निकटन के रूप में माना जाता है। परंपरागत रूप से, वेरिएबल्स $$dx$$ और $$dy$$ बहुत छोटा (अनंत) माना जाता है, और इस व्याख्या को गैर-मानक विश्लेषण में कठोर बनाया जाता है।

इतिहास और उपयोग
अवकल को पहली बार आइजैक न्यूटन द्वारा सहज या अनुमानी परिभाषा के माध्यम से प्रस्तुत किया गया था और गॉटफ्रीड लाइबनिट्स द्वारा आगे बढ़ाया गया था,जिन्होंने फ़ंक्शन के तर्क $$x$$ में एक अनंत रूप से छोटे परिवर्तन $$dx$$ के अनुरूप फ़ंक्शन के मान $$y$$ में एक अनंत रूप से छोटे परिवर्तन (या अनंत) के रूप में अंतर $$dy$$ के बारे में सोचा था। उस कारण से, $$x$$ के संबंध में $$x$$ के परिवर्तन की तात्कालिक दर, जो फ़ंक्शन के व्युत्पन्न का मान है, $$ \frac{dy}{dx} $$ को अंश द्वारा दर्शाया गया है

डेरिवेटिव के लिए लाइबनिज संकेतन कहा जाता है। भागफल $$dy/dx$$ अनंत रूप से छोटा नहीं है; किन्तु यह वास्तविक संख्या है।

उदाहरण के लिए, बिशप बर्कले द्वारा प्रसिद्ध पैम्फलेट विश्लेषक द्वारा इस रूप में इनफिनिटिमल्स के उपयोग की व्यापक रूप से आलोचना की गई थी। ऑगस्टिन-लुई कॉची (1823) ने लीबनिज के इनफिनिटिमल्स के परमाणुवाद की अपील के बिना अंतर को परिभाषित किया। इसके अतिरिक्त, कॉची, जीन ले रोंड डी'अलेम्बर्ट का अनुसरण करते हुए, लीबनिज़ और उनके उत्तराधिकारियों के तार्किक क्रम को उल्टा कर दिया: व्युत्पन्न ही मौलिक वस्तु बन गया, जिसे अवकल भागफलों की सीमा (गणित) के रूप में परिभाषित किया गया था, और अवकल तब थे इसके संदर्भ में परिभाषित किया गया है। अर्थात्, अवकल $$dy$$ को परिभाषित करने के लिए कोई भी स्वतंत्र था अभिव्यक्ति द्वारा
 * $$dy = f'(x)\,dx$$

जिसमें $$dy$$ और $$dx$$ परिमित वास्तविक मान लेने वाले बस नए वेरिएबल्स हैं, नियत अतिसूक्ष्म नहीं जैसा कि लाइबनिज के लिए था। के अनुसार, कॉची का दृष्टिकोण लीबनिज के अतिसूक्ष्म दृष्टिकोण पर महत्वपूर्ण तार्किक सुधार था, क्योंकि, अत्यल्प मात्राओं की आध्यात्मिक धारणा को प्रायुक्त करने के अतिरिक्त, मात्राएँ $$dy$$ और $$dx$$ अब किसी भी अन्य वास्तविक मात्राएँ सार्थक विधि के समान ही हेरफेर किया जा सकता है। अवकलों के प्रति कॉची का समग्र अवधारणात्मक दृष्टिकोण आधुनिक विश्लेषणात्मक उपचारों में मानक बना हुआ है, चूंकि कठोरता पर अंतिम शब्द, सीमा की पूरी तरह से आधुनिक धारणा, अंततः कार्ल वीयरस्ट्रास के कारण थी।

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

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

परिभाषा
अवकल कैलकुलस के आधुनिक उपचारों में अवकल को इस प्रकार परिभाषित किया गया है। एकल वास्तविक वेरिएबल्स $$x$$ के फलन $$f(x)$$ का अवकल दो स्वतंत्र वास्तविक वेरिएबल्स $$x$$ और $$\Delta x$$ का फलन $$df$$ है


 * $$df(x, \Delta x) \stackrel{\mathrm{def}}{=} f'(x)\,\Delta x.$$

या दोनों तर्कों को दबा दिया जा सकता है, अर्थात् कोई $$df(x)$$ या केवल $$df$$ देख सकता है। यदि $$y=f(x)$$, अवकल को $$dy$$ के रूप में भी लिखा जा सकता है। तब से $$dx(x,\Delta x)=\Delta x$$, यह लिखने के लिए पारंपरिक है $$dx=\Delta x$$ जिससे निम्नलिखित समानता हो:


 * $$df(x) = f'(x) \, dx$$

अवकल की यह धारणा सामान्यतः तब प्रायुक्त होती है जब किसी फलन के लिए रैखिक सन्निकटन मांगा जाता है, जिसमें वृद्धि का मान $$\Delta x$$ काफी छोटा है। अधिक सटीक, यदि $$f$$ पर अवकलीय फलन है $$x$$, फिर में अवकल $$y$$-मान


 * $$\Delta y \stackrel{\rm{def}}{=} f(x+\Delta x) - f(x)$$

संतुष्ट


 * $$\Delta y = f'(x)\,\Delta x + \varepsilon = df(x) + \varepsilon\,$$

जहां त्रुटि $$\varepsilon$$ सन्निकटन में संतुष्ट $$\varepsilon /\Delta x\rightarrow 0$$ जैसा $$\Delta x\rightarrow 0$$. दूसरे शब्दों में, किसी की अनुमानित पहचान होती है


 * $$\Delta y \approx dy$$

जिसमें $$\Delta x$$ को पर्याप्त रूप से छोटा करने के लिए बाध्य करके त्रुटि को $$\Delta x$$ के सापेक्ष वांछित के रूप में छोटा किया जा सकता है; अर्थात्,
 * $$\frac{\Delta y - dy}{\Delta x}\to 0$$

जैसा $$\Delta x\rightarrow 0$$. इस कारण से, किसी फलन के अवकल को मुख्य भाग के रूप में जाना जाता है | प्रमुख भाग (रैखिक) भाग फलन के वृद्धि में होता है: अवकल वृद्धि $$\Delta x$$ का रैखिक फलन है, और यद्यपि त्रुटि $$\varepsilon$$ अरेखीय हो सकता है, यह तेजी से शून्य हो जाता है क्योंकि $$\Delta x$$ शून्य हो जाता है।

कई वेरिएबल्स में अवकल
अगले, से अधिक स्वतंत्र वेरिएबल्स के फलनों के लिए,


 * $$ y = f(x_1,\dots,x_n), $$

किसी एक वेरिएबल्स x1 के संबंध में y का आंशिक अंतर y में परिवर्तन का मुख्य भाग है जो उस एक वेरिएबल्स में परिवर्तन dx1 के परिणामस्वरूप होता है। आंशिक अंतर इसलिए है


 * $$ \frac{\partial y}{\partial x_1} dx_1 $$

x1 के संबंध में y का आंशिक अवकलज सम्मिलित है. सभी स्वतंत्र वेरिएबल्स के संबंध में आंशिक अवकलों का योग कुल अवकल है


 * $$ dy = \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n, $$

जो y में परिवर्तन का मुख्य भाग है जो स्वतंत्र वेरिएबल्स xi में परिवर्तनों के परिणामस्वरूप होता है.

अधिक सटीक रूप से, बहुभिन्नरूपी कलन के संदर्भ में, निम्नलिखित, यदि f अवकलीय फलन है, तो फ्रेचेट व्युत्पन्न द्वारा, वृद्धि


 * $$\begin{align}

\Delta y &{}\stackrel{\mathrm{def}}{=} f(x_1+\Delta x_1, \dots, x_n+\Delta x_n) - f(x_1,\dots,x_n)\\ &{}= \frac{\partial y}{\partial x_1} \Delta x_1 + \cdots + \frac{\partial y}{\partial x_n} \Delta x_n + \varepsilon_1\Delta x_1 +\cdots+\varepsilon_n\Delta x_n \end{align}$$ जहां त्रुटि शब्द εi वृद्धि Δxi के रूप में शून्य हो जाती है संयुक्त रूप से शून्य हो जाते हैं। कुल अवकल को तब कड़ाई से परिभाषित किया जाता है


 * $$dy = \frac{\partial y}{\partial x_1} \Delta x_1 + \cdots + \frac{\partial y}{\partial x_n} \Delta x_n.$$

चूंकि, इस परिभाषा के साथ,
 * $$dx_i(\Delta x_1,\dots,\Delta x_n) = \Delta x_i,$$

किसी के पास
 * $$dy = \frac{\partial y}{\partial x_1}\,d x_1 + \cdots + \frac{\partial y}{\partial x_n}\,d x_n.$$

जैसा कि वेरिएबल्स के मामले में, अनुमानित तत्समक धारण करता है


 * $$dy \approx \Delta y$$

जिसमें पर्याप्त रूप से छोटे वेतन वृद्धि पर ध्यान केंद्रित करके $$\sqrt{\Delta x_1^2+\cdots +\Delta x_n^2}$$ के सापेक्ष कुल त्रुटि को वांछित के रूप में छोटा किया जा सकता है।

त्रुटि अनुमान के लिए कुल अवकल का अनुप्रयोग
मापन में, प्रायोगिक अनिश्चितता विश्लेषण में कुल अंतर का उपयोग पैरामीटर $$x, y, \ldots$$, के $$\Delta x,\Delta y,\ldots $$ की त्रुटियों के आधार पर फ़लन $$f$$ की त्रुटि $$\Delta f$$ का अनुमान लगाने में किया जाता है। यह मानते हुए कि परिवर्तन लगभग रैखिक होने के लिए पर्याप्त छोटा है:


 * $$\Delta f(x)=f'(x)\Delta x$$

और यह कि सभी वेरिएबल्स स्वतंत्र हैं, फिर सभी वेरिएबल्स के लिए,


 * $$\Delta f = f_x \Delta x + f_y \Delta y + \cdots$$

ऐसा इसलिए है क्योंकि विशेष पैरामीटर $$x$$ के संबंध में व्युत्पन्न $$f_x$$ फ़ंक्शन $$f$$ की संवेदनशीलता को $$x$$ में परिवर्तन के लिए देता है, विशेष रूप से त्रुटि $$\Delta x$$ है। जैसा कि उन्हें स्वतंत्र माना जाता है, विश्लेषण सबसे खराब स्थिति का वर्णन करता है। घटक त्रुटियों के निरपेक्ष मूल्यों का उपयोग किया जाता है, क्योंकि सरल संगणना के बाद, व्युत्पन्न में ऋणात्मक चिह्न हो सकता है। इस सिद्धांत से योग, गुणन आदि के त्रुटि नियम व्युत्पन्न होते हैं, जैसे:


 * मान लिजिये $$f(a,b)=ab$$;


 * $$\Delta f=f_a\Delta a+f_b\Delta b$$; डेरिवेटिव का मानांकन


 * Δf = bΔa + aΔb; f से विभाजित करना, जो a × b है


 * Δf/f = Δa/a + Δb/b

कहने का तात्पर्य यह है कि गुणन में, कुल सापेक्ष त्रुटि प्राचलों की सापेक्ष त्रुटियों का योग होती है।

यह समझने के लिए कि यह किस प्रकार फलन पर निर्भर करता है, उस मामले पर विचार करें जहां फलन $$f(a,b)=a\ln b$$ है। फिर, यह गणना की जा सकती है कि त्रुटि अनुमान है
 * Δf/f = Δa/a + Δb/(b ln b)

एक साधारण उत्पाद के मामले में एक अतिरिक्त 'ln b' कारक नहीं मिला थ। यह अतिरिक्त कारक त्रुटि को छोटा करता है, क्योंकि ln b एक नंगे b जितना बड़ा नहीं है।

उच्च-क्रम अवकल
किसी एकल वेरिएबल्स x के फलन y = f(x) के उच्च-क्रम के अवकलों को इसके माध्यम से परिभाषित किया जा सकता है:
 * $$d^2y = d(dy) = d(f'(x)dx) = (df'(x))dx = f''(x)\,(dx)^2,$$

और, सामान्य तौर पर,
 * $$d^ny = f^{(n)}(x)\,(dx)^n.$$

अनौपचारिक रूप से, यह उच्च क्रम के डेरिवेटिव के लिए लिबनिज़ के अंकन को प्रेरित करता है
 * $$f^{(n)}(x) = \frac{d^n f}{dx^n}.$$

जब स्वतंत्र वेरिएबल्स x को स्वयं अन्य वेरिएबल्स पर निर्भर रहने की अनुमति दी जाती है, तो अभिव्यक्ति अधिक जटिल हो जाती है, क्योंकि इसमें x में ही उच्च क्रम के अवकल भी सम्मिलित होने चाहिए। इस प्रकार, उदाहरण के लिए,

\begin{align} d^2 y &= f''(x)\,(dx)^2 + f'(x)d^2x\\ d^3 y &= f'(x)\, (dx)^3 + 3f(x)dx\,d^2x + f'(x)d^3x \end{align}$$ इत्यादि।

इसी तरह के विचार कई वेरिएबल्स के फलनों के उच्च क्रम के अवकल को परिभाषित करने के लिए प्रायुक्त होते हैं। उदाहरण के लिए, यदि f दो वेरिएबल्स x और y का फलन है, तो
 * $$d^nf = \sum_{k=0}^n \binom{n}{k}\frac{\partial^n f}{\partial x^k \partial y^{n-k}}(dx)^k(dy)^{n-k},$$

जहाँ $\binom{n}{k}$ द्विपद गुणांक है। अधिक वेरिएबल्स में, समान अभिव्यक्ति धारण करती है, लेकिन द्विपद विस्तार के अतिरिक्त उपयुक्त बहुपद गुणांक विस्तार के साथ। कई वेरिएबल्स में उच्च क्रम के अवकल भी अधिक जटिल हो जाते हैं जब स्वतंत्र वेरिएबल्स को स्वयं अन्य वेरिएबल्स पर निर्भर रहने की अनुमति दी जाती है। उदाहरण के लिए, x और y के फलन f के लिए, जिन्हें सहायक वेरिएबल्स पर निर्भर रहने की अनुमति है, के पास है
 * $$d^2f = \left(\frac{\partial^2f}{\partial x^2}(dx)^2+2\frac{\partial^2f}{\partial x\partial y}dx\,dy + \frac{\partial^2f}{\partial y^2}(dy)^2\right) + \frac{\partial f}{\partial x}d^2x + \frac{\partial f}{\partial y}d^2y.$$

इस सांकेतिक अक्षमता के कारण, उच्च क्रम के अवकलों के उपयोग की व्यापक रूप से आलोचना की गई थी, जिन्होंने निष्कर्ष निकाला:
 * अंत में, समानता का अर्थ या प्रतिनिधित्व क्या है?
 * $$d^2z = r\,dx^2 + 2s\,dx\,dy + t\,dy^2\,?$$
 * ए मोन एविस, रिएन डू टाउट।

वह है: अंत में, समानता [...] का क्या अर्थ है, या प्रतिनिधित्व किया गया है? मेरी राय में, कुछ भी नहीं। इस संशयवाद के अतिरिक्त, उच्च क्रम के अवकल विश्लेषण में महत्वपूर्ण उपकरण के रूप में उभरे थे।

इन संदर्भों में, वृद्धि Δx पर प्रायुक्त फलन f के nवें क्रम के अवकल को इसके द्वारा परिभाषित किया जाता है
 * $$d^nf(x,\Delta x) = \left.\frac{d^n}{dt^n} f(x+t\Delta x)\right|_{t=0}$$

या समकक्ष अभिव्यक्ति, जैसे
 * $$\lim_{t\to 0}\frac{\Delta^n_{t\Delta x} f}{t^n}$$

जहाँ $$\Delta^n_{t\Delta x} f$$ वृद्धि tΔx के साथ nवां आगे का अवकल है।

यह परिभाषा तब भी समझ में आती है जब f कई वेरिएबल्स का फलन है (सादगी के लिए यहाँ वेक्टर तर्क के रूप में लिया गया है)। फिर इस तरह से परिभाषित nवां अवकल सदिश वृद्धि Δx में डिग्री n का सजातीय फलन है। इसके अतिरिक्त, बिंदु x पर f की टेलर श्रृंखला द्वारा दी गई है
 * $$f(x+\Delta x)\sim f(x) + df(x,\Delta x) + \frac{1}{2}d^2f(x,\Delta x) + \cdots + \frac{1}{n!}d^nf(x,\Delta x) + \cdots$$

उच्च क्रम गैटॉक्स व्युत्पन्न इन विचारों को अनंत आयामी स्थानों के लिए सामान्यीकृत करता है।

गुण
अवकल के कई गुण व्युत्पन्न, आंशिक व्युत्पन्न और कुल व्युत्पन्न के संबंधित गुणों से सीधे विधि से अनुसरण करते हैं। इसमे सम्मिलित है:
 * रैखिकता: स्थिरांक a और b और अवकलीय फलन f और g के लिए,
 * $$d(af+bg) = a\,df + b\,dg.$$


 * उत्पाद नियम: दो अलग-अलग फलनों f और g के लिए,
 * $$d(fg) = f\,dg+g\,df.$$

इन दो गुणों के साथ ऑपरेशन डी सार बीजगणित में व्युत्पन्न (अमूर्त बीजगणित) के रूप में जाना जाता है। वे शक्ति नियम प्रायुक्त करते हैं
 * $$ d( f^n ) = n f^{n-1} df $$

इसके अतिरिक्त, व्यापकता के बढ़ते स्तर में श्रृंखला नियम के विभिन्न रूप धारण करते हैं:
 * यदि y = f(u) वेरिएबल u का अवकलीय फलन है और u = g(x) x का अवकलीय फलन है, तो
 * $$dy = f'(u)\,du = f'(g(x))g'(x)\,dx.$$


 * यदि y = f(x1, ..., xn) और सभी वेरिएबल्स x1, ..., xn दूसरे वेरिएबल t पर निर्भर करते हैं, फिर चेन रूल द्वारा कई वेरिएबल्स के लिए, के पास है


 * $$\begin{align}

dy &= \frac{dy}{dt}dt \\ &= \frac{\partial y}{\partial x_1} dx_1 + \cdots + \frac{\partial y}{\partial x_n} dx_n\\ &= \frac{\partial y}{\partial x_1} \frac{dx_1}{dt}\,dt + \cdots + \frac{\partial y}{\partial x_n} \frac{dx_n}{dt}\,dt. \end{align}$$
 * अनुमानिक रूप से, कई वेरिएबल्स के लिए श्रृंखला नियम को इस समीकरण के दोनों पक्षों के माध्यम से अनंत रूप से छोटी मात्रा dt से विभाजित करके समझा जा सकता है।


 * अधिक सामान्य अनुरूप भाव धारण करते हैं, जिसमें मध्यवर्ती वेरिएबल्स xi होते हैं से अधिक वेरिएबल्स पर निर्भर करते हैं।

सामान्य सूत्रीकरण
फलन f : Rn → Rm दो यूक्लिडियन अवकलिक्ष स्थान के बीच के लिए अवकल की सुसंगत धारणा विकसित की जा सकती है। माना x,Δx ∈ Rn यूक्लिडियन सदिशों का युग्म हो। फलन f में वृद्धि है
 * $$\Delta f = f(\mathbf{x}+\Delta\mathbf{x}) - f(\mathbf{x}).$$

यदि कोई m × n मैट्रिक्स (गणित) A उपस्थित है, जैसे कि
 * $$\Delta f = A\Delta\mathbf{x} + \|\Delta\mathbf{x}\|\boldsymbol{\varepsilon}$$

जिसमें वेक्टर ε → 0 के रूप में Δx → 0, फिर f परिभाषा के अनुसार बिंदु x पर अवकलीय है। मैट्रिक्स A को कभी-कभी जैकबियन मैट्रिक्स के रूप में जाना जाता है, और रैखिक परिवर्तन जो वेतन वृद्धि Δx ∈ Rn से जुड़ा होता है सदिश AΔ'x' ∈ 'R'm, इस सामान्य सेटिंग में, बिंदु x पर f के अवकल df(x) के रूप में जाना जाता है। यह बिल्कुल फ्रेचेट डेरिवेटिव है, और किसी भी बनच रिक्त स्थान के बीच फलन के लिए काम करने के लिए ही निर्माण किया जा सकता है।

और उपयोगी दृष्टिकोण अवकल को सीधे प्रकार के दिशात्मक व्युत्पन्न के रूप में परिभाषित करना है:


 * $$df(\mathbf{x},\mathbf{h}) = \lim_{t\to 0}\frac{f(\mathbf{x}+t\mathbf{h})-f(\mathbf{x})}{t} = \left.\frac{d}{dt}f(\mathbf{x}+t\mathbf{h})\right|_{t=0},$$

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

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


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

उदाहरण और अनुप्रयोग
गणना में प्रयोगात्मक त्रुटियों के प्रसार का अध्ययन करने के लिए संख्यात्मक विश्लेषण में विभेदकों का प्रभावी ढंग से उपयोग किया जा सकता है, और इस प्रकार किसी समस्या की समग्र संख्यात्मक स्थिरता. मान लीजिए कि वेरिएबल्स x प्रयोग के परिणाम का प्रतिनिधित्व करता है और y x पर प्रायुक्त संख्यात्मक गणना का परिणाम है। प्रश्न यह है कि किस सीमा तक x के मापन में त्रुटियाँ y की गणना के परिणाम को प्रभावित करती हैं। यदि x अपने वास्तविक मान के Δx के अन्दर जाना जाता है, तो टेलर का प्रमेय y की गणना में त्रुटि Δy पर निम्नलिखित अनुमान देता है:
 * $$\Delta y = f'(x)\Delta x + \frac{(\Delta x)^2}{2}f''(\xi)$$

जहाँ ξ = x + θΔx कुछ के लिए 0 < θ < 1. यदि Δx छोटा है, तो दूसरा ऑर्डर शब्द नगण्य है, जिससे Δy, व्यावहारिक उद्देश्यों के लिए, अच्छी तरह से dy = f'(x)Δx अनुमानित हो।

अवकल समीकरण को फिर से लिखने के लिए अवकल अक्सर उपयोगी होता है


 * $$ \frac{dy}{dx} = g(x) $$

प्रपत्र में


 * $$ dy = g(x)\,dx, $$

विशेष रूप से जब कोई वेरिएबल्स को अलग करना चाहता है।

यह भी देखें

 * विभेदीकरण के लिए संकेतन

बाहरी संबंध

 * Differential Of A Function at Wolfram Demonstrations Project