Flujo incompresible. M.Storti.

(contents prev-up-next)

Flujo incompresible
Mario Storti

´ ´ Centro Internacional de Metodos Numericos en Ingenier´ ıa - CIMEC INTEC, (CONICET-UNL), Santa Fe, Argentina

mstorti@intec.unl.edu.ar http://www.cimec.org.ar/mstorti
September 21, 2007

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa
((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300))

slide 1

Flujo incompresible. M.Storti. (contents prev-up-next)

Contents
• • • • •
´ de flujo compresible/incompresible slide 3.....Definicion slide 6.....Ecuaciones de Navier-Stokes incompresible ´ vorticidad-funcion ´ de corriente slide 13.....Formulacion ´ en variables primitivas slide 17.....Discretizacion ´ de Brezzi-Babuska slide 44.....La condicion ˇ

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa
((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300))

slide 2

Flujo incompresible. M.Storti. (contents prev-up-next)

´ de flujo comDefinicion presible/incompresible

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa
((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300))

slide 3

Flujo incompresible. M.Storti. (contents prev-up-next)

´ de flujo compresible/incompresible Definicion
´ • Un flujo incompresible es aquel donde el fluido no se comprime, como es t´ ıpicamente el caso de los l´ ıquidos ´ puede pasar que bajo ciertas condiciones un fluido que es Tambien compresible (como los gases en general) no manifiesta efectos de ´ o regimen ´ compresibilidad para un patron de flujo en particular. En ese caso se le asigna a la propiedad de flujo compresible o ´ de flujo. Para los fluidos compresibles, puede incompresible al patron demostrarse que los efectos compresibles van con el numero ´ de Mach al ´ relativa de la densidad cuadrado, es decir que la variacion

• •

∆ρ u = O(M 2 ), con M = ρ c

(1)

es el numero ´ de Mach, u es la velocidad del fluido y c es la velocidad del sonido. Podemos decir entonces que el flujo es compresible si el numero ´ de Mach es menor que un cierto valor, digamos 0.1. Por ejemplo, un auto ´ ´ a 100 Km/h en atmosfera estandar posee un Mach de approx. 0.1, con lo cual en esas condiciones podemos considerar que el flujo es incompresible.
´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa
((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300))

slide 4

Flujo incompresible. M.Storti. (contents prev-up-next)

´ de flujo compresible/incompresible (cont.) Definicion
Es de notar que si las variaciones de densidad son provocadas por otros ´ mecanica ´ ´ termica, ´ efectos que no sean la presion como la dilatacion ´ solutal (p.ej. salinidad), etc... entonces el patron ´ de flujo puede expansion ´ considerarse (con respecto a los efectos sobre los algoritmos numericos) incompresible, aun ´ si la densidad resulta no ser constante ni espacialmente ´ ni en el tiempo. El termino compresible/incompresible se aplica a las ´ variaciones de densidad producidad exclusivamente por efecto de la presion. Si bien en principio uno podr´ ıa pensar que la incompresibilidad es una ventaja, ya que permite eliminar (en muchos casos) una variable (la densidad), ´ ´ problemas que soluciones. desde el punto de vista numerico suele traer mas

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa
((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300))

slide 5

2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 6 .Flujo incompresible. M.Storti. (contents prev-up-next) Ecuaciones de Navier-Stokes incompresible ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.0.

