Edp15 16 PDF

Ecuaciones en Derivadas Parciales
M
aster en Matem
atica Industrial
Bienio 2015-2017
Mara Bego
na Cid Iglesias
Jos
e Durany Castrillo
Indice General
1 Introducci
on a las Ecuaciones en Derivadas Parciales
1.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Clasificacion de la ecuaci
on en derivadas parciales de segundo orden
1.3.1 Ecuaciones hiperb
olicas . . . . . . . . . . . . . . . . . . . . .
1.3.2 Ecuaciones parabolicas . . . . . . . . . . . . . . . . . . . . . .
1.3.3 Ecuaciones elpticas . . . . . . . . . . . . . . . . . . . . . . .
1.4 Ecuaciones elpticas . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5 Ecuaciones parabolicas . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6 Ecuaciones hiperb
olicas . . . . . . . . . . . . . . . . . . . . . . . . .
1.7 Tecnicas de resolucion de ecuaciones en derivadas parciales . . . . .
1.8 Metodo de separacion de variables . . . . . . . . . . . . . . . . . . .
1.9 El operador Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . .
1.10 Ejercicios propuestos . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 La ecuaci
on de Laplace
2.1 Introducci
on . . . . . . . . . . . . . . . . . . . .
2.2 Resultados generales . . . . . . . . . . . . . . .
2.3 Representaciones integrales . . . . . . . . . . .
2.4 Problema de Laplace en un disco . . . . . . . .
2.4.1 Formula integral de Poisson . . . . . . .
2.5 Problema de Laplace en el exterior de un disco
2.6 Problema de Laplace en un anillo . . . . . . . .
2.7 Problema de Laplace en un rect
angulo . . . . .
2.8 Ecuacion de Poisson . . . . . . . . . . . . . . .
2.9 Problema de Poisson en un disco . . . . . . . .
2.10 Problema de Poisson en un rect
angulo . . . . .
2.11 Ejercicios propuestos . . . . . . . . . . . . . . .
3 La ecuaci
on del calor
3.1 Introducci
on . . . . . . . . . . . . . . . . . .
3.2 Condiciones frontera asociadas a la ecuaci
on
3.3 Resultados generales . . . . . . . . . . . . .
3.4 Difusion en una barra finita aislada . . . . .
3.5 Difusion en una barra finita no aislada . . .
i
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
6
7
8
9
10
11
12
14
14
16
18
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
21
23
26
29
30
32
33
36
39
41
42
. . . . . .
del calor
. . . . . .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
45
48
50
53
56
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.6
3.7
3.8
3.9
3.10
Caso general . . . . . . . . .
Flujo de calor con condiciones
Flujo de calor con condiciones
Otros problemas . . . . . . .
Ejercicios propuestos . . . . .
. . . . . . .
de contorno
de contorno
. . . . . . .
. . . . . . .
. . . . . . . . .
homogeneas en
no homogeneas
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
la derivada . .
en la derivada
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
57
58
61
62
64
67
67
69
70
77
79
82
84
85
85
4 La ecuaci
on de ondas
4.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . . .
4.2 Problema de la cuerda vibrante . . . . . . . . . . . . .
4.3 Soluci
on en dominios infinitos . . . . . . . . . . . . . .
on de ondas
4.5 Vibraciones libres de una cuerda de longitud finita . .
4.6 Vibraciones forzadas de una cuerda de longitud finita .
4.7 Caso general . . . . . . . . . . . . . . . . . . . . . . .
4.8 Energa asociada a la ecuaci
on de ondas . . . . . . . .
4.9 Ejercicios propuestos . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5 Terora de Distribuciones
5.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Espacios vectoriales normados . . . . . . . . . . . . . .
5.3 Espacios de Banach . . . . . . . . . . . . . . . . . . .
5.4 Espacios Prehilbertianos . . . . . . . . . . . . . . . . .
5.5 Espacios de Hilbert . . . . . . . . . . . . . . . . . . . .
5.6 Espacios Lp . . . . . . . . . . . . . . . . . . . . . . . .
5.6.1 Aproximacion de L2 () por elementos de D()
5.7 Espacios de Sobolev H m () . . . . . . . . . . . . . . .
5.8 Teorema de trazas . . . . . . . . . . . . . . . . . . . .
5.9 Formulas de Green y Stokes . . . . . . . . . . . . . . .
5.10 Teorema de compacidad y otros resultados . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
. 89
. 89
. 91
. 91
. 92
. 94
. 95
. 97
. 99
. 105
. 106
.
.
.
.
.
.
.
109
109
110
113
115
119
121
123
6 Formulaci
on variacional de ecuaciones en derivadas parciales
6.1 Introducci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 Formulaci
on variacional de problemas de tipo elptico . . . . . .
6.2.1 Problema variacional abstracto . . . . . . . . . . . . . . .
6.2.2 Sistema de Elasticidad. . . . . . . . . . . . . . . . . . . .
6.2.3 Sistema de Stokes . . . . . . . . . . . . . . . . . . . . . .
6.3 Problemas parabolicos . . . . . . . . . . . . . . . . . . . . . . . .
6.4 Problemas hiperb
olicos . . . . . . . . . . . . . . . . . . . . . . . .
Bibliografa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
Tema 1
Introducci
on a las Ecuaciones en
Derivadas Parciales
1.1
Introducci
on
Este curso aborda el estudio de las Ecuaciones en Derivadas Parciales (E.D.P.) que aparecen en
numerosos aspectos de la Fsica Matematica.
Existen dos teoras para enfrentarse a estas ecuaciones:
la teora cl
asica,
la teora de distribuciones.
En la primera parte trabajaremos fundamentalmente con la teora clasica de ecuaciones en
derivadas parciales: veremos su clasificaci
on, los problemas que podemos estudiar y las tecnicas
de resolucion utilizadas. (Temas 1 - 4).
En la u
ltima parte introduciremos la teora de distribuciones, necesaria para poder ampliar el
tipo de ecuaciones que podremos estudiar. Se ver
a la formulaci
on variacional y metodos de
resolucion. (Temas 5 - 6).
En cuanto a la utilidad del estudio de las ecuaciones en derivadas parciales, cabe destacar que la
mayora de las leyes de la Fsica, como la ecuaci
on de Maxwell, ley de Newton de enfriamiento,
la ecuaci
on de Navier-Stokes, ecuaciones de Newton del movimiento o la ecuaci
on de Schr
odinger
de mec
anica cu
antica, est
an establecidas (o pueden establecerse) en terminos de ecuaciones en
derivadas parciales, es decir, estas leyes describen fenomenos fsicos relacionando derivadas en
espacio y tiempo. Aparecen las derivadas en estas ecuaciones porque representan cosas naturales (velocidad, aceleraci
on, fuerza, friccion, flujo, corriente). As, tenemos ecuaciones que
relacionan derivadas parciales de alguna cantidad desconocida que nos gustara encontrar.
1. Introducci
1.2
Generalidades
Definici
on 1.1 Se define ecuaci
on en derivadas parciales de orden k en Rn , a una
ecuaci
on de la forma:
F (x1 , . . . , xn , u,
u
u 2 u
2u
2u
k u
k u
, ,
,
,
,
,
,
,
,
,
)=0
x1
xn x1 2 x1 x2
xn 2
x1 k
xn k
(1.1)
que relaciona la variable independiente x = (x1 , x2 , . . . , xn ) con la funci

on u : A Rn R y
las derivadas parciales hasta el orden k (k: orden de la e.d.p.).
Se dice lineal si la funci
on F es lineal en la variable dependiente u y en todas sus derivadas
parciales.
Se denomina soluci
on de la ecuaci
on en derivadas parciales a una funci
on : Rn R de clase
C k (Rn ) que verifique la ecuaci
on (1.1). Esta es la soluci
on cl
asica o regular.
Las ecuaciones m
as importantes en fsica e ingeniera son las de orden 1 y 2, sobre todo las
lineales de segundo orden.
En general, habra infinitas funciones que sean soluci
on de la ecuaci
on en derivadas parciales
formando una familia de soluciones que dependera de varios par
ametros. As, a menudo, se
plantear
a el problema de buscar una soluci
on de la ecuaci
on sobre un dominio D Rn , sometido a unas ciertas condiciones sobre la frontera de D (D), que servir
an para fijar las constantes
de integraci
on y elegir una soluci
on de la familia. Pero, como pueden ser las condiciones sobre
D? La respuesta es que depende de la naturaleza de la ecuaci
on en derivadas parciales.
Por otra parte, la definicion de soluci
on que se ha dado deja fuera de estudio muchas ecuaciones
importantes. Pensemos, por ejemplo, en la ecuaci
on del potencial en electrost
atica cuando en
el campo solamente existe una carga en un punto x0 del mismo. En este caso la distribuci
on
de carga es un m
ultiplo de la medida de Dirac f = q [x0 ], con q constante. As, tenemos la
ecuaci
on
u = q [x0 ].
Que sentido podemos dar a esta ecuaci
on? Que entendemos por soluci
on de dicha ecuaci
on?
La respuesta no es posible en terminos de derivadas clasicas. Definiremos el concepto de soluci
on
en el sentido de distribuciones de una ecuaci
on en derivadas parciales en temas posteriores.
Definici
on 1.2 Se denomina ecuaci
on en derivadas parciales lineal de segundo orden
n
en R , a una ecuaci
on en derivadas parciales que se escribe de la forma:
n
X
i,j=1
X
u
2u
bi (x1 , . . . , xn )
+
+ c(x1 , . . . , xn ) u = f (x)
aij (x1 , . . . , xn )
xi xj
xi
i=1
A continuaci
on veremos c
omo se pueden clasificar las ecuaciones en derivadas parciales del
tipo anterior cuando los coeficientes son constantes, no dependen por tanto del punto donde se
encuentren.
1.2 Generalidades
Definici
on 1.3 Sea una ecuaci
on en derivadas parciales lineal de segundo orden en Rn de
coeficientes constantes:
n
X
i,j=1
X u
2u
aij
bi
+
+ c u = f (x)
xi xj
xi
i=1
y sea (p, q) la signatura de A = (aij ), es decir, p es el n

umero de autovalores positivos de A y q
el n
umero de autovalores negativos de A. Se dice que la e.d.p. es de tipo:
1. elptico si (p, q) = (n, 0) o (p, q) = (0, n),
2. hiperb
olico si p + q = n con p > 0 y q > 0,
3. parab
olico si p + q < n.
En el caso de ecuaciones en derivadas parciales lineales de coeficientes variables, esta clasificacion tendra un car
acter local. S
olo el car
acter elptico e hiperb
olico se conserva, adem
as, en
un entorno del punto en los casos con coeficientes regulares.
Groseramente, se ve que no se puede extender una clasificacion as de sencilla a las ecuaciones
en derivadas parciales no lineales, si las no linealidades est
an en las derivadas de orden superior,
sin hacer depender el car
acter de la ecuaci
on de la propia soluci
on.
A continuaci
on, veremos una clasificaci
on m
as comoda para el caso de una ecuaci
on en derivadas
2
parciales en R .
Proposici
on 1.1 Sea una ecuaci
on en derivadas parciales lineal de segundo orden y de coeficientes constantes en R2 :
A
2u
u
2u
u
2u
+
C
+E
+ F u = f (x1 , x2 )
+
B
+D
2
2
x1 x2
x1
x2
x1
x2
(1.2)
y sea
= B 2 4AC
entonces:
1. si < 0 la e.d.p. es de tipo elptico,
2. si > 0 la e.d.p. es de tipo hiperb
olico,
3. si = 0 la e.d.p. es de tipo parab
olico.
Cabe recordar que esta clasificaci
on se corresponde con la de las conicas en el plano. La utilidad
de esta clasificaci
on se basa en la posibilidad de reducir la expresi
on (1.2) a una forma can
onica
mediante un adecuado cambio de variables independientes.
1.3
1. Introducci
Clasificaci
on de la ecuaci
Dada una ecuaci

on en derivadas parciales lineal de segundo orden y coeficientes constantes en
2
R :
A uxx + B uxy + C uyy + D ux + E uy + F u = f (x, y)
(1.3)
existe un cambio de variable que transforma la ecuaci
on en su forma can
onica. Para determinar
estas formas can
onicas consideramos un cambio de variables independientes generico:
r = r(x, y) , s = s(x, y)
con r y s funciones de x e y dos veces derivables, de forma que el jacobiano de la transformacion,
J, es no nulo en la regi
on que estemos interesados. Entonces, hacemos el cambio de variable en
la expresi
on generica (1.3).
Si tenemos en cuenta que:
ux = ur rx + us sx
uy = ur ry + us sy
uxx = urr rx2 + 2urs rx sx + uss s2x + ur rxx + us sxx
uyy = urr ry2 + 2urs ry sy + uss s2y + ur ryy + us syy
uxy = urr rx ry + urs (rx sy + ry sx ) + uss sx sy + ur rxy + us sxy
al sustituir estos valores en la ecuaci
on (1.3) se obtiene:
urs + C uss + D
ur + E
us + F u = f (r, s)
A urr + B
(1.4)
En general esta ecuaci

on va a tener coeficientes variables. Sin embargo, posee la misma estructura que la original y adem
as su naturaleza no vara por la transformacion, ya que
2 4A C = J 2 (B 2 4A C)
B
y su car
acter se mantiene sin m
as que exigir que J 6= 0.
Supongamos que A 6= 0. Para obtener las formas can
onicas buscadas tratamos de determinar
r = r(x, y) , s = s(x, y) de forma que en la ecuaci
on (1.4) los terminos A y C sean identicamente
cero. Esta condici
on proporciona las ecuaciones:
A = A rx2 + B rx ry + C ry2 = 0,
C = A s2x + B sx sy + C s2y = 0.
Dado que tienen la misma estructura podemos estudiarlas como una sola:
A vx2 + B vx vy + C vy2 = 0,
si dividimos por vy2 tenemos
A(
vx
vx 2
) + B ( ) + C = 0.
vy
vy
(1.5)

Sobre las curvas v = cte, se tiene que dv = vx dx + vy dy = 0, con lo cual

vx
dy
=
dx
vy
entonces:
A (y (x))2 B (y (x)) + C = 0
Las races de esta ecuaci
on son:
B 2 4A C
2A
B B 2 4A C
y (x) = 2 =
2A
y (x)
= 1 =
B+
(1.6)
Definici
on 1.4 Estas ecuaciones diferenciales ordinarias de primer orden se denominan Ecuaciones Caractersticas de la ecuaci
on en derivadas parciales y sus soluciones se denominan
Curvas Caractersticas:
y(x) = 1 x + k1
(1.7)
y(x) = 2 x + k2
Puesto que las curvas caractersticas dependen de una constante arbitraria, basta elegir r como
una de ellas y s como la otra.De forma que
r = y 1 x
s = y 2 x
(1.8)
es un cambio de variable que mantiene los coeficientes constantes.
1.3.1
Ecuaciones hiperb
olicas
Las dos ecuaciones caractersticas obtenidas en (1.6) son reales y distintas. Entonces el cambio
de variable (1.8) transforma la ecuaci
on en derivadas parciales en
r Eu
s F u + f (r, s)
urs = Du
expresi
on que se denomina primera forma can
onica de las ecuaciones en derivadas parciales
hiperb
olicas. Si introducimos un nuevo cambio de variables
= r + s; = r s
obtenemos
+ Eu
+ F u + f (, )
u u = Du
Esta expresi
on se denomina segunda forma can
onica de las ecuaciones en derivadas parciales
hiperb
olicas y ser
a la que utilicemos en el metodo de separacion de variables.
Observaci
on 1.1 Si A = 0, las ecuaciones caractersticas obtenidas no son validas. En este
caso, en (1.5) dividimos por vx2 y tenemos:
C(
dx
dx 2
) B ( ) = 0,
dy
dy
1. Introducci
de donde obtenemos las ecuaciones caractersticas

dx
dx
=0; C
B =0
dy
dy
cuyas soluciones son
x = k1 ; x =
B
y + k2
C
Eligiendo ahora
B
y
C
la ecuaci
on transformada tiene la estructura de la primera forma can
onica, de la que podemos
obtener la segunda forma can
onica mediante el mismo cambio anterior.
r = x; s = x
Observaci
on 1.2 A este tipo de ecuaciones pertenece la denominada ecuaci
on de ondas en
R cuya expresi
on es
utt c2 uxx = f (x, t)
donde t representa el tiempo y x representa la variable espacial.
1.3.2
Ecuaciones parab
olicas
En este caso s
olo disponemos de una curva caracterstica
y=
B
x + C1
2A
puesto que 1 = 2 . Por tanto, eligiendo

r=y
B
x,
2A
podemos considerar
s = k1 x + k2 y,
con k1 , k2 constantes cualesquiera, con la u
nica condici
on de que el jacobiano sea distinto de cero.
Con la elecci
on adecuada de estas constantes la ecuaci
on en derivadas parciales se transforma
en
r Eu
s F u + f (r, s)
uss = Du
que es la forma can
onica para la ecuaciones de tipo parabolico.
Observaci
on 1.3 Si A = 0 entonces B tambien es cero y la ecuaci
on ya viene expresada en
forma can
onica.
Observaci
on de difusi
on
en R cuya expresi
on es
ut 2 uxx = f (x, t)
donde t representa el tiempo y x representa la variable espacial.

1.3.3
Ecuaciones elpticas
Las curvas caractersticas obtenidas (1.7) son validas con 1 = a+bi ; 2 = abi. Consideramos
el cambio
r = y (a + bi)x ; s = y (a bi)x
Introduciendo ahora las nuevas variables
1
1
= (r + s) = y ax ; = (r s) = bx
2
2i
la ecuaci
on de partida se transforma en
Eu
F u + f (, )
u + u = Du
Esta expresi
on es la forma can
onica para la ecuaciones de tipo elptico.
Observaci
on de Laplace
en R2 cuya expresi
on es
uxx + uyy = 0
Ejemplo 1.1 Una lnea electrica se caracteriza desde el punto de vista de la propagacion de
ondas por las magnitudes:
R: resistencia por unidad de longitud,
L: inductancia por unidad de longitud,
C: capacidad por unidad de longitud,
G: conductividad por unidad de longitud.
El voltaje E en un punto x en el instante t es soluci
on de la ecuaci
on:
2E
E
2E
=
L
C
+ (R C + L G)
+ RGE
2
2
x
t
t
esta ecuaci
on se denomina ecuaci
on de los telegrafistas. Las propiedades de E dependen
esencialmente de los terminos de segundo orden de la ecuaci
on anterior.
Si L = G = 0, entonces
E
2E
= RC
2
x
t
este tipo de ecuaciones rigen numerosos problemas de difusi
on y en particular los problemas de
difusi
on del calor. La llamaremos indistintamente ecuaci
on de difusi
on o ecuaci
on del calor.
Si R = G = 0, entonces
2E
2E
=
L
C
x2
t2
este tipo de ecuaci
on corresponde a una propagacion por ondas, ser
a la ecuaci
on de ondas.
10
1. Introducci
En lo que sigue analizaremos que tipo de condiciones de contorno y/o iniciales pueden asociarse
a cada una de las ecuaciones en derivadas parciales obtenidas. Las condiciones de contorno se
pueden agrupar en tres clases:
1. Condiciones Dirichlet:
u = g en D.
2. Condiciones Neumann:
u
= g en D.
~n
con ~n normal unitaria exterior a la frontera, proporcional al flujo entrante.
3. Condiciones Robin:
hu +
u
= g en D con h R.
~n
Por otro lado, las condiciones iniciales podr

an asociarse:
1. Al estado inicial u.
2. A la velocidad inicial
1.4
u
.
t
Ecuaciones elpticas
Consideremos la ecuaci
on del potencial:
2u 2u
2 = f (x, y).
x2
y
(1.9)
Esta ecuaci
on se puede presentar en diversas situaciones:
~ puede expresarse en terminos de
1. Gravitaci
on: La fuerza de atracci
on de la materia F
~
un potencial gravitacional u mediante la ecuaci
on F~ = u.
En el vaco, el potencial u
satisface la ecuaci
on (1.9) con f = 0. En cualquier punto en el cual la densidad de la
materia es , el potencial satisface dicha ecuaci
on con f = 4 .
~ puede ser expresado en terminos de un potencial
2. Electrost
atica: El campo vectorial E
~ = u.
~
de campo u por medio de la ecuaci
on E
Si es la densidad de carga del campo,
entonces el potencial satisface la ecuaci
on (1.9) con f = 4 .
Si en el campo existen diferentes dielectricos, entonces el potencial satisface la ecuaci
on
~
div(k(x) u(x))
= 4 ,
donde k es una funci
on constante sobre cada dielectrico, dependiendo su valor de la naturaleza del mismo.
3. Magnetost
atica: La presencia de un vector magnetico puede expresarse en terminos de
un potencial magnetostatico u que satisface la ecuaci
on
~
div((x) u(x))
= 0,
donde es la permeabilidad magnetica. Esta ecuaci
on se reduce a la de Laplace cuando
es constante.
11
1.5 Ecuaciones parabolicas

4. Ecuaci
on de Schr
odinger:
h2
ih
ut = 2 u + V (x) u
2
8 m
esencial en la descripci
on mecanocu
antica de diferentes sistemas fsicos. Da la densidad de
probabilidad de que la posici
on de una partcula de masa m se encuentre en un elemento
de volumen, siendo h la constante de Plank.
Si se considera su resolucion en un dominio D = [0, a] [0, b] sobre su frontera podemos imponu
~ u ~n. En
er, en cada punto, el potencial u o bien el campo derivado del potencial
= grad
~n
cualquier caso interpretamos la ecuaci
on en derivadas parciales como un problema estacionario,
donde no interviene el tiempo, y las condiciones impuestas a la soluci
on en D como condiciones
de contorno.
La necesidad de imponer condiciones sobre la soluci
on en toda la frontera D, deriva de la
elipticidad de la ecuaci
on en derivadas parciales, donde la soluci
on en cada punto est
a influida
por la soluci
on en todo el resto del dominio.
y
b
(x0 , y0 )
El planteamiento general del problema es:
1.5
2u 2u
2 = f (x, y) ; 0 < x < a , 0 < y < b
x2
y

u(0, y) + c1 ux (0, y) = g1 (y)
0<y<b
u(a, y) + c2 ux (a, y) = g2 (y)

u(x, 0) + k1 uy (x, 0) = h1 (x)
0<x<a
u(x, b) + k2 uy (x, b) = h2 (x)
Ecuaciones parab
olicas
Consideramos la ecuaci
on del calor:
2u
u
2 2 = f (x, t)
t
x
que representa la evoluci
on de la temperatura en un medio unidimensional.
Si se considera su resolucion en un dominio
D = {(x, t)/0 < x < l , 0 < t < T }
las condiciones a imponer ser
an:
(1.10)
12
1. Introducci
1. en los extremos x = 0, x = l, en cada instante de tiempo, podemos conocer la temperatura,
el coeficiente de trasmision de calor o el flujo de calor,
2. el estado inicial de la temperatura.
De igual forma la variable t indica que tenemos un problema de evoluci

on con condiciones de
contorno y condiciones iniciales. Una vez m
as la necesidad de imponer este tipo de condiciones
proviene del car
acter de la ecuaci
t
T
(x0 , t0 )

2u
u
2 2 = f (x, t) ; 0 < x < l , 0 < t < T
t
x

u(0, t) + c1 ux (0, t) = g1 (t)
0<t<T
u(l, t) + c2 ux (l, t) = g2 (t)
u(x, 0) = h(x) , 0 < x < l
1.6
Ecuaciones hiperb
olicas
Consideramos la ecuaci
on de ondas:
2
2u
2 u
c
= f (x, t)
t2
x2
(1.11)
Veamos algunas circunstancias donde se puede presentar:

1. Cuerda vibrante: Si una cuerda de longitud l y de densidad lineal uniforme est
a
sometida a una tensi
on uniforme T y en la posici
on de equilibrio coincide con el eje de las
X, entonces cuando la cuerda es perturbada ligeramente de su posici
on de equilibrio, el
desplazamiento transversal u(x, t) satisface la ecuaci
on de ondas unidimensional:
2
2u
2 u
c
= f (x, t)
t2
x2
donde c2 = T /.
Ecuaciones identicas aparecen cuando se estudian las vibraciones longitudinales de una
barra el
astica de secci
on transversal uniforme, con c2 = E/, siendo E el m
odulo de
Young y la densidad del material de la barra.
13
1.6 Ecuaciones hiperb

olicas
2. Vibraciones transversales de una membrana: Si una membrana elastica delgada

de densidad uniforme est
a sometida a una tensi
on T y si en la posici
on de equilibrio
coincide con el plano XY , entonces las vibraciones transversales de la membrana u est
an
gobernadas por la ecuaci
on de ondas con c2 = T /.
3. Ondas en el espacio: en el caso de tres dimensiones, la ecuaci
on de ondas modeliza
fenomenos correspondientes a ondas sonoras o luminosas. Podemos estudiar las vibraciones
de las partculas de un gas o bien ondas electromagneticas.
Planteamos su resolucion en un dominio
D = {(x, t)/0 < x < l , 0 < t < T }
donde las condiciones a imponer ser
an:
1. en los extremos x = 0, x = l, los desplazamientos transversales o las fuerzas ejercidas
u
(proporcionales a
),
x
2. el estado inicial de los desplazamientos y el estado inicial de la velocidad de la cuerda.
Observese que en este problema aparece la variable t y fsicamente es un problema de evoluci
on. De esta forma tendremos que imponer condiciones de contorno y condiciones iniciales.
La necesidad de imponer estes dos tipos de condiciones deriva tambien del car
acter hiperb
olico
de la ecuaci
on, donde la soluci
on est
a influida por una parte conica del dominio.
t
T
(x0 , t0 )

2
2u
2 u
c
= f (x, t) ; 0 < x < l , 0 < t < T
t2
x2
u(0, t) + c1 ux (0, t) = g1 (t)

u(l, t) + c2 ux (l, t) = g2 (t)
u(x, 0) = h1 (x)
ut (x, 0) = h2 (x)
0<t<T
0<x<l
14
1. Introducci
1.7
T
ecnicas de resoluci
on de ecuaciones en derivadas parciales
Una vez hecha la clasificaci

