El m etodo de Galerkin y su aplicaci on a la

soluci on num erica de ecuaciones

diferenciales parciales
Ramiro Acevedo Martnez
Departamento de Matem aticas
Universidad del Cauca
Enero 26 de 2008
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Un problema de Dirichlet.

El problema de valores de Contorno.

dominio acotado de R
2
con frontera
f L
2
(), : R
22
de clase C
1
_
div (u) = f en ,
u = 0 en .

Integraci on por partes:

v div (u) dx =
_

(u) v dx
_

v (u) ds

Formulaci on variacional: Hallar u H

1
0
() tal que
_

(u) v dx =
_

fv dx v H
1
0
().
Un problema de Dirichlet.

El problema de valores de Contorno.

dominio acotado de R
2
con frontera
f L
2
(), : R
22
de clase C
1
_
div (u) = f en ,
u = 0 en .

Integraci on por partes:

v div (u) dx =
_

(u) v dx
_

v (u) ds

Formulaci on variacional: Hallar u H

1
0
() tal que
_

(u) v dx =
_

fv dx v H
1
0
().
Un problema de Dirichlet.

El problema de valores de Contorno.

dominio acotado de R
2
con frontera
f L
2
(), : R
22
de clase C
1
_
div (u) = f en ,
u = 0 en .

Integraci on por partes:

v div (u) dx =
_

(u) v dx
_

v (u) ds

Formulaci on variacional: Hallar u H

1
0
() tal que
_

(u) v dx =
_

fv dx v H
1
0
().
Un problema de Dirichlet.

Formulaci on variacional: Hallar u H := H

1
0
() tal que
A(u, v) = F(v) v H,
donde A(u, v) :=
_

(u) v dx, F(v) :=

_

fv dx

Teorema de Lax-Milgram: Sea H un espacio de Hilbert y

sea A : H H R una forma bilineal acotada y
H-elptica, es decir
|A(v, w)| Mv
H
w
H
y A(v, v) v
2
H
v, w H.
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.

Formulaci on variacional: Hallar u H := H

1
0
() tal que
A(u, v) = F(v) v H,
donde A(u, v) :=
_

(u) v dx, F(v) :=

_

fv dx

Teorema de Lax-Milgram: Sea H un espacio de Hilbert y

sea A : H H R una forma bilineal acotada y
H-elptica, es decir
|A(v, w)| Mv
H
w
H
y A(v, v) v
2
H
v, w H.
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.

Formulaci on variacional: Hallar u H := H

1
0
() tal que
A(u, v) = F(v) v H,
donde A(u, v) :=
_

(u) v dx, F(v) :=

_

fv dx

Teorema de Lax-Milgram: Sea H un espacio de Hilbert y

sea A : H H R una forma bilineal acotada y
H-elptica, es decir
|A(v, w)| Mv
H
w
H
y A(v, v) v
2
H
v, w H.
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.
Teorema de Lax-Milgram Generalizado: Sea H un espacio
de Hilbert y sea A : H H R una forma bilineal tal que

A es acotada: |A(v, w)| Mv

H
w
H
v, w H.

A es d ebilmente coerciva:
Para todo v H:
sup
wH
A(v, w)
w
H
v
H
(A(v)
H

v
H
) .
Para todo w H, w = 0:
sup
vH
A(v, w) > 0 (A

(w)
H
> 0) .
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.
Teorema de Lax-Milgram Generalizado: Sea H un espacio
de Hilbert y sea A : H H R una forma bilineal tal que

A es acotada: |A(v, w)| Mv

H
w
H
v, w H.

A es d ebilmente coerciva:
Para todo v H:
sup
wH
A(v, w)
w
H
v
H
(A(v)
H

v
H
) .
Para todo w H, w = 0:
sup
vH
A(v, w) > 0 (A

(w)
H
> 0) .
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.
Teorema de Lax-Milgram Generalizado: Sea H un espacio
de Hilbert y sea A : H H R una forma bilineal tal que

A es acotada: |A(v, w)| Mv

H
w
H
v, w H.

A es d ebilmente coerciva:
Para todo v H:
sup
wH
A(v, w)
w
H
v
H
(A(v)
H

v
H
) .
Para todo w H, w = 0:
sup
vH
A(v, w) > 0 (A

(w)
H
> 0) .
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Un problema de Dirichlet.
Teorema de Lax-Milgram Generalizado: Sea H un espacio
de Hilbert y sea A : H H R una forma bilineal tal que

A es acotada: |A(v, w)| Mv

H
w
H
v, w H.

A es d ebilmente coerciva:
Para todo v H:
sup
wH
A(v, w)
w
H
v
H
(A(v)
H

v
H
) .
Para todo w H, w = 0:
sup
vH
A(v, w) > 0 (A

(w)
H
> 0) .
Entonces, para todo F H

existe un unico u H tal que

A(u, v) = F(v) v H.
Adem as, u
H

1

F
H

.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
El m etodo de Galerkin.
El m etodo de Galerkin:

Sea {H
h
}
h>0
una familia numerable de subespacios de H
de dimensi on nita tal que
a) H
h
H

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H.

Esquema de Galerkin: Hallar u

h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
.
Existencia y unicidad: Existe un unico u
h
soluci on del
esquema de Galerkin?
Convergencia:
u u
h

H
0 cuando h 0?
El m etodo de Galerkin.
El m etodo de Galerkin:

