Quiero extremizar esta bien conocida acción.
Otra pregunta es: ¿cuál sería la notación que representa la derivada funcional de ? Aunque sé que es algo que reside en el integrando y después de calcular podemos obtener una expresión para esto como a continuación.
De hecho, tiene razón en lo que respecta a la definición. Se puede definir una derivada funcional direccional de la siguiente manera.
Dado un funcional , Una función (el "punto") y una función (la "dirección"), podemos considerar la familia de funciones . Entonces es sólo una función regular de , y definimos la derivada funcional de en en la dirección de como
Decimos que la derivada funcional de en es cero si lo anterior se anula para todos . El problema es que para verificar que la derivada es cero, debe verificar todas las funciones posibles , que claramente no es muy práctico. Por eso hay otra definición muy relacionada: decimos que es diferenciable si tenemos que
dónde es un funcional lineal y va a cero cuadráticamente como y su derivada van a cero uniformemente (ver Métodos matemáticos de mecánica clásica de Arnold ). Si tenemos suerte, y en física a menudo tenemos suerte, podemos escribir el funcional como
(no olvides que y depender de ), y llamamos la derivada funcional de . es lo que llamé la derivada direccional anterior; la ventaja de esta definición es que todo se reduce a la función única .
En tu notación ya está parametrizado por , puedes volver a etiquetarlo pero estas son solo etiquetas y, por lo tanto, no son significativas para lo que elegimos que sean. Tu intuición es correcta, tienes que encontrar el que extremiza la acción.
La derivada de la funcional significa la derivada total
Donde he usado la regla de la cadena.
SaidurRahman