Você está na página 1de 32

Capitulo 8 Integrao Numrica

Neste captulo faremos uso da aproximao de funes para efetuar, via


computador com processamento numrico, a operao clssica do Clculo
b
Diferencial e Integral, que consiste em se obter o valor de I f ( x )dx , onde [a, b]
a

o domnio de integrao, f ( x) a funo integranda e a expresso I


denominada de integral simples e definida.
Esta operao emblemtica para a atual era dos computadores, pois foi a
motivadora da criao do considerado como o primeiro computador eletrnico,
denominado de ENIAC I (Eletronic Numerical Integrator and Computer)
(https://pt.wikipedia.org/wiki/ENIAC).
Conceitualmente I possui duas definies clssicas:

Definio 1 - A integral indefinida I f ( x)dx obtida atravs da funo F ( x) , tal

que F x f ( x) , ento I F ( x) C , onde C uma constante e F ( x)

denominada de primitiva ou antiderivada.

Da definio anterior, notamos que a integrao a operao inversa da


derivao, sendo sua operacionalizao tipicamente algbrica e abstrativa.

b
Definio 2 - A integral definida I f ( x )dx obtida atravs dos passos:
a

a) Dividimos o intervalo [a, b] um n partes de comprimento hi xi 1 xi ;


n
b) Obtemos a soma I n f ( xi )hi ;
i 1

c) Em geral, no limite de n , temos I lim I n .


n

Esta segunda definio denominada na literatura por integral de Riemann,


sendo tipicamente numrica e construtiva. Se y f ( x ) for contnua em [a, b] e

considerando cada hi como a base de um retngulo infinitesimal e cada f ( xi ) a

respectiva altura, ento no limite o valor de I ser a rea da regio A subentendida


pelo segmento do grfico da y f ( x ) situado entre as retas x a e x b , e o eixo
403
das abcissas x , conforme Grfico 8.1.

Grfico 8.1 rea exata A limitada pela funo y f ( x ) , x a , x b e y 0 .

Fonte: Elaborao prpria

A conexo entre as duas definies de integral o Teorema Fundamental


do Clculo (TFC), no qual prova-se simplesmente que se a f ( x) for contnua em
[a, b] e F ( x) a sua primitiva, ento:
b
f ( x)dx A F (b) F (a)
a

Desta forma, o TFC nos liberta de efetuarmos quantidades de adies que


tendem ao infinito em troca da determinao da primitiva F ( x) . Contudo, como do
conhecimento de todo estudante que cursou o primeiro Clculo, a aplicao do TFC
b
em uma I f ( x )dx qualquer nem sempre fcil, podendo ser muito difcil ou at
a

impossvel, uma vez que:

a) A integranda y f ( x ) pode ser apenas uma tabela do tipo:


x x1 x2 xn 1
f ( x) y1 y2 yn 1

b) A integranda y f ( x) pode ter primitiva conhecida porm seu uso ser


completamente ineficiente, como por exemplo na integrao a seguir com m 30
e n 20 :
b b b
sen m 1 ( x ) cos n 1 ( x ) m 1
I sen ( x ) cos ( x )dx
m n
dx sen m 2 ( x ) cos n ( x ) dx
a a
nm nm a

404
c) Existem integrandas cujas primitivas so impossveis de serem expressas em
termos de funes elementares, como por exemplo as primitivas de:
5
1
dx 1
x2
I e x2
dx , I , I sen dx
0 2
ln( x) 0 2
b
Definio 3 - A integral numrica I f ( x )dx consiste em se aplicar o Teorema
a

Fundamental do Clculo no diretamente na y f ( x) original, mas em


aproximadoras da y f ( x ) .

Os mtodos de integrao numrica podem ser agrupados em duas famlias,


conforme pode ser visto na literatura pertinente, em (Burden; Faires, 2011; Cheney;
Kincaid, 2008, Ruggiero; Lopes, 1997), de acordo com a forma de aproximao da
funo integranda y f ( x ) :

1a) por interpolao polinomial simples sobre pontos uniformemente distribudos em


[a, b] Mtodos de Newton-Cotes;
2a) por interpolao polinomial sobre pontos predefinidos em [a, b] Mtodos
Gaussianos.

Assim, vamos definir e implementar algoritmos para calcular numericamente a


integral definida I , com erro mximo controlado, atravs de aproximaes do
clculo da rea limitada por y f ( x ) , x a , x b e y 0 .

8.1 Integrao Numrica de y f ( x ) por Mtodos de Newton-Cotes

Aqui sero detalhados dois representantes clssicos desta famlia de mtodos de


integrao numrica.

8.1.1. Mtodo dos Trapzios


b
Para se estimar o valor de uma I f ( x )dx , procedemos como segue:
a

(b a)
- Dividimos [a, b] em n subintervalos de comprimento uniforme h ;
n

405
- Obtemos os n 1 valores funcionais ( xi , yi ) , onde x1 a , xi 1 xi h e

yi f ( xi ) , ( i 1, 2, , n );

- Para cada 2 pontos sucessivos ( xi , yi ) e ( xi 1 , yi 1 ) determinamos o seu


interpolador polinomial de 1 grau (na forma de Gregory-Newton com
diferenas), como:
yi 1 yi
Pi ( x) yi ( x xi )
h
Ento, pelo Teorema Fundamental do Clculo obtemos cada rea
aproximada Ai no intervalo [ xi , xi 1 ] que dada por,
xi 1
h
Ai P ( x ) dx 2 y
xi
i i yi 1

Adicionando as reas correspondentes aos n sub-intervalos teremos a rea


aproximada total, denotada por Tn ,
n
Tn Ai
i 1

h h h
Tn y1 y2 y2 y3 ... yn yn1
2 2 2
h
Tn y1 2 y2 2 y3 ... 2 yn yn1
2
h n

Tn
2
y1 2
i 2
yi yn1

(1)

b n
Finalmente, I f ( x )dx Ai Tn
a i 1

Observe que cada Ai a rea de um trapzio de altura h e bases yi e yi 1 ,


conforme Grfico 8.2.

Grfico 8.2 Integral de f ( x ) em [a, b] aproximada por n trapzios.

406
Fonte: Elaborao prpria

b
Da eq.(1) pode-se demonstrar o Teorema 1: I f ( x )dx lim Tn .
n
a

