EDP Mañas-Alonso

U
Departamento de Fsica Terica II

(Mtodos Matemticos de la Fsica)
Universidad Complutense
Ecuaciones Diferenciales II
5
u(t, x)
0
1
0
x
1
Manuel Maas Baena y Luis Martnez Alonso
ndice General
1 Introduccin a las ecuaciones en derivadas parciales

1.1 Denicin de EDP. EDP lineales . . . . . . . . . . . . . . . . .
1.1.1 Aspectos generales . . . . . . . . . . . . . . . . . . . .
1.1.2 EDP relevantes en la Fsica . . . . . . . . . . . . . . . .
1.1.3 Cambio de variables independientes . . . . . . . . .
1.2 Condiciones de contorno o frontera. Condiciones iniciales
1.2.1 Dominios. Fronteras . . . . . . . . . . . . . . . . . . .
1.2.2 Condiciones de contorno . . . . . . . . . . . . . . . .
1.2.3 Condiciones iniciales . . . . . . . . . . . . . . . . . . .
1.2.4 Funciones diferenciables . . . . . . . . . . . . . . . . .
1.3 Existencia local de soluciones de EDP . . . . . . . . . . . . .
1.3.1 Planteamiento del problema . . . . . . . . . . . . . .
Funciones analticas . . . . . . . . . . . . . . . . . . . .
1.3.2 El teorema de Cauchy-Kovalevskaya . . . . . . . . . .
1.4 Problemas de Cauchy. Hipersupercies caractersticas . .
1.4.1 Planteamiento del problema . . . . . . . . . . . . . .
1.4.2 Curvas caractersticas para EDP de primer orden . .
1.4.3 Curvas caractersticas para EDP de segundo orden
1.5 Operadores diferenciales. Problemas lineales . . . . . . . .
1.5.1 Operadores diferenciales . . . . . . . . . . . . . . . .
1.5.2 Operadores de frontera y de condiciones iniciales .
1.5.3 Problemas lineales . . . . . . . . . . . . . . . . . . . . .
1.5.4 Caractersticas . . . . . . . . . . . . . . . . . . . . . . .
1.6 Cuestiones y problemas . . . . . . . . . . . . . . . . . . . . .
1.6.1 Cuestiones . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
5
6
8
8
9
15
16
17
17
17
20
24
24
26
29
33
33
35
37
37
38
38
2 Teora espectral de operadores diferenciales. Anlisis de Fourier

2.1 Producto escalar en espacios funcionales . . . . . . . . . . . . . .
2.1.1 Producto escalar . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.2 Cambios de coordenadas . . . . . . . . . . . . . . . . . . .
2.2 Conjuntos ortogonales de funciones . . . . . . . . . . . . . . . . .
2.2.1 Desarrollos en serie de funciones ortogonales . . . . . .
2.2.2 Conjuntos ortogonales completos . . . . . . . . . . . . . .
2.3 Operadores diferenciales simtricos . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
40
42
43
44
46
46
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
ii
NDICE GENERAL
2.4 Autovalores y autofunciones. Operadores simtricos . . . . . .
2.4.1 Problemas de autovalores . . . . . . . . . . . . . . . . . . .
2.4.2 Autovalores y autofunciones de operadores simtricos .
2.5 Operadores de SturmLiouville en una dimensin . . . . . . . .
2.5.1 Caso regular . . . . . . . . . . . . . . . . . . . . . . . . . . .
Carcter simtrico . . . . . . . . . . . . . . . . . . . . . . . .
Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.2 Caso singular . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5.3 Operadores de Schrdinger, Legendre y Bessel . . . . . .
2.6 Operadores de SturmLiouville en varias dimensiones . . . . .
2.7 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.7.1 Bases trigonomtricas de Fourier . . . . . . . . . . . . . .
2.7.2 Desarrollos de Fourier . . . . . . . . . . . . . . . . . . . . .
2.7.3 Convergencia de series de Fourier . . . . . . . . . . . . . .
2.8 Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . .
2.8.1 Denicin de la transformada de Fourier . . . . . . . . .
2.8.2 Propiedades de la transformada de Fourier . . . . . . . .
2.8.3 Transformadas seno y coseno . . . . . . . . . . . . . . . .
Transformada de Fourier en R3 para funciones radiales
2.9 Cuestiones y problemas . . . . . . . . . . . . . . . . . . . . . . . .
2.9.1 Cuestiones . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.9.2 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
47
48
50
50
51
51
52
53
54
59
61
61
64
72
77
77
82
88
90
90
90
94
3 Mtodos de separacin de variables y desarrollo en autofunciones

3.1 El mtodo de separacin de variables . . . . . . . . . . . . . . . . .
3.1.1 Operadores diferenciales separables . . . . . . . . . . . . .
3.1.2 Soluciones de EDP homogneas . . . . . . . . . . . . . . . .
3.1.3 Soluciones de problemas de contorno homogneos . . . .
3.1.4 El MSV y las ecuaciones de la fsica matemtica . . . . . .
3.2 La ecuacin de Helmholtz en coordenadas cartesianas . . . . . .
3.2.1 Partcula cuntica en una caja impenetrable . . . . . . . . .
3.2.2 Partcula cuntica en una caja con condiciones peridicas
3.2.3 Fluido en una tubera paralepipdica . . . . . . . . . . . . .
3.3 La ecuacin de Helmholtz en coordenadas cilndricas . . . . . . .
3.3.1 Coordenadas polares . . . . . . . . . . . . . . . . . . . . . . .
3.3.2 Partcula cuntica en una cua cilndrica impenetrable . .
3.3.3 Fluido en una tubera cilndrica . . . . . . . . . . . . . . . .
3.4 La ecuacin de Helmholtz en coordenadas esfricas . . . . . . . .
3.4.1 Resolucin de la ecuacin angular . . . . . . . . . . . . . . .
3.4.2 Resolucin de la ecuacin radial . . . . . . . . . . . . . . . .
3.4.3 Partcula cuntica en una caja esfrica . . . . . . . . . . . .
3.4.4 Fluido en el interior de una caja esfrica . . . . . . . . . . .
3.5 El mtodo de desarrollo en autofunciones (MDA) . . . . . . . . . .
3.5.1 El MDA en problemas inhomogneos . . . . . . . . . . . . .
3.5.2 Ejemplos en dos dimensiones . . . . . . . . . . . . . . . . . .
3.5.3 El mtodo de la transformada de Fourier . . . . . . . . . . .
3.6 Problemas de contorno en electrosttica y mecnica de uidos .
3.6.1 Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
95
95
96
97
99
103
105
105
107
108
110
112
112
115
118
119
123
126
128
129
129
133
143
151
151
NDICE GENERAL
3.6.2 El MDA en problemas de electrosttica y mecnica de uidos con
simetra esfrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.3 Esfera conductora cargada en equilibrio electrosttico en un campo
elctrico constante . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6.4 Fluido en movimiento uniforme deformado por una bola esfrica
3.7 Cuestiones y problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7.1 Cuestiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.7.2 Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iii
. 154
.
.
.
.
.
155
159
160
160
162
C APTULO
Introduccin a las ecuaciones

en derivadas parciales
n este primer captulo se presentan las deniciones generales sobre ecuaciones

en derivadas parciales (EDP) y se enuncia uno de los teoremas de existencia y
unicidad bsicos, debido a Cauchy y a Kovalevskaya. Tambin se introducen los
problemas de Cauchy y la nocin de hipersupercie caracterstica y se dedica una seccin a deniciones bsicas sobre operadores diferenciales y problemas de EDP lineales
asociados.
1. Denicin de EDP. EDP lineales
2. Condiciones de contorno. Condiciones iniciales
3. Existencia local de soluciones de EDP
4. Problemas de Cauchy. Hipersupercies caractersticas
5. Operadores diferenciales. Problemas lineales.
1.1
Denicin de EDP. EDP lineales
En esta seccin, tras una introduccin de carcter general sobre nmeros complejos
y derivadas parciales, presentamos algunas de las EDP ms relevantes en Fsica. Por
ltimo, analizamos como se transforman las EDP ante cambios de coordenadas.
1.1.1 Aspectos generales

Salvo mencin de lo contrario siempre consideraremos funciones dependientes de un
cierto nmero de variables reales y que toman valores complejos. Utilizaremos dos
tipos de notacin dependiendo de la situacin.
Notacin extendida Escribiremos u = u(x, y, . . . ) = u1 (x, y, . . . ) + i u2 (x, y, . . . )

para denotar una funcin que depende de las variables reales (x, y, . . . ), que toma
valores complejos cuya parte real e imaginaria vienen dadas por
1
nmeros
complejos
Introduccin a las ecuaciones en derivadas parciales

Re u = u1 ,
[Captulo 1
Im u = u2 .
Como nmeros complejos, los valores de la funcin u pueden conjugarse y poseen

mdulo y argumento:
u = u 1 i u2 ,
|u| = + u2 + u2 ,
1
2
arg u = arctan
u2
.
u1
Es til recordar que:
|u|2 = uu,
nmeros
complejos,
frmulas de
Euler
derivadas
parciales
u = |u| ei arg u .
Recordemos que en el lgebra de nmeros complejos, dados a, b R, se tienen las

frmulas de Euler:
ei b = cos b + i sen b,
ea+i b = ea ei b = ea (cos b + i sen b).
Frecuentemente, en las aplicaciones en la Fsica, una de las variables a tener en

cuenta es el tiempo t, as que en tales ocasiones denotaremos mediante (t, x, y, . . . ) a
las variables de las que dependen nuestras funciones.
Las derivadas de u, cuando existan, se obtendrn derivando las partes real e imaginaria de u y se denotarn como muestran los ejemplos siguientes:
u
u1
u2
=
+i
,
t
t
t
2u
2 u1
2 u2
=
=
+i
,
x 2
x 2
x 2
ut =
uxx
u
u1
u2
=
+i
,
x
x
x
2u
2 u1
2 u2
=
=
+i
xy
xy
xy
ux =
uxy
Supondremos siempre que las funciones que manejamos admiten derivadas hasta
el orden requerido por las operaciones que debamos efectuar. En particular tal orden
ha de ser suciente para que el resultado de una derivacin mltiple sea independiente
del orden en que efectuemos las derivaciones individuales. Por ejemplo:
uxxyxzy = uxxxyyz = uzxyxyx .
Ejemplos
1. Sea
u(x, y) = xy + i ex
2 +y 2
En este caso
u1 (x, y) = xy,
u2 (x, y) = ex
2 +y 2
por lo tanto
u = xy i ex
2 +y 2
2 +y 2 )
|u| = (xy)2 + e2(x
2 +y 2
, uxx = i(2 + 4x 2 )ex
Se calcula inmediatamente que

ux = y + 2 i xex
2 +y 2
1.1]
2. Sea
u(x, y) = exy+i(x
2 +y 2 )
Utilizando las frmulas de Euler

u = exy (cos(x 2 + y 2 ) + i sen(x 2 + y 2 )),
luego
u1 = exy cos(x 2 + y 2 ),
|u| = exy ,
u2 = exy sen(x 2 + y 2 ),
arg u = x 2 + y 2 .
As, las derivadas de primer orden son

ux = (y + i 2x)exy (cos(x 2 + y 2 ) + i sen(x 2 + y 2 )),
uy = (x + i 2y)exy (cos(x 2 + y 2 ) + i sen(x 2 + y 2 )).
Notacin abreviada En una notacin ms compacta las funciones las escribiremos
en la forma u = u(x) = u1 (x) + i u2 (x), donde
x = (x0 , x1 , . . . , xn1 ),
denota un punto de Rn . Frecuentemente, aunque no siempre, la variable x0 ser identicada con una variable tiempo t. Para las derivadas escribiremos
D u :=
|| u
n1
x0 0 x1 1 xn1
notacin
abreviada
|| = 0 + 1 + n1 ,
donde aparecen ndices vectoriales

= (0 , 1 , , n1 ) Zn Rn ,
+
con n componentes enteras i 0. Obsrvese que || es el orden de la derivada D u
. Por denicin si = (0, 0, . . . , 0), entonces D u u.
La relacin entre los dos tipos de notacin es fcil de establecer. Por ejemplo si
(x0 , x1 , x2 , x3 ) = (t, x, y, z):
uxxzyz = D u,
= (0, 2, 1, 2).
Cuando tengamos una sola variable independiente x, usaremos la notacin

D n u :=
dn u
.
d xn
Para denir el concepto de EDP es conveniente usar la notacin abreviada.

EDP
[Captulo 1
Denicin 1.1.1. Una EDP es una ecuacin de la forma:

F (x, D u) = 0,
(1.1)
siendo F una funcin que depende de x = (x0 , x1 , . . . , xn1 ) (n > 1), y de un

nmero nito de derivadas D u. La nomenclatura es la siguiente:
i) Las variables xi , i = 0, . . . , n 1, se denominan variables independientes de la
EDP.
ii) La funcin incgnita u de la EDP se denomina variable dependiente de la EDP.
iii) Si r es el orden mximo de las derivadas D u de las que depende la funcin
F , entonces r es por denicin el orden de la EDP.
EDP lineal
Aunque pueden tratarse situaciones ms generales de gran inters, aqu slo consideraremos EDP correspondientes a funciones F que dependen polinomicamente en las
variables D u. No impondremos tal tipo de restricciones a la dependencia respecto
de las variables xi . En particular, si F es un polinomio de grado uno en D u se dice
que la EDP es una EDP lineal. En ese caso la EDP es de la forma
a (x)D u f (x) = 0,
(1.2)
donde signica que la suma se extiende a un conjunto nito de multi-ndices

con || 0. Las funciones a (x) y f (x) se suponen dadas. Normalmente cuando
tratamos con una ecuacin como (1.2) la escribimos como
a (x)D u = f (x),
EDP homognea
y nos referimos al trmino f (x) como el trmino inhomogneo de la ecuacin. Si

f (x) 0 diremos que la EDP lineal es homognea.
En general las EDP no lineales son mucho ms difciles de tratar que las lineales.
Para considerar EDP concretas la notacin extendida es ms conveniente.
Ejemplos
1. La EDP
ux + ex+y uy u = x 2 y 2 ,
es lineal de orden 1.
Sin embargo, existen situaciones fsicas en que aparecen ecuaciones ms generales. Por ejemplo,
la ecuacin de sine-Gordon:
utt uxx = sen u
se utiliza en la descripcin de la transparencia auto-inducida o en el estudio de las uniones Josephson.
As mismo, tambin es relevante en geometra diferencial.
Una extensin del concepto de EDP lineal es el de EDP cuasi-lineal, ahora se exige linealidad tan
slo en las derivadas de orden ms alto.
1.1]
2. La EDP
uxx u + uy + xy = 0,
es no lineal, obsrvese el trmino uxx u, y de orden 2.
1.1.2 EDP relevantes en la Fsica

La Fsica est repleta de EDP lineales y no lineales. Tanto en electromagnetismo como
en mecnica cuntica las ecuaciones bsicas son lineales, pero en otras reas, como la
dinmica de medios continuos o la relatividad general, las ecuaciones fundamentales
son no lineales.
Hay cuatro ejemplos de EDP lineales, todas ellas de segundo orden, a las que vamos
a dedicar un inters particular en este curso:
1. La ecuacin de Poisson
Poisson
uxx + uyy + uzz = f ,

siendo f = f (x, y, z) una funcin dada. Si f 0 la EDP se conoce como ecuacin
de Laplace. Ambas EDP aparecen a menudo en electrosttica y en mecnica de
uidos.
2. La ecuacin de ondas
ondas
utt = c 2 uxx + uyy + uzz ,

donde c es un nmero real positivo que representa la velocidad de propagacin
de las ondas.
3. La ecuacin de Schrdinger
i ut =
2m
Schrdinger
uxx + uyy + uzz + q(x, y, z)u,
que describe la dinmica de una partcula de masa m en un campo de fuerzas

con funcin potencial q = q(x, y, z). El smbolo representa la constante de
Planck normalizada. Es de observar la presencia del nmero imaginario i en el
coeciente de ut . Este hecho es el principal motivo por el que en este curso
consideramos funciones con valores complejos.
4. La ecuacin del calor
calor
ut = a2 uxx + uyy + uzz ,

es relevante en procesos de difusin trmica y de difusin de uidos en general.
El smbolo a2 representa el coeciente de difusin.
Para escribir de forma abreviada las ecuaciones anteriores es conveniente usar la notacin del operador Laplaciano:
u := uxx + uyy + uzz .
As se obtiene:
[Captulo 1
1. Ecuacin de Poisson en 3 dimensiones:

u = f .
2. Ecuacin de ondas en 1+3 dimensiones:

utt = c 2 u.
3. Ecuacin de Schrdinger en 1+3 dimensiones:

i ut =
2m
u + qu.
4. La ecuacin del calor en 1+3 dimensiones:

ut = a2 u.
En ocasiones consideraremos versiones simplicadas de las ecuaciones anteriores en
las que u no depende de algunas de las variables (x, y, z). As, una versin en 1+2
dimensiones de las ecuaciones de ondas, Schrdinger o del calor es una EDP en que
suponemos que u depende de (t, x, y) solamente.
Aunque no vamos a tratar tales problemas en este curso, hay muchos ejemplos de
EDP no lineales de gran importancia por sus aplicaciones en la Fsica. Los mtodos
que se emplean en su estudio son muy diferentes de los desarrollados para las EDP
lineales. Solo mostraremos un par de EDP no lineales que gozan de gran popularidad
actualmente
Kortewegde
Vries
1. La ecuacin de Kortewegde Vries

ut + uxxx + uux = 0,
con aplicaciones en hidrodinmica, fsica del estado slido y fsica del plasma.
Schrdinger no
lineal
2. La ecuacin de Schrdinger no lineal

i ut = uxx + |u|2 u,
con relevancia en diversos campos entre los que destaca la ptica no lineal.
1.1.3 Cambio de variables independientes

cambios de
coordenadas
Dada una EDP (1.1), una de las manipulaciones ms frecuentes que debemos efectuar
es determinar la forma que adquiere cuando efectuamos un cambio de variables independientes x y = y(x) con ecuaciones de transformacin:
yi = yi (x0 , x1 , . . . , xn1 ),
A veces en Fsica se utiliza el dAlambertiano:

forma u = 0.
i = 0, 1, . . . , n 1,
u = utt c 2 u, tomando la ecuacin de ondas la
1.1]
que siempre supondremos invertible y x = x(y), con ecuaciones de transformacin inversa

xi = xi (y0 , y1 , . . . , yn1 ),
i = 0, 1, . . . , n 1.
Para simplicar no utilizaremos un nuevo smbolo de funcin para la funcin compuesta u(x(y)), que simplemente denotaremos u(y).
La forma que toma (1.1) en las nuevas variables se determina sustituyendo en
F (x, D u) las variables x por x(y), y las derivadas respecto de x (D u) por sus
expresiones en trminos de derivadas respecto de y. Para esto ltimo hay que utilizar
la regla de la cadena. Las expresiones de las derivadas de ordenes uno y dos son
u
=
xi
2u
=
xi xj
xi
yj u
xj yj
u yi
,
yi xi
yi yj
2u
+
xi xj yi yj
=
i
2 yj u
xi xj yj
En ocasiones un cambio de variables puede convertir una EDP en otra ms simple.

El ejemplo clsico es la ecuacin de ondas en 1+1 dimensiones.
Ejemplos
i) Sea la EDP:
utt uxx = 0.
Efectuemos el cambio de variable:
y1 = t + x,
y2 = t x.
con cambio inverso:

t=
1
(y1 + y2 ),
2
x=
1
(y1 y2 )
2
Inmediatamente se obtiene:
y1
y2
+ uy 2
= u y 1 + uy 2 ,
t
t
y1
y2
+ uy2
= uy1 uy2 ,
u x = uy 1
x
x
+
(uy1 + uy2 ) = uy1 y1 + uy2 y2 + 2uy1 y2 ,
utt =
y1
y2
uxx =
(uy1 uy2 ) = uy1 y1 + uy2 y2 2uy1 y2 .
y1
y2
u t = uy 1
Como consecuencia la EDP se escribe:

4uy1 y2 = 0.
En su nueva forma la EDP puede integrarse y se obtiene la solucin:
u = f (y1 ) + g(y2 ) = f (x + t) + g(t x),
donde f y g son funciones arbitrarias.
[Captulo 1
ii) Formulemos la EDP

ux + uy = x 2 y,
en coordenadas polares:
x = r cos ,
r = x2 + y 2,
y = r sen ,
= arctan
y
.
x
Aplicando la regla de la cadena:

ux =
uy =
x
x2 + y 2
y
x2 + y 2
ur
ur +
x2
y
sen
u = cos ur
u ,
2
+y
r
x2
x
cos
u = sen ur +
u .
2
+y
r
Luego la EDP se escribe:

(cos + sen )ur +
1.2
1
(cos sen )u = r 3 sen cos2 .
r
Condiciones de contorno o frontera. Condiciones iniciales
1.2.1 Dominios. Fronteras

dominios
En general cuando consideramos una EDP (1.1) la funcin incgnita u = u(x) se supone denida sobre un conjunto dado de Rn . Supondremos siempre que satisface
las dos condiciones siguientes:
i) es un conjunto abierto. Esto es, para todo punto a existe un radio r > 0
tal que todo punto x Rn cuya distancia a a es inferior a r (d(x, a) < r )
pertenece a .
ii) es conexo.
Es decir, no es posible encontrar dos conjuntos abiertos no vacos i , (i =
1, 2) tales que 1 2 = y 1 2 = .
frontera
En tal caso diremos que es un dominio de Rn . La frontera S() de es el conjunto

formado por los puntos a Rn tales que para todo radio r > 0, existen puntos x ,tanto
dentro x como fuera x , tales que d(x, a) < r . Obviamente la propiedad
i) signica que no tiene puntos en comn con su frontera S(). En cuanto a la
propiedad ii), podemos interpretarla como la prohibicin de que pueda dividirse en
dos sectores separados. El conjunto unin
= S(),
se denomina el cierre de .
A continuacin mostramos diagramas de un dominio y de conjuntos que no son
dominios dado que violan la propiedad i) o la propiedad ii).
1.2]

Frontera
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
Dominio
conjunto no abierto
conjunto no conexo
xxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
1.2.2 Condiciones de contorno

Dada una EDP sobre un dominio Rn :
F (x, D u) = 0,
x ,
(1.3)
normalmente se nos pide no slo que encontremos una funcin u = u(x) que satisfaga la EDP en todo punto de , sino tambin que tal funcin satisfaga una serie de
condiciones
fi (x, D u) = 0,
x Si ,
i = 1, . . . m,
donde los smbolos Si denotan partes de la frontera S() de , y las fi son funciones
dependientes de las variables xi , y de un nmero nito de derivadas D u con ||
0. Condiciones de esta clase se denominan condiciones de contorno tambin se
conocen como condiciones de frontera, en este texto utilizaremos ambas .. Solo
consideraremos condiciones de contorno en las que las funciones fi son polinomios
de grado uno en las variables D u (condiciones de contorno lineales). Es decir, de la
forma
bi, (x)D u gi (x) = 0,
x Si ,
o bien
bi, D u|Si = gi .
Un problema consistente en resolver una EDP sobre un dominio y un conjunto de condiciones de contorno se denomina problema de contorno o problema de frontera.
condiciones de
contorno
10
[Captulo 1
Ejemplos
1. La ecuacin de Laplace en una caja rectangular. Consideramos la EDP
uxx + uyy + uzz = 0,
en un dominio = [0, a] [0, b] [0, c]. La condiciones de contorno son
u(x, y, 0) = 0,
u(x, y, c) = g(x, y),
u(0, y, z) = 0,
u(a, y, z) = 0,
u(x, 0, z) = 0,
u(x, b, z) = 0.
La solucin u(x, y, z) a este problema modela el potencial electrosttico en una

caja con todas sus caras a potencial cero mientras que la sexta tiene el potencial
g(x, y).
R3
u(x, y, c) = g(x, y)
u(0, y, z) = 0
b
c
u(x, b, z) = 0
u(x, 0, z) = 0
a
uxx + uyy + uzz = 0
u(a, y, z) = 0
u(x, y, 0) = 0
2. Una EDP no siempre admite la imposicin de determinadas condiciones de contorno. A titulo de ejemplo podemos considerar la ecuacin de ondas
u1 2 = 0
en el cuadrado (1 , 2 ) [0, 1][0, 1]. Impongamos las condiciones de contorno
siguientes
u(1 , 0) = f1 (1 ),
u(1 , 1) = f2 (1 ),
u(0, 2 ) = g1 (2 ),
u(1, 2 ) = g2 (2 ).
Veamos ahora que este problema puede no tener solucin. Como se satisface
la la EDP u1 2 = 0 la funcin u1 no depende de 2 , u1 = u1 (1 ), y por ello
debemos tener
f1 = f2 ,
y un argumento anlogo conduce a
g1 = g2 .
Por tanto, para que el problema de contorno tenga solucin es necesario que se
satisfagan condiciones adicionales sobre los datos de frontera. Este problema
est relacionado con las curvas caractersticas que discutiremos ms adelante.
1.2]
2
u(1 , 1) = f2 (1 )
u(1, 2 ) = g2 (2 )
u(0, 2 ) = g1 (2 )
R2
u1 2 = 0
u(1 , 0) = f1 (1 )
En problemas sobre un dominio en el espacio R3 se utiliza la siguiente nomenclatura para las condiciones de frontera ms simples sobre una supercie S contenida
en S():
1. Condicin de Dirichlet:
u|S = g.
2. Condicin de Neumann:
u
n
= g,
S
siendo
u
:= n u = n1 ux + n2 uy + n3 uz ,
n
donde n = (n1 , n2 , n3 ) es el campo de vectores normales a la supercie S.
3. Condicin mixta
au + b
u
n
= g.
S
Aqu a y b denotan funciones dadas.
11
12
[Captulo 1
En ocasiones consideraremos versiones en R2 de las anteriores condiciones de contorno. En tales casos ser un recinto del plano, S una curva contenida en S() y en
lugar de la notacin S, S() preferiremos usar , () respectivamente.
n
En todo caso, siempre que trabajemos con una condicin de contorno sobre una
parte S de la frontera de Rn , supondremos que S puede describirse mediante una
ecuacin implcita:
fS (x) = 0,
tal que
fS (x) 0,
normal unitaria
x S.
Podemos denir un campo normal unitario segn

1.2]
13
n(x) :=
fS (x)
.
fS (x)
Ejemplos Los ejemplos siguientes muestran los campos de vectores normales y las
correspondientes operaciones de derivacin en la direccin del vector normal.
1. crculo con centro el origen y radio r en R2 , = ().

f (x, y) = x 2 + y 2 r 2 ,
n=
(2x, 2y)
(2x, 2y)
1
(x, y),
r
u
n
1
xux + yuy .
r
R2
r
n
x
2. interior del cilindro con eje OZ y radio r en R3 , S = S().

fS (x, y, z) = x 2 + y 2 r 2 ,
n=
(2x, 2y, 0)
(2x, 2y, 0)
1
(x, y, 0),
r
u
n
=
S
1
xux + yuy .
r
14
[Captulo 1
R3
r
S
3. interior de la esfera centrada en a = (a1 , a2 , a3 ) y radio r en R3 , S = S().

fS (x, y, z) = (x a1 )2 + (y a2 )2 + (z a3 )2 r 2 ,
n=
1
(x a1 , y a2 , z a3 ),
r
u
n
=
S
1
(x a1 )ux + (y a2 )uy + (z a3 )uz .
r
S
n
R3
a
y
Existe otro tipo de condiciones de contorno asociadas con pares apropiados de

hipersupercies de la frontera de . Supongamos dos hipersupercies Si , i = 1, 2 de
1.2]
15
Rn contenidas en S(), tales que existe una aplicacin biyectiva entre ellas
: S1 S2 ,
x (x),
tal que tanto como su inversa, expresadas en coordenadas locales de sus supercies
dominio, son funciones que admiten todas las derivadas. Una condicin de contorno
peridica viene expresada como una ecuacin de la forma
f (x, D u(x)) = f ( (x), D u( (x)),
condiciones de
contorno
peridicas
x S1 .
1.2.3 Condiciones iniciales

Otro tipo de condiciones que se suelen exigir a las soluciones de una EDP son las
denominadas condiciones iniciales respecto de una de las variables independientes
que denotaremos t o x0 . Normalmente son un conjunto de condiciones de la forma:
u|t=t0 = 0 ,
u
t
= 1 , . . . ,
t=t0
r 1 u
t r 1
= r 1 ,
t=t0
donde r 0 y las funciones i dependen del resto de variables independientes. En

general, las condiciones iniciales no son condiciones de contorno ya que tambin se
consideran situaciones en las que el conjunto determinado por la ecuacin t = t0
puede estar en el interior de .
En problemas fsicos en los que se analiza la evolucin de un sistema suelen coexistir tanto condiciones de contorno como iniciales.
Los siguientes ejemplos muestran un par de situaciones genricas diferentes.
Ejemplos
1. Sea la ecuacin del calor en 1+1 dimensiones:
ut = uxx ,
sobre el dominio
= {(t, x) R2 | t > 0, 1 < x < 2}.
t
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxx
t=0
condiciones
iniciales
16
[Captulo 1
Podemos imponer las condiciones

u|t=0 = (x 1)(x 2), u|x=1 = 0, ux=2 = 0.
En este caso la condicin inicial es tambin condicin de contorno.
2. Sea la ecuacin de Schrdinger en 1+1 dimensiones:
i ut = uxx ,
sobre el dominio
= {(t, x) R2 | < t < , 1 < x < 1}.
t
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxx
x
1
t=0
Podemos imponer las condiciones

2
u|t=0 = sen( x)ex , u|x=1 = 0, u|x=1 = 0.

En este caso la condicin inicial no es condicin de contorno.
1.2.4 Funciones diferenciables
funciones
diferenciables
Cuando se buscan soluciones de un problema de contorno se consideran diferentes

tipos de espacios funcionales en donde investigar la existencia de tales soluciones. Uno
de los espacios ms utilizados es el espacio C () de las funciones diferenciables
en . Por denicin una funcin f = f (x) pertenece a C () si admite todas las
derivadas parciales de todos los ordenes D f (x) en todos los puntos x . Las
propiedades de las funciones diferenciables que ms nos interesan ahora son
1) Si f , g C () entonces las funciones
f (x) + g(x), f (x) g(x),
tambin pertenecen a C () , C.
f (x)
, (g(x) 0),
g(x)
1.3]
17
Existencia local de soluciones de EDP
2) La composicin de dos funciones diferenciables

x y = f (x) z = g(y) = g(f (x)),
es tambin una funcin diferenciable. Ahora f : 1 2 y g : 2 C.
Para los problemas de contorno suele utilizarse el espacio C () de funciones diferenciables en el cierre de . Por denicin u C () si u C (0 ) para algn
abierto 0 .
1.3
1.3.1 Planteamiento del problema

Dada una EDP (1.1) sobre un dominio Rn , la primera cuestin natural a considerar
es la existencia de soluciones u = u(x). Por nuestra experiencia con las ecuaciones
diferenciales ordinarias debemos intuir que los resultados generales que podemos
esperar han de ser locales. Es decir, resultados asegurando la existencia de soluciones
en algn abierto alrededor de cada punto de .
Un aspecto importante a considerar es el tipo de soluciones que buscamos. Es
decir, las propiedades que exigimos a u = u(x). Nuestra decisin en este aspecto est
condicionada por las propiedades de la propia funcin F = F (x, D u) que dene la
EDP. En este sentido vamos a concentrarnos ahora en una clase de problemas en que es
posible deducir un importante resultado sobre la existencia de soluciones analticas.
En este punto es importante comentar la nocin de funcin analtica.
existencia local
Funciones analticas
El espacio A() de funciones analticas en un abierto est formado por las funciones f = f (x) tales que para todo punto a existe un radio r > 0 y un desarrollo
en serie mltiple de potencias de f
c (x a) ,
f (x) =
(x a) := (x0 a0 )0 (x1 a1 )1 (xn an )n1 ,
||0
convergente en la bola |x a| < r .

Las propiedades de las funciones analticas que ms nos interesan ahora son
1) Toda funcin analtica en es tambin una funcin diferenciable en . Adems
sus desarrollos en serie de potencias alrededor de cualquier a coinciden con
sus desarrollos de Taylor. Es decir
c (x a) ,
f (x) =
||0
c =
1
D f (a).
!
2) Si f , g A() entonces las funciones

f (x) + g(x), f (x) g(x),
f (x)
, (g(x) 0),
g(x)
tambin pertenecen a A() , C.

funciones
analticas
18
[Captulo 1
3) La composicin de dos funciones analticas

x y = f (x) z = g(y) = g(f (x)),
es tambin una funcin analtica. Aqu tenemos, f : 1 2 y g : 2 C.
forma normal
Pasamos a introducir la nocin de EDP en forma normal o de Kovalevskaya.

