Cuadratura de Gauss La cuadratura Gaussiana es un mtodo de integracin numrica, muy poderoso, el cual emplea espacios de intervalos desiguales, a diferencia

de los mtodos trapecial y de Simpson que son de aplicacin inmediata para intervalos constantes, aunque tambin se pueden aplicar con ciertas reservas. Debido a que la regla trapecial debe pasar a travs de los puntos lmites, uniendo con un segmento de recta los puntos con coordenadas [a, f(a)] y [b, f (b)]; existen casos como el de la figura 1, en donde la frmula genera un error muy grande. Ahora, supngase que la restriccin de fijar los puntos base se elimina y se va a evaluar libremente el rea bajo el segmento de lnea recta que une dos puntos cualesquiera de la curva, colocando estos puntos de manera que dicha lnea minimice el error en el clculo del rea (Fig. 2), por lo que, el valor de integral ser ms exacto. La cuadratura gaussiana usa esta estrategia. Las frmulas particulares de cuadratura gaussiana descritas en esta seccin se llaman frmulas de Gauss- Legendre.

Figura 1. Regla trapezoidal usando un solo trapecio.

Figura 2. Segmento de recta compensando reas. Se observa en figura 1 que el rea del trapecio es: ( ) Que puede escribirse como: ( ) ( ) ( ) ( ) ( )

En donde c1 y c2 son incgnitas. Sin embargo, en contraste a la regla trapezoidal que usa como puntos extremos a y b, los argumentos de la funcin x1 y x2 ahora no estn a los puntos extremos a y b, sino que son incgnitas (Fig.3). Por lo tanto,

se tiene un total de cuatro incgnitas que se deben evaluar y, por consiguiente, se requieren de cuatro condiciones para determinarlos exactamente. Se pueden obtener dos de estas condiciones suponiendo que la ecuacin (1) ajusta exactamente la integral de una constante ( ) y de una funcin lineal ( ) Entonces, para llegar a las otras dos condiciones, se extiende este razonamiento al suponer que tambin se ajusta la integral a una funcin parablica ( ) y a una funcin cbica ( ) Haciendo esto, se determinan las cuatro incgnitas conviniendo en derivar una frmula de integracin de doble punto que es exacta para cbicas. Las cuatro ecuaciones por resolver son:

Fig. 3. Grfica para deducir la frmula de Gauss- Legendre.

( ) ( ) ( ) ( )

( ) ( ) ( ) ( )

( ) ( ) ( ) ( )

La solucin simultnea de estas ecuaciones es,

Donde (1) queda:

( )

( )

Que es la ecuacin de Gauss- Legendre basada en dos puntos. Como se observa se llega al resultado interesante de que la suma de la funcin valuada en y lleva a una estimacin de la integral con una exactitud de tercer orden. Es interesante observar que los lmites de integracin de ecuaciones (2-5), van desde 1 a +1. Esto se hizo para simplificar la aritmtica y hacer la formulacin tan general como sea posible. Un simple cambio de la variable se puede usar para trasladar otros lmites de integracin en esta forma. Por ejemplo, suponiendo que la nueva variable est dada en funcin de la variable original x, en forma lineal, entonces puede escribirse que, ( ) Puesto que cuando x = a, y que = -1 y para x = b, = +1, se tiene:

con lo que, ecuacin ( 7 ) se transforma en: ( ) ( )

En muchas ocasiones esta transformacin dificulta aparentemente los clculos, por lo que una forma ms prctica para resolver una integral es aproximndola con, ( ) ( )

Donde los son los factores de peso, las son los m puntos con espacios desiguales y corresponde al nmero de puntos para los cuales la funcin f(x) ser evaluada. La ecuacin equivalente a la (8) es, en este caso, ( )

Los valores de Ejemplos

con sus correspondientes pesos

Ejemplo 1. Resolver la integral Legendre con m = 4. k

( )

usando la cuadratura de Gauss-

1 2 3 4

