The Iconic Eikonal and the Optical Path

Nature loves the path of steepest descent.  Place a ball on a smooth curved surface and release it, and it will instantansouly accelerate in the direction of steepest descent.  Shoot a laser beam from an oblique angle onto a piece of glass to hit a target inside, and the path taken by the beam is the only path that decreases the distance to the target in the shortest time.  Diffract a stream of electrons from the surface of a crystal, and quantum detection events are greatest at the positions where the the troughs and peaks of the deBroglie waves converge the most.  The first example is Newton’s second law.  The second example is Fermat’s principle.  The third example is Feynman’s path-integral formulation of quantum mechanics.  They all share in common a minimization principle—the principle of least action—that the path of a dynamical system is the one that minimizes a property known as “action”.

The Eikonal Equation is the “F = ma” of ray optics.  It’s solutions describe the paths of light rays through complicated media.

         The principle of least action, first proposed by the French physicist Maupertuis through mechanical analogy, became a principle of Lagrangian mechanics in the hands of Lagrange, but was still restricted to mechanical systems of particles.  The principle was generalized forty years later by Hamilton, who began by considering the propagation of light waves, and ended by transforming mechanics into a study of pure geometry divorced from forces and inertia.  Optics played a key role in the development of mechanics, and mechanics returned the favor by giving optics the Eikonal Equation.  The Eikonal Equation is the “F = ma” of ray optics.  It’s solutions describe the paths of light rays through complicated media.

Malus’ Theorem

Anyone who has taken a course in optics knows that Étienne-Louis Malus (1775-1812) discovered the polarization of light, but little else is taught about this French mathematician who was one of the savants Napoleon had taken along with himself when he invaded Egypt in 1798.  After experiencing numerous horrors of war and plague, Malus returned to France damaged but wiser.  He discovered the polarization of light in the Fall of 1808 as he was playing with crystals of icelandic spar at sunset and happened to view last rays of the sun reflected from the windows of the Luxumbourg palace.  Icelandic spar produces double images in natural light because it is birefringent.  Malus discovered that he could extinguish one of the double images of the Luxumbourg windows by rotating the crystal a certain way, demonstrating that light is polarized by reflection.  The degree to which light is extinguished as a function of the angle of the polarizing crystal is known as Malus’ Law

Fronts-piece to the Description de l’Égypte , the first volume published by Joseph Fourier in 1808 based on the report of the savants of L’Institute de l’Égypte that included Monge, Fourier and Malus, among many other French scientists and engineers.

         Malus had picked up an interest in the general properties of light and imaging during lulls in his ordeal in Egypt.  He was an emissionist following his compatriot Laplace, rather than an undulationist following Thomas Young.  It is ironic that the French scientists were staunchly supporting Newton on the nature of light, while the British scientist Thomas Young was trying to upend Netwonian optics.  Almost all physicists at that time were emissionists, only a few years after Young’s double-slit experiment of 1804, and few serious scientists accepted Young’s theory of the wave nature of light until Fresnel and Arago supplied the rigorous theory and experimental proofs much later in 1819. 

Malus’ Theorem states that rays perpendicular to an initial surface are perpendicular to a later surface after reflection in an optical system. This theorem is the starting point for the Eikonal ray equation, as well as for modern applications in adaptive optics. This figure shows a propagating aberrated wavefront that is “compensated” by a deformable mirror to produce a tight focus.

         As a prelude to his later discovery of polarization, Malus had earlier proven a theorem about trajectories that particles of light take through an optical system.  One of the key questions about the particles of light in an optical system was how they formed images.  The physics of light particles moving through lenses was too complex to treat at that time, but reflection was relatively easy based on the simple reflection law.  Malus proved a theorem mathematically that after a reflection from a curved mirror, a set of rays perpendicular to an initial nonplanar surface would remain perpendicular at a later surface after reflection (this property is closely related to the conservation of optical etendue).  This is known as Malus’ Theorem, and he thought it only held true after a single reflection, but later mathematicians proved that it remains true even after an arbitrary number of reflections, even in cases when the rays intersect to form an optical effect known as a caustic.  The mathematics of caustics would catch the interest of an Irish mathematician and physicist who helped launch a new field of mathematical physics.