Denicin 1.3.1. Sea una EDP (1.1) con variables independientes
x = (x0 = t, x), x := (x1 , . . . , xn1 ).
Decimos que la EDP posee forma normal (o de Kovalevskaya) de orden r > 0
respecto de la variable t si puede escribirse como:
r u
= G(x, D u),
t r
r > 0,
(1.4)
siendo G una funcin que depende polinomicamente de un nmero nito de derivadas

D u =
0 u 1 u
n1 u
1
n1 ,
t 0 x1
xn1
pero debe ser independiente de las siguientes

r u
;
t r
D u,
con || > r .
Comentarios
1. De acuerdo con la denicin anterior r es el orden de (1.4).
2. Para analizar si una EDP posee la forma normal respecto de una de sus variables
independientes t, lo primero que hay que hacer es despejar la derivada respecto
de t de orden ms alto y despus comprobar que en el segundo miembro no
aparezcan derivadas de orden estrictamente superior.
Ejemplos
1. La EDP
ux uy = log(xy),
posee la forma normal respecto de cualquiera de sus variables x y, pues puede
escribirse como
ux = uy + log(xy),
o bien
uy = ux log(xy),
y en ambos casos se verica la condicin de normalidad respectiva.
Sin embargo la funcin log(xy) slo es analtica cuando xy > 0, luego la EDP es normal-analtica
(ver 1.3.2) en x e y en los dominios 1 = {(x, y) R2 , con x > 0,y > 0} y 2 = {(x, y)
R2 , con x < 0,y < 0}.
1.3]
19
2. La ecuacin del calor en 1+1 dimensiones

ut uxx = 0,
es claramente de forma normal respecto de la variable x, pero no lo es respecto
de t ya que al despejar ut
ut = uxx ,
en el segundo miembro queda una derivada de orden mayor que el de ut .
3. La ecuacin de Kortewegde Vries
uxxx = uux ut ,
es claramente normal respecto de x.
4. Las ecuaciones de Poisson y de Laplace en 3 dimensiones son normales respecto
de sus tres variables independientes x, y, z. La ecuacin de ondas en 1+3 dimensiones es normal respecto de sus cuatro variables independientes t, x, y, z.
Las ecuaciones de Schrdinger y del calor en 1+3 dimensiones no son normales
respecto de t y si lo son respecto de x, y, z.
Denicin 1.3.2. Dada una EDP normal de orden r respecto de una variable t
r u
= G(x, D u), x ,
t r
problema de
Cauchy
(1.5)
denida sobre un dominio

= I ,
siendo I un intervalo abierto de R y un abierto de Rn1 , un problema de Cauchy
con valores iniciales consiste en determinar una solucin u = u(x) de (1.5) que
satisfaga las r condiciones iniciales
u(t0 , x) = 0 (x),
u
(t0 , x) = 1 (x),
t
.
.
.
(1.6)
r 1 u
(t0 , x) = r 1 (x),
t r 1
donde t0 I y i = i (x) son una serie de funciones dadas, que reciben el nombre
de valores iniciales del problema.
Ejemplo Para la ecuacin de Schrdinger no lineal, que tiene la siguiente forma normal con respecto a x,
uxx = i ut + u3 ,
u : R,
20
[Captulo 1
se plantea el problema de Cauchy de condiciones iniciales

u(t, 0) = f (t),
u
(t, 0) = g(t).
x
1.3.2 El teorema de Cauchy-Kovalevskaya
teorema de
CauchyKovalevskaya
Uno de los resultados generales de la teora de EDP, que se aplica tanto a los casos
lineales como no lineales, es el siguiente teorema debido a Cauchy y Kovalevskaya, al
cual nos referiremos como teorema CK.
Teorema 1.3.3. Sea un problema normal de Cauchy con valores iniciales (1.5)(1.6) para una EDP normal y x0 = (t0 , x 0 ) un punto de su dominio tal que
i) Condicin de analiticidad de la EDP.
Como funcin de x la funcin G(x, D u) del segundo miembro de (1.5) es
analtica en x0 .
ii) Condicin de analiticidad de los valores iniciales.
Los valores iniciales i (x), (i = 0, . . . , r 1) son funciones analticas en x 0 .
Entonces existe una funcin u = u(x) denida sobre un abierto 0 que
contiene a x0 tal que:
i) La funcin u = u(x) satisface la EDP en 0 y las condiciones iniciales en todo
punto (t0 , x) 0 .
ii) La funcin u = u(x) es la nica funcin analtica en 0 que satisface tales
propiedades.
Comentarios
1. El teorema nos garantiza la existencia y unicidad locales de una solucin analtica
de un problema de Cauchy con datos iniciales, siempre que se verique que la EDP
es normal y que tanto la EDP como los datos iniciales dependan analticamente
de las variables independientes.
t
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xx
xxxxxxxxxxx
xx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
xxxxxxxxxxx
t0
x0
1.3]
2. Hay una clara analoga entre este resultado y los teoremas de existencia bsicos
de la teora de ecuaciones diferenciales ordinarias (EDO). Diremos que una EDP
es normal-analtica si es normal y satisface la condicin i) de analiticidad del
teorema CK. Entonces, bajo condiciones apropiadas se verica:
La solucin local de una EDO de orden r depende de r constantes arbitrarias.
La solucin analtica local de una EDP normal-analtica de orden r depende de r
funciones analticas arbitrarias.
3. La demostracin del teorema, que no proporcionaremos en este curso, est basada en la generacin de una solucin en forma de serie mltiple de Taylor alrededor de x0
u(t, x) =
1
D u(x0 )(x x0 ) .
!
||0
Las incgnitas a determinar son las derivadas D u(x0 ). Para ello observemos
que derivando respecto de las variables xi , i 1, las condiciones iniciales (1.6),
podemos hallar todas las derivadas del tipo
||0 0
|| u
n1 (t0 , x) =
n1 (x),
xn1
x1 1 xn1
t 0 x1 1
con 0 r 1. Para calcular las derivadas con 0 r debemos utilizar las

derivadas anteriores as como la propia EDP (1.5) y sus derivadas. Gracias a la
forma normal de la EDP es posible de esta forma generar todas las derivadas
D u(x0 ) de forma unvoca. Este proceso demuestra la unicidad de la solucin
analtica de (1.5)-(1.6). La demostracin de la convergencia de la serie, es decir
del hecho de que realmente construimos una funcin, es ms delicada.
4. La condicin t = t0 (t0 I) determina un trozo de hiperplano en S . Si
la funcin G(x, D u) es analtica en S y los datos iniciales i (x) son funciones
analticas en , entonces el teorema asegura la existencia de una solucin analtica local alrededor de cada punto de S. Como consecuencia puede demostrarse
que existe una solucin analtica nica del problema de Cauchy en un abierto 0
que contiene a S.
t
0
t0
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S
x
Para entender el alcance de este importante resultado es conveniente considerar

los ejemplos siguientes.
21
22
[Captulo 1
Ejemplos
1. Consideremos el problema siguiente
ut = ux , (t, x) R2 ,
u(0, x) = ex .
Claramente la EDP es normal respecto de t, y se cumplen las condiciones de
dependencia analtica en todo R2 . Busquemos una solucin local alrededor del
punto (t; x) = (0, 0):
u(t, x) =
n0,m0
1 n+m u
(0, 0)t n x m .
n!m! t n x m
(1.7)
Derivando respecto de x la condicin inicial tenemos que

m ex
mu
(0, 0) =
m
x
x m
= e0 = 1.
(1.8)
x=0
Por otra parte derivando respecto de t la EDP

n+1 u
n+1 u
= n
,
t n+1
t x
n 0,
e iterando este resultado se obtiene

n+1 u
n+1 u
n+1 u
= n1 2 = =
.
t n+1
t
x
x n+1
Derivando esta ltima relacin respecto de x se obtiene
n+m+1 u
n+m+1 u
=
,
t n+1 x m
x n+m+1
n, m 0.
Por tanto
n+m+1 u
n+m+1 u
(0, 0) =
(0, 0)
t n+1 x m
x n+m+1
n+m+1 ex
= 1, n, m 0.
x n+m+1 x=0
(1.9)
De esta forma usando (1.8)-(1.9) en (1.7) se obtiene

u(t, x) =
n0,m0
1
tnxm
n!m!
1 n
1 m
t
x
n! m0 m!
n0
= et ex .
Puede comprobarse directamente que hemos construido una solucin del problema.
La solucin general de la ecuacin ut = ux tiene la forma f (t + x) donde f es cualquier funcin

derivable. Si adems queremos que u(0, x) = ex debemos tener f (x) = ex y as u(t, x) = et+x como
hemos obtenido.
1.3]
23
2. Ausencia de normalidad
Consideremos ahora el problema de Cauchy:
ut = uxx , (t, x) R (1, 1),
u(0, x) =
1
.
1x
En este caso, aunque se cumplen las condiciones de analiticidad del teorema

CK en todo el dominio, la EDP no es normal respecto de t. Luego no podemos
asegurar que se veriquen las conclusiones del teorema CK. De hecho vamos a
comprobar que no se cumplen. Para ello vamos a suponer que existe una solucin
analtica local en (t, x) = (0, 0)
u(t, x) =
n0,m0
1 n+m u
(0, 0)t n x m .
n!m! t n x m
La serie ha de ser convergente para todo (t, x) en algn abierto del tipo (r0 , r0 )
(r1 , r1 ). Para todo x0 tal que |x0 | < r1 la funcin u(t, x0 ) ser una funcin
analtica de t alrededor de t = 0, luego admitir un desarrollo en serie
an (x0 )t n ,
u(t, x0 ) =
(1.10)
n0
donde
an (x0 ) =
1 nu
(0, x0 ).
n! t n
Pero derivando la EDP

nu
n+1 u
= n1 2 ,
t n
t
x
n 0,
e iterando este resultado se obtiene

nu
n+4 u
2n u
= n2 4 = =
.
t n
t
x
x 2n
Por otra parte derivando respecto de x la condicin inicial tenemos que
m (1 x)1
mu
(0, x0 ) =
x m
x m
=
x=x0
m!
.
(1 x0 )m+1
Por tanto
an (x0 ) =
(2n)!
.
n!(1 x0 )2n+1
Pero este resultado implica que la serie (1.10) tiene radio de convergencia r = 0
ya que aplicando la frmula bien conocida:
1
an+1
= lim
n
r
an
(2n + 2)(2n + 1)
= .
= lim
n (n + 1)(1 x0 )2
Luego no es posible encontrar una solucin analtica alrededor de (0, 0).
A pesar de que no existe una solucin analtica local en (0, 0) de este problema
de Cauchy, puede demostrarse que s que existe una solucin de clase C .
24
[Captulo 1
3. Ausencia de la condicin i) de analiticidad de la EDP

Si la condicin i) de analiticidad no se verica podemos tener problemas muy
graves con la existencia de soluciones locales. No es slo que nos podamos
encontrar con la ausencia de soluciones analticas, sino que quizs la EDP no tiene
soluciones locales admisibles. La construccin de tales ejemplos es sosticada,
slo mencionaremos el debido a H. Lewy (1957) que es la siguiente EDP lineal de
primer orden
ejemplo de Lewy
ux + i uy 2 i(x + i y)ut = f (t).

Resulta que si f = f (t) es una funcin continua con valores reales, que slo
depende de t y no es analtica en t = 0, entonces no existe ninguna solucin
local de clase C 1 en (t, x, y) = (0, 0, 0).
Este ejemplo muestra la profundidad del problema de existencia local de soluciones de EDP en el caso de no analiticidad.
1.4
Problemas de Cauchy. Hipersupercies caractersticas
1.4.1 Planteamiento del problema

En la seccin anterior hemos considerado la cuestin de la existencia de soluciones
locales de una EDP. Ahora queremos considerar la misma cuestin pero para problemas
de Cauchy de valores iniciales sobre un subconjunto S de Rn determinado por una
ecuacin implcita:
h(x0 , x1 , . . . , xn1 ) = 0.
(1.11)
Tales subconjuntos S se denominan hipersupercies de Rn . Podemos construir un

campo de vectores unitarios normales sobre S mediante la expresin:
n(x) :=
h(x)
.
h(x)
En los casos n = 2 (el plano) y n = 3 (el espacio), S ser una curva, que denotaremos
, y una supercie, respectivamente.
Por admisible entendemos aquellas soluciones cuyo grado de diferenciabilidad es mayor o igual
que el orden de la EDP.
Entre los resultados ms generales que pueden usarse en tal contexto est la siguiente consecuencia
de un importante resultado (teorema de Nirenberg (1959)): dada una EDP lineal de la forma:
c D u(x) = f (x),
donde los c son constantes y f una funcin C en x0 Rn , entonces existe una solucin local de
clase C en x0 .
1.4]
25

z
S : h(x, y, z) = 0
y
: h(x, y) = 0
y
x
x
Denicin 1.4.1. Sea una EDP de orden r sobre un dominio en

F (x, D u) = 0,
x .
problema de
Cauchy
Rn ,
(1.12)
Dada una hipersupercie S (1.11) en , un problema de Cauchy de valores iniciales sobre S es un sistema de ecuaciones determinado por (1.12) y r condiciones
u
u
n
= 0 (x),
= 1 (x),
(1.13)
.
.
.
r 1 u
nr 1
= r 1 (x),
S
siendo los datos iniciales i (x) funciones denidas sobre S. Diremos que S es una
hipersupercie caracterstica de (1.12) si las condiciones iniciales (1.13) determinan el valor de la funcin F (x, D u) sobre S.
El signicado de las hipersupercies caractersticas es que el problema de Cauchy
de valores iniciales sobre ellas ser en general incompatible. Esto es as debido a que
de acuerdo con la denicin dada el valor de F (x, D u) sobre S est determinada por
las condiciones iniciales y por tanto solo ser posible la existencia de una solucin de
la EDP si ese valor es cero.
Ejemplos
1. Sea el siguiente problema de Cauchy
ut uxx = 0,
u|t=0 = 0 (x),
(t, x) R2 ,
ut |t=0 = 1 (x).
Obsrvese que la EDP es de orden 2 y que las dos condiciones iniciales estn
asociadas a la curva determinada por la ecuacin t = 0. Sobre la funcin
26
[Captulo 1
F = ut uxx est determinada por las condiciones iniciales, ya que:

(ut uxx )
= 1 (x) 0,xx (x).
Pero la EDP exige que F = 0 sobre . Por lo tanto, en general el problema de

Cauchy es incompatible pues slo podr tener solucin para ciertos datos iniciales: aquellos que satisfagan:
1 (x) 0,xx (x) = 0.
2. Estudiemos el siguiente problema de Cauchy

A(1 , 2 )u1 + B(1 , 2 )u2 + G(1 , 2 , u) = 0,
u(0, 2 ) = (2 ).
(1.14)
Ahora las variables independientes son 1 , 2 y la curva est determinada por

1 = 0. Observemos que sobre todas las derivadas parciales con respecto a
2 de las soluciones se encuentran completamente determinadas por y sus
derivadas:
nu
(n)
(2 ).
n (0, 2 ) =
2
Sin embargo, el clculo de las derivadas con respecto a 1 de u sobre no puede
hacerse usando la condicin inicial. Por tanto el primer miembro de la EDP no
estar completamente determinado sobre , salvo cuando suceda que A(0, 2 ) =
0. En tal caso para que pueda existir solucin del problema de Cauchy debe
suceder
B(0, 2 ) (2 ) + G(0, 2 ) = 0
que claramente es una ligadura entre los coecientes B, G que denen la EDP y
la funcin . La curva : 1 = 0 es un ejemplo de lo que se entiende por curva
caracterstica, concepto que ser estudiado a continuacin.
1.4.2 Curvas caractersticas para EDP de primer orden

Consideremos ahora el problema general de Cauchy para una EDP de primer orden en
R2 de la forma:
a(x, y)ux + b(x, y)uy + G(x, y, u) = 0,
(1.15)
u| = (x, y),
(1.16)
donde las funciones a y b toman valores reales y es una curva en de ecuacin:

:
y = y(x).
Nuestro objetivo es determinar las curvas que son caractersticas. Para ello efectuamos un cambio de variables (x, y) (1 , 2 )
1 = 1 (x, y),
2 = 2 (x, y),
1.4]
27
con el n de llevar nuestro problema a la forma (1.14). Por tanto, debemos imponer la
condicin
1 (x, y) = y y(x).
Esta condicin hace que la ecuacin de la curva en las nuevas variables sea
:
1 = 0.
En cuanto a la EDP, toma la forma

a u1
1
2
+ u2
x
x
+ b u1
1
2
+ u2
y
y
+ G(1 , 2 , u) = 0,
o bien
(a1,x + b1,y )u1 + (a2,x + b2,y )u2 + G(1 , 2 , u) = 0.
(1.17)
La condicin inicial se escribe

u(0, 2 ) = (0, 2 ),
(1.18)
donde ahora suponemos que todas las funciones a, b, u, G . . . estn expresadas en

trminos de las variables (1 , 2 ). Derivando (1.18) se obtiene
u2 (0, 2 ) = 2 (0, 2 ).
Por tanto la funcin F de la EDP (1.17)
F = (a1,x + b1,y )u1 + (a2,x + b2,y )u2 + G(1 , 2 , u),
est determinada por la condicin inicial sobre salvo por el trmino en u1 . Pero
este trmino est ausente cuando:
(a1,x + b1,y )| = 0,
(1.19)
luego esta condicin es la que caracteriza las curvas caractersticas. Como la curva
satisface:
1 (x, y(x)) = 0,
entonces derivando esta ecuacin respecto de x
1,x (x, y(x)) + 1,y (x, y(x))y (x) = (1,x + 1,y y )| = 0.
Por tanto la condicin (1.19) queda
(b ay )1,y | = 0.
As obtenemos la siguiente ecuacin diferencial ordinaria que determina las curvas
caractersticas :
y (x) =
b(x, y)
.
a(x, y)
(1.20)
EDO curvas
caractersticas
28
Ejemplos
1. Sea la EDP
ux + uy + xyu2 = 0.
En este caso:
a = 1,
b = 1,
la ecuacin (1.20) de las caractersticas es

y (x) = 1.
Luego las caractersticas son las rectas
y = x + c.
2. Para la EDP
xux + yuy + u = 0,
se tiene que
a = x,
b = y,
luego la ecuacin (1.20) de las caractersticas es

y (x) =
y
,
x
cuya integracin conduce a las siguientes curvas caractersticas

y = cx.
3. La EDP
sen y ux + cos x uy + u3 = 0,
tiene
a = sen y,
b = cos x,
la ecuacin (1.20) de las caractersticas es

y (x) =
cos x
.
sen y
Luego las caractersticas son las curvas

y = arccos( sen x + c).
[Captulo 1
1.4]
29
1.4.3 Curvas caractersticas para EDP de segundo orden

Consideremos ahora el problema de Cauchy para EDP de segundo orden en R2 de
la forma:
a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy + G(x, y, u, ux , uy ) = 0,
u
n
u| = 0 (x, y),
(1.21)
= 1 (x, y),
donde las funciones a, b y c toman valores reales y es una curva en de ecuacin:

:
y = y(x).
Nuestro objetivo de nuevo es determinar las curvas que son caractersticas. Para ello
efectuamos tambin un cambio de variables (x, y) (1 , 2 )
1 = 1 (x, y),
2 = 2 (x, y),
con la condicin
1 (x, y) = y y(x),
que hace que la ecuacin de la curva en las nuevas variables sea
:
1 = 0.
(1.22)
Veamos qu derivadas podemos determinar a partir de las condiciones iniciales.

La primera de estas condiciones adopta la forma
u(0, 2 ) = 0 (0, 2 ),
y mediante derivacin es claro que se obtienen todas las derivadas respecto de 2 en
:
u2 (0, 2 ) = 0,2 (0, 2 ),
u2 2 (0, 2 ) = 0,2 2 (0, 2 ), . . .
En cuanto a la segunda condicin inicial, tenemos en primer lugar que como consecuencia de (1.22) el campo de vectores normales es
n=
1
2
1,x
2
+ 1,y
(1,x , 1,y ),
y la derivada correspondiente es
u
=
n
1
2
1,x
2
+ 1,y
(1,x ux + 1,y uy ).
Dado que mediante la regla de la cadena podemos expresar las derivadas ux y uy en

trminos de u1 y u2 , disponemos de una expresin de la forma
u
n
= (2 )u1 (0, 2 ) + (2 )u2 (0, 2 ),
30
[Captulo 1
en que conocemos las funciones y . As la segunda condicin inicial se escribe

(2 )u1 (0, 2 ) + (2 )u2 (0, 2 ) = 1 (0, 2 ),
(1.23)
que es de la forma
u1 (0, 2 ) = 1 (2 ).
Por derivacin se obtiene
u1 2 (0, 2 ) = 1,2 (2 ).
En conclusin, las condiciones iniciales nos permiten determinar sobre la funcin
u y todas sus derivadas respecto de i hasta el segundo orden con la excepcin de
u1 1 (0, 2 ).
Al escribir la EDP (1.21) sobre en las variables i , el nico trmino que no vendr determinado por las condiciones iniciales ser el de u1 1 (0, 2 ). Para hallar su
coeciente, vemos que
u
u
2
+ 2,x
+ 2,x
) = 1,x u1 1 + ,
(1,x
1
2
1
2
u
u
2
(1,y
= 1,y
+ 2,y
+ 2,y
) = 1,y u1 1 + ,
1
2
1
2
u
u
(1,y
= 1,x
+ 2,x
+ 2,y
) = 1,x 1,y u1 1 + .
1
2
1
2
uxx = 1,x
uyy
uxy
De donde se deduce que el trmino que contiene u1 1 (0, 2 ) en (1.21) es

2
2
(a1,x + 2b1,x 1,y + c1,y )u1 1 .
Por consiguiente las caractersticas son determinadas por la condicin

2
2
a1,x + 2b1,x 1,y + c1,y
= 0.
De manera equivalente cuando a 0

1,x (x, y(x)) +
1
(b b2 ac)1,y (x, y(x) = 0.
a
(1.24)
Como 1 (x, y(x)) = 0, derivando respecto de x se obtiene

1,x (x, y(x)) + 1,y (x, y(x))y (x) = 0,
EDO curvas
caractersticas
clasicacin
EDP 2do orden
que al usarlo en (1.24) nos proporciona el siguiente par de ecuaciones diferenciales

ordinarias para las caractersticas
y =
1
(b b2 ac).
a
(1.25)
Cada una de estas ecuaciones puede determinar una familia de caractersticas.

Adems nos permite establecer la siguiente clasicacin de las EDP de segundo
orden (1.21) en subconjuntos 0 en que no cambie el signo de la funcin b2 ac.
1.4]
31
Denicin 1.4.2.
1. Elptica en 0 si
b2 ac < 0,
(x, y) 0 .
No poseen curvas caractersticas en 0 , dado que (1.25) no tienen sentido.

2. Hiperblica en 0 si
b2 ac > 0,
(x, y) 0 .
Poseen dos familias de curvas caractersticas en 0 determinadas por (1.25).

3. Parablica en 0 si
b2 ac = 0,
(x, y) 0 .
Poseen una sola familia de curvas caractersticas en dada por las soluciob
nes de y = .
a
Ejemplos
1. La ecuacin de Laplace
uxx + uyy = 0,
verica
a = 1,
b = 0,
c = 1,
luego b ac = 1 < 0. Es elptica en todo el plano. No tiene caractersticas.

2. La ecuacin de ondas
utt uxx = 0,
verica
a = 1,
b = 0,
c = 1,
luego b ac = 1 > 0. Es hiperblica en todo el plano. Sus caractersticas vienen

descritas por las ecuaciones
x (t) = 1,
son por tanto las dos familias de rectas
x = t + k.
32
[Captulo 1
3. La ecuacin del calor

ut uxx = 0,
verica
a = 1,
b = 0,
c = 0,
luego b ac = 0. Es parablica en todo el plano. Sus caractersticas verican

t (x) = 0.
Luego son la familia de rectas t = k.
4. Para la ecuacin de Tricomi
yuxx + uyy = 0,
se tiene
a(x, y) = y,
b = 0,
c = 1.
As,
b2 ac = y.
Por tanto, la ecuacin es
elptica en
parablica en
hiperblica en
y > 0,
y = 0,
y < 0.
En el caso hiperblico, y < 0, la ecuacin diferencial de las caractersticas es

y =
1
y
luego las curvas caractersticas son

y(x) =
3
x+c
2
2/3
con c R una constante arbitraria.

La ecuacin de Tricomi aparece en la descripcin del movimiento de un cuerpo en
un gas, siendo su velocidad aproximadamente la del sonido. El caso elptico (y >
0) corresponde a movimiento subsnico y el hiperblico (y < 0) a movimiento
supersnico.
Observemos que y = 0 no es curva caracterstica. Qu la ecuacin sea parablica para y = 0

signica que en esos puntos tan slo existe una direccin caracterstica, en este caso de pendiente
innita y = .
1.5]
1.5
33
Operadores diferenciales. Problemas lineales
En esta seccin se formulan los problemas de contorno y/o de condiciones iniciales de

tipo lineal, que son el tema de estudio de este curso. Se proporcionan las notaciones
apropiadas para tratar con comodidad tales problemas.
1.5.1 Operadores diferenciales

Denicin 1.5.1. Sea C () el espacio de funciones diferenciables en . Un operador diferencial L sobre C () es una aplicacin
L : C () C ()
u
Lu,
de la forma siguiente
a (x)D u,
Lu :=
donde signica que la suma se extiende a un conjunto nito de multi-ndices

con || 0 y se supone que los coecientes a (x) son funciones de C ()
dadas.
Todo operador diferencial es una aplicacin lineal. Es decir, verica
L(u + v) = Lu + Lv,
u, v C (), , C.
Una notacin habitual que usaremos para referirnos a un operador diferencial es

a (x)D .
L :=
Ejemplos
1. Sea el siguiente operador en C (R)
L = x 2 D + x.
Su accin sobre la funcin u = cos x es
Lu = x 2 sen x + x cos x.
2. El operador laplaciano
Lu := uxx + uyy + uzz ,
puede denotarse como
L=
2
2
2
+
+
.
2
2
x
y
z2
34
[Captulo 1
Es un operador diferencial sobre C () , siendo un dominio cualquiera de R3 .

Su accin sobre la funcin
u := exp(x 2 + y 2 + z2 ),
es
Lu = (4(x 2 + y 2 + z2 ) + 6) exp(x 2 + y 2 + z2 ).
Los operadores diferenciales son los objetos matemticos apropiados para manejar
las EDP lineales. As, una EDP lineal de la forma
a (x)D u = f (x),
se escribe de forma condensada como

Lu = f ,
siendo L el operador diferencial
a (x)D u.
Lu :=
Por tanto el problema que representa la EDP lineal consiste en encontrar elementos
u C () cuya imagen mediante la aplicacin lineal L coincida con la funcin f .
Ejemplos de estas EDP son
1. Ecuacin de Poisson en 3 dimensiones:
Lu = f ,
Lu := u.
2. Ecuacin de ondas en 1+3 dimensiones:

Lu = 0,
Lu := utt c 2 u.
3. Ecuacin de Schrdinger en 1+3 dimensiones:

Lu = 0,
Lu := i ut +
2m
u + qu.
4. La ecuacin del calor en 1+3 dimensiones:

Lu = 0,
Lu := ut a2 u.
Los operadores diferenciales tienen propiedades algebraicas muy importantes. Admiten las siguientes operaciones naturales
1.5]
1) Suma de operadores L + M
(L + M)u := Lu + Mu.
2) Producto de nmeros complejos por operadores L

(L)u := (Lu).
3) Producto de operadores LM
(LM)u := L(Mu).
4) Conmutador de operadores [L, M]

[L, M]u := L(Mu) M(Lu).
Con respecto a la suma y al producto de nmeros complejos los operadores diferenciales forman un espacio lineal. El operador cero, denido como el operador
diferencial con todos los coecientes iguales a cero, se denota L = 0 (obviamente en
tal caso Lu = 0 para toda u). Con respecto a la operacin de producto de operadores,
que coincide con la composicin de operadores como aplicaciones, la peculiaridad ms
destacada es que no es una operacin conmutativa. Por ejemplo, si tomamos
L = D,
M = D + x,
se tiene que
L(Mu) = D2 u + xDu + u,
M(Lu) = D2 u + xDu.
Por tanto LM ML.

Es claro que dos operadores conmutan si y slo si su conmutador es el operador
cero [L, M] = 0.
1.5.2 Operadores de frontera y de condiciones iniciales

Denicin 1.5.2. Sea C () el espacio de funciones diferenciables en . Un operador de frontera l sobre C () es una aplicacin
l : C () C(S),
u l(u),
siendo C(S) el conjunto de funciones continuas sobre una hipersupercie S
S() en la frontera de , de la forma siguiente
b (x)D u |S ,
l(u) :=
donde signica que la suma se extiende a un conjunto nito de multi-indices

con || 0 y se supone que los coecientes b (x) son funciones de C(S) dadas.
35
36
[Captulo 1
Todo operador de frontera es una aplicacin lineal. Es decir, verica

l(u + v) = l(u) + l(v),
u, v C (), , C.
Denicin 1.5.3. Cuando una de las variables independientes es el tiempo

x = (t, x), x := (x1 , . . . , xn1 ),
y S denota el subconjunto interseccin de un hiperplano t = t0 con denimos
un operador de condicin inicial como una aplicacin de la forma
l : C () C(S),
u l(u),
dada por
l(u) :=
r u
t r
,
t=t0
r 0.
Es claro que estas aplicaciones son tambin lineales.

Los operadores de frontera y de condiciones iniciales son los objetos matemticos apropiados para manejar las condiciones de contorno lineales y las condiciones
iniciales. As, una condicin de contorno lineal de la forma
b (x)D u |S = g,
se escribe de forma condensada como

l(u) = g,
siendo l el operador de frontera
b (x)D u |S ,
l(u) :=
Ejemplos tpicos de operadores de frontera asociados con condiciones de contorno

l(u) = g son
1. Condicin de Dirichlet:
l(u) := u|S .
2. Condicin de Neumann:
l(u) :=
u
n
.
S
3. Condicin mixta
l(u) := au + b
u
n
.
S
1.6]
1.5.3 Problemas lineales

El problema tpico que consideraremos en este curso es el de caracterizar las funciones
u C () que son solucin de un sistema de ecuaciones de la forma
Lu = f ,
li (u) = gi ,
i = 1, . . . , m,
donde L es un operador diferencial y li una serie de operadores de frontera o de

condiciones iniciales.
1.5.4 Caractersticas
El smbolo o parte principal del operador diferencial
a (x)D ,
L :=
||m
se dene como
a (x) .
(x, ) :=
||=m
Una caracterstica de L es una hipersupercie S de ecuacin (x) = 0 tal que

(x, ) = 0.
Construimos, de forma anloga a la anterior discusin sobre caractersticas, nuevas
coordenadas x con xj = xj , j = 2, . . . , n y x1 = (x). Entonces la ecuacin
Lu = f
se transforma en
(x, (x))
mu
+ Mu = f
x n
1
donde M es un operador diferencial en las variables x que no contiene derivadas con

