# The Conformal Transformations of a Space of Four Dimensions and their Applications to Geometrical Optics

The Conformal Transformations of a Space of Four Dimensions and their Applications to Geometrical Optics  (1908)
by Harry Bateman

Proceedings of the London Mathematical Society (1909), 7, 70-89, Scans Online

THE CONFORMAL TRANSFORMATIONS OF A SPACE OF FOUR DIMENSIONS
AND THEIR APPLICATIONS TO GEOMETRICAL OPTICS

By H. Bateman.

1. The method of inversion which was first applied to problems in electrostatics by Lord Kelvin,[1] and which forms the basis of his theory of electric images, has also been applied with success in other branches of mathematical physics, as, for instance, in hydrodynamics. In geometrical optics, however, the method has been seldom used, probably because the necessary developments are not to be found in books on geometrical optics. The object of this paper is to show that the method can be of real value in both geometrical and physical optics. It is found that the transformation which is really needed is an inversion in a space of four dimensions, the transition to three-dimensional space being made by replacing the fourth coordinate by ict, where t is the time and c the velocity of light.

The first part of the paper is devoted to the general conformal transformation of a space of four dimensions. Shortly after Lord Kelvin's discovery of the method of transforming electrostatical problems by means of inversion,[2] Liouville[3] obtained the most general transformation that can be used for three-dimensional problems in this way.

The group of transformations of this kind is known as the group of conformal transformations of space,[4] it preserves the angles between two surfaces and changes a sphere into either a sphere or a plane.[5]

The property, however, upon which the applications to electrostatical problems depends is that the transformations enable us to pass from one solution of the equation

 ${\displaystyle {\frac {\partial ^{2}V}{\partial x^{2}}}+{\frac {\partial ^{2}V}{\partial y^{2}}}+{\frac {\partial ^{2}V}{\partial z^{2}}}=0}$.

to another.[6]

Now the group of conformal transformations in a space of four dimensions possesses the analogous property in connection with the two differential equations

 ${\displaystyle {\frac {\partial ^{2}V}{\partial x^{2}}}+{\frac {\partial ^{2}V}{\partial y^{2}}}+{\frac {\partial ^{2}V}{\partial z^{2}}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}V}{\partial t^{2}}},}$ ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}={\frac {1}{c^{2}}}\left({\frac {\partial V}{\partial t}}\right)^{2},}$

which are fundamental in the wave theory of light.

This has been known for some time,[7] but the analysis given in § 2 will be useful in indicating the procedure to be adopted to obtain the relation connecting the two solutions for any transformation of the group.

In § 3 a particular solution of the first of the above equations is expressed in terms of Riemann's general hypergeometric function, and new light is thrown upon the theory of the transformations of the hypergeometric equation into itself.

In § 4 the applications to geometrical optics are considered. When applied to a symmetrical optical instrument, the transformation reduces to a homographic transformation of the points on the axis.

2. The Conformal Transformations of a Space of Four Dimensions.

The study of the conformal transformations of a space of four dimensions is simplified by the introduction of the six homogeneous coordinates[8]:

 ${\displaystyle \left.{\begin{array}{lll}l=x-iy,&m=z+iw,&n=x^{2}+y^{2}+z^{2}+w^{2}\\\\\lambda =x+iy,&\mu =z-iw,&\nu =-1\end{array}}\right\}}$ (1)

connected by the identical relation

 ${\displaystyle l\lambda +m\mu +n\nu =0.}$ (2)

A function F(x, y, z, w) can be expressed by means of them as a homogeneous function of arbitrary degree. For instance, we may write

 ${\displaystyle V=F(x,y,z,w)=F\left(-{\frac {l+\lambda }{2\nu }},-{\frac {l-\lambda }{2i\nu }},-{\frac {m+\mu }{2\nu }},-{\frac {m-\mu }{2i\nu }}\right),}$ ${\displaystyle U=f(x,y,z,w)=-{\frac {1}{\nu }}f\left(-{\frac {l+\lambda }{2\nu }},-{\frac {l-\lambda }{2i\nu }},-{\frac {m+\mu }{2\nu }},-{\frac {m-\mu }{2i\nu }}\right).}$

In the first representation V is a homogeneous function of degree zero, and in the second U is a homogeneous function of degree -1. The coordinate n may be introduced into the representations by means of the identical relation (2), the homogeneity of the expression being thereby unaltered.

Conversely, any homogeneous function of the six variables (l, m, n, λ, μ, ν) can be expressed as a function of (x, y, z, w). We shall now consider under what circumstances such a function can satisfy one of the differential equations—

 ${\displaystyle {\begin{array}{r}\left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}=0,\\\\{\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}=0.\end{array}}}$
First, let V be a homogeneous function of degree zero. We evidently have
 ${\displaystyle {\begin{array}{lr}{\frac {\partial V}{\partial x}}=&{\frac {\partial V}{\partial l}}+{\frac {\partial V}{\partial \lambda }}+2x{\frac {\partial V}{\partial n}},\\\\{\frac {\partial V}{\partial y}}=&i{\frac {\partial V}{\partial l}}-i{\frac {\partial V}{\partial \lambda }}+2y{\frac {\partial V}{\partial n}},\\\\{\frac {\partial V}{\partial z}}=&{\frac {\partial V}{\partial m}}+{\frac {\partial V}{\partial \mu }}+2z{\frac {\partial V}{\partial n}},\\\\{\frac {\partial V}{\partial w}}=&i{\frac {\partial V}{\partial m}}-i{\frac {\partial V}{\partial \mu }}+2w{\frac {\partial V}{\partial n}},\end{array}}}$
 ${\displaystyle {\begin{array}{rl}\left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}\\\\=&4{\frac {\partial V}{\partial l}}{\frac {\partial V}{\partial \lambda }}+4{\frac {\partial V}{\partial m}}{\frac {\partial V}{\partial \mu }}+4n\left({\frac {\partial V}{\partial n}}\right)^{2}+4l{\frac {\partial V}{\partial l}}{\frac {\partial V}{\partial n}}\\\\&+4\lambda {\frac {\partial V}{\partial \lambda }}{\frac {\partial V}{\partial n}}+4\mu {\frac {\partial V}{\partial \mu }}{\frac {\partial V}{\partial n}}+4m{\frac {\partial V}{\partial m}}{\frac {\partial V}{\partial n}}.\end{array}}}$

But, since V is a homogeneous function of degree zero,

 ${\displaystyle l{\frac {\partial V}{\partial l}}+\lambda {\frac {\partial V}{\partial \lambda }}+m{\frac {\partial V}{\partial m}}+\mu {\frac {\partial V}{\partial \mu }}+n{\frac {\partial V}{\partial n}}+\nu {\frac {\partial V}{\partial \nu }}=0}$

and ν = -1, therefore

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}\equiv 4\left[{\frac {\partial V}{\partial l}}{\frac {\partial V}{\partial \lambda }}+{\frac {\partial V}{\partial m}}{\frac {\partial V}{\partial \mu }}+{\frac {\partial V}{\partial n}}{\frac {\partial V}{\partial \nu }}\right].}$