b
Exemplo 8.1: Calcule por Trapzios I f ( x )dx , onde a f ( x ) a funo
a

discretizada a seguir:

xi 0.00 0.25 0.50 0.75 1.00


f ( xi ) 3 5 8 4 2

Soluo:
Temos n 1 5 pontos n 4 intervalos e xi 1 xi 0.25 h 0.25

Aplicando a eq.(1) temos


Tn (0.25 2) 3 2(5 8 4) 2 4.875 e

I Tn 4.875

Conforme pode ser observado, por exemplo no primeiro trapzio da Grfico


8.2, ocorre uma diferena, ou erro, entre a rea deste trapzio e a rea exata no
domnio [ x1 , x2 ] . Este erro ocorre em todos os demais trapzios, desde que a

integranda no seja uma reta.


Na sequncia abordaremos como estimar o erro total gerado pelos n
trapzios na aproximao de uma integrao I pela eq.(1).

Teorema do Erro de Truncamento de Tn :

407
b
Definio: Numa I f ( x )dx se dividirmos o intervalo [a, b] em n partes iguais e
a

aplicarmos Trapzios, o erro de truncamento de Tn ser:

h 2 (b a) f ( )
ETn , onde [a, b] ou
12
h 2 (b a ) M
ETn Max (2)
12
onde M max | f ( x) |
x[ a ,b ]

Demonstrao:
Pela interpolao polinomial geral de grau n , conforme vimos no Captulo 5, temos
que o erro do aproximador Pn ( x ) em relao a f ( x ) dado por:
n
f ( n1)
( ) ( x xi )
Rn ( x) f ( x) Pn ( x) i 0
(n 1)!

No caso da aproximao por interpolao polinomial com n 1 , usada no mtodo


dos Trapzios, f ( x) P1 ( x) R1 ( x) :

f ( )( x xi )( x xi 1 )
f ( x) P1 ( x)
(1 1)!
xi 1 xi 1
f ( )( x xi )( x xi 1 )
Ento,
xi
f ( x ) dx P ( x)
xi
1
(1 1)!
dx ,

com P1 ( x ) definido em

x [ xi , xi 1 ] .
xi 1


xi
f ( x ) dx Ai ETi ( ) ,

xi 1 xi 1
h f ( )
onde Ai Pi ( x ) dx yi yi 1 e ETi ( ) ( x x )( x x
i i 1 )dx .
xi
2 (2)! xi

Desenvolvendo e integrando a parcela do erro ETi ( ) , temos


xi1 xi 1
f ( ) f ( ) x3 x2
ETi ( ) x ( xi xi 1 ) x xi xi 1 dx xi xi 1 x
2
( xi xi 1 )
(2)! xi
(2)! 3 2 xi

Ento, o erro em cada sub-intervalo dado por:

408
f ( ) xi 13 xi 3 xi 12 xi 2
ETi ( ) ( xi xi 1 ) xi xi 1 ( xi 1 xi )
(2)! 3 2
substituindo xi 1 xi h

f ( ) ( xi h)3 xi 3 ( xi h) 2 xi 2
ETi ( ) ( xi xi h ) xi ( xi h )( xi h xi )
(2)! 3 2
Por meio de algumas simplificaes algbricas, temos que:
f ( ) h 3 h3 f ( ) h 3 f ( ) h3
ETi ( )
(2)! 3 2 (2)! 6 12

Ento esta expresso do erro ETi ( ) fica independende da posio inicial xi de

cada intervalo, e depende apenas do h :


f ( )h 3
ETi ( )
12
Ento, tomando o erro de truncamento em todo o intervalo [a, b] como a soma dos
erros de cada trapzio, temos:
ETn ET1 ET2 ET3 ... ETn

f ( ) h 3 f ( ) h 3 f ( ) h3 f ( )h 3
ETn ...
12 12 12 12
f ( ) h 3 n
ETn
12
(b a)
Como n , e tomando o majorante de f ( ) , em valor absoluto, temos
h
Max | f ( x) | 2
ETn Max h (b a) com x [a, b] .
12

Exemplo 8.2: Determine o n mnimo para que o erro de truncamento mximo seja
6
1
menor que 106 ao efetuar I dx pelo mtodo dos Trapzios.
1
1 x
Soluo:

Temos f ( x) 1 x
1
f ( x ) (1 x) 2 f ( x) 2(1 x)3

M max | f ( x) | f (1) 2 0.25


x[1,6] 8
Aplicando a eq. (2), temos
h2 * 5 * 0.25
106 h 0.0030984
12
409
n (6 1) 1613.7 , tomando o prximo inteiro temos n 1614 .
h
recomendado utilizarmos n como potncia de 2, para obter valores de h exatos,
na base decimal e binria, e portanto valores de xi com mais preciso.

A aproximao Tn da integral I Exemplo 8.2 obtida pelo mtodo dos trapzios com

n 1614 subdivises do intervalo [1, 6] em preciso simples de 8 dgitos

significativos Tn 1.25276315 , integral exata I 1.25276297 , Erro exato = 1.8 *107 ,

ou seja, com Erro de truncamento inferior 106 .


Para calcular o Erro Total, sobre o valor da integral aproximada Tn , determinando

tambm a influencia dos Erros de Arredondamento, podemos obter o mesmo Tn* ,

com preciso de 16 dgitos significativos, com o mesmo nmero n 1614 de


subdivises, portanto com o mesmo Erro de Truncamento. Podemos calcular
tambm o Erro Total Exato | Tn I e | e o Erro Estimado | Tn T2 n | , ambos usando
preciso de 16 dgitos significativos.
Devemos notar que o teorema 1, quando utilizado com n , pode ser
invlido quando aplicado com preciso finita, pois os arredondamentos podem se
acumular e desestabilizar os resultados, nestes caso existe um n limite timo onde
se consegue o resultado com menor erro total, mas que no conhecido
previamente. Para comprovar esta situao, vamos efetuar por Trapzios a integral
do Exemplo 8.2 aumentando sucessivamente o valor do n e avaliando o
comportamento dos resultados obtidos. Os testes foram feitos na linguagem C, com
variveis de 32 e 64 bits resultando em:

Para n 1614 :
Em preciso de 8 dgitos significativos Tn 1.25276315

Em preciso de 16 dgitos significativos Tn* 1.25276315211032

Erro estimado sobre Tn 1.3 * 10 7 (Erro estimado compara Tn com T2n )

