Aquí hay una gama bastante diversa de respuestas, pero aventuraré otra.
¡No hay un significado más profundo!
En resumen, el principio de menor acción es solo una consecuencia matemática derivada de la minimización generalizada de la ruta utilizando el cálculo de variaciones.
Como principio utilizado en física; generalmente es aplicable porque las soluciones dinámicas en física son a menudo únicas. Por ejemplo, el camino o la trayectoria que toma una partícula bajo la gravedad se define de manera única. Si existe una trayectoria o trayectoria, se puede utilizar el principio de menor acción. Eso es porque la derivación matemática comienza desde un camino único. Es la correspondencia entre una solución única y un camino único que une el aparato matemático con la física.
El uso del principio de menor acción en física implica encontrar un lagrangiano. El lagrangiano es solo el funcional que satisface el principio de menor acción. Esa es la definición del lagrangiano y la razón principal por la que encontrar un lagrangiano es tan importante en física (también hay otras razones).
Cuando originalmente tomé el curso de segundo año de mecánica clásica, estaba bastante confundido acerca de lo que era un lagrangiano. El profesor lo presentó como un hecho sin ninguna ayuda para la comprensión. Así que simplemente me senté en el curso, hice el examen y luego lo dejé a un lado, dejando que una de las herramientas más poderosas de la física se pudriera en un oscuro recoveco de mi cerebro, sin tratar de aclarar los conceptos subyacentes. Recuerdo que me preguntaba por qué el lagrangiano debería ser dado por [math] L = TV [/ math]. Ahora me doy cuenta de que ese es el lagrangiano que satisface la ecuación de movimiento de Newton. Es el concepto de lagrangiana lo que es más importante, no la forma particular.
El lagrangiano es el funcional que satisface el principio de menor acción.
Vamos a deducirlo para que esta correspondencia se vuelva más clara.
La derivación a continuación es puramente matemática, sin ninguna consideración de ningún sistema físico o leyes físicas. Solo al final de la derivación hago un cambio entre las matemáticas y la física simplemente observando una correspondencia y cambiando la notación.
¿Qué información necesitamos para definir un camino?
Si tenemos el valor, [matemática] y [/ matemática] en algún punto [matemática] x [/ matemática], no hay suficiente información para decirnos cómo pasar al siguiente punto, en [matemática] x + \ Delta x [/matemáticas]. Sin embargo, si tenemos la primera derivada, [math] y ‘[/ math], entonces podemos pasar al siguiente punto. Por lo tanto, se puede construir una ruta con un valor inicial y una dirección hacia el siguiente valor a medida que variamos algún parámetro, [math] x [/ math].
Considere algunas funciones [matemáticas] F (y (x), y ‘(x), x) [/ matemáticas] que describen una ruta, donde [matemáticas] y (x) [/ matemáticas] y [matemáticas] y’ (x ) [/ math] son números parametrizados por el valor de [math] x [/ math] que tienen información suficiente para determinar el siguiente paso. A medida que aumentamos el parámetro [math] x [/ math], nos movemos a lo largo del camino.
Es simple escribir la ruta integral usando el funcional en este formulario. Consideremos entonces la integral de la ruta entre dos valores [matemática] x = a, b [/ matemática].
[matemáticas] I = \ displaystyle \ int_a ^ b F (y (x), y ‘(x), x) \, dx [/ math]
Ahora considere una ruta alternativa que comienza y termina en los mismos puntos [matemática] x = a, b [/ matemática]. Podemos definir la nueva ruta cambiando el valor, [math] y (x) [/ math] de la ruta y su derivada en cada punto de acuerdo con,
[matemáticas] Y (x) = y (x) + \ epsilon \ eta (x) [/ matemáticas]
donde [matemáticas] \ eta (a) = \ eta (b) = 0 [/ matemáticas].
Este nuevo camino comienza y termina en los mismos puntos, pero difiere arbitrariamente entre los dos puntos finales. Cualquier camino alternativo se puede construir de esta manera. [math] \ epsilon [/ math] es el parámetro variacional tal que como [math] \ epsilon \ a 0 [/ math] recuperamos la ruta original.
La integral a lo largo de estos otros caminos viene dada por
[matemáticas] I_Y = \ displaystyle \ int_a ^ b F (Y (x), Y ‘(x), x) \, dx [/ math]
Ahora tenemos toda una serie de integrales correspondientes a diferentes caminos. ¿Cómo elegimos nuestro camino especial, de todos los otros caminos? Podemos buscar una propiedad de nuestro camino especial que la identifique de manera única entre todos los demás. Una de esas propiedades es que la integral correspondiente a nuestro camino deseado es, en cierto sentido, única. Esto puede satisfacerse si la ruta integral es un mínimo.
Puede ser útil agregar en este punto que la longitud mínima del camino generalmente está bien definida, mientras que otras soluciones extremas generalmente no están bien definidas. Por ejemplo, generalmente no es posible encontrar una longitud de ruta máxima porque se puede construir fácilmente una ruta más larga. Por lo tanto, el término “minimización de ruta” se usa generalmente.
Si requerimos que la ruta mínima sea [math] I [/ math], entonces podemos tomar la derivada de la integral con respecto a [math] \ epsilon [/ math] (evaluada en el límite de [math] \ epsilon = 0 [/ math]) y lo siguiente es cierto,
[matemáticas] \ left. \ dfrac {d I_Y} {d \ epsilon} \ right | _ {\ epsilon = 0} = 0 [/ math]
[matemáticas] \ izquierda. \ displaystyle \ int_a ^ b \ dfrac {d} {d \ epsilon} F (Y (x), Y ‘(x), x) \ right | _ {\ epsilon = 0} \, dx = 0 [/ matemáticas]
Podemos evaluar las derivadas con respecto a [math] \ epsilon [/ math] en la integral usando la regla de la cadena de la siguiente manera,
[matemáticas] \ dfrac {dF} {d \ epsilon} = \ dfrac {\ partial F} {\ partial Y} \ dfrac {\ partial Y} {\ partial \ epsilon} + \ dfrac {\ partial F} {\ partial Y ‘} \ dfrac {\ partial Y’} {\ partial \ epsilon}. [/ Math]
Tenemos,
[matemáticas] \ dfrac {\ partial Y} {\ partial \ epsilon} = \ eta (x) [/ math]
[matemática] \ dfrac {\ parcial Y ‘} {\ parcial \ epsilon} = \ eta’ (x) [/ matemática]
Así obtenemos la integral,
[matemáticas] \ left. \ displaystyle \ int_a ^ b \ left (\ dfrac {\ partial F} {\ partial Y} \ eta + \ dfrac {\ partial F} {\ partial Y ‘} \ eta’ \ right) \ right | _ {\ epsilon = 0} \, dx = 0 [/ math]
Luego usamos sustituto para el segundo término,
[matemáticas] \ displaystyle \ int_a ^ b \ dfrac {\ partial F} {\ partial Y ‘} \ eta’ \, dx = \ left. \ dfrac {\ partial F} {\ partial Y ‘} \ eta \ right | _a ^ b – \ displaystyle \ int_a ^ b \ dfrac {\ partial} {\ partial x} \ dfrac {\ partial F} {\ partial Y ‘} \ eta \, dx [/ math]
Observamos que según nuestra definición inicial de [math] \ eta [/ math], que,
[matemáticas] \ izquierda. \ dfrac {\ parcial F} {\ parcial Y ‘} \ eta \ derecha | _a ^ b = 0 [/ matemática]
dejando la siguiente integral,
[matemáticas] \ left. \ dfrac {d I_Y} {d \ epsilon} \ right | _ {\ epsilon = 0} = \ left. \ displaystyle \ int_a ^ b \ left (\ dfrac {\ partial F} {\ partial Y} – \ dfrac {\ partial} {\ partial x} \ dfrac {\ partial F} {\ partial Y ‘} \ right) \ right | _ {\ epsilon = 0} \ eta \, dx [/ math]
En general, la integral va a cero para cualquier función, [matemática] F [/ matemática] en [matemática] \ epsilon = 0 [/ matemática] satisfactoria,
[matemáticas] \ dfrac {\ partial F} {\ partial y} – \ dfrac {d} {dx} \ dfrac {\ partial F} {\ partial y ‘} = 0 [/ math]
Estas son las ecuaciones de Euler-Lagrange.
La función funcional que satisface las ecuaciones de Euler-Lagrange se llama lagrangiana.
La derivación anterior fue completamente una técnica matemática para encontrar la solución de ruta mínima, entre todas las otras rutas alternativas.
La definición matemática de una ruta corresponde muy naturalmente a los sistemas físicos donde la posición y la velocidad están parametrizadas por el tiempo .
Así definimos la acción , [matemática] S [/ matemática], como,
[matemáticas] S = \ displaystyle \ int_a ^ b L \, dt [/ matemáticas]
que debe ser un mínimo de acuerdo con las propiedades de los lagrangianos.
Sabemos que la acción debe ser mínima porque hemos derivado las condiciones para que esto sea así. Así podemos ver que el lagrangiano es solo el funcional que satisface las ecuaciones de Euler-Lagrange. Cuando mapeamos esta construcción matemática en sistemas físicos, encontramos que podemos recuperar todas las leyes físicas apropiadas.
El principio de la menor acción simplemente proporciona un método poderoso y más general para resolver problemas en física. Sin embargo, sus raíces están puramente en lógica matemática. Puede ver en la derivación que la totalidad se acaba de derivar utilizando una definición matemática de una ruta. Utilizamos la minimización para seleccionar una ruta especial, entre muchas otras rutas. Descubrimos que la forma del camino funcional debe satisfacer las ecuaciones de Euler-Lagrange para que tenga la longitud mínima del camino. Solo al final identificamos el parámetro con el tiempo y llamamos a la longitud mínima de la ruta, la acción . La razón por la que podemos usar el formalismo matemático con la física es que podemos mapear la dinámica física en el concepto matemático de un camino .
En esencia, el principio de menor acción es una herramienta matemática que los físicos han encontrado muy útil.