If, instead of (l, m, n, λ, μ, ν), we use the usual hexaspherical coordinates defined by the relations

 ${\displaystyle a_{1}=x,\ a_{2}=y,\ a_{3}=z,\ a_{4}=w,\ a_{5}={\frac {r^{2}-1}{2}},\ a_{6}={\frac {r^{2}+1}{2i}}}$; ${\displaystyle {\begin{array}{ccc}l=a_{1}+ia_{2},&m=a_{3}+ia_{4},&n=a_{5}+ia_{6},\\\\\lambda =a_{1}-ia_{2},&\mu =a_{3}-ia_{4},&\nu =a_{5}-ia_{6},\end{array}}}$

the equation takes the more symmetrical form

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}\equiv \sum \limits _{k=1}^{6}\left({\frac {\partial V}{\partial a_{k}}}\right)^{2}.}$

This relation shows that a homogeneous function of degree zero, which is a solution of

 ${\displaystyle {\frac {\partial V}{\partial l}}{\frac {\partial V}{\partial \lambda }}+{\frac {\partial V}{\partial m}}{\frac {\partial V}{\partial \mu }}+{\frac {\partial V}{\partial n}}{\frac {\partial V}{\partial \nu }}=0,}$

i.e., of

 ${\displaystyle \sum \limits _{k=1}^{6}\left({\frac {\partial V}{\partial a_{k}}}\right)^{2}=0}$
is a solution of
 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}=0}$

when expressed in terms of x, y, z, w.

Next, let U be a homogeneous function of degree -1 in (l, m, n, λ, μ, ν), then we can show in a similar way that

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}\equiv 4\left[{\frac {\partial ^{2}U}{\partial l\ \partial \lambda }}+{\frac {\partial ^{2}U}{\partial m\ \partial \mu }}+{\frac {\partial ^{2}U}{\partial n\ \partial \nu }}\right]\equiv \sum \limits _{k=1}^{6}{\frac {\partial ^{2}U}{\partial a^{2}}}.}$

Hence, if U is a solution of

 ${\displaystyle {\frac {\partial ^{2}U}{\partial l\ \partial \lambda }}+{\frac {\partial ^{2}U}{\partial m\ \partial \mu }}+{\frac {\partial ^{2}U}{\partial n\ \partial \nu }}=0,}$

i.e., of

 ${\displaystyle \sum \limits _{k=1}^{6}{\frac {\partial ^{2}U}{\partial a_{k}^{2}}}=0,}$

it is a solution of

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}=0}$

when expressed in terms of (x, y, z, w).

When (${\displaystyle a_{1},\ a_{2},\ \dots ,\ a_{6}}$) are interpreted as the coordinates of a point in a space of six dimensions, the expressions

 ${\displaystyle \sum \limits _{k=1}^{6}a_{k}^{2},\ \sum \limits _{k=1}^{6}\left({\frac {\partial U}{\partial a_{k}}}\right)^{2},\ \sum \limits _{k=1}^{6}{\frac {\partial ^{2}U}{\partial a_{k}^{2}}}}$

remain unaltered in form after any change of rectangular axes in which the origin remains the same. Any change of this kind corresponds to a transformation in the (x, y, z, w) space, enabling us to pass from one solution of the equation

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}=0}$

to another, and a similar remark applies to the equation

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}=0.}$

To illustrate the method of formation of the transformation, we may consider the effect of simply interchanging n and -ν. The functions V and U of formulæ (8) and (4) then transform into

 ${\displaystyle F\left({\frac {l+\lambda }{2n}},\ {\frac {l-\lambda }{2in}},\ {\frac {m+\mu }{2n}},\ {\frac {m-\mu }{2in}}\right)=F\left({\frac {x}{r^{2}}},\ {\frac {y}{r^{2}}},\ {\frac {z}{r^{2}}},\ {\frac {w}{r^{2}}}\right)}$

and

 ${\displaystyle {\frac {1}{n}}f\left({\frac {l+\lambda }{2n}},\ {\frac {l-\lambda }{2in}},\ {\frac {m+\mu }{2n}},\ {\frac {m-\mu }{2in}}\right)={\frac {1}{r^{2}}}f\left({\frac {x}{r^{2}}},\ {\frac {y}{r^{2}}},\ {\frac {z}{r^{2}}},\ {\frac {w}{r^{2}}}\right)}$

respectively, being written in place of x² + y² + z² + w².

Accordingly, from a solution V = F(x, y, z, w) of the equation

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}+\left({\frac {\partial V}{\partial w}}\right)^{2}=0,}$

we may derive a second solution

 ${\displaystyle \upsilon =F\left({\frac {x}{r^{2}}},\ {\frac {y}{r^{2}}},\ {\frac {z}{r^{2}}},\ {\frac {w}{r^{2}}}\right),}$

and from the solution U = f(x, y, z, w) of

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}=0,}$

we may derive another solution

 ${\displaystyle u={\frac {1}{r^{2}}}f\left({\frac {x}{r^{2}}},\ {\frac {y}{r^{2}}},\ {\frac {z}{r^{2}}},\ {\frac {w}{r^{2}}}\right).}$

Putting w = ict, where c is the velocity of light and t is the time, the equations take the well known form[9]

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}={\frac {1}{c^{2}}}\left({\frac {\partial V}{\partial t}}\right)^{2},}$ ${\displaystyle {\frac {\partial ^{2}V}{\partial x^{2}}}+{\frac {\partial ^{2}V}{\partial y^{2}}}+{\frac {\partial ^{2}V}{\partial z^{2}}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}V}{\partial t^{2}}},}$

and the transformation may be written

 ${\displaystyle X={\frac {x}{r^{2}-c^{2}t^{2}}},\ Y={\frac {y}{r^{2}-c^{2}t^{2}}},\ Z={\frac {z}{r^{2}-c^{2}t^{2}}},\ T={\frac {t}{r^{2}-c^{2}t^{2}}},}$

where now

 ${\displaystyle r^{2}=x^{2}+y^{2}+z^{2}}$

The study of this transformation will be taken up later.

A second transformation of some interest is obtained by interchanging m with n and μ with ν. This changes

 ${\displaystyle -{\frac {1}{\nu }}f\left(-{\frac {l+\lambda }{2\nu }},\ -{\frac {l-\lambda }{2i\nu }},\ -{\frac {m+\mu }{2\nu }},\ -{\frac {m-\mu }{2i\nu }}\right)}$

into

 ${\displaystyle -{\frac {1}{\nu }}f\left(-{\frac {l+\lambda }{2\mu }},\ -{\frac {l-\lambda }{2i\mu }},\ -{\frac {n+\nu }{2\mu }},\ -{\frac {n-\nu }{2i\mu }}\right)}$

that is

f(x, y, z, w)

into

 ${\displaystyle -{\frac {1}{z-iw}}f\left(-{\frac {x}{2(z-iw)}},\ -{\frac {y}{2(z-iw)}},\ -{\frac {1-r^{2}}{2(z-iw)}},\ -{\frac {1+r^{2}}{2i(z-iw)}}\right).}$

