– Typeset by GMNI & FoilTEX –

MÉTODO DE RESIDUOS PONDERADOS:

PROBLEMAS DE EQUILIBRIO 2D/3D
F. Navarrina, I. Colominas, M. Casteleiro, H. Gómez, J. Parı́s

GMNI — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

Departamento de Métodos Matemáticos y de Representación
Escuela Técnica Superior de Ingenieros de Caminos, Canales y Puertos
Universidad de A Coruña, España

e-mail: fnavarrina@udc.es
página web: http://caminos.udc.es/gmni

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 ÍNDICE

I Problema Conceptual

I Planteamientos Alternativos

I Residuos Ponderados: Forma Débil

I Residuos Ponderados: Aproximación Numérica

I Residuos Ponderados: Error de Aproximación

I Elección de las Funciones de Test

I Método de Bubnov-Galerkin

I Elección de las Funciones de Prueba

I Notación en Formas Bilineales

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (I)

Sea el problema de equilibrio 2D/3D:

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (IIa)

ECUACIÓN INTEGRAL DE EQUILIBRIO/CONSERVACIÓN

ZZ ZZZ
σ̄ T n̄ d(∂V ) = − b dV ∀V.
∂V V

Aplicando el Teorema de la Divergencia

ZZ ZZZ
T
σ̄ n̄ d(∂V ) = div(σ̄) dV,
∂V V

obtenemos
ZZZ “ ”
div(σ̄) + b dV = 0 ∀V.
V

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (IIb)

ECUACIÓN DIFERENCIAL DE EQUILIBRIO (CONSERVACIÓN)

div(σ̄) + b = 0.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (IIIa)

Donde:

Ω =dominio 2D/3D de definición del problema,

r̄ ∈ Ω =coordenadas materiales de un punto,
u(r̄) =VARIABLE PRINCIPAL (DESPLAZAMIENTO GENERALIZADO)
σ̄(r̄) =VARIABLE SECUNDARIA (TENSIÓN GENERALIZADA),
b(r̄) =CARGA GENERALIZADA POR UNIDAD DE VOLUMEN,
u0(r̄) =valor forzado de la variable principal en Γu,
gR(r̄) =σ̄ T n̄ (REACCIÓN GENERALIZADA) en Γu,
g(r̄) =σ̄ T n̄ (valor forzado de la variable secundaria según la normal) en Γσ ,
γ (r̄) =tensor de difusividad/conductividad. (∗)
e
(*) Si el medio es ISÓTROPO entonces γ (r̄) = γ(r̄)I .
Si el medio es HOMOGÉNEO entoncese γ (r̄) = γ e.
Si el medio es HOMOGENEO E ISÓTROPO e entonces
e γ (r̄) = γI . De ahora en adelante supondremos que lo es.
e e

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (IIIb)

La relación entre la variable principal u(r̄) y la variable secundaria σ̄(r̄) se

establece a través de una variable intermedia ε̄(r̄) (DEFORMACIÓN
GENERALIZADA), de forma que tendremos dos tipos de ecuaciones:

I ECUACIONES DE COMPATIBILIDAD
(o relaciones deformación—desplazamiento):

u(r̄) −→ ε̄(r̄).

I ECUACIONES CONSTITUTIVAS
(o relaciones tensión—deformación):

ε̄(r̄) −→ σ̄(r̄).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (IV)

Modelo Matemático Lineal (medio homogéneo e isótropo):

Dados b(r̄), γ(r̄), u0(r̄), g(r̄),

Hallar u(r̄), σ̄(r̄), r̄ ∈ Ω, que verifican
◦
div(σ̄) + b = 0 ∀r̄ ∈Ω, (ECUACIÓN DE EQUILIBRIO)

σ̄ = −γ ε̄ r̄ ∈ Ω, (ECUACIÓN CONSTITUTIVA)

ε̄ = grad u r̄ ∈ Ω, (ECUACIÓN DE COMPATIBILIDAD)

− σ̄ T n̄ + g(r̄) = 0 ∀r̄ ∈ Γσ , (C.C. NATURAL)

u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)

El problema anterior puede representar diferentes fenómenos fı́sicos,

como. . .
U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA
 Problema Conceptual (Va)

DEFORMACIÓN DE UN MEDIO CONTINUO ELÁSTICO

I En este caso es necesario introducir

• el TENSOR DE DEFORMACIONES y
• el TENSOR DE TENSIONES,
lo que obliga a realizar algunos ajustes en la formulación anterior
I NO ANALIZAREMOS ESPECÍFICAMENTE ESTE CASO por
simplicidad, pero en esencia los conceptos son los mismos.

En este caso, la ecuación constitutiva se denomina LEY DE HOOKE.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (Vb)

Difusión de contaminante en un medio 2D/3D

Ω =dominio 2D/3D de definición del problema.

r̄ ∈ Ω =coordenadas materiales de un punto.
u(r̄) =CONCENTRACIÓN DE CONTAMINANTE.
ε(r̄) =GRADIENTE DE CONCENTRACIÓN DE CONTAMINANTE.
σ̄(r̄) =DENSIDAD DE FLUJO DE CONTAMINANTE.
b(r̄) =SUMIDERO DE CONTAMINANTE POR UNIDAD DE VOLUMEN,
u0(r̄) =CONCENTRACIÓN PREFIJADA en Γu,
gR (r̄) =σ̄ T n̄ (REACCIÓN) en Γu,
g(r̄) =σ̄ T n̄ (FLUJO DE CONTAMINANTE FORZADO) en Γσ .
γ (r̄) =TENSOR DE DIFUSIVIDAD.
e
En este caso, la ecuación constitutiva se denomina LEY DE FICKS.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (Vc)

Difusión de calor en un medio 2D/3D

Ω =dominio 2D/3D de definición del problema.

r̄ ∈ Ω =coordenadas materiales de un punto.
u(r̄) =TEMPERATURA.
ε(r̄) =GRADIENTE DE TEMPERATURA.
σ̄(r̄) =DENSIDAD DE FLUJO DE CALOR.
b(r̄) =SUMIDERO DE CALOR POR UNIDAD DE VOLUMEN,
u0(r̄) =TEMPERATURA PREFIJADA en Γu,
gR (r̄) =σ̄ T n̄ (REACCIÓN) en Γu,
g(r̄) =σ̄ T n̄ (FLUJO DE CALOR FORZADO) en Γσ .
γ (r̄) =TENSOR DE CONDUCTIVIDAD TÉRMICA.
e
En este caso, la ecuación constitutiva se denomina LEY DE FOURIER.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Problema Conceptual (Vd)

Corriente eléctrica en un medio conductor 2D/3D

Ω =dominio 2D/3D de definición del problema.

r̄ ∈ Ω =coordenadas materiales de un punto.
u(r̄) =POTENCIAL ELÉCTRICO.
ε(r̄) =GRADIENTE DE POTENCIAL.
σ̄(r̄) =DENSIDAD DE CORRIENTE.
b(r̄) =SUMIDERO DE CORRIENTE POR UNIDAD DE VOLUMEN,
u0(r̄) =POTENCIAL PREFIJADO en Γu,
gR (r̄) =σ̄ T n̄ (REACCIÓN) en Γu,
g(r̄) =σ̄ T n̄ (INTENSIDAD DE CORRIENTE FORZADA) en Γσ .
γ (r̄) =TENSOR DE CONDUCTIVIDAD ELÉCTRICA.
e
En este caso, la ecuación constitutiva se denomina LEY DE OHM.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (I)

