UNIVERSIDADE TECNOLOGICA

FEDERAL DO PARANA

EM MATEMATICA

PROGRAMA DE POS-GRADUAC
AO

ALEX ISSAMU MORIYA

OS TEOREMAS DE FUNC
OES
INVERSA E IMPLICITA
E SUAS

APLICAC
OES

MONOGRAFIA DE ESPECIALIZAC
AO

CAMPO MOURAO
2011

ALEX ISSAMU MORIYA

OS TEOREMAS DE FUNC
OES
INVERSA E IMPLICITA
E SUAS

APLICAC
OES

Monografia apresentada ao Programa de Posgraduaca o em Matematica da Universidade Tecnologica Federal do Parana como requisito parcial para obtenca o do ttulo de Especialista em

Ciencias Area
de Concentraca o: Matematica.
Orientador:

Juan Amadeo Soriano Palomino

CAMPO MOURAO
2011


TERMO DE APROVAC
AO

Alex Issamu Moriya

Os Teoremas de Funco es Inversa e Implcita e suas Aplicaco es

Monografia apresentada ao Programa de Pos-graduaca o em Matematica da Universidade Tecnologica Federal do Parana como requisito parcial para obtenca o do ttulo de Especialista em

Ciencias Area
de Concentraca o: Matematica.

Orientador: Prof. Msc. Adilandri

Prof. Msc. Mercio

Prof. Msc. Lobeiro

Campo Mourao, 2010

A minha esposa Satiko e ao meus pais.

AGRADECIMENTOS

Agradeco primeiramente a Deus.

Minha querida esposa que sempre esteve ao meu lado nos momentos difceis.
Aos meus pais que sempre me deram forca nas horas mais crticas de minha vida.
Ao professor Juan pela paciencia e atenca o.
Ao professor Adilandri, pela paciencia, amizade e competencia.
Ao meu amigo Marco Tadeu pela forca e pouso.
Aos amigos Odemir Brill, Roney Peterson e Willian Baraviera, pelos dias descontraidos.
Ao Edilson pela atenca o, competencia e pelos cafes dos Domingos.

Ate onde as leis da matematica se refiram a realidade, elas estao longe

de construir algo certo; e, na medida em que constituem algo certo, nao
se referem a realidade
(Albert Einstein)

RESUMO

MORIYA, Alex Issamu. Os Teoremas de Funco es Inversa e Implcita e suas Aplicaco es. 60 f.
Monografia Programa de Pos-graduaca o em Matematica, Universidade Tecnologica Federal
do Parana. Campo Mourao, 2011.
Neste trabalho vamos estudar um dos temas centrais na Teoria da Analise o Teorema da Funca o
Inversa. Em seguida aplicando este teorema demonstraremos o Teorema da Funca o Implcita.
Tambem apresentaremos algumas aplicaco es deste teorema que e um resultado central da analise.

Palavras-chave: Funca o Inversa, Funca o Implcita

ABSTRACT

MORIYA, Alex Issamu. Title in English. 60 f. Monografia Programa de Pos-graduaca o em

Matematica, Universidade Tecnologica Federal do Parana. Campo Mourao, 2011.
In this paper we study one of the central themes in the Analysis Theory Inverse Function Theorem. Then applying this theorem will demonstrate the Implicit Function Theorem. We will also
introduce some applications of this theorem is a central result of the analysis.
Keywords: Inverse Function, Implicit Function.

LISTA DE FIGURAS

FIGURA 1
FIGURA 2
FIGURA 3
FIGURA 4
FIGURA 5

DERIVADA PARCIAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
DERIVADA DIRECIONAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
DIFERENCIAVEL

FUNC
AO
.......................................

FUNC
AO DIFERENCIAVEL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
INVERSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15
16
19
21
39


SUMARIO

1 DESENVOLVIMENTO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2 LIMITES E CONTINUIDADES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

3 FUNC
OES
CONTINUAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4 CONTINUIDADE UNIFORME . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

5 FUNC
OES
REAIS DE N VARIAVEIS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
5.1 DERIVADAS PARCIAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
5.2 DERIVADAS DIRECIONAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

5.3 FUNC
OES
DIFERENCIAVEIS
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5.4 VETOR GRADIENTE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

5.5 REGRAS BASICAS

DE DERIVACAO
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.6 CASO GERAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.7 A MATRIZ JACOBIANA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
5.8 REGRA DA CADEIA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

5.9 O TEOREMA DO VALOR MEDIO

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
5.10 DERIVADAS PARCIAIS (CASO GERAL) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

5.11 CONDICOES
SUFICIENTES PARA A DIFERENCIABILIDADE . . . . . . . . . . . . . . . 33

5.12 FUNC
OES DE CLASSE C1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
ORTOGONAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
5.13 PROJEC
AO
INVERSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6 TEOREMA DA FUNC
AO
INVERSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.1 TEOREMA DA FUNC
AO

DO TEOREMA DA FUNC

6.2 METODO
DAS CARACTERISTICAS UMA APLICAC
AO
AO
INVERSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
IMPLICITA

7 TEOREMA DA FUNC
AO
.......................................
IMPLICITA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.1 TEOREMA DA FUNC
AO
DO TEOREMA DA FUNC
IMPLICITA . . . . . . . . . . . . . . . . . . . . . . .
7.2 APLICAC
AO
AO

8 CONCLUSAO
...............................................................

REFERENCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46
51
53
56
59
60

DESENVOLVIMENTO

Para a melhor compreensao vamos realizar uma introduca o de Limites e Continuidades,

segue da, Funco es Diferenciaveis de n variaveis definida por f : Rn R, onde passaremos
por definico es de funco es Gateaux derivavel ou derivadas parciais, funco es diferenciaveis ou
Frechet-derivaveis dadas por f : R onde
f (xo + h) = f (xo ) + L(h) + rxo (h)
com L linear e o resto satisfazendo

krxo (h)k
,
h0
khk
estudaremos a parte de Vetor Gradiente, Regras de Derivaca o, Caso Geral, Matriz Jacobiana,
lim

Regra da Cadeia, Teorema do Valor Medio, Condica o de Diferenciabilidade, Funca o de Classe

C1 e entraremos assunto que e um dos temas principais da Analise Matematica, O Teorema
da Funca o Inversa com a aplicaca o no Metodo das Caractersticas e O Teorema da Funca o
Implcita outro resultado central da Analise com a aplicaca o em Multiplicadores de Lagrange.
Onde o conteudo foram das referencias, (CIPOLATTI, 2002), (LIMA, 2009a),(LIMA, 2009b),
(RUDIN, 1971), (BARTLE, 1983),(GUIDORIZZI, 2000).

LIMITES E CONTINUIDADES

Nesta parte tem como objetivo estudar definico es de limite e continuidade, para funco es de
Rn em Rm . Neste momento vamos denotar k k indistintamente as normas euclidianas, isto e ,
as normas da forma k k2 de Rn e Rm .

Definica o 2.1 Sejam f : A Rn Rm , xo A e b Rm . Dizemos que b e o limite de f (x)