Sea {H
h
}
h>0
una familia numerable de subespacios de H
de dimensi on nita tal que
a) H
h
H

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H.

Esquema de Galerkin: Hallar u

h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
.
Existencia y unicidad: Existe un unico u
h
soluci on del
esquema de Galerkin?
Convergencia:
u u
h

H
0 cuando h 0?
El m etodo de Galerkin.
El m etodo de Galerkin:

Sea {H
h
}
h>0
una familia numerable de subespacios de H
de dimensi on nita tal que
a) H
h
H

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H.

Esquema de Galerkin: Hallar u

h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
.
Existencia y unicidad: Existe un unico u
h
soluci on del
esquema de Galerkin?
Convergencia:
u u
h

H
0 cuando h 0?
El m etodo de Galerkin.
El m etodo de Galerkin:

Sea {H
h
}
h>0
una familia numerable de subespacios de H
de dimensi on nita tal que
a) H
h
H

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H.

Esquema de Galerkin: Hallar u

h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
.
Existencia y unicidad: Existe un unico u
h
soluci on del
esquema de Galerkin?
Convergencia:
u u
h

H
0 cuando h 0?
El m etodo de Galerkin.
El m etodo de Galerkin:

Sea {H
h
}
h>0
una familia numerable de subespacios de H
de dimensi on nita tal que
a) H
h
H

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H.

Esquema de Galerkin: Hallar u

h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
.
Existencia y unicidad: Existe un unico u
h
soluci on del
esquema de Galerkin?
Convergencia:
u u
h

H
0 cuando h 0?
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

Se cumplen las hip otesis del Teorema de Lax-Milgram

Generalizado.

Existe

> 0 independiente de h, tal que

Para todo v
h
H
h
: sup
w
h
H
h
A(v
h
, w
h
)
w
h

v
h

H
Para todo w
h
H
h
, w
h
= 0 : sup
v
h
H
h
A(v
h
, w
h
) > 0
Entonces, para todo F H

existe un unico u
h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
, y u
h

H

1

F
H

Adem as, existe C > 0 independiente de h tal que

u u
h

H
C dist(u, H
h
), (Estimaci on de Cea)
donde
dist(u, H
h
) := nf
v
h
H
h
u v
h

H
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

Se cumplen las hip otesis del Teorema de Lax-Milgram

Generalizado.

Existe

> 0 independiente de h, tal que

Para todo v
h
H
h
: sup
w
h
H
h
A(v
h
, w
h
)
w
h

v
h

H
Para todo w
h
H
h
, w
h
= 0 : sup
v
h
H
h
A(v
h
, w
h
) > 0
Entonces, para todo F H

existe un unico u
h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
, y u
h

H

1

F
H

Adem as, existe C > 0 independiente de h tal que

u u
h

H
C dist(u, H
h
), (Estimaci on de Cea)
donde
dist(u, H
h
) := nf
v
h
H
h
u v
h

H
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

Se cumplen las hip otesis del Teorema de Lax-Milgram

Generalizado.

Existe

> 0 independiente de h, tal que

Para todo v
h
H
h
: sup
w
h
H
h
A(v
h
, w
h
)
w
h

v
h

H
Para todo w
h
H
h
, w
h
= 0 : sup
v
h
H
h
A(v
h
, w
h
) > 0
Entonces, para todo F H

existe un unico u
h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
, y u
h

H

1

F
H

Adem as, existe C > 0 independiente de h tal que

u u
h

H
C dist(u, H
h
), (Estimaci on de Cea)
donde
dist(u, H
h
) := nf
v
h
H
h
u v
h

H
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

Se cumplen las hip otesis del Teorema de Lax-Milgram

Generalizado.

Existe

> 0 independiente de h, tal que

Para todo v
h
H
h
: sup
w
h
H
h
A(v
h
, w
h
)
w
h

v
h

H
Para todo w
h
H
h
, w
h
= 0 : sup
v
h
H
h
A(v
h
, w
h
) > 0
Entonces, para todo F H

existe un unico u
h
H
h
tal que
A(u
h
, v
h
) = F(v
h
) v
h
H
h
, y u
h

H

1

F
H

Adem as, existe C > 0 independiente de h tal que

u u
h

H
C dist(u, H
h
), (Estimaci on de Cea)
donde
dist(u, H
h
) := nf
v
h
H
h
u v
h

H
Un problema de Dirichlet.
Implementaci on del M etodo de Galerkin.

Base de H
h
: {e
1
, e
2
, . . . , e
N
}.

Matriz de rigidez: A := (a
ij
)
NN
, a
ij
:= A(e
j
, e
i
).

Vector de carga: F := (f
j
)
N1
, f
j
:= F(e
j
).

Esquema de Galerkin: Hallar

:= (
1
,
2
, . . . ,
N
)
T
tal
que
A

= F.

Soluci on de Galerkin: u
h
=

N
j=1

j
e
j
.

Propiedades deseables de A: Rala (banda), bien

condicionada.

Propiedades deseables de H
h
: dist(u, H
h
) Ch
r
.
Un problema de Dirichlet.
Implementaci on del M etodo de Galerkin.

Base de H
h
: {e
1
, e
2
, . . . , e
N
}.

Matriz de rigidez: A := (a
ij
)
NN
, a
ij
:= A(e
j
, e
i
).

Vector de carga: F := (f
j
)
N1
, f
j
:= F(e
j
).

Esquema de Galerkin: Hallar

