Introduccin al programa

Mathematica .
Una manera de obtener las frmulas de integracin numrica junto con la expresin del error .
Frmula del Trapecio :
Hallamos el polinomio de interpolacin que pasa por los puntos {xk, f (xk)}, {xk1, f (xk1)} :

InterpolatingPolynomial@88xk, fk<, 8xk1, fk1<<, xD

fk +

H-fk + fk1L Hx - xkL

-xk + xk1

Integrando entre los dos extremos obtenemos la frmula que aproxima la integral :

IntegrateBfk +

H-fk + fk1L Hx - xkL

-xk + xk1

Simplify
1
2

Hfk + fk1L h

, 8x, xk, xk1<F . xk1 xk + h

Utilizando los desarrollos en serie de Taylor obtenemos una expresin del error :
Obsrvese cmo se obtienen el desarrollo de Taylor en el punto xk usando el Mathematica :

Normal@Series@f@xD, 8x, xk, 4<DD

f@xkD + Hx - xkL f@xkD +

2
1

Hx - xkL2 f@xkD +

Hx - xkL3 fH3L@xkD +
Hx - xkL4 fH4L@xkD
6
24
Normal@Series@f@xk + hD, 8h, 0, 4<DD
1

f@xkD + h f@xkD +

h4 fH4L@xkD
2
6
24
Integrate@Normal@Series@f@xD, 8x, xk, 2<DD, 8x, xk, xk + h<D 1
Hf@xkD + Normal@Series@f@xk + hD, 8h, 0, 2<DDL h Simplify
2
1 3
h f @xkD
12
1

h2 f@xkD +

h3 fH3L@xkD +

El punto donde se haga el desarrollo de Taylor da igual, la expresin del error es idntica.

10-Mtodos de resolucion de integrales.nb

Integrate@Normal@Series@f@xD, 8x, c, 2<DD, 8x, xk, xk + h<D 1

HNormal@Series@f@xkD, 8xk, c, 2<DD + Normal@
2
Series@f@xk1D, 8xk1, c, 2<DDL h . xk1 xk + h Simplify
-

12

h3 f@cD

Por tanto, tomando un punto intermedio del intervalo de integracin se tiene que el error se puede expresar
en la forma

Error HTrapecioL = -

1
12

h3 f @D

Frmula de Simpson de 1/3 :

Ahora cogemos tres puntos igualmente espaciados, y hallamos el polinomio de interpolacin (los puntos
pueden ser no igualmente espaciados, pero se toma as por simplicidad en las frmulas) :

InterpolatingPolynomial@88xk, fk<, 8xk1, fk1<, 8xk2, fk2<<, xD

fk + Hx - xkL

-fk + fk1

-xk + xk1

Hx - xk1L I- -fk+fk1
+
-xk+xk1
-xk + xk2

-fk1+fk2
M
-xk1+xk2

Integramos el polinomio en el intervalo [xk, xk2] y resulta la frmula que aproxima la integral :

IntegrateBfk + Hx - xkL
1
3

-fk + fk1
-xk + xk1

Hx - xk1L I- -fk+fk1
+
-xk+xk1
-xk + xk2

-fk1+fk2
M
-xk1+xk2

8x, xk, xk2<F . 8xk2 xk + 2 h, xk1 xk + h< Simplify

Hfk + 4 fk1 + fk2L h

Haciendo igual que antes obtenemos la expresin del error :

Integrate@Normal@Series@f@xD, 8x, xk, 4<DD, 8x, xk, xk + 2 h<D 1

Hf@xkD + 4 Normal@Series@f@xk + hD, 8h, 0, 4<DD +
3
Normal@Series@f@xk + 2 hD, 8h, 0, 4<DDL h Simplify
-

90

h5 fH4L@xkD

Error HSimpsonL = -

1
90

h5 fH4L@D

Ejemplo 1: Halle la integral aproximada de la funcin f HxL = e-x en el intervalo [0,2].

2

Consideremos la integracin numrica de la funcin siguiente en el intervalo [0, 2] :

f@x_D := Exp@-x^2D

El valor exacto de la integral puede obtenerse con el comando Integrate del Mathematica

10-Mtodos de resolucion de integrales.nb

Integrate@f@xD, 8x, 0, 2<D

1

Erf@2D

Y la aproximacin numrica del valor anterior se obtiene en la forma siguiente :

Exacto = NB

Erf@2D, 16F
2
0.8820813907624217
Si quisiermos utilizar 20 subintervalos en la Regla del Trapecio compuesto deberemos hallar los nodos de
integracin, y para ello dividiremos el intervalo de integracin en 20 partes, siendo la distancia entre dos nodos
consecutivos h=(b-a)/n :

n = 20; a = 0; b = 2;
h = Hb - aL n
1

10

Los nodos resultantes se pueden obtener con el comando Table :

