Você está na página 1de 14

UniCV - 2012/13

ANLISE II - NOTAS DE AULAS -SEMANA 3


A. Joaquim Fernandes
(para erros ou omisses: ajokae@gmail.com)
SEMANA 3: Derivadas parciais
Funes de n variveis. Limites e continuidade de funes de n variveis. Derivadas parciais.
Leitura:
Ref.[1] - Leithold Vol 2
Sec. 16.1 (pg 909) a Sec. 16.4 (pg. 939)
TPC:
Ref.[1] - Leithold Vol 2
Pg. 917: 16.1 #2,4,(6),8,10,12,14,16,18,(20),22,24,26,28,30
Pg. 927: 16.2 #1,2,(3),4,5,6,7,8,(9),10,12,14,16,(18),20,22,42,44
Pg. 931: 16.3 #1,2,3,(4),6,8,10,12,18,(22),24,26,28,30
Pg. 939: 16.4 #3,4,(5),6,7,8,10,(12),16,18,20,24,26,28,(30),31,32
Funes de n variveis
Espao R
n
Extensionando os conceitos de espao vectorial R
2
e R
3
a : dimenses, dene-se o espao vectorial R
n
sobre o corpo R como o conjunto dos :-uplos de nmeros reais, com as operaes de adio de vectores e
multiplicao escalar.
Os vectores ^e
1
, ^e
2
, ..., ^e
n
, com ^e
1
= (1, 0, ..., 0) , ..., ^e
n
= (0, ..., 0, 1) constituem uma base (cannica) de
R
3
, em relao qual cada vector de R
n
possui uma representao coordenada
A = r
1
^e
1
+r
2
^e
2
+ +r
n
^e
n
=
_

_
r
1
.
.
.
r
n
_

_ = r
1
, ..., r
n

O produto interno entre dois vectores de R


n
dene-se como anteriormente por
A 1 = A
T
1 =
n

i=1
r
i
j
i
A norma euclideana de um vector por
|A| =
_
A A =

_
n

