Vous êtes sur la page 1sur 22

METODO DE ELEMENTOS FINITOS

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental


Profs. C. Espinoza y Y. Nio
Semestre Primavera 2001
1.

INTRODUCCION

El Mtodo de Elementos Finitos (MEF) es un mtodo numrico para resolver ecuaciones


diferenciales por medio de "aproximaciones discretas". A diferencia del mtodo de diferencias
finitas (MDF), en el cual la zona de solucin es un conjunto de puntos discretos, el mtodo de
elementos finitos supone que la zona de solucin est compuesta de muchas subzonas
interconectadas, las que se denominan "elementos finitos". Estos elementos, los que pueden
tomar formas simples (por ejemplo, lneas, tringulos, rectngulos, paraleleppedos) se
ensamblan de diferentes maneras para representar la solucin sobre una regin cualquiera.
Los conceptos bsicos que se incorporan en este apunte son simples y la idea principal es
comprender la operatoria detrs de la tcnica numrica de los elementos finitos.
2.

CONCEPTOS BASICOS EN ANALISIS DE ELEMENTOS FINITOS

El anlisis de elementos finitos para un problema fsico puede ser descrito de la siguiente
forma:
(1) El sistema fsico se divide en series de elementos que estn conectados por un nmero
discreto de puntos nodales; este proceso se denomina "discretizacin". Discretizaciones
tpicas de un sistema de tuberas y de un sistema continuo bidimensional se muestran en la
Figura 1. En estos casos se identifican los elementos por medio de nmeros. El problema
de tuberas contiene 8 elementos y 6 nudos, mientras que el problema continuo posee 20
elementos y 52 nudos.

Figura 1 Ejemplos de Discretizaciones de Elementos Finitos


(2) Una expresin matricial se desarrolla para relacionar las variables nodales de cada
elemento. La matriz resultante se conoce comnmente como "matriz elemental". Para un
problema discreto, la matriz elemental puede ser generada a partir de un anlisis fsico

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

simple. Para problemas continuos, la matriz elemental se obtiene mediante un proceso


matemtico que utiliza tcnicas variacionales o mtodos de residuos ponderados.
(3) Las matrices elementales se combinan o "ensamblan" para formar un conjunto de
ecuaciones algebraicas que describen el sistema global. La matriz de coeficientes del
problema global se conoce como la matriz global. El procedimiento de ensamble se realiza
para cumplir condiciones de compatibilidad en la unin de elementos.
(4) Condiciones de borde son incorporadas dentro de la matriz global.
(5) El conjunto de ecuaciones algebraicas se resuelve mediante algn mtodo matricial
adecuado.
3.

SOLUCION A UN PROBLEMA DISCRETO

Consideremos el flujo de agua a travs de un medio poroso, en estado estacionario. Este medio
poroso est compuesto de tres zonas de diferente conductividad hidrulica, tal como se
muestra en la Figura 2. El agua se inyecta a una tasa unitaria a travs de uno de los extremos
del medio poroso, mientras que la carga hidrulica se mantiene constante, con una valor igual a
5, en el otro extremo. Utilicemos el MEF para determinar la distribucin de la carga hidrulica
dentro del medio poroso.

Figura 2 Medio Poroso Saturado y Heterogneo


3.1

Paso 1. Discretizar Medio Poroso.

Tal como se muestra en la Figura 2, el sistema se divide en tres elementos, los que se
identifican en la Tabla 1.

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

Tabla 1
Identificacin Elementos Finitos
Conexiones Nodales
Nmero de
Elemento
Nodo 1
Nodo 2
1
1
2
2
2
3
3
3
4
3.2

Paso 2. Determinar Caractersticas de los Elementos

Consideremos un elemento aislado como el que se indica en la Figura 3 (elemento e). Los
valores del flujo de agua subterrnea, Q, y la carga hidrulica, h, son definidas en cada nudo.
Por conveniencia vamos a asignar un signo positivo al flujo que entra al elemento. El trmino
desconocido en este problema es la carga hidrulica. la relacin entre la carga hidrulica y el
flujo de agua subterrnea est dada por la Ley de Darcy. La ecuacin de Darcy para cada nudo
se puede escribir como:

Q1 =

KA
(h1 h2 )
L

(1)

Q2 =

KA
(h2 h1 )
L

(2)

Figura 3 Elemento Individual


donde K, A y L corresponden a la conductividad hidrulica, rea transversal y longitud del
elemento e, respectivamente. Las ecuaciones (1) y (2) pueden ser escritas en forma matricial
como:

KA
L

KA
L

K A
e
e

Q1
L h1


=
Q
K A h2
2

(3)

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

[C ]e {h}e = {Q}e

(4)

donde el superndice e se utiliza para indicar que la ecuacin matricial se escribe para el
elemento e. Las componentes de la matriz C son las siguientes:
e

K A
c11 =
,
L

K A
c12 =
,
L

c 21 = c12 ,

K A
c 22 =

Es posible notar que la matriz elemental C es simtrica pero singular, i.e. su determinante es
cero.
3.3

Paso 3. Ensamblar Ecuaciones Elementales.

Despus de ensamblar todas las ecuaciones para cada elemento, se obtiene un conjunto de
ecuaciones globales, el que se puede escribir como:

c11
c
21
c31

c 41

c12
c 22
c32
c 42

c13
c 23
c33
c 43

c14 h1 Q1
c 24 h2 Q2
=
c34 h3 Q3

c 44 h4 Q4

(5)

o en forma equivalente,

[C ] {h} = {Q}

(6)

donde C es la "matriz global".


El proceso de ensamble se desarrolla de la siguiente forma. Primero se reescribe la ecuacin
matricial en trminos de la numeracin global. De esta manera, para el elemento (1) se tiene:

c11(1)
(1)
c 21
0

c12(1)
(1)
c 22
0
0

0
0
0
0

0 h1 Q1(1)

0 h2 Q2(1)
=

0 h3 0

0 h4 0

(7)

Para el elemento (2) se tiene:

0 0
0 c ( 2 )
11

( 2)
0 c 21

0 0

0
( 2)
12
( 2)
22

c
c

0 h1 0
0 h2 Q1( 2)
=

0 h3 Q2( 2)

0 h4 0

(8)

Para el elemento (3) se tiene:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

0
0

0 0
0 0
0 c11(3)
( 3)
0 c 21

0 h1 0
0 h2 0
=

c12( 3) h3 Q1(3)
( 3)
( 3)
c 22
h4 Q2

(9)

La matriz global se obtiene agregando las contribuciones desde todos los elementos. La
combinacin de las ecuaciones (7), (8), y (9) da:

c11(1)
(1)
c 21
0

c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0

0
c12( 2 )
(2)
c 22
+ c11(3)
( 3)
c 21

0 h1 Q1(1)
(1)
( 2)
0 h2 Q2 + Q1
=

c12(3) h3 Q2( 2) + Q1(3)


( 3)
( 3)

c 22
h4 Q2

(10)

Si incorporamos la continuidad de flujos en los nodos internos, 2 y 3, se tiene en el nodo 2:

Q2(1) + Q1( 2) = 0

(11)

y en el nodo 3:

Q2( 2 ) + Q1( 3) = 0

(12)

Con lo que la ecuacin (10) se transforma a:

0 h1 Q1(1)

0 h2 0

c12(3) h3 0
( 3)
( 3)
c 22
h4 Q2

c11(1)
(1)
c 21
0

c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0

3.4

Paso 4. Incorporar Condiciones de Borde.

0
c12( 2)
( 2)
c 22
+ c11( 3)
( 3)
c 21

(13)

En este caso se tienen dos condiciones de borde: en el nodo 1, Q1 = 1, y en el nodo 4, h4 = 5. La


primera condicin de borde se incluye en forma simple en el vector del lado derecho:

c11(1)
(1)
c 21
0

c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0

0
c12( 2)
( 2)
c 22
+ c11( 3)
( 3)
c 21

