How to use this course
Every physics student writes Hamilton’s name many times a week. The Hamiltonian operator of quantum mechanics, Hamilton’s equations of motion and Hamilton’s principle are all named for him. Mathematicians know him for the quaternions and for Hamiltonian cycles in graphs. Few readers know that these ideas came from one man working mostly alone at an observatory outside Dublin, and that the mechanics grew directly out of his optics.
- Multivariable calculus and linear algebra, including cross products and orthogonal matrices.
- Lagrangian mechanics: the Euler–Lagrange equations.
- For Lessons 04 and 05, basic geometrical optics (Snell’s law, Fermat’s principle) and the idea of a wavefront.
- For Lesson 10, the definition of a group and of a group presentation.
Each technical lesson opens with a paragraph for the general reader, then gives precise statements, derivations and exercises with folded solutions. The lessons follow his work in order: optics (1824–1833), dynamics (1834–1835), algebra (1833–1843) and quaternions with their offshoots (1843–1865).
Timeline
| 1805 | Born at midnight between 3 and 4 August in Dublin, son of the solicitor Archibald Hamilton and Sarah Hutton. Raised by his uncle, the Rev. James Hamilton, at Trim, County Meath. |
| 1822 | Finds an error in Laplace’s Mécanique céleste; comes to the notice of John Brinkley, the Royal Astronomer of Ireland. |
| 1823 | Enters Trinity College Dublin. |
| 1824 | Submits a paper on caustics to the Royal Irish Academy, the seed of his optics. |
| 1827 | 23 April: presents Theory of Systems of Rays. Appointed Andrews Professor of Astronomy and Royal Astronomer of Ireland while still an undergraduate; moves to Dunsink Observatory. |
| 1832 | 22 October: predicts conical refraction in the third supplement on systems of rays. 14 December: Humphrey Lloyd observes it in aragonite. |
| 1833 | Marries Helen Bayly. 4 November: reads his theory of complex numbers as pairs (algebraic couples) to the Royal Irish Academy. |
| 1834 | On a General Method in Dynamics, Philosophical Transactions; the second essay follows in 1835. |
| 1835 | Knighted by the Lord Lieutenant at the Dublin meeting of the British Association. Royal Medal of the Royal Society. |
| 1837 | Elected President of the Royal Irish Academy. Algebra as the Science of Pure Time and the theory of couples published. |
| 1843 | 16 October: discovers the quaternions on the Royal Canal and carves \(i^2=j^2=k^2=ijk=-1\) on Broome Bridge. 13 November: first paper to the Academy. |
| 1848 | Second Cunningham Medal of the Royal Irish Academy (the first was in 1834). |
| 1853 | Lectures on Quaternions. |
| 1856–57 | Icosian calculus; the icosian game is shown at the British Association in Dublin in 1857 and sold to the publishers Jaques in 1859. |
| 1864 | Heads the first list of Foreign Associates of the new US National Academy of Sciences. |
| 1865 | Dies 2 September in Dublin, aged 60. Buried at Mount Jerome Cemetery. |
| 1866 | Elements of Quaternions, completed by his son William Edwin Hamilton, published posthumously. |
Dublin and Trim, 1805–1823
William Rowan Hamilton was born in Dublin at midnight between 3 and 4 August 1805. For years he kept 3 August as his birthday and changed to 4 August only in his thirties. His father Archibald was a solicitor whose business often took him away to England. As a small child he was sent to live with his father’s brother, the Rev. James Hamilton, who kept a school at Trim in County Meath. He stayed there through his boyhood.
James Hamilton was a linguist, and he trained his nephew accordingly. The boy read Latin, Greek and Hebrew as a young child and went on to French, Italian, and a list of eastern languages including Persian, Arabic and Sanskrit. The list was the kind of thing his family liked to recite, and later biographers have treated parts of it with caution. Mathematics came later. As a boy he met the American calculating prodigy Zerah Colburn, who was touring Britain, and competed with him at mental arithmetic. Hamilton lost, and the defeat seems to have turned his interest toward mathematics.
Self-taught mathematics
At thirteen he worked through Alexis Clairaut’s Algebra in French. By fifteen he was reading Isaac Newton and Pierre-Simon Laplace. In 1822, aged seventeen, he found an error in Laplace’s Mécanique céleste. The discovery brought him to the attention of John Brinkley, the Royal Astronomer of Ireland. Hamilton was also writing on the geometry of curves and on caustics, the bright curves formed when light reflects from a curved mirror.
Trinity College, 1823–1827
In July 1823 Hamilton entered Trinity College Dublin by examination. His undergraduate record became a Dublin legend. He won the rare grade of optime in classics in his first year, a mark given only a few times in a generation, and in 1826 he received optimes in both classics and science. He also wrote a great deal of poetry, much of it about Catherine Disney, the sister of a college friend. Her family did not favour the match, and in 1825 she married the Rev. William Barlow. The loss marked him for life, and she reappears at the end of his story.
The theory of rays
In 1824 he sent a paper on caustics to the Royal Irish Academy. The referees asked for more development, and he rebuilt it into a general theory. On 23 April 1827 he presented Theory of Systems of Rays to the Academy. Its central idea was that all the properties of an optical system can be read off from a single function, which he called the characteristic function. The first part was printed in the Academy’s Transactions in 1828. Lesson 04 explains it.
A professor before graduation
In 1827 Brinkley left to become Bishop of Cloyne, and his chair, the Andrews Professorship of Astronomy, fell vacant. The college passed over established astronomers and chose Hamilton, then 21 and still an undergraduate. The post carried the title Royal Astronomer of Ireland and a house at Dunsink Observatory, a few miles north-west of Dublin. He took his BA the same year.
Dunsink, 1827–1835
Hamilton had little observing experience, and the appointment was controversial for that reason. He lectured on astronomy with success, but he soon lost interest in observing, and from the start his real work was mathematical. Dunsink was his home for the rest of his life.
Before taking up the post he toured England and the Lake District in 1827 and met William Wordsworth. The two became friends. Hamilton sent the poet his verses, and Wordsworth gently advised him that his gift lay in science. He also came to know Samuel Taylor Coleridge, whose philosophy, with that of Immanuel Kant, shaped his later view of algebra.
The great years
The next eight years were the most productive of his life. Three supplements to the theory of rays extended it to crystals, and on 22 October 1832 the third supplement predicted conical refraction, a new optical effect confirmed by his colleague Humphrey Lloyd within two months (Lesson 05). He turned the same method on mechanics in two essays printed in the Philosophical Transactions in 1834 and 1835 (Lessons 06 and 07). In 1833 he read a paper defining complex numbers as ordered pairs of reals (Lesson 08).
In 1833 he married Helen Bayly, daughter of a clergyman from Nenagh in County Tipperary. They had two sons, William Edwin (1834) and Archibald Henry (1835), and a daughter, Helen Eliza Amelia (1840). In 1835 the British Association met in Dublin, with Hamilton as one of its secretaries. During the meeting the Lord Lieutenant of Ireland knighted him. The same year the Royal Society awarded him a Royal Medal. He was thirty.
Systems of rays and the characteristic function
For the general reader. Light takes the quickest path. Hamilton asked what follows if you know the travel time between every pair of points. He found that this one function, the characteristic function, contains everything about an optical instrument: where rays go, where they focus, and what images look like. It was the first time a whole branch of physics had been reduced to a single generating function.
- Define the characteristic function and derive its basic property from Fermat’s principle.
- Prove the Malus–Dupin theorem: rays from a point stay normal to a family of surfaces.
- Derive the eikonal equation.
The characteristic function
Let \(n(\mathbf x)\) be the refractive index of an isotropic medium. Fermat’s principle says that a ray from \(\mathbf x_0\) to \(\mathbf x\) makes the optical path length \(\int n\,ds\) stationary. Hamilton defined
\[ V(\mathbf x_0,\mathbf x)=\int_{\mathbf x_0}^{\mathbf x} n\,ds \quad\text{(along the ray)}. \]Suppose a unique ray joins \(\mathbf x_0\) to \(\mathbf x\), and \(V\) is differentiable there. Let \(\mathbf t_0,\mathbf t\) be the unit tangent vectors of the ray at its two ends. Then
\[ \nabla_{\mathbf x}V = n(\mathbf x)\,\mathbf t, \qquad \nabla_{\mathbf x_0}V=-\,n(\mathbf x_0)\,\mathbf t_0 . \]Derivation
Move the endpoint from \(\mathbf x\) to \(\mathbf x+\delta\mathbf x\). The new ray differs from the old one by a small variation. Because the old ray makes \(\int n\,ds\) stationary with fixed ends, the first-order change in the integral comes only from the boundary term. Writing the path as \(\mathbf r(s)\), the variation of \(\int n|\mathbf r'|\,ds\) gives the boundary term \(n\,\mathbf t\cdot\delta\mathbf x\) at the moving end. Hence \(\delta V=n\,\mathbf t\cdot\delta\mathbf x\), which is the first formula. The second follows the same way, with a minus sign because the lower limit moves.
Fix \(\mathbf x_0\). Then \(|\nabla V|=n\), which is the eikonal equation
\[ |\nabla V|^2 = n(\mathbf x)^2 . \]The rays are the curves orthogonal to the level surfaces \(V=\text{const}\), which are the wavefronts. This is the Malus–Dupin theorem, which Étienne-Louis Malus had proved for a single reflection or refraction and Charles Dupin had extended: a family of rays normal to some surface stays normal to a family of surfaces after any number of reflections and refractions. In Hamilton’s language the result is immediate, because the rays are gradient lines of \(V\).
Mixed and angle characteristics
Hamilton saw that one can trade positions for directions by a Legendre transformation. For instruments, the most useful version uses the directions of the incoming and outgoing rays as variables (the angle characteristic). Lens designers still use these functions to compute aberrations. The same trick, applied to mechanics, gives the passage from Lagrangian to Hamiltonian variables in Lesson 06.
Exercise 4.1Two media of indices \(n_1\) (for \(y>0\)) and \(n_2\) (for \(y<0\)) meet along the line \(y=0\). A ray goes from \(A=(0,a)\) to \(B=(d,-b)\) crossing the interface at \((x,0)\). Derive Snell’s law from the stationarity of the optical path length.
Show solution
Exercise 4.2In a uniform medium of index \(n\), find \(V(\mathbf x_0,\mathbf x)\) and check both formulas of the theorem. What are the wavefronts for a fixed source?
Show solution
Exercise 4.3Show that a family of straight lines \(\mathbf x=\mathbf a(u,v)+s\,\mathbf t(u,v)\) with \(|\mathbf t|=1\) is normal to some surface only if \(\mathbf t\cdot\partial_u\mathbf a\,du+\mathbf t\cdot\partial_v\mathbf a\,dv\) is an exact differential. (This is Hamilton’s test for a normal system of rays.)
Show solution
Conical refraction
For the general reader. Some crystals split a ray of light in two. Hamilton studied the geometry of light in such crystals and found that along certain special directions a single ray should open into a hollow cone. Nobody had seen this. Within two months his colleague Humphrey Lloyd saw it, and the prediction made Hamilton famous across Europe.
- Set up Fresnel’s description of light in a biaxial crystal.
- Find the optic axes, where the two wave speeds coincide.
- Derive the cone of rays and its aperture.
Fresnel’s theory
In a transparent crystal the electric displacement \(\mathbf D\) and the electric field \(\mathbf E\) are related by \(\mathbf D=\varepsilon\mathbf E\), with \(\varepsilon\) a symmetric positive matrix. In its principal axes \(\varepsilon=\mathrm{diag}(n_1^2,n_2^2,n_3^2)\) (units with \(\varepsilon_0=1\)). Write \(a=1/n_1>b=1/n_2>c=1/n_3\) for the principal wave speeds, in units of the speed of light. A biaxial crystal has all three different. For a plane wave with unit normal \(\mathbf s\), Maxwell’s equations, or Augustin-Jean Fresnel’s 1821 elastic theory before them, force \(\mathbf D\perp\mathbf s\) and give two possible phase speeds \(v\), the roots of Fresnel’s equation
\[ \frac{s_1^2}{v^2-a^2}+\frac{s_2^2}{v^2-b^2}+\frac{s_3^2}{v^2-c^2}=0 . \]The energy of the wave travels along the ray direction \(\mathbf t\), parallel to \(\mathbf E\times\mathbf H\), which in general differs from \(\mathbf s\). Plotting the ray speed in every direction gives Fresnel’s wave surface, a quartic surface with two sheets.
Optic axes and the singular points
The two roots coincide, with \(v=b\), exactly when \(s_2=0\) and
\[ s_1=\pm\sqrt{\frac{a^2-b^2}{a^2-c^2}},\qquad s_3=\pm\sqrt{\frac{b^2-c^2}{a^2-c^2}} . \]These are the optic axes (of wave normals). For such \(\mathbf s\) every direction of \(\mathbf D\) perpendicular to \(\mathbf s\) is allowed, and each gives a different ray. Hamilton realized that the wave surface has four conical points where its two sheets touch, and also four circles along which a plane touches it. Each singular feature means one direction in, a whole cone out.
Let \(\mathbf s\) be an optic axis of a biaxial crystal. As \(\mathbf D\) turns through all directions perpendicular to \(\mathbf s\), the ray direction \(\mathbf t\) sweeps out a circular-section cone that contains \(\mathbf s\) as one generator. The angle \(\chi\) between \(\mathbf s\) and the opposite generator satisfies
\[ \tan\chi=\frac{\sqrt{(a^2-b^2)(b^2-c^2)}}{b^2}. \]A ray turns once around the cone while \(\mathbf D\) turns through only half a turn.
Derivation sketch
For a given \(\mathbf D\perp\mathbf s\), \(\mathbf E=\varepsilon^{-1}\mathbf D\). Since \(\mathbf H\) is perpendicular to both \(\mathbf s\) and \(\mathbf D\), the ray \(\mathbf t\propto\mathbf E\times\mathbf H\) is perpendicular to \(\mathbf E\) and lies in the plane of \(\mathbf s\) and \(\mathbf D\). It is tilted from \(\mathbf s\) toward \(\mathbf D\) by the angle between \(\mathbf E\) and \(\mathbf D\). Take an orthonormal pair \(\mathbf e_1=(0,1,0)\) and \(\mathbf e_2=\mathbf s\times\mathbf e_1\), and let \(\mathbf D=\cos\theta\,\mathbf e_1+\sin\theta\,\mathbf e_2\). When \(\theta=0\), \(\mathbf D\) lies along a principal axis, \(\mathbf E\parallel\mathbf D\), and the ray coincides with \(\mathbf s\). A short computation shows the tilt is largest at \(\theta=\pi/2\), giving the formula above, and that the transverse displacement of \(\mathbf t\) traces a circle as \(\theta\) runs over \([0,\pi)\). The doubling between \(\theta\) and the angle round the circle is the half-turn property. Michael Berry later identified it as an early instance of a geometric phase.
The experiment
Lloyd used a crystal of aragonite, for which \(\chi\) is about two degrees. On 14 December 1832 he observed external conical refraction, and soon afterward the internal form. A narrow beam sent along the optic axis through a slab emerged as a bright ring. Lloyd also found that the light around the ring was polarized in the way Hamilton’s theory required. James MacCullagh, another Trinity mathematician, argued that the result was implicit in his own earlier work. The dispute soured relations between the two men.
Exercise 5.1Show that if two of the principal indices are equal (a uniaxial crystal, say \(a=b\)), the cone degenerates. What happens physically?
Show solution
Exercise 5.2Take aragonite with \(n_1=1.530,\ n_2=1.680,\ n_3=1.685\). Compute \(\chi\). For a slab 1 cm thick, estimate the diameter of the ring of internal conical refraction.
Show solution
Exercise 5.3Verify that \(v=b\) is a double root of Fresnel’s equation for the optic axis given above, by clearing denominators.
Show solution
A general method in dynamics
For the general reader. Having described light by one function, Hamilton tried the same with planets and particles. He found that the motion of any mechanical system is governed by a single function of its starting and ending positions. Along the way he rewrote Newton’s laws as a pair of beautifully symmetric equations. These Hamilton’s equations are the form in which mechanics passed into quantum theory.
- State Hamilton’s principle and the principal function.
- Derive Hamilton’s canonical equations by a Legendre transformation.
- See energy conservation and Poisson brackets in the new form.
Hamilton’s principle
Joseph-Louis Lagrange had written mechanics in generalized coordinates \(q=(q_1,\dots,q_N)\) with a Lagrangian \(L(q,\dot q,t)=T-V\). In the 1834 essay, Hamilton stated what is now called Hamilton’s principle: the actual motion between \(q(t_0)=q_0\) and \(q(t_1)=q_1\) makes the action \(\int_{t_0}^{t_1}L\,dt\) stationary. Stationarity is equivalent to the Euler–Lagrange equations. His real innovation was to treat the value of the action as a function of the endpoints.
Let \(S(q_0,t_0;q,t)=\int_{t_0}^{t}L\,dt\), evaluated along the actual motion from \(q_0\) at time \(t_0\) to \(q\) at time \(t\), assumed unique and smooth. With \(p=\partial L/\partial\dot q\) the momenta and \(H=p\dot q-L\) the energy,
\[ \frac{\partial S}{\partial q}=p,\qquad \frac{\partial S}{\partial q_0}=-p_0,\qquad \frac{\partial S}{\partial t}=-H,\qquad \frac{\partial S}{\partial t_0}=H_0 . \]The proof is the mechanical copy of Lesson 04: vary the endpoint, use the Euler–Lagrange equations along the path, and only the boundary term \(p\,\delta q\) survives. In the first essay Hamilton worked with the characteristic function \(V=\int 2T\,dt\) at fixed energy, the analogue of optical path length. In the second he introduced \(S\), which he called the principal function, and it proved the more useful of the two.
The canonical equations
Assume the Lagrangian is regular: \(\det\big(\partial^2L/\partial\dot q_i\partial\dot q_j\big)\ne0\). Then \(p=\partial L/\partial\dot q\) can be solved for \(\dot q\), and the Legendre transform \(H(q,p,t)=p\cdot\dot q-L\) is a function of \((q,p,t)\).
For a regular Lagrangian, a curve \(q(t)\) satisfies the Euler–Lagrange equations if and only if \((q(t),p(t))\) satisfies
\[ \dot q_i=\frac{\partial H}{\partial p_i},\qquad \dot p_i=-\frac{\partial H}{\partial q_i},\qquad i=1,\dots,N, \]and then \(\dfrac{dH}{dt}=\dfrac{\partial H}{\partial t}=-\dfrac{\partial L}{\partial t}\).
Proof. Take the differential of \(H=p\dot q-L\): \(dH=\dot q\,dp+p\,d\dot q-\frac{\partial L}{\partial q}dq-\frac{\partial L}{\partial\dot q}d\dot q-\frac{\partial L}{\partial t}dt\). The \(d\dot q\) terms cancel by the definition of \(p\), so \(\partial H/\partial p=\dot q\), \(\partial H/\partial q=-\partial L/\partial q\), \(\partial H/\partial t=-\partial L/\partial t\). The Euler–Lagrange equation \(\dot p=\partial L/\partial q\) becomes \(\dot p=-\partial H/\partial q\). Finally \(\dot H=H_q\dot q+H_p\dot p+H_t=H_t\).
The equations are first order in \(2N\) variables, symmetric between \(q\) and \(p\) up to a sign. For any function \(f(q,p)\), \(\dot f=\{f,H\}\) with the Poisson bracket \(\{f,g\}=\sum_i\big(\partial_{q_i}f\,\partial_{p_i}g-\partial_{p_i}f\,\partial_{q_i}g\big)\). Liouville’s theorem, symplectic geometry and canonical quantization \(\{\,,\}\to\frac{1}{i\hbar}[\,,]\) all start here.
Exercise 6.1For a particle in a central potential in the plane, \(L=\tfrac m2(\dot r^2+r^2\dot\theta^2)-V(r)\). Find \(H\) and Hamilton’s equations, and identify a conserved momentum.
Show solution
Exercise 6.2For a free particle in one dimension, \(L=\tfrac m2\dot x^2\), compute the principal function \(S(x_0,0;x,t)\) and verify the four relations of the theorem.
Show solution
Exercise 6.3Show that the Poisson bracket satisfies \(\{q_i,p_j\}=\delta_{ij}\) and that, for a free particle in 3D, each component of the angular momentum \(\mathbf L=\mathbf q\times\mathbf p\) has zero bracket with \(H=|\mathbf p|^2/2m\).
Show solution
The Hamilton–Jacobi equation and the optical analogy
For the general reader. Hamilton’s principal function obeys one partial differential equation. Carl Gustav Jacob Jacobi saw that solving it, by any trick at all, solves the mechanical problem. The same equation is the eikonal equation of optics in disguise. A century later Erwin Schrödinger used this analogy between rays and trajectories to find wave mechanics.
- Derive the Hamilton–Jacobi equation.
- State Jacobi’s theorem on complete integrals.
- See how mechanics is to wave mechanics as ray optics is to wave optics.
The equation
Combining \(\partial S/\partial t=-H\) with \(\partial S/\partial q=p\) gives Hamilton’s partial differential equation for \(S(q,t)\), with the initial point held fixed:
\[ \frac{\partial S}{\partial t}+H\Big(q,\frac{\partial S}{\partial q},t\Big)=0 . \]Hamilton derived it, together with the equation at the starting point, but used it mainly to characterize his particular \(S\). In 1837 Jacobi showed that any sufficiently general solution will do.
Let \(S(q,\alpha,t)\) solve the Hamilton–Jacobi equation and depend on \(N\) parameters \(\alpha=(\alpha_1,\dots,\alpha_N)\) with \(\det\big(\partial^2S/\partial q_i\partial\alpha_j\big)\ne0\) (a complete integral). Then for any constants \(\beta_j\), the relations
\[ \frac{\partial S}{\partial\alpha_j}=\beta_j,\qquad p_i=\frac{\partial S}{\partial q_i} \]define, by solving for \(q\) and \(p\) as functions of \(t\), solutions of Hamilton’s equations, and every solution near a given one arises this way.
Proof idea. Differentiate \(\partial S/\partial\alpha_j=\beta_j\) along the curve: \(\frac{\partial^2S}{\partial\alpha_j\partial t}+\sum_i\frac{\partial^2S}{\partial\alpha_j\partial q_i}\dot q_i=0\). Differentiating the Hamilton–Jacobi equation in \(\alpha_j\) gives \(\frac{\partial^2S}{\partial t\partial\alpha_j}+\sum_i\frac{\partial H}{\partial p_i}\frac{\partial^2S}{\partial q_i\partial\alpha_j}=0\). The non-degeneracy condition then forces \(\dot q_i=\partial H/\partial p_i\). A similar computation gives the equation for \(\dot p\). In modern terms \(S\) is the generating function of a canonical transformation to coordinates \((\beta,\alpha)\) in which the Hamiltonian is zero.
Rays and particles
For a particle of energy \(E\) in a potential, \(H=|\mathbf p|^2/2m+U(\mathbf x)\). Separating \(S=W(\mathbf x)-Et\) gives
\[ |\nabla W|^2=2m\big(E-U(\mathbf x)\big). \]This is the eikonal equation \(|\nabla V|^2=n^2\) of Lesson 04, with refractive index \(n\propto\sqrt{E-U}\). Trajectories are the rays of this fictitious medium, and the surfaces \(W=\text{const}\) are its wavefronts. Hamilton stressed the analogy throughout the 1830s. The analogy is exact only in the ray limit. Schrödinger’s 1926 papers asked which wave equation has the Hamilton–Jacobi equation as its short-wavelength limit, as wave optics has ray optics. Writing \(\psi=e^{iS/\hbar}\) in his equation and letting \(\hbar\to0\) recovers the Hamilton–Jacobi equation.
Exercise 7.1Solve the Hamilton–Jacobi equation for the harmonic oscillator \(H=\frac{p^2}{2m}+\frac12m\omega^2q^2\) by separation \(S=W(q)-Et\), and use Jacobi’s theorem to recover \(q(t)\).
Show solution
Exercise 7.2Substitute \(\psi=A\,e^{iS/\hbar}\) into the time-dependent Schrödinger equation \(i\hbar\,\partial_t\psi=-\frac{\hbar^2}{2m}\nabla^2\psi+U\psi\), with \(A,S\) real, and show that the terms of order \(\hbar^0\) give the Hamilton–Jacobi equation.
Show solution
From couples to quaternions
For the general reader. Complex numbers let you multiply points in a plane. For ten years Hamilton tried to do the same in three-dimensional space and failed. On 16 October 1843, walking to a meeting in Dublin, he saw that it works in four dimensions if you give up one rule of arithmetic: the order of multiplication matters. He carved the rule into a bridge.
- Define complex numbers as ordered pairs, as Hamilton did.
- See why the search for “triplets” fails and what it forced.
- Learn quaternion multiplication and its multiplicative norm.
Algebraic couples
Complex numbers had been drawn as points of a plane by Caspar Wessel, Jean-Robert Argand and Carl Friedrich Gauss, but their logical status was unclear. In his paper read on 4 November 1833 and published in 1837, Hamilton defined a complex number as an ordered pair of reals with
\[ (a,b)+(c,d)=(a+c,\,b+d),\qquad (a,b)(c,d)=(ac-bd,\,ad+bc). \]Then \(i=(0,1)\) satisfies \(i^2=(-1,0)\), and no mysterious square root is needed. This is the construction used in textbooks today. The same paper offered a philosophy, inspired by Kant, of algebra as the “science of pure time”, in which reals are steps in time. The philosophy has not lasted; the construction has.
The failure of triplets
Hamilton wanted numbers \(x+iy+jz\) that could be multiplied with the length of a product equal to the product of lengths, as for complex numbers. In the famous letter to John T. Graves of 17 October 1843 he retold his train of thought. Squaring a triplet gives
\[ (x+iy+jz)^2=x^2-y^2-z^2+2ixy+2jxz+yz(ij+ji). \]The first three parts already have the right length (Exercise 8.1). So the last term must vanish, and he concluded \(ij=-ji\). But then \(ij\) cannot be a combination of \(1,i,j\) (Exercise 8.2). It has to be a new unit \(k\). Space needs four dimensions of number.
Quaternions
The quaternions \(\mathbb H\) are the real vector space with basis \(1,i,j,k\) and the multiplication determined by
\[ i^2=j^2=k^2=ijk=-1, \]extended bilinearly. These relations give \(ij=k=-ji,\ jk=i=-kj,\ ki=j=-ik\). Write \(q=a+\mathbf u\) with scalar part \(a\in\mathbb R\) and vector part \(\mathbf u\in\mathbb R^3\) (Hamilton coined both words). Then
\[ (a+\mathbf u)(b+\mathbf v)=\big(ab-\mathbf u\cdot\mathbf v\big)+\big(a\mathbf v+b\mathbf u+\mathbf u\times\mathbf v\big). \]\(\mathbb H\) is an associative, non-commutative division algebra over \(\mathbb R\). With the conjugate \(\bar q=a-\mathbf u\) and norm \(|q|^2=q\bar q=a^2+|\mathbf u|^2\), one has \(\overline{pq}=\bar q\,\bar p\), \(|pq|=|p|\,|q|\), and \(q^{-1}=\bar q/|q|^2\) for \(q\ne0\).
Associativity follows from the identification of \(\mathbb H\) with the real \(4\times4\) matrices of left multiplication (or with the complex matrices \(\begin{pmatrix}\alpha&\beta\\-\bar\beta&\bar\alpha\end{pmatrix}\)). Multiplicativity of the norm, written out in coordinates, is Leonhard Euler’s four-square identity. Two later theorems explain why Hamilton had to go to four dimensions. Ferdinand Georg Frobenius proved in 1877 that \(\mathbb R,\mathbb C,\mathbb H\) are the only finite-dimensional associative division algebras over \(\mathbb R\). Adolf Hurwitz proved in 1898 that real normed composition algebras with unit exist only in dimensions 1, 2, 4 and 8. The eight-dimensional octonions, found by Graves in December 1843 and published independently by Arthur Cayley in 1845, are not associative.
Exercise 8.1Verify that \((x^2-y^2-z^2)^2+(2xy)^2+(2xz)^2=(x^2+y^2+z^2)^2\). Why did this convince Hamilton that the term \(yz(ij+ji)\) had to vanish?
Show solution
Exercise 8.2Suppose \(i^2=j^2=-1\), \(ij=-ji\), and multiplication is associative. Show that \(ij\) cannot equal \(\alpha+\beta i+\gamma j\) with real \(\alpha,\beta,\gamma\).
Show solution
Exercise 8.3Compute \((1+i)(1+j)\) and \((1+j)(1+i)\), and check that both have norm 2.
Show solution
Quaternions, rotations and vectors
For the general reader. Quaternions turned out to be the natural language for rotations in space. A rotation by any angle about any axis is a single unit quaternion, and composing rotations is multiplying quaternions. Spacecraft, robots and video games use them today. Meanwhile the words Hamilton invented, scalar and vector, and the dot and cross products hidden in his product, became the vector analysis of physics.
- Prove that conjugation by a unit quaternion rotates \(\mathbb R^3\).
- See the 2-to-1 map from unit quaternions to rotations.
- Trace the path from quaternions to vector analysis.
Identify \(\mathbb R^3\) with the pure quaternions \(\{\mathbf v:\ \text{scalar part }0\}\). For a unit vector \(\mathbf n\) and an angle \(\theta\), let \(q=\cos\frac\theta2+\mathbf n\sin\frac\theta2\). Then \(\mathbf v\mapsto q\mathbf v q^{-1}\) is the rotation by angle \(\theta\) about \(\mathbf n\). The map \(q\mapsto(\mathbf v\mapsto q\mathbf vq^{-1})\) is a surjective homomorphism from the unit quaternions \(S^3\) onto \(\mathrm{SO}(3)\) with kernel \(\{\pm1\}\).
Proof sketch
Conjugation preserves the norm and the scalar part, so it maps pure quaternions to pure quaternions isometrically, and it is linear. Since \(S^3\) is connected and contains 1, the image lies in \(\mathrm{SO}(3)\). It fixes \(\mathbf n\), because \(q\) commutes with \(\mathbf n\). For \(\mathbf v\perp\mathbf n\), the product formula gives \(\mathbf n\mathbf v=\mathbf n\times\mathbf v\) and \(\mathbf v\mathbf n=-\mathbf n\times\mathbf v\). Write \(c=\cos\frac\theta2,\ s=\sin\frac\theta2\) and use \(q^{-1}=\bar q\):
\[ \begin{aligned} q\mathbf v\bar q &= (c+s\mathbf n)\,\mathbf v\,(c-s\mathbf n) = c^2\mathbf v+cs(\mathbf n\mathbf v-\mathbf v\mathbf n)-s^2\mathbf n\mathbf v\mathbf n\\ &= c^2\mathbf v+2cs\,(\mathbf n\times\mathbf v)-s^2\mathbf v = \cos\theta\,\mathbf v+\sin\theta\,(\mathbf n\times\mathbf v), \end{aligned} \]using \(\mathbf n\mathbf v\mathbf n=(\mathbf n\times\mathbf v)\mathbf n=-(\mathbf n\times\mathbf v)\times\mathbf n=\mathbf v\) when \(\mathbf v\perp\mathbf n\), \(|\mathbf n|=1\). This is rotation by \(\theta\) in the plane perpendicular to \(\mathbf n\). Every rotation has an axis and an angle, so the map is onto. The kernel consists of the quaternions commuting with every pure quaternion, the reals, of which the unit ones are \(\pm1\). In modern language \(S^3=\mathrm{SU}(2)\) is the double cover of \(\mathrm{SO}(3)\), the group behind electron spin.
Vector analysis
For two pure quaternions, \(\mathbf u\mathbf v=-\mathbf u\cdot\mathbf v+\mathbf u\times\mathbf v\). Hamilton introduced the operator \(\nabla=i\,\partial_x+j\,\partial_y+k\,\partial_z\). Applied to a vector field it gives \(\nabla\mathbf F=-\operatorname{div}\mathbf F+\operatorname{curl}\mathbf F\), and \(\nabla^2=-\Delta\). Peter Guthrie Tait in Edinburgh became the champion of quaternions, and James Clerk Maxwell used their notation alongside Cartesian components in his 1873 Treatise on Electricity and Magnetism. In the 1880s Josiah Willard Gibbs and Oliver Heaviside split the product into the separate dot and cross products, and their vector analysis displaced quaternions in physics after a bitter dispute with Tait. Quaternions returned in the twentieth century through spin, Clifford algebras, and computer graphics.
In the Lectures of 1853 Hamilton also showed that a linear function of quaternions satisfies a polynomial equation built from its own invariants, a special case of what Cayley stated for matrices in 1858. The general result is the Cayley–Hamilton theorem.
Exercise 9.1Which rotation does \(q=\frac12(1+i+j+k)\) represent? Compute its action on \(i\).
Show solution
Exercise 9.2Show that rotating by \(2\pi\) corresponds to \(q=-1\), and explain why the map \(S^3\to\mathrm{SO}(3)\) shows that \(\mathrm{SO}(3)\) is homeomorphic to real projective 3-space.
Show solution
The icosian calculus
For the general reader. In 1856 Hamilton invented another non-commutative algebra, with three symbols whose powers return to 1. It describes the symmetries of the icosahedron. He turned it into a puzzle, the icosian game, which asks for a round trip along the edges of a dodecahedron visiting every corner once. Such round trips are now called Hamiltonian cycles, and finding them in general graphs is one of the hard problems of computer science.
- State the icosian relations and identify the group they define.
- Use them to find a Hamiltonian cycle on the dodecahedron.
- Place the game in the history of graph theory.
The relations
In a memorandum of 1856 Hamilton introduced symbols \(\iota,\kappa,\lambda\) with
\[ \iota^2=1,\qquad\kappa^3=1,\qquad\lambda^5=1,\qquad\lambda=\iota\kappa . \]The group \(\langle\iota,\kappa\mid\iota^2=\kappa^3=(\iota\kappa)^5=1\rangle\) has order 60 and is isomorphic to the rotation group of the icosahedron, which is the alternating group \(A_5\).
Hamilton read these symbols as operations on the directed edges of a dodecahedron. \(\iota\) reverses an edge. \(\kappa\) turns an edge about its initial vertex to the next edge there. Then \(\lambda=\iota\kappa\) and \(\mu=\iota\kappa^2\) advance along a path, turning one way or the other at the next vertex. A word in \(\lambda,\mu\) is a route. Hamilton found that the word \((\lambda^3\mu^3\lambda\mu\lambda\mu)^2\) equals 1 and that the corresponding route passes through all twenty vertices before returning: a Hamiltonian cycle. In the hero picture the turns are written R and L.
The game
The board is a flat drawing of the dodecahedron, the graph above, with twenty holes for numbered pegs. Hamilton showed it at the 1857 British Association meeting in Dublin. In 1859 he sold the rights to the London games firm Jaques for £25. It did not sell well, perhaps because it is too easy once you know the trick. Thomas Kirkman had independently studied cycles through all vertices of polyhedra at about the same time, and Hamilton sent him a copy of the game. Hamilton’s name stuck because of the game.
Exercise 10.1In \(S_5\) let \(\iota=(1\,2)(3\,4)\) and \(\kappa=(1\,3\,5)\). Show that \(\iota^2=\kappa^3=1\) and that \(\iota\kappa\) has order 5. (Compose right to left.)
Show solution
Exercise 10.2Count: how many vertices, edges and faces does the dodecahedron have? Show that a Hamiltonian cycle uses exactly 20 of the 30 edges, and that the 10 unused edges form a perfect matching.
Show solution
The quaternion years, 1843–1865
In 1837 Hamilton was elected President of the Royal Irish Academy, and on 16 October 1843 he was walking with his wife along the Royal Canal to preside at a meeting of its Council. As they reached Broome Bridge (he wrote Brougham), the relations \(i^2=j^2=k^2=ijk=-1\) came to him, and he cut them into the stone with a knife. The carving has long gone. A plaque was unveiled at the bridge in 1958, and mathematicians now walk the route each 16 October. He presented the discovery to the Academy on 13 November 1843.
He spent the rest of his life on quaternions. He believed they would be as important for physics as calculus had been, and he applied them to geometry, optics and dynamics. The Lectures on Quaternions (1853), more than seven hundred pages long, proved hard to read; even admirers found it impenetrable. He then began a textbook, Elements of Quaternions, which grew far beyond its plan.
Private troubles
His later life was lonely. His wife was often away, and his study at Dunsink filled with papers. In 1846 he was embarrassed by drunkenness at a scientific dinner in Dublin and gave up alcohol for two years, but then returned to it. In 1848 Catherine Disney, the love of his youth, now unhappily married, began to correspond with him. The correspondence brought him distress and grief. She died in 1853, about two weeks after he gave her a copy of the Lectures. He continued to write poetry and to correspond with friends such as Augustus De Morgan, with whom he exchanged long letters for years.
Recognition kept arriving. The Royal Irish Academy gave him its Cunningham Medal for the second time in 1848. In 1864 the newly founded National Academy of Sciences in the United States elected its first Foreign Associates and placed his name at the head of the list. News reached him during his final illness.
DiscussionHamilton was sure that quaternions, and not his dynamics, were his great contribution. Today most physicists would reverse that judgement. What does this suggest about how scientists judge their own work, and how have quaternions recovered in the last century?
Death and legacy
Hamilton suffered a severe attack of gout in 1865 and died on 2 September 1865 in Dublin, aged 60. He was buried in Mount Jerome Cemetery. Elements of Quaternions was almost finished. His son William Edwin Hamilton completed the edition, and it appeared in 1866, about 760 pages long. Robert Perceval Graves, a friend, published a three-volume Life between 1882 and 1889.
Legacy
- Mechanics: the Hamiltonian, Hamilton’s equations and the Hamilton–Jacobi equation are the backbone of classical mechanics, celestial mechanics, statistical mechanics and symplectic geometry. Through canonical quantization, the Hamiltonian became the central operator of quantum mechanics.
- Optics: the characteristic function underlies aberration theory and the eikonal method. Conical refraction is still studied, for example by Michael Berry and coworkers, and is used in optical trapping and laser beam shaping.
- Algebra: the definition of complex numbers as pairs; the first non-commutative division algebra, which opened the way to Cayley’s matrices, Grassmann’s and Clifford’s algebras and modern abstract algebra; the vocabulary of scalars and vectors.
- Graph theory: Hamiltonian cycles and paths, and the NP-complete problem of deciding whether they exist.
- Honours: Knighthood and Royal Medal (1835), two Cunningham Medals (1834, 1848), first Foreign Associate of the US National Academy of Sciences (1864). The Hamilton Mathematics Institute at Trinity College Dublin bears his name, and the lunar crater Hamilton is named for him.
Final projectChoose one of Hamilton’s ideas: the characteristic function, the canonical equations, or quaternion rotations. Write a two-page account for a strong undergraduate that states it precisely, works one example in full, and explains what it made possible that was difficult before.
Connections
People linked to William Rowan Hamilton across this collection. A name without a link has no page here yet. See William Rowan Hamilton in the network of all 337 lives →
Influenced by
- Alexis Clairaut
- Augustin-Jean Fresnel
- Isaac Newton
- Joseph-Louis Lagrange
- Pierre-Louis Moreau de Maupertuis
- Pierre-Simon Laplace
- Siméon Denis Poisson
- Étienne-Louis Malus
- John Brinkley
Influenced
Colleagues and collaborators
- Arthur Cayley
- Hermann Grassmann
- János Bolyai
- Humphrey Lloyd 1832
- Thomas Kirkman
Rivals
- James MacCullagh
Friends
- Arthur Cayley
- Augustus De Morgan
- John T. Graves 1843
- William Wordsworth 1827-1850
Also mentioned in this life
- Leonhard Euler
- Pierre de Fermat
- Georg Frobenius
- Carl Friedrich Gauss
- Oliver Heaviside
- Adolf Hurwitz
- Adrien-Marie Legendre
- Joseph Liouville
Fields
On CoursesHub
Sources and further reading
Biography
- J. J. O’Connor and E. F. Robertson, Sir William Rowan Hamilton, MacTutor History of Mathematics.
- William Rowan Hamilton, Wikipedia (with extensive references).
- D. R. Wilkins, Sir William Rowan Hamilton (1805–1865), Trinity College Dublin: transcriptions of the major papers and letters.
- T. L. Hankins, Sir William Rowan Hamilton, Johns Hopkins University Press, 1980.
- R. P. Graves, Life of Sir William Rowan Hamilton, 3 vols., Dublin, 1882–1889.
- Royal Irish Academy, history on MacTutor.
Mathematics and physics
- W. R. Hamilton, Theory of Systems of Rays, Trans. Roy. Irish Acad. 15 (1828), and the third supplement, Trans. Roy. Irish Acad. 17 (1837).
- Conical refraction: Hamilton’s and Lloyd’s papers, Trinity College Dublin.
- W. R. Hamilton, On a General Method in Dynamics, Phil. Trans. R. Soc. (1834); Second Essay on a General Method in Dynamics, Phil. Trans. R. Soc. (1835).
- W. R. Hamilton, Theory of Conjugate Functions, or Algebraic Couples; with a Preliminary and Elementary Essay on Algebra as the Science of Pure Time, Trans. Roy. Irish Acad. 17 (1837).
- W. R. Hamilton, Letter to John T. Graves on quaternions, 17 October 1843; Hamilton’s research on quaternions.
- W. R. Hamilton, Lectures on Quaternions, Dublin, 1853; Elements of Quaternions, London, 1866.
- Conical refraction and icosian calculus, Wikipedia.
- M. V. Berry and M. R. Jeffrey, Conical diffraction: Hamilton’s diabolical point at the heart of crystal optics, Progress in Optics 50 (2007).
- V. I. Arnold, Mathematical Methods of Classical Mechanics, Springer, 2nd ed. 1989.
- J. H. Conway and D. A. Smith, On Quaternions and Octonions, A K Peters, 2003.
- M. J. Crowe, A History of Vector Analysis, University of Notre Dame Press, 1967.