ANALISIS NUMERICOS

Conceptos En Que Se Basan Los Mtodos Numricos, Importancia De Utilizar Mtodos Numricos: Los mtodos numricos nos vuelven aptos para entender esquemas numricos a fin de resolver problemas matemticos, de ingeniera y cientficos en una computadora, reducir esquemas numricos bsicos, escribir programas y resolverlos en una computadora y usar correctamente el software existente para dichos mtodos y no solo aumenta nuestra habilidad para el uso de computadoras sino que tambin amplia la pericia matemtica y la comprensi6n de los principios cientficos bsicos. stos mtodos son adecuados para la solucin de problemas comunes de ingeniera, ciencias y administracin, utilizando computadoras electrnicas. Los mtodos numricos pueden ser aplicados para resolver procedimientos matemticos en: Clculo de derivadas Integrales cuaciones diferenciales Operaciones con matrices Interpolaciones Ajuste de curvas Polinomios

Definicin de Anlisis Numrico El anlisis numrico o clculo numrico es la rama de las matemticas que se encarga de disear algoritmos para, a travs de nmeros y reglas matemticas simples, simular procesos matemticos ms complejos aplicados a procesos del mundo real. El anlisis numrico cobra especial importancia con la llegada de los ordenadores. Los ordenadores son tiles para clculos matemticos

extremadamente complejos, pero en ltima instancia operan con nmeros binarios y operaciones matemticas simples. Desde este punto de vista, el anlisis numrico proporcionar todo el andamiaje necesario para llevar a cabo todos aquellos procedimientos matemticos susceptibles de expresarse algortmicamente, basndose en algoritmos que permitan su simulacin o clculo en procesos ms sencillos empleando nmeros. Definido el error, junto con el error admisible, pasamos al concepto de estabilidad de los algoritmos. Muchas de las operaciones matemticas pueden llevarse adelante a travs de la generacin de una serie de nmeros que a su vez alimentan de nuevo el algoritmo (feedback). Esto proporciona un poder de clculo y refinamiento importantsimo a la mquina que a medida que va completando un ciclo va llegando a la solucin. El problema ocurre en determinar hasta cundo deber continuar con el ciclo, o si nos estamos alejando de la solucin del problema. Finalmente, otro concepto paralelo al anlisis numrico es el de

la representacin, tanto de los nmeros como de otros conceptos matemticos como los vectores, polinomios, etc. Por ejemplo, para la representacin en ordenadores de nmeros reales, se emplea el concepto de coma flotante que dista mucho del empleado por la matemtica convencional.

En general, estos mtodos se aplican cuando se necesita un valor numrico como solucin a un problema matemtico, y los procedimientos "exactos" o "analticos" (manipulaciones algebraicas, teora de ecuaciones diferenciales, mtodos de integracin, etc.) son incapaces de dar una respuesta. Debido a ello, son procedimientos de uso frecuente por fsicos .

Nmeros de Mquinas Decimales Marvin Minsky define de los nmeros que se van a calcular ms o menos como lo hizo all por 1936 Alan Turing, como "una secuencia de dgitos interpretada como fracciones decimales" entre 0 y 1: "Un nmero computable [es] aqul para el que hay una mquina de Turing que, dado n en su cinta inicial, termina con el n-simo digito de ese nmero [codificado en esa cinta]." (Minsky 1967:159) Las claves de esta definicin son: (1) se especifica n al principio, y (2) el clculo tiene un nmero finito de pasos para cualquier n, despus del cual la mquina produce el resultado deseado y termina. Una forma diferente de decir (2) podra ser que la mquina escribe sucesivamente todos los dgitos en la cinta y para con el n-simo dgito, y esta definicin de enfatiza la observacin da una de Minsky: (3) lo utilizando que es

una Mquina

Turing se

definicin finita de

potencialmente una cadena infinita de dgitos decimales. Aun as, esta no es la definicin formal y moderna, que nicamente requiere que el resultadeo sea preciso dado cualquier grado de precisin. La definicin informal est sujeta a un problema de redondeo mientras que la moderna no. Definicin formal Un nmero real a es computable si se puede dar una aproximacin de l mediante una funcin computable de la siguiente forma: dado

cualquier nmero entero que:

, la funcin produce un nmero entero k tal

Hay dos definiciones similares que son equivalentes:

Existe una funcin computable que, dado cualquier mrgen de error , produce un nmero racional r tal que

Existe una secuencia computable de nmeros racionales convergen en tal que para cada i.

que

