Al pasar de un lagrangiano dado a un hamiltoniano para un campo fermiónico, usamos la siguiente fórmula.
Los momentos canónicos no cambian si agregas una derivada total al Lagrangiano.
La derivada total particular que deseaba agregar al Lagrangiano, así como al Lagrangiano mismo, tiene libre índices. Seguramente quiso decir algo más porque el Lagrangiano no debería tener índices libres como ese. Déjame suponer que querías que ambas expresiones se sumaran con la suma y el prefactor . O tal vez realmente quiso decir que el Lagrangiano es un monomio para valores fijos de .
Pero ese no es el problema aquí. El error relevante para su pregunta es que consideró un espacio de fase que tiene coordenadas , , , y , y crees que son coordenadas independientes en el espacio de fase. Serían demasiadas coordenadas de espacio de fase para un sistema tan limitado.
Bueno, no son independientes. La derivación correcta, utilizando cualquier forma del Lagrangiano que desee, le dará (¡sin un medio; y ecuaciones que pueden obtenerse mediante conjugaciones simples de esta!) por lo que significa que el "mismo" no diferenciado Los 's son también sus propios momentos.
Si reescribes el Lagrangiano de tal manera que se elimina la notación redundante, es decir, no crees que las coordenadas que son dependientes sean en realidad independientes (este es el error que te hizo terminar con los momentos canónicos siendo la mitad de sus valor correcto; por ejemplo, usó incorrectamente , que no es cierto, en el primer impulso que mencionas), verás que
No hace falta decir que el hamiltoniano es cero si el lagrangiano fermiónico solo contiene el término cinético con la derivada del tiempo.
No está del todo claro qué tiene en mente el Lagrangiano OP. Aquí supondremos que el lagrangiano se lee
dónde es un campo escalar complejo Grassmann-impar, y es el campo complejo conjugado. (Esta elección está parcialmente inspirada en una de las otras preguntas de Phys.SE de OP). Las métricas son constantes
El segundo término en el Lagrangiano (1) es un término derivado total. Esto solo se incluye por diversión para ver cómo esto no afecta el procedimiento de cuantificación. Para derivar el formalismo hamiltoniano, usaremos una versión impar de Grassmann de esta respuesta Phys.SE. (Recomendamos que el lector se familiarice con el modelo par de Grassmann en esa respuesta antes de tratar de entender el modelo impar de Grassmann en esta respuesta).
Las relaciones canónicas de anticonmutación (CAR) dicen
Los momentos impares de Grassmann están dados por las derivadas derechas del Lagrangiano
El hamiltoniano es idénticamente cero,
Las ecuaciones (5) y (6) producen dos restricciones principales
Son, a su vez, restricciones de segunda clase,
independiente de la métrico.
El soporte de Dirac se convierte en
En otras palabras, las relaciones de anticonmutación de Dirac se vuelven
de acuerdo con el método de Faddeev-Jackiw. Las relaciones de anticonmutación del operador correspondiente se leen
Prathyush
Jaswin
Motl de Luboš