Ejercicio sobre ecuaciones de Lagrange-Euler

Estoy resolviendo un ejercicio sobre las ecuaciones de Lagrange-Euler, que dice lo siguiente:

Dejar γ ( t ) = { ( t , q ) : q = q ( t ) , t 0 t t 1 } ser una curva en R × R 2 . más dejar F ( q , q ˙ , t ) ser la función de R 2 × R 2 × R R por lo que el funcional Φ = t 0 t 1 F ( q , q ˙ , t ) d t es la longitud de la curva.

(a) ¿Cuál es la forma de Φ en coordenadas cartesianas? ¿Cuál es su forma en coordenadas polares?

(b) Dé las ecuaciones de Euler-Lagrange en ambos sistemas de coordenadas.

(c) Resuelva las ecuaciones diferenciales en ambos sistemas de coordenadas y demuestre que las soluciones son las mismas.

Ahora, mi problema comienza con dar la forma de Φ . Encontré que el elemento de longitud en coordenadas cartesianas es d s = d X 2 + d y 2 , así que con

d s = d s d t d t = ( d X d t ) 2 + ( d X d t ) 2 d t ,
Encontramos eso Φ = t 0 t 1 | | γ ˙ ( t ) | | d t . Ahora, mi plan es encontrar el elemento de longitud en coordenadas polares e insertar las expresiones respectivas en términos de γ . El problema es que no veo cómo encontrar el elemento de longitud en coordenadas polares. Lo busqué en Wikipedia y encontré d s 2 = d r 2 + r 2 d θ 2 . Ahora para d r 2 yo me enchufaría | | γ ˙ ( t ) | | 2 , para r 2 yo pondría | | γ ( t ) | | 2 , y para d θ No tengo ni idea.

¿Me pueden ayudar, especialmente con la derivación del elemento de línea polar y la forma de Φ en coordenadas polares?

Respuestas (2)

Colocar X = r porque θ , y = r pecado θ . Tomando los diferenciales totales,

d X = d r porque θ r pecado θ d θ ,

d y = d r pecado θ + r porque θ d θ .

Cuadrar y simplificar

d s 2 = d X 2 + d y 2 = d r 2 + r 2 d θ 2 .

Por eso

d s d t d t = ( d r d t ) 2 + r 2 ( d θ d t ) 2 d t .

Ahora, la propiedad de ser extremal es una característica de la curva, no del sistema de coordenadas, por lo que es independiente del gráfico local que elija. En particular, la ecuación de Euler-Lagrange conserva la misma forma en ambos sistemas (obviamente, uno cambia las etiquetas: ( X , y ) ( r , θ ) ). Este comentario responde al punto ( a ) y ( b ) . Punto ( C ) es una simple verificación que puedes hacer eventualmente después de haber invertido las relaciones anteriores entre ( X , y ) y ( r , θ ) .

Para una discusión brillante de este y otros puntos más sutiles, veamos Arnold, Mathematical Methods of Classic Mechanics , Párrafo 12.C, 12.D.

Para la expresión en coordenadas polares. simplemente "divide" el elemento de línea en coordenadas polares por d t 2 para obtener

( d s d t ) 2 = ( d r d t ) 2 + r 2 ( d θ d t ) 2
entonces en coordenadas polares, uno tiene
γ ˙ ( t ) = r ˙ 2 + r 2 θ ˙ 2
y te dejo el resto a ti.

Nota. La forma más rigurosa de hacer esto es notar que en cualquier coordenada dada, la métrica euclidiana se puede escribir como 3 × 3 matriz con elementos gramo i j . Entonces, la velocidad viene dada por la siguiente expresión en términos de los componentes métricos en estas coordenadas:

γ ˙ ( t ) = gramo i j ( γ ( t ) ) X ˙ i ( t ) X ˙ j ( t )
donde hemos escrito la curva en componentes en las coordenadas dadas como γ ( t ) = ( X i ( t ) ) . Las manipulaciones con el elemento de línea realizadas anteriormente son equivalentes a esto. Te dejo a ti demostrar que la expresión dada en términos de los componentes métricos da el mismo resultado para la velocidad.