En física , una restricción de primera clase es una magnitud dinámica en un sistema hamiltoniano restringido cuyo corchete de Poisson, junto con todas las demás restricciones, se anula en la superficie de restricción en el espacio de fases (la superficie definida implícitamente por la anulación simultánea de todas las restricciones). Para calcular la restricción de primera clase, se supone que no existen restricciones de segunda clase , o que estas se han calculado previamente y se han generado sus corchetes de Dirac . [ 1 ]
Dirac introdujo restricciones de primera y segunda clase ( 1950 , p. 136, 1964 , p. 17) como una forma de cuantizar sistemas mecánicos como las teorías de gauge donde la forma simpléctica es degenerada. [ 2 ] [ 3 ]
La terminología de restricciones de primera y segunda clase es confusamente similar a la de restricciones primarias y secundarias , lo que refleja la forma en que se generan. Estas divisiones son independientes: tanto las restricciones de primera como las de segunda clase pueden ser primarias o secundarias, lo que da como resultado cuatro clases diferentes de restricciones.
corchetes de Poisson
Consideremos una variedad de Poisson M con un hamiltoniano suave sobre ella (para teorías de campos, M sería de dimensión infinita).
Supongamos que tenemos algunas restricciones
para n funciones suaves
Estos se definirán únicamente de forma gráfica en general. Supongamos que en todo el conjunto restringido, las n derivadas de las n funciones son todas linealmente independientes y también que los corchetes de Poisson
y
Todos desaparecen en el subespacio restringido.
Esto significa que podemos escribir
para algunas funciones fluidas— existe un teorema que lo demuestra; y
para algunas funciones fluidas.
Esto se puede hacer globalmente, utilizando una partición de la unidad . Entonces, decimos que tenemos una restricción irreducible de primera clase ( irreducible aquí es en un sentido diferente al que se usa en la teoría de la representación ).
Teoría geométrica
Para una forma más elegante, supongamos que dado un fibrado vectorial sobre, confibra dimensional. Equipemos este haz vectorial con una conexión . Supongamos también que tenemos una sección suave f de este haz.
Entonces, la derivada covariante de f con respecto a la conexión es una aplicación lineal suave.del fibrado tangentea, que conserva el punto base . Supongamos que esta aplicación lineal es invertible por la derecha (es decir, existe una aplicación lineal).de tal manera quees la aplicación identidad ) para todas las fibras en los ceros de f . Entonces, según el teorema de la función implícita , el subespacio de ceros de f es una subvariedad .
El corchete de Poisson ordinario solo se define sobre, el espacio de funciones suaves sobre M. Sin embargo, utilizando la conexión, podemos extenderlo al espacio de secciones suaves de f si trabajamos con el fibrado de álgebra con el álgebra graduada de V -tensores como fibras.
Supongamos también que bajo este corchete de Poisson,(tenga en cuenta que no es cierto queen general para este "corchete de Poisson extendido" ya no) yen la subvariedad de ceros de f (si estos corchetes también resultan ser cero en todas partes, entonces decimos que las restricciones cierran la capa ). Resulta que la condición de invertibilidad derecha y las condiciones de conmutatividad de flujos son independientes de la elección de la conexión. Por lo tanto, podemos prescindir de la conexión siempre que trabajemos únicamente con el subespacio restringido.
Significado intuitivo
¿Qué significa todo esto intuitivamente? Significa que el hamiltoniano y los flujos de restricción conmutan entre sí en el subespacio restringido; o, dicho de otro modo, que si partimos de un punto en el subespacio restringido, entonces el hamiltoniano y los flujos de restricción llevan ese punto a otro punto en el mismo subespacio.
Dado que deseamos restringirnos únicamente al subespacio restringido, esto sugiere que el hamiltoniano, o cualquier otra observable física , debe definirse solo en dicho subespacio. De forma equivalente, podemos considerar la clase de equivalencia de funciones suaves sobre la variedad simpléctica, que coinciden en el subespacio restringido ( es decir, el álgebra cociente por el ideal generado por las funciones f ).
El problema radica en que los flujos hamiltonianos en el subespacio restringido dependen del gradiente del hamiltoniano en ese subespacio, no de su valor. Pero existe una solución sencilla.
Observe las órbitas del subespacio restringido bajo la acción de los flujos simplécticos generados por las f . Esto da una foliación local del subespacio porque satisface las condiciones de integrabilidad ( teorema de Frobenius ). Resulta que si comenzamos con dos puntos diferentes en una misma órbita en el subespacio restringido y los hacemos evolucionar bajo dos hamiltonianos diferentes, respectivamente, que coinciden en el subespacio restringido, entonces la evolución temporal de ambos puntos bajo sus respectivos flujos hamiltonianos siempre estará en la misma órbita en tiempos iguales. También resulta que si tenemos dos funciones suaves A 1 y B 1 , que son constantes sobre órbitas al menos en el subespacio restringido (es decir, observables físicos) (es decir,sobre el subespacio restringido) y otros dos A 2 y B 2 , que también son constantes sobre órbitas tales que A 1 y B 1 coinciden con A 2 y B 2 respectivamente sobre el subespacio restringido, entonces sus corchetes de Poisson {A 1 , B 1 } y {A 2 , B 2 } también son constantes sobre órbitas y coinciden sobre el subespacio restringido.
En general, no se pueden descartar los flujos " ergódicos " (que básicamente significan que una órbita es densa en algún conjunto abierto ) ni los flujos "subergódicos" (en los que una órbita es densa en alguna subvariedad de dimensión mayor que la dimensión de la órbita). No podemos tener órbitas que se autointersequen .
Para la mayoría de las aplicaciones "prácticas" de las restricciones de primera clase, no observamos tales complicaciones: el espacio cociente del subespacio restringido por los f-flujos (es decir, el espacio de órbitas) se comporta lo suficientemente bien como para actuar como una variedad diferenciable , que puede transformarse en una variedad simpléctica proyectando la forma simpléctica de M sobre ella (esto se puede demostrar que está bien definido ). A la luz de la observación sobre observables físicos mencionada anteriormente, podemos trabajar con esta variedad simpléctica más "física" y pequeña, pero con 2n dimensiones menos.
En general, el espacio cociente es algo difícil de manejar al realizar cálculos concretos (por no hablar de la no localidad al trabajar con restricciones de difeomorfismo ), por lo que lo que se suele hacer es algo similar. Nótese que la subvariedad restringida es un fibrado (pero no un fibrado en general) sobre la variedad cociente. Así pues, en lugar de trabajar con la variedad cociente, podemos trabajar con una sección del fibrado. Esto se denomina fijación de calibre .
El principal problema es que este conjunto podría no tener una sección global en general. Aquí es donde entra en juego el "problema" de las anomalías globales , por ejemplo. Una anomalía global es diferente de la ambigüedad de Gribov , que se produce cuando una corrección de gauge no funciona para fijar un gauge de forma única; en una anomalía global, no existe una definición consistente del campo de gauge. Una anomalía global es una barrera para definir la teoría de gauge cuántica descubierta por Witten en 1980.
Lo que se ha descrito son restricciones irreducibles de primera clase. Otra complicación es quePuede que no sea invertible correctamente en subespacios de la subvariedad restringida de codimensión 1 o mayor (lo que viola la suposición más fuerte enunciada anteriormente en este artículo). Esto sucede, por ejemplo, en la formulación de cotétradas de la relatividad general , en el subespacio de configuraciones donde el campo de cotétradas y la forma de conexión resultan ser cero sobre algún subconjunto abierto del espacio. Aquí, las restricciones son las restricciones de difeomorfismo.
Una forma de sortear esto es la siguiente: para restricciones reducibles, relajamos la condición sobre la invertibilidad derecha deen este: Cualquier función suave que se anula en los ceros de f es la contracción fibrada de f con una sección suave (no única) de una-paquete vectorial dondees el espacio vectorial dual del espacio vectorial de restricciones V. Esto se denomina condición de regularidad .
Dinámica hamiltoniana restringida a partir de una teoría de gauge lagrangiana.
En primer lugar, asumiremos que la acción es la integral de un lagrangiano local que depende únicamente hasta la primera derivada de los campos. El análisis de casos más generales, si bien es posible, resulta más complejo. Al pasar al formalismo hamiltoniano, encontramos restricciones. Recordemos que en el formalismo de la acción existen configuraciones dentro y fuera de la capa de masas . Las restricciones que se aplican fuera de la capa de masas se denominan restricciones primarias, mientras que las que se aplican solo dentro de la capa de masas se denominan restricciones secundarias.
Ejemplos
Consideremos la dinámica de una partícula puntual de masa m sin grados de libertad internos que se mueve en una variedad espaciotemporal pseudoriemanniana S con métrica g . Supongamos también que el parámetro τ que describe la trayectoria de la partícula es arbitrario (es decir, insistimos en la invariancia de reparametrización ). Entonces, su espacio simpléctico es el fibrado cotangente T*S con la forma simpléctica canónica ω .
Si coordinamos T * S por su posición x en la variedad base S y su posición dentro del espacio cotangente p , entonces tenemos una restricción
- .
Sorprendentemente, el hamiltoniano H es H = 0. Dado que el hamiltoniano solo está definido hasta la clase de equivalencia de funciones suaves que coinciden en el subespacio restringido, podemos usar un nuevo hamiltoniano H ' = f . Entonces, nos encontramos con el interesante caso en el que el hamiltoniano es igual a una restricción. Consulte la sección sobre restricciones hamiltonianas para obtener más detalles.
Consideremos ahora el caso de una teoría de Yang-Mills para un álgebra de Lie simple real L (con una forma de Killing definida negativa η ) acoplada mínimamente a un campo escalar real σ , que se transforma como una representación ortogonal ρ con el espacio vectorial subyacente V bajo L en el espaciotiempo de Minkowski ( d − 1) + 1. Para l en L , escribimos
- ρ (l)[ σ ]
como
- l[ σ ]
Para simplificar, sea A la forma de conexión de la teoría con valores en L. Nótese que la A aquí difiere de la A utilizada por los físicos por un factor de i y g . Esto concuerda con la convención matemática.
La acción S viene dada por
donde g es la métrica de Minkowski y F es la forma de curvatura.
(¡sin i ni g !) donde el segundo término es una abreviatura formal para suponer que el corchete de Lie es un conmutador, D es la derivada covariante
y α es la forma ortogonal de ρ .
¿Cuál es la versión hamiltoniana de este modelo? Bueno, primero, tenemos que dividir A de forma no covariante en un componente temporal φ y una parte espacial A → . Luego, el espacio simpléctico resultante tiene las variables conjugadas σ , π σ (que toman valores en el espacio vectorial subyacente de, la representación dual de ρ ), A → , π → A , φ y π φ . Para cada punto espacial, tenemos las restricciones, π φ =0 y la restricción gaussiana
donde dado que ρ es un entrelazador
- ,
ρ ' es el entrelazador dualizado
( L es autodual a través de η ). El hamiltoniano,
Los dos últimos términos son una combinación lineal de las restricciones gaussianas y tenemos toda una familia de hamiltonianos (equivalentes en gauge) parametrizados por f . De hecho, como los tres últimos términos se anulan para los estados restringidos, podemos omitirlos.
Restricciones de segunda clase
En un sistema hamiltoniano restringido, una magnitud dinámica es de segunda clase si su corchete de Poisson con al menos una restricción no es nulo. Una restricción que tiene un corchete de Poisson distinto de cero con al menos otra restricción es, por lo tanto, una restricción de segunda clase .
Consulte los corchetes de Dirac para ver diversas ilustraciones.
Un ejemplo: una partícula confinada a una esfera.
Antes de pasar a la teoría general, consideremos un ejemplo específico paso a paso para motivar el análisis general.
Comencemos con la acción que describe una partícula newtoniana de masa m confinada a una superficie esférica de radio R dentro de un campo gravitatorio uniforme g . Cuando se trabaja en mecánica lagrangiana , existen varias maneras de implementar una restricción: se puede cambiar a coordenadas generalizadas que resuelven manifiestamente la restricción, o se puede usar un multiplicador de Lagrange manteniendo las coordenadas redundantes así restringidas.
En este caso, la partícula está confinada a una esfera; por lo tanto, la solución natural sería usar coordenadas angulares para describir su posición en lugar de cartesianas y resolver (eliminar automáticamente) la restricción de esa manera (la primera opción). Sin embargo, por razones pedagógicas, consideremos el problema en coordenadas cartesianas (redundantes), con un término multiplicador de Lagrange que impone la restricción.
La acción es dada por
donde el último término es el término multiplicador de Lagrange que impone la restricción.
Por supuesto, como se indicó, podríamos haber usado simplemente coordenadas esféricas diferentes y no redundantes y haberlo escrito como
en cambio, sin restricciones adicionales; pero estamos considerando la anterior coordinación para ilustrar las restricciones.
Los momentos conjugados vienen dados por
- ,,,.
Tenga en cuenta que no podemos determinar • λ a partir de los momentos.
El hamiltoniano viene dado por
- .
No podemos eliminar • λ en esta etapa todavía. Aquí estamos tratando • λ como una abreviatura de una función del espacio simpléctico que aún no hemos determinado y no como una variable independiente. Para consistencia notacional, definimos u 1 = • λ de ahora en adelante. El hamiltoniano anterior con el término p λ es el "hamiltoniano ingenuo". Nótese que, dado que, en la capa de masas, la restricción debe satisfacerse, no se puede distinguir, en la capa de masas, entre el hamiltoniano ingenuo y el hamiltoniano anterior con el coeficiente indeterminado, • λ = u 1 .
Tenemos la restricción principal
- p λ =0 .
Por razones de consistencia, exigimos que el corchete de Poisson de todas las restricciones con el hamiltoniano se anule en el subespacio restringido. En otras palabras, las restricciones no deben evolucionar en el tiempo si se pretende que sean idénticamente cero a lo largo de las ecuaciones de movimiento.
A partir de esta condición de consistencia, obtenemos inmediatamente la restricción secundaria.
Esta restricción debe agregarse al hamiltoniano con un coeficiente indeterminado (no necesariamente constante) u 2, ampliando el hamiltoniano a
De manera similar, a partir de esta restricción secundaria, encontramos la restricción terciaria.
Nuevamente, se debe agregar esta restricción al hamiltoniano, ya que, en la capa de masas, nadie puede notar la diferencia. Por lo tanto, hasta ahora, el hamiltoniano se ve así:
donde u 1 , u 2 , y u 3 aún están completamente indeterminados.
Cabe señalar que, con frecuencia, todas las restricciones que se derivan de las condiciones de consistencia se denominan restricciones secundarias , y no se distingue entre restricciones secundarias, terciarias, cuaternarias, etc.
Seguimos girando la manivela, exigiendo que esta nueva restricción tenga un corchete de Poisson evanescente.
Podríamos desesperarnos y pensar que esto no tiene fin, pero debido a que ha aparecido uno de los nuevos multiplicadores de Lagrange, esto no es una nueva restricción, sino una condición que fija el multiplicador de Lagrange:
Sustituyendo esto en nuestro hamiltoniano obtenemos (después de un poco de álgebra)
Ahora que hay nuevos términos en el hamiltoniano, se debe volver atrás y verificar las condiciones de consistencia para las restricciones primarias y secundarias. La condición de consistencia de la restricción secundaria da
Nuevamente, esta no es una restricción nueva; solo determina que
¡En este punto ya no hay más restricciones ni condiciones de consistencia que comprobar !
Reuniéndolo todo,
- .
Al hallar las ecuaciones de movimiento, se debe utilizar el hamiltoniano anterior, y siempre que se tenga cuidado de no utilizar restricciones antes de tomar derivadas en el corchete de Poisson, se obtendrán las ecuaciones de movimiento correctas. Es decir, las ecuaciones de movimiento vienen dadas por
Antes de analizar el hamiltoniano, considere las tres restricciones,
Nótese la estructura de corchetes de Poisson no trivial de las restricciones. En particular,
El corchete de Poisson anterior no solo no se anula fuera de la capa de masas, como cabría esperar, sino que incluso dentro de ella es distinto de cero . Por lo tanto, φ₂ y φ₃ son restricciones de segunda clase , mientras que φ₁ es una restricción de primera clase. Cabe destacar que estas restricciones satisfacen la condición de regularidad .
Aquí tenemos un espacio simpléctico donde el corchete de Poisson no tiene "buenas propiedades" en el subespacio restringido. Sin embargo, Dirac notó que podemos convertir la variedad diferencial subyacente del espacio simpléctico en una variedad de Poisson usando su corchete modificado homónimo, llamado corchete de Dirac , de tal manera que este corchete de Dirac de cualquier función (suave) con cualquiera de las restricciones de segunda clase siempre se anula .
En efecto, estos corchetes (ilustrados para esta superficie esférica en el artículo sobre corchetes de Dirac ) proyectan el sistema de vuelta sobre la superficie de restricciones. Si se desea cuantificar canónicamente este sistema, entonces es necesario convertir los corchetes de Dirac canónicos [ 4 ] , no los corchetes de Poisson canónicos, en relaciones de conmutación.
El análisis del hamiltoniano anterior revela varios aspectos interesantes. Cabe destacar que, en la capa de masas, cuando se satisfacen las restricciones, el hamiltoniano extendido es idéntico al hamiltoniano ingenuo, tal como se requiere. Además, nótese que λ desaparece del hamiltoniano extendido. Dado que φ 1 es una restricción primaria de primera clase, debe interpretarse como un generador de una transformación de gauge. La libertad de gauge es la libertad de elegir λ , la cual ha dejado de tener efecto alguno sobre la dinámica de la partícula. Por lo tanto, el hecho de que λ desaparezca del hamiltoniano, que u 1 sea indeterminado y que φ 1 = p λ sea de primera clase, están estrechamente interrelacionados.
Nótese que sería más natural no comenzar con un lagrangiano con un multiplicador de Lagrange, sino tomarcomo restricción primaria y proceda a través del formalismo: El resultado sería la eliminación de la cantidad dinámica λ extraña . Sin embargo, el ejemplo es más instructivo en su forma actual.
Ejemplo: Acción Proca
Otro ejemplo que utilizaremos es la acción Proca . Los campos son:y la acción es
dónde
y
- .
yson variables canónicas . Las restricciones de segunda clase son
y
- .
El hamiltoniano viene dado por
- .
Véase también
Referencias
- ↑ Ingemar Bengtsson. "Sistemas hamiltonianos restringidos" (PDF) . Universidad de Estocolmo . Consultado el 29 de mayo de 2018.
Partimos de un lagrangiano
.Derivamos los momentos canónicos, postulamos los corchetes de Poisson ingenuos y calculamos el hamiltoniano. Para simplificar, suponemos que no existen restricciones de segunda clase, o que, de existir, ya se han tratado y los corchetes ingenuos se han sustituido por corchetes de Dirac. Queda un conjunto de restricciones [...]
- ↑ Dirac, Paul AM (1950), "Dinámica hamiltoniana generalizada", Canadian Journal of Mathematics , 2 : 129–148 , doi : 10.4153/CJM-1950-012-1 , ISSN 0008-414X , MR 0043724 , S2CID 119748805
- ↑ Dirac, Paul AM (1964), Lecciones sobre mecánica cuántica , Serie de monografías de la Escuela de Posgrado de Ciencias Belfer, vol. 2, Escuela de Posgrado de Ciencias Belfer, Nueva York, ISBN 9780486417134, MR 2220894
{{citation}}: Incompatibilidad de ISBN/Fecha ( ayuda ) . Reimpresión íntegra del original, Dover Publications, Nueva York, NY, 2001. - ↑ Corrigan, E.; Zachos, CK (1979). "Cargas no locales para el modelo σ supersimétrico". Physics Letters B . 88 ( 3– 4): 273. Bibcode : 1979PhLB...88..273C . doi : 10.1016/0370-2693(79)90465-9 .
Lecturas adicionales
- Falck, NK; Hirshfeld, AC (1983). "Cuantización de Dirac-corchet de un sistema no lineal restringido: El rotador rígido". European Journal of Physics . 4 (1): 5– 9. Bibcode : 1983EJPh....4....5F . doi : 10.1088/0143-0807/4/1/003 . S2CID 250845310 .
- Homma, T.; Inamoto, T.; Miyazaki, T. (1990). "Ecuación de Schrödinger para la partícula no relativista confinada en una hipersuperficie en un espacio curvo". Physical Review D. 42 ( 6): 2049– 2056. Bibcode : 1990PhRvD..42.2049H . doi : 10.1103/PhysRevD.42.2049 . PMID 10013054 .
- Mecánica clásica
- física teórica