a) FORMA ORIGINAL

Hallar u(r̄), r̄ ∈ Ω,
◦
tal que R(r̄) = 0 ∀r̄ ∈Ω, RΓ(r̄) = 0 ∀r̄ ∈ Γσ , (*)

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


(*) FORMA FUERTE o STRONG FORM.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIa)

b) RESIDUOS PONDERADOS

Hallar u(r̄), r̄ ∈ Ω,
ZZZ ZZ
tal que ω(r̄)R(r̄) dΩ + ωΓ(r̄)RΓ(r̄) dΓ = 0 ∀ω(r̄), ωΓ(r̄) (*)
r̄∈Ω r̄∈Γσ

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


(*) FORMA DÉBIL o WEAK FORM.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIb)

Pues
◦
ZZZ ZZ
R = 0 ∀r̄ ∈Ω, RΓ = 0∀r̄ ∈ Γσ =⇒ ωR dΩ + ωΓ RΓ dΓ = 0 ∀ω, ωΓ
r̄∈Ω r̄∈Γσ
8 ZZZ
2
>
>
> ω = R, ωΓ = 0 → R dΩ = 0,
ZZZ ZZ >
< r̄∈Ω
ωR dΩ + ωΓ RΓ dΓ = 0 ∀ω, ωΓ =⇒
r̄∈Ω r̄∈Γσ > ZZ
> 2
: ω = 0, ωΓ = RΓ → RΓ dΓ = 0.
>
>
r̄∈Γσ

♥ Si las funciones son suficientemente regulares, el enunciado de residuos

ponderados es equivalente al problema original, ya que
◦
ZZZ
2
R dΩ = 0 =⇒R(r̄) = 0 ∀r̄ ∈Ω,
r̄∈Ω
ZZ
2
RΓ dΓ = 0 =⇒RΓ (r̄) = 0 ∀r̄ ∈ Γσ .
r̄∈Γσ

♣ Si se utiliza la Integral de Lebesgue, los residuos R(r̄) y RΓ(r̄)pueden ser no

nulos en un conjunto de puntos de medida nula. (*)

(*) Por este motivo se habla de una FORMULACIÓN DÉBIL (WEAK FORMULATION) del problema original.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIc)

Sin pérdida de generalidad podemos elegir

ωΓ = ω(r̄) r̄ ∈ Γσ ,
pues
◦
ZZZ ZZ
R = 0 ∀r̄ ∈Ω, RΓ = 0 ∀r̄ ∈ Γσ =⇒ ωR dΩ + ωRΓ = 0 ∀ω
r̄∈Ω r̄∈Γσ
◦
8
ZZZ ZZ <ω = R ∗ P
> →R = 0 ∀r̄ ∈Ω, (∗)
ωR dΩ + ωRΓ dΓ = 0 ∀ω =⇒
r̄∈Ω r̄∈Γσ >
R = 0, ω = RΓ →RΓ = 0 ∀r̄ ∈ Γσ .
:

(*) donde P(r̄) es cualquier función que cumpla

◦
P(r̄) > 0 ∀r̄ ∈Ω, P(r̄) = 0 ∀r̄ ∈ Γσ ,
pues si las funciones son suficientemente regulares,
>0
◦
ZZZ
2 z}|{
R P dΩ = 0 =⇒R(r̄) = 0 ∀r̄ ∈Ω,
r̄∈Ω
ZZ
2
RΓ dΓ = 0 =⇒RΓ (r̄) = 0 ∀r̄ ∈ Γσ .
r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IId)

Por tanto, podemos adoptar el enunciado de residuos ponderados. . .

Hallar u(r̄), r̄ ∈ Ω,
ZZZ ZZ
tal que ω(r̄)R(r̄) dΩ + ω(r̄)RΓ(r̄) dΓ = 0 ∀ω(r̄)
r̄∈Ω r̄∈Γσ

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIIa)

c) MÍNIMOS CUADRADOS

Hallar u(r̄), r̄ ∈ Ω,
ZZZ ZZ
que MINIMIZA Q[u] = R(r̄)p(r̄)R(r̄) dΩ + RΓ(r̄)pΓ(r̄)RΓ(r̄) dΓ, (*)
r̄∈Ω r̄∈Γσ

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIB.)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


(*) Las funciones de peso p(r̄) y pΓ (r̄) deben verificar p(r̄) > 0 ∀r̄ ∈ Ω, pΓ (r̄) > 0 ∀r̄ ∈ Γσ .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIIb)

La condición de mı́nimo equivale al PLANTEAMIENTO VARIACIONAL

Hallar u(r̄) r̄ ∈ Ω,

dJ(λ) 
tal que = 0 ∀δu(r̄) con δu(r̄) = 0 en Γu,
dλ λ=0


con J(λ) = Q[u + λδu],

 ZZZ
dJ(λ) 

y por tanto =2 div(−γ grad δu)p(r̄)R(r̄) dΩ
dλ λ=0

r̄∈Ω
ZZ
−2 (−γ grad δu)T n̄ pΓ(r̄)RΓ(r̄) dΓ, (*)
r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIIc)

. . . que equivale a decir

Hallar u(r̄) r̄ ∈ Ω,
ZZZ
div(−γ grad δu)p(r̄)R(r̄) dΩ
tal que r̄∈Ω
ZZ
− (−γ grad δu)T n̄ pΓ(r̄)RΓ(r̄) dΓ = 0 ∀δu(r̄) = 0 en Γu,
r̄∈Γσ

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIB.)




RΓ(r̄) = −σ̄ T n̄ + g(r̄) r̄ ∈ Γσ ,



 (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IIId)

. . . o lo que es lo mismo
Hallar u(r̄) r̄ ∈ Ω,
ZZZ ZZ 
ω(r̄)R(r̄) dΩ + ωΓ(r̄)RΓ(r̄) = 0 ∀δu(r̄)  δu(0) = 0,

tal que r̄∈Ω r̄∈Γσ (*)
ω(r̄) = div(−γ grad δu)p(r̄), ωΓ(r̄) = −(−γ grad δu)T n̄ pΓ(r̄),
◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω, (EC. CONSTITUTIVA)






siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIB.)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ , (C.C. NATURAL)



 Γ



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


(*) Que es un planteamiento en residuos ponderados equivalente al problema original.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVa)

e) MÍNIMA ENERGÍA

Hallar u(r̄), r̄ ∈ Ω,
ZZZ
1
E[u] = − ε̄(r̄)T σ̄(r̄) dΩ
2 r̄∈Ω
que MINIMIZA ZZZ ZZ (*)
+ u(r̄)b(r̄) dΩ + u(r̄)g(r̄) dΓ,
r̄∈Ω r̄∈Γσ


 σ̄ = −γ ε̄ r̄ ∈ Ω, (ECUACIÓN CONSTITUTIVA)

siendo ε̄ = grad u, r̄ ∈ Ω, (ECUACIÓN DE COMPATIBILIDAD)


u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVb)

Se comprueba fácilmente que la solución del problema original u(r̄)

