CAPITULO I

I.1. Fundamentos de los Mtodos Numricos.

En algunas ocasiones se presentan secuencias de nmeros, los cuales podran decirse que
siguen un comportamiento constante; por ejemplo, los nmeros 5, 7, 9, 11, 13 y 15, definen
una sucesin o secuencia. Estos representan una sucesin finita, puesto que el 5 representa
el primero de los nmeros y el 15 representa el ltimo de la sucesin. Si por ejemplo se
manejara la siguiente sucesin: 1/3, 2/5, 3/7, 4/9, . . ., esta es una sucesin infinita porque
los puntos suspensivos indican que no existe un ltimo nmero.

Las series finitas son tiles en temas de matemticas, fsica e ingeniera, puesto que se
pueden emplear para representar algunas sucesiones nuevas. Este captulo pretende ilustrar
los conceptos fundamentales de series y sucesiones, siendo estos conceptos importantes en
matemticas.

I.1.1. Sucesiones y Series.

Una sucesin es una funcin cuyo dominio de definicin lo constituye el conjunto de los
nmeros enteros positivos y cuya representacin es la siguiente:

{a
n
} = a
1
, a
2
, a
3
, . . ., a
n
, . . .

Ejemplo: Dada la funcin

{a
n
} =
n
n
2
1 2 +
, con n = 1, 2, 3, . . .

se generara la siguiente sucesin:

Mtodos Numricos

2
{a
n
} = ,...
6
7
,
4
5
,
2
3


Ntese que para que una sucesin exista, es requisito que exista una ley o frmula
generadora con la cual sea posible obtener cualquier elemento de la sucesin; esto implica
que la frmula generadora debe estar en trminos de n. As, por ejemplo, para la sucesin
anterior, el dcimo trmino sera:

20
21
10 2
1 10 2
10
=
+
=
x
x
a

Cuando la frmula o ley de la sucesin est en funcin del trmino o trminos precedentes
y alguna constante, se dice que la frmula es recursiva; as, por ejemplo, para:

t
k
= 2, 4, 13, 35, 97, . . .

se requiere una frmula recursiva, la cual es:

t
k
= 2 t
k-1
+ 2 t
k-2
+ 1, con k = 3, 4, 5, . . .

teniendo en cuenta que los valores de inicio son: t
1
= 2 y t
2
= 4.

En Mtodos Numricos se manejan dos tipos de frmulas recursivas, a saber:

Simple:- Cuando en una sucesin, la frmula generadora est en trminos del elemento
anterior al cual se va a calcular, ms una constante, se dice que la frmula es recursiva
simple. Ejemplo:

a
n
= 1, 4, 10, 22, 46, . . .

proviene de una frmula recursiva simple, porque:

a
n
= 2 a
n-1
+ 2, con n = 2, 3, 4, . . . y a
1
= 1.

Mltiple:- Si la frmula generadora de una sucesin est en trminos de dos o ms
elementos anteriores al que se va a calcular, ms una constante, se dice que la frmula es
recursiva mltiple. Las frmulas recursivas mltiples pueden ser con dos trminos de
inicio, de tres trminos de inicio, etc.

As, la secuencia de Fibonacci, dada por 1, 1, 2, 3, 5, 8, 13, . . ., puede generarse por la
siguiente frmula recursiva mltiple:

t
k
= t
k-1
+ t
k-2
, con k = 3, 4, 5, . . . y t
1
= 1; t
2
= 1.

Mtodos Numricos

3
Ejemplos:- Calcular las frmulas recursivas para las sucesiones dadas:

( a ) 1, 3, 5, 9, 15, 25, . . .

Averiguar, primero, si es recursiva simple:

t
k
= A t
k-1
+ B frmula genrica
t
1
= 1 trmino de inicio
t
2
= A t
1
+ B frmula para el segundo trmino
3 = A + B sustituyendo valores
t
3
= A t
2
+ B frmula para el tercer trmino
5 = 3 A + B sustituyendo valores

