Clculo Numrico I a e

Integracin Numrica o e
La integral resuelve el problema de calcular el rea bajo la grca de a a una funcin positiva denida sobre un intervalo cerrado. El clculo o a elemental de funciones de una variable real proporciona un mtodo e elegante de calcular la integral de una funcin. El teorema fundao mental del clculo nos dice que el problema de calcular la integral a de una funcin continua se reduce al de buscar una segunda funcin o o cuya derivada sea la funcin dada, es decir una primitiva de ella. o Sin embargo el problema de hallar una primitiva de una funcin o dada puede resultar muy dif si no imposible. De hecho sabemos cil que existen funciones elementales es decir, combinaciones algebraicas de funciones trigonomtricas y logar e tmicas y sus inversas 2 cuyas primitivas no son expresables de esta forma (p. ej. ex ). Por esta razn es por la que estudiamos mtodos numricos que aproo e e ximen el valor de la integral buscada. Ya la denicin de integral o de Riemann proporciona un mtodo de aproximacin numrica: las e o e sumas de Riemann. Sin embargo su convergencia es muy lenta y no resultan utiles para obtener resultados prcticos. Los mtodos a e numricos que vamos a estudiar consisten en sustituir la funcin e o dada por una aproximacin suya y tomar como valor de la integral o de la funcin el valor de la integral de su aproximada. o Veremos en primer lugar los resultados que se obtienen aproximando la funcin por medio de un polinomio interpolador con eso pecial nfasis en los casos lineal (regla del trapecio) y cuadrtico e a (regla de Simpson). A continuacin estudiaremos las cuadraturas o de Gauss.

18

Regla del Trapecio

Si para calcular el valor aproximado de la funcin f en el intero valo [a, b ] sustituimos dicha funcin por el polinomio lineal que la o interpola con nodos en los extremos del intervalo obtenemos
b

Tf =
a

(x a)f (b) + (b x)f (a) f (b) + f (a) = (b a) . ba 2 1

 Calculo Numerico I Cul ser el error cometido? a a

b

Integracin o

E(T f ) = T f I(f ) =
a

(x a)(x b)f [a, b, x]dx

Por el teorema del valor medio generalizado del clculo integral a

b

(a, b) : E(T f ) = f [a, b, ]

a

(x a)(x b)dx

y por tanto, si f C 2 ([a, b]), (a, b) : E(T f ) = (b a)3 f (). 12

Si b a no es pequeo la regla del trapecio no ser muy util para n a calcular I(f ). En ese caso podr amos aplicarla dividiendo antes el intervalo [a, b ] en un cierto nmero n de subintervalos de lonu gitud h = (b a)/n con extremos xj = a + jh, j = 0, 1, . . . , n. Tendr amos entonces
n xj n

I(f ) =
j=1 xj1

f (x)dx =
j=1

h3 h [f (xj1 ) + f (xj )] f (j ) 2 12
1 f (xn )] 2