0.3399810436 -0.3399810436 0.8611363116 -0.8611363116

0.6521451549 0.6521451549 0.3478548451 0.3478548451

( ( ( ( Los correspondientes valores de f(x) son, ( ) ( ) ( ) ( ) [ ( ) ] ( ) ( ) ( ) ( ) (

) ) ) )

Ejemplo 2. Resolver la integral (

En ambos casos use m = 2, es decir, para el primer caso apyese en ecuacin.

Sustituyendo en la integral por resolver, sta queda:

(
( )

Por lo tanto. ( ) ( ) ( ( )( )( ) )

k 1 2

0.5773502692 - 0.5773502692

1 1

( (

) )

Los valores correspondientes son.

( ) ( ) ( )

Ejemplo 3. Utilizando la cuadratura de Gauss-Legendre (n=2), estime la siguiente integral. ( ) ( )

 ( ) ( )

( )
)

( ) ( )

( )

( ) (

( ) (

Ejemplo 4. Tomando Gauss-Legendre con n=2.

Ejemplo 5. ( )

Algoritmo de cuadratura de Gauss.

Cuadratura de Gauss

a, b

T( , ) T( , ) T( , )

(() (()

()) (

())

(T( , )

T( , ))

J=3

SUM=0

i=1

SUM=SUM+f(x)

No.
i=n? 2

( , )

( , )

()

L=2

K=J+1-L

L=J?

No

( )

Programa del mtodo.

#include <stdio.h> #include <math.h> #define N 5 double Pi; double lroots[N]; double weight[N]; double lcoef[N + 1][N + 1] = {{0}}; void lege_coef() { int n, i; lcoef[0][0] = lcoef[1][1] = 1; for (n = 2; n <= N; n++) { lcoef[n][0] = -(n - 1) * lcoef[n - 2][0] / n; for (i = 1; i <= n; i++) lcoef[n][i] = ((2 * n - 1) * lcoef[n - 1][i - 1] - (n - 1) * lcoef[n - 2][i] ) / n; } } double lege_eval(int n, double x) { int i; double s = lcoef[n][n]; for (i = n; i; i--) s = s * x + lcoef[n][i - 1]; return s; } double lege_diff(int n, double x) { return n * (x * lege_eval(n, x) - lege_eval(n - 1, x)) / (x * x - 1); } void lege_roots() { int i; double x, x1; for (i = 1; i <= N; i++) { x = cos(Pi * (i - .25) / (N + .5)); do { x1 = x;

x -= lege_eval(N, x) / lege_diff(N, x); } while (x != x1); lroots[i - 1] = x; x1 = lege_diff(N, x); weight[i - 1] = 2 / ((1 - x * x) * x1 * x1); } } double lege_inte(double (*f)(double), double a, double b) { double c1 = (b - a) / 2, c2 = (b + a) / 2, sum = 0; int i; for (i = 0; i < N; i++) sum += weight[i] * f(c1 * lroots[i] + c2); return c1 * sum; } int main() { int i; Pi = atan2(1, 1) * 4; lege_coef(); lege_roots(); printf("Raizes: "); for (i = 0; i < N; i++) printf(" %g", lroots[i]); printf("\nAltura:"); for (i = 0; i < N; i++) printf(" %g", weight[i]); printf("\nInterpretando e^(x) over [-3, 3]:\n\t%10.8f,\n" "Comparando con solo la distancia entre puntos \n\t%10.8f\n", lege_inte(exp, -3, 3), exp(3) - exp(-3)); return 0; }

Prueba de escritorio.

Conclusiones El mtodo es una combinacin de distintos mtodos numricos que involucran una manera de resolver una integral para encontrar el rea bajo la curva de una funcin, y al usar la combinacin de las expresiones y haciendo el mtodo ms laborioso se obtiene un resultado mucho ms cercano a la lnea que describe la funcin.

Bibliografa
Michael Spivak/ CLCULO INFINITESIMAL/ Ediciones RPLA,S.A.