Dérivée fonctionnelle
|
|
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
La dérivée fonctionnelle est un outil mathématique du calcul des variations.
Soit
une fonctionnelle, c'est-à-dire une application d'un espace de Banach de fonctions dans le corps des nombres réels ou complexes. L'objet
, appelé dérivée fonctionnelle ou dérivée de Fréchet, représente la variation
de la fonctionnelle
rapportée à la variation de la fonction
au point
. Par conséquent, la dérivée fonctionnelle elle-même dépend de
. On peut adopter comme définition :
,
ce qui implique que la variation totale de
sous l'effet de la variation de la fonction
est une superposition linéaire des changements locaux additionnés sur toute la plage de variation de
.
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
une variation de grandeur
localisée au point
:
En insérant cela dans la première définition, on obtient :
En passant à la limite
, on a :
Règles de calcul[modifier]
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
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[modifier]
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)](http://upload.wikimedia.org/math/4/c/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)}](http://upload.wikimedia.org/math/c/2/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}](http://upload.wikimedia.org/math/0/4/e/04e99fa3922fd19a338f4624c5003af7.png)
est donnée par :
![\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)}](http://upload.wikimedia.org/math/d/b/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)}](http://upload.wikimedia.org/math/a/7/b/a7b78efe9fc39712bf13fa02e547f5bf.png)