Putting w = ict and changing the sign of z, the formulæ for the transformation are

 ${\displaystyle X={\frac {x}{z-ct}},\ Y={\frac {y}{z-ct}},\ Z={\frac {r^{2}-1}{2(z-ct)}},\ cT={\frac {r^{2}+1}{2(z-ct)}},}$

where, now,

 ${\displaystyle r^{2}=x^{2}+y^{2}+z^{2}-c^{2}t^{2}.}$

If V = F(x, y, z, t) is a solution of

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}={\frac {1}{c^{2}}}\left({\frac {\partial V}{\partial t}}\right)^{2},}$

the function F(X, Y, Z, T) is also a solution, and, if U = f(x, y, z, t) is a solution of

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}U}{\partial t^{2}}},}$

the function

 ${\displaystyle {\frac {1}{z-ct}}f\left[{\frac {x}{z-ct}},\ {\frac {y}{z-ct}},\ {\frac {r^{2}-1}{2\left(z-ct\right)}},\ {\frac {r^{2}-1}{2c\left(z-ct\right)}}\right]}$

is also a solution.

In following up the connection between different solutions, it is convenient to use polar coordinates. Putting

 ${\displaystyle x=r\ \cos \ \theta \ \cos \ \phi ,\ y=r\ \cos \theta \ \sin \ \phi ,\ z=r\ \cos \theta \ \sin \ \psi ,}$ ${\displaystyle w=ict=r\ \sin \ \theta \ \sin \ \psi ;}$ ${\displaystyle X=R\ \cos \ \Theta \ \cos \ \Phi ,\ Y=R\ \cos \Theta \ \sin \ \Phi ,\ Z=R\ \cos \Theta \ \sin \ \Psi ,}$ ${\displaystyle W=icT=R\ \sin \ \Theta \ \sin \ \Psi ;}$

we obtain the relations

 ${\displaystyle r^{2}=-e^{-2i\Psi },\ R^{2}=-e^{-2i\psi },\ \sin \Theta =cosec\ \theta ,\ \Psi =\phi .}$

There is a similar transformation for Laplace's equation.[10]

If

 ${\displaystyle X={\frac {r^{2}-a^{2}}{2(x-iy)}},\ Y={\frac {r^{2}-a^{2}}{2i(x-iy)}},\ Z={\frac {az}{x-iy}},}$

a solution f(x, y, z) corresponds to a second solution

 ${\displaystyle {\frac {1}{\sqrt {x+iy}}}f\left({\frac {r^{2}-a^{2}}{2(x-iy)}},\ {\frac {r^{2}+a^{2}}{2i(x-iy)}},\ {\frac {az}{x-iy}}\right).}$

Putting

 ${\displaystyle {\begin{array}{ccc}x=r\ \sin \theta \ \cos \ \phi ,&y=r\ \sin \theta \ \cos \ \phi ,&z=r\ \cos \ \theta ,\\\\X=R\ \sin \Theta \ \cos \ \Phi ,&Y=R\ \sin \Theta \ \cos \ \Phi ,&Z=R\ \cos \ \Theta ,\end{array}}}$

the formulæ of transformation become

 ${\displaystyle R=ia\ e^{i\phi },\ r=ia\ e^{i\phi },\ \sin \ \Theta =cosec\ \theta .}$

The transition from one solution of Laplace's equation to another is now easily effected.

The effects of combining the different transformations belonging to a group of conformal transformations is most easily studied by interpreting the transformation as a change of axes in a space in which the coordinates are the spherical coordinates ${\displaystyle a_{r}}$.[11] It is important to notice that the angle between two manifolds in this space is equal to the angle between the corresponding manifolds in the space to which the conformal transformations are applied. In the case of a space of four dimensions, we have, in fact,

 ${\displaystyle da_{1}^{2}+da_{2}^{2}+da_{3}^{2}+da_{4}^{2}+da_{5}^{2}+da_{6}^{2}\equiv dx^{2}+dy^{2}+dz^{2}+dw^{2},}$ ${\displaystyle da_{1}da'_{1}+da_{2}da'_{2}+da_{3}da'_{3}+da_{4}da'_{4}+da_{5}da'_{5}+da_{6}da'_{6}}$ ⁠${\displaystyle \equiv dx\ dx'+dy\ dy'+dz\ dz'+dw\ dw'}$,

from which the result easily follows.

A change in the sign of ${\displaystyle a_{6}}$ corresponds to an inversion, a change in the sign of ${\displaystyle a_{6}}$ coupled with a change in the sign of ${\displaystyle a_{4}}$ corresponds to the other transformation we have mentioned. It is evident that each of these transformations is of period 2. In general, a reflexion in a linear manifold in the a space corresponds to an inversion with regard to the corresponding circle, sphere, or hypersphere, in the space of four dimensions. A displacement of period n in the a space may be obtained by taking successive reflexions in two plane five-folds which cut at an angle π/n.[12] It evidently corresponds to a periodic conformal transformation made up of inversions with regard to two hyperspheres which cut at an angle π/n.

3. The Relation between Riemann's General Hypergeometric Function and the Group of Conformal Transformations of a Space of Four Dimensions.

We shall now endeavour to satisfy the differential equation

 ${\displaystyle {\frac {\partial ^{2}U}{\partial l\partial \lambda }}+{\frac {\partial ^{2}U}{\partial m\partial \mu }}+{\frac {\partial ^{2}U}{\partial n\partial \nu }}=0}$

by means of a function of the form

 ${\displaystyle U=l^{-\alpha }\lambda ^{-\alpha '}m^{-\beta }\mu ^{-\beta '}n^{-\gamma }\nu ^{-\gamma '}P,}$ (1)
where P is a function of the ratio of any two of the quantities lλ, mμ, nν. The quantity U will then be a solution of the equation
 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}={\frac {1}{c^{2}}}{\frac {\partial ^{2}U}{\partial t^{2}}}}$.

if the relation

 ${\displaystyle \alpha +\alpha '+\beta +\beta '+\gamma +\gamma '=1}$

is satisfied, for it will then be a homogeneous function of degree -1 in (l, m, n, λ, μ, ν).

Let us put

 ${\displaystyle {\begin{array}{rcl}l\lambda =&(b-c)(z-a)&=\xi ,\\\\m\mu =&(c-a)(z-b)&=\eta ,\\\\n\nu =&(a-b)(z-c)&=\zeta ,\end{array}}}$

where a, b and c are arbitrary constants. The relation

 ${\displaystyle l\lambda +m\mu +n\nu =0}$

is then satisfied, and P becomes a function of z alone. We may thus write

 ${\displaystyle P(\xi ,\eta ,\zeta )\equiv P(z)\equiv H\left(\xi ^{b-c}\eta ^{e-a}\zeta ^{a-b}\right)\equiv H(\theta ),}$

the particular functional form in terms of ξ, η, ζ being chosen to facilitate the calculations. H is clearly a homogeneous function of degree zero in ξ, η, ζ and therefore in l, m, n, λ, μ, ν.

On differentiating equation (1), we obtain

 ${\displaystyle {\frac {\partial U}{\partial l}}=-{\frac {a}{l}}U+\lambda {\frac {U}{P}}{\frac {\partial P}{\partial \xi }},}$ ${\displaystyle {\frac {\partial ^{2}U}{\partial l\partial \lambda }}={\frac {aa'}{\xi }}U+{\frac {1-\alpha -\alpha '}{P}}U{\frac {\partial P}{\partial \xi }}+{\frac {\xi }{P}}U{\frac {\partial ^{2}P}{\partial \xi ^{2}}}.}$

The differential equation

 ${\displaystyle {\frac {\partial ^{2}U}{\partial l\partial \lambda }}+{\frac {\partial ^{2}U}{\partial m\partial \mu }}+{\frac {\partial ^{2}U}{\partial n\partial \nu }}=0}$

will thus be satisfied, if

 ${\displaystyle \xi {\frac {\partial ^{2}P}{\partial \xi ^{2}}}+\eta {\frac {\partial ^{2}P}{\partial \eta ^{2}}}+\zeta {\frac {\partial ^{2}P}{\partial \zeta ^{2}}}+(1-\alpha -\alpha '){\frac {\partial P}{\partial \xi }}+(1-\beta -\beta '){\frac {\partial P}{\partial \eta }}}$ ${\displaystyle +(1-\gamma -\gamma '){\frac {\partial P}{\partial \zeta }}+\left({\frac {\alpha \alpha '}{\xi }}+{\frac {\beta \beta '}{\eta }}+{\frac {\gamma \gamma '}{\zeta }}\right)P=0}$
