Professional Documents
Culture Documents
Sum ario
1 Progress oes geom etricas (P.G) 1.1 1.2 O operador quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 1.2.1 1.2.2 1.2.3 Interpola c ao exponencial . . . . . . . . . . . . . . . . . . . . . . . . Progress oes geom etricas (P.G) . . . . . . . . . . . . . . . . . . . . . . . . . 3 4 5 9
(x kh)
(x kh) = 1.
k=0
n 1 k=0
(x k ).
Corol ario 1 (Interpola c ao de Newton). Vamos deduzir informalmente a f ormula de interpola c ao de Newton, que permite escreve uma sequ encia como soma das suas diferen cas. De = E 1 tem-se + 1 = E , elevando a n, tem-se
n ( ) n E = ( + 1) = k k k=0 n n
1.1
O operador quociente
Denimos o operador quociente da seguinte maneira Deni c ao 5. Q0 f (x) = f (x) para toda fun c ao f (x) Qn [f (x + 1)] Qn [f (x)]
Qn+1 f (x) = para todo n natural . Propriedade 1. Vale para todo n natural
Demonstra c ao. Por indu c ao sobre n. Para n = 0 temos 0 loga f (x) = loga f (x) = loga Q0 f (x) = loga f (x).
Partindo da hip otese n [loga f (x)] = loga [Qn f (x)] vamos provar n+1 [loga f (x)] = loga [Qn+1 f (x)] n [loga f (x)] = n+1 [loga f (x)] = [loga (Qn f (x))] = loga [Qn f (x +1)] loga [Qn f (x)] = = loga [ Qn f (x + 1) ] = loga [Qn+1 f (x)] Qn f (x) .
Corol ario 2. Como vale n [loga f (x)] = loga [Qn f (x)] segue por propriedade de logaritmos que Qn [f (x)] = a Tomando agora
n [log a
f (x)]
n ( ) n (1)nk E k = (E 1) = k k=0 n n
Q [f (x)] = ak=0
=a
loga [
f (x+k)( k )
n (1)nk
k=0
n k=0
n nk f (x + k )(k )(1)
Q [f (x)] =
n k=0
n nk f (x + k )(k )(1) .
1.1.1
Interpola c ao exponencial
Propriedade 2 (Interpola ca o exponencial). Vale a identidade f (n + x0 ) = Demonstra c ao. E n [loga f (x0 )] = ( + 1)n [loga f (x0 )] = loga [f (n + x0 )]
n ( ) n n n k loga [f (n + x0 )] = (loga [f (x0 )]) = k [loga (f (x0 )(k ) )] = k k=0 k=0 n
n (Qk [f (x0 )])(k )
k=0
n k=0
n Qk (f (x0 )(k ) )]
k=0 n
n Qk (f (x0 )(k ) )]
loga [f (n + x0 )] = loga [ f (n + x0 ) = Corol ario 4. Temos como corol ario f (n) = Basta tomar x0 = 0.
n k=0 n k=0
k=0
n Qk [f (x0 )(k ) ]
Qk [f (0)(k ) ]
Assim como zemos com a diferen ca , podemos fazer com o quociente, tomamos f (p + x0 ) =
p k=0
p Qk [f (x0 )(k) ]
[Qk f (x0 )(
nx0 k
)]
f (n) =
Corol ario 5. Se temos uma fun c ao tipo g (x) = af (x) e aplicamos Qn , temos Qn [g (x)] = a
n log a [(a f (x) )]
= a
n [f (x)]
n [f (x)]
Corol ario 7 (Interpola c ao de Newton). Vamos deduzir informalmente a f ormula de interpola c ao de Newton, que permite escreve uma sequ encia como soma das suas diferen cas. De = E 1 tem-se + 1 = E , elevando a n, tem-se
n ( ) n E = ( + 1) = k k k=0 n n
Deni c ao 6 (Progress ao aritm etica de ordem p.). Uma progress ao aritm etica de ordem p e uma sequ encia f (n) onde se t em p f (n) = r uma constante diferente de zero, para e um polin omio todo e qualquer n natural. Podemos mostrar1 que isso implica que f (n) de grau p em n, e aplicando mais uma vez o operador diferen ca em ambos lados, podemos ver que p+1 f (n) = 0 e assim temos uma recorr encia de ordem p + 1 ) p ( p+1 f (n + p + 1) = (1)pk f (n + k ) k k=0 assim precisando de p + 1 condi co es iniciais. Ent ao numa progress ao aritm etica de ordem p precisamos de p + 1 condi co es iniciais. Neste texto tomaremos como primeiro termo da progress ao o termo f (0) e n ao f (1) isso e feito pois simplicar as f ormulas gerais. Se forem dadas p + 1 condi co es iniciais f (0), . . . , f (p) isto e f (k ) com k variando de 0 at e p, podemos achar a f ormula geral usando a interpola ca o. Sabemos que f (n) pode ser escrito como
n ( ) n f (n) = k f (0) k k=0
como sabemos que os termos a partir de p+1 f (0) s ao todos zero, se temos n > p, n N , escrevemos ( ) p ( ) n ( ) n n n n k k f (n) = f (0) = f (0) + k f (0) k k k k=0 k=0 k=p+1
1
onde o segundo membro sempre se anula, pois temos termos com coeciente s f (0) com s > p e esses termos s ao todos nulos ent ao temos p ( ) n f (n) = k f (0) k k=0 . Se n < p n ao h a problemas em escrever p ( ) n k f (0) f (n) = k k=0 pois podemos abrir o somat orio ( ) p p ( ) n ( ) n n n k k f (n) = f (0) = f (0) + k f (0) k k k k=0 k=0 k=n+1 ( ) n n(k,1) onde o segundo somat orio e zero, pois temos termos da forma = que s ao zero k k! pra k natural maior que n, por propriedade de pot encias fatoriais, tendo que o menor valor de k no somat orio a direita e n + 1 que j a e maior que n, logo o segundo termo e zero. Agora se p = n, podemos escrever p ( ) n ( ) n n k f (n) = f (0) = k f (0) k k k=0 k=0 ent ao em todos casos, podemos escrever
p ( ) n f (n) = k f (0). k k=0
Como temos que p f (0) = r uma constante diferente de zero, temos abrindo o limite superior do somat orio ( ) p1 ( ) p1 ( ) n n n n(p,1) k p f (n) = r f (0) + f (0) = k f (0) + k p p ! k k=0 k=0 onde n(p,1) e um polin omio de grau p em n, que pode ser visto expandindo em pot encia usando n umeros de Stirling do primeiro tipo. O grau dos termos que caram dentro do somat orio s ao todo menores que p, logo n ao pode haver termo que anule o termo de coeciente np . Podemos tomar ent ao como f ormula geral o polin omio de grau p em n p ( ) n f (n) = k f (0). k k=0
Propriedade 3. Se s ao dadas as p + 1 condi co es iniciais f (k ) com k variando de 0 at e p, temos o polin omio solu ca o . Demonstra c ao. Basta mostrar que vamos ter os coecientes do polin omio que s ao os termos k f (0) com k variando de 0 at e p. Temos que k f (0) = (E 1)k f (0) = k ( ) k ( ) k k k s s (1) E f (0) = (1)ks f (s) essa rela c ao diz que para ter k f (0) pres s s=0 s=0 cisamos dos termos f (s) com s variando de 0 at e k , como temos f (s) de s = 0 at e s = p, isso implica que temos k f (0) de k = 0 at e k = p.
1.2
Deni c ao 7 (Progress ao geom etrica de ordem p.). Uma progress ao geom etrica de ordem p e uma sequ encia (xn ) de termos n ao nulos que satisfaz Qp xn = r onde r = 0, r = 1. Dessa deni ca o segue que Qp+1 xn = Qr = 1. Propriedade 4. A express ao geral de uma progress ao geom etrica de ordem p e xn =
p
[Qk x(0)](k)
k=0
Demonstra c ao. Vale Qp x(n) = r diferente de zero e de um, tomando o logaritmo temos ln Qp x(n) = p ln x(n) = ln r = 0 logo ln x(n) e uma progress ao aritm etica de ordem p, ent ao vale
p ( ) p p p p p p p ln x(n) = k ln x(0) = k ln x(0)(k) = ln Qk x(0)(k) = ln Qk x(0)(k) k k=0 k=0 k=0 k=0
implicando que xn =
[Qk x(0)](k) .
k=0
Deni c ao 8. Progress oes geom etricas, s ao sequ encias denidas pela equa ca o de diferen ca.
10
(E a)f (n) = 0 Vamos considerar a = 0, a R. Com uma condi ca o inicial f (n0 ) = k dada, sendo n0 um n umero inteiro. A equa c ao de diferen ca (E a)f (n) = 0 f (n + 1) af (n) = 0 f (n + 1) = af (n) f (n + 1) =a f (n) O que mostra que e uma equa ca o quociente Qf (x) = a Corol ario 8. Pelo teorema de absor c ao sabemos que a solu c ao e da forma f (n) = c.an Que poderia ser deduzida com a equa ca o quociente tamb em pois temos
n 1 n0 n 1 f (n) an Qf (x) = = a = n0 f (n0 ) a n
0
comum que o primeiro termo da sequ E encia seja considerado como (seja a constante inicial dada) f (1) = c.a = a1 , com isso temos f (n) = c.a.an1 = f (1).an1 . O termo a e chamado raz ao da progress ao geom etrica, e simbolizando em alguns textos como q , temos ent ao nesse caso a f ormula geral escrita como f (n) = f (1).q n1 , podemos escrever an como termo geral da sequ encia, an = a1 .q n1 . Exemplo 1. Alguns exemplos de progress oes geom etricas. (1, 1, 1, ...)
11
1.2.1
Forma Delta
A forma delta da progress ao geometrica pode ser obtida tomando E = + 1 na deni c ao da recorr encia da progress ao geom etrica. Corol ario 9. (E a)f (n) = ( + 1 a)f (n) = f (n) + (1 a)f (n) = 0 f (n) = (a 1)f (n) Dessa forma tamb em poder amos ver o termo geral da sequ encia, pois sabemos que f (n) = c.an = f (n) = (a 1).c.an = (a 1).f (n)
1.2.2
A f ormula de soma dos termos de uma PG, j a foi deduzida, pois se trata nada mais que soma de uma fun ca o do tipo f (n) = c.an .
e e
e+1 d
Se tomarmos d = 1
n x=1
a1 .q
x1
q x1 = a1 q1
n+1
( = a1
qn q0 q1 q1
) = a1
qn 1 q1
12
1.2.3
n+1 b
c.a = c .a
Pois Qc .a
x
x(x1) 2
cx+1 .a cx .a
(x+1)(x) 2
x(x1) 2
= c.a
(x+1)(x) x(x1) 2 2
a1 .q
x1
ax 1 .q
(x1)(x2) 2
n+1 b
Tomando b = 1
n x=1
a1 .q
x1
ax 1 .q
(x1)(x2) 2
n+1 1
+1 an .q 1 = a1
(n)(n1) 2
= an 1 .q
n(n1) 2
Tal identidade vale se, e somente se, (passando termos para o mesmo lado da igualdade e colocando em evid encia )
2n n 3n 2n n n k k k k k qk ) q q )( q q )=( q )( ( k=1 k=1
3n k=n+1
k=1 qk
k=1
k=1
2n
k=1 qk
k=n+1
que equivale