Obtener la matriz de impulso arbitraria de una transformación de similitud

Nota : para la siguiente pregunta estoy usando el no estándar ( X , y , z , C t ) notación.

Quiero representar un impulso arbitrario en el β ^ dirección haciendo una transformación de similitud en el cuadro impulsado en el z dirección a un marco con ejes { r 1 , r 2 , β ^ } , permitiendo r 1 y r 2 ser cualesquiera dos vectores ortonormales entre sí, así como ortogonales a β ^ . Entonces, la matriz de impulso y la matriz de transformación son, respectivamente,

L = ( 1 0 0 0 0 1 0 0 0 0 γ γ β 0 0 γ β γ )

R = ( X r 1 y r 1 z r 1 0 X r 2 y r 2 z r 2 0 X β ^ y β ^ z β ^ 0 0 0 0 1 ) = ( r 1 X r 1 y r 1 z 0 r 2 X r 2 y r 2 z 0 β X / β β y / β β z / β 0 0 0 0 1 )

Realizando la transformación de semejanza,

L ~ = R L R T = ( r 1 X 2 + r 1 y 2 + γ r 1 z 2 r 1 X r 2 X + r 1 y r 2 y + γ r 1 z r 2 z ( r 1 X β X + r 1 y β y + γ r 1 z β z ) / β γ r 1 z β r 1 X r 2 X + r 1 y r 2 y + γ r 1 z r 2 z r 2 X 2 + r 2 y 2 + γ r 2 z 2 ( r 2 X β X + r 2 y β y + γ r 2 z β z ) / β γ r 2 z β ( r 1 X β X + r 1 y β y + γ r 1 z β z ) / β ( r 2 X β X + r 2 y β y + γ r 2 z β z ) / β ( β X 2 + β y 2 + γ β z 2 ) / β 2 γ β z γ r 1 z β γ r 2 z β γ β z γ )

Utilizando la ortogonalidad mutua para eliminar todos los componentes de la r es excepto r 1 z y r 2 z da como resultado

L ~ = ( 1 + r 1 z 2 ( γ 1 ) r 1 z r 2 z ( γ 1 ) r 1 z β z ( γ 1 ) / β γ β r 1 z r 1 z r 2 z ( γ 1 ) 1 + r 2 z 2 ( γ 1 ) r 2 z β z ( γ 1 ) / β γ β r 2 z r 1 z β z ( γ 1 ) / β r 2 z β z ( γ 1 ) / β 1 + β z 2 ( γ 1 ) / β 2 γ β z γ β r 1 z γ β r 2 z γ β z γ )

Y el resultado final deseado del ejercicio es

L ~ = R L R T = ( 1 + β X 2 ( γ 1 ) β 2 β X β y ( γ 1 ) β 2 β X β z ( γ 1 ) β 2 β X γ β X β y ( γ 1 ) β 2 1 + β y 2 ( γ 1 ) β 2 β y β z ( γ 1 ) β 2 β y γ β X β z ( γ 1 ) β 2 β y β z ( γ 1 ) β 2 1 + β z 2 ( γ 1 ) β 2 β z γ β X γ β y γ β z γ γ )

Mi confusión: el ejercicio dice r 1 y r 2 ser dos vectores ortonormales, pero específicamente necesito que tengan sus z -los componentes sean r 1 z = β X / β y r 2 z = β y / β para llegar a un acuerdo con la matriz anterior. ¿Cómo estoy haciendo esto de manera incorrecta para que el resultado dependa de estos z -componentes de r 1 y r 2 ? Tal vez se supone que debo utilizar la invariancia del determinante bajo transformaciones de similitud, | L ~ | = | L | , para eliminar uno más de esos z -componentes? Eso parece una pesadilla algebraica, y dado que mi matriz tiene una forma tan parecida, no creo que sea el enfoque correcto.