quando x se aproxima de xo em A (relativamente a` s normas euclidianas) se

para todo > 0, existe > 0 tal que x A e 0 < kx xo k < implique k f (x) bk <
Neste caso denotamos
lim f (x) = b

xxo

Como a metrica da bola provem da norma euclidiana, podemos usar a definica o acima como
notaca o de bola, isto e ,
> 0, > 0 tal que x A (B (xo ) \ {xo }) f (x) B (b).
Ou de forma mais concisa
> 0, > 0 tal que x f (A (B (xo ) \ {xo })) B (b)
Podemos definir a continuidade em forma da definica o de limite:

Definica o 2.2 Se todo ponto xo A e um ponto isolado, entao toda aplicaca o f : A Rn Rm

e contnua no ponto xo . Porem, se xo A entao f e contnua no ponto xo se, e somente se,

lim f (x) = b

xxo

Teorema 2.1 Sejam f : A Rn Rm , f = ( f1 , f2 , . . . , fm ), onde fi : A Rn R, i =

1, . . . , m, xo A e b Rm , b = (b1 , b2 , . . . , bm ). Entao

10

lim f (x) = b lim fi (x) = bi , i = 1, . . . , m

xxo

xxo

.
Demonstraca o: Suponhamos lim fi (x) = bi e seja > 0. Entao existem 1 , 2 , . . . , m > 0 tais
xxo

que x A e 0 < kx xo k < i implica k fi (x) bi k < , i = 1, . . . , m. Se pegarmos a base

m
canonica de Rm dada por {e1 , e2 , . . . , em }, agora pegarmos = min{1 , 2 , . . . , m } temos para
x A e 0 < kx xo k < vem que

k f (x) bk = | f1 (x) b1 | + | f2 (x) b2 | + + | fm (x) bm |

| f1 (x) b1 |ke1 k + | f2 (x) b2 |ke2 k + + | fm (x) bm |kem k

< ke1 k + 2 ke2 k + + m kem k

Se pegarmos = min{ 1 , . . . , m } temos
k f (x) bk <

Reciprocamente, se lim f (x) = b, para > 0 dado, existe > 0 tal que se x A e 0 < kxxo k <
xxo

entao k f (x)bk < . Como | fi (x)bi | k f (x)bk para todo i = 1, . . . , m segue o resultado.

Teorema 2.2 Seja f : A Rn Rm e xo A . Entao

lim f (x) = b {xk }k A tal que xk xo f (xk ) b.

xxo

Demonstraca o: Exerccio.
Teorema 2.3 Sejam f , g : A Rn R e xo A . Se
lim f (x) = bhspace0.3cm e hspace0.3cm lim g(x) = c,

xxo

entao

Alem disso, se c 6= 0 entao

Demonstraca o: Exerccio.

xxo

limxxo f g (x) = b c


limxxo f g (x) = bc
 
b
f
(x) = .
lim
xxo g
c

11

FUNC
OES
CONTINUAS

Definica o 3.1 Seja f : A Rn Rm e xo A A . Dizemos que f e continua em xo se

lim f (x) = f (xo ). Mais precisamente,

xxo

> 0, > 0 tal que kx xo k < k f (x) f (xo )k <

.
Podemos ainda escrever a definica o acima em notaca o de bola aberta de raio com centro em
xo denotado por B (xo ), ou seja, podemos dizer que f e continua no ponto xo se, e somente se,
> 0, > 0 tal que f (A B (xo )) f (x) B ( f (xo )).
Ou de forma mais concisa.
> 0, > 0 tal que f (A B (xo )) B ( f (xo )).
Observaca o: Como estamos trabalhando funco es de f : A Rn Rm os fatos abaixo e dire-

tamente liga as propriedades de limite:

a) Supor que f = ( f1 , f2 , . . . , fn ) e continua em xo A se, somente se, para cada fi : A Rn R

forem continuas em xo .

b) Sejam f , g : A Rn R funco es continuas no ponto xo e R, entao vem que f + g, f g

f
e f sao continuas no ponto xo . Se g(x) 6= 0, entao as funco es sao continuas em xo .
g
c) A continuidade da funca o no ponto xo independe das normas aqui utilizadas de Rn e Rm .
Teorema 3.1 Sejam f : A Rn Rm e g : B Rn Rm tais que f (A) B. Se xo A ,

y0 B B , lim f (x) = yo e g e continua em yo o que implica que lim (g f )(x) = g(yo )

xo

xo

Demonstraca o: Seja > 0. E pela continuidade da g em yo temos, existe > 0 tal que


y B B (yo ) g(y) B g(yo ) . Como lim f (x) = yo , existe > 0 tal que x B (xo ) \
xo

12

{xo } A f (x) B (yo ).
Portanto

e consequentemente

x B (xo ) \ {xo } A y = f (x) B (yo )




g f (x) B g(yo )

Teorema 3.2 Todas as normas em Rn sao equivalentes.

Demonstraca o: Seja k k uma norma qualquer em Rn e k k1 a norma 1 definida por kxk1 =

|x1 | + + |xn |. Dado x Rn , temos

n

i=1

i=1

x = xi ei kxk xi kei k Mkxk1 ,

onde {e1 , e2 , . . . , en } e a base canonica de Rn e M = max{kei k; i = 1, . . . , n}. Seja K = {x
Rn ; kxk1 = 1} e f (x) = kxk. Entao f : Rn R e funca o contnua (relativamente a noma k k1 )

de Rn . Como k e um fechado e limitado, e portanto compacto, segue do corolario anterior que

existe x K tal que m := f (x) = min f (K). Observe que m > 0, pois se 0 = m = kxk x = 0.
Seja x um ponto qualquer de Rn . Entao y =

x
kxk1

K e

x
kxk

m f (y) =
kxk1 = kxk1 mkxk1 kxk
Definica o 3.2 Quando uma funca o f e contnua em todos os pontos de seu domnio, dizemos
simplesmente que f e funca o contnua.

13

CONTINUIDADE UNIFORME

Vimos anteriormente que uma funca o e contnua quando e contnua em todos os pontos de
seu domnio. podemos dizer, portando, que a continuidade e um conceito local. Isso se expressa
na definica o, pelo fato de que, para cada e para cada x, = ( , x) depende de e psilon e do
ponto x. A definica o que introduzimos a seguir expressa um conceito global de continuidade,
continuidade uniforme.
Definica o 4.1 Seja A Rn e f : A Rm uma funca o. Dizemos que f e uniformemente contnua

em A se > 0 existe > 0 tal que se x, y Akx yk < , entao k f (x) f (y)k < .

Definica o 4.2 Uma funca o f : A Rn Rm e dita Lipschitz-contnua em A se existe M > 0

tal que

k f (x) f (y)k Mkx yk,

x, y A

Proposica o 4.1 Seja f : Rn Rm uma funca o linear. Entao f e Lipschitz-contnua.

14

5.1

FUNC
OES
REAIS DE N VARIAVEIS

DERIVADAS PARCIAIS
Quando se estuda funco es reais de n variaveis, isto e , definidas em subconjuntos do espaco

Rn , f : Rn R, e se busca para essa funca o uma noca o de derivada que tenha propriedades
analogas a` s da derivada de uma funca o definida num intervalo, a ideia que se apresenta mais
naturalmente e a de derivada parcial, que exploremos agora.
Para efeito de derivaca o, onde se compara o acrescimo f (xo + h) f (xo ) da funca o f com o

acrescimo h > 0 dado ao ponto xo , o domnio mais adequado para uma funca o e um subconjunto

aberto Rn pois, neste caso, dado xo , tem-se ainda xo + h para todo acrescimo h
suficientemente pequeno.

Seja, pois, f : R uma funca o real, definida num subconjunto aberto Rn , a i-esima

derivada parcial de f no ponto xo (onde 1 i n) e o limite

f
f (xo + ei ) f (xo )
(xo ) = lim
xi

0
quando tal limite existe.

f
f f
, tambem como
,
, etc. O que
xi
yi z i
importa no smbolo nao e o nome da variavel, x, y ou z, etc. O importante e o ndice i que
No entanto o smbolo pode ser denotado como

trata-se da funca o na i-esima variavel, seja qual for smbolo utilizado, podendo utilizar da forma
f
(xo ).
v
O caso particular n = 2 onde o grafico da funca o e uma superfcie em R3 ; a restrica o de f
ao segmento de reta que passa por c = (a, b) e e paralela ao eixo das abscissas tem como grafico
f
a curva plana obtida nessa superfcie fazendo y constante, igual a b. Logo
(c) e a inclinaca o
x
da reta tangente a essa curva, no ponto (a, b, f (a, b)), ao plano paralelo ao eixo x.
Assim a derivada parcial da funca o real f (x1 , x2 , . . . , xn ), faz com que todas as variaveis se
tornem constantes exceto a i-esima, e aplicando as regras usuais de derivaca o nesta variavel.

15

Figura 1: Derivada Parcial

Fonte: GeoGebra

5.2

DERIVADAS DIRECIONAIS
Vendo que as derivadas parciais, desacompanhadas de hipoteses adicionais, apenas fornecem

informaco es sobre a funca o ao longo de retas paralelas ao eixos, tentamos estender a noca o de
derivada a outras direco es alem dessas. Isto nos leva ao importante conceito de derivada direcional ou funca o Gateaux derivavel.
Definica o 5.1 Sejam f : R definida no aberto Rn , xo e h Rn , e dita Gateaux

derivavel em xo se f possui derivadas direcionais em xo em todas as direco es de h, por definica o,

o limite

f (xo h) f (xo )
f
(xo ) = lim
h

quando tal limite existi.

Definica o 5.2 Uma funca o f : Rn R e dita Gateaux derivavel em xo se f possui derivadas
direcionais em xo em todas as direco es de u.

Observaca o:De forma sutil as funco es Gateaux derivavel podem parecer, a` primeira vista, a
generalizaca o natural para a definica o de derivada de uma funca o real de uma variavel. Entretanto, a existencia das derivadas direcionais nao assegura a regularidade de f em torno do ponto
xo , como no caso de uma variavel (caso n = 1). De fato, contrariamente ao caso unidimensional, uma funca o que e Gateaux-diferenciavel num ponto xo nao necessariamente contnua

16

neste ponto. Por exemplo, consideremos

xy
se
(x, y) 6= (0, 0)
x 2 + y4
f (x) =

0
senao

Figura 2: Derivada direcional

Fonte: Maple

Se h = (h1 , h2 ) e um vetor unitario qualquer, entao aplicando a definica o de limite

f
h (0, 0)

= lim 0
= lim 0
= lim 0

f ((0,0)+ h) f (0,0)

f ( (h1 ,h2 ))

f (( h1 , h2 ))

h 2 h2

= lim 0 2 h21+ 42h4 1

1

3 h h2
lim 0 3 (h2 +1 2h4 )
2
1
h h2

= lim 0 h2 +1 2h4
1

h1 h22
h21

h22
h1

17

segue que

h2

2
se
h1 6= 0
f
h1
(0, 0) =
0 senao.
h

Entretanto, f nao e contnua em (0, 0). De fato, f (t 2 ,t) =

5.3

1
2

t 6= 0

FUNC
OES
DIFERENCIAVEIS
Consideremos agora funco es de domnio Rn um conjunto aberto, imagem R, k k norma

euclidiana em Rn e f : R

Definica o 5.3 Dizemos que f e diferenciavel (ou Frechet-derivavel) em xo se existem

funco es L, rxo : Rn R tais que

f (xo + h) = f (xo ) + L(h) + rxo (h),

com L linear e rxo satisfazendo

(1)

|rxo (h)|
=0
h0 khk
lim

(2)

Se rxo (h) satisfaz ( 2 ), dizemos que rxo (h) e funca o 0(khk). Para simplificarmos a notaca o,
escrevemos simplesmente r(h), deixando de explicitar que r depende de xo .
Se f e funca o diferenciavel em xo , entao a transformaca o linear L e denominada diferenciavel
de f no ponto xo que e denotada por f (xo ).
Desigualdade de Young:
Lema 5.1 Seja p e q tais que 1 < p, q < + e
desigualdade
|xy|

1
p

+ q1 = 1. Entao, para todo x, y R, vale a

x p xq
+
p
q

Exemplo 5.1 Consideremos f (x, y) = xy. Se h = (h1 , h2 ), entao

f (xo + h1 , yo + h2 ) = xo yo + xo h2 + yo h1 + h1 h2
Como L(h) = xo h2 + yo h1 e linear e r(h) = h1 h2 satisfaz
f e diferenciavel em (xo , yo ) e sua diferencial e

f (x

|r(h)|
khk

khk
2

0 se h 0, temos que

o , yo )(h) = xo h2 + yo h1

18

Exemplo 5.2 Seja f : Rn R um funca o linear. Entao f (xo + h) = f (xo ) + f (h). Se consid-

erarmos r(h) = 0 para todo h Rn , onde

f (xo + h) = f (xo ) + L(h) + r(h)

f (xo + h) = f (xo ) + L(h) + 0
f (xo + h) = f (xo ) + f (h)
fica satisfeita com L(h) = f (h), o que nos leva a concluir que f e diferenciavel no ponto xo e
f (xo ) f .
Lema 5.2 Se f e uma funca o diferenciavel no ponto xo , L1 e L2 sao diferenciaveis de f ,

entao L1 = L2 .

Demonstraca o: De fato, suponhamos que para todo h Rn ,

f (xo + h) = f (xo ) + L1 (h) + r1 (h)
f (xo + h) = f (xo ) + L2 (h) + r2 (h)

(3)

com L1 e L2 lineares e r1 e r2 funco es o(khk) (funco es que tendem a zero). Agora pegamos a
primeira igualdade e subtramos da segunda de (3), onde obtemos,
L1 (h) L2 (h) = r1 (h) r2 (h).
Tomemos agora h = ei , onde R+ e ei e a base canonica de Rn , da
L1 ( ei ) L2 ( ei ) = r2 ( ei ) r1 ( ei )

[L1 (ei ) L2 (ei )] = r2 ( ei ) r1 ( ei )

[L1 (ei ) L2 (ei )] r2 ( ei ) + r1 ( ei )
L1 (ei ) L2 (ei )

L1 (ei ) L2 (ei )

|L1 (ei ) L2 (ei )|

|L1 (ei ) L2 (ei )|

r2 ( ei )+r1 ( ei )

r2 ( ei )
+ r1 ( ei )



 r2 ( ei ) r1 ( ei ) 
+


|r2 ( ei )|

+ |r1 ( ei )|

Fazendo 0, vamos obter que L1 (ei ) = L2 (ei ) para n = 1, . . . , n.Portanto L1 (ei ) L2 (ei ).
Exemplo 5.3 Seja f : R2 R a funca o definida por

p |x|y
se (x, y) 6= (0, 0)
x 2 + y2
f (x, y) =

0
se (x, y) = (0, 0)

19

Figura 3: Funca o Diferenciavel

Fonte: Maple

Vamos verificar se f e contnua em (0, 0). Dado > 0.



| f (x, y) (0, 0)| = | f (x, y)| =  |x|y
2
x



 = |x||y|
2
+y 
x2 +y2

Utilizando a desigualdade de Young ( 5.1) temos,



|x| |y|
1 2 1 2
1
p

x + y p
2
2
x 2 + y2
x 2 + y2
1 x 2 + y2
p
=
2 x 2 + y2
p
1 x 2 + y2 p 2
p
x + y2
=
2 x 2 + y2
1p 2
=
x + y2
2

tomando = 2 obtemos,

| f (x, y) (0, 0)|

assim > 0 > 0 tal que

f e contnua em (0, 0).

1
1p 2
1
x + y2 < = 2 =
2
2
2

x2 + y2 < | f (x, y) (0, 0)| < .

Vamos provar que f e Gateaux-derivavel (derivada parcial) em (0, 0). De fato, sejam (xo , yo ) =

20

(0, 0) e v = (v1 , v2 ) R2 , por definica o, temos

lim

f ((xo , yo ) + v) f (xo , yo )
f ((0, 0) + (v1 , v2 )) f (0, 0)
= lim

0
f (( v1 , v2 )) 0
= lim

0
1
| v1 | v2

= lim p
2
2
0
( v1 ) + ( h2 )
| ||v1 | v2
q
0
| | v21 + v22

= lim

|v1 |v2
= lim q
0
v21 + v22
|v1 |v2
= q
v21 + v22

|v1 |v2
f
f
(0, 0) = q
(0, 0), para todo v R2 implica que f e
. Assim existe
v

v
2
2
v1 + v2
Gateaux-derivavel em (0, 0). Suponhamos que f e diferenciavel em (0, 0). Logo existem

Portanto

f (0, 0), r : R2 R tais que

f ((0, 0) + (h1 , h2 )) = f (0, 0) + f (0, 0)(h1 , h2 ) + r(h1 , h2 )
f (h1 , h2 ) = f (0, 0) + f (0, 0)(h1 , h2 ) + r(h1 , h2 )
satisfazendo

|r(h1 , h2 )|
q
=0
(h1 ,h2 )(0,0)
h21 + h22
lim

segue

|h1 |h2
f (h1 , h2 ) = q
h21 + h22
f (h1 , h2 ) = 0 + r(h)
|h1 |h2
r(h) = q
h21 + h22

agora substituindo na condica o (4), obtemos





 |h1 |h2 
|h1 ||h2 |
 q 1
q
=
lim
lim


2
2
(h1 ,h2 )(0,0) 
h21 + h22 
h21 + h22 (h1 ,h2 )(0,0) h1 + h2

(4)

21

mas se tomarmos o caminho h1 = 0, teremos

0
=0
h2 0 h2
lim

se pegarmos outro caminho h1 = h2 , obteremos

h21
|h1 ||h1 |
1 1
=
lim
=
lim
=
2
2
h1 0 h2
h
0
h
0
2
2
+
h
2h
1
1
1
1
1
lim

logo nao existe o limite, ou seja,

|r(h1 , h2 )|
q
(h1 ,h2 )(0,0)
h21 + h22

lim

Portanto f nao e diferenciavel no ponto (0, 0).

Exemplo 5.4 Seja f : R2 R a funca o definida por

2y|x|x se (x, y) 6= (0, 0)

x 4 + y2
f (x, y) =

0
se (x, y) = (0, 0)

Figura 4: Funca o Diferenciavel

Fonte: Maple

Verificar se f e continua em (0, 0). Dado > 0



 2y|x|x2 
| f (x, y) (0, 0)| = | f (x, y)| =  x4 +y2  =

2x2 |y||x|
x4 +y2

22

Utilizando a desigualdade de Young ( 5.1) temos,



1
1 4 1 2
2x2 y|x|
2
x + y 4
|x|
4
2
x +y
2
2
x + y2
1 x 4 + y2
= 2 4
|x|
2 x + y2
= |x|
p
x 2 + y2 <

tomando = obtemos,

| f (x, y) (0, 0)|

assim > 0 > 0 tal que

p
x 2 + y2 < =

p
x2 + y2 < | f (x, y) (0, 0)| < f e contnua em (0, 0)

Vamos provar que f e Gateaux-derivavel (derivada parcial) em (0, 0). De fato, sejam (xo , yo ) =
(0, 0) e v = (v1 , v2 ) R2 vetor unitario, por definica o, temos
lim

f ((xo , yo ) + v) f (xo , yo )
f ((0, 0) + (v1 , v2 )) f (0, 0)
= lim

0
f (( v1 , v2 )) 0
= lim

0
2 v2 | v1 |( h1 )2 1
= lim

0 ( v1 )4 + ( v2 )2
2 4 v2 |v1 |v21
= lim 5 4
0 v1 + 3 v22
= lim

2v2 |v1 |v21

v41 +

v22

2v2 |v1 |v21

v41
2v2
=
v1

2x2 y|x|
f
f
(0, 0) = 4
. Assim existe
(0, 0), para todo h R2 implica que f e Gateaux2
h
x +y
h
derivavel em (0, 0). Vamos verificar se a funca o e diferenciavel Suponhamos que f e diferPortanto

enciavel em (0, 0). Logo existem f (0, 0), r : R2 R tais que

f ((0, 0) + (h1 , h2 )) = f (0, 0) + f (0, 0)(h1 , h2 ) + r(h1 , h2 )
f (h1 , h2 ) = f (0, 0) + f (0, 0)(h1 , h2 ) + r(h1 , h2 )

23

satisfazendo

|r(h1 , h2 )|
q
=0
(h1 ,h2 )(0,0)
h21 + h22
lim

segue

(5)

|h1 |h2
f (h1 , h2 ) = q
x12 + y22

f (h1 , h2 ) = 0 + r(h)
|h1 |h2
r(h) = q
x12 + y22

agora substituindo na condica o (5), obtemos





 |h1 |h2 
|h1 ||h2 |
q
 q 1
lim
=
lim


2
2
(h1 ,h2 )(0,0) 
h21 + h22 
h21 + h22 (h1 ,h2 )(0,0) h1 + h2
mas se tomarmos o caminho h1 = 0, teremos

0
=0
h2 0 h2
lim

se pegarmos outro caminho h1 = h2 , obteremos

h21
1 1
|h1 ||h1 |
=
lim
=
lim
=
2
2
h
0
h
0
h1 0 h2
2
2
+
h
2h
1
1
1
1
1
lim

logo nao existe o limite, ou seja,

|r(h1 , h2 )|
q
(h1 ,h2 )(0,0)
h21 + h22

lim

Portanto f nao e diferenciavel no ponto (0, 0). Podemos observar que a existencia das derivadas
parciais (Gateaux-derivavel) nao implica que a funca o seja diferenciavel, mesmo que seja continua no ponto.
Proposica o 5.1 Se f e diferenciavel em xo , entao f e continua em xo .
Demonstraca o: Pela definica o da diferenciabilidade temos que f (xo + h) = f (x0 ) + L(h) +
r(h), satisfazendo limh0 r(h)
khk = 0. Portanto, para todo > 0 existe 1 > 0 tal que khk < 1

implica em que

|r(h)|
khk

< , tomemos = 1, entao 1 > 0 tal que khk < 1 implica

|r(h)|
< 1.
khk

24

Como L : Rn R e linear, segue da Proposica o (4.1) que existe 0 tal que |L(h)| khk,


para todo h Rn . Dado > 0 seja = min 1 , 1+ . Entao se x e tal que kx xo k < ,

temos

| f (x) f (xo )| (1 + )kx xo k <

25

5.4

VETOR GRADIENTE
Embora a existencia das derivadas parciais de uma funca o qualquer, nao implique na difer-

enciabilidade da funca o, mas quando a diferencial existe, e dada pelas derivadas parciais, como
veremos a seguir.
Seja uma funca o e diferenciavel f : R, definida no aberto Rn .

Afirmaca o: Se L : Rn R e linear, entao existe um b = (b1 , b2 , . . . , bn ) Rn tal que L(h) =

hb; hi para todo h = (h1 , h2 , . . . , hn ) Rn .

De fato, seja {e1 , e2 , . . . , en } a base canonica de Rn e bi = L(ei ). Entao,

!
n

L(h) = L

i=1

i=1

= hi L(ei ) = hi bi = hb; hi

hiei

i=1

Dizemos que b e a representaca o matricial de L relativamente a` base canonica.

Seja L = f (xo ) a diferencial de uma funca o f . Entao, L(h) = hb; hi para algum b Rn e para

todo h Rn . Considerando h = ei temos da definica o de diferenciabilidade

f (xo + ei ) = f (xo ) + L(ei ) + r( ei )
r( ei )
=0

satisfazendo lim

r( ei )
f (xo + ei ) f (xo )
= L(ei ) +

fazendo tender a zero, obtemos

L(ei ) = lim

f (xo + ei ) f (xo ) f
=
(xo ).

xi

O vetor e denotado por

f (xo ) =


f
f
(xo ), . . . ,
(xo )
x1
xn

e denominado vetor gradiente de f em xo e e tal que se f e funca o diferenciavel em xo , entao

f (xo )(h) = h f (xo ); hi
Observe se caso o vetor gradiente exista nada podemos dizer sobre a diferenciabilidade da
funca o, mas caso a f seja diferenciavel podemos dizer que o vetor gradiente e a representaca o
matricial de f (xo ) relativamente a base canonica de Rn .

26

5.5

REGRAS BASICAS
DE DERIVACAO

Proposica o 5.2 Sejam f , g : R duas funco es diferenciaveis em xo . Entao

a) f + g e diferenciavel em xo e ( f + g) (xo ) = f (xo ) + g (xo );
b) f g e diferenciavel em xo e ( f g) (xo ) = f (xo )g (xo ) + f (xo )g(xo )
c) se g(xo ) 6= 0 entao f /g e diferenciavel em xo e ( f /g) (xo ) =

