Universidad Nacional Agraria La Molina

Facultad de Ingeniera Agrcola

Departamento Acadmico de Recursos Hdricos

Anlisis Numrico en Ingeniera

(Aplicaciones con MATLAB)

Fundamentos
Matemticos y
Anlisis de Error
Jess Abel Meja Marcacuzco, Ph.D.
Lima - Per

Presentacin
Gracias a su singular y fascinante capacidad, MATLAB ha cambiado el
concepto de programacin para anlisis numrico y matemtico
porque posibilita la ejecucin del clculo numrico y simblico de
forma rpida y precisa, acompaado de caractersticas grficas y de
visualizacin avanzada apta para el trabajo cientfico y de ingeniera.
Por esta razn, el propsito de estas presentaciones es ofrecer una
introduccin al anlisis numrico y a la visualizacin grfica en
MATLAB para estudiantes universitarios y profesionales en las reas
de ciencias e ingeniera y surge de la experiencia, del autor, de haber
enseado la asignatura de Mtodos Numricos en Ingeniera de
Recursos Hdricos, desde el ao 2000 en la maestra y desde el ao
2005 en el Programa de Doctorado de Recursos Hdricos de la
Universidad Nacional Agraria La Molina.
Jess Abel Meja Marcacuzco, Ph.D.
Profesor Principal FIA-UNALM

Mtodos Numricos y su importancia en la Ingeniera

Los mtodos numricos son tcnicas y herramientas muy
poderosas para la solucin de problemas matemticos que
no tienen solucin analtica.
Son capaces de manejar sistemas de ecuaciones grandes,
no linealidades y geometras complicadas, comunes en la
prctica de la ingeniera e imposibles de resolver
analticamente.
El uso de software disponible, depende del conocimiento de
la teora bsica y mtodos numricos en la que se basaron.
Los mtodos numricos y la programacin permite, a uno,
disear su propio programa y al aplicarlo brinda una
excelente demostracin de cmo las computadoras pueden
servir al estudiante para su desarrollo profesional.
Los mtodos numricos refuerza la comprensin de las
matemticas, ya que una de sus funciones es convertir las
matemticas superiores a operaciones algebraicas bsicas.

Problemas Relacionados con Anlisis Numrico

Races de ecuaciones: Muy til en proyectos de ingeniera,
donde con frecuencia es imposible despejar de manera
analtica las variables de ecuaciones de diseo.
Sistemas de ecuaciones: Surgen de una variedad de
problemas y en todas las disciplinas de la ingeniera, en
particular, se originan a partir de modelos matemticos de
sistemas grandes de elementos interrelacionados, como:
estructuras, circuitos elctricos, redes de flujo; solucin de
ecuaciones diferenciales, etc.

Ajuste de curvas: Pueden efectuarse mediante las tcnicas

de regresin e interpolacin. La primera determina una curva
que represente la tendencia general de los datos sin necesidad
de tocar los puntos individuales. En contraste, la interpolacin
permite ajustar una curva mediante los puntos y usar esta
curva para predecir valores intermedios.

Integracin: La integracin numrica es la determinacin del

rea bajo la curva. Tiene muchas aplicaciones en ingeniera y
juegan un papel importante en la solucin de las ecuaciones
diferenciales.
Ecuaciones diferenciales ordinarias: Tienen una gran
aplicacin en la ingeniera; debido a que muchas leyes fsicas
estn expresadas en trminos de la razn de cambio de una
cantidad ms que en trminos de su magnitud. Pueden
observarse dos tipos de problemas: problemas con valor inicial
y valores en la frontera.
Ecuaciones diferenciales parciales: Son usadas para
caracterizar sistemas de ingeniera, donde el comportamiento
de la cantidad fsica es expresada en trminos de rapidez de
cambio con respecto a dos o ms variables independientes. En
el curso se har nfasis en el mtodo de las diferencias finitas,
mtodo de las caractersticas y volmenes finitos.

Lenguajes de Programacin y Software para Clculo

Numrico
Desde que empez la era de la computadora, se han
elaborado cientos de lenguajes de computacin; determinar
cul es el mejor lenguaje ha sido objeto de grandes debates.
A continuacin describimos los principales lenguajes de
programacin y software, utilizados en mtodos numricos:
Fortran: Traductor de Frmulas, presentado comercialmente
por la IBM en 1957 y considerado hasta la fecha como un
lenguaje natural de computacin para muchos ingenieros y
cientficos. Tiene capacidad para trabajar con variables de
doble precisin y manejar funciones matemticas especiales,
incluyendo variables complejas.
C: En trminos generales es inferior al Fortran 90, tiene
acceso a bajos niveles de hardware y software. Muchas
universidades implementaron el C como primer lenguaje de
computadora para los estudiantes de ciencias e ingeniera.