Etienne-Louis Malus

Hamilton’s Characteristic Function

William Rowan Hamilton (1805 – 1865) was a child prodigy who taught himself thirteen languages by the time he was thirteen years old (with the help of his linguist uncle), but mathematics became his primary focus at Trinity College at the University in Dublin.  His mathematical prowess was so great that he was made the Astronomer Royal of Ireland while still an undergraduate student.  He also became fascinated in the theory of envelopes of curves and in particular to the mathematics of caustic curves in optics. 

         In 1823 at the age of 18, he wrote a paper titled Caustics that was read to the Royal Irish Academy.  In this paper, Hamilton gave an exceedingly simple proof of Malus’ Law, but that was perhaps the simplest part of the paper.  Other aspects were mathematically obscure and reviewers requested further additions and refinements before publication.  Over the next four years, as Hamilton expanded this work on optics, he developed a new theory of optics, the first part of which was published as Theory of Systems of Rays in 1827 with two following supplements completed by 1833 but never published.

         Hamilton’s most important contribution to optical theory (and eventually to mechanics) he called his characteristic function.  By applying the principle of Fermat’s least time, which he called his principle of stationary action, he sought to find a single unique function that characterized every path through an optical system.  By first proving Malus’ Theorem and then applying the theorem to any system of rays using the principle of stationary action, he was able to construct two partial differential equations whose solution, if it could be found, defined every ray through the optical system.  This result was completely general and could be extended to include curved rays passing through inhomogeneous media.  Because it mapped input rays to output rays, it was the most general characterization of any defined optical system.  The characteristic function defined surfaces of constant action whose normal vectors were the rays of the optical system.  Today these surfaces of constant action are called the Eikonal function (but how it got its name is the next chapter of this story).  Using his characteristic function, Hamilton predicted a phenomenon known as conical refraction in 1832, which was subsequently observed, launching him to a level of fame unusual for an academic.

         Once Hamilton had established his principle of stationary action of curved light rays, it was an easy step to extend it to apply to mechanical systems of particles with curved trajectories.  This step produced his most famous work On a General Method in Dynamics published in two parts in 1834 and 1835 [1] in which he developed what became known as Hamiltonian dynamics.  As his mechanical work was extended by others including Jacobi, Darboux and Poincaré, Hamilton’s work on optics was overshadowed, overlooked and eventually lost.  It was rediscovered when Schrödinger, in his famous paper of 1926, invoked Hamilton’s optical work as a direct example of the wave-particle duality of quantum mechanics [2]. Yet in the interim, a German mathematician tackled the same optical problems that Hamilton had seventy years earlier, and gave the Eikonal Equation its name.

Bruns’ Eikonal

The German mathematician Heinrich Bruns (1848-1919) was engaged chiefly with the measurement of the Earth, or geodesy.  He was a professor of mathematics in Berlin and later Leipzig.  One claim fame was that one of his graduate students was Felix Hausdorff [3] who would go on to much greater fame in the field of set theory and measure theory (the Hausdorff dimension was a precursor to the fractal dimension).  Possibly motivated by his studies done with Hausdorff on refraction of light by the atmosphere, Bruns became interested in Malus’ Theorem for the same reasons and with the same goals as Hamilton, yet was unaware of Hamilton’s work in optics. 

         The mathematical process of creating “images”, in the sense of a mathematical mapping, made Bruns think of the the Greek word  eikwn which literally means “icon” or “image”, and he published a small book in 1895 with the title Das Eikonal in which he derived a general equation for the path of rays through an optical system.  His approach was heavily geometrical and is not easily recognized as an equation arising from variational principals.  It rediscovered most of the results of Hamilton’s paper on the Theory of Systems of Rays and was thus not groundbreaking in the sense of new discovery.  But it did reintroduce the world to the problem of systems of rays, and his name of Eikonal for the equations of the ray paths stuck, and was used with increasing frequency in subsequent years.  Arnold Sommerfeld (1868 – 1951) was one of the early proponents of the Eikonal equation and recognized its connection with action principles in mechanics. He discussed the Eikonal equation in a 1911 optics paper with Runge [4] and in 1916 used action principles to extend Bohr’s model of the hydrogen atom [5]. While the Eikonal approach was not used often, it became popular in the 1960’s when computational optics made numerical solutions possible.

