You are on page 1of 10

AMARUN

www.amarun.org

Comisi
on de Pedagoga - Diego Chamorro
Ecuaciones en Derivadas Parciales (Nivel 3).

Lecci
on n 2: Introducci
on a las Ecuaciones en Derivadas Parciales

UPS, julio 2015

Indice
1. Primeras Definiciones

2. Ejemplos de E.D.P.s

3. Herramientas Indispensables
3.1. Teoremas clasicos de teora de la medida . . . . . . . . . . . . .
3.2. Espacios de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . .
3.3. El producto de Convoluci
on . . . . . . . . . . . . . . . . . . . .
3.4. La transformada de Fourier . . . . . . . . . . . . . . . . . . . .
3.5. Calculo Vectorial, cambio de variables y algunas formulas u
tiles

4
4
5
6
7
8

1.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

Primeras Definiciones
Sea un abierto, no necesariamente acotado de Rn , con n 1. Si u : R es una funcion, diremos que
la expresion
F (Dk u(x), Dk1 u(x), , Du(x), u(x), x) = 0,
con x ,
(1)
es una ecuaci
on en derivadas parciales (E.D.P.) de orden k, donde F : Rk+1 R es una cierta
aplicacion.

= La inc
ognita de este problema est
a dada por la funcion u.
= Resolver esta E.D.P. consiste en encontrar todas las funciones u que verifican (1) bajo cierto tipo de hip
otesis
adicionales (ciertas condiciones iniciales o cierto comportamiento en el borde del conjunto de estudio ).
En lo ideal se buscan soluciones explcitas y que se puedan respresentar por medio de formulas simples. Pero
este no es casi nunca el caso y se busca entonces obtener otro tipo de resultados como:
existencia,
unicidad,
regularidad,
dependencia con respecto a ciertos par
ametros,
. . . y todo tipo de propiedades adicionales.

Un poco de orden (1)


En funcion de ciertas propiedades, es posible dar una cierta clasificacion de las E.D.P.s.

Si la ecuacion en derivadas parciales tiene la forma


X
a (x)D u(x) = f (x),
||k

en donde es un multi-ndice, entonces diremos que la ecuacion es lineal.


Si ademas se tiene que f = 0, diremos que la ecuacion es homogenea.
Si se tiene
X

a (x)D u(x) + a0 (Dk1 u, , Du, u, x) = 0,

||=k

diremos entonces que la ecuaci


on es semi-lineal.
Diremos que la ecuaci
on es cuasi-lineal si puede escribirse como
X
a (x)(Dk1 u, , Du, u, x)D u(x) + a0 (Dk1 u, , Du, u, x) = 0,
||=k

Esta clasificacion toma en cuenta la linealidad de las ecuaciones en relacion al mayor grado de las derivadas.

Un poco de orden (2)


En el caso de ecuaciones en derivadas parciales de orden 2, se tiene la siguiente clasificacion.
Sea u : R Rn R una funci
on. Consideramos ahora las ecuaciones en derivadas parciales de la siguiente
forma:
2u
2u
2u
u
u
A 2 +B
+C 2 +D
+E
+ Fu = 0
t
tx
x
t
x
en donde A, B, C, D, E y F son constantes.
si B 2 4AC < 0, diremos que la ecuacion es elptica. La ecuacion de Laplace
2u 2u
+ 2 = 0,
t2
x
es una ecuaci
on elptica.
si B 2 4AC = 0, diremos que la ecuacion es parab
olica. La ecuacion del calor
u 2 u
2 = 0,
t
x
es una ecuaci
on parab
olica.
si B 2 4AC > 0, la ecuaci
on es hiperb
olica. La ecuacion de ondas
2u 2u
2 = 0,
t2
x
es un ejemplo de ecuaciones de este tipo.
En este curso estudiaremos algunos ejemplos de estas ecuaciones.
= Es muy importante recalcar que no existe un metodo universal que permita estudiar todas las ecuaciones en
derivadas parciales.

= Cada tipo de ecuaci


on tiene sus propios metodos y tecnicas.

2.

Ejemplos de E.D.P.s

