You are on page 1of 58

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 ujo compresible/incompresible slide 3.....Denicion 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 ujo comDenicion 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 ujo compresible/incompresible Denicion


Un ujo incompresible es aquel donde el uido no se comprime, como es t picamente el caso de los l quidos puede pasar que bajo ciertas condiciones un uido que es Tambien compresible (como los gases en general) no maniesta efectos de o regimen compresibilidad para un patron de ujo en particular. En ese caso se le asigna a la propiedad de ujo compresible o de ujo. Para los uidos 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 uido y c es la velocidad del sonido. Podemos decir entonces que el ujo 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 ujo 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 ujo compresible/incompresible (cont.) Denicion


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 ujo 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

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.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

u 1 + (u )u = p + u t u=0

(2) (3)

de momento, mientras que la segunda es la La primera es la ecuacion de continuidad o balance de masa. Es importante notar que en ecuacion el l mite de ujo reptante o ujo de Stokes (es decir, despreciando el termino convectivo), las ecuaciones resultantes son exactamente iguales a las de elasticidad lineal incompresible isotropica, si reemplazamos el vector de velocidad por el de desplazamiento y la viscosidad por el modulo de elasticidad.

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 7

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

Problemas con las ecs. 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. El estado del uido solo quiere decir que la presion dado por la velocidad. Tambien podemos decir que la ecuacion de esta mas que como una ecuacion continuidad aparece como una restriccion, La presion, pasa a ser el multiplicador de Lagrange de evolucion. asociado.

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 8

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

Problemas con las ecs. incompresibles (cont.)


Las ecuaciones son no locales: Por ejemplo, consideremos un solido . 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, y otra cierta parte 2 donde las nula. condiciones son libres, es decir traccion En el caso compresible, el operador es el ptico, local, 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 00000000000000 11111111111111 y la inuencia 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, sus tamanos 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 de ambas regiones es 11111111111111 00000000000000 11111111111111 relativos, etc... 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, entonces los desplazamientos en 2 11111111111111 despreciables. seran

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 9

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

Problemas con las ecs. incompresibles (cont.)


11111111111111 00000000000000 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 11111111111111 00000000000000 Por el contrario, en el caso incompresible, 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).

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 10

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

Problemas con las ecs. incompresibles (cont.)


en el caso Cambia el caracter matematico de las ecuaciones: Tambien elastico, estacionario las ecuaciones dejan de ser el pticas al pasar al de continuidad no caso incompresible. Esto se debe a que la ecuacion tiene termino en derivadas segundas. 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.

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 11

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

Problemas con las ecs. incompresibles (cont.)


en el caso de elasticidad lineal el l Notar que tambien mite incompresible es un l mite singular. Es decir si en las ecuaciones de elasticidad compresible hacemos tender el coeciente de Poisson a 1/2 (incompresible) entonces el tensor de coecientes elasticos se hace que trate singular. Por eso es necesario pasar a una formulacion especialmente la incompresibilidad. de contorno para la presion: Para un operador el No hay condicion ptico de contorno (Dirichlet, normalmente debemos imponer una condicion Neumann o mixta) en cada parte del contorno. 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). Como aqu solo tiene una derivada no queda en claro cuantas condiciones la presion se deben imponer. Se puede demostrar que lo correcto es (sobre contornos solidos) imponer las dos componentes de velocidad y no Eso si, la presion queda denida a menos de una imponer la presion. constante, por lo que hace falta o bien imponerla en algun nodo, o bien media se nula. imponer que la presion
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 12

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

Formulacion de vorticidad-funcion corriente

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 13

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

vorticidad-funcion de corriente Formulacion


La vorticidad se dene como

=u
el cual, para un ujo 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.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 14

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

vorticidad-funcion de corriente (cont.) Formulacion


Tomando rotor de (2) se llega, despues de un cierto trabajo algebraico, a

+ (u ) ( )u = t

(8)