Lagrangian Dynamics of Light Rays

In physical optics, one of the most important properties of a ray passing through an optical system is known as the optical path length (OPL).  The OPL is the central quantity that is used in problems of interferometry, and it is the central property that appears in Fermat’s principle that leads to Snell’s Law.  The OPL played an important role in the history of the calculus when Johann Bernoulli in 1697 used it to derive the path taken by a light ray as an analogy of a brachistochrone curve – the curve of least time taken by a particle between two points.

            The OPL between two points in a refractive medium is the sum of the piecewise product of the refractive index n with infinitesimal elements of the path length ds.  In integral form, this is expressed as

where the “dot” is a derivative with respedt to s.  The optical Lagrangian is recognized as

The Lagrangian is inserted into the Euler equations to yield (after some algebra, see Introduction to Modern Dynamics pg. 336)

This is a second-order ordinary differential equation in the variables xa that define the ray path through the system.  It is literally a “trajectory” of the ray, and the Eikonal equation becomes the F = ma of ray optics.

Hamiltonian Optics

In a paraxial system (in which the rays never make large angles relative to the optic axis) it is common to select the position z as a single parameter to define the curve of the ray path so that the trajectory is parameterized as

where the derivatives are with respect to z, and the effective Lagrangian is recognized as

The Hamiltonian formulation is derived from the Lagrangian by defining an optical Hamiltonian as the Legendre transform of the Lagrangian.  To start, the Lagrangian is expressed in terms of the generalized coordinates and momenta.  The generalized optical momenta are defined as

This relationship leads to an alternative expression for the Eikonal equation (also known as the scalar Eikonal equation) expressed as

where S(x,y,z) = const. is the eikonal function.  The  momentum vectors are perpendicular to the surfaces of constant S, which are recognized as the wavefronts of a propagating wave.

            The Lagrangian can be restated as a function of the generalized momenta as

and the Legendre transform that takes the Lagrangian into the Hamiltonian is

The trajectory of the rays is the solution to Hamilton’s equations of motion applied to this Hamiltonian

Light Orbits

If the optical rays are restricted to the x-y plane, then Hamilton’s equations of motion can be expressed relative to the path length ds, and the momenta are pa = ndxa/ds.  The ray equations are (simply expressing the 2 second-order Eikonal equation as 4 first-order equations)

where the dot is a derivative with respect to the element ds.

As an example, consider a radial refractive index profile in the x-y plane

where r is the radius on the x-y plane. Putting this refractive index profile into the Eikonal equations creates a two-dimensional orbit in the x-y plane. The following Python code solves for individual trajectories.

Python Code: raysimple.py

#!/usr/bin/env python3
# -*- coding: utf-8 -*-
"""
Created on Tue May 28 11:50:24 2019

@author: nolte
"""

import numpy as np
import matplotlib as mpl
from mpl_toolkits.mplot3d import Axes3D
from scipy import integrate
from matplotlib import pyplot as plt
from matplotlib import cm
import time
import os

plt.close('all')

# selection 1 = Gaussian
# selection 2 = Donut
selection = 1

print(' ')
print('raysimple.py')

def refindex(x,y):
    
    if selection == 1:
        
        sig = 10
        
        n = 1 + np.exp(-(x**2 + y**2)/2/sig**2)
        nx = (-2*x/2/sig**2)*np.exp(-(x**2 + y**2)/2/sig**2)
        ny = (-2*y/2/sig**2)*np.exp(-(x**2 + y**2)/2/sig**2)
        
    elif selection == 2:
        
        sig = 10;
        r2 = (x**2 + y**2)
        r1 = np.sqrt(r2)
        np.expon = np.exp(-r2/2/sig**2)
        
        n = 1+0.3*r1*np.expon;
        nx = 0.3*r1*(-2*x/2/sig**2)*np.expon + 0.3*np.expon*2*x/r1
        ny = 0.3*r1*(-2*y/2/sig**2)*np.expon + 0.3*np.expon*2*y/r1
    
        
    return [n,nx,ny]


