1. Notacoes e Preliminares................................................................................1
Referencias.................................................................................................11
1. Notacoes e Preliminares.
Regra da Cadeia.
x, y = x1 y1 + + xn yn .
A norma de x e x = x, x.
A bola aberta de centro x e raio r > 0 e B(x; r) = {y em Rn y x < r}.
Seja um aberto nao vazio em Rn . Dada uma funcao F Rm , escrevemos
F = (F1 , . . . , Fm )
Como det ( x
Fi
j
(ci )) 0 e b a 0, deduzimos F (b) F (a)
2
2. O Teorema Basico da Funcao Implcita.
xj (x, f (x))
F
(x) = F , para todo x em X, onde j = 1, . . . , n.
f
y (x, f (x))
xj
(a, b) > 0,
F
y
por continuidade existe um paraleleppedo nao degenerado (n+1)-dimensional
X [b1 , b2 ], centrado em (a, b) e contido em , com arestas paralelas aos
eixos coordenados tal que F
y > 0 sobre X [b1 , b2 ]. A funcao F (a, y),
com y variando em [b1 , b2 ], e estritamente crescente e F (a, b) = 0. Logo,
F (a, b1 ) < 0 e F (a, b2 ) > 0. Como F e contnua, existe um paraleleppedo
aberto n-dimensional X, centrado em a e contido em X , com arestas para-
lelas aos eixos tal que para todo x em X temos F (x, b1 ) < 0 e F (x, b2 ) > 0.
Fixando x em X e aplicando o TVI a funcao estritamente crescente F (x, y),
com y variando em [b1 , b2 ], obtemos um unico y = f (x) no intervalo aberto
Y = (b1 , b2 ) tal que F (x, f (x)) = 0.
Continuidade. Sejam b1 e b2 tais que b1 < b1 < b < b2 < b2 . Pelo visto acima,
existe um aberto X , contido em X e contendo a, tal que f (x) esta no
intervalo aberto (b1 , b2 ), para todo x em X . Logo, f e contnua em x = a.
Agora, dado a em X, seja b = f (a ). Entao, f X Y e uma solucao
do problema F (x, h(x)) = 0, para todo x in X, com a condicao h(a ) = b .
Assim, pelo que acabamos de mostrar, f e contnua em a .
3
Diferenciabilidade. Dado x em X, seja ej o j-esimo vetor canonico em Rn e
t 0 pequeno o suficiente tal que x + tej pertence a X. Para P = (x, f (x))
e Q = (x + tej , f (x + tej )), temos F (P ) = F (Q) = 0. Pelo teorema do valor
medio existe (x, y) no segmento P Q [contido em X Y ] tal que
Sabidamente F
xj e F
y sao contnuas, com F
y nao se anulando em X (b1 , b2 ),
f e contnua e (x, y) (x, f (x)) se t 0. Logo,
Indiquemos
x = (x1 , ..., xn ) Rn ,
y = (y1 , . . . , ym ) Rm ,
y = (y2 , . . . , ym ) Rm1 ,
y = (y1 ; y ) R Rm1
(x1 , . . . xn ; y1 , . . . , ym ) = (x; y) = (x; y1 ; y ).
4
Teorema 2 (Teorema da Funcao Implcita). Seja F em C 1 (; Rm ), com
um conjunto aberto em Rn Rm , e (a, b) um ponto em tal que F (a, b) = 0 e
y (a, b)
F
e inversvel. Entao, existe um aberto X, contido em Rn e contendo a, e
um conjunto aberto Y , contido em Rm e contendo b, satisfazendo o que segue.
I 0
det J = det =
F
F F
det ,
x y
y
5
Agora, vejamos a equacao F1 (x; y1 ; y ) = 0, onde x e y sao variaveis inde-
pendentes e y1 e a variavel dependente, sujeita a condicao y1 (a; b ) = b1 .
y1 (a; b1 ; b ) = 1, pelo Teorema 1 existe uma funcao (x; y ) de classe
F1
Como
+ = 0, com 1 i m e 1 k n.
m
Fi Fi fj
xk j=1 yj xk
6
Obs. Localmente, em (a, b), a superfcie de nvel 0 de F e o grafico de f . Isto e,
Prova. Imediata
Prova.
7
5. Contra-exemplos e Exemplo.
(0, 0) 0.
F
y
Ainda, fixado x em R, claramente
8
Exemplo 1. (Vide Knapp [7]). Consideremos o sistema nao linear com duas
equacoes e quatro variaveis x, y, w, e z,
xz 3 + y 3 w2 + 2xy = 0
xywz 1
= 0.
x y
ywz xyz xyw 0 0
z z
xwz x y
Donde segue,
3 3
2y w 3xz 2
= z + 2y 3y w + 2x .
w w
(E1.1)
2 2
x y
xyz xyw ywz
z z
x y xwz
9
3 1
2y w 3xz 2 z 3 + 2y 3y 2 w2 + 2x
= .
w w
(E1.2)
x y
xyz xyw ywz
z z
x y xwz
Ainda mais, indicando F segundo suas funcoes componentes
F (P ) = 1 g1 (P ) + + m gm (P ).
Prova.
Suponhamos P = 0 = (0, 0). A matriz Jg(0, 0) tem posto m e podemos supor
[ (x, y)]
gi
yj
inversvel. Pelo Teorema da Funcao Implcita existe Rm , de classe C 1 ,
satisfazendo
10
Seja {e1 , . . . , en } a base canonica de Rn . As n curvas i (t) = (tei ; (tei )), com
i = 1, . . . , n, contidas em S e definidas para t suficientemente pequeno, satisfazem:
e uma base de Rn+m . Ainda, o vetor f (0) e ortogonal a cada i (0). Logo, f (0)
e gerado por g1 (0), . . . , gm (0)
REFERENCIAS
11
8. S. G. Krantz and H. R. Parks, The Implicit Function Theorem - History,
Theory, and Applications, Birkhauser, Boston, 2002.
Departamento de Matematica
Universidade de Sao Paulo
oliveira@ime.usp.br
http://www.ime.usp.br/~oliveira
12