Visual BASIC: creado originalmente, como BASIC, a

mediados de la dcada de los sesenta, como un lenguaje
instructivo para los estudiantes, evolucionando luego como
QUICK BASIC de Microsoft y en la actualidad, su principal
implementacin es el Visual BASIC. Este lenguaje est
relacionado estrechamente con el sistema operativo de
Windows de Microsoft. Debido a su funcin de macrolenguaje
para la hoja de clculo Excel, su utilidad est ms que
reconocida.
Mathcad: Presentado en su primera versin en 1986. El
software permite al usuario realizar tareas de matemticas,
obtener datos de primera mano y elaborar grficas propias de
la ciencia y la ingeniera de manera interactiva. En virtud de
su facilidad de uso, creemos que el Mathcad es
particularmente til como herramienta pedaggica.

Excel: Hoja de clculo producida por Microsoft, cuyo tipo

especial de software matemtico permite al usuario dar y
realizar clculos en filas y columnas de datos. Tiene algunas
capacidades numricas inherentes, incluida la solucin de
ecuaciones, el ajuste de curvas y la optimizacin. Incluye el
Visual BASIC como un macro lenguaje que puede usarse
para implementar clculos numricos. Posee varias
herramientas de visualizacin (grficas 3D) valiosas para el
anlisis numrico.
MATLAB: Software producido por Mathworks, Inc., empresa
establecida por los analistas numricos Cleve Moler y John
N. Little. Fue desarrollado en principio como un laboratorio
de matrices. La manipulacin matemtica de las matrices
est perfectamente realizada en un ambiente interactivo, de
uso fcil. Para ello MATLAB tiene, adems, varias funciones
matemticas, clculos simblicos y herramientas de
visualizacin.

Breve Revisin del Clculo Diferencial

Funcin de una variable real

(x, f(x))
x

Recorrido

f(x)

Dominio
Variable independiente
x
D = [1, 1]

Ley de asociacin o
funcin
f
f(x) = 1 x2

Variable dependiente
y = f(x)
f([1, 1]) = [0, 1]

Lmite de una funcin en un punto

Si a y b son dos nmeros, la expresin:

lim f ( x) b
xa

Significa que si la variable independiente x toma valores

prximos al nmero a, los correspondientes valores de f(x) se
aproximan al valor de b. Si existe el lmite de una funcin en un
punto, dicho lmite debe ser un nmero y adems nico.

Ejemplo: Determinar el comportamiento de la

funcin cuando x se aproxima cada vez a 1:
x
f(x)

x2 1
f ( x) 2
x 3x 2

0.98
0.99
0.999 0.9999
1
1.0001 1.001
1.01
1.1
-1.9412 -1.9703 -1.9970 -1.9997 no existe -2.0003 -2.0030 -2.0303 -2.3333

Cuando x se acerca a 1 por la derecha f(x) se acerca a 2

Cuando x se acerca a 1 por la izquierda f(x) se acerca a 2
Se escribe

x2 1
2
2
lim
x 1 x 3 x 2

Definicin de Lmite:
Sean a y L dos nmeros reales. Una funcin f(x) tiene lmite L
en el punto x = a si para todo nmero real > 0 existe otro
nmero real > 0, tal que si 0 < |x a | < |f(x) L | <

Para cada > 0

Hay un > 0

0 < |x a | <

|f(x) L | <

Algunos lmites tpicos:

sen( x)
1
lim
x
x 0

lim x
x 0

a
a
1

lim
x
x

lim x
x

1
x

ex

p
lim
x
x
ln( x)
0
p
lim
x
x

Continuidad de una funcin en un punto

Estatura medida cada 5 aos:

hay grandes saltos entre cada
punto y el siguiente.

Estatura medida cada ao: el

incremento entre cada punto y el
siguiente ser menor, como lo es
tambin el incremento de tiempo.

Una funcin es continua cuando a pequeas variaciones de la variable

independiente le corresponden pequeas variaciones de la variable
dependiente.

La funcin f(x) es continua en x = a, si:

lim f ( x) f (a)
xa

Derivada de una funcin en un punto

Si f(x) es una funcin definida en
un intervalo abierto que contiene
x0, entonces la funcin es derivable
en x0. f(x0 ) es la pendiente de la
recta tangente en (x0 , f(x0 )):
f ' ( x0 ) lim
xa

f ( x) f ( x0 )
x x0

Teorema: si f(x) es derivable en a, entonces f es continua en x0