minimiza la energı́a, pues si v(r̄) = u(r̄) + δu(r̄) es cualquier otra función
que también verifique la condición de contorno esencial v(0) = u0, entonces
δu(0) = 0, y siendo
∂δu
δ ε̄ = , δ σ̄ = Eδ ε̄,
∂x
tenemos
1
ZZZ ZZZ ZZ
T
E[u + δu] = − (ε̄ + δ ε̄) (σ̄ + δ σ̄) dΩ + (u + δu)b dΩ + (u + δu)g dΓ
2 r̄∈Ω r̄∈Ω r̄∈Γσ
1
ZZZ ZZZ ZZ
T T T
= E[u] − (δ ε̄ σ̄ + ε̄ δ σ̄ + δ ε̄ δ σ̄) dΩ + δub dΩ + δug dΓ
2 r̄∈Ω r̄∈Ω r̄∈Γσ
1
ZZZ ZZZ ZZ
T T T
= E[u] + (δ ε̄ γ ε̄ + ε̄ γδ ε̄ + δ ε̄ γδ ε̄) dΩ + δub dΩ + δug dΓ
2 r̄∈Ω r̄∈Ω r̄∈Γσ
1
ZZZ
T
= E[u] + δ ε̄ (γδ ε̄) dΩ
2 r̄∈Ω
» ZZZ ZZZ ZZ –
T
+ − δ ε̄ σ̄ dΩ + δub dΩ + δug dΓ .
r̄∈Ω r̄∈Ω r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVc1)

Pero T
div(δuσ̄) = grad (δu) σ̄ + δu div σ̄.
| {z }
δ ε̄T

Luego ZZZ ZZZ ZZZ

T
δ ε̄ σ̄ dΩ = div(δuσ̄) dΩ − δu div σ̄ dΩ.
r̄∈Ω r̄∈Ω r̄∈Ω

Y aplicando el TEOREMA DE LA DIVERGENCIA,

ZZZ ZZ ZZZ
T T
δ ε̄ σ̄ dΩ = (δuσ̄) n̄ dΓ − δu div σ̄ dΩ.
r̄∈Ω r̄∈Γ r̄∈Ω

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVc2)

Luego
ZZZ ZZZ ZZ
T
− δ ε̄ σ̄ dΩ + δub dΩ + δug dΓ =
r̄∈Ω r̄∈Ω r̄∈Γσ
ZZZ ZZ
T
+ δu (div(σ̄) + b) dΩ + δu (−σ̄ n̄ + g) dΓ = 0.
r̄∈Ω | {z } r̄∈Γσ | {z }
=0 =0

Por tanto,
≥0 ∀δ ε̄
z }| {
1
ZZZ
T
E[u + δu] = E[u] + δ ε̄ γδ ε̄ dΩ
2 r̄∈Ω
˛
≥ E[u] ∀δu ˛ δu(r̄) = 0 cuando r̄ ∈ Γu.
˛

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVd)

La condición de mı́nimo equivale al PLANTEAMIENTO VARIACIONAL

Hallar u(r̄), r̄ ∈ Ω,

dJ(λ) 
tal que = 0 ∀δu tal que δu(r̄) = 0 cuando r̄ ∈ Γu,
dλ λ=0

con J(λ) = E[u + λδu],

 ZZZ
dJ(λ) 
 T
y por tanto = + grad (δu)γ grad(u) dΩ
dλ λ=0

r̄∈Ω
ZZZ ZZ
+ δub dΩ + ug dΓ,
r̄∈Ω r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVe)

. . . que conduce al PRINCIPIO DE LOS TRABAJOS VIRTUALES (PTV)

Hallar u(r̄), r̄ ∈ Ω,
ZZZ
T
+ grad (δu)σ̄ dΩ
r̄∈Ω
ZZZ
tal que − δub dΩ
r̄∈Ω
ZZ 
− δug dΓ = 0 ∀δu  δu(r̄) = 0 cuando r̄ ∈ Γu,

r̄∈Γσ


 σ̄ = −γ ε̄ r̄ ∈ Ω, (ECUACIÓN CONSTITUTIVA)

siendo ε̄ = grad u, r̄ ∈ Ω, (ECUACIÓN DE COMPATIBILIDAD)


u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVf1)

Pero
T
grad (δu)σ̄ = div(δuσ̄) − δu div(σ̄).

Y, por tanto,
ZZZ ZZZ ZZZ
T
grad (δu)σ̄ dΩ = div(δuσ̄) dΩ − δu div(σ̄) dΩ.
r̄∈Ω r̄∈Ω r̄∈Ω

Aplicando el teorema de la divergencia,

ZZZ ZZ
T
div(δuσ̄) dΩ = (δuσ̄) n̄ dΓ
r̄∈Ω r̄∈Γ
ZZ
T
= δu(σ̄ n̄) dΓ.
r̄∈Γ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVf2)

En consecuencia, se obtiene

Hallar u(r̄), r̄ ∈ Ω,
ZZ
+ δu(σ̄ T n̄) dΓ
r̄∈Γ
ZZZ
tal que − δu (div(σ̄) + b) dΩ
r̄∈Ω
ZZ 
− δug dΓ = 0 ∀δu  δu(r̄) = 0 cuando r̄ ∈ Γu,

r̄∈Γσ


 σ̄ = −γ ε̄ r̄ ∈ Ω, (ECUACIÓN CONSTITUTIVA)

siendo ε̄ = grad u, r̄ ∈ Ω, (ECUACIÓN DE COMPATIBILIDAD)


u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Planteamientos Alternativos (IVg)

. . . o lo que es lo mismo,
Hallar u(r̄), r̄ ∈ Ω,
ZZZ ZZ
ω(r̄)R(r̄) dΩ + ω(r̄)RΓ(r̄) dΓ = 0,
tal que r̄∈Ω  r̄∈Γσ (*)
ω(r̄) = δu(r̄), ∀δu  δu(r̄) = 0 cuando r̄ ∈ Γu,


◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


(*) Que es un planteamiento en residuos ponderados equivalente al problema original.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (I)

PLAN DE TRABAJO

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (II)

RESIDUOS PONDERADOS (Weighted Residuals)

Hallar u(r̄), r̄ ∈ Ω,
ZZZ ZZ
tal que ω(r̄)R(r̄) dΩ + ω(r̄)RΓ(r̄) dΓ = 0 ∀ω(r̄)
r̄∈Ω r̄∈Γσ

◦



 R(r̄) = div(σ̄) + b r̄ ∈Ω, (EC. DE EQUILIBRIO)



σ̄ = −γ ε̄ r̄ ∈ Ω,



 (EC. CONSTITUTIVA)


siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)



 T
R (r̄) = −σ̄ n̄ + g(r̄) r̄ ∈ Γσ ,



 Γ (C.C. NATURAL)



u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (III)

Observamos que
♣ En el enunciado anterior las funciones de prueba u(r̄) se derivan dos
veces, mientras que las funciones de test ω(r̄) no se derivan.
♠ Si tenemos una aproximación a la solución uh(r̄) ≈ u(r̄) que no sea dos
veces derivable, el enunciado anterior no permite comprobar la bondad
de la aproximación.
♥ Si pudiésemos reducir el orden de derivación de u(r̄) podrı́amos intentar
obtener aproximaciones con menores requisitos de continuidad (por
ejemplo, poligonales a trozos)

Aplicaremos EL TEOREMA DE LA DIVERGENCIA con el fin de reducir

el orden de derivación de u(r̄) aunque sea a costa de aumentar el orden
de derivación de ω(r̄).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (IVa1)

Operando,
T
div(ωσ̄) = grad (ω)σ̄ + ω div(σ̄).

Y, por tanto,
ZZZ ZZZ ZZZ
T
div(ωσ̄) dΩ = grad (ω)σ̄ dΩ + ω div(σ̄) dΩ.
r̄∈Ω r̄∈Ω r̄∈Ω

