El metodo a la

de Galerkin y su aplicacion
numerica
solucion de ecuaciones
diferenciales parciales

Ramiro Acevedo Martnez

Departamento de Matematicas
Universidad del Cauca

Enero 26 de 2008
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
Un problema de Dirichlet.
I El problema de valores de Contorno.

dominio acotado de R2 con frontera

f L2 (), : R22 de clase C 1

div (u) = f en ,
u=0 en .

I por partes:
Integracion
Z Z Z
v div (u) dx = (u) v dx v (u) ds

I variacional: Hallar u H10 () tal que

Formulacion
Z Z
(u) v dx = f v dx v H10 ().

Un problema de Dirichlet.
I El problema de valores de Contorno.

dominio acotado de R2 con frontera

f L2 (), : R22 de clase C 1

div (u) = f en ,
u=0 en .

I por partes:
Integracion
Z Z Z
v div (u) dx = (u) v dx v (u) ds

I variacional: Hallar u H10 () tal que

Formulacion
Z Z
(u) v dx = f v dx v H10 ().

Un problema de Dirichlet.
I El problema de valores de Contorno.

dominio acotado de R2 con frontera

f L2 (), : R22 de clase C 1

div (u) = f en ,
u=0 en .

I por partes:
Integracion
Z Z Z
v div (u) dx = (u) v dx v (u) ds

I variacional: Hallar u H10 () tal que

Formulacion
Z Z
(u) v dx = f v dx v H10 ().

Un problema de Dirichlet.

I variacional: Hallar u H := H10 () tal que

Formulacion

A(u, v) = F (v) v H,
R R
donde A(u, v) := (u) v dx, F (v) := f v dx

I 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)| M kvkH kwkH y A(v, v) kvk2H v, w H.

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
Un problema de Dirichlet.

I variacional: Hallar u H := H10 () tal que

Formulacion

A(u, v) = F (v) v H,
R R
donde A(u, v) := (u) v dx, F (v) := f v dx

I 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)| M kvkH kwkH y A(v, v) kvk2H v, w H.

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
Un problema de Dirichlet.

I variacional: Hallar u H := H10 () tal que

Formulacion

A(u, v) = F (v) v H,
R R
donde A(u, v) := (u) v dx, F (v) := f v dx

I 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)| M kvkH kwkH y A(v, v) kvk2H v, w H.

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
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
I A es acotada: |A(v, w)| M kvkH kwkH v, w H.
I
A es debilmente coerciva:
X Para todo v H:
A(v, w)
sup kvkH ( kA(v)kH 0 kvkH ) .
wH kwkH

X Para todo w H, w 6= 0:

sup A(v, w) > 0 ( kA (w)kH > 0) .

vH

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
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
I A es acotada: |A(v, w)| M kvkH kwkH v, w H.
I
A es debilmente coerciva:
X Para todo v H:
A(v, w)
sup kvkH ( kA(v)kH 0 kvkH ) .
wH kwkH

X Para todo w H, w 6= 0:

sup A(v, w) > 0 ( kA (w)kH > 0) .

vH

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
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
I A es acotada: |A(v, w)| M kvkH kwkH v, w H.
I
A es debilmente coerciva:
X Para todo v H:
A(v, w)
sup kvkH ( kA(v)kH 0 kvkH ) .
wH kwkH

X Para todo w H, w 6= 0:

sup A(v, w) > 0 ( kA (w)kH > 0) .

vH

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
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
I A es acotada: |A(v, w)| M kvkH kwkH v, w H.
I
A es debilmente coerciva:
X Para todo v H:
A(v, w)
sup kvkH ( kA(v)kH 0 kvkH ) .
wH kwkH

X Para todo w H, w 6= 0:

sup A(v, w) > 0 ( kA (w)kH > 0) .

vH

Entonces, para todo F H 0 existe un unico

u H tal que

A(u, v) = F (v) v H.
1
kukH
Ademas, kF kH 0 .
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.

El metodo de Galerkin.

El metodo de Galerkin:
I Sea {Hh }h>0 una familia numerable de subespacios de H
finita tal que
de dimension

Sh Hh para todo h h,
a) H
b) {Hh : h > 0} es denso en H.
I Esquema de Galerkin: Hallar uh Hh tal que

A(uh , vh ) = F (vh ) vh Hh .

Existencia y unicidad: Existe un unico

del
uh solucion
esquema de Galerkin?

Convergencia:

ku uh kH 0 cuando h 0?

El metodo de Galerkin.

El metodo de Galerkin:
I Sea {Hh }h>0 una familia numerable de subespacios de H
finita tal que
de dimension

Hh Hh para todo h h,
a) S
b) {Hh : h > 0} es denso en H.
I Esquema de Galerkin: Hallar uh Hh tal que

A(uh , vh ) = F (vh ) vh Hh .

Existencia y unicidad: Existe un unico

del
uh solucion
esquema de Galerkin?