en 2D!) el tercer termino pero (solo es nulo, ya que u debe estar en el plano fuera del plano, 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, 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.

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 15

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

vorticidad-funcion de corriente (cont.) Formulacion


con respecto a la formulacion Las ventajas y desventajas de la formulacion, en variables primitivas (2-3) son a 3D de la formulacion vorticidad/funcion de corriente es La extension muy compleja. 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. formulacion Las condiciones de contorno para la vorticidad son desconocidas para la vorticidad/funcion de corriente . formulacion vorticidad/funcion de corriente requiere de cierto cuidado La formulacion en cuanto a la discretizacion.

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

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

en Discretizacion variables primitivas

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 17

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

en variables primitivas Discretizacion


pressure node u velocity node v velocity node

j+1 j j1

i1

i+1

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 18

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

en variables primitivas (cont.) Discretizacion


Si despreciamos el termino convectivo (problema de Stokes) y consideramos el caso estacionario en una malla de paso homogeneo h, la siguiente (espacial) de segundo orden parece ser un buen punto de discretizacion partida

pi+1,j pi1,j =0 2h pi,j +1 pi,j 1 (h v )ij =0 2h ui+1,j ui1,j vi,j +1 vi,j 1 + =0 2h 2h (h u)ij

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 19

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

en variables primitivas (cont.) Discretizacion

j+1
Ec. de momento segun x

j j1 i1 i i+1

pi+1,j pi1,j (h u)ij =0 2h

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 20

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

en variables primitivas (cont.) Discretizacion

j+1
Ec. de momento segun y

j j1 i1 i i+1

pi,j +1 pi,j 1 (h v )ij =0 2h

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 21

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

en variables primitivas (cont.) Discretizacion

j+1
Ec. de continuidad

j j1 i1 i i+1

ui+1,j ui1,j vi,j +1 vi,j 1 + =0 2h 2h

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 22

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

en variables primitivas (cont.) Discretizacion


h reresenta el operador de Laplace discreto estandar de 5 puntos

(h u)ij =

ui+1,j + ui1,j + ui,j +1 + ui,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. Notar que en las ecuaciones aparece la diferencia de solo presiones entre dos nodos alternados.

j+1 j j1

+1 1 +1

1 +1 1

+1 1 +1

i1

i+1

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 23

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

en variables primitivas (cont.) Discretizacion


Las formas de resolver esto es alternativa para la presion llamada PPE (Poisson Resolver una ecuacion Pressure Equation). Usar metodos de compresibilidad articial. desparramadas (???)) Usar mallas staggered (en espanol

el uso de mallas staggered. Discutiremos a continuacion

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 24

Flujo incompresible. 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, de la podr amos tener una ecuacion forma

punto alrededor del cual se hace la aproximacin

j+1 j+1/2 j j1/2 j1 i1 i i+1 i1/2 i+1/2

(h u)i+1/ ,j
2

pi+1,j pi,j =0 h

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 25

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

en variables primitivas (cont.) Discretizacion


punto alrededor del cual se hace la aproximacin

j+1 j+1/2 j
de Similarmente, para la ecuacion momento segun y tenemos

j1/2 j1 i1 i i+1 i1/2 i+1/2

(h v )i,j +1/
2

pi,j +1 pi,j =0 h

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 26

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

en variables primitivas (cont.) 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, j ) nodos de v en los puntos (i, j + 1/2)

pressure node

j+1 j+1/2 j j1/2 j1 i i+1 u node i1 i1/2 i+1/2

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 27

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

en variables primitivas (cont.) Discretizacion


punto alrededor del cual se hace la aproximacin

j+1 j+1/2 j j1/2


de continuidad Para la ecuacion

j1
2

ui+1/ ,j ui1/ ,j
2 2

vi,j +1/ vi,j 1/


2

=0

i1 i i+1 i1/2 i+1/2

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 28

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

en variables primitivas (cont.) Discretizacion


Esto evita el desacoplamiento de las presiones entre nodos pares e impares. Entonces tenemos 3 redes staggered a saber pij p(ih, jh) Los nodos de presion:

Los nodos de velocidad x: ui+1/ ,j u((i + 1/2)h, jh)


2

Los nodos de velocidad y : vi,j +1/ v (ih, (j + 1/2)h)


2

se simplican algo, en Por otra parte, las condiciones de contorno tambien ya que utilizando solo contornos cuanto a las condiciones sobre la presion, que coinciden con lineas semienteras (i, j =entero+1/2). robusto y prolijo El metodo de mallas staggered es probablemente el mas para tratar ujo incompresible por diferencias nitas.

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 29

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

por elementos nitos Discretizacion


Considerando el caso estacionario, ujo reptante, un termino forzante f y condiciones de contorno Dirichlet, las ecuaciones de gobierno son

u p = f u = 0 en
y espacios de interpolacion

en

, u=u

en

Xh = span{Np , = 1 . . . N } Vh = span{Nu , = 1 . . . N }

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 30

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

