5.

Interpolacin, Diferenciacin e Integracin Numrica

5.1. Diferencias Finitas
x k , uniformemente espaciadas: x k +1 = x k + h , a las que
corresponden valores f k f ( x k ) , se definen las primeras diferencias finitas hacia
Dadas las abscisas

adelante como:

f k = f k +1 f k .
Anlogamente pueden definirse las segundas diferencias:

2 f k = f k +1 f k = f k + 2 2 f k +1 + f k
y en general las diferencias finitas hacia adelante de orden n :

n f k = n 1 f k +1 n 1 f k
n

n f k =

i n

( 1) i f

k + n i

i =0

n
n!
=
i i!(n i )!

donde:

Una tabla de diferencias es un arreglo de la forma:

fk

f k

2 f k

3 f k

4 f k

5 f k

6 f k

7 f k

0
1
2
3
4
5
6
7
8

0
0
0
0
1
0
0
0
0

0
0
0
1
-1
0
0
0

0
0
1
-2
1
0
0

0
1
-3
3
-1
0

1
-4
6
-4
1

-5
10
-10
5

15
-20
15

-35
35

Puede apreciarse como un pequeo error en las

f k puede amplificarse en las

diferencias finitas altas, lo que puede ser til para identificar posibles errores en una
tabla de f ( x ) .

Las diferencias finitas tienen ciertas propiedades anlogas a las derivadas. As por
ejemplo:

(c1u k + c 2 v k ) = c1 u k + c 2 v k
(u k v k ) = u k v k + v k +1 u k

u
k
vk
n 1

i =0

v k u k u k v k
=
v k v k +1

u i v i = ( u n v n u 0 v 0 )

n 1

(u v

i i +1

i =0

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-1

En forma similar, pueden definirse diferencias finitas hacia atrs:

f k = f k f k 1

n f k = n 1 f k n 1 f k 1
y diferencias centrales:

f k = f k+ 1 f k 1
2

f k = f k + 1 f k 1 = f k +1 2 f k + f k 1
2

.....

n f k = n 1 f k + 1 n 1 f k 1
2

Estas diferencias estn relacionadas:

f k = f k +1 = f k + 1
2

Y en general:

n f k = n f k + n = n f k + n

Para puntos con espaciamiento no uniforme pueden calcularse diferencias divididas:

[ x 0 , x1 ] =

f ( x 0 ) f ( x1 )
= [ x1 , x 0 ]
x 0 x1

[ x 0 , x1 , x 2 ] =

[ x0 , x1 ] [ x1 , x 2 ]
x0 x 2

...

[ x 0 , x1 , x 2 , L x n ] =

[ x 0 , x1 , L x n 1 ] [ x1 , x 2 , L x n ]
x0 x n

Por ejemplo:

xk

fk

0
1
2
3
4
5

0
1
3
4
6
7

-5
1
25
55
181
289

[x k , x k +1 ]
6
12
30
63
108

L
2
6
11
15

1
1
1

0
0

Para el caso de puntos con espaciamiento uniforme, h , las diferencias divididas pueden
relacionarse con diferencias finitas hacia delante:

[ x i , xi +1 , x i + 2 , L x i + n ] =

n f i
n! h n

y en forma similar con diferencias finitas centrales o hacia atrs.

Si f (x) es un polinomio de grado n , las diferencias finitas (de cualquier tipo) de orden

n + 1 o superior obtenidas con los f k = f ( x k ) son cero. En el ejemplo anterior f ( x) es

un polinomio de tercer grado.

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-2

5.2. Interpolacin
Supngase que se tiene una tabla de valores tales como:

xn

f ( xk )

0
0.1
0.2
0.3
0.4
0.5

1.000 000
0.995 004
0.980 067
0.955 336
0.921 061
0.877 582

Y se requiere calcular f (0.25) . Para ello, f ( x) puede aproximarse localmente por una
funcin ms simple, g ( x) , tal que g ( x k ) = f ( x k ) . El caso ms comn es aquel en que

g ( x) es un polinomio, pero tambin son frecuentes las aproximaciones con funciones

trigonomtricas, por ejemplo:

g ( x) = a 0 + a1 cos x + a 2 cos 2 x + L + b1 sen x + b2 sen 2 x + L

En lo que sigue se hace nfasis en interpolaciones polinmicas. Dados n + 1 puntos

x k , f ( x k ) , slo un polinomio de grado n , p n (x ) , satisface las condiciones

p n ( x k ) = f ( x k ) para todo k . Sus coeficientes, ai , podran obtenerse resolviendo:

1
1

x0

x 02

x0

x1
x2

x12
x 22
x32

x13
x 23
x33

x3

K a 0 f ( x 0 )

K a1 f ( x1 )

K a 2 = f ( x 2 )
K a 3 f ( x3 )

M M

pero esto no es prctico. Otros mtodos ms eficientes se revisan a continuacin.

5.2.1 Frmulas de Interpolacin de Newton y Otras Expresiones Anlogas.
Para puntos uniformemente espaciados:

f ( x 0 + h ) = f 0 +

( 1) ( 2) L ( j + 1)
j!

j =1

j f0

Esta expresin es fcil de obtener considerando un operador E tal que E f k = f k +1 , es

f ( x 0 + h) = E f 0 = (1 + ) f 0 .
Generalmente se consideran solo algunos trminos de esta serie.

decir E = 1 + . Como E n f k = f k + n , puede escribirse:

Por ejemplo, despreciando las diferencias de orden 3 o superior:

f ( x k + h) f k + f k + 12 ( 1) 2 f k =
=

( 1) ( 2)
( 1)
f k + (2 ) f k +1 +
f k +2
2
2

Considerando los valores numricos:

xk

f ( xk )

2
3
4

0.2
0.3
0.4

0.980 067
0.955 336
0.921 061

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-3

(para los que h = 0.1 ), el valor de f (0.25) podra obtenerse con = 0.5 :

(0.5) (1.5)
(0.5) (0.5)
(0.980067) + (0.5) (1.5) (0.955336) +
(0.921061)
2
2

f (x 2 + 0.5h ) =

de donde f (0.25) 0.968 895 (el valor exacto es 0.968 912 )

La expresin anterior es la frmula de interpolacin de Newton con diferencias finitas
hacia adelante. Similarmente puede escribirse la frmula de Newton con diferencias
hacia atrs:

f ( x n + h) = f n +

( + 1) ( + 2) L ( + j 1)
j!

j =1

j fn

o la frmula de Newton con diferencias divididas:

f ( x) = f 0 + [x 0 , x1 ]( x x 0 ) + [x 0 , x1 , x 2 ]( x x 0 ) ( x x1 ) +
+ [x 0 , x1 , x 2 , x3 ] ( x x 0 ) ( x x1 ) ( x x 2 ) + L

Esta ltima expresin es vlida tambin para puntos con espaciamiento no uniforme.
Considrese por ejemplo la tabla de diferencias divididas:

xi

-1
0
1
2
3
4

0.
0.2
0.3
0.4
0.6
0.7

fi
1.000 000
0.980 067
0.955 336
0.921 061
0.825 335
0.764 842

[xi , xi +1 ]

[xi , L xi + 2 ] [xi , L xi +3 ] [xi , L xi + 4 ]

-0.099 667
-0.247 301
-0.342 755
-0.478 627
-0.604 934

-0.492 113
-0.477 270
-0.452 907
-0.421 025

0.037 106
0.060 908
0.079 705

0.039 670
0.037 594

f (0.25) = 0.980067 + (0.247301) (0.25 0.2) + (0.477270) (0.25 0.2) (0.25 0.3) +
+ (0.060908) (0.25 0.2) (0.25 0.3) (0.25 0.4) + L = 0.968914
(Este es el resultado con 5 trminos, con 3 trminos se obtiene 0.968 895)
Otra alternativa es interpolar con diferencias centrales:

f ( x k + h) = f k + f k + 1 + 12 ( 1) 2 f k + 16 ( 1) ( + 1) 3 f k + 1 + L
2

f ( x k + h) = f k + f k 1 + 12 ( + 1) 2 f k + 16 ( 1) ( + 1) 3 f k 1 + L
2

Estas son las frmulas de Gauss.

Promediando las dos expresiones se obtiene la

frmula de Stirling:

f ( x k + h ) = f k +

2
2

+ 2 f + ( 1) 3 f

f
+

f
+ 3 f k 1 + L
k+1

k
k1
k+1

12

5.2.2. Frmula de Interpolacin de Lagrange

Esta frmula es ms adecuada para anlisis tericos que para el cmputo prctico. El
polinomio de interpolacin se obtiene como:

p( x) =

g ( x) f
i

i =0

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-4

Los polinomios g i (x) se obtienen multiplicando n binomios: g i ( x ) =

(x x ) .
x )