En la transformación de semejanza, el determinado de L debe ser igual al determinado de L ~ . Y tal vez entendí mal el problema, pero ¿no es un impulso de Lorentz en el z dirección
L = [ γ 0 0 β γ 0 1 0 0 0 0 1 0 β γ 0 0 γ ]
Me acabo de dar cuenta del pedido de su 4 -los componentes de los vectores no son estándar; los está escribiendo como:
[ X y z t ]
El pedido estándar de la 4 -componentes vectoriales es:
[ t X y z ]
Realmente no importa, pero es posible que desee tener esto en cuenta al publicar preguntas.
Realmente no entiendo lo que estás haciendo. Esta es la matriz para un impulso de Lorentz arbitrario usando vectores perpendiculares y paralelos:
L = [ I + γ 1 v 2 v v T γ v T γ v T γ ]
Si lo expande, debe coincidir con el resultado deseado del ejercicio, usando su 4 -notacion vectorial. Y si configuras el β X = β y = 0 entonces deberías poder recuperar el impulso de Lorentz en el z dirección.
Hola @CinaedSimson. Sí, debí haber aclarado que estoy trabajando en el ( X , y , z , C t ) convención (edité mi publicación para incluir eso). Entiendo la forma de una matriz de impulso arbitraria, lo que estoy tratando de ver es cómo no requiere que tenga r 1 z y r 2 z ser esos valores específicos.
Bien, deja r = r + r y r v = r v . Entonces
t = γ ( t r v C 2 )
r = r + ( γ 1 ) r γ v t
. Sustituto, r = r r , y r = ( r v v ) v v - dónde r v es la proyección de r sobre v , y v v es un vector unitario - en r . Por eso, r = r + ( γ 1 v 2 r v γ t ) v .
@CinaedSimson Lo siento, pero no estoy del todo seguro de cómo eso es relevante para mi pregunta. Estoy tratando de eliminar toda dependencia de las direcciones ortogonales en mi matriz de impulso general para obtener la matriz final que anoté (con una transformación de similitud). Está casi allí.
Estas son las ecuaciones vectoriales para una transformación de Lorentz arbitraria de r r :
r = r + ( γ 1 v 2 r v γ t ) v
t = γ ( t r v C 2 )
Convertirlos en una matriz para compararlos con el resultado deseado se deja como un ejercicio para usted.
@CinaedSimson Mi pregunta no es cómo convertir la transformación arbitraria de Lorentz en una matriz, lo entiendo. Obtiene la matriz de impulso arbitraria de una transformación de similitud . Agradezco el aporte, pero, nuevamente, todo lo que pido es una aclaración sobre el último paso de mi pregunta. Tal vez la forma en que lo he preguntado es demasiado difícil de entender.
@ArtBrown ¡Ah, sí, gracias!
Una transformación de similitud, que es una rotación en el espacio, tiene significado entre marcos en reposo entre sí. Entonces deja S O X y z t tu marco inicial, S α O α X y z α t α el marco impulsado en el z dirección y S β O β X β y β z β t β el marco impulsado en el β ^ dirección. Para hacer una rotación en el espacio desde S α a S β estos marcos deben estar en reposo entre sí, pero....
...esto es imposible si β ^ ( z β ^ ) z ^ .
La matriz de Lorentz dada como L ~ en su pregunta, idéntica a la dada en un comentario de @Cinaed Simson
L = [ I + γ 1 v 2 v v T γ v T γ v T γ ]
no es válido para configuraciones arbitrarias, pero para lo que llamo Configuración estándar , consulte, por ejemplo, la Figura 01 en mi respuesta aquí: ¿Es un error tipográfico en la derivación de la interacción espín-órbita de David Tong? .
Para ver cómo se prueba esta Configuración Estándar general a partir de la conocida Configuración Estándar en el X eje, consulte la SECCIÓN B en mi respuesta aquí (como 'user82794' en el pasado): dos conjuntos de coordenadas, cada uno en los marcos O y O ′ (transformación de Lorentz)
Una transformación de semejanza es la transformación de un campo que ocurre después de la 4 -el vector ha sido transformado por Lorentz. Y dado que pareces estar actuando al menos 2 impulso puro en 2 diferentes direcciones - y posiblemente con 2 diferentes velocidades, los marcos de Lorentz habrían precedido, y no puede volver al marco original sin un impulso compuesto y un separado 3 rotación del espacio d. Consulte Thomas Precession " en.wikipedia.org/wiki/Thomas_precession " y los comentarios de @Frobenius.
@Cinaed Simson: En mi opinión, su comentario aclaratorio anterior debe ser una pista en una respuesta. Por cierto, dos transformaciones de Lorentz (simétricas) sucesivas en dos direcciones diferentes dan una transformación de Lorentz (simétrica) y una rotación de Thomas (o Wigner) (estática), no una precesión (movimiento). Además, tenemos una contradicción aquí: creo que OP daría la recompensa +50 por una respuesta completa aceptada, pero para la última no está permitido que sea completa ya que la moderación la ha etiquetado como tarea y ejercicios .
@Frobenius Gracias por la entrada. No estoy seguro de entender su comentario acerca de que la rotación es imposible si β ^ z ^ , puedes aclarar? ¿Estás diciendo que el problema es fundamentalmente defectuoso? El punto es mirar β ^ z ^ , con por supuesto el β ^ = z ^ satisfecho como un caso específico. Este es el ejercicio en cuestión. yo estoy incrustando R en S O ( 3 , 1 ) o , ¿cambia esto tu imposibilidad?
@CinaedSimson ¿Puede aclarar cómo estoy "realizando al menos 2 impulsos puros en 2 direcciones diferentes, y posiblemente con 2 velocidades diferentes"? El objetivo completo de este problema, o eso pensé, era solo ver el z boost como uno arbitrario girando a un marco diferente que tiene β ^ como su z -eje. Por lo tanto, un impulso puro visto arbitrariamente. Lamento haber alargado esto tanto tiempo, ya no estoy seguro de lo que espero obtener de este enfoque.

