You are on page 1of 28

M´todo LDL T para resolver sistemas de e ecuaciones lineales de la forma Ax = b

Equipo: Estephany Texis Cuellar1 Hortensia Briones Gonz´lez1 a Pablo Ocotitla Cruz1
1 Facultad

de Ciencias B´sicas, Ingenier´ y Tecnolog´ a ıa ıa Universidad Aut´noma de Tlaxcala o

Licenciatura en Matem´ticas Aplicadas a

6 de mayo de 2011

Contenido
1 2

Planteamiento del problema Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o Descomponer el sistema Ax = b en tres nuevos sistemas
1: Lz = b 2. Ds = z 3. L T x = s

3 4 5 6

Algoritmo Ejemplos N´mero de Operaciones del m´todo u e Bibliograf´ ıa
M´todo LDL T e

FCBIyT (UATx)

6 de mayo de 2011

2 / 21

Planteamiento del problema Planteamiento del problema Se desea hallar la soluci´n del sistema de ecuaci´nes lineales Ax = b dado o o por a11 x1 + a21 x1 + · · · + an1 x1 = b1 a21 x1 + a22 x2 + · · · + an2 x2 = b2 .   . .  . . an1 xn + an2 xn + · · · + ann xn = bn lo que significa deteminar el valor de las variables x1 . .x =  . A los n´meros aij se les denonomina coeficientes u ´ del sistema. (2) . . .  . y a los bi terminos independientes. Esto es       a11 a21 · · · an1 x1 b1  a21 a22 · · · an2   x2   b2        A= . . .  . an1 an2 · · · FCBIyT (UATx) (1) ann M´todo LDL T e xn bn 6 de mayo de 2011 3 / 21 . .   . que hacen que se cumplan las igualdades. .b =  . = . . . . . . . xn . .

donde L es una matriz triangular inferior con unos en la diagonal principal y D es una matriz diagonal.Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o ´ DESARROLLO DEL METODO (Obtener la factorizaci´n o T de Crˆut A = LDL ) o La factorizaci´n de Crˆut consiste en hallar matrices L y D tales que A = o o LDL T . ı e La factorizaci´n LDL T elimina la necesidad de calcular ra´ o ıces cuadradas. los elementos de la matriz diagonal D son todos positivos. FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 4 / 21 . las cuales se obten´ en la factorizaci´n de Choleski. adem´s. cuando A es ıan o a definida positiva . Recordemos que en la factorizaci´n de o Choleski era necesario que la matriz A fuera sim´trica y definida positiva. en e este caso no necesariamente tiene que ser definida positiva pero s´ sim´trica.

. . 0 0 D2 .  . . . . an2 ··· ··· . . . . ··· . 0 L21 1 . . 0 ··· ··· . . . . obtenemos a11  a21   . . . Dn       1 0 . . . 1      (4) FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 5 / 21 .  . an1 an2 .Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o Proponemos la factorizaci´n de Crˆut de la siguiente manera A = LDL T . 0 ··· ··· . o o que en notaci´n matricial ser´ lo siguiente: o ıa a11  a21   . . an2 ··· ··· . .   . 1       (3) Si multiplicamos las primeras dos matrices. . ··· .. Dn      1 0 . Ln2 ··· ··· . .. 0 0 ..   . an1  a21 a22 . . . Ln1  0 1 . . . ··· Ln1 Ln2 . ··· 0 0 . . an1  a21 a22 . 0 ··· ··· . Ln1 D1  0 D2 . . . ··· . . 1       D1 0 . ··· an1 an2 . ann  D1   L21 D1   = . . 0 L21 1 .. ··· . .. Ln2 D2 ··· ··· . Ln1 Ln2 . . . . . . . . .. ann  1   L21   = .   . 0 0 . .  ..

. .Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o Luego. = . L21 Ln1 D1 + Ln2 D2 = an2 ⇒ Ln2 = M´todo LDL T e an1 D1 ⇒ D2 = a22 − L2 D1 21 a32 − L21 L31 D1 ⇒ L32 = D2 an2 − L21 Ln1 D1 D2 6 de mayo de 2011 6 / 21 FCBIyT (UATx) . . = . . . . Ln1 D1 = an1 ⇒ Ln1 = L2 D1 + D2 = a22 21 L21 L31 D1 + L32 D2 = a32 . . multiplicando por L T y hallando los Di y Lij se tiene D1 = a11 a21 D1 a31 = D1 L21 D1 = a21 ⇒ L21 = L31 D1 = a31 ⇒ L31 . .