i=1
r
2
i
O teorema de Pitgoras e a desigualdade de Cauchy permanecem vlidas.
Os ngulos entre vectores, projeces de uma vector em outro e os ngulos directores so extenses dos
conceitos j introduzidos para os casos particulares de R
2
e R
3
.
Produtos exteriores so tambem extenses das noes j apresentadas mas no sero aqui aprofundados
para alm de R
3
, caso em que coincidem com produto externo.
A norma da diferena entre dois vectores A, 1 dene-se como a distncia entre eles
d (A, 1 ) = |A 1 |
Proposio 1 (Desigualdade tringular) Para quaisquer dois vectores A, 1 em R
3
tem-se que
|A +1 | _ |A| +|1 |
1
Prova. Dados dois vectores A, 1 em R
3
, tem-se que
|A +1 |
2
= (A +1 ) (A +1 )
= A A + 2A 1 +1 1
_ |A|
2
+ 2 |A| |1 | +|1 |
2
pela desigualdade de Schwarz
= (|A| +|1 |)
2
Logo
|A +1 | _ |A| +|1 |
Bolas abertas
Seja 1 um subconjunto do espao vectorial R
n
munido de uma norma
1
.
Chama-se uma bola aberta de centro A
0
e raio - 0 ao subconjunto
1
r
(A
0
) =
_
A R
3
: |A A
0
| < -
_
Bolas fechadas so denidas com a condio |A A
0
| _ -
Chama-se vizinhana de A
0
a qualquer subconjunto de R
n
que contenha uma bola aberta que possua
A
0
Pontos notveis de um subconjunto E de R
n
um ponto interior a 1 sse existir uma bola de centro incluida em 1: Se existir - 0 tal que
1
"
() 1
um ponto exterior a 1 sse existir uma bola de centro incluida em 1
c
: Se existir - 0 tal que
1
"
() 1
c
, onde 1
c
= R
n
1
um ponto do bordo de 1 sse no for nem interior nem exterior.
um ponto aderente de 1 sse qualquer vizinhana de possuir um elemento de 1: Qualquer
- 0, 1
"
() 1 ,= ?
um ponto de acumulao de 1 sse qualquer bola de centro possuir um elemento de 1 diferente
de : Qualquer - 0, (1
"
() ) 1 ,= ?
um ponto de isolado de 1 sse for uma vizinhana de
Exercise 2 Prove que um ponto de acumulao necessriamente um ponto aderente, mas um ponto ader-
ente no precisa ser ponto de acumulao. Quando que um ponto aderente no um ponto de acumulao?
Subconjuntos notveis de E R
n
Int 1, interior de 1, o conjunto de todos os pontos interiores de 1
Ext 1, exterior de 1, o conjunto de todos os pontos exteriores de 1
01, bordo (ou fronteira) de 1, o conjunto de todos os pontos fronteira de 1
1, fecho de 1, o conjunto de todos os pontos aderentes de 1
1
0
, derivado de 1, o conjunto de todos os pontos de acumulao de 1
1 aberto sse todos os seus pontos forem interiores a 1
1 fechado sse o seu complemento 1
c
for aberto.
1
Em espaos de dimenso nita todas as normas so equivalentes.
2
1 denso em R
n
sse 1 = R
n
(o fecho todo R
n
)
1 raro em R
n
sse Int
_
1
_
= ? (interior do seu fecho for vazio)
1 perfeito se for fechado e todos os pontos forem de acumulao.
Exemplo 3 R
n
aberto e tambm fechado. O conjunto vazio ? aberto e tambm fechado (os elementos
de um conjunto vazio, porque no existem, podem satisfazer qualquer propriedade!). Um conjunto nito no
pode ter pontos de acumulao. Pontos de acumulao so aderentes mas o recproco no verdadeiro, i.e.
pontos isolados so aderentes mas no so de acumulao.
O diametro de um subconjunto 1 R
n
diam1 = sup|A 1 | : A, 1 1
Um subconjunto 1 R
n
limitado se existir um nmero real ' tal que
diam1 _ '
Topologia em R
n
O conjunto de todas as bolas abertas constitui uma base da topologia "usual"de R
n
.
Uma sequncia em R
n
uma funo de N R
n
A sequncia representa-se por (A
k
), o seu termo geral por A
k
e o conjunto dos seus termos por A
k
,
onde / N o ndice que indica a ordem do termo da sequncia.
Entretanto, A possui coordenadas em relao a bases dadas, A = (r
i
) onde i = 1, ..., :
Note-se a distino entre os ndices i = 1, ..., : que representa as coordenadas do vector A
k
e o ndice /
que representa o termo da sequncia.
Uma sequncia (A
k
) converge para 1 sse \c 0, (c) N :
/ (c) = |A
k
1| < c
Exemplo 4 Considere a sequncia em R
n
dada pelo termo geral A
k
=

1
k
,
1
k
2
, ...,
1
k
n
_
Os termos gerais da sequncia so
A
1
= 1, 1, ..., 1
A
2
=
_
1
2
,
1
2
2
, ...,
1
2
n
_
A
3
=
_
1
3
,
1
3
2
, ...,
1
3
n
_
.
.
.
A
k
=
_
1
/
,
1
/
2
, ...,
1
/
n
_
A sequncia converge para 1 = 0, 0, ..., 0
Uma sequncia (A
k
) Cauchy sse \c 0, (c) N :
:, : (c) = |A
m
A
n
| < c
Na Anlise I estabeleceu-se que um subconjunto de R compacto sse qualquer sequncia possui uma
subsequncia convergente e tambem que qualquer intervalo fechado de R compacto (teorema de Heine
Borel).
Pelo teorema de Tikhonov, o produto de dois intervalos fechados de R compacto em R
2
.
Estendendo este teorema dimenso : obtem-se que se R
n
e 1 R
m
so compactos ento
1 R
n+m
compacto.
Como corolrio, se um subconjunto 1 R
n
for fechado e limitado ento compacto.
3
Um subconjunto 1 R
n
(sequncialmente) compacto sse qualquer sequncia em 1 possui uma sub-
sequncia convergente. (R
n
no compacto, mas qualquer subconjunto limitado e fechado de R
n
sequn-
cialmente compacto).
Da mesma maneira, um subconjunto 1 R
n
completo sse qualquer sequncia Cauchy em 1 conver-
gente (R
n
completo).
Um subconjunto 1 R
n
conexo por arcos sse quaisquer dois pontos podem ser conectados por uma
curva ser sair de 1.
Um subconjunto 1 R
n
desconexo sse for a unio de dois subconjuntos disjuntos, caso contrrio
conexo.
Funo real de n variveis
Uma funo real de : variveis ) : dom) R
n
R uma regra que associa a cada vector A =
r
1
, r
2
, ..., r
n
R
n
um nmero real n R
As variveis r
1
, r
2
, ..., r
n
chamam-se variveis independentes e a varivel n chama-se varivel de-
pendente.
Uma funo real de : variveis tambem chamada de campo escalar.
O grco de ) um subconjunto de R
n
R = R
n+1
graf ) =
_
(A, n) R
n+1
: ) (A) = n
_
O conjunto dos valores possveis de A R
n
chama-se domnio da funo
dom) = A R
n
: ) (A) R
O conjunto de chegada R designado de contradomnio da funo.
O conjunto dos valores possveis de n R chama-se imagem da funo
im) = ) (A) : A dom)
A imagem de um subconjunto 1 R
n
im1 = ) (A) R : A 1 R
A imagem inversa de um subconjunto O do contradomnio R
)
1
(O) = A R
n
: ) (A) O R
n
Fixando n = c, a imagem inversa de c designado de conjunto de nvel c da funo )
C