respecto a x1 de orden superior a (m 1). Por tanto, sobre problemas de Cauchy
sobre las caractersticas llevan a ligaduras adicionales entre los datos que denen el
problema.
Una ecuacin es elptica en un punto x0 si por el no pasa ninguna caracterstica; v.
g., no existen soluciones reales p = (pi ) a
(x0 , p) = 0.
37
38
1.6
[Captulo 1
Cuestiones y problemas
1.6.1 Cuestiones
1. Dada la ecuacin en derivadas parciales
yuxx + 2xuxy + u2 = 0
y
determinar cual de las curvas siguientes es caracterstica
(a) y 2 = 2x 2
(b) y 2 = 4x 2
(c) y = 2x
(d) y = x 2
(e) y = 2x
Resolucin En esta EDP de segundo orden se tiene a(x, y) = y, b(x, y) = x,
c(x, y) = 0. Por tanto, la EDO que determina las caractersticas es y = (x
x 2 )/y; esto es, bien y = 0 o yy = 2x. As, integrando estas ecuaciones
obtenemos dos familias de caractersticas y = constante, y 2 /2 = x 2 +constante.
2. Dada la ecuacin en derivadas parciales
x 2 uxx xyuxy + y 2 uyy = exp u
cual de las siguientes armaciones es cierta
(a) Es parablica para xy > 0
(b) Es hiperblica para xy 0
(c) Es elptica para xy 0
(d) Es hiperblica para x > y
(e) Es elptica para todo (x, y)
Resolucin En esta EDP de segundo orden se tiene a(x, y) = x 2 , b(x, y) =
xy/2, c(x, y) = y 2 . Por tanto, b2 ac = 3/4x 2 y 2 y siempre que xy 0 la
ecuacin ser elptica.
C APTULO
Teora espectral de operadores

diferenciales. Anlisis de
Fourier
ntroducimos en este tema las nociones bsicas del anlisis en espacios funcionales, que son necesarias para abordar la teora de operadores diferenciales de tipo
SturmLiouville. Estos operadores se usarn posteriormente en la resolucin de
EDP lineales separables. Tambin se incluye en este tema una iniciacin al anlisis de
Fourier, esto a las series de Fourier y a la transformada de Fourier. Los puntos que
trataremos son:
1. Producto escalar en espacios funcionales

2. Conjuntos ortogonales de funciones
3. Operadores diferenciales simtricos
4. Autovalores y autofunciones. Operadores simtricos
5. Operadores de SturmLiouville
6. Series de Fourier
7. Transformada de Fourier
2.1
Producto escalar en espacios funcionales
Comenzamos esta seccin realizando un rpido recordatorio de lo que aprendimos en

lgebra Lineal sobre espacios complejos con producto escalar, enfatizando los aspectos que son extensibles a espacios funcionales. Finalizamos viendo como la expresin
del producto escalar en espacios funcionales cambia bajo transformaciones generales
de coordenadas.
39
40
Teora espectral de operadores diferenciales. Anlisis de Fourier
[Captulo 2
2.1.1 Producto escalar
producto escalar
Supongamos pues que tenemos un espacio vectorial complejo V , un producto escalar

(, ) no es ms que una aplicacin que a cada pareja de vectores de V le asigna un
nmero complejo, que eso si, debe satisfacer la siguiente lista de propiedades
Denicin 2.1.1. Un producto escalar en V es una aplicacin (, ) : V V C
tal que
i) (u, v) = (v, u), u, v V .
ii) (u, v1 + v2 ) = (u, v1 ) + (u, v2 ), u, v1 , v2 V y , C.
iii) (u, u) 0, u V ; (u, u) = 0
norma
u = 0.
De las propiedades i) y ii) inferimos que (v1 + v2 , u) = (v1 , u) + (v2 , u). Vemos
que (, ) es casi una forma bilineal que a veces se denomina forma sesqui-lineal. La
propiedad iii) nos dice que el producto escalar de un vector consigo mismo es siempre
no negativo y que se anula tan slo para el vector 0. El producto escalar nos permite
dotar de longitud, que llamaremos norma, a los vectores:
u := + (u, u).
desigualdad de
CauchySchwarz
Una desigualdad bsica (desigualdad de CauchySchwarz) que relaciona la norma y el

producto escalar es
|(u, v)|
v .
Se cumplen para la norma tres propiedades fundamentales

i)
ii)
iii)
u =0
u = 0.
u = || u , C y u V .
u+v
u + v (desigualdad triangular), u, v V .
Estas tres propiedades nos permiten denir una distancia en V

d(u, v) := u v = (u v, u v).
producto escalar
de funciones
La nocin de producto escalar tal como la hemos esbozado aqu se puede aplicar
a espacios funcionales.
Denicin 2.1.2. Consideremos un abierto Rn y una funcin : R
diferenciable y positiva ((x) > 0 x ). Dadas dos funciones u, v denidas
sobre su producto escalar correspondiente a la funcin peso se dene en la
forma
(u, v) =
u(x)v(x)(x) d n x.
2.1]
41
Producto escalar en espacios funcionales
Debemos recordar que la integral de funciones sobre de funciones con valores complejos se entiende como:
u(x)(x) dn x :=
Re(u(x))(x) d n x + i
Im(u(x))(x) d n x.
Obviamente, para que este producto escalar tenga sentido es necesario que la integral correspondiente exista. Esta condicin est garantizada si trabajamos en el
espacio de funciones
L2 () := u : C
|u(x)|2 (x) dn x < .
En realidad la operacin (, ) que acabamos de denir no es estrictamente un producto

escalar, lo que falla es que existen funciones u(x) 0 no nulas en que tienen norma
nula u = 0. Para subsanar este problema debemos considerar que una funcin es
la funcin cero si su norma lo es. Igualmente, dos funciones sern iguales si y solo
si su diferencia tiene norma cero. El conjunto obtenido a partir de L2 () mediante
estas identicaciones lo denotaremos por L2 () y es un espacio vectorial de dimen

sin innita con producto escalar. El producto escalar en L2 () dota a este espacio
de funciones de una estructura matemtica que se conoce con el nombre de espacio

de Hilbert. Los elementos de L2 () se denominan funciones de cuadrado integrable
sobre . Si es un conjunto compacto (lo que equivale a que sea un conjunto acotado) entonces es claro que toda funcin diferenciable en es de cuadrado integrable
en . Es decir
Espacios de
Hilbert
compacto C () L2 ().
Si no es compacto tal inclusin no es cierta y solo aquellas funciones diferenciables

que decrezcan sucientemente rpido en el innito sern de cuadrado integrable.
Ejemplos
1. Sea = (0, +) R; u(x) = x y v(x) = 1, si el peso es (x) = 1 entonces el
producto escalar de u y v no existe ya que
(u, v) =
xdx
0
= .
Si tomamos ahora el peso (x) = ex , el producto escalar de u con v existe

(u, v) =
xex d x = 1/2.
Surge aqu la pregunta Qu integral estamos utilizando?, el lector ya conoce la integral de Riemann;
sin embargo, sta no es completamente adecuada en este contexto. De hecho, es necesario utilizar una
teora de integracin ms sosticada debida a Lebesgue.
Por ejemplo, la funcin que sobre los racionales vale 1 y sobre los irracionales 0, es integrable
Lebesgue y con norma 0.
En rigor, lo que aqu hacemos no es ms que considerar clases de equivalencia de funciones: u v

siempre que u v = 0. El espacio cociente L 2 ()/ es lo que denotamos por L2 ().
42
[Captulo 2
2. Si tomamos el dominio = (0, 1) y el peso (x) = 1, el producto escalar de las

funciones u(x) = 1/x y v(x) = 1 no esta denido debido a la singularidad del
integrando en x = 0.
1
(u, v) =
1
d x = .
x
Sin embargo, para el peso (x) = x obtenemos el siguiente producto escalar

1
x
0
1
d x = 1.
x
3. Tomamos ahora = (0, 1), u(x) = x + i x 2 y v(x) = 1 i x con (x) = 1.

Entonces
1
(u, v) =
(x i x 2 )(1 i x) d x =
(x x 3 2 i x 2 ) d x = 1/2 2 i /3
y la norma de u es
2
= (u, u) =
x + i x2
dx =
(x 2 + x 4 ) d x = 8/15.
4. Si = (0, 2 ), u(x) = ei x y v(x) = e2 i x con (x) = 1 obtenemos

2
(u, v) =
e i x e2 i x d x = 0
y el cuadrado de la longitud de u ser

u
ei x
d x = 2 .
2.1.2 Cambios de coordenadas
cambio de
coordenadas
coordenadas
polares
Hemos denido el producto escalar de funciones sobre dominios en Rn usando coordenadas cartesianas. Sin embargo, por el teorema del cambio de variables del clculo
integral estos productos escalares se pueden expresar en otro tipo de coordenadas,
apareciendo as, desde un punto de vista activo, un cambio de dominio y de funcin
peso, que en este caso ser el jacobiano de la transformacin. Por ejemplo:
Si el dominio de denicin es el plano R2 podemos considerar coordenadas polares y llegar a
(u, v) =
R2
u(x, y)v(x, y)(x, y) d x d y =
u(r , )v(r , )(r , )r d r d .
As, cuando cambiamos a coordenadas polares tenemos (x, y) r (r , ).

coordenadas
esfricas
En el espacio R3 tenemos las coordenadas esfricas y ahora

(u, v) =
=
R3
u(x, y, z)v(x, y, z)(x, y, z) d x d y d z
u(r , , )v(r , , )(r , , )r 2 sen d r d d .
y (x, y, z) r 2 sen (r , , ).
2.2]
43
Conjuntos ortogonales de funciones
Ejemplos Sean el peso = 1 y las funciones u(r , , ) = ei /2 /(r 2 +1) y v(r , , ) =

sen
; entonces, su producto escalar es:
r2
(u, v) =
=
dr
1 + r2
= arctan r
2.2
e i /2 sen 2
r sen d r d d
(r 2 + 1) r 2
0
sen2 d
e i /2 d
sen 2
2
4
2 i e i /2
2
0
2 i(2) = i 2 .
En esta seccin intoducimos los conceptos de ortogonalidad, conjunto completo de

funciones y base ortogonal de un espacio funcional.
conjunto
ortogonal
Denicin 2.2.1. Dado un conjunto de funciones {un (x)}nJ en L2 (),donde
J Z es un conjunto de ndices nito o innito, decimos que es ortogonal si

(un , um ) = 0, n m; n, m J.
Ejemplos
n x
i) El conjunto sen
Basta comprobar que
sen
n x
n1
es ortogonal en el intervalo [0, ] con peso (x) = 1.
m x
sen
dx
(n m) x
1
(n + m) x
cos
cos
2
d x = 0,
para n m.
En el clculo de la integral hemos reducido expresiones cuadrticas en funciones trigonomtricas

en formas lineales gracias a las frmulas del seno y del coseno:
cos A B) = cos A cos B sen A sen B,
sen(A B) = sen A cos B cos A sen B,
que dan lugar a las frmulas de suma siguiente
1
(cos(A B) cos(A + B)),
2
1
sen A cos B = (sen(A B) + sen(A + B)),
2
1
cos A cos B = (cos(A B) + cos(A + B)).
2
sen A sen B =
44
[Captulo 2
ii) El conjunto cos n x

es ortogonal en el intervalo [0, ] con peso (x) = 1.
n0
Como antes tenemos que para n m
cos
n x
cos
m x
dx
1
(n m) x
(n + m) x
cos
+ cos
2
d x = 0,
2.2.1 Desarrollos en serie de funciones ortogonales

Dado un conjunto ortogonal {un (x)}nJ una cuestin importante es conocer qu tipo
de funciones se pueden desarrollar en la forma v = nJ cn un . Cuando el conjunto de
indices J que etiquetan el conjunto ortogonal es innito, debemos tener sumo cuidado
con el signicado de la suma extendida a los indices en J. Si J = N la expresin
N
u(x) = n=1 cn un (x) se entiende como el lmite limN n=1 cn un (x). De igual
forma cuando J = Z
u(x) =
cn un (x) = lim
n=
convergencia
puntual,
uniforme y en
media
cn un (x) + lim
n=0
cm um (x).
m=1
Ahora bien, cuando tratamos con funciones hay varias nociones distintas de lmite.
En este curso hay tres nociones de lmite que usaremos:
i) Lmite puntual: x0 tenemos u(x0 ) = limN
ii) Lmite uniforme: limN supx u(x)
iii) Lmite en media: limN u
N
n=1 cn un
N
n=1 cn un (x0 ).
N
n=1 cn un (x)
= 0.
= 0.
A partir de este momento, salvo que digamos lo contrario, solo nos referiremos a series
de funciones que convergen en media. Las propiedades siguientes sobre funciones
desarrollables en serie de funciones ortogonales son de gran importancia.
La convergencia uniforme implica la convergencia puntual, sin embargo el inverso no es cierto

en general. Por otro lado, cuando el cierre de es compacto la convergencia uniforme implica la
convergencia en media y de nuevo el recproco no se verica.
2.2]
45
Proposicin 2.2.2.
Si v admite un desarrollo v = nJ cn un , entonces este
desarrollo es nico y sus coecientes cn vienen determinados por
cn =
Si v =
nJ
c n un y v =
nJ
(un , v)
un
(2.1)
cn un su producto escalar es
(v, v ) =
c n c n un
(2.2)
nJ
Si v = nJ cn un su norma satisface la siguiente identidad (identidad de

Parseval)
v
|(un , v)|2
=
nJ
Demostracin.
un
(2.3)
Como v =
mJ
cm um y {un }nJ es ortogonal tenemos
(un , v) = (un ,
c m um ) =
mJ
Como v =
nJ
cm (un , um ) = cn (un , un ).
mJ
c n un y v =
mJ
(v, v ) =
cm um su producto escalar vale
cn cm (un , um ) =
n,mJ
c n c n un
Es consecuencia de las dos anteriores tomando v = v.
Otra propiedad relevante es la siguiente

Si {un (x1 )}nJ1 es ortogonal en el dominio 1 con respecto al peso 1 (x) y
{vm (x2 )}mJ2 es ortogonal en el dominio 2 con respecto al peso 2 (x), entonces {un (x1 )vm (x2 )}(n,m)J1 J2 es ortogonal en el dominio 1 2 con peso
1 (x1 )2 (x2 ).
En esta demostracin las sumas dentro del producto escalar la extraemos fuera de l. Esta manipulacin es obviamente lcita siempre que las sumas sean nitas. Sin embargo, tambin resulta serlo
en el caso de series convergentes en media.
ortogonalidad en
espacios
producto
46
[Captulo 2
Demostracin. Basta utilizar el teorema de Fubini para factorizar la integral
1 2
un (x1 )vm (x2 )un (x1 )vm (x2 )(x1 )(x2 ) d x1 d x2

=
un (x1 )un (x1 )1 (x1 ) d x1
vm (x2 )vm (x2 )2 (x2 ) d x2 = 0
si n n m m .
2.2.2 Conjuntos ortogonales completos

Denicin 2.2.3. Dado un conjunto ortogonal {un }nJ en L2 () decimos que
es completo cuando toda funcin u L2 () se puede desarrollar como u =
nJ cn un .
L2 ().
En ese caso se dice que un
nJ
forma una base ortogonal del espacio
.
Si un conjunto ortogonal no es completo siempre puede ser extendido aadiendo
nuevos elementos hasta formar una base ortogonal.
2.3
Operadores diferenciales simtricos
En esta seccin se introduce la importante nocin de operador diferencial simtrico .

Consideremos operadores diferenciales lineales L
a (x)D .
L=
operador
diferencial
simtrico
Supondremos siempre que el operador est denido sobre un subespacio lineal de

funciones D en L2 () que denominaremos dominio del operador.
Denicin 2.3.1. Diremos que un operador diferencial L es simtrico sobre un

dominio D siempre que
(u, Lv) = (Lu, v),
u, v D.
La forma natural de conseguir dominios en que un operador es simtrico es caracterizar el dominio imponiendo a sus elementos condiciones de contorno apropiadas.
Ejemplos Sea el operador

L=
d2
,
d x2
= (a, b) acotado en R.
Hemos de subrayar aqu que la nocin de operador simtrico aparece tambin con los nombres de
operador hermtico y operador autoadjunto
2.4]
47
Autovalores y autofunciones. Operadores simtricos
Para determinar dominios D L2 ([a, b]) en que este operador es simtrico, observemos que para todo par de funciones diferenciables u y v en [a, b]
b
(u, Lv) =
u(x)(v (x)) d x = (u(x)v (x))
= (u(x)v (x) + u (x)v(x))
= (u(x)v (x) + u (x)v(x))
b
a
b
a
b
a
u (x)v (x) d x
a
(u (x)v(x)) d x
a
+ (Lu, v);
por tanto un dominio de simetra debe vericar que
(u(x)v (x) + u (x)v(x))
b
a
= 0,
u, v D.
(2.4)
Para este operador existen tres tipos de condiciones de contorno que determinan dominios de simetra de especial relevancia. En todos los casos es inmediato vericar
que se satisface (2.4)
i) Dirichlet homognea
condiciones de
Dirichlet
D := u C ([a, b]) : u(a) = u(b) = 0 .
ii) Neumann homognea
condiciones de
Neumann
D := u C ([a, b]) : u (a) = u (b) = 0 .
iii) Peridicas
condiciones
peridicas
D := u C ([a, b]) : u(a) = u(b), u (a) = u (b) .
2.4
Vamos a introducir ahora dos conceptos fundamentales: autovalores y autofunciones

de un operador diferencial. Tambin demostraremos que cuando el operador diferencial es simtrico sus autovalores y autofunciones verican propiedades importantes.
48
[Captulo 2
2.4.1 Problemas de autovalores

Denicin 2.4.1. Dado un operador diferencial lineal L sobre un dominio D, decimos que C es un autovalor cuando existe una funcin no nula u D tal
que
Lu = u.
En ese caso u se denomina autofuncin o funcin propia del operador L correspondiente al autovalor . El conjunto (L) de todos los autovalores de L se
denomina espectro de L . Para cada autovalor (L) se dene su subespacio
propio correspondiente como el subespacio lineal siguiente
D := {u D : Lu = u}.
Cuando dim D = 1 decimos que el autovalor es simple y si dim D 2 que es
degenerado.
Ejemplos
i) Sea
L=
d
,
dx
con D = {u C ([0, 1])|u(0) = 0}.
El problema de autovalores es
du
= u,
dx
u(0) = 0, u 0.
La solucin a la ecuacin diferencial es u(x) = cex y la condicin de frontera

implica que c = 0 y por ello u = 0. Luego no hay autovalores y por ello (L) = .
C
6i
4i
2i
0
2 i
4 i
6 i
ii) Sea ahora el operador anterior pero en un dominio diferente asociado a condiciones de
contorno peridicas:
L=
d
,
dx
con D = {u C ([0, 1])|u(0) = u(1)}.
De nuevo u(x) = cex y la condicin de

frontera implica e = 1; esto es:
(L) = {2n i }nZ ,
con los subespacios propios
D2n i = Ce2n i x
y autovalores simples (dim D2n i = 1). En la gura adjunta se observa la distribucin del espectro en el plano complejo.
2.4]
Problemas de autovalores en una dimensin Consideremos un problema de autovalores

Lu = u,
u D,
en una dimensin. Supongamos que el operador es de la forma

N
an (x)Dn u(x),
Lu =
n=0
y que el dominio viene determinado por una serie de condiciones de contorno sobre
un intervalo acotado [a, b]
lj (u) = 0,
j = 1, . . . , N,
donde N coincide con el orden del operador L. Para resolver el problema espectral
podemos proceder como sigue:
1. Se resuelve la ecuacin diferencial ordinaria lineal homognea Lu = u considerando como un parmetro. La solucin general ser de la forma
u(, x) = c1 u1 (, x) + + cN uN (, x),
siendo {ui }i=1,...,N un conjunto mximo de soluciones linealmente independientes.
2. Se imponen las condiciones de contorno a la solucin general
lj (u) = 0,
j = 1, . . . , N.
Lo que resulta es un sistema de N ecuaciones lineales homogneas

lj (u1 )c1 + + lj (uN )cN = 0,
j = 1, . . . , N,
para los N coecientes de la solucin general. Los elementos del espectro de L

estn caracterizados por la propiedad de admitir soluciones u D no nulas de
Lu = u. Pero esto ocurre si y solo si el sistema de ecuaciones para (c1 , . . . , cN )
admite soluciones no triviales (c1 , . . . , cN ) (0, . . . , 0). A su vez esto tiene lugar
si y slo si se anula el determinante de la matriz de coecientes del sistema
l1 (u1 )
.
.
.
lN (u1 )
...
...
l1 (uN )
.
.
= 0.
.
lN (uN )
Esta condicin constituye una ecuacin del tipo

f () = 0,
y sus soluciones forman el espectro (L).
3. Para cada n (L) resolvemos el sistema lineal correspondiente para (c1 , . . . , cN )
y determinamos la solucin general u = u(n , x) que constituir el espacio propio asociado Dn .
49
50
[Captulo 2
2.4.2 Autovalores y autofunciones de operadores simtricos

Teorema 2.4.2. Espectro de operadores simtricos. Si L es un operador diferencial simtrico sobre un dominio D entonces se satisfacen las siguientes propiedades:
Los autovalores son nmeros reales
(L) R.
Si u, v D son autofunciones correspondientes a autovalores diferentes

entonces son ortogonales
(u, v) = 0.
Demostracin.
Si (L) entonces existe una funcin no nula u D tal que
Lu = u. Por ello,
(Lu, u) = (u, u) = u
(u, Lu) = (u, u) = u
y como el operador es simtrico (Lu, u) = (u, Lu) y u
= . Luego es un nmero real.
0 debemos tener
Dados dos elementos distintos , del espectro de L, que ya sabemos que sern
nmeros reales, existen autofunciones u y v tales que Lu = u y Lv = v; por
tanto,
(Lu, v) = (u, v),
(u, Lv) = (u, v).
Como L es simtrico, (Lu, v) = (u, Lv) y por ello ( )(u, v) = 0 y as, como
, se deduce (u, v) = 0.
2.5
operadores de
SturmLiouville
Operadores de SturmLiouville en una dimensin
Esta seccin est dedicada a un tipo especial de operadores diferenciales: los operadores de SturmLiouville. En primer lugar denimos esta clase de operadores en
el caso ms sencillo (caso regular), analizamos dominios en los que son simtricos y
estudiamos las propiedades de su espectro y sus autofunciones. Posteriormente consideramos brevemente los operadores de SturmLiouville en el caso singular y, por
ltimo, abordaremos tres ejemplos de operadores de SturmLiouville particularmente relevantes: el operador de Schrdinger, el operador de Legendre y el operador de
Bessel.
2.5]
51
Denicin 2.5.1. Un operador de segundo orden denido sobre un dominio de

L2 ([a, b]) es del tipo de SturmLiouville si es de la forma
d
1
du
p
+ qu ,
dx
dx
Lu =
con , p, q funciones diferenciables reales y , p > 0 en (a, b).
2.5.1 Caso regular

Se dice que un operador de SturmLiouville es regular sobre un dominio
D := u C ([a, b]) : i u(a) + i u(b) + i
du
d u (b) = 0, i = 1, 2 ,
(a) + i
dx
dx
(2.5)

con 1 , 2 , 1 , 2 , 1 , 2 , 1 , 2 R y (condiciones de contorno linealmente independientes)
1
2
rango
1
2
= 2,
si el intervalo abierto (a, b) es acotado (a y b ) y, las funciones , p, q son

diferenciables en el intervalo cerrado [a, b] y , p > 0 en el intervalo cerrado [a, b].
operadores de
SturmLiouville
regulares
Carcter simtrico
Se presenta la cuestin siguiente: Para qu dominios un operador de SturmLiouville
regular resulta ser simtrico? la respuesta es
Teorema 2.5.2. Un operador de SturmLiouville L regular sobre un dominio D es
simtrico si y slo si u, v D se verica
u(a)
p(a) d u
(a)
dx
v(a)
u(b)
= p(b) d u
dv
(a)
(b)
dx
dx
v(b)
.
dv
(b)
dx
(2.6)
Demostracin. Para demostrarlo basta con probar que la diferencia (Lu, v) (u, Lv)
se anula para todo u, v D cuando la identidad (2.6) se satisface. Ello es cierto dado
que si u, v D
b
(Lu, v) (u, Lv) =
a
b
u(x)
d
dv
p(x)
(x)
dx
dx
du
d
dv
p(x)
v u
dx
dx
dx
u(b)
= p(b) d u
(b)
dx
d
du
p(x)
(x)
dx
dx
= p(x)
v(b)
u(a)
+ p(a) d u
dv
(b)
(a)
dx
dx
du
dv
v u
dx
dx
v(a)
= 0.
dv
(a)
dx
v(x)
b
a
operadores de
SturmLiouville
simtricos
52
[Captulo 2
Observar que la contribucin de q se cancela. Por tanto, el carcter simtrico de L:

(Lu, v) = (u, Lv), u, v D
es equivalente al criterio dado.
A continuacin mostramos algunos ejemplos bsicos de condiciones de frontera
que garantizan la condicin (2.4) y que por tanto determinan dominios sobre los que
los operadores de SturmLiouville regulares son simtricos.
condiciones
separadas
1) Condiciones de contorno separadas,

du
(a) = 0,
dx
d u (b) = 0;
u(b) +
dx
u(a) +
dos casos particularmente relevantes de stas son las condiciones de Dirichlet

u(a) = 0,
u(b) = 0,
y las de Neumann
du
(a) = 0,
dx
condiciones
peridicas
2) Condiciones peridicas
u(a) = u(b),
espectro para
operadores de
SturmLiouville
regulares
du
(b) = 0.
dx
p(a)
du
du
(a) = p(b)
(b).
dx
dx
Aunque estas condiciones de contorno recogen la mayora de las que aparecen en

las aplicaciones, no cubren, sin embargo, la totalidad de condiciones que determinan
dominios en los que L es simtrico.
Espectro
Cuando un operador de SturmLiouville es simtrico, debido al teorema general sobre
operadores simtricos, sus autovalores son reales, y sus autofunciones correspondientes a autovalores distintos son ortogonales. En el caso regular podemos armar
adems que
Clases ms amplias de condiciones de contorno, que contienen a las ya descritas y aseguran el

carcter simtrico, para operadores de SturmLiouville regulares son aquellas con

(1 2 1 2 )p(a) = (1 2 1 2 )p(b).
2.5]
53
Teorema 2.5.3. Los mdulos de los autovalores {n }n1 de un operador de

SturmLiouville L regular y simtrico en un dominio D, se pueden ordenar en
una secuencia creciente y no acotada
|1 |
|2 |
|n |
....
Existe una base ortogonal {un } de L2 ([a, b]) formada por autofunciones de
n=1
L y el correspondiente desarrollo de cualquier u D
u=
c n un ,
n=1
converge uniformemente a u.
Cuando las condiciones de contorno son separadas podemos armar tambin que
Teorema 2.5.4. Para un operador de SturmLiouville regular simtrico en un dominio con condiciones de contorno separadas se cumple:
Existencia de autovalor mnimo Los autovalores forman una sucesin montona creciente acotada inferiormente
1
n < ,
divergente limn n = .
No degeneracin Los autovalores {n }n1 son simples.
Oscilacin La autofuncin un (x) correspondiente al n-simo autovalor n tiene
(n 1) ceros en el intervalo (a, b).
2.5.2 Caso singular

Un operador de Sturm-Liouville se dice
singular cuando no es regular. Es decir cuando al menos se verica una de las
siguientes condiciones
O bien a = b = +.
Una al menos de las funciones , p, q es singular en a en b.
Un teorema similar para operadores regulares sobre dominios con condiciones peridicas o antiperidicas del tipo: u(a) = u(b), u (a) = u (b) con p(a) = p(b) nos dice que los autovalores
(+)
()
asociados a estos dos dominios {n } , {n } , respectivamente, se ordenan en la siguiente sen=1
n=0
cuencia
(+)
< 0
()
< 1
()
(+)
< 1
(+)
()
< 3
()
(+)
< 3
(+)
< ....
Si se da la igualdad es que el autovalor es doble y no simple. La secuencia, al ser el operador simtrico,

(+)
no puede tener puntos de acumulacin nitos y por ello es no acotada. La autofuncin u0 (x) no
(+)
(+)
()
tiene ceros en [a, b], u2n+1 (x) y u2n+2 (x) tienen (2n + 2) ceros en [a, b) en tanto que u2n+1 (x) y
()
u2n+2 (x) poseen (2n + 1) ceros en [a, b).
operadores de
SturmLiouville
singulares
54
[Captulo 2
Una al menos de las funciones , p se anula en a en b.

Si [a, b] es acotado es fcil repetir la demostracin hecha anteriormente para el
caso regular para probar que un operador de SturmLiouville singular con dominio D
en L2 ([a, b]) es simtrico si y solo si u, v D se verica
lim
xa
u(x)
p(x) d u
(x)
dx
v(x)
dv
(x)
dx
= lim
xb
u(x)
p(x) d u
(x)
dx
v(x)
dv
(x)
dx
(2.7)
Cuando el operador es simtrico se cumplen las propiedades del teorema general de

autovalores y autofunciones de un operador simtrico. Sin embargo el problema fundamental para operadores singulares es que sus autofunciones u D no forman un
conjunto completo en general. En tales casos debemos tomar soluciones u de la ecuacin Lu = u fuera no slo del dominio D del operador sino tambin de L2 ([a, b])
(autofunciones generalizadas).
2.5.3 Operadores de Schrdinger, Legendre y Bessel

Revisamos ahora tres de los tipos ms relevantes de operadores diferenciales que
aparecen en Fsica:
operadores de
Schrdinger
i) Operador de Schrdinger: Elegimos (x) = 1 y p(x) =

2 /2m R de tal modo que
2
Lu =
/2m
d u
+ q(x)u.
d x2
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxx
xxx
xxx
xxx
xxx
xxx
Las condiciones de frontera generales (2.7) antes expuestas permiten fcilmente denir dominios en los
que el operador es simtrico. Este es un operador fundamental en Mecnica Cuntica ya que el problema de
b
a
autovalores correspondiente describe las energas y los
estados estacionarios que caracterizan una partcula en
un campo de fuerzas que deriva del potencial q = q(x).
Parte de la dinmica del sistema depende tambin de
las condiciones de contorno. Por ejemplo, si imponemos condiciones de Dirichlet en un intervalo acotado
[a, b], estamos describiendo una partcula connada en [a, b] que se mueve de
acuerdo con el potencial q. Esta interpretacin se ilustra en la gura. En este
caso el operador de Schrdinger constituye un problema de SturmLiouville regular simtrico y por ello el espectro, el conjunto de valores de energa posibles,
es discreto, simple y forma una secuencia creciente no acotada. Ms an, segn
las propiedades de oscilacin, el estado de energa mnima (estado fundamental)
no tiene ceros, el primer excitado uno, y as sucesivamente.
operadores de
Legendre
ii) Operador de Legendre: Est determinado por

Debemos tener en cuenta que las paredes impenetrables no vienen dadas por q, que es diferenciable, sino por las condiciones de Dirichlet en a y b, donde se anula la funcin de onda. La grca ilustra
pues el potencial fsico: q en (a, b), diferenciable, y condiciones de contorno en a y en b.
2.5]
55

p(x) = 1 x 2 ,
(x) = 1,
q(x) = 0,
[a, b] = [1, 1].
As, podemos escribir

Lu =
du
d2 u
du
d
+ 2x
(1 x 2 )
= (1 x 2 )
.
2
dx
dx
dx
dx
Debemos subrayar que el operador de Legendre es singular en el intervalo [1, 1]

ya que p se anula en 1. Como p(1) = p(1) = 0, aplicando (2.7) tenemos que
el operador es simtrico en el dominio D = C ([1, 1]) de L2 ([1, 1]).
La ecuacin de autovalores del operador de Legendre
Lu = (1 x 2 )
d2 u
du
+ 2x
= u,
d x2
dx
es la llamada ecuacin de Legendre. Del estudio de esta ecuacin diferencial

ordinaria se concluye que slo hay soluciones en D cuando = n(n + 1) n
0. Adems las autofunciones respectivas vienen dadas por los polinomios de
Legendre
pn (x) =
1 dn (x 2 1)n
,
2n n!
d xn
cuya norma es
pn =
2
.
2n + 1
Los primeros polinomios de Legendre son
pn
0
1
2
3
4
.
.
.
0
2
6
12
20
.
.
.
1
x
(3x 2 1)/2
(5x 3 3x)/2
(35x 4 30x 2 + 3)/8
.
.
.
Las grcas de estos polinomios
La forma de demostrar estas propiedades es utilizar la tcnica de Frobenius. Al desarrollar en

serie se observa que el nico caso en que las series convergen a funciones diferenciables en [1, 1], es
cuando = n(n + 1), que produce la truncacin de las series en polinomios.
polinomios de
Legendre
56
[Captulo 2
1
y
p0
p1
p2
1
x
p3 p4
1
A pesar del carcter singular del operador, el conjunto de autofunciones {pn }
n=0
es una base ortogonal de L2 ([1, 1]). Por lo tanto toda u L2 ([1, 1] admite
un desarrollo en serie de polinomios de Legendre
u(x) =
cn pn (x).
n=0
operadores de
Bessel
iii) Operador de Bessel Tomamos ahora

(x) = x,
p(x) = x,
qm (x) =
m2
,
x
m 0.
El operador correspondiente es
Lm u =
1 d
d2 u
1 d u m2
du
m2
x
+ 2u=
+ 2 u.
x dx
dx
x
d x2
x dx
x
La ecuacin diferencial asociada al problema de autovalores Lu = u es
1 du
m2
d2 u
u = 0,
+
d x2
x dx
x2
que con el cambio de variable
x := x,
se transforma en la ecuacin de Bessel
d2 u
1du
m2
+
+ 1 2 u = 0,

x dx
x
d x2
(2.8)
2.5]
57
cuyas solucin general es de la forma
u(x) = c1 Jm (x) + c2 Nm (x),

donde Jm son las funciones de Bessel y Nm las de Neumann. Por ello, la solucin
general de la ecuacin de autovalores (2.8) es
u(x) = c1 Jm ( x) + c2 Nm ( x).
(2.9)
Cerca del origen el comportamiento de las funciones de Bessel y Neumann es

