Introduccin al Clculo Numrico

Curso para el Postgrado de Estructuras de la Escuela de Ingeniera Civil Prof. Richard Espinoza Lpez Prof. Sebastin Medina Plascencia

Contenido
Introduccin.
Definiciones, problemas y mtodos del Clculo Numrico.

Representacin de nmeros en el computador.

Sistemas de Punto Fijo y de Punto Flotante. Errores absoluto y relativo. Prdida de dgitos significativos. Clculos estables e inestables, condicionamiento.

Orden de convergencia y conceptos bsicos.

Orden de convergencia. Notacin o() y O().

Bibliografa.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Introduccin
El Anlisis Numrico es el desarrollo y estudio de procedimientos para resolver numricamente problemas matemticos que representan o modelan una situacin del mundo real (un problema fsico). Los procedimientos de solucin se expresan en la forma de Mtodos Numricos y estos ltimos a su vez en algoritmos de clculo. Un algoritmo es un procedimiento sistemtico, a menudo iterativo, que resuelve un problema. Ejemplos:
El algoritmo de suma de fracciones racionales. El algoritmo para la determinacin de una longitud.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Introduccin
Los mtodos analticos proporcionan respuestas analticas en la forma de funciones que luego se evalan para casos especficos. El clculo numrico siempre proporciona respuestas numricas. Una ventaja es que puede calcularse la solucin de problemas que no tienen solucin analtica. Ejemplo:

1 + cos 2 ( x)

dx

que no tiene solucin analtica en forma cerrada; sin embargo su valor se puede calcular por mtodos de integracin numrica, usando operaciones elementales de suma, resta, multiplicacin, divisin y comparacin. Todas stas operaciones que realizan las computadoras.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Introduccin
El resultado del clculo numrico es siempre una aproximacin, aunque (en principio) los resultados pueden hacerse tan exactos como se quiera. Entre los problemas que enfrenta el analista numrico est determinar cul de varios mtodos que resuelven un problema es el ms eficiente, en el sentido de obtener la mayor exactitud posible con el menor esfuerzo computacional.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Introduccin
Algunos los problemas que trata tradicionalmente el anlisis numrico son:
Resolucin de las races de una o varias ecuaciones no lineales. Resolucin de grandes sistemas de ecuaciones lineales. Interpolacin para encontrar valores intermedios a unos tabulados. Encontrar aproximaciones de relaciones funcionales y de sus derivadas e integrales. Resolucin de sistemas de ecuaciones diferenciales ordinarias con valores iniciales o en la frontera. Obtencin de soluciones numricas de ecuaciones diferenciales parciales. Cualquier combinacin de los anteriores.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Cuando se realizan clculos numricos, existe la posibilidad de que los resultados se vean afectados por diversas fuentes y formas de error. Error por discretizacin o truncamiento: Es el error provocado por el mtodo en s mismo, por la conversin de procesos infinitos en finitos. Por ejemplo:

ex =
i =0

xi x 2 x3 x2 x3 = 1+ x + + +L 1+ x + + i! 2! 3! 2! 3!

Error de modelado: Depende de la afinidad del modelo con la situacin real que se quiere representar. Por ejemplo: al calcular un momento de inercia suponer toda la masa concentrada en un punto.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Error experimental (medicin): Al representar mediante un modelo matemtico una situacin fsica es necesario usar valores medidos con error o representados de forma imperfecta. Error por fallos: Los errores no sistemticos (ocasionales) que cometen los humanos. Por ejemplo: lectura errnea de un valor, escritura errnea de un dato. Error propagado: Es el error en los pasos sucesivos de un proceso debido a un error previo, es adicional a los otros errores; es similar a los errores en las condiciones iniciales.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Error de redondeo: Todos los dispositivos de clculo representan los nmeros reales con alguna imprecisin, debido a que se usan sistemas de punto flotante con longitud de palabra fija. Por ejemplo: se debe representar con un nmero finito de cifras decimales. Siempre que se necesite representar nmeros en el computador, es necesario adoptar alguna convencin acerca de cmo organizar la memoria del mismo para almacenar dichos nmeros. Existen dos convenciones principales: La de Punto Fijo y la de Punto Flotante.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Fijo.
Se representa cada nmero mediante el formato:

d1d 2 K d k .d k +1d k + 2 K d n
Cada dgito se representa en el sistema de numeracin de base propio del dispositivo de clculo (normalmente binario). El punto de fraccin y la cantidad de dgitos en la parte fraccionaria son fijos. La separacin entre representaciones de nmeros sucesivos (precisin) es fija: -(n-k) La cantidad total de nmeros distintos que se puede representar es: 2 n
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Flotante (spf):
Se representa cada nmero mediante el formato:

.d1d 2 d 3 K d p e
Cada dgito se representa en el sistema de numeracin de base propio del dispositivo de clculo (normalmente binario). La parte fraccionaria se denomina mantisa, es de longitud fija. El exponente tambin se representa como un nmero en el sistema de base , tambin de longitud fija.
= base del sistema (usualmente 2, 8, 10, 16).
p = nmero de dgitos significativos, es decir la precisin. e = exponente entero que vara entre emn y emx

Se suele representar el spf mediante la notacin

F(, p, emin , emax)
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Flotante.
La mayora de los spf son normalizados, lo que significa que para representar un nmero siempre se ajusta el exponente para que d1 sea distinto de cero (d1 0). El nmero cero se representa como un caso especial donde todos los dgitos y el exponente se hacen cero. Debido a que la cantidad de dgitos en la mantisa es fija, el total de nmeros que se pueden representar es finito, esto tambin implica que hay espacios vacos entre los nmeros.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Flotante.
Por ejemplo el spf normalizado F(2, 2, -2, 3), es capaz de representar a lo sumo 25 nmeros distintos.
3 16
01131 3 1 8482 4
3 2
Exponente -2 Mantisa 10 Mantisa 11 .102 2-2 .112 2-2

Exponente -1 .102 2-1 .112 2-1

Exponente 0 .102 20 .112 20

Exponente 1 .102 21 .112 21

Exponente 2 .102 22 .112 22

Exponente 3 .102 23 .112 23

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Flotante.
Adems, los nmeros reales 2.2 y 2.4 se representan como 2 en este sistema.
Cualquier nmero en el intervalo [2; 2.5) ser representado como 2. Los nmeros en [3.5 ; 5) se representan con 4. Cualquier nmero ms pequeo que 1/8 se tomar como 0.

En la memoria del computador se puede entender el spf como: dp e m e d1 d2

Memoria del computador

Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Sistemas de Punto Flotante.
El epsilon del spf es la diferencia ms pequea entre dos valores que se puede identificar en el sistema y determina la sensibilidad del spf. Su clculo se estandariza tomando el menor nmero del spf que, cuando se suma al uno (1) de punto flotante, produce un resultado diferente de uno. Por ejemplo en el sistema F(2, 2, -2, 3) es fcil ver que el epsilon vale , que es un valor bastante grande comparado con el menor nmero diferente de cero que se puede representar.
=
1 2

3 16
01131 8482
Marzo 2007

3 4

3 2

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Representacin de nmeros en el computador

