ANALISIS NUMERICO III TAREA 2

CLAUDIO GAETE O. INGENIER IA CIVIL MATEMATICA

Problema 5. Se considera nuevamente el problema lineal y (t) = y (t) + (1 )cost (1 + )sint, t > 0 y (0) = 1 (1)

La soluci on exacta del problema es y (t) = sint + cost. Resolver el problema (1) num erih camente utilizando el m etodo de Adams-Bashforth de segundo orden, poniendo y1 = y (h), para 0 = t 10, = 1, 10y 50, yh = 0,5, h = 0,1yh = 0,01. gracar los resultados num ericos para cada valor de junto con la soluci on exacta y comentar los resultados. Solucion Se crea una funcion utilizando el metodo de Adams-Bashforth que depende solo de = k y h, como Adams-Bashforth es un metodo de paso multiple, se calcula el valor que falta h = y (h) usando la soluci on exacta y1
function [ t , y]=adamsBas ( k , h ) t =0:h : 1 0 ; n=length ( t ) ; y (1)=1; y (2)= sin ( h)+ cos ( h ) ; f=i n l i n e ( k y+(1k ) c o s ( t ) (1+k ) s i n ( t ) ) ; for i =2:n1 y ( i +1)=y ( i )+h / 2 ( 3 f ( k , t ( i ) , y ( i )) f ( k , t ( i 1) , y ( i 1 ) ) ) ; end

Figura 1. = 1 1 4

Figura 2. = 10

Figura 3. = 50 Se obserba que para = 1 el metodo da una solucion bien aproximada,para todo h. para = 10 el metodo osila mucho para h = 5, pero para los demas h se aproxima bie. para = 50 los dos primeros valores de h la solucion osila, pero para h = 0,01 la solucion se aproxima bien.

Problema 6. Para la soluci on num erica de la ecuaci on y(t) = f(t,y(t)) se considera el m etodo num erico
h yn +1

h yn

h h h2 h h h + (n + n+1 ) + (n n +1 ), n 0, 2 12

f h f h h ) (tn , z )|z=yn ) + f (tn , yn ) + f (tn , yn (tn , yn h t y a) Demostrar que este m etodo es consistente del orden 4. b) Demostrar que este m etodo es A0 -estable. c) Aplicar el m etodo para resolver el problema de valores iniciales
h ), n = n = f (tn , yn

y = A( )y, 0 x 1, y (0) = (4, 2)T , donde denimos A( ) = 1 2 , 1 2

para = 20, = 5 y = 1, utilizando h = 0,5, h = 0,1 y h = 0,01. interpretar los resultados num ericos. Solucion

a) Se dene las funciones y = y (t) = (t) := f (t, y (t)) f (t, y (t)) f (t, y (t)) = := + f (t, y (t)) t y y tambien denimos y (t + h) y (t) (t) + (t + h) (t + h) (t) +h h 2 12 Para demostrar que es consistente del orden 4 vasta demostrar que (t, y (t); h) := (t, y (t); h) = O(h4 ) Aplicando la regla de la cadena y = y = . Aplicando el desarrollo de Taylor a cada funcion y (t + h) = y (t) + hy + h3 y h4 y (4) h2 y + + + O(h5 ) 2 6 24 h2 h3 + + O(h4 ) (t + h) = (t) + h + 2 6 h2 (t + h) = (t) + h + + O(h3 ) 2

Reordenando y (t + h) y (t) h h2 h3 =+ + + + O(h4 ) h 2 6 24 (t + h) + (t) h h2 h3 =+ + + + O(h4 ) 2 2 4 12 (t + h) (t) h2 h3 h = + + O(h4 ) 12 12 24 Sumando lo anterior (t, y (t); h) = O(h4 ) Por lo que es consistente orden 4 b) Aplicamos el test, para saber si es A0 estable hacemos f = f (t, y ) = y n = yn n = 2 y n luego tenemos
2 2 yn + yn+1 2 yn yn+1 +h yn+1 = yn + h 2 12 h 2 h2 h 2 h2 yi+1 1 + + = yi 1 + 2 12 2 12 obtenemos el polinomio de estabilidad z z2 z z2 , g1 (z ) = 1 + k = 1, g0 (z ) = 1 + + 2 12 2 12 el test dice 1

