Clculo Diferencial em IR

n
Limites e continuidade
Anlise Matemtica II
12
Clculo Diferencial em IR
n
Limites e continuidade
Isto quer dizer, a distncia de ( ) , f x y
a L pode ser arbitrariamente
pequena desde que a distncia de ( ) , x y
a ( ) , a b
seja suficientemente
pequena.
Para funes reais de uma varivel, a aproximao de x a
a
feita por
valores esquerda ou direita de
a
, e
( )

lim
x a
f x
s existe, se existirem e
forem iguais os limites laterais, ou seja,
( ) ( ) ( )
+

lim lim lim
x a x a x a
f x f x f x
.
No caso de funes de duas variveis, a situao mais complicada,
pois a aproximao, neste caso de ( ) , x y
a ( ) , a b
, pode ser feita
seguindo uma infinidade de diferentes trajectrias, como se pode
observar pela figura abaixo:
Se
( ) ( )
( )
, ,
,

lim
x y a b
f x y L

existir, ( ) , f x y
aproxima-
se de L,
independentemente da
forma como ( ) , x y
se aproxima de ( ) , a b
. Podemos assim concluir a no
existncia deste limite, se estudarmos os limites direccionais. Neste
Anlise Matemtica II
13
. (a,b)
x
y
Clculo Diferencial em IR
n
Limites e continuidade
sentido, surge a regra dos dois caminhos: Se dois caminhos
diferentes para um ponto ( ) , a b
resulta em dois limites diferentes,
ento
( ) ( )
( )
, ,
,

lim
x y a b
f x y
no existe.
Observao: Esta regra s prova a no existncia de limite.
Apresenta-se ainda um outro resultado que nos permite verificar a no
existncia de limite:
Seja
2
: f S IR IR. Se
( ) ( )
( )
, ,
,

lim
x y a b
f x y L
, e se existirem os limites
unidimensionais
( ) ,

lim
x a
f x y L
e
( ) ,

lim
y b
f x y L
ento
( ) ( ) , ,

1
1

1 ]
]
lim lim lim lim
x a y b y b x a
f x y f x y L
. Os dois limites desta igualdade
chamam-se limites iterados.
Nota: A inversa da proposio no sempre verdadeira, ou seja, a
existncia de limites iterados iguais no prova a existncia de limite
bidimensional.
Exemplo 2: Estude o comportamento da funo
( )
( )
2 2
2
2 2
,
x y
f x y
x y x y

+

com ( )
2
2 2
0 x y x y + quando ( ) ( ) , 0, 0 x y
.
Exemplo 3: Calcular, caso existam, os seguintes limites
a)
( )
3
2 2
( , ) 0,0
8
lim

+
x y
x y
x y
b)
( )
2 2
2 2
( , ) 0,0
lim

+
x y
x y
x y
c)
( )
2
2 4
( , ) 0,0
lim

+
x y
xy
x y
Anlise Matemtica II
14
Clculo Diferencial em IR
n
Limites e continuidade
Operaes com Limites
Muitas das propriedades de limite dadas no caso unidimensional,
generalizam-se para espaos m-dimensionais. Verificam-se as
seguintes propriedades, supondo

n
D IR
,
a
ponto de acumulao de D;
, :
m
f g D IR e :D IR:
Se f e
g
tm limite no ponto
a
, tambm o tm as funes
+ f g
,
f g
,
f g
e
f
, verificando-se as igualdades:
Limite da soma igual soma dos limites
( )

+ + lim lim lim f g f g
x a x a x a
Limite do produto igual ao produto dos limites
. .

lim lim lim f g f g
x a x a x a
Limite da norma igual norma do limite

lim lim f f
x a x a
Se f constante em D, existe

limf
x a
e igual ao valor de f num
ponto qualquer de D.
Se

e f tm limite no ponto
a
, f tambm e tem-se:
( ) .

lim lim lim f f
x a x a x a
Todos os restantes limites so calculados aplicando o seguinte
teorema:
Anlise Matemtica II
15
Clculo Diferencial em IR
n
Limites e continuidade
Teorema 1.1.1: Seja ( ) :
n m
A IR A B IR g g
e :
q
B IR f e designe
o u f g
a funo composta de
e g f
. Nestas condies, se
( )

lim
x a
g x b
e
( )

lim
y b
f y c
, tem-se tambm
( ) ( )

1
]
o lim
x a
f g x c
.
Exemplo 4: Calcule os seguintes limites
a)
( )
2
( , ) 0,0
2
3

+
lim
x y
x y
xy
b)
( )
2 2
2
( , ) 1, 1
2 2

+
lim
x y
y x
xy x
c)
( )
2 2
( , ) 1,1
2

lim
x y
y x
Tambm, no caso do limite, o estudo das funes vectoriais pode
reduzir-se imediatamente ao das funes reais:
Teorema 1.1.2: Seja :
m
f D IR (com

n
D IR
),
a
ponto de acumulao
de D, ( )
1
, , K
m
b b b
um vector de
m
IR
e designemos por
j
f
a funo
coordenada de ordem de
j
de f ; nestas condies, para que se
verifique a igualdade

limf
x a
b
necessrio e suficiente que, para cada
inteiro positivo
j m
, se tenha

lim
j j
f b
x a
.
Definio 1.1.2 : Um campo :
n m
S IR IR f diz-se contnua em
a
se
estiver definida nesse ponto e se
( ) ( ) lim

