Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
3.3.
En esta seccin vamos a describir mtodos numricos, para la resolucin de ecuaciones en derivadas parciales de una funcin u(x, y) con dos variables, basados en la aproximacin por diferencias nitas (tcnica ya usada en el tema anterior). La funcion u(x, y) estar denida en un rectngulo R = {(x, y)/ a x b c y d}. Dividiremos el intervalo [a, b] en n subintervalos iguales de amplitud h = ba y el intervalo [c, d] en m subintervalos n iguales de amplitud k = dc lo que da como resultado una cuadrcula en el rectngulo R m cuyos puntos de red son de la forma (xi , yj ) con xi = a + ih e yj = c + jk . Tenemos las siguientes aproximaciones:
u (x, y) x u (x, y) y u (x, y) y 2u (x, y) x2 2u (x, y) y 2 u(x + h, y) u(x, y) h
d. progresiva
d. centrada d. centrada
CAPTULO 3.
(3.6)
donde A, B y C son constantes. Estas ecuaciones se clasican en tres tipos segn los valores de B 2 4AC . Si B 2 4AC < 0 la ecuacin se llama Si B 2 4AC = 0 la ecuacin se llama Si B 2 4AC > 0 la ecuacin se llama
3.3.1. Ecuaciones elpticas
elptica.
parablica. hiperblica.
Consideremos una placa rectangular de 5cm 4cm. Conservamos dos fronteras adyacentes a 0 C, mientras que el calor en las otras dos fronteras aumenta linealmente de 0 C a 100 C. La distribucin de la temperatura u(x, y) en el interior de la placa viene dada por la expresin
o o o
2u 2u (x, y) + 2 (x, y) = 0 x2 y
Se pide calcular la temperatura en un punto interior de la placa. Este es un ejemplo de ecuacin en derivadas parciales de tipo elptico pues A = C = 1 y B = 0. Un problema algo ms general que ste se enunciar en la siguiente forma: Sean u, f : R = [a, b] [c, d] R siendo las derivadas parciales segundas de u continuas en R. Calcular de forma aproximada la solucin de
2u (x, y) x2
2u (x, y) y 2
(3.10)
Las frmulas (3.4) y (3.5) en cada punto (xi , yj ) de la cuadrcula en que se ha dividido el rectngulo R son:
2u (xi , yj ) x2 2u (xi , yj ) y 2 u(xi + h, y) 2u(xi , yj ) + u(xi h, yj ) u(xi+1 , y) 2u(xi , yj ) + u(xi1 , yj ) = 2 h h2 u(xi , yj + k) 2u(xi , yj ) + u(xi , yj k) u(xi , yj+1 ) 2u(xi , yj ) + u(xi , yj1 ) = 2 k k2
3.3.
por lo que sustituyendo en la ecuacin en derivadas parciales obtenemos para i = 1, 2, ..., n 1 y j = 1, 2, ..., m 1:
u(xi+1 , yj ) 2u(xi , yj ) + u(xi1 , yj ) u(xi , yj+1 ) 2u(xi , yj ) + u(xi , yj1 ) + = f (xi , yj ) h2 k2
y
u(x0 , yj ) = g1 (yj ) u(xi , y0 ) = h1 (xi )
j = 0, 1, ..., m i = 0, 1, ..., n
Escribiendo ui,j = u(xi , yj ) y agrupando los trminos semejantes tenemos el sistema de (n 1) (m 1) ecuaciones con las (n 1) (m 1) incgnitas ui,j i = 1, 2, ..., n 1; j = 1, 2, ..., m 1:
1 1 1 1 (ui+1,j + ui1,j ) 2(( 2 + 2 ))ui,j + 2 (ui,j+1 + ui,j1 ) = fi,j 2 h h k k
(3.11)
en el que observamos aparece relacionada en cada ecuacin el valor de la solucin en los nodos (xi , yj ), (xi1 , yj ), (xi+1 , yj )(xi , yj1 ), (xi , yj+1 ). Si despejamos ui,j para aplicar el mtodo de Jacobi para resolver este sistema y llamamos = 2( h12 + k12 )tenemos:
ui,j = ui+1,j + ui1,j ui,j+1 + ui,j1 fi,j + h2 k 2
(3.12)
Si asignamos un valor inicial u(0) a las variables, la frmula de iteracin por el mtodo i,j de Jacobi es:
(k+1) ui,j
(k)
(k)
(k)
(k)
(3.13)
Conservamos dos
Ejemplo 3.3.1.
o fronteras adyacentes a 0 C, mientras que el calor en las otras dos fronteras aumenta o C a 100o C. La distribucin de la temperatura u(x, y) en el interior de linealmente de 0
la placa viene dada por la expresin
2u 2u (x, y) + 2 (x, y) = 0 x2 y
Se pide calcular la temperatura en un punto interior de la placa.
En este ejemplo R = {(x, y)/ 0 x 0.5 0 y 0.5}. Vamos a tomar h = k = 0.125. La placa se divide en 16 cuadrados de lado 0.125 cm. Las condiciones de frontera en este caso son:
u(0, y) = 0, u(x, 0) = 0, u(x, 0.5) = 200x, u(0.5, y) = 200y
CAPTULO 3.
ui,j =
en los nodos interiores de la cuadrcula. Por lo tanto, obtenemos las siguientes ecuaciones:
3.3.
5
u2 u1 u2 u1 u2 u3 u8 u7 u8 u4 u5 u6 u7 u8 u9 u4 u5 u6 = = = = = = = = = u03 u24 u43 u02 0 u42 u01 u20 u30 + u14 + u34
P1 P2 P3 P4 P5 P6 P7 P8 P9
+ u10 + u41
Sustituyendo los valores de la funcin en la frontera tenemos el siguiente sistema de ecuaciones lineales:
4 1 0 1 0 0 0 0 0 u1 25 1 4 1 0 1 0 u2 50 0 0 0 0 1 4 0 0 1 0 0 0 u3 150 1 0 0 4 1 0 1 0 0 u4 0 0 1 0 1 4 1 0 1 0 u5 = 0 0 0 1 0 1 4 0 0 1 u6 50 0 0 0 1 0 0 4 1 0 u7 0 0 0 0 0 1 0 1 4 1 u8 0 0 0 0 0 0 1 0 1 4 u9 25
1 2 3 4 5 6 7 8 9 18.7500 37.4999 56.2500 12.4999 24.9999 37.4999 6.2500 12.4999 18.7500 Las respuestas anteriores son exactas pues la verdadera solucin es u(x, y) = 400xy .
3.3.2.
Ecuaciones parablicas
Consideremos una barra larga y delgada de longitud l situada en el eje OX . Supongamos que la temperatura en los extremos se mantiene constante con valores T1 y T2 . Si u(x, t) es la temperatura en el punto x de la barra en el instante t, se verica la ecuacin
ut (x, t) = c2 uxx (x, t) para 0 < x < l, t>0
(3.14) (3.15)
CAPTULO 3.
(3.16)
Seleccionamos un paso del tiempo k > 0 y un paso de la longitud h = > 0 con lo que n el rectngulo en que vamos a hallar la solucin R = {(x, t) / 0 x l 0 t b} queda dividido mediante los nodos (xi , tj ) con xi = ih e tj = jk . En cada nodo interior se ha de vericar la ecuacin diferencial
ut (xi , tj ) = c2 uxx (xi , tj )
tendremos:
u(xi+1 , tj ) 2u(xi , tj ) + u(xi1 , tj ) u(xi , tj+1 ) u(xi , tj ) = c2 k h2
(3.17)
u(xi , 0) = f (xi )
i = 0, 1, ..., n
La expresin anterior nos proporciona la solucin en el instante tj+1 a partir de la solucin en el instante anterior tj . Fijado un instante nal T , elegimos un nmero de subintervalos temporales m y con la expresin (3.17) vamos calculando la solucin en cada instante hasta llegar a T . Este esquema converge siempre que r = 2 . En forma matricial h 2 podemos escribir:
kc2 1
3.3.
0 0 r 0
. . . . . .
0 r
Si u0,j = un,j = 0 y
u(0) = (f (x1 ), f (x2 ), ..., f (xn1 ))
y
u(j) = (u1,j , u2,j , ..., un1,j )
A este mtodo se le conoce con el nombre de mtodo de diferencias progresivas porque u se y ha sustituido por la expresin (3.2) llamada diferencia progresiva y es de orden O(k + h2 ). Tambin se le conoce con el nombre de mtodo explcito porque calcula directamente la solucin en el tiempo tj+1 a partir de la solucin en el instante tj . Tiene el inconveniente de que para ser estable se ha de vericar que r 0.5.
Mtodo implcito
Para obtener un mtodo estable se utiliza la frmula (3.3) llamada de diferencia regresiva y si sustituye en la ecuacin en derivadas parciales junto con (3.4) tenemos:
CAPTULO 3.
u(xi , tj ) u(xi , tj1 ) u(xi+1 , tj ) 2u(xi , tj ) + u(xi1 , tj ) = c2 k h2 y utilizando la notacin ui,j = u(xi , tj ) ui+1,j 2ui,j + ui1,j ui,j ui,j1 = c2 k h2
En este caso tenemos para cada j un sistema de ecuaciones lineales en las n 1 incgnitas ui,j escrito en forma matricial:
1 + 2r r 0 0 0 u1,j u1,j1 ru0,j r 1 + 2r r 0 0 u2,j u2,j1 0 . . . . . = . + . . . . . . . . . . . . . . . . . . 0 0 0 r 1 + 2r un1,j un1,j1 run,j
Este sistema siempre tiene solucin mediante el mtodo de Jacobi o el de Gauss-Seidel porque la matriz es de diagonal estrictamente dominante. Aplicando el mtodo de Jacobi podemos escribir:
(k+1) ui,j
(k)
(k)
(k)
Este mtodo tiene el inconveniente de que el error local de truncamiento tiene una parte con orden O(k) lo cual requiere hacer mucho ms pequeos los subintervalos de tiempo que los de espacio.
Mtodo de Crank-Nicholson
Para evitar este inconveniente surge el mtodo de Crank-Nicholson que discretiza en dos instantes y hace la media. En el instante tj aproxima ut (ui , tj ) mediante una diferencia progresiva:
ui,j+1 ui,j ui+1,j 2ui,j + ui1,j c2 =0 k h2
3.3.
Figura 3.4: Mtodo implcito y en el instante tj+1 aproxima ut (ui , tj+1 )mediante una diferencia regresiva:
ui,j+1 ui,j ui+1,j+1 2ui,j+1 + ui1,j+1 c2 =0 k h2
para i = 1, 2, ..., n 1 y j = 1, 2, .... Al despejar los trminos del instante j + 1 nos queda el sistema de ecuaciones lineales en las n 1 incgnitas ui,j+1 :
2(1 + r)ui,j+1 r(ui+1,j+1 + ui1,j+1 ) = 2(1 r)ui,j + r(ui+1,j + ui1,j )
en forma matricial:
2(1 + r) r . . . 0 r 2(1 + r)
. . .
0 r
. . .
0 0
. . .
0 0
. . .
r 2(1 r)
. . .
0 r
. . .
0 0
. . .
0 0
. . .
2(1 + r)
2(1 r)
La matriz de este sistema es de diagonal estrictamente dominante por lo que siempre se puede resolver. Lo podemos hacer por Jacobi o por Gauss-Seidel Mtodo de Jacobi:
(k+1) ui,j+1
(k)
(k)
(k)
(k)
(k)
i = 1, 2, ..., n1 j = 1, 2, ...
Mtodo de Gauss-Seidel:
(k+1) ui,j+1
i = 1, 2, ..., n1 j = 1, 2, ...
10
CAPTULO 3.
para
0<x<1
para
t=0
0x1
u(0, t) = 0 = u(1, t)
para
0 t 0.20
Tomamos un paso h = 0.2 y k = 0.02. La malla tendr 5 columnas de ancho y 10 de alto. Las frmulas son:
ui,j+1 = ui1,j + ui+1,j 2
c2 k 1 = . 2 h 2
1 el mtodo no es estable. 30
Ecuaciones hiperblicas
Consideramos un cuerda cuyos extremos estn jos en dos puntos x = a y x = b del eje OX que soporta una tensin F . Si se desplaza la cuerda de la posicin de equilibrio y se suelta comienza a vibrar en un plano vertical. El desplazamiento vertical u(x, t) de un punto x en el tiempo t satisface la ecuacin diferencial:
c2 2u 2u (x, t) = 2 (x, t) a < x < b t > 0 x2 t
3.3.
11
x4 = 0.60
x1 = 0.00 t1 = 0.00 t2 = 0.02 t3 = 0.04 t4 = 0.06 t5 = 0.08 t6 = 0.10 t7 = 0.12 t8 = 0.14 t9 = 0.16 t10 = 0.18 t11 = 0.20
0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000
x2 = 0.20
0.640000 0.480000 0.400000 0.320000 0.260000 0.210000 0.170000 0.137500 0.111250 0.090000 0.072812
x3 = 0.40
0.960000 0.800000 0.640000 0.520000 0.420000 0.340000 0.275000 0.222500 0.180000 0.145625 0.117813
0.960000 0.800000 0.640000 0.520000 0.420000 0.340000 0.275000 0.222500 0.180000 0.145625 0.117813
x5 = 0.80
0.640000 0.480000 0.400000 0.320000 0.260000 0.210000 0.170000 0.137500 0.111250 0.090000 0.072812
x6 = 1.00
0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000 0.000000
Cuadro 3.1: Resultados obtenidos con el mtodo de las diferencias progresivas en la ecuacin parablica del Ejemplo 3.3.2 para r = 0.5. Supondremos unas condiciones iniciales:
u(x, 0) = f (x), u (x, 0) = g(x) a x b t
Sealamos un paso h = para x y un paso k = para t. Mediante los nodos n m (xi , tj ) donde xi = a + ih y tj = jk tenemos una cuadrcula o malla en el dominio donde queremos resolver la ecuacin. En cualquier punto interior de la malla la ecuacin de la onda se transforma en: 2 2
c2 u u (xi , tj ) = 2 (xi , tj ) 2 x t
ba
Si usamos las frmulas (3.4) (3.5) (llamadas de diferencias centradas de las segundas derivadas) y la notacin u(xi , tj ) = ui,j tenemos:
c2 ui+1,j 2ui,j + ui1,j ui,j+1 2ui,j + ui,j1 = 2 h k2
Llamando =
1, 2, ..., m 1
ck y despejando ui,j+1 podemos escribir para i = 1, 2, ..., n 1; j = h ui,j+1 = 2 (ui+1,j + ui1,j ) + 2(1 2 )ui,j ui,j1
(3.18)
12
CAPTULO 3.
La expresin (3.18) nos permite obtener la solucin en el instante tj+1 a partir de la solucin en los instantes tj y tj1 .
Figura 3.6: Mtodo explcito para la ec. de ondas Por lo tanto, para iniciar el proceso necesitamos la solucin en los instantes t0 y t1 . De la primera condicin inicial u(x, 0) = f (x), obtenemos la solucin en el instante t0 , ui,0 = fi para i = 1, 2, ..., n 1. Por otra parte, aproximamos la derivada ut mediante la diferencia centrada y utilizando la segunda condicin inicial u (x, 0) = g(x) t
ut (xi , tj ) u(xi , tj + k) u(xi , tj k) 2k ui,1 = ui,1 2kgi,0
de donde
ui,1 = 2 (ui+1,0 + ui1,0 ) + (1 2 )fi + kgi,0 2
3.3.
13
Mtodo implcito
Para obtener un esquema en diferencias implcito, sustituimos la parcial segunda con respecto al tiempo por la diferencia centrada (3.5) mientras que la derivada segunda respecto a x la aproximamos por la media de las diferencias centradas en tj1 y tj+1 . Obtenemos as la expresin:
ui,j+1 2ui,j + ui,j1 = 2 [(ui+1,j+1 2ui,j+1 + ui1,j+1 ) + (ui+1,j1 2ui,j1 + ui1,j1 )] 2
Agrupando en el primer miembro los valores del paso j + 1 y en el segundo los valores de pasos anteriores queda:
(1 + 2 )ui,j+1 2 2 (ui+1,j+1 + ui1,j+1 ) = 2ui,j + (ui+1,j1 + ui1,j1 ) (1 + 2 )ui,j1 2 2
Para cada paso temporal jo, resolveremos un sistema de n 1 ecuaciones lineales del que se obtienen los valores de ui,j+1 para i = 1, 2, ..., n 1. la matriz del sistema es tridiagonal y estrictamente dominante y por lo tanto el sistema se puede resolver para cualquier valor de . Podemos simplicar su resolucin agrupando las incgnitas en funcin de sus coecientes de manera que el trmino independiente se reduzca a un nico elemento y obtenemos:
2 2 1 + 2 (ui,j+1 + ui,j1 ) (ui+1,j+1 + ui+1,j1 ) (ui1,j+1 + ui1,j1 ) = ui,j 2 4 4
Al resolver el sistema en cada paso temporal jo, obtenemos el valor de wi = ui,j+1 + ui,j1 para i = 1, 2, ..., n 1 y como en cada paso j se tiene resuelto el sistema para el paso j 1 podemos obtener ui,j+1 = wi ui,j1
Ejemplo 3.3.3.
Una cuerda de un determinado instrumento musical mide 80 cm. de longitud y pesa 1 g. Se estira con una tensin de 40000 g. En un punto a 20cm de un extremo, se tira de la cuerda 0.6 cm con respecto a la posicin de equilibrio y luego se suelta. 1. Tomando un paso espacial de 10 cm, determina la posicin de la cuerda en el instante t=1, utilizando el mtodo explcito con el paso temporal ms grande posible que garantice la convergencia del mtodo. 2. Representa la posicin de la cuerda en diferentes instantes de tiempo. Es posible determinar en cunto tiempo se completa un ciclo de movimiento?
es:
La ecuacin que rige las vibraciones de la cuerda tensa estirada entre dos puntos jos
utt = Fg uxx w
14
CAPTULO 3.
donde F es la tensin 40000 g, g es la gravedad 980 cm/s2 y w es el peso por unidad de longitud 1/80 g/cm, por lo tanto la ecuacin que rige el movimiento es:
utt = 40000g 980cm/s2 uxx = 3136 106 uxx 1g/80cm
Como la cuerda est sujeta en los extremos las condiciones de contorno son:
u(0, t) = u(80, t) = 0
Puesto que el mtodo explcito converge cuando 1 y tenemos = (ck/h) = ( 3136 106
k/10), por tanto, k 1 1 luego el mayor valor de k es . 5600 5600