Mtodos Matemticos de Especialidad. e a Especialidad de Construccin o Curso 12-13 Tema 6. Integracin Numrica.

o e
Luis Sanz Lorenzo Dpto. Matemticas E.T.S.I. Industriales, UPM a 10 de diciembre de 2012

Indice
1. Introduccin o 2. Cuadratura interpolatoria 3. Frmulas de Newton-Cotes. o 4. Cuadratura gaussiana 5. Cuadratura numrica bidimensional e 5.1. Cuadratura en rectngulos como producto de cuadraturas unidimensionales a 5.2. Cuadratura en tringulos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a 6. Integracin numrica unidimensional con Matlab o e 2 4 6 9 14 14 15 16

Luis Sanz

Integracin Numrica o e

1. Introduccin o
b a f (x)dx.

El problema que nos planteamos es de aproximar numricamente el valor de una integral e A esto se le denomina integracin numrica o cuadratura numrica. o e e

Motivos para recurrir a la cuadratura numrica e La primitiva de f puede ser complicada (o imposible) de obtener expl citamente en trmie nos de funciones simples. En ocasiones no se conoce f expl citamente, sino que slo se dispone del valor de f en o ciertos puntos. Frmulas de cuadratura numrica. En la integracin numrica se aproxima o e o e por una frmula de cuadratura, que es una expresin del tipo o o
n b a f (x)dx

Cn (f ) =
j=1

j f (xj )

Comentarios: La funcin aparece evaluada slo en determinados puntos xj llamados nudos. o o Los coecientes j son funcin de a, b, x1 , ..., xn pero deben ser independientes de la o funcin f que se integra. o La frmula de cuadratura es lineal en la funcin f , es decir, o o Cn (f + g) = Cn (f ) + Cn (g) Para un nmero n de nudos jo, hay en principio 2n grados de libertad: n correspondientes u a la posicin de los nudos y n correspondientes al valor de los coecientes. o Error en la frmula de cuadratura. Est dado por o a
b n

En {f } :=
a

f (x)dx
j=1

j f (xj )

Coste computacional. El coste computacional de una frmula de cuadratura depende funo damentalmente del nmero de evaluaciones de f , pues el coste de las multiplicaciones es u despreciable frente al coste de evaluar la funcin f en los nudos. Por ello un criterio para o 2

Luis Sanz

Integracin Numrica o e

comparar el coste de distintas frmulas de cuadratura es considerara el nmero de evaluacioo u nes de f que requiere, es decir, el nmero n de nudos empleados u Objetivo de la cuadratura numrica. Fijado el nmero n de nudos, se quiere elegir los e u 2n grados de libertad de forma que el error sea tan pequeo como sea posible. Esto lo podemos n descomponer en dos pasos: Para unos nudos xj dados, determinar los coecientes y estimar el error Elegir los nudos adecuadamente para minimizar el error.

Grado de precisin de una frmula de cuadratura o o Al respecto tenemos la siguiente denicin: o Denicin 1 Se dice que una frmula de cuadratura para el intervalo [a, b] tiene grado de o o precisin igual a m cuando es exacta para todos los polinomios de grado menor o igual que o m y no es exacta para al menos un polinomio de grado m + 1. Usando la linealidad de la integral y de la frmula de cuadratura se tiene que el error al o integrar un polinomio p(x) = c0 + c1 x + + cm xm es En {p} =
a b

p(x)dx Cn {p} = c0 En {1} + c1 En {x} + + cm En {xm }

Por ello, la frmula tendr precisin m si y slo si se cumple o a o o En {xk } = 0, k = 0, 1, ..., m. En {xm+1 } = 0.

Hay que resaltar que el que una frmula de cuadratura A tenga mayor grado de precisin o o que otra B no quiere necesariamente decir que al integrar una funcin f concreta el error o cometido con A sea menor que el cometido con B. De forma laxa se puede decir que la frmula o A ser ms precisa que B en la mayor parte de los casos. a a Uso de una frmula de cuadratura cuando se cambia el intervalo de integracin. o o d b Se quiere calcular c f utilizando la frmula de cuadratura a f n j f (xj ). Obsrvese o e j=1 que los intervalos son distintos en ambos casos.
1 Para ello se hace el cambio af de variable y = (x) = ba ((d c)x + cb ad) que n transforma el intervalo [a, b] (para la x) en el intervalo [c, d] (para la y). As , d

