Está en la página 1de 64

300

CAPTULO 5 Matemtica Numrica, 2da Edicin


Manuel lvarez, Alfredo Guerra, Rogelio Lau
INTEGRACIN NUMRICA

Objetivos

Al finalizar el estudio y la ejercitacin de este captulo, el lector debe ser capaz de:

Describir las limitaciones de la frmula de Barrow para el clculo de integrales definidas.
Describir geomtricamente los mtodos de trapecios y de Simpson para el clculo
aproximado de integrales definidas.
Justificar las frmulas del mtodo de los trapecios y del mtodo de Simpson y de las
expresiones para estimar el error de truncamiento.
Describir la idea fundamental del mtodo de integracin numrica de Gauss.
Justificar algebraicamente la frmula de Gauss para tres puntos y generalizarla a
otros valores de m.
Deducir la frmula de extrapolacin de Richardson y explicar, a travs de ella, el
mtodo de integracin de Romberg.
Describir los algoritmos en seudo cdigo de los mtodos de trapecios, Simpson,
Gauss y Romberg.
Calcular integrales definidas mediante los algoritmos de trapecios, Simpson, Gauss y
Romberg, estimando el error de truncamiento si fuera necesario.
Modelar problemas simples que conducen a integrales definidas y resolverlos
mediante mtodos numricos de integracin.
Explicar la forma en que una integral doble se puede calcular aproximadamente
mediante los algoritmos numricos para integrales unidimensionales, ejemplificando
para los casos de Simpson y Gauss.
Calcular integrales dobles mediante los mtodos de Gauss y de Simpson y obtener,
en este caso, una estimacin del error de truncamiento.
Explicar el algoritmo en seudo cdigo de los mtodos de Gauss y de Simpson para el
clculo de integrales dobles.
Modelar problemas simples que conduzcan a integrales dobles y calcularlas
numricamente por los mtodos estudiados.

5.1 Introduccin

En el curso de Clculo Infinitesimal se ha estudiado el concepto de integral definida de una
funcin f(x) en un intervalo [a, b]:

