En física , el momento angular relativista se refiere a los formalismos matemáticos y conceptos físicos que definen el momento angular en la relatividad especial (RE) y la relatividad general (RG). La cantidad relativista es sutilmente diferente de la cantidad tridimensional de la mecánica clásica .
El momento angular es una cantidad dinámica importante derivada de la posición y el momento. Es una medida del movimiento rotacional de un objeto y de la resistencia a los cambios en su rotación. Además, de la misma manera que la conservación del momento corresponde a la simetría traslacional, la conservación del momento angular corresponde a la simetría rotacional: la conexión entre las simetrías y las leyes de conservación se realiza mediante el teorema de Noether . Si bien estos conceptos se descubrieron originalmente en la mecánica clásica , también son ciertos y significativos en la relatividad especial y general. En términos de álgebra abstracta, la invariancia del momento angular, el cuadrimpulso y otras simetrías en el espacio-tiempo se describen mediante el grupo de Lorentz o, de manera más general, el grupo de Poincaré .
Las magnitudes físicas que permanecen separadas en la física clásica se combinan naturalmente en la relatividad especial y la relatividad general al hacer cumplir los postulados de la relatividad. En particular, las coordenadas de espacio y tiempo se combinan en la ecuación de cuatro posiciones , y la energía y el momento se combinan en la ecuación de cuatro momentos . Los componentes de estos cuatro vectores dependen del marco de referencia utilizado y cambian bajo transformaciones de Lorentz a otros marcos inerciales o marcos acelerados .
El momento angular relativista es menos obvio. La definición clásica de momento angular es el producto vectorial de la posición x con el momento p para obtener un pseudovector x × p , o alternativamente como el producto exterior para obtener un tensor antisimétrico de segundo orden x ∧ p . ¿Con qué se combina esto, si es que se combina con algo? Hay otra cantidad vectorial que no se discute a menudo: es el momento de masa variable en el tiempo vector polar ( no el momento de inercia ) relacionado con el impulso del centro de masa del sistema, y este se combina con el pseudovector de momento angular clásico para formar un tensor antisimétrico de segundo orden, exactamente de la misma manera que el vector polar del campo eléctrico se combina con el pseudovector del campo magnético para formar el tensor antisimétrico del campo electromagnético. Para distribuciones de masa-energía rotatorias (como giroscopios , planetas , estrellas y agujeros negros ) en lugar de partículas puntuales, el tensor de momento angular se expresa en términos del tensor de tensión-energía del objeto rotatorio.
Solo en la relatividad especial, en el marco de reposo de un objeto giratorio, existe un momento angular intrínseco análogo al "espín" en la mecánica cuántica y la mecánica cuántica relativista , aunque para un cuerpo extendido en lugar de una partícula puntual. En la mecánica cuántica relativista, las partículas elementales tienen espín y esto es una contribución adicional al operador de momento angular orbital , lo que produce el operador tensorial de momento angular total . En cualquier caso, la adición del "espín" intrínseco al momento angular orbital de un objeto se puede expresar en términos del pseudovector de Pauli-Lubanski . [1]
Como referencia y antecedente, se dan dos formas estrechamente relacionadas de momento angular.
En mecánica clásica , el momento angular orbital de una partícula con vector de posición tridimensional instantáneo x = ( x , y , z ) y vector de momento p = ( p x , p y , p z ) , se define como el vector axial que tiene tres componentes, que se dan sistemáticamente por permutaciones cíclicas de direcciones cartesianas (por ejemplo, cambiar x a y , y a z , z a x , repetir)
Una definición relacionada es concebir el momento angular orbital como un elemento plano . Esto se puede lograr reemplazando el producto vectorial por el producto exterior en el lenguaje del álgebra exterior , y el momento angular se convierte en un tensor antisimétrico de segundo orden contravariante [2]
o escribiendo x = ( x 1 , x 2 , x 3 ) = ( x , y , z ) y el vector de momento p = ( p 1 , p 2 , p 3 ) = ( p x , p y , p z ) , los componentes se pueden abreviar de forma compacta en notación de índice tensorial donde los índices i y j toman los valores 1, 2, 3. Por otro lado, los componentes se pueden mostrar sistemáticamente de forma completa en una matriz antisimétrica de 3 × 3
Esta cantidad es aditiva y, para un sistema aislado, el momento angular total de un sistema se conserva.
En mecánica clásica, la cantidad tridimensional para una partícula de masa m que se mueve con velocidad u [2] [3] tiene las dimensiones de momento de masa – longitud multiplicada por masa. Es igual a la masa de la partícula o sistema de partículas multiplicada por la distancia desde el origen espacial hasta el centro de masa (COM) en el origen temporal ( t = 0 ), medida en el marco de laboratorio . No existe un símbolo universal, ni siquiera un nombre universal, para esta cantidad. Diferentes autores pueden denotarla por otros símbolos si los hay (por ejemplo μ ), pueden designar otros nombres y pueden definir N como el negativo de lo que se usa aquí. La forma anterior tiene la ventaja de que se asemeja a la familiar transformación galileana para la posición, que a su vez es la transformación de impulso no relativista entre marcos inerciales.
Este vector también es aditivo: para un sistema de partículas, la suma vectorial es la resultante donde la posición del centro de masa del sistema y la velocidad y la masa total son respectivamente
En un sistema aislado, N se conserva en el tiempo, lo que se puede comprobar derivando con respecto al tiempo. El momento angular L es un pseudovector, pero N es un vector "ordinario" (polar) y, por lo tanto, es invariante en caso de inversión.
El N tot resultante para un sistema de múltiples partículas tiene la visualización física de que, cualquiera que sea el movimiento complicado de todas las partículas, se mueven de tal manera que el COM del sistema se mueve en línea recta. Esto no significa necesariamente que todas las partículas "sigan" al COM, ni que todas las partículas se muevan casi en la misma dirección simultáneamente, solo que el movimiento colectivo de las partículas está restringido en relación con el centro de masas.
En relatividad especial, si la partícula se mueve con velocidad u en relación con el marco de referencia del laboratorio, entonces donde es el factor de Lorentz y m es la masa (es decir, la masa en reposo) de la partícula. El momento de masa relativista correspondiente en términos de m , u , p , E , en el mismo marco de referencia del laboratorio es
Los componentes cartesianos son
Considérese un sistema de coordenadas F′ que se mueve con velocidad v = ( v , 0, 0) con respecto a otro sistema F, a lo largo de la dirección de los ejes coincidentes xx′ . Los orígenes de los dos sistemas de coordenadas coinciden en los instantes t = t ′ = 0 . Las componentes de masa-energía E = mc 2 y momento p = ( p x , p y , p z ) de un objeto, así como las coordenadas de posición x = ( x , y , z ) y el tiempo t en el sistema F se transforman en E ′ = m ′ c 2 , p ′ = ( p x ′, p y ′, p z ′) , x ′ = ( x ′, y ′, z ′) , y t ′ en F′ según las transformaciones de Lorentz
El factor de Lorentz se aplica aquí a la velocidad v , la velocidad relativa entre los cuadros. Esta no es necesariamente la misma que la velocidad u de un objeto.
Para el momento orbital 3-angular L como pseudovector, tenemos
Para el componente x, el componente y y el componente z
En los segundos términos de L y ′ y L z ′ , los componentes y y z del producto vectorial v × N se pueden inferir reconociendo permutaciones cíclicas de v x = v y v y = v z = 0 con los componentes de N ,
Ahora, L x es paralela a la velocidad relativa v , y los otros componentes L y y L z son perpendiculares a v . La correspondencia paralelo-perpendicular se puede facilitar dividiendo todo el pseudovector de momento angular de 3 componentes paralelos (∥) y perpendiculares (⊥) a v , en cada marco,
Luego, las ecuaciones de los componentes se pueden recopilar en ecuaciones pseudovectoriales.
Por lo tanto, las componentes del momento angular a lo largo de la dirección del movimiento no cambian, mientras que las perpendiculares sí lo hacen. A diferencia de las transformaciones del espacio y el tiempo, el tiempo y las coordenadas espaciales cambian a lo largo de la dirección del movimiento, mientras que las perpendiculares no lo hacen.
Estas transformaciones son verdaderas para todo v , no sólo para el movimiento a lo largo de los ejes xx′ .
Considerando L como tensor, obtenemos un resultado similar donde
El aumento del momento de masa dinámico a lo largo de la dirección x es
Para el componente x, el componente y y el componente z
Recopilando componentes paralelas y perpendiculares como antes
Nuevamente, los componentes paralelos a la dirección del movimiento relativo no cambian, los perpendiculares sí cambian.
Hasta ahora, estas son solo las descomposiciones paralelas y perpendiculares de los vectores. Las transformaciones en los vectores completos se pueden construir a partir de ellas de la siguiente manera (en este documento, L es un pseudovector para mayor concreción y compatibilidad con el álgebra vectorial).
Introduzca un vector unitario en la dirección de v , dado por n = v / v . Las componentes paralelas están dadas por la proyección vectorial de L o N en n mientras que la componente perpendicular por el rechazo vectorial de L o N desde n y las transformaciones son o restableciendo v = v n ,
Éstas son muy similares a las transformaciones de Lorentz del campo eléctrico E y del campo magnético B , véase Electromagnetismo clásico y relatividad especial .
Alternativamente, a partir de las transformaciones vectoriales de Lorentz de tiempo, espacio, energía y momento, para un impulso con velocidad v , al insertarlas en las definiciones se obtienen las transformaciones.
El momento angular orbital en cada cuadro se obtiene tomando el producto vectorial de las transformaciones.
Usando la regla del triple producto obtenemos y junto con la definición de N tenemos
Restableciendo el vector unitario n ,
Dado que en la transformación hay un producto vectorial a la izquierda con n , entonces
En la mecánica relativista, el impulso COM y el momento angular orbital tridimensional de un objeto giratorio se combinan en un bivector de cuatro dimensiones en términos de la X de cuatro posiciones y el P de cuatro momentos del objeto [4] [5]
En componentes que son seis cantidades independientes en total. Dado que los componentes de X y P dependen del marco, también lo es M. Tres componentes son los del conocido momento angular orbital clásico del espacio tridimensional, y los otros tres son el momento de masa relativista, multiplicado por − c . El tensor es antisimétrico;
Los componentes del tensor se pueden mostrar sistemáticamente como una matriz en la que la última matriz es una matriz de bloques formada al tratar N como un vector fila cuya matriz se transpone al vector columna N T , y x ∧ p como una matriz antisimétrica 3 × 3 . Las líneas se insertan simplemente para mostrar dónde están los bloques.
Nuevamente, este tensor es aditivo: el momento angular total de un sistema es la suma de los tensores de momento angular de cada constituyente del sistema:
Cada uno de los seis componentes forma una cantidad conservada cuando se agrega con los componentes correspondientes de otros objetos y campos.
El tensor de momento angular M es de hecho un tensor, los componentes cambian de acuerdo con una matriz de transformación de Lorentz Λ, como se ilustra de la manera habitual mediante la notación de índice tensorial donde, para un impulso (sin rotaciones) con velocidad normalizada β = v / c , los elementos de la matriz de transformación de Lorentz son y los componentes covariantes β i y contravariantes β i de β son los mismos ya que estos son solo parámetros.
En otras palabras, se pueden transformar mediante Lorentz las cuatro posiciones y los cuatro momentos por separado, y luego antisimetrizar esos componentes recién encontrados para obtener el tensor de momento angular en el nuevo marco.
La transformación de los componentes de impulso son
En cuanto al momento angular orbital
Las expresiones en las entradas de la transformación de Lorentz se dan o en forma vectorial, dividiendo por c o restableciendo β = v / c , y o convirtiendo a forma pseudovectorial en notación vectorial o restableciendo β = v / c ,
Para una partícula que se mueve en una curva, el producto vectorial de su velocidad angular ω (un pseudovector) y la posición x da su velocidad tangencial.
que no puede exceder una magnitud de c , ya que en la retícula retícula la velocidad de traslación de cualquier objeto masivo no puede exceder la velocidad de la luz c . Matemáticamente, esta restricción es 0 ≤ | u | < c , las barras verticales indican la magnitud del vector. Si el ángulo entre ω y x es θ (se supone que no es cero, de lo contrario u sería cero, lo que corresponde a que no hay movimiento en absoluto), entonces | u | = | ω | | x | sen θ y la velocidad angular está restringida por
Por lo tanto, la velocidad angular máxima de cualquier objeto masivo depende del tamaño del objeto. Para un | x | dado, el límite superior mínimo se produce cuando ω y x son perpendiculares, de modo que θ = π /2 y sen θ = 1 .
Para un cuerpo rígido que gira con una velocidad angular ω , u es la velocidad tangencial en un punto x dentro del objeto. Para cada punto del objeto, existe una velocidad angular máxima.
La velocidad angular (pseudovector) está relacionada con el momento angular (pseudovector) a través del tensor de momento de inercia I (el punto · denota contracción del tensor en un índice). El momento angular relativista también está limitado por el tamaño del objeto.
Una partícula puede tener un momento angular "incorporado" independiente de su movimiento, llamado espín y denotado como s . Es un pseudovector tridimensional como el momento angular orbital L .
El espín tiene un momento magnético de espín correspondiente , por lo que si la partícula está sujeta a interacciones (como campos electromagnéticos o acoplamiento espín-órbita ), la dirección del vector de espín de la partícula cambiará, pero su magnitud será constante.
La extensión a la relatividad especial es sencilla. [6] Para algún marco de laboratorio F, sea F′ el marco en reposo de la partícula y supongamos que la partícula se mueve con una velocidad 3-constante u . Entonces F′ se impulsa con la misma velocidad y las transformaciones de Lorentz se aplican como de costumbre; es más conveniente usar β = u / c . Como un cuatrivector en relatividad especial, el cuatriespín S generalmente toma la forma habitual de un cuatrivector con un componente temporal s t y componentes espaciales s , en el marco de laboratorio, aunque en el marco en reposo de la partícula, se define de modo que el componente temporal sea cero y los componentes espaciales sean los del vector de espín real de la partícula, en la notación aquí s ′, por lo que en el marco de la partícula
La equiparación de normas conduce a la relación invariante, de modo que si la magnitud del espín se da en el marco de reposo de la partícula y en el marco de laboratorio de un observador, la magnitud del componente temporal s t también se da en el marco de laboratorio.
Los componentes potenciados de los cuatro giros en relación con el marco del laboratorio son
Aquí γ = γ ( u ) . S ′ está en el marco de reposo de la partícula, por lo que su componente temporal es cero, S ′ 0 = 0 , no S 0 . Además, el primero es equivalente al producto interno de la velocidad cuaternaria (dividida por c ) y el espín cuaternario. La combinación de estos hechos conduce a que es un invariante. Luego, esto combinado con la transformación en el componente temporal conduce al componente percibido en el marco de laboratorio;
Las relaciones inversas son
La restricción covariante del giro es la ortogonalidad al vector de velocidad,
En notación de 3 vectores para mayor explicitud, las transformaciones son
Las relaciones inversas son los componentes del espín en el marco de referencia del laboratorio, calculados a partir de los del marco de referencia en reposo de la partícula. Aunque el espín de la partícula es constante para una partícula dada, parece ser diferente en el marco de referencia del laboratorio.
El pseudovector de Pauli-Lubanski se aplica tanto a partículas masivas como a partículas sin masa .
En general, el tensor de momento angular total se divide en un componente orbital y un componente de espín . Esto se aplica a una partícula, una distribución de masa-energía-momento o un campo.
El siguiente es un resumen de MTW . [7] En todo el texto, para simplificar, se suponen coordenadas cartesianas. En relatividad especial y general, una distribución de masa-energía-momento, por ejemplo, un fluido o una estrella, se describe mediante el tensor de tensión-energía T βγ (un campo tensorial de segundo orden que depende del espacio y el tiempo). Dado que T 00 es la densidad de energía, T j 0 para j = 1, 2, 3 es el componente j del momento 3d del objeto por unidad de volumen, y T ij son componentes del tensor de tensión que incluyen las tensiones cortantes y normales, la densidad del momento angular orbital alrededor del 4-vector de posición X β está dada por un tensor de tercer orden.
Esto es antisimétrico en α y β . En la relatividad especial y general, T es un tensor simétrico, pero en otros contextos (por ejemplo, la teoría cuántica de campos), puede que no lo sea.
Sea Ω una región del espacio-tiempo 4d. El límite es una hipersuperficie del espacio-tiempo 3d ("volumen de la superficie del espacio-tiempo" en oposición a "área de la superficie espacial"), denotada ∂Ω donde "∂" significa "límite". Integrando la densidad del momento angular sobre una hipersuperficie del espacio-tiempo 3d se obtiene el tensor del momento angular alrededor de X , donde dΣ γ es la forma 1 del volumen que desempeña el papel de un vector unitario normal a una superficie 2d en el espacio euclidiano 3d ordinario. La integral se toma sobre las coordenadas X , no X . La integral dentro de una superficie similar al espacio de tiempo constante es que, en conjunto, forman el tensor del momento angular.
Existe un momento angular intrínseco en el marco del centro de masas, en otras palabras, el momento angular en torno a cualquier evento en la línea de palabra del centro de masas del objeto. Como T 00 es la densidad de energía del objeto, las coordenadas espaciales del centro de masas están dadas por
Al establecer Y = X COM se obtiene la densidad del momento angular orbital alrededor del centro de masa del objeto.
La conservación de la energía-momento se da en forma diferencial por la ecuación de continuidad donde ∂ γ es el gradiente cuádruple . (En coordenadas no cartesianas y en relatividad general, esto se reemplazaría por la derivada covariante ). La conservación del momento angular total se da por otra ecuación de continuidad
Las ecuaciones integrales utilizan el teorema de Gauss en el espacio-tiempo.
El torque que actúa sobre una partícula puntual se define como la derivada del tensor de momento angular dado anteriormente con respecto al tiempo propio: [8] [9] o en componentes del tensor: donde F es la fuerza 4d que actúa sobre la partícula en el evento X . Al igual que con el momento angular, el torque es aditivo, por lo que para un objeto extendido uno suma o integra sobre la distribución de masa.
El tensor de momento angular es el generador de impulsos y rotaciones para el grupo de Lorentz . [10] [11] Los impulsos de Lorentz se pueden parametrizar mediante la rapidez y un vector unitario 3d n que apunta en la dirección del impulso, que se combinan en el "vector de rapidez" donde β = v / c es la velocidad del movimiento relativo dividida por la velocidad de la luz. Las rotaciones espaciales se pueden parametrizar mediante la representación eje-ángulo , el ángulo θ y un vector unitario a que apunta en la dirección del eje, que se combinan en un "vector eje-ángulo".
Cada vector unitario tiene solo dos componentes independientes, el tercero se determina a partir de la magnitud unitaria. En total, hay seis parámetros del grupo de Lorentz: tres para rotaciones y tres para impulsos. El grupo de Lorentz (homogéneo) es de seis dimensiones.
Los generadores de impulso K y los generadores de rotación J se pueden combinar en un generador para transformaciones de Lorentz; M el tensor de momento angular antisimétrico, con componentes y, correspondientemente, los parámetros de impulso y rotación se recopilan en otra matriz tetradimensional antisimétrica ω , con entradas: donde se ha utilizado la convención de suma sobre los índices repetidos i, j, k para evitar signos de suma torpes. La transformación general de Lorentz se da entonces por la matriz exponencial y la convención de suma se ha aplicado a los índices matriciales repetidos α y β .
La transformación general de Lorentz Λ es la ley de transformación para cualesquiera cuatro vectores A = ( A 0 , A 1 , A 2 , A 3 ), dando los componentes de este mismo 4-vector en otro marco de referencia inercial
El tensor de momento angular forma 6 de los 10 generadores del grupo de Poincaré , los otros cuatro son los componentes del cuadrimportante para las traslaciones del espacio-tiempo.
El momento angular de las partículas de prueba en un fondo suavemente curvado es más complicado en RG pero se puede generalizar de una manera sencilla. Si el Lagrangiano se expresa con respecto a las variables angulares como las coordenadas generalizadas , entonces los momentos angulares son las derivadas funcionales del Lagrangiano con respecto a las velocidades angulares . Referidas a las coordenadas cartesianas, estas suelen estar dadas por los términos de corte fuera de la diagonal de la parte espacial del tensor de tensión-energía . Si el espacio-tiempo admite un campo vectorial de Killing tangente a un círculo, entonces se conserva el momento angular sobre el eje.
También se desea estudiar el efecto de una masa compacta y rotatoria sobre el espacio-tiempo que la rodea. La solución prototipo es la métrica de Kerr , que describe el espacio-tiempo alrededor de un agujero negro axialmente simétrico . Obviamente, es imposible dibujar un punto en el horizonte de sucesos de un agujero negro de Kerr y observarlo girar alrededor. Sin embargo, la solución admite una constante del sistema que actúa matemáticamente de manera similar a un momento angular.
{{cite book}}
: CS1 maint: multiple names: authors list (link)