0 h1 1

0 h2 0

c12(3) h3 0
( 3)
( 3)
c 22
h4 Q2

(14)

La segunda condicin de borde se inserta cambiando la cuarta ecuacin del sistema matricial
en (14) por la ecuacin:

h4 = 5

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

(15)

la que se puede escribir como:

h1
h
[0 0 0 1] 2 = {5}
h3
h4

(16)

De esta manera se tiene:

c11(1)
(1)
c 21
0

c12(1)
(1)
+ c11( 2)
c 22
c

( 2)
21

0
( 2)
12

c
c

( 2)
22

+ c11( 3)
0

0 h1 1

0 h2 0
=
c12( 3) h3 0

1 h4 5

(17)

Para preservar la simetra se puede reescribir la ecuacin anterior como:

c11(1)
(1)
c 21
0

c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21

3.5

Paso 5. Resolver Sistema de Ecuaciones Algebraicas.

0
( 2)
12

( 2)
c 22
+ c11( 3)
0

1
0 h1
1

0
0
0 h2

= ( 3)
= ( 3)

0 h3 c12 h4 c12 5

5
5
1 h4

(18)

La ecuacin (18) puede ser resuelta en forma directa mediante un mtodo de solucin
tradicional o en forma indirecta mediante un mtodo iterativo.
4.

SOLUCIN DE PROBLEMAS CONTINUOS EN ESTADO ESTACIONARIO O


PERMANENTE

4.1

Aspectos Generales

El procedimiento de elementos finitos descrito en el punto anterior puede ser extendido en


forma simple para trabajar con problemas continuos. la extensin involucra la definicin de una
manera ms general de formular las ecuaciones matriciales de elementos. Esto puede ser
definido a travs de dos mtodos distintos: variacionales o residuos ponderados. Desde el
punto de vista operacional la formacin de las matrices elementales en base al mtodo de
residuos ponderados es ms til por lo que ser analizada en este apunte.
4.2

Mtodo de Residuos Ponderados

Consideremos un problema continuo gobernado por una ecuacin diferencial del tipo:

L(u ) f = 0

(19)

en una regin R rodeada por un borde o frontera B. para obtener una solucin aproximada para

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

este problema se deben seguir tres etapas o fases.


En la primera fase la funcin desconocida o variable de estado u se aproxima por una funcin
de prueba de la forma:
n

u~ = N I C I

(20)

I =1

donde NI son funciones de base linealmente independientes, las que se definen sobre el
dominio de solucin, y CI son parmetros desconocidos que sern determinados
posteriormente. Debido a que la ecuacin (20) es slo una aproximacin, al substituirla en la
ecuacin (19) se obtendr un valor residual, es decir:

= L(u~ ) f = 0

(21)

El mtodo de los residuales ponderados busca determinar los trminos desconocidos, CI, de tal
forma que el error o valor residual de la ecuacin (21) sea mnimo. Esto ltimo se consigue
haciendo que la integral ponderada del error sobre toda la regin de anlisis sea nula.
En la segunda fase se identifica las n funciones de ponderacin linealmente independientes, WI,
que deben cumplir lo siguiente:

dR = WI (L(&u&&) f ) dR = 0

para todo I = 1, 2,K , n

(22)

Una vez que se especifica una forma funcional para las funciones de ponderacin, se emplea la
ecuacin (20) para representar u y se combina esta informacin con la ecuacin (22) para
obtener un conjunto de n ecuaciones simultneas, con n valores incgnitas, CI, I=1, 2, ..., n.
Finalmente, la tercera etapa consiste en resolver las ecuaciones anteriores para CI y obtener
una representacin aproximada para u utilizando la ecuacin (20). Dependiendo de la seleccin
de la funcin de ponderacin se reconocen tres mtodos distintos:
4.2.1 Mtodo de Colocacin Puntual
En este mtodo se especifica un conjunto de puntos xI en el dominio de solucin, Puntos de
Colocacin, y se seleccionan las funciones de ponderacin iguales a la funcin de Dirac:

WI = (x x I ),

I = 1, 2, K, n

(23)

De este modo se tiene:

W
R

dR = (x x I ) dR = (x I ) =0

(24)

4.2.2 Mtodo de Colocacin en Subdominio


En este caso el dominio de solucin se divide en subdominios, y las funciones de ponderacin
se eligen como:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

WI =
0

x RI
,

I = 1, 2, K, n

(25)

x RI

donde RI se refiere al subdominio especificado.


4.2.3 Mtodo de Galerkin
En este caso las funciones de ponderacin se eligen iguales a las funciones de interpolacin, es
decir: WI = N I . Con lo anterior se tiene:

dR = 0

(26a)

o,

N (L(&u&&) f ) dR = 0
I

para todo I = 1, 2, K , n

(26b)

De los tres mtodos anteriores, el de Galerkin es el ms adecuado en forma natural para


trabajar con elementos finitos. Por esta razn ha sido aceptado en forma general como la
metodologa base para el MEF.
Para la aplicacin del MEF basado en Galerkin se procede de la siguiente forma:
Paso 1
El dominio es subdividido en una serie de elementos y las funciones desconocidas son
representadas sobre una subregin tpica por la siguiente funcin de prueba o aproximada:
ne

u~ = N I u I

(27)

I =1

donde N I son las funciones de interpolacin definidas para el elemento e, u I son los valores
nodales desconocidos, y ne es el nmero de nodos en el elemento.
Paso 2
La integral presentada en la ecuacin (26) se puede separar en una serie de subintegrales,
cada una de ellas sobre el rea de un elemento individual, esto es:

N
R

dR = N I dR

(28)

e Re

Lo anterior permite escribir la siguiente ecuacin, la que describe el comportamiento en un


elemento individual:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

N (L(&u&&) f ) dR = Q
I

e
I

para todo I = 1, 2, K, ne

(29)

Re

En este punto, la integral obtenida mediante el mtodo de Galerkin contiene elementos de


elevado orden, los cuales pueden ser reducidos utilizando el Teorema de Green (integracin
por partes). De esta manera se disminuye el orden de las ecuaciones, lo que permite utilizar
funciones de interpolacin ms simples.
Paso 3
Luego de haber analizado las ecuaciones individuales (por elementos) estas se pueden
combinar o ensamblar para crear la ecuacin matricial global y luego incorporar las condiciones
de borde.
4.3

Derivacin de Funciones de Base

Los procedimientos para formular las ecuaciones de elementos finitos por mtodos
variacionales o mtodos de residuales se basan en el supuesto que la integral sobre la regin
entera se puede reemplazar por la suma de integrales sobre subregiones. Para asegurar que
este supuesto es vlido y que nuestra solucin aproximada converge a la solucin correcta al
refinar la malla de elementos finitos, las funciones de interpolacin deben cumplir ciertas
condiciones:
(1) En la interfaces entre elementos, la funcin desconocida u y cualquiera de sus derivadas
hasta un orden inferior a la ms alta derivada en la integral residual ponderada debe ser
continua. Esto se denomina condicin de continuidad.
(2) La funcin de prueba u y sus derivadas deben ser capaces de representar cualquier valor
constante de u cuando el tamao de los elementos se aproxima a cero. Esto se denomina el
requerimiento de completitud.
4.3.1 Funciones Lineales
Considere un elemento tpico como el mostrado en la Figura 4. Supongamos que la funcin de
prueba se puede escribir como:

u = a1 + a 2 x

(30)

donde a1 y a 2 son constantes. Estas constantes pueden ser evaluadas definiendo que

u (x1 ) = u1 y u (x 2 ) = u 2 , donde x1 y x2 definen los nodos del elemento. Aplicando estas dos
restricciones se puede escribir el siguiente sistema de ecuaciones:
u1 1 x1 a1
=

u 2 1 x 2 a 2

(31)

Resolviendo para los trminos desconocidos a1 y a 2 obtenemos:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