b
a
dx x f ) (

como el resultado de un proceso de lmite de una suma finita. El lector seguramente recuerda las
importantes aplicaciones que poseen las integrales en las diferentes ramas de la Geometra, la
Fsica, la Qumica, las Ciencias Econmicas y, prcticamente, en todas las ramas del saber.
Supuesto que f(x) sea continua en [a, b], la integral se puede calcular mediante la regla de Barrow
(tambin llamada de Newton Leibniz):
301

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



donde F(x) es cualquier primitiva de f(x), es decir, una funcin cuya derivada sea f(x).

El punto dbil de este procedimiento analtico para evaluar una integral es la obtencin de una
funcin primitiva. Para muchas funciones sencillas se obtienen primitivas con mayor o menor
dificultad pero, en muchos casos se presentan integrales para las cuales no existen primitivas que
se puedan expresar en trminos de funciones elementales. Lo peor es que, en muchas ocasiones,
se trata de integrandos sencillos (es decir, formados por funciones elementales). Por supuesto que,
si no se tiene una primitiva expresada en trminos de funciones elementales, no es posible
evaluarla en los lmites de integracin, y la regla de Barrow se hace inaplicable.

Ejemplo 1

Al calcular la longitud de una elipse aparece la integral

2
0
2 2
sen 1 dt t k
donde el parmetro k depende de la excentricidad de la elipse. En el caso ms simple en que la
excentricidad es 1 (la elipse es una circunferencia), el parmetro k toma el valor 1 y la integral se
calcula fcilmente. En el caso ms general en que 0 < k < 1 se ha demostrado que no existen
funciones elementales que puedan ser primitivas. Este tipo de integral se llama elptica.

Ejemplo 2

Las variables aleatorias se caracterizan por su funcin de densidad probabilstica. De todas estas
funciones de densidad, la ms importante es la distribucin Normal, que aparece de una u otra
manera en casi todos los fenmenos naturales de carcter aleatorio. La probabilidad de que la
variable con distribucin normal tome un valor entre 0 y x viene dada por la integral:

=
x
t
dt e x
0
2
1
2
2
1
) (

para la cual est demostrado que no existe una primitiva elemental.

Ejemplo 3

En el patrn de transmisin de algunas antenas aparece la funcin elemental

sen


donde representa una direccin en el espacio. Para calcular la potencia radiada por la antena en
un sector, se requiere calcular la integral:
302


2
1
d
sen


y, tambin en este caso, es imposible hallar una primitiva elemental del integrando.


En otros casos la regla de Barrow no puede usarse porque no se conoce la expresin analtica del
integrando, sino valores obtenidos a travs de mediciones.

Ejemplo 4

El gasto (en m
3
/s) de agua que circula por un ro es el volumen de agua que atraviesa una seccin
cualquiera del ro en una unidad de tiempo. Suponiendo, para simplificar el problema, que en
todos los puntos de la seccin seleccionada la velocidad es la misma (es decir, tomando una
velocidad promedio v
m
), el gasto se puede calcular como:

Q = v
m
A

donde A es el rea de la seccin seleccionada. En la figura 1 se muestra una hipottica seccin del
ro y se ha introducido un sistema de referencia con el eje vertical dirigido hacia abajo y el eje
horizontal en la superficie del agua y a lo largo de la seccin y con el origen en una de las orillas.
Se ha representado por h(x) la funcin que describe la profundidad del ro para cada x. Es claro
que el rea de la seccin ser:

=
b
dx x h A
0
) (

pero la funcin h(x) no tiene una expresin analtica conocida a la que se pueda encontrar una
primitiva. La regla de Barrow, de nuevo, no se puede usar.






Figura 1
x
h
Agua
Seccin transversal del ro
b
303
5.2 El mtodo de los trapecios

Aunque el mtodo ms elemental para calcular la integral definida de una funcin consiste en
utilizar la misma definicin de la integral definida pero prescindiendo del proceso de lmite, es
decir:

=

n
i
i i
b
a
x c f dx x f
1
) ( ) ( (1)

el resultado que se obtiene es muy inexacto, a menos que se tome un nmero n de subintervalos
muy grande. El mtodo de los trapecios que se expone a continuacin requiere una cantidad de
clculos semejante a la expresin (1) y produce resultados mucho mejores.

En esta seccin y en todo lo que sigue de este captulo, se supondr que f(x) es una funcin
continua en [a, b]. Aunque algunas de las expresiones que se deducirn pueden usarse aun sin el
requisito de la continuidad de f(x), las frmulas para el clculo de los errores siempre requerirn
la continuidad, e incluso la derivabilidad de f(x), de modo que no vale la pena contemplar el caso
de funciones discontinuas. Por otra parte, en la mayora de los casos de inters prctico el
integrando es continuo o la integral se puede descomponer en una suma de integrales con el
integrando continuo en el intervalo de integracin.

El mtodo de los trapecios se basa en la idea de dividir el intervalo de integracin en n
subintervalos de amplitud h mediante un conjunto de puntos {a = x
0
, x
1
, x
2
, ..., x
n
= b} y
descomponer la integral en n integrales, cada una de las cuales posee un intervalo de integracin
pequeo de longitud h, como se ilustra en la figura 1. El parmetro h se denomina paso y juega
un papel importante en la exactitud del resultado obtenido.



Es decir:



+ + + =
n
n
x
x
x
x
x
x
b
a
dx x f dx x f dx x f dx x f
1
2
1
1
0
) ( ) ( ) ( ) ( L (2)

donde: x
i
x
i1
= h para i = 1, 2,..., n y
n
a b
h

=

a
b
x
1
x
2
x
0
x
3
x
n1
x
n
x
f(x)
Figura 1
304
Ahora, cada una de las n integrales resultantes se aproximan sustituyendo el integrando f(x) por
un polinomio interpolador de grado 1, es decir, un segmento de recta, como se ilustra en la figura
2.



Ntese que la regin entre la grfica de f(x) y el eje x se aproximar mediante un conjunto de n
regiones, que tienen, en general, forma de trapecios, es decir, cuadrilteros con dos de sus lados
paralelos, lo cual da nombre al mtodo. Para simplificar la notacin, se llamar: y
i
= f(x
i
) para i =
0, 1, 2,..., n, como se muestra tambin en la figura 2.

Trabajando en el primero de los trapecios, que corresponde al sub-intervalo [x
0
, x
1
], la ecuacin
de la recta de interpolacin que le corresponde ser:

) (
0
0 1
0 1
0
x x
x x
y y
y y

+ =

Es decir: ) (
0
0 1
0
x x
h
y y
y y

+ =
Sustituyendo el integrando f(x) por el polinomio ) ( ) (
0
0 1
0 1
x x
h
y y
y x p

+ = , la primera de las n
integrales queda aproximada como:



|
.
|

\
|

+ =
1
0
1
0
1
0
) ( ) ( ) (
0
0 1
0 1
x
x
x
x
x
x
dx x x
h
y y
y dx x p dx x f


+ =
1
0
1
0
) (
0
0 1
0
x
x
x
x
dx x x
h
y y
dx y

1
0
1
0
2
0
0 1
0
) (
2
x
x
x
x
x x
h
y y
x y

+ =

2
0 1
0 1
0 1 0
) (
2
) ( x x
h
y y
x x y

+ =

2 0 1
0
2
h
h
y y
h y

+ =
a
b
x
1
x
2
x
0
x
3
x
n1
x
n
x
f(x)
Figura 2
y
0
y
1
y
2
y
3
y
n
305
|
.
|

\
| +
=

2
) ( ) (
1 0
1
1
0
1
0
y y
h dx x p dx x f
x
x
x
x
(3)

Ntese que el resultado obtenido coincide con la conocida frmula para el rea de un trapecio
(semisuma de las bases por la altura) cuando y
0
y y
1
son positivas, pero la expresin (3) tiene un
carcter ms general, ya que es vlida para cualesquiera valores (positivos, negativos o cero) que
tomen y
0
y y
1
.

Es evidente que aplicando el mismo procedimiento para la segunda integral se obtendra:

|
.
|

\
| +
=

2
) ( ) (
2 1
2
2
1
2
1
y y
h dx x p dx x f
x
x
x
x


y similarmente ocurrira para cada una de las n integrales de la expresin (2). Por tanto, de ella
resulta:
|
.
|

\
| +
+ + |
.
|

\
| +
+ |
.
|

\
| +

2 2 2
) (
1 2 1 1 0 n n
b
a
y y
h
y y
h
y y
h dx x f L

Simplificando: ( )
n n
b
a
y y y y y h dx x f
2
1
1 2 1 0
2
1
) ( + + + + +

L (4)

que es la forma usual de expresar el mtodo de los trapecios para el clculo numrico aproximado
de integrales definidas.

Ejemplo 1

Calcule aproximadamente la integral

0
sen dx x
mediante el mtodo de los trapecios, utilizando 10, 20 y 40 sub-intervalos. Compare con el
resultado exacto, que es 2.

Solucin:
Tomando n = 10 sub-intervalos, resulta 314159 , 0
10
0
=

= h . La tabla 1 muestra los valores de
x
i
y y
i
= sen

x
i
para i = 0, 1, ..., 10. A partir de ah se obtiene:

( ) = + + + + +

10
2
1
9 2 1 0
2
1
0
sen y y y y y h dx x L 1,983524
Similarmente, para n = 20, h = 0,157080 y se obtiene la aproximacin:
( ) = + + + + +

20
2
1
19 2 1 0
2
1
0
sen y y y y y h dx x L 1,995886
y, para n = 40, h = 0,078540 y resulta:
306

( ) = + + + + +

40 2
1
39 2 1 0 2
1
0
sen y y y y y h dx x L 1,998972



Como era de esperar, a medida que el paso h toma valores ms pequeos se obtienen resultados
ms exactos, as los errores respectivos para n = 10, 20 y 40 fueron: 0,016476, 0,004114 y
0,001028. Observe el hecho, que no es casual, de que en la medida en que el paso se reduce a la
mitad, el error se reduce aproximadamente a la cuarta parte.

Algoritmo en seudo cdigo

El algoritmo que sigue calcula aproximadamente la integral definida de la funcin continua f(x)
en el intervalo [a, b] mediante el mtodo de los trapecios tomando n sub intervalos. Se suponen
conocidos la funcin f(x), el intervalo [a, b] y el nmero entero n > 1. El resultado es,
aproximadamente,

b
a
dx x f ) (

n
a b
h

= :
Suma := | | ) ( ) (
2
1
b f a f +
for i = 1 to n 1
x = a + ih
Suma := Suma + f(x)
end
Integral := hSuma
El resultado aproximado es Integral
Terminar



0 0,000000 0,000000
1 0,314159 0,309017
2 0,628319 0,587785
3 0,942478 0,809017
4 1,256637 0,951057
5 1,570796 1,000000
6 1,884956 0,951057
7 2,199115 0,809017
8 2,513274 0,587785
9 2,827433 0,309017
10 3,141593 0,000000
i x
i
y
i
= sen

x
i
Tabla 1

307
El error de truncamiento en el mtodo de los trapecios

Por supuesto que la frmula (4) de los trapecios no tiene gran valor si no se puede acotar el error
que con ella se comete. A continuacin se hallar una expresin que en muchos casos permite
determinar un error absoluto mximo de truncamiento. Adems del error de truncamiento, la
frmula (4) introduce un error de redondeo debido a los errores de este tipo que contienen los
sumandos y
i
, del cual se hablar posteriormente, pero que desde ahora puede adelantarse que
suele ser insignificante.

El error de truncamiento total se hallar como la suma de los errores de truncamiento que
aparecen en cada uno de los subintervalos en que se divide [a, b]. Considrese, en general, el sub-
intervalo [x
i
, x
i+1
] (i = 0, 1, 2,..., n1) y sea p(x) el polinomio de interpolacin de primer grado
mediante el cual se aproxima a f(x) en dicho intervalo. Sea r(x) el error de interpolacin
correspondiente, de modo que:
f(x) = p(x) + r(x) para x
i
x x
i+1


Integrando en cada miembro y trasponiendo, se obtiene:



+ + +
=
1 1 1
) ( ) ( ) (
i
i
i
i
i
i
x
x
x
x
x
x
dx x r dx x p dx x f

Es decir, que el error de truncamiento que se introduce en el intervalo [x
i
, x
i+1
], puede obtenerse
integrando el error de interpolacin en ese intervalo. Se llamar:

+
=
1
) (
i
i
x
x
i
dx x r R (5)
de manera que el error de truncamiento R del mtodo de los trapecios pueda ser calculado como:

=
=
1
0
n
i
i
R R (6)

El error de interpolacin (vea la seccin 4.2, frmula (7)) para un polinomio de primer grado
correspondiente a los nodos x
i
y x
i+1
viene dado por:

) )( (
! 2
) (
) (
1 +


=
i i
x x x x
f
x r

donde es algn nmero del intervalo [x
i
, x
i+1
] cuyo valor depende de x. De acuerdo con (5):

+
+
=
1
) )( )( (
1
2
1
i
i
x
x
i i i
dx x x x x f R (7)

Considrese el caso en que ) (x f es continua en [a, b], entonces en el intervalo de integracin
[x
i
, x
i+1
] ella tomar un valor mnimo m y uno mximo M, por lo tanto se puede asegurar que:

M f m ) ( (8)
308

Por otra parte, como en [x
i
, x
i+1
] el factor (x x
i
) es mayor o igual que cero, mientras que (x x
i+1
)
es menor o igual que cero, el producto (x x
i
)(x x
i+1
) es negativo o cero, de modo que si cada
miembro de (8) se multiplica por este producto, se obtiene:

) )( ( ) )( )( ( ) )( (
1 1 1 + + +

i i i i i i
x x x x m x x x x f x x x x M para x
i
x x
i+1


De aqu resulta que:



+ + +
+ + +

1 1 1
) )( ( ) )( )( ( ) )( (
1 1 1
i
i
i
i
i
i
x
x
i i
x
x
i i
x
x
i i
dx x x x x m dx x x x x f dx x x x x M

Esto significa que, para algn valor comprendido entre m y M se cumple que:



+ +
+ +
=
1 1
) )( ( ) )( )( (
1 1
i
i
i
i
x
x
i i
x
x
i i
dx x x x x dx x x x x f

Por ser ) (x f continua en [x
i
, x
i+1
], ella tomar en algn punto de ese intervalo el valor , esto es,
existe un c
i
en el intervalo [x
i
, x
i+1
] para el cual:

= ) (
i
c f
y, por tanto:

+ +
+ +
=
1 1
) )( ( ) ( ) )( )( (
1 1
i
i
i
i
x
x
i i i
x
x
i i
dx x x x x c f dx x x x x f
y la frmula (7) queda:

+
+
=
1
) )( ( ) (
1
2
1
i
i
x
x
i i i i
dx x x x x c f R
para algn c
i
en el intervalo [x
i
, x
i+1
]. Calculando la integral y simplificando, tomando en cuenta
que x
i+1
x
i
= h, se obtiene:

|
|
.
|

\
|
=
6
) (
3
2
1
h
c f R
i i


Esto es:
12
) (
3
i
i
c f h
R

=

Observe que el signo menos que aparece tiene un significado interesante: como era de esperar,
cuando la segunda derivada es positiva en el intervalo [x
i
, x
i+1
] (la grfica de la funcin es
cncava hacia arriba) la recta de interpolacin est por encima de f(x) y el error es negativo, es
decir por exceso, mientras que cuando la grfica es cncava hacia abajo (segunda derivada
negativa) el error de integracin es positivo, es decir, por defecto.

Volviendo a la expresin (6) se puede calcular ahora el error de truncamiento total como:




=

=

= =
1
0
3 1
0
12
) (
n
i
i
n
i
i
c f h
R R
309

Es decir:

=
=
1
0
3
) (
12
n
i
i
c f
h
R (9)

Con vista a obtener una frmula ms sencilla, conviene escribir esta ecuacin como:


(

=
1
0
3
) (
1
12
n
i
i
c f
n
nh
R

pues ahora el trmino entre corchetes es el promedio de n valores de ) (x f , el cual tiene que
estar comprendido entre los valores mnimo y mximo de ) (x f en [a, b] y, como se trata de una
funcin continua, ) (x f tomar este valor en algn punto del intervalo [a, b]. Llmese c a este
nmero y se puede entonces decir que:

) (
12
3
c f
nh
R =
Por ltimo, como
h
a b
n

= , queda:
) (
12
2
c f h
a b
R

= (10)
para algn c en el intervalo [a, b].

En resumen:


La frmula anterior, adems de su valor terico, permite en muchos casos acotar el error
cometido en el mtodo de los trapecios. Para ello se necesita hallar una cota superior del valor
absoluto de la segunda derivada en el intervalo de integracin, lo cual a veces no es difcil de
encontrar.

Ejemplo 2

Al calcular la integral

0
sen dx x
por el mtodo de los trapecios en el ejemplo 1, tomando n = 10 sub-intervalos, se obtuvo el
resultado aproximado: 1,983524. Halle una cota del error que se ha cometido.
Si en el intervalo [a, b] f(x) es continua y posee
primera y segunda derivadas continuas, entonces
existe en [a, b] al menos un nmero c tal que, el
error de truncamiento de la frmula de los
trapecios para la integral de f(x) en [a, b] viene
dado por:
) (
12
2
c f h
a b
R

=
310
Solucin:

La funcin f(x) = sen

x satisface las condiciones de continuidad y derivabilidad exigidas para
aplicar la frmula (10). En este caso se tiene:

f

(x) = sen

x

as que:
c c f h
a b
R sen
10 12
0
) (
12
2
2
|
.
|

\
|
=

=

para algn c en el intervalo de integracin [0, ]. Aunque no se conoce el nmero c el valor de
sen c est en el intervalo [0, 1], por tanto:

1200
0
3

R

O sea: 0 R 0,0258

El error realmente fue de 0,016476 por lo cual, la cota es vlida aunque un poco conservadora.

Una frmula asinttica para el error de truncamiento

Es fcil obtener una frmula para hallar una aproximacin del error de truncamiento del mtodo
de los trapecios, que posee la ventaja de dar una estimacin del error no tan conservadora como
las cotas que se obtienen con la frmula (10) y que, adems, no requiere calcular la segunda
derivada de f(x). La frmula se llama asinttica porque, a medida que h tiende hacia cero (o n
hacia infinito) el resultado que ella brinda tiende hacia el verdadero error cometido, lo cual
significa que el valor de R que ella estima es tanto mejor cuanto ms pequeo sea h.

De acuerdo con la frmula (9):

=
=
1
0
3
) (
12
n
i
i
c f
h
R

la cual puede ser escrita como:

=
=
1
0
2
) (
12
n
i
i
h c f
h
R
esto es:

=
=
1
0
2
) (
12
n
i
i
h c f
h
R


Tomando lmites cuando h tiende hacia cero, se obtiene:

=

= |
.
|

\
|

1
0
0
2
0
) ( lim
12
lim
n
i
i
h h
h c f
h
R


Suponiendo que ) (x f es continua en el intervalo [a, b] y, por lo tanto, integrable, el lmite de la
derecha existe y coincide con la integral definida de ) (x f en el intervalo [a, b]. Es decir:
311

= |
.
|

\
|

b
a
h
dx x f
h
R
) (
12
lim
2
0


y como se trata de un integrando continuo se puede utilizar la regla de Barrow. La ecuacin
queda:
) ( ) (
12
lim
2
0
a f b f
h
R
h
= |
.
|

\
|



Si se prescinde del lmite se obtiene la frmula:


2
12
) ( ) (
h
a f b f
R

(11)

donde el signo se entiende en sentido asinttico, es decir, la frmula se va haciendo exacta en
la medida en que h tiende hacia cero.

Ejemplo 3

Halle un estimado del error de truncamiento cometido al calcular:

0
sen dx x
por el mtodo de los trapecios (ejemplo 1) con n = 10 sub-intervalos.

Solucin:

Como f(x) = sen

x, se obtiene f

(x) = cos

x y aplicando la frmula (11):


2
2
10 12
0 cos cos
12
) ( ) (
|
.
|

\
|
=

h
a f b f
R

600
2

R = 0,01645

Comprese con el valor exacto del error de truncamiento que fue de 0,016476.

Estimacin del error de truncamiento por doble clculo

La frmula (11) permite apreciar claramente un hecho que ya se haba notado en el ejemplo1.
Como

2
12
) ( ) (
h
a f b f
R


el error de truncamiento es aproximadamente una funcin cuadrtica del paso h, lo cual significa,
por ejemplo, que al disminuir h a la mitad, el error de truncamiento disminuir aproximadamente
a la cuarta parte. Este sencillo hecho, permitir obtener una estimacin de R sin necesidad de
obtener la derivada de f(x), a cambio de utilizar dos veces el mtodo de los trapecios.

312
Como este razonamiento se puede generalizar fcilmente, se supondr que el error de
truncamiento al calcular la integral con paso h viene dado por:

R
h
= Ch
p
(12)

donde, C es una constante (no depende de h) y la constante p vale 2 para el mtodo de los
trapecios. Observe que (12) es una frmula exacta mientras que (11) es solo una aproximacin;
esto quiere decir que, aunque se utilizar el signo igual, solo se aspira a obtener frmulas
aproximadas.

Suponga que utilizando el mtodo de los trapecios, se calcula una integral definida dos veces, una
de ellas con un paso h y la otra con paso 2h. Sea:

I
h
: Resultado obtenido al calcular la integral con paso h
I
2h
: Resultado obtenido al calcular la integral con paso 2h

El error de truncamiento de I
h
viene dado por R
h
= Ch
p
.
El error de truncamiento de I
2h
ser R
2h
= C(2h)
p
.

De aqu resulta que: R
2h
= C(2h)
p
= 2
p
Ch
p
= 2
p
R
h
(13)

Por otra parte, I
h
+ R
h
= I
2h
+ R
2h


ya que ambas expresiones dan el valor exacto de la integral. Sustituyendo en esta igualdad el
resultado (13), queda:
I
h
+ R
h
= I
2h
+ 2
p
R
h


y puede despejarse R
h
:
1 2
2

p
h h
h
I I
R (14)

donde se ha escrito el signo tomando en cuenta que la frmula (12) solo se cumple en sentido
asinttico, es decir, cuando h tiende hacia cero. Como en el mtodo de los trapecios p = 2, se
tiene, como caso particular:

3
2h h
h
I I
R

(15)

Ejemplo 4

En el ejemplo 1 se calcul la integral

0
sen dx x
tomando n = 10, 20 y 40. Se obtuvo los resultados aproximados: 1,983524, 1,995886 y 1,998972
respectivamente. Utilice estos resultados para estimar el error de truncamiento de los dos ltimos.

Solucin:

Para n = 20, se obtuvo: I
h
= 1,995886
Para n = 10, se obtuvo: I
2h
= 1,983524.

313
El error de truncamiento de I
h
viene dado aproximadamente por (15):


3
2h h
h
I I
R

=
3
983524 , 1 995886 , 1
= 0,0041
Es decir, al tomar 20 sub-intervalos el error de truncamiento es aproximadamente de 0,0041.
Ntese que el verdadero error de este resultado es de 0,004114.

Para n = 40, se obtuvo: I
h
= 1,998972
Para n = 20, se obtuvo: I
2h
= 1,995886

El error de truncamiento de I
h
es aproximadamente:


3
2h h
h
I I
R

=
3
995886 , 1 998972 , 1
= 0,0010

Esto es, tomando n = 40 sub-intervalos el error de truncamiento resulta aproximadamente de
0,0010. El verdadero error de truncamiento es en este caso de 0,001028.

Ejemplo 5
Calcule la integral

2
1
2
dx e
x
con cuatro cifras decimales exactas.
Solucin:

En los clculos que siguen se ha utilizado un programa basado en el seudo cdigo del mtodo de
los trapecios, para efectuar cada una de las integrales. El error de truncamiento se ha estimado
mediante doble clculo utilizando la frmula (15). El proceso se comenz arbitrariamente con
n = 10 y a partir de ah se estimaron los errores comparando con el resultado anterior. La tabla 2
muestra todos los resultados. El proceso iterativo fue detenido tan pronto como el error estimado
fue menor que 0,00005. Con cuatro cifras decimales exactas, el valor de la integral es 14.990019.


El error de redondeo en la frmula de los trapecios

En la frmula de los trapecios

( )
n n
b
a
y y y y y h dx x f
2
1
1 2 1 0
2
1
) ( + + + + +

L
10 15.166784
20 15.034301 0.044161
40 15.001065 0.011079
80 14.992749 0.002772
160 14.990669 0.000693
320 14.990149 0.000173
640 14.990019 0.000043
n Integral Error estimado
Tabla 2
314

se necesita calcular la suma de una gran cantidad de datos que contienen errores de redondeo.
Puede entonces pensarse que se introducir un error resultante muy grande cuando se sumen
todos estos errores de redondeo. Realmente no es as. Para simplificar, supngase que cada uno
de los datos posee un mismo error absoluto mximo (que se supone causado por el redondeo,
pero que podra ser motivado por cualquier otra factor, por ejemplo, por la medicin u
observacin). Sea:

( )
n n
y y y y y h S
2
1
1 2 1 0
2
1
+ + + + + =

L

Se trata de hallar E
m
(S). Para ello es mejor escribir h como
n
a b
, es decir:
( )
n n
y y y y y
n
a b
S
2
1
1 2 1 0 2
1
+ + + + +

=

L

Como, a, b y n se suponen exentos de error, resulta:

( )
n n m m
y y y y y E
n
a b
S E
2
1
1 2 1 0
2
1
) ( + + + + +

=

L

( ) + + + + +

=
2
1
2
1
L
n
a b


( )

= n
n
a b


= ) ( ) ( a b S E
m


Es decir, el error total en el resultado causado por errores en los datos, es solamente el
error absoluto mximo de cada dato individual multiplicado por la amplitud del intervalo
de integracin y es independiente de la cantidad de trminos que se tomen en la frmula.
Como se trata de un error insignificante en comparacin con el error de truncamiento,
este tipo de error no suele tomarse en consideracin en el clculo numrico de integrales.

En los dems mtodos de integracin numrica que sern estudiados en el resto de este
captulo sucede algo similar, as que en ellos se prescindir del estudio del error por
redondeo.

5.3 El mtodo de Simpson

La frmula de los trapecios se obtiene aproximando el integrando por un conjunto de polinomios
de interpolacin de primer grado. Esta idea puede ser mejorada si la aproximacin se realiza con
polinomios interpoladores de grado dos. Considrese entonces la integral:

b
a
dx x f ) (
315

donde se supondr que f(x) es continua en [a, b]. Sea el intervalo de integracin dividido en un
nmero par de intervalos de igual amplitud h mediante los puntos {a = x
0
, x
1
, x
2
, ..., x
n
= b}. Las
figuras 1 y 2 muestran la idea geomtrica del mtodo de Simpson: en la figura 1 se aprecia que la
regin comprendida entre el eje horizontal y la grfica de f(x) se ha dividido en franjas verticales
mediante rectas que determinan los puntos de la particin de [a, b]. En la figura 2 se ha sustituido
la funcin f(x) por un conjunto de polinomios de grado 2, es decir, parbolas de eje vertical.
Posteriormente, se calcular la suma de las integrales de estas funciones cuadrticas.






Al igual que en el mtodo de los trapecios, la notacin se simplificar llamando y
i
= f(x
i
) para
i = 0, 1, 2,..., n.

La obtencin de la frmula de Simpson requiere conocer el valor de la integral de una funcin
cuadrtica determinada por tres puntos (x
0
, y
0
), (x
1
, y
1
) y (x
2
, y
2
) donde x
1
x
0
= h y x
2
x
1
= h
como muestra la figura 3. El resultado, naturalmente, no cambiar si toda la figura se traslada de
modo que x
1
= 0, como muestra la figura 4, y de esta manera el trabajo algebraico se simplifica.

a
b
x
1
x
2
x
0
x
3
x
n1
x
n
x
f(x)
Figura 1
a
b
x
1
x
2
x
0
x
3
x
n1
x
n
x
f(x)
Figura 2
y
0
y
1
y
2
y
3
y
n
316


Sea entonces p(x) el polinomio de segundo grado cuya grfica aparece en la figura 4, determinado
por los tres puntos (h, y
0
), (0, y
1
) y (h, y
2
), cuya ecuacin ser de la forma:

c bx ax x p + + =
2
) ( (1)

Su integral vendr dada por:

( ) ( )


+ + = + + =
h
h
h
h
h
h
cx bx ax dx c bx ax dx x p
2
2
1
3
3
1
2
) ( =

ch ah dx x p
h
h
2 ) (
3
3
2
+ =

(2)

Ahora bien, de acuerdo con (1), se cumple que:


0
2
) ( y c bh ah h p = + = (3)


1
) 0 ( y c p = = (4)

y
2
2
) ( y c bh ah h p = + + = (5)

Al sumar (5) con (3) queda:
2 0
2
2 2 y y c ah + = +

y como, segn (4), c = y
1
:
2 0 1
2
2 2 y y y ah + = +

Esto es:
2
2 1 0
2
2
h
y y y
a
+
=


Sustituyendo en (2): h y h
h
y y y
dx x p
h
h
1
3
2
2 1 0
3
2
2
2
2
) ( + |
.
|

\
| +
=


h h

y
2
y
1
y
0
y = p(x)

x

Figura 4
x
0
x
1
x
2
y
2
y
1
y
0
y

x
Figura 3

317
Simplificando:
) 4 ( ) (
2 1 0
3
1
y y y h dx x p
h
h
+ + =

(6)

Aplicando ahora a la integral de f(x) en [a, b] la propiedad de aditividad respecto al intervalo de
integracin resulta:




+ + + =
n
n
x
x
x
x
x
x
b
a
dx x f dx x f dx x f dx x f
2
4
2
2
0
) ( ) ( ) ( ) ( L

Sustituyendo en cada integral la funcin f(x) por el polinomio interpolador de segundo grado que
corresponde a esos nodos, la integral resultante se puede calcular mediante la frmula (6). Se
obtiene la aproximacin:

) 4 ( ) 4 ( ) 4 ( ) (
1 2 3
1
4 3 2 3
1
2 1 0 3
1
n n n
b
a
y y y h y y y h y y y h dx x f + + + + + + + + +

L

Que se simplifica como:

) 4 2 2 4 2 4 ( ) (
1 2 4 3 2 1 0
3
1
n n n
b
a
y y y y y y y y h dx x f + + + + + + + +

L

o, ms brevemente:
) 2 4 ( ) (
3
1
P I E h dx x f
b
a
+ +



donde: E = y
0
+ y
n
(Suma de las ordenadas en los extremos)
I = y
1
+ y
3
+ ... + y
n1
(Suma de las ordenadas de ndice impar)
P = y
2
+ y
4
+ ... + y
n2
(Suma de las ordenadas de ndice par)

Ejemplo 1

Calcule aproximadamente la integral

0
sen dx x
mediante el mtodo de Simpson, utilizando 10, 20 y 40 sub-intervalos. Compare con el resultado
exacto, que es 2 y con los resultados obtenidos mediante el mtodo de los trapecios en el ejemplo
1 de la seccin 5.2.

Solucin:
Tomando n = 10 sub-intervalos, resulta 314159 , 0
10
0
=

= h . La tabla 1 muestra los valores de
x
i
y y
i
= sen

x
i
para i = 0, 1, ..., 10. Para facilitar las sumas cuando se trabaja manualmente, se
suelen colocar los valores de la funcin en tres columnas.

318


El resultado ser:
)] 077684 , 3 ( 2 ) 236068 . 3 ( 4 0 [ 314159 , 0 ) 2 4 ( ) (
3
1
3
1
+ + = + +

P I E h dx x f
b
a
=
000110 , 2 ) (

b
a
dx x f
Ntese que el error de truncamiento es solo de 0,00011. Con este mismo paso h, el resultado del
mtodo de los trapecios contena un error de 0,016476, unas 150 veces mayor.

Con n = 20 se obtiene, de forma similar:
2,00000678 ) (

b
a
dx x f
cuyo error de truncamiento: 0,00000678 es 600 veces menor que el de 0,004114 logrado con el
mtodo de los trapecios.

Para n = 40 el resultado del mtodo de Simpson es:
2,00000042 ) (

b
a
dx x f
con un error de truncamiento de solo 0,00000042 unas 2400 veces menor que el de 0,001028 que
se logra con el mtodo de los trapecios para este mismo paso.

Algoritmo en seudo cdigo

El algoritmo que sigue calcula aproximadamente la integral definida de la funcin continua f(x)
en el intervalo [a, b] mediante el mtodo de Simpson tomando un nmero par n de sub intervalos.
Se supone conocidos la funcin f(x), el intervalo [a, b] y el nmero entero par n 2. El resultado
es, aproximadamente,

b
a
dx x f ) (
0 0,000000 0,000000
1 0,314159 0,309017
2 0,628319 0,587785
3 0,942478 0,809017
4 1,256637 0,951057
5 1,570796 1,000000
6 1,884956 0,951057
7 2,199115 0,809017
8 2,513274 0,587785
9 2,827433 0,309017
10 3,141593 0,000000
i x
i
y
i
= sen

x
i
Tabla 1

E = 0,000000 I = 3,236068 P = 3,077684

319

n
a b
h

= :
E := f(a) + f(b) {Se calcula la suma de las ordenadas extremas}
I := 0 {Se calcula la suma de las ordenadas de ndice impar}
i := 1
do while i < n
x = a + ih
I := I + f(x)
i := i + 2
end
P := 0 {Se calcula la suma de las ordenadas de ndice par, sin incluir las extremas}
i := 2
do while i < n
x = a + ih
P := P + f(x)
i := i + 2
end
Integral :=
3
1
h(E + 4I + 2P)
El resultado aproximado es Integral
Terminar

Error de truncamiento en el mtodo de Simpson

De forma semejante a como se procedi en el mtodo de los trapecios, aunque con dificultades
adicionales, se puede demostrar (en las lecturas recomendadas se indica donde encontrar esta
demostracin) que el error de truncamiento R
i
que se produce en el mtodo de Simpson en el sub
intervalo [x
2i
, x
2i+2
] (i = 0, 1, 2,...,
2
1
n 1), viene dado por:

90
) (
) 4 ( 5
i
i
c f h
R =

donde c
i
es algn nmero del intervalo [x
2i
, x
2i+2
]. Por tanto en todo el intervalo [a, b] de
integracin, el error de truncamiento es:

=
=
1
0
) 4 (
5
2
) (
90
n
i
i
c f
h
R (7)
Que puede ser escrito como:

(
(

=
1
0
) 4 (
5 2
) (
2
180
n
i
i
c f
n
nh
R

Como la cantidad entre corchetes es un promedio de valores de la cuarta derivada, el mismo se
encuentra entre el mnimo y el mximo valor que toma esa funcin en [a, b]. Suponiendo que
f
(4)
(x) es continua en [a, b] se puede afirmar que, al menos en un punto c de ese intervalo, la
cuarta derivada toma este valor promedio. Resulta entonces que:

) (
180
) 4 (
5
c f
nh
R =
320
pero como
h
a b
n

= , se obtiene: ) (
180
) 4 ( 4
c f h
a b
R

=
Resumiendo:


Esta frmula, debida a Peano, requiere conocer una cota superior de la cuarta derivada para poder
acotar el error de truncamiento, por lo cual su valor prctico es algo limitado. Su valor terico
fundamental reside en que ella pone claramente de manifiesto la dependencia del error con la
potencia h
4
, lo cual indica que, a medida que h tome valores ms pequeos, el error de
truncamiento tender a cero con rapidez. Ntese que la presencia de la cuarta derivada en la
expresin de R, indica que el mtodo de Simpson es exacto si f(x) es un polinomio de grado 2 (lo
cual era de esperar, puesto que se aproxima con parbolas) y tambin para polinomios de grado 3,
lo cual resulta realmente inesperado.

A los efectos prcticos, puede utilizarse la frmula de Mansion: que permite acotar el error sin
necesidad de hallar derivadas:
E P I h R
2
1
3
2


y cuya demostracin se indica en otras lecturas recomendadas.

Ejemplo 2

En el ejemplo 1 se calcul con n = 10, mediante el mtodo de Simpson, la integral:

0
sen dx x
Se obtuvo:
000110 , 2 sen
0

dx x

Utilice la frmula de Peano y la de Mansion para hallar el error absoluto mximo de este
resultado.

Solucin:

Como el integrando es f(x) = sen

x, la cuarta derivada ser f
(4)
(x) = sen

x, la cual est acotada entre
0 y 1 en el intervalo de integracin [0, ]. Tomando 1 como la cota superior, la frmula de Peano
conduce a:
Si en el intervalo [a, b] f(x) es continua y posee
hasta la cuarta derivada continuas, entonces existe
en [a, b] al menos un nmero c tal que, el error de
truncamiento de la frmula de Simpson para la
integral de f(x) en [a, b] viene dado por:

) (
180
) 4 ( 4
c f h
a b
R

=
321
0
10 180
0
4
|
.
|

\
|
R

0,00017 R 0

Es decir un error negativo (error por exceso) y menor en valor absoluto que 0,00017. En realidad,
el error de truncamiento es de 0,00011.

La frmula de Mansion utiliza los valores, calculados en el ejemplo 1,

E = 0,000000
I = 3,236068
P = 3,077684

de donde: E P I h R
2
1
3
2
= 0,033
que es una cota muy conservadora para el error de truncamiento real.

Una frmula asinttica para el error de truncamiento del mtodo de Simpson

Es fcil obtener una frmula para hallar una aproximacin del error de truncamiento en el mtodo
de Simpson, que posee la ventaja de dar una estimacin del error menos conservadora que las
cotas que se obtienen con las frmulas de Peano y Mansion. Su deduccin es muy similar a la que
se emple en el mtodo de las trapecios. A partir de la frmula (7):

=
=
1
0
) 4 (
5
2
) (
90
n
i
i
c f
h
R
se puede escribir:

=
=
1
0
) 4 (
4 2
2 ) (
180
n
i
i
h c f
h
R

Entonces, trasponiendo y pasando al lmite:

=

=
1
0
) 4 (
0
4
0
2
2 ) ( lim
180
lim
n
i
i
h h
h c f
h
R


y, como f
(4)
(x) es continua y, por lo tanto, integrable en [a, b], el lmite de la derecha existe y es la
integral definida de esta funcin. Es decir:

=

b
a
h
dx x f
h
R
) (
180
lim
) 4 (
4
0


Siendo f
(4)
(x) continua, puede utilizarse la regla de Barrow y resulta:

) ( ) (
180
lim
) 3 ( ) 3 (
4
0
a f b f
h
R
h
=


As que, para valores pequeos de h, se tiene:
322

4
) 3 ( ) 3 (
180
) ( ) (
h
a f b f
R

(8)

donde el signo se est utilizando con el sentido asinttico: Cuando h tiende hacia cero, ambos
miembros son infinitsimos equivalentes.

Estimacin del error de truncamiento por doble clculo

La frmula (8) no es tan atractiva para la estimacin del error de truncamiento como su similar
del mtodo de los trapecios, ya que aqu se requiere hallar hasta la tercera derivada del
integrando. Sin embargo, ella deja ver claramente que, para valores pequeos del paso h, el error
de truncamiento es de la forma:
R = Ch
4
(9)

lo cual se puede utilizar de inmediato para hallar estimaciones de R a partir de dos aplicaciones
del mtodo de Simpson.

Sea I
h
: Resultado obtenido al calcular la integral por el mtodo de Simpson con paso h
I
2h
: Resultado obtenido al calcular la integral por el mtodo de Simpson con paso 2h
R
h
: Error de truncamiento de I
h


Como ya se demostr en la seccin 5.2 (frmula 14):


1 2
2

p
h h
h
I I
R

Como, de acuerdo con (9), para el mtodo de Simpson es p = 4, resulta:


15
2h h
h
I I
R

(10)
Ejemplo 3

En el ejemplo 1 la integral

0
sen dx x
fue calculada con el mtodo de Simpson utilizando n = 10, 20 y 40 sub intervalos. Utilice estos
resultados para estimar el error de truncamiento obtenido para n = 20 y n = 40.

Solucin:

Para n = 20, se obtuvo: I
h
= 2,00000678
Para n = 10, se obtuvo: I
2h
= 2,00011.

El error de truncamiento de I
h
viene dado aproximadamente por:


15
2h h
h
I I
R

=
15
00011 , 2 00000678 , 2
= 0,00000688
323
Es decir, al tomar 20 sub-intervalos el error de truncamiento es aproximadamente
de 0,00000688. Ntese que el verdadero error de este resultado es de 0,00000678.

Para n = 40, se obtuvo: I
h
= 2,00000042
Para n = 20, se obtuvo: I
2h
= 2,00000678

El error de truncamiento de I
h
es aproximadamente:


3
2h h
h
I I
R

=
15
00000678 , 2 00000042 , 2
= 0,000000424

Esto es, tomando n = 40 sub-intervalos el error de truncamiento resulta aproximadamente de
0,000000424. El verdadero error de truncamiento es en este caso de 0,00000042.

Ejemplo 4
Calcule la integral

2
1
2
dx e
x
con cuatro cifras decimales exactas utilizando el mtodo de Simpson.
Solucin:

Esta integral fue calculada mediante el mtodo de los trapecios en la seccin 5.2. Con ese
procedimiento se requiri emplear hasta 640 sub intervalos. En los clculos que siguen se ha
utilizado un programa basado en el seudo cdigo del mtodo de Simpson, para efectuar cada una
de las integrales. El error de truncamiento se ha estimado mediante doble clculo utilizando la
frmula (10). El proceso se comenz arbitrariamente con n = 10 y a partir de ah se estimaron los
errores comparando con el resultado anterior. La tabla 2 muestra todos los resultados. El proceso
iterativo fue detenido tan pronto como el error estimado fue menor que 0,00005. Con cuatro
cifras decimales exactas, el valor de la integral es 14.989986. Observe que se requiri calcular la
integral solamente con 40 sub intervalos.



Frmulas de Newton Cotes

La idea del mtodo de los trapecios, posteriormente extendida al mtodo de Simpson, puede
generalizarse. En esencia, se trata de aproximar el integrando por un conjunto de polinomios de
grado m (en el mtodo de los trapecios m = 1 y en el mtodo de Simpson m = 2) tomando para
ello m + 1 nodos sucesivos del conjunto {a = x
0
, x
1
, x
0
, ..., x
n
= b}. Despus se integran estos
polinomios y se obtienen frmulas del tipo:

n
i
i i
b
a
y A dx x f
0
) (
10 14.992527
20 14.990140 0.000159
40 14.989986 0.000010
n Integral Error estimado
Tabla 2
324
donde y
i
= f(x
i
) para i = 0, 1, 2,..., n y las constantes A
i
dependen del paso h y del grado m de los
polinomios utilizados. Se supone, naturalmente, que n es un mltiplo de m.

Estas frmulas reciben el nombre de Newton Cotes. Por ejemplo, para m = 3, se obtiene la
frmula de Newton Cotes de orden 3 (conocida tambin como frmula de los tres octavos):

( ) ( ) ( ) | |
n n n n
b
a
y y y y y y y y y y y y h dx x f + + + + + + + + + + + +

1 2 3 6 5 4 3 3 2 1 0
8
3
3 3 3 3 3 3 ) ( L

donde se supone que n es mltiplo de m = 3. Los trminos de sub ndice mltiplo de tres pueden
agruparse y resulta:
) 2 3 3 ( ) (
3 2 1 8
3
S S S E h dx x f
b
a
+ + +



donde: E = y
0
+ y
n
(Suma de las ordenadas en los extremos)
S
1
= y
1
+ y
4
+ ... + y
n2
(Suma de las ordenadas de ndice de tipo 3i + 1)
S
2
= y
2
+ y
5
+ ... + y
n1
(Suma de las ordenadas de ndice de tipo 3i + 2)
S
3
= y
3
+ y
6
+ ... + y
n3
(Suma de las ordenadas de ndice de tipo 3i)

Sin embargo, el error de truncamiento de esta frmula es del mismo orden h
4
que el mtodo de
Simpson, as que no tienen mucho sentido el uso de esta expresin ms complicada.

El lector interesado en frmulas de Newton Cotes de orden aun mayor puede consultar la
bibliografa que se recomienda al final de este captulo. Ms adelante se ver que el enfoque de
Romberg es una va mucho ms simple para obtener resultados mejores que los de las frmulas
de Newton Cotes de orden superior.

Ejercicios

Algunos de los ejercicios que siguen son muy laboriosos para realizar los clculos a mano. Se
supone que posea programas computacionales, preferiblemente confeccionados por usted, para
ayudarle en el trabajo. De no ser as, en los ejercicios que requieran mucho trabajo manual,
determine los resultados con menos cifras exactas que las exigidas.
1. Dada la integral

2
1
3
2
dx
x
= 0,75
a) Mediante el mtodo de los trapecios, calclela aproximadamente con 4, 8, 16, 32 y 64
sub intervalos, determine el error en cada caso y verifique que en la medida en que el paso
se duplica el error disminuye aproximadamente a la cuarta parte. Por qu sucede esto?

b) Repita el clculo de la integral, pero empleando el mtodo de Simpson y determine cmo
va decreciendo el error en la medida en que la cantidad de sub intervalos se va duplicando.
Justifique por qu sucede as.

2. Resulta difcil medir la carga elctrica, sin embargo la corriente puede determinarse con
suficiente exactitud mediante un ampermetro. Este hecho puede aprovecharse para calcular
la carga que ha ido almacenando una batera de automvil mediante:

325

=
t
idt Q
0


Utilice el mtodo de Simpson para determinar aproximadamente, a partir de los datos de
corriente medidos en ampere cada 10 minutos, la carga adquirida por la batera en una hora
(utilice hora como unidad de tiempo y obtenga el resultado en ampere-hora).

t (minuto) 0 10 20 30 40 50 60
I (ampere) 3,7 3,0 2,5 2,0 1,7 1,4 1,1

3. Calcule con cuatro cifras decimales exactas, el volumen del slido engendrado por la
rotacin alrededor del eje x de la regin comprendida entre la grfica de y = e
x
, el eje x, la
recta x = 0 y la recta x = 1.

4. A partir de la igualdad

4 1
1
0
2

=
+

x
dx


utilice el mtodo de Simpson para calcular con cinco cifras decimales exactas.

5. En el ejemplo 4 de la seccin 5.1 se analiz el problema de determinar el rea de la seccin
transversal de un ro con vista a calcular su caudal. En la figura 5 se muestran los resultados
de un conjunto de mediciones de la profundidad del ro a lo largo de su seccin transversal.
Calcule el rea de la seccin transversal y halle un estimado del error cometido.



6. Dada la integral definida:

+ +
3
1
2 3
) 4 5 4 ( dx x x x
a) Calcule su valor exacto por la regla de Barrow.
b) Calcule su valor por el mtodo de los trapecios con n = 8.
c) Calcule su valor mediante el mtodo de Simpson con n = 8.
d) Explique por qu el resultado de Simpson es exacto y el de los trapecios no.