f (y)dy =
c

dc ba

f(
a

1 dc ((d c)x + cb ad))dx ba ba

j f (yj )
j=1

donde yj := (xj ) =

1 ba ((d

c)xj + cb ad). 3

Luis Sanz

Integracin Numrica o e

Se demuestra fcilmente que si la frmula de cuadratura en [a, b] tiene grado de precisin a o o n dc m, entonces la frmula interpolatoria ba j=1 j f (yj ) tambin tiene grado de precisin m. o e o Frmulas de cuadratura abiertas y cerradas. Una frmula de cuadratura se dice cerrao o da cuando dos de los nudos (normalmente el primero y el ultimo) coinciden con los extremos inferior y superior del intervalo de integracin. Cuando ninguno de los nudos coincide con los o extremos del intervalo de integracin se dice que la frmula de cuadratura es abierta. o o Mtodos de Newton-Cotes y de Gauss. Los mtodos de integracin que estudiaremos e e o son: 1. Frmulas de Newton-Cotes. o 2. Cuadratura gaussiana Ambos mtodos son casos particulares de los mtodos de cuadratura interpolatoria. e e

2. Cuadratura interpolatoria
En la cuadratura interpolatoria, una vez jados los n nudos se aproxima la integral de f por la integral del polinomio interpolador de grado menor o igual a n 1 de f en dichos nudos: Denicin 2 Cuadratura interpolatoria. Una frmula de cuadratura interpolatoria con o o n puntos x1 , ..., xn (que no necesariamente tienen que pertenecer al intervalo [a, b]) es una b b expresin en la que se aproxima el valor de la integral a f (x)dx por el valor de a pn1 (x)dx o donde pn1 (x) es el polinomio de grado n 1 que interpola a la funcin f (x) en los puntos o xj . Este enfoque, es decir, el aproximar la integral de f por la integral del polinomio interpolador de f en unos ciertos puntos, es el ms utilizado. Sin embargo no es el unico enfoque a razonable. Por ejemplo, se podr construir frmulas de cuadratura en los que la integral de an o f se aproximase por la integral de un spline de grado s que interpole a f en los nudos, o por la integral de una funcin que aproxime la funcin f mediante una funcin racional. Estos o o o ultimos enfoques tienen muchas aplicaciones prcticas. a Volviendo a la cuadratura interpolatoria, recordemos que
n n

pn1 (x) =
i=1

f (xi )i (x) =
i=1

f (xi )