Vamos a presentar ahora algunas ecuaciones en derivadas parciales, no todas ellas seran estudiadas en este
curso introductorio, pero vale la pena presentarlas para mostrar la riqueza de este campo de las matem
aticas.
Ecuaciones Lineales
Ecuacion de Laplace (matem
atico frances, 1749-1827) : sea u : Rn R una funcion de n variables.
Definimos el operador Laplaciano de una funcion por
u =

n
X
2
2 u.
x
i
i=1

La ecuacion de Laplace es entonces


u = 0.
Las funciones que verifican esta ecuaci
on son llamadas funciones arm
onicas.
Ecuacion de Helmholtz (fsico alem
an 1821-1894): si u : Rn R es una funcion de n variables y si es
una constante no nula, entonces la ecuaci
on de Helmholtz es
u = u.
Ecuacion de transporte: si bi son constantes positivas con i = 1, . . . , n y si u : R Rn R es una funci
on
en las variables (t, x), podemos modelizar el transporte por medio de la ecuacion
t u +

n
X

bi xi u = 0.

i=1

Ecuacion del Calor: si u : R Rn R es una funcion en las variables (t, x), es posible modelizar la diffusi
on
del calor usando la ecuaci
on
t u u = 0.
Ecuacion de Schrodinger (fsico austraco 1887-1961): esta ecuacion describe la evolucion temporal de partculas en mecanica cu
antica. De forma (muy) simplificada, esta ecuacion puede escribirse de la siguiente forma:
it u + u = 0.
Ecuacion de Ondas: si u : R Rn R es una funcion en las variables (t, x), la ecuacion que describe el
movimiento de ondas (luz, ondas de radio, olas, etc.) esta dada por
t2 u u = 0.
Ecuaciones No Lineales
Ecuacion de la Eikonal: si u : Rn R es una funcion, esta ecuacion esta dada por
|u| = 1.
Ecuacion del p-Laplaciano: si a(x1 , x2 ) = (a1 (x1 , x2 ), a2 (x1 , x2 )) es un vector, la divergencia de a est
a dada
por div(a) = x1 a1 + x2 a2 . Si u : Rn R es una funcion, esta ecuacion esta dada por la expresi
on:
div(|u|p2 u) = 0,
donde 0 < p < +.
3

Ecuacion de Korteweg - de Vries (matem


aticos holandeses 1895): si u : R R R es una funci
on,
entonces
t u + ux u + x3 u = 0.
Ecuacion quasi-geostr
ofica: si u : R R2 R, esta ecuacion que proviene de la metereologa se escribe de
esta forma:

t u + (uV ) + u = 0.
en donde V = (R2 u, R1 u) es la velocidad del transporte que esta definida en funcion de u por medio de las
transformadas de Riesz Ri .
Ecuaciones de Navier-Stokes: sea ~u : R+ R3 R3 una funcion tal que div(~u) = 0. Entonces se tiene:
t ~u + ~u ~u ~u + ~
p=0

Esta no es mas que una peque


nsima lista de ecuaciones en derivadas parciales y cada una de estas ecuaciones ha
sido (y sigue siendo) fuente de estudio para miles de matematicos alrededor del mundo pues a
un hay muchsimos
problemas que estan abiertos (inclusive ciertos puntos que podran considerarse sencillos como la existencia o la
unicidad).
Cada ecuacion, al disponer de una estructura propia, es estudiada usando tecnica adecuadas y buscar un
metodo general de resoluci
on para todas estas ecuaciones no tiene sentido.

3.

Herramientas Indispensables

En esta seccion hacemos un r


apido recuento de lo que hay que saber para poder estudiar algunas ecuaciones
en derivadas parciales.

3.1.

Teoremas cl
asicos de teora de la medida

Si bien algunas de estas nociones no apareceran inmediatamente en nuestra primera exposicion de ecuaciones en derivadas parciales, es necesario exponer algunos resultados relacionados con la teora de la medida general.
Teorema 1 (Teorema de la convergencia dominada de Lebesgue) Sea (X, A , ) un espacio medido
y sean f una funci
on y (fn )nN una sucesi
on de funciones, ambas A -medibles definidas sobre X a valores
en R o C. Hacemos las siguientes hip
otesis:
1) para -casi todo x X se tiene lm fn (x) = f (x),
n+

