HPC MSU
    Cover
    Preface
  1. Introduction
  2. Boundary-Conforming Coordinate Systems
  3. Transformation Relations
  4. Numerical Implementation
  5. Truncation Error
  6. Elliptic Generation Systems
  7. Parabolic and Hyperbolic Generation Systems
  8. Algebraic Generation Systems
  9. Orthogonal Systems
  10. Conformal Mapping
  11. Adaptive Grids
  12. Appendix A
    1. Theory of Curves
      1. Tangent vector
      2. Principal normal
      3. Normal and osculating planes
      4. Binormal vector
      5. Serret-Frenet equations
    2. Geometry of Two-Dimensional Surfaces Embedded in E3
      1. First fundamental form
      2. Unit normal vector
      3. Second fundamental form
    3. Christoffel Symbols
      1. Space Christoffel symbols
      2. Christoffel symbols in a surface
    Appendix B
    Appendix C
    References

    Downloadable Version (PDF)
Numerical Grid Generation
Foundations and Applications
By: Joe E. Thompson, Z.U.A. Warsi and C. Wayne Mastin

APPENDIX A

DIFFERENTIAL-GEOMETRIC CONCEPTS ON SPACE CURVES AND SURFACES

1. Theory of Curves

          In this appendix we consider only those parts of the theory of curves in space which are needed in the theory of surface geometry for the purpose of coordinate generation. Let C be a curve in space whose parametric equation is given as

where is a parameter which takes values in a certain interval a b.

It is assumed that the real vector function () is p 1 times continuously differentiable for all values of in the specified interval, and at least one component of the first derivative

is different from zero. Note that the parameter can be replaced by some other parameter, say s, provided that ds/d 0.

A. Tangent vector

          Let us consider the arc length s as a parameter. Then the coordinates of two neighboring points on the curve are (s) and (s+h). The vector (s) defined as

(3)

is the unit tangent vector at the point s on the curve. Since , we immediately see that .

          If the curve C is referred to a general coordinate system i, then its parametric equations are given as

In this case, using the chain rule of differentiation, we can write

(4)

where i are the covariant base vectors defined in Eq. (III-1).

B. Principal normal

          Since , a single differentiation with respect to s yields

so that the vector d/ds is orthogonal to . The vector

(5)

is called the curvature vector. The unit principal normal vector is then defined as

(6)

          The magnitude and its reciprocal = 1/k(s) are, respectively, the curvature and the radius of curvature of the curve at the point under consideration. Both the curvature vector and the principal normal are directed toward the center of curvature of the curve at that point.

C. Normal and osculating planes

          The totality of all vectors which are bound at a point of the curve and which are orthogonal to the unit tangent vector at that point lie in a plane. This plane is called the normal plane. The plane formed by the unit tangent and the principal normal vector is called the osculating plane.

D. Binormal vector

          A unit vector (s) which is orthogonal to both and is called the binormal vector. Its orientation is fixed by taking , , to form a right-handed triad as shown below:

(7)

Note that for plane curves the binormal is the constant unit vector normal to the plane, and the principal normal is the usual normal to the curve directed toward the center of curvature at that point.

          The twisted curves in space have their binormals as functions of s. Because of twisting a new quantity called torsion appears, which is obtained as follows. Consider the obvious equations

(8)

Differentiating each equation with respect to s, we obtain

(9a)
(9b)

Thus

(9c)

From (9a,c) we find that d/ds is a vector which is orthogonal to both and . Thus d/ds lies along the principal normal,

To decide about the sign we take the cross product of with d/ds and take it as a positive rotation about :

Thus

(10a)

and

(10b)

E. Serret-Frenet equations

          A set of equations known as the Serret-Frenet equations, which are the intrinsic equations of a curve, are the following. Differentiating the equation

with respect to s, we have

(11)

Equations (6), (10) and (11) are the Serret-Frenet equations, and are collected below:

(12a)
(12b)
(12c)

For a plane curve, = 0, so that

(13)

2. Geometry of Two-Dimensional Surfaces Embedded in E3

          Before taking up the main subject of surface theory, it is important to clarify the notations which are to be used in the ensuing development.

          In an Euclidean E3, a set of rectangular cartesian coordinates (x,y,z) can always be introduced. As before, in E3 a general curvilinear coordinate system will be denoted by i (i = 1,2,3). With these curvilinear coordinates, a surface in E3 will be denoted by = constant, where = 1,2,3. The following convention is adopted which maintains the right-handedness of the two remaining current coordinates: On the surface = constant, the current coordinates are , , where (,,) are cyclic.