q {z C : Re(z ) < 0, im(z ) = 0}P (z ; q ) =

j =0

gj (q )z j = 0 |z | < 1

entonces 1 q q2 q q2 12 + 16q + q 2 12 + 16q + q 2 + z 1 + + =0 = z = |z | |z | < 1 2 12 2 12 12 6q + q 2 12 6q + q 2 verica la condicion e A0 -estable

c) Se crea una funcion utilizando el metodo anterior que depende solo de = k y h.

function [ t , y ] = metodo ( k , h ) t =0:h : 1 ; n=length ( t ) ; y = [ 4 ; 2]; % condiciones i n i c i a l e s A=[1 k 2; 1 2]; for i =1:n1 y ( : , i +1)=( eye (2) h/2 A+(h 2 / 1 2 ) A 2 ) \ ( y ( : , i )+(h / 2 ) A y ( : , i )+(h 2 / 1 2 ) A2 y ( : , i ) ) ; end

Figura 4. = 20 y h = 0,1

Figura 5. = 20 y h = 0,5 1 4

Figura 6. = 20 y h = 0,01

Figura 7. = 5 y h = 0,1

Figura 10. = 5 y h = 0,5

Figura 8. = 5 y h = 0,01

Figura 11. = 1 y h = 0,1

Figura 9. = 1 y h = 0,5

Figura 12. = 1 y h = 0,01

comentario: se puede observar que mientras mas chico el h, las gracas se van comprimiendo hacia una aproximacion de las funciones solucion completas de los problemas con dados. tambien se obserba que el primer h no entrega mucha observacion, ya que divide el intervalo a la mitad

Problema 7. Se considera el problema de valores de frontera y = (1 y ), 0 < x < 1; y (0) = y (1) = 0, con la soluc on exacta y (x) = x (2)

ex 1 . e 1 a) Resolver num ericamente el problema (2) utilizando el M etodo descrito en la secc on 3.2, considerando = 1, = 10 y = 50 y x = h = 0,1, h = 0,05 y h=0.1. Gracar la soluci on num erica. b) Para las soluciones num ericas obtenidas en (a), gracar tambi en los errores i := h yi y (xi ), donde xi = ih, i = 0, ..., 1/h. Interpretar los resultados.

Solucion. Creamos una funcion utilizando el m etodo de descrito en la secci on 3.2, que depende solo de = k y tama no de paso h.
function [ t , y , e ]=P7 ( k , h ) t =0:h : 1 ; n=length ( t ) ; f 1=1+h k / 2 ; f 2=1h k / 2 ; f 3=k h h ; A=2 eye ( n) f 2 diag ( o n e s ( n 1 ,1) ,1) f 1 diag ( o n e s ( n 1 ,1) , 1); A( 1 , 1 ) = 1 ; A( 1 , 2 ) = 0 ; A( n , n )=1; A( n , n 1)=0; b=f 3 o n e s ( n , 1 ) ; b(1)=0; b ( n )=0; y=A\ b ; t=t ; e x a c t a=t (exp ( k t ) 1)/( exp ( k ) 1); e=ye x a c t a ;

comentario: se puede observar que a medida que disminuye el h la solucion se aproxima mas a la exacta, y asi tambien disminuye el error

Figura 13. Soluci on

Figura 14. Error

Figura 15. Soluci on

Figura 16. Error

Figura 17. Soluci on

Figura 18. Error

