Principio de acción y derivada funcional en CM

Quiero extremizar esta bien conocida acción.

S [ ϕ ] = L ( ϕ ( t ) , ϕ ˙ ( t ) ) d t
El resultado también es bien conocido. Resulta ser la ecuación EL. El principio de acción establece que la variación funcional o variación de acción debe ser cero para un determinado ϕ es decir,
d S = 0
Así que para variar ϕ , ¿Puedo pensar en esto? ϕ parametrizado por λ como ϕ ϕ λ ( t ) y varíe la acción de modo que para diferentes λ diferente ϕ se asigna para comprobar qué ϕ extremiza la acción? También la expresión de d S . no es
d S = d S d λ
en este caso que es seguido por
d L = d L d λ
y
d ϕ = d ϕ d λ   ?

Otra pregunta es: ¿cuál sería la notación que representa la derivada funcional de S [ ϕ ] ? Aunque sé que es algo que reside en el integrando y después de calcular d L podemos obtener una expresión para esto como a continuación.

L ϕ d d t ( L ϕ ˙ )

@Qmechanic: he corregido la publicación. Perdón por usar una notación incorrecta. λ debería haber sido dado como un índice. en realidad quise decir ϕ es una función de t . Y ϕ λ ( t ) denota una familia de ϕ ( t ) 's.

Respuestas (2)

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 S , Una función ϕ 0 (el "punto") y una función α (la "dirección"), podemos considerar la familia de funciones ϕ ϵ = ϕ 0 + ϵ α . Entonces S [ ϕ ϵ ] es sólo una función regular de ϵ , y definimos la derivada funcional de S en ϕ 0 en la dirección de α como

d d ϵ S [ ϕ 0 + ϵ α ] | ϵ = 0 .

Decimos que la derivada funcional de S en ϕ 0 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 S es diferenciable si tenemos que

S [ ϕ 0 + α ] = S [ ϕ 0 ] + F [ α ] + O ( α 2 ) ,

dónde F es un funcional lineal y O ( α 2 ) 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 F como

F [ α ] = F ( t ) α ( t ) d t ,

(no olvides que F y F depender de ϕ 0 ), y llamamos F la derivada funcional de S . F [ α ] es lo que llamé la derivada direccional anterior; la ventaja de esta definición es que todo se reduce a la función única F .

En tu notación ϕ ya está parametrizado por t , puedes volver a etiquetarlo ϕ ( t ) ϕ ( λ ) 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 ϕ ( t ) que extremiza la acción.

La derivada de la funcional d S significa la derivada total

d S = d L ( ϕ ( t ) , ϕ ˙ ( t ) ) d t = ( L ϕ d ϕ d t + L ϕ ˙ d ϕ ˙ d t ) d t

Donde he usado la regla de la cadena.

Bueno. He corregido la publicación. λ debería haber sido dado como un índice. No quise decir eso en el lugar de t .
Indicando ϕ con una etiqueta ϕ ϕ λ nuevamente no es muy significativo, solo está cambiando el "nombre" de la función. ¿Cuáles son exactamente las diferencias entre los ϕ λ ? El principio de acción establece que existe alguna trayectoria en el tiempo ϕ ( t ) que seguirá una partícula y esta trayectoria es la que minimiza la acción. ϕ ( t ) ya encapsula todas las trayectorias posibles en el tiempo, simplemente no sabes cuál. Al minimizar la acción, obtienes las restricciones (ecuaciones de Euler-Lagrange) que te ayudarán a encontrar la trayectoria correcta.
Entonces supongo que usando λ aquí es redundante. Eliminando esta redundancia, entonces d S = d S d t y d L , d ϕ toman también la misma forma. ¿no es así?
Sí, seguir esta receta te llevará a las ecuaciones EL.
Bueno. Hay algunas cosas que necesito tener claras. Por qué está llamando d S la derivada funcional? Es una variación del funcional. La derivada debe ser con respecto a ϕ !! ¿Y cuál sería la notación de derivada funcional en este caso?