Existe an otra definicin de nmeros computables mediante cortaduras de Dedekind. Una cortadura de Dadekind computable es una funcin computable devuelve condiciones: que, proporcionado un nmero racional como entrada,

, y cumplen las siguientes

Un ejemplo puede ser un programa D que define la raz cbica de 3. Asumiendo se define:

Definicin de Nmero Mquina Decimal "Son aquellos nmeros cuya representacin viene dada de la siguiente forma: 0,d1 d2 d3 ... dk x 10 n, 1 d1 9, 1 dk 9 para cada i=2, 3, 4, ..., k"; De lo antes descrito, se indica que las maxicomputadoras IBM (mainframes) tienen aproximadamente k= 6 y 78 n 76.

Errores Absolutos y Relativos Error Absoluto Error que se determina al dividir el error absoluto entre el valor verdadero. Se puede expresar en porcentaje, partes por mil o partes por milln. Error Relativo Errores que afectan la precisin de una medicin. Ocasiona que los datos se distribuyan ms o menos con simetras alrededor de un valor promedio. (Se refleja por su grado de precisin).

Cota de Errores Absolutos y Relativos Normalmente no se conoce p y, por tanto, tampoco se conocer el error absoluto (ni el relativo) de tomar p* como una aproximacin de p. Se pretende encontrar cotas superiores de esos errores. Cuanto ms pequeas sean esas cotas superiores, mejor. Sea f una funcin derivable en I,[a, b] I, P la solucin exacta de la ecuacin f(x)=0 y Pn una aproximacin a P. Supongamos |f (x)| m > 0, " x [a, b], donde Pn, P [a, b]. Entonces: Esto nos da una cota del error al tomar una aproximacin de la solucin exacta, conociendo una cota inferior del valor absoluto de la derivada. Algunas veces, en la prctica, la exactitud de una raz aproximada Pn se estima en funcin de cmo satisfaga f(Pn) = 0; es decir si el nmero |f(Pn)| es pequeo, se considera entonces Pn una buena aproximacin de P; pero si |f(Pn)| es grande, entonces Pn no se considera como una buena aproximacin de la solucin exacta P.

Fuentes Bsicas de Errores En general, para cualquier tipo de error, la relacin entre el nmero exacta y el obtenido por aproximacin se define como: El Error de Truncamiento El Error de Redondeo Error = Valor real -valor estimado En ocasiones, se sabr exactamente el valor del error, que

denotaremos como Ev, o deberemos estimar un error aproximado. Ahora, para definir la magnitud del error, o que incidencia tiene en el clculo el error detectado, podemos normalizar su valor : Ea = Error relativo (fraccin) = error estimado I valor verdadero Errores De Una Suma Y Una Resta En esta seccin estudiamos el problema de sumar y restar muchos nmeros en la computadora. Como cada suma introduce un error, proporcional al epsilon de la mquina, queremos ver como estos errores se acumulan durante el proceso. El anlisis que presentamos generaliza al problema del clculo de productos interiores. En la prctica muchas computadoras realizarn operaciones aritmticas en registros especiales que ms bits que los nmeros de mquinas usuales. Estabilidad e Inestabilidad En el subcampo matemtico del anlisis numrico, la estabilidad numrica es una propiedad de los algoritmos numricos. Describe cmo los errores en los datos de entrada se propagan a travs del algoritmo. En un mtodo estable, los errores debidos a las aproximaciones se atenan a medida que la computacin procede. En un mtodo inestable, cualquier error en el procesamiento se

magnifica

conforme

el

clculo

procede.

Mtodos

inestables

generan

rpidamente basura y son intiles para el procesamiento numrico. La estabilidad numrica de un mtodo junto con el nmero

condicin (en:condition number) define cun buen resultado podemos obtener usando mtodos aproximados para calcular cierto problema matemtico. Condicionamiento Las palabras condicin y condicionamiento se usan de manera informal para indicar cuan sensible es la solucin de un problema respecto de pequeos cambios relativos en los datos de entrada. Un problema est mal condicionado si pequeos cambios en los datos pueden dar lugar a grandes cambios en las respuestas. Para ciertos tipos de problemas se puede definir un nmero de condicin: "Un nmero condicionado puede definirse como la razn de los errores relativos". Si el nmero de condicin es grande significa que se tiene un problema mal condicionado; se debe tomar en cuenta que para cada caso se establece un nmero de condicin, es decir para la evaluacin de una funcin se asocia un nmero condicionado, para la solucin de sistemas de ecuaciones lineales se establece otro tipo de nmero de condicin; el nmero condicionado proporciona una medida de hasta qu punto la incertidumbre aumenta.

De: Mauricio varela