Está en la página 1de 18

MCI II - Ecuaciones Diferenciales Parciales

UNCo

Soluci´n Num´rica de Ecuaciones Diferenciales Parciales o e

1.

Introducci´n o

Un cuerpo se denomina is´tropo si la conductividad t´rmica en cada punto del cuerpo es o e independiente de la direcci´n del flujo de calor a trav´s del punto. La temperatura u = u(x, y, z, t), o e en un cuerpo is´tropo puede calcularse resolviendo la ecuaci´n diferencial parcial o o ∂ ∂x k ∂u ∂x + ∂ ∂y k ∂u ∂y + ∂ ∂z k ∂u ∂z = cρ ∂u , ∂t

donde k, c y ρ son funciones de (x, y, z) y representan la conductividad t´rmica, el calor espec´ e ıfico y la densidad del cuerpo en el punto (x, y, z), respectivamente. Cuando k, c y ρ son constantes, la ecuaci´n anterior se conoce como la ecuaci´n del calor en o o tres dimensiones y se expresa como cρ ∂u ∂2u ∂2u ∂2u + 2 + 2 = . 2 ∂x ∂y ∂z k ∂t Si la frontera del cuerpo es relativamente simple, la soluci´n a dicha ecuaci´n puede calcularse o o mediante la serie de Fourier. En muchas situaciones donde k, c y ρ no son constantes o cuando la frontera es irregular, la soluci´n a la ecuaci´n diferencial parcial puede obtenerse mediante t´cnicas o o e de aproximaci´n. En este cap´ o ıtulo se presenta una introducci´n a este tipo de estrategias. o La primer ecuaci´n en derivadas parciales a considerar es una ecuaci´n el´ o o ıptica conocida como ecuaci´n de Poisson: o ∂2u ∂2u (x, y) + 2 (x, y) = f (x, y). ∂x2 ∂y En esta ecuaci´n se asume que f describe el dato del problema en una regi´n plana R con frono o tera S. Las ecuaciones de este tipo surgen del estudio de algunos problemas f´ ısicos independientes del tiempo como por ejemplo la distribuci´n de calor en estado estacionario sobre una regi´n plana, o o la energ´ potencial de un punto en un plano debido a las fuerzas gravitacionales y problemas de ıa estado estacionario para fluidos incompresibles bidimensionales. Para obtener una soluci´n unica al problema se necesitan imponer constantes adicionales a la o ´ ecuaci´n de Poisson. Por ejemplo, el estudio de distribuci´n de calor en estado estacionario en una o o regi´n plana requiere que f (x, y) = 0, obteniendo as´ una simplificaci´n: o ı o ∂2u ∂2u (x, y) + 2 (x, y) = 0. ∂x2 ∂y la cual se denomina ecuaci´n de Laplace. o Si la temperatura en el contorno de la regi´n est´ determinada, las restricciones se denominan o a condiciones de borde Dirichlet, y est´n dadas por a u(x, y) = g(x, y), para todo (x, y) en S, la frontera de la regi´n R. (ver figura 1). o A continuaci´n de las ecuaciones el´ o ıpticas se trabajar´ con aquellas ecuaciones diferenciales a parciales de tipo parab´lico de la forma o

1

MCI II http://pedco.uncoma.edu.ar