on |fn (x)| g(x)


2) existe una funci
on integrable g : X R o C tal que se tenga, para todo n, la estimaci
-casi en todas partes en X.
Entonces f es una funci
on integrable y
Z
lm

n+ X

Z
fn (x)d(x) =

f (x)d(x)
X

(2)

Teorema 2 (Continuidad con respecto a un par


ametro) Sea (X, A , ) un espacio medido y sea
(E, d) un espacio metrico. Sea f : X E K una funci
on que verifica las tres condiciones siguientes:
1) para todo t E la funci
on x 7 f (x, t) es medible,
2) para -casi todo x X la funci
on t 7 f (x, t) es continua en el punto t0 ,
3) en -casi todas partes existe una funci
on -integrable g : X K tal que para todo t E se tiene la
estimaci
on
|f (x, t)| g(x)
Entonces, la funci
on definida por
: E K
Z
t 7 (t) =

f (x, t)d(x)

(3)

es continua en el punto t0 .
Teorema 3 (Derivaci
on bajo el signo integral) Sea (X, A , ) un espacio medido y sea I un intervalo
abierto de R. Sea f : X I K una funci
on y suponemos que existe N un conjunto de -medida nula
tales que
1) para todo t I la funci
on x 7 f (x, t) es integrable,
2) la derivada parcial

f
t (x, t)

existe en todo punto x X 0 I en donde notamos X 0 = X \ N .

3) existe una funci


on integrable g : X 0 K tal que para todo x X 0 se tiene



f
(x, t) |g(x)| en -casi todas partes.

t
Entonces, la funci
on definida por
: I K
Z
t 7
f (x, t)d(x)
X

es derivable y se tiene
d
(t) =
dt

3.2.

Z
X

f
(x, t)d(x).
t

(4)

Espacios de Lebesgue
Definici
on 1 Sea f : Rn Rm una funci
on y sea 1 p < + un real. Definimos al espacio de Lebesgue
p
n
L (R , Rm , dx) como el conjunto de funciones medibles f tal que
Z

kf kLp =

|f (x)| dx

1/p
< +.

Rn

Si p = + definimos el espacio L (Rn , Rm , dx) como el conjunto de funciones medibles tales que
kf kL = sup ess|f (x)| < +.
xRn

Estos son espacios de base y servir


an para definir al resto de espacios funcionales.
Algunas propiedades de estos espacios:
Invariancia por traslaci
on: si Rn es un vector, entonces para todo 1 p +:
kf ( + )kLp = kf kLp .
Homogeneidad, si > 0 es un real y si notamos f (x) = f (x) entonces para todo 1 p +:
kf kLp = n/p kf kLp .
Son espacios de Banach: espacios vectoriales normados completos y toda sucesion de Cauchy es convergente,
esta es una propiedad fundamental para pasar al lmite.
Proposici
on 1 (Desigualdades importantes)
1) Desigualdad de H
older: si f, g : Rn R dos funciones medibles y si f Lp (Rn ) y g Lq (Rn )
con 1 p, q + y tales que p1 + 1q = 1, entonces se tiene la desigualdad:
Z
|f (x)g(x)|dx kf kLp kgkLq
Rn

2) Desigualdad de Tchebychev: sea f : Rn R una funci


on tal que f Lp (Rn ) con 1 p < +.
Entonces, para todo > 0 se tiene la desigualdad


{x X : |f (x)| > } 1/p 1 kf kLp

3) Desigualdad de Interpolaci
on: sea f : Rn R una funci
on tal que f L1 (Rn ) y f L (Rn ),
p
n
entonces f L (R ) para todo 1 < p < + y se tiene adem
as la desigualdad
1/p

11/p

kf kLp kf kL1 kf kL

Teorema 4 (de diferenciaci


on de Lebesgue) Para toda funcion localmente integrable sobre Rn tenemos
Z
1
lm
f (y)dy = f (x).
(5)
r0 |B(x, r)| B(x,r)
para casi todo x Rn .

3.3.

El producto de Convoluci
on

Presentamos ahora una herramienta fundamental del analisis:


Definici
on 2 (Producto de convoluci
on) Sean f, g : Rn R dos funciones medibles. Definimos el
producto de convoluci
on entre f y g, notado f g por la expresi
on:
Z
f g(x) =
f (y)g(x y)dy
Rn

Algunas propiedades importantes:

Proposici
on 2 Sean f, g, h : Rn R funciones medibles.
se tiene f g(x) = g f (x) (comutatividad) y se tiene (f + g) h = f h + g h
hay que tomar precauciones al definir el producto de convoluci
on, de gran importancia es la desigualdad de Young:
1
1 1
kf gkLp kf kLq kgkLr
con 1 + = + .
p
q r
el espacio (L1 (Rn ), ) es una a
lgebra de Banach pues se tiene kf gkL1 kf kL1 kgkL1 .
se tiene siempre, para todo 1 p +, las desigualdades
kf gkLp kf kLp kgkL1
Proposici
on 3 (Propiedad Fundamental) Sean f, g : Rn R funciones medibles y sea g C (Rn ).
Se tiene

f g)(x) = f g (x)
Es decir, al hacer el producto de convoluci
on entre una funci
on f (que no tiene por que ser regular) con
una funci
on g que si es regular, se obtiene una funci
on regular. Dicho de otra manera, el hecho de hacer un
producto de convoluci
on con una funci
on regular permite ganar en regularidad.
Esta propiedad sera de gran utilidad cuando estudiemos algunas propiedades de las ecuaciones en derivadas
parciales: en efecto, veremos c
omo el producto de convolucion permite suavizar las funciones que intervienen en
estas ecuaciones de manera que podremos justificar matematicamente cada uno de los terminos y etapas de los
teoremas.

3.4.

La transformada de Fourier

La transformada de Fourier es una de las herramientas mas poderosas en el analisis de las ecuaciones en derivadas parciales.
Definici
on 3 (Transformada de Fourier) Sea f : Rn R una funci
on integrable. Definimos su transformada de Fourier fb por medio de la expresi
on:
Z
b
f () =
f (x)eix dx
Rn

Ejemplo: en una dimensi


