Introducción al método de los

Elementos Finitos en 2D

Lección 10: Prelim Matem

Ecuaciones diferenciales y formulación débil

Adaptado por Jaime Puig-Pey (UC) de:

. Zabaras, N. Curso ‘FE Analysis for Mech&Aerospace Design’. U. Cornell. 2012.
. Fish, J., Belytschko, T. “A First Course in Finite Elements”. Ed. Wiley, 2007.
E. T. S. de Ingeniería de Caminos, C. y P. Santander 1
 Preliminares matemáticos

. Considérese un dominioΩ , en 2D, con interior  y borde , (también lo

denominaremos en ocasiones )
b d  () se puede
. El borde d definir
d fi i mediante
di t ecuaciones
i paramétricas:
ét i x(s),
( )
y(s), siendo s la longitud de arco a lo largo de .
. Una función f(x,y) en el borde  se puede expresar: f(s)=f(x(s),y(s)), s indica
el parámetro en la definición paramétrica de la curva de borde  ()
. Utilizaremos una función escalar u(x,y) de 2 variables para representar
algunos
g problemas de campo,
p p q que tendrá el p
papel
p de función incógnita
g
(potencial hidráulico, temperatura,…).
. Supondremos que las funciones que utilicemos tienen las suficientes
condiciones de ‘suavidad’
suavidad o continuidad para que sean válidas las
operaciones a que se someten.
 (): {x(s),y(s)}

E. T. S. de Ingeniería de Caminos, C. y P. Santander 2

 Conceptos previos
. Gradiente u(x
u(x,y)
y) de una función escalar u(x
u(x,y):
y):
Es un vector: u(x,y) =(u/x) · i + (u/y) · j ,
( ,j versores ejes
(i,j j cartesianos X e Y))
. Es frecuente utilizar el operador gradiente ( )= (/x · i + /y ·j)( )
. El gradiente marca la dirección de máximo crecimiento de u(x,y) al
moverse desde el punto (x,y)
. La variación de u(x,y) en la dirección de un versor v= cos i+ sen  j
es la proyección del gradiente sobre v (producto escalar uu·v).
v). Se
escribe:
du/dv=u(x,y)/v = u(x,y) · v = u

=u(x,y)/x · cos + u(x,y)/y · sen i v
j 
 ()

E. T. S. de Ingeniería de Caminos, C. y P. Santander 3

 Flujo
. Se llama flujo (x
(x,y)
y) a un vector que es función del punto (x
(x,y),
y) como el
gradiente , y que en 2D tiene dos componentes y representa un campo vectorial
(puede ser flujo de calor o de fluido por unidad de longitud (2D) o superficie
(3D),
(3 ), …))
t
n
Y
Visión del borde: 
j
. El flflujo
j en ell b d (s)
borde ( ) = (x(s),y(s)),
( ( ) ( )) i X 
se puede descomponer en las componentes: (x,y)
. Normal : n(s) = (s)· n(s) {(·) es producto
escalar, n(s) es versor normal exterior}
. Tangencial:  t(s) = (s)·t(s)
|n(s)|=1
|n(s)| 1 ; |t(s)|
|t(s)|=1
1

E. T. S. de Ingeniería de Caminos, C. y P. Santander 4

 Flujo

. Considérese un subconjunto arbitrario ω ⊂ Ω que contiene a un punto (x0,y0) del

conjunto.
. Considérese el flujo normal σn(s)= (s) n(s) que atraviesa el borde ∂ω de ω
(s)=(s)·n(s)
. El flujo total a través de ese borde es la integral curvilínea de σn(s)a lo largo del
mismo, siendo ds el diferencial de arco de curva:

. Si dividimos entre el área Aω de ω,

se puede interpretar el resultado como la
cantidad de flujo
j σqque fluye
y dentro de ω
por unidad de área.

E. T. S. de Ingeniería de Caminos, C. y P. Santander 5

 Flujo
El límite de cuando el tamaño de ω tiende a cero
cero,

conteniendo siempre al punto (x0,y0), se denomina la divergencia del flujo en P0:

( (x0,yy0)),
div ((x )) que es una magnitud escalar
escalar.
Tomemos como subconjunto ω una región rectangular elemental

Dividiendo por el área x·y,

tomando el límite para x,
x y0

  x ( x, y )  x ( x, y )
div (σ( x, y ))   
x y
  
 ( i  j)·( x ( x, y )·i   y ( x, y )·j)  ∇·σ
x y

De modo que · es la densidad de flujo neto por unidad de área en un

punto genérico de Ω.
Ω
E. T. S. de Ingeniería de Caminos, C. y P. Santander 6
 Flujo
 

El flujo total que sale de la región Ω es por tanto:
∑=    dx dy