. an3 ⇒ Ln3 = an3 − L31 Ln1 D1 − L32 Ln2 D2 D3 ann ⇒ Dn = ann − L2 D1 − L2 D2 − · · · − Ln.n−1 Dn−1 n2 n1 Con ´sto se obtiene la siguiente tabla e FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 7 / 21 .Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o L2 D1 + L2 D2 + D3 32 31 . . L31 Ln1 D1 + L32 Ln2 D2 + Ln3 D3 L2 D1 + L2 D2 + · · · + Dn n2 n1 = = = = a33 ⇒ D3 = a33 − L2 D1 − L2 D2 32 31 . . .

D1 = a11 L11 =1 L21 = L31 = a21 D1 a31 D1 D2 = a22 − L21 L21 D1 L22 =1 L32 = a32 − L31 L21 D1 D2 D3 = a33 − L31 L31 D1 − L32 L32 D2 L33 =1 a43 − L41 L31 D1 − L42 L32 D2 D3 D4 = a44 − L41 L41 D1 − L42 L42 D2 L41 = a41 D1 L42 = a42 − L41 L21 D1 D2 L43 = − L43 L43 D3 L44 =1 .

D1 = a11 L11 =1 L21 = L31 = a21 D1 a31 D1 D2 = a22 − L21 L21 D1 L22 =1 L32 = a32 − L31 L21 D1 D2 D3 = a33 − L31 L31 D1 − L32 L32 D2 L33 =1 a43 − L41 L31 D1 − L42 L32 D2 D3 D4 = a44 − L41 L41 D1 − L42 L42 D2 L41 = a41 D1 L42 = a42 − L41 L21 D1 D2 L43 = − L43 L43 D3 L44 =1 D1 = a11 L11 =1 L21 = L31 = L41 = a21 D1 a31 D1 a41 D1 D2 = a22 − L21 v1 L22 =1 L32 = L42 = a32 − L31 v1 D2 a42 − L41 v1 D2 D3 = a33 − L31 v1 − L32 v2 L33 =1 L43 = a43 − L41 v1 − L42 v2 D3 D4 = a44 − L41 v1 − L42 v2 − L43 v3 L44 =1 v1 = L41 D1 v2 = L42 D2 v3 = L43 D3 v1 = L21 D1 d v l v1 = L31 D1 v2 = L32 D2 .

Desarrollo del m´todo e Obtener la factorizaci´n de Crˆut A = LDL T o o Y as´ llegamos al siguiente algoritmo de factorizaci´n ı o Para j = 1 hasta n Para k = 1 hasta j − 1 vk = L jk Dk j −1 D j = a jj − m =1 ∑ L jm vm (5) Para j + 1 hasta n j −1 aij − Lij = m =1 ∑ Lim vm Dj FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 9 / 21 .

. .  =  . . . . . . . . b3 zn Ln1 Ln2 · · · 1 haciendo la multiplizcaci´n y despejando los zi o z1 z1 L21 + z2 z1 L31 + z2 L32 + z3 .   .  .n−1 FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 10 / 21 . . . .  .Desarrollo del m´todo e Descomponer el sistema Ax = b en tres nuevos sistemas Descomponer el sistema Ax = b en tres nuevos sistemas 1.  . Lz = b En este paso se resuleve el sistema Lz = b dado por     1 0 ··· 0 b1 z1  L21 1 · · · 0   z2   b2      . . z1 Ln1 + z2 Ln2 + · · · + zn− Ln. .n−1 + zn      (6) = = = = = b1 b2 ⇒ z2 = b2 − z1 L21 b3 ⇒ z3 = b3 − z1 L31 − z2 L32 . bn ⇒ zn = bn − z1 Ln1 − z2 Ln2 − · · · + −zn−1 Ln. . .