A. First fundamental form

          Let us consider the surface = constant. In this surface an element of length ds() is then given by

(14)

where the indices and will assume only the two values different from . Eq. (14) is called the first fundamental form of a surface.

B. Unit normal vector

          The unit normal to the surface = constant is defined as

(15)

where again (,,) are cyclic.

C. Second fundamental form

          A plane containing the normal () to the surface at a point P cuts the surface in different curves when rotated about the normal as an axis. Each curve so generated belongs both the surface and to the space E3. A study of curvature properties of these curves reveals the curvature properties of the surfaces in which they lie. We decompose the curvature vector at P of C, defined in Eq. (5), into a vector n normal to the surface and a vector g tangential to the surface as shown below:

Thus

(16)

The vector n is the normal curvature vector at the point P, and is given by

(17)

where is its magnitude. To find an expression for we consider the equation

and differentiate it with respect to s (the arc length along the curve C) to have

(18a)

Also, differentiating the equation

with respect to , we get

(18b)

Further,

(18c)

Thus using Eq. (18b) and (18c) in (18a), we get

(19)

where

(20)

The two extreme values of are called the principal curvatures kI and kII and their sum is given by

(21)

The form

(22)

is called the second fundamental form.

3. Christoffel Symbols

          Certain 3-index symbols, known as the Christoffel symbols, show up in a natural way when vectors or tensors are differentiated with respect to general coordinates introduced in a space. Here, by 'space' we mean a region in which arbitrary independent coordinates can be introduced; the number of independent coordinates determines the dimensionsion of the sapce. A space is termed Eulclidean when rectangular cartesian coordinates can be introduced in it on a global scale. Examples are 2D or 3D regions in a plane or in a rectangular box, respectively. It must, however, be pointed out that in an Euclidean space, besides rectangular cartesian coordinates, any general coordinate system can be introduced without disturbing the basic nature of the space itself. Since this book is mainly concerned with the general coordinate systems in either 2D or 3D Euclidean spaces, or to 2D surfaces embedded in a 3D space, we shall restrict our attention to the Christoffel symbols for space and for surfaces only.

A. Space Christoffel symbols

          From the definition of the base vectors i, we first note the following result. For any two indices i and k,

Thus

(23)

We now select any three indices. say i,j,k, and consider the following three equations,

Adding the second and third equations, and subtracting the first equation, while using Eq. (23), we get

(24)

where

(25)

is called the Christoffel symbol of the first kind.

          Eq. (24) implies that

(26)

Taking the dot product on both sides of Eq. (26) by l, we obtain

(27)

where

(28)

is called the Christoffel symbol of the second kind.

          Eq.(27) implies that

(29)

It must be noted that both kinds of Christofiel symbols are symmetric in the first two indices, viz.,

It is also easy to show, based on the definition of that

(30)

The Christoffel symbols can be computed by using the following expanded formulae:

(31)

where the indices l,i,j range from 1 to 3 in 3D, or from 1 to 2 in 2D.

B. Christoffel symbols in a surface

          The Christoffel symbols, (25) and (28) are applicable both to 2D and 3D Euclidean spaces. In fact, if we take (25) and (28) as the definitions of some 3-index symbols without any consideration of an Euclidean space, then they are also applicable to an n-dimensional non-Euclidean space.

          The Christoffel symbols for a 2D surface embedded in a 3D Euclidean space are defined exactly as for any other space. Since in a surface only two independent coordinates can be introduced, we again use the Greek indices to emphasize this point and write

(32)
(33)

as the Christoffel symbols of the first and second kind respectively, of a surface. Here the indices assume only two values.

          An important point to note here is that for a 2D space the metric coefficients gij do not depend on one of the cartesian coordinate, say z. On the other hand for a 2D space formed by a surface in 3D Euclidean space the metric coefficients appearing in (32) and (33) depend on all three cartesian coordinates.

          Gauss indirectly introduced the definition of the Christoffel symobls by arguing that in a surface the base vectors , and the unit normal (Eq. (15)) form a triad of independent vectors. Thus any other vector in the surface can be presented as a linear combination of , , . Following this argument, the second derivative of the position vector can be expressed as

(34)

which are called the formulae of Gauss. Thus, for a surface 3 = constant in which 1, 2 are the current coordinates, Eq. (34) is written as

(35)

where Eq. (35) represents the second derivatives 1 1, 1 2, 2 2.