Parametric surface: Difference between revisions
→First fundamental form: Fixed small spelling error |
→First fundamental form: Fixed some more small spelling errors |
||
Line 36: | Line 36: | ||
===First fundamental form=== |
===First fundamental form=== |
||
The [[first fundamental form]], <math>I_p\langle\vec u,\vec v\rangle</math> is an [[inner product]] and it captures the [[metric]] information about the surface. It is used to calculate distances and angles. If <math>\vec u,\ \vec v</math> are tangent |
The [[first fundamental form]], <math>I_p\langle\vec u,\vec v\rangle</math>, is an [[inner product]] and it captures the [[metric]] information about the surface. It is used to calculate distances and angles. If <math>\vec u,\ \vec v</math> are tangent vectors in the plane then: |
||
<math>I_p\langle\vec u,\vec v\rangle=dS\langle\vec u\rangle\cdot dS\langle\vec v\rangle.</math> |
|||
This form is symmetric and bilinear so <math>I_p\langle\vec u,\vec v\rangle=I_p\langle\vec v,\vec u\rangle</math>, <math>I_p\langle 2\vec u,\vec v\rangle=2I_p\langle\vec u,\vec v\rangle</math>, etc. |
This form is symmetric and bilinear so <math>I_p\langle\vec u,\vec v\rangle=I_p\langle\vec v,\vec u\rangle</math>, <math>I_p\langle 2\vec u,\vec v\rangle=2I_p\langle\vec u,\vec v\rangle</math>, etc. |
||
If ''c'':'''R'''→'''R'''<sup>2</sup> is a curve in the plane with tangent vector <math>\vec u</math> at ''p'', and ''C''(''t'')=''S''(''c''(''t'')) is |
If ''c'':'''R'''→'''R'''<sup>2</sup> is a curve in the plane with tangent vector <math>\vec u</math> at ''p'', and ''C''(''t'')=''S''(''c''(''t'')) is its image on the surface, then <math>I_p\langle\vec u,\vec u\rangle</math> will be the square of the speed of ''C''. If <math>I_p=1\,</math> for all points on ''c'' then ''C'' will be a '''unit speed curve'''. The length of ''C'' can be found by integrating <math>I_p\langle\vec u,\vec u\rangle.</math> The angle between two curves on the surface is found from <math>I_p\langle\vec u,\vec v\rangle</math> where <math>\vec u,\ \vec v</math> are the tangent vectors of the two curves in the plane. |
||
===Second fundamental form=== |
===Second fundamental form=== |
Revision as of 06:17, 7 July 2006
A parametric surface is a surface defined by a parametric equation, involving two parameters. Typically they will be surfaces in three dimensions.
The simplest example of a parametric surface is the x-y plane. Here the surface is defined by the equation
- ,
The mapping S is a parameterization of the surface and the variables, s, t are said to be the parameters of the mapping. Any pair of value of s and t will give a point on the surface.
Many different parametrizations can give the same surface, for example the parametrisation
also gives the x-y plane.
Surfaces can be defined in other ways, the plane can be defined as an algebraic surface which is the set of zeros of a polynomial equation. The x-y plane can be defined as the zeros of the function
- ,
giving the surface
This can be generalised to the zeros of any implicit function. Other methods for defining surfaces include minimal surfaces defined through a process of minimising energy, soap bubbles are an example of this.
The unit sphere can be parameterized by
where and are the two parameters. This parametrisation breaks down at the north and south poles where the more than one set of parameters give the same point.
Local differential geometry
The local shape of a surface can be characterised by considering the partial derivatives of the parametrisation.
Notation: here lower case letters will be used for points and curves in the parameter space, which will be taken to be the plane, upper case will be used for points and curves on the surface. Likewise lower case vectors will be tangent vectors in the plane and upper case vectors will be the corresponding tangent vectors to the surface in R3.
For any point on a parameterized surface S(s,t), two tangent vectors are defined by taking the partial derivatives and . Provided neither are zero and they are not parallel then they define a tangent plane. The tangent plane will have a normal vector which will be at right angles to any tangent vectors, this can be made into a unit normal vector by dividing by its length. The tangent plane does not depend on the particular parametrisation chosen, and the unit length normal vector will only change up to sign (that is point in the opposite direction).
Directional derivatives
The partial derivatives can be expanded to give a directional derivative, a map from the set of tangent vectors at a point, p, in the plane to the set of tangent vectors to the surface at S(p). If is a tangent vector in the plane then its directional derivative will be
A parametrised curve in the plane which has tangent vector will be mapped to a curve on the surface with tangent vector .
The second directional derivative is constructed by differentiating the first directional derivative. This will give a bi-linear map on pairs of tangent vectors. If then
higher derivatives can be constructed in a similar fashion.
First fundamental form
The first fundamental form, , is an inner product and it captures the metric information about the surface. It is used to calculate distances and angles. If are tangent vectors in the plane then: This form is symmetric and bilinear so , , etc.
If c:R→R2 is a curve in the plane with tangent vector at p, and C(t)=S(c(t)) is its image on the surface, then will be the square of the speed of C. If for all points on c then C will be a unit speed curve. The length of C can be found by integrating The angle between two curves on the surface is found from where are the tangent vectors of the two curves in the plane.
Second fundamental form
For a given parametrisation a continuous unit normal vector field, and the directional derivative can be found.
The second fundamental form, , captures second derivative information. It is defined by:
Differentiation in the direction gives
The last term is always zero, and the equations can be rearranged to give
It is also symmetric and bilinear.
Curvature
The surface curves can be analysed by examining the first and second fundamental forms, to give Gaussian curvature, mean curvature and principal curvature.
Let . The Gaussian curvature is
and the mean curvature is
- .
These curvatures are independent of the parametrisation used, and hence important tools for analysing the surface.
The sign of the Gaussian curvature determines whether the surface is locally convex (G>0) or saddle shaped (G<0). The terms ellipitical and hyperbolic are used for these two cases. When the Gaussian curvature is zero the surface is parabolic. In general parabolic points form a curve on the surface called the parabolic line. The Gaussian curvature is intimately connected with the Gauss map.
The equation
generally has two eigenvectors and with corresponding eigenvalues Let , choose so that are of unit length. are called the principal directions and are the principal curvatures. It can be shown that the principal directions are orthogonal, and
Hence, the Gaussian curvature is and the mean curvature is The principal directions are the directions of maximum and minimum curvature for curves on the surface. If both have the same sign the surface will be locally convex (ellipitical) and if they have opposite signs then the surface will be saddle shaped (hyperbolic). Parabolic points occur when one of the principal curvatures is zero.
There can be points where the eigenvector-equation is degenerate. Here all directions are principal and the principal curvatures are equal. At such points called umbilics the surface is locally spherical. Generally these occur at isolated points in the ellipitical region.