modelos, computadoras y análisis del error 1 - modelos... · los métodos numéricos y la...

48
Clase 1 Modelos, computadoras y análisis del error

Upload: others

Post on 22-Feb-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Clase 1

Modelos, computadoras y análisis del error

Page 2: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Métodos numéricos

Técnicas que permiten resolver problemas matemáticos (de cierta complejidad) a través de (una gran cantidad de) operaciones aritméticas y lógicas.

Page 3: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución de problemas en IngenieríaProblema

FísicoModelo

Matemático

ProblemaMatemático

SoluciónAproximada

MétodosNuméricos

ProblemaMatemático

hipótesis

simplificaciones

solucionar

SoluciónExacta

Desventajas ● Problemas que no se pueden resolver

analíticamente ● Hipótesis simplificativas● Aplicable a clase limitada de problemas

(geometrías simples, problemas lineales, etc)

ValorPrácticoLimitado

MétodosGráficos

● Permiten resolver problemas complejos

● No son muy precisos● Son tediosos

cálculo manual

computadora

● Muy buenas aproximaciones● Rapidez● Resuelven problemas complejos

Page 4: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución de problemas en Ingeniería

Page 5: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Los métodos numéricos y la práctica en ingeniería

Razones por la que estudiar MN:● Los MN son herramientas muy poderosas para la solución

de problemas

● Dan los fundamentos del software 'enlatado'

● Permiten resolver problemas sin el uso de software 'enlatado'

● Permiten cuantificar y acotar los errores que producen las computadoras

● Ayudan a entender distintas ramas de la Matemática

Page 6: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Resumen

Page 7: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Resumen

Page 8: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Organización

Page 9: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Modelos matemáticos

Formulación (o ecuación) que expresa las características esenciales de un sistema físico:

variabledependiente

= f variablesindependientes

, parámetros , términosfuente

Page 10: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo: paracaidista

● Modelo matemático

F=ma

d vd t

=Fm

siendo

Es decir

F=F DFU

con

F D=m g ; FU=−c v

Page 11: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo: paracaidista

Reemplazando y reordenando,

d vd t

= g−cmv t

que es una ecuación diferencial ordinaria (EDO). Como se resuelve?:● Por métodos analíticos → Análisis Matemático● Por métodos numéricos

Page 12: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución analítica

Datos: m = 68.1 kg ; c = 12.5 kg/s

v t =g mc

1−e−cmt

t, s v m/s0 0.002 16.404 27.776 35.648 41.10

10 44.8712 47.49∞ 53.39

Page 13: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución numérica

Reemplazamos la derivada por el cociente incremental:

d vd t

≈ v t

=v t i1−v t i

t i1− t i

Reemplazando y reordenando:

v t i1=v t i [ g− cmv t i ] t i1− t i

Método de Euler

Page 14: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución numérica

Con los mismos datos,

● Para ti+1

= 2 s

● Para ti+1

= 4 s

v=0 [ 9.8− 12.568.10 ] 2=19.60m / s

v=19.60 [ 9.8− 12.568.119.60 ] 2=32.00m / s

t, s v m/s0 0.002 19.604 32.006 39.858 44.82

10 47.9712 49.96∞ 53.39

Page 15: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Leyes de conservación e ingeniería

Cambio = incremento – decremento

Si el problema es estacionario, cambio = 0 entonces

incremento = decremento

Ejemplo: flujo en tuberías (conservación de masa)

Page 16: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Leyes de conservación e ingeniería

Page 17: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Problemas 1.1 a 1.18 (p. 22)

Page 18: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Programación y software

Necesidad de realizar numerosos cálculos en forma rápida y eficiente

Dos paradigmas:● Planilla de cálculo● Programación estructurada: basada en las

estructuras de control:– Secuencia– Decisión– Repetición

Page 19: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Estructuras de control en GNUOctave

Repeticiónwhile condicion   Instruccion;endwhile

do   Instruccion;until condicion;

for variable = rango   Instruccion;endfor

for var=v_in:[paso:]v_fin   Instruccion;endfor

Decisiónif condicion   Instruccion;[else   Instrucción;]endif

switch expresion   case valor_1      Instruccion;   case valor_2      Instruccion;...   otherwise      Instruccion;endswitch

Page 20: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Programación y software

Ejemplo: resolver numéricamente el problema del paracaidista con un paso Δt = 0.1 s, para t entre 0 y 10 s. Comparar las soluciones numérica (aproximada) y analítica (exacta).

Page 21: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Solución

● Con planilla de cálculo: paracaidista.ods ● Con un programa en GNUOctave (MATLAB):

● Código: paracaidista.m

● Con un programa en Python:● Código: paracaidista.py

Problemas 2.1 a 2.20 (p. 48)

Page 22: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Errores numéricos

● De redondeo

Capacidad limitada de almacenamiento de las computadoras

● De truncamiento

Diferencia entre la formulación matemática exacta y la aproximación numérica

Page 23: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Cifras significativas

Las que pueden usarse en forma confiable: el número de dígitos certeros, más uno estimado

Page 24: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Exactitud y precisión

Exactitud: qué tan cercano está el valor calculado del verdadero

Precisión: qué tan cercanos se encuentran distintos valores calculados entre sí

Page 25: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Definiciones de error

Valor verdadero = valor aproximado + error

Et = valor verdadero – valor aproximado

Error relativo verdadero = error verdadero

valor verdadero

εt = error verdadero x 100%

valor verdadero

Page 26: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Definiciones de error● Si se desconoce el valor verdadero:

εa = error aproximado x 100%

valor aproximado

● En métodos iterativos:

εa = aprox. actual – aprox. anterior x 100%

aprox. actual

Las iteraciones siguen hasta que