Convergencia:

ku uh kH 0 cuando h 0?

El metodo de Galerkin.

El metodo de Galerkin:
I Sea {Hh }h>0 una familia numerable de subespacios de H
finita tal que
de dimension

Hh Hh para todo h h,
a) S
b) {Hh : h > 0} es denso en H.
I Esquema de Galerkin: Hallar uh Hh tal que

A(uh , vh ) = F (vh ) vh Hh .

Existencia y unicidad: Existe un unico

del
uh solucion
esquema de Galerkin?

Convergencia:

ku uh kH 0 cuando h 0?

El metodo de Galerkin.

El metodo de Galerkin:
I Sea {Hh }h>0 una familia numerable de subespacios de H
finita tal que
de dimension

Hh Hh para todo h h,
a) S
b) {Hh : h > 0} es denso en H.
I Esquema de Galerkin: Hallar uh Hh tal que

A(uh , vh ) = F (vh ) vh Hh .

Existencia y unicidad: Existe un unico

del
uh solucion
esquema de Galerkin?

Convergencia:

ku uh kH 0 cuando h 0?

El metodo de Galerkin.

El metodo de Galerkin:
I Sea {Hh }h>0 una familia numerable de subespacios de H
finita tal que
de dimension

Hh Hh para todo h h,
a) S
b) {Hh : h > 0} es denso en H.
I Esquema de Galerkin: Hallar uh Hh tal que

A(uh , vh ) = F (vh ) vh Hh .

Existencia y unicidad: Existe un unico

del
uh solucion
esquema de Galerkin?

Convergencia:

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

I Se cumplen las hipotesis del Teorema de Lax-Milgram
Generalizado.
I Existe > 0 independiente de h, tal que
A(vh , wh )
X Para todo vh Hh : supwh Hh kvh kH
kwh kH
X Para todo wh Hh , wh 6= 0 : supvh Hh A(vh , wh ) > 0
Entonces, para todo F H 0 existe un unico
uh Hh tal que
1
A(uh , vh ) = F (vh ) vh Hh , y kuh kH kF kH 0

existe C > 0 independiente de h tal que
Ademas,

