Fermat’s and energy variation principles in field theory

Fermat's principle

In more general case for conformally stationary spacetime with coordinates ( t , x 1 , x 2 , x 3 ) a Fermat metric takes form

g = e 2 f ( t , x ) [ ( d t + ϕ α ( x ) d x α ) 2 − g ^ α β d x α d x β ] ,

where conformal factor f ( t , x ) depending on time t and space coordinates x α does not affect the lightlike geodesics apart from their parametrization.

Fermat's principle for a pseudo-Riemannian manifold states that the light ray path between points x a = ( x a 1 , x a 2 , x a 3 ) and x b = ( x b 1 , x b 2 , x b 3 ) corresponds to zero variation of action

S = ∫ μ b μ a ( g ^ α β d x α d μ d x β d μ + ϕ α ( x ) d x α d μ ) d μ ,

where μ is any parameter ranging over an interval [ μ a , μ b ] and varying along curve with fixed endpoints x a = x ( μ a ) and x b = x ( μ b ) .

Principle of stationary integral of energy

In principle of stationary integral of energy for a light-like particle's motion, the pseudo-Riemannian metric with coefficients g ~ i j is defined by a transformation

g ~ 00 = ρ 2 g 00 , g ~ 0 k = ρ g 0 k , g ~ k q = g k q .

With time coordinate x 0 and space coordinates with indexes k,q=1,2,3 the line element is written in form

d s 2 = ρ 2 g 00 ( d x 0 ) 2 + 2 ρ g 0 k d x 0 d x k + g k q d x k d x q ,

where ρ is some quantity, which is assumed equal 1 and regarded as the energy of the light-like particle with d s = 0 . Solving this equation for ρ under condition g 00 ≠ 0 gives two solutions

ρ = − g 0 k v k ± ( g 0 k g 0 q − g 00 g k q ) v k v q g 00 v 0 ,

where v i = d x i / d μ are elements of the four-velocity. Even if one solution, in accordance with making definitions, is ρ = 1 .

With g 00 = 0 and g 0 k ≠ 0 even if for one k the energy takes form

ρ = − g k q v k v q 2 v 0 v 0 .

In both cases for the free moving particle the lagrangian is

L = − ρ .

Its partial derivatives give the canonical momenta

p λ = ∂ L ∂ v λ = v λ v 0 v 0

and the forces

F λ = ∂ L ∂ x λ = 1 2 v 0 v 0 ∂ g i j ∂ x λ v i v j .

Momenta satisfy energy condition for closed system

ρ = v λ p λ − L .

Standard variational procedure is applied to action

S = ∫ μ b μ a L d μ = − ∫ μ b μ a ρ d μ ,

which is integral of energy. Stationary action is conditional upon zero variational derivatives δS/δx^λ and leads to Euler–Lagrange equations

d d μ ∂ ρ ∂ v λ − ∂ ρ ∂ x λ = 0 ,

which is rewritten in form

d d μ p λ − F λ = 0.

After substitution of canonical momentum and forces they give motion equations of lightlike particle in a free space

d v 0 d μ + v 0 2 v 0 ∂ g i j ∂ x 0 v i v j = 0

and

( g k λ v 0 − g 0 k v λ ) d v k d μ + [ 1 2 v 0 ∂ g i j ∂ x 0 ( g 00 v 0 v λ + g k λ v k v 0 ) − 1 2 ∂ g i j ∂ x λ v 0 + ∂ g i λ ∂ x j v 0 − ∂ g 0 i ∂ x j v λ ] v i v j = 0.

Static spacetime

For the static spacetime the first equation of motion with appropriate parameter μ gives v 0 = 1 . Canonical momentum and forces will be

p λ = v λ g 00 ; F λ = 1 2 g 00 ∂ g i j ∂ x λ v i v j .

For the isotropic paths a transformation to metric g ¯ i j = g i j g 00 is equivalent to replacement of parameter μ on d μ ¯ = d μ g 00 . The curve of motion of lightlike particle in four-dimensional spacetime and value of energy ρ are invariant under this reparametrization. Canonical momentum and forces take form

p ¯ λ = v ¯ λ g ¯ 00 ; F ¯ λ = 1 2 ∂ g ¯ i j ∂ x λ v ¯ i v ¯ j .

Substitution of them in Euler–Lagrange equations gives

d d μ ( g ¯ λ k v ¯ k ) = 1 2 ∂ g ¯ i j ∂ x λ v ¯ i v ¯ j .

This expression after some calculation becomes null geodesic equations

d 2 x λ d μ 2 + Γ i j λ d x i d μ d x j d μ = 0 ,

where Γ i j λ are the second kind Christoffel symbols with respect to the given metric tensor.

So in case of the static spacetime the geodesic principle and the energy variational method as well as Fermat's principle give the same solution for the light propagation.