Now
 ${\displaystyle {\frac {\partial P}{\partial \xi }}={\frac {b-c}{\xi }}\theta H'(\theta )={\frac {\theta }{z-a}}H'(\theta ),}$ ${\displaystyle {\begin{array}{cl}{\frac {dP}{dz}}&={\frac {\partial P}{\partial \xi }}{\frac {\partial \xi }{\partial z}}+{\frac {\partial P}{\partial \eta }}{\frac {\partial \eta }{\partial z}}+{\frac {\partial P}{\partial \zeta }}{\frac {\partial \zeta }{\partial z}}=(b-c){\frac {\partial P}{\partial \xi }}+\left(c-a\right){\frac {\partial P}{\partial \eta }}+(a-b){\frac {\partial P}{\partial \zeta }}\\\\&=\left({\frac {b-c}{z-a}}+{\frac {c-a}{z-b}}+{\frac {a-b}{z-c}}\right)\theta H'(\theta )\\\\&=-{\frac {(b-c)(c-a)(a-b)}{(z-a)(z-b)(z-c)}}\theta H'(\theta ).\end{array}}}$

Hence

 ${\displaystyle {\frac {\partial P}{\partial \xi }}={\frac {(z-b)(z-c)}{(a-b)(a-c)}}{\frac {1}{b-c}}{\frac {dP}{dz}}.}$