ku uh kH C dist(u, Hh ), de Cea)
(Estimacion

donde
dist(u, Hh ) := nf ku vh kH
vh Hh
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

I Se cumplen las hipotesis del Teorema de Lax-Milgram
Generalizado.
I Existe > 0 independiente de h, tal que
A(vh , wh )
X Para todo vh Hh : supwh Hh kvh kH
kwh kH
X Para todo wh Hh , wh 6= 0 : supvh Hh A(vh , wh ) > 0
Entonces, para todo F H 0 existe un unico
uh Hh tal que
1
A(uh , vh ) = F (vh ) vh Hh , y kuh kH kF kH 0

existe C > 0 independiente de h tal que
Ademas,

ku uh kH C dist(u, Hh ), de Cea)
(Estimacion

donde
dist(u, Hh ) := nf ku vh kH
vh Hh
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

I Se cumplen las hipotesis del Teorema de Lax-Milgram
Generalizado.
I Existe > 0 independiente de h, tal que
A(vh , wh )
X Para todo vh Hh : supwh Hh kvh kH
kwh kH
X Para todo wh Hh , wh 6= 0 : supvh Hh A(vh , wh ) > 0
Entonces, para todo F H 0 existe un unico
uh Hh tal que
1
A(uh , vh ) = F (vh ) vh Hh , y kuh kH kF kH 0

existe C > 0 independiente de h tal que
Ademas,

ku uh kH C dist(u, Hh ), de Cea)
(Estimacion

donde
dist(u, Hh ) := nf ku vh kH
vh Hh
Un problema de Dirichlet.
Teorema de Lax-Milgram (caso discreto) Suponga que

I Se cumplen las hipotesis del Teorema de Lax-Milgram
Generalizado.
I Existe > 0 independiente de h, tal que
A(vh , wh )
X Para todo vh Hh : supwh Hh kvh kH
kwh kH
X Para todo wh Hh , wh 6= 0 : supvh Hh A(vh , wh ) > 0
Entonces, para todo F H 0 existe un unico
uh Hh tal que
1
A(uh , vh ) = F (vh ) vh Hh , y kuh kH kF kH 0

existe C > 0 independiente de h tal que
Ademas,

ku uh kH C dist(u, Hh ), de Cea)
(Estimacion

donde
dist(u, Hh ) := nf ku vh kH
vh Hh
Un problema de Dirichlet.

del Metodo
Implementacion de Galerkin.
I Base de Hh : {e1 , e2 , . . . , eN }.
I Matriz de rigidez: A := (aij )N N , aij := A(ej , ei ).
I Vector de carga: F := (fj )N 1 , fj := F (ej ).
I Esquema de Galerkin: Hallar := (1 , 2 , . . . , N )T tal
que
A
= F.

PN
I de Galerkin:
Solucion uh = j=1 j ej .
I Propiedades deseables de A: Rala (banda), bien
condicionada.
I Propiedades deseables de Hh : dist(u, Hh ) Chr .
Un problema de Dirichlet.

del Metodo
Implementacion de Galerkin.
I Base de Hh : {e1 , e2 , . . . , eN }.
I Matriz de rigidez: A := (aij )N N , aij := A(ej , ei ).
I Vector de carga: F := (fj )N 1 , fj := F (ej ).
I Esquema de Galerkin: Hallar := (1 , 2 , . . . , N )T tal
que
A
= F.

PN
I de Galerkin:
Solucion uh = j=1 j ej .
I Propiedades deseables de A: Rala (banda), bien
condicionada.
I Propiedades deseables de Hh : dist(u, Hh ) Chr .
Un problema de Dirichlet.

del Metodo
Implementacion de Galerkin.
I Base de Hh : {e1 , e2 , . . . , eN }.
I Matriz de rigidez: A := (aij )N N , aij := A(ej , ei ).
I Vector de carga: F := (fj )N 1 , fj := F (ej ).
I Esquema de Galerkin: Hallar := (1 , 2 , . . . , N )T tal
que
A
= F.

PN
I de Galerkin:
Solucion uh = j=1 j ej .
I Propiedades deseables de A: Rala (banda), bien
condicionada.
I Propiedades deseables de Hh : dist(u, Hh ) Chr .
Un problema de Dirichlet.

del Metodo
Implementacion de Galerkin.
I Base de Hh : {e1 , e2 , . . . , eN }.
I Matriz de rigidez: A := (aij )N N , aij := A(ej , ei ).
I Vector de carga: F := (fj )N 1 , fj := F (ej ).
I Esquema de Galerkin: Hallar := (1 , 2 , . . . , N )T tal
que
A
= F.

PN
I de Galerkin:
Solucion uh = j=1 j ej .
I Propiedades deseables de A: Rala (banda), bien
condicionada.
I Propiedades deseables de Hh : dist(u, Hh ) Chr .
Un problema de Dirichlet.

del Metodo
Implementacion de Galerkin.
I Base de Hh : {e1 , e2 , . . . , eN }.
I Matriz de rigidez: A := (aij )N N , aij := A(ej , ei ).
I Vector de carga: F := (fj )N 1 , fj := F (ej ).
I Esquema de Galerkin: Hallar := (1 , 2 , . . . , N )T tal
que
A
= F.

PN
I de Galerkin:
Solucion uh = j=1 j ej .
I Propiedades deseables de A: Rala (banda), bien
condicionada.
I Propiedades deseables de Hh : dist(u, Hh ) Chr .
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
Espacio de elementos finitos.

Por simplicidad, asumimos que es poligonal y que:

 
1 0
x = x
0 1

variacional: Hallar u H10 () tal que

Formulacion
Z Z
u v dx = f v dx v H10 ().

Esquema de Galerkin: Hallar uh Hh H10 () tal que

Z Z
uh vh dx = f vh dx vh Hh .

Espacio de elementos finitos.
Espacios de elementos finitos

Th : Triangulaci
S regular de
on
= {T : T Th }
h = m ax {hT : T Th }
v P1 (T )
v(x, y) = + x + y (x, y) T.
 h := 1
H
vh H0 () : vh |T P1 (T ) T Th

{x1 , x2 , . . . , xN }: Vertices
interiores.
Base de Hh :
{1 , 2 , . . . , N }:

j | = 0, j ( xj ) = 1,
j (xi ) = 0 i 6= j.
Espacio de elementos finitos.
Espacios de elementos finitos

Th : Triangulaci
S regular de
on
= {T : T Th }
h = m ax {hT : T Th }
v P1 (T )
v(x, y) = + x + y (x, y) T.
 h := 1
H
vh H0 () : vh |T P1 (T ) T Th

{x1 , x2 , . . . , xN }: Vertices
interiores.
Base de Hh :
{1 , 2 , . . . , N }:

j | = 0, j ( xj ) = 1,
j (xi ) = 0 i 6= j.
Espacio de elementos finitos.
Espacios de elementos finitos

Th : Triangulaci
S regular de
on
= {T : T Th }
h = m ax {hT : T Th }
v P1 (T )
v(x, y) = + x + y (x, y) T.
 h := 1
H
vh H0 () : vh |T P1 (T ) T Th

{x1 , x2 , . . . , xN }: Vertices
interiores.
Base de Hh :
{1 , 2 , . . . , N }:

j | = 0, j ( xj ) = 1,
j (xi ) = 0 i 6= j.
Espacio de elementos finitos.
Es facil ver que
N
X
v(x) = v(xj )j (x) x v Hh
j=1

del esquema de Galerkin tiene la forma:

La solucion
N
X
uh (x) = uj j (x) x , (uj = uh (xj ))
j=1

y as, el problema matricial asociado al esquema de Galerkin es:

Hallar = (u1 , . . . , uN )T RN tal que A = F, donde
Z
A = (aij )N N , aij = i j dx (Matriz de Rigidez)
Z
F = (fj )N 1 , fj = f j dx (Vector de Carga)

Espacio de elementos finitos.
Es facil ver que
N
X
v(x) = v(xj )j (x) x v Hh
j=1

del esquema de Galerkin tiene la forma:

La solucion
N
X
uh (x) = uj j (x) x , (uj = uh (xj ))
j=1

y as, el problema matricial asociado al esquema de Galerkin es:

Hallar = (u1 , . . . , uN )T RN tal que A = F, donde
Z
A = (aij )N N , aij = i j dx (Matriz de Rigidez)
Z
F = (fj )N 1 , fj = f j dx (Vector de Carga)

Espacio de elementos finitos.
Es facil ver que
N
X
v(x) = v(xj )j (x) x v Hh
j=1

del esquema de Galerkin tiene la forma:

La solucion
N
X
uh (x) = uj j (x) x , (uj = uh (xj ))
j=1

y as, el problema matricial asociado al esquema de Galerkin es:

Hallar = (u1 , . . . , uN )T RN tal que A = F, donde
Z
A = (aij )N N , aij = i j dx (Matriz de Rigidez)
Z
F = (fj )N 1 , fj = f j dx (Vector de Carga)

Espacio de elementos finitos.

Sean
Operador de Interpolacion.

C() := v : R : v es continua

C () := v C() : v = 0 en .

Si se define h : C() L2 (), dado por

N
X
h v(x) := v(xj )j (x) v C(), x .
j=1

I h (C ()) = Hh , h v = v v Hh .
I h : C () H10 () es continuo.
I kv vkH1 () Chr |v|Hr+1 () v Hr+1 (), r > 0
Espacio de elementos finitos.

Sean
Operador de Interpolacion.

C() := v : R : v es continua

C () := v C() : v = 0 en .

Si se define h : C() L2 (), dado por

N
X
h v(x) := v(xj )j (x) v C(), x .
j=1

I h (C ()) = Hh , h v = v v Hh .
I h : C () H10 () es continuo.
I kv vkH1 () Chr |v|Hr+1 () v Hr+1 (), r > 0
Espacio de elementos finitos.

Sean
Operador de Interpolacion.

C() := v : R : v es continua

C () := v C() : v = 0 en .

Si se define h : C() L2 (), dado por

N
X
h v(x) := v(xj )j (x) v C(), x .
j=1

I h (C ()) = Hh , h v = v v Hh .
I h : C () H10 () es continuo.
I kv vkH1 () Chr |v|Hr+1 () v Hr+1 (), r > 0
Espacio de elementos finitos.

Sean
Operador de Interpolacion.

C() := v : R : v es continua

C () := v C() : v = 0 en .

Si se define h : C() L2 (), dado por

N
X
h v(x) := v(xj )j (x) v C(), x .
j=1

I h (C ()) = Hh , h v = v v Hh .
I h : C () H10 () es continuo.
I kv vkH1 () Chr |v|Hr+1 () v Hr+1 (), r > 0
Espacio de elementos finitos.

Sean
Operador de Interpolacion.

C() := v : R : v es continua

C () := v C() : v = 0 en .

Si se define h : C() L2 (), dado por

N
X
h v(x) := v(xj )j (x) v C(), x .
j=1

I h (C ()) = Hh , h v = v v Hh .
I h : C () H10 () es continuo.
I kv vkH1 () Chr |v|Hr+1 () v Hr+1 (), r > 0
Espacio de elementos finitos.

Propiedades de Hh
I Convergencia: dist(v, Hh ) Chr |v|Hr+1 () v Hr+1 ().
IPropiedad inversa: A(vh , vh ) Ch2 kvh k2L2 () vh Hh .
Lema. Sean

:= (1 , . . . , N ) RN y vh := N
P
j=1 j ej .

kvh k2L2 ()
ch2 2 Ch2

R2

Lema. cond(A) Ch2

T A
A(vh , vh )
2
kvh kL2 ()
2
Dem.
=
Ch
C = max C.
RN RN RN

T A
A(vh , vh )
2
kvh kL2 ()


=

Ch2 = mn Ch2 .
RN RN RN
Espacio de elementos finitos.

Propiedades de Hh
I Convergencia: dist(v, Hh ) Chr |v|Hr+1 () v Hr+1 ().
IPropiedad inversa: A(vh , vh ) Ch2 kvh k2L2 () vh Hh .
Lema. Sean

:= (1 , . . . , N ) RN y vh := N
P
j=1 j ej .

kvh k2L2 ()
ch2 2 Ch2

R2

Lema. cond(A) Ch2

T A
A(vh , vh )
2
kvh kL2 ()
2
Dem.
=
Ch
C = max C.
RN RN RN

T A
A(vh , vh )
2
kvh kL2 ()


=

Ch2 = mn Ch2 .
RN RN RN
Espacio de elementos finitos.

Propiedades de Hh
I Convergencia: dist(v, Hh ) Chr |v|Hr+1 () v Hr+1 ().
IPropiedad inversa: A(vh , vh ) Ch2 kvh k2L2 () vh Hh .
Lema. Sean

:= (1 , . . . , N ) RN y vh := N
P
j=1 j ej .

kvh k2L2 ()
ch2 2 Ch2

R2

Lema. cond(A) Ch2

T A
A(vh , vh )
2
kvh kL2 ()
2
Dem.
=
Ch
C = max C.
RN RN RN

T A
A(vh , vh )
2
kvh kL2 ()


=

Ch2 = mn Ch2 .
RN RN RN
Espacio de elementos finitos.

Propiedades de Hh
I Convergencia: dist(v, Hh ) Chr |v|Hr+1 () v Hr+1 ().
IPropiedad inversa: A(vh , vh ) Ch2 kvh k2L2 () vh Hh .
Lema. Sean

:= (1 , . . . , N ) RN y vh := N
P
j=1 j ej .

kvh k2L2 ()
ch2 2 Ch2

R2

Lema. cond(A) Ch2

T A
A(vh , vh )
2
kvh kL2 ()
2
Dem.
=
Ch
C = max C.
RN RN RN

T A
A(vh , vh )
2
kvh kL2 ()


=

Ch2 = mn Ch2 .
RN RN RN
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
El problema de Stokes
I El problema de valores de Contorno
dominio acotado de R2 con frontera , f L2 (),
g L2 (). Hallar u : R2 , p : R tales que

u + p = f en ,
div(u) = g en ,
u=0 en .

R R
I Restriccion sobre g: g = div(u) = 0.
I Para todo v H10 ()2 :
I.P.P. primera ecuacion.
Z X2 Z X 2 Z Z
vu = vi ui = ui vi = u : v
i=1 i=1
Z Z
p v = p div(v)

Z Z Z
= u : v p div(v) = f v v H10 ()2 .

El problema de Stokes
I El problema de valores de Contorno
dominio acotado de R2 con frontera , f L2 (),
g L2 (). Hallar u : R2 , p : R tales que

u + p = f en ,
div(u) = g en ,
u=0 en .

R R
I Restriccion sobre g: g = div(u) = 0.
I Para todo v H10 ()2 :
I.P.P. primera ecuacion.
Z X2 Z X 2 Z Z
vu = vi ui = ui vi = u : v
i=1 i=1
Z Z
p v = p div(v)

Z Z Z
= u : v p div(v) = f v v H10 ()2 .

El problema de Stokes
I El problema de valores de Contorno
dominio acotado de R2 con frontera , f L2 (),
g L2 (). Hallar u : R2 , p : R tales que

u + p = f en ,
div(u) = g en ,
u=0 en .

R R
I Restriccion sobre g: g = div(u) = 0.
I Para todo v H10 ()2 :
I.P.P. primera ecuacion.
Z X2 Z X 2 Z Z
vu = vi ui = ui vi = u : v
i=1 i=1
Z Z
p v = p div(v)

Z Z Z
= u : v p div(v) = f v v H10 ()2 .

El problema de Stokes
I El problema de valores de Contorno
dominio acotado de R2 con frontera , f L2 (),
g L2 (). Hallar u : R2 , p : R tales que

u + p = f en ,
div(u) = g en ,
u=0 en .

R R
I Restriccion sobre g: g = div(u) = 0.
I Para todo v H10 ()2 :
I.P.P. primera ecuacion.
Z X2 Z X 2 Z Z
vu = vi ui = ui vi = u : v
i=1 i=1
Z Z
p v = p div(v)

Z Z Z
= u : v p div(v) = f v v H10 ()2 .

El problema de Stokes
I El problema de valores de Contorno
dominio acotado de R2 con frontera , f L2 (),
g L2 (). Hallar u : R2 , p : R tales que

u + p = f en ,
div(u) = g en ,
u=0 en .

R R
I Restriccion sobre g: g = div(u) = 0.
I Para todo v H10 ()2 :
I.P.P. primera ecuacion.
Z X2 Z X 2 Z Z
vu = vi ui = ui vi = u : v
i=1 i=1
Z Z
p v = p div(v)

Z Z Z
= u : v p div(v) = f v v H10 ()2 .

El problema de Stokes

I
Segunda ecuacion:
Z Z
div(u) = g en = q div(u) = gq q L20 (),

 Z 
L20 () := 2
q L () : q = 0.

I variacional. Hallar u H10 ()2 , p L20 ():

Formulacion
Z Z Z
u : v p div(v) = f v v H10 ()2
Z Z

q div(u) = gq q L20 ()

El problema de Stokes

I
Segunda ecuacion:
Z Z
div(u) = g en = q div(u) = gq q L20 (),

 Z 
L20 () := 2
q L () : q = 0.

I variacional. Hallar u H10 ()2 , p L20 ():

Formulacion
Z Z Z
u : v p div(v) = f v v H10 ()2
Z Z

q div(u) = gq q L20 ()

El problema de Stokes

I Formulacion variacional mixta:

R R
R u : v, b(v,Rp) := p div(v),
a(u, v) :=
F (v) := f v, G(q) = gq

Hallar u H := H10 ()2 y p Q := L20 () tales que

a(u, v) + b(v, p) = F (v) v H

b(u, q) = G(q) q Q.

I
Existencia y Unicidad de solucion:

Teora de Babuska-Brezzi.
El problema de Stokes

I Formulacion variacional mixta:

R R
R u : v, b(v,Rp) := p div(v),
a(u, v) :=
F (v) := f v, G(q) = gq

Hallar u H := H10 ()2 y p Q := L20 () tales que

a(u, v) + b(v, p) = F (v) v H

b(u, q) = G(q) q Q.

I
Existencia y Unicidad de solucion:

Teora de Babuska-Brezzi.
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version 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:
I a es V -elptica: a(v, v) kvk2
H
I b satisface la condicion de Babuska-Brezzi:
b(v, )
sup kkQ Q.
vH, v6=0 kvkH

Entonces, para todo (F, G) H 0 Q0 existe un unico

(u, ) H Q tal que
a(u, v) + b(v, ) = F (v) v H
b(u, ) = G() Q
existe C > 0 independiente de (u, ) tal que
Ademas,
n o
k(u, )k C kF kH 0 + kGkQ0 .
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version 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:
I a es V -elptica: a(v, v) kvk2
H
I b satisface la condicion de Babuska-Brezzi:
b(v, )
sup kkQ Q.
vH, v6=0 kvkH

Entonces, para todo (F, G) H 0 Q0 existe un unico

(u, ) H Q tal que
a(u, v) + b(v, ) = F (v) v H
b(u, ) = G() Q
existe C > 0 independiente de (u, ) tal que
Ademas,
n o
k(u, )k C kF kH 0 + kGkQ0 .
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version 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:
I a es V -elptica: a(v, v) kvk2
H
I b satisface la condicion de Babuska-Brezzi:
b(v, )
sup kkQ Q.
vH, v6=0 kvkH

Entonces, para todo (F, G) H 0 Q0 existe un unico

(u, ) H Q tal que
a(u, v) + b(v, ) = F (v) v H
b(u, ) = G() Q
existe C > 0 independiente de (u, ) tal que
Ademas,
n o
k(u, )k C kF kH 0 + kGkQ0 .
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version 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:
I a es V -elptica: a(v, v) kvk2
H
I b satisface la condicion de Babuska-Brezzi:
b(v, )
sup kkQ Q.
vH, v6=0 kvkH

Entonces, para todo (F, G) H 0 Q0 existe un unico

(u, ) H Q tal que
a(u, v) + b(v, ) = F (v) v H
b(u, ) = G() Q
existe C > 0 independiente de (u, ) tal que
Ademas,
n o
k(u, )k C kF kH 0 + kGkQ0 .
Teora de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version 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:
I a es V -elptica: a(v, v) kvk2
H
I b satisface la condicion de Babuska-Brezzi:
b(v, )
sup kkQ Q.
vH, v6=0 kvkH

Entonces, para todo (F, G) H 0 Q0 existe un unico

(u, ) H Q tal que
a(u, v) + b(v, ) = F (v) v H
b(u, ) = G() Q
existe C > 0 independiente de (u, ) tal que
Ademas,
n o
k(u, )k C kF kH 0 + kGkQ0 .
Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion variacional mixta
Teora de Babuska-Brezzi
Esquema de Galerkin
Lema de Fortin

Algunas referencias.
Esquema de Galerkin.
I
Metodo de Galerkin
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q tal que
dimension

Sh Hh , Qh Qh para todo h h,
a) H
b) S{Hh : h > 0} es denso en H,
{Qh : h > 0} es denso en Q.
I Esquema de Galerkin: Hallar (uh , ph ) Hh Qh tal que

