Escolar Documentos
Profissional Documentos
Cultura Documentos
) (
lim
significa que o valor de ) (x f pode ser
colocado to prximo de l sempre que x esteja prximo de p com p x = .
Mais precisamente, temos a seguinte definio:
Definio 1: Sejam A um subconjunto de R A f R : , uma funo e p um
ponto de acumulao de A. Diz-se que R l e limite de f em p se, dado
qualquer nmero positivo , existir um nmero positivo , que em geral
depende de e p , tal que
c o < < < e 1 ) ( 0 , x f p x A x
Designa-se tal fato por
l x f
p x
=
) (
lim
Ou
l x f ) ( quando p x
e tambm diz-se que f converge (ou tende) para l quando x converge (ou
tende) para p .
Vejamos um exemplo para analisarmos a definio acima.
Exemplo 1: Consideremos a funo ) ( x x f = , para R x e . Mostremos que
) ( ) (
lim
p f p x f
p x
= =
Devemos fazer uma estimativa de
) ( ) ( p x p f x f =
De modo que ela se torne menor que um certo 0 > c , dado arbitrariamente,
sempre que x esteja prximo de p . Como o conceito de limite local devemos
ter a preocupao apenas com os valores de x que estejam prximos de p .
Para iniciar, observemos que
p x p x p x p x p x + = + = ) )( (
De modo que suporemos x satisfazendo 1 < p x . Usando a segunda
desigualdade triangular, obtm-se |x| |p| < 1 e da |x| <|p| + 1, donde
1 2 + s + s + p p x p x
Em virtude da desigualdade, teremos
p x p p x p x p x p x + s + = < ) 1 2 ( 1
Escolhamos
+
= =
1 2
, 1 min ) , (
p
p
c
c o o
de modo que
, ) ( ) ( 0 c o < < < p f x f p x
ou seja
lim
p x
p x
=
=
+
l x f
p x
) ( lim
Um ponto R p e que seja ponto de acumulao de A (p, p + r), para algum
r > 0, chamado ponto de acumulao direita de A.
Definio 3: Seja f : A R, R Ac , e R p e um ponto de acumulao do
conjunto A (p r, p) para algum r > 0. O nmero real
=
l limite lateral
esquerda de f em p se, dado qualquer > 0, existir = (, p) > 0 tal que
c o < < < e
l x f x p A x ) ( 0 ,
Designa-se isso por
l x f
p x
) ( lim
Um ponto R p e que seja ponto de acumulao de A (p r, p), para algum r >
0, chamado ponto de acumulao esquerda de A.
Podemos exprimir esses fatos em termos de sequncias como no teorema
abaixo.
Teorema: Sejam R A R A f c , : e p um ponto de acumulao de A. Ento
l x f
p x
=
) ( lim no se cumpra, isto , existe > 0 tal que para todo > 0 exista
p x A x = e
o o
, com o
o
<
p
x mas c
o
> l x f ) ( . Para cada natural n , tomando
n
1
= o encontraremos uma sequncia
n
x em A, p x
n
= de modo que
n
p x
n
1
<
e c > l x f
n
) ( .
Conclumos, ento, que existe uma sequncia
n
x no conjunto A, p x
n
=
convergindo para p mas ) (
n
x f no converge para l , o que finaliza a
demonstrao.
LIMITE POR SEQUNCIA
Sejamm R R A f c : e } { \
0
x A }. Ento, k x f
x x
=
) ( lim
0
se, e somente se,
k x f
n
c
=
+
) ( lim para toda sequncia } { \ ) (
0
x A x
N n n
c
e
convergente para
0
x .
Demonstrando : Suponhamos que k x f
n
c
=
+
) ( lim e mostremos que se
} { \ ) (
0
x A x
N n n
c
e
e
0
x x
n
, ento k x f
n
) ( . Seja 0 > c . Por hiptese, existe
0 > o tal
que
c o < < < e k x f x x A x ) ( 0 ,
0
Ora,
0
x x
n
, logo, existe N N e tal que se N n > , ento o < x x
n
. Assim,
para N n > , ao tomar
n
x x = em (7.1) obtemos k x f
n
) ( . Conclumos que
k x f
n
) ( .
Reciprocamente, suponhamos que seja falso que k x f
x x
=
) ( lim
0
. Isto significa
que existe 0 > c tal que
0 > o , A x e - tal que
o < <
0
0 x
e
c > k x f ) (
Para cada N ne , ao tomar
n
1
= o em (7.2) obtemos A x
n
e tal que
n
x x
n
1
0
0
< <
e
c > k x f
n
) (
Constri-se desta maneira uma sequncia } { \ ) (
0
x A x
N n n
c
e
convergente para
0
x sem que k x f
n
) ( . Absurdo!
PROPRIEDADES LIMITE
Sejam R R A g f c : , e R c e . Se k x f
x x
=
) ( lim
0
e R m x g
x x
e =
) ( lim
0
, ento:
I- ( ) m k x g x f
x x
+ = +
) ( ) ( lim
0
II- ( ) m k x g x f
x x
=
) ( ) ( lim
0
III- ( ) ck x cf
x x
=
) ( lim
0
IV- ( ) km x g x f
x x
=
) ( ) ( lim
0
V- Se 0 = m , ento ( ) m k x g x f
x x
/ ) ( / ) ( lim
0
=
TIPOS DE LIMITE
O limite que aparece na primeira linha e primeira coluna j foi definido. Os
outros so definidos com pequenas adaptaes. O importante entender o que
significam limites iguais a + , k ou (cada um destes corresponde a um coluna
da tabela), bem como o que representam os smbolos
+
+
x x x x x x x x , , , ,
0 0 0
(que correspondem s linhas). Faamos
alguns comentrios a este respeito.
k x f = ) ( lim
Como j vimos, isto significa que, por menor que seja 0 > c , podemos concluir
que c < l x f ) ( desde que x verifique certa condio.
+ = ) ( lim x f
Significa que, por maior que seja 0 > M , podemos concluir que M x f > ) ( desde
que x que verifique certa condio.
= ) ( lim x f
Significa que, por maior que seja 0 > M , podemos concluir que desde que x
verifique certa condio.
0
x x
Como j vimos, isto significa que a condio sobre x o < <
0
0 x x para o
suficientemente pequeno. necessrio que } { \
0 0
x A x e .
+
0
x x
L-se x tende a
0
x pela direita. Significa que a condio sobre x
o < <
0
0 x x para o _ suficientemente pequeno. necessrio que
) , (
0 0
+ e x A x .
0
x x
L-se x tende a
0
x pela esquerda. Significa que a condio sobre x
o < < x x
0
0 para o suficientemente pequeno. necessrio que
) , (
0 0
x A x e .
+ x
L-se x tende o mais infinito. Significa que a condio sobre x N x > para
N suficientemente grande. necessrio que A seja ilimitado superiormente.
x
L-se x tende a menos infinito. Significa que a condio sobre x N x <
para N suficientemente grande. necessrio que A seja ilimitado
inferiormente.
CONTINUIDADE
Funo continua
Definio: Diz-se que a funo R A f : contnua no ponto A x e
0
se, para
qualquer sequncia
n
x em A, com
0
x x
n
, tivermos ) ( ) (
0
x f x f
n
. Caso
contrrio, diz-se que f descontnua em
0
x ou que
0
x uma descontinuidade
de f . Se f for contnua em todos os pontos de seu domnio A diz-se que f
contnua.
Segue-se que a funo R A f : descontnua em A x e
0
se, e somente
se, existir uma sequncia
n
x em A tal que
0
x x
n
mas ) ( ) (
0
x f x f
n
.
Exemplo: Seja
=
0
1
) ( x
x
x f se
1
1
=
=
x
x
E calculamos
), ( lim
1
x f
x
Caso lele exista.
Inicialmente, observemos que para 1 = x temos
1
1
) 1 )( 1 (
) 1 )( 1 (
1
1
) (
3
+ +
+
=
+ +
+
=
=
x x
x
x x x
x x
x
x
x f
Seja
n
x uma sequncia com 1
n
x . Usando o fato de que o limite do quociente
o quociente dos limites, obtemos
) 0 (
3
2
1
1
1
1
) (
2 3
2
3
f
x x
x
x
x
x f
n n
n n
n
=
+ +
+
=
=
Na figura a seguir encontra-se esboado o grfico da funo estudada.
Analisando outra situao temos que, seja
=
3
2
1
1
) (
x
x
x g
se
1
1
=
=
x
x
e estudemos a questo de existncia de
), ( lim
1
x f
x
Nesse caso, e usando argumentos anlogos aos do exemplo anterior, verifica-
se que ) 1 (
3
2
) ( lim
1
g x g
x
= =
e
0
0
) ( ) (
lim
0
x x
x f x f
x x
+
(x
0
), e o outro chamada de derivada lateral esquerda,
sendo designado por f
-
(x
0
) . A expresso
0
0
) ( ) (
x x
x f x f
chamada de quociente
de Newton de f no ponto x
0
e pode ser rescrita como
h
x f h x f ) ( ) (
0 0
+
, em que
estamos fazendo x-x
0
=h. assim, a derivada de f em x
0
tambm dada por
h
x f h x f
h
) ( ) (
lim
0 0
0
+
+
e
h
x f h x f
x f
h
) ( ) (
lim ) (
0 0
0
0
+
=
. A funo y=f(x),
a sua derivada em um ponto x de seu domnio, caso exista, ser tambm
designado por ) (x
dx
dy
ou simplesmente por
dx
dy
caso no haja duvida sobre o
ponto no qual estamos calculando a derivada.
Essas definies se aplicam mesmo que
) A, onde
A
) . Mais precisamente, (
) ( )(
),
onde (
).
Regras Operacionais
Teorema:
Se e so derivveis num ponto x, ento o mesmo verdade de e
(()()) ()() ()(). Se, ainda, () , ento
( )
( )
'
f x
g x
| |
|
|
\ .
()() ()()
()
Demonstrao:
No caso do produto, observamos que a razo incremental se escreve:
( )( ) ()()
[( )( ) ( )( )] [( )() ()()]
( )
( ) ()
( ) ()
()
Agora s fazer para obtermos o resultado desejado.
Quanto ao quociente, consideremos primeiro o caso em que , ou
seja, . Temos de considerar a razo incremental
( )
()
)
( ) ()
( )()
cujo limite, com , produz o resultado desejado. O caso de um quociente
geral pode ser tratado como produto: .
Teorema:
Sejam f: X R, g: Y R, ae XX, a e g derivvel no ponto b ento
g f: X R derivvel no ponto a, com (g f)(a)=g( f ( a ) ) . f( a )
Demonstrao: Consideremos uma sequncia de pontos x
n
eX - { a }
com N
1
={neN; f ( x
n
) f ( a )} e N
2
={neN;f ( x
n
) = f( a )}. Se n eN
1
ento y
n
eY
{b} e
a x
a f x f
b y
b g y g
a x
a f g x f g
n
n
n
n
n
n
) ( ) (
.
) ( ) ( )) ( ( )) ( (
, portanto se N
1
infinito
,
tem-se lim
n
e
N1
[ g(f ( x
n
)) g ( f ( a ) ) ] / ( x
n
a ) = g( f ( a ) ).f( a ). Se N
2
infinito tem-se lim
n
e
N2
[ f ( x
n
) f ( a )] / ( x
n
a ) = 0, logo f( a ) = 0. Ainda
neste caso, tem-se lim
n
e
N2
[ g ( f ( x
n
)) g ( f ( a )) ] / ( x
n
- a ) = 0 = g(f ( a )).f(
a ). Como N = N
1
N
2
, resulta da que, em qualquer hiptese, vale
) ( )). ( (
) (
)) ( ( )) ( ( [
lim a f a f g
a x
a f g x f g
n
n
N n
=
e
. O que prova o teorema.
Corolrio: Seja f: XY uma bijeo entre os conjunto X,Y cR, a com inversa
g =f
-1
:YY. Se f derivvel no ponto ae XX e g continua no ponto b=f(a)
ento g derivvel no ponto b se, e somente se, f( a ) 0. No caso afirmativo,
tem-se g( b ) = 1 / f(a).
Com efeito, se x
n
e X {a} para todo neN e lim x
n
= a ento, como f injetiva e
contnua no ponto a, tem-se y
n
=f( x
n
) eY {b} e lim y
n
= b, portanto, b e Y
Y. Se g for derivvel no ponto b, a igualdade g(f(x))=x, vlida para todo xeX,
juntamente com a Regra da Cadeia, fornece e g(b) . f(a)=1. Em particular,
f(a) a. Reciprocamente, se f(a) 0 ento, para qualquer sequncia de
pontos y
n
=f(x
n
) eY {b} com lim y
n
=b, a continuidade de g no ponto b nos d
lim
xn
=a, portanto
.
) (
1 ) ( ) (
lim
) ( ) (
lim
) ( ) (
lim
1 1
a f a x
a f x f
b g y g
b y
b y
b g y g
n
n
n
n
n
n
=
Derivadas e crescimento
Teorema:
Se f: XR derivvel direita no ponto ae XX
+,
com f
+
(a) > 0, ento
existe o > 0 tal que x e X, a < x < a+o implicam f(a) < f(x).
Demonstrao:
Temos 0 ) ( ' ) /( )] ( ) ( [ lim > =
+
+
a f a x a f x f
a x
. Pela definio de limite
direita, tomando c= ), ( ' a f
+
obtemos o > 0, tal que:
). ( ) ( 0 ) /( )] ( ) ( [ , x f a f a x a f x f a x a X x < > + < < e o
Corolrio 1. Se f:XR montona no-decrescente ento suas derivadas
laterais, onde existem, so 0.
Corolrio 2. Seja X ae um ponto de acumulao bilateral. Se f:X R
derivvel no ponto a, com 0 ) ( ' > a f ento existe
o o o + < < < < e > a y a x a X y x que tal , , 0 implicam f(x)<f(a)<f(y).
Corolrio 3. Se f: XR derivvel direita no ponto
+
e ' X X a e tem um a
um mximo local no ponto a.
Corolrio 4: Seja X ae um ponto de acumulao bilateral. Se f: XR
derivvel no ponto a e possui a um ponto mximo ou mnimo local ento
f(a)=0.
Exemplo:
Do teorema 4 e corolrio 2 no se pode concluir que uma funo com
derivada positiva num ponto a seja crescente numa vizinhana de a. Tudo o
que se pode garantir que f(x)<f(a) para x < a, x prximo de a, e que f(x)>f(a)
se x est prximo de a, com x >a. Por exemplo, seja f:RR dada por
f(x)=xsen(1/x)+x/2 se x 0 = e f(0)=0. A funo f derivvel, com f(0)=1/2 e
f(x)=2xsen(1/x)-cos(1/x)+1/2 para x 0 = . Se tomarmos x 0 = muito pequeno com
sen(1/x)=0 e cs(1/x)=1
Frmula de Taylor
Seja n
eN. A n-sima derivada ( ou derivada de ordem n) de uma funo
f no ponto a indicada com notao f
(n)
(a) e definida indutivamente:
f(a) = [f](a), f(a) = f
(3)
(a)=[f](a),..., f
(n)
(a)= [f
(n-1)
] (a).
necessrio que f
(n-1)
(x) esteja definida para todo x num conjunto ao qual a
pertena, e do qual seja ponto de acumulao. Em todos os casos abaixo, tal
conjunto ser um intervalo contendo a.
Diremos que f: I R n vezes derivvel no intervalo I quando existir
f
(n)
(x) para todo xeI. Bem entendido, quando x for uma das extremidades de I,
f
(n)
(x) uma derivada lateral. Diremos que f: IR e n vezes derivvel no ponto
aeI quando houver um intervalo aberto J contendo a, tal que f n 1vezes
derivvel em I J e, alm disso, existir f
(n)
(a) uma funo continua em I. em
particular, feC
0
significa que f continua em I
Teorema: ( frmula de Taylor infinitesimal).
Seja f; IIR n vezes derivvel no ponto a eI. Ento para todo h tal que
a+h eI, tem-se
) ( .
!
f
... +
h . ! 2
) a ( f
+ ).h a ( f + ) a ( f = ) h + a ( f
(n)
h r h
n
n
+ onde, 0
r(h)
lim
0
=
n
h
h
Alm disso,
n
i
i
h
i
a f
h p
0
.
!
) (
) (
=
()
n
()
onde
n
()
com . Pondo
n
()
podemos escrever essa
equao na forma
( ) () [() n
()]
que agora verdadeira mesmo para . Seja ( ) (). Ento,
(( )) (())
( ) ()
[() n
()]
[(()) n
()]
( ) ()
Da continuidade de no ponto segue-se que com . Assim,
basta fazer tender a zero para obtermos o resultado desejado.
REFERNCIAS
VILA, Geraldo Severo de Souza. Introduo anlise matemtica. 2 ed.
rev. So Paulo: Edgard Blcher, 1999.
LIMA, Elon Lages. Anlise Real, volume 1. 2 ed. Instituto de Matemtica
Pura e Aplicada. CNPq, 1993.
MADUREIRA, Alexandre L. Introduo anlise Real. Disponvel em:
http://www.lncc.br/~alm/cursos/analiseI06/analiseI.pdf . Acessado em: 10 nov
2012