por elementos nitos (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. continuidad con las funciones de interpolacion

( u) d = 0, Xh

( v)p d +

(v : u) d = f v d + d, v Vh vtn

Notar que, como no aparecen derivadas de p ni entonces es posible utilizar aproximaciones discontinuas para p.

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 31

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

por elementos nitos (cont.) Discretizacion


El sistema al que se llega es;

0 Q

QT K

P U

0 F

AX = B, donde ph =

p Np , P = [p1 , p2 , . . . , pN ]T

uh =

u Nu ,

U = [u1 , u2 , . . . , uN ]T

Qk =

Nu,k Np d Nu,k ij Nu,k d

Kij =

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 32

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

por elementos nitos (cont.) Discretizacion

A=

0 Q

QT K

Qk =

Nu,k Np d Nu,k ij Nu,k d

Kij =

Notese que la matriz K es simetrica y denida positiva, mientras que la matriz es simetrica total A solo y de hecho no puede ser denida positiva ya que tiene elementos diagonales (en el bloque 0) nulos.

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 33

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

por elementos nitos (cont.) 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 K1 Q) P = QT K1 F (12)

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 34

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

por elementos nitos (cont.) Discretizacion

HP = (QT K1 Q) P = QT K1 F

(13)

La matriz H es simetrica y semidenida positiva. Para que el problema este bien planteado debemos al menos exigir que la matriz sea no-singular. si Q tiene rango (el numero Podemos ver que esto ocurre si y solo de las/columnas linealmente independiente) Np (el numero de grados de libertad de presion). Efectivamente, si Q tiene rango menor que Np entonces existe algun vector P tal que QP = 0 y entonces HP = 0. Por otra parte, si Q tiene rango igual a Np entonces para todo P = 0 vale que u = QP = 0 y entonces PT (QT K1 Q) P = uT K1 u > 0 (14) con lo cual H resulta ser denida positiva y por lo tanto no-singular. slidesec0patch-testEl patch test

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 35

Flujo incompresible. M.Storti. (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 , de manera que, 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 . Si bien esto parece un requerimiento bastante simple, 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). nodo de presin

nodo de velocidad

P2+/P1 estable
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 36

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

El test de la parcela (patch test) (cont.)


mas simple que se nos pueda Consideremos por ejemplo la interpolacion ocurrir es P 1/P 0 para triangulos, es decir velocidades lineales continuas y aqu presiones constantes por elemento. (La convencion es poner primero el para velocidades y despues el que se usa para espacio de interpolacion presiones. En general, a menos que se mencione lo contrario el espacio para velocidades se asume continuo y el de presiones discontinuo. P n denota el espacio de funciones que es polinomial de grado n por elemento, mientras que Qn denota el espacio de funciones bilineales (trilineales en 3D) de grado n.) En una malla estructurada de cuadrangulos, donde dividimos cada cuadrangulo en dos triangulos, tenemos (para una malla sucientemente grande) Np =2 grados de libertad por cada cuadrangulo de presion y un nodo de por velocidad (es decir Nu = 2) por cuadrangulo, lo tanto no se satisface el test de la parcela y la typical cell es inestable. aproximacion
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 37

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

El test de la parcela (patch test) (cont.)


pequenas Si tomamos parcelas mas la es peor, ya que el Nu es mayor o situacion igual al Nu asintotico pero imponiendo las inestables condiciones de contorno mas posibles, es decir todo el contorno de la parcela con velocidades impuestas el Nu resulta ser

additional vel. nodes

Nu (asymptotic) = (Nu per cell) (cell number) Nu = Nu (asymptotic) + (vel. additional d.o.f.s) (vel b.c. (all non-slip)) (Nu (asymptotic))
b.c. fixed vel. node

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 38

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

El test de la parcela (patch test) (cont.)


Ejemplo: patch de elementos

P 1/P 0 Nu (asymptotic) = 12
additional boundary b.c. (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.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 39

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

El test de la parcela (patch test) (cont.)


Entonces, si bien el test de la parcela asintotico permite descartar una serie el test aplicado sobre parcelas mas pequeno de familias de interpolacion, restrictivo. resulta ser mas Por ejemplo para la interpolacion Q1/P 0 el analisis asintotico da Nu por celda = 2, 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), velocidad del medio esta Np = 3 (uno de los nodos de presion restingido) lo cual esta siempre esta mal.

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 40

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

El test de la parcela (patch test) (cont.)

Sin embargo, puede verse que un macroelemento triangular formado por 3 elementos Q1/P 0 es estable. Para un patch de 1 macro elemento (arriba), Nu = Np = 2 y para 2 macroelementos (abajo) tenemos Nu = 6, Np = 5.

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 41

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

