Revisit Lorentz force from Lagrangian. Peeter Joot October 8, 2008. Last Revision: Date : 2008/10/0914 : 31 : 12
Contents 1
Motivation
1
2
Equations of motion.
1
3
Correspondance with classical form.
3
4
General potential.
5
1
Motivation
In [Joot(b)] a derivation of the Lorentz force in covariant form was performed. Intuition says that result, because of the squared proper velocity, was dependent on the positive time Minkowski signature. With many GR references using the opposite signature, it seems worthwhile to understand what results are signature dependent and put them in a signature invariant form. Here the result will be rederived without assuming this signature. Assume a Lagrangian of the following form
L=
1 2 mv + κA · v 2
(1)
where v is the proper velocity. Here A( x µ , x˙ ν ) = A( x µ ) is a position but not velocity dependent four vector potential. The constant κ includes the charge of the test mass, and will be determined exactly in due course.
2
Equations of motion.
As observed in [Joot(a)] the Euler-Lagrange equations can be summarized in four-vector form as
1
∇L =
d (∇v L). dτ
(2)
To compute this, some intermediate calculations are helpful
∇ v2 = 0 ∇( A · v) = ∇ Aµ x˙ µ = γν x˙ µ ∂ν Aµ 1 1 ∇v v2 = ∇v (γµ )2 ( x˙ µ )2 2 2 = γν (γµ )2 ∂ x˙ ν x˙ µ = γµ (γµ )2 x˙ µ = γµ x˙ µ =v ∇v ( A · v) = γν ∂ x˙ ν Aµ x˙ µ = γν Aµ δµ ν = γµ Aµ =A d = x˙ µ ∂µ dτ Putting all this back together d (∇v L) dτ d κγν x˙ µ ∂ν Aµ = (mv + κA) dτ =⇒
∇L =
p˙ = κ γν x˙ µ ∂ν Aµ − x˙ ν ∂ν γµ Aµ
= κ∂ν Aµ (γν x˙ µ − x˙ ν γµ )
We know this will be related to F · v, where F = ∇ ∧ A. Expanding that for comparision
2
F · v = (∇ ∧ A) · v = (γµ ∧ γν ) · γα x˙ α ∂µ Aν
= (γµ δν α − γν δµ α ) x˙ α ∂µ Aν = γµ x˙ ν ∂µ Aν − γν x˙ µ ∂µ Aν = ∂ν Aµ (γν x˙ µ − γµ x˙ ν )
With the insertion of the κ factor this is an exact match, but working backwards to demonstrate that would have been harder. The equation of motion associated with the Lagrangian of equation 1 is thus p˙ = κF · v.
3
(3)
Correspondance with classical form.
A reasonable approach to fix the constant κ is to put this into correspondance with the classical vector form of the Lorentz force equation. Introduce a rest observer, with worldline x = cte0 . Computation of the spatial parts of the four vector force equation 3 for this rest observer requires taking the wedge product with the observer velocity v = cγe0 . For clarity, for the observer frame we use a different set of basis vectors {eµ }, to point out that γ0 of the derivation above does not have to equal e0 . Since the end result of the Lagrangian calculation ended up being coordinate and signature free, this is perhaps superfluous. First calculate the field velocity product in terms of electric and magnetic components. In this new frame of reference write the proper velocity of the charged particle as v = eµ f˙µ F · v = (E + IcB) · v
= ( Ei ei0 − eijk cBk eij ) · eµ f˙µ = Ei f˙0 ei0 · e0 + Ei f˙ j ei0 · e j − eijk cBk f˙m eij · em
Omitting the scale factor γ = dt/dτ for now, application of a wedge with e0 operation to both sides of 3 will suffice to determine this observer dependent expression of the force.
3
( F · v) ∧ e0 = Ei f˙0 (ei0 · e0 ) + Ei f˙ j (ei0 · e j ) − eijk cBk f˙m eij · em ∧ e0
= Ei f˙0 ei0 (e0 )2 − eijk cBk f˙m (ei )2 (ei δjm − e j δim ) ∧ e0 = (e0 )2 Ei f˙0 ei0 + eijk cBk f˙ j ei0 − f˙i e j0
This wedge application has discarded the timelike components of the force equation with respect to this observer rest frame. Introduce the basis {σi = ei ∧ e0 } for this observers’ Euclidian space. These spacetime bivectors square to unity, and thus behave in every respect like Euclidian space vector basis vectors. Writing E = Ei σi , B = Bi σi , and v = σi dxi /dt we have dt ( F · v ) ∧ e0 = ( e0 ) c dτ 2
E + eijk B
k
dfj dfi σi − σ dt dt j
This inner antisymmetric sum is just the cross product. This can be observed by expanding the determinant σ1 a × b = a1 b1
σ2 a2 b2
σ3 a3 b3
= σ1 ( a2 b3 − a3 b2 ) + σ2 ( a3 b1 − a1 b3 ) + σ3 ( a1 b2 − a2 b1 ) = σi a j bk This leaves κ ( F · v ) ∧ e0 = κ ( e0 ) 2 c
dt (E + v × B) dτ
(4)
Next expand the left hand side acceleration term in coordinates, and wedge with e0 dm f˙µ dt dt dτ dm f˙i dt = ei0 . dt dτ
p˙ ∧ e0 =
eµ
∧ e0
Equating with 4, with cancelation of the γ = dt/dτ factors, leaves the traditional Lorentz force law in observer dependent form d (mγv) = κ (e0 )2 c (E + v × B) dt 4
This supplies the undetermined constant factor from the Lagrangian κ (e0 )2 c = q. A summary statement of the results is as follows 1 2 mv + q(e0 )2 A · (v/c) 2 p˙ = (e0 )2 qF · (v/c)
L=
p = q(E + v × B)
(5) (6) (7)
For (e0 )2 = 1, we have the proper Lorentz force equation as found in [Doran and Lasenby(2003)], which also uses the positive time signature. In that text the equation was obtained using some subtle relativistic symmetry arguments not especially easy to follow.
4
General potential.
Having written this, it would be more natural to couple the signature dependency into the velocity term of the Lagrangian since that squared velocity was the signature dependent term to start with
L=
1 2 mv (e0 )2 + qA · (v/c) 2
Although this doesn’t change the equations of motion we can keep that signature factor with the velocity term. Consider a general potential as an example 1 2 mv (γ0 )2 + φ 2 d ∇L = (∇v L) dτ d d (mv(γ0 )2 ) = ∇φ − (∇v φ) dτ dτ
L=
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. Canonical momentum phrase from goldstein explored. ”http://sites.google.com/site/peeterjoot/geometric-algebra/ canonical momentum.pdf”, a. 5
[Joot(b)] Peeter Joot. Lagrangian derivation of lorentz force law in sta form. ”http://sites.google.com/site/peeterjoot/geometric-algebra/ sr lagrangian.pdf”, b.
6