TEOREMA DE LA DIVERGENCIA
ZZZ ZZ
T
div(ωσ̄) dΩ = (ωσ̄) n̄ dΓ
r̄∈Ω r̄∈Γ
ZZ
T
= ω(σ̄ n̄) dΓ.
r̄∈Γ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (IVa2)

Luego,
ZZZ ZZZ
ωR dΩ = ω (div(σ̄) + b) dΩ
r̄∈Ω r̄∈Ω
ZZ
= ω(σ̄ T n̄) dΓ
r̄∈Γ
ZZZ ZZZ
T
− grad (ω)σ̄ dΩ + ωb dΩ
r̄∈Ω r̄∈Ω
ZZ ZZ
= ω(σ̄ T n̄) dΓ + ω(σ̄ T n̄) dΓ
r̄∈Γσ r̄∈Γu
ZZZ ZZZ
T
− grad (ω)σ̄ dΩ + ωb dΩ.
r̄∈Ω r̄∈Ω

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (IVb)

En consecuencia,
ZZZ ZZ ZZ ZZ
ωR dΩ + ωRΓ = ω(σ̄ T n̄) dΓ + ω(σ̄ T n̄) dΓ
r̄∈Ω r̄∈Γσ r̄∈Γσ r̄∈Γu
ZZZ ZZZ
T
− grad (ω)σ̄ dΩ + ωb dΩ
r̄∈Ω r̄∈Ω
ZZ
T


+ ω −σ̄ n̄ + g dΓ
r̄∈Γσ
ZZZ ZZZ
T
=− grad (ω)σ̄ dΩ + ωb dΩ
r̄∈Ω r̄∈Ω
ZZ ZZ
T


+ ωg dΓ + ω σ̄ n̄ dΓ,
r̄∈Γσ r̄∈Γu | {z }
gR

lo que nos conduce a la forma débil. . .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (V)

FORMA DÉBIL (Weak Form)

T
 
Hallar u(r̄) ∈ Hu, y la reacción gR = σ̄ n̄
ZZZ ZZZ ZZ
T
grad (ω)σ̄ dΩ = ωb dΩ + ωg dΓ
r̄∈Ω r̄∈Ω r̄∈Γσ
tal que ZZ
+ ωgR dΓ ∀ω(r̄) ∈ Hω
r̄∈Γu


 σ̄ = −γ ε̄ r̄ ∈ Ω, (EC. CONSTITUTIVA)

siendo ε̄ = grad u r̄ ∈ Ω, (EC. DE COMPATIBILIDAD)


u = u0(r̄) ∀r̄ ∈ Γu. (C.C. ESENCIAL)


donde gR = σ̄ T n̄ es la REACCIÓN que se produce en Γu al forzar el valor de

la condición de contorno esencial.
U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA
 Residuos Ponderados: Forma Débil (VI)

Observamos que

♦ La forma anterior es DÉBIL por doble motivo, ya que además de lo

anteriormente expuesto permite comprobar la bondad de
aproximaciones uh(r̄) ≈ u(r̄) que sean una vez derivables (en vez de
dos veces derivables, como exige la forma fuerte del problema).
♥ La condición de contorno
ZZ natural se introduce en la formulación
mediante el término ωg dΓ.
r̄∈Γσ
T
♣ Cuando g = 0 se impone
ZZ una condición de contorno que establece que σ̄ n̄ = 0
en Γσ , pero el término ωg dΓ desaparece, por lo que la condición de contorno
r̄∈Γσ
parece satisfacerse de forma “natural”. De ahı́ el nombre.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (VIIa)

CARGAS PUNTUALES (utilización de las deltas de Dirac)

 ◦
Sea Vi una fuerza puntual aplicada en el punto r̄i r̄i ∈Ω.

Podemos introducir la fuerza puntual en la formulación mediante una fuerza
equivalente por unidad de volumen bi(r̄) del tipo

Vi −→ bi(r̄) = Viδ(r̄ − r̄i),

de forma que
ZZZ ZZZ
bi dΩ = Viδ(r̄ − r̄i) dΩ
r̄∈Ω r̄∈Ω
ZZZ
= Vi δ(r̄ − r̄i) dΩ
r̄∈Ω

= Vi.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (VIIb)

Al introducir bi(r̄) en la forma débil obtenemos

ZZZ ZZZ
ωbi dΩ = ωViδ(r̄ − r̄i) dΩ
r̄∈Ω r̄∈Ω
ZZZ
= Vi ωδ(r̄ − r̄i) dΩ
r̄∈Ω
= Viω(r̄i),

que es un término del mismo tipo de los que se obtuvieron anteriormente en

problemas 1D.

De la misma forma pueden introducirse cargas concentradas sobre una

superficie, o sobre una lı́nea.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (VIIIa)

EL PRINCIPIO DE LOS TRABAJOS VIRTUALES

♥ Si interpretamos la función de test ω(r̄) como un desplazamiento virtual
compatible con las condiciones de contorno esenciales (es decir como
una modificación de la solución u(r̄) que no incumpla las condiciones de
contorno esenciales), e interpretamos su derivada como una
deformación virtual, podemos escribir
∂ω
ω(r̄) = δu(r̄) con δu(r̄) = 0 ∀r̄ ∈ Γu, δ ε̄(r̄) =
∂x
y obtenemos el PRINCIPIO DE LOS TRABAJOS VIRTUALES
ZZZ ZZZ ZZ
δ ε̄T σ̄ dΩ = δub dΩ + δug dΓ
r̄∈Ω r̄∈Ω r̄∈Γσ

∀δu  δu(r̄) = 0 cuando r̄ ∈ Γu.


U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (VIIIb)

♣ Por tanto, el PRINCIPIO DE LOS TRABAJOS VIRTUALES es una

forma débil de las ecuaciones de equilibrio (no de las ecuaciones
constitutivas ni de las de compatibilidad) y de las condiciones de
contorno naturales (no de las condiciones de contorno esenciales).
♥ El MÉTODO DE RESIDUOS PONDERADOS permite obtener una forma
débil del problema aunque no se conozca el enunciado especı́fico del
PTV para el problema que se está resolviendo (por ejemplo, ¿qué
significa y cómo se escribe el principio de los trabajos virtuales en
problemas de difusión de contaminantes?)
♦ En el caso que nos ocupa, esta forma débil equivale al planteamiento
variacional de mı́nima energı́a, por lo que las soluciones numéricas que
proporcionará el método de Galerkin serán óptimas. Esto no tiene por
qué ser cierto en otros casos (problemas de convección-difusión,
dinámica de fluidos, etc.).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Forma Débil (VIIIc)

♣ La forma clásica del bf PTV también es válida para ecuaciones

constitutivas no lineales y para ecuaciones de compatibilidad más
complicadas siempre y cuando la ecuación de equilibrio sea la expuesta.
En todo caso, hay que interpretar correctamente el enunciado y tener en
cuenta que la expresión de la deformación virtual es la correspondiente
al gradiente.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (I)

FORMA DÉBIL (Weak Form)


Hallar u(r̄) ∈ Hu  u(0) = u0 [y gR ]


ZZZ ZZZ ZZ
T
grad (ω)σ̄ dΩ = ωb dΩ + ωg dΓ
r̄∈Ω r̄∈Ω r̄∈Γσ
tal que ZZ
+ ωgR dΓ ∀ω(r̄) ∈ Hω
r̄∈Γu

siendo σ̄ = −γ ε̄,
ε̄ = grad u.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (IIa)

FUNCIONES DE PRUEBA (Trial Functions)

