Diferenciabilidade continua cao

ODULO 1 AULA 8
Aula 8 Diferenciabilidade continua cao
Objetivos
Conhecer as principais implicacoes decorrentes do conceito de diferen-
ciabilidade de funcoes reais de v arias variaveis reais.
Aprender um criterio de identica cao de fun coes diferenci aveis.
A aula anterior foi dedicada ao estabelecimento do conceito de diferen-
ciabilidade de uma funcao real de duas vari aveis em um dado ponto. Foi
dado enfase no ponto de vista da melhor aproxima cao am da fun cao, numa
vizinhan ca do ponto em quest ao.
Ainda na aula passada, observamos que a existencia das derivadas par-
ciais e uma condicao necessaria para a fun cao ser diferenci avel.
Iniciaremos esta aula apresentando outra condi cao necessaria para a
funcao f ser diferenci avel em um dado ponto (a, b).
A continuidade da fun cao como uma condi cao necessaria
para a sua diferenciabilidade
Podemos enunciar esse fato da seguinte forma.
Teorema 8.1:
Seja f : A lR
2
lR uma func ao denida em um subconjunto aberto
de lR
2
, e seja (a, b) A. Se a fun cao f e diferenci avel em (a, b), ent ao f e
contnua em (a, b).
Como p q e equivalente a q = p, se f nao for contnua em
(a, b), ent ao f nao ser a diferenci avel em (a, b). Temos, assim, a continuidade
como uma condicao necessaria para a diferenciabilidade.
Demonstracao do teorema 8.1
Se f e diferenci avel em (a, b), ent ao lim
x a
y b
E(x, y)
|(x, y) (a, b)|
= 0, onde
E(x, y) = f(x, y) f(a, b)
f
x
(a, b) (x a)
f
y
(a, b) (y b).
Como
lim
x a
y b
E(x, y)
|(x, y) (a, b)|
= 0 = lim
x a
y b
E(x, y) = 0
85
CEDERJ
Diferenciabilidade continua cao
e
lim
x a
y b

f
x
(a, b) (x a) +
f
y
(a, b) (y b)

= 0,
conclumos que lim
x a
y b
f(x, y) f(a, b) = 0, pois
f(x, y) f(a, b) = E(x, y)

f
x
(a, b) (x a) +
f
y
(a, b) (y b)

.
Ora, isso e equivalente a lim
x a
y b
f(x, y) = f(a, b), portanto, f e contnua
em (a, b).
Veja, agora, exemplos em que essas duas condi coes necessarias existen-
cia das derivadas parciais e continuidade se mostram insucientes para
garantir a diferenciabilidade da fun cao.
Exemplo 8.1
Seja f(x, y) = x + |y|. Essa funcao est a bem denida em todo o lR
2
e e, claramente, contnua em todos os pontos de seu domnio, pois
lim
x a
y b
f(x, y) = a +|b| = f(a, b).
No entanto, essa fun cao n ao admite derivada parcial em rela cao a y na
origem, por exemplo. Realmente,
lim
y0
+
f(0, y) f(0, 0)
y
= lim
y0
+
|y|
y
= 1,
lim
y0

f(0, y) f(0, 0)
y
= lim
y0

|y|
y
= 1.
Como f nao admite derivada parcial em rela cao a y, na origem, e
admitir derivadas parciais e uma condicao necessaria para f ser diferenci avel,
conclumos que ela n ao e diferenci avel na origem, apesar de ser contnua.
Veja o gr aco de f. Note como ele apresenta um vinco sobre o eixo Ox.
x
y
CEDERJ
86
Diferenciabilidade continua cao
M