def flow_deriv(x_y_z,tspan):
    x, y, z, w = x_y_z
    
    n, nx, ny = refindex(x,y)
    
    yp = np.zeros(shape=(4,))
    yp[0] = z/n
    yp[1] = w/n
    yp[2] = nx
    yp[3] = ny
    
    return yp
                
V = np.zeros(shape=(100,100))
for xloop in range(100):
    xx = -20 + 40*xloop/100
    for yloop in range(100):
        yy = -20 + 40*yloop/100
        n,nx,ny = refindex(xx,yy) 
        V[yloop,xloop] = n

fig = plt.figure(1)
contr = plt.contourf(V,100, cmap=cm.coolwarm, vmin = 1, vmax = 3)
fig.colorbar(contr, shrink=0.5, aspect=5)    
fig = plt.show()


v1 = 0.707      # Change this initial condition
v2 = np.sqrt(1-v1**2)
y0 = [12, v1, 0, v2]     # Change these initial conditions

tspan = np.linspace(1,1700,1700)

y = integrate.odeint(flow_deriv, y0, tspan)

plt.figure(2)
lines = plt.plot(y[1:1550,0],y[1:1550,1])
plt.setp(lines, linewidth=0.5)
plt.show()
Gaussian refractive index profile in the x-y plane. From raysimple.py.
Ray orbits around the center of the Gaussian refractive index profile. From raysimple.py

[1] Hamilton, W. R. “On a general method in dynamics I.” Mathematical Papers, I ,103-161: 247-308. (1834); Hamilton, W. R. “On a general method in dynamics II.” Mathematical Papers, I ,103-161: 95-144. (1835)

[2] Schrodinger, E. “Quantification of the eigen-value problem.” Annalen Der Physik 79(6): 489-527. (1926)

[3] For the fateful story of Felix Hausdorff (aka Paul Mongré) see Chapter 9 of Galileo Unbound (Oxford, 2018).

[4] Sommerfeld, A. and J. Runge. “The application of vector calculations on the basis of geometric optics.” Annalen Der Physik 35(7): 277-298. (1911)

[5] Sommerfeld, A. “The quantum theory of spectral lines.” Annalen Der Physik 51(17): 1-94. (1916)

Wave-Particle Duality and Hamilton’s Physics

Wave-particle duality was one of the greatest early challenges to quantum physics, partially clarified by Bohr’s Principle of Complementarity, but never easily grasped even today.  Yet long before Einstein proposed the indivisible quantum  of light (later to be called the photon by the chemist Gilbert Lewis), wave-particle duality was firmly embedded in the foundations of the classical physics of mechanics.

Light led the way to mechanics more than once in the history of physics.

 

Willebrord Snel van Royen

The Dutch physicist Willebrord Snel van Royen in 1621 derived an accurate mathematical description of the refraction of beams of light at a material interface in terms of sine functions, but he did not publish.  Fifteen years later, as Descartes was looking for an example to illustrate his new method of analytic geometry, he discovered the same law, unaware of Snel’s prior work.  In France the law is known as the Law of Descartes.  In the Netherlands (and much of the rest of the world) it is known as Snell’s Law.  Both Snell and Descartes based their work on Newton’s corpuscles of light.  The brilliant Fermat adopted corpuscles when he developed his principle of least time to explain the law of Descartes in 1662.  Yet Fermat was forced to assume that the corpuscles traveled slower in the denser material even though it was generally accepted that light should travel faster in denser media, just as sound did.  Seventy-five years later, Maupertuis continued the tradition when he developed his principle of least action and applied it to light corpuscles traveling faster through denser media, just as Descartes had prescribed.

HuygensParticle-02

The wave view of Snell’s Law (on the left). The source resides in the medium with higher speed. As the wave fronts impinge on the interface to a medium with lower speed, the wave fronts in the slower medium flatten out, causing the ray perpendicular to the wave fronts to tilt downwards. The particle view of Snell’s Law (on the right). The momentum of the particle in the second medium is larger than in the first, but the transverse components of the momentum (the x-components) are conserved, causing a tilt downwards of the particle’s direction as it crosses the interface. [i]

