Ral guila Fumey

INTEGRACIN GAUSSIANA

En ocasiones el hecho de que los nodos, como en el caso de las formulas de
Newton Cotes sean equiespaciados producen algunos problemas en funciones
de comportamiento irregular. Una manera diferente de abordar el problema de
integracin son las formulas de cuadraturas Gaussianas. Estas aproximan
integrales del tipo:

=
b
a
dx x f x w f I ) ( ) ( ) (
Donde [ ] IR b a w , : , es una funcin peso que cumple con:
i) <

dx x x w
b
a
n
) (
ii) 0 ) ( ) ( =

b
a
dx x g x w , con g continua y no negativa en [ ] b a, , entonces 0 g en
[ ] b a,

El mtodo busca una formula de aproximacin ) ( f I
n
para ) ( f I , de la forma
) ( ) (
1
j
n
j
j n
x f a f I

=
=
Que sea exacta en el caso de que
m
P f (conjunto de polinomios de grado m),
el mayor m posible.

Si por ejemplo

n
j
j j
x f a dx x f
1
1
1
) ( ) ( , los nodos { }
n
j
j
x
1 =
y los pesos
{ }
n
j
j
a
1 =
( n 2 incgnitas ) se seleccionan de modo que el error:

=
n
j
j j
x f a dx x f f E
1
1
1
) ( ) ( ) (

sea cero en el caso que f sea un polinomio de grado m.

Por ejemplo para 1 = n , se tienen dos incgnitas
1 1
, a x , para determinarlas se
considera la base { } x , 1 para los polinomios de grado uno, as se tiene el
sistema:

0 1 ) 1 (
1
1
1
1
= =

a dx E 2
1
= a
0 ) (
1 1
1
1
1
= =

x a dx x x E 0
1 1
= x a
De donde obtiene 2
1
= a y 0
1
= x , con lo cual

) 0 ( 2 ) (
1
1
f dx x f

Corresponde a la formula del punto medio. Esta relacin es exacta hasta
polinomios de grado uno

Para 2 = n , se tienen las incgnitas
2 1
, x x y
2 1
, a a , se considera la base
{ }
3 2
, , , 1 x x x , que corresponde a la de los polinomios de grado tres, obtenemos
con ellos el sistema:
0 1 ) 1 (
2 1
1
1
= =

a a dx E
0 ) (
2 2 1 1
1
1
= =

x a x a dx x x E
0 ) (
2
2 2
2
1 1
1
1
2 2
= =

x a x a dx x x E
0 ) (
3
2 2
3
1 1
1
1
3 3
= =

x a x a dx x x E

Integrando se tiene el sistema:

0
3
2
0
2
3
2 2
3
1 1
2
2 2
2
1 1
2 2 1 1
2 1
= +
= +
= +
= +
x a x a
x a x a
x a x a
a a
1
2 1
= = a a y
3
3
1 2
= = x x

Luego
|
|

\
|
+
|
|

\
|

3
3
1
3
3
1 ) (
1
1
f f dx x f

Esta relacin es exacta hasta polinomios de grado tres.

Para evitar tener que resolver sistemas no lineales se usan polinomios
ortogonales, as entonces se tiene el siguiente teorema

TEOREMA
Sean { } IN n x p
n
/ ) ( polinomios ortogonales sobre [ ] b a, con respecto a
la funcin peso ) (x w . Entonces, para cada 1 n existe una nica formula de
integracin ) ( f I
n
de la forma
) ( ) (
1
j
n
j
j n
x f w f I

=
=
Que es exacta para cada
1 2

n
f cuyos nodos { }
j
x son los ceros de ) (x p
n
y
cuyos pesos { }
j
w estn dados por

) ( ) ( '
,
1 j n j n
n n n
j
x p x p
p p a
w
+

= , n j ,.... 2 , 1 = , ....... ) ( + =
n
n n
x b x p ,
n
n
n
b
b
a
1 +
= ,
Adems
) (
)! 2 (
,
) ( ) ( ) ( ) (
) 2 (
2
1

n
n
n n
j
b
a
n
j
j n
f
n b
p p
x f w dx x f x w f E = =

=
, b a < <


Resumen de cuadraturas gaussianas.

Gauss-Legendre.

En el intervalo [ ] 1 , 1
Funcin peso w ( x ) = 1

n
j
x
j
w
2 0.577350269189 1
3 0.774596669241
0
0.5555556
0.8888889
4 0.3399810435
0.8611363115
0.652145154865
0.347854845131


Gauss - Tchebyshev intervalo ( -1 , 1 ) peso
2
1
1
) (
x
x w

=



Los nodos
j
x son las races del polinomio de Tchebyshev de grado n

(

=
n
j x
j
2
) 1 2 ( cos

. En este caso
) ( ) (
1
1
1
1
1
2

n
j
j
x f
n
dx x f
x

n
j
x
j
w

2 0.7071067812 -

3 0.866025 -
0 -

4 0.92388 -
0.382683 -


Gauss - Laguerre. Intervalo ) , 0 ( peso
x
e x w

= ) (

Los nodos
j
x son los ceros del polinomio de Laguerre de grado n

n
j
x
j
w

2 0.5857864376 0.8535533905
3.4142135623 0.1464466094

3 0.4157745567 0.7110930099
2.2942803602 0.2785177335
6.2899450829 0.0103892565



Gauss - Hermite Intervalo ) , ( peso
2
) (
x
e x w

=

Los nodos
j
x son los ceros del polinomio de Hermite de grado n .


n
j
x
j
w


2 0.7071067811 0.8862269254


3 0 1.1816359006
1.2247448713 0.2954082551


4 0.5246476232 0.8049140900
1.6506801238 0.0813128354






UN PROBLEMA COMPLETO

Considere una lamina homognea encerrada entre 1 0 = = x y x y las
curvas ) ( ) ( x g y e x f y = = , g f < . Para la funcin f g q = . Se conocen los
siguientes datos:

i
x 0.06943185 0.33000948 0.66999052 0.93056816
) (
i i
x q q = 3.468195627 2.301203156 1.228324229 0.612658819

Se desea aproximar la coordenada x del centro de masa de la lmina.
Recuerde que la coordenada x del centro de masa es

=
1
0
1
0
) (
) (
dx x q
dx x xq
x .
Suponga adems que para la funcin ) (x g , se tiene la siguiente informacin

i
x xi = 0.06943185 0.33000948 0.66999052 0.93056816
) (
i i
x g g = 3.73169 2.875667 2.04685 1.57732

Se desea obtener una aproximacin ) ( * x p por mnimos cuadrados de
) (x g que sea cuadrtica. Verifique que ) (
2
x g es cercano al valor de la tabla y
prediga el valor para ) 5 . 0 ( g

SOLUCIN

Cambio de variable:
1 1 2 1 - 1 0 x x
2
1
1 2
+
= =
z
x x z , dz dx
2
1
=
Nodos de Legendre Pesos de Legendre

z1=2*x1-1 = -0.86113630000000 a1 = 0.34785500000000.

z2=2*x2-1 = -0.33998104000000 a2 = 0.65214500000000

z3=2*x3-1= 0.33998104000000 a3 = 0.65214500000000

z4=2*x4-1= 0.86113632000000 a4 = 0.34785500000000

dz
z
q dx x q


|

\
| +
=
1
1
1
0
2
1
2
1
) ( =0.5*(a1*q1+a2*q2+a3*q3+a4*q4)=1.860654303829
58
dz
z
q
z
dx x xq


|

\
| +
|

\
| +
=
1
1
1
0
2
1
2
1
2
1
) ( =0.5*(x1*a1*q1+x2*a2*q2+x3*a3*q3+x4*a4*
q4)
=0.65701393355492

por lo tanto = x 0.35310908222052

Para la aproximacin cuadrtica necesitamos calcular los momentos

dz
z
g
z
dx x g x k m mk
k
k


|

\
| +
|

\
| +
= = =
1
1
1
0
2
1
2
1
2
1
) ( ) ( 3 , 2 , 1 , 0 = k


m0=.5*(a1*g1+a2*g2+a3*g3+a4*g4)= 2.52938740175000

m1=0.5*(a1*x1*g1+a2*x2*g2+a3*x3*g3+a4*x4*g4)=
1.05702699231907

m2=0.5*(a1*x1^2*g1+a2*x2^2*g2+a3*x3^2*g3+a4*x4^2*g4) =
0.64241526487633

m3=0.5*(a1*x1^3*g1+a2*x2^3*g2+a3*x3^3*g3+a4*x4^3*g4) =
0.45571635384436

Aproximacin cuadrtica de Legendre: ) ( ) ( ) ( ) ( *
2 2 1 1 0 0
z p C z p C z p C z p + + =

con
1 2
2
) ( ), (
+
=
i
z p z g
C
i
i
donde ) ( ) ( x g z g =

52848 . 2 0 ) ( 2 ) (
2
1
) (
2
1
2
) ( ), ( 1
0
1
0
1
1
0
0
= = = = = =

m dx x g dx x g dz z g
z p z g
C

= = =
+
=

1
0
1
0
1
1
0
1
) ( ) 1 2 ( 3 2 ) ( ) 1 2 (
2
3
) (
2
3
1 1 * 2
2
) ( ), (
dx x g x dx x g x dz z g z
z p z g
C
24368 . 1 0 3 1 6
1
= = m m C , Anlogamente 2059 . 0 0 5 1 30 2 30
2
= + = m m m C

|

\
|
+ =
2
1
2
3
2050 . 0 24366 . 1 52849 . 2 ) ( *
2
z z z p

subs(p*,z1)= 3.73008716358241

subs(p*,z2)= 2.88487590770741

subs(p*,z3)=2.03764298512873

subs(p*,z4) =1.58413505697121

subs(p*,0) =2.42509480901610





EJERCICIOS

1.-a)Utilizando la formula de Gauss Tchebyshev calcule en forma exacta la
integral:
du
u u
u
I

+
=
2
0
2
4
2
1

b) Para la funcin
4
1
) (
x x
x g
+
= aproxime la integral

1
) ( dx x g usando la
formula de Laguerre y 4 nodos suponiendo que la suma en los 3 primeros
nodos es 0.781242.


2.- Considere la siguiente trayectoria espiral de una solucin de un sistema de
ecuaciones diferenciales dada por:
|

\
|
=

) cos(
2
1
), (
4
1
)) ( ), ( ( t t sen e t y t x
t

el problema consiste en aproximar la longitud de la trayectoria espiral desde el
instante 0 = t hasta t infinito. El diferencial de arco esta dado por dt t f e ds
t
) (

=
donde ) ( ) cos( 6 5
4
1
) ( t sen t t f + = . Calcule una aproximacin utilizando una
formula Gaussiana adecuada en 4 puntos. Encuentre los puntos de la
trayectoria correspondientes a esos 4

3.- Considere la integral: dx x I

+ =
3
1
2
) ( cos 1
a) La formula para el error en la cuadratura Gaussiana de Gauss-Legendre es:

) (
) )! 2 )(( 1 2 (
2 ) ! (
) 2 (
3
1 2 4

n
n
f
n n
n
E

=
+

Se conoce que la derivada octava del integrando est acotada
por
3
10 * 2 . 5
verifique que con 4 nodos el error es menor que 0.002.


b) Determine el nmero de nodos que se necesitan con a formula
de Simpson
compuesta cerrada para lograr el mismo error que con Gauss
Legendre, sabiendo
que la derivada cuarta del integrando esta acotada por 8.

4.- Considere la integral:
dx x I

+ =
3
1
2
) ( cos 1
a) Aproxime el valor de la integral mediante la formula de Gauss-
Legendre con 4
nodos y verifique si el resultado es coherente con el error obtenido
previamente.
5.-Utilizando alguna cuadratura Gaussiana calcule en forma exacta la integral:
dy y y y
y
e ) 2 ( ) 1 (
3
3

Ral guila Fumey