Figura 4
Funciones de Base Lineales

a1 1 x 2 x1 u1
=

a 2 L 1 1 u 2

(32)

donde L = x 2 x1 . La funcin u (x ) se puede escribir como:

u (x ) =

1
1
(x 2 u1 x1 u 2 ) + (u 2 u1 ) x
L
L

(33)

la que puede ser reordenada para obtener:

u (x ) =

1
1
(x 2 x ) u1 + (x x1 ) u 2
L
L

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

(34)

10

La comparacin entre las ecuaciones (34) y (27) muestra que las funciones de base estn
dadas por:

N 1e (x ) =

1
(x 2 x )
L

(35a)

N 2e (x ) =

1
(x x1 )
L

(35b)

para x1 x x 2 .
en donde el superndice e se introduce para recordar que estas funciones pertenecen al
elemento e. La forma de estas funciones de base se presentan en la Figura 4b. Al considerar
funciones de base entre elementos consecutivos se observa la tpica forma de un "sombrero
triangular", que es el nombre que recibe este tipo de funcin de base. En la Figura 4d se
observa que al combinar estas funciones de base se consigue una aproximacin lineal por
partes de la funcin original.
4.3.2 Elementos de Lagrange
Consideremos un elemento finito compuesto por m+1 puntos nodales, tal como se muestra en
la Figura 5a. La ubicacin de cada punto queda definida por su coordenada x. Lo que
deseamos es aproximar una funcin desconocida u mediante los valores nodales de esta en la
forma:
m +1

u~(x ) = N i (x ) u i

(36)

i =1

donde N i (x ) son las funciones base o de aproximacin, las que tiene la siguiente propiedad:

1
en x = xi

Ni =
0 en x = x , i j
j

(37)

Estas funciones se conocen como los polinomios de Lagrange de grado m. De esta forma se
puede escribir:
m +1

N i (x ) =
j =1

x xj
xi x j

(38)

Como un ejemplo podemos considerar el elemento de tres nudos que se muestra en la Figura
5b. En este caso m=2, de tal forma que N1, N2, y N3 estn dados por:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

11

Figura 5
Elementos de Lagrange

N 1 (x ) =

(x x 2 ) (x x3 )
(x1 x 2 ) (x1 x3 )

(39a)

N 2 (x ) =

(x x1 ) (x x3 )
(x 2 x1 ) (x2 x3 )

(39b)

N 3 (x ) =

(x x1 ) (x x 2 )
(x3 x2 ) (x3 x1 )

(39c)

4.4

Ejemplo

Consideremos un problema simple de flujo en una dimensin en un medio poroso uniforme de


10 unidades de longitud. La ecuacin que representa este problema es la siguiente:

d2p
= 0,
dx 2

0 x 10

(40)

donde el coeficiente K es igual a 1. Supongamos adems que las funciones de borde son de
tipo Dirichlet, dados por:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

12

0 en x = 0
p=
1 en x = 1

(41)

Para este anlisis subdividamos la regin en m elementos, y procedamos con los siguientes
pasos.
Paso 1
Construir la funcin de base o de aproximacin y usar el criterio de Galerkin para formar la
p se puede escribir en trminos de las
integral ponderada residual. La funcin de aproximacin ~
funciones de aproximacin globales y de los valores nodales de p como sigue:
n

~
p = N j pj

(42)

j =1

donde N j corresponde a la funcin de interpolacin en el nodo j, n es el nmero de nodos de la


malla de elementos finitos. Al sustituir este ltimo trmino en la ecuacin diferencial (40) se
obtiene un residual , el cual se puede expresar como:

d2~
p
=
2
dx

(43)

Paso 2
Aplicando el criterio de Galerkin y construyendo la integral residual de la forma:
10

dx = 0

i = 1, 2, K , n

(44)

x =0

o
10

Ni K

x =0

d2~
p
2
dx

dx = 0

i = 1, 2, K, n

(45)

Al aplicar el Teorema de Green (Integracin por partes) a la ecuacin anterior se obtiene:

dN d~
p
K i
dx dx
0
10

d~
p
dx + K
Ni
dx

10

=0

i = 1, 2, K , n

(46)

Debido al tipo de condicin de borde, Dirichlet, que impone valores de p en los extremos de la
malla (x=0 y x=10) la segunda expresin puede ser eliminada de la ecuacin (46). De esta
forma, para el resto de los nodos se obtiene la siguiente expresin:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

13

10

K
0

dN i d~
p

dx dx

dx = 0

i = 2, 3, K , n 1

(47)

Al substituir la aproximacin (42) en la ecuacin (47) se tiene:


10

K
0

dN i n dN j

pj
dx j =1 dx

dx = 0

i = 2, 3, K , n 1

(48)

Debido a que las funciones de aproximacin satisfacen condiciones de continuidad dentro de la


malla es posible escribir:
10

K
0

dN i n dN j

pj
dx j =1 dx

dx =

x 2 dN i n dN j

pj
K

dx j =1 dx
e =1 x1
m

dx = 0

i = 2, 3, K, n 1

(49)

donde x1 y x2 son las coordenadas de los nudos extremos del elemento e. De la ecuacin (49)
podemos extraer la ecuacin para el elemento e, la que corresponde a:
x2 n

x1 j =1

dN i dN j

pj
dx dx

dx = 0

i = 2, 3, K , n 1

(50)

o al reordenarla se obtiene:
n x2

K
j =1 x1

dN i dN j

p j dx = 0
dx dx

i = 2, 3, K , n 1

(51)

Cambiando de coordenadas globales a coordenadas locales se obtiene:


2 x2

K
j =1 x1

dN i dN j

p j dx = 0
dx dx

i = 1, 2

(52)

La ecuacin anterior representa una fila (i) de una ecuacin matricial en la que pj es una de las
incgnitas:
2

e
i j

p ej = 0

(53)

j =1

donde:
x2

C ie j = K
x1

dN i dN j

p j dx
dx dx

(54)

En una notacin matricial, la ecuacin (53) se puede escribir como:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

14

[C ]e {p}e = 0

(55)

donde:

[C ]e

dN 1
dx
= K

x1
dN 2
dx
x2

dN 1
dx

dN
1
dx

dN 1 dN 2

dx dx
dx

dN 2 dN 2

dx dx

(56)

Si utilizamos funciones de aproximacin lineales del tipo:

N 1e (x ) =

1
(x 2 x )
L

(57a)

N 2e (x ) =

1
(x x1 )
L

(57b)

tenemos que:

dN 1 dN 1e (x )
1
=
=
dx
dx
L

(58a)

dN 2 dN 2e (x ) 1
=
=
dx
dx
L

(58b)

Lo anterior permite escribir:

1 1
L 1 1

[C ]e = K

(59)

La ecuacin (59) describe las caractersticas de un elemento finito en particular. A continuacin


se debe realizar el ensamble de la matriz global y finalmente la incorporacin de las condiciones
de borde.
5.

SOLUCIN DE PROBLEMAS TRANSIENTES

5.1

Formulacin de las Ecuaciones de Elementos Finitos

La solucin de estado estacionario que se present en el ejemplo anterior es de tipo elptico.


Cuando se considera un problema de flujo transiente las ecuaciones de estado se transforman
en parablicas, y es necesario realizar discretizaciones espaciales y temporales. la
aproximacin en el tiempo puede ser realizada a travs de un esquema de diferencias finitas o
de elementos finitos.
Consideremos el siguiente problema en una dimensin:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

15

p
p
= ,
x x
t

0 x 10

(60)

con las siguientes condiciones iniciales y de borde:

p(x,0) = p 0

(61a)

p(0, t ) = 0

(61b)

p(10, t ) = 0

(61c)

Debido a que p es una funcin que depende del espacio y el tiempo, la representaremos por
medio de una funcin de aproximacin del tipo:
n

~
p (x, t ) = N j (x ) p j (t )