:= (
1
,
2
, . . . ,
N
)
T
tal
que
A

= F.

Soluci on de Galerkin: u
h
=

N
j=1

j
e
j
.

Propiedades deseables de A: Rala (banda), bien

condicionada.

Propiedades deseables de H
h
: dist(u, H
h
) Ch
r
.
Un problema de Dirichlet.
Implementaci on del M etodo de Galerkin.

Base de H
h
: {e
1
, e
2
, . . . , e
N
}.

Matriz de rigidez: A := (a
ij
)
NN
, a
ij
:= A(e
j
, e
i
).

Vector de carga: F := (f
j
)
N1
, f
j
:= F(e
j
).

Esquema de Galerkin: Hallar

:= (
1
,
2
, . . . ,
N
)
T
tal
que
A

= F.

Soluci on de Galerkin: u
h
=

N
j=1

j
e
j
.

Propiedades deseables de A: Rala (banda), bien

condicionada.

Propiedades deseables de H
h
: dist(u, H
h
) Ch
r
.
Un problema de Dirichlet.
Implementaci on del M etodo de Galerkin.

Base de H
h
: {e
1
, e
2
, . . . , e
N
}.

Matriz de rigidez: A := (a
ij
)
NN
, a
ij
:= A(e
j
, e
i
).

Vector de carga: F := (f
j
)
N1
, f
j
:= F(e
j
).

Esquema de Galerkin: Hallar

:= (
1
,
2
, . . . ,
N
)
T
tal
que
A

= F.

Soluci on de Galerkin: u
h
=

N
j=1

j
e
j
.

Propiedades deseables de A: Rala (banda), bien

condicionada.

Propiedades deseables de H
h
: dist(u, H
h
) Ch
r
.
Un problema de Dirichlet.
Implementaci on del M etodo de Galerkin.

Base de H
h
: {e
1
, e
2
, . . . , e
N
}.

Matriz de rigidez: A := (a
ij
)
NN
, a
ij
:= A(e
j
, e
i
).

Vector de carga: F := (f
j
)
N1
, f
j
:= F(e
j
).

Esquema de Galerkin: Hallar

:= (
1
,
2
, . . . ,
N
)
T
tal
que
A

= F.

Soluci on de Galerkin: u
h
=

N
j=1

j
e
j
.

Propiedades deseables de A: Rala (banda), bien

condicionada.

Propiedades deseables de H
h
: dist(u, H
h
) Ch
r
.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Espacio de elementos nitos.
Por simplicidad, asumimos que es poligonal y que:
x =
_
1 0
0 1
_
x
Formulaci on variacional: Hallar u H
1
0
() tal que
_

u v dx =
_

fv dx v H
1
0
().
Esquema de Galerkin: Hallar u
h
H
h
H
1
0
() tal que
_

u
h
v
h
dx =
_

fv
h
dx v
h
H
h
.
Espacio de elementos nitos.
Espacios de elementos nitos
T
h
: Triangulaci on regular de
=

{T : T T
h
}
h = max {h
T
: T T
h
}
v P
1
(T)
v(x, y) = +x+y (x, y) T.
H
h
:=
_
v
h
H
1
0
() : v
h
|
T
P
1
(T) T T
h
_
{x
1
, x
2
, . . . , x
N
}: Vertices
interiores.
Base de H
h
:
{
1
,
2
, . . . ,
N
}:

j
|

= 0,
j
( x
j
) = 1,

j
(x
i
) = 0 i = j.
Espacio de elementos nitos.
Espacios de elementos nitos
T
h
: Triangulaci on regular de
=

{T : T T
h
}
h = max {h
T
: T T
h
}
v P
1
(T)
v(x, y) = +x+y (x, y) T.
H
h
:=
_
v
h
H
1
0
() : v
h
|
T
P
1
(T) T T
h
_
{x
1
, x
2
, . . . , x
N
}: Vertices
interiores.
Base de H
h
:
{
1
,
2
, . . . ,
N
}:

j
|

= 0,
j
( x
j
) = 1,

j
(x
i
) = 0 i = j.
Espacio de elementos nitos.
Espacios de elementos nitos
T
h
: Triangulaci on regular de
=

{T : T T
h
}
h = max {h
T
: T T
h
}
v P
1
(T)
v(x, y) = +x+y (x, y) T.
H
h
:=
_
v
h
H
1
0
() : v
h
|
T
P
1
(T) T T
h
_
{x
1
, x
2
, . . . , x
N
}: Vertices
interiores.
Base de H
h
:
{
1
,
2
, . . . ,
N
}:

j
|

= 0,
j
( x
j
) = 1,

j
(x
i
) = 0 i = j.
Espacio de elementos nitos.
Es facil ver que
v(x) =
N

j=1
v(x
j
)
j
(x) x v H
h
La soluci on del esquema de Galerkin tiene la forma:
u
h
(x) =
N

j=1
u
j

j
(x) x , (u
j
= u
h
(x
j
))
y as, el problema matricial asociado al esquema de Galerkin es:
Hallar = (u
1
, . . . , u
N
)
T
R
N
tal que A = F, donde
A = (a
ij
)
NN
, a
ij
=
_

i

j
dx (Matriz de Rigidez)
F = (f
j
)
N1
, f
j
=
_

f
j
dx (Vector de Carga)
Espacio de elementos nitos.
Es facil ver que
v(x) =
N