f (xo )g (xo ) f (xo )g(xo )

.
g(xo )2

Demonstraca o: a) Como f , g sao diferenciaveis,

f (xo + h) = f (xo ) + L(h) + r1 (h)
g(xo + h) = g(xo ) + G(h) + r2 (h)
somando f e g
f (xo + h) + g(xo + h) = f (xo ) + g(xo ) + L(h) + G(h) + r1 (h) + r2 (h)
colocando r(h) = r1 (h) + r2 (h)
f (xo + h) + g(xo + h) = f (xo ) + g(xo ) + L(h) + G(h) + r(h)
com L(h) + G(h) linear e
lim

h0

r(h)
khk

tendendo a zero.

f (xo + h) + g(xo + h) ( f (xo ) + g(xo ))

= L(h) + G(h)
khk

denotando L(h) = f (x) e G(h) = g (x) vem o resultado acima.

Demostraca o: b) Multiplicando as funco es f , g, obtemos
f (xo + h)g(xo + h) = ( f (xo ) + L(h) + r1 (h))(g(xo ) + G(h) + r2 (h))
f (xo + h)g(xo + h) = f (xo )g(xo ) + f (xo )G(h) + g(xo )L(h) + R(h)
onde R(h) = f (xo )r2 (h)+L(h)G(h)+L(h)r1 (h)+g(xo )r1 (h)+r1 (h)G(h)+r1 (h)r2 (h) fazendo
h0
lim