(62)

j =1

Si desarrollamos los mismos pasos que para el problema estacionario o de rgimen


permanente la ecuacin global es del tipo:
n 10
dp j
dN i dN j

p j dx + N i N j
dx = 0
dx dx
dt
j =1 0

n 10


j =1 0

(63a)

o
n

C
j =1

i j

pj + Mi j

dp j
=0
dt

i = 2, 3, K , n 1

(63b)

donde
10

Ci j =
0

dN i dN j

dx
dx dx

(64a)

y
10

M i j = N i N j dx

(64b)

La ecuacin (63) representa un sistema de ecuaciones diferenciales de primer orden, el que


puede ser resuelto numricamente a travs de un esquema de diferencias finitas de la forma
siguiente:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

16


C p k + + M

i j
ij j
j =1

dp j

dt

k +

=0

i = 2, 3, K , n 1

(65)

donde es un factor de ponderacin, cuyo valor se encuentra entre 0 y 1. Si reemplazamos la


derivada temporal por una diferencia del tipo:

dp j

dt

k +

p kj +1 p kj

(66)

Los valores nodales de p en el tiempo k + se pueden escribir como:

p kj + = (1 ) p kj + p kj +1

(67)

Sustituyendo las ecuaciones (66) y (67) en (65) se obtiene la siguiente expresin:

p kj +1 p kj
k
k +1

=0
(
)
C

p
+

p
+
M

j
j
i j
ij

t
j =1

i = 2, 3, K , n 1

(68)

La ecuacin (68) corresponde a un sistema de ecuaciones algebraicas o matriciales.


dependiendo del valor de es posible derivar diferentes aproximacines.
Esquema Explcito
Este esquema se obtiene si se fija en 0:

Mi j

j =1 t
n

n
k +1
M

p j = i j C i j p kj
j =1 t

i = 2, 3, K , n 1

(69)

i = 2, 3, K , n 1

(70)

Esquema Implcito
Este esquema se obtiene si se fija en 1:
n
M i j k +1

Mi j

C
+

p
=

j
ij

t
j =1
j =1 t
n

k
p j

Esquema de Crank-Nicolson
Este esquema se obtiene si se fija en 1/2:
n M
Ci j k
C i j M i j k +1
i j

pj
+

p
=

t
2
j =1 t
j =1 2
n

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

i = 2, 3, K, n 1

(71)

17

Cualquiera que sea el esquema de interpolacin temporal que se utilice, la solucin del
problema se obtiene utilizando las condiciones iniciales y de borde.
5.2

Anlisis de Estabilidad

Al resolver un problema transiente utilizando un esquema numrico es necesario asegurarse de


que el problema sea computacionalmente estable. Al igual que para los enfoques de diferencias
finitas es posible estudiar los cambios en el Factor de Amplificacin. Para esto expresemos los
esquemas anteriores en forma matricial como:

[A] {p}k +1 = [B] {p}k

(72)

La ecuacin anterior puede ser escrita en forma reducida como:

{p}k +1 = [A]1 [B] {p}k = [G ] {p}k

(73)

donde [G ] se conoce comnmente como la matriz de amplificacin. Definamos el vector de


error en el tiempo k, como:

{E}k = {P}k {p}k

(74)

donde {P} corresponde a la solucin exacta del problema en el tiempo k. Dado que la
ecuacin (73) tambin es satisfecha por la solucin exacta, es posible mostrar que:
k

{E}k +1 = [G ] {E}k

(75)

Utilizando normas compatibles para la matriz y los vectores, as como la desigualdad de


Schwartz, se obtiene:

k +1

GE

(76)

La ecuacin anterior permite identificar un criterio de estabilidad, de tal manera que los errores
numricos no crecern de una iteracin a la siguiente si se cumple que:

G 1

(77)

De esta manera, la estabilidad de la solucin numrica puede ser asegurada si la norma de la


matriz de amplificacin es menor que la unidad. Para una matriz simtrica, la norma ms
apropiada es la de tipo espectral o tipo 2:

G 2 = max i

(78)

donde i denota los valores propios de la matriz G. De esta manera, el criterio de convergencia
es el siguiente:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

18

max i 1

(79)

Esquema Explcito
Para este esquema podemos escribir la siguiente expresin matricial:

[M ] {p}k +1 = ([M ] t [C ]) {p}k

(80)

Lo anterior puede ser reordenado para obtener que:

{p}k +1 = [M ]1 ([M ] t [C ]) {p}k = [G ] {p}k

(81)

De tal manera que:

[G ] = [M ]1 ([M ] t [C ]) {p}k = [I ] t [M ]1 [C ]

(82)

donde [I ] es la matriz identidad. La ecuacin anterior puede ser escrita como:

[I ] = [G ] + t [M ]1 [C ]

(83)

Utilizando la norma de una matriz en ambos costados de la ecuacin (83) se tiene:

G 2 + t M 1 C

G 2 I 2 t M 1 C

(84)

o
2

(85)

Para estabilidad se debe tener:

G 2 1

(86)

El anlisis de esta desigualdad muestra que es vlida slo para algunos valores de t , lo que
hace que el esquema sea slo condicionalmente estable.
Al realizar el mismo anlisis para los esquemas Implcito y Crank-Nicolson se puede demostrar
que ambos son incondicionalmente estables.
5.3

Ejemplo

Para propsitos ilustrativos consideremos el problema unidimensional con la geometra definida


en la Figura 2. Consideremos que la longitud de cada elemento es x . Las matrices
elementales para este problema son las siguientes:

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

19

dN 1
x dx
=

0 dN
2
dx

[C ]e

dN 1
dx

dN 1 dN 2

dx dx
dx = 1 1

x 1 1
dN 2 dN 2

dx dx

dN 1
dx

(87)

[M ]

N1 N1
=
0
N 2 N 1
x

N1 N 2
dx =

6
N 2 N 2

2 1

1 2

(88)

Ensamblando los tres elementos e incorporando condiciones de borde Dirichlet en los nudos 1 y
4 (p1=0 y p4=0), la matriz global resultante puede ser reducida a:

dp 2
2 1 p 2 x 4 1 dt 0

x 1 2 p3
6
1 4 dp3 0
dt

(89)

desde donde:

[C ] =

2 1

x 1 2

(90)

4 1

1 4

[M ] = x
6

(91)

Para obtener el criterio de estabilidad del esquema explcito, calculemos la matriz [G ] desde:

[G ] = [I ] t [M ]1 [C ]

(92)

De esta manera,

g11
g 21

[G ] =

g12
g 22

(93)

donde

g11 = g 22 =

18 t
2
5 (x )

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

g12 = g 21 =

12 t
2
5 (x )

20

A partir de los resultados anteriores se pueden obtener los valores propios de la matriz G como:

1 =

6 t
1
2
(x )

(94)

6 t
1
2
5 (x )

(95)

2 =

Estos ltimos resultados nos permiten escribir:

max i = 1 1

(96)

lo que nos lleva a la siguiente condicin de estabilidad:

6 t
1 1
2
(x )

(97)

(x )
t
3

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

(98)

21

REFERENCIAS
Anderson, Tannehil and Pletcher (1984). "Computational Fluid Mechanics and Heat Transfer".
Hemisphere Publishing Corporation.
Huyakorn, P. And G. Pinder (1983). Computational Methods in Subsurface Flow. Academic
Press.
Lapidus, G. and G. Pinder (1982). Numerical Solution of Partial Differential Equations in
Science and Engineering. Wiley Interscience.
Remson, I., G. Hornberger, and F. Molz (1971). Numerical Methods in Subsurface Hydrology.
Wiley Interscience.
Valocchi, A. (1994). Modeling of Groundwater Flow and Solute Transport". Lecture Notes.
University of Illinois at Urbana-Champaign.

CI71D Modelacin Numrica en Ingeniera Hidrulica y Ambiental

22

Vous aimerez peut-être aussi