METODOS MATEMATICOS DE ESPECIALIDAD. ELECTRONICA Y AUTOMATICA. (CLCULO NUMERICO) a Integracin numrica.

o e
Generalidades.
Es sabido que el clculo de una integral tal como a
b a

f (x) dx

es trivial si se conoce una funcin primitiva del integrando, es decir una funcin derivable o o (x). En ese caso por la conocida regla de Barrow se tiene F (x) tal que f (x) = F
b a

f (x) dx = F (b) F (a)

En ciertos casos importantes, este procedimiento no es aplicable porque el integrando no admite primitiva elemental. Por ejemplo, no existe primitiva elemental para la funcin o

ex2
y por tanto el clculo de la integral de esta funcin sobre un intervalo no se puede realizar a o aplicando la regla de Barrow. Por otro lado, es sabido que integrales de funciones relacionadas con esta funcin son importantes en el clculo de probabilidadades Recordemos o a en este sentido que si X es una variable aleatoria normal de de media y desviacin tpica o , su funcin de densidad es o 1 2 f (x) = exp (x 22 ) 2 de modo que se tiene
b 2 1 exp (x 2 2 ) dx P (a X b ) = 2 a

Las consideraciones anteriores plantean como cuestin bsica la necesidad de disear o a n procedimientos numricos para la estimacin del valor de una integral. Puesto que los e o polinomios son funciones muy fciles de integrar, una manera natural de aproximar el a valor de la integral es obtener un polinomio p(x) que aproxime la funcin f (x) en el o intervalo [a, b] y utilizar como aproximacin de la integral inicial el valor de la integral del o polinomio aproximante; es decir
b a

f (x) dx

b a

p(x) dx

Lo ms sencillo es utilizar como polinomio aproximante el polinomio que interpola a la a funcin en algunos puntos del intervalo. Sin embargo, como sabemos que cuando se utilizan o muchos nudos de interpolacin el polinomio tiende a oscilar excesivamente en torno a los o nudos extremos, utilizado directamente este procedimiento no resulta muy efectivo. Se mejora si se trocea el intervalo en subintervalos y se estima la integral en cada subintervalo utilizando unos pocos nudos de interpolacin. o De este modo, todos los mtodos de integracin numrica aproximan el valor de la e o e integral mediante una combinacin lineal de los valores de la funcin en determinados o o puntos, es decir mediante una frmula del tipo siguiente: o
b a

f (x) dx c1 f (x1 ) + cn f (xn )

Tradicionalmente, estas frmulas reciben el nombre de formulas de cuadratura, como una o reminiscencia de que en el origen de la nocin de integral est el problema geomtrico de o a e calcular el area de un recinto, lo que equivale a cuadrarlo, o sea a determinar un cuadrado cuya area sea la del recinto. Si se utiliza la interpolacin en un slo intervalo la frmula o o o de cuadratura se denomina simple, calicndose de compuesta cuando se combina sobre a varios intervalos. Dada una funcin f : [a, b] R, el polinomio de primer grado que interpola a la o funcin en los extremos del intervalo viene dado por o Usando este polinomio se obtiene la siguiente aproximacin de la integral de la funcin o o sobre el intervalo
b a

La regla de los trapecios

a p(x) = f (a) b x + f (b) x a ba b

b bx

f (x) dx f (a)

b a dx + f (b) a b a dx (b x ) 2 b + f (b ) (x a ) 2 b = f (a) 2(b a) 2(b a) a a = (b a ) f ( a ) + f ( b )

a

b xa

2 2

Ntese que el resultado coincide con el area de un trapecio cuyas bases paralelas miden o f (a) y f (b) y cuya altura es (b a). Esta observacin justica la denominacin utilizada. o o La frmula anterior es un primer ejemplo de una frmula de cuadratura simple. La o o correspondiente frmula de cuadratura compuesta se obtiene si dividimos el intervalo de o integracin en subintervalos y aplicamos la frmula anterior a cada uno de ellos. En ese o o caso, en el supuesto de que la funcin fuese positiva, su integral se estima la suma de de o las areas de los trapecios mediante la suma de las areas de varios trapecios. Para elaborar la frmula concreta en que se traduce esta idea geomtrica, consideremos o e la particin del intervalo [a, b] denida seleccionando n + 1 puntos xk en el intervalo de o modo que a = x0 < x1 < < xn1 < xn = b El area del trapecio correspondiente al subintervalo [xk1, xk ] es (xk xk1 ) f (xk1)2+ f (xk ) . Sumando estas expresiones obtenemos la aproximacin o
b a

f (x) dx

n k=1

(xk xk1 ) f (xk1)2+ f (xk )

Esta frmula se simplica cuando el intervalo de integracin est dividido en subintervalos o o a de la misma longitud. En este caso los puntos de la particin vienen dados por o

xk = a + kh,

k = 0, 1, . . ., n

siendo h = b a . Introduciendo la notacin fk = f (xk ), resulta o n

b a

f (x) dx h 1 f0 + f1 + + fn1 + 1 fn 2 2

que es la frmula de cuadratura correspondiente a la regla de los trapecios. o

Acotacin de error en la regla trapezoidal. o

Como primer paso para estimar el error de la frmula de los trapecios es util el o resultado siguiente. TEOREMA: Sea f una funcin con derivada segunda continua en el intervalo [a, b]. Existe o un c en ese intervalo tal que
b a

( f (x) dx = f (a) + f (b) (b a) f 12c) (b a)3 2

Demostracin: Recordando la frmula del error de interpolacin establecida al tratar de la o o o interpolacin polinomial, sabemos que si p(x) es el polinomio de primer grado que interpola o a la funcin f (x) en los puntos a y b, para cada x (a, b) se tiene una expresin como o o

f (x) p(x) = 1 f (x)(x a)(x b), 2

Si ponemos

x (a, b)