[)] = A R
n
: ) (A) = c
Conjuntos de nvel so tambem chamados curvas de nvel ou superfcies de nvel conforme forem curvas
ou superfcies respectivamente.
Um conjunto de nvel C

[)] dene vrias funes implcitas r


i
= /(r
1
, ..., r
i1
, r
i+1
, ..., r
n
) em (: 1)
variveis independentes (r
1
, ..., r
i1
, r
i+1
, ..., r
n
), cujos grcos graf / so subconjuntos de C

graf / C

[)]
4
Exemplo 5 Considere a funo ) : R
3
R dada por ) (r, j, .) = r
2
+j
2
.
2
O graf ) =
_
(r, j, ., n) R
4
: n = r
2
+j
2
+.
2
_
uma hiperfcie em R
4
, no sendo possvel represent-
lo geomtricamente pois no temos disponvel qualquer modelo geomtrico de representao em 4 dimenses.
O conjunto de nvel C
1
[)] =
_
(r, j, r) R
3
: r
2
+j
2
.
2
= 1
_
uma hiperboloide de duas folhas
x y
z
Este conjunto de nvel dene vrias funes implcitas, entre as quais
. = /(r, j) =
_
1 +r
2
+j
2
. = q (r, j) =
_
1 +r
2
+j
2
cujos grcos so subconjuntos de C
1
graf / =
_
(r, j, .) : . =
_
1 +r
2
+j
2
_
C
1
[)]
graf q =
_
(r, j, .) : . =
_
1 +r
2
+j
2
_
C
1
[)]
Por sua vez, para cada uma destas funes implcitas possvel calcular conjuntos de nvel. O conjunto
de nvel 2 de /, por exemplo
C
2
[/] =
_
(r, j) :
_
1 +r
2
+j
2
= 2
_
5
-3 -2 -1 1 2 3
-3
-2
-1
1
2
3
x
y
E este conjunto de nvel dene por sua vez vrias funes implcitas, entre as quais
j = j (r) =
_
3 r
2
j = (r) =
_
3 r
2
cujos grcos so subconjuntos de C
2
[/]
graf j =
_
(r, j) : j =
_
3 r
2
_
C
2
[/
1
]
graf =
_
(r, j) : j =
_
1 +r
2
+j
2
_
C
2
[/
1
]
Funes podem ser compostas a partir de outras.
Dada uma funo ) : R
3
R e uma funo real / : dom/ R R, se im) dom/ (funes
compositveis) ento a funo / ) uma nova funo composta das duas primeiras
O esquema da dependncia das variveis torna-se til para visualizar a composio de funes.
Exemplo 6 Dada a funo polinomial de duas variveis de grau 4 (mais elevada soma dos grau de r
e j num mesmo monnio)
) (r, j) = r
3
j r
2
j + 1
e a funo /(t) = t
2
1, estas so compositveis pois dom/ = R e a funo composta
/ ) (r, j) =
_
r
3
j r
2
j + 1
_
2
1
6
Limites de funes de n variveis
Dada uma funo ) : dom) R
3
R, se para um dado ponto de acumulao (dom))
0
existir um
nmero real 1 com a propriedade \- 0, c 0
0 < |A | < c = [) (A) 1[ < -
ento diz-se que 1 o limite de ) quando A tende para e escreve-se
lim
X!A
) (A) = 1
Esta denio de limite exclui o que se passa em , ou seja, impe-se a restrio A ,= .
Exemplo 7 Para provar que
lim
X!h1;2i
3r
2
+j = 5
h que mostrar que \- 0, c 0 tal que
|r, j 1, 2| < c =