Table@x@jD = a + j * h, 8j, 0, n<D

:0,

,
5 10 5 2 5 10 5
9
11 6 13 7 3 8 17 9 19
, 1,
, ,
, , , ,
, ,
, 2>
10
10 5 10 5 2 5 10 5 10
10

La frmula del Trapecio se puede expresar en la forma :

T = N@h Hf@x@0DD 2 + Sum@f@x@iDD, 8i, 1, n - 1<D + f@x@nDD 2LD

0.88202

Lo ideal es utilizar una sla frmula que evale directamente lo que queremos. Ello se puede conseguir
introduciendo todos los pasos anteriores en una funcin que llamaremos Trapecio[n_, a_, b_] donde n ser el
nmero de intervalos, y a, b los puntos extremos del intervalo de integracin. La funcin f[x] ya estaba
definida previamente.

Trapecio@n_, a_, b_D :=

Hh = Hb - aL n; Table@x@jD = a + j * h, 8j, 0, n<D;
N@h Hf@x@0DD 2 + Sum@f@x@iDD, 8i, 1, n - 1<D + f@x@nDD 2L, 16DL

Comprobamos el error que se comete al aplicar la funcin que acabamos de definir para distintos valores de n :

Exacto - Trapecio@20, 0, 2D
0.000060950366861

Ntese que la frmula del error nos proporciona una cota por exceso del error que se comete con el mtodo, y
en general , el error ser menor que esa cota. En el caso de la frmula del Trapecio compuesta es
-1 12 h3 f '' HLn, as que necesitamos una cota de la derivada segunda. Haciendo la representacin grfica
vemos que el mayor valor (en valor absoluto) se consigue en f (0)

10-Mtodos de resolucion de integrales.nb

Plot@f''@xD, 8x, 0, 2<D

0.5

0.5

1.0

1.5

2.0

-0.5

-1.0

-1.5

-2.0

En el ejemplo que acabamos de ver h =

1
,
10

as que una cota del error que se comete con la frmula del

Trapecio es la siguiente:

1 12 H1 10L^3 Abs@f''@0DD 20 N
0.00333333

lo cual est de acuerdo con el error obtenido anteriormente.Si aumentamos el nmero de subintervalos obtendremos mejores aproximaciones:

Exacto - Trapecio@800, 0, 2D
3.8157541 10-8
Exacto - Trapecio@8000, 0, 2D
3.81576 10-10
Lo mismo que hemos hecho para la Regla del Trapecio puede hacerse con la Frmula de Simpson compuesta.
Definimos la funcin Simpson[n_, a_, b_] teniendo en cuenta que ahora el nmero n de subintervalos tiene que
ser par necesariamente.

Simpson@n_, a_, b_D :=

Hh = Hb - aL n; Table@x@jD = a + j * h, 8j, 0, n<D;
N@h 3 Hf@x@0DD + 4 Sum@f@x@iDD, 8i, 1, n - 1, 2<D +
2 Sum@f@x@iDD, 8i, 2, n - 2, 2<D + f@x@nDDL, 16DL
La aplicacin de la funcin que acabamos de definir produce los siguientes errores

Exacto - Simpson@20, 0, 2D
4.07167932 10-7

De nuevo la frmula del error nos proporciona una cota por exceso del error que se comete con el mtodo, y en
general , el error ser menor que esa cota. En el caso de la frmula de Simpson compuesta es
-1 180 h5 f 4L HLn, as que necesitamos una cota de la derivada cuarta. Haciendo la representacin grfica
vemos que el mayor valor (en valor absoluto) se consigue en f 4L (0)

10-Mtodos de resolucion de integrales.nb

Plot@f''''@xD, 8x, 0, 2<D

10

0.5

1.0

1.5

2.0

-5

En el ejemplo que acabamos de ver h =

1
,
10

as que una cota del error que se comete con la frmula del

Trapecio es la siguiente:

1 180 H1 10L^5 Abs@f''''@0DD 20 N

0.0000133333

lo cual est de acuerdo con el error obtenido anteriormente. Si aumentamos el nmero de subintervalos
obtendremos mejores aproximaciones, y en general obtendremos mejor aproximacin con el mtodo de
Simpson que con el mtodo del Trapecio (para un mismo nmero de subintervalos) :

Exacto - Trapecio@800, 0, 2D
3.8157541 10-8
Exacto - Simpson@800, 0, 2D
1.59 10-13

Ejemplo 2: Halle la integral aproximada de la funcin f HxL = Sin@xD en el intervalo [0,].

f@x_D := Sin@xD

Exacto = Integrate@f@xD, 8x, 0, Pi<D

2

Trapecio@300, 0, PiD
1.999981722921408
Simpson@300, 0, PiD
2.000000000133622

Errores cometidos con los mtodos anteriores

Exacto - Trapecio@300, 0, PiD

