Академический Документы
Профессиональный Документы
Культура Документы
Universidad de La Laguna
Curso de Introduccin
ndice general
INTRODUCCIN
vi
1
1
1
3
4
5
6
7
7
8
9
10
12
13
14
15
15
17
18
18
24
28
28
32
35
36
2. Primer orden
47
2.1. Ecuaciones lineales y cuasilineales . . . . . . . . . . . . . . . . . . 47
2.1.1. Ecuaciones lineales . . . . . . . . . . . . . . . . . . . . . . 47
2.2. Ecuaciones cuasilineales . . . . . . . . . . . . . . . . . . . . . . . 51
iii
NDICE GENERAL
iv
2.3.
2.4.
2.5.
2.6.
2.7.
La ecuacin general de
Integrales primeras . .
Integrales completas .
Lagrange-Charpit . . .
Ejercicios . . . . . . .
primer
. . . .
. . . .
. . . .
. . . .
orden
. . . .
. . . .
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
61
63
65
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
75
79
84
86
4. Ecuacin de ondas
4.1. Clasicacin de ecuaciones lineales . . . . . . . . . . . . . . . . .
4.2. Transformacin de operadores de segundo orden . . . . . . . . .
4.3. Clasicacin de ecuaciones lineales . . . . . . . . . . . . . . . . .
4.3.1. Operadores en el plano . . . . . . . . . . . . . . . . . . . .
4.3.2. Operadores con coecientes constantes . . . . . . . . . . .
4.4. Ecuacin de ondas unidimensional . . . . . . . . . . . . . . . . .
4.4.1. El problema de valor inicial . . . . . . . . . . . . . . . . .
4.4.2. Velocidad de propagacin nita de las perturbaciones . .
4.4.3. Soluciones generalizadas. Propagacin de discontinuidades
4.4.4. Soluciones simtricas . . . . . . . . . . . . . . . . . . . . .
4.4.5. El problema no homogneo . . . . . . . . . . . . . . . . .
4.5. Problemas de contorno . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1. Problemas de Dirichlet y Neumann homogneos . . . . . .
4.5.2. Oscilaciones libres . . . . . . . . . . . . . . . . . . . . . .
4.5.3. Problemas de Dirichlet y Neumann no homogneos . . . .
4.5.4. Problemas de contorno perturbados . . . . . . . . . . . .
4.6. Problemas semilineales . . . . . . . . . . . . . . . . . . . . . . . .
4.6.1. Problemas de valor inicial . . . . . . . . . . . . . . . . . .
4.6.2. Problemas de contorno . . . . . . . . . . . . . . . . . . . .
4.7. Ecuacin de ondas n-dimensional . . . . . . . . . . . . . . . . . .
4.7.1. Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.2. Medias esfricas . . . . . . . . . . . . . . . . . . . . . . .
4.7.3. El problema de valor inicial en el caso n = 3 . . . . . . . .
4.7.4. Propagacin de ondas en el plano n = 2 . . . . . . . . . .
4.8. El caso n-dimensional . . . . . . . . . . . . . . . . . . . . . . . .
4.8.1. Dimensiones impares . . . . . . . . . . . . . . . . . . . . .
4.8.2. Mtodo del descenso de Hadamard . . . . . . . . . . . . .
4.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
93
95
98
98
103
105
105
106
107
109
110
112
116
118
118
120
120
120
123
123
123
125
127
130
131
131
134
135
3. El problema de Cauchy
3.1. Funciones analticas . . . . . .
3.2. El problema general de Cauchy
3.3. Teorema de Cauchy-Kowalevski
3.4. Ejercicios . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
NDICE GENERAL
5. Ecuacin del calor
5.1. Problema de valor inicial . . . . . . .
5.2. El problema perturbado . . . . . . .
5.3. No unicidad de soluciones . . . . . .
5.4. Soluciones analticas . . . . . . . . .
5.5. Problemas de valor inicial y contorno
5.6. Principios del mximo . . . . . . . .
5.7. Principios del mximo . . . . . . . .
5.8. Soluciones positivas . . . . . . . . . .
5.9. Ejercicios . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
147
147
152
152
154
154
156
160
163
164
6. Series de Fourier
6.1. Series de Fourier: introduccin . . . . .
6.2. Espacios de Hilbert . . . . . . . . . . . .
6.3. Series de Fourier: primeras propiedades
6.4. Resultados de convergencia puntual . . .
6.5. Cuestiones complementarias . . . . . . .
6.6. Convergencia uniforme . . . . . . . . . .
6.7. Fenmeno de Gibb . . . . . . . . . . . .
6.8. Teorema de Lusin . . . . . . . . . . . . .
6.9. Ejercicios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
173
173
174
179
181
185
187
190
193
194
7. Separacin de Variables
7.1. Ecuacin del calor . . . . . . . . . . . . . . .
7.2. Funcin de Green . . . . . . . . . . . . . . . .
7.3. Ecuacin de ondas . . . . . . . . . . . . . . .
7.4. Ecuacin de ondas amortiguada . . . . . . . .
7.5. Problemas no homogneos: funcin de Green
7.5.1. El problema de Dirichlet . . . . . . . .
7.5.2. Propiedades del operador solucin . .
7.6. Funciones de Green . . . . . . . . . . . . . . .
7.7. Ejercicios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
199
199
201
203
205
207
211
212
218
220
8. Ecuacin de Laplace (n = 2)
8.1. Frmula de Poisson . . . . . . . . . . . . . . . . . . . .
8.1.1. Dominios simplemente conexos . . . . . . . . .
8.1.2. Deduccin geomtrica de la frmula de Poisson
8.1.3. Problema de Dirichlet en un rectngulo . . . .
8.2. Ecuacin de Poisson . . . . . . . . . . . . . . . . . . .
8.3. Singularidades evitables . . . . . . . . . . . . . . . . .
8.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
225
225
229
230
232
233
240
241
.
.
.
.
.
.
.
.
.
NDICE GENERAL
vi
9. Ecuacin de Laplace (Rn )
9.1. Identidades de Green. Solucin fundamental
9.2. Propiedades de las funciones de Green . . .
9.3. Ecuacin de Laplace en la bola . . . . . . .
9.4. Funciones armnicas: propiedades . . . . . .
9.5. Mtodo de Perron . . . . . . . . . . . . . .
9.6. El semiespacio . . . . . . . . . . . . . . . .
9.7. La ecuacin de Poisson . . . . . . . . . . . .
9.8. Ejercicios . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
247
247
249
251
252
254
258
259
264
A. Funciones diferenciables
269
B. Series Mltiples
273
277
285
BIBLIOGRAFA
287
Introduccin
Estas son unas notas dinmicas sobre ecuaciones en derivadas parciales(edps en lo que sigue), es decir, en continua remodelacin. Al estar colgadas
en la red nos podemos permitir ese lujo. Disculpe el posible lector el nmero
inmoderado de erratas tipogrcas y algunas de las otras (que he tratado de
disipar hasta el exterminio con el paso del tiempo).
Las edps dan al estudiante de matemticas la impresin ese fue al menos
mi caso de materia caprichosa. Se aplica un enorme esfuerzo al estudio de tres
meros casos particulares de segundo orden. Esto, en mis tiempos, donde la
carrera pona gran nfasis en materias tan abstractas como la topolga general o el cculo diferencial en espacios de Banach, resultaba desolador para el
principiante.
Otro agravante, cada pequeo avance en el anlisis de estas ecuaciones (v. g.
de coecientes constantes a coecientes variables) supone un esfuerzo considerables incluso en las situaciones ms humildes (v. g. la ecuacin de ondas con
velocidad variable). Como subrayaba mi querido profesor de entonces, Carlos
Fernndez Prez, nada que ver con las odes donde teoremas de existencia,
unicidad y dependencia continua se formulan limpia y concisamente desde el
principio.
Pues bien, en lo que aqu se expone, ms de lo mismo. . . . Las lecciones
que siguen tratan de imitar las que hace ya muchos aos recib sobre edps.
Las actuales materias de licenciatura/grado contemplan metas mucho menos
ambiciosas (en la generalidad de los centros se estudia muy poco de edps). Tras
la lectura del ndice resulta evidente que hay temas sucientes para surtir varias
de estas nuevas asignaturas.
Es un placer reconocer las deudas contradas en la redaccin de estas notas.
La cientca espero haberla saldado unas lneas atrs. Sobre textos, un buen
nmero de los ejercicios provienen de [21]. Ya de estudiante, el de Folland [9]
me result siempre muy sugestivo. Por su cuidada exposcin y detalle en los
clculos, [16] ha sido siempre un importante pilar para mi docencia. Nada se
trata aqu sobre soluciones dbiles. Si ese fuese el caso, aparte de [16] los textos
de [1] y [5] seran de referencia obligada.
Espero que el lector saque el mejor provecho de este manuscrito virtual.
Jos C. Sabina de Lis (http://josabina.wbs.ull.es)
La Laguna 26 de septiembre de 2014.
vii
viii
NDICE GENERAL
Captulo 1
Algunas ecuaciones de
referencia en la teora
1.1.
1.1.1.
Una funcin
F :
R Rk+1
(t, y0 , . . . , yk )
R
F (t, y0 , . . . , yk ),
(1.1)
(1.2)
x(t0 ) = 0
(P )
..
(k1)
x
(t0 ) = k1 ,
admite al menos una solucin no prolongable (x, J), J = (, ), para cada
(t0 , 0 , . . . , k1 ) R Rk .
Si f es adems localmente Lipschitziana en (y0 , . . . , yk1 ) (por ejemplo si
...,
f
,
y0
f
existen y son continuas) tal solucin es nica.
yk1
Observaciones 1.1.
a) El problema de Cauchy est inspirado en el principio determinista de Galileo
segn el cual el comportamiento futuro de una partcula queda determinado por
su velocidad y posicin iniciales. En el caso unidimensional se estara hablando,
por ejemplo, del problema de valor inicial:
x = f (x)
x(t0 ) = x0
x (t0 ) = v0 .
Revsese el caso del oscilador armnico f (x) = x. La solucin del problema
precedente es x(t) = x0 cos(t t0 ) + v0 sen(t t0 ).
u = u2
1
..
.
u = f (t, u , . . . , u ),
1
k
k
en donde x(t) = u1 (t).
c) Una cuestin nada trivial es la determinacin del intervalo mximo (, )
de existencia. Si por ejemplo < + la solucin sufrir con toda seguridad
una singularidad en t = . Como en el caso u = u2 este tipo de singularidades
(comnmente llamadas de tipo blow-up) no se detectan en el segundo miembro
de la ecuacin.
Como balance nal podemos armar que una ecuacin diferencial ordinaria
admite, bajo condiciones muy poco restrictivas, innitas soluciones. Las soluciones se determinan con unicidad cuando se imponen condiciones iniciales.
Ejercicio 1.1. Se dene x() = |x|1 x, > 0. Para x = 0 prebese que (x() ) =
(
)1
|x|1 , (|x| ) = x(1) , mientras x()
= x(1/) . Disctase con todo detalle
la existencia y unicidad de soluciones para el problema,
{
x = |x|
x(t0 ) = x0 .
Nos ocuparemos en lo que sigue de la discusin de diversos aspectos elementales de la teora de ecuaciones en derivadas parciales.
1.2.
Se considera la funcin,
F :
R Rn
(x, z, p1 , . . . , pn )
R
F (x, z, p1 , . . . , pn ),
Ejemplos 1.2.
n
a) Cuando F (x, z, p1 , . . . , pn ) = i=1 ai (x)pi + a0 (x)z f (x) es lineal en (p, z)
la ecuacin (1):
n
u
ai (x)
+ a0 (x)u = f (x),
x
i
i=1
se llama lineal.
b) Si F (x, z, p1 , . . . , pn ) =
n
i=1
n
ai (x, u)
i=1
u
= b(x, u),
xi
se llama cuasilineal.
c) Una ecuacin no englobada en los casos anteriores se llamar fuertemente no
lineal. Por ejemplo la as denominada ecuacin eikonal (ecuacin de la ptica
geomtrica):
|u|2 = c2 ,
donde c es la velocidad de la luz.
En los siguientes ejemplos se efecta una prospeccin de cmo responden las
ecuaciones de primer orden a las cuestiones de existencia y nmero de soluciones as como a la posibilidad de imponer condiciones adicionales de tipo valor
inicial.
1.2.1.
Toma la forma,
ut + cux = 0.
(1.3)
1.2.2.
La ecuacin:
a1 ux + a2 uy + a0 (x, y)u = f (x, y),
ai R constantes, de la que la del transporte es un caso particular, puede
tratarse por mtodos absolutamente elementales.
El caso ms sencillo a2 = 0,
{
a1 ux + a0 (x, y)u = f (x, y)
u(w1 s, w2 s) = (s),
admite inmediatamente como solucin:
u(x, y) = h(y)e
x
0
a0 (t,y)
a1
dt
1
a1
x
t
a0 (,y)
a1
f (t, y) dt,
e t
a1 0
a0 (,w2 s)
a1
Se observa inmediatamente que (1.4) se puede resolver para s arbitrarias siempre que w2 = 0.
El caso general:
{
a1 ux + a2 uy + a0 (x, y)u = f (x, y)
u(w1 s, w2 s) = (s),
se puede tratar por reduccin al caso anterior. Como v = (a1 , a2 ) = (0, 0)
basta con transformar las coordenadas para anular uno de los coecientes de las
derivadas de primer orden. En otras palabras, la ecuacin se puede escribir,
u
+ a0 u = f,
v
y basta elegir nuevas coordenadas x , y para que u/v = u/x . Por ejemplo,
(x, y) = x v + y w
Es decir,
w = (a2 , a1 ) .
( ) (
) ( )
x
a1 a2
x
=
,
y
a2 a1
y
( )
(
)( )
1
x
a1 a2
x
=
.
y
y
a21 + a22 a2 a1
donde,
a
0 = a0 (a1 x a2 y , a2 x + a1 y )
mientras,
f = f (a1 x a2 y , a2 x + a1 y ),
u(x, y) = u
(|v|2 (a1 x + a2 y), |v|2 (a2 x + a1 y)).
1.2.3.
Ecuacin de Burgers
1.2.4.
Funciones radiales
x2 + y 2 .
(x, y) R2 \ {0}.
1.2.5.
Funciones homogneas
t > 0.
i=1
xi
u
(tx) = t1 u(x),
xi
i=1
xi
u
= u.
xi
n x u = u
i=1 i
xi
u(x) = (x)
|x| = 1,
admite para cada una nica solucin que es una funcin homognea.
1.2.6.
x R.
El clculo de rbitas de (S) que pasan por el eje 0x se hace como sigue. El
problema,
dx = a1 (x, y)
dy
a2 (x, y)
x(0) = x0 ,
admite una nica solucin x = X(y, x0 ). En la ecuacin,
x X(y, x0 ) = 0,
x0 se puede despejar en trminos de (x, y) bajo la forma de una funcin C 1 ,
= (x, y). Si se quiere, las rbitas por el eje x son la familia uniparamtrica
de curvas,
(x, y) = x0 ,
con x0 el parmetro. Cubriendo todos los detalles con el debido rigor y la ayuda
de la teora de edos puede probarse el siguiente resultado.
Teorema 1.7. Para cada C 1 (R) y bajo la condicin de transversalidad
de rbitas a2 (x, 0) = 0, x R el problema (P) admite una nica solucin
u C 1 (U) denida en un cierto entorno U del eje x.
Demostracin. La solucin no puede ser otra que u(x, y) = ((x, y)).
Ejemplo 1.4. El problema:
{
xux + uy = 0
u(x, 0) = (x),
conduce a la ecucacin:
dx
= x.
dy
1.3.
R Rn Rn
(x, z, p, q)
R
F (x, z, p, q),
aij (x)ij u +
i,j=1
i=1
i,j=1
La generalidad de los cursos avanzados de ecuaciones en derivadas parciales, incluso los ms ambiciosos, slo alcanza a tratar las ecuaciones lineales de segundo
orden. En especial las tres ecuaciones de la fsica matemtica: las ecuaciones de
Laplace (y Poisson), del calor y de las ondas que pasamos a presentar a continuacin.
10
1.3.1.
Ecuacin de Laplace
GM x
GM
= 3 x
2
|x| |x|
r
r = |x|,
(
Vxi xi = r
i=1
U
r
)
+3
U
= 0.
r
ii u =
i=1
2u
i=1
x2i
x ,
(L)
11
ellas sea arctag x la inversa de la tangente en (/2, /2). Sobre el dominio = R2 \ {(0, y) : y 0} denimos:
x>0
arctag (y/x)
(x, y) = /2
y > 0, x = 0
arctag (y/x) +
x < 0.
Es inmediato ver que C () y que es armnica en . Se ver ms adelante
que todas las funciones armnicas se generan a partir de la funcin argumento.
Otra gran clase de ejemplos de funciones armnicas en el plano lo suministran
las funciones holomorfas. Si C es un domino del plano complejo, z = x + iy,
y f : C es una funcin derivable en sentido complejo en , es decir, el
lmite:
f (z0 + z) f (z0 )
f (z0 ) = lm
,
(2)
z0
z
existe para cada z0 , entonces escribiendo: f (z) = u(x, y) + iv(x, y) es fcil
ver que se cumplen las ecuaciones de Cauchy-Riemann:
ux = vy
uy = vx .
(3)
Basta para ello tomar z real en (2) e igualar el lmite al correspondiente valor
cuando z es imaginario puro (Ejercicio). Admitiendo la existencia de las derivadas de orden dos para u y v es inmediato concluir de (3) que u y v son armnicas
en .
La experiencia del curso nos ensear que el operador Laplaciano se relaciona
bien con las rotaciones de Rn . De hecho, si u es radial, u = U (r) entonces,
u = U (r) +
n1
U (r)
r
Cn
n3
U (r) = rn2
C log r n = 2 .
2
A efectos de clculo suele hacerse una eleccin precisa de las constantes Cn (ver
ms adelante la solucin fundamental del operador Laplaciano).
Finalmente, la teora de gravitacin proporciona otro modelo de ecuacin
asociada al operador Laplaciano. Supongamos ahora que la masa M que perturba el espacio no est localizada en un punto sino que ocupa un dominio
R3 (un planeta) en la que est distribuida segn una densidad de masa
= (x).
La fuerza neta de atraccin por unidad de masa sobre una partcula en la
posicin espacial x viene dada por la integral:
G(y)
F (x) =
(y x) dy.
|x
y|3
12
V (x) =
G(y)
dy,
|x y|
V = 0
x .
x ,
1.3.2.
Problema de Dirichlet
D(u) =
|u|2 dx,
13
D(u) = nf D(v).
vD
uv dx = 0
v C 1 () y v| = 0.
u(u v).
1.3.3.
La ecuacin de ondas
14
t2
u(x, 0) = 0 (x)
ut (x, 0) = 1 (x) ,
para posicin y velocidad 0 , 1 prejadas. Otros trminos representando friccin aerodinmica o fuentes de perturbacin externas pueden aparecer en la
ecuacin (Seccin 1.5):
2u
+ but = c2 u + F (x, t).
t2
1.3.4.
La energa calorca, bajo condiciones de variabilidad pequea, es transportada por un proceso denominado difusin, de regiones de alta temperatura hasta
zonas de temperatura inferior. En trminos de la ley de Fourier (de la que hablaremos en la S. 1.6) este fenmeno de transporte se describe en funcin de la
temperatura u = u(x, t) mediante la ecuacin del calor:
u
= ku,
t
(4)
u = ku
t
u(x, 0) = (x),
donde es la temperatura inicial.
Una caracterstica de los procesos simulados por (4) es su carcter disipativo
en el sentido de degradar la energa (son adems de naturaleza fuertemente
irreversible). Como veremos ms adelante, (4) tiene la propiedad de velocidad
innita de propagacin de las perturbaciones.
1.3.5.
15
El siguiente ejemplo pertenece al crculo de los problemas variacionales fundamentales en fsica terica cuyo estudio general se desarrolla en el Clculo de
Variaciones.
Consideremos un dominio acotado Rn de clase C 1 (cf. Anexo) y h =
h(x) C 1 () una funcin prejada. En X = {u C 1 () : u| = h} introducimos el funcional:
J : X R
u
7 J(u),
denido por:
J(u) =
1 + |u|2 dx.
(P ).
dx = 0
1 + |u|2
C01 ().
(5)
u
div
dx = 0
C01 (),
1 + |u|2
div u
=0 x
1 + |u|2
u=h
x .
1.3.6.
16
nmero suciente de soluciones que permita ajustar ste u otro tipo concebible
de condiciones. En efecto, se dar en el Captulo III un ejemplo de edp lineal
con coecientes complejos que no admite soluciones en absoluto.
Mdulo un estudio ms profundo en el Captulo III trataremos ahora de
sugerir que el problema de Cauchy para una edp de segundo orden en el plano
consiste en prejar, de manera arbitraria, sobre una curva C 1 dada = {(x, y) =
(f (s), g(s)) : s I} los valores de la solucin u = u(x, y) y
de su derivada normal
a , es decir u/ donde, por ejemplo, = (g , f )/ f 2 + g 2 ( = d/ds,
mientras se supone (f , g ) = (0, 0) en ).
A tal efecto consideramos:
uyy = f (x, y, u, uy )
(6)
u(x, 0) = 0 (x)
uy (x, 0) = 1 (x),
que es ciertamente un caso muy particular de un problema ms ambicioso que
consideraremos ms tarde como es:
uy (x, 0) = 1 (x).
En el caso en que (6) toma la forma uyy + u = 0, u(x, 0) = 0 (x), uy (x, 0) =
1 (x) la solucin es u = 0 (x) cos y + 1 (x) sen y. En general un teorema de
existencia y unicidad de soluciones para (6) est ya recogido en la teora de
edos. En efecto para, pongamos, G = G(x, z, p, ), G : R R R R R, de
clase C 1 , el problema:
u = G(x, u, u , )
(8)
u(x0 ) = 0
u (x0 ) = 1 ,
admite una nica solucin u = U (x, x0 , 0 , 1 , ). Se puede as construir una
nica solucin local de (6) si, usando la jerga de (8) observamos en (6) a x como
el parmetro y ponemos como solucin:
u = U (y, 0, 0 (x), 1 (x), x).
No obstante, adelantamos que slo podremos garantizar la existencia de soluciones de (7) bajo condiciones muy restrictivas.
Si por otra parte nos limitamos al caso lineal:
a11 uxx + 2a12 uxy + a22 uyy + a1 ux + a2 uy + a0 u = F (x, y),
una de las posibilidades es, por ejemplo, la ecuacin:
uxy = F (x, y).
(9)
17
Si nos limitamos a cualquiera de los ejes como curva destinataria de las condiciones iniciales se observa que (9) no es propiamente de segundo orden con
respecto a la variable x o y. Eso da lugar a la introduccin de otro tipo posible
de problema de valor inicial donde las condiciones se toman en ejes distintos.
Por ejemplo,
uxy = F (x, y)
u(0, y) = (y)
ux (x, 0) = (x).
Una integracin directa nos da que la solucin de (10) problema que se llama
de tipo Goursat es:
x
x y
u = (y) +
() d +
F (, ) d d.
0
1.4.
a (x) u = f (x).
||k
En relacin con las ecuaciones diferenciales es muchas veces convenientes hablar de operadores diferenciales lineales, en este caso con coecientes a en un
dominio , es decir aplicaciones:
L:
C k ()
u
C()
Lu = ||k a (x) u,
18
Se puede decir que salvo para clases especiales de ecuaciones (por ejemplo
las lineales) no se conoce una teora general para edps de orden superior a dos.
Deberamos citar como ejemplo interesante la ecuacin de Korteweg-de Vries
(KdV) que aparece en el estudio de ondas de agua (water waves) y teora de
solitones:
ut + uux + uxxx = 0.
1.5.
1.5.1.
La Ecuacin de Ondas
La ecuacin de las ondas unidimensional
y = y(s, t)
0sl
t 0,
19
donde la funcin continua (s) designa la densidad lineal de masa, (s) > 0 en
0 s l.
En todo momento suponemos que el movimiento tiene lugar en el plano x-y.
Las condiciones iniciales son:
{
{
x(s, 0) = s
y(s, 0) = f (s)
(CI)
xt (s, 0) = 0
yt (s, 0) = g(s),
en donde 0 s l. Por otra parte, el proceso impone las condiciones de
contorno:
x(0, t) = 0,
x(l, t) = l,
y(0, t) = y(l, t) = 0,
t 0.
(CC)
si
pi =
si
(s)yt ds. ,
(s)xt ds,
si1
si1
Las ecuaciones del movimiento se obtendrn escribiendo la segunda ley de Newton (para la variacin del momento lineal):
d
p
= FiE + FiI ,
dt
con FiE (respectivamente FiI ) la fuerza exterior (respectivamente interior) neta
actuando sobre el trozo si1 s si . Por hiptesis, si1 s si est sometido
a la fuerza exterior:
(
)
si
FiE = (0, F (si1 , si )) = 0,
(s)F (x(s, t), t) ds .
si1
20
Falta por precisar quines son las fuerzas internas (de corto alcance) que actan
sobre la porcin si1 s si de la cuerda. Para ello es necesario dar una ley
que describa cmo es la naturaleza de las fuerzas de tensin en los extremos.
Esto equivale a describir las propiedades elsticas de la cuerda.
En primer lugar medimos el alargamiento neto sufrido por si1 s si en
el instante t:
si
x2s + ys2 ds s (s = si si1 ),
si1
donde xs = xs (s, t), ys = ys (s, t). El alargamiento medio por unidad de longitud,
1
s
si
x2s + ys2 ds 1.
si1
e = x2s + ys2 1.
Una primera hiptesis de elasticidad es que en cada punto s la fuerza de tensin
T(s, t) vaya dirigida en la direccin de la tangente, es decir (si T (s, t) designa el
mdulo):
T(s, t) = T (s, t)t(s, t),
con t(s, t) = (xs , ys )/ x2s + ys2 el unitario tangente en s. Esto signica que el
material que constituye la cuerda es tal que su reaccin a la deformacin,
cuando uno quiere separar una seccin transversal imaginaria de su contigua,
es puramente normal a dicha seccin. En otras palabras, no hay fricciones tangenciales (fatigas), o si se quiere, no hay oposicin a la exin.
La segunda hiptesis de elasticidad es que el mdulo de la tensin sea una
funcin exclusiva de e y de s,
T (s, t) = T (e, s),
con T (0, t) = T0 , donde T0 es la tensin de la cuerda en reposo. Desarrollando
T se obtiene:
T = T0 + Te (0, s)e + O(e2 ).
Por ejemplo, el caso particular T = T0 + ke (k constante, el mdulo de
elasticidad) da lugar a la conocida ley de Hooke. De aqu se deduce que la
resultante de las fuerzas internas sobre si1 s si resulta ser:
si
FiI = T (si , t)t(si , t) T (si1 , t)t(si1 , t) = T (s, t)t(s, t)
.
si1
Como,
si
T (s, t)t(s, t)
si1
si
=
si1
21
= xtt
s ( e + 1 )
(1.7)
T ys
= ytt + F.
s e + 1
El problema consiste entonces en determinar las funciones x = x(s, t), y = y(s, t)
a partir de (1), y las condiciones (CI) y (CC), donde f , g y T son datos del
problema. El carcter fuertemente no lineal de las ecuaciones (1.7) sugiere, en
primera aproximacin, su linealizacin, para llegar a un modelo ms sencillo.
La forma de llevar a cabo este proceso es como sigue. Vamos a imaginarnos que el tiempo t y las funciones f , g junto con sus derivadas hasta
el orden dos son pequeas. Ms precisamente consideramos el vector =
(t, f, g, f , g , f , g ) con mdulo || = (|t|, |f | , . . . , |g | ), siendo, por ejemplo |f | = sup0xl |f (x)|. A continuacin, separaremos en (1.7) los trminos lineales, e. d. O(||), de los de orden superior o(||), despreciando stos ltimos frente a los primeros. La ecuacin resultante (1.9) es la aproximacin lineal a (1.7). Conviene recordar la notacin u(x) = o(v(x)) (respectivamente u(x) = O(v(x)) cuando x 0 si u(x)/v(x) 0 (respectivamente
|u(x)| M |v(x)|, M > 0) cuando x 0.
En primer lugar obsrvese que:
xs = 1 + O(t2 ),
xss = O(t2 ),
o si se quiere,
xs = 1 + O(||2 ),
xss = O(||2 ).
ys = vx xs
yt = vx xt + vt
22
T ys
T xs
T ys 2
=
vx = xtt vx +
x vxx ,
s e + 1
s e + 1
s e + 1 s
da lugar a
(
vtt =
T
x2 x2t
e+1 s
)
2xt vxt F,
T0
1
vxx +
)
T
x2s T0 x2t vxx 2xt vxt ,
e+1
es decir,
vtt = F +
T0
vxx
(x)
T0 (s) (x)
1
vxx +
(s)
(x)
)
T
2
2
x T0 xt vxx 2xt vxt ,
e+1 s
)
T
x2s T0 x2t vxx 2xt vxt = o(||),
e+1
(1.8)
T0
vxx F,
(x)
(1.9)
23
T0
vxx
(x)
T0 (s) (x)
1
vxx +
(s)
(x)
)
T
x2s T0 x2t vxx 2xt vxt , (1.10)
e+1
u(x, 0) = f (x), 0 x l
(1.11)
u(x, 0) = f (x), 0 x l
u(0, t) = u(l, t) = 0 t 0.
Hemos puesto c2 = T0 /(x), donde c se dene como la velocidad de propagacin de las perturbaciones. Las condiciones de contorno en (1.11) se llaman
de tipo Dirichlet homogneas. Otras posibles condiciones de contorno (de tipo
Neumann):
ux (0, t) = ux (l, t) = 0,
24
u(l, t) = (t),
T0
vxx bvt F,
(1.12)
1.5.2.
(s1 , s2 ) ,
y s2 ,
z 0,
(x, y) .
25
y donde admitiremos que las dos primeras componentes son cero. Contabilizamos la fuerza externa neta sobre D en la forma:
(
)
1 + |u|2 1,
= (f , g
)/ f 2 + g 2 y la normal unitaria exterior a D en el plano: n
=
(g , f )/ f 2 + g 2 , y entonces:
(P ) =
=
1
1 + |u|2
1
1 + |u|2
1 + u2
1 + u2
(n1 + u uy , n2 u ux , un )
(
n + u (uy , ux ), un ),
donde u = u , y un = u n
.
Una vez establecida la direccin de la fuerza de tensin T(P, t) en el punto
P e instante t, es necesario observar que en elasticidad, el mdulo T (P, t) de T
va a medir la magnitud de la tensin por unidad de longitud de arco dl en D.
1 Se
26
T (P, t) dl =
T (P ) f 2 + g 2 + |u (f , g )|2 ds,
en donde hemos parametrizado en la forma {(f (s), g(s), u(f (s), g(s))|a < s <
b}. De ah, la resultante de las fuerzas internas sobre D ser:
FiI =
T(P ) dl
D
(
)
n
+ u (uy , ux )
un
=
T (P )
dl,
T (P )
dl ,
1 + |u|2 1 + u2
1 + |u|2 1 + u2
D
D
en donde, si M no sufre desplazamientos horizontales habr de ser:
)
(
n
+ u (uy , ux )
dl = 0.
T (P )
1 + |u|2 1 + u2
D
Falta pues denir la relacin que liga la tensin T (P ) con la deformacin e.
Como antes (Ley de Hooke), admitiremos que:
T (P ) = T (e, P ) = T0 + O(e).
Podemos ya escribir las ecuaciones del movimiento que establecen:
p = FiE + FiI ,
es decir,
(
) (
)
xtt dxdy,
ytt dxdy,
ztt dxdy = 0, 0,
F (x, y, t) dxdy
(
)
un
n
+ u (uy , ux )
+
dl,
T (P )
dl .
T (P )
1 + |u|2 1 + u2
1 + |u|2 1 + u2
(1)
Ahora pasamos al captulo de linealizaciones. Vamos a suponer que a lo largo
del movimiento los desplazamientos son lo sucientemente pequeos como para
que lo sean u y u (en estado de reposo u 0) 2 . En este caso:
f 2 + g 2 + |u (f , g )|2 = f 2 + g 2 + O(|u|2 )
e = O(|u|2 ), T (P ) = T (e, P ) = T0 + O(|u|2 )
un
1
= 1 + O(|u|2 ),
= un + O(|u|3 ),
1 + |u|2 1 + u2
1 + |u|2 1 + u2
2 Este es el tipo de argumento que se usa en la ecuacin del pndulo = k sen donde
se hace la aproximacin sen cuando la amplitud de la oscilacin es pequea.
27
utt dxdy =
F (x, y, t) dxdy +
T0 un dl.
(2)
T0 un dl =
T0 div (u) dxdy.
Llegamos as a la relacin:
utt T0 u + F dxdy = 0,
utt T0 u + F dxdy = 0,
(3)
T0
u F (x, y)
utt =
ut (x, y, 0) = (x, y)
u(x, y, t) = 0 (x, y) .
Se conoce a (P) como un problema de contorno de tipo Dirichlet homogneo.
Como en el caso unidimensional pueden considerarse otro tipo de condiciones
de contorno como la de tipo Neumann:
u
(x, y, t) = 0 (x, y) ,
n
o Robin:
u
(x, y, t) + u(x, y, t)u = 0 (x, y) ,
n
en donde n
es la normal unitaria exterior a y es una funcin continua y
positiva. Todas las condiciones pueden considerarse en versin no homognea,
por ejemplo:
u
(x, y, t) + u(x, y, t)u = (x, y, t) (x, y) ,
n
28
T0
u but F,
1.6.
1.7.
29
u0 u1
l
u0 u1
A.
l
u
u(x0 + h, t) u(x0 , t)
k (x0 , t).
h
x
30
Obsrvese que al no haber alcanzado el sistema el estado de equilibrio la temperatura depende del tiempo. Hemos deducido as lo que se conoce como ley
de Fourier. A saber: en un cuerpo en el que el calor uye nicamente en una
direccin y en el que las variaciones de temperatura u(x, t) (temperatura en
un instante t y en una seccin x0 ) no son muy altas la cantidad de calor que
atraviesa la unidad de rea transversal por unidad de tiempo viene dada por:
(x0 , t) = k
u
(x0 , t).
x
(1)
En trminos fsicos, la magnitud que designa cmo vara otra magnitud por
unidad de rea transversal a una supercie S y por unidad de tiempo, se llama
ujo de esa magnitud (aqu es el ujo de calor y la identidad (1) es la ley de
Fourier).
La ley de Fourier nos lleva a la ecuacin que satisface la temperatura u(x, t)
antes de alcanzar el estado de equilibrio. La ecuacin es consecuencia de la ley de
conservacin de la energa. En efecto, consideremos dos secciones sucientemente
prximas x0 y x1 . La variacin de calor por unidad de tiempo en dicho intervalo
viene dada por:
x1
u
A
c
dx,
t
x0
en donde A mide el rea transversal de una tal seccin del slido. Como el nico
mecanismo por el que hay variaciones de calor en la seccin es de momento
el transporte por difusin, tal variacin de la energa se debe nicamente al
calor que ha salido o entrado a travs de las paredes x = x0 , x1 . Sea A(t0 , h)
la cantidad de calor que ha entrado en la seccin durante el intervalo t0
t t0 + h mientras que B(t0 , h) se dene como la cantidad de calor que ha
abandonado la seccin entre dichos instantes. As mismo, sea Q(t) la cantidad
de calor acumulada en la seccin en el instante t. Evidentemente se tiene:
Q(t0 + h) Q(t0 ) = A(t0 , h) B(t0 , h).
31
en (d).
de donde:
cut = kuxx ,
(3)
32
t > 0.
Tambin las de enfriamiento con el medio a travs de las paredes (ley de Newton,
condiciones de Robin):
ux (0, t) = (u(0, t) T0 ),
ux (l, t) = (u(l, t) T0 ),
1.7.1.
33
U
rea(0 ) = ku(P0 ) rea(0 )
|t=0
= k
u
(P0 ) rea(0 ).
u
dS.
(4)
(S, ) = k
S
La identidad (4) sugiere una versin vectorial del ujo de temperatura en
el siguiente sentido. Denimos el campo de ujo calorco (abreviado el ujo)
34
(S, ) =
S
dS.
(5)
cut dx.
0 ) se vuelve a
Por otro lado, la variacin de calor por unidad de tiempo Q(t
expresar (ver notacin anterior) como:
Q = A B.
Para hacernos una idea de cmo son A y B consideramos B = {x B|u
< 0} y B+ = {x B|u > 0}, siendo el campo unitario exterior a B.
Entonces, A es como antes, la cantidad de calor que entra en B por unidad de
tiempo (en t0 ) mientras que B es la correspondiente cantidad de calor que sale
de B por unidad de tiempo en t = t0 . Se tienen entonces las relaciones:
A =
ku dS, B =
ku dS.
B+
De donde,
A B =
k
B
u
dS.
u
cut dx =
k
dS,
B
B
que por el teorema de la divergencia o directamente suponiendo que B es un
pequeo cubo en se transforma en:
cut dx =
ku dx,
B
t > 0.
35
Si el slido estaba inicialmente a una temperatura (x) y las paredes se mantienen, por ejemplo a cero grados (condiciones de Dirichlet homogneas) concluimos que el comportamiento de la temperatura en a lo largo del tiempo sigue
la solucin del problema de contorno y valor inicial:
cut = u, t > 0, x
u(x, 0) = (x), x
u(x, t) = 0, x , t > 0.
La condicin de contorno se puede sustituir por otra de aislamiento trmico
(condicin de contorno de tipo Neumann):
u
= 0,
n
x ,
t > 0,
x ,
t > 0,
1.7.2.
Difusin
u
D
dS,
S
proporciona la cantidad de masa que es transportada a travs de S por unidad
de tiempo, en la direccin del campo . La relacin (1), equivalente a la ley de
Fourier, se conoce en como la ley de Fick. Argumentando de la misma manera
(invocando ahora el principio de conservacin de la masa) se obtiene que la
concentracin u = u(x, t) satisface:
ut = Du,
x ,
t > 0,
(2)
36
1.8.
Ejercicios
Lu =
a (x) u, u C m ().
||m
(H)
Lu = f (x).
(C)
y no homognea:
Prubese que el conjunto Sh de soluciones de (H) forma un espacio vectorial, mientras que el de (C), Sc , es un espacio afn.
3. Para n = 1, es decir, u = u(x) con x R, hllese la dimensin del espacio
de soluciones de:
u 3u + 4u = 0.
4. Si ahora n = 2, e. d., u = u(x, y), Es nito-dimensional el espacio de
soluciones Sh = {u C 2 (R2 )/Lu = 0} si la ecuacin 4 es:
uxx + u = 0?
5. Prebese que u(x, y) = f (x)g(y) es solucin de la e.d.p.
uuxy = ux uy ,
cualesquiera que sean f, g C 1 (R).
6. Prebese que para cada n > 0:
un (x, y) = sen nx senh ny
es una solucin de uxx + uyy = 0. Es nita la dimensin del espacio de
soluciones de la ecuacin de Laplace?
4 La misma cuestin para la ecuacin de Laplace u
xx + uyy = 0 es menos inmediata, pero
la respuesta est implcita en el problema 6.
1.8. EJERCICIOS
37
d) aux + buy + cu = 0.
e) ux + uy + u = ex+2y junto con u(x, 0) = 0.
8. Hllese la solucin general de la ecuacin
aux + buy = f (x, y),
donde f (x, y) es una funcin continua arbitraria, escribiendo la solucin
en la forma:
1
u(x, y) = (a2 + b2 ) 2
f ds + g(bx ay),
L
ecuacin de continuidad.
38
u
x (x(t, y), t).
(x, t) dx.
M (t) =
t
1.8. EJERCICIOS
39
(x, y) R2 .
Defnase adecuadamente un problema de tipo Goursat para dicha ecuacin con 1 datos funcionales en el eje Ox y 2 datos funcionales en el
eje Oy. Prebese el correspondiente teorema de existencia y unicidad de
soluciones.
18. Estdiese la existencia y unicidad de soluciones de los problemas:
uxy = 0
uxy = 0
u(x, 0) = f (x)
ux (x, 0) = f (x)
uy (0, y) = g(y),
u(0, y) = g(y),
siendo f y g adecuadamente regulares, y satisfacindose la condicin de
compatibilidad: f (0) = g(0).
19. Hllense las soluciones generales de los problemas:
uxy = F (x, y)
ux (x, 0) = f (x)
u(0, y) = g(y),
uxy = F (x, y)
ux (x, 0) = f (x)
uy (0, y) = g(y),
uxy = F (x, y)
u(x, 0) = f (x)
u(0, y) = g(y),
(P1 )
(P2 )
(P3 )
uxy = F (x, y)
u(x, x) = 0
i2 = 1.
v0 (x, y) = J0 (i2 xy)
40
uxy = u
ux (x, 0) = f (x)
u(0, y) = g(y),
admite una nica solucin C 2 . Prubese entonces que la solucin general
de la ecuacin de Helmholzt compleja tiene la forma:
x
y
u(x, y) =
(t)v0 (x t, y) dt +
(t)v0 (x, y t) dt + Cv0 (x, y),
0
T
(0, s)e + O(e2 ),
e
T x
= xtt
s e+1 s
(
)
T y
1.8. EJERCICIOS
41
xt (s, 0) = 0,
0 l l,
xt (s, 0) = g(s),
0 l l,
T0
y1 G(s, t).
xx
1 =
(x, t, 0) verican sendas ecuaciones de ondas, a determinar.
42
25. Consideremos una cadena exible u = u(s, t), x = x(s, t), 0 s l que
pende verticalmente del punto (0, 0) sometida a la fuerza de gravedad y
que se mueve horizontalmente -en el sentido del eje u- debido a los efectos
de la tensin. Supondremos que en cada punto, la fuerza de tensin -que
acta tangencialmente- nivela e. .d, es igual al peso de la cuerda de ese
punto hacia abajo. Hllense las ecuaciones del movimiento.
26. Una cable ahora inextensible pende de dos puntos situados a la misma
altura y se halla en reposo (formando una gura caracterstica parecida
a una parbola). Se supone que la tensin del cable en cada punto siempre acta tangencialmente. Si (s) (s la longitud de arco) es la densidad
lineal del cable y 0 la tensin en el punto ms bajo, hllese la ecuacin
diferencial (ahora ordinaria) que satisface la curva que lo describe. Hllese
explcitamente si es constante (la curva resultante se llama Catenaria).
27. Hllense las posibles soluciones estacionarias (i. e. no dependientes de t)
de la ecuacin de las ondas:
vtt =
T0
vxx F (x),
(x)
0 < x < l,
t 0,
t 0.
Demostrar que,
28. Sea = (a, b) (c, d) y u C 2 ().
T0 un ds =
T0 u dx,
T0 n
ds = 0.
29. Una versin tridimensional de las ecuaciones del Ejercicio 16 resulta ser:
{
= 0,
t( + div (u)
)
u
u
t + x u + p = F (
x, t),
en donde ahora x
= (x, y, z), u = u(x, t) es un campo C 2 en R3 , p = p(
x)
es la presin que como all es una funcin regular de la densidad p = p()
1.8. EJERCICIOS
43
en donde F = F (
x, t) es un campo C 1 de fuerzas con valores en R3 . El
sistema de ecuaciones describe las perturbaciones en un gas tridimensional
(p.e. la propagacin del sonido en el aire) y, suponiendo que u, u
x
y 0
son pequeos en mdulo una versin linealizada de las ecuaciones tiene la
forma:
{
t + 0 div u = 0,
u
t
c20
0
= 0,
= c20 .
t 0, x S1 .
d
V (t)|t=t0 =
u d.
(1)
dt
S1
Se conoce a (1) como el ujo de volumen a travs de S1 en t = t0 .
31. En las condiciones del Ejercicio 30 sea A una cierta substancia que es
transportada por u(x, t) y que tiene por concentracin c = c(x, t), c(x, t)
continua. Hllese la cantidad de masa de A que atraviesa S1 por unidad
de tiempo en t = t0 . Prebese que dicha cantidad vale (ujo de masa a
travs de S1 )
S1
c(x, t)u d.
44
c
S1 =
d .
(1)
S1
S1 es el ujo de masa a travs de S1 debido a la difusin. d es el coeciente
de difusin. Otra forma de expresar la ley de Fick es decir que el vector
ujo de masa en cada punto x es:
(x) = dc(x, t),
donde c = c(x, t) representa la concentracin de A como funcin de la
posicin espacial y el tiempo.
33. Si el uido ocupa una regin del espacio y el nico mecanismo que interviene en el transporte de masa es la difusin (uido en reposo), prubese
que c satisface la ecuacin del calor:
c
= dc.
t
34. Supongamos ahora que el uido est en movimiento en , bajo un campo
de velocidades u(x, t). As la substancia A es transportada, adems de
por difusin, por el arrastre u(x, t) a que la somete el uido. Prubese que
ahora la concentracin c satisface:
c
= div (dc) div (cu).
t
(Vase el Ejercicio 10).
35. (Teorema de Liouville). Supongamos que un uido con campo C 1 de velocidades u(x, t) ocupa una regin abierta de Rn , y que 1 1 ,
con 1 compacto. Para t > t0 convenientemente prximo a t sea (1 )t el
lugar ocupado en el instante t por las partculas que estuvieron en 1 en
t = t0 . Prebese que:
t
div u(x(s,y),s) ds
vol (1 )t =
e t0
dy,
1
donde x(t, y) denota la nica solucin del problema x = u(x, t), con
x(t0 ) = y, y 1 . Se te ocurre alguna explicacin a por qu se llaman incompresibles los uidos que cumplen la ecuacin:
div u(x, t) = 0,
t 0, x ?
1.8. EJERCICIOS
45
36. Se considera una barra de longitud l en la direccin del eje x que tiene seccin A lo sucientemente pequea como para que el calor difunda
solamente en la direccin de x, luego la temperatura ser de la forma
u = u(x, t). Admitamos adems que el ujo de calor a travs de la
pared lateral de la barra sigue la Ley de Newton, es decir, que es proporcional a la diferencia (u T0 ), donde T0 es la temperatura ambiente.
Dedzcase la ecuacin para la temperatura.
37. Se considera una barra cilndrica y tridimensional en la que el calor difunde transversalmente al eje de simetra mientras que las variaciones de
temperatura son despreciables en el sentido de dicho eje. Suponiendo que
la temperatura u slo depende de la distancia al eje de la barra, hllese
una ecuacin para dicha temperatura u(x, y, z, t) en el interior de la barra
(tmese por ejemplo el eje Oz en la direccin como eje de la barra).
38. Hllese la ecuacin de difusin del calor en coordenadas esfricas de R3 .
39. Se considera una barra homognea de longitud l, coeciente de conductividad trmica k; lo sucientemente na como para que la difusin del calor
slo se considere en sentido longitudinal. Se ha realizado un experimento
en el que, tras comenzar con una temperatura homognea de T0 grados en
la barra, y mantenerla a una temperatura constante T1 en los extremos, se
observa que la temperatura en el punto medio viene dada por una funcin
f (t). Si repetimos el experimento con una barra de las mismas caractersticas (mismo ancho y conductividad trmica), inicialmente sometida a T0
grados y mantenida permanentemente a T1 grados en sus extremos, y de
longitud l Qu ley f (t) seguir la temperatura en el punto medio de la
barra?
Indicacin. Dse por conocida la unicidad de solucines para el problema
de valor inicial y de Dirichlet para la ecuacin del calor.
40.
6 cf.
46
Captulo 2
Ecuaciones en derivadas
parciales de primer orden
2.1.
2.1.1.
ai (x)
i=1
+ b(x),
xi
N=
g
g
= 0,
s1
sn1
s U.
N
Si S es una supercie simple = |N
| representa el campo unitario normal a
S asociado a (g, U ), mientras que el espacio tangente a S en x0 = g(s0 ) es:
{
}
g
g
T Sx0 = span
(s0 ), ,
(s0 ) .
s1
sn1
48
Es fcil ver que si y(t) = g((t)), a < t < b, = (t) de clase C 1 , (0) = s0
es una curva en S entonces su vector tangente en x0 , y(0)
T Sx0 .
Denicin 2.1. Sea C 1 (S). El problema de Cauchy para (2.1) en S consiste
en hallar (u, U), S U , U abierto, u : U R de clase C 1 tal que:
Lu = f,
u|S = .
(2.2)
a < t < b,
x S.
(2.4)
Observacin 2.1. De lo dicho ms se deduce que aquellas supercies que contengan rbitas de x = A(x) no son admisibles para el problema de Cauchy. Las
supercies caractersticas son siempre la unin de rbitas de dicha ecuacin.
Lema 2.3. Sea S Rn una supercie simple y F = F (x) C 1 (Rn , Rn ) un
campo C 1 . Entonces S es invariante frente a x = F (x) si y slo si F (x) es
tangente a S en cada x S. En particular, si S es caracterstica, S es la unin
de rbitas de x = A(x).
49
Demostracin.
Si x0 S, ponemos x0 = g(s0 ) mientras para cada s U ,
A(g(s)) =
i (s)g/si . Resolvemos s = (s) junto con s(0) = s0 . Resulta
que x(t) = g(s(t)) es la solucin de x = A(x), x(0) = x0 que por construccin
est es S. El recproco es inmediato.
Denicin 2.4. Las rbitas de x = A(x) se denominan curvas caractersticas
de la ecuacin (2.1).
Las supercies no caracter sticas son las adecuadas para el problema de
Cauchy. Esto se apoya en el hecho que precisamos ahora de que la ecuacin
es de orden 1 en la direccin de la normal a S. La losofa del argumento,
aunque formal, es la misma para ecuaciones de orden superior.
Si f (t, x) es C y no se sabe cmo resolver el problema
x = f (t, x)
x(t0 ) = x0 ,
lo que est claro es que dicho problema permite al menos obtener una expresin
formal de la solucin x(t) si sta fuese C :
x(t) =
an (t t0 )n .
n=0
{n1
U
a
i
+ bU f
si
i=1
}
(2.5)
U (s, 0) = (s).
Hemos tomado S = {xn = 0} y llamado s = (s1 , , sn1 ) = (x1 , , xn1 ),
t = xn . Naturalmente hemos supuesto que a
n = 0 para |t|, |s| pequeos. Si todos
los datos son C entonces U (t, s) puede obtenerse formalmente como:
U (s, t) =
a,m (s s0 ) tm .
,m
= (g(s)),
(s)
t = T (x), s = S(x)
(2.6)
50
se tiene que:
lU
dl
lu
(s
,
0)
=
(u(g(s
)
+
t(s
))
=
(x0 )
0
0
0
|
t=0
tl
dtl
l
U
g
(s0 , 0) = u(x0 )
,
si
si
en donde x0 = g(s0 ) S. Por tanto, las derivadas con respecto a t de U
representan derivadas normales de u en S mientras que las derivadas de U con
respecto a si representan derivadas tangenciales. Haciendo el cambio (2.6) se
llega a que U satisface (2.5) con los valores:
a
n (s, t) = A(x) T (x),
a
i = A(x) Si ,
Este problema admite innitas soluciones no prolongables (ver e)). Tales soluciones presentan discontinuidades donde los coecientes son regulares. Vase
tambin la seccin de problemas.
c) No es difcil ver que la solucin obtenida por el mtdodo de las caractersticas
depende continuamente del dato . Es decir, si n es una sucesin de funciones
C 1 que converge uniformemente sobre compactos de S a una de clase C 1
entonces un (x) u(x) uniformemente sobre compactos.
d) El entorno U es A-convexo en el sentido de que cada x U se escribe:
x = X(t, g(s)) para algn t y g(s) S (notamos por x(t) = X(t, y) a la
nica solucin de x = A(x), junto con x(0) = y) y adems: [g(s), x]A = {x =
X(, g(s))/0 t} est contenido en U. Pues bien, dada otra solucin local
(u1 , U1 ), el entorno V1 que se menciona en el teorema 1 se puede expresar como:
V1 = {x U U1 : [g(s), x]A U1 , si x = X(t, g(s))}.
51
x > 0.
(P )
Sean 0 < 1 < 2 < 2 dos ngulos y sean 1 (x, y) y 2 (x, y) dos determinaciones del argumento con lneas de corte en las semirrectas ri , x = t cos i , y =
t sen i , t 0. Pues bien, los pares (ui , Ui ) con:
ui = h( x2 + y 2 ) i (x, y),
con (x, y) Ui = R2 ri son dos soluciones locales tales que u1 = u2 en
{1 < arg (x, y) < 2 }. Por tanto no se cumple que u1 = u2 en U1 U2 . Vase
tambin la seccin de ejercicios.
2.2.
Ecuaciones cuasilineales
i=1
ai (x, u)
u
= b(x, u)
xi
x ,
(2.7)
donde se supone en lo que sigue que las funciones ai (x, y), b(x, y) C 1 ( R),
mientras que S representa una supercie simple parametrizada por x = g(s),
g C k (U, Rn ), U abierto de Rn1 , k 2. Denotaremos anlogamente por A al
campo: A(x, y) = (a1 (x, y), , an (x, y)).
El estudio de las soluciones de (2.7) es de nuevo abordable mediante ecuaciones diferenciales ordinarias. En efecto, las soluciones u de (2.7) denen supercies en Rn R (las supercies integrales),
y u(x) = 0,
cuya normal (u, 1) debe ser ortogonal al campo (A(x, y), b(x, y)) en cada
punto (x, y) = (x, u(x)). En otras palabras, el campo (A(x, y), b(x, y)) caracteriza las soluciones de (2.7) como sus supercies invariantes. Esto es consecuencia
del Lema 2.3 o del siguiente razonamiento directo. Si y = u(x) es invariante
frente a la ecuacin:
x = A(x, y)
(2.8)
y = b(x, y),
y(t) = u(x(t)) para toda solucin, con lo que derivando,
52
ai (x, u)
= b(x, u), x
x
i
(2.9)
i=1
u| = ,
donde S es una supercie regular y U es un abierto de , S U , u C 1 ()
satisface (2.7) y u(x) = (x) en S. Se supone, por tanto, que es C 1 y que la
supercie S es C 2 .
Para poder considerar la clase ms amplia posible de datos iniciales es
necesario -como en ecuaciones lineales- imponer condiciones a S. Sin embargo,
en el caso cuasilineal, tambin deben imponerse restricciones a los propios datos
. La condicin de no caractericidad que vamos a introducir, est justicada si
pensamos que para resolver (2.9) vamos a construir soluciones u = u(x) trazando
rbitas de (2.8) desde {(x, (x))/x S} . En la siguiente denicin se establece
la condicin de no caractericidad con la que trabajaremos.
53
x S.
(2.10)
..
.
a1 (g(s), (g(s)))
..
= 0.
.
an (g(s), (g(s)))
Observaciones 2.3.
a) Es muy fcil interpretar la condicin de transversalidad en n = 2 tomando
S = {(x, y) = (g1 (s), g2 (s))/a < s < b}, h(s) = (g1 (s), g2 (s)).
b) Supongamos que (S, ) son caractersticos, es decir:
A(x, (x)) (x) = 0,
x S.
Si (2.9) admite una solucin u = u(x) con dato entonces A(x, (x)) es tangente
a S. Por tanto, x0 S implica x(t) S si x(t) es la solucin de:
x = A(x, (x)) x(0) = x0 .
Como x(t) S y u = en S tendremos que y(t) = u(x(t)) = (x(t)) junto
con x(t) es una solucin de (2.8), con datos iniciales (x0 , y0 ) = (x0 , (x0 )). Eso
quiere decir que la variedad de datos {(x, (x))} es invariante frente a (2.8).
Puede probarse que entonces (2.9) admite innitas soluciones, lo que va contra
nuestros propsitos. En el caso n = 2,
a1 ux + a2 uy = b(x, y, u)
u(f (s), g(s)) = h(s), a < s < b.
Que (f, g, h) sean caracter sticos equivale a que (f, g, h) parametrice una rbita
de (2.8). No es dif cil comprobar que en ese caso el problema precedente admite
innitas soluciones.
Teorema 2.10. En las hiptesis precedentes para A, b, , S supongamos que y
S satisfacen la condicin de transversalidad (2.10). Entonces el problema (2.9)
admite una solucin local (u, U) que es nica en los mismos trminos que en el
Teorema 2.5.
Demostracin. Se construye la solucin (x(t), y(t)) de (2.8) con dato (x0 , y0 ) =
(g(s), h(s)). El teorema de la funcin implcita permite hallar u tal que y(t) =
u(x(t)). Toda otra solucin u1 que pase por (x0 , y0 ) cumplir y(t) = u1 (x(t)).
Por tanto, la unicidad. De aqu es fcil hallar un dominio mnimo de unicidad.
54
La ecuacin de Burgers
Un caso particular de las ecuaciones de la dinmica de gases dene el campo
de velocidades de un gas cuyas partculas se mueven con velocidad constante:
uy + uux = 0.
Tal es la ecuacin de Burgers (v. Captulo 1). Supongamos que tenemos un dato
inicial:
u(x, 0) = h(x),
xR
y = 1,
z = 0,
y(0) = 0,
z(0) = h(s).
s1 h(s2 ) s2 h(s1 )
,
h(s2 ) h(s1 )
y=
s2 s1
,
h(s2 ) h(s1 )
de lo que se deduce que las soluciones no pueden estar denidas en dicho punto.
Cerca de un tal punto u experimenta una salto de magnitud |h(s2 ) h(s1 )|
cuando nos aproximamos por la carater sticas. Es natural que ux explote en
dichos puntos. En efecto, sobre rs se tiene que:
ux =
h (s)
.
1 + yh (s)
2.3.
55
x .
(2.11)
(2.12)
= cj (x, y, Y ),
1 i, j n.
u
xj (t) =
yj ak = A(x, y, Y ) Y.
xj
j=1
j=1
y (t) =
Con ello slo falta hallar un posible candidato para A y las ecuaciones para
u
(x(t)) al
yj (t). Vamos a hacer las dos cosas a la vez. Por un lado si yj (t) = x
j
derivar:
yj (t) =
k=1
2u
2u
(x(t)) =
ak (x, y, Y )
(x(t)).
xj xk
xj xk
n
xk (t)
(2.13)
k=1
Por otra parte si F (x, u(x), u(x)) = 0, al derivar con respecto a xj y hacer
x = x(t):
n
2u
Fxj + Fy uxj (x(t)) +
Fpk
(x(t)) = 0.
(2.14)
xk xj
k=1
Es decir,
k=1
Fpk
2u
(x(t)) = Fxj Fy yj (t).
xk xj
(2.15)
56
n
que es coherente con el caso cuasilineal donde F (x, y, p) =
i=1 ai (x, y)pi y
F
ai (x, y, Y ) = ai (x, y) = p
).
Bajo
esta
eleccin
de
los
a
(x,
y,
Y
) se pueden al
i
i
menos cerrar las ecuaciones para x(t), y(t) y yj (t), sin necesidad de introducir
como incgnitas las derivadas de orden superior: y (t) = u(x(t)), observadas
sobre x(t). En efecto, se tiene:
yj (t) = Fxj Fy yj .
As las ecuaciones en conjunto son:
, 1in
xi =
pi
F
y =
yi
p
i=1
Fy yj . 1 j n
yj =
xj
(2.16)
Se llama a (2.16) la ecuacin de las caracter sticas de (2.11). Si (x(t), y(t), Y (t))
satisface (2.16), se espera que los valores de las soluciones de (2.11), u = u(x)
y de u(x) sobre x(t) se deduzcan de (2.16) mediante y(t) = u(x(t)) y que se
cumpla Y (t) = u(x(t)).
Como en las secciones precedentes, si C 1 (S) es lcito plantearse el problema de Cauchy:
{
F (x, u, u) = 0
(2.17)
u = x S.
Asimismo, la naturaleza de las tcnicas que se van a emplear slo permiten establecer la existencia de soluciones locales (u, U) cuya denicin no repetiremos.
Para resolver entonces (2.17) se tienen que determinar las condiciones iniciales
para (2.16). Es obvio cules son las condiciones para x(t), y(t):
x(0) = g(s),
y(0) = (g(s)).
(2.18)
Las condiciones iniciales y1 (0) = y1 (s), , yn (0) = yn (s) vienen dadas por el
sistema (se obtiene derivando u(g(s)) = (g(s)) respecto a si , 1 i n 1):
gj
g =
yj (s)
1in1
si
si
(2.19)
j=1
Teniendo en cuenta la ltima ecuacin en (2.19) una hiptesis que nos vemos
obligados a admitir es la existencia, para cada s U , de al menos una solucin Y (s) = (
yj (s)) de dicho sistema siendo las yj (s) de clase C 1 en U . Otra
hiptesis ya familiar que introducimos es la condicin de transversalidad (2.21).
57
..
.
Fp1 (g(s), (g(s)), Y (s))
..
= 0.
.
(2.20)
Debe advertirse que puede haber ms de una familia yj (s) de funciones que
satisfagan (2.19) y (2.21). Esto ocurrir si, por ejemplo, (2.11) es de grado
superior a 1 en el gradiente |u|.
Ejemplo 2.4. Para la ecuacin u2x + u2y = 1 si S viene denida por (g1 (s), g2 (s)),
a < s < b, h(s) = (g1 (s), g2 (s)) = 1, las posibles elecciones de (
y1 , y2 ) son:
1
(
y1 , y2 ) =
(g2 , g1 ).
2
2
g1 + g2
Ntese que al ser (g1 , g2 ) = 0, se da (2.21). Estdiese el caso general correspondiente a un dato h(s).
Envolvente de una familia de supercies. Se considera una familia de supercies
{S }, dada por H(x, y, z, ) = 0, H de clase C 2 , H(, ) = 0 en S . Una
envolvente de la familia es otra supercie E, dada por g(x, y, z) = 0 de forma
que
E =
S E,
y tal que g = H(, ) en cada 1 . Es decir E hace un contacto de primer
orden con cada S .
Una manera de hallar E es proceder como sigue. Para jo, las secciones de
S por supercies prximas S son , , es decir:
{
H(x, y, z, ) = 0
H(x, y, z, ) = 0
es decir
H(x, y, z, ) = 0
H(x, y, z, ) H(x, y, z, )
= 0.
( )
clculo de la envolvente que sigue no permite probar esa identidad. En resumen la envolvente
que calcularemos es una supercie constituida por curvas donde E hace un contacto de
orden 1 con cada S para cada .
58
H(x, y, z, ) = 0
= Gk (x, y, z).
(k, )
(2.21)
(2.22)
59
z z0 = p(x x0 ) + q(y y0 )
dq
0 = x x0 + (y y0 ) ,
dp
luego,
dz = pdx + qdy
dq
0 = dx + dy.
dp
dq
Fp
dx
dy 7
=
la ltima ecuacin se puede escribir
=
. En consedp
Fq
Fp
Fq
cuencia, en cada punto (x, y, u(x, y)) de una supercie integral, el campo:
Como
p = Fx Fz p
q = Fy Fz q,
p = Fx Fz p
q = Fy Fz q,
7 Esto
(2.23)
60
una banda caracterstica. En efecto (x(t), y(t), z(t), p(t), q(t)) puede interpretarse como una curva (x(t), y(t), z(t)) con un plano asociado:
z = p(t)( x) + q(t)( y).
Como dz = pdx + qdy se tiene que la curva es tangente al plano en cada punto.
Nos podemos as imaginar una supercie integral como la envolvente de una
familia de bandas caractersticas. Obsrvese que cada banda queda determinada
si se ja un punto y un plano inicial. Eso permite plantearse la posibilidad de
resolver el problema de Cauchy para (2.11) sobre una curva dato : x = f (s), y =
g(s), z = h(s), a < s < b, donde f, g, h son de clase C 2 . Integramos as (2.23)
bajo las condiciones:
x(0) = f (s)
y(0) = g(s)
z(0) = h(s).
(2.24)
(2.26)
ux (x0 , y0 ) = vx (x0 , y0 ),
uy (x0 , y0 ) = vy (x0 , y0 ).
61
Demostracin del Teorema 2.11. La existencia sigue las ideas del caso cuasilineal. Sin embargo hay algn detalle que no es trivial. Lo primero es resolver
(2.23) bajo las condiciones
(x(0), y(0), z(0), p(0), q(0)) = (f (s), g(s), h(s), (s), (s)),
para obtener
(x, y, z, p, q) = (X(t, s), Y (t, s), Z(t, s), P (t, s), Q(t, s)).
Es fcil invertir x = X(t, s), y = Y (t, s) en la forma s = S(x, y), t = T (x, y),
lo que permite proponer u = Z(T, S) como posible solucin. Derivando con
respecto a t se concluye que:
F (X(t, s), Y (t, s), Z(t, s), P (t, s), Q(t, s)) = 0.
Pero comprobar que u es solucin pasa por justicar que:
ux (X(t, s), Y (t, s)) = P (t, s)
Unas cuentas prueban que:
( ) (
)( )
Zt
Xt Yt
ux
=
Zs
Xs Ys
uy
Zt
Zs
(
=
Xt
Xs
Yt
Ys
)( )
P
.
Q
(2.28)
(2.29)
2.4.
62
(2.31)
i=1
(2.32)
z = b(x, y, z)
de forma que V (f (s), g(s), h(s)) = 0 para a < s < b. El siguiente mtodo
para encontrar V , por su naturaleza slo tiene validez local. En la prctica los
resultados suelen ser por regla general globales. Siempre existen dos integrales
primeras independientes de (2.32), Vi = Vi (x, y, z), i = 1, 2. Las rbitas de
(2.32) que pasan por los puntos P (s) = (f (s), g(s), h(s)) -cuya unin genera la
supercie solucin-vienen dadas por los sistemas:
V1 (x, y, z) = c1 (s)
V2 (x, y, z) = c2 (s)
para ciertas funciones C 1 , c1 , c2 (vase la seccin de Ejercicios). En general,
y1 = c1 (s), y2 = c2 (s) denen una curva en el plano y1 y2 (raznese, por ejemplo,
qu sucedera si c1 (s) 0). Por tanto existe una funcin F = F (y1 , y2 ) de
clase C 1 tal que F (c1 (s), c2 (s)) = 0 para cada s. Como F (V1 (x, y, z), V2 (x, y, z))
tambin es una integral primera, V (x, y, z) = F (V1 (x, y, z), V2 (x, y, z)) es la
integral primera buscada.
Ejemplo 2.7. Tomemos y + uuy = 0 junto con u(x, 0) = h(x) de forma que
h(x) = 0 para cada x. Bien, se tiene que V1 = x y V2 = y 2 + z 2 son integrales
primeras de (2.32). El sistema V1 (P (s)) = c1 (s) y V2 (P (s)) = c2 (s) da c1 = s,
c2 = h2 (s). As, F = y2 h(y1 )2 , V = V2 h(V1 )2 y la solucin estar implcita
en
y 2 + z 2 h(x)2 = 0.
Integrales Primeras. Una integral primera de (2.32) es una funcin C 1 , V (x, y, z),
que satisface (en un cierto dominio de R3 ):
Vx a1 + Vy a2 + Vz b = 0.
63
x = x(y z)
y = y(z x)
z = z(x y).
Al escribir:
dy
dz
dx
=
=
x(y z)
y(z x)
z(x y)
se ve que:
1
1
1
dy
dx
dz
y
x
=
= z
(y z)
(z x)
(x y)
de donde,
1
1
1
dx + dy + dz = 0,
x
y
z
con lo que V = log (xyz). Ntese que tambin se puede tomar V = xyz.
2.5.
(2.33)
64
(2.34)
2.6. LAGRANGE-CHARPIT
65
con P (s) = (f (s), g(s), h(s)). Una vez determinadas las funciones (s), (s)
la envolvente de la familia H(x, y, z, (s), (s)) = 0 proporciona la solucin
buscada.
Ejemplo 2.9. Consideremos la ecuacin de tipo Clairaut:
1
u = xux + yuy + (u2x + u2y )
2
y la condicin u(x, 0) = 12 (1 x2 ). Una familia de supercies integrales es:
z = x + y + 12 (2 + 2 ). El sistema es:
1
1
s + (2 + 2 ) = (1 s2 )
2
2
= s.
Luego = s, = 1. Las subfamilias uniparmetricas son z = sx y +
1 2
2 (s + 1). Para hallar las envolventes:
1
sx y + (s2 + 1) = 0
2
s = x,
siendo la ecuacin de las envolventes (por tanto las soluciones): z = x2 y +
1
2
2 (x + 1).
Observacin 2.10. La idea de integral completa se inspira en la de integral
general en el caso de ordinarias. All, una familia uniparamtrica de curvas
genera una ecuacin. Anlogamente, una familia biparamtrica de supercies
H(x, y, z, , ) = 0 dene en general una ecuacin de primer orden. En efecto,
basta con despejar , en el sistema:
Hx + Hz p = 0
Hy + Hz q = 0
en trminos de x, y, z, p, q. La ecuacin buscada es F (x, y, u, ux , uy ) = 0 con
F = H(x, y, z, (x, y, z, p, q), (x, y, z, p, q)).
2.6.
El mtodo de LagrangeCharpit proporciona una tcnica para hallar integrales completas de ecuaciones de primer orden del tipo (2.33). Consiste en lo
siguiente. Se supone que
H = H(x, y, z, p, q)
66
(F, H) Fp
=
Hp
(p, q)
Fq
= 0.
Hq
(2.35)
(2.36)
(F, H)
junto con el teorema de la funcin implcita im(p, q)
plican que y son funciones C 1 . Genricamente, una solucin u(x, y) de
(2.33) se describe por el mtodo de las caractersticas, en el sentido de que
localmente se tiene la existencia de una solucin x(t), . . . , q(t) de la ecuacin
de las curvas caractersticas tal que z(t) = u(x(t), y(t)), p(t) = ux (x(t), y(t)),
q(t) = uy (x(t), y(t)) (ver la seccin de Ejercicios). Por eso, H(x(t), . . . , q(t)) =
(constante). Se admite que todas las soluciones x(t), . . . , q(t) que generan u(x, y)
hacen H(x(t), . . . , q(t)) = . Entonces u satisface el sistema:
La hiptesis sobre
ux = (x, y, u, )
uy = (x, y, u, ).
(2.37)
(2.38)
en . Adems, para jado, dado un punto (x0 , y0 , z0 ) existe una nica solucin
local u(x, y) de (2.37) tal que u(x0 , y0 ) = z0 .
2.6. LAGRANGE-CHARPIT
67
1+
dy zdz = 0.
68
1+
z2
y
= .
(x, y, z) R.
De manera equivalente,
Hx (x, y, u, (x, y, u))ux + Hy (x, y, u, (x, y, u))uy = Hz (x, y, u, (x, y, u)),
(2.40)
donde (x, y) R2 ( es tpicamente un cierto abierto de R2 ). La ecuacin
(2.40) es la de las supercies ortogonales a la familia {H }.
2.7.
Ejercicios
2.7. EJERCICIOS
69
(B)
u(x, 0) = (x).
(P )
t > 0, x Rn .
(H)
i=1
xi
u
= u,
xi
x Rn \ {0}.
(E)
Estdiense las soluciones de (E) con las tcnicas de las ecuacin en derivadas parcialess de primer orden.
6. Calcular la ecuacin en derivadas parcialesde primer orden que satisfacen
todas las funciones radiales u en R2 . Estudiar el problema de Cauchy para
la ecuacin resultante.
7. Calcular la ecuacin en derivadas parcialesde primer orden que satisfacen
todas las esferas de radio 1 en R3 con centro en el plano xy. Descrbanse
los conos de normales y de Monge para la ecuacin resultante as como
1
la solucin del problema de Cauchy con dato h(x, 0) = .
2
70
(x, y) R2 ,
(x, y) ,
1
{
3
u = xux + yuy + (u2x + u2y )
uy = ux
2
1
u(x, 0) = 2x3/2 ,
2
u(x, 0) = (1 x ).
2
14. Para F de clase C 2 demustrese que toda solucin u de:
uy = F (ux ),
u(x, 0) = h(x),
2.7. EJERCICIOS
71
15. Supercies ortogonales. Consideremos una familia uniparamtrica de supercies {S }, R, denidas como H(x, y, z, ) = 0, R. Prubese
que una cierta supercie denida en R3 por z = u(x, y), (H y u regulares)
es ortogonal a la familia S s:
Hx ux + Hy uy = Hz ,
siempre que z = u(x, y). Hllese una familia ortogonal a la familia:
x2 + y 2 = 2z.
Hllese asimismo una supercie ortogonal a todas las de la familia:
z(x + y) = (3z + 1),
que pase adems por el crculo x2 + y 2 = 1, z = 1.
16. Teorema de recticacin de campos. Sea G Rn un abierto, f C 1 (G, Rn )
un campo C 1 , x0 G un punto no singular de f , es decir f (x0 ) = 0. Demustrese que existe un entorno U de x0 y un difeomorsmo C 1 , T
C 1 (U, Rn ), sobre T (U ) tal que T (x)f (x) = en = (0, , 1), x Rn . Si en
U se efecta el cambio de variable y = T (x) hllese la expresin para la
ecuacin transformada de x = f (x).
Indicacin. La idea es empezar desde la parte nal: cmo transformar
las soluciones de x = f (x) mediante y = T (x) de forma que y = en .
17. Estructura de las integrales primeras. Sean f y x0 como en el problema 16.
Demustrese que existen n 1 integrales primeras Hi = Hi (x1 , , xn )
C 1 (U, R), 1 i n 1 de forma que si H = H(x1 , , xn ) es otra
integral primera denida en U entonces H = F (H1 , , Hn1 ), para una
cierta funcin F = F (y1 , , yn1 ) de clase C 1 . Adems H1 , . . . , Hn1
son funcionalmente independientes en el sentido de que
rango (H1 (x), . . . , Hn1 (x)) = n 1 x U.
18. Considrense un campo f y un punto no singular x0 de f . Sea V1 (x),. . . ,
Vn1 (x), x U una familia de integrales primeras independientes de x =
f (x) en un entorno U de x0 . Para los valores V1 (x0 ) = c1 , . . . , Vn1 (x0 ) =
cn1 se considera el sistema:
V1 (x) = c1
..
(2.41)
.
72
y = y(z x)
y = y 2 (z 3 x3 )
z = z(x y)
z = z 2 (x3 y 3 ).
20. Para a1 (x, y, z), a2 (x, y, z), b(x, y, z) de clase C 1 en R3 se considera el problema de Cauchy con datos u(f (s), g(s)) = h(s), a < s < b, f, g, h de
clase C 1 . Admitiendo que se satisface la condicin de transversalidad y la
existencia de dos integrales primeras independientes V1 (x, y, z), V2 (x, y, z)
de la ecuacin caracterstica, utilcense stas para hallar una solucin local
de dicho problema.
21. Estdiese el problema de Cauchy para las siguientes ecuaciones:
a) y + uuy = 0 (n = 2).
uy = (x, y, u),
(E)
en .
(2.42)
2.7. EJERCICIOS
73
24. (Mtodo de LagrangeCharpit). Sea F = F (x, y, z, p, q) C 2 (R5 ) y supongamos que H = H(x, y, z, p, q) C 1 (R5 ) es una integral primera de la
ecuacin caracterstica asociada a la ecuacin en derivadas parciales:
F (x, y, u, ux , uy ) = 0.
Admitamos que para cada R el sistema de ecuaciones:
{
F (x, y, z, p, q) = 0
H(x, y, z, p, q) = ,
(F, H)
= 0 (de donde
(p, q)
se deduce que , son C 1 ). Demustrese entonces que y satisfacen la
condicin de integrabilidad (2.42).
dene p = (x, y, z, ), q = (x, y, z, ), con det
u=
1 (s, ) ds +
a
2 (s, ) ds + ,
p2 z 2 + q 2 = 1
qz = (p2 + q 2 )y
c2 (p2 + q 2 ) = 1
2(z + xp + pq) = yp2 .
74
pq + 1 u = 0
u = 2x + 1
y = 2,
b)
pq 3xy 2u = 0
u = 15y
x = 5,
c)
2
2
p + q 4u = 0
u = y2
x = 0.
Captulo 3
Problema de Cauchy.
Teorema de
CauchyKowlevski
3.1.
u(x) =
c (x x0 ) , x N (x0 ).
1
u(x0 )(x x0 )
!
x N (x0 ) ,
75
76
||!
,
r||
x K, Nn .
Denicin
3.4. Se dice que la serie de potencias
es mayorada por
c x
Propiedad 3.5.
Si
es analtica en un entorno
a x
D(0, r) de x = 0,
tonces existen M, r > 0 tales que la serie M,r (x) = M r|| x mayora a
la serie c(x).
Ntese que:
M,r (x) =
M rn
,
(r x1 ) . . . (r xn )
||! ||
M (x1 + + xn )
.
r (x1 + + xn )
77
fi =
ai x , 1 i p,
=0
y
g=
b u ,
u = (u1 , . . . , up ).
g(f (x)) =
c x .
M rs
rs
i = 1, . . . , p s =
xi ,
Mr
r
luego
gf
uj ,
rs
M
r 1 pMr2+r s
siendo sta ltima analtica en |s| < r2 /(pM + r) luego analtica en |x1 | + +
|xn | < r2 /(pM + r). Como corolario, g f es analtica.
Observacin 3.2. La funcin:
)n
(
rs
pM + r
n
= (r s)
s =r+
cn sn ,
r2
1 pMr2+r s
n=0
n=1
78
donde
cn =
Luego:
pM
r
r + Pm
r2
)n1
n 1.
rs
||!
=
c||
x .
pM +r
!
1 r2 s
U abierto Rn Rm
(x, y)
Rm
f (x, y),
h(x) =
c (x x0 ) ,
converge en un entorno de x0 .
Para probar este extremo suponemos sin prdida de generalidad que x0 = 0
f
e y0 = 0. Llamando L0 =
(x0 , y0 ) escribimos la ecuacin en la forma:
y
y = g(x, y),
79
g
(0, 0) = 0.
y
g(0, 0) = 0
y = G(x, y)
rM
M M := (s, )
rs
r
i = 1, . . . , m,
= m(s, )
= h1 (s),
con h1 (s) analtica y h1 (0) = 0, por tanto la solucin de (3.2) cerca de (x, y) =
(0, 0) es yi = (s, h1 (s)) que es una funcin analtica y hemos terminado.
Observacin 3.3. Una expresin explcita de h1 es:
(
)2
2
2
1
r
r
4M r
h1 (s) =
s
s
s .
2 mM + r
mM + r
M +r
Para comprobar que es analtica cerca de cero es til recordar el desarrollo
binomial:
(1 + x) =
( 1) . . . ( k + 1)
k!
k=0
3.2.
xk
( R).
RN (k)
(x, (y ))
R
F0 (x, (y )
80
F0 (x, ( u)||k ) = 0, x U
i
(3.3)
u (x) = i (x), x S, 0 i k 1,
i
(3.4)
x S,
|| k 1,
(3.6)
siendo cada una de las (x) de clase C k|| en S. En las lneas que siguen se
prueba que tales problemas son esencialmente equivalentes. En efecto, conocer
las en (3.6) permite calcular las i en (3.4). Sin embargo, las no se pueden
dar de manera independiente: deben cumplir condiciones de compatibilidad que
las hacen depender de las k derivadas normales en (3.4) (ver (3.10)).
Tambin se denirn las condiciones de caractericidad que deben ser satisfechas por ecuaciones y datos en los problemas problemas a considerar. Por otra
parte, como los mtodos de existencia de soluciones que siguen se apoyan en
argumentos locales, es decir se basan en construir soluciones u(x) de (3.3) en
un cierto entorno V de cada punto x0 S, vamos a estudiar transformaciones
locales de (3.3) que lo van a normalizar y, de paso, permitirn introducir el
concepto de caractericidad ms conveniente.
Como se sabe del Captulo 2, cerca de cada x0 = g(s0 ) S se tiene la
existencia de entornos V0 = {|x x0 | < } en Rn y U0 = {|s s0 | < } (, )
en Rn1 R tales que la aplicacin:
H:
2 (x)
U0
(s, t)
V0
x
81
denida por:
(3.7)
x = g(s) + t(g(s))
es C k con inversa C k :
s = S(x),
t = T (x),
x V0 .
F1 (s, t, U, (s t U )||+k ) = 0, (s, t) U0
i
U (s, 0) = i (s),
ti
x S,
0 i k 1,
(3.8)
a (x)s t U.
u =
||+||
|| + k 1,
a (x)s .
||+||
1
1
iu
(x) =
u(x) =
,
i
!
!
||=i
0 i k 1.
(3.9)
||=i
(x) = u =
a (x)s ,
||+||
82
F1 (s, t, (s t u)||+k ) = 0, (s, t) U0
i
u (s, 0) = i (s), x S, 0 i k 1,
ti
(3.11)
(3.12)
(
)
F1 s, t, (y, )||+k = 0,
con s U0 , |t| < , y Q, |y0,k (s)| < 2 se escribe en la forma:
(
)
y0,k = G s, t, (y, )||+k .
Observacin 3.4. Que el problema (3.11) es no carcaterstico signica que la
ecuacin es de orden k con respecto a la variable t cuando se la observa cerca
de los datos.
83
b b2 ac
G=
,
a
mientras que los candidatos a (s) son:
b b2 ac
=
,
a
donde en la ltima ecuacin las funciones estn evaluadas en t = 0 y en las
condiciones iniciales.
Denicin 3.11. Se dice que el problema (3.3) es no caracterstico cuando el
problema transformado (3.11) es no caracterstico.
Observacin 3.7. Que (3.3) es no caracterstico signica que la ecuacin es de
orden k en la direccin de la normal y que dicha derivada se puede despejar en
trminos de las restantes derivadas, cerca de la supercie S y de los datos de
Cauchy.
A partir de ahora nos centraremos en el estudio de problemas de Cauchy de
la forma:
k
t u = F (s, t, (s t u)||+k,<k ), s U, |t| <
i
(3.13)
u (s, 0) = i (s), 0 i k 1, s U,
ti
donde U Rn1 es un dominio y > 0. Sin embargo conviene recordar que
(3.13) es siempre la versin local -tras una transformacin de coordenadas del
tipo (3.7)- del problema de Cauchy general (3.3), cuando ste es no caracterstico.
84
3.3.
Teorema de Cauchy-Kowalevski
R
F (s, t, (y ))
85
1 equivale a la existencia de una solucin (Y, V), Y = Y (s, t) = (yj (s, t))1jm
del sistema m m,
Y (s, 0) = 0.
U (, ) CN (k)1
(s, t, (y ))
C
F (s, t, (y ))
es analtica 3 . Anlogamente, sin apenas cambios en la demostracin, el resultado es cierto para sistemas de ecuaciones, e. d., la funcin u(s, t) toma valores
vectoriales.
b) El teorema de Cauchy-Kowalevski es falso si se intenta relajar analtica por
clase C . En efecto si tomamos el problema:
uxx + uyy = 0, x2 + y 2 <
u(x, 0) = f (x)
uy (x, 0) = g(x),
la existencia de una solucin C 2 en un entorno de (0, 0) conlleva -lo que no es
inmediato- la analiticidad de f y g en x = 0. El problema carecer pues de
soluciones si f o g son C y no anl ticas en x = 0. Ms notable es el siguiente
resultado -que tampoco es en absoluto inmediato- de Lewy (1957) (vase el
Folland). Si F (t) es C pero no analtica en un entorno de t = 0 la ecuacin de
primer orden:
ux + iuy 2(x + iy)ut = F (t),
carece de soluciones C 1 en un entorno de (x, y, t) = (0, 0, 0) R3 .
3 Es ms esttico suponer que F es analtica en (s, t, (y
n1 C CN (k)1 , |s| <
, )) C
, |t| < , restringiendo despus s Rn1 , t R
86
u
=
a (s, t)s t u + f (s, t) s U, |t| <
||+k,<k
(3.14)
i
u (s, 0) = (s), 0 i k 1, s U,
i
ti
entonces tal problema slo admite la solucin analtica. De hecho, lo que se
demuestra es que si los coecientes a son analticos entonces (PL) admite a
lo ms una solucin clsica para f C(U) y i C ki (U {t = 0}).
e) Finalmente, otra imperfeccin del resultado es la no dependencia continua en
los datos. Aslo prueba el siguiente ejemplo de Hadamard,
uxx + uyy = 0
u(x, 0) = 0
uy (x, 0) =
1
sen kx ,
k
1
(sen kx)(senh ky) .
k2
3.4.
Ejercicios
3.4. EJERCICIOS
87
,,+=
!
x y .
!!
1
f (0)x .
!
||m
,,+=
! g
f g,
!!
, || m.
5. Demustrese que para cada multindice Nn se tiene:
! ||! n|| !.
6. Prebese que x =
!
si y x = 0 en otro caso.
( )!x
8. Sean
c y
c las partes positiva y negativa de
c (es decir c+
=
1
1
+
slo s convergen
c . Demustrese
c y c , siendo: c = c
asimismo que
c converge s y slo s converge
|c |.
9. Demustrese que para , Nn , max1in |xi | < 1:
!
!
x =
.
+1
1
( )!
(1 x1 )
. . . (1 + xn )n +1
88
||!
||!
x =
,
( )!
(1 x1 xn )1+||
x(t, , , ) =
c (t t0 )1 ( t0 )2 ( x0 )3 ( 0 )4 ,
3.4. EJERCICIOS
89
k
,k ck s z (s = (s1 , . . . , sn1 )) entonces:
ck s z k
,k
en donde:
ck s z k ,
,k
ck s z k = (s, z),
,k
donde:
=
2 M
,
( s1 . . . sn1 )( z)
(3.15)
2 M
( s)( u)
para ciertos M 0, > 0. Prubese que el sistema mayorante admite una
nica solucin analtica, denida cerca de (0, 0).
= (bi ) y a
donde A = (
aij ), B
ij = bi = (s, u), siendo =
90
u(s, z) =
ck s z ,
,
u(s, z) =
ck s z ,
,
cuya suma, para |s1 | + . . . |sn1 | < , |z1 | + . . . |zm | < , > 0 sucientemente pequeo, viene dada por:
=
2 M
,
( s1 . . . sn1 )( z1 . . . zm )
M 0.
n1
i=1
U (s, 0) = 0.
Como en casos anteriores, demustrese que admite un sistema mayorante
de la forma:
n1
t =
i, U
)U
s + B(s, U
)
U
A(s
i
i=1
(s, 0) = 0.
U
= (bi (s, U )) y donde a
donde A = (
aij (s, U ), B
ij = bi = (s, U ), siendo
=
2 M
( s1 sn1 )( U1 . . . Um )
3.4. EJERCICIOS
91
, |t| < } de (x, t) = (0, 0) para que necesariamente f (x) sea analtica en
todo R (es decir entera) 4 . Demustrese que adems f (x) ha que satisfacer
la estimacin:
2
|f (x)| ea|x| ,
(3.17)
para cierta constante positiva a > 0. Contradice este hecho al teorema
de Cauchy-Kowalevski ? Qu se puede decir si f (x) impar? Y en el caso
general?
Indicacin. La analiticidad de u(x, t) cerca de (0, 0) implica la de u(0, t) =
(2k)!
a2k tk . Si 1 es el radio de convergencia de sta ltima serie, pruk!
bese que 1 > 0 implica = +.
18. Hllese la solucin analtica del problema:
utt + uss = 0
u(s, t) = 0, s R, k N
ut (s, 0) = kek/2 sen kx
s R, k N.
Indicacin. Una forma alternativa es hallar soluciones en forma de producto u(s, t) = S(s)T (t).
19. Sea R2 un dominio simtrico con respecto al eje Ox1 que corta a
dicho eje en un intervalo abierto I. Sea u(x1 , x2 ) una funcin armnica en
(es decir u = 0 en ) que satisface u(x1 , 0) = 0. Demustrese que u
es impar en y es decir: u(x, y) = u(x, y) en .
Indicacin. Dse por conocido el resultado que ms se demostrar y
que arma que si u C 2 () es armnica en es tambin analtica en
(Captulo 9).
20. Sea u(x, y, t) una solucin de la ecuacin de las ondas:
utt = u,
(n = 2).
sobre la supercie
t = (x, y).
(3.18)
92
Captulo 4
Clasicacin de ecuaciones
lineales. Ecuacin de ondas
4.1.
C m ()
u
donde,
Lu =
C()
Lu,
a (x) u,
||m
a (x) u.
L0 u =
||=m
x (L, ) = x () =
a (x) .
||=m
(4.1)
94
xi i .
i=1
Ejemplo 4.1. Los operadores que siguen tienen las variedades caractersticas
sealadas:
1. Lu = 1 u, carx (L) = {1 = 0} en Rn .
2. Lu = u (operador Laplaciano), carx (L) = {0} en Rn .
3. Lu = n+1 u u (operador del calor), carx (L) = {1 = = n = 0} en
Rn+1 .
2
2
=
u u (operador de ondas), carx (L) = {n+1
4. Lu = n+1
n+1
R
.
2
i=1 i }
en
a (x) = 0 = 0.
||=m
4.2.
Lu =
aij ij u +
ai i u + a0 u,
i,j=1,...,n
i=1,...,n
donde podemos suponer, al ser u C 2 (), que aij = aji pues el grupo:
aij ij + aji ji u =
1
1
(aij + aji ) ij u + (aij + aji ) ji u = aij ij + aji ji u,
2
2
Q
y = g(x),
a
ij ij u +
i,j=1,...,n
a
i i u + a
0 u.
i=1,...,n
y los
Se trata de establecer la relacin entre los nuevos coecientes (los de L)
antiguos (los de L). Ahora:
xi u =
u yk
yk
=
y u
yk xi
xi k
k
yk yl
2 yk
x i x j u =
yk yl u +
y u
xi xj
xi xj k
k,l
k
(( )
)
t
x u =
y u
+
b y u,
x
||<||
x1 y1
x 1 u
( )t
y
y u = ...
x u = ... =
x
xn y1
xn u
que:
...
..
.
...
x1 yn
y1 u
.. .. ,
. .
xn yn
yn u
96
x :
dada por:
x (v, w) =
R
x (v, w),
aij (x)vi wj ,
i,j
tenemos que:
L(x )u =
i,j=1,...,n
aij ij u +
ai i u + a0 u
i=1,...,n
y
y
y
k
l
k
=
aij
yk yl u +
yk u
x
x
x
x
i
j
i
j
i,j=1,...,n
k=1,...,n
k,l=1,...,n
yk
ai
+
yk u + a0 u
x
i
i=1,...,n
k=1,...,n
y
y
k
l
yk yl u
=
aij
x
x
i
j
k,l=1,...,n i,j=1,...,n
y
y
k
k
yk u + a0 u
+
aij
+
ai
xi xj i=1,...,n xi
i,j=1,...,n
k=1,...,n
(L1 yk ) yk u + a0 u,
x (yk , yl )yk yl u +
=
k,l=1,...,n
k=1,...,n
L1 u =
aij ij u +
ai i u.
i,j=1,...,n
i=1,...,n
Por tanto,
a
kl (y) = g1 (y) (yk , yl )
a
k (y) = L1 yk .
Ejemplo 4.2.
a
= r, r = 1
b = r, = 0
c = , =
1
r2
1
d = r =
r
e = = 0.
Por tanto,
u = urr +
1
1
u + ur .
r2
r
x = r cos
y = r sen
z = z,
r > 0, 0 < < 2, z R, el Laplaciano toma la forma:
u = urr +
1
1
u + uzz + ur .
r2
r
x = r sen cos
y = r sen sen
z = r cos ,
r > 0, 0 < < , 0 < < 2. Un poco de geometra, por ejemplo, nos
lleva a que:
r, = r, = , = 0.
Como = arccos (z/r):
1
(x, y, z)
r
1
=
( sen , cos , 0)
r sen
1
=
(zx, zy, x2 y 2 )
2
r x2 + y 2
r =
2
r
= 0
r =
cos
,
(r2 sen )
1
1
2
cos
u + 2 u + ur + 2
u .
r2 sen2
r
r
r sen
Equivalentemente,
u = urr +
1
1
2
u + 2
(sen u ) + ur .
r2 sen2
r sen
r
98
4.3.
4.3.1.
(4.2)
Como las construcciones que siguen son locales, trabajaremos en entornos adecuados de puntos P0 = (x0 , y0 ) . Por otra parte supondremos que:
a, b, c C 1 ().
Admitiremos que a(P0 ) = 0. Caso contrario tendramos b(P0 ) = 0, salvo que a
y b se anulen en un entorno U de P0 . En ese caso:
L0 = 2b(x, y)ux,y
en U.
x1 = x + y
y1 = x y
tendremos: a
= 2b =
c, b = 0 y (3) toma la forma:
L0 u = 2b{ux1 x1 uy1 y1 }.
Luego (3) no es otra cosa que el operador de ondas (mdulo b).
(4.3)
99
b d
x
=
(:= ),
y
a
tambin:
x y = 0.
(4.5)
dx
=1
dt
dy
= .
dt
A tal n, resolvemos:
dy =
dx
y(x ) = ,
0
(4.6)
d
(, ) x y
=
=
)
=
2
.
y y +
y y
x y
(x, y)
a
100
= x ct.
As(d = c2 ):
c u = 4c2 u .
2) La ecuacin:
uxx 2 sen xuxy cos2 xuyy cos xuy = 0,
se escribe:
2u = 0
en las coordenadas: = y cos x + x, = y cos x x. Ntese que d = 1,
= sen x 1, la ecuacin que da las caractersticas es: dy/dx = sen x 1,
mientras L() = L() = 0.
101
b
a
de a2 + 2b + c = 0, y eligiendo una solucin como en el caso anterior de:
=
x y = 0,
es decir, de:
b
x + y = 0,
a
(con y =
0 cerca de P0 ) y tomando por ejemplo:
= x,
llegamos a que:
a
=0
b = ax + by = 0
c = a,
con lo que la nueva forma principal es:
L0 u = au .
Finalmente,
(, ) x
=
x
(x, y)
y
= y = 0,
y
102
dy
= (x, y)
dx
y(x ) = ,
0
1
(u u ) = 0.
8(y)3/2
[25]
2 Terminologa
i .
y
103
Integrando dy/dx = i/ y
que a
= y. Asmismo L() = 1/(2 y), L() = 0. La ecuacin en coordenadas
caractersticas adopta la forma:
3
u + u + u = 0.
4.3.2.
1 0 . . .
n+ )
n )
0 2 . . .
P t AP = P 1 AP = diag (1 . . . n+ . . . n+ +n 0 . . . 0) = .
.. . .
..
.
.
0
...
pli xl ,
l=1,...,n
es decir Y = P t X tenemos:
(gi , gj ) = Pit APj = i ij ,
por lo que:
=
Lu
i=1,...,n
2u
u
+a
0 (y)u,
+
a
i (x)
2
yi
yi
i=1,...,n
en donde a
i = (ai (x)), Pi , 1 i n.
Concluimos asque:
L0 u =
i=1,...,n+
2u
+
yi2 i=n
+ +1,...,n+ +n
2u
.
yi2
0
0
..
.
n
104
haciendo el cambio i = yi / i si 1 i n+ , i = yi / i si n+ + 1 i
n+ + n , yi = i si se da el caso en que el rango r = n+ + n < n, L0 toma
nalmente la forma:
L0 u =
i=1,...,n+
2u
yi2 i=n
+ +1,...,n+ +n
2u
.
yi2
(4.7)
De acuerdo con las cuentas efectuadas tenemos la siguiente clasicacin de operadores con coecientes constantes.
El operador L se dice
elptico si r = n+ + n = n mientras n+ = n o n = n. Es este caso
L0 = n ,
estrictamente hiperblico si r = n+ + n = n mientras n+ = n 1 o
n = n 1. En este caso L0 = n1 2 /x2n o L0 = 2 /x21 n1 ,
ultrahiperblico si r = n+ + n = n pero 2 n+ , n (n 4),
parablico si r = n+ + n = n 1 mientras n+ = n 1 o n = n 1. En
este caso L0 = n1 .
Observacin 4.6. Cuando r = n se dice que L es no degenerado (degenerado en
caso contrario).
Los nmeros n+ , n y r slo dependen de la matriz A. En caso de coecientes
variables A = A(x) = (aij (x)) se dice que el operador L es elptico, parablico o
hiperblico en x si A(x) lo es. Por la continuidad del espectro con respecto
a los coecientes, si stos son continuos y A es no degenerada, las propiedades
de elipticidad e hiperbolicidad se mantendrn en las proximidades de un punto
de referencia.
Ejercicio 4.3. Comprobar que para n = 2 y coecientes constantes las deniciones de elptico, parablico e hiperblico coinciden con las ya dadas.
Ejercicio 4.4. Prubese que L es elptico en x (se suponen coecientes
variables) si y slo si:
2
a
(x)
ij
i j (x)|| ,
i,j=1,...,n
para alguna constante positiva (x) > 0 y todo Rn .
Observacin 4.7. Se prob en el plano la reduccin de la parte principal L0 a
los tres tipos:
{u + u }
L0 = (x, y) {u }
{u u },
105
2
u
L0 u = (x)
i 2 ,
yi
i=1,...,n
1 i < j n,
(4.8)
i = i0 ,
4.4.
4.4.1.
x R, t > 0
utt = c uxx
(4.9)
u(x, 0) = f (x) x R
ut (x, 0) = g(x) x R .
Usaremos la notacin del operador DAlambertiano:
c u = utt c2 uxx
para representar en algunos casos el operador de ondas.
Teorema 4.3 (Frmula de DAlambert).
problema de valor inicial (4.9):
utt = c uxx
u(x, 0) = f (x)
ut (x, 0) = g(x)
1
1
{f (x + ct) + f (x ct)} +
2
2c
x+ct
g(s) ds.
xct
(4.10)
106
Observaciones 4.8.
a) Las posibles soluciones de (P) pueden extenderse a t R. De hecho la ecuacin
es reversible en t en el sentido de que es invariante frente al cambio t t.
b) Es conveniente representar por u = u(x, t, t0 , f, g) a la solucin del problema:
x R, t > t0
utt = c uxx
u(x, t0 ) = f (x) x R
ut (x, t0 ) = g(x) x R .
Tal solucin viene dada en trminos de la del problema en t = 0 como sigue:
u(x, t, t0 , f, g) = u(x, t t0 , 0, f, g) .
Demostracin del Teorema 4.3. La introduccin de las coordenadas caractersticas:
= x + ct
= x ct,
permite escribir:
c u = 4c2 u .
Toda solucin de c u = 0 en t 0 adopta entonces la forma:
u = F () + G().
(4.11)
1
1
{f () +
g(s) ds} + C
2
c 0
1
1
g(s) ds} C ,
G() = {f ()
2
c 0
F () =
(4.12)
con C una constante arbitraria. Esta construccin lleva implcita tanto la existencia como unicidad de soluciones clsicas.
Observacin 4.9. La expresin (4.11), (4.12) asegura que la solucin de (4.9) es la
superposicin de dos ondas viajeras con velocidades de propagacin respectivas
dadas por c.
4.4.2.
Dado el punto (
x, t) con t > 0 las rectas caractersticas:
=
= ,
con = x
+ ct, = x
ct delimitan las regiones donde el pasado"de la solucin,
t t, inuye sobre el valor de u en (
x, t) y donde el valor u(
x, t) inuir sobre
107
1
1
+ f (
{f ()
)} +
2
2c
g(s) ds
para cualquier t0 < t la solucin puede observarse como la que tom datos
iniciales u y ut en t = t0 . Usando la notacin precedente:
u(x, t) = u(x, t, t0 , u(, t0 , 0, f, g), ut (, t0 , 0, f, g)),
que dice que u(
x, t) tambin se construye usando la informacin de la propia u
connada en (
x, t) {t = t0 }.
Un argumento simtrico muestra que + (
x, t) es la regin donde la informacin en el punto (
x, t) afectar a la solucin u. Por eso a + (
x, t) tambin se le
llama la regin de inuencia"del punto (
x, t).
El mismo gnero de argumentos geomtricos llevan al siguiente resultado.
Teorema 4.4. Sean f C 2 (R), g C 1 (R) funciones con somporte compacto.
Entonces la solucin de (P) es tal que u(, t) tiene soporte compacto para cada
t. Adems, cualquiera que sea el intervalo [a, b] cumpliendo:
sop f sop g [a, b],
se tendr que sop u(, t) [a(t), b(t)] con a(t) = a ct, b(t) = b + ct.
Observaciones 4.10.
a) Ntese que el soporte se expande con velocidad c, eso
justica la terminologa de velocidad de propagacin nita de las perturbaciones.
b) Es muy formativo el estudio de los casos particulares: f con soporte compacto, g = 0, f = 0, g con soporte compacto, respectivamente.
4.4.3.
108
u=
1
1
{f () + f ()} +
2
2c
g(s) ds,
tenemos,
ux =
uxx =
ut =
utt =
uxt =
1
1
{f () + f ()} + {g() g()}
2
2c
1
1
{f () + f ()} + {g () g ()}
2
2c
c
1
{f () f ()} + {g() + g()}
2
2
c2
c
{f () + f ()} + {g () + g ()}
2
2
c
1
{f () f ()} + {g () + g ()} .
2
2
Considerando cada una de las derivadas como una funcin de x para cada t jo
109
tenemos para x
i (t) = ai ct,
1
f (ai )
2
1
1
ux (x
g (ai )
i (t)) = f (ai )
2
2c
1
1
uxx (x
g (ai )
i (t)) = f (ai )
2
2c
c
1
ut (x
i (t)) = f (ai ) + g (ai )
2
2
c
c
siempre que x
i (t) = xj (t) cuando i = j. Si para ai < aj tenemos xi = xj (en
ese caso t = (aj ai )/2c) entonces:
u (x+
i (t)) =
ux (x+
i (t)) =
uxx (x+
i (t)) =
ut (x+
i (t)) =
utt (x+
i (t)) =
uxt (x+
i (t)) =
1
(f (ai ) + f (aj ))
2
1
1
(f (ai ) + f (aj )) + (g (aj ) g (ai ))
2
2c
1
1
(f (ai ) + f (ai )) + (g (aj ) g (ai ))
2
2c
1
c
(f (aj ) f (ai )) + (g (aj ) + g (ai ))
2
2
c
c
(f (aj ) + f (ai )) + (g (aj ) g (ai ))
2
2
1
c
(f (aj ) f (ai )) + (g (aj ) + g (ai )) .
2
2
4.4.4.
Soluciones simtricas
110
4.4.5.
El problema no homogneo
Suponemos ahora que F (x, t) y Fx (x, t) son continuas en R [0, +). Nos
proponemos resolver el problema perturbado:
ut (x, 0) = g(x)
x R.
Como se sabe basta con hallar la solucin u0 (x, t) de:
ut (x, 0) = 0
x R.
(4.14)
u(0) = 0 ,
es u = eAt 0 que puede visualizarse como una accin lineal sobre 0 que depende
del tiempo t. La frmula de variacin de las constantes de Lagrange proporciona
la solucin u0 de:
du
= Au + F (t)
u(0) = 0,
dt
en la forma:
eA(t ) F ( ) d.
u0 =
0
w(0) = w0 ,
C 2 (R) C 1 (R)
w
C 1 (R) C(R)
.
Aw = (w2 , c2 w1xx )
(4.15)
111
1
1
{f () + f ()} +
2
2c
g(s) ds.
F:
R
t
w(0) = 0,
(4.16)
C 1 (R)
F(t) = F (, t).
Una solucin formal de (6) es, segn la frmula de variacin de las constantes
de Lagrange,
t
wp (t) =
(t )(0, F( )) d.
0
1
=
2c
c(t )
F (s, ) dsd.
0
+c(t )
1
u0 (x, t) =
F (s, ) dsd.
2c
(x,t){t0}
La regin (x, t) {t 0} se llama tringulo caracterstico con vrtice en
(x, t).
B) Coordenadas caractersticas. El problema (4.14) en coordenadas caractersticas adopta la forma:
u = 4c2 F (, )
(4.17)
u(, ) = 0
u (, ) = u (, ),
con F (, ) = F (( + )/2, ( )/2c). La solucin de (4.17) resulta ser,
)
(
1
F (s1 , s2 ) ds2 ds1 .
(4.18)
u = () + () 2
4c 0
0
Un clculo elemental revela que:
)
( s1
1
() = 2
F (s1 , s2 ) ds2 ds1 +
4c 0
0
)
( s2
1
() = 2
F (s1 , s2 ) ds1 ds2 .
4c 0
0
112
1
u(, ) = 2
F (s1 , s2 )ds1 ds2 ,
4c
T
donde T es el tringulo caracterstico:
T = {(s1 , s2 ) : s1 > s2 , s1 < , s2 > },
con = x + ct, = x ct. Si efectuamos el cambio de variable:
s1 s2
s1 + s2
=
,
2
2c
en la integral doble obtenemos de nuevo la expresin para u0 ,
1
F (s, ) dsd.
u0 (x, t) =
2c
(x,t){t0}
s=
ut (x, 0) = g(x)
tiene como nica solucin a:
1
1
u = {f (x + ct) + f (x ct)} +
2
2c
4.5.
x+ct
xct
1
g(s) ds +
2c
xc(t )
F (s, ) dsd.
0
x+c(t )
Problemas de contorno
u(x, 0) = f (x)
0xl
(4.19)
ut (x, 0) = g(x)
0xl
113
(el operador x
se llama derivada normal exterior).
Robin si Bx0 u = u
x (x0 , t) + bu(x0 , t) con b 0.
El problema (4.19) se dir de tipo Dirichlet, Neumann o Robin si, respectivamente, ambas condiciones en (4.19) son Dirichlet, Neumann o Robin. Si en cada
extremo hay condiciones distintas hablaremos de problema mixto.
Diremos que u = u(x, t) es una solucin clsica de (4.19) si u C 2 ([0, l]
[0, +)). Nuestro primer resultado es de unicidad. La eleccin del coeciente
procede de la deduccin fsica (Captulo 1).
Teorema 4.8. El problema de contorno y valor inicial:
u(x, 0) = f (x)
ut (x, 0) = g(x)
B0 u = (t) Bl u = (t)
con c2 (x) = T0 /(x), C[0, l], (x) > 0 para x [0, l], admite a lo ms una
solucin clsica.
Demostracin. Si u es solucin de:
utt = c2 (x)uxx + F (x, t),
entonces:
utt T0 uxx = F
utt ut T0 uxx ut = F ut
utt ut + T0 ux uxt (T0 uxx ut + T0 ux uxt ) = F ut
1
(u2t + T0 u2x )t T0 (ux ut )x = F ut .
2
Escribamos,
E(t) =
1
2
(4.20)
114
(u2t + T0 u2x ) dx = 0,
0
1 l
1 l
(u2t (s, t) + T0 u2x (s, t)) dx =
(g(s)2 + T0 (f (s))2 ) dx.
2 0
2 0
En otras palabras, se conserva la energa total del proceso.
Regin de inuencia 3 sobre un punto (
x, t). En la demostracin del teorema
precedente hemos probado que cuando f = g = 0, si adems F , , son nulas
en t < t entonces u = 0 en R = [0, l] [0, t]. Comprobaremos cmo hay una
regin ms pequea que R y con vrtice en cada (
x, t), 0 x
l, donde se
observa el mismo fenmeno.
Supondremos que la tal regin de inuencia P est limitada por dos curvas
t = Q1 (x), t = Q2 (x) incidentes en (
x, t) con Qi (x) t, Q1 denida en [0, x
],
Q2 en [
x, l] (ver Figura 9). En P se tiene, segn hemos visto,
1
(u2t + T0 u2x )t T0 (ux ut )x = 0.
2
(4.21)
Si denimos por t = Q(x) la unin de las dos curvas e integramos (4.21) sobre
P tenemos:
1
1 l Q(s)
(u2t + T0 u2x )t dsd =
(u2t + T0 u2x )t dsd
2
2
P
0
0
1 l
=
(u2t (s, Q(s)) + T0 u2x (s, Q(s))) ds.
2 0
3 Ver
[26]
115
l2 ( )
(ux ut )x dsd =
P
(ux ut )x dsd
0
l1 ( )
=
0
(ux ut )x dsd =
P
t
1
ux (Q1
2 ( ), )ut (Q2 ( ), )
t2
1
ux (Q1
1 ( ), )ut (Q1 ( ), ) d.
t1
Haciendo el cambio s = Q1
i ( ),
ux ut Q2 (s) ds
(ux ut )x dsd =
P
ux ut
0
Por tanto:
dQ
ds =
ds
ux ut Q1 (s) ds
0
l
ux ut
0
dt
dx.
dx
1
{ (u2t + T0 u2x )t T0 (ux ut )x } dsd
P 2
]
l[
1 2 1
dt
2
=
u + T0 ux + T0 ux ut
dx = 0,
2 t 2
dx
0
116
resulta que:
l
0
l
0
[
]
1
dt
2
2 2
2
ut + c ux + 2c ux ut
dx =
2
dx
{[
[
]2
( )2 ]}
1
dt
1
dt
2
4 2
ut + c ux
+ c ux 2
dx = 0.
2
dx
c
dx
Si:
dt
dx
)2
=
(4.22)
1
,
c2
x 1
ds 0 < x < x
t x
c(s)
t(x) =
(4.23)
t xx
ds x
< x < l.
c(s)
De (4.22) y (4.23) se deduce que ut = ux = 0 en (
x, t) y con el mismo argumento
se tiene que ux = ut = 0 en P . De ah, u = 0 en P si F , , son nulas en P , a
parte de f = g = 0 en [0, l].
4.5.1.
2
0 < x < l, t > 0
utt = c uxx
u(x, 0) = f (x)
0xl
ut (x, 0) = g(x)
0xl
(4.24)
admite una solucin clsica u. Entonces f y g, supuestas C 2 y C 1 respectivamente en [0, l], han de satisfacer las condiciones de compatibilidad siguientes:
{
f (0) = f (l) = f (0) = f (l) = 0
(4.25)
g(0) = g(l) = 0.
Anlogamente, para el problema de Neumann,
utt = c2 uxx
0 < x < l, t > 0
u(x, 0) = f (x)
0xl
u
(x,
0)
=
g(x)
0
xl
t
{
f (0) = f (l) = 0
g (0) = g (l) = 0.
(4.26)
(4.27)
117
As pues (4.25) y (4.27) son condiciones necesarias para la existencia de soluciones clsicas.
Ahora unas consideraciones elementales de simetra. Si f = f (x) C(R)
es impar con respecto a x = 0 y 2l-peridica entonces f es tambin impar con
respecto a x = l. En efecto,
f (2l x) = f (x) = f (x).
Por tanto, f (0) = f (l) = 0. Supongamos por otra parte que f C 2 [0, l] satisface
(4.25). Si efectuamos la extensin impar a [l, l] y despus la extensin 2lperidica a R obtenemos adems una funcin f, de clase C 2 , que es impar con
respecto a x0 = 0. En efecto, si x R, x = x0 + 2kl para k Z, x0 [l, l]. Si
x0 [0, l]:
f(x) = f(x0 + 2kl) = f (x0 ) = f(x0 ) = f(x0 2kl) = f(x).
Si x0 [l, 0] resulta:
f(x) = f(x0 + 2kl) = f(x0 )
= f (x0 ) = f(x0 ) = f(x0 2kl) = f(x).
Anlogamente, f = f (x) C(R), par con respecto a x = 0 y 2l-peridica
implican que f es tambin par con respecto a x = l. Si, por otro lado, f C 2 [0, l]
satisface (4.27), la extensin par a [l, l] primero y 2l-peridica despus a R dan
lugar una funcin C 2 , f, que es par con respecto a x0 = 0.
Teorema 4.9. Sean f C 2 [0, l], g C 1 [0, l] funciones que satisfacen las condiciones (4.25). Entonces el problema de Dirichlet (4.24) admite una nica solucin clsica u C 2 ([0, l] [0, +)). La misma conclusin se obtiene para el
problema de Neumann (4.26) bajo datos f C 2 [0, l], g C 1 [0, l] satisfaciendo
(4.27).
Demostracin. Para (4.24) efectuamos las extensiones impares y 2l-peridicas
f, g de f y g y resolvemos el problema de valor inicial:
x R, t > 0
utt = c uxx
u(x, 0) = f (x) x R
ut (x, 0) = g(x) x R .
Su solucin u = u
(x, t) da la nica solucin del problema de Dirichlet. Anlogas
consideraciones llevan a la solucin del problema de Neumann (4.26).
Ejercicio 4.5 (Condiciones mixtas). Sea f C 2 [0, l] tal que f (0) = f (0) = l.
Efectuamos sucesivamente: la extensin impar a [l, 0], la extensin par con
respecto a x0 = l a [l, 3l] y la extensin 4l-peridica a R. Prubese que tal
extensin f es C 2 , impar en x0 = 0 y par en x0 = l. Probar, bajo condiciones
118
utt = c2 uxx
0 < x < l, t > 0
u(x, 0) = f (x)
0xl
(4.28)
u
(x,
0)
=
g(x)
0xl
t
u(0, t) = ux (l, t) = 0
t > 0.
4.5.2.
Oscilaciones libres
t
0
g es T -peridica
El prximo resultado evidencia la existencia de oscilaciones libres en el problema de la cuerda vibrante bajo diversas condiciones de contorno.
Teorema 4.10. Sean f C 2 [0, l], g C 1 [0, l]. Entonces,
1. La solucin u de (4.24) (respectivamente, (4.28)), f , g cumpliendo las
condiciones de compatibilidad (4.25) (r. las correspondientes condiciones
2l
4l
de compatibilidad) es -peridica (r. -peridica) en t.
c
c
2. La solucin u de (4.26), f , g cumpliendo las condiciones de compatibilidad
l
2l
(4.27) es -peridica en t si y slo si 0 g = 0.
c
Ejercicio 4.7 (Propagacin de discontinuidades). Usar el teorema precedente
para probar que si f y g son, respectivamente, C 2 y C 1 a trozos (esto incluira posiblemente la violacin de alguna de las condiciones de compatibilidad)
entonces las discontinuidades se propagan con velocidad c en los dos sentidos,
mantienen la magnitud del salto y se reejan en los bordes x = 0, x = l.
4.5.3.
utt = c2 uxx
u(x, 0) = f (x)
ut (x, 0) = g(x)
utt = c2 uxx
u(x, 0) = f (x)
ut (x, 0) = g(x)
ux (0, t) = (t),
(4.29)
(4.30)
119
(0) = f (l)
(0) = f (0)
y,
(0) = g(0)
(0) = g(l)
(0) = c f (0)
(0) = f (0)
(0) = g (0)
(4.31)
(0) = c f (l)
(0) = f (l)
(0) = g (l),
(4.32)
respectivamente.
Por simplicidad vamos a construir la solucin a (4.29). La hallaremos bajo
la forma:
u = F () + G().
Las condiciones iniciales nos dan F , G en [0, l] como:
1
1
f () +
g
2
2c 0
1
1
g.
G() = f ()
2
2c 0
F () =
G() = ( ) F ().
c
(4.33)
La condicin en x = l:
(t) = F (l + ct) + G(l ct),
permite denir F en el intervalo [l, 3l] en la forma:
F () = (
l
) G(2l ).
c
(4.34)
120
4.5.4.
u(x, 0) = f (x)
ut (x, 0) = g(x)
de Dirichlet:
0 < x < l, t > 0
0xl
0xl
t > 0,
(4.35)
ut (x, 0) = 0
x R,
con solucin u
que al restarla de la de (4.35) nos lleva a:
vtt = c2 vxx
0 < x < l, t > 0
u(x, 0) = f (x) u
(x, 0)
0xl
ut (x, 0) = g(x) u
t (x, 0)
0xl
u(0, t) = (t) u
(0, t), u(l, t) = (t) u
(l, t) t > 0 ,
problema del que se ha tratado.
Ejercicio 4.10. Considrese una distribucin de densidad de fuerzas de clase C 1
en [0, l] que cumple F (0) = F (l) = 0. Demustrese que la solucin de:
u(x, 0) = f (x)
0xl
u
(x,
0)
=
g(x)
0
xl
t
4.6.
Problemas semilineales
4.6.1.
ut (x, 0) = g(x)
x R,
121
u = 2 F (, , u, u , u )
4c
(4.36)
u(, ) = f ()
u (, ) u (, ) = g(),
donde F se deduce de manera obvia a partir de F .
Si jamos x0 toda posible solucin de (4.36) cerca de = = x0 ha de
satisfacer la identidad de punto jo:
s1
1
u = u0 + 2
F (s1 , s2 , u, u , u ) ds2 ds1 ,
(4.37)
4c
1
con u0 = 12 {f () + f ()} + 2c
g(s) ds.
sup
|F | + |F | + |F |.
(,,z,p,q)K
X,1
v
C 1 (Q )
,
T (v)
s1
1
1 , s2 , v) ds2 ds1 ,
T (v) = u0 + 2
F(s
(4.38)
4c
siendo F(s1 , s2 , v) = F (s1 , s2 , v, v , v ).
Se pueden elegir y 1 de forma que T sea contractivo de X,1 sobre si
mismo. En efecto:
1
s2 , v) ds2
F(,
T (v) = u0 + 2
4c
1
1 , , v) ds1 ,
T (v) = u0 2
F(s
4c
122
mientras:
L 2
|v1 v2 |1
c2
L
|T (v1 ) T (v2 ) | 2 |v1 v2 |1
2c
L
|T (v1 ) T (v2 ) | 2 |v1 v2 |1 .
2c
Una eleccin adecuada de > 0 permite probar la invariancia de X,1 junto
con la contractiviad de T en X,1 .
Hemos probado asel siguiente resultado.
|T (v1 ) T (v2 )|
ut (x, 0) = g(x)
x R,
admite una nica solucin local (u, U).
que hemos construido con unicidad. Como ux0 = ux0 si Q (x0 ) Q (x0 ) =
resultar que:
U = x0 R Q (x0 ).
Observacin 4.12. Las dimensiones del dominio de existencia U de las posibles
soluciones locales estn sometidas esencialmente a las mismas condiciones de
variabilidad y nitud que en el caso de ecuaciones diferenciales ordinarias. En
el ejemplo:
x R, t > 0
utt = c uxx + ( + 1)u
u(x, 0) = u0
xR
ut (x, 0) = 0
x R,
donde > 1 y se toma u0 > 0 constante. La solucin explota uniformemente
cuando t T + donde:
+
ds
1
.
T =
2 u0
u+1 u+1
0
4.6.2.
123
Problemas de contorno
u(x, 0) = f (x)
x [0, l]
u
(x,
0)
=
g(x)
x[0, l],
t
u(0, t) = u(l, t) = 0,
con tal que F sea C 1 e impar en u (F (u) = F (u)) (f C 2 [0, l], g C 1 [0, l]
cumpliendo las condiciones de compatibilidad (4.25)). En efecto basta extender
f , g a R como en el problema de Dirichlet y probar que u detenta las simetras
adecuadas.
4.7.
4.7.1.
t=
R,
con u
Rn , |
u| = 1, constituyen los conos de luz ( t0 ) y + ( t0 ). La
+
seccin de con t = t0 es el lugar geomtrico de los puntos que se han
alejado rectilneamente de x = x0 a una velocidad c (tpicamente, la velocidad
de la luz). La ecuacin de los conos de luz es:
(x0 , t0 ) = {(x, t) : |x x0 |2 = c|t t0 |}.
(+ corresponde por ejemplo a t t0 ).
El primer resultado fundamental es el siguiente (prueba inspirada en la de
[24] para n = 3).
Teorema 4.12 (Unicidad). Sea u C 2 (Rn R) una solucin clsica del problema de valor inicial:
2
n
utt = c u (x, t) R R
n
u(x, 0) = 0 x R
ut (x, 0) = 0 x Rn .
124
utt = c u + F (x, t)
u(x, 0) = f (x)
ut (x, 0) = g(x)
2ut uxi xi
= 2ut utt c2
(2ut uxi xi + 2utxi uxi ) + c2
2utxi uxi
0=
(2c2 ut u, u2t + c2 |u|2 ).(0, 1) dx
|xx0 |ct0
1
x x0
+
(2c2 ut u, u2t + c2 |u|2 ).(
, c) dS
2
|x x0 |
1 + c
1
x x0
=
2c2 ut u
+ c(u2t + c2 |u|2 ) dS
2
|x
x0 |
1+c
c
x x0
=
u2t + c2 |u|2 2c2 uut
dS
|x x0 |
1 + c2
2
x x0
c
=
ut
cu dS.
2
|x x0 |
1+c
x x0
= cu(x).
|x x0 |
1
t = |x x0 | + t0 ,
c
125
se cumple que:
d
1
u(x(s), t0 |x x0 |) =
ds
c
(
)
1 x x0
u ut
x (s)
c |x x0 |
(
)
1
x x0
=
cu ut
x (s) = 0.
c
|x x0 |
utt = c u
u(x, 0) = f (x)
ut (x, 0) = g(x)
(x, t) Rn R
x Rn
x Rn .
4.7.2.
Medias esfricas
1
1
Mh (x, r) =
h(y)
dS
=
h(x + rw) dSw ,
y
n rn1 Sr (x)
n S1
la media de h sobre Sr (x) (es un promedio de las rotaciones de h alrededor de
x y a una distancia r > 0).
Propiedad 4.14. Sea h C(Rn ) entonces:
1. Mh (x, r) se puede extender de forma par a todo r R: Mh (x, r) =
Mh (x, r) con lmr0 Mh (x, r) = h(x).
2. Si h C s (Rn ) entonces Mh (x, r) es C s en (x, r): Mh C s (Rn R).
Observacin 4.13. Si h es C 1 , Mh es tambin C 1 en r y por tanto Mh /r(x, 0) =
0.
126
1
Mh (x, r) = n1 x
r
r
r
n1
Mh (x, ) d .
En particular:
(
rn1
Es decir
2
n 1 Mh
= x Mh (x, r).
Mh +
r2
r
r
(4.39)
2
n1
+
r2
r r
)
Mu (x, r, t).
(4.40)
(x, t) Rn R
utt = c u
u(x, 0) = f (x) x Rn
ut (x, 0) = g(x) x Rn .
Entonces, para cada x Rn jo se tiene que:
( 2
)
2
n1
M
(x,
r,
t)
=
c
+
Mu (x, r, t)
u
t2
r2
r r
r R, t > 0
Mu (x, r, 0) = Mf (x, r)
rR
r R.
(4.41)
1
n
||=1
h(x + r) dS .
127
Por tanto:
Mh
1
(x, r) =
i h(x + r)i dS
r
n ||=1
1
=
i (i h(x + r)) d
n ||1
1
rx h(x + r) d
=
n ||<1
)
(
r1n
=
h(y) dy
x
n
|yx|<r
( [
]
)
r
1
1n
n1
=r
x
h(x + w)
dSw d
n |w|=1
0
( r
)
= r1n x
n1 Mh (x, ) d .
0
4.7.3.
r R, t > 0
vtt = c vrr
v(r, 0) = rMf (x, r)
1
(r + ct)Mf (x, r + ct)+
2
r+ct
1
1
(r ct)Mf (x, r ct) +
sMg (x, s) ds.
2
2c rct
128
De la paridad de Mf en r:
Mu (x, r, t) =
(r + ct)Mf (x, ct + r) (ct r)Mf (x, ct r)
1
+
2r
2cr
=
1
2r
r+ct
sMg (x, s) ds
rct
)
(
1
Mf
(x, ct)r + o(r) +
(r)Mg (x, (r))2r,
2rMf (x, ct) + 2ct
r
2rc
1
u(x, t) =
(4.43)
g(y) dSy +
f (y) dSy
4c2 t Sct (x)
t 4c2 t Sct (x)
Asmismo podemos concluir el recproco.
Teorema 4.19. Para f C 3 (R3 ), g C 2 (R3 ) (regularidad que es precisa para
que el segundo miembro de (4.43) sea C 2 ), la identidad (4.43) proporciona la
solucin clsica de (4.42).
Demostracin. Escribiendo (4.43) como u = u1 + u2 basta con probar que u1
cumple (4.42) con f = 0. En efecto, si g es sucientemente regular u2 = u1t
cumple u2 = 0 y u2 = g, u2t = 0 en t = 0.
Ahora,
t
u1 =
g(x + ctw) dSw ,
4 |w|=1
luego,
u1 =
t
4
mientras,
u1t =
=
=
=
u1
t
u1
t
u1
t
u1
t
+
+
+
+
|w|=1
t
cg(x + ctw)w dSw
4 |w|=1
1
g(x + ctw)w dSct
4ct Sct (x)
1
g(y) dy
4ct Bct (x)
1
I(t),
4ct
Bct (x)
u1tt
129
1
=
t
u1
1
+
I
t
4ct
u1
1
1
1
I+
I =
I.
t2
4ct2
4ct
4ct
Sin embargo,
ct
)
g dS
I =
0
S (x)
)
d
=c
g dSct
Sct (x)
= c(ct)2
|w|=1
Luego u1tt = u1 . Por otra parte est claro que u1 satisface las condiciones
iniciales.
Ejercicio 4.11. Sea f continua en Rn . Prebese que:
(
)
d
f (x) dx =
f (x) dSx .
dr
|xx0 |r
|xx0 |=r
Principio de Huygens
La identidad de Kichho (4.43) encierra una interesante propiedad de la
propagacin de perturbaciones en el espacio. A tal efecto, supongamos que f y
g tienen soporte compacto en (4.42) y sea K = sop f sop g.
Tomemos un punto del espacio x0 inicialmente en reposo, x0
/ K. Podemos
denir:
d := dist (x0 , K)
D := sup{|x0 y| : y K}.
De la frmula (4.43) se sigue que la solucin u(x0 , t) = 0 para t < t0 := d/c, es
decir la perturbacin emplea d/c unidades de tiempo en alcanzar x0 , mientras de
nuevo u(x0 , t) = 0 para t > D/c, es decir el medio recupera el reposo al cabo
de un tiempo nito. Este efecto se conoce como principio fuerte de Huygens. Una
lectura posible: en el espacio podemos distinguir los sonidos porque las diversas
seales acsticas tras perturbar un punto se dejan unas a otras el medio limpio
de excitaciones. Alternativamente: la estela de las ondas desaparece en tiempo
nito.
Por otro lado, el conjunto:
t = {x R3 : dist (x, K) = ct},
es claramente la interfaz que va sealando en el tiempo la frontera entre la
zona perturbada y la zona sin perturbar. Se llama a t el frente de ondas. Una
reinterpretacin de la frmula de Kirchho revela que cada punto del espacio
alcanzado por el frente de ondas se convierte a su vez en un emisor con las
mismas caractersticas que los datos iniciales.
130
4.7.4.
(x1 , x2 ) R2 , t > 0
utt = c u
(4.44)
u(x1 , x2 , 0) = f (x1 , x2 )
(x1 , x2 ) R2
2
ut (x1 , x2 , 0) = g(x1 , x2 )
(x1 , x2 ) R ,
en los siguientes trminos. Ponemos x = (x1 , x2 ), y = (y1 , y2 ) y f(x1 , x2 , x3 ) =
f (x) y se tiene:
2ct
1
(y, y3 ) dS(y,y ) = 1
f
f (y) dy
3
4c2 t Sct ((x,x3 ))
4c2 t Bct (x)R2 c2 t2 |y x|2
1
f (y)
=
dy.
2c Bct (x)R2 c2 t2 |y x|2
Por tanto, si f C 3 (R2 ), g C 2 (R3 ) podemos concluir que la solucin del
problema (6) es:
1
u(x1 , x2 , t) =
2c t
f (y)
Bct (x)
dy +
c2 t2 |y x|2
1
2c
Bct (x)
g(y)
dy. (4.45)
2
2
c t |y x|2
Observacin 4.16. El principio de Huygens falla en el plano. En efecto, supongamos que g tiene soporte compacto K en el segundo sumando ug de (4.45).
Para t t0 con t0 el mximo teniendo K Bct (x) resulta que:
1
g(y)
ug (x, t) =
dy 0,
2
2
2c K c t |y x|2
cuando t +. Ms an:
ug (x, t)
1
2c2 t
g(y) dy
t +.
Anlogamente,
1
uf (x, t)
2c2 t2
f (y) dy
t +.
131
Transformaciones de Lorentz
Son las transformaciones lineales T L(Rn R) que dejan invariante el
operador de ondas c 4 . Como es natural, tales transformaciones forman necesariamente un grupo.
Si ponemos c = 1 para simplicar, y escribimos
u = ux1 x1 ux2 x2 uxn xn ,
la forma caracterstica es
(, ) = 1 1 2 2 n n .
Las ecuaciones de T sern:
i =
fij xj ,
donde:
2
1 = f11
2
f1j
j=2
0 = f11 fl1
kl = fk1 fl1
j=2
n
f1j flj
fkj flj
2 k, l n.
j=2
1 0
...0
0 f22 . . . f2n
(fij ) = .
..
..
..
.
.
0
fn2
...
.. ,
.
fnn
donde (fkl )2k,ln es ortogonal. Una discusin completa de todas las transformaciones de Lorentz se relega a la seccin de ejercicios (Ejercicio 29).
4.8.
El caso n-dimensional
4.8.1.
Dimensiones impares
[12].
n1
Mr }.
r
132
1
r r
)k1
k N.
(r2k1 (r))
Lk (r ) =
1
r r
k1
)k
(r2k
(r)),
r
cj rj+1 (j) ,
j=0
donde
c0 = (2k 1)!!
y adems, Lk (r ) es impar si es par.
La observacin importante es que cuando la dimensin n es impar, n = 2k+1,
entonces v(r, t) = Lk (r )M (r, t) cumple la ecuacin de ondas unidimensional
(pondremos c = 1 para simplicar):
(
(Lk M )rr =
(
=
1
r r
1
r r
)k
(r2k Mr )
)k1 (
)
2k
2k1
r
{Mrr +
Mr }
r
= (Lk M )tt .
Por tanto, si u es la solucin del problema
{
utt = u
u(x, 0) = f (x), ut (x, 0) = g(x)
(x, t) Rn R
x Rn ,
(4.46)
entonces,
1
1
1
Lk M (r, t) = (r + t) + (r t) +
2
2
2
r+t
(s) ds,
(4.47)
rt
1
c0 t
1
t t
)k1
t2k1 Mf (x, t) +
1
c0
1
t t
)k1
t2k1 Mg (x, t).
133
En otras palabras, si n = 2 + 1, n 3,
u(x, t) =
(n 2)!! t
1
t t
) n3
2
tn2 Mf (x, t)
1
+
(n 2)!!
1
t t
)n 3
2
1
c0
1
t t
)k1
t2k1 Mg (x, t),
1
=
c0
=
1
c0
1
c0
1
c0
)k (
))
1
t
g(x + tw) dSw
n |w|=1
t
)
(
)k1 (
)(
1
1
1
2k
g(x + tw)wt dSw
t t
t t
n |w|=1
)
(
)k1 (
)(
1
1
1
g(y) dy
t t
t t
n Bt (x)
)
(
)k1 ( 2k1
1
t
g(x + tw) dSw
t t
n |w|=1
(
1
t t
2k
= u1 .
Se he empleado que:
(
)
(
t
g(y) dy =
2k
Bt (x)
|w|=1
=t
2k
|w|=1
g(x + w) dSw d
134
4.8.2.
utt = u
u(x, 0) = 0
ut (x, 0) = g(x)
u1 (x, t) = u
1 (x, 0, t) es solucin de:
x Rn t R
x Rn
x Rn ,
2
tn1
1
1
g(x + tw, twn+1 ) dS(w,wn+1 )
(n 1)!! t t
n+1 |(w,wn+1 )|=1
(
)
(
) n2
2
1
tn1
1
g(x + tw) dS(w,wn+1 )
=
(n 1)!! t t
n+1 |(w,wn+1 )|=1
(
)
(
) n2
2
1
2tn1
g(x + ty)
1
dy
=
(n 1)!! t t
n+1 |y|1 1 |y|2
(
)
(
) n2
2
2
1
g(z)
n1
=
t
dy ,
n+1 (n 1)!! t t
t2 |z x|2
Bt (x)
pues,
dy
dS(w,wn+1 ) =
y Rn |y| 1.
2
1 |y|
Por tanto la solucin de:
x Rn t R
utt = u
u(x, 0) = f (x) x Rn
ut (x, 0) = g(x) x Rn ,
4.9. EJERCICIOS
135
2
g(z)
1
n1
t
dy
t t
t2 |z x|2
Bt (x)
(
)
(
) n2
2
2
1
f (z)
n1
t
dy ,
n+1 (n 1)!! t t t
t2 |z x|2
Bt (x)
2
u(x, t) =
n+1 (n 1)!!
4.9.
Ejercicios
(ecuacin de Tricomi)
136
2
x x ux = x uyy
(x y)uxy ux + uy = 0
x2 uxx + 2xyuxy + y 2 uyy + 2yzuyz + z 2 uzz + 2zxuzx = 0
utt = a11 uxx + 2a12 uxy + a22 uyy , con aij > 0, a11 a22 = a212 .
uxxxx 2uxxyy + uyyyy = 0.
6. Entre todas las ecuaciones lineales y homogneas de segundo orden y coecientes constantes,
auxx + 2buxy + cuyy + dux + euy + f u = 0,
prebese que las nicas invariantes frente a rotaciones son las de la forma:
a
u + fu = 0.
7. Redzcase la ecuacin elptica:
uxx + 3uyy 2ux + 24uy + 5u = 0,
a la forma vxx +vyy +cv = 0 mediante un cambio de la forma: u = vex+y
y despus un cambio de escala: y = y.
8. Se considera la ecuacin de segundo orden:
(Lu =)a11 uxx 2a12 uxy + a22 uyy + b1 ux + b2 uy = 0,
donde d = a212 a11 a22 > 0. Se dice que u = u(x, y) es una solucin funcionalmente invariante de la ecuacin si F (u) tambin es solucin, cualquiera
que sea F , F C 2 (R). Estdiense las condiciones necesarias y sucientes
para la existencia de soluciones funcionalmente invariantes, aprovechando
los resultados para formular una solucin general de dicha ecuacin.
4.9. EJERCICIOS
137
u(x, 0) = f (x),
ut (x, 0) = g(x),
para las parejas de datos iniciales: a) (f, g) = (ex , sen x), b) (f, g) =
(log(1 + x2 ), 4 + x).
11. En el problema
utt = c2 uxx ,
u(x, 0) = f (x),
ut (x, 0) = g(x),
u(x, 0) = f (x),
ut (x, 0) = g(x),
u(x, 0) = f (x),
ut (x, 0) = g(x),
x > 0, t 0
x0
138
x0
Para ello supngase que f, g, , tienen la regularidad necesaria y cumplen adecuadas condiciones de compatibilidad. Demustrese tambin la
unicidad de soluciones del problema.
15. Hllese la solucin de utt = 4uxx en 0 < x < , u(0, t) = 0, u(x, 0) = 1,
ut (x, 0) = 0. Localcense las singularidades de la solucin.
16. Hllese la solucin de utt = c2 uxx , 0 < x < , donde u(x, 0) = 0,
ut (x, 0) = V , y donde:
ut (0, t) + aux (0, t) = 0,
siendo a, V constantes positivas, a > c.
17. Para la solucin u(x, t) de utt = uxx en 0 < x < 1, u(x, 0) = x2 (1 x),
ut (x, 0) = (1 x)2 , u(0, t) = u(1, t) = 0, t 0, hllense u( 23 , 2), u( 14 , 27 ).
18. Hllese la solucin de utt = 9uxx en 0 < x <
0, ux (0, t) = 0, u( 2 , t) = 0.
2,
t 0,
0 < x < l, t 0,
4.9. EJERCICIOS
139
x R3 , t 0,
u(x, 0) = (r),
ut (x, 0) = (r).
22. Considrese el modelo de la cuerda vibrante en las condiciones del Ejercicio 22. Los desplazamientos u = u(x, t) de la cuerda, sometida a las
condiciones de contorno u(0, t) = u(l, t) = 0 satisfacen:
utt = c2 uxx + F (x, t),
t > 0,
0 < x < l,
1 l 2
T0 l 2
K=
ut dx P =
u dx,
2 0
2 0 x
mientras que la energa total se dene como E(t) = K(t) + P (t). Prebese
que:
t l
1 l 2
T0 l 2
F dx dt.
E(t) =
g dx +
f dx +
2 0
2 0
0
0
En el caso de la membrana vibrante, si suponemos que = [a, b] [c, d]
> 0 y que, por tanto, el
(un rectngulo), que la densidad C(),
movimiento u = u(x, y, t) satisface el problema:
T0
140
2
0 < x < l, t > 0
(4.50)
ut (x, 0) = g(x).
Como sabemos basta con calcular la solucin que corresponde a f = g = 0.
En este caso procedamos como sigue. Suponemos que F y F/u son
continuas en t 0 y, para cada 0 llamamos w(x, t, ) a la solucin
(nica) del problema:
utt = c2 uxx
u(x, ) = 0
ut (x, ) = F (x, ).
Prebese entonces que
u(x, t) =
w(x, t, ) d,
0
x Rn .
4.9. EJERCICIOS
141
u =
(4.52)
u (, ) u (, ) = c1 g().
Introduciendo (u, v, w) = (u, u , u ) prubese que (4.52) es equivalente al
sistema de primer orden,
u = w
1
F (, , u, v, w)
4c2
1
w = 2 F (, , u, v, w),
4c
v =
(4.53)
2 (f
+ 1c g), w|B =
u = f ()
w(, s) ds
v=
1
1
1
(f () + g()) + 2
2
c
4c
1
1
1
w = (f () g()) 2
2
c
4c
F (, s, u, v, w) ds
(4.54)
F (s, , u, v, w) ds.
142
u(0, t) = u(l, t) = 0
t > 0,
x R2 , t R
ut (x, 0) = g(x)
con f C 3 , g C 2 es
u = tMg (x, ct) +
1 (xy),
2
4.9. EJERCICIOS
143
1
Mh (x, r) =
h(y) dSy ,
n rn1 |yx|=r
n el rea de la esfera unidad en Rn .
31. Aplquese el mtodo del descenso de Hadamard para probar que la solucin
del problema de Cauchy bidimensional,
x R2 , t R
utt = c2 u
u(x, 0) = f (x)
ut (x, 0) = g(x)
es
1
u=
2c
g(y)
+
2
2
2
t
c t |x y|
1
2c
f (y)
.
c2 t2 |x y|2
(4.55)
Tomar como punto de partida la solucin general del problema de Cauchy
en el caso tridimensional.
Bct (x)
Bct (x)
k1
cj rj+1 (j) ,
j=0
144
34. Sea M = M (r, t) una solucin clsica de la ecuacin de Euler-DarbouxPoisson. Defnase (supuesta M sucientemente regular)
v(r, t) = Lk (r )M (r, t),
donde Lk (r ) es el operador diferencial del Ejercicio 33. Demustrese que
v = v(r, t) es una solucin de la ecuacin de ondas unidimesional,
vtt = c2 vrr ,
siempre que n = 2k + 1 (comprese con el caso tridimensional).
35. Sea u = u(x, t) C 2 (Rn R) la solucin del problema de Cauchy,
utt = c2 u
x Rn , t R
(4.56)
u(x, 0) = f (x)
ut (x, 0) = g(x) ,
}
1{
1
(ct + r) (ct r) +
2
2c
ct+r
(s) ds .
(4.57)
ctr
( 1 )(n3)/2 tn2
1
=
g(x + cty) dSy
(n 2)!! t t
n |y|=1
{
(
)}
1
( 1 )(n3)/2 tn2
+
f (x + cty) dSy
(n 2)!! t
t t
n |y|=1
(4.58)
Nota. En (4.58) las actuaciones del operador Lk (t ) se entienden sobre
las funciones compuestas de t, Mg (x, ct) y Mf (x, ct). Asimismo en (4.58)
se hace necesario suponer que f y g son sucientemente regulares: f
C (n+3)/2 , g C (n+1)/2 .
u(x, t) =
4.9. EJERCICIOS
145
37. Aplquese el mtodo del descenso para establecer, partiendo de (4.58), que
si n = 2 la solucin del problema de Cauchy (4.56) adopta la forma,
(
)
( 1 )(n2)/2
2
g(y)
u = n1
dy+
c
n+1 (n 1)!! t t
c2 t2 |x y|2
Bct (x)
2
n1
c
n+1 (n 1)!! t
)
}
{
(
( 1 )(n2)/2
f (y)
dy .
t t
c2 t2 |x y|2
Bct (x)
g(x) = G(w x) ,
n
donde w Rn , |w| = 1, w x =
i=1 wi xi . Prubese entonces que la
solucin del problema (4.56) tiene la forma siguiente:
u(x, t) =
1
1
(F (w x + ct) + F (w x ct)) +
2
2c
wx+ct
g(s) ds .
wxct
146
Captulo 5
Nos ocuparemos en primer lugar del estudio del problema de valor inicial:
{
ut = uxx
xR t>0
(5.1)
u(x, 0) = f (x)
x R.
Las consideraciones de similaridad que siguen llevan al candidato a solucin
de (5.1).
Primeramente obsrvese que si u(x, t) resuelve,
ut = uxx ,
(5.2)
entonces,
v = u(x + y, t + ),
es tambin solucin cualesquiera que sean y, R.
Anlogamente,
v = u( x, t)
> 0,
(5.3)
> 0.
(5.5)
u( x, t) = u(x, t)
1 Ms tarde se comprobar que salvo restricciones en la clase de las soluciones a tratar,
(5.1) carece de la propiedad de unicidad de soluciones clsicas.
147
148
+ = 0,
2
bajo las condiciones,
lm () = 0
lm () = 1.
s4
1
ds =
es ds =
2
/2
obtenemos,
ez dz,
2
alternativamente,
() =
1 1
+ Erf ( ),
2 2
2
ez dz.
2
x/ 4t
ez dz.
2
149
(xa)/ 4t
(xb)/ 4t
ez dz.
2
f (
yi )Ii (x),
i=1
i=1
n
i=1
i=1
f (
yi )uIi (x, t)
f (
y)
i
(xyi1 )/ 4t
(xyi )/ 4t
ez dz
2
2
1
f (
yi )e(xyi ) /4t h,
4t
i=1
2
1
f (
yi )e(xyi ) /4t h,
4t
2
1
u(x, t) =
e(xy) /4t f (y) dy.
4t R
(5.6)
(5.7)
e|xy|
/4t
f (y) dy.
(5.9)
150
Ejercicio 5.2. Si u1 (x1 , t), . . . , un (xn , t) son soluciones de (5.2) verfquese que
u(x, t) = u1 (x1 , t) . . . un (xn , t)
es solucin de ut = u.
Conviene jar las notaciones:
Cbk (Rn ) = {f C k (Rn ) : sup | f (x)| < || k},
C k,k/2 (Rn R+ ) = {u C(Rn R+ ) : x tj u C(Rn R+ ) || + 2j k}.
Teorema 5.2. Para f Cb (Rn ) representemos por
2
1
u = Kf (x, t) =
e|xy| /4t f (y) dy.
n
( 4t) R
Entonces
1. u C (Rn R+ ) C(Rn [0, +)) dene una solucin clsica de (5.8),
es decir,
lm
u(x, t) = f (x0 ).
(x,t)(x0 ,0)
u(x, t) dx =
f (x) dx
t > 0.
Rn
Rn
x Rn , t > 0.
k,k/2
2
K(x, y, t) = ( 4t)n e|xy| /(4t)
al ncleo del calor. Fijemos (x0 , t0 ), t0 > 0 y > 0 pequeo. Para todo , j se
tiene,
2
1
x tj K(x, y, t) = P ( , x y)e|xy| /(4t)
t
donde P = P (, z) es un cierto polinomio,
P (, z) =
ar, r z .
r,
|ar, |
r,
151
2
1
|x y||| e|xy| /(4t) .
r
t
Cuando |t t0 |, |x x0 | , tenemos,
r,
(||)
1
1
||
|ar, |
(|x0 | + )||s |y|s .
|ar, | r |x y|
t
(t0 )r
s
r,
s||
Por otro lado, para todo < 1, 1, existe > 0 tal que,
|y x|2 |y|2 2(|x0 | + )|y| |y|2
y Rn .
Por lo tanto,
e|xy|
/(4t)
/(4(t0 +))
2
|x tj K(x, y, t)||f (y)| dy
Q(|y|)e|y| /(4(t0 +)) dy < .
Rn
(5.10)
Rn
|f (x)| M ea|x| ,
(5.11)
u(x, t) = f (x0 ),
(5.12)
2
1
2
2
M
1n
e(4ta1)|z| +2a 4t|z|+|x| dz
( ) ||/(2 4t)
2
2
1
M1 e(|x0 |+/2)
n
e 2 |z| +|z| dz 0,
( )
||/(2 4t)
cuando t 0+.
152
Observacin 5.2. Es inmediato comprobar que si en (5.8), f tiene soporte compacto, f 0, por ejemplo (f = 0) entonces u = Kf (x, t) > 0, para todo x en
t > 0. Comprobaremos que lo mismo ocurre cuando tratamos con problemas de
contorno (donde hay unicidad). Esto signica que las perturbaciones iniciales se
propagan con velocidad innita.
Ejercicio 5.3. Prubese la estimacin:
( n )n/2
1
|K(x, y, t)|
.
2e
|x y|n
5.2.
El problema perturbado
Si consideramos el problema,
{
ut = u + F (x, t)
u(x, 0) = 0
x Rn t > 0
x Rn ,
(5.13)
2
1
u(x, t) =
e|xy| /(4(t )) F (y, ) dyd.
(5.14)
n
0 (4(t ))
Rn
Justicar que (5.14) es una solucin clsica de (5.13) es ms delicado y requiere
cierta regularidad de F en x. La demostracin del siguiente teorema se omite
(cf. [16]).
Teorema 5.3. Sean F, x F C(Rn [0, )) L (Rn [0, )). Entonces
(5.14) dene una solucin del problema (5.13).
Observacin 5.3. Sobre la existencia de las derivadas parciales hasta el orden
2 vase el Ejemplo 9.13 del Captulo 9. La derivabilidad de F en x se puede
relajar a continuidad Hlderiana. Sin embargo, la solucin puede no existir si F
es meramente continua (vase [16]).
5.3.
No unicidad de soluciones
(5.15)
admite una una solucin no trivial. La construccin que describimos a continuacin se debe a Tychono ([11]). Ver [27] para otra clase de ejemplos. Buscamos
una solucin de
(x, t) R2
uxx = ut
u(0, t) = g(t) t R
ux (0, t) = 0
t R,
153
gj (t)xj .
j=0
1
g (m) (t)x2m .
(2m)!
m=0
(5.16)
k! 1 t
e 2
(t)k
t > 0,
1 ( |x|2 )m
|x|2
1
1
1
(m)
2m
|g (t)||x|
e 2 t e t 2 t , (5.17)
(2m)!
m!
t
m=0
m=0
para t > 0. La estimacin (5.17) dice que la serie en (5.16) converge uniformemente sobre compactos de t > 0 y que dicha serie converge uniformemente a
cero para x en compactos cuando t 0+ (u es trivialmente 0 en t 0).
Apelando a los clculos hechos en el Captulo 3, la serie (5.16) puede ser
derivada trmino a trmino innitas veces con respecto a x de forma que el
resultado converge uniformemente en (x, t) , para |x| M y todo t R. Eso se
debe a que:
|M |2
1
1
|g (m) (t)||x|2m e t 2 t K < ,
(2m)!
m=0
para |x| M , t > 0. En efecto obtenemos la estimacin uniforme de los coecientes de la serie,
1
K
|g (m) (t)| 2m .
(2m)!
M
De aqu, las derivadas de la serie en x convergen uniformemente en (x, t) siempre
que x est acotado. Al derivar (5.16) trmino a trmino j veces con respecto a
t uno descubre que el resultado es la serie de x2j u. Como sta converge uniformemente en (x, t) resulta que:
tj u = x2j u.
Por la misma razn tj x u = x2j+ u con lo que u C (R2 ), dene una solucin
no trivial de (5.15) que se anula en t 0.
154
5.4.
La solucin de Poisson,
1
u = Kf (x, t) =
( 4t)n
e|xy|
/(4t)
f (y) dy,
Rn
(xi yi )2 ,
i=1
ne
( 4( + 2 1 )
(
)n/4
2
2
= 1+ 2
e|| /4 K( + 1 , y, + 2 1 ).
5.5.
ut = u + F (x, t)
u(x, 0) = f (x)
Bu = (x, t)
donde en este caso Bu = u (Dirichlet), Bu =
x , t > 0
x
x , t > 0,
155
(5.18)
u
u
(Neumann), Bu =
+b(x, t)u
(Robin, b 0).
El siguiente resultado admite la correspondiente contrapartida unidimensional (donde es posible introducir condiciones mixtas). Debe resaltarse la regularidad que se impone a las soluciones.
Teorema 5.4. Sea Rn un dominio acotado y C 1 de Rn . Entonces el
problema de valor inicial y de contorno (5.18) admite a lo ms una solucin
clsica u C 2 ( [0, T )).
Demostracin. Basta con estudiar el comportamiento de la integral,
u2 (x, t) dx .
(5.19)
admite una solucin clsica u siempre que f sea mnimamente regular. Basta
extender f de forma impar y 2 peridica f a R y despus aplicar la frmula
de Poisson:
+
(xy)2
1
u
=
e 4t f(y) dy.
4t
Si f C[0, ], la restriccin de u
a 0 < x < l dene una solucin C en t > 0 de
forma que u f cuando t 0+ en uniformemente sobre compactos de (0, l).
En realidad, u
est denida en R (0, +). Las condiciones de compatibilidad
f (0) = f (l) = 0 implican que u es una solucin clsica que ajusta uniformemente
con el dato f cuando t 0+. En el caso Neumann,
156
5.6.
Teorema 5.5 (Principio del mximo dbil). Sea u C 2,1 (QT )C(QT ) tal que:
Lu 0
en QT . Entonces,
sup u sup .
QT
para (x, t) QT
uv
en cada (x, t) T .
Entonces:
uv
(x, t) QT .
ut = u + F (x, t) x , t > 0
u(x, 0) = f (x)
x
u(x, t) = (x, t)
x , t > 0,
admite a lo ms una solucin clsica u C 2,1 (QT ) C(QT ).
Observacin 5.5. Ntese que se ha mejorado, para el problema de Dirichlet, la
regularidad exigida a las soluciones a los efectos de la unicidad.
El principio dbil del mximo puede renarse al extremo de que una solucin clsica u de Lu = 0 en QT slo puede tomar los extremos en la frontera
parablica, salvo que sea constante (cf. [18]). En las propiedades que siguen
E Rn R designa un dominio mientras Lu = ut u.
Teorema 5.7 (Principio Fuerte del Mximo). Sea u C 2 (E) tal que:
Lu 0
(x, t) E,
157
i=1
en E,
158
siempre que u < M cerca de P , que dicha derivada exista y que sea una
direccin exterior no paralela al eje t. La segunda condicin puede relajarse
reemplazando la derivada por una derivada inferior de Dini.
Es conveniente precisar con detalle tal resultado.
Teorema 5.11. Sea L un operador en las condiciones de la Observacin 5.6b)
mientras P E es un punto donde:
1. Existe una bola B E tal que P B (una bola interior a E tangente a
E en P ).
2. u < M en B, donde M = u(P ), M 0.
Entonces, para toda direccin exterior al dominio E en P se tiene:
u
(P ) > 0,
si es que tal derivada existe (la derivada puede reemplazarse por una derivada
de Dini adecuada).
Un corolario inmediato del principio fuerte del mximo es el llamado principio de comparacin fuerte (problema de Dirichlet).
Teorema 5.12 (Principio de comparacin fuerte). Sea Rn un dominio
acotado, T > 0, u, v C 2,1 (QT ) C(QT ) tales que:
Lu Lv
en QT ,
junto con,
uv
sobre T .
159
Teorema 5.13. Sea f C[0, l] tal que f (0) = f (l) = 0. Entonces el problema de
Dirichlet para la ecuacin del calor ut = uxx admite una nica solucin clsica
u C 2,1 ((0, l) (0, +)) C([0, l] [0, +)). Si adems f 0 entonces o bien
u 0 o bien u > 0 en (0, l) (0, +).
El siguiente resultado es un principio de comparacin para todas las condiciones de contorno B consideradas al principio de la seccin.
Teorema 5.14 (Principio general de comparacin). Sea Rn un dominio
acotado y C 2 de Rn mientras u, v C 2,1 (QT {t = T }) C 1,0 (QT ) satisfacen:
Lu Lv
uv
Bu Bv
en QT
en t = 0
en (x, t) (0, T ].
Entonces u v en QT .
Demostracin. El caso Dirichlet ya se ha tratado. Consideremos los otros dos
problemas de contorno. Si
w = u v,
todo consiste en probar que M = sup w 0. Caso contrario M > 0 y tendramos
u(Pm ) = M,
slo en algn Pm T . En efecto u(P1 ) = M con P1 QT {t = T } lleva a
u = M en QT que no es posible.
Caben dos opciones. Primero que en el operador de contorno,
Bu =
u
+ bu,
tengamos b(x, t) > 0 en cada (x, t) T con t > 0. En ese supuesto se tiene:
w
(Pm ) b(Pm )u(Pm ) = b(Pm )M < 0,
160
obteniendo,
(
)
vt v + 21 v + + 1 v
v0
v + ( + b)v 0
(x, t) QT {t = T }
x , t = 0
x .
+ 1 > 0 en QT .
R
d(x) = dist (x),
que es tan regular como , en este caso C 2 . Ver [13], Captulo XIV, para una
discusin detallada de la funcin distancia d en trminos de la geometra de la
frontera.
b) El teorema de comparacin proporciona la unicidad para condiciones de contorno generales y menos regularidad, a saber: u C 2,1 (QT {T })C 1,0 (QT ).
Ejercicio 5.5. En las condiciones de regularidad del teorema de comparacin
sea u una solucin clsica del problema:
ut = u
u=f
Bu = 0
x , t > 0
t=0
x .
Demustrese que:
|u(x, t)| sup |f |.
5.7.
El siguiente teorema seala una clase de funciones en la que es posible garantizar la unicidad de soluciones para el problema de Cauchy.
161
x Rn , 0 < t < T
x Rn ,
u(x, t) M ea|x| .
Entonces,
u(x, t) sup f .
Una consecuencia del teorema es la siguiente propiedad de unicidad. Si u1 ,
u2 son soluciones del problema de valor inicial
x Rn , 0 < t < T
ut = u
x Rn ,
u(x, 0) = f (x)
(5.21)
(5.22)
1
e|xy| /4(T t) ,
(4(T t))n/2
( > 0).
w(x, t) M ea(|y|+R)
eR /4T .
(4T )n/2
1
4T
162
y como y es arbitrario conseguimos la tesis. Si, por contra, 1/4a T , fraccionamos el intervalo de tiempo en un nmero nito de intervalos de extremos
0 < T1 < TN 1 < T y longitud menor que 1/4a donde aplicamos el teorema
anterior. Esto concluye la prueba.
Observacin 5.8. Un resultado ms dbil que el teorema previo pero igualmente
ecaz para probar la unicidad de soluciones clsicas u bajo la condicin de
crecimiento (5.22) es el siguiente. Supngase que Lu 0 mientras u 0 en
t = 0. Vamos a probar que u 0 en 0 t T .
Consideramos la solucin especial,
v(x, t) =
2
1
eA|x| /(14At) ,
(1 4At)n/2
M eaR
2
M (R)
eAR /(14At) ,
n/2
(1 4At)
2
basta con elegir M (R) = M e(aA)R y suponer que T < 1/4A o bien A < 1/4T .
Con esta eleccin tendremos w 0 en Q. Para (x0 , t0 ) jo y R grande
tenemos:
2
M (R)
u(x0 , t0 )
eA|x0 | /(14At0 ) .
(1 4At0 )n/2
Si elegimos A de forma que a < A < 1/4T resultar que el segundo miembro de
la desigualdad se anula cuando R +. Luego u(x0 , t0 ) 0. Es decir u 0.
Sin embargo se ha supuesto que a < 1/4T . Si ste no fuera el caso se procede
como en la ltima demostracin y volvemos a concluir que u 0.
Ejercicio 5.6. Sin apelar a los resultados expuestos prubese directamente que
el problema:
ut = u + F (x, t)
u(x, 0) = f (x),
admite a lo ms una solucin clsica u C 2,1 ({0 < t < T }) C({0 t T })
y acotada.
Indicacin. Usar la funcin auxiliar ([17]),
v(x, t) = M
(
)
|x|2
2t +
.
n
5.8.
163
u(x, t) =
K(x, y, t)f (y) dy.
(5.24)
R
0 v(x, t) :=
K(x, y, t)f (y) dy u(x, t).
R
Aunque las derivadas wx , wxx pudieran diverger o no existir en t = 0 se demuestra (cf. [11]) que W es una solucin clsica de (5.23) con dato f = 0. La
tesis del teorema se deduce de que W = 0.
164
5.9.
Ejercicios
|xy|2
1
4t
u(x, t) = K(f )(x, t) =
f (y) dy,
e
(4t)n/2 Rn
1
1
dene una solucin en C 2 (Rn (0, 4a
)) C(Rn [0, 4a
)) del problema de
Cauchy:
1
ut = u x Rn , 0 < t <
4a
u(x, 0) = f (x) x Rn .
3. Sea un dominio acotado de R3 y supongamos que est aislado trmicamente y posee una fuente calorca con densidad f (x), x = (x1 , x2 , x3 ).
La evolucin de la temperatura u(x, t) vendr dada por la solucin del
problema:
u
= u f (x), x , t > 0,
t
u(x, 0) = u0 (x), x ,
u
= 0, x ,
(5.25)
5.9. EJERCICIOS
165
f dx = 0.
ux (0, t) = ux (l, t) = 0, t 0,
son C 2 en [0, l] y t 0. Demustrese que la temperatura u(x, t) se estabiliza en media cuadrtica en torno al valor T0 , es decir:
t+
(u(x, t) T0 )2 dx = 0.
lm
Cuntas soluciones estacionarias admite el problema? Cuntas soluciones homogneas (e. d., no dependientes de x) admite el problema?
6. Estdiese la forma genrica de las soluciones de la ecuacin del calor:
ut = uxx ,
x R,
n0
vn (x, t)
zn
.
n!
166
[n/2] k
k=0
t xn2k
,
k! (n 2k)!
v2n (0, t) =
2n! n
t ,
n!
v2n+1 (0, t) = 0.
u(x, 0) = e|x| ,
x Rn ,
|xy|2
1
e 4t f (y) dy,
u(x, t) = K(f )(x, t) =
n/2
(4t)
Rn
es tambin radialmente simtrica con respecto a x.
5.9. EJERCICIOS
167
14. Sea f (x) Cbk (Rn ), Cbk (Rn ) = {f : Rn R/ f (x) Cb (Rn )para ||
k}. Prubese que si u(x, t) = K(f )(x, t) entonces x tj u Cb (Rn [0, +)
siempre que 2j + || k.
x2
1
15. (Transformacin de Apell). Sea K(x, t) = 4t
e 4t el ncleo del calor en
una dimensin. Demestrese que si u(x, t), x R, t R es una solucin
de la ecuacin del calor ut = uxx entonces:
x 1
v(x, t) = K(x, t)u( , ), t > 0,
t
t
es tambin una solucin de dicha ecuacin para t > 0.
16. Sea > 0 un nmero real positivo y designemos por g : R R la funcin
denida por:
g(t) = exp (t ),
para t > 0,
g(t) = 0,
si t 0.
k!
1
exp ( t ),
(t)k
2
k!
g()
g (k) (t) =
d,
2i ( t)k+1
Donde, para t > 0, es la circunferencia de centro t y radio r = t
eligindose 0 < < 1 de forma que (z ) > 12 t para todo z .
17. (Decaimiento de la Energa en la Ecuacin del Calor). Sean ui (x, t)
C 2,1 ([0, l] [0, +)), i = 1, 2 soluciones del problema de Dirichlet:
ut = uxx 0 < x < l, t > 0
u(x, 0) = f (x) 0 x l
u(0, t) = (t),
u(l, t) = (t).
es no creciente para t 0.
18. Sean a(x, t), b(x, t) L (QT ), a(x, t) k > 0 en QT , L u = ut
a(x, t)uxx + b(x, t)ux . Si u C 2,1 (QT {t = T }) satisface Lu 0 en
QT {t = T } prubese que
sup u sup u .
QT
168
19. Sea L el operador del problema 13 y sea E R2 un dominio del plano x-t
en donde u C 2,1 (E) cumple Lu 0, mientras u M para una cierta
constante M .
E es una bola donde u < M en B mientras u(P ) = M
a) Si B B
para algn P B. Demostrar que P = (x0 , t0 ) es tal que t0 toma
el valor mximo o el valor mnimo posible en B.
b) Si P = (x1 , t1 ) E es tal que u < M en una componente conexa C
de E {t0 < t < t1 } tal que P C prubese que u(P ) < M
20. Demostrar el principio fuerte del mximo para el operador L en las condiciones del problema 13. Demustrese asimismo el principio del mximo
de Hopf para dicho operador.
21. Sean bi (x) L (),
n 1 i n y considrese el operador parablico:
Lu = ut u + i=1 bi (x)i u en un dominio E Rn R del espacio
x-t. Demustrense los principios dbil y fuerte del mximo para dicho
operador. Prubese tambin el principio del mximo de Hopf.
22. Sean aij (x), bi (x) L (), Rn un dominio acotado, aij = aji de
forma que el operador
Lu =
aij ij u +
i,j=1
bi (x)i u ,
i=1
para cada Rn .
(5.26)
i,j=1
Supngase adems que o bien los aij son continuos (con lo que (x) ser
continua) o bien que (x) (K) > 0 sobre cada compacto K .
cumple Lu 0 en entonces
Demustrese que si u C 2 () C()
sup u sup u.
Indicacin. Para > 0 razonar en = {x : d(x, ) > } introduciendo u = v , > 0 pequeo, 0, = exp{|x x0 |2 } con
> 0, x0 . Para > 0 sucientemente grande es posible conseguir que
L() < 0 en . Uno concluye as que sup u sup u. Para obtener
sup u sup u basta con hacer 0+ (haciendo las comprobaciones
pertinentes).
23. Supongamos que el operador L del problema anterior es fuertemente elptico en el sentido de que la funcin (x) en (5.26) satisface la siguiente
condicin de positividad fuerte:
(x) 0 > 0
x .
5.9. EJERCICIOS
169
(5.27)
170
t < 1 x ,
t < 2 x},
5.9. EJERCICIOS
171
x R,
172
Captulo 6
Series de Fourier
6.1.
(6.1)
n=1
Como se espera o desea que (6.1) se satisfaga puntualmente es natural que supongamos siempre que f es 2-peridica. Usaremos C k (T ), L2 (T ) para representar a las funciones 2-peridicas que son C k o que pertenecen a L2 (, ).
Que (6.1) sea verosmil requiere resolver primero una cuestin fundamental:
la determinacin de los coecientes en trminos de f . Las identidades:
sen nx sen mx dx = nm
cos nx cos mx dx = nm
sen nx cos mx dx = 0,
1
an =
f (x) cos nx dx
1
bn =
f (x) sen nx dx.
173
174
La forma de calcular los coecientes tiene mucho que ver con el cmputo de las
coordenadas de un vector x en un espacio eucldeo (E, , ) de dimensin N
con respecto a una base ortonormal {e1 , . . . , eN }. En efecto:
N
x=
x n en ,
n=1
f, g =
f (x)g(x) dx,
6.2.
Espacios de Hilbert
x, x.
175
si y slo si
x, y = 0
|x + y| + |x y| = 2|x| + 2|y|
1
x, y = {|x + y|2 |x y|2 }
4
1
x, y = {|ix y|2 |ix + y|2 },
4
2
(z, z las partes real e imaginaria de z C). Otra consecuencia de las propiedades del producto escalar es la desigualdad de Cauchy-Schwarz:
|x, y| |x||y|,
(6.2)
l2 = {{xn } :
|xn |2 < +},
donde
las {xn } pueden
ser reales o complejas. En este caso {xn }, {yn } =
|u|2 es integrable-Lebesgue}.
f, g =
f (x)g(x) dx
resp.
f (x)g(x) dx .
176
Proposicin
6.1. Si H es un espacio de Hilbert, entonces una serie
la que
|xn | converge es tambin convergente y:
|
xn |
|xn |.
xn para
x, y =
xn , y =
xn , y,
para cada y H.
Nuestro objetivo ms inmediato es dar sentido a la serie de Fourier de una
funcin 2-peridica f . Un primer resultado en esta direccin es el siguiente.
Teorema 6.2 (Teorema de la proyeccin). Sea H un espacio de Hilbert, M H
un subespacio cerrado, M = H. Entonces, para cada x H existe un nico
y M tal que:
|x y| = dist (x, M ).
(6.3)
Adems
1. x y M donde M = {z : y1 M , z, y1 = 0}
2. La aplicacin : H H que a x y := (x) es lineal y continua con
= 1.
Demostracin. Cualquier y que resuelva el problema (A) de la mejor aproximacin cumple x y M . En efecto, para y1 M se tiene:
|x y|2 |x y + ty1 |2 = |x y|2 + t2 |y1 |2 + 2x y, y1 t,
es decir (hemos supuesto el espacio real para simplicar):
0 t2 |y1 |2 + 2x y, y1 t,
para todo t R. Por tanto x y, y1 = 0.
En particular, la solucin del problema de aproximacin es nica. Para otra
solucin y M se tendra:
y y = y x + x y M ,
que lleva a y y = 0.
Para la existencia de y sea d = dist (x, M ) > 0. Existe {yn } M con
|x yn | d. De la identidad del paralelogramo se tiene:
4|x
yn + ym 2
| + |yn ym |2 = 2|x yn |2 + 2|x ym |2 .
2
Por ello,
|yn ym |2 2(|x yn |2 d2 ) + 2(|x ym |2 d2 ) 0
177
xi ei |2 |x
i=1
x i ei | 2 + |
i=1
= |x
i=1
x i ei | 2 +
i=1
= |x
(xi yi )ei |2
|xi yi |2
i=1
y i ei | 2 .
i=1
La diferencia entre
ltimo y el primer trmino de la cadena de desigualdades
el
N
es precisamente: i=1 |xi yi |2 . Se hace mnimo (mtodo de los mnimos cuadrados) para la eleccin xi = yi . Obsrvese que x(x) es obviamente ortogonal
a M y por eso se tiene:
|(x)|2 =
i=1
178
Proposicin 6.4 (Desigualdad de Bessel). Sea {ei }iI H una familia ortonormal, es decir, ei , ej = 0 si i = j, |ei | = 1 para cada i. Entonces, para cada
x H la familia:
x
=
x i ei =
x, ei ei ,
iI
iI
es sumable en H. x
se llama la serie de Fourier de x y xi es el i-simo coeciente
de Fourier de x con respecto a dicha familia. Adems:
|
x|2 =
|xi |2 |x|2 .
(6.4)
iI
con SJ =
iJ
xi ei . Se deduce de ahque:
|xi |2 |x|2 .
iI
Como:
|SJ |2 =
|xi |2 ,
iJ
|
x|2 =
|xi |2 .
2
iI
Probaremos a continuacin que el subespacio generado por una familia ortonormal {ei }iI coincide con el de todas las series de Fourier de los elementos
x H con respecto a dicha familia.
Proposicin 6.5. Sea {ei }iI una familia ortonormal en H y M el subespacio
generado por la familia, es decir,
M = span{{ei }iI }.
Entonces,
M ={
xi ei :
|xi |2 < +}.
iI
iI
(6.5)
179
(x) = x
=
x, ei ei .
iI
(n)
iJn
xi ei . Pongamos x
n =
iJn x, ei ei .
Se
|x x
n |2 = |(x x
) + (
xx
n )|2 = |x x
|2 + |
xx
n |2 |x x
|2 ,
puesto que x x
M . Ahora, ya sabemos que:
|x x
n |2 |x SJn |2 .
Eso quiere decir que |x x
| = 0.
Observacin 6.2. Sea {ei }iI ortonormal y M como en la proposicin. Para
x H, x
M su serie de Fourier en {ei }iI . Nos preguntamos a cuntos otros
x les corresponde la misma serie de Fourier x
que a x. Obviamente el conjunto
de tales xs es:
x + M .
Los elementos de H vendrn caracterizados por su serie de Fourier slo cuando
M = {0}, es decir M = H. En este caso especial se tiene la siguiente denicin.
Denicin 6.6. Un sistema ortonormal {ei }iI se dice completo en H, tambin
una base de Hilbert para H, si M = H.
Proposicin 6.7. Un sistema ortonormal {ei }iI es completo si, para x arbitrario en H, de la propiedad:
i I
x, ei = 0,
se sigue:
x = 0.
6.3.
180
n=1
Adems,
|f|22 = {2a20 +
a2n + b2n }.
n=1
entonces,
f, g2 = {2a0 0 +
an n + bn n }.
f(x) dx = a0 (x a) +
a
n=1
an
bn
(cos nx cos na) +
(sen nx sen na).
n
n
an cos nx + bn sen nx
(uniformemente),
n=1
f =
(en L2 ).
n=1
n=1
g = 0 +
181
n=1
a2n + b2n },
an n + bn n }.
Demostracin. Por la accin combinada de los teoremas de Lusin (vase la Seccin 6.8) y Weierstrass tenemos que
f = lm fn
(L2 ),
p( )
(x + )
x +
+ < x <
p (x) = p(x)
p( )
( x)
x ,
|f fn |2 ,
2
para cierto n . Asmismo,
(n )
|fn SN |2
,
2
para N N .
Si SN designa la suma parcial N -sima de la serie de Fourier de f se tiene,
(n )
(n )
|f SN |2 |f SN |2 |f fn |2 + |fn SN |2 ,
para N N , lo que prueba la parte principal del teorema.
6.4.
El primer resultado se debe esencialmente a Riemann y es bsico para presentar una de sus contribuciones ms importantes a la teora: que la convergencia
de la serie de Fourier en un punto slo depende de la estructura local de la
funcin en dicho punto.
182
c. t. x (, ),
donde fA = {|f (x)|>A} f . En efecto, el lmite falla en los puntos donde |f | toma
el valor +, que es de medida cero:
|{|f (x)| > A}|
|f |1
A
A > 0.
1
an | =
(fA (x) f (x)) cos nx dx
1
|f | 0,
=
{|f (x)|>A}
1
f (t){ +
cos n(x t)} dt.
2
Se tiene:
1
sen N +
N
1
2
+
cos ny =
1
2
1
2 sen y
2
En efecto si S es el primer miembro,
(
)
y
.
y)
1
y
1
1
1
1
sen
S = sen +
sen(n + ) sen(n ) = sen(N + ).
2
2
2
2
2
2
2
1
N
183
2
cuando y 0.
3. Se tiene que:
DN (y) dy = 1.
=
DN (t x)f (t) dt
=
=
DN (z)f (x + z) dz
DN (z)f (z + x) dz.
(6.7)
n=1
184
Observaciones 6.4. Observaciones Cualquiera de las siguientes condiciones implican la validez de (6.7) en x = x0 :
1. f Hlder continua en x = x0 de exponente 0 < < 1:
|f (x) f (x0 )| C|x x0 | ,
para x x0 , C > 0.
2. f Lipschitz continua en x = x0
|f (x) f (x0 )| L|x x0 |,
para x x0 , L > 0.
3. f es derivable en x = x0 .
Las tres condiciones implican tambin la continuidad de f en x = x0 . Sin
embargo no es cierto que la sola continuidad de f en x = x0 garantiza la
convergencia de la serie de Fourier de f a f (x0 ) en x = x0 (ver el contraejemplo
unas lneas ms abajo). Por otra parte, ntese que la Lipschtzianidad de f en
x = x0 es equivalente a la nitud de los cuatro nmeros de Dini: D f (x0 ),
donde, por ejemplo,
D+ f (x0 ) = lim
xx0 +
f (x) f (x0 )
.
x x0
f (z + x0 ) f (x0 )
1
z
sen(N + )z dz 0,
=
z
2
sen(z/2)
cuando N en virtud del lema de Riemann-Lebesge.
Una consecuencia de la demostracin es lo que se conoce como el principio
de localizacin de Riemann que viene a asegurar que la convergencia de la serie
de Fourier en x = x0 es una propiedad local.
Proposicin 6.14. Si f L1 (T ) y existe > 0 tal que f = 0 c. t. x
(x0 , x0 + ) entonces:
a0 +
n=1
Para aplicar los resultados sobre series de Fourier, por ejemplo a funciones
continuas f en [, ], se extiende primero f como una funcin 2-peridica a
R (v.g. f (x) = ex ). Es entonces natural que aparezcan discontinuidades en la
extensin (si f () = f ()). El siguiente resultado, debido a Dirichlet, tiene
que ver con ese tipo de situaciones.
185
f (x0 + t) f (x0 +)
{t > 0},
t
(6.8)
f (x0 ) + f (x0 +)
= a0 +
an cos nx0 + bn sen nx0 .
2
n=1
6.5.
1
1
, . . . , 1, 1, . . . ,
},
2n 1
2n 1
cos(r + n + 1)x
cos(r + n + )x
=
.
2
1
2 1
=1
=1
La familia (n, r, ) est uniformemente acotada. En efecto,
1 sen( 12 )x
(n, r, x) = 2 sen(r + n + )x
2 =1 2 1
{ 2n
}
n
sen( )x 1
1
sen
x
2
= 2 sen(r + n + )x
,
2
=1
=1
sen kx
1
se mantienen acotadas.
186
Basta escribir:
x
SN (x) =
(cos t + + cos nt) dt
0
(N +1/2)x
=
0
sen u
du +
u
1
1
t
t
2 sen 2
1
x
sen(n + )t dt ,
2
2
n = 0.
e
n G
n
n cos nx.
(6.9)
n=1
Se observa que:
n cos nx =
e
n G
n
1
(n , 21 + 2n1 , x)
n2
187
n ,
n=1
entonces la subsucesin:
s21 ++2n1 +n
1
= 2
n
{
}
1
1
log n
1 + + +
,
3
2n 1
2n2
2
n
cuando n . Si elegimos n adecuadamente,
v. g. n = n es claro que tal
subsucesin diverge como log n y la serie n=1 n diverge.
Observaciones 6.5.
a) Usando el principio de acotacin uniforme se puede probar (cf. [19], Captulo
5) la existencia un subconjunto denso E C(T ) de forma que la serie de Fourier
de cada f E diverge sobre un conjunto denso en [, ].
b) Carleson prob en 1966 que la serie de Fourier de cada f L2 (T ) converge a
f , c. t. x (, ). Eso dice que el conjunto de divergencia de las funciones
f E de a) debe ser necesariamente de medida cero.
6.6.
Convergencia uniforme
an cos nx + bn sen nx
n=1
f =
n=1
f =
n=1
En particular:
1
|f |1 ,
n2
que prueba la convergencia absoluta y uniforme de la serie de Fourier.
Supongamos ms sencillamente que f C 1 (T ). Una integracin por partes
establece que:
an = nbn
bn = nan ,
|an |, |bn |
188
por lo que
n=1
M
M
1
}{
n2 a2n + n2 b2n },
n2
n=N
n=N
f (x) cos nx dx =
ai
f (x) cos nx dx =
ai1
ai
=n
{f sen nx|ai1
lm {
0+
ai
ai1 +
ai
ai1
= n
g(x) sen nx dx = n
f (x) cos nx dx,
f = a0 +
an cos nx + bn sen nx,
n=1
uniformemente. Ms an,
v
v
u M
u M
u
1u
t
sup |SM (x) SN (x)| 2t
n2 a2n + n2 b2n .
2
n
[,]
n=N
Observaciones 6.6.
n=N
189
2 t
1u
t
2 {
sup |f (x) SN (x)|
f
n2 a2n + n2 b2n }.
6
n2
[,]
1
1
Hemos usado que:
1
2
=
.
2
n
6
n=1
1
(1)n+1 ,
n
n=1
x2 dx =
se tiene:
2 3
,
6
2 3
1
= 4
,
2
6
n
n=1
de donde el resultado.
b) Puede ser de utilidad observar que si f C k1 (T ), con f (k1) C 1 a trozos,
la serie de Fourier de f :
f = a0 +
n=1
n=1
n=1
para 0 l k.
190
6.7.
0
2 )
1
con M = N + . Hacemos = M (x y), mientras llamamos:
2
() =
sen
,
M sen( 2M
)
y tenemos:
(
SN (x) =
Mx
(1)()
Mx
M x+M
M xM
M x
M xM
Mx
M x
Mx
=
M x
d
4
)
M x+M
+
M x
d
4
()
Mx
Mx
Mx
=
(
M x+M
(
=
M xM
()
Mx
Mx
M x+M
M x+M
M x+M
()
Mx
()
M x+M
d
4
d
4
d
4
= I1 I2 .
Vamos ahora a estudiar el comportamiento de la suma parcial cerca de x = 0.
Para ello supongamos que:
|M x| K.
Tenemos:
Mx
I1 = 2
0
d
sen
M sen( 2M ) 4
Mx
sen d
K
0
sen d
,
4
191
M +M x
I2 =
M M x
d
sen
=
M sen( 2M ) 4
Mx
M x
sen(M + s) ds
s 4 .
M sen( +
)
2
2M
SN (x)
0
sen d
,
2
1
cuando N (M = N + ). El valor mximo de SN (x) corresponder a
2
valores de K que hagn mxima la integral. A este respecto, dicha integral es
positiva para K > 0 y el mximo se alcanza en K = . Por tanto en los puntos:
x=
,
M
1
SN ( )
M
2
sen d
0 59 = 0 50 + 0 09.
192
Teorema 6.18. Sea f 2-peridica y C 1 a trozos. Sea a un punto de discontinuidad donde el valor del salto es = f (a+) f (a). Entonces, para
(
x
N =a
1
N+
2
),
1
2
sen
f (a) + f (a+)
2
d.
M x2
M x2 +M
)
()
M x1
M x1 +M
d
.
4
x2
x1
sen M s
ds =
sen 2s
x2
s x2
s
1
{ cos M s cosec |x1 +
cos M s cosec ( ) ds} 0,
2M
2
2
x1
M x2
M x1
sen(M + s) ds
=
s 4
M sen( + 2M
2
x2
x1
sen(M ( + s) ds
,
sen( + 2s 4
2
193
1.5
f(t)
s17(t)
1
0.5
0.5
1.5
4
6.8.
Teorema de Lusin
La aproximacin de funciones integrables por funciones continuas es consecuencia del siguiente resultado general (cf. [19]).
Teorema 6.20 (Teorema de Lusin). Sea Rn medible, || < . Si f es
medible en (f M ()), para cada > 0 existe g C0 (Rn ) cumpliendo
sup |g| sup |f | tal que:
|{x : f = g }| < .
Se tiene como consecuencia.
Corolario 6.21. Si f M (), || < +, |f | 1, existe una sucesin gn
C0 (Rn ), |gn | 1 tal que:
lm gn (x) = f (x)
c. t. x .
|An | < .
n
194
lm gn (x) = f (x)
6.9.
Ejercicios
an cos nx,
n=1
o bien en la forma,
f=
bn sen nx,
n=1
cn einx .
nZ
cn einx .
6.9. EJERCICIOS
195
n=1
p(x) =
cn einx ,
n=N
1
a0 + a1 cos x + b1 sen x + a2 cos 2x + b2 sen 2x,
2
1
.
(2n
1)2
n=1
8. Usar series de Fourier y la funcin f (x) = x2 para determinar la suma de
la serie:
1
.
n4
196
9. Prubese que:
lm
log x sen x dx = 0.
0
SN (x) = a0 +
an cos nx + bn sen nx.
n=1
a) Prubese que:
1
SN (x) =
2
donde DN ( ) =
que:
f (x + )DN ( ) d,
sen(N + 12 )
(Ncleo
sen 2
1
2
DN ( ) d = 1.
6.9. EJERCICIOS
197
para todo x.
15. (Teorema de Completitud). Admitiendo que el conjunto de las funciones de clase C en (, ) con soporte compacto contenido en dicho
intervalo (clase de funciones que se representa por C0 (, )) es denso en L2 (, ) 2 , demustrese que la serie de Fourier de cualquier
f L2 (, ) converge a f en la norma de L2 (, ).
16. Una consecuencia del teorema de Lusin (cf. [19] o el Anexo) es que las
funciones continuas con soporte compacto en (, ) son densas en Lp .
Utilizar este hecho para probar que toda f L2 puede aproximarse en L2
por funciones fn que satisfacen las condiciones del problema 9 y deducir
de ahel teorema de completitud.
17. Se considera el problema de Dirichlet homogneo para la ecuacin del
calor:
ut = duxx 0 < x < , t > 0
u(x, 0) = f (x) 0 x l
u(0, t) = u(, t) = 0,
t 0,
y su solucin formal":
u(x, t) =
(6.10)
n=1
bn sen nx
(6.11)
n=1
con bn = 2 0 f (x) sen nx dx, es el desarrollo en serie de Fourier en senos de f (x). Admitamos que f C 2 ([, ]) satisface las condiciones de
compatibilidad:
f (0) = f () = f (0) = f () = 0.
a) Pruse que c > 0 tal que |bn | c para todo n. Dedzcase de ah que
u(x, t) denida por (1) es de clase C en t > 0, 0 < x < . Prubese
que u(x, t) es efectivamente solucin de la ecuacin del calor.
2 Vase
198
0t<T,0x
3 cf.
Captulo 7
Separacin de Variables
El objetivo del captulo es revisar las soluciones de algunos problemas conocidos mediante el mtodo de separacin de variables, de larga tradicin en la
fsica matemtica desde nales del siglo XVIII. Supondremos que el intervalo de
variacin de la variable espacial es (0, ). Esto no reviste prdida de generalidad
en los problemas que se estudiarn.
7.1.
(7.1)
T
X
=
.
T
X
De la igualdad resulta el problema de contorno:
{
X + X = 0 0 < x <
X(0) = X() = 0.
(7.2)
bn en t sen nx,
2
n=0
199
200
bn sen nx.
n=1
bn sen nx,
(7.3)
n=1
bn en t sen nx,
2
n=1
(7.4)
n=1
ux (0, t) = ux (, t) = 0 t > 0,
admite una nica solucin clsica, u C 2 {t > 0} C 1 {t 0} cuando f
C 1 [0, ], f (0) = f () = 0. Mediante separacin de variables y un argumento
201
(7.6)
n=1
7.2.
2
2
2
n2 t
f ()e
sen nx sen n d =
f ()en t sen nx sen n d.
u(x, t) =
0
0 n=1
n=1
En efecto, la
serie permuta con la integral por ejemplo
en virtud1 de que si
1
1 () < + entonces f =
|f
|
f
n
n L (),
L
n=1 fn L (), |f |
n=1
1 () ,
|f
|
f
=
f
.
En
nuestro
caso:
n
n
L
n=1
n=1
n=1
n=1
en t |f ()| d < .
2
2 n2 t
e
sen nx sen n C {t > 0}.
n=1
(7.7)
202
(7.8)
G(, x, t)f () d,
0
resulta:
|u un |
G(, x, t)|f fn | d |f fn | .
0
G(, x, t) d 1 u .
I\I
203
7.3.
Ecuacin de ondas
utt = c2 uxx
0 < x < , t > 0
u(x, 0) = f (x)
0<x<
ut (x, 0) = g(x)
0<x<
u(0, t) = u(, t) = 0
t > 0,
(7.9)
(n N).
n sen nx
n=1
g=
n=1
n sen nx.
204
(n cos nct +
n=1
n
sen nct) sen nx.
nc
n=1
n sen nx
n sen nx
n=1
x
G=
g(s) ds =
0
n n
cos nx.
n
n
n=1
n=1
n=1
(n cos nct +
n
sen nct) sen nx
nc
n
=
sen nct sen nx := u1 + u2 ,
n cos nct sen nx +
nc
n=1
n=1
(7.10)
n=1
1
1
n sen n(x + ct) +
n sen n(x ct)
2 n=1
2 n=1
1
{f (x + ct) f (x ct)},
2
1
n
n
n
sen nct sen nx = {
cos n(x + ct) +
cos n(x ct)}
nc
2c
nc
nc
n=1
n=1
n=1
1
{G(x + ct) G(x ct)}.
2c
205
(7.11)
f = 0 +
g = 0 +
n=1
n cos nx
n cos nx
n=1
g(s) ds = 0 x +
G=
0
n
sen nx.
n
n=1
Aplicando el mtodo de separacin de variables como en la primera parte, llegamos a la siguiente expresin formal de la solucin,
u = a0 + b0 t +
n=1
(n cos nct +
n=1
n
sen nct) cos nx.
nc
(7.12)
1
1
{f (x + ct) + f (x ct)} + {G(x + ct) + G(x ct)},
2
2c
7.4.
2
0 < x < , t > 0
u(x, 0) = f (x)
0<x<
(7.13)
ut (x, 0) = g(x)
0<x<
u(0, t) = u(, t) = 0
t > 0,
con a > 0. Al usar separacin de variables y considerar soluciones de la forma
u = X(x)T (t) llegamos a la ecuacin:
X
1 T + 2aT
=
= .
c2
T
X
206
Las condiciones Dirichlet determinan n = n2 junto con Xn = cn sen nx. Si, por
simplicidad, ponemos g = 0, las T s vienen determinadas por:
T + 2aT + n2 cT = 0
T (0) = 0,
y por ello,
a
a
senh a2 n2 c2 t] n <
eat [cosh a2 n2 c2 t +
2
2
2
c
a n c
a
at
n=
Tn (t) = e [1 + at]
c
a
a
eat [cos n2 c2 a2 t +
sen n2 c2 a2 t]
n> ,
c
n2 c2 a2
donde Tn se ha normalizado para cumplir Tn (0) = 1. Si tomamos f L2 (0, )
una expresin formal de la solucin es:
u=
(7.14)
n=1
na/c
n6 b2n < ,
n=1
M
M
1
6 2
}{
n bn Tn (t) sen nx| {
n bn
}.
n2
2
n=1
Para las otras derivadas de orden 2 basta con observar que Tn (t) = O(1), Tn (t) =
O(n), Tn (t) = O(n2 ) uniformemente en t 0 cuando n .
207
Sin embargo, para que (7.14) represente una funcin C 2 y dena una solucin
de (P), basta con menos regularidad en f , como en la ecuacin de ondas. La
idea clave es que:
Tn (t) eat cos nct,
cuando n +. Usando esa referencia podemos observar la solucin como,
u = eat
n=1
at
n=1
{f (x + ct) + f (x ct)} +
(7.15)
bn [Tn (t) e
at
n=1
7.5.
C[a, b]
u
por,
(
Bu =
m1
m2
n1
n2
p1
p2
q1
q2
R2
Bu,
u(a)
u (a)
u(b) .
u (b)
208
(7.16)
a<x<b
Lu2 = f
B(u1 ) = h
B(u2 ) = 0.
El clculo de u1 es un problema elemental cuando se conoce un sistema fundamental {v1 , v2 }. La del segundo se puede expresar mediante un operador lineal
209
G:
R
G(x, t),
(7.17)
Teorema 7.6. Supongamos que las condiciones de contorno del problema (7.16)
son no crticas. Existe entonces una funcin nica G C([a, b] [a, b]) con las
siguientes propiedades ( = {(x, t) [a, b] [a, b] : x = t}):
Gx C([a, b] [a, b] \ ) con
1
.
p(t)
Gx (t+, t) Gx (t, t) =
Para cada t [a, b] tiene,
Lx G(, t) = 0
x [a, b] \ t
B(G(, t) = 0.
La solucin de (7.16) con h = 0 se escribe en la forma (7.17).
A efectos de probar el teorema resulta conveniente disponer de una expresin
para la solucin del problema,
Lu = f a < x < b
u(a) = u (a) = 0.
Si {v1 , v2 } es un sistema fundamental de soluciones, el clsico mtodo de variacin de las constantes consiste en hallar c1 , c2 tales que,
u = c1 v1 + c2 v2 ,
es la solucin del problema (ci funciones de t). Ello nos lleva a considerar el
sistema,
c1 v1 + c2 v2 =
f
c1 v1 + c2 v2 = .
p
El determinante de la matriz de coecientes es el Wronskiano de {v1 , v2 },
v1 v2
= 0,
W =
v1 v2
mientras,
c1 =
a
v2 (t)f (t)
dt
p(t)W (t)
c2 =
a
v1 (t)f (t)
dt.
p(t)W (t)
210
u=
a
donde,
tx
t > x.
Debe observarse que p(x)W (x) se mantiene constante en [a, b]. Se llama a R
la funcin de inuencia o funcin de Green unilateral. Debe notarse que R =
R(x, t) cumple:
Lx R(, t) = 0
xt
R(, t)|x=t = 0
Rx (, t)|x=t =
.
p(t)
Si el problema de contorno,
Lu = f a < x < b
B(u) = 0,
es no crtico, la funcin de Green se puede calcular poniendo,
u = c1 v1 + c2 v2 +
c1 B(v1 ) + c2 B(v2 ) =
(7.18)
b
c2 =
Por tanto,
[B 1 (R(, t))B 2 (v2 ) + B 2 (R(, t))B1 (v2 )]v1 (x)
B 1 (v1 )B2 (v2 ) B 2 (v1 )B 1 (v2 )
[B1 (v1 )B 2 (R(, t)) + B 2 (v1 ))B 1 (R(, t))]v2 (x)
+ R(x, t).
+
B 1 (v1 )B2 (v2 ) B 2 (v1 )B 1 (v2 )
G(x, t) =
(7.19)
211
u=
(7.20)
1
,
p(t)
x [a, b] \ t.
7.5.1.
El problema de Dirichlet
[v1 (t)v2 (a) v1 (a)v2 (t)][v1 (x)v2 (b) v1 (b)v2 (x)] x > t
KD
G(x, t) =
212
(7.21)
se puede obtener de una forma especial. Ntese comprobando que las derivadas
invertidas son legtimas que:
L(t G(, t)) = 0 x = t.
Por tanto v1 = t G(, a), v2 = t G(, b) son soluciones de la ecuacin. Como
G(a, t) = G(b, t) = 0 se tendr que t G(a, t) = 0 en t > a, t G(b, t) = 0 en
1
,
t < b. Entonces v1 (b) = v2 (a) = 0. Por otra parte, v1 (a) = t G(a+, a) =
p(a)
1
v2 (b) = t G(b, b) =
. La solucin de (7.21) puede escribirse, usando el
p(b)
sistema fundamental de soluciones v1 /p(a), v2 /p(b), como,
u=
t G(x, a)
t G(x, b).
p(a)
p(b)
7.5.2.
f C[a, b].
(7.22)
213
uE
(7.23)
es decir,
K(u) = u,
(7.24)
1
con . Se llama a (7.23) y su homlogo (7.24) el problema de autovalores aso
ciado a L. Como K : C[a, b] C[a, b], el problema (7.24) es mucho ms natural
que el (7.23). El operador K puede extenderse de hecho a espacios ms generales.
Por razones tcnicas consideramos L2 (a, b).
Teorema 7.7. El operador solucin K dene un operador continuo, K : L2 (a, b)
L2 (a, b). Adems,
(
)1/2
b
KL(L2 )
G2 dxdt
a
(Kf ) =
Gx (x, t)f (t) dt.
a
1
0
)
0
,
1
(7.25)
con p(a) = p(b) se tiene que las funciones de Green correspondiente son simtricas.
214
(7.26)
|x|=1
215
sup
Al formar
q(t) =
216
m1
i f, ui ui .
Al aplicar L,
f=
m1
f, ui ui ,
(7.27)
f, un un .
(7.28)
n=1
|f, un |2 f 2 .
n=1
Ahora,
a x b.
n=1
n un (x)un ,
|n | |un (x)|
2
217
n=1
2n (b a)2 |G|2,Q ,
n=1
donde Q = [a, b] [a, b]. Una conclusin muy importante es que la serie de los
cuadrados de los autovalores es convergente. Esto tiene dos consecuencias. La
primera, que ahora se sabe de manera efectiva que existen innitos autovalores
de K (la sucesin {n } no puede estabilizarse en un valor constante). La segunda,
que n 0.
Sabemos asimismo que Km = |m |. Es decir, para u C arbitraria,
|Ku
k u, uk uk |2 Km |u| = |m ||u| 0,
cuando m . En particular,
Ku =
k u, uk uk ,
(7.29)
en L2 .
Por otro lado, para M N arbitrarios, x [a, b],
|
M
M
Ku, uk uk ,
1
f=
f, un un ,
n=1
en L2 para toda f L2 .
218
Observacin 7.5. Debe tenerse en cuenta que los autovalores de (7.23) son n =
1
n y que por tanto |n | +.
Ejemplo 7.6. Consideremos la ecuacin del calor con trmino lineal de absorcin:
ut = uxx au
(a > 0),
X(0) = X() = 0.
2n 1 2
) y las correspondientes autofunciones
2
2n 1
Xn = sen(
)x ,
2
bn e(2n1)
n=1
t/4
sen(
2n 1
)x.
2
7.6.
Del problema,
ut = uxx + F (x, t)
u(x, 0) = f (x)
u(0, t) = u(, t)
2 n2 t
con G =
e
sen nx sen n. Nos ocupamos ahora de la parte f = 0, es
n=1
decir de
u(0, t) = u(, t)
t > 0.
219
u=
bn (t) sen nx
ut =
uxx =
F =
n=1
n=1
n=1
bn (t) sen nx
n2 bn (t) sen nx
Bn (t) sen nx,
n=1
bn (t) =
en
(t )
Bn ( ) d.
1
2n2
Bn ( ) d.
0
Se comprueba que
|
t
q
1 1
bn (t) sen nx| {
}
F 2.
p n2 0 0
2
n=1
en
(t )
Bn ( ) sen nx d.
(7.31)
220
G(, x, t )F (, ) dd.
u(x, t) =
0
(7.32)
7.7.
Ejercicios
2
0 < x < l, t > 0
utt = c uxx
u(x, 0) = f (x)
0xl
u
(x,
0)
=
g(x)
0
xl
u(0, t) = u(l, 0) = 0
t 0,
para f de clase C 2 y g de clase C 1 en [0, l], satisfaciendo las correspondientes condiciones de compatibilidad. Prubese que la solucin puede
representarse en la forma,
u=
an cos
n=1
nc
nc )
n
t + bn sen
t sen
x.
l
l
l
n=1
an cos
nc
nc )
n
t + bn sen
t cos
x.
l
l
l
7.7. EJERCICIOS
221
X (l) + al X(l) = 0.
Aprvechese la informacin para construir expresiones formales bajo desarrollos en serie de autofunciones de los problemas de contorno y valor
inicial
utt = c2 uxx
0 < x < , t > 0
0x
u(x, 0) = f (x)
ut (x, 0) = 0
0x
u
(0,
t)
+
a
u(0,
t)
=
0,
t
0,
x
0
ux (l, 0) + al u(l, t) = 0
t 0,
as como:
ut = uxx
u(x, 0) = f (x)
u
x (0, t) + a0 u(0, t) = 0,
ux (l, 0) + al u(l, t) = 0
u(x, 0) = f (x)
0x
ut (x, 0) = 0
0x
u(0, t) = u(, 0) = 0
t 0,
donde a, c son constantes positivas. Supngase que f C 3 en [0, ] y que
satisface las correspondientes condiciones de compatibilidad. Constryase
una solucin en forma de serie por el mtodo de separacin de variables.
5. Analcese, bajo condiciones adecuadas, la solucin del problema de contorno y valor inicial (ecuacin de los telegrafstas):
2
0 < x < , t > 0
u(x, 0) = 0
0x
ut (x, 0) = g(x)
0x
u(0, t) = u(, 0) = 0
t 0.
6. Estdiese por separacin de variables la solucin del problema
ux (0, t) = u(1, 0) = 0
t 0.
222
u(0) = u(1) = 0,
u (0) = u (1) = 0,
{
{
Lu = ex
0<x<1
Lu = sen x
0<x<1
u(0) = u (1) = 0,
u(0) = , u(1) = .
11. En el espacio se considera el recinto esfrico 0 < a < r < b, r2 = x2 + y 2 +
z 2 . Hllense las soluciones de los problemas:
{
{
u = 0
a<r<b
u = f
a<r<b
u(a) = A u(b) = B,
u(a) = A u(b) = B,
siendo f una funcin radial y continua.
12. En el recinto esfrico 0 < a < r < b, r2 = x2 + y 2 + z 2 , se considera el
problema uxx +uyy +uzz = 1, bajo condiciones de contorno u = 0 en r = a,
u
n = 0 en r = b. Hllese su solucin. Se podra resolver explcitamente el
problema reemplazando la unidad en el segundo miembro por una funcin
continua y radial arbitraria f (r)?
7.7. EJERCICIOS
223
n2
(ru )
u = r f (r) ,
r
0<r<a
u(a) = 0,
en donde n = 0, 1, . . . , siendo f continua. Prebese entonces que las condiciones de contorno son no crticas, y que la solucin se escribe en la
forma:
a
(7.33)
Gn (r, ) f () d,
u(r) =
0
donde,
0<r
< r a,
para n 1 mientras
( )
log
G0 (r, ) =
( )
log a
r
0<r
< r a.
15. Hallar la solucin formal del problema ut = uxx + F (x, t), 0 < x < ,
t > 0, u(x, 0) = 0 y condiciones de contorno mixtas u(0, t) = ux (, t) = 0,
t > 0.
224
Captulo 8
Ecuacin de Laplace en el
plano
8.1.
226
(8.4)
+ = 0
(0) = (2)
(0) = (2),
con lo que los autovalores son n = n2 , n N{0} y n = a
n cos n + bn sen n.
La ecuacin para R es,
r2 R + rR n2 R = 0.
Imponiendo la condicin de que R es regular en r = 0 deducimos Rn = cn rn ,
n N {0}.
227
(8.5)
n=1
N
1
1 n
u(r, ) = lm
f (t){ +
r cos n( t)} dt
N
2
1
1 n
1
f (t){ +
r cos n( t)} dt,
=
2 n=1
en virtud de la convergencia uniforme del integrando. Usando, por ejemplo, la
1
parte real de la serie geomtrica compleja 1 + n=1 (rei )n =
se llega
1 rei
a que:
1 n
1
1 r2
+
r cos n( t) =
.
2 n=1
2 r2 + 1 2r cos( t)
Por tanto,
1 r2
u(r, ) =
2
f (t)
dt.
r2 + 1 2r cos( t)
En coordenadas cartesianas,
1 r2
u(
x) =
2
|
y |=1
f (
y)
d
y.
|
x y|2
(8.6)
1 Una serie uniformemente convergente de polinomios es siempre una funcin real analtica
([11]).
228
1 r2
1
1=
d
y
x
B.
(8.7)
2
|
x
y|2
|
y |=1
El siguiente resultado asegura que (8.6) proporciona todas las soluciones clsicas
de (8.1).
Teorema 8.4. Si f es continua en r = 1, (8.6) extendida con el valor f en
r = 1 dene la nica solucin clsica de (8.1).
Es inmediato que la solucin de (8.1) en la bola BR (P ) es exactamente,
R2 |
x P |2
f (
y)
u(
x) =
dSy.
(8.8)
2R
|
x
y|2
|
y P |=R
En particular, si u C 2 () es armnica en entonces se tiene:
1
u(P ) =
f (
y ) dSy,
2R |yP |=R
(8.9)
1
u(P ) =
f (
y ) d
y.
(8.10)
R2
|
y P |R
Demostracin. Se propone como ejercicio.
Del hecho de que toda funcin armnica en se puede representar cerca de
cualquier punto P en la forma (8.8) se tiene lo siguiente.
Teorema 8.6. Si u C 2 () es armnica en entonces u C ().
Demostracin. Se propone como ejercicio.
Otra conclusin importante.
Teorema 8.7 (Principio fuerte del mximo). Sea un dominio del plano donde
u es armnica con M = sup u < . Si para algn x0 , u(x0 ) = M entonces
u = M.
Por otro lado, la propiedad de la media caracteriza asimismo las funciones
armnicas.
Teorema 8.8. Supongamos que u C() satisface la propiedad de la media en
, es decir, para toda bola B R (P ) se cumple la identidad (8.9). Entonces
u es armnica en .
229
QP
\{P1 ,...,PN }
8.1.1.
u u(x)
sup
\{P1 ,...,PN }
x .
230
8.1.2.
son arcos capaces sobre AB. Un arco capaz sobre AB es el lugar de los puntos
(8.12)
2
problema (8.11). De nuestra experiencia con la ecuacin del calor sabemos que
esta solucin bsica permite llegar a soluciones muy generales.
En efecto, si f C(T ) y fraccionamos B en n arcos, es decir el intervalo
(0,
2)
n en 0 1 n = 2 una aproximacin poligonal de f es fn =
1 f (i )(i1 ,i ) con i (i1 , i ). Si ui es la solucin correspondiente al
dato (i1 ,i ) entonces,
ui (x, y) =
1
{h(i1 + ) h(i1 )},
donde = i i1 ,
(
h() = arctag
y sen
x cos 2
)
.
Ntese que,
h () =
2[r2
1 r2
.
+ 1 + 2(x cos + y sen ]
231
n
1
f (i ){h(i1 + ) h(i1 )}
i=1
n
1
1 r2
=
f (i ),
2 i=1 r2 + 1 + 2(x cos i + y sen i )
1 r2 2
f ()
d,
uf (x, y) =
2
r2 + 1 + 2(x cos + y sen )
0
que es precisamente la frmula de Poisson.
Observacin 8.4. La construccin de la funcin en (8.12) muestra que
lm (r, ) = lm (r, ) =
r1
r1
1
(0 + ),
2
r1
1
{f (0 +) + f (0 )}.
2
Observaciones 8.5.
a) La funcin
1 r2
,
1 + r2 2r cos
es armnica en B y se anula en B \ (1, 0). Sin embargo no es idnticamente
nula. Ntese que u(r, 0) crece sin lmite cuando r 1.
u(r, ) =
b) La demostracin pone de maniesto que la propiedad de acotacin puede substituirse por la menos restrictiva de que u C( \ P1 , . . . , PN ), {P1 , . . . , PN }
, junto con
u(P )
=0
1 i N.
lm
P Pi log |P Pi |
c) Cuando el dato f es continuo a trozos y P B es un punto de discontinuidad
de salto de f en P entonces u sufre un tipo de discontinuidad que ya observamos
en la ecuacin del calor (ver la Seccin 8.1.2).
232
8.1.3.
u=f
(x, y) Q,
viene expresada por:
u(x, y) =
bn
sen nx senh n(A y),
senh nA
n=1
donde
bn =
(8.13)
Si consideramos el ncleo,
2
senh nA
G(, x, y) =
sen nx sen n,
n=1 senh n(A y)
u(x, y) =
G(, x, y)f () d.
(8.14)
G(, x, y) d 1
0x
0 < y < A.
G(, x, y) sen d =
0
es decir,
G(, x, y)
0
senh(A y)
sen x,
senh A
senh A sen
d = 1.
senh(A y) sen x
233
|u(x, y) f (x0 )| {
+
I
I\I
senh A sen
| d.
senh(A y) sen x
La primera integral puede hacerse tan pequea como se quiera con tal que lo sea
. La segunda (Seccin ?? del Captulo 7) se hace pequea si x x0 y t 0.
Hemos probado as el siguiente resultado.
Teorema 8.12. Para f = f (x, y) continua y arbitraria, el problema de Dirichlet,
{
u = 0
(x, y) Q
u(x, y) = f (x, y)
(x, y) Q,
admite una solucin acotada u C 2 (Q) C(Q \ A, B, C, D), donde A, B, C y
D son los vrtices de Q.
Observaciones 8.6.
a) La solucin construda en el teorema por el mtodo de separacin de variables
se extiende por continuidad a todo Q pues coincide con la solucin clsica que
se obtiene en virtud del teorema de la aplicacin de Riemann.
b) Si en las consideraciones precedentes f L tiene una discontinuidad de
salto en x0 (0, ) el comportamiento de la solucin acotada u puede estudiarse
teniendo en cuenta la determinacin del argumento 1 (x x0 , y), donde la lnea
de corte de 1 es el semieje y 0.
8.2.
Ecuacin de Poisson
en B
en B.
(8.15)
Lo primero que hacemos es usar el mtodo de separacin de variables para producir una representacin integral de la solucin clsica. A tal efecto suponemos
que u C 2 (B) C(B) resuelve (8.15), en particular F C(B). Transformamos
(8.15) a coordenadas polares (r, ) y para cada 0 < r < 1 representamos u(r, ),
234
n=1
n=1
n=1
u (r, ) =
n=1
F (r, ) = A0 (r) +
n=1
donde,
mientras,
log( ) r >
r
G0 (r, ) =
1
log( ) r ,
1 n
(r rn ) n
2n
Gn (r, ) =
1 (n n ) rn
2n
r>
r ,
235
1
1
1
2 2
4n
G
(r,
)
d}{
F 2 () d}.
{
4n2 0
0
(8.19)
r
(1 r2n )2 ( )2n d +
(1 2n )2 ( )2n d
r
0
r
1
1
r
= r2
u2n+1 du +
(1 2n )2 ( )2n d
0
r
1
1
r 2n1 1
2
+r
( )
d
2n + 1
r
r
1
dz
+
2n1
2n + 1
z
1
2
.
2n + 1
r
4n2 G2 (r, ) d =
0
1
1
{
F 2 () d}.
4n2 (n + 12 ) 0
(8.20)
(8.21)
n=1
1
1
donde an = 0 Gn An d, bn = 0 Gn Bn d. Hemos supuesto que F C(B)
(bastara para lo que sigue F C(B) L2 (B)). Comprobamos que la serie
converge adems uniformemente en B. En efecto:
|
N
N
1 1 2
2
an (r) cos n + bn (r) sen n|2 {
}{
{An () + Bn2 ()} d}
n2 4 0
M
M
2
N
1
2
1
{
}{
F 2 (, ) d d}
n2 4 0 0
M
2
1
{
}{
F 2 dxdy}.
n2 4
B
M
236
u(r, ) =
n=1
1
1
1 n
{log( ) +
(r rn )n cos n( t)},
2
r
n
n=1
(8.23)
zn
cos
n1 cos n d =
cos n =
d
2
n
0 1 + 2 cos
0 n=1
n=1
1
= log[1 + z 2 2z cos ].
2
Al introducir estos resultados en (8.23) obtenemos tras algunas cuentas,
1
{ log[r2 + 2 2r cos( t)] + log[1 + r2 2 2r cos( t)]}.
4
(8.24)
Ntese que G es simtrica en el sentido de que no vara cuando se intercambian
entre s (r, ) y (, t). En coordenadas cartesianas, si y designa el simtrico de
y con respecto a la circunferencia unidad, y = y/|
y |2 , la funcin G adopta la
forma,
1
G(
x, y) =
[ log |
x y| + log |
y ||
x y |],
(8.25)
2
mientras la representacin en coordenadas cartesianas (8.22) toma la forma,
u(
x) =
G(
x, y)F (
x, y) d
y.
(8.26)
G(r, , , t) =
Se conoce a G = G(
x, y) como la funcin de Green del problema de Dirichlet en
el crculo. Debe observarse que G satisface G(
x, y) = G(
y, x
), que para y B,
x G(, y) = 0 mientras que para cada y B, G(
x, y) = 0 en |
x| = 1. Otra
237
u(
x) =
G(
x, y)F (
y ) d
y.
(8.27)
U (
x) =
G2 (
x, y)F (
y ) d
y,
B
V (
x) =
2 (
x y)F (
y ) d
y,
B
xi V (
x) =
xi 2 (
x y)F (
y ) d
y
i = 1, 2.
B
xi u(
x) =
xi G(
x, y)F (
y ) d
y
i = 1, 2.
B
238
V (
x) =
2 (
x y)(|
x y|/)F (
y ) d
y,
B
xi 2 (
x y)F (
y ) d
y,
Vi (
x) =
B
1
(1 r2 ) =
G(
x, y) d
y.
4
B
En efecto la parte de la serie en los trminos cos n( t) desaparece y,
r
r
1
1
1
1
G d
y=
{2
log( ) d + 2
log( ) d} = (1 r2 ).
2
r
4
B
0
0
Del lema anterior,
xi
=
2
xi G(
x, y) d
y
i = 1, 2.
xi
x) =
xi G(
x, y)(F (
y ) F (
x)) d
y,
ui (
x) = xi u + F (
2
B
i = 1, 2. Usando el argumento del lema y la diferenciabilidad de F en B se tiene
que las funciones
wi (
x) =
xi G(
x, y)(F (
y ) F (
x)) d
y,
B
xj wi (
x) =
xi xj G(
x, y)(F (
y ) F (
x)) d
y
xi G(
x, y)xj F (
x) d
y.
B
239
F
+
F
.
Por
tanto
u
=
F
en
B.
x
x
1
2
2
2
Finalmente la funcin u denida en (8.27) satisface tambin la condicin de
contorno pues,
|F |,B
G d
y
(1 r2 ) 0,
|u| |F |,B
4
B
cuando r 1. Esto cierra la demostracin del teorema
Una consecuencia de la demostracin es el siguiente,
Corolario 8.15. Si F C 1 (B) L (B) el correspondiente potencial logartmico V :
V (
x) =
2 (
x y)F (
y ) d
y
i = 1, 2.
B
2
es C en y satisface V = F en B.
Con ms generalidad se tiene lo siguiente.
Teorema 8.16. Sea R2 un dominio acotado mientras F C 1 ()L ().
Entonces, el potencial logartmico V con densidad F en :
V (
x) =
2 (
x y)F (
y ) d
y,
es C en y satisface V = F en .
Demostracin. Para > 0 pequeo y x0 arbitrario, tomamos F C 1 (R2 )
donde F = F en |
x x0 | /2 y F = 0 para |
x x0 | . Si:
V (
x) =
2 (
x y)F (
y ) d
y,
entonces V V es armnica en |
x x0 | < /2, mientras, por el corolario, V es
C 2 en |
x x0 | < y V = F . Por tanto V es C 2 en |
x x0 | < /2 y V = F
en dicha regin.
Hemos fabricado la funcin de Green del problema de Dirichet para la ecuacin de Poisson en la bola (se normaliz el radio a la unidad para simplicar).
En dominios generales y en dimensiones superiores esta nocin se extiende a
los efectos de obtener una representacin integral del tipo (8.27) para la solucin
del problema de Dirichlet. La denicin adecuada a tales propsitos es la que
sigue.
Denicin 8.17. Sea R2 un dominio. Se dice que:
G:
(
x, y)
R
G(
x, y)
240
1. G = 2 (
x y) + h(
x, y), donde h(, y) C 2 () C() para cada y .
2. Para cada y , u = h(, y) es la solucin clsica del problema,
x u = 0
x
u(
x) = 2 (
x y)
x
.
8.3.
Singularidades evitables
8.4. EJERCICIOS
241
1
f (
y ) dSy.
A=
2R |y|=R
En consecuencia A no puede prejarse libremente con independencia de f .
Otra consecuencia importante del lema es el siguiente contraejemplo de existencia de soluciones clsicas para el problema de Dirichlet.
Teorema 8.21. El problema de Dirichlet,
[
]
2
2
u = x2 x1 4( log r)1/2 + 1 ( log r)3/2
22
2
en BR
en r = R,
8.4.
Ejercicios
242
1
a2 |x|2
u(x) =
dSy .
2a |y|=a |y x|2
3. Se considera el sector W = {0 < r < a, 0 < < }. Estdiese, por el
mtodo de separacin de variables la solucin del problema de contorno
u = 0 en W , u = 0 en = 0, , mientras que se impone u(a, ) = f ()
donde f es, por ejemplo, continua en 0 . Analcese el correspondiente problema reemplazando la condicin Dirichlet, por la de Neumann
u
n (a, ) = g().
4. Analcese el problema de Dirichlet u = 0 en el anillo plano a < r < b,
bajo condiciones de Dirichlet u = f en r = a, u = g en r = b, f y g
continuas. Utilcese el mtodo de separacin de variables.
5. Analcese por el mtodo de separacin de variables la solucin del problema
exterior de Dirichlet plano: u = 0 en r > a, u = f en r = a, f continua,
mientras que se impone la condicin de que u est acotada.
6. Si k es una constante positiva, hllense las soluciones radiales de la ecuacin de Helmholtz uxx + uyy = k 2 u.
7. Hllese (separacin de variables) la solucin del problema plano u = 0
en a < r < b, < < , u = 0 en = , , u = f en r = a, mientras
u = g en r = b, siendo f y g continuas.
8. Prubese que si u es armnica en una regin del plano, entonces u es
C .
9. Prubese que si u es armnica en una regin del plano, entonces u cumple
=B
R (x0 )
el teorema de la media. Es decir, para toda bola cerrada B
se tiene,
1
u(x0 ) =
u(y) dSy .
2R |yx0 |=R
Prubese que tambin,
1
u(x0 ) =
R2
u(y) dy.
|yx0 |R
10. Prubese usando la frmula de Poisson que toda funcin continua y peridica en R, f = f () puede aproximarse uniformemente por polinomios
N
trigonomtricos pn () = a0 + 1 an cos n + bn sen n.
8.4. EJERCICIOS
243
2
sup |u|,
R B
2
sup |u|.
d(x0 , )
donde = (1 , 2 ), ! = 1 !2 ! y u = x11 22 u.
Prebese que si u es armnica en un dominio , x0 , entonces, si
B R (x0 ) ,
1
u(x) =
u(x0 )(x x0 ) ,
(8.29)
!
2
N
244
una
17. (Principio del Mximo y trminos gradiente). Sea u C 2 () C()
solucin de:
u +
ai i u = 0,
en , donde se supone que los coecientes ai (x) son acotados en . Prubese que:
mn u u(x) max u.
1 r2
,
1 + r2 2r cos
2R2
.
((x x0 )2 + (y y0 )2 )
19. Es la funcin
(r, ) = cotag1
2r sen
1 + r2 2r cos
)
,
8.4. EJERCICIOS
245
1
r 2 u
=0
0<r<1
0 2.
b)
urr + 1r ur +
u(1, ) = 1,
1
r 2 u
=0
0<r<1
0 < < ,
u(1, ) = 0,
< < 2.
c)
(x, y) B4 (O)
u = 0
4
u(x, y) = x
x2 + y 2 = 16.
u(x, 0) = 1.
24. Hallar la solucin del problema u = y(1 y) sen3 x en 0 < x < ,
0 < y < 1, bajo condiciones Dirichlet homogneas.
25. (Funcin de Green en el rectngulo). Hallar la solucin formal del problema
u = F (x, y) en el rectngulo 0 < x < , 0 < y < A y condiciones
Dirichlet homogneas.
26. Sea G = G((x1 , x2 ), (y1 , y2 )) la funcin de Green para el problema de
Dirichlet en el crculo unidad. Bajo las equivalencias obvias, comprobar
que se puede escribir en la forma,
G(z, z1 ) =
1
1
log |z z1 | +
log |1 z z1 |
2
2
z, z1 C,
246
(x
y )
1
y
,
)=
[ log |
x y| + log | ||
x y |],
a a
2
a
y
es el simtrico de y con respecto a la circunferencia
|
y |2
a2
,
z
sobre el crculo |z| < b, b > a > 0. Usar el resultado para determinar la
funcin de Green del problema de Dirichlet en una elipse.
Captulo 9
Ecuacin de Laplace
ndimensional
9.1.
v
uv =
uv +
u .
v
u
uv vu =
u
v .
|x|2n n 3
n(2
n)
n
n (x) =
1 log |x|
n = 2,
2
donde n =
2 n/2
es el volumen de la bola unidad en Rn .
n(n/2)
247
248
n (y x)
u
{u(y)
n (y x) (y)} dSy +
n (y x)u(y) dy.
u(x) =
(9.1)
Observacin 9.1. Si es un dominio C 1 puede probarse, usando que la funcin
distancia a la frontera d(x) es C 1 (ver [13], Cap. 14), que = {x : d(x) >
} es un dominio C 1 para pequeo. Esto permite relajar en (9.1) la condicin
u C 2 () por u C 1 () C 2 () junto con u L1 (). Basta para ello con
establecer (9.1) en y hacer 0+.
Observacin 9.2. Si Rn es un dominio acotado de clase C 1 y 0 = 0 (x)
L1 () la funcin,
V0 (x) =
n (x y)0 (y) dy,
V1 (x) =
n (y x)1 (y) dSy ,
n
V2 (x) =
(y x)2 (y) dSy ,
con 2 L2 () dene el potencial de capa doble y densidad 2 .
Resulta inmediato comprobar que los potenciales de capa simple y capa doble
son funciones armnicas en .
Proposicin 9.3. Si u C 2 () es armnica en entonces u es de clase C
en
Demostracin. Tomamos cualquier bola B B y escribimos,
u
n
n (y x) (y)} dy,
u(x) =
{u(y)
B
con x B. Tal representacin prueba que u C (B).
(9.2)
249
Supongamos que u C 2 () C 1 () mientras u L1 (), o ms sencillamente que u C 2 (), donde naturalmente se supone que es un dominio
acotado de clase C 1 .
Admitamos que existe una funcin h = h(x, y), h : R, h(, y)
C 2 () C 1 () tal que u = h(, y) resuelve:
{
x h(, y) = 0
en
(9.3)
h( y) = n ( y)
en ,
para cada y , tenemos entonces de las identidades de Green que para cada
x :
h
u
0=
{u(z) (z, x) h(z, x) } dSz +
h(z, x)u(z) dz.
(9.4)
G
u(x) =
{u(y)}
(y, x) dSy +
G(y, x){u(y)} dy,
(9.5)
(9.6)
G
u(x) =
g(y)
(y, x) dSy +
G(y, x)f (y) dy
x .
(9.7)
9.2.
250
x .
Demostracin. Del principio del mximo se sigue que G(, yn ) G(, y) uniformemente en si yn y en lo que largamente prueba i).
A los efectos de ii) se considera el dominio perforado = \ (B (x1 )
B (x2 )). Aplicando la segunda identidad de Green a la pareja de funciones
u(x) = G(x, x1 ), v(x) = G(x, x2 ) en obtenemos,
{
G
G(x1 + w, x1 )(
)(x1 + w, x2 )|=
|w|=1
}
G
G(x1 + w, x2 )(
)(x1 + w, x1 )|= dSw
{
G
G(x2 + w, x1 )(
)(x2 + w, x2 )|=
|w|=1
}
G
G(x2 + w, x2 )(
)(x2 + w, x1 )|= dSw
sup
G(x, y) dy 0,
dist(x,)
251
9.3.
La identidad (9.7) junto con las ideas del captulo anterior nos llevarn a la
solucin u de:
{
u = 0
en B
(9.8)
u = g(x)
en B,
con B = {x : |x| < R}. El candidato natural a funcin de Green es:
G(x, y) = n (x y) + n (
|y|
(x y )),
R
y
es el simtrico de y con respecto a la esfera {|y| = R}. Si
|y|2
e n (s) = (1/2) log s para n = 2,
e n (s) = (1/n(2 n)n )s2n cuando n 2
donde y = R2
G
G
G
xi
(x, y)
(x, y)
(x, y)
.
=
i =
|x|=R
|x|=R
|x|=R
x
x
R
i
i
i=1
i=1
252
Por tanto (n 3):
G
1 R2 |y|2
(x, y) =
.
nn R |x y|n
R2 |x|2
g(y)
u(x) =
dSy
x B.
(9.9)
n
nn R
|y|=R |y x|
Sin embargo, si u C 2 (B) C(B) (no llega C 1 hasta el borde) entonces para
|x| < R con > 0 pequeo tenemos,
(R )2 |x|2
u(y)
u(x) =
dSy
x B.
(9.10)
nn R
|y
x|n
|y|=R
Volvemos a obtener (9.9) si hacemos 0+ en (9.10). Ms an, (9.9) dene la
solucin clsica del problema de Dirichlet (9.8).
Teorema 9.5 (Frmula de Poisson). Para g continua y arbitraria, la funcin
R2 |x|2
g(y)
u(x) =
dSy
x B,
n
nn R
|y|=R |y x|
extendida a B con el valor g dene la solucin clsica del problema (9.8).
Observacin 9.5. En la prueba hay dos hechos bsicos para probar la continuidad de u hasta la frontera (es obvio que u en (9.9) es armnica en B). Primero,
G/ 0. Segundo, la unicidad de soluciones clsicas implica que:
R2 |x|2
dSy
1=
x B.
nn R
|y
x|n
|y|=R
9.4.
1
u(x) =
u(y) dSy ,
nn Rn1 |y|=R
junto con:
u(x) =
Ms generalmente, se tiene el,
1
n Rn
u(y) dy.
|y|R
253
1
u(x) = (, )
u(y) dSy ,
nn Rn1 |y|=R
junto con,
u(x) = (, )
1
n Rn
u(y) dy.
|y|R
| u(y)|
sup u,
(9.11)
d
con d = dist ( , ).
La observacin siguiente poda haberse obtenido ya directamente de la representacin (A) (9.2) de las funciones armnicas.
Teorema 9.10. Si u C 2 () es armnica en entonces u es real analtica en
.
Demostracin. Tomamos B 2R (x0 ) , M una cota de |u| en dicha bola. La
serie de Taylor (u es C ) converge absolutamente en |x x0 | R si 0 < < 1
es pequeo. En efecto:
||! (n||)||
1
mm 2 m
u(x0 )(x x0 ) M
=M
(n ) .
!
!
||!
m!
m=0
254
(n2 e)m
mm 2 m
(n ) (1 + )M
M
< +,
m!
2m
m=m0
m=m0
(n2 e)N
NN
u(x0 + (x x0 ))(x x0 ) M
0,
(n2 )N
!
N!
2N
||=N
||=N
cuando N , supuesto como arriba que n2 e < 1. Esto concluye la demostracin.
Una consecuencia combinada del teorema de Ascoli-Arzela, de las estimaciones (9.11) y de un proceso diagonal de Cantor es el siguiente teorema de tipo
Montel.
Teorema 9.11. Si un C 2 () es una sucesin de funciones armnicas en un
abierto con la propiedad de que sup |un | M para cierta constante M >
0 entonces un admite una subsucesin que converge en la topologa compacta
abierta de a una funcin u C 2 () que es tambin armnica en .
El siguiente resultado se conoce como desigualdad de Harnack para funciones
armnicas.
Teorema 9.12. Sea u C 2 (), u 0 una funcin armnica en . Entonces,
para todo subdominio acotado existe una constante C = C( , )
tal que:
sup u C nf u.
Una consecuencia del mismo es el siguiente resultado que tambin lleva asociado el nombre de Harnack.
Teorema 9.13. Sea un C 2 () una sucesin creciente de funciones armnicas
en para la que existe y tal que un (y) est acotada. Entonces un converge
en la topologa compacta abierta de a una funcin armnica u C 2 ().
9.5.
(9.12)
255
1
u(x0 )
u(y) dy.
|Br (x0 )| BR (x0 )
En particular, toda funcin subarmnica cumple el principio fuerte del
mximo.
iii) Sean u, v C() funciones sub y superarmnicas en tales que u v
en . Entonces, o bien u = v en o bien u < v en .
iv) Dada una funcin subarmnica u en una bola arbitraria B y la
funcin uB considerada en i) se tiene que la funcin:
{
uB (x)
xB
U (x) =
u(x)
x\B
es tambin subarmnica en .
Supongamos que el dato g L (). Se dice que u C() es una subfuncin (unterfunktion) para el problema de Dirichlet (9.12) si u es subarmnica
y adems u g en . De manera simtrica se dene la nocin de superfuncin
(oberfunktion).
Proposicin 9.16. Si u, u
C() son una subfuncin y una superfuncin
arbitrarias del problema de Dirichlet (9.12) entonces toda solucin clsica u
C 2 () C() de dicho problema satisface:
uuu
,
en .
El resultado crucial es el siguiente.
256
es armnica en .
De manera anloga la expresin
u
= nf v,
vU
257
Observaciones 9.7.
a) La condicin de punto regular para un dominio del plano no es demasiado
restrictiva. En efecto, la geometra de los puntos regulares es muy permisiva
pues basta con que un punto x0 sea accesible desde \ R2 , es decir el
extremo de una arco contenido en R2 \ para que exista una barrera. En
efecto, para B centrada en x0 pequea podemos construir una determinacin
del argumento en B . Una funcin barrera local es:
w=
log r
,
log r + 2
2
v(x, y, z) =
.
2
2
x + y + (z s)2
0
Se dene el dominio,
258
9.6.
El semiespacio
2t
(y)
u(x, t) =
dy.
(n + 1)n+1 Rn |(x y, t)|n+1
Demostracin. La unicidad es consecuencia de combinar el teorema de Liouville
y el principio de reexin de Schwartz en xn+1 = 0 (vanse los Ejercicios).
Por otro lado, usando:
G(, ) = 2 ( ) + 2 ( ),
donde = (x, xx+1 ), = (y, yn+1 ), = (y, yn+1 ) podemos proponer formalmente a:
G
G
u() =
(, )() dS =
(, )|yn+1 =0 (y, 0) dy, (9.13)
y
n
n
n+1
R
R
como solucin del problema. Se tiene:
1
G
2t
((y, 0), (x, t)) =
.
yn+1
(n + 1)n+1 |(x y, t)|n+1
259
1
2t
n1
2nn
dy
=
d
(n + 1)n+1 Rn |(x y, t)|n+1
(n + 1)n+1 0 (2 + 1) n+1
2
n
((n + 1)/2 1 1 1
((n + 1)/2 n 1
n+1
2
2
z
(z + 1)
dz =
t 2 (1 t) 2 1 dt
=
(n/2) 0
(n/2) 0
((n + 1)/2 1 n
=
B( , ) = 1.
2 2
(n/2)
Finalmente, para la continuidad hasta la frontera sea x0 Rn un punto de
2t
|(y) (x0 )|
|u(x, t) (x0 )| +
dy
2 (n + 1)n+1 |yx| 2 |(x y, t)|n+1
2t
2K
+
dy
2 (n + 1)n+1 |yx| 2 |(x y, t)|n+1
2t
2Ktn
+
dz
2 (n + 1)n+1 |z| 2t tn+1 {|z|2 + 1} n+1
2
,
si |xx0 | y t es lo sucientemente pequeo como para que la ltima integral
sea inferior a /2 (K ha designado una cota de ).
9.7.
La ecuacin de Poisson
Vf (x) =
n (x y)f (y) dy.
260
sup
|xx0 |,x=x0
|f (x) f (x0 )|
< +,
|x x0 |
sup
x,y1 ,x=y
|f (x) f (y)|
< +.
|x y|
i Vf (x) =
i n (x y)f (y) dy
1 i n.
ij Vf (x) =
ij n (x y)(f (y) f (x)) dy f (x)
i n (x y)j (y) dSy ,
0
261
F (x) =
G(x, y)f (y) dy,
es continua en .
Ejemplo 9.11. El ncleo de Riesz:
G(x, y) =
C
,
|x y|
F (x) =
{|yx|>} G(x, y)f (y) dy.
262
xi
C( \ ), = {(x, y) : x = y}, funciones uniformemente integrables en el
sentido del Lema 9.27. Entonces para f L () la funcin:
F (x) =
G(x, y)f (y) dy,
Lema 9.28. Supongamos n 2 y sea G = G(x, y) C( \ ) con
i F (x) =
xi G(x, y)f (y) dy.
F (x) =
x G(x, y)f (y) dy.
Fi (x) =
xi G(x, y)f (y) dy.
Del lema 3 sabemos que Fi C(). Por otro lado para h R sucientemente
pequeo y designando por [x0 , x0 + hei ] = {x0 + shei : 0 s 1} tenemos la
cadena de identidades:
h
h
Fi (x0 + sei ) ds =
xi G(x0 + shei , y)f (y) dyds
0
=
\[x0 ,x0 +hei ]
=
G(x0 + hei , y)f (y) dy
G(x0 , y)f (y) dy
\[x0 ,x0 +hei ]
263
t
u(x, t) =
U (x , t )f (, ) dd =
U (x , t )f (, ) dd.
QT
Rn
x i u =
xi U (x , t )f (, ) dd,
QT
pues
|x|<
xi U (x , t )|f (, )| dd 0
uniformemente en (x, t) cuando 0+. En efecto esta ltima integral se controla por
C
t
|x|<
|xi | |x|2
dd
e 4t
(t )
(t )n/2
2
1
1
ds
yi e 4 |y| dyd C
.
C
s
s
0
|y|
0
s
2
y
1
i e|y| xj f (x + 2y t , ) dyd.
x2i xj u = n/2
t
0
Rn
264
2
1
y
i e|y| f (x + 2y t , ) dyd.
xi u = n/2
t
0
Rn
Esta expresin ya est preparada para ser derivada una vez ms. Adems las
derivadas resultantes cumplen x2i xj L (QT ).
9.8.
Ejercicios
u = f
x
u
=g
x ,
entonces:
f=
(N )
g.
(C)
Utilizar libremente en lo que sigue que (C) es tambin condicin suciente para la existencia de al menos una solucin clsica del problema de
Neumann (N).
b) Prubese que:
n
(y x) dSy = 1,
x .
c) Determnese la constante R para que el problema:
h = f
x
h
= n ( y)
x ,
(A)
9.8. EJERCICIOS
265
d) Sea h1 una cualquiera de las soluciones clsicas del problema (A). Frmese
la funcin:
G1 (x, y) = n (x y) + h1 (x, y).
Demustrese que toda solucin clsica (prescindimos deliberadamente de
los detalles de regularidad) del problema (N), supuesto que exista (ver 1))
se puede representar en la forma:
1
u(y) dSy
u(x) =
||n1
u
+
G1 (y, x) (y) dSy
G1 (y, x)u(y) dy ,
x , es decir:
u(x) =
1
||n1
u(y) dSy
+
G1 (y, x)g(y) dSy
G1 (y, x)f (y) dy .
2
u
u(x)
(x y) 2 (x y) (x)
)
dsx
(x y)u(x) dx,
siendo 2 (z) =
plano.
1
2
266
1
u(y)
u(y) dSy ,
nn Rn1 BR (y)
para cada 0 < R .
7. Usar las ideas del captulo para probar que si u es armnica en Rn se
tiene la estimacin interior del gradiente en x0 :
|i u(x0 )|
n
(u(x0 ) nf u)
d0
d0 = dist (x0 , ).
n
(sup u u(x0 ))
d0
d0 = dist (x0 , ).
Anlogamente,
|i u(x0 )|
Prubese que:
|i u(x0 )|
n
u(x0 )
d0
d0 = dist (x0 , )
si u 0.
8. Prubese (teorema de Liouville) que toda funcin armnica en Rn y acotada superiormente es constante.
9. Singularidades evitables. Sea u C 2 (BR (0)\0)C(B R (0)\0) una funcin
armnica tal que u = 0 en {|x| = R} mientras,
u(x) = o(n (x)),
cuando x 0. Demustrese que u = 0 en BR (0) \ 0. Como corolario
prubese que si u C 2 ( \ x1 , . . . , xN ) es armnica junto con u(x) =
o(n (x xi )) cuando x xi , para cada i {1, . . . , N } entonces u admite una nica extensin armnica a . Finalmente, demustrese que el
problema de Dirichlet para la ecuacin de Laplace est mal propuesto en
toda regin G de la forma G = \ x1 , . . . , xN donde es un abierto de
Rn y {x1 , . . . , xN } es una familia nita de puntos de .
Indicacin. Seguir las ideas del Captulo ?? (anterior).
donde B = BR (0), del
10. Se considera la solucin clsica u C 2 (B) C(B),
problema de Dirichlet para la ecuacin de Laplace:
{
u = F (x) x B
u(x) = G(x) x B,
siendo F y G funciones continuas y radiales: F (x) = f (|x|), G(x) = g(|x|)
para sendas funciones f y g. Demustrese que tambin u(x) es radial.
9.8. EJERCICIOS
267
M=
f (y) dy.
f (y)
3 (x y)f (y) dy = G
dy,
V (x) = 4G
|x y|
donde 3 representa la solucin fundamental del laplaciano, prubese que
V (x)
GM
|x|
x .
13. Un dominio acotado Rn tiene la propiedad exterior del cono si para cada x0 existe un cono recto K = K(
u, ) := {tx Rn : 0 t
x
1, dist ( |x| , u
) } tal que (x0 + K) \ x0 Rn \ para algn > 0.
Denotando por Sn1 la variable angular en Rn determnese en x0 una
funcin barrera de la forma r w().
14. Problema de Dirchlet exterior. Considrese para n 3 el problema de
hallar u C 2 {|x| > R} C{|x| R}, R > 0, tal que:
{
u = 0
|x| > R
(E)
u=g
|x| = R,
268
|x|+
u(x) = ,
(I)
R2
x,
|x|2
R
|x |
|x|
|| = R,
R2
x. Ajustar despus la condicin (I) con ayuda de alguna
|x|2
funcin armnica conveniente. Contrastar los resultados con el caso
n = 2 estudiado por separacin de variables en el Captulo ??.
con x =
Apndice A
Funciones diferenciables
Dada una funcin real u : R, u = u(x), Rn un dominio (es decir un
conjunto abierto y conexo) resulta bien conocida la nocin de derivada parcial
de orden k N de u en un punto x (aqu N designa los naturales con el 0).
Para uso posterior se jan las siguientes notaciones:
Nn , = (1 , . . . , n ),
|| = 1 + + n , ! = 1 ! . . . n !,
si Rn es un vector, = 11 . . . nn ,
si k N, N (k) = card { Nn : || k},
para , { Nn : || k}, se dice que < si o bien || < || o por
contra, || = || pero i < i donde i = min {j : 1 j n, j = j },
a cada vector c = (c )||k RN (k) se asocia el polinomio de grado k en
x1 , . . . , xn :
c x .
p(x) =
||k
269
270
vl (x), aunque tomadas en distinto orden. Luego si en vl (x) se deriva -en el orden
que sea- 1 veces con respecto a x1 , . . . , n veces con respecto a xn (algunos
de los i muy bien pudieran ser cero) todas esas derivadas vl (x) coinciden con
la derivada cannica:
lu
(x).
1
x1 . . . n xn
Siguiendo a L. Schwartz dicha derivada se denota como u(x), en referencia al
multindice Nn . Por tanto, si 0 l k por cada Nn , || = l tendremos
l!
un total de ||!
! = ! derivadas parciales de orden l de u(x) que coinciden con
x x0 .
2u
(x0 ),
xj xi
i1 ,i2
vi11 vi22
2u
(x0 ).
xi2 xi1
u
Si todas las funciones xi x
(x) existen en un entorno U de x0 y son continuas
i1
2
en x0 , entonces u (x0 ).
271
En general, si u : R admite las k 1 primeras diferenciales, con u(k1) :
Lk1 (Rn , R), siendo Lm (Rn , R) el espacio de las aplicaciones m lineales,
e. d., aplicaciones
L:
Rn Rn
(v1 , . . . , vm )
R
L(v1 , . . . , vm )
que son lineales en cada vi cuando se jan las dems variables, entonces la
derivada (diferencial) k -sima u(k) (x0 ) si existe, se dene como la derivada de
u(k1) en x0 . Adems:
u(k) (x0 )(ei1 , . . . , eik ) =
ku
,
xik xi1
para cada i1 , . . . , ik {1, . . . , n}. Puede probarse adems 2 que la propia existencia de u(k) (x0 ) ya lleva consigo que dicha apliciacin multilineal es simtrica:
u(k) (x0 )(v(1) , . . . , v(n) ) = u(k) (x0 )(v1 , . . . , vn )
para cualesquiera vi Rn y permutacin del grupo simtrico de orden n.
En particular, ntese que la identidad de las derivadas cruzadas ij u(x0 ) =
ji u(x0 ) se deduce de la mera existencia de u (x0 ) (Comparar con el teorema
de Schwartz!). Con la misma notacin de arriba vi = (vji ) se tendr entonces
que:
n
ku
u(k) (v1 , . . . , vk ) =
vi11 . . . vikk
.
xik xi1
i ,...,i =1
1
ku
u(k) (x0 )(v, . . . , v) =
vi1 . . . vik
xik xi1
i ,...,i =1
1
k!
=
v 1 . . . vnn u(x0 )
! 1
||=k
k!
v u(x0 ).
!
||=k
l=1
2 Ver
272
||k1
1
1
u(x0 )(x x0 ) +
u(x0 + (x x0 ))(x x0 ) ,
!
!
||=k
Apndice B
Series Mltiples
1
1
n
x = lm
x1
...
xn
=
,
(1
x
)
.
. . (1 xn )
1
=1
=1
1
273
274
a sm , y adems c = m sm .
Denicin B.7. Sean c = c
(x) una familia de funciones reales en un abierto
Rn . Se dice que la serie c (x) converge uniformemente en si > 0
existe m() N tal que A {|| > m()} se tiene que
|SA (x)| <
para cada x .
n
N , 0 || k, la serie
c
(x)
<<
c
con
c < +,
k
entonces la suma de la serie c(x) = c (x) es de clase C de forma que, para
cada ,
c(x) =
c (x).
Demostracin. Se ve inmediatamente que Sm (x) es de Cauchy en sentido uniforme en . Fijados x0 , > 0, = (, x0 ) con |Sn (x) Sn (y)| < para
x, y B (x0 ) y n arbitrario. De ah se deduce fcilmente que s(x) = lm Sm (x)
es continua en x = x0 .
Sm (x) = Sm (x0 ) +
i Sm (x0 + s ei ) ds ,
0
275
si x = x0 + t ei , resulta entonces que
s(x) = s(x0 ) +
vi (x0 + s ei ) ds .
0
1
x
=
(1 x1 ) . . . (1 xn )
se obtiene como una serie en = {x/||x|| < 1}. Es de clase C , pero adems
todas sus derivadas se pueden obtener derivando trmino a trmino dicha serie.
Para ello, basta con demostrar que las series derivadas convergen uniformemente
sobre compactos de . Bastar con mayorarlas en ||x|| r < 1. La serie
derivada veces es:
!
x := A.
(
)!
k!
k!
=
z nk
k+1
(1 z)
(n k)!
nk
( + )!
!
(
lm
m+
|x | =
)
) ( m
m
(n + n )!
(1 + 1 )! 1
n
|x1 | . . .
|xn | =
1 !
n !
=n
=1
n
Teorema B.9. Sea c x una serie de potencias que converge (por tanto
absolutamente) en z = (zi ) con |zi | > 0 para cada i, e.d.,
|c ||z | < +.
276
c(x) =
En particular c(x) =
se tiene que:
!
c x .
( )!
! c(0)x .
c(x) =
!
c x
.
1
!( )!
Finalmente, para cada x1 D(0, |z|) existe un entorno N (x1 ) D(0, |z|) de x1
y constantes positivas M, r > 0 tales que:
||!
, x N (x1 ).
r||
extico es
a1 2 x1 y 2 con a1 2 = 1 2 /1 2 (ij la delta de Kronecker).
Es fcil ver que el dominio de convergencia absoluta es |xy| 1.
Apndice C
Supercies. Integrales de
supercie
Las siguientes lneas recogen la materia bsica que usaremos sobre integracin de supercies.
Se dice que S Rn es una supercie simple de clase C k , k 1, si existe
U Rn1 abierto y conexo y una apilciacin de clase C k
g:
U
s
Rn
g(s),
g = g(s)
y
{
rango
(C.1)
g
g
,...,
s1
sn1
(C.2)
}
=n1
s U.
(C.3)
278
1 j n 1,
donde x x0 , x0 = g(s0 ).
Para x0 = g(s0 ) S, el plano tangente a S en x0 se dene:
{
}
g
g
T Sx0 = span
.
,...,
s1
sn1
(C.4)
s=s0
determinante:
...
an
gn
s1
.. .
..
.
.
gn
sn1
g
Se dene el producto exterior de los vectores { s
, . . . , sg
} como:
1
n1
g
g
= A1 e1 + + An en ,
s1
sn1
279
donde Ai representa el adjunto del elemento ai del determinante. Si escribimos:
N (s) =
g
g
,
s1
sn1
F
.
Fxn
g
() =
N
.
1
n1
, = G(s) la aplicacin G = g1 g, G =
Si denotamos por G : U U
(G1 , . . . , Gn1 ), entonces,
()
N (s) = det G (s) N
=G(s)
Gk
sl
(C.5)
)
es el determinante jacobiano (denotado usual-
(G1 , . . . , Gn1 )
) que es por tanto no nulo en U . Se dice entonces que
(s1 , . . . , sn1 )
la parametrizacin g tiene la misma orientacin que g si det G (s) > 0 en U ,
siendo las orientaciones distintas si el determinante jacobiano es negativo. En
conclusin, una supercie simple slo admite dos orientaciones. Los lados de la
supercie se denen mediante la orientacin con respecto a una parametrizacin que sirve de referencia. Anlogamente, se dene el campo unitario normal
S, con respecto a g, como
mente
(x) =
N (s(x))
|N (s(x))|
s = g 1 (x) .
280
((x))/|N
((x))|, (x) = g 1 (x). Es decir, cualdonde = G(s) y (x) = N
quiera que sea la parametrizacin solamente hay dos campos unitarios normales:
(s).
Sea ahora f : S R una funcin que cumple que f g es medible
en U . Se
f dS =
f (g(s)) |N (s)| ds,
(C.6)
S
siempre que la integral de Lebesgue en (C.6) exista. Si tal es el caso se dice que
f es integrable-Lebesgue en S y se escribe f L1 (S). Se comprueba que si f es
integrable sobre S con respecto a una parametrizacin g, lo es con respecto a
cualquier otra parametrizacin equivalente g, siendo el resultado de la integral
independiente de g. Es habitual llamar a dS = |N (s)| ds el elemento de rea de
S. De hecho, se dene como rea de S a la correspondiente integral en donde
f = 1.
Ejemplo C.3. Las coordenadas esfricas en Rn se denen por induccin como,
x1
= cos 1
= sen 1 cos 2
x2
..
.
xn
= sen 1 sen 2 sen n2 sen n1 ,
en donde 0 1 , n2 , 0 < n1 < 2. Ntese que la aplicacin
(, 1 , . . . , n1 ) x
dene un difeomorsmo de (0, +) (0, ) (0, ) (0, 2) en Rn \ N , N =
{xn1 0, xn = 0}. Cuando en una integral n-dimensional se hace el cambio
de variable a esfricas de Rn , x = x(, 1 , . . . , n1 ), tenemos que eliminar N
del recinto de integracin. Esto no supone ningn problema porque N tiene
medida de Lebesgue zero. Por otro lado, el elemento de volumen dx se transforma
de acuerdo con la ley:
dx = n1 senn2 1 senn3 2 sen n2 dd1 dn1 .
(5)
Pues bien, resulta que el elemento de rea de la esfera de centro cero y de radio
r vale:
dSr = rn1 senn2 1 senn3 2 sen n2 d1 dn1 = rn1 dS1 ,
donde dS1 representa el rea de la esfera unidad Sn1 en Rn . Se deduce de aqu
que el rea n de la esfera unidad en Rn viene dado por:
n =
2 n/2
,
(n/2)
281
donde (z) =
senk d =
0
mientras (1/2) =
x(x) resulta,
((k + 1)/2)(1/2)
,
((k + 2)/2)
(n)
2
(n/2 1)!
=
(n 1)!
[n/2]
4
[n/2]!
n = 2
n = 2 + 1.
As, el rea de la esfera de radio r vale rn1 n . Una simple integracin muestra
n
que el volumen de la bola de radio r es rn n . Para uso posterior reservaremos
el smbolo,
2 n/2
n
=
.
n =
n
n(n/2)
para representar el volumen de la bola unidad en Rn .
Finalmente, es costumbre representar la frmula (5) como,
dx = n1 d dS1 ,
donde dS1 representa el elemento de rea de la esfera unidad de Rn .
Ejemplo C.4. Si f (x) = F (r), r = |x| es una funcin radial e integrable en el
dominio esfrico: = {a < |x| < b} su integral se puede escribir como,
F (r)rn1 dr.
f dx = n
2
(n/2)
|x|2
e
dx = n
er rn1 dr = n
= n/2 .
2
n
R
0
2
F dS,
supuesto que dicha integral exista. Remitimos a los Ejercicios del Captulo 1
para una interpretacin fsica de la nocin de ujo.
El concepto de supercie simple se extiende, por razones tcnicas, al de
supercie de clase C k (k 1). La propia esfera en R3 no es una supercie
simple (por qu?). Decimos que S es una supercie de clase C k si S = S1
Sm donde cada Si es una supercie simple y donde adems si (gi , Ui ), (gj , Uj )
parametrizan respectivamente a Si y Sj con Si Sj = entonces gj1 gi :
282
f dS =
f dS1 +
f dS2 +
f dSm ,
(6)
S
S1
S2 \S1
Sm \(S1 Sm1 )
siempre que todas las integrales del segundo miembro existan. Se demuestra que
el valor de la integral no depende de la eleccin de las supercies simples Si que
constituyen S, e. d., de la estructura diferenciable. En efecto si {Si }qi=1 es otra
estructura diferenciable de S, entonces
f dSq ,
f dS =
f dS1 +
f dS2 +
Sq \(S1 Sq1 )
S2 \S1
S
S1
Se dice que S es orientable si es posible elegir una familia de parametrizaciones de forma que el signo de los determinantes det ((gj1 gi ) (s)) sea el mismo,
siempre que Si Sj = . En este caso se puede denir sobre S un campo unitario normal que es continuo sobre S. En general se sabe que toda supercie
compacta y C k de Rn (por ejemplo la esfera) es orientable. Tambin se sabe
que hay supercies, en el sentido aqu considerado, que no son orientables. Es
un buen ejercicio construir una estructura diferenciable de la banda de Mbius,
probando despus que es una supercie no orientable de R3 .
Ejercicio C.1. Comprebese que la parametrizacin:
z = t b sen 2
donde 0 < b < a, 0 2, 1 < t < 1, dene una supercie equivalente a la
banda de Mbius.
Otra nocin importante es la de dominio acotado de clase C k . Son los abiertos
y conexos Rn acotados tales que su frontera es una supercie C k , que
al ser compacta, resulta ser orientable. Satisfacen la condicin adicional de que
es posible elegir un campo unitario normal a , = (x), de forma que para
cada x los puntos x + t(x) para 0 t < , mientras x + t(x)
para < t < 0, donde > 0 es sucientemente pequeo. Para un dominio
de clase C k , siempre designar tal campo normal que se llama la normal
unitaria exterior.
Se debe resaltar (ver [8], p. 354) que que toda supercie compacta S de Rn
es la frontera de un abierto de clase C k (no necesariamente acotado), de forma
que uno de sus campos normales es exterior a dicho abierto.
Podemos nalmente enunciar el siguiente resultado fundamental.
283
Teorema C.2 (Teorema de la divergencia). Sean Rn un dominio acotado
de clase C k , k 1 y F : Rn un campo C 1 denido en . Entonces se
tiene:
F dS =
div F dx.
P
Q
Q dx =
P Qi dS
P dx ,
x
x
i
i
div f dx = 0 .
R3
284
Apndice D
Q
(x, y)
R
f (x, y)
F (y) =
f (x, y) dx ,
286
y Q,
Entonces la funcin
|| k
para c. t. x .
f (x, y) dx
F (y) =
es de clase C k en Q y adems:
y f (x, y) dx ,
F (y) =
para todo || k.
Una consecuencia inmediata es el
Corolario D.2. Sea S una supercie C k , mientras que las funciones y f (x, y)
son de Carathodory en S Q, para || k. Supongamos adems que existe
g = g(x) L1 (S) tal que
|y f (x, y)| g(x),
y Q,
Entonces la funcin
|| k
para c. t. x S.
F (y) =
S
f (x, y) dSx
es de clase C k en Q y adems:
F (y) =
S
para todo || k.
y f (x, y) dSx ,
Bibliografa
[1] H. Brezis, Anlisis Funcional. Alianza Universidad Textos. Madrid, 1984.
[2] B. M. Budak, A. A. Samarskii, A. N. Tikhonov, Problemas de la fsica
matemtica (2 Vols.). Mir. Mosc, 1984.
[3] J. Crank, Mathematics of diusion. Clarendon Press. Oxford, 1993.
[4] J. B. Conway, Functions of one complex variable. Springer. New York,
1975.
[5] L. C. Evans, Partial dierential equations. Graduate Studies in Mathematics, 19. American Mathematical Society, Providence, RI, 2010.
[6] A. Dou, Ecuaciones en derivadas parciales. Dossat. Madrid, 1970.
[7] E. DiBenedetto, Partial Dierential Equations. Birkhuser, Boston, 1995.
[8] W. Fleming, Functions of Several Variables. Springer. New York, 1977.
[9] G. Folland, Introduction to Partial Dierential Equations. Princeton University Press. Princeton, N. J., 1976.
[10] A. Friedman, Partial Dierential Equations of Parabolic Type. PrenticeHall, Englewood Clis, N. J., 1964.
[11] Fritz John, Partial Dierential Equations. Springer. Berln, 1980.
[12] P. R. Garabedian, Partial Dierential Equations. John Willey. New
York, 19**.
[13] D. Gilbarg, N. Trudinger, Elliptic Partial Dierential Equations of
Second Order. Springer. Berln, 1983.
[14] S. Godounov, Ecuaciones de la fsica matemtica. Mir. Mosc, 1978.
[15] K. Gustafson, Introduction to Partial Dierential Equations and Hilbert
Space Methods. John Wiley. New York, 1980.
[16] V. Mijailov, Ecuaciones en derivadas parciales. Mir. Mosc, 1978.
287
288
BIBLIOGRAFA
[17] I. Peral, Primer Curso de Ecuaciones en Derivadas Parciales. AddisonWesley/Universidad Autnoma de Madrid. Madrid, 1995.
[18] M. Proter, H. Weinberger, Maximum Principles in Dierential Equations.
SpringerVerlag, New York, 1984.
[19] W. Rudin, Real and Complex Analysis. McGraw-Hill. New York, 1987.
[20] R. Seeley, Introduccin a las series e integrales de Fourier. Revert. Barcelona, 1970.
[21] M. M. Smirnov, Second-Order Partial Dierential Equations. Noordho.
Groningen, 1966.
[22] W. Strauss, Partial Dierential Equations: An Introduction. John Wiley.
New York, 1992.
[23] E. C. Titchmarsh, The theory of functions. Oxford University Press.
Oxford, 1944.
[24] A. A. Samarskii, A. N. Tikhonov, Equations from Mathematical Physics. Pergamon Press. New York, 1963.
[25] V. S. Vladimirov, Equations from mathematical physics. Marcel Dekker.
New York, 1971.
[26] H. F. Weimberger, Ecuaciones en Derivadas Parciales (con mtodos de
variable compleja y transformadas integrales). Revert. Barcelona, 1970.
[27] D. V. Widder, The heat equation. Academic Press, New York, 1975.