0 l x Figura 2: Barra unidimensional. t) = 0. Por ejemplo. o u(x. de o e o hecho es conocida en algunos casos como ecuaci´n de difusi´n. y describir el comportamiento en los extremos de la barra. 0) = f (x). t) = 0. la cual tiene una temperatura uniforme dentro de cada secci´n transversal. si los extremos se mantienen a temperaturas constantes U1 y U2 . t) = U2 . Un conjunto t´ ıpico de restricciones para el problema de flujo de calor de este tipo es especificar la distribuci´n de calor inicial en la barra. y u(l. Esto requiere que la barra se encuentre totalmente asilada en o su superficie lateral. ∂t ∂x El problema f´ ısico considerado para este problema correspondo al flujo de calor a lo largo de una barra de longitud l. l En el caso que la barra est´ aislada de manera que no hay flujos de calor por los extremos. o ∂u ∂2u (x.ar . o o 2 MCI II http://pedco.MCI II .y) x Figura 1: Regi´n R. ∂x ∂x lo cual resulta en una temperatura constante en la barra como en el caso l´ ımite.edu. t) − α2 2 (x. como se muestra en la figura 2. t) = U1 + ım ∂u ∂u (0. las e condiciones de borde son t→∞ l´ u(x.Ecuaciones Diferenciales Parciales UNCo y S R (x. y la distribuci´n de calor aproxima a la distribuci´n de temperatura l´ o o ımite U2 − U1 x. Las ecuaciones diferenciales parciales hiperb´licas son tambi´n de importancia en el estudio de difusi´n de gas. t) = 0. La constante α es independiente de la posici´n en la barra y est´ determinada o a por las propiedades conductivas del material de misma. y (l. las condiciones de borde tienen la forma u(0. t) = U1 .uncoma.

· · · . El primer paso es elegir enteros n y m y definir el tama˜o de los pasos n h = (b − a)/n y k = (d − c)/m. se tiene tambi´n u(0. se trazan l´ a ıneas verticales y horizontales desde el mismo.t) tiempo t fijo x Figura 3: Esquema de cuerda el´stica. y 2. t) de un punto x en el tiempo t satisface la ecuaci´n diferencial o ∂2u ∂2u (x. n−1 y j = 1. u(x. y sus intersecciones son los puntos de la malla o nodos. y) = ∂2u ∂2u (x. para cada i = 0. m. donde S denota la frontera de R. Supongamos que una cuerda el´stica o o a de longitud l es estirada entre dos soportes al mismo nivel horizontal. d] en m partes iguales de ancho k.uncoma. · · · . b] en n partes iguales de ancho h o y para el intervalo [c. 2 ∂x ∂t dado que los efectos de amortiguaci´n son despreciados y la amplitud no es lo suficientemente o grande. n. donde xi yj = a + ih. o 2 u(x. se presenta en la figura 4. 2. La partici´n para el intervalo [a. y) = f (x. a e Otros problemas f´ ısicos regidos por ecuaciones diferenciales parciales hiperb´licas pertenecen o al estudio de vigas vibratorias con uno o ambos extremos empotrados y a la transmici´n de eleco tricidad sobre una linea larga donde hay alguna fuga de corriente a tierra. yj ). y para cada j = 0. se asume que la posici´n incial y la velocidad o de la cuerda est´n dadas por a α2 ∂u (x. yj ) en el rect´ngulo R. para 0 < x < l y t > 0. 0) = f (x). Las l´ ıneas x = xi y y = yj son l´ ıneas de grilla. la ecuaci´n diferencial o tendr´ soluci´n exacta. · · · . 3 MCI II http://pedco. 2. a Si la cuerda se pone a vibrar en un plano vertical. y) = g(x. ∂t Si los puntos extremos est´n fijos. para 0 ≤ x ≤ l. para i = 1. con u(x. y) para (x. Si f y g son continuas en sus dominios. t) = 0 y u(l. y) ∂x2 ∂y (1) sobre R = {(x. la ´ o cual es un ejemplo de ecuaci´n diferencial parcial hiperb´lica.MCI II . Para ubicar un punto (xi .Ecuaciones Diferenciales Parciales UNCo El ultimo tipo de ecuaciones a estudiar corresponde a la ecuaci´n de onda unidimensional. y)|a < x < b. el desplazamiento vertical u(x. · · · . Ecuaciones diferenciales parciales el´ ıpticas La ecuaci´n diferencial parcial el´ o ıptica a considerar es la ecuaci´n de Poisson.ar . 0) = g(x). c < y < d}. 1. t) = 2 (x. t). Para cada nodo en el interior de la malla (xi .edu. como se muestra en la figura 3 u(x. 1. m−1. t) = 0. y) ∈ S. = c + jk. Para imponer restricciones a este problema. y) + 2 (x. a o El m´todo a utilizar es una adaptaci´n al m´todo de Diferencias Finitas para problemas a e o e valores de borde lineales.

yj−1 ) k 2 ∂ 4 u (xi . para cada j = 0. yj ) + u(xi−1 . 1. (5) La ecuaci´n (4) utiliza aproximaciones a u(x. (xi .edu.MCI II . ηj ). xi+1 ). · · · . n − 1 y j = 1. 2. o se utiliza la serie de Taylor en la variable x alrededor de xi para generar la f´rmula de diferencias o centradas u(xi+1 .j + ωi−1. yj ) y u(xn . yj ) + u(xi . yj+1 ) − 2u(xi . y) en los puntos o (xi−1 . · · · . n − 1 y j = 1. ηj ). yj+1 ) − 2u(xi . 4 (xi . yj ). yj ). n − 1. yj ). yj ) + u(xi .j−1 ) = −h2 f (xi . para cada i = 0. · · · . Utilizando estas f´rmulas en la ecuaci´n (1) puede expresarse la ecuaci´n de Poisson en los o o o puntos (xi . yj ). (xi . ∂y 2 k2 12 ∂y 4 (3) donde ηj ∈ (yi−1 .j−1 + ωi. yj−1 ). yj ) = uij ωij . 2. yj ) h2 ∂ 4 u ∂2u (xi .j ) − h k 2 (ωi. · · · . yi ) = − (ξi . ym ) = g(xi .Ecuaciones Diferenciales Parciales UNCo y y =d m y 2 y1 y0 =c x0=a x1 x2 x3 x4 b=xn x Figura 4: Partici´n del dominio. n − 1. m. 2.ar . yj ) − 2u(xi . yj ) como u(xi+1 . y0 ) = g(xi . En forma de ecuaci´n en diferencias resulta el M´todo de Diferencias Finitas. yj ). · · · . = g(xi . yj ) = g(x0 . (2) ∂x2 h2 12 ∂x4 donde ξi ∈ (xi−1 . · · · . · · · . yj−1 ) + h2 k2 4 2 4 2 k ∂ h ∂ (ξ . yj ) u(xi . y ) + (xi . con error de o e truncamiento local de orden O(h2 + k 2 ). y0 ) y u(xi . = f (xi . yj ) (4) para cada i = 1. el operador queda 2 h k 2 + 1 ωij − (ωi+1. m − 1. 1. yi+1 ). 2. (xi+1 . y0 ) y ωim = g(xi . m − 1. 1. yi ) = − (xi . para cada i = 0. u(xi . Tambi´n se utiliza la serie de Taylor en la variable y alrededor de yj para e generar la f´rmula de diferencias centradas o ∂2u u(xi . ym ). ym ). · · · . m. Siendo u(xi . MCI II http://pedco. yj ) = g(xn .uncoma. yj ) − 2u(xi . 1. y ω0j ωi0 = g(x0 . para cada j = 0. y las condiciones de borde son u(x0 . yj ) + 4 i j 12 ∂x 12 ∂y 4 para cada i = 1. yj ) + u(xi−1 . yj ). yj ) y ωnj = g(xn . yj+1 ).

Al definir los nodos de esta manera se asegura que el sistema que se necesita para determinar ωi.j − ωi.5) = 200x. u(x. y) = 0. una a opci´n usual es hacer o Pl = (xi . 2. · · · .j − ωi+1. y) en el conjunto R = {(x. 2. en ella se representa la secci´n de malla donde se localizan estos puntos. yj ) en los puntos interiores de la malla. 3 y j = 1. se tiene un sistema lineal de (n − 1)(m − 1) × (n − 1)(m − 1) donde las inc´gnitas son o las aproximaciones ωij a u(xi . yj ) y ωi.MCI II . donde l = i + (m − 1 − j)(n − 1).uncoma. Si n = m = 4. m − 1. esto es. 3. u(0. en todos los puntos (xi . · · · . Por ejemplo. yj ) adyacentes a un nodo de o la frontera. Dos de las fronteras adyacentes est´n a 0° a y la temperatura en las dem´s fronteras se incrementa linealmente de 0° en un v´rtice a 100° en a e el siguiente.5}.j − ωi−1.j es una matriz banda con ancho de banda a lo sumo 2n − 1. de lado. 2. para cada i = 1. Para ello. 0) = 0. cada ecuaci´n involucra aproximaciones en una regi´n en forma de estrella alrededor de o o (xi .Ecuaciones Diferenciales Parciales UNCo Si se observa la figura 5. y)|0 < x < 0.j+1 = 0. y la ecuaci´n en diferencias (4) es o 4ωi. y) = 200y. con n = 4 y m = 5. Esta forma de definir los nodos los numera consecutivamente de izquierda a derecha y de arriba hacia abajo. u(x. para cada i = 1. con las condiciones de borde u(0.j−1 − ωi.5 m. 0 < y < 0.ar . 2. Ejemplo 1: Considere el problema de determinar la distribuci´n de calor en estado estacionario o en una placa cuadrada de metal fino de 0. yj ).j . o Luego. Si se ubican los lados con condiciones de frontera ceros a lo largo de los ejes x e y. Si se utiliza la informaci´n proveniente de las condiciones de borde (5) en el sistema dado por o la ecuaci´n (4) donde corresponda.5. Para realizar los c´lculos conviene renombrar los nodos interiores de la malla. 2 ∂x ∂y para (x. y) = 0. el problema tiene la malla dada en la figura 7. y d yi+1 yi y i−1 c a x i−1 xi x i+1 b x Figura 5: Esquema para un nodo interior. 0. 5 MCI II http://pedco. n − 1 y j = 1. el problema se expresa como ∂2u ∂2u (x.5. los puntos se presentan en la figura 6.edu. y) + 2 (x.

5)=200x P1 P2 P3 u(0.5 u(0. ω4.y)=0 P4 P5 P6 u(0. ω2.MCI II .4 .4 .ar .Ecuaciones Diferenciales Parciales UNCo y y5 y y P1 P4 P7 P10 P2 P5 P8 P11 P3 P6 P9 P12 4 3 y 2 y y 1 0 x0 x1 x2 x3 x4 x Figura 6: Numeraci´n de nodos para n = 4 y m = 5. P1 P2 P3 P4 P5 P6 P7 P8 P9 : : : : : : : : : 4ω1 − ω2 − ω4 4ω2 − ω3 − ω1 − ω5 4ω3 − ω2 − ω6 4ω4 − ω5 − ω1 − ω7 4ω5 − ω6 − ω4 − ω2 − ω8 4ω6 − ω5 − ω3 − ω9 4ω7 − ω8 − ω4 4ω8 − ω9 − ω7 − ω5 4ω9 − ω8 − ω6 = = = = = = = = = ω0. Si se expresa el sistema en funci´n de los puntos interiores redefinidos ωi = u(Pi ).4 .5.2 . ω0. ω3.0.0 . ω0. las ecuaciones o en los puntos Pi son: donde el lado derecho de las ecuaciones se obtiene de las condiciones de borde.2 .0)=0 0.3 + ω3. ω4.5 x Figura 7: Malla para el Ejemplo 1. ω2.y)=200y P7 P8 P9 u(x.0 + ω4.0 .3 + ω1.1 . o y 0.1 + ω1. donde las mismas implican que 6 MCI II http://pedco.edu.uncoma. 0.

· · · . i ωi 1 18.4 = ω4.75 2 37. tj + k) − u(xi . ω2 .edu. Esta simplificaci´n no o introduce los problemas computacionales que se tendr´ al resolver un problema de mayores ıan dimensiones. µj ).1 = 25.0 = ω0. En primer lugar.50 5 25.       Los valores de ω1 .2 = 50. Los nodos para esta n situaci´n son (xi . 0) = f (x). para j = 0.75 Cuadro 1: Soluci´n para el Ejemplo 1.50 7 6. se selecciona un tama˜o de paso temporal k. para i = 0. o La soluci´n aproximada es exacta. ω3.uncoma.3 = 75. t) = α2 2 (x.MCI II . dado que la soluci´n anal´ o o ıtica al problema es u(x. El problema considerado se resolvi´ con tama˜o o n de malla 0.3 = 0. t > 0. · · · . ∂t k 2 ∂t2 para alg´n µj ∈ (tj .50 9 18. y u(x. 0 ≤ x ≤ l. t) = u(l. 1.Ecuaciones Diferenciales Parciales UNCo ω1. 4 ∂x ∂y 4 luego el error de truncamiento es cero en cada paso.4 = ω4. ω2. = ω4. o Se obtiene el m´todo de diferencias utilizando la serie de Taylor en t para formar el cociente en e diferencias (primer orden) u(xi . Ecuaciones diferenciales parciales parab´licas o La ecuaci´n diferencial parcial parab´lica a estudiar ser´ la ecuaci´n de calor o de difusi´n o o a o o ∂u ∂2u (x. y la serie de Taylor en x para formar el cociente en diferencias u 7 (7) MCI II http://pedco. t) = 0. tj ) k ∂ 2 u ∂u (xi . tj ). y tj = jk. 3. La estrategia utilizada para aproximar la soluci´n de este problema es un m´todo de diferencias o e finitas similar al utilizado en la secci´n anterior. · · · .25 8 12. se selecciona un entero m > 0 o y se define h = l/m.2 = ω0. 1. donde xi = ih. tj ) = − (xi . tj+1 ).0 ω1.1 = ω0. m.0 = ω3. El sistema lineal asociado con este problema tiene la forma     ω1 4 −1 0 −1 0 0 0 0 0  −1 4 −1 0 −1 0 0 0 0   ω2        0 −1 4 0 0 −1 0 0 0   ω3        −1 0 0 4 −1 0 −1 0 0   ω4        0 −1 0 −1 4 −1 0 −1 0   ω5  =       0 0 −1 0 −1 4 0 0 −1   ω6        0 0 0 −1 0 0 4 −1 0   ω7        0 0 0 0 −1 0 −1 4 −1   ω8   ω9 0 0 0 0 0 −1 0 −1 4 25 50 150 0 0 50 0 0 25        .4 = ω2.ar . tiene ∂4u ∂4u = = 0.50 3 56.125 en cada eje y requiere resolver un sistema lineal de 9 × 9.25 4 12. Luego. se obtuvieron resolviendo el sistema mediante el m´todo de Gausse Seidel y se presentan en la tabla 1. ω9 . y) = 400xy.00 6 37. t) ∂t ∂x (6) con las condiciones u(0.

1 = ωm. Ejemplo 1: Considere la ecuaci´n de calor o 8 MCI II http://pedco.j+1 se obtiene o τij = ωi. . µj ) − α2 (ξi . 0) = f (x). 2. . f (x2 ). h2 (9) (10) (11) para cada i = 1. . − α2 k h2 donde ωij aproxima a u(xi . · · · . luego la ecuaci´n (10) implica que el m´todo es de orden o e O(k + h2 ). . . f (xm−1 ))t y w(j) = (ω1j . Si el procedimiento vuelve a aplicarse una vez calculadas todas las componentes ωi. · · · . tj ).j ).   . · · · .1 . Dado que la condici´n inicial u(x. luego todas las entradas de la forma ωi. 1. as´ w(j) se obtiene de w(j−1) mediante una multiplicaci´n de matrices.uncoma. tj ) − α2 2 (xi . para cada j = 1. µj ). m − 1.j = 0. para cada i = 1. (8) 2 ∂x h2 12 ∂x4 donde ξi ∈ (xi−1 . · · · . · · · . para o cada 0 ≤ x ≤ l. implica que ωi.edu. La ecuaci´n diferencial parcial parab´lica (6) implica que en los nodos interiores de la grilla o o (xi .Ecuaciones Diferenciales Parciales UNCo u(xi + h. tj ).j + ωi−1. para cada i = 0. 2. . ∂t ∂x luego el m´todo en diferencias resultante de utilizar las ecuaciones (7) y (8) es e ωi.3 . tj ) + u(xi − h. . se tiene ∂u ∂2u (xi .2 . estos valores pueden utilizarse en la ecuaci´n (11) para hallar el valor de ωi. · · · . Si se define w(0) = (f (x1 ). El error de truncamiento local para esta ecuaci´n en diferencias es o h2 ∂ 4 u k ∂2u (xi . xi+1 ). 2. m − 1 y j = 1. m − 1 y j = 1. .1 pueden ser determinadas. λ 0 ··· 0 λ (1 − 2λ) donde λ = α2 (k/h2 ). 2. 2.j+1 − ωij ωi+1. 2. tj ) = 0.MCI II .1 .j+1 = 1− 2α2 k h2 ωij + α k (ωi+1. t) = 0 implican que ω0. . tj ) − 2u(xi . t) = 0 y u(l. m. · · · . Este m´todo se conoce ı. ωi.1 = 0. . Las condiciones o adicionales u(0. · · · .j )t . 2 ∂t2 12 ∂x4 Resolviendo la ecuaci´n (9) para ωi. 1.j − 2ωij + ωi−1. · · · . o e como M´todo de Diferencias hacia Adelante. pueden obtenerse de manera similar los valores de ωi. tj ) = − (ξi . La naturaleza expl´ ıcita del m´todo en diferencias implica que la matriz de (m − 1) × (m − 1) e asociada al sistema puede escribirse en forma tridiagonal como   (1 − 2λ) λ 0 ··· 0   λ (1 − 2λ) λ · · · 0     0 ··· ··· ··· 0 A=    . ωm−1. Si la soluci´n a la ecuaci´n diferencial tiene cuatro e o o derivadas continuas en x y dos en t. · · · . para cada j = 1.0 = f (xi ). · · · . luego la soluci´n aproximada est´ dada por o a w(j) = Aw(j−1) .ar . para cada i = 0. tj ). ω2j . tj ) h2 ∂ 4 u ∂2u (xi .

(0. k = 0.4 0.Ecuaciones Diferenciales Parciales UNCo ∂2u ∂u (x. tj−1 ) k ∂ 2 u (xi . Aunque este orden se obtiene con h = 0.ar . Pero cuando el valor de k se incrementa a 0.0005.00703719 0.511 × 10−5 6. µj ).1 y k = 0.1 0.1)2 2 y los problemas de estabilidad se hacen evidentes.506 × 108 2. 0.490 × 108 2.531 × 108 8. 0.01 sin incremento de h.00598619 0. o Se espera un error local de truncamiento para el Ejemplo 1 del orden de O(k + h2 ). Para obtener un m´todo incondicionalmente estable.00222241 0. y luego con h = 0. y λ = 1. xi 0.6 0. k = 0.uncoma. 0 ≤ x ≤ 1.1000 .19876 × 107 −1.2 0.219 × 10−4 1.00434922 0.075 × 10−4 1.0005 0 0. 2 h 2 Para el caso particular de los valores del ejemplo considerado.00581836 0.MCI II .01 1 =1> . el cociente es α2 0.50642 × 108 2.50 | 8.00222241 0 ωi.1000 | 6.05. o Esta dificultad se debe a la estabilidad de la estrategia utilizada.13833 × 108 −2. y λ = 0. u(0.0 u(xi . no es el caso de la elecci´n h = 0.01. k = 0.53086 × 108 8.678 × 10−4 1. t) = 0. luego la condici´n o se satisface cuando h = 0.1 y k = 0.5) − ωi.55719 × 108 2.5) − ωi.0005.3 0.557 × 108 2.138 × 108 2. k = 0.627 × 108 2.411 × 10−5 1.50 . se tiene α = 1.5 es aproximada utilizando el m´todo en diferencias hacia adelante.1. primero o e con h = 0. tj ) − u(xi . tj ) = − (xi . t) = 0. u(x.973 × 10−4 2.00598619 0.edu.9 1.62685 × 108 −2.00729934 0. ∂t k 2 ∂t2 9 MCI II http://pedco. y condiciones iniciales u(x. t) = e−π t sin (πx).00434922 0. Los resultados se presentan en la tabla 2.8 0. La soluci´n anal´ o ıtica a este problema es 0 < t. t) − ∂t ∂x2 con condiciones de borde 0 < x < 1. t) = u(1.00719188 0.00683989 0.411 × 10−5 ωi. 0.973 × 10−4 1. tj ) en la a forma ∂u u(xi .01.00703719 0. t > 0.00228652 0 |u(xi .00422728 0.5 0.7 0.112 × 108 1.00581836 0. La soluci´n en t = 0.199 × 107 1.00422728 0.11200 × 108 −1.5) 0 0. (x.01 0 8.49015 × 108 2. se considera un m´todo en diferencias e e impl´ ıcito que resulta de utilizar el cociente en diferencias hacia atr´s para (∂u/∂t)(xi .1 y k = 0.03604 × 107 0 |u(xi .0 0.00228652 0.219 × 10−4 6.0005.036 × 107 2 Cuadro 2: Soluci´n para el Ejemplo 1.1.00683989 0. 0) = sin (πx). El m´todo de diferencias hacia e adelante es un m´todo condicionalmente estable y converge a la soluci´n de la ecuaci´n (6) con e o o tasa de convergencia del orden O(k + h2 ) si 1 k ≤ .678 × 10−4 1.

tj ) − u(xi . El M´todo de Diferencias hacia Atr´s resultante es u e a ωi+1. tj ). tj−1 ) u(xi+1 . para cada j = 1. µj ) − α2 (ξi . la figura muestra que no pueden utilizarse procedimientos expl´ ıcitos para resolver la ecuaci´n (12). · · · . luego. m − 1 y j = 1.uncoma. · · · . el m´todo de diferencias hacia atr´s resulta e a (1 + 2λ)ωij − λωi+1.j − 2ωi.j − λωi−1. para cada i = 1. · · · .MCI II . para cada i = 1.Ecuaciones Diferenciales Parciales UNCo donde µj est´ en (tj−1 . se utilizan o e aproximaciones en los puntos (xi−1 . (xi . =− 2 ∂t2 12 ∂x4 para alg´n ξi ∈ (xi−1 . (xi+1 . tj ).j−1 = 0. (xi . · · · . 2. 2. (12) involucra entonces aproximaciones a los puntos de la figura 8 t tj t j−1 x i−1 xi xi+1 l x Figura 8: Esquema para el m´todo de diferencias hacia atr´s.j + ωi−1.j = ωi. este m´todo en diferencias tiene la siguiente representaci´n e o matricial 10 MCI II http://pedco. 2.ar . tj ).j = 0. tj ). junto con la ecuaci´n (8) para ∂ 2 u/∂x2 . El m´todo de diferencias hacia atr´s involucra en un paso t´ e a ıpico los puntos de la malla (xi . o Si nuevamente se define λ = α2 (k/h2 ). tj ).j−1 . 2. (xi . − α2 k h2 para cada i = 1. e a Dado que las condiciones de borde e iniciales asociadas al problema dan informaci´n en los nodos o con c´ ırculos.0 = f (xi ). m − 1 y ωm.edu. 2. tj ). · · · . Dado que ωi. a o o en la ecuaci´n diferencial parcial se obtiene o u(xi . xi+1 ). tj ) + u(xi−1 . tj ). (xi−1 . tj ). 2. tj ) − α2 k h2 h2 ∂ 4 u k ∂2u (xi .j ωij − ωi. es posible utilizar un m´todo expl´ e ıcito para hallar las aproximaciones basado en la informaci´n de las condiciones iniciales y de borde. (xi+1 . tj+1 ). Substituyendo esta ecuaci´n. m − 1 y j = 1. tj−1 ). · · · . tj ) − 2u(xi .j = ω0. Dado que en el m´todo de diferencias hacia adelante (ver figura 9).

t) = u(1. 2. . t) en lugar de la utilizada anteriormente con error O(k). es decir. que requerir´ que los intervalos en el tiempo se tomen mucho a menores que los espaciales. Ejemplo 2: El m´todo de diferencias hacia atr´s con h = 0. . 0 ··· 0 ··· ··· ··· . se debe resolver el sistema lineal para obtener w(j) de w(j−1) . Se desea tener un procedimiento con error local de truncamiento del orden de O(k 2 + h2 ). 0 < x < 1. . 10. tj ) y evaluarla en o (xi . tj−1 ) para obtener la f´rmula en diferencias centradas o 11 MCI II http://pedco.j−1     . .j         =     ω1.ar .1 y k = 0. . para ello observar las columnas 5 y 6 de la tabla 2. . .edu. . Esto puede llevarse a cabo mediante la serie de Taylor en t para la funci´n u(x.MCI II .j−1 ω3.01 se utilizar´ para aproximar e a a la soluci´n a la ecuaci´n del calor del ejemplo 1 o o ∂2u ∂u (x. para cada j = 1. lo cual muestra la estabilidad del m´todo. .   (13) o lo que es lo mismo. 1. es estable para cualquier valor de λ.j−1 . · · · . tj+1 ) y (xi . Para demostrar la estabilidad incondicional del m´todo de diferencias hacia atr´s. donde i = 0.5). El primer paso en esta direcci´n es utilizar una ecuaci´n en diferencias con o o error O(k 2 ) para ut (x. t > 0. . . t) = 0.Ecuaciones Diferenciales Parciales UNCo t t j+1 tj x i−1 xi xi+1 l x Figura 9: Esquema para el m´todo de diferencias hacia adelante. El error local de truncamiento para este m´todo es del orden de O(k + h2 ) y converge a la soluci´n con dicho orden siempre que e o se cumplan las condiciones de diferenciabilidad necesarias. . u(x. Dado que λ > 0. ∂t ∂x2 sujeto a las restricciones u(0.j . . −λ 0 0 0 −λ (1 + 2λ)        ω1. 0 < t. Los resultados se muestran en la tabla 3 y tienen los mismos valores de h y k que en el ejercicio anterior.j ω2. · · · . El punto d´bil del m´todo en diferencias hacia atr´s resulta en la parte del orden del error local e e a de truncamiento con orden O(k). ωm−1.j ω3. t) − (x. Aw(j) = w(j−1) . estrictamente diagonal dominante y tridiagonal. se compara ωi. t) = 0. t) en el punto (xi . 0) = sin (πx). e        (1 + 2λ) −λ 0 −λ (1 + 2λ) −λ 0 ··· ··· . e El m´todo de diferencias hacia atr´s no tiene problemas de estabilidad dado que es incondie a cionalmente estable.50 e a con u(xi . . 0 ≤ x ≤ 1.j−1 ω2. 0. Luego. ωm−1.uncoma. la matriz A es definida positiva.

j+1 − α2 = 0.j − 2ωi. µj ) + O(h2 ).00422728 0. tj+1 ). en la ecuaci´n diferencial se denomina M´todo o o e de Richardson y est´ dado por a ωi.50 | 6.j ωi+1.j − 2ωij + ωi−1.00891918 0.5 0. tj ) = + ∂t 2k 6 ∂t3 donde µj ∈ (tj−1 . (xi .j ωi+1.0 0.00422728 0. µj ). 2k h2 (14) Este m´todo tiene error local de truncamiento de orden O(k 2 + h2 ).j+1 − 2ωi.769 × 10−3 2.00937818 0. siempre que se satisfagan las condiciones de diferenciabilidad necesarias.756 × 10−4 1.j − α2 = 0. el m´todo en diferencias promedio.8 0.j ωi+1. tj+1 ) − u(xi .285 × 10−3 1. µj ).ar k ∂2u (xi .j α2 ωi+1.756 × 10−4 Cuadro 3: Soluci´n para el Ejemplo 2. 2 ∂t2 . pero desafortunadamente e tambi´n tiene serios problemas de estabilidad.00683989 0.50 0 0.00551236 0. ∂t2 ∂t luego.2 0.769 × 10−3 1. k h2 que tiene error de truncamiento local k ∂2u (xi .Ecuaciones Diferenciales Parciales UNCo xi 0. e Otro m´todo puede derivarse al promediar el m´todo de diferencias hacia adelante en el j-´simo e e e paso en t.5) 0 0. tj−1 ) k 2 ∂ 3 u (xi .00581836 0. µj ) ≈ 2 (xi .0 u(xi .j+1 − 2ωi.j+1 − ωi.j+1 − ωi. Este m´todo se conoce como M´todo de Crank-Nicolson y e e se representa en forma matricial como 12 MCI II http://pedco.j+1 + ωi−1.00891918 0. k h2 con error de truncamiento local τB = − Si se asume que ∂2u ∂2u (xi .4 0. 0.00719188 0.00222241 0 ωi. 2 ∂t2 y el m´todo de diferencias para atr´s en el (j + 1)-´simo paso en t. e ωi. ωi.j − 2ωij + ωi−1.j+1 + ωi−1.00551236 0.186 × 10−3 2. 0.6 0.edu.079 × 10−3 2.285 × 10−3 6.00222241 0.j+1 − ωi.7 0. o ∂u u(xi .00683989 0.00289802 0.j + ωi−1.uncoma.j+1 − + = 0.9 1. El m´todo en diferencias que resulta de sustituir esta f´rmula y el cociente e o en diferencias para (∂ 2 u/∂x2 ) de la ecuaci´n (8).3 0.j − α2 = 0.j+1 − ωi.1 0.5) − ωi.00758711 0.j−1 ωi+1. e a e τF = ωi.079 × 10−3 1.MCI II . µj ) + O(h2 ).00581836 0.00758711 0. 2 k 2 h h2 tiene error local de truncamiento del orden de O(k 2 + h2 ).00289802 0 |u(xi .

4 0. 1. . · · · . 0 ··· 0 ··· ··· ··· . . . 0 < t. El mismo.3 0. 0 < x < 1. 0. .00745954 0. 0.00422728 0. o e a xi 0. . ωm−1.271 × 10−5 Cuadro 4: Soluci´n para el Ejemplo 3. . como ejemplo de o o e o ecuaci´n diferencial parcial de tipo hiperb´lico. k = 0. La ecuaci´n de onda est´ dada por la siguiente o o o a ecuaci´n diferencial o ∂2u ∂2u (x.Ecuaciones Diferenciales Parciales UNCo Aw(j+1) = Bw(j) . . t) − α2 2 (x. es una matriz no singular. donde para cada j = 0. t) − (x. (15) k . .MCI II .00709444 0.1.165 × 10−4 1.7 0. λ 2 0 0 0 λ 2        (1 − λ) Dado que A es definida positiva.00603489 0.165 × 10−4 2.j . (16) MCI II http://pedco. 2.0 0.271 × 10−5 1. ··· 0 ··· ··· ··· . .9 1.00422728 0. Las elecciones m = 10.00230512 0 |u(xi .00438461 0. .j .edu.00719188 0.6 0.0 u(xi . t) = 0.00222241 0. t) = u(1.546 × 10−4 2.uncoma. t) = 0.00683989 0. ∂t2 ∂x 13 0 < x < l. . ω2. w(j) = (ω1. consiste en la ecuaci´n o ∂u ∂2u (x.00230512 0. · · · .1 0. o 4.546 × 10−4 2.ar .00581836 0.50 0 0. Puede observarse comparando con las tablas anteriores que en Crank-Nicolson se incrementa la exactitud en comparaci´n con el m´todo de diferencias hacia atr´s.573 × 10−4 8. 0 (1 − λ) λ 2 ··· ··· .5) − ωi. −λ 2 0 0 0 −λ 2 (1 + λ)            y B=   (1 − λ) λ 2 λ 2 0 0 . El m´todo de Crank-Nicolson es incondicionalmente estable y tiene orden de convergencia e O(k 2 + h2 ).573 × 10−4 2.677 × 10−4 2.2 0. . t > 0. h2 donde las matrices A y B est´n dadas por a λ = α2     A=   (1 + λ) −λ 0 2 λ (1 + λ) − λ −2 2 0 ··· ··· . 0) = sin (πx).j )t . .5 0.00603489 0. se considera la soluci´n num´rica para la ecuaci´n de onda.00438461 0. . estrictamente diagonal dominante y tridiagonal.00709444 0.50 | 8.00683989 0.8 0. t > 0. Ejemplo 3: El m´todo de Crank-Nicolson se utilizar´ para resolver el problema de los ejemplos 1 e a y 2. . t) = 0.5) 0 0. 0 ≤ x ≤ 1. Ecuaciones diferenciales parciales hiperb´licas o En esta secci´n. u(x. . . h = 0. . ∂t ∂x2 sujeto a las condiciones u(0.00581836 0.01 y λ = 1 proveen los resultados que se presentan en la tabla 4. .00222241 0 ωi.

2.ar . · · · . t) = u(l. tj+1 ) − 2u(xi . · · · . tj ) + u(xi−1 . se reescribe la ecuaci´n en diferencias por o ωi. (20) para cada j = 1.j = 0. (18) Dicha ecuaci´n se cumple para i = 1. m − 1. 0) = g(x). ∂t u(0. t > 0.edu. Con h = l/m.j − 2ωi. 3. 0) = f (x). tj ) − α2 2 (xi .j + ωi. donde α es una constante.j−1 − λ2 ωi+1. tj+1 ) k 2 ∂ 4 u (xi .uncoma. µj ) − α2 h2 4 (ξi .Ecuaciones Diferenciales Parciales UNCo sujeta a las condiciones ∂u (x. 2. Se selecciona un entero m > 0 y el paso temporal k > 0. 2 ∂t k2 12 ∂t4 donde µj ∈ (tj−1 .0 = f (xi ). 12 ∂t ∂x = Dejando de lado el t´rmino del error e τi. m − 1 y j = 1. tj ) .j ωi.j+1 − 2ωi. tj ) + u(xi−1 . tj ) − 2u(xi . · · · . m y j = 0.MCI II . (19) Escribiendo el conjunto de ecuaciones en forma matricial se obtiene 14 MCI II http://pedco. Sustituyendo en la ecuaci´n (17) se obtiene o u(xi . (17) ∂t2 ∂x Si se utilizan diferencias centradas para las derivadas parciales de segundo orden se obtiene el siguiente m´todo en diferencias e ∂2u u(xi . para 0 ≤ x ≤ l. k2 h2 Si se define como λ = αk/h. para cada i = 1. En los puntos interiores de la grilla (xi . t) = 0. tj−1 ) u(xi+1 . tj ) .j + λ2 (ωi+1. tj ) h2 ∂ 4 u (xi .j+1 = 2(1 − λ2 )ωi.j + ωi−1. 1. Las condiciones de frontera o dan ω0. tj ) − α2 2 k h2 4 4 1 ∂ u ∂ u k 2 4 (xi . tj ).j = 1 ∂4u ∂4u k 2 4 (xi . tj ) = 0. tj ) = − (ξi . tj ) = − (xi .j = 0 la cual se resuelve para ωi. y ∂2u u(xi+1 .j−1 − α2 = 0. µj ). · · · . 2. 2. tj+1 ) − 2u(xi . tj ).j + 2λωi.j − λ2 ωi−1.j = ωm.j + ωi−1. tj ) + u(xi .j ) − ωi. xi+1 ). 1.j+1 para obtener ωi. la ecuaci´n de onda es o ∂2u ∂2u (xi . tj+1 ).j + ωi. µj ) − α2 h2 4 (ξi . tj ) + u(xi .j−1 . 2 ∂x h2 12 ∂x4 donde ξi ∈ (xi−1 . para cada i = 0.j+1 − 2ωi. y las condiciones inciales implican que ωi. · · · . · · · . tj ) − 2u(xi . y u(x. los puntos de la malla se definen por xi = ih y tj = jk. 12 ∂t ∂x se obtiene la ecuaci´n en diferencias o ωi+1.

j . debe obtenerse de la condici´n inicial de la velocidad o o ∂u (x. 2 ∂t2 = u(xi . ∂t Una primer aproximaci´n podr´ ser reemplazar ∂u/∂t por una aproximaci´n en diferencias o ıa o hacia adelante. ωm−1.1 = ωi. . . m − 1. . . (23) Sin embargo.2 . 0) + (xi . . 0) + k (22) u(xi . 0 ··· 0 ··· ··· ··· . para cada i = 1.0 + kg(xi ).   (21) t tj t j−1 x i−1 xi xi+1 l x Figura 10: Esquema para la ecuaci´n de onda.edu. ∂t 2 ∂t2 6 ∂t3 15 MCI II http://pedco. u(xi .Ecuaciones Diferenciales Parciales UNCo        ω1. 0) = g(x).j ω2. t1 ) − u(xi . Resolviendo para u(xi . 0) + (xi . 0) + k k2 ∂ 2 u k3 ∂ 3 u ∂u (xi . µi ) ∂t 2 ∂t2 k2 ∂ 2 u = u(xi . esta aproximaci´n tiene un error del orden de O(k). λ 2 0 0 0 λ2 2(1 − λ2 )        ω1.j−1     .j+1 ω3. que se necesitan a o en la ecuaci´n (18) para calcular ωi.j−1 .j+1         =     2(1 − λ2 ) λ2 0 2 λ 2(1 − λ2 ) λ2 0 ··· ··· . . . pero los valores para j = 1. 0 ≤ x ≤ l. . (ver figura 10). ωm−1. ωm−1. o Las ecuaciones (18) y (19) implican que el (j + 1)-´simo paso de tiempo requiere valores en los e pasos de tiempo j y j − 1. . . t1 ). ∂t k 2 ∂t2 para alg´n µi en (0. t1 ) Luego. ωi. µi ). .j−1 ω2. µi ).uncoma. .j+1 ω2.j         −     ω1.ar .j ω3. 0) k ∂ 2 u ∂u (xi .j+1 .j−1 ω3. 0). 0) + (xi . considerando la ecuaci´n o o u(xi . . 0) = − (xi . Puede obtenerse una mejor o aproximaci´n a u(xi . .MCI II . Esto produce un problema m´s peque˜o dado que los a n valores para j = 0 est´n dados por la ecuaci´n (20). t1 ) se obtiene u ∂u k2 ∂ 2 u (xi . µi ). . t1 ) = u(xi . · · · . . 0) + kg(xi ) + (xi .

2h2 u(xi . · · · . t1 ) en un polinomio de Maclaurin en t de u orden dos. (24) u(0. h = 0.20 para i = 0. la o serie de Taylor provee que u(x. t1 ). xi+1 ). h2 12 para alg´n ξi en (xi−1 . 10. la ecuaci´n en diferencias o λ2 λ2 f (xi+1 ) + f (xi−1 )] + kg(xi ). se tiene λ2 [f (xi+1 ) − 2f (xi ) + f (xi−1 )] + O(k 3 + h2 k 2 ) 2 λ2 λ2 (1 − λ2 )f (xi ) + f (xi+1 ) + f (xi−1 )] + kg(xi ) + O(k 3 + h2 k 2 ).Ecuaciones Diferenciales Parciales UNCo para alg´n µi en (0. f (xi ) + 2 6 ∂t3 Si f ∈ C 4 [0. k = 0. ωi. 0) + kg(xi ) + produciendo una aproximaci´n con error O(k 3 ): o ωi1 = ωi0 + kg(xi ) + α2 k 2 f (xi ). 2.1 . ∂t La soluci´n exacta a este problema es u(x. t) = u(1. t1 ) = u(xi . t > 0. ∂u (x. Esto se debe a que la soluci´n exacta es infinitamente diferenciable. µi ).uncoma. 0) + kg(xi ) + = Luego. · · · . 0) = sin (πx). t) = 0. entonces ∂2u d2 u ∂2u (xi .1 = (1 − λ2 )f (xi ) + Ejemplo 1: Considere el problema hiperb´lico o ∂2u ∂2u (x. m − 1. 0 ≤ x ≤ 1. 0) = α2 2 (xi ) = α2 f (xi ) 2 ∂t ∂x dx y u(xi . y condiciones iniciales 0 < t.MCI II . Si se resuelve el problema o para m = 10. puede aproximarse por a f (xi ) = f (xi+1 ) − 2f (xi ) + f (xi−1 ) h2 (4) − f (ξi ). 0≤x≤1 y 16 MCI II http://pedco. Esto implica que u u(xi . t1 ) = u(xi . t) − 4 2 (x. ∂t2 ∂x con condiciones de borde 0 < x < 1. 0) = α2 2 (xi . 2 2 puede utilizarse para encontrar ωi. para cada i = 1.edu. 1] pero f (xi ) no est´ disponible. 0) = 0. 1. que proviene de expandir u(xi . Si f existe. o Los resultados del ejemplo son precisos dado que el error de truncamiento local es de orden O(k 2 + h2 ). t) = sin (πx) cos (2πt). los resultados se presentan en la tabla 5 para la aproximaci´n ωi.1. T = 1. 0) + kg(xi ) + Reemplazando λ = (kα/h). t) = 0. 2 α2 k 2 k3 ∂ 3 u (xi . t1 ) = u(xi . En estos casos. 2 2 α2 k 2 [f (xi+1 ) − 2f (xi ) + f (xi−1 )] + O(k 3 + h2 k 2 ).05 y λ = 1.ar .

Ecuaciones Diferenciales Parciales UNCo xi 0. el m´todo e o e de diferencias finitas expl´ ıcito para la ecuaci´n de onda tiene problemas de estabilidad.5 0.6 0.4 0. tj ).0 ωi.20 0.ar . ∂x ∂x ∂x = k2 y dado que λ2 = (α2 k 2 /h2 ) = 1. tj ) − α2 h4 6 (xi . tj ) + 2 (xi .1 0.9 1. diferenciando la ecuaci´n de onda se obtiene o k2 ∂4u (xi . tj+1 ) − 2u(xi .0000000000 0. es convergente con O(h2 + k 2 ) si f y g son suficientemente diferenciables. t) satisface la ecuaci´n diferencial o u(xi+1 . tj ) + 2 (xi . tj ) − α2 h2 4 (xi .9510565163 0.3090169944 0.3 0.8 0. tj−1 ) k2 2 ∂ u h2 ∂ 4 u h4 ∂ 6 u (xi .edu. tj+1 ) − 2u(xi .0000000000 Cuadro 5: Soluci´n para el Ejemplo 1. o Como en el caso del m´todo en diferencias hacia adelante para la ecuaci´n del calor.5877852523 0. o = y u(xi+1 . tj ) ∂t4 ∂2 ∂2u ∂2 ∂2u α2 2 (xi .9510565163 1.8090169944 0. tj ) + (xi .0 0. 4 ∂t4 ∂x 4 ∂x Continuando de esta manera. tj ) + · · · . tj ) + u(xi . e o implicando que el error local de truncamiento es cero. Los unicos errores en el ejemplo 1 son ´ aquellos que provienen de la aproximaci´n a ωi.1 y errores de redondeo. se tiene ∂4 α2 2 2 ∂4u 1 2 ∂4u k (xi . 6 ∂t ∂x = + (25) Sin embargo. o 17 MCI II http://pedco. tj ) + (xi . El m´todo expl´ e e ıcito presentado en esta secci´n con λ ≤ 1.3090169944 0. tj ) u(xi .8090169944 0. tj ) = α2 k 2 2 (xi .2 0.uncoma. todos los t´rminos del lado derecho de la ecuaci´n (25) son cero. tj ) + u(xi−1 . tj ) − 2u(xi . tj ) = α4 k 2 4 (xi .7 0. tj ) h2 2 ∂ u h4 ∂ 6 u h2 ∂ 4 u (xi . tj ) − α2 h2 4 (xi . tj ) + u(xi .0000000000 0. tj ) − 2u(xi . tj ) + u(xi−1 . tj ) + · · · . tj ) 2 4 4 ∂t ∂x 1 ∂6u ∂6u k 4 6 (xi . o es necesario que λ = αk ≤ 1 para que el m´todo sea estable. tj−1 ) − α2 k2 h2 4 4 1 ∂ u ∂ u (xi .MCI II . tj ) + · · · ∂x2 4 ∂x4 6 ∂x6 = u(xi . 2 4 ∂t 4 ∂t 6 ∂t6 Dado que u(x. tj ) ∂t2 ∂x ∂x ∂t2 ∂2 ∂2u ∂4 = α2 k 2 2 α2 2 (xi . tj ) = [α k − h2 ] 4 (xi . tj ) = 0.5877852523 0. De hecho.

Thompson Learning.edu.. D. An´lisis Num´rico.uncoma.ar .Ecuaciones Diferenciales Parciales UNCo Referencias [1] Burden. Ed.MCI II .J. R.L and Faires. ISBN 970-686a e 134-3. 18 MCI II http://pedco.