a(uh , vh ) + b(vh , p) = F (vh ) vh Hh

b(uh , qh ) = G(qh ) qh Qh .

I Existencia y unicidad: Existe un unico

del
(uh , ph ) solucion
esquema de Galerkin?

I Convergencia:

k(u, p) (uh , ph )kHQ 0 cuando h 0?

Esquema de Galerkin.
I
Metodo de Galerkin
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q tal que
dimension

Sh Hh , Qh Qh para todo h h,
a) H
b) S{Hh : h > 0} es denso en H,
{Qh : h > 0} es denso en Q.
I Esquema de Galerkin: Hallar (uh , ph ) Hh Qh tal que

a(uh , vh ) + b(vh , p) = F (vh ) vh Hh

b(uh , qh ) = G(qh ) qh Qh .

I Existencia y unicidad: Existe un unico

del
(uh , ph ) solucion
esquema de Galerkin?

I Convergencia:

k(u, p) (uh , ph )kHQ 0 cuando h 0?

Esquema de Galerkin.
I
Metodo de Galerkin
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q tal que
dimension

Sh Hh , Qh Qh para todo h h,
a) H
b) S{Hh : h > 0} es denso en H,
{Qh : h > 0} es denso en Q.
I Esquema de Galerkin: Hallar (uh , ph ) Hh Qh tal que