Respuestas (2)

Confieso que no estoy del todo cómodo con este problema. (Sea testigo de mi primer intento de respuesta.)

Presionando adelante a pesar de todo, creo que r 1 y r 2 están restringidas por el requisito de que la transformación de Lorentz L ~ ser un impulso puro; es decir, que los vectores espaciales perpendiculares a la dirección de impulso β / β se dejan sin cambios por L ~ . (Estos vectores forman un espacio propio bidimensional con valor propio 1).

En concreto, resolver L ~ r 1 = r 1 y L ~ r 2 = r 2 (o componentes del mismo) produce 2 condiciones que se satisfacen eligiendo r 1 z = β X / β y r 2 z = β y / β .

por ejemplo, el X -componente de L ~ r 1 = r 1 se simplifica a:

r 1 X r 1 z + r 1 y r 2 z + r 1 z β z / β = 0

Con las sustituciones, esta ecuación se convierte en un producto interno de r 1 y β , que desaparece por la ortogonalidad de r 1 y β .

Los otros componentes dan la misma ecuación o una similar que se satisface con las mismas sustituciones.

ACTUALIZAR:

Las cosas están más claras ahora. Mi respuesta anterior fue problemática porque impuso algunas restricciones adicionales a r 1 ^ y r 2 ^ más allá de que sean ortonormales entre sí y β ^ , mientras que el problema establecía que cualquier par ortonormal debería funcionar. De hecho, cualquier par r 1 ^ y r 2 ^ produce un simétrico L ~ , y por lo tanto un impulso puro, entonces, ¿por qué deberían requerirse restricciones adicionales?

La respuesta es que no se requieren restricciones adicionales, si se elige la matriz R rotar z ^ en β ^ ( R z ^ = β ^ ). Específicamente, R debería haber sido la transpuesta de la que usaste. Con este cambio, el cálculo que realizó da el resultado esperado, sin restricciones adicionales en r 1 ^ y r 2 ^ requerido.

(Por el contrario, con la versión de R usted empleó, era necesario que r 1 z = β X / β y r 2 z = β y / β de modo que z ^ fue rotado en β ^ .)

¿Puede explicar cómo esas condiciones son el resultado de exigir la invariancia del tiempo adecuado? Parece ser mi retraso
@dsm, esa idea mía no era correcta, lo siento. Creo que mi respuesta revisada funciona mejor.
requiriendo L ~ r 1 = r 1 y L ~ r 2 = r 2 tiene sentido, pero no sé cómo hacer que salgan r 1 z = β X / β y r 2 z = β y / β . En mi forma más simplificada de L ~ he eliminado β X y β y usando la ortogonalidad, y no veo cómo esos componentes vuelven al juego a partir de esas dos ecuaciones matriciales. ¿Me estoy perdiendo de algo?
Cancelé los factores comunes en la ecuación. Lo que quedó podría expresarse como la desaparición del producto interno de r y otro vector. Ese segundo vector se convierte en β si los dos submarinos en cuestión están hechos estratégicamente (llevando β X etc. de vuelta al juego) y satisfaciendo la ecuación por ortogonalidad.
¡Ahhh, ya lo veo! Gracias. Eso me confundió durante demasiado tiempo. Y en lugar de sustitución, es más claro para mí simplemente restar la condición de ortogonalidad de r 1 y β a partir de ese X -ecuación de componentes para ver que debemos tener esos z -componentes a cuenta de r 1 (o r 2 si se utiliza la otra ecuación) teniendo arbitraria X y y componentes; es decir
r 1 X ( r 1 z β X / β ) + r 1 y ( r 2 z β y / β ) = 0 r 1 z = β X / β y r 2 z = β y / β
Agradezco tu persistencia, saludos :)

La matriz de transformación general de Lorentz es:

L = [ γ γ β T γ β I 3 + γ 1 v v β β T ]

si rotas la matriz de Lorentz entonces:

β R β

donde esta r 3 × 3 Matriz de rotación ortogonal

R T = [ r 1 , r 2 , r 3 ] y R R T = I 3

porque R β en tu caso es:

β z [ r 1 z r 2 z r 3 z ]

solo están involucradas las componentes z de los vectores que crean la matriz de rotación R

No sé lo que estás tratando de hacer aquí. ¿Por qué estás aplicando? R a β , la dirección en la que estoy girando el z dirección a? ¿Y qué estás tratando de transmitir con el β z ( r 1 z , r 2 z , r 3 z ) T ? Y lo que es r 3 ? Todo lo que estoy tratando de hacer es eliminar r 1 z y r 2 z en mi expresión final para obtener esa matriz final; es decir, no depender de ningún componente de la ortogonal r direcciones.