on de las ecuaciones que centrar
an nuestro estudio, veremos a continuaci
on distintos metodos para abordar su resolucion.
1. Separaci
on de variables. Esta tecnica reduce una ecuaci
on en derivadas parciales en n
variables a n ecuaciones diferenciales ordinarias.
2. Transformadas integrales. Este procedimiento reduce una ecuaci
on en derivadas parciales en n variables independientes a una en n1 variables; as, una ecuaci
on en derivadas
parciales en dos variables se puede cambiar a una sola ecuaci
3. Cambio de coordenadas. Este metodo cambia la ecuaci
on en derivadas parciales original a una ecuaci
on diferencial ordinaria o incluso a otra ecuaci
on en derivadas parciales
(m
as facil) cambiando las coordenadas del problema (rotaci
on de ejes,...).
4. Transformaci
on de la variable dependiente. Este metodo transforma la inc
ognita de
una ecuaci
on en derivadas parciales en una nueva inc
ognita m
as facil de encontrar.
5. M
etodos num
ericos. En muchos casos esta es la u
nica tecnica que funcionar
a. Adem
as,
hay otros metodos que intentan aproximar soluciones por superficies polin
omicas (aproximaciones spline).
6. M
etodos de perturbaci
on. Este metodo cambia un problema no lineal en una sucesion
de problemas lineales que aproximan el no lineal.
7. T
ecnica impulso-respuesta. Este procedimiento descompone las condiciones iniciales
y de frontera del problema en impulsos simples y encuentra la respuesta a cada impulso.
La respuesta total se encuentra sumando estas respuestas simples.
8. Ecuaciones integrales. Esta tecnica cambia una ecuaci
on en derivadas parciales en
una ecuaci
on integral (la inc
ognita est
a dentro de la integral), que se resuelve por varias
tecnicas.
9. C
alculo de m
etodos de variaciones. Estes metodos encuentran la soluci
on de ecuaciones en derivadas parciales reformulando la ecuaci
on como un problema de minimizacion.
Se obtiene que el mnimo de una cierta expresi
on es tambien la soluci
on de la ecuaci
on en
derivadas parciales.
10. Expansi
on de autofunciones. Este metodo intenta encontrar la soluci
on de una ecuaci
on
en derivadas parciales como una suma infinita de autofunciones. Estas autofunciones se
encuentran resolviendo lo que se conoce como problema de autovalores correspondiente al
problema original.
1.8
M
etodo de separaci
on de variables
Se presenta el metodo de separacion de variables aplicado a la resolucion de los problemas de

valor inicial y/o de frontera de ecuaciones en derivadas parciales en dominios acotados. Consideraremos ecuaciones en derivadas parciales homogeneas en dos variables independientes y
15
1.8 Metodo de separacion de variables
condiciones de frontera tambien homogeneas. Despues veremos como se puede utilizar este procedimiento para obtener la soluci
on en problemas no homogeneos.
Este metodo consiste en buscar la soluci
on como un producto de dos funciones, dependientes
cada una de ellas de una de las variables. Es decir, supondremos
u(x, y) = M (x)N (y)
en el caso elptico, y
u(x, t) = M (x)N (t)
en los casos hiperb
olico y parabolico. Sustituyendo u por esta expresi
on en la correspondiente
ecuaci
on en derivadas parciales y dividiendo a continuaci
on por la propia funcion, se obtiene:
N (y)
N (y)
M (x)
M (x)
caso elptico
1 N (t)
c2 N (t)
M (x)
M (x)
caso hiperb
olico
1 N (t)
2 N (t)
M (x)
M (x)
caso parabolico
Puesto que los dos miembros de estas expresiones dependen de variables distintas, ambos deben
ser iguales a una constante. Denotando por esta constante de separaci
on, se obtienen las
siguientes ecuaciones diferenciales ordinarias para M y N :
M (x) = M (x) en los tres casos
N (y) + N (y) = 0
N (t) c2 N (t) = 0
N (t) 2 N (t) = 0
caso elptico
caso hiperb
olico
caso parabolico
Se ha pasado de una ecuaci

on en derivadas parciales en dos variables a dos ecuaciones diferenciales ordinarias separadas para cada una de ellas.
Observaci
on 1.6 En principio toda ecuaci
on en derivadas parciales tal que, al seguir este
procedimiento, de lugar a ecuaciones diferenciales ordinarias en cada una de las variables podr
a
resolverse mediante separacion de variables. En particular, todas las ecuaciones en derivadas
parciales de segundo orden con coeficientes constantes presentan esta propiedad, salvo aquellas
que contienen derivadas cruzadas.
Una vez obtenidas las ecuaciones separadas exigimos que la funcion M (x) verifique las condiciones de contorno. Si la soluci
on u = M N verifica las condiciones de frontera homogeneas
en la correspondiente variable independiente, necesariamente M (x) debe verificarlas, pues, por
ejemplo:
u(0, t) + c1 ux (0, t) = 0 t R+ , N (t)[M (0) + c1 M (0)] = 0
M (0) + c1 M (0) = 0
16
1. Introducci
y lo mismo ocurre con las otras condiciones. Esto no podra realizarse en el caso de que las
condiciones de frontera no fuesen homogeneas. As pues, la funcion M (x) debe ser soluci
on del
problema regular de Sturm-Liouville:

M (0) + c1 M (0) = 0
M (x) = M (x)
M () + c1 M () = 0
donde = a en el caso elptico y = l en los casos hiperb
olico y parabolico.
Observaci
on 1.7 Requisitos para aplicar el procedimiento de separacion de variables:
1. La regi
on del espacio donde se considere la ecuaci
on en derivadas parciales debe ser tal que
las condiciones sobre su frontera puedan definirse sobre variables independientes de forma
separada. Por tanto, en determinadas circunstancias se har
a un cambio de coordenadas
(polares, cilndricas, esfericas, . . . ).
2. Las condiciones frontera deben ser homogeneas.
Planteado el problema de Sturm-Liouville nos interesan soluciones no identicamente nulas. Existe un conjunto, a lo sumo numerable, de valores de (autovalores) que denotaremos por
n , n N, asociado a cada uno de los cuales existe una u
nica soluci
on de norma unidad Mn (x)
(autofunciones) no identicamente nula. Por tanto obtenemos:

= n
nN
M (x) = Mn (x)
Entonces, para cada autovalor n , n N, resulta una ecuaci
on para Nn . Obtenidas las funciones
Mn , Nn , n N, cada uno de los productos
un = Mn Nn , n N
verifica la correspondiente ecuaci
on en derivadas parciales junto con las condiciones de frontera
homogeneas. Para encontrar la soluci
on consideramos la superposici
on formal de las funciones
un y construimos la serie
X
X
Mn Nn
un =
u=
n=1
n=1
en la que impondremos que u cumpla las condiciones que todava no se han utilizado.
1.9
El operador Laplaciano
Este operador juega un papel muy importante en las ecuaciones de la Fsica Matematica, pues
todas ellas se expresan en terminos de el. As, la ecuaci
on de Laplace en dos y tres dimensiones
es, precisamente:
u = 0
La ecuaci
on de ondas en el plano y en el espacio se escribe:
utt = c2 u
17
1.9 El operador Laplaciano

La ecuaci
on de difusi
on en el plano y en el espacio:
ut = 2 u
Si se consideran coordenadas cartesianas, la expresi
on de este operador es:
u = uxx + uyy , (n = 2)
u = uxx + uyy + uzz , (n = 3)
Sin embargo, a la hora de utilizar el metodo de separacion de variables para resolver los problemas de frontera y/o de valor inicial asociados a las ecuaciones en derivadas parciales conviene
disponer de la expresi
on del Laplaciano en otros sistemas de coordenadas. Se debe tener en
cuenta, sin embargo, que en la resolucion de la mayor parte de los problemas que se plantean
en la pr
actica es preciso acudir a la simulaci
on numerica.
En coordenadas polares en el plano, el cambio de variable es:

x = r cos
r = (x2 + y 2 )1/2
; (x, y) R2 {(0, 0)}
o
y = r sen
= arctan(y/x)
(x, y)
y
r
x
Introduciendo este cambio, el Laplaciano en polares es:
u = urr +
1
1
ur + 2 u
r
r
(1.12)
Para aplicar el metodo de separacion de variables suponemos la soluci

on de la forma:
u(r, ) = M (r) N ()
sustituyendo esta expresi
on en (1.12) y dividiendo por ella se obtiene:
r2
M (r)
M (r)
N ()
+r
=
M (r)
M (r)
N ()
lo que nos permite deducir las dos ecuaciones diferenciales ordinarias para M y N :
r 2 M (r) + r M (r) M (r) = 0
N () + N () = 0
Se comprueba que el operador Laplaciano cumple la condici
on establecida en la Observacion 6,
por tanto, podemos abordar su estudio mediante el metodo de separacion de variables.
18
1. Introducci
De la misma forma se puede considerar la expresi

on del Laplaciano en coordenadas cilndricas
(r, , z):
1 2 u 2 u
1 u
(r
)+ 2
+
,
u =
r r r
r 2
z2
o bien
1
1
u = urr + ur + 2 u + uzz .
r
r
Y en coordenadas esf
ericas (, , ):
u =
2 u
1
u
1
1 2 u
(
)
+
(
sen
)
+
,
2
2 sen
2 sen2 2
o bien
u = u +
1
cot
1
2
u + 2 u + 2 u + 2
u .
sen2
La interpretacion fsica de la condici

on u = 0 es que el valor de u en x es igual al valor
medio de u en un crculo que rodea a x. De este modo, u > 0 (< 0) indica que el valor u en x
es inferior (superior) al valor en un crculo que rodea a x.
1.10
Ejercicios propuestos
1.1. Decir cu
ales de los siguientes operadores son lineales:
(a) ut + x2 uxx
(b) ut + u uxx + u
(c) (ut )2 + uxx
2
(d) utt ex t uxx + t2 u

1.2. Hallar d
onde son hiperb
olicos, parabolicos o elpticos los siguientes operadores:
(a) utt + t uxx + x ux = 0
(b) x2 utt uxx + u = 0
(c) t utt + 2uxt + x uxx + ux = 0
(d) t utx + x2 uxx = utt

(e) x utt + t uxx + uxt = ut
(f) urr + r urs = s2 uss + s et
(g) urr + 2r urs + s2 uss + us + ur = 0

1.3. Hallar las ecuaciones, curvas caractersticas y formas can
onicas de:
(a) uxx + 2uxy + 3uyy + 4ux + 5uy + u = ex
(b) 6uxx uxy + u = y 2
(c) uxx + 5uxy + 4uyy + 7uy = senx
(d) uyy 9ux + 7uy = cos y
Tema 2
La ecuaci
on de Laplace
2.1
Introducci
on
Las ecuaciones elpticas se obtienen, en general, cuando se estudian procesos estacionarios. La

ecuaci
on de este tipo que aparece m
as frecuentemente es la ecuaci
on de Laplace, cuya expresi
on
general es:
u = 0,
donde representa el operador Laplaciano. Por ejemplo, si se considera un campo termico
estacionario, la ecuaci
on de conduccion del calor es:
ut = 2 u
y como, en este caso, la distribuci
on de temperatura no vara con el tiempo, esta satisface la
ecuaci
on de Laplace. Si se considera la presencia de fuentes de calor externas, se obtiene la
ecuaci
on:
u = A
(2.1)
donde A representa la densidad de fuentes termicas. La ecuaci
on no homogenea de Laplace se
suele llamar ecuaci
on de Poisson.
Otra clase de problemas en los que la ecuaci
on de Laplace juega un papel importante es el
relacionado con los campos vectoriales que derivan de un potencial (ya visto en el Tema 1).
As pues, la ecuaci
on de Laplace describe siempre procesos estacionarios en los que el tiempo no
es una de las variables independientes. Esto significa que este tipo de problemas no va a incluir
condiciones iniciales. Consideraremos solamente problemas definidos en un cierto dominio D
con determinadas condiciones de contorno dadas sobre su frontera D.
Ejemplo 2.1
1. Problema de Dirichlet en el interior de un disco conocida la soluci
on en la frontera.
u = 0 ; 0 r < a , 0 < 2
u(a, ) = sen ; 0 < 2
19
20
2. La ecuaci
on de Laplace
2. Problema de Dirichlet en el exterior de un disco conocida la soluci
on en la frontera.
u = 0 ; r > a , 0 < 2
u(a, ) = sen ; 0 < 2
Los problemas de Dirichlet son comunes en electrost
atica cuando queremos encontrar el
potencial en una regi
on conocido el potencial en la frontera.
3. Problema de Neumann.
u = 0 ; 0 r < a , 0 < 2
u
= sen ; 0 < 2
~n
Estes problemas son comunes en flujos de calor estacionarios y en electrost
atica, donde el
flujo se da en la frontera. Aqu, el flujo de calor a traves de la frontera entra para 0 <
y sale para < 2. Sin embargo, el valor del flujo neto es:
Z
2
0
u
d =
~n
sen d = 0,
0
(una condici
on que debe ser siempre cierta para los problemas de Neumann), la temperatura en cada punto dentro del disco no cambia con respecto al tiempo. En otras palabras,
los problemas de Neumann tienen sentido u
nicamente si la ganancia neta a traves de la
frontera es cero.
4. Problema de Robin.
u = 0 ; 0 r < a , 0 < 2
h (u g) +
u
= 0 en D , con h R
~n
o de forma equivalente
u
= h (u g), h > 0
~n
que indica que el flujo entrante a traves de la frontera es proporcional a la diferencia entre
la temperatura u y alguna temperatura g. Con la interpretacion:
(a) si u > g, el flujo de calor sale,
(b) si u < g, el flujo de calor entra.
Esto es justamente la ley de Newton de enfriamiento. La constante h es un par
ametro y
mide la cantidad de flujo a traves de la frontera por grado de diferencia entre u y g (es
difcil de medir porque depende de la interfase).
21
2.2 Resultados generales
2.2
Resultados generales
Comenzaremos por recordar algunos resultados del an

alisis vectorial.
Teorema 2.1 (de Ostrogradsky-Gauss).
Sea D un dominio de Rn , (n = 2, 3), con frontera D regular. Sea F~ un campo vectorial de
clase C 1 sobre D, entonces:
Z
Z
~
F~ ~n dS
div F dx1 . . . dxn =
D
donde ~n es la normal unitaria exterior a D.

De dicho resultado se deducen facilmente otras dos expresiones conocidas como f
ormulas de
Green.
Proposici
on 2.1 Sea D un dominio de Rn , (n = 2, 3), con frontera D regular. Sean u, v dos
campos escalares de clase C 2 sobre D, entonces:
Z
Z
Z
v
~ u
~ v dx1 . . . dxn =
dS
u
u v dx1 . . . dxn +
~n
D
D
D
(primera f
ormula de Green)
Z
Z
(u v v u) dx1 . . . dxn =
D
(u
v
u
v
) dS
~n
~n
(segunda f
ormula de Green)
A partir de estas formulas vamos a obtener algunas propiedades de la ecuaci
on de Laplace.
Definici
on 2.1 Una funci
on u se dice arm
onica en una regi
on D si u C 2 (D) y adem
as
u = 0.
Proposici
on 2.2 Sea u un campo escalar de clase C 2 definido sobre un dominio D Rn , (n =
2, 3), de frontera D regular, tal que u = 0 en D, entonces:
Z
u
dS = 0, sobre cualquier superficie cerrada S dentro de D.

1.
n
S ~
2. Sea x0 D, y sea B(x0 , r) la bola abierta centrada en x0 y de radio r, tal que B(x0 , r) D,
entonces:
Z
1
u(x0 ) =
u dS ; si D R3
4 r 2 B(x0 ,r)
Z
1
u ds ; si D R2
u(x0 ) =
2 r B(x0 ,r)
los valores m
3. Si u est
a definida y es continua en D,
aximo y mnimo de u se alcanzan en
D.
22
2. La ecuaci
on de Laplace
Interpretaci
on con la ecuaci
on del calor estacionaria. Esta formula expresa que el valor
de u en el centro de una bola es la media de los valores sobre el borde de la bola y tambien la
media de los valores considerados sobre la bola. Esto corresponde al hecho de que u representa
un estado de equilibrio: supongamos, por ejemplo, que u sea una temperatura
u
= 2 u
t
u
es
cuando u es diferente de la media de los valores sobre la bola, u es no nulo, entonces
t
no nulo y no est
a en estado de equilibrio.
Teorema 2.2 El problema de contorno sobre un dominio regular D Rn :
n
X
2 u
i=1
x2i
= f (x1 , . . . , xn ) en D
(2.2)
u
+ u = g(x1 , . . . , xn ) sobre D
~n
bajo las hip

otesis:
1. 0 , > 0
2. f continua en D
3. g continua sobre D
admite soluci
on u
nica.
Otro tipo de problemas de contorno en R3 , llamados problemas exteriores, se plantean de la
forma:
Buscar una funci
on u : R3 \D R donde D es un dominio de frontera D regular, que verifique:
n
X
2 u
u
+ u = g(x1 , . . . , xn ) sobre D
~n
i=1
x2i
= 0 en R3 \D
(2.3)
u(x1 , x2 , x3 ) 0 cuando k(x1 , x2 , x3 )k

para el cual tambien se tiene existencia y unicidad de soluci
on cuando 0 , > 0 y g es una
funcion continua en D. Se tiene el mismo resultado en R2 si la tercera condici
on se sustituye
por kuk < +.
Observaci
on 2.1 Las condiciones de contorno sobre D pueden tener coeficientes variables,
manteniendose a
un los mismos resultados con las condiciones:
(x1 , . . . , xn ) 0 ; (x1 , . . . , xn ) 0 sobre D
pero adem
as, (x1 , . . . , xn ) > 0 sobre una parte de medida no nula de D.
23
2.3 Representaciones integrales

Observese que se pierde la unicidad si imponemos una condici
on de contorno
u
= g sobre D,
~n
puesto que ahora si a una soluci

on del problema le sumamos una constante obtenemos una nueva
soluci
on.
2.3
Representaciones integrales
Veamos ahora una expresi

on integral para la soluci
on del problema de contorno asociado a
la ecuaci
on de Laplace, que coincide con la idea fsica de la soluci
on de dicho problema.
Proposici
on 2.3 Sea u un campo escalar de clase C 2 definido sobre un dominio D Rn , (n =
2, 3), tal que
n
X
2 u
2 = f (x1 , . . . , xn ) en D
x
i
i=1
y sea x0 D, entonces:
1. si n = 3, se tiene, con x = (x1 , x2 , x3 )
1
4
u(x0 ) =
Z
1
u
(x) d S(x)
kx0 xk ~n
u(x)
~n
D
Z
1
kx0 xk
f (x)
dx1 dx2 dx3
kx0 xk
d S(x)
(2.4)
2. si n = 2, se tiene, con x = (x1 , x2 )

u(x0 ) =
1
2
Z
ln
1
kx0 xk
u(x)
~n
D
Z
f (x) ln
u
(x) d s(x)
~n

