कार्यात्मक व्युत्पन्न

विविधताओं की गणना में, गणितीय विश्लेषण का क्षेत्र, कार्यात्मक व्युत्पन्न (या परिवर्तनशील व्युत्पन्न) कार्यात्मक में परिवर्तन से संबंधित है (इस अर्थ में कार्यात्मक व्युत्पन्न है जो कार्यात्मक पर कार्य करता है) फलन में परिवर्तन जिस पर फलन निर्भर करता है।

विविधताओं की गणना में, प्रकार्यों को सामान्यतः कार्यों के समाकलक, उनके कार्य के तर्क और उनके यौगिक के संदर्भ में व्यक्त किया जाता है। समाकलन में कार्यात्मक L, यदि कोई कार्य $f$ इसमें और व्युत्पन्न $δf$ जोड़कर भिन्न होता है जो अव्यवस्थित रूप से छोटा है और परिणामी $δf$, का समाकलन की शक्तियों में विस्तार किया गया है पहले क्रम की अवधि में $δf$ के गुणांक को कार्यात्मक व्युत्पन्न कहा जाता है।

उदाहरण के लिए, कार्यात्मक पर विचार करें$$ J[f] = \int_a^b L( \, x, f(x), f \, '(x) \, ) \, dx \, $$जहाँ $f &prime;(x) &equiv; df/dx$. यदि $f$ इसमें व्युत्पन्न जोड़कर $δf$ भिन्न होता है और परिणामी समाकलन $L(x, f +δf, f '+δf &prime;)$ की शक्तियों में प्रसारित $δf$ है, जब $δf$ में $J$ के पहले क्रम के मान में परिवर्तन निम्नानुसार व्यक्त किया जा सकता है। $$ \delta J = \int_a^b \left( \frac{\partial L}{\partial f} \delta f(x) + \frac{\partial L}{\partial f'} \frac{d}{dx} \delta f(x) \right) \, dx \, = \int_a^b \left( \frac{\partial L}{\partial f} - \frac{d}{dx} \frac{\partial L}{\partial f'} \right) \delta f(x) \, dx \, + \, \frac{\partial L}{\partial f'} (b) \delta f(b) \, - \, \frac{\partial L}{\partial f'} (a) \delta f(a) \, $$ जहां व्युत्पन्न में भिन्नता, $δf &prime;$ को भिन्नता के व्युत्पन्न के रूप में फिर से $(δf) &prime;$ लिखा गया था और भागों द्वारा समाकलन का उपयोग किया गया था।

परिभाषा
इस खंड में, कार्यात्मक व्युत्पन्न परिभाषित किया गया है। फिर कार्यात्मक अंतर को कार्यात्मक व्युत्पन्न के संदर्भ में परिभाषित किया गया है।

कार्यात्मक व्युत्पन्न
अधिक संख्या $M$ का प्रतिनिधित्व (निरंतर/चिकनी) कार्य $ρ$ करता है (कुछ सीमा स्थितियों आदि के साथ), और कार्यात्मक (गणित) $F$ के रूप में परिभाषित$$F\colon M \to \mathbb{R} \quad \text{or} \quad F\colon M \to \mathbb{C} \, ,$$$F[ρ]$ का कार्यात्मक व्युत्पन्न, निरूपित $δF/δρ$ द्वारा परिभाषित किया गया है $$\begin{align} \int \frac{\delta F}{\delta\rho}(x) \phi(x) \; dx &= \lim_{\varepsilon\to 0}\frac{F[\rho+\varepsilon \phi]-F[\rho]}{\varepsilon} \\ &= \left [ \frac{d}{d\varepsilon}F[\rho+\varepsilon \phi]\right ]_{\varepsilon=0}, \end{align}$$जहाँ $$\phi$$ विवेकाधीन फलन है। मात्रा $$\varepsilon\phi$$ को $ρ$ की भिन्नता कहा जाता है। दूसरे शब्दों में,$$\phi \mapsto \left [ \frac{d}{d\varepsilon}F[\rho+\varepsilon \phi]\right ]_{\varepsilon=0}$$रेखीय कार्यात्मक है,इसलिए कोई भी उपाय के विरुद्ध समाकलन के रूप में इस कार्यात्मक का प्रतिनिधित्व करने के लिए रिज-मार्कोव-काकुटानी प्रतिनिधित्व प्रमेय लागू कर सकता है। तब $δF/δρ$ को इस उपाय के रेडॉन-निकोडिम व्युत्पन्न के रूप में परिभाषित किया गया है।

