Métodos Numéricos: Ejercicios resueltos

Transcripción

1 Métodos Numéricos: Ejercicios resueltos Tema 6: Resolución aproximada de sistemas de ecuaciones lineales Francisco Palacios Escuela Politécnica Superior de Ingeniería de Manresa Universidad Politécnica de Cataluña Abril 008 versión Ejercicio Consideramos el sistema ½ x 5x 0x x 8 Formula el método de iterativo correspondiente a la matriz µ 0 5 N 0 0 Estudia la convergencia Calcula las 4 primeras iteraciones a partir del vector inicial µ x (0) 0 0 y determina una cota superior de error 4 Calcula la solución exacta y verifica los resultados () Método à µ 5 A 0 µ N µ 0 0 M x (j) x (j)! µ µ b 8 µ 0 P 0 c à x (j) x (j) () kmk 04 < el método es convergente () µ x () µ µ µ x () µ 0 8 4! µ µ 04 08

2 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales µ µ x () µ µ x (4) µ µ µ µ Cota superior de error Si usamos la cota en j pasos no podemos asegurar ningún decimal exacto e (4) (04) Si usamos la cota en un paso e (4) kmk ē (4) kmk resulta e (4) (04) en este caso podemos asegurar un decimal exacto (4) Solución exacta µ α error e (4) µ µ Ejercicio Consideramos el sistema ½ 0x x 4 x 0x FormulaelmétododeJacobi Estudia la convergencia Calcula las 4 primeras iteraciones a partir del vector inicial µ x (0) 0 0 ydeterminaunacotasuperiordeerror 4 Calcula la solución exacta y verifica los resultados () Matriz del método N A µ 0 0 µ µ 4 b µ 0 P 0

3 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales Método à x (j) x (j) M! µ µ µ 07 c à x (j) x (j) () kmk 0 el método es convergente () µ x () 07 x () x () µ µ µ µ ! µ µ µ µ x (4) µ µ 07 µ 07 µ 0 0 µ 07 µ Cota superior de error Si usamos la cota en j pasos e (4) (0) podemos asegurar decimales exactos (4) Solución exacta µ α Error µ e (4) µ Ejercicio Consideramos el sistema ½ 0x x 4 x 0x FormulaelmétododeGauss-Seidel Estudia la convergencia Calcula las 4 primeras iteraciones a partir del vector inicial µ x (0) 0 0 y determina una cota superior de error

4 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 4 4 Calcula la solución exacta y verifica los resultados () Matriz del método Método à x (j) x (j) M! µ 0 0 N 0 c µ µ à x (j) x (j) µ 07! µ 07 0 () kmk 0 el método es convergente () µ x () 07 0 µ µ µ µ x () µ µ µ µ x () Vector de error estimado x (4) ē (4) µ µ Cota superior de error si usamos la cota en j pasos e (4) (0) obtenemos prácticamente el mismo resultado que en le método de Jacobi; podemos asegurar decimales exactos Si usamos la cota en un paso e (4) 0 ē (4) podemos asegurar 5 decimales exactos (4) Solución exacta error e (4) α µ µ µ µ

5 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 5 Ejercicio 4 Consideramos el sistema x x 0 4 x FormulaelmétododeJacobi Estudia la convergencia 4 Calcula el número de iteraciones necesarias para resolver el sistema con decimales exactos a partir del vector inicial x (0) ~0 4 Calculalasprimerasiteracionesydeterminaunacotadeerror 5 Calcula la solución exacta y verifica los resultados () Matriz del método N M c Método x (j) x (j) x (j) () kmk 04 < el método es convergente () A partir de la cota en j pasos tenemos x (j) x (j) x (j) e (j) (kmk )j ē () (04)j kmk ln j Necesitaríamos 9 iteraciones (4) x () µ (05 0 )(06) 075 ln (04) x ()

6 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 6 x () ē () ē () Cota superior de error si usamos la cota en j pasos e () (04) No podemos asegurar ningún decimal exacto Si usamos la cota en un paso e () 04 ē () mejoramos algo la cota y podemos asegurar decimal exacto (4) Resolvemos usando la regla de Cramer x 7 8 x 8 9 x 97 5 Solución exacta con 8 decimales α error e () Ejercicio 5 Consideramos el sistema x x 0 4 x Calcula la solución exacta con Maple Escribe un programa Maple que permita aplicar el método de Jacobi