3r
2
+j 5

< -
Simplicando o antecedente desta implicao |r, j 1, 2| =
_
(r 1)
2
+ (j 2)
2
< c
A tcnica da demonstrao semelhante j apresentada na Anlise I: tentar controlar

3r
2
+j 5

< -
a partir da condicionante imposta pela hiptese |r, j 1, 2| < c _ 1, se necessrio xando um valor
mximo para c, e estabelecendo uma relao entre c (-).
Pela desigualdade tringular

3r
2
+j 5

_ 3 [r + 1[ [r 1[ +[j 2[
Agora preciso encontrar majorantes para [r + 1[ , [r 1[ e [j 2[
Como 0 < [r 1[ _
_
(r 1)
2
+ (j 2)
2
< c _ 1 (xando o valor mximo de c), tem-se que
[r 1[ < 1
1 < r 1 < 1
1 < r + 3 < 3 = [r + 1[ < 3
Como [j 2[ _
_
(r 1)
2
+ (j 2)
2
tem-se que

3r
2
+j 5

_ 3 (3)
_
(r 1)
2
+ (j 2)
2
+
_
(r 1)
2
+ (j 2)
2
_ 10
_
(r 1)
2
+ (j 2)
2
< 10c = -
Logo se
c = min
_
1,
-
10
_
a condio de limite vericada.
Existe uma diferencia essencial entre um limite de uma funo de uma varivel e um limite de uma funo
de vrias variveis.
Enquanto que em funes de uma varivel, um ponto de acumulao do domnio pode ser aproximado
apenas em dois sentidos de uma mesma direco
7
nas funes reais de vrias variveis um ponto de acumulao pode ser aproximado de uma innidade de
direces e sentidos
Uma semi-recta em R
n
com origem em numa direco \ dada pela equao com um parmetro t _ 0
A = +\ t
Um limite direcional de ) dene-se num ponto de acumulao do dom) e em relao a uma direco
\ , por
lim
t!0
+
) (+\ t) = 1
e calcula-se como um limite de uma funo real, na varivel t.
Por exemplo, dada uma funo real de : variveis, o limite direcional de ) num ponto de acumulao
(r, j) e na direco ^i dado por
lim
t!0
) (r +t, j)
e o limite direcional de ) num ponto de acumulao (r, j) e na direco ^; dado por
lim
t!0
) (r, j +t)
Mais geralmente, seja o dom) qualquer subconjunto do domnio de ), tal que tambem ponto de
acumulao de o, ento dene-se o limite de ) quando A tende para relativo a o como
lim
X!A
X2S
) (A) = 1
e calcula-se com a denio de limite j apresentada mas com a restrio A o.
Proposio 8 Se lim
X!A
) (A) existir e for 1 ento todos os limites direcionais lim
t!0
+ ) (+\ t) existem
e so iguais a 1, para qualquer \
lim
X!A
) (A) = 1 = lim
t!0
+
) (+\ t) = 1 para qualquer \
O recproco desta proposio no verdadeiro, como se ver adiante.
Mas pelo contrarecproco, se existir algum limite direcional diferente de 1 ento o limite da funo em
no pode ser 1.
Este um mtodo frequentemente usado para provar no existncia de limites.
Exemplo 9 Calculando na origem os limites direccionais da funo denida por
) (r
1
, r
2
) =
r
2
1
r
2
2
r
2
1
+r
2
2
Sobre semirectas A = \ t =
1
t,
2
t = t cos 0, t sin0, considerando \ unitrio, os limites direcionais so
lim
t!0
+
) (t cos 0, t sin0) = lim
t!0
+
(t cos 0)
2
(t sin0)
2
(t cos 0)
2
+ (t sin0)
2
=
cos
2
0 sin
2
0
cos
2
0 + sin
2
0
= cos 20
Os limites direccionais so diferentes para diferentes direces de \ , logo o limite da funo na origem
no existe.
8
Como foi referido acima, o recproco da proposio acima no verdadeiro, a existncia de todos os
limites direcionais no garante a existncia de limite.
Exemplo 10 Calculando na origem os limites direccionais da funo denida por
) (r
1
, r
2
) =
r
5
1
_
r
8
1
+ (r
2
r
2
1
)
2
_
com dom) = R
2
(0, 0)
Sobre semirectas A = \ t =
1
t,
2
t = t cos 0, t sin0, considerando \ unitrio, os limites direcionais
so
lim
t!0
+
) (t cos 0, t sin0) = lim
t!0
+
(t cos 0)
5
_
(t cos 0)
8
+
_
(t sin0) (t cos 0)
2
_
2
_
= lim
t!0
+
t
3
cos
5
0
_
t
6
cos
8
0 + sin
2
0 2t sin0 cos
2
0 +t
2
cos
4
0