1
Jm (x)
(m + 1)
2 ln(x)
Nm (x) (m)
m
(2x)
x
2
,
x 0.
m = 0,
(2.10)
m 0,
Hay dos tipos de intervalos [a, b] que nos interesan, con a > 0 y con a = 0.
Cuando a > 0 el operador es regular y es simtrico sobre los dominios descritos
en el teorema 2.5.2. Sin embargo, el operador es singular cuando a = 0, por
una cualquiera de las tres siguientes razones (0) = 0, p(0) = 0 por no ser
qm (x) diferenciable en x = 0. En este caso un dominio conveniente sobre el cual
el operador Lm es simtrico cuando m > 0 es el siguiente subespacio lineal de
L2 ([0, b]).
Dm = u C ((0, b]) : u(b) = 0, lim (x m u(x)) = 0, lim x 1m

x0
x0
du
dx
El carcter simtrico se deduce teniendo en cuenta que para funciones u y v en

Dm los dos lmites
lim x 1m
du
dv
(x)x m v(x) x m u(x)x 1m

,
dx
dx
lim x 1m
du
dv
(x)x m v(x) x m u(x)x 1m

,
dx
dx
x0
xb
son ambos iguales a cero, luego la condicin (2.7) se satisface. Adems, si consideramos la solucin (2.9)
u(x) = c1 Jm
x + c2 Nm ( x),
de la ecuacin de autovalores y tenemos en cuenta el comportamiento en el origen

(2.10) de las funciones de Bessel, vemos que las condiciones en x = 0
lim (x m u(x)) = 0, lim x 1m
x0
x0
du
,
dx
Las funciones de Bessel y Neumann poseen el siguiente comportamiento en el innito

Jm (x) =
Nm (x) =
+ O(x 3/2 ),
cos x (2m + 1)
x
4
2
+ O(x 3/2 ),
sen x (2m + 1)
x
4
x .
funciones de
Bessel
58
[Captulo 2
se cumplen si c2 = 0. Adems Jm est en C ((0, b]) si m N. Por ello, nos

ocuparemos solo del caso en que m es natural. Imponiendo ahora la condicin
de contorno u(b) = 0, llegamos a la siguiente condicin para determinar los
autovalores n
b = 0.
Jm
Debido al carcter simtrico del operador, las autofunciones

un (x) = Jm
n = 1, 2, . . .
n x ,
forman un conjunto ortogonal

b
(un , un ) =
Jm
n x x d x =
n x Jn
b2 d Jm
2 dx
n b
nn .
Adems este conjunto resulta ser completo en L2 ([0, b]). As, cualquier funcin
x
u L2 ([0, b]) puede desarrollarse como
x
u(x) =
cn Jm
n x .
n=1
Cuando m = 0 un dominio conveniente es
D0 = u C ((0, b]) : u(b) = 0, lim u(x), lim x

x0
x0
du
=0 .
dx
El carcter simtrico lo inferimos observado que, para cualesquiera pareja de

funciones u y v en D0 , los lmites
lim x
du
dv
(x)v(x) u(x)x
,
dx
dx
lim x
du
dv
(x)v(x) u(x)x
,
dx
dx
x0
y
xb
son nulos, satisfacindose de esta manera (2.7). Por otro lado, la solucin general
de la ecuacin de autovalores
u(x) = c1 J0
x + c2 N0 ( x),
cumple las condiciones en x = 0

lim u(x), lim x
x0
x0
du
(x)) = 0,
dx
si c2 = 0. Finalmente, imponemos la condicin de contorno u(b) = 0, obteniendo la siguiente condicin para los autovalores n
J0
b = 0.
Para ver que J0 las cumple basta con utilizar que J0 (0) = 1 y que
d J0
= J1 (x),
dx
por lo que
lim x
x0
d J0
(x)) = lim xJ1 (x) = 0.
x0
dx
2.6]
Operadores de SturmLiouville en varias dimensiones
59
De nuevo, {J0 (n x/b)} es una base ortogonal en L2 ((0, b]).

x
Las primeras funciones de Bessel tienen el siguiente aspecto
y
0.6
J1
J2
J3
J4
x
0
2.6
20
Operadores de SturmLiouville en varias dimensiones
La clase de operadores de Sturm-Liouville puede extenderse a varias dimensiones y

contiene varios ejemplos de gran relevancia por sus aplicaciones fsicas. Estos operadores sern estudiados en captulos posteriores mediante la tcnica de separacin de
variables que nos permitir reducir su anlisis al de los operadores de Sturm-Liouville
en una dimensin.
Denicin 2.6.1. Sea un subconjunto abierto conexo de Rn , (n > 1). Un operador es del tipo de SturmLiouville si es de la forma
Lu =
1
pu + qu ,
siendo , p, q funciones diferenciables con valores reales y , p > 0 en .
Para determinar dominios de simetra de estos operadores el espacio apropiado es

L2 (). Obsrvese por ejemplo que si es acotado en R3 y , p, q son funciones
diferenciables en , entonces usando la expresin del producto escalar en L2 () y
operadores de
SturmLiouville
en varias
dimensiones
60
[Captulo 2
aplicando el teorema de la divergencia, obtenemos la identidad

(Lu, v) (u, Lv) =
=
=
=
u(x) p(x)v(x)
p(x)u(x)
d3 x
p(x) (u)v u(v)
S()
p(x) (u)v u(v)

p(x)
S()
u
v
v u
n
n
v(x) d3 x
dS
d S.
Por lo tanto podemos enunciar

Teorema 2.6.2. Suponiendo que es un dominio acotado en R3 y que , p, q son
funciones diferenciables en . El operador de SturmLiouville L es simtrico sobre
un dominio D en L2 () si y slo si u, v D se verica
p(x)
S()
u
v
v u
n
n
d S = 0.
(2.11)
Como consecuencia inmediata determinamos los siguientes dominios sobre los que
el operador de SturmLiouville es simtrico
i) Condiciones de Dirichlet homognea
D := u C () : u
S()
=0 .
ii) Condiciones de Neumann homognea
D := u C () :
u
n
=0 .
S()
Ejemplos relevantes de operadores de SturmLiouville en tres dimensiones son los

siguientes
i) Laplaciano Si tomamos (x) = p(x) 1 obtenemos el operador Laplaciano con
signo negativo
L =
ii) Hamiltoniano de Schrdinger Si hacemos = 1 y p =
el operador correspon2m
diente es el operador Hamiltoniano de Schrdinger en mecnica cuntica para
una partcula en un campo de fuerzas
Lu =
2m
u + q(x, y, z)u,
2.7]
2.7
Series de Fourier
Series de Fourier
Vamos a abordar ahora el estudio de las series trigonomtricas de Fourier, una de

las herramientas matemticas ms importantes en el anlisis de fenmenos fsicos.
Introduciremos las series de Fourier en trminos de desarrollos en autofunciones de
operadores diferenciales simtricos.
2.7.1 Bases trigonomtricas de Fourier

Consideraremos ahora problemas de autovalores asociados a dos operadores diferenciales particularmente simples. Los correspondientes desarrollos en autofunciones
constituyen las llamadas series trigonomtricas de Fourier.
1) Sea el operador
L = i
d
.
dx
Un dominio en el que es simtrico es el de las funciones diferenciables u en un intervalo

acotado [a, b] tales que u(a) = u(b), esto es: funciones que satisfacen condiciones
peridicas.
El problema de autovalores
du
= u,
dx
u(a) = u(b),
i
tiene como solucin a

u(x) = cei x
satisfacindose la condicin de frontera si y slo si
ei (ba) = 1.
Esta condicin determina los posibles elementos del espectro
n = n,
n Z,
:=
2
ba
con las autofunciones asociadas siguientes

un (x) = ei nx .
2) El segundo operador que consideramos es
L=
d2
.
d x2
Estudiaremos dominios asociados a tres tipos de condiciones de frontera
Que en Mecnica Cuntica es el operador momento lineal.
61
62
[Captulo 2
Peridicas El problema de autovalores es
d2 u
d x 2 = u,
u(a) = u(b),
d u
du
(a) =
(b).
dx
dx
Cuando 0 tiene como solucin
u(x) = c1 cos x + c2 sen x
vericndose las condiciones en la frontera si y slo si se satisface el siguiente
sistema lineal homogneo para (c1 , c2 )
[cos a cos b]c1 + [sen a sen b]c2 = 0,
[sen a sen b]c1 [cos a cos b]c2 = 0.
(2.12)
Soluciones no triviales (c1 , c2 ) (0, 0) de este sistema existen si y slo si la

matriz de coecientes tiene determinante cero
cos a cos b
sen a sen b
=0
sen a + sen b cos a cos b
esto es
[cos a cos b]2 + [sen a sen b]2 = 0.
Desarrollando los cuadrados y utilizando las frmulas trigonomtricas se obtiene
1 cos (b a) = 0
y por ello los autovalores no nulos son
n = 2 n2 ,
n = 1, 2, . . .
:=
2
.
ba
Estos autovalores no son simples (obsrvese que es un problema de Sturm

Liouville con condiciones de contorno peridicas), ya que para cualquiera de
ellos el sistema lineal homogneo (2.12) se reduce a un sistema en que la matriz
de coecientes es la matriz cero; por tanto, admite como soluciones todos los
valores de (c1 , c2 ). De esta forma
Dn = C{sen nx, cos nx}.

Por otro lado, = 0 tambin es autovalor y la autofuncin correspondiente puede
tomarse como 1 (las soluciones de u = 0 son u(x) = c1 + c2 x, pero las
condiciones de contorno imponen c2 = 0). Por tanto, el conjunto de autovalores
es
n = 2 n2 ,
n = 0, 1, . . . ,
:=
2
.
ba
El conjunto de autofunciones
{1, cos nx, sen nx} .
n=1
constituye un conjunto ortogonal completo en L2 ([a, b]).
2.7]
63
Series de Fourier
Dirichlet homogneas El problema de autovalores ahora es
d2 u
d x 2 = u.
u(a) = 0,
u(b) = 0
El valor = 0 no est en el espectro ya que si lo estuviera la correspondiente
autofuncin sera de la forma u(x) = c1 + c2 x y las condiciones de contorno
implican que c1 + c2 a = c1 + c2 b = 0, y como b a 0 se tiene c1 = c2 = 0. Las
soluciones a la ecuacin diferencial para 0 tienen la forma
u(x) = c1 cos x + c2 sen x,
y las condiciones de contorno se satisfacen si y solo si
c1 cos a + c2 sen a = 0,
c1 cos b + c2 sen b = 0.
Existirn soluciones no triviales (c1 , c2 ) (0, 0) si y slo si
cos a
cos b
sen a
= 0,
sen b
esto es
sen
(b a) = 0.
As pues, los autovalores son

n =
2 2
n ,
4
n = 1, 2, . . . ,
:=
2
,
ba
y las correspondientes autofunciones resultan ser
a cos n x + cos n a sen n x

2
2
2
2
= sen n (x a).
2
un (x) = sen n
Neumann homogneas Ahora tenemos
d2 u
d x 2 = u,
d u
(a) = 0,
dx
d u
(b) = 0.
dx
64
[Captulo 2
En este caso = 0 est en el espectro: la solucin es u(x) = c1 + c2 x , las

condiciones de frontera implican c2 = 0 y la correspondiente autofuncin es
u0 (x) = 1. Cuando 0 las soluciones tienen la forma
u(x) = c1 cos x + c2 sen x
satisfacindose las condiciones de contorno si y solo si
c1 sen a + c2 cos a = 0,
c1 sen b + c2 cos b = 0.
Existen soluciones no triviales (c1 , c2 ) (0, 0) si slo si
sen a cos a
=0
sen b cos b
esto es
(b a) = 0.
sen
As pues, los autovalores son
n =
2 2
n ,
4
n = 0, 1, . . .
:=
2
.
ba
Las autofunciones son
a cos n x + sen n a sen n x

2
2
2
2
= cos n (x a).
2
un (x) = cos n
2.7.2 Desarrollos de Fourier

Los desarrollos en autofunciones inducidos por los operadores diferenciales simtricos vistos en la anterior sub-seccin constituyen los denominados desarrollos en series
trigonomtricas de Fourier. A continuacin estudiamos sus propiedades usando (2.1)
y el teorema 2.5.3.
d
1) El operador L = i
es simtrico sobre el dominio D de funciones diferendx
ciables u = u(x) en el intervalo [a, b] tales que u(a) = u(b). Por tanto:
series de exponenciales
Toda funcin u L2 ([a, b]) puede desarrollarse en la forma
cn ei nx ,
u=
:=
n=
2
,
ba
con
cn =
1
ba
e i nx u(x) d x.
En general la serie converge en media a la funcin u, sin embargo si u D la

serie converge uniformemente.
2.7]
65
Series de Fourier
Obsrvese que en el anterior clculo de los coecientes cn se ha tenido en cuenta

b
que un 2 = a d x = b a.
d2
es del tipo SturmLiouville regular y simtrico siempre
2) El operador L =
d x2
que [a, b] sea un intervalo nito y se den cualesquiera de las tres condiciones de contorno estudiadas: peridicas, Dirichlet y Neumann. Por ello, los conjuntos asociados
de autofunciones son bases ortogonales en L2 ([a, b]). As todas las series que vamos
a tratar convergen en media a la funcin u L2 ([a, b]) que desarrollan, y si adems
sta pertenece al correspondiente dominio D convergen uniformemente.
series de senos y cosenos (condiciones peridicas)
Toda funcin u L2 ([a, b]) se puede desarrollar en la forma
a0
(an cos nx + bn sen nx),
+
2
n=1
u=
:=
2
ba
donde los coecientes se determinan mediante las denominadas frmulas de

Euler
b
2
ba
2
bn =
ba
an =
cos nx u(x) d x,
a
b
n0
(2.13)
sen nx u(x) d x,
a
n 1.
La base de autofunciones usada es

u0 =
1
, un = cos nx, vn = sen nx
2
n=1
y se ha tenido en cuenta que

u0
un
vn
1
4
b
a
dx =
ba
,
4
ba
,
2
a
a
b
b
ba
=
sen2 nx d x =
(1 cos2 nx) d x =
.
2
a
a
=
2
1
cos nx d x =
2
2
(1 + cos 2nx) d x =
Es claro que existe una relacin estrecha entre las series de Fourier de exponenciales
y las de senos y cosenos. Podemos pasar de una a otra simplemente utilizando las
frmulas
ei nx = cos nx + i sen nx,
1 i nx
1 i nx
e
e
cos nx =
+ e i nx , sen nx =
e i nx .
2
2i
Aunque la funcin u est en principio denida solo sobre el intervalo [a, b], los
dos tipos de desarrollos de Fourier que acabamos de ver proporcionan series de funciones peridicas con periodo (b a). Luego las funciones suma de las series pueden
extensin
peridica
66
[Captulo 2
extenderse a funciones peridicas del mismo periodo sobre la recta. Por tanto tales
extensiones desarrollan la extensin peridica de u denida como sigue. Dado x R,
existe un nico entero m Z tal que x [a + m(b a), b + m(b a)]. La extensin
peridica se dene como
uper (x) := u(x m(b a)).
Esto es, la grca de uper (x) se construye simplemente pegando copias, una tras otra,
de la de u sobre [a, b]. Los desarrollos en series de exponenciales o de cosenos y
senos se pueden aplicar a u o a su correspondiente extensin peridica.
uper (x)
u(x)
a (b a)
b + (b a)
series de senos (condiciones de Dirichlet homogneas)

Toda u L2 ([a, b]) puede desarrollarse como
u=
bn sen
n=1
n
(x a),
2
:=
2
ba
con
bn =
2
ba
sen
a
n
(x a) u(x) d x,
2
n 1.
La base ortogonal de autofunciones usada es

vn = sen
n
(x a)
2
n1
cuyas normas al cuadrado son

vn
sen2
n
(x a) d x =
2
b
a
1
2
ba
1 cos n
(x a) d x =
.
2
ba
2
2.7]
67
Series de Fourier
Podemos extender la funcin suma de la serie de senos a toda la recta. El resultado

es un desarrollo para la denominada extensin impar de la funcin u. La extensin
impar de u a toda la recta se determina en dos etapas: primero se extiende al intervalo
[a (b a), b] = [2a b, a] [a, b] de forma impar, esto es, si x [a, b] denimos
uimpar (a (x a)) = u(x),
y despus se realiza una extensin peridica desde el intervalo [2a b, a] a toda la
recta.
uimpar (x)
a
b + (b a)
b + 2(b a)
u(x)
b
a (b a)
series de cosenos (condiciones de Neumann homogneas)

Toda u L2 ([a, b]) puede desarrollarse como
u=
a0
an cos n (x a),
+
2
2
n=1
:=
2
ba
donde
an =
2
ba
cos n
a
(x a) u(x) d x,
2
n 0.
La base de autofunciones usada es

u0 =
, un = cos n (x a)
2
2
n1
con normas al cuadrado

1
4
b
1
=
cos2 n (x a) d x =
2
2
a
u0
un
ba
,
4
2
ba
1 + cos n
(x a) d x =
.
ba
2
dx =
a
b
a
extensin impar
68
[Captulo 2
La funcin suma de la serie de cosenos puede extenderse tambin a toda la recta.

La funcin resultante es el desarrollo de la extensin par de u denida en la forma
siguiente: extendemos la funcin u al intervalo [a (b a), b] = [2a b, a] [a, b]
de forma par, esto es, si x [a, b] denimos
upar (a (x a)) = u(x),
extensin par
y despues se realiza la extensin peridica desde [2a b, b] a toda la recta.
upar (x)
u(x)
a (b a) a
b + 2(b a)
b + (b a)
Ejemplos Consideremos la funcin u(x) = ex en el intervalo [0, 1]. Vamos a analizar

los tres diferentes desarrollos trigonomtricos de Fourier. En primer lugar consideramos el desarrollo en serie de senos y cosenos y su extensin peridica. Despus
analizamos los desarrollos en slo cosenos y en slo senos y sus extensiones par e
impar respectivamente.
La serie de Fourier de cosenos y senos
ex =
a0
an cos 2 nx + bn sen 2 nx
+
2
n1
tiene por coecientes

1
an = 2
ex cos 2 nx d x = 2 Re
e(1+2 i n)x
= 2 Re
1 + 2 i n
1
0
ex e2 i nx d x = 2 Re
e(1+2 i n)x d x
1
0
2[e 1]
=
,
1 + 4 2 n2
1
bn = 2
e sen 2 nx d x = 2 Im
x 2 i nx
e e
0
= 2 nan
La extensin peridica de ex tiene como grca
e(1+2 i n)x
d x = 2 Im
1 + 2 i n
1
0
2.7]
69
Series de Fourier
1
x
3
y los primeros trminos de su desarrollo en senos y cosenos son

1
1
1
cos 2 x +
cos 4 x
+
2
2 1 + 4
1 + 16 2
[ex ]periodica 2(e 1)

+
1
1
cos 6 x +
cos 8 x +
1 + 36 2
1 + 64 2
4 (e 1)
+
2
1
sen 2 x +
sen 4 x
1 + 4 2
1 + 16 2
4
3
sen 6 x +
sen 8 x + .
2
1 + 36
1 + 64 2
Representamos a continuacin la grca de la extensin peridica de la exponencial y la de su serie trigonomtrica de Fourier truncada a n = 4 (la lnea
oscilante).
x
3
Se observa que en las discontinuidades de la funcin la serie tiende al valor medio

de los valores a la izquierda y a la derecha de la funcin dada. Adems vemos
70
[Captulo 2
que cerca de estas discontinuidades la serie truncada oscila, la presencia de estas

oscilaciones es el llamado fenmeno de Gibbs, y permanece aunque tomemos
ms trminos en la serie.
Consideramos ahora las serie de slo cosenos y de slo senos,
ex =
a0
an cos nx,
+
2
n1
ex =
bn sen nx.
n1
Se verica que
1
an = 2
= 2 Re
ex cos nx d x = 2 Re
e(1+i n)x
1 + i n
ex ei nx d x = 2 Re
e(1+i n)x d x
1
0
2[(1)n e 1]
=
,
1 + 2 n2
1
bn = 2
ex sen nx d x = 2 Im
ex ei nx d x = 2 Im
e(1+i n)x
1 + i n
= n an
La extensin par [ex ]par tiene por grca
y
2
1
x
3
en tanto que la extensin impar [ex ]impar se representa como

y
2
1
x
3
0
1
2
1
0
2.7]
71
Series de Fourier
Las respectivas series son

e+1
e1
cos x +
cos 2 x
2
1+
1 + 4 2
e1
e+1
cos 3 x +
cos 4 x + ,
1 + 9 2
1 + 16 2
e+1
e1
2
sen x 2
sen 2 x
2
1+
1 + 4 2
e1
e+1
sen 3 x 4
sen 4 x +
+3
2
1 + 9
1 + 16 2
[ex ]par e 1 + 2
[ex ]impar
A continuacin mostramos las grcas de las funciones extendidas de forma

par e impar y sus series en cosenos y senos truncadas en n = 6. Para
[ex ]par tenemos
1
x
3
en ella se marca con cruces la serie de Fourier en cosenos truncada a n = 6 y en

lnea continua la funcin ex extendida de forma par. Observamos por un lado
que es una buena aproximacin y por otro que en los puntos x = 0, 1, 2, . . .
la tangente a la serie truncada tiene pendiente nula, esto es la derivada se anula
(como debe ser ya que la derivada slo tiene senos que se anulan en estos puntos)
a diferencia de la funcin original en la que la derivada salta de 1 a 1. En tanto
que para [ex ]impar tenemos
72
[Captulo 2
y
2
1
3
x
0
1
2
La lnea oscilante representa la serie de Fourier de senos truncada a sexto orden.

Debemos notar que en los puntos conictivos 0, 1, 2, . . . la discrepancia entre
funcin y serie truncada es notable. Por ejemplo, en x = 0 la funcin original
tiene un salto discontinuo de 2 unidades en tanto que la serie se anula, como
debe ser. Estos fenmenos son debidos a que la funcin elegida no cumple los
requisitos de contorno, aunque sin embargo en el interior la serie de Fourier
converge a la extensin dada.
2.7.3 Convergencia de series de Fourier
convergencia en
media
Tratamos ahora el problema de la convergencia de las series de Fourier de una funcin u(x). Como ya sabemos para cualquier funcin u L2 ([a, b]) sus series de
Fourier en exponenciales, en senos y cosenos, en slo senos y en slo cosenos converge en media. Ms an, si la funcin es diferenciable y satisface la condiciones de
contorno adecuadas (peridicas, Dirichlet homogneas o Neumann homogneas) las
correspondientes series convergen uniformemente (y por tanto tambin puntualmente) a la funcin u. Una cuestin fundamental es saber cundo las series de una funcin
general u L2 ([a, b]) convergen puntualmente y cul es la relacin entre la funcin
lmite y la funcin u. Una clase de funciones para la que podemos dar respuestas muy
precisas a estas cuestiones es la siguiente
Denicin 2.7.1. Una funcin u = u(x) es C 1 a trozos en un intervalo [a, b] cuando
existe una particin a = c1 < c2 < . . . < cM = b de [a, b] tal que i = 1, . . . , M 1,
tanto u como su derivada primera u son continuas en los subintervalos (ci , ci+1 ) y
tienen lmites laterales nitos en los extremos ci y ci+1 .
Por ejemplo, analizar la convergencia puntual de la serie de senos y cosenos de una
funcin u L2 ([a, b]) consiste en averiguar para que puntos x R existe el lmite
lim SN (u, x),
2.7]
73
Series de Fourier
donde SN (u, x) denota la suma parcial N-sima de la serie de senos y cosenos

N
a0
an cos nx + bn sen nx .
SN (u, x) :=
+
2
n=1
y determinar su relacin con el valor de u en x. Una respuesta de gran inters prctico
es el siguiente teorema
Teorema 2.7.2 (Dirichlet (1829)). Si u(x) es una funcin C 1 a trozos en [a, b]
entonces sus series de Fourier convergen puntualmente en todo punto x R y su
lmite es igual a
convergencia
puntual
uext (x + 0+ ) + uext (x + 0 )
,
2
donde uext denota la correspondiente extensin (peridica, par o impar) de u a
todo R y
uext (x + 0 ) := lim uext (x ||).
0
Este resultado resuelve completamente el problema de la convergencia puntual de

las series de Fourier para la clase de funciones del enunciado. Bsicamente slo necesitamos conocer la extensin a R de la funcin u = u(x) y aplicar las siguientes
consecuencias del teorema de Dirichlet
1) Si x es un punto de continuidad de uext entonces ambos lmites uext (x + 0 ) coinciden con uext (x), as que la serie de Fourier correspondiente converge puntualmente a uext .
2) Si x es un punto de discontinuidad de uext los dos lmites uext (x+0 ) son diferentes
y constituyen dos candidatos igualmente atractivos para el lmite puntual de la
serie de Fourier. La serie toma en este caso una decisin salomnica y decide
converger puntualmente a la semisuma de estos dos lmites.
Ejemplo Sea la funcin

u(x) =
0 x ,
x < 0.
Consideremos su correspondiente desarrollo de Fourier en exponenciales. Teniendo

en cuenta que en este caso b a = 2 , = 1
cn ei nx ,
u(x) =
n=
cn =
1
2
0,
i nx
u(x)e
dx =
1 ,
2in
si n es par,
si n es impar.
74
[Captulo 2
Por tanto
u(x) =
1
1
1 i x 1 i 3x
+ ... +
e + e
e i x e i 3x . . . ,
2i
3
2i
3
que agrupando trminos queda en la forma
u(x) = sen x +
sen(2n + 1)x
1
sen 3x + =
.
3
2n + 1
n=0
Esta es la serie de Fourier de senos y cosenos de v en el intervalo [ , ] (los trminos

en los cosenos tienen coeciente cero). La grca de la funcin y de la suma parcial
de la serie de Fourier para N = 40 son
0.5
3
3 x
0.5
La funcin u es C 1 a trozos en [ , ] as que su serie de Fourier debe vericar las

propiedades que asegura el teorema de Dirichlet. Podemos comprobar directamente
algunas de tales propiedades. Tomemos los puntos x = 0, . En ellos todos los senos
de la serie se anulan, luego la suma de la serie converge puntualmente en x = 0,
al valor cero, que es precisamente el valor que toma la extensin peridica
uext (x + 0+ ) + uext (x + 0 )
,
2
en tales puntos.
Observemos que la convergencia puntual para x =
implica
2
(1)n
=
.
4
2n + 1
n=0
El anlisis de la convergencia puntual de las series de Fourier para clases ms
generales de funciones es un problema de enorme inters y altamente no trivial.
1) Puede suceder que una funcin u sea continua en un punto x, y que su serie de
Fourier no sea convergente en x (Du Bois Reymond, 1873). (Hall una funcin u
con lim supN SN (u, 0) = .)
2) En 1923, Kolmogorov hall una funcin u integrable en el sentido de Lebesgue (y
no de Riemann) cuya serie de Fourier no converge en ningn x de [a, b].
teorema de
Carleson
3) En 1915 Luzin conjetur y en 1966 Carleson demostr que las funciones de cuadrado integrable poseen series de Fourier convergentes en "casi todos los puntos".
2.7]
75
Series de Fourier
Otro aspecto interesante de la convergencia de las series de Fourier es el llamado

fenmeno de Gibbs. El fsico Michelson construy un aparato para computar las series
de Fourier. La mquina fue probada calculando los 80 primeros coecientes de Fourier
de la funcin
u=
x [ , ],
en los dems casos.
Para sorpresa de Michelson la serie truncada mostraba dos pequeos resaltes en

x = , los puntos de discontinuidad; de hecho, a medida que N crece estas dos
perturbaciones sobre el resultado exacto se aproximan a las discontinuidades, aunque
no decrecen en valor, siendo ste el 19% de los resultados exactos: y suponiendo
8.5%, 9% del salto total de la funcin (2 ). Gibbs, en dos artculos a Nature dio la
explicacin a este hecho, que desde entonces se conoce como fenmeno de Gibbs: vino
a decir que no se deben confundir la grca del lmite con el lmite de las grcas. La
suma parcial de Fourier es
N
(1)n
SN (u, x) =
n=1
2
sen nx.
n
Por ello, uno encuentra que

N
SN (u; /N) =
2
n
sen
2
n
N
n=1
sen x
dx
x
1.17 .
En donde la evaluacin del lmite la hemos obtenido considerado la serie como una
suma de Riemann.
En el punto x = tenemos convergencia puntual a 0:
lim SN (u, ) = 0.
Por tanto
lim SN (u, ) lim SN (u, (1 1/N)),
que muestra que la convergencia en x = no es uniforme. El salto, que no desaparece

por muy grande que sea N, a medida que N crece se va aproximando a x = .
A continuacin mostramos las grcas para N = 10, 20, 240, 80, 160 de la serie de
Fourier truncada en donde se aprecia claramente el fenmeno de Gibbs.
fenmeno de
Gibbs
76
[Captulo 2
2 S10 (x)
2 S20 (x)
2 S40 (x)
3 2 1
3 x 3 2 1
3 2 1
1
2
3
y
2 S80 (x)
2 S160 (x)
1
3 2 1
1
1
x 3 2 1 0
error
3 x
Por ltimo nos queda por discutir el error al truncar y la velocidad de convergencia
de una serie de Fourier. As, si u C r ([a, b]) y la r -sima derivada est acotada
dr u
K
d xr
entonces
|SN (u, x) u(x)|
cr K ln N
Nr
donde cr es una constante que tan slo depende de r . Vemos que cuantas ms derivadas de la funcin existan ms rpida es la convergencia. Si la funcin u(x) es
analtica en [a, b] tenemos
|SN (u, x) u(x)| cqN
0 < c y 0 < q < 1 dependen solamente de u.
De est cota se inere la convergencia uniforme.
3x
2.8]
2.8
Transformada de Fourier
2.8.1 Denicin de la transformada de Fourier

La transformada de Fourier de una funcin u = u(x) puede describirse como un
desarrollo de u en autofunciones del operador
Lu = i Du,
cuando el dominio de L es de la forma
C (R) :
D := {u L2 (R)
Lu L2 (R)}.
Advirtase que la denicin de D est motivada por el hecho de que al considerar

funciones u denidas sobre toda la recta, no est asegurado que u L2 (R) cuando
u C , por lo que tenemos que exigir que u pertenezca a ambos espacios. Por otro
lado tambin debemos exigir que Lu L2 (R) para que L constituya una aplicacin
D L2 (R). Lo especial de este dominio es que, a pesar de que L es simtrico en l, no
existen autofunciones de L en D. Esto es claro ya que
Lu = u,
implica
u = cei x ,
c 0,
pero tales funciones no estn en L2 (R) ya que

+
|u|2 dx = |c|2
e2 Im()x dx = .
Sin embargo, vamos a mostrar que un subconjunto de estas autofunciones

B := {ek (x) := ei kx : k R},
permite desarrollar todas las funciones u L2 (R). El desarrollo ahora no ser una
serie, sino una integral. De hecho la base B de funciones del desarrollo no es un
conjunto discreto, ya que posee tantos elementos ek , k R como el conjunto de los
nmeros reales.
Para introducir este nuevo desarrollo partimos de la serie de Fourier de exponenciales de una funcin u L2 ([a, b])
cn ei kn x ,
u(x) =
cn =
nZ
1
ba
e i kn x u(x) d x,
donde
kn := n,
:=
2
.
ba
Nuestra idea es escribir esta suma en la forma de suma de Riemann de una integral
respecto de la variable k. En este sentido tenemos que
77
78
c(kn )ei kn x k
u(x) =
[Captulo 2
(2.14)
nZ
donde
k := kn+1 kn = ,
b
cn
1
=
k
2
(2.15)
a ,
c(kn ) :=
b +,
e i kn x u(x) d x.
Si realizamos el lmite
obsrvese que k 0 y que tenemos

u(x) =
c(k) =
1
2
c(k)ei kx d k,
e i kx u(x) d x.
Este es el desarrollo de u en las autofunciones ek (x). La funcin c = c(k) juega el papel

de coecientes del desarrollo . Toda la informacin de la funcin primitiva u = u(x)
queda codicada en la nueva funcin c = c(k). La nomenclatura y notacin usual para
este desarrollo son
c(k) =: F(u), transformada de Fourier de u.

u(x) =: F1 (c), transformada de Fourier inversa de c
transformada de
Fourier versus
series de Fourier
La transformada de Fourier aparece de este modo como un lmite continuo del

concepto de desarrollo en serie de Fourier.
Consideramos ahora la extensin n-dimensional de la transformada de Fourier.
Denotaremos
x = (x0 , x1 , . . . , xn1 ) Rn , k = (k0 , k1 , . . . , kn1 ) Rn ,
transformada de
Fourier en Rn
x k = x0 k0 + + xn1 kn1 .
La transformacin de Fourier para funciones de n variables se dene como sigue
u(x) =
c(k) =
Rn
ei kx c(k) dn k =: F1 (c),
1
(2 )n
Rn
transformada inversa de Fourier de c
e i kx u(x) dn x =: F(u),
transformada de Fourier de u.
Un problema bsico es saber cuando existe la transformada de Fourier de una

funcin. Algunos resultados importantes son los siguientes
2.8]
79
Teorema 2.8.1. Si u(x) es absolutamente integrable, esto es si
Rn
|u(x)| dn x < ,
entonces su transformada de Fourier F(u) existe y es una funcin continua en

