Sobre Desenvolvimentos em Series de Potencias, Series de

Taylor e F ormula de Taylor

Pedro Lopes
Departamento de Matematica
Instituto Superior Tecnico
1o. Semestre 2004/2005
Estas notas constituem um material de apoio ao curso de An alise Matem atica II para as licenciaturas
de Engenharia Geol ogica e Mineira, Engenharia de Materiais e Engenharia Mec anica do Instituto Su-
perior Tecnico no 1o. semestre de 2004/2005 e n ao pretendem ser um substituto dos manuais escolares
disponveis.
1
1 Desenvolvimentos em Series de Potencias
Seja x um n umero real (n ao nulo) e considere-se a sucess ao
u
n
= x
n
n 0
Considere-se uma nova sucess ao, obtida de u
n
, que designamos por S
N
, que para cada N e a soma dos
N + 1 primeiros termos de u
n
, de n = 0 ate n = N, isto e,
S
N
=
N

N=0
x
n
Embora seja f acil compreender o seu signicado (soma dos N + 1 primeiros termos da sucess ao u
n
),
tal como a sucess ao S
N
est a escrita, n ao nos revela muito sobre o seu comportamento (e limitada?, e
convergente?). Tentemos ent ao escreve-la de outra forma.
S
N+1
=
N+1

n=0
x
n
= x
0
+ x
1
+ x
2
+ + x
N1
+ x
N
+ x
N+1
= S
N
+ x
N+1
= x
0
+ x
_
x
0
+ x
1
+ + x
N2
+ x
N1
+ x
N
_
= 1 + xS
N
donde
1 + xS
N
= S
n
+ x
N+1
1 x
N+1
= S
N
xS
N
e portanto,
S
N
=
1 x
N+1
1 x
para x = 1
Consideremos desde j a o caso x = 1:
S
N
=
N

n=0
1
N
= 1 + 1 + 1 + + 1
. .
(N+1) parcelas
= N + 1
N
Agora para x = 1:
S
N
=
1 x
N+1
1 x

N
_
1
1x
para |x| < 1
diverge para |x| 1
ou seja

n=0
x
n
def
= lim
N
N

n=0
x
n
= lim
N
S
N
=
_
1
1x
para |x| < 1
diverge para |x| 1
Acab amos ent ao de ver que
1
1 x
=

n=0
x
n
para |x| < 1
isto e desenvolvemos f(x) =
1
1x
em serie de potencias de x em torno de 0, obtendo, para |x| < 1,

n=0
x
n
. Deste desenvolvimento obtemos outros. Escrevamos ent ao o mesmo desenvolvimento mas em
ordem a uma nova vari avel y:
1
1 y
=

n=0
x
n
v alido para |y| < 1
Suponhamos agora que, dada uma constante a, y = x a; ent ao,
1
1 (x a)
=

n=0
(x a)
n
naturalmente v alido para |x a| < 1
2
E se y = x?
1
1 + x
=
1
1 (x)

n=0
(x)
n
=

n=0
(1)
n
x
n
v alido para | x| < 1
_
|x| < 1
_
ou seja, o desenvolvimento em serie de potencias de x de
1
1+x
e:
1
1 + x
=

n=0
(1)
n
x
n
v alido para |x| < 1
E se y = x
2
?
1
1 + x
2
=
1
1 (x
2
)
=

n=0
(x
2
)
n
=

n=0
(1)
n
x
2n
v alido para | x
2
| < 1
_
|x| < 1
_
ou seja obtivemos o desenvolvimento de
1
1 + x
2
=

n=0
(1)
n
x
2n
v alido para |x| < 1
Recordamos aqui que, no interior do intervalo de convergencia de uma serie de potencias de x, a derivada
da serie e igual ` a serie das derivadas e que a primitiva da serie e igual ` a serie das primitivas. Isto vai-nos
permitir obter desenvolvimentos em serie de potencias de x das fun c oes log(1 +x) e arctan(x). De facto,
log(1 + x) = P
1
1 + x
=
|x|<1
P

n=0
(1)
n
x
n
=

n=0
(1)
n
Px
n
=