Maupertuis’ paper applying the principle of least action to the law of Descartes was a critical juncture in the development of dynamics.  His assumption of faster speeds in denser material was wrong, but he got the right answer because of the way he defined action for light.  Encouraged by the success of his (incorrect) theory, Maupertuis extended the principle of least action to mechanical systems, and this time used the right theory to get the right answers.  Despite Maupertuis’ misguided aspirations to become a physicist of equal stature to Newton, he was no mathematician, and he welcomed (and  somewhat appropriated) the contributions of Leonid Euler on the topic, who established the mathematical foundations for the principle of least action.  This work, in turn, attracted the attention of the Italian mathematician Lagrange, who developed a general new approach (Lagrangian mechanics) to mechanical systems that included the principle of least action as a direct consequence of his equations of motion.  This was the first time that light led the way to classical mechanics.  A hundred years after Maupertuis, it was time again for light to lead to the way to a deeper mechanics known as Hamiltonian mechanics.

Young Hamilton

William Rowland Hamilton (1805—1865) was a prodigy as a boy who knew parts of thirteen languages by the time he was thirteen years old. These were Greek, Latin, Hebrew, Syriac, Persian, Arabic, Sanskrit, Hindoostanee, Malay, French, Italian, Spanish, and German. In 1823 he entered Trinity College of Dublin University to study science. In his second and third years, he won the University’s top prizes for Greek and for mathematical physics, a run which may have extended to his fourth year—but he was offered the position of Andrew’s Professor of Astronomy at Dublin and Royal Astronomer of Ireland—not to be turned down at the early age of 21.

Hamilton1

Title of Hamilton’s first paper on his characteristic function as a new method that applied his theory from optics to the theory of mechanics, including Lagrangian mechanics as a special case.

His research into mathematical physics  concentrated on the theory of rays of light. Augustin-Jean Fresnel (1788—1827) had recently passed away, leaving behind a wave theory of light that provided a starting point for many effects in optical science, but which lacked broader generality. Hamilton developed a rigorous mathematical framework that could be applied to optical phenomena of the most general nature. This led to his theory of the Characteristic Function, based on principles of the variational calculus of Euler and Lagrange, that predicted the refraction of rays of light, like trajectories, as they passed through different media or across boundaries. In 1832 Hamilton predicted a phenomenon called conical refraction, which would cause a single ray of light entering a biaxial crystal to refract into a luminous cone.

Mathematical physics of that day typically followed experimental science. There were so many observed phenomena in so many fields that demanded explanation, that the general task of the mathematical physicist was to explain phenomena using basic principles followed by mathematical analysis. It was rare for the process to work the other way, for a theorist to predict a phenomenon never before observed. Today we take this as very normal. Einstein’s fame was primed by his prediction of the bending of light by gravity—but only after the observation of the effect by Eddington four years later was Einstein thrust onto the world stage. The same thing happened to Hamilton when his friend Humphrey Lloyd observed conical refraction, just as Hamilton had predicted. After that, Hamilton was revered as one of the most ingenious scientists of his day.

Following the success of conical refraction, Hamilton turned from optics to pursue a striking correspondence he had noted in his Characteristic Function that applied to mechanical trajectories as well as it did to rays of light. In 1834 and 1835 he published two papers On a General Method in Mechanics( I and II)[ii], in which he reworked the theory of Lagrange by beginning with the principle of varying action, which is now known as Hamilton’s Principle. Hamilton’s principle is related to Maupertuis’ principle of least action, but it was more rigorous and a more general approach to derive the Euler-Lagrange equations.  Hamilton’s Principal Function allowed the trajectories of particles to be calculated in complicated situations that were challenging for a direct solution by Lagrange’s equations.

The importance that these two papers had on the future development of physics would not be clear until 1842 when Carl Gustav Jacob Jacobi helped to interpret them and augment them, turning them into a methodology for solving dynamical problems. Today, the Hamiltonian approach to dynamics is central to all of physics, and thousands of physicists around the world mention his name every day, possibly more often than they mention Einstein’s.

[i] Reprinted from D. D. Nolte, Galileo Unbound: A Path Across Life, the Universe and Everything (Oxford, 2018)

[ii] W. R. Hamilton, “On a general method in dynamics I,” Phil. Trans. Roy. Soc., pp. 247-308, 1834; W. R. Hamilton, “On a general method in dynamics II,” Phil. Trans. Roy. Soc., pp. 95-144, 1835.