todo Rn .
Sin embargo el espacio de funciones absolutamente integrables no queda invariante
bajo la transformada de Fourier. Es decir, existen funciones absolutamente integrables cuya transformada de Fourier no es absolutamente integrable. En este sentido el
espacio L2 (Rn ) es ms apropiado ya que se verica
Teorema 2.8.2. Si u(x) es de cuadrado integrable (u L2 (Rn )), esto es si
Rn
|u(x)|2 dn x < ,
entonces su transformada de Fourier F(u) existe y es tambin una funcin de

cuadrado integrable. Adems, la transformada de Fourier dene una aplicacin
lineal biyectiva
F : L2 (Rn ) L2 (Rn )
que conserva el producto escalar salvo un factor constante
(2 )n (Fu, Fv) = (u, v),
u, v L2 (Rn ).
La inversa de la transformada de Fourier es lo que hemos denido como transformacin de Fourier inversa.
Hay que advertir que la integral impropia que acompaa a la operacin de transformada de Fourier sobre elementos de L2 (Rn ) hay que efectuarla en un sentido diferente
del habitual. En concreto, se dene como
c(k) = lim cR (k),
R
cR (k) :=
1
(2 )n
|x|R
e i kx u(x) dn x,
donde la operacin de lmite es la asociada a la convergencia en media

lim
R Rn
|c(k) cR (k)|2 dn k = 0.
Otro espacio funcional en el que la transformada de Fourier posee importantes

propiedades es el espacio de Schwartz
S(Rn ) := {u C (Rn ) : sup (x D u) < , , Zn },

+
xRn
de funciones test o de decrecimiento rpido en el innito. Estamos usando la notacin
n1
x := x0 0 x1 1 . . . xn1 .
Este espacio funcional est contenido en L2 (Rn ).

espacio de
Schwartz
80
[Captulo 2
Teorema 2.8.3. Si u = u(x) pertenece a S(Rn ), entonces su transformada de

Fourier existe y es tambin una funcin de S(Rn ). Adems la transformada de
Fourier dene una aplicacin lineal biyectiva
F : S(Rn ) S(Rn ).
Veamos a continuacin algunos ejemplos de clculo de transformadas de Fourier de
funciones de una sola variable.
Ejemplos
i) Dada la funcin
u(x) =
si x [a, a],
en el resto,
su transformada de Fourier se calcula fcilmente

c(k) =
1
2
e i kx u(x) d x =
1
2
e i kx d x =
1 e i kx
2 i k
a
a
dx =
sen ka
.
k
Representamos a continuacin est transformacin

u(x)
x
3
3
2
c(k)
1
k
3
ii) Sea la funcin

u(x) =
eax
x > 0,
en el resto,
donde a > 0. La transformada es

1
c(k) =
2
i kx
1
u(x) =
2
i kx ax
1 aik
=
2 a2 + k2
1
=
2
(a+i k)x
e
0
1 e(a+i k)x
=
2 (a + i k)
x=0
2.8]
iii) La funcin lorentziana tiene la forma

u(x) =
1
,
+ a2
x2
transformada de
Fourier de la
lorentziana
a > 0.
Su transformada
c(k) =
1
2
e i kx
1
d x,
x 2 + a2
se calcula con tcnicas de variable compleja y el resultado es

c(k) =
1 a|k|
.
e
2a
Tambin podemos obtener de otra forma este resultado. Calculamos, en primer

lugar, la transformada de Fourier de ea|x|
F ea|x| =
=
1
2
eax e i kx d x +
1
2
eax e i kx d x
1
1
1
a
+
=
2 (a + i k) 2 (a i k)
a2 + k2
Luego
F1 (
) = ea|x| ,
a2 + k2
a
o bien
ei kx
a2
d k = ea|x| .
2
+k
a
Cambiando x k y k x obtenemos el resultado anunciado

1
2
e i xk
a2
81
1
1 a|k|
dx =
.
e
2
+x
2a
La grca correspondiente es
Sea f (z) = e i kz /(z 2 + a2 ) y la recta real orientada de izquierda a derecha. Vamos a computar
f (z) d z usando residuos. Las singularidades de f son dos polos simples en z = i a, all los
residuos de f (z) son: Resz= i a (f (z)) = eka /(2 i a). Cuando k > 0 la integral es el lmite cuando
R de la integral al semi-crculo inferior centrado en el origen de radio R. En tanto que si k < 0
se selecciona el semi-crculo superior. Por tanto, en cada situacin contribuye tan slo un polo en la
formula f (z) d z = 2 i p polo simple Resz=p (f (z)).
82
[Captulo 2
1
u(x)
x
3
3
2
c(k)
1
k
3
2.8.2 Propiedades de la transformada de Fourier

Bajo condiciones apropiadas sobre las funciones (por ejemplo si estas pertenecen al
espacio de Schwartz) la transformada de Fourier tiene una serie de propiedades bsicas
que a continuacin desglosamos. En este primer cuadro recogemos las propiedades
ms inmediatas
i)
F
ui (x) ci (k),
i = 1, 2
1 u1 (x) + 2 u2 (x) 1 c1 (k) + 2 c2 (k),
1 , 2 C
ii)
F
u(x) c(k) u(x + a) ei ka c(k)
iii)
F
u(x) c(k) ei
u(x) c(k )
2.8]
iv) Si A MN (R) es una matriz invertible entonces

F
u(x) c(k) u(Ax)
1
c A1 k
det A
v)
F
u(x) c(k) u(x) c (k)

La segunda serie de propiedades, que requieren un mayor anlisis , la exponemos a
continuacin. Usaremos la notacin Dx , Dk para denotar los operadores de derivacin

mltiple D con respecto a las variables x k, respectivamente. Introducimos tambin
la operacin de convolucin de dos funciones u y v como sigue
(u v)(x) :=
u(x y)v(y) dn y =
Rn
Rn
u(y)v(x y) dn y.
Proposicin 2.8.4. i)
F(Dx (u)) = (i k) F(u).
ii)
F(x (u)) = (i Dk ) F(u).
iii)
F(u v) = (2 )n F(u)F(v).
iv) Identidad de Parseval:
Rn
|u(x)|2 dn x = (2 )n
Rn
|c(k)|2 dn k.
Demostracin. i) En primer lugar tenemos
u
xi
1
(2 )n
1
=
(2 )n
=
Rn
e i kx
Rn1
u n
d x
xi
e i kx u(x)
xi =
( i ki )e i kx u(x) d xi d x1 . . . d xi1 d xi+1 d xn ,
83
84
[Captulo 2
en donde hemos integrado por partes. Si u S(Rn ) se cumple que

u(x)
= 0,
xi =
luego por tanto obtenemos
u
xi
= i ki F(u).
Por ello,
n1
0
0
(i kn1 )n1 F(u).
n1 u = (i k0 )
x0 0
xn1
de donde por linealidad se inere la propiedad buscada.

ii) Comenzamos observando que
F(xi u) =
1
(2 )n
Rn
e i(kx) xi u(x) dn x =
1
(2 )n
Rn
(e i kx u(x)) n
d x.
ki
Si u S(Rn ) podemos extraer la derivada con respecto al parmetro ki fuera de

la integral y escribir
F(xi u) = i
F(u).
ki
Por ello,
n1
F(x0 0 . . . xn1 u) = i
k0
kn1
n1
F(u)
y por linealidad se obtiene el resultado deseado.

iii) La transformada de una convolucin es por denicin
F(u v) =
1
(2 )n
Rn
e i kx
Rn
u(y)v(x y) dn y dn x
y dado que u, v S(Rn ) podemos escribir
F(u v) =
1
(2 )n
Rn Rn
e i kx u(x y)v(y) dn y dn x,
que con el cambio de variables

x = + ,
y = ,
se transforma en
F(u v) =
1
(2 )n
Rn Rn
e i k(+) u()v() dn dn = (2 )n F(u)F(v),
como queramos demostrar.

2.8]
85
iv) El producto escalar en L2 (Rn ) de u, v S(Rn ) se puede escribir como

(u, v) =
Rn
u(y)v(y) dn y = (P u v)(0),
donde P u(x) = u(x). Por ello, utilizando el resultado de iii) tenemos

(u, v) = (2 )n [F1 (F(P u)F(v))](0),
esto es
(u, v) = (2 )n
Rn
ei kx c (k)d(k) dn k
x=0
donde c, d son las transformadas Fourier de u, v, respectivamente. Por tanto,

Rn
u(x)v(x) dn x = (2 )n
Rn
c (k)d(k) dn k,
y en particular, para u = v se obtiene la identidad de Parseval.

Aunque en las anteriores demostraciones nos hemos ceido a funciones de decrecimiento rpido, estas propiedades son vlidas en situaciones ms generales.
Ejemplos
i) En primer lugar vamos a calcular la transformada de Fourier de la funcin gaussiana
de una variable
2 x2
u(x) = ea
a > 0.
En primer lugar, si derivamos esta funcin se obtiene

Dx u(x) = 2a2 xu(x),
Aplicando la transformada de Fourier a ambos miembros de esta ecuacin, y
teniendo en cuenta las propiedades i) y ii) que hemos demostrado, deducimos
que la transformada c(k) de la funcin u(x) satisface
Dk c(k) =
1
kc(k).
2a2
Integrando esta ecuacin diferencial deducimos que
c(k) = c(0)e
k2
4a2
Por otra parte, de la denicin de transformada de Fourier

c(0) =
1
2
=
1
2 a
u(x) d x =
+
1
2
ex d x =
2 x2
ea
dx
1
.
2a
Por tanto
c(k) =
k2
1
e 4a2 .
2a
Es decir, la transformada de una gaussiana es de nuevo una gaussiana, como se

representa en las siguientes grcas.
86
[Captulo 2
u(x)
x
4 3 2 1 0
F
1
c(k)
k
4 3 2 1 0
transformada de
Fourier de
gaussianas en Rn
ii) Consideremos ahora la transformada de Fourier de la funcin gaussiana en n variables

n1
i,j=0 Aij xi xj /2
u(x) = e
donde A = (Aij ) es una matriz simtrica (A = At ) y denida positiva ((x, Ax) >
0, x 0)). Tomando derivadas parciales con respecto a xi obtenemos
n1
u
= u(x)
xi
Aij xj .
j=0
Por tanto, utilizando las propiedades i) y ii), encontramos que

n1
i ki c(k) =
Aij i
j=0
c
,
kj
y por tanto
c
=
kj
n1
(A1 )ji ki c.
j=0
Esta EDP de primer orden tiene por solucin

c(k) = c(0)e
n1
1
i,j=0 (A )ji ki kj /2
Observemos que
c(0) =
1
(2 )n
Rn
n1
i,j=0 Aij xi xj /2
dn x.
Al ser A simtrica y denida positiva, se puede factorizar como A = OO t donde

O es ortogonal y = diag(0 , . . . , n1 ) es la matriz diagonal de autovalores de
A, con i > 0, i = 0, . . . , n 1. Por ello, tras el cambio de coordenadas x x =

1 x, de jacobiano 1 (como O es una matriz ortogonal se tiene | det O| = 1),
O
c(0) se expresa como
c(0) =
1
(2 )n
n1
i=0
ei xi /2 d xi =
1
(2 )n
n1
i=0
2
i
exi d xi .
2.8]
87
Por tanto, como det A = 1 n obtenemos

c(0) =
1
(2 )n det A
con lo que
c(k) =
1
e
n det A
(2 )
n1
1
i,j=0 (A )ji ki kj /2
Por ejemplo, la transformada de Fourier de

2
u(x1 , x2 ) = e(x1 +x2 +x1 x2 )

es
c(k1 , k2 ) =
2
2
1
e(k1 +k2 k1 k2 )/3 .
2 3
2/3
Ahora A = 2 1 , det A = 3 y A1 = 1/3 1/3 y autovalores 1 = 1, 2 = 3. A
1 2
2/3
continuacin representamos esta transformacin
u(x1 , x2 )
0
2
x1 0
x2
c(k1 , k2 )
0
2
k1
ii) Calculamos ahora la transformada de
x1 x2 x3
u(x1 , x2 , x3 ) =
0
2
k2
x1 , x2 , x3 [a, a],
en el resto.
En primer lugar observemos que la transformada de Fourier en R3 de
1 x1 , x2 , x3 [a, a],
v(x1 , x2 , x3 ) =
0 en el resto.
88
[Captulo 2
es
3
1
2
i=1
a
a
e i ki xi d xi =
1 sen ak1 sen ak2 sen ak3

.
3
k1
k2
k3
y como u(x1 , x2 , x3 ) = x1 x2 x3 v(x1 , x2 , x3 ) debemos tener que

c(k1 , k2 , k3 ) = i
1 sen ak1 sen ak2 sen ak3

i
i
.
k1 k2 k3 3
k1
k2
k3
As pues
i [sen ak1 )/k1 ] [sen ak2 /k2 ] [sen ak3 /k3 ]
3
k1
k2
k3
i ak1 cos ak1 sen ak1 ak2 cos ak2 sen ak2
= 3
k2
k2
1
2
c(k1 , k2 , k3 ) =
ak3 cos ak3 sen ak3

k2
3
iii) Para calcular la transformada de Fourier de

2
u(x) = (x 1)2 e(x+1) .

desarrollamos (x 1)2 :
2
u(x) = (x 2 2x + 1)e(x+1) ,
y como sabemos que
k2 /4
ike
(x+1)2 F
,
2
obtenemos
2
d
ek /4+i k
+1
dk
2
2
2
k
1
k
1
2 i + i + 1 ek /4+i k
+ +i
=
2
2
2
2
k2 + 8 i k + 18 k2 /4+i k
=
.
e
8
c(k) =
d
dk
2i
2.8.3 Transformadas seno y coseno

Si utilizamos la frmula de Euler, para la exponencial la transformada inversa de Fourier se puede escribir como sigue
u(x) =
[cos kx + i sen kx]c(k) d k =
cos kxc(k) d k +
i sen kxc(k) d k.
2.8]
89
Ahora bien, dada la paridad de las funciones trigonomtricas se tiene
c(k) cos kx d k =
c(k) i sen kx d k =
cos kx(c(k) + c(k)) d k,
sen(kx) i(c(k) c(k)) d k,
y si denotamos
a(k) := c(k) + c(k),
b(k) := i(c(k) c(k))
obtenemos
u(x) =
transformada de
Fourier seno y
coseno
a(k) cos kx d k +
b(k) sen kx d k.
0
Recordando que c(k) es la transformada de Fourier de u(x), se deducen las frmulas

siguientes
a(k) =
u(x) cos kx d x,
b(k) =
u(x) sen kx d x.
Supongamos ahora que u(x) es par,

u(x) = u(x).
En ese caso, argumentos de paridad nos llevan a
a(k) =
u(x) cos kx d x,
0
b(k) = 0,
(2.16)
(notar que c(k) = c(k)). Por todo ello

u(x) =
a(k) cos kx d k.
(2.17)
En cambio, si u(x) es impar,

u(x) = u(x)
los mismos argumentos de paridad conducen a
a(k) = 0,
b(k) =
u(x) sen kx d x,
(2.18)
ahora c(k) = c(k). As

u(x) =
b(k) sen kx d k.
(2.19)
Observamos, que en las frmulas anteriores (2.16) y (2.18), para u(x) con paridad
bien denida, slo aparece su contribucin para x 0. Luego, si slo conociramos la
funcin u(x) en el semi-eje positivo las frmulas (2.17) y (2.19) dan sus extensiones
par e impar, respectivamente, a toda la recta.
90
[Captulo 2
Transformada de Fourier en R3 para funciones radiales

Analicemos la transformada de Fourier en R3 de funciones u(x) que en coordenadas
esfricas slo dependen del radio
u(r , , ) = u(r ).
Para ello, para cada k = (k1 , k2 , k3 ) en el clculo de la integral correspondiente escogemos coordenadas esfricas adaptadas a la direccin marcada por k: esto es, k tiene
ngulos = = 0. Por tanto,
1
(2 )3
1
=
(2 )3
1
=
(2 )2
c(k) =
R3
e i kx u(r ) d3 x
e i
e i
k r cos
k r cos
u(r )r 2 sen d d d r
sen d u(r )r 2 d r
que como
e i
k r cos
sen d =
ei
k ru
du = 2
sen k r
k r
se transforma en
c(k) = c( k ) =
1
2 2 k
u(r )r sen k r d r .
0
Vemos que la transformada slo depende del mdulo de k y no de su direccin o

sentido; ms an, sta adopta la forma de una transformada seno.
2.9
2.9.1 Cuestiones
1. El dominio del operador diferencial L = D2 es el conjunto de funciones u diferenciables en en el intervalo [a, b] con peso (x) = 1. Determinar cuales de
las siguientes condiciones de contorno denen dominios en que el operador es
simtrico
(a) u(a) = 0, u (a) = 0
(b) 2u(a) u (a) = 0, 3u(a) + 2u(b) = 0
(c) u(a) + u (a) = 0, 2 i u(a) + u(b) = 0
(d) u(a) 2u (b) = 0, u(b) + 2u (a) = 0
(e) u(a) + u(b) = 0, u (a) u (b) = 1
2.9]
Resolucin Las condiciones de contorno deben ser homogneas y con coecientes reales, as quedan descartadas las opciones (c), (e). Para discernir la respuesta correcta entre las tres opciones restantes recordemos que el operador
D2 es simtrico si para toda pareja de funciones u, v del dominio se cum
ple u(a)v (a) u (a)v(a) = u(b)v (b) u (b)v(b). Por tanto, la opcin
(a) queda descartada inmediatamente (0 u(b)v (b) u (b)v(b)). En la opcin (b) podemos expresar u (a) = 2u(a) y u(b) = 3/2u(a) en trminos
de u(a), as tenemos u(a)v (a) u (a)v(a) = 0 y u(b)v (b) u (b)v(b) =
3/2(u(a)v (b) v(a)u(a)); por tanto no es correcta. Veamos que la opcin (d) es correcta, ahora tenemos u (b) = u(a)/2 y u (a) = u(b)/2, as
u(a)v (a)u (a)v(a) = (u(a)v(b)u(b)v(a))/2 y u(b)v (b)u (b)v(b) =
(u(b)v(a) u(a)v(b))/2 y se da la igualdad.

2. Determinar los autovalores del operador diferencial
Lu = D2 u,
actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las
condiciones de contorno
ux (0) = 0,
u(1) = 0.
(a) 4n2 2 , n 1
(b) (2n + 1)2 2 /4, n 0
(c) (2n + 2)2 2 /4, n 0
(d) n 2 , n 1
(e) n2 2 , n 1
Resolucin En primer lugar observamos que = 0 no es autovalor ya que si
este es el caso entonces u(x) = A + Bx, con A, B constantes que determinan
las condiciones de contorno como A = B = 0. Las soluciones del problema de
autovalores uxx = u, 0, son de la forma u = A ei kx +B e i kx , con = k2 .
Como ux |x=0 = i k(A B) y u|x=1 = ei k A + e i k B al imponer las condiciones de
i k(A B) = 0,
contorno obtenemos el siguiente sistema lineal
Este siste ei k A + e i k B = 0.
ik ik
= 0,
ei k e i k
lo que conduce cos k = 0
k = (n + 1/2) , n = 0, 1, 2, . . . , y as los autovalores
son n = (n + 1/2)2 2 , n = 0, 1, 2, . . . .
ma posee soluciones no nulas, v. g. (A, B) (0, 0), siempre que
3. Si u(x) es solucin de la ecuacin de Poisson

u = ,
x R3 ,
1
(2 )3
(x) e i kx d x;
(k) =
R3
es la transformada de Fourier de la funcin (x), entonces la transformada de
Fourier u de u verica
91
92
[Captulo 2
(a) |k|2 u(k) + (k) = 0
(b) |k|u(k) + 2(k) = 0
(c) u(k) + (k) = 0
(d) |k|2 u(k) = 0
(e) |k|2 u(k) (k) = 0

Resolucin Realizando la transformada Fourier de la ecuacin de Poisson tenemos
F(u) = ,
recordando que i ki F(u) = F(Dxi u) obtenemos
F(u) = (i k1 )2 + (i k2 )2 + (i k3 )2 u = |k|2 u.
que es el resultado sealado.
4. Dado el operador diferencial
Lu := D(ex Du),
determinar para que valor de c las siguientes condiciones de contorno
u(0) + cu(1) = 0,
u (0) + cu (1) = 0
denen un dominio de L2 ([0, 1]) en que el operador es simtrico
(a) c = 0
(b) c = e
(c) c = e
(d) c = 1
Resolucin El operador L es del tipo Sturm-Liouville con p(x) = ex , q(x) = 0
sobre el intervalo [0, 1]. Por tanto, la condicin para que sea simtrico es
u(0)
ux (0)
u(1)
v(0)
=e
v(0)
ux (1)
v(1)
v(1)
para toda pareja de funciones u, v en el dominio. Usando las condiciones de

contorno obtenemos que el primer determinante es
u(0)
ux (0)
u(1)
v(0)
= c2
ux (1)
v(0)
de donde se concluye que se debe tener c 2 = e.

v(1)
v(1)
2.9]
5. Sea el operador diferencial

Lu = D2 u,
actuando sobre el dominio de funciones diferenciables en [0, 1] que cumplen las
u (0) = 0,
u(1) + u (1) = 0.
Sealar cual de las siguientes relaciones determina los autovalores = k2 de L
(a) senk = 0
(b) ksenk = 1
(c) k tan k = 1
(d) k cos k = 0
(e) k tan k = 0
Resolucin Las posibles autofunciones de L han de ser de la forma u(x) =
a cos kx + bsenkx, a, b R y con autovalor no nulo = k2 (para = 0 se
buscan soluciones u(x) = a + bx, que una vez se aplican las condiciones de
contorno ja u = 0). La derivada es u (x) = asenx + b cos x. Por tanto, la
existencia de soluciones no triviales conduce a
0
cos k ksenk
k
=0
senk + k cos k
que implica
k(cos k ksenk) = 0.
6. Determinar el valor en x = 0 de la serie de Fourier en senos y cosenos de la
funcin
u(x) =
senx
,
|x|
1 x 1.
(a) 0
(b) 1
(c) 1
(d) 2
(e) 2
Resolucin La funcin u(x) no es continua en el origen, sus lmites laterales
son limx0 u(x) = 1, y por ello su semisuma es (u+ + u )/2 = 0. Recordando
el teorema de Dirichlet concluimos que la serie converge puntualmente a 0 en el
0.
93
94
[Captulo 2
2.9.2 Problemas
1. Determinar la transformada de Fourier en R2
c(k1 , k2 ) =
1
(2 )2
R2
u(x, y)ei(k1 x+k2 y) dxdy,
de la funcin
u(x, y) = (x + y)ex
Ayuda:
x 2 eikx dx
e
ek
2 /4
2 |y|
Resolucin En primer lugar debemos tener en cuenta que
F(u) = i(Dk1 + Dk2 )F(ex
2 |y|
).
En segundo lugar que
F(ex
2 |y|
2
1
ex |y| ei(k1 x+k2 y) dxdy
2
(2 ) R2
2
1
1
ex eik1 x dx
e|y| eik2 y dy
=
2 R
2 R
2
1
1
e|y| eik2 y dy.
= ek1 /4
2
2 R
)=
Por ltimo,
e|y| eik2 y dy =
e(1ik2 )y dy +
e(1+ik2 )y dy =
1
1
2
+
=
.
1 ik2
1 + ik2
1 + k2
2
Por todo ello,
F(ex
2 |y|
)=
2
1
1
ek1 /4
3
2
1 + k2
2
y nalmente
2
ek1 /4 k1
i
2k2
F(u) = 3
.
+
2 2
2 1 + k2
1 + k2
2
C APTULO
Mtodos de separacin de
variables y desarrollo en
autofunciones
bordamos en este tercer captulo dos de las tcnicas ms fructiferas a la hora

de resolver EDP lineales. La separacin de variables y el desarrollo en autofunciones. Comenzamos presentando la tcnica de separacin de variables
para problemas de contorno homogneos de forma general para despus aplicarla a
ejemplos concretos, tratando en detalle diversos problemas fsicos. Posteriormente,
analizamos el esquema del desarrollo en autofunciones para resolver problemas de
condiciones iniciales y de contorno no homogneos. Finalizamos tratando problemas
de contorno en electrosttica y mecnica de uidos. La estructura del tema es como
sigue:
1. El mtodo de separacin de variables
2. La ecuacin de Helmholtz en coordenadas cartesianas
3. La ecuacin de Helmholtz en coordenadas cilndricas
4. La ecuacin de Helmholtz en coordenadas esfricas
5. El mtodo del desarrollo en autofunciones
6. Problemas de contorno en electrosttica y mecnica de uidos
3.1
El mtodo de separacin de variables
Este es uno de los mtodos ms antiguos para encontrar soluciones particulares de

EDP lineales. Bsicamente permite reducir el problema de la bsqueda de soluciones de
cierto tipo de EDP a problemas de resolucin de ecuaciones diferenciales ordinarias.
Por otro lado, constituye el elemento bsico de los mtodos de desarrollo en autofunciones para determinar soluciones de problemas de contorno y/o de condiciones
iniciales.
95
96
Mtodos de separacin de variables y desarrollo en autofunciones
[Captulo 3
3.1.1 Operadores diferenciales separables

Sea L un operador diferencial lineal actuando sobre funciones diferenciables en un
subconjunto de Rn
a (x)D u.
Lu :=
Para la discusin siguiente es conveniente denotar L en la forma

L = L x0 , x1 , . . . , xn1 ;
operador
diferencial
separable
,
,... ,
,
x0 x1
xn1
que indica que L efecta derivaciones con respecto a las variables (x0 , . . . , xn1 ) y que
sus coecientes a = a (x) dependen de esas variables.
Denicin 3.1.1. Se dice que L es un operador separable respecto de la variable
x0 si puede descomponerse en suma de dos operadores
L = A + B,
de la forma
A = A x0 ;
,
x0
B = B x1 , . . . , xn1 ;
,... ,
.
x1
xn1
Es decir A solo efecta derivaciones respecto de x0 y sus coecientes solo pueden depender de x0 , mientras que B deriva solo respecto de las variables
(x1 , . . . , xn1 ) y sus coecientes solo pueden depender de (x1 , . . . , xn1 ).
Ejemplos
1. El operador
Lu = xux + yuyy + yzuz + x 2 u,
es separable respecto de x ya que L = A + B siendo
A x;
=x
+ x2,
x
x
B y, z;
2
+ yz .
,
=y
2
y z
y
z
2. El operador Laplaciano
Lu := u = uxx + uyy + uzz ,
es separable respecto de cualquiera de sus tres variables (x, y, z).
3. El operador dAlambertiano que aparece en la ecuacin de ondas en 1+3 dimensiones:
Lu := utt c 2 u,
es separable respecto de cualquiera de sus cuatro variables (t, x, y, z).
3.1]
97
4. El operador que aparece en la ecuacin de Schrdinger en 1+3 dimensiones:

Lu := i ut +
2m
u + q(x, y, z)u,
es separable respecto de la variable t. Ser separable respecto respecto de la

variable x solo cuando la funcin q = q(x, y, z) sea de la forma q = u(x) +
v(y, z). Anlogamente para las variables y y z.
3.1.2 Soluciones de EDP homogneas

El mtodo de separacin de variables (MSV) se aplica a EDP lineales homogneas en las
que el operador L es separable. Puede resumirse en el siguiente enunciado
Teorema 3.1.2. Dada una EDP homognea de la forma
A x0 ;
,... ,
u + B x1 , . . . , xn1 ;
u = 0,
x0
x1
xn1
(3.1)
todo par de funciones

v = v(x0 ),
w = w(x1 , . . . , xn1 ),
que veriquen el sistema de ecuaciones

Av = v,
Bw = w,
(3.2)
con C arbitrario, determinan una solucin de (3.1) dada por

u = v(x0 )w(x1 , . . . , xn1 ).
Demostracin. Dadas dos funciones no nulas v = v(x0 ) y w = w(x1 , . . . , xn1 ) vericando (3.2), por la forma de los operadores A y B es claro que
A(vw) = w Av = vw,
B(vw) = v Bw = vw,
por tanto la funcin producto u = vw satisface

Au + Bu = u u = 0.
Observaciones
1. La utilidad del MSV radica en que reduce el problema de la bsqueda de soluciones de una EDP (3.1)
Au + Bu = 0,
con n variables independientes (x0 , x1 , . . . , xn1 ) a un sistema (3.2) que consta
de una ecuacin diferencial ordinaria
Av = v,
separacin de
variables en
ecuaciones
homogneas
98
[Captulo 3
y una EDP
Bw + w = 0,
con (n 1) variables independientes (x1 , . . . , xn1 ), que es a su vez otra EDP
lineal homognea. Si a esta EDP podemos aplicarle el MSV la reduciremos a una
ecuacin diferencial ordinaria y una EDP lineal homognea con n 2 variables
independientes. Iterando el proceso concluimos que si es posible aplicar el MSV
n 1 veces habremos conseguido reducir la EDP original a un sistema de n
ecuaciones diferenciales ordinarias. Cuando esto es posible decimos que la EDP
es resoluble mediante el MSV.
2. Las funciones v y w que aparecen en el MSV son autofunciones de los operadores
A y B con autovalores y respectivamente.
3. Cuando aplicamos el MSV suponemos que es un parmetro complejo arbitrario.
Luego las soluciones u obtenidas dependern de ese parmetro . En una EDP
con n variables independientes resoluble mediante el MSV deberemos aplicar el
MSV n 1 veces, luego las soluciones obtenidas dependern de los n 1 parmetros = (1 , , n1 ) introducidos por el MSV. Es decir el MSV proporciona
una familia (n 1)-paramtrica de soluciones
u = u (x).
4. Como la EDP (3.1)

Au + Bu = 0,
es una EDP lineal y homognea, dada una familia cualquiera de soluciones,
{u = u (x), },
cualquier combinacin lineal de los elementos de la familia
N
u(x) =
cn un (x),
n=1
es tambin solucin de la EDP. Bajo condiciones apropiadas tambin podremos

construir soluciones mediante combinaciones lineales generalizadas del tipo serie innita
u(x) =
cn un (x),
n=1
o una expresin integral

u(x) =
c()u (x) dn1 ,
0 ,
o incluso una superposicin de ambas formas
cn un (x) +
u(x) =
n=1
c()u (x) dn1 .
Esta propiedad permite bajo condiciones favorables generar la solucin general

de (3.1). Para ello basta con que la familia de soluciones {u , } contenga
un conjunto completo de funciones.
3.1]
99
3.1.3 Soluciones de problemas de contorno homogneos

El MSV puede tambin aplicarse en situaciones en que el problema sea una EDP lineal
homognea junto con una serie de condiciones
Lu = 0,
li (u) = 0,
i = 1, . . . , m,
Denicin 3.1.3. Se dice que un operador de frontera l opera solo sobre la variable x0 si para todo par de funciones v = v(x0 ) y w = w(x1 , . . . , xn1 ) se
verica
l(vw) = w(x1 , . . . , xn1 )l(v).
Anlogamente, se dice que l opera slo sobre las variables (x1 , . . . , xn1 ) cuando
para todo par de funciones v = v(x0 ) y w = w(x1 , . . . , xn1 ) se satisface que
l(vw) = v(x0 )l(w).
Ejemplos
1. Sea R3 , los funcionales
l(u) = u|x=1 ,
l(u) = ux |x=1 ,
solo operan sobre la variable x. Sin embargo

l(u) = (ux + uy )|x=1 ,
l(u) = u|x+y=3 ,
solo operan sobre las variables (x, y).

2. Sea R2 y la circunferencia de radio r = 1, el funcional
l(u) = u| ,
no es separable ni respecto de x ni de y. Sin embargo si tomamos coordenadas
polares (r , ), el funcional es separable respecto de la variable r ya que
l(u) = u|r =1 .
El MSV puede aplicarse a problemas de contorno homogneos cuando la EDP es separable y las condiciones de contorno son apropiadas. Podemos resumir la situacin
propicia en el siguiente enunciado.
operadores de
frontera
separables
100
[Captulo 3
Teorema 3.1.4. Dado un problema de contorno de la forma

A x0 ;
,... ,
u + B x1 , . . . , xn1 ;
u = 0,
x0
x1
xn1
ai (u) = 0, i = 1, . . . , r ,
bj (u) = 0,
j = 1, . . . , s,
(3.3)
(3.4)
(3.5)
siendo ai y bj operadores de frontera que operan solo sobre las variables x0 y

(x1 , . . . , xn1 ) respectivamente. Entonces todo par de funciones
v = v(x0 ),
w = w(x1 , . . . , xn1 ),
que veriquen los sistemas de ecuaciones
Av = v,
ai (v) = 0, i = 1, . . . , r ,
Bw = w,
bj (w) = 0, j = 1, . . . , s,
(3.6)
(3.7)
con C, determinan una solucin de (3.3)-(3.4)-(3.5) dada por

u = v(x0 )w(x1 , . . . , xn1 ).
Demostracin. Lo nico que resta por demostrar respecto del teorema anterior es que
si v = v(x0 ) y w = w(x1 , . . . , xn1 ) satisfacen las condiciones de contorno de (3.4)
y (3.5) entonces u = vw satisface las de (3.3). Pero esta propiedad es consecuencia
inmediata de las propiedades de los operadores de frontera ai y bj
ai (u) = ai (vw) = wai (v) = 0,
bj (u) = bj (vw) = vbj (w) = 0.
Ejemplos
1. Sea v(x, z) el campo de velocidades de un uido estacionario movindose en el

plano XZ por encima de un fondo impenetrable a una profundidad z = h.
3.1]
h
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
El potencial de velocidades del uido u = u(x, z) est denido por la relacin

v = u,
y satisface el problema de contorno
uxx + uzz = 0,
uz |z=h = 0.
Podemos aplicar el MSV, buscando soluciones de la forma u = v(z)w(x) donde
vzz = v,
vz |z=h = 0,
y
wxx = w.
Introduciendo el cambio de parmetro = k2 , se obtiene que la solucin de la
ecuacin ordinaria para v es
v(z) = Aekz + Bekz ,
imponiendo la condicin de contorno sobre v
k(Aekh Bekh ) = 0,
B = Ae2kh .
Es decir
v(z) = A(ekz + e2kh ekz ) = 2Aekh cosh k(z + h).
Por otra parte, resolviendo la ecuacin ordinaria para w
w(x) = Cei kx + De i kx .
De esta forma hemos determinado la siguiente familia de soluciones
u(x, z) = 2A(Cei kx + De i kx ) cosh k(z + h),
A C.
101
102
separacin de
variables y
cambios de
coordenadas
[Captulo 3
2. Es muy frecuente encontrarse con problemas de contorno en que el MSV no es

aplicable inicialmente, pero que si lo sea al efectuar un cambio apropiado de
variables independientes. Por ejemplo, consideremos de nuevo el problema del
campo develocidades de un uido estacionario movindose en el plano XZ por
encima de un fondo impenetrable, pero supongamos ahora que este fondo no es
horizontal sino que es descrito por una recta de ecuacin z = mx, m = tan .
z
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
El potencial de velocidades del uido u = u(x, z) satisface entonces el problema

de contorno
uxx + uzz = 0,
u
= 0.
n z=mx
Teniendo en cuenta que un vector normal unitario al fondo es
n = sen i + cos k
el problema de contorno se transforma en
uxx + uzz = 0,
sen ux + cos uz
z=mx
= 0.
Esta claro que la condicin de contorno no permite la aplicacin directa del MSV.
Sin embargo, si introducimos el cambio de coordenadas
x = cos x sen z, z = sen x + cos z,
el problema se reduce a
ux
uz | z
+ uz
=0
= 0,
= 0,
al cual s podemos aplicar el MSV, y como vimos en el ejemplo anterior

u(x , z ) = 2Aekh (Cei kx + De i kx ) cosh kz .
Para escribir la solucin en trminos de las variables (x, z) basta introducir en
u las expresiones de (x , z ) en funcin de (x, z).
3.1]
103
3.1.4 El MSV y las ecuaciones de la fsica matemtica

El MSV est ligado a la resolucin de problemas del tipo
N
u
a
n
t N Lu = f , t (a, b), x R ,
iu
= fi (x), i = 1, . . . N 1,
i
t t=t0
l (u) = g (t, x), j = 1, . . . , s,

j
j
separacin de
variables en
Fsica
Matemtica
(3.8)
siendo L un operador de SturmLiouville en las variables x, y donde lj son serie de

operadores de frontera espaciales. Estos problemas surgen de manera natural en electromagnetismo, mecnica de medios continuos o en mecnica cuntica. Es de observar
que la EDP es no homognea y que el operador correspondiente es separable respecto
de la variable t. Como veremos posteriormente, el mtodo de resolucin relevante en
este contexto es el mtodo de desarrollo en autofunciones que se basa en la construccin de la solucin a travs de familias de soluciones del problema espectral asociado
Lw =
w,
lj (w) = 0, j = 1, . . . , s.
Estas autofunciones de L determinan las denominadas ondas estacionarias del problema fsico descrito por (3.8), que son las funciones de la forma
e i t w(x),
ondas
estacionarias
R,
que verican la EDP de (3.8). Esta condicin determina la frecuencia de la onda, ya

que al sustituir la funcin en la EDP se obtiene
frecuencia
a( i )N e i t w = e i t w,
simplicando se obtiene la relacin de dispersin
a( i )N = ,
que relaciona con . Solo en el caso en que existan soluciones reales de esta relacin podemos hablar de ondas estacionarias en el fenmeno fsico correspondiente. Si
tomamos L = la separacin de variables nos conduce a la ecuacin de Helmholtz
w + w = 0.
relacin de
dispersin
ecuacin de
Helmholtz
Ecuacin que estudiaremos en detalle en breve.

Ejemplos
1. Consideremos un problema tpico con la ecuacin de ondas en 1 + 1 dimensiones
c 2 utt = uxx , t (a, b), x (0, l),
= f1 (x),
t=t0
u
t
= f2 (x),
t=t0
u
= g1 (t),
x=0
u
= g (t).
x=l
104
[Captulo 3
El problema espectral asociado es

wxx = w,
w(0) = 0, w(l) = 0.
Las soluciones son

wn (x) = sen kn x,
kn =
n,
l
n = 1, 2, . . .
con n = k2 . La relacin de dispersin es

n
c 2 ( i )2 = k2 ,
luego las ondas estacionarias del problema son
un (t, x) = e i n t sen kn x,
n = ckn .
2. Consideremos ahora un problema con la ecuacin de Schrdinger en 1 + 1 dimensiones
i ut =
uxx ,
2m
u
= f1 (x),
t=t0
= g1 (t),
x=0
u
= g2 (t).
t (a, b), x (0, l),
x=l
2m
wxx = w,
w(0) = 0, w(l) = 0.
Las soluciones son

wn (x) = sen kn x,
kn =
n,
l
n 1,
donde
n =
2 k2
n
2m
La relacin de dispersin es
=
k2
,
2m
luego las ondas estacionarias del problema son

un (t, x) = e i n t sen kn x,
n =
k2
n
.
2m
En las prximas tres secciones vamos a resolver la ecuacin de Helmholtz en distintas situaciones y a analizar diferentes aplicaciones. Estudiaremos el problema en
diferentes sistemas de coordenadas: cartesianas, polares, cilndricas y esfricas. Tambin veremos distintas aplicaciones en uidos y mecnica cuntica.
3.2]
3.2
105
La ecuacin de Helmholtz en coordenadas cartesianas
Vamos pues a considerar la resolucin de

uxx + uyy + uzz + k2 u = 0,
k C.
Aplicando el MSV, buscamos una solucin de la forma
separacin de
variables
ecuacin de
Helmholtz en
cartesianas
u(x, y, z) = X(x)w(y, z),

tal que
2
d X
= X,
2
dx
w
2
yy + wzz + k w = w,
donde = k2 C. Separando variables de nuevo, buscamos una solucin de la

1
segunda ecuacin de la forma
w(y, z) = Y (y)Z(z)
tal que
2
d Y
= Y,
d y2
d2 Z
+ (k2 k2 )Z = Z
1
d z2
donde = k2 C. Llamando k2 = k2 k2 k2 vemos que la solucin buscada tiene

2
3
1
2
la forma
uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z),
Xk1 (x) = a1 ei k1 x + b1 e i k1 x ,
Y (x) = a2 ei k2 y + b2 e i k2 y ,
k2
Zk1 (x) = a3 ei k3 z + b3 e i k3 z .
(3.9)
con
k2 = k2 + k2 + k2 .
1
2
3
Las condiciones de contorno a las que se adecan estas soluciones son aquellas en las
que la frontera estn formada por planos paralelos a los planos coordenados. Pasamos
a analizar ejemplos de este tipo.
3.2.1 Partcula cuntica en una caja impenetrable

