Energy momentum tensor relation to Lorentz force. Peeter Joot Feb 17, 2009. 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) =
e0 ˜ e0 Fa F = − FaF 2 2
(1)
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)
T µν = T (γµ ) · γν
(3)
So we define
and can write these four vectors in tensor form as T (γµ ) = T µν γν
1
(4)
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 µν F γµ ∧ γν 2
(5)
So our tensor components are T µν = T (γµ ) · γν
e = − 0 F λσ F αβ (γλ ∧ γσ )γµ (γα ∧ γβ )γν 8 Or
−8
1 µν T = F λσ F αβ (γλ δσ µ − γσ δλ µ )(γα δβ ν − γβ δα ν ) e0
+ 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 D E 0 F λσ Fαβ η µµ (γλ ∧ γσ ∧ γµ )(γα ∧ γ β ∧ γν )
This dot product is reducable with the identity
( a ∧ b ∧ c) · (d ∧ e ∧ f ) = ((( a ∧ b ∧ c) · d) · e) · f 2
= F νβ Fµ0 β η µµ − F να Fαµ0 η µµ − F βν Fµ0 β η µµ + F αν Fαµ0 η µµ + F βα Fαβ η µµ δµ0 ν − F αβ Fαβ η µµ δµ0 ν 0
0
= 4F να Fµ0 α η µµ + 2F βα Fαβ η µµ δµ0 ν = 4F να F µ α + 2F βα Fαβ η µν
Combining these we have e0 αµ ν T µν = − 4F Fα + 4F να F µ α + 2F βα Fαβ η µν 8 e0 = −4F αµ Fα ν + 4F αµ F ν α + 2F αβ Fαβ η µν 8 If by some miracle all the index manipulation worked out, we have 1 T µν = e0 F αµ F ν α + F αβ Fαβ η µν 4 1.2.1
(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
So with the shorthand F µν = ∂µ Aν − ∂ν Aµ Fµν = ∂µ Aν − ∂ν Aµ Fµ ν = ∂µ Aν − ∂ν Aµ F µ ν = ∂µ Aν − ∂ν Aµ We have 1 µν F γµ ∧ γν 2 1 = Fµν γµ ∧ γν 2 1 ν µ = Fµ γ ∧ γν 2 1 = F µ ν γµ ∧ γ ν 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
∇ · T (γµ ) = ∂ν T µν Ignoring the e0 factor for now, chain rule gives us 1 (∂ν F αµ ) F ν α + F αµ (∂ν F ν α ) + (∂ν F αβ ) Fαβ η µν 2 1 αµ ν µ = (∂ν F ) F α + Fα (∂ν F να ) + (∂ν F αβ ) Fαβ η µν 2 Only this center term is recognizable in terms of current since we have
∇ · F = J/e0 c 4
(7)
Where the LHS is
∇ · F = γα ∂α ·
1 µν F γµ ∧ γν 2
1 ∂α F µν (δα µ γν − δα ν γµ ) 2 = ∂µ F µν γν
=
So we have ∂µ F µν = ( J · γν )/e0 c
= (( J α γα ) · γν )/e0 c = J ν /e0 c Or ∂µ F µν = J ν /e0 c
(8)
So we have 1 ∇ · T (γµ ) = e0 (∂ν F αµ ) F ν α + (∂ν F αβ ) Fαβ η µν + Fα µ J α /c 2 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 αβ F ( γα ∧ γ β ) 2
1 µ αβ (∂ F )(γµ ∧ γα ∧ γβ ) 2 1 µ αβ = ∂ F + ∂α F βµ + ∂ β F µα (γµ ∧ γα ∧ γβ ) 3!
=
5
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, 2003. [Joot(a)] Peeter Joot. Energy momentum tensor. ”http://sites.google.com/ site/peeterjoot/math/energy momentum tensor.pdf”, a. [Joot(b)] Peeter Joot. Lorentz force relation to the energy momentum tensor. ”http://sites.google.com/site/peeterjoot/math2009/stress energy lorentz.pdf”, b.
Energy momentum tensor relation to Lorentz force. - Peeter Joot's Blog
In [Joot(b)] the energy momentum tensor was related to the Lorentz force in. STA form. .... So, to get the expected result the remaining two derivative terms must.
ν. For the second term after a shuffle of indexes we have. FλÏFαβη. µµ. ã. (γλ â§ Î³Ï â§ Î³Âµ)(γ α ⧠γ β ⧠γ ν). ã This dot product is reducable with the identity.
Last Revision: Date : 2009/02/1504 : 53 : 32. Contents. 1 Motivation. 1. 2 Spacetime divergence of the energy momentum four vectors. 3. 3 Four vector Lorentz ...
This does not require any notion of geometric algebra, only an exterior product and the concept of similar elements, and a nice example of such a treatment can be ... pute this only once (if this was zero it would indicate the system of equations has
... momentum space, and calculated the corresponding momentum space volume element. Here's that calculation. 1.2 Guts. We are working with a Hamiltonian.
This is enough to calculate the Jacobian for our volume element change of variables dux < duy < duz = â(ux, uy, uz). â(px, py, pz) dpx < dpy < dpz. = 1 c6 (m2 + ...
193); the âDarwin Lagrangian. and Hamiltonian for a system of non-relativistic charged particles to order (v/c)2 and its ... to this problem was to omit this self energy term completely, essentially treating the charge of the electron as distribute
To compute this, some intermediate calculations are helpful. âv2 = 0 ... Computation of the .... âhttp://sites.google.com/site/peeterjoot/geometric-algebra/.
3.3 Energy density. Take II. For the Fourier coefficient energy calculation we now take 7 as the starting point. We will need the conguate of the field. Fâ = γ0. (. â.
dial decomposition. This is something that can be understood without the. Lagrangian formulation. To do so the missing factor is that before a conser-.
âiÏt. (12). The set of fourier coefficients considered in the sum must be restricted to those values that equation 12 holds. An effective way to achieve this is to pick a specific orientation of the coordinate system so the angular velocity bivect
Jan 29, 2008 - This is arguably strange given a traditional vector calculus education. ... â(ict). = i. J. ϵ0c. There is no use of geometric or wedge products here, ...
The first is the spatial pseudoscalar, which commutes with all vectors and bivectors. ... observe this is from the split of F into electric and magnetic field components. .... the differential operator to find eigenvectors for is the transverse gradi
Jan 18, 2012 - (dxi ds. )2. (4) so that ds. 2 â ds2 ds2. = 2eiidx2 i. (5). Observe that here again we see this factor of two. If we have a diagonalized strain tensor, the tensor is of the form ... We will consider a volume big enough that we won't
Aâ c + Ar. âAc. âÏa. â ã] rc. ËÎ. (31). So to procede we must consider the ãAr Aâ cã partials. A bit of thought shows that the matrices of partials above are mostly zeros. Illustrating by example, consider âãQã/âθ2, which i
aL a Ëxa. (2) where {7a} is the spatial basis. The first order of business is calculating the gradient and conjugate momenta. For the latter we have. 7a. aL a Ëxa. = 7a. (. âmc2. 7. 1. 2. (â2) Ëxa/c2 + e c. Aa. ) = m7u + e c. A. â¡ p + e c. A
... Behind Your Blog,. Page 1 of 2. Page 2 of 2. Page 2 of 2. questionably-the-easiest-way-to-robotic-blog-how-to-force-skilful-loot-1499493545218.pdf.
Seeing the Lorentz force show up like this out of nowhere with only manipulation of the Maxwell equation suggests that the. Lorentz force or its associated Lagrangian is not actually that fundamental. We have one equation at the root of both (and tha
What was the speed of the bullet just before it hit the block? ... pendulum bobs are small solid steel spheres. ... Momentum, Energy and Work Test Review.pdf.
Dec 13, 2009 - the application I have in mind I do not actually need anything more than Tµ0, so rather than show something .... [3] D. Bohm. Quantum Theory.
READING LIST: ... Below is the list of some plant families and their local name ... principles had to be adopted in naming them to avoid confusion botanists adopted ... Taxonomy in relation to Chromosomal morphology & Evolution notes 1.pdf.