Sea la base de funciones de prueba {φi(r̄)}i=1,...,ν .
Dada la aproximación inicial ψ(r̄), buscamos una mejor aproximación
ν
X
u(r̄) ≈ uh(r̄) = ψ(r̄) + αiφi(r̄), uh(r̄) ∈ Huh ⊂ Hu,
i=1
φ1(r̄) α1
( ) ( )
u(r̄) ≈ uh(r̄) = ψ(r̄) + Φ̄T (r̄) ᾱ, con Φ̄(r̄) = .. , ᾱ = .. .
φν (r̄) αν

Las correspondientes aproximaciones de ε̄(r̄) y de σ̄(r̄) serán

ν
X
h h h
ε̄(r̄) ≈ ε̄ (r̄) = grad ψ + αi grad φi, σ̄(r̄) ≈ σ̄ (r̄) = −γ ε̄ (r̄),
i=1
h T h h
ε̄(r̄) ≈ ε̄ (r̄) = grad ψ + grad Φ̄ ᾱ, σ̄(r̄) ≈ σ̄ (r̄) = −γ ε̄ (r̄).

Y [si interesa] podemos buscar una aproximación de la reacción gR ≈ gRh .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA
 Residuos Ponderados: Aproximación Numérica (IIb)

En general no será posible que uh(r̄) = u(r̄) ∀r̄ ∈ Ω (*), por lo que

uh(r̄) 6= u(r̄)
m
ZZZ ZZZ
T
no es posible que grad (ω)σ̄ h dΩ = ωb dΩ
r̄∈Ω r̄∈Ω
ZZ ZZ
+ ωg dΓ + ωgRh dΓ ∀ω(r̄) ∈ Hω .
r̄∈Γσ r̄∈Γu

(*) Salvo que u(r̄) − ψ(r̄) esté contenido en el subespacio generado por las funciones de prueba.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (IIIa)

FUNCIONES DE TEST (Test Functions)

Sea la base de funciones de test {ωj (r̄)}j=1,...,ν .
Sea ν
X
ω h(r̄) = βj ωj (r̄), ω h(r̄) ∈ Hωh ⊂ Hω ,
ω1(r̄) β1
j=1
( ) ( )
ω h(r̄) = Ω̄ (r̄) β̄ = β̄ T Ω̄(r̄),
T
con Ω̄(r̄) = .. , β̄ = .. .
ων (r̄) βν

Nos proponemos obtener la aproximación uh(r̄) ∈ Huh
 h
 u = u0(r̄) ∀r̄ ∈ Γu
[y la aproximación gRh ] que verifique
ZZZ ZZZ
T
grad (ω h)σ̄ h dΩ = ω hb dΩ
r̄∈Ω r̄∈Ω
ZZ ZZ
+ ω hg dΓ + ω hgRh dΓ ∀ω h(r̄) ∈ Hωh.
r̄∈Γσ r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (IIIb)

Pero
ZZZ ZZZ ZZ ZZ
hT h h h h h h h
grad (ω )σ̄ dΩ − ω b dΩ − ω g dΓ − ω g dΓ = 0 ∀ω (r̄) ∈ Hω
R
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu

m
ν „ZZZ ZZZ ZZ ZZ «
X T h h
βj grad (ωj )σ̄ dΩ − ωj b dΩ − ωj g dΓ − ωj g dΓ = 0 ∀ {βj }
R
j=1 r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu
„ZZZ ZZZ ZZ ZZ «
T T h h
β̄ grad (Ω̄)σ̄ dΩ − Ω̄b dΩ − Ω̄g dΓ − Ω̄g dΓ = 0 ∀β̄
R
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu

m
ZZZ ZZZ ZZ ZZ
T h h
grad (ωj )σ̄ dΩ = ωj b dΩ + ωj g dΓ + ωj g dΓ, j=1,...,ν
R
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu
ZZZ ZZZ ZZ ZZ
T h h
grad (Ω̄)σ̄ dΩ = Ω̄b dΩ + Ω̄g dΓ + Ω̄g dΓ.
R
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (IVa)

Por tanto,
ν
ZZZ ZZZ ! ZZ ZZ
T X h
− grad (ωj )γ grad ψ + αi grad φi dΩ = ωj b dΩ + ωj g dΓ + ωj g dΓ, j=1,...,ν
r̄∈Ω i=1 r̄∈Ω r̄∈Γσ r̄∈ΓuR
ZZZ ZZZ ZZ ZZ
T
“ ”
T h
− grad (Ω̄)γ grad ψ + grad Φ̄ ᾱ dΩ = Ω̄b dΩ + Ω̄g dΓ + Ω̄g dΓ
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈ΓR
σ
m
kji fj
ν „
z ZZZ }| «{ z
ZZZ }| ZZZ ZZ { ZZ
X T T h
− grad (ωj )γ grad φi dΩ αi = grad (ωj )γ grad ψ dΩ + ωj b dΩ + ωj g dΓ + ωj g dΓ, j=1,...,ν
i=1 r̄∈Ω r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈ΓuR
K f¯
z ZZZ
„ }|
e «{ zZZZ }| ZZZ ZZ { ZZ
T T T h
− grad (Ω̄)γ grad Φ̄ dΩ ᾱ = grad (Ω̄)γ grad ψ dΩ + Ω̄b dΩ + Ω̄g dΓ + Ω̄g dΓ
r̄∈Ω r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈ΓR
u
m

ν ZZ ZZ
h h
X
kji αi = fj + ωj g dΓ j=1,...,ν ⇐⇒ K ᾱ = f¯ + Ω̄g dΓ.
i=1 r̄∈ΓuR e r̄∈ΓR
u

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (IVb)

Luego el problema de equilibrio original ha sido sustituido por el sistema

(de orden ν, con la incógnita adicional gRh (r̄), r̄ ∈ Γu)

ZZ
K ᾱ = f¯ + Ω̄(r̄)gRh (r̄) dΓ,
e r̄∈Γu

con la condición adicional uh = u0(r̄) ∀r̄ ∈ Γu, esto es

Φ̄T (r̄) ᾱ = u0(r̄) − ψ(r̄) ∀r̄ ∈ Γu.

♠ ¡AHORA NO ES TRIVIAL IMPONER LAS CONDICIONES DE

CONTORNO ESENCIALES!
Ya que deben cumplirse ∀r̄ ∈ Γu.
U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA
 Residuos Ponderados: Aproximación Numérica (IVc)

Podemos solventar el problema de las condiciones de contorno

esenciales. . .
♣ mediante RESIDUOS PONDERADOS,
♣ eligiendo adecuadamente la aproximación inicial ψ(r̄) y las funciones de
prueba Φ̄(r̄), o
♥ mediante ELEMENTOS FINITOS de forma trivial.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (Va)

Si elegimos la aproximación inicial ψ(r̄) de forma que satisfaga la condición

de contorno esencial y elegimos las funciones de prueba φi(r̄) de forma que
se anulen en el contorno Γu, la aproximación uh(r̄) verificará
automáticamente la condición de contorno esencial. Es decir
)
ψ(r̄) = u0(r̄) ∀r̄ ∈ Γu
=⇒ uh = u0(r̄) ∀r̄ ∈ Γu.
Φ̄(r̄) = 0̄ ∀r̄ ∈ Γu

Si además elegimos funciones de test que se anulen en el contorno Γu, la

reacción no interviene en la formulación ya que
ZZ ZZ
ωj gRh dΓ = 0 j=1,...,ν ⇐⇒ Ω̄gRh dΓ = 0̄.
r̄∈Γu r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (Vb)