h0

R(h)
f (xo + h)g(xo + h) f (xo )g(xo )
= f (xo )G(h) + g(xo )L(h) + lim
h0 khk
khk

como G(h) = g (h) e L(h) = f (h) e f (xo )g (xo ) + f (xo )g(xo ) e linear com R(h) tendendo a
zero, temos que
( f g) (xo ) = f (xo )g (xo ) + f (xo )g(xo )

27

5.6

CASO GERAL

Antes de definirmos a diferenciabilidade de uma funca o f : Rn Rm , que nos exige fatos

basicos da Algebra
Linear, sejam eles.
a) Se L : Rn Rm e uma transformaca o linear, fixadas as bases canonicas de Rn e Rm , existe

uma matriz Amn = [ai j ] tal que

L(x) = Ax, x Rn
Sendo A chamada de a matriz associada a` transformaca o linear L ou de representaca o matricial
de L relativamente as base canonicas de Rn e Rm , linha e coluna respectivamente.
Vamos representar a matriz associada a um transformaca o L por [L].
b) Seja duas transformaco es lineares L1 : Rn Rm e L2 : Rm Rk , definimos a composta da
duas transformaco es L2 L1 : Rn Rk e dada por

[L2 L1 ] = [L2 ] [L1 ]

Agora vamos definir o comportamento da funca o f : Rn Rm .
Definica o 5.4 Uma funca o f : Rm e dita Frechet-derivavel no ponto xo se existem

funco es L : Rn Rm e rxo : Rn Rm tais que

f (xo + h) = f (xo + L(h) + rxo (h))

(6)

como L e linear e rxo (h) tende a zero mais rapido, isto e , satisfazendo a condica o
krxo (h)k
=0
h0
khk
lim

(7)

Por simplicidade de notaca o escrevemos r(h), deixando de forma implcita a dependencia de r

em relaca o ao ponto xo .
Caso a funca o f seja diferenciavel no ponto xo , entao a transformaca o linear L e denominada a
diferencial de f no ponto xo ou Frechet-derivavel de f em xo , vamos de notar de f (xo ), ou seja,
f (x0 ) = L.
Lema 5.3 Uma funca o f : Rm , f = ( f1 , f2 , . . . , fm ) e diferenciavel no ponto xo se e so-

mente se cada uma de suas componentes fi : R e diferenciavel no ponto xo .

Demonstraca o: Se cada fi e diferenciavel em xo , entao existem funco es Li e ri satisfazendo (1)

tais que Li e linear e satisfaca

|ri (h)|
=0
h0 khk
lim

28

Sejam L = (L1 , L2 , . . . , Lm ) e r = (r1 , r2 , . . . , rm ). Entao, e claro que f (xo + h) = f (xo ) + L(h) +

r(h) segue do Teorema (3.2) que
n
|ri (h)|
kr(h)k1
kr(h)k
C
=C
0
khk
khk
khk
i=1

se

h 0.

Reciprocamente, se f e diferenciavel em xo , entao existem funco es L = (L1 , L2 , . . . , Lm ) linear

e r = (r1 , r2 , . . . , rm ) satisfazendo (6) e ( 7). Como cada Li e linear e
|ri (h)| kr(h)k

khk
khk
temos o resultado.

29

5.7

A MATRIZ JACOBIANA
Se f = ( f1 , f2 , . . . , fm ) : Rn Rm e uma funca o diferenciavel em xo , entao sua

diferencial (ou sua derivada de Frechet) f (xo ) e uma transformaca o linear de Rn em Rm . A

matriz associada a f (xo ) relativamente a` s bases canonicas de Rn e Rm e dada por

[ f (xo )] =

f1
f1
(xo )
(xo )
x1
x2
..
..
...
.
.
fm
fm
(xo )
(xo )
x1
x2

f1
(xo )
xn
..
.
fm
(xo )
xn

Observe que as linhas de [ f (xo )] sao formadas pelos gradientes de cada fi em xo .

No caso em que m = n a matriz [ f (xo )] e denominada de Matriz Jacobiana de f em xo . O seu
determinante e denominado de Jacobiano de f em xo , que denotamos por
J f (xo ) = det[ f (xo )]
Observaco es: Se J f (xo ) 6= 0, entao a matriz [ f (xo )] e inversvel. Como f (xo ) aproxima

f (x) f (xo ) na vizinhanca de xo , seria razoavel esperar que f tambem fosse inversvel nas

proximidades de xo . De fato e quase isso, como veremos mais a` frente no estudo do Teorema
da Funca o Inversa.

30

5.8

REGRA DA CADEIA

Teorema 5.1 (Regra da Cadeia) Sejam subconjunto aberto de Rn e A subconjunto aberto de

Rm . Suponhamos f : Rm e g : A Rk duas funco es tais que f () A. Se f e diferenciavel

no ponto xo e g e diferenciavel em yo = f (xo ), entao g f e diferenciavel no ponto xo e

(g f ) (xo ) = g (yo ) f (xo )
Em particular
[(g f ) (xo )] = [g (yo )][ f (xo )].

Demonstraca o: Sejam L = f (xo ) e G = g (yo ). Pela definica o da diferenciabilidade

f (xo + h) = f (xo ) + L(h) + r f (h), h Rn
g(yo + k) = g(yo ) + G(k) + rg (k), k Rm
satisfazendo as condico es
|r f (h)|
=0
h0 khk
lim

|rg (k)|
=0
k0 kkk
lim

Portanto, podemos escrever

g( f (xo + h)) = g( f (xo )) + G(L(h)) + r(h),
onde r : Rn Rk e definida por r = G r f + rg (L + r f ).
Alem disso,

kr(h)k kG(r f (h))k krg (L(h) + r f (h))k

+
.
khk
khk
khk
Pelo Lema (5.3), podemos escrever
kr f (h)k krg (k)k kkk
kr(h)k

+
,
khk
khk
kkk khk

onde k = L(h) + r f (h).

Como kkk khk + kr f (h)k, temos



kr f (h)k
kr(h)k kr f (h)k krg (k)k
+

+
khk
khk
kkk
khk

e conclumos o resultado, visto que kkk 0 quando khk 0 .

31

5.9

O TEOREMA DO VALOR MEDIO

O Teorema do Valo Medio se estende para o caso de funco es de Rn em R e sua demonstraca o

e consequencia direta da Regra da Cadeia, como se ve na prova do resultado a seguir.

Teorema 5.2 Seja f : Rn R uma funca o diferenciavel de x1 e x2 dois pontos quaisquer de

Rn . Entao existe x sobre o seguimento de reta que liga x1 a x2 tal que

f (x2 ) f (x1 ) = h f (x); x2 x1 i

Demonstraca o: Consideremos : R Rn a parametrizaca o (t) = x1 + t(x2 x1 ) da reta que

passa por x1 e x2 . E facil ver que e funca o diferenciavel e (to )(t) = x2 x1 para todo to R.


Seja g : R R a funca o real definida pela composica o g(t) = g (t) . Pelo Teorema 5.1, g


e uma funca o derivavel e g (t) = f (t) ; x2 x1 . Pelo Teorema do Valor Medio para
funco es reais de variavel real, g(1) g(0) = g (to ) para algum to ]0, 1[. Assim denotando por

x = (to ), segue o resultado.

Observaca o 5.1 O Teorema do Valor Medio nao e valida para funco es f : Rn Rm , se m > 1.

Em particular, nao vale para curvas em Rm .

32

5.10

DERIVADAS PARCIAIS (CASO GERAL)

Seja f : Rn Rm uma funca o diferenciavel em xo . Entao a diferencial f (xo ) fica determi-

nada pela matriz [ f (xo )].

Se x Rn com x = (y, z) o domnio definido por Rn = Rk Rl , assim x = (y1 , y2 , . . . , yk , z1 , z2 , . . . , zl ),

entao podemos escrever

[ f (xo )] =

f1
y1 (xo )

..
.

...

fm
y1 (xo )

f1
yk (xo )

f1
z1 (xo )

..
.

...

fm
yk (xo )

fm
z1 (xo )

..
.

Se considerarmos os blocos B e C definidos respectivamente por

f
f
f1
1
1
(x
)

(x
)
o
o
yk
z1 (xo )
y1 .

..
..
...
...

,
..
.
.

fm
fm
fm
y (xo ) y (xo )
z (xo )
1

f1
zl (xo )

..
.

fm
zl (xo )

f1
zl (xo )

..
.

fm
zl (xo )

entao para todo h = (h1 , h2 ) Rk Rl , temos

f (xo )h = Bh1 +Ch2 .
As transformaco es lineares associadas a` s submatrizes B e C sao denominadas parciais de f em
relaca o respectivamente a y e z em xo e denotamos




f
f
B=
(xo ) , C =
(xo )
y
z
Com esta notaca o podemos escrever
f (xo )h =

f
f
(xo )h1 +
(xo )h2
y
z

Com a notaca o das derivadas parciais, a Regra da Cadeia toma a seguinte forma
Teorema 5.3 Seja f : Rk Rl Rm uma funca o diferenciaveis em xo , yo . Sejam : Rn1 Rk

e : Rn2 Rl funco es diferenciaveis tais que (uo ) = xo e (vo ) = yo . Entao g : Rn1 +n2 Rm
definida por g(u, v) = f ( (u), (v)) e diferenciavel em (uo , vo ) e


 


f

[g (uo , vo )] =
(xo , yo )
(uo ) +
(xo , yo )
(vo ) .
x
u
y
v

