# ADM field Lagrangian for a source-free electromagnetic field

Gold Member

## Homework Statement

I am trying to reproduce MTW's ADM version of the field Lagrangian for a source free electromagnetic field:

##4π\mathcal {L} = -\mathcal {E}^i∂A_i/∂t - ∅\mathcal {E}^i{}_{,i} - \frac{1}{2}Nγ^{-\frac{1}{2}}g_{ij}(\mathcal {E}^i\mathcal {E}^i + \mathcal {B}^i\mathcal {B}^i) + N^i[ijk]\mathcal {E}^j\mathcal {B}^k## .....(21.100)

(I'm using γ instead of ##^{(3)}g## so ##(-^{4}g)^{\frac{1}{2}} = Nγ^{\frac{1}{2}}##)

## Homework Equations

I have used as my start point "by what in flat spacetime would be"

## The Attempt at a Solution

To begin, I recast (21.99) as:

##4π\mathcal {L} =\big{[}A_{μ,ν}g^{αμ}g^{βν}F^{αβ} + \frac{1}{4} F_{μν}g^{αμ}g^{βν}F_{αβ}\big{]}##

I then worked on this to produce:

##4π\mathcal {L} =\frac{1}{N}\big{[}(-(γ^{\frac{1}{2}}γ^{ij}F_{i0}A_{j,0}) - A_0\frac{∂}{∂x^j}(γ^{\frac{1}{2}}γ^{ij}F_{i0})\big{]}\hspace{23mm}(A)##

From here on, I am working on assumptions which may not be entirely correct:

If ##F_{i0} = E_i, γ^{\frac{1}{2}}γ^{ij}F_{i0} = \mathcal{E}^j##

(A) becomes

##\frac{1}{N}(-\mathcal{E}^j\frac{∂A_j}{∂t} +φ\mathcal{E}^i{}_i)##

If ##(A_{k,i}- A_{i,k}) = \frac{1}{2}[jki](A_{k,i}- A_{i,k})##

(B) becomes

##\frac{1}{N}(\mathcal{E}^iN^k\mathcal{B}^j)[ijk]##
Where ##[ijk] ## is needed because the i in ##\mathcal{E}^i ## and the k in ## N^k## are tied to the i,k in ##A_{i,k}##

(C ) becomes

##-\frac{1}{2}(\frac{1}{N})γ^{-\frac{1}{2}}\mathcal{E}^i\mathcal{E}^jγ_{ij}##

(D) becomes

##-\frac{N}{4}γ^{\frac{1}{2}}\mathcal{B}^m\mathcal{B}_n\frac{γ_{mn}γ^{mn}}{3}[mij][nlk]γ^{ik}γ^{jl}##

which then becomes

##-\frac{N}{2}γ^{-\frac{1}{2}}\mathcal{B}^m\mathcal{B}_nγ_{mn}##

(E) is a big problem because it is surplus to requirements and I can't see any way of making it disappear.

So basically, I have produced a set of elements (A) to (D) which are almost the same as the elements in MTW (21.100) except for some annoying factors of 'N'.

As I noted at the start, MTW make the point that

is "what would in flat space-time be" and we are not in a flat spacetime, but I can't see a way of making a transformation which would be in any way useful. It would be really nice if ##E^i## in flat spacetime could become ##NE^i## as this would solve all the issues with (A) to (D), but that still leaves me with (E).

Any ideas anyone??

Regards

TerryW  