Erro exato sobre Tn 1.8 * 10 7 (Erro exato compara Tn com Ie )

Para n 2048 :
Em preciso de 8 dgitos significativos Tn 1.25276329

Em preciso de 16 dgitos significativos Tn* 1.25276308253485

410
Erro estimado sobre Tn 8.5 * 10 8

Erro exato sobre Tn 2.8 * 10 8 (arredondamentos no influenciam Tn )

Para n 4096 :
Em preciso de 8 dgitos significativos Tn 1.25276327

Em preciso de 16 dgitos significativos Tn* =1.2527629970052434

Erro estimado sobre Tn 2.7 * 10 7

Erro exato sobre Tn 3.0 * 10 7 (arredondamentos comeam influenciar Tn )

Para n 32768 :
Em preciso de 8 dgitos significativos Tn 1.252762675

Em preciso de 16 dgitos significativos Tn* 1.2527629689408351

Erro estimado sobre Tn 2.9 * 10 7

Erro exato total sobre Tn 2.9 * 10 7

Para n 65536 :
Em preciso de 8 dgitos significativos Tn 1.25275445

Em preciso de 16 dgitos significativos Tn* 1.2527629686067425

Erro estimado sobre Tn 8.5 * 10 6

Erro exato total sobre Tn 8.5 * 10 6 (arredondamentos alteram resultados).

Para n 131072 :
Em preciso de 8 dgitos significativos Tn 1.25279605

Em preciso de 16 dgitos significativos Tn* 1.252762968523208

Erro estimado sobre Tn 3.3 * 10 5

Erro exato total sobre Tn 3.3 * 10 5 (arredondamentos alteram resultados)

Para n 262144 :
Em preciso de 8 dgitos significativos Tn 1.25270736

Em preciso de 16 dgitos significativos Tn* 1.2527629685023201

411
Erro estimado sobre Tn 5.6 * 10 5

Erro exato total sobre Tn 5.6 * 10 5 (arredondamentos alteram resultados)

Para n 4194304 :
Em preciso de 8 dgitos significativos Tn 1.274151683

Em preciso de 16 dgitos significativos Tn* 1.2527629684954742

Erro estimado sobre Tn 2.1 * 10 2

Erro exato total sobre Tn 2.1 * 10 2 (resultados alterados drasticamente)

Obs.: Em preciso de 16 dgitos os erros de arredondamento influenciam muito


menos como podemos ver a seguir:
- Erro exato sobre Tn* calculado com n 1614 e preciso 16 dgitos 1.7 *107 (menor

106 );
- Erro exato sobre Tn* calculado com n 4194304 e preciso 16 dgitos 1.1 *1013 .

Percebe-se que existe um n limite timo, que nesse caso em torno de


n 2048 , onde ocorrem os menores erros, no caso de clculos com preciso de 8
dgitos.
Se aumentamos o valor de n , alm de 1614 , reduzimos os erros de
truncamento para valores menores que 106 , mas aumentamos o erro de
arredondamento acumulado.
Para se contornar este problema podemos efetuar algumas aproximaes
para Tn , com diferentes valores de n , e analisar a tendncia de evoluo dos

resultados do mtodo dos Trapzios via extrapolao de Tn .

Uma forma de anlise pode ser efetuada atravs da extrapolao para o


limite de Romberg, que consiste em:
1
i) Efetuar k aproximaes iniciais por Trapzios Ti ( j 1 ), com sucessivos
i 1
espaamentos hi , iniciando por h1 h e sendo reduzidos pela metade hi h 2 a

cada aproximao i , obtendo respectivamente T11 , T21 , , Tk1 , para i 1, ..., k ;

ii) Gerar as j aproximaes por extrapolao

412
4 j 1Ti j 1 Ti j11
Ti j (3)
4 j 1 1
para j 2,3,..., k e i j, ..., k .
Da resulta o:
b

f ( x)dx .
k
Teorema (Romberg): lim Ti
k a

e dx por Trapzios e Romberg, com k 5 aproximaes,


x
Exemplo 8.3: Efetuar
0

iniciando com, h 0.25 ( n 4 subintervalos) e preciso de 16 dgitos.

Soluo:
Aplicando a eq. (2), inicialmente com n 4 ( h 0.25 ), para gerar a primeira coluna
de resultados e a eq.(3) para gerar os elementos das demais colunas, resulta:

j
hi 1 2 3 4 5
i
1 h /1 1.727221904557517

2 h/2 1.720518592164302 1.718284154699897

3 h/4 1.718841128579994 1.718281974051892 1.718281828675358

4 h/8 1.718421660316327 1.718281837561771 1.718281828462430 1.718281828459050

5 h / 16 1.718316786850094 1.718281829028016 1.718281828459099 1.718281828459046 1.718281828459046

Como os ltimos resultados extrapolados so iguais, ento


T55 1.718281828459046 o valor da integral com preciso de 16 dgitos, que o

prprio valor exato I e e 1 .


1

No Caderno de Algoritmos temos o arquivo Cap8exem8.3TnRomberg.m com


o Algoritmo de Romberg.

A seguir, apresentaremos um mtodo que, em geral, fornece resultados mais


exatos que o mtodo dos Trapzios para uma mesma quantidade de avaliaes da
integranda.

8.1.2. Mtodo de Simpson


413
No mtodo dos Trapzios usamos dois pontos sucessivos para interpolar a
integranda com uma reta. No mtodo de Simpson usaremos trs pontos sucessivos
para interpolar y f ( x) por uma parbola P2 ( x) , conforme Grfico 8.3.

Grfico 8.3 Integral de f ( x) entre a e b aproximada por Simpson, com reas Ai a

cada dois sub-intervalos [ xi 1 , xi 1 ] .

Fonte: Elaborao prpria

b
Para efetuar I f ( x )dx por Simpson procede-se da seguinte maneira:
a

ba
1) Dividir [a, b] em n (inteiro par) partes iguais de comprimento h ;
n
2) Para cada trs pontos sucessivos, ( xi 1 , yi 1 ) , ( xi , yi ) e ( xi 1 , yi 1 ) , igualmente

espaados com intervalo h ( xi xi 1 ) ( xi 1 xi ) , obter seu nico polinmio


interpolador, por exemplo por Newton com diferenas finitas ascendentes, conforme
segue:
yi 1 ( x xi 1 ) 2 yi 1 ( x xi 1 )( x xi )
P2 ( x) yi 1
1!h1 2!h * h
como yi 1 ( yi yi 1 )