on f (x) = ex 1[0,+[ (x), entonces fb() =

1
1+i .

Ejercicio: calcular la transformada de Fourier de la funcion f (x) = 1[1,1] (x) y obtener fb() =

2 sin()
.

El exito de la transformada de Fourier en el estudio de las ecuaciones en derivadas parciales se explica por
el hecho que esta operaci
on permite transformar las derivadas en la multiplicacion por polinomios en el sentido
siguiente:
Proposici
on 4 (Una Propiedad b
asica) Sea f : Rn R una funci
on integrable y suficientemente
regular a soporte compacto. Entonces se tienen las relaciones:
b
d
xj f () = ij f ()
c () = ||2 fb()
en particular se tiene f

Definici
on 4 (Transformada de Fourier inversa) Sea f : Rn R una funci
on integrable. Si su transformada de Fourier fb es una funci
on integrable, entonces se tiene la f
ormula de inversi
on de Fourier:
Z
1
f (x) =
fb()eix d
(2)n Rn
Cuando se conjuga la transformada de Fourier con los espacios de Lebesgue se obtiene un resultado muy interesante.
Teorema 5 (F
ormula de Plancherel) Sea f : Rn R una funci
on de cuadrado integrable. Entonces
la transformada de Fourier es un isomorfismo isometrico en el espacio L2 (Rn ) y se tiene
kf kL2 (Rn ) = kfbkL2 (Rn )
Observaci
on 1 Es muy importante notar que el espacio L2 es el u
nico espacio Lp que verifica esta identidad.

3.5.

C
alculo Vectorial, cambio de variables y algunas f
ormulas u
tiles

Regla de la Cadena
Si f : A B y g : B C son dos funciones derivables donde A, B, C son subconjuntos de la recta real,
se tiene la formula:
(g f )0 = (g 0 f )f 0 .
En varias dimensiones se tiene lo siguiente, si A = Rn , B = Rm y C = Rp , si notamos
f (x) = (f1 (x), . . . , fm (x)),

g(y) = (g1 (y), . . . , gp (y))

y
(g f )(x) = h(x) = (h1 (x), . . . , hp (x)),
entonces se tiene

X gi
hi
fk
(a) =
(f (a))
(a).
xj
yk
xj
k=1

Ejemplo: sea f (x1 , x2 ) = (2x2 + 3x2 , x1 + 2x2 ) con (x1 , x2 ) R2 y g(y1 , y2 ) = (cos(y1 ), sin(y2 )) con y1 , y2 R2 . Si
definimos h = g f , tenemos x1 h = 2 sin(2x1 + 3x2 ) + cos(x1 + 3x2 ).
Cambio de variable
Sea f : Rn R una funci
on integrable, entonces se tiene
Z

f (x)dx =
Rn

f dS
0

d,

B(x0 ,)

para todo punto x0 Rn .


En particular, se tiene

!
f dx

Z
=

B(x0 ,)

f dS,
B(x0 ,)

para todo > 0.


Los cambios de coordenadas son muy u
tiles cuando se estudia las invariancias de ciertos operadores diferenciales
y las coordenadas polares nos permitir
an realizar varios calculos de forma directa.

F
ormula de Gauss-Green
Si Rn es un conjunto abierto acotado y si C 1 , en cada punto del borde es posible definir el vector
normal exterior = (1 , . . . , n ).
entonces escribiremos
Si u : Rn R es una funci
on tal que u C 1 (),
u
= u,

para designar la derivada normal exterior de u. Con estas notaciones podemos enunciar un resultado de gran
utilidad.
Teorema 6 (F
ormula de Gauss-Green) Sea Rn un subconjunto abierto y acotado. Sea u : Rn
Entonces
R una funci
on tal que u C 1 ().
Z
Z
ui dS,
xi udx =

donde dS es la medida superficial y i = 1, . . . , n.


Este teorema posee varios corolarios interesantes.
son dos funciones, entonces tenemos
Teorema 7 Si u, v C 1 ()
Z
Z
Z
xi u vdx = u xi vdx +
uvi dS

Observaci
on 2 Esta expresi
on es en realidad una formula de integracion por partes y es interesante compararla
con la tradicional f
ormula de integraci
on por partes en una variable.
Teorema 8 Tenemos las f
ormulas siguientes para dos funciones regulares u, v definidas sobre :
Z
Z
u
udx =
dS


Z
Z
Z
u
u vdx = uv +
v dS


En particular en dimensi
on 2 tenemos: para R2 un abierto cuya frontera es una curva regular. Sea el
vector normal exterior de y sea F una funci
on
F = (F1 (x1 , x2 ), F2 (x1 , x2 ))
de clase C 1 (, R2 ). Entonces se tiene

ZZ
ZZ 
Z
F1 F2
+
dx1 dx2 =
F dS.
div(F (x1 , x2 ))dx1 dx2 =
x1
x2

= Como calcular la normal exterior?


Si (t) = (x1 (t), x2 (t)), con t [a, b] es una parametrizacion del borde de , el vector normal es un vector
ortogonal al vector 0 (t) = (x01 (t), x02 (t)).
Es decir se tiene que (t) = (x02 (t), x01 (t)) o (t) = (x02 (t), x01 (t)) y hay que escoger uno de estos dos
vectores para obtener el vector exterior.
= Un ejemplo. Sea el tri
angulo de vertices (1, 0), (0, 1), (1, 0) y sea F (x1 , x2 ) = (x1 , x2 + 2).
9

Obtenemos sin problema que

ZZ
div(F )dx1 dx2 = 2|| = 2.

El borde se puede descomponer en = 1 + 2 + 3 , donde


1 (t) = (t, 0) con t [1, 1], de normal exterior 1 = (0, 1),
2 (t) = (1 t, t) con t [0, 1], de normal exterior 2 = 12 (1, 1),
3 (t) = (t, 1 t) con t [0, 1], de normal exterior 3 =

1 (1, 1).
2

De esta manera obtenemos


Z
Z
Z
Z
F dS =
F 1 dS1 +
F 2 dS2 +
F 3 dS3

1
1

Z 1

1
1
(1 t, t + 2) (1, 1)( 2dt) +
(t, 3 t) (1, 1)( 2dt)
2
2
0

(t, 2) (0, 1)dt +

=
1
1

3dt = 2.

3dt +

(2)dt +

10