एक व्यक्ति कार्य $δF/δρ$ को $F$ बिंदु पर $ρ$ प्रवणता के रूप में सोचता है (अर्थात, कितना कार्यात्मक $F$ बदल जाएगा यदि कार्य $ρ$ बिंदु $x$ पर बदल जाता है ) और$$\int \frac{\delta F}{\delta\rho}(x) \phi(x) \; dx$$बिंदु $ρ$ पर $ϕ$ दिशात्मक व्युत्पन्न के रूप में कम है। फिर सदिश कलन के अनुरूप, आंतरिक गुणनफल ढाल के साथ दिशात्मक व्युत्पन्न देता है।

कार्यात्मक अंतर
कार्यात्मक $$F\left[\rho\right]$$ का अंतर भिन्नता या पहली भिन्नता है।

गुण
किसी कार्य के व्युत्पन्न की तरह, कार्यात्मक व्युत्पन्न निम्नलिखित गुणों को संतुष्ट करता है, जहां $F[ρ]$ और $G[ρ]$ कार्यात्मक हैं:
 * रैखिकता: $$\frac{\delta(\lambda F + \mu G)[\rho ]}{\delta \rho(x)} = \lambda \frac{\delta F[\rho]}{\delta \rho(x)} + \mu \frac{\delta G[\rho]}{\delta \rho(x)},$$ जहाँ $λ, μ$ नियतांक हैं।
 * गुणनफल नियम: $$\frac{\delta(FG)[\rho]}{\delta \rho(x)} = \frac{\delta F[\rho]}{\delta \rho(x)} G[\rho] + F[\rho] \frac{\delta G[\rho]}{\delta \rho(x)} \,, $$
 * श्रृंखला नियम:
 * यदि $F$ और $G$ कार्यात्मक है, फिर $$\frac{\delta F[G[\rho]] }{\delta\rho(y)} = \int dx \frac{\delta F[G]}{\delta G(x)}_{G = G[\rho]}\cdot\frac {\delta G[\rho](x)} {\delta\rho(y)} \ . $$
 * यदि $G$ अवकलनीय फलन (स्थानीय फलन) $g$ है, तो यह कम हो जाता है $$\frac{\delta F[g(\rho)] }{\delta\rho(y)} = \frac{\delta F[g(\rho)]}{\delta g[\rho(y) ]} \ \frac {dg(\rho)} {d\rho(y)} \ . $$

कार्यात्मक व्युत्पन्न का निर्धारण
कार्यात्मकताओं के सामान्य वर्ग के लिए कार्यात्मक व्युत्पन्न निर्धारित करने के लिए सूत्र के फलन और उसके व्युत्पन्न के समाकल के रूप में लिखा जा सकता है। यह यूलर-लैग्रेंज समीकरण का सामान्यीकरण है। वास्तव में, लैग्रैंगियन यांत्रिकी (18 वीं शताब्दी) में कम से कम कार्य के सिद्धांत से दूसरे प्रकार के जोसेफ-लुई लाग्रेंज समीकरण की व्युत्पत्ति के भीतर भौतिकी में कार्यात्मक व्युत्पन्न प्रस्तुत किया गया था। नीचे दिए गए पहले तीन उदाहरण घनत्व कार्यात्मक सिद्धांत (20वीं सदी) से लिए गए हैं, चौथे सांख्यिकीय यांत्रिकी (19वीं सदी) से लिए गए हैं।