Pero también podemos escribir el valor del flujo saliente

utilizando la expresión del flujo normal en el borde:

  
∑=  ∇· ·dx dy    ·n ds
 

Este es el Teorema de la Divergencia de Gauss, que permite expresar la

integración extendida a un dominio 2D
2D, como una integración curvilínea
extendida al borde de dicho dominio (n es normal exterior, la curva se
recorre en sentido antihorario).

E. T. S. de Ingeniería de Caminos, C. y P. Santander 7

 Ecuaciones constitutivas y principio de conservación

Ecuación constitutiva. Relaciona la variable escalar de estado u(x,y), a menudo

a través de su gradiente u(x,y) , con la vectorial de flujo .
(x,y)= -k(x,y)·u(x,y) (caso 2D)
siendo k(x,y) es un operador de transferencia que depende del medio físico
considerado. Puede ser una matriz.

Ejemplos de modelos lineales:

(1D): Ley de Hooke:  = E·ε , : tensión, k=-E (mód. Elastic.), ε=du/dx, def. unit.
(2D): Ley de Fourier, conducción del calor (q: flujo de calor, T:temperatura)
Material anisotrópo: =-K·T
(k: tensor de conductividad térmica)
Material isotrópo: =-K·T

(2D): Ley de Darcy, flujo en medio poroso (q: flujo de fluido, P: potencial hidráulico)
Material ortotrópo:
=-K·P
(k: tensor de permeabilidad)
E. T. S. de Ingeniería de Caminos, C. y P. Santander 8
 Ecuaciones constitutivas y principio de conservación

Principio de conservación.
conservación Es una ley de equilibrio o balance: Para cualquier
porción  del dominio  , el flujo neto que atraviesa el borde de esa porción
de dominio debe ser igual la cantidad total producida por las fuentes internas
Siendo f la fuente de flujo por unidad de área Utilizando el teorema de la
de la porción : divergencia

 


σ·n ds   f dx dyy
  ∇·σ dx dyy   f dx dyy
 
 
 (· - f ) dx dy  0 , para todo  ⊂ 
Puesto que  es arbitrario, la forma local
de la ecuación de balance es:
 
(x y)= f(x,
∇·σ(x, f(x y),
y) (x y) ∈Ω
(x,
Se puede ampliar el modelo añadiendo un término
proporcional a la variable de estado u(x,y)
 
∇·σ( x, y ) +b(x, y) u(x, y) = f(x, y), ∀( x, y) ∈
Ecuación constitutiva : (x,y)= -k(x,y)·u(x,y) (2D). El balance se representa
como una ecuación en derivadas parciales de 2º orden en u(x,y)
E. T. S. de Ingeniería de Caminos, C. y P. Santander 9
 Principio de conservación en interfaces
Considése una interfaz o zona de contacto s) que separa dos materiales con
diferentes módulos k1 y k2 en un mismo cuerpo.
Tomando una banda delgada del cuerpo envolviendo esta interfaz
la ley de balance toma la forma .
s2  (-)   (  ) 
 ( σ ·n  σ ·n )·ds  0
s1

Que se ha de verificar para cualquier trozo de

banda en torno a la curva de contacto s) .
Luego el integrando debe ser nulo, es decir, el
balance local en la interfaz se reduce a:

 (+)   (-) 
[[n(s)]] =  (s))·n -  (s))·n = 0 ,∀s ∈

E. T. S. de Ingeniería de Caminos, C. y P. Santander 10

 Condiciones de Borde

- En
E la t 2 del
l parte d l contorno
t global d  aplicamos
l b l de li
condiciones de borde ‘naturales’o de Neumann, que afectan
al flujo normal en ese borde.
Podrán ser de 2 tipos:
. Flujo normal dado por una función conocida q(s)
 
n (s) = (s)·n(s) = q(s)
. Flujo en el borde dado por una relación que tiene en cuenta
el valor de u(s) en el borde y en el ‘exterior’ û (s), con el factor p(s),
estos últimos de valor conocido.
 
n (s) = (s)·n(s) = p(s)·(u(s) - û(s))
. Ambas se pueden sintetizar de la forma:
 
n (s) = (s))·n(s) = (s))·u(s) +(s)
con (s), (s) funciones conocidas , datos en el borde 2

- En
E la
l parte
t del
d l contorno
t 1 se aplicarán
li á lasl
condiciones de contorno ‘esenciales’ o de Dirichlet, que fijan
valores ‘obligados’ de la función escalar incógnita û(s): u(s)=û(s) ,
s1 siendo û(s) una función conocida
E. T. S. de Ingeniería de Caminos, C. y P. Santander 11
 Resumen del problema de interés