. . . . . . . . = .Desarrollo del m´todo e Descomponer el sistema Ax = b en tres nuevos sistemas De aqu´ se obtiene la f´rmula ı o i −1 z i = bi − k =1 ∑ zk Lik ··· ··· . zn Dn s n = z n ⇒ s n = Dn D1 s1 = z1 ⇒ s1 = FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 11 / 21 . .. . . . . zn      (8) multiplicando y despejando se tiene z1 D1 z2 D2 s2 = z2 ⇒ s2 = D2 . 0 0 D2 . Resolver el sistemaDs = z         D1 0 . 0     s1 s2 . ··· 0 0 . . .     =   Dn sn z1 z2 . 1≤i≤n (7) 2. .

. . . . .n−1 xn xn−2 + Ln−1..n−2 xn−1 + Ln. . . . . sn      (10) multiplicando y despejando se tiene sn−1 ⇒ xn−1 = sn−1 − Ln. . . . 0 0 ··· xn xn−1 + Ln. Resolver el sistema L T x = s      1 L21 · · · 0 1 ··· . .Desarrollo del m´todo e Descomponer el sistema Ax = b en tres nuevos sistemas Con lo que se obtiene la f´rmula o si = zi Di . . x1 + L21 x2 + · · · + Ln1 xn Ln1 Ln2 .n−1 xn sn−2 ⇒ xn−2 = sn−2 − Ln−1. .n−2 xn−1 − Ln. .n−2 xn . 1 = = = = = sn      x1 x2 . xn       =   s1 s2 .n−2 xn . s1 ⇒ x1 = s1 − L21 x2 − · · · − Ln1 xn FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 12 / 21 . . 1≤i≤n (9) 3.

(7).Desarrollo del m´todo e Descomponer el sistema Ax = b en tres nuevos sistemas y se obtiene la f´rmula o xi = si − k = i +1 ∑ n Lki xk . juntando las f´rnmulas (5). (9) y (11) se sigue el algoritmo o del m´todo. e FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 13 / 21 . 1≤i≤n (11) Ahora bien.

e 2 Para j = 1 hasta n Para k = 1 hasta j − 1 vk = L jk Dk j −1 z i = bi − 4 Para i = 1 hasta n k =1 ∑ zk Lik D j = a jj − m =1 ∑ L jm vm si = 5 Para i = 1 hasta n zi Di Para j + 1 hasta n j −1 aij − Lij = m =1 ∑ Lim vm xi = si − Dj k = i +1 ∑ n Lki xk 6 Imprimir el vector de soluciones x.Algoritmo Algoritmo 1 Datos de entrada: Matriz de 3 Para i = 1 hasta n i −1 coeficientes A (sim´trica). Vector de e t´rminos independientes b. M´todo LDL T e FCBIyT (UATx) 6 de mayo de 2011 14 / 21 .

  3 6 9 A =  6 16 38  9 38 134 .  12 b =  28  56  Primero calculamos la factorizaci´n de Crˆut o o FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 15 / 21 .Ejemplos Ejemplo 1 Resolver el sistema Ax = b donde.

Ejemplos Ejemplo 1 Resolver el sistema Ax = b donde.  12 b =  28  56  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 15 / 21 .   3 6 9 A =  6 16 38  9 38 134 .

  3 6 9 A =  6 16 38  9 38 134 .Ejemplos Ejemplo 1 Resolver el sistema Ax = b donde.  12 b =  28  56  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b Resolvemos el sistema Ds = z FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 15 / 21 .

Ejemplos Ejemplo 1 Resolver el sistema Ax = b donde.   3 6 9 A =  6 16 38  9 38 134 .  12 b =  28  56  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b Resolvemos el sistema Ds = z Resolvemos el sistema L T x = s FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 15 / 21 .