7 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 7 Determina el número de iteraciones necesarias para aproximar la solución con 8 decimales exactos a partir del vector inicial x (0) ~0 4 Calcula la solución aproximada y verifica los resultados () y () ver resolución con Maple () En el ejercicio anterior hemos obtenido kmk 04 ē () 075 A partir de la cota en j pasos resulta e (j) (kmk )j ē () (04)j kmk ln j µ ( )(06) 075 ln (04) 05 Necesitamos iteraciones Para el resto del ejercicio ver Soluciones con Maple Ejercicio 6 Consideramos el sistema x x 0 4 x FormulaelmétododeGauss-Seidel Estudia la convergencia 4 Calcula el número de iteraciones necesarias para resolver el sistema con decimales exactos a partir del vector inicial x (0) ~0 4 Calcula las primeras iteraciones y calcula un cota superior de error 5 Calcula la solución exacta y verifica los resultados () Matriz del método N P N

8 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 8 Método x (j) x (j) x (j) M c x (j) x (j) x (j) () kmk 0 5 < el método es convergente () A partir de la cota en j pasos tenemos e (j) (kmk )j ē () (05)j kmk ln j µ (05 0 )(0875) 065 ln (05) 49 necesitaríamos 4 iteraciones (4) x () x () x () ē () 000 ē () Cota superior de error Si usamos la cota de j pasos e () (05) podemos asegurar dos decimales exactos Si usamos la cota de un paso e () 05 ē () vemos que podemos asegurar decimales exactos (4) Solución exacta con 8 decimales α

9 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 9 error e () Ejercicio 7 Consideramos el sistema x x 0 4 x Calcula la solución exacta con Maple 4 Escribe un programa Maple que permita aplicar el método de Gauss-Seidel Determina el número de iteraciones necesarias par aproximar la solución con 8 decimales exactos a partir del vector inicial x (0) ~0 4 Calcula la solución aproximada y verifica los resultados () A partir de la cota en j pasos tenemos e (j) (kmk )j ē () (05)j kmk ln j µ ( )(0875) 065 ln (05) necesitamos 0 iteraciones Para el resto del ejercicio ver Soluciones con Maple Ejercicio 8 Considera el siguiente sistema con un parámetro 4 a 4 x x 4 x Determina los valores de a para los que el método de Jacobi es convergente Determina los valores de a para los que el método de Gauss-Seidel es convergente Sea a resuelve el sistema por cada uno de los métodos con decimales exactos

10 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 0 (a) Método de Jacobi N P N / / /4 M N P / / / a a 0 0 kmk max{/4/4 a / /} Para que el método sea convergente exigimos que nos lleva a la condición kmk < /4/4 a < a < 0 a 0 0 es decir a ( ) (a) Método de Gauss-Seidel N a 4 0 P N M N a P a a a 6 ½ kmk max /4/4 a 6 6 a a ¾ 6 Para que el método sea convergente exigimos kmk <

11 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales en este caso obtenemos /4/4 a < 6 6 a 4 < a 6 < Ya hemos resuelto la primera inecuación resultando a ( ) Para la segunda obtenemos 6 6 a 4 < 6 a 4 < < 6 a 4 < 5 6 < 6 a < 9 6 < a < 9 Para la tercera obtenemos a 6 < 64 a 6 < < 64 a 6 < 6 64 < 57 a< < a < 9 Por lo tanto si a ( ) podemos asegurar que el método de Gauss-Seidel es convergente (c) Para a resulta el sistema x x x (c) Resolución por el método de Jacobi N P N / / / M N P c

12 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales kmk 05 Para decimales exactos exigimos e (j) (kmk )j ē () (05)j kmk ln j µ (05 0 )(05) 075 ln (05) En principio con iteraciones podemos asegurar los decimales exactos En este caso la cota en un paso es e (j) ē (j) ē (j) y por lo tanto el error estimado nos permite acotar directamente el error 0 5 x () x () ē () x () ē ()