2 yi1 1 yi 1 yi1 ( yi1 yi ) ( yi yi1) ( yi1 2yi yi1)

Substituindo x por t normalizado por h , onde


( x xi 1 )
t e
h

414
( x xi 1 ) ( x ( xi 1 h)) ( x xi )
(t 1) 1
h h h
yi 1 (t ) 2 yi 1 (t )(t 1)
Teremos P2 (t ) yi 1
1! 2!
3o) Pelo Teorema Fundamental do Clculo, integrando o interpolador polinomial
P2 (t ) teremos uma rea Ai para cada dois sub-intervalos [ xi 1 , xi 1 ] .
xi 1 2
Ai
xi 1
P2 ( x ) dx P2 (t ) hdt
0

Pois, x xi 1 t 0 , x xi 1 t 2 e dx h * dt .

Substituindo P2 (t ) em Ai teremos,
2 2
y (t ) 2 yi 1 (t )(t 1)
Ai P2 (t ) hdt yi 1 i 1 hdt
0 0
1! 2!

Assim,
2
y
2
2 yi 1 2
Ai h yi 1 dt i 1 tdt (t )(t 1)dt
0
1! 0 2! 0
yi 1 t 2
2
2 yi 1 t 3 t 2
2

Ai h yi 1 t 0
2

1! 2 0 2! 3 2 0

substituindo os valores das diferenas finitas ascendentes, teremos:


y yi 1 yi 1 2 yi yi 1 2 2
3 2
Ai h yi 1 2 i 2

1! 2! 3 2

h
Ai yi 1 4 yi yi 1
3

4o) Ento, a rea total Sn dada pela soma de todas as reas Ai , i 2, 4,..., n :

h h h
Sn y1 4 y2 y3 y3 4 y4 y5 yn1 4 yn yn1
3 3 3
h
Sn y1 yn 1 4 y2 y4 yn 2 y3 y5 yn1
3

h n ( passo 2) n 1( passo 2)
Sn y1 4 yi 2 yi yn 1 (4)
3 i 2

i 3

ndices pares ndices mpares

415
Esta a frmula de Simpson para clculo aproximado da integral definida,
b
I f ( x )dx S n .
a

3
Exemplo 8.4: Efetue por Simpson I f ( x )dx , onde f ( x) uma funo discreta,
0

conforme tabela numerica a seguir:

i 1 2 3 4 5 6 7

xi 0.0 0.5 1.0 1.5 2.0 2.5 3.0


yi f ( xi ) 4 6 7.5 8 5 3 2

Soluo:
Temos: h xi 1 xi 0.5 ; n 6 (par)
Aplicando a eq. (4), temos
0.5
Sn (4 2) 4(6 8 3) 2(7.5 5) 16.5
3
3
Logo, I f ( x )dx 16.5
0

Consideraes:

1a) Simpson, via de regra, fornece resultados mais precisos que Trapzios para um
mesmo n . Novamente exige uma estimativa para n mnimo, pelos mesmos motivos
do Trapzios.
2a) Para se determinar um n mnimo pode-se

(i) tomar o limite superior do truncamento de Simpson, que dado por:


h4 (b a) f iv ( )
ESn , [ a, b]
180

E utilizar o majorante da f iv ( x ) em [a, b] , resultando em:

h4 (b a)M
ESn Max , onde M max f iv ( x) (5)
180 x[ a ,b ]

416
(ii) pode-se tambm melhorar os resultados atravs de tentativas sucessivas (com
hnovo hvelho / 2 ) e analisar o comportamento dos resultados;

(iii) Como no existe uma extrapolao especfica para o mtodo de Simpson,


podem ser aplicadas extrapolao genricas, como a de Richardson ou de Aitken.
Porm, estas extrapolaes normalmente contribuem menos que o refino direto do
espaamento h .

Exemplo 8.5: Determine o n mnimo para no cometer erro superior 106 ao se


6
efetuar por Simpson a I (1 x) 1 dx .
1

Soluo:
Como
f ( x) (1 x) 1 f ( x) (1)(1 x) 2

f ( x ) (1)(2)(1 x)3 f ( x ) (1)(2)( 3)(1 x) 4

f iv ( x) (1)(2)(3)(4)(1 x)5
24
f iv ( x ) 4!(1 x ) 5 f ( x) 0.75
iv

(1 1)5
Aplicando na eq. (5)

h4 (5)0.75
6
10 h 0.0832358
180
5
n 60.07028... n 60 (recomenda-se usar n 64 26 )
h
Obs.: Destacamos que, conforme resultado do exemplo 8.2, para esta mesma
integral, o mtodo dos Trapzios demanda um n 1614 .

Consideraes sobre os mtodos de Newton-Cotes

Os mtodos de Newton-Cotes, apesar de serem conceitualmente simples,


podem exigir alto volume de operaes aritmticas em muitas integrais, mesmo se
utilizarmos os aceleradores de Romberg, Richardson ou Aitken. Alm disso, por
necessitarem dos valores de f (a) e f (b) , no so aplicveis em integrais
imprprias com descontinuidades nos extremos do intervalo de integrao, ou com
417
extremos infinitos do tipo:
b


a

-

Na sequncia, vamos apresentar uma metodologia de integrao


numrica que supre estas deficincias dos mtodos Newtonianos.

8.2 Integrao Numrica Gaussiana ou Quadratura Gaussiana

a
Considere que desejamos obter numericamente uma I f ( x )dx hipottica
b

efetuando apenas dois clculos de valores da integranda y f ( x) . Por


consequncia, s nos resta aplicarmos um nico Trapzio, passando uma nica reta
pelos extremos [a, b] do intervalo e admitir um erro de truncamento muito elevado,
como o erro destacadao em cinza no exemplo da Grfico 8.4.

Grfico 8.4 Erro da aproximao T1 por Trapzios com m 2 pontos ( n 1 )

Fonte: Elaborao prpria

O desafio fundamental , se mantidos apenas os clculos de valores da


y f ( x) em m 2 pontos, seria possvel diminuir o erro de truncamento gerado pelo
mtodo dos trapzios da Grfico 8.4. A resposta de Gauss para esta questo
positiva, desde que a determinao dos dois valores funcionais que definiro a reta
aproximadora no sejam fixados nos extremos do intervalo [a, b] , mas em pontos

