UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS
FISICAS Y MATEMATICAS
DEPARTAMENTO DE INGENIERIA MATEMATICA

Elementos Finitos
521537
Pauta Tarea 4

Sea Ω =]0, 1[, considere los datos ε > 0, α ∈ R y σ ≥ 0 Considere la siguiente E.D.O:
Encontrar ϕ ∈ H 2 (Ω) talque :

 −εϕ00 + αϕ0 + σϕ = 1, en Ω
ϕ(0) = 0
ϕ(1) = b


Se pide lo siguiente:
1.- Defina una formulación variacional discreta para (1) sobre el espacio Vhk ;

Multiplicamos la ecuación por v ∈ H01 (Ω) e integramos, luego aplicamos integración por
parte la primera expresión:

−ε(ϕ00 , v)0,Ω + α(ϕ0 , v)0,Ω + σ(ϕ, v)0,Ω =(1, v)0,Ω

ε(ϕ0 , v 0 )0,Ω + α(ϕ0 , v)0,Ω + σ(ϕ, v)0,Ω =(1, v)0,Ω ,

lo que induce a buscar ϕ ∈ Vb = {u ∈ H 1 (Ω) : u(0) = 0 ∧ u(1) = b}. Sin embargo esto
no define un problema variacional puesto que Vb no es un sub-espacio de H 1 (Ω) dado que
0 6∈ Vb . Gracias a que H01 (Ω) ≤ H 1 (Ω) podemos descomponer

ϕ = ϕ0 + ϕb ∈ H01 (Ω) + [H01 (Ω)]⊥

donde ϕb se considera como un dato. Con estas consideraciones la formulación (1) se reduce
a:
Hallar ϕ0 ∈ H01 (Ω)

ε(ϕ00 , v 0 )0,Ω + α(ϕ00 , v)0,Ω + σ(ϕ0 , v)0,Ω =(1, v)0,Ω − (ε(ϕ0b , v 0 )0,Ω + α(ϕ0b , v)0,Ω + σ(ϕb , v)0,Ω ) ∀v ∈ H01 (Ω)

Si consideramos H01 (Ω) ∩ Vhk ≤ H01 (Ω). Definimos la formulación variacional discreta de (1):
Hallar uh ∈ H01 (Ω) ∩ Vhk

ε(u0h , vh0 )0,Ω + α(u0h , vh )0,Ω + σ(uh , vh )0,Ω = (1, vh )0,Ω − (ε(ϕ0b , vh0 )0,Ω + α(ϕ0b , vh )0,Ω + σ(ϕb , vh )0,Ω )
∀vh ∈ H01 (Ω) ∩ Vhk
se define la forma bilineal a(·, ·) y el funcional F (·) como sigue:

2
a : H01 (Ω) ∩ Vhk → R
(uh , vh ) 7→ a(uh , vh ) = ε(u0h , vh0 )0,Ω + α(u0h , vh )0,Ω + σ(uh , vh )0,Ω

F : H01 (Ω) ∩ Vhk → R

vh 7→ F (vh ) = (1, vh )0,Ω − (ε(ϕ0b , vh0 )0,Ω + α(ϕ0b , vh )0,Ω + σ(ϕb , vh )0,Ω )

entonces la formulación discreta queda:

Hallar uh ∈ H01 (Ω) ∩ Vhk

a(uh , vh ) = F (vh ) ∀v ∈ H01 (Ω) ∩ Vhk

Donde la base de Vhk es {ψ0 , ...., ψN k } donde N corresponde al numero elementos de la malla y
k al grado polinomial de la base. Entonces podemos expresar uh ∈ Vhk como una combinación
lineal de elementos de la base de Vhk :
Nk
X
uh = Ci ψi
i=0

Donde Ci son coeficientes reales y C1 = CN k = 0.

Además considerando que mostrar la formulación discreta se cumpla para por todo vh ∈
Vhk ∩ H01 (Ω) es equivalente a mostrar que se cumpla para {ψ1 , ...., ψN k−1 }, es decir que la
formulación discreta se resume a:
Hallar Ci ∈ R
NX
k−1
Ci a(ψi , ψj ) = F (ψj ) j ∈ {1, ...., N k − 1}
i=1

2.- Analice existencia, unicidad y estabilidad de solución para la formulación discreta de (1);

Continuidad de a(·, ·)
sea uh , vh ∈ H01 (Ω) ∩ Vhk

|a(uh , vh )| = |ε(u0h , vh0 )0,Ω + α(u0h , vh )0,Ω + σ(uh , vh )0,Ω |

≤ ε|(u0h , vh0 )0,Ω | + |α|(u0h , vh )0,Ω | + σ|(uh , vh )0,Ω |
≤ ε|uh |1,Ω |vh |1,Ω | + |α||uh |1,Ω ||vh ||0,Ω + σ||uh ||0,Ω ||vh ||0,Ω |
≤ (ε + |α| + σ)||uh ||1,Ω ||vh ||1,Ω

Coercividad de a(·, ·)
Notemos primero que por integración por parte en H01 (Ω) se obtiene lo siguiente :

(u0h , uh )0,Ω = −(uh , u0h )0,Ω

= −(u0h , uh )0,Ω
lo que implica que (u0h , uh )0,Ω = 0. sea uh ∈ H01 (Ω) ∩ Vhk :
a(uh , uh ) = ε(u0h , u0h )0,Ω + α(u0h , uh )0,Ω + σ(uh , uh )0,Ω
= ε(u0h , u0h )0,Ω + σ(uh , uh )0,Ω
≥ ε(u0h , u0h )0,Ω
≥ ε|uh |21,Ω
 
1 2 1 2
=ε |uh |1,Ω + ( |uh |1,Ω
2 2
 
1 2 1 2
≥ε |uh |1,Ω + ||uh ||0,Ω
2 2Cp
 
1 1
≥ ε mı́n , ||uh ||21,Ω
2 2Cp
Continuidad de F (·)
sea vh ∈ H01 (Ω) ∩ Vhk
|F (vh )| = |(1, vh )0,Ω − (ε(ϕ0b , vh0 )0,Ω + α(ϕ0b , vh )0,Ω + σ(ϕb , vh )0,Ω ) |
≤ |(1, vh )0,Ω | + |ε(ϕ0b , vh0 )0,Ω | + |α(ϕ0b , vh )0,Ω | + |σ(ϕb , vh )0,Ω |
1
≤ |Ω| 2 ||vh ||0,Ω + ε|ϕb |1,Ω |vh |1,Ω + |α||ϕb |1,Ω ||vh ||0,Ω | + σ||ϕb ||0,Ω ||vh ||0,Ω
1
≤ (|Ω| 2 + (ε + |α| + σ)||ϕb ||1,Ω )||vh ||1,Ω
Por lo tanto gracias al Teorema de ”Lax-Milgram” el problema variacional de:
Hallar uh ∈ H01 (Ω) ∩ Vhk
a(uh , vh ) = F (vh ) ∀vh ∈ H01 (Ω) ∩ Vhk

tiene solución única y además.

1
(|Ω| 2 + (ε + |α| + σ)||ϕb ||1,Ω )
||uh ||1,Ω ≤ n o
ε mı́n 21 , 2Cp
1

por otro lado,

||ϕh || ≤ ||uh ||1,Ω + ||ϕb ||1,Ω
1
(|Ω| 2 + (ε + |α| + σ)||ϕb ||1,Ω )
≤ n o + ||ϕb ||1,Ω
ε mı́n 12 , 2Cp
1

 
1
|Ω| 2 (ε + |α| + σ)
= n o + n o + 1 ||ϕb ||1,Ω
ε mı́n 12 , 2Cp
1
ε mı́n 12 , 2Cp
1

3.-Considere el caso α = σ = b = 0, encuentre una estimación de error óptima para

||u − uh ||0,Ω . Consideremos el siguiente problema auxiliar:
Hallar w ∈ H01 (Ω) 
 −w00 = u − uh , en Ω
w(0) = 0
w(1) = 0

Cuya formulación variacional es :

(w0 , v 0 )0,Ω = (u − uh , v)0,Ω ∀v ∈ H01 (Ω)

esta ultima formulación variacional cumple las hipótesis del teorema ”Lax-Milgram”. To-
mando en particular v = u − uh ∈ H01 (Ω) se tiene

(w0 , (u − uh )0 )0,Ω = ||u − uh ||20,Ω ∀v ∈ H01 (Ω)

Probemos la siguiente condición de ortogonalidad (vh0 , (u − uh )0 )0,Ω = 0

Problema Continuo:
Hallar u ∈ H01 (Ω)
(u0 , vh0 ) = F (vh ), ∀vh ∈ Vhk ∩ H01 (Ω) (∗)
Problema Discreto:
Hallar uh ∈ Vhk ∩ H01 (Ω)

(u0h , vh0 ) = F (vh ), ∀vh ∈ Vhk ∩ H01 (Ω) (∗∗)

restando (*) y (**) nos queda:

(vh0 , (u − uh )0 )0,Ω = 0 ∀vh ∈ Vhk ∩ H01 (Ω)

luego la formulación anterior es equivalente a:

((w − vh )0 , (u − uh )0 )0,Ω = ||u − uh ||20,Ω ∀v ∈ H01 (Ω)

aplicando cauchy-schwarz sigue:

||u − uh ||20,Ω = ((w − vh )0 , (u − uh )0 )0,Ω ≤ |w − vh |1,Ω |u − uh |1,Ω

Tomando vh = Ih (w) y considerando las siguientes cotas para el interpolante:

Sea u ∈ H 2 (Ω) y h > 0 se satisface

1. ||u − Ih (u)||0,Ω ≤ Ch2 |u|2,Ω
2. |u − Ih (u)|1,Ω ≤ Ch|u|2,Ω

donde C es una constante positiva

entonces se sigue:

||u − uh ||20,Ω ≤|w − Ih (w)|1,Ω |u − uh |1,Ω

≤hC||w00 ||0,Ω |u − uh |1,Ω

Notemos que según la E.D.O auxiliar −w00 = u − uh , se sigue entonces

 ||u − uh ||20,Ω ≤ hC||u − uh ||0,Ω |u − uh |1,Ω
⇒ ||u − uh ||0,Ω ≤ hC|u − uh |1,Ω

y Mayorando agregando un termino (C||u − uh ||0,Ω ) positivo se obtiene

||u − uh ||0,Ω ≤ C(||u − uh ||0,Ω + h|u − uh |1,Ω )

y finalmente tomando uh = Ihk (u) y considerando la cota del interpolante de grado k > 1

Sea u ∈ H k+1 (Ω) y h > 0 se satisface:

||u − Ihk (u)||0,Ω + h|u − Ihk (u)|1,Ω = Chk+1 |u|k+1,Ω

se sigue:
||u − uh ||0,Ω ≤ C(||u − uh ||0,Ω + h|u − uh |1,Ω )
≤ C(||u − Ihk (u)||0,Ω + h|u − Ihk (u)|1,Ω )
≤ Chk+1 |u|k+1,Ω

4.- Encuentre una estimación de error óptima para ||u − uh ||1,Ω .

M
||u − uh ||1,Ω ≤ ı́nf ||u − vk ||1,Ω
γ vk
M
≤ ||u − Ihk (u)||1,Ω
γ
Mq
≤ ||u − Ihk (u)||20,Ω + |u − Ihk (u)|21,Ω
γ
M
q
≤ (Chk+1 |u|k+1,Ω )2 + (Chk |u|k+1,Ω )2
γ
M
q
≤ (hk+1 + hk )2 (C|u|k+1,Ω )2
γ
M
≤ Chk |u|k+1,Ω
γ

5.-Implemente un código de elementos finitos para la formulación discreta anteriormente

definida.
Rubrica:
El programa corre correctamente 2
la formulación variacional esta implantado correctamente 4
condiciones no homogéneas implementadas correctamente 4
6.- Presente curvas de convergencia (con al menos 5 puntos) y soluciones (con un h > 0 fijo
de su elección) para b = 0, k = 1, 2, 3 considerando los siguientes casos:
a) α = 0, σ = 1, ε ∈ {1, 1e − 1, 1e − 3, 1e − 6}
Caso 1 ε = 1

Caso 2 ε = 1e − 1

Caso 3 ε = 1e − 3
b) α = 1, σ = 0, ε ∈ {1, 1e − 1, 1e − 2, 1e − 3}
Caso 1 ε = 1

Caso 2 ε = 1e − 1

Caso 3 ε = 1e − 2
 c) α = 1e − 1, σ = 1, ε ∈ {1e − 1, 1e − 2, 1e − 3, 1e − 4}
Caso 1 ε = 1

Caso 2 ε = 1e − 1

Caso 3 ε = 1e − 2

Concepción, martes 23 de marzo de 2021

DPC/CCB/ccb .