Problema 8. Se considera el problema de valores iniciales y (t) = y (t) + t0,1 (1,1 + t), y (0) = 0, (3) con la solucion exacta y (t) = t1,1 . a) Resolver (3) sobre [0,5], gracando la soluci on y los errores en t = 1, 2, . . . , 5. Utilizar h = 0,1, h = 0,05, h = 0,025, h = 0,0125, h = 0,00625. Calcular las razones de reducci on del error cada ves que h es partido por la mitad. C omo se comparan los resultados don el orden de convergencia te orico O(h2 )? Trate de explicar los resultados. b) Qu e problema se precenta si uno trata de aplicar un m etodo de Taylor de orden 2 para resolver el problema de parte (a)? Qu e nos informa esto acerca de la soluci on num erica? Solucion. Creamos una funcion utilizando el metodo euler implicito, que depende solo de tama no de paso h.
function [ t , y , e ] = p8 ( h ) t =0:h : 5 ; n=length ( t ) ; y (1)=0; a =1; for i =1:n1 y ( i +1)=(y ( i )+h t ( i + 1 ) ( 0 . 1 ) ( 1 . 1 + t ( i +1)))/(1+ h ) ; i f t ( i )==1 | | t ( i )==2 | | t ( i )==3 | | t ( i )==4 e ( a)= abs ( t ( i ) ( 1 . 1 ) y ( i ) ) ; a=a +1; end end e (5)= abs ( t ( n ) ( 1 . 1 ) y ( n ) ) ;

Figura 19. soluciones

Figura 20. errores

Figura 21. rasones b) El problema por el cual Taylor de orden mayor o igual a 2, no funciona es por que la funcion f (x, t) = y + t0,1 + (1,1 + t) se indetermina, al momento de derivar con respecto a t en el punto inicial (t0 , y0 ) = (0, 0).

Problema 9. Se desea resolver num ericamente el problema de valores de frontera el ptico u = 54((3x 2)y (1 y ) x(1 x)2 ), (x, y ) G := (0, 1)2 u = 0, (x, y ) G. (4) a) Cu al es la soluci on exacta del problema? b) Discretizar (4) con (i) h = 0,02, (ii) h = 0,1 y (iii) h = 0,05 con la enumeraci on 10 6 9 . 3 5 8 .. 1 2 4 7 11 c) Determinar la soluci on num erica. Si necesario, resolver el sistema lineal iterativamente. d) Comparar con la soluci on exacta en cada caso. Los resultados num cos conrman que el m etodo es de segundo orden ? Solucion. a) La soluci on exacta al problema es u(x, y ) = 27x(1 x)2 y (1 y ), (x, y ) G = [0, 1]2 . En efecto, u satisface u = 54((3x 2)y (1 y ) x(1 x)2 ), y (x, y ) G := (0, 1)2 tenemos las funciones
function [ xe , ye , ze ,U]= po18 ( h ) [ xe , ye ]= meshgrid ( [ 0 : h : 1 ] ) ; z e =27 xe . (1 xe ) . 2 . ye . (1 ye ) ; n=1/h 1; x=[h : h:1 h ] ; y=x ; f=i n l i n e ( 5 4 ( ( 3 x 2). y . (1 y) x . (1 x ) . 2 ) , x , y ) ; [ A, S , P]= m a t r i d i s c r e ( h ) ; N=rot90 (P , 3 ) ; b=v e c t o r d i c r e ( f , h ) ; u=A\ b ; U=zeros ( n +2); Z=[]; for i =1:n f o r j =1:n Z ( i , j )=u (P( i , j ) ) ; end end U( 2 : n +1 ,2: n+1)=Z ; U=rot90 (U, 3 ) ; % U=U function [ xe , ye , ze ,U]= po18 ( h ) [ xe , ye ]= meshgrid ( [ 0 : h : 1 ] ) ;

z e =27 xe . (1 xe ) . 2 . ye . (1 ye ) ; n=1/h 1; x=[h : h:1 h ] ; y=x ; f=i n l i n e ( 5 4 ( ( 3 x 2). y . (1 y) x . (1 x ) . 2 ) , x , y ) ; [ A, S , P]= m a t r i d i s c r e ( h ) ; N=rot90 (P , 3 ) ; b=v e c t o r d i c r e ( f , h ) ; u=A\ b ; U=zeros ( n +2); Z=[]; for i =1:n f o r j =1:n Z ( i , j )=u (P( i , j ) ) ; end end U( 2 : n +1 ,2: n+1)=Z ; U=rot90 (U, 3 ) ; % U=U

Figura 22. h = 0,02 Se observa una tendencia de los errores a comportarse de forma cuadr atica, pues en cada caso forman una especie de campana

Figura 23. h = 0,1

Figura 24. 0,05