As, queda un sistema de dos ecuaciones con dos incgnitas:

3 = A + B
5 = 3 A + B

Del sistema anterior:

A = 1
B = 2
t
k
= t
k-1
+ 2 frmula generada

Verificar si es correcta:

t
5
= 15 tomando un elemento cualquiera
15 = 9 + 2 sustituyendo valores
15 = 11 ?! La frmula no es correcta!

Averiguar si es recursiva mltiple, con dos trminos de inicio:

t
1
= 1 primer trmino de inicio
t
2
= 3 segundo trmino de inicio
t
3
= A t
2
+ B t
1
+ C frmula para el tercer trmino
5 = 3 A + B + C sustituyendo valores
t
4
= A t
3
+ B t
2
+ C frmula para el cuarto trmino
9 = 5 A + 3 B + C sustituyendo valores
t
5
= A t
4
+ B t
3
+ C frmula para el quinto trmino
15 = 9 A + 5 B + C sustituyendo valores

As, queda un sistema de tres ecuaciones con tres incgnitas:

5 = 3 A + B + C
9 = 5 A + 3 B + C
15 = 9 A + 5 B + C

Mtodos Numricos

4
Del sistema anterior:

A = 1
B = 1
C = 1
t
k
= t
k-1
+ t
k-2
+ 1 frmula generada

Verificar si es correcta:

t
5
= 15 tomando un elemento cualquiera
15 = 9 + 5 + 1 sustituyendo valores
15 = 15 La frmula es correcta!

As: t
k
= t
k-1
+ t
k-2
+ 1, con k = 3, 4, 5, . . ., y t
1
= 1, t
2
= 3

( b ) 1, 2, 2, 4, 4, 8, 8, 16, 16, . . .

Averiguar, primero, si es recursiva simple:

t
k
= A t
k-1
+ B frmula genrica
t
1
= 1 trmino de inicio
t
2
= A t
1
+ B frmula para el segundo trmino
2 = A + B sustituyendo valores
t
3
= A t
2
+ B frmula para el tercer trmino
2 = 2 A + B sustituyendo valores

As, queda un sistema de dos ecuaciones con dos incgnitas:

2 = A + B
2 = 2 A + B

Del sistema anterior:

A = 0
B = 2
t
k
= 2 frmula generada

Verificar si es correcta:

t
5
= 4 tomando un elemento cualquiera
4 = 2 sustituyendo valores
4 = 2 ?! La frmula no es correcta!

Averiguar si es recursiva mltiple, con dos trminos de inicio:

t
1
= 1 primer trmino de inicio
t
2
= 2 segundo trmino de inicio
Mtodos Numricos

5
t
3
= A t
2
+ B t
1
+ C frmula para el tercer trmino
2 = 2 A + B + C sustituyendo valores
t
4
= A t
3
+ B t
2
+ C frmula para el cuarto trmino
4 = 2 A + 2 B + C sustituyendo valores
t
5
= A t
4
+ B t
3
+ C frmula para el quinto trmino
4 = 4 A + 2 B + C sustituyendo valores

As, queda un sistema de tres ecuaciones con tres incgnitas:

2 = 2 A + B + C
4 = 2 A + 2 B + C
4 = 4 A + 2 B + C

Del sistema anterior:

A = 0
B = 2
C = 0
t
k
= 2 t
k-2
frmula generada

Verificar si es correcta:

t
6
= 8 tomando un elemento cualquiera
8 = 2 x 4 sustituyendo valores
8 = 8 La frmula es correcta!

As: t
k
= 2 t
k-2
, con k = 3, 4, 5, . . ., y t
1
= 1, t
2
= 2

NOTAS:

( a ) Las frmulas NO estn completas si no se especifican los valores de k y los valores de
los trminos de inicio para los cuales la frmula es vlida, ya que estos determinan la
serie. Valores de trminos de inicio distintos generarn sucesiones distintas, an con
la misma frmula recursiva.

