Derivada funcional

En las matemática y la física teórica, la derivada funcional es una generalización de la derivada usual que se presenta en el cálculo de variaciones. En una derivada funcional, en vez de diferenciar una función con respecto a una variable, uno diferencia una funcional con respecto a una función.

Definición

Dos posibles definiciones restringidas convenientemente para ciertos cómputos se dan aquí. Hay definiciones más generales de derivadas funcionales. La primera de ellas es la derivada de Gâuteaux (que generaliza el concepto de derivada direccional a espacios Banach de dimensión infinita):

Para cualquier funcional $F$ que aplica funciones $\phi :ℳ\to {ℝ}^n$ definidas sobre una variedad $ℳ$ (nótese que el conjunto de estas funciones forma un espacio de Banach), entonces, la derivada funcional en el sentido de Gâteaux es una distribución tal que para todas las funciones de prueba (test) f:

(1)$⟨\frac{\delta F[\phi (x)]}{\delta \phi (x)},f(x)⟩={\frac{d}{dϵ}F[\phi +ϵf]|}_{ϵ=0}.$

El límite anterior no tiene por qué existir, peor aún, aun cuando el límite existe puede depender de la función f escogida, por lo que la definición anterior debe entenderse más bien como una generalización de la derivada direccional, más que como una generalización del concepto de función diferenciable.

Definición alternativa

También se puede definir la derivada funcional en términos de un límite que involucra la delta de Dirac, δ:

(2)$\frac{\delta F[\varphi (x)]}{\delta \varphi (y)}=\underset{\epsilon \to 0}{lim}\frac{F[\varphi (x)+\epsilon \delta (x-y)]-F[\varphi (x)]}{\epsilon }.$

Las definiciones (1) y (2) no son equivalentes, ya que el resultado de la primera es siempre otro funcional, mientras que el resultado de la segunda definición es una distribución. Esto se ilustra con el siguiente ejemplo:

$Eva{l}_{x_0}[\varphi ]\mapsto \varphi (x_0)[={\int }_{ℝ}\delta (x-x_0)\varphi (x)dx]$

Las derivadas en los dos sentidos anteriores vienen dadas por:

${\left(\frac{\delta Eva{l}_{x_0}}{\delta \varphi }\right)}_{[f]}=f(x_0)\frac{\delta Eva{l}_{x_0}[\varphi (x)]}{\delta \varphi (y)}=\delta (x_0-y)$

Diferenciabilidad funcional

Si se considera una familia uniparamétrica de funciones suaves ${\psi }_{\lambda }:ℳ⟶{ℝ}^n$ y se considera la función de una variable real construida a partir de un funcional:

$S_{\lambda }=S[{\psi }_{\lambda }]$

Y suponiendo que para toda familia como la anterior que satisfaga determinadas condiciones existen las siguientes derivadas:

$\delta \psi ={\frac{d{\psi }_{\lambda }}{d\lambda }|}_{\lambda =0}{\frac{d{S}_{\lambda }}{d\lambda }|}_{\lambda =0}={\int }_{ℳ}\chi \delta \psi d^n\omega$

En esas condiciones se define la derivada funcional como:

(*)${\frac{\delta S_{\lambda }}{\delta \psi }|}_{{\psi }_0}=\chi$

Nótese que se satisface la anterior ecuación entonces el funcional lineal permite aproximar hasta primer orden al funcional original $S$. Nótese también que la expresión (*) es una aplicación lineal jacobiana que generaliza en concepto de matriz jacobiana.

Referencias

Bibliografía

• Robert M. Wald (1984): General Relativity, Chicago University Press, ISBN 0-226-87033-2.