j=1
v(x
j
)
j
(x) x v H
h
La soluci on del esquema de Galerkin tiene la forma:
u
h
(x) =
N

j=1
u
j

j
(x) x , (u
j
= u
h
(x
j
))
y as, el problema matricial asociado al esquema de Galerkin es:
Hallar = (u
1
, . . . , u
N
)
T
R
N
tal que A = F, donde
A = (a
ij
)
NN
, a
ij
=
_

i

j
dx (Matriz de Rigidez)
F = (f
j
)
N1
, f
j
=
_

f
j
dx (Vector de Carga)
Espacio de elementos nitos.
Es facil ver que
v(x) =
N

j=1
v(x
j
)
j
(x) x v H
h
La soluci on del esquema de Galerkin tiene la forma:
u
h
(x) =
N

j=1
u
j

j
(x) x , (u
j
= u
h
(x
j
))
y as, el problema matricial asociado al esquema de Galerkin es:
Hallar = (u
1
, . . . , u
N
)
T
R
N
tal que A = F, donde
A = (a
ij
)
NN
, a
ij
=
_

i

j
dx (Matriz de Rigidez)
F = (f
j
)
N1
, f
j
=
_

f
j
dx (Vector de Carga)
Espacio de elementos nitos.
Operador de Interpolaci on. Sean
C() :=
_
v : R : v es continua
_
C

() :=
_
v C() : v = 0 en
_
.
Si se dene
h
: C() L
2
(), dado por

h
v(x) :=
N

j=1
v(x
j
)
j
(x) v C(), x .

h
(C

()) = H
h
,
h
v = v v H
h
.

h
: C

() H
1
0
() es continuo.

v v
H
1
()
Ch
r
|v|
H
r+1
()
v H
r+1
(), r > 0
Espacio de elementos nitos.
Operador de Interpolaci on. Sean
C() :=
_
v : R : v es continua
_
C

() :=
_
v C() : v = 0 en
_
.
Si se dene
h
: C() L
2
(), dado por

h
v(x) :=
N

j=1
v(x
j
)
j
(x) v C(), x .

h
(C

()) = H
h
,
h
v = v v H
h
.

h
: C

() H
1
0
() es continuo.

v v
H
1
()
Ch
r
|v|
H
r+1
()
v H
r+1
(), r > 0
Espacio de elementos nitos.
Operador de Interpolaci on. Sean
C() :=
_
v : R : v es continua
_
C

() :=
_
v C() : v = 0 en
_
.
Si se dene
h
: C() L
2
(), dado por

h
v(x) :=
N

j=1
v(x
j
)
j
(x) v C(), x .

h
(C

()) = H
h
,
h
v = v v H
h
.

h
: C

() H
1
0
() es continuo.

v v
H
1
()
Ch
r
|v|
H
r+1
()
v H
r+1
(), r > 0
Espacio de elementos nitos.
Operador de Interpolaci on. Sean
C() :=
_
v : R : v es continua
_
C

() :=
_
v C() : v = 0 en
_
.
Si se dene
h
: C() L
2
(), dado por

h
v(x) :=
N

j=1
v(x
j
)
j
(x) v C(), x .

h
(C

()) = H
h
,
h
v = v v H
h
.

h
: C

() H
1
0
() es continuo.

v v
H
1
()
Ch
r
|v|
H
r+1
()
v H
r+1
(), r > 0
Espacio de elementos nitos.
Operador de Interpolaci on. Sean
C() :=
_
v : R : v es continua
_
C

() :=
_
v C() : v = 0 en
_
.
Si se dene
h
: C() L
2
(), dado por

h
v(x) :=
N

j=1
v(x
j
)
j
(x) v C(), x .

h
(C

()) = H
h
,
h
v = v v H
h
.

h
: C

() H
1
0
() es continuo.

v v
H
1
()
Ch
r
|v|
H
r+1
()
v H
r+1
(), r > 0
Espacio de elementos nitos.
Propiedades de H
h

Convergencia: dist(v, H
h
) Ch
r
|v|
H
r+1
()
v H
r+1
().

Propiedad inversa: A(v

h
, v
h
) Ch
2
v
h

2
L
2
()
v
h
H
h
.
Lema. Sean

:= (
1
, . . . ,
N
) R
N
y v
h
:=

N
j=1

j
e
j
.
ch
2

v
h

2
L
2
()
_
_

_
_
2
R
2
Ch
2
Lema. cond(A) Ch
2
Dem.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N
Ch
2
v
h

2
L
2
()
_
_

_
_
R
N
C =
m ax
C.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N

v
h

2
L
2
()
_
_

_
_
R
N
Ch
2
=
mn
Ch
2
.
Espacio de elementos nitos.
Propiedades de H
h

Convergencia: dist(v, H
h
) Ch
r
|v|
H
r+1
()
v H
r+1
().

Propiedad inversa: A(v

h
, v
h
) Ch
2
v
h

2
L
2
()
v
h
H
h
.
Lema. Sean

:= (
1
, . . . ,
N
) R
N
y v
h
:=

N
j=1

j
e
j
.
ch
2

v
h

2
L
2
()
_
_

_
_
2
R
2
Ch
2
Lema. cond(A) Ch
2
Dem.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N
Ch
2
v
h

2
L
2
()
_
_

_
_
R
N
C =
m ax
C.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N

v
h

2
L
2
()
_
_

_
_
R
N
Ch
2
=
mn
Ch
2
.
Espacio de elementos nitos.
Propiedades de H
h