Ejemplos Ejemplo 2 Resolver el sistema Ax = b donde.   2 4 8 A =  4 7 16  4 16 35 .  14 b =  28  59  Primero calculamos la factorizaci´n de Crˆut o o FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 16 / 21 .

  2 4 8 A =  4 7 16  4 16 35 .  14 b =  28  59  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 16 / 21 .Ejemplos Ejemplo 2 Resolver el sistema Ax = b donde.

  2 4 8 A =  4 7 16  4 16 35 .  14 b =  28  59  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b Resolvemos el sistema Ds = z FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 16 / 21 .Ejemplos Ejemplo 2 Resolver el sistema Ax = b donde.

 14 b =  28  59  Primero calculamos la factorizaci´n de Crˆut o o Resolvemos el sistema Lz = b Resolvemos el sistema Ds = z Resolvemos el sistema L T x = s FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 16 / 21 .Ejemplos Ejemplo 2 Resolver el sistema Ax = b donde.   2 4 8 A =  4 7 16  4 16 35 .

Num. . total de operaciones = 2 ∑ (i − 1) = n(n − 1) i =1 Tabla FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 17 / 21 n (12) . .N´mero de Operaciones del m´todo u e N´mero de operaciones del m´todo u e Para el paso 1 que es hallar la factorizaci´n de Crˆut de la matriz de coefio o cientes A se observa la siguiente relaci´n respecto al c´lculo del n´mero de o a u operaciones de la matriz D D D1 D2 D3 D4 . Dn N´mero de Operaciones u 0 2 4 6 . 2( n − 1) Por lo tanto. . .

. n Numero total de operaciones de los vi 0 1 2 3 . . ( n − 1) Por lo tanto. Num. .N´mero de Operaciones del m´todo u e Luego. para calcular el n´mero de operaciones de los vi se tiene la siguiente u tabla j 1 2 3 4 . . de operaciones = Tabla i =1 ∑ ( i − 1) = n n ( n − 1) 2 (13) FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 18 / 21 .

de operaciones = Tabla FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 19 / 21 i =1 ∑ (n − i)(2i − 1) = n 2n3 − 3n2 + n 6 (14) .N´mero de Operaciones del m´todo u e Ahora bien. relacionando lo anterior con el valor de n se tiene n n n n n =1 =2 =3 =4 =5 → → → → → 0 1·1 2·1+1·3 3·1+2·3+1·5 4·1+3·3+2·5+1·7 Y as´ se obtiene lo siguiente ı Num. analizando el n´mero de operaciones de la matriz L se construye u la siguiente tabla       L11 L21 L31 L41 L51 →0 →1 →1 →1 →1  L22 L32 L42 L52 →0 →3 →3 →3 L33 → 0 L43 → 5 L53 → 5 L44 → 0 L54 → 7      L55 → 0 Luego.

(13). (14) los cual nos queda n ( n − 1) + n(n − 1) 2n3 − 3n2 + n n3 + 3n2 − 4n + = 2 6 3 FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 20 / 21 .N´mero de Operaciones del m´todo u e Por lo tanto se tiene que el num´ro total de operaciones es la suma de los e resultados (12).

aplicaciones y propagaci´n e e o o http://www. Ed. Douglas Faires.pdf Formas bilineales y cuadr´ticas a http://pcmap.es/mpala/MatII lecci/7fbilincuadr.es/mpala/MatII lecci/7fbilincuadr. Thomson.pdf M´todos Matem´ticos de Especialidad e a http://jldelafuenteoconnor.pdf M´todos num´ricos.edu/pfc/bitstream/2099.upc. http://upcommons.es/Clase sisli 10.securisite.%20aplicaciones%20y%20propagaci%F3n%20en%20Fortran.pdf Formas bilineales y cuadr´ticas a http://pcmap. 6ta edici´n o FCBIyT (UATx) M´todo LDL T e 6 de mayo de 2011 21 / 21 .org/biblioteca/programacion/Otros/Fortran/M%E9todos%20num%E9ri %20introducci%F3n. Introducci´n. J.pdf ˜ Implementaci´n y evaluaci´n de la Factorizaci´n de Cholesky mediante TBB y threads en o o o arquitecturas multicore.Bibliograf´ ıa Bibliograf´ ıa Paralelizaci´n de la factorizaci´n LDLT usando el lenguaje de programaci´n paralela ZPL o o o http://redalyc.pdf ˜ An´lisis num´rico a e Richard L.Cholesky.uaemex.1/10988/1/PFC. Burden.unizar.mx/redalyc/pdf/707/70712715009.unizar.