0.000018277078592
Exacto - Simpson@300, 0, PiD
-1.33622 10-10

Ejemplo 3: Halle la integral aproximada de la funcin f HxL = x3 Sin@40 xD en el intervalo [0,2].

f@x_D := x^3 Sin@40 xD

10-Mtodos de resolucion de integrales.nb

Exacto = Integrate@f@xD, 8x, 0, 2 Pi<D

3

16 000
5
N@ExactoD

-6.20067
Errores cometidos con los mtodos anteriores

Exacto - Trapecio@1000, 0, 2 PiD

-0.032676505857180
Exacto - Simpson@1000, 0, 2 PiD
0.000138457268954

Ejemplo 4: Halle la integral aproximada de la funcin f HxL = x3 Sin@40 xD en el intervalo [0,2] utilizando
extrapolacin con la regla del Trapecio y la frmula de Simpson de 1/3.

f@x_D := x^3 Sin@10 xD

Exacto = Integrate@f@xD, 8x, 0, 2 Pi<D

3

250

4 3
5

Ahora, aplicaremos el proceso de extrapolacin a los mtodos anteriores para obtener frmulas mejoradas a
partir de dos integraciones numricas considerando un nmero n y un nmero 2 n de subintervalos.
Ntese que con 3 n subintervalos no obtenemos mejor aproximacin que con las mismas evaluaciones pero
utilizando el proceso de extrapolacin. Es decir, la frmula del Trapecio con 3 n subintervalos (A3) no resulta
mejor que la combinacin mediante extrapolacin de las frmulas del Trapecio para n y 2n intervalos (A1
yA2).

nint = 1000; A1 = Trapecio@nint, 0, 2 PiD;

A2 = Trapecio@2 nint, 0, 2 PiD; A3 = Trapecio@3 nint, 0, 2 PiD;
8Exacto - A1, Exacto - A2, Exacto - A3, Exacto - HA2 + HA2 - A1L 3L<
9-0.00816105947018, -0.00204016463848,
-0.00090673159070, 1.3363875 10-7=

Con la frmula de Simpson pasa algo parecido:

nint = 1000; A1 = Simpson@nint, 0, 2 PiD;

A2 = Simpson@2 nint, 0, 2 PiD; A3 = Simpson@3 nint, 0, 2 PiD;
8Exacto - A1, Exacto - A2, Exacto - A3, Exacto - HA2 + HA2 - A1L 15L<
92.13896592 10-6, 1.3363875 10-7, 2.639607 10-8, -4.973 10-11=

Ejemplo 5: Halle el nmero de intervalos necesario para calcular mediante la frmula de Simpson compuesta la integral de f(x)=sen(x) en [0,Pi] con un error menor que 10-8

f@x_D := Sin@xD

10-Mtodos de resolucion de integrales.nb

Plot@f@xD, 8x, 0, Pi<D

1.0

0.8

0.6

0.4

0.2

0.5

H4L

PlotAf
1.0

1.0

1.5

2.0

2.5

3.0

1.0

1.5

2.0

2.5

3.0

@xD, 8x, 0, Pi<E

0.8

0.6

0.4

0.2

0.5

Error HSimpsonCompL = -

1
180

h5 fH4L@D n

En el intervalo de integracin la derivada cuarta se acota por la unidad, y resulta :

nF N
180
n
88n -114.188<, 8n 0. - 114.188 <,
8n 0. + 114.188 <, 8n 114.188<<
SolveB10-8 ==

Pi

Habr que utilizar n = 116 intervalos (no 115, pues necesitamos un nmero par de intervalos para la aplicacin
de la frmula de Simpson compuesta).

exacto = Integrate@f@xD, 8x, 0, Pi<D

2

Comprobemos que con el nmero de intervalos sealado estamos dentro de la tolerancia pedida :

exacto - Simpson@116, 0, PiD

-5.978097 10-9

Ejercicio:
Calcular el valor de la integral de la funcin

1
x3 +4

en el intervalo [-1,1] utilizando las frmulas del Trapecio y

de Simpson con n=1000. Utilice el Mathematica para hallar el valor exacto de la integral (observe la dificultad que presenta su clculo).

10-Mtodos de resolucion de integrales.nb

Calcular el valor de la integral de la funcin

1
x3 +4

en el intervalo [-1,1] utilizando las frmulas del Trapecio y

de Simpson con n=1000. Utilice el Mathematica para hallar el valor exacto de la integral (observe la dificultad que presenta su clculo).

Ejercicio:
Calcular el valor de la integral de la funcin

SinAx2 E
x2 +1

en el intervalo [0,Pi] utilizando las frmulas del Trapecio y

de Simpson para distintos valores de n. Aplique las frmulas de extrapolacin para mejorar la aproximacin.
Utilice el Mathematica para hallar el valor exacto de la integral (observe la dificultad que presenta su
clculo).