Convergencia: dist(v, H
h
) Ch
r
|v|
H
r+1
()
v H
r+1
().

Propiedad inversa: A(v

h
, v
h
) Ch
2
v
h

2
L
2
()
v
h
H
h
.
Lema. Sean

:= (
1
, . . . ,
N
) R
N
y v
h
:=

N
j=1

j
e
j
.
ch
2

v
h

2
L
2
()
_
_

_
_
2
R
2
Ch
2
Lema. cond(A) Ch
2
Dem.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N
Ch
2
v
h

2
L
2
()
_
_

_
_
R
N
C =
m ax
C.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N

v
h

2
L
2
()
_
_

_
_
R
N
Ch
2
=
mn
Ch
2
.
Espacio de elementos nitos.
Propiedades de H
h

Convergencia: dist(v, H
h
) Ch
r
|v|
H
r+1
()
v H
r+1
().

Propiedad inversa: A(v

h
, v
h
) Ch
2
v
h

2
L
2
()
v
h
H
h
.
Lema. Sean

:= (
1
, . . . ,
N
) R
N
y v
h
:=

N
j=1

j
e
j
.
ch
2

v
h

2
L
2
()
_
_

_
_
2
R
2
Ch
2
Lema. cond(A) Ch
2
Dem.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N
Ch
2
v
h

2
L
2
()
_
_

_
_
R
N
C =
m ax
C.

T
A

_
_

_
_
R
N
=
A(v
h
, v
h
)
_
_

_
_
R
N

v
h

2
L
2
()
_
_

_
_
R
N
Ch
2
=
mn
Ch
2
.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
El problema de Stokes

El problema de valores de Contorno

dominio acotado de R
2
con frontera , f L
2
(),
g L
2
(). Hallar u : R
2
, p : R tales que
_
_
_
u +p = f en ,
div(u) = g en ,
u = 0 en .

Restricci on sobre g:
_

g =
_

div(u) = 0.

I.P.P. primera ecuaci on. Para todo v H

1
0
()
2
:

vu =
2

i=1

v
i
u
i
=
2

i=1
_

u
i
v
i
=
_

u : v
_

p v =
_

p div(v)
=
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2
.
El problema de Stokes

El problema de valores de Contorno

dominio acotado de R
2
con frontera , f L
2
(),
g L
2
(). Hallar u : R
2
, p : R tales que
_
_
_
u +p = f en ,
div(u) = g en ,
u = 0 en .

Restricci on sobre g:
_

g =
_

div(u) = 0.

I.P.P. primera ecuaci on. Para todo v H

1
0
()
2
:

vu =
2

i=1

v
i
u
i
=
2

i=1
_

u
i
v
i
=
_

u : v
_

p v =
_

p div(v)
=
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2
.
El problema de Stokes

El problema de valores de Contorno

dominio acotado de R
2
con frontera , f L
2
(),
g L
2
(). Hallar u : R
2
, p : R tales que
_
_
_
u +p = f en ,
div(u) = g en ,
u = 0 en .

Restricci on sobre g:
_

g =
_

div(u) = 0.

I.P.P. primera ecuaci on. Para todo v H

1
0
()
2
:

vu =
2

i=1

v
i
u
i
=
2

i=1
_

u
i
v
i
=
_

u : v
_

p v =
_

p div(v)
=
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2
.
El problema de Stokes

El problema de valores de Contorno

dominio acotado de R
2
con frontera , f L
2
(),
g L
2
(). Hallar u : R
2
, p : R tales que
_
_
_
u +p = f en ,
div(u) = g en ,
u = 0 en .

Restricci on sobre g:
_

g =
_

div(u) = 0.

I.P.P. primera ecuaci on. Para todo v H

1
0
()
2
:

vu =
2

i=1

v
i
u
i
=
2

i=1
_

u
i
v
i
=
_

u : v
_

p v =
_

p div(v)
=
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2
.
El problema de Stokes

El problema de valores de Contorno

dominio acotado de R
2
con frontera , f L
2
(),
g L
2
(). Hallar u : R
2
, p : R tales que
_
_
_
u +p = f en ,
div(u) = g en ,
u = 0 en .

Restricci on sobre g:
_

g =
_

div(u) = 0.

I.P.P. primera ecuaci on. Para todo v H

1
0
()
2
:

vu =
2

i=1

v
i
u
i
=
2

i=1
_

u
i
v
i
=
_

u : v
_

p v =
_

p div(v)
=
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2
.
El problema de Stokes

Segunda ecuaci on:

div(u) = g en =
_

q div(u) =
_

gq q L
2
0
(),
L
2
0
() :=
_
q L
2
() :
_

q = 0.
_

Formulaci on variacional. Hallar u H

1
0
()
2
, p L
2
0
():
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2

q div(u) =
_

gq q L
2
0
()
El problema de Stokes

Segunda ecuaci on:

div(u) = g en =
_

q div(u) =
_

gq q L
2
0
(),
L
2
0
() :=
_
q L
2
() :
_

q = 0.
_

Formulaci on variacional. Hallar u H

1
0
()
2
, p L
2
0
():
_

u : v
_

p div(v) =
_

f v v H
1
0
()
2

q div(u) =
_

gq q L
2
0
()
El problema de Stokes

Formulaci on variacional mixta:

a(u, v) :=
_

u : v, b(v, p) :=
_

p div(v),
F(v) :=
_

f v, G(q) =
_