Los estados estacionarios de una partcula de energa E en una caja impenetrable de
lados L1 , L2 y L3 se describe mediante el siguiente problema de Dirichlet
2 u = Eu,
2m
paredes
= 0.
106
[Captulo 3
z
L3
L2
L1
x
2mE
La EDP es una ecuacin de Helmholtz con k2 =
y la condicin de contorno se
desglosa en las siguientes condiciones

u(0, y, z) = 0,
u(L1 , y, z) = 0,
u(x, 0, z) = 0,
u(x, L2 , z) = 0,
u(x, y, 0) = 0,
u(x, y, L3 ) = 0.
Impongamos estas condiciones de contorno sobre uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z)
de (3.9). Para Xk1 se tendr
a1 + b1 = 0,
i k1 L1
a1 e
+ b1 e i k1 L1 = 0
que implica que

a1 = b1 ,
k1 =
n1 , n1 Z
L1
y por tanto
Xk1 (x) = A1 sen
n1
x.
L1
Un procedimiento anlogo en las variables y, z nos permite concluir que

uk1 ,k2 ,k3 (x, y, z) = a sen
n1
n2
n3
x sen
y sen
z ,
L1
L2
L3
El parmetro k2 = k2 + k2 + k2 es entonces de la forma

1
2
3
k2 = 2
n2
1
L2
1
n2
2
L2
2
n2
3
L2
3
n1 , n2 , n2 Z.
3.2]
y se obtiene as la siguiente cuanticacin de la energa

En1 ,n2 ,n3 =
2 2
n2
1
2m
L2
1
n2
2
L2
2
n2
3
L2
3
Podemos considerar una versin del mismo problema en dos dimensiones haciendo
2
z = 0. Representamos a continuacin la funcin u(x, y) que representa la densidad de probabilidad de presencia de la partcula en el punto (x, y) del rectngulo
[0, 2] [0, 1] con n1 = 3 y n2 = 2
3.2.2 Partcula cuntica en una caja con condiciones peridicas

Imponemos ahora condiciones de contorno peridicas, esto es:
u(0, y, z) = u(L1 , y, z),
ux (0, y, z) = ux (L1 , y, z),
u(x, 0, z) = u(x, L2 , z),
uy (x, 0, z) = uy (x, L2 , z),
u(x, y, 0) = u(x, y, L3 ),
uz (x, y, 0) = uz (x, y, L3 ),
Estas condiciones aplicadas a las autofunciones uk1 ,k2 ,k3 de (3.9) nos llevan a
ai + bi = ai ei ki Li + bi e i ki Li ,
ai bi = ai ei ki Li bi e i ki Li
con i = 1, 2 y 3. Para que estos sistemas lineales posean soluciones no triviales
(ai , bi ) (0, 0) debemos exigir que
1 ei ki Li
1 ei ki Li
1 e i ki Li
= 0;
(1 e i ki Li )
107
108
[Captulo 3
esto es
(ei ki Li /2 e i ki Li /2 )2 = 0,
condicin que se satisface idnticamente cuando
ki =
2
ni ,
Li
ni Z,
i = 1, 2, 3.
Las energas posibles son

En1 ,n2 ,n3 =
2m
4 2
n2
1
L2
1
n2
2
L2
2
n2
3
L2
3
Para los valores hallados de ki , las ecuaciones para ai y bi se verican trivialmente,

as que las soluciones u correspondientes son las funciones de (3.9).
3.2.3 Fluido en una tubera paralepipdica

El uido en un tubera, modelada como el conjunto [0, L] R [0, L ] R3 ,
z
x
tiene un potencial de velocidades u determinado por el siguiente problema de contorno
de Neumann para la ecuacin de Laplace
u = 0,
ux (0, y, z) = 0,
ux (L, y, z) = 0,
uz (x, y, 0) = 0,
uz (x, y, L ) = 0.
3.2]
109
Vamos pues a imponer sobre uk1 ,k2 ,k3 = Xk1 (x)Yk2 (y)Zk3 (z) estas condiciones. Para
la funcin Xk1 = a1 ei k1 x + b1 e i k1 x tenemos
X (0) = X (L) = 0
que implica el sistema
a1 b1 = 0,
a1 ei k1 L b1 e i k1 L = 0.
La existencia de soluciones no triviales (a1 , b1 ) (0, 0) requiere
1
e i k1 L
1
= 0,
e i k1 L
esto es sen(2k1 L) = 0, luego

k1 =
n,
L
n Z.
Como a1 = b1 las autofunciones son
nx.
L
Xn (x) = cos
Un anlisis similar en la variable z lleva a
k3 = n ,
L
n Z
con autofunciones asociadas

Zn (z) = cos
n z.
L
Para la variable y no tenemos condiciones de contorno que imponer, sin embargo,

ahora estamos resolviendo la ecuacin de Laplace; esto es la ecuacin de Helmholtz
con
k2 = 0.
Por tanto, como k2 + k2 + k2 = k2 = 0 deducimos que
1
2
3
k2 = i
n2
n2
+ 2,
L2
L
y obtenemos las soluciones siguientes
cos nx cos n z e
L
L
n2 n 2
+ 2y
L2
L
n, n Z.
A continuacin ilustramos los campos de velocidades para L = L = correspondientes a n = 1, n = 0

v 10 (x, y, z) = sen x ey i cos x ey j
y a n = 1, n = 1
v 11 (x, y, z) = sen x cos z e
2y
i 2 cos x cos z e
2y
j cos x sen z e
2y
110
[Captulo 3
n = 1, n = 1
n = 1, n = 0
2
z
z
1
0
0
1
y1
separacin de
variables
ecuacin de
Helmholtz en
cilndricas
3.3
y 1
La ecuacin de Helmholtz en coordenadas cilndricas
Cuando se usan coordenadas cilndricas

x = r cos ,
y = r sen ,
z = z,
z
y
r
3.3]
111
la ecuacin de Hemholtz se escribe como sigue

ur r +
1
1
ur + 2 u + uzz + k2 u = 0.
r
r
Separamos variables a travs de la factorizacin

u(r , , z) = V (r , )Z(z)
que transforma la ecuacin de Helmholtz en
Z + k2 Z = 2 Z,
r 2 Vr r + r Vr + V = 2 r 2 V .
La solucin de la primera EDO es
Z (z) = Aei
k2 2 z
+ Be i
k2 2 z
(3.10)
Para la segunda ecuacin tambin podemos separar variables

V (r , ) = R(r )()
para obtener las ecuaciones
r 2 R + r R + 2 r 2 R = m2 R,
= m2 .
La solucin general de la segunda es
m () = Cei m + De i m .
(3.11)
Queda pues analizar la ecuacin para R, EDO que se conoce como ecuacin radial. Para
sta se dan dos casos distintos. En primer lugar consideramos = 0 y la correspondiente ecuacin es
r 2 R + r R m2 R = 0
cuya solucin es
c1 ln r + c2
R=0,m (r ) =
c1 r m + c2 r m
m = 0,
m 0.
(3.12)
Cuando 0, realizando el cambio de variable = r , la correspondiente EDO se

reduce a
2
d2 R
dR
+
+ ( 2 m2 ) = 0,
2
d
d
que es la conocida ecuacin de Bessel. Por tanto, la solucin es

R,m (r ) = EJm (r ) + F Nm (r ).
(3.13)
112
[Captulo 3
3.3.1 Coordenadas polares

La ecuacin del Helmholtz en dos dimensiones espaciales, escrita coordenadas polares
es
ur r +
1
1
ur + 2 u + k2 u = 0.
r
r
Es la misma ecuacin que aparece cuando en la ecuacin de Helmholtz en cilndricas

buscamos soluciones que no dependen de la variable independiente z. Por ello, basta
con hacer 2 = k2 en lo expuesto ms arriba para obtener las soluciones correspondientes.
3.3.2 Partcula cuntica en una cua cilndrica impenetrable

Consideramos ahora una partcula cuntica encerrada en una cua cilndrica de radio
a, altura h y con apertura de ngulo 0 tal como muestra la gura
z
h
a
0
x
Los estados estacionarios vienen descritos por las soluciones de cuadrado integrable
del siguiente problema de contorno de Dirichlet
2M
u = Eu,
paredes=0
que llamando
E=
2 k2
2M
3.3]
escribimos como el siguiente problema de contorno para la ecuacin de Helmholtz en

coordenadas cilndricas
u + k2 u = 0,
u
r =a = 0,
u
=0 = 0,
=0 = 0,
u
z=0 = 0,
u
= 0.
z=h
Aplicando el MSV se encuentran las soluciones de la forma

R,m (r )m ()Z (z),
que deben satisfacer las condiciones de contorno y regularidad. En primer lugar nos
centramos en la funcin angular m (3.11); las condiciones de contorno en la variable
son
m (0) = m (0 ) = 0,
que conducen al siguiente sistema lineal para C y D
C + D = 0,
ei m0 C + e i m0 D = 0.
Este sistema lineal posee una solucin no trivial si y slo si
1
ei m0
e i m0
= 0,
que es equivalente a que

sen m0 = 0.
Por tanto
m=j
,
0
j N.
Adems D = C y
m () = 2C sen(m).
En segundo lugar nos ocupamos de la variable z e imponemos las correspondientes
condiciones de contorno a Z de (3.10). As obtenemos el siguiente sistema lineal para
AyB
A + B = 0,
ei k2 2 h A + e i k2 2 h B = 0,
113
114
[Captulo 3
que admite solucin no trivial si y solo si

sen k2 2 h = 0.
As pues
k2 = n2
2
+ 2 ,
h2
n N.
Adems B = A y
Z (z) = 2A sen
nz.
h
Por ltimo analizamos la variable radial r . La funcin radial R(r ) no debe tener singularidades para r = 0 y adems debe satisfacer R(a) = 0. Por ello, y teniendo en
cuenta la forma (3.12), se deduce que no hay soluciones no triviales para = 0 y este
caso queda descartado. Slo resta por ver que ocurre para 0, ahora de (3.13) se
deduce F = 0 (regularidad en el origen) y la condicin de contorno impone que
Jm (a) = 0.
Por ello, si {cm, } son los ceros de la funcin de Bessel Jm (x) llegamos a que
=1
m=j
=
,
0
j N,
N.
cm,
a
Las energas admisibles son por tanto

2
Ej,
2 n2
=
+
2M
h2
,n
(cj
0 ,
)2
a2
j, , n N
y las correspondientes autofunciones sern

Jj
cj
0 ,
r
z
sen n
sen j
.
a
0
h
El problema de una partcula cuntica bidimensional encerrada en una cua tal como
indica la gura
Dado el comportamiento asinttico

Jm (x)
cos x (2m + 1)
x
4
observamos para los ceros que

cm, (2 + 1)
+ (2m + 1) .
2
4
3.3]
y
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
se resuelve (en coordenadas polares) haciendo n = 0. Por ejemplo, si a = 1 y 0 = /2

las energas y los estados estacionarios son
2
2M
(c2j, )2 ,
J2j (c2j, r ) sen(2j),
j,
Z,
respectivamente. Por ejemplo, para j = 1, los dos primeros ceros de la funcin de

Bessel J2 son
c2,1
5.135622302, c2,2
8.417244140,
para j = 2 el primer cero de la funcin J4 es

c4,1
7.588342435.
Fcilmente se comprueba que estos son los tres primeros ceros que aparecen. Por
tanto el estado fundamental, el primer y segundo excitados viene representados por
J2 (c2,1 r ) sen(2),
J4 (c4,1 r ) sen(4),
J2 (c2,2 r ) sen(2).
A continuacin mostramos la secuencia formada por los cuadrados de estas funciones
3.3.3 Fluido en una tubera cilndrica

El potencial de velocidades u de un uido estacionario en una tubera de seccin circular como la que muestra la gura
115
116
[Captulo 3
z
a
se encuentra caracterizado por el siguiente problema de contorno de Neumann para

la ecuacin de Laplace
u = 0,
r =a
= 0.
Hemos tenido en cuenta que
u = ur ur +
1
u u + uz u z
r
en donde el triedro ortonormal {ur , u , uz } se construye en trminos del triedro cartesiano {i, j, k} como sigue
ur = cos i + sen j,
u = sen i + cos j,
Ilustramos en el siguiente diagrama la geometra involucrada
uz = k.
3.3]
uz
ur
k
z
j
Por tanto, la normal unitaria a la supercie de la tubera cilndrica es precisamente

n = ur de donde se deduce que la derivada normal en esa supercie es
u
= n u = ur .
n
Impongamos estas condiciones de contorno a
R,m (r )m ()Z (z)
en donde tomamos k = 0 (la EDP es la ecuacin de Laplace). Las funciones deben ser
regulares en el origen r = 0 as como 2 -peridicas en , luego m Z+ , y satisfacer
la condicin de Neumann homognea en la supercie del cilindro r = a: esto es,
R,m (a) = 0.
Por tanto, 0, ya que cuando = 0 slo es posible la solucin trivial. Si 0 las
funciones radiales sern, por regularidad en r = 0,
Jm (r )
y por ello la condicin de contorno se lee
Jm (a) = 0.
Si denotamos por {cm, }
a los ceros de Jm entonces
m, =
cm,
a
m Z+ ,
N.
Dado el comportamiento asinttico

Jm (x)
sen x (2m + 1)
x
4
observamos para los ceros que

cm, + (2m + 1)
.
4
117
118
[Captulo 3
Finalmente, las soluciones son

Jm m,
3.4
separacin de
variables
ecuacin de
Helmholtz en
esfricas
r
a
Cei m + De i m
Aem,
+ Bem,
La ecuacin de Helmholtz en coordenadas esfricas
En coordenadas esfricas
x = r sen cos ,
y = r sen sen ,
z = r cos ,
la ecuacin de Helmholtz se escribe

r (r u)r r + k2 r 2 u +
1
1
(sen u ) +
u = 0.
sen
sen2
Una primera separacin de variables:

u(r , , ) = R(r )Y (, )
nos lleva a desacoplar la ecuacin en parte radial y angular como sigue
r (r R) + k2 r 2 R = R,
1
1
(sen Y ) +
Y = Y .
sen
sen2
Obsrvese que
1
1
L2 Y
= 2
(sen Y ) +
Y
2
sen
sen
donde L es el operador momento angular en mecnica cuntica.
3.4]
119
3.4.1 Resolucin de la ecuacin angular

La ecuacin angular escrita en la forma
sen (sen Y ) + Y sen2 + Y = 0,
es separable. As, la factorizacin
Y (, ) = P ()(),
conduce a la pareja de EDOs siguientes
sen (sen P ) + sen2 P = m2 P ,
= m2 .
Por tanto,
() = Cei m .
Asumiremos que m Z para poder asegurar la continuidad en el plano xz. Por otro
lado, usando la variable
:= cos
la ecuacin para P adopta la forma
d
dP
m2
P = 0.
(1 2 )
+
d
d
1 2
(3.14)
Esta es la ecuacin de Legendre adjunta, que cuando m = 0 se reduce a la ecuacin

de Legendre. Se comprueba que si P es solucin de la ecuacin de Legendre
d
dP
(1 2 )
+ P = 0,
d
d
(3.15)
entonces
P =: (1 2 )|m|/2
d|m| P
,
d |m|
es solucin de la ecuacin de Legendre adjunta. La ecuacin (3.15) posee soluciones

regulares en = 1 si y slo si
= ( + 1),
= 0, 1, 2, . . . ,
(3.16)
que vienen dadas por los polinomios de Legendre cuya expresin (sin normalizar) es
P :=
d ( 2 1)
,
d
= 0, 1, . . . .
ecuacin de
Legendre adjunta
120
[Captulo 3
Por tanto (3.14) poseer soluciones regulares en = 1 si y slo si se cumple la

condicin (3.16), y las soluciones correspondientes de (3.14) son
P
,|m|
:= (1 2 )|m|/2
d|m|+ ( 2 1)
,
d |m|+
|m| ,
= 0, 1, . . . .
(3.17)
Obsrvese adems que estas soluciones son no triviales si y solo si |m| . Por tanto
las soluciones de la ecuacin angular pueden escribirse en la forma
Y
armnicos
esfricos
,m (, )
:= c
i m
,
,m P ,|m| (cos )e
= 0, 1, 2, . . . , m = 0, 1, . . . , ,
que son las funciones denominadas armnicos esfricos donde la constante de normalizacin, siguiendo el convenio de Condon y Shortley, la tomaremos como
(1)m 2 +1 ( |m|)! 1 , m 0,
4 ( +|m|)! 2 !
c ,m :=
2 +1 ( |m|)! 1
m < 0.
4 ( +|m|)! 2 ! ,
Teniendo en cuenta que el valor absoluto Y ,m es una funcin que no depende de ,
podemos ilustrar la variacin de los armnicos esfricos representando la supercie de
revolucin r = r (, ) := Y ,m (, ) . Los armnicos esfricos constituyen adems
un conjunto ortonormal completo en
L2 (S 2 ) := f = f (, ) :
f (, )
S2
dS < ,
donde S 2 = {(x, y, z) R3 : x 2 + y 2 + z2 = 1} es la esfera de radio unidad en R3 , y

d S = sen d d es el elemento de rea en la esfera. El producto escalar es
(f , g) :=
S2
f (, )g(, ) d S =
As, tenemos la base ortonormal {Y
,m }
=0,1,...
m= ,...,
f (, )g(, ) sen d d .
. Esto es forman un conjunto ortonor-
mal
(Y
,m , Y
,m
)=
mm
y toda funcin f (, ) de L2 (S 2 ) admite un desarrollo

f (, ) =
,m Y ,m (, )
,m
donde
2
,m
= (Y
,m , f ) =
,m (, )f (, ) sen d
d .
La ecuacin de Legendre adjunta es un problema de SturmLiouville en el intervalo [1, 1] con

() = 1, p() = 1 2 y q(x) = m2 /(1 2 ). A pesar de ser singular posee un conjunto ortogonal
completo de autofunciones:
1
1
,|m| ()P
,|m| () d
= 0,
si
3.4]
121
Ejemplos Vamos a considerar ahora algunos ejemplos sencillos de armnicos esfricos asociados a = 0, 1, 2:
Cuando = 0, tenemos m = 0. Ahora P0,0 = 1 y la constante de normalizacin
es c0,0 = 1/ 4 . Por tanto,
Y0,0 (, ) =
1
.
4
La grca correspondiente es
Si = 1 podemos tener tres casos: m = 1, 0, 1. Debemos evaluar las funciones

de Legendre P1,0 y P1,1 . Acudiendo a la frmula (3.17) obtenemos
P1,0 () =
d
( 2 1) = 2,
d
P1,1 () = 1 2
d2
( 2 1) = 2 1 2 .
d 2
Por ello,
Y1,0 (, ) =
Y1,1 (, ) =
3
sen ei ,
8
3
cos ,
4
Y1,1 (, ) =
3
sen e i .
8
A continuacin representamos las supercies r = Yl,m (, ) para estos armnicos esfricos
122
[Captulo 3
=1
Y1,0 (, )
Para
Y1,1 (, )
= 2 es fcil obtener
5
(1 + 3 cos2 ),
16
15
15
Y2,1 (, ) =
sen cos ei , Y2,1 (, ) =
sen cos e i ,
8
8
15
15
Y2,2 (, ) =
sen2 e2 i , Y2,2 (, ) =
sen2 e2 i .
32
32
Y2,0 (, ) =
Siendo las correspondientes grcas
3.4]
=2
Y2,2 (, )
Y2,0 (, )
Y2,1 (, )
Por ltimo, como ejercicio dejamos el clculo de

Y5,3 (, ) =
1
32
385
(1 + 9 cos2 ) sen3 e3 i
Cuya representacin es
3.4.2 Resolucin de la ecuacin radial

Distinguimos dos casos segn k sea nulo o no.
Si k = 0 la ecuacin radial
r 2 R + 2r R ( + 1)R = 0
123
124
[Captulo 3
que es una EDO tipo Euler. Probando soluciones de la forma r inmediatamente

se llega a la solucin general que es de la forma
R(r ) = Ar + B
1
r
+1
Cuando k 0 la EDO para R es

r 2 R + 2r R + (k2 r 2 ( + 1))R = 0.
Introduciendo la nueva variable dependiente
S(r ) := r R(r )
podemos escribir esta ecuacin como
2( + 1)
S + k2 S = 0.
r
L S := S +
Denimos ahora el operador diferencial T

T S :=
1
S
r
y calculamos el conmutador [L , T ] teniendo en cuenta que

Ll u = (
d2
+ 2(l + 1)T + k2 )u.
dr 2
As, se obtiene
[L , T ] =
d2
, T = 2T 2 .
d r2
Por tanto,
L T S = 2T 2 S
o bien
(L + 2T )T S = 0.
Observando que
L + 2T = L
+1
concluimos que
L
+1 T S
= 0.
Por ello, si S0 verica

L0 S 0 = 0
(3.18)
3.4]
125
entonces S := T S0 satisface
L S = 0.
As pues, nuestro problema se reduce a analizar la ecuacin
L0 S 0 = S 0 +
2
S + k2 S 0 = 0
r 0
que podemos escribir como

(r S0 ) + k2 r S0 = 0.
La expresin general para S0 ser entonces
S0 (r ) = A
sen kr
cos kr
+B
.
r
r
Deducimos por ello que la solucin general S para L S = 0 es

1 d
r dr
S (r ) = A
sen kr
1 d
+B
r
r dr
cos kr
r
y que la funcin radial R (r ) es

1 d
r dr
R (r ) = Ar
1 d
r dr
sen kr
+ Br
r
cos kr
.
r
Introduciendo las funciones esfricas de Bessel y Neumann

j (r ) := (r )
1 d
r dr
sen r
,
r
n (r ) := (r )
1 d
r dr
cos r
,
r
y re-deniendo las constantes arbitrarias A y B concluimos que la funcin radial

es
R (r ) = Aj (kr ) + Bn (kr ).
(3.19)
Las primeras funciones esfricas son:

=0
j (r )
n (r )
=1
sen r
r
cos r
sen r
cos r
2
r
r
cos r
sen r
2
r
r
=2
sen r
cos r
sen r
3 2
3
r
r
r
cos r
sen r
cos r
3 3 3 2 +
r
r
r
3
El comportamiento de estas funciones en el origen es

r
,
(2 + 1)!!
(2 1)!!
,
n (x)
r +1
j (r )
r 0.
(3.20)
A continuacin mostramos la grca de las funciones esfricas de Bessel y Neumann para = 0, 1, 2, 3

Las funciones de Bessel y Neumann esfricas poseen el siguiente comportamiento en el innito
1
cos r ( + 1)
r
2
n (r ) = sen r ( + 1)
r
2
j (r ) =
r .
126
[Captulo 3
1
j0
j1
j2
j3
10
n0
n1
n2
0.4
n3
3.4.3 Partcula cuntica en una caja esfrica

Los estados estacionarios de energa E de una partcula libre en el interior de una esfera
de radio a de paredes impenetrables viene descrita por las soluciones del problema
de contorno siguiente:
u + k2 u = 0,
u|
r =a
E=
2 k2
2M ,
= 0.
Debemos imponer a las soluciones de la ecuacin de Helmholtz

u(r , , ) = Rk, (r )Y
,m (, )
tanto la regularidad en el origen como las condiciones de contorno. La regularidad en

el origen impone que B = 0 en (3.18) y (3.19). Por otro lado la condicin de contorno
para el caso (3.18) conduce a A = 0 y a la solucin trivial, mientras que para (3.19)
conduce a
j (ka) = 0.
As, si {c ,n } son los ceros, que forman una secuencia creciente no acotada, de la
n=1
funcin esfrica de Bessel j los valores admisibles de la energa son
,n
c 2,n
2M a2
3.4]
y los correspondientes estados estacionarios
,m,n (r , , )
=j
,n
r Y
,m (, ).
La densidad de probabilidad u ,m,n

no depende de la variable . Por tanto, podemos representar, usando coordenadas polares (r , ), la probabilidad en los planos
que contienen al eje z, = constante, y esta representacin ser la misma para todos
estos planos.
Los tres primeros ceros son

c0,1 = ,
c1,1
4.493409458,
c2,1
5.763459197,
y por ello las energa del estado fundamental y de los primeros excitados es aproximadamente
2
9.869604404,
2Ma2
20.190728557,
2Ma2
2Ma2
33.217461915.
El nivel fundamental es simple con autofuncin u001 y la probabilidad en uno de los

planos que contienen al eje z se representa como
127
128
[Captulo 3
= 0, m = 0, n = 1
Para el primer excitado tenemos degeneracin 3, estos es el subespacio propio es tridimensional y est generado por {u1m1 }m=0,1 , para m = 0 y para m = 1 representamos las correspondientes densidades de probabilidad en los mencionados planos
= 1, m = 0, n = 1
= 1, m = 1, n = 1
3.4.4 Fluido en el interior de una caja esfrica

El potencial de velocidades u para un uido estacionario en un recinto esfrico de
radio a se encuentra caracterizado por el problema de Neumann siguiente
u = 0,
ur |r =a = 0.
En donde hemos tenido en cuenta que
u = ur ur +
1
1
u u +
u u
r
r sen
3.5]
El mtodo de desarrollo en autofunciones (MDA)
y la base ortonormal {ur , u , u } es
ur = sen cos i + sen sen j + cos k,
u = cos cos i + cos sen j sen k,

