- Dérivée fonctionnelle
-
La dérivée fonctionnelle est un outil mathématique du calcul des variations.
Soit F[ϕ] une fonctionnelle, c'est-à-dire une application d'un espace de Banach dans le champ des nombres réels ou complexes. L'objet
![\tfrac{\delta F\left[\phi\right]}{\delta\phi(x)}](1/ca1ce091521893ff9dfd77403951c6b6.png)
, appelé dérivée fonctionnelle ou dérivée de Fréchet, représente la variation δF[ϕ] de la fonctionnelle F[ϕ] rapportée à la variation de la fonction ϕ(x) au point x. Par conséquent, la dérivée fonctionnelle elle-même dépend de x. On peut adopter comme définition :![\delta F\left[\phi\right]=\int\mathrm dx \frac{\delta F \left[\phi\right]}{\delta \phi(x)} \delta\phi(x)](2/872e47ecff480be54eb0668e0cf7a179.png)
,
ce qui implique que la variation totale de F sous l'effet de la variation de la fonction ϕ(x) est une superposition linéaire des changements locaux additionnés sur toute la plage de variation de x.
On peut aussi définir la dérivée fonctionnelle à la façon d'une dérivée classique, comme la limite d'un rapport entre deux variations. Pour montrer cela, on va imposer à la fonction ϕ(x) une variation de grandeur
localisée au point y :En insérant cela dans la première définition, on obtient :
En passant à la limite
, on a :Règles de calcul
La dérivée fonctionnelle obéit à des règles semblables à celles du calcul différentiel ordinaire :
- Elle est linéaire.
- La dérivée fonctionnelle d'un produit de deux fonctionnelles
![F\left[\phi\right]=G\left[\phi\right]H\left[\phi\right]](e/78e79939a20a9f404573f6ea02d0d006.png)
est donnée par :
- La dérivée fonctionnelle d'une fonctionnelle de fonctionnelle est donnée par la règle de la chaîne :
En physique
La dérivée fonctionnelle est une technique standard de minimisation (par exemple, minimisation d'un potentiel énergétique). Les calculs ne sont la plupart du temps pas justifiés formellement (d'un point de vue mathématique), la règle informelle suivante étant la plus souvent appliquée :
Cette équation se démontre à partir de l'équation aux limites ci-dessus.
![\delta\phi\left[ x\right]=\epsilon \delta(x-y)](a/4caa1799c6840b601965136cb1e6da63.png)
![\delta F\left[\phi\right]=F\left[\phi+\epsilon\delta(x-y)\right]-F\left[\phi\right]=\int \mathrm dx \frac{\delta F \left[\phi\right]}{\delta \phi(x)} \epsilon\delta(x-y)=\epsilon\frac{\delta F \left[\phi\right]}{\delta \phi(y)}](4/c2492ca43e7395468e5250878f7f53f9.png)
![\frac{\delta F \left[\phi\right]}{\delta \phi(y)}=\lim_{\varepsilon \to 0}\frac{F\left[\phi+\varepsilon\delta(x-y)\right]-F\left[\phi\right]}{\varepsilon}](e/04e99fa3922fd19a338f4624c5003af7.png)
![\frac{\delta F \left[\phi\right]}{\delta \phi(x)}=\frac{\delta G \left[\phi\right]}{\delta \phi(x)}H\left[\phi\right]+G\left[\phi\right]\frac{\delta H \left[\phi\right]}{\delta \phi(x)}](2/db21e9822236ba6ffe8f4a8582284865.png)
![\frac{\delta}{\delta\phi(y)}F\bigl[G\left[\phi\right]\bigr]=\int\mathrm dx \frac{\delta F\left[G\right]}{\delta G(x)}\frac{\delta G\left[\phi\right]}{\delta \phi (y)}](b/a7b78efe9fc39712bf13fa02e547f5bf.png)
Wikimedia Foundation. 2010.