ODULO 1 AULA 8
Exerccio 1
Determine o conjunto no qual a fun cao f(x, y) = x +|y| admite ambas
as derivadas parciais.
O fato de a continuidade ser necessaria, porem nao suciente, para f
ser diferenci avel em um dado ponto n ao chega a surpreender, uma vez que
esse fenomeno ocorre no caso das funcoes de uma vari avel. Um pouco mais
surpreendente e o fato de uma funcao admitir ambas as derivadas parciais
num dado ponto e, mesmo assim, n ao ser diferenci avel no referido ponto. Isso
pode ocorrer devido `a diferenciabilidade de f estar condicionada ao fato de
o limite do quociente
E(x, y)
|(x, y) (a, b)|
, quando (x, y) tende a (a, b), ser igual
a zero.
Nosso pr oximo exemplo ilustrar a isso.
Exemplo 8.2
Seja
f(x, y) =

x
2
y
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
,
uma fun cao denida em todo o lR
2
.
Vamos mostrar que f e contnua, que admite ambas as derivadas par-
ciais na origem e, mesmo assim, f nao e diferenciavel na origem.
A funcao f e, claramente, contnua nos pontos diferentes da origem.
Realmente, se (a, b) = (0, 0), ent ao
lim
x a
y b
x
2
y
x
2
+ y
2
=
a
2
b
a
2
+ b
2
= f(a, b).
Considere, agora, g(x, y) =
x
2
x
2
+ y
2
uma fun cao limitada, pois
|g(x, y)| =
x
2
x
2
+ y
2
1.
Como f(x, y) = y g(x, y) e lim
(x,y)(0,0)
y = 0, podemos concluir que
lim
(x,y)(0,0)
f(x, y) = lim
(x,y)(0,0)
y g(x, y) = 0 = f(0, 0).
Assim, f e contnua na origem.
87
CEDERJ
Diferenciabilidade continua cao
E, agora, o c alculo das derivadas parciais de f, na origem.
f
x
(0, 0) = lim
x 0
y 0
f(x, 0) f(0, 0)
x
= lim
x 0
y 0
0
x
= 0;
f
y
(0, 0) = lim
x 0
y 0
f(0, y) f(0, 0)
y
= lim
x 0
y 0
0
y
= 0.
Isso comprova que f admite derivadas parciais na origem (ambas nulas).
Finalmente, vamos analisar o lim
x 0
y 0
E(x, y)
|(x, y)|
.
Note que
E(x, y) = f(x, y) f(0, 0)
f
x
(0, 0) x
f
y
(0, 0) y =
x
2
y
x
2
+ y
2
.
Portanto,
lim
x 0
y 0
E(x, y)
|(x, y)|
= lim
x 0
y 0
E(x, y)

x
2
+ y
2
= lim
x 0
y 0
x
2
y
(x
2
+ y
2
)
3/2
.
Basta considerar a restri cao desse limite sobre a reta y = x. Veja:
lim
x0
+
x
3
(2x
2
)
3/2
= lim
x0
+
x
3
2

2 |x|
3
=

2
4
;
lim
x0

x
3
(2x
2
)
3/2
= lim
x0

x
3
2

2 |x|
3
=

2
4
.
Como esses limites laterais sao diferentes, o quociente
E(x, y)
|(x, y) (0, 0)|
=
x
2
y
(x
2
+ y
2
)
3/2
nao admite limite quando (x, y) tende a (0, 0). Logo, f nao e diferenciavel
na origem.
Veja, sob dois pontos de vista, o gr aco da funcao
h(x, y) =
E(x, y)

x
2
+ y
2
=
x
2
y
(x
2
+ y
2
)
3/2
,
que nao admite limite na origem.
CEDERJ
88
Diferenciabilidade continua cao
M

ODULO 1 AULA 8
Exerccio 2
Mostre que a fun cao
f(x, y) =

x
2
y
2
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
e diferenci avel na origem.
Exerccio 3
Mostre que a fun cao
f(x, y) =

x
3
x
2
+ y
2
, se (x, y) = (0, 0)
0, se (x, y) = (0, 0)
e contnua, admite derivadas parciais em todos os seus pontos, mas n ao e
diferenci avel na origem. O que voce pode dizer sobre a continuidade das
funcoes derivadas parciais de f?
Para terminar esse tema, vamos estabelecer uma deni cao.
Deni cao 8.1:
Seja f : A lR
2
lR uma fun cao denida num subconjunto aberto
A de lR
2
. Dizemos que f e diferenci avel se f for diferenci avel em todos os
pontos de A.
Uma condi cao suciente para f ser diferenciavel
Apos todas essas informa coes, voce deve estar fazendo a seguinte per-
gunta: sob quais condi coes poderemos armar que uma certa fun cao f e
diferenci avel, a partir de uma an alise de suas derivadas parciais? Ou seja,
h a algum criterio que permita detectar situa coes nas quais, claramente, a
funcao e diferenci avel, evitando o uso imediato da deni cao?
Por exemplo, gostaramos de armar que funcoes tais como f(x, y) =
xy cos(x + y), ou g(x, y, z) = e
xyz
sao diferenci aveis, sem ter de calcular
os limites do quociente do erro por |(x, y) (a, b)| ou |(x, y, z) (a, b, c)|,
dependendo do caso.
Para responder a essa quest ao, vamos precisar estender um conceito
que ja conhecemos das fun coes de uma vari avel.
89
CEDERJ
Diferenciabilidade continua cao
Deni cao 8.2:
Seja f : A lR
2
lR uma fun cao denida num aberto A de lR
2
. Se
f admitir derivadas parciais,
f
x
e
f
y
, em todos os pontos do conjunto A e
se alem disso as derivadas parciais forem funcoes contnuas, diremos que f e
uma fun cao de classe C
1
.
Veremos que ser de classe C
1
e uma condicao suciente para que a
funcao f seja diferenci avel.
Teorema 8.2:
Se f : A lR
2
lR e uma funcao de classe C
1
, ent ao f e
diferenci avel.
Veja, esse teorema responde `a quest ao que formulamos anteriormente,
pelo menos em um n umero consider avel de casos.
Exemplo 8.3
A funcao f(x, y) = xy cos(x + y) e diferenci avel. Realmente, f est a
denida em todo o lR
2
. Alem disso,
f
x
(x, y) = y cos(x + y) xy sen (x + y),
f
y
(x, y) = x cos(x + y) xy sen (x + y),
sao ambas fun coes contnuas, denidas em lR
2
. Assim, f e de classe C
1
e,
portanto, diferenci avel.
Antes de provarmos o teorema, observe que todas essas deni coes e
resultados tambem valem para funcoes de mais de duas vari aveis. Use isso
para resolver o exerccio seguinte.
Exerccio 4
Mostre que a fun cao g(x, y, z) = e
xyz
e diferenci avel.
Demonstracao do teorema
Seja (a, b) A um ponto generico, m =
f
x
(a, b) e n =
f
y
(a, b).
Para mostrar que f e diferenci avel em (a, b), devemos mostrar que o limite
CEDERJ
90
Diferenciabilidade continua cao
M