= 0
Os limites direcionais so todos iguais a 0
Mas sobre a parbola C :
_
r
1
= t
r
2
= t
2
obtem-se o limite
lim
t!0
+
)
_
t, t
2
_
= lim
t!0
+
t
5
_
t
8
+ (t
2
t
2
)
2
_
= lim
t!0
+
t
5
t
8
=
Logo, apesar do limite direcional ser o mesmo em todas as direces, a funo no possui limite na
origem!
Proposio 11 Deixe for um ponto de acumulao do dom) e lim
X!A
) (A) = 1. Ento, para qualquer
subconjunto o do domnio para o qual um ponto de acumulao, tem-se que
lim
X!A
X2S
) (A) = 1
Exemplo 12 A funo
) (r, j) =
rj
r
2
+j
2
est denida em todos os pontos excepto na origem (0, 0).
Deixe o
1
= (r, j) : j = 0 e o
2
= (r, j) : r = j.
O limite de ) quando A (0, 0) em o
1
lim
X!(0;0)
X2S1
) (A) = lim
X!(0;0)
0
r
2
= 0
O limite de ) quando A (0, 0) em o
2
lim
X!(0;0)
X2S2
) (A) = lim
X!(0;0)
r
2
2r
2
=
1
2
Logo, como os limites relativos a o
1
e a o
2
diferem, o limite de ) na origem no existe.
9
V-se que o clculo de limites de funes reais em : variveis muito mais "sensvel "do que o clculo de
limites de funes reais de uma varivel. Por isso, a utilizao de teoremas sobre limites de funes reais de
: variveis torna-se indispensvel.
Se lim
X!A
) (A) = 1 e lim
X!A
q (A) = ' ento
lim
X!A
[) (A) q (A)] = 1 '
lim
X!A
[) (A) q (A)] = 1'
lim
X!A
_
f(X)
g(X)
_
=
L
M
para ' ,= 0
lim
X!A
[) (A)]
m
= 1
m
lim
X!A
[) (A)]
1
q
= 1
1
q
com a restrio de que se for par ento 1 _ 0
lim
X!A
) (A) = 1 = lim
X!A
[) (A) 1] = 0
lim
X!A
) (A) = 1 = lim
T!0
) (+T) = 1 (substituio T = A )
Continuidade de funes de n variveis
Uma funo real de : variveis contnua num ponto do seu domnio dom) sse o limite 1 existir e for
igual ao valor da funo nesse ponto ) ().
Se as trs condies forem satisfeitas:
\- 0, c 0 : |A | < c = [) (A) ) ()[ < -
ento escreve-se que
lim
X!A
) (A) = ) ()
Enquanto que na denio de limite num ponto necessrio apenas que seja um ponto de acumulao
de dom), na denio de continuidade num ponto necessrio que dom).
Se uma funo no for contnua num ponto dom) R
n
, diz-se que ela descontnua nesse ponto,
isto
2
:
- 0, \c 0 : \A dom) . |A | < c = [)(A) )()[ _ -
A descontinuidade de uma funo real de : variveis pode ser removvel se lim
X!A
) (A) existir, ou
essencial caso contrrio.
O teorema de Bolzano (ou valor intermdio) tambm vlido com as devidas adaptaes. Se a funo
real de : variveis ) for contnua num conexo 1 R
n
, e se c, , Im) com c < ,, e ainda se um
nmero real tal que c < < ,, ento existe algum ponto A 1 tal que ) (A) = .
A continuidade preserva compacidade de subconjuntos de R
n
. Se 1 R
n
um conjunto compacto e
) : 1 R
n
R uma funo contnua, ento ) (1) um compacto de R e ) uniformemente contnua
em 1 (teorema de Heine-Cantor).
O teorema de Weierstrass tambem se aplica com as devidas alteraes. Se 1 R
n
for um compacto no
vazio, qualquer funo real ), denida e contnua em 1, tem mximo e mnimo nesse conjunto.
Os teoremas sobre continuidade de funes reais de uma varivel podem ser estendidos a funes reais
de : variveis.
Se ) e q forem fnes contnuas num ponto
) +q contnua em ;
) q contnua em ;
) q contnua em ;