सूत्र
कार्यात्मक दिया$$F[\rho] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}) )\, d\boldsymbol{r},$$और फलन $ϕ(r)$ जो समाकलन के क्षेत्र की सीमा पर गायब हो जाता है, पिछले खंड कार्यात्मक व्युत्पन्न की परिभाषा से,$$\begin{align} \int \frac{\delta F}{\delta\rho(\boldsymbol{r})} \, \phi(\boldsymbol{r}) \, d\boldsymbol{r} & = \left [ \frac{d}{d\varepsilon} \int f( \boldsymbol{r}, \rho + \varepsilon \phi, \nabla\rho+\varepsilon\nabla\phi )\, d\boldsymbol{r} \right ]_{\varepsilon=0} \\ & = \int \left( \frac{\partial f}{\partial\rho} \, \phi + \frac{\partial f}{\partial\nabla\rho} \cdot \nabla\phi \right) d\boldsymbol{r} \\ & = \int \left[ \frac{\partial f}{\partial\rho} \, \phi + \nabla \cdot \left( \frac{\partial f}{\partial\nabla\rho} \, \phi \right) - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\ & = \int \left[ \frac{\partial f}{\partial\rho} \, \phi - \left( \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi \right] d\boldsymbol{r} \\ & = \int \left( \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial\nabla\rho} \right) \phi(\boldsymbol{r}) \ d\boldsymbol{r} \,. \end{align}$$

कुल व्युत्पन्न का उपयोग करके दूसरी पंक्ति प्राप्त की जाती है, जहाँ $&part;f /&part;&nabla;ρ$ सदिश के संबंध में अदिश का व्युत्पन्न है।  विचलन के लिए गुणनफल नियम गुण के उपयोग से तीसरी पंक्ति प्राप्त की गई थी। विचलन प्रमेय का उपयोग करके चौथी पंक्ति प्राप्त की गई थी और परिस्थिति यह है कि समाकलन के क्षेत्र की सीमा पर ϕ = 0। $ϕ = 0$ । तब से $ϕ$ भी विवेकाधीन फलन है, विविधताओं की गणना की मौलिक लेम्मा को अंतिम पंक्ति में लागू करना, कार्यात्मक व्युत्पन्न है$$\frac{\delta F}{\delta\rho(\boldsymbol{r})} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial\nabla\rho} $$जहाँ $ρ = ρ(r)$ और $f = f (r, ρ, &nabla;ρ)$. यह सूत्र द्वारा दिए गए कार्यात्मक रूप के $F[ρ]$ स्थितियों के लिए है। इस खंड की प्रारंभिक में अन्य कार्यात्मक रूपों के लिए, कार्यात्मक व्युत्पन्न की परिभाषा को इसके निर्धारण के लिए प्रारंभिक बिंदु के रूप में उपयोग किया जा सकता है। कार्यात्मक व्युत्पन्न के लिए उपरोक्त समीकरण को उस स्थिति में सामान्यीकृत किया जा सकता है जिसमें उच्च आयाम और उच्च आदेश व्युत्पन्न सम्मलित हैं।