Los datos en un dominio  de borde = 1 U 2 , con dos subdominios 1 y 2:
- 1, 2 contorno exterior y una interfaz  (Borde interno entre 1 y 2)
- La ‘fuente’ f=f(x,y) en i , i=1,2
- ‘Parámetros’ de material ki=ki((x,y)
y) , bi=bi((x,y) y) en i , i=1,2
y) , ((x,y)
- Los datos para las condiciones de borde:
. Esenciales : u(s)=û(s) , s 1
. Naturales: (s), (s) en 2 ,
(o bien q(s) y/o p(s) y û(s), en 2)
Con estos datos, calcular la función escalar u(x,y) en 
(temperatura potencial hidráulico,…)
(temperatura, hidráulico ) :
 
EDP:  ·(k(x,y)· u(x,y)) +b(x,y) ·u(x,y)=f(x ,y), ( x , y )  Ωi ,i=1, 2
u ( s ) u(s)
Naturales: - k(s)·  p ( s )·( u ( s ) - uˆ ( s )), s   2  k(s)·  q(s) , s  Ω2
n n

Condiciones u ( s )
globales de o en síntesis : - k(s)·   ( s )·u ( s )   ( s ), s   2  ( s ) y  ( s ) conocidas
contorno n
Conservación flujo [[ k(s)  
Esenciales : u(s)=û(s) , s1 i t f 
normall interfaz k(s)·∇ u ( s )·
) n (s )]] = 0 , s ∈

E. T. S. de Ingeniería de Caminos, C. y P. Santander 12

 Comentario relativo a las condiciones de borde
. El caso especial en que b=0 y sólo se aplican condiciones
naturales de borde del tipo u ( s )
- k(s)·  ˆ n ( s ) dada , s   2
n

y sucede que 2 coincide con  , precisa de atención

especial:

- La solución u(x,y)
( ,y) se ppuede determinar salvo una constante
- Para que exista u, se ha de satisfacer la siguiente condición de
compatibilidad:
 f ( x, y )·dx·dy   ˆ n·ds
 

E. T. S. de Ingeniería de Caminos, C. y P. Santander 13

 El problema Variacional: FORMA DÉBIL
. Llamaremos ‘Residuo’
Residuo , R(x,y)
R(x y) , a la parte de la ecuación diferencial que se iguala a
 
cero: R(x,y)= - ∇·(k(x,y)·∇u(x,y)) +b(x,y) ·u(x,y) - f(x,y), ( x, y ) ∈Ω
(recuérdese que la solución del problema verifica R(x,y)=0)
. Formulación débil: Se trata de obtener una ecuación (integral) con la misma
solución que la ED, mediante integración en el dominio  del producto de R(x,y)
por una función ‘de peso’ w(x,y) adecuadamente elegida de modo que sea
integrable R(x,y)
R(x,y)·w(x,y)
w(x,y) y obligando a que sea cero el promedio integral con peso
que resulta (de momento se distinguirán en  las zonas 1 y  2):

w(x,y) ·R(x,y) d = 0
   
Ω1
w(x,y)·[- ∇·(k(x,y)· u))+b(x,y) ·u(x,y)- f (x,y)]dΩ   w(x,y)·[- ∇·(k(x,y)· u))+b(x,y) ·u(x,y)- f (x,y)]dΩ  0
Ω2

Está claro que la solución exacta verifica esta ecuación siempre que w(x,y) sea
suficientemente
fi i t t ‘suave’
‘ ’ como para que lal integración
i t ió tenga
t sentido.
tid
. Para aplicar el método, se introduce una solución aproximada uap(x) combinación
de funciones base Bi(x), que cumple la ecuación en el límite al crecer el número de
f
funciones
i b
base d
de modo
d que se garantice
ti lal aproximación
i ió a la
l solución
l ió exacta
t
u(x,y).
uap ( x )  i 1 ci ·Bi ( x )
nB
¿Qué tipo de propiedades se exigen a la función w(x,y)?

E. T. S. de Ingeniería de Caminos, C. y P. Santander 14

 El problema Variacional: FORMA DÉBIL

. La función de peso w(x,y) hace un efecto de penalización para que el residuo

sea pequeño cuando se introduzca una aproximación de u(x,y) (el residuo es
cero en la solución exacta).
)
. En el problema , en la zona del borde 1 se ha convenido que se conoce la
solución u(x,y) - condiciones esenciales de contorno- y que la solución uap(x,y) las
verificará exactamente.
exactamente Para esa ‘zona’
zona del dominio no se hace necesario utilizar
penalización sobre u(x,y) ni sobre uap(x,y), y por ello se exigirá que las funciones
w(x,y) se anulen en esa zona del contorno.
. Por otra parte,
parte se verá que introduciendo propiedades integrales en la expresión
de la integral del residuo ponderado, ésta se transformará en otra expresión en
que aparecen las derivadas primeras de w(x,y). Por ello exigiremos las funciones
w(x y) una estructura suave para que sea correcto realizar integraciones de
w(x,y)
expresiones en que aparecen sus derivadas primeras. Las transformaciones
integrales producirán asimismo expresiones en que aparecen las derivadas
primeras de u(x,y), en lugar de las segundas que aparecen en la ecuación
diferencial.

