Fermat’s and energy variation principles in field theory

In general relativity the light is assumed to propagate in the vacuum along null geodesic in a pseudo-Riemannian manifold. Besides the geodesics principle in a classical field theory there exists the Fermat's principle for stationary gravity fields.^[1] Belayev ^[2][3] has proposed variational method without the violation of isotropy of the path of the lightlike particle, giving equations identical to those that follow from Fermat's principle. In this method the action principle leads to condition of zero variational derivative of the integral of energy, and it is applied also to non-stationary gravity fields.

Fermat's principle

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

$g=e^{2f(t,x)}[(dt+\phi_{\alpha}(x)dx^{\alpha})^{2} -\hat{g}_{\alpha\beta} dx^{\alpha} dx^{\beta}]$,

where conformal factor $f(t,x)$ depending on time $t$ and space coordinates $x^{\alpha}$ 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^1_a,x^2_a,x^3_a)$ and $x_b=(x^1_b,x^2_b,x^3_b)$ corresponds to zero variation of action

$S=\int^{\mu_a}_{\mu_b}\left(\sqrt{\hat{g}_{\alpha\beta} \frac{dx^{\alpha}}{d\mu} \frac{dx^{\beta}}{d\mu}}+\phi_{\alpha}(x)\frac{dx^{\alpha}}{d\mu} \right)d\mu$,

where $\mu$ is any parameter ranging over an interval $[\mu_a, \mu_b]$ and varying along curve with fixed endpoints $x_a=x(\mu_a)$ and $x_b=x(\mu_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 $\tilde{g}_{ij}$ is defined by a transformation

$\tilde{g}_{00} =\rho ^{2}{g}_{00} ,\,\,\,\, \tilde{g}_{0k} =\rho{g}_{0k} ,\,\,\,\, \tilde{g}_{kq} ={g}_{kq} .$

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

$ds^2=\rho^2 g_{00}(dx^{0})^{2}+ 2\rho g_{0k}dx^{0}dx^{k}+ g_{kq}dx^{k}dx^{q},$

where $\rho$ is some quantity, which is assumed equal 1 and regarded as the energy of the light-like particle with $ds=0$. Solving this equation for $\rho$ under condition $g_{00} \ne 0$ gives two solutions

$\rho =\frac{-g_{0k} v^{k} \pm \sqrt{(g_{0k} g_{0q} -g_{00} g_{kq} )v^{k} v^{q} } }{g_{00} v^{0} },$

where $v^{i}=dx^i/d\mu$ are elements of the four-velocity. Even if one solution, in accordance with making definitions, is $\rho=1$.

With $g_{00}=0$ and $g_{0k} \ne 0$ even if for one k the energy takes form

$\rho =-\frac{g_{kq} v^{k} v^{q} }{2v_{0} v^{0}}.$

In both cases for the free moving particle the lagrangian is

$L= -\rho.$

Its partial derivatives give the canonical momenta

$p_{\lambda}=\frac{\partial L}{\partial v^{\lambda}}=\frac{v_{\lambda}}{v^{0}v_{0}}$

and the forces

$F_{\lambda}=\frac{\partial L }{\partial x^{\lambda}}=\frac{1}{2v^{0}v_{0}}\frac{\partial g_{ij}}{\partial x^{\lambda}}v^{i}v^{j}.$

Momenta satisfy energy condition ^[5] for closed system

$\rho=v^{\lambda}p_{\lambda}-L.$

Standard variational procedure is applied to action

$S=\int^{\mu_a}_{\mu_b}L d\mu=-\int^{\mu_a}_{\mu_b}\rho d\mu,$

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

$\frac{d}{d\mu}\frac{\partial \rho }{\partial v^{\lambda}}-\frac{\partial \rho }{\partial x^{\lambda}}=0,$

which is rewritten in form

$\frac{d}{d\mu} p_{\lambda}-F_{\lambda}=0.$

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

$\frac{dv^{0}}{d\mu}+\frac{v^{0}}{2v_{0}}\frac{\partial g_{ij}}{\partial x^{0}}v^{i}v^{j}=0$

and

$(g_{k\lambda} v_{0}-g_{0k}v_{\lambda})\frac{dv^{k}}{d\mu}+\left[\frac{1}{2v_{0}}\frac{\partial g_{ij}}{\partial x^{0}}(g_{00}v^{0}v_{\lambda}+ g_{k\lambda}v^{k}v_{0})-\frac{1}{2}\frac{\partial g_{ij}}{\partial x^{\lambda}}v_{0} +\frac{\partial g_{i\lambda}}{\partial x^{j}}v_0- \frac{\partial g_{0i}}{\partial x^{j}}v_{\lambda}\right]v^i v^j=0.$

For the stationary spacetime the Fermat's and extremal integral of energy principles yield identical equations.^[2] Solution of these equations for Gödel metric differs from the null geodesic.^[3]

Static spacetime

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

$p_{\lambda}=\frac{v_{\lambda}}{g_{00}}; \qquad F_{\lambda}=\frac{1}{2g_{00}}\frac{\partial g_{ij}}{\partial x^{\lambda}}v^{i}v^{j}$.

For the isotropic paths a transformation to metric $\overline{g}_{ij}=\frac{g_{ij}}{g_{00}}$ is equivalent to replacement of parameter $\mu$ on $d\overline{\mu}=\frac{d\mu}{\sqrt{g_{00}}}$. The curve of motion of lightlike particle in four-dimensional spacetime and value of energy $\rho$ are invariant under this reparametrization. Canonical momentum and forces take form

$\overline{p}_{\lambda}=\frac{\overline v_{\lambda}}{\overline g_{00}} ; \qquad \overline{F}_{\lambda}=\frac{1}{2}\frac{\partial \overline{g}_{ij}}{\partial x^{\lambda}}\overline{v}^{i}\overline{v}^{j}.$

Substitution of them in Euler–Lagrange equations gives

$\frac{d}{d\mu}\left(\overline{g}_{\lambda k }\overline{v}^k\right)=\frac{1}{2}\frac{\partial \overline{g}_{ij}}{\partial x^{\lambda}}\overline{v}^{i}\overline{v}^{j}$.

This expression after some calculation becomes null geodesic equations

$\frac{d^2 x^\lambda}{d\mu ^2}+\Gamma^\lambda_{ij} \frac{dx^i}{d\mu}\frac{dx^j}{d\mu}=0,$

where $\Gamma^\lambda_{ij}$ 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.

See also

• Fermat's principle

References

1. Landau, Lev D.; Lifshitz, Evgeny F. (1980), The Classical Theory of Fields (4th ed.), London: Butterworth-Heinemann, p. 273, ISBN 9780750627689
2. Belayev, W. B. (March 2013), "Comparison of geodesics and energy variation principles of light propagation", International Journal of Physics 1 (1): 1–4, doi:10.12691/ijp-1-1-1
3. Belayev, W. B. (March 2012), "Application of Lagrange mechanics for analysis of the light-like particle motion in pseudo-Riemann space", International Journal of Theoretical and Mathematical Physics 2 (2): 5–15, arXiv:0911.0614, doi:10.5923/j.ijtmp.20120202.03
4. Perlik, Volker (2004), "Gravitational Lensing from a Spacetime Perspective", Living Rev. Relativity 7 (9), Chapter 4.2
5. Landau, Lev D.; Lifshitz, Evgeny F. (1976), Mechanics Vol. 1 (3rd ed.), London: Butterworth-Heinemann, p. 14, ISBN 9780750628969