u = sen i + cos j.
Estos vectores los dibujamos a continuacin
ur
u
j
i
Por tanto, la normal unitaria a la supercie esfrica es precisamente n = ur y as

u
= n u = ur .
n
Tenemos una ecuacin de Helmholtz con k = 0 (ecuacin de Laplace). La regularidad
en el origen implica que B = 0 por ello las posibles autofunciones son de la forma
r Y
,m (, ).
La condicin de contorno implica que = 0 y por ello el potencial es constante. Esto

quiere decir que el uido no se mueve.
3.5
Este es el mtodo clsico para resolver problemas de contorno y/o de condiciones iniciales de tipo lineal. Se aplica en situaciones en que las ecuaciones son inhomogeneas
y se basa en el uso de desarrollos en conjuntos completos de autofunciones de uno de
los operadores que aparecen en la EDP correspondiente.
3.5.1 El MDA en problemas inhomogneos

El MDA puede aplicarse a problemas inhomogneos
Au + Bu = f ,
x ,
ai (u) = gi ,
i = 1, . . . , r
bj (u) = hj ,
j = 1, . . . , s.
129
130
[Captulo 3
sobre un dominio
= I 0 ,
x = (x0 , x), x0 I, x = (x1 , . . . , xn1 ) 0 ,
siendo I un intervalo abierto de R y 0 un abierto de Rn1 . La EDP y las condiciones

de contorno y/o iniciales deben vericar:
1. La EDP es de la forma
A x0 ;
u + B x1 , . . . , xn1 ;
u = f (x).
,... ,
x0
x1
xn1
(3.21)
2. El sistema de condiciones de contorno y/o iniciales se divide en dos subsistemas. Uno de ellos
ai (u) = gi (x),
i = 1, . . . , r ,
(3.22)
contiene operadores ai que operan solo sobre la variable x0 , mientras

que en el otro
bj (u) = hj (x),
aparecen operadores
(x1 , . . . , xn1 ).
que
bj
j = 1, . . . , s,
operan
solo
sobre
(3.23)
las
variables
3. El operador B es simtrico sobre el dominio
D = {w C (0 ) : bj (w) = 0, j = 1, . . . , s},
(3.24)
en un espacio L2 (0 ).
4. Los trminos inhomogneos f y gi del problema admiten desarrollos de la

forma
f (x) =
gi (x) =
m
m
fm (x0 )wm (x),

cim wm (x),
i = 1, . . . , r ,
en un conjunto de autofunciones en D del operador B

Bwm = m wm ,
que por tanto satisfacen las condiciones de contorno homogneas
bj (wm ) = 0, j = 1, . . . , s.
mtodo de
desarrollo en
autofunciones
Supuesto que se cumplen estas condiciones el MDA se aplica mediante el siguiente

proceso:
3.5]
131
1. Se busca una solucin del problema en forma de un desarrollo en serie en autofunciones

u(x) =
vm (x0 )wm (x).
(3.25)
Las incgnitas son entonces los coecientes vm (x0 ) de la serie. Como las funciones wm forman un conjunto ortogonal, se verica
(wm , u) = vm (x0 ) wm
(3.26)
siendo (, ) la operacin de producto escalar en L2 (0 ). Por otra parte como el
operador A solo opera sobre la variable x0 , mientras que la operacin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), es de esperar que
bajo condiciones apropiadas de regularidad se verique
(wm , Au) = A(wm , u) = wm
Avm ,
(3.27)
donde se ha usado (3.26) en la segunda igualdad.

2. Se multiplica escalarmente la EDP por cada funcin wm
(wm , Au) + (wm , Bu) = (wm , f ),
y usando (3.27) se obtiene
wm
Avm + (wm , Bu) = wm
fm .
(3.28)
El segundo trmino del primer miembro requiere un anlisis aparte. En primer

lugar es de observar que B es simtrico sobre el dominio (3.24), pero u no estar
en ese dominio salvo que los datos hj (x) sean cero. Para poder aplicar el MDA
debe suceder que al pasar el operador B de derecha a izquierda en el producto
escalar (wm , Bu), las condiciones de frontera bj (u) = hj deben ser equivalentes
a poder descomponer
(wm , Bu) = (Bwm , u) + Im (h),
(3.29)
donde los trminos Im (h) deben ser de la forma

Im (h) =
S(0 )
Cmj hj (x) d S,
j
con Cmj siendo operadores actuando sobre los datos hj que habr que determinar
en cada caso. Por otro lado se verica que
(Bwm , u) = (m wm , u) = m (wm , u) = m wm
vm ,
donde se ha tenido en cuenta que al ser B simtrico sus autovalores son nmeros
reales. De esta forma se obtiene que (3.28) adopta la forma
Avm + 2 vm +
m
Im (h)
wm
= fm .
(3.30)
Obtenemos as una ecuacin diferencial ordinaria para cada coeciente vm (x0 ).

132
[Captulo 3
3. Una vez obtenida la solucin general de la ecuacin diferencial ordinaria para

cada funcin vm , debemos exigir que la solucin en forma de serie u = u(x)
satisfaga las condiciones de contorno ai (u) = gi (x), i = 1, . . . , r . Para ello
emplearemos la misma tctica que con la EDP multiplicando escalarmente las
ecuaciones de las condiciones de contorno por cada funcin wm
(wm , ai (u)) = (wm , gi ).
Como los operadores ai solo operan sobre la variable x0 , mientras que la operacin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), bajo
condiciones apropiadas de regularidad se vericar
(wm , ai (u)) = ai ((wm , u)) = wm
ai (vm ).
(3.31)
Adems, dado que

gi (x) =
cim wm (x),
(3.32)
es claro que
(wm , gi ) = wm
cim .
Por tanto se obtiene

ai (vm ) = cim
(3.33)
que son junto con la ecuacin (3.30) las condiciones para determinar los coecientes vm del desarrollo (3.25) buscado.
4. Una simplicacin considerable se encuentra cuando las funciones hj son cero,
es decir cuando las condiciones de contorno (3.23) son homogneas
bj (u) = 0,
j = 1, . . . , s.
En este caso la funcin buscada u pertenece al dominio (3.24) donde es simtrico

el operador B. Por tanto
(wm , Bu) = (Bwm , u),
as que los trminos Im (h) son cero y la (3.30) se reduce a
Avm + m vm = fm .
(3.34)
Los coecientes buscados sern entonces las soluciones de esta ecuacin diferencial ordinaria que satisfacen las condiciones
ai (vm ) = cim .
Es de observar que estas ecuaciones que caracterizan vm se obtienen simplemente sustituyendo los desarrollos (3.25) y (3.32) en la EDP (3.21) y en las condiciones (3.22), e identicando coecientes en los correspondientes desarrollos en
3.5]
133
autofunciones que se obtienen. Este mtodo alternativo admite una generalizacin natural al caso en que los desarrollos en autofunciones de los datos f y gi
sean combinaciones lineales generalizadas de autofunciones del operador B, que
utilicen operaciones de integracin como la transformada de Fourier. En tales
situaciones se busca una solucin u en la forma de un desarrollo del mismo tipo,
se sustituye en (3.21) y (3.22) y se identican los coecientes en los desarrollos
obtenidos para obtener ecuaciones anlogas a (3.34) y (3.33).
5. Las hiptesis sobre la existencia de desarrollos de las funciones f y gi en autofunciones de B siempre se cumple cuando el conjunto de autofunciones de B es
completo, lo cual es cierto para amplias clases de operadores simtricos vistos
en el captulo anterior.
El MDA en ecuaciones de evolucin Una de las situaciones ms frecuentes en que

se utiliza el MDA es en problemas del tipo siguiente
1. La EDP es una ecuacin de evolucin de la forma
a
r u
+ B x1 , . . . , xn1 ;
,... ,
u = f (x).
r
t
x1
xn1
con a C.
2. La solucin debe satisfacer r condiciones iniciales
iu
(t0 , x) = gi (x),
t i
i = 1, . . . , r .
as como un conjunto de condiciones de frontera

bj (u) = hj (x),
j = 1, . . . , s,
con operadores bj que operan slo sobre las variables (x1 , . . . , xn1 ).
En este caso el operador A es
Au = a
r u
,
t r
y las condiciones ai (u) = gi son

iu
(t0 , x) = gi (x),
t i
i = 1, . . . , r .
3.5.2 Ejemplos en dos dimensiones

1. Sea el siguiente problema con la ecuacin de Laplace sobre un rectngulo
2
u 2u
x 2 + y 2 = 0, 0 < x < a, 0 < y < b,
(3.35)
u(0, y) = 0, u(a, y) = 0,
u(x, 0) = sen x , u(x, b) = 0.
a
mtodo de
desarrollo en
autofunciones en
ecuaciones de
evolucin
134
[Captulo 3
Este problema describe la distribucin estacionaria de la temperatura en una

placa [0, a] [0, b], con todos sus lados a temperatura nula salvo uno que tiene
una distribucin de temperatura tipo seno. El problema espectral es
wxx = 2 w,
w|x=0 = 0,
w|x=a = 0.
tiene como solucin
n =
n2 2
,
a2
wn (x) = sen
n x
,
a
n = 1, 2, . . . .
Aplicando el MDA desarrollamos la solucin en la forma
u(x, y) =
vn (y) sen
n=1
n x
a
como en las inhomogeneidades slo aparece el trmino sen

tra solucin en la forma
u(x, y) = v(y) sen
x
, buscamos nuesa
x
.
a
La funcin v est determinada por
v = v,
a2
v|y=0 = 1,
v|
y=b = 0.
La solucin es de la forma
v(y) = Ae a y + Be a y
donde
A + B = 1,
Ae + Be = 0.
a
a
La solucin de este sistema es

b
A=
e a
,
b
2 senh a
B=
e a
b
2 senh a
y as la solucin ser
u(x, y) =
senh (b y)
a
senh
sen
x.
a
La grca para esta distribucin de temperatura en una placa con a = , b = 2

es
3.5]
2
00
0
0
0
x
2. Consideramos ahora un problema de condiciones iniciales y de contorno para la

ecuacin de Schrdinger
i u =
uxx + V (x)u, x (a, b), t > 0,
2m
u t=0 = g(x),
x=a = 0,
u x=b = 0,
que describe la evolucin de una partcula cuntica encerrada en el segmento
(a, b) sujeta al potencial V (x). Introduciendo el operador diferencial, conocido
como hamiltoniano cuntico,
Hu :=
2m
uxx + V (x)u
la ecuacin de Schrdinger se lee como

i ut + Hu = 0.
El mtodo de desarrollo en autofunciones se basa en este caso en el problema de
autovalores
Hw = w,
w
x=a = 0,
w
= 0.
x=b
Suponiendo que {n }n=1,2,... es el conjunto de sus autovalores con autofunciones

asociadas {wn (x)n }n=1,2,... buscamos soluciones de la forma
u(x) =
vn (t)wn (x)
n=1
135
136
[Captulo 3
que cuando se introducen en la ecuacin de Schrdinger
i
n=1
d vn
(t) + n vn (t) wn (x) = 0,
dt
conducen a
i
d vn
(t) + n vn (t) = 0;
dt
cuya solucin es
vn (t) = an e i
n
t
Si ahora asumimos que la condicin inicial posee el desarrollo
g(x) =
cn wn (x),
n=1
concluimos que an = cn y por ello la solucin a nuestro problema es
cn e i
u(t, x) =
n
t
wn (x).
n=1
Vamos a concretar a tres situaciones:

Estudiemos ahora
uxx , x (0, l), t > 0,

i ut =
2m
u t=0 = 2 sen x sen 3 x,
l
l
u x=0 = 0,
u x=l = 0,
Esto es, una partcula cuntica libre connada en el segmento (0, l). El problema de autovalores es el ya bien conocido
2
wxx = w,
2m
w
x=0 = 0,
w
= 0,
x=l
con autovalores
n =
n2 2
,
2m l2
n = 1, 2, . . .
y correspondientes autofunciones dadas por

wn (x) = sen
n
x,
l
n = 1, 2, . . . .
3.5]
137

Por tanto, la condicin inicial ya est desarrollada en autofunciones y as
obtenemos para el estado de la partcula
u(t, x) = 2 sen
2
9 2
i
t
i
t
x e 2m l2 sen 3 x e 2m l2
l
l
A continuacin presentamos la grca espacio-temporal para la densidad

de probabilidad
|u|2
0
0
Seguimos con el caso libre aunque cambiamos las condiciones de contorno

tipo Dirichlet por condiciones peridicas. As el problema de condiciones
iniciales y contorno a resolver es
i u =
uxx , x (0, l), t > 0,
2m
2
6
u t=0 = 2 i 2 cos
x + 7 sen
x,
l
l
u x=0 = u x=l ,
ux x=0 = ux x=l .
El problema de autovalores es tambin familiar
2
wxx = w,
2m
w
x=0 = w x=l ,
wx
= wx
.
x=0
x=l
con autovalores (todos dobles salvo el cero que es simple)

n =
4n2 2
,
2m l2
n = 0, 1, 2, . . .
y correspondientes autofunciones dadas por

(+)
w0 (x) = 1, wn (x) = cos
n2
n2
()
x, wn (x) = sen
x
l
l
n=1,2,...
138
[Captulo 3
(+)
En la condicin inicial intervienen las autofunciones w0 , w1

tanto,
()
y w3 . Por
4 2
36 2
6
2
i
i
x e 2m l2 + 7 sen
x e 2m l2 .
l
l
u(t, x) = 2 i 2 cos
Consideramos ahora el oscilador armnico cuntico en una dimensin. El

problema de condiciones iniciales y de contorno que se nos plantea es
i u = 2 u + 1 kx 2 u, x R, t > 0,
t
2m xx
2
u
t=0 = g(x),
x = 0,
= 0,
u
x+
que lleva al siguiente problema de autovalores
wxx +
2m
1
kx 2 w = w, x R, t > 0,
2
w
x = 0,
w
= 0.
x+
Introduciendo K :=
m
2
k, x :=
Kx y :=
2m
2
/ K podemos escribir
wx x + x 2 w = w
que es la ecuacin de Hermite que una vez impuestas las condiciones de

contorno en el innito nos lleva a los autovalores
n = 2n + 1,
n = 0, 1, 2, . . .
con correspondientes autofunciones
wn (x) = Hn (x)e
x2
2
n = 0, 1, 2, . . . .
Notemos que estamos usando los polinomios de Hermite Hn . Estas autofunciones forman una base ortogonal de L2 (R). Por tanto,
k
(2n + 1),
2m
n =
n = 0, 1, 2, . . .
wn (x) = Hn
mk
x e
mk 2
2 x
n = 0, 1, 2, . . . .
Luego si
g(x) =
cn wn (x)
n=0
la solucin es
u(t, x) =
cn e
k
2m (2n+1)t
n=0
Hn
mk
x e
mk 2
2 x
3.5]
3. Analizamos ahora un problema de condiciones iniciales para la ecuacin del calor

con condiciones de frontera peridicas. El problema es
ut = uxx , x (0, l), t > 0,
2 3
3 2
u
t=0 = l2 x l x + x,
x=0 = u x=l ,
ux x=0 = ux x=l .
Nos detenemos un momento para discutir la consistencia entre la condicin inicial y las condiciones de frontera. Si g(x) = ax 3 + bx 2 + x y exigimos que
g(0) = g(l) y g (0) = g (l) nos conducen a las condiciones
al2 + bl + c = 0,
3al + 2b = 0,
que ja una familia uni-paramtrica de soluciones a, b, c. Una posible eleccin
es la dada por nuestra condicin inicial. El problema de autovalores es
wxx = w,
w
wx
x=0
=w
x=0
x=l ,
= wx
x=l .
que como sabemos tiene como autovalores

n = n2 2 ,
2
l
y autofunciones
wn (x) = ei nx .
Para aplicar el mtodo de desarrollo en autofunciones tenemos que determinar
la serie de Fourier
cn ei nx
g(x) =
nZ
con
cn =
1
l
g(x)e i nx d x.
Como nuestra g es un polinomio, usaremos las integrales
1
m
i
n l mIm1,n
l
x m e i nx d x =
Im,n :=
lm+1
m+1
n 0,
n = 0.
En la primera identidad se ha utilizado el mtodo de integracin por partes.

Fcilmente se concluye que
0 n = 0,
I0,n =
l n 0.
139
140
[Captulo 3
Ello nos lleva a que
I1,n
2
l
2
=
l
i
n
n = 0,
n 0,
y esto a su vez a
I2,n
3
l
3
=
l2
2l
i
+ 2 2
n n
n = 0,
n 0,
y por ltimo a
I3,n
4
l
4
=
l3
6l
3l2
i
+ 2 2 i 3 3
n n
n
n = 0,
n 0.
Por tanto, la serie de Fourier de nuestra condicin inicial es

2 3 3 2
1 2 l4
3 l3
l2
x x +x =
+
l2
l
l l2 4
l 3
2
6l
l3
3
l
2
3l2
l2
2l
i
+
+ 2 2 i 3 3
i
+ 2 2 +i
ei nx
2
l
n n
n
l
n n
n
n0
=
24
2 3
l
1
sen nx.
n3
n=1
Buscamos entonces una solucin de la forma
u(t, x) =
vn (t) sen nx
n=1
que implica
vn = n vn ,
vn (0) =
24 1
l2 3 n3
y por ello
vn (t) =
24
l2 3
1 n2 2 t
e
.
n3
Finalmente la solucin es
u(t, x) =
24
2 3
l
1 n2 2 t
e
sen nx.
n3
n=1
La funcin g(x) es una funcin impar con respecto al punto x = l/2, este es el motivo de que
aparezcan slo senos.
3.5]
Dado el rpido decrecimiento de los coecientes vn en n y t la representacin

grca se consigue con un buen grado de aproximacin con una suma parcial de
pocos trminos, a continuacin mostramos la representacin espacio-temporal
de esta evolucin para l = 1 y una suma parcial a 15 trminos
0.1
0.1
x
t
1
4. Estudiamos ahora la ecuacin de ondas y el problema
utt = uxx , x (1, 1), t > 0,
2
u
t=0 = x(x 1),
ut t=0 = 0,
x=1 = u x=1 ,
ux
x=1 = ux x=1 .
El problema de autovalores es como en los casos anteriores. Pasamos a desarrollar x(x 2 1) en serie de Fourier de exponenciales
x(x 2 1) =
cn ei n x
nZ
con
cn =
1
2
1
1
x(x 2 1)e i n x d x
que tras reiteradas integraciones por partes nos conduce a
cn =
n = 0,
(1)n 6 i
n3 3
n 0.
141
142
[Captulo 3
Por tanto, la serie es

g(x) := x(x 2 1) = 12
nZ+
(1)n
sen n x.
n3 3
Ahora, el desarrollo en autofunciones de la solucin

u(t, x) =
vn (t) sen n x
nN
lleva a
vn = n2 2 vn ,
vn (0) = 12
v (0) = 0.
n
(1)n
,
n3 3
Por ello
vn (t) = 12
(1)n
cos n t
n3 3
y la solucin es
u(t, x) = 12
(1)n
cos n t sen n x.
n3 3
n=1
Observando que podemos escribir

cos n t sen n x =
1
[sen n (x + t) + sen n (x t)]
2
nos damos cuenta de que
1
(1)n
(1)n
u(t, x) =
sen n (x + t) + 12
sen n (x t) .
12
2
n3 3
n3 3
n=1
n=1
Por tanto, podemos escribir
u(t, x) =
gper (x + t) + gper (x t)
2
donde gper es la extensin peridica de g(x) = x 3 x en [1, 1] a R. Tenemos

pues la semi-suma de dos ondas viajeras con velocidades opuestas v = 1 y
con la forma de la extensin peridica de la condicin inicial de cada una de ellas.
El diagrama espacio-temporal de estas ondas es
3.5]
143
0.4
0.2
0
0.2
2
1
0t
0
x
1
1
3.5.3 El mtodo de la transformada de Fourier

La transformada de Fourier aparece en los problemas que consideramos cuando los dominios espaciales no son acotados. En tales casos los conjuntos continuos de funciones
trigonomtricas de Fourier constituyen frecuentemente las autofunciones apropiadas
en que basar el MDA. Adems, en ocasiones es posible usar ambas transformadas, directa e inversa, para generar una expresin de la solucin dependiente explcitamente
de los datos del problema. Los ejemplos que vienen a continuacin ilustran la manera
de proceder en los casos ms sencillos.
1. Consideremos un problema de condiciones iniciales para la ecuacin del calor
sobre toda la recta
ut = a2 uxx , t > 0, x R
u
= f (x).
t=0
En este ejemplo el problema de autovalores que hay que resolver para aplicar el
MDA es
wxx = k2 w,
x R,
que como sabemos no tiene soluciones en L2 (R). Sin embargo las soluciones
{ei kx }kR , an no siendo de cuadrado integrable, juegan el papel de base ortogonal generalizada y la propuesta del MDA es buscar una solucin de la forma
u(t, x) =
v(k, t)ei kx d k.
Introduciendo esta expresin en la ecuacin diferencial se obtiene

R
vt (k, t) + a2 k2 v(k, t) ei kx d k = 0,
mtodo de
desarrollo en
autofunciones y
transformada de
Fourier
144
[Captulo 3
por ello imponemos

vt (k, t) + a2 k2 v(k, t) = 0,
cuya solucin general es
2 k2 t
v(k, t) = c(k)ea
Luego el MDA nos conduce a una solucin de la forma

2 k2 t
u(t, x) =
c(k)ei kxa
d k.
Haciendo t = 0 en esta expresin e imponiendo la condicin inicial para u obtenemos

f (x) =
c(k)ei kx d k.
Es decir, deducimos que la funcin c = c(k) es la transformada de Fourier del

dato inicial f = f (x), y por tanto efectuando la transformada de Fourier inversa
tenemos que
c(k) =
1
2
f (x)e i kx d x.
Si llevamos esta frmula, renombrando x x , a la expresin de u(t, x), se

obtiene
u(t, x) =
1
2
f (x )ei k(xx
)a2 k2 t
dkdx .
Podemos adems efectuar la integracin respecto de k utilizando la identidad

1
2
ei k(xx
)a2 k2 t
dk =
(xx )2
1
e 4a2 t ,
2a t
que se deduce inmediatamente, renombrando variables y parmetros, de la transformada de Fourier de la funcin Gaussiana
1
2
mtodo de
desarrollo en
autofunciones y
problema de
condiciones
iniciales para la
ecuacin del
calor en la recta
2 x2
e i kx ea
dx =
2
1
k
e 4a2 .
2a
De esta manera encontramos la siguiente frmula explcita de la solucin del

problema
u(t, x) =
2a t
(xx )
2
f (x )e
4a t
dx .
(3.36)
2. Es posible generalizar el resultado anterior al caso multidimensional
ut = a2 u, t > 0, x = (x1 , . . . , xn ) Rn
u
= f (x).
t=0
(3.37)
3.5]
145
En este ejemplo el problema de autovalores que hay que resolver para aplicar el
MDA es
x Rn .
w = w,
Por las propiedades de la transformada de Fourier sabemos que las autofunciones {ei kx }k=(k1 ,... ,kn )Rn , forman una base ortogonal generalizada. El MDA nos
lleva entonces a buscar una solucin de la forma
n
u(t, x) =
Rn
v(k, t)ei kx dn k,
k x :=
kj xj .
j=1
Introduciendo esta expresin en la ecuacin diferencial se obtiene

vt (k, t) + a2 |k|2 v(k, t) ei kx dn k = 0,
Rn
e imponemos
vt (k, t) + a2 |k|2 v(k, t) = 0,
2 |k|2 t
v(k, t) = c(k)ea
Luego el MDA produce una solucin de la forma

u(t, x) =
2 |k|2 t
Rn
c(k)ei kxa
dn k.
Haciendo t = 0 obtenemos
f (x) =
Rn
c(k)ei kx dn k.
Por tanto efectuando la transformada de Fourier inversa

1
(2 )n
c(k) =
Rn
f (x)e i kx dn x.
As la expresin de u(t, x) es
u(t, x) =
1
(2 )n
Rn
Rn
f (x )ei k(xx
)a2 |k|2 t
dn k d n x .
La integracin mltiple respecto de k = (k1 , . . . , kn ) se reduce a un producto de

n integraciones simples dado que
1
(2 )n
Rn
ei k(xx
)a2 |k|2 t
dn k =
1
2
j=1
i kj (xj xj )a2 k2 t
j
luego utilizando la identidad

1
2
i kj (xj xj )a2 k2 t
j
1
e
d kj =
2a t
(xj x )2
j
4a2 t
d kj ,
mtodo de
desarrollo en
autofunciones y
problema de
condiciones
iniciales para la
ecuacin del
calor en el
espacio
146
[Captulo 3
encontramos la siguiente frmula explcita de la solucin del problema

u(t, x) =
(2a t)n
Rn
f (x )e
|xx |2
4a2 t
dn x
(3.38)
3. Los resultados de los dos ejemplos anteriores pueden aplicarse para deducir
frmulas anlogas para las soluciones de la ecuacin de Schrdinger libre en
cualquier dimensin
i u = 2 u,
t
2m
u
= f (x), .
t=0
t > 0, x = (x1 , . . . , xn ) Rn
(3.39)
Obsrvese que este problema de condiciones iniciales para la ecuacin de Schrdinger se obtiene de (3.37) simplemente tomando
a2 = i
mtodo de
desarrollo en
autofunciones y
problema de
condiciones
iniciales para la
ecuacin de
Schrdinger libre
en la recta
2m
Por tanto haciendo esa identicacin del parmetro a en (3.8) deducimos la siguiente expresin de la solucin de (3.39)
m
u(t, x) =
2 i t
n
2
Rn
f (x )ei
m|xx |2
2 t
dn x
(3.40)
4. Consideremos ahora el siguiente problema de condiciones iniciales para la ecuacin de ondas
utt = uxx , t > 0, x R
u
t=0 = f (x),
ut
t=0 = g(x).
Podemos aplicar el MDA usando, como en el ejemplo de la ecuacin del calor, las
autofunciones {ei kx }kR del problema espectral
wxx = k2 w,
x R,
y buscando una solucin del problema de valores iniciales de la forma

u(t, x) =
v(k, t)ei kx d k.
Introduciendo esta expresin en la ecuacin de ondas obtenemos
vtt (k, t) + k2 v(k, t) ei kx d k = 0,
Estamos ante el propagador del calor, objeto de gran relevancia en Fsica y Matemticas.
Esta expresin (que contiene al propagador libre de la Mecnica Cuntica) implica, en particular,
que un paquete gaussiano representado una partcula libre en un estado que satura la desigualdad
de Heisenberg con el paso del tiempo aumenta su anchura caracterstica y la partcula se deslocaliza,
dispersndose en el espacio.
3.5]
por ello imponemos

vtt (k, t) + k2 v(k, t) = 0,
v(k, t) = A(k)ei kt + B(k)e i kt .
Concluimos que el MDA lleva a una solucin de la forma
u(t, x) =
A(k)ei k(x+t) + B(k)ei k(xt) d k,
luego la correspondiente derivada temporal ser

ut (t, x) =
i k A(k)ei k(x+t) B(k)ei k(xt) d k.
As, para t = 0 obtenemos

u(0, x) =
ut (0, x) =
R
R
A(k) + B(k) ei kx) d k,
i k A(k) B(k) ei kx) d k.
Comparando con la transformada de Fourier de los datos iniciales {f , g}

f (x) =
g(x) =
R
R
f (k)ei kx dk,
g(k)ei kx dk,
en donde los coecientes seran

1
f (k) =
2
1
g(k) =
2
R
R
f (x)e i kx dk,
g(x)e i kx dk,
concluimos que
f (k) = A(k) + B(k),
g(k) = i k(A(k) B(k)).
La solucin de este sistema es

A(k) =
1
1
f (k) +
g(k) ,
2
ik
B(k) =
1
1
f (k)
g(k) ,
2
ik
Por tanto, la solucin del problema de Cauchy se escribe como

u(t, x) =
1
2
f (k)ei k(x+t) d k +
1
+
2
f (k)ei k(xt) d k
g(k)
1 i k(x+t)
dk
e
ik
g(k)
1 i k(xt)
dk .
e
ik
147
148
[Captulo 3
El primer corchete es
1
[f (x + t) + f (x t)]
2
en tanto que el segundo es un poco ms complicado. Para analizarlo utilizamos
la siguiente relacin
g(k)ei kx d k =
ik
g(k)
1
+
ik
x
0
ei kx d x d k =
g(k)
dk+
ik
g(x) d x,
0
(3.41)
para as obtener el siguiente valor para el segundo corchete

1
2
x+t
g(x) d x.
xt
Reuniendo esta informacin recuperamos la frmula de dAlambert para la solucin del problema de condiciones iniciales de la ecuacin de ondas unidimensional
u(t, x) =
frmula de
dAlambert
1
1
[f (x + t) + f (x t)] +
2
2
x+t
g(x) d x.
xt
5. Por ltimo, consideramos el siguiente problema de condiciones iniciales y de

contorno para la ecuacin del calor en una placa innita de ancho L
ut = uxx + uyy ,
sen y x [1, 1],
L
u|t=0 = g(x, y) :=
x [1, 1],

u|y=0 = 0,
u|y=L = 0.
(wxx + wyy ) = w,
w|y=0 = 0,
w|y=L = 0.
Que, a su vez, es un problema de contorno homogneo, para la ecuacin de
Helmholtz bidimensional, en la que podemos separar variables en coordenadas
cartesianas. As, las soluciones las escribimos como
w(x, y) = a1 ei k1 x + b1 e i k1 x
a2 ei k2 y + b2 e i k2 y
e imponemos las condiciones de contorno que implican
a2 + b2 = 0,
ei k2 L a2 + e i k2 L b2 = 0.
3.5]
Soluciones no nulas de este sistema existen siempre que

k2 = n
,
L
n = 1, 2, . . . .
Por tanto, los autovalores son

k2 + n2
2
L2
kR,nN
y las correspondientes autofunciones

ei kx sen n
y
L
kR,nN
Observemos, que aparecen un conjunto continuo de autovalores, ya que en la

variable x no tenemos condiciones de contorno. El autovalor asociado k2 lo
hemos escogido real.
La solucin se expresar segn el MDA como
u(t, x, y) =
n=1 R
vn (k, t)ei kx sen n
y d k.
L
Introduciendo esta expresin en la EDP se obtiene las siguiente EDO para vn (k, t)
vn
2
(k, t) + k2 + n2 2 vn (k, t) = 0
t
L
cuya solucin es
2
vn (k, t) = an e
(k2 +n2 2 )t
L
Para saber que autofunciones intervienen en este desarrollo analizamos los desarrollos correspondientes de las inhomogeneidades. En este caso slo es la
funcin g(x, y), cuya forma indica que se va a poder expresar en trminos de
{ei kx sen L y}kR nicamente. As

g(x, y) =
c(k)ei kx d k sen
y
L
en donde
1
1
2
c(k) =
e i kx d x =
sen k
.
k
Esto es,
g(x, y) =
sen k i kx
d k sen y.
e
k
L
Por ello, la solucin es
u(t, x, y) = e
2
t
L2
sen
y
L
ek
2t
sen k i kx
d k.
e
k
149
150
[Captulo 3
Evaluamos ahora la integral

I(x, t) :=
ek
2t
sen k i kx
dk
e
k
que escribimos como

I(x, t) =
1
2
ek
2t
1 i(x+1)
ei(x1) ) = J(x + 1, t) J(x 1, t)
(e
ik
donde
J(x, t) =
1
2
ek
2t
1 i kx
d k.
e
ik
Usamos ahora (3.41) para escribir

1
J(x, t) =
2
ek t
dk+
ik
1
2
ek t ei kx d k d x.
Como sabemos del anterior captulo la transformada Fourier de una gaussiana

es otra gaussiana. La funcin error
2
erf(x) :=
e d
permite escribir nalmente

I(x, t) =
1
x+1
x1
erf
erf
2
2 t
2 t
Por ello, la solucin es

u(t, x, y) =
x+1
x1
1
erf
erf
2
2 t
2 t
2 t
sen
y.
L
Debemos observar que si x > 0 tenemos

erf(x) = 1 +
1
1
2
ex 1 O 2
x
x
y que
erf(x) = erf(x).
Por tanto, cuando t 0+ la funcin
1
x+1
x1
erf
erf
2
2 t
2 t
tiende 0 si x [1, 1] (x 1 y x + 1 tienen el mismo signo) y a 1 si x [1, 1]
(x 1 y x + 1 tienen signos opuestos).
3.6]
3.6
Problemas de contorno en electrosttica y mecnica de uidos
151
En electrosttica el potencial elctrico satisface el problema de contorno