f
g
contnua em , desde que q() ,= 0
2
Existe uma vizinhana impenetrvel centrada em f (A), qualquer que seja a aproximao que se faa a A, no domnio.
10
Uma funo polinomial de duas variveis contnua em todos os pontos de R
n
.
Uma funo racional de duas variveis contnua em todos os pontos do seu domnio.
Dada uma funo real ) de : variveis e uma funo real / de uma varivel, a funo composta / )
contnua em A se ) contnua em r e / contnua em ) (A).
Derivadas parciais
Dada uma funo real de : variveis ) , os acrscimos da funo a partir de um determinado ponto interior
ao domnio A int (dom)) e numa determinada direco \ , podem ser medidos pela diferena
) (A +\ t) ) (A)
Se \ for um vector unitrio, dene-se a derivada direcional de ) na direco de \ como o limite da
razo incremental de ) na direco de \ , e representa-se de vrias maneiras
1
V
) (A) =
0)
0\
(A) = lim
t!0
) (A +\ t) ) (A)
t
A derivada direcional de ) na direco ^i chama-se derivada parcial de ) em relao a r, e dado por
1
^{
) (A) =
0)
0r
(r, j) = lim
t!0
) (r +t, j) ) (r, j)
t
A derivada direcional de ) na direco ^; chama-se derivada parcial de ) em relao a j, e dado por
1
^|
) (A) =
0)
0j
(r, j) = lim
t!0
) (r, j +t) ) (r, j)
t
Estes conceitos podem ser estendidos a : dimenses.
As derivadas parciais de ordem superior so obtidas pela aplicao reiterada da derivao parcial.
11
Exemplos de derivada parcial segunda de )
1
^{^{
=
0
0r
_
0)
0r
_
=
0
2
)
0r
2
1
^{^|
=
0
0j
_
0)
0r
_
=
0
2
)
0j0r
Exemplos de derivada parcial terceira de )
1
^{^{^{
=
0
0r
_
0
2
)
0r
2
_
=
0
3
)
0r
3
1
^{^{^|
=
0
0j
_
0
2
)
0r
2
_
=
0
3
)
0j0r
3
Diferenciabilidade
Viu-se na Anlise I que uma funo real de uma varivel diferencivel num ponto r
0
se a derivada nesse
ponto existir
)
0
(r
0
) = lim
x!0
) (r
0
+ r) ) (r
0
)
r
onde r = r r
0
uma varivel local centrada em r
0
(que por vezes designada de /).
A derivada de facto um operador linear )
0
(r
0
) que, numa vizinhana de r
0
, fornece a "mel-
hor"aproximao linear da funo )
3
) (r
0
+ r) = ) (r
0
) +)
0
(r
0
) r +o (r)
Em dimenses superiores torna-se ainda mais claro que a derivada de uma funo real de : variveis num
ponto A
0
um operador linear no espao tangente a R
n
no ponto A
0
.
Denio 13 Uma funo real ) de : variveis, diferencivel num ponto A
0
int (dom)), sse existir
um operador linear 1
X0
: R
n
R tal que para qualquer \ com A
0
+ A dom), se tenha
) (A
0
+ A) = ) (A
0
) +1
X0
(A) +o (|A|)
onde A = A A
0
um vector do espao tangente de R
n
em A
0
.
Chama-se incremento de ) expresso
) (A
0
) = ) (A
0
+ A) ) (A
0
)
3
Uma funo g (x) o (x) se lim
x!0
g(x)
x
= 0
12
Proposio 14 Se uma funo real de 2 variveis for diferencivel num ponto A
0
int (dom)) ento )
contnua nesse ponto.
Prova. Se ) diferencivel em A
0
ento existe um operador linear 1
X0
tal que
) (A
0
+ A) = ) (A
0
) +1
X0
(A) +o (|A|)
Calculando o limite quando A 0 dos dois lados obtem-se
lim
X!0
) (A
0
+ A) = ) (A
0
)
que expressa exactamente a continuidade de ) em A
0
Apesar do teorema anterior, a mera existncia de derivadas parciais 1
^{
) (A
0
) e 1
^|
) (A
0
) no garante
a diferenciabilidade no ponto A
0
.
Exemplo 15 Dada a funo
) (r, j) =
_
xy
x
2
+y
2
se (r, j) ,= (0, 0)
0 se (r, j) = (0, 0)
obtem-se
1
^{
) (0, 0) = lim
t!0
) (t, 0) ) (0, 0)
t
= lim
t!0
0 0
t
= 0
1
^|
) (0, 0) = lim
t!0
) (0, t) ) (0, 0)
t
= lim
t!0
0 0
t
= 0
provando que as derivada parciais no ponto A
0
= (0, 0) existem.
Mas a funo no contnua no ponto A
0
= (0, 0) como se pode vericar no exemplo anterior.
Proposio 16 (Condies sucientes de diferenciabilidade) Dada ) uma funo real de : variveis, se as
derivadas parciais
@f
sxi
(A) para i = 1, ..., :, existem numa bola aberta contendo o ponto 1 e so contnuas
em 1, Ento ) ser diferencivel em 1.
13
Prova. Ver Seco Suplementar 16.8 na pg. 964 da [Ref.1] para uma demonstrao em duas variveis.
Note-se entretanto que a continuidade das derivadas parciais no condio necessria diferenciabilidade
de ), pois uma funo pode ser diferencivel num ponto 1 mesmo que as suas derivadas parciais no sejam
contnuas nesse ponto.
Exemplo 17 Dada a funo
) (r, j) =
_ _
r
2
+j
2
_
sin
1
_
x
2
+y
2
se (r, j) ,= (0, 0)
0 se (r, j) = (0, 0)
o incremento de ) na vizinhana de A
0
= (0, 0)
) (A
0
) = ) (A
0
+ A) ) (A
0
)
=
_
(r)
2
+ (j)
2
_
sin
1
_
(r)
2
+ (j)
2
e as derivadas parciais
1
^{
) (r, j) =
_
_
_
2rsin
1
_
x
2
+y
2