1 h[ 2 f (x0 )

+ f (x1 ) + + f (xn1 ) +

h3 f (j ). 12 j=1
regla del trapecio compuesta

Llamamos regla del trapecio compuesta a

Tn f =

ba 1 [ f (x0 ) + f (x1 ) + + f (xn1 ) + 1 f (xn )]. 2 n 2

h3 E(Tn f ) = Tn (f ) I(f ) = f (j ) 12 j=1
n

El error que se comete al tomar Tn f en vez de If es

h2 1 h2 (b a) f (j ) = (b a)f (), 12 n j=1 12

n

(a, b).

Este error puede estimarse asintticamente de la siguiente manera: o E(Tn f ) lim = lim n n h2 h f (j ) 12 j=1

cantidad esta ultima que se puede interpretar como una suma de Riemann de forma que E(Tn f ) 1 = 2 n h 12 lim
b

f (x)dx =
a

f (b) f (a) 12

 Calculo Numerico I y as se obtiene E(Tn f ) h2 [f (b) f (a)] E(Tn f ) 12

Integracin o

Se dice que E(Tn f ) es una estimacin asinttica del error E(f ). o o Utilizando esta estimacin asinttica del error se puede mejorar la o o regla del trapecio con la llamada regla del trapecio corregida: CTn (f ) = Tn f (b a)2 [f (b) f (a)]. 12n2

regla del trapecio corregida

Ejemplo 18.1. Calcular por medio de la regla del trapecio la integral

1 0

4dx 1 + x2

(= ).

Determinar utilizando la formula del error cuantas veces habr a que componer la regla del trapecio para calcular la integral anterior con dos cifras decimales correctas (error menor que 5 103 ). Aplicar esta regla compuesta y corregirla despus por medio del e error asinttico calculado. o (b a)3 2 |E| sup |f (x)| 2 2 12n x[a,b] 3n buscamos n tal que 2(3n2 )1 5 103 es decir 102 0 75 n2 , es suciente tomar n = 12. Aplicando la regla compuesta del trapecio con n = 12 y trabajando con mantisa de 12 d gitos con una casio fx-3600G se obtiene: T12 f = 3 14043525 CT12 f = 3 14159265

El valor correcto de con nueve d gitos es 314159265.

19

Regla de Simpson
Thomas Simpson, 17101761

Si en vez de aproximar la funcin f linealmente se aproxima por o medio del polinomio cuadrtico P2 que interpola a f con nodos en a los puntos a, c = (a + b)/2, b entonces el valor de la integral de f sobre el intervalo [a, b ] se aproximar por medio de a
b

Sf =
a

P2 (x)dx

Escribiendo el polinomio P2 en su forma de Lagrange se obtiene fcilmente que su integral sobre [a, b ] resulta ser a S(f ) = ba [f (a) + 4f (c) + f (b)]. 6 3

 Calculo Numerico I

Integracin o

Para determinar el error en S(f ) integraremos el error en el polinomio interpolador de segundo grado
b

E(Sf ) =
a

(x a)(x c)(x b)f [a, c, b, x]dx.

Para calcular esta integral no podemos aplicar directamente el teorema del valor intermedio del clculo integral ya que ahora la funcin a o (x a)(x c)(x b) cambia de signo en el punto c. Sorteamos este problema por medio de la funcin o
x

w(x) =
a

(t a)(t c)(t b)dt,

primitiva de la anterior, que verica las propiedades: w(a) = 0 = w(b) y x (a, b), w(x) > 0. Calculamos entonces la integral en E(Sf ) integrando por partes:
b b

(P2 (x) f (x))dx =

a a

w (x)f [a, b, c, x]dx

b b a

= (w(x)f [a, b, c, x])

b

+
a

w(x)

d f [a, b, c, x]dx dx

=
a

w(x)

d f [a, b, c, x]dx. dx
d dx f [a, b, c, x]

Y a esta ultima integral s que puede aplicarse el teorema del valor medio:
b

= f [a, b, c, x, x]

= f [a, b, c, , ]
a

w(x)dx.

Dado que, si escribimos, h = (b a)/2,

b b x

w(x)dx =
a a b a

(t a)(t b)(t c)dtdx

xah

=
a h h y

(u + h)(u h)u dudx (u3 h2 u) dudy

h 5 h

= = 4h /15. Obtenemos E=

f (4) () 4 b a 5 ( ). 24 15 2

Nuevamente, si h = (b a)/2 es grande el error ser inadmisible. a Como hicimos en el caso de la regla del trapecio podemos aplicar la regla de Simpson a trozos sobre el intervalo [a, b ]: 4

 Calculo Numerico I sea h = (b a)/2n, xk = a + kh, jk = 0, 1, . . . , 2n,

b n x2j

Integracin o

f =
a j=1 n x2j2

f h [f (x2j2 ) + 4f (x2j1 ) + f (x2j )] 3

n

=
j=1

j=1

h5 IV f (j ). 90
regla de Simpson compuesta

Llamamos regla de Simpson compuesta a

Sn f =

ba [f (x0 ) + 4f (x1 ) + 2f (x2 ) + 4f (x3 )+ 6n + 2f (x2n2 ) + 4f (x2n1 ) + f (x2n )]

El error que se comete al tomar Sn f en vez de If es h5 E(Sn f ) = 90 h4 1 f (j ) = (ba) 90 2n j=1

iv n n

f iv (j ) =
j=1

h4 (ba)f iv (). 180

Tambin ahora podemos estimar el error por medio de e

n

j=1

h4 h5 iv f (j ) = 90 180

h4 2hf (j ) 180 j=1

iv

f iv ()d =
a

h4 (f (b)f (a)). 180

Si se corrige la regla de Simpson compuesta por medio de este error asinttico se obtiene la regla de Simpson corregida: o

regla de Simpson corregida

CSn (f ) = Sn f

(b a)4 [f (b) f (a)]. 2880n4

1 0

Ejemplo 19.1. Tratando ahora el ejemplo anterior 4dx 1 + x2

con la regla de Simpson compuesta, y observando que 96 es una 4 d cota superior para | dx 1+x2 | en el intervalo [0, 1], se obtiene que |E(Sn f )| buscamos n tal que 96 5 103 4 90n 5 96 ; 90n4

 Calculo Numerico I

Integracin o

para lo que ser suciente tomar n = 4. a El resultado ser S4 f = 3 14159250. Vemos que, aunque la acotacin a o del error que hemos obtenido para la regla de Simpson nos garantiza solamente dos cifras decimales, hemos obtenido cinco cinco cifras correctas. La correccin asinttica resulta ser cero ya que la o o derivada tercera se anula tanto en x = 0 como en x = 1.

20

Reglas de NewtonCotes

En general las reglas de integracin numrica que se obtienen por o e medio de la interpolacin polinmica como las del trapecio y de o o Simpson reciben el nombre de reglas de NewtonCotes. Para obtenerlas se escribe el polinomio interpolador en su forma de Lagrange P (x) = L0 (x)f (x0 ) + L1 (x)f (x1 ) + + Ln (x)f (xn ) y se obtienen los pesos a partir de las integrales de los polinomios Li
n b

Roger Cotes, 16821716

In f =
i=0

wi f (xi );

wi =
a

Li (x)dx.

Las reglas que se obtienen para n = 3 y n = 4 son: Regla de los tres octavos 3 I3 f = h[f (x0 ) + 3f (x1 ) + 3f (x2 ) + f (x3 )] 8 Regla de Boole
George Boole, 18151864

2 I4 f = h[7f (x0 ) + 32f (x1 ) + 12f (x2 ) + 32f (x3 ) + 7f (x4 )] 45 El error en el caso de la regla de los tres octavos viene dado por
b

I3 f
a

f (x)dx =

3 5 iv h f () 80

[a, b].

El error para la regla de Boole es

b

I4 f
a

f (x)dx =

8 7 vi h f (), 945

[a, b].

Todos estos resultados pueden obtenerse como ejercicio. En general la expresin del error en las reglas de NewtonCotes es o de naturaleza distinta segn la paridad de n: u

 Calculo Numerico I 1. Si n es par y f C n+2 [a, b], (a, b) tal que In f If = Cn hn+3 f (n+2) () donde 1 Cn = (n + 2)!
n

Integracin o

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

2. Si n es impar y f C n+1 [a, b], [a, b] tal que

b

In f
a

f = Cn hn+2 f (n+1) ()

donde Cn = 1 (n + 1)!
n

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

21

Reglas Gaussianas

Las reglas de NewtonCotes garantizan la integracin exacta de o polinomios hasta un determinado grado: el error en las reglas impares (trapecio, tres octavos,...) depende de la derivada de un orden superior (segunda, cuarta,...) y por tanto la regla integra exactamente polinomios hasta el mismo grado que indica la regla (primero, tercero,...); el error en las reglas pares (punto medio, Simpson, Boole,...) depende de la derivada de orden dos unidades por encima de la regla (segunda, cuarta, sexta,...) y por tanto integra exactamente polinomios polinomios hasta un grado por encima del orden de la regla (primero, tercero, quinto,...). A la vista de este comportamiento vamos a buscar reglas de integracin numrica de la forma o e wi f (xi ) que integren todos los polinomios hasta un determinado grado, el mayor posible para el nmero de sumandos elegidos para la regla. Obtendremos as las u llamadas reglas Gaussianas o cuadraturas de Gauss. Si utilizamos un slo nodo la regla resultante integrar exactamente o a polinomios de grado menor o igual a uno: (normalizamos el clculo a al intervalo [1, 1]). Sea x0 el nodo y w0 el peso correspondiente,
1 1

reglas Gaussianas cuadraturas de Gauss

peso

dx = w0 ,
1 1

xdx = w0 x0 .

De aqu resulta x0 = 0, w0 = 2. Si utilizamos dos nodos podemos integrar exactamente todos los polinomios de grado menor o igual que tres:

 Calculo Numerico I

Integracin o

I2 f = w1 f (x1 ) + w2 f (x2 ) I2 (1) I2 (x) I2 (x2 ) I2 (x3 ) = = = = w1 + w2 w1 x1 + w2 x2 w1 x2 + w2 x2 1 2 w1 x3 + w2 x3 1 2 = 2 = 0 = 2 3 = 0

Este sistema no lineal resulta tener solucin unica. Esta verica o w1 = w2 = 1 y x1 = x2 = 3/3. As 3 3 I2 (f ) = f ( ) + f( ). 3 3 En general y por el mismo procedimiento, utilizando n nodos podemos integrar exactamente todos los polinomios de grado 2n 1. Para obtener los nodos y los pesos de In debemos resolver el sistema no lineal 2 = w1 + + wn 0 = w1 x1 + + wn xn 2 = w1 x2 + + wn x2 1 n 3 (21.1) ... ... ... ... 2 = w1 x2n2 + + wn x2n2 1 n 2n1 0 = w1 x2n1 + + wn x2n1 1 n La resolucin de este sistema no lineal no es en general sencilla, de o hecho no est claro a priori que el sistema tenga solucin o que, en a o caso de existir, sta sea unica. e Abordamos el problema de su resolucin por otros medios. Suo pongamos primeramente que existen los xi y que son distintos y estn en el intervalo [0, 1]. El polinomio Ln (x) = (x x1 )(x a x2 ) (x xn ) debe tener integral exacta por medio de la regla de Gauss y por tanto esta debe ser cero, ya que Ln (xi ) = 0. Si Ln (x) = xn + a1 xn1 + + an1 x + an podemos determinar los coecientes ai por medio del sistema lineal de ecuaciones
1

0=
1

xk Ln (x)dx

k = 1, . . . , n.

De hecho se obtienen dos sistemas lineales separados, uno que contiene solamente a los coecientes de ndice par, y el otro solamente a los de ndice impar. Uno de ellos ser homogneo con solucin a e o trivial, por tanto el polinomio obtenido tendr solamente trminos a e cuyo grado tenga la misma paridad que n. Los ceros de este polinomio son los nodos xi buscados. En general se obtendrn por a algn mtodo de resolucin de ecuaciones no lineales (Newton,...). u e o Los polinomios Ln reciben el nombre de polinomios mnicos de o Legendre y han sido estudiados extensivamente.

polinomios monicos de Legendre

 Calculo Numerico I

Integracin o

Una vez calculados (aproximados) los nodos, podemos volver al sistema 21.1, que resultar un sistema lineal en las wi con un exa ceso de ecuaciones. Tambin podemos recurrir al siguiente mtodo e e para calcular los pesos. Para calcular el peso wi consideramos el polinomio Ln (x) pi (x) = x xi es decir, le quitamos al polinomio Ln el factor x xi . La integral de este polinomio debe ser exacta por la regla de Gauss (su grado es menor que 2n 1) y por tanto
1

wi pi (xi ) =
1

pi (x)dx.

Los dos clculos anteriores resultan ms sencillos si se observa que a a los nodos son simtricos respecto de cero y por tanto los pesos para e dos nodos simtricos son iguales. e