Teorema de Rolle: Suponga que f(x)

C[a,b] y que f(x) es derivable en
(a,b). Si f(a) = f(b), entonces existe un
nmero c en (a,b),tal que f(c) = 0.

Teorema del valor medio: Suponga

que f(x) C[a,b] y que f(x) es
derivable en (a,b), entonces existe un
nmero c tal que:
f ' (c )

f (b) f (a )
ba

Teorema del valor extremo: Si f(x)

C[a,b] entonces existen c1 y c2 [a,b],
tales que f(c1)f(x)f(c2) para toda x
[a,b]. Adems si f(x) es derivable en
(a,b), entonces los nmeros c1 y c2
aparecen en los extremos de [a,b], o
bien donde f(x) es cero.

Integracin de una funcin

El otro concepto bsico de clculo usado ampliamente es la

integral de Riemann:
La Integral de Riemann de la
funcin f(x) en el intervalo [a,b] es
el siguiente lmite, si ste existe:
b
ba n
f ( xi )

a f ( x)dx lim
n i 1
n
Teorema del valor medio ponderado:
Suponga que f(x) C[a,b], que la integral de
Riemann de g existe en [a,b] y que g(x) no
cambia de signo en [a,b]. Entonces existe
un nmero c en (a,b), tal que:

f ( x) g ( x)dx f (c) g ( x)dx

a

Cuando g(x)=1, el teorema corresponde

al valor promedio de la funcin f(x) en el
intervalo [a,b], como:

1 b
f (c )
f ( x)dx

a
ba

Aproximaciones y Errores En Anlisis Numrico

Aunque pueda parecer contradictorio, la mayor parte de las
tcnicas desarrolladas en el curso tienen la caracterstica de
poseer errores. En la prctica profesional los errores pueden
resultar costosos y en algunos casos catastrficos. Se
puede perder hasta la vida si una estructura llegara a fallar.
Uno de los dos errores ms comunes son los errores de
redondeo que se deben a que la computadora slo puede
representar cantidades con un nmero finito de dgitos. Otro
tipo de error son los errores de truncamiento que
representan la diferencia entre la formulacin matemtica
exacta de un problema y la aproximacin dada por un
mtodo numrico. Hay otros tipos de errores como errores
por equivocacin, errores en la formulacin de modelos y la
incertidumbre en la obtencin de datos, entre otros.

Cifras Significativas
Cuado se emplea un nmero en un clculo, debe haber
seguridad de que puede usarse con confianza. El concepto
de cifra o dgitos significativos se ha desarrollado para
designar formalmente la confiabilidad de un valor numrico.
Los ceros no siempre son cifras significativas, ya que pueden
usarse slo para ubicar el punto decimal. Los nmeros
0.00001845 y 0.001845 tienen cuatro cifras significativas. En
forma similar, cuando se incluye ceros en nmeros muy
grandes, no es claro cuntos son significativos. Por ejemplo,
en el valor nominal, 45300 puede tener tres, cuatro o cinco
dgitos significativos, dependiendo si los ceros se conocen
con exactitud. La incertidumbre se puede desechar usando la
notacin cientfica en donde 4.53104, 4.530104, 4.5300104
muestran que el nmero tiene tres, cuatro y cinco cifras
significativas.

El concepto de cifras significativas tiene dos implicaciones

importantes en el estudio de los mtodos numricos:
Como los mtodos numricos obtienen resultados
aproximados, se debe desarrollar criterios para especificar
qu tan precisos son los resultados obtenidos. Una
manera de hacerlo es en trminos de cifras significativas.
Por ejemplo, se puede decidir que la aproximacin es
aceptable para cuatro cifras significativas.
Algunas cantidades tales como: y e no se pueden
expresar exactamente con un nmero de dgitos. Por
ejemplo, = 3.141592653589793238462643..., y debido a
que las computadoras retienen solo un nmero finito de
cifras significativas, tales nmeros jams se podrn
representar con exactitud. A la omisin del resto de cifras
significativas se le conoce como error de redondeo.

Exactitud y Precisin

Los errores asociados con los clculos y medidas se pueden

caracterizar observando su exactitud y precisin. La
exactitud se refiere a qu tan cercano estn el valor
calculado o medido con el valor verdadero. La precisin se
refiere a qu tan cercano est un valor individual medido o
calculado con respecto a otros. La inexactitud (sesgo) se
define como un alejamiento sistemtico de la verdad. La
imprecisin (incertidumbre), se refiere a la magnitud del
esparcimiento de los datos.
Los mtodos numricos deben ser lo suficientemente exactos
o sin sesgos para que cumplan los requisitos de un problema
particular de ingeniera. Tambin deben ser lo suficientemente
precisos para el diseo en la ingeniera. En el curso se usa el
trmino error para representar la inexactitud y la impresin de
las predicciones.