13 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales x (4) ē (4) La precisión buscada se alcanza en 7 pasos (ver Resolución con Maple) (c) Resolución por el método de Gauss-Seidel N P N M N P c kmk 05 Para decimales exactos exigimos e (j) (kmk )j ē () (05)j kmk ln j µ (05 0 )(05) ln (05) 75 8 En principio con iteraciones podemos asegurar los decimales exactos También en este caso la cota en un paso es e (j) ē (j) ē (j) y por lo tanto el error estimado nos permite acotar directamente el error 0 5 x ()

14 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 4 x () ē () x () ē () x (4) ē (4) La precisión buscada se alcanza en 5 pasos (ver Resolución con Maple) Ejercicio 9 Sea A µ a a Queremos resolver el sistema Ax b iterativamente mediante la fórmula µ µ 0 x (n) 0 a x a 0 0 (n) b para qué valores de a podemos asegurar que el método converge?

15 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 5 Se trata del método de Gauss-Seidel La matriz que define el método es µ 0 N a M µ 0 a Si exigimos kmk < resulta y obtenemos a < µ N 0 a µ µ 0 a 0 a a kmk max ½ a < a < ³ a a Ejercicio 0 Dados los vectores α x e α x calcula: kαk kαk kαk kek kek kek () kαk 7 kαk kαk 4 () e kek 0 kek kek 005 Ejercicio Demuestra que kxk es una norma es decir que para todo x y R n y λ ~ R se cumple kxk 0 kxk 0si y solo si x ~0 kλ xk λ kxk 4 kx yk kxk kyk

16 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 6 Sea x x x x n y () kxk max{ x x x n } 0 () kxk 0si y solo si x j 0para toda j por lo tanto x 0 ()kλ xk max{ λx λx λx n } λ max{ x x x n } λ kxk (4) y y y n kx yk max{ x y x y x n y n } max{ x y x y x n y n } max{ x x x n } max{ y y y n } Ejercicio Dada la matriz y el vector M e (0) Verifica que se cumple kmk < Suponiendo que se cumple e (j) Me (j) calcula una cota superior para e (5) ; verifica el resultado () kmk 0 5 () Tendremos e (5) (kmk ) 5 e (0) (0 5) Si calculamos e (5) resulta e (5) e (5) Ejercicio Una matriz a a a n a a a n a n a n a nn es dominante diagonal estricta si para cada fila el valor absoluto del elemento de la diagonal es mayor que la suma de valores absolutos de los restantes elementos de la fila esto es a ii > a i ai(i ) ai(i) ain Sean A y B matrices de orden n con dominancia diagonal estricta

17 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 7 Es ( A) dominante diagonal estricta? Es A T dominante diagonal estricta? Es A B dominante diagonal estricta? () Sí en la definición de dominancia diagonal estricta se toma el valor absoluto de los elementos de la matriz por lo tanto el cambio de signo no afecta () No necesariamente tomemos como ejemplo la matriz A Esta matriz es dominante diagonal estricta pues 5 > 6 > 8 > 44 Sin embargo para A T tenemos 5 < 4 () No necesariamente al sumar pueden producirse cancelaciones en la diagonal Tomemos por ejemplo µ µ 5 5 A B 5 5 ambas matrices tienen dominancia diagonal estricta sin embargo µ 0 A B 0 no es dominante diagonal estricta Ejercicio 4 Consideramos el sistema lineal Ax b donde A es matriz cuadrada de orden n Demuestra que si A es de dominante diagonal estricta entonces el método de Jacobi es convergente (Por simplicidad resuelve el caso n )

18 Francisco Palacios Tema 6: Sistemas de ecuaciones lineales 8 Tomamos la matriz de coeficientes del sistema A a a a a a a a a a La matriz que define el método de Jacobi es N a a a Si la matriz A es dominante diagonal estricta los elementos a ii son no nulos y por lo tanto N es invertible N a a a P N A 0 a a a 0 a a a 0 M N a 0 0 P 0 a 0 0 a a a 0 a 0 0 a a a 0 0 a a a a a a 0 a a a a a a 0 µ a a kmk max a a a a a a a Si la matriz A es dominante diagonal estricta obtenemos kmk < y el método iterativo es convergente