E. T. S. de Ingeniería de Caminos, C. y P. Santander 15

 El problema Variacional: FORMA DÉBIL
   

Ω1
w(x,y) [ ∇·(k(x,y)·
w(x,y)·[- (k(x,y) ∇u)
u)+b(x,y)· u(x,y)- f(x,y)]dΩ + w(x,y)
b(x,y) u(x,y) [ ∇·(k(x,y)·
w(x,y)·[-
Ω2
(k(x,y) ∇u)
u)+b(x,y)· u(x,y)- f(x,y)]dΩ  0
b(x,y) u(x,y)

Continuamos buscando una expresión equivalente en que aparezcan derivadas de

menor orden de u(x,y) , que de partida son de orden 2. Compruébese que:
·(w·(ku))= w·(ku)+w··(ku), -w··(ku)=w·(ku)-·[w·(ku)], luego:
 
Ω1 [  w(x,y)·k(x ,y)·  u(x,y)+w(x ,y)·b(x,y) ·u(x,y) - w(x,y)·f (x,y)]·dΩ +
 
  [w(x,y)·k(x ,y)·u(x,y)+w(x ,y)·b(x,y) ·u(x,y) - w(x,y)·f (x,y)]·dΩ 
Ω2
   
  ·[w(x,y)·k (x,y)· u(x,y)]·dΩ   ·[w(x,y)·k (x,y)· u(x,y)]·dΩ  0
Ω1 Ω2

Por el teorema de la Divergencia

    
A
· d    ·n ds
A
. Llamando   w( x, y )·k ( x, y )·u :
    u
A  ·[ w ( x , y )·k ( x , y )·∇ u ] d   A w ( x , y )·k ( x , y )·∇ u · n ds  A w ( x , y )·k ( x , y )·
n
ds

l 2 últi
los últimos té
términos,
i i d (1) y (2) llos contornos
siendo t d bd i i 1 y 2:
de llos subdominios

u u
 w(x,y)·k(x ,y)· ·ds   w(x,y)·k(x ,y)· ·ds
 ( 1 ) n  ( 2 ) n
E. T. S. de Ingeniería de Caminos, C. y P. Santander 16
 El problema Variacional: FORMA DÉBIL
 
Ω1 [w(x,y)·k(x ) u(x,y)+w(x
( ) k( ,y)· ( ) ( ,y)·b(x,y) ( )  w(x,y)·f(x
) b( ) ·u(x,y) ( ) f( ,y)] )]·dΩ +
 
 [w(x,y)·k(x ,y)·u(x,y)+w(x ,y)·b(x,y) ·u(x,y)  w(x,y)·f(x ,y)]·dΩ 
Ω2

u u
 w(x,y)·k(x ,y)· ·ds   w(x,y)·k(x ,y)· ·ds  0
∂( Ω1 ) n ∂( Ω2 ) n

Podemos separar la integración sobre , interfaz interior

entre 1 y 2, en los dos últimos términos:

u u
 w(x,y)·k(x ,y)· ·ds   w(x,y)·k(x ,y)· ·ds 
 ( Ω1 ) n  ( Ω2 ) n
u u
  w(x,y)·k(x ,y)· ·ds   w(x,y)·k(x ,y)· ·ds 
 ( Ω1 )-  n  ( Ω2 )-  n
u u
  [w(x,y)·k( x,y)· ]Ω1·ds    [w(x,y)·k( x,y)· ] ·ds
∈1 n ∈ 2 n 2

Pero al recorrer el borde (curva ) desde cada subdominio 1 y 2, las normales n1 y n2 son
iguales en dirección y opuestas en sentido, luego la suma de los 2 últimos términos, es
CERO ( es como el equilibrio de flujo normal en la interfaz de los subdominios).

E. T. S. de Ingeniería de Caminos, C. y P. Santander 17

 El problema Variacional: FORMA DÉBIL
 
Ω1 [w(x,y)·k(x y)·u(x,y)+w(x
w(x y)·k(x ,y)· u(x y)+w(x ,y)·b(x,y) ·u(x y)  w(x,y)·f(x
y)·b(x y) ·u(x,y) w(x y)·f(x ,y)]
y)]·dΩ +
 
 [w(x,y)·k(x ,y)·u(x,y)+w(x ,y)·b(x,y) ·u(x,y)  w(x,y)·f(x ,y)]·dΩ 