(x
j =0
j i

Ntese que g i ( x j ) = ij .
El siguiente ejemplo es ilustrativo:

xk

fk

0
1
2

0.
1.
3.

-5.
1.
25.

g 0 ( x) =

( x 1) ( x 3) 1 2
= ( x 4 x + 3)
(0 1) (0 3) 3

g 1 ( x) =

( x 0) ( x 3) 1
= 2 ( x 2 + 3 x)
(1 0) (1 3)

g 2 ( x) =

( x 0) ( x 1) 1 2
= ( x x)
(3 0) (3 1) 6
2

p( x) =

g ( x) f
i

= 2x 2 + 4x 5

i =0

5.2.3. Interpolacin de Hermite.

En algunos casos es conveniente trabajar con los valores de la funcin, f (x ) y un cierto
nmero de sus derivadas
f ( x), f ( x), f ( x),K f (m ) ( x) .
Dados los valores
(m )
f k , f k , f k, K f k
en n puntos de abscisas x k , es posible determinar un polinomio p(x )
de grado (m + 1) n 1 que satisfaga:

p (i ) ( x j ) = f (i ) ( x j )

i = 0,1, K m
j = 0,1, K n 1

La interpolacin de una funcin cuando una o ms de sus derivadas son conocidas en

cada punto se llama interpolacin de Hermite. p(x ) puede obtenerse utilizando la frmula
de Newton con diferencias divididas y considerando que:

[x0 , x 0 ] = xLim
x
1

[x0 , x0 , x1 ] =

f ( x1 ) f ( x 0 )
= f ( x 0 )
(x1 x0 )

f ( x 0 ) [x 0 , x1 ]
(x0 x1 )

Tambin podran usarse las expresiones de Lagrange, considerando primero puntos a

una distancia pequea, , y luego identificando a las derivadas con los lmites de
diversas expresiones para 0 .
El siguiente ejemplo es ilustrativo. Se trata de determinar un polinomio p( x ) de grado 3,
tal que:

p(0) = v A

p (L ) = v B
p (0) = A

p (L ) = B

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-5

xk

fk

[x k , x k +1 ]

vA

vA

vB v A
L

L
L

vB
vB

[x k , x k +1 , x k + 2 ]

[xk , xk +1 , x k + 2 , x k +3 ]

vB vA A

L
L2
B vB v A

L
L2

2 (v B v A )
3

A +B
L2

Se han tomado datos de esta tabla siguiendo una trayectoria horizontal.

v v
2(v A v B ) A + B
2
2
p (x ) = v A + A (x 0 ) + B 2 A A ( x 0 ) +
+
(x 0 ) (x L )
3
2
L
L
L
L

p( x) = 1 3 2 + 2 3 v A + 3 2 2 3 v B + (1 ) A L 2 (1 ) B L donde =
2

x
.
L

5.2.4. Interpolacin Inversa.

En la solucin de

f ( x) = 0 pueden obtenerse aproximaciones a una raz, x , por

interpolacin de una funcin inversa con ordenadas xk para abscisas de espaciamiento

no uniforme, f ( x k ) . Considrese, por ejemplo:

xk

f (xk )

1.
2.
3.
4.

1.76
0.41
-0.16
-0.32

Usando la frmula de Lagrange con 4 puntos:

(0 0.41) (0 + 0.16) (0 + 0.32) (1)

(0 1.76) (0 + 0.16) (0 + 0.32) (2)
+
+
(1.76 0.41) (1.76 + 0.16) (1.76 + 0.32) (0.41 1.76) (0.41 + 0.16) (0.41 + 0.32)
(0 1.76) (0 0.41) (0 + 0.32) (3)
(0 1.76) (0 0.41) (0 + 0.16) (4)
+
+
(0.16 1.76) (0.16 0.41) (0.16 + 0.32) (0.32 1.76) (0.32 0.41) (0.32 + 0.16)

x 2.37
5.2.5. Generalizacin a Varias Dimensiones.
Las expresiones anteriores pueden fcilmente generalizarse para "mallas" de ms
dimensiones.

As,

si

se

tienen

puntos

con

coordenadas

xi , y j , z k

( i = 0 L n; j = 0 L m; k = 0 L l ) las frmulas de Lagrange resultan:

p ( x, y , z ) =

g
i =0

donde g xi ( x) =

(x x r )
i xr )