418
internos adequadamente escolhidos ( x1 e x2 ), como os da Grfico 8.5 a seguir.

Grfico 8.5 Erro da aproximao G2 por Gauss-Legendre com m 2 pontos

Fonte: Elaborao prpria

Observe que a reta aproximadora tracejada, proposta por Gauss-Legendre na


Grfico 8.5, compensa os erros, pois em parte a sua integrao G2 gera valores a

mais (destacados com +) e em parte gera valores a menos (destacados com -), de
modo que a soma deste erros EG2 seja bem menor que o erro gerado no mtodo

dos Trapzios ET1 , ambos obtidos com m 2 pontos.


a
Na quadratura Gaussiana os mtodos de integrao de I f ( x )dx so
b

desenvolvidos de modo a se obter resultados exatos quando as integrandas forem


substitudas por polinmios de grau m crescente e no devido a subdiviso do
domnio [a, b] em partes iguais com polinmios de grau fixo, como feito nos
mtodos Newtonianos.
Inicialmente, vamos padronizar o domnio de integrao [a, b] fixando-o em
[1, +1] atravs da conhecida mudana de variveis:

x(t ) ((b a) 2)t ((b a) 2) dx ((b a) 2)dt

Da,

419
b 1
I f ( x ) dx (b a ) 2 f ((b a ) 2)t ((b a ) 2) dt (5)
a 1

g (t )

E por consequncia, os mtodos Gaussianos so aplicados em integrais


1
normalizadas g (t )dt
1
e o resultado final multiplicado pelo fator (b a ) 2 para se

b
obter I f ( x )dx .
a

A seguir desenvolveremos dois mtodos tpicos de quadratura Gaussiana.

8.2.1- Mtodo de Gauss-Legendre

Da soma de Riemann, aplicada no intervalo [1, +1] , temos que

1 m
I g (t ) dt C( m,k ) g t( m ,k ) Gm (6)
1 k 1

onde os 2m parmetros indeterminados C( m , k ) e t( m , k ) so denominados

respectivamente de pesos e ns, e no mtodo de Gauss-Legendre so obtidos de


modo que a Gm fornea resultados exatos para a I quando a integranda

g (t ) f ( x(t )) for um polinmio de grau at 2 m 1 . Para tanto, foramos a integrao

de 2m monmios {1, t , t 2 , ... , t 2 m 1} , via eq. (6), de modo que Gm seja exata.
1 m
Assim, g (t )dt C ( m ,k ) g t( m,k ) , com g (t ) t i , para i 0,1, 2,..., 2m 1
1 k 1

resultam as seguintes equaes:

420
1 m

1 * dt C( m, k ) g t( m,k ) 2 C( m,1) * 1 C( m,2) *1 C( m,m) * 1


1 k 1

1 m
t dt C( m,k ) g t( m,k ) 0 C( m,1)t( m,1) C( m,2)t( m,2) C( m,m )t( m,m )
1 k 1
1 m

( m , k ) ( m , k ) 2 / 3 C( m ,1) (t( m ,1) ) C( m ,2) (t( m ,2) ) C( m , m ) (t( m , m ) )


t 2 dt C g t

k 1
2 2 2

11
3 m

t dt C( m,k ) g t( m,k ) 0 C( m,1) (t( m,1) ) C( m,2) (t( m,2) ) C( m,m ) (t( m,m ) )
3 3 3

1 k 1
(7)
1
2 m2 m

t dt C( m ,k ) g t( m,k ) 2 / (2m 1) C( m,1) (t( m,1) )2 m2 C( m,2) (t( m,2) ) 2 m 2 C( m,m ) (t( m,m) )2 m2
1 k 1

1 m
t 2 m1dt C( m,k ) g t( m,k ) 0 C( m,1) (t( m,1) ) 2 m 1 C( m,2) (t( m,2) ) 2 m 1 C( m,m ) (t( m,m ) ) 2 m1
1 k 1

Este sistema de equaes no lineares de ordem 2m e cuja soluo, de


grande dificuldade para ser obtida, fornece os parmetros C( m , k ) e t( m , k ) . Por

exemplo, para m 2 a expresso (7) torna-se:

C(2,1) (t(2,1) )0 C(2,2) (t(2,2) )0 2 /1

C(2,1) (t(2,1) ) C(2,2) (t(2,2) ) 0


1 1


C(2,1) (t(2,1) ) C(2,2) (t(2,2) ) 2 / 3
2 2


C(2,1) (t(2,1) ) C(2,2) (t(2,2) ) 0
3 3

A soluo do sistema anterior pelo mtodo de Newton, apresentado no captulo 4,


fornece (em double):

C (2,1) 1.00000000 e t(2,1) 0.577350269189626

C( 2,2) 1.00000000 e t(2,2) 0.577350269189626

Generalizando a integrao numrica de Gauss-Legendre para o intervalo [a, b] ,


b
I f ( x )dx , aplicamos a eq. (6) na eq. (5), para gerar a aproximao Gm :
a

b 1
I f ( x )dx (b a) 2 f ( x (t )) dt Gm


a 1 g (t )

onde
421
m
Gm (b a ) 2 C( m , k ) f ( x (t( m ,k ) )) (8)
k 1
g (t )

1
Exemplo 8.6: Determine I e x dx pelo mtodo de Gauss-Legendre com m 2
0

pontos.

Soluo:
Aplicando diretamente a eq. (8) com a 0 e b 1 resulta:

m t( m , k ) C( m , k )

2 t(2,1) 1 3 C(2,1) 1

t(2,2) 1 3 C (2,2) 1

m m
Gm ((b a ) 2) C( m , k ) f xk ((b a ) 2) C( m , k ) yk
k 1 k 1

k t( m , k ) xk ((b a) 2)t( m ,k ) ((b a ) 2) yk f ( xk )

1 1 3 0.211324865405187 1.23531360053585

2 1 3 0.788675134594813 2.20047915547916

Gm ((b a ) 2) C(2,1) f x1 C(2,2) f x2

1 0
Gm 1*1.23531360053585 1 * 2.20047915547916
2
I G m 1.71789637800750
1
I e 1.71828182845905 (Integral Exata I e e x )
0

Na tabela 8.1 abaixo esto listados os valores de t( m , k ) e C( m , k ) , para m 1 at 10,

