Aparametric surface is asurface in theEuclidean space which is defined by aparametric equation with two parameters. Parametric representation is a very general way to specify a surface, as well asimplicit representation. Surfaces that occur in two of the main theorems ofvector calculus,Stokes' theorem, and thedivergence theorem, are frequently given in a parametric form. The curvature andarc length ofcurves on the surface,surface area, differential geometric invariants such as thefirst andsecond fundamental forms,Gaussian,mean, andprincipal curvatures can all be computed from a given parametrization.



The same surface admits many different parametrizations. For example, the coordinatez-plane can be parametrized asfor any constantsa,b,c,d such thatad −bc ≠ 0, i.e. the matrix isinvertible.
The local shape of a parametric surface can be analyzed by considering theTaylor expansion of the function that parametrizes it. The arc length of a curve on the surface and the surface area can be found usingintegration.
Let the parametric surface be given by the equationwhere is avector-valued function of the parameters (u,v) and the parameters vary within a certain domainD in the parametricuv-plane. The first partial derivatives with respect to the parameters are usually denoted and and similarly for the higher derivatives,
Invector calculus, the parameters are frequently denoted (s,t) and the partial derivatives are written out using the∂-notation:
The parametrization isregular for the given values of the parameters if the vectorsare linearly independent. Thetangent plane at a regular point is the affine plane inR3 spanned by these vectors and passing through the pointr(u,v) on the surface determined by the parameters. Anytangent vector can be uniquely decomposed into alinear combination of and Thecross product of these vectors is anormal vector to thetangent plane. Dividing this vector by its length yields a unitnormal vector to the parametrized surface at a regular point:
In general, there are two choices of the unitnormal vector to a surface at a given point, but for a regular parametrized surface, the preceding formula consistently picks one of them, and thus determines anorientation of the surface. Some of the differential-geometric invariants of a surface inR3 are defined by the surface itself and are independent of the orientation, while others change the sign if the orientation is reversed.
Thesurface area can be calculated by integrating the length of the normal vector to the surface over the appropriate regionD in the parametricuv plane:
Although this formula provides a closed expression for the surface area, for all but very special surfaces this results in a complicateddouble integral, which is typically evaluated using acomputer algebra system or approximated numerically. Fortunately, many common surfaces form exceptions, and their areas are explicitly known. This is true for acircular cylinder,sphere,cone,torus, and a few othersurfaces of revolution.
This can also be expressed as asurface integral over thescalar field 1:
Thefirst fundamental form is aquadratic formon thetangent plane to the surface which is used to calculate distances and angles. For a parametrized surface its coefficients can be computed as follows:
Arc length of parametrized curves on the surfaceS, the angle between curves onS, and the surface area all admit expressions in terms of the first fundamental form.
If(u(t),v(t)),a ≤t ≤b represents a parametrized curve on this surface then its arc length can be calculated as the integral:
The first fundamental form may be viewed as a family ofpositive definitesymmetric bilinear forms on the tangent plane at each point of the surface depending smoothly on the point. This perspective helps one calculate the angle between two curves onS intersecting at a given point. This angle is equal to the angle between the tangent vectors to the curves. The first fundamental form evaluated on this pair of vectors is theirdot product, and the angle can be found from the standard formulaexpressing thecosine of the angle via the dot product.
Surface area can be expressed in terms of the first fundamental form as follows:
ByLagrange's identity, the expression under thesquare root is precisely, and so it is strictly positive at the regular points.
The second fundamental formis a quadratic form on the tangent plane to the surface that, together with the first fundamental form, determines the curvatures of curves on the surface. In the special case when(u,v) = (x,y) and the tangent plane to the surface at the given point is horizontal, the second fundamental form is essentially the quadratic part of theTaylor expansion ofz as a function ofx andy.
For a general parametric surface, the definition is more complicated, but the second fundamental form depends only on thepartial derivatives of order one and two. Its coefficients are defined to be the projections of the second partial derivatives of onto the unit normal vector defined by the parametrization:
Like the first fundamental form, the second fundamental form may be viewed as a family of symmetric bilinear forms on the tangent plane at each point of the surface depending smoothly on the point.
The first and second fundamental forms of a surface determine its important differential-geometricinvariants: theGaussian curvature, themean curvature, and theprincipal curvatures.
The principal curvatures are the invariants of the pair consisting of the second and first fundamental forms. They are the rootsκ1,κ2 of the quadratic equation
TheGaussian curvatureK =κ1κ2 and themean curvatureH = (κ1 +κ2)/2 can be computed as follows:
Up to a sign, these quantities are independent of the parametrization used, and hence form important tools for analysing the geometry of the surface. More precisely, the principal curvatures and the mean curvature change the sign if the orientation of the surface is reversed, and the Gaussian curvature is entirely independent of the parametrization.
The sign of the Gaussian curvature at a point determines the shape of the surface near that point: forK > 0 the surface is locallyconvex and the point is calledelliptic, while forK < 0 the surface is saddle shaped and the point is calledhyperbolic. The points at which the Gaussian curvature is zero are calledparabolic. In general, parabolic points form a curve on the surface called theparabolic line. The first fundamental form ispositive definite, hence its determinantEG −F2 is positive everywhere. Therefore, the sign ofK coincides with the sign ofLN −M2, the determinant of the second fundamental.
The coefficients of thefirst fundamental form presented above may be organized in asymmetric matrix:And the same for the coefficients of thesecond fundamental form, also presented above:
Defining now matrix, the principal curvaturesκ1 andκ2 are theeigenvalues ofA.[1]
Now, ifv1 = (v11,v12) is theeigenvector ofA corresponding to principal curvatureκ1, theunit vector in the direction of is called the principal vector corresponding to the principal curvatureκ1.
Accordingly, ifv2 = (v21,v22) is theeigenvector ofA corresponding to principal curvatureκ2, the unit vector in the direction of is called the principal vector corresponding to the principal curvatureκ2.