En matemáticas y física teórica , la derivada funcional es una generalización de la derivada direccional . La diferencia radica en que para los segundos la diferenciación se realiza en la dirección de algún vector , mientras que para los primeros estamos hablando de una función. Ambos conceptos pueden verse como una generalización del cálculo diferencial habitual .
Hay dos tipos principales de derivadas funcionales, correspondientes a la definición general de la derivada de Fréchet y la derivada de Gateaux de una función en un espacio de Banach. En la práctica, a menudo no difieren.
Sea alguna funcional , es decir, una función definida sobre un cierto conjunto de funciones. El valor de un funcional en una función se denota por . Su derivada Gateaux (derivada direccional) es el límite (si existe) de la expresión . Aquí hay alguna función del dominio de definición . Tenga en cuenta que dicha derivada, en términos generales, depende de la elección de la función . En este sentido, la situación es bastante análoga a la de dimensión finita. Por ejemplo, una función es derivable en un punto a la derecha y a la izquierda, pero estas derivadas unilaterales son diferentes y, en el sentido habitual, esta función no es derivable en 0.
Mucho más a menudo en las aplicaciones, surge una derivada de la funcional, que es similar a la clásica derivada de dimensión finita y es un caso especial de la derivada de Gateaux. Sin dar una definición general, consideremos un ejemplo típico: la búsqueda de un extremo de un funcional en el conjunto de trayectorias que pasan por dos puntos dados. Tal problema surge en el estudio de problemas de mecánica clásica utilizando el principio de mínima acción , un tipo similar de problema de encontrar una figura de área máxima con un perímetro dado, etc.
Deje que el funcional tenga una forma integral [1]
Su primera variación se llama la expresión
Si se representa en la forma
hasta valores de segundo orden con respecto a , entonces la función se denomina derivada funcional [2] con respecto a y denotada por . El funcional se llama derivable .
Específicamente, en este problema , pero en el caso general, la respuesta depende significativamente del enunciado del problema y de las condiciones de contorno.
Si el funcional es diferenciable, entonces es posible definir un análogo de la segunda derivada (en este caso, es bastante similar a la matriz de segundas derivadas parciales ). Expandiendo la variación total a segundo orden y descartando las cantidades de primer orden, obtenemos una expresión llamada segunda variación de la funcional :
La derivada funcional con respecto a las propiedades es similar a la habitual. Por ejemplo:
y así.
La entropía de la información de una variable aleatoria discreta es la funcional de la función de probabilidad .
Es por eso
Es por eso
Dejar
Usamos la función delta como función de prueba:
Es por eso