कार्यात्मक व्युत्पन्न होगा,$$F[\rho(\boldsymbol{r})] = \int f( \boldsymbol{r}, \rho(\boldsymbol{r}), \nabla\rho(\boldsymbol{r}), \nabla^{(2)}\rho(\boldsymbol{r}), \dots, \nabla^{(N)}\rho(\boldsymbol{r}))\, d\boldsymbol{r},$$जहां सदिश $r &isin; R^{n}$, और $&nabla;^{(i)}$ टेन्सर है जिसका $n^{i}$ घटक क्रम $i$ के आंशिक व्युत्पन्न संक्रियक हैं ,$$ \left [ \nabla^{(i)} \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial^{\, i}} {\partial r_{\alpha_1} \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \qquad \qquad \text{where} \quad \alpha_1, \alpha_2, \cdots, \alpha_i = 1, 2, \cdots, n \. $$ कार्यात्मक व्युत्पन्न उपज की परिभाषा का समान अनुप्रयोग$$\begin{align} \frac{\delta F[\rho]}{\delta \rho} &{} = \frac{\partial f}{\partial\rho} - \nabla \cdot \frac{\partial f}{\partial(\nabla\rho)} + \nabla^{(2)} \cdot \frac{\partial f}{\partial\left(\nabla^{(2)}\rho\right)} + \dots + (-1)^N \nabla^{(N)} \cdot \frac{\partial f}{\partial\left(\nabla^{(N)}\rho\right)} \\ &{} = \frac{\partial f}{\partial\rho} + \sum_{i=1}^N (-1)^{i}\nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} \. \end{align}$$पिछले दो समीकरणों में, $n = 3$ टेंसर के घटक $$ \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} $$ के आंशिक व्युत्पन्न हैं $i = 2$ ρ के आंशिक व्युत्पन्न के संबंध में,$$ \left [ \frac {\partial f} {\partial \left (\nabla^{(i)}\rho \right ) } \right ]_{\alpha_1 \alpha_2 \cdots \alpha_i} = \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} } \qquad \qquad \text{where} \quad \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} \equiv \frac {\partial^{\, i}\rho} {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \, $$और टेंसर अदिश गुणनफल है,$$ \nabla^{(i)} \cdot \frac{\partial f}{\partial\left(\nabla^{(i)}\rho\right)} = \sum_{\alpha_1, \alpha_2, \cdots, \alpha_i = 1}^n \ \frac {\partial^{\, i} } {\partial r_{\alpha_1} \, \partial r_{\alpha_2} \cdots \partial r_{\alpha_i} } \ \frac {\partial f} {\partial \rho_{\alpha_1 \alpha_2 \cdots \alpha_i} } \. $$

थॉमस-फर्मी गतिज ऊर्जा क्रियात्मक
1927 के थॉमस-फर्मी मॉडल ने इलेक्ट्रॉनिक संरचना के घनत्व-कार्यात्मक सिद्धांत के पहले प्रयास में गैर-बाधित समान मुक्त इलेक्ट्रॉन मॉडल के लिए कार्यात्मक गतिज ऊर्जा का उपयोग किया:$$T_\mathrm{TF}[\rho] = C_\mathrm{F} \int \rho^{5/3}(\mathbf{r}) \, d\mathbf{r} \, .$$चूँकि $&nabla;^{(2)}$ के समाकलन में $n^{i}$ का व्युत्पन्न सम्मलित नहीं है, $f$ का कार्यात्मक व्युत्पन्न है, $$\begin{align} \frac{\delta T_{\mathrm{TF}}}{\delta \rho (\boldsymbol{r}) } & = C_\mathrm{F} \frac{\partial \rho^{5/3}(\mathbf{r})}{\partial \rho(\mathbf{r})} \\ & = \frac{5}{3} C_\mathrm{F} \rho^{2/3}(\mathbf{r}) \,. \end{align}$$

कूलम्ब संभावित ऊर्जा कार्यात्मक
इलेक्ट्रॉन-नाभिक क्षमता के लिए, थॉमस और फर्मी ने कूलम्ब के नियम संभावित ऊर्जा कार्यात्मक को नियोजित किया$$V[\rho] = \int \frac{\rho(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r}.$$कार्यात्मक व्युत्पन्न की परिभाषा को लागू करना,$$\begin{align} \int \frac{\delta V}{\delta \rho(\boldsymbol{r})} \ \phi(\boldsymbol{r}) \ d\boldsymbol{r} & {} = \left [ \frac{d}{d\varepsilon} \int \frac{\rho(\boldsymbol{r}) + \varepsilon \phi(\boldsymbol{r})}{|\boldsymbol{r}|} \ d\boldsymbol{r} \right ]_{\varepsilon=0} \\ & {} = \int \frac {1} {|\boldsymbol{r}|} \, \phi(\boldsymbol{r}) \ d\boldsymbol{r} \,. \end{align}$$इसलिए,$$ \frac{\delta V}{\delta \rho(\boldsymbol{r})} = \frac{1}{|\boldsymbol{r}|} \. $$इलेक्ट्रॉन-इलेक्ट्रॉन अन्योन्य क्रिया के मौलिक भाग के लिए, थॉमस और फर्मी ने कूलम्ब के नियम संभावित ऊर्जा क्रियात्मक का प्रयोग किया,$$J[\rho] = \frac{1}{2}\iint \frac{\rho(\mathbf{r}) \rho(\mathbf{r}')}{| \mathbf{r}-\mathbf{r}' |}\, d\mathbf{r} d\mathbf{r}' \, .$$कार्यात्मक व्युत्पन्न से,$$\begin{align} \int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r} & {} = \left [ \frac {d \ }{d\epsilon} \, J[\rho + \epsilon\phi] \right ]_{\epsilon = 0} \\ & {} = \left [ \frac {d \ }{d\epsilon} \, \left ( \frac{1}{2}\iint \frac {[\rho(\boldsymbol{r}) + \epsilon \phi(\boldsymbol{r})] \, [\rho(\boldsymbol{r}') + \epsilon \phi(\boldsymbol{r}')] }{| \boldsymbol{r}-\boldsymbol{r}' |}\, d\boldsymbol{r} d\boldsymbol{r}' \right ) \right ]_{\epsilon = 0} \\ & {} = \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}') \phi(\boldsymbol{r}) }{| \boldsymbol{r}-\boldsymbol{r}' |}\, d\boldsymbol{r} d\boldsymbol{r}' + \frac{1}{2}\iint \frac {\rho(\boldsymbol{r}) \phi(\boldsymbol{r}') }{| \boldsymbol{r}-\boldsymbol{r}' |}\, d\boldsymbol{r} d\boldsymbol{r}' \\ \end{align}$$अंतिम समीकरण के दाहिने हाथ की ओर पहला और दूसरा पद बराबर हैं, क्योंकि दूसरे पद में $n = 3$ और $i = 2$ को समाकल के मान को बदले बिना आपस में बदला जा सकता है। इसलिए,$$ \int \frac{\delta J}{\delta\rho(\boldsymbol{r})} \phi(\boldsymbol{r})d\boldsymbol{r} = \int \left ( \int \frac {\rho(\boldsymbol{r}') }{| \boldsymbol{r}-\boldsymbol{r}' |} d\boldsymbol{r}' \right ) \phi(\boldsymbol{r}) d\boldsymbol{r} $$और इलेक्ट्रॉन-इलेक्ट्रॉन कूलॉम का कार्यात्मक व्युत्पन्न स्थितिज ऊर्जा कार्यात्मक J[ρ] है, $$ \frac{\delta J}{\delta\rho(\boldsymbol{r})} = \int \frac {\rho(\boldsymbol{r}') }{| \boldsymbol{r}-\boldsymbol{r}' |} d\boldsymbol{r}' \,. $$दूसरा कार्यात्मक व्युत्पन्न है$$\frac{\delta^2 J[\rho]}{\delta \rho(\mathbf{r}')\delta\rho(\mathbf{r})} = \frac{\partial}{\partial \rho(\mathbf{r}')} \left ( \frac{\rho(\mathbf{r}')}{| \mathbf{r}-\mathbf{r}' |} \right ) = \frac{1}{| \mathbf{r}-\mathbf{r}' |}.$$