1
) d s(x)
ln(
kx0 xk
1
kx0 xk
dx1 dx2
Interpretaci
on: Consideremos la ecuaci
on del potencial electrico
u = 4 (x1 , x2 , x3 ) = f (x)
(2.5)
24
2. La ecuaci
on de Laplace
sobre un cierto dominio D R3 , cuya frontera es D. As, u sobre D representa el potencial

u
electrico sobre dicha frontera y
la componente normal del campo electrico en ella.
~n
u
Para x0 D, llamando u| D = u
(x1 , x2 , x3 ), y
| D = En (x1 , x2 , x3 ), se tiene:
~n
u(x0 ) =
donde:
IE n =
Iu
If
1
(IEn + Iu + If )
4
1
En (x) d S(x)
kx0 xk
u
(x)
=
~n
D
Z
1
kx0 xk
d S(x)
4 (x)
dx1 dx2 dx3
kx0 xk
Observaci
on 2.2 Mediante la misma tecnica (aplicaci
on de las formulas de Green) tambien
se pueden obtener expresiones integrales para las soluciones de la ecuaci
on de Laplace para el
problema exterior con
u(x1 , . . . , xn ) 0
~
kgradu(x
1 , . . . , xn )k k(x1 , . . . , xn )k 0
cuando k(x1 , . . . , xn )k , que relacionan el potencial en un punto
con los potenciales u| D y las componentes normales del campo u | D .
x0 Rn \D
~n
Este tipo de problemas aparece tambien en la mec
anica de medios continuos cuando se trata de
resolver un problema sobre un dominio infinito (o considerado en la pr
actica as), donde no se
presentan solicitaciones y el medio tiene propiedades constantes. Por ejemplo, en el calculo de
t
uneles o galeras en excavaciones subterraneas. La soluci
on se hace depender entonces de los
u
| D .
desplazamientos u| D y los esfuerzos normales
~n
Notaci
on: A las funciones:
G(x1 , x2 ) = ln
y
G(x1 , x2 , x3 ) =
1
kx0 xk
con x = (x1 , x2 )
1
con x = (x1 , x2 , x3 )
kx0 xk
se les denomina funciones de Green o soluciones fundamentales de la ecuaci

on de Poisson.
Con dicha notaci
on, la representaci
on integral (interior), se escribe:

Z
Z
Z
G
u
u
f G dx1 . . . dxn
G
dS
dS +
(2.6)
u(x0 ) = k
~n
~n
D
D
D
con k =
1
1
si n = 3 y k =
si n = 2.
4
2
25
2.3 Representaciones integrales
Interpretaci
on: Las funciones de Green representan, salvo una constante, soluciones de la
ecuaci
on de Poisson:
G = f (x1 , . . . , xn )
cuando se toma f (x1 , . . . , xn ) = x0 , donde x0 es la distribucion delta de Dirac en el punto x0 .
Ademas, se fijan las constantes de integraci
on exigiendo lim G(x) = 0 en R3 y kGk < +
kxk
en R2 .
Las representaciones integrales expuestas anteriormente se pueden obtener tambien para los
puntos de la frontera de D. As, sea u un campo escalar de clase C 2 definido sobre un dominio
D Rn , (n = 2, 3), tal que
n
X
2 u
i=1
x2i
= f (x1 , . . . , xn ) en D
y sea x0 D, entonces, se tienen las siguientes representaciones integrales:

u(x0 ) = k
Z
u
G
dS
~n
D
G
u
dS +
~n
D
f G dx1 . . . dxn
(2.7)
1
1
si n = 3 y k = si n = 2 y G(x) las funciones de Green descritas anteriormente.
2
u
Utilizando esta representaci
on para el problema interior, una vez encontradas u| D y
| D ,
~n
el potencial u(x) queda completamente determinado en D.

con k =
Esta representaci
on se puede extender tambien al problema exterior asociado a la ecuaci
on de
Laplace:
n
X
2 u
n
2 = 0 en R \D
x
i
i=1
donde se pide un comportamiento asintotico
u(x1 , . . . , xn ) 0
~
kgradu(x
1 , . . . , xn )k k(x1 , . . . , xn )k 0
cuando k(x1 , . . . , xn )k , teniendose, en tal caso, para x0 D:
u(x0 ) = k
con k =
Z
u
G
dS
~n
D
G
u
dS
~n
D
(2.8)
1
1
si n = 3 y k = si n = 2 y G(x) la funcion de Green.
2
A continuaci
on pasamos a estudiar la soluci
on de la ecuaci
on de Laplace en dominios acotados.
26
2.4
2. La ecuaci
on de Laplace
Problema de Laplace en un disco
Se trata de encontrar la soluci

on de la ecuaci
on de Laplace:
u = 0 en D
con D = {(x, y) R2 /x2 + y 2 < R2 }, que verifica la condici
on de contorno:
u(x, y) = g(x, y) sobre D
Para poder aplicar el metodo de separacion de variables debemos reescribir el problema en
coordenadas polares; as se tiene:
u = 0 ; 0 r < R , 0 < 2
u(R, ) = g() ; 0 < 2

u(r, 0) = u(r, 2 )
; 0r<R
u (r, 0) = u (r, 2 )
lim u(r, ) <

r0
Ahora suponemos que u satisface:
u(r, ) = M (r) N ()
de modo que la ecuaci
on de Laplace se escribe, en las nuevas coordenadas:
1
1
M (r) N () M (r) N () 2 M (r) N () = 0
r
r
A continuaci
on, dividimos por la propia expresi
on de u, suponiendo que M (r) 6= 0, N () 6= 0
(que ser
a cierto siempre que g > 0):
r2
De forma equivalente
r2
M (r)
M (r) N ()
+r
+
=0
M (r)
M (r)
N ()
M (r)
N ()
M (r)
+r
=
=k; kR
M (r)
M (r)
N ()
siendo k la constante de separacion. Es decir, M (r) y N () son soluciones de las ecuaciones

diferenciales ordinarias
r 2 M (r) + rM (r) kM (r) = 0
N () + kN () = 0
Consideremos, en primer lugar, la resolucion de la ecuaci

on para M (r), es una ecuaci
on diferencial ordinaria de Cauchy-Euler, de modo que con un cambio de variable del tipo:
r = exp(t)
se tiene una ecuaci
on en t como variable independiente:
d2 M
(t) k M (t) = 0
d t2
as, se tendran las soluciones:
27
2.4 Problema de Laplace en un disco

1. si k = 0, Mk (t) = C + D t Mk (r) = C + D ln r
2. si k > 0, Mk (t) = C exp( k t) + D exp( k t)

Mk (r) = C r
+ D r
3. si k < 0, Mk (t) = C cos( k t) + D sen( k t)
Mk (r) = C cos( k ln r) + D sen( k ln r)
Para la ecuaci
on diferencial ordinaria en N (), las soluciones son:
1. si k = 0, Nk () = A + B
2. si k > 0, Nk () = A cos( k ) + B sen( k )
3. si k < 0, Nk () = A e
+ B e
Ademas, para que u(r, ) = M (r) N () sea una funcion definida correctamente, se debe cumplir:
N (0) = N (2 ) ; N (0) = N (2 ).
Imponiendo las condiciones de contorno peri
odicas:

A = A + 2 B
1. si k = 0
B = 0 Nk () = A
B=B
A = A cos(2 k) + B sen(2 k)
2. si k > 0
k B = k A sen(2 k) + k B cos(2 k)
que tiene soluci

on no trivial s
olo si k = n ; n N, en cuyo caso se tiene que A y B son
arbitrarios.
(
A + B = A e2 k + B e2 k
3. si k < 0
A k B k = A k e2 k + B k e2 k
pero esto s
olo puede ocurrir si A = B = 0.
(
Con lo cual se obtiene:

Mk (r) = C + D ln r
1. si k = 0
Nk () = A
C r k + D r k
Mk (r) =
2. si k > 0
0
Nk () =
A cos(n) + B sen(n)
3. si k < 0
si
si
k 6= n2
k = n2
Mk (r) = C cos( k ln r) + D sen( k ln r)

Nk () = 0
28
2. La ecuaci
on de Laplace
y se tendra la soluci
on u(r, ) como una combinaci
on de todas las soluciones linealmente independientes:
u(r, ) = A0 (C0 + D0 ln r) +
(Cn r n + Dn r n ) (An cos(n) + Bn sen(n))
n=1
Por otra parte, sabemos que las soluciones sobre D de la ecuaci

on de Laplace deben verificar:
min
(x,y) D
u(x, y) u(x, y)
max u(x, y)
(x,y) D
De forma que si g(x, y) est

a acotada, entonces u(x, y) debe estar acotada y, por tanto:
D0 = 0 ; Dn = 0 ; n N
El resto de las constantes se determina imponiendo la condici
on de contorno:
u(R, ) = g() = M (R) N ()
Para ello, consideramos el desarrollo en serie de Fourier de g() en el intervalo (0, 2):
a0 X
(an cos(n) + bn sen(n))
+
g() =
2
n=1
donde
a0 =
an =
bn =
g() d
0
2
g() cos(n) d , n N
(2.9)
2
0
g() sen(n) d , n N
Al igualar u(R, ) = g(), por unicidad de los coeficientes de la serie de Fourier, se tiene la
relaci
on entre las constantes, de forma que la soluci
on se escribe:
u(r, ) =
a0 X r n
[an cos(n) + bn sen(n)]
+
2
R
(2.10)
n=1
con a0 , an , bn definidos como en (2.9).

Ejemplo 2.2
1. Resolver el problema de Dirichlet
u = 0 ; 0 < r < 1 , 0 < < 2
u(1, ) = 1 + sen +
1
sen(3) + cos(4) , 0 < < 2
2
Soluci
on:
Se tiene la soluci
on teniendo en cuenta que g() viene dada por su desarrollo en serie de Fourier,
siendo:
a0 /2 = 1, a1 = 0, a2 = 0, a3 = 0,
a4 = 1
; an = bn = 0 , n 5
b1 = 1, b2 = 0, b3 = 1/2, b4 = 0
29
2.4 Problema de Laplace en un disco

para la expresi
on
a0 X
+
2
n=1
g() =
Con lo cual:
u(r, ) = 1 + r sen +
r3
sen(3) + r 4 cos(4)
2
2. Resolver el problema de Dirichlet

u = 0 ; 0 < r < 1 , 0 < < 2
u(1, ) = sen3 , 0 < < 2
Soluci
on:
Si calculamos el desarrollo en serie de Fourier de g() = sen3 , tenemos:
sen3 =
esto es:
con lo cual:
2.4.1
3
1
sen sen(3)
4
4
a0 = 0, a1 = 0,
a2 = 0, a3 = 0
; a n = bn = 0 , n 4
b1 = 3/4, b2 = 0, b3 = 1/4
1
3
u(r, ) = r sen r 3 sen(3)
4
4
F
ormula integral de Poisson
Si en la expresi
on obtenida en (2.10) sustituimos los coeficientes a0 , an , bn , n N se obtiene la
expresi
on:
u(r, ) =
1
2
g() d+
0
1 X r n 2
+
g() (cos(n) cos(n) + sen(n) sen(n)) d
R
0
n=1
1
2
1
2
1
2
1
2
1+2
0
n=1
2
1+
0
cos(n( )) g() d
!
(ein() + ein() ) g() d
r ei()
r ei()
1+
+
R r ei() R r ei()
0
2

X
r n
n=1
2

X
r n
R2 r 2
R2 + r 2 2R r cos( )
g() d
g() d
30
2. La ecuaci
on de Laplace
Esta es una forma alternativa de calcular la soluci

on al problema interior de Dirichlet en un disco
de radio R. Tambien se puede obtener la expresi
on equivalente en coordenadas cartesianas:

Z 2
1
R2 (x2 + y 2 )
u(x, y) =
g() d.
2 0
R2 2R (x cos + y sen ) + x2 + y 2
Se define el N
ucleo de Poisson de la forma:

R2 r 2
1
.
P (r, ) =
2 R2 + r 2 2R r cos( )
Se verifica que P (r, ) > 0 , , r < R.
Y, por tanto, la soluci
on del problema de contorno es:
u(r, ) =
P (r, )g() d.
Interpretaci
on fsica de la f
ormula de Poisson
Si u representa un potencial, u(r, ) es una media ponderada del potencial en la frontera. El
peso de la ponderacion es el n
ucleo de Poisson. Geometricamente, el denominador del n
ucleo de
Poisson es la distancia P al cuadrado.
(r,0)
0
De este modo los valores que m

as influyen en u(r, ) son los de aquellos puntos de la frontera
que m
as pr
oximos est
an a (r, ). Ademas, se tiene:
u(0, ) =
1
2
g() d
0
El potencial en el centro del disco, en cuyo interior es arm

onico, es la media de los potenciales
en la frontera. Esta es la expresi
on del teorema del valor medio.
2.5
Problema de Laplace en el exterior de un disco
Encontrar la soluci
on de la ecuaci
on de Laplace:
u = 0 en R2 \D
con D = {(x, y) R2 /x2 + y 2 R2 } que verifica la condici
on de contorno
u(x, y) = g(x, y) sobre D,
2.5 Problema de Laplace en el exterior de un disco
31
donde a
nadimos una condici
on de contorno en el infinito:
k > 0 / |u| k en R2 \D.
Si reescribimos el problema en coordenadas polares, debemos encontrar u soluci

on del siguiente
problema:
u = 0 ; r > R , 0 < 2
u(R, ) = g() ; 0 < 2

u(r, 0) = u(r, 2 )
; r>R
u (r, 0) = u (r, 2 )
lim u(r, ) <

r
Como antes, se busca una soluci

on de la forma:
u(r, ) = M (r) N (),

de modo que al aplicar el metodo de separacion de variables sobre la ecuaci
on en derivadas
parciales se obtienen las ecuaciones diferenciales ordinarias
r 2 M (r) + rM (r) kM (r) = 0
N () + kN () = 0
Siguiendo el procedimiento explicado en la Secci

on 2.4 se llega a la expresi
on de la soluci
on dada
por:
u(r, ) = A0 (C0 + D0 ln r) +
n=1
pero la condici
on de acotaci
on en el infinito exige que:
D0 = 0 ; Cn = 0 ; n N.
Por lo que la soluci
on es de la forma:
u(r, ) = A0 +
r n (An cos(n) + Bn sen(n))
n=1
donde los coeficientes A0 , An , Bn se obtendran tras imponer la condici

on de contorno:
u(R, ) = g().
Suponemos que
g() =
a0 X
+
2
n=1
donde los coeficientes de la serie de Fourier vienen dados por (2.9). De forma que, identificando
los coeficientes correspondientes la soluci
on se escribe:

a0 X R n
+
[an cos(n) + bn sen(n)].
u(r, ) =
2
r
n=1
Si a0 6= 0 la soluci
on u(r, ) no tiende a cero cuando r +.
32
2. La ecuaci
on de Laplace
Observaci
on 2.3 Definiendo un nuevo n
ucleo de Poisson:
Q (x, y) =
1
x2 + y 2 R 2
2 x2 + y 2 2R (x cos + y sen ) R2
se obtiene:
Z
u(x, y) =
2.6
Q (x, y) g() d
0
Problema de Laplace en un anillo
Encontrar la soluci
on de la ecuaci
on de Laplace:
u = 0 en D
para D = {(x, y) R2 /R22 < x2 + y 2 < R12 } con las condiciones de contorno
u(x, y) = g1 (x, y) en D1
u(x, y) = g2 (x, y) en D2
siendo
D1 = {(x, y) R2 /x2 + y 2 = R12 }
D2 = {(x, y) R2 /x2 + y 2 = R22 }
El planteamiento de este problema en coordenadas polares resulta ser:
u = 0 ; R2 < r < R1 ; 0 < 2
u(R1 , ) = g1 () ; 0 < 2
u(R2 , ) = g2 () ; 0 < 2
u(r, 0) = u(r, 2 )
; R2 < r < R1
u (r, 0) = u (r, 2 )
De nuevo la soluci
on se busca de la forma:
u(r, ) = M (r) N ().

Siguiendo el procedimiento explicado en la secci
on 2.4 se llega a la expresi
on de la soluci
on:
u(r, ) = A0 (C0 + D0 ln r) +
n=1
mientras que ahora la condici

on de que u sea acotada si g1 y g2 lo son, no descarta ninguna de
las constantes.
Podemos reagrupar las constantes de la forma:
33

angulo
u(r, ) = C0 + D0 ln r+
r n (An cos(n) + Bn sen(n))
n=1
n sen(n))
r n (An cos(n) + B
n=1
Suponiendo que g1 y g2 son funciones regulares, consideramos sus desarrollos en serie de Fourier
en el intervalo [0, 2].
g1 () =
g2 () =
a0 X
+
2
n=1

a
0 X
a
n cos(n) + bn sen(n)
+
2
n=1
La imposici
on de las condiciones de contorno permite encontrar el valor de las constantes
n , n N como soluci
C0 , D0 , An , Bn , An , B
on de un sistema de ecuaciones lineales:
a0
C0 + D0 ln R1 =
2
C0 , D0
a
0
C0 + D0 ln R2 =
2
An R1n + An R1n = an
An , An ; n = 1, 2, . . .
n
n
= a
n
An R2 + An R2
n Rn = bn
Bn R1n + B
1
Bn R2n
2.7
n Rn = bn
+B
2
n ; n = 1, 2, . . .
Bn , B
Problema de Laplace en un rect

angulo
Encontrar la soluci
on de la ecuaci
on de Laplace:
u = 0 en D
para D = {(x, y) R2 /0 < x < a, 0 < y < b} con las condiciones de contorno
u(x, 0) = g1 (x),
u(x, b) = g2 (x) ; 0 < x < a
u(0, y) = g3 (y),
u(a, y) = g4 (y) ; 0 < y < b.
Este problema se descompone en dos, de modo que cada uno de ellos posea condiciones homogeneas en cada una de las variables:
uI = 0 ; 0 < x < a , 0 < y < b
(I)
uI (x, 0) = g1 (x) , uI (x, b) = g2 (x) ; 0 < x < a
I
u (0, y) = 0 = uI (a, y) ; 0 < y < b.
34
2. La ecuaci
on de Laplace
uII = 0 ; 0 < x < a , 0 < y < b
uII (0, y) = g3 (y) , uII (a, y) = g4 (y) ; 0 < y < b

(II)
II
u (x, 0) = 0 = uII (x, b) ; 0 < x < a
Una vez obtenida la soluci

on de cada uno de ellos, se tiene:
u(x, y) = uI (x, y) + uII (x, y)

Veamos como se puede encontrar la soluci
on de un problema del tipo I.
De nuevo la soluci
on se busca de la forma:
u(x, y) = M (x) N (y).
As, la ecuaci
on de Laplace exige que:
M (x) N (y) M (x) N (y) = 0,
y, de este modo:
M (x) N (y)
= 0.
M (x)
N (y)
Luego las funciones M (x) y N (y) han de ser soluciones de:

M (x) + k M (x) = 0,
N (y) k N (y) = 0.
Ademas, se debe satisfacer la condici
on de frontera nula sobre x = 0 y x = a,
)
u(0, y) = M (0)N (y) = 0,
0 < y < b M (0) = M (a) = 0
u(a, y) = M (a)N (y) = 0,
Esto completa el problema de Sturm-Liouville, de modo que las soluciones para M (x) son:
1. si k = 0, M (x) = C + D x
2. si k > 0, M (x) = C cos( k x) + D sen( k x)
3. si k < 0, M (x) = C e
k x
+ D e
k x
Para la ecuaci
on diferencial ordinaria en N (y), las soluciones son:
1. si k = 0, N (y) = A + B y
ky
+ B e k y
3. si k < 0, N (y) = A cos( k y) + B sen( k y)

2. si k > 0, N (y) = A e
De modo que al imponer las condiciones de contorno para M , se tiene:

1. si k = 0 C = D = 0
35

angulo
C=0
D=0
2. si k > 0
o
D sen( k a) = 0

k = n 2 ; n N
a
3. si k < 0 C = D = 0
Luego la soluci
on se escribe, agrupando las constantes:
u(x, y) =
n=1
sen(
n
n
n
x)(An e a y + Bn e a y )
a
(2.11)
donde a
un tenemos que exigir las condiciones de contorno sobre y = 0 e y = b. Para ello
desarrollamos g1 (x) en serie de Fourier en senos extendiendo a (a, 0) como funcion impar:
g1 (x) =
bn
n=1
n
2
sen(
x) ; bn =
a
a
Por tanto,
u(x, 0) = g1 (x)
de modo que:
n=1
sen(
g1 (x) sen(
0
n
x) dx , n N
a
X
n
n
sen(
x)(An + Bn ) =
x) bn
a
a
n=1
An + Bn = bn , n = 1, 2, . . .
(2.12)
De forma similar se procede con la otra condici

on de contorno:
Z
X
n
2 a
n
cn sen(
g2 (x) =
x) ; cn =
x) dx , n N
g2 (x) sen(
a
a 0
a
n=1
Por tanto,
u(x, b) = g2 (x)
sen(
X
n
n
n
n
x)(An e a b + Bn e a b ) =
x)
cn sen(
a
a
n=1
n=1
de modo que:
An e
n
a
+ Bn e
n
a
= cn , n = 1, 2, . . .
(2.13)
Las constantes An , Bn , n N se determinan al resolver el sistema lineal formado por las ecuaciones (2.12) y (2.13).
Otra posibilidad es considerar la siguientes definiciones:
cosh x =
ex + ex
;
2
senh x =
ex ex
2
de modo que la expresi

on obtenida para la soluci
on en (2.11) se puede cambiar por:
u(x, y) =
n=1
sen(
n
n
n
x)(An cosh(
y) + Bn senh(
y))
a
a
a
36
2. La ecuaci
on de Laplace
Al imponer las condiciones de contorno, y con la notaci

on anterior, se obtiene
An = bn , n N
Bn =
cn bn cosh( n a b )
senh( n a b )
, n N.
Para obtener la soluci

on de un problema de tipo II se sigue un procedimiento similar a este.
2.8
Ecuaci
on de Poisson
Terminaremos este tema referente a las ecuaciones en derivadas parciales de tipo elptico con algunas notas sobre la resolucion de problemas asociados a la ecuaci
on de Poisson. Comenzaremos
n
por algunos resultados relativos a dominios en R .
Proposici
on 2.4 Sea D un dominio de Rn , (n = 2, 3) y sea u soluci
on de:
u = f (x1 , . . . , xn ) en D
u = g(x1 , . . . , xn ) sobre D
donde f y g son funciones continuas. Si v es una cierta funci
on que verifica:
v = f (x1 , . . . , xn ) en D
v = 0 sobre D
entonces u se puede descomponer de la forma:
u= v+w
donde w es soluci
on de:
w = 0 en D
w = g(x1 , . . . , xn ) v sobre D
Este principio es en todo similar a la tecnica de resolucion de las ecuaciones diferenciales ordinarias de orden superior, jugando aqu v el papel de soluci
on particular de la ecuaci
on diferencial
ordinaria. Ahora bien, como encontrar v? .
La idea consiste en utilizar las funciones de Green para medir la contribucion de f en cada punto
del dominio D. Para construir las funciones de Green pasamos por regularizar las distribuciones
de Dirac y resolver entonces la ecuaci
on de Poisson correspondiente.
Proposici
on 2.5 Sea el dominio D = B(0, R) R2 , las soluciones de la ecuaci
on de Poisson:
u = fR
donde
fR (x, y) =
1
R2
0
si
si
x2 + y 2 R 2
x2 + y 2 > R 2
37
2.8 Ecuacion de Poisson

vienen dadas por:
1
x2 + y 2
1
(c2 + 4 2 ln R) 4 R2
u(x, y) =
1 ln (x2 + y 2 )1/2 + c2
2
si
x2 + y 2 R 2
si
x2 + y 2 > R 2
Demostraci
on: Gracias a la simetra del problema, buscamos u de la forma
u = u(r)
de modo que, en coordenadas polares, la ecuaci
on en derivadas parciales se escribe:
du
1 d
(r
) = fR
r dr dr
donde
fR (r) =
1
R2
0
si
si
rR
r>R
As, para r > R, se tiene:

d
du
c1
(r
) = 0 r u (r) = c1 u (r) =
dr dr
r
u(r) = c1 ln r + c2
mientras que para r R se tendra:
1 d
du
1
r
(r
)=
(r u (r)) =
.
r dr dr
R2
R2
Integrando desde r = 0, como |u (0)| < +

r u (r) =
1
r2.
2 R2
Integrando de nuevo
u(r) u(0) =
r2
1
2
r
u(r)
=
u(0)
.
4 R2
4 R2
Ahora bien, por continuidad de u y u en r = R

u(0)
1
R
c1
= c1 ln R + c2 ;
= ,
4
2 R2
R
luego
u(0) = c2 +
de donde se tiene el resultado anunciado.
1
1
+ c1 ln R ; c1 =
4
2
38
2. La ecuaci
on de Laplace
Observaci
on 2.4 Por sencillez tomaremos a partir de ahora como soluci
on de la ecuaci
on de
Poisson anterior
c2 = 0,
quedando entonces
1
ln R
x2 + y 2
( 4 2 ) 4 R2
u(x, y) =
1 ln (x2 + y 2 )1/2
2
si
x2 + y 2 R 2
si
x2 + y 2 > R 2
Observese que fuera de B(0, R) coincide con la funcion de Green. Pues, haciendo R 0
u(x, y) =
p
1
ln x2 + y 2 si x2 + y 2 > 0
2
Se tiene entonces, que una carga unitaria situada en el punto (

x, y) crea un potencial en el punto
(x, y) dado por
u(x, y) =
p
1
1
ln (x x
ln k(x, y) (
x, y)k
)2 + (y y)2 =
2
2
Este resultado justifica entonces que la contribucion del potencial en el punto (x, y), de un
volumen unitario centrado en el punto (
x, y) con densidad de carga
f (
x, y)
ser
a, por la linealidad
1
f (
x, y) ln k(x, y) (
x, y)k
2
llegandose al siguiente resultado:

Proposici
on 2.6 Sea D un dominio de R2 y sea f una funci
on continua definida sobre D,
entonces, una soluci
on de la ecuaci
on de Poisson:
u = f (x, y) en D
se escribe:
1
u(x, y) =
2
f (
x, y) ln k(x, y) (
x, y)k d
x d
y.
Observaci
on 2.5 El mismo desarrollo puede hacerse en R3 para obtener la correspondiente
funcion de Green, para lo cual se resuelve:
u = fR en R3 ,
donde
fR (x, y, z) =
3
4 R3
0
si
si
k(x, y, z)k R
k(x, y, z)k > R
39
2.9 Problema de Poisson en un disco

Gracias a la simetra, se buscan soluciones de la forma
u(, , ) = u().
Y, por tanto, la ecuaci
on diferencial ordinaria que debemos resolver es
1 d 2 du
(
) = fR
2 d
d
con
fR () =
3
4 R3
0
si
si
> R.
De esta forma, se obtiene:
u(x, y, z) =
(c2 +
3
k(x, y, z)k2
)
8 R
8 r3
1
1
+ c2
4 k(x, y, z)k
si
k(x, y, z)k R
si
k(x, y, z)k > R
A continuaci
on estudiaremos la resolucion en dominios acotados en R.
2.9
Problema de Poisson en un disco
Encontrar la soluci
on de la ecuaci
on de Poisson:
u = f (x, y) en D
con D = {(x, y) R2 /x2 + y 2 < R2 }, que verifica la condici
on de contorno:
u(x, y) = g(x, y) sobre D.
Para poder aplicar el metodo de separacion de variables debemos reescribir el problema en
coordenadas polares; as se tiene:
u = f (r, ) ; 0 r < R , 0 < 2
u(R, ) = g() ; 0 < 2

u(r, 0) = u(r, 2 )
; 0r<R
u (r, 0) = u (r, 2 )
lim u(r, ) <

r0
Corresponde a la obtenci
on del potencial electrost
atico u(r, ) en el disco de radio R y centro el
origen, cuando en el existe una densidad de carga proporcional al termino f (r, ) y se impone
que, en la circunferencia que lo contiene, el potencial sea g().
Abordamos su resolucion utilizando el metodo de separacion de variables. Considerando las
autofunciones que proporciona el problema homogeneo correspondiente (2.10):
{1} {cos (n)}nN { sen (n)}nN
40
2. La ecuaci
on de Laplace
se supone formalmente como soluci

on la serie de Fourier:
u(r, ) =
A0 (r) X
[An (r) cos(n ) + Bn (r) sen(n )]
+
2
(2.14)
n=1
donde trataremos de determinar el valor de las funciones A0 (r), An (r), Bn (r), n N, para que
esta expresi
on defina una soluci
on del problema de partida.
Para ello consideramos las series de Fourier de f (r, ) y g():
f (r, ) =
0 (r) =
n (r) =
n (r) =
0 (r) X
[n (r) cos(n ) + n (r) sen(n )]
+
2
n=1
1
g() =
a0 =
an =
bn =
f (r, s) d s
0
2
f (r, s) cos(n s) d s ; n N
0
2
0
f (r, s) sen(n s) d s ; n N.
a0 X
[an cos(n ) + bn sen(n )]
+
2
n=1
1
g(s) d s
0
2
g(s) cos(n s) d s ; n N
0
2
0
g(s) sen(n s) d s ; n N.
Sustituimos formalmente las funciones u(r, ) y f (r, ) en la ecuaci

on en derivadas parciales, lo
que da lugar a:
1
2
A0 (r)
1
r
A0 (r)

X
An (r) +

1
n2
A (r) 2 An (r) cos(n )
r n
r
Bn (r) +

n2
1
B (r) 2 Bn (r) sen(n )
r n
r
n=1

X
n=1
0 (r) X
=
(n (r) cos(n ) + n (r) sen(n ))
+
2
n=1
41
2.10 Problema de Poisson en un rect

angulo
La unicidad de los coeficientes de Fourier nos permite escribir:
r 2 A0 (r) + r A0 (r) = r 2 0 (r)
r 2 An (r) + r An (r) n2 An (r) = r 2 n (r) , n N
(2.15)
r 2 Bn (r) + r Bn (r) n2 Bn (r) = r 2 n (r) , n N

A continuaci
on utilizamos la condici
on frontera, que impuesta sobre (2.14) origina:
A0 (R) = a0
u(R, ) = g()
A (R) = an , n N
n
Bn (R) = bn , n N
(2.16)
Ademas, la condici
on de acotaci
on para la soluci
on proporciona otra restriccion adicional:
lim A0 (r) < , lim An (r) < , lim Bn (r) < , n N .
r0
r0
r0
(2.17)
Resolviendo los problemas formados por (2.15), (2.16) y (2.17) obtenemos las funciones A0 (r),
An (r) , Bn (r) , n N.
Observaci
on 2.6 Para las ecuaciones diferenciales ordinarias (2.15) se conoce un sistema fundamental de soluciones de la correspondiente ecuaci
on homogenea, que es el formado por las
n
n
funciones r y r . La soluci
on particular de la no homogenea se podr
a obtener aplicando el
metodo de variaci
on de constantes.
2.10
Problema de Poisson en un rect

angulo
Tratamos en este apartado el siguiente problema:

u = f (x, y); 0 < x < a, 0 < y < b
u(x, 0) = g1 (x), u(x, b) = g2 (x) ; 0 < x < a
u(0, y) = g3 (y), u(a, y) = g4 (y) ; 0 < y < b
Para resolverlo por el metodo de separacion de variables lo descomponemos en dos, de modo
que cada uno de ellos posea condiciones homogeneas en cada una de las variables:
uI = 0 ; 0 < x < a ; 0 < y < b
uI (x, 0) = 0 = uI (x, b) ; 0 < x < a

(I)
I
u (0, y) = g3 (y) ; uI (a, y) = g4 (y) ; 0 < y < b
uII = f (x, y) ; 0 < x < a ; 0 < y < b
(II)
uII (x, 0) = g1 (x) ; uII (x, b) = g2 (x) ; 0 < x < a
II
u (0, y) = 0 = uII (a, y) ; 0 < y < b
42
2. La ecuaci
on de Laplace
Una vez obtenida la soluci

on de cada uno de ellos, se tiene:
u(x, y) = uI (x, y) + uII (x, y)
El problema I ya se ha estudiado, veamos como se puede resolver el problema II. Considerando
las autofunciones que proporciona el problema homogeneo correspondiente (2.11):
{ sen(
n x
)}nN
a
representamos formalmente la expresi

on de u como la serie de Fourier:
u(x, y) =
n=1
un (y) sen(
n x
)
a
(2.18)
Consideramos ahora los desarrollos en serie de Fourier de f (x, y), g1 (x) y g2 (x):
Z
n x
2 a
n s
an (y) sen(
f (x, y) =
); an (y) =
) ds ; n N
f (s, y) sen(
a
a 0
a
n=1
Z
X
2 a
n s
n x
);
bn =
) ds ; n N
g1 (s) sen(
bn sen(
g1 (x) =
a
a
a
0
n=1
Z
X
2 a
n s
n x
);
cn =
) ds ; n N
g2 (s) sen(
cn sen(
g2 (x) =
a
a 0
a
n=1
Si sustituimos formalmente estas expresiones en la ecuaci
on en derivadas parciales, se deduce
que las funciones un (y) satisfacen la siguiente coleccion de ecuaciones diferenciales ordinarias:
un (y) (
n 2
) un (y) = an (y), n N
a
(2.19)
Imponiendo ahora que la funci

on u debe satisfacer las condiciones frontera en la variable y se
tiene:
X
X
n x
n x
bn sen(
)=
) un (0) = bn , n N
(2.20)
un (0) sen(
a
a
n=1
n=1
un (b) sen(
n=1
X
n x
n x
cn sen(
)=
) un (b) = cn , n N
a
a
(2.21)
n=1
De modo que el problema formado por (2.19)-(2.21) proporciona las soluciones un (y).
2.11
2.1. Buscar la soluci

on del problema interior de Dirichlet para la ecuaci
on de Laplace en el
disco de radio 2 con las condiciones de contorno siguientes:
(a) u(2, ) = 1 + sen + 21 cos(4 )
(b) u(2, ) = 2
43
2.11 Ejercicios propuestos

(c) u(2, ) = sen
(d) u(2, ) = cos(3)

sen 0 <
(e) u(2, ) =
0
< 2

1 0<
(f) u(2, ) =
0 < 2
2.2. Determinar la soluci

on acotada del problema exterior de Dirichlet para la ecuaci
on de
Laplace en el disco de radio 3 con las condiciones de contorno del problema anterior.
2.3. Buscar la soluci
on del problema de Dirichlet para la ecuaci
on de Laplace en un anillo de
radios 1 y 2 con las condiciones de contorno:
(a) u(1, ) = 0
u(2, ) = sen
(b) u(1, ) = 3
u(2, ) = 5
(c) u(1, ) = sen
u(2, ) = sen 3
2.4. Resolver el problema de Laplace en el rect
angulo:
u = 0 ; 0 < x < 1 ; 0 < y < 1
u(0, y) = u(1, y) = 0 ; 0 < y < 1
u(x, 0) = sen(3 x) ; u(x, 1) = 0 ; 0 < x < 1
2.5. Resolver el problema de Laplace en el rect
angulo:
u = 0 ; 0 < x < 1 ; 0 < y <
u(0, y) = u(1, y) = 0 ; 0 < y <
u(x, 0) = 0 ; u(x, ) = x ; 0 < x < 1
2.6. Encontrar la soluci
on acotada del problema de Poisson:
1
0 < r < 1 , 0 < < 2
u = ,
r
u(1, ) = , 0 < < 2
on acotada del problema de Poisson:
u = ,
0 < r < 2 , 0 < < 2
u(2, ) = 1 + , 0 < < 2
2.8. Resolver el problema de Poisson en el rect
angulo:
u = sen(2 x) ; 0 < x < ; 0 < y <
u(0, y) = y 2 ; u(, y) = 0 ; 0 < y <
u(x, 0) = x2 ; u(x, ) = 0 ; 0 < x <
44
2. La ecuaci
on de Laplace
Tema 3
La ecuaci
on del calor
3.1
Introducci
on
La ecuaci
on del calor o de difusi
on (de tipo parabolico en el caso unidimensional), tiene por
expresi
on:
ut a2 u = f (x, t)
donde x representa el conjunto de variables de posici

on, t representa el tiempo y a2 es la difusividad termica.
Esta ecuaci
on aparece en una gran variedad de problemas de la Fsica Matematica: la conduccion de calor (u representa la distribucion de temperatura), la transmision en un cable electrico
(u es la distribuci
on de voltaje), o diversos procesos de difusi
on en lquidos (u representa la
concentraci
on).
Para obtener la ecuaci
on del calor unidimensional supongamos una barra de longitud L para la
cual hacemos las siguientes hip
otesis:
1. La barra est
a hecha de un u
nico material homogeneo y conductor.
2. La barra est
a aislada lateralmente (el flujo de calor se produce s
olo en la direcci
on X).
3. La barra es delgada (la temperatura de todos los puntos de una secci
on transversal es
constante).
x+x
Ademas, consideramos tres principios de la fsica:

1. Energa termica: La energa total en la secci
on es el producto de la densidad de energa
termica por el volumen.
energa termica = e(x, t) A x
45
46
3. La ecuaci
on del calor
Por otra parte, tambien se define como la energa necesaria para elevar la temperatura
desde la de referencia a su temperatura actual u(x, t).
e(x, t) A x = c(x) (x) A u(x, t) x
siendo:
c = capacidad termica o calor especfico de la barra (mide la capacidad de la barra de
almacenar calor)
= densidad de la barra
A = area de la secci
on transversal de la barra.
La cantidad total de calor (en caloras) dentro de [x, x + x] en cualquier instante de
tiempo viene dada por
Z x+ x
c A u(s, t) ds
x
2. Flujo de calor: Es la cantidad de energa termica por unidad de tiempo que fluye hacia la
derecha por unidad de
area. La energa termica que fluye por unidad de tiempo a traves
de las fronteras de la secci
on es (x, t) A (x + x, t) A. La ley de Fourier nos dice que
la velocidad a la que fluye el calor de un lugar caliente a uno fro es proporcional a la
diferencia de temperatura. Por tanto, la velocidad del flujo de calor a traves de un punto
x es porporcional a ux (x, t), donde ux (x, t) representa variaciones de la temperatura por
unidad de longitud.
u
= k
x
donde el coeficiente de proporcionalidad k es la conductividad termica de la barra (mide
la capacidad de la barra de conducir calor). Si la temperatura u crece cuando x crece,
entonces ux (x, t) > 0 y el flujo es negativo.
3. Ley de conservaci
on de la energa: El calor no tiene fuentes ni sumideros.
La ley de conservaci
on de la energa termica aplicada al segmento [x, x + x] se puede expresar
como
Variaci
on de energa termica dentro de [x, x + x] en el tiempo
= flujo de calor a traves de las fronteras por unidad de tiempo
+ energa termica generada dentro de [x, x + x] por unidad de tiempo
es decir
Z x+ x
Z
d x+ x
A f (s, t) ds
A e(s, t) ds = A (x, t) A (x + x, t) +
dt x
x
donde f (x, t) denota una fuente de calor externa (caloras por cm. por sg.), o bien,
Z x+ x
Z
d x+ x
ut (s, t) ds
c A u(s, t) ds = c A
dt x
x
Z x+ x
f (s, t) ds
= k A [ux (x + x, t) ux (x, t)] + A
(3.1)
La cuesti
on que surge consiste en reeemplazar la ecuaci
on (3.1) por otra que no contenga integrales. Para ello utilizamos el Teorema del Valor Medio del C
alculo Integral.
Z b
f (x) dx = f ()(b a)
Si f es continua en [a, b], entonces a < < b/
a
47
3.1 Introducci
on
Aplicando este resultado a la expresi
on (3.1) obtenemos la ecuaci
on:
c A ut (, t) x = k A[ux (x + x, t) ux (x, t)] + A f (, t) x , x < < x + x
o bien

k ux (x + x, t) ux (x, t)
1
ut (, t) =
f (, t)
+
c
x
c
Finalmente, haciendo x 0, obtenemos el resultado deseado

ut = a2 uxx + F (x, t)
donde:
k
= difusividad termica de la barra
c
1
f (x, t) = densidad de calor de la fuente.
F (x, t) =
c
a2 =
Observaci
on 3.1
1. Supongamos que la barra no est
a aislada lateralmente y que el calor puede fluir dentro
y fuera de la frontera lateral con una ratio proporcional a la diferencia de temperatura
u(x, t) y la del medio que mantenemos a cero. En este caso el principio de conservaci
on
del calor nos porporciona la ecuaci
on
ut = a2 u u + F (x, t)
donde = ratio constante para el flujo lateral ( > 0).
2. Supongamos que u(x, t) mide la concentraci
on de una sustancia en una corriente que se
mueve con velocidad . Supongamos que la concentraci
on u(x, t) cambia con la difusi
on y
con la convecci
on. Entonces la nueva ecuaci
on de conservacion:
Cambio de masa dentro de [x, x + x]
= cambio debido a la difusi
on a traves de las fronteras
+ cambio debido a que el material es transportado
a traves de las fronteras
proporciona la ecuaci
on
ut = a2 u ux
3. Las unidades de algunas cantidades b
asicas de flujo de calor (en el sistema c.g.s.) son:
u = temperatura (C)
ut = ratio de cambio de la temperatura (C/sg)
ux = pendiente de la curva de temperatura (C/cm)
uxx = concavidad de la curva de temperatura (C/cm2 )
c = capacidad termica (cal/gC)
k = conductividad termica (cal/cm sg C)
= densidad (g/cm3 )
a2 = difusividad termica (cm2 /sg)
48
3. La ecuaci
on del calor
4. La constante k es la conductividad termica de la barra y mide el flujo de calor (en caloras)
que es transmitido por segundo a traves de una placa de 1 cm de grosor a traves de un
area de 1 cm2 cuando la diferencia de temperatura es 1 C. Los valores tpicos de k son
cercanos a 1 para el cobre y cercanos a cero para materiales no conductores.
Si el material de la barra es uniforme k no depende de x. Para algunos materiales k
depende de la temperatura u y as la ecuaci
on correspondiente
ut =
1
(k(u) ux )
c x
es de tipo no lineal.
5. La constante c es la capacidad termica (o calor especfico) de una sustancia y mide la
cantidad de energa que la sustancia puede almacenar. Por ejemplo, una patata cocida
tendra una capacidad termica grande, pues puede almacenar una gran cantidad de calor
por unidad de masa de patata (por eso tarda mucho tiempo en calentarse). Tecnicamente
la capacidad termica es la cantidad de calor (en caloras) necesaria para producir un cambio
de temperatura de 1 C en 1 g de sustancia. Para la mayora de nuestros problemas, c es
una constante independiente de x y de u.
3.2
Condiciones frontera asociadas a la ecuaci

on del calor
Existen tres tipos de condiciones de contorno asociadas a los problemas fsicos:

1. Temperatura dada en los extremos.
u(0, t) = p(t)
u(L, t) = q(t)
0
Consideramos el flujo de calor en un alambre y suponemos que los extremos del alambre
siguen las curvas de temperatura dadas por p(t) y q(t). Un aparato que mantenga la
temperatura en los extremos requiere un termostato en cada extremo y elementos de calor
para ajustar la temperatura adecuadamente. Son muy comunes los problemas con este
tipo de condiciones de contorno. Incluso, el objetivo del problema puede ser encontrar las
temperaturas de contorno (problema de control) p(t) y q(t) que fuercen un comportamiento
de la temperatura de una forma determinada. En la industria del acero, es necesario a
menudo determinar controles frontera de modo que la temperatura del metal en el interior
del horno cambie a traves del tiempo, pero que el gradiente de temperatura de un punto
a otro sea peque
no.
2. Temperatura dada en el medio.
Supongamos un cable de cobre aislado en el que sus extremos est
an en contacto con un
medio circundante a temperaturas p(t) y q(t).
Lquido a temperatura p(t)
Lquido a temperatura q(t)
49

on del calor
Al especificar este tipo de condiciones de contorno, no podemos decir que la temperatura

en el extremo del alambre sea la misma que la temperatura del lquido, pero sabemos
(ley de Newton del enfriamiento) que cuando la temperatura del alambre en una de las
fronteras es menor que la del lquido correspondiente, entonces el calor fluira dentro del
alambre con una ratio proporcional a esta diferencia. En resumen, la ley de Newton del
enfriamiento proporciona
Flujo externo de calor (en x = 0) = h [u(0, t) p(t)]
Flujo externo de calor (en x = L) = h [u(L, t) q(t)]
donde h es el coeficiente de intercambio de calor y el flujo externo de calor es el n
umero
de caloras que cruzan los extremos del alambre por segundo. Cabe destacar que el flujo
externo de calor ser
a positivo en cada extremo si la temperatura del alambre es mayor que
la del medio circundante.
La ley de Fourier del enfriamiento nos da otra representacion del flujo externo de calor que,
combinada con la anterior, proporciona las condiciones de contorno. La ley de Fourier del
enfriamiento (probada experimentalmente) nos dice que el flujo externo de calor a traves de
una frontera es proporcional a la derivada normal interior a traves de la frontera. Es decir,
si la temperatura crece r
apidamente en la direcci
on exterior de la frontera, entonces el
calor fluira del medio circundante al interior del dominio. En el problema unidimensional,
la ley de Fourier del enfriamiento se expresa:
Flujo externo de calor (en x = 0) = k
u(0, t)
x
Flujo externo de calor (en x = L) = k
u(L, t)
x
donde k es la conductividad termica del metal, que es una medida de como conduce el
calor el material.
Finalmente, combinando las dos expresiones de flujo de calor obtenemos las condiciones
de contorno
u(0, t)
h
= [u(0, t) p(t)]
x
k
h
u(L, t)
= [u(L, t) q(t)]
x
k
A menudo la constante h/k se escibe como y entonces las condiciones de contorno se
escriben
ux (0, t) = [u(0, t) p(t)]
ux (L, t) = [u(L, t) q(t)]
50
3. La ecuaci
on del calor
3. Flujo dado.
Las fronteras aisladas son aquellas que no permiten el paso del flujo de calor y, por tanto, la
derivada normal (interior o exterior) debe ser cero en la frontera (pues la derivada normal
es proporcional al flujo). En el caso de un alambre con extremos aislados se tiene:
ux (0, t) = 0, ux (L, t) = 0
Ejemplo 3.1 Supongamos un alambre de cobre de 200 cm de longitud que est

a aislado lato
eralmente y tiene una temperatura inicial de 0 C. Supongamos que el extremo superior (x = 0)
est
a aislado mientras que el inferior (x = 200) est
a inmerso en agua que tiene una temperatura
constante de q(t) = 20o C.
ux (0, t) = 0
ux (200, t) = hk [u(200, t) 20]
q(t) = 20
El modelo matem
atico para este problema es el siguiente
u
2 u
a2
= 0; 0 < x < 200, t > 0
t
x2
ux (0, t) = 0; t > 0
h
u(200, t)
= [u(200, t) 20]; t > 0
x
k
u(x, 0) = 0; 0 < x < 200
3.3
Resultados generales
Aunque en casi todo lo que sigue consideraremos problemas sobre dominios en R comenzaremos
por plantear el modelo en Rn .
El problema general asociado a las ecuaciones de tipo parab
olico en Rn con n = 1, 2, 3, es un
problema que contiene condiciones de contorno y condiciones de valor inicial, cuando se plantean
sobre dominios acotados, y que podemos formular del modo siguiente:
Sea D un dominio de Rn (n = 1, 2, 3), se busca una funcion
(0, T ) R
u:D
51
3.3 Resultados generales

que verifique:
u
a2 u = f en D (0, T )
t
u
+ u = g sobre D (0, T )
~n
u(x, 0) = u0 en D
donde f, g, u0 son funciones suficientemente regulares en la pr
actica para poder asegurar la existencia de soluci
on.
Dicho problema se puede interpretar como la b
usqueda de la temperatura a lo largo de un cuerpo
que ocupa una regi
on D en el espacio, que est
a sometido a unas fuentes de calor dadas por f , que
intercambia calor con el exterior a traves de la frontera D (viniendo marcado este intercambio
por , , g) y que inicialmente tiene una temperatura u0 .
Teorema 3.1 El problema general asociado a la ecuaci
on del calor:
u
a2 u = f en D (0, T )
t
u
+ u = g sobre D (0, T )
~n
u(x, 0) = u0 en D
bajo las hip
otesis:
1. D dominio de frontera D regular,
2. f, g, u0 funciones continuas,
3. 0 , > 0,
admite una y s
olo una soluci
on.
Tambien aqu se puede generalizar el resultado al caso en que los coeficientes de la ecuaci
on en
derivadas parciales y de las condiciones de contorno sean variables, de un modo parecido a las
ecuaciones de tipo elptico.
La demostracion de la existencia de soluci
on es complicada, pero la correspondiente a la unicidad reposa sobre las siguientes propiedades, cuya interpretacion fsica es inmediata, y que son
semejantes a las observadas en las ecuaciones elpticas.
Teorema 3.2 Sea D = (0, L) R, y sea = (0 (0, T )) (L (0, T )) ((0, L) 0) .
Sean u1 , u2 soluciones de la ecuaci
on parab
olica:
2 u
u
a2
= f (x, t) en D (0, T )
t
x2
52
3. La ecuaci
on del calor
tales que
u1 u2 en
entonces se verifica
(0, T )
u1 u2 en D
Teorema 3.3 Sea u soluci
on de la ecuaci
on parab
olica:
2 u
u
a2
= 0 en D (0, T )
t
x2
entonces los extremos de u se alcanzan siempre sobre .
Veamos ahora una soluci
on explcita de la ecuaci
on del calor homogenea sobre R, que permite
ilustrar las propiedades de dicha ecuaci
on. (La demostracion de dichos resultados se realiza
mediante la transformada de Fourier).
Teorema 3.4 Una soluci
on de la ecuaci
on del calor homogenea:
2 u
u
a2
= 0 ; < x < + , t > 0
t
x2
tal que
lim u(x, t) = g(x) ; < x < +
t0+
viene dada por la expresi

on
u(x, t) =
2a
(x y)2
exp
4 a2 t

g(y) d y
Observaci
on 3.2 Observese que si g(x) 0, siendo no nula sobre alg
un conjunto de R, aun
siendo tan peque
no como se quiera, se tendra que:
u(x, t) > 0 , x R , t > 0
lo que justifica que se hable de propagacion a velocidad infinita de la informaci
on en las ecuaciones de tipo parabolico.
Por otra parte, se tiene que
G(x, s, t) =
2a
(x s)2
exp
4 a2 t
t

es la funcion de Green asociada a este problema. De modo que la soluci

on se puede escribir
como
Z +
G(x, s, t) g(s) d s
u(x, t) =
53
3.4 Difusion en una barra finita aislada

Teorema 3.5 Una soluci
on de la ecuaci
on del calor no homogenea:
2 u
u
a2
= f (x, t) ; < x < + , t > 0
t
x2
con la condici
on
lim u(x, t) = g(x) ; < x < +
t0+
se escribe:
u(x, t) =
1
+
2a
2a
(x y)2
exp
4 a2 t

Z
g(y) d y
(x y)2
exp
4 a2 s

f (y, t s) d y d s
Observaci
on 3.3 Del teorema anterior se deduce el dominio de dependencia en las ecuaciones
de tipo parabolico, pues a u(x, t) contribuye la condici
on inicial g(x) y todos los valores de
f (x, s) para:
x R , 0 < s < t.
t
(x, t)
A continuaci
on se estudia la soluci
on asociada a la ecuaci
on del calor en un dominio acotado.
3.4
Difusi
on en una barra finita aislada
Se considera una barra de longitud l tal que el calor se distribuye uniformemente sobre su
secci
on transversal a lo largo del tiempo. Se supone que la barra est
a aislada de modo que no
hay intercambio de calor con el exterior. Si imponemos que la temperatura en sus extremos sea
nula, la distribuci
on de temperatura en la barra viene dada como soluci
on del siguiente problema
de valor inicial con condiciones de frontera homogeneas:
u
2 u
(x, t) a2
(x, t) = 0 , 0 < x < l , t > 0
t
x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = g(x) , 0 < x < l
Para resolver este problema utilizamos el metodo de separacion de variables, de modo que
suponemos que la soluci
on u(x, t) se puede descomponer de la forma:
u(x, t) = M (x) N (t)
54
3. La ecuaci
on del calor
sustituyendo en la ecuaci
on del calor y dividiendo por la propia funcion se tiene:
1 N (t)
M (x)
=
=k
a2 N (t)
M (x)
con k R. Con lo cual tenemos que resolver las siguientes ecuaciones diferenciales ordinarias:
M (x) k M (x) = 0
N (t) a2 k N (t) = 0
Las posibles soluciones en

M (x)
1. si k = 0
N (t)
(
M (x)
2. si k > 0
N (t)
3. si k < 0
funci
on del valor del par
ametro k son:
= Cx+D
= A
= C e k x + D e
2
= A ea k t
kx
M (x) = C cos( k x) + D sen( k x)

2
N (t) = A ea k t
Si imponemos las condiciones frontera M (0) = M (l) = 0:

D=0
1. si k = 0
C=D=0
Cl+D =0
(
C +D = 0
2. si k > 0
C=D=0
C e kl + D e kl = 0
C=0
D=0
3. si k < 0
o
C
cos(
kl)
+
D
sen(
kl)
=
0
k = ( nl )2 , n N
Sustituyendo en la ecuaci
on:
un (x, t) = An e(
an 2
) t
l
sen(
n
x) , n N.
l
Por tanto, la soluci

on formal se escribe:
u(x, t) =
n=1
un (x, t) =
n=1
An e(
an 2
) t
l
sen(
n
x)
l
Como se debe verificar la condici

on inicial u(x, 0) = g(x), consideramos la serie de Fourier en
senos de g(x):
X
n
x).
bn sen(
g(x) =
l
n=1
55
3.4 Difusion en una barra finita aislada

De forma que las constantes An son:
An = bn =
Con lo cual:
u(x, t) =
2
l
g(s) sen(
0
bn e(
n
s) d s , n N.
l
an 2
l
sen
n=1
es decir:
u(x, t) =
l
0
2
l
( a nl ) t
n=1
n
x
l
)
n
n
sen
x sen
s
g(s) d s
l
l
Observaci
on 3.4
1. La funci
on
G(x, s, t) =
ns
2 X ( n a )2 t
nx
l
) sen(
)
e
sen(
l
l
l
n=1
es la funci
on de Green del problema considerado. De modo que la soluci
on puede escribirse:
Z l
G(x, s, t) g(s) ds
u(x, t) =
0
2. Si g(x) =
m
X
bn sen(
n=1
n
x) entonces:
l
u(x, t) =
m
X
bn e(
an 2
)
l
sen(
n=1
n
x)
l
3. Se verifica que:
lim u(x, t) = 0 , x
independientemente de la condici
on inicial.
u(x, 0)
u(x, 1)
u(x, 3)
u(x, n)
En los problemas de difusi

on a tiempos m
as altos se amortigua m
as, debido al termino
an 2
e( l ) t . Para perodos largos la soluci
on es aproximadamente igual al primer termino.
56
3.5
3. La ecuaci
on del calor
Difusi
on en una barra finita no aislada
Es una modificaci
on del problema anterior consistente en introducir una fuente externa de calor
en cada punto de la barra, que vara con el tiempo. Si los extremos se mantienen a temperatura
nula, la formulaci
on matem
atica del problema es la siguiente:
2 u
u
(x, t) a2
(x, t) = f (x, t) , 0 < x < l , t > 0
t
x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = g(x) , 0 < x < l
Buscamos una representaci
on de la soluci
on en forma de desarrollo en serie respecto a las autofunciones del problema homogeneo, es decir:
u(x, t) =
un (t) sen(
n=1
nx
).
l
Para determinar las funciones un (t) consideramos el desarrollo en serie de Fourier de f (x, t) y
g(x) en terminos de las autofunciones anteriores:
g(x) =
n=1
f (x, t) =
n=1
an sen(
nx
2
) ; an =
l
l
g(s) sen(
0
2
nx
) ; bn (t) =
bn (t) sen(
l
l
ns
) ds, n N
l
f (s, t) sen(
ns
) ds, n N
l
Sustituyendo en la ecuaci
on en derivadas parciales u(x, t) y f (x, t) por sus series, se obtiene
formalmente:

X
X
na 2
nx
nx
un (t) + (
bn (t) sen(
) un (t) sen(
)=
)
l
l
l
n=1
n=1
De la unicidad de los coeficientes de Fourier, se sigue que:

n N , un (t) + (
na 2
) un (t) = bn (t)
l
Por otra parte, de la condici

on inicial tenemos:
u(x, 0) =
n=1
un (0) sen(
nx
) = g(x)
l
n N , un (0) = an
Estas dos condiciones constituyen una coleccion de problemas de valor inicial, cuyas soluciones
son:
Z t
na 2
( n l a )2 t
n N , un (t) = an e
bn (s) e( l ) (ts) d s
+
0
57
3.6 Caso general

Llevando este valor un (t) a la soluci
on u(x, t) se obtiene:
u(x, t) =
an e(
na 2
)
l
sen(
n=1
Z Z
X
2 t
n=1
nx
)
l
f (r, s) e(
na 2
)
l
(ts)
sen(
nx
nr
) sen(
) drds
l
l
como soluci
on formal.
Observaci
on 3.5 Si denotamos por uI (x, t) y uII (x, t) el primer y el segundo sumandos, respectivamente, la soluci
on se puede escrir como:
u(x, t) = uI (x, t) + uII (x, t)
donde uI (x, t) es la soluci
on del problema homogeneo (transitorio con condici
on inicial) y
uII (x, t) (estacionario correspondiente a la fuente f (x, t)) se puede expresar de la forma:
Z tZ l
II
G(x, r, t s) f (r, s) d r d s
u (x, t) =
0
siendo:
G(x, r, t) =
2 X ( n a )2 t
nx
nr
l
e
) sen(
)
sen(
l
l
l
n=1
la funcion de Green para el problema unidimensional de difusi

on. As uII (x, t) es la soluci
on
del problema no homogeneo para la ecuaci
on en derivadas parciales con condici
on inicial y de
frontera nulas.
3.6
Caso general
El problema que se presenta ahora es el de una barra que no est

a aislada y cuya temperatura
en los extremos vara con el tiempo.
2 u
u
(x, t) a2
(x, t) = f (x, t) , 0 < x < l , t > 0
t
x2
u(0, t) = p(t) , t > 0
u(l, t) = q(t) , t > 0
u(x, 0) = g(x) , 0 < x < l
Este problema se reduce al tipo anterior introduciendo un cambio de funcion:
u(x, t) = w(x, t) + v(x, t)
donde w(x, t) representa la parte de la soluci
on que depende de la condici
on inicial (y que
tiende a cero) y v(x, t) representa la parte estacionaria, que verifica las condiciones frontera no
homogeneas:
v(0, t) = p(t) , v(l, t) = q(t)
58
3. La ecuaci
on del calor
As basta elegir:
v(x, t) = p(t) +
x
(q(t) p(t)).
l
Con lo cual la funci

on w(x, t) satisface el problema:
2 w
v
w
(x, t) a2
(x, t) = f (x, t)
(x, t) , 0 < x < l , t > 0
2
t
x
t
w(0, t) = w(l, t) = 0 , t > 0
w(x, 0) = g(x) v(x, 0) , 0 < x < l
que se puede resolver seg
un el metodo anterior. Una vez encontrada la funcion w(x, t), ya se
tiene la soluci
Observaci
on 3.6 En el caso particular de
u(0, t) = T1 , u(l, t) = T2
la soluci
on estacionaria del problema con condiciones frontera no homogeneas vara linealmente
(en x) entre las temperaturas T1 y T2 .
Partimos de u(x, 0) = g(x) temperatura inicial y se llega al estado estacionario
lim u(x, t) = v(x) = T1 +
x
(T2 T1 )
l
T2
T1
0
3.7
Flujo de calor con condiciones de contorno homog

eneas en
la derivada
Consideramos un dispositivo en el que fijamos la temperatura en la parte superior de un alambre

u(0, t) = 0 e introducimos el final del alambre en una soluci
on de agua a temperatura cero
(referido a alguna temperatura de referencia).
3.7 Flujo de calor con condiciones de contorno homogeneas en la derivada
59
u(0, t) = 0
ux (1, t) + h u(1, t) = 0
El flujo natural de calor (Ley de Newton del enfriamiento) representa la condici

on de contorno
en x = 1, es decir:
ux (1, t) = h u(1, t).
Supongamos que la temperatura inicial del alambre viene dada por u(x, 0) = g(x). Para encontrar la soluci
on u(x, t) debemos resolver:
2 u
u
(x, t) a2
(x, t) = 0 , 0 < x < 1 , t > 0
t
x2
u(0, t) = 0 , t > 0
u
(1, t) + h u(1, t) = 0 , t > 0
x
u(x, 0) = g(x) , 0 < x < 1
Dado que la ecuaci
on en derivadas parciales es la misma que la estudiada en la secci
on 3.4,
aplicando el metodo de separacion de variables se obtienen las mismas ecuaciones diferenciales
ordinarias y, por tanto, las mismas soluciones respecto del par
ametro k. En cuanto al estudio de
los distintos casos, en primer lugar el caso k > 0 no puede darse, de lo contrario N (t) crecera
exponencialmente a infinito, lo cual carece de sentido fsico. Por otra parte, si k = 0 la u
nica
soluci
on es la trivial.
Por u
ltimo, si k < 0, sea k = 2 , de modo que las soluciones son:

M (x) = C cos( x) + D sen( x)
2
N (t) = A e(a ) t
Por tanto, la soluci
on u(x, t) se escribe:
2
u(x, t) = e(a ) t [A cos( x) + B sen( x)]

Para encontrar los valores de las constantes , A, B imponemos las condiciones de contorno:
u(0, t) = 0 A = 0
2
ux (1, t) + h u(1, t) = 0 e(a ) t [ B cos() + B h sen()] = 0
Esta ecuaci
on nos da condiciones sobre :
tan() =
60
3. La ecuaci
on del calor
Observaci
on 3.7 Los valores de tan() = se pueden calcular numericamente y se denomh
inan autovalores del problema:

X + 2 X = 0
X(0) = 0
(3.2)

X (1) + h X(1) = 0
Las soluciones asociadas se denominan autofunciones y son
Xn (x) = sen(n x)
Si h = 1, los autovalores asociados al problema (3.2) se encuentran en la siguiente tabla:
n
1
2
3
4
5
n 2.02 4.91 7.98 11.08 14.20
Esto es, la soluci
on se escribe:
2t
un (x, t) = Bn e(a n )
u(x, t) =
sen(n x)
2t
Bn e(a n )
sen(n x)
n=1
donde las constantes Bn se calculan imponiendo la condici

on inicial:
u(x, 0) = g(x)
Bn sen(n x) =
bn sen(n x)
n=1
n=1
En este caso, para encontrar las constantes bn debemos multiplicar cada lado de la ecuaci
on
g(x) =
bn sen(n x)
n=1
por sen(m x) e integrar en el intervalo [0, 1]:

Z
g(s) sen(m s) ds =
= bm
= bm
bn
sen (m s) ds = bm
0
sen(n s) sen(m s) ds
n=1
s
sen(2 m s)
2
4 m
1
2 m sen(2 m )
sen(2 m )
1
= bm
2
4 m
4 m
Por tanto, los coeficientes bn se calculan mediante la siguiente expresi

on:

4 n
bn =
2 n sen(2 n )
Z
1
0
g(s) sen(n s) ds , n N
3.8 Flujo de calor con condiciones de contorno no homogeneas en la derivada
61
Ejemplo 3.2 Encontrar los primeros terminos de la soluci

on del siguiente problema:
2 u
u
(x, t)
(x, t) = 0 , 0 < x < 1 , t > 0
t
x2
u(0, t) = 0 , t > 0
u
(1, t) + u(1, t) = 0 , t > 0
x
u(x, 0) = x , 0 < x < 1
En este caso l = 1, h = 1, a = 1, si consideramos la temperatura inicial
u(x, 0) = x =
bn sen(n x)
n=1
las constantes bn son

n
1
2
3
4
5
bn 0.24 0.22 0.03 0.11 0.09
de modo que los primeros terminos de la soluci
on son
u(x, t) = 0.24 e4t sin(2x) + 0.22 e24t sin(4.9x) 0.03 e63.6t sin(7.98x) + . . .
3.8
Flujo de calor con condiciones de contorno no homog

eneas
en la derivada
Consideramos el problema:
u
2 u
(x, t) a2
(x, t) = 0 , 0 < x < l , t > 0
t
x2
u(0, t) = p(t) , t > 0
u
(l, t) + h u(l, t) = q(t) , t > 0
x
u(x, 0) = g(x) , 0 < x < l
Para encontrar su soluci
on debemos pasar a otro problema equivalente con condiciones de frontera homogeneas, para ello buscamos la soluci
on de la forma:
u(x, t) = v(x, t) + w(x, t)
donde la funci
on v(x, t) recoge las condiciones de frontera no homogeneas. Por tanto, podemos
considerar
x
v(x, t) = A(t) + (B(t) A(t))
l
de modo que las funciones A(t) y B(t) se eligen para que la parte estacionaria v(x, t) satisfaga
las condiciones de contorno del problema. De esta forma, el nuevo problema transformado
62
3. La ecuaci
on del calor
w(x, t) tendra condiciones de contorno no homogeneas. Sustituyendo la funcion v(x, t) en las

condiciones de contorno, se tiene:
(
v(0, t) = p(t)
v
(l, t) + h v(l, t) = q(t)
x
lo que constituye un sistema de ecuaciones en A(t) y B(t) cuya soluci
on es:
A(t) = p(t)
p(t) + l q(t)
B(t) =
.
1+lh
De esta forma, la funci
on w(x, t) es soluci
on del nuevo problema transformado
2 w
v
w
(x, t) a2
(x, t) , 0 < x < l , t > 0
(x, t) =
2
t
x
t
w(0, t) = 0 , t > 0
w
(l, t) + h w(l, t) = 0 , t > 0
x
w(x, 0) = g(x) v(x, 0) , 0 < x < l
cuya soluci
on podemos calcular siguiendo el desarrollo de la secci
on anterior.
3.9
Otros problemas
1. Difusi
on con flujo lateral
Consideremos el siguiente problema:
u
2 u
a2
= u ; 0 < x < l , t > 0
t
x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = g(x) , 0 < x < l
donde el termino u, > 0 representa el flujo de calor a traves de la frontera lateral.
u(0, t) = 0
u(l, t) = 0
En este caso, adem

as de la difusi
on de calor dentro del alambre, existe una transferencia de calor
lateral a traves de las paredes del alambre.
Se trata de introducir un nueva temperatura w(x, t) en lugar de u(x, t) de modo que la nueva
ecuaci
on en derivadas parciales sea m
as simple que la original. La tecnica utilizada se basa en
la comprensi
on de c
omo se comporta la ecuaci
on en derivadas parciales de partida.
La temperatura u(x, t) en cualquier punto x0 est
a cambiando como resultado de dos fenomenos:
63
3.9 Otros problemas

1. difusi
on del calor dentro del alambre (debido a a2 uxx )
2. flujo de calor a traves de la frontera lateral (debido a u)
La clave es que si no existiese difusi

on dentro del alambre (a = 0), entonces la temperatura en
on:
cada punto x0 caera exponencialmente a cero de acuerdo con la relaci
u(x0 , t) = u(x0 , 0) e t .
Mediante esta observaci
on se plantea la descomposici
on de la temperatura u(x, t) en dos factores:
u(x, t) = e t w(x, t)
donde w(x, t) representa la temperatura debida u
nicamente a la difusi
on. Sustituyendo esta
expresi
on en el problema de partida vemos que satisface:
w
2 w
a2
=0; 0<x<l, t>0
t
x2
w(0, t) = w(l, t) = 0 , t > 0
w(x, 0) = g(x) , 0 < x < l
De modo que resolviendo este problema y multiplicando su soluci
on por e t ya conocemos la
soluci
Observaci
on 3.8 Si tenemos la ecuaci
on
2 u
u
a2
= (u u0 ), > 0
t
x2
(3.3)
la perdida (u > u0 ) o la ganancia (u < u0 ) de calor es proporcional a la diferencia de temperatura entre el alambre y el medio exterior u0 . Si es muy grande respecto al termino a2 , entonces
el flujo de calor hacia delante y hacia atr
as a lo largo del alambre ser
a peque
no respecto al flujo
que entra y sale por los lados.
Si interpretamos (3.3) como una ecuaci
on de difusi
on, esta nos indica que la ratio de cambio ut
2
de la sustancia es debida a la difusi
on a uxx ( en la direcci
on x) y al hecho de que la sustancia se
crea (u < u0 ) o se destruye (u > u0 ) mediante una reacci
on qumica proporcional a la diferencia
entre las concentraciones u y u0 .
2. Difusi
on - Convecci
on
La convecci
on es una de las tres formas de transferencia de calor y se caracteriza porque se
produce por intermedio de un fluido (aire, agua) que transporta el calor entre zonas con diferentes
temperaturas. La convecci
on se produce u
nicamente por medio de materiales fluidos. Estos,
al
calentarse, aumentan de volumen y, por lo tanto, su densidad disminuye y ascienden desplazando
el fluido que se encuentra en la parte superior y que est
a a menor temperatura. Lo que se llama
conveccion en s, es el transporte de calor por medio de las corrientes ascendente y descendente
del fluido.
64
3. La ecuaci
on del calor
Supongamos que un agente contaminador est

a siendo transportado en una corriente que se
mueve a velocidad . La concentraci
on de sustancia u(x, t) cambia en funcion de x (medida
positiva de la distancia al origen del flujo) y del tiempo t. La ratio de cambio ut se mide con la
ecuaci
on de difusi
on - convecci
on:
2 u
u
u
a2
=
t
x2
x
2 u
u
El termino a2
representa la difusi
on y el termino
representa la conveccion. Que el
2
x
x
agente contaminador se difunda o conveccione depende del tama
no relativo de los coeficientes
a2 y .
Pensemos en el humo que sale de un cigarro. Las partculas de humo son convectidas hacia
arriba con el aire caliente y, al mismo tiempo, se difunden con las corrientes de aire.
Para resolver este problema (con sus correspondientes condiciones de contorno y condici
on inicial) se considera la transformacion:
u(x, t) = exp

t
(x
) w(x, t)
2a2
2
donde la funci
on w(x, t) satisface la ecuaci
on:
w
2 w
a2
=0
t
x2
m
as las condiciones de contorno y condici
on inicial. Esta transformacion pone de manifiesto
la parte de la soluci
on debida al movimiento del medio (parte exponencial): se produce un
movimiento a la derecha con velocidad .

2
3.10
3.1. Se considera la conduccion de calor en una barra de cobre aislada de 100 cm de longitud,
cuyos extremos se mantienen a 0o C para todo t > 0. Determinar una expresi
on para la
temperatura u(x, t), si la distribucion inicial en la barra est
a dada por:
u(x, 0) =
x
100 x
si 0 < x < 50
si 50 < x < 100
3.2. Resolver el ejercicio anterior considerando una nueva condici

on inicial y la longitud indicada:
(a) u(x, 0) = 1 ; l = 1
(b) u(x, 0) = sen(2x) + 31 sen(4x) + 51 sen(6x) ; l = 1
(c) u(x, 0) = sen2 x ; l =
65
3.3. Se considera la conduccion de calor en una barrra de cobre de 1 m de longitud, cuyos

extremos se mantienen a 0o C para todo t > 0. Determinar una expresi
on para la temperatura u(x, t) si la distribuci
on inicial en la barra est
a dada por:
u(x, 0) = sen( x)
y se somete a una fuente de calor externa regida por la funcion:
h(x, t) = sen(3 x)
3.4. La distribuci
on de voltaje en una lnea de transmision es una funcion V (x, t) que satisface
la ecuaci
on:
Vt (x, t) = 2 Vxx (x, t) , 0 < x < l , t > 0
El voltaje es igual a cero en x = l permanentemente, mientras que en x = 0 vara proporcionalmente respecto al tiempo. Determinar V (x, t) si la distribucion inicial de voltaje es
nula.
on u(x, t) de la ecuaci
on del calor homogenea en una barra aislada de
1 m de longitud con condiciones de contorno y condici
on inicial dadas por:
(a) u(0, t) = 0 , u(1, t) = 1 , u(x, 0) = x2
(b) u(0, t) = 0 , u(1, t) = cos t , u(x, 0) = x
on del calor:
ut 2 uxx = a ; 0 < x < 1 ; t > 0
con condiciones de contorno:
u(0, t) = 0 ; u(1, t) = 2b ; t > 0
y condici
on inicial:
u(x, 0) = b(1 + 2x) ; 0 x 1
donde a, b son constantes.
3.7. Se considera el problema de difusi
on con flujo lateral en un alambre de cobre de 1 cm
de longitud, de conductividad termica 2 y de constante = 1. La temperatura en los
extremos es nula. Determinar una expresi
on para la temperatura u(x, t) si la distribuci
on
de temperatura inicial en el alambre est
a dada por
u(x, 0) = sen( x) +
1
sen(3 x)
2
66
3. La ecuaci
on del calor
Tema 4
La ecuaci
on de ondas
4.1
Introducci
on
Trateremos aqu la ecuaci

on de ondas (de tipo hiperb
olico), cuya expresi
on general es:
utt c2 u = f (x, t)
donde x representa el conjunto de variables de posici
on y c es la velocidad de propagacion de la
onda.
Las ecuaciones hiperb
olicas suelen describir problemas fsicos en los que aparece el fenomeno de
las oscilaciones. As, mediante la ecuaci
on de ondas se pueden estudiar las vibraciones de una
cuerda o una membrana tensa, el pandeo de una viga, las vibraciones longitudinales de barras,
las oscilaciones electricas en cables, etc.
Los problemas asociados a las ecuaciones de tipo hiperb
olico en Rn con n = 1, 2, 3, contienen
condiciones de contorno y condiciones de valor inicial, cuando se plantean sobre dominios acotados.
El problema general asociado a la ecuaci
on de ondas unidimensional se plantea como buscar
u(x, t) soluci
on de:
2 u
2 u
c2
= f (x, t) ; 0 < x < l ; t > 0
2
t
x2
u
0
(0) + 0 u(0) = 0 (t) ; t > 0
x
u
1
(l) + 1 u(l) = 1 (t) ; t > 0
x
u(x, 0) = u0 (x) ; 0 < x < l
u
(x, 0) = u1 (x) ; 0 < x < l
t
donde f, 0 , 1 , u0 , u1 son funciones suficientemente regulares en la pr
actica para poder asegurar
la existencia de soluci
on.
67
68
4. La ecuaci
on de ondas
Algunos ejemplos de modelos fsicos que se escriben de esta forma son:

1. Ecuaciones de Maxwell: En ausencia de cargas y de corrientes electricas se tiene:
~ =0
div E
~ =0
div H
~
~ = H
~ E
rot
c0 t
~
~ = E
~ H
rot
c0 t
~ yH
~ son, respectivamente, los vectores intensidad de campo electrico y magnetico;
donde E
, y c0 son, a su vez, la constante dielectrica del medio, la permeabilidad y una caracterstica de un medio no conductor donde no hay corrientes ni cargas.
~ yH
~ son
Se llaman soluciones planas de estas ecuaciones a las soluciones para las que E
constantemente paralelos a un mismo plano. Elegimos como eje X un eje ortogonal a este
plano. Utilizando la identidad:
~
~ ) F~
~ rot
~ F~ ) = grad(div
rot(
F
se prueba que, si y son constantes, entonces:
~
2 E
~ =0
E
2
c t2
~
2 H
c2
~ =0
H
t2
2. Ecuaciones de la ac
ustica: Las ecuaciones de conservacion de la masa y de la cantidad de
movimiento en un gas ideal se escriben:
u
p
+ 0 c2
=0
t
x
u
1 p
+
=0
t
0 x
de donde se obtiene:
2
2 p
2 p
c
=0
t2
x2
3. Ecuaciones de la mec
anica de s
olidos:
ij = div ~u ij + (
ui
uj
+
)
xj
xi
tambien dan lugar a ecuaciones de ondas para las ondas longitudinales (o P ) y transversales
(o S).
69
4.2 Problema de la cuerda vibrante
4. Ecuaciones de la cuerda vibrante:

La expresi
on utt representa la aceleraci
on vertical de la cuerda en un punto x. As, la
ecuaci
on
2 u
2 u
=
T
+ f (x, t)
t2
x2
siendo:
la densidad lineal,
T la tensi
on de la cuerda,
u los desplazamientos verticales,
f las fuerzas externas.
se puede interpretar diciendo que la aceleraci

on en cada punto de la cuerda es debida a la
tensi
on de la cuerda y a las fuerzas exteriores ejercidas sobre ella.
4.2
Problema de la cuerda vibrante
Consideramos peque
nas vibraciones de una cuerda que est
a atada en ambos extremos. Suponemos
que la cuerda est
a hecha de un material homogeneo, no se ve afectada por la gravedad y las
vibraciones tienen lugar en un plano.
u
La funcion u(x, t) describe el desplazamiento de la cuerda desde su posici

on de equilibrio. Para
describir matem
aticamente las vibraciones de la cuerda consideramos todas las fuerzas que
act
uan en una peque
na secci
on de la cuerda. En la siguiente figura se representa un segmento
peque
no (x, x + x) de la cuerda vibrante. Suponemos que el desplazamiento de la cuerda es
peque
no, es decir, se comete un ligero error al suponer que el movimiento de cada punto de la
cuerda es estrictamente vertical. Sea T (x, t) la tensi
on de la cuerda en el punto x y en el instante
t, que s
olo act
ua en la direcci
on tangencial.
T sen(2 ) T ux (x + x, t)
T
2
1
T
T sen(1 ) T ux (x, t)
x + x
70
4. La ecuaci
on de ondas
Esencialmente, la ecuaci
on de ondas es la ecuaci
on de Newton del movimiento aplicada a la
cuerda (el cambio en un instante t de un segmento peque
no de cuerda es igual a las fuerzas
aplicadas). Viendo la figura anterior podemos considerar algunas fuerzas que act
uan en la
direcci
on perpendicular al eje X. Las m
as importantes son:
1. Fuerza neta debido a la tensi
on de la cuerda (c2 uxx ). En un segmento (x, x + x), se tiene:
Tensi
on = T sen2 T sen1 T [ux (x + x, t) ux (x, t)]
2. Fuerza externa F (x, t). Se puede aplicar una fuerza externa en cualquier punto x y en
cualquier instante de tiempo t. Por ejemplo:
(a) La gravedad: F (x, t) = m g
(b) Impulsos a lo largo de la cuerda en diferentes instantes de tiempo t.

3. Fuerza de friccion contra la cuerda. Si la cuerda est
a vibrando en un medio que ofrece
resistencia a la velocidad de la cuerda ut , entonces la fuerza de resistencia es ut .
4. Fuerza de restauracion. Esta es una fuerza en la direccion opuesta al desplazamiento de
una cuerda u. Si el desplazamiento es positivo (sobre el eje X) entonces la fuerza es
negativa (hacia abajo).
Si ahora aplicamos la ley de Newton del movimiento
m utt = fuerzas aplicadas en el segmento (x, x + x)
al peque
no segmento de cuerda, tenemos:
x utt = T [ux (x + x, t) ux (x, t)] + x F (x, t) x ut x u
donde es la densidad de la cuerda. Si dividimos por x y hacemos x 0, se tiene la ecuaci
on
utt = c2 uxx ut u + F (x, t)
con , y F renombradas. Adem
as c2 =
4.3
T
.
Soluci
on en dominios infinitos
Comencemos por buscar soluciones de la ecuaci

on de ondas en dominios infinitos, para lo cual
se cuenta con la siguiente propiedad.
Proposici
on 4.1 Las funciones de la forma F (x+c t) y G(xc t) son soluciones de la ecuaci
on
de ondas:
2
2 u
2 u
c
= 0.
t2
x2
71
4.3 Soluci
Demostraci
on: Sea u(x, t) = F (x + c t) o G(x c t), entonces:
2 u
= c2 F (x + c t) o c2 G (x c t)
t2
2 u
= F (x + c t) o G (x c t)
x2
Observaci
on 4.1 Es decir, cualquier soluci
on de la ecuaci
on de ondas puede considerarse como
la superposici
on de dos ondas progresivas propagandose a velocidad c en sentidos opuestos. Por
2
ejemplo, las funciones e(xc t) , sen(x + c t), sen(x c t) + sen(x + c t) podran ser soluciones.
As, para el problema sobre R se tiene:
Proposici
on 4.2 La soluci
on de ondas homogenea:
2 u
2 u
c2
= 0 ; x R ,t > 0
2
t
x2
con las condiciones iniciales:
u(x, 0) = f (x) ; x R
u
(x, 0) = g(x) ; x R
t
es de la forma:
1
1
u(x, t) = [f (x + c t) + f (x c t)] +
2
2c
x+c t
xc t
Se denomina Soluci
on de DAlembert.
on de la forma:
Demostraci
on: Buscamos una soluci
u(x, t) = F (x + c t) + G(x c t)
de modo que las condiciones iniciales exigen:
u(x, 0) = F (x) + G(x) = f (x)
u
(x, 0) = c F (x) c G (x) = g(x)
t
Si derivamos la primera relaci
on:
F (x) + G (x) = f (x)
se tiene un sistema para F (x), G (x):
F (x) + G (x) = f (x)
1
F (x) G (x) = g(x)
c
g(s) d s
72
4. La ecuaci
on de ondas
de donde:
F (x) =
1
1
f (x) +
g(x)
2
2c
1
1
f (x)
g(x)
2
2c
Z x
1
1
F (x) = f (x) +
g(s) d s
2
2 c x0
G (x) =
y as:
Z x
0
1
1
G(x) = f (x) +
g(s) d s
2
2c x
de forma que si fijamos arbitrariamente x0 = x0 = 0 se tiene:
u(x, t) = F (x + c t) + G(x c t) =
=
1
1
[f (x + c t) + f (x c t)] +
2
2c
x+c t
g(s) d s
xc t
Interpretaci
on: Esta u
ltima propiedad indica que la soluci
on de ondas
homogenea s
olo depende de la condici
on inicial f (x) en los puntos x + c t y x c t, y de la
condici
on inicial g(x) en el intervalo (x c t, x + c t).
(x, t)
(x c t, 0)
(x + c t, 0)
Ejemplo 4.1 Posici

on inicial dada, velocidad inicial cero.
Si g(x) = 0, la soluci
on u en un punto (x0 , t0 ) es la media del desplazamiento inicial en los
puntos (x0 c t0 , 0) y (x0 + c t0 , 0) encontrada al regresar por las curvas caractersticas
x c t = x0 c t 0
x + c t = x0 + c t 0
u(x0 , t0 )
(x0 c t0 , 0)
(x0 + c t0 , 0)
73
4.3 Soluci
1. Sea f (x) con soporte acotado, de la forma
x
se tiene entonces:
u(x, t) =
1
[f (x + c t) + f (x c t)]
2
y as
t=0
c
t = t1
x
c
c
t = t2
x
c
x
c
t = t3
La onda inicial se descompone en dos semiondas de modo que cada una se mueve con la
misma velocidad en direcciones opuestas.
2. Sea
u(x, 0) =
Estudiar la evoluci
on de las ondas.
1 si 1 < x < 1
0 en otro caso
74
4. La ecuaci
on de ondas
Ejemplo 4.2 Desplazamiento inicial cero, velocidad arbitraria.

Si f (x) = 0, la soluci
on u en un punto (x0 , t0 ) se interpreta como la integral de la velocidad
inicial entre x0 c t0 y x0 + c t0 en la lnea inicial t = 0.
1. Sea f (x) = 0, g(x) con soporte acotado, de la forma
x
se tiene entonces:
1
u(x, t) =
2c
x+c t
g(s) d s
xc t
de modo que
t=0
t = t1
ct1 ct1
t = t2
ct2
ct2
t = t3
ct3
ct3
2. Sea
ut (x, 0) =
1 si 1 < x < 1
0 en otro caso
75
4.3 Soluci
Proposici
on 4.3 La soluci
on de ondas no homogenea:
2
2 u
2 u
c
= h(x, t) ; x R , t > 0
t2
x2
con las condiciones iniciales:

u(x, 0) = f (x) ; x R
u
(x, 0) = g(x) ; x R
t
se escribe:
u(x, t) =
1
1
[f (x + c t) + f (x c t)] +
2
2c
1
2c
t
0
x+c (tr)
h(s, r) d s
xc (tr)
x+c t
g(s) d s
xc t
dr
Interpretaci
on: Se construye as el dominio de dependencia de la soluci
on en un punto generico
(x0 , t0 ).
(x, t)
x ct
x + ct
Veamos que ocurre en el caso de que uno de los extremos de la cuerda este fijo.
Proposici
on 4.4 La soluci
on de ondas:
2
2 u
2 u
c
= 0 ; x > 0 ,t > 0
t2
x2
con condiciones iniciales:

u(x, 0) = f (x) ; x > 0
u
(x, 0) = g(x) ; x > 0
t
y condici
on de contorno:
u(0, t) = 0 ; t > 0
se escribe:
u(x, t) =
Z x+c t
1
1
[f (x + c t) + f (x c t)] +
g(s) d s si x c t
2 c xc t
2
Z c t+x
1
1
[f (c t + x) f (c t x)] +
g(s) d s si x < c t
2
2 c c tx
76
4. La ecuaci
on de ondas
Demostraci
on: Buscamos de nuevo la soluci
on de la forma:
u(x, t) = F (x + c t) + G(x c t)
donde las condiciones iniciales exigen:
u(x, 0) = F (x) + G(x) = f (x) ; x > 0
u
(x, 0) = c F (x) c G (x) = g(x) ; x > 0
t
luego:
1
1
F (x) = f (x) +
2
2c
1
1
G(x) = f (x)
2
2c
g(s) d s ; x > 0
x0
x
g(s) d s ; x > 0
x0
para t > 0 se tiene que x + c t > 0, y para los puntos (x, t) tales que x c t 0 se tendra que:
u(x, t) = F (x + c t) + G(x c t) =
1
1
[f (x + c t) + f (x c t)] +
2
2c
x+c t
g(s) d s
xc t
Ahora bien, si x c t < 0, debemos pensar como definir G(x). La condici

on de contorno exige
u(0, t) = 0 ; t > 0, luego:
u(0, t) = F (c t) + G(c t) = 0 ; t > 0
de modo que:
F (s) = G(s) ; s > 0
y as, se define:
G(x) = F (x) ; x < 0.
De esta forma, si x c t < 0:
1
1
G(x c t) = F (c t x) = f (c t x)
2
2c
c tx
g(s) d s
0
de donde, si x c t < 0 se tiene:

u(x, t) =
1
1
[f (c t + x) f (c t x)] +
2
2c
Ejemplo 4.3 Con g(x) = 0, f (x) con soporte acotado:
c t+x
g(s) d s
c tx
77

on de ondas
de modo que:
t=0
t = t1
t = t2
t = t3
t = t4
Si x ct tenemos la soluci
on de DAlembert asociada a una onda infinita. Por otro lado,
si x < ct la soluci
on se modifica como resultado de una onda reflejada: la onda va hacia la
izquierda hasta llegar al origen, luego cambia de signo, mantiene la amplitud y se propaga hacia
la derecha.
4.4
Condiciones frontera asociadas a la ecuaci

on de ondas
Cuando se trabaja en un dominio acotado surge la necesidad de imponer unas condiciones sobre
la frontera de dicho dominio. Las distintas condiciones de contorno asociadas a los problemas
fsicos se agrupan en estos tres tipos:
1. Extremos controlados.
u(0, t) = p(t), u(l, t) = q(t)
l x
78
4. La ecuaci
on de ondas
Controlamos los extremos de modo que se mueven de una forma dada. Un problema tpico
consiste en un giro repentino de algunos grados en tiempo t = 1 del extremo derecho de
un alambre fijo en el otro extremo. Se trata de observar el resultado de la vibracion de
torsi
on.
u(0, t) = 0
u(l, t) =
0, 0 < t < 1
1, 1 t <
2. Fuerzas dadas en la frontera.

Las fuerzas verticales en la frontera vienen dadas por T ux (0, t) y T ux (l, t). Si permitimos
que los extremos de la cuerda se deslicen verticalmente en unas fundas sin friccion las
condiciones frontera son
ux (0, t) = p(t), ux (l, t) = q(t)
Ejemplos:
(a) Extremo libre de un resorte vibrante.
u(0, t) = 0
ux (l, t) = 0
(b) Extremo forzado de un resorte vibrante.
Si aplicamos una fuerza de (t) dinas en el extremo x = l (la fuerza positiva se mide
hacia abajo), entonces
ux (l, t) =
1
(t), k = m
odulo de Young
k
En este caso no se exige que los extremos de la cuerda (o del muelle) se mantengan
en una posici
on fija, pues la fuerza aplicada tiende a moverlos en la direcci
on dada. Fsicamente se presentan estes problemas cuando se aplica un campo electrico a
electrones vibrantes.
3. Conexi
on de elasticidad en la frontera.
ux (0, t) 1 u(0, t) = p(t), ux (l, t) 1 u(l, t) = q(t)
u
79
4.5 Vibraciones libres de una cuerda de longitud finita
Consideremos la cuerda de un violn cuyos extremos est

an ligados a un dispositivo elastico.
Aqu, la conexion a los muelles da lugar a fuerzas verticales proporcionales a los desplazamientos (desplazamiento izquierdo = u(0, t), desplazamiento derecho = u(l, t)). Fijando
las tensiones verticales de la cuerda en ambos extremos:
Tensi
on positiva lado izquierdo = T ux (0, t)
Tensi
on negativa lado derecho = T ux (l, t)
de modo que igualando y multiplicando por h, la constante del resorte, se tiene:
ux (0, t) =
h
h
u(0, t) ux (0, t) u(0, t) = 0
T
T
h
h
ux (l, t) = u(l, t) ux (l, t) + u(l, t) = 0
T
T
NOTA: u(0, t) > 0 ux (0, t) > 0; sin embargo u(l, t) > 0 ux (l, t) < 0
Si las dos conexiones del muelle se desplazan seg
un las funciones 1 (t) y 2 (t) tendremos
condiciones de contorno no homogeneas:
ux (0, t) =
h
[u(0, t) 1 (t)]
T
h
ux (l, t) = [u(l, t) 2 (t)]
T
u
1 {
4.5
}
2
x
Vibraciones libres de una cuerda de longitud finita
Consideramos una cuerda de longitud l sobre la que no act

ua ninguna fuerza externa. Supongamos que inicialmente tiene una forma dada por la funcion f (x) y cada uno de sus puntos posee
una velocidad g(x). Si la cuerda se mantiene fija por sus extremos, sus oscilaciones transversales
pueden representarse por una funci
on u(x, t) que verifica el siguiente problema de valor inicial
con condiciones frontera nulas.
2
2 u
2 u
(x,
t)
c
(x, t) = 0 , 0 < x < l , t > 0
t2
x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = f (x) , 0 < x < l

u
(x, 0) = g(x) , 0 < x < l
t
80
4. La ecuaci
on de ondas
Para que haya consistencia debe verificarse f (0) = f (l) = 0. Utilizando el metodo de separacion
de variables suponemos que la soluci
on se descompone de la forma u(x, t) = M (x) N (t). Con lo
cual tenemos que resolver las siguientes ecuaciones diferenciales ordinarias:
M (x) k M (x) = 0
N (t) c2 k N (t) = 0
Las posibles soluciones en

M (x)
1. si k = 0
N (t)
(
M (x)
2. si k > 0
N (t)

M (x)
3. si k < 0
N (t)
funci
on del valor del par
ametro k son:
= Cx+D
= At + B
= C e k x + D e kx
= A ec k t + B ec k t
= C cos( k x) + D sen( k x)
= A cos( k c t) + B sen( k c t)
Si imponemos las condiciones frontera M (0) = M (l) = 0:

D=0
1. si k = 0
C=D=0
Cl+D =0
(
C +D = 0
2. si k > 0
C=D=0
C e kl + D e kl = 0
C=0
D=0
3. si k < 0
o
C cos( kl) + D sen( kl) = 0
k = ( nl )2 , n N
Con lo cual, la soluci

on que se obtiene, si renombramos estas constantes, es:
u(x, t) =
n=1
sen(
nc
nc i
n h
x) An cos(
t) + Bn sen(
t)
l
l
l
donde las constantes An y Bn , n N se determinan imponendo las condiciones iniciales. Para

ello, suponemos que las funciones f (x), g(x) son suficientemente regulares para construir su
desarrollo en serie de Fourier, prolongandolas como funciones impares a [l, 0], con
f (x) =
2
n
x) ; bn =
sen(
l
l
bn sen( n x) ; bn = 2
l
l
n=1
n=1
g(x) =
Por tanto,
bn
u(x, 0) = f (x)
n=1
An
f (s) sen(
n
s) d s , n N
l
g(s) sen(
n
s) d s , n N
l
X
n
n
sen(
bn sen(
x) =
x)
l
l
n=1
81
4.5 Vibraciones libres de una cuerda de longitud finita

An = bn , n N
X
X
u
nc
n
bn sen( n x)
Bn
(x, 0) = g(x)
sen(
x) =
t
l
l
l
n=1
n=1
Bn =
l
bn , n N
nc
De modo que la soluci

on se escribe:
u(x, t) =
n=1

nc
l
nc
n
x) bn cos(
t) +
t)
bn sen(
sen(
l
l
nc
l
Observaci
on 4.2
1. Si consideramos las funciones:

1 X
l
n
n
F (y) =
y)
y)
bn cos(
bn sen(
2
l
nc
l
n=1

1 X
l
n
n
G(y) =
y) +
y)
bn cos(
bn sen(
2 n=1
l
nc
l
podemos entonces reescribir:
u(x, t) = F (x + c t) + G(x c t)
para x + c t [0, 1] ; x c t [0, 1], con lo cual:
1
1
u(x, t) = [f (x + c t) + f (x c t)] +
2
2c
x+c t
g(s) d s.
xc t
2. Si la velocidad inicial es cero, entonces bn = 0, la soluci

on es de la forma:
u(x, t) =
bn sen(
n=1
donde cada
un (x, t) = bn sen(
n
nc
x) cos(
t)
l
l
n
nc
x) cos(
t)
l
l
es una vibraci
on fundamental.
Por ejemplo, si:
3
5
x) + 0.25 sen(
x)
f (x) = sen( x) + 0.5 sen(
l
l
l
entonces:
u(x, t) =
sen( l x) cos( lc t) + 0.5 sen( 3l x) cos( 3 l c t)
+ 0.25 sen( 5l x) cos( 5 l c t)
82
4. La ecuaci
on de ondas
es decir, si sumamos cada vibracion fundamental obtenemos la soluci
on al problema.
Adem
as, se puede reescribir la soluci
on en la forma:
1 X

n
n
1 X
u(x, t) =
(x + c t) +
(x c t)
bn sen
bn sen
2
l
2
l
n=1
n=1
As u(x, t) est
a compuesta por infinitas ondas, debidas a cada arm
onico, que llegan a los
extremos y rebotan cambiando de signo.
3. El temino n-esimo de la soluci
on

nc
l
nc
n
x) bn cos(
t) +
t)
bn sen(
sen(
l
l
nc
l
se denomina n-
esimo arm
onico o n-
esimo nodo de vibraci
on, que se puede escribir,
utilizando una relaci
on trigonometrica como:
n c

n
x) cos
(t n )
Rn sen(
l
l
donde Rn es la amplitud, n es el angulo de fase y la frecuencia del n-esimo nodo es n
nc
n
n =
=
l
l
siendo T la tensi
on y la densidad de la cuerda. Esta nueva escritura del n-esimo nodo
es m
as u
til para analizar las vibraciones. Esta frecuencia es m
ultiplo de la frecuencia
fundamental (n = 1), propiedad que no se verifica en todo tipo de vibraciones. Esto
ocurre en el violn y en la guitarra, pero no en el tambor y la zambomba.
4.6
Vibraciones forzadas de una cuerda de longitud finita
Se trata de una modificaci

on del problema anterior consistente en la presencia de fuerzas externas. La formulaci
on matem
atica de este problema es:
2 u
2 u
(x, t) c2
(x, t) = h(x, t) , 0 < x < l , t > 0
2
t
x2
u(0, t) = u(l, t) = 0 , t > 0
u(x, 0) = f (x) , 0 < x < l
u
(x, 0) = g(x) , 0 < x < l
t
Estudiaremos su resolucion mediante una generalizaci
on del procedimiento de separacion de
variables utilizado para resolver el problema homogeneo. Las autofunciones correspondientes al
problema homogeneo son:
n
{ sen(
x)}nN .
l
83
4.6 Vibraciones forzadas de una cuerda de longitud finita

Supongamos como soluci
on formal del problema no homogeneo la serie:
u(x, t) =
un (t) sen(
n=1
n
x).
l
Para determinar las funciones un (t) consideramos los desarrollos en serie de h(x, t), f (x), g(x)
en terminos de las autofunciones anteriores:
Z
X
n
2 l
ns
bn (t) sen(
h(x, t) =
x) ; bn (t) =
) ds , n N
h(s, t) sen(
l
l 0
l
n=1
f (x) =
n=1
g(x) =
n=1
cn
2
n
x) ; cn =
sen(
l
l
2
n
x) ; dn =
l
l
dn sen(
f (s) sen(
ns
) ds , n N
l
g(s) sen(
ns
) ds , n N
l
Sustituimos formalmente en la ecuaci

on en derivadas parciales u(x, t) y h(x, t) por sus series,
con lo cual se tiene:

X
X
nc 2
nx
nx
un (t) + (
bn (t) sen(
) un (t) sen(
)=
)
l
l
l
n=1
n=1
En virtud de la unicidad de los coeficientes de Fourier:
nc 2
n N , un (t) + (
) un (t) = bn (t).
l
Imponiendo, por otra parte, las condiciones iniciales tenemos:
X
nx
n
un (0) sen(
u(x, 0) = f (x)
cn sen(
)=
x)
l
l
n=1
n=1
ut (x, 0) = g(x)
un (0) sen(
n=1
n N
X
nx
n
dn sen(
)=
x)
l
l
n=1
un (0) = cn
un (0) = dn
Junto con (4.1) forman una colecci

on de problemas de valor inicial cuyas soluciones son:
Z t
l
nc
l
nc
nc
t) +
dn sen(
t) +
(t s)) d s
bn (s) sen(
un (t) = cn cos(
l
nc
l
nc 0
l
Sustituyendo estos valores, la soluci
on formal es:

X
nc
l
nc
n
u(x, t) =
cn cos(
t) +
dn sen(
t) sen(
x)
l
nc
l
l
n=1

Z t
X
n
nc
l
(t s)) d s sen(
x)
bn (s) sen(
+
n
c
l
l
0
n=1
(4.1)
84
4. La ecuaci
on de ondas
Observaci
on 4.3 Si denotamos por uI (x, t) y uII (x, t) el primer y el segundo sumandos, respectivamente, la soluci
on se escribe:
u(x, t) = uI (x, t) + uII (x, t)
donde uI (x, t) es la soluci
on del problema homogeneo que se puede representar en la forma de
II
DAlembert, y u (x, t) se puede expresar de la forma:
Z tZ l
G(x, r, t s) h(r, s) d r d s
uII (x, t) =
0
siendo:
G(x, r, t) =
1 X1
nx
nr
nct
sen(
) sen(
) sen(
)
c
n
l
l
l
n=1
la funcion de Green para el problema de la cuerda vibrante con condiciones iniciales nulas.
4.7
Caso general
Se trata de encontrar u(x, t) soluci

on de la ecuaci
on de ondas:
2
2 u
2 u
(x,
t)
c
(x, t) = h(x, t) , 0 < x < l , t > 0
t2
x2
u(0, t) = p(t) , t > 0
u(l, t) = q(t) , t > 0

u(x, 0) = f (x) , 0 < x < l
u
(x, 0) = g(x) , 0 < x < l
t
Como las condiciones frontera no son homogeneas, no se puede recurrir a ninguno de los procedimientos expuestos hasta ahora. Lo que se hace es construir una funcion v(x, t) que verifique
las condiciones frontera:
x
v(x, t) = p(t) + (q(t) p(t))
l
es decir:
v(0, t) = p(t) ; v(l, t) = q(t)
As la transformacion:
u(x, t) = v(x, t) + w(x, t)
cambia este problema en otro an
alogo con condiciones frontera homogeneas. De este modo, la
nueva funci
on inc
ognita debe ser soluci
on de:
2
2 v
2 w
2 w
(x,
t)
c
(x,
t)
=
h(x,
t)
(x, t) , 0 < x < l , t > 0

t2
x2
t2
w(0, t) = w(l, t) = 0 , t > 0
w(x, 0) = f (x) v(x, 0) , 0 < x < l
v
w
(x, 0) = g(x)
(x, 0) , 0 < x < l
t
t
que es del tipo anterior.
85
4.8 Energa asociada a la ecuaci

on de ondas
4.8
Energa asociada a la ecuaci

on de ondas
Definici
on 4.1 Se define energa asociada a la ecuaci
on de ondas en un intervalo (a, b) R
como:

Z
1 b u
2
2 u
2
(x, t)] + c [
(x, t)]
E(t) =
dx
[
2 a
t
x
Proposici
on 4.5 Sea u(x, t) soluci
on de la ecuaci
on de ondas
2
2 u
2 u
(x,
t)
c
(x, t) = h(x, t) ; a < x < b , t > 0
t2
x2
entonces, se tiene:
E(t) =
t
b
a
u
(x, t) h(x, t) d x + c2
t
s=b
u
u
(s, t)
(s, t)
x
t
s=a
Demostraci
on:
Z
2 u
2 u
1 2 b u
u
(x, t)
c
(x,
t)
(x, t) d x =
(x,
t)
d
x
+
2
2
t
t2
2
x
x t
a
a

Z b
2
u
2 u
=
(x, t) h(x, t) + c
(x, t) d x +
x2
a t
E(t) =
t
1
2
+ c2
s=b
Z b
u
u
2 u
u
2
c
(s, t)
(s, t)
(x, t)
(x, t) d x
x
t
x2
a t
s=a
Interpretaci
on: Los terminos que aparecen en t E(t) representan el trabajo realizado por las
fuerzas externas distribuidas y por las fuerzas que act
uan sobre la frontera.
4.9

on de ondas:
utt c2 uxx = 0 ; x R ; t > 0
con condiciones iniciales:
u(x, 0) = f (x) ; ut (x, 0) = 0 ; x R
donde f (x) est
a definida mediante:
0
x 1
x + 1 1 < x 0
(a) f (x) =
x + 1 0 < x 1
0
x>1
(b) f (x) = sen x ; x R
86
4. La ecuaci
on de ondas
4.2. Demostrar que la soluci

on de ondas:
utt c2 uxx = 0 ; 0 < x < 1 ; t > 0
con condiciones de contorno nulas y condiciones iniciales:
u(x, 0) = sen(x) ; ut (x, 0) = 0 ; 0 < x < 1
se puede expresar de la forma:
u(x, t) = F (x + c t) + G(x c t)
obteniendo las correspondientes funciones F y G.
on de ondas:
utt c2 uxx = 0 ; 0 < x < L ; t > 0
u(x, 0) = 0 ; ut (x, 0) = sen (
3x
); 0<x<L
L

on de ondas:
utt c2 uxx = 0 ; 0 < x < ; t > 0
u(x, 0) = x2 ; ut (x, 0) = 0 ; 0 < x <
on de ondas:
utt c2 uxx = 0 ; 0 < x < ; t > 0
u(0, t) = a ; u(, t) = a ; t > 0
y condiciones iniciales:
u(x, 0) = ax(x ) + a ; ut (x, 0) = 0 ; 0 < x <
para un valor a R.
on de ondas:
utt c2 uxx = 0 ; 0 < x < 1 ; t > 0
u(0, t) = t2 ; u(1, t) = 0 ; t > 0
u(x, 0) = 0 ; ut (x, 0) = 0 ; 0 < x < 1
87

on de ondas:
utt uxx = t sen x ; 0 < x < ; t > 0
u(x, 0) = x( x) ; ut (x, 0) = 0 ; 0 < x <
on de ondas:
utt uxx = t sen x ; 0 < x < ; t > 0
u(0, t) = 2 t ; u(, t) = 2 t ; t > 0
u(x, 0) = x( x) ; ut (x, 0) = 2 ; 0 < x <
88
4. La ecuaci
on de ondas
Tema 5
Terora de Distribuciones
5.1
Introducci
on
Se introduce este tema por la necesidad de ampliar el concepto de soluci

on de ecuaciones en
derivadas parciales enunciado en el primer tema.
Consideremos la ecuaci
on del potencial en electrost
atica cuando en el campo solamente existe
una carga en un punto x0 del mismo. En este caso la distribucion de carga es un m
ultiplo de la
medida de Dirac f = q [x0 ], con q constante. As tenemos la ecuaci
on:
u = q [x0 ]
R
donde [x0 ] no es una funci
on, se define como (x0 ) = 1, siendo (0) = lim fn tales que
n
R
f
=
1.
n
Esta claro que no podemos estudiar esta ecuaci

on de igual forma que en los casos precedentes.
Tenemos que definir que entendemos por soluci
on de dicha ecuaci
on, lo cual no es posible
en terminos de derivadas cl
asicas. La soluci
on no es trivial y ha exigido gran esfuerzo a los
matem
aticos dando origen a la Teora de Distribuciones, desarrollada por L. Schwartz en la
decada de los 40. En la actualidad, las distribuciones juegan un papel fundamental en el estudio
de las ecuaciones en derivadas parciales.
En este tema nos limitaremos a caracterizar los espacios vectoriales necesarios, sin desarrollar la
teora correspondiente, para poder llegar a las distribuciones, aunque tampoco aqu haremos un
estudio matem
atico riguroso. Daremos los resultados generales m
as importantes sin justificar
su demostracion.
5.2
Espacios vectoriales normados
Definici
on 5.1 Sea E un espacio vectorial sobre un cuerpo K(R
o C). Se denomina norma de
E a toda aplicaci
on:
N : E R+
89
90
5. Terora de Distribuciones
tal que
1. N (x) = 0 x = 0
2. N ( x) = || N (x)
3. N (x + y) N (x) + N (y)
Lo habitual es representar la norma por N (x) = kxk.
Definici
on 5.2 Espacio vectorial normado es un par (E, kk) formado por un espacio vectorial sobre un cuerpo K provisto de una norma.
Toda norma induce una m
etrica: d(x, y) = kx yk, por lo tanto todo espacio normado es
metrico. Esta metrica inducida por la norma satisface las condiciones:
1. d(x + a, y + a) = d(x, y)
2. d( x, y) = || d(x, y)
Recprocamente, si (E, d) tiene estructura de espacio metrico, d cumple las dos condiciones anteriores y E es un espacio vectorial sobre un cuerpo K, entonces (E, N ) es espacio normado con
norma N (x) = d(0, x).
Ejemplo 5.1 Espacios normados.

Sea E = Rn ,
1. kxk1 =
2. kxk2 =
n
X
i=1
|xi |
n
X
x2i
i=1
!1/2
3. kxk = sup {|xi |}

1in
Sea E = C[a, b] = {f : [a, b] R/f continua },

1. kf k1 =
2. kf k2 =
Rb
a
|f (t)| d t
R
b
a
f 2 (t) d t
1/2
3. kf k = sup {|f (t)|}

t[a,b]
91
5.3 Espacios de Banach
5.3
Espacios de Banach
Definici
on 5.3 Se llama espacio de Banach a un espacio vectorial normado completo. (Toda
sucesi
on de Cauchy es convergente).
Una sucesi
on {xn }nN es de Cauchy si p, q N, ||xp xq || < , > 0.
Ejemplo 5.2
1. Rn es un espacio de Banach con la norma
kxkp =
n
X
i=1
|xi |p
!1/p
, p1
2. C[a, b] es un espacio de Banach con la norma

kf k = sup {|f (t)|}
t[a,b]
Proposici
on 5.1 L(E, F ) = {f : E F/f lineal y continua} con E y F espacios normados
tiene estructura de espacio vectorial normado.
Proposici
on 5.2 Si E y F son espacios vectoriales normados y F tiene estructura de espacio
de Banach, entonces L(E, F ) es un espacio de Banach. En particular, el dual E de E es un
espacio de Banach.
E = {f : E R+ /f lineal y continua}
5.4
Espacios Prehilbertianos
Definici
on 5.4 Sea E un espacio vectorial sobre un cuerpo K(R
o C). Diremos que es un espacio prehilbertiano si est
a definida una aplicaci
on:
(|) : E E K
llamada producto escalar, tal que cumple las siguientes condiciones:
1. (y|x) = (x|y) , x, y E
2. (x + y|z) = (x|z) + (y|z) , x, y, z E
3. ( x|y) = (x|y) , K , x, y E
4. (x|x) > 0 , x 6= 0
Como consecuencia de la definicion anterior se deduce que para x, y, z E , , K se tiene:
(x| y + z) = (x|y) + (x|z)
Ejemplo 5.3
92
1. C , (x|y) =
n
X
xi yi , espacio unitario de n dimensiones.
n
X
xi yi , espacio eucldeo real de dimension n.
i=1
2. R , (x|y) =
i=1
3. C[a, b] , (f |g) =
Rb
a
f (x) g(x) d x.
4. l2 = {(xn )nN /xn C ,
X
i=1
|xi |2 < } , (x|y) =
X
i=1
xi y i .
Definici
on 5.5 En un espacio prehilbertiano, la norma de un vector x es el n
umero real no
1/2
negativo kxk = [(x|x)] , que satisface las condiciones de norma.
Proposici
on 5.3 Sea H un espacio prehilbertiano, x, y H se verifica:
1. Identidad del paralelogramo.
kx + yk2 + kx yk2 = 2(kxk2 + kyk2 )
2. Identidad de la mediana.
1 x+y 2 1
k
k + kx yk2 = kxk2 + kyk2
2
2
2
3. Desigualdad de Cauchy-Schwarz.
|(x|y)| kxk kyk
4. Desigualdad triangular.
kx + yk kxk + kyk
Proposici
on 5.4 La aplicaci
on producto escalar es sesquilineal y continua (bilineal si K = R).
Observaci
on 5.1 Todo producto escalar que verifique la identidad del paralelogramo define
una norma. Viceversa, toda norma que verifique la identidad del paralelogramo procede de un
producto escalar.
5.5
Espacios de Hilbert
Definici
on 5.6 Se llama espacio de Hilbert a todo espacio prehilbertiano y completo.
Proposici
on 5.5 Sea X un espacio vectorial normado sobre K(R
o C) y sea X = L(X, K) el
dual topol
ogico de X. Para todo par (x, x ) X X se denota por < x , x >= x (x) K el
producto de dualidad.
93
5.5 Espacios de Hilbert

X es un espacio vectorial normado
kx kX =
=
| < x , x > |
=
kxkX
xX,x6=0
sup
| < x , x > | =
sup
xX,kxk1
sup
xX,kxk=1
| < x , x > |
y completo para esta norma, puesto que K es completo, por tanto es un espacio de Banach.
Por la definicion de norma se tiene:
| < x , x > | kx kX kxkX , x X , x X
Definici
on 5.7 Inyecci
on can
onica de un espacio prehilbertiano en su dual.
Para todo x H consideramos la aplicaci
on x : H K definida por
x (z) = (z|x) , z H
x es lineal y continua, por tanto x H .
kx kH =
sup
zH;kzk=1
|(z|x)|
Se tiene que
kx kH kzk kxk = kxk
por la desigualdad de Cauchy-Schwarz.
Ademas, x 6= 0
x
|x)| = kxk
kx kH |(
kxk
Con lo cual
kx kH = kxkH
Podemos definir, por tanto, una aplicaci
on:
: H H
x (x) = x
es decir, queda definida por:
< (x), z >= x (z) = (z|x) , x H , z H
Proposici
on 5.6 Sea H un espacio de prehilbertiano sobre K. Entonces, la aplicaci
on
: H H
x (x)
tal que < (x), z >= x (z) = (z|x) es sesquilineal (lineal si K = R), continua e inyectiva. Se le
llama inyecci
on can
onica de H en H .
94
Teorema 5.1 (de Riesz) Sea H un espacio de Hilbert sobre K. Entonces x H existe un
u
nico elemento x H tal que
< x , z >= (z|x) , z H
y adem
as
kx kH = kxkH
Demostraci
on: Sea x = x / < x , z >= x (z).
||x ||H = ||x ||H = sup |(z|x)| ||z|| ||x|| = ||x||
||z||=1
y para x 6= 0
||x ||

x

|x = ||x||

||x||
En otras palabras, la aplicaci

on de H en H es una biyeccion y una isometra.
Observaci
on 5.2 En el caso K = R, es un isomorfismo que conserva la norma, lo que permite
identificar H a H y x a x = 1 (x ). Puesto que
< x , z >= (z|x) = (x|z) , z H
se escribe indistintamente (x|z) o < x, z >.
Corolario 5.1 Sea H un espacio de Hilbert. Entonces H es un espacio de Hilbert, y la aplicaci
on i : H H definida por
< i(x), x >=< x , x > , x H
es una isometra y un isomorfismo de H sobre H . Se dice que H es reflexivo.
5.6
Espacios Lp
Definici
on 5.8 Sea dominio de Rn y p R+ , p 1. Denotamos por Lp () el conjunto de
funciones medibles u : R tales que:
Z
|u(x)|p d x < , (integral de Lebesgue)
A este conjunto se le puede dotar de la seminorma

1/p
Z
p
|u(x)| d x
Np (u) =
No es una norma puesto que Np (u) = 0 no siempre implica u = 0 (por ejemplo si u es no nula
en un punto y cero en cualquier otro punto). Sin embargo, en el conjunto de funciones medibles
sobre podemos definir la relaci
on de equivalencia
u R v u(x) = v(x) c.t.p. de
es decir, u(x) = v(x) , x salvo, quizas, en un subconjunto de medida nula de .
5.6 Espacios Lp
95
Definici
on 5.9
Lp ()
, p1
R
esto es, el conjunto de clases de funciones medibles definidas sobre para las cuales
Z
|u(x)|p d x <
Lp () =
Lp () tiene estructura de espacio vectorial normado dotado de la norma

1/p
Z
p
|u(x)| d x
kukLp =
Ademas, se puede definir tambien

L () = {f : R/f medible , C > 0 con |f (x)| C c.t.p. de },
con la norma asociada
kf kL = inf{C/|f (x)| C c.t.p. de }
Proposici
on 5.7 Lp () es un espacio de Banach, 1 p .
En particular L2 () tiene el producto escalar
Z
u(x) v(x) d x
(u|v) =
que induce la norma kukL2 = (u|u)1/2 , u L2 ().
5.6.1
Aproximaci
on de L2 () por elementos de D()
Consideramos los espacios siguientes:

C k () = {f : R/f tiene derivadas continuas de orden k}
D() es el espacio de funciones de clase C () con soporte compacto. Esto es
D() C (), K compacto /(x) = 0, x
/K
K = {x /(x) 6= 0}
Ejemplo 5.4
(x) =
exp(
0,
x2
1
), |x| < 1
1
|x| 1
D() y su soporte es el conjunto K = [1, 1].

Proposici
on 5.8
D() = L2 ()
D() es denso en L2 (), es decir, sea f L2 (), entonces:

f = lim fn , fn D()
n
96
Definici
on 5.10 Si es una funci
on de D() y si = (1 , 2 , . . . , n ) Nn se define la
derivada de de orden
D =
||
, con || = 1 + 2 + + n
x1 1 x2 2 xnn
A D() se le dota de una pseudo-topologa. La caracterizaci

on de sucesion convergente en D()
es la siguiente:
Una sucesion (m ) de D() converge hacia en D() si:
1. Los soportes de m est
an contenidos en un compacto K fijo de .
2. Nn , D m converge uniformemente a D sobre K.
Nn , sup |D m (x) D (x)| 0.
xK
Definici
on 5.11 Se llama distribuci
on a toda forma lineal continua definida sobre D().
T : D() R , T () =< T, > , T lineal y continua
El espacio de distribuciones es el dual topol
ogico de D(), se denota por:
D () = L(D(), R)
A D () se le dota de una topologa de convergencia simple:

Sea (Tn ) sucesion de D (), converge hacia T D () si se verifica, como sucesiones de n
umeros
reales
< Tn , >< T, > , D()
Ejemplo 5.5
1. Sea un punto a , la distribucion de Dirac se define como
a de Dirac , < a , >= (a) , D()
Sia = 0, < , >= (0) , D()
2. Si f L2 () , Tf : D() R ,
< Tf , >= (f |) =
As la aplicaci
on
f (x) (x) d x , D()
L2 () D ()
f Tf
es inyectiva y continua. De modo que se tienen las inclusiones:

D() L2 () D ()
Permiten identificar funciones de L2 () con distribuciones. Por ejemplo, la distribuci

on
2
f (x) = x es el funcional:
Z
x2 (x) d x
< f, >=
R
5.7 Espacios de Sobolev H m ()
97
Definici
on 5.12 Derivaci
on en el sentido de distribuciones (se define de manera que sea coT
herente con la derivaci
on cl
asica de funciones continuas). Si T D (), se define
como:
xi
<
T
, >= < T,
> , D()
xi
xi
De manera general, si T D () , Nn , entonces:
< D T, >= (1)|| < T, >
Ejemplo 5.6
1. Si f es una funci
on continuamente diferenciable sobre , su derivada clasica coincide con
la derivada en sentido de distribuciones.
Z
Tf
, >= < Tf ,
>= f (x)
(x) d x , D()
<
xi
xi
xi
Z
Z
f
< T f , >=
f (x)
(x) (x) d x =
(x) d x , D()
xi
xi
xi
2. Se define la funci
on de Heaviside H sobre R como

1 x0
H(x) =
0 x<0
o bien:
< H, >=
(x) d x
H se identifica con una distribucion TH sobre R. Ademas

TH
TH
, >=< , >
=
x
x
esto es, la derivada de la funci
on de Heaviside en el sentido de distribuciones es la de
Dirac en el origen. Efectivamente, para cualquier funcion D() se tiene:
Z
Z
d
d
d TH
H(x)
, >=
(x) d x =
(x) d x =
<
dx
dx
dx
R
0
Z M
d
=
(x) d x = (M ) + (0) = (0)
dx
0
<
pues el soporte de es compacto.
5.7
Espacios de Sobolev H m ()
Dada v L2 (), Tv D (),
En general,
Tv
v
=
D () , 1 i n
xi
xi
/ L2 (). Es decir, no existe gi L2 () tal que

xi
Z
v
<
gi d x , D()
, >=
xi
98
Ejemplo 5.7 Sea = R , a, b R , < a < b <

0, x
/ [a, b]
v = [a,b] , v(x) =
1, x [a, b]
la funcion v L2 (), adem
as v = Ha Hb , por tanto Tv = THa THb , pero
d Tv
dv
=
= a b
/ L2 ()
dx
dx
Buscamos entonces c
omo definir los espacios de funciones de L2 () cuyas derivadas esten en
L2 ().
Definici
on 5.13 Se denomina espacio de Sobolev de orden m ,m 0, al espacio:
H m () = {v L2 ()/ v L2 (), Nn , || m}
v indica derivada en sentido de distribuciones.
H m () est
a dotado del producto escalar:
(u, v)m, =
( u, v)0, =
X Z
||m
||m
u v d x
que induce la norma:

1/2
kukm, = (u, u)m,

Se tiene que:
H m () L2 () , m 0.
H 0 () = L2 ().
D() H m () , m 0.
Teorema 5.2 El espacio H m () con el producto escalar (., .)m, es un espacio de Hilbert separable (contiene un conjunto denso numerable).
Definici
on 5.14 Se define
H 1 () = {v L2 ()/
con el producto escalar:
(u, v)1,
y la norma:
kuk1, =
v
L2 (), 1 i n}
xi
n
X
u v
= (u v +
) dx
xi xi
1/2
(u, u)1,
i=1
kuk20,
n
X
u 2
k
k
+
xi 0,
i=1
!1/2
99
5.8 Teorema de trazas

Definici
on 5.15 Se define el espacio H0m () como la adherencia de D() sobre H m ().
H m ()
H0m () = D()
Si es acotado, H0m () H m () de forma estricta; sin embargo, H0m (Rn ) = H m (Rn ); en

particular:
H 1 ()
H01 () = D()
H01 (Rn ) = H 1 (Rn )

Teorema 5.3 Sea v H01 (), la funci
on v prolongaci
on de v por cero en Rn \, pertenece a
H 1 (Rn ).
Teorema 5.4 Desigualdad de Poincar
e:
Si es acotado, existe una constante c = c() > 0, tal que:
v H01 () , kvk0, c()
n
X
v 2
k
k
xi 0,
i=1
!1/2
Corolario 5.2 Si es acotado, la seminorma en H 1 ()

|v|1, =
n
X
v 2
k
k
xi 0,
i=1
!1/2
es una norma en H01 () equivalente a la norma inducida por k k1,

Esta no es una norma en H 1 () porque kvk1, = 0 no implica que v sea identicamnete nula.
Pensar en una funci
on constante, por ejemplo, todas sus derivadas parciales son nulas pero
v 6= 0. Sin embargo, si v H01 () y v es constante, necesariamente v = 0.
5.8
Teorema de trazas
Sea = la frontera de . Dada v H 1 (), buscamos como definir su valor en la frontera,

v| . Esto no es evidente pues para n 2 las funciones de H 1 () no son continuas en general.
Ejemplo 5.8
1. Sea = (a, b), se tiene que H 1 () C 0 ().
2. Que una funci
on este en L2 () no garantiza que se pueda definir su valor en la frontera.
1
Por ejemplo sea f (x) =
.
4
x
3. Sea = {(x, y) R2 /x2 + y 2 < R2 < 1}, consideramos la funcion v : \{0} R definida
de la forma
v(x, y) = | log(x2 + y 2 )1/2 |k , k real
100
Si k <
1
2
entonces v H 1 () y
Z R
Z
| log r|2 k r d r + 2 k 2
kvk21, = 2
0
| log r|2 k2
dr
<
r
Sin embargo, v no es continua en (0,0).

Traza de una funci
on
Para definir la traza de v, v| , con v H 1 () se introducen a continuaci
on algunas notaciones:
Para m 0 entero, C m () designa el conjunto de restricciones a de funciones de clase
m en Rn .
Analogamente, D() es el espacio de restricciones a de D(Rn ).
En adelante, consideraremos abiertos Rn cuya frontera es bastante regular. Esta
regularidad se precisa a continuaci
on en un sentido bastante generalizado, en algunos casos particulares se puede exigir una regularidad menor, ver Necas.
Frontera regular
Definici
on 5.16 Un abierto se dice de frontera regular si verifica:
1. es acotado.
2. Existe un n
umero finito de abiertos acotados Oi de Rn , 0 i l, tales que O0 ,
{Oi }i=0,l es un recubrimiento abierto de y {Oi }i=1,l es un recubrimiento abierto de .
Adem
as, para cada i = 1, . . . , l existe una aplicaci
on
i : Oi Q = {(y , yn ) Rn , |y |Rn1 < 1, 1 < yn < 1}
i es inversible de modo que i , 1
son regulares y adem
as
i
i (Oi ) = Q {y Rn , yn > 0} = Q+
i (Oi ) = {y Rn , yn = 0}
La regularidad de la frontera hace referencia a la regularidad de la funciones i .
m
As, por ejemplo, un abierto tiene frontera de clase C m si las funciones i , 1
i son de clase C .
La mayora de los resultados relativos a H m () son validos para abiertos con frontera de clase
C m.
Si un abierto es de frontera regular se tiene, en particular, una parametrizacion a trozos de la
frontera :
1
: Q {y Rn , yn = 0} , i = 1, . . . , l ,
i
la cual induce en una medida superficial a partir de la medida de Lebesgue de Rn1 . Esta
medida la denotaremos por d.
101

Ejemplo 5.9 Supongamos que est
a definida por una carta local
= {(x, y) /x I, y = f (x), I = (1, 1)} ,
donde f es un difeomorfismo (f, f 1 son de clase C 1 ).
Entonces, : x I (x) = (x, f (x)) es una carta local y se induce en una medida
superficial d de manera que para v : R medible e integrable se tiene
Z
Z
Z
2 1/2
v() d = v(r, f (r))[1 + (f (r)) ] dr = v((x))| (x)| dx.
I
Definici
on 5.17 Si es un abierto con frontera suficientemente regular se puede definir,
salvo en un conjunto de medida superficial nula, una normal a exterior a en cada punto
x . Notaremos por ~ (x) = (1 (x), . . . , n (x)) la normal unitaria a exterior a .
Definici
on 5.18 Puesto que disponemos de una medida en , podemos definir el espacio
L2 () = {v : R de cuadrado integrable en }
con la norma
kvk0, =
Z
v d
1/2
Teorema 5.5 Aplicaci

on traza 0
Supongamos que es un abierto acotado de Rn de frontera regular (por ejemplo de clase C 1 ).
Entonces:
1. D() es denso en H 1 ().
2. v D(), v| C 0 () L2 () y adem
as kv| k0, c() kvk1, .
Es decir, la aplicaci
on 0 : v D() 0 v = v| L2 () es lineal y continua cuando en
D() se considera la norma de H 1 ().
3. D()
0
H 1 ()
0
L2 ()
on 0 : H 1 () L2 () lineal
La aplicaci
on 0 se prolonga por continuidad en una aplicaci
continua (llamada Aplicacion Traza) tal que
v H 1 (), k0 vk0, c() kvk1, .
4. Ker 0 = H01 () = {v H 1 ()/0 v = 0} = {v H 1 ()/v| = 0}
5. 0 no es sobreyectiva. Im 0 L2 () y se prueba que Im 0 es denso en L2 ().
102
Definici
on 5.19 Denotamos H 1/2 () = Im 0 . H 1/2 () es denso en L2 (). Se le dota de la
norma
kuk1/2, =
inf
kvk1,
{vH 1 ()/0 v=u}
con la cual es un espacio de Banach.

Ejercicio 5.1 Demostrar que H 1/2 () L2 () es una inyeccion continua.
Definici
on 5.20 Se designa por H 1/2 () el dual topologico de H 1/2 () dotado de la norma
usual
< , >
k k = sup
H 1/2 () kk1/2,
< ., . > denota la dualidad entre H 1/2 () y H 1/2 (). Puesto que H 1/2 () es un subespacio
denso en L2 () con inyecci
on continua y el espacio L2 () se identifica con su dual, el espacio
2
L () se identifica a un subespacio de H 1/2 ().
H 1/2 () L2 () H 1/2 ()
L2 () es denso en H 1/2 () con inyeccion continua.
Definici
on 5.21 En general, como H m () H 1 (), m > 1 se nota H m1/2 () = 0 (H m ()).
kukm1/2, =
inf
{vH m ()/0 v=u}
kvkm,
En particular, 0 (H 2 ()) = H 3/2 ().

Teorema 5.6 Aplicaci
on traza 1 : derivada normal
Sea un abierto acotado de frontera de clase C 1 a trozos. Entonces:
1. D() es denso en H 2 ().
2. La aplicaci
on
v
L2 ()
~
se prolonga a una aplicaci
on lineal continua 1 : H 2 () 1 v L2 (),
n
v X v
=
i siendo ~ = (1 , 2 , . . . , n ) normal exterior a .
donde
~
xi
1 : v D() 1 v =
i=1
3. H 2 () = H 2 () Ker 0 Ker 1
0
= {v H 2 () / 0 v = 1 v = 0}
= {v H 2 () / v| =
v
= 0}.
~
4. H m () H 2 (), 1 (H m ()) = H m11/2 ().

(0 , 1 ) : H m () H m1/2 () H m11/2 ()
103
Definici
on 5.22 Sean T1 , T2 , . . . , Tn D () y T~ = (T1 , T2 , . . . , Tn ) (D ())n . Se define la
distribucion divergencia de T~ , div.T~ D () como
div.T~ =
n
X
Ti
i=1
es decir, < div T~ , z >=
n
X
i=1
xi
X
z
Ti
< Ti ,
, z >=
>, z D().
<
xi
xi
i=1
Puesto que L2 () D (), el espacio (L2 ())n es un subespacio de (D ())n y es posible

introducir el espacio
H(div.; ) = {~q (L2 ())n / div.~q L2 ()}
n Z
X
z
~ z)0, , z L2 ()
qi
< div.~
q , z >=
dx = (~q, grad
x
i
i=1

~ z = z ,..., z .
donde grad
x1
xn
Al espacio H(div.; ) se le dota de la norma
k~
q kH(div.;) = (k~qk20, + kdiv.~qk20, )1/2
que le convierte en un espacio de Banach.
Observaci
on 5.3 Notese que (H 1 ())n H(div.; ).
Se tienen adem
as, los siguientes resultados:
Teorema 5.7
1. (D())n es denso en H(div.; ) (ver Temam).
2. La aplicaci
on : ~q (D())n ~q L2 () definida como
( ~
q )(x) = ~q(x) ~ (x), c.p.d. en
es lineal y continua cuando en (D())n se considera la norma de H(div.; ) y en L2 () la
norma de H 1/2 ().
~
q=~
q ~ L2 () H 1/2 ()
Z
< , >= (~q ~ ) d, H 1/2 ()
k ~
q k1/2, c()k~qkH(div.;) , ~q (D())n
3. (D())n
H(div.; )
H 1/2 ()
104
En consecuencia, se prolonga de manera u
nica a una aplicaci
on lineal continua
: H(div.; ) H 1/2 ()
tal que ~
q H(div.; ) se tiene k ~qk1/2, k~qkH(div.;) .
4. La aplicaci
on es sobreyectiva de H(div.; ) en H 1/2 ().
5. Ker = H0 (div.; ) = adherencia de (D())n en H(div.; ).
6. k kL(H(div.;);H 1/2 ()) = 1.
Observaci
on 5.4 Notese que cuando ~q es suficientemente regular, entonces ~q coincide con
~q ~ L2 () de manera que
Z
~q ~ d, H 1/2 ()
< ~q, > =
o bien
< ~
q , 0 u > =
~q ~ 0 u d, u H 1 ()
En caso de que ~
q no sea suficientemente regular, solamente podemos hablar de ~q H 1/2 ()
y de la dualidad
< ~
q , 0 u >1/2,1/2 , ~q H(div.; ), u H 1 ().
Sin embargo, en lugar de ~
q se utilizar
a la notaci
on ~q ~ .
~ u=
~ u como el vector
Ejemplo 5.10 Sea u H 1 (). Se define grad

u
~ u=
,...,
(L2 ())n (D ())n ,
x1
xn
~ u se tiene
tomando ~q =
~ u) =
div.~
q = div(
n
X
2 u
i=1
x2i
= u.
1. Si u H 2 () entonces u L2 () de manera que div.~q L2 () y se tiene que

~ u H(div.; ) e incluso ~
~q =
q (H 1 ())n .
Interpretacion de ~
q : Puesto que ~q (H 1 ())n tiene sentido ~q ~ como
q ~ =
~
n
X
i=1
n
X
u
u
i =
= 1 u H 1/2 ()
q i i =
xi
~
i=1
y por tanto, act

ua como elemento de H 1/2 ().
Z
u
d, H 1/2 ().
< ~q, > =
105
5.9 Formulas de Green y Stokes
~ u H(div.; ) pero como

2. Si u H 1 () y u L2 () tambien se tiene que ~q =
1
n
~q
/ (H ()) ya no tiene sentido hablar de 1 u. Por tanto, ~q = ~q~ ya no es formalmente
un elemento de L2 (), sino que
~
q=~
q ~ =
5.9
n
X
i=1
n
X
u
u
q i i =
i =
H 1/2 ().
xi
~
i=1
F
ormulas de Green y Stokes
Si u, v D() se verifica la siguiente formula de Green

Z
Z
Z
u
v
dx =
v dx + u| v| i d.
u
xi
xi
Por un razonamiento de densidad de D() en H 1 () y las propiedades de prolongacion de u|
a 0 se deduce la siguiente formula de Green generalizada.
Teorema 5.8 F
ormula de Green generalizada
Sea abierto acotado de frontera de clase C 1 a trozos.
(1) u, v H 1 ()
Z
v
dx =
xi
u
v dx +
xi
0 u 0 v i d, i = 1, . . . , n.
(2) u H 2 (), v H 1 ()
Z 2
Z
Z
u
u v
u
dx =
v i d, i = 1, . . . , n.
v dx +
2
xi
xi xi
xi
(3) u H 2 (), v H 1 ()
Z
Z
Z
u
~ v
~ dx = u v dx +
u
v d .
u
= 1 u H 1/2 () y adem
as 1 u =
Observaci
on 5.5 En la formula (3) se tiene que
~
~ H 1/2 (), con lo cual tiene sentido la integraci
(u)
on en la frontera.
Teorema 5.9 F
ormula de Stokes generalizada
Si ~q (D())n y v D() se verifica:
Z
Z
Z
~ dx +
~q (~ v) d ,
v div.~q d x =
q v
~
es decir
n Z
X
i=1
qi
X
v
dx +
xi
i=1
X
qi
dx =
xi
i=1
v qi i d .
106
En virtud de la densidad de (D())n en H(div.; ), la densidad de D() en H 1 () y las

propiedades de prolongacion de y 0 se concluye la siguiente formula de Stokes generalizada
(4)
~ v dx +
~q grad
v div.~
q d x =< ~q, 0 v > , ~q H(div; ), v H 1 ().
Observese que si ~
q H(div; ) es lo suficientemente regular para que ~q L2 (), entonces la
formula anterior se escribe
(5)
~ dx +
~q v
v div.~
q dx =
~q (~ v) d , ~q H(div; )/ ~q L2 (), v H 1 ().
~ de la formula (5) se obtiene la (3).

Ejemplo 5.11 Tomando u H 2 () y ~q = u
~ se obtiene
Sin embargo, si u H 1 (), u L2 () y ~q = u
(6)
~ v
~ dx +
u
~
u v d x =< q~ ~ , v > =< (u),
v > .
(donde se ha denotado formalmente < ~q ~ , v > =
~q (~ v) d ).
(7) Si en la formula (3) se toma tambien v H 2 () entonces se deduce

Z
Z
Z
v
~ v
~ dx =
v u dx +
u
u d ,
por tanto
uv dx
uv dx =
(u
v
u
v
) d , u, v H 2 ().
~
~
(8) Si u H 4 () y v H 2 (), reemplazando u por u en (7) se obtiene

Z
Z
Z
Z
( u)
v
2 u v d x v
d + u
d .
uv dx =
~
~
5.10
Teorema de compacidad y otros resultados
Teorema 5.10 Teorema de Rellich

Si es un abierto acotado de Rn de frontera suficientemente regular, entonces la inyecci
on
can
onica H 1 () L2 () es compacta.
Esto es, dada (vm ) una sucesion acotada en H 1 (), (kvm k1, K), existe una subsucesi
on
(vmk ) convergente en L2 ().
En general, este resultado es falso cuando no es acotado. Por ejemplo, es falso para = Rn .
107
5.10 Teorema de compacidad y otros resultados
Teorema 5.11 Inyecciones de Sobolev y Kondrasov

Sea es un abierto acotado de Rn con frontera regular (por ejemplo de clase m), entonces
n
+ k, H m () C k () con inyeccion continua y compacta.
2
n
2. Si m = , H m () Lq (), q [1, +) con inyeccion continua y compacta.
2
1. Si m >
3. Si m <
n 1
1 m
y = , H m () Lq (), 1 q p con inyeccion continua y compacta.
2 p
2
n
Definici
on 5.23 Se define el espacio H m () como el dual de H0m (), es decir
H m () = {T : H0m () R, lineal y continua}
a
considerando en H0m () la norma inducida por H m (). Observese que el dual de H m () est
m
contenido en H (). En general, el contenido recproco es falso.
Teorema 5.12 Toda forma lineal y continua sobre H 1 () es de la forma
1
v H ()
(f0 v +
n
X
fi
i=1
v
) dx
xi
donde fi L2 (), 0 i n y, adem

as, no son u
nicas.
Corolario 5.3 H 1 () = {T D () / T = f0
En general se tiene
H m () = {T D () / T =
n
X
fi
, fi L2 ()}.
xi
i=1
(1)|| f , f L2 (), || m}.
||m
RESUMEN
Teorema 5.13 Supongamos que es un abierto acotado de Rn de frontera bastante regular.
on 0 : v 0 v = v| de D() en C 0 () se
Entonces D() es denso en H 1 () y la aplicaci
prolonga por continuidad en una aplicaci
on lineal continua de H 1 () en L2 () denotada tambien
por 0 .
Observaci
on 5.6
1. Se define el espacio:
L2 () = {v : R de cuadrado integrable en }
con la norma
kvk0, =
Z
v d
1/2
108
2. La aplicaci
on 0 se denomina aplicaci
on traza y su valor para v H 1 (), 0 v, se llama
traza de v sobre .
3. ker 0 = H01 () = {v H 1 ()/0 v = 0}
Im 0 = H 1/2 (), con lo cual esta aplicaci
on no es sobreyectiva.
1/2
2
H () es denso en L (). Se le dota de la norma
kuk1/2, =
inf
{vH 1 ()/0 v=u}
kvk1,
con la cual es un espacio de Banach.

Se tiene que H 1/2 () L2 () es una inyeccion continua.
Teorema 5.14 Si es un abierto acotado de frontera de C 1 a trozos, la aplicaci
on
D() L2 () L2 ()
v (0 v, 1 v) = (v| ,
v
| )
~n
se prolonga en una aplicaci

on lineal continua de
H 2 () L2 () L2 ()
Observaci
on 5.7 La aplicaci
on 1 v se entiende como:
n
1 v =
X v
v
~ ~n
=
ni = v
~n
xi
i=1
siendo ~n = (n1 , n2 , . . . , nn ) normal exterior a . 1 v se denomina traza derivada normal.

Teorema 5.15 F
ormula de Green generalizada
Sea abierto acotado de frontera de C 1 a trozos. Para toda funci
on u H 2 () y toda funci
on
1
v H (), se verifica:
Z
Z
Z
u
~ v
~ dx =
v d
u v dx +
u
n
~
Notaci
on:
Z
~ v
~ dx =
u
Z X
n
u v
dx
xi xi
i=1
u
~ ~n) v
v = (u
~n
Teorema 5.16 F
ormula de Stokes generalizada
Si ~q (D())n y v D() se verifica:
Z
Z
Z
~
~q (~nv) d
v div~q d x =
q v d x +
~
Tema 6
Formulaci
on variacional de
ecuaciones en derivadas parciales
6.1
Introducci
on
Podemos resumir la filosofa que encierran los metodos variacionales abstractos en los siguientes
terminos: por una parte est
a el hecho de no conocer ning
un resultado general del an
alisis funcional que proporcione un estudio de la existencia de soluci
on de las ecuaciones en derivadas
parciales (problema cl
asico) cuando se busca esta soluci
on en ciertos espacios funcionales dotados de cierta regularidad (C 1 , C 2 , . . .); por otra parte, se dispone de un teorema general de
existencia y unicidad de soluci
on de ciertas ecuaciones en un marco general abstracto cuando
los espacios funcionales son de Hilbert (Teorema de Lax-Milgram). Se impone la necesidad de
construir una formulaci
on apropiada de la ecuaci
on en derivadas parciales, en el sentido de debilitar la formulaci
on con el fin de ampliar el campo de las soluciones permisibles, que permita
la utilizaci
on de los resultados conocidos en espacios de Hilbert.
No debemos pensar, sin embargo, que los metodos variacionales constituyen una herramienta
matem
atica abstracta para abordar la ecuaci
on en derivadas parciales, ya que est
an incluidos
en la concepci
on misma de los problemas fsicos. As pues, una familia de metodos variacionales
se obtiene directamente por aplicaci
on del principio de mnima energa (metodo de Ritz). Otra
familia de metodos (Galerkin, mnimos cuadrados, colocacion,...) dan lugar a formulaciones
integrales m
as amplias.
Para ilustrar estas teoras, consideramos dos problemas de contorno elpticos: el problema de
Dirichlet homogeneo y el problema de Neumann homogeneo. Estos problemas lineales sencillos
nos servir
an para introducir las formulaciones variacionales y los conceptos de soluci
on clasica
y soluci
on generalizada.
109
110
6.2
6. Formulaci
Formulaci
on variacional de problemas de tipo elptico
Veremos a partir de dos ejemplos de ecuaciones de tipo elptico como es posible dar una formulacion debil de estos problemas llamada formulaci
on variacional.
Ejemplo 6.1
1. Problema de Dirichlet.
Sea abierto acotado de Rn de frontera de clase C 1 a trozos, consideramos el siguiente
problema continuo:
Dada f C 0 (), encontrar u definida en soluci
on de:

u = f en
u = 0 sobre
(6.1)
Se llama soluci
on cl
asica del problema de Dirichlet homogeneo a una funcion u C 2 ()
0
C () que satisface el problema (6.1).
Se tiene un resultado de existencia y unicidad de soluci
on clasica del problema (6.1) bajo
las hip
otesis f C 1 () y de clase 2, (ver Mijailov).
As pues, para la existencia de soluci
on clasica necesitamos que f C 1 (). En consecuencia, f L2 (). Por otra parte, la soluci
on clasica verifica u L2 () y u L2 ().
Podemos plantear entonces el siguiente problema:
Dada f L2 (), encontrar u definida en soluci
on de (6.1).
Supongamos que la soluci
on de (6.1) es suficientemente regular, por ejemplo , u H 2 ().
Entonces si multiplicamos ambos miembros de la ecuaci
on por una funcion test v
H01 () e integramos sobre , se tiene:
Z
Z
f v d x , v H01 ()
uv dx =
Utilizando la formula de Green generalizada y teniendo en cuenta que u| = 0, se tiene

Z
Z
~
~
f v d x , v H01 ()
(6.2)
u v d x =
Por otra parte, puesto que u| = 0, el teorema de la traza 0 indica que u H01 (). De
esta forma, el problema cl
asico (6.1) se puede reemplazar por el siguiente:
Dada f L2 (), encontrar u H01 () verificando (6.2).
Esta es la formulaci
on variacional del problema clasico de Dirichlet en derivadas parciales
(6.1) y su soluci
on se denomina soluci
on generalizada o soluci
on debil de (6.1).
6.2 Formulaci
111
As pues, toda soluci

on u suficientemente regular de (6.1) es soluci
on del problema (6.2).
on de
Recprocamente, vamos a comprobar que una soluci
on u H01 () de (6.2) es soluci
on de (6.2) si, y
(6.1) en el sentido de las distribuciones. En efecto, u H01 () es soluci
s
olo si,
Z
Z
~
~
f d x , D()
u d x =
H01 ()
pues, por definicion

verifica (6.2) entonces
es la adherencia de D() en H 1 (). Por consiguiente, si u

u = f en D ()
en el sentido de distribuciones, y como f L2 (), entonces

u = f en L2 () c.p.d.
Esto es, la pertenencia de u a H01 () implica que u = 0 sobre en el sentido del teorema
de trazas sobre .
La pregunta que surge de modo natural es en que condiciones la soluci
on del problema
(6.2) es soluci
on cl
asica del problema (6.1). Por ejemplo, si la soluci
on de (6.2) es tal que
u H m (), con m > n/2 + k, entonces, como H m () C k (), se tiene que u C k ()
y, para k suficientemente grande, u deber
a ser la soluci
on clasica de (6.1). Se trata, pues,
de un tema relativo a la regularidad de la soluciones.
Por otra parte, hemos visto que toda soluci
on suficientemente regular de (6.1) es soluci
on
de (6.2). Ahora bien, en la siguiente secci
on probaremos que el problema variacional (6.2)
tiene soluci
on u
nica y, en consecuencia, para datos regulares (lo cual implica regularidad
de la soluci
on cl
asica) la u
nica soluci
on de (6.2) es la soluci
on clasica de (6.1).
Otro aspecto destacable de la formulaci
on variacional es el hecho de ser la ecuaci
on de partida para la utilizaci
on del metodo numerico de Elementos Finitos con el fin de aproximar
su soluci
on y, por tanto, la soluci
on clasica del problema.
2. Problema de Neumann.
Sea abierto acotado de Rn de frontera de clase C 1 a trozos, consideramos el problema
de Neumann homogeneo siguiente:
Dada f C 0 (), encontrar u definida en soluci
on de:
(
u + u = f
u
=0
~
en
sobre
(6.3)
Se demuestra que existe una u

nica soluci
on clasica u C 2 () C 1 () de (6.3) cuando
f C 1 () y de clase 2.
112
6. Formulaci
Para construir la formulaci
on variacional de (6.3) planteamos el siguiente problema:
Dada f L2 (), encontrar u definida en soluci
on de (6.3).
Supongamos que la soluci
on u de (6.3) es suficientemente regular, por ejemplo, u H 2 ().
Entonces si multiplicamos ambos miembros de la ecuaci
H 1 () e integramos sobre , se tiene:
Z
Z
Z
f v d x , v H 1 ()
uv dx =
uv dx +
Utilizando la formula de Green generalizada y teniendo en cuenta la condici

on frontera:
Z
Z
Z
~ v
~ dx +
f v d x , v H 1 ()
(6.4)
uv dx =
u
Cambiamos entonces el problema (6.3) por el siguiente:

Dada f L2 (), encontrar u H 1 () verificando (6.4).
Esta es la formulaci
on variacional del problema de Neumann homogeneo (6.3). As pues,
toda soluci
on u suficientemente regular de (6.3) es soluci
on del problema (6.4).
Recprocamente, si u H 1 () es soluci
on de (6.4) tenemos, en particular
Z
Z
Z
~
~
f d x , D()
u dx =
u d x +
lo cual implica:
u + u = f en D ()
en el sentido de distribuciones. De hecho, como f L2 (), entonces

u + u = f en L2 () c.p.d.
Dado que u es regular, u H 2 (), se puede obtener aplicando la formula de Green que
(6.4) equivale a la ecuaci
on anterior y adem
as
Z
u
v d = 0 , v H 1 ()
o bien, considerando que H 1/2 () es denso en L2 ()

Z
u
w d = 0 , w H 1/2 ()
lo que implica
u
= 0 sobre
~
As pues, toda soluci
on regular de (6.4) es soluci
on de (6.3).
6.2 Formulaci
6.2.1
113
Problema variacional abstracto
Vamos a encuadrar las formulaciones variacionales de los dos problemas anteriores en un marco
general abstracto que ser
a adecuado para la resolucion de numerosos problemas de tipo elptico.
Es necesario contar con:
1. Un espacio de Hilbert V (sobre R) de norma k k ;
2. Una forma bilineal continua a(u, v) sobre V V , es decir, una forma bilineal para la que
existe una constante M tal que
a(u, v) M kuk kvk , u, v V ;
3. Una forma lineal L(v) continua sobre V , es decir, L es un elemento de V (dual topologico
de V ), provisto de la norma
L(v)
kLk = sup
.
vV,v6=0 kvk
Definici
on 6.1 La forma bilineal a(, ) se dice V-elptica si existe una constante > 0 tal
que
a(v, v) kvk2 , v V
Consideramos pues el problema variacional general:

Encontrar u V tal que
a(u, v) = L(v) , v V
(6.5)
Teorema 6.1 de Lax-Milgram Considerando las hip

otesis 1,2 y 3 anteriores y suponiendo
que la forma bilineal a(, ) es V-elptica, entonces el problema (6.5) admite una soluci
on u
nica
u V . Adem
as la aplicaci
on lineal L u de V en V es continua.
Observaci
on 6.1 Cuando la forma bilineal a(, ) es simetrica se introduce el funcional cuadratico
definido para todo v V como
1
J(v) = a(v, v) L(v)
2
y se considera el problema de minimizacion:
(
Encontrar u V tal que
(6.6)
J(u) = min J(v)
vV
Teorema 6.2 Supongamos que la forma bilineal a(, ) es simetrica y V-elptica. Entonces el
problema (6.6) admite una soluci
on u
nica u V que coincide con la del problema (6.5).
Observaci
on 6.2 Cuando la forma bilineal a(, ) es simetrica, el problema (6.5) corresponde
a un problema de minimizacion de un funcional cuadratico sobre un espacio de Hilbert V , esta
es la formulaci
on abstracta de un cierto n
umero de problemas de calculo de variaciones. Esto
explica por que el problema (6.5) se denomina problema variacional.
114
6. Formulaci
Ejemplo 6.2
1. Retomemos el problema de Dirichlet. Su formulaci
on variacional se corresponde con:
a(u, v) = L(v) , u, v V
si consideramos:
(a) V = H01 () con kvk = kvk1,
Z
n Z
X
~
~
u v d x =
(b) a(u, v) =
(c) L(v) =
i=1
u v
dx
xi xi
f v dx
Se comprueba facilmente que la forma bilineal a(, ) es continua sobre H01 () H01 ()
|a(u, v)| |u|1, |v|1, kuk1, kvk1,
y que la forma lineal L() es continua sobre H01 ()
|L(v)| kf k0, kvk0, kf k0, kvk1,
Por otra parte, como es un abierto acotado de Rn , la forma bilineal a(, ) es H01 ()elptica; en efecto, en virtud de la desigualdad de Poincare se tiene que:
a(v, v)
1
kvk21, , v H01 ()
1 + c2 ()
Demostraci
on:
a(v, v) =
kvk20,
kvk1, =
Por la desigualdad de Poincare:
kvk20,
c ()
~ 2 dx
(v)
n
X
v 2
k
+
k
xi 0,
i=1
!1/2
~ 2 d x , v H01 ()
(v)
De modo que:
kvk21,
kvk20,
c ()
~ 2 dx +
(v)
= (c () + 1)
~ 2 dx
(v)
|v|21,
2
entonces
<
~ 2 dx =
(v)
1
/ a(v, v) kvk21, , v H01 ()
1 + c2 ()
6.2 Formulaci
115
olo una tal que

Por el teorema de Lax-Milgram, existe una funcion u H01 () y s
Z
Z
~ v
~ dx =
f v d x , v H01 ()
u
Adem
as, como a(, ) es simetrica, esta funcion u minimiza el funcional cuadratico:
Z
Z
1
~ 2 dx
J(v) =
f v dx
|v|
2
sobre el espacio H01 ().

Observaci
on 6.3 Se poda haber tratado este problema de Dirichlet considerando el es1
pacio H0 () dotado de la norma | |1, . Entonces es evidente que la forma bilineal a(, )
es continua sobre H01 () H01 () y H01 ()-elptica. La continuidad de la forma lineal L()
sobre H01 () resulta de la desigualdad de Poincare.
2. Consideramos ahora el problema de Neumann. Se enmarca en el cuadro variacional general
tomando:
(a) V = H 1 () con kvk = kvk1,
Z
Z
~
~
uv dx
u v d x +
(b) a(u, v) =
Z
f v dx
(c) L(v) =
Resulta entonces del teorema de Lax-Milgram que existe una y s

olo una funcion u H 1 ()
tal que:
Z
Z
Z
~
~
f v d x , v H 1 ()
uv dx =
u v d x +
Adem
as, esta funci
on u es el u
nico elemento de H 1 () que minimiza el funcional
Z
Z
1
~ 2 + |v|2 ) d x
J(v) =
f v dx
(|v|
2
sobre el espacio H 1 ().
6.2.2
Sistema de Elasticidad.
Vamos a considerar un ejemplo de problema elptico fundamental en cuanto a sus aplicaciones

a la teora de Mecanica de S
olidos: el sistema de elasticidad.
Sea un abierto acotado y conexo de Rn (n = 2, 3 en la pr
actica) de frontera de clase C 1 a
trozos; sea 0 una parte de de medida superficial estrictamente positiva y sea 1 el complementario de 0 en .
Si ~v = (v1 , . . . , vn ) es una funci
on definida en con valores en Rn , sea

vj
1 vi
+
ij (~v ) =
, 1 i, j n
2 xj
xi
(6.7)
116
6. Formulaci
sea tambien
ij (~v ) =
n
X
k=1
kk (~v ) ij + 2 ij (~v ) , 1 i, j n
(6.8)
donde y son dos constantes que verifican 0 y > 0.

Consideramos entonces el problema siguiente:
Dadas las funciones f~ = (f1 , . . . , fn ) (L2 ())n y ~g = (g1 , . . . , gn ) (L2 (1 ))n , encontrar una
funcion ~u = (u1 , . . . , un ) soluci
on de:
n
X
ij (~u) + fi = 0 en
xj
j=1
(6.9)
ui = 0 sobre 0
ij (~u) j = gi sobre 1
j=1
para todo i = 1, 2, . . . , n.
Estas ecuaciones describen los peque

nos desplazamientos ~u a partir del estado natural de un
s
olido elastico homogeneo e is
otropo sometido a una densidad vol
umica de fuerzas f~ en y a
una densidad superficial de fuerzas ~g sobre 1 cuando los desplazamientos ~u se consideran nulos
sobre 0 . (En un material homogeneo todos los puntos tienen las mismas propiedades. En un
material is
otropo las propiedades de un punto son las mismas en todas las direcciones).
Los coeficientes y que intervienen en (6.8) y que ligan los coeficientes ij del tensor de
tensiones y los coeficientes ij del tensor de deformaciones lineales se denominan coeficientes de Lam
e y dependen de cada material.
Para resolver este problema consideramos los espacios (L2 ())n y (H 1 ())n dotados de las
normas hilbertianas siguientes:
k~v k0, =
n
X
k~v k1, =
n
X
i=1
i=1
kvi k20,
!1/2
kvi k21,
!1/2
Teorema 6.3 Desigualdad de Korn.

Supongamos que es un abierto acotado de Rn de frontera de clase C 1 a trozos. Entonces
existe una constante c = c() > 0 tal que
n
X
i,j=1
kij (~v )k20, + k~v k20, c k~v k21, .
117
6.2 Formulaci
Dicho de otro modo, la aplicaci
on
~v
n
X
i,j=1
1/2
kij (~v )k20, + k~v k20,
es una norma sobre (H 1 ())n equivalente a la norma k~v k1, .

Introducimos el espacio:
V = {~v (H 1 ())n /~v = ~0 sobre 0 }

Como consecuencia del teorema anterior tenemos:
Teorema 6.4 Supongamos abierto acotado conexo de Rn de frontera de clase C 1 a trozos.
Entonces existe una constante C0 > 0 tal que
n
X
i,j=1
kij (~v )k20, C0 k~v k21,
Idea de la demostracion:
La aplicaci
on
~v
es una norma sobre V .

Se define
n
X
i,j=1
1/2
kij (~v )k20,
R = {~v (H 1 ())n /ij (~v ) = 0 , 1 i, j n}

el conjunto de desplazamientos rgidos de .
Se verifica que V R = {~0}.
Consideramos la forma bilineal:
a(~u, ~v ) =
n Z
X
ij (~u) ij (~v ) d x,
i,j=1
con ij (~u) y ij (~v ) dados por (6.8) y (6.7), respectivamente. Es decir:

Z X
n
n Z
X
uk vk
(
a(~u, ~v ) =
ij (~u) ij (~v ) d x.
)(
) dx + 2
xk xk
k=1
i,j=1
La forma bilineal a(, ) es continua sobre V V . Por la desigualdad de Korn

a(~v , ~v ) 2 C0 k~v k21,
de modo que a(, ) es V-elptica.
118
6. Formulaci
Por otra parte, gracias al teorema de trazas, la aplicaci

on

Z
Z
n
X
gi vi d
~v
fi vi d x +
1
i=1
es una forma lineal continua sobre V .
Por el teorema de Lax-Milgram existe una u

nica funcion ~u V soluci
on de:

Z
Z
n
X
gi vi d , v V
f i vi d x +
a(~u, ~v ) =
i=1
(6.10)
Ademas, como la forma bilineal es simetrica, se introduce el funcional cuadratico

Z
n Z
n Z
X
1X
J(~v ) =
gi vi d
fi vi d x +
ij (~v ) ij (~v ) d x
2
1
i=1
i=1
de modo que la soluci

on ~u de (6.10) se caracteriza por
J(~u) = min J(~v )
(6.11)
~
v V
Observaci
on 6.4
1. Veamos una interpretacion mec
anica importante de las formulaciones (6.10) y (6.11): El espacio V representa el espacio de los desplazamientos ~v cinem
aticamente admisibles,
la formulaci
on variacional (6.10) expresa el principio de los trabajos virtuales.
En efecto, si ~v es un desplazamiento virtual cinem
aticamente admisible, entonces:
n Z
X
ij (~u) ij (~v ) d x
a(~u, ~v ) =
i=1
representa el trabajo de deformaci

on del s
olido elastico correspondiente al desplazamiento virtual ~v , mientras que

Z
n Z
X
gi vi d
f i vi d x +
i=1
representa el trabajo de las fuerzas exteriores. El desplazamiento real ~u es el desplazamiento cinem

aticamente admisible para el cual los dos trabajos anteriores son iguales, y
esto para todo desplazamiento virtual ~v cinem
aticamente admisible.
De la misma forma, la formulaci

on (6.11) expresa que el desplazamiento real ~u es el que
minimiza la energa potencial el
astica J(~v ). Esta energa potencial se compone de:
n Z
1X
ij (~v ) ij (~v ) d x
2
i=1
energa de deformaci
on y
n Z
X
i=1
f i vi d x +
energa potencial de las fuerzas exteriores.
gi vi d
1
119
6.2 Formulaci
2. Podemos considerar una relaci

on lineal m
as general que (6.8) entre el tensor de tensiones
{ij } y el tensor de deformaciones lineales {ij }:
ij (~v ) =
n
X
k,l=1
aijkl kl , 1 i, j n
(6.12)
donde los coeficientes de elasticidad aijkl verifican las propiedades:

(a) Simetra:
aijkl = ajikl = aijlk , 1 i, j, k, l n
(b) Elipticidad:
> 0/{ij } R
n2
n
X
k,l=1
aijkl ij kl
n
X
2
ij
(6.13)
i,j=1
La ley (6.12) corresponde a un material anis

otropo. Cuando el material es no homogeneo
los coeficientes de elasticidad aijkl dependen de x, suponemos entonces que estas funciones
pertenecen a L () y que la propiedad de elipticidad es uniforme, es decir, > 0
independiente de x tal que (6.13) se verifica en casi todo punto de .
Bajo estas hip
otesis se verifica que el problema (6.9) asociado a las leyes (6.7) y (6.12)
admite una soluci
on u
nica en V .
6.2.3
Sistema de Stokes
Otro ejemplo de problema elptico fundamental en cuanto a sus aplicaciones a la Mecanica de

Fluidos es el sistema de Stokes.
Sea un abierto acotado y conexo de Rn (n = 2, 3 en la pr
actica) de frontera de clase C 1 a
trozos. Consideramos entonces el problema siguiente:
Dadas una funci
on f~ = (f1 , . . . , fn ) (L2 ())n y una constante > 0, encontrar las funciones
~u = (u1 , . . . , un ) y p definidas en soluci
on de:
= fi en , 1 i n
ui +
xi
(6.14)
div ~u = 0 en
ui = 0 sobre , 1 i n
Las ecuaciones (6.14) describen el movimiento permanente de un fluido incompresible viscoso confinado en y sometido a una densidad vol
umica f~ de fuerzas exteriores en la hip
otesis
de que el movimiento es lento, donde ~u es la velocidad del fluido, p es la presion y la viscosidad.
Una formulaci
on variacional asociada es:
Si ui , 1 i n, y p son distribuciones sobre verificando las relaciones:
ui +
p
= fi , 1 i n
xi
120
6. Formulaci
tenemos:
+
* X
n
n Z
n
X
X
vi
ui vi
fi vi d x , ~v (D())n ,
,
p,
=
xj xj
xi
i=1
i,j=1
i=1
lo que implica que para toda funci

on ~v (D())n que verifique div ~v = 0 en , se tiene:
X
n
n Z
X
ui vi
fi vi d x.
,
=
xj xj
i,j=1
i=1
Es natural, entonces, introducir el espacio:
V = {~v (H01 ())n /div ~v = 0}

V es un subespacio cerrado de (H01 ())n . Por la desigualdad de Poincare, V es un espacio de
Hilbert para la norma ~v |~v |1, donde
|~v |1, =
n
X
i,j=1
1/2
vi 2
k
k
.
xj 0,
Consideramos la forma bilineal continua sobre V V

n Z
X
ui vi
d x.
a(~u, ~v ) =
xj xj
i,j=1
Dado que
a(~v , ~v ) = |~v |21, , ~v V
la forma bilineal a(, ) es V-elptica.
n Z
X
fi vi d x es una forma lineal continua sobre V . As por el teorema de
Ademas ~v
i=1
Lax-Milgram se puede deducir el siguiente resultado:
Teorema 6.5 Existe una u

nica funci
on ~u V tal que
n Z
X
fi vi d x , ~v V.
a(~u, ~v ) =
i=1
(6.15)
Dado que (D())n no est

a contenido en V no es posible interpretar directamente el problema,
vamos a dar una forma equivalente.
Teorema 6.6 Sea abierto acotado conexo de Rn de frontera C 1 a trozos y sea L una forma
lineal continua sobre (H01 ())n . Entonces la forma lineal L se anula sobre V si y s
olo si existe
2
una funci
on L () tal que
Z
div ~v d x , ~v (H01 ())n
L(~v ) =
As se determina de manera u
nica salvo, a lo sumo, una constante aditiva.
121
6.3 Problemas parabolicos

Ahora se puede enunciar el siguiente resultado:
Teorema 6.7 Existen una funci

on ~u V ,y s
olo una, y una funci
on p L2 (), determinada
de manera u
nica salvo, a lo sumo, una constante aditiva, tales que
Z
n Z
X
fi vi d x , ~v (H01 ())n
(6.16)
p div ~v d x =
a(~u, ~v )
i=1
Adem
as, la funci
on ~u es la soluci
on de (6.15).
Veamos que se ha resuelto bien el problema inicial (6.14). Como D() es denso en H01 (), la
soluci
on (~u, p) de (6.16) est
a caracterizada por:
(~u, p) V L ()
n Z
X
R
f i vi d x
a(~u, ~v ) p div ~v d x =
i=1
es decir:
1
n
2
~u (H0 ()) , p L ()
~ p = f~ en el sentido de distribuciones
~u + grad
div ~u = 0 en
Si admitimos que la soluci

on ~u (H 2 ())n , entonces p H 1 () y la relaci
on
~ p = f~
~u + grad
~ p, f~ en (L2 ())n . Se tiene pues (en el sentido de casi
es una igualdad de las funciones ~u, grad
por doquier en )
~ p = f~ c.p.d. en
~u + grad
Retomamos as el problema inicial.
6.3
Problemas parab
olicos
Abordamos ahora el estudio de los problemas de evoluci

on, es decir, donde interviene el tiempo. Vamos a introducir mediante la ecuaci
on del calor una formulaci
on debil de los problemas
parabolicos lineales an
aloga a la formulaci
on variacional de los problemas de tipo elptico.
Sea abierto acotado de Rn de frontera de clase C 1 a trozos, sean para T > 0
QT = (0, T ) , T = (0, T )
y consideramos el problema siguiente:
Dadas las funciones u0 : R y f : QT R, encontrar una funcion u : (x, t) QT u(x, t)
R soluci
on de
u = f en QT
t
(6.17)
u = 0 sobre T
u(, 0) = u0 en
122
6. Formulaci
Estas ecuaciones describen la evoluci

on, a lo largo de un tiempo t, de la temperatura u de un
medio continuo homogeneo e is
otropo sometido a una fuente de calor f cuando las constantes
fsicas se toman iguales a uno, la temperatura es nula en todo tiempo en la frontera del medio
continuo y la temperatura inicial se da igual a u0 .
Supongamos u suficientemente regular, multiplicamos la ecuaci
Z
u
(x, t) v(x) d x
t
u(x, t) v(x) d x =
f (x, t) v(x) d x , v H01 ()
Utilizando la formula de Green generalizada y recordando que

Z
u
d
(x, t) v(x) d x =
t
dt
u(x, t) v(x) d x
se tiene para toda funci

on v H01 ()
d
dt
u(x, t) v(x) d x +
n Z
X
i=1
u
v
(x, t)
(x) d x =
xi
xi
f (x, t) v(x) d x
Hay que recordar que las variables x y t desempe

nan papeles diferentes. Vamos a separarlas de
la manera siguiente:
Dada u : (x, t) QT u(x, t) R introducimos t (0, T ) la funcion
u(t) : x u(x, t) R
Sea entonces , L2 ()
(, ) =
y , H 1 ()
a(, ) =
(x) (x) d x
n Z
X
i=1

dx
xi xi
Tenemos as una nueva formulaci

on del problema:
Encontrar u : t [0, T ] u(x, t) H01 () tal que
d
(u(t), v) + a(u(t), v) = (f (t), v)
dt
u(0) = u0
con
d
du
un+1 un
derivada en el sentido de distribuciones sobre (0, T ) :
(x, tn+1 ) =
.
dt
dt
t
123
6.4 Problemas hiperb

olicos
6.4
Problemas hiperb
olicos
Corresponde al estudio de los problemas de evoluci

on de segundo orden en t, donde el prototipo
es la ecuaci
on de ondas. Vamos a introducir una formulaci
on debil de los problemas de evoluci
on
de orden 2 en t.
Sea abierto acotado de Rn de frontera de clase C 1 a trozos, sean para T > 0
QT = (0, T ) , T = (0, T )
y consideramos el problema siguiente:
Dadas las funciones u0 , u1 : R y f : QT R, encontrar una funcion u : (x, t) QT
u(x, t) R soluci
on de
2 u
u = f en QT
u = 0 sobre T
u(, 0) = u0 en
(, 0) = u1 en
t
Cuando f = 0, estas ecuaciones describen, por ejemplo, la propagaci
on a lo largo del tiempo de
peque
nas perturbaciones u de presion, densidad o velocidad de un fluido perfecto para el que la
velocidad del sonido se supone igual a 1, las perturbaciones u son nulas sobre , la perturbacion
inicial u0 y la velocidad de la perturbacion inicial u, est
an dadas.
Supongamos u suficientemente regular, multiplicamos la ecuaci
Z
2 u
(x, t) v(x) d x
t2
u(x, t) v(x) d x =
f (x, t) v(x) d x , v H01 ().
Utilizando la formula de Green generalizada y recordando que

Z 2
Z
u
d2
u(x, t) v(x) d x,
(x, t) v(x) d x = 2
2
dt
t
se tiene para toda funci
on v H01 ()
d2
d t2
u(x, t) v(x) d x +
n Z
X
i=1
u
v
(x, t)
(x) d x =
xi
xi
Si separamos las variables x y t, es decir, introducimos la funcion

u(t) : x u(x, t) R
y definimos el producto escalar
(, ) =
(x) (x) d x
f (x, t) v(x) d x.
124
6. Formulaci
y la forma bilineal
n Z
X

a(, ) =
d x,
xi xi
i=1
esto nos conduce a buscar una funci

on u : t [0, T ] u(x, t) H01 () tal que
d2
(u(t), v) + a(u(t), v) = (f (t), v)
d t2
u(0) = u0
du
(0) = u1
dt
con
d2 u
un+1 2 un + un1
d2
n+1
derivada
en
el
sentido
de
distribuciones
sobre
(0,
T
)
:
(x,
t
)
=
.
d t2
d t2
t2
Bibliografa
[1] Casas, E.:Introducci

on a las ecuaciones en derivadas parciales. Universidad de Cantabria,
1992.
[2] Farlow, S.J.:Partial differential equations for scientists &
engineers. John Wiley & Sons, 1993.
[3] Marcellan, F.; Casas
us, L.; Zarzo, A.: Ecuaciones diferenciales. Problemas lineales y aplicaciones. Mc Graw-Hill, 1991.
[4] Mijailov, V.P.: Ecuaciones diferenciales en derivadas parciales. MIR-Mosc
u, 1982.
[5] Necas, J.: Les methodes directes en theorie des equations elliptiques. Masson, 1967.
[6] Peral, I.:Primer curso de Ecuaciones en Derivadas Parciales. Addison-Wesley. Universidad
Autonoma de Madrid, 1995.
[7] Raviart, P.; Thomas, J.:Introduction `a lanalyse numerique des equations aux derivees
partielles. Masson, 1992.
[8] Reinhard, H.:Equations aux derivees partielles. Dunod, 1991.
[9] Temam, R.: Navier-Stokes equations. North-Holland, 1985.
[10] Weinberger, H.F.:Ecuaciones diferenciales en derivadas darciales. Reverte, 1996.
125

Edp15 16 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Edp15 16 PDF

Uploaded by

Copyright:

Available Formats

Ecuaciones en Derivadas Parciales

que relaciona la variable independiente x = (x1 , x2 , . . . , xn ) con la funci

y sea (p, q) la signatura de A = (aij ), es decir, p es el n

Dada una ecuaci

En general esta ecuaci

1.3 Clasificacion de la ecuaci

Sobre las curvas v = cte, se tiene que dv = vx dx + vy dy = 0, con lo cual

es un cambio de variable que mantiene los coeficientes constantes.

de donde obtenemos las ecuaciones caractersticas

puesto que 1 = 2 . Por tanto, eligiendo

1.3 Clasificacion de la ecuaci

Por otro lado, las condiciones iniciales podr

1.5 Ecuaciones parabolicas

El planteamiento general del problema es:

De igual forma la variable t indica que tenemos un problema de evoluci

El planteamiento general del problema es:

Veamos algunas circunstancias donde se puede presentar:

1.6 Ecuaciones hiperb

2. Vibraciones transversales de una membrana: Si una membrana elastica delgada

El planteamiento general del problema es:

u(0, t) + c1 ux (0, t) = g1 (t)

Una vez hecha la clasificaci

Se presenta el metodo de separacion de variables aplicado a la resolucion de los problemas de

1.8 Metodo de separacion de variables

Se ha pasado de una ecuaci

1.9 El operador Laplaciano

Para aplicar el metodo de separacion de variables suponemos la soluci

De la misma forma se puede considerar la expresi

La interpretacion fsica de la condici

(d) utt ex t uxx + t2 u

(c) t utt + 2uxt + x uxx + ux = 0

(d) t utx + x2 uxx = utt

(g) urr + 2r urs + s2 uss + us + ur = 0

(c) uxx + 5uxy + 4uyy + 7uy = senx

(d) uyy 9ux + 7uy = cos y

Las ecuaciones elpticas se obtienen, en general, cuando se estudian procesos estacionarios. La

2.2 Resultados generales

Comenzaremos por recordar algunos resultados del an

donde ~n es la normal unitaria exterior a D.

dS = 0, sobre cualquier superficie cerrada S dentro de D.

bajo las hip

u(x1 , x2 , x3 ) 0 cuando k(x1 , x2 , x3 )k

2.3 Representaciones integrales

puesto que ahora si a una soluci

Veamos ahora una expresi

2. si n = 2, se tiene, con x = (x1 , x2 )

sobre un cierto dominio D R3 , cuya frontera es D. As, u sobre D representa el potencial

se les denomina funciones de Green o soluciones fundamentales de la ecuaci

2.3 Representaciones integrales

y sea x0 D, entonces, se tienen las siguientes representaciones integrales:

el potencial u(x) queda completamente determinado en D.

Problema de Laplace en un disco

Se trata de encontrar la soluci

u(R, ) = g() ; 0 < 2

lim u(r, ) <

Ahora suponemos que u satisface:

siendo k la constante de separacion. Es decir, M (r) y N () son soluciones de las ecuaciones

Consideremos, en primer lugar, la resolucion de la ecuaci

2.4 Problema de Laplace en un disco

2. si k > 0, Mk (t) = C exp( k t) + D exp( k t)

3. si k < 0, Mk (t) = C cos( k t) + D sen( k t)

Mk (r) = C cos( k ln r) + D sen( k ln r)

2. si k > 0, Nk () = A cos( k ) + B sen( k )