Professional Documents
Culture Documents
(6) x y xy
y + f f x +2 f f x y + f f y =02
2 y xx yxy yyy
1+ f + f 1+ f + f 1+ f + f 2 2 22 22
xy xy xy
1
If we imply boundary conditions on equation (6) to be
given by x (0) = a ,
x
x (1) = b , y (0) = a and y (1) = b we nd a set
equations that de-
x y y
scribe a parametrization for the shortest path between
( a , a , f ( a , a )) and
xy xy
( b , b , f ( b , b )) . Note that if f ( x, y ) = 0 we obtain
straight lines, as ex-
xyxy
pected.
x
+
x
+
2
G
x
y
+
y
=
x
2
x
x
2
xy
y
xy
xx xy yy 1+ f + f 22 (9) x
y
my +Gx + 2G x y +Gy = ff
V - (1+ f 2 ) V y 2 y y2
x y
x
yx
xx xy yy 1+ f + f 2 2
xy
2
The Riemann curvature tensor is the commutator of the
the covariant deriva-
tives : x = x + G x . The Riemann curvature tensor is
given by: 5
R = G - G +G G - GG
s s s s s
Substituting the Christoel symbols for a Monge patch (5)
we may obtain
the Riemann tensor explicitly. We will however skip this
exercise and directly
nd the Ricci tensor as this tensor is far more important;
we're not interested
in the Weyl part anyway. We will nd the Ricci tensor by
contracting the
Riemann tensor. Hence:
ff - f2 1+ f f f2
xx yy R = xy xy
(11) x
f f 1+
f 1 +
f + f )
2 2 22
xy y
xy
Taking the trace of the Ricci tensor we may nd the Ricci
scalar:
ff - f2
xx yy R =
gR =2
xy
(12)
(1 + f + f ) 2 2 2
xy
For fun we derive the Einstein tensor with its property
G = 0 here:
G = R - R g = 0
(13) 1
2
With the Ricci scalar we may derive the Gaussian
curvature :6
ff - f2
K =
xx yy xy
R =
(14) 1
(1 + f + f ) 2
2 22
xy
Since there are a whole bunch of denitions concerning
surface curvature we
would like some fundamental quantities that can express
all other quantities.
These quantities exist and are called the rst and second
fundamental form.
The rst fundamental form are the components of the
metric tensor g.
The second fundamental form is dened by the matrix
components of the
following equation : 7
n f
n r = r =
(15)
n 1 + f + f 2 2
x
y
x is index notation for the components x , meaning x = x
and x = y . 5 x y
The initial relation in the following equation only holds in on
surfaces. 6
r denotes r . 7
3
Hence we dene the second fundamental form to be:
f
f
I = n r = 1
(16) xx xy
f
f
f
+
f
2
2
xy
yy
xy
With its determinant:
ff - f2
xx yy I = xy
(17)
1+ f + f22
xy
Now notice the Gaussian curvature also found in equation
(14) can also be
obtained by K = . Furthermore we can also nd the mean
curvature: I
g
f ) f + (1 + f ) f
- 2fff2 2
yy xx x y xy
H = g I = (1
+x y
(18) 1
2
2 (1 + f +
f ) 2 23
xy
And the shape operator given by S = Ig:
(1 + f ) f - f f f (1 + f ) f - f f
f2 2
xx x y xy xy x y xx y
x S = 1
(19)
g (1 + f ) f - f f f (1 + f ) f - f f f 2
23
xy x y yy yy x y xy y
x
The shape operator has all the important properties for
curved surfaces, as
its determinant is the Gaussian curvature, half its trace is
the mean curvature
and its eigenvalues are the principal curvatures. The
eigenvalues of S are
given here : 8
v
= H +H - K = H -vH - K
(20) 2 2
1 2
Note that the Gaussian curvature and the mean curvature
are the pro duct
or sum of the and respectively.
1 2