Por tanto, el sistema de ecuaciones que hay que resolver puede escribirse
en la forma

K ᾱ = f¯,
e

siendo
ZZZ
T
K = [kji] i=1,...,ν , kji = grad (ωj )γ grad φi dΩ
j=1,...,ν
e ZZZ r̄∈Ω
T
K= grad (Ω̄)γ grad Φ̄T dΩ
e r̄∈Ω
ZZZ ZZZ ZZ
T
f¯ = {fj }j=1,...,ν , fj = − grad (ωj )γ grad ψ dΩ + ωj b dΩ + ωj g dΓ
ZZZ r̄∈Ω ZZZ r̄∈Ω ZZ r̄∈Γσ
T
f¯ = − grad (Ω̄)γ grad ψ dΩ + Ω̄b dΩ + Ω̄g dΓ.
r̄∈Ω r̄∈Ω r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Aproximación Numérica (VI)

Una vez resuelto el sistema obtendremos la aproximación a la solución

ν
X
uh(r̄) = ψ(r̄) + αiφi(r̄) ⇐⇒ uh(r̄) = ψ(r̄) + Φ̄T (r̄) ᾱ.
i=0

ν
X T
ε̄h(r̄) = grad ψ + αi grad φi ⇐⇒ ε̄h(r̄) = grad ψ + grad (Φ̄) ᾱ
i=1

σ̄ h(r̄) = −γ ε̄h(r̄) ⇐⇒ σ̄ h(r̄) = −γ ε̄h(r̄).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Error de Aproximación (I)

MÉTODOS DE PROYECCIÓN
Los MÉTODOS DE RESIDUOS PONDERADOS también se denominan ası́,
ya que siendo

u(r̄) la solución exacta, con ε̄(r̄) = grad u, σ̄(r̄) = −γ ε̄(r̄)

uh(r̄) la solución aproximada, con ε̄h(r̄) = grad uh, σ̄ h(r̄) = −γ ε̄h(r̄)
se verifica
ZZZ ZZZ ZZ ZZ 9
T h h h h h h
grad (ω )σ̄ dΩ = ω b dΩ + ω g dΓ + ω gR dΓ ∀ω (r̄) ∈ Hω >
>
>
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γ u
>
=
ZZZ ZZZ ZZ ZZ =⇒
>
T h h h h h h h h>
grad (ω )σ̄ dΩ = ω b dΩ + ω g dΓ + ω g dΓ ∀ω (r̄) ∈ Hω >
>
;
r̄∈Ω r̄∈Ω r̄∈Γσ r̄∈Γu R

ZZZ ZZ
T h h h h h h
=⇒ grad (ω )(σ̄ − σ̄ ) dΩ = ω (gR − g ) dΓ ∀ω (r̄) ∈ Hω .
r̄∈Ω r̄∈Γu R

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Error de Aproximación (II)

La ecuación anterior demuestra que (normalmente) la integral de las

reacciones se calcula exactamente, ya que si la función constante
pertenece al espacio de las funciones de test (lo que normalmente se exige
y se conoce como PARTICIÓN DE LA UNIDAD) entonces
ZZ ZZ
ω h(r̄) = 1 =⇒ gR dΓ = gRh dΓ .
r̄∈Γu r̄∈Γu

Si las funciones de test ω h se anulan en Γu se cumple

ZZZ
T h h h h h
grad (ω )γ grad(u − u ) dΩ = 0 ∀ω (r̄) ∈ Hω , ω (r̄) = 0 en Γu.
r̄∈Ω

Luego (normalmente), la solución aproximada uh(r̄) verifica

ZZZ
T
ω h, u − u h
= 0 ∀ω h(r̄) ∈ Hωh,


con hv, ei = grad (v)γ grad(e) dΩ.
r̄∈Ω

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Residuos Ponderados: Error de Aproximación (III)

Por tanto, la solución aproximada uh(r̄) es

la PROYECCIÓN de la solución exacta u(r̄)

sobre el subespacio Huh de las funciones de prueba uh(r̄)
según la normal al subespacio Hωh de las funciones de test ω h(r̄).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Elección de las Funciones de Test

Algunas posibilidades. . .
1) MÉTODO DE COLOCACIÓN PUNTUAL
ωj (r̄) = δ(r̄ − r̄j ), j=1,...,ν con r̄j ∈Ω, r̄i 6=r̄j ∀i6=j. (*)
=⇒ No se puede utilizar en este caso, porque la delta no es derivable.
Si se aplica a la forma original de RP conduce a DIFERENCIAS FINITAS.

2) MÉTODO DE COLOCACIÓN POR SUBDOMINIOS

ν ν
n
1, si r̄ ∈ Ωj , [ \ ◦
ωj (r̄) =
0, en caso contrario,
j=1,...,ν con Ωj = Ω, Ωj = ∅.
j=1 j=1
=⇒ Conduce a VOLÚMENES FINITOS.
3) MÉTODO DE BUBNOV-GALERKIN
ωj (r̄) = φj (r̄), j=1,...,ν ⇐⇒ Hωh = Huh.

(*) Si r̄j = a o r̄j = b es preciso redefinir adecuadamente la δ .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (Ia)

PONDERACIÓN DE BUBNOV–GALERKIN
Si se eligen como funciones de test las funciones de prueba, esto es

Hωh = Huh
m
ωj (r̄) = φj (r̄), j=0,...,ν ⇐⇒ Ω̄(r̄) = Φ̄(r̄),
se obtiene
ZZZ
T
K = [kji] i=1,...,ν , kji = grad (φj )γ grad φi dΩ
j=1,...,ν
e ZZZ r̄∈Ω
T
K= grad (Φ̄)γ grad Φ̄T dΩ
e r̄∈Ω
ZZZ ZZZ ZZ
T
f¯ = {fj }j=1,...,ν , fj = − grad (φj )γ grad ψ dΩ + φj b dΩ + φj g dΓ
ZZZ r̄∈Ω ZZZ r̄∈Ω ZZ r̄∈Γσ
T
f¯ = − grad (Φ̄)γ grad ψ dΩ + Φ̄b dΩ + Φ̄g dΓ.
r̄∈Ω r̄∈Ω r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (Ib)

Como ya hemos visto, si elegimos la aproximación inicial ψ(r̄) de forma que

satisfaga la condición de contorno esencial y elegimos las funciones de
prueba φi(r̄) de forma que se anulen en el contorno Γu, la aproximación
uh(r̄) verificará automáticamente la condición de contorno esencial. Es decir
)
ψ(r̄) = u0(r̄) ∀r̄ ∈ Γu
=⇒ uh = u0(r̄) ∀r̄ ∈ Γu.
Φ̄(r̄) = 0̄ ∀r̄ ∈ Γu

Como estamos utilizando una ponderación de Bubnov–Galerkin,

automáticamente las funciones de test se anularán en el contorno Γu, y la
reacción no interviene en la formulación ya que
ZZ ZZ
φj gRh dΓ = 0 j=1,...,ν ⇐⇒ Φ̄gRh dΓ = 0̄.
r̄∈Γu r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (Ic)