Para asegurar n cifras significativas:∣ a∣ s Tolerancia porcentual

s=0.5×102−n

Page 27: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

Estimación del error con métodos iterativos

Expansión en serie de McLaurin de la función exponencial:

e x=1 xx2

2!x3

3!...

xn

n!

Estimar el valor de e0.5 con 3 cifras significativas

Page 28: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

Tolerancia porcentual

s=0.5×102−3%=0.05%

Cálculo: e_ala_05.ods

Cálculo: e_ala_05.py

Page 29: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Errores de redondeo

Cantidad limitada de cifras significativas en la computadora

Representación de los números en la computadora: palabra (secuencia de bits – 0's o 1's).

Sistema numérico binario

Page 30: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Notación posicional

Page 31: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Representación entera

Primer bit reservado para el signo

Ejemplo: almacenar el número -173 en una computadora de 16 bits

Page 32: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Punto flotante

m: mantisa ; b: base; e: exponente

Ejemplo: el número 156.78 se representa como

m⋅be ,1b≤m1

0.15678×103

Page 33: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

Determine un conjunto hipotético de números con punto flotante para una máquina que guarda información usando palabras de 7 bits.

Page 34: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

0111100 = (1x2­1+0x2­2+0x2­3)x2­3=(0.0625)10 

0111101 = (1x2­1+0x2­2+1x2­3)x2­3=(0.078125)10 

0111110 = (1x2­1+0x2­2+0x2­3)x2­3=(0.093750)10 

0111111 = (1x2­1+0x2­2+0x2­3)x2­3=(0.109375)10 

0110100 = (1x2­1+0x2­2+0x2­3)x2­2=(0.125000)10 

0110101 = (1x2­1+0x2­2+1x2­3)x2­2=(0.156250)10 

0110110 = (1x2­1+1x2­2+0x2­3)x2­2=(0.187500)10 

0110111 = (1x2­1+1x2­2+1x2­3)x2­2=(0.218750)10 

....0011111 = (1x2­1+1x2­2+1x2­3)x23=(7)

10 

Page 35: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

1) rango de cantidades limitado2) número finito de cantidades3) el error de cuantificación es proporcional a la magnitud del número representado

Page 36: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Épsilon de máquinaEs el menor número positivo de máquina tal que:

(el resultado no es redondeado)

menor valor que puede tener la mantisa

|Δ x|/|x|≤ε

● Para precisión doble: ε=2−52 ≈ 2,2204 .10−16

1,0+ε>1,0

Cálculo: epsilonPython.py

Se cumple:CORTE

Error relativo

REDONDEO|Δ x|/|x|≤ε/2

Page 37: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Manipulación aritmética

Ejemplo: sumar dos números en una computadora con mantisa de 4 dígitos y exponente de 1 dígito:

0.1557∙10¹ + 0.4381∙10­1 =

0.1557   ∙ 10¹0.004381 ∙ 10¹0.160081 ∙ 10¹ se trunca a 0.1600∙10¹

Page 38: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Ejemplo

● Sumar 1/10 10 millones de veces

Script en Python: suma_redondeo.py

● Ver ejemplos 3.7 y 3.8

Problemas 3.1 a 3.11

Page 39: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Errores de truncamiento

Se presentan al usar una aproximación en lugar de un procedimiento matemático exacto. Por ejemplo:

d vd t

≈ v t

=v t i1−v t i

t i1− t i

Page 40: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Serie de Taylor

Haciendo h = xi+1

- xi

f x i1= f x i f ' x i x i1− x i f ' ' x i

2! x i1− x i 2

f ' ' ' x i

3! x i1− x i 3...

f n x i

n! x i1− x i nRn

f x i1= f x i f ' x ihf ' ' x i

2!h2

f 3 x i

3!h3 ...

f n x i

n!hnRn

con

Rn=f n1

n1!hn1 , x i≤≤ x i1

Page 41: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Serie de Taylor

Aproximación de

Con xi = 0 y h = 1

f x =−0.1 x4−0.15 x 3−0.5 x 2−0.25 x1.2

Page 42: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Serie de Taylor

Aproximación de f x = x

Page 43: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Uso de la serie de Taylor para estimar los errores de truncamiento

Diferenciación numérica

Considerando la expansión de Taylor de orden 1,

Despejando y reemplazando,

Que también se puede escribir como

v t i1=v t i v ' t i hR1

v ' t i=v t i1−v t i t i1− t i

−R1h

=v t i1−v t it i1− t i

−v ' '

2!h2

h

f ' x i = f ih

O h

Diferencia finita dividida hacia adelante

Page 44: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Diferenciación numérica

Tomando -h = xi-1

– xi

Despejando,

Es decir,

f x i−1= f x i− f ' x ihf ' ' x i 2!

h2− ...

f ' x i =f x i− f x i−1

hf ' ' x i 2!

h− ...

f ' x i =∇ f ih

O h

Diferencia finita dividida hacia atrás

Page 45: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Diferenciación numérica

Restando miembro a miembro,

reordenando,

f x i−1= f x i− f ' x ihf ' ' x i 2!

h2−f ' ' ' x i3!

h3 ...

f x i1= f x i f ' x ihf ' ' x i 2!

h2f ' ' ' x i3!

h3 ...

f x i1− f x i−1=2 f ' x i h2f ' ' ' x i 3!

h3 ...

f ' x i =f x i1− f x i−1

2hO h2

Diferencia finita dividida centrada

Page 46: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Diferenciación numérica

Page 47: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Error numérico total

Es la suma de los errores de truncamiento y de redondeo

Page 48: Modelos, computadoras y análisis del error 1 - Modelos... · Los métodos numéricos y la práctica en ingeniería Razones por la que estudiar MN: Los MN son herramientas muy poderosas

Información importante