gq
Hallar u H := H
1
0
()
2
y p Q := L
2
0
() tales que
a(u, v) +b(v, p) = F(v) v H
b(u, q) = G(q) q Q.

Existencia y Unicidad de soluci on:

Teora de Babuska-Brezzi.
El problema de Stokes

Formulaci on variacional mixta:

a(u, v) :=
_

u : v, b(v, p) :=
_

p div(v),
F(v) :=
_

f v, G(q) =
_

gq
Hallar u H := H
1
0
()
2
y p Q := L
2
0
() tales que
a(u, v) +b(v, p) = F(v) v H
b(u, q) = G(q) q Q.

Existencia y Unicidad de soluci on:

Teora de Babuska-Brezzi.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on continua). Sean H y
Q espacios de Hilbert, a : H H R, b : H Q R formas
bilineales acotadas y V := {v H : b(v, ) = 0 Q}.
Suponga que:

a es V -elptica: a(v, v) v
2
H

b satisface la condici on de Babuska-Brezzi:

sup
vH, v=0
b(v, )
v
H

Q
Q.
Entonces, para todo (F, G) H

existe un unico
(u, ) H Q tal que
a(u, v) +b(v, ) = F(v) v H
b(u, ) = G() Q
Adem as, existe C > 0 independiente de (u, ) tal que
(u, ) C
_
F
H

+G
Q

_
.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on continua). Sean H y
Q espacios de Hilbert, a : H H R, b : H Q R formas
bilineales acotadas y V := {v H : b(v, ) = 0 Q}.
Suponga que:

a es V -elptica: a(v, v) v
2
H

b satisface la condici on de Babuska-Brezzi:

sup
vH, v=0
b(v, )
v
H

Q
Q.
Entonces, para todo (F, G) H

existe un unico
(u, ) H Q tal que
a(u, v) +b(v, ) = F(v) v H
b(u, ) = G() Q
Adem as, existe C > 0 independiente de (u, ) tal que
(u, ) C
_
F
H

+G
Q

_
.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on continua). Sean H y
Q espacios de Hilbert, a : H H R, b : H Q R formas
bilineales acotadas y V := {v H : b(v, ) = 0 Q}.
Suponga que:

a es V -elptica: a(v, v) v
2
H

b satisface la condici on de Babuska-Brezzi:

sup
vH, v=0
b(v, )
v
H

Q
Q.
Entonces, para todo (F, G) H

existe un unico
(u, ) H Q tal que
a(u, v) +b(v, ) = F(v) v H
b(u, ) = G() Q
Adem as, existe C > 0 independiente de (u, ) tal que
(u, ) C
_
F
H

+G
Q

_
.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on continua). Sean H y
Q espacios de Hilbert, a : H H R, b : H Q R formas
bilineales acotadas y V := {v H : b(v, ) = 0 Q}.
Suponga que:

a es V -elptica: a(v, v) v
2
H

b satisface la condici on de Babuska-Brezzi:

sup
vH, v=0
b(v, )
v
H

Q
Q.
Entonces, para todo (F, G) H

existe un unico
(u, ) H Q tal que
a(u, v) +b(v, ) = F(v) v H
b(u, ) = G() Q
Adem as, existe C > 0 independiente de (u, ) tal que
(u, ) C
_
F
H

+G
Q

_
.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on continua). Sean H y
Q espacios de Hilbert, a : H H R, b : H Q R formas
bilineales acotadas y V := {v H : b(v, ) = 0 Q}.
Suponga que:

a es V -elptica: a(v, v) v
2
H

b satisface la condici on de Babuska-Brezzi:

sup
vH, v=0
b(v, )
v
H

Q
Q.
Entonces, para todo (F, G) H

existe un unico
(u, ) H Q tal que
a(u, v) +b(v, ) = F(v) v H
b(u, ) = G() Q
Adem as, existe C > 0 independiente de (u, ) tal que
(u, ) C
_
F
H

+G
Q

_
.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Esquema de Galerkin.

M etodo de Galerkin
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q tal que
a) H
h
H

h
, Q
h
Q

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H,

{Q
h
: h > 0} es denso en Q.

Esquema de Galerkin: Hallar (u

h
, p
h
) H
h
Q
h
tal que
a(u
h
, v
h
) +b(v
h
, p) = F(v
h
) v
h
H
h
b(u
h
, q
h
) = G(q
h
) q
h
Q
h
.

Existencia y unicidad: Existe un unico (u

h
, p
h
) soluci on del
esquema de Galerkin?

Convergencia:
(u, p) (u
h
, p
h
)
HQ
0 cuando h 0?
Esquema de Galerkin.

M etodo de Galerkin
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q tal que
a) H
h
H

h
, Q
h
Q

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H,

{Q
h
: h > 0} es denso en Q.

Esquema de Galerkin: Hallar (u

h
, p
h
) H
h
Q
h
tal que
a(u
h
, v
h
) +b(v
h
, p) = F(v
h
) v
h
H
h
b(u
h
, q
h
) = G(q
h
) q
h
Q
h
.

Existencia y unicidad: Existe un unico (u

h
, p
h
) soluci on del
esquema de Galerkin?

Convergencia:
(u, p) (u
h
, p
h
)
HQ
0 cuando h 0?
Esquema de Galerkin.

M etodo de Galerkin
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q tal que
a) H
h
H

h
, Q
h
Q

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H,

{Q
h
: h > 0} es denso en Q.

