Energy momentum tensor relation to Lorentz force.

Transcription

1 Energy momentum tensor relation to Lorentz force. Peeter Joot Feb 17, Last Revision: Date : 2009/02/1807 : 14 : 45 1 Motivation. In [Joot(b)] the energy momentum tensor was related to the Lorentz force in STA form. Work the same calculation strictly in tensor form, to develop more comfort with tensor manipulation. This should also serve as a translation aid to compare signs due to metric tensor differences in other reading. 1.1 Definitions. The energy momentum tensor, really a four vector, is defined in [Doran and Lasenby(2003)] as T(a) = ɛ 0 2 Fa F = ɛ 0 FaF (1) 2 We ve seen that the divergence of the T(γ µ ) vectors generate the Lorentz force relations. Let s expand this with respect to index lower basis vectors for use in the divergence calculation. T(γ µ ) = (T(γ µ ) γ ν )γ ν (2) So we define T µν = T(γ µ ) γ ν (3) and can write these four vectors in tensor form as T(γ µ ) = T µν γ ν (4) 1

2 1.2 Expanding out the tensor. An expansion of T µν was done in [Joot(a)], but looking back that seems a peculiar way, using the four vector potential. Let s try again in terms of F µν instead. Our field is F = 1 2 Fµν γ µ γ ν (5) So our tensor components are T µν = T(γ µ ) γ ν = ɛ 0 8 Fλσ F αβ (γ λ γ σ )γ µ (γ α γ β )γ ν Or 8 1 ɛ 0 T µν = F λσ F αβ (γ λ δ σ µ γ σ δ λ µ )(γ α δ β ν γ β δ α ν ) + F λσ F αβ (γ λ γ σ γ µ )(γ α γ β γ ν ) Expanding only the first term to start with F λσ F αβ (γ λ δ µ σ ) (γ α δ ν β ) + F λσ F αβ (γ σ δ µ λ ) (γ β δ ν α ) F λσ F αβ (γ λ δ µ σ ) (γ β δ ν α ) F λσ F αβ (γ σ δ µ λ ) (γ α δ ν β ) = F λµ F αν γ λ γ α + F µσ F νβ γ σ γ β F λµ F νβ γ λ γ β F µσ F αν γ σ γ α = η αβ (F λµ F αν γ λ γ β + F µσ F να γ σ γ β F λµ F να γ λ γ β F µσ F αν γ σ γ β ) = η αλ F λµ F αν + η ασ F µσ F να η αλ F λµ F να η ασ F µσ F αν = 2(η αλ F λµ F αν + η ασ F µσ F να ) = = 4η αβ F βµ F αν = 4F βµ ν F β = 4F αµ ν F α For the second term after a shuffle of indexes we have F λσ F αβ η µµ (γ λ γ σ γ µ )(γ α γ β γ ν ) This dot product is reducable with the identity (a b c) (d e f ) = (((a b c) d) e) f 2

3 leaving a completely antisymmetized sum F λσ F αβ η µµ (δ ν λ δ β σ δ µ α δ ν λ δ α σ δ µ β δ β λ δ ν σ δ µ α + δ α λ δ ν σ δ µ β + δ β λ δ α σ δ µ ν δ α λ δ β σ δ µ ν ) = F νβ F µ βη µµ F να F αµ η µµ F βν F µ βη µµ + F αν F αµ η µµ + F βα F αβ η µµ δ µ ν F αβ F αβ η µµ δ µ ν = 4F να F µ αη µµ + 2F βα F αβ η µµ δ µ ν = 4F να F µ α + 2F βα F αβ η µν Combining these we have T µν = ɛ 0 (4F αµ F ν α + 4F να F µ α + 2F βα F 8 αβ η µν) = ɛ 0 ( 4F αµ F ν α + 4F αµ F ν α + 2F αβ F 8 αβ η µν) If by some miracle all the index manipulation worked out, we have ( T µν = ɛ 0 F αµ F ν α + 1 ) 4 Fαβ F αβ η µν (6) Justifying some of the steps. For justification of some of the index manipulations of the F tensor components it is helpful to think back to the definitions in terms of four vector potentials F = A = 1 2 ( µ A ν ν A µ )γ µ γ ν = 1 2 ( µa ν ν A µ )γ µ γ ν = 1 2 ( µa ν ν A µ )γ µ γ ν = 1 2 ( µ A ν ν A µ )γ µ γ ν 3

4 So with the shorthand F µν = µ A ν ν A µ F µν = µ A ν ν A µ F µ ν = µ A ν ν A µ F µ ν = µ A ν ν A µ We have F = 1 2 Fµν γ µ γ ν = 1 2 F µνγ µ γ ν = 1 2 F µ ν γ µ γ ν = 1 2 Fµ νγ µ γ ν In particular, and perhaps not obvious without the definitions handy, the following was used above F µ ν = F ν µ 1.3 The divergence. What s our divergence in tensor form? This would be T(γ µ ) = (γ α α ) (T µν γ ν ) So we have Ignoring the ɛ 0 factor for now, chain rule gives us T(γ µ ) = ν T µν (7) ( ν F αµ )F ν α + F αµ ( ν F ν α) ( νf αβ )F αβ η µν = ( ν F αµ )F ν α + F µ α ( ν F να ) ( νf αβ )F αβ η µν Only this center term is recognizable in terms of current since we have F = J/ɛ 0 c 4

5 Where the LHS is ( ) 1 F = γ α α 2 Fµν γ µ γ ν = 1 2 αf µν (δ α µγ ν δ α νγ µ ) = µ F µν γ ν So we have µ F µν = (J γ ν )/ɛ 0 c = ((J α γ α ) γ ν )/ɛ 0 c = J ν /ɛ 0 c Or µ F µν = J ν /ɛ 0 c (8) So we have T(γ µ ) = ɛ 0 ( ( ν F αµ )F ν α ( νf αβ )F αβ η µν ) + F α µ J α /c So, to get the expected result the remaining two derivative terms must somehow cancel. How to reduce these? Let s look at twice that 2( ν F αµ )F ν α + ( ν F αβ )F αβ η µν = 2( ν F αµ )F να + ( µ F αβ )F αβ = ( ν F αµ )(F να F αν ) + ( µ F αβ )F αβ = ( α F βµ )F αβ + ( β F µα )F αβ + ( µ F αβ )F αβ = ( α F βµ + β F µα + µ F αβ )F αβ Ah, there s the trivector term of Maxwell s equation hiding in there. 0 = F = γ µ µ ( ) 1 2 Fαβ (γ α γ β ) = 1 2 ( µ F αβ )(γ µ γ α γ β ) = 1 ( µ F αβ + α F βµ + β F µα) (γ µ γ α γ 3! β ) 5

6 Since this is zero, each component of this trivector must separately equal zero, and we have µ F αβ + α F βµ + β F µα = 0 (9) So, where T µν is defined by 6, the final result is ν T µν = F αµ J α /c (10) References [Doran and Lasenby(2003)] C. Doran and A.N. Lasenby. Geometric algebra for physicists. Cambridge University Press New York, [Joot(a)] Peeter Joot. Energy momentum tensor. site/peeterjoot/math/energy momentum tensor.pdf, a. [Joot(b)] Peeter Joot. Lorentz force relation to the energy momentum tensor. energy lorentz.pdf, b. 6