Aplicación del teorema de Noether

Considere una transformación de parámetros: y = y ( y ~ , α ) tal que el lagrangiano satisface: L ~ ( y ~ , α ) = L ( y ( y ~ , α ) ) . Decimos que la ecuación es invariante bajo esta transformación si:

L ~ ( y ~ , α ) = L ( y ~ ) + d F ( y ~ , α ) d t
Muestra esa:
d L d y t y α d X F α
es una constante de movimiento.

Aquí y ~ es un campo antiguo antes de la transformación, también lo es el lagrangiano L ~ . El espacio es bidimensional ( X , t ) y el ejercicio se enumera en la sección relativa a la ecuación KdV.

¿Alguna pista?

¿De qué libro de texto es el ejercicio?
@Qmechanic No lo sé. El profesor me dio una lista de tareas sin especificar la fuente.
¿Es posible vincular a un archivo con la formulación del problema original?
@Qmechanic aquí hay un original en polaco: sdrv.ms/YfdHvx

Respuestas (1)

Dado que el problema de OP parece una tarea, solo le proporcionaremos a OP una serie de sugerencias en lugar de una solución completa.

I) El Lagrangiano L   =   d X   L es la integral espacial de la densidad lagrangiana L . Llamemos al campo de posición q ( X , t ) y el campo de velocidad correspondiente v ( X , t ) . el lagrangiano L [ q ( , t ) , v ( , t ) ] es un funcional de los campos de posición y velocidad, cf. por ejemplo, esta respuesta Phys.SE. El campo de momento es la derivada funcional

(1) pag ( X , t )   :=   d L [ q ( , t ) , v ( , t ) ] d v ( X , t ) .

Una variación infinitesimal d L del funcional lagrangiano L es dado por

(2) d L   =   d X   ( d L d q d q + d L d v d v ) .
El ejercicio básicamente le pide a OP que derive una versión funcional del Teorema de Noether , que probablemente conoce para la mecánica de puntos ordinarios.

II) Deja

(3) d q   =   ε Y
ser una variación infinitesimal del campo de posición, donde ε es una constante infinitesimal, y donde Y es el generador. En consecuencia, el campo de velocidad se transforma como
(4) d v   =   ε Y ˙ .
(La transformación (3) es una de las llamadas transformaciones verticales . En general, también se podrían permitir contribuciones horizontales de la variación de X y t .)

III) Suponga que la transformación (2) es la llamada cuasi-simetría

(5) d ( L | v = q ˙ )   =   ε d d t ( F | v = q ˙ ) ,
dónde F [ q ( , t ) , v ( , t ) ] es algo funcional. (Si F = 0 es cero, entonces la cuasi-simetría se convierte en una simetría del Lagrangiano L .)

IV) El (componente temporal de la) corriente desnuda de Noether j 0 para una transformación vertical (3) es simplemente el campo de cantidad de movimiento pag veces el generador vertical Y ,

(6) j 0   :=   pag Y .

La carga desnuda de Noether q 0 es la integral espacial

(7) q 0   :=   d X   j 0 .

La carga completa de Noether q se mejora con (menos) el F -funcional,

(8) q   :=   q 0 F .

La fórmula (8) corresponde a la última fórmula de OP (v1). El teorema de Noether establece que q es una cantidad conservada en el caparazón, es decir, si la ecuación de movimiento

(9) d d t ( d L d v | v = q ˙ )   =   d L d q | v = q ˙

Está satisfecho. La prueba en el entorno funcional es muy similar a la prueba habitual que se da en la mecánica de puntos ordinaria.

Gracias por su respuesta. Mi problema principal es ¿cómo funciona la derivada parcial? F / α aparece? No puedo ver este.
@qoqosz: La contribución de primer orden es α   F / α en la notación del ejercicio. Esto debe identificarse con ε F en mi notación.
¡Muchas gracias! Debo pensar en esto un poco más, pero definitivamente es más claro ahora.