Esquema de Galerkin: Hallar (u

h
, p
h
) H
h
Q
h
tal que
a(u
h
, v
h
) +b(v
h
, p) = F(v
h
) v
h
H
h
b(u
h
, q
h
) = G(q
h
) q
h
Q
h
.

Existencia y unicidad: Existe un unico (u

h
, p
h
) soluci on del
esquema de Galerkin?

Convergencia:
(u, p) (u
h
, p
h
)
HQ
0 cuando h 0?
Esquema de Galerkin.

M etodo de Galerkin
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q tal que
a) H
h
H

h
, Q
h
Q

h
para todo h

h,
b)

{H
h
: h > 0} es denso en H,

{Q
h
: h > 0} es denso en Q.

Esquema de Galerkin: Hallar (u

h
, p
h
) H
h
Q
h
tal que
a(u
h
, v
h
) +b(v
h
, p) = F(v
h
) v
h
H
h
b(u
h
, q
h
) = G(q
h
) q
h
Q
h
.

Existencia y unicidad: Existe un unico (u

h
, p
h
) soluci on del
esquema de Galerkin?

Convergencia:
(u, p) (u
h
, p
h
)
HQ
0 cuando h 0?
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Versi on discreta). Sea
{H
h
Q
h
}
h>0
una familia numerable de subespacios de
dimensi on nita de H Q y dena
V
h
:= {v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
}.Suponga que

Se verican las hip otesis del TBB (versi on continua)

a es V
h
-elptica: Existe

independiente de h, tal que

a(v
h
, v
h
)

v
h

2
H
v
h
V
h

b satisface la condici on BB discreta: Existe

> 0
independiente de h, tal que
sup
v
h
H
h
, v
h
=0
b(v
h
,
h
)
v
h

H

h

Q

h
Q
h
.
Entonces, para todo (F, G) H

existe un unico (u
h
,
h
)
soluci on del esquema de Galerkin asociado. Adem as, existe
C > 0 independiente de h, tal que
(u, ) (u
h
,
h
)
HQ
C dist ((u, ), H
h
Q
h
)
Teora de babuska-Brezzi

La condici on BB discreta es una condici on de

compatiblidad entre los espacios H
h
y Q
h
.

En el caso del problema de Stokes, espacios de

elementos nitos, como P
1
/P
0
y P
1
/P
1
, no satisfacen la
condici on BB discreta.

Mini-elementos. Para cada T T

h
, sea b
T
: T R una
funci on continua, lineal a trozos y tal que

b
T
(

C) = 1,

C: baricentro de T.

b
T
se anula en los vertices de T.
Sean

P
1
(T) := [P
1
gen(b
T
)]
2
y
H
h
:=
_
v
h
H
1
0
()
2
: v
h
|
T


P
1
(T) T T
h
_
,
Q
h
:=
_
q
h
L
2
0
() C
0
(

) : q
h
|
T
P
1
T T
h
_
.
Teora de babuska-Brezzi

La condici on BB discreta es una condici on de

compatiblidad entre los espacios H
h
y Q
h
.

En el caso del problema de Stokes, espacios de

elementos nitos, como P
1
/P
0
y P
1
/P
1
, no satisfacen la
condici on BB discreta.

Mini-elementos. Para cada T T

h
, sea b
T
: T R una
funci on continua, lineal a trozos y tal que

b
T
(

C) = 1,

C: baricentro de T.

b
T
se anula en los vertices de T.
Sean

P
1
(T) := [P
1
gen(b
T
)]
2
y
H
h
:=
_
v
h
H
1
0
()
2
: v
h
|
T


P
1
(T) T T
h
_
,
Q
h
:=
_
q
h
L
2
0
() C
0
(

) : q
h
|
T
P
1
T T
h
_
.
Teora de babuska-Brezzi

La condici on BB discreta es una condici on de

compatiblidad entre los espacios H
h
y Q
h
.

En el caso del problema de Stokes, espacios de

elementos nitos, como P
1
/P
0
y P
1
/P
1
, no satisfacen la
condici on BB discreta.

Mini-elementos. Para cada T T

h
, sea b
T
: T R una
funci on continua, lineal a trozos y tal que

b
T
(

C) = 1,

C: baricentro de T.

b
T
se anula en los vertices de T.
Sean

P
1
(T) := [P
1
gen(b
T
)]
2
y
H
h
:=
_
v
h
H
1
0
()
2
: v
h
|
T


P
1
(T) T T
h
_
,
Q
h
:=
_
q
h
L
2
0
() C
0
(

) : q
h
|
T
P
1
T T
h
_
.
Teora de babuska-Brezzi

La condici on BB discreta es una condici on de

compatiblidad entre los espacios H
h
y Q
h
.

En el caso del problema de Stokes, espacios de

elementos nitos, como P
1
/P
0
y P
1
/P
1
, no satisfacen la
condici on BB discreta.

Mini-elementos. Para cada T T

h
, sea b
T
: T R una
funci on continua, lineal a trozos y tal que

b
T
(

C) = 1,

C: baricentro de T.

b
T
se anula en los vertices de T.
Sean

P
1
(T) := [P
1
gen(b
T
)]
2
y
H
h
:=
_
v
h
H
1
0
()
2
: v
h
|
T


P
1
(T) T T
h
_
,
Q
h
:=
_
q
h
L
2
0
() C
0
(

) : q
h
|
T
P
1
T T
h
_
.
Teora de babuska-Brezzi