Ω2

u u
 w(x,y)·k(x ,y)· ·ds   w(x,y)·k(x ,y)· ·ds  0
∂( Ω1 )-  n ∂( Ω2 )-  n

De modo que resumidamente, la forma débil, puesto que

= 1U 2 y la unión de (1)- y (2)- conforma el
contorno  de :
  u
Ω [  w(x,y)·k(x
( ) k( ,y)·
)  u(x,y)+w(x
( ) ( ,y)·b(x,y)
) b( ) ·u(x,y)
( )  w(x,y)·f(x
( ) f( ,y)]·dΩ
)] dΩ -  w(x,y)·k(x
( ) k( ,y)·
)
n
d 0
·ds

Se comprende que se llega a la misma forma débil en el caso en que  se

componga
p g de más subdominios con parámetros
p materiales distintos.
. La función de peso w(x,y) se anula en 1, zona de contorno con u conocido
(c. esenciales), así que la integral curvilínea se anula en 1. Luego se puede
escribir la forma débil:
  u
Ω
[w(x,y)·k(x ,y)·u(x,y)+w(x ,y)·b(x,y) ·u(x,y)  w(x,y)·f(x ,y)]·dΩ  
 2
w(x,y)·k(x ,y)·
n
n
·ds  0

E. T. S. de Ingeniería de Caminos, C. y P. Santander 18

 El problema Variacional: FORMULACIÓN DÉBIL
  u

Ω
[w(x,y)·k(x ) u(x,y)+w(x
( ) k( ,y)· ( ) ( ,y)·b(x,y) ( )  w(x,y)·f(x
) b( ) ·u(x,y) ) d 
( ) f( ,y)]·dΩ
 2
w(x,y)·k(x
( ) k( ,y)·
)
n
d 0
·ds

. Sustituyendo la siguiente condición de contorno ‘natural’ de síntesis:

u ( s )
-k(s)·  α(s)·u(s)  β(s), s   2 ,  ( s ),  ( s ) conocidas
n
 


[∇w(x,y)·k(x ,y)·∇u(x,y)+w(x ,y)·b(x,y) ·u(x,y) - w(x,y)·f (x,y)]·dΩ 

 w( x, y )·[ ( s )·u ( s )   ( s )]·ds  0

Ω2

Finalmente, ubicando a la izquierda los términos con ‘u’,

la ‘formulación débil’ q
queda:

 
 
[∇w(x,y)·k(x ,y)·∇u(x,y)+w(x ,y)·b(x,y) ·u(x,y)]·d Ω  
Ω2
w( x, y )· ( s )·u ( s )·ds 

  w( x, y )· f ( x, y )·dΩ   w( x, y )· ( s )·ds

  2

E. T. S. de Ingeniería de Caminos, C. y P. Santander 19

 Espacio de funciones admisibles H1()
La ‘forma
forma débil
débil’ de la formulación queda,
queda para todas las funciones de peso
w(x,y) admisibles tales que w(x,y)=0 en 1
 


[∇w(x,y)
w(x y)·k(x y)·∇u(x,y)+w(x
k(x ,y) u(x y)+w(x ,y)
y)·b(x
b(x,y)
y) ·u(x
u(x,y)] d  
y)]·d
Ω2
w( x, y ))· ( s ))·u ( s )·ds
ds 

  w( x, y )· f ( x, y )·dΩ   w( x, y )· ( s )·ds

  2

¿Cuál es la clase de funciones admisibles?

Las que verifican:
 w  2  w 2 
  x    y   w  dxdy  
2

 
- Denotamos este espacio de funciones H1() indicando:
. 1 expresa que las primeras derivadas son de cuadrado integrable
.  indica el dominio sobre el que estas funciones están definidas.

- Buscaremos la solución u(x,y) también en este espacio.

E. T. S. de Ingeniería de Caminos, C. y P. Santander 20
 Resumen de la formulación débil del problema
( y)  H1(()) tal que
* Encontrar una función u(x,y) q u(s)= ( ) s  1 y q
( ) û(s), que verifique
q lo
siguiente, para todas las funciones admisibles w(x,y) , tales que w(x,y)=0 en 1:
 

[∇w(x,y)·k(x ,y)·∇u(x,y)+w(x ,y)·b(x,y) ·u(x,y)]·d Ω  
Ω2
w( x, y )· ( s )·u ( s )·ds 

  w( x, y )· f ( x, y )·dΩ   w( x, y )· ( s )·ds

  2

** Se puede repetir la anterior formulación débil

utilizando notación matricial del siguiente modo, lo que
es adecuado para la implementación del método de los
Elementos Finitos (FE, FEM)

* Encontrar u(x y)  H1() tal que u(s)= û(s)

