Frações Contínuas Que Correspondem A Séries de Potências

Fraes Contnuas que correspondem a sries de
potncias em dois pontos

Manuella Aparecida Felix de Lima
Dissertao de Mestrado
Ps-Graduao em Matemtica
Fraes Contnuas que correspondem a sries de potncias
em dois pontos
Dissertao apresentada ao Instituto de Biocincias,
Letras e Cincias Exatas da Universidade Estadual
Paulista "Julio de Mesquita Filho", Campus de So
Jos do Rio Preto, So Paulo, para a obteno do
ttulo de Mestre em Matemtica.
Orientadora: Prof
a
. Dr
a
. Eliana Xavier Linhares de
Andrade.
So Jos do Rio Preto
2010
Lima, Manuella Aparecida Felix de.
Fraes Contnuas que correspondem a sries de potncias em dois
pontos/ Manuella Aparecida Felix de Lima. So Jos do Rio Preto:
[s.n.], 2010.
71 f.: il. ; 30 cm.
Orientadora: Eliana Xavier Linhares de Andrade.
Dissertao (mestrado) - Universidade Estadual Paulista "Julio
de Mesquita Filho", Instituto de Biocincias, Letras e Cincias Exatas.
1. Polinmios ortogonais. 2. Fraes contnuas. 3. Sries de po-
tncias. 4. Pad, Aproximante de. I. Andrade, Eliana Xavier Linhares
de II. Instituto de Biocincias, Letras e Cincias Exatas III. Ttulo.
CDU - 517.587
Fraes Contnuas que correspondem a sries de potncias em dois
pontos
Dissertao apresentada para obteno do ttulo de
Mestre em Matemtica, rea de Anlise Aplicada,
junto ao Instituto de Biocincias, Letras e Cincias
Exatas da Universidade Estadual Paulista "Julio
de Mesquita Filho", Campus de So Jos do Rio
Preto.
Banca Examinadora
Prof
a
. Dr
a
. Eliana Xavier Linhares de Andrade
Professor Adjunto
UNESP - So Jos do Rio Preto
Orientadora
Prof
a
. Dr
a
. Vanessa Avansini Botta Pirani
Professor Assistente Doutor
UNESP - Presidente Prudente
Prof
a
. Dr
a
. Cleonice Ftima Bracciali
Professor Adjunto
UNESP - So Jos do Rio Preto
So Jos do Rio Preto, 19 de Fevereiro de 2010.
i
Aos meus pais, Helena e Laerci.
Dedico.
ii
Agradecimentos
Primeiramente a Deus, que me deu a vida e a oportunidade de conhecer pessoas
maravilhosas com as quais muito aprendi.
Um agradecimento mais que especial Prof
a
. Dr
a
. Eliana Xavier Linhares de
Andrade, pelos incontveis esforos, carinho e apoio na orientao deste trabalho.
Aos professores de graduao e ps-graduao, em especial Prof
a
. Dr
a
. Cleonice
Ftima Bracciali e ao Prof. Dr. Alagacone Sri Ranga, e Prof
a
. Dr
a
. Vanessa Avansini
Botta Pirani, membro da banca, pelo auxlio e contribuio intelectual.
minha famlia, que sempre me apoiou e torceu por mim.
Ao Leandro, pela compreenso, carinho e apoio principalmente nos momentos di-
fceis.
Ao Coral Ibilce, em especial querida regente Zuleica e aos amigos coralistas
Alexandre, Ana Cludia, Ana Paula, Andresa, Antoniana, Carolina, Fabola, Fernanda,
Guilherme, Lilian, Marcos, Nara, Paulo, Renato, Rodrigo, Sara, Tati, Zelo e a todos
os outros coralistas e ex-coralistas que, mesmo no tendo seus nomes aqui mencionados,
sabem que esto guardados no meu corao por proporcionarem os momentos mais felizes
e mgicos dos ltimos 5 anos.
Aos amigos de graduao Alyne, Ana Cludia, Ana Paula, Antoniana, Cristiane,
Fernanda, Inai, ris, Josy, Juliana, Marcos, Marjory, Renata, Vanessa, Viviane, Wallace,
Yen e a todos os outros colegas, pelos 4 anos que passamos juntos, pelos incontveis dias
de estudo na biblioteca, pelas aventuras no bosque e pela amizade.
Aos amigos de ps-graduao Alyne, Cintya, Cristiane, Fbio, Fernando, Heron,
Jos Augusto, Jucilene, Junior, Marcos, Mirela, Regina, Wallace e a todos os outros
colegas, pelas risadas, pelas lgrimas, pelo auxlio na dissertao e por tudo que passamos
juntos nesses 2 anos.
A todas as pessoas e funcionrios do IBILCE que, direta ou indiretamente, contri-
buram para a elaborao deste trabalho.
Capes, pelo auxlio nanceiro.
iii
Resumo
O principal objetivo deste trabalho estudar mtodos para construir os numera-
dores e denominadores parciais da frao contnua que corresponde a duas expanses em
srie de potncias de uma funo analtica f(z), em z = 0 e em z = . Alm disso,
consideramos casos em que h coecientes nulos nas expanses e, tambm, quando os co-
ecientes apresentam simetria. Alguns exemplos numricos so apresentados para ilustrar
dois dos algoritmos estudados, o Q-D e o Q-D modicado.
Palavras-chave: funes analticas, aproximantes de Pad, fraes contnuas, polinmios
ortogonais.
iv
Abstract
The main purpose of this work is to study some methods for deriving a continued
fraction that corresponds to two series expansions of an analytic function f(z), in z = 0
and z = simultaneously. Furthermore we considered the case when there are zero
coecients in the series and also when there is symmetry in the coecients of the two
series. Some examples are given.
Keywords: analytic functions, Pad approximants, continued fractions, orthogonal poly-
nomials.
v
Sumrio
Introduo 1
1 Preliminares 3
1.1 Aspectos histricos das fraes contnuas . . . . . . . . . . . . . . . . . . . 3
1.2 Conceitos bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Convergncia de fraes contnuas . . . . . . . . . . . . . . . . . . . . . . . 10
1.4 Polinmios ortogonais e similares . . . . . . . . . . . . . . . . . . . . . . . 11
1.4.1 Polinmios ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2 Polinmios similares aos ortogonais . . . . . . . . . . . . . . . . . . 17
1.4.3 Conexo com fraes contnuas . . . . . . . . . . . . . . . . . . . . 19
1.5 Aproximantes de Pad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.5.1 Conexo com fraes contnuas . . . . . . . . . . . . . . . . . . . . 26
1.5.2 Tabela de Pad de dois pontos . . . . . . . . . . . . . . . . . . . . . 27
2 Fraes contnuas que correspondem a expanses em sries de potncias
em dois pontos 30
2.1 Construo de fraes contnuas pelos determinantes de Hankel . . . . . . 32
2.1.1 Caso i = j = m . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.1.2 Caso i = j . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.2 Construo de fraes contnuas pelo algoritmo Q-D . . . . . . . . . . . . . 43
2.2.1 Caso em que as sries de potncias apresentam coecientes nulos . . 49
2.3 Sries de potncias que apresentam simetrias . . . . . . . . . . . . . . . . . 52
2.3.1 Caso geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.3.2 Caso s = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.3.3 Caso s = 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Sumrio vi
2.3.4 Caso s = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3 Erros nas aproximaes e resultados computacionais 59
3.1 Erros nas aproximaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2 Resultados computacionais . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2.1 A funo F(z) =
1
1 + z
2
. . . . . . . . . . . . . . . . . . . . . . 63
3.2.2 A funo F(z) = arccot(z) . . . . . . . . . . . . . . . . . . . . . . 64
Referncias Bibliogrcas 69
1
Introduo
As fraes contnuas, assim como os aproximantes de Pad, tm vasta aplicao em
muitos problemas da Matemtica Pura e Cincias Aplicadas. So ferramentas essenciais
para a soluo de muitos problemas relacionados aproximao de nmeros irracionais e
racionais, aproximao de funes, aplicaes na fsica terica, soluo de equaes diofan-
tinas e equaes integrais de Volterra no lineares, resoluo de problemas de momento,
entre outras. Essa grande variedade de aplicaes foi a motivao para esse trabalho.
Seja f(z) uma funo analtica que possui expanses em sries de potncias em
z = 0 e em z = dadas, respectivamente, por
f(z) = a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ (1)
e
f(z) =
a
1
z

a
2
z
2

a
3
z
3

a
4
z
4
. (2)
Suponhamos que f(z) seja aproximada por funes racionais da forma
P
m
(z)
Q
m
(z)
=