si reemplazamos el vector ´ de velocidad por el de desplazamiento y la viscosidad por el modulo de elasticidad.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 7 .Flujo incompresible. ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.Storti. mientras que la segunda es la La primera es la “ecuacion ´ de continuidad” o “balance de masa”. despreciando el ´ termino convectivo). (contents prev-up-next) Ecuaciones de Navier-Stokes incompresible ∂u 1 + (u · ∇)u = − ∇p + ν ∆u ∂t ρ ∇·u=0 (2) (3) ´ de momento”. Es importante notar que en “ecuacion el l´ ımite de “flujo reptante” o “flujo de Stokes” (es decir. las ecuaciones resultantes son exactamente iguales a ´ las de elasticidad lineal incompresible isotropica.

M. El estado del fluido solo ´ quiere decir que “la presion ´ dado por la velocidad. ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. (contents prev-up-next) Problemas con las ecs. Tambien ´ podemos decir que la ecuacion ´ de esta ´ mas ´ que como una ecuacion ´ continuidad aparece como una restriccion.Storti. asociado.Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 8 . ´ La presion. ´ pasa a ser el multiplicador de Lagrange de evolucion.0. incompresibles Las siguientes observaciones nos permiten adelantar el problema ocasionado por la incompresibilidad: ´ de incompresibilidad no tiene un termino ´ • La condicion temporal: Esto ´ no tiene historia”.

es decir traccion En el caso compresible. y otra cierta parte Γ2 donde las ´ nula. Si el tamano 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 ˜ similar y muy pequenos con respecto a la distancia 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 que los separa. incompresibles (cont.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 9 . consideremos un solido ´ Ω.0. local..) ´ Las ecuaciones son no locales: Por ejemplo. M. condiciones son libres. entonces los desplazamientos en Γ2 11111111111111  ¾ ´ despreciables.. seran  ½ ª ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. el operador es el´ ıptico. sus tamanos 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 ˜ de ambas regiones es 11111111111111 00000000000000 11111111111111 relativos. Las condiciones son de incompresible que ocupa una region desplazamiento nulo en toda la frontera. menos en una cierta parte Γ1 donde se aplica un cierto desplazamiento uniforme. etc.Storti. 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 00000000000000 11111111111111 y la influencia del desplazamiento impuesto sobre el 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 ´ de la dominio Γ1 en el dominio Γ2 dependera 00000000000000 11111111111111 00000000000000 11111111111111 L 00000000000000 11111111111111 ˜ distancia entre ambas regiones. (contents prev-up-next) Problemas con las ecs.Flujo incompresible.

 ¾ ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.) 11111111111111 00000000000000 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 Por el contrario.0.Storti. incompresibles (cont. el cambio 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 L 00000000000000 de volumen total en Γ2 debe ser igual al impuesto en11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 ´ del11111111111111 00000000000000 11111111111111 Γ1 . por lo tanto los desplazamientos en Γ2 seran 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 mismo orden que aquellos impuestos en Γ1 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111  ½ ª (asumiendo que ambas regiones de la frontera tienen dimensiones similares). en el caso incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 10 .Flujo incompresible. (contents prev-up-next) Problemas con las ecs.

incompresibles (cont. M. ´ de la energ´ La ecuacion ıa se desacopla de la de momento y continuidad: El campo de temperaturas se puede obtener a posteriori a partir de el campo de velocidades obtenido.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 11 . • ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. Esto se debe a que la ecuacion ´ tiene termino en derivadas segundas”. (contents prev-up-next) Problemas con las ecs.Flujo incompresible.0.) ´ ´ ´ en el caso • Cambia el caracter matematico de las ecuaciones: Tambien ´ elastico.Storti. estacionario las ecuaciones dejan de ser el´ ıpticas al pasar al ´ de continuidad “no caso incompresible.

por lo que hace falta o bien imponerla en algun ´ nodo. Es decir si en las ecuaciones de elasticidad compresible hacemos tender el coeficiente de Poisson ν a 1/2 ´ (incompresible) entonces el tensor de coeficientes elasticos se hace ´ que trate singular.0.Storti. (contents prev-up-next) Problemas con las ecs. Como aqu´ ı ´ solo ´ tiene una derivada no queda en claro cuantas condiciones la presion se deben imponer. la presion ´ queda definida a menos de una imponer la presion. ´ de contorno para la presion: ´ Para un operador el´ • No hay condicion ıptico ´ de contorno (Dirichlet.) ´ en el caso de elasticidad lineal el l´ • Notar que tambien ımite incompresible es un l´ ımite singular.Flujo incompresible. constante. M. Se puede demostrar que lo correcto es (sobre ´ contornos solidos) imponer las dos componentes de velocidad y no ´ Eso si. Eso se pega con el criterio para Problemas de Valores de Contorno en 1D: como el operador es de 2do orden hace faltan dos condiciones (una en cada extremo).2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 12 . imponer que la presion ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. normalmente debemos imponer una condicion Neumann o mixta) en cada parte del contorno. incompresibles (cont. Por eso es necesario pasar a una formulacion especialmente la incompresibilidad. o bien ´ media se nula.

(contents prev-up-next) ´ Formulacion ´ de vorticidad-funcion corriente ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.Storti.0.Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 13 .

Storti.0.Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 14 . (contents prev-up-next) ´ vorticidad-funcion ´ de corriente Formulacion La vorticidad se define como Ω=∇×u el cual. M. para un flujo bidimensional se reduce a (4) ∂u ∂v − Ω = Ωz = ∂x ∂y ´ de corriente ψ tal que En 2D se puede encontrar una funcion (5) u= ∂ψ ∂y ∂ψ v=− ∂x (6) (7) ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

(contents prev-up-next) ´ vorticidad-funcion ´ de corriente (cont. a ∂Ω + (u · ∇)Ω − (Ω · ∇)u = ν ∆Ω ∂t (8) ´ en 2D!) el tercer termino ´ pero (solo es nulo.) Formulacion Tomando rotor de (2) se llega. M. de manera que la ecuacion ´ se reduce a una ecuacion ´ y Ω esta ´ difusion ´ para la vorticidad de adveccion ∂Ω + (u · ∇)Ω = ν ∆Ω ∂t (9) ´ de Poisson Por otra parte. despues de un cierto trabajo algebraico.Flujo incompresible. ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. recombinando (5) con (6) se llega a una ecuacion ´ de corriente: para la funcion ∆ψ = −Ω (10) ´ vorticidad/funcion ´ de corriente” consiste en resolver (9) y La “formulacion (10) en forma acoplada.Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 15 .0. ya que ∇u debe estar en el plano ´ fuera del plano.

Flujo incompresible. formulacion ´ vorticidad/funcion ´ de corriente requiere de cierto cuidado La formulacion ´ en cuanto a la discretizacion. M. • • • • ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 16 . formulacion Las condiciones de contorno para la vorticidad son desconocidas para la ´ vorticidad/funcion ´ de corriente . ´ vorticidad/funcion ´ de corriente tiene un grado de libertad La formulacion menos por nodo. ´ son desconocidas para la Las condiciones de contorno para la presion ´ en variables primitivas. en variables primitivas (2-3) son ´ a 3D de la formulacion ´ vorticidad/funcion ´ de corriente es • La extension muy compleja.Storti.) Formulacion ´ con respecto a la formulacion ´ Las ventajas y desventajas de la formulacion. (contents prev-up-next) ´ vorticidad-funcion ´ de corriente (cont.

Storti. M.Flujo incompresible.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 17 . (contents prev-up-next) ´ en Discretizacion variables primitivas ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

Flujo incompresible.Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 18 .0. (contents prev-up-next) ´ en variables primitivas Discretizacion pressure node u velocity node v velocity node j+1 j j−1 i−1 i i+1 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.

j − pi−1. M.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 19 .Storti.j vi.j =0 2ρh pi. (contents prev-up-next) ´ en variables primitivas (cont.j +1 − pi.j +1 − vi.j − ui−1.Flujo incompresible. la siguiente ´ (espacial) de segundo orden parece ser un buen punto de discretizacion partida pi+1.) Discretizacion ´ Si despreciamos el termino convectivo (problema de Stokes) y consideramos ´ el caso estacionario en una malla de paso homogeneo h.j −1 ν (∆h v )ij − =0 2ρh ui+1.j −1 + =0 2h 2h ν (∆h u)ij − ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

j ν (∆h u)ij − =0 2ρh ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.0. M.Flujo incompresible. de momento segun ´ x j j−1 i−1 i i+1 pi+1.) Discretizacion j+1 Ec.Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 20 .j − pi−1. (contents prev-up-next) ´ en variables primitivas (cont.

j +1 − pi. (contents prev-up-next) ´ en variables primitivas (cont.Flujo incompresible.Storti.0.j −1 ν (∆h v )ij − =0 2ρh ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 21 .) Discretizacion j+1 Ec. M. de momento segun ´ y j j−1 i−1 i i+1 pi.

j − ui−1.Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 22 .0. M.j +1 − vi. de continuidad j j−1 i−1 i i+1 ui+1.Storti. (contents prev-up-next) ´ en variables primitivas (cont.) Discretizacion j+1 Ec.j vi.j −1 + =0 2h 2h ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

(contents prev-up-next) ´ en variables primitivas (cont. j+1 j j−1 +1 −1 +1 −1 +1 −1 +1 −1 +1 i−1 i i+1 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. Notar que en las ecuaciones ´ aparece la diferencia de solo presiones entre dos nodos alternados.j + ui−1.) Discretizacion ´ ∆h reresenta el operador de Laplace discreto estandar de 5 puntos (∆h u)ij = ui+1. M.0.j +1 + ui.Storti.Flujo incompresible.j + ui.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 23 .j −1 − 4uij h2 (11) Pero resulta ser que las presiones en los nodos impares se desacopla de los pares dando lugar a modos ´ “checkerboard” en la presion.

Discutiremos a continuacion ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. ˜ “desparramadas” (???)) Usar mallas “staggered” (en espanol • • ´ el uso de mallas staggered.Flujo incompresible.Storti. (contents prev-up-next) ´ en variables primitivas (cont.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 24 . ´ Usar metodos de compresibilidad artificial. M.) Discretizacion Las formas de resolver esto es ´ alternativa para la presion ´ llamada PPE (Poisson • Resolver una ecuacion Pressure Equation).0.

j − pi.j =0 ρh ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. ´ de la podr´ ıamos tener una ecuacion forma punto alrededor del cual se hace la aproximación j+1 j+1/2 j j−1/2 j−1 i−1 i i+1 i−1/2 i+1/2 ν (∆h u)i+1/ .0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 25 . M.Storti. (contents prev-up-next) Uso de mallas staggered ´ de Si consideramos la ecuacion momento segun ´ x. entonces vemos que lo ideal ser´ ıa tener una malla para los nodos de velocidad x desplazada en h/2 con respecto a la malla de los ´ en ese caso nodos de presion.Flujo incompresible.j − 2 pi+1.

j +1/ − 2 pi.) Discretizacion punto alrededor del cual se hace la aproximación j+1 j+1/2 j ´ de Similarmente.Flujo incompresible.Storti.0.j +1 − pi. para la ecuacion momento segun ´ y tenemos j−1/2 j−1 i−1 i i+1 i−1/2 i+1/2 ν (∆h v )i.j =0 ρh ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. (contents prev-up-next) ´ en variables primitivas (cont. M.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 26 .

0.) Discretizacion v node Esto lleva a considerar la siguiente malla “staggered” ´ en los • nodos de presion puntos (i. j ) • nodos de u en los puntos (i + 1/2.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 27 . j ) • nodos de v en los puntos (i.Flujo incompresible. j + 1/2) pressure node j+1 j+1/2 j j−1/2 j−1 i i+1 u node i−1 i−1/2 i+1/2 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Storti. (contents prev-up-next) ´ en variables primitivas (cont. M.

Flujo incompresible. (contents prev-up-next) ´ en variables primitivas (cont.j − ui−1/ .j −1/ 2 h =0 i−1 i i+1 i−1/2 i+1/2 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.j 2 2 h + vi.Storti.0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 28 .j +1/ − vi.) Discretizacion punto alrededor del cual se hace la aproximación j+1 j+1/2 j j−1/2 ´ de continuidad Para la ecuacion j−1 2 ui+1/ .

las condiciones de contorno tambien ´ ya que utilizando solo ´ contornos cuanto a las condiciones sobre la presion. jh) 2 • Los nodos de velocidad y : vi.0.j ≈ u((i + 1/2)h. en Por otra parte.Storti. que coinciden con lineas semienteras (i. ´ ´ robusto y prolijo El metodo de mallas staggered es probablemente el mas para tratar flujo incompresible por diferencias finitas. (j + 1/2)h) 2 ´ se simplifican algo.) Discretizacion Esto evita el desacoplamiento de las presiones entre nodos pares e impares.j +1/ ≈ v (ih. (contents prev-up-next) ´ en variables primitivas (cont. Entonces tenemos 3 redes “staggered” a saber ´ pij ≈ p(ih.Flujo incompresible. jh) • Los nodos de presion: • Los nodos de velocidad x: ui+1/ . M. ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 29 . j =entero+1/2).

µ = 1 . µ = 1 . N } ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Flujo incompresible. (contents prev-up-next) ´ por elementos finitos Discretizacion ´ Considerando el caso estacionario.Storti. . M. N } Vh = span{Nuµ .2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 30 . flujo reptante. .0. las ecuaciones de gobierno son ν ∆u − ∇p = f ∇ · u = 0 en Ω ´ y espacios de interpolacion en Ω ¯. . u=u en Γ Xh = span{Npµ . . un termino forzante f y condiciones de contorno Dirichlet.

∀v ∈ Vh v·t·n Γ = Ω Notar que.Flujo incompresible.Storti. ∀φ ∈ Xh Ω (∇ · v)p dΩ + Ω Ω ν (∇v : ∇u) dΩ = f · v dΩ + ˆ dΓ.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 31 . ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.0. (contents prev-up-next) ´ por elementos finitos (cont.) Discretizacion ´ debil ´ ´ de momento La formulacion Galerkin se obtiene pesando la ecuacion ´ de interpolacion ´ de velocidad y pesando la ecuacion ´ de por una funcion ´ de presion. M. como no aparecen derivadas de p ni φ entonces es posible utilizar aproximaciones discontinuas para p. ´ continuidad con las funciones de interpolacion φ (∇ · u) dΩ = 0.

  0 Q QT νK   P U   = 0 F   AX = B.k δij Nuν. . uN ]T Qµkν = Ω Nuµ. . .0. . (contents prev-up-next) ´ por elementos finitos (cont. donde ph = µ pµ Npµ .k Npν dΩ Nuµ. U = [u1 . M. . P = [p1 .Flujo incompresible. . . p2 .) Discretizacion El sistema al que se llega es.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 32 . u2 .k dΩ Ω Kiµjν = ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. pN ]T uh = µ uµ Nuµ .Storti. .

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.k dΩ Ω Kiµjν = ´ ´ Notese que la matriz K es simetrica y definida positiva.k δij Nuν.Flujo incompresible. (contents prev-up-next) ´ por elementos finitos (cont. mientras que la matriz ´ es simetrica ´ total A solo y de hecho no puede ser definida positiva ya que tiene elementos diagonales (en el bloque 0) nulos.) Discretizacion  A= 0 Q QT νK   Qµkν = Ω Nuµ.0.k Npν dΩ Nuµ. M.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 33 .Storti.

2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 34 .Flujo incompresible.) Discretizacion   0 Q QT νK   P U   = 0 F   ´ de momento e Como K es no-singular podemos eliminar U de la ecuacion ´ de continuidad obteniendo una ecuacion ´ para P de insertarla en la ecuacion la forma HP = (QT K−1 Q) P = QT K−1 F (12) ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Storti.0. (contents prev-up-next) ´ por elementos finitos (cont. M.

si Q tiene rango igual a Np entonces para todo P = 0 vale que u = QP = 0 y entonces PT (QT K−1 Q) P = uT K−1 u > 0 (14) con lo cual H resulta ser definida positiva y por lo tanto no-singular. ’slidesec0patch-testEl patch test ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. (contents prev-up-next) ´ por elementos finitos (cont.Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 35 . Para que el problema este bien planteado debemos al menos exigir que la matriz sea no-singular.Flujo incompresible.) Discretizacion HP = (QT K−1 Q) P = QT K−1 F (13) ´ La matriz H es simetrica y semidefinida positiva. M. Efectivamente. si Q tiene rango menor que Np entonces existe algun vector P tal que QP = 0 y entonces HP = 0.0. Por otra parte. ´ si Q tiene rango (el numero Podemos ver que esto ocurre si y solo ´ de filas/columnas linealmente independiente) Np (el numero ´ de grados de ´ libertad de presion).

de manera que. Si bien esto parece un requerimiento bastante simple.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 36 .Flujo incompresible. nodo de presión nodo de velocidad P2+/P1 estable ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. en realidad sirve para descartar toda una P1/P0 P2/P1 P2/P0 ´ y da serie de familias de interpolacion inestable inestable estable lugar al famoso “test de la parcela” (“patch test”).0. para que Q tenga rango Np debemos pedir que al Q2(s)/Q1 Q2(s)/P1 Q2(s)/P0 inestable inestable estable menos Nu ≥ Np . (contents prev-up-next) El test de la parcela (patch test) Q1/P0 inestable Q2/P1 estable Q2/Q1 inestable ´ Ahora bien Q es de dimension Nu × Np .Storti. M.

a menos que se mencione lo contrario el espacio para velocidades se asume continuo y el de presiones discontinuo. lo tanto no se satisface el test de la parcela y la typical cell ´ es inestable.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 37 . ´ donde dividimos cada cuadrangulo en dos ´ triangulos.0. M. (La convencion ı es poner primero el ´ para velocidades y despues ´ el que se usa para espacio de interpolacion presiones.Flujo incompresible. En general. es decir velocidades lineales continuas y ´ aqu´ presiones constantes por elemento.Storti.) ´ mas ´ simple que se nos pueda Consideremos por ejemplo la interpolacion ´ ocurrir es P 1/P 0 para triangulos. P n denota el espacio de funciones que es polinomial de grado n por elemento. aproximacion ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. (contents prev-up-next) El test de la parcela (patch test) (cont. tenemos (para una malla suficientemente grande) Np =2 grados de libertad ´ por cada cuadrangulo ´ de presion y un nodo de ´ por velocidad (es decir Nu = 2) por cuadrangulo.) ´ En una malla estructurada de cuadrangulos. mientras que Qn denota el espacio de funciones bilineales (trilineales en 3D) de grado n.

es decir todo el contorno de la parcela con velocidades impuestas el Nu resulta ser additional vel. additional d. ya que el Nu es mayor o situacion ´ igual al Nu asintotico pero imponiendo las ´ inestables condiciones de contorno “mas posibles”. fixed vel.Flujo incompresible.Storti.o.0. (contents prev-up-next) El test de la parcela (patch test) (cont.f. (all non-slip)) ≤ (Nu (asymptotic)) b.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 38 . nodes Nu (asymptotic) = (Nu per cell) × (cell number) Nu = Nu (asymptotic) + (vel.) ´ pequenas ˜ Si tomamos parcelas mas la ´ es peor.c.’s) − (vel b.c. M. node ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

Storti.) Ejemplo: patch de elementos P 1/P 0 Nu (asymptotic) = 12 additional boundary b. (all non-slip) = 12 = 20 Nu = 4 < Nu (asymptotic) Np = 12 − 1 = 11 > Nu =⇒ unstable! typical cell ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. (contents prev-up-next) El test de la parcela (patch test) (cont.0.c. M.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 39 .Flujo incompresible.

0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 40 . velocidad del medio esta ´ Np = 3 (uno de los nodos de presion ´ restingido) lo cual esta ´ siempre esta mal. resulta ser mas ´ Por ejemplo para la interpolacion ´ ´ Q1/P 0 el analisis asintotico da Nu por celda = 2. ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. ´ restrictivo.Storti. Np por celda = 1 ´ bien. pero lo cual en principio esta cuando vamos a una parcela de 2 × 2 = 4 elementos cuadrangulares ´ el nodo de tenemos Nu = 2 (solo ´ libre).) ´ Entonces.Flujo incompresible. si bien el test de la parcela “asintotico” permite descartar una serie ´ el test aplicado sobre parcelas mas ´ pequeno ˜ de familias de interpolacion. (contents prev-up-next) El test de la parcela (patch test) (cont. M.

´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Storti. Nu = Np = 2 y para 2 macroelementos (abajo) tenemos Nu = 6. Np = 5. (contents prev-up-next) El test de la parcela (patch test) (cont.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 41 . M.Flujo incompresible. puede verse que un macroelemento triangular formado por 3 elementos Q1/P 0 es estable.) Sin embargo.0. Para un patch de 1 macro elemento (arriba).

2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 42 .0. (contents prev-up-next) El test de la parcela (patch test) (cont. Q2/Q1 inestable Q2/P1 estable Q2(s)/Q1 inestable Q2(s)/P1 inestable Q2(s)/P0 estable subóptimas!! P2/P0 estable P2/P1 inestable P2+/P1 estable nodo de presión nodo de velocidad ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Storti.) stability Parece que “agregar grados de libertad de velocidad” (o equivalentemente “quitar ´ ) grados de libertad de presion” tiende a estabilizar una ´ formulacion. Sin embargo. M. se puede car en ´ aproximaciones “suboptimas” .Flujo incompresible.

Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 43 .0. (contents prev-up-next) El test de la parcela (patch test) (cont.Flujo incompresible. Asymptotic Nu/Np 2 8/3 2 1 4/3 4 Q1/P0 inestable Q2/P1 estable Q2/Q1 inestable P1/P0 inestable P2/P1 inestable P2/P0 estable 3/2 2 6 5/3 nodo de presión nodo de velocidad cell for asymptotic analysis Q2(s)/Q1 inestable Q2(s)/P1 inestable Q2(s)/P0 estable P2+/P1 estable ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.) ´ asintotica ´ ´ apropiada parece ser Nu La relacion mas = 2Np . M.

0. (contents prev-up-next) ´ de La condicion Brezzi-Babuska ˇ ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 44 .Flujo incompresible. M.Storti.

Flujo incompresible.Storti.0. M. qh ∈Xh −0 vh ∈Vh −0 inf   sup |∇vh | dΩ Ω q ∇ · vh Ω h 1 / 2 2 dΩ 2 | dΩ | q h Ω   1 / 2 = = BB ≥ C = C (h) ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. ıos de tinta han ´ para asegurar convergencia en corrido en cuanto a cual es la condicion ´ de problemas de este tipo y la respuesta es la conocida “condicion Brezzi-Babuska” ˇ tambien conocida como condicion “inf-sup”. R´ interpolacion. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ Si bien el test de la parcela es muy util ´ para descartar posibles familias de ´ no es suficiente para asegurar la convrgencia.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 45 .

0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 46 .) Las tres integrales que aparecen se pueden reducir a formas bilineales con las matrices de elementos finitos: qh ∇ · vh dΩ = qT QT v Ω |∇vh |2 dΩ = vT Kv Ω 2 |qh | dΩ = qT Mp q Ω ´ donde Mp es la “matriz de masa para las funciones de presion” Mpµν = Ω Npµ Npν dΩ ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.Flujo incompresible. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.Storti.

Storti.0. M.) De manera que BB = q∈IRNp −{0} inf sup v∈IRNu −{0} qT QT v (vT Kv) /2 (qT Mp q) /2 1 1 Haciendo el cambio de variables w= tenemos que 1 K /2 v. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 47 . sup v∈IRNu −{0} qT QT v 1 (vT Kv) /2 = sup w∈IRNu −{0} qT QT K− /2 w (wT w) /2 1 1 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

) Si definimos wq = K− /2 Qq.0.Flujo incompresible.Storti. M. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont. w = λwq + w⊥ entonces qT QT K− /2 w 1 (wT w) /2 1 = wq w 1 (wT w) /2 = λ wq (λ2 wq 2 2 1 + w⊥ 2 ) /2 ´ El maximo se produce cuando w⊥ =0yλ>0 1 1 qT QT K− /2 w (wT w) /2 qT QT K− /2 w 1 (wT w) /2 1 = sign λ wq = wq = (q Q K T T −1 1 Qq) /2 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. entonces el numerador es T qT QT K− /2 w = wq w 1 1 y descomponemos w segun ´ una componente paralela a wq y la otra perpendicular.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 48 .

(contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont. haciendo el cambio de variable q 2 BB = q ∈IRNp −{0} inf q T −1 / −1 / T −1 2 Mp Q K QMp 2 q q Tq ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 49 .) Tenemos entonces que BB = BB = 2 q∈IRNp −{0} inf inf (qT QT K−1 Qq) /2 (qT Mp q) /2 qT QT K−1 Qq qT Mp q = 1 / Mp2 q tenemos que 1 1 q∈IRNp −{0} y de nuevo.0. M.Flujo incompresible.Storti.

Sean {λi . ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. con λi Np > 0 y ht i hj = δij .2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 50 . hi }i=1 los autovalores y autovectores de H.Flujo incompresible. ´ Como H es simetrica y definida positiva es diagonalizable (en una base ortogonal) y con autovalores positivos.Storti. M. Entonces BB = q ∈IRNp −{0} inf q T −1 / −1 / T −1 2 Mp Q K QMp 2 q q Tq = q ∈IRNp −{0} inf q T Hq q Tq Este es el “cociente de Rayleigh”.0. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.) Ahora bien. sea H 2 = −1 / −1 / T −1 2 Mp Q K QMp 2 .

M.Storti.0. es Np q = i=1 αi hi y entonces Np q Tq = i=1 Np 2 αi q T Hq = i=1 2 λαi ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.) Cualquier vector q decir ∈ IRNp puede descomponerse en la base de los hi .Flujo incompresible.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 51 . (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.

(contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont. de manera que Np 2 λα i i=1 Np 2 i=1 αi = λ1 de manera que BB = 2 α∈IRNp −{0} inf Np 2 i=1 λαi Np 2 i=1 αi = λ1 = −1 / −1 / T −1 2 min eig{Mp Q K QMp 2 } ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.0. M.Flujo incompresible.Storti. para q = h1 tenemos α1 = 1. para j > 1. αj = 0. Por otra Donde λ1 es el menor autovalor (asumimos que estan parte.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 52 .) El cociente de Rayleigh es entonces BB = = 2 q ∈IRNp −{0} inf q T Hq q Tq Np 2 λα i i=1 Np 2 α i=1 i α∈IRNp −{0} inf ≥ λ1 Np i=1 Np i=1 2 αi 2 αi = λ1 ´ ordenados).

M.Flujo incompresible. podemos ver que Pero. aplicando una “transformacion −1 / −1 / T −1 2 Mp Q K QMp 2 y 2 1 QT K−1 QM− p son semejantes.) ´ de semejanza”. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.0.Storti.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 53 . de manera que 1 BB = min eig{QT K−1 QM− p } ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

) = −1 / −1 / T −1 2 min eig{Mp Q K QMp 2 } −1 / ´ de similaridad con Mp 2 tenemos que Haciendo una transformacion 1 T −1 BB = min eig{M− Q} p Q K 2 ´ de BB es De manera que la condicion 1 T −1 BB = min eig{M− Q} ≥ C = C (h) p Q K 2 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 54 .Storti.Flujo incompresible. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.0. M.