वेइज़ेकर गतिज ऊर्जा कार्यात्मक
1935 में कार्ल फ्रेडरिक वॉन वेइज़ेकर ने थॉमस-फर्मी गतिज ऊर्जा कार्यात्मक में क्रमिक सुधार जोड़ने का प्रस्ताव दिया जिससे कि इसे आणविक इलेक्ट्रॉन बदलने के लिए उचित बनाया जा सके:$$T_\mathrm{W}[\rho] = \frac{1}{8} \int \frac{\nabla\rho(\mathbf{r}) \cdot \nabla\rho(\mathbf{r})}{ \rho(\mathbf{r}) } d\mathbf{r} = \int t_\mathrm{W} \ d\mathbf{r} \, ,$$जहाँ$$ t_\mathrm{W} \equiv \frac{1}{8} \frac{\nabla\rho \cdot \nabla\rho}{ \rho } \qquad \text{and} \ \ \rho = \rho(\boldsymbol{r}) \. $$कार्यात्मक व्युत्पन्न के लिए पहले से व्युत्पन्न कार्यात्मक व्युत्पन्न सूत्र का उपयोग करना,$$\begin{align} \frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} & = \frac{\partial t_\mathrm{W}}{\partial \rho} - \nabla\cdot\frac{\partial t_\mathrm{W}}{\partial \nabla \rho} \\ & = -\frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \left ( \frac {1}{4} \frac {\nabla^2\rho} {\rho} - \frac {1}{4} \frac {\nabla\rho \cdot \nabla\rho} {\rho^2} \right ) \qquad \text{where} \ \ \nabla^2 = \nabla \cdot \nabla \ , \end{align}$$और परिणाम है, $$ \frac{\delta T_\mathrm{W}}{\delta \rho(\boldsymbol{r})} = \ \ \, \frac{1}{8}\frac{\nabla\rho \cdot \nabla\rho}{\rho^2} - \frac{1}{4}\frac{\nabla^2\rho}{\rho} \. $$