a(uh , vh ) + b(vh , p) = F (vh ) vh Hh

b(uh , qh ) = G(qh ) qh Qh .

I Existencia y unicidad: Existe un unico

del
(uh , ph ) solucion
esquema de Galerkin?

I Convergencia:

k(u, p) (uh , ph )kHQ 0 cuando h 0?

Esquema de Galerkin.
I
Metodo de Galerkin
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q tal que
dimension

Sh Hh , Qh Qh para todo h h,
a) H
b) S{Hh : h > 0} es denso en H,
{Qh : h > 0} es denso en Q.
I Esquema de Galerkin: Hallar (uh , ph ) Hh Qh tal que

a(uh , vh ) + b(vh , p) = F (vh ) vh Hh

b(uh , qh ) = G(qh ) qh Qh .

I Existencia y unicidad: Existe un unico

del
(uh , ph ) solucion
esquema de Galerkin?

I Convergencia:

k(u, p) (uh , ph )kHQ 0 cuando h 0?

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teoria de Babuska-Brezzi
Teorema de Babuska-Brezzi (Version discreta). Sea
{Hh Qh }h>0 una familia numerable de subespacios de
finita de H Q y defina
dimension
Vh := {vh Hh : b(vh , h ) = 0 h Qh }.Suponga que

I Se verifican las hipotesis continua)
del TBB (version
I a es Vh -elptica: Existe independiente de h, tal que
a(vh , vh ) kvh k2H vh Vh
I b satisface la condicion BB discreta: Existe > 0
independiente de h, tal que
b(vh , h )
supvh Hh , vh 6=0 kh kQ h Qh .
kvh kH
Entonces, para todo (F, G) H 0 Q0 existe un unico (uh , h )
del esquema de Galerkin asociado. Ademas,
solucion existe
C > 0 independiente de h, tal que

k(u, ) (uh , h )kHQ C dist ((u, ), Hh Qh )

Teora de babuska-Brezzi

I BB discreta es una condicion

La condicion de
compatiblidad entre los espacios Hh y Qh .
I En el caso del problema de Stokes, espacios de
elementos finitos, como P1 /P0 y P1 /P1 , no satisfacen la
BB discreta.
condicion
I Mini-elementos. Para cada T Th , sea bT : T R una
continua, lineal a trozos y tal que
funcion
I = 1, C:
bT (C) baricentro de T .
I bT se anula en los vertices de T.
Sean P1 (T ) := [P1 gen(bT )]2 y
n o
Hh := v h H10 ()2 : v h |T P1 (T ) T Th ,
Qh := qh L20 () C 0 () : qh |T P1 T Th .

Teora de babuska-Brezzi

I BB discreta es una condicion

La condicion de
compatiblidad entre los espacios Hh y Qh .
I En el caso del problema de Stokes, espacios de
elementos finitos, como P1 /P0 y P1 /P1 , no satisfacen la
BB discreta.
condicion
I Mini-elementos. Para cada T Th , sea bT : T R una
continua, lineal a trozos y tal que
funcion
I = 1, C:
bT (C) baricentro de T .
I bT se anula en los vertices de T.
Sean P1 (T ) := [P1 gen(bT )]2 y
n o
Hh := v h H10 ()2 : v h |T P1 (T ) T Th ,
Qh := qh L20 () C 0 () : qh |T P1 T Th .

Teora de babuska-Brezzi

I BB discreta es una condicion

La condicion de
compatiblidad entre los espacios Hh y Qh .
I En el caso del problema de Stokes, espacios de
elementos finitos, como P1 /P0 y P1 /P1 , no satisfacen la
BB discreta.
condicion
I Mini-elementos. Para cada T Th , sea bT : T R una
continua, lineal a trozos y tal que
funcion
I = 1, C:
bT (C) baricentro de T .
I bT se anula en los vertices de T.
Sean P1 (T ) := [P1 gen(bT )]2 y
n o
Hh := v h H10 ()2 : v h |T P1 (T ) T Th ,
Qh := qh L20 () C 0 () : qh |T P1 T Th .

Teora de babuska-Brezzi

I BB discreta es una condicion

La condicion de
compatiblidad entre los espacios Hh y Qh .
I En el caso del problema de Stokes, espacios de
elementos finitos, como P1 /P0 y P1 /P1 , no satisfacen la
BB discreta.
condicion
I Mini-elementos. Para cada T Th , sea bT : T R una
continua, lineal a trozos y tal que
funcion
I = 1, C:
bT (C) baricentro de T .
I bT se anula en los vertices de T.
Sean P1 (T ) := [P1 gen(bT )]2 y
n o
Hh := v h H10 ()2 : v h |T P1 (T ) T Th ,
Qh := qh L20 () C 0 () : qh |T P1 T Th .

Teora de babuska-Brezzi

I BB discreta es una condicion

La condicion de
compatiblidad entre los espacios Hh y Qh .
I En el caso del problema de Stokes, espacios de
elementos finitos, como P1 /P0 y P1 /P1 , no satisfacen la
BB discreta.
condicion
I Mini-elementos. Para cada T Th , sea bT : T R una
continua, lineal a trozos y tal que
funcion
I = 1, C:
bT (C) baricentro de T .
I bT se anula en los vertices de T.
Sean P1 (T ) := [P1 gen(bT )]2 y
n o
Hh := v h H10 ()2 : v h |T P1 (T ) T Th ,
Qh := qh L20 () C 0 () : qh |T P1 T Th .

Contenido

Un problema de Dirichlet.
variacional continua
Formulacion

El metodo de Galerkin
Espacios de elementos finitos

El problema de Stokes
Formulacion 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
BB continua. Sean Hh y Qh espacios de
cumple la condicion
finita de H y Q respectivamente.
dimension
b : Hh Qh cumple la condicion
BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe
h (v) Hh tal que
b(v, qh ) = b(h (v), qh ) qh Qh , y kh (v)k kvkH .

Teorema. Sean Hh y Qh los subespacios de elementos finitos

de H10 ()2 y L20 () definidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : Hh Qh R del
problema de Stokes satisface la condicion BB discreta.Ademas,

1 2 2 2 1
si u [H0 () H ()] y p L0 () H (), entonces
dist((u, p), (Hh , Qh )) 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
BB continua. Sean Hh y Qh espacios de
cumple la condicion
finita de H y Q respectivamente.
dimension
b : Hh Qh cumple la condicion
BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe
h (v) Hh tal que
b(v, qh ) = b(h (v), qh ) qh Qh , y kh (v)k kvkH .

Teorema. Sean Hh y Qh los subespacios de elementos finitos

de H10 ()2 y L20 () definidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : Hh Qh R del
problema de Stokes satisface la condicion BB discreta.Ademas,

1 2 2 2 1
si u [H0 () H ()] y p L0 () H (), entonces
dist((u, p), (Hh , Qh )) 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
BB continua. Sean Hh y Qh espacios de
cumple la condicion
finita de H y Q respectivamente.
dimension
b : Hh Qh cumple la condicion
BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe
h (v) Hh tal que
b(v, qh ) = b(h (v), qh ) qh Qh , y kh (v)k kvkH .

Teorema. Sean Hh y Qh los subespacios de elementos finitos

de H10 ()2 y L20 () definidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : Hh Qh R del
problema de Stokes satisface la condicion
BB discreta.Ademas,
1 2 2 2 1
si u [H0 () H ()] y p L0 () H (), entonces
dist((u, p), (Hh , Qh )) 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
BB continua. Sean Hh y Qh espacios de
cumple la condicion
finita de H y Q respectivamente.
dimension
b : Hh Qh cumple la condicion
BB discreta si y solo si existe
> 0 independiente de h, tal que para todo v H existe
h (v) Hh tal que
b(v, qh ) = b(h (v), qh ) qh Qh , y kh (v)k kvkH .

Teorema. Sean Hh y Qh los subespacios de elementos finitos

de H10 ()2 y L20 () definidos en la diapositiva anterior
(mini-elementos). La forma bilineal b : Hh Qh R del
problema de Stokes satisface la condicion
BB discreta.Ademas,
1 2 2 2 1
si u [H0 () H ()] y p L0 () H (), entonces
dist((u, p), (Hh , Qh )) Ch
Algunas referencias

D. B RAESS Finite elements: Theory, fast solvers and applications

in solid mechanics, cambridge University Press, 2002.
E. A LEXANDRE AND J.-L. G UERMOND, Theory and practice of
finite elements, Springer, New York, 2004.
P. C IARLET, The Finite Element Method for Elliptic Problems,
SIAM, 2002.
V. G IRAULT AND P. A. R AVIART, Finite Element Methods for
Navier Stokes Equations, Springer, New York, 1986.
P. M ONK, Finite Element Methods for Maxwells Equations,
Oxford Clarendon Press, 2003.
A. Q UARTERONI AND A. VALLI, Numerical Approximation of
Partial Differential Equations, Springer-Verlag, Berlin, 1994.
E. Z EIDLER, Nonlinear Functional Analysis and its Applications.
II/A-B, Springer-Verlag, New York, 1990.