v1

4 1 5

v2

Introduccin al Mtodo de los Elementos Finitos

Parte 7 Elementos curvos e integracin numrica. Elementos infinitos.
Alberto Cardona, Vctor Fachinotti Cimec-Intec (UNL/Conicet), Santa Fe, Argentina

Elementos curvos
Hasta aqu se han usado aproximaciones lineales por trozos de la frontera . En 2D, se aproxim con una lnea poligonal, con un error de orden O( h2). Aproximemos con curvas descritas por polinomios de grado k 2, con error O(hk+1). En una malla de , los elementos adyacentes a K tendrn un lado curvo. Un elemento curvo se obtiene de la siguiente manera: , ). 1. Supongamos el elemento (K,P K es un conj. de gdl de tipo Lagrangiano (i.e., valores x2 i a de la funcin en ciertos puntos a K, i = 1, 2,, m ) ^ K x 2 F : K K 1. Sea un mapeo 1-a-1, 1 con inversa F : K K. F 1
i

x x1

K
^ x

^ a

0 Mtodo Introduccin al de los Elementos

0 F 1 1

^ x 1

Elementos curvos (cont.)

Definimos

( F 1 ( x )), x PK PK = { p : p ( x ) = p K, p }

Ahora, constituye un elemento finito curvo. (K,PK , ) Si en el mapeo F=(F1, F2) las funciones son del mismo tipo que en P K, el elemento se dice isoparamtrico. Ejemplo: sea el elemento de ref., 4, 5, 6 (enK el centro de los lados).
^ x 2

i )), i = 1, 2, K , m} K = { valores de la funcin en a i = F (a

^3

x2 1 2 3 con nodos , , (en los vrtices), a

5

a K

F a K
^6 ^ a ^ ^ a
5

= { valores en los nodos} func. de base en K P = P (K).

K 2

a
1

^ a

^ a

^ x

x1

i , i = 1, 2,K , 6,

P2 (K).

Introduccin al Mtodo de los Elementos

Elementos curvos (cont.)

) = j( x ), Definimos el mapeo F ( x a j
j =1 6

Luego, escribimos

F1 x1 Se define el Jacobiano de F como J = F2 x1

= x 2 : x = F ( x ), x K K = F (K) F1 x2 F2 x2

K x

si det J ( x ) 0. K F es localmente 1-a-1 en una pequea vecindad de c/punto x En gral, esto no garantiza que F sea globalmente 1-a-1, i.e., que / F(x K ) = x x K, !x
) 0, x K. F ser globalmente 1-a-1 si det J ( x

Introduccin al Mtodo de los Elementos

Elementos curvos (cont.)

(F % ) = F )) Descompongamos F como F ( x (x
^ x 2 ^ a

y2 b

x2 F a
K
1

a a

^6

a
^4

^5

F
^2

b b

b
6

~ a

a
5

a a
6

^1

^ x

y1

x1

, que mapea b j a j en a j , j = 1, 2,3, tiene la forma: F 2 1 3 1 1 a a a a a 1 1 1 1 1 ( y) = F y + By + b. 1 2 1 3 1 a2 a2 a2 a2 a2

% %% Analicemos ahora el mapeo F = ( F1 , F2 ), que est definido por %= x i +di x 1 x 2 , d i = 4bi5 2, i = 1, 2. F i

es 1-a-1. det B 0 F

Introduccin al Mtodo de los Elementos

Elementos curvos (cont.)

% % % = (F Analicemos ahora el mapeo F 1 , F2 ) , que est definido por 5 %= x F + d x x , d = 4 b i = 1, 2 i i i 1 2 i i 2, 1 1+ d x d1 x (x (x con Jacobiano J ) = 1 2 ) = 1 + d1 x 2 + d 2 x 1 det J 2 1 1 + d2 x d 2 x

(x ( x det J ( x ) lineal en x det J ) > 0 en K ) > 0 en los vrtices a j , j = 1, 2,3. det J (0, 0) = 1 det J (1, 0) = 1 + d det J
^ x 2 ^ a

1 det J > 0 en K si d > 1 b > , i = 1, 2. 2 i i 4 (0,1) = 1 + d det J 1

y2 b
^

x2

a K
^6

^5

F
^2

b
6

F a
1

a K a
6

~ a

^1

^4

x1

b y b b Introduccin al Mtodo de los Elementos

1 4 2

x1

Elementos curvos (cont.)

^ x 2 ^ a
3

% Luego, F es 1-a-1 si b5 y a5 caen en las reas sombreadas, para lo que 5 debe estar suficientemente prximo a a5.

El mapeo original F es 1-a-1 bajo las mismas condiciones.

2 ). En un elemento K con un lado curvo, la dist. |a55| es de O(hK

Luego, 5 estar suficientemente cerca de a5 si hKes suficientemente pequeo. En conclusin, el mapeo F ser 1-a-1 para mallas suficientemente finas.
y2 b
^
3

x2 b
6 5

a K
^6

^5

F
^2

F a
1

a K a
6

b b

~ a

^1

^4

x1

y1

x1

Introduccin al Mtodo de los Elementos

Elementos curvos (cont.)

Error de interpolacin: Dada una funcin v sobre K, definimos el interpolante vPK requiriendo que v(ai)=v(ai), i=1,...,6. Si K es un tringulo comn (como el visto anteriormente), entonces r s v v H s (K ) ChK v Hr (K ) , 0 s r 3 Esto tambin vale para tringulo curvo K, siempre que no sea demasiado curvo. Y esto se verifica en aplicaciones tpicas, donde los elementos aproximan una frontera suave. Espacio Vh: Sea Th={K} una malla de , con elementos (K,PK,K), que pueden tener uno o ms lados curvos. Sea h la unin de los elementos de Th, que es una aproximacin a con frontera cuadrtica a trozos. Se define 1 Vh = { v H ( h ) : v |K PK , K Th } Usando este espacio para el problema de Poisson, tenemos 2 u uh H1 ( ) Ch u H3 ( ) , u uh L ( ) Ch 3 u H3 ( )
h

Introduccin al Mtodo de los Elementos

Elementos curvos
Elementos de las formas bsicas en 1D, 2D y 3D pueden mapearse a formas distorsionadas. De esta manera, las coord. locales o L1 L2 L3L4 se transforman en curvilneas cuando se plotean en el sistema Cartesiano global xyz. Ello es posible si existe una correspondencia 1-a-1 entre las coord. Cartesianas y las curvilneas, i.e. si se pueden establecer los mapeos: x f x ( , , ) f x ( L1 , L2 , L3 , L4 ) y = f ( , , ) o f ( L , L , L , L ) y y 1 2 3 4 z f z ( , , ) f z ( L1 , L2 , L3 , L4 )

* [ZT2000] OC Zienkiewicz, RL Taylor, The Finite Element Method, Vol.1, 5 ed., Butterworth-Heinemann, 2000.

Introduccin al Mtodo de los Elementos

* Figuras extradas de [ZT2000]

Elementos curvos: mapeo de elementos 2D

Introduccin al Mtodo de los Elementos

10

* Figuras extradas de [ZT2000]

Elementos curvos: mapeo de elementos 3D

Introduccin al Mtodo de los Elementos

11

* Figuras extradas de [ZT2000]

Coordenadas curvilneas paramtricas

La forma ms conveniente de definir mapeos es usando funciones de forma N i dadas en trminos de las coords. locales: x2 + K x = N1x1 + N 2 y2 + K y = N1y1 + N 2 z2 + K z = N1 z1 + N 2 A c/triada local (,, ) en coords. locales debe corresponderle una sola triada (x,y,z) en coords. globales. Sin embargo, elementos muy distorsionados pueden comprometer la unicidad.
Prdida de unicidad en elementos muy distorsionados

Requisitos de unicidad en cuadrngulos

Introduccin al Mtodo de los Elementos

12

Figuras extraidats de [ZT2000]

Mapeos admisibles en cuadrngulos

Introduccin al Mtodo de los Elementos

13

* Figuras extradas de [ZT2000]

Conformidad geomtrica y continuidad

Teorema 1: Si dos elementos adyacentes son generados a partir de elementos master (o de referencia) donde las funciones de forma son C0-continuas, entonces los elementos sern contiguos (compatibles).

Teorema 2: Si las funciones de forma garantizan la continuidad C0 de la solucin en las coordenadas del elemento master, luego tambin se satisfar continuidad C0 en las coordenadas del elemento distorsionado.

Introduccin al Mtodo de los Elementos

14

* Figuras extradas de [ZT2000]

Elementos isoparamtricos, superparamtricos y subparamtricos

Isoparamtrico

Superparamtrico

Subparamtrico Introduccin al Mtodo de los Elementos

Punto en el que se especifica coordenada

15

* Figuras extradas de [ZT2000]

Punto en el que se especifica gdl

Elementos infinitos
* Figura extrada de [ZT2000]

En muchos problemas ingenieriles, el dominio es infinito o semi-infinito, y se especifican CB a dist. infinita. 1. Solucin usando MEF convencional: se malla una porcin suficientemente grande del dominio, a fin de imponer las CB a una dist. grande, con las sigtes. desventajas. Si esa dist. no es lo suficientemente grande, se introduce un error en el modelo. Se deben introducir muchos elementos en una regin que suele ser de poco inters para el analista. 2. Solucin usando elementos infinitos, en los que un mapeo particular, permite transformar elementos semi-infinitos a los elementos master bsicos. Estos elementos se ensamblan luego con los elementos finitos de la malla.

Introduccin al Mtodo de los Elementos

16

Elementos infinitos
Consideremos el mapeo 1D a lo largo de CPQ: x= xC + 1+ xQ = N C xC + N Q xQ (1) 1 1 Se observa que: xC + xQ x = 2 = xP x= x Q x = xR =

si = 1 si = 0 si = 1
* Figura extrada de [ZT2000]

Luego, remplazando xC por xP:

2 x= 1+ 1

2 x Q 1 xP = N Q xQ + N P xP

(2)

Muchas otras funciones podran usarse en (1) y (2), siempre que N C + N Q = N P + N Q = 1.

Introduccin al Mtodo de los Elementos

17

Elementos infinitos (cont.)

Ahora, si aproximamos la solucin por un polinomio:

u = 0 + 1 + 2 2 + K
Dado x =

xC + 1+ xQ 1 1 xQ xC xQ xC = 1 = 1 x xC r
campo lejano para regiones * Figuraexteriores: extrada de [ZT2000]

Obtenemos entonces la solucin tpica de

1 2 + 2 +K El punto C representa el de decaimiento. Su correcta ubicacin en base a la fsica del r origen r

u = 0 +
problema permite mejorar la precisin de la solucin. Equivalentemente, a lo largo de C1P1Q1 tenemos el mapeo

x=

xC1 + 1+ xQ1 , 1 1

Introduccin al Mtodo de los Elementos

y=

yC1 + 1+ yQ1 1 1

18

Elementos infinitos (cont.)

El mapeo se completa en la direccin usando las funciones de forma lineales standard

N1 ( ) =
Luego:

1+ 1 , N 0 ( ) = . 2 2

y = N1 ( ) yC + 1+ yQ 1 1 + N 0 ( ) yC1 + 1+ yQ1 1 1 En direccin podran usarse funciones de mayor

orden, lo que permite ensamblar elementos infinitos con elementos finitos de mayor orden.

Introduccin al Mtodo de los Elementos

19

* Figuras extradas de [ZT2000]

x = N1 ( ) xC + 1+ xQ 1 1 + N 0 ( ) xC1 + 1+ xQ1 1 1

Ejemplos de aplicacin de elementos infinitos

Problema de Boussinesq: carga puntual en un medio semi-infinito Flujo irrotacional alrededor de un ala

Introduccin al Mtodo de los Elementos

20

* Figuras extradas de [ZT2000]

Clculo de la matriz de rigidez

j ( F 1 ( x ) ) , j = 1,K , 6. Las funciones de base locales en K estn dadas por j ( x ) = Para el problema de Poisson, deben calcularse las integrales K aij = i j dx, j = 1,K , 6. i x i x 1 2 i 1 j ( F (x )) = = + Por la regla de la cadena 1 x j x 2 x j x j x j x i 1 x 2 i x 1 T x1 x1 x1 x i i = = =J i x1 x2 i x x x x 2 2 2 2
K T 1 1 donde J = ( jacobiano de F ) = ( J ) = T T

1 det J

2 F2 x 2 F1 x

1 J 0 F2 x = 1 det J F1 x dx det J

i ) ( J T j ) det J dx i ) j ) = a = ( J 0 ( J 0 ( J
K ij T K

Introduccin al Mtodo de los Elementos

21

Integracin numrica (o cuadratura)

Para evaluar integrales en MEF, se usa frecuentemente la frmula de cuadratura:
j x : puntos de integracin o de muestreo j w : peso correspondiente al punto x j

f ( x)dx f ( x ) w
j j =1

Si esta frmula es exacta para el polinomio de grado r >0, luego el error de integracin resulta
j r +1 f ( x ) dx f ( x ) w Ch j j =1 q

| | = r +1 K

f dx

Nota: para el elemento isoparamtrico cuadrtico visto, calculando la matriz de rigidez por integracin numrica exacta para polinomios de grado r =2, luego u uh H1 ( ) = O(h 2 )
h

Introduccin al Mtodo de los Elementos

22

Integracin numrica
El clculo analtico de matrices que involucran integrales sobre elementos distorsionados, particularmente en elementos de alto orden o en caso de heterogeneidad del material, puede volverse prcticamente imposible. En 1D, podemos aproximar tales integrales de la siguiente manera: I=

f ( )d f ( ) H
j =0 j

j : puntos de integracin o de muestreo j H : peso correspondiente al punto x j

Dados los puntos de muestreo j, j=0,1,, n, determinamos el polinomio Fn() t.q. Fn(j)=f(j). Fn ( ) = 0 + 1 + K + n n Fn ( 0 ) = 0 + 10 + K + n 0n = f ( 0 ) M Fn ( n ) = 0 + 1n + K + n nn = f ( n ) 2 1 (1) n +1 I= f ( )d Fn ( )d = 2 0 + 2 + K + n Introduccin al Mtodo 3 n +1 1 1
1 1

de los Elementos

23

Integracin numrica: mtodo de Newton-Cotes

Ejemplo: para n=1, 0=1, 1 =1: F1 ( ) =
1

f (1 ) + f ( 0 ) f (1 ) f ( 0 ) + 2 2
1 1 1 0 1

I=

f ( )d F ( )d = f ( ) + f ( )

Nota: si n es par, se integra exactamente un polinomio de orden n; si n es impar, se integra exactamente un polinomio de orden n+1. Si los puntos de muestreo son equiespaciados, se tiene el mtodo de Newton-Cotes.

Introduccin al Mtodo de los Elementos

24

Integracin numrica: mtodo de Gauss-Legendre

En lugar de definir a priori la posicin de los n+1 puntos de muestreo, se la determinar de manera de obtener el mayor orden de precisin para n dado. Se busca calcular en forma exacta la integral del polinomio Fp, ( pn a determinar), cuya integral es 1 p +1 n 2 1 ( 1) I = Fp ( )d = W j ( 0 + 1 j + K + p jp ) = 2 0 + 2 + K + p 3 p +1 j =0 1 lo que da lugar al sistema de ecs. W0 + W1 + K + Wn = 2 W0 0 + W11 + K + Wn n = 0 p + 1 ecuaciones M p +1 2( n + 1) incgnitas (W0 , K , Wn , 0 , K , n ) 1 (1) p p p W0 0 + W11 + K + Wn n = p +1 que tendr solucin si p + 1 = 2(n + 1).

Introduccin al Mtodo de los Elementos

25

Integracin numrica: Newton-Cotes vs Gauss Legendre

Integracin exacta de un polinomio de grado 7

Newton-Cotes

Gauss-Legendre

Introduccin al Mtodo de los Elementos

26

* Figuras extradas de [ZT2000]

Integracin numrica de Gauss-Legendre

Introduccin al Mtodo de los Elementos

27

* Tabla extrada de [ZT2000]

Integracin numrica en cuadrados (2D) y cubos (3D)

Se aplican las reglas de integracin numrica 1D en cada direccin. I 2D = I 3D = f ( , )d d f ( , ) H H
i =0 j =0 i j i 1 1 1 n m p 1 1 n m j

1 1

1 1 1

f ( , , )d d d f ( , ,
i =0 j =0 k =0 i j

)Hi H j H k

Introduccin al Mtodo de los Elementos

28

Integracin numrica en tringulos

I = f ( L1 , L2 ) dL1dL2
j f ( L1j , L2 )H j j =0 n

1 1 L1

Introduccin al Mtodo de los Elementos

29

* Tabla extrada de [ZT2000]

Integracin numrica en tetraedros

j j j I = f ( L , L , L ) dL dL dL f ( L , L , L )H j 1 2 3 1 2 3 1 2 3 0 0 0 j =0 1 1 L1 1 L1 L2 n

Introduccin al Mtodo de los Elementos

30

* Tabla extrada de [ZT2000]

Orden de integracin numrica necesario

Dado el costo computacional que implica un mayor nmero de puntos de integracin, es conveniente determinar: 1. Menor orden de integracin que no comprometa la convergencia. 2. Orden de integracin necesario para mantener la misma tasa de convergencia que si se usara integracin exacta. Mnimo orden de integracin para convergencia : en un problema donde habr convergencia si puede reproducirse cualquier valor constante de la msima derivada. Si m=1, ello requiere que el volumen del elemento sea calculado de manera exacta. Orden de integracin para no deteriorar la convergencia: usando MEF standard (Galerkin), con interpolacin polinomial de grado p, para problemas que involucren derivadas de orden m , el error es O(h2(p-m)+1). Si el error de integracin es a lo sumo de ese orden, no se perder convergencia.

Introduccin al Mtodo de los Elementos

31