एंट्रॉपी
असतत यादृच्छिक चर की सूचना एन्ट्रापी संभाव्यता द्रव्यमान फलन का एक फलन है।$$H[p(x)] = -\sum_x p(x) \log p(x)$$इस प्रकार, $$\begin{align} \sum_x \frac{\delta H}{\delta p(x)} \, \phi(x) & {} = \left[ \frac{d}{d\epsilon} H[p(x) + \epsilon\phi(x)] \right]_{\epsilon=0}\\ & {} = \left [- \, \frac{d}{d\varepsilon} \sum_x \, [p(x) + \varepsilon\phi(x)] \ \log [p(x) + \varepsilon\phi(x)] \right]_{\varepsilon=0} \\ & {} = -\sum_x \, [1+\log p(x)] \ \phi(x) \,. \end{align}$$ इस प्रकार, $$\frac{\delta H}{\delta p(x)} = -1-\log p(x).$$

घातीय
होने देना $$ F[\varphi(x)]= e^{\int \varphi(x) g(x)dx}.$$ डेल्टा व्युत्पन्न का परीक्षण व्युत्पन्न के रूप में उपयोग करना, $$\begin{align} \frac{\delta F[\varphi(x)]}{\delta \varphi(y)} & {} = \lim_{\varepsilon\to 0}\frac{F[\varphi(x)+\varepsilon\delta(x-y)]-F[\varphi(x)]}{\varepsilon}\\ & {} = \lim_{\varepsilon\to 0}\frac{e^{\int (\varphi(x)+\varepsilon\delta(x-y)) g(x)dx}-e^{\int \varphi(x) g(x)dx}}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon \int \delta(x-y) g(x)dx}-1}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}\lim_{\varepsilon\to 0}\frac{e^{\varepsilon g(y)}-1}{\varepsilon}\\ & {} = e^{\int \varphi(x) g(x)dx}g(y). \end{align}$$ इस प्रकार, $$ \frac{\delta F[\varphi(x)]}{\delta \varphi(y)} = g(y) F[\varphi(x)]. $$ यह विशेष रूप से क्वांटम क्षेत्र सिद्धांत में विभाजन फलन (गणित) से सहसंबंध कार्यों की गणना करने में उपयोगी है

