This preview shows page 1. Sign up to view the full content.
Unformatted text preview: 263 3.4. LEVEL CURVES Now, since ε → 0, the ratio on the right converges to the ratio of the
partials, and so is bounded by, say that ratio plus one, for △x suﬃciently
∂ f /∂x
This in turn says that the term multiplying |ε| in Equation (3.20) is
bounded, so ε → 0 implies the desired equation
△x→ 0 △x
∂f /∂y φ′ (x) = lim This shows that φ is diﬀerentiable, with partials given by Equation (3.18),
and since the right hand side is a continuous function of x, φ is
We note some features of this theorem:
• The hypothesis that f (x, y ) is continuously diﬀerentiable is crucial;
there are examples of diﬀerentiable (but not continuously
diﬀerentiable) functions for which the conclusion is false: the function
φ(x) required by Equation (3.17) does not exist (Exercise 5).
• The statement that L(f, c) ∩ R is the graph of φ(x) means that the
function φ(x) is uniquely determined by Equation (3.17).
• Equation (3.18) is simply implicit diﬀerentiation: using
y = φ(x)
z = f (x, y )
we can diﬀerentiate the relation
z = f (x, φx)
using the Chain Rule and the fact that z is constant to get
∂x ∂y dx
∂x ∂y ...
View Full Document
This note was uploaded on 10/20/2011 for the course MAC 2311 taught by Professor All during the Fall '08 term at University of Florida.
- Fall '08