( b ) Los sistemas de ecuaciones pueden resolverse por cualquier tcnica conocida; ms
adelante se estudiarn otros mtodos de resolucin de sistemas de ecuaciones.

I.1.2. Convergencia en sucesiones

Se dice que una sucesin es convergente si existe un nmero L, de tal suerte que si n ,
entonces a
n
L. As, por ejemplo, para la sucesin siguiente:

{a
n
} = ,...
5
4
,
4
3
,
3
2
,
2
1
, 0
1
1 =
n


Mtodos Numricos

6
por clculo se puede demostrar que:

{ } 1
1
1 =

=

n
Lim a Lim
n
n
n


Lo anterior significa que la sucesin es convergente, puesto que los elementos se van
acercando a un valor especfico; particularmente para esta sucesin, el valor de
convergencia es 1.

Por otra parte, una sucesin es divergente cuando su lmite es infinito o no existe.

I.1.3. Criterio de Cauchy para la convergencia de una sucesin

Se dice que una sucesin {a
n
} es convergente, si dado un nmero (arbitrariamente
pequeo), existe un nmero N > 0 tal que:


q p
a a para p, q > N y q = p + 1

Por ejemplo, para {a
n
} = ,...
8
1
,
4
1
,
2
1
2
1
=
n
, supongamos = 0.001 (arbitrariamente
pequea) y N = 9 (> 0).

Probemos con p = 10 y q = 11:

|a
10
a
11
| = |0.0009765 0.0004882| = 0.0004883 < 0.001

As, la sucesin es convergente porque para una arbitrariamente pequea y una N > 0, se
encontraron p y q tales que cumplieron la condicin.

Sin embargo, la convergencia en sucesiones no debe basarse en el valor de N, sino en los
valores de p y q que llegan a cumplir la condicin de convergencia; por ejemplo, en el caso
anterior, si se da una arbitrariamente pequea, es posible que el criterio arroje una no
convergencia an cuando se sabe que s lo es. Para clarificar lo anterior, se presentan los
siguientes ejemplos:

Ejemplo: Averiguar si las sucesiones dadas son convergentes o no.

( a ) La sucesin es: { }
n
n
a
n
5
1 2
=
Mtodos Numricos

7

n a
n
|a
p
- a
q
|
1 1/5
2 3/10 |1/5 3/10| = 0.1
3 5/15 |3/10 5/15| = 0.033
4 7/20 |5/15 7/20| = 0.016
5 9/25 |7/20 9/25| = 0.01
6 11/30 |9/25 11/30| = 0.0066

De aqu se tiene: si n , entonces |a
p
- a
q
| 0; por lo tanto, llegar el momento en que,
para alguna p y q, se cumpla que |a
p
- a
q
| < . Esto es, la sucesin SI converge.

( b ) La sucesin es: {t
k
} = t
k-1
+ t
k-2
+1, con t
1
= 1 y t
2
= 2

k t
k
|t
p
- t
q
|
1 1
2 2 |2 - 1| = 1
3 4 |4 - 2| = 2
4 7 |7 - 4| = 3
5 12 |12 - 7| = 5

De aqu se tiene: si k , entonces |t
p
- t
q
| ; por lo tanto, no llegar el momento en
que, para alguna p y q, se cumpla que |t
p
- t
q
| < . Esto es, la sucesin NO converge.

I.1.4. Series

Series infinitas:- Si {a
n
} es una sucesin infinita, entonces una expresin de la forma:

a
1
+ a
2
+ a
3
+ a
4
+ . . .

se llama una serie infinita o simplemente una serie. Esta serie es un elemento de la llamada
sucesin de sumas parciales, cuyos trminos se definen as:

S
1
= a
1

S
2
= a
1
+ a
2
= S
1
+ a
2

S
3
= a
1
+ a
2
+ a
3
= S
2
+ a
3

