Discover

A 'parametric surface' is a surface defined by a parametric equation, involving two parameters, most commonly (''s'', ''t'') or (''u'',''v''). Typically they will be surfaces in three dimensions. They are of great use in such vector calculus applications as Stokes' theorem.
The simplest example of a parametric surface is the ''x''-''y'' plane. Here the surface is defined by the equation
:$S:mathbf\{R\}^2mapstomathbf\{R\}^3$, $S:(s,t)\; o(s,t,0).,$
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.
Another example of a parametrized surface is the (capless) cylinder given by
:$r(u,\; v)\; =\; Big(x(u,\; v),\; y(u,\; v),\; z(u,\; v)\; Big)\; =\; Big(a\; cos(u),\; a\; sin(u),\; v\; Big),$
Considering the equation as representing a circle in the plane, it is evident that this represents a cylinder. It is then allowed to take on values of ''z''.
Many different parameterizations can give the same surface, for example the parametrisation
:$S(s,t)=(s+t,s-t,0),$
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
:$f:mathbf\{R\}^3mapstomathbf\{R\}$, $f(x,y,z)=z,$
giving the surface
:$f^\{-1\}(0),\; z=0.,$
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
:$s(\; heta,phi)\; =\; (sin\; heta\; ;\; cos\; phi,\; sin\; heta\; ;\; sin\; phi,\; cos\; heta),$
where $0\; leq\; heta\; leq\; pi,$ 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.

Contents

Local differential geometry

Directional derivatives

Surface area

First fundamental form

Second fundamental form

Curvature

See also

Web links

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 'R'³.
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
:
angle=lphaec U+etaec V=lpha {partial Soverpartial s}+eta{partial Soverpartial t}.
A parametrised curve in the plane which has tangent vector will be mapped to a curve on the surface with tangent vector
ight
angle.
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
:
angle=lphagamma{partial^2Soverpartial s^2}+(lphadelta+etagamma){partial^2Soverpartial spartial t}+etadelta{partial^2Soverpartial t^2}
higher derivatives can be constructed in a similar fashion.

Surface area

The surface area can also be calculated by integrating the length of the normal vector over the $uv$ rectangle bounding the area in question. In other words, to find the surface area of the rectangle bounded by $ale\; ule\; b\; And\; c\; le\; vle\; d$ where
angle, evaluate
: $$
int_{a}^{b}int_{c}^{d}left |rac{partialec r}{partial v} imesrac{partialec r}{partial u}
ight |;partial v;partial u.

As simple as this formula may seem, every symbol stands for an operation so complex that it often leads to impossible integrals which can only be approximated numerically. Typically, evaluation of the surface area is only done by a CAS, because evaluating it by hand is very time consuming. Except for simple formulas (e.g. the torus), surface area can rarely be given in exact notation.

First fundamental form

Main articles: First fundamental form

The 'first fundamental form',
angle, 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:

angle=dSlangleec u
anglecdot dSlangleec v
angle.
This form is symmetric and bilinear so
angle=I_plangleec v,ec u
angle,
angle=2I_plangleec u,ec v
angle, etc.
If ''c'':'R'→'R'² is a curve in the plane with tangent vector at ''p'', and ''C''(''t'')=''S''(''c''(''t'')) is its image on the surface, then
angle will be the square of the speed of ''C''. If $I\_p=1,$ for all points on ''c'' then ''C'' will be a 'unit speed curve'. The length of ''C'' can be found by integrating
angle. The angle between two curves on the surface is found from
angle where are the tangent vectors of the two curves in the plane.

Second fundamental form

Main articles: Second fundamental form

For a given parametrisation a continuous unit normal vector field, and the directional derivative
angle can be found.
The 'second fundamental form',
angle, captures second derivative information. It is defined by:
:
angle=d^2Slangleec u,ec v
anglecdotec N.
Differentiation
angle=0 in the direction gives
:
anglecdot dSlangleec u
angle+ec Ncdot d^2Slangleec u,ec v
angle+ec Ncdot dSlangle dec ulangleec v
angle
angle=0.
The last term is always zero, and the equations can be rearranged to give
:
angle=-dec Nlangleec u
anglecdot dSlangleec v
angle.
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
angle, F=Ilangleec u,ec v
angle, G=Ilangleec v,ec v
angle,
l=IIlangleec u,ec u
angle, m=IIlangleec u,ec v
angle, n=IIlangleec v,ec v
angle. The
'Gaussian curvature' is
:$K=\{ln-m^2over\; EG-F^2\}$
and the 'mean curvature' is
:$H=\{En-2Fm+Glover\; 2(EG-F^2)\}.$
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 'elliptical' 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
:
angle=kappa Ilangleec u,ec u
angle
generally has two eigenvectors and with corresponding eigenvalues $kappa\_p,\; kappa\_q.$ Let
angle, ec Q=dslangleec q
angle, choose so that are of unit length.
are called the 'principal directions' and $kappa\_p,\; kappa\_q$ are the 'principal curvatures'. It can be shown that the principal directions are orthogonal, and
:
angle=1, Ilangleec p,ec q
angle=0, Ilangleec q,ec q
angle=1,
IIlangleec p,ec p
angle=kappa_p, IIlangleec p,ec q
angle=0, IIlangleec q,ec q
angle=kappa_q.
Hence, the Gaussian curvature is $G=kappa\_pkappa\_q$ and the mean curvature is $H=\{1over\; 2\}(kappa\_p+kappa\_q).$ 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.

See also

★ Spline (mathematics)

Web links

★ Java applets demonstrate the parametrization of a helix surface