<< Chapter < Page Chapter >> Page >
r ( x , y ) = x , y , x 2 y , 1 x 3 , 2 y 5 .

Similarly, if S is a surface given by equation x = g ( y , z ) or equation y = h ( x , z ) , then a parameterization of S is

r ( y , z ) = g ( y , z ) , y , z or r ( x , z ) = x , h ( x , z ) , z , respectively. For example, the graph of paraboloid 2 y = x 2 + z 2 can be parameterized by r ( x , y ) = x , x 2 + z 2 2 , z , 0 x < , 0 z < . Notice that we do not need to vary over the entire domain of y because x and z are squared.

A three-dimensional diagram of a surface z = f(x,y) above its mapping in the two-dimensional x,y plane. The point (x,y) in the plane corresponds to the point z = f(x,y) on the surface.
The simplest parameterization of the graph of a function is r ( x , y ) = x , y , f ( x , y ) .

Let’s now generalize the notions of smoothness and regularity to a parametric surface. Recall that curve parameterization r ( t ) , a t b is regular if r ( t ) 0 for all t in [ a , b ] . For a curve, this condition ensures that the image of r really is a curve, and not just a point. For example, consider curve parameterization r ( t ) = 1 , 2 , 0 t 5 . The image of this parameterization is simply point ( 1 , 2 ) , which is not a curve. Notice also that r ( t ) = 0 . The fact that the derivative is zero indicates we are not actually looking at a curve.

Analogously, we would like a notion of regularity for surfaces so that a surface parameterization really does trace out a surface. To motivate the definition of regularity of a surface parameterization, consider parameterization

r ( u , v ) = 0 , cos v , 1 , 0 u 1 , 0 v π .

Although this parameterization appears to be the parameterization of a surface, notice that the image is actually a line ( [link] ). How could we avoid parameterizations such as this? Parameterizations that do not give an actual surface? Notice that r u = 0 , 0 , 0 and r v = 0 , sin v , 0 , and the corresponding cross product is zero. The analog of the condition r ( t ) = 0 is that r u × r v is not zero for point ( u , v ) in the parameter domain, which is a regular parameterization.

A three-dimensional diagram of a line on the x,z plane where the z component is 1, the x component is 1, and the y component exists between -1 and 1.
The image of parameterization r ( u , v ) = 0 , cos v , 1 , 0 u 1 , 0 v π is a line.

Definition

Parameterization r ( u , v ) = x ( u , v ) , y ( u , v ) , z ( u , v ) is a regular parameterization    if r u × r v is not zero for point ( u , v ) in the parameter domain.

If parameterization r is regular, then the image of r is a two-dimensional object, as a surface should be. Throughout this chapter, parameterizations r ( u , v ) = x ( u , v ) , y ( u , v ) , z ( u , v ) are assumed to be regular.

Recall that curve parameterization r ( t ) , a t b is smooth if r ( t ) is continuous and r ( t ) 0 for all t in [ a , b ] . Informally, a curve parameterization is smooth if the resulting curve has no sharp corners. The definition of a smooth surface parameterization is similar. Informally, a surface parameterization is smooth if the resulting surface has no sharp corners.

Definition

A surface parameterization r ( u , v ) = x ( u , v ) , y ( u , v ) , z ( u , v ) is smooth if vector r u × r v is not zero for any choice of u and v in the parameter domain.

A surface may also be piecewise smooth if it has smooth faces but also has locations where the directional derivatives do not exist.

Identifying smooth and nonsmooth surfaces

Which of the figures in [link] is smooth?

Two three-dimensional figures. The first surface is smooth. It looks like a tire with a large hole in the middle. The second is piecewise smooth. It is a pyramid with a rectangular base and four sides.
(a) This surface is smooth. (b) This surface is piecewise smooth.

The surface in [link] (a) can be parameterized by

r ( u , v ) = ( 2 + cos v ) cos u , ( 2 + cos v ) sin u , sin v , 0 u < 2 π , 0 v < 2 π

(we can use technology to verify). Notice that vectors

r u = ( 2 + cos v ) sin u , ( 2 + cos v ) cos u , 0 and r v = sin v cos u , sin v sin u , cos v

exist for any choice of u and v in the parameter domain, and

r u × r v = | i j k ( 2 + cos v ) sin u ( 2 + cos v ) cos u 0 sin v cos u sin v sin u cos v | = [ ( 2 + cos v ) cos u cos v ] i + [ ( 2 + cos v ) sin u cos v ] j + [ ( 2 + cos v ) sin v sin 2 u + ( 2 + cos v ) sin v cos 2 u ] k = [ ( 2 + cos v ) cos u cos v ] i + [ ( 2 + cos v ) sin u cos v ] j + [ ( 2 + cos v ) sin v ] k .

The k component of this vector is zero only if v = 0 or v = π . If v = 0 or v = π , then the only choices for u that make the j component zero are u = 0 or u = π . But, these choices of u do not make the i component zero. Therefore, r u × r v is not zero for any choice of u and v in the parameter domain, and the parameterization is smooth. Notice that the corresponding surface has no sharp corners.

In the pyramid in [link] (b), the sharpness of the corners ensures that directional derivatives do not exist at those locations. Therefore, the pyramid has no smooth parameterization. However, the pyramid consists of four smooth faces, and thus this surface is piecewise smooth.

Got questions? Get instant answers now!
Got questions? Get instant answers now!

Get Jobilize Job Search Mobile App in your pocket Now!

Get it on Google Play Download on the App Store Now




Source:  OpenStax, Calculus volume 3. OpenStax CNX. Feb 05, 2016 Download for free at http://legacy.cnx.org/content/col11966/1.2
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Calculus volume 3' conversation and receive update notifications?

Ask