Handout 4
Handout 4
φ(x) = x − f (x) + y.
Note that dφx = I − dfx and hence
1
whenever x ∈ B r (0). i.e. φ is a map from B r (0) into itself. For any x, z ∈
B r (0),
�� 1 �
� d �
|φ(z) − φ(x)| =
�
0 dt
� 1
≤ |dφx+t(z−x) · (z − x)|dt
0
� 1
≤ �dφx+t(z−x) �|z − x|dt
0
1
≤ |z − x|.
2
Thus φ : B r (0) → B r (0) is a contraction, and hence φ has a unique fixed
point xy ∈ B r (0). i.e. there is a unique point xy ∈ B r (0) with f (xy ) = y. In
fact xy ∈ Br (0) since 2r > |y | = |f (xy )| ≥ |xy | − |xy − f (xy )| ≥ |xy | − 21 |xy | =
1 −1 (W ) ∩ B (0). Note then that V is open.
2 |xy |. Set W = Br/2 (0) and V = f r
Define g : W → V by g(y) = xy . Then f (g(y)) = y for all y ∈ W and
g(f (x)) = x for all x ∈ V.
Next we show that g is differentiable, with dgy = (dfg(y) )−1 . First note
that with ψ : Br (0) → Rn defined by ψ(x) = x − f (x), we have that for
x1 , x2 ∈ Br (0),
2
Now fix y ∈ W , and let A = dfg(y) . Since W is open, there exists δ > 0
such that y + k ∈ W if k ∈ Bδ (0). Let h = g(y + k) − g(y). Then k =
y + k − y = f (g(y + k)) − f (g(y)) = f (g(y) + h) − f (g(y)) and hence, for
k ∈ Bδ (0) \ {0},
=
|k| |h| |k |
−1
�A �|k − Ah| |h|
≤
|h| |k|
−1
�A �|f (g(y) + h) − f (g(y)) − Ah|
≤ 2 (3)
|h|
where the last estimate follows from (2). Note that since g(y+k) = g(y) =⇒
f (g(y + k)) = f (g(y)) =⇒ y + k = y =⇒ k = 0, we have that h = � 0
if k �= 0. Sice A = dfg(y) , it follows from the definition of differentiability
of f that the right hand side of (3) tends to 0 as h → 0, and hence, since
|h| ≤ 2|k | by (2), it follows that
a a
3
where
�� | · |� denotes the Euclidean norm. You may use without proof that
� b � �b
� a h(t)dt� ≤ a |h(t)|dt for a scalar valued function h.
Next we prove the Implicit Function Theorem. This theorem gives con
ditions under which one can solve, locally, a system of equations
fi (x, y) = 0, i = 1, 2, . . . n
where x ∈ Rm and y ∈ Rn , for y in terms of x. (Thus, y = (y1 , . . . , yn )
where y1 , . . . , yn are regarded as n unknowns, satisfying the n equations
fi (x, y) = 0, i = 1, . . . , n.) Geometrically, the set of solutions (x, y) to the
system of equations is the graph of a function y = g(x). Note that we have
from linear algebra that if for each i, the function fi is linear with constant
coefficients
� � in the variables yj , then whenever the (constant) n × n matrix
∂ fi
∂ yj is invertible, the system of equations is solvable for y in terms
1≤i,j≤n
of x. Implicit function theorem says that whenever fi are C 1 and this matrix
is invertible at a point (a, b), then the system is solvable for y in terms of x
locally in a neighborhood of (a, b).
4
(a, b) in U , a neighborhood W of a in Rm and a C 1 function g : W → Rn
such that
f (x, g(x)) ≡ 0 on W
using the chain rule. By repeatedly differentiating this identity, it follows
that g is smooth if f is smooth.