1.1 Importancia de los mtodos numricos. 1.2 Conceptos bsicos: cifra significativa, precisin, exactitud, incertidumbre y sesgo. 1.3 Tipos de errores. 1.4 Software de cmputo numrico. 1.5 Mtodos iterativos.
Instalar Matlab Competencia especfica de la unidad Comprender la importancia de los mtodos numricos. Conocer y manejar software de cmputo numrico. Criterios de evaluacin de la Unidad Establecimiento de Conclusiones: 40% Mapa conceptual: 30% Cuadro comparativo: 30%
Actividades de aprendizaje
Establecimiento de conclusiones: Realizar la bsqueda e identificacin de la importancia de los mtodos numricos.
Mapa conceptual: Investigar sobre tipos de errores y su aplicacin.
Cuadro comparativo: Elaborar un cuadro comparativo sobre el software de cmputo numrico.
Unidad 1. Introduccin a los mtodos numricos
1.1. Importancia de los mtodos numricos 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 razones: +No se adecan al modelo concreto. +Su aplicacin resulta excesivamente compleja. La solucin formal es tan complicada que hace imposible cualquier interpretacin posterior. Simplemente no existen 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 aproximadas que son siempre numrica. El importante esfuerzo 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 utilizacin de las tcnicas numricas en mbitos cada da ms diversos
Importancia de los Mtodos Numricos.
Los mtodos numricos son tcnicas mediante las cuales es posible formular problemas matemticos de tal forma que puedan resolverse usando operaciones aritmticas. El anlisis numrico trata de disear mtodos para aproximar de una manera eficiente las soluciones de problemas expresados matemticamente. El objetivo principal es encontrar soluciones aproximadas a problemas complejos utilizando slo las operaciones ms simples de la aritmtica. Se requiere de una secuencia de operaciones algebraicas y lgicas que producen la aproximacin al problema matemtico. Los mtodos numricos pueden ser aplicados para resolver procedimientos matemticos en: Clculo de derivadas, Integrales, Ecuaciones diferenciales, Operaciones con matrices.
1.2. Algunos conceptos bsicos: precisin, exactitud, cifra significativa, incertidumbre y sesgo. La precisin
La precisin se refiere a qu tan cercano est un valor individual medido o calculado respecto a los otros. Por ejemplo, los nmeros 2.1 y 2.10 de un clculo realizado implican un distinto nivel de precisin. La primera cifra sugiere que el clculo se realiz con una precisin de slo dcimas de unidad; la segunda cifra (2.10) se obtuvo con una mayor precisin porque se introdujo hasta centsimas. Por tanto, el empleo de ceros en un nmero tendr que ser manejado con cuidado y las implicaciones deben ser comprensibles.
Exactitud
Existen dos tipos de nmeros, los exactos y los aproximados. Los nmeros exactos son precisos al nmero exacto de cifras presentados, de la misma forma que sabemos que existen 12 manzanas en una docena y no 12.1.
Sin embargo, en los mtodos numricos obtienen resultados aproximados. Por lo tanto, se debe desarrollar criterios para especificar que tan precisos son los resultados obtenidos.
Cifras significativas
Es posible determinar la precisin de una lectura mediante el nmero de cifras significativas (dgitos) presentes.
Las cifras significativas son aquellos enteros (de 0 al 9) que pueden suponerse como precisos para los clculos se realice. El resultado de esto es que:
1) Todos los nmeros distintos de cero se consideran significativos. Por ejemplo el numero 376 tiene tres cifras significativas.
2) Los ceros los sern nicamente en ciertos casos. Por ejemplo, los ceros en el numero 1005 se consideran significativos debido a que definen el tamao del nmero y a que estn rodeados de nmeros distintos de ceros (el 1 y el 5). Sin embargo, para el nmero 0.064, los dos ceros no se consideran significativos debido a que solo se emplean para definir la ubicacin del punto decimal y no para la precisin de la lectura. Para el nmero 0.4020, el cero a la izquierda del punto decimal no es significativo, pero los otros dos ceros s lo son ya que definen la magnitud del nmero y la precisin de la cuarta posicin de la lectura.
Incertidumbre y sesgo.
Se le conoce como incertidumbre al grado de alejamiento entre s, a las diversas aproximaciones a un valor verdadero. Es por ello que la incertidumbre tambin se le conoce como imprecisin. Los mtodos numricos deben ser lo suficientemente exactos o sin sesgos (es decir, sin diferencia entre el valor esperado de un estimador y el verdadero valor) para que cumplan los requisitos de un problema particular de ingeniera.
CONCEPTOS Cifras significativas: Cuando se emplea un nmero en un clculo, debe haber seguridad de que pueda usarse con confianza. El concepto de cifras significativas tiene dos implicaciones importantes en el estudio de los mtodos numricos. 1.- Los mtodos numricos obtienen resultados aproximados. Por lo tanto, se debe desarrollar criterios para especificar que tan precisos son los resultados obtenidos. 2.- Aunque ciertos nmeros representan nmero especficos, no se pueden expresar exactamente con un nmero finito de cifras. Exactitud: Se refiere a que tan cercano est el valor calculado o medido del valor verdadero. Precisin: Se refiere a qu tan cercano est un valor individual medido o calculado respecto a los otros. Inexactitud: (conocida como sesgo) se define como un alejamiento sistemtico de la verdad a calcular. Imprecisin: Tambin se le conoce como incertidumbre. Se refiere al grado de alejamiento entre s, a las diversas aproximaciones a un valor verdadero.
1.3 Tipos de errores.
Los errores numricos se generan con el uso de aproximaciones para representar las operaciones y cantidades matemticas.
Errores de redondeo
Este tipo de errores se deben a que las computadoras solo guardan un nmero finito de cifras significativas durante un clculo. Por ejemplo: si solo se guardan siete cifras significativas, la computadora puede almacenar y usar p como p = 3.141 592 y generando un error de redondeo.
Esta tcnica de retener solo los primeros nmeros se le llamo "Truncamiento" en el ambiente de computacin de preferencia se le llamara de corte para distinguirlo de los errores de truncamiento discutidos. Un corte ignora los trminos restantes de la representacin decimal completa. Por ejemplo: el octavo numero significativo en este caso es 6. Por lo tanto p se representa de manera exacta como 3.141593 que como 3.141592 obtenido mediante un corte, ya que el valor esta mas cercano del valor verdadero. Esto se puede visualizar de la siguiente forma: si p se aproxima por p = 3.141593, el error de redondeo se reduce a; Eu = 0.000 000 035........
Errores de truncamiento
Los errores de truncamiento son aquellos que resultan al usar una aproximacin en lugar de un procedimiento matemtico exacto.
dv = D u = u(t-1) v(t)
dt D t t-1 - t
Se introdujo un error de truncamiento en la solucin numrica ya que la ecuacin de diferencias solo se aproxima el valor verdadero de la derivada.
Error numrico total
El error numrico total es la suma de los errores de redondeo y de truncamiento. (Los errores de truncamiento decrecen conforme l numero de clculos aumenta, por lo que se encara el siguiente problema: la estrategia de disminuir un componente del error total lleva al incremento del otro).
Errores por equivocacin, de planteamiento o incertidumbre en los datos
En los primeros aos de la computacin, los resultados numricos errneos fueron atribuidos algunas veces al mal funcionamiento de la computadora misma. Hoy en da, esta fuente de error es muy improbable y la mayor parte de las equivocaciones se pueden atribuir a errores humanos.
Errores de formulacin
Los errores de formulacin o de modelamiento degeneran en lo que se podra considerar como un modelo matemtico incompleto. Un ejemplo de un error de formulacin imperceptible es el hecho de que la segunda Ley de Newton no explica los efectos relativistas.
Errores Inherentes a los Mtodos Numricos.
Un error es una incertidumbre en el resultado de una medida. Se define como la diferencia entre el valor real y una aproximacin a este valor.
Error de redondeo Se originan al realizar los clculos que todo mtodo numrico o analtico requieren y son debidos a la imposibilidad de tomar todas las cifras que resultan de operaciones aritmticas como los productos y los cocientes, teniendo que retener en cada operacin el nmero de cifras que permita el instrumento de clculo que se est utilizando.
Error por Truncamiento Existen muchos procesos que requieren la ejecucin de un nmero infinito de instrucciones para hallar la solucin exacta de un determinado problema. Puesto que es totalmente imposible realizar infinitas instrucciones, el proceso debe truncarse. En consecuencia, no se halla la solucin exacta que se pretenda encontrar, sino una aproximacin a la misma.
Error Numrico Total Se entiende como la suma de los errores de redondeo y truncamiento introducidos en el clculo.
Errores Humanos Son los errores por negligencia o equivocacin. Actualmente las computadoras son muy exactas y el error es atribuido a los hombres. Los errores humanos son inevitables pero se pueden minimizar.
Error inherente En ocasiones, los datos que se inician los clculos contienen un cierto error debido a que se han obtenido mediante la medida experimental de una determinada magnitud fsica.
Error Absoluto El error absoluto no es negativo. Es una coleccin (suma) de errores. Debido a que si un nmero y su parte fraccionario conformada por un conjunto de dgitos infinita requieren ser representada numricamente es su forma aproximada es donde se presenta este tipo de error.
Error relativo Es el error absoluto dividido entre un nmero positivo adecuado. Generalmente, el divisor es una de tres elecciones: la magnitud del valor exacto, la magnitud del valor calculado (o redondeado) o el promedio de estas dos cantidades.
Errores Inherentes al uso de las Computadoras.
a) Suma de nmeros muy distintos en magnitud
Vamos a suponer que se trata de sumar 0.002 a 600 en la computadora decimal imaginaria.
0.002 = .2000 x 10-2
600 = .600 x 103
Estos nmeros normalizados no pueden sumarse directamente y, por tanto, la computadora debe desnormalizarlos antes de efectuar la suma.
b) Resta de nmeros casi iguales
Supngase que la computadora decimal va a restar 0.2144 de 0.2145.
.2144 x 100 - .2145 x 100 = .0001 x 100
Como la mantisa de la respuesta esta desnormalizada, la computadora automticamente la normaliza y el resultado se almacena como .100 x 10 -3.
Hasta aqu no hay error, pero en la respuesta hay un error significativo; por tanto, se sugiere no confiar en su exactitud, ya que un pequeo error en alguno de los nmeros originales producira un error relativo muy grande en la respuesta de un problema que involucra este error.
c) Overflow y Underflow
Con frecuencia una operacin aritmtica con dos nmeros validos da como resultado un nmero tan grande o tan pequeo que la computadora no puede manejarlo ya que esta sin duda tiene un lmite; como consecuencia se produce un overflow o un underflow, respectivamente.
Por ejemplo, al multiplicar 0.5000 x 104 por 0.2000 x 109 se tiene.
0.5000 x 104 x 0.2000 x 109 = 0.1000 x 1017
Cada uno de los nmeros que se multiplican pueden guardarse en la palabra de la computadora imaginaria; sin embargo, su producto es muy grande y no puede almacenarse por que la caracterstica requiere tres dgitos. Entonces se dice que se ha llevado a cabo un overflow.
Las computadoras por lo general reportan estas circunstancias con un mensaje que vara dependiendo de cada mquina. El underflow puede aparecer en una multiplicacin o una divisin al igual que el overflow.
d) Divisin entre un nmero muy pequeo
La divisin entre un nmero muy pequeo puede causar overflow.
Supngase que se realiza en la computadora una divisin valida y que no se comete error alguno en la operacin; pero considrese que ocurri un pequeo error de redondeo previamente en el programa, cuando se calcul el denominador. Si el numerado es grande y el denominador pequeo, puede presentarse un error absoluto considerable en el cociente. Si este se resta despus, de otro nmero del mismo tamao relativo, puede presentarse un error mayor en la respuesta final.
e) Error de discretizacion
Dado que un numero especifico no se puede almacenar exactamente como un numero binario de punto flotante, el error generado se conoce como error de discretizacion (error de cuantificacin), ya que los nmeros expresados exactamente por la maquina(nmeros maquina) no forma un conjunto continuo sino discreto.
f) Errores de salida
Aun cuando no se hay cometido error alguno durante la fase de clculos de un programa, puede presentarse un error al imprimir resultados.
1.4 Software de cmputo numrico
Muchos problemas de cmputo en ingeniera pueden ser divididos en pedazos de clculos bien conocidos, como solucin de sistemas de ecuaciones lineales, transformada rpida de Fourier, etc. Por consecuencia, frecuentemente el programador slo tiene que escribir una rutina pequea (driver) para el problema particular que tenga, porque el software para resolver las subtareas se encuentra ya disponible. De esta forma la gente no tiene que realizar el problema una y otra vez. Para lgebra lineal y algunos otros cmputos numricos bsicos hay software de calidad gratis (a travs de Netlib).
NETLIB
Netlib (NET LIBrary) es una coleccin grande de software, documentos, bases de datos gratis que son de inters para las comunidades cientficas y de mtodos numricos. El depsito es mantenido por los Laboratorios Bell de AT&T, la Universidad de Tennessee y el Laboratorio Nacional Oak Ridge, y replicado en varios sitios alrededor del mundo.
Netlib contiene software de alta calidad que ha sido probado en forma intensiva, pero todo el software libre no tiene garanta y tiene poco soporte. Para poder usar el software, primero se tiene que descargar en su computadora y entonces compilarlo.
PAQUETES DE SOFTWARE COMERCIAL PARA CMPUTO NUMRICO GENERAL:
NAG El Grupo de Algoritmos numricos (Numerical Algorithms Group) (NAG) ha desarrollado una biblioteca de Fortran conteniendo alrededor de 1000 subrutinas accesibles al usuario para resolver problemas generales de matemticas aplicadas, incluyendo: ecuaciones diferenciales ordinarias y parciales, transformada rpida de Fourier, cuadratura, lgebra lineal, ecuaciones no lineales, ecuaciones integrales, y ms.
IMSL La biblioteca numrica de Fortran IMSL hecha por Visual Numerics, Inc. cubre muchas de las reas contenidas en la biblioteca NAG. Tambin tiene soporte para analizar y presentar datos estadsticos en aplicaciones cientficas y de negocios.
NUMERICAL RECIPES Los libros de Numerical Recipes in C/Fortran son muy populares entre los ingenieros porque pueden ser usados como libro de cocina donde se puede encontrar una "receta (recipe)" para resolver algn problema a mano. Sin embargo, el software correspondiente de Numerical Recipes no es comparable en alcance o calidad al dado por NAG o IMSL. Es un software muy usado en universidades, centros de investigacin y por ingenieros. En los ltimos aos ha incluido muchas ms capacidades, como la de programar directamente procesadores digitales de seal, crear cdigo VHDL y otras.
MATLAB Es un programa de clculo numrico, orientado a matrices y vectores. Por tanto desde el principio hay que pensar que todo lo que se pretenda hacer con l, ser mucho ms rpido y efectivo si se piensa en trminos de matrices y vectores.
GNU OCTAVE Es un programa libre para realizar clculos numricos. Como indica su nombre es parte de proyecto GNU. MATLAB es considerado su equivalente comercial. Entre varias caractersticas que comparten se puede destacar que ambos ofrecen un intrprete permitiendo ejecutar rdenes en modo interactivo. Ntese que Octave no es un sistema de lgebra computacional como podra ser GNU Mxima, sino que usa un lenguaje que est orientado al anlisis numrico.
Netlib
Netlib (NET LI Brary) es una coleccin grande de software, documentos, bases de datos gratis que son de interes para las comunidades cientficas y de mtodos numricos. El depsito es mantenido por los Laboratorios Bell de AT&T, la Universidad de Tennessee y el Laboratorio Nacional Oak Ridge, y replicado en varios sitios alrededor del mundo.
Netlib contiene software de alta calidad que ha sido probado en forma intensiva, pero todo el software libre no tiene garanta y poco (si existe) soporte. Para poder usar el software, primero se tiene que descargar en su computadora y entonces compilarlo.
Paquetes de software comercial para cmputo numrico general:
NAG
El Grupo de Algoritmos numricos (Numerical Algorithms Group) (NAG) ha desarrollado una biblioteca de Fortran conteniendo alrededor de 1000 subrutinas accesibles al usuario para resolver problemas generales de matemticas aplicadas, incluyendo: ecuaciones diferenciales ordinarias y parciales, transformada rpida de Fourier, cuadratura, lgebra lineal, ecuaciones no lineales, ecuaciones integrales, y ms.
IMSL
La biblioteca numrica de Fortran IMSL hecha por Visual Numerics, Inc. cubre muchas de las reas contenidas en la biblioteca NAG. Tambin tiene soporte para analizar y presentar datos estadsticos en aplicaciones cientficas y de negocios.
NUMERICAL RECIPES
Los libros de Numerical Recipes in C/Fortran son muy populares entre los ingenieros porque pueden ser usados como libro de cocina donde se puede encontrar una receta (recipe) para resolver algn problema a mano. Sin embargo, el software correspondiente de Numerical Recipes no es comparable en alcance o calidad al dado por NAG o IMSL. Es un software muy usado en universidades, centros de investigacin y por ingenieros. En los ltimos aos ha incluido muchas ms capacidades, como la de programar directamente procesadores digitales de seal, crear cdigo VHDL y otras.
MATLAB
Es un programa de clculo numrico, orientado a matrices y vectores. Por tanto desde el principio hay que pensar que todo lo que se pretenda hacer con l, ser mucho ms rpido y efectivo si se piensa en trminos de matrices y vectores.
GNU OCTAVE
Es un programa libre para realizar clculos numricos. Como indica su nombre es parte de proyecto GNU. MATLAB es considerado su equivalente comercial. Entre varias caractersticas que comparten se puede destacar que ambos ofrecen un intrprete permitiendo ejecutar rdenes en modo interactivo. Ntese que Octave no es un sistema de lgebra computacional como podra ser GNU Mxima, sino que usa un lenguaje que est orientado al anlisis numrico.
1.5 Mtodos iterativos
El mtodo de Gauss y sus variantes se conocen con el nombre de mtodos directos: se ejecutan a travs de un nmero finito de pasos y dan lugar a una solucin que sera exacta si no fuese por los errores de redondeo.
Por 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 aproximada con cierto grado de precisin especificado de antemano o despus de cierto nmero de iteraciones. Los mtodos indirectos son casi siempre iterativos: para obtener la sucesin mencionada se utiliza repetidamente un proceso sencillo.
Un mtodo iterativo trata de resolver un problema (como una ecuacin o un sistema de ecuaciones) mediante aproximaciones sucesivas a la solucin, empezando desde una estimacin inicial. Esta aproximacin contrasta con los mtodos directos, que tratan de resolver el problema de una sola vez (como resolver un sistema de ecuaciones Ax=b encontrando la inversa de la matriz A). Los mtodos iterativos son tiles para resolver problemas que involucran un nmero grande de variables (a veces del orden de millones), donde los mtodos directos tendran un coste prohibitivo incluso con la potencia del mejor computador disponible.