(x x1 ) (x xj1 )(x xj+1 ) (x xn ) (xj x1 ) (xj xj1 )(xj xj+1 ) (xj xn ) f (n ((x)) n!

f (x) pn1 (x) = (x x1 )(x x2 ) (x xn )

Luis Sanz

Integracin Numrica o e

As se tiene
b n

f (x)dx =
a j=0

j f (xj ) + En+1 {f } 1 n!
b

(1)

En {f } =

(x x1 )(x x2 ) (x xn )f (n ((x))dx
a

donde los coecientes y el error se calculan de j = x1 ) (x xj1 )(x xj+1 ) (x xn )dx , con j = 1, ..., n (xj x1 ) (xj xj1 )(xj xj+1 ) (xj xn ) 1 n!
b b a (x

(2) (3)

En {f } =

(x x1 )(x x2 ) (x xn )f (n ((x))dx
a

Proposicin 1 El grado de precisin de una cuadratura interpolatoria con n puntos es, o o como m nimo, n 1. En otras palabras, el grado de precisin es al menos el del nmero de o u intervalos que se consideran. Dem. Es inmediato puesto que si p es un polinomio de grado menor o igual que n 1 su polinomio interpolador en n puntos coincide con p con lo que el error ser cero. Visto de otra a forma la derivada n-sima de un polinomio de grado a lo sumo n 1 es cero, con lo que el e miembro de la derecha en (3) es cero El rec proco del resultado anterior, aunque menos evidente, tambin es cierto: e Proposicin 2 Si una frmula de cuadratura con n puntos tiene grado de precisin de al o o o menos n 1, entonces es una cuadratura interpolatoria. Dem. Hacerla como ejercicio. Sugerencia: demostrar que slo hay una frmula de cuadratuo o ra que cumpla las condiciones del enunciado, y por ello la frmula debe ser la frmula de o o cuadratura interpolatoria anterior. Este ultimo resultado asegura que si lo que se busca el construir una frmula de cuadratura o con un cierto nmero de nudos que tenga el mayor grado de precisin posible (es decir, que u o integre de forma exacta polinomios del grado mayor posible), entonces sta debe ser una e frmula de cuadratura interpolatoria, es decir, de las innitas posibilidades de que se dispone, o la ptima en ese sentido el la que resulta de aproximar la integral de una funcin por la integral o o de su polinomio interpolador en los nudos en cuestin. Eso no quiere decir que las frmulas o o interpolatorias sean las que aproximan mejor el valor de la integral para funciones f generales (no polinmicas). De hecho, para integrandos f concretos (por ejemplo funciones racionales) o hay tcnicas de integracin que no son de cuadratura interpolatoria y que aproximan muy e o bien el valor de la integral. Hay que resaltar que, de la misma forma que el aumentar el nmero de nudos al aproximar u una funcin por su polinomio interpolador en una serie de puntos no necesariamente conduc o a a buenos resultados, el utilizar un nmero de nudos alto no quiere necesariamente decir que u al integrar una funcin f concreta el error cometido sea pequeo. o n 5

Luis Sanz

Integracin Numrica o e

3. Frmulas de Newton-Cotes. o
Qu son? Las frmulas de Newton-Cotes son frmulas de cuadratura interpolatoria que e o o corresponden a tomar los n puntos equidistantes en [a, b]. Solo estudiaremos las frmulas cerradas, con lo que xi = a + h(i 1), i = 1, ..., n con o h := (b a)/(n 1). Proposicin 3 Error en las frmulas de Newton-Cotes cerradas. Sean x1 = a, o o x2 , ..., xn = b los n nudos de interpolacin equidistantes con h := (b a)/(n 1) la diso tancia entre dos nudos consecutivos. Entonces existe un [a, b] tal que el error en la frmula de Newton-Cotes cerrada es o a) Si n es par y f C n [a, b], entonces En {f } = = b) Si n es impar y f hn+1 f (n () n!
n1

f (n () n!

w(x)dx =
a

(4)

t(t 1) (t (n 1))dt
0

C n+1 [a, b] entonces En {f } = = hn+2 f (n+1 () (n + 1)!

n1

f (n+1 () (n + 1)!

xw(x)dx =
a

t2 (t 1) (t (n 1))dt
0

Comentarios: Cuando n es par, el error se anula para polinomios de grado hasta n 1 puesto que la derivada de orden n de esos polinomios es automticamente cero. Sin embargo el error a no se anular para todos los polinomios de grado hasta n (por ejemplo, el error no es a nulo para el polinomio xn ). Por ello se tiene precisin n 1. o Sin embargo, cuando n es impar, el error se anula para polinomios de grado hasta n puesto que la derivada de orden n + 1 de esos polinomios es automticamente cero. Por a ello se tiene precisin n. o La razn para esto es (por ejemplo, trabajando con n = 3) que o E3 {x3 } = =
a

1 3!
b

(x x1 )(x x2 )(x x3 )
a

d3 x3 |x= dx dx3

(x x1 )(x x2 )(x x3 )dx = 0

pues la funcin subintegral es antisimtrica respecto del punto central del intervalo, es o e decir, x2 .

Frmulas de Newton-Cotes cerradas simples o 6

Luis Sanz

Integracin Numrica o e

Aqu simples se utiliza como contraposicin a las frmulas extendidas que se vern o o a ms adelante. Algunas de las ms importantes son a a
x2

f (x)dx = h(
x1 x3 x1 x4 x1 x5 x1

f1 f2 h3 + ) f (2 (). Regla del trapecio. (Precisin 1) o 2 2 12

1 4 1 h5 f (x)dx = h( f1 + f2 + f3 ) f (4 (). Regla de Simpson. (Precisin 3) o 3 3 3 90 3 9 9 3 3h5 (4 f (x)dx = h( f1 + f2 + f3 + f4 ) f (). Regla de Simpson 3/8. (Precisin 3) o 8 8 8 8 80 f (x)dx = h( 64 24 64 14 8h7 (6 14 f1 + f2 + f3 + f4 + f5 ) f (). Regla de Bode (Prec. 5) 45 45 45 45 45 945

La regla del trapecio tiene una sencilla interpretacin geomtrica que justica su nombre. o e En efecto, se aproxima la integral por el rea del trapecio correspondiente a los extremos del a intervalo. Para deducir las frmulas tenemos dos v o as Utilizar (2). Forzar a que integren de forma exacta los polinomios 1, x, ..., xn1 donde n es el nmero u de puntos. Ntese que, por la simetr del problema, los i son simtricos respecto del punto medio o a e del intervalo [a, b]. Por ello basta con determinar la mitad de los mismos (i = 1, ..., n/2 si n es par, y i = 1, ..., n/2 + 1 si n es impar). Frmulas de Newton-Cotes extendidas o Motivacin. Es razonable esperar de una frmula de cuadratura que cuando el nmero n de o o u nudos se hace grande el valor de la cuadratura sea una aproximacin muy precisa al valor de la o integral. Como se vio en el cap tulo dedicado a la interpolacin y la aproximacin, el polinomio o o interpolador de una funcin en un nmero grande de nudos no tiene por qu aproximar bien o u e a la funcin. Por ello no es razonable esperar que las formulas de cuadratura interpolatoria o estudiadas hasta ahora (denominadas frmulas de cuadratura simples) sean una buena o aproximacin al valor de la integral cuando n es alto. Sin embargo, el hecho ya puesto de o maniesto en el cap tulo de aproximacin de que las funciones suaves se aproximen de forma o eciente por polinomios a trozos motiva un tratamiento similar a efectos de integracin que o corresponde a las frmulas de cuadratura extendidas. o Obtencin. Las frmulas extendidas o compuestas se obtienen dividiendo el intervalo o o [a, b] de integracin en subintervalos, aplicando las frmulas simples ya estudiadas (trapecio, o o Simpson, etc) a cada subintervalo y sumando los resultados. Las frmulas extendidas ms corrientes son la regla del trapecio extendida y la regla o a de Simpson extendida. 7

Luis Sanz

Integracin Numrica o e

1. Regla del trapecio extendida. Se toman n puntos xi equiespaciados en el intervalo [a, b] se aplica la regla del trapecio a cada intervalo [xi , xi+1 ], con lo que se tiene
xi+1

f (x)dx = h(
xi

fi fi+1 h3 + ) f (2 (i ) 2 2 12

donde h = (b a)/(n 1), i [xi , xi+1 ] y se suman los resultados. As se obtiene Regla del trapecio extendida
b a

(5)

1 1 (b a) 2 (2 f (x)dx = h( f1 + f2 + f3 + + fn1 + fn ) h f () 2 2 12

donde [a, b]. Ntese que si f (2 est acotada en [a, b], cuando n (es decir, cuando h 0+ ) se o a tiene convergencia de tipo O(h2 ), por lo que se dice que la regla del trapecio extendida es un mtodo de orden 2. e 2. En la regla de Simpson extendida. Se toman 2n + 1 puntos (es decir, un nmero u impar) equiespaciados en el intervalo [a, b] y al intervalo denido por cada grupo de tres nudos consecutivos [x2i1 , x2i , x2i+1 ] con i = 1, ..., n 1 (es decir, [x1 , x2 , x3 ], [x3 , x4 , x5 ], ...,[x2n2 , x2n1 , x2n ] ) se le aplica la regla de Simpson
x2i+1 x2i1

1 4 1 h5 f (x)dx = h( f2i1 + f2i + f2i+1 ) f (4 (i ), i [x2i1 , x2i+1 ] 3 3 3 90

donde h = (b a)/2n y se suman los resultados. As se tiene Regla de Simpson extendida

b a

(6)

1 4 2 4 2 2 4 1 (b a) 4 (4 f (x)dx = h( f1 + f2 + f3 + f4 + f3 + + f2n1 + f2n + f2n+1 ) h f () 3 3 3 3 3 3 3 3 180

donde [a, b]. Ntese que cuando n , es decir, cuando h 0+ , se tiene convergencia de tipo O(h4 ), o por lo que se dice que la regla de Simpson extendida es un mtodo de orden 4. e Comentario: en la regla del trapecio extendida, si se tiene un clculo de la integral para n a puntos y se quiere pasar a 2n 1 nudos, al hacerlo la mitad de los nudos coinciden con los que ya se ten an, por lo que se pueden utilizar los valores de f en los nudos antiguos y slo o hace falta evaluar f en los nudos nuevos que son la mitad de los nudos totales. Esto supone una gran ventaja computacional. Algo anlogo sucede en la regla de Simpson extendida. a Convergencia de las frmulas de cuadratura extendidas o Se verica que las frmulas de cuadratura extendidas anteriores convergen al valor de la o integral cuando aumenta el nmero de nudos. En efecto, tenemos los siguientes dos resultados: u 8

Luis Sanz

Integracin Numrica o e

Proposicin 4 Si f es continua, la regla del trapecio extendida converge al valor de la o integral cuando el nmero de puntos tiende a innito. u Proposicin 5 a) Si f es derivable dos veces en [a, b] y la derivada segunda est acotada en o a dicho intervalo (una condicin suciente para ello es que f C 2 [a, b]) la regla del trapecio o extendida converge al valor de la integral cuando h 0 con velocidad O(h2 ). b) Si f es derivable cuatro veces en [a, b] y la derivada cuarta est acotada en dicho a intervalo (una condicin suciente para ello es que f C 4 [a, b]) la regla del trapecio extendida o converge al valor de la integral cuando h 0 con velocidad O(h4 ). Dem. Inmediata de (5) y (6)

4. Cuadratura gaussiana
Hemos visto ya que, jados n nudos, se pueden determinar los coecientes de la frmula o de cuadratura con un grado de precisin al menos igual a n 1 (cuadratura interpolatoria) o y ello signica que la frmula da el resultado exacto para polinomios de grado menor o igual o a n 1. En lo que sigue, en lugar de jar la posicin de los nudos jaremos slo su nmero, o o u n, de modo que se tienen 2n parmetros libres, a saber, los n coecientes y la posicin de a o los n nudos. Parece lgico pensar que en estas circunstancias se pueda conseguir una frmula o o de cuadratura exacta para polinomios que dependan de 2n coecientes, es decir, de grado 2n 1. Exposicin del mtodo o e

Buscamos una frmula de cuadratura con n nudos x1 , ..., , xn que sea exacta para poo linomios de grado hasta 2n 1. Como se puso de maniesto con anterioridad, al ser la precisin superior a n 1 la frmula tendr que ser necesariamente una cuadratura o o a b interpolatoria, es decir, a pn1 (x)dx donde pn1 es el polinomio que interpola a f en los nudos x1 , ..., xn . Obviamente, los nudos no podrn estar ubicados de cualquier modo. a Veamos: Sea q(x) un polinomio arbitrario de P2n1 . Podemos escribir q(x) = pn1 (x) + h(x) donde h es un cierto polinomio de P2n1 . Como q(xi ) = pn1 (xi ), i = 1, ..., n se tiene que h debe anularse en los xi es decir, h(x) = (x x1 ) (x xn )t(x) donde t es un polinomio de Pn1 . Imponer que la cuadratura sea exacta para todos los polinomios de P2n1 , es decir, b b a q(x)dx = a pn1 (x)dx, equivale a imponer
b

t(x) Pn1 ,
a

(x x1 ) (x xn )t(x)dx = 0 9

Luis Sanz

Integracin Numrica o e

es decir, los nudos x1 , ..., xn deben ser tales que w(x) := (xx1 ) (xxn ) sea ortogonal al espacio Pn1 con el producto escalar estndar a
b

v, u =
a

v(x)u(x)dx

Por tanto nos preguntamos si existe algn polinomio mnico de Pn que sea ortogonal u o a Pn1 . La existencia y unicidad de solucin para dicho problema viene garantizada o por el siguiente razonamiento: Como dim Pn = n + 1 y dim Pn1 = n se tiene que el complemento ortogonal de Pn1 en Pn , que denotamos L, existe y es un subespacio de dimensin uno. Ahora w(x) es el unico polinomio mnico de L. o o Tambin se puede ver que no existe ninguna frmula de cuadratura con n nudos y pree o cisin superior a 2n 1. En efecto, si la frmula tuviese precisin al menos 2n, deber o o o a cumplirse
b

t(x) Pn ,
a

w(x)t(x)dx = 0

lo cual es imposible pues en particular w(x) deber ser ortogonal a s mismo. a Es ms, se verica el siguiente teorema, que recoge los resultados que hemos probado a hasta ahora y que los ampl en su apartado (c): a Proposicin 6 a) Una frmula de cuadratura interpolatoria con n puntos para el intervalo o o [a, b] tiene grado de precisin 2n 1 si y slo si se eligen los nudos de interpolacin x1 , ....., xn o o o de modo que w(x) = (xx1 ) (xxn ) sea el polinomio mnico de grado n en [a, b] ortogonal o (con el producto escalar estndar) a todos los de grado inferior. a b) Para todo a, b R con a < b y para todo n el problema de eleccin de nudos anterior o tiene solucin unica. o c) Las ra x1 , ..., xn de w(x) son reales, distintas dos a dos y estn contenidas en [a, b]. ces a d) No existe ninguna frmula de cuadratura con n puntos y precisin superior a 2n 1. o o Clculo de los nudos y los coecientes en las frmulas de cuadratura gaussiana a o Veamos los dos enfoques siguientes: 1. Clculo a mano a Para calcular los xi se puede hacer w(x) = xn + n1 xn1 + + 1 x + 0 e imponer w, xr = 0 ; r = 0, ..., n 1 resolviendo el sistema correspondiente. Entonces los xi sern a las ra ces de w(x). Una vez calculados los xi , de (2) se calculan los i . Otra forma ms prctica es imponer que la frmula sea exacta para polinomios de grado a a o 2n 1.

10

Luis Sanz

Integracin Numrica o e

Ntese que por la simetr del problema, tanto los xi como los i deben ser simtricos o a e respecto del punto medio del intervalo [a, b]. Por ello basta con determinar la mitad de los mismos (i = 1, ..., n/2 si n es par, y i = 1, ..., n/2 + 1 si n es impar). En particular, si n es impar el punto medio del intervalo ser siempre un nudo. a 2.Tablas. En la prctica tanto los nudos como los valores de las constantes estn tabulados a a para el intervalo [1, 1]. Se puede demostrar que si se trabaja en el intervalo [1, 1], el polinomio w buscado es el polinomio de Legendre mnico de grado n que es el polinomio dado por o dn Ln (x) := (n!/(2n)!) n (x2 1)n dx Como ya se vi anteriormente, para calcular una integral en un intervalo [a, b] basta con o hacer un cambio de variable para llevarnos el [a, b] al [1, 1]. El cambio es t = a+b + ba x 2 2 (as cuando x recorre [a, b] t recorre [1, 1]). Se tiene as
b

f (x)dx =
a

ba 2

f (t)dt
1

ba 2

i f (ti )
i=1

donde ti :=

a+b 2

ba 2 xi .

A continuacin se muestra una tabla con los parmetros correspondientes a la integracin o a o gaussiana en [1, 1]: Cuadratura gaussiana en coecientes i 1 = 2 1 = 2 = 1 1 = 3 = 5 9 2 = 8 9 1 = 4 = 0,347 854 8451... 2 = 3 = 0,652 145 1549... 1 = 5 = 0,236 926 8851... 2 = 4 = 0,478 628 6705... 3 = 128 = 0,568 888 8889 225 [1, 1] posicin de los nudos xi o x1 = 0 1 x2 = x1 = 3 = 0,577 350 2692... x3 = x1 = 0,774 596 6692... x2 = 0 x4 = x1 = 0,861 136 3116... x3 = x2 = 0,339 981 0436... x5 = x1 = 0,906 179 8459... x4 = x2 = 0,538 469 3101... x3 = 0

nmero de nudos (n) u 1 2 3 4 5

11

Luis Sanz

Integracin Numrica o e

Estudio del error y convergencia en la cuadratura gaussiana Se tiene el siguiente resultado: Proposicin 7 Sea f (x) una funcin con derivada de orden 2n continua en [a, b]. El error o o b en la cuadratura gaussiana con n puntos para la integral a f (x)dx es: En {f } = f (2n () (2n)!
b

p2 (x)dx donde es un punto en (a, b). n

a

Comentario: De esta frmula se observa inmediatamente que, como debe ser, la frmula es o o exacta para polinomios de P2n1 . En cuanto a la convergencia de la frmula de cuadratura al valor de la integral al aumentar o el nmero de nudos se tiene: u Proposicin 8 Si f es continua en [a, b], las aproximaciones dadas por la cuadratura gauso siana convergen al valor de la integral cuando n . Frmulas de cuadratura gaussiana modicadas o En ocasiones es util considerar una variante de la cuadratura gaussiana en la que se jan algunos nudos y, como en la cuadratura gaussiana estndar, los dems se determinan para a a obtener la mxima precisin posible. a o El caso ms importante es aquel en el que uno o los dos extremos del intervalo [a, b] son a nudos. Por simplicidad trabajaremos en el intervalo [1, 1]. Se tiene entonces: Frmula de Gauss-Radau: Un extremo de [1, 1] es un nudo. Razonando como en el caso o de la cuadratura gaussiana estndar se obtiene que la frmula con n nudos es exacta para a o polinomios de P2n2 . Frmula de Gauss-Lobatto: Los dos extremos de [1, 1] son nudos. Razonando como en o el caso de la cuadratura gaussiana estndar se obtiene que la frmula con n nudos es a o exacta para polinomios de P2n3 . nmero de nudos (n) u 2 3 4 5 Cuadratura de Gauss-Lobatto en [1, 1] coecientes i posicin de los nudos xi o 1 = 2 = 1 x2 = x1 = 1 1 = 3 = 1 x3 = x1 = 1 2 4 2 = 3 x2 = 0 1 = 4 = 0,166 667 x4 = x1 = 1 2 = 3 = 0,833 333 x3 = x2 = 0,447214 1 = 5 = 0,236 926 8851... x5 = x1 = 1 2 = 4 = 0,544 444 x4 = x2 = 0,654 654 3 = 0,711 111 x3 = 0

12

Luis Sanz

Integracin Numrica o e

Ntese que para n = 2 se obtiene la regla del trapecio simple y para n = 3 la regla de o Simpson simple.

13

Luis Sanz

Integracin Numrica o e

5. Cuadratura numrica bidimensional e

Se quiere evaluar numricamente e I=
D

f (x, y)dxdy

donde D es un dominio de R2 . Una frmula de cuadratura para la integral anterior tendr la forma o a
n

f (x, y)dxdy
D k=1

Wk f (xk , yk )

donde los (xk , yk ) son los nudos y los Wk son los pesos. Consideraremos dos casos de mucho inters, que son los correspondientes a que D sea un e rectngulo o un tringulo. a a

5.1. Cuadratura en rectngulos como producto de cuadraturas unidimensionales a

Si D es un rectngulo [a, b] [c, d] la frmula de cuadratura para a o D f (x, y)dxdy se puede construir como producto de frmulas de cuadratura unidimensional. o En efecto, sean
b a h(x)dx r

J1 =

i h(xi ) y
i=1

d c h(x)dx

J2 =

j h(xj ) dos frmulas o

j=1

de cuadratura unidimensional para los intervalos [a, b] y [c, d] respectivamente con precisin o p y q respectivamente. Entonces la frmula de cuadratura o
r s

f (x, y)dxdy
D i=1 j=1

i j f (xi , yj )

(7)

cumple que es exacta para funciones de la forma xn y m con n p y m q y no es exacta para funciones xn y m con n > p y m > q. Por ello, ser exacta para los polinomios de grado a a lo sumo p es x y q en y. Ntese que (7) es una frmula de cuadratura con rs nudos que tienen la forma (xi , yj ), o o i = 1, ..., r, j = 1, ..., s es decir, el producto cartesiano de los nudos de las dos frmulas J1 y o J2 . Adems, los pesos son i j , i = 1, ..., r, j = 1, ..., s es decir el producto de los pesos de a J1 y J2 . Ejemplos: 1. Si se considera el rectngulo [a, b] [c, d] y la regla del trapecio para cada uno de los a intervalos, es decir,
b

h(x)dx
a d

h(y)dy
c

ba (h(a) + h(b)) 2 dc (h(c) + h(d)) 2

14

Luis Sanz

Integracin Numrica o e

tenemos la siguiente frmula de cuadratura o f (x, y)dxdy

[a,b][c,d]

(b a)(d c) (f (a, c) + f (b, c) + f (a, d) + f (b, d)) 4

2. Si se considera el rectngulo [1, 1] [1, 1] y una frmuloa de Gauss para cada uno a o de los intervalos, es decir, 1 1 h(x)dx h( ) + h( ) 3 3 1 tenemos la siguiente frmula de cuadratura o 1 1 1 1 1 1 1 1 f (, )dd f ( , )+f ( , )+f ( , )+f ( , ) 3 3 3 3 3 3 3 3 [1,1][11]
1

5.2. Cuadratura en tringulos a

Sea T un tringulo de rea . Se pueden utilizar las siguientes formulas de cuadratura a a
n

f (x, y)dxdy
T k=1

Wk f (xk , yk )

donde los nudos y los pesos estn dados en la siguiente tabla (ntese que los nudos estn a o a dados en coordenadas de rea) a Cuadratura para tringulos a coecientes Wk W1 = W1 = /3, W2 = /3, W3 = /3 27 W1 = 48 , W2 = W3 = W4 = 25 48 W1 = 0,225, Wi = 0,1323941527, i = 2, 3, 4 Wi = 0,1259391805, i = 5, 6, 7

nm. nudos (n) u 1 3 4 7

coord. naturales nudos (xk , yk ) 1 (1/3, 1/3, 1/3) 1 (1/2, 1/2, 0), 2 (0, 1/2, 1/2) 3 (1/2, 0, 1/2) 1 (1/3, 1/3, 1/3), 2 (0,6, 0,2, 0,2) 3 (0,2, 0,6, 0,2), 4 (0,2, 0,2, 0,6) 1 (1/3, 1/3, 1/3), 2 (a1, b1, b1) 3 (b1, a1, b1), 4 (b1, b1, a1) 5 (a2, b2, b2), 6 (b2, a2, b2), 7 (b2, b2, a2) donde a1 = 0,0597158717, b1 = 0,4701420641 a2 = 0,7974269853, b2 = 0,1012865073

precisin o 1 2 3 5

Ntese que la disposicin de los nudos en las frmulas anteriores es simtrica respecto de o o o e las coordenadas naturales del tringulo a

15

Luis Sanz

Integracin Numrica o e

6. Integracin numrica unidimensional con Matlab o e

Se pueden utilizar las instrucciones quad y quadl quad q = quad(fun,a,b,tol) calcula numricamente la integral de la funcin fun en el e o intervalo [a, b] usando una tolerancia tol para el error. fun debe admitir como entrada cualquier vector x y dar como salida el vector correspondiente a los valores de la funcin evaluada en los elementos de x. Para ello o se puede proceder de dos formas: denir un function le y=fun(x) que proporcione como salida el vector y correspondiente a los valores de la funcin evaluada en los elementos de x. o denir fun como una funcin inline o Para calcular la integral se utiliza una cuadratura de Simpson adaptativa. [q,m]= quad(fun,a,b,tol) devuelve, adems del resultado de la cuadratura numrica, a e el nmero m de evaluaciones de la funcin que se han utilizado en el clculo de la u o a integral. quadl Idntica a quad pero en este caso se utiliza una cuadratura de Gauss-Lobatto adape tativa.

16