Por tanto, el sistema de ecuaciones que hay que resolver puede escribirse
en la forma
K ᾱ = f¯,
e
siendo
2 ZZZ ZZZ ZZZ 3
T T T
grad (φ1 )γ grad φ1 dΩ grad (φ1 )γ grad φ2 dΩ . . . grad (φ1 )γ grad φν dΩ 7
6 ZZZr̄∈Ω ZZZr̄∈Ω ZZZr̄∈Ω
6
7
6 T T T 7
6 grad (φ 2 )γ grad φ1 dΩ grad (φ 2 )γ grad φ2 dΩ . . . grad (φ 2 )γ grad φν dΩ 7
K=6 r̄∈Ω r̄∈Ω r̄∈Ω
7
.. .. ..
6 7
. . .
e 6 7
6 ZZZ ZZZ ZZZ 7
4 T T T 5
grad (φν )γ grad φ1 dΩ grad (φν )γ grad φ2 dΩ . . . grad (φν )γ grad φν dΩ
r̄∈Ω r̄∈Ω r̄∈Ω

8 ZZZ ZZZ ZZ 9
T
>
>
> − grad (φ1 )γ grad ψ dΩ + φ1 b dΩ + φ1 g dΓ > >
>
r̄∈Ω r̄∈Ω r̄∈Γ
> >
>
> ZZZ ZZZ ZZ σ >
>
T
>
> >
>
<− grad (φ )γ grad ψ dΩ + φ b dΩ + φ g dΓ =
¯ 2 2 2
f = r̄∈Ω r̄∈Ω r̄∈Γσ .
> .. >
. ZZZ
>
> >
>
> ZZZ ZZ >
T
>
> >
>
:− grad (φν )γ grad ψ dΩ + φν b dΩ + φν g dΓ >
>
> >
;
r̄∈Ω r̄∈Ω r̄∈Γσ

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (II)

La solución aproximada uh(r̄) verifica

ZZZ ZZZ ZZ
T
grad (φj )σ̄ h dΩ − φj b dΩ − φj g dΓ = 0
r̄∈Ω r̄∈Ω r̄∈Γσ

∂E
= 0, siendo E(α1, α2, . . . , αν ) = E[uh],
∂αj

por lo que se realiza un AJUSTE DE MÍNIMA ENERGÍA.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IIIa)

La matriz K del método de Galerkin es. . .

e

♥ SIMÉTRICA
K = KT
e e

♥ SEMIDEFINIDA POSITIVA
η̄ T K η̄ ≥ 0 ∀η̄ 6= 0̄
e

♥ DEFINIDA POSITIVA
η̄ T K η̄ > 0 ∀η̄ 6= 0̄ (*)
e
(*) Si la base de funciones de prueba ha sido correctamente elegida.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IIIb)

K es SIMÉTRICA, ya que
e
ZZZ ZZZ
kji = grad(φj )γ grad(φi) dΩ = grad(φi)γ grad(φj ) dΩ = kij
r̄∈Ω r̄∈Ω

m
ZZZ ZZZ “ ”T
T T T
K= grad(Φ̄)γ grad(Φ̄ ) dΩ = grad(Φ̄)γ grad(Φ̄ ) dΩ = K .
e r̄∈Ω r̄∈Ω e

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IIIc)

K es SEMIDEFINIDA POSITIVA, ya que

e
ν X
X ν „ZZZ ν X
X ν «
ηj kji ηi = ηj grad(φj )γ grad(φi ) dΩ ηi
j=1 i=1 j=1 i=1 r̄∈Ω
0 1
ν ν
ZZZ !
X X
= @ ηj grad(φj )A γ ηi grad(φi ) dΩ
r̄∈Ω j=1 i=1
| {z } | {z }
g(r̄) g(r̄)
ZZZ ν
!2
X
= ηi grad(φi ) γ dΩ ≥ 0 ∀η̄ = {ηi }i=1,...,ν 6= 0̄.
r̄∈Ω i=1

m
„ZZZ «
T T T
η̄ K η̄ = η̄ grad(Φ̄)γ grad(Φ̄ ) dΩ η̄
e r̄∈Ω
ZZZ
T T
= grad(Φ̄ η̄) γ grad(Φ̄ η̄) dΩ
r̄∈Ω| {z } | {z }
g(r̄) g(r̄)
ZZZ “ ”2
T
= grad(Φ̄ η̄) γ dΩ ≥ 0 ∀η̄ 6= 0̄.
r̄∈Ω

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IIId)

K es DEFINIDA POSITIVA, ya que (véase el punto anterior)

e
ν X
X ν ν
X
ηj kji ηi = 0 =⇒ ηi grad(φi ) = 0 ∀r̄ ∈ Ω =⇒ ηi = 0, i = 1, . . . , ν
j=1 i=1 i=1

T T
η̄ K η̄ = 0 =⇒ grad(Φ̄ η̄) = 0 ∀r̄ ∈ Ω =⇒ η̄ = 0̄.
e

si la base de funciones de prueba ha sido correctamente elegida (de forma

que sus derivadas sean linealmente independientes).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IVa)

ESTIMACIÓN DEL ERROR

Sabemos que la solución aproximada uh(r̄) verifica

ZZZ
T
D E
h h h h h
ω ,u − u = 0 ∀ω (r̄) ∈ Hω = Hu , con hv, ei = grad (v)γ grad(e) dΩ.
r̄∈Ω

El producto escalar verifica la desigualdad de Cauchy

s ˛ ˛2
ZZZ
1 ˛ ˛
hv, ei ≤ kvk kek , con la norma kek = he, ei 2 = ˛grad(e)˛ γ dΩ.
˛ ˛
r̄∈Ω

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IVb)

APROXIMACIÓN ÓPTIMA
La solución aproximada uh(r̄) verifica

h h
∀v h ∈ Huh.

u − u ≤ u − v

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IVc)

Pues,
D E
h h h h h h h h h
u ,v ∈ Hu =⇒ u − v ∈ Hu =⇒ u − v ,u − u = 0,

luego
‚ ‚2 D E D E D E
h‚ h h h h h h h
‚u − u ‚ = u − u , u − u + 0 = u − u ,u − u + u − v ,u − u
‚
D E D E
h h h h h h
= u − u + u − v ,u − u = u − v ,u − u
‚ ‚‚ ‚
h‚ ‚ h‚
≤ ‚u − v ‚ ‚u − u ‚ ,
‚

y en consecuencia
‚ ‚ ‚ ‚
h‚ h‚
‚u − u ‚ ≤ ‚u − v ‚ .
‚ ‚

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Método de Bubnov-Galerkin (IVd)

ESTIMACIÓN DEL ERROR

Utilizando funciones de prueba v h ∈ Huh adecuadamente elegidas se
pueden obtener cotas del error u − uh a partir de la expresión

u − uh ≤ u − v h .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Elección de las Funciones de Prueba (Ia)

Algunas posibilidades. . .

1) SOPORTE GLOBAL → MÉTODO DE RITZ

♣ Ejemplos:
B No es trivial plantear ejemplos de aproximaciones de este tipo en 2D/3D
B ...

♠ K es LLENA → tiempo de computación T (ν 3).

e
♠ K puede ser MAL-CONDICIONADA. (*)
e

(*) EL número de condición depende de la base de funciones de prueba que se hayan elegido.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Elección de las Funciones de Prueba (Ib)

2) SOPORTE LOCAL → MÉTODO DE ELEMENTOS FINITOS

♣ Ejemplos:
B a) Mallas de triángulos/tetraedros.
B b) Mallas de cuadriláteros/prismas.
B c) Mallas de elementos curvos.

♥ Se pretende que K sea SPARSE.

e
♥ Se pretende que K sea BIEN-CONDICIONADA.
e

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (I)

FORMA DÉBIL (Weak Form)