n=0
(1)
n
n + 1
x
n+1
+ c
e notando que
0 = log(1 + 0) =

n=0
(1)
n
(1)
n
n + 1
0
n+1
+ c = 0 + c
vem c = 0, donde:
log(1 + x) =

n=0
(1)
n
n + 1
x
n+1
para |x| < 1
Tambem porque (arctan(x))

=
1
1+x
2
tem-se:
arctan(x) = P
1
1 + x
2
=
|x|<1
P

n=0
(1)
n
x
2n
=

n=0
(1)
n
Px
2n
=

n=0
(1)
n
2n + 1
x
2n+1
+ c
e como
0 = arctan(0) =

n=0
(1)
n
2n + 1
0
2n+1
+ c = 0 + c
vem
arctan(x) =

n=0
(1)
n
2n + 1
x
2n+1
para |x| < 1
Exerccio 1.1
Calcular desenvolvimentos em serie de potencias de x de
a)
1
(1 x)
2
b)
2x
(1 2x)
2
Uma maneira de denir a fun c ao exponencial e:
e
x
:=

n=0
1
n!
x
n
3
que faz sentido para todo o x real, ou melhor, como a serie em quest ao converge para todo o n umero real
x ent ao dene um fun c ao de domnio R. A essa fun c ao de x chamamos exponencial de x. Recordemos
a prop osito que, se existe o limite
lim
n

a
n
a
n+1

(chamemos-lhe R) ent ao a serie de potencias

n=p
a
n
(x a)
n
converge absolutamente para todo o x em

aR, a+R
_
e diverge para todo o x em

, aR
_

a+
R,
_
; a convergencia em x = R tem que ser averiguada para cada caso especco de a
n
.
Nesta abordagem informal, introduzamos ix na deni c ao acima de exponencial (onde i
2
= 1):
e
ix
=

n=0
1
n!
(ix)
n
Notando que
i
0
= 1, i
1
= i, i
2
= 1, i
3
= i,
i
4
= 1, i
5
= i, i
6
= 1, i
7
= i,

ent ao para n par, isto e, para n = 2k, para algum k inteiro,
i
n
= i
2k
= (1)
k
enquanto que para n mpar, isto e, para n = 2k + 1, para algum k inteiro,
i
n
= i
2k+1
= (1)
k
i
Assim,
e
ix
=

n=0
1
n!
(ix)
n
=

k=0
(1)
k
(2k)!
x
2k
+ i

k=0
(1)
k
(2k + 1)!
x
2k+1
e relembrando que
e
ix
= cos(x) + i sin(x)
vem
cos(x) =

k=0
(1)
k
(2k)!
x
2k
e
sin(x) =

k=0
(1)
k
(2k + 1)!
x
2k+1
2 Series de Taylor
Dada uma fun c ao indenidamente diferenci avel num certo ponto a interior ao seu domnio (isto e, existe
e e nita a derivada de qualquer ordem de f em x = a, f
(n)
(a)) podemos sempre escrever a sua serie de
Taylor relativa a a:

n=0
f
(n)
(a)
n!
(x a)
n
Qual a rela c ao entre esta a serie de Taylor e a fun c ao f que us amos para calcular os coecientes da
serie? Na primeira sec c ao procurou-se mostrar entre outras coisas que func c oes transcendentes (no caso,
exponencial, seno, coseno, logaritmo e arco de tangente) podem ser expressas como series de potencias
4
(pelo menos nalgumas partes do seu domnio) e que as series de potencias s ao diferenci aveis e integr aveis
termo a termo evidenciando assim a import ancia de poder exprimir uma fun c ao ` a custa de uma serie de
potencias. Retomando o assunto em discuss ao, seria desej avel que a serie de Taylor convergisse para a
func c ao que lhe deu origem, pelo menos nalguma vizinhan ca de a. Comecemos por denir
Deni cao 2.1
Uma fun c ao f : D R R diz-se analtica num ponto a de D se e igual a uma serie de potencias
de x a nalguma vizinha ce
.
a, isto e, se
f(x) =

n=0
c
n
(x a)
n
para x pr oximo de a
Assim, e sabendo que uma serie de potencias pode ser diferenciada termo a termo no interior do seu
intervalo de convergeencia, os c
n
s s ao as n-esimas derivadas de f em a multiplicadas por n!:
f

(a) =
_
c
0
+

n=1
c
n
(x a)
n
_

x=a
= 0 +

n=1
c
n
_
(x a)
n
_

x=a
=

n=1
c
n
n(x a)
n1

x=a
=
= c
1
1 +

n=2
c
n
n(a a)
n1
= c
1
+ 0 = c
1
Exerccio 2.1
Calcule f
(2)
(a), f
(3)
(a), f
(4)
(a) e f
(n)
(a).
Portanto, fun c oes analticas num ponto a s ao indenidamente diferenci aveis em a. A pergunta que
zemos acima pode agora reformular-se da seguinte maneira: Ser a que todas as fun c oes indenidamente
diferenci aveis num ponto a s ao analticas em a. A resposta e n ao, nem todas, como o seguinte exemplo
ilustra,
Exemplo 2.1
Seja
f(x) =
_
e

1
x
2
, x = 0
0, x = 0
Esta fun c ao e indenidamente diferenci avel em qualquer x, com todas as derivadas nulas em x = 0, isto
e, f
(n)
(0) = 0 qualquer que seja o n. A sua serie de Taylor em torno de 0 (serie de Mac-Laurin) ser a
ent ao a serie identicamente nula:

n=0
0 x
n
=

n=0
0 = 0
Por outro lado, f(x) s o e nula em x = 0, donde a serie de Mac-Laurin de f n ao converge para a fun c ao
em nenhuma vizinhan ca de 0.
Como reconhecer as fun c oes indenidamente diferenci aveis num ponto a que s ao analticas nesse ponto
a? O seguinte resultado d a-nos um criterio para as distinguir:
Teorema 2.1 Seja f indenidamente diferenci avel numa vizinhan ca de um ponto a. Se existirem um
n umero real M e uma vizinhan ca V

(a) tais que, para cada x V

(a) e para cada inteiro positivo n se

tenha
|f
(n)
(x)| M
ent ao f e igual ` a sua serie de Taylor em torno de a para todo o x V

(a):
f(x) =

n=0
f
(n)
(a)
n!
(x a)
n
5
Dem. Omitida (ver livro do Prof. Campos Ferreira)
Mais prosaicamente, se uma fun c ao indenidamente diferenci avel tem todas as suas derivadas glob-
almente limitadas nalguma vizinhan ca de a, ent ao, nessa vizinhan ca de a, a fun c ao e igual a sua serie
de Taylor.
Exemplo 2.2
As fun c oes (indenidamente diferenci aveis) sin(x) e cos(x) s ao tais que as suas derivadas s ao sempre um
das seguintes fun c oes: sin(x), cos(x), sin(x) ou cos(x). Assim os m odulos de tais fun c oes, | sin(x)| e
| cos(x)|, s ao limitados por 1, qualquer que seja o x,
| sin(x)| 1, | cos(x)| 1 qualquer que seja o x em R
3 F ormula de Taylor
...e se f n ao for indenidamente diferenci avel em a? Isto e, se f s o admitir n derivadas no ponto a?
Ent ao vale a f ormula de Taylor
f(x) = f(a) + (x a)f

(a) +
(x a)
2
2
f

(a) +
(x a)
3
3!
f

(a) + +
(x a)
n
n!
f
(n)
(a) + r
n
(x)
onde r
n
(x) e uma fun c ao de x tal que
lim
xa
r
n
(x)
(x a)
n
= 0
Observa cao 3.1
Se a = 0, a f ormula correspondente chama-se f ormula de Mac-Laurin.
Observa cao 3.2
As fun c oes como o resto de ordem n, r
n
(x), que quando divididas por outra fun c ao e tomando o limite
quando x tende para um certo a se obtem 0, tem uma designa c ao especial:
f(x) = o
_
g(x)
_
, x a
_
leia-se f(x) e o pequeno de g(x) quando x tende para a
_
def.
lim
xa
f(x)
g(x)
= 0
Assim, podemos escrever
r
n
(x) = o
_
(x a)
n
_
, x a
Se f for n+1 vezes diferenci avel em a tem-se a seguinte f ormula para o resto (conhecida por f ormula
do resto de Peano):
r
n
(x) =
(x a)
n+1
(n + 1)!
_
f
(n+1)
(a) +
n
(x)
_
onde
n
(x) e uma fun c ao de x tal que:
lim
xa