33

5.11

CONDICOES
SUFICIENTES PARA A DIFERENCIABILIDADE

Para verificarmos se uma funca o qualquer e diferenciavel, devemos recorrer para as definico es
disponveis ate o momento. Onde e motivado a obter o Teorema que nos fornece condico es suficiente para a diferenciabilidade de uma funca o qualquer.
Teorema 5.4 Se uma f : R possui de derivadas parciais em todos os pontos do aberto

Rn e cada uma delas e contnua no ponto xo , entao f e diferenciavel no ponto xo .

` guisa de simplicidade, faremos a demonstraca o no caso n = 2; o caso geral

Demonstraca o: A
segue por argumento analogo.
Seja h = (h1 , h2 ) = h1 e1 + h2 e2 , onde {e1 , e2 } e a base canonica de R2 . Entao
f (xo + h) f (xo ) = f (xo + h) f (xo + h1 e1 ) + f (xo + h1 e1 ) f (xo )

(8)

Como a funca o g(t) = f (xo + h1 e1 + te2 ) e derivavel com derivada contnua em torno de t = 0,
temos do Teorema do Valor Medio para funco es reais que g(h2 ) g(0) = g ( )h2 . Portanto,
f (xo + h1 e1 + h2 e2 ) f (xo + h1 e1 ) =

f
(xo + h1 e1 + 2 e2 )h2 ,
x2

onde 2 ]0, h2 [. Analogamente, a funca o t f (xo + te1 ) e derivavel com derivada contnua
em torno de t = 0. Logo,

f (xo + h1 e1 ) f (xo ) =
Portanto,
f (xo + h) f (xo ) =

f
(xo + 1 e1 )h1 ,
x1

1 ]0, h1 [.

f
f
(xo + e1 )h1 +
(xo + h1 e1 + e2 )h2 .
x1
x2

Denotando por




f
f
f
f
(xo + e1 )
(xo ) h1 +
(xo + h1 e1 + e2 )
(xo + h1 e1 ) h2 , (9)
r(h) =
x1
x1
x2
x2
temos
f (xo + h) = f (xo ) + h f (xo ); hi + r(h).
Para concluir que f e diferenciavel basta mostrar que r(h) e de ordem o(khk).
Por hipotese, dado > 0, existe > 0 tal que se x B (xo ), entao


 f


f

< .
(x)

(x
)
o
 xi
 4
xi

34

Em particular, se x, y B (xo ), entao




 f

f
< .

(y)

(x)
 xi
xi  2

Portanto, se khk < , segue de (9)

|r(h)| <

+
khk1
2|h1 | 2|h2 |

e consequentemente,
|r(h)|
<
khk1
e o resultado segue da equivalencia das norma em Rn .

35

5.12

FUNC
OES
DE CLASSE C1

Se f : Rn Rm e uma funca o diferenciavel em cada ponto x do seu domnio, entao

podemos considerar a funca o linear f (x), diferencial de f em x. Temos assim a aplicaca o

f : L(Rn , Rm ),
x 7 f (x),

onde L(Rn , Rm ) denota o espaco de todas as aplicaco es lineares de Rn em Rm . f e denominada

a funca o diferencial de f (ou funca o derivada de Frechet de f ).
Observe que, fixada uma base nos espacos Rn em Rm , como por exemplo a base canonica,
entao cada elemento T de L(Rn , Rm ) pode ser representado por uma matriz [T ] de Mmn .
Exemplo 5.5 Se f (x, y) = (xy, x2 + y2 ) entao f : R2 L(R2 , R2 ) e dada por
[ f (x, y)] =

"

2x 2y

Exemplo 5.6 Se f : Rn R e definida por f (x) = kxk22 , entao f (x) = 2x para todo x Rn .

Logo f 2I, onde I denota a funca o identidade de Rn em Rn .

Se m = 1, entao o espaco L(Rn , Rm ) pode ser identificado com Rn (ou mais precisamente com
M1n ), isto e , L(Rn , Rm )
= Rn . Neste caso, se f : R e a funca o diferenciavel, podemos

fazer a identificaca o

f :
x

Rn

7 f (x)

Definica o 5.5 Dizemos que uma funca o diferenciavel f : Rm e de classe C1 (ou continu-

amente diferenciavel) em xo se f e funca o contnua em xo . Dizemos que f e de classe C1

em se f e funca o contnua em todos os pontos de .

Como ja vimos anteriormente, uma funca o f pode possuir derivadas parciais e nao se diferenciavel. De fato, pode nem mesmo ser contnua. Entretanto, se f e uma funca o convexa e
possui derivadas parciais, entao ela e necessariamente de classe C1 .
Teorema 5.5 Seja um aberto convexo de Rn e f : R uma funca o convexa que possui

derivadas parciais em todos os pontos de . Entao f e de classe C1 .

36

Demonstraca o: Como f e convexa, entao

f ( y + (1 )x) f (y) + (1 ) f (x)

(10)

para todo x, y e 0 1. Seja K um subconjunto compacto de . Entao existe > 0 tal

que x + sei para todo x K, |s| < , e i = 1, . . . , n, onde {e1 , e2 , . . . , en } e a base canonica
de Rn . Assim, para y = x + sei obtemos de (10)

f (x + sei ) f (x)
f (x + sei ) f (x).

Passando ao limite nesta desigualdade quando 0+ temos que

s f (x) ei f (x + sei ) f (x).
Como esta desigualdade tambem e valida substituindo s por s, segue que se s ]0, [, entao
f (x) f (x sei )
f (x + sei ) f (x)
f (x) ei
s
s

(11)

para todo x K e i = 1, . . . , n.

Se f nao e C1 , entao existe > 0, xo e uma sequencia {xk }k 1 em tal que xk xo e

| f (xk ) f (xo )| > ,

Seja K = {xo , x1 , x2 , . . . , }. Se |s| <

k.

(12)

e k e suficientemente grande, entao xk sei e como f

e continua em , segue de (11) que a sequencia { f (xk ) ei } e limitada, para cada i = 1, . . . , n.

Portanto, passando a uma subsequencia se necessario, podemos supor que existe u Rn tal

que f (xk ) u. Portanto, passando ao limite quando k em (11), temos, para s ]0, 2 [ e

i = 1, . . . , n

f (xo ) f (xo sei )

f (xo + sei ) f (xo )
u ei
.
(13)
s
s
Fazendo s 0+ em (13) obtemos f (xo ) = u, o que esta em contradica o com (12). Portanto,
x f (x) e contnua em .

37

5.13

ORTOGONAL
PROJEC
AO

A projeca o ortogonal sobre um convexo fechado C de Rn definido por

PC : Rn Rn
x

7 PC

onde PC (x) e denominado projeca o ortogonal de x sobre C que e importante pois na analise
convexa e surge com frequencia nas aplicaco es.
Teorema 5.6 Seja C um conjunto convexo e fechado de Rn e considere a funca o f : Rn R

definida por



1
f (x) = x PC (x); PC (x) ,
2

(14)

Entao f e funca o de classe C1 em Rn e f = PC .

Demonstraca o: Sejam xo e h em Rn . Entao podemos escrever

f (xo + h) = f (xo ) + hPC (xo ); hi + r(h),
onde
1
1
r(h) = kPC (xo )k22 kPC (xo + h)k22 + hxo + h; PC (xo + h) PC (xo )i.
2
2
1
Como g(x) = 2 kxk22 e diferenciavel com g (x) = x para todo x Rn , temos do Teorema do Valor

Medio,

1
1
kPC (xo )k22 kPC (xo + h)k22 = h(1 )PC (xo ) + PC (xo + h); PC (xo ) PC (xo + h)i,
2
2
para algum ]0, 1[. Logo,
r(h) = hxo PC (xo ); PC (xo + h) PC (xo )i kPC (xo + h) PC (xo )k22 + hh; PC (xo + h) PC (xo )i
(15)

Como as duas primeiras parcelas do lado direito de (15) sao negativas, temos
r(h) khk2 kPC (xo + h) PC (xo )k2 khk22
Por outro lado, considerando v = 1 , temos
r(h) = hvPC (xo ) + (1 v)PC (xo + h); PC (xo ) PC (xo + h)i + hxo + h; PC (xo + h) PC (xo )i
=

hxo + h PC (xo + h); PC (xo + h) PC (xo )i + vkPC (xo ) PC (xo + h)k22 0

Portanto, 0 r(h) khk22 e temos a conclusao.

38

INVERSA
TEOREMA DA FUNC
AO

Vamos aqui tratar um dos temas principais da Analise o Teorema da Funca o Inversa, onde
dada uma funca o linear g : Rn Rn definida por g(x) = xA, onde A e a matriz quadrada n n.
Para obtermos a inversa da g basta que detA 6= 0 onde g1 : Rn Rn e dada por g1 (x) = xA1 .

Mas caso a g (ou g1 ) seja Frechet-derivaveis no ponto xo em Rn , escrevemos g (xo ) = A (ou

(g )1 = A1 ). Agora vamos pegar um subconjunto aberto Rn e uma funca o f : Rn

que seja Frechet-derivavel no ponto xo , pela definica o de diferenciabilidade

f (xo + h) = f (xo ) + A(h) + r(h),
r(h)
= 0, onde
h0 khk

onde A, r(h) : Rn Rn e a condica o que A matrix linear e lim

f (xo ) = lim

h0

f (xo + h) f (xo )
,
h

sendo a funca o f : Rn Rn que melhor aproxima de xo .

No entanto e sutil pesar que se a funca o f : Rn e diferenciavel no ponto xo e a Matriz

Jacobiana dada por A = [ f (xo )] tal que

J f (xo ) = det[A] = det[ f (xo )] 6= 0,

nos leva que a f seja inversvel nas proximidades de xo .
Desta maneira temos que nao e verdadeira, mesmo para n = 1.
Seja a funca o f : R R definida por
(
f (x) =

x
2

+ x2 sen
0

1
x

se x 6= 0,

se x = 0.

Derivando a funca o f em todos os pontos de R obtemos

(
1
1
1
2 + 2x sen x cos x se x 6= 0,
f (x) =
1
se x = 0.
2

39

Se f fosse inversvel numa vizinhanca de xo = 0, entao seria necessariamente injetora nessa

vizinhanca. Como f (0) = 1/2, seria necessariamente crescente na vizinhanca do ponto zero.
No entanto isto seria impossvel porque f (x) muda de sinal infinita vezes proximo ao ponto
zero. Observe que se f fosse contnua em xo = 0, entao f (x) > 0 para x suficientemente

Figura 5: Inversa
Fonte: Maple

proximo de xo = 0 e teramos o resultado desejado.

6.1

INVERSA
TEOREMA DA FUNC
AO
O Teorema da Funca o Inversa se aplica para funca o f : V V com V Rn . Vamos utilizar

indistintamente a norma k k com norma euclidiana k k2 de Rn e a norma induzida k kL(Rn ,Rn ) .

Teorema 6.1 Seja Rn aberto e f : Rn funca o de classe C1 tal que J f (xo ) 6= 0. Entao
existe o > 0 tal que

a) f e injetora em U = Bo (xo );
b) V = f (U) e aberto;
c) f 1 : V U e de classe C1 e [( f 1 ) ( f (xo ))] = [ f (xo )]1 .
Demonstraca o: Faremos a demonstraca o em quatro etapas.
Etapa 1: Vamos provar que existe um 1 tal que f e injetora em B1 (xo ).

40

Fazendo f (xo ) = A e J f (xo ) 6= 0, por hipotese A1 esta bem definida.

Como f e de classe C1 , dado > 0, existe > 0 (dependendo de e xo ) tal que

kx xo k < k f (x) Ak < .

(16)

Como B (xo ) e aberto, entao podemos tomar x B (xo ) e h 6= 0 tal que x + h B (xo ).
Afirmo: f (x + h) 6= f (x) se > 0.

Com efeito Seja : [0, 1] Rn definida por (t) = f (x + th) tAh. Entao e de classe C1

no intervalo aberto ]0,1[ em virtude do Teorema da Regra da Cadeia obtemos, (t) = f (x +

th)h Ah. E pelo Teorema Fundamental do Calculo temos

(1) (0) =
isto e ,
f (x + h) Ah f (x) =

Z 1
0

Z 1
0

(t)dt,

( f (x + th) A)h dt.

Em particular
k f (x + h) f (x) Ahk

Z 1
0

como x + th B (xo ), t ]0, 1[ segue de (16) que

k f (x + h) f (x) Ahk <

k f (x + th) Akkhkdt

Z 1
0

khkdt = khk

(17)

ou seja,
k f (x + h) f (x) Ahk < khk

(18)

temos khk = kA1 Ahk kA1 kkAhk segue da que khk kA1 kkAhk e obtemos de (18)
k f (x + h) f (x) Ahk < kA1 kkAhk

k f (x + h) f (x) Ahk > kA1 kkAhk

(19)

usando (19), obtemos

k f (x + h) f (x)k = k f (x + h) f (x) Ah + Ahk

kAhk k f (x + h) f (x) Ahk

> kAhk kA1 kkAhk

> kAhk kA1 kkAhk
> (1 kA1 k)kAhk

k f (x + h) f (x)k > (1 kA1 k)kAhk

(20)

41

Tomando-se =

1
2kA1 k

e 1 < obtemos de (20):

1
k f (x + h) f (x)k > kAhk.
2

(21)

Como a matriz A possui inversa, Ah 6= 0 h 6= 0 onde temos que f e injetiva.

Etapa 2: Vamos provar que existe 2 tal que f B2 (xo ) e aberto.

Por hipotese f e de classe C1 , x 7 J f (x) e uma funca o contnua. Logo, existe e > 0 tal que

J f (x) 6= 0 x Be(xo ).

Considere-se 2 = min{1 , e}. Entao J f (x) 6= 0 para todo x B2 (xo ) e f injetora em B (xo ).
Provemos que W = f (B2 (xo )) e um conjunto aberto.

Seja y1 W . Entao pela definica o de imagem existe um u nico x1 B2 (xo ) tal que f (x1 ) = y1 .

Tome r > 0 tal que Br (x1 ) B2 (xo ) e considere a fronteira

K = Br (x1 ) e

u(x) = k f (x) f (x1 )k.

u:K R

u 7 u(x) = k f (x) f (x1 )k

onde u e contnua pois, f e contnua e a norma de uma funca o contnua e contnua.

Como K e compacto e u e funca o contnua, existe x K tal que
m := inf{u(x); x K} = u(x ).
Observe que x K x 6= x1 f (x ) 6= f (x1 ) pela injetividade da f e pela definica o de m

temos, m = u(x ) = k f (x ) f (x1 )k > 0 ,ou seja m > 0.

Afirmo: B m2 ( f (x1 )) Br (x1 ) W.

Com efeito, tome y B m2 ( f (x1 )). Isto e , ky f (x1 )k < m2 . Definindo

w : Br (x1 ) R

x 7 w(x) = k f (x) yk.

Como Br (x1 ) e compacto, existe x Br (x1 ) tal que

w(x) = min{w(x); x Br (x1 )}.
Observe que
w(x)

w(x1 ),

k f (x) yk k f (x1 ) yk <

m
2

w(x) = k f (x) yk k f (x1 y)k <

m
.
2

42

Observe tambem que se x K, entao

w(x) = k f (x) yk k f (x) f (x1 )k k f (x1 y)k m

m m
= .
2
2

/ K, o que implica x Br (x1 ).

Portanto x
Afirmo: f (x) = y, isto e y f (Br (x1 )).

Com efeito, se x e o ponto de mnimo de w(x) em Br (x1 ), entao x tambem e ponto de mnimo de
g(x) = 21 k f (x) yk2 . Como x e ponto interior, g (x)h = 0, h Rn , o que implica que h Rn .
g(x) =
g(x) =
aplicando a diferenciabilidade em g
0 = g (x)h =
=
=
=
=
para todo h Rn . Entao
Agora, como

segue-se que

2


1
f (x) y
2
E
D
1

y;
f
(x)

y
f
(x)
2
D

E

2 D f (x) y; f (x)hE + D f (xh); f (x) yE

1

+ f (x) y; f (x)h
2  Df (x) y; f (x)h E
1
(x)h
2 2 f (x) y; f E
D
f (x) y; f (x)h

D

T
f (x) ( f (x) y); h

T
f (x) ( f (x) y) = 0.


T


det f (x) = det f (x) = J f (xo ) 6= 0
f (x) y = 0,

ou ainda, f (x) = y, e a afirmativa esta provada.

Etapa 3: Se U = B2 (xo ) e V = f (U), entao f 1 : V U e diferenciavel.


Seja y V y = f (x), x B2 (xo ) e tome r > 0 suficientemente pequeno tal que y + k V para

todo k tal que kkk < r,

h = f 1 (y + k) x

h + x = f 1 (y + k)

f (h + x) = f ( f 1 (y + k))
f (h + x) = y + k
k = f (h + x) y
k = f (h + x) f (x).

(22)

43

Como f e diferenciavel em x U, entao:

satisfazendo a condica o



f (x + h) = f (x) + f (x) (h) + r f (h)
kr f (h)k
= 0.
h0 khk
lim

De (22) e (23) obtemos que

(23)

(24)



k = f (x) (h) + r f (h).

(25)

1
Ja que x U = B2 (xo ) entao, J f (x) 6= 0 e f (x) e inversvel, consequentemente existe f (x) .

1
Assim, seja B = f (x) . Multiplicando a matriz B em (25), obtemos
Bk = B f (x)h + Br f (h)
Bk = h + Br f (h)
h = Bk Br f (h)
Tambem h = f 1 (y + k) f 1 (y).
Portanto,

f 1 (y + k) f 1 (y) = Bk Br f (h)

f 1 (y + k) = f 1 (y) + Bk Br f (h)

Para provar que f 1 e diferenciavel, basta provar que

kBr f (h)k
=0
k0
kkk

(26)

1
kkk = k f (x + h) f (x)k kAhk
2

(27)

lim

De fato, como na Etapa 1 temos:

Por outro lado como A e inversvel temos h = A1 Ah, aplicando a norma khk = kA1 Ahk
kA1 kkAhk, da

kAhk
De (27) e (28) obtemos que
kkk

khk
kA1 k

1
2kA1 k
1 khk

2 kA1 k
kkk
khk

(28)

44

kBr f (h)k
1
= kBr f (h)k
kkk
kkk
2kA1 k
kBkkr f (h)k
khk
1
2kA kkBkkr f (h)k
=
khk
kBr f (h)k
2kA1 kkBkkr f (h)k
0

kkk
khk
0

2kA1 kkBkkr f (h)k

tende a zero, assim
Quando k 0 implica h 0 o que implica por (24)
khk
kBr f (h)k
0,
kkk

0
como queriamos

kr f (h)k
= 0.
h0 khk
lim

Logo, f 1 e diferenciavel em y = f (x) V , por tanto existe

para todo y V .





1 h 1
i1
f 1 (y) e f 1 (y) = f (x)
= f f (y)

Etapa 4: f 1 : V U e de classe C1 .

De fato, A = f (x1 ) e B = f (x2 ). Como f e de classe C1 , dado > 0, existe > 0 tal que


kx2 x1 k < f (x2 ) f (x1 ) <

Como f e de classe C1 , dado > 0, existe > 0 tal que

kx2 x1 k < kB Ak <

Visto que B1 A1 = B1 (A B)A1 , obtemos
kB1 A1 k kB1 kkA BkkA1 k
Por outro lado, h Rn , temos

h = A1 Ah,

aplicando norma
khk = kA1 Ahk kA1 kkAhk kAhk

khk
,
kA1 k

h Rn .

(29)

45

Tambem temos,
kBhk = kAh + Bh Ahk

= kAh + (B A)hk

kAhk k(B A)hk

subtituindo (29)

kAhk k(B A)kkhk

khk
k(B A)kkhk.
kA1 k

Portanto,
kBhk
Observamos que,


1
k(B A)k khk.
kA1 k

kx2 x1 k < kB Ak <

kB Ak >
1
1

kB

Ak
>

1
kA1 k


kA k 
1
1

kB Ak khk
khk
kA1 k
kA1 k

Onde obtemos que,

kx2 x1 k < kBhk


1
khk
kA1 k

Escolhendo = 12 kA1 k 0 e o 2 correspondente, obtemos



1
1
1
kBhk
A khk
1
 kA k 2
1
khk

2kA1 k
onde
kBhk

1
khk.
2kA1 k

Tomando k = Bh temos B1 k = h, aplicando norma, obtemos

kB1 kk = khk

kB1 kk = 2kA1 kkBhk

kB1 kkkk 2kA1 kkkk

kB1 k 2kA1 k

46

Portanto, se kx1 x2 k < , conclumos

kB1 A1 k kB1 kkB AkkA1 k

2kA1 kkB AkkA1 k

= 2kA1 k2 kB Ak

< 2kA1 k2 k .
Deste modo, obtemos

kx1 x2 k < kB1 A1 k < 2kA1 k2 k


1 
1
f (x2 )
f (x1 ) < 2kA1 k2

Isso mostra que f 1 e de classe C1 .

Definica o 6.1 Seja f : U V uma funca o bijetora. Dizemos que f e um homeomorfismo entre

U e V se f e f 1 sao contnuas. Dizemos que f e um difeomorfismo entre U e V se f e f 1

sao diferenciaveis.

Podemos reescrever o Teorema da Funca o Inversa utilizando a terminologia da definica o

acima, que fica:
Teorema 6.2 Se f e funca o de classe C1 e J f (xo ) 6= 0, entao existem vizinhancas abertas U e

V respectivamente de xo e f (xo ) tais que f e difeomorfismo de classe C1 entre U e V .

6.2

DO TEOREMA DA FUNC

METODO
DAS CARACTERISTICAS UMA APLICAC
AO
AO
INVERSA
Nesta parte vamos mostrar uma aplicaca o direta do Teorema da Funca o Inversa, o Metodo

da Caractersticas para a soluca o de equaco es a derivadas parciais de primeira ordem, vamos

enunciar o problema.
Problema: Seja uma curva de R2 parametrizada por : I , onde I e um

intervalo de R e um aberto em R2 . Sejam a, b, c : R funco es dadas.

Determinar uma funca o (x, y) soluca o da equaca o

a(x, y)

+ b(x, y)
= c(x, y),
x
y

(30)

cujos os valores sobre a curva sao prescritos, isto e , ( ( )) = o ( ) onde o :

I R e uma funca o dada.

47

Podemos encontrar a soluca o do problema acima mudando as coordenadas de maneira apropriada, que pode se includa pelo seguinte argumento: fixado um ponto o = (so ) = (xo , yo )
de , considere a curva ( ) = (x( ), y( )) que passa por o , isto e , (0) = o . Definida
z( ) = (x( ), y( )), onde e soluca o de (30). Se e diferenciavel, temos pela Regra da
Cadeia,

 dx dx
dz

= ( ); ( ) =
+
,
d
d x d y
pois, note que, ponto fixo e
(0) = o = (so ) = (xo , yo )


( ) = x( ), y( )






z( ) = x( ), y( ) = ( ) = ( )

agora derivando ( ), obtemos

( ) = (x ( ), y ( )) =

diferenciando z( ) = x( ), y( ) = ( )

x y
,

dx dx
dz
=
+
d
x d x d




( ) dx ( ) dx
dz
=
+
d
x
d
x
d




dx ( )
dx ( )
dz
+
=
d
d
x
d
y
*



!+

( ) ( )
dz
dx dx
=
,
;
,
d
d d
x
y

onde


dz

= ( ); ( )
d

 dx dx
dz

= ( ); ( ) =
+
d
x d x d
Portanto, se satisfaz o sistema de equaco es diferenciais ordinaria

dx

= a(x, y),
x(0) = xo ,

d
dy

= b(x, y),
y(0) = yo ,
d

podemos obter a soluca o resolvendo

dz
= c(x, y),
d

z(0) = o (so ).

(31)

48

Se repetirmos o argumento anterior para todos os pontos (s), s I, obtemos uma famlia de

curvas - as curvas caractersticas - sobre as quais o soluca o pode ser determinada.

Antes de analisarmos as condico es para as quais o metodo funciona (e onde entra o Teorema da
Funca o Inversa), vejamos um exemplo cuja soluca o explcita pode ser calculada.
Exemplo 6.1 Considere (s) = (s, s2 ). Determinar (x, y) soluca o de
x

+y
= xy
x
y

(32)

tal que ( (s)) = sen x2 , para todo s R.
Soluca o: Consideremos o sistema (equaca o caractersticas)

dx

= x,
x(0, s) = s,

ddy
= y,
y(0, s) = s2 ,
d

dz

= xy,
z(0, s) = sen(s2 )
d

(33)

Resolvendo as duas primeiras equaco es de (33), temos,

dx
dx
=x
x = 0
d
d
multiplicando por e , obtemos

dx
e xe = 0
d

entao

i
d h
x( , s)e = 0,
d

integrando de 0 a , obtemos

Z
d 
0

dt


x(t, s)et dt = 0
x( , s)e = s

x( , s) = se
de modo analogo, obtemos y( , s) = s2 e . Para simplificar a notaca o, vamos utilizar x no lugar
de x( , s) (x depende de e s), de modo analogo para y, segue que
(

x =

se ,

y = s2 e .

(34)

49

Substituindo (34) na terceira equaca o de (33) e resolvendo, isto e ,

dz
= xy
d
temos
dz
d

= s3 e2 ,

(35)

integrando (35) de 0 a , obtemos

Z 

s3 e2t dt

z( , s) z(0, s) =

Z 


s3 e2t dt

0
3
s e2

s3 e0
2
2
3
2

s e
s3
=

2
2


3
s
e2 1 ,
=
2

como z(0, s) = sen s2 e substituindo,

z( , s) sen

obtemos,

s2


s3  2
e 1
=
2




s3  2
e 1 + sen s2 .
2
Mudando as variaveis adequadamente, isto e ,
z( , s) =

(36)

x = se

x
= e ,
s

(37)

y = s 2 e

y
= e ,
s2

(38)

da mesma forma

de (37) e (38), obtemos

x
y
= 2
s s

y
= s,
x

(39)

e observe que
s=

x
,
e

(40)

de (39) e (40), surge

x
y
=
x e

x2
e =
y

x2
y

2

(41)

50

Explicitando e s em funca o de x e y, ou seja, substituindo (39) e (41) em (36) encontramos a

soluca o

 y 2
1
1  y 3
+ sen
.
z = (x, y) = xy
2
2 x
x
Observaca o: O exemplo evidencia o ponto-chave do metodo. De fato, a soluca o das duas
primeiras equaco es de (33) determine uma mudanca de variaveis, isto e uma funca o
f : R2

R2

( , s) 7 f ( , s) = (x, y)

Se f e inversvel, entao obtemos a soluca o por

f ( , s) = (x, y) ( , s) = f 1 (x, y),
entao

(x, y) = z( , s) = z f 1 (x, y) = (z f 1 )(x, y).

Aplicando o Teorema da Funca o Inversa temos que, se o jacobiano e diferente de zero para todo
ponto pertencente a esta curva de (x, y) R2 , teremos que f admite inversa na vizinhanca

de . Levando em consideraca o os dados do problema, a saber, a curva inicial (s) = (x, y) =

1 (s), 2 (s) e o campo de vetores (x, y) 7 a(x, y), b(x, y) , a condica o



J f x, y = 


dx
d
dx
ds

dy
d
dy
ds

 
  x
y
 
=
  (s) (s)
1
2

 
  a(x, y) b(x, y)
 
=
  (s) (s)
1
2

 
  a (s)
b (s)

 
=
  (s)
2 (s)
1




 6= 0


J f (s) 6= 0


indica que os vetores (a, b) e 1 (s), 2 (s) sao linearmente independentes. Temos, portanto,

uma condica o geometrica para que o metodo forneca soluca o, a saber, que o campo (a, b) seja
transversal a` curva .