. . . . . . . . .
S
n
= a
1
+ a
2
+ a
3
+ . . . + a
n
= S
n-1
+ a
n


La cual puede ser representada por: {S
n
} = S
1
, S
2
, S
3
, . . ., S
n
, . . .

y cuya frmula recursiva es: S
n
= S
n-1
+ a
n
con S
1
= a
1
y n = 2, 3, 4, . . .

Por otro lado, una serie es la suma de los trminos de una sucesin, de aqu que: si la
sucesin que origina una serie es convergente, sta tambin lo ser.

Mtodos Numricos

8
En Mtodos Numricos existen dos series de gran importancia:

( a ) Series de potencia de x:

... ...
2
2
0
1 0
+ + + + + =

=
n
n
i
i
i
x C x C x C C x C

( b ) Series de potencia de x-a:

( ) ( ) ( ) ( ) ... ...
2
2
0
1 0
+ + + + + =

=
n
n
i
i
i
a x C a x C a x C C a x C

Para calcular los coeficientes Ci de la serie de potencias de x, igulese la serie a una
funcin y dervese con respecto a la variable x:

=
=
0
) (
i
i
i
x C x f

... ... ) (
2
2 1 0
+ + + + + =
n
n
x C x C x C C x f

Las derivadas son:

... ... 3 2 ) ( '
1 2
3 2 1
+ + + + + =
n
n
x nC x C x C C x f
... ) )( 1 ( ... 3 2 2 ) ( ' '
2
3 2
+ + + + =
n
n
x C n n x C C x f
... ) )( 1 )( 2 ( ... 3 2 ) ( ' ' '
3
3
+ + + =
n
n
x C n n n C x f
. . . . . . . . . . . . .
... 1 2 3 ) 2 )( 1 ( ) ( + =
n n
n
n
x C n n n x f

Evaluando la funcin y estas derivadas en el punto x = 0, se obtiene:

f(0) = C
0

f(0) = C
1

f(0) = 2! C
2

f(0) = 3! C
3

f
IV
(0) = 4! C
4
. . . . . .

f
n
(0) = n! C
n


y despejando los C
i
y sustituyendo en la frmula general, se obtiene la llamada Serie de
McLaurin:

...
!
) 0 (
...
! 3
) 0 ( ' ' '
! 2
) 0 ( ' '
) 0 ( ' ) 0 ( ) (
3 2
+ + + + + + =
n
x f x f x f
x f f x f
n n

Mtodos Numricos

9

As, por ejemplo, si f(x) = Sen(x), se tiene:

f(x) = Sen(x) f(0) = 0
f(x) = Cos(x) f(0) = 1
f(x) = - Sen(x) f(0) = 0
f(x) = - Cos(x) f(0) = - 1
f
IV
(x) = Sen(x) f
IV
(0) = 0
f
V
(x) = Cos(x) f
V
(0) = 1
. . . . . . . . . .

Por lo tanto:

...
)! 1 2 (
...
! 7 ! 5 ! 3
) (
1 2 7 5 3

+ + =

n
x x x x
x x Sen
n


Anlogamente, para la serie de potencias de x a:

=
=
0
) ( ) (
i
i
i
a x C x f

... ) ( ... ) ( ) ( ) (
2
2 1 0
+ + + + + =
n
n
a x C a x C a x C C x f

Las derivadas son:

... ) ( ... ) ( 3 ) ( 2 ) ( '
1 2
3 2 1
+ + + + + =
n
n
a x nC a x C a x C C x f
... ) ( ) )( 1 ( ... ) ( 3 2 2 ) ( ' '
2
3 2
+ + + + =
n
n
a x C n n a x C C x f
... ) ( ) )( 1 )( 2 ( ... 3 2 ) ( ' ' '
3
3
+ + + =
n
n
a x C n n n C x f
. . . . . . . . . . . . .
... ) ( 1 2 3 ) 2 )( 1 ( ) ( + =
n n
n
n
a x C n n n x f

Evaluando la funcin y estas derivadas en el punto x = a, se obtiene:

f(a) = C
0

f(a) = C
1

f(a) = 2! C
2

f(a) = 3! C
3

. . . . . .

f
n
(a) = n! C
n


Despejando los C
i
y sustituyendo en la frmula general, se obtiene la llamada Serie de
Taylor:

Mtodos Numricos

10
...
!
) )( (
...
! 3
) )( ( ' ' '
! 2
) )( ( ' '
) )( ( ' ) ( ) (
3 2
+

+ +

+ + =
n
a x a f a x a f a x a f
a x a f a f x f
n n


As, por ejemplo, si f(x) = ln(x) y a = 1, se obtiene:

f(x) = ln(x) f(1) = 0
f(x) =
x
1
f(1) = 1
f(x) =
2
1
x
f(1) = - 1
f(x) =
3
2
x
f(1) = 2
f
IV
(x) =
4
6
x
f
IV
(1) = - 6
f
V
(x) =
5
24
x
f
V
(1) = 24
. . . . . . . . . .

...
! 5
) 1 ( 24
! 4
) 1 ( 6
! 3
) 1 ( 2
! 2
) 1 (
) 1 ( ) ln(
5 4 3 2

=
x x x x
x x

Ntese que la Serie de McLaurin pudo ser calculada por Taylor con a = 0.

Como un ejemplo, calclese:

1
0
dx e
x


Para evaluar la integral pedida, se evala primero por McLaurin (o Taylor):

...
! 3 ! 2 ! 1
1 ) (
3 2
+ + + + =
x x x
x f

Por lo tanto:

...
! 3 ! 2
...
! 3 ! 2 ! 1
1
1
0
3 1
0
2 1
0
1
0
3 2 1
0
+ + + =

+ + + + =

dx
x
dx
x
xdx dx
x x x
dx e
x


se deja al lector la evaluacin numrica de la ecuacin anterior y, por lo tanto, la conclusin
del ejemplo.
Mtodos Numricos

11

I.2. Teora de errores.

Uno de los criterios ms importantes para seleccionar cul de los mtodos de solucin de
un problema dado es el ptimo, es la precisin que arrojan los clculos de ste, ya sea
hechos a mano o por computadora. Las computadoras digitales producen resultados
altamente precisos, an en el manejo de nmeros muy grandes o muy pequeos.

Ahora bien, una pregunta obligada es: porqu nos conciernen los errores en el estudio de
los mtodos numricos?

Existen muchas razones para estudiarlos: primero, porque en el manejo de datos
provenientes de observaciones y mediciones, stos pueden contener errores llamados
INHERENTES, los cuales son debidos a la falta de eficiencia en los clculos o errores en
las mediciones. Otra razn se debe a que el modelo matemtico usado para generar los
datos es slo una aproximacin al sistema que representa. Una razn ms, es que los
mtodos numricos son muchas veces utilizados para aproximar una solucin a problemas
que no pueden ser resueltos por mtodos analticos exactos. Finalmente, se cometen
errores durante los clculos como lo son los errores por redondeo y errores por
truncamiento. Todos estos errores deben tomarse en cuenta durante las operaciones.

I.2.1. Tipos de errores.

Existen varios tipos de errores, pero en los clculos realizados por medio de los Mtodos
Numricos, se distinguen cuatro tipos bsicos:

( a ) por truncamiento
( b ) por redondeo
( c ) absoluto
( d ) relativo

I.2.1.1. Errores por truncamiento.

Se dan cuando un clculo de tipo infinito es trabajado como finito. Por ejemplo:

...
! 6 ! 4 ! 2
1 ) (
6 4 2
+ + =
x x x
x Cos

para evaluar Cos(0.75), se tiene:

! 8
) 75 . 0 (
! 6
) 75 . 0 (
! 4
) 75 . 0 (
! 2
) 75 . 0 (
1 ) 75 . 0 (
8 6 4 2
+ + = Cos
Cos(0.75) = 1 0.28125 + 0.01318 0.0002471 + 0.000002483
Cos(0.75) = 0.73168

Lo cual representa slo una aproximacin al valor real.
Mtodos Numricos

12

I.2.1.2. Errores por redondeo.

Se dan cuando se trabaja con nmeros irracionales o racionales con un nmero de
decimales superior a alguno especificado. Por ejemplo:

A = 0.3763956 x 10
-6

A = 0.376 x 10
-6
trabajando con tres decimales de aproximacin.

I.2.1.3. Errores absolutos.

El error absoluto de dos nmeros, X y Y, se define como:


X
= X
v
- X

Y
= Y
v
Y

donde:


X
,
Y
= errores absolutos
X
v
, Y
v
= valores verdaderos
X, Y = valores calculados

y para las operaciones aritmticas:


XY
= (X
v
Y
v
) (X Y)

I.2.1.4. Errores relativos.

Este error est definido como:
X
r
X
x

=

y para dos nmeros:
Y X
r
Y X
Y x

donde representa cualquiera de las cuatro operaciones aritmticas.

Ejemplo: Supngase que se tiene que medir la longitud de un puente y la de un remache.
Se encuentra que el puente mide 9999 cm y el remache mide 9 cm; si los valores
verdaderos deben ser 10000 y 10 cm, respectivamente, calclese el error absoluto y el error
relativo en cada caso.

Evaluacin de los errores absolutos:

( a ) puente:
P
= P
v
P = 10000 9999 = 1 cm

( b ) remache:
R
= R
v
R = 10 9 = 1 cm
Mtodos Numricos

13

Evaluacin de los errores relativos:

( a ) puente: 00010001 . 0
9999
1
= = =
P
r
P
P

( b ) remache: 11111 . 0
9
1
= = =
R
r
R
R

Obsrvese la diferencia bsica entre los errores absoluto y relativo. El error absoluto es
simplemente el valor numrico, mientras que el error relativo es el porcentaje de error entre
el valor obtenido y el calculado. En el ejemplo anterior, los dos errores absolutos son
iguales lo cual nos da una idea clara de lo que esto significa; sin embargo, los errores
relativos explican que el puente tiene un 0.01% de error y el remache un 11.11% de error.
Resulta obvio que el puente no se caer con un error de tal magnitud; pero el remache debe
ser desechado ya que puede no soportar las mnimas normas de calidad.

IMPORTANTE

En ocasiones, cuando los clculos se realizan iterativamente hasta obtener un valor lo ms
exacto posible, se utiliza para el clculo del error relativo la frmula siguiente:

a
P a
X
X X
r

=

donde:

X
a
= aproximacin n-sima
X
P
= aproximacin anterior a la n-sima

lo cual no involucra el valor verdadero, que generalmente es desconocido. Lo anterior se
presenta en el siguiente ejemplo:

Ejemplo: Utilizando la expansin de la Serie de McLaurin, calcule el valor de e
0.5
hasta que
el error sea menor que el 1%.

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

+ + + + + =

n
x x x x
x e
n
x

Mtodos Numricos

14

n trmino aproximacin error
1
! 0
5 . 0
0

1
2
! 1
5 . 0
1

1.5
333 . 0
5 . 1
0 . 1 5 . 1
=

3
! 2
5 . 0
2

1.625
0769 . 0
625 . 1
5 . 1 625 . 1
=

4
! 3
5 . 0
3

1.64583
0126 . 0
6458 . 1
625 . 1 6458 . 1
=

5
! 4
5 . 0
4

1.648434
0016 . 0
6484 . 1
6458 . 1 6484 . 1
=

As, e
0.5
es igual a 1.648434 con un error de 0.16%.

En la tabla anterior, la tercera columna es el resultado de la aproximacin anterior ms el
trmino evaluado.