Ecuación de movimiento a través del Lagrangiano con multiplicadores de Lagrange

Pido consejo, porque estoy un poco confundido.

Tenemos tal lagrangiano:

L = 1 2 metro ( X ˙ 2 + y ˙ 2 ) λ ( X + X y + y 1 )

Aquí λ ( X + X y + y 1 ) es la restricción sobre las variables de fase.

Necesito derivar la ecuación de movimiento dadas las restricciones y resolverlas numéricamente con la ayuda de NDSolve.

Hacemos esto de acuerdo con la fórmula clásica:

d d t ( d L d q ˙ ) d L d q = 0

Dónde q = [ X , y ] son coordenadas generalizadas. No estoy seguro sobre el multiplicador de Lagrange como una coordenada generalizada.

Clear["Derivative"]

ClearAll["Global`*"]

T = 1/2 m (x'[t]^2 + y'[t]^2);(*Kinetic Energy*)

f = \[Lambda] (x[t] + x[t] y[t] +y[t] - 1);(*Constraint*)

L = T - f;(*Lagrangian*)

D[D[L, x'[t]], t] - D[L, x[t]];

D[D[L, y'[t]], t] - D[L, y[t]];

D[D[L, \[Lambda]'[t]], t] - D[L, \[Lambda][t]];

Pregunta: ¿cómo se incluyen los multiplicadores de Lagrange en este sistema al compilar el sistema ODE y resolverlo numéricamente?

¿Quizás esta ayuda?

https://farside.ph.utexas.edu/teaching/336k/lectures/node90.html

https://www.sciencedirect.com/science/article/abs/pii/0045782588900850

Estás tratando de moverte a lo largo de la curva X + X y + y = 1 , ¿entonces? Si es así, su función no especifica cómo debería evolucionar la velocidad. Alternativamente, ¿podría entender esto como que hay una energía potencial que penaliza su distancia desde allí? Si es lo último, entonces realmente no tienes un multiplicador de Lagrange, solo tienes un coeficiente de intensidad para la energía potencial.
@lan Sí, y necesito comprender el principio de obtener un sistema de ecuaciones diferenciales (es decir, obtener un sistema de ecuaciones de movimiento) para diferentes tipos de restricciones y resolverlo numéricamente.
Bueno, no creo que esa restricción te diga cómo procederá la evolución, si permaneces en la curva todo el tiempo. Necesita alguna otra fuente de fuerza, de lo contrario, el sistema simplemente se sentará en un punto de la curva para siempre.
@lan No capté claramente el mensaje de su comentario, pero en cuanto a las velocidades, las velocidades iniciales (es decir, los valores de las primeras derivadas en el momento inicial del tiempo) se pueden establecer mediante una solución numérica.
No creo que pueda simplemente poner el sistema en movimiento y someterlo a la restricción y luego simplemente hacer que "decida" cómo permanecer en la curva sin un campo de fuerza, pero podría estar equivocado, esta no es mi área. de experiencia
@lan Entonces, consideremos su segunda oración, sobre la limitación que actúa como energía potencial repulsiva. Entonces, ¿cómo cambiará la ecuación diferencial original?
Bueno, entonces regresas esencialmente a la dinámica lagrangiana ordinaria, no hay un "multiplicador de Lagrange", solo hay una energía potencial que te empuja hacia la curva deseada.
@lan Ayúdame a reescribir la ecuación original. Este es un enfoque poco convencional para resolver el problema y puede ser útil para otros usuarios. Puedes ponerlo en forma de respuesta, te lo agradeceré.

Respuestas (2)

Si el lagrangiano subyacente es solo energía cinética (es decir, no hay energía potencial en el sistema) y necesita permanecer en la curva F = 0 , entonces las ecuaciones de Newton para la dinámica lagrangiana restringida se vuelven simplemente metro X ¨ λ ( t ) F X = 0 , metro y ¨ λ ( t ) F y = 0 , entonces la fuerza apunta paralela a F pero con un coeficiente que depende del tiempo, y el requisito de que la restricción se cumpla todo el tiempo determina la evolución de λ . Para que estas ecuaciones sean consistentes, la velocidad inicial deberá ser tangente a la curva, pero en este caso puedes resolver las dos ecuaciones diferenciales junto con la ecuación algebraica para describir la evolución.

Tenga en cuenta que esta dinámica lagrangiana restringida corresponde físicamente a "componer la fuerza correcta que lo mantiene en la curva especificada" (por lo que es un poco menos mágico de lo que parece a primera vista). Para un ejemplo clásico, puedes pensar en moverte en el círculo. X 2 + y 2 = r 2 a partir de ( r , 0 ) con velocidad inicial ( 0 , v ) . A partir de esto se puede recuperar lo familiar a = v 2 r mi r .

Una vista quizás más física de una situación como esta en ausencia de cualquier energía potencial significativa es simplemente tomar una función estrictamente convexa GRAMO minimizado en cero (por ejemplo GRAMO ( X ) = X 2 ). y ejecuta la evolución con metro ( X ¨ , y ¨ ) T = GRAMO ( F ( X , y ) ) .

Gracias por su respuesta. Veo que la cuestión no es tan sencilla como parece y hay varios matices. 1. ¿Qué cambiará si se agrega energía potencial al sistema? 2. Y cómo hacer que el Lagrangiano evolucione correctamente, es decir, elegir un cambio en el λ ¿coeficiente?
@dtn 1. Puede seguir su primer enlace para ver cómo se introduce otro término si hay otra fuerza como la gravedad en el sistema. Este término toma el habitual L q forma. 2. Desde el punto de vista matemático, esto se llama ecuación algebraica diferencial (DAE)... cómo se manejan numéricamente depende mucho del problema real al que te enfrentas. Yo tampoco soy un experto en esto.
Consulte mathematica.stackexchange.com/questions/256885/… tal vez sea útil en el futuro

Este es un sistema DAE de índice 2 o 3. Se obtiene un sistema ODE sumando derivadas de la ecuación, principalmente la restricción, al sistema.

X + X y + y = 1 , X ˙ ( 1 + y ) + y ˙ ( 1 + X ) = 0 , X ¨ ( 1 + y ) + y ¨ ( 1 + X ) + 2 X ˙ y ˙ = 0
De la última ecuación, elimine las segundas derivadas para obtener una ecuación para el multiplicador de Lagrange. Con otra derivada (por lo tanto, el índice 3) obtienes una EDO para el multiplicador.
metro X ¨ = λ ( 1 + y ) metro y ¨ = λ ( 1 + y ) λ [ ( 1 + X ) 2 + ( 1 + y ) 2 ] + 2 metro X ˙ y ˙ = 0 λ = 2 metro X ˙ y ˙ ( 1 + X ) 2 + ( 1 + y ) 2

¡Gracias por su respuesta! Consulte mathematica.stackexchange.com/questions/256885/… tal vez sea útil en el futuro
Agregué el resultado que uno debería obtener para λ . Esto es suficiente para obtener las ecuaciones de movimiento en X , y , X ˙ , y ˙ solo. Para la derivada de λ aplicar la regla del cociente para obtener una expresión racional más complicada.
Este enfoque no funcionó. Intenté tanto eso como el sugerido aquí. La solución numérica de los sistemas de ecuaciones obtenidos muestra que la dinámica del multiplicador lagrangiano no cumple con las restricciones indicadas. Consulte mathematica.stackexchange.com/questions/256885/… Parece que programé todo correctamente. No veo el error todavía.
Tus condiciones iniciales allí no satisfacen la ecuación de restricción. 1 2 + 1 4 · 1 2 + 1 4 = 7 8 , y la integración numérica debería permanecer aproximadamente en esta constante para X + X y + y .
Sí, ya he corregido este error. Y el principio ahora está más o menos completamente claro para mí, al parecer.