Sobolev Presentation

Introducción Espacios de Sobolev Formulación Variacional de Problemas de Frontera
Espacios de Sobolev y La Formulación

Variacional de problemas de frontera
J. Benavides
July 3, 2012
Introducción
Motivación
Dada f ∈ C([a, b]) queremos
encontrar una solución al
siguiente problema
(
−u 00 + u = f en [a, b],
(1)
u(a) = u(b) = 0
Introducción
Motivación
siguiente problema
(
−u 00 + u = f en [a, b],
(1)
u(a) = u(b) = 0
Una solución clásica o fuerte de

(1) es una función C 2 que satisface
(1) en sentido clásico.
Introducción
Motivación
siguiente problema
(
−u 00 + u = f en [a, b],
(1)
u(a) = u(b) = 0

En muchos casos puede

resultar difícil encontrar
directamente soluciones
clásicas a problemas como (1).
Introducción
Motivación Alternativamente, si multiplicamos

Dada f ∈ C([a, b]) queremos (1) por ϕ ∈ C 1 ([a, b]) tal que
encontrar una solución al ϕ(a) = 0 = ϕ(b) e integramos por
siguiente problema partes obtenemos
(
−u 00 + u = f en [a, b], b b b
Z Z Z
(1) 0 0
u(a) = u(b) = 0
uϕ + uϕ = f ϕ. (2)
a a a


Introducción

(
−u 00 + u = f en [a, b], b b b
Z Z Z
(1) 0 0
u(a) = u(b) = 0
uϕ + uϕ = f ϕ. (2)
a a a
Una solución clásica o fuerte de Notemos que (2) tiene sentido si u

(1) es una función C 2 que satisface es C 1 , mientras (1) requiere
(1) en sentido clásico. u ∈ C 2 ([a, b]).

Introducción

(
−u 00 + u = f en [a, b], b b b
Z Z Z
(1) 0 0
u(a) = u(b) = 0
uϕ + uϕ = f ϕ. (2)
a a a
Una solución clásica o fuerte de Notemos que (2) tiene sentido si u

(1) es una función C 2 que satisface es C 1 , mientras (1) requiere
(1) en sentido clásico. u ∈ C 2 ([a, b]).
De hecho si logramos obtener una
En muchos casos puede generalización de derivada para
resultar difícil encontrar funciones en L1 , tenemos que para
directamente soluciones que (2) tenga sentido bastaría
clásicas a problemas como (1). u, u 0 ∈ L1
Debilitando las restricciones sobre u ampliamos la posibilidad

de encontrar una solución de (2). Si esta solución existe y
satisface ulteriores condiciones de diferenciabilidad, esta es
candidata a ser solución de (1).

Programa del método variacional en la teoría de las EDP

1 Se define la noción de solución débil para ecuaciones
como (1), es aquí donde de los espacios de Sobolev
resultan fundamentales.


2 Se establece la existencia y la unicidad de una solución
débil usando el metodo variacional a través del teorema de
Lax-Milgram.


Lax-Milgram.
3 Se demuestra que la solución débil es de clase C 2
(regularidad)


Lax-Milgram.
3 Se demuestra que la solución débil es de clase C 2
(regularidad)
4 Se demuestra que una solución débil de clase C 2 es una
solución clásica
Espacios de Sobolev
El Espacio de Sobolev W 1,p (I)

Sea I = (a, b) un intervalo arbitrario, no necesariamente
limitado, y p ∈ R tal que 1 ≤ p ≤ ∞. W 1,p (I) se define como
W 1,p (I) ≡ {u ∈ Lp (I) : ∃g ∈ Lp (I) tal que

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I)}.
I
Cuando p = 2 denotamos H 1 (I) = W 1,2 (I) y para u ∈ W 1,p la

función g (que es única) se denota con u 0 .
Espacios de Sobolev
El Espacio de Sobolev W 1,p (I)

Sea I = (a, b) un intervalo arbitrario, no necesariamente
limitado, y p ∈ R tal que 1 ≤ p ≤ ∞. W 1,p (I) se define como
W 1,p (I) ≡ {u ∈ Lp (I) : ∃g ∈ Lp (I) tal que

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I)}.
I
Cuando p = 2 denotamos H 1 (I) = W 1,2 (I) y para u ∈ W 1,p la

función g (que es única) se denota con u 0 .
Es claro que si u ∈ C 1 (I) ∩ Lp (I) y la derivada clásica pertenece a

Lp (I) entonces u ∈ W 1,p (I) y la derivada clásica y la derivada débil
coinciden. Si I es limitado
C 1 (I) ⊆ W 1,p (I)

Ejemplo
Consideremos la función
1
u(x) = (|x| + x)
2
en I = (−1, 1) queremos
demostrar que u ∈ W 1,p (I) para
todo 1 ≤ p ≤ ∞
Ejemplo Un candidato natural a derivada débil

de u es la función
(
1 1 si 0 < x < 1
u(x) = (|x| + x) g(x) =
2 0 si − 1 < x < 0
definida en I = (−1, 1) queremos

todo 1 ≤ p ≤ ∞

de u es la función
(
1 1 si 0 < x < 1
u(x) = (|x| + x) g(x) =
2 0 si − 1 < x < 0
definida en I = (−1, 1) queremos Es claro que ∀ϕ ∈ Cc1 (I)

todo 1 ≤ p ≤ ∞ Z 0 Z 1
0
uϕ + gϕ + uϕ0 + gϕ
−1 0
= u(0)ϕ(0) − u(0)ϕ(0) = 0
entonces I uϕ0 = I gϕ y u ∈ W 1,p
R R

de u es la función
(
1 1 si 0 < x < 1
u(x) = (|x| + x) g(x) =
2 0 si − 1 < x < 0
definida en I = (−1, 1) queremos Es claro que ∀ϕ ∈ Cc1 (I)

todo 1 ≤ p ≤ ∞ Z 0 Z 1
0
uϕ + gϕ + uϕ0 + gϕ
−1 0
= u(0)ϕ(0) − u(0)ϕ(0) = 0
entonces I uϕ0 = I gϕ y u ∈ W 1,p
R R
Analogamente se demuestra que una

función continua en I con derivada
continua por pedazos pertenece a W 1,p (I)
para todo 1 ≤ p ≤ ∞.
W 1,p esta dotado de la norma
||u||W 1,p = ||u||Lp + ||u 0 ||Lp
y H 1 = W 1,2 esta dotado del producto escalar
(u, v )H 1 = (u, v )L2 + (u 0 , v 0 )L2
• El siguiente resultado muestra porque los espacios W 1,p son

importantes en formulaciones variacionales.
W 1,p esta dotado de la norma
||u||W 1,p = ||u||Lp + ||u 0 ||Lp
y H 1 = W 1,2 esta dotado del producto escalar
(u, v )H 1 = (u, v )L2 + (u 0 , v 0 )L2
• El siguiente resultado muestra porque los espacios W 1,p son

importantes en formulaciones variacionales.
Theorem
W 1,p es un espacio de Banach para 1 ≤ p ≤ ∞, es reflexivo
para 1 < p < ∞ y separable para 1 ≤ p < ∞. H 1 es un
espacio de Hilbert separable.
Proof.
1. Sea {un } una sucesión de Cauchy en W 1,p , tenemos entonces que {un } y
{un0 } son sucesiones de Cauchy en Lp .
Proof.
Por lo tanto un → u in Lp y un0 → g in Lp y tenemos
Z Z
un ϕ0 = − un0 ϕ ∀ϕ ∈ Cc1 (I)
I I
Proof.
Z Z
un ϕ0 = − un0 ϕ ∀ϕ ∈ Cc1 (I)
I I
tomando el límite tenemos

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I),
I I
por lo tanto u ∈ W 1,p , u 0 = g y ||un − u||W 1,p → 0.

Proof.
Z Z
un ϕ0 = − un0 ϕ ∀ϕ ∈ Cc1 (I)
I I

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I),
I I

Consideremos el espacio E = Lp (I) × Lp (I) y la siguiente isometría
T : W 1,p → E t.q. T (u) = (u, u 0 )

Proof.
Z Z
un ϕ0 = − un0 ϕ ∀ϕ ∈ Cc1 (I)
I I

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I),
I I

T : W 1,p → E t.q. T (u) = (u, u 0 )
2. Para 1 < p < ∞, T (W 1,p ) es un espacio cerrado de E que es reflexivo,

por lo tanto es reflexivo y lo es tambienW 1,p .
Proof.
Z Z
un ϕ0 = − un0 ϕ ∀ϕ ∈ Cc1 (I)
I I

Z Z
uϕ0 = − gϕ ∀ϕ ∈ Cc1 (I),
I I

T : W 1,p → E t.q. T (u) = (u, u 0 )
2. Para 1 < p < ∞, T (W 1,p ) es un espacio cerrado de E que es reflexivo,

por lo tanto es reflexivo y lo es tambienW 1,p .
3. Para 1 ≤ p < ∞, E es separable por lo tanto los es T (W 1,p ) y W 1,p .
Los espacios de Sobolev W m,p (I)

Dado un entero m ≥ 2 y p ∈ R tal que 1 ≤ p ≤ ∞ definimos
W m,p (I) ≡ {u ∈ W m−1,p (I) : u 0 ∈ W m−1,p (I)}
como antes escribimos H m = W m,2 (I).


W m,p (I) ≡ {u ∈ W m−1,p (I) : u 0 ∈ W m−1,p (I)}

• Tenemos que u ∈ W m,p si existen funciones g1 , ..., gm ∈ Lp (I) tales que
Z Z
uD j ϕ = (−1)j gj ϕ ∀ϕ ∈ Cc∞ (I), j = 1, ..., m.
I i

W m,p (I) ≡ {u ∈ W m−1,p (I) : u 0 ∈ W m−1,p (I)}

• Tenemos que u ∈ W m,p si existen funciones g1 , ..., gm ∈ Lp (I) tales que
Z Z
uD j ϕ = (−1)j gj ϕ ∀ϕ ∈ Cc∞ (I), j = 1, ..., m.
I i
m,p
•W esta dotado de la norma
m
X
||u||W m,p = ||u||Lp + ||D α u||Lp
α=1
m
y H esta dotado del producto escalar
m
X
(u, v )H m = (u, v )L2 + (D α u, D α v )L2
α=1
El espacio de Sobolev W01,p (I)

Dado 1 ≤ p ≤ ∞ definimos W01,p (I) como la clausura de Cc1 (I)
en W 1,p (I). Usamos la notación H01 = W01,2 (I).
• H01 con el producto escalar heredado de H 1 es un espacio de
Hilbert separable.

Hilbert separable.
• El siguiente resultado justifica el importante rol de H01 en el
estudio de problemas de frontera como veremos.

Hilbert separable.

Hilbert separable.
Theorem
Dado u ∈ W 1,p (I), tenemos que u ∈ W01,p (I) ssi u = 0 en ∂I

Hilbert separable.
Theorem
Dado u ∈ W 1,p (I), tenemos que u ∈ W01,p (I) ssi u = 0 en ∂I
Proof.
⇒: Si u ∈ W01,p existe {un } ⊂ Cc1 (I) t.q. un → u en W 1,p (I). Por
lo tanto un converge uniformemente en I y u = 0 en ∂I.
Formulación Variacional de Problemas de Frontera
De nuevo consideremos el
problema
(
−u 00 + u = f en I = (0, 1),
u(0) = u(1) = 0,
(3)
donde f es una función continua
o en L2 .
Formulación Variacional de Problemas de Frontera
De nuevo consideremos el
problema
(
−u 00 + u = f en I = (0, 1), Definition
u(0) = u(1) = 0, Una solución débil de (3) es una
(3) función u ∈ H01 que satisface
donde f es una función continua Z Z Z
o en L2 . 0 0
u v + uv = fv ∀v ∈ H01 (I)
I I I
• Usando los espacios de (4)
Sobolev podemos dar una
definición rigurosa de solución
débil.
Theorem (Existencia e Unicidad de una solución débil)

Para toda f ∈ L2 , existe u ∈ H01 única solución de (4). u se obtiene
como el Z Z
1
Minv ∈H 1 (v 02 + v 2 ) − fv
0 2 I I
Theorem (Existencia e Unicidad de una solución débil)

Para toda f ∈ L2 , existe u ∈ H01 única solución de (4). u se obtiene
como el Z Z
1
Minv ∈H 1 (v 02 + v 2 ) − fv
0 2 I I
Proof.
La demostración se basa en el teorema de Lax-Milgram
Lemma (Teorema de Lax-Milgram)
Sea a(u, v ) una forma bilineal actuando sobre un espacio de Hilbert H,
continua (i.e ∃C t.q. |a(u, v )| ≤ C|u||v | ∀u, v ) y coerciva (i.e. ∃α > 0 t.q.
a(v , v ) ≥ α|v |2 , ∀v ). Dada τ ∈ H 0 existe un único u ∈ H t.q
a(u, v ) = τ (v ) ∀v ∈ H.
Si a es simétrica u viene caracterizado por la propiedad

1 1
a(u, u) − τ (u) = Minv ∈H a(v , v ) − τ (v )
2 2
proof (Continuación).
Aplicamos entonces el teorema de Lax-Milgram en el espacio de Hilbert
H = H01 con la forma bilineal
Z Z
a(u, v ) = u 0 v 0 + uv = (u, v )H 1
I I
y con la forma lineal Z

τ (v ) = fv .
I
Como a(u, v ) = (u, v )H 1 , entonces a es naturalmente continua y
coerciva.
proof (Continuación).
Aplicamos entonces el teorema de Lax-Milgram en el espacio de Hilbert
H = H01 con la forma bilineal
Z Z
a(u, v ) = u 0 v 0 + uv = (u, v )H 1
I I
y con la forma lineal Z

τ (v ) = fv .
I
Como a(u, v ) = (u, v )H 1 , entonces a es naturalmente continua y
coerciva.
Regularidad
Notemos que si f ∈ L2 y u ∈ H01 es una solución débil entonces dado que
Z Z
u 0 v 0 = (f − u)v ∀v ∈ Cc1
tenemos que u 0 ∈ H 1 y u ∈ H 2 . Si f ∈ C(I) entonces (f − u) = (u 0 )0 ∈ C(I)

por lo tanto u 0 ∈ C 1 y u ∈ C 2
Retorno a una solución clásica

Si u ∈ C 2 (I) es una solución de (4), integrando por partes de nuevo
obtenemos Z
(−u 00 + u − f )v = 0 ∀v ∈ Cc∞ (I).
I

obtenemos Z
(−u 00 + u − f )v = 0 ∀v ∈ Cc∞ (I).
I
Dado que Cc∞ (I)es denso en L2 (I), tenemos que −u 00 + u − f = 0

casi en todo punto, pero como u ∈ C 2 (I) la igualdad vale en todo
punto y u(0) = u(1) = 0 ya que u ∈ H01 .

obtenemos Z
(−u 00 + u − f )v = 0 ∀v ∈ Cc∞ (I).
I
Dado que Cc∞ (I)es denso en L2 (I), tenemos que −u 00 + u − f = 0

casi en todo punto, pero como u ∈ C 2 (I) la igualdad vale en todo
punto y u(0) = u(1) = 0 ya que u ∈ H01 .
• El método apenas descrito se puede aplicar a una gran variedad de

problemas y resulta muy flexible; sin embargo note que que en este
método el uso de la integración por partes resulta fundamental,
desafortunadamente no toda EDP puede ser manipulada de esta
manera para dar una definición de solución débil; en estos casos se
requiere aproximaciones alternativas (e.g. soluciones viscosas).
• Trabajamos en esta presentación el caso a dimensión uno

porque este da una perspectiva general del método variacional
y del papel de los espacios de Sobolev en este, sin embargo
podemos generalizar la definición de los espacios de Sobolev a
dominios sobre Rn y a variedades Riemannianas.
Espacios de Sobolev en Dimension n

Dado U ⊆ Rn abierto definimos
W m,p (U) = {u ∈ Lp (U) : para todo multi-indice α, |α| < m,

Z Z
|α|
p
∃gα ∈ L (U)t.q., α
uD ϕ = (−1) gα ϕ, ∀ϕ ∈ Cc∞ (U)}
U U
W01,p , H01 se definen analogamente como antes.

Problema de Dirichlet
homogeneo
Generalizando el problema
considerado anteriormente a
dimension n consideremos
U ⊆ Rn queremos entonces
hallar u : U → R que satisface
(
−∆u + u = f en U
(5)
u=0 en ∂U
Analogamente integrando por

partes obtenemos la definición
homogeneo Definition
Generalizando el problema Una solución débil de (5) es una
considerado anteriormente a función en H01 (U) que satisface
dimension n consideremos Z Z Z
U ⊆ Rn queremos entonces ∇u∇v + uv = fv
hallar u : U → R que satisface U U U
( ∀v ∈ H01 (U)
−∆u + u = f en U
(5)
u=0 en ∂U
Analogamente integrando por

partes obtenemos la definición
homogeneo Definition
Generalizando el problema Una solución débil de (5) es una
considerado anteriormente a función en H01 (U) que satisface
dimension n consideremos Z Z Z
U ⊆ Rn queremos entonces ∇u∇v + uv = fv
hallar u : U → R que satisface U U U
( ∀v ∈ H01 (U)
−∆u + u = f en U
(5)
u=0 en ∂U • Desde este punto se procede
como antes para encontrar una
solución.
Bibliografía
• H. Breziz, Functional Analysis, Sobolev Spaces and PDE’s
• L.C. Evans, Partial Differential Equations
• E. Hebey, Sobolev Spaces on Riemannian Manifolds.

Sobolev Presentation

Загружено:

Сведения о документе

Исходное описание:

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Sobolev Presentation

Загружено:

Авторское право:

Доступные форматы

Introducción Espacios de Sobolev Formulación Variacional de Problemas de Frontera

Espacios de Sobolev y La Formulación

Una solución clásica o fuerte de

Una solución clásica o fuerte de

En muchos casos puede

Motivación Alternativamente, si multiplicamos

Una solución clásica o fuerte de

En muchos casos puede

Motivación Alternativamente, si multiplicamos

Una solución clásica o fuerte de Notemos que (2) tiene sentido si u

En muchos casos puede

Motivación Alternativamente, si multiplicamos

Una solución clásica o fuerte de Notemos que (2) tiene sentido si u

Debilitando las restricciones sobre u ampliamos la posibilidad

Debilitando las restricciones sobre u ampliamos la posibilidad

Programa del método variacional en la teoría de las EDP

Debilitando las restricciones sobre u ampliamos la posibilidad

Programa del método variacional en la teoría de las EDP

Debilitando las restricciones sobre u ampliamos la posibilidad

Programa del método variacional en la teoría de las EDP

Debilitando las restricciones sobre u ampliamos la posibilidad

Programa del método variacional en la teoría de las EDP

El Espacio de Sobolev W 1,p (I)

W 1,p (I) ≡ {u ∈ Lp (I) : ∃g ∈ Lp (I) tal que

Cuando p = 2 denotamos H 1 (I) = W 1,2 (I) y para u ∈ W 1,p la

El Espacio de Sobolev W 1,p (I)

W 1,p (I) ≡ {u ∈ Lp (I) : ∃g ∈ Lp (I) tal que

Cuando p = 2 denotamos H 1 (I) = W 1,2 (I) y para u ∈ W 1,p la

Es claro que si u ∈ C 1 (I) ∩ Lp (I) y la derivada clásica pertenece a

C 1 (I) ⊆ W 1,p (I)

Ejemplo Un candidato natural a derivada débil

definida en I = (−1, 1) queremos

Ejemplo Un candidato natural a derivada débil

definida en I = (−1, 1) queremos Es claro que ∀ϕ ∈ Cc1 (I)

Ejemplo Un candidato natural a derivada débil

definida en I = (−1, 1) queremos Es claro que ∀ϕ ∈ Cc1 (I)

Analogamente se demuestra que una

W 1,p esta dotado de la norma

||u||W 1,p = ||u||Lp + ||u 0 ||Lp

y H 1 = W 1,2 esta dotado del producto escalar

(u, v )H 1 = (u, v )L2 + (u 0 , v 0 )L2

• El siguiente resultado muestra porque los espacios W 1,p son

W 1,p esta dotado de la norma

||u||W 1,p = ||u||Lp + ||u 0 ||Lp

y H 1 = W 1,2 esta dotado del producto escalar

(u, v )H 1 = (u, v )L2 + (u 0 , v 0 )L2

• El siguiente resultado muestra porque los espacios W 1,p son

tomando el límite tenemos

por lo tanto u ∈ W 1,p , u 0 = g y ||un − u||W 1,p → 0.

tomando el límite tenemos

por lo tanto u ∈ W 1,p , u 0 = g y ||un − u||W 1,p → 0.

T : W 1,p → E t.q. T (u) = (u, u 0 )

tomando el límite tenemos

por lo tanto u ∈ W 1,p , u 0 = g y ||un − u||W 1,p → 0.

T : W 1,p → E t.q. T (u) = (u, u 0 )

2. Para 1 < p < ∞, T (W 1,p ) es un espacio cerrado de E que es reflexivo,

tomando el límite tenemos

por lo tanto u ∈ W 1,p , u 0 = g y ||un − u||W 1,p → 0.

T : W 1,p → E t.q. T (u) = (u, u 0 )

2. Para 1 < p < ∞, T (W 1,p ) es un espacio cerrado de E que es reflexivo,

Los espacios de Sobolev W m,p (I)

W m,p (I) ≡ {u ∈ W m−1,p (I) : u 0 ∈ W m−1,p (I)}

como antes escribimos H m = W m,2 (I).