Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Capítulo 1 - Errores de Redondeo y Estabilidad PDF

    Cargado por

    Diego Guisasola
    64 vistas21 páginas

    Título original

    Capítulo 1 - Errores de redondeo y estabilidad.pdf

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    64 vistas21 páginas

    Capítulo 1 - Errores de Redondeo y Estabilidad PDF

    Cargado por

    Diego Guisasola

    Copyright:

    © All Rights Reserved
    Descargue como PDF o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 21
    CAPITULO 1. ERRORES DE REDONDEO Y ESTABILIDAD INTRODUCCION ‘Al momento de aplicar las Matematicas a situaciones del mundo real nos encontramos a menudo con problemas que no pueden ser resueltos analiticamente o de manera exacta y cuya solucién debe ser abordada con ayuda de algin procedimiento numérico, A continuacién consideramos algunos problemas tipicos, ya formulados matematicamente, para los cuales estudiaremos técnicas numéricas de solucién. Problema 1.1 Encontra el érea de la regién comprendida entre las gréficas de y= 2senx, y=e* con xe[O.n]. + Problema 1.2 Encontrar las raices de la ecuacién polinémica x8 41x! 21% 10x? 21-5 =0 Problema 1.3 Resolver los siguientes sistemas de ecuaciones: a) El sistema lineal AX=b con 2-4 0 0 0 3 42-100 2 o-4+ 2-1 0 b=| 2 oo4 24 2 0004 2 1 'b) El sistema no-lineal xy? axty-y? <4 Problema 1.4 Dada la siguiente tabla de datos correspondiente a una cierta funcién y= (x) 0 1 2 3 TABLA 1.1 encontrar el polinomio de menor grado que pase a través de los puntos dados. CCual sera una estimacién para los valores (x) correspondientes a x By X=157 @ Problema 1.5 Hallar el valor de cada una de las siguientes integrales: 2 érovos numénicos > jee w fot ta js of ‘x (eliptica) © Jina J 2 Problema 1.6 Resolver el problema de valor inicial do do £2, 9. se seno= ae at ene (0) =, e(0)=0 En relacién con los problemas anteriores, tenemos que: En el problema 1.1, es necesario determinar los puntos de interseccién de las gréficas de y=2senx y y=e™, para lo cual debemos resolver la ecuacién 2senx=e™ y no disponemos de un método algebraico para hacerlo. En el problema 1.2, se trata de hallar los ceros de un polinomio de grado 5 y, como sabemos, sélo se conacen métodos algebraicos para encontrar raices de ecuaciones polinémicas de grado menor 0 igual que 4 En el problema 1.3, tenemos dos sistemas de ecuaciones: El de la parte a) es lineal y conocemos métodos de solucién (por ejemplo, el método de eliminacién Gaussiana), sin embargo, para sistemas de tamafio mayor, no sélo es conveniente sino necesario implementar tales métodos a través del computador (método numérico). En la parte b) tenemos un sistema no-lineal y no conocemos métodos algebraicos generales para resolverlo, EI problema 1.4 se puede resolver analiticamente (por interpolacién), sin embargo para determinar los coeficientes de dichos polinomios existen técnicas que permiten encontrarlos répidamente y que pueden implementarse en el computador, EI problema 1.5, corresponde a integrales definidas cuyo integrando tiene antiderivada que no es elemental Finalmente, en el problema 1.6, la ecuacién diferencial ordinaria 8, 8 spsand=0 (cc de movin en pnd) i 8 novlineal (por la presencia de send) y no disponemos de un método analitico para resolverla (Capitulo 1. ERRORES OE REDONDEO YESTABILIDAD 3 Los problemas anteriores sirven como motivacién para el estudio de cinco grandes temas en un primer curso de métodos numéricos: solucién numérica de una ecuacién no-lineal en una variable, solucién numérica de sistemas de ecuaciones lineales y noslineales, interpolacién polinomial, integracién numérica y solucién numérica de problemas de valor inicial para ecuaciones diferenciales ordinarias, Qué es un método numérico? Un método numérico es un procedimiento mediante el cual se obtiene, casi siempre de manera aproximada, la solucién de clertos problemas realizando célculos puramente aritméticos y légicos (operaciones aritméticas elementales, calculo de funciones, consulta de una tabla de valores, cdlculo proposicional, etc.). Un tal procedimiento consiste de una lista ita de instrucciones precisas que especifican una secuencia de operaciones algebraicas y légicas (algoritmo), que producen o bien una aproximacién de la solucién del problema (solucién numérica) o bien un mensaje. La eficiencia en el calculo de dicha aproximacién depende, en parte, de la facilidad de implementacién del algoritmo y de las caracteristicas ‘especiales y limitaciones de los instrumentos de célculo (los computadores). En general, al ‘emplear estos instrumentos de célculo se introducen erroras llamados de redondeo. 1.4 ARITMETICA FINITA Siendo los computadores la herramienta basica en los métodos numéricos es conveniente indicar cémo son los niimeros del computador y cémo se simula su aritmética, La mayoria de los computadores usan sélo un subconjunto finito, relativamente pequefio, de los numeros reales para representar a "todos" los nlimeros reales; este conjunto, que sdlo ccontiene numeros racionales y que describiremos mas adelante, es llamado conjunto de numeros de punto flotante © conjunto de nimeros de maquina en punto flotante 0 simplemente conjunto de punto flotante. Cada ntimero del computador se representa mediante un ntimero finito de digitos (aritmética finita), segtin se indica a continuacién: Un numero del computador 0 de punto flotante, distinto de cero, se describe matematicamente en la forma 9x (.a;82.-.8:), xB forma en la cual los s{mbolos que alll aparecen, tienen el siguiente significado: 6 = +10 6=-1 0s el signo del nmero. B e5 un entero que denota la base del sistema numérico usado. Por lo general 8 =2 (Sistema Binario), B= (Sistema Octal)o B=16 (Sistema Hexadecimal) a, .t , e8 un entero con 0Fy }. se le llama region de overflow o sobrefiujo, y en algunos computadores si un niimero real cae en esta regién, el ntimero es redondeado al numero de punto flotante mas cercano (F, , —F,) 0 Se Informa del fenémeno overflow. ‘Se define como rango del conjunto F, al conjunto Ry = {xe Rix=0 0 F, <|x|5) Capitulo 1. ERRORES OE REDONDEO YESTABILIDAD 9 b) x =3:141592683...(rracional) = (3141892653...) 10" (forma decimal normalizada) Entonces (.31415)x10', cortando Als) (21416) 10', redondeando ¢) x=~123456789 (racional) 123456789) «10° (forma decimal normalizada) Entonces -(412845)x10°, cortando A(x) = -(412346)x10°, redondeando 4) y =.0000213475 (racional) = (213475) x10 (forma decimal normalizada) Entonces ((21347)x10-*, cortando Aly) = (21348)x10-, redondeando «) 2-2 -.6666666... (aciona, periscico) = (6666666...) 10° (forma decimal normalizada) Entonces (.6666)<10°, cortando A(z)= (.66667)x10°, redondeando ‘Como medir los errores de redondeo? Hay varias formas acostumbradas para medir errores de aproximacién; algunas de ellas se dan en la siguiente definici6n, 10 érovos numénicos Definicién 1.1 Sea x° una aproximacién de un numero real x. El error de x" con xox bel respecto ax es ¢=x-x'; el error absoluto de x con respecto ax es E. error relativo de x° con respecto ax, x#0, es Er - También se define el error porcentual de x" con respecto a x, como Erx100 y se expresa en porcentaje (‘4). Un caso particular de aproximacién de un nimero x es cuando x° = f(x), y se tiene E=|x-m()| y & #0 Ya vimos que el error de redondeo puede depender del tamario del niimero, pues los ‘ntimeros de punto flotante no estan distribuidos de manera uniforme en la recta real; desde este punto de vista el error relativo es una mejor medida del error de redondeo que el error absoluto, Estimemos la menor cola superior para el error relativo cuando un nimero real x+0 es aproximado por su representante de punto flotante, fix), en una aritmética decimal de t- digitos. Sea .8,92..8,8..) 10" ,n algtin entero, tun ndmero real positive cualquiera en forma decimal normalizada Si f(x) se obtiene por redondeo, tenemos: a) Si 0 Sot = 5x10 4 Capitulo 1. ERRORES DE REDONDEO YESTABIUDAD 11 b) Si 5 100..00 posicién t+ De a) yb) se tiene que si x#0, xe Re flle)se obtiene por redondeo, entonces y 5x10" es la menor cota superior para el error relativo, Observe, en el trabajo anterior, que E=| xx) [<5 10%" ‘Se puede verficar que si f(x) se obtiene por cortado, entonces Er= < 10x10 =10"", y ft) E=|x=f(x) | 1010" Ejemplo 1.2 Encuentre el error absoluto y el error relative de x’ con respecto a x, en cada uno de los siguientes casos: a) x=(50)«10?, x’ =(51)x10®. Entonces 42 merovos numEnicos | (5) 10? ~(51) 10? |=|-(01) x 10? |=(4) x10" =10 1 (x10 50 (2)x10"" = 02= 2% b) x=(50)x 10°, x° =(51)x10. Entonces =(01)x10° =(4)x10 = .00001 _(axt0 (xt at a = 02=2% ©) x= (50)x10°, x =(54)x 10°. Entonces = (01) 10° = (4)x10° = 10000 (xt at ep- We 4 gna B)x10" (8)x10" 60 Este ejemplo nos muestra que el error relativo es invariante al cambio de escala y se usa ‘como una medida de precisién o cercanta. Teniendo en cuenta la menor cota superior para el error relativo usando redondeo, se define al concepto de cifras significativas. Definicién 1.2 Se dice que el nimero x’ aproxima con sus primeros t-digitos o cifras significativas al numero x#0, sites el mayor entero no negativo para el cual Los tdigitos significativos, a que se refiere esta definicion, son los primeros t-digitos en la mantisa de x" cuando x’ se escribe en forma decimal normalizada, V De acuerdo con la definicén anterior, si x° = f(x) en una aritmética de punto flotante decimal con redondeo a t-igitos, entonces (x) aproxima a x con t cifras signficativas, es decir, todos los digitos en la mantisa de fi) son significativos con respecto a x También se define el concepto de elfras decimales exactas, como sigue: Definicién 1.3 Se dice que ef numero x" aproxima con sus primeras k-cifras decimales exactas al numero x, sik es el mayor entero no negativo tal que Capitulo 1. ERRORES DE REDONDEO YESTABIIDAD 13 sxto-* Las k cifras decimales exactas, a que se refiere esta definicién, son las primeras k cifras contadas a partir del punto decimal en x’, cuando x° se escribe en forma decimal. ¥ Los dos conceptos anteriores pueden aparecer definidos de manera distinta en otros textos. ‘Aqui se usardn las definiciones dadas. Ejemplo 1.3 Si x= .003451 y x’ = .003348,, entonces 000103 < .0005 = 5x10" < 5x10" <5x10? <5x10" 00005 <|x-x| asi que k-3. es el mayor entero no negativo tal que |.00345+-.003348 |< 5x 10 Luego .003348 aproxima a .003451 con sus tres primeras cifras decimales exactas, que son en este caso 0, 0y 3. Observe que si y= 28.003451 y y* = 2.003348, entonces .00005<|y=y' |= 900109. 9005= 5x10" «8x10 «8x10? «5x10" ynuevamente, y" aproxima a y con sus primeras tres cifras decimales exactas, que son, por supuesto, 0, 0y 3 Ahora, el error relative de x’ con respecto a x es _ 000103 _ 200103 =.029... <.05 = 5x10? 1000.05. Interceptando las dos soluciones se obtiene que x" debe estar en (999.5, 999.95] (1000.05, 1000.5) + 1.3 PERDIDA DE CIFRAS SIGNIFICATIVAS Sean x= 43574628 y y= 43574781. Si usamos aritmética (de punto flotante) decimal con redondeo a 6 digitos, entonces los representantes de x y y son filx)= 435746 , Aly) = 436748 Se sabe que fi(x) y f(y) aproximan a x e y, respectivamente, con todas sus seis cifras significativas (Verifiquelo), Ahora, x-y=-183%10 = 45310 x Gy=All) -My)) = (435746435748) = 12010" H{-2%10°)=-2010° Capitulo 1. ERRORES DE REDONDEO YESTABIIDAD 15 por tanto el error relative de xy con respecto a x-y es Luego xy aproxima al valor exacto xy con inicamente una cif significativa (1), ast que hubo pérdida de § cifras signficatvas (f(x), f(y) tenian cada uno 6 cifras significativas con respecto a x. y, respectivamente); lo anterior sugiere que en un coputador debe evitarse la resta de numeros "casi iguales". Como ejercicio, revise en el mismo ejemplo, qué pasa con las operaciones ®, ® y ©. Ejemplo 1.6 Encontrar las raices de la ecuacién cuadratica x? -400.2x+80=0 usando la férmula usual y aritmética decimal con redondeo a 4 digites. De acuerdo con la férmula usual, las rafces son 4002 + \(400.2)* ~320 2 _ 400.2 (400.2)* - 320 x > yx ‘Si hacemos los célculos para x, y x2, usando aritmética decimal con redondeo a 4 digitos, obtenemos 400.2 + v460200—320 _ 4002+ 1159800 _4002+999 8004 449, 2 2 2 2 320 _ 400.2 159900 400. Como las raices exactas de la ecuacién son x; =400.0 y xp= 2, entonces x} es una aproximacién precisa (a 4 digitos) de x,, mientras que *2 es una aproximacién muy pobre de x; (Jnicamente tiene una cira significativa con respecto a x.) La deficiencia en la estimacién de x, se debe a que los niimeros 400.2 y (400.2)* - 320 ‘son nimeras muy cercanos entre si (en una aritmética finita con redondeo a 4 digitos). En este caso se consigue una aproximacién mas exacta para x, aumentando la precision de la aritmética o “racionalizando el numerador’. Si racionalizamos el numerador, es decir, si hacemos 16 mérovos numEnicos (400.2) -320 4002+,|(400.2)° - 320 160 2 400.2+,\(4002)"-320 400.2+ \(400.2)° -320 2 c =80 =, donde ¢ os el término constante en la ecuacién 400.2 + 4(400.2)" - 320 bx+¢=0, obtenemos 22 2000 x 4004 que coincide con el valor exacto de x,, en este caso. Cémo resolveria la ecuacién x? +400.2x +80 = 0, usando aritmética decimal con redondeo a cuatro digitos, si quiere intentar evitar la pérdida de cifras significativas en el calculo de las, raices? + Capitulo 1. ERRORES DE REDONDEO YESTABIIDAD 17 1.4 ESTABILIDAD DE UN ALGORITMO El ejemplo 1.6 anterior, muestra como un algoritmo mal concebido puede conducir a una respuesta defectuosa de un problema perfectamente bien planteado. La deficiencia fue corregida cambiando ol algoritmo, Cuando al aplicar un algoritmo para resolver un problema, el efecto acumulativo de los ‘errores, incluyendo errores de redondeo, es limitado de modo que se genera un resultado util, el algoritmo se dice estable; en caso contrario, es decir, cuando los errores crecen de manera incontrolada de modo que se genera una respuesta defectuosa al problema, el algoritmo se dice inestabl Ejemplo 1.7 Supongamos que queremos calcular Una forma de proceder para estos calculos es como se indica a continuacién: Usando integracién por partes con u= x" y dv=e""dx, tenemos que =f es decir, |, =1-nly, n=234, (irracional) 18 merovos numEnicos Usando aritmética (de punto flotante) decimal con redondeo a 6 digitos y la férmula de recurrencia |, = 1-nl,, , obtenemos l= 367879=1;, ly = 264242=13, |, = 207274= |g = 145480 =15, |g = 127120=15, ly ~ 110160 =| Ig = 0684800 = = 170904 =1;, i. y= 118720- Es claro que el valor 0684800 (ly) es incorrecto, pues x"e"“' es continua y positiva sobre el intervalo (01). Qué causé este resultado? Observe que tinicamente hay error de 1 redondeo en el célculo de |, donde = fue redondeado a 6 digitos significativos. Como la formula de recurrencia obtenida en la integracién por partes es exacta para la aritmética real, entonces no hay error de férmula y asi el error en ly es debido en su totalidad al error de redondeo en |. Elerrorinicial fue © =4412x107 Alcalcular |, , tenemos entonces |, Ahora, Capitulo 1. ERRORES DE REDONDEO YESTABIIDAD 19 asi que ly -I5 =(-2)(-3)€ Allegar al célculo de ly, obtenemos + (-2\-3)..(-9) es decir, (2)3)..C9)e=9'e De donde 1p =I = 362880(4.412x10-7)= 160102656 El valor de |, , con por lo menos 4 cifras decimales exactas, es ,0684800+.160102656 - .091622656 Observe que el error absoluto, debido a los célculos, crece a medida que n aumenta, y es mucho mas grande que el valor real (en valor absoluto) que se est aproximando (se puede ver que sic es el error inicial, entonces el error después de nm pasos es =(-)"nte, y lim Lin [en |=, |(-a)""nte|= 40; miontras que 0>1, y trabajamos hacia atrés, cualquier error inicial o errores de redondeo que ocurran estardn decreciendo en cada paso. Este es un ejemplo de algoritmo estable. Para obtener un valor ini notemos que Jeerers| Por lo tanto I, > cuando n> + 20 merovos numEnicos Por ejemplo, si aproximamos lp por 0 y usamos el valor 0 como un valor inicial, entonces 1 1 cometemos un error inci ¢ tal que 0 <€< 25 este error es mulipicado por 55 al calcular lig A81 que el error en el célculo de ly , que es 3 €, eS tal que R | 14 20° * 202i Procediendo de la manera anterior, el error en el calculo de hs es tal que eit to .41 4 At AA asexto®

    También podría gustarte