51

IMPLICITA

TEOREMA DA FUNC
AO

Neste captulo vamos estudar outro resultado central da Analise, o Teorema da Funca o
Implcita. A motivaca o de estudar este Teorema e considerando em particular equaca o da circunferencia unitaria x2 + y2 1 = 0. Podemos colocar a variavel y de forma explicita como
funca o da variavel x:

y=

p
1 x2 ou y = 1 x2

Mais precisamente, se : [1, 1] R e a funca o definida por (x) =

1 x2 ), entao esta implcita na equaca o da circunferencia.

1 x2 (ou (x) =

De modo analogo, a equaca o 5x2 + 5y2 6xy 8 = 0 descreve uma elipse central em (0, 0).

Embora explicar y em funca o de x nao seja uma tarefa tao imediata, vemos pela figura que existe
uma funca o :]a, b[ R que y = (x) esta implcita na equaca o da elipse.

O mesmo pode feito para mais variaveis. Por exemplo, no sistema

(
x2 + y2 + z2 1 = 0,
x2 + z2 5 = 0,

a variavel z pode ser facilmente expressa como funca o das outras por
z=
Mas o que dizer do sistema
(

1 x2 y2 ou z =

5 + x2

x3 + x2 y2 + xyz2 4 = 0,
x2 xyz + y2 z2 5 = 0,

Os exemplos acima nos remetem a` seguinte questao:

52

Problema: Dada f : Rk+m Rm e (xo , yo ) Rk+m tal que f (xo , yo ) = 0, deseja-se

saber se existe Rk aberto e uma funca o : Rm satisfazendo

a) xo e (xo ) = yo ;

b) f x, (x) = 0, para todo x

Se a resposta for afirmativa, dizemos que e funca o implcita para a equaca o f (x, y) = 0 na
vizinhanca de xo .
Seja f : Rn Rm com (n = k + m) a funca o linear dada por f (z) = Az onde A e a matriz m n.

Seja o ponto z = (x, y) = (x1 , x2 , . . . , xk , y1 , y2 , . . . , ym ), podemos escrever f (x, y) = Az = Bx+Cy,

onde B e C sao submatrizes respectivamente de ordem m k e m m, isto e , A = [B C] e

composta por bloco B e C.

Se C e inversvel, podemos explicitar y como funca o de x pois

Bx +Cy = 0 y = C1 Bx.
Neste caso, se : Rk Rm e funca o linear definida por (x) = C1 Bx , entao esta implcita
na equaca o f (x, y) = 0 na vizinhanca de xo , qualquer que seja xo .

Observe que neste caso particular, os blocos B e C sao as derivadas parciais de f . De fato,




f
f
(xo , yo ) e C =
(xo , yo )
B=
x
y
e

1 

f
f
(xo , yo )
(xo , yo )
=
y
y


(42)

Diretamente pode-se tratar a questao via Teorema da Funca o Inversa pode ser observada se
reescrevermos a equaca o f (x, y) = 0 na seguinte forma. Seja g : Rn Rn com n = k + m a


funca o linear definida por g(x, y) = x, f (x, y) . Entao g(z) = Ax, onde A e a matriz representada
por

A=

"

Ik O
B C

Onde Ik e a matriz identidade de ordem k k O uma matriz nula de ordem k m. Sabemos da

Algebra Linear que det A = detC. Assim, se C e inversvel, tambem e a matriz A e e facil de
verificar que
A1 =

"

Ik

C1 C1

Portanto,
g(x, y) = (x, 0) (x, y) = g1 (x, 0) = (x, C1 Bx)

53

temos aqui novamente a soluca o desejada em (18).

7.1

IMPLICITA
TEOREMA DA FUNC
AO

Teorema 7.1 Seja f : Rk Rm Rm uma funca o de classe C1 . Suponha f (xo , yo ) = 0 e



f
det
(xo , yo ) 6= 0.
y
a) Entao existem uma vizinhanca aberta de xo Rk e uma funca o (unica) : Rm de
classe C1 tal que yo = (xo ) e f (x, (x)) = 0 para todo x .

b) Existe um aberto U contendo (xo , yo ) em Rk Rm tal que o par (x, y) U verifica f (x, y) = 0
se e somente se y = (x) para todo x

Demonstraca o: Nada perderemos em generalidade supondo que xo = 0 e yo = 0.

Seja g : Rk Rm Rk Rm a funca o definida por g(x, y) = x, f (x, y) . Entao g e de classe

C1 e a matriz Jacobiana de g em zo = (xo , yo ) = (0, 0) e

Ik
O
 


[g (0, 0)] = f
.
f
(0, 0)
(0, 0)
x
y
Pois se colocarmos

f : Rk Rm Rm
(x, y)

7 f (x, y) = y

g : Rk Rm Rk Rm
(x, y)

7 g(x, y) = x, f (x, y)

onde x = (x1 , x2 , . . . , xk ) e y = (y1 , y2 , . . . , ym ) assim (x, y) = (x1 , x2 , . . . , xk , y1 , y2 , . . . , ym ), aplicando em g obtemos

g(x, y) =
=

g1 (x, y), . . . , gk (x, y), gk+1 (x, y) . . . , gk+m (x, y)


x1 , . . . , xk , f1 (x, y), . . . , fm (x, y)

54

onde g1 (x, y) = x1 , . . . , gk (x, y) = xk , gk+1 (x, y) = f1 (x, y), . . . , gk+m (x, y) = fm (x, y) derivando g
em relaca o zo = (xo , yo ) = (0, 0), temos

g1
g1
(0, 0)
x1 (0, 0)
x2

g2
g2
(0, 0)
(0, 0)

x1
x2

..
..

.
.

gk

 gk
(0, 0)
g (0, 0) = x (0, 0)
x2
1

gk+1
gk+1

(0,
0)
(0, 0)
x1
x2

..
..

.
.

g
gk+m
k+m

(0, 0)
(0, 0)
x1
x2

g1
g1
(0, 0)
(0, 0)
xk
y1
g2
g2
(0, 0)
(0, 0)
xk
y1
..
..
.
.
gk
gk
(0, 0)
(0, 0)
xk
y1
gk+1
gk+1
(0, 0)
(0, 0)
xk
y1
..
..
.
.
gk+m
gk+m
(0, 0)
(0, 0)
xk
y1

derivando em relaca o as variaveis x1 , x2 , . . . , xk , y1 , y2 , . . . , ym , obtemos

1
0

0
0

0
1

0
0

.
.
.
..
.
..
..
..
..

0
0

1
0

f
1
1
1
1


g (0, 0) = x (0, 0) x (0, 0) x (0, 0) y (0, 0)
1
2
1
k

f2
f2
f2
f2

(0, 0)
(0, 0)
(0, 0)
(0, 0)
x1
x2
xk
y1

..
..
..
..

.
.
.
.

fm
fm
fm
fm
(0, 0)
(0, 0)
(0, 0)
(0, 0)
x1
x2
xk
y1
de maneira simplificada,

...

..
.

g1
(0, 0)
ym
g2
(0, 0)
ym
..
.
gk
(0, 0)
ym
gk+1
(0, 0)
ym
..
.
gk+m
(0, 0)
ym

f1
(0, 0)
,
ym

f2

(0, 0)

ym

..

fm
(0, 0)
ym
0
..
.

  Ik   O 

g (0, 0) = f
,
f
(0, 0)
(0, 0)
x
y

onde Ik e a matriz identidade de ordem k k e O e a matriz nula de ordem m m. Sabemos da

Algebra
Linear que o jacobiano de [g (0, 0)] e dado por



Ik
O
f
 


(0, 0) 6= 0
Jg (0, 0) = det f
= det
f
y
(0, 0)
(0, 0)
x
y

55

entao
Jg (0, 0) 6= 0
Segue do Teorema da Funca o Inversa que existe um aberto U contendo (0, 0) Rk Rm tal

que V = g(U) e um aberto e a restrica o de g a U e uma bijeca o sobre V . Com inversa continua
h : V U que pertence a` classe C1 (V ) e com h(0, 0) = (0, 0). Ora h tem a forma


h(x, z) = h1 (x, z), h2 (x, z) , para (x, z) V,

onde h1 : V Rk e h2 : V Rm . Como




(x, z) = g h (x, z) = g h(x, z) = g h1 (x, z), h2 (x, z) = h1 (x, z), f h1 (x, z), h2 (x, z)

temos que:

x = h1 (x, z) e z = f h1 (x, z), h2 (x, z) .

Logo h toma a forma mais simples

h(x, z) = x, h2 (x, z) .

Ora se : Rk Rm Rm e definida por (x, z) = z entao e linear e contnua e

ou seja

h (x, z) = h(x, z) = h1 (x, z), h2 (x, z) = h2 (x, z),

para (x, z) V

h2 = h.
Portanto, h2 C1 (V ) e temos.


z = f x, h2 (x, z) para (x, z) V.

(43)

Seja agora = {x Rk : (x, 0) V } tal que e um aberto contendo 0 Rk e definamos

(x) = h2 (x, 0) para x .

Calculando e 0, obtemos que

(0) = h2 (0, 0) = h (0, 0) = h(0, 0) = (0, 0) = 0

Como (x) = h2 (x, 0) para x , entao e de classe C1 ().

De (43) e para x temos que

0 = f x, h2 (x, 0)


=
f x, (x)

56

ou seja, f x, (x) = 0, para todo x .
Isso mostra a parte a) do teorema.

Agora vamos mostrar a parte b) do teorema.

De fato,
() Seja (x, y) U tal que f (x, y) = 0. Entao


g(x, y) = x, f (x, y) = (x, 0) V dado,

decorre que x . Alem disso,

(x, y) = h g (x, y) = h g(x, y) = h(x, 0) = x, h2 (x, y) = x, (x)

de modo que y = (x) para todo x .

() Seja (x, y) U tal que y = (x) para todo x . Entao

f (x, y) = f x, f (x, y) .

Isso mostra a parte b)