Definiciones de Error
Los errores numricos surgen con el uso de aproximaciones
para representar las operaciones y cantidades matemticas.
Pueden ser: errores de truncamiento que resultan de
representar aproximadamente un procedimiento matemtico
exacto y errores de redondeo que se producen cuando los
nmeros tienen un lmite de cifras significativas que se usan
para representar nmeros exactos. Para los dos tipos de
errores, la relacin entre el resultado exacto o verdadero y el
aproximado est dada por:
Valor verdadero = aproximacin + error
De aqu se encuentra que:
E = error = Valor verdadero - aproximacin

Un defecto en esta definicin es que no toma en

consideracin el orden de magnitud del valor que se esta
probando. Por ejemplo un error de 1 centmetro es mucho
ms significativo si se mide una ventana que un puente. Una
manera de medir las magnitudes de las cantidades que se
esta evaluando es normalizar el error respecto al valor
verdadero, como:
error verd adero
Error relativo
valor verd adero

E
e
100 %
valor verd adero

Ejemplo: La medicin de la longitud de un puente se da

9999 cm. Si la medida verdadera es 10000 cm, calcular:
a) el error verdadero y b) el error relativo.
Solucin: Error en la medicin: E = 10000 9999 = 1 cm
1
100 % 0.01 %
El error relativo para el puente es: e
10000

Errores de Redondeo
Los errores de redondeo se originan debido a que la
computadora puede guardar un nmero fijo de cifras
significativas durante el clculo; adems, porque las
computadoras usan una representacin en base dos, y no
pueden representar ciertamente nmeros exactos en base
diez. Esta discrepancia por la omisin de cifras
significativas es llamada error de redondeo.

Numricamente los errores de redondeo se relacionan de

manera directa con la forma en que se guardan en la
memoria de la computadora. La unidad fundamental por la
cual se representa la informacin se llama palabra. Esto es
una entidad que consiste en una cadena de dgitos
binarios o bits. Los nmeros son tpicamente guardados en
uno o ms conjuntos.

Errores de Truncamiento y la Serie de Taylor

El error de truncamiento se debe a las aproximaciones
utilizadas en la frmula matemtica del modelo. La serie
de Taylor es el medio ms importante que se emplea para
obtener modelos numricos y analizar los errores de
truncamiento.
Las soluciones numricas son, en su mayora,
aproximaciones de las soluciones exactas. Gran parte de
los mtodos numricos se basan en la aproximacin de
funciones por medio de polinomios, an cuando esto no
sea evidente. Se construyen algoritmos ms avanzados
ligando los algoritmos bsicos. Por lo tanto, cuando se
objeta el error de un mtodo numrico, hay que investigar
la precisin con la que el polinomio aproxima la funcin
verdadera.

El desarrollo de Taylor, que es una serie infinita de

potencias, representa de manera exacta a una funcin
dentro de un cierto radio alrededor de un punto dado. Por
lo tanto, mediante la comparacin del desarrollo polinomial
de la solucin numrica con la serie de Taylor de la
solucin exacta, particularmente al descubrir el orden en
donde aparece la discrepancia, es posible evaluar el error,
el cual se conoce como error de truncamiento.
Tambin se usa la serie de Taylor para obtener mtodos
numricos. Si se ignoran todos los nmeros de la serie de
Taylor, excepto algunos, se puede obtener un polinomio
que se aproxime a la funcin verdadera. A este polinomio
se le llama una serie de Taylor truncada y se usa como
punto de partida para obtener mtodos numricos. Sin
embargo, el error del mtodo numrico se origina en el
truncamiento.

Se dice que una funcin f(x) es analtica o continua en

x = a, s f(x) se puede representar por medio de una
serie de potencias en trminos de h = x a dentro de
un radio de convergencia, D>|xa|>0. Una condicin
necesaria para que una funcin sea analtica es que
todas sus derivadas sean continuas tanto en x = a,
como en alguna vecindad alrededor de ese punto.
Un punto en donde una funcin f(x) no es analtica
recibe el nombre de punto singular. Si f(x) es
diferenciable en todas partes en la vecindad de xo
excepto en xo, entonces xo es un punto singular. Por
ejemplo, tan(x) es analtica excepto en x = (n+1/2) ;
n = 0, 1, 2,..., los cuales son puntos singulares. Los
polinomios son analticos en todas partes.

