¡@

Tangent Planes and Linear Approximations

Download Maple Worksheet

Recall that the equation of the tangent line to the curve y = f(x) at the point ( a, f(a)) is given by

y = m*(x-a)+f(a), where m = f ' ( a )

provided that f is differentiable at x = a.  Moreover, the linear function

L(x) = f(a)+ f ' ( a )( x-a)

is a good approximation of f near x = a , in the sense that

 

Now consider a surface S given by the equation z = f(x,y) and let P(x[0],y[0],z[0]) be a point on S. Does S has a tangent plane at P(x[0],y[0],z[0])? If so, what is the equation of the tangent plane ?

¡@

Let's consider the second question first. Suppose that S has a tangent plane at P(x[0],y[0],z[0]) and let be a curve on S passing through P. If Tis the tangent line to C at P then must lie on this tangent plane, as shown in the animation below.

[Maple Plot]
 

In particular, let C[1] and C[2] be the curves obtained by intersecting the vertical planes x = x[0] and y = y[0] with the surface S . Then the point P lies on both C[1] and C[2] . Let T[1] and T[2] be the tangent lines to the curves C[1] and C[2] at the point P . Then the tangent plane to the surface S is the plane that contains both tangent lines T[1] and T[2] .

[Maple Plot]

In terms of vector functions, C[1] and C[2] have the parametric equations

 

r[1](t) = (t, y[0], f(t,y[0])) and r[2](t) = (x[0], t, f(x[0],t)),

respectively .

¡@

so that T[1] and T[2] have direction vectors

u = ( 1, 0, diff(f(x[0],y[0]),x) ) and v = ( 0, 1, diff(f(x[0],y[0]),y) ),

respectively .

 

Hence a normal vector of the tangent plane is given by the cross product

u x v = ( diff(f(x[0],y[0]),x), diff(f(x[0],y[0]),y), -1 )

 

so the equation of the tangent plane is given by

z = f[x](x[0],y[0])*(x-x[0])+f[y](x[0],y[0])*(y-y[0...

¡@

So we conclude that if Shas a tangent plane at P(x[0],y[0],z[0]) then f must have first order partial derivatives at ( x[0], y[0] ).

 

 

 

Here we consider the tangent plane to the paraboloid 

z = 3/2-x^2/2-y^2/2at  ( 1/sqrt(2), 1/sqrt(2), 1/2 ).

Let f(x,y) = 3/2-x^2/2-y^2/2 , we have f[x](x,y) = -x , f[y](x,y) = -y and the equation of the tangent plane must be

z = (-1/sqrt(2))*(x-1/sqrt(2))+(-1/sqrt(2))*(y-1/sq...

[Maple Plot]
3DView

[Maple Plot]
3DView

The graph above shows that the more we zoom in, the flatter the graph appears and the more it resembles its tangent plane.

 

In the graph below we corroborate this impression by zooming in toward the point (1, 1) on a contour graph of f.  Notice that the more we zoom in, the more the level curves look like equal spaced parallel lines, which is characteristic of a plane.

¡@

[Maple Plot]

[Maple Plot]

¡@

Therefore, in the view of visual evidence in the graphs above, the linear function

L(x,y) = f[x](a,b)*(x-a)+f[y](a,b)*(y-b)+f(a,b)

is a good approximation to f(x,y) when ( x, y) is near ( a, b).

¡@

The function L is called the linearization of f at ( a, b).

 

However, the existence of first partial derivatives is not sufficient to have tangent planes.

 

Here we provide an example that the function does have first partial derivatives but does not have a tangent plane :

Let g(x,y) = x^2*y/(x^2+y^2) for all ( x, y) except ( 0, 0) and g(0,0) = 0 .

 

We have g[x](0,0) = 0 and g[y](0,0) = 0 .

From the previous discussion, we know that if the surface z = x^2*y/(x^2+y^2) has a tangent plane at ( 0, 0) then the equation of the tangent plane must be z = 0. However, the tangent line of the curve obtained by intersecting the vertical planes x = y with the surface does not lie on z = 0 .

[Maple Plot]

3DView

We can confirm this by its contour graphs. As we zoom in toward ( 0, 0 ) on a contour graph of the function g(x,y) = x^2*y/(x^2+y^2) , the level curves do not look like equally spaced parallel lines at all.

 

[Maple Plot]

 

[Maple Plot]

When does the surface z = f(x,y) have a tangent plane at ( x[0], y[0], f(x[0],y[0]) ) ?

 

We say f is differentiable at ( x[0], y[0] ) iff

 

limit(abs(f(x[0]+Delta*x,y[0]+Delta*y)-L(x[0]+Delta...

 

where L(x,y) = f[x](x[0],y[0])*(x-x[0])+f[y](x[0],y[0])*(... .

 

Theorem

Suppose that f has continuous first partial derivatives at ( x[0], y[0] ) then f is differentiable at ( x[0], y[0]).

 

If f is differentiable at ( x[0], y[0] ) iff the linearization at (x[0], y[0])

L(x,y) = f[x](x[0],y[0])*(x-x[0])+f[y](x[0],y[0])*(...

 

is a good approximation of f near ( x[0], y[0] ), that is, f(x,y) is close to L(x,y) when ( x, y ) is close enough to ( x[0], y[0] ).

 

In particular, f(x,y)approaches to f(x[0],y[0]) as ( x, y) approaches to ( x[0], y[0]).

Hence, if f is differentiable at ( x[0], y[0] ) then f is continuous at ( x[0], y[0] ).

 

For the function f(x,y) = 3/2-x^2/2-y^2/2 , we have f[x](x,y) = -x , f[y](x,y) = -y are continuous for all x, y in R . Hence, f is differentiable for all x, yin R.  In fact, if P(x,y)is a polynomial, then P(x,y)is differentiable for all x, yin R .

 

For the function g(x,y) = x^2*y/(x^2+y^2) for all ( x, y ) except ( 0, 0 ) and g(0,0) = 0 , we see that

abs(g(Delta*x,Delta*y)-L(Delta*x,Delta*y))/sqrt((De... = (Delta*x)^2*abs(Delta*y)/sqrt(((Delta*x)^2+(Delta*y...

 

and that limit(abs(g(Delta*x,Delta*y)-L(Delta*x,Delta*y))/sq... does not exist (Exercise !). Hence, g is not differentiable at ( 0, 0 ).

 

 

Note that both g[x](x,y) and g[y](x,y) are not continuous at ( 0, 0 ).

 

We shall see later that if f has continuous first partial derivatives at ( x[0], y[0] ) then the surface z = f(x,y) have a tangent plane at ( x[0], y[0], f(x[0],y[0]) ).

 


Download Maple Worksheet