u(x,y) û(s), s1 tal que
para todo w(x,y)H1() , con w(x,y)=0 en 1 , se cumpla:
 T 
 [(∇w)
) ·k(x,y)
 
· u+w( x, y )·b( x, y )·u ( x, y ) ]·dΩ   
( ,y)∇
2 x1
        Ω2
w( s )·
 ( s )·ds 
( s )·u
1x 2 1 x1 1 x1 1 x1 1 x1 1 x1 1 x1 1 x1

  w(x,y)· f(x,y)·dΩ   w ( s )· ( s )]·ds

Ω   Ω2  
1 x1 1 x1 1 x1 1 x1

E. T. S. de Ingeniería de Caminos, C. y P. Santander 21

 Forma matricial de la formulación débil
( ,y)  H1(()) tal q
* Encontrar u(x,y) que u(s)=
( ) û(s),
( ), s1 tal q que w(x,y)H
( ,y) 1(()) , con
w(x,y)=0 en 1 , se cumpla:
 T 
 [(w) ·
·k(x,y) u+w
2 x1
 (
x, 
y )·b
(
x, 
y )·u( y ) ]·dΩ   w
x,  ( s )· ( s )·u ( s )·ds 
Ω2   
1x 2 1 x1 1 x1 1 x1 1 x1 1 x1 1 x1 1 x1

 
Ω
w(x,y)
·  ·dΩ  Ω2 w
f(x,y)  ( s )·
 ( s )]·ds
1 x1 1 x1 1 x1 1 x1

El operador gradiente se usa aquí como un vector

columna:
  u 
        w w 
   x  , u   ux  , (w) T  
     x y 
 y   y 

Se intercambiarán las 2 notaciones y se

entenderá en cada caso según el contexto.

E. T. S. de Ingeniería de Caminos, C. y P. Santander 22

 Apéndices
Se añaden algunas diapositivas relacionadas con:

. Antecedentes matemáticos

. Prueba de equivalencia entre las formulaciones fuerte y débil

. Ejemplos en que se deduce la forma débil en problemas de

contorno en 2 dimensiones

. Incluyendo anisotropía (con la ley de Fourier generalizada),

etc.
t

E. T. S. de Ingeniería de Caminos, C. y P. Santander 23

 Equivalencia entre formulaciones débil y fuerte

Consideremos el siguiente problema de contorno :

 
·q (x,y) =f(x,y), ( x , y )  
(Notación para el dominio  y su contorno  :  , 1u, 2q )
  u ( s )  
donde q  -k·u, -k ( s )·  q  n  q sobre q , y u  u sobre u , siendo q ∪ u   (  )
n
Formulación débil: Encontrar u(x,y) H1() : w(x,y)H1() , con w(x,y)=0 sobre u:
 
 ∇w( x, y )·k(x,y )·∇u( x, y )·dΩ   w( x, y )·q ( s )·ds 
 q Ω
w( x , y )· f ( x , y )·dΩ

Es decir:  

∇w ( x , y )· q ( x , y )·dΩ   w( x , y )· f ( x , y )·dΩ 
Ω q
w( x , y )·q ( s )·ds

Se trata de demostrar que esta ‘formulación débil’ es equivalente a la ‘fuerte’ (es

decir, recuperar: EDP + Condiciones de Contorno naturales (afectan a derivadas))

E. T. S. de Ingeniería de Caminos, C. y P. Santander 24

 Equivalencia entre formulaciones débil y fuerte
 
 ∇w( x, y )·q ( x, y )·) dΩ   w( x, y )·) f ( x, y )·) dΩ 
 Ω q
w( x , y )·
) q ( s )·
) ds
d

Recordando,            
∇(w ·q ) = w (∇• q ) +∇w • q ⇒ 