El test de la parcela (patch test) (cont.)


stability

Parece que agregar grados de libertad de velocidad (o equivalentemente quitar ) grados de libertad de presion tiende a estabilizar una formulacion. Sin embargo, se puede car en aproximaciones suboptimas .

Q2/Q1 inestable

Q2/P1 estable

Q2(s)/Q1 inestable

Q2(s)/P1 inestable

Q2(s)/P0 estable subptimas!!

P2/P0 estable P2/P1 inestable P2+/P1 estable nodo de presin nodo de velocidad

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 42

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

El test de la parcela (patch test) (cont.)


asintotica apropiada parece ser Nu La relacion mas

= 2Np .

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

5/3 nodo de presin 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.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 43

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

de La condicion Brezzi-Babuska

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 44

Flujo incompresible. M.Storti. (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 suciente para asegurar la convrgencia. R interpolacion, 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.

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.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 45

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

de Brezzi-Babuska La condicion (cont.)


Las tres integrales que aparecen se pueden reducir a formas bilineales con las matrices de elementos nitos:

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.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

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

de Brezzi-Babuska La condicion (cont.)


De manera que

BB =

qIRNp {0}

inf

sup
vIRNu {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,

sup
vIRNu {0}

qT QT v
1 (vT Kv) /2

sup
wIRNu {0}

qT QT K /2 w (wT w) /2
1

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 47

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

de Brezzi-Babuska La condicion (cont.)


Si denimos wq

= K /2 Qq, entonces el numerador es


T qT QT K /2 w = wq w 1

y descomponemos w segun una componente paralela a wq y la otra perpendicular, w = wq + w entonces

qT QT K /2 w
1 (wT w) /2

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

1 Qq) /2

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 48

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

de Brezzi-Babuska La condicion (cont.)


Tenemos entonces que

BB = BB =
2

qIRNp {0}

inf inf

(qT QT K1 Qq) /2 (qT Mp q) /2 qT QT K1 Qq qT Mp q =


1 / Mp2 q tenemos que 1

qIRNp {0}

y de nuevo, haciendo el cambio de variable q


2

BB =

q IRNp {0}

inf

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.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

Flujo incompresible. M.Storti. (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 . Entonces

BB =
q

IRNp {0}

inf

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. Como H es simetrica y denida positiva es diagonalizable (en una base ortogonal) y con autovalores positivos. Sean {i , hi }i=1 los autovalores y autovectores de H, con i
Np

> 0 y ht i hj = ij .

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 50

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

de Brezzi-Babuska La condicion (cont.)


Cualquier vector q decir

IRNp puede descomponerse en la base de los hi , 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.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 51

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

de Brezzi-Babuska La condicion (cont.)


El cociente de Rayleigh es entonces

BB = =

q IRNp {0}

inf

q T Hq q Tq
Np 2 i i=1 Np 2 i=1 i

IRNp {0}

inf

Np i=1 Np i=1

2 i 2 i

= 1

ordenados). Por otra Donde 1 es el menor autovalor (asumimos que estan parte, para q = h1 tenemos 1 = 1, j = 0, para j > 1, de manera que
Np 2 i i=1 Np 2 i=1 i

= 1

de manera que

BB =

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.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

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

de Brezzi-Babuska La condicion (cont.)


de semejanza, podemos ver que Pero, aplicando una transformacion
1 / 1 / T 1 2 Mp Q K QMp 2 y 2 1 QT K1 QM p son semejantes, de manera que

1 BB = min eig{QT K1 QM p }

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 53

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

de Brezzi-Babuska La condicion (cont.)

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.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

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

de Brezzi-Babuska La condicion (cont.)


necesaria para la condicion de Notemos que el patch-test es una condicion BB. Si Q no tiene rango Np entonces existe un vector q tal que Qp = 0 y por lo tanto BB no se satiface. Los q tales que Qp = 0 son modos espureos de presion o tambien modos checker-board. En general, son modos de muy alta frecuencia.

+
Q1/P0

+ + + + + + + +
Q2/Q1

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 55

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

de Brezzi-Babuska La condicion (cont.)

+ + + + + + + +
Q2/Q1

+ + + + + + + +
slide 56

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))

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

de Brezzi-Babuska La condicion (cont.)

+ + + +

+ +

+ +

Q2/P1

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 57

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

de Brezzi-Babuska La condicion (cont.)

+ + + + + + +
P2/P1

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 58

You might also like