ODULO 1 AULA 8
de
E(x, y)
|(x, y) (a, b)|
, quando (x, y) (a, b), e zero. Lembre-se:
lim
x a
y b
E(x, y)
|(x, y) (a, b)|
= lim
x a
y b
f(x, y) f(a, b) m(x a) n(y b)

(x a)
2
+ (y b)
2
= lim
h 0
k 0
f(a + h, b + k) f(a, b) mh nk

h
2
+ k
2
,
com h = x a e k = y b.
Note que, devido a A ser um conjunto aberto, podemos garantir que,
para valores pequenos de h e k, (a + h, b + k) A.
Nessa altura, fazer isso n ao parece ser uma tarefa f acil. Realmente, para
isso usaremos algumas estrategias bem conhecidas, mas para quem nunca as
viu antes, podem parecer um bocado misteriosas.

E algo assim como o ovo
que Colombo colocou em pe. Parece impossvel antes, mas, depois de feito,
parece ser bem simples. Veremos.
Nesse tipo de situacao, estaremos sempre tentando dividir o limite em
peda cos menores, que possamos controlar, usando o fato de que
|a + b| |a| +|b|.
Durante o processo, vamos usar o Teorema do Valor Medio, que arma:
se g e uma funcao contnua, denida no intervalo [, ] e diferenci avel no
intervalo (, ), ent ao existe um n umero (, ), tal que
g

() =
g() g()

