Cuantización de una guía de ondas: solo tiene uno de los dos EOM en su Lagrangiano. ¿Cómo puede ser correcta la cuantización?

Estoy siguiendo esta referencia, apéndice C y D, alrededor de la página 61

El objetivo es cuantificar la corriente eléctrica de la onda que se propaga en una guía de ondas.

MOE clásica:

Modelamos una guía de ondas mediante una sucesión de osciladores LC:

ingrese la descripción de la imagen aquí

Estudiaremos la propagación de ondas eléctricas en esta línea, por lo que haremos un razonamiento diferencial: C 0 es la capacitancia por unidad de longitud, yo 0 la inductancia por unidad de longitud.

Usando las leyes de Kirchoff en un elemento de longitud d X , entonces encontramos las ecuaciones del telégrafo:

X V ( X , t ) = yo 0 t I ( X , t )
X I ( X , t ) = C 0 t V ( X , t )

Escribiendo Lagrangiano y Hamiltoniano:

Definimos la variable de flujo ϕ como:

ϕ ( X , t ) = t V ( X , t ) d t

Así, tenemos por definición: V ( X , t ) = t ϕ ( X , t )

También tenemos: I ( X , t ) = 1 yo 0 X ϕ ( X , t ) , proviene de la caída de voltaje alrededor de una inductancia ( tu = L I ˙ ) y el hecho ϕ es la integral de tiempo de V . (Puedo agregar precisión si es necesario).

Ahora, el autor dice que la densidad lagrangiana para nuestro sistema es (supongo que está inspirada en la lagrangiana de un oscilador LC):

L ( ϕ ˙ , X ϕ ) = C 2 ϕ ˙ 2 1 2 yo ( X ϕ ) 2

Este lagrangiano conduce a la siguiente MOE:

1 C 0 yo 0 X 2 ϕ t 2 ϕ = 0 X I ( X , t ) = C 0 t V ( X , t )

Notamos que este Lagrangiano solo implica uno de los dos EOM

Luego, encuentra la cantidad de movimiento asociada a ϕ , escribe el hamiltoniano, impone una relación de conmutación entre posición y cantidad de movimiento para cuantificar la teoría.

Mi pregunta

Aquí la densidad lagrangiana sólo contiene uno de los dos MOE del sistema . ¿Por qué entonces la cuantización es correcta ? Para mí, debe tener la dinámica completa codificada en el lagrangiano y luego en el hamiltoniano para poder cuantificar. ¿Cómo puede entonces ser correcta la cuantización? Estoy confundido.

En mi humilde opinión, preguntas sobre dos enfoques diferentes para la cuantificación: usar hamiltoniano versus usar lagrangiano, ¿no?
@ArtemAlexandrov hmm en realidad el procedimiento (el único que sé que es justo, y el que se hace en la referencia), es comenzar desde el lagrangiano, encontrar el momento conjugado que nos dice [ X , pag ] = i . ¿Supongo que es lo que llamarías cuantización lagrangiana?

Respuestas (1)

Las definiciones

V ( X , t ) = t ϕ ( X , t ) , I ( X , t ) = 1 yo 0 X ϕ ( X , t )
automáticamente implican, por la igualdad de derivadas parciales mixtas ( X t ϕ = t X ϕ ), el resultado
X V = 1 yo 0 t I
cuál es tu ecuación "faltante". Esto es independiente de las ecuaciones de movimiento.

Esto no es raro cuando se formalizan cosas en la mecánica lagrangiana. Por ejemplo, la intensidad del campo electromagnético se puede definir como F = d A . En ese caso, el resultado d F = 0 sigue por definición, independientemente de las ecuaciones de movimiento, y contiene dos de las ecuaciones de Maxwell.


Editar: parece que la verdadera pregunta es, ¿cómo puede I ( X , t ) = 1 yo 0 X ϕ ( X , t ) ser una definición cuando se deriva de la ley de Faraday? El punto es que las derivaciones en un contexto pueden ser leyes en otro contexto, o postulados o definiciones en otro más. En el contexto del electromagnetismo clásico, a partir de las ecuaciones de Maxwell, se deriva este resultado. Pero en el contexto de modelar una guía de ondas con un Lagrangiano extremadamente simple, debe ser una definición, porque su Lagrangiano ni siquiera sabe qué letra I es o significa. Eso está bien, porque los dos contextos son lógicamente independientes.