Fuentes de error en los clculos.
Al operar con nmeros del spf los dgitos del nmero de menor exponente deben desplazarse para alinear los puntos de fraccin y el resultado debe normalizarse, por esta razn pueden perderse algunos dgitos significativos de alguno de los dos nmeros. Por ejemplo en el sistema F(10, 3, #, #), al calcular 3780 - 0.321 = .378 104 - .321 100 se deben alinear los puntos decimales, para eso se debe escribir - .321 100 = - .0000321 104 y obtenemos:

.378 10 4 .0000321 10 4 .3779679 10 4

Marzo 2007

se alinean los puntos

.377 10 4 truncamiento .378 10 4 redondeo

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Hay dos formas de expresar el tamao del error en los resultados de un clculo, el Error Absoluto y el Error Relativo.
Error absoluto. Sea x0 una aproximacin del valor exacto x, entonces: error absoluto: = (x) = |x x0| Se trata de una medida cuantitativa del error, mide aspticamente lo que dista la aproximacin x0 del valor exacto x. Error relativo. Sea x0 una aproximacin del valor exacto x, entonces: error relativo: e = e(x) = / |x| Se trata de una medida cualitativa del error, mide lo proporcionada que es la aproximacin x0 en relacin con la magnitud del valor exacto x.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Error absoluto y cifras decimales exactas.
Sea x0 una aproximacin del valor exacto x. Se dice que x0 aproxima a x con p cifras decimales exactas cuando 0.5 10-p Esto no quiere decir que las p primeras cifras decimales de x y x0 necesariamente coincidan: 1.9999 aproxima a 2 con sus cuatro cifras decimales exactas.

Propagacin del error absoluto.

Normalmente, en un proceso numrico se parte de una aproximacin x0 de un valor exacto x con idea de aplicar una cierta funcin f para aproximar el valor f(x) mediante f(x0). En este proceso, el error absoluto (x) se propaga a travs de cada clculo segn: (f (x)) = |f (x) f (x0)| |f '(x)| |(x)| |f '(x)||x x0|
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Error relativo y dgitos significativos.
Sea x0 una aproximacin del valor exacto x. Se dice que x0 tiene p dgitos significativos respecto del valor exacto x cuando 0.5 10-p En las mediciones cientficas es usualmente el error relativo el que resulta relevante. La informacin acerca del error absoluto es poco til si no se conoce la magnitud de la cantidad que se est midiendo. Por ejemplo, un error de slo un metro al medir la distancia entre dos ciudades es asombroso, sin embargo es inaceptable si medimos la altura de una persona.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Prdida de dgitos significativos.
Los errores de redondeo son muy difciles de controlar, pero se pueden controlar los errores de prdida de dgitos significativos que ocurren en los clculos por restar dos nmeros de punto flotante cercanos entre s. Siempre que se deba ajustar el punto de fraccin para normalizar un resultado, se aaden ceros en el lado derecho. Estos ceros carecen de sentido y no representan una exactitud adicional. Por ejemplo:
x-x = .3721478693 x-y = .3720230572 x-y =.0001248121
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Prdida de dgitos significativos.
Se debe evitar la sustraccin de cantidades casi iguales. Para esto el programador debe tomar las precauciones para que este caso no suceda inadvertidamente en los clculos. Por ejemplo: 2

y x +1 1

implica una cancelacin por sustraccin y prdida de dgitos significativos para valores de x pequeos. Cmo se evita este problema? Para los valores de x pequeos podemos representar la funcin mediante: x2 +1 +1 x2 = y = x 2 + 1 1 x2 +1 +1 x2 +1 +1 que no implica prdida de dgitos significativos.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Errores
Clculos estables e inestables.
Otro tema de frecuente aparicin en el anlisis numrico es la distincin entre los procesos numricos que son estables y los que no lo son. Un concepto muy relacionado es el de problema bien condicionado o mal condicionado. Un proceso numrico es inestable cuando los pequeos errores que se producen en alguna de sus etapas se agrandan en etapas posteriores y degradan la calidad de los resultados. Un problema est mal condicionado si pequeos cambios en los datos de entrada pueden dar lugar a grandes cambios en las respuestas.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Orden de convergencia y conceptos bsicos

Sucesiones y convergencia.
Muchos de los mtodos numricos generan sucesiones (de nmeros reales o de vectores) que convergen a la solucin del problema al que se aplican. Por ejemplo, el mtodo de Newton para el clculo de las races de una ecuacin, genera una sucesin de nmeros xn que, bajo condiciones bien definidas, converger a la solucin tal que f()=0. Es deseable conocer adems de la convergencia de la sucesin, la velocidad a la que lo hace, pues esto permite decidir entre los diferentes mtodos numricos aplicables a un problema particular. El concepto de orden de convergencia es una forma de medir la velocidad a la que converge una sucesin.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Orden de convergencia y conceptos bsicos

Orden de convergencia.
Lineal. Sea xn una sucesin de nmeros reales que tiende a un lmite x*, entonces el orden de convergencia de la sucesin hacia su lmite es lineal si existe una constante c < 1 y una entero N tales que

|xn+1 x*| c |xn x*| , para n N.

Cuadrtica. La convergencia es al menos cuadrtica si hay una constante C y un entero N tales que Cbica y mayor. En general si hay dos constantes C y y un entero N tales que

|xn+1 x*| C |xn x*|2 , para n N.

|xn+1 x*| C |xn x*| , para n N.

se dice que el orden de convergencia es al menos a.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Orden de convergencia y conceptos bsicos

Orden de convergencia.
Ejemplos.
Las sucesiones: 1/n, n/(n+1), 1/2n, convergen todas linealmente hacia sus respectivos lmites. La sucesin

2n

converge cuadrticamente hacia su lmite.

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Orden de convergencia y conceptos bsicos

Notacin de O mayscula.
Establece una forma de comparar dos sucesiones en cuanto a su convergencia y la velocidad a la que lo hacen. Para [xn] y [an] dos sucesiones distintas, se escribe

xn = O(an)
en caso que haya dos constantes C y r tales que

| xn | C | an | cuando n r.
Si an 0 para todo n, esto significa que |xn / an| permanece acotada para n .

Marzo 2007

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Orden de convergencia y conceptos bsicos

Notacin de o minscula.
Para [xn] y [an] dos sucesiones distintas, la ecuacin significa que

xn = o(an) lmn (xn / an) = 0

Ejemplos:

n +1 1 = O 2 n n n 1 1 k 1 1 = O ln 2 ( 1) k n k =1
Marzo 2007

ex

1 1 = o n ln n n 1 k 1 x = O k! n!

( x 1)

Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina

Bibliografa
C.F. Gerald y P.O. Wheatley: Anlisis Numrico con aplicaciones. Pearson Educacin (2000). (Libro texto del curso). D. Kincaid y W. Cheney: Anlisis numrico. AddisonWesley Iberoamericana (1994). R.L. Burden y J.D. Faires: Anlisis Numrico. International Thomson Editores (1998). S. Nakamura: Anlisis Numrico y Visualizacin Grfica con Matlab.
Marzo 2007 Introduccin al Clculo Numrico Richard Espinoza - Sebastin Medina