m,0
+
m,1
z + +
m,m1
z
m1
1 +
m,1
z + +
m,m
z
m
, m = 0, 1, 2, . . . , (3)
em que os coecientes
m,i
e
m,i+1
, i = 0, 1, . . . , m1, so independentes de z. Esses 2m
coecientes podem ser determinados de tal forma que, quando a funo racional em (3)
expandida para [z[ pequeno e para [z[ grande, haja coincidncia com i termos de (1) e j
termos de (2), respectivamente, totalizando i + j = 2m termos ao todo.
Assim,
f(z)
P
m
(z)
Q
m
(z)
= O
_
z
i
, z
(j+1)
_
, (4)
em que o smbolo no lado direito signica que o lado esquerdo da ordem de z
i
para [z[
pequeno e da ordem de z
(j+1)
para [z[ grande.
Seja a frao contnua
p
1
(z)
q
1
(z) +
p
2
(z)
q
2
(z) +
p
3
(z)
q
3
(z) + . . . +
p
m
(z)
q
m
(z) + . . .
Introduo 2
cujo m-simo convergente exatamente a funo racional
P
m
(z)
Q
m
(z)
. bem conhecido que
os polinmios P
m
(z) e Q
m
(z) satisfazem as relaes de recorrncia (ver, por exemplo,
Chihara [6])
P
m+1
(z) = q
m+1
(z)P
m
(z) + p
m+1
(z)P
m1
(z)
e (5)
Q
m+1
(z) = q
m+1
(z)Q
m
(z) + p
m+1
(z)Q
m1
(z),
para m = 0, 1, 2, . . . , com valores iniciais P
0
(z) = 0, P
1
(z) = p
1
(z), Q
0
(z) = 1 e Q
1
(z) =
q
1
(z).
O principal objetivo deste trabalho estudar mtodos para, a partir dos polinmios
P
m
(z) e Q
m
(z), determinar os elementos da frao contnua correspondente s duas sries
(1) e (2). Murphy (1966) mostrou que ela da forma
n
1
1 + d
1
z +
n
2
z
1 + d
2
z +
n
3
z
1 + d
3
z + . . . +
n
m
z
1 + d
m
z + . . .
(6)
em que n
m
e d
m
so constantes independentes de z. Essa frao contnua chamada
M-frao.
Para realizarmos o estudo proposto, organizamos a presente dissertao da seguinte
forma.
No Captulo 1, introduzimos alguns conceitos bsicos sobre fraes contnuas,
polinmios ortogonais e aproximantes de Pad, onde, tambm, relacionamos tais tpicos.
Os conceitos dados neste captulo so fundamentais para o entendimento e desenvolvi-
mento dos demais captulos.
No Captulo 2, apresentamos os mtodos para a obteno da frao contnua corres-
pondente s sries de potncias, em z = 0 e z = , de uma funo f(z) dada. Tais
mtodos so construdos a partir dos determinantes de Hankel e do algoritmo Q-D. Apre-
sentamos, ainda, o caso em que h coecientes nulos em uma ou em ambas as sries de
potncias e, tambm, quando os coecientes das sries apresentam simetria.
Por m, no Captulo 3, zemos um breve estudo sobre erros nas aproximaes por
funes racionais, alm de dois exemplos computacionais utilizando os algoritmos obtidos
no Captulo 2.
3
Captulo 1
Preliminares
Neste captulo, faremos um estudo sucinto, porm consistente, sobre fraes cont-
nuas, polinmios ortogonais e similares e aproximantes de Pad. Sobre fraes contnuas,
comearemos por uma breve introduo histrica, passando por suas denies e pro-
priedades e, por m, mostraremos alguns resultados sobre convergncia. Quanto aos
polinmios ortogonais e similares, daremos suas denies, algumas propriedades e a co-
nexo dos mesmos com fraes contnuas. Finalmente, sobre os aproximantes de Pad,
apresentamos a denio da tabela de Pad em um ponto, sua conexo com fraes con-
tnuas e a denio de tabela de Pad em dois pontos. Embora esses assuntos sejam bem
conhecidos, a apresentao necessria pois fundamentam os prximos captulos. Muitos
textos podem ser utilizados para o estudo de tais tpicos como, por exemplo, [5], [6], [8],
[14], [21], [23].
1.1 Aspectos histricos das fraes contnuas
Para se fazer matemtica, isto , a m de compreender e fazer contribuies a esta
cincia, importante estudar sua histria. A matemtica est sendo construda constan-
temente atravs de descobertas. Aqueles que desejam estudar um campo particular da
matemtica, seja estatstica, lgebra abstrata ou fraes contnuas, necessitaro primei-
ramente estudar seu passado. Assim, podem-se fazer melhorias em resultados j obtidos,
sem repet-los.
A origem das fraes contnuas difcil de se precisar. Isto devido ao fato de que
podemos encontrar exemplos dessas fraes por toda a matemtica nos ltimos 2000 anos,
1.1. Aspectos histricos das fraes contnuas 4
mas seus verdadeiros fundamentos no foram colocados at o nal de 1600, incio de 1700.
Sua origem tradicionalmente atribuda ao desenvolvimento do Algoritmo de Euclides.
O Algoritmo de Euclides, entretanto, usado para encontrar o mximo divisor comum
(mdc) entre dois nmeros. Porm, manipulando algebricamente o algoritmo, pode-se
obter a frao contnua simples de um nmero racional p/q. H dvida se Euclides ou
seus antecessores usaram realmente este algoritmo dessa maneira. Mas, devido a seu
estreito relacionamento com fraes contnuas, o Algoritmo de Euclides signicou o incio
de seu desenvolvimento.
Por mais de mil anos, todo trabalho que usava fraes contnuas era restrito a
exemplos especcos. O matemtico indiano Aryabhata (476-550) utilizou-as para resolver
equaes lineares diofantinas. Entretanto, no desenvolveu um mtodo geral; particular-
mente, usou fraes contnuas somente em exemplos especcos. Durante toda a escrita
matemtica grega e rabe, podemos encontrar exemplos e sinais de fraes contnuas.
Mas, novamente, seu uso era limitado a aplicaes especcas.
Dois cientistas da cidade de Bolonha, Itlia, Rafael Bombelli (1526-1572) e Pietro
Cataldi (1548-1626), contriburam tambm neste campo, embora apenas fornecendo mais
exemplos. Bombelli expressou a raiz quadrada de 13 como uma frao contnua dada por
13 3 +
4
6 +
4
6
=
18
5
,
que um caso especial da frmula
a
2
+ b a +
b
2a +
b
2a +
b
2a +
b
2a + . . .
.
No sculo XV I j se conhecia a aproximao
a
2
+ b a +
b
2a +
b
2a
.
Cataldi fez o mesmo para a raiz quadrada de 18:
18 4&
2
8&
2
8&
2
8&
.
.
.
= 4 +
2
8 +
2
8 +
2
8 +
.
.
.
,
que ele abreviou como
4&
2
8
&
2
8
&
2
8
. . . .
Ambos os matemticos forneceram somente estes exemplos, mas no foram alm.
As fraes contnuas transformaram-se num campo de estudos atravs do trabalho
de John Wallis (1616-1703). Em seu livro "Arithmetica Innitorium"(1655), desenvolveu
e apresentou a identidade:
4
=
3 3 5 5 7 7 9 . . .
2 4 4 6 6 8 9 . . .
.
O primeiro presidente da Royal Society of London, Lord Brouncker (1620-1684),
transformou esta identidade em
4
= 1 +
1
2
2 +
3
2
2 +
5
2
2 +
7
2
2 +
9
2
2 +
.
.
.
= 1 +
1
2
2 +
3
2
2 +
5
2
2 +
7
2
2 +
9
2
2 + . . .
.
Essa descoberta foi um passo importante na histria de = 3, 14159 . . . .
Embora Brouncker no tenha enfatizado a frao contnua, Wallis tomou a inicia-
tiva e introduziu as primeiras etapas para generalizar essa teoria.
Em seu livro "Opera Mathematica"(1695), Wallis colocou alguns dos fundamentos
bsicos das fraes contnuas. Explicou como calcular o n-simo convergente e descobriu
algumas das propriedades, agora familiares, dos convergentes. Foi tambm neste trabalho
que o termo "frao contnua" foi usado pela primeira vez.
O matemtico e astrnomo holands Christiaan Huygens (1629-1695) foi o primeiro
a demonstrar uma aplicao prtica de fraes contnuas. Escreveu um artigo explicando
como usar os convergentes de uma frao contnua para encontrar as melhores aproxi-
maes racionais para as relaes entre as engrenagens. Essas aproximaes permitiram-
lhe escolher as engrenagens com o nmero correto de dentes. Seu trabalho foi motivado
pelo desejo de construir um planetrio mecnico.
Embora Wallis e Huygens trabalhassem com fraes contnuas, esse campo de pes-
quisa s comeou a orescer quando Leonard Euler (1707-1783), Johan Heinrich Lambert
(1728-1777) e Joseph Louis Lagrange (1736-1813) abraaram o tpico.
Muito da teoria moderna foi desenvolvida por Euler em seu trabalho de 1737, "De
Fractionlous Continious". Ele Mostrou que cada racional pode ser expresso como uma
frao contnua simples nita, e forneceu, tambm, uma expresso para o nmero e na
forma de frao contnua:
e = 2 +
1
1 +
1
2 +
1
1 +
1
1 +
1
4 +
1
1 +
1
1 +
.
.
.
ou
e = 2 +
1
1 +
1
2 +
1
1 +
1
1 +
1
4 +
1
1 +
1
1 +
1
6 +
1
1 +
1
1 +
1
8 + . . .
.
Usou esta expresso para mostrar que e e e
2
so irracionais. Demonstrou, tambm, como
representar uma srie como frao contnua, e vice-versa.
Lambert generalizou o trabalho de Euler sobre o nmero e. Em 1766, ele mostrou
que
e
x
1
e
x
+ 1
=
1
2
x
+
1
6
x
+
1
10
x
+
1
14
x
+
.
.
.
.
Em 1768, ele encontrou expanses em fraes contnuas para as funes log(1+x),
arctg(x) e tg(x). Para tg(x), ele encontrou
tg(x) =
1
1
x

1
3
x
1
5
x
1
7
x
.
.
.
,
e usou essas expresses para mostrar que e
x
e tg(x) so irracionais se x for racional.
Lagrange usou fraes contnuas para encontrar o valor de razes irracionais. Pro-
vou tambm que os nmeros quadrticos irracionais so dados por uma frao contnua
peridica.
O sculo XIX provavelmente pode ser considerado como a idade dourada das
fraes contnuas. Como Claude Brezinski escreveu em "History of Continued Fractions
and Pad Approximants", "o sculo dezenove pode ser considerado o perodo popular
das fraes contnuas". Foi uma poca em que "o assunto era conhecido por todos os
1.2. Conceitos bsicos 7
matemticos". Como consequncia, houve uma exploso no crescimento deste campo. A
teoria de fraes contnuas foi desenvolvida signicativamente, especialmente com respeito
aos convergentes. Tambm eram estudadas as fraes contnuas com variveis comple-
xas como termos. Alguns dos matemticos mais proeminentes que contriburam para
este campo foram Karl Jacobi (1804-51), Oskar Perron (1880-1975), Charles Hermite
(1822-1901), Karl Friedrich Gauss (1777-1855), Augustin Cauchy (1789-1857) e Thomas
Stieltjes (1856-94). No princpio do sculo XX, a teoria tinha avanado muito alm do
trabalho inicial de Wallis.
Desde o comeo do sculo XX, o uso das fraes contnuas tem aparecido em outros
campos. Para dar um exemplo de sua versatilidade, uma publicao recente de Robert
M. Corless [7] examinou a conexo entre fraes contnuas e a teoria do caos. As fraes
contnuas foram utilizadas, tambm, em algoritmos para computador calculando aproxi-
maes racionais para os nmeros reais, bem como para resolver equaes diofantinas.
Este breve resumo do passado das fraes contnuas fornece uma viso geral do
desenvolvimento deste campo. Embora seu desenvolvimento inicial parea ter levado um
longo tempo, uma vez iniciado, o campo e sua anlise cresceram rapidamente. Mesmo
hoje, o fato de as fraes contnuas ainda estarem sendo usadas signica que o assunto
est longe de se esgotar.
1.2 Conceitos bsicos
Veremos, nesta seo, os conceitos bsicos sobre fraes contnuas que sero neces-
srios para o bom entendimento deste trabalho.
Uma frao contnua uma expresso da forma
b
0
+
a
1
b
1
+
a
2
b
2
+
a
3
b
3
+ .
.
.
,
onde a
n
n=1
e b
n
n=0
so sequncias de nmeros complexos ou funes complexas sim-
ples com a
n
,= 0. Uma frao contnua pode, tambm, ser denotada das seguintes formas:
b
0
+
a
1
b
1
+
a
2
b
2
+ . . .
(1.1)
ou
b
0
+ K
n=1
_
a
n
b
n
_
.
Outra maneira de denir fraes contnuas, segundo Henrici e Puger [11], uti-
lizando transformaes lineares fracionais, conhecidas tambm como transformaes de
Mebius.
Denio 1.1. Uma transformao linear fracional (t.l.f.) denida por
t(w) =
a + cw
b + dw
,
onde a, b, c, d e w so nmeros complexos e ad bc ,= 0.
Denio 1.2. Uma frao contnua um par ordenado
((a
n
, b
n
) , f
n
) ,
onde a
n
n=1
e b
n
n=0
so sequncias de nmeros complexos ou, ainda, funes com-
plexas simples com a
n
,= 0 e f
n
uma sequncia em C, o plano complexo estendido
(C ), dada por
f
n
= S
n
(0), n = 0, 1, 2, . . . ,
onde S
n
(w), para n = 1, 2, . . . , so t.l.f. denidas por
S
n
(w) = S
n1
(s
n
(w)), s
n
(w) =
a
n
b
n
+ w
(1.2)
com
S
0
(w) = s
0
(w) e s
0
(w) = b
0
+ w.
Os nmeros a
n
e b
n
so chamados, respectivamente, n-simos numeradores e deno-
minadores parciais. Esses nmeros tambm so chamados de elementos da frao cont-
nua. O valor
f
n
= S
n
(0) = b
0
+
a
1
b
1
+
a
2
b
2
+
a
3
b
3
+ .
.
.
+
a
n
b
n
chamado de n-simo convergente ou aproximante da frao contnua. Podemos usar as
seguintes notaes
f
n
= b
0
+
a
1
b
1
+
a
2
b
2
+ . . . +
a
n
b
n
ou f
n
= b
0
+ K
n
j=1
_
a
j
b
j
_
.
Correspondentes a cada frao contnua da forma (1.1), existem sequncias de
nmeros ou funes complexas A
n
e B
n
denidas por
_
_
A
1
B
1
_
_
=
_
_
1
0
_
_
,
_
_
A
0
B
0
_
_
=
_
_
b
0
1
_
_
e
_
_
A
n
B
n
_
_
= b
n
_
_
A
n1
B
n1
_
_
+ a
n
_
_
A
n2
B
n2
_
_
, n = 1, 2, . . . . (1.3)
Os nmeros A
n
e B
n
, n = 1, 2, . . . , so chamados de n-simos numeradores e
denominadores de (1.1), respectivamente (tambm so chamados de numeradores e de-
nominadores cannicos). O resultado (1.3) facilmente vericado por induo (veja, por
exemplo, Chihara [6]). A importncia desses nmeros mostrada no teorema a seguir.
Teorema 1.1. Se A
n
, B
n
e f
n
denotam os n-simos numerador, denominador e conver-
gente da frao contnua (1.1), respectivamente, e se S
n
a sequncia de t.l.f. (1.2),
ento
S
n
(w) =
A
n
+ A
n1
w
B
n
+ B
n1
w
, f
n
= S
n
(0) =
A
n
B
n
n = 0, 1, 2, . . . e
f
n1
= S
n
() =
A
n1
B
n1
, n = 1, 2, . . . .
Alm disso,
A
n
B
n1
A
n1
B
n
= (1)
n1
n
k=1
a
k
,= 0, n = 1, 2, . . . .
A ltima equao pode ser escrita como
A
n
B
n
A
n1
B
n1
=
(1)
n1
n
k=1
a
k
B
n1
B
n
. (1.4)
Sejam A
n
e B
n
os numeradores e denominadores de
b
0
+
a
1
b
1
+
a
2
b
2
+
a
3
b
3
+ . . .
, (1.5)
respectivamente, e C
n
e D
n
os numeradores e denominadores de
d
0
+
c
1
d
1
+
c
2
d
2
+
c
3
d
3
+ . . .
, (1.6)
respectivamente.
Denio 1.3. A frao contnua (1.6), com
C
k
= A
2k
, D
k
= B
2k
, k = 0, 1, 2, . . . ,
chamada contrao par (ou parte par) da frao contnua (1.5).
Denio 1.4. A frao contnua (1.6), com
C
k
= A
2k+1
, D
k
= B
2k+1
, k = 1, 2, 3, . . . ,
chamada contrao mpar (ou parte mpar) da frao contnua (1.5).
1.3. Convergncia de fraes contnuas 10
Teorema 1.2. A parte par de (1.5) existe se, e somente se, b
2k
,= 0 para k = 1, 2, 3, . . . ,
e dada por
b
0
+
b
2
a
1
b
2
b
1
+ a
2

a
2
a
3
b
4
/b
2
a
4
+ b
3
b
4
+ a
3
b
4
/b
2

a
4
a
5
b
6
/b
4
a
6
+ b
5
b
6
+ a
5
b
6
/b
4
. . .
.
Teorema 1.3. A parte mpar de (1.5) existe se, e somente se, b
2k+1
,= 0 para k =
0, 1, 2, . . . , e dada por
b
0
b
1
+ a
1
b
1
a
1
a
2
b
3
/b
1
b
1
(a
3
+ b
2
b
3
) + a
2
b
3

a
3
a
4
b
5
b
1
/b
3
a
5
+ b
4
b
5
+ a
4
b
5
/b
3
a
5
a
6
b
7
/b
5
a
7
+ b
6
b
7
+ a
6
b
7
/b
5

a
7
a
8
b
9
/b
7
a
9
+ b
8
b
9
+ a
8
b
9
/b
7
. . .
.
1.3 Convergncia de fraes contnuas
Nesta seo, trataremos da convergncia de fraes contnuas. Daremos sua de-
nio e um resultado importante.
Denio 1.5. Convergncia clssica de uma frao contnua da forma (1.5) para um
nmero f C signica a convergncia da sequncia de convergentes f
n
para f e, neste
caso, o valor da frao contnua o limite da sequncia f
n
. Ento, podemos escrever
f = b
0
+
a
1
b
1
+
a
2
b
2
+
a
3
b
3
+ . . .
.
Como existe uma correspondncia biunvoca entre os pontos do plano complexo
estendido e a esfera de Riemann, aceitamos tambm o conceito de convergncia para o
innito. Assim, dizemos que uma frao contnua diverge se a sequncia f
n
converge
para mais de um valor ou quando no converge para nenhum valor.
Teorema 1.4. Se a
n+1
> 0 e b
n
> 0, n = 0, 1, 2, . . . , ento os convergentes de ordem
par, f
2n
, da frao contnua (1.5) formam uma sequncia numrica crescente, enquanto
que os convergentes de ordem mpar, f
2n+1
, formam uma sequncia decrescente e todo
convergente de ordem par menor do que qualquer convergente de ordem mpar. Alm
disso, cada convergente f
n
, n 2, est entre os convergentes f
n1
e f
n2
. Os termos da
sequncia f
n
satisfazem
f
0
< f
2
< f
4
< < f
2n
< < f
2n+1
< < f
5
< f
3
< f
1
. (1.7)
1.4. Polinmios ortogonais e similares 11
Demonstrao: De (1.3) e (1.4), encontramos que
f
n
f
n2
=
b
n
(1)
n
n1
k=1
a
k
B
n
B
n2
, n 2. (1.8)
Desta equao, obtemos
f
2n
f
2n2
=
b
2n
(1)
2n
2n1
k=1
a
k
B
2n
B
2n2
> 0 = f
2n2
< f
2n
, (1.9)
e
f
2n+1
f
2n1
=
b
2n+1
(1)
2n+1
2n
k=1
a
k
B
2n+1
B
2n1
< 0 = f
2n+1
< f
2n1
. (1.10)
Alm disso, de (1.4), temos
f
2n
f
2n1
=
(1)
2n1
2n
k=1
a
k
B
2n
B
2n1
< 0 = f
2n
< f
2n1
, (1.11)
e
f
2n+1
f
2n
=
(1)
2n
2n+1
k=1
a
k
B
2n+1
B
2n
> 0 = f
2n
< f
2n+1
. (1.12)
De (1.9) e (1.10) conclumos que f
2n
uma sequncia crescente e que f
2n+1
uma
sequncia decrescente. De (1.9), (1.12) e (1.10) podemos escrever
f
2n2
< f
2n
< f
2n+1
< f
2n1
. (1.13)
Portanto, f
n
est entre f
n1
e f
n2
. Em (1.13), fazendo
n = 1, obtemos f
0
< f
2
< f
3
< f
1
.
n = 2, temosf
2
< f
4
< f
5
< f
3
. Portanto, f
0
< f
2
< f
4
< f
5
< f
3
< f
1
.
n = 3, obtemos f
4
< f
6
< f
7
< f
5
. Logo, f
0
< f
2
< f
4
< f
6
< f
7
< f
5
< f
3
< f
1
.
Continuando desta forma, obtemos
f
0
< f
2
< < f
2n2
< f
2n
< < f
2n+1
< f
2n1
< < f
3
< f
1
,
concluindo, assim, a demonstrao do teorema.
1.4 Polinmios ortogonais e similares
Faremos, nesta seo, um breve estudo sobre os polinmios ortogonais e os similares
aos ortogonais e suas conexes com as fraes contnuas. Para maiores detalhes veja [4],
[6], [8], [21].
Denio 1.6. Seja uma funo real, no decrescente, denida em [a, b]. Um ponto
[a, b] chamado de ponto de aumento de se ( +) ( ) > 0, para todo > 0.
Seja (x) uma funo real, no decrescente e com innitos pontos de aumento em
um intervalo (a, b), a < b . Se os momentos
m
=
_
b
a
x
m
d(x)
existem para m = 0, 1, 2, . . . , d(x) chamada uma distribuio em (a, b). Se os momentos
existem para todo m inteiro, d(x) uma distribuio forte. Se, alm disso, (a, b)
(0, ), d(x) uma distribuio forte de Stieltjes.
Denio 1.7. Os determinantes denidos por
H
(m)
n
=
m

m+1

m+n1
m+1

m+2

m+n
.
.
.
.
.
.
.
.
.
.
.
.
m+n1

m+n

m+2n2
, n 1, m = 0, 1, 2, . . . , (1.14)
so chamados determinantes de Hankel, onde H
(m)
1
= 0 e H
(m)
0
= 1.
Esses determinantes possuem a importante propriedade dada abaixo, cuja demons-
trao pode ser encontrada em [10]:
_
H
(m)
n
_
2
H
(m1)
n
H
(m+1)
n
+ H
(m1)
n+1
H
(m+1)
n1
= 0, n, m Z, n 1. (1.15)
1.4.1 Polinmios ortogonais
Entre os polinmios que satisfazem uma relao de recorrncia de trs termos,
esto os polinmios ortogonais. As aplicaes desses polinmios na Anlise Aplicada so
muitas e novas aplicaes surgem a cada dia.
Denio 1.8. Uma sequncia P
n
(x)
n=0
de polinmios ortogonais relativamente a uma
distribuio d(x) em um intervalo (a, b), a < b , pode ser denida por
(i) P
n
(x) um polinmio de grau exatamente n, n 0,
(ii) x
m
, P
n
(x)) =
_
b
a
x
m
P
n
(x)d(x) = 0, m = 0, 1, . . . , n 1.
A existncia dessa sequncia de polinmios depende da condio
H
(0)
n
,= 0, n = 0, 1, 2, . . . .
Do item (i) da denio anterior, temos que P
0
(x), P
1
(x), . . . , P
n
(x) um con-
junto linearmente independente, portanto, formam uma base para P
n
, o espao vetorial
dos polinmios de grau n.
Os polinmios ortogonais possuem muitas propriedades interessantes. Vejamos
algumas delas.
Teorema 1.5 (Relao de recorrncia de trs termos). Seja P
n
(x)
n=0
uma sequn-
cia de polinmios ortogonais em (a, b) relativamente distribuio d(x). Ento,
P
n+1
(x) = (
n+1
x
n+1
)P
n
(x)
n+1
P
n1
(x), n 0, (1.16)
com P
0
(x) = 1, P
1
(x) = 0,
n+1
,
n
,
n
R, n 1, e
n+1
=
a
n+1,n+1
a
n,n
,= 0,
n+1
=
n+1
xP
n
, P
n
_
_
P
n
, P
n
_ , n 0
e
n+1
=

n+1
n
, P
n
_
_
P
n1
, P
n1
_ ,= 0 n 1.
(1.17)
Demonstrao: Usaremos a notao P
n
(x) =
n
i=0
a
n,i
x
i
, a
n,n
,= 0.
Como xP
n
(x) um polinmio de grau n + 1, podemos escrever
xP
n
(x) =
n+1
i=0
b
i
P
i
(x).
Igualando os coecientes dos termos de maior grau em ambos os membros da
igualdade acima, obtemos
a
n,n
= b
n+1
a
n+1,n+1
.
Logo,
b
n+1
=
a
n,n
a
n+1,n+1
,= 0.
Porm, das relaes de ortogonalidade,
_
xP
n
, P
j
_
=
_
b
a
P
n
(x)xP
j
(x)d(x) = 0 para 0 j n 2.
Assim,
_
xP
n
, P
j
_
=
n+1
i=0
b
i
_
P
i
, P
j
_
= b
j
_
P
j
, P
j
_
= 0 b
j
= 0 para 0 j n 2.
Logo,
xP
n
(x) = b
n+1
P
n+1
(x) + b
n
P
n
(x) + b
n1
P
n1
(x),
que pode ser escrito como
P
n+1
(x) = (
n+1
x
n+1
)P
n
(x)
n+1
P
n1
(x), (1.18)
com
n+1
=
1
b
n+1
=
a
n+1,n+1
a
n,n
,
n+1
=
b
n
b
n+1
e
n+1
=
b
n1
b
n+1
.
Calculemos, agora, os valores de
n+1
e
n+1
. De (1.18), obtemos
0 =
_
P
n+1
, P
n
_
=
n+1
xP
n
, P
n
_
n+1
n
, P
n
_
n+1
_
P
n1
, P
n
_
.
Da,
n+1
=
n+1
xP
n
, P
n
_
_
P
n
, P
n
_ .
Analogamente,
0 =
_
P
n+1
, P
n1
_
=
n+1
_
xP
n
, P
n1
_
n+1
_
P
n
, P
n1
_
n+1
_
P
n1
, P
n1
_
.
Logo,
n+1
=
n+1
_
xP
n
, P
n1
_
_
P
n1
, P
n1
_.
Mas, como
P
n
(x) = (
n
x
n
)P
n1
(x)
n
P
n2
(x),
obtemos
xP
n1
(x) =
1
n
P
n
(x) +

n
P
n1
(x) +

n
P
n2
(x).
Ento,
_
xP
n
, P
n1
_
=
_
b
a
P
n
(x)xP
n1
(x)d(x)
=
1
n
_
b
a
P
n
(x)P
n
(x)d(x) +

n
_
b
a
P
n
(x)P
n1
(x)d(x)
+
n
_
b
a
P
n
(x)P
n2
(x)d(x) =
1
n
, P
n
_
.
Portanto,
n+1
=

n+1
n
, P
n
_
_
P
n1
, P
n1
_.
Para construirmos a sequncia de polinmios ortogonais mnicos
_
n
(x)
_
n=0
com
relao distribuio d(x), basta dividirmos cada polinmio pelo correspondente coe-
ciente do termo de maior grau, ou seja,
n
(x) =
P
n
(x)
a
n,n
, n 1.
Dividindo a relao de recorrncia (1.16) por a
n+1,n+1
e fazendo os ajustes neces-
srios, obtemos
n+1
(x) = (x

n+1
)

P
n
(x)
n+1
n1
(x), n 0, (1.19)
onde
n+1
=
_
x
n
,

P
n
_
_
n
,

P
n
_ ,
n+1
=
_
n
,

P
n
_
_
n1
,

P
n1
_, (1.20)
com

P
0
(x) = 1 e

P
1
(x) = x

1
.
Teorema 1.6. Seja P
n
(x), n 1, uma sequncia de polinmios ortogonais no intervalo
(a, b) com relao distribuio d(x). Ento, as razes de P
n
(x) so reais, distintas e
pertencem ao intervalo (a, b).
Demonstrao: Suponhamos que P
n
(x) no mude de sinal em (a, b). Ento, P
n
(x) 0
(ou P
n
(x) 0), mas no identicamente nulo, em (a, b). Logo,
_
b
a
P
n
(x)d(x) > 0 (ou
_
b
a
P
n
(x)d(x) < 0), o que contradiz a propriedade de ortogonalidade dos polinmios P
n
,
pois
_
b
a
P
n
(x)w(x)dx =
_
b
a
x
0
P
n
(x)d(x) = 0. (1.21)
Assim, P
n
(x) deve mudar de sinal em (a, b) pelo menos uma vez. Logo, existe pelo menos
uma raiz real de P
n
(x) de multiplicidade mpar em (a, b).
Suponhamos que x
n,1
, x
n,2
, . . . , x
n,r
(r < n) sejam as razes distintas de multiplici-
dade mpar de P
n
(x) em (a, b). Ento,
P
n
(x) = (x x
n,1
)(x x
n,2
) . . . (x x
n,r
)Q
nr
(x) = q
r
(x)Q
nr
(x),
onde Q
nr
(x) um polinmio de grau (nr) que tem somente razes complexas ou razes
de multiplicidade par em (a, b) ou razes fora de (a, b). Logo, Q
nr
(x) no muda de sinal
em (a, b). Porm, pela relao de ortogonalidade,
_
b
a
q
r
(x)P
n
(x)d(x) = 0. (1.22)
Mas,
_
b
a
q
r
(x)P
n
(x)d(x) =
_
b
a
q
2
r
(x)Q
nr
(x)d(x) ,= 0. (1.23)
Por (1.22) e (1.23) temos um absurdo. Assim, P
n
(x) tem r n razes de multipli-
cidade mpar em (a, b). Mas, como P
n
(x) um polinmio de grau n, ento r = n. Deste
modo, P
n
(x) tem n razes de multiplicidade mpar em (a, b), da seguinte forma
P
n
(x) = (x x
n,1
)
i
1
(x x
n,2
)
i
2
. . . (x x
n,n
)
i
n
.
Como i
1
, i
2
, . . . , i
n
so potncias positivas e mpares e i
1
+ i
2
+ . . . + i
n
= n, temos que
i
1
= i
2
= = i
n
= 1.
Outra propriedade muito interessante a do entrelaamento dos zeros, cuja de-
monstrao pode ser encontrada, por exemplo, em Chihara [6].
Teorema 1.7. Seja
_
P
j
(x)
_
j=0
uma sequncia de polinmios ortogonais. Ento, entre
dois zeros consecutivos do polinmio de grau n 1, P
n1
(x), existe somente um zero de
P
n
(x).
Podemos denir uma segunda sequncia de polinmios, Q
n
(x)
n=0
, do seguinte
modo:
Q
n
(x) =
_
b
a
P
n
(x) P
n
(y)
x y
d(y), n 0.
Esses so os polinmios associados que aparecem na teoria dos polinmios ortogo-
nais. Podemos mostrar que esses polinmios satisfazem a mesma relao de recorrncia
dos polinmios ortogonais, mas com condies iniciais diferentes, ou seja,
Q
n+1
(x) = (
n+1
x
n+1
)Q
n
(x)
n+1
Q
n1
(x),
para n 1, com as condies iniciais Q
0
(x) = 0, Q
1
(x) =
0
. Logo, Q
n+1
(x) tem grau
n, n 0.
claro que os polinmios associados aos polinmios ortogonais mnicos

P
n
(x)
satisfazem a mesma relao de recorrncia dos mnicos,
n+1
(x) = (x

n+1
)

Q
n
(x)
n+1
n1
(x), (1.24)
com as condies iniciais

Q
0
(x) = 0,

Q
1
(x) =
0
. Portanto, no so mnicos e todos tm
o coeciente do termo de maior grau igual a
0
.
1.4.2 Polinmios similares aos ortogonais
A introduo do problema forte de momento, veja [13], abriu caminho para o estudo
de polinmios que apresentam propriedades semelhantes s dos polinmios ortogonais.
Este problema pode ser expresso por:
Dada uma sequncia
m
m=
de nmeros reais, sob que condies existe uma
medida no negativa d(t) tal que
m
=
m
=
_
b
a
t
m
d(t), m = 0, 1, 2, . . .?
Jones, Thron e Waadeland [13] resolveram este problema quando (a, b) (0, ).
Sri Ranga [20], usando conceitos de fraes contnuas, resolveu o problema forte de mo-
mento de Hamburger, isto , quando a < b .
Vamos, aqui, denir uma sequncia de polinmios similares aos ortogonais ou,
simplesmente, polinmios similares,
_
B
n
(z)
_
n=0
, por
(i) B
n
(z) um polinmio mnico de grau exatamente n, n 0,
(ii)
_
b
a
z
n+m
B
n
(z)d(z) = 0, m = 0, 1, . . . , n 1,
onde d(z) uma distribuio forte de Stieltjes em (a, b).
Uma condio necessria e suciente para a existncia dessa sequncia de polin-
mios que os determinantes de Hankel denidos por (1.14) satisfaam
H
(m)
n
,= 0, n 0, m = 0, 1, 2, . . . .
Na verdade, podemos demonstrar que, para uma distribuio forte de Stieltjes,
H
(m)
n
> 0, n 0, m = 0, 1, 2, . . . .
Esses polinmios satisfazem, por exemplo, a relao de recorrncia de trs termos
B
n+1
(z) = (z
n+1
)B
n
(z)
n+1
zB
n2
(z), n 0, (1.25)
com B
1
(z) = 0 e B
0
(z) = 1. Os coecientes
n
e
n+1
, n 1, podem ser dados em
termos dos determinantes de Hankel por
n+1
=
H
(n)
n+1
H
(n+1)
n1
H
(n)
n
H
(n+1)
n
e
n
=
H
(n1)
n
H
(n1)
n1
H
(n)
n1
H
(n2)
n
n 1. (1.26)
Do mesmo modo que zemos para os polinmios ortogonais, podemos denir os
polinmios associados de grau n 1 por
A
n
(z) =
_
b
a
B
n
(t) B
n
(z)
t z
d(t), n 0, (1.27)
com A
0
(z) = 0 e A
1
(z) =
0
.
fcil ver que o coeciente do termo de maior grau desses polinmios
0
. Como
B
n
(t) B
n
(z) = (t
n
z
n
) + b
n,n1
(t
n1
z
n1
) + + b
n,1
(t z),
temos
B
n
(t) B
n
(z)
t z
=
n1
j=0
t
n1j
z
j
+ b
n,n1
n2
j=0
t
n2j
z
j
+ + b
n,2
(t + z) + b
n,1
= z
n1
+ (t + b
n,n1
)z
n2
+ + (t
n2
+ b
n,n1
t
n3
+ + b
n,2
)z
+(t
n1
+ b
n,n1
t
n2
+ + b
n,1
).
Portanto, integrando ambos os lados no intervalo (a, b) relativamente distribuio ,
obtemos
A
n
(z) =
0
z
n1
+ (
1
+ b
n,n1
0
)z
n2
+ + (
n2
+ b
n,n1
n3
+ + b
n,2
0
)z
+(
n1
+ b
n,n1
n2
+ + b
n,1
0
). (1.28)
Os polinmios A
n
(z) tambm satisfazem a mesma relao de recorrncia dos po-
linmios similares, ou seja,
A
n+1
(z) = (z
n+1
)A
n
(z)
n+1
zA
n1
(z), n 1, (1.29)
com as condies iniciais A
0
(z) = 0, A
1
(z) =
0
.
Alm disso, o quociente
A
n
(z)
B
n
(z)
satisfaz
A
n
(z)
B
n
(z)
=
_
0
z
+

1
z
2
+ +

n1
z
n
+ O
_
1
z
n+1
_
,
2
z
n
z
n1
+ O(z
n
).
(1.30)
De fato, fazendo a diviso de A
n
(z), dado em (1.28), por B
n
(z) encontramos
A
n
(z)
B
n
(z)
=

0
z
+

1
z
2
+ +

n1
z
n
+ O
_
1
z
n+1
_
Para a segunda srie, sabendo que
1
t z
=
1
t
_
1
z
t
_ =
1
t
+
z
t
2
+ +
z
n1
t
n
+
z
n
t
n+1
+ , (1.31)
obtemos
_
b
a
1
t
_
1
z
t
_d(t) =
1
+
2
z + +
n
z
n1
+
n1
z
n
+ . (1.32)
De (1.31) e da denio de polinmios similares, temos que
_
b
a
B
n
(t)
t
_
1
z
t
_d(t) =
_
b
a
B
n
(t)
_
1
t
+
z
t
2
+ +
z
n1
t
n
+
z
n
t
n+1
+
_
d(t)
=
_
b
a
B
n
(t)
_
z
n
t
n+1
+
z
n+1
t
n+2
+
_
d(t) = O(z
n
). (1.33)
Logo, como
A
n
(z)
B
n
(z)
=
1
B
n
(z)
_
b
a
B
n
(t)
t
_
1
z
t
_d(t)
_
b
a
1
t
_
1
z
t
_d(t),
de (1.32) e (1.33), obtemos que
A
n
(z)
B
n
(z)
=
2
z
n
z
n1
+ O(z
n
).
Veja Andrade [3] e Ranga [20] para outras propriedades sobre esses polinmios.
1.4.3 Conexo com fraes contnuas
Faremos, agora, a associao dos polinmios ortogonais e similares aos ortogonais
com as fraes contnuas. As frmulas de Wallis (1.3) levam-nos diretamente a isso. Se,
em (1.1), tomarmos
b
0
= 0, a
1
=
0
,= 0, a
n+1
=
n+1
,= 0, b
n
= x

n
, n 1,
1.5. Aproximantes de Pad 20
obtemos a frao contnua
0
x

2
x

3
x

3
. . .

n
x

n
. . .
, (1.34)
cujo n-simo denominador parcial, B
n
, o polinmio ortogonal

P
n
(x) que satisfaz a
relao de recorrncia (1.19). A frao contnua (1.34) conhecida como frao contnua
do tipo Jacobi ou, simplesmente, J-frao, devido sua relao com certos tipos de
matrizes conhecidas por matrizes de Jacobi, cujos autovalores so os zeros dos polinmios
ortogonais a elas associados.
Retornando s frmulas de Wallis, vemos que A
n
=

Q
n
(x), e, ento, satisfazem
a relao de recorrncia (1.24). Observe, tambm, que o n-simo convergente a razo
entre o polinmio associado de grau n 1 e o ortogonal de grau n.
Vamos obter, agora, a conexo entre os polinmios similares e fraes contnuas.
Retornemos s frmulas de Wallis. Tomando, em (1.1),
b
0
= 0, a
1
=
0
,= 0, a
n+1
=
n+1
z ,= 0, b
n
= z
n
, n 1,
obtemos a frao contnua,
0
z
2
z
z
3
z
z
3
. . .
n
z
z
n
. . .
, (1.35)
conhecida como T-frao, cuja forma geral ser denida mais adiante.
Observe que os n-simos numerador e denominador parciais so, respectivamente,
o polinmio associado de grau n 1, A
n
(z), e o polinmio similar de grau n, B
n
(z).
Portanto, satisfazem as relaes de recorrncia (1.29) e (1.25).
Conhecendo-se, pois, as relaes de recorrncia dos polinmios ortogonais ou si-
milares, possvel construir as correspondentes fraes contnuas a partir dos coecientes
dessas relaes.
1.5 Aproximantes de Pad
A classe T das sries de potncias formais sobre C consiste de todas as expresses
da forma
C(z) c
0
+ c
1
z + c
2
z
2
+
m=0
c
m
z
m
com coecientes c
m
C.
Seja C(z) T e sejam m e n inteiros no negativos. A forma racional complexa
u(z)
v(z)
=
u
0
+ u
1
z + + u
m
z
m
v
0
+ v
1
z + + v
n
z
n
uma forma de Pad do tipo (m, n) para C(z) se v ,= 0 e
C(z)v(z) u(z) = O(z
m+n+1
). (1.36)
O smbolo O indica que o lado direito uma srie de potncias da forma
j=m+n+1
c
j
z
j+k
,
0 k +; onde k = + signica que C(z)v(z) u(z) = 0.
A equao (1.36) equivalente ao sistema linear de m+n+1 equaes nas m+n+2
incgnitas u
0
, . . . , u
m
, v
0
, . . . , v
n
:
S
mn
=
n
j=0
c
ij
v
j
=
_
_
_
u
i
, i = 0, 1, . . . , m, (S
u
mn
)
0, i = m + 1, . . . , m + n, (S
v
mn
)
ou seja,
S
mn
=
_
_
c
0
v
0
= u
0
c
1
v
0
+ c
0
v
1
= u
1
.
.
.
.
.
.
.
.
.
c
m
v
0
+ c
m1
v
1
+ c
m2
v
2
+ + c
mn
v
n
= u
m
_
_
S
u
mn
c
m+1
v
0
+ c
m
v
1
+ c
m1
v
2
+ + c
m+1n
v
n
= 0
c
m+2
v
0
+ c
m+1
v
1
+ c
m
v
2
+ + c
m+2n
v
n
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
c
m+n
v
0
+ c
m+n1
v
1
+ c
m+n2
v
2
+ + c
m
v
n
= 0
_
_
S
v
mn
.
Observe que se m < n, c
mk
= 0, k = m + 1, m + 2, . . . , n.
Teorema 1.8. [Frobenius]. Sempre existem formas de Pad do tipo (m, n) para C(z).
Cada forma uma representao da mesma funo racional R
mn
(z). A representao
reduzida
R
mn
(z) =
P
mn
(z)
Q
mn
(z)
possvel com P
mn
(z) e Q
mn
(z) relativamente primos e P
mn
(0) = c
0
, Q
mn
(0) = 1.
Demonstrao: Sempre existem solues no triviais (u
0
, . . . , u
m
, v
0
, . . . , v
n
)
T
de S
mn
.
De fato, basta tomar uma soluo v ,= 0, pois, caso contrrio, S
u
mn
implicaria em u = 0.
Da mesma forma, se v(z) = O(z
), temos v
,= 0 e, ento, u(z) = O(z
), u
= c
0
v
.
Portanto, a representao reduzida de
u
v
pode ser normalizada como desejado.
Se
u
v
e
u
so duas formas de Pad do tipo (m, n) para C(z), ento

Cv u = O(z
m+n+1
), Cv
= O(z
m+n+1
) e
uv
v = (Cv
)v (Cv u)v
= O(z
m+n+1
).
O lado esquerdo um polinmio de grau no mximo m+n e o lado direito uma
srie de potncias comeando com a potncia z
m+n+k+1
, k 0. Portanto, ambos os lados
se anulam e as funes racionais determinadas por
u
v
e
u
so idnticas. Isso completa a

demonstrao.
Denio 1.9. A funo racional unicamente determinada R
mn
(z) =
P
mn
(z)
Q
mn
(z)
chamada
frao de Pad do tipo (m, n) para C(z).
Denio 1.10. A tabela de Pad (estendida) para C(z) denida por:
R
00
R
01
R
02
R
03

R
10
R
11
R
12
R
13

R
20
R
21
R
22
R
23

R
30
R
31
R
32
R
33

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
(1.37)
A primeira coluna desta tabela contm as somas parciais C
m
(z) =
m
k=0
c
k
z
k
de
C(z). Tambm associadas com C(z) esto as matrizes
C
mn
=
_
_
_
_
_
_
_
_
_
_
_
c
m
c
m1
c
mn+2
c
mn+1
c
m+1
c
m
c
mn+3
c
mn+2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
c
m+n2
c
m+n3
c
m
c
m1
c
m+n1
c
m+n2
c
m+1
c
m
_
_
_
_
_
_
_
_
_
_
_
, n 1.
Denio 1.11. Seja c
mn
= det C
mn
, c
m0
= 1. A c-tabela (estendida) para C(z) denida
por:
c
00
c
01
c
02
c
03

c
10
c
11
c
12
c
13

c
20
c
21
c
22
c
23

c
30
c
31
c
32
c
33

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Evidentemente c
m0
= 1, c
m1
= c
m
, c
0n
= c
n
0
.
Fraes de Pad iguais ocorrem em blocos quadrados na tabela de Pad. A c-tabela
tem uma estrutura de blocos correspondente, com grupos de determinantes c
ij
ocorrendo
em blocos quadrados maximais da forma:
O prximo resultado uma extenso de um teorema de Pad. Ele caracteriza as formas
de Pad do tipo (i, j) para C(z) e d uma frmula para os postos dos sistemas lineares
S
ij
e S
v
ij
.
Teorema 1.9. Seja
P(z)
Q(z)
uma frao de Pad para a srie de potncias C(z) T,
c
0
,= 0. Sejam m e n os graus de P e Q, respectivamente, e suponha que a srie de potn-
cias C(z)Q(z) P(z) comece exatamente com a potncia z
m+n+k+1
. Ento, as seguintes
armaes so verdadeiras:
(a) k 0;
(b) R
(z) =
P(z)
Q(z)
se, e somente se,
m m + k e n n + k. (1.38)
Se (, ) satisfaz (1.38), ento:
(c)
u(z)
v(z)
uma forma de Pad do tipo (, ) para C(z) se, e somente se,
u(z) = z
d(z)P(z), v(z) = z
d(z)Q(z),
com
= max0, ( m) + ( n) k e d(z) ,= 0 de grau no mximo
=
_
_
_
k
2
_
max
_
m
_
k
2
_
n
_
k
2
_
_
, k < ,
min m, n , k = .
(d) + posto (S
) = posto (S
v
) =
.
(e)
c
n
,= 0, m m + k,
c
m
,= 0, n n + k,
c
= 0, m < m + k e n < n + k.
Demonstrao: Sejam
u(z)
v(z)
uma forma de Pad do tipo (, ) e R
(z) =
P(z)
Q(z)
. Ento,
grau(u) , grau(v) , C(z)v(z) u(z) = O(z
++1
). (1.39)
Desde que c
0
,= 0 e (u
0
, . . . , u
m
, v
0
, . . . , v
n
)
T
,= 0, segue, da forma de S
, que v ,= 0 e
u ,= 0. Colocando em evidncia o mximo divisor comum entre u e v, obtemos
u(z) = z
(d
0
+ d
1
z + + d
)P(z)
v(z) = z
(d
0
+ d
1
z + + d
)Q(z)
(1.40)
com d
0
d
,= 0. Ento, de (1.39),
C(z)[z
(d
0
+ d
1
z + + d
)Q(z)] z
(d
0
+ d
1
z + + d
)P(z) = O(z
++1
).
Logo,
z
(d
0
+ d
1
z + + d
)[C(z)Q(z) P(z)] = O(z

++1
)
e, assim,
z
[C(z)Q(z) P(z)] = O(z

++1
). (1.41)
Como e so graus de polinmios, ento
0 e 0. (1.42)
De (1.39) e (1.40), segue que
+ + m e + + n . (1.43)
Por hiptese, a srie C(z)Q(z) P(z) comea exatamente na potncia z
m+n+k+1
. Logo,
de (1.41),
+ m + n + k + . (1.44)
As desigualdades (1.42), (1.43) e (1.44) so equivalentes a
0,
max0, ( m) + ( n) k,
+ min m, n.
(1.45)
Reciprocamente, sejam os inteiros e tais que existem inteiros e satisfazendo (1.45).
Para d(z) = d
0
+d
1
z + +d
,= 0 arbitrrio, denimos u e v por (1.40). Ento, (1.39)

vale em razo das desigualdades (1.45),
u
v
uma forma de Pad do tipo (, ) e R
=
P
Q
.
Desde que
P
Q
uma frao de Pad para C(z), existem inteiros , , e satisfa-
zendo (1.45). Ento,
k ( m)
. .
+
+( n)
. .
+
2 + 2 = 2 + 0,
o que demonstra (a).
Alm disso, R
=
P
Q
se, e somente se, existe uma soluo (, ) de (1.45). Isto
possvel se, e somente se,
max0, ( m) + ( n) k min m, n min m, n.
Isto , se, e somente se,
0 mu m e ( m) + ( n) k n m m + k,
0 n e ( m) + ( n) k m n n + k,
(1.46)
ou seja, (1.38) vale, provando, assim, (b).
Figura 1.1: Regio factvel para encontrar
.
A forma de Pad mais geral do tipo (, ) obtida quando minimizado e
maximizado, sujeitos s desigualdades (1.45). Clculos simples de otimizao mostram
que os valores timos so =
e =
(veja a Figura 1.1). Isto prova (c). Isso

signica que o grau do polinmio d(z) na forma de Pad mais geral do tipo (, )
.
A armao (d) segue uma vez que as solues gerais de S
e S
v
contm
+1
parmetros.
Agora, c
= 0 se, e somente se, S

v
tem uma soluo no trivial com v

0
= 0. Mas,
segue de (1.45) que
= min m, n,
e
o inteiro maximal para o qual v(z) = O(z
) em alguma forma de Pad do tipo

(, ). Logo, c
= 0 se, e somente se,
> 0 e, portanto, min m, n > 0. Ou

seja,
m > 0 > m e n > 0 > n.
Isto, junto com (1.46), prova (e), completando a demonstrao do teorema.
Os blocos quadrados descritos no teorema anterior, R-bloco e c-bloco, so chamados
de blocos de ordem k.
Denio 1.12. A frao de Pad R
mn
normal se o R-bloco que a contm de ordem
k = 0, isto , R
mn
ocorre apenas uma vez na tabela de Pad.
Denio 1.13. A srie de potncias C(z) normal se todas as suas fraes de Pad
so normais. Isto , no h duas fraes de Pad iguais.
Corolrio 1.1. Uma frao de Pad R
mn
normal se, e somente se, os determinantes
c
mn
, c
m,n+1
, c
m+1,n
e c
m+1,n+1
no se anulam. A srie de potncias C(z) normal se, e somente se,
c
mn
,= 0, m 0, n 0.
Em particular, os coecientes c
m1
= c
m
, m 0, no devem se anular.
1.5.1 Conexo com fraes contnuas
O resultado abaixo nos mostra como as sries de potncias, ou os aproximantes de
Pad, esto relacionadas a fraes contnuas, conhecidas como C-fraes.
Denio 1.14. Uma C-frao uma frao contnua da forma
c
0
+
a
1
z
i
1
1 +
a
2
z
i
2
1 +
a
3
z
i
3
1 + . . .
com c
0
C, a
n
C e i
n
N, n 1.
A frao contnua
c
0
1 +
a
1
z
i
1
1 +
a
2
z
i
2
1 +
a
3
z
i
3
1 + . . .
tambm chamada C-frao.
Teorema 1.10. Seja
1 + c
1
z + c
2
z
2
+ c
3
z
3
+ (1.47)
uma srie de potncias formal tal que seus aproximantes de Pad
R
00
(z), R
10
(z), R
11
(z), R
21
(z), R
22
(z), R
32
(z), . . .
so normais. Ento, srie de potncias (1.47), corresponde uma C-frao regular
1 +
a
1
z
1 +
a
2
z
1 +
a
3
z
1 + . . . +
a
n
z
1 + . . .
, (1.48)
cujos aproximantes C
n
satisfazem
C
2m
= R
mm
, C
2m+1
= R
m+1,m
, m = 0, 1, 2, . . . . (1.49)
Para a demonstrao referimo-nos a Jones e Thron [12], pg. 191. Vale, tambm,
a recproca desse resultado.
Podemos observar que aproximantes consecutivos C
n
e C
n+1
da C-frao formam
degraus na tabela de Pad (1.37) da srie (1.47).
1.5.2 Tabela de Pad de dois pontos
A tabela de Pad usual interpola apenas uma srie de potncias formal em um
ponto, normalmente z = 0, e est relacionada a fraes contnuas do tipo C-frao regular.
Vimos que, neste caso, os aproximantes formam degraus na tabela de Pad.
As T-fraes
z
1 + d
1
z +
z
1 + d
2
z +
z
1 + d
3
z + . . . +
z
1 + d
n
z + . . .
, (1.50)
introduzidas em 1948 por Thron [22] e minuciosamente estudadas por ele, tm uma es-
trutura simples e tambm correspondem a sries de potncias. Entretanto, nenhum dos
aproximantes esto na tabela de Pad (exceto o caso d
n
= 0 para todo n). Muito mais
tarde descobriu-se que, alm da correspondncia com a srie de potncias
c
0
+ c
1
z + c
3
z
2
+ c
k
z
k1
+ , (correspondncia em 0), (1.51)
a T-frao geral
c
0
+
F
1
z
1 + G
1
z +
F
2
z
1 + G
2
z +
F
3
z
1 + G
3
z + . . . +
F
n
z
1 + G
n
z + . . .
, F
n
,= 0, (1.52)
corresponde, tambm, srie de potncias
c
0
z
+
c
1
z
2
+
c
2
z
3
+ +
c
k
z
k+1
+ (correspondncia no ), (1.53)
se G
n
,= 0 para todo n. Sob determinadas condies sobre os coecientes, tambm vale
a recproca, isto , para cada par de sries de potncias (1.51) e (1.53) corresponde uma
T-frao geral (1.52). A interpolao fornecida pela T-frao geral dividida entre inter-
polao em 0 e .
A tabela de Pad de dois pontos (em 0 e ) construda a partir de um par de
sries (1.51) e (1.53) de maneira semelhante ao caso de apenas um ponto. Nesta tabela,
encontram-se os aproximantes da T-frao geral (1.52). Esta surpreendente propriedade
das T-fraes gerais (a de corresponderem a duas sries de potncias simultaneamente,
uma em z = 0 e uma em z = ) foi primeiramente observada por McCabe e Murphy
[17]. Eles chamaram sua frao contnua de M-frao, dada por
n
1
1 + d
1
z +
n
2
z
1 + d
2
z +
n
3
z
1 + d
3
z + . . . +
n
m
z
1 + d
m
z + . . .
. (1.54)
Mas, M-fraes so, essencialmente, T-fraes.
Denotemos por F(z) e F
(z) as duas sries (1.51) e (1.53), respectivamente. Ento,

o aproximante de Pad de dois pontos
p
m,n
(z)
q
m,n
(z)
de (F, F
) obtido de modo a ajustar,

simultaneamente, um determinado nmero de termos (os primeiros) de cada srie. Isto
pode ser feito de diversas maneiras. Podemos exigir, por exemplo, que
p
m,n
(z)F(z) q
m,n
(z) = O
_
z
(m+n+1)/2
_
e p
m,n
(z)F
(z) q
m,n
(z) = O
_
1
z
(m+n+3)/2
_
se m + n + 1 par.
Logo, podemos escrever
q
m,n
(z)
p
m,n
(z)
=
_
_
c
0
+ c
1
z + c
2
z
2
+ + c
(m+n1)/2
z
(m+n1)/2
+ O
_
z
(m+n+1)/2
_
,
c
0
z
+
c
1
z
2
+ +
c
(m+n+1)/2
z
(m+n+1)/2
+ O
_
z
(m+n+3)/2
_
.
Analogamente para o caso m + n + 1 mpar.
No prximo captulo, veremos mais detalhes sobre a tabela de Pad de dois pontos.
Veja, por exemplo, [15] para uma denio mais precisa e propriedades sobre essa tabela.
30
Captulo 2
Fraes contnuas que correspondem a
expanses em sries de potncias em
dois pontos
Neste captulo, baseado nos artigos [1], [2], [9], [16] e [17], apresentamos os mtodos,
construdos a partir dos determinantes de Hankel e do algoritmo Q-D, para a obteno
da frao contnua correspondente s sries de potncias, em z = 0 e z = , de uma
funo f(z) dada. Apresentamos, ainda, o caso em que h coecientes nulos em uma ou
em ambas as sries de potncias e, tambm, quando os coecientes das sries apresentam
simetria.
Uma funo f : U C C chamada analtica em U se, para todo ponto z
0
U
existe uma vizinhana V
z
0
U tal que f(z) pode ser expressa como uma srie de potncias
de centro z
0
para todo z V
z
0
.
Seja f(z) uma funo analtica que possui expanses em sries de potncias em
z = 0 e em z = . Resultados anlogos podem ser obtidos para dois pontos nitos
aplicando-se uma transformao bilinear varivel z.
Assim, consideremos o caso em que, para [z[ pequeno, temos
f(z) = a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ (2.1)
e, para [z[ grande,
f(z) =
a
1
z

a
2
z
2

a
3
z
3

a
4
z
4
. (2.2)
Suponhamos que a
0
, a
1
,= 0 e explicaremos a razo desta restrio mais adiante.
31
Os coecientes a
i
, i Z, podem ser complexos, mas para muitas aplicaes os tomamos
reais. A razo para a notao em (2.2) car clara posteriormente.
Suponhamos, ainda, que f(z) seja injetora e que no tenha singularidades no eixo
real positivo, salvo, possivelmente, em z = 0 e z = . Os sinais de igual em (2.1) e
em (2.2) no so estritamente necessrios, as expanses podem ser consideradas como em
carter assinttico, valendo para alguns intervalos de valores de argz que contm argz = 0.
Aproximemos f(z) por funes racionais da forma
m,0
+
m,1
z + +
m,m1
z
m1
1 +
m,1
z + +
m,m
z
m
:= f
i,j
(z), m = 0, 1, 2, . . . , (2.3)
em que os coecientes
m,i
e
m,i+1
, i = 0, 1, . . . , m1, so independentes de z. Esses 2m
coecientes podem ser escolhidos de tal forma que, quando a funo racional em (2.3)
expandida para [z[ pequeno e para [z[ grande, haja coincidncia com i termos de (2.1) e
j termos de (2.2), totalizando i + j = 2m termos ao todo. Portanto, esta a razo de
denotarmos a aproximao por f
i,j
(z).
Assim,
f(z) f
i,j
(z) = O
_
z
i
, z
(j+1)
_
, (2.4)
em que o smbolo no lado direito signica que o lado esquerdo da ordem de z
i
para [z[
pequeno e da ordem de z
(j+1)
para [z[ grande.
Seja a frao contnua
p
1
q
1
+
p
2
q
2
+
p
3
q
3
+ . . . +
p
m
q
m
+ . . .
com m-simo convergente
P
m
Q
m
, em que P
m
e Q
m
satisfazem as relaes de recorrncia
P
m+1
= q
m+1
P
m
+ p
m+1
P
m1
e Q
m+1
= q
m+1
Q
m
+ p
m+1
Q
m1
, (2.5)
para m = 0, 1, 2, . . . , com valores iniciais P
0
= 0, P
1
= p
1
, Q
0
= 1 e Q
1
= q
1
.
Denindo
r,s
por
r,s
:= P
r
Q
s
P
s
Q
r
,
de (2.5) encontramos que
p
m+1
=
m,m+1
m1,m
e q
m+1
=

m1,m+1
m1,m
, (2.6)
para m = 1, 2, 3, . . . . Tomando P
m
(z) e Q
m
(z) das formas
P
m
(z) =
m,0
+
m,1
z + +
m,m1
z
m1
e Q
m
(z) = 1 +
m,1
z + +
m,m
z
m
,
2.1. Construo de fraes contnuas pelos determinantes de Hankel 32
temos
f
i,j
(z)
P
m
(z)
Q
m
(z)
, i + j = 2m, m = 1, 2, 3, . . . .
Assim, a partir dos polinmios P
m
(z) e Q
m
(z) podemos determinar os elementos
da frao contnua. Como j mencionamos, Murphy, em (1966), mostrou que a frao
contnua desejada da forma
n
1
1 + d
1
z +
n
2
z
1 + d
2
z +
n
3
z
1 + d
3
z + . . . +
n
m
z
1 + d
m
z + . . .
(2.7)
em que n
m
e d
m
so constantes independentes de z. De fato, mostraremos que as fraes
contnuas so dessa forma. Vamos supor que n
m
, m 1, sejam no nulos, mas que d
m
,
m 1, podem ser iguais a zero.
2.1 Construo de fraes contnuas pelos determinan-
tes de Hankel
2.1.1 Caso i = j = m
Consideremos a sequncia de funes racionais
f
1,1
, f
2,2
, f
3,3
, . . . , f
m,m
, . . . ,
que aproximam f(z).
Temos, de (2.4), que
f
m,m
(z) f(z) = O
_
z
m
, z
(m+1)
_
(2.8)
e, tambm, que
m,m+1
(z)
Q
m
(z)Q
m+1
(z)
= f
m,m
(z) f
m+1,m+1
(z) =
_
P
m
(z)
Q
m
(z)
f(z)
_
_
P
m+1
(z)
Q
m+1
(z)
f(z)
_
.
Os termos entre parnteses so, respectivamente, de ordens O(z
m
, z
(m+1)
) e
O(z
m+1
, z
(m+2)
). Logo,
P
m
(z) Q
m
(z)f(z) = O(z
m
, z
1
) e P
m+1
(z) Q
m+1
(z)f(z) = O(z
m+1
, z
1
)
e, ento,
m,m+1
(z) = Q
m+1
(z) [P
m
(z) Q
m
(z)f(z)] Q
m
(z) [P
m+1
(z) Q
m+1
(z)f(z)]
= O(z
m
, z
m
),
uma vez que a primeira parcela de ordemO(z
m
, z
m
) e a segunda, de ordemO(z
m+1
, z
m1
).
Portanto, como
m,m+1
(z) um polinmio de grau no mximo 2m, ele ter um
nico termo em z
m
. Esse termo facilmente determinado considerando-se o termo em z
m
de Q
m+1
(z) P
m
(z) Q
m
(z)f(z) , isto , de
Q
m
(z)f(z) = (1 +
m,1
z + . . . +
m,m
z
m
)
_
a
0
+ a
1
z + a
2
z
2
+ . . .
_
.
Portanto,
m,m+1
(z) =
m
z
m
, (2.9)
com
m
= (a
m
+ a
m1
m,1
+ + a
0
m,m
) . (2.10)
Usando as expanses (2.1) e (2.2) para f(z) junto com (2.8), obtemos as 2m equa-
es lineares
_
m,0
= a
0
m,1
= a
1
+ a
0
m,1
m,2
= a
2
+ a
1
m,1
+ a
0
m,2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
m,m1
= a
m1
+ a
m2
m,1
+ + a
0
m,m1
(2.11)
e
_
m,m1
= a
1
m,m
m,m2
= a
2
m,m
+ a
1
m,m1
m,m3
= a
3
m,m
+ a
2
m,m1
+ a
1
m,m2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
m,0
= a
m
m,m
+ a
m+1
m,m1
+ + a
1
m,1
. (2.12)
Substituindo os valores dos
m,i
, i = 0, 1, . . . , m 1, dados em (2.11), em (2.12),
chegamos ao sistema linear de m equaes com m + 1 incgnitas
_
_
a
0
+ a
1
m,1
+ a
2
m,2
+ + a
m
m,m
= 0
a
1
+ a
0
m,1
+ a
1
m,2
+ + a
m+1
m,m
= 0
a
2
+ a
1
m,1
+ a
0
m,2
+ + a
m+2
m,m
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
+ a
m2
m,1
+ a
m3
m,2
+ + a
1
m,m
= 0
. (2.13)
Sejam os determinantes D
r,s
denidos por:
D
r,s
:=
a
r
a
r+1
a
r+s
a
r1
a
r
a
r+s1
.
.
.
.
.
.
.
.
.
.
.
.
a
rs
a
rs+1
a
r
para r = 0, 1, 2, . . . , s = 0, 1, 2, . . . e D
r,s
1 para s < 0. Note que estes determinantes
so bastante similares aos determinantes de Hankel denidos no Captulo 1. Na verdade,
a relao entre os determinantes a seguinte:
D
r,s
= (1)
s1
2
|
H
(rs)
s+1
. (2.14)
Portanto, a diferena, se houver, apenas no sinal.
Acrescentando a equao (2.10) ao sistema (2.13), obtemos
_
_
_
_
_
_
_
_
_
_
_
a
0
a
1
a
2
a
m
a
1
a
0
a
1
a
m+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
a
m3
a
1
a
m
a
m1
a
m2
a
0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
m,1
.
.
.
m,m1
m,m
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
m
_
_
_
_
_
_
_
_
_
_
_
.
Resolvendo o sistema linear acima pela regra de Cramer, pelo Teorema de Laplace
encontramos
m
= (1)
m+1
D
0,m
D
1,m1
e, assim, de (2.9),
m,m+1
(z) = (1)
m+1
D
0,m
D
1,m1
z
m
.
Temos, ainda, que
m,m+2
(z) um polinmio de grau no mximo 2m + 1 e que
m,m+2
(z)
Q
m
(z)Q
m+2
(z)
= f
m,m
(z) f
m+2,m+2
(z) =
_
P
m
(z)
Q
m
(z)
f(z)
_
_
P
m+2
(z)
Q
m+2
(z)
f(z)
_
.
Como, na equao anterior, o primeiro termo entre parnteses de ordem
O(z
m
, z
(m+1)
) e o segundo de ordem O(z
m+2
, z
(m+3)
), ento,
P
m
(z) Q
m
(z)f(z) = O(z
m
, z
1
) e P
m+2
(z) Q
m+2
(z)f(z) = O(z
m+2
, z
1
).
Assim,
m,m+2
(z) = Q
m+2
(z) [P
m
(z) Q
m
(z)f(z)] Q
m
(z) [P
m+2
(z) Q
m+2
(z)f(z)]
= O(z
m
, z
m+1
),
uma vez que a primeira parcela O(z
m
, z
m+1
) e a segunda de O(z
m+2
, z
m1
).
Portanto,
m,m+2
consiste de apenas dois termos e da forma
m
z
m
+
m+1
z
m+1
,
onde os
k
, k = m, m+1, so constantes. Claramente
m
z
m
exatamente
m,m+1
e o outro
termo calculado considerando-se o termo em z
m+1
de Q
m+2
(z) P
m
(z) Q
m
(z)f(z)
para [z[ grande, ou seja, o termo em z
m+1
de
(1 +
m+2,1
z + . . . +
m+2,m+2
z
m+2
)
_
_
(
m,0
+ a
1
m,1
+ . . . + a
m
m,m
)
+
_
m,1
+ a
1
m,2
+ . . . + a
(m1)
m,m
_
z + . . . + (
m,m1
+ a
1
m,m
) z
m1
+
_
a
1
+ a
2
m,1
+ . . . + a
(m+1)
m,m
_
z
1
+ O(z
2
)
_
.
(2.15)
Lembrando que P
m
(z) Q
m
(z)f(z) = O(z
1
) para [z[ grande, ento o termo entre
colchetes na expresso (2.15) nulo.
Portanto, o termo em z
m+1
de
m,m+2
(z) da forma
m+2,m+2
C
m
z
m+1
,
onde
C
m
= a
1
+ a
2
m,1
+ + a
(m+1)
m,m
.
Agora, usando a equao acima e (2.13), obtemos o sistema linear
_
_
_
_
_
_
_
_
_
_
_
a
1
a
2
a
3
a
m1
a
0
a
1
a
2
a
m
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m2
a
m3
a
m4
a
2
a
m1
a
m2
a
m3
a
1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
m,1
.
.
.
m,m1
m,m
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
C
m
0
.
.
.
0
0
_
_
_
_
_
_
_
_
_
_
_
. (2.16)
Novamente, usando Cramer e Laplace, obtemos
C
m
=
D
1,m
D
1,m1
, m = 0, 1, 2, . . . .
Resolvendo, agora, (2.16) para
m,m
e substituindo o valor de C
m
, encontramos
m,m
= (1)
m
D
0,m1
D
1,m1
m = 1, 2, 3, . . . .
Assim, temos
m,m+2
(z) =
m,m+1
(z) + (1)
m
D
1,m
D
0,m+1
D
1,m1
D
1,m+1
z
m+1
.
Portanto, de (2.6), obtemos
p
m+1
=
D
0,m
D
1,m2
D
1,m1
D
0,m1
z e q
m+1
= 1
D
0,m
D
1,m1
D
1,m
D
0,m1
z,
para m = 1, 2, 3, . . . .
Para m = 0 encontramos que a frmula ainda vale, desde que p
1
independente
de z. Assim, a frao contnua (2.7), que tem convergentes f
1,1
(z), f
2,2
(z), f
3,3
(z), . . . , tem
coecientes
n
m
=
D
0,m1
D
1,m3
D
1,m2
D
0,m2
e d
m
=
D
0,m1
D
1,m2
D
1,m1
D
0,m2
, m = 1, 2, 3, . . . . (2.17)
2.1.2 Caso i = j
No caso em que i ,= j, podemos construir a frao contnua usando praticamente o
mesmo mtodo anterior, ainda que pequenas diferenas ocorram. Como, nas aproximaes
pelas funes racionais, apenas um nmero par de parmetros est disponvel, vamos
considerar as aproximaes da forma f
m+2r,m
(z), r = 0, 1, 2, . . . . Para obter uma frao
contnua cujos elementos podem ser expressos de maneira simples, para r = 1, 2, 3, . . . ,
tomamos, primeiramente, a sequncia
f
1,1
(z), f
2,2
(z), . . . , f
m,m
(z), f
m+1,m1
(z), f
m+2,m
(z), . . . , f
m+2r1,m1
(z), f
m+2r,m
(z), . . . .
(2.18)
Essa sequncia de funes racionais so os sucessivos convergentes da frao con-
tnua
n
1
1 + d
1
z +
n
2
z
1 + d
2
+
n
3
z
1 + d
3
z + . . . +
n
m
z
1 + d
m
z +
n
m+1
z
1 +
n
m+2
z
1 + . . .
. (2.19)
De fato, n
r
e d
r
, r = 1, 2, . . . , m, so dados por (2.17) e para calcular os demais coecientes
n
r
, d
r
, r m + 1, notemos que
f
m+2r2,m
(z) =
P
m+2r2
(z)
Q
m+2r2
(z)
i + j = 2m + 2r 2 = 2(m + r 1),
ou seja, P
m+2r2
tem grau m + r 2 e Q
m+2r2
tem grau m + r 1. Da mesma forma,
f
m+2r1,m1
(z) =
P
m+2r1
(z)
Q
m+2r1
(z)
i + j = 2m + 2r 2 = 2(m + r 1),
ou seja, P
m+2r1
tem grau m + r 2 e Q
m+2r1
tem grau m + r 1. Lembremos que
f
m+2r,m
(z) f(z) = O(z
m+2r
, z
(m+1)
),
f
m+2r1,m1
(z) f(z) = O(z
m+2r1
, z
m
),
f
m+2r2,m
(z) f(z) = O(z
m+2r2
, z
(m+1)
). (2.20)
Assim,
m+2r2,m+2r1
(z)
Q
m+2r2
(z)Q
m+2r1
(z)
= f
m+2r2,m
(z) f
m+2r1,m1
(z)
=
_
P
m+2r2
(z)
Q
m+2r2
(z)
f(z)
_
_
P
m+2r1
(z)
Q
m+2r1
(z)
f(z)
_
= O(z
m+2r2
, z
m
).
Logo,
m+2r2,m+2r1
(z) = Q
m+2r1
(z) [P
m+2r2
(z) Q
m+2r2
(z)f(z)]
. .
O(z
m+2r2
,z
r2
)
Q
m+2r2
(z) [P
m+2r1
(z) Q
m+2r1
(z)f(z)]
. .
O(z
m+2r1
,z
r1
)
= O(z
m+2r2
, z
m+2r2
).
Portanto,
m+2r2,m+2r1
consiste de um nico termo em z
m+2r2
, que facilmente deter-
minado considerando-se o termo emz
m+2r2
de Q
m+2r1
(z) P
m+2r2
(z) Q
m+2r2
(z)f(z) ,
isto , de Q
m+2r2
(z)f(z). Logo,
m+2r2,m+2r1
(z) =
m+2r2
z
m+2r2
,
com
m+2r2
= (a
m+2r2
+ a
m+2r3
m+2r2,1
+ + a
r1
m+2r2,m+r1
) . (2.21)
De (2.20), obtemos o seguinte sistema:
_
_
a
r1
+ a
r2
m+2r2,1
+ + a
m
m+2r2,m+r1
= 0
a
r
+ a
r1
m+2r2,1
+ + a
m+1
m+2r2,m+r1
= 0
a
r+1
+ a
r
m+2r2,1
+ + a
m+2
m+2r2,m+r1
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m+2r3
+ a
m+2r4
m+2r2,1
+ + a
r2
m+2r2,m+r1
= 0
. (2.22)
Acrescentando a equao (2.21) ao sistema linear (2.22), obtemos
_
_
_
_
_
_
_
_
_
_
_
a
r1
a
r2
a
r3
a
m
a
r
a
r1
a
r2
a
m+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m+2r3
a
m+2r4
a
m+2r5
a
r2
a
m+2r2
a
m+2r3
a
m+2r4
a
r1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
m+2r2,1
.
.
.
m+2r2,m+r2
m+2r2,m+r1
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
m+2r2
_
_
_
_
_
_
_
_
_
_
_
.
Novamente, resolvendo pela regra de Cramer e usando o Teorema de Laplace,
encontramos
m+2r2,m+2r1
(z) = (1)
m+r+1
D
r1,m+r1
D
r2,m+r2
z
m+2r2
.
Fazendo os mesmos clculos para
m+2r3,m+2r2
(z), obtemos
m+2r3,m+2r2
(z) = (1)
m+r
D
r1,m+r2
D
r2,m+r3
z
m+2r3
.
Temos, ainda, que
m+2r2,m+2r
(z)
Q
m+2r2
(z)Q
m+2r
(z)
= f
m+2r2,m
(z) f
m+2r,m
(z)
=
_
P
m+2r2
(z)
Q
m+2r2
(z)
f(z)
_
. .
O(z
m+2r2
,z
(m+1)
)
_
P
m+2r
(z)
Q
m+2r
(z)
f(z)
_
. .
O(z
m+2r
,z
(m+1)
)
.
Logo,
m+2r2,m+2r
(z) = Q
m+2r
(z) [P
m+2r2
(z) Q
m+2r2
(z)f(z)]
Q
m+2r2
(z) [P
m+2r
(z) Q
m+2r
(z)f(z)]
= O(z
m+2r2
, z
m+2r2
).
Portanto,
m+2r2,m+2r
consiste de apenas um termo em z
m+2r2
, que calculado
considerando-se o termo em z
m+2r2
de Q
m+2r
(z) P
m+2r2
(z) Q
m+2r2
(z)f(z) ou de
Q
m+2r2
(z)f(z). Encontramos, ento,
m+2r2,m+2r
(z)
m+2r2
z
m+2r2
= 0,
onde
m+2r2
= a
m+2r2
+ a
m+2r3
m+2r2,1
+ + a
r1
m+2r2,m+r1
. (2.23)
De (2.20), obtemos o sistema linear:
_
_
a
r1
+ a
r2
m+2r2,1
+ + a
m
m+2r2,m+r
= 0
a
r
+ a
r1
m+2r2,1
+ + a
m+1
m+2r2,m+r
= 0
a
r+1
+ a
r
m+2r2,1
+ + a
m+2
m+2r2,m+r
= 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m+2r3
+ a
m+2r4
m+2r2,1
+ + a
r2
m+2r2,m+r
= 0
. (2.24)
Acrescentando (2.23) a (2.24), obtemos
_
_
_
_
_
_
_
_
_
_
_
a
r1
a
r2
a
r3
a
m
a
r
a
r1
a
r2
a
m+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
m+2r3
a
m+2r4
a
m+2r5
a
r2
a
m+2r2
a
m+2r3
a
m+2r4
a
r1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
m+2r2,1
.
.
.
m+2r2,m+r2
m+2r2,m+r1
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
m+2r2
_
_
_
_
_
_
_
_
_
_
_
.
Por Cramer e Laplace, encontramos
m+2r2,m+2r
(z) = (1)
m+r+1
D
r1,m+r1
D
r2,m+r2
z
m+2r2
.
m+2r3,m+2r1
(z), obtemos
m+2r3,m+2r1
(z) = (1)
m+r
D
r1,m+r2
D
r2,m+r3
z
m+2r3
.
Portanto, de (2.6),
p
m+2r1
=
m+2r2,m+2r1
m+2r3,m+2r2
=
D
r1,m+r1
D
r2,m+r3
D
r2,m+r2
D
r1,m+r2
z,
q
m+2r1
=

m+2r3,m+2r1
m+2r3,m+2r2
= 1,
r = 1, 2, 3, . . .
e
p
m+2r
=

m+2r1,m+2r
m+2r2,m+2r1
=
D
r,m+r1
D
r2,m+r2
D
r1,m+r2
D
r1,m+r1
z,
q
m+2r
=

m+2r2,m+2r
m+2r2,m+2r1
= 1,
r = 1, 2, 3, . . . .
Ou seja,
n
m+2r1
=
D
r1,m+r1
D
r2,m+r3
D
r2,m+r2
D
r1,m+r2
, d
m+2r1
= 0,
n
m+2r
=
D
r,m+r1
D
r2,m+r2
D
r1,m+r2
D
r1,m+r1
, d
m+2r
= 0,
r = 1, 2, 3 . . . . (2.25)
Um caso particular de (2.19) obtido quando m = 0. Exceto para um mltiplo
de z, encontramos a frao contnua que corresponde a (2.1) apenas. As equaes (2.25)
tornam-se as expresses convencionais para os coecientes dessa frao contnua.
Considerando a aproximao f
m+2r,m
, podemos, tambm, tomar a sequncia
f
1,0
(z), f
2,0
(z), f
3,0
(z) . . . , f
2r,0
(z), f
2r+1,1
(z), . . . , f
2r+m,m
(z), . . . .
Vamos mostrar que essa sequncia nos leva frao contnua
n
1
1 +
n
2
z
1 +
n
3
z
1 + . . . +
n
2r
z
1 +
n
2r+1
z
1 + d
2r+1
z + . . . +
n
2r+m
z
1 + d
2r+m
z + . . .
. (2.26)
Assim como para (2.18), usando o mesmo raciocnio encontramos que
n
2r+m
=
D
r,r+m1
D
r1,r+m3
D
r1,r+m2
D
r,r+m2
e d
2r+m
=
D
r,r+m1
D
r1,r+m2
D
r1,r+m1
D
r,r+m2
,
para m = 1, 2, 3, . . . .
Agora, vamos calcular os coecientes n
m
e d
m
, m = 1, 2, . . . , 2r. Observando o com-
portamento dos graus dos polinmios P
2s
, P
2s1
, Q
2s
e Q
2s1
, s = 1, 2, . . . , r, encontramos
que P
2s
, P
2s1
e Q
2s1
tm graus s 1 e que Q
2s
tem grau s.
Note que no utilizaremos a srie para [z[ grande, pois temos j = 0. Alm disso,
f
2s,0
(z) f(z) = O(z
2s
),
f
2s1,0
(z) f(z) = O(z
2s1
), (2.27)
f
2s3,0
(z) f(z) = O(z
2s3
). (2.28)
Como
2s1,2s
(z) tem grau 2s 1, ento
2s1,2s
(z)
Q
2s1
(z)Q
2s
(z)
= f
2s1,0
(z) f
2s,0
(z) =
_
P
2s1
(z)
Q
2s1
(z)
f(z)
_
. .
O(z
2s1
)
_
P
2s
(z)
Q
2s
(z)
f(z)
_
. .
O(z
2s
)
.
Logo,
2s1,2s
(z) = Q
2s
(z) [P
2s1
(z) Q
2s1
(z)f(z)] Q
2s1
(z) [P
2s
(z) Q
2s
(z)f(z)]
= O(z
2s1
).
Portanto,
2s1,2s
consiste de apenas um termo emz
2s1
, que calculado considerando-
se o termo em z
2s1
de Q
2s
(z) P
2s1
(z) Q
2s1
(z)f(z) , isto , de Q
2s1
(z)f(z). En-
contramos, ento,
2s1,2s
(z) =
2s1
z
2s1
, com
2s1
= a
2s1
+ a
2s2
2s1,1
+ + a
s+1
2s1,s2
. (2.29)
De (2.27) e (2.29), obtemos
_
_
_
_
_
_
_
_
_
_
_
a
s
a
s1
a
s2
a
1
a
s+1
a
s
a
s1
a
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
2s2
a
2s3
a
2s4
a
s1
a
2s1
a
2s2
a
2s3
a
s
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
2s1,1
.
.
.
2s1,s2
2s1,s1
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
2s1
_
_
_
_
_
_
_
_
_
_
_
.
Resolvendo o sistema usando Cramer e Laplace, encontramos
2s1,2s
(z) = (1)
s+1
D
s,s1
D
s1,s2
z
2s1
.
2s2,2s1
(z), obtemos
2s2,2s1
(z) = (1)
s+1
D
s1,s1
D
s2,s2
z
2s2
.
Temos, ainda, que
2s3,2s1
(z) tem grau 2s 3. Assim,
2s3,2s1
(z)
Q
2s3
(z)Q
2s1
(z)
= f
2s3,0
(z) f
2s1,0
(z)
=
_
P
2s3
(z)
Q
2s3
(z)
f(z)
_
. .
O(z
2s3
)
_
P
2s1
(z)
Q
2s1
(z)
f(z)
_
. .
O(z
2s1
)
.
Logo,
2s3,2s1
(z) = Q
2s1
(z) [P
2s3
(z) Q
2s3
(z)f(z)] Q
2s3
(z) [P
2s1
(z) Q
2s1
(z)f(z)]
= O(z
2s3
).
Portanto,
2s3,2s1
consiste de apenas um termo em z
2s3
, que facilmente cal-
culado considerando-se o termo em z
2s3
de Q
2s3
(z)f(z). Encontramos, ento,
2s3,2s1
(z) +a
2s3
+ a
2s4
2s3,1
+ + a
s1
2s3,s2
z
2s3
= 0.
Seja
2s3
= a
2s3
+ a
2s4
2s3,1
+ + a
s1
2s3,s2
. (2.30)
De (2.28) e (2.30), obtemos
_
_
_
_
_
_
_
_
_
_
_
a
s1
a
s2
a
s3
a
1
a
s
a
s1
a
s2
a
2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
2s4
a
2s5
a
2s6
a
s2
a
2s3
a
2s4
a
2s5
a
s1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
2s3,1
.
.
.
2s3,s3
2s3,s2
_
_
_
_
_
_
_
_
_
_
_
=
_
_
_
_
_
_
_
_
_
_
_
0
0
.
.
.
0
2s3
_
_
_
_
_
_
_
_
_
_
_
.
Logo,
2s3,2s1
(z) = (1)
s
D
s1,s2
D
s2,s3
z
2s3
.
2s2,2s
(z), encontramos
2s2,2s
(z) = (1)
s+1
D
s1,s1
D
s2,s2
z
2s2
.
Portanto, de (2.6),
p
2s1
=
2s2,2s1
2s3,2s2
=
D
s1,s1
D
s2,s3
D
s2,s2
D
s1,s2
z,
q
2s1
=

2s3,2s1
2s3,2s2
= 1
e
p
2s
=

2s1,2s
2s2,2s1
=
D
s,s1
D
s2,s2
D
s1,s2
D
s1,s1
z,
q
2s
=

2s2,2s
2s2,2s1
= 1,
para s = 1, 2, . . . , r. Ou seja,
n
2s1
=
D
s1,s1
D
s2,s3
D
s2,s2
D
s1,s2
, d
2s1
= 0,
n
2s
=
D
s,s1
D
s2,s2
D
s1,s2
D
s1,s1
, d
2s
= 0,
s = 1, 2, . . . , r.
Assumindo que a expanso (2.1) conhecida, a frao contnua (2.19) til quando
apenas um nmero nito de termos de (2.2) est disponvel ou facilmente determinado,
ou se h uma boa razo para se usar apenas um nmero nito de termos, como no caso
em que a srie assinttica.
O resultado (2.26) pode ser til quando a
0
ou a
1
zero. At aqui assumimos que
ambos so no nulos. Assim, n
1
= a
0
e d
1
= a
0
/a
1
so no nulos. Se essa condio
no satisfeita, pequenas modicaes podem ser feitas. Por exemplo, se a
0
= 0, mas
a
1
, a
2
,= 0, podemos considerar a funo g(z) = f(z) a
1
z/z
2
. As expanses para g(z)
para [z[ pequeno e para [z[ grande possuem termos lderes a
2
e a
1
/z, respectivamente.
Podemos, ento, proceder da mesma forma que para g(z). Por outro lado, podemos formar
uma frao contnua da forma (2.26) para a funo f(z)/z no caso em que a
0
= 0, mas
a
1
, a
2
,= 0. Assim, temos
n
1
1 +
n
2
z
1 +
n
3
z
1 + d
3
z +
n
4
z
1 + d
4
z + . . .
onde os dois primeiros termos da srie
f(z)
z
= a
1
+ a
2
z + a
3
z
2
+ a
4
z
3
+
so ajustados antes de qualquer termo de
f(z)
z
=
_
a
1
z
2
+
a
2
z
3
+
a
3
z
4
+
_
.
2.2. Construo de fraes contnuas pelo algoritmo Q-D 43
2.2 Construo de fraes contnuas pelo algoritmo Q-
D
Uma das muitas aplicaes em Anlise Numrica do algoritmo Q-D de Rutishauser
[19], transformar uma nica expanso em srie de potncias na frao contnua corres-
pondente. Mesmo no caso em que as fraes contnuas correspondem a sries de potncias
em dois pontos, podemos construir um algoritmo, que essencialmente o Algoritmo Q-D.
Comeamos supondo que, em (2.1) e (2.2), a
r
,= 0, r = 0, 1, 2, . . . , e denindo
f
(r)
(z) :=
f(z) (a
0
+ a
1
z + + a
r1
z
r1
)
z
r
,
f
(r)
(z) :=
_
f(z) +
_
a
1
z
+
a
2
z
2
+ +
a
r
z
r
__
z
r
,
(2.31)
para r = 1, 2, 3, . . . , onde f
(0)
(z) f(z).
Temos que f
(r)
(z) possui as expanses
f
(r)
(z) = a
r
+ a
r+1
z + a
r+2
z
2
+ a
r+3
z
3
+ , [z[ pequeno,
f
(r)
(z) =
_
a
r1
z
+
a
r2
z
2
+
a
r3
z
3
+
a
r4
z
4
+
_
, [z[ grande,
e que f
(r)
(z) possui as expanses
f
(r)
(z) = a
r
+ a
r+1
z + a
r+2
z
2
+ a
r+3
z
3
+ , [z[ pequeno,
f
(r)
(z) =
_
a
r1
z
+
a
r2
z
2
+
a
r3
z
3
+
a
r4
z
4
+
_
, [z[ grande,
para r = 1, 2, 3, . . . .
Assim, f
(r)
(z), r = 0, 1, 2, . . . , corresponde frao contnua
a
r
1 + d
(r)
1
z +
n
(r)
2
z
1 + d
(r)
2
z +
n
(r)
3
z
1 + d
(r)
3
z +
n
(r)
4
z
1 + d
(r)
4
z +
. . .
. (2.32)
Agora, a frao contnua (2.32) pode ser considerada como a parte par (Teorema
1.2) de
a
r
1 +
d
(r)
1
z
1
l
(r)
2
1 +
m
(r)
2
z
1
l
(r)
3
1 +
m
(r)
3
z
1 . . .
, (2.33)
onde
l
(r)
i
=
n
(r)
i
n
(r)
i
+ d
(r)
i1
e m
(r)
i
=
d
(r)
i
d
(r)
i1
n
(r)
i
+ d
(r)
i1
,
para r = 0, 1, 2, . . . e i = 2, 3, 4, . . . .
A parte mpar (Teorema 1.3), de (2.33) dada por
a
r

a
r
d
(r)
1
z
1 l
(r)
2
+ d
(r)
1
z +
l
(r)
2
m
(r)
2
z
1 l
(r)
3
+ m
(r)
2
z +
l
(r)
3
m
(r)
3
z
1 l
(r)
4
+ m
(r)
3
z +
. . .
. (2.34)
Sejam
P
(r)
m
(z)
Q
(r)
m
(z)
,
R
(r)
m
(z)
S
(r)
m
(z)
e
U
(r)
m
(z)
V
(r)
m
(z)
os m-simos convergentes das fraes contnuas
(2.32), (2.33) e (2.34), respectivamente.
Temos que R
(r)
2m+2
(z) e S
(r)
2m+1
(z) tm grau m, R
(r)
2m+1
(z) tem grau m1 e S
(r)
2m+2
(z)
tem grau m + 1. Assim, por (1.4),
R
(r)
2m+2
(z)
S
(r)
2m+2
(z)
R
(r)
2m+1
(z)
S
(r)
2m+1
(z)
=

m+1
z
m+1
S
(r)
2m+2
(z)S
(r)
2m+1
(z)
= O(z
m+1
, z
m
),
onde
m+1
o produto dos numeradores parciais de (2.33).
Portanto, devemos ter
_
R
(r)
2m+2
(z)
S
(r)
2m+2
(z)
f
(r)
(z)
_
_
R
(r)
2m+1
(z)
S
(r)
2m+1
(z)
f
(r)
(z)
_
= O(z
m+1
, z
m
). (2.35)
Como
R
(r)
2m+2
(z)
S
(r)
2m+2
(z)
=
P
(r)
m+1
(z)
Q
(r)
m+1
(z)
, ento
_
R
(r)
2m+2
(z)
S
(r)
2m+2
(z)
f
(r)
(z)
_
= O(z
m+1
, z
m2
).
Assim, de (2.35),
_
R
(r)
2m+1
(z)
S
(r)
2m+1
(z)
f
(r)
(z)
_
= O(z
m+1
, z
m
).
Logo, como
R
(r)
2m+1
(z)
S
(r)
2m+1
(z)
=
U
(r)
m
(z)
V
(r)
m
(z)
, obtemos
U
(r)
m
(z)
V
(r)
m
(z)
a
r
z

f
(r)
(z) a
r
z
= O(z
m
, z
m1
). (2.36)
Portanto, de (2.34) e (2.36), temos que
f
(r)
(z) a
r
z
gera a frao contnua
a
r
d
(r)
1
1 l
(r)
2
+ d
(r)
1
z +
l
(r)
2
m
(r)
2
z
1 l
(r)
3
+ m
(r)
2
z +
l
(r)
3
m
(r)
3
z
1 l
(r)
4
+ m
(r)
3
z +
. . .
. (2.37)
Dividindo o numerador e o denominador do primeiro quociente parcial da frao
contnua (2.37) por (1 l
(r)
2
), o numerador e o denominador do segundo quociente parcial
por (1 l
(r)
3
) e, assim, sucessivamente, obtemos a frao contnua equivalente
a
r
d
(r)
1
/(1 l
(r)
2
)
1 + d
(r)
1
z/(1 l
(r)
2
) +
l
(r)
2
m
(r)
2
z/[(1 l
(r)
2
)(1 l
(r)
3
)]
1 + m
(r)
2
z/(1 l
(r)
3
) +
l
(r)
3
m
(r)
3
z/[(1 l
(r)
3
)(1 l
(r)
4
)]
1 + m
(r)
3
z/(1 l
(r)
4
) +
. . .
.
(2.38)
Mas, como
f
(r)
(z) a
r
z
= f
(r+1)
(z), de (2.32) ela gera a frao contnua
a
r+1
1 + d
(r+1)
1
z +
n
(r+1)
2
z
1 + d
(r+1)
2
z +
n
(r+1)
3
z
1 + d
(r+1)
3
z +
n
(r+1)
4
z
1 + d
(r+1)
4
z +
. . .
. (2.39)
Comparando (2.38) e (2.39), para r = 0, 1, 2, . . . , obtemos
d
(r+1)
1
z =
d
(r)
1
z
1 l
(r)
2
d
(r+1)
1
=
d
(r)
1
1
n
(r)
2
n
(r)
2
+ d
(r)
1
d
(r+1)
1
= n
(r)
2
+ d
(r)
1
.
Ento,
a
r+1
=
a
r
d
(r)
1
1 l
(r)
2
a
r+1
= a
r
(n
(r)
2
+ d
(r)
1
) d
(r+1)
1
=
a
r+1
a
r
, (2.40)
para r = 0, 1, 2, . . . .
Temos, ainda, que
l
(r)
i
1 l
(r)
i
=
n
(r)
i
n
(r)
i
+ d
(r)
i1
1
1 n
(r)
i
/(n
(r)
i
+ d
(r)
i1
)
=
n
(r)
i
n
(r)
i
+ d
(r)
i1
1
d
(r)
i1
/(n
(r)
i
+ d
(r)
i1
)
=
n
(r)
i
d
(r)
i1
e
m
(r)
i
1 l
(r)
i+1
=
d
(r)
i
d
(r)
i1
n
(r)
i
+ d
(r)
i1
1
1 n
(r)
i+1
/(n
(r)
i+1
+ d
(r)
i
)
=
d
(r)
i
d
(r)
i1
n
(r)
i
+ d
(r)
i1
1
d
(r)
i
/(n
(r)
i+1
+ d
(r)
i
)
= d
(r)
i1
n
(r)
i+1
+ d
(r)
i
n
(r)
i
+ d
(r)
i1
.
Assim,
n
(r+1)
i
=
l
(r)
i
m
(r)
i
(1 l
(r)
i
)(1 l
(r)
i+1
)
=
n
(r)
i
d
(r)
i1
d
(r)
i1
n
(r)
i+1
+ d
(r)
i
n
(r)
i
+ d
(r)
i1
, (2.41)
d
(r+1)
i
=
m
(r)
i
1 l
(r)
i+1
= d
(r)
i1
n
(r)
i+1
+ d
(r)
i
n
(r)
i
+ d
(r)
i1
, (2.42)
para i = 2, 3, . . . e r = 0, 1, 2, . . . .
Substituindo (2.42) em (2.41), obtemos
n
(r+1)
i
=
n
(r)
i
d
(r)
i1
d
(r+1)
i
n
(r+1)
i
d
(r)
i1
= n
(r)
i
d
(r+1)
i
.
Agora, somando (2.41) e (2.42), encontramos
n
(r+1)
i
+ d
(r+1)
i
=
_
n
(r)
i
+ d
(r)
i1
_
_
n
(r)
i+1
+ d
(r)
i
n
(r)
i
+ d
(r)
i1
_
n
(r+1)
i
+ d
(r+1)
i
= n
(r)
i+1
+ d
(r)
i
.
Portanto,
n
(r+1)
i+1
d
(r)
i
= n
(r)
i+1
d
(r+1)
i+1
n
(r+1)
i
+ d
(r+1)
i
= n
(r)
i+1
+ d
(r)
i
, (2.43)
para i = 2, 3, . . . e r = 0, 1, 2, . . . .
Ento, se denirmos n
(r)
1
0 e calcularmos d
(r)
1
por (2.40), as equaes em (2.43)
podem ser usadas para calcularmos n
(r)
i
e d
(r)
i
, para i = 2, 3, . . . e r = 0, 1, 2, . . . . As
regras de formulao seguem a caracterstica padro do algoritmo Q-D.
Referimo-nos tabela abaixo como tabela n-d.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

0 d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

0 d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

0 d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

0 d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

0 d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

0 d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

0 d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

0 d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
O bloco interno mostra como os n e d subsequentes so calculados a partir de n
(r)
1
e d
(r)
1
. A frao contnua que ajusta um nmero igual de termos de (2.1) e (2.2) , ento,
a
0
1 + d
(0)
1
z +
n
(0)
2
z
1 + d
(0)
2
z +
n
(0)
3
z
1 + d
(0)
3
z +
. . .
(2.44)
e seus coecientes esto na linha central da tabela n-d. Por exemplo, dados os quatro
primeiros termos de (2.1) e (2.2), isto , a
r
, para r = 4, 3, . . . , 3, calculamos os coe-
cientes que esto no bloco externo na tabela n-d. Esses coecientes incluem os quatro
primeiros quocientes parciais da frao contnua (2.44).
fcil ver que podemos obter as fraes contnuas correspondentes a todas as
funes f
(r)
(z) que possuem as sries
a
r
+ a
r+1
z + a
r+2
z
2
+ a
r+3
z
3
+ , [z[ pequeno (2.45)
e
a
r1
z

a
r2
z
2

a
r3
z
3

a
r4
z
4
, [z[ grande, (2.46)
que geram a frao contnua
a
r
1 + d
(r)
1
z +
n
(r)
2
z
1 + d
(r)
2
z +
n
(r)
3
z
1 + d
(r)
3
z +
n
(r)
4
z
1 + d
(r)
4
z +
. . .
. (2.47)
Alm disso, desde que em (2.43) as equaes so lineares, os elementos da tabela
n-d podem ser gerados a partir de condies iniciais diferentes das dadas em (2.40). Por
exemplo, se f(z) possui apenas uma expanso em sries de potncias, digamos (2.1),
podemos construir (na nossa notao) a frao contnua correspondente
a
0
1 +
n
(0)
2
z
1 +
n
(0)
3
z
1 + . . .
.
Esse problema resolvido, convencionalmente, pela aplicao direta do algoritmo Q-D.
Aqui, o problema pode ser resolvido se tomarmos
d
(r)
1
=
a
r
a
r1
, r = 1, 2, 3, . . . e d
(0)
i
= 0, i = 1, 2, 3, . . . .
Ento, a equao (2.43) permite que os elementos da tabela n-d sejam completados
da maneira usual na linha n
(0)
d
(0)
e abaixo dela. Se necessrio, os elementos das linhas
abaixo da linha n
(0)
d
(0)
podem ser obtidos isolando-se n
(r)
i+1
e d
(r)
i
na primeira equao
de (2.43) e substituindo-os na segunda. Obtemos, ento,
_
n
(r+1)
i+1
+ d
(r+1)
i+1
_
d
(r)
i
=
_
n
(r+1)
i
+ d
(r+1)
i
_
d
(r+1)
i+1
,
_
n
(r+1)
i+1
+ d
(r+1)
i+1
_
n
(r)
i+1
=
_
n
(r+1)
i
+ d
(r+1)
i
_
n
(r+1)
i+1
.
Podemos, tambm, usar (2.43) para construir a frao contnua que ajusta um
nmero nito de termos de, digamos, (2.2) e todos os termos de (2.1). Nesse problema,
conhecemos a
r
para r = m, (m1), (m2), . . . , e fazemos
d
(r)
1
=
a
r
a
r1
, r = (m1), (m2), . . .
d
(0)
i
= 0, i = (m + 1), (m + 2), . . . .
Na frao contnua resultante, o (m + 2r)-simo convergente f
m+2r,m
e o (m + 2r + 1)-
simo convergente f
m+2r+1,m1
como em (2.19).
Com condies iniciais adequadas, a frao contnua (2.26), e outras, pode ser
gerada pela tabela n-d.
Podemos relacionar o algoritmo (2.43) aos resultados das sees anteriores, como
mostraremos a seguir.
Na forma de determinante, vemos, de (2.7), que
n
(r)
i
=
D
r,i1
D
r1,i3
D
r1,i2
D
r,i2
e d
(r)
i
=
D
r,i1
D
r1,i2
D
r1,i1
D
r,i2
,
para i = 1, 2, 3, . . . e r = 0, 1, 2, . . . .
Substituindo esses resultados na segunda equao de (2.43) e reorganizando, obte-
mos
D
r,i2
D
r,i
D
2
r,i1
D
r1,i1
D
r+1,i1
=
D
r,i1
D
r,i3
D
r1,i2
D
r+1,i2
, (2.48)
para i = 2, 3, 4, . . . e r = 0, 1, 2, . . . .
Agora, de (1.15) e (2.14) temos
D
2
r,i1
D
r1,i1
D
r+1,i1
D
r,i
D
r,i2
= 0
e, ento, substituindo em (2.48), obtemos
D
r1,i1
D
r+1,i1
D
r1,i1
D
r+1,i1
=
D
r1,i2
D
r+1,i2
D
r1,i2
D
r+1,i2
e a identidade est estabelecida.
Substituindo os determinantes na primeira equao de (2.43), facilmente a reduzi-
mos identidade.
Para o caso particular i = 1, temos
n
(r)
1
= D
r,0
= a
r
e d
(r)
1
=
D
r,0
D
r1,0
=
a
r
a
r1
.
Ento, demonstramos a conexo entre o algoritmo (2.43) e os resultados de deter-
minantes da seo anterior.
2.2.1 Caso em que as sries de potncias apresentam coecientes
nulos
Na tabela n-d, os elementos que so afetados pelo coeciente a
1
esto no interior
do bloco na tabela abaixo:
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3

0 d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3

0 d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3

0 d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3

0 d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3

0 d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3

0 d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3

0 d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Se a
1
= 0 e todos os outros coecientes das sries so no nulos, temos d
(1)
1
= 0 e
d
(2)
1
= . Para calcular os elementos subsequentes da tabela, escolhemos, por exemplo,
a
1
= e fazemos 0 nos elementos afetados. Os resultados so:
n
(0)
2
= d
(0)
1
n
(0)
3
= d
(0)
2
d
(1)
1
= 0 n
(1)
2
= d
(1)
2
= n
(1)
3
= d
(3)
1
d
(2)
1
= n
(2)
2
= d
(2)
2
= 0 n
(2)
3
= 0 d
(2)
3
=
a
2
/a
0
n
(1)
3
d
(3)
2
= n
(3)
2
d
(3)
3
= n
(3)
3
(2.49)
Todos os outros elementos podem ser calculados da maneira usual.
Se a frao contnua construda diretamente das sries (2.1) e (2.2) usando deter-
minantes, as condies a
1
= 0 e a
k
,= 0, para k = 0, 1, 2, 3, . . . , no trazem nenhuma
diculdade. O problema ocorre na construo da frao contnua pelo algoritmo Q-D,
como mostra (2.49).
claro que, de (2.49), coecientes nulos fazem com que os clculos dos elementos
da tabela sejam muito trabalhosos e certamente mais fcil, por motivos numricos,
modicar f(z).
Se alguns dos coecientes, que no sejam a
0
ou a
1
, nas expanses (2.1) e (2.2) de
f(z) so nulos, consideramos a funo
g(z) := f(z)
K
1 + z
, (2.50)
onde a constante K escolhida de tal forma que os coecientes das expanses em srie de
potncias correspondentes a g(z) no sejam nulos, ou seja, possam ser calculados a partir
do algoritmo Q-D da maneira usual. A frao contnua para f(z) pode ento ser expressa
como a soma das fraes contnuas de g(z) e da funo racional
K
1 + z
. Para construir a
frao contnua para f(z) da forma (2.7), procedemos como segue.
Suponha que a frao contnua para f(z) seja
n
1
1 + d
1
z +
n
2
z
1 + d
2
z + . . . +
n
m
z
1 + d
m
z + . . .
, (2.51)
com convergentes
N
m
D
m
, m = 1, 2, 3, . . . , e que a frao contnua para g(z) seja
p
1
1 + q
1
z +
p
2
z
1 + q
2
z + . . . +
p
m
z
1 + q
m
z + . . .
, (2.52)
com convergentes
P
m
Q
m
, m = 1, 2, 3, . . . .
Os polinmios N
m
e P
m
so de grau m1 em z e D
m
e Q
m
de grau m em z.
Denimos
m
:= p
1
p
2
. . . p
m
,
m
:= n
1
n
2
. . . n
m
,
m
:= q
1
q
2
. . . q
m
,
m
:= d
1
d
2
. . . d
m
(2.53)
e
m
e
m
os coecientes de z nos polinmios Q
m
e D
m
, respectivamente. Ou seja, temos
que Q
m+1
e D
m+1
so das formas
Q
m+1
(z) = 1 +
m+1
z + +
m+1
z
m+1
,
D
m+1
(z) = 1 +
m+1
z + +
m+1
z
m+1
,
m = 0, 1, 2, . . . . (2.54)
Das relaes de recorrncia (2.5), temos
Q
m+1
(z) = (1 + q
m+1
z)Q
m
(z) + p
m+1
zQ
m1
(z)
= (1 + q
m+1
z)[1 +
m
z + +
m
z
m
] + p
m+1
z[1 +
m1
z + +
m1
z
m1
],
D
m+1
(z) = (1 + d
m+1
z)D
m
(z) + n
m+1
zD
m1
(z)
= (1 + d
m+1
z)[1 +
m
z + +
m
z
m
] + n
m+1
z[1 +
m1
z + +
m1
z
m1
],
para m = 0, 1, 2, . . . .
Comparando os coecientes de z em (2.54) e nas equaes acima, obtemos
1
= q
1
,
m+1
=
m
+ q
m+1
+ p
m+1
,
1
= d
1
,
m+1
=
m
+ d
m+1
+ n
m+1
,
m = 1, 2, 3, . . . . (2.55)
Suponha, ainda, que todos os p
m
e q
m
, m = 1, 2, 3 . . . , em (2.52), sejam conhecidos
e que os n
m
e d
m
, m = 1, 2, 3, . . . , em (2.51), sejam escolhidos tais que
P
m
Q
m
+
K
1 + z

N
m
D
m
= O(z
m
, z
(m+1)
),
ou seja,
(1 + z)[P
m
D
m
N
m
Q
m
] + KQ
m
D
m
(1 + z)Q
m
D
m
= O(z
m
, z
(m+1)
).
O numerador no lado esquerdo da equao acima de grau 2m e o denominador, de
grau 2m+1. Portanto, para que o lado direito seja vlido, o numerador do lado esquerdo
deve ter um nico termo em z
m
, que chamaremos C
m
z
m
, onde C
m
uma constante que
depende de m mas no de z. Ento,
(1 + z)[P
m
D
m
N
m
Q
m
] + KQ
m
D
m
= C
m
z
m
,
ou seja,
(1 + z)
_
P
m
Q
m
N
m
D
m
_
+ K =
C
m
z
m
Q
m
D
m
. (2.56)
Fazendo m = m + 1 na equao acima, obtemos
(1 + z)
_
P
m+1
Q
m+1
N
m+1
D
m+1
_
+ K =
C
m+1
z
m+1
Q
m+1
D
m+1
. (2.57)
Agora, subtraindo (2.56) de (2.57), encontramos
(1 + z)
__
P
m+1
Q
m+1
P
m
Q
m
_
_
N
m+1
D
m+1
N
m
D
m
__
=
C
m+1
z
m+1
Q
m+1
Q
m
C
m
z
m
Q
m
D
m
. (2.58)
Usando (2.58) e as equaes
P
m+1
Q
m+1
P
m
Q
m
=
(1)
m
m+1
z
m
Q
m+1
Q
m
,
N
m+1
D
m+1
N
m
D
m
=
(1)
m
m+1
z
m
D
m+1
D
m
,
obtemos
C
m+1
z
Q
m+1
D
m+1
=
C
m
Q
m
D
m
+ (1)
m
(1 + z)
_

m+1
Q
m
Q
m+1

m+1
D
m
D
m+1
_
,
2.3. Sries de potncias que apresentam simetrias 52
ou seja,
zC
m+1
Q
m
D
m
= C
m
Q
m+1
D
m+1
+ (1)
m
(1 + z) [
m+1
D
m
D
m+1
m+1
Q
m
Q
m+1
] . (2.59)
O primeiro membro da equao acima um polinmio de grau 2m+1 sem o termo
independente. O coeciente de z
2m+2
no lado direito deve, portanto, se anular. Assim,
C
m
m+1
m+1
+ (1)
m
[
m+1
m+1
m+1
m+1
] = 0. (2.60)
Analogamente, o termo independente do segundo membro de (2.59) zero. Logo,
C
m
+ (1)
m
[
m+1
m+1
] = 0 C
m
= (1)
m
[
m+1
m+1
] . (2.61)
Agora, igualando os coecientes de z em (2.59), encontramos
C
m+1
= C
m
[
m+1
+
m+1
] + (1)
m
m+1
[1 +
m
+
m+1
]
m+1
[1 +
m
+
m+1
] .
(2.62)
Substituindo a expresso de C
m
de (2.61) em (2.60), obtemos
m+1
m+1
=

m+1
m+1

m+1
m+1
, m = 1, 2, 3, . . . . (2.63)
Novamente, substituindo C
m
e C
m+1
em (2.62) e, depois, fazendo m = m 1,
encontramos
m+1
m+1
=
m
[1 +
m1
m
]
m
[1 +
m1
m
] , m = 1, 2, 3, . . . . (2.64)
As equaes (2.53), (2.55), (2.63) e (2.64) e os valores iniciais n
1
e d
1
, dados por
n
1
= p
1
+ K, e d
1
=
n
1
q
1
p
1
+ q
1
K
,
so sucientes para determinar os coecientes n e d subsequentes.
2.3 Sries de potncias que apresentam simetrias
Nesta seo, considerando as duas expanses em srie de potncias (2.1) e (2.2),
veremos alguns resultados sobre fraes contnuas quando os coecientes das correspon-
dentes sries satisfazem relaes da forma
a
k
= a
ks
, (2.65)
para k = 0, 1, 2, . . . e s = 0, 1, 2, . . . . Veremos, tambm, que alguns resultados so gerais,
mas existe uma acentuada diferena entre os casos s 3 e s = 0, 1 ou 2, e esses ltimos
dependem do sinal que tomamos em (2.65).
2.3.1 Caso geral
Teorema 2.1. Se, nas expanses em srie de potncias (2.1) e (2.2), os coecientes
satisfazem
a
k
= a
ks
, k = 0, 1, 2, . . . , s 3, (2.66)
ento, os coecientes da tabela n d satisfazem
d
(r)
m
=
1
d
(rs+1)
m
, m = 1, 2, 3, . . . , r
e
n
(r)
m
=
n
(rs+1)
m
d
(rs+1)
m
d
(rs+1)
m1
, m = 2, 3, . . . , r + 1. (2.67)
Demonstrao: Se substituirmos z por 1/z nas sries (2.45) e (2.46) e na frao con-
tnua (2.47), e, em seguida, dividirmos por z, encontramos, respectivamente,
a
r1
a
r2
z a
r3
z
2
a
r4
z
3
a
1
z
r2
a
0
z
r1
a
1
z
r
, (2.68)
a
r
z
+
a
r+1
z
2
+
a
r+2
z
3
+
a
r+3
z
4
+ +
a
2r3
z
r2
+
a
2r2
z
r1
+
a
2r1
z
r
+ (2.69)
e
a
r
/z
1 + d
(r)
1
/z +
n
(r)
2
/z
1 + d
(r)
2
/z +
n
(r)
3
/z
1 + d
(r)
3
/z +
n
(r)
4
/z
1 + d
(r)
4
/z +
. . .
.
A frao contnua acima tambm pode ser escrita como
a
r
z + d
(r)
1
+
n
(r)
2
z
z + d
(r)
2
+
n
(r)
3
z
z + d
(r)
3
+
n
(r)
4
z
z + d
(r)
4
+
. . .
.
Aps algumas manipulaes simples, chegamos seguinte frao contnua equiva-
lente
a
r
/d
(r)
1
1 +
1
d
(r)
1
z +
_
n
(r)
2
z
_
/
_
d
(r)
1
d
(r)
2
_
1 +
1
d
(r)
2
z +
_
n
(r)
3
z
_
/
_
d
(r)
2
d
(r)
3
_
1 +
1
d
(r)
3
z +
. . .
, (2.70)
correspondente s sries (2.68) e (2.69).
Considerando a relao (2.66), encontramos que as sries (2.68) e (2.69) tornam-se,
respectivamente,
a
rs+1
a
rs+2
z a
rs+3
z
2
a
s1
z
r2
a
s
z
r1
a
1
z
r
(2.71)
e
a
rs
z
+
a
rs1
z
2
+
a
rs2
z
3
+ +
a
2rs+3
z
r2
+
a
2rs+2
z
r1
+
a
2rs+1
z
r
+ . (2.72)
Os primeiros r termos de (2.71) so os mesmos r termos da srie
a
rs+1
a
rs+2
z a
rs+3
z
2
a
s1
z
r2
a
s
z
r1
a
s+1
z
r
. (2.73)
e a frao contnua que corresponde a (2.73) e (2.72) dada por
a
rs+1
1 + d
(rs+1)
1
z +
n
(rs+1)z
2
1 + d
(rs+1)
2
z +
n
(rs+1)z
3
1 + d
(rs+1)
3
z +
n
(rs+1)z
4
1 + d
(rs+1)
4
z +
. . .
. (2.74)
Os primeiros r quocientes parciais dessa frao contnua devem ser idnticos aos
primeiros r quocientes parciais de (2.70). Logo,
d
(rs+1)
m
=
1
d
(r)
m
, m = 1, 2, 3, . . . , r (2.75)
e
n
(rs+1)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, m = 2, 3, . . . , r. (2.76)
A relao (2.67) tambm vale para m = r + 1 pela seguinte razo. O coeciente
n
(r)
r+1
pode ser expresso, usando-se a segunda relao em (2.43), por
n
(rs+1)
r+1
= n
(rs+2)
r
+ d
(rs+2)
r
d
(rs+1)
r
.
Agora, observe que as trs parcelas que aparecem do lado direito esto todas na
parte da tabela n d em que (2.75) e (2.76) valem. Logo,
n
(rs+1)
r+1
=
n
(r1)
r
d
(r1)
r
d
(r1)
r1
+
1
d
(r1)
r
1
d
(r)
r
ou, usando-se agora a primeira relao em (2.43),
n
(rs+1)
r+1
=
n
(r)
r
d
(r)
r
d
(r1)
r
+
1
d
(r1)
r
1
d
(r)
r
.
Aplicando-se novamente a primeira regra de (2.43), e novamente a segunda, obte-
mos
n
(r)
r+1
=
n
(rs+1)
r+1
d
(rs+1)
r
d
(rs+1)
r+1
. (2.77)
Observe que, enquanto (2.67) uma relao recproca (do mesmo modo que (2.75)
claramente tambm o ), a relao
n
(rs+1)
r+1
=
n
(r)
r+1
d
(r)
r
d
(r)
r+1
, n = 2, 3, . . . , r,
no a recproca de (2.77). Podemos mostrar isto matematicamente. Porm, o seguinte
argumento tambm demonstra este fato.
Se a relao dada acima e (2.77) fossem relaes recprocas, devido funo que os
numeradores parciais exercem na correspondncia da frao contnua com as duas sries,
isto implicaria que os (r + 1)simos termos de (2.72) e (2.73) seriam necessariamente
idnticos, e eles no o so. Isto conclui a prova do teorema.
As relaes (2.67), (2.75) e (2.77) tambm valem se os coecientes das sries de
potncias satisfazem a
k
= a
ks
, k = 0, 1, 2, . . . , com o caso s = 2 includo. A demons-
trao anloga que acabamos de mostrar para o caso a
k
= a
ks
, s 3.
Os coecientes que esto relacionados por (2.75) e (2.67) so aqueles localizados
na parte da tabela n d acima da linha superior e abaixo da linha inferior, formando
degraus, como mostramos a seguir.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(s2)
1
n
(s2)
2
d
(s2)
2
n
(s2)
3
d
(s2)
3
n
(s2)
4
d
(s2)
4

d
(s1)
1
n
(s1)
2
d
(s1)
2
n
(s1)
3
d
(s1)
3
n
(s1)
4
d
(s1)
4

d
(s)
1
n
(s)
2
d
(s)
2
n
(s)
3
d
(s)
3
n
(s)
4
d
(s)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.3.2 Caso s = 1
No caso s = 1, temos a
k
= a
k1
para k = 0, 1, 2, . . . . Tomando o sinal positivo,
as sries (2.71) e (2.73) so idnticas. Portanto, temos o resultado:
Teorema 2.2. Se os coecientes das sries de potncias (2.1) e (2.2) satisfazem
a
k
= a
k1
, k = 0, 1, 2, . . . , ento, os coecientes da tabela n-d satisfazem as relaes
d
(r)
m
=
1
d
(r)
m
, m = 1, 2, 3, . . . e n
(r)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, m = 2, 3, 4, . . . (2.78)
para r = 0, 1, 2, . . . .
Esse resultado tambm vale para a
k
= a
k1
.
Assim, os elementos abaixo da linha inferior relacionam-se com os elementos acima
da linha superior da tabela n d abaixo.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.3.3 Caso s = 2
Para s = 2, temos a
k
= a
k2
para k = 0, 1, 2, . . . . Se tomarmos o sinal positivo,
observe que as sries (2.71) e (2.73) so idnticas. Logo,
d
(r1)
m
=
1
d
(r)
m
, m = 1, 2, 3, . . . e n
(r1)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, m = 2, 3, 4, . . .
para r = 0, 1, 2 . . . .
Neste caso, a tabela nd ca de tal forma que os elementos abaixo da linha esto
relacionados com os que esto acima da linha.
O caso a
k1
= a
k+1
j foi analisado juntamente com o caso geral s 3.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.3.4 Caso s = 0
Finalmente, para s = 0, temos a
k
= a
k
. Se tomamos o sinal positivo, as sries
(2.71) e (2.73) so idnticas. Assim,
d
(r+1)
m
=
1
d
(r)
m
, m = 1, 2, 3, . . . e n
(r+1)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, m = 2, 3, 4, . . .
para r = 0, 1, 2 . . . .
Para este caso, os elementos abaixo da linha, na tabela n d, relacionam-se com
os que esto acima, como mostrado abaixo.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Agora, se tomamos o sinal negativo, ou seja, a
k
= a
k
, temos que a
0
= a
0
o
que implica a
0
= 0. Portanto, das sries (2.71) e (2.73), temos que
d
(r+1)
m
=
1
d
(r)
m
, m = 1, 2, 3, . . . , r 1 e n
(r+1)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, m = 2, 3, 4, . . . , r
para r = 2, 3, 4, . . . .
Aqui, os elementos abaixo da linha inferior relacionam-se com os acima da linha
superior, formando degraus na tabela n d abaixo.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(0)
1
n
(0)
2
d
(0)
2
n
(0)
3
d
(0)
3
n
(0)
4
d
(0)
4

d
(1)
1
n
(1)
2
d
(1)
2
n
(1)
3
d
(1)
3
n
(1)
4
d
(1)
4

d
(2)
1
n
(2)
2
d
(2)
2
n
(2)
3
d
(2)
3
n
(2)
4
d
(2)
4

d
(3)
1
n
(3)
2
d
(3)
2
n
(3)
3
d
(3)
3
n
(3)
4
d
(3)
4

d
(4)
1
n
(4)
2
d
(4)
2
n
(4)
3
d
(4)
3
n
(4)
4
d
(4)
4

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
Captulo 3
Erros nas aproximaes e resultados
computacionais
Neste captulo, faremos, primeiramente, um breve estudo sobre erros nas aproxima-
es por funes racionais. Em seguida, daremos alguns exemplos usando os algoritmos
Q-D e modicado construdos no Captulo 2. A utilizao do mtodo do determinante
no vivel, pois seu esforo computacional muito superior ao do algoritmo Q-D, por
exemplo. Por isso, no faremos exemplos utilizando esse mtodo.
3.1 Erros nas aproximaes
Desde que a funo racional f
m,m
(z) aproxima m termos de (2.1) e de (2.2), os
termos em z
m
e em z
(m+1)
so os mesmos para f(z) f
m,m
(z) e f
m+1,m+1
(z) f
m,m
(z).
Para a frao contnua correspondente a f(z)
n
1
1 + d
1
z +
n
2
z
1 + d
2
z + . . . +
n
m
z
1 + d
m
z + . . .
, (3.1)
com convergentes
P
m
(z)
Q
m
(z)
, temos
f
m,m
(z) =
P
m
(z)
Q
m
(z)
,
m+1,m
(z) = (1)
m
n
1
n
2
. . . n
m+1
z
m
e
Q
m
(z) = 1 + + (d
1
d
2
. . . d
m
)z
m
.
3.1. Erros nas aproximaes 60
Portanto,
f
m+1,m+1
(z) f
m,m
(z) =

m+1,m
(z)
Q
m
(z)Q
m+1
(z)
=
(1)
m
n
1
n
2
. . . n
m+1
z
m
1 + + (d
1
d
2
. . . d
m
)
2
d
m+1
z
2m+1
. (3.2)
Ento, para [z[ pequeno e [z[ grande, temos, respectivamente,
_
_
[f(z) f
m,m
(z)[ = [n
1
n
2
. . . n
m+1
[[z[
m
1 + O([z[) ,
[f(z) f
m,m
(z)[ =
n
1
n
2
. . . n
m+1
(d
1
d
2
. . . d
m
)
2
d
m+1
1
[z[
m+1
_
1 + O
_
1
[z[
__
,
(3.3)
para m = 1, 2, 3, . . . .
Escrevendo (3.3) em funo dos determinantes de Hankel, obtemos, respectiva-
mente,
_
_
[f(z) f
m,m
(z)[ =
D
0,m
D
1,m1
[z[
m
1 + O([z[) ,
[f(z) f
m,m
(z)[ =
D
1,m
D
0,m1
1
[z[
m+1
_
1 + O
_
1
[z[
__
,
(3.4)
para m = 1, 2, 3, . . . .
Os prximos resultados tratam de limites de erros no eixo real positivo.
Se todos os coecientes de Q
m
(z), m = 1, 2, 3, . . . , so positivos, ento, f(z) no
tem singularidades para z 0. Os coecientes de Q
m
(z) podem ser todos positivos sob
vrias condies sucientes. Entretanto, nos restringiremos aos seguintes casos:
_
_
(i) d
i
> 0 e n
i+1
> 0, i = 1, 2, . . . , m,
(ii) d
i
> 0 e d
i+1
+ n
i+1
0, i = 1, 2, . . . , m,
(iii) d
i
> 0 e d
i
+ n
i+1
0, i = 1, 2, . . . , m,
(3.5)
para m = 1, 2, 3, . . . .
O caso (i) evidente e os casos (ii) e (iii) podem ser vericados por induo,
utilizando-se (2.5) para Q
m
(z).
Se as condies do caso (i) valem para a frao contnua (3.1), ento, fazendo uso
do Teorema 1.4, para z > 0 temos que convergentes sucessivos caem em lados opostos de
f(z), isto ,
f(z)
P
m
(z)
Q
m
(z)
<
P
m+1
(z)
Q
m+1
(z)

P
m
(z)
Q
m
(z)
.
Logo,
[f(z) f
m,m
(z)[ <
n
1
n
2
. . . n
m+1
z
m
Q
m
(z)Q
m+1
(z)
. (3.6)
Para encontrarmos resultados correspondentes para os casos (ii) e (iii), iniciamos
com a frao contnua
R
m
(z) =
n
m+1
z
1 + d
m+1
z +
n
m+2
z
1 + d
m+2
z +
n
m+3
z
1 + d
m+3
z + . . .
. (3.7)
Observe que quando z , R
m
(z)
n
m+1
d
m+1
, enquanto que, quando z 0,
R
m
(z) n
m+1
z.
Denindo P
m
(z) e Q
m
(z) por
P
m
(z) = d
m+1
P
m
(z) + n
m+1
P
m1
(z),
Q
m
(z) = d
m+1
Q
m
(z) + n
m+1
Q
m1
(z) =
Q
m+1
(z) Q
m
(z)
z
,
(3.8)
se as condies do caso (ii) so satisfeitas e z > 0, ento
P
m
(z)
Q
m
(z)
e
P
m
(z)
Q
m
(z)
caem em lados
opostos de f(z). De fato,
f(z)
P
m
(z)
Q
m
(z)
=
P
m
(z) + R
m
(z)P
m1
(z)
Q
m
(z) + R
m
(z)Q
m1
(z)

P
m
(z)
Q
m
(z)
=
(1)
m
n
1
n
2
. . . n
m
R
m
(z)z
m1
Q
m
(z)(Q
m
(z) + R
m
(z)Q
m1
(z))
e, analogamente,
f(z)
P
m
(z)
Q
m
(z)
=
(1)
m
(d
m+1
R
m
(z) n
m+1
)n
1
n
2
. . . n
m
z
m1
Q
m
(z)(Q
m
(z) + R
m
(z)Q
m1
(z))
.
Mostremos que (n
m+1
d
m+1
R
m
(z)) e R
m
(z) tm o mesmo sinal para z > 0.
Na forma de frao contnua,
n
m+1
d
m+1
R
m
(z) = n
m+1
_
1
d
m+1
z
1 + d
m+1
z +
n
m+2
z
1 + d
m+2
z + . . .
_
.
Se a frao contnua entre colchetes tem convergentes
U
r
(z)
V
r
(z)
,
r = 1, 2, 3, . . . , com U
1
(z) = d
m+1
z e V
1
(z) = 1 + d
m+1
z, ento, sob as condies
(ii), todos os coecientes de V
r
(z) so positivos e podemos mostrar, por induo, que
V
r
(z) U
r
(z) 1, r = 1, 2, 3, . . . .
Ento, temos
1
U
r
(z)
V
r
(z)
=
V
r
(z) U
r
(z)
V
r
(z)

1
V
r
(z)
0.
Portanto, (n
m+1
d
m+1
R
m
(z)) e R
m
(z) tm o mesmo sinal, sendo determinado pelo sinal
de n
m+1
. Consequentemente,
P
m
(z)
Q
m
(z)
e
P
m
(z)
Q
m
(z)
caem em lados opostos de f(z).
Usando (3.8), chegamos ao seguinte resultado:
[f(z) f
m,m
(z)[ <
P
m
(z)
Q
m
(z)

P
m
(z)
Q
m
(z)
=
[n
1
n
2
. . . n
m+1
[z
m
Q
m
(z)(Q
m+1
(z) Q
m
(z))
. (3.9)
Para o caso (iii), denimos P
m
(z) e Q
m
(z) por
P
m
(z) = P
m
(z) + n
m+1
zP
m1
(z),
Q
m
(z) = Q
m
(z) + n
m+1
zQ
m1
(z) = Q
m+1
(z) d
m+1
zQ
m1
(z).
(3.10)
Mostremos que, para z > 0, se as condies (iii) so vlidas,
P
m
(z)
Q
m
(z)
e
P
m
(z)
Q
m
(z)
caem
em lados opostos de f(z).
Observe que
f(z)
P
m
(z)
Q
m
(z)
=
(1)
m
n
1
n
2
. . . n
m
R
m
(z)z
m1
Q
m
(z)(Q
m
(z) + R
m
(z)Q
m1
(z))
e
f(z)
P
m
(z)
Q
m
(z)
=
(1)
m
(n
m+1
z R
m
(z))n
1
n
2
. . . n
m
z
m1
Q
m
(z)(Q
m
(z) + R
m
(z)Q
m1
(z))
.
Mostremos que (R
m
(z) n
m+1
z) e R
m
(z) tm o mesmo sinal para z > 0.
Na forma de frao contnua,
R
m
(z) n
m+1
z = n
m+1
z
_
1
1
1 + d
m+1
z +
n
m+2
z
1 + d
m+2
z + . . .
_
.
Suponhamos que a frao contnua entre colchetes tenha convergentes
U
r
(z)
V
r
(z)
,
r = 1, 2, 3, . . . , com U
1
(z) = 1, e V
1
(z) = 1+d
m+1
z. Ento, sob as condies (iii), todos os
coecientes de V
r
(z) so positivos e, por induo, mostra-se facilmente que V
r
(z)U
r
(z)
0, r = 1, 2, 3, . . . .
Assim,
1
U
r
(z)
V
r
(z)
=
V
r
(z) U
r
(z)
V
r
(z)
0.
Portanto, sinal(R
m
(z) n
m+1
z) = sinal(R
m
(z)), sendo determinado pelo sinal de n
m+1
.
Consequentemente,
P
m
(z)
Q
m
(z)
e
P
m
(z)
Q
m
v
caem em lados opostos de f(z).
De (3.10), obtemos
[f(z) f
m,m
(z)[ <
P
m
(z)
Q
m
(z)

P
m
(z)
Q
m
(z)
=
[n
1
n
2
. . . n
m+1
[z
m
Q
m
(z)(Q
m+1
(z) d
m+1
zQ
m
(z))
. (3.11)
Para fraes contnuas nas quais Q
m
(z) > 0 para z 0, [f
m+1,m+1
(z) f
m,m
(z)[
tem um nico mximo para z 0. Isto mostrado facilmente calculando-se a derivada de
3.2. Resultados computacionais 63
[f
m+1,m+1
(z) f
m,m
(z)[ e vericando-se que a mesma possui uma nica raiz para z > 0.
Assim, pelo comportamento de [f
m+1,m+1
(z) f
m,m
(z)[, dada em (3.2), vemos que essa
raiz um ponto de mximo. Uma estimativa grosseira da posio desse mximo pode ser
encontrada igualando-se os termos lderes em (3.3). Isso nos d
z
max

_
(d
1
d
2
. . . d
m
)
2
d
m+1
1
(2m+1)
, (3.12)
ou, em termos dos determinantes de Hankel,
z
max

_
D
1,m
D
1,m1
D
0,m
D
0,m1
_
1
(2m+1)
.
Portanto, basta substituir a expresso de z = z
max
, dada em (3.12), nas equaes
(3.6), (3.9) e (3.11) para uma estimativa do erro para os casos (i), (ii) e (iii), respectiva-
mente.
3.2 Resultados computacionais
Para calcular as sries de potncias das funes consideradas nos exemplos a seguir,
usamos o software Maple 9.01 e para calcular os coecientes das fraes contnuas corres-
pondentes usamos os algoritmos das Tabelas 3.1 e 3.2, apresentados ao nal desta seo,
que foram programados na linguagem C++, atravs do software Dev-C++, verso 4.9.9.2.
3.2.1 A funo F(z) =
1
1 + z
2
Para esta funo, as duas expanses em srie de potncias so dadas por
1
z
2
2
+
3z
4
8

5z
6
16
+ [z[ < 1 (3.13)
e
1
z

1
2z
3
+
3
8z
5

5
16z
7
+ [z[ > 1. (3.14)
Neste exemplo, h coecientes nulos em ambas as expanses em sries de potncias
e, portanto, o algoritmo Q-D no pode ser usado para se obter a frao contnua corres-
pondente. Embora possa ser obtida facilmente por outros meios, usaremos esta funo
para ilustrar o algoritmo modicado. Fazendo K = 2, obtemos as expanses em srie da
funo
2
1 + z
:
2 2z + 2z
2
2z
3
+ 2z
4
(3.15)
e
2
z

2
z
2
+
2
z
3

2
z
4
+
2
z
5
. (3.16)
Subtraindo, agora, (3.16) e (3.15), respectivamente, das sries (3.14) e (3.13) acima,
obtemos
1 + 2z
5z
2
2
+ 2z
3
13z
4
8
+
e
1
z
+
2
z
2

5
2z
3
+
2
z
4

13
8z
5
+ ,
que so as expanses desejadas, j que no h coecientes nulos.
Observe que os coecientes das duas sries de potncias anteriores satisfazem a
simetria
a
k
= a
k1
, k = 0, 1, 2, 3 . . . .
Logo, as sries so, respectivamente, das seguintes formas
a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ a
k
z
k1
+
e
a
0
z
+
a
1
z
2
+
a
2
z
3
+
a
3
z
4
+ +
a
k+1
z
k
+ .
Como consequncia desta simetria, quando usamos o algoritmo Q-D, somente me-
tade dos elementos n
(r)
m
e d
(r)
m
precisam ser calculados. Isto, porque sabemos que
d
(r)
m
=
1
d
(r)
m
, n
(r)
m
=
n
(r)
m
d
(r)
m
d
(r)
m1
, r = 0, 1, 2, . . . .
A frao contnua para F(z) =
1
1 + z
2
, ento, obtida pelo algoritmo da seo
anterior e dada por
1
1 + z
2
=
1
1 + z
z
1 + z
z/2
1 + z
z/2
1 + z
z/2
1 + z . . .
.
Esta frao contnua pode ser obtida por outros meios, veja Murphy [18], onde ela
e algumas aplicaes so discutidas.
3.2.2 A funo F(z) = arccot(z)
A funo arccot(z) (cot
1
(z)) tem as seguintes expanses em srie de potncias:
2
z +
z
3
3

z
5
5
+ + (1)
k
z
2k+1
2k + 1
+ , [z[ < 1
e
1
z

1
3z
3
+
1
5z
5

1
7z
7
+ + (1)
k
1
(2k + 1)z
2k+1
+ , [z[ > 1.
Como no exemplo anterior, essas duas sries apresentam coecientes nulos e a
frao contnua da forma (2.7) pode ser obtida pelo algoritmo Q-D modicado dado na
seo 3.2. Neste exemplo, tambm poderemos explorar, a nosso favor, a simetria parcial
entre os coecientes das duas expanses em srie da funo modicada
arccot(z)
2
1 + z
,
que so dadas por
_
2
2
_
+ z 2z
2
+
7
3
z
3
2z
4
+
9
5
z
5
, [z[ pequeno
e
1
z
+
2
z
2

7
3z
3
+
2
z
4

9
5z
5
+ , [z[ grande.
Essas duas sries so das formas
a
0
+ a
1
z + a
2
z
2
+ a
3
z
3
+ + a
k
z
k
+ , [z[ pequeno
e
a
1
z

a
2
z
2

a
3
z
3

a
4
z
4

a
k
z
k
, [z[ grande.
Isto , a
k
= a
k
, k = 0, 1, 2, . . . .
Como consequncia, os elementos gerados pelo algoritmo Q-D para tais sries sa-
tisfazem
d
(r+1)
m
=
1
d
(r)
m
, n
(r+1)
m
=
n
(r)
m
d
(r)
m1
d
(r)
m
, r = 0, 1, 2, . . . , (3.17)
como vimos no captulo anterior.
O algoritmo Q-D, abreviado pelo uso de (3.17), pode agora ser usado para obtermos
a frao contnua para a funo arccot(z)
2
1 + z
. A frao contnua para arccot(z) ,
ento, obtida e a seguir fornecemos os coecientes dos quinze primeiros convergentes.
n
1
= 1.570796327 d
1
= 1.570796327
n
2
= 0.934176555 d
2
= 0.934176555
n
3
= 0.500334866 d
3
= 0.979385145
n
4
= 0.505199059 d
4
= 0.992512632
n
5
= 0.504693027 d
5
= 0.996725225
n
6
= 0.503610742 d
6
= 0.998311260
n
7
= 0.502739742 d
7
= 0.999014570
n
8
= 0.502115085 d
8
= 0.999369715
n
9
= 0.501666392 d
9
= 0.999552489
n
10
= 0.501312305 d
10
= 0.999555814
n
11
= 0.500871053 d
11
= 0.998912939
n
12
= 0.499463639 d
12
= 0.994692227
n
13
= 0.492031395 d
13
= 0.970028800
n
14
= 0.449072022 d
14
= 0.837467321
n
15
= 0.196185109 d
15
= 0.291647825
Apresentaremos, agora, os algoritmos construdos no Captulo 2 e utilizados neste
captulo para os exemplos computacionais. O primeiro o algoritmo Q-D, usado para
calcular os numeradores e denominadores parciais da frao contnua correspondente
funo f(z), que no contm coecientes nulos. Quando h coecientes nulos em uma ou
ambas as sries da funo f(z), usamos o algoritmo Q-D para calcular os elementos da
frao contnua correspondente funo modicada g(z) = f(z)
K
1 + z
, que no possui
coecientes nulos e, usando esses elementos, atravs do algoritmo modicado encontramos
os numeradores e denominadores parciais da frao contnua correspondente funo f(z).
Tabela 3.1: Algoritmo Q-D
Incio
1. Leitura do nmero de convergentes parciais da FC que sero calculados
Leia (m)
2. Leitura dos coecientes das sries de potncias
Para i = m, . . . , 1, 0, 1, . . . , m1 faa
Leia (a
i
)
3. Clculo de d
(r)
1
e n
(r)
1
Para r = m + 1, . . . , 1, 0, 1, . . . , m1 faa
d
(r)
1
=
a
r
a
r1
n
(r)
1
= 0
4. Clculo de n
(r)
i
e d
(r)
i
Para i = 2, 3, . . . , m faa
Para r = m + i 1, . . . , mi faa
n
(r)
i
= n
(r+1)
i1
+ d
(r+1)
i1
d
(r)
i1
d
(r+1)
i
=
n
(r+1)
i
d
(r)
i1
n
(r)
i
Fim
Tabela 3.2: Algoritmo Modicado
Incio
1. Leitura do nmero de convergentes parciais da FC que sero calculados
Leia (m)
2. Leitura do nmero K adequado
Leia (K)
3. Leitura dos coecientes da frao contnua de g(z)
Para i = 1, 2, . . . , m faa
Leia (p
i
, q
i
)
4. Clculo dos coecientes da frao contnua de f(z)
0
= 1
0
= 1
Para i = 1, 2, . . . , m faa
i
=
i1
p
i
i
=
i1
q
i
0
= 0
1
= q
1
0
= 0
1
= d
1
n
1
= p
1
+ K d
1
=
n
1
q
1
p
1
+ q
1
K
y
1
= n
1

1
= d
1
Para i = 1, 2, . . . , m faa
y
i+1
=
i+1
+ y
i
(1 +
i1
i
)
i
(1 +
i1
i
)
i+1
=
y
i+1
i
y
i+1
i+1
+

i+1
i+1
n
i+1
=
y
i+1
y
i
d
i+1
=

i+1
i+1
=
i
+ q
i+1
+ p
i+1
i+1
=
i
+ d
i+1
+ n
i+1
Fim
69
Referncias Bibliogrcas
[1] ANDRADE, E. X. L.; McCABE, J. H.; SRI RANGA, A. The Q-D Algorithm for
Transforming Series Expansions into a Corresponding Continued Fraction: An Ex-
tension to Cope with Zero Coecients. J. Comput. Appl. Math., v. 156, n. 2, p.
487-497, Jul. 2003.
[2] ANDRADE, E. X. L.; McCABE, J. H. Some Consequences of Symmetry in the
Coecients of Two Series when Constructing Continued Fractions that Correspond
to the Two Series. Commun. Anal. Theory Contin. Fract., v. 10, p. 5-12, 2002.
[3] ANDRADE, E. X. L. Sobre Polinmios Similares aos Ortogonais Associados
a uma Classe Especial de Distribuio. Tese (Doutorado) - IMECC, UNICAMP,
Campinas, 1995.
[4] ANDRADE, E. X. L.; BRACCIALI, C. F. Polinmios Ortogonais e Similares:
Propriedades e Aplicaes. Apostila Verso 2.4, 2008.
[5] BREZINSKI, C. History of Continued Fractions and Pad Approximants.
Springer, 1991.
[6] CHIHARA, T. S. An Introduction to Orthogonal Polynomials, Mathematics
and its Applications Series. New York: Gordon and Breach, 1978.
[7] CORLESS, R. M. Continued Fractions and Chaos. Am. Math. Mon., v. 99, n. 3,
p. 203-215, Mar. 1992.
[8] FREUD, G. Orthogonal Polynomials. New York: Pregamon Press, 1971.
[9] GRAGG, W. B. The Pad Table and its Relation to Certain Algorithms in Numerical
Analysis. SIAM Rev., v. 14, n. 1, p. 1-62, Jan. 1972.
Referncias Bibliogrficas 70
[10] HENRICI, P. Applied and Computational Complex Analysis Vol. 1. New
York: John Wiley and Sons, 1974.
[11] HENRICI, P.; PFLGER, P. Truncation error estimates for Stieltjes fractions.
Numer. Math., v. 9, n. 2, p. 120-138, Dec. 1966.
[12] JONES, W. B.; THRON, W. J. Continued Fractions: Analytic Theory and
Applications, Encyclopedia of Mathematics and its Applications, 1980.
[13] JONES, W. B.; THRON, W. J.; WAADELAND, H. A Strong Stieltjes Moment
Problem. Trans. Am. Math. Soc., v. 261, n. 2, p. 503-528, Oct. 1980.
[14] LORENTZEN, L.; WAADELAND, H. Continued Fractions with Applications,
North-Holland, 1992.
[15] MAGNUS, A. On the Structure of the Two-Point Pad Table. Lect. Notes Math.,
v. 932, p. 176-193, 1982.
[16] McCABE, J. H.; MURPHY, J. A. Continued Fractions which Correspond to Power
Series Expansions at Two Points. Technical Report n
o
36, Department of Mathe-
matics, Brunel University, 1973.
[17] McCABE, J. H.; MURPHY, J. A. Continued Fractions which Correspond to Power
Series Expansions at Two Points. J. Inst. Math. Appl., v. 17, n. 2, p. 233-247,
1976.
[18] MURPHY, J. A. Centain Rational Function Approximations to (1 +x
2
)
1
2
. IMA J.
Appl. Math., v. 7, n. 2, p. 138-150, 1971.
[19] RUTISHAUSER, H. Der Quotienten-Dierenzen Algorithmus. Z.A.M.P., v. 5, n. 3,
p. 233-251, May. 1954.
[20] SRI RANGA, A. Continued Fractions with Correspond to Two Series Ex-
pansions and the Strong Hamburger Moment Problem. Tese (Doutorado),
University of St Andrews, St Andrews, Esccia, 1984.
[21] SZEG, G. Orthogonal Polynomials, American Mathematical Society Collo-
quium Publications, v. 23, Providence, RI, USA, 1975.
Referncias Bibliogrficas 71
[22] THRON, W. J. Some Properties of Continued Fraction 1 +d
0
z +K
n=1
(z/(1 +d
n
z)).
Bull. Amer. Math. Soc., v. 54, n. 2, p. 206-218, 1948.
[23] WALL, H. S. Analytic Theory of Continued Fractions, American Mathematical
Society, 1948.
Autorizo a reproduo xerogrca para ns de pesquisa.
So Jos do Rio Preto, 09 de Maro de 2010.

Frações Contínuas Que Correspondem A Séries de Potências

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Frações Contínuas Que Correspondem A Séries de Potências

Загружено:

Авторское право:

Доступные форматы

Fraes Contnuas que correspondem a sries de

potncias em dois pontos

,= 0 e, ento, u(z) = O(z

so duas formas de Pad do tipo (m, n) para C(z), ento

so idnticas. Isso completa a

= max0, ( m) + ( n) k e d(z) ,= 0 de grau no mximo

)[C(z)Q(z) P(z)] = O(z

[C(z)Q(z) P(z)] = O(z

,= 0 arbitrrio, denimos u e v por (1.40). Ento, (1.39)

(veja a Figura 1.1). Isto prova (c). Isso

= 0 se, e somente se, S

tem uma soluo no trivial com v

o inteiro maximal para o qual v(z) = O(z

) em alguma forma de Pad do tipo

= 0 se, e somente se,

> 0 e, portanto, min m, n > 0. Ou

(z) as duas sries (1.51) e (1.53), respectivamente. Ento,

) obtido de modo a ajustar,

Вам также может понравиться