M = xmax ] f (x), [a,b

m = xmin ] f (x). [a,b

y observamos que el polinomio (x a)(x b) es negativo en (a, b), para el segundo miembro de la representacin anterior se tienen las desigualdades o

M (x a)(x b) 1 f ( )(x a)(x b) m (x a)(x b) 2 2 x 2

las cuales permiten acotar los errores de interpolacin en la forma o

M (x a)(x b) f (x) p(x) m (x a)(x b)

2 2 Al integrar estas desigualdades, teniendo en cuenta que
b a

(x a)(x b) dx = (b a) , 6
3

se deduce

M (b a)3 b f (x) dx f (a) + f (b) (b a) m (b a)3 12 2 12

a

As pues, por la continuidad de la derivada segunda, debe existir un c [a, b] tal que
b a

( f (x) dx f (a) + f (b) (b a) = f 12c) (b a)3 2

y sin ms que despejar la integral se obtiene inmediatamente la frmula dada en el enuna o ciado del teorema. 4

De este teorema se deduce fcilmente una acotacin del error de la regla trapezoidal a o compuesta. Limitndonos al caso de dividir el intervalo [a, b] en n partes iguales, mantea niendo las notaciones antes utilizadas, si lo aplicamos a cada uno de los subintervalos y sumamos las igualdades correspondientes resulta la frmula o
b a

f (x) dx = h 2

n k=1

(fk1 + fk ) h 12
3

n k=1

f (ck ) ,

c k [ x k 1 , x k ]

Puesto que la media aritmtica de varios nmeros est comprendida entre el mayor y el e u a menor de ellos, suponiendo la continuidad de f en el intervalo de integracin se puede o armar que existe [a, b] tal que
n k=1 b a

f (ck ) = nf ( )

y con ello el error de la frmula compuesta de los trapecios admite la representacin o o

n 3 f (x) dx h (fk1 + fk ) = (b12na2) f ( ), 2 k=1

[a, b]

Ntese que este error es meramente proporcional al cuadrado del paso de integracin h. o o En ciertas ocasiones es necesario emplear el valor del factorial de un nmero relatiu vamente grande. As ocurre en el clculo de probabilidades, como despus veremos en un a e ejemplo. Puesto que los factoriales crecen velozmente, su clculo directo es laborioso, por a lo cual es interesante obtener estimaciones de sus valores. Se consigue esto con la frmula o de Stirling, cuya deduccin realizaremos en esta seccin. o o Aplicando la regla de los trapecios a la funcin logaritmo en el intervalo [1, n], supuesto o dividido por los nmeros enteros, se deduce la estimacin u o
n
1

La frmula de Stirling. o

log x dx log (n!) 1 log n 2 log x dx = n log n n + 1

Por otro lado, usando la regla de Barrow, el valor exacto de la integral es

n
1

Comparando ambas expresiones se obtiene la aproximacin o 1 log (n!) 2 log n + n log n n + 1 5

que se puede escribir en la forma

Podemos matizar esta aproximacin acotando el error cometido al aplicar la regla de o los trapecios en el clculo de la integral. Para ello usaremos de nuevo la frmula del error a o de interpolacin lineal, que para la funcin logaritmo da lugar a la igualdad o o log x = log a + log b log a (x a) + 1 (b x)(x a), (a, b)

n n! e n n e

ba

Dado que la funcin 1/x2 es positiva y decreciente, al integrar la desigualdad anterior se o obtiene la acotacin o b a 3 0 log x dx (b a) log a + log b (b 6a2 ) 2 a Al particularizar estas desigualdades para un intervalo de la forma [k, k +1], con k positivo, podemos escribir que
k+1 k

log x dx = log k + log(k + 1) + k 2

donde el error k es no negativo e inferior a 1/6k 2 . Sumando para k = 1, 2, . . .n 1 resulta que n log x dx = log(n!) 1 log n + n 2 1 n1 1 0 n := k 6 2 k=1 k k=1 Si, como anteriormente hicimos, substituimos la integral por su valor, reordenamos y tomamos antilogaritmos, podemos escribir la relacin anterior en la forma o
n1

siendo

Observemos ahora que

n1 1 n1
2

n n! = e1n n n e n1

de manera que n 1/3, lo que signica que la sucesin cuyo trmino general es n est o e a superiormente acotada. Como adems es claramente no decreciente, puede asegurarse que a es convergente. Por la continuidad de la exponencial, la sucesin cuyo trmino general es o e n (n! )n = e1n n/e 6

1 1 =2 1 2 1 + k(k 1) 1 + n1 k=1 k k=2 k=2 k 1 k 1

tambin tendr por lmite cuando n tienda a un cierto nmero real . e a u La determinacin del valor de este lmite puede efectuarse de manera indirecta o recurriendo a la frmula de Wallis, a saber que o

n 1 = nlim n (2(2)!! n 1)!!

frmula que se demuestra en el anexo. Alternativamente, podemos escribir que o

= lim (2n)!! = lim (2n)!! = lim 4n (n!)2 1 1 1 n n (2n)! n n (2n 1)!! n n (2n)!
Substituyendo los factoriales por sus estimaciones resulta la aproximacin o
n n 1 4 n(n/e) = n (2n)! n 2n 2n(2n/e) 2

1 4n (n!)2

que, al pasar al lmite, da lugar a la igualdad = 2. Podemos pues escribir que lim n! n = 1 n 2n (n/e) resultado que permite aproximar los factoriales elevados mediante la estimacin o
n n! 2n n e

Esta aproximacin del factorial de un nmero es la que se conoce como frmula de Stirling. o u o La frmula de Stirling da estimaciones del factorial muy cercanos a los valores exactos o incluso para enteros no muy elevados. A ttulo de ejemplo ilustrativo, para n = 10 la frmula proporciona por defecto el valor 3598696, en tanto que el valor exacto es o 10! = 3628800 siendo el error relativo de la estimacin inferior al uno por ciento. o 7

Como ejemplo de aplicacin, tomado del Clculo Integral de Puig Adam, determinareo a mos la probabilidad de que al dividir una baraja espaola de cuarenta cartas en dos partes n iguales existan en cada mitad dos cartas de cada nmero; o sea: dos ases, dos doses, dos u treses y s hasta dos reyes. El nmero total de particiones posibles de la baraja en dos u mitades es 40 = 40! (20!)2 20 El nmero total de combinaciones que se pueden formar con dos ases, dos doses, etc... es u 4 2
10

= 610

La probabilidad buscada es el cociente del nmero de casos favorables al nmero de casos u u posibles, es decir 10 2 p = 6 (20!) 40! Usando la frmula de Stirling se obtiene el valor o

p 0.000435
Calculado exactamente con seis decimales, el valor real de esta probabilidad es 0.000438, sensiblemente similar al aproximado. La idea bsica de la regla de los trapecios es substituir la grca de la funcin a integrar a a o por la poligonal que pasa por los puntos de la grca determinados por una particin del a o intervalo de integracin. Esto equivale a decir que se ha hecho una interpolacin lineal de o o la funcin en cada subintervalo. Se obtiene frmulas ms precisas si se interpola a trozos o o a con polinomios de grado ms elevado. Nos limitaremos a desarrollar de un modo general a unicamente la frmula de cuadratura simple. o Dado que en algunas ocasiones como sucede en el caso de integrales impropias, la funcin no est denida en alguno de los extremos del intervalo de integracin, es conveniente o a o no forzar a que los nudos utilizados incluyan los extremos del intervalo. Elegimos por ello como nudos de interpolacin los n + 1 puntos xk de modo que o

Mtodos de Newton-Cotes. e

a x0 < x1 < . . . < xn1 < xn b.

Construyamos con los valores que la funcin f (x) toma en esos puntos el polinomio de o interpolacin que, como sabemos, viene dado por o

p(x) =

n k=0

f (x k )L k (x )

frmula en la que se emplean los polinomios de Lagrange dados por o

L k (x ) =

x xl l=k xk xl

Substituyendo la funcin por este polinomio, su integral en [a, b] se estima por la frmula o o de cuadratura
b a

f (x) dx

k=0

wk f (xk )

cuyos coecientes wk que no dependen de de la funcin f vienen dados por o

wk =

b a

Lk (x) dx =

x xl dx, a l=k xk xl

k = 0, 1, . . ., n

Las frmulas anteriores se simplican cuando se consideran particiones del intervalos o en subintervalos de la misma longitud, es decir cuando se consideran nudos de interpolacin o equidistribuidos sobre el intervalo de integracin. Previamente, observemos que con el o cambio de variable x = a + t(b a) se tiene la igualdad
b a

f (x) dx = (b a)

1 0

f (a + t(b a)) dt

que permite considerar que el intervalo de integracin es [0, 1]. De este modo, si introducio mos los nmeros u

ck :=

1 0

nx l dt, l= k k l

k = 0, 1, . . ., n

obtenemos las frmulas de cuadratura o

b a

f (x) dx (b a)

n k=0

ck f (a + kh),

h := b a n

que se denominan de NewtonCotes. 9

La determinacin de los coecientes wk , y en particular de los ck , se puede reducir a la o resolucin de un sistema de n + 1 ecuaciones lineales observando que para todo polinomio o de grado menor o igual que n la regla anterior proporciona exactamente el valor de la integral. Considerando entonces los polinomios xm , con m = 0, 1, . . ., n, podemos escribir situados en el caso general de nudos de interpolacin elegidos arbitrariamente las o igualdades n m+1 m+1 m = 0, 1, . . .n wk xm = b m a1 k + Estas igualdades constituyen un sistema de ecuaciones que matricialmente se escribe como
x0 2 x0 . .

k=0

1 .

x1 x2 2
.. .

1 1 .. .

w0 0 xn w1 1 x2 w2 = 2 n

xn xn x n n 0 1
m+1 m+1

wn

.. .

.. .

donde, para simplicar la notacin, se han introducido los nmeros o u

m := b m a1 +

m = 0, 1, . . .n

Restringindonos a las frmulas de NewtonCotes, para el caso mas simple de conside o erar slo los dos extremos de [0, 1] resulta el sistema o 1 1 0 1

c0 = 1 c1 1/2

cuyas soluciones evidentes son los nmeros c0 = c1 = 1/2 resultando as la regla del u trapecio b f (x) dx (b a) f (a) + f (b) 2
a

10

 La regla de Simpson.

Si consideramos tres puntos equidistribuidos en el intervalo [0, 1] se tiene el sistema

1 1 1 c0 1 0 1/2 1 c1 = 1/2 0 1/4 1 c2 1/3 cuyas soluciones se obtienen con facilidad y son los nmeros u 2 c0 = c2 = 1 c1 = 3 6 Obtenemos as la regla de integracin aproximada o

f (x) dx b a f (a) + 4f a + b + f (b) 6 2 a

frmula de cuadratura que es conocida como la regla de Simpson. o Es interesante el hecho de que esta frmula de cuadratura es exacta no slo para los o o polinomios de segundo grado sino tambin para los de tercer grado. Es decir que si el e polinomio p(x) tiene grado menor o igual que 3, se tiene
b a

p(x) dx = (b a) p(a) + 4p(m) + p(b) , 6

con m = a + b 2

Puesto que un cambio afn de variable no altera el grado de un polinomio, para de mostrar esta igualdad bastar, sin prdida de generalidad, comprobarla cuando el intervalo a e de integracin es [1, 1]. En ese caso la implicacin a demostrar se reduce a la siguiente o o grado p(x) 3 =
+1

1 p(x) dx = 3 p(1) + 4p(0) + p(+1)

Puesto que la frmula es trivialmente vlida para una constante o cualquier monomio o a de grado impar, slo hace falta comprobar su validez para p(x) = x2 , lo que se verica o inmediatamente, puesto que el primer miembro es
+1

3 x dx = x 3 2

+1

=2 3

siendo el valor del segundo 1 (1)2 + 4 02 + (+1)2 = 2 3 3 Este resultado no es una casualidad, pues se puede demostrar que las frmulas de cuao dratura de Newton-Cotes con un nmero n par de intervalos son exactas para polinomios u de grado n + 1. 11

La frmula de Simpson compuesta para estimar la integral de una funcin f (x) sobre o o un intervalo [a, b] se deduce fcilmente de la expresin anterior. Dividamos el intervalo a o [a, b] en un nmero par 2n de intervalo iguales y pongamos que u

h = b 2n a ,
Se tiene entonces
b a

fk = f (a + kh), k = 0, 1, . . ., 2n
x2k

f (x) dx =

= h [f0 + 4f1 + 2f2 + + 2f2n2 + 4f2n1 + f2n ] 3

k=1 x2k2 n 2h f2k2 + 4f62k1 + f2k k=1

f (x) dx

Error en la frmula de Simpson. o

En principio el error de la frmula de cuadratura de Simpson puede hacerse de manera o similar a como se hizo en el caso de la regla trapezoidal, pero surgen dicultades que hacen que el anlisis se complique. Partimos de la expresin del error de interpolacin en tres a o o puntos, a saber la frmula o
( f (x) p(x) = f 3!x ) (x a)(x m)(x b)

En este caso el polinomio del segundo miembro cambia de signo en el intervalo [a, b], por lo que no se puede seguir como se hizo al estudiar el error de la regla trapezoidal. Sin embargo, admitiendo que el integrando tiene tercera derivada continua en [a, b], si denominamos

M3 = xmax ] |f (x)| [a,b

se tiene la acotacin o

f (x) p(x) M3 (x a)(x m)(x b) 3!

y de ah se deduce que
b a

f (x) p(x) dx

b a

f (x) p(x) dx
b a

M3
3!

(x a)(x m)(x b) dx

12

Es fcil comprobar que el polinomio a

(x) := (x a)(x m)(x b)

es negativo en el subintervalo (m, b) y adems cumple que a

(m x) = (x m)
De esta observacin se deduce que o
b a

(x a)(x m)(x b) dx = 2

b m

(x a)(x m)(x b) dx

Si ahora hacemos en la integral del segundo miembro el cambio de variable

x = m + ht,
se obtiene
a b

h := b a 2
4 0 1

(x a)(x m)(x b) dx = 2h
b

Utilizando este resultado resulta la acotacin o

t 1 t2 dt = 1 h4 2

f (x) p(x) dx M3 h4 12 a
Esta acotacin no es satisfactoria pues no recoge el hecho de que para un polinomio o de tercer grado la frmula de cuadratura es exacta. Se puede mejorar del modo siguiente. o Construyamos el polinomio q(x) de tercer grado que adems de interpolar los valores de a la funcin en los tres puntos a, m y b cumple que o

q (m) = f (m)
Para deducir la expresin de este polinomio, mantengamos que p(x) es el polinomio de o segundo grado que interpola los valores de f (x) en esos tres puntos, y expresemos q(x) en la forma q(x) = p(x) + (x a)(x m)(x b) Dado que se tiene entonces

q (m) = p (m) + (m a)(m b)

tras igualar este valor con el de f (m) y despejar el valor del parmetro , resulta que este a nuevo polinomio viene dado por

f (m) p (m) (x a)(x m)(x b) q(x) = p(x) + (m a)(m b)

13

Se puede demostrar adems, imitando el modo en que se dedujo la expresin del error de a o interpolacin simple, que si f (x) es cuatro veces derivable se tiene o

f (x) q(x) = f 4!(x) (x a)(x m)2 (x b),

(

IV )

x (a, b)

Obsrvese que ahora el polinomio del segundo miembro toma valores menores o iguales e que 0 en el intervalo [a, b]. Si admitimos que el integrando tiene derivada cuarta continua y ponemos = xmax ] f (IV ) (x), = xmin ] f (IV ) (x) [a,b [a,b habida cuenta del signo del polinomio, se tienen las acotaciones

(x a)(x m)2 (x b) f (x) q(x) (x a)(x m)2 (x b) 4! 4!

Integrando estas desigualdades, recordando que q(x) interpola los valores de f (x) en los tres puntos y dado que la frmula de Simpson es exacta para polinomios de grado 3, resulta o que

I b f (x) p(x) dx b a f (a) + f (m) + f (b) I 4! 6 4! a I = (x m)2 (x a)(x b) dx

4h5 , t 1 t dt = 15 I = h 1
5 +1 2 2

siendo

Si hacemos de nuevo el cambio de variable x = m + ht, el valor de esta integral resulta ser

h= ba 2
5

Utilizando este resultado deducimos las acotaciones

90 b a 2

f (x) dx b a (f (a) + 4f (m) + f (b)) 90 b a 6 2 a

y por la continuidad de la derivada cuarta del integrando concluimos que existe un punto en el intervalo [a, b] de modo que se tiene la igualdad
(IV ) ( f (x) dx b a f (a) + 4f a + b + f (b) = f 2880 ) (b a)5 6 2 a

14

Procediendo ahora como en la regla compuesta de los trapecios, al dividir el intervalo [a.b] en 2n partes iguales resulta que el error

E=

b a

f (x) dx h [f0 + 4f1 + 2f2 + + 2f2n2 + 4f2n1 + f2n ] 3

de la regla de Simpson compuesta viene dado por la expresin o

(IV ) ( E = f2880n4) (b a)5

Frmulas de cuadratura gaussiana. o

Las frmulas de cuadratura son de la forma general o
b a

f (x) dx w0 f (x0 ) + w1 f (x1 ) + + wn f (xn )

En los mtodos de NewtonCotes, jados los nudos xk , los coecientes de peso wk se eligen e de modo que la frmula sea exacta para todo polinomio de grado menor o igual que n. o La idea de los mtodos de cuadratura gaussianos consiste en dejar libres tanto los nudos e xk como los pesos wk para aumentar el grado de los polinomios para los que la frmula o funciona exactamente. Habida cuenta de que disponemos de 2n + 2 parmetros, a saber los n + 1 nudos y los a n + 1 pesos, es natural que intentemos que la frmula sea exacta para polinomios que sean o hasta de grado 2n + 1. Como despus veremos esto es siempre posible para todo valor de e n. Como ejemplo introductorio elemental, tratemos de obtener una frmula de cuadrao tura de la forma
+1

f (x) dx w1 f (x1 ) + w2 f (x2 )

de modo que sea exacta para polinomios de grado menor o igual que 3. Teniendo en cuenta que 0 si es impar +1 +1 +1 1 (1) +1 dx = x x + 1 1 = + 1 = 2/( + 1) si es par 1 15

esto equivale a imponer que se satisfagan las igualdades

w1 + w2 w1 x1 + w2 x2

=2 =0 2 2 w1 x1 + w2 x2 = 2/3 w1 x3 + w2 x3 = 0 1 2 Estas igualdades constituyen un sistema no lineal de cuatro ecuaciones con cuatro incgnio tas que se puede resolver del modo siguiente. Escribiendo las ecuaciones segunda y cuarta en la forma w1 x1 = w2 x2, w1 x3 = w2 x3 1 2 y dividiendo trmino a trmino se obtiene la ecuacin e e o

x2 = x2 2 1
Excluyendo la posibilidad x1 = x2 , que no es de inters para nuestro problema, resulta e que se debe tener x2 = x1 . Utilizando esta relacin en la segunda ecuacin, resulta que o o w1 = w2 y como su suma por la primera ecuacin debe ser igual a 2, concluimos que o ambos pesos deben ser iguales a 1. Combinando ambos resultados, la tercera ecuacin se o reduce a x2 = 1 1 3 de manera que nalmente hallamos que En denitiva, la frmula de cuadratura obtenida es la siguiente o

x2 = x1 = 33

f (x) dx f 33 + f + 33 1 Comparemos el resultado de aplicar esta frmula en la integral o

+1 +1

1
+1

ex dx = e 1 2.35040238728760 e

con el obtenido con la regla trapezoidal. Con esta segunda regla de cuadratura se tiene
1
+1 +1 1 ex dx 2 e + e 3.08616126963049 2

mientras que con la regla que acabamos de obtener el resultado es

1 ex dx e 3/3 + e 3/3 2.34269608790973

16

que es notoriamente ms aproximado al valor exacto. a

Polinomios ortogonales.
En el espacio de los polinomios de coecientes reales, la forma bilineal

p(x)|q(x) :=

b a

p(x)q(x) dx

determina un producto escalar. Dos polinomios se dicen ortogonales si su producto escalar se anula. La teora de polinomios ortogonales es de inters en la aproximacin de funciones e o mediante polinomios. Aqu nos limitaremos a estableces una propiedad que resulta decisiva en relacin con la cuadratura gaussiana. Se trata del siguiente resultado o
Proposicin: o Sea (x) un polinomio de grado n + 1 que es ortogonal en el intervalo [a, b] a todo polinomio de grado menor o igual que n. Entonces el polinomio tiene en el intervalo [a, b] un total de n + 1 ceros reales distintos. Demostracin: La prueba es por contradiccin, demostrando que si el polinomio tuviese o o menos ceros reales nos veramos conducidos a un resultado imposible. Supongamos que sean c1 , , cr , con r n, los ceros reales del polinomio (x) situados en el intervalo [a, b] y en los que el polinomio (x) cambia de signo, es decir los ceros simples o los de multiplicidad impar. Consideremos entonces el polinomio auxiliar

p(x) = (x c1 ) (x cr )
cuyo grado ser, obviamente, menor o igual que n. Por la propiedad de ortogonalidad se a debe tener entonces que
b a

(x)p(x) dx = 0

Ahora bien, cada uno de los nmeros c1 , . . ., cr es calamente un cero de orden par del u integrando, por lo que puede asegurarse que ste no cambia de signo en ese intervalo. e De ese modo sera imposible que su integral sobre ese intervalo fuese igual a cero. Por consiguiente se debe tener r n + 1, es decir que (x) debe tener todos sus ceros reales y simples. c.q.d. Establecido este resultado, vamos a ver que si tomamos como nudos de interpolacin o los ceros del polinomio (x), y aproximamso la integral de una funcin por la de su polio nomio interpolador en esos nudos, obtenemos una formula de cuadratura que resulta ser exacta para todo polinomio de grado menor o igual que 2n + 1. 17

En primer lugar, sin ms que efectuar la divisn polinomial, para todo polinomio p(x) a o cuyo grado sea menor o igual que 2n + 1 se tiene

p(x) = q(x)(x) + r(x)

donde adems de ser el grado del resto menor o igual que n tambien se tiene a grado q(x) n puesto que el grado de p(x) debe ser en todos caso la suma de los grados de (x) y q(x). Como consecuencia se puede poner
b a

p(x) dx =
=

b a b a

(x)q(x) dx + r(x) dx

b a

r(x) dx

Ahora bien, para todo cero del polinomio (x) se tiene

p (x k ) = r (x k ) ,

k = 0, 1, . . ., n

de manera que el resto r(x) es precisamente el polinomio que interpola al dividendo p(x) en los ceros del divisor (x). Por tanto se tiene

r (x ) =
siendo

n k=0

p (x k ) L k (x )

L k (x ) =
b a b n

x xl l=k xk xl
n k=0

Utilizando esta representacin del resto obtenemos que o

p(x) dx =

a k=0 b a

p (xk ) Lk (x) dx =

wk p (xk )

donde los pesos viene determinados por las integrales

wk :=

Lk (x) dx
18

k = 0, 1, . . ., n

Una importante propiedad de estos pesos wk es que son nmeros positivos. Para u comprobar esta armacin consideremos apliquemos la igualdad anterior al polinomio o

p(x) = Li (x)2
que tiene grado 2n. Resulta as que
b a

Li (x) dx =
2

n k=1

wk Li (xk )2

pero dado que

Li (xk ) =
la igualdad se reduce a la siguiente
b a

1 si k = i 0 si k = i

Li (x)2 dx = wi Li (xi )2 = wi

Caracterizacin de los polinomios ortogonales. o

Identiquemos los coecientes de los polinomios (x) de grado n + 1 que tienen la propiedad de ser ortogonales a los de grado inferior. Si ponemos

(x) = c0 + c1 x + + cn xn + cn+1 xn+1

el polinomio debe satisfacer las n condiciones
b a

xk (x) dx = 0,
b a

k = 0, 1, . . ., n

Introduciendo los momentos del intervalo [a, b], denidos por

:=

x dx, = 0, 1, 2, . . .

las ecuaciones anteriores dan lugar al sistema

0 1

n n+1 . . . 2n 2n+1
19

.. .

1 2
.. .

. . . n n+1 c0 . . . n+1 n+2 c.2

.. .

.. .

cn+1

cn

..

0 . . .

0 0

Este sistema es un sistema indeterminado de n + 1 ecuaciones con n + 2 incgnitas. Si o aadimos la condicin de que (x) sea un polinomio mnico, es decir que su coeciente n o o principal cn+1 = 1, el sistema se reduce al siguiente sistema

0 1

n n+1 . . . 2n

.. .

1 2
.. .

. . . n c0 . . . n+1 c2
.. .

cn

.. .

= .. .

n+1 n+2

2n+1

Habida cuenta de que la matriz de coecientes de este sistema es la matriz de Gram de los polinomios 1, x, x2, . . ., xn correspondiente al producto escalar de polinomios denido por

p(x)|q(x) :=

b a

p(x)q(x) dx

se puede armar que esa matriz es denida positiva y por tanto invertible; de este modo el sistema tiene solucin unica. o

Ejemplo numrico. e

A ttulo de ejemplo ilustrativo, determinaremos el polinomio mnico de tercer grado o que es ortogonal a los de grado inferior en el intervalo [1, +1]. Puesto que en este caso los momentos vienen dados por

+1

dx =

1 (1) +1

+1

2 / (

+ 1) si = 0, 2, 4, . . . si = 1, 3, 5, . . .

el sistema lineal correspondiente es 2 0 2/3 c0 0 0 2/3 0 c1 = 2/5 2/3 0 2/5 c2 0 Inmediatemente se obtiene que c1 = 3/5; adems, puesto que la primera y tercera ecuaa ciones se reducen al sistema homogneo e 1 1/3 1/3 1/5

c0 = 0 , c2 0

los otros dos coecientes c0 y c2 son nulos. El polinomio buscado es por tanto (x ) = x 3 3 x 5 20

Los tres ceros de ese polinomio son 0 y r, siendo r = 3/5. Por tanto la frmula o de cuadratura gaussiana correspondiente es de la forma
+1

f (x) dx w1 f (r) + w2 f (0) + w3 f (+r)

Las soluciones de este sistema son

Los pesos se pueden determinar por el mtodo de coecientes indeterminados resolviendo e el sistema de ecuaciones que resulta de las tres igualdades que resultan al utilizar que esa frmula de cuadratura es exacta para cada uno de los monomios x con = 0, 1, 2. As se o obtienen las tres ecuaciones w1 + w2 + w3 = 2 w1 (r) + w3 (+r) = 0 2 w1 (r)2 + w3 (+r)2 = 3 5 w1 = w3 = 312 = 9 , r
+1

w2 = 2 10 = 8 9 9

En sntesis la frmula de cuadratura gaussiana resulta ser o 8 5 f (x) dx 9 f 3 + 9 f (0) + 5 f + 3 5 9 5 1 Comparemos el resultado de utilizar esta frmula de cuadratura para estimar el valor o de la integral +1 ex dx 2.35040238728760 con el que resulta de aplicar la regla de Simpson. Con esta se obtiene la aproximacin o
1

ex dx 1 1 + 4 + e 3 e 1
+1

2.36205375654350
Si usamos la cuadratura gaussiana el resultado es
+1

ex dx 1 5e 3/5 + 8 + 5e+ 3/5 9 2.35033692868001

21

 La frmula de Rodrigues. o
En lo que sigue nos limitamos a considerar polinomios ortogonales en el intervalo [1, +1]. Denominemos n (x) a un polinomio de grado n que es ortogonal a todos los de grado menor que n. Este polinomio admite una representacin de la forma o

dn n (x) = dxn n (x)

donde n (x) es un determinado polinomio de grado 2n. Por la propiedad de ortogonalidad para todo polinomio p(x) de grado menor que n se debe tener
+1

n (x)p(x) dx =

+1

dn p(x) dxn n (x) dx = 0

Efectuando sucesivas integraciones por partes resulta que

+1

dn ( ( p(x) dxn n (x) dx = p(+1)nn1)(+1) p(1)nn1) (1)

+1

( ( = p(+1)nn1)(+1) p(1)nn1) (1)

dn1 p (x) dxn1 n (x) dx

( ( p (+1)nn2) (+1) p (1)nn2) (1) + +1

dn2 p (x) dxn2 n (x) dx

Si se reitera este proceso un total de n veces se tiene

+1

n1 dn ( ( p(x) dxn n (x) dx = (1)k p(k) (+1)nnk1)(+1) p(k) (1)nnk1)(1) + k=0

+ (1)n =
n1 k=0

+1

p(n) (x)n(x) dx

( ( (1)k p(k) (+1)nnk1)(+1) p(k) (1)nnk1)(1)

justicndose la eliminacin de la integral en el ultimo paso porque el polinomio p(x) tiene a o grado menor que n y por tanto su derivada ensima es idnticamente nula. e e 22

En denitiva deducimos que el polinomio n (x) debe cumplir, cualquiera que sea el polinomio p(x) de grado menor que n, la siguiente condicin o
n1 k=0
( ( (1)k p(k) (+1)nnk1)(+1) p(k) (1)nnk1)(1) = 0

Obviamente esto slo ser posible si este polinomio cumple que o a

( ( nnk1)(+1) = 0 = nnk1)(1),

k = 0, 1, . . ., n 1

lo que equivale a decir que el polinomio n (x) tiene dos ceros de multiplicidad n en cada uno de los puntos 1. Su expresin debe ser entonces necesariamente de la forma o

d n x2 1 n , n (x) = Cn dxn

Cn = 0

Una consecuencia inmediata de esta representacin es que estos polinomios son funciones o pares o impares segn que su grado sea par o impar. Esto es una consecuencia directa del u hecho de que la derivada de una funcin par (impar) es una funcin impar (par). o o Los polinomios de Legendre se obtienen cuando se eligen las constantes Cn de modo que en 1 tomen el valor 1. Utilizando la frmula de Leibniz se tiene o

dn x2 1 n = dn [((x 1)n (x + 1)n ] dxn dxn n n dnk dk (x 1)n dxk (x + 1)n = nk k=0 k dx n n n! (x 1)k n! (x + 1)nk = k! k=0 k (n k)!
y al particularizar esta frmula para x = 1 se halla que o

dn x2 1 n = n! 2n dxn x=1
Por tanto los polinomios de Legendre vienen dados por

dn Pn (x) = n!12n dxn x2 1 n

23

Ser de inters en lo que sigue deducir la expresin del coeciente del trmino de a e o e mximo grado del polinomio Pn (x). Claramente es el mismo que el del polinomio a 1 dn x2n n! 2n dxn y as se obtiene que (2 Pn (x) = (n!)n)! n xn + 2 2 Tambin nos har falta deducir la expresin del cuadrado de la norma de los polinomios e a o de Legendre, es decir calcular la integral de su cuadrado. Utilizando reiteradamente la frmula de integracin por partes o o

f (k) (x)g (l) (x) dx = f (k) (x)g (l1)(x) f (k+1) (x)g (l1)(x) dx
y el hecho de que las potencias positivas del polinomio x2 1 tienen ceros mltiplos en los u dos puntos 1, se obtiene que
+1

dn x2 1 n 2 dx = (1)n +1 x2 1 n d2n x2 1 n dx dxn dx2n 1 +1 = (2n)! 1 x2 n dx

1

Haciendo el cambio de variable x = cos t, usando un resultado obtenido en el anexo, se tiene ahora +1 0 2 n 1 x dx = sen2n+1 t dt
1

=2 De este modo se deduce que

+1

/2

n sen2n+1 t dt = 2 (2(2+)!! n 1)!!

y con ello obtenemos que

d n x2 1 n dxn
+1

nn 2 (2n)!! 2 dx = 2 2n + 1 = 2 [2n +!]1 2

Pn (x)2 dx = 2n 2 1 +

Relacin de recurrencia entre los polinomios de Legendre. o

Los polinomios de Legendre satisfacen una relacin que permite determinarlos recuro rentemente. Para deducir esta relacin consideremos el polinomio xPn (x) que tiene grado o n + 1 y or tanto se puede expresar como una combinacin lineal de la forma o

xPn (x) =

n+1 k=0

kn Pk (x)

24

puede entonces escribirse en la forma ms cmoda a o xPn (x) = n Pn+1 (x) + n Pn (x) + n Pn1 (x) Seguidamente determinaremos las expresiones de los tres coecientes que aparecen en esta relacin. o En primer lugar, identicando los coecientes de los trminos de mximo grado se e a tiene la igualdad (2n)! = (2n + 2)! n 2 2n (n!) [(n + 1)!]2 2n+1 de la que, tras simplicar resulta que n = 2n + 11 n+ Para su uso posterior observemos que si multiplicamos la relacin escalarmente por el o polinomio Pn+1 (x), obtenemos que xPn (x), Pn+1(x) = n Pn+1 (x) 2 = 2n + 11 Pn+1 (x) 2 n+ En segundo lugar es inmediato comprobar que n = 0, En efecto, sin ms que multia plicar escalarmente por Pn (x) se obtiene la relacin o

xPn (x), Pk (x) = Pn (x), xPk (x) es claro que todos los coecientes kn se anulan si k = 0, 1, . . ., n 2. La relacin anterior o

Si se tiene en cuenta que

n Pn (x) 2 = xPn (x), Pn(x) =

+1

anulndose la integral porque el integrando es una funcin impar. a o Finalmente, para determinar la expresin del coeciente n , multipliquemos escalaro mente por Pn1 (x), lo que da la relacin o n Pn1 (x) 2 = xPn (x), Pn1(x) = Pn (x), xPn1(x) = 2nn 1 Pn (x) 2 de donde se obtiene que

xPn (x)2 dx = 0

En denitiva, hemos obtenido que tres polinomios de Legendre consecutivos se relacionan del modo siguiente xPn (x) = 2n + 11 Pn+1 (x) + 2nn 1 Pn1 (x) n+ + lo que equivale a la relacin de recurrencia o n n+ Pn+1 (x) = 2n + 11 xPn (x) n + 1 Pn1 (x) 25

Pn (x) 2 = n 2/(2n + 1) = n n = 2n 1 Pn1 (x) 2 2n 1 2/(2n 1) 2n + 1 n

Ejercicios
1 . Aplicar la regla de los trapecios a la integral
1 0

1+x dividiendo el intervalo de integracin en 10 partes iguales. Deducir unas cotas superior o e inferior del error cometido y comparar el valor obtenido con el valor exacto de la integral. 2 . En la integral del ejercicio anterior, deducir el menor nmero de intervalos en que se u debe dividir el intervalo de integracin para que el error cometido sea menor que una o millonsima. e 3 . Repetir los dos ejercicios anteriores utilizando la regla de Simpson en vez de la de los trapecios. 4 . Estimar el valor de la integral sen x dx utilizando los valores del integrando en los extremos y el punto medio mediante las reglas de los trapecios y de Simpson. Comparar los resultados obtenidos con los que se pueden deducir de una representacin de la integral mediante una serie alternada o deducida desarrollando la funcin subintegral en serie de potencias e integrndola o a trmino a trmino. e e 5 . Comprobar que la longitud L de la elipse de ecuacin o viene dada por
0

dx

x 2 + y 2 = 1, a 2 b2 L = 4a
/2
0

0<b<a 1 e = a a2 b2

1 e2 sen2 d,

Utilizando la regla de Simpson deducir la aproximacin o

L a + b + 8 (a2 + b2) 3

6 . Empleando la frmula de Stirling, deducir el valor de los lmites de las dos sucesiones o siguientes n , (1)n 1/2 n n n n! 7 . Desarrollar una frmula de cuadratura interpolatoria para la integral impropia o
1 0

dx x

26

tomando como nudos los puntos 1, 1/4 y 1/16. Utilizarla para estimar el valor de la integral y comparar el resultado obtenido con el valor exacto de la misma. 8 . Efectuando un cambio de variable que reduzca el intervalo de integracin al intervalo o [1, +1], deducir una frmula de cuadratura de la forma o
b

que sea exacta para polinomio de tercer grado. Utilizar esta frmula para volver a o estimar el valor de la integral sen x dx
0

f (x) dx w1 f (x1) + w2 f (x2)

9 . Seleccionar los nudos y pesos de una frmula de cuadratura de la forma o

1 0

f (x) dx w1 f (x1 ) + w2 f (x2 ) + w3 f (x3 )

1

de modo que sea exacta para un polinomio de grado 5. Utilizarla para estimar el valor de la siguiente integral 1 + x4 10 . Utilizando la relacin de recurrencia, determinar los polinomios de Legendre de grados o 4 y 5 y obtener sus ceros. 11 . Se trata de estimar una integral del tipo
0 +

dx

mediante una expresin de la forma o Af 34 + Bf + Cf + + Df + 34 4 4 Determinar los coecientes A, B , C y D para que esta frmula de cuadratura sea o exacta cuando f (x) sea un polinomio de tercer grado. 12 . Demostrar que existen dos constantes positivas a y b de modo que la frmula de o cuadratura ex f (x) dx 1 af (b) + bf (a) 2 0 es exacta para todo polinomio de grado menor o igual que 3. Utilizar esta frmula o para estimar el valor de la integral
ex dx
0

f (x) cos x dx

1 + x2

27

 Anexo: La frmula de Wallis. o

La integracin por partes permite obtener una notable expresin del nmero como o o u el lmite de una sucesin de productos. La frmula obtenida es conocida como frmula o o o de Wallis. El procedimiento de obtencin consiste bsicamente en obtener una frmula de o a o recurrencia para una sucesin de integrales. Consideremos para cada entero n = 0, 1, 2, . . . o la integral /2 In = senn x dx. Suponiendo n 2 podemos escribir: de manera que se tiene la igualdad:
0

senn x = 1 cos2 x senn2 x,

In = In2 u = cos x,
con lo cual se tiene: y por lo tanto:
/2
0

/2
0

senn2 x cos2 x dx.

Integramos por partes en la ultima integral tomando:

dv = senn2 x cos x dx,

1 v = n 1 senn1 x,
/2
0

du = sen xdx,

1 senn2 x cos2 x dx = n 1 senn1 x cos x 1 = n 1 In . 1 In = In2 n 1 In ,

/2 1 senn x dx + n1
0

Sustituyendo obtenemos la identidad: de la que se deduce la relacin de recurrencia: o

In = n 1 In2 . n
La relacin obtenida permite determinar explcitamente las expresiones de las inteo grales In . En efecto, dado que para n = 0 es:
/2
0

I0 =

dx = , 2

28

aplicando la relacin de recurrencia, deducimos que para n = 2 es: o 1 I2 = 2 . 2 Reiterando, se deduce que para un nmero par n = 2m se tiene: u

m I2m = (2(2m)1)(2(2m 3) 432 1 . m 2) 2

De igual modo, comenzando por n = 1 para el cual se tiene:

I1 =

/2
0

sen x dx = 1,

y mediante la relacin de recurrencia, deducimos el valor de la integral para n = 3, a saber: o 2 I3 = 3 . Generalizando se obtiene el valor de la integral para cualquier nmero n = 2m + 1 impar: u (2 m 2) I2m+1 = (2m m)1)(2(2m 1)4 52 3. + Las expresiones anteriores se abrevian introduciendo las notaciones: (2m)!! := (2m) (2m 2) 4 2 (2m + 1)!! := (2m + 1) (2m 1) 3 1 que se denominan, por razones obvias, los semifactoriales dobles de los nme-ros 2m y u 2m + 1 respectivamente. Con estos convenios las frmulas anteriores se convierten en: o

m 1)!! I2m = (2(2m)!! , 2

I2m+1 = (2(2m)!! . m + 1)!!

Dado que para x (0, /2) se cumple 0 < sen x < 1, son evidentes las desigualdades: 0 < sen2m+1 x < sen2m x < sen2m1 x. Integrando estas desigualdades en [0, /2] deducimos que: 0 < I2m+1 < I2m < I2m1 . Al dividir por el nmero positivo I2m+1 se mantiene el sentido de las desigualdades y as u deducimos que: 1 < I I2m < I2m1 . I
2

m+1

m+1

29

Utilizando las expresiones que antes obtuvimos para los valores de las integrales In se obtiene la desigualdad: 1 < (2m 1)!!(2m + 1)!! < 1 + 21 , 2 m [(2m)!!]2 de donde se deduce que: lim (2m 1)!!(2m + 1)!! = 1, n 2 [(2m)!!]2 igualdad de la que se deriva la frmula de Wallis: o [(2m)!!]2 = lim 2 m (2m + 1)!!(2m 1)!! . La frmula de Wallis proporciona una sucesin de nmeros racionales que converge al o o u nmero . Sus primeros trminos son: u e 8 , 128 , 4608 , . . . 3 45 1575 La convergencia de esta sucesin es muy lenta, de manera que no es muy prctico intentar o a el clculo del nmero mediante la frmula de Wallis. Su importancia radica ms bien en a u o a ser un resultado auxiliar para obtener otros ms interesantes. a

30