n
(x) = 0
3.1 Aplica cao: Estudo de Extremos
Se f e uma fun c ao diferenci avel, os pontos de estacionaridade, isto e, os pontos x aonde f

(x) = 0, s ao
um ponto de partida para o estudo dos extremos de f
Suponhamos que f e duas vezes diferenci avel em a e f

(a) = 0. Ent ao a f ormula de Taylor aplicada

a f no ponto a com resto de Peano e:
f(x) = f(a) + (x a)f

(a) +
(x a)
2
2
_
f

(a) +
1
(x)
_
= f(a) +
(x a)
2
2
_
f

(a) +
1
(x)
_
j a que f

(a) = 0 e portanto
f(x) f(a) =
(x a)
2
2
_
f

(a) +
1
(x)
_
6
Se f tem um extremo local em a, ent ao f(x) f(a) tem sinal constante nalguma vizinhan ca de a porque
ou f(x) f(a) (mnimo local) ou f(x) f(a) (m aximo local), nalguma vizinhan ca de a. Pretendemos,
ent ao, conhecer o sinal de f(x)f(a), numa vizinhan ca de a. Isso vai-nos ser facilitado pelo conhecimento
do sinal de f

(a), dada a igualdade acima. De facto, j a que (x a)

2
0 ent ao o sinal de f(x) f(a) e
dado por f

(a) +
1
(x). Suponhamos ent ao que f

(a) = 0. Como lim

xa

1
(x) = 0 ent ao por deni c ao
de limite, para todo o > 0 existe > 0 tal que, sempre que x V

(a) |
1
(x)0| < , ou seja |
1
(x)| < .
Com = |f

(a)|(> 0), existir a ent ao > 0 tal que para todo o x f

(a)

(a), |
1
(x)| < |f

(a)| e portanto
o sinal de f

(a) +
1
(x) e o sinal de f

(a), nesa vizinhan a. Ent ao se f

(a) > 0 o sinal de f(x) f(a) e

positivo e portanto ocorre um mnimo em x = a; se f

(a) < 0 o sinal de f(x)f(a) e negativo e portanto

ocorre um m aximo em x = a.
Se f

(a) = 0 usamos a f ormula de Taylor de ordem dois:

f(x) = f(a)+(xa)f

(a)+
(x a)
2
2
f

(a)+
(x a)
3
3!
_
f

(a)+
2
(x)
_
= f(a)+
(x a)
3
3!
_
f

(a)+
2
(x)
_
Mais uma vez, queremos saber o sinal de f(x) f(a) junto a a. Comecemos por supor que f

(a) = 0.
Tem-se:
f(x) f(a) =
(x a)
3
3!
_
f

(a) +
2
(x)
_
mas como (xa)
3
muda de sinal quando x passa por a, ent ao f n ao tem extremo em a. Se f

(a) = 0,
ent ao utilizar-se-ia a f ormula de Taylor de ordem 3 e assim por diante. Enunciamos ent ao o seguinte:
Teorema 3.1 Seja f n vezes diferenci avel em a (com n 2) e tal que
0 = f

(a) = f

