Liouville surface explained

In the mathematical field of differential geometry a Liouville surface (named after Joseph Liouville) is a type of surface which in local coordinates may be written as a graph in R3

z=f(x,y)

such that the first fundamental form is of the form

ds2=(f1(x)+

2+dy
f
2(y))\left(dx

2\right).

Sometimes a metric of this form is called a Liouville metric. Every surface of revolution is a Liouville surface.

Darboux[1] gives a general treatment of such surfaces considering a two-dimensionalspace

(u,v)

with metric

ds2=

2du
(U-V)(U
1

2+

2dv
V
1

2),

where

U

and

U1

are functions of

u

and

V

and

V1

are functions of

v

. Ageodesic line on such a surface is given by
U1du
\sqrt{U-\alpha
} - \frac = 0and the distance along the geodesic is given by

ds=

UU1du
\sqrt{U-\alpha
} - \frac.Here

\alpha

is a constant related to the direction of the geodesicby

\alpha=U\sin2\omega+V\cos2\omega,

where

\omega

is the angle of the geodesic measured from a line of constant

v

.In this way, the solution of geodesics on Liouville surfaces is reduced to quadrature.This was first demonstrated by Jacobi for the case ofgeodesics on a triaxial ellipsoid,a special case of a Liouville surface.

References

. Jean-Gaston Darboux . Leçons sur la théorie générale des surfaces . fr . Lessons on the General Theory of Surfaces . 3 . Gauthier-Villars . 1894 .

Notes and References

  1. , §§583-584