.
Iniciamos aplicando a velha e famosa jogada de somar e subtrair um
termo conveniente:
f(a+h, b +k) f(a, b) = f(a+h, b +k) f(a+h, b) +f(a+h, b) f(a, b).
Agora, o Teorema de Valor Medio em dose dupla. Considere
g
1
(y) = f(a + h, y), e g
2
(x) = f(x, b),
funcoes de uma vari avel, denidas e contnuas nos intervalos fechados cujos
extremos sao b e b +k, no primeiro caso, e a e a+h, no segundo. Alem disso,
essas funcoes sao diferenci aveis nos intervalos abertos.
Uma vez que xamos a e h, f(a + h, y) passa a denir uma funcao de
uma vari avel, y, que chamamos g
1
. Analogamente, quando xamos b, f(x, b)
dene uma funcao em x, de uma vari avel, que chamamos g
2
.
91
CEDERJ
Diferenciabilidade continua cao
Como essa fun coes satisfazem as hipoteses do Teorema do Valor Medio,
podemos armar que existem n umeros,
1
entre b e b +k e
2
entre a e a+h,
tais que
g

1
(
1
) =
f
y
(a + h,
1
) =
f(a + h, b + k) f(a + h, b)
(b + k) b
e
g

2
(
2
) =
f
x
(
2
, b) =
f(a + h, b) f(a, b)
(a + h) a
.
Resumindo, para cada h e k sucientemente pr oximos de zero obtemos
n umeros
1
, entre b e b + k e
2
entre a e a + h, tais que
f
y
(a + h,
1
) k = f(a + h, b + k) f(a + h, b)
e
f
x
(
2
) h = f(a + h, b) f(a, b).
Munidos dessas duas igualdades, vamos enfrentar o quociente
E(h, k)

h
2
+ k
2
.

f(a + h, b + k) f(a, b) mh nk

h
2
+ k
2

=
=

f(a + h, b + k) f(a + h, b) + f(a + h, b) f(a, b) mh nk

h
2
+ k
2

f
y
(a + h,
1
) k +
f
x
(
2
, b) h
f
x
(a, b) h
f
y
(a, b) k

h
2
+ k
2

f
y
(a+h,
1
)
f
y
(a, b)

h
2
+ k
2
+

f
x
(
2
, b)
f
x
(a, b)

h
2
+ k
2

f
y
(a + h,
1
)
f
y
(a, b)

h
2
+ k
2
+

f
x
(
2
, b)
f
x
(a, b)

h
2
+ k
2
.
Puxa! Um minuto para respirar!
Agora que voce recuperou o f olego, observe: ganhamos o jogo!
Os n umeros
1
e
2
est ao entre a e a+h, e entre b e b+k, respectivamen-
te. Se zermos h e k tenderem para zero, teremos a+h e
1
tendendo para a e
b+k e
2
tendendo para b. Mas as fun coes
f
x
e
f
y
sao contnuas (a funcao f
e de classe C
1
, lembra?) e, portanto,
f
y
(a+h,
1
)
f
y
(a, b) e
f
x
(
2
, b)
f
x
(a, b), fazendo com que

f
y
(a+h,
1
)
f
y
(a, b)

f
x
(
2
, b)
f
x
(a, b)

CEDERJ
92
Diferenciabilidade continua cao
M

ODULO 1 AULA 8
tendam para zero. Como as fun coes
h

h
2
+ k
2
e
h

h
2
+ k
2
, de h e k, sao
limitadas, a soma

f
y
(a + h,
1
)
f
y
(a, b)

h
2
+ k
2
+

f
x
(
2
, b)
f
x
(a, b)

h
2
+ k
2
vai para zero, quando h e k v ao para zero. Ora, isso garante que
lim
h 0
k 0

E(h, k)

h
2
+ k
2

vai a zero. Logo,

lim
h 0
k 0
E(h, k)

h
2
+ k
2
= 0.
Podemos concluir: a fun cao f e diferenci avel em (a, b). Isso mostra que
f e diferenciavel e, assim, terminamos a prova do teorema e a aula.
Uma palavra nal, uma vez que j a h a exerccios para voce resolver,
deixados ao longo da aula.
Realmente, nesse est agio de sua vida academica, n ao se espera que
voce venha a fazer demonstracoes como a que voce acabou de ler. No en-
tanto, esforcos para entender argumentacoes desse tipo acrescentarao muita
experiencia `a sua bagagem, enriquecendo sua cultura matem atica. Alem
disso, voce estar a fazendo um bom investimento no seu futuro como ma-
tematico.
Aqui est a um ultimo exerccio.
Exerccio 5
Determine o domnio de continuidade e o domnio de diferenciabilidade
da funcao
f(x, y) =

9 x
2
y
2
.
Ate a pr oxima aula!
93
CEDERJ