Observaca o: Caso a f e de classe C p a tambem sera de classe C p .

7.2

DO TEOREMA DA FUNC
IMPLICITA
APLICAC
AO
AO

Exerccio 7.1 Considere o sistema de equaco es

(
sen(x + y + z) = z4

x y + z = sen(x4 + y4 + z4 )

(44)

a) Prove que existem funco es reais e diferenciaveis de 1 (z) e 2 (z) definidos para |z| suficientemente pequeno tais 1 (0) = 2 (0) = 0 e

(x, y, z) = 1 (z), 2 (z), z

e soluca o do sistema (44).

Soluca o: Consideremos as seguintes funco es,

f1 (x, y, z) = sen(x + y + z) z4 ,

f2 (x, y, z) = x y + z sen(x4 + y4 + z4 ),

57

Seja f definida por

f : R3

R2

(x, y, z) 7 f (x, y, z) = f1 (x, y, z), f2 (x, y, z)

= sen(x + y + z) z4 , x y + z sen(x4 + y4 + z4 )

A funca o f satisfaz as condico es do Teorema da Funca o Implcita. De fato,

A funca o f e de classe C .

f (0, 0, 0) = sen(0) 0, 0 sen(0) = (0, 0).

f1


x
f
(x, y, z) = det
det

(x, y)
f2
" x