(a) = = f
(n1)
(a) e f
(n)
(a) = 0
(i) Se n e par, f(a) e m aximo local se f
(n)
(a) < 0 e e mnimo local se f
(n)
(a) > 0
(ii) Se n e mpar, f n ao tem extremo local em a
Dem. A f ormula de Taylor de ordem n 1 para f em a com resto de Peano e:
f(x) = f(a) +
(x a)
n
n!
_
f
(n)
(a) +
n1
(x)
_
Se n e par, ent ao (x a)
n
0 e argumentando como acima conclumos que ocorre m aximo em a se
f
(n)
(a) < 0 e mnimo se f
(n)
(a) > 0. Analogamente para n mpar.
Quanto ` a concavidade de uma fun c ao diferenci avel num ponto a, a an alise que se faz e analoga a que
acab amos de fazer. Queremos agora e estudar o sinal da fun c ao f(x) g(x), onde g(x) =)
_
f(a) + (x
a)f

(a)
_
. O facto de o sinal da fun c ao f(x)g(x) ser negativo, pelo menos numa vizinhan ca de a, diz-nos
que a fun c ao f est a, nessa vizinhan ca, sempre abaixo da tangente no ponto a (concavidade voltada para
baixo (c oncava); ver exemplo na gura 1) e no caso de ser positivo, que a fun c ao est a acima da tangente
no ponto a (concavidade voltada para cima; convexa). Temos ent ao:
Teorema 3.2 Seja f n vezes diferenci avel em a (com n 2) e tal que
0 = f

(a) = f

(a) = = f
(n1)
(a) e f
(n)
(a) = 0
(i) Se n e par, f e c oncava em a se f
(n)
(a) < 0 e e convexa em a se f
(n)
(a) > 0
(ii) Se n e mpar, f tem ponto de inex ao em a
Dem. Omitida.
4 Outra maneira de denir derivada
Dada f diferenci avel num ponto a, podemos escrever a sua f ormula de Taylor de ordem 1 relativamente
a esse ponto a:
f(x) = f(a) + f

(a) (x a) + r
1
(x) com lim
xa
r
1
(x)
x a
= 0
7
PSfrag replacements
c
x
y
f(x)
g(x) = f(c) + f

(c)(x c)
Figure 1: f diferenci avel em c e a tangente ao gr aco de f em c.
Suponhamos agora que, dada uma fun c ao f denida numa vizinhan ca de a, existe um n umero real
e uma fun c ao r
1
(x) tal que
f(x) = f(a) + (x a) + r
1
(x) com lim
xa
r
1
(x)
x a
= 0
Ent ao
f(x) f(a) = (x a) + r
1
(x)
f(x) f(a)
x a
=
(x a) + r
1
(x)
x a
= +
r
1
(x)
x a
e portanto
lim
xa
f(x) f(a)
x a
= lim
xa
_
+
r
1
(x)
x a
_
= + lim
xa
r
1
(x)
x a
= + 0 =
ou seja f e diferenci avel em a com f

(a) = .
Prov amos ent ao que f e diferenci avel em a e equivalente a dizer que existe um n umero real, chamemos-
lhe , e uma fun c ao r
1
(x), tal que
f(x) = f(a) + (x a) + r
1
(x) com lim
xa
r
1
(x)
x a
= 0
Reescrevendo esta express ao na forma
f(x) f(a) = (x a) + r
1
(x) com lim
xa
r
1
(x)
x a
= 0
podemos dizer desta fun c ao que f(x) f(a) e aproximadamente linear em x a:
f(x) f(a) (x a)
e que essa aproxima c ao e tanto melhor quanto mais pr oximo de a x estiver - j a que r
1
(x) tende para zero
mais rapidamente que x a quando x tende para a. Doutra forma ainda, a dist ancia de f(x) a f(a)
e, aproximadamente, uma fun c ao linear da dist ancia de x a a.
Seguidamente, neste curso, estudaremos fun c oes de v arias vari aveis, em particular fun c oes reais de
v arias vari aveis reais, por exemplo,
f(x, y) = x
2
+ y
2
para todo o x e y reais
8
O que signicar a diferenci avel num ponto (a, b) para uma fun c ao deste tipo? Note-se que N

AO vai
ser possvel calcular
lim
(x,y)(a,b)
f(x, y) f(a, b)
(x, y) (a, b)
pois desde logo N

AO est a denida um opera c ao de divis ao nestes conjuntos. Como vimos atr as, havia j a
em R uma outra maneira (equivalente) de denir derivada num ponto. Seria aqui dizer que a dist ancia
de f(x, y) a f(a, b) e, aproximadamente, uma fun c ao linear da dist ancia de (x, y) a (a, b).

E, de facto,
esta a maneira que usaremos para denir derivada num ponto para estas novas fun c oes, como veremos
adiante.
9