Hallar u(r̄) ∈ Hu  u(0) = u0 [y gR ]


tal que a(ω, u) = (ω, b) + (ω, g)σ + (ω, gR )u ∀ω(r̄) ∈ Hω ,

ZZZ
T
siendo a(ω, u) = grad (ω)γ grad(u) dΩ,
r̄∈Ω
ZZZ
(ω, b) = − ωb dΩ,
r̄∈Ω
ZZ
(ω, g)σ = − ωg dΓ,
r̄∈Γσ
ZZ
(ω, gR )u = − ωgR dΓ.
r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IIa)

FUNCIONES DE PRUEBA (Trial Functions)

Sea la base de funciones de prueba {φi(r̄)}i=1,...,ν .
Dada la aproximación inicial ψ(r̄), buscamos una mejor aproximación

ν
X
u(r̄) ≈ uh(r̄) = ψ(r̄) + αiφi(r̄), uh(r̄) ∈ Huh ⊂ Hu,
i=1
φ1(r̄) α1
( ) ( )
u(r̄) ≈ uh(r̄) = ψ(r̄) + Φ̄T (r̄) ᾱ, con Φ̄(r̄) = .
. , ᾱ = .. .
φν (r̄) αν

Y [si interesa calcularla] podemos buscar una aproximación de la reacción

gR ≈ gRh .

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IIb)

En general no será posible que uh(r̄) = u(r̄) ∀r̄ ∈ Ω (*), por lo que

uh(r̄) 6= u(r̄)
m

no es posible que a(ω, uh) = (ω, b) + (ω, g)σ + (ω, gR )u ∀ω(r̄) ∈ Hω .

(*) Salvo que u(r̄) − ψ(r̄) esté contenido en el subespacio generado por las funciones de prueba.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IIIa)

FUNCIONES DE TEST (Test Functions)

Sea la base de funciones de test {ωj (r̄)}j=1,...,ν .
Sea
ν
X
ω h(r̄) = βj ωj (r̄), ω h(r̄) ∈ Hωh ⊂ Hω ,
ω1(r̄) β1
j=1
( ) ( )
h T
ω (r̄) = Ω̄ (r̄) β̄ = β̄ Ω̄(r̄),T
con Ω̄(r̄) = .. , β̄ = .. .
ων (r̄) βν

Nos proponemos obtener la aproximación uh(r̄) ∈ Huh
 h
 u = u0(r̄) ∀r̄ ∈ Γu
[y la aproximación gRh ] que verifique

a(ω h, uh) = (ω h, b) + (ω h, g)σ + (ω h, gRh )u ∀ω h(r̄) ∈ Hωh.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IIIb)

Pero
h h h h h h h h
a(ω , u ) − (ω , b) − (ω , g)σ − (ω , g )u = 0 ∀ω (r̄) ∈ Hω
R

m
ν
X „ «
h h
βj a(ωj , u ) − (ωj , b) − (ωj , g)σ − (ωj , g )u = 0 ∀ {βj }
R
j=1
„ «
β̄ T a(Ω̄, uh) − (Ω̄, b) − (Ω̄, g)σ − (Ω̄, g h )u = 0 ∀β̄
R

h h
a(ωj , u ) = (ωj , b) + (ωj , g)σ + (ωj , g )u, j=1,...,ν
R
h h
a(Ω̄, u ) = (Ω̄, b) + (Ω̄, g)σ + (Ω̄, g )u.
R

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IVa)

Por tanto,
ν
X h
a(ωj , ψ + αiφi) = (ωj , b) + (ωj , g)σ + (ωj , g )u ∀j
R
i=1
a(Ω̄, ψ + Φ̄T ᾱ) = (Ω̄, b) + (Ω̄, g)σ + (Ω̄, g h )u
R

m
kji fj
ν z
X h
}| { z }| {
a(ωj , φi) αi = −a(ωj , ψ) + (ωj , b) + (ωj , g)σ +(ωj , g )u ∀j
R
i=1
K f¯
z }|e T { z }| {
a(Ω̄, Φ̄ ) ᾱ = −a(Ω̄, ψ) + (Ω̄, b) + (Ω̄, g)σ +(Ω̄, g h )u
R

ν
X h h
kjiαi = fj + (ωj , g )u, j=1,...,ν ⇐⇒ K ᾱ = f¯ + (Ω̄, g )u.
R R
i=1 e

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IVb)

Luego el problema de equilibrio original ha sido sustituido por el sistema

(de orden ν, con la incógnita adicional gRh (r̄), r̄ ∈ γu)

K ᾱ = f¯ + (Ω̄, gRh )u,

e

con la condición adicional uh = u0(r̄) ∀r̄ ∈ Γu, esto es

Φ̄T (r̄) ᾱ = u0(r̄) − ψ(r̄) ∀r̄ ∈ Γu.

♠ ¡AHORA NO ES TRIVIAL IMPONER LAS CONDICIONES DE

CONTORNO ESENCIALES!
Ya que deben cumplirse ∀r̄ ∈ Γu.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (IVc)

Podemos solventar el problema de las condiciones de contorno

esenciales. . .
♣ mediante RESIDUOS PONDERADOS,
♣ eligiendo adecuadamente la aproximación inicial ψ(r̄) y las funciones de
prueba Φ̄(r̄), o
♥ mediante ELEMENTOS FINITOS de forma trivial.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (Va)

Si elegimos la aproximación inicial ψ(r̄) de forma que satisfaga la condición

de contorno esencial y elegimos las funciones de prueba φi(r̄) de forma que
se anulen en el contorno Γu, la aproximación uh(r̄) verificará
automáticamente la condición de contorno esencial. Es decir
)
ψ(r̄) = u0(r̄) ∀r̄ ∈ Γu
=⇒ uh = u0(r̄) ∀r̄ ∈ Γu.
Φ̄(r̄) = 0̄ ∀r̄ ∈ Γu

Si además elegimos funciones de test que se anulen en el contorno Γu, la

reacción no interviene en la formulación ya que
ZZ ZZ
ωj gRh dΓ = 0 j=1,...,ν ⇐⇒ Ω̄gRh dΓ = 0̄.
r̄∈Γu r̄∈Γu

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (Vb)

Por tanto, el sistema de ecuaciones que hay que resolver puede escribirse
en la forma

K ᾱ = f¯,
e

siendo
ᾱ = {αi}i=1,...,ν ,
K = [kji] i=1,...,ν , kji = a(ωj , φi),
e j=1,...,ν
K = a(Ω̄, Φ̄T ),
e
f¯ = {fj }j=1,...,ν , fj = −a(ωj , ψ) + (ωj , b) + ωj (L)F,
f¯ = −a(Ω̄, ψ) + (Ω̄, b) + Ω̄(L)F.

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA

 Notación en Formas Bilineales (VI)

Una vez resuelto el sistema obtendremos la aproximación a la solución

ν
X
uh(r̄) = ψ(r̄) + αiφi(r̄) ⇐⇒ uh(r̄) = ψ(r̄) + Φ̄T (r̄) ᾱ.
i=0

ν
X T
ε̄h(r̄) = grad ψ + αi grad φi ⇐⇒ ε̄h(r̄) = grad ψ + grad (Φ̄) ᾱ
i=1

σ̄ h(r̄) = −γ ε̄h(r̄) ⇐⇒ σ̄ h(r̄) = −γ ε̄h(r̄).

U NIVERSIDAD DE A C ORU ÑA — G RUPO DE M ÉTODOS N UM ÉRICOS EN I NGENIER ÍA