Bueno, para mí la única definición que tenemos es el hecho ϕ es la integral de tiempo de V . El enlace entre I y ϕ no es una definición, viene de una ecuación de Maxwell (la de Faraday) que nos dice esto. Entonces, para encontrar la dinámica, necesitamos otra ley física que la codificada por el EOM dictado por el Lagrangiano. Esto es lo que me perturba aquí.
@StarBucK El punto es que el Lagrangiano por sí mismo no sabe qué letras V , I , ϕ , y así sucesivamente físicamente malo. Quiero decir, esto podría ser fácilmente el Lagrangiano para ondas longitudinales en el aire, donde I es la velocidad media del aire, V es la presión, y así sucesivamente. Son solo letras arbitrarias.
@StarBucK Ya que queremos V y I para representar físicamente el voltaje y la corriente, los definimos en este formalismo en consecuencia. No hay nada raro en esto. Es como cuando escribes F = metro a , debe especificar qué F y metro son para usarlo realmente. La cadena de cuatro caracteres " F   =   metro   a no tiene sentido sin ese contexto adicional.
Para mí no es un problema de definición aquí. La única definición que tenemos es la que se relaciona V y ϕ . Porque para mí la explicación que das aquí significaría que la segunda ecuación telegráfica que me falta es una definición de la intensidad. No es porque pudiera imaginar totalmente que la segunda ecuación del telégrafo que "pierdo" aquí sería diferente.
@StarBucK Si lo prohíbes I para ser definido como lo definí, entonces, ¿cómo se especifica qué I es en absoluto? Esa letra ni siquiera aparece en el Lagrangiano. El lagrangiano por sí mismo no tiene idea de qué ϕ representa físicamente, y no conoce las ecuaciones de Maxwell, es solo una cadena de aproximadamente 10 caracteres. Tienes que especificar el significado físico tú mismo. Así es como se hace siempre la física.
Hmmm cierto, veo lo que quieres decir, pero lo que todavía me confunde es que para obtener la segunda ecuación, lo que hice físicamente es expresar la corriente en función del flujo (supongamos que por definición de la inductancia tenemos Φ = L I ), por lo que en este punto es una cuestión de definición. Pero para relacionar el flujo con la caída de voltaje, uso la ley de Faraday que proviene de la física. Entonces, al mismo tiempo, estoy de acuerdo, no sé cómo responder a su pregunta, pero, por otro lado, en este razonamiento necesitaba hacer uso de una de las leyes de Maxwell.
No puedo reconciliar las dos visiones contradictorias. Porque con la segunda visión significaría en algún momento que tomas la ley de Faraday como definición. Lo cual no es, en realidad es una ley que relaciona dos magnitudes físicas distintas.
@StarBucK Las cosas que son leyes en un contexto se pueden derivar en otro contexto y las definiciones en otro contexto más.
@StarBucK Cuando hacemos este formalismo lagrangiano, comenzamos desde cero, porque el formalismo debe ser autónomo. Así que tenemos que poner en las definiciones apropiadas. Las definiciones que elegimos (incluida la definición del propio Lagrangiano) están motivadas por cosas que observamos en el mundo físico. Si aplicara definiciones diferentes, el formalismo seguiría funcionando, simplemente no produciría resultados útiles.
¿Estaría de acuerdo con lo siguiente? Si quisiera escribir el Lagrangiano involucrando todas las cantidades físicas posibles (como carga, campo magnético, etc.), de hecho me faltaría esta otra ecuación de movimiento. Pero aquí, estoy restringido a estudiar solo un subconjunto de todas las cantidades físicas que existen. Entonces, en este contexto restringido, puedo tomar la segunda ecuación como una definición de lo que llamo "actual".
@StarBucK Claro, pero el punto real es que tienes que definir todas las letras que usas. Sí, en un Lagrangiano más completo, no necesitarías definir I en la forma en que lo hicimos aquí. En su lugar, podría definir la letra I como, digamos, d q / d t . Pero aún necesita especificar que la carta q (que presumiblemente aparece en el lagrangiano) significa la carga eléctrica.
En otro contexto que involucre más cantidades físicas (como si quisiera relacionar la variable de electricidad con el campo eléctrico/magnético), tal vez ya no podría considerarlo como una definición de corriente porque tendría otra definición de corriente proveniente de esas variables adicionales. Entonces esta otra ecuación de movimiento se convertiría entonces en una ecuación de movimiento real.
@StarBucK Quizás una forma general de resumir la lección aquí es que siempre que tenga un formalismo autónomo, se debe definir todo lo que interesa en ese formalismo. Y definido no más de una vez.
@StarBucK Es completamente aceptable que la misma letra tenga definiciones diferentes en dos formalismos diferentes . Eso no es lógicamente inconsistente porque los formalismos son, en principio, lógicamente independientes.
Sí, me aclara las cosas. De hecho, en este formalismo necesito definir I en algún momento. Puedo elegir definirlo a través de I = 1 yo 0 X ϕ , y luego el otro EOM se deduce de esta definición sin requerir ninguna ley física adicional. Gracias. De hecho, creo que esto también respondió a mi otra pregunta (pero me aseguraré de ello)
Tal vez sería bueno si puede resumir esto en su respuesta porque realmente es lo que me causó el problema aquí. O puedo agregar una respuesta adicional que involucre esta discusión.