Professional Documents
Culture Documents
Escuela de Matemáticas
Universidad Industrial de Santander
Vol. 28, No. 2, 2010, pág. 133–152
Chillán, Chile.
Abstract. This paper deals with the study of the variational method
for partial differential equations concerning the existence, uniqueness and
regularity of the solution. The aim of this work is to give a comprehen-
sive description of the variational method, presenting examples from the
simple second order linear elliptic partial differential equations to a most
complex first order non-linear partial differential equation. Comments on
the adaptability of this method to this kind of equations are given.
Keywords: Variational formulation, weak solutions, Lax-Milgram Lemma.
0∗
Autor
para correspondencia: E-mail : acoronel@ubiobio.cl.
Recibido: 15 de septiembre de 2010, Aceptado: 12 de noviembre de 2010.
133
134 L.J. Collantes & A. Coronel
1. Introducción
[Revista Integración
Formulación variacional de EDP 135
Por otro lado, es necesario mencionar que el método variacional ha sido exi-
tosamente utilizado para crear métodos numéricos que aproximen las soluciones
débiles de EDP (para mayores detalles consultar [2]).
El trabajo se encuentra estructurado de la siguiente manera: en la sección 2 se
introduce el marco funcional necesario para explicar el método variacional, así
como para abordar la solución de ecuaciones del tipo laplaciano, EDP elípticas
generales de segundo orden lineales y una EDP hiperbólica no lineal de primer
orden; estas mismas son las que se desarrollan en las tres secciones posteriores,
respectivamente.
Notación
Ω̄ clausura de Ω
∂Ω frontera de Ω
sop (u) soporte de u
∆ operador laplaciano
∇ operador gradiente
x·y producto interno euclideano de x e y ∈ Rn
|x| norma euclideana de x ∈ Rn
kuk norma de u en espacios de Sóbolev
Lp (Ω) espacio de funciones p-integrables
L1loc (Ω) espacio de funciones localmente integrables
C(Ω) espacio de funciones continuas sobre Ω
C k (Ω) espacio de funciones k-veces continuamente
diferenciables sobre Ω
C ∞ (Ω) espacio de funciones infinitamente diferenciables sobre Ω
C0k (Ω) espacio de funciones k-veces continuamente
diferenciables con soporte compacto en Ω
∆ espacio de funciones regulares de todos los
órdenes con soporte compacto en Ω
C(Ω̄) espacio de funciones sobre Ω con extensión continua
C k (Ω̄) espacio de funciones sobre Ω con extensión k-veces
continuamente diferenciable
C ∞ (Ω̄) espacio de funciones sobre Ω con extensión regular
de todos los órdenes
C0k (Ω̄) espacio de funciones sobre Ω con extensión k-veces
continuamente diferenciable y con soporte compacto
D(Ω̄) espacio de funciones sobre Ω con extensión regular
de todos los órdenes y con soporte compacto
H m (Ω) espacio de Sóbolev W m,2 (Ω)
H01 (Ω) espacio de funciones en H 1 (Ω) con traza nula
2
Hloc (Ω) espacio de funciones en H 2 (Ω′ ) para todo abierto
acotado Ω′ ⊂ Ω
2. Marco funcional
[Revista Integración
Formulación variacional de EDP 137
la condición de Neumann
∂u
=g sobre ∂Ω ,
∂ν
donde ν es la normal unitaria exterior a ∂Ω, y la condición de Robin
∂u
αu + =g sobre ∂Ω ,
∂ν
donde α es una constante adecuada. Algunas veces razones físicas del problema
modelado motivan el considerar dos de las condiciones de borde señaladas anterior-
mente para el mismo problema; dichos problemas son conocidos como problemas
con condiciones mixtas.
a: H ×H → R
(u, v) 7→ a(u, v)
a(u, u) ≥ αkuk2H , ∀u ∈ H .
Etapa A
Se precisa lo que se entiende por solución clásica y solución débil.
Una solución clásica de (3) es una función u ∈ C 2 (Ω) que la satisface puntualmente
sobre Ω.
Una solución débil de (3) es una función u ∈ H01 (Ω) que verifica
Z Z
∇u(x) · ∇v(x) dx = f (x)v(x) dx , ∀v ∈ H01 (Ω) . (4)
Ω Ω
Como D(Ω) es denso en H01 (Ω), por continuidad se sigue que u es una solución
débil de (3).
Etapa B
Para demostrar la existencia y unicidad de la solución débil se hace uso del Teo-
rema 2.6 (de Lax-Milgram). En este caso se toma el espacio de Hilbert H como
el espacio de Sóbolev H01 (Ω). La función a : H × H → R definida explícitamente
por
Z
a(u, v) = ∇u(x) · ∇v(x) dx
Ω
es bilineal, continua, coerciva y simétrica. En efecto:
[Revista Integración
Formulación variacional de EDP 139
Z
|a(u, v)| = | ∇u(x) · ∇v(x) dx|
Z Ω
≤ |∇u(x)||∇v(x)| dx
Ω
Z 1/2 Z 1/2
2 2
≤ |∇u(x)| dx |∇v(x)| dx
Ω Ω
= kukH01 (Ω) kvkH01 (Ω) , ∀u, v ∈ H01 (Ω) .
La constante de continuidad es C = 1.
Coercividad.
Z
a(u, u) = ∇u(x) · ∇u(x) dx
ZΩ
= |∇u(x)|2 dx
Ω
= k∇uk2L2 (Ω)n
= kuk2H 1 (Ω) , ∀u ∈ H01 (Ω) .
0
La constante de coercividad es α = 1.
Z
< f, v >= f (x)v(x) dx ,
Ω
1
f 2 dx)1/2 ( g 2 dx)1/2 , ∀f, g ∈ L2 (Ω).
R R R
Desigualdad de Cauchy: Ω
f g dx ≤ ( Ω Ω
Poincaré2 se tiene
Z
| < f, v > | = | f (x)v(x) dx|
Z Ω
≤ |f (x)||v(x)| dx
Ω
Z 1/2 Z 1/2
2 2
≤ |f (x)| dx |v(x)| dx
Ω Ω
= kf kL2 (Ω) kvkL2 (Ω)
≤ Ck∇vkL2 (Ω)n
= CkvkH01 (Ω) , ∀v ∈ H01 (Ω) .
En consecuencia, como las hipótesis del teorema 2.6 se verifican, se tiene que el
problema variacional (4) tiene una única solución u ∈ H01 (Ω). Además, debido a
que a es simétrica, u es caracterizada como el mínimo sobre H01 (Ω) del funcional
de energía
1
Z
E(v) = (|∇v(x)|2 − 2f (x)v(x)) dx .
2 Ω
Etapa C
La regularidad de la solución débil es dada en el siguiente teorema
[Revista Integración
Formulación variacional de EDP 141
entonces
Z
{∆u(x) + f (x)}ϕ(x) dx = 0 , ∀ϕ ∈ D(Ω) ,
Ω
de donde, por la regularidad supuesta para u, se obtiene
−∆u(x) = f (x) en Ω,
y por lo tanto u es una solución clásica de (3).
Ejemplo 3.3. Sean Ω ⊂ Rn un abierto acotado de clase C 1 y f ∈ L2 (Ω). El
problema no homogéneo es encontrar u : Ω → R tal que
−∆u = f en Ω
(5)
u = g sobre ∂Ω ,
donde g ∈ L2 (∂Ω).
Para estudiar este problema se puede aplicar el método variacional verificando
cada una de las etapas A hasta D paso a paso. Sin embargo existe una forma
práctica y rápida de hacerlo. Esto es que mediante un cambio de variable el
problema 5 puede ser reducido al problema 3.
Una solución débil de (5) es una función u ∈ H 1 (Ω) que verifica
Z Z Z
∇u(x) · ∇v(x) dx = f (x)v(x) dx − g(x)v(x) dS, ∀v ∈ H 1 (Ω) . (6)
Ω Ω ∂Ω
Por el teorema de trazas existe g̃ ∈ H 1 (Ω) de tal manera que el operador de trazas
γ0 es tal que γ0 (g̃) = g; entonces, si se define w como
w = u − g̃ ,
se tiene que u es una solución clásica (débil) de (5) si y sólo si w es una solución
clásica (débil) de
−∆w = f˜ en
Ω
(7)
w = 0 sobre ∂Ω ,
donde f˜ = f + ∆g̃.
Como conclusión se tiene que existe una única u ∈ H 1 (Ω) que es solución débil
de (5) y tal que u = w + g̃, donde w es la solución débil de (7).
En los dos ejemplos anteriores se ha estudiado la EDP conocida como ecuación
de Poisson con condiciones de frontera del tipo Dirichlet. Para variar un poco
y mostrar la efectividad y adaptabilidad del método variacional, en el siguiente
ejemplo se estudia una ecuación del tipo laplaciano, con condiciones de frontera
del tipo Neumann.
H = H 1 (Ω) ,
Z Z
a(u, v) = ∇u · ∇ϕ dx + uϕ dx ,
ZΩ Ω
< f, v > = f v dx .
Ω
[Revista Integración
Formulación variacional de EDP 143
Como conclusión de esta etapa se tiene entonces que existe una única solución
débil u ∈ H 1 (Ω) del problema (8).
Etapa C
La regularidad de la solución será vista en el Teorema 4.4.
Etapa D
Sea u ∈ H 1 (Ω) una solución débil de (8) y supóngase además que u ∈ C 2 (Ω).
Por un lado u satisface (9) con ϕ ∈ D(Ω); al integrar por partes se obtiene
Z Z Z
∂u
(−∆u + u)ϕ dx + ϕ dS = f ϕ dx , ∀ϕ ∈ D(Ω) . (10)
Ω ∂Ω ∂ν Ω
lo cual implica
−∆u + u = f en Ω . (11)
Por otro lado, de (9) con ϕ ∈ C01 (Ω) al integrar por partes se tiene
Z Z Z
∂u
(−∆u + u)ϕ dx + ϕ dS = f ϕ dx , ∀ϕ ∈ C01 (Ω) .
Ω ∂Ω ∂ν Ω
En esta sección se verá la aplicación del método variacional a una EDP Elíptica
lineal general de segundo orden. Se tratará solamente el caso de condición de fron-
tera Dirichlet, puesto que el caso de frontera Neumann necesita de herramientas
del Análisis Funcional que no están previamente definidas y que entran en un
tecnicismo que oscurece la presentación explícita del método variacional.
n Xn
X ∂ ∂ ∂
donde L = aij + ai + a0 es un operador uniformemente
∂xj ∂xi ∂xi
i,j=1 i=1
elíptico.
Etapa A
Una solución débil de (14) es una función u ∈ H01 (Ω) que verifica
n
Z X n
Z X
∂u ∂v ∂u
aij dx + ai v dx (15)
Ω i,j=1 ∂xi ∂xj Ω i=1 ∂xi
Z Z
+ a0 uv dx = f v dx , ∀v ∈ H01 (Ω) .
Ω Ω
H = H01 (Ω) ,
Z X n Z X n Z
∂u ∂v ∂u
a(u, v) = aij dx + ai v dx + a0 uv dx ,
Ω i,j=1 ∂xi ∂xj Ω i=1 ∂xi Ω
Z
< f, v > = f v dx .
Ω
Pero resulta que aunque a es bilineal y continua no siempre es coerciva, tal como
lo establece el siguiente lema.
[Revista Integración
Formulación variacional de EDP 145
Lema 4.2. a : H01 (Ω) × H01 (Ω) → R es una forma bilineal continua, y además
n
!1/2 Z !1/2
∂u 2 ∂v 2
X Z
≤ kaij kL∞ (Ω) ∂xi dx
∂xj dx
i,j=1 Ω Ω
n
!1/2 Z
∂u 2
X Z 1/2
2
+ kai kL∞ (Ω)
dx
|v| dx
Ω ∂xi
i=1 Ω
Z 1/2 Z 1/2
2 2
+ ka0 kL∞ (Ω) |u| dx |v| dx
Ω Ω
n
X
≤ kaij kL∞ (Ω) k∇ukL2 (Ω)n k∇vkL2 (Ω)n
i,j=1
Xn
+ kai kL∞ (Ω) k∇ukL2 (Ω)n kvkL2 (Ω)
i=1
+ ka0 kL∞ (Ω) kukL2 (Ω) kvkL2 (Ω)
Xn
≤ kaij kL∞ (Ω) k∇ukL2 (Ω)n k∇vkL2 (Ω)n
i,j=1
n
X
+ C1 kai kL∞ (Ω) k∇ukL2 (Ω)n k∇vkL2 (Ω)n
i=1
+ C2 ka0 kL∞ (Ω) k∇ukL2 (Ω)n k∇vkL2 (Ω)n
≤Ck∇ukL2 (Ω)n k∇vkL2 (Ω)n
=CkukH01 (Ω) kvkH01 (Ω) , ∀u, v ∈ H01 (Ω) .
se tiene
Z Z
2 θ
θ |∇u| dx ≤ a(u, u) + |∇u|2 dx
Ω 2 Ω
n
!Z
1 X
+ kai kL∞ (Ω) + ka0 kL∞ (Ω) |u|2 dx ;
4ǫ Ω
i=1
entonces
n
!Z
1 X
Z
θ 2
|∇u| dx ≤ a(u, u) + kai kL∞ (Ω) + ka0 kL∞ (Ω) |u|2 dx .
2 Ω 4ǫ Ω
i=1
Tomando
n
θ 1 X
α= y γ= kai kL∞ (Ω) + ka0 kL∞ (Ω)
2 4ǫ
i=1
[Revista Integración
Formulación variacional de EDP 147
donde a(u, v) es la forma bilineal dada en el Lema 4.2 y < u, v > es el producto
interno canónico de L2 (Ω), y tomando γ como en el Lema 4.2, se tiene que
Así las hipótesis del Teorema de Lax-Milgram se satisfacen, por lo cual se concluye
que el problema (17) tiene una única solución débil u ∈ H01 (Ω). X
2 (Ω) y
entonces u ∈ Hloc
lo cual al pasar a una igualdad puntual nos permite decir que efectivamente u ∈
H01 (Ω) ∩ C 2 (Ω) es una solución clásica de (14).
La ecuación diferencial
u2
∂u ∂
+ = 0 sobre R × R+ , (18)
∂t ∂x 2
donde se busca u = u(x, t), es conocida como la ecuación de Burger, a veces escrita
en la forma
∂u ∂u
+u = 0.
∂t ∂x
Este es uno de los problemas más simples de EDP no lineal de primer orden que
justifica el estudio variacional de la solución, porque dependiendo de la condición
inicial, esta ecuación diferencial no tiene soluciones clásicas, como sucede por
ejemplo si se considera como condición inicial la función
1 x < 0,
u(x, 0) = (19)
0 x > 0.
[Revista Integración
Formulación variacional de EDP 149
u
u=1
t
2x
t =u = 0
x
Figura 1. Solución del Problema de Riemann (18)-(19) para t 6= 2x.
Para demostrar que toda solución clásica de (18)-(20) es una solución débil del
mismo problema, sea ϕ ∈ D(R × R+ ) tal que sop (ϕ) ⊂ DRa , Ra ∈ R+ , donde
DRa = {(x, t) : 0 < t ≤ T, |x| ≤ Ra}
(ver Figura 2). Multiplicando (18) por ϕ e integrando sobre R × R+ se tiene
∂ u2
Z Z
∂u
0 = + ϕ (x, t) dt dx
R R+ ∂t ∂x 2
Z Ra Z T Z Ra Z T
∂ u2
∂u
= ϕ (x, t) dt dx + ϕ (x, t) dt dx
−Ra 0 ∂t −Ra 0 ∂x 2
= I1 + I2 .
Luego, al integrar por partes, reemplazar las condiciones iniciales (20) y utilizar
el hecho que ϕ ∈ D(R × R+ ), se tiene
Z Ra t=T Z Ra Z T
∂ϕ
I1 = (uϕ)(x, t) dx − u (x, t) dt dx
−Ra t=0 −Ra 0 ∂t
Z Ra Z Ra Z T
∂ϕ
= −u0 (x)ϕ(x, 0) dx − u (x, t) dt dx ,
−Ra −Ra 0 ∂t
Z T 2 x=a Z aZ T 2
u u ∂ϕ
I2 = ϕ (x, t) dt − (x, t) dt dx
0 2 x=−a −a 0 2 ∂t
Z aZ T 2
u ∂ϕ
= − (x, t) dt dx .
−a 0 2 ∂t
sop(ϕ )
x
x=-a x=a
Etapa B
La existencia de la solución débil es clara debido a que está dada explícitamente
por
ul σx < t ,
u(x, t) =
ur σx > t ,
y la unicidad se garantiza en virtud del teorema de Kruzǩov, ver [4, 5]. El aspecto
principal para la demostración de la unicidad en ecuaciones del tipo en estudio
para este caso es la incorporación de una condición adicional a la definición de
solución débil, llamada condición de entropía. Para mayores detalles se puede
consultar [4, 6].
Etapa C
Esta etapa es una de las más difíciles en problemas no lineales. Para el caso, y
debido a la analiticidad de u, se tiene que la solución débil u ∈ L1loc (R × R+ ),
[Revista Integración
Formulación variacional de EDP 151
para una condición inicial u0 ∈ L1loc (R). Para mayores detalles y problemas más
generales relacionados con la ecuación consultar [6].
Etapa D
Se supone que u es una solución débil de (18)-(20) y u ∈ C 1 (Dl ). Utilizando el
hecho de que ϕ tiene soporte compacto en Dl , y después de integrar por partes la
igualdad dada en la definición 5.2, se tiene
Z Z σx
∂ u2
∂u
( + )ϕ (x, t) dx dt = 0 , ∀ϕ ∈ D(Dl ) ,
R+ 0 ∂t ∂x 2
lo que implica
u2
∂u ∂
+ =0 sobre Dl . (21)
∂t ∂x 2
Ahora, multiplicando (21) por ϕ ∈ D(Dl ) e integrando por partes sobre Dl , se
obtiene
Z Z σx Z 0
∂ϕ u2 ∂ϕ
(u + )(x, t) dx dt + u(x, 0)ϕ(x, 0) dx = 0, ∀ϕ ∈ D(Dl ) .
R+ 0 ∂t 2 ∂x −∞
6. Conclusiones
Agradecimientos
Referencias
[1] Brézis H., Análisis Funcional, Alianza Editorial, Madrid, 1984.
[2] Ciarlet P.G., The Finite Element Method for Elliptic Problems, North-Holland, Amster-
dam, 1978.
[3] Evans L., Partial Differential Equations, American Mathematical Society, Rhode Island,
1998.
[4] Godlewski E. and Raviart P.A., Hyperbolic Systems of Conservation Laws, Mathematiques
& Applications, France, 1991.
[5] Kružkov S.N., “First order quasilinear equations in several independent variables”, Math.
USSR-Sb., 10 (1970), 217–243.
[6] Smoller J., Shock Waves and Reaction-Diffusion Equations, Springer-Verlag, New York,
1983.
[Revista Integración