In matematica e in fisica, la derivata funzionale è una generalizzazione della derivata direzionale. Mentre la derivata direzionale differenzia nella direzione di un vettore, la derivata funzionale differenzia nella direzione di una funzione. Entrambe possono essere viste come estensioni dell'usuale derivata.
Quando si considerano spazi localmente convessi, la derivata funzionale è indicata come derivata di Gâteaux. In particolare, se si tratta di spazi di Banach è detta derivata di Fréchet. In fisica teorica è usato un terzo tipo di derivata (euleriana), concettualmente più simile alla derivata parziale.
Nel calcolo delle variazioni, i funzionali sono frequentemente espressi mediante l'integrale di funzioni. Se ad esempio si considera un integrando
di un funzionale
:
![{\displaystyle J[f]=\int _{a}^{b}L[\,x,f(x),f\,'(x)\,]\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0231628f8737bc0509f0a662d1a76112ef1d4118)
con
, se si varia
aggiungendole un'altra funzione
arbitrariamente piccola, e si espande l'integrando
in potenze di
, allora la variazione del valore di
al primo ordine dello sviluppo in
può essere espressa come:
![{\displaystyle \delta J=\int _{a}^{b}{\frac {\delta J}{\delta f(x))){\delta f(x)}dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36003cfbd55a2ced08e5907650eb108a6907bc95)
Il coefficiente di
, denotato con
, è la derivata funzionale di
rispetto a
nel punto
. In questo caso, la derivata funzionale è il termine a sinistra nell'equazioni di Eulero-Lagrange:
![{\displaystyle {\frac {\delta J}{\delta f(x)))={\frac {\partial L}{\partial f))-{\frac {\operatorname {d} }{\operatorname {d} \!x)){\frac {\partial L}{\partial f'))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b29176dcb51e3e4450e5736a7fd98f9cb92695c)
Data una varietà
, una funzione
(che è in genere continua, liscia, o si richiede che soddisfi determinate condizioni al contorno) ed un funzionale
definito su
, la derivata funzionale di
è in generale definita da:
![{\displaystyle \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))](https://wikimedia.org/api/rest_v1/media/math/render/svg/62152561e4aafe87508b470fb9d6e9e2e1a1d33d)
dove
è detta variazione di
, e
è una funzione arbitraria.
A partire dalla derivata funzionale si definisce il differenziale funzionale come:
![{\displaystyle \delta F=\int {\frac {\delta F}{\delta \rho (x)))\ \delta \rho (x)\ dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0795277e7189336ddd978292adb3e491f0e370f2)
dove
è la variazione di
. Si tratta di un oggetto simile al differenziale totale di una funzione
:
![{\displaystyle dF=\sum _{i=1}^{n}{\frac {\partial F}{\partial \rho _{i))}\ d\rho _{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d1e5a189ffdd15d87201c82a8e9f02cc1ecd472)
dove
sono variabili indipendenti.
Confrontando le ultime due equazioni, si nota che la derivata funzionale
gioca un ruolo simile a quello della derivata parziale
, dove la variabile di integrazione
può essere vista come una versione continua dell'indice di sommatoria
.
La definizione di derivata funzionale può essere fornita in modo più preciso caratterizzando meglio lo spazio vettoriale topologico delle funzioni utilizzate. Ad esempio, se lo spazio è uno spazio di Banach la derivata funzionale è la derivata di Fréchet, mentre in generici spazi localmente convessi viene indicata come derivata di Gâteaux (il cui nome è dovuto al matematico francese René Gâteaux).
Siano
e
due spazi vettoriali topologici localmente convessi. Dati
e
, la derivata di Gâteaux
è data da quell'operatore tale che
![{\displaystyle DF[f;g]=\lim _{|h|\rightarrow 0}{\frac {F[f+hg]-F[f]}{|h|))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a473aa5933e0b929b62df321a614c1617ef53ca4)
Il simbolo
indica la norma del vettore
. Se il limite esiste per ogni
, il funzionale
è detto differenziabile secondo Gâteaux in
.
Dati
, un funzionale
è differenziabile secondo Fréchet se esiste un operatore lineare limitato
tale che:
![{\displaystyle \lim _{|g|\rightarrow 0}{\frac {F[f+g]-F[f]-A_{f}[g]}{|g|))=0\qquad \forall g\in X}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f4eff1aa4e5ae864f11d02236da6b92ff01fb7)
La nozione di differenziabilità di Fréchet è più forte di quella di Gâteaux: ogni funzione differenziabile secondo Fréchet lo è anche secondo Gâteaux, ma non viceversa.
In fisica, dove si ricorre spesso a funzionali integrali, si utilizza un'altra definizione di derivata, spesso riportata in termini della distribuzione nota come delta di Dirac
:
![{\displaystyle {\frac {\delta F[\phi (x)]}{\delta \phi (y)))=\lim _{\varepsilon \to 0}{\frac {F[\phi (x)+\varepsilon \delta (x-y)]-F[\phi (x)]}{\varepsilon ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05ee132cf968a4f4be3264827b310362022d6d4d)
Dato un funzionale integrale:
![{\displaystyle F[\phi (x)]=\int f[\phi (x)]{\text{d))x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0bb9516b47297d13a0b06115e806d8a40b3d4b88)
è possibile osservare il collegamento tra la derivata di Gâteaux o di Fréchet e la derivata euleriana in questa relazione:
![{\displaystyle DF[f;g]=\int \left[{\frac {\partial \phi (f)}{\partial f))\right]_{f=f(x)}{\frac {g(x)}{|g|))\,{\text{d))x=\int {\frac {\delta F}{\delta f(x))){\frac {g(x)}{|g|))\,{\text{d))x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d87fecc42d69508e3a4fd5462ae50309eec84a27)
da confrontare con l'espressione per la derivata direzionale di funzioni definite su
:
![{\displaystyle {\frac {\partial f({\vec {x)))}{\partial {\hat {e))))={\frac {\partial f({\vec {x)))}{\partial {\vec {x))))\cdot {\hat {e))=\sum _{i=1}^{n}{\frac {\partial f({\vec {x)))}{\partial x_{i))}{\hat {e))_{i))](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4573016d2f17acfbb257533241933df136d8a86)
In questi termini, la derivata euleriana è il nucleo di un operatore integrale lineare che, applicato ad una funzione di prova di norma unitaria
, fornisce la derivata funzionale in
lungo
. La derivata euleriana è analoga al gradiente in
: le componenti di quest'ultimo, infatti, sono le derivate direzionali lungo la direzione di una coordinata. La derivata euleriana si estrae dalla derivata di Fréchet applicando all'operatore lineare la distribuzione delta di Dirac, che può essere pensata alla stregua di uno degli elementi di base dello spazio a cui appartiene
(anche se essa stessa non vi appartiene).
Dalle definizioni è possibile dedurre le usuali proprietà delle derivate: linearità, omogeneità, regola della catena per funzionali composti, e così via.
Come per l'usuale derivata di una funzione, la derivata funzionale soddisfa le seguenti proprietà, dove
e
sono funzionali:
![{\displaystyle {\frac {\delta (\lambda F+\mu G)}{\delta \rho (x)))=\lambda {\frac {\delta F}{\delta \rho (x)))+\mu {\frac {\delta G}{\delta \rho (x)))\qquad \lambda ,\mu \in \mathbb {R} ,\mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/241bedfb14feac04e2e658873d347f7d9c2462e7)
![{\displaystyle {\frac {\delta (FG)}{\delta \rho (x)))={\frac {\delta F}{\delta \rho (x)))G+F{\frac {\delta G}{\delta \rho (x)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a98cea36a6f6aff2db689e61caf12b151cc931ff)
![{\displaystyle \displaystyle {\frac {\delta F[f(\rho )]}{\delta \rho (x)))={\frac {\delta F[f(\rho )]}{\delta f(\rho (x))))\ {\frac {df(\rho (x))}{d\rho (x)))\qquad {\frac {\delta f(F[\rho ])}{\delta \rho (x)))={\frac {df(F[\rho ])}{dF[\rho ]))\ {\frac {\delta F[\rho ]}{\delta \rho (x)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0fac3a8eb066de889877b94a219427900cade2f)
- con
una funzione differenziabile.
Vale la pena di discutere brevemente le derivate funzionali oltre la loro definizione matematica formale.
Le derivate funzionali appaiono regolarmente nei problemi fisici che obbediscono a principi variazionali, quindi, è utile mostrare come le derivate funzionali sono eseguite attraverso esempi rilevanti rispetto alla fisica.
Dato un funzionale della forma:
![{\displaystyle F[\rho ]=\int f(\mathbf {r} ,\rho ,\nabla \rho ,\nabla ^{2}\rho ,\cdots )d^{3}r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce79171b33bd64cc9bf203266eacfd69c0169882)
la derivata funzionale può essere scritta come:
![{\displaystyle {\frac {\delta F[\rho ]}{\delta \rho ))={\frac {\partial f}{\partial \rho ))-\nabla \cdot {\frac {\partial f}{\partial (\nabla \rho )))+\nabla ^{2}{\frac {\partial f}{\partial (\nabla ^{2}\rho )))-\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8aaddb2b5fcf453789977acb58d91757a1a84faa)
Si consideri il funzionale energia coulombiana
:
![{\displaystyle J[\rho ]=\int \left({\frac {1}{2))\int {\frac {\rho (\mathbf {r} )\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert ))d^{3}r'\right)d^{3}r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d98562cb7c4107f0c53be69527c088e357491175)
L'energia
dipende unicamente dalla densità di carica
, e non dipende dal suo gradiente, laplaciano, o derivate di ordine superiore. Quindi:
![{\displaystyle {\frac {\delta J[\rho ]}{\delta \rho ))={\frac {\partial j}{\partial \rho ))=\int {\frac {\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert ))d^{3}r'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83bf3fa6ac88750baf57442dd90b5d16b107cb54)
dove:
![{\displaystyle j={\frac {1}{2))\int {\frac {\rho (\mathbf {r} )\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert ))d^{3}r'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/27a33f10711b1b027f8198ee0c721a95af4780a4)
La derivata funzionale seconda del funzionale energia Coulombiana è:
![{\displaystyle {\frac {\delta ^{2}J[\rho ]}{\delta \rho ^{2))}={\frac {\delta }{\delta \rho ))\int {\frac {\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert ))d^{3}r'={\frac {\partial }{\partial \rho )){\frac {\rho (\mathbf {r} ')}{\vert \mathbf {r} -\mathbf {r} '\vert ))={\frac {1}{\vert \mathbf {r} -\mathbf {r} '\vert ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea204cb47a191323b13f438893b208d722c6d5ac)
Nel 1935 von Weizsäcker propose di aggiungere un gradiente correttivo al funzionale associato all'energia cinetica di Thomas-Fermi al fine di migliorare la descrizione della nuvola elettronica molecolare:
![{\displaystyle T[\rho ]=\int {\frac {1}{8)){\frac {\nabla \rho (\mathbf {r} )\cdot \nabla \rho (\mathbf {r} )}{\rho (\mathbf {r} )))d^{3}r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcc522a554dc463bd179bb8a6f20c1eb04603718)
Il funzionale
dipende dalla densità di carica e dal suo gradiente, quindi:
![{\displaystyle {\frac {\delta T[\rho ]}{\delta \rho ))={\frac {\partial t}{\partial \rho ))-\nabla \cdot {\frac {\partial t}{\partial (\nabla \rho )))=-{\frac {1}{8)){\frac {\nabla \rho (\mathbf {r} )\cdot \nabla \rho (\mathbf {r} )}{\rho (\mathbf {r} )^{2))}-\nabla \cdot \left({\frac {1}{4)){\frac {\nabla \rho (\mathbf {r} )}{\rho (\mathbf {r} )))\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4dd2e8b0fc6926534a8b3f899a340c20024e8c18)
dove:
![{\displaystyle t={\frac {1}{8)){\frac {\nabla \rho (\mathbf {r} )\cdot \nabla \rho (\mathbf {r} )}{\rho (\mathbf {r} )))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/224edac58833bf4ba5dc8c54f152b49477a16cfd)
Si nota infine che ogni funzione può venire scritta in termini di un funzionale. Per esempio:
![{\displaystyle \rho (\mathbf {r} )=\int \rho (\mathbf {r} ')\delta (\mathbf {r} -\mathbf {r} ')d^{3}r'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e6debd944ba401cd8c6beb92242522641b067c0)
Quindi:
![{\displaystyle {\frac {\delta \rho (\mathbf {r} )}{\delta \rho ))={\frac {\delta \int \rho (\mathbf {r} ')\delta (\mathbf {r} -\mathbf {r} ')d^{3}r'}{\delta \rho ))={\frac {\partial \left[\rho (\mathbf {r} ')\delta (\mathbf {r} -\mathbf {r} ')\right]}{\partial \rho ))=\delta (\mathbf {r} -\mathbf {r} ')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08dfbd6124557f8a99f0ea646b8c4d0eac284a1e)
- (EN) Richard Courant e David Hilbert, Chapter IV. The Calculus of Variations, in Methods of Mathematical Physics, Vol. I, First English, New York, New York, Interscience Publishers, Inc, 1953, pp. 164–274, ISBN 978-0-471-50447-4, MR 0065391, Zbl 0001.00501.
- (EN) R. G. Parr e W. Yang, Appendix A, Functionals, in Density-Functional Theory of Atoms and Molecules, New York, Oxford University Press, 1989, pp. 246–254, ISBN 978-0-19-504279-5.
- (EN) Springer - Appendix A: Functionals and the Functional Derivative (PDF) [collegamento interrotto], su download.springer.com.
- (EN) Béla A. Frigyik, Santosh Srivastava e Maya R. Gupta, Introduction to Functional Derivatives (PDF), UWEE Tech Report, UWEETR-2008-0001, Seattle, WA, Department of Electrical Engineering at the University of Washington, gennaio 2008, p. 7. URL consultato il 21 dicembre 2013 (archiviato dall'url originale il 17 febbraio 2017).
- (EN) I. M. Gelfand e S. V. Fomin, Calculus of variations, translated and edited by Richard A. Silverman, Revised English, Mineola, N.Y., Dover Publications, 2000 [1963], ISBN 978-0-486-41448-5, MR 0160139, Zbl 0127.05402.
- (EN) Mariano Giaquinta e Stefan Hildebrandt, Calculus of Variations 1. The Lagrangian Formalism, Grundlehren der Mathematischen Wissenschaften, vol. 310, 1st, Berlin, Springer-Verlag, 1996, ISBN 3-540-50625-X, MR 1368401, Zbl 0853.49001.
- (EN) Walter Greiner e Joachim Reinhardt, Section 2.3 – Functional derivatives, in Field quantization, With a foreword by D. A. Bromley, Berlin–Heidelberg–New York, Springer-Verlag, 1996, pp. 36–38, ISBN 3-540-59179-6, MR 1383589, Zbl 0844.00006.