Figura 5
h (m)
Seccin transversal del ro
2 4 6 8 10 12 14 16 18 20 22
x (m)
24
1,5
3,8 5,2 5,7 6,2 6,5 6,4 5,9 5,9 5,5
3,5
326
7. Calcule, con cuatro cifras decimales exactas, la integral:

5 , 1
0
sen
d

8. Cuando un cable o una cadena cuelga sujeto por los extremos y sometido solamente a su
propio peso, adopta la forma de una catenaria, que es la grfica del coseno hiperblico. El
cable que se muestra en la figura 6 tiene como ecuacin:

x y 1 , 0 cosh =

respecto a un sistema de ejes, como muestra la figura, colocado de modo que el origen se
halla un metro debajo del punto ms bajo del cable y donde tanto x como y se miden en
metros. Halle la longitud del cable con un error menor que un milmetro.



9. Al intentar calcular la longitud de una elipse, aparece un tipo de integral, llamado elptica, la
cual no puede ser evaluada por mtodos analticos. Estas integrales aparecen tabuladas y, en
el captulo 4 se vio cmo el problema se puede resolver interpolando en una de estas tablas.
Por supuesto, tambin se puede calcular la integral elptica numricamente. Halle la longitud
de una elipse de semiejes 3 y 4 con un error menor que 0,00005.