u = ,
ai (u) = gi , i = 1, . . . , m.
Aqu representa la distribucin de carga. Por otro lado, en mecnica de uidos
perfectos el potencial de velocidades est determinado por
u = 0,
ai (u) = gi , i = 1, . . . , m.
3.6.1 Unicidad
Discutiremos en primer lugar el problema de la unicidad para los problema
u = ,
u
S()
=g
u = ,
S()
= g.
Estamos pues considerando el problema de Dirichlet o el de Neumann para la ecuacin

de Poisson. Buscamos soluciones clsicas u C 2 (). Aqu el dominio es, como
sabemos una regin abierta conexa de R3 , sin embargo se puede dar dos circunstancias:
Problema interior: es conjunto acotado de R3 .
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S()
Problema exterior: es un conjunto no acotado y su complementario lo es.

mtodo de
desarrollo en
autofunciones en
problemas de
contorno en
electrosttica y
mecnica de
uidos
152
R3
S1 ()
[Captulo 3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxx
S2 ()
S3 ()
Debemos recordar el teorema de Gauss de la divergencia que nos asegura que
A d3 x =
S()
A d S.
Aplicndolo a A = uu, como

(uu) = u u + uu
obtenemos la identidad de Green
(|u|2 + uu) d3 x =
u
S()
u
d S.
n
Unicidad del problema interior Supongamos dos soluciones u1 y u2 del problema

de contorno de Dirichlet o de Neumann. La funcin diferencia u = u1 u2 satisface
u = 0,
u
=0
S()
u = 0,
u
= 0,
n S()
respectivamente. Aplicando la identidad de Green a esta funcin tenemos
|u|2 d3 x = 0
por ello u = 0 en un conjunto conexo por lo que u es una funcin constante en .

Para el problema de Dirichlet como u se anula en la frontera dicha constante es cero.
Por tanto, concluimos
Teorema 3.6.1.
lucin.
El problema de Dirichlet interior admite a lo sumo una so-
En el problema de Neumann interior dos soluciones distintas se diferencian

en una constante.
3.6]
Unicidad del problema exterior Ahora no es acotado y no podemos aplicar a la

ligera la identidad de Green a la funcin diferencia u = u1 u2 de dos soluciones.
Por ello, cambiamos a un dominio que denotaremos por R y que describimos a continuacin. El complementario c := R3 \ de es un conjunto acotado, luego existe
un R0 > 0 tal que si R > R0 c B(0, R), aqu B(0, R) := {x R3 : x < R} es la
bola de radio R en el origen. Pues bien, denotamos
R := B(0, R)\c ,
y su frontera es
S(R ) = S1 () S2 () . . . Sm () S(0, R)
donde S(0, R) := {x R3 : x = R} es la esfera de radio R centrada en origen. En la
siguiente gura ilustra la geometra de este conjunto
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
R3
S1 ()
R
S2 ()
S3 ()
Aplicando la identidad de Green a u en R obtenemos
|u|2 d3 x =
u
S(0,R)
u
dS
n
y recordando que la derivada normal sobre la esfera es ur , nos lleva a

R
|u|2 d3 x =
S(0,R)
uur d S.
La integral de supercie la podemos acotar como sigue
S(0,R)
uur d S 4 R 2 max |uur | ,

S(0,R)
y suponiendo que
u=O
1
,
r
r ,
y que por tanto ur = O(r 2 ), lleva a
d3 x = lim
R R
d3 x C lim
1
= 0.
R
153
154
[Captulo 3
Teorema 3.6.2. Por tanto, para asegurar la unicidad en el problema de Dirichlet

exterior y la unicidad salvo constante en el problema de Neumann exterior es
necesario exigir que en el innito las soluciones satisfagan la condicin
u f (r , , ) + O
1
,
r
r .
3.6.2 El MDA en problemas de electrosttica y mecnica de uidos con simetra esfrica

En electrosttica es frecuente encontrar problemas de contorno del tipo
u = ,
ai (u) = gi , i = 1, . . . , n
en donde es la densidad de carga, u el potencial elctrico, y por tanto el campo
elctrico es E = u, y los operadores de frontera ai slo actan sobre r y gi =
gi (, ). Un problema similar tambin aparece en la mecnica de uidos
u = 0,
ai (u) = gi , i = 1, . . . , n
donde u es el potencial de velocidades del uido, y por ello la velocidad es v = u.
La ecuacin de Poisson en coordenadas esfricas se escribe como sigue
1
1
1
(r u)r r + 2
(sen u ) + 2
u = (r , , ).
r
r sen
r sen2
Para aplicar el MDA escribimos la ecuacin de Poisson como
(A + B)u = r 2
donde
Au := r 2 ur r + 2r ur ,
Bu :=
1
1
(sen u ) +
u .
sen
sen2
Vemos que slo hay condiciones de contorno del primer tipo y que tanto los trminos
tipo bj como hj estn ausentes. El operador B es simtrico en C (S 2 ) y el correspondiente problema de autovalores se resuelve como sigue
BYl,m = l(l + 1)Yl,m ,
l = 0, 1, 2, . . . m = l, . . . , l.
Como sabemos los armnicos esfricos forman un conjunto completo en L2 (S 2 ) y por

ello siempre podemos desarrollar
r 2 (r , , ) =
lm Yl,m (, ),
l,m
gi (, ) =
cilm Yl,m
l,m
3.6]
Por tanto, el MDA busca soluciones en la forma

u(r , , ) =
vlm Yl,m (, ).
l,m
donde vlm se encuentran determinados por

r 2 vlm + 2r vlm l(l + 1)vlm = lm
que en el caso homogneo, = 0, correspondiente a la ecuacin de Laplace, tiene como
solucin a
vlm (r ) = Al,m r l +
Blm
.
r l+1
3.6.3 Esfera conductora cargada en equilibrio electrosttico en un campo

elctrico constante
Consideremos una esfera conductora en equilibrio de radio a y carga Q centrada en
el origen en el seno de un campo elctrico constante E0 k. Como sabemos el equilibrio
se alcanza si el potencial sobre la esfera es constante, digamos u0 . La siguiente gura
ilustra esta situacin
E0 k
z
Q
a
y
x
E0 k
El potencial electrosttico u es solucin del siguiente problema de contorno para
la ecuacin de Laplace
u = 0,
u|r =a = u0 ,
u E0 z + V0 + O 1 , r .
r
Aplicando el MDA, buscamos una solucin de la forma
u(r , , ) =
A
,m
,m r
+B
1
,m
+1
,m (, ).
155
156
[Captulo 3
La condicin de contorno en r = a se puede escribir

u|r =a = u0 4Y0,0 ,
en tanto que, como z = r cos , la condicin en el innito es
u E0 r
4
1
Y1,0 (, ) + V0 4Y0,0 + O
.
3
r
As pues, podemos restringirnos a un desarrollo

u(r , , ) = A0,0 + B0,0
1
1
Y0,0 (, ) + A1,0 r + B1,0 2 Y1,0 (, ).
r
r
Imponemos ahora las condiciones de contorno para obtener
A0,0 + B0,0 1 = 4u0 , A0,0 = 4 V0 ,
a
A = 4 E .
1
1,0
A a + B
1,0
0
1,0 2 = 0,
3
a
Por tanto,
u(r , , ) = V0 +
(u0 V0 )a
a3
E0 r 2 cos .
r
r
(3.42)
El potencial dado en (3.42) se compone de un trmino monopolar

(u0 V0 )a
r
y un trmino dipolar
E0 r
a3
cos .
r2
El momento monopolar es 4 0 (u0 V0 )a y la carga neta es Q = (u0 V0 )a. Por ello,

el potencial es
u(r , , ) = V0 +
Q
a3
E0 r 2 cos .
r
r
El campo elctrico E = u
E :=
Q
a3
a3
+ E0 1 + 2 3 cos ur E0 1 3 sen u .
r2
r
r
El momento dipolar de la esfera es

p = 4 0 a3 E0
y por ello la polarizabilidad de la esfera es = 4 0 a3 .
Al ser Er la componente normal del campo elctrico sobre la esfera la densidad de
carga sobre la supercie de sta es
() = 0 Er = 0
Q
+ 3E0 cos .
a2
3.6]
El potencial de referencia V0 (que, por tanto, podamos tomar como cero) es el

potencial en el plano xy en regiones alejadas del origen, y de hecho se puede tomar
como el potencial de tierra, por ello si conectamos la esfera a tierra, (u0 V0 )a = Q = 0,
entonces la esfera es neutra con carga total nula.
Los puntos donde el campo elctrico se anula son relevantes en el estudio de las
supercies equipotenciales, ya que all la supercie ya no es regular. La componente
E de E = Er ur + E u se anula slo si
r =a
= 0,
Analizamos ahora la anulacin de Er en cada uno de estos casos
El campo elctrico se anula en la esfera r = a siempre que satisfaga
Q
+ 3E0 cos = 0,
a2
esto es
= arccos
Q
.
3a2 E0
Por tanto si
Q
3a2 E0
< 1,
el campo elctrico slo se anula en un crculo sobre la supercie esfrica con

= . Si
Q = 3a2 E0
entonces el campo elctrico slo se anula en los polos norte y sur de la esfera,
respectivamente. Cuando
Q
3a2 E0
> 1,
la situacin cambia y el campo elctrico no se puede anular sobre la esfera.

En este segundo caso el campo elctrico se anula para = 0, siempre que r
satisfaga
P (r ) := r 3
Q
r + 2a3 = 0,
E0
respectivamente. Pasamos ahora analizar las races de esta ecuacin. La funcin

P (r ) es una cbica con
P ,
r ,
poseyendo por ello al menos una raz real; y extremos en

3r 2
Q
= 0.
E0
157
158
[Captulo 3
Los extremos sern reales s y slo s

Q
0,
E0
respectivamente. En este caso tendremos un mnimo y un mximo localizados
en
Q
.
3E0
r =
En caso contrario la funcin P es siempre creciente y por ello slo posee una nica
raz real que es negativa, ya que P (0) = 2a3 > 0. En el caso de dos extremos
para P (r ), en el intervalo (r , r+ ) la funcin es decreciente y como P (0) > 0 se

) > 0. Por ello, la condicin para que existan dos races reales es
tiene P (r
P (r+ ) = 0,
y para que haya tres races reales
P (r+ ) < 0,
evaluamos el valor de P en r+ , obteniendo
P (r+ ) = 2
Q
3E0
3/2
+ 2a3 .
As, tendremos dos races reales (una negativa y otra positiva (P (0) > 0)) si
Q
3E0 a2
=1
y tres races reales (una negativa y dos positivas (P (0) > 0))si
Q
3E0 a2
> 1.
Q
3E0 a2
=1
Ocurre que si
el valor r = a es raz. Por otro lado si

Q
3E0 a2
> 1 r+ > a
y existe alguna raz mayor que a, y como

P (a) = 3a3 1
Q
3E0 a2
<0
slo existe una mayor que a.

Resumiendo, para r > a el campo elctrico slo se anula en punto si y slo si
Q
3E0 a2
> 1,
este punto yace sobre el eje z.

3.6]
La estructura de las curvas equipotenciales cambia segn

Q
3E0 a2
1.
A continuacin mostramos los diferentes casos
Q
3E0 a2
Q
3E0 a2
<1
Q
3E0 a2
=1
>1
3.6.4 Fluido en movimiento uniforme deformado por una bola esfrica

Consideremos ahora un uido en movimiento uniforme en el cual sumergimos una
esfera slida de radio a gura
v0 k
z
a
y
x
v0 k
El potencial de velocidades debe satisfacer el siguiente problema de contorno
u = 0,
ur |r =a = 0,
u v0 z + O
1
,
r
r .
159
160
[Captulo 3
Como en el problema anterior buscamos una solucin de la forma

u(r , , ) =
,m r
+B
1
,m
,m
+1
,m (, ).
Adems las condiciones de contorno en r = a y en el innito se puede escribir

ur |r =a = 0,
u v0 r
4
1
Y1,0 (, ) + O
,
3
r
r .
As pues, nos restringimos a soluciones de la forma

u(r , , ) = A1,0 r + B1,0
1
Y1,0 (, ).
r2
Imponiendo las condiciones de contorno
A = 4 v ,
1,0
0
3
A 2B
1,0
1,0 3 = 0.
a
Por ello,
B1,0 =
1
2
4
v0 a3 .
3
As
u(r , , ) = v0 r +
a3
cos
2r 2
y la velocidad es
v = v0
3.7
a3
a3
cos ur 1 +
sen u .
r3
2r 3
3.7.1 Cuestiones
1. Determinar cual de las opciones siguientes corresponde a las ondas estacionarias, en coordenadas esfricas, u(t, r , , ) = e i t w(r , , ) de la siguiente
ecuacin de ondas
utt = u, r < a,
u|r =a = 0.
(a) (jl (kr ) + nl (kr ))Yl,m (, ) con jl (ka) + nl (ka) = 0 y = k2
(b) jl (kr )Yl,m (, ) con jl (ka) = 0 y = k
(c) nl (kr )Yl,m (, ) con jl (ka) = 0 y = k
(d) jl (kr )Yl,m (, ) con jl (ka) = 0 y = k2
(e) (jl (kr ) + nl (kr ))Yl,m (, ) con jl (ka) + nl (ka) = 0 y = k
3.7]
Resolucin Las ondas estacionarias se obtienen al plantear la separacin de

variables u(t, r , , ) = e i t w(r , , ), donde se satisfacen las siguientes relacin de dispersin y ecuacin de Helmholtz
= k,
w + k2 w = 0.
La relacin de dispersin descarta las posibilidades (a) y (d). Las opciones (b), (c)
y (e), aparte de plantear la relacin de dispersin correcta, son soluciones todas
ellas de la ecuacin de Helmholtz y, salvo la opcin (c), cumplen la condicin de
contorno en r = a. Sin embargo, debemos imponer la condicin de regularidad
en r = 0 que descarta la opcin (e) siendo la alternativa (b) la correcta.
2. Determinar cual de las opciones siguientes corresponde a las soluciones regulares, en coordenadas cilndricas, u(r , , z) del problema de Neumann siguiente
u = 0, r < a,
= 0.
r r =a
(a) Jm (r ) cos(m)ez con m Z, Jm (a) = 0
(b) Nm (r )sen(m)ez con m Z, Jm (a) = 0
(c) (Jm (r ) Nm (r )) cos(m) cosh(z) con m Z, Jm (a) = Nm (a)
(d) Jm (r ) cos(m)ez con m Z, Jm (a) = 0
(e) Nm (r )eim ez con m Z, Nm (a) = 0
Resolucin La funciones en las opciones (b), (c) y (e) no son regulares, la opcin
(d) no cumple las condiciones de contorno. Slo la opcin (a) satisce todos los
requerimientos.
3. Hallar el valor de la constante a para el que existe solucin del siguiente problema
de contorno en coordenadas esfricas
u = 1, r < 1,
= a.
r r =1
(a) 0
(b) 1/2
(c) 1/3
(d) 1/4
(e) 1
Ayuda: Usar el teorema de la divergencia.

161
162
[Captulo 3
Resolucin Aplicando el teorema de la divergencia en la bola B(0, 1), tenemos
B(0,1)
ud3 x =
S(0,1)
udS
como u = 1 y ur dS = udS concluimos

4
= a4
3
y por ello a = 1/3.
3.7.2 Problemas
1. Encontrar, usando la transformada de Fourier, la solucin del siguiente problema
de valores iniciales para la ecuacin del calor en la recta
ut = uxx , t > 0, < x < ,

u|t=0 = x e|x| .
Resolucin Utilizando la transformada de Fourier, a modo de MDA, obtenemos
u(t, x) =
c(k) ek t ei kx d k.
Para satisfacer la condicin inicial debemos hallar la transformada de Fourier de

g(x) := x e|x| .
As,
c(k) = F(g) = i Dk F(e|x| ) =
=
1
i Dk
2
1
1
1
i Dk
+
.
2
1ik 1+ik
e(1i k)x d x +
e(1i k)x d x
Esto es,
c(k) = i Dk
1
2ik
2
=
.
2
2 1 + k
(1 + k2 )2
Por tanto, la solucin buscada es

u(t, x) =
2i
k
2
ek t ei kx d k.
(1 + k2 )2
Un resultado ms explcito para la solucin se obtiene aplicando la frmula (3.36)

a nuestro problema, el resultado es
u(t, x) =
2 t
x e|x | e
(x x)2
4t
dx .
3.7]
163
Para efectuar esta integral procedemos como sigue. Observemos que u(t, x) =
F (t, x) F (t, x) donde F (t, x) :=
cuenta que 2t e
x)2
(x 4t
x
2 t 0
x)2
(x 4t
= (x x) e
tegracin por partes, escribir F (t, x) =

x
0 e
ex
1
t
x
2
(x x)2
4t
d x . Teniendo en
podemos, realizando una inx2
t G(t, x) + t e 4t
, donde
x)2
(x 4t
d x . Por ltimo, si en la integral que dene a G realiza

2
x
x
+ t llegamos a G(t, x) = 2 t ex+t x2t es d s.
2 t
2 t
2
x
2
La funcin error erf x := 0 es d s permite expresar G(t, x) = t ex+t 1+
G(t, x) :=
mos el cambio de variable s =
erf
x2t
2 t
u(t, x) =
. Por tanto,
x
x 2t
t ex+t 1 + erf
2
2 t
x + 2t
x
+ t ex+t 1 erf
2
2 t
A continuacin mostramos la evolucin espacio-temporal de la temperatura u(t, x).
u(t, x)
0.2
0.2
5
10
x
0
10
2. Resolver, por el mtodo de desarrollo en autofunciones, el siguiente problema

de contorno y condiciones iniciales para la ecuacin de ondas
utt = uxx , t > 0, 1 < x < 1,
u|t=0 = sen x,
u |
= |x|,
t t=0
u|x=1 = u|x=1 ,
ux |x=1 = ux |x=1 .
Resolucin Para aplicar el MDA debemos considerar el siguiente problema de
autovalores
wxx = w, x [1, 1]
w|x=1 = w|x=1 ,
wx |x=1 = wx |x=1 .
164
[Captulo 3
Los correspondientes autovalores son n = n2 2 con autofunciones dadas por

{1, cos n x, sen n x} . El desarrollo en autofunciones de la solucin u(t, x)
n=1
es u(t, x) = v0 (t) + n=1 (vn (t) cos n x + vn (t) sen n x). Al introducir esta
expresin en la ecuacin de ondas y desacoplar los diferentes modos obtenemos
v0,tt = 0, vn,tt + n2 2 vn = 0 y vn,tt + n2 2 vn = 0, que nos conduce a
v0 (t) = A0 + B0 t,
v (t) = An cos n t + Bn sen n t, n = 1, 2, . . . ,

n
vn (t) = An cos n t + Bn sen n t, n = 1, 2, . . . .

Debemos desarrollar ahora las condiciones iniciales. Como u|t=0 = f (x) :=
sen x ya est desarrollada basta con calcular el desarrollo de Fourier de ut |t=0 =
g(x) := |x|. Al ser la funcin g(x) par en [1, 1] su desarrollo se reduce a un
desarrollo en cosenos. Los correspondientes coecientes sern
a0 = 2 1 x d x = 1,
0,
si n es par.
an = 2 1 x cos n x d x =
0
4
2 2 , si n es impar.
n
Luego en el desarrollo en autofunciones de u(t, x) slo deben aparecer 1, {cos(2n+
1) x} , sen x, y por tanto los nicos coecientes no nulos son v0 , {v2n+1 } , v1 .
n=0
n=0
Por todo ello,
B0 = v (0) = 1 ,
A0 = v0 (0) = 0,
0
2
4
(2n + 1) B2n+1 = v2n+1 (0) = 2 (2n+1)2 ,
= v2n+1 (0) = 0,
A
2n+1
B1 = v = 0,
A1 = v1 (0) = 1,
1
con n = 0, 1, . . . . Lo que conduce a
t
4
u(t, x) = 3
2
1
sen((2n + 1) t) cos((2n + 1) x) + cos( t) sen( x).
(2n + 1)3
n=0
ste es el resultado pedido.

Podemos entender mejor este resultado como sigue. Utilizando las frmulas
trigonomtricas para los productos obtenemos.
1
(sen( (x t)) + sen( (x + t)))
2
1
1
4
(sen((2n + 1) (x + t)) sen((2n + 1) (x t)) .
+
t 3
2
n=0 (2n + 1)3
u(t, x) =
La serie de Fourier 2 2 n=0 (2n+1)2 cos((2n + 1) x) converge puntualmente,

segn el teorema de Dirichlet, para todo x R a la extensin peridica gper (x) de
g(x), x [1, 1]. Integrando trmino a trmino uno obtiene la serie de Fourier
1
x
4
n=0 (2n+1)3 sen((2n + 1) x) que se puede demostrar converge puntual2 3
x
mente a 0 gper (x) d s. As, la serie de Fourier hallada para u(t, x) corresponde
a la siguiente frmula de dAlembert
u(t, x) =
fper (x + t) + fper (x t) 1
+
2
2
x+t
xt
gper (s) d s.
3.7]
La serie de Fourier converge rpidamente, basta con dos trminos de la serie

para aproximar bastante bien la solucin. A la derecha mostramos un diagrama
espacio-temporal de la onda, en la que hemos aproximado la serie de Fourier por
su suma parcial a 4 trminos, el resultado exacto es prcticamente el mismo.
5
u(t, x)
0
1
5
1
3. Resolver, por el mtodo de separacin de variables en coordenadas cilndricas,

el siguiente problema de contorno
u = 0, 1 < r < 2,
u|r =1 = u|r =2 .
Resolucin Como sabemos la resolucin por separacin de variables en coordenadas cilndricas de la ecuacin de Laplace conduce a considerar
u(r , , z) = R,m (r )m ()Z (z),
donde
Z (z) = A ez +B ez ,
() = C ei m +D e i m ,
m
c1 ln r + c2 ,
R,m (r ) = c1 r m + c2 r m ,
EJm (r ) + F Nm (r ),
= m = 0,
0, m = 0,
0.
No todas estas funciones son soluciones de nuestro problema. Como queremos

que la solucin u sea univaluada m = 0, 1, 2, . . . . La condicin de contorno,
que se impone sobre R,m , determina las siguientes posibilidades
i) = m = 0 c2 = c1 ln 2 + c2 y as c1 = 0. Luego,
R0,0 1.
165
166
[Captulo 3
ii) = 0, m 0 c1 + c2 = 2m c1 + 2m c2 . Por tanto,

R0,m (r ) (1 2m )r m (1 2m )r m .
iii) 0 EJm () + F Nm () = EJm (2) + F Nm (2). Por ello,

R,m (r ) (Nm () Nm (2))Jm (r ) (Jm () Jm (2))Nm (r ).
4. Resolver, por el mtodo de desarrollo en autofunciones, el siguiente problema
de contorno y condiciones iniciales para la ecuacin del calor
ut = uxx , t > 0, 0 < x < 1,
u|t=0 = x 3 /3 x 2 /2,
ux |x=0 = 0,
ux |x=1 = 0.
Determinar tambin el lmite limt u(t, x).
Resolucin Al ser un problema de frontera de Neumann la base de Fourier a

usar es {cos n x} . As la solucin u(t, x) se escribe como
n=0
u(t, x) =
v0 (t)
vn (t) cos(n x),
+
2
n=1
donde, debido a que u resuelve la ecuacin del calor, se debe cumplir

vn (t) = vn (0)en
v0 (t) = v0 (0),
2 2t
n = 1, . . . , .
Ms an, las condiciones iniciales implican que
vn (0) = 2
x3
x2
3
2
x3
x2
1
dx = ,
3
2
6
0
4(1 (1)n )
,
cos(n x)dx =
n4 4
v0 (0) = 2
n = 1, . . . ..
Debemos subrayar que en la segunda integral hemos integrado por partes dos
veces. Por todo ello concluimos que
u(t, x) =
8
2 2
1
en t cos(n x).
+
12 n impar n4 4
Por ltimo, el lmite pedido es claro de la serie recin escrita

lim u(t, x) =
1
.
12
3.7]
5. Las soluciones de la ecuacin de Helmholtz en coordenadas esfricas son de la

forma
[Alm jl (kr ) + Blm nl (kr )]Yl,m (, ).
Determinar los valores de k para los que existen soluciones no triviales con l = 0
del problema de contorno
u + k2 u = 0, 1 < r < 2,
u|r =1 = 0,
= 0.
r r =2
Ayuda: j0 (r ) =
senr
cos r
, n0 (r ) =
.
r
r
Resolucin Nuestra solucin tiene la forma

u(r , , ) = (Aj0 (kr ) + Bn0 (kr ))Y0,0 ,
y las condiciones de frontera imponen
Aj0 (k) + Bn0 (k) = 0,

Aj (2k) + Bn (2k) = 0.
0
Para que existan una solucin no trivial es necesario que

j0 (k)
j0 (2k)
n0 (k)
= 0.
n0 (2k)
Esto es,
senk
2k cos(2k) sen2k
cos k
=0
2ksen2k + cos(2k)
que se escribe como

tan k = 2k.
167
ndice de Materias
ecuacin de Schrdinger no lineal, 6

ecuacin del calor, 5
ecuacin en derivadas parciales
Dirichlet, 36
mixtas, 36
Neumann, 36
denicin, 3
elptica, 30
hiperblica, 30
lineal, 4
lineal
homognea, 4
parablica, 30
espacios de Hilbert, 41
existencia local, 17
existencia local
Lewy, 24
armnicos esfricos, 120

cambios de coordenadas, 6
clasicacin EDP 2do orden, 30
condiciones de contorno, 9
Dirichlet, 11
lineales, 9
mixtas, 11
Neumann, 11
peridicas, 14
condiciones iniciales, 15
convergencia puntual, uniforme y en media, 44
curvas caractersticas, 27, 30
derivadas parciales
notacin abreviada, 3
notacin extendida, 2
dominios, 8
dominios
abierto, 8
conexo, 8
uido
caja esfrica, 128
tubera cilndrica, 115
tubera paralepipdica, 108
forma de Kovalevskaya, 18
forma normal, 18
frecuencia, 103
frontera, 8
frontera
normal unitaria, 12
funciones analticas, 17
funciones de Bessel, 57
funciones diferenciables, 16
ecuacin de Helmholtz, 103

ecuacin de Helmholtz
separacin de variables en cartesianas, 105
separacin de variables en cilndricas, 110
separacin de variables en esfricas,
118
ecuacin de Kortewegde Vries, 6
ecuacin de Legendre adjunta, 119
ecuacin de ondas, 5
ecuacin de Poisson, 5
ecuacin de Schrdinger, 5
hipersupercies caractersticas, 25
mtodo de desarrollo en autofunciones,
130
i
ii
NDICE DE MATERIAS
mtodo de desarrollo en autofunciones
ecuaciones de evolucin, 133, 150
frmula de dAlambert, 148
problema de condiciones iniciales para la ecuacin de Schrdinger libre en la recta, 146
problema de condiciones iniciales para la ecuacin del calor en el espacio, 145
problema de condiciones iniciales para la ecuacin del calor en la recta, 144
problemas de contorno en electrosttica y mecnica de uidos, 150
transformada de Fourier, 143
problema de Cauchy, 19, 25

producto escalar
coordenadas esfricas, 42
coordenadas polares, 42
de funciones, 40
desigualdad de CauchySchwarz, 40
desigualdad triangular, 40
ortogonalidad, 43
ortogonalidad
bases ortogonales, 46
conjuntos completos, 46
espacios producto, 45
denicin, 40
norma, 40
nmeros complejos
conjugado y mdulo, 2
frmulas de Euler, 2
partes real e imaginaria, 1
relacin de dispersin, 103
ondas estacionarias, 103

operador diferencial, 33
operador diferencial
autovalores y autofunciones, 48
espectro, 48
separable, 96
simtrico, 46
SturmLiouville, 50, 59
SturmLiouville
Bessel, 56
condiciones de contorno separadas, 52
Legendre, 54
regularidad, 51
Schrdinger, 54
simtricos, 51
singularidad, 53
condicones de contorno peridicas, 52
subespacio propio, 48
operadores de frontera, 35
partcula cuntica
caja esfrica, 126
caja impenetrable, 105
condiciones peridicas, 107
cua cilndrica impenetrable, 112
polinomios de Legendre, 55
separacin de variables
ecuacin de Helmholtz
cartesianas, 105
cilndricas, 110
esfricas, 118
ecuaciones de la Fsica Matemtica,
103
ecuaciones homogneas, 97
operadores de frontera, 99
series de Fourier
completa
extensin peridica, 65
convergencia en media, 72
convergencia puntual, 73
cosenos, 67
cosenos
extensin par, 68
error y velocidad de convergencia,
76
fenmeno de Gibbs, 75
senos
extensin impar, 67
teorema de Carleson, 74
series de Fourier de senos y cosenos
frmula de Euler, 65
teorema de Cauchy-Kovalevskaya, 20
transformada de Fourier
funciones radiales, 90
gaussiana multidimensional, 86
NDICE DE MATERIAS
lorentziana, 81
multidimensional, 78
series de Fourier en intervalos innitos, 78
transformada seno y coseno, 89
identidad de Parseval, 83
propiedades, 83
iii

EDP Mañas-Alonso

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

EDP Mañas-Alonso

Uploaded by

Copyright:

Available Formats

U

Departamento de Fsica Terica II

Manuel Maas Baena y Luis Martnez Alonso

1 Introduccin a las ecuaciones en derivadas parciales

2 Teora espectral de operadores diferenciales. Anlisis de Fourier

3 Mtodos de separacin de variables y desarrollo en autofunciones

Introduccin a las ecuaciones

n este primer captulo se presentan las deniciones generales sobre ecuaciones

Denicin de EDP. EDP lineales

1.1.1 Aspectos generales

Notacin extendida Escribiremos u = u(x, y, . . . ) = u1 (x, y, . . . ) + i u2 (x, y, . . . )

Introduccin a las ecuaciones en derivadas parciales

Como nmeros complejos, los valores de la funcin u pueden conjugarse y poseen

Es til recordar que:

Recordemos que en el lgebra de nmeros complejos, dados a, b R, se tienen las

ea+i b = ea ei b = ea (cos b + i sen b).

Frecuentemente, en las aplicaciones en la Fsica, una de las variables a tener en

|u| = (xy)2 + e2(x

, uxx = i(2 + 4x 2 )ex

Se calcula inmediatamente que

Denicin de EDP. EDP lineales

Utilizando las frmulas de Euler

As, las derivadas de primer orden son

donde aparecen ndices vectoriales

Cuando tengamos una sola variable independiente x, usaremos la notacin

Para denir el concepto de EDP es conveniente usar la notacin abreviada.

Introduccin a las ecuaciones en derivadas parciales

Denicin 1.1.1. Una EDP es una ecuacin de la forma:

siendo F una funcin que depende de x = (x0 , x1 , . . . , xn1 ) (n > 1), y de un

donde signica que la suma se extiende a un conjunto nito de multi-ndices

y nos referimos al trmino f (x) como el trmino inhomogneo de la ecuacin. Si

Denicin de EDP. EDP lineales

1.1.2 EDP relevantes en la Fsica

uxx + uyy + uzz = f ,

utt = c 2 uxx + uyy + uzz ,

uxx + uyy + uzz + q(x, y, z)u,

que describe la dinmica de una partcula de masa m en un campo de fuerzas

ut = a2 uxx + uyy + uzz ,

Introduccin a las ecuaciones en derivadas parciales

1. Ecuacin de Poisson en 3 dimensiones:

2. Ecuacin de ondas en 1+3 dimensiones:

3. Ecuacin de Schrdinger en 1+3 dimensiones:

4. La ecuacin del calor en 1+3 dimensiones:

1. La ecuacin de Kortewegde Vries

2. La ecuacin de Schrdinger no lineal

1.1.3 Cambio de variables independientes

A veces en Fsica se utiliza el dAlambertiano:

u = utt c 2 u, tomando la ecuacin de ondas la

Denicin de EDP. EDP lineales

que siempre supondremos invertible y x = x(y), con ecuaciones de transformacin inversa

En ocasiones un cambio de variables puede convertir una EDP en otra ms simple.

con cambio inverso:

Como consecuencia la EDP se escribe:

Introduccin a las ecuaciones en derivadas parciales

ii) Formulemos la EDP

Aplicando la regla de la cadena:

Luego la EDP se escribe:

Condiciones de contorno o frontera. Condiciones iniciales

1.2.1 Dominios. Fronteras

En tal caso diremos que es un dominio de Rn . La frontera S() de es el conjunto

Condiciones de contorno o frontera. Condiciones iniciales

1.2.2 Condiciones de contorno

Introduccin a las ecuaciones en derivadas parciales