Demostrar que E2−B2E2−B2\mathbf{E}^2-\mathbf{B}^2 y E⋅BE⋅B\mathbf{E}\cdot\mathbf{B} son las dos únicas cantidades invariantes de Lorentz independientes [duplicar ]

como probar eso mi 2 B 2 y mi B son las dos únicas cantidades invariantes de Lorentz independientes que se construyen mediante mi y B ?

Es fácil demostrar que son cantidades invariantes de Lorentz e independientes entre sí porque son F m v F m v y ϵ a b C d F a b F C d hasta una constante. Pero, ¿cómo demostrar que son las dos únicas cantidades invariantes de Lorentz independientes? es decir, cualquier otra cantidad invariante de Lorentz construida por mi , B o F m v puede representarse como una función de mi 2 B 2 y mi B .

Respuestas (2)

No estoy muy familiarizado con el grupo de Lorentz, pero este tipo de preguntas es definitivamente para la teoría de grupos. De wikipedia concluyo que el tensor de campo electromagnético se transforma bajo ( 1 , 0 ) ( 0 , 1 ) representación. La idea general es encontrar cuántos invariantes (es decir, ( 0 , 0 ) ) se puede formar a partir de dos valores que se transforman bajo ( 1 , 0 ) ( 0 , 1 ) . Entonces, necesitamos encontrar el resultado de los productos directos. [ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 1 , 0 ) ( 0 , 1 ) ] .

Basado en la explicación dada aquí , concluyo que es igual a

[ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 1 , 0 ) ( 0 , 1 ) ] =
[ ( 1 , 0 ) ( 1 , 0 ) ] [ ( 0 , 1 ) ( 0 , 1 ) ] 2 [ ( 1 , 0 ) ( 1 , 0 ) ] =
[ ( 0 , 0 ) ( 1 , 0 ) ( 2 , 0 ) ] [ ( 0 , 0 ) ( 0 , 1 ) ( 0 , 2 ) ] 2 ( 1 , 1 ) =
2 ( 0 , 0 ) [ ( 1 , 0 ) ( 0 , 1 ) ] [ ( 2 , 0 ) ( 0 , 2 ) ] 2 ( 1 , 1 )

El número de escalares ( ( 0 , 0 ) representación) en el producto es 2. Entonces, podemos construir solo dos escalares a partir del producto de dos tensores de campo electromagnético.

mi y B son vectores, y geométricamente solo hay 3 combinaciones cuadráticas escalares de estos campos: mi 2 , B 2 y ( mi , B ) . El último es invariante de Lorentz por sí mismo, mientras que para obtener el invariante del resto, hay que restar uno del otro. También hay combinaciones cúbicas. ϵ i j k mi i mi j B k , ϵ i j k mi i B j B k , etc., pero todos ellos se desvanecen debido a la antisimetría de ϵ -tensor.