Documente Academic
Documente Profesional
Documente Cultură
1. INTRODUO
As aplicaes dos polinmios ortogonais surgem cada vez mais em problemas fundamentais
na matemtica, nas reas de aproximao de funes, fraes contnuas, teoria dos cdigos,
entre outras, sendo assim objeto de estudo de vrios pesquisadores. A principal caracterstica
dos polinmios ortogonais que estes formam uma base ortogonal dos espaos de
aproximao com propriedades interessantes na resoluo de certos problemas relacionados
com Equaes Diferenciais, Fraes Contnuas e Teoria da Aproximao (DARUIS,2003;
DAVIS, 1976; DIMITROV, 2000; GAUTSCHI, 1985).
Este trabalho tem como objetivo, mostrar a aplicao dos polinmios ortogonais clssicos na
gerao de frmulas de quadratura. Um mtodo de quadratura numrica aproxima o valor de
uma integral de uma funo f (x) , com relao a uma funo peso w(x) , da seguinte forma:
b
k =0
w( x) f ( x)dx Ak f (xk ) .
Em geral as frmulas de quadratura so baseadas na estratgia de aproximar a funo f (x)
por um polinmio interpolador e a integral da funo substituda pela integral do polinmio.
Este o caso das Frmulas de Newton-Ctes, a mais conhecida das frmulas de quadratura.
As Frmulas de Newton-Ctes baseadas no polinmio interpolador de grau n conseguem ser
exatas para polinmios de grau menor ou igual a n , se n for mpar, e exata para polinmios
de grau menor ou igual a n + 1 , se n for par (BURDEN e FAIRES, 2003).
No caso das frmulas de quadratura baseadas nos polinmios ortogonais de grau n + 1 , tem-se
que so exatas para polinmios de grau menor ou igual a 2n + 1 , um ganho considervel na
preciso de aproximao. Estas frmulas so chamadas de Quadratura de Gauss, devido ao
resultado demonstrado por Gauss, em 1812, e que ser apresentado no Teorema 5.
i ( x), j ( x) 0, para i 0
ento, os polinmios 0 ( x), 1 ( x), 2 ( x),..., se dizem ortogonais.
(1)
f , g = f ( x) g ( x) w( x)dx
(2)
Teorema 1: Sejam os polinmios 0 ( x), 1 ( x), 2 ( x),..., de graus 0, 1, 2, ..., definidos por:
0 ( x) = 1,
x 0 ( x), 0 ( x)
0 ( x)
1 ( x) = x
(
x
),
(
x
)
0
0
e, para k = 1,2,3,...,
k +1 ( x) = x k ( x) k k ( x) k k 1 ( x)
onde: k =
x k ( x ), k ( x )
k ( x ), k ( x )
e k =
k ( x ), k ( x )
k 1 ( x ), k 1 ( x )
(3)
Os polinmios 0 ( x), 1 ( x), 2 ( x),..., assim definidos so dois a dois ortogonais, isto ,
satisfazem (1).
A demonstrao deste teorema pode ser encontrada em (CUMINATO, 2008).
Assim, de (3), tem-se diversas famlias de polinmios ortogonais, que se diferenciam pela
definio do produto interno que geram os coeficientes e . De certa forma, do Teorema 1
obtm-se de forma fcil uma seqncia de polinmios ortogonais, pois utilizado na frmula
de recorrncia apenas trs termos para a obteno de qualquer polinmio da seqncia k 2 .
2.1 Propriedades dos polinmios ortogonais
Seguem abaixo algumas das propriedades dos polinmios ortogonais que sero importantes
para a obteno das frmulas de quadratura de Gauss.
Q ( x) = b0 0 ( x ) + b1 1 ( x ) + ... + bn n ( x ) .
Teorema 3: Sejam 0 ( x), 1 ( x), 2 ( x),..., n ( x ) nas condies do Teorema 1. Ento n (x)
ortogonal a qualquer polinmio Q (x) de grau menor que n .
Demonstrao: Seja Q (x) um polinmio de grau n 1 . Pelo teorema anterior tem-se que:
Q ( x) = b0 0 ( x) + b1 1 ( x) + ... + bn1 n 1 ( x)
ento:
= 0.
desde que os polinmios 0 ( x), 1 ( x), 2 ( x),..., n ( x ) sejam dois a dois ortogonais.
Teorema 4: Sejam 0 ( x), 1 ( x), 2 ( x),..., polinmios ortogonais segundo o produto interno:
b
f , g = f ( x) g ( x) w( x)dx
a
[a, b] , n ( x) 0 . Ento:
n ( x), 0 ( x) = w( x) n ( x) 0 ( x)dx
a
b
= w( x) n ( x)dx 0
a
Para provar (b) por absurdo, supe-se que exista uma raiz de n ( x) que seja de
multiplicidade 2..
Seja x1 essa raiz. Portanto:
n ( x)
,
( x x1 ) 2
um polinmios de grau n 2 . Assim, pelo Teorema 3:
n (x ),
n (x )
(x x1 )2
=0
n (x )
(x x1 )
= w( x ) n ( x )
a
n (x )
(x x1 )2
dx
= w( x)
a
n (x ) n (x )
dx
(x x1 ) (x x1 )
n (x ) n (x )
,
)0
(x x1 ) (x x1 )
n (x )
onde a igualdade vlida se e somente se
for o polinmio nulo. Portanto um
(x x1 )
absurdo supor que os zeros de n (x ) em [a, b] no so simples.
=(
Finalmente, para provar (c) ser suposto, por absurdo, que exista apenas j zeros de n (x )
em [a, b] , com j < n .
Sejam x1 , x 2 ,..., x j os zeros de n (x ) em [a, b] . Ento:
n ( x) = ( x x1 )( x x 2 )...(x x j ) q n j ( x)
onde q n j 0 em [a, b] .Assim, pelo Teorema 3, segue que:
n ( x), ( x x1 )( x x 2 )...( x x j ) = 0
Mas, pelas propriedades de produto interno:
n ( x), ( x x1 )( x x 2 )...( x x j ) =
b
Teorema 5: Sejam 0 ( x), 1 ( x), 2 ( x),..., nas condies do Teorema 4. Sejam x0 , x1 ,..., x n
as razes de n +1 ( x ) . Ento, se f (x) um polinmio de grau menor ou igual a 2n + 1 ,
b
k =0
w( x) f ( x)dx = Ak f (xk )
(4)
onde
b
Ak = w( x)l k ( x )dx
a
se
se
k =s
k s
(5)
Seja Pn (x) o polinmio de interpolao de f (x) sobre x0 , x1 ,..., x n em [a, b] . Sabe-se que:
f ( x) = Pn ( x) + Rn ( x)
onde Rn (x) o erro na interpolao. Assim:
f ( x) Pn ( x) = Rn ( x) = ( x x0 )( x x1 )...( x x n )
com a b e dependendo de x .
( )
(n + 1)!
( n +1)
f ( x) Pn ( x) = b0 n+1 ( x)
f ( n+1) ( x)
.
(n + 1)!
q( x) =
f ( n +1) ( x)
,
(n + 1)!
(6)
n +1
( x)q( x)dx
w( x)[ f ( x) P ( x)]dx = 0 ,
n
ou
b
w( x) f ( x)dx = w( x) P ( x)dx
n
= w( x) l k ( x) f ( x k )
k =0
a
b
k =0
= f ( x k ) w( x)l k ( x)dx
n
= Ak f ( xk )
k =0
( f , g) =
isto , com w( x ) = 1 , a = 1 e b = 1 .
f ( x) g ( x)dx
(7)
P1 ( x ) = x
1
P2 ( x ) = (3 x 2 1)
2
1
P3 ( x ) = (5 x 3 3 x )
2
P4 ( x ) =
1
35 x 4 30 x 2 + 3
8
.
.
.
Os polinmios de Legendre podem, ainda, ser obtidos pela frmula de recorrncia:
Pn ( x) =
2n 1
n 1
xPn1 ( x)
Pn 2 ( x), n = 2,3,...
n
n
(8)
( f , g ) = e x f ( x) g ( x)dx
0
x
portanto, w( x) = e , a = 0 e b = .
Primeiros polinmios:
L0 ( x ) = 1
L1 ( x) = x + 1
L2 ( x ) = x 2 4 x + 2
L3 ( x) = x 3 + 9 x 2 18 x + 6
.
.
.
Frmula de recorrncia:
Ln ( x) = (2n x 1) Ln 1 ( x) (n 1) 2 Ln 2 ( x), n = 2,3,...
( f , g) =
x2
f ( x) g ( x)dx ,
Polinmios:
H 0 ( x) = 1
H 1 ( x) = 2 x
H 2 ( x) = 4 x 2 2
H 3 ( x) = 8 x 3 12 x
.
.
.
Com frmula de recorrncia:
H n ( x) = 2 xH n1 ( x) 2(n 1) H n 2 ( x)
3. QUADRATURA DE GAUSS
A Quadratura de Gauss um mtodo de integrao numrica que fornece flexibilidade em
escolher no somente os coeficientes da funo peso, mas tambm a localizao onde as
funes so avaliadas. Uma grande vantagem do mtodo de Quadratura de Gauss a grande
preciso que se pode obter em relao s Frmulas de Newton-Ctes. As regras da
Quadratura de Gauss so deduzidas para uma integral com intervalo de integrao [a,b], no
qual dos polinmios satisfazem a condio de ortogonalidade (1). Mas podem ser facilmente
generalizadas a um intervalo de integrao qualquer com uma mudana de variveis
adequada.
Como demonstrado no Teorema 5, as Frmulas de Quadratura de Gauss aproximam a integral
usando combinao linear dos valores da funo. Assim, so formulas usadas para se calcular:
b
w( x) f ( x)dx ,
a
k =0
w( x) f ( x)dx Ak f ( x k )
onde :
b
Ak = w( x)l k ( x)dx
a
1
l k (xs ) =
0
se
k =s
se
k s
Com isto, o algoritmo para se calcular uma integral usando Quadratura de Gauss, segue os
seguintes passos:
k =0
w( x) f ( x)dx Ak f ( x k )
Esse procedimento vlido para qualquer famlia de polinmios ortogonais definidas pelo
produto interno.
(x
1
Exemplo 1: Calcular
5 x dx
(x x1 )
,
(x 0 x1 )
l 1 (x ) =
(x x 0 )
,
(x1 x 0 )
que:
10
(x x1 )
dx
)
x
0
1
1
A0 = l 0 ( x )dx =
(x
1
x2
1
1
=
(
x
x
)
dx
=
( x x1 )
1
(x 0 x1 ) 1
(x 0 x1 ) 2
1
x2
Desde que x 0 = x1 e
2
2 x1
= 1.
2 x1
= 0 . Do mesmo modo:
1
1
A1 = l 1 ( x )dx =
1
(x x 0 )
dx
1 x0 )
1
1
(x
1
x2
1
1
( x x 0 )
=
(
x
x
)
dx
=
0
(x1 x 0 ) 1
(x1 x 0 ) 2
1
2x0
= 1,
2x0
(x
1
5 x dx = A0 f ( x0 ) + A1 f ( x1 )
= 1 [( 0.57735) 5(0.57735)]
3
+ 1 [(0.57735)3 5(0.57735)] = 0
O valor obtido o valor exato da integral, j que a funo um polinmio de grau 3 e foi
usado o polinmio de Legendre de grau 2.
2
Exemplo 2: Calcular
dx
.
x
11
1 1 1 = 2 x + t + 3 = 0
2 1 1
Assim: x =
t +3
1
e dx = dt .
2
2
2
Portanto:
dx
1
1
dt
1 x = 1 t + 3 . 2 dt = 1 t + 3
Ak f (t K ) =
K =0
1 t + 3
= (0.44935 + 0.26492)(0.55555) + (0.33333)(0.88888)
= 0.69310
Cuja soluo exata :
2
dx
= ln(2) = 0.693147180...
x
Exemplo 3: Calcular
cos x dx
0.4765 .
12
Comparando com o valor exato, 0.5, nota-se que a aproximao obtida foi da ordem de 10 2 .
Exemplo 4: Calcular
x 2 dx .
x dx = e
2
( z +1)
( z + 1) dz = e
( z + 1) 2 dz
1
n = 1 , desde
2
que n indique o ndice do ltimo ponto a ser considerado, e, portanto deve ser um inteiro.
Com o polinmio ortogonal de grau 2, a integral aproximada da forma:
x dx = e
2
( z + 1) 2 dz e 1 (4.9999998) .
O resultado exato da integral 5 / e . A pequena diferena que existe entre o resultado exato e
o valor obtido devido aos erros de arredondamento.
ex 2
Exemplo 5: Calcular
x dx
2
2
x2
b = e f ( x) =
. Assim, seguido os passos do Exemplo 1 e considerando n = 2 , a
2
aproximao dada por:
x2
e
2
2 x dx = 0.8662 2 0.25 0.4431
13
4. CONSIDERAES FINAIS
Os polinmios ortogonais, como descritos no trabalho, apresentam inmeras aplicaes em
vrias reas da matemtica pura e aplicada. Entre elas foi apresentada a Frmula de
Quadratura de Gauss que se baseia nas propriedades desses polinmios e aproximam a
integral usando combinao linear dos valores da funo.
O que diferencia o mtodo da Quadratura de Gauss das outras formas de aproximao, que
ela nos fornece resultados mais precisos por serem exatas para polinmios de grau menor ou
igual a 2n + 1 . Mas leva a desvantagem de se ter que conhecer a funo em pontos
especficos, pois no permite trabalhar com quaisquer problemas em que se tenham somente
os pontos tabelados.
No clculo da Quadratura de Gauss, em que se tenha um intervalo distinto do intervalo [a, b]
onde os polinmios so mutuamente ortogonais, basta realizar uma mudana na varivel de
integrao. Assim, satisfazendo as condies de ortogonalidades, o procedimento para a
aproximao se torna simples, pois quando particularizamos o produto interno, isto , quando
se utiliza os polinmios de Legrendre, Laguerre e Hermite, necessrio apenas efetuar os
passos 5 e 6 do algoritmo, uma vez que os valores de xk e Ak podem ser tabelados.
REFERNCIAS BIBLIOGRFICAS
BRACCIALI, Cleonice Ftima; ANDRADA, Eliana Xavier Linhares De. Zeros de polinmios ortogonais:
interpretao eletrosttica e anlise de freqncias. In: Bienal da Sociedade Brasileira de Matemtica, III.
Universidade Federal de Gois, Salvador GO, 2006.
Disponvel em: http://www.mat.ufg.br/bienal/2006/mini/e.cleonice.pdf .
Acesso em: 21out. 2008.
BURDEN, Richard L., Faires Douglas J. Anlise numrica, So Paulo: Pioneira Thomson Learning, 2003.
CUMINATO, Jos Alberto. Clculo numrico. Notas de aula, ICMC/USP.
Disponvel em: www.simulab.uel.br/hoto/grad/numerico_mat/textos/cuminato.pdf
Acesso em: 21out. 2008.
DARUIS, L., NJSTAD, O., VAN ASSCHE, W. Para-orthogonal polynomials in frequency analysis.
Rocky Mountain J. Math., 33, 629645, 2003.
DAVIS, P.J., RABINOWITZ, P. Numerical integration. Blaisdell Publ. Co., 1967.
DIMITROV, D.K., VAN ASSCHE, W. Lam differential equations and electrostatics. Proc. Amer. Math.
Soc., 128, 36213628, 2000.
14
GAUTSCHI, W. Orthogonal polynomials - constructive theory and applications. Journal of Computational and
Applied Mathematics, 12 e 13, 6176, 1985.
15