Also, since

 ${\displaystyle \xi {\frac {\partial P}{\partial \xi }}=(b-c)\theta H'(\theta )=\phi (\theta ),}$

we have

 ${\displaystyle \xi {\frac {\partial ^{2}P}{\partial \xi ^{2}}}+{\frac {\partial P}{\partial \xi }}={\frac {\partial }{\partial \xi }}\phi (\theta )={\frac {(z-b)(z-c)}{(a-b)(a-c)}}{\frac {1}{b-c}}{\frac {d}{dz}}\phi (\theta ),}$

this relation being obtained in the same way as the one above.

The last expression may be written

 ${\displaystyle {\frac {(z-b)(z-c)}{(a-b)(a-c)}}{\frac {d}{dz}}\theta H'(\theta ),}$

i.e.,

 ${\displaystyle -{\frac {(z-b)(z-c)}{(a-b)(a-c)}}{\frac {d}{dz}}{\frac {(z-a)(z-b)(z-c)}{(b-c)(c-a)(a-b)}}{\frac {dP}{dz}},}$

or

 ${\displaystyle {\frac {(z-a)(z-b)^{2}(z-c)^{2}}{(b-c)(c-a)^{2}(a-b)^{2}}}\left[{\frac {d^{2}P}{dz^{2}}}+\left({\frac {1}{z-a}}+{\frac {1}{z-b}}+{\frac {1}{z-c}}\right){\frac {dP}{dz}}\right].}$

Now

 ${\displaystyle {\frac {(z-b)(z-c)}{(c-a)(a-b)}}+{\frac {(z-c)(z-a)}{(a-b)(b-c)}}+{\frac {(z-a)(z-b)}{(b-c)(c-a)}}=-1,}$

and

 ${\displaystyle {\begin{array}{cl}{\frac {\partial P}{\partial \xi }}+{\frac {\partial P}{\partial \eta }}+{\frac {\partial P}{\partial \zeta }}&=\left({\frac {1}{z-a}}+{\frac {1}{z-b}}+{\frac {1}{z-c}}\right)\theta H'(\theta )\\\\&=-{\frac {(z-a)(z-b)(z-c)}{(b-c)(c-a)(a-b)}}\left({\frac {1}{z-a}}+{\frac {1}{z-b}}+{\frac {1}{z-c}}\right){\frac {dP}{dz}}\end{array}}}$;

consequently,

 ${\displaystyle \xi {\frac {\partial ^{2}P}{\partial \xi ^{2}}}+\eta {\frac {\partial ^{2}P}{\partial \eta ^{2}}}+\zeta {\frac {\partial ^{2}P}{\partial \zeta ^{2}}}=-{\frac {(z-a)(z-b)(z-c)}{(b-c)(c-a)(a-b)}}{\frac {d^{2}P}{dz^{2}}}.}$
The differential equation thus reduces to
 ${\displaystyle {\begin{array}{cl}{\frac {d^{2}P}{dz^{2}}}&+\left({\frac {1-\alpha -\alpha '}{z-a}}+{\frac {1-\beta -\beta '}{z-b}}+{\frac {1-\gamma -\gamma '}{z-c}}\right){\frac {dP}{dz}}\\\\&+\left[{\frac {\alpha \alpha '(a-b)(a-c)}{z-a}}+{\frac {\beta \beta '(b-a)(b-c)}{z-b}}+{\frac {\gamma \gamma '(c-a)(c-b)}{z-c}}+\right]\times {\frac {P}{(z-a)(z-b)(z-c)}}=0.\end{array}}}$

This is Papperitz's form[13] of the differential equation satisfied by Riemann's general hypergeometric function[14]

 ${\displaystyle P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha &&\beta &&\gamma &&z\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\}}$;

hence we have the result that

 ${\displaystyle U=l^{-\alpha }\lambda ^{-\alpha '}m^{-\beta }\mu ^{-\beta '}n^{-\gamma }\nu ^{-\gamma '}P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha &&\beta &&\gamma &&z\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\}}$

is a homogeneous function of (l, m, n, λ, μ, ν) of degree -1, satisfying the equation

 ${\displaystyle {\frac {\partial ^{2}U}{\partial l\partial \lambda }}+{\frac {\partial ^{2}U}{\partial m\partial \mu }}+{\frac {\partial ^{2}U}{\partial n\partial \nu }}=0.}$

When expressed in terms of x, y, z and w, it will thus be a solution of the equation

 ${\displaystyle {\frac {\partial ^{2}U}{\partial x^{2}}}+{\frac {\partial ^{2}U}{\partial y^{2}}}+{\frac {\partial ^{2}U}{\partial z^{2}}}+{\frac {\partial ^{2}U}{\partial w^{2}}}=0.}$

The various transformations[15] of the general hypergeometric function are easily obtained from this result. If we write U in the form

 ${\displaystyle U=l^{-\alpha -\theta }\lambda ^{-\alpha '-\theta }m^{-\beta -\phi }\mu ^{-\beta '-\phi }n^{-\gamma -\psi }\nu ^{-\gamma '-\psi }(l\lambda )^{\theta }(m\mu )^{\phi }(n\nu )^{\psi }P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha &&\beta &&\gamma &&z\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\},}$
where
 ${\displaystyle \theta +\phi +\psi =0,}$

we see that

 ${\displaystyle (z-a)^{\theta }(z-b)^{\phi }(z-c)^{\psi }P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha &&\beta &&\gamma &&z\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\}}$

is a multiple of

 ${\displaystyle P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha +\theta &&\beta +\phi &&\gamma +\psi &&z\\\\\alpha '+\theta &&\beta '+\phi \ &&\gamma '+\psi \end{array}}\right\}.}$

Again, if we write

 ${\displaystyle {\begin{array}{cl}a'={\frac {Aa+B}{Ca+D}},&b'={\frac {Ab+B}{Cb+D}},\\\\c'={\frac {Ac+B}{Cc+D}},&z'={\frac {Az+B}{Cz+D}},\end{array}}}$

we have

 ${\displaystyle (b'-c')(z'-a')={\frac {(AD-BC)^{2}}{(Ca+D)(Cb+D)(Cc+D)(Cd+D)}}(b-c)(z-a),}$

so that

 ${\displaystyle {\frac {l\lambda }{(b'-c')(z'-a')}}={\frac {m\mu }{(c'-a')(z'-b')}}={\frac {n\nu }{(a'-b')(z'-c')}},}$

This shows that P is the same function of the quantities a', b', c', z' as it is of a, b, c, z; that is

 ${\displaystyle P\ \left\{{\begin{array}{ccccccc}a'&&b'&&c'\\\\\alpha &&\beta &&\gamma &&z'\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\}=P\ \left\{{\begin{array}{ccccccc}a&&b&&c\\\\\alpha &&\beta &&\gamma &&z\\\\\alpha '&&\beta '&&\gamma '\end{array}}\right\}.}$

Hence the general hypergeometric function is unaltered if the quantities a, b, c, z are replaced by quantities a', b', c', z' which are derived from them by the same homographic substitution.

4. Applications to Geometrical Optics.

Let us consider a series of waves of light traversing a homogeneous or heterogeneous medium, and let

 ${\displaystyle V=\int \mu ds}$

be the reduced path from a standard orthotomic surface or wave front to the point (x, y, z). Let us suppose, moreover, that V is expressed only in terms of the coordinates (x, y, z), and the constants of the standard wave front. Then V satisfies the differential equation[16]

 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}=\mu ^{2},}$

and is, in fact, the characteristic function introduced by Hamilton. If it is expressed as a function of x, y, z, and the coordinates of the initial point ${\displaystyle x_{0}y_{0}z_{0}}$, it is the Eikonal according to the nomenclature of Bruns.[17]

Since V is proportional to the time this differential equation may be replaced by

 ${\displaystyle \left({\frac {\partial t}{\partial x}}\right)^{2}+\left({\frac {\partial t}{\partial y}}\right)^{2}+\left({\frac {\partial t}{\partial z}}\right)^{2}={\frac {1}{C^{2}}},}$

where C is the velocity of radiation at the point (x, y, z).

Now suppose that the surfaces t = const, are obtained by solving an equation

 ${\displaystyle F(x,\ y,\ z,\ t)=0}$

for t; then, since

 ${\displaystyle {\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial t}}{\frac {\partial t}{\partial x}}=0}$,

the function F must satisfy the differential equation

 ${\displaystyle \left({\frac {\partial F}{\partial x}}\right)^{2}+\left({\frac {\partial F}{\partial y}}\right)^{2}+\left({\frac {\partial F}{\partial z}}\right)^{2}={\frac {1}{C^{2}}}\left({\frac {\partial F}{\partial t}}\right)^{2}.}$

Confining ourselves to the case in which C is constant, we may use the results of § 2 to obtain new solutions of this differential equation.

Let

 ${\displaystyle {\begin{array}{clc}X=X(x,\ y,\ z,\ t),&&Z=Z(x,\ y,\ z,\ t),\\\\Y=Y(x,\ y,\ z,\ t),&&T=T(x,\ y,\ z,\ t),\end{array}}}$

be the formulæ giving a transformation which enables us to pass from one solution of the above equation to another; then

 ${\displaystyle F(X,\ Y,\ Z,\ T),}$

when expressed in terms of x, y, z, t, is a second solution of the equation, and if the equation

 ${\displaystyle F=0}$

be solved for t, the surfaces t = const, will form a system of parallel wave surfaces and t considered as a function of (x, y, z) will be the characteristic function for them.

The transformation

 ${\displaystyle X={\frac {x}{r^{2}-c^{2}t^{2}}},\ Y={\frac {y}{r^{2}-c^{2}t^{2}}},\ Z={\frac {z}{r^{2}-c^{2}t^{2}}},\ T={\frac {t}{r^{2}-c^{2}t^{2}}}}$

is of special importance because it makes the standard wave surface t = 0 in the original system correspond to a standard wave surface t = 0 in the new system; also, since the equations of the surfaces are

 ${\displaystyle F(x,\ y,\ z,\ 0)=0,}$

and

 ${\displaystyle F({\frac {x}{r^{2}}},\ {\frac {y}{r^{2}}},\ {\frac {z}{r^{2}}},\ 0)=0,}$

respectively, it is clear that one is the inverse of the other with regard to a unit sphere whose centre is at the origin. Our theorem tells us that if the surfaces parallel to the first are given by

 ${\displaystyle F(x,\ y,\ z,\ t)=0,}$

the surfaces parallel to the second are given by

 ${\displaystyle F\left({\frac {x}{r^{2}-c^{2}t^{2}}},\ {\frac {y}{r^{2}-c^{2}t^{2}}},\ {\frac {z}{r^{2}-c^{2}t^{2}}},\ {\frac {t}{r^{2}-c^{2}t^{2}}}\right)=0.}$

Applying this result to the family of right circular cones parallel to a given one, we may obtain the family of Dupin's cyclides parallel to a given one.

To obtain a geometrical interpretation of the transformation we describe a sphere of radius ct round the point (x, y, z) as centre. The inverse sphere is then of radius cT and its centre is at the point (XYZ).

A more general result is that the sphere

 ${\displaystyle \left(x-x_{0}\right)^{2}+\left(y-y_{0}\right)^{2}+\left(z-z_{0}\right)^{2}=c^{2}\left(t-t_{0}\right)^{2}}$

corresponds in the transformation to the sphere

 ${\displaystyle \left(X-X_{0}\right)^{2}+\left(Y-Y_{0}\right)^{2}+\left(Z-Z_{0}\right)^{2}=c^{2}\left(T-T_{0}\right)^{2}}$,

the centres of the two spheres being corresponding points at the times ${\displaystyle t_{0},\ T_{0}}$ respectively.

To show that the laws of reflection and refraction remain unchanged in the transformation, we take the surface at which the light is incident as the standard one from which the time is measured. Let ${\displaystyle \left(x_{0},\ y_{0},\ z_{0}\right)}$ be a point on this surface; then we must associate with this point the time ${\displaystyle t_{0}=0}$.

Consider a ray of light travelling from ${\displaystyle \left(x_{0},\ y_{0},\ z_{0}\right)}$ in a direction (l, m, n) with velocity c. At time t the wave has reached a point (x, y, z) on the ray, where

 ${\displaystyle x=x_{0}+l.ct,\ y=y_{0}+m.ct,\ z=z_{0}+n.ct.}$

The corresponding point (X, Y, Z) derived from this by the transformation also travels along a straight line, for

 ${\displaystyle {\begin{array}{cl}X&={\frac {x_{0}+lct}{\left(x_{0}+lct\right)^{2}+\left(y_{0}+mct\right)^{2}+\left(z_{0}+nct\right)^{2}-c^{2}t^{2}}}\\\\&={\frac {x_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}+\left[{\frac {ct}{\left(x_{0}+lct\right)^{2}+\left(y_{0}+mct\right)^{2}+\left(z_{0}+nct\right)^{2}-c^{2}t^{2}}}\right]\times \left[l-{\frac {2x_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}\left(lx_{0}+my_{0}+nz_{0}\right)\right]\\\\&=X_{0}+LcT,\end{array}}}$,

where

 ${\displaystyle T={\frac {t}{r^{2}-c^{2}t^{2}}}.}$

The corresponding ray thus passes through the inverse point ${\displaystyle \left(X_{0}\ Y_{0}\ Z_{0}\right)}$ on the inverse surface at which it may be supposed to be incident. Its direction cosines (L, M, N) are connected with those of the former ray by means of the equations

 ${\displaystyle {\begin{array}{cl}L&=l-{\frac {2x_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}\left(lx_{0}+my_{0}+nz_{0}\right)\\\\M&=m-{\frac {2y_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}\left(lx_{0}+my_{0}+nz_{0}\right)\\\\N&=n-{\frac {2z_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}\left(lx_{0}+my_{0}+nz_{0}\right).\end{array}}}$

These relations establish a correspondence between the sheafs of rays through the points ${\displaystyle \left(x_{0},\ y_{0},\ z_{0}\right)}$, ${\displaystyle \left(X_{0},\ Y_{0},\ Z_{0}\right)}$ respectively. This correspondence is such that the angle between two rays (l, m, n), (l', m', n') is equal to the angle between the two corresponding rays (L, M, N), (L', M', N'), for we have identically

 ${\displaystyle LL'+MM'+NN'\equiv ll'+mm'+nn'.}$

Since the transformation enables us to derive the surfaces which are parallel to one surface from the surfaces which are parallel to the inverse surface, it is natural to expect that the above relation between the direction cosines will make the normals to the two surfaces correspond.

Now

 ${\displaystyle dX_{0}={\frac {dx_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}-{\frac {2\left(x_{0}dx_{0}+y_{0}dy_{0}+z_{0}dz_{0}\right)x_{0}}{\left(x_{0}^{2}+y_{0}^{2}+z_{0}^{2}\right)^{2}}}}$

hence, if ${\displaystyle \left(l_{0},\ m_{0},\ n_{0}\right)}$ are the direction cosines of a tangent to the first surface, the direction cosines of the tangent for the corresponding displacement on the inverse surface are given by

 ${\displaystyle L_{0}=l_{0}-{\frac {2x_{0}}{x_{0}^{2}+y_{0}^{2}+z_{0}^{2}}}\left(l_{0}x_{0}+m_{0}y_{0}+n_{0}z_{0}\right).}$

The tangents to the two surfaces can thus be paired with one another in the correspondence.

Now, if (l, m, n) are the direction cosines of the normal to one surface, ${\displaystyle \left(l_{0},\ m_{0},\ n_{0}\right)}$ those of a tangent,

 ${\displaystyle ll_{0}+mm_{0}+nn_{0}=0.}$

It follows, then, that for the corresponding ray (L, M, N)

 ${\displaystyle LL_{0}+MM_{0}+NN_{0}=0}$

This ray, being perpendicular to all the tangents to the inverse surface, is the normal at ${\displaystyle \left(X_{0},\ Y_{0},\ Z_{0}\right)}$ to this surface.

Since the angles between lines remain unaltered by the transformation, it follows that if (l, m, n), (l', m', n'), (p, q, r) are the direction cosines of an incident ray, the refracted ray and the normal at a point ${\displaystyle \left(x_{0},\ y_{0},\ z_{0}\right)}$ on a surface f, the corresponding quantities (L, M, N), (L', M', N'), (P, Q, R) are the direction cosines of an incident ray, refracted ray and the normal at the point ${\displaystyle \left(X_{0},\ Y_{0},\ Z_{0}\right)}$ of the inverse surface F. This is also easy to verify from the analytical formulæ.

The method of inversion can thus be applied to problems in geometrical optics. A medium of refractive index μ inverts into a medium of refractive index μ, a ray through the origin corresponds to a ray through the origin, and a ray through a fixed point (x, y, z) not on the surface of separation of the two media corresponds to a ray intersecting the line joining (x, y, z) to the origin.

A spherical shell of radiation emitted by an electron whose velocity was suddenly changed at time -t, corresponds to a shell of radiation emitted by an electron whose velocity was suddenly changed at time -T.

This method of inversion promises to be of great importance in the theory of radiation. It will be noticed that the spheres of radii ct whose centres are at the points

 ${\displaystyle x=x_{0}+lct,\ y=y_{0}+mct,\ z=z_{0}+nct,}$

all touch one another at the point ${\displaystyle \left(x_{0},\ y_{0},\ z_{0}\right)}$ which may be regarded as a node of the radiation.

From a study of the nodes in the ether produced by a vibrating atom or molecule, it appears that various systems of nodes may be obtained from one another by inversions which correspond to the same frequencies of vibration. The investigation will be reserved, however, for another paper.

5. Application of the Preceding Results to a Symmetrical Optical Instrument.

Let QR (Fig.) be the incident ray, Q'R the refracted ray, OR the normal to the spherical interface, and let C be the centre of inversion.

We shall suppose that the incident ray makes a small angle with the axis.

Let

 ${\displaystyle AC=z,\ AO=a,\ AQ=x,\ AQ'=x',}$

and let the velocity of light for the first medium be represented by 1/μ, the times corresponding to the points Q, Q', O, A respectively may then be taken to be -μx, -μx', -μa, 0, respectively, and the corresponding quantities ct are simply the reduced distances (-x, -x', -a, 0).

Let ${\displaystyle Q_{1},\ Q'_{1},\ O_{1},\ A_{1}}$ be the points corresponding to Q, Q', O, A in the transformation, ${\displaystyle x_{1},\ x'_{1},\ z_{1}-a_{1},\ z_{1}}$ their distances from C.

Now the sphere centre Q and radius QA inverts into the sphere centre ${\displaystyle Q_{1}}$ and radius ${\displaystyle QA_{1}}$; hence, if the radius of inversion be equal to k³, we have for the points in which these spheres meet the axis

 ${\displaystyle z_{1}={\frac {k^{2}}{z}},\ z_{1}-2x_{1}={\frac {k^{2}}{z-2x}}.}$

We also have the relations

 ${\displaystyle A_{1}Q_{1}=-x_{1}={\frac {k^{2}x}{z(z-2x)}},}$ ${\displaystyle A_{1}Q_{1}'=-x'_{1}={\frac {k^{2}x'}{z(z-2x')}},}$ ${\displaystyle A_{1}O_{1}=-a_{1}={\frac {k^{2}a}{z(z-2a)}}.}$
The linear magnification in the new system is
 ${\displaystyle m_{1}={\frac {\frac {A_{1}Q'_{1}}{\mu '}}{\frac {A_{1}Q_{1}}{\mu }}}={\frac {\mu x'(z-2x)}{\mu 'x(z-2x')}}=m{\frac {z-2x}{z-2x'}}.}$

Let c be the distance of the second interface from the first; then we associate the length -c with the second interface B, and the formulæ of the transformation become

 ${\displaystyle B_{1}Q'_{1}=-\xi '_{1}={\frac {k^{2}\xi '}{(\zeta '-\xi ')^{2}-(\xi '-c)^{2}}}={\frac {k^{2}\xi '}{(\zeta '-c)\left(\zeta '+c-2\xi '\right)}},}$ ${\displaystyle \zeta '_{1}={\frac {k^{2}\zeta }{\zeta ^{2}-c{}^{2}}},\ c_{1}=-{\frac {k^{2}c}{\zeta ^{2}-c{}^{2}}},}$ ${\displaystyle \zeta '_{1}-\xi '_{1}={\frac {k^{2}(\zeta '-\xi ')}{(\zeta '-\xi ')^{2}-(\xi '-c)^{2}}}={\frac {k^{2}(\zeta '-\xi ')}{(\zeta '-c)\left(\zeta '+c-2\xi '\right)}},}$ ${\displaystyle \xi '_{1}-c_{1}={\frac {k^{2}(c-\xi ')}{(\zeta '-c)\left(\zeta '+c-2\xi '\right)}},}$ ${\displaystyle \zeta '_{1}+c_{1}-2\xi '_{1}={\frac {k^{2}}{\zeta '+c-2\xi '}}.}$

The last of which may be written

 ${\displaystyle \zeta '_{1}-c_{1}-2\left(\xi '_{1}-c_{1}\right)={\frac {k^{2}}{\zeta '-c-2\left(\xi '-c\right)}},}$

i.e.,

 ${\displaystyle z_{1}-2x'_{1}={\frac {k^{2}}{z-2x'}},}$

where z and x' are measured, as before, from the first surface. This is exactly the former relation between two corresponding points; consequently the whole course of a ray in one instrument corresponds in the transformation to that of the corresponding ray in the corresponding instrument.[18]

The linear magnification is given by

 ${\displaystyle m'_{1}={\frac {\frac {B_{1}Q''_{1}}{\mu ''}}{\frac {B_{1}Q'_{1}}{\mu '}}}={\frac {\mu '\xi ''\left(\zeta '+c-2\xi '\right)}{\mu ''\xi '\left(\zeta '+c-2\xi ''\right)}}.}$

hence

 ${\displaystyle m'_{1}=m'{\frac {\zeta '+c-2\xi '}{\zeta '+c-2\xi ''}}=m'{\frac {z-2x'}{z-2x''}},}$

which is of the same form as before.

If M and ${\displaystyle M_{1}}$ be the total linear magnifications for the two instruments, we have

 ${\displaystyle M_{1}=M{\frac {z-2x}{z-2x^{(n)}}}.}$

The relation between two corresponding points is evidently a homographic one; hence we have the following theorem:—

If the points on the axis of a symmetrical optical instrument be transformed by means of a homographic transformation, any pair of conjugate points for the instrument are transformed into a pair of points which are conjugate with regard to a second instrument. The centres of curvature of the interfaces and the points in which the interfaces meet the axis correspond in the two instruments, and the refractive indices of corresponding media are the same.

1. In a letter to Liouville dated October 8th, 1845. Liouville's Journal de Mathématiques 1845).
2. The method of inversion had been used in geometry some time before. It apparently originated with Ptolemy. Quetelet used it in 1827 and Bellavatis gave a general statement of it in 1836. In 1843-4 it was propounded afresh by Ingram and Stubbs (Transactions of the Dublin Philosophical Society, Vol. I., pp. 58, 145, 159 ; Philosophical Magazine, Vol. XXIII., p. 338, Vol. XXV., p. 208).
3. Journal de Mathématiques (1845) ; T. XV. (1850), p. 103.
4. A simple method of obtaining the group of conformal transformations is given in Bianchi's Vorlesungen über Differential Geometrie, Leipzig (1899), p. 487. Another investigation is given in Maxwell's Collected Papers, Vol. II., p. 297, where reference is made to a paper by J. N. Haton de Goupillière, Journal de l'Ecole Polytechnique, T. XXV., p. 188 (1867). See also a paper by Bromwich, Proc. London Math. Soc., Vol. XXXIII., p. 185, and three papers by Tait, Collected Papers, Vol. I., pp. 176, 352, Vol. II., p. 329.
5. The effect of combining the elementary transformations of the group is discussed by Darboux, Une Classe remarquable de courbes et de surfaces algébriques, Paris (1896), pp. 236-241. It is shown that any number of successive inversions can be replaced by a single inversion followed by a displacement. It follows from this that any conformal transformation of the group can be replaced by successive inversions with regard to suitably chosen spheres, Cf. Math. Tripos, Part I. (1903).
6. In this connection see a paper by Forsyth, Proceedings of the London Mathematical Society, Vol. XXIX. (1898), p. 165. The transformations which can be applied to the equation
 ${\displaystyle \left({\frac {\partial V}{\partial x}}\right)^{2}+\left({\frac {\partial V}{\partial y}}\right)^{2}+\left({\frac {\partial V}{\partial z}}\right)^{2}=0}$

are derived by J. E. Campbell, Messenger of Mathematics, Vol. XXVIII. (1898), p. 97.

7. Liouville's theorem was extended by Lie to a space of n dimensions in 1871. Math. Ann., Vol. V., p. 145; Göttinger Nachrichten, May, 1871. I cannot, however, find any statement with regard to the first of the two equations.
8. These bear the same relation to the hexaspherical coordinates of a point as the ordinary line coordinates of a line bear to the system of coordinates introduced by Klein.
9. It may be mentioned here that Lorentz's fundamental equations of the electron theory, viz.,
 ${\displaystyle {\frac {\partial \gamma }{\partial y}}-{\frac {\partial \beta }{\partial z}}=4\pi u,\ {\frac {\partial Q}{\partial z}}-{\frac {\partial R}{\partial y}}={\frac {\partial \alpha }{\partial t}},}$ ${\displaystyle u={\frac {\partial f}{\partial t}}+\rho \xi ,\ P=4\pi c^{2}f,}$ ${\displaystyle {\frac {\partial \rho }{\partial t}}+{\frac {\partial }{\partial x}}(\rho \xi )+{\frac {\partial }{\partial y}}(\rho \eta )+{\frac {\partial }{\partial z}}(\rho \zeta )=0}$ ${\displaystyle {\frac {\partial f}{\partial x}}+{\frac {\partial g}{\partial y}}+{\frac {\partial h}{\partial z}}=\rho ,\ {\frac {\partial \alpha }{\partial x}}+{\frac {\partial \beta }{\partial y}}+{\frac {\partial \gamma }{\partial z}}=0,}$

may be reduced to a symmetrical form by writing s = ict and putting

 ${\displaystyle \alpha +i{\frac {P}{c}}=p,\ \beta +i{\frac {Q}{c}}=q,\ \gamma +i{\frac {R}{c}}=r.}$

The four mutually orthogonal vectors (A, B, C, D) whose components are respectively

(0, r, -q, -p), (-r, 0, p, -q), (q, -p, 0, -r), (p, q, r, 0)

satisfy the equations

 ${\displaystyle div\ A=4\pi \rho \xi ,\ div\ B=4\pi \rho \eta ,\ div\ C=4\pi \rho \zeta ,\ div\ D=4\pi \rho ic,}$

where

${\displaystyle div\ M\equiv {\frac {\partial M_{1}}{\partial x}}+{\frac {\partial M_{2}}{\partial y}}+{\frac {\partial M_{3}}{\partial z}}+{\frac {\partial M_{4}}{\partial s}}}$ if ${\displaystyle M\equiv \left(M_{1},\ M_{2},\ M_{3},\ M_{4}\right)}$

Again, if we put

 ${\displaystyle 4\pi \rho \xi =X,\ 4\pi \rho \eta =Y,\ 4\pi \rho \eta =Z,\ 4\pi \rho ic=S,}$

and introduce four new vectors ${\displaystyle A_{1},\ B_{1},\ C_{1},\ D_{1}}$ whose components are respectively

(S, -Z, Y, -X) (Z, S, -X, -Y) (-Y, X, S, -Z) (X, Y, Z, S),

we find

 ${\displaystyle div\ A_{1}=\nabla ^{2}p,\ div\ B_{1}=\nabla ^{2}q,\ div\ C_{1}=\nabla ^{2}r,\ div\ D_{1}=0,}$

where

 ${\displaystyle \nabla ^{2}\phi \equiv {\frac {\partial ^{2}\phi }{\partial x^{2}}}+{\frac {\partial ^{2}\phi }{\partial y^{2}}}+{\frac {\partial ^{2}\phi }{\partial z^{2}}}+{\frac {\partial ^{2}\phi }{\partial s^{2}}}.}$

Finally, if X, Y, Z, S can be derived from a potential function n so that

 ${\displaystyle X=-{\frac {\partial n}{\partial x}},\ Y=-{\frac {\partial n}{\partial y}},\ Z=-{\frac {\partial n}{\partial z}},\ S=-{\frac {\partial n}{\partial s}},}$

we can form four mutually orthogonal vectors θ, Φ, ψ, χ whose components are respectively

(n, r, -q, -p). (-r, n, p, -q), (q, -p, n, -r), (p, q, r, n),

and the equations then take the simple form

 ${\displaystyle {\begin{array}{ccccccccc}div\ \theta &=&div\ \phi &=&div\ \psi &=&div\ \chi &=&0,\\\\\nabla ^{2}p&=&\nabla ^{2}q&=&\nabla ^{2}r&=&\nabla ^{2}n&=&0,\\\\div\ A_{1}&=&div\ B_{1}&=&div\ C_{1}&=&div\ D_{1}&=&0.\end{array}}}$
10. This transformation was given by the author in a Smith's Prize Essay of 1905; it was deduced from a result given by Brill, Messenger of Mathematics (1891), pp. 135-137. If ${\displaystyle V=f(x_{1},\dots ,x,\ t)}$ is a solution of the differential equation
 ${\displaystyle {\frac {\partial ^{2}V}{\partial x_{1}^{2}}}+{\frac {\partial ^{2}V}{\partial x_{2}^{2}}}+\dots +{\frac {\partial ^{2}V}{\partial x_{n}^{2}}}={\frac {1}{a}}{\frac {\partial V}{\partial t}},}$

another solution is given by

 ${\displaystyle t^{-{\frac {1}{2}}n}e^{-\left(x_{1}^{2}+x_{2}^{2}+\dots +x_{n}^{2}\right)/4at}\left({\frac {x_{1}}{t}},\ {\frac {x_{1}}{t}},\dots ,\ {\frac {x_{n}}{t}},\ -{\frac {1}{t}}\right).}$
11. Reference should be made to Darboux, Théorie des Surfaces, Tome I., p. 213. Jessop's Treatise on the Line Complex, p. 251. Koenig's La Géometrie réglée, p. 125, and to an article by Borel on the "Transformations of Geometry in Niewenglowsky's Solid Geometry."
12. This is equivalent to a rotation through an angle 2π/n just as successive reflexions in two planes are equivalent to a rotation about their line of intersection.
13. Mathematische Annalen, T. XXV. (1885), p. 213.
14. Abhandlungen d. K. Gesell. d. Wissenschaften zu Göttingen, Band VII. (1857), Gesammelte Werke, p. 63.
15. See Whittaker's Analysis, p. 240. Forsyth's Theory of Linear Differential Equations, Vol. IV., p. 135.
16. See Herman's Optics, p. 253.
17. Cf. Schwarzschild's Untersuchungen zur Geometrischen Optik, Göttingen Abhandlungen (2), 4.
18. We can verify the equation
 ${\displaystyle {\frac {\mu ''}{B_{1}Q''_{1}}}-{\frac {\mu '}{B_{1}Q'{}_{1}}}={\frac {\mu ''-\mu '}{B_{1}O'{}_{1}}},}$

connecting two conjugate points in the second instrument as follows

 ${\displaystyle {\frac {1}{B_{1}Q''_{1}}}={\frac {(\zeta '-c)\left(\zeta '+c-2\xi ''\right)}{k^{2}\xi ''}},\ {\frac {1}{B_{1}Q'{}_{1}}}={\frac {(\zeta '-c)\left(\zeta '+c-2\xi '\right)}{k^{2}\xi '}},}$ ${\displaystyle B_{1}O'_{1}={\frac {(\zeta '-c)\left(\zeta '+c-2a'\right)}{k^{2}a'}}}$

and

 ${\displaystyle {\frac {\mu ''}{\xi ''}}-{\frac {\mu '}{\xi '}}={\frac {\mu ''-\mu '}{a'}},}$

since Q" and Q' are conjugate points in the first instrument; hence the relation is satisfied.

This work is in the public domain in the United States because it was published before January 1, 1926.

The author died in 1946, so this work is also in the public domain in countries and areas where the copyright term is the author's life plus 70 years or less. This work may also be in the public domain in countries and areas with longer native copyright terms that apply the rule of the shorter term to foreign works.