La condici on BB discreta es una condici on de

compatiblidad entre los espacios H
h
y Q
h
.

En el caso del problema de Stokes, espacios de

elementos nitos, como P
1
/P
0
y P
1
/P
1
, no satisfacen la
condici on BB discreta.

Mini-elementos. Para cada T T

h
, sea b
T
: T R una
funci on continua, lineal a trozos y tal que

b
T
(

C) = 1,

C: baricentro de T.

b
T
se anula en los vertices de T.
Sean

P
1
(T) := [P
1
gen(b
T
)]
2
y
H
h
:=
_
v
h
H
1
0
()
2
: v
h
|
T


P
1
(T) T T
h
_
,
Q
h
:=
_
q
h
L
2
0
() C
0
(

) : q
h
|
T
P
1
T T
h
_
.
Contenido
Un problema de Dirichlet.
Formulaci on variacional continua
El m etodo de Galerkin
Espacios de elementos nitos
El problema de Stokes
Formulaci on variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin
Algunas referencias.
Lema de Fortin.
Lema de Fortin. Sean H y Q espacios de Hilbert. Sea
b : H Q R una forma bilineal acotada. Supongamos que b
cumple la condici on BB continua. Sean H
h
y Q
h
espacios de
dimensi on nita de H y Q respectivamente.
b : H
h
Q
h
cumple la condici on BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe

h
(v) H
h
tal que
b(v, q
h
) = b(
h
(v), q
h
) q
h
Q
h
, y
h
(v) v
H
.
Teorema. Sean H
h
y Q
h
los subespacios de elementos nitos
de H
1
0
()
2
y L
2
0
() denidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : H
h
Q
h
R del
problema de Stokes satisface la condici on BB discreta.Adem as,
si u [H
1
0
() H
2
()]
2
y p L
2
0
() H
1
(), entonces
dist((u, p), (H
h
, Q
h
)) Ch
Lema de Fortin.
Lema de Fortin. Sean H y Q espacios de Hilbert. Sea
b : H Q R una forma bilineal acotada. Supongamos que b
cumple la condici on BB continua. Sean H
h
y Q
h
espacios de
dimensi on nita de H y Q respectivamente.
b : H
h
Q
h
cumple la condici on BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe

h
(v) H
h
tal que
b(v, q
h
) = b(
h
(v), q
h
) q
h
Q
h
, y
h
(v) v
H
.
Teorema. Sean H
h
y Q
h
los subespacios de elementos nitos
de H
1
0
()
2
y L
2
0
() denidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : H
h
Q
h
R del
problema de Stokes satisface la condici on BB discreta.Adem as,
si u [H
1
0
() H
2
()]
2
y p L
2
0
() H
1
(), entonces
dist((u, p), (H
h
, Q
h
)) Ch
Lema de Fortin.
Lema de Fortin. Sean H y Q espacios de Hilbert. Sea
b : H Q R una forma bilineal acotada. Supongamos que b
cumple la condici on BB continua. Sean H
h
y Q
h
espacios de
dimensi on nita de H y Q respectivamente.
b : H
h
Q
h
cumple la condici on BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe

h
(v) H
h
tal que
b(v, q
h
) = b(
h
(v), q
h
) q
h
Q
h
, y
h
(v) v
H
.
Teorema. Sean H
h
y Q
h
los subespacios de elementos nitos
de H
1
0
()
2
y L
2
0
() denidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : H
h
Q
h
R del
problema de Stokes satisface la condici on BB discreta.Adem as,
si u [H
1
0
() H
2
()]
2
y p L
2
0
() H
1
(), entonces
dist((u, p), (H
h
, Q
h
)) Ch
Lema de Fortin.
Lema de Fortin. Sean H y Q espacios de Hilbert. Sea
b : H Q R una forma bilineal acotada. Supongamos que b
cumple la condici on BB continua. Sean H
h
y Q
h
espacios de
dimensi on nita de H y Q respectivamente.
b : H
h
Q
h
cumple la condici on BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe

h
(v) H
h
tal que
b(v, q
h
) = b(
h
(v), q
h
) q
h
Q
h
, y
h
(v) v
H
.
Teorema. Sean H
h
y Q
h
los subespacios de elementos nitos
de H
1
0
()
2
y L
2
0
() denidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : H
h
Q
h
R del
problema de Stokes satisface la condici on BB discreta.Adem as,
si u [H
1
0
() H
2
()]
2
y p L
2
0
() H
1
(), entonces
dist((u, p), (H
h
, Q
h
)) Ch
Algunas referencias
D. BRAESS Finite elements: Theory, fast solvers and applications
in solid mechanics, cambridge University Press, 2002.
E. ALEXANDRE AND J.-L. GUERMOND, Theory and practice of
nite elements, Springer, New York, 2004.
P. CIARLET, The Finite Element Method for Elliptic Problems,
SIAM, 2002.
V. GIRAULT AND P. A. RAVIART, Finite Element Methods for
Navier Stokes Equations, Springer, New York, 1986.
P. MONK, Finite Element Methods for Maxwells Equations,
Oxford Clarendon Press, 2003.
A. QUARTERONI AND A. VALLI, Numerical Approximation of
Partial Differential Equations, Springer-Verlag, Berlin, 1994.
E. ZEIDLER, Nonlinear Functional Analysis and its Applications.
II/A-B, Springer-Verlag, New York, 1990.