∇w  q d   ∇( w·q ) d   w·((∇  q ) d
 

       
Aplicando el teorema de la divergencia:  
A
 V ·dA=   n ds ⇒
V
A 

∇  (w·q )d Ω  

w·q  n·ds

Resulta el teorema de Green (generaliza integración por partes 1D)

     

∇w  q d   w·q  n ds   w·(∇  q )·d
 

   
Quedando la forma débil:
Q


w·q  n ds   w·((∇  q ))·d   w· f ·d   w·q·ds 
  q

     
u
w·q  n ds   w·q  n ds   w·(∇  q - f )·d   w·q·ds  0 
q  q

     
q
w·( q  n - q )·ds   w·q  n·ds   w·(∇  q - f )·d  0 ∀w ∈ H 1 () con w  0 sobre u
u 

E. T. S. de Ingeniería de Caminos, C. y P. Santander 25

 Equivalencia entre formulaciones débil y fuerte
     

q
w·( q  n - q )·ds   w·q  n·ds   w·(∇  q - f )·d  0 ∀w ∈ H 1 () con w  0 sobre u
u 

Deduzcamos primero la EDP, Tomemos w como sigue:

 
w=(x)·(∇ • q - f) , con =0 sobre Γ y >0 sobre Ω

La ecuación de la ‘formulación débil’ queda entonces:

   
 ·(∇  q - f ) d  0 ⇒ ∇  q - f  0 en 
2


E d
Es decir,
i se verifica
ifi lla ecuación
ió dif
diferencial.
i l

E. T. S. de Ingeniería de Caminos, C. y P. Santander 26

 Equivalencia entre formulaciones débil y fuerte
     

q
w·( q  n - q )·ds   w·q  n·ds   w·(∇  q - f )·d  0 ∀w ∈ H 1 () con w  0 sobre u
u 

 
Puesto que se verifica
f la EDP , ∇  q - f  0
la formulación débil se puede escribir (*):
   
     n ds  0 ∀w ∈ H () con w  0 sobre u
1
w·( q n - q ) ds w·q
q u

. Deduzcamos la condición de contorno natural. Tomemos w como

sigue:  
w   ( x )·( q  n - q ) , con   0 sobre u y   0 sobre q

. Sustituyendo en la expresión (*) anterior resulta entonces:

   
  ·( q  n - q ) ·ds  0 ⇒ q  n - q  0 sobre q
2
q

E. T. S. de Ingeniería de Caminos, C. y P. Santander 27

 Ley generalizada de Fourier
. En general
general, el flujo q y el gradiente de una función escalar u
(temperatura, potencial hidráulico) están relacionados mediante la ley
generalizada de Fourier (anisotrópica):
u
qx  kxx kxy  x  
  =  ·     D · ∇ u
qy  kyyx kyy u 2x2 mat conduc 2x1
y 
. Para medios isotrópicos:
k 0 
[ D]   k [I]
 0 k  22x2
x 2 identity
matrizmatrix
identidad

. Para un problema de contorno (BVP) 2D con flujo dado q sobre el borde

o contorno q, así como un valor u para u sobre una parte del borde u y
un término ‘fuente’ f, se deduce que la formulación débil en notación
matricial es:
u(x y)H1(Ω),
Encontrar u(x,y) (Ω) con w=0 sobre u tal que:
 T 
 ( D ·u·d    w
w) · 
 2x2  2 x1
· q ·ds   w
q  
· f ·dΩ
Ω  
1 x1 1 x1 1 x1 1 x1
1x 2

E. T. S. de Ingeniería de Caminos, C. y P. Santander 28

 Apéndice: Teorema de la Divergencia

Si q(x, y) ∈C 0 es integrable ,

  


  q d   ·n ds
q


. Observar que:   q q y
q  x 
x y
. Podemos escribir el teorema de la divergencia así:

q x q y
 ( x  y )·d   (qx ·n x  q y ·n y )·ds

E. T. S. de Ingeniería de Caminos, C. y P. Santander 29

 Apéndice: Teorema de Green

. El teorema de Green
     
 w·(∇  q)·dΩ   w·(q  n)·ds   ∇w  q·dΩ
Ω  Ω

. Para demostrarlo, compruébese que:

     
∇  ( w·q )  w(∇  q )  ∇w  q ⇒
    w q x w q y    
∇  ( w·q )  ( w·q x )  ( w·q y )  ·q x  w  ·q y  w  w·(∇  q )  (∇w)  q
x y x x y y

Esto junto al teorema de la divergencia    

produce el teorema de Green:
p 
∇  v d   v  n·ds


         

w·(   q )·d  
  ( w·q )·d   w  q ·dΩ   w·( q  n )·ds   w  q ·dΩ
Ω  Ω

b dv b du
Tiene analogía
g con la integración
g p
por p
partes en 1D: 
a
u·
dx
·dx=[u·v] ab   v· ·dx
a dx
E. T. S. de Ingeniería de Caminos, C. y P. Santander 30
 Ejemplo de aplicación del teorema de la divergencia

Consideremos la función
f nción vectorial: ( x , q y ) = (3 x 2 y +y 3 , 3 x +y 3 )
ectorial q=(q
definida en el dominio triangular de la figura

Comprobar la validez del teorema de la divergencia,

Recordando el teorema de la divergencia :
  


·V dΩ  
Γ
V·n ds

Hay que comprobar que:

 
 
 
  q d  q  n d
 

E. T. S. de Ingeniería de Caminos, C. y P. Santander 31

 Ejemplo de aplicación del teorema de la divergencia

De q=(q x , q y ) = (3 x 2 y +y 3 , 3 x +y 3 ) calculamos su divergencia:

  q q
  q  x  y   6 xy   (3 y 2 )  6 xy  3 y 2
x y

 
Utilizando esto, calculamos    qd  :


  2 10.5 x 2

             ]dx  1.5
2 2 3
qd (6 xy 3 y )dydx [3 x (1 0.5 x ) (1 0.5 x )
 0 0 0

Por otra parte hemos de calcular y  1  0.5 x

el segundo miembro de:
 
 
 
  q d  q  n d
 
dx

E. T. S. de Ingeniería de Caminos, C. y P. Santander 32

 Ejemplo de aplicación del teorema de la divergencia
Recorriendo el contorno (normal exterior):
       
 q  nd    q  n d   q  n d 
 AB (0,1) dx BC 5 5
 q  n d
CA ( 1,0)  dy
(1,2)  dx
5 2

5  (2) 5
Observar que sobre el segmento BC: ds   dx y n  (1, 2) . Así:
2 5
  5 2 
0 0
2 5
 q  nd   0 (3x  y )dx  2 5 (3x y  y )  2(3x  y )  ( 2 dx)  1 (3 x0 y  y )(dy) 
3 3 3 2 3

0  10.5 x 
  2
1
       2 (3x (1  00.55 x)  (1  00.55 x) )  2(3x  (1  00.55 x) )  dx  00.25
25 
2 3 3
q nd 6
 0

 
 q  nd   6  7.75  0.25
y  1  0.5 x 
 
| ds | dx 2  dy 2   q  nd   6  7.75  0.25  1.5 

2
 dx  5
dx 2     | dx |    
 
   qd    q  nd 
2 2
 
dx

E. T. S. de Ingeniería de Caminos, C. y P. Santander 33

 Ejemplo: Deducción de la formulación débil
Consideremos la conducción del calor en el domino de la figura
figura, con las
condiciones de contorno que se indican. Se trata de deducir la formulación débil
completa del problema.

 
-•(k(x,y)·
(k(x,y) T(x,y))  f(x,y)

Se empieza multiplicando el residuo por la función de peso w e integrando

sobre el dominio Ω  
R( )  ·(k(x,y)·
R(x,y)= (k( ) T(x,y))
T( ))  f(x,y)
f( )

( y) suficientemente suave que se anule en T

Para toda función w(x,y)
(condiciones esenciales) se ha de verificar:
 
 w(x,y)·[
( y)  •(k(x,y)·

( ( y) T(x,y))-
( y)) f((x,y)]dΩ
y) 0

E. T. S. de Ingeniería de Caminos, C. y P. Santander 34

 Ejemplo: Deducción de la formulación débil
 
 w(x,y)
w(x y)·[[  •(k(x

 
y)·T(x,y))-
(k(x,y) (x y)]dΩ  0
T(x y))- f(x,y)]dΩ
 
   
Aplicando el teorema de Green:  w·(  q )·dΩ   w·(q  n )·ds   w  q·dΩ con q   k·T
     
Recordando que w  w·((   (  k  T)
T)·dΩ
dΩ 
Ω w·(
(  k  T)  n )
)·ds
d  Γ
 w  (  k  T) dΩ
T)·dΩ
Ω

se anula en T
   

q  h
w·((  k·T  n ))·ds   (w  (  k·T ) - w· f ))·d  0


  T


[w  (k·T)-w·f]·dΩ  
q  h
w·( k·
n
)·ds  0, ∀w ∈ H 1 ( ) , con w  0 en T

El término de integración en
el contorno se puede
concretar más:

T
Γq Γh
w·(k·
n
)·ds   w·(  q )·ds  
Γq
Γh
w·(-h·(T-T∞ ))·ds    w·q ·ds   w·h·T·ds   w·h·T∞·ds
Γq Γh Γh

E. T. S. de Ingeniería de Caminos, C. y P. Santander 35

 Ejemplo: Deducción de la formulación débil
  T


[w  (k· T) w f] dΩ  
(k T)-w·f]·dΩ
q  h
w·(( k·
n
) ds  0, ∀w ∈ H 1 ( ) , con w  0 en T
)·

La formulación débil resulta: Encontrar T(x,y) H1(Ω),

con T=T sobre T ,  w(x,y)  H1(Ω) con w=0 en T verificando:

 

[w  (k T)-w f] dΩ   w·h Tds    w·q·ds   w·h·T∞·ds
T)-w·f]·dΩ
h q h

Se puede esc
escribir
b también
a b é laa forma
o a
débil en forma matricial, :
 T 
Ω (·1kx1·
w)  dΩ   w
T ·dΩ
2 x1
Γh
w·hh Tds 
1x 2

  w·f ·d   w·q·ds   w·h·T∞·ds

q h


∀w ∈ H 1 () , con w  0 sobre T

E. T. S. de Ingeniería de Caminos, C. y P. Santander 36