10. Se necesita calcular la superficie de una teja acanalada que se muestra en la figura 7.
Suponga que el perfil de la teja es sinusoidal y calcule la superficie con un error menor que 5
cm
2
.


30 m
x
y
1
Figura 6
327


11. Uno de los generadores de una central termo elctrica ha estado entregando durante un
periodo de 4 horas los niveles de potencia que se indican en la tabla. Calcule la energa total
entregada en ese periodo, en megawatt-hora y haga un estimado del error cometido.

t (hora) 0 0,5 1,0 1,5 2,0 2,5 3,0 3,5 4,0
P (megawatt) 45 47 48 47 45 46 48 46 45

12. Elabore un algoritmo en seudo cdigo que calcule una integral mediante el mtodo de los
trapecios utilizando como datos: el integrando, el intervalo de integracin y la cantidad de
subintervalos. El algoritmo debe dar como resultado no solo el valor aproximado de la
integral sino, adems, un estimado del error de truncamiento.

13. Elabore un algoritmo en seudo cdigo que calcule una integral mediante el mtodo de
Simpson con un error menor que una cierta tolerancia. El algoritmo debe utilizar como
datos: el integrando, el intervalo de integracin y la tolerancia del error.


5.4 El mtodo de Gauss

Los mtodos considerados hasta aqu se han basado en dividir el intervalo de integracin
mediante un conjunto de puntos equidistantes en los cuales el integrando se evala. El mtodo de
integracin numrica de Gauss, por el contrario, supone desconocidos los puntos del intervalo en
que se evaluar la funcin y procede entonces a determinarlos de la manera ms conveniente, es
decir, de modo que la aproximacin obtenida sea, en un cierto sentido, lo mejor posible.

Primero se considerar una integral en el intervalo particular [1, 1]. Ms adelante se ver que,
mediante un sencillo cambio de variable, cualquier integral definida puede reducirse a una
integral en ese intervalo. Sea la integral a calcular:

1
1
) ( dt t f
100 cm
180 cm
Figura 7
6 cm
328

Se trata, entonces, de encontrar una frmula del tipo:


m
i
i i
t f A dt t f
1
1
1
) ( ) ( (1)

donde los parmetros A
1
, A
2
,..., A
m
y t
1
, t
2
,..., t
m
se hallarn siguiendo el criterio de que la frmula
(1) sea exacta para polinomios del mayor grado posible.

Como el conjunto P
n
de todos los polinomios de grado menor o igual que n es un espacio
vectorial de dimensin n + 1, es suficiente que la frmula (1) sea exacta para los elementos de
una base de P
n
y entonces lo ser para todos los elementos del espacio. En efecto, si {g
0
(t),
g
1
(t),..., g
n
(t)} es una base de P
n
, cualquier polinomio de grado menor o igual que n se puede
escribir como combinacin lineal de esta base, es decir:

p(t) =
0
g
0
(t) +
1
g
1
(t) + ... +
n
g
n
(t)

y, debido a la linealidad de la integral:




+ + + =
1
1
1
1
1 1
1
1
0 0
1
1
) ( ) ( ) ( ) ( dt t g dt t g dt t g dx t p
n n
L

Como se supone que la frmula es exacta para las funciones que forman la base:


= = =

+ + + =
m
i
i n i n
m
i
i i
m
i
i i
t g A t g A t g A dt t p
1 1
1 1
1
0 0
1
1
) ( ) ( ) ( ) ( L

O sea: | |

+ + =
m
i
i n n i i i
t g t g t g A dt t p
1
1 1 0 0
1
1
) ( ) ( ) ( ) ( L
As que:

=
m
i
i i
t p A dt t p
1
1
1
) ( ) (

Es decir, que la aproximacin (1) se convierte en exacta para cualquier polinomio de grado menor
o igual que n.

Como en la frmula (1) aparecen 2m coeficientes por determinar, es de esperar que esto permita
hacerla exacta para 2m funciones independientes. Por tanto, debe ser posible lograr su exactitud
para polinomios de grado menor o igual que 2m 1, cuyas bases son conjuntos de 2m funciones.

Con vistas a simplificar las notaciones, el anlisis que sigue se limitar al caso concreto en que
m = 3 que es suficientemente grande para que se comprenda la importancia de seleccionar
adecuadamente la base de P
n
con la que se operar. Como se ver, la generalizacin a otros
valores de m ser evidente.

La frmula (1) para este caso particular tiene la forma:

329
) ( ) ( ) ( ) (
3 3 2 2 1 1
1
1
t f A t f A t f A dt t f + +

(2)

y los seis parmetros A
1
, A
2
, A
3
, t
1
, t
2
, t
3
, sern calculados de manera que la frmula (2) sea una
igualdad para una base del espacio vectorial P
5
de los polinomios de grado menor o igual que
cinco.

Suponga que se selecciona como base de P
5
el conjunto de funciones

{1, t, t
2
, t
3
, t
4
, t
5
}

(lo cual es una psima seleccin), entonces sustituyendo en (2) a f(t) por cada una de estas seis
funciones y cambiando el signo por un =, se obtienen las seis ecuaciones que siguen:
Para f(t) = 1: 2
1
1
3 2 1
= = + +

dt A A A
Para f(t) = t: 0
1
1
3 3 2 2 1 1
= = + +

tdt t A t A t A
Para f(t) = t
2
:
3
2
1
1
2 2
2 3
2
2 2
2
1 1
= = + +

dt t t A t A t A
Para f(t) = t
3
: 0
1
1
3 3
2 3
3
2 2
3
1 1
= = + +

dt t t A t A t A
Para f(t) = t
4
:
5
2
1
1
4 4
2 3
4
2 2
4
1 1
= = + +

dt t t A t A t A
Para f(t) = t
5
: 0
1
1
5 5
2 3
5
2 2
5
1 1
= = + +

dt t t A t A t A

Como se ve, se trata de un sistema no lineal de seis ecuaciones con seis incgnitas cuya solucin
es sumamente compleja y eso, a pesar de que se ha tomado un valor de m muy pequeo.

Los polinomios de Legendre

La base seleccionada por Gauss utiliza a una notable familia de polinomios llamada Polinomios
de Legendre. El polinomio de Legendre de grado n (n = 0, 1, 2,... ), se define como:

| |
n
n
n
n
n
t
dt
d
n
t p ) 1 (
! 2
1
) (
2
=
de modo que:

| | 1 ) 1 (
! 0 2
1
) (
0 2
0
0
0
0
= = t
dt
d
t p

| | t t
dt
d
t p = = ) 1 (
! 1 2
1
) (
2
1
1

330
| | | | ) 1 3 ( 1 2
8
1
) 1 (
! 2 2
1
) (
2
2
1 2 4
2
2
2 2
2
2
2
2
= + = = t t t
dt
d
t
dt
d
t p

| | ) 3 5 ( ) 1 (
! 3 2
1
) (
3
2
1
3 2
3
3
3
3
t t t
dt
d
t p = =

| | ) 3 30 35 ( ) 1 (
! 4 2
1
) (
2 4
8
1 4 2
4
4
4
4
+ = = t t t
dt
d
t p
M

Los polinomios de Legendre gozan de muchas interesantes propiedades, de las cuales aqu se
citarn las dos que se necesitarn ms adelante:

Propiedad 1: Los n ceros del polinomio de Legendre de grado n son reales y diferentes y se
encuentran en el intervalo [1, 1]

Propiedad 2: Si q es cualquier entero no negativo menor que n, se cumple que
0 ) (
1
1
=

dt t p t
n
q

Una base para el espacio P
5


Una forma muy conveniente de seleccionar una base para el espacio de los polinomios de
grado menor o igual que cinco es la siguiente:

{1, t, t
2
, p
3
(t), t p
3
(t), t
2
p
3
(t)}

Observe que estas funciones forman un conjunto linealmente independiente ya que sus grados son
respectivamente 0, 1, 2, 3, 4 y 5. Para esta nueva base de P
5
se repetir ahora el proceso de
sustituir cada una de sus funciones en la expresin (2), hacindola exacta, es decir, cambiando el
signo por un =. Se obtienen las seis ecuaciones:

Para f(t) = 1: 2
1
1
3 2 1
= = + +

dt A A A
Para f(t) = t: 0
1
1
3 3 2 2 1 1
= = + +

tdt t A t A t A
Para f(t) = t
2
:
3
2
1
1
2 2
2 3
2
2 2
2
1 1
= = + +

dt t t A t A t A
Para f(t) = p
3
(t): 0 ) ( ) ( ) ( ) (
1
1
3 3 3 3 2 3 2 1 3 1
= = + +

dt t p t p A t p A t p A
Para f(t) = t p
3
(t) 0 ) ( ) ( ) ( ) (
1
1
3 3 3 3 3 2 3 2 2 1 3 1 1
= = + +

dt t p t t p t A t p t A t p t A
331
Para f(t) = t
2
p
3
(t): 0 ) ( ) ( ) ( ) (
1
1
3
2
3 3
2
3 3 2 3
2
2 2 1 3
2
1 1
= = + +

dt t p t t p t A t p t A t p t A

Obsrvese que las tres ltimas integrales no ha sido necesario calcularlas pues, por la propiedad 2
de los polinomios de Legendre, ellas valen cero.

Aunque, aparentemente, este sistema de ecuaciones es mucho ms difcil que el anterior, su
solucin es realmente muy sencilla: Tomando los parmetros t
1
, t
2
y t
3
como los tres ceros de
p
3
(t) (recurdese que son reales y distintos y estn en el intervalo [1, 1]), las tres ltimas
ecuaciones del sistema quedan satisfechas automticamente (independientemente de los valores
de A
1
, A
2
y A
3
), mientras que, conocidos t
1
, t
2
y t
3
, los valores de A
1
, A
2
y A
3
se hallan sin
dificultad a partir de las tres primeras ecuaciones del sistema, que forman un sistema lineal. Es
decir:
t
1
, t
2
y t
3
son los ceros de ) 3 5 ( ) (
3
2
1
3
t t t p = , que son:

774596669 , 0
5
3
1
= = t 0
2
= t 774596669 , 0
5
3
3
= = t

y A
1
, A
2
y A
3
forman la solucin del sistema:

2
3 2 1
= + + A A A
0
3 3 2 2 1 1
= + + t A t A t A

3
2
2
2 3
2
2 2
2
1 1
= + + t A t A t A

Sustituyendo t
1
, t
2
y t
3
por sus valores, el sistema queda:

2
3 2 1
= + + A A A
0
3
5
3
1
5
3
= + A A

3
2
3
5
3
1
5
3
= + A A
cuyas sus soluciones son:

... 55555555 , 0
9
5
1
= = A ... 88888888 , 0
9
8
2
= = A ... 55555555 , 0
9
5
3
= = A

A modo de resumen, se puede plantear que:


La frmula de Gauss para tres puntos:
) ( ) ( ) ( ) (
3 3 2 2 1 1
1
1
t f A t f A t f A dt t f + +


donde t
1
= 0,774596669 A
1
= 0,555555556
t
2
= 0 A
2
= 0,888888889
t
3
= 0,774596669 A
3
= 0,555555556

es exacta hasta para polinomios de grado menor
o igual que 5.
332
Generalizacin para cualquier m

No ofrece ninguna dificultad generalizar para cualquier entero positivo m el procedimiento
seguido para el caso particular de tres puntos.

La frmula de Gauss (tambin conocida, justamente, como de Gauss y Legendre) para m puntos
viene dada por:


m
i
i i
t f A dt t f
1
1
1
) ( ) ( (3)

donde: t
1
, t
2
, ..., t
m
son los ceros del polinomio de Legendre de grado m

y A
1
, A
2
, ..., A
m
son la solucin del sistema lineal:

= + + +
+
par es si 0
par es si
1
2
2 2 1 1
im i
i
A t A t A t
n
m
i
m
i i
L i = 0, 1, 2,..., m 1

La frmula (3) da resultados exactos si el integrando es cualquier polinomio de grado menor o
igual que 2m 1. Si f(t) es una funcin no polinmica los resultados ya no sern exactos pero su
error ser tanto menor mientras mayor sea el valor de m.

Generalizacin para cualquier intervalo

Cuando el intervalo de integracin es [a, b], un cambio de variable lo puede siempre reducir al
caso [1, 1]. En efecto, considere la integral:

b
a
dx x f ) (

Sea t
a b b a
x
2 2

+
+
= (4)

La ecuacin (4) define a x como una funcin de primer grado de t, de tal modo que:

Para t = 1 resulta x = a
Para t = 1 resulta x = b

y por otra parte: dt
a b
dx
2

=
Entonces, la integral se transforma en:

( )( )


+
= + =
1
1
2 2 2
) ( dt t f dx x f
a b a b b a
b
a

= ( )

+
+
1
1
2 2 2
dt t f
a b b a a b


333
A la ltima integral se le puede aplicar la frmula (3), pues su intervalo de integracin es [1, 1].
De ah resulta:
( ) ( )

=
+

+
+ +
m
i
i
a b b a
i
a b a b b a a b
t f A dt t f
1
2 2 2
1
1
2 2 2

Para que la frmula resulte ms corta, se acostumbra llamar:


i i
t
a b b a
x
2 2

+
+
= para i = 1, 2,..., m
y se obtiene:

m
i
i i
a b
b
a
x f A dx x f
1
2
) ( ) (
en resumen:



Aunque los parmetros t
i
y A
i
pueden ser calculados sin dificultad, los mismos se encuentran
tabulados con gran exactitud para su uso computacional. La tabal 1 ofrece sus valores hasta
m = 8.

m = 2 m = 3 m = 4 m = 5 m = 6 m = 7 m = 8
t
1
-0,57735027 -0,77459667 -0,86113631 -0,90617985 -0,93246951 -0,94910791 -0,96028986
t
2

0,57735027 0 -0,33998104 -0,53846931 -0,66120939 -0,74153119 -0,79666648
t
3

0,77459667 0,33998104 0 -0,23861919 -0,40584515 -0,52553242
t
4

0,86113631 0,53846931 0,23861919 0 -0,18343464
t
5

0,90617985 0,66120939 0,40584515 0,18343464
t
6

0,93246951 0,74153119 0,52553242
t
7

0,94910791 0,79666648
t
8

0,96028986
A
1
1 0,55555556 0,34785484 0,23692688 0,17132450 0,12948496 0,10122854
A
2

1 0,88888889 0,65214516 0,47862868 0,36076158 0,27970540 0,22238104
A
3

0,55555556 0,65214516 0,56888889 0,46791394 0,38183006 0,31370664
A
4

0,34785484 0,47862868 0,46791394 0,41795918 0,36268378
A
5

0,23692688 0,36076158 0,38183006 0,36268378
A
6

0,17132450 0,27970540 0,31370664
A
7

0,12948496 0,22238104
A
8

0,10122854

Tabla 1
La frmula de Gauss para m puntos:

m
i
i i
a b
b
a
x f A dx x f
1
2
) ( ) (
donde
i i
t
a b b a
x
2 2

+
+
= para i = 1, 2,..., m
da resultados exactos si f(x) es cualquier
polinomio de grado menor o igual que 2m 1.
334
Ejemplo 1

Calcular la integral:

0
sen dx x
a) Mediante el mtodo de Gauss de tres puntos. b) Mediante el mtodo de Gauss de 5 puntos.

Solucin:

a) A partir de la tabla 1 se tienen los valores de los parmetros t
i
y A
i
. Mediante los valores de t
i

se obtiene:

i i i
t t x
2 2
2
0
2
0

+ =

+
+
=

De ah: x
1
= 0,35406272
x
2
= 1,57079633
x
3
= 2,78752993

m
i
i i
x A dx x
1
2
0
0
sen sen
= 1,57079633[0,55555556 sen(0,35406272) +0,88888889 sen(1,57079633) +

+ 0,55555556 sen(2,78752993)

0
sen dx x 2,00138892

El error de truncamiento es 0,0014, un resultado verdaderamente asombroso si se tiene en
cuenta que el integrando solamente fue evaluado en tres puntos.

b) De forma similar, para m = 5 resulta:

0
sen dx x 2,00000011
Como se observa, con solo cinco evaluaciones del integrando, se han logrado seis cifras
decimales exactas. Un resultado similar requiere, con el mtodo de Simpson, evaluar el
integrando en 41 puntos (vea el ejemplo 1 de la seccin 5.3).

Algoritmo en seudo cdigo

El siguiente algoritmo calcula el valor aproximado de la integral de f(x) en el intervalo [a, b]
mediante el mtodo de Gauss de m puntos. Se supone que f(x) es continua en [a, b]. Se utilizan
como datos: la funcin f(x), el intervalo de integracin, el nmero entero m > 1 y una tabla con
los valores de los parmetros t
i
y A
i
para i = 1, 2, 3,..., m.

Suma := 0
for i = 1 to m
335

i i
t
a b b a
x
2 2

+
+
=
Suma := Suma + A
i
f(x
i
)
end
Integral :=
2
a b
Suma
El resultado es Integral
Terminar

El error en el mtodo de Gauss

La obtencin de la frmula del error de truncamiento en el mtodo de Gauss es una tarea muy
difcil. Puede demostrarse (ver otras lecturas recomendadas) que, para la frmula de m puntos de
Gauss en el intervalo [a, b], el error de truncamiento viene dado por:


| |
1 2
3
) 2 ( 4
) (
) 1 2 ( )! 2 (
) ( ) ! (
+

+
=
m
m
a b
m m
c f m
R
para algn nmero c en [a, b].

Sin embargo, la necesidad de hallar derivadas de un orden muy alto hace poco til esta frmula.
Ntese, por ejemplo que para acotar el error en la frmula de Gauss de 5 puntos se requiere
analizar la dcima derivada de f(x).

Bajo la suposicin de que ) (
) 2 (
x f
m
no sufra variaciones muy grandes en el intervalo [a, b], se
puede suponer que el error de truncamiento es, aproximadamente:

R C(b a)
2m+1


donde la constante C depende de f(x) y de m pero no de a y de b. Considere entonces que la
integral se calcula mediante la frmula de Gauss de m puntos y se obtiene un resultado I
1
con
error de truncamiento:
R
1
C(b a)
2m+1


Por otra parte, sea I
2
el resultado obtenido cuando se calcula la integral como:


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


donde es el punto medio del intervalo [a, b], es decir:


2
b a +
=

empleando en cada una de las integrales la misma frmula de Gauss de m puntos. Como en cada
una de las integrales el intervalo se ha reducido a la mitad, sus errores de truncamiento sern
ambos aproximadamente:

1 2
2
+
|
.
|

\
|
m
a b
C
336
por tanto el resultado I
2
tendr un error de truncamiento aproximado de


1
1 2
2
1 2
2
4
1
) (
2
1
2
2 R a b C
a b
C R
m
m
m
m
= = |
.
|

\
|
=
+
+


Es decir: R
1
= 4
m
R
2


Por otra parte, como I
1
+ R
1
= I
2
+ R
2


Resulta: I
1
+ 4
m
R
2
= I
2
+ R
2


y, despejando R
2
se tiene:
1 4
1 2
2

m
I I
R (5)

La frmula (5) puede utilizarse en forma iterativa, dividiendo de nuevo los intervalos de
integracin de las dos integrales parciales si el error de truncamiento fuera mayor que lo
requerido o, si se desea, repitiendo los clculos con un valor mayor de m.

Ejemplo 2

Mediante la frmula de Gauss de 4 puntos calcule la integral

2
1
2
dx e
x

con cuatro cifras decimales exactas.

Solucin:

Para el intervalo de integracin [1, 2]: I
1
= 14,98899597

Para el intervalo de integracin [1; 1,5]: 2,60046192
Para el intervalo de integracin [1,5; 2]: 12,38950636
I
2
= 14,98996828

= =

255
7 14,9889959 - 8 14,9899682
1 4
4
1 2
2
I I
R 0,0000038
Por tanto, con cinco cifras decimales exactas,

2
1
2
dx e
x
= 14,989968.
Ntese que, para llegar a este resultado el integrando fue evaluado 12 veces, 4 para la integral I
1
y
8 para obtener I
2
. En el mtodo de Simpson fueron necesarias 73 evaluaciones, 11 para la primera
aproximacin, 21 para la segunda y 41 para la tercera y final.

Ejercicios

Algunos de los ejercicios que siguen son muy laboriosos para realizar los clculos a mano. Se
supone que posea un programa computacional, preferiblemente confeccionado por usted, para
ayudarle en el trabajo. De no ser as, en los ejercicios que requieran mucho trabajo manual,
determine los resultados con menos cifras exactas que las exigidas.
337
1. Calcule el rea sombreada de la figura 1, limitada por la grfica de la funcin
x
x
x f
sen
) ( = ,
mediante el mtodo de Gauss de 4 puntos. (Ayuda: aproveche la simetra de la regin).



Figura 1

2. Se necesita calcular la integral:

+ + +
17 , 3
75 , 1
3 4 6 7
) 5 , 11 6 , 1 17 18 5 3 ( dx x x x x x

Qu mtodo de Gauss usted utilizara para obtener el resultado exacto de la integral?

3. El mtodo de Gauss y otros similares (por ejemplo, el de Chebyshev) debido a que requieren
evaluar el integrando en muy pocos puntos, resultan ventajosos cuando se necesita calcular
reas de regiones limitadas por elementos constructivos curvos. Por ejemplo, en el diseo
del casco de un barco, se necesita calcular el rea de algunas secciones transversales con
vistas a determinar el volumen de agua que se desplazar. En la figura 2 se muestra una de
estas secciones. Determine en que puntos sera necesario medir distancias verticales para
poder calcular aproximadamente el rea de la mitad de la seccin mediante el mtodo de
Gauss de 5 puntos. D una frmula para calcular el rea total.


4. Halle aproximadamente el volumen del slido de revolucin que se genera cuando la regin
de la figura 3 gira alrededor del eje x. Utilice el mtodo de Gauss de 4 puntos. Nota: para
9 m
Figura 2
338
hallar los puntos en que las curvas se intersecan utilice alguno de los mtodos numricos
estudiados en el captulo 2.


5. Halle la longitud de un periodo de la cosinusoide y = cos x con cuatro cifras decimales
exactas, mediante el mtodo de Gauss de cuatro puntos. Utilice la simetra de la curva.

6. Calcule la integral:

+
2
0
3
1 x
dx


con error menor que 0,00005 mediante algn mtodo de Gauss.

7. Se quiere calcular el volumen que tendr una copa (figura 4) que se encuentra en proceso de
diseo. Determine a que profundidades habra que tomar la longitud de tres dimetros con
vista a calcular el volumen mediante el mtodo de Gauss de 3 puntos. D una frmula para
calcular aproximadamente el volumen.


8. Calcule la integral que sigue con 5 cifras decimales exactas mediante el mtodo de Gauss de
4 puntos.
y = 4 x
2
y = e
x
x
y
Figura 3
6 cm
Figura 4
339

2
1
dx
x
e
x


9. A partir de la igualdad
a b
x
dx
b
a
ln ln =



para a y b positivos, calcule ln 2 con cinco cifras decimales exactas mediante algn mtodo
de Gauss.

10. Elabore un algoritmo en seudo cdigo que calcule el logaritmo neperiano de cualquier
nmero mayor que 1 utilizando la idea del ejercicio 9. El algoritmo debe utilizar el mtodo
de Gauss de 4 puntos con doble clculo para dar no solamente el valor del logaritmo sino un
estimado del error de truncamiento.


5.5 El mtodo de Romberg

El mtodo de Romberg proporciona un procedimiento de clculo numrico de integrales por
aproximaciones sucesivas utilizando la idea de estimar el error mediante el mtodo de doble
clculo. En la seccin 5.2 se demostr que si la integral

I =

b
a
dx x f ) (
se halla con un mtodo numrico cuyo error de truncamiento tiene la forma:

R
h
Ch
p


donde h es el paso de integracin:
n
a b
h

= , entonces el error R
h
puede ser estimado mediante:

1 2
2

p
h h
h
I I
R

donde I
h
e I
2h
son los resultados obtenidos al calcular la integral con pasos h y 2h
respectivamente.

Es de suponer que, si se corrige el valor I
h
con su error de truncamiento, se obtendr una
aproximacin mejor del resultado exacto I. Es ms, si R
h
se calculara exactamente, la suma de I
h

ms R
h
dara el resultado exacto de la integral. Puede probarse que, suponiendo que f(x) es
suficientemente derivable, la aproximacin:


1 2
2

+
p
h h
h
I I
I =
1 2
2
2

p
h h
p
I I
(2)

posee un error de truncamiento de orden p + 2.

340
La frmula (2), conocida como frmula de extrapolacin de Richardson es la base del mtodo de
Romberg. Para que este resulte ms claro, conviene realizar algunos cambios en la notacin.

Sea:
0
0
I el resultado obtenido mediante el mtodo de los trapecios usando un nmero
pequeo n de subintervalos.

0
1
I el resultado obtenido mediante el mtodo de los trapecios con 2n subintervalos.

0
2
I el resultado obtenido mediante el mtodo de los trapecios con 4n subintervalos.

y, en general:


0
k
I el resultado obtenido con (2
k
)n subintervalos, para k = 0, 1, 2,...

Con estos valores iniciales, se pueden calcular mejores aproximaciones mediante la frmula de
Richardson, para los cuales se utilizar la notacin:
1
k
I

Con la nueva notacin, la frmula de Richardson (2) toma el aspecto:


1 2
2
0
1
0
1

=

p
k k
p
k
I I
I k = 1, 2, 3,... (3)

como, para el mtodo de los trapecios es p = 2:


3
4
0
1
0
1

=
k k
k
I I
I k = 1, 2, 3,... (4)

La frmula (4) permite, con una reducida cantidad de operaciones aritmticas, mejorar las
aproximaciones iniciales realizadas por el mtodo de los trapecios. Los resultados de la
generacin 1:
1
k
I poseen un error de truncamiento de orden 4 y, de hecho, coinciden con los que
se obtienen utilizando el mtodo de Simpson.

El proceso puede continuarse. A partir de la generacin 1, se pueden obtener los de generacin 2,
para los cuales en la frmula (3) basta tomar p +2, en lugar de p:


1 2
2
2
1
1
1 2
2

=
+

+
p
k k
p
k
I I
I k = 2, 3, 4, ...

En general, la generacin m se obtiene a partir de la m 1, mediante:


1 2
2
) 1 ( 2
1
1
1 ) 1 ( 2

=
+

+
m p
m
k
m
k
m p
m
k
I I
I

donde, el orden del error de truncamiento es p + 2(m 1), ya que, con cada nueva generacin el
orden del error se incrementa en 2. Como p = 2, la frmula anterior queda:


1 4
4
1
1
1

m
m
k
m
k
m
m
k
I I
I m = 1, 2, 3,... k = m, m +1, m +2, ... (5)
341

La figura 1 muestra grficamente la relacin entre las diversas aproximaciones obtenidas en el
proceso iterativo. La tabla que se muestra en la figura se va construyendo por filas: el primer
elemento de la fila se calcula mediante el mtodo de los trapecios y los restantes por la frmula de
Richardson (5). En cada fila el error se acota mediante la diferencia (en valor absoluto) entre el
ltimo elemento de la fila y el ltimo elemento de la fila precedente, lo cual en la prctica, es una
cota bastante conservadora.




Ejemplo 1

Calcule con cuatro cifras decimales exactas mediante el mtodo de Romberg, la integral

0
sen dx x
Solucin:

Aplicando el mtodo de los trapecios con n = 4 y n = 8 se obtiene, respectivamente:

896119 , 1
0
0
= I
974232 , 1
0
1
= I
y, con ellos: 000270 , 2
3
4
0
0
0
1 1
1
=

=
I I
I
con error absoluto menor que 104151 , 0
0
0
1
1
= I I

Para comenzar la tercera fila (k = 2), se aplica el mtodo de los trapecios con n = 16:

n
2n
4n
8n
16n
32n
0
0
I
0
1
I
0
2
I
0
3
I
0
4
I
0
5
I
Mtodo de
los trapecios
Nmero de
intervalos
1
1
I
1
2
I
1
3
I
1
4
I
1
5
I
3
4
0
1
0
1

=
k k
k
I I
I
k
0
1
2
3
4
5
2
2
I
2
3
I
2
4
I
2
5
I
15
16
1
1
1
2

=
k k
k
I I
I
63
64
2
1
2
3

=
k k
k
I I
I
3
3
I
3
4
I
3
5
I
Figura 1
342
993570 , 1
0
2
= I

y, mediante la frmula de Richardson:

000016 , 2
3
4
0
1
0
2 1
2
=

=
I I
I 999999 , 1
15
16
1
1
1
2 2
2
=

=
I I
I
El resultado
2
2
I tiene un error absoluto mximo de 000271 , 0
1
1
2
2
= I I

Como esta cota es todava alta, se pasa a la cuarta fila (k = 3):

Utilizando el mtodo de los trapecios con 32 subintervalos:

998393 , 1
0
3
= I

Y se aplica ahora tres veces la frmula de Richardson, para obtener:

000001 , 2
3
4
0
2
0
3 1
3
=

=
I I
I 000000 , 2
15
16
1
2
1
3 2
3
=

=
I I
I 000000 , 2
63
64
2
2
2
3 3
3
=

=
I I
I

El error absoluto mximo de este ltimo resultado viene dado por: 000001 , 0
2
2
3
3
= I I

que satisface el requerimiento de cuatro cifras decimales exactas (y tambin el de cinco decimales
exactos). As, la respuesta es: 2,000000 con cinco cifras decimales exactas.

Si no se posee un programa que haga todo el proceso automticamente, pero s uno con el mtodo
de los trapecios, los resultados se ordenan de forma similar a como se hizo en la figura 1, tal
como muestra la tabla 1.



En la tabla 2 se muestra un resumen de los resultados que se han obtenido en el clculo de la
integral definida de sen

x en el intervalo [o, ] con los mtodos de trapecios, Simpson y Romberg,
para diferentes cantidades de subintervalos. Observe como el resultado de Romberg, que se ha
comenzado con 4 sub intervalos, coincide con el resultado de los trapecios para esa misma
cantidad, pero para 8 intervalos coincide con el resultado de Simpson y, a partir de ah, logra
valores con menor error que Simpson.

k Intervalos
0
k
I
1
k
I
2
k
I
3
k
I Error
0 4 1,896119
1 8 1,974232 2,000270 0,104151
2 16 1,993570 2,000016 1,999999 0,000271
3 32 1,998393 2,000001 2,000000 2,000000 0,000001
Tabla 1
343

Algoritmo en seudo cdigo

El algoritmo que sigue calcula la integral definida de f(x) en [a, b] con error menor que
mediante el mtodo de Romberg. Se supone que f(x) posee todas las derivadas requeridas en el
intervalo [a, b] y que los clculos se realizan con las cifras decimales necesarias para no tomar en
cuenta los errores por redondeo. El algoritmo utiliza como datos la funcin f(x), el intervalo de
integracin [a, b], la tolerancia del error, el nmero n de intervalos con que se desea comenzar y
supone que existe un algoritmo auxiliar Trapecios que permite calcular integrales mediante el
mtodo de los trapecios.


0
0
I := Trapecios (f(x), a, b, n) {El algoritmo Trapecios calcula la integral de f(x)
en [a, b] utilizando n sub intervalos}
k := 0
repeat
n := 2n
k := k +1 {A partir de aqu se calcula la fila nmero k}

0
k
I := Trapecios (f(x), a, b, n) {Se calcula el primer elemento de la fila}
for m = 1 to k {y en este lazo, los dems elementos de la fila}

1 4
4
:
1
1
1

m
m
k
m
k
m
m
k
I I
I
end
Error :=
1
1

k
k
k
k
I I
until Error <
El resultado es
k
k
I con error absoluto mximo Error

Ejemplo 2
Calcule la integral

2
1
2
dx e
x
con cuatro cifras decimales exactas utilizando el mtodo de Romberg.
Solucin:

La tabla 3 muestra los resultados obtenidos por un programa que calcula, a partir de n = 4, las
filas de Romberg. En la tabla solo se muestra el elemento final de cada fila y la cota del error, que
es el mdulo de la diferencia entre dos resultados sucesivos.

Intervalos Trapecios Simpson Romberg
4 1,89611908 2,00455974 1,89611908
8 1,97423165 2,00026917 2,00026917
16 1,99357035 2,00001659 1,99999975
32 1,99839336 2,00000103 2,00000000
64 1,99959839 2,00000006 2,00000000
Tabla 2
344


Observe que, con 32 intervalos se ha logrado la exactitud requerida de cuatro cifras decimales
exactas. Sin embargo, este resultado es mucho ms exacto, ya que la cota del error que se utiliza
en el mtodo de Romberg es muy conservadora; la diferencia entre el resultado para n = 32 solo
difiere en 10
-8
del obtenido para n = 64, el cual posee siete cifras decimales exactas.

Ejercicios

Algunos de los ejercicios que siguen son muy laboriosos para realizar los clculos a mano. Se
supone que posea un programa computacional, preferiblemente confeccionado por usted, para
ayudarle en el trabajo. De no ser as, en los ejercicios que requieran mucho trabajo manual,
determine los resultados con menos cifras exactas que las exigidas.

1. Calcule la siguiente integral mediante el mtodo de Romberg con error menor que 10
-5
.

2
0
tan dx x
2. Halle la longitud de la curva exponencial y = e
x
entre los puntos (0, 1) y (1, e) con cuatro
cifras decimales exactas mediante el mtodo de Romberg.

3. Mediante el mtodo de Romberg calcule con cuatro cifras decimales exactas el rea de la
regin sombreada de la figura 2, limitad por las grficas de las curvas
x
x
y
sen
= y
y = sen x.



Figura 2

0 4 16,07440693
1 8 14,99608964 1.07831729
2 16 14,98999225 0.00609739
3 32 14.98997603 0.00001622
4 64 14.98997602 0,00000001
k Intervalos Resultado Error
Tabla 3
345
4. Utilice el mtodo de Romberg para calcular, con cuatro cifras decimales exactas, la integral:

0
sen
3 dx
x


5. Si x es una variable aleatoria continua con distribucin de probabilidad normal con media 0
y varianza 1, entonces su funcin de densidad probabilstica viene dada por:

2
2
1
2
) (
x
e x

=

que se denomina campana de Gauss. La probabilidad de que x tome algn valor entre 0 y
1 viene dada por la integral:

1
0
) ( dx x
Calcule esta integral mediante el mtodo de Romberg con cinco cifras decimales exactas.

6. Puede probarse que

2
1
0
) ( =

dx x
Determine con 3 cifras decimales exactas el nmero a tal que:

4
1
0
) ( =

a
dx x

(Ayuda: Utilice algunos de los mtodos del captulo 2 para resolver ecuaciones
numricamente, por ejemplo, el mtodo de biseccin o el de la secante).

7. La figura 3 muestra la regin sombreada R limitada por las curvas x y ln = e
y = (x 2)(x 5). Calcule el rea de R con cuatro cifras decimales exactas mediante el
mtodo de Romberg.



Figura 3

8. Un cable que est sometido a una carga uniforme (adems de su propio peso), como ocurre
en los puentes colgantes, adquiere la forma de una parbola de eje vertical. Halle la longitud
346
del cable que sostiene al puente colgante de la figura 4. Utilice el mtodo de Romberg y
halle el resultado con un error menor que 1 cm.


9. En el algoritmo en seudo cdigo del mtodo de Romberg se trabaja con el arreglo
bidimensional
m
k
I aunque el algoritmo realmente no requiere almacenar todas las
aproximaciones que contiene este arreglo, sino solamente su ltima fila. Modifique el
algoritmo de manera que solo se empleen dos arreglos unidimensionales, llamados
FilaActual y FilaAnterior.


5.6 Clculo numrico de integrales dobles

Varios de los mtodos numricos estudiados antes pueden ser adaptados con facilidad al
problema de calcular una integral doble. Sea la integral:

I =

b
a
x h
x g
dydx y x f
) (
) (
) , ( (1)

cuya regin de integracin, limitada por las graficas de y = g(x), y = h(x) y las rectas x = a y
x = b se muestra en la figura 1.


Realmente, el smbolo empleado en la frmula (1), representa una integral iterada, es decir, una
integral respecto a x, de una integral respecto a y. As es como conviene enfocar este problema.
Para ello la integral (1), se escribe:
y = g(x)
y = h(x)
x = a x = b
a b x
y
Figura 1
200 m
x
Figura 4
40 m
347
I =

b
a
dx x F ) ( (2)
donde

=
) (
) (
) , ( ) (
x h
x g
dy y x f x F (3)

y queda claro que el clculo de I se reduce al clculo de integrales unidimensionales.

Los mtodos de los trapecios, de Simpson o de Gauss, permiten calcular aproximadamente la
integral (2) mediante frmulas del tipo:

n
i
i i
b
a
x F B dx x F
1
) ( ) ( (4)

El clculo exacto de F(x
i
) requiere de la integral:

=
) (
) (
) , ( ) (
i
i
x h
x g
i i
dy y x f x F i = 1, 2, 3,..., n (5)

pero su valor, para cada i, puede aproximarse por un mtodo numrico (que no tiene que ser el
mismo que el empleado en la expresin (4) )

m
j
j i ij i
y x f C x F
1
) , ( ) ( i = 1, 2, 3,..., n (6)

Observe que, como en cada x
i
el intervalo de integracin de (5) cambia, los coeficientes de (6) no
son los mismos para cada i, sino que dependen de i y de j.

Como la cantidad de evaluaciones de f(x, y) ser de mn, se requiere utilizar mtodos eficientes
que no necesiten que m y n tomen valores altos. En lo que sigue se utilizarn, como casos
particulares, el mtodo de Gauss y el mtodo de Simpson.

Clculo de integrales dobles por el mtodo de Gauss

Como el algoritmo de Gauss es muy simple de programar y requiere de muy pocos clculos, es
uno de los preferidos para evaluar integrales dobles. Por razones de simplicidad, se supondr que
todas las integrales unidimensionales se calculan con el mismo mtodo de Gauss (realmente, esto
no es obligatorio) de m puntos. Se supone que las funciones f, g y h son continuas y poseen las
derivadas necesarias para aplicar este algoritmo. La integral que se desea calcular es:

I =

b
a
x h
x g
dydx y x f
) (
) (
) , (

y su regin de integracin se muestra en la figura 1. Llamando, como hasta ahora:

348

=
) (
) (
) , ( ) (
x h
x g
dy y x f x F
la integral I se aproxima mediante la frmula de Gauss:

=
m
i
i i
a b
b
a
x F A dx x F I
1
2
) ( ) (
donde
i i
t
a b b a
x
2 2

+
+
= para i = 1, 2,..., m (7)

A
i
y t
i
son parmetros de la frmula, previamente calculados y tabulados.

En cuanto al trmino F(x
i
), se aproxima tambin mediante la frmula de Gauss para m puntos, es
decir:

=
) (
) (
) , ( ) (
i
i
x h
x g
i i
dy y x f x F

m
j
j i j
i i
y x f A
x g x h
1
) , (
2
) ( ) (
para i = 1, 2,..., m

donde
j
i i i i
j
t
x g x h x h x g
y
2
) ( ) (
2
) ( ) (
+
+
= para j = 1, 2,..., m (8)

A
j
y t
j
son, de nuevo, los parmetros de la frmula de Gauss para m puntos.

El algoritmo se puede resumir en una sola frmula:




= =

(
(

m
i
m
j
j i j
i i
i
a b
b
a
x h
x g
y x f A
x g x h
A dydx y x f
1 1
2
) (
) (
) , (
2
) ( ) (
) , (

con los x
i
dados por (7) y, para cada i, los y
j
calculados mediante (8).

La estimacin del error de truncamiento es complicada y no ser tratada.

Algoritmo en seudo cdigo del mtodo de Gauss para integrales dobles

El siguiente algoritmo calcula aproximadamente, mediante el mtodo de Gauss de m puntos, la
integral doble de f(x, y) en la regin

{(x, y): a x b, g(x) y h(x)}

como en la figura 1. Tanto el integrando como las funciones que limitan la regin de integracin
se suponen continuas y con la cantidad de derivadas necesarias para que el algoritmo de Gauss
que se emplee d resultados satisfactorios. Se suponen conocidos las funciones f, g y h, el
intervalo [a, b], el orden m del mtodo de Gauss que se emplear y los parmetros A
i
y t
i

(i = 1, 2,..., m) de la frmula de Gauss.

Integral := 0
for i = 1 to m
349

i
t
a b b a
x
2 2
:

+
+
=
c := g(x)
d := h(x)
F = 0
for j = 1 to m

j
t
c d d c
y
2 2
:

+
+
=
F := F + A
j
f(x, y)
end
F
c d
F |
.
|

\
|
=
2
:
Integral := Integral + A
i
F
end
Integral
a b
Integral |
.
|

\
|
=
2
:
El resultado es Integral
Terminar


Ejemplo 1

Calcule mediante el mtodo de Gauss de 4 puntos la integral doble:



+
4
2 ln
2 2
x
x
y x
dydx

Solucin:

Los clculos se realizarn paso a paso, siguiendo el algoritmo en seudo cdigo, para ayudar a su
comprensin.
Se toma
2 2
1
) , (
y x
y x f
+
= , g(x) = ln(x), h(x) = x , a = 2, b = 4
y los valores de t
1
, t
2
, t
3
, t
4
, A
1
, A
2
, A
3
, A
4
de la tabla 1 de la seccin 5.4.

Para i = 1
x
1
=
2 2
a b b a
+
+
t
1
= 2,138863690

Lmites de integracin: c
1
= ln(x
1
) = 0,7602747020 d
1
=
1
x = 1,462485449

Valores de y: y
1
= 0,8090304898
y
2
= 0,9920109056
y
3
= 1,230749245
y
4
= 1,413729661
F
1
= | | ) , ( ) , ( ) , ( ) , (
2
4 1 4 3 1 3 2 1 2 1 1 1
1 1
y x f A y x f A y x f A y x f A
c d
+ + +

= 0,1207277155
350
Para i = 2
x
2
=
2 2
a b b a
+
+
t
2
= 2,660018959

Lmites de integracin: c
2
= ln(x
2
) = 0,9783332505 d
2
=
2
x = 1,630956455

Valores de y: y
1
= 1,023646083
y
2
= 1,193705095
y
3
= 1,415584611
y
4
= 1,585643622

F
2
= | | ) , ( ) , ( ) , ( ) , (
2
4 2 4 3 2 3 2 2 2 1 2 1
2 2
y x f A y x f A y x f A y x f A
c d
+ + +

= 0.07428028231

Para i = 3
x
3
=
2 2
a b b a
+
+
t
3
= 3,339981040

Lmites de integracin: c
3
= ln(x
3
) =1,205965130 d
3
=
3
x = 1,827561501
Valores de y: y
1
= 1,249123713
y
2
= 1,411097825
y
3
= 1,622428805
y
4
= 1,784402918

F
3
= | | ) , ( ) , ( ) , ( ) , (
2
4 3 4 3 3 3 2 3 2 1 3 1
3 3
y x f A y x f A y x f A y x f A
c d
+ + +

= 0,04615936537

Para i = 4
x
4
=
2 2
a b b a
+
+
t
4
= 3,861136309

Lmites de integracin: c
4
= ln(x
4
) =1,350961520 d
4
=
4
x =1,964977432
Valores de y: y
1
= 1,393593778
y
2
= 1,553592592
y
3
= 1,762346360
y
4
= 1,922345174
F
4
= | | ) , ( ) , ( ) , ( ) , (
2
4 4 4 3 4 3 2 4 2 1 4 1
4 4
y x f A y x f A y x f A y x f A
c d
+ + +

= 0,03475074104

Clculo final:

Integral = ( )
4 4 3 3 2 2 1 1
2
F A F A F A F A
a b
+ + +

= 0,1326280669

Luego el resultado es de 0,1326280669. La integral no es calculable por mtodos analticos. El
resultado, hallado con 10 cifras exactas por va numrica es: 0,1326309143, lo que significa que
se obtuvo un error inferior a 0,000003.
351

Clculo de integrales dobles por el mtodo de Simpson

El mtodo de Simpson para calcular integrales dobles, aunque requiere evaluar el integrando en
muchos ms puntos que el mtodo de Gauss, tiene la ventaja, como se ver ms adelante, de que
el error de truncamiento se puede estimar por el proceso de doble clculo. La deduccin del
algoritmo es muy similar a la del mtodo de Gauss.
Tal como hasta aqu, la integral que se desea calcular es:

I =

b
a
x h
x g
dydx y x f
) (
) (
) , (

con la misma regin de integracin mostrada en la figura 1. Llamando,

=
) (
) (
) , ( ) (
x h
x g
dy y x f x F

la integral I se puede aproximar por el mtodo de Simpson para n subintervalos, como :

=
=
n
i
i i
h
b
a
x F A dx x F I
0
3
) ( ) ( (9)
donde
n
a b
h

= , x
i
= a + hi para i = 0, 1, 2,..., n (10)
y los coeficientes A
i
son:
A
0
= A
n
= 1
A
1
= A
3
= A
5
=... = A
n1
= 4 (11)
A
2
= A
4
= A
6
=... = A
n2
= 2

En cuanto a F(x
i
), cuyo valor exacto sera:

=
) (
) (
) , ( ) (
i
i
x h
x g
i i
dy y x f x F

Su valor se aproximar utilizando tambin el mtodo de Simpson con la misma cantidad de sub
intervalos (esto, realmente, no es necesario, pero de esta forma se obtienen expresiones ms
sencillas y el acotamiento del error es ms simple). De esta manera resulta:

n
j
j i j
h
i
y x f A x F
i
0
3
) , ( ) ( (12)
donde
n
x g x h
h
i i
i
) ( ) (
= ; y
j
= g(x
i
) + jh
i
para j = 0, 1, 2,..., n (13)
y los coeficiente A
j
estn dados por (11).

Combinando las ecuaciones (9) y (12) se obtiene una frmula ms compacta para el clculo
aproximado de la integral doble:
352




= = (
(

n
i
n
j
j i j
h
i
h
b
a
x h
x g
y x f A A dydx y x f
i
0 0
3 3
) (
) (
) , ( ) , ( (14)


en la cual, segn (10) y (13):
n
a b
h

= , x
i
= a + hi para i = 0, 1, 2,..., n


n
x g x h
h
i i
i
) ( ) (
= ; y
j
= g(x
i
) + jh
i
para j = 0, 1, 2,..., n

y los coeficientes A
i

y A
j
se muestran en (11).

Algoritmo en seudo cdigo del mtodo de Simpson para integrales dobles

El siguiente algoritmo calcula aproximadamente, mediante el mtodo de Simpson con n sub
intervalos, la integral doble de f(x, y) en la regin

{(x, y): a x b, g(x) y h(x)}

como en la figura 1. Tanto el integrando como las funciones que limitan la regin de integracin
se suponen continuas y con la cantidad de derivadas necesarias para que el algoritmo de Simpson
ofrezca resultados satisfactorios. Se suponen conocidos las funciones f, g y h, el intervalo [a, b], y
el nmero n de sub intervalos que se utilizar, el cual obligatoriamente debe ser par.


A
0
:= 1
A
n
:= 1
for i = 1 to n 1
A
i
:= 3 (1)
i
{El resultado es 2 si i es par y 4 si i es impar}
end
Integral := 0
hh :=
n
a b
{Este es el paso horizontal, para la variable x}
for i = 0 to n
x := a + hhi
c := g(x)
d := h(x)
F := 0
hv :=
n
c d
{Este es el paso vertical, para la variable y}
for j = 0 to n
y := c + hvj
F := F + A
j
f(x, y)
end
F
hv
F |
.
|

\
|
=
3
:
Integral := Integral + A
i
F
353
end
Integral
hh
Integral |
.
|

\
|
=
3
:
El resultado es Integral
Terminar
Ejemplo 2

Calcule mediante el mtodo de Simpson con n = 8 subintervalos la integral doble:



+
4
2 ln
2 2
x
x
y x
dydx


Se trata de la misma integral que fue calculada por el mtodo de Gauss en el ejemplo 1.

Solucin:
Como a = 2 y b = 4, el paso de la variable x ser: 25 , 0
8
2 4
=

= h
La tabla 1 muestra, para cada uno de los 9 valores de x
i
, el resultado F
i
F(x
i
) de la integral
interior, calculado con el mtodo de Simpson de 8 sub intervalos. Se han omitido los detalles del
clculo de los F
i
por un problema de espacio. Todos los clculos fueron ejecutados con un
programa confeccionado a partir del algoritmo en seudo cdigo.



El valor obtenido fue 0,1326442366, que comparado con el valor exacto de 0,1326309143,
muestra que se lograron 4 cifras decimales exactas, menos que el mtodo de Gauss de 4 puntos
con el cual se obtuvo 5 cifras decimales exactas.

Estimacin del error

Cuando la integral doble se calcula mediante el mtodo de Simpson, la integral

I =

b
a
x h
x g
dydx y x f
) (
) (
) , (
i x
i
F
i
0 2,00 0,1409302783
1 2,25 0,1075915751
2 2,50 0,0850521566
3 2,75 0,0691444759
4 3,00 0,0575205962
5 3,25 0,0487795461
6 3,50 0,0420453693
7 3,75 0,0367486993
8 4,00 0,0325071312
Tabla 1
354
se aproxima como:

=
=
n
i
i i
h
b
a
F A dx x F I
0
3
) ( (15)

donde:

=
=
n
j
j i j
h
i
y x f A F
i
0
3
) , ( (16)

el resultado obtenido contiene errores de dos fuentes diferentes. Por una parte en la ecuacin (15)
se introduce un error de truncamiento propio del mtodo aproximado de Simpson. Este error se
llamar R
1
y, como se recordar, es asintticamente proporcional a h
4
; el mismo existira aunque
los valores de F
i
coincidieran con F(x
i
). Por otra parte en (15) est presente el error debido a que
los valores de F
i
son solamente aproximaciones de F(x
i
), a este error se le llamar R
2
. Ntese que
esta es la misma situacin que se analiz en la seccin 5.2 respecto al error introducido en el
clculo numrico de las integrales debido a errores en los datos. Si se supone que en cada uno de
los F
i
est presente el mismo error absoluto , entonces el error R
2
vendra dado por:

=
=
n
i
i
h
A R
0
3
2
=

n
i
i
n
a b
A
0
3
1


Ahora bien, es fcil calcular la suma indicada:
1 4 2 4 2 4 1
0
+ + + + + + + =

=
L
n
i
i
A

y, como aparece
2
n
veces el sumando 4 y ( 1
2

n
) veces el sumando 2:
=

=
n
i
i
A
0
) 1 ( 2 ) ( 4 1 1
2 2
+ + +
n n
= 3n

De manera que: R
2
= ) 3 (
3
1
n
n
a b
= (b a) (17)

En la realidad, todos los F
i
no contendrn el mismo error. Cada uno de estos errores procede del
error de truncamiento introducido en la ecuacin (16) y, por tanto, ser proporcional a
4
i
h . Con
vista a obtener una cota superior del error, puede calcularse tomando el mayor de los h
i
el cual
toma el valor:
| | ) ( ) ( max
1
i i
i
n
x g x h

Esto es: | | ( )
4
1
3
) ( ) ( max
i i
i
n
x g x h K =

y, agrupando todas las constantes (independientes de n) en una sola:


4
1
2
) (
n
K =

Con esto, y tomando en cuenta la frmula (17), el error R
2
puede expresarse como:

R
2
=
4 1
2
) )( (
n
a b K (18)
355

Por su parte, el error R
1
viene dado por:

R
1
= Ch
4
= ( )
4
n
a b
C



Que, despus de reunir las constantes, resulta:

R
1
=
4 1
1
) (
n
K (19)

El error absoluto total de (15) puede entonces estimarse como la suma de R
1
+ R
2

Esto es: R = R
1
+ R
2
=
4 1
1
) (
n
K +
4 1
2
) )( (
n
a b K

que, con una nueva agrupacin de constantes, resulta en:

R = ( )
4
1
n
K

Esto prueba que el mtodo de Simpson para integrales dobles continua siendo un mtodo de
orden 4, al igual que para integrales unidimensionales. Lo cual es suficiente para extender el
procedimiento de doble clculo utilizado para integrales simples al caso de las integrales dobles.
Esto puede resumirse:




Ejemplo 3

Calcule la integral doble:


+
4
2 ln
2 2
x
x
y x
dydx

con cinco cifras decimales exactas utilizando el mtodo de Simpson.

Solucin:

Al calcular con n = 4, se obtiene el resultado:

Si al calcular la integral doble:


b
a
x h
x g
dydx y x f
) (
) (
) , (
mediante el mtodo de Simpson, se obtienen
resultados I
h
e I
2h
al utilizar respectivamente pasos h y
2h, entonces, el error en I
h
puede estimarse como:


15
2h h
h
I I
R


356
I
2h
= 0,1328112882

Utilizando n = 8: I
h
= 0,1326442366

El error de I
h
se estima como:
15
2h h
h
I I
R

=
15
1328112882 , 0 1326442366 , 0


000011 , 0
h
R

por lo cual, no es de esperar que I
h
tenga cinco cifras decimales exactas. Se repite entonces el
proceso, tomando ahora:

Para n = 8: I
2h
= 0,1326442366

Para n = 16: I
h
= 0,1326317902

El error contenido en este nuevo resultado puede estimarse como:


15
2h h
h
I I
R

=
15
1326442366 , 0 1326317902 , 0


00000083 , 0
h
R

Por tanto, con cinco cifras decimales exactas, el resultado es: 0,1326318.

Observe que la estimacin del error es bastante exacta, pues, teniendo en cuenta que el resultado
exacto de la integral es 0,1326309143, el verdadero error resulta de: 0,000000876.

Ejercicios

1. Calcule la integral doble:

R
dxdy xy
2

donde R es la regin que muestra la figura 2. Utilice el mtodo de Gauss de 4 puntos.

2. Calcule la integral del ejercicio anterior con un error menor que 0,00005 mediante el mtodo
de Simpson.

3. Calcule, con cinco cifras decimales exactas, la integral doble:
Figura 2
x
y
y = sen x
2
x
y =
R
357


3
1 1
sen
x
dydx
y
x


4. Determine cul de los mtodos de Gauss (es decir, con cuantos puntos) se requiere para
calcular la integral del ejercicio 3 con una exactitud similar.

5. Mediante el mtodo de Gauss de 4 puntos calcule la integral doble:


2
2
4
0
2
x
xy
dydx e

6. Calcule la integral del ejercicio anterior mediante el mtodo de Simpson con 16 sub
intervalos y determine aproximadamente el error de truncamiento.

7. Calcule la integral doble

+ +
R
y x
dxdy
1
2 2


donde R es la regin limitada por una cardioide como se muestra en la figura 3. Utilice el
mtodo de Gauss de 4 puntos.


8. Calcule, con cuatro cifras decimales exactas, la integral doble:

( )

dxdy
x
y
arctan
donde R es la regin del primer cuadrante interior a la lemniscata = 2 cos 4
2
.

9. En el caso particular en que la integral doble est definida sobre una regin rectangular:



b
a
d
c
dydx y x f ) , (
los algoritmos numricos se simplifican considerablemente. Elabore el seudo cdigo del
mtodo de Simpson para calcular este tipo especial de integral doble.
+ = cos 2 2
x
y
Figura 3
R
358
Otras lecturas recomendadas

En la deduccin del error de truncamiento para el mtodo de Simpson, ha sido omitida la
deduccin para el error cometido en un intervalo; en Anlisis Matemtico de R. Pastor et al.
puede verse una demostracin de la frmula con todos los detalles. En esta misma obra se halla la
deduccin de la frmula de Mansion para acotar el error del algoritmo de Simpson.

Acerca de las frmulas de Newton Cotes de orden superior puede consultarse el libro
Computing Methods de Berezin y Zhidkov el cual contiene las deducciones generales y los
coeficientes tabulados hasta para el caso de la frmula de orden 11.

El mtodo de Gauss, como se ha visto, descansa en las interesantes propiedades de los polinomios
de Legendre, de las cuales solo se han mencionado las dos que eran necesarias para justificar el
mtodo. El lector interesado en profundizar acerca de los polinomios de Legendre, puede
consultar A First Course in Numerical Analysis de A. Ralston. En cuanto a la deduccin de la
frmula del error de truncamiento en el mtodo de Gauss, puede consultarse la obra de Berezin y
Zhidkov antes citada.

El mtodo de Romberg se basa completamente en la frmula de Richardson la cual fue
demostrada en el texto. Sin embargo, no se prob que, cuando esta frmula se aplica a un mtodo
cuyo error de truncamiento tiene orden p, ella da resultados con error de truncamiento p + 2. Esta
demostracin puede encontrarse en Elementary Numerical Analysis de S. D. Conte.

La interpolacin mediante splines puede ser utilizada para construir frmulas de integracin
numrica; este interesante tema est tratado en Computer Methods for Mathematical
Computations de G. E. Forsythe et al.

Otro enfoque al problema de la integracin numrica es mediante los mtodos de Montecarlo, los
cuales, aunque poseen una baja eficiencia numrica, constituyen una elegante forma de calcular
integrales, sobre todo las dobles, triples y de mayor dimensin. El libro Computacional
Mathematics de Demidovich y Maron incluye todo un captulo al tratamiento de esta tcnica.

Por razones de espacio, el clculo numrico de las integrales impropias de primera y de segunda
especie no se ha abordado. El lector interesado en el tema encontrar una buena referencia en An
Introduction to Numerical Analysis de K. E. Atkinson.


Principales ideas del captulo

El mtodo analtico para calcular integrales definidas est limitado a funciones que posean
primitiva en trminos de funciones elementales, lo cual en muchos casos importantes, no
sucede. El procedimiento analtico tampoco es aplicable en los casos en que el integrando
solo puede evaluarse de modo experimental.
El mtodo de los trapecios se basa en la idea de dividir el intervalo de integracin en n
subintervalos de amplitud h mediante un conjunto de puntos {a = x
0
, x
1
, x
2
, ..., x
n
= b} y
descomponer la integral en n integrales, cada una de las cuales posee un intervalo de
integracin pequeo de longitud h, y se aproxima sustituyendo el integrando, para ese
intervalo, por el polinomio interpolador de primer grado que determinan los puntos extremos
del intervalo.
El mtodo de los trapecios consiste en la frmula aproximada:
359

( )
n n
b
a
y y y y y h dx x f
2
1
1 2 1 0
2
1
) ( + + + + +

L

Si en el intervalo [a, b] f(x) es continua y posee primera y segunda derivadas continuas,
entonces existe en [a, b] al menos un nmero c tal que, el error de truncamiento de la
frmula de los trapecios para la integral de f(x) en [a, b] viene dado por:

) (
12
2
c f h
a b
R

=

Para valores pequeos de h el error de truncamiento en el mtodo de los trapecios se puede
aproximar por la frmula asinttica:

2
12
) ( ) (
h
a f b f
R


Si el error de truncamiento de un mtodo numrico de integracin es, asintticamente:

R
h
= Ch
p


entonces se puede estimar, para valores pequeos de h, mediante:


1 2
2

p
h h
h
I I
R

donde I
h
e I
2h
son los resultados obtenidos al calcular la integral mediante el mtodo
numrico con pasos h y 2h respectivamente.

Al calcular numricamente una integral, se introduce, adems del error de truncamiento, un
error debido a los errores de los datos. Este error est acotado por el producto del error en
cada dato por la longitud del intervalo de integracin y es, en general, muy pequeo en
comparacin con el error de truncamiento.
El mtodo de Simpson, o mtodo de las parbolas, se basa en la idea de dividir el intervalo
de integracin en n (nmero par) subintervalos de amplitud h mediante un conjunto de
puntos {a = x
0
, x
1
, x
2
, ..., x
n
= b} y descomponer la integral en n/2 integrales, cada una de las
cuales posee un intervalo de integracin pequeo de longitud 2h, y se aproxima sustituyendo
el integrando, para ese intervalo, por el polinomio interpolador de segundo grado que
determinan los puntos extremos y el punto central del intervalo.
La frmula aproximada del mtodo de Simpson es:
) 2 4 ( ) (
3
1
P I E h dx x f
b
a
+ +



donde: E = y
0
+ y
n
(Suma de las ordenadas en los extremos)
I = y
1
+ y
3
+ ... + y
n1
(Suma de las ordenadas de ndice impar)
P = y
2
+ y
4
+ ... + y
n2
(Suma de las ordenadas de ndice par)

y su error de truncamiento viene dado por: ) (
180
) 4 ( 4
c f h
a b
R

=

360
Como el error de truncamiento es de orden h
4
se puede estimar como:

15
2h h
h
I I
R


La frmula de Gauss para m puntos viene dada por:

m
i
i i
a b
b
a
x f A dx x f
1
2
) ( ) (
donde:
i i
t
a b b a
x
2 2

+
+
= para i = 1, 2,..., m

t
1
, t
2
, ..., t
m
son los ceros del polinomio de Legendre de grado m. Los valores de t
1
, t
2
, ..., t
m
y
A
1
, A
2
, ..., A
m
vienen tabulados y son tales que la frmula de Gauss da resultados exactos
para polinomios hasta de grado 2m 1.

Si I
1
es el resultado obtenido a calcular la integral de f(x) en [a, b] mediante el mtodo de
Gauss con m puntos e I
2
es la suma los resultados obtenidos al aplicar el mismo mtodo en
los intervalos [a, ] y [, b] ( es el punto medio del intervalo [a, b]), entonces el error de
truncamiento de I
2
puede estimarse como:

1 4
1 2
2

m
I I
R
El mtodo de Romberg es un algoritmo iterativo para calcular integrales. Se basa en la idea
de calcular por filas una tabla de aproximaciones. La fila nmero k se calcula a partir de la
fila k 1, mediante la frmula de Richardson:

1 4
4
1
1
1

m
m
k
m
k
m
m
k
I I
I m = 1, 2, ..., k
excepto el primer elemento de la fila:
0
k
I que se calcula mediante el mtodo de los trapecios
con 2
k
n subintervalos (n es un valor inicial que se selecciona como un nmero entero
pequeo, por ejemplo 4). Cada fila posee un elemento ms que la anterior. El error de
truncamiento del ltimo elemento de la fila est acotado por la diferencia (en valor absoluto)
con el ltimo elemento de la fila anterior.
Algunos de los mtodos numricos de integracin (Trapecios, Simpson, Gauss) aproximan
una integral definida mediante una suma y, por tanto, como una integral doble se calcula
como una integral simple iterada, los mtodos anteriores permiten calcular integrales dobles
reducindolas a una suma de sumas.
El mtodo de Gauss de m puntos para el clculo de integrales dobles se puede resumir en la
frmula:




= =

(
(

m
i
m
j
j i j
i i
i
a b
b
a
x h
x g
y x f A
x g x h
A dydx y x f
1 1
2
) (
) (
) , (
2
) ( ) (
) , (
donde:

i i
t
a b b a
x
2 2

+
+
= para i = 1, 2,..., m
y, para cada x
i
,
j
i i i i
j
t
x g x h x h x g
y
2
) ( ) (
2
) ( ) (
+
+
= para j = 1, 2,..., m

El mtodo de Simpson con n sub intervalos para integrales dobles se resume como:

361



= = (
(

n
i
n
j
j i j
h
i
h
b
a
x h
x g
y x f A A dydx y x f
i
0 0
3 3
) (
) (
) , ( ) , ( (14)

donde:
n
a b
h

= , x
i
= a + hi para i = 0, 1, 2,..., n
y, para cada x
i
:
n
x g x h
h
i i
i
) ( ) (
= ; y
j
= g(x
i
) + jh
i
para j = 0, 1, 2,..., n
En todos los casos {A
i
} = {1, 4, 2, 4, 2, ..., 2, 4, 1}

Al aplicar el mtodo de Simpson al clculo de integrales dobles, el error de truncamiento se
puede estimar por el procedimiento de doble clculo, ya que el error es del orden de h
4
,
mediante la frmula:

15
2h h
h
I I
R



Auto examen

1. Cite dos razones que limitan el mtodo analtico de calcular integrales definidas.

2. Explique la idea geomtrica del mtodo de los trapecios y diga por qu recibe este nombre.

3. Qu significa la afirmacin de que el error de truncamiento del mtodo de los trapecios es
de orden 2 y el de Simpson es de orden 4?

4. Por qu en el mtodo de Gauss el integrando se evala precisamente en los ceros de un
polinomio de Legendre?

5. Pruebe la frmula de extrapolacin de Richardson y explique qu relacin guarda la misma
con el mtodo de integracin de Romberg.

6. La figura que sigue muestra dos regiones idnticas en cuanto a su forma. La diferencia solo
est en cuanto a su posicin respecto a los ejes. Si se utiliza la regin R
1
el rea viene dada
por la integral


2
0
2
) 4 ( dx x
que, al ser calculada por el mtodo de Simpson con cuatro sub intervalos da cmo resultado:
5,33333333, es decir, 16/3, el valor exacto de la integral. Por qu en este caso el mtodo de
Simpson obtiene un resultado exacto? Si se utiliza la regin R
2
, hay que calcular la integral:

4
0
dx x
Cuando esta integral se calcula mediante el mtodo de Simpson con 64 sub intervalos se
obtiene el resultado 5,33206482 que solo posee dos cifras decimales exactas. Por qu en
este caso el mtodo de Simpson conduce a un resultado tan inexacto? Puede usted
establecer alguna recomendacin de carcter general?

362


7. Cuando una circunferencia rota (sin deslizamiento) a lo largo de una recta, cualquiera de los
puntos de la circunferencia describe una curva peridica, llamada cicloide. Si la
circunferencia tiene radio a, rota sobre el eje x y el punto P inicialmente se halla en el
origen, como en la figura que sigue, el punto P describe la cicloide de ecuacin paramtrica:

x = a(t sen

t); y = a(1 cos

t)

Si un auto viaja desde La Habana hasta Matanzas (100 km) Qu longitud recorre una
pequea piedra que se encuentra en la superficie de uno de los neumticos? D la respuesta
con un error menor que un metro.

8. Calcule mediante el mtodo de Simpson, con cuatro cifras decimales exactas, la integral
doble:


R
y
dydx e
donde R = {(x, y):
2

x ; cos

x y sen

x}

9. Respecto al algoritmo en seudo cdigo que se muestra a continuacin diga qu mtodo de
integracin se est empleando y complete los espacios entre signos de interrogacin.


n
a b
h

= :
Suma := ?
for i = 1 to n 1
x := a + ih
if i mod 2 = 1 then
Suma := Suma + ?
else
x
y
2
y = 4 x
2
R
1
4
x
y
2
y = x

R
2
4
P
Un arco de
Cicloide
2a
2a
x
y
P
363
Suma := Suma + ?
end
end
Integral := ?
El resultado aproximado es Integral
Terminar