x a
f x f a
Dizemos que f contnua num conjunto S se f for contnua em cada
ponto de S.
Recordando o exemplo anterior, podemos ilustrar graficamente a
definio de continuidade de ( ) , f x y
em ( ) , a b S
, como se segue.
Anlise Matemtica II
16
Clculo Diferencial em IR
n
Limites e continuidade
Consideremos o grfico da funo f abaixo representado por G:
Intuitivamente, escrever que
( )
( )
, ( , )
, lim
x y a b
f x y L

1
significa que, quando o
ponto ( ) , , 0 x y
se aproxima de ( ) , , 0 a b
no plano-xy, o ponto
correspondente ( ) ( )
, , , x y f x y
do grfico de f aproxima-se de ( ) , , a bL
que
pode estar, ou no, no grfico de f. Se f contnua, quando o ponto
( ) , , 0 x y
se aproxima de ( ) , , 0 a b
, ento ( ) ( )
, , , x y f x y
em G est prximo de
( ) ( )
, , , a bf a b
tambm em G, sendo naturalmente ( ) , f a b L
. Desta forma,
se f for contnua, no existem buracos, nem saltos verticais no seu
grfico.
Teorema 1.1.3: Sejam :
n m
S IR IR f , :
n m
S IR IR g e h uma funo
real. Se
, e h f g
so contnuas em S a , o mesmo sucede a
+ f g
, hf ,
f

e ainda
1
h
f se ( ) 0 h a
.
Observaes:
(i) Continuidade e componentes de um campo vectorial
Se ( )
m
IR f x

n
IR x ento
( ) ( ) ( ) ( )
1
, ,
m
f f L
1 4 442 4 4 43
f x x x
1
Se o limite L existe, nico.
Anlise Matemtica II
17
Clculo Diferencial em IR
n
Limites e continuidade
m campos escalares,
componentes do campo vectorial f
f contnua num ponto
n
IR x se e s se cada componente
( )
i
f x
continua em x.
(ii) Continuidade de transformaes lineares
Se :
n m
IR IR f uma transformao linear, f contnua em
n
IR
.
(iii) Continuidade dos polinmios de
n
variveis
Um campo escalar p, definido em
n
IR
por uma frmula da forma
( )
1
1
1
1
1
0 0
n
n
n
n
p p
k k
k k n
k k
p c x x

K
K K x
chama-se polinmio de n variveis
1
, ,
n
x x K
. Por exemplo, em
2
IR
, temos o polinmio de grau 2:
( )
2 2 2 2 2 2
0 01 02 10 11 12 20 21 22
, p x y c c y c y c x c xy c xy c x c x y c x y + + + + + + + +
.
Um polinmio contnuo em
n
IR
, pois a soma finita de produtos
de campos escalares contnuos em
n
IR
.
(iv) Continuidade de funes racionais
Um campo escalar definido por ( )
( )
( )
p
f
q

x
x
x
, onde
p
e
q
so
polinmios nas componentes de x, diz-se uma funo racional.
Uma tal funo contnua em cada ponto em que ( ) 0 q x
.
Verificar-se- a continuidade de muitas outras funes recorrendo ao
teorema que se segue:
Teorema 1.1.4: Sejam f e
g
campos tais que a funo composta
o f g

est definida em
a
, sendo
( ) ( ) ( ) 1
]
o f g x f g x
.
Anlise Matemtica II
18
Clculo Diferencial em IR
n
Limites e continuidade
Se
g
continua em
a
e se f continua em ( ) g a
ento
o f g
continua
em
a
.
Nas condies do teorema anterior, tem-se
( ) ( ) lim lim

1
1
]
] x a x a
f g x f g x
.
Nota: Anlogo para campos escalares.
Exemplo 5: Determine para cada alnea o conjunto dos pontos ( ) , x y

para os quais o campo escalar f contnua:
a) ( )
3 3 2 2
, f x y x y x y +
;
b) ( ) ( )
2 2
, log f x y x y +
;
c) ( ) ( )
2
, f x y sen x y
.
Exemplo 6: Mostre que a funo
( )
( ) ( )
( ) ( )
2 2
2 2
se , 0, 0
,
1 se , 0, 0
x y
x y
x y f x y
x y

+
'

apenas no contnua no ponto ( ) 0, 0

.
Observao: Uma funo de duas variveis pode ser contnua a
respeito de cada uma das variveis separadamente, e ser descontnua
considerada como funo das duas variveis em conjunto.
Exemplo 7: Para ilustrar a afirmao anterior considere a funo
( )
( ) ( )
( ) ( )
2 2
se , 0, 0
,
0 se , 0, 0 ,
xy
x y
x y
f x y
x y

'

e estude a sua continuidade a respeito de cada uma das variveis

separadamente, e a respeito das duas variveis em conjunto.
Anlise Matemtica II
19
Clculo Diferencial em IR
n
Limites e continuidade
Tal como as funes reais de varivel real, uma funo :
n
f S IR IR
diz-se prolongvel por continuidade a um ponto
a
sse '\ S S e existe o
( ) limf
x a
x
.
Chamar-se- ento prolongamento por continuidade de f ao ponto
a
,
funo g que coincide com f nos pontos onde f j estava definida e que
no ponto
a
toma o valor
( ) ( ) lim g f

x a
a x
:
( )
( )
se
se lim
f
f D S
f

'

x a
x x
x x a
Observao: Embora S a , como exigido que exista
( ) limf
x a
x
, o ponto
a
ter que ser ponto de acumulao de S.
Uma funo :
n
f S IR IR diz-se descontnua num ponto
a
sse no for
contnua nem prolongvel por continuidade a esse ponto.
Anlise Matemtica II
20