Documente Academic
Documente Profesional
Documente Cultură
Facultad de Ingeniera-UBA
GUIA DE PROBLEMAS
2008
u f (u ) + = 0; t x
x < , t 0
si x<0 0 u ( x, 0) = 1 x si 0 x 1 0 si x >1
a) Tomar f(u) = u2/2 b) Tomar f(u) = 4u
u u +u = 0; t x
con condiciones iniciales
x < , t 0
0 1 + x u ( x, 0) = 1 x 0
a) Dibujar el diagrama de curvas caractersticas para t > 0. b) Dibujar la forma de la solucin para dos tiempos t1 y t2 tales que 0 < t1 < 1 y 1 < t2
Problema 1.3 Dibujar cualitativamente el diagrama de curvas caractersticas para los siguientes problemas: a)
u u u2 = 0; t x
x < , t 0
b)
u u + u2 = 0; t x
x < , t 0
0 u ( x, 0) = x 0
Angel N.Menndez Pg. 1/34
si
x<0
si 0 x 1 si x >1
16/08/10
Facultad de Ingeniera-UBA
GUIA DE PROBLEMAS
2008
Problema 2.2 Se tiene la siguiente ecuacin diferencial: u t + u = u xx , , >0. a) b) c) d) Discretizarla utilizando el esquema de Crank-Nicholson centrado espacialmente. Calcular el orden del error de discretizacin. Analizar la estabilidad numrica. Plantear el mtodo de clculo, discutiendo condiciones iniciales y de borde apropiadas.
Problema 2.3 Sea la siguiente ecuacin diferencial: u t - (1+u) u xx = 0 a) Discretizarla utilizando un esquema explcito apropiado. Inspirndose en el caso lineal, establezca de qu tipo deben ser las condiciones de estabilidad del esquema propuesto. b) Utilizando la condicin inicial siguiente
Angel N.Menndez
Pg. 2/34
16/08/10
Facultad de Ingeniera-UBA
0.2
0.4
0.6
0.8
1.0
y condiciones de borde apropiadas, a su eleccin, avanzar cuatro pasos de clculo. c) Estudiar la tendencia de la solucin.
u u 2u , +U = t x x2
donde U y son constantes positivas. a)
0 x L,
0t
(1) (2)
b)
c)
Plantear un esquema donde el trmino advectivo se discretice como un promedio pesado entre la forma centrada y la forma con upwinding, y obtener las condiciones de estabilidad mediante el mtodo de acotamiento. Mostrar que esas condiciones se reducen a las expresiones (1) y (2) en los correspondientes casos lmites. Explicar las caractersticas de cada uno de los tres mtodos en cuanto a precisin y en cuanto a estabilidad para el caso en que la adveccin es dominante. Tiene alguna ventaja el esquema propuesto en esta ltima situacin? Plantear un esquema donde el trmino advectivo tenga upwinding pero sea fuertemente implcito. Demostrar, utilizando el mtodo de von Neumann, que la nica condicin de estabilidad es la primera de las condiciones (1).
u u 2u +U = t x x2
donde U y son constantes positivas. a) b) Discretizarla utilizando un mtodo localmente unidimensional. Elija esquemas explcitos centrados espacialmente. Demostrar que el mtodo as planteado es consistente. Sugerencia: Reducir las dos ecuaciones en diferencias a una sola y demostrar la consistencia de esa ecuacin reducida. Verificar que el orden de precisin del mtodo es el esperado.
Pg. 3/34 16/08/10
c)
Angel N.Menndez
Facultad de Ingeniera-UBA
Problema 2.6 Se tiene la siguiente ecuacin parablica bidimensional: u t = u xx + u yy , 0 x,y 1, t 0 u(x,y,0) = sen( x).sen( y) u(0,y,t) = u(1,y,t) = 0 u(x,0,t) = u(x,1,t) = 0 cuya solucin exacta es u(x,y,t) = e 2
2
sen( x).sen( y)
a) Resolverla utilizando un mtodo explcito centrado con x=0.1. Comparar con la solucin exacta. b) Recalcular usando el esquema fuertemente implcito.
Problema 2.7 Sea la siguiente ecuacin diferencial: u t + c 1 u x + c 2 u y = ( u xx + u yy ) , c 1 ,c 2 , > 0 a) Resolverla utilizando el mtodo de las direcciones alternadas de Peaceman-Rachford. Utilizar x=0.1. b) Recalcular mediante un esquema localmente unidimensional y fuertemente implcito. Analizar la estabilidad numrica y la consistencia.
Problema 2.8 Sea el siguiente problema parablico no lineal: ut=( a(u) ux )x , 0 x 1 , t 0 , a(u) 0 Construir una aproximacin de orden dos en el espacio y en el tiempo utilizando el esquema de tres niveles de Du Fort-Frankel.
u u + t x x
donde (x) es una funcin conocida, que crece montonamente con x. Se propone discretizar esa ecuacin mediante un mtodo explcito utilizando una malla con nodos alternados para u y , es decir que mientras u est localizado en los nodos j, j+1, j+2, etc., lo est en j+1/2, j+3/2, etc. a) Escribir la versin discretizada de la ecuacin diferencial, utilizando un esquema explcito de orden 2 en el espacio. b) Teniendo en cuenta que la ecuacin diferencial puede reescribirse como
u u 2u = t xx x2
plantear un esquema ms estable que el anterior (reduciendo, como costo, el orden de precisin). Demostrar, comparando con el esquema anterior, que esa mayor estabilidad se logra por la introduccin de un trmino de difusin numrica.
Angel N.Menndez
Pg. 4/34
16/08/10
Facultad de Ingeniera-UBA
donde es una constante positiva. a) Discretizarla por un mtodo localmente unidimensional fuertemente implcito. b) Mostrar que, si se utiliza el operador
x uij = ui +1/ 2 j ui 1/ 2 j
donde rx=t/x2 y ry=t/y2. (Sugerencia: escriba cada ecuacin del sistema en trminos del operador y luego opere para obtener la expresin requerida). c) Desarrollar los operadores en la ecuacin obtenida en el punto anterior. Luego obtener la ecuacin modificada de Hirt, aunque sin efectuar la reduccin a operadores puramente espaciales. (Sugerencia: los desarrollos de Taylor hacerlos alrededor del nodo n+1,i,j). Comparar el trmino adicional obtenido con el correspondiente al mtodo directo fuertemente implcito, que vale
2 u t 4 u 2 4 u 2 + ( x + y ) t 2 2 12 x 4 y4
u u 2 u +U = t x x2
donde U y son constantes. Ya se ha visto que si esta ecuacin se discretiza mediante un mtodo explcito directo, con el trmino difusivo centrado y el advectivo con upwinding, resulta un esquema consistente, condicionalmente estable. a) Discretizarla utilizando los mismos esquemas, pero con la tcnica de desdoblamiento ("splitting"). b) Mostrar que el mtodo as planteado es consistente. (Sugerencia: Llevar el problema en diferencias a una sola ecuacin y slo analizar la parte en que difiere del mtodo explcito directo).
2u 2u u = D 2 + 2 t y x
Discretizarla mediante un mtodo explcito centrado espacialmente, utilizando la tcnica de desdoblamiento (mtodo localmente unidimensional). Considerar pasos espaciales (x,y) distintos en ambas direcciones. Demostrar que el esquema as construido es consistente con la ecuacin diferencial, teniendo en cuenta que ambos pasos espaciales son siempre del mismo orden, es decir, O(x/y)=1. (Sugerencia: reducir las dos
Angel N.Menndez Pg. 5/34 16/08/10
Facultad de Ingeniera-UBA
ecuaciones en diferencias a una nica ecuacin, eliminando la variable intermedia, y hacer el anlisis de consistencia sobre esa ecuacin). Verificar que el orden de precisin del esquema numrico es O(t,x2,y2).
Problema 2.15 El desarrollo de una capa lmite laminar a lo largo de la superficie plana de un cuerpo rgido (ver figura 1) se describe por el siguiente sistema de ecuaciones, que expresan la conservacin de la masa y la cantidad de movimiento en la direccin de la corriente:
u v + =0 x y
u u U 2u +v =U + 2 x y x y
donde x e y son las coordenadas en las direcciones longitudinal y normal a la superficie del cuerpo, u y v las componentes de la velocidad en esas direcciones, respectivamente, U la velocidad de la corriente libre (es decir, lejos del contorno slido) y la viscosidad cinemtica del fluido. Esas ecuaciones de movimiento se complementan con las siguientes condiciones de borde, que expresan el no deslizamiento y la impenetrabilidad del contorno rgido y la tendencia asinttica hacia la corriente libre lejos de ese contorno:
u ( x, 0) = 0, v( x, 0) = 0, u ( x, y ) U ( x) y
Angel N.Menndez
Pg. 6/34
16/08/10
Facultad de Ingeniera-UBA
U Figura 1 Perfil vertical de velocidad horizontal para una capa lmite laminar u
El problema de capa lmite se da para zonas lo suficientemente alejadas del comienzo de la superficie; si esta distancia es x, la condicin es Ux/ >>1. Para completar el planteo del problema an resta especificar los perfiles de las dos componentes de la velocidad para una seccin inicial x = xo, es decir, u(xo,y) y v(xo,y). En el caso particular en que no existe un gradiente de presiones longitudinal, la corriente libre U es constante (es decir, independiente de x), por lo que desaparece su contribucin en la ecuacin de la cantidad de movimiento. Este se conoce como el problema de Blasius del flujo sobre el plato, y es el que deber estudiar. Cmo clasifica al sistema diferencial? (parablico, hiperblico, elptico). Efecte un anlisis de escalas para mostrar que el espesor de la capa lmite (x) es del orden (x/U) si x es la distancia desde el inicio del plato. Demuestre tambin que (x) << x. Considere ahora el siguiente caso especfico: U = 0,50 m/s; = 10-6 m2/s (agua). Se plantea una condicin de arranque para un xo arbitrario (ahora no necesariamente medido desde el origen del plato) con un perfil de velocidades esquemtico para u de acuerdo a lo mostrado en la figura 2, mientras que a la velocidad v se la toma idnticamente nula. Para el espesor inicial se toma el valor o = 0,09 m. Plantee ahora una grilla de clculo rectangular. Tome un paso vertical grueso y = o /3. Elija entonces un paso horizontal x adecuado para resolver el problema con precisin. La idea es calcular la evolucin de los perfiles de velocidad hasta una distancia L = 5x. Determine cul es la altura adecuada H del dominio de clculo en la direccin vertical. Para ello analice cmo espera que crezca el espesor de la capa lmite sobre la distancia L. Discretizar las ecuaciones diferenciales mediante el mtodo ms simple de diferencias finitas y efectuar el clculo sobre el dominio recin definido.
Figura 2 Perfil vertical de velocidad horizontal esquemtico como condicin de arranque u(xo,y)
=
y se adimensionaliza la velocidad horizontal
U y 2 x
entonces resulta = ( ) , es decir, una solucin autosimilar (ya que no depende explcitamente de x). El sistema de ecuaciones diferenciales para el problema de Blasius puede ser reemplazado entonces por la ecuacin diferencial ordinaria (problema de valores de contorno)
u , U
f '''+ ff '' = 0 ,
Angel N.Menndez Pg. 7/34 16/08/10
Facultad de Ingeniera-UBA
2 u 2u u = D 2 + 2 . t y x
a) Discretizarla utilizando un mtodo de desdoblamiento splitting (localmente unidimensional); en cada paso usar un esquema explcito centrado. b) Demostrar que el mtodo es consistente, y determinar su orden de precisin. Por simplicidad, considere que x = y. Sugerencia: Despejar la incgnita del primer paso y reemplazarla en el segundo paso. Frmula til: Desarrollo en serie de Taylor:
f ( x, y ) = f ( xo , yo ) + + + + 1 f 2 x 2
2
f x
( x xo ) +
xo , yo
2
f y
( y yo )
xo , yo
( x xo ) 2 +
xo , yo
1 f 2 y 2 1 f 6 y 3
3
( y yo ) 2 +
xo , yo
2 f xy
( x xo )( y yo )
xo , yo
1 f 6 x 3
3
( x xo )3 +
xo , yo
( y yo )3
xo , yo
1 3 f 2 x 2 y
( x xo ) 2 ( y yo ) +
xo , yo
1 3 f 2 xy 2
( x xo )( y yo ) 2 + O (h 4 )
xo , yo
2u 2 u u = D 2 + 2 . 0 x 1, t 0, con las Problema 2.17 Sea el siguiente problema de difusin: t y x siguientes condiciones de borde:
Angel N.Menndez
Pg. 8/34
16/08/10
Facultad de Ingeniera-UBA
Angel N.Menndez
Pg. 9/34
16/08/10
Facultad de Ingeniera-UBA
GUIA DE PROBLEMAS
2008
y condiciones de borde apropiadas (a su eleccin), realizar los primeros cuatro pasos del clculo.
Discretizarla utilizando un esquema implcito descentrado espacialmente. Establecer el orden del error de discretizacin. Hallar el coeficiente de viscosidad numrica. Analizar la estabilidad numrica. Plantear el mtodo de clculo, discutiendo sobre las condiciones iniciales y de borde apropiadas.
u u +u =0 t x
con condiciones iniciales: u(x,t=0) = 1 , x 1 -x , -1 < x < 0 0 , x0 Reescrita en su forma caracterstica, la ecuacin diferencial es
Angel N.Menndez Pg. 10/34 16/08/10
Facultad de Ingeniera-UBA
Se define una grilla de discretizacin de pasos x = 0,5 y t = 0,4. a) Construir un esquema numrico explcito basado en las caractersticas. Utilizar los valores del paso de tiempo n para obtener valores de la solucin en el paso n+1 pero en puntos no coincidentes, en general, con los nodos de la grilla. Luego hallar los valores nodales mediante interpolacin lineal. Avanzar 3 pasos de tiempo. b) En base a los resultados obtenidos, inferir la solucin numrica asinttica para tiempos grandes. c) Obtener la solucin exacta del problema para los nodos de la malla y comparar con los valores numricos. d) Coinciden las soluciones asintticas exacta y numrica? En caso negativo sugerir variantes de clculo para que s lo hagan.
Problema 3.4 Sea la siguiente ecuacin diferencial: utt - c2 uxx = 0 a) Discretizarla utilizando un mtodo de paso doble de orden dos en el espacio y en el tiempo y hallar la condicin de estabilidad. b) Discretizarla utilizando la idea del esquema de DuFort-Frankel y mostrar que es incondicionalmente estable. c) Dadas las siguientes condiciones iniciales y de contorno:
1 0,9 0,8 0,7 0,6 0,5 0,4 0,3 0,2 0,1 0 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
ut (x,0) = 0 u(0,t) = u(1,t) = 0 avanzar 3 pasos de clculo usando DuFort-Frankel. Tomar x = 0.1 y t = x / c.
Problema 3.5 Se tiene el siguiente sistema de ecuaciones diferenciales: vt + c vx = 0 wt - c wx = 0 a) Discretizarlo utilizando un esquema explcito descentrado (aguas arriba aguas abajo, segn convenga). b) Dadas las siguientes condiciones iniciales y de contorno: Para v(x,0) y para w(x,0) :
Angel N.Menndez
Pg. 11/34
16/08/10
Facultad de Ingeniera-UBA
v(0,t) = -w(0,t) v(1,t) = -w(1,t) avanzar la solucin 3 pasos de clculo con x = 0.1 y t = x / c. c) Calcular u(x,t) = v(x,t) + w(x,t) y comparar con los resultados del problema 4.6.
Problema 3.6 Se tiene la siguiente ecuacin diferencial: (u2/2)t + (u3/3)x = 0 a) Discretizarla utilizando el esquema de Lax. b) Demostrar que el factor de amplificacin, calculado por el mtodo de Von Neumann, vale: gn = (M cos(Kx) + i N sen(Kx))/(2 u nj +1 ) con M = (1-r u nj +1 ) u nj +1 + (1+r u nj 1 ) u nj 1 N = (1-r u nj +1 ) u nj +1 - (1+r u nj 1 ) u nj 1 donde r = t / x (siendo t el paso temporal y x el espacial) y K es el nmero de ondas. c) Demostrar que si en la expresin anterior se toma u constante, se obtiene la condicin de estabilidad de CFL.
a) Por analoga con el caso unidimensional (c2 = 0), discretizarla utilizando el esquema de Lax. b) Utilizando el mtodo de Neumann, demostrar que el factor de amplificacin es: g=1/2(cos(K1 h) + cos(K2 h)) - i (r1 sen(K1 h) + r2 sen(K2 h)) con r1 = c1 t / x y r2=c2 t / x (siendo t el paso temporal y x el espacial) y K1 y K2 las componentes del vector nmero de ondas en las direcciones x e y, respectivamente. c) Hallar la condicin de estabilidad para el caso particular K1=K2. Mostrar que ella es ms restrictiva que la correspondiente al caso unidimensional (c2=0) d) Volver a discretizarla utilizando el esquema explcito de aguas arriba. e) Utilizando von Neumann demostrar que el factor de amplificacin es g=1-2(r1 sen2(K1 h/2) + r2 sen2(K2 h/2)) - i (r1 sen(K1 h) + r2 sen(K2 h)) donde las constantes tienen el mismo significado que antes.
Angel N.Menndez Pg. 12/34 16/08/10
Facultad de Ingeniera-UBA
f) Hallar la condicin de estabilidad para el caso particular K1=K2. Mostrar que ella es ms restrictiva que la correspondiente al caso unidimensional (c2=0) Problema 3.8 Sea el siguiente problema de valores iniciales: ut + ux + uy = 0 u(x,y,0) = 1 si x 0 e y 0 0 en el resto Las condiciones iniciales, discretizadas sobre una malla cuadrada, pueden representarse as: 0000000000000 0000000000000 0000000000000 1111111000000 1111111000000 1111111000000 a) Discretizar la ecuacin diferencial utilizando el esquema explcito de aguas arriba. De qu tipo ser la condicin de estabilidad de este problema?. Inspirarse en el caso unidimensional. b) Tomando x = 0.1 y eligiendo t de modo de evitar inestabilidades numricas, avanzar la solucin tres pasos de clculo, representando cada paso en la misma forma en que se representaron las condiciones iniciales. c) Discutir sobre la tendencia de la solucin en base a los resultados obtenidos.
du dx = bu sobre =u dt dt
Desarrollar la formulacin de un mtodo numrico de resolucin en base a las curvas caractersticas, de acuerdo al siguiente procedimiento: i) ii) iii) iv) v) Definir una red de clculo regular sobre el plano x,t. Suponer como dato los valores nodales de la solucin en el paso de tiempo n. Construir las curvas caractersticas que emanan desde cada uno de esos nodos. Determinar los valores de la solucin en el paso de tiempo n+1 en los puntos donde las caractersticas cortan ese nivel de tiempos. Determinar los valores nodales en el paso n+1 por interpolacin de los obtenidos en (iv).
Limitar el paso de tiempo por la condicin de Courant. Suponer u > 0. Se pide: a) b) Un mtodo de orden de precisin 1. Un mtodo de orden de precisin 2.
Problema 3.10 Sea el siguiente sistema hiperblico de ecuaciones diferenciales, que es la versin ms simple de las denominadas ecuaciones para aguas poco profundas,
Angel N.Menndez Pg. 13/34 16/08/10
Facultad de Ingeniera-UBA
u u h +u +g =0 t x x h h u +u +h =0 t x x
donde t y x son las coordenadas temporal y espacial, respectivamente, u la velocidad (media vertical) de la corriente y h la profundidad. Las ecuaciones se verifican en el dominio espacial 0 x L. Si se toman como escalas de referencia la profundidad media H para las distancias verticales, la longitud L para las distancias longitudinales, la celeridad de ondas (gH)1/2 para la velocidad y L/(gH)1/2 para el tiempo, la versin adimensional del sistema anterior puede escribirse como
u u h +u + =0 t x x h h u +u + (1 + h) =0 t x x
donde ahora h representa el apartamiento relativo de la superficie libre respecto de la profundidad media H y el dominio es 0 x 1. a) Linealizar el sistema de ecuaciones adimensional (es decir, despreciar directamente los trminos no lineales) y discretizar el sistema resultante mediante el mtodo explcito centrado. Tomar 4 intervalos de discretizacin, condiciones de Dirichlet homogneas para la velocidad en ambos extremos (u=0 en x=0 y en x=L) y, como condiciones iniciales, u idnticamente nula y los siguientes valores para h: h0=0; h1=0,5; h2=0; h3=-0,5; h4=0 Tomar un paso temporal adecuado para la precisin de la solucin numrica y avanzar 5 pasos de clculo. Graficar esquemticamente la solucin obtenida para h. (Comentario: La condicin de borde u=0 puede utilizarse como una condicin de antisimetra, es decir, que el valor de u en el nodo fantasma es menos el valor en el nodo especular interno). b) Generalizar el esquema anterior para el sistema no lineal de ecuaciones adimensional. Repetir el clculo desarrollado en el punto anterior. Interpretar las diferencias observadas, respecto del caso lineal, en la solucin para h. c) Comentar sobre las caractersticas de estabilidad esperadas para el esquema numrico planteado y sugerir formas de proceder para tender hacia condiciones ms estables.
a) Mostrar que si se utiliza un esquema numrico basado en las curvas caractersticas que emanan desde cada nodo, del paso de tiempo n al n+1, e interpolacin lineal en n+1, la discontinuidad permanece indefinidamente en el origen. Tomar t=x/2. b) Mostrar que si, en cambio, se usa interpolacin cuadrtica, la discontinuidad finalmente se dispara. (Nota: Usar la frmula de interpolacin sesgada hacia la derecha. Mostrar, simplemente, que hay un
Angel N.Menndez Pg. 14/34 16/08/10
Facultad de Ingeniera-UBA
instante en que se cruzan las caractersticas. Al final del examen se presenta la frmula para interpolar cuadrticamente).
u u 2 + = 0; t x 2
1 si x 0 u ( x, 0) = 0 si x > 0
Discretizarla mediante un mtodo explcito centrado espacialmente. Tomar x = 1 y r t/x = 0,8 y avanzar la solucin 4 pasos de tiempo. Graficarla Repetir el clculo pero ahora usando un mtodo explcito con upwinding. Graficarla A partir de la observacin, comentar sobre la estabilidad de las soluciones numricas obtenidas en los dos puntos anteriores. Analizar si se cumple la condicin de Courant. Sacar conclusiones acerca de la necesidad o suficiencia de la condicin de Courant para la estabilidad numrica. Comentar sobre la precisin de la solucin numrica estable, comparndola con la solucin cerrada del problema diferencial, explicando el origen de las discrepancias.
u u + = 0; t x
1 si x 0 u ( x, 0) = 0 si x > 0
c) Plantear su resolucin numrica por el mtodo de las caractersticas. Para calcular ujn+1 trazar la caracterstica que pasa por ese punto, remontarla hasta el paso de tiempo n y obtener el valor correspondiente de u mediante interpolacin lineal entre los dos valores nodales vecinos. Tomar x = 1 y r t/x = 0,8 y avanzar la solucin 4 pasos de tiempo. d) Comentar sobre la precisin esperable de la solucin numrica, comparndola con la solucin cerrada del problema diferencial, explicando el origen de las discrepancias.
0 si x < 0 u u 2 + = 0; u ( x, 0) = t x 2 1 si x 0
Discretizarlo mediante un mtodo explcito con upwinding. Tomar x = 1 y t = 0,5 y avanzar la solucin 4 pasos de tiempo. Graficarla para cada paso de tiempo. Determinar la solucin analtica del problema. Representarla para los instantes coincidentes con el paso de clculo numrico sobre el mismo grfico. Para ello considerar que el origen de la solucin analtica est corrido en x / 2 hacia la izquierda. Calcular los errores numricos para cada paso de tiempo como diferencia entre las soluciones y graficarlo. Comentar sobre la evolucin del error con el tiempo.
u u +c = 0 , c < 0. t x
a) Discretizarla con un esquema totalmente implcito con upwinding. b) Analizar la estabilidad del esquema mediante el mtodo de Hirt.
Angel N.Menndez
Pg. 15/34
16/08/10
Facultad de Ingeniera-UBA
u u +u = 0. t x
a) Discretizarla utilizando un mtodo explcito con upwinding. b) Hallar la ecuacin verdadera de Hirt, eliminando los trminos con derivada temporal hasta el orden 1 en el incremento. c) Identificar el coeficiente de difusividad numrica y hallar la condicin de estabilidad numrica. d) Mostrar que el esquema introduce, adems, dispersin numrica, variando la velocidad de propagacin de la informacin. Identificar la velocidad numrica.
u f + = 0 , donde f = f(u), t x puede escribirse como el siguiente mtodo de dos pasos (suponiendo f/u > 0):