= det

f1
y

f2
y
cos(x + y + z)

cos(x + y + z)

1 cos(x4 + y4 + z4 )4x3 1 cos(x4 + y4 + z4 )4x3

aplicando no ponto (0, 0, 0)

"
#

1 1
f
det
(0, 0, 0) = det
= 2 6= 0
(x, y)
1 1


logo, satisfaz as condico es do Teorema da Funca o Implcita.

Portanto, existe um intervalo aberto I contendo o ponto zero e uma funca o

: I R R2
Aplicando no ponto (0, 0), obtemos

onde

z (z) = 1 (z), 2 (z) .

(0) = 1 (0), 2 (0) = (0, 0)

1 (0) = 2 (0) = 0.
Alem disso, o Teorema da Funca o Implcita nos fornece a seguinte relaca o:


f (z), z = (0, 0) se z I



f 1 (z), 2 (z) , z = (0, 0) se z I

58

entao





(0, 0) = sen 1 (z) + 2 (z) + z z4 , 1 (z) 2 (z) + z sen 14 (z) + 24 (z) + z4

implica que

0 = sen 1 (z) + 2 (z) + z z4

0 = 1 (z) 2 (z) + z sen 14 (z) + 24 (z) + z4 ,

da segue que a soluca o do sistema na forma implcita e :

(


sen 1 (z) + 2 (z) + z = z4

1 (z) 2 (z) + z = sen 14 (z) + 24 (z) + z4

para todo z I.

59

CONCLUSAO

O Teorema da Funca o Inversa e um dos temas principais da Analise Matematica, pois dada
uma funca o qualquer f : V V com V Rn existe uma inversa f 1 : V V se satisfaz as

condico es do Teorema. Como aplicaca o do Teorema temos o Metodo das Caractersticas para
soluca o de equaco es a derivadas parciais de primeira ordem, cujo metodo com baseia em troca

de variaveis, que e possvel pela existencia da funca o inversa, a existencia da inversa e dada
pelo Jacobiano diferente de zero, a f e inversvel localmente.
O Teorema da Funca o Implcita e uma consequencia do Teorema da Funca o Inversa, onde
tem objetivo mostrar a soluca o de um sistema complicado de forma implcita desde que satisfaca
as condico es do Teorema, e este e a elegancia do Teorema, pois mesmo que nao saiba a forma
explicita e possvel mostrar a soluca o implcita da equaca o no intervalo aberto.

60

REFERENCIAS

BARTLE, R. G. Elementos de Analise Real. 1. ed. Rio de Janeiro: Campus, 1983.

CIPOLATTI, R. Calculo Avalcado I. 1. ed. Rio de Janeiro: Universidade Federal do Rio de
Janeiro, 2002.
GUIDORIZZI, H. L. Um Curso de Calculo Volume 3. 4. ed. Sao Paulo: Livros Tecnicos S.A.
e Universidade de Sao Paulo, 2000.
LIMA, E. L. Analise Real volume 2, Funco es de n Variaveis. 4. ed. Rio de Janeiro: Instituto
Nacional de Matematica Pura e Aplicada, 2009.
LIMA, E. L. Curso de analise Vol.2. 11. ed. Rio de Janeiro: Instituto Nacional de Matematica
Pura e Aplicada, 2009.
RUDIN, W. Princpios de Analise Matematica. 1. ed. Rio de Janeiro: Livros Tecnicos S.A. e
Universidade de Brasilia, 1971.