obtidos resolvendo o sistema no linear (7), em preciso double.

Tabela 8.1 Valores de t( m , k ) e C( m , k ) para integrao de Gauss-Legendre

422
m
t( m ,k ) C( m , k )
1 0 2
2 1 3 1
3 0 8/9
35 5/9
4 0.3399810435848562648 0.65214515486254614263
0.8611363115940525752 0.34785484513745385737
5 0.00000000000000000000 128/225
0.53846931010568309104 0.47862867049936646804
0.90617984593866399280 0.23692688505618908751
6 0.23861918608319690863 0.46791393457269104739
0.66120938646626451366 0.36076157304813860757
0.93246951420315202781 0.17132449237917034504
7 0.00000000000000000000 512/1225
0.40584515137739716691 0.38183005050511894495
0.74153118559939443986 0.27970539148927666790
0.94910791234275852453 0.129484966168869693271
8 0.183434642495650 0.362683783378369
0.525532409916329 0.313706645877885
0.796666477413627 0.222381034453374
0.960289856497536 0.101228536290377
9 0 0.330239355001305
0.324253423403809 0.312347077039964
0.613371432700591 0.260610696402964
0.836031107326639 0.180648160694839
0.968160239507622 0.0812743883615805
10 0.148874338981631 0.295524224714756
0.433395394129247 0.269266719309977
0.679409568299024 0.219086362516008
0.865063366688989 0.149451349150562
0.973906528517168 0.0666713443086937

Para fins didticos apresentamos a tabela 8.2 com preciso de calculadoras


cientficas.

Tabela 8.2 Valores de t( m , k ) e C( m , k ) para integrao de Gauss-Legendre, com

preciso de calculadoras e m 1 at 5.

m t( m , k ) C( m , k )
1 t1 0 C1 2
2
t1 3
1
C1 1
1 C1 1
t2 3

423
3 t1 3/ 5 C1 5 9
t2 0 C2 8 9
C3 5 9
t3 3/ 5
4 t1 0.861136312 C1 0.347854845
t2 0.339981044 C2 0.652145155
t3 0.339981044 C3 0.652145155
t4 0.861136312 C4 0.347854845
5 t1 0.906179846 C1 0.236926885
t2 0.538469310 C2 0.478628670
t3 0 C3 0.568888889
t4 0.538469310 C4 0.478628670
t5 0.906179846 C5 0.236926885

DESTAQUE Os valores dos m ns t( m , k ) so as razes dos polinmios ortogonais

de Legendre de grau m (Applied Numerical Methods, Brice Carnahan, H.A. Luther


and James O. Wilkes, Wiley, 1990), distribudas simetricamente no intervalo
normalizado [1, +1] . Assim, obtidos os valores de t( m , k ) , via determinao das

razes dos polinmios ortogonais de Legendre de grau m


(https://pt.wikipedia.org/wiki/Polin%C3%B4mios_de_Legendre), o sistema (7), de 2m
equaes, torna-se linear e permite a obteno dos m valores dos pesos C( m , k )

usando as suas primeiras m equaes.FIMDESTAQUE

LINK Os polinmios de Legendre podem ser obtidos genericamente para qualquer


grau m (n 1) atravs de relaes de recorrncia, partindo de dois polinmios

conhecidos de graus inferiores, Pn ( x ) e Pn 1 ( x) , conforme relaes:

Pn 1 ( x) ((2n 1) * x * Pn ( x) n * Pn 1 ( x)) / (n 1)

Para obter os coeficientes temos as seguintes recorrncias, para cada grau n :


- grau n 1 a( n ,1) 0 ; a( n ,2) 0 ; ( p1 0 1x )

- grau n 2 a( n ,1) 1 / 2 ; a( n ,2) 0 ; a( n ,3) 3 / 2 ; ( p2 1 0 x 3 x 2 )

- graus n 3,4,, m
k 0 a( n ,k 1) (1 n) / n * a( n 2, k 1)

k 1: n 2 a( n ,k 1) (1 n ) / n * a( n 2,k 1) (2 * n 1) / n * a( n 1, k 11)

k n 1 a( n , k 1) (2 * n 1) / n * a( n 1,k )

424
k n a( n ,k 1) (2 * n 1) / n * a( n 1, k 11)

onde
Pn ( x ) a( n ,1) a( n ,2) x a( n ,3) x 2 a( n , n 1) x n

FIMLINK

No Caderno de Algoritmos voc encontra o clculo dos valores de t( m , k ) e C( m , k ) para

qualquer m no arquivo Cap8CalculoCoefGaussLegendre.m.

Por ltimo, pode-se provar, utilizando o Teorema do Valor Mdio para


integrais, que o limite do erro de truncamento EGm da integrao numrica de

Gauss-Legendre, utilizando a integranda original f ( x) , dado por

2 m1 (m!)4
EGm (b a) Max f (2m) ( x) , x [a, b] (9)
(2m 1)[(2m)!]3

lim EGm 0
m

Exemplo 8.7: Determine o nmero de pontos m mnimo para que o erro de


6
truncamento mximo entre a integral exata I (1 x)1 dx e a aproximao por
1

Gauss-Legendre Gm seja da ordem de O(106 ) .

Soluo:
Derivando a integranda resulta que:

f ( x) (1 x)1 , f ( x) (1) 1 x , f ( x) (1)(2) 1 x


2 3

f ( x) (1)(2)(3) 1 x
4

f (4) ( x) (1)(2)(3)(4) 1 x
5

generalizando para derivada de ordem k temos

f ( k ) ( x) 1 k !1 x
k ( k 1)

Agora vamos calcular o erro requerido EGm da ordem de O(106 ) por tentativas

iniciando com m 6 e usando a expresso (8), temos :

425
12!
Max f (2m) f (12) 1 (1)12 58472
(1 1)(121)

2*61 (6!)4
EGm (6 1) Max f (2m) ( x) 0.01342557
(2 * 6 1)[(2 * 6)!]3

Para m 10 :
20!
Max f (2m) f 20 1 (1)20 (201)
1.1601*1012
(1 1)

(10!)4
EGm (6 1)2*101 Max f (2m) ( x) 0.00031719
(2 *10 1)[(2 *10)!]3

Para m 16 :
32!
Max f ( 2 m ) f (32) 1 ( 1)32 3.06325 * 10 25
(1 1) (32 1)

(16!) 4
EG m (6 1)2*161 Max f (2 m ) ( x) 1.13669 * 1006
(2 * 16 1)[(2 * 16)!]3

Portanto, so necessrios m 16 pontos no mtodo de Gauss-Legendre para esta


integral, enquanto que nos mtodos de Simpson e Trapzios necessitamos de
n 60 e n 1614 subdivises do intervalo [a, b] , equivalente a usar 61 e 1615
pontos, respectivamente.

6
1
Exemplo 8.8: Determine I dx pelo mtodo de Gauss-Legendre com m 3
1
1 x
pontos. Calcule o seu erro exato. Determine e plote o polinmio de grau n m 1 2 ,
que passa sobre os 3 pontos internos ( xk , yk ) do mtodo e compare a integrao I P2

deste polinmio Pm 1 com o resultado da integrao pelo mtodo de Gauss Legendre

G3 .

Soluo:
Aplicando diretamente a eq. (8) com a 1 e b 6 resulta:
m t( m , k ) C( m , k )

426
t1 3/ 5 C1 5
9

3 t2 0 C2 8
9

t3 3/ 5 C3 5
9

m m
Gm ((b a ) 2) C( m , k ) f xk ((b a ) 2) C( m , k ) yk
k 1 k 1

k t( m , k ) xk ((b a) 2)t( m ,k ) ((b a ) 2) yk f ( xk )

1 3/ 5 1.563508325 0.390090404719087

2 0 3.5 0.222222222222222

3 3/ 5 5.436491675 0.155364140978245

G3
b a C f x1 C(3,2) f x2 C(3,3) f x3
2 (3,1)

6 1
G3 5 9 * 0.390090404719087 8 9 * 0.222222222222222 5 9 * 0.155364140978245
2
6 1
G3 0.216716891510604 0.197530864197531 0.086313411654580545
2

6 1
G3 0.50056116736271645
2
I G3 1.25140291840679

I e 1.25276296849537 (Integral Exata I e ln 1 x 1 )


6

Erro G3 G3 Ie 0.00136005042578313 (erro exato da ordem de O(103 ) ).

Grfico 8.6 Comparativo da funo integranda f ( x) e da funo aproximadora

P2 ( x) fixada nos m 3 pontos definidos no mtodo de Gauss-Legendre.

427
Fonte: Elaborao prpria

Se determinarmos o polinmio de grau n m 1 2 , que passa sobre os 3 pontos


( xk , yk ) , teremos:

P2 ( x ) 0.5993265993265994 0.1548821548821549 x 0.0134680134680135 x 2

e se integrarmos este polinmio P2 ( x) entre a 1 e b 6 , teremos I P2 a seguir,


b
I P2 P2 ( x ) dx
a
6
I P2 (0.5993265993265993 0.1548821548821548 x 0.0134680134680135 x 2 )dx
1

I P2 1.25140291806958 que equivalente a G3 1.25140291806958

Observe que a integrao efetuada pelo Mtodo de Gauss-Legendre G3 tem

exatamente o mesmo resultado da integrao I P2 do polinmio P2 Pn m 1 ( x) , que

passa sobre os m pontos internos utilizados pelo mtodo de Gauss-Legendre.

Consideraes:

i) Observando a expresso do erro de Gauss-Legendre, comparado com o erro do