0. son modos de muy alta frecuencia. − + Q1/P0 + − + − + − − + − + + − + − − + − + Q2/Q1 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. ´ ´ Los q tales que Qp = 0 son modos “espureos ´ de presion” o tambien “modos checker-board”.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 55 . En general. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.) ´ necesaria para la condicion ´ de Notemos que el patch-test es una condicion BB.Storti. Si Q no tiene rango Np entonces existe un vector q tal que Qp = 0 y por lo tanto BB no se satiface.Flujo incompresible. M.

0.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) . (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.Storti.) + + − − − − + + − − + + + + − − Q2−/Q1 + − + − + − + − + − + − + − + − slide 56 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.Flujo incompresible. M.

2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 57 . (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont. M.Flujo incompresible.Storti.0.) + − + − + − + − + − + − + − + − Q2−/P1 ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0.

) + − − − + + + + − − − + + − P2/P1 + − ´ Centro Internacional de Metodos Computacionales en Ingenier´ ıa ((version curso-cfd-0. M.2-6-gac383e7 ’clean) (date Fri Sep 21 15:34:33 2007 -0300) (processed-date Fri Sep 21 15:34:35 2007 -0300)) slide 58 .0.Storti.Flujo incompresible. (contents prev-up-next) ´ de Brezzi-Babuska La condicion ˇ (cont.

Sign up to vote on this title
UsefulNot useful