¿Cómo probar este diferencial matricial para la teoría de Born-Infeld?

Considere el Born-Infeld Lagrangian, página 30 de Born-Infeld Action and Its Applications de Cong Wang.

L B I = det ( 1 + F ) dónde F m v = m A v v A m . Estoy tratando de derivar el EOM como se hace aquí. Sin embargo, no pude seguir varios pasos. Me incomoda que el autor trate F m v como un número sin índices. Si sigo las primeras líneas, se demostró que L B I se convierte det ( 1 F 2 ) 1 4 dónde ( F 2 ) α β = F α σ F σ β

Siguiendo los siguientes pasos,

d L B I = d Exp ( 1 4 t r en ( 1 F 2 ) ) = 1 2 Exp ( 1 4 t r en ( 1 F 2 ) ) ( F 1 F 2 ) m v d F v m

d t r en ( 1 F 2 ) = ( F 1 F 2 ) m v d F v m

Estoy tratando de entender esto. ¿Se toma la traza antes de tomar la derivada? Agradecería cualquier ayuda para probar esto a partir de d t r en ( 1 ( F 2 ) α β ) . ¿Qué identidades de matriz se van a utilizar?

Respuestas (1)

Para cualquier matriz A :

d t r A = t r d A
desde t r es solo una combinación lineal de los elementos de la matriz de su argumento, y d es lineal. Escribiendo los índices explícitamente ( d i j es delta de Kronecker):
d t r A = d A i i = d ( d i j A i j ) = d i j d A i j = d i j ( d A ) i j = t r d A

Ahora tomemos A = registro ( 1 METRO 2 ) y continuar:

t r d registro ( 1 METRO 2 ) = t r [ ( 1 METRO 2 ) 1 d ( METRO 2 ) ] = 2 ( ( 1 METRO 2 ) 1 ) i j METRO j k d METRO k i
ahora escribiendo
( ( 1 METRO 2 ) 1 ) i j METRO j k = ( METRO 1 METRO 2 ) i k
tienes tu resultado para cualquier matriz METRO .

En el presente caso, las cosas son ligeramente diferentes porque hay que tratar los índices de Lorentz correctamente y la traza se calcula contrayendo con la métrica inversa η m v , así por ejemplo

t r [ ( 1 METRO 2 ) 1 d ( METRO 2 ) ] = ( ( 1 METRO 2 ) 1 ) α β d ( METRO 2 ) β α ,
pero el argumento clave es el expresado antes.