Si f es analtica alrededor de x = a, se puede representar

f(x) de manera exacta en la vecindad de x = a por medio de
su serie de Taylor, que es una serie de potencias dada por:
h2
h3
h4
h5
h m m
f ( x) f a hf ' a f ' ' a f ' ' ' a f ' ' ' ' a f ' ' ' ' ' a . ... f a ....
2!
3!
4!
5!
m!

donde: h = x a. Por ejemplo, los desarrollos de Taylor de,

e-x y sen(x), alrededor de x = 1 son, respectivamente:
e

h 2 1 h 3 1 h 4 1
e he
e e
e ...
2!
3!
4!
1

h2
h3
h4
Sen( x) sen(1) h cos(1)
sen(1) cos(1)
sen(1) ...
2!
3!
4!

donde: h = x 1. La serie de Taylor es nica. Esto quiere

decir que no existe otra serie de potencias en h = x a
para representar f(x).

El desarrollo de Taylor de una funcin alrededor de x = 0

recibe el nombre de serie de Maclaurin. A continuacin se
presentan las siguientes series de Taylor:
2
3
4
x
x
x
ex 1 x

...
2! 3! 4!

-<x<

x3 x5 x7
sen( x) x

...
3! 5! 7!

-<x<

x2 x4 x6
cos( x) 1 ...
2! 4! 6!

-<x<

x2 x3 x4
ln( x 1) x

...
2
3
4

-1 < x < 0 0 x 1

1
1 x x 2 x 3 ...
1 x
( x 1) 2 ( x 1) 3 ( x 1) 4
ln( x) ( x 1)

...
2
3
4

-1<x<1
0<x2

Para cada caso, la serie converge en el intervalo dado.

Ejemplo 1: Para x = 1.1, calcular ln(x) en los primeros 5 trminos de la serie

Solucin:

0.1 0.001 0.0001 0.00001

ln( 1.1) 0.1

0.0953103333 ...
2
3
4
5

Valor es correcto hasta el sexto decimal.

Ejemplo 2: Determinar la serie de Taylor de la funcin: f(x) = 3x5 - 2x4 + 15x3

+ 13x2 - 12x 5; en x=2
Solucin: Para determinar los coeficientes de la serie, se requiere los valores
numricos de f (k) (2) para k = 0, 1, 2, 3, ..

f(x) = 3x5 - 2x4 + 15x3 + 13x2 - 12x 5

f(x) = 15x4 - 8x3 + 45x2 + 26x - 12
f(x) = 60x3 - 24x2 + 90x + 26
f(x) = 180x2 - 48x + 90
f iv(x) = 360x - 48
fv(x) = 360
f(k)(x) = 0
para k 6

f (2) = 207
f (2) = 396
f (2) = 590
f (2) = 714
f iv (2) = 672
f v (2) = 360

h2
h3
h4 iv
h5 v
hk k
f ( x) f a hf ' a f ' ' a f ' ' ' a f a f a ... f a
2!
3!
4!
5!
m!
( x 2) 2
( x 2) 3
( x 2) 4
( x 2) 5
( x 2) 6
f ( x ) 207 396( x 2) 590
714
672
360
0
2!
3!
4!
5!
6!
f(x) 207 + 396(x -2) + 295(x-2)2 + 119(x - 2)3 + 28(x - 2)4 + 3(x - 2)5

En las aplicaciones prcticas, hay que truncar la serie de

Taylor despus de un trmino de cierto orden, ya que es
imposible incluir un nmero infinito de trminos. Si la serie de
Taylor se trunca despus del trmino de orden N, se expresa
como:
h2
h3
h4
h5
hN N
f ( x) f a hf ' a f ' ' a f ' ' ' a f ' ' ' ' a f ' ' ' ' ' a . ... f a Oh N 1
2!
3!
4!
5!
N!

donde h = x - a y O(hN+1) representa el error provocado por

el truncamiento de los trminos de orden N+1 y superiores.
El error global se puede expresar como:
N 1
h
O(h N 1 ) f ( N 1) (a h)
( N 1)!

puesto que no se puede calcular

con exactitud, es frecuente
aproximar el trmino de error
haciendo = 0
que es el trmino dominante de los
trminos truncados. Si N = 1, por
ejemplo, la serie de Taylor
truncada es
Si se incluye el efecto del error,
tambin se expresa como:

0 1

O( h

N 1

) f

( N 1)

h N 1
(a)
( N 1)!

f ( x) f (a) f (a)h,

h xa
f ( x) f (a) f (a)h 0(h 2 )
h2
O(h ) f (a h) ,
2
2

0 1