mtodo de Simpson para o mesmo nmero de chamadas da funo, nota-se que
428
Gauss mais preciso;
ii) Pelas suas caractersticas, Gauss-Legendre numericamente mais estvel que os
mtodos de Newton, uma vez que a quantidade de parmetros t( m , k ) e C( m , k )

limitada e no vai acumular arredondamentos;


iii) Gauss-Legendre no aplicvel se a integranda y f ( x) for uma tabela de
pontos discretos;
iv) Gauss-Legendre fornece resultados pobres se y f ( x) possuir descontinuidades
em [a, b] , como ocorre no Ex. 8.9.
3 2 3
dx dx dx
Exemplo 8.9: do Clculo sabemos que a igualdade I
1
2 x 1 2 x 2 2 x
sempre vlida. Verifique que ao efetuar estas 3 integrais por Gauss-Legendre at
m 7 , a igualdade terica no mais verdadeira, devido ao ponto de singularidade
em x 2 no intervalo [1, 3] .
Soluo
Aplicando a eq.(8) resulta:
m 3
dx
2
dx
3
dx
1 2 x 1 2 x 2 2 x
2 3 -2.22044604925031e-15
3 Inf 0
4 8.88178419700125e-16 -7.99360577730113e-15
5 Inf -8.88178419700125e-16
6 -1.38777878078145e-15 -1.77635683940025e-15
7 Inf 8.88178419700125e-16
(usando o algoritmo apresentado no Octave)
3
dx
Observe que a integral 2 x ,
1
aproximada por Gauss-Legendre, gera valores

inconsistentes, conforme o m utilizado (com m impar gera valor infinito), por conter
um ponto de singularidade dentro do intervalo.
J se o ponto de singularidade esta localizado em algum extremo, como nas
integrais particionadas, antes e depois da descontinuidade, pode-se aplicar o
mtodo de Gauss-Legendre e obter um resultado, neste caso exato, j a partir de
2 3
dx dx
m 2 . Estas integraes separadas 1 2 x e 2 x
2
geram valores aproximados

429
finitos e iguais, ento a soma destas duas partes geram o resultado exato.
Pode-se verificar analiticamente que o valor exato desta integral zero pois em
2 3
dx dx
I 0 a rea positiva entre a 1 e b2 se compensa
1
2 x 2 2 x
completamente com a rea negativa entre b 2 e c 3 .

v) Gauss-Legendre de natureza aberta, isto , a integranda no avaliada nos


extremos a e b . Em decorrncia disso este mtodo pode ser aplicado em integrais
b
imprprias, onde a I f ( x )dx possui descontinuidades em a e/ou b , ou ainda a
a

e/ou b podem ser infinito(s).

1
Exemplo 8.10: Efetue I ln( x )dx por Gauss-Legendre com m 3 . Compare o
0

resultado obtido com o valor exato de I e 1 .

Soluo:
Aplicando a eq. (8) com m 3 , teremos:

Gm 0.94767237 Erro Gm | 0.94767237 ( 1) | 0.05232763

Se algum(ns) extremos(s) for(em) infinito(s):



