Z14-Tangent Planes and Total Differentials

78
Lecture 14
Tangent Planes and Total Differentials
From the last lecture, we know that if z = f (x, y), x = x(t) and y = y(t), then by
the chain rule
d
f (x(t), y(t)) = fx (x(t), y(t))x (t) + fy (x(t), y(t))y (t).
dt
For the case w = f (x, y, z), x = x(t), y = y(t), z = z(t), there is a natural
generalization:
d
f (x(t), y(t), z(t)) = fx (x, y, z)x (t) + fy (x, y, z)y (t) + fz (x, y, z)z (t).
dt
This formula (a chain rule for three variable functions) will be useful below.
Let us consider a surface determined by the equation F (x, y, z) = 0.
P0 (x0 , y0, z0 ) be a point on the surface (and hence F (x0 , y0 , z0 ) = 0). If the
tangent lines at P0 to all smooth
curves that pass through P0 and lie
on the surface are contained in a
common plane, then this plane is
called the tangent plane to
the surface at P0 . The line through
P0 parallel to the normal vector
of the tangent plane is called the
normal line to the surface at P0 .
Let
Tangent Plane
P0
Normal Line
We now set to find an equation of the tangent plane at a given point P0 (x0 , y0 , z0 )
on a given surface F (x, y, z) = 0. As a point P0 on the plane is already given, we
need only to find a normal vector ~n.
To this end, we let x = x(t), y = y(t), z = z(t) be the parametric equation of an
arbitrary curve lying on F (x, y, z) = 0, passing through (x0 , y0 , z0 ) at t = t0 . This
implies that
F (x(t), y(t), z(t)) 0 for all t, x(t0 ) = x0 , y(t0) = y0 , z(t0 ) = z0 .
Recall that ~r(t0 ) = hx (t0 ), y (t0 ), z (t0 )i is a tangent vector of the curve ~r = hx(t), y(t), z(t)i
at P0 . Thus the normal vector ~n should be perpendicular to ~r (t0 ), i.e. ~n ~r(t0 ) = 0.
On the other hand, if we differentiate the identity
F (x(t), y(t), z(t)) = 0,
79
and use the chain rule, we obtain
d
F (x(t), y(t), z(t) = 0,
dt
i.e.
Fx (x(t), y(t), z(t))x (t) + Fy (. . .)y (t) + Fz (. . .)z (t) = 0, for all t. Take t = t0 , we get
F (x0 , y0 , z0 )x (t0 ) + Fy (x0 , y0 , z0 )y (t0 ) + Fz (x0 , y0 , z0 )z (t0 ) = 0.
That is to say, the vector hFx (x0 , y0, z0 ), Fy (x0 , y0 , z0 ), Fz (x0 , y0 , z0 )i and
~r (t0 ) = hx (t0 ), y (t0 ), z (t0 )i are perpendicular. Therefore, we can take
~n = hFx (x0 , y0 , z0 ), Fy (x0 , y0 , zo ), Fz (x0 , y0, z0 )i.
We can now write down the equation of the tangent plane:
Fx (x0 , y0 , z0 )(x x0 ) + Fy (x0 , y0, z0 )(y y0 ) + Fz (x0 , y0 , z0 )(z z0 ) = 0

The equation of the normal line is
x x0 = Fx (x0 , y0 , z0 )t, y y0 = Fy (x0 , y0 , z0 )t, z z0 = Fz (x0 , y0, z0 )t

It is preferable to give a surface as a graph over the xy-plane (or xz- or yz-plane)
by its explicit equation z = f (x, y). To find the explicit equation one has to solve
the implicit equation F (x, y, z) = 0 for z. If F (x, y, z) = ax + by + cz + d is a linear
equation we readily find
b
d
a
z = x y
c
c
c
if c 6= 0. If c = 0 we cannot solve this equation for z. For non-linear F (x, y, z)
it might be very difficult or even impossible to solve this equation by algebraic
manipulations. The so-called implicit function theorem tells us that a solution
exists, even if we cannot write down a formula:
Theorem 1. If F (x, y, z) is a function which has continuous derivatives in some
neighbourhood of (x0 , y0 , z0 ), F (x0 , y0 , z0 ) = 0 and Fz (x0 , y0 , z0 ) 6= 0. Then there
exists a function f (x, y) defined in a neighbourhood of (x0 , y0 ) such that (in some
neighbourhood of (x0 , y0 , z0 )) the condition F (x, y, z) = 0 is equivalent to z =
f (x, y). The function f has continuous partial derivatives
fx =
Fx
,
Fz
fy =
Fy
.
Fz
80
We do not give a proof for this but we point out that the proof is based on the
fact that
F (x, y, z) F (x0 , y0 , z0 )+Fx (x0 , y0 , z0 )(xx0 )+Fy (x0 , y0 , z0 )(yy0 )+Fz (x0 , y0 , z0 )(zz0 ).
Taking into account F (x, y, z) = F (x0 , y0 , z0 ) = 0 we get
z z0
Fx (x0 , y0 , z0 )
Fy (x0 , y0 , z0 )
(x x0 ) +
(x x0 )
Fz (x0 , y0 , z0 )
Fz (x0 , y0 , z0 )
from which we can also guess the formula for the partial derivatives of f . To make
this argument rigorous one would need to give a precise meaning to .
In practice this result is used to find approximate solution, usually by iterative
methods such as Newtons method. This topic will be discussed in Amth250.
Example. Let F (x, y, z) = x + y + z cos z. Then F (0, 0, 0) = 0 and Fz =
cos z + z sin z, hence Fz (0, 0, 0) = 1 6= 0. According to the theorem then the is a
function z = f (x, y) that solves the implicit equation F (x, y, z) = 0. We are not able
to give an algebraic formula for f but we now that it exists and equals approximately
f (x, y) x y,
since f (0, 0) = z0 = 0, fx (0, 0) =
Fy (0, 0, 0)
Fx (0, 0, 0)
= 1, fy (0, 0) =
= 1.
Fz (0, 0, 0)
Fz (0, 0, 0)
Remark. If Fz (x0 , y0 , z0 ) = 0 we cannot solve the equation with respect to z

(similar to ax + by + cz = 0 when c = 0), but if Fx (x0 , y0 , z0 ) 6= 0 we solve with
respect to x, i.e. find a function g(y, z) such that F (x, y, z) = 0 is locally equivalent
to x = g(y, z). Or, if Fy (x0 , y0, z0 ) 6= 0 then there is a function h(x, z) such that
F (x, y, z) = 0 is locally equivalent to y = h(x, z).
If the surface is already given as a graph z = f (x, y), we can always rewrite it in
the form F (x, y, z) = 0 by simply letting
F (x, y, z) = f (x, y) z.
We have Fx (x0 , y0 , z0 ) = fx (x0 , y0), Fy (x0 , y0 , z0 ) = fy (x0 , y0 ) and Fz (x0 , y0, z0 ) =
1. Hence, on substituting into the above equations for tangent plane and normal
line, we obtain
(i) Tangent plane at (x0 , y0 , z0 ) for y = f (x0 , y0 ):

fx (x0 , y0)(x x0 ) + fy (x0 , y0)(y y0 ) (z z0 ) = 0
(ii) Normal line:
x x0 = fx (x0 , y0 )t, y y0 = fy (x0 , y0 )t, z z0 = t
81
The above equation for the tangent plane can be written in the form
z z0 = fx (x0 , y0 )(x x0 ) + fy (x0 , y0 )(y y0 ), or
z = z0 + fx (x0 , y0 )(x x0 ) + fy (x0 , y0 )(y y0 ).
Geometrically, we know the tangent plane is the closest plane to the surface near
P0 . Analytically, this is to say the linear function (in x and y)
z0 + fx (x0 , y0 )(x x0 ) + fy (x0 , y0)(y y0 )
is the best linear approximation of the (in general nonlinear) function f (x, y) near
(x0 , y0). If we denote x x0 by x, y y0 by y and z z0 by z, then the best
linear approximation for z is
z fx (x0 , y0)x + fy (x0 , y0)y.
Write x = dx, y = dy. Then the quantity
dz = fx (x0 , y0)dx + fy (x0 , y0 )dy
is called the total differential of f (x, y) at (x0 , y0).
Our above discussion shows that when dx = x and dy = y are small,
(i) dz is the best linear approximation of z,

(ii) z0 + dz is the best linear approximation of f (x0 + dx, y0 + dy)
Example 1. Find an equation of the tangent plane to the surface z = x2 + y 2 at

(1, 1, 2).
Solution f (x, y) = x2 + y 2. At (x, y) = (1, 1),
fx (1, 1) = 2x|(1,1) = 2, fy (1, 1) = 2y|(1,1) = 2
Therefore, the equation is
2(x 1) + 2(y 1) (z 2) = 0.
i.e. 2x + 2y z 2 = 0.
Example 2 Use total differential to approximate f (1.01, 1.99) where f (x, y) = x3 y 4 .
82
Solution f (1.01, 1.99) = f (1 + 0.01, 2 0.01)
f (1, 2) + fx (1, 2)(0.01) + fy (1, 2)(0.01)
= (1)3 (2)4 + 3(1)2 (2)4 (0.01) + 4(1)3(2)3 (0.01)
= 16 + 0.48 0.32
= 16.16

Z14-Tangent Planes and Total Differentials

Uploaded by

Copyright:

Available Formats

Z14-Tangent Planes and Total Differentials

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Z14-Tangent Planes and Total Differentials

Uploaded by

Copyright:

Available Formats

78

Tangent Planes and Total Differentials

Fx (x0 , y0 , z0 )(x x0 ) + Fy (x0 , y0, z0 )(y y0 ) + Fz (x0 , y0 , z0 )(z z0 ) = 0

x x0 = Fx (x0 , y0 , z0 )t, y y0 = Fy (x0 , y0 , z0 )t, z z0 = Fz (x0 , y0, z0 )t

Remark. If Fz (x0 , y0 , z0 ) = 0 we cannot solve the equation with respect to z

(i) Tangent plane at (x0 , y0 , z0 ) for y = f (x0 , y0 ):

z = z0 + fx (x0 , y0 )(x x0 ) + fy (x0 , y0 )(y y0 ).

(i) dz is the best linear approximation of z,

Example 1. Find an equation of the tangent plane to the surface z = x2 + y 2 at

Example 2 Use total differential to approximate f (1.01, 1.99) where f (x, y) = x3 y 4 .

= (1)3 (2)4 + 3(1)2 (2)4 (0.01) + 4(1)3(2)3 (0.01)

You might also like