फलन के कार्यात्मक व्युत्पन्न
फलन के कार्यात्मक व्युत्पन्न की तरह समाकल के रूप में लिखा जा सकता है। उदाहरण के लिए, $$\rho(\boldsymbol{r}) = F[\rho] = \int \rho(\boldsymbol{r}') \delta(\boldsymbol{r}-\boldsymbol{r}')\, d\boldsymbol{r}'.$$ चूंकि समाकलन ρ के व्युत्पन्न पर निर्भर नहीं करता है, ρ के कार्यात्मक व्युत्पन्न $T_{TF}[ρ]$ है, $$\begin{align} \frac {\delta \rho(\boldsymbol{r})} {\delta\rho(\boldsymbol{r}')} \equiv \frac {\delta F} {\delta\rho(\boldsymbol{r}')} & = \frac{\partial \ \ }{\partial \rho(\boldsymbol{r}')} \, [\rho(\boldsymbol{r}') \delta(\boldsymbol{r}-\boldsymbol{r}')] \\ & = \delta(\boldsymbol{r}-\boldsymbol{r}'). \end{align}$$

पुनरावृत्त फलन का कार्यात्मक व्युत्पन्न
पुनरावृत्त फलन का कार्यात्मक व्युत्पन्न $$f(f(x))$$ द्वारा दिया गया है: $$\frac{\delta f(f(x))}{\delta f(y) } = f'(f(x))\delta(x-y) + \delta(f(x)-y)$$ और$$\frac{\delta f(f(f(x)))}{\delta f(y) } = f'(f(f(x))(f'(f(x))\delta(x-y) + \delta(f(x)-y)) + \delta(f(f(x))-y)$$सामान्य रूप में:$$\frac{\delta f^N(x)}{\delta f(y)} = f'( f^{N-1}(x) ) \frac{ \delta f^{N-1}(x)}{\delta f(y)} + \delta( f^{N-1}(x) - y ) $$$ρ(r)$ लगाने पर प्राप्त $$ \frac{\delta f^{-1}(x)}{\delta f(y) } = - \frac{ \delta(f^{-1}(x)-y ) }{ f'(f^{-1}(x)) }$$

डेल्टा फलन का परीक्षण फलन के रूप में उपयोग करना
भौतिकी में, डिराक डेल्टा फलन $$\delta(x-y)$$ का उपयोग करना साधारण है सामान्य परीक्षण फलन के स्थान पर $$\phi(x)$$, बिंदु पर कार्यात्मक व्युत्पन्न उपज के लिए $$y$$ (यह संपूर्ण कार्यात्मक व्युत्पन्न का बिंदु है क्योंकि आंशिक व्युत्पन्न ढाल का घटक है): $$\frac{\delta F[\rho(x)]}{\delta \rho(y)}=\lim_{\varepsilon\to 0}\frac{F[\rho(x)+\varepsilon\delta(x-y)]-F[\rho(x)]}{\varepsilon}.$$

यह उन स्थितियों में काम करता है जब $$F[\rho(x)+\varepsilon f(x)]$$ औपचारिक रूप से श्रृंखला (या कम से कम पहले क्रम तक) के रूप में $$\varepsilon$$ प्रसारित किया जा सकता है। सूत्र चूंकि गणितीय रूप से कठोर नहीं है, क्योंकि $$F[\rho(x)+\varepsilon\delta(x-y)]$$ सामान्यतः परिभाषित भी नहीं किया जाता है।

पिछले खंड में दी गई परिभाषा ऐसे संबंध पर आधारित है जो सभी $$\phi(x)$$ परीक्षण फलन के लिए है, तो कोई सोच सकता है कि इसे तब भी धारण करना चाहिए जब $$\phi(x)$$ विशिष्ट कार्य के रूप में चुना जाता है जैसे कि डायराक डेल्टा फलन । चूँकि , बाद वाला वैध परीक्षण कार्य नहीं है (यह उचित कार्य भी नहीं है)।

परिभाषा में, कार्यात्मक व्युत्पन्न वर्णन करता है कि कैसे कार्यात्मक $$F[\rho(x)]$$ पूरे फलन $$\rho(x)$$ में छोटे से परिवर्तन के परिणामस्वरूप परिवर्तन है। $$\rho(x)$$ में परिवर्तन का विशेष रूप निर्दिष्ट नहीं है, किन्तु इसे पूरे अंतराल पर $$x$$ फैलाना चाहिए परिभाषित किया गया। डेल्टा व्युत्पन्न $$\rho(x)$$ द्वारा दिए गए गड़बड़ी के विशेष रूप को नियोजित करने का अर्थ है केवल बिंदु $$y$$ में भिन्न है. इस बिंदु $$\rho(x)$$ को छोड़कर इसमें कोई भिन्नता नहीं है।