v.i). Se um extremo for , I f ( x )dx , aplicamos a transformao de variveis:
a

u 1/ x x 1
u dx 1
u2
du com [ a , ) [ 1 a , 0]

1
0
f (u ) a
f (u )
Resultando em f ( x)dx
a 1/ a
u 2
du 2 du
0
u

Que uma integral imprpria com descontinuidade no extremo 1 0 , mas o


mtodo pode ser aplicado como no exemplo anterior.

v.ii). Se um extremo for e o outro for a 0 , o mtodo tambm pode ser aplicado
subdividindo o intervalo de integrao original em duas partes, por exemplo:

430
1


0

0 1

v.iii). Se os dois extremos forem , podemos subdividir em 2 partes, e ento as


duas integrais recaem nos casos anteriores:

a a



f ( x)dx

f ( x) dx a
f ( x)dx f ( x)dx


a
f ( x)dx f ( x)dx
a

a
f ( x)dx

A seguir, apresentaremos um mtodo Gaussiano de integrao, cujo


propsito especfico a determinao otimizada dos coeficientes das sries
aproximadoras de funes usando polinmios de Tchebyschev, conforme visto no
captulo 6.

8.2.2. Mtodo Gauss-Tchebyshev

A maneira de determinamos os parmetros do mtodo de Gauss-Legendre


pode ser utilizada para gerar outros mtodos de integrao com propsitos
1
f ( x)
especficos. Por exemplo, para uma integral particular do tipo I
1 1 x2
dx , onde a

f ( x) uma funo simples e bem comportada, nenhum dos mtodos de Newton-


Cotes poder ser utilizado devido s decontinuidades em -1 e 1. J o mtodo de
Gauss-Legendre poder no ser eficiente (vide Exemplo 8.11). Por consequncia,
vamos propor uma integrao numrica na forma

1 m
f ( x)
dx GTm a j f ( x j ) (10)
1 1 x2 j 1

Onde na parte direita da (10) foi usada apenas a parcela bem comportada f ( x) da

integranda f ( x) 1 x 2 . Pode-se demonstrar que impondo a condio de que a


GTm seja exata para integrar polinmios de grau at 2 m 1 , resulta nos seguintes

valores para os pesos a j e os ns x j que so as razes do polinmio de

Tchebyshev de grau m (James S. Vandergraft, 1983):

431
aj / m

2 j 1
x j cos , j 1, 2,..., m .
2 m
Ento

m 2 j 1
GTm f (11)
m j 1 2m

Lembramos que as razes do polinmio de Tchebychev de grau m , j foram


abordadas no Captulo 6, onde utilizamos esta forma de integrao , denominada de
mtodo de Gauss-Tchebyshev, para determinar os coeficientes da srie
Tchebyshev.
O erro de truncamento da eq. (11) pode ser estimado atravs da seguinte
equao:

Rm f (2 m ) ( ), -1 1 (12)
(2m)!2 2 m 1

A seguir, apresentaremos um exemplo de integrao pelo mtodo de Gauss-


Tchebyshev.

1
x sen( x)
Exemplo 8.11: Determine o valor da integral I
1 1 x2
dx por Gauss-Tchebyshev

e compare com os resultados de Gauss-Legendre. Efetue tentativas com m


crescente at o resultado atingir a preciso do processador utilizado.
Soluo:

Por Gauss-TChebyshev, aplicamos a eq. (11) apenas parcela f ( x ) x sen( x ) da

funo integranda (sem o fator peso 1 1 x 2 ), pois esta integrao GTm j

considera este fator. Para esta funo bem comportada, obtemos a convergncia da
integrao aproximada com m 8 ns.
Por Gauss-Legendre, devemos integrar a funo completa, com o fator peso
x sen( x)
f ( x) , mas os resultados ficam longe da convergncia para a soluo.
1 x2
Mesmo com m 10 , verifica-se a ineficincia do mtodo para esta integral com
descontinuidades em ambas extremidades.
432
Ento a integrao por Gauss-Tchebyshev a mais adequada, por considerar j no
mtodo este fator peso com descontinuidades nos extremos.
A seguir apresentamos os resultados at m 10 , obtidos pelo Gauss-Tchebyshev (
GTm ) e pelo Gauss-Legendre( Gm ):

m GTm Gm
2 1.44313043631812 0.771885702690283
3 1.38167976999193 0.951800774731612
4 1.38246439058891 1.05120156898943
5 1.38245967093080 1.11295823247018
6 1.38245968742174 1.15516336143599
7 1.38245968738411 1.18587293446304
8 1.38245968738417 1.20923821130433
9 1.38245968738417 1.22762077044289
10 1.38245968738417 1.24246518890738

Se integrarmos funes f ( x) no bem comportadas, com singularidades, teremos


que usar valores para o m muito elevados tambm para a integrao por Gauss-
Tchebyshev.

No Caderno de Algoritmos voc encontra os algoritmos do mtodo dos Trapzios,


Simpson e Gauss-Legendre no arquivo Cap8IntegraisTnSnGm.m e o algoritmo de
Gauss-Tchebychev no arquivo Cap8IntegralGaussTchebychev.m.

Consideraes finais:

i). Nenhum dos quatro mtodos de integrao numrica abordados neste captulo
deve ser descartado a priori, pois cada um deles poder ser o mais adequado,
conforme o tipo de integranda disponvel:
- o mtodo dos Trapzios ser o mais adequado para funes integrandas
com grfico tipo escada;
- o mtodo de Simpson indicado para funes integrandas discretas
(definidas por tabela de pontos);
- em geral, para funes integrandas com expresso conhecida, o mtodo de
Gauss-Legendre mais eficiente;

433
- a integrao numrica de Gauss-Tchebyshev tem aplicaes especficas e
deve ser utilizada quando a funo integranda j inclui o fator peso

W ( x) 1 1 x 2 na sua expresso original, como na determinao de


coeficientes da srie aproximadora de Tchebyshev utilizada no captulo 6.
ii). Na aplicao do mtodo de Gauss-Legendre caso se esgote a tabela de
parametros t( m , k ) e C( m , k ) disponvel e a preciso desejada ainda no tiver sido

atingida, pode-se adotar a composio de integrais


b b /2 b
I f ( x)dx f ( x)dx f ( x)dx e tentar atingir a preciso desejada efetuando
a a b /2

estas duas integrais com os m parmetros disponveis.

434