_
x
_
x
2
+y
2
_
cos
1
_
x
2
+y
2
se (r, j) ,= (0, 0)
0 se (r, j) = (0, 0)
1
j
) (r, j) =
_
_
_
2j sin
1
_
x
2
+y
2

_
y
_
x
2
+y
2
_
cos
1
_
x
2
+y
2
se (r, j) ,= (0, 0)
0 se (r, j) = (0, 0)
No ponto (0, 0) tem-se que
1
^{
) (0.0) = 0
1
j
) (0, 0) = 0
pois possvel escrever o incremento de ) em A
0
como
) (A
0
) =
_
0 0

_
r
j
_
+
_
(r) sin
1
_
(x)
2
+(y)
2
(j) sin
1
_
(x)
2
+(y)
2
_
_
r
j
_
onde
lim
(x;y)!(0;0)
(r) sin
1
_
(r)
2
+ (j)
2
= 0
lim
(x;y)!(0;0)
(j) sin
1
_
(r)
2
+ (j)
2
= 0
Mas as derivadas parciais no so contnuas em (0, 0), pois o limite restingido recta j = r no existe
em qualquer dos casos
lim
(x;y)!(0;0)
y=x
2rsin
1
_
r
2
+j
2

_
r
_
r
2
+j
2
_
cos
1
_
r
2
+j
2
= lim
(x;y)!(0;0)
2rsin
1
_
2r

_
1
_
2
_
cos
1
_
2r
= 0 lim
(x;y)!(0;0)
_
1
_
2
_
cos
1
_
2r
= no existe (oscila indenidamente)
lim
(x;y)!(0;0)
y=x
2j sin
1
_
r
2
+j
2

_
j
_
r
2
+j
2
_
cos
1
_
r
2
+j
2
= lim
(x;y)!(0;0)
2j sin
1
_
2j

_
1
_
2
_
cos
1
_
2j
= 0 lim
(x;y)!(0;0)
_
1
_
2
_
cos
1
_
2j
= no existe (oscila indenidamente)
14