Separata Met Numericos

PROGRAMA DE COMPLEMENTACIN PROFESIONAL EN
INGENIERA CIVIL
INDICE ANALTICO:
CONTENIDOS PAG.
1.- Introduccin.
2.- Errores.
2.1.- Definiciones.
2.2.- D!itos si!nific"ti#os.
2.$.- Pro%"!"cin de errores.
2.&.- E'ercicios "dicion"(es.
$.- Arit)*tic" de co)%ut"dores.
$.1.- Arit)*tic" de %unto fi'o.
$.2.- N+)eros en %unto f(ot"nte.
$.$.- Arit)*tic" de %unto f(ot"nte.
$.&.- Des,ord")iento %or e-ceso . des,ord")iento %or defecto.
$./.- Condicion")iento . est",i(id"d.
&.- C0(cu(o de r"ces de ecu"ciones:
&.1.- 1*todo de (" ,iseccin.
&.2.- 1*todo de ("s "%ro-i)"ciones sucesi#"s.
&.$.- 1*todo de Ne2ton.
&.&.- 1*todo de (" sec"nte.
&./.- 1*todo de Steffensen.
&.3.- 1*todo de (" f"(s" %osicin.
/.- Puntos fi'os e iter"cin funcion"(.
3.- 4eso(ucin de siste)"s de ecu"ciones (ine"(es.
3.1.- 1*todos e-"ctos 5Siste)"s f0ci(es6 f"ctori7"cin L86 G"uss6 Pi#oteo9.
$
$
/
3
:
1;
1;
11
11
1&
21
21
2$
2/
23
2<
$;
$1
$1
$$
$3
$:
Curso: Mtodos Numricos. I!. "#R" V$S%#E&
C'ARCAPE.
INGENIERA CIVIL
3.2.- 1*todos iter"ti#os 51*todos de 4ic="rdson6 >"co,i6 G"uss - Seide(9.
:.- Inter%o("cin.
:.1.- Po(ino)io de inter%o("cin de L"!r"n!e.
:.2.- Inter%o("ciones de s%(ines.
:.$.- S%(ines c+,ic"s.
<.- Inte!r"cin Nu)*ric".
<.1.- Inte!r"cin #" inter%o("cin %o(in)ic".
<.2.- 4e!(" de( tr"%ecio.
<.$.- 4e!(" de Si)%son.
Co(eccin de %ro,(e)"s.
10s so,re inte!r"cin nu)*ric".
&:
/$
/&
//
/3
3;
32
32
32
3&
33
C'ARCAPE.
2
INGENIERA CIVIL
1. Introduccin
La ciencia y la tecnologa describen los fenmenos reales mediante modelos
matemticos. El estudio de estos modelos permite un conocimiento ms profundo del
fenmeno, as como de su evolucin futura. La matemtica aplicada es la rama de las
matemticas que se dedica a buscar y aplicar las herramientas ms adecuadas a los
problemas basados en estos modelos. Desafortunadamente, no siempre es posible
aplicar mtodos analticos clsicos por diferentes ra!ones"
#o se adec$an al modelo concreto.
%u aplicacin resulta e&cesivamente comple'a.
La solucin formal es tan complicada que hace imposible cualquier
interpretacin posterior.
%implemente no e&isten mtodos analticos capaces de proporcionar soluciones
al problema.
En estos casos son $tiles las tcnicas numricas, que mediante una labor de clculo ms
o menos intensa, conducen a soluciones apro&imadas que son siempre numricas. El
importante esfuer!o de clculo que implica la mayora de estos mtodos hace que su uso
est ntimamente ligado al empleo de computadores. De hecho, sin el desarrollo que se
ha producido en el campo de la informtica resultara difcilmente imaginable el nivel
actual de utili!acin de las tcnicas numricas en mbitos cada da ms diversos.
2. Errores
El concepto de error es consustancial con el clculo numrico. En todos los problemas
es fundamental hacer un seguimiento de los errores cometidos a fin de poder estimar el
grado de apro&imacin de la solucin que se obtiene.
Los errores asociados a todo clculo numrico tienen su origen en dos grandes factores"
(quellos que son inherentes a la formulacin del problema.
Los que son consecuencia del mtodo empleado para encontrar la solucin del
problema.
Dentro de( !ru%o de (os %ri)eros, se incluyen aquellos en los que la definicin
matemtica del problema es slo una apro&imacin a la situacin fsica real. Estos
errores son normalmente despreciables) por e'emplo, el que se comete al obviar los
efectos relativistas en la solucin de un problema de mecnica clsica. En aquellos
casos en que estos errores no son realmente despreciables, nuestra solucin ser poco
precisa independientemente de la precisin empleada para encontrar las soluciones
numricas.
*tra fuente de este tipo de errores tiene su origen en la imprecisin de los datos fsicos"
constantes fsicas y datos empricos. En el caso de errores en la medida de los datos
empricos y teniendo en cuenta su carcter generalmente aleatorio, su tratamiento
C'ARCAPE.
+
INGENIERA CIVIL
analtico es especialmente comple'o pero imprescindible para contrastar el resultado
obtenido computacional,mente.
En (o ?ue se refiere "( se!undo ti%o de error -error computacional., tres son sus
fuentes principales"
/.
Equivocaciones en la reali!acin de las operaciones -errores de bulto.. Esta
fuente de error es bien conocida por cualquiera que haya reali!ado clculos
manualmente o empleando una calculadora. El empleo de computadores ha
reducido enormemente la probabilidad de que este tipo de errores se produ!can.
%in embargo, no es despreciable la probabilidad de que el programador cometa
uno de estos errores -calculando correctamente el resultado errneo.. 0s a$n,
la presencia de bugs no detectados en el compilador o en el soft1are del sistema
no es inusual. 2uando no resulta posible verificar que la solucin calculada es
ra!onablemente correcta, la probabilidad de que se haya cometido un error de
bulto no puede ser ignorada. %in embargo, no es esta la fuente de error que ms
nos va a preocupar.
2.
El error causado por resolver el problema no como se ha formulado, sino
mediante alg$n tipo de apro&imacin. 3eneralmente est causado por la
sustitucin de un infinito -sumatorio o integracin. o un infinitesimal
-diferenciacin. por una apro&imacin finita. (lgunos e'emplos son"
El clculo de una funcin elemental -por e'emplo, %eno x. empleando
slo n trminos de los infinitos que constituyen la e&pansin en serie de
4aylor.
(pro&imacin de la integral de una funcin por una suma finita de los
valores de la funcin, como la empleada en la regla del trape!oide.
5esolucin de una ecuacin diferencial reempla!ando las derivadas por
una apro&imacin -diferencias finitas..
%olucin de la ecuacin f-x. 6 7 por el mtodo de #e1ton,5aphson"
proceso iterativo que, en general, converge slo cuando el n$mero de
iteraciones tiende a infinito.
Denominaremos a este error, en todas sus formas, como error por truncamiento,
ya que resulta de truncar un proceso infinito para obtener un proceso finito.
*bviamente, estamos interesados en estimar, o al menos acotar, este error en
cualquier procedimiento numrico.
+.
8or $ltimo, la otra fuente de error de importancia es aquella que tiene su origen
en el hecho de que los clculos aritmticos no pueden reali!arse con precisin
ilimitada. 0uchos n$meros requieren infinitos decimales para ser representados
correctamente, sin embargo, para operar con ellos es necesario redondearlos.
9ncluso en el caso en que un n$mero pueda representarse e&actamente, algunas
operaciones aritmticas pueden dar lugar a la aparicin de errores -las divisiones
pueden producir n$meros que deben ser redondeados y las multiplicaciones dar
lugar a ms dgitos de los que se pueden almacenar.. El error que se introduce al
redondear un n$mero se denomina error de redondeo.
C'ARCAPE.
:
INGENIERA CIVIL
2.1 Definiciones
(hora que disponemos de una idea correcta de qu es el error y de cual es su origen,
podemos formali!ar el concepto de error. 3eneralmente, no conocemos el valor de una
cierta magnitud y hemos de conformarnos con un valor apro&imado x. 8ara estimar la
magnitud de este error necesitamos dos definiciones bsicas"
Error ",so(uto
de x"
-/.
Error re("ti#o
de x"
-2.
En la prctica, se emplea la e&presin"
-+.
En general, no conocemos el valor de este error, ya que no es habitual disponer del valor
e&acto de la magnitud, sino slo de una acotacin de su valor, esto es, un n$mero ,
tal que"
-:.
o bien"
-;.
De acuerdo con este formalismo, tenemos que un n$mero se representar del siguiente
modo"
6 -<.
6 -=.
C'ARCAPE.
;
INGENIERA CIVIL
2.2 Dgitos significativos
%ea x un n$mero real que, en general, tiene una representacin decimal infinita.
8odemos decir que x ha sido adecuadamente redondeado a un n$mero con d decimales,
al que denominaremos x
-d.
, si el error de redondeo, es tal que"
->.
E'emplo /" E&prese el n$mero x6+;.:=>:< correctamente redondeado a cuatro -x
-:.
. y
tres -x
-+.
. decimales. 2alcular el error cometido.
%olucin" en el primer caso obtenemos"
x
-:.
6 +;.:=>;
6
En el segundo caso, la apro&imacin correcta es"
x
-+.
6 +;.:=>
6
y no la siguiente"
x
-+.
6 +;.:=?
6
Es decir, no es correcto redondear por exceso cuando el dgito anterior es 5 y
proviene de un acarreo previo.
*tra forma de obtener el n$mero de cifras significativas es mediante truncamiento, en
donde simplemente se eliminan los dgitos de orden inferior. El error cometido en este
caso es"
-?.
y que, en general, conduce a peores resultados que el mtodo anterior.
C'ARCAPE.
<
INGENIERA CIVIL
E'emplo 2" E&prese el n$mero x6+;.:=>:< truncado a cuatro -x
-:.
. y tres -x
-+.
. decimales.
2alcular el error cometido.
%olucin"
x
-:.
6 +;.:=>:
6
x
-+.
6 +;.:=>
6
2.3 Propagacin de errores
2uando se resuelve un problema matemtico por mtodos numricos y aunque las
operaciones se lleven a cabo e&actamente, obtenemos una apro&imacin numrica del
resultado e&acto. Es importante tratar de conocer el efecto que sobre el resultado final
del problema tiene cada una de las operaciones reali!adas.
8ara estudiar como se propaga en error, veamos cual es el efecto que cada una de las
operaciones bsicas tiene sobre el error final cuando se aplican sobre dos n$meros
y "
6 -/7.
6 -//.
6 -/2.
6 -/+.
2uando el problema consiste en calcular el resultado y 6 f-x. tenemos la siguiente
frmula apro&imada de propagacin del error"
-/:.
En el caso ms general, en que una funcin depende de ms de una variable -
., la frmula apro&imada de propagacin del error ma&imal es"
C'ARCAPE.
=
INGENIERA CIVIL

-/;.
E'emplo +" Determinar el error m&imo cometido en el clculo y 6 x
/
x
2
2
para
y .
%olucin" El error cometido, de acuerdo con la ecuacin -/;., se puede calcular
mediante"
%ustituyendo valores, obtenemos"
8or lo que el resultado final se debe e&presar como"
E'emplo :" %ea el siguiente sistema de ecuaciones lineales"
En donde ) b 6 / @ a y d 6 b A a B2on qu e&actitud podemos
determinar el producto xyC
%olucin" 8rimero resolveremos el sistema de ecuaciones por reduccin"
C'ARCAPE.
>
INGENIERA CIVIL
Ecuaciones que conducen a la siguiente e&presin para el producto"

-/<.
5esolveremos ahora el problema por dos mtodos. 8rimero, calcularemos el error
asociado a cada una de las variables y los trminos de la e&presin anterior"
%ustituyendo valores, obtenemos el siguiente resultado"

Dna forma mucho ms adecuada de resolver este problema consiste en sustituir en la
e&presin -/<. los valores de b y d por sus correspondientes e&presiones en funcin de
a. %ustituyendo y operando, obtenemos que el producto y el error asociado vienen dados
por"
que, sustituyendo valores, conduce al resultado"
Si "),os resu(t"dos son correctos @Por ?u* e( error es )uc=o )enor en e( se!undo
c"so ?ue en e( %ri)eroA L" res%uest" es si)%(e: en e( se!undo c"so =e)os
e(i)in"do o%er"ciones inter)edi"s6 %er)itiendo ?ue "(!unos errores se c"nce(en
)utu")ente. En general, cuanto menor sea el n$mero de pasos intermedios que
efectuemos para alcan!ar la solucin, menor ser el error cometido.
2.4 Ejercicios adicionales
/.
C'ARCAPE.
?
INGENIERA CIVIL
B2on qu e&actitud es necesario medir el radio de una esfera para que su
volumen sea conocido con un error relativo menor de 7.7/EC B2uantos
decimales es necesario emplear para el valor de C
%oluciones" . El n$mero debe e&presarse al menos con
seis cifras decimales.
2.
%upongamos una barra de hierro de longitud l y seccin rectangular fi'a
por uno de sus e&tremos. %i sobre el e&tremo libre aplicamos una fuer!a F
perpendicular a la barra, la fle&in s que sta e&perimenta viene dada por la
e&presin"
en donde E es una constante que depende slo del material denominada mdulo
de Foung. 2onociendo que una fuer!a de /:7 Gp aplicada sobre una barra de
/2; cm de longitud y seccin cuadrada de 2.; cm produce una fle&in de
/.=/ mm, calcular el mdulo de Foung y el intervalo de error. %uponer que los
datos vienen afectados por un error m&imo correspondiente al de apro&imar por
truncamiento las cifras dadas.
$. Arit)*tic" de co)%ut"dores
Los computadores no almacenan los n$meros con precisin infinita sino de forma
apro&imada empleando un n$mero fi'o de bits -apcope del trmino ingls Binary
Digit. o bytes -grupos de ocho bits.. 8rcticamente todos los computadores permiten al
programador elegir entre varias representaciones o Htipos de datosH. Los diferentes tipos
de datos pueden diferir en el n$mero de bits empleados, pero tambin -lo que es ms
importante. en cmo el n$mero representado es almacenado" en formato fi'o -tambin
denominado HenteroH. o en punto flotante
2
-denominado HrealH..
3.1 Aritmtica de punto fijo
Dn entero se puede representar empleando todos los bits de una palabra de
computadora, con la salvedad de que se debe reservar un bit para el signo. 8or e'emplo,
en una mquina con longitud de palabra de +2 bits, los enteros estn comprendidos entre
,-2
+/
, /. y 2
+/
, / 6 2/:=:>+<:=. Dn n$mero representado en formato entero es He&actoH.
Las operaciones aritmticas entre n$meros enteros son tambin He&actasH siempre y
cuando"
1. La solucin no est fuera del rango del n$mero entero ms grande o ms pequeIo que
se puede representar -generalmente con signo.. En estos casos se dice que se comete un
C'ARCAPE.
/7
INGENIERA CIVIL
error de desbordamiento por e&ceso o por defecto -en ingls" Overflow y Underflow. y
es necesario recurrir a tcnicas de escalado para llevar a cabo las operaciones.
2. La divisin se interpreta que da lugar a un n$mero entero, despreciando cualquier
resto.
8or estos motivos, la aritmtica de punto fi'o se emplea muy raramente en clculos no
triviales.
$.2 N+)eros en %unto f(ot"nte:
3.2.1 Notacin cientfica normalizada
En el sistema decimal, cualquier n$mero real puede e&presarse mediante la denominada
notacin cientfica normalizada. 8ara e&presar un n$mero en notacin cientfica
normali!ada multiplicamos o dividimos por /7 tantas veces como sea necesario para
que todos los dgitos apare!can a la derecha del punto decimal y de modo que el primer
dgito despus del punto no sea cero. 8or e'emplo"
En general, un n$mero real x distinto de cero, se representa en notacin cientfica
normali!ada en la forma"

-/=.
en donde r es un n$mero tal que y n es un entero -positivo, negativo o
cero..
E&actamente del mismo modo podemos utili!ar la notacin cientfica en el sistema
binario. En este caso, tenemos que"

-/>.
Donde m es un entero. El n$mero q se denomina )"ntis" y el entero m e-%onente. En
un ordenador binario tanto q como m estarn representados como n$meros en base 2.
8uesto que la mantisa q est normali!ada, en la representacin binaria empleada se
cumplir que"

-/?.
C'ARCAPE.
//
INGENIERA CIVIL
3.2.2 Representacin de los nmeros en punto flotante
En un ordenador tpico los n$meros en punto flotante se representan de la manera
descrita en el apartado anterior, pero con ciertas restricciones sobre el n$mero de dgitos
de q y m impuestas por la longitud de palabra disponible -es decir, el n$mero de bits que
se van a emplear para almacenar un n$mero.. P"r" i(ustr"r este %unto6
consider"re)os un orden"dor =i%ot*tico ?ue deno)in"re)os MARC-32 y que
dispone de una longitud de palabra de +2 bits -muy similar a la de muchos ordenadores
actuales.. 8ara representar un n$mero en punto flotante en el MARC-32, los bits se
acomodan del siguiente modo"
%igno del n$mero real x" / bit
%igno del e&ponente m" / bit
E&ponente -entero JmJ." = bits
0antisa -n$mero real JqJ." 2+ bits
En la mayora de los clculos en punto flotante las mantisas se normali!an, es decir, se
toman de forma que el bit ms significativo -el primer bit. sea siempre H/H. 8or lo tanto,
la mantisa q cumple siempre la ecuacin -/?..
Dado que la mantisa siempre se representa normali!ada, el primer bit en q es siempre /,
por lo que no es necesario almacenarlo proporcionando un bit significativo adicional.
Esta forma de almacenar un n$mero en punto flotante se conoce con el nombre de
tcnica del 'bit fantasma'.
%e dice que un n$mero real e&presado como aparece en la ecuacin -/>. y que satisface
la ecuacin -/?. tiene la forma de punto flotante normalizado. %i adems puede
representarse e&actamente con JmJ ocupando = bits y JqJ ocupando 2: bits, entonces es
un nmero de m!uina en el MARC-32
+

La restriccin de que JmJ no requiera ms de = bits significa que"

Fa que , la MARC-32 puede mane'ar n$meros tan pequeIos como /7
,+>
y
tan grandes como /7
+>
. Este no es un intervalo de valores suficientemente generoso, por
lo que en muchos casos debemos recurrir a programas escritos en aritmtica de doble
precisin e incluso de precisin extendida.
2omo q debe representarse empleando no ms de 2: bits significa que nuestros n$meros
de mquina tienen una precisin limitada cercana a las siete cifras decimales, ya que el
bit menos significativo de la mantisa representa unidades de . 8or tanto,
los n$meros e&presados mediante ms de siete dgitos decimales sern ob'eto de
aproximacin cuando se almacenen en el ordenador.
C'ARCAPE.
/2
INGENIERA CIVIL
8or e'emplo" 7.; representado en punto flotante en el MARC-32 -longitud de palabra de
+2 bits. se almacena en la memoria del siguiente modo"

E'emplo ;" %uponga un ordenador cuya notacin de punto fi'o consiste en palabras de
longitud +2 bits repartidas del siguiente modo" / bit para el signo, /; bits para la parte
entera y /< bits para la parte fraccionaria. 5epresente los n$meros 2<.+2,
y /2;:2.2?+7/ en base 2 empleando esta notacin de punto fi'o y notacin de punto
flotante MARC-32 con +2 bits. 2alcule el error de almacenamiento cometido en cada
caso.
%olucin" El n$mero 2<.+2 en binario se escribe del siguiente modo"
Empleando las representaciones comentadas, obtenemos"
%i e&presamos el error como la diferencia entre el valor y el n$mero realmente
almacenado en el ordenador, obtenemos"
En cuanto a los otros dos n$meros, obtenemos"

(ntes de entrar con detalle en la aritmtica de los n$meros en punto flotante, es
interesante notar una propiedad de estos n$meros de especial importancia en los
clculos numricos y que hace referencia a su densidad en la lnea real. %upongamos
que p, el n$mero de bits de la mantisa, sea 2:. En el intervalo -e&ponente f 6 7.
es posible representar 2
2:
n$meros igualmente espaciados y separados por una distancia
C'ARCAPE.
/+
INGENIERA CIVIL
/@2
2:
. De modo anlogo, en cualquier intervalo hay 2
2:
n$meros
equiespaciados, pero su densidad en este caso es 2
f
@2
2:
. 8or e'emplo, entre 2
27
6 /7:>;=<
y 2
2/
6 27?=/;2 hay 2
2:
6 /<===2/< n$meros, pero el espaciado entre dos n$meros
sucesivos es de slo . De este hecho se deriva inmediatamente una regla prctica"
cuando es necesario comparar dos n$meros en punto flotante relativamente grandes, es
siempre preferible comparar la diferencia relativa a la magnitud de los n$meros. En la
figura -/. se representa grficamente la separacin entre dos n$meros consecutivos en
funcin del e&ponente f en el rango f 6 K27,+7L.

Bi!ur": Evolucin de la separacin entre dos
n$meros consecutivos en funcin del e&ponente, f,
de la representacin en punto flotante de un n$mero
real.
3.3 Aritmtica de punto flotante
En este apartado anali!aremos los errores inherentes a la aritmtica de los n$meros de
punto flotante. 8rimero consideraremos el error que surge como consecuencia de que
los n$meros reales no se pueden almacenar, en general, de forma e&acta en un
ordenador. Despus anali!aremos las cuatro operaciones aritmticas bsicas y
finalmente ampliaremos el estudio a un clculo ms comple'o.
C'ARCAPE.
/:
INGENIERA CIVIL
3.3.1 Nmeros de mquina aproximados
Estamos interesados en estimar el error en que se incurre al apro&imar un n$mero real
positivo x mediante un n$mero de mquina del MARC-32. %i representamos el n$mero
mediante"
en donde cada a
i
es 7 / y el bit principal es a
/
6 /. Dn n$mero de mquina se puede
obtener de dos formas"
Trunc")iento" descartando todos los bits e&cedentes . El n$mero
resultante, xH es siempre menor que x -se encuentra a la i!quierda de x en la recta
real..
4edondeo %or e-ceso" (umentamos en una unidad el $ltimo bit remanente a
2:
y
despus eliminamos el e&ceso de bits como en el caso anterior.
4odo lo anterior, aplicado al caso del MARC-32, se resume diciendo que si x es un
n$mero real distinto de 7 dentro del intervalo de la mquina, entonces el n$mero de
mquina x
M
ms cercano a x satisface la desigualdad"

-27.
Nue se puede escribir de la siguiente forma"

E'emplo <" B2mo se e&presa en binario el n$mero x 6 2@+C B2ules son los n$meros de
mquina xH y xHH pr&imos en el MARC-32C
El n$mero 2@+ en binario se e&presa como"
Los dos n$meros de mquina pr&imos, cada uno con 2: bits, son"
xH 6
C'ARCAPE.
/;
INGENIERA CIVIL
xHH 6
En donde xH se ha obtenido por truncamiento y xHH mediante redondeo por e&ceso.
2alculamos ahora las diferencias x , xH y xHH , x para estimar cual es el error cometido"
x , xH 6
xHH , x 6
8or tanto, el n$mero ms pr&imo es fl-x. 6 xHH y los errores de redondeo absoluto y
relativo son"
Jfl-x. , xJ 6
6 2
,2;
O 2
,2:
3.3.2 Las operaciones bsicas
Pamos a anali!ar el resultado de operar sobre dos n$meros en punto flotante
normali!ado de l,dgitos de longitud, x e y, que producen un resultado normali!ado de l,
dgitos. E&presaremos esta operacin como"
En donde op es Q, ,, . %upondremos que en cada caso la mantisa del resultado es
primero normali!ada y despus redondeada -operacin que puede dar lugar a un
desbordamiento que requerira renormali!ar el n$mero.. El valor de la mantisa
redondeada a p bits, q
r
, se define como -de una forma ms rigurosa que en el caso
anterior."
en donde la funcin redondeo por defecto es el mayor entero menor o igual a x y la
funcin redondeo por exceso es el menor entero mayor o igual a x. 8ara n$meros
enteros, esta funcin se traduce en la bien conocida regla de sumar / en la posicin p Q
C'ARCAPE.
/<
INGENIERA CIVIL
/. 4eniendo en cuenta slo la mantisa, redondear de este modo da lugar a un intervalo
m&imo del error de"

-2/.
y un error relativo m&imo en el intervalo"

-22.
(nali!aremos ahora el error generado por cada una de las operaciones bsicas"
1u(ti%(ic"cin.
La operacin de multiplicar dos n$meros e&presados en punto flotante implica
sumar los e&ponentes y multiplicar las mantisas. %i la mantisa resultante no est
normali!ada, se recurre a renormali!ar el resultado a'ustando adecuadamente el
e&ponente. Despus, es necesario redondear la mantisa a p bits. 8ara anali!ar el
error de esta operacin supongamos dos n$meros"
4enemos entonces que el producto ser"
xy 6 q
x
q
y
2
f
x
Q f
y

En donde el valor de la mantisa se encontrar en el rango"
Fa que tanto x como y satisfacen la ecuacin -/?.. 8or tanto, la normali!acin
del producto q
x
q
y
implica un despla!amiento a la derecha de, como m&imo, una
posicin. La mantisa redondeada ser entonces uno de estos dos posibles
valores"
En donde , que es el error de redondeo, cumple la ecuacin -2/.. 4enemos
entonces"
C'ARCAPE.
/=
INGENIERA CIVIL
En donde, de acuerdo con la ecuacin -22., tenemos"
8or tanto, la cota del error relativo en la multiplicacin es la misma que la que
surge por redondear la mantisa.
Di#isin.
8ara llevar a cabo la divisin en punto flotante, se divide la mitad de la mantisa
del numerador por la mantisa del denominador -para evitar cocientes mayores de
la unidad., mientras que los e&ponentes se restan. Esto es"
8uesto que ambas mantisas satisfacen la ecuacin -/>., el valor del cociente
estar acotado entre los lmites"
(plicando un anlisis similar al empleado en el caso de la multiplicacin,
obtenemos"
En donde, de acuerdo con la ecuacin -22., tenemos"
Es decir, la cota m&ima del error relativo en la divisin, como en el caso
anterior, es la misma que la que surge por redondear la mantisa.
C'ARCAPE.
/>
INGENIERA CIVIL
Adicin . sustr"ccin.
La operacin de suma o resta se reali!a del siguiente modo" se toma la mantisa
del operando de menor magnitud -supongamos que es y. y se despla!a f
x
, f
y
posiciones a la derecha. La mantisa resultante es sumada -o restada. y el
resultado se normali!a y despus se redondea. Es decir"
El anlisis del error cometido en esta operacin es ms comple'o que los
estudiados hasta ahora, por lo que no lo vamos a ver en detalle. %in embargo, el
resultado final indica que la cota m&ima del error cometido en la adicin y la
sustraccin viene dado por"
En conclusin, en todas las operaciones aritmticas elementales en punto flotante, el
error absoluto del resultado es no mayor de / en el bit menos significativo de la mantisa.
%in embargo, los errores de redondeo se acumulan a medida que aumenta el n$mero de
clculos. %i en el proceso de calcular un valor se llevan a cabo N operaciones
aritmticas es posible obtener, en el me'or de los casos, un error de redondeo total del
orden de
:
-que coincide con el caso en que los errores de redondeo estn
aleatoriamente distribuidos, por lo que se produce una cancelacin parcial..
Desafortunadamente, este error puede crecer muy rpidamente por dos motivos"
Es muy frecuente que la regularidad del clculo o las peculiaridades del
computador den lugar a que el error se acumule preferentemente en una
direccin) en cuyo caso el error de redondeo se puede apro&imar a .
En circunstancias especialmente desfavorables pueden e&istir operaciones que
incremente espectacularmente el error de redondeo. 3eneralmente, este
fenmeno se da cuando se calcula la diferencia entre dos n$meros muy
pr&imos, dando lugar a un resultado en el cual los $nicos bits significativos que
no se cancelan son los de menor orden -en los $nicos en que difieren.. 8uede
parecer que la probabilidad de que se de dicha situacin es pequeIa, sin
embargo, algunas e&presiones matemticas fomentan este fenmeno.
Peamos con un e'emplo los problemas comentados anteriormente. Ray dos formas de
calcular las soluciones de la familiar ecuacin cuadrtica"
ax
2
Q bx Q c 6 7
Nue son"

-2+.
C'ARCAPE.
/?
INGENIERA CIVIL

-2:.
2ualquiera de estas dos e&presiones da problemas cuando a, c o ambos, son pequeIos.
En estos casos, el valor del discriminante es muy pr&imo al valor de b"
8or lo que la diferencia viene afectada de un error de redondeo
importante. En efecto, la ecuacin -2+. eval$a bien la ra! ms grande en valor absoluto,
pero da psimos resultados al estimar la ra! menor en valor absoluto. 8or otra parte, la
ecuacin -2:. calcula bien la ra! menor -siempre en valor absoluto. pero no la ra! ms
grande.
La solucin del problema pasa por emplear una e&presin me'or condicionada. En este
caso, es preferible calcular previamente"

-2;.
F las dos races a partir de valor de q como"

-2<.
E'emplo" 2alcular las races de la siguiente ecuacin cuadrtica"
ax
2
Q bx Q c 6 7
%iendo"
%olucin" Empleando la ecuacin -2+., obtenemos"
%in embargo, empleando la e&presin -2:."
C'ARCAPE.
27
INGENIERA CIVIL
8or $ltimo, empleando las e&presiones -2;. y -2<. se obtienen ambas soluciones
correctas"
3.4 Desordamiento por e!ceso " desordamiento por defecto
En la discusin anterior, hemos ignorado la posibilidad de que el resultado de una
operacin del punto flotante pueda no ser representable mediante el esquema fi'o -l,bits.
empleado por el ordenador. La magnitud ms grande que puede representarse mediante
la frmula general -/>. es"

-2=.
en donde F es el mayor e&ponente positivo representable -generalmente 2
=
, /. y es la
mantisa que tiene todos sus bits puestos a / - 6 / , 2
2:
.. Dn desbordamiento por
e&ceso de punto flotante -overflow en ingls. se origina cuando el resultado de una
operacin de punto flotante tiene una magnitud mayor que la representada por la
ecuacin -2=..
E'emplo" 2on q 6 > -y por tanto F 6 2
=
, / 6 /2=., las siguientes operaciones aritmticas
dan lugar a desbordamiento por e&ceso"
El desbordamiento por defecto -underflow en ingls. se produce cuando el resultado de
una operacin en punto flotante es demasiado pequeIo, aunque no nulo, como para que
se pueda e&presar en la forma dada por la ecuacin -/>.. El n$mero ms pequeIo
representable suponiendo que siempre traba'amos con mantisas normali!adas es
, en donde ,F es el e&ponente negativo ms grande permitido -generalmente
,2
,q,/
.. 8or e'emplo, con q6> resulta ,F 6 ,/2>.
E'emplo" 2on q 6 > -y por tanto ,F 6 ,/2>., la siguiente operacin aritmtica da lugar a
desbordamiento por defecto"
C'ARCAPE.
2/
INGENIERA CIVIL
El desbordamiento por e&ceso es casi siempre resultado de un error en el clculo. %in
embargo, en el caso del desbordamiento por defecto, en muchas ocasiones es posible
continuar el clculo reempla!ando el resultado por cero.
3.# $ondicionamiento " estailidad
La HinestabilidadH en un clculo es un fenmeno que se produce cuando los errores de
redondeo individuales se propagan a travs del clculo incrementalmente. Peamos
brevemente este fenmeno y el problema relacionado con este" el HcondicionamientoH del
mtodo o del problema.
La me'or forma de ver este fenmeno es a travs de un e'emplo. %upongamos el
siguiente sistema de ecuaciones diferenciales"
que tiene la siguiente solucin general"
En el caso particular en que las condiciones iniciales de nuestro problema son"
y
/
-7. 6 ,y
2
-7. 6 /
es posible determinar que el valor de las constantes a
/
y a
2
es" a
/
6 7 S y S a
2
6 /
Rasta este punto, las soluciones son e&actas. %in embargo, supongamos que el sistema
de ecuaciones anterior se resuelve empleando un mtodo numrico cualquiera con el fin
de calcular los valores de las funciones y
/
y y
2
en una secuencia de
puntos y que el error del mtodo da lugar a un valor de . Fa
que a
/
multiplica a un e&ponencial creciente cualquier valor, por pequeIo que sea, de a
/
dar lugar a que el trmino e
x
domine sobre el trmino e
,x
para valores suficientemente
grandes de x -ver figura -2... La conclusin que se obtiene es que no es posible calcular
una solucin al sistema de ecuaciones diferenciales anterior que, para valores
suficientemente grandes de x, no de lugar a un error arbitrariamente grande en relacin
con la solucin e&acta.

C'ARCAPE.
22
INGENIERA CIVIL

Bi!ur": 5epresentacin grfica de las funciones y
6 e
,x
e en donde se
pone de manifiesto que ambas funciones difieren
rpidamente a partir de un cierto valor de la
ordenada x.

El problema anterior se dice que es inherentemente inestable, o empleando una
terminologa ms com$n en clculo numrico, se dice que est Hmal condicionadoH -ill!
conditioned..
&. C0(cu(o de r"ces de ecu"ciones
El ob'eto del clculo de las races de una ecuacin es determinar los valores de x para
los que se cumple"

f-x. 6 7 -2>.
La determinacin de las races de una ecuacin es uno de los problemas ms antiguos en
matemticas y se han reali!ado un gran n$mero de esfuer!os en este sentido. %u
importancia radica en que si podemos determinar las races de una ecuacin tambin
podemos determinar m&imos y mnimos, valores propios de matrices, resolver
sistemas de ecuaciones lineales y diferenciales, etc...
La determinacin de las soluciones de la ecuacin -2>. puede llegar a ser un problema
muy difcil. %i f-x. es una funcin polinmica de grado / 2, conocemos e&presiones
simples que nos permitirn determinar sus races. 8ara polinomios de grado + : es
C'ARCAPE.
2+
INGENIERA CIVIL
necesario emplear mtodos comple'os y laboriosos. %in embargo, si f-x. es de grado
mayor de cuatro o bien no es polinmica, no hay ninguna frmula conocida que permita
determinar los ceros de la ecuacin -e&cepto en casos muy particulares..
E&isten una serie de reglas que pueden ayudar a determinar las races de una ecuacin"
El teorema de Tol!ano, que establece que si una funcin continua, f-x., toma en
los e&tremos del intervalo Ka,bL valores de signo opuesto, entonces la funcin
admite, al menos, una ra! en dicho intervalo.
En el caso en que f-x. sea una funcin algebraica -polinmica. de grado n y
coeficientes reales, podemos afirmar que tendr n races reales o comple'as.
La propiedad ms importante que verifican las races racionales de una ecuacin
algebraica establece que si p@q es una ra! racional de la ecuacin de coeficientes
enteros"
Entonces el denominador q divide al coeficientes a
n
y el numerador p divide al
trmino independiente a
7
.
E'emplo" 8retendemos calcular las races racionales de la ecuacin"
+x
+
Q +x
2
, x , / 6 7
8rimero es necesario efectuar un cambio de variable x 6 y@+"
F despus multiplicamos por +
2
"
y
+
Q +y
2
,+y ,? 6 7
2on lo que los candidatos a ra! del polinomio son"
%ustituyendo en la ecuacin, obtenemos que la $nica ra! real es y 6 ,+, es decir,
-que es adems la $nica ra! racional de la ecuacin..
Lgicamente, este mtodo es muy poco potente, por lo que slo nos puede servir
a modo de orientacin.
C'ARCAPE.
2:
INGENIERA CIVIL
La mayora de los mtodos utili!ados para el clculo de las races de una ecuacin son
iterativos y se basan en modelos de apro&imaciones sucesivas. Estos mtodos traba'an
del siguiente modo" a partir de una primera apro&imacin al valor de la ra!,
determinamos una apro&imacin me'or aplicando una determinada regla de clculo y as
sucesivamente hasta que se determine el valor de la ra! con el grado de apro&imacin
deseado
4.1 %todo de la iseccin
Es el mtodo ms elemental y antiguo para determinar las races de una ecuacin. Est
basado directamente en el teorema de Tol!ano e&plicado con anterioridad. 2onsiste en
partir de un intervalo Kx
7
,x
/
Ltal que f-x
7
.f-x
/
. O 7, por lo que sabemos que e&iste, al
menos, una ra! real. ( partir de este punto se va reduciendo el intervalo sucesivamente
hasta hacerlo tan pequeIo como e&i'a la precisin que hayamos decidido emplear.

Bi!ur": Diagrama de flu'o correspondiente a la
implementacin del mtodo de la biseccin.
C'ARCAPE.
2;
INGENIERA CIVIL

El algoritmo empleado se esquemati!a en la figura -+.. 9nicialmente, es necesario
suministrar al programa el n$mero m&imo de iteraciones MaxIter, la tolerancia , que
representa las cifras significativas con las que queremos obtener la solucin y dos
valores de la variable independiente, x
7
y x
/
, tales que cumplan la relacin f-x
7
.f-x
/
. O 7.
Dna ve! que se comprueba que el intervalo de partida es adecuado, lo dividimos en dos
subintervalos tales que y y determinamos en qu subintervalo
se encuentra la ra! -comprobando de nuevo el producto de las funciones.. 5epetimos el
proceso hasta alcan!ar la convergencia -hasta que . o bien hasta que se e&cede el
n$mero de iteraciones permitidas -Iter U MaxIter., en cuyo caso es necesario imprimir
un mensa'e de error indicando que el mtodo no converge.
Dos operaciones representadas en el esquema de la figura -+. requieren una e&plicacin
adicional"
El punto medio del intervalo se calcula como en lugar de
emplear . %e sigue de este modo una estrategia general al efectuar
clculos numricos que indica que es me'or calcular una cantidad aIadiendo un
pequeIo trmino de correccin a una apro&imacin obtenida previamente. 8or
e'emplo, en un computador de precisin limitada, e&isten valores de x
7
y x
/
para
los cuales x
m
calculado mediante se sale del intervalo Kx
7
,x
/
L.
La convergencia - . se calcula mediante la
e&presin . De este modo, el trmino ,
representa el n$mero de cifras significativas con las que obtenemos el resultado.
4.2 %todo de las apro!imaciones sucesivas
Dada la ecuacin f-x. 6 7, el mtodo de las apro&imaciones sucesivas reempla!a esta
ecuacin por una equivalente, x6g-x., definida en la forma g-x.6f-x.Qx. 8ara encontrar
la solucin, partimos de un valor inicial x
7
y calculamos una nueva
apro&imacin x
/
6g-x
7
.. 5eempla!amos el nuevo valor obtenido y repetimos el proceso.
Esto da lugar a una sucesin de valores , que si converge, tendr
como lmite la solucin del problema.

C'ARCAPE.
2<
INGENIERA CIVIL

Bi!ur": 9nterpretacin geomtrica del mtodo de
las apro&imaciones sucesivas.

En la figura -:. se representa la interpretacin geomtrica del mtodo. 8artimos de un
punto inicial x
7
y calculamos y 6 g-x
7
.. La interseccin de esta solucin con la recta y6x
nos dar un nuevo valor x
/
ms pr&imo a la solucin final.
%in embargo, el mtodo puede divergir fcilmente. Es fcil comprobar que el mtodo
slo podr converger si la derivada gH-x. es menor en valor absoluto que la unidad -que
es la pendiente de la recta definida por y6x.. Dn e'emplo de este caso se muestra en la
figura -;.. Esta condicin, que a priori puede considerarse una severa restriccin del
mtodo, puede obviarse fcilmente. 8ara ello basta elegir la funcin g-x. del siguiente
modo"
De forma que tomando un valor de adecuado, siempre podemos hacer que g-x.
cumpla la condicin de la derivada.

Bi!ur": Demostracin grfica de que el mtodo de
las apro&imaciones sucesivas diverge si la derivada
gH-x. U /.
4.3 %todo de &e'ton
C'ARCAPE.
2=
INGENIERA CIVIL
Este mtodo parte de una apro&imacin inicial x
7
y obtiene una apro&imacin me'or, x
/
,
dada por la frmula"

-2?.
La e&presin anterior puede derivarse a partir de un desarrollo en serie de 4aylor.
Efectivamente, sea r un cero de f y sea x una apro&imacin a r tal que r6xQ". %i fHH e&iste
y es continua, por el teorema de 4aylor tenemos"

7 6 f-r. 6 f-xQ". 6 f-x. Q "fH-x. Q O-"
2
. -+7.
En donde "6r,x. %i x est pr&imo a r -es decir " es pequeIa., es ra!onable ignorar el
trmino O-"
2
."

7 6 f-x. Q "fH-x. -+/.

8or lo que obtenemos la siguiente e&presin para ""

-+2.
( partir de la ecuacin -+2. y teniendo en cuenta que r6xQ" es fcil derivar la ecuacin
-2?..

Bi!ur": 9nterpretacin geomtrica del mtodo de
#e1ton.

El mtodo de #e1ton tiene una interpretacin geomtrica sencilla, como se puede
apreciar del anlisis de la figura -<.. De hecho, el mtodo de #e1ton consiste en una
(ine"(i7"cin de la funcin, es decir, f se reempla!a por una recta tal que contiene al
punto -x
7
,f-x
7
.. y cuya pendiente coincide con la derivada de la funcin en el punto,
fH-x
7
.. La nueva apro&imacin a la ra!, x
/
, se obtiene de la interseccin de la funcin
linear con el e'e # de ordenadas.
Peamos como podemos obtener la ecuacin -2?. a partir de lo dicho en el prrafo
anterior. La ecuacin de la recta que pasa por el punto -x
7
,f-x
7
.. y de pendiente fH-x
7
. es"
C'ARCAPE.
2>
INGENIERA CIVIL

y , f-x
7
. 6 fH-x
7
.-x,x
7
. -++.

De donde, haciendo y67 y despe'ando x obtenemos la ecuacin de #e1ton,5aphson
-2?..

Bi!ur": Dos situaciones en las que el mtodo de
#e1ton no funciona adecuadamente" -a. el mtodo
no alcan!a la convergencia y -b. el mtodo converge
hacia un punto que no es un cero de la ecuacin.

El mtodo de #e1ton es muy rpido y eficiente ya que la convergencia es de tipo
cuadrtico -el n$mero de cifras significativas se duplica en cada iteracin.. %in
embargo, la convergencia depende en gran medida de la forma que adopta la funcin en
las pro&imidades del punto de iteracin. En la figura -=. se muestran dos situaciones en
las que este mtodo no es capa! de alcan!ar la convergencia -figura -=a.. o bien
converge hacia un punto que no es un cero de la ecuacin -figura -=b...
4.4 %todo de la secante
El principal inconveniente del mtodo de #e1ton estriba en que requiere conocer el
valor de la primera derivada de la funcin en el punto. %in embargo, la forma funcional
de f-x. dificulta en ocasiones el clculo de la derivada. En estos casos es ms $til
emplear el mtodo de la secante.
El mtodo de la secante parte de dos puntos -y no slo uno como el mtodo de #e1ton.
y estima la tangente -es decir, la pendiente de la recta. por una apro&imacin de acuerdo
con la e&presin"

-+:.

%ustituyendo esta e&presin en la ecuacin -2?. del mtodo de #e1ton, obtenemos la
e&presin del mtodo de la secante que nos proporciona el siguiente punto de iteracin"
C'ARCAPE.
2?
INGENIERA CIVIL

-+;.

Bi!ur": 5epresentacin geomtrica del mtodo de
la secante.

En la siguiente iteracin, emplearemos los puntos x
/
y x
2
para estimar un nuevo punto
ms pr&imo a la ra! de acuerdo con la ecuacin -+;.. En la figura ->. se representa
geomtricamente este mtodo.
En general, el mtodo de la secante presenta las mismas venta'as y limitaciones que el
mtodo de #e1ton,5aphson e&plicado anteriormente.
4.# %todo de (teffensen
El mtodo de %teffensen presenta una convergencia rpida y no requiere, como en el
caso del mtodo de la secante, la evaluacin de derivada alguna. 8resenta adems, la
venta'a adicional de que el proceso de iteracin slo necesita un punto inicial. Este
mtodo calcula el siguiente punto de iteracin a partir de la e&presin"

-+<.
4.) %todo de la falsa posicin
El mtodo de la falsa posicin pretende con'ugar la seguridad del mtodo de la
biseccin con la rapide! del mtodo de la secante. Este mtodo, como en el mtodo de
la biseccin, parte de dos puntos que rodean a la ra! f-x. 6 7, es decir, dos puntos x
7
y
x
/
tales que f-x
7
.f-x
/
. O 7. La siguiente apro&imacin, x
2
, se calcula como la interseccin
con el e'e # de la recta que une ambos puntos -empleando la ecuacin -+;. del mtodo
de la secante.. La asignacin del nuevo intervalo de b$squeda se reali!a como en el
mtodo de la biseccin" entre ambos intervalos, Kx
7
,x
2
L y Kx
2
,x
/
L, se toma aquel que
cumpla f-x.f-x
2
. O 7. En la figura -?. se representa geomtricamente este mtodo.
C'ARCAPE.
+7
INGENIERA CIVIL

Bi!ur": 5epresentacin geomtrica del mtodo de
la falsa posicin.

La eleccin guiada del intervalo representa una venta'a respecto al mtodo de la secante
ya que inhibe la posibilidad de una divergencia del mtodo. 8or otra parte y respecto al
mtodo de la biseccin, me'ora notablemente la eleccin del intervalo -ya que no se
limita a partir el intervalo por la mitad..

Bi!ur": 0odificacin del mtodo de la falsa
posicin propuesta por Ramming. La apro&imacin
a la ra! se toma a partir del punto de interseccin
con el e'e # de la recta que une los puntos
- x7,f-x7.@2. y -x/,f-x/.. si la funcin es conve&a en el
intervalo -figura a. o bien a partir de la recta que une
los puntos -x7,f-x7.. y -x/, f-x/.@2. si la funcin es
cncava en el intervalo -figura b..
%in embargo, el mtodo de la falsa posicin tiene una convergencia muy lenta hacia la
solucin. Efectivamente, una ve! iniciado el proceso iterativo, uno de los e&tremos del
intervalo tiende a no modificarse -ver figura -?... 8ara obviar este problema, se ha
propuesto una modificacin del mtodo, denominada mtodo de Ramming. %eg$n este
mtodo, la apro&imacin a una ra! se encuentra a partir de la determinacin del punto
de interseccin con el e'e # de la recta que une los puntos - x
7
,f-x
7
.@2. y -x
/
,f-x
/
.. si la
funcin es conve&a en el intervalo o bien a partir de la recta que une los puntos -x
7
,f-x
7
..
y -x
/
, f-x
/
.@2. si la funcin es cncava en el intervalo. En la figura -/7. se representa
grficamente el mtodo de Ramming.
C'ARCAPE.
+/
INGENIERA CIVIL
2omo hemos comentado, el mtodo de Ramming requiere determinar la concavidad o
conve&idad de la funcin en el intervalo de iteracin. Dn mtodo relativamente sencillo
para determinar la curvatura de la funcin consiste en evaluar la funcin en el punto
medio del intervalo, f-x
m
. -en donde x
m
se calcula como en el mtodo de la biseccin. y
comparar este valor con la media de los valores de la funcin en los e&tremos del
intervalo,
.
4enemos entonces que"
/. Puntos fi'os e iter"cin funcion"(
El mtodo de #e1ton y el de %teffenson son e'emplos de procedimientos mediante los
cuales se calcula una sucesin de puntos empleando una frmula de recurrencia como la
siguiente"

x
nQ/
6 F-x
n
. -+=.
El algoritmo definido de este modo se denomina iter"cin funcion"(.
E'emplo" En el caso del mtodo de #e1ton, la e&presin -+=. se escribira del modo"
En tanto que para el mtodo de %teffensen resulta ser"
La frmula -+=. puede utili!arse para generar sucesiones que no convergen, como por
e'emplo la sucesin /, +, ?, 2=,..., que se obtiene con x
7
6/ y F-x.6+x. %in embargo,
estamos interesados en aquellos casos para los que e&iste . Es decir,
aquellos casos para los que se cumple"
Es fcil comprobar que si F es continua se cumple la siguiente relacin entre F y s"
C'ARCAPE.
+2
INGENIERA CIVIL
4enemos, por tanto, que F-s.6s y denominamos a s %unto fi'o de la funcin F. 8odemos
considerar al punto fi'o como un valor al que se fi'a la funcin durante el proceso
iterativo.
2omo hemos visto en el apartado anterior, con frecuencia un problema matemtico
puede reducirse al problema de encontrar un punto fi'o de una funcin. En este caso,
nos limitaremos a anali!ar el caso ms sencillo en que F enva en s mismo alg$n
con'unto cerrado y adems se trata de una aplicacin contractiva. %e dice que
una transformacin es contr"cti#" si e&iste un n$mero menor que / que satisfaga la
relacin"

-+>.
8ara todos los puntos x e y en el dominio de F.
Las aplicaciones contractivas cumplen una propiedad de gran importancia, que se puede
e&presar del siguiente modo"
$ea F una aplicacin contractiva que va de un con%unto cerrado a &' Entonces
F tiene un punto fi%o' (s a)n* este punto fi%o es el l+mite de toda sucesin que se
obtenga a partir de la ecuacin ,-./ con cualquier punto inicial '
El enunciado anterior, conocido como teore)" de (" "%(ic"cin contr"cti#" se puede
demostrar fcilmente. 8ara ello, primero escribimos x
n
en la forma"
De acuerdo con la e&presin anterior, vemos que la sucesin Kx
n
Lconverge si y slo si la
serie
converge. 8ara demostrar que esta serie converge, basta con demostrar que la serie

-+?.
C'ARCAPE.
++
INGENIERA CIVIL
converge.
8or otra parte, usando la propiedad de las aplicaciones contractivas e&presada por -+>.
'unto con la ecuacin -+=., podemos escribir"

-:7.
La relacin e&presada por -:7. puede repetirse para obtener"

-:/.
8ara comprobar que la sucesin -+?. converge, podemos utili!ar el criterio de
comparacin, de modo que a partir de la e&presin -:/. obtenemos"
Es decir, la sucesin converge tal como establece el teorema de la aplicacin contractiva
e&presado anteriormente.
2omprobemos ahora que el punto fi'o es efectivamente $nico. 8ara ello, supongamos
que e&isten dos puntos fi'os, x e y. De acuerdo con la relacin -+>., tenemos"
Fa que es un n$mero finito menor que uno, la $nica forma de que la ecuacin anterior
se cumpla es si Jx,yJ 6 7) es decir, si el punto fi'o es $nico.
E'emplo" Demuestre que la sucesin Kx
n
L definida recursivamente de acuerdo con"
es contractiva y tiene un punto fi'o.
8ara comprobar que la funcin anterior es contractiva, calculemos la diferencia entre
dos trminos cualesquiera de la sucesin anterior"
C'ARCAPE.
+:
INGENIERA CIVIL
-por la desigualdad triangular.. 8or tanto, de acuerdo con el teorema de la aplicacin
contractiva, la sucesin debe converger a un $nico punto fi'o, cuyo valor es 2
-comprubelo..
3. 4eso(ucin de siste)"s de ecu"ciones
(ine"(es
El ob'etivo de este apartado es e&aminar los aspectos numricos que se presentan al
resolver sistemas de ecuaciones lineales de la forma"

-:2.
%e trata de un sistema de n ecuaciones con n incgnitas, x
/
, x
2
, ..., x
n
. Los elementos a
i%
y
b
i
son n$meros reales fi'ados.
El sistema de ecuaciones -:2. se puede escribir, empleando una muy $til representacin
matricial, como"

-:+.
Entonces podemos denotar estas matrices por 0, x y b de forma que la ecuacin se
reduce simplemente a"

0x6b -::.
Los mtodos de resolucin de sistemas de ecuaciones se pueden dividir en dos grandes
grupos"
C'ARCAPE.
+;
INGENIERA CIVIL
Los 1*todos e-"ctos o algoritmos finitos que permiten obtener la solucin del
sistema de manera directa.
Los 1*todos "%ro-i)"dos que utili!an algoritmos iterativos e infinitos y que
calculan las solucin del sistema por apro&imaciones sucesivas.
(l contrario de lo que pueda parecer, en muchas ocasiones los mtodos apro&imados
permiten obtener un grado de e&actitud superior al que se puede obtener empleando los
denominados mtodos e&actos, debido fundamentalmente a los errores de truncamiento
que se producen en el proceso.
De entre los mtodos e&actos anali!aremos el mtodo de 3auss y una modificacin de
ste denominado mtodo de 3auss,Vordan. Entre los mtodos apro&imados nos
centraremos en el estudio de los mtodos de 5ichardson, Vacobi y 3auss,%eidel.
.1 !"todos exactos#
.1.1 $istemas f*ciles de resol%er
(nali!aremos previamente un sistema que sea f(cil de resolver. 8or e'emplo,
supongamos que la matri! 0 de presenta estructura diagonal, es decir, todos los
componentes distintos de cero se encuentran sobre la diagonal principal. El sistema de
ecuaciones -:+. toma por tanto la forma"

-:;.
En este caso el sistema se reduce a n ecuaciones simples y la solucin es"

-:<.
2ontinuando con la b$squeda de sistemas con soluciones f(ciles, supongamos ahora que
0 tiene una estructura triangular inferior, es decir, todos los elementos de 0 distintos de
cero se sit$an ba'o la diagonal principal"
C'ARCAPE.
+<
INGENIERA CIVIL

-:=.
Es fcil ver que el valor de x
/
se obtiene directamente a partir de la primera ecuacin.
%ustituyendo el valor conocido de x
/
en la segunda ecuacin es posible obtener el valor
de x
2
. 8rocediendo de la misma forma para el resto de las ecuaciones, es posible obtener
todos los valores x
/
, x
2
, x
+
, ..., x
n
uno tras otro y en ese orden. El algoritmo formal para
encontrar la solucin se denomina sustitucin %ro!resi#" y se puede e&presar como"

-:>.
%e puede emplear el mismo ra!onamiento para el caso en que la estructura de la matri!
0 sea triangular superior. En este caso el sistema matricial adopta la forma"

-:?.
F es posible obtener las soluciones en el orden x
n
, x
n,/
, ..., x
/
, empleando en este caso
una modificacin del algoritmo e&presado por la ecuacin -:>. y que denominados
algoritmo de sustitucin re!resi#""

-;7.
2omo es lgico, los mtodos descritos se pueden aplicar a todos aquellos sistemas que
se pueden convertir en un sistema triangular permutando filas y columnas de forma
adecuada.
C'ARCAPE.
+=
INGENIERA CIVIL
.1.2 La factorizacin L&
%upongamos que 0 se puede factori!ar como el producto de una matri! triangular
inferior 1 con una matri! triangular superior U"

0 6 1U -;/.
En este caso, el sistema de ecuaciones dado por -::. podra representarse en la forma"

1Ux6b -;2.
%i denominamos 2 a la matri! columna de n filas resultado del producto de las matrices
Ux, tenemos que la ecuacin -;2. se puede reescribir del siguiente modo"

126b -;+.
( partir de las ecuaciones -;2. y -;+., es posible plantear un algoritmo para resolver el
sistema de ecuaciones empleando dos etapas"
8rimero obtenemos 2 aplicando el algoritmo de sustitucin %ro!resi#" en la
ecuacin -;+..
8osteriormente obtenemos los valores de x aplicando el algoritmo de sustitucin
re!resi#" a la ecuacin
Ux 6 2
El anlisis anterior nos muestra lo fcil que es resolver estos dos sistemas de
ecuaciones triangulares y lo $til que resultara disponer de un mtodo que nos
permitiera llevar a cabo la factori!acin 061U. %i disponemos de una matri! 0
de , estamos interesados en encontrar aquellas matrices"
4ales que cumplan la ecuacin -;/.. 2uando esto es posible, decimos que 0 tiene una
desco)%osicin 1U. %e puede ver que las ecuacin anterior no determina de forma
$nica a 1 y a U. De hecho, para cada i podemos asignar un valor distinto de cero a l
ii
o
u
ii
-aunque no ambos.. 8or e'emplo, una eleccin simple es fi'ar l
ii
6/ para
haciendo de esto modo que 1 sea una matri! triangular inferior
C'ARCAPE.
+>
INGENIERA CIVIL
unitaria. *tra eleccin es hacer U una matri! triangular superior unitaria -tomando
u
ii
6/ para cada i..
8ara deducir un algoritmo que nos permita la factori!acin 1U de 0* partiremos de la
frmula para la multiplicacin de matrices"

-;:.
En donde nos hemos valido del hecho de que l
is
67 para s Ui y u
s%
67 para sU%.
En este proceso, cada paso determina una nueva fila de U y una nueva columna de 1. En
el paso 3, podemos suponer que ya se calcularon las filas de U, al igual
que las columnas de 1. Raciendo i6%63 en la ecuacin -;:. obtenemos

-;;.
%i especificamos un valor para l
33
-o para u
33
., a partir de la ecuacin -;;. es posible
determinar un valor para el otro trmino. 2onocidas u
33
y l
33
y a partir de la
ecuacin -;:. podemos escribir las e&presiones para la 3,sima fila -i63. y para la 3,
sima columna -%63., respectivamente"

-;<.
-;=.
Es decir, las ecuaciones -;=. se pueden emplear para encontrar los elementos u
3%
y l
i3
.
El algoritmo basado en el anlisis anterior se denomina f"ctori7"cin de Doo(itt(e
cuando se toman los trminos l
ii
6 / para -1 triangular inferior unitaria. y
f"ctori7"cin de Crout cuando se toman los trminos u
ii
6/ -U triangular superior
unitaria..
Dna implementacin en pseudocdigo del algoritmo para llevar a cabo la factori!acin
1U se muestra en la figura -//..
C'ARCAPE.
+?
INGENIERA CIVIL

Bi!ur": 9mplementacin del algoritmo de la factori!acin 1U.
Es interesante notar que los bucles que permiten el cmputo de la 3,sima fila de U y de
la 3,sima columna de 1 se pueden llevar a cabo en paralelo, es decir, pueden evaluarse
simultneamente sobre dos procesadores, lo que redunda en un importante ahorro del
tiempo de clculo.
E'emplo" Encuentre las factori!aciones de Doolittle y 2rout de la matri!"
La factori!acin de Doolittle es, a partir del algoritmo"
C'ARCAPE.
:7
INGENIERA CIVIL
En ve! de calcular la factori!acin de 2rout directamente, la podemos obtener a partir
de la factori!acin de Doolittle que acabamos de ver. Efectivamente, si tenemos en
cuenta que la matri! 0 es simtrica, es posible comprobar que se cumple la relacin"
0 6 1U 6 U
4
1
4

por lo que la factori!acin de 2rout resulta ser"
.1.3 'liminacin (aussiana bsica
9lustraremos el mtodo de 3auss aplicando el procedimiento a un sistema de cuatro
ecuaciones con cuatro incgnitas"

-;>.
En el primer paso, multiplicamos la primera ecuacin por y la restamos a la
segunda, despus multiplicamos la primera ecuacin por y la restamos a la
tercera y finalmente multiplicamos la primera ecuacin por y la restamos a la
cuarta. Los n$meros 2, y ,/ son los )u(ti%(ic"dores del primer paso del proceso de
eliminacin. El n$mero < es el e(e)ento %i#ote de este primer paso y la primera fila,
que no sufre modificacin alguna, se denomina fi(" %i#ote. El sistema en estos
momentos tiene el siguiente aspecto"

-;?.
En el siguiente paso del proceso, la segunda fila se emplea como fi(" %i#ote y ,: como
e(e)ento %i#ote. (plicamos del nuevo el proceso" multiplicamos la segunda fila por
y la restamos de la tercera y despus multiplicamos la segunda fila por
C'ARCAPE.
:/
INGENIERA CIVIL
y la restamos a la cuarta. Los multiplicadores son en esta ocasin + y y
el sistema de ecuaciones se reduce a"

-<7.
El $ltimo paso consiste en multiplicar la tercera ecuacin por y restarla a la
cuarta. El sistema resultante resulta ser"

-</.
El sistema resultante es triangular superior y equivalente al sistema original -las
soluciones de ambos sistemas coinciden.. %in embargo, este sistema es fcilmente
resoluble aplicando el algoritmo de sustitucin re!resi#" e&plicado en el
apartado <././. La solucin del sistema de ecuaciones resulta ser"
%i colocamos los multiplicadores utili!ados al transformar el sistema en una matri!
triangular inferior unitaria -1. ocupando cada uno de ellos la posicin del cero que
contribuy a producir, obtenemos la siguiente matri!"
8or otra parte, la matri! triangular superior -U. formada por los coeficientes resultantes
tras aplicar el algoritmo de 3auss -ecuacin </., es"
Estas dos matrices nos dan la factori!acin 1U de la matri! inicial de coeficientes, 0,
e&presada por la ecuacin -;>."
C'ARCAPE.
:2
INGENIERA CIVIL

Bi!ur": 9mplementacin del algoritmo de eliminacin gaussiana.
En la figura -/2. se muestra un algoritmo en pseudocdigo para llevar a la prctica el
proceso bsico de eliminacin gaussiana que acabamos de describir. En este algoritmo
se supone que todos los elementos pivote son distintos de cero.
.1.) !"todo de *auss+,ordan
2omo hemos visto, el mtodo de 3auss transforma la matri! de coeficientes en una
matri! triangular superior. El mtodo de 3auss,Vordan contin$a el proceso de
transformacin hasta obtener una matri! diagonal unitaria -a
i%
67 para cualquier ..
Peamos el mtodo de 3auss,Vordan siguiendo con el e'emplo empleado en el apartado
anterior. (plicando el mtodo de 3auss habamos llegado a la siguiente ecuacin"
C'ARCAPE.
:+
INGENIERA CIVIL
(hora seguiremos un procedimiento similar al empleado en el mtodo de 3auss.
4omaremos como pivote el elemento a
::
6,+) multiplicamos la cuarta ecuacin por y
la restamos a la primera"
5eali!amos la misma operacin con la segunda y tercera fila, obteniendo"
(hora tomamos como pivote el elemento a
++
62, multiplicamos la tercera ecuacin por
y la restamos a la primera"
5epetimos la operacin con la segunda fila"
Winalmente, tomamos como pivote a
22
6,:, multiplicamos la segunda ecuacin por y
la sumamos a la primera"
El sistema de ecuaciones anterior es, como hemos visto, f(cil de resolver. Empleando la
ecuacin -:<. obtenemos las soluciones"
C'ARCAPE.
::
INGENIERA CIVIL
.1.- .i%oteo
%in embargo, los algoritmos de 3auss y 3auss,Vordan que acabamos de describir
pueden dar lugar a resultados errneos fcilmente. 8or e'emplo, analicemos el siguiente
sistema de ecuaciones, en el que es un n$mero muy pequeIo pero distinto de cero"
(l aplicar el algoritmo gaussiano se obtiene el siguiente sistema triangular superior"
y la solucin es"
En el computador, si es suficientemente pequeIo, los trminos y se
computarn como un mismo n$mero, por lo que y . %in embargo, la
solucin correcta es"
4enemos entonces que la solucin calculada es e&acta para x
2
pero e&tremadamente
ine&acta para x
/
.
El problema anterior no radica en la peque5e2 del trmino a
ii
, sino en su peque5e2
relativa respecto de los otros elementos de su fila. La conclusin que podemos e&traer
es que un buen algoritmo debe incluir el intercambio de ecuaciones cuando las
circunstancias as lo e&i'an. Dn algoritmo que cumple este requisito es el denominado
eliminacin gaussiana con pivoteo de filas escaladas.
C'ARCAPE.
:;
INGENIERA CIVIL
).2 %todos iterativos
El mtodo de 3auss y sus variantes se conocen con el nombre de mtodos directos" se
e'ecutan a travs de un n$mero finito de pasos y dan lugar a una solucin que sera
e&acta si no fuese por los errores de redondeo.
8or contra, un mtodo indirecto da lugar a una sucesin de vectores que idealmente
converge a la solucin. El clculo se detiene cuando se cuenta con una solucin
apro&imada con cierto grado de precisin especificado de antemano o despus de cierto
n$mero de iteraciones. Los mtodos indirectos son casi siempre iter"ti#os" para obtener
la sucesin mencionada se utili!a repetidamente un proceso sencillo.
.2.1 /onceptos bsicos
En general, en todos los procesos iterativos para resolver el sistema 0x6b se recurre a
una cierta matri! 6, llamada matri! descomposicin, escogida de tal forma que el
problema original adopte la forma equivalente"

6x 6 -6,0.xQb -<2.
La ecuacin -<2. sugiere un proceso iterativo que se concreta al escribir"

-<+.
El vector inicial x
-7.
puede ser arbitrario, aunque si se dispone de un buen candidato
como solucin ste es el que se debe emplear. La apro&imacin inicial que se adopta, a
no ser que se disponga de una me'or, es la idnticamente nula
. ( partir de la ecuacin -<+. se puede calcular una sucesin
de vectores x
-/.
, x
-2.
, .... #uestro ob'etivo es escoger una matri! 6 de manera que"
%e pueda calcular fcilmente la sucesin Kx
-3.
L.
La sucesin Kx
-3.
L conver'a rpidamente a la solucin.
2omo en todo mtodo iterativo, deberemos especificar un criterio de convergencia y
un n$mero m&imo de iteraciones , para asegurar que el proceso se detiene si no se
alcan!a la convergencia. En este caso, puesto que x es un vector, emplearemos dos
criterios de convergencia que se debern satisfacer simultneamente"
/.
El mdulo del vector diferencia, , partido por el mdulo del
vector x, deber ser menor que la convergencia deseada"
C'ARCAPE.
:<
INGENIERA CIVIL
2.
La diferencia relativa del mayor elemento en valor absoluto del vector x
-3.
,
, deber ser die! veces menor que "
.2.2 !"todo de Ric0ardson
El )*todo de 4ic="rdson toma como matri! 6 la matri! identidad -7.. En este caso la
ecuacin -<+. queda en la forma"

7x
-3.
6 -7,0.x
-3,/.
Qb 6 x
-3,/.
Qr
-3,/.
-<:.
en donde r
-3,/.
es el vector residual definido mediante r
-3,/.
6b,0x
-3,/.
.
La matri! identidad es aquella matri! diagonal cuyos elementos no nulos son /, es decir"
y cumple que
70 6 0
8ara cualquier valor de 0) es decir, es el elemento neutro del producto matricial. De
acuerdo con esto, la ecuacin -<:. se puede escribir como"
x
-3.
6 x
-3,/.
, 0x
-3,/.
Q b 6 x
-3,/.
Q r
-3,/.

En donde un elemento cualquiera del vector r
-3,/.
vendr dado por la e&presin"
En la figura -/+. se muestra un algoritmo para e'ecutar la iteracin de 5ichardson. Este
mtodo recibe tambin el nombre de mtodo de rela'acin o mtodo de los residuos.

Bi!ur": 9mplementacin del algoritmo iterativo de
5ichardson.
C'ARCAPE.
:=
INGENIERA CIVIL
.2.3 !"todo de ,acobi
En la iter"cin de >"co,i, se escoge una matri! 6 que es diagonal y cuyos elementos
diagonales son los mismos que los de la matri! 0. La matri! 6 toma la forma"
F la ecuacin general -<+. se puede escribir como

6x
-3.
6 -6,0.x
-3,/.
Q b -<;.
%i denominamos 8 a la matri! 0,6"
La ecuacin -<;. se puede reescribir como"
6x
-3.
6 ,8x
-3,/.
Q b
El producto de la matri! 6 por el vector columna x
-3.
ser un vector columna. De modo
anlogo, el producto de la matri! 8 por el vector columna x
-3,/.
ser tambin un vector
C'ARCAPE.
:>
INGENIERA CIVIL
columna. La e&presin anterior, que es una ecuacin vectorial, se puede e&presar por n
ecuaciones escalares -una para cada componente del vector.. De este modo, podemos
escribir, para un elemento i cualquiera y teniendo en cuenta que se trata de un producto
matri!,vector"
%i tenemos en cuenta que en la matri! 6 todos los elementos fuera de la diagonal son
cero, en el primer miembro el $nico trmino no nulo del sumatorio es el que contiene el
elemento diagonal q
ii
, que es precisamente a
ii
. 0s a$n, los elementos de la diagonal de
8 son cero, por lo que podemos eliminar el trmino i6% en el sumatorio del segundo
miembro. De acuerdo con lo dicho, la e&presin anterior se puede reescribir como"
De donde despe'ando x
i
-3.
obtenemos"
Nue es la e&presin que nos proporciona las nuevas componentes del vector x
-3.
en
funcin de vector anterior x
-3,/.
en la iteracin de Vacobi. En la figura -/:. se presenta un
algoritmo para el mtodo de Vacobi.

Bi!ur": 9mplementacin del mtodo de Vacobi.
C'ARCAPE.
:?
INGENIERA CIVIL
El mtodo de Vacobi se basa en escribir el sistema de ecuaciones en la forma"

-<<.
8artimos de una apro&imacin inicial para las soluciones al sistema de ecuaciones y
sustituimos estos valores en la ecuacin -<<.. De esta forma, se genera una nueva
apro&imacin a la solucin del sistema, que en determinadas condiciones, es me'or que
la apro&imacin inicial. Esta nueva apro&imacin se puede sustituir de nuevo en la parte
derecha de la ecuacin -<<. y as sucesivamente hasta obtener la convergencia.
.2.) !"todo de *auss+$eidel
La iter"cin de G"uss-Seide( se define al tomar 6 como la parte triangular inferior de
0 incluyendo los elementos de la diagonal"
%i, como en el caso anterior, definimos la matri! 860,6
C'ARCAPE.
;7
INGENIERA CIVIL
F la ecuacin -<+. se puede escribir en la forma"
6x
-3.
6 ,8x
-3,/.
Q b
Dn elemento cualquiera, i, del vector 6x
-3.
vendr dado por la ecuacin"
%i tenemos en cuenta la peculiar forma de las matrices 6 y 8, resulta que todos los
sumandos para los que % U i en la parte i!quierda son nulos, mientras que en la parte
derecha son nulos todos los sumandos para los que . 8odemos escribir entonces"
6
6
De donde despe'ando x
i
-3.
, obtenemos"
*bsrvese que en el mtodo de 3auss,%eidel los valores actuali!ados de x
i
sustituyen de
inmediato a los valores anteriores, mientras que en el mtodo de Vacobi todas las
componentes nuevas del vector se calculan antes de llevar a cabo la sustitucin. 8or
contra, en el mtodo de 3auss,%eidel los clculos deben llevarse a cabo por orden, ya
que el nuevo valor x
i
depende de los valores actuali!ados de x
/
, x
2
, ..., x
i,/
.
En la figura -/;. se incluye un algoritmo para la iteracin de 3auss,%eidel.
C'ARCAPE.
;/
INGENIERA CIVIL

Bi!ur": (lgoritmo para la iteracin de 3auss,%eidel.
:. Inter%o("cin
#os centraremos ahora en el problema de obtener, a partir de una tabla de pare'as
-x,f-x.. definida en un cierto intervalo Ka,bL, el valor de la funcin para cualquier
xperteneciente a dicho intervalo.
%upongamos que disponemos de las siguientes pare'as de datos"
- x
7
x
/
x
2
x
n
. y
7
y
/
y
2
y
n
El ob'etivo es encontrar una funcin continua lo ms sencilla posible tal que

f-x
i
. 6 y
i
-<=.
%e dice entonces que la funcin f-x. definida por la ecuacin -<=. es una funcin de
inter%o("cin de los datos representados en la tabla.
E&isten muchas formas de definir las funciones de interpolacin, lo que da origen a un
gran n$mero de mtodos -polinomios de interpolacin de #e1ton, interpolacin de
Lagrange, interpolacin de Rermite, etc.. %in embargo, nos centraremos e&clusivamente
en dos funciones de interpolacin"
/. Los polinomios de interpolacin de Lagrange.
2. Las funciones de interpolacin s%(ines. Estas funciones son especialmente
importantes debido a su idoneidad en los clculos reali!ados con ordenador.
C'ARCAPE.
;2
INGENIERA CIVIL
+.1 Polinomios de interpolacin de ,agrange
Dn polinomio de interpolacin de Lagrange, p, se define en la forma"

-<>.
En donde son polinomios que dependen slo de los nodos tabulados
, pero no de las ordenadas . La frmula general del
polinomio es"

-<?.
8ara el con'unto de nodos , estos polinomios son conocidos como
funciones c"rdin"(es. Dtili!ando estos polinomios en la ecuacin -<>. obtenemos la
forma e&acta del polinomio de interpolacin de L"!r"n!e.
E'e)%(o" %uponga la siguiente tabla de datos"
- ; ,= ,< 7
. / ,2+ ,;: ,?;:
2onstruya las funciones cardinales para el con'unto de nodos dado y el polinomio de
interpolacin de Lagrange correspondiente.
Las funciones cardinales, empleando la e&presin -<?., resultan ser"
El polinomio de interpolacin de Lagrange es"
C'ARCAPE.
;+
INGENIERA CIVIL
+.2 -nterpolacin de splines
Dna funcin spline est formada por varios polinomios, cada uno definido sobre un
subintervalo, que se unen entre s obedeciendo a ciertas condiciones de continuidad.
%upongamos que disponemos de nQ/ puntos, a los que denominaremos nudos, tales
que . %upongamos adems que se ha fi'ado un entero .
Decimos entonces que una funcin s%(ine de !r"do " con nudos en es
una funcin $ que satisface las condiciones"
-i.
en cada intervalo , $ es un polinomio de grado menor o igual a 3.
-ii.
$ tiene una derivada de orden -3,/. continua en .
Los splines de grado 7 son funciones constantes por !onas. Dna forma e&plcita de
presentar un spline de grado 7 es la siguiente"
Los intervalos no se intersectan entre s, por lo que no hay ambigXedad en la
definicin de la funcin en los nudos. Dn spline de grado / se puede definir por"

En las figuras -/<. y -/=. se muestran las grficas correspondientes a los splines de
grado cero y de grado / respectivamente.

C'ARCAPE.
;:
INGENIERA CIVIL

Bi!ur": %pline de grado 7 con seis puntos.

Bi!ur": %pline de grado / con seis puntos.
+.3 (plines c.icos
El spline c$bico -36+. es el spline ms empleado, debido a que proporciona un
e&celente a'uste a los puntos tabulados y su clculo no es e&cesivamente comple'o.
%obre cada intervalo , $ est definido por un polinomio
c$bico diferente. %ea $
i
el polinomio c$bico que representa a $ en el intervalo Kt
i
,t
iQ/
L,
por tanto"
Los polinomios $
i,/
y $
i
interpolan el mismo valor en el punto t
i
, es decir, se cumple"
$
i,/
-t
i
. 6 y
i
6 $
i
-t
i
.

8or lo que se garanti!a que $ es continuo en todo el intervalo. (dems, se supone que $H
y $HH son continuas, condicin que se emplea en la deduccin de una e&presin para la
funcin del spline c$bico.
(plicando las condiciones de continuidad del spline $ y de las derivadas primera $H y
segunda $HH, es posible encontrar la e&presin analtica del spline. #o vamos a obtener
C'ARCAPE.
;;
INGENIERA CIVIL
esta e&presin, ya que su demostracin queda fuera del mbito de estos apuntes.
%implemente diremos que la e&presin resultante es"
En la e&presin anterior, "
i
6t
iQ/
,t
i
y son incgnitas. 8ara determinar sus
valores, utili!amos las condiciones de continuidad que deben cumplir estas funciones.
El resultado -que tampoco vamos a demostrar. es"
La ecuacin anterior, con genera un sistema de n,/ecuaciones
lineales con nQ/ incgnitas . 8odemos elegir 2
7
y 2
/
de forma arbitraria y
resolver el sistema de ecuaciones resultante para obtener los valores
de . Dna eleccin especialmente adecuada es hacer 2
7
62
/
67. La
funcin spline resultante se denomina spline c)bico natural y el sistema de ecuaciones
lineal e&presado en forma matricial es"

-=7.
En donde"

"
i
6 t
iQ/
,t
i

u
i
6
b
i
6
6 -=/.

Bi!ur": (lgoritmo para encontrar los coeficientes 2i de un
spline c$bico.
C'ARCAPE.
;<
INGENIERA CIVIL
Este sistema de ecuaciones, que es tridiagonal, se puede resolver mediante eliminacin
gaussiana sin pivoteo como se muestra en la figura -/>.. El cdigo acepta como entrada
un con'unto de nodos -t
i
. y el con'unto de los valores de la funcin correspondiente -y
i
.
y produce un vector con los vectores 2
i
. 8or $ltimo, el valor del spline $ en un punto
xcualquiera interpolado se puede calcular de forma eficiente empleando la siguiente
e&presin"

-=2.
En donde "
0
i
6
B
i
6
&
i
6 -=+.

Peamos un e'emplo para ilustrar el empleo de los splines c$bicos para interpolar los
valores de una tabla. En la tabla -/. se muestran algunos valores de una serie de valores
tabulados a intervalos regulares de la funcin en el intervalo K7,2.2;L.
4ambin se indican los valores interpolados empleando el correspondiente spline c$bico
as como el error absoluto cometido. *bsrvese que el error es cero para los nudos. En
C'ARCAPE.
;=
INGENIERA CIVIL
la figura -/?. se representan grficamente los valores tabulados.

T",(e: Palores interpolados mediante un spline c$bico para la funcin e indicacin del error
cometido -en valor absoluto..
x $
i
-x.
7.7777 7.7777 7.7777 7.7777EQ77
7.7<2; 7./:2< /.7=+2E,7/
7./2;7 7.2=>2 =.;2<<E,72
7./>=; 7.+??= +.+2</E,72
7.2;77 7.;777 7.;777 7.7777EQ77
7.+/2; 7.;=:: /.;::7E,72
7.+=;7 7.<2>; /.</;;E,72
7.:+=; 7.<=7/ >.<=+2E,7+
7.;777 7.=7=/ 7.=7=/ 7.7777EQ77

/.=;77 /.+22> /.+22> 7.7777EQ77
/.>/2; /.+:<2 <.>??:E,7=
/.>=;7 /.+<?+ ;.??;+E,7<
/.?+=; /.+?/? >.=77:E,7<
2.7777 /.:/:2 /.:/:2 7.7777EQ77
2.7<2; /.:+</ 2.:;22E,7;
2./2;7 /.:;== :.=+2?E,7;
2./>=; /.:=?7 :.<2/;E,7;
2.2;77 /.;777 /.;777 7.7777EQ77

En la figura -27. se muestra otro e'emplo. %e representan grficamente los puntos
interpolados mediante una funcin spline c$bica para la funcin y6sen-x..

C'ARCAPE.
;>
INGENIERA CIVIL

Bi!ur": 5epresentacin de la funcin
.
Los crculos representan los valores tabulados de la
funcin y la lnea continua los puntos interpolados
mediante una funcin spline c$bica.

Bi!ur": 5epresentacin de la funcin y6sen-x..
C'ARCAPE.
;?
INGENIERA CIVIL
Los crculos representan los valores tabulados de la
funcin y la lnea continua los puntos interpolados
mediante una funcin spline c$bica.
<. Inte!r"cin nu)*ric"
Dada una funcin f definida sobre un intervalo Ka,bL, estamos interesados en calcular

-=:.
%uponiendo que esta integral tenga sentido para la funcin f. La cuadratura o
integracin num9rica consiste en obtener frmulas apro&imadas para calcular la integral
:-f. de f. Estos mtodos son de gran utilidad cuando la integral no se puede calcular por
mtodos analticos, su clculo resulta muy costoso y estamos interesados en una
solucin con precisin finita dada o bien slo disponemos de una tabla de valores de la
funcin -es decir, no conocemos la forma analtica de f..
/.1 -ntegracin va interpolacin polinomial
Dna estrategia muy $til para calcular el valor numrico de la integral dada por la
ecuacin -=:. consiste en reempla!ar f por otra funcin g, fcil de integrar, que
apro&ima a f de forma adecuada. %i , se deduce que
Los polinomios son buenos candidatos para el papel de g. De hecho, g puede ser un
polinomio que interpola a f en cierto con'unto de nodos
;
.
%upongamos que deseamos calcular la integral -=:.. 8odemos elegir una serie de nudos,
en el intervalo Ka,bL e iniciar un proceso de interpolacin de Lagrange
-ver apartado =./ para una descripcin de los polinomios de interpolacin de Lagrange..
El polinomio de grado menor o igual a n que interpola a f en los nudos es"
-=;.
C'ARCAPE.
<7
INGENIERA CIVIL
La integral -=:. se puede escribir entonces como"
Es decir, tenemos una frmula general que se puede emplear para cualquier f y que tiene
la forma"

-=<.
En donde
/.2 0egla del trapecio
%i en la e&presin -=<. empleamos polinomios de grado n6/ y tomamos como nudos
x
7
6a y x
/
6b, tenemos el caso ms sencillo posible, en donde los polinomios de
interpolacin son"
6
6
8or lo que"
La frmula de cuadratura correspondiente es"
Esta e&presin se conoce como re!(" de( tr"%ecio y proporciona un resultado e&acto
para todas las funciones de grado menor o igual a /.
C'ARCAPE.
</
INGENIERA CIVIL
/.3 0egla de (impson
Empleando un ra!onamiento similar al anterior y tomando un polinomio de grado n62
para interpolar a f, obtenemos la conocida re!(" de Si)%son"

-==.
Nue es e&acta para todos los polinomios de grado 2 y curiosamente, e&acta para
todos los polinomios de grado +.
En los clculos prcticos se emplea, generalmente, la re!(" de Si)%son co)%uest", en
la que el intervalo de integracin Ka,bL se divide en un n$mero par, n, de subintervalos.
4enemos entonces"
De donde"
" 6 -b,a.@n
(plicando la regla de %impson -==. en cada uno de los subintervalos se obtiene la
e&presin final"
-=>.
C'ARCAPE.
<2
INGENIERA CIVIL
Co(eccin de %ro,(e)"s
%todos numricos
'1ercicio 1 2ni%el# 1r ciclo 3
La funcin tiene una ra! en . Empe!ando con
y , usar ocho iteraciones del mtodo de la biseccin para apro&imar la
ra!. 4abular el error despus de cada iteracin y tambin las estimaciones del error
m&imo. BEl error real siempre es menos que la estimacin del error m&imoC Los
errores reales contin$an disminuyendoC
Encontrar la ra! cerca de de empe!ando con . B2un
e&acta es la estimacin despues de cuatro iteracciones del mtodo de #e1tonC Bcuntas
iteraciones requiere el mtodo de la biseccin para lograr la misma e&actitudC. 4abule el
n$mero de dgitos correctos en cada iteraccin del mtodo de #e1ton y observe si se
duplican cada ve!. -%olucin .
Dsando el mtodo de eliminacin gaussiana con pivoteo y sustitucin regresiva,
resuelva el siguiente sistema de ecuaciones"

2alcule el determinante y la descomposicin LD de la matri! de coeficientes.
'1ercicio ) 2ni%el# 1r ciclo 3
Dtili!ar el mtodo de reduccin de 2rout para obtener una descomposicin de la
matri!"
'1ercicio - 2ni%el# 1r ciclo 3
Dado que , y , interpole con un
polinomio de Lagrange el logartmo natural de cada entero desde hasta . 4abule lo
anterior 'unto con el error en cada punto.
C'ARCAPE.
<+
INGENIERA CIVIL
'1ercicio 2ni%el# 1r ciclo 3
Dados los datos"
5eali!ar un a'uste por mnimos cuadrados de los mismos a una recta y a una cuadrtica.
B2ul de los dos a'ustes es me'orC
La siguiente tabla tiene valores para . 9ntegre entre y usando la
regla trape!oidal con , y .
Dsa la integracin de 5omberg para evaluar la integral de"

entre y . Lleva seis decimales y continua hasta que no haya cambio en la
quinta cifra decimal. 2ompare con el valor analtico"
.
C'ARCAPE.
<:
INGENIERA CIVIL
C'ARCAPE.
<;
INGENIERA CIVIL
C'ARCAPE.
<<
INGENIERA CIVIL
C'ARCAPE.
<=
INGENIERA CIVIL
C'ARCAPE.
<>
INGENIERA CIVIL
C'ARCAPE.
<?
INGENIERA CIVIL
C'ARCAPE.
=7
INGENIERA CIVIL
C'ARCAPE.
=/
INGENIERA CIVIL
C'ARCAPE.
=2

Separata Met Numericos

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Separata Met Numericos

Încărcat de

Drepturi de autor:

Formate disponibile

PROGRAMA DE COMPLEMENTACIN PROFESIONAL EN

S-ar putea să vă placă și