(x
r =0
r i

j =0 k = 0

xi

( x) g y j ( y ) g z k ( z ) f ijk

y expresiones similares en las direcciones y, z .

Frecuentemente los puntos estn uniformemente espaciados:

xi +1 = xi + x
y i +1 = y i + y
z i +1 = z i + z

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-6

La figura muestra una zona de una malla bidimensional con espaciamiento uniforme.
Las coordenadas de un punto en la proximidad de A pueden definirse por dos
parmetros , (coordenadas relativas medidas en unidades x, y ).

B
P

y
E

y
F

Usando la frmula de Stirling, e incluyendo diferencias centrales hasta de 2 orden

inclusive, se obtiene:

f (x 0 + x, y 0 + y ) =

+1

+1

a b
i

f ij

i = 1 j = 1

donde:

a1 = 12 ( 1)

b1 = 12 ( 1)

a2 = 1 2

b2 = 1 2

a 3 = 12 ( + 1)

b3 = 12 ( + 1)

y es igualmente fcil desarrollar expresiones anlogas considerando un nmero mayor o

menor de puntos en cada direccin. La presencia de bordes curvos introduce algunas
dificultades (no es posible seguir teniendo un espaciamiento uniforme).
Sin embargo, en muchos casos es necesario trabajar con mallas no regulares, como la
mostrada en la figura siguiente. Las diferencias finitas no son entonces la herramienta
ms adecuada. El concepto de elementos finitos es til y permite un tratamiento ms
simple. La regin en estudio se divide en subregiones o elementos, conectados en un
nmero finito de nudos con los elementos adyacentes.
El valor de una funcin, f , en un punto en el interior de un elemento se obtiene
interpolando los valores de la funcin en los nudos del elemento:

f ( x, y , z ) =

N ( x, y , z ) f
i

i =1

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-7

Las funciones de interpolacin deben satisfacer:

N i ( x j , y j , z j ) = ij

( x j , y j , z j son las coordenadas del nudo j )

N ( x, y , z ) = 1
i

i =0

Esto ltimo es evidente si se supone f i = c para todo j y entonces f ( x, y, z ) = c .

Adicionalmente, las N i deben ser tales que se mantenga la continuidad de f (y en
algunos casos la continuidad de una o ms derivadas) en los bordes entre elementos.
Es relativamente fcil construir estas funciones para elementos bidimensionales
rectangulares.
Por ejemplo, para un elemento con 4 nudos (con referencia al centroide):

N i ( x, y ) =

x x
y y
1
1 + i 1 + i

4
a a
b b

i = 1,2,3,4

b
X

2
a

6
5

2
a

Y para un elemento con 8 nudos (con referencia al centroide):

Ni =

x x
y y x x y y
1

1 + i 1 + i i + i 1
4
a a
b b a a b b

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

i = 1,2,3,4

5-8

Ni =

1 x
1
2 a

Ni =

2
xi x y
1
1
+
1

2
a a b

1 + y i y

b b

i = 5,7
i = 6,8

Estos son los dos elementos ms simples de la familia de Serendip.

Las funciones de interpolacin para los correspondientes elementos tridimensionales son

similares.

En subregiones triangulares las funciones de interpolacin resultan ms simples si se

escriben en coordenadas de rea, L1, L2, L3.. Un punto en el interior de un tringulo
permite definir tres tringulos parciales, cuyas reas divididas entre el rea total del
tringulo son justamente las Li:

Li =

Ai
A

En consecuencia:
L1 + L2 + L3 = 1 .

Las coordenadas x, y se relacionan con las

coordenadas de rea mediante:
3

i =1

Li x i = x

L y
j

=y

i =1

Por otro lado si el origen de coordenadas x, y est en el centroide del tringulo:

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5-9

Li =

c
1 bi
+
x+ i y
3 2A
2A

donde:

bi = y j y k
ci = x k x j

i, j , k son permutaciones cclicas de 1,2,3 .

Para un elemento con 3 nudos, el valor de una funcin, f ( x, y ) , puede obtenerse por
interpolacin lineal de los tres valores nodales f 1 , f 2 , f 3 :
3

f ( x, y ) =

L f
i

i =1

es decir, N i ( x, y ) = Li ( x, y ) .
En forma similar, para un elemento con 6 nudos
(nudos adicionales al centro de cada lado), f ( x, y )
puede obtenerse por interpolacin cuadrtica de
los valores nodales.

N i = Li (2 Li 1)

i = 1,2,3

N 4 = 4 L1 L2

N 5 = 4 L2 L3
5

N 6 = 4 L3 L1
(Los elementos triangulares de mayor orden son en
general poco tiles). Pueden escribirse fcilmente
expresiones anlogas para los correspondientes
elementos tridimensionales.

Para elementos ms complejos, la construccin de funciones de interpolacin puede

simplificarse si se efecta previamente un "mapeo" adecuado.

Por ejemplo, para el hexaedro de Serendip con 20 nudos:

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 10

f ( , , ) =

20

N ( , , ) f
i

i =1

Ni =

1
8

( 1 + i )( 1 + i )( 1 + i )( i + i + i 2 )

N i = g ( , i ) g ( , i ) g ( , i )

donde:

g( ,i ) =

1
2

(1 + i )

g( ,i ) = 1

i = 1, L8
i = 9, L 20

si i = 1

si i = 0 .

Las coordenadas x, y, z pueden asociarse con las , , usando las mismas funciones
de interpolacin:
20

x=

N ( , , ) x
i

i =1
20

y=

N ( , , ) y
i

i =1
20

z=

N ( , , ) z
i

i =1

en tal caso se dice que el elemento es isoparamtrico. Tambin puede hablarse de

elementos sub-paramtricos o hiper-paramtricos, segn las funciones utilizadas en el
mapeo sean de grado menor o mayor que aquellas con que se interpola la funcin, f .
Ntese que tambin es posible hacer mapeos con las coordenadas de rea.

5.3. Derivacin
Dados f 1 f ( x1 ), f 2 f ( x 2 ) K f n f ( x n ) puede obtenerse una aproximacin, g (x) , a la
funcin f (x) , tal que g ( x i ) = f ( x i ) para i = 1,2, K n . Este es el problema de interpolacin
considerado en la seccin 5.2. Entonces, las derivadas de f (x) podran aproximarse,
localmente, por aquellas de g (x) . Sin embargo, debe tenerse presente que pequeos
errores en los valores de la funcin pueden amplificarse enormemente al calcular las
derivadas. A mayor orden de la derivada, mayores son las probabilidades de errores de
cancelacin.
En lo que sigue se considera el caso de abscisas x1 , x 2, K x n con espaciamiento
uniforme, h . Para h suficientemente pequeo:
f ( x i h) = f ( x i ) h f ( x i ) + 12 h 2 f ( x i ) 16 h 3 f ( x i ) + K
hf ( x i ) = f ( x i + h) f ( x i ) 12 h 2 f ( x i ) K

de donde, con la notacin f i ( m ) = f

f i =

(m)

( xi ) :

f i +1 f i
f
+ O( h ) = i + O( h )
h
h

y en forma similar se tienen:

f i =

f i f i 1
+ O ( h)
h

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 11

f i =

f i+ 1 f i 1
2

+ O(h 2 )

Incluyendo puntos ms alejados pueden obtenerse expresiones del tipo:

f i =

13 f i 1 12 f i + f i +1 16 f i + 2

+ O( h 3 )

Pero las expresiones ms simples son las ms frecuentemente utilizadas.

Considrese por ejemplo los valores ( cos x ):
xk

0.
0.1
0.2
0.3
0.4
0.5

f k
h
0.049 958
0.149 376
0.247 301
0.342 755
0.434 784

f ( x k )

f ( xk )

1.000 000
0.995 004
0.980 067
0.955 336
0.921 061
0.877 582

0.
0.099 833
0.198 669
0.295 520
0.389 418
0.479 426

f k +1 f k 1
2h
0.099 667
0.198 338
0.295 028
0.388 770

Igualmente, f (x ) puede ser aproximada por diferencias finitas de segundo orden:

f ( x i ) = f i=

f i +1 2 f i + f i 1
h2

( )

( )

+ O h2 = 2 fi + O h2

Por ejemplo, para la funcin de la tabla precedente:

f (0.2)

0.995004 2 (0.980067) + 0.955336

(0.1) 2

0.97925

El valor exacto es sen (0.2) = 0.980067

y las derivadas de orden superior pueden ser aproximadas por las correspondientes
diferencias finitas.
Por ejemplo:

fi

(m)

fi

(m)

m f i

hm
mf
mi
h

Cuando se tienen 2 o ms variables independientes, x, y, t L y mallas ortogonales de

puntos uniformemente espaciados, las derivadas parciales pueden aproximarse por
diferencias finitas trabajando separadamente con cada variable. As por ejemplo, para

x = y = h , el Laplaciano:
2u =

2u 2u
+
x2 y2

en un punto de coordenadas xi , y j puede aproximarse por:

52uij =

ui +1, j 2ui , j + ui 1, j
h2

ui , j +1 2u , j + ui , j +1
h2

( )

Ntese que en 2 u y 52 u ij el smbolo no es el operador para

diferencias hacia atrs.

con un error de O h 2

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 12

Al utilizar elementos finitos, las derivadas se obtienen operando exactamente con las
n
n
Ni
f
N i ( x, y, z ) f i se tiene:
=
fi .
funciones de interpolacin. As, si: f =
x i =1 x
i =1

Algunos comentarios adicionales relativos al uso de elementos isoparamtricos son aqu

necesarios. Para elementos isoparamtricos las funciones de interpolacin N i estn
expresadas como funcin de , , L :
n

f =

N ( , , ) f
i

i =1

y las coordenadas , , L estn relacionadas con las x, y, z L mediante las mismas

funciones de interpolacin, v.g.:
n

x=

N ( , , ) x
i

i =1

Excepto para casos particulares de geometra muy simple, es prcticamente imposible

obtener expresiones explcitas para las , , L en funcin de las x, y, z L y lo mismo
puede decirse de las funciones de interpolacin, N i ( , , ) . Como consecuencia, en
general es fcil obtener derivadas con relacin a las , , L , pero comparativamente
f f f
difcil obtener expresiones explcitas para las
,
,
, L . Su evaluacin numrica
x y z
es, sin embargo, muy simple. Teniendo en cuenta que:

x
f
y

f
z

f
f
f
=J
. Los elementos de la matriz J y de
se
x
r
r
obtienen con expresiones e la forma:
O en notacin ms compacta:

x
=

i =1

Ni
xi

M
z
=

i =1

Ni
zi

Por otro lado, al obtenerse la matriz J puede hacerse el cambio de variables:

dx dy dz = det( J ) d d d
lo que facilita enormemente las integrales, ya que los lmites de integracin son en cada
caso 1 y +1 .

5.4. Ecuaciones de Diferencias

Una frmula de recursin del tipo:

y n + k = f ( y n , y n +1 , y n + 2 , K , y n + k 1 , n ) se denomina

ecuacin de diferencias de orden k . La solucin de ecuaciones de diferencias tiene

cierta analoga con la solucin de ecuaciones diferenciales ordinarias.

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 13

La ecuacin

y n + k + a1 y n + k 1 + K + a j y n + k j + K + a k y n = 0
es una ecuacin de diferencias lineal, homognea, de orden k , con coeficientes
j
constantes. Esta ecuacin queda satisfecha por y j = cr . Los posibles valores de r
corresponden a las races de la ecuacin caracterstica:

p(r ) = r k + a1 r k 1 + a 2 r k 2 + K + a k 1 r + a k = 0 .
Si la ecuacin caracterstica tiene k races distintas r1 , r2 , K rk la solucin general de la
ecuacin de diferencias (lineal, homognea, con coeficientes constantes) puede
escribirse:

y j = c1 r1 j + c 2 r2 j + c3 r3 j + K c k rk j
Lo cual puede probarse por simple sustitucin.

Si en cambio se tiene una raz de

j

multiplicidad m , deben considerarse trminos q ( j ) r , donde q ( j ) es un polinomio de

orden m 1 . En cualquier caso la solucin tiene k constantes independientes.
Considrese por ejemplo: y n + 2 5 y n +1 + 6 y n = 0 , con condiciones iniciales y 0 = 0 ,
y1 = 1 . Por recursin con y n + 2 = 5 y n +1 6 y n se obtienen:

y 2 = (5)(1) (6)(0) = 5
y 3 = (5)(5) (6)(1) = 19
y 4 = (5)(19) (6)(5) = 65
y 5 = (5)(65) (6)(19) = 211
Por otro lado, la ecuacin caracterstica es en este caso r 2 5r + 6 = 0 , cuyas races
son r1 = 2 , r2 = 3 . La solucin general es: y n = c1 2 n + c 2 3 n y dadas las condiciones
iniciales:

n=0

c1 + c 2 = 0

n =1

2c1 + 3c 2 = 1

se obtienen: c1 = 1 y c 2 = 1 , es decir y n = 3 n 2 n .
Por ejemplo, y 4 = (3) 4 ( 2) 4 = 81 16 = 65 .
En cambio, y n +3 3 y n + 2 + 4 y n = 0 tiene la ecuacin caracterstica r 3 3r 2 + 4 = 0
cuyas races son r1 = 1 , r2 = r3 = 2 , y su solucin general es entonces:
y n = c1 (1) n + (c 2 + c3 n)(2) n .
La frmula de recursin para los polinomios de Tchebicheff:

Tn +1 ( x ) 2 xT n ( x ) + T n 1 ( x ) = 0
es tambin una ecuacin de diferencias lineal, homognea, de orden 2, con coeficientes
constantes (porque 1, -2x, 1 no son funcin de n). Su ecuacin caracterstica es:

r 2 2 x r + 1 = 0 , con races r = x i 1 x 2 . Haciendo el cambio de variable x = cos

se tiene: r = cos i sen = e i . La solucin general de la ecuacin de diferencias es

( )

Tn = c1 e +i

( )

+ c 2 e i

= c1 e in + c 2 e in . Con las condiciones iniciales T0 ( x ) = 1 ,

T1 ( x ) = x = cos se obtienen c1 = c 2 =
donde = arc cos x .

1
2

y finalmente Tn ( x) = 12 e in + 12 e in = cos n ,

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 14

La solucin de una ecuacin de diferencias lineal no homognea puede obtenerse

sumando a la solucin de la correspondiente ecuacin homognea una solucin
particular. Los ejemplos siguientes son ilustrativos:

y n +1 2 y n = a n , con la condicin inicial y 0 = 1 . La correspondiente

ecuacin homognea, y n +1 2 y n = 0 , tiene la ecuacin caracterstica r 2 = 0 y su
solucin es entonces y n = c( 2) n . Para la solucin particular puede tantearse una
1
solucin de la forma y n = a n , de donde a n +1 2a n = a n y por lo tanto = (a 2 )
(esto es, suponiendo que a 2 ). La solucin general es: y n = a n (a 2 ) + c( 2) n . Con
1
la condicin inicial se halla c = 1 (a 2 ) y finalmente y n = 2 n + a n 2 n (a 2 )
(para a 2 ). Para a = 2 la regla de L' Hospital da: y n = 2 n + n 2 n 1 .
Considrese:

Para la ecuacin de diferencias y n + 2 5 y n +1 + 6 y n = 2n + 3( 1) n puede considerarse la

n
solucin particular: y = an + b + c(1) . Sustituyendo esta expresin en la ecuacin e

identificando coeficientes se obtienen: a = 1 , b = 3 2 , c = 1 4 . Por otro lado, la ecuacin

caracterstica es: r 2 5r + 6 = 0 con races r1 = 2 , r2 = 3 . La solucin general resulta
entonces y n = n +

4 ( 1)

+ c1 ( 2) n + c 2 (3) n .

5.5. Integracin Numrica (Cuadratura)

La evaluacin de una integral definida:

f ( x) dx

en forma explcita es a veces muy difcil o prcticamente imposible. En tales casos

puede hacerse una aproximacin numrica tal como las que se mencionan en esta
seccin.
5.5.1 Regla de los Trapecios, Regla de Simpson y otras frmulas interpolatorias.
Una posible forma de resolver el problema es aproximando, localmente, la funcin, f (x ) ,
por otra, g ( x ) , ms simple de integrar.
En la Regla de los Trapecios se aproxima f (x ) con segmentos de recta y entonces:

x1

f ( x) dx

x0

1
2

(x1 x0 ) [ f ( x0 ) +

f ( x1 )]

Esta expresin puede generalizarse para un intervalo [x 0 , x n ] . Considerando abscisas

con espaciamiento uniforme x i = x i 1 + h , para los que se tiene valores de la funcin
f i = f ( x i ) puede hacerse interpolaciones lineales en cada subintervalo

[xi , xi +1 ]

para

obtener:

xn
x0

f ( x) dx T (h ) =

h
( f 0 + 2 f1 + 2 f 2 + K + 2 f n1 + f n )
2

El error de truncacin puede estimarse ms fcilmente considerando primero el subintervalo [ h 2 , + h 2] para el cual (siendo h pequeo):
f ( x ) = f (0) + xf (0) + 12 x 2 f (0) + 16 x 3 f (0) +

1
24

x4 f

IV

(0 ) + K

e integrando:

+h2

h2

f ( x) dx = h f (0) +

h3
h5
f (0) +
f
24
1920

IV

(0 ) + L

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 15

Por otro lado:

h
h2
h3
h4
f (0) +
f (0)
f (0) +
f
2
8
48
384

f ( h 2 ) = f 0

+h2

h2

f ( x) dx =

3
h h
h5
h h

f
+
f

f
(
0
)

2 2
480
2 12

IV

(0 ) L

IV

(0 ) K

( )

Si h es pequeo el error local de truncacin es de O h 3 . Sin embargo, para integrar

entre lmites a y b se requieren (b a ) h subintervalos (este nmero es inversamente
proporcional a h ) y el error global es entonces de O h 2 .

( )

En la Regla de Simpson la aproximacin local se hace interpolando con parbolas de 2

grado. Considerando puntos con abscisas uniformemente espaciadas:

x2

5
h
( f 0 + 4 f1 + f 2 ) h f
3
90

f ( x) dx =

x0

IV

( x1 ) + K

y en general, considerando un nmero par de subintervalos:

xn

f ( x) dx =

x0

( )

h
( f 0 + 4 f1 + 2 f 2 + 4 f 3 + 2 f 4 + K + 2 f n 2 + 4 f n1 + f n ) + O h 4
3

Esta frmula es exacta cuando f ( x) es un polinomio de hasta tercer grado.

Considrese por ejemplo:

dx
= Ln 5 = 1.609 437 912
x

Para la funcin

f ( x) =

1
se
x

obtienen los valores siguientes:

f ( x)

1.00
1.25
1.50
1.75
2.00
2.25
2.50
2.75
3.00

1.
0.8
0.6666 6667
0.5714 2857
0.5
0.4444 4444
0.4
0.3636 3636
0.3333 3333

f ( x)

3.25

0.3076 9231

3.50
3.75
4.00
4.25
4.50
4.75
5.00

0.2857 1429
0.2666 6667
0.25
0.2352 9412
0.2222 2222
0.2105 2632
0.2

y utilizando la regla trapezoidal se obtienen aproximaciones a

dx
.
x

Por ejemplo con h = 1 :

dx

1
2

(1) [1. + 2(0.5 + 0.333K + 0.25) + 0.2] = 1.6833K

y en forma similar

h
1.0
0.5
0.25
....

T (h )

1.683 333
1.628 968
1.614 406

Con la regla de Simpson se obtienen:

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 16

S (h )

0.5
0.25
0.125

1.610846
1.609552
1.609446

Las frmulas de los trapecios y de Simpson corresponden al grupo de frmulas de

Newton - Cotes de intervalo cerrado. Algunas otras frmulas de este grupo son la regla
de Simpson de los

x3

f ( x) dx =

x0

( )

3h
( f 0 + 3 f1 + 3 f 2 + f 3 ) + O h 7
8

y la regla de Bode:

x4

f ( x) dx =

x0

( )

2h
(7 f 0 + 32 f1 + 12 f 2 + 32 f 3 + 7 f 4 ) + O h 9
45

Tambin pueden obtenerse frmulas que utilizan puntos uniformemente espaciados pero
no incluyen los valores de la funcin en uno o en los dos lmites de la integral. Estas son
las frmulas de Newton - Cotes de intervalo abierto. Por ejemplo:

x3

3h
( f1 + f 2 ) + O h 3
2

f ( x) dx =

4h
(2 f1 f 2 + 2 f 3 ) + O h 5
3

x0
x4

( )

f ( x) dx =

x0

( )

5.5.2. Extrapolacin de Richardson y el Mtodo de Romberg

Si T (h ) es la aproximacin de

f ( x) dx obtenida de la aplicacin de la regla de los

trapecios con intervalo h , puede escribirse:

T ( h) =

b
a

T ( 2h ) =

f ( x) dx + a1 h 2 + a 2 h 4 + a 3 h 6 + K

b
a

f ( x) dx + a1 (2h ) + a 2 (2h ) + a 3 (2h ) + K

2

y entonces:

4T (h) T (2h)
=
3
es decir

1
3

b
a

f ( x) dx + a 2 h 4 + a 3 h 6 + K

(4 T (h) T (2h)) es una aproximacin a

( )

f ( x) dx con un error de truncacin de

a

O h 4 , menor que el de T (h ) o T (2h ) . En forma similar, para la regla de Simpson:

b

S ( 2h) =

S ( h) =

f ( x) dx + a 2 h 4 + a 3 h 6 + a 4 h 8 + K
b
a

f ( x) dx + a 2 (2h) 4 + a 3 (2h) 6 + a 4 (2h) 8 + K

y entonces:

(2)4 S (h) S (2h) = b f ( x) dx + a h 6 + a h 8 + K

3
4
a
(2)4 1

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 17

( )

es una aproximacin mejor a la integral, con un error global de O h 6 . Estos son dos
ejemplos de la extrapolacin de Richardson.

Para la integral

dx
considerada anteriormente:
x

T (1,0 ) = 1.683 333

(4 T (0.5) T (1.0)) = 1.610 846 = S (0.5)

1
(4 T (.25) T (0.5)) = 1.609 552 = S (0.25)
3

T (0,5) = 1.628 968

1
3

T (0,25 ) = 1.614 406

Obsrvese que estos resultados coinciden con los obtenidos de la regla de Simpson.
El mtodo de Romberg considera inicialmente los resultados T1. j , de aplicar la regla de
los trapecios con distintos grados de subdivisin, h j = (b a ) 2 j . Estas aproximaciones

( )

tienen errores de truncacin de O h 2j . No es necesario rehacer todos los clculos para

cada nueva subdivisin, pudindose emplear la expresin:

T1, j = T1, j 1 + h j
1
2

2 j 1

f (a + h i )
j

i =1
i = 2

Usando la extrapolacin de Richardson se obtienen nuevas aproximaciones con errores

2i + 2
:
de O h j

Ti +1, j =

(2)2i Ti, j +1 Ti, j

(2)2i 1

Considrese nuevamente la integral:

j
0
1
2
3
4
5

dx
. Con la regla de los trapecios se obtienen:
x
2 j 1

f (a + i h )

4
hj = j
2

i =1

T1, j

i = 2

4.
2.
1.
0.5
0.25
0.125

2.4
1.866 667
1.683 333
1.628 968
1.614 406
1.610 686

0.333 333
0.75
1.574 603
3.199 689
6.427 862

Y de las sucesivas extrapolaciones:

j

T2, j

T3, j

T4, j

T5, j

T6, j

0
1
2
3
4
5

1.688 889
1.622 222
1.610 847
1.609 552
1.609 446

1.617 777
1.610 088
1.609 466
1.609 439

1.609 966
1.609 456
1.609 438

1.609 454
1.609 438

1.609 438

Las cifras subrayadas coinciden con las de la solucin exacta.

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 18

5.5.3. Integracin con puntos no equidistantes

Las frmulas de integracin con puntos equidistantes consideradas en la seccin 5.5.1:

f (x )dx c f (x ) + c
b

f (x 2 ) + c 3 f (x 3 ) + L + c m f (x m )

con m puntos de integracin y m parmetros c1 , c 2 L c m permiten integrar exactamente

polinomios de grado m 1 (y excepcionalmente de grado m , como en la regla de
Simpson).

Si en cambio se toman puntos no equidistantes, para m puntos de

integracin se tienen 2m parmetros: w1 , w2 L wm y x1 , x 2 L x m lo que permite integrar
exactamente polinomios hasta de grado 2m 1 . Esta forma de integracin numrica se
denomina de Gauss.
Con propsitos ilustrativos, considrese la frmula de integracin de Gauss con 3
puntos:

f (x ) dx w1 f (x1 ) + w2 f (x 2 ) + w3 f (x 3 )

Esta expresin ser exacta si f ( x) es un polinomio de grado igual o menor que 5 (es
decir, 2(3)-1) Cules deben ser las abscisas x1 , x 2 , x 3 ? Esto se considera brevemente

g ( x ) = (x x1 )(x x 2 )( x x3 ) , cuyas races son

precisamente las abscisas de integracin, es de tercer grado. En consecuencia la
integracin:
en lo que sigue.

El polinomio

g ( x) dx = w1 g ( x1 ) + w2 g ( x 2 ) + w3 g ( x3 ) = 0

es exacta. Lo mismo puede decirse de las integrales de los polinomios x g ( x ) y x 2 g ( x)

(que son de grado 4 y 5, respectivamente):

x g ( x) d x = w1 x1 g ( x1 ) + w2 x 2 g ( x 2 ) + w3 x 3 g ( x 3 ) = 0
x 2 g ( x) d x = w1 x12 g ( x1 ) + w2 x 22 g ( x 2 ) + w3 x32 g ( x3 ) = 0

Es decir, x1 , x 2 , x 3 son los 3 ceros del polinomio g ( x ) que satisface las condiciones de
ortogonalidad:
b

g ( x) dx = 0
x g ( x) dx = 0
x g ( x) dx = 0
a

Con el cambio de variable x =

f (x ) dx =

+1

1
2

(b a ) z + 12 (b + a ) se tiene que:

F (z ) dz = w1 F ( z1 ) + w2 F ( z 2 ) + w3 F (z 3 )

y en tal caso las abscisas z i son los ceros del polinomio que satisface las condiciones:

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 19

+1

P3 ( z ) dz = 0

+1

z P3 ( z ) dz = 0

+1

z 2 P3 ( z ) dz = 0

P3 ( z ) es el polinomio de Legendre de grado 3. En general, cuando se consideran m

puntos de integracin las z i son los ceros del polinomio de Legendre de grado m ,
Pm (z ) . En la tabla siguiente se indican algunos de estos polinomios y sus ceros:

Pm (z )

zi

1
2

0.

1
2

1
8

1
8

1
2

(3z 1)
(5z 3z )
(35z 30 z
(63z 70 z
2

0.57735 K

0., 0.77459 K

+3

+ 15 z

0.33998 K , 0.86113K

0., 0.53846 K , 0.90617 K

para estos polinomios: (n + 1) Pn +1 ( z ) (2n + 1) zPn ( z ) + n Pn 1 ( z ) = 0 .

Para determinar los "pesos" correspondientes w1 , w2 L wm puede considerarse que:
+1

F ( z)dz = w F ( z ) + w F ( z ) + K + w
1

F (zm ) = 0

debe ser exacta para F ( z ) = 1 , F ( z ) = z ,... F ( z ) = z m 1 . En general:

wi =

2
.
(1 z ) Pm ( z i )
2
i

Las races, z i , de Pm (z ) y los correspondientes pesos, wi , pueden hallarse en tablas de

1

Abramovitz y Segn u otras similares. Por ejemplo, para m=5:

wi

zi
0.
0.53846 93101 05683K

0.56888 88888 88889

0.47862 86704 99366

0.90617 98459 38664 K

0.23692 68850 56189

Siendo conocidas estas abscisas y pesos:

b

f ( x) dx =
a

1
2

(b a) w1 f ( x1 ) + w2 f ( x 2 ) + K + wm f ( x m )

donde:

xi = 12 (b a) z i + 12 (b + a)
Estas son las frmulas de integracin de Gauss - Legendre.
Considrese por ejemplo

dx
= Ln 2 = 0.6931 4718 .
x

En este caso

a = 1, b = 2 ,

x i = ( z i + 3) / 2 y se tiene:

1
Vase: "Handbook of Mathematical Functions".- M. Abramowitz e I.A. Segun, editores. Dover Publications
Inc., N.Y. 1965

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 20

zi

xi

f ( xi )

wi

1
2
3
4
5

0.
-0.538469
0.538469
-0.906180
0.906180

1.5
1.230766
1.769235
1.046910
1.953090

0.666667
0.812502
0.565216
0.955192
0.512009

0.568889
0.478629
0.478629
0.236927
0.236927

y finalmente

1
x

dx 12 (2 1)

w f ( x ) = 0.6931474 .
i

i =1

Algunas de las mltiples variantes de integracin Gaussiana se mencionan a

continuacin (las correspondientes abscisas, xi , y pesos, wi , tambin pueden hallarse
en tablas):
Frmula de Radau:

+1

n 1

2
f ( x)dx 2 f (1) +
n

Las abscisas son los ceros de

w f (x )
i

i =1

(Pn1 ( x) + Pn ( x))
(1 + x )

y los pesos: wi =

(1 xi )
(nPn 1 ( xi )) 2

Frmula de Lobatto:

+1

f ( x)dx

2
[ f (1) + f ( 1)] +
n(n 1)

n 1

w f (x )
i

i =1

1 ( x) y los pesos wi = 2[n(n 1)] [Pn 1 ( xi )] .

La abscisa x i es el (i 1) cero de Pn
1

Integracin de Gauss - Laguerre:

e x f ( x)dx

w f (x )
i

i =1

Las abscisas son los ceros de los polinomios de Laguerre, Ln (x)

Los pesos resultan: wi = (n!) x i [(n + 1) Ln +1 ( xi )] .

2

Integracin de Gauss - Tchebicheff:

+1

f ( x)
1 x2

dx

f (x )
i

i =1

En este caso se tienen abscisas x i = cos (i

1
2

5.5.4. Generalizacin a dos o ms dimensiones.

Hasta el momento solo se ha considerado la integracin en una dimensin. El proceso
para evaluar numricamente integrales mltiples es anlogo al proceso analtico, es
decir, se integra en una variable a la vez y en cada una de estas etapas las otras
variables se consideran como constantes. Por ejemplo:

f ( x, y ) dx dy

wi

i =1

f ( x i , y ) dy

i =1

j =1

w w
i

f ( xi , y j )

H. Scaletti - Mtodos Numricos: Interpolacin, Diferenciacin e Integracin

5 - 21