Analisis Funcional

Rafael Ordonez Cardales

Ciclo: I 2016
Tarea I

Universidad de Concepcion
Departamento de Ingeniera Matematica
Doctorado en Ciencias Aplicadas con mencion en Ingeniera Matematica

1. Sea un abierto acotado de R2 con frontera suave , y sea f [L()]2 . El

Problema de Navier-Stokes, un problema de suma importancia en mecanica de
fluidos, consiste en encontrar un vector de velocidades u := (u1 , u2 )t y la presion
p de un fluido, tales que
u +

2
X
j=1

uj

u
+ p = f
xj

en

divu = 0

en

,
(1)

Z
u=0

p dx = 0.

en



R
Defina los espacios H := [H10 ()]2 , Q := L20 () := q L2 () : q dx = 0 , y
demuestre que la formulacion debil de (1) se reduce a encontrar (u, p) H Q
tales que:
v H

a(u; u, v) + b(v, p) = f (v)

(2)
b(u, q) = 0

q Q,

donde a : H H H R, b : H Q R, y f : H R, estan definidas por

a(w; u, v) :=

2 Z
X

ui vi dx +

i=1

2 Z
X

b(v, p) :=

i,j=1

wj

ui
vi dx,
xj

Z
p divvdx,

f v dx.

f (v) =

Solucion. Sea un abierto acotado de R2 con frontera suave , y sea f [L()]2 .

Multiplicando la ecuacion (1) por una funcion test v := (v1 , v2 ) H obtenemos

!
Z
Z
2
X
u
f v dx
+ p v dx =
u +
uj
xj

j=1
!
Z
Z
Z
Z
2
X
u
uj
u v dx +
v dx + p v dx =
f v dx. (3)
x
j

j=1
Si := (1 , 2 )t , el vector normal unitario exterior a , entonces aplicando la
primera identidad de GREEN resulta
Z
Z
Z
u
u v dx
u v dx =
v ds,

Debido a que v H, la ecuacion (4) se reduce a
Z
Z
2 Z
X
ui vi .
u v dx =
u v dx =

i=1

(4)

(5)

Por otro lado, aplicando la formula de integracion por partes se obtiene


Z 
Z
Z
Z
p p
p
p
p v dx =
,
(v1 , v2 ) dx =
v1 dx +
v2 dx
x1 x2

x1
x2
Z
Z
Z
Z
v1
v2
= p
dx + pv1 1 ds p
dx + pv2 2 ds
x1

x2

!
Z
Z
2
X
vi
p
=
dx + p(v1 1 + v2 2 ) ds
xi

i=1
Z
Z
p divv dx + pv ds,
=

por lo tanto
Z

Z
p v dx =

p divv dx.

(6)

Reemplazando (6) y (5) en (3) se concluye que

!
Z
Z
Z
2 Z
2
X
X
u
ui vi +
uj
v dx + p divv dx =
f v dx
xj

i=1
j=1
Z
Z
Z
2 Z
2
X
X
ui
ui vi +
uj
uj
vi dx + p divv dx =
f v dx.
x
j

i=1
i,j=1
3

Teniendo en cuenta esta ultima ecuacion definimos

2 Z
2 Z
X
X
ui
a(w; u, v) :=
ui vi dx +
wj
vi dx,
xj
i=1
i,j=1
Z
Z
b(v, p) := p divvdx, f (v) =
f v dx.

Finalmente, debido a que

p dx = 0 y divu = 0, entonces p Q y
Z
b(u, p) = p divu dx = 0

Por consiguiente b(u, q) = 0 para todo q Q. Con esto hemos demostrado que la
formulacion debil de (1) se reduce a encontrar (u, p) H Q tales que se cumpla
(2)
2. Dado abierto de Rn y p [1, +), se define


Z
p
p
|f | dx < .
L () := f : R : f medible y

Puede probarse que Lp (), provisto de la norma kf kLp () :=

un espacio de Banach. Ademas f Lp () y g Lq (), con

R
1
p

|f |p dx

1
q

1/p

es

= 1, se tiene

la desigualdad de Holder
Z
|f g| dx kf kLp () kgkLq () .

Entonces, dado m N se define el Espacio de Sobolev de orden (m, p), como

Wm,p () := {u D0 () : u Lp () , || m} ,
el cual se provee de la norma kukWm,p () :=
que Wm,p () es un espacio de Banach.

nP

||m k ukLp ()

o1/p

. Demuestre

Solucion. Antes de darle solucion al ejercicio anterior primero probaremos el siguiente lema que sera de mucha utilidad
Lema. 1 Sean NN , {un }nN y u, v Lp () tales que un u y un v
en Lp (). Entonces u = v . En efecto. Sea un multindice y u C|| (),
entonces aplicando la integracion por partes || veces resulta
h u, i = (1)|| hu, i.

D()

Luego
h u, i = (1)|| hu, i
= (1)|| h lm un , i
n

= lm (1)|| hun , i
n

= lm h un , i
n

= h lm un , i
n

= hv , i
Por lo tanto h u, i = hv , i, para todo D(). Esto demuestra que
u = v .
Continuemos con la solucion del ejercicio propuesto. Para ello considere {vn }nN
una secesion de Cauchy en Wm,p (), entonces
kvn vk kpWm,p () 0

cuando

n, k .

Luego
X

k vn vk kpLp () 0

||m

cuando

n, k .

(7)



Sea X := NN : || m . Entonces (7) implica que
k vn vk kLp () 0

cuando

n, k ,

es decir { vn } es de Cauchy en Lp () para todo X .

Debido a que Lp () un espacio de Banach, entonces para todo X existe un
v Lp () tal que
k vn v kLp () 0

cuando

n .

(8)

Finalmente, sea v Lp () tal que vn v en Lp (). Entonces aplicando el

Lema 1 junto con (8) resulta
kv vn kpWm,p () =

k v vn kpLp ()

||m

kv vn kpLp () 0

||m

Por lo tanto kv vn kpWm,p () 0

cuando

n . Esto demuestra que

el Espacio de Sobolev de orden (m, p) es de Banach