Derivada funcional

En el càlcul de variacions, camp de l'anàlisi matemàtica, la derivada funcional (o derivada variacional) relaciona un canvi en una funció (una funcional en aquest sentit és una funció que actua sobre les funcions) amb un canvi en una funció en de la qual depèn el funcional.

En el càlcul de variacions, els funcionals solen expressar-se en termes d'una integral de funcions, els seus arguments i les seves derivades. En un integrand Plantilla:Math d'una funcional, si una funció Plantilla:Math es varia afegint-hi una altra funció Plantilla:Math que sigui arbitràriament petita, i l'integrand resultant s'expandeix en potències de Plantilla:Math, el coeficient de Plantilla:Math en el primer ordre s'anomena funcional derivat.Per exemple, considereu el funcional $$J[f]=\underset{a}{\overset{b}{\int }}L(x,f(x),f^{\prime }(x))dx,$$ on Plantilla:Math. Si Plantilla:Math es varia afegint-li una funció Plantilla:Math, i l'integrand resultant Plantilla:Math s'amplia en potències de Plantilla:Math, aleshores el canvi en el valor de Plantilla:Math al primer ordre en Plantilla:Math es pot expressar de la següent manera: $$\begin{array}{cc}\delta J& =\underset{a}{\overset{b}{\int }}(\frac{\partial L}{\partial f}\delta f(x)+\frac{\partial L}{\partial f^{\prime }}\frac{d}{dx}\delta f(x))dx\\ & =\underset{a}{\overset{b}{\int }}(\frac{\partial L}{\partial f}-\frac{d}{dx}\frac{\partial L}{\partial f^{\prime }})\delta f(x)dx+\frac{\partial L}{\partial f^{\prime }}(b)\delta f(b)-\frac{\partial L}{\partial f^{\prime }}(a)\delta f(a)\end{array}$$ on la variació de la derivada, Plantilla:Math es va reescriure com a derivada de la variació Plantilla:Math, i es va utilitzar la integració per parts en aquestes derivades.

Definició

En aquest apartat, es defineix el diferencial funcional (o variació o primera variació). Aleshores la derivada funcional es defineix en termes de la diferencial funcional.

Diferencial funcional

Suposem $B$ és un espai de Banach i $F$ és un funcional definit en $B$. El diferencial de $F$ en un punt $\rho \in B$ és la funcional lineal $\delta F[\rho ,\cdot ]$ activat $B$ definit per la condició que, per a tots $\varphi \in B$, $$F[\rho +\varphi ]-F[\rho ]=\delta F[\rho ;\varphi ]+\epsilon \Vert \varphi \Vert$$ on $\epsilon$ és un nombre real que depèn de $\Vert \varphi \Vert$ de tal manera que $\epsilon \to 0$ com $\Vert \varphi \Vert \to 0$. Això vol dir que $\delta F[\rho ,\cdot ]$ és el derivat de Fréchet $F$ a les $\rho$.

Tanmateix, aquesta noció de diferencial funcional és tan forta que potser no existeix, i en aquests casos es prefereix una noció més feble, com la derivada de Gateaux. En molts casos pràctics, el diferencial funcional es defineix com la derivada direccional $$\begin{array}{cc}\delta F[\rho ,\varphi ]& =\underset{\epsilon \to 0}{\lim }\frac{F[\rho +\epsilon \varphi ]-F[\rho ]}{\epsilon }\\ & ={[\frac{d}{d\epsilon }F[\rho +\epsilon \varphi ]]}_{\epsilon =0}.\end{array}$$ Tingueu en compte que aquesta noció de diferencial funcional fins i tot es pot definir sense una norma.

Derivada funcional

En moltes aplicacions, el domini del funcional $F$ és un espai de funcions diferenciables $\rho$ definit en algun espai $\mathrm{\Omega }$ i $F$ és de la forma $$F[\rho ]=\underset{\mathrm{\Omega }}{\int }L(x,\rho (x),D\rho (x))dx$$ per alguna funció $L(x,\rho (x),D\rho (x))$ que pot dependre de $x$, el valor $\rho (x)$ i la derivada $D\rho (x)$. Si aquest és el cas i, a més, $\delta F[\rho ,\varphi ]$ es pot escriure com la integral de $\varphi$ vegades una altra funció (indicada Plantilla:Math ) $$\delta F[\rho ,\varphi ]=\underset{\mathrm{\Omega }}{\int }\frac{\delta F}{\delta \rho }(x)\varphi (x)dx$$ aleshores aquesta funció Plantilla:Math s'anomena derivada funcional de Plantilla:Math a Plantilla:Math. Si $F$ està restringit només a determinades funcions $\rho$ (per exemple, si hi ha algunes condicions de límit imposades), aleshores $\varphi$ està restringit a funcions tals que $\rho +\epsilon \varphi$ segueix complint aquestes condicions.

Heurísticament, $\varphi$ és el canvi en $\rho$, així que tenim "formalment". $\varphi =\delta \rho$, i llavors això és similar en forma a la diferencial total d'una funció $F({\rho }_1,{\rho }_2,\dots ,{\rho }_n)$, $$dF=\sum _{i=1}^n\frac{\partial F}{\partial {\rho }_i}d{\rho }_i,$$ on ${\rho }_1,{\rho }_2,\dots ,{\rho }_n$ són variables independents. Comparant les dues últimes equacions, la derivada funcional $\delta F/\delta \rho (x)$ té un paper semblant al de la derivada parcial $\partial F/\partial {\rho }_i$, on la variable d'integració $x$ és com una versió contínua de l'índex de suma $i$. Es pensa en Plantilla:Math com el gradient de Plantilla:Math en el punt Plantilla:Math, de manera que el valor Plantilla:Math mesura quant canviarà la funcional Plantilla:Math si es canvia la funció Plantilla:Math en el punt Plantilla:Math. D'aquí la fórmula $$\int \frac{\delta F}{\delta \rho }(x)\varphi (x)dx$$ es considera com la derivada direccional en el punt $\rho$ en direcció a $\varphi$. Això és anàleg al càlcul vectorial, on el producte intern d'un vector $v$ amb el gradient dóna la derivada direccional en la direcció de $v$.

Determinació de derivades funcionals

Una fórmula per determinar derivades funcionals per a una classe comuna de funcionals es pot escriure com la integral d'una funció i les seves derivades. Aquesta és una generalització de l'equació d'Euler-Lagrange: de fet, la derivada funcional es va introduir a la física dins de la derivació de l'equació de Lagrange del segon tipus a partir del principi de mínima acció en la mecànica lagrangiana (Plantilla:Segle). Els tres primers exemples següents estan extrets de la teoria funcional de la densitat (segle XX), el quart de la mecànica estadística (segle XIX).