Edii MMLM Cap3 PDF

C APTULO 3
Mtodos de separacin de
variables y desarrollo en
autofunciones
A 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 autofuncio-
nes. Comenzamos presentando la tcnica de separacin de variables para pro-
blemas 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 fluidos. 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 fluidos
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 auto-
funciones para determinar soluciones de problemas de contorno y/o de condiciones
iniciales.
119
120 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
X
Lu := a (x)D u.

Para la discusin siguiente es conveniente denotar L en la forma

L = L x0 , x1 , . . . , xn1 ; , ,..., ,
x0 x1 xn1
que indica que L efecta derivaciones con respecto a las variables (x0 , . . . , xn1 ) y que
operador diferen- sus coeficientes a = a (x) dependen de esas variables.
cial separable
Definicin 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 ; , B = B x1 , . . . , xn1 ; ,..., .
x0 x1 xn1
Es decir A solo efecta derivaciones respecto de x0 y sus coeficientes solo pueden

depender de x0 , mientras que B deriva solo respecto de las variables (x1 , . . . , xn1 )
y sus coeficientes 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
2
A x; =x + x2, B y, z; , =y + yz .
x x y z y 2 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 dimen-

siones:
Lu := utt c 2 u,
es separable respecto de cualquiera de sus cuatro variables (t, x, y, z).
Ecuaciones Diferenciales II
3.1] El mtodo de separacin de variables 121
hom
ogneas
4. El operador que aparece en la ecuacin de Schrdinger en 1+3 dimensiones:
2
Lu := i ut + u + q(x, y, z)u,
2m
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

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 separacin de
variables en
Teorema 3.1.2. Dada una EDP homognea de la forma ecuaciones
homogneas
A x0 ; u + B x1 , . . . , xn1 ; ,..., u = 0, (3.1)
x0 x1 xn1
todo par de funciones
v = v(x0 ), w = w(x1 , . . . , xn1 ),
que verifiquen 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 ) veri-

ficando (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 solucio-

nes 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,
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
X
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 se-
rie infinita

X
u(x) = cn un (x),
n=1
o una expresin integral
Z
u(x) = c()u (x) dn1 , 0 ,
0
o incluso una superposicin de ambas formas

Z
c()u (x) dn1 .
X
u(x) = cn un (x) +
n=1 0
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]
hom
ogneos
El mtodo de separacin de variables
3.1.3. Soluciones de problemas de contorno
El MSV puede tambin aplicarse en situaciones en que el problema sea una EDP
lineal homognea junto con una serie de condiciones

operadores
bles
123
de
frontera separa-
Lu = 0,
li (u) = 0, i = 1, . . . , m,
Definicin 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
verifica
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 se-

parable y las condiciones de contorno son apropiadas. Podemos resumir la situacin
propicia en el siguiente enunciado.
Teorema 3.1.4. Dado un problema de contorno de la forma

A x0 ; u + B x1 , . . . , xn1 ; ,..., u = 0, (3.3)
x0 x1 xn1
ai (u) = 0, i = 1, . . . , r , (3.4)
bj (u) = 0, j = 1, . . . , s, (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 verifiquen los sistemas de ecuaciones

Av = v,
(3.6)
ai (v) = 0, i = 1, . . . , r ,

Bw = w,
(3.7)
bj (w) = 0, j = 1, . . . , s,
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.6) y
(3.7) entonces u = vw satisface las de (3.4)-(3.5). 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 fluido estacionario movindose en el

plano XZ por encima de un fondo impenetrable a una profundidad z = h.
h
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
El potencial de velocidades del fluido u = u(x, z) est definido 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.
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 fluido 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 .
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
x

separacin de va- El potencial de velocidades del fluido u = u(x, z) satisface entonces el problema
riables y cambios de contorno
de coordenadas
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 = 0.
z=mx

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 x + uz z = 0,
uz |z =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.4. El MSV y las ecuaciones de la fsica matemtica

El MSV est ligado a la resolucin de problemas del tipo separacin de va-
riables en Fsica
N u

a N Lu = f , t (a, b), x Rn , Matemtica

t

i
u
= fi (x), i = 1, . . . N 1,
(3.8)
i

t

t=t0

lj (u) = gj (t, x), j = 1, . . . , s,

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 elec-
tromagnetismo, 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 construc-
cin 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 pro- ondas estaciona-
blema fsico descrito por (3.8), que son las funciones de la forma rias
e i t w(x), R,
aci
ecu n
que verifican la EDP de (3.8). Esta condicin determina la frecuencia de la onda, ya frecuencia
que al sustituir la funcin en la EDP se obtiene
a( i )N e i t w = e i t w,
simplificando se obtiene la relacin de dispersin relacin de dis-
persin
a( i )N = ,
que relaciona con . Solo en el caso en que existan soluciones reales de esta rela-
cin podemos hablar de ondas estacionarias en el fenmeno fsico correspondiente. Si
tomamos L = la separacin de variables nos conduce a la de Helmholtz ecuacin de
Helmholtz
w + w = 0.
Ecuacin que estudiaremos en detalle en breve.
Ejemplos

1. Consideremos un problema tpico con la ecuacin de ondas en 1 + 1 dimensiones

2 u = u
c tt xx , t (a, b), x (0, l),

u = f1 (x),

t=t0

ut
= f2 (x),
t=t0

u = g1 (t),

x=0

u = g2 (t).

x=l

El problema espectral asociado es
wxx = w, w(0) = 0, w(l) = 0.
Las soluciones son

wn (x) = sen kn x, kn = n, n = 1, 2, . . .
l
con n = k2n . La relacin de dispersin es
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 di-

mensiones

2
i ut = uxx , t (a, b), x (0, l),

2m

u = f1 (x),

t=t

0
u = g1 (t),

x=0

u = g2 (t).

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

wn (x) = sen kn x, kn = n, n 1,
l
donde
2 k2n
n = .
2m
La relacin de dispersin es
k2
= ,
2m
luego las ondas estacionarias del problema son
k2n
un (t, x) = e i n t sen kn x, n = .
2m
En las prximas tres secciones vamos a resolver la ecuacin de Helmholtz en dis-

tintas situaciones y a analizar diferentes aplicaciones. Estudiaremos el problema en
diferentes sistemas de coordenadas: cartesianas, polares, cilndricas y esfricas. Tam-
bin veremos distintas aplicaciones en fluidos y mecnica cuntica.
3.2] La ecuacin de Helmholtz en coordenadas cartesianas 129
3.2. 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 va-

riables ecuacin
u(x, y, z) = X(x)w(y, z), de Helmholtz en
cartesianas
tal que
2
d X
= X,

d x2
w 2
yy + wzz + k w = w,

donde = k21 C. Separando variables de nuevo, buscamos una solucin de la

segunda ecuacin de la forma
w(y, z) = Y (y)Z(z)
tal que
2
d Y = Y ,

d y2

d2 Z
+ (k2 k21 )Z = Z

d z2
donde = k22 C. Llamando k23 = k2 k21 k22 vemos que la solucin buscada tiene
la forma
uk1 ,k2 ,k3 (x, y, z) = Xk1 (x)Yk2 (y)Zk3 (z),
i k1 x + b e i k1 x ,

Xk1 (x) = a1 e 1

(3.9)

Yk2 (x) = a2 e i k2 y + b2 e i k2 y ,

Zk1 (x) = a3 ei k3 z + b3 e i k3 z .

con
k2 = k21 + k22 + k23 .
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

2m
u = Eu,

u
paredes = 0.

L3
L2 y
L1
x
2mE
La EDP es una ecuacin de Helmholtz con k2 = y la condicin de contorno se
2
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
n1
Xk1 (x) = A1 sen
x.
L1
Un procedimiento anlogo en las variables y, z nos permite concluir que
n n n
1 2 3

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

n2
1 n22 n23
k2 = 2 + +
L21 L22 L23
y se obtiene as la siguiente cuantificacin de la energa
2 2 n21 n22 n23

En1 ,n2 ,n3 = + + .
2m L21 L22 L23
Podemos considerar una versin del mismo problema

en
2 dos dimensiones haciendo
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
Imponemos ahora condiciones de contorno peridicas, esto es:
u(0, y, z) = u(L1 , y, z),

ux (0, y, z) = ux (L1 , y, z),
peridicas
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 e i ki Li
= 0;

1 ei ki Li (1 e i k L )
i i
esto es
(ei ki Li /2 e i ki Li /2 )2 = 0,
condicin que se satisface idnticamente cuando
2
ki = ni , ni Z, i = 1, 2, 3.
parlepidica
Li
Las energas posibles son
2 n2
1 n22 n23
En1 ,n2 ,n3 = 4 2 2
+ + .
2m L1 L22 L23
Para los valores hallados de ki , las ecuaciones para ai y bi se verifican trivialmente,

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

El fluido en un tubera, modelada como el conjunto [0, L] R [0, L ] R3 ,
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,

u (x, y, 0) = 0,

z

u (x, y, L ) = 0.
z
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,
i k1 L
a1 e b1 e i k1 L = 0.
La existencia de soluciones no triviales (a1 , b1 ) (0, 0) requiere

1 1
= 0,

i k1 L
e e i k1 L
esto es sen(2k1 L) = 0, luego

k1 = n, n Z.
L
Como a1 = b1 las autofunciones son

Xn (x) = cos nx.
L
Un anlisis similar en la variable z lleva a

k3 = n, n Z
L
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 k21 + k22 + k23 = k2 = 0 deducimos que

s
n2 n 2
k2 = i + ,
L2 L 2
y obtenemos las soluciones siguientes

s
n2 n 2

L2
+ 2 y
cos nx cos n z e L
, n, n Z.
L L
A continuacin ilustramos los campos de velocidades para L = L = correspondien-

tes 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 i 2 cos x cos z e 2y j cos x sen z e 2y k
p
2y
n = 1, n = 0 n = 1, n = 1
3 3
2 2
z z
1 1
ciln
d
ricas
0 0
0 0 0 0
1 1
y1 y 1
2 x 2 x
3 3
2 2
3.3. La ecuacin de Helmholtz en coordenadas
separacin de va- Cuando se usan coordenadas cilndricas

riables ecuacin
de Helmholtz en x = r cos ,
cilndricas y = r sen ,
z = z,
z
y
r

x
3.3] La ecuacin de Helmholtz en coordenadas cilndricas 135
la ecuacin de Hemholtz se escribe como sigue
1 1
ur r + 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

k2 2 z k2 2 z
Z (z) = Aei + Be i . (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 correspon-
diente ecuacin es
r 2 R + r R m2 R = 0
cuya solucin es

c1 ln r + c2 m = 0,
R=0,m (r ) = (3.12)
c1 r m + c2 r m m 0.
Cuando 0, realizando el cambio de variable = r , la correspondiente EDO se

reduce a
d2 R dR
2 2
+ + ( 2 m2 )R = 0,
d d
que es la conocida ecuacin de Bessel. Por tanto, la solucin es
R,m (r ) = EJm (r ) + F Nm (r ). (3.13)
3.3.1. Coordenadas polares
La ecuacin del Helmholtz en dos dimensiones espaciales, escrita coordenadas po-

lares es
1 1
ur r + 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 correspon-
dientes.
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 figura
Los estados estacionarios vienen descritos por las soluciones de cuadrado integrable
del siguiente problema de contorno de Dirichlet

2
u = Eu,

2M

u

paredes=0
que llamando
2 k2
E=
2M
escribimos como el siguiente problema de contorno para la ecuacin de Helmholtz en

coordenadas cilndricas

u + k2 u = 0,

ur =a = 0,

u
=0 = 0,

u=0 = 0,

uz=0 = 0,

uz=h = 0.

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 1
= 0,

i m0
e e i m0
que es equivalente a que

sen m0 = 0.
Por tanto

m=j , j N.
0
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,
que admite solucin no trivial si y solo si

p
sen k2 2 h = 0.
As pues
2
k2 = n2 + 2 , n N.
h2
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 singu-
laridades 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, }

=1
son los ceros1 de la funcin de Bessel Jm (x) llegamos a que

m=j , j N,
0
cm,
= , N.
a
Las energas admisibles son por tanto
(cj )2 i
2 h 2 n2 0 ,
Ej,,n = + , j, , n N
2M h2 a2
y las correspondientes autofunciones sern
r z
Jj cj sen j sen n .
0 0 , a 0 h
El problema de una partcula cuntica bidimensional encerrada en una cua tal como
indica la figura
tico
asin
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxx
0
x
1
Dado el comportamiento
s
2
Jm (x) cos x (2m + 1)
x 4
observamos para los ceros que

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

las energas y los estados estacionarios son
2
(c2j, )2 , J2j (c2j, r ) sen(2j), j, Z,
2M
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 fluido estacionario en una tubera de seccin

circular como la que muestra la figura
z
a
se encuentra caracterizado por el siguiente problema de contorno de Neumann para

la ecuacin de Laplace

u = 0,

u

= 0.
r r =a

Hemos tenido en cuenta que

1
u = ur ur + u u + uz uz
r
en donde el triedro ortonormal {ur , u , uz } se construye en trminos del triedro car-
tesiano {i, j, k} como sigue
ur = cos i + sen j, u = sen i + cos j, uz = k.
Ilustramos en el siguiente diagrama la geometra involucrada
uz u
ur
k z
j
i
r

3.4] La ecuacin de Helmholtz en coordenadas esfricas 141
Por tanto, la normal unitaria a la superficie de la tubera cilndrica es precisamente

n = ur de donde se deduce que la derivada normal en esa superficie 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 superficie 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.
entonces
Si denotamos por {cm, }N a los ceros2 de Jm

cm,
m, = , m Z+ , N.
a
Finalmente, las soluciones son

r
Cei m + De i m Aem, z + Bem, z .

Jm m,
a
tico
asin
3.4. La ecuacin de Helmholtz en coordenadas esfricas
separacin de va-
En coordenadas esfricas riables ecuacin
de Helmholtz en
x = r sen cos , esfricas

y = r sen sen ,

z = r cos ,

2
Dado el comportamiento
s
2
Jm (x) sen x (2m + 1)
x 4
observamos para los ceros que

cm, + (2m + 1) .
4
r
y
la ecuacin de Helmholtz se escribe
Resolucinecuacin
1 1
r (r u)r r + k2 r 2 u + (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 angular3 como sigue
r (r R) + k2 r 2 R = R,
1 1
(sen Y ) + Y = Y .
sen sen2
3.4.1. de la angular
La ecuacin angular escrita en la forma
sen (sen Y ) + Y sen2 + Y = 0,
bsrves m
O
es separable. As, la factorizacin
ecnicauntica.
Y (, ) = P ()(),
conduce a la pareja de EDOs siguientes
sen (sen P ) + sen2 P = m2 P ,

= m2 .
Por tanto,
() = Cei m .
3
que
1 1 L2 Y
(sen Y ) + Y = 2
sen sen
2
donde L es el operador momento angular en
aci
ecu n
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 h dPi m2
(1 2 ) + P = 0. (3.14)
d d 1 2
Esta es la de Legendre adjunta, que cuando m = 0 se reduce a la ecuacin ecuacin de Le-

de Legendre. Se comprueba que si P es solucin de la ecuacin de Legendre gendre adjunta
d h d Pi
(1 2 ) + P = 0, (3.15)
d d
entonces
d|m| P
P =: (1 2 )|m|/2 ,
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
d ( 2 1)
P := , = 0, 1, . . . .
d
Por tanto4 (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
d|m|+ ( 2 1)
P,|m| := (1 2 )|m|/2 , |m| , = 0, 1, . . . . (3.17)
d |m|+
ecuacin
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,m (, ) := c,m P,|m| (cos )ei m , = 0, 1, 2, . . . , m = 0, 1, . . . , ,
que son las funciones denominadas armnicos esfricos donde la constante de nor- armnicos esfri-
malizacin, siguiendo el convenio de Condon y Shortley, la tomaremos como cos
r
m 2+1 (|m|)! 1
(1) 4 (+|m|)! 2 ! , m 0,

c,m := r
2+1 (|m|)! 1
4 (+|m|)! 2 ! , m < 0.

4
La 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:
Z1
P,|m| ()P ,|m| () d = 0, si .
1

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 superficie de
revolucin r = r (, ) := Y,m (, ). Los armnicos esfricos constituyen adems

un conjunto ortonormal completo en
Z
f (, )2 d S < ,
n o
L2 (S 2 ) := f = f (, ) :

S2
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
Z Z 2 h Z i
(f , g) := f(, )g(, ) d S = f(, )g(, ) sen d d .
S2 0 0
As, tenemos la base ortonormal {Y,m } =0,1,... . Esto es forman un conjunto ortonor-
m=,...,
mal
(Y,m , Y ,m ) = mm
y toda funcin f (, ) de L2 (S 2 ) admite un desarrollo

X
f (, ) = c,m Y,m (, )
,m
donde
Z 2 h Z i
c,m = (Y,m , f ) = Y,m (, )f (, ) sen d d .
0 0
Ejemplos Vamos a considerar ahora algunos ejemplos sencillos de armnicos esf-

ricos 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,
1
Y0,0 (, ) = .
4
La grfica 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
d
P1,0 () =( 2 1) = 2,
d
d2
q q
2
P1,1 () = 1 2 ( 1) = 2 1 2.
d 2
Por ello,
s
3
Y1,0 (, ) = cos ,
4
s s
3 3
Y1,1 (, ) = sen ei , Y1,1 (, ) = sen e i .
8 8

A continuacin representamos las superficies r = Yl,m (, ) para estos arm-
nicos esfricos
=1

Y1,0 (, ) Y1,1 (, )
Para = 2 es fcil obtener
s
5
Y2,0 (, ) = (1 + 3 cos2 ),
16
s s
15 15
Y2,1 (, ) = sen cos ei , Y2,1 (, ) = sen cos e i ,
8 8
s s
15 2i 15
Y2,2 (, ) = 2
sen e , Y2,2 (, ) = sen2 e2 i .
32 32
Siendo las correspondientes grficas
=2

Y2,2 (, )

Y2,0 (, ) Y2,1 (, )
Por ltimo, como ejercicio dejamos el clculo de

s
1 385
Y5,3 (, ) = (1 + 9 cos2 ) sen3 e3 i
32
Cuya representacin es
3.4.2. Resolucinecuacin
de la
Si k = 0 la ecuacin radial
radial
Distinguimos dos casos segn k sea nulo o no.
r 2 R + 2r R ( + 1)R = 0
que es una EDO tipo Euler. Probando soluciones de la forma r inmediatamente

se llega a la solucin general que es de la forma
1
R(r ) = Ar + B . (3.18)
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)
L S := S + S + k2 S = 0.
r
Definimos ahora el operador diferencial T
1
T S := S
r
y calculamos el conmutador [L , T ] teniendo en cuenta que
d2
L u = ( + 2(l + 1)T + k2 )u.
dr 2
As, se obtiene
h d2 i
[L , T ] = , 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 verifica

L0 S0 = 0
entonces S := T S0 satisface
L S = 0.
As pues, nuestro problema se reduce a analizar la ecuacin
2
L0 S0 = S0 + S + k 2 S0 = 0
r 0
que podemos escribir como
(r S0 ) + k2 r S0 = 0.
La expresin general para S0 ser entonces
sen kr cos kr
S0 (r ) = A +B .
r r
Deducimos por ello que la solucin general S para L S = 0 es

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

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

1 d sen r 1 d cos r
j (r ) := (r ) , n (r ) := (r ) ,
r dr r r dr r
y re-definiendo 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 =1 =2
sen r sen r cos r sen r cos r sen r
j (r ) 3 3 2
r r2 r r3 r r
cos r cos r sen r cos r sen r cos r
n (r ) 2 3 3 3 2 +
esfricas
r r r r r r
El comportamiento de estas funciones en el origen5 es
r
j (r ) ,
(2 + 1)!!
r 0. (3.20)
(2 1)!!
n (x) ,
r +1
A continuacin mostramos la grfica de las funciones esfricas de Bessel y Neu-

mann para = 0, 1, 2, 3
5
Las funciones de Bessel y Neumann poseen el siguiente comportamiento en el infinito
1
j (r ) = cos r ( + 1)
r 2 r .

n (r ) = sen r ( + 1)
r 2
1
j0
j1
j2
j3
esfrica
0 10 r
n0
n1
n2
0,4 n3
3.4.3. Partcula cuntica en una caja

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 pro-
blema de contorno siguiente:
2 k2

u + k2 u = 0, E= ,

2M

u|
r =a = 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 }
n=1 son los ceros, que forman una secuencia creciente no acotada, de la
funcin esfrica de Bessel j los valores admisibles de la energa son
2
2 c,n
E,n =
2M a2
y los correspondientes estados estacionarios
c
,n

u,m,n (r , , ) = j r Y,m (, ).
a
2
La densidad de probabilidad u,m,n no depende de la variable . Por tanto, po-

demos 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 aproxi-
madamente
2 2 2
9,869604404, 20,190728557, 33,217461915.
2Ma2 2Ma2 2Ma2
El nivel fundamental es simple con autofuncin u001 y la probabilidad en uno de los

planos que contienen al eje z se representa como
= 0, m = 0, n = 1
Para el primer excitado tenemos degeneracin 3, estos es el subespacio propio es tri-

dimensional y est generado por {u1m1 }m=0,1 , para m = 0 y para m = 1 represen-
tamos 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 fluido 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
1 1
u = ur ur + u u + u u
r r sen
3.5] El mtodo de desarrollo en autofunciones (MDA) 153
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
u

ur
u
k
r
j
i
Por tanto, la normal unitaria a la superficie 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 (, ).
inhom
ogneos
La condicin de contorno implica que = 0 y por ello el potencial es constante. Esto
quiere decir que el fluido no se mueve.
3.5. El mtodo de desarrollo en autofunciones (MDA)

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

El MDA puede aplicarse a problemas inhomogneos

Au + Bu = f , x ,

ai (u) = gi , i = 1, . . . , r

bj (u) = hj , j = 1, . . . , s.

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 verificar:
1. La EDP es de la forma

A x0 ; u + B x1 , . . . , xn1 ; ,..., u = f (x). (3.21)
x0 x1 xn1
2. El sistema de condiciones de contorno y/o iniciales se divide en dos sub-

sistemas. 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), j = 1, . . . , s, (3.23)
aparecen operadores bj que operan solo sobre las variables

(x1 , . . . , xn1 ).
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
X
f (x) = fm (x0 )wm (x),
m
X
gi (x) = cim wm (x), i = 1, . . . , r ,
m
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 desa-
rrollo en autofun- Supuesto que se cumplen estas condiciones el MDA se aplica mediante el siguiente
ciones proceso:
1. Se busca una solucin del problema en forma de un desarrollo en serie en auto-
funciones
X
u(x) = vm (x0 )wm (x). (3.25)
m
Las incgnitas son entonces los coeficientes vm (x0 ) de la serie. Como las funcio-
nes wm forman un conjunto ortogonal, se verifica
(wm , u) = vm (x0 ) kwm k2 , (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 verifique
(wm , Au) = A(wm , u) = kwm k2 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
kwm k2 Avm + (wm , Bu) = kwm k2 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

Z X
Im (h) = Cmj hj (x) d S,
S(0 )
j
con Cmj siendo operadores actuando sobre los datos hj que habr que determinar
en cada caso. Por otro lado se verifica que
(Bwm , u) = (m wm , u) = m (wm , u) = m kwm k2 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
Im (h)
Avm + m vm + = fm . (3.30)
kwm k2
Obtenemos as una ecuacin diferencial ordinaria para cada coeficiente vm (x0 ).
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/iniciales por cada funcin wm
(wm , ai (u)) = (wm , gi ).
Como los operadores ai solo operan sobre la variable x0 , mientras que la ope-
racin de producto escalar solo integra sobre las variables (x1 , . . . , xn1 ), bajo
condiciones apropiadas de regularidad se verificar
(wm , ai (u)) = ai ((wm , u)) = kwm k2 ai (vm ). (3.31)
Adems, dado que X

gi (x) = cim wm (x), (3.32)
m
es claro que
(wm , gi ) = kwm k2 cim .
Por tanto se obtiene
ai (vm ) = cim (3.33)
que son junto con la ecuacin (3.30) las condiciones para determinar los coefi-
cientes vm del desarrollo (3.25) buscado.
4. Una simplificacin 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 coeficientes buscados sern entonces las soluciones de esta ecuacin dife-
rencial 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 identificando coeficientes en los correspondientes desarrollos en autofun-
ciones 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 com-
binaciones 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 sustitu-
ye en (3.21) y (3.22) y se identifican los coeficientes en los desarrollos obtenidos
para obtener ecuaciones anlogas a (3.34) y (3.33).
olucin
ev
5. Las hiptesis sobre la existencia de desarrollos de las funciones f y gi en auto-

funciones 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 Una de las situaciones ms frecuentes en que

se utiliza el MDA es en problemas del tipo siguiente mtodo de desa-
rrollo en autofun-
ciones en ecua-
1. La EDP es una ecuacin de evolucin de la forma
ciones de evolu-
r u cin
a + B x 1 , . . . , x n1 ; , . . . , u = f (x).
t r x1 xn1
con a C.
2. La solucin debe satisfacer r condiciones iniciales
iu
(t0 , x) = gi (x), i = 1, . . . , r .
t i
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

r u
Au = a ,
t r
y las condiciones ai (u) = gi son
iu
(t0 , x) = gi (x), i = 1, . . . , r .
t i
3.5.2. Ejemplos en dos dimensiones

1. Sea el siguiente problema con la ecuacin de Laplace sobre un rectngulo
2 2

u + u = 0, 0 < x < a, 0 < y < b,

x 2 y 2
(3.35)
u(0, y) = 0, u(a, y) = 0,

x

u(x, 0) = sen , u(x, b) = 0.

a
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

xx = w,
w

w|x=0 = 0,

w|x=a = 0.

tiene como solucin
n2 2 n x
n = , wn (x) = sen , n = 1, 2, . . . .
a2 a
Aplicando el MDA desarrollamos la solucin en la forma

X n x
u(x, y) = vn (y) sen
n=1
a
x
como en las inhomogeneidades slo aparece el trmino sen , buscamos nues-
a
tra solucin en la forma
x
u(x, y) = v(y) sen .
a
La funcin v est determinada por
2

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 a + Be a = 0.
La solucin de este sistema es
b b
e a e a
A= b
, B= b
2 senh a 2 senh a
y as la solucin ser

senh a (b y)
u(x, y) = sen x.
senh a a
La grfica para esta distribucin de temperatura en una placa con a = , b = 2

es
200
0
0 0
y x
2
5
2. Consideramos ahora un problema de condiciones iniciales y de contorno para la

ecuacin de Schrdinger
2

i u = uxx + V (x)u, x (a, b), t > 0,

t
2m

u

t=0

= g(x),

u = 0,
x=a

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,
2
Hu := uxx + V (x)u
2m
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 = 0,
x=a
w
x=b = 0.
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

X
u(t, x) = vn (t)wn (x)
n=1
que cuando se introducen en la ecuacin de Schrdinger

X d vn
i (t) + n vn (t) wn (x) = 0,
n=1
dt
conducen a
d vn
i (t) + n vn (t) = 0;
dt
cuya solucin es
n
vn (t) = an e i t .
Si ahora asumimos que la condicin inicial posee el desarrollo

X
g(x) = cn wn (x),
n=1
concluimos que an = cn y por ello la solucin a nuestro problema es

n
c n e i t
X
u(t, x) = wn (x).
n=1
Vamos a concretar a tres situaciones:
Estudiemos ahora

2
i u = uxx , x (0, l), t > 0,

t

2m

u t=0 = 2 sen x sen 3 x,

l l

u = 0,
x=0

u = 0,
x=l

Esto es, una partcula cuntica libre confinada en el segmento (0, l). El pro-
blema de autovalores es el ya bien conocido
2
wxx = w,
2m
w = 0,
x=0
w = 0,
x=l
con autovalores
2 n2 2
n = , n = 1, 2, . . .
2m l2
y correspondientes autofunciones dadas por
n
wn (x) = sen x , n = 1, 2, . . . .
l
Por tanto, la condicin inicial ya est desarrollada en autofunciones y as
obtenemos para el estado de la partcula
2 2
i t i 9 t
u(t, x) = 2 sen x e 2m l2 sen 3 x e 2m l2
l l
A continuacin presentamos la grfica espacio-temporal para la densidad
de probabilidad
|u|2
1
0
0 0
x t
/2
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
2

i u = uxx , x (0, l), t > 0,

t
2m

2 6

u t=0 = 2 i 2 cos x + 7 sen x,

l l

u
x=0 = u x=l ,

ux = ux .
x=0 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)
2 4n2 2
n = , n = 0, 1, 2, . . .
2m l2
y correspondientes autofunciones dadas por
n
(+) n2 () n2 o
w0 (x) = 1, wn (x) = cos x, wn (x) = sen x .
l l n=1,2,...
(+) ()
En la condicin inicial intervienen las autofunciones w0 , w1 y w3 . Por
tanto,
2 4 2 6 36 2
i i
u(t, x) = 2 i 2 cos x e 2m l2 + 7 sen x e 2m l2 .
l l
162
Consideramos ahora el oscilador
ut=0 = g(x),
1
iut = 2m uxx + 2 kx 2 u,
icocu

arm
n
Mtodos de separacin de variables y desarrollo en autofunciones
o
tic
n
en una dimensin. El
problema de condiciones iniciales y de contorno que se nos plantea es
x R, t > 0,
[Captulo 3

u = 0,
x

u

x+ = 0,

que lleva al siguiente problema de autovalores
2 1
wxx + kx 2 w = w, x R, t > 0,
2m 2

w = 0,
x
w
x+ = 0.
m
4 2m
Introduciendo K := 2
k, x := Kx y := 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 infinito nos lleva a los autovalores
n = 2n + 1, n = 0, 1, 2, . . .
con correspondientes autofunciones
x 2
wn (x) = Hn (x)e 2 , n = 0, 1, 2, . . . .
Notemos que estamos usando los polinomios de Hermite Hn . Estas autofun-

ciones forman una base ortogonal de L2 (R). Por tanto,
s
k
n = (2n + 1), n = 0, 1, 2, . . .
2m
y
s

mk

mk 2
wn (x) = Hn x e 2 x , n = 0, 1, 2, . . . .

Luego si

X
g(x) = cn wn (x)
n=0
la solucin es

s

mk
q
k mk 2
c n e i 2m (2n+1)t x e 2 x .
X
u(t, x) = Hn
n=0

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
= l2 x 3 l x 2 + x,

u

t=0

ux=0 = ux=l ,

u
=u .

x x=0 x x=l
Nos detenemos un momento para discutir la consistencia entre la condicin ini-

cial 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 fija 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
x=0 = w x=l ,

w x
x=0 = wx x=l .

que como sabemos tiene como autovalores

2
n = n2 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
X
g(x) =
nZ
con
1 l
Z
cn = g(x)e i nx d x.
l 0
Como nuestra g es un polinomio, usaremos las integrales
1

m

i n l mIm1,n n 0,

Zl

m i nx
Im,n := x e dx =
0 lm+1
n = 0.

m+1
En la primera identidad se ha utilizado el mtodo de integracin por partes.
Fcilmente se concluye que
I0,n = 0
Ello nos lleva a que 2
l
n = 0,

2

I1,n =
l
i n 0,

n
y esto a su vez a
3
l
n = 0,

3

I2,n =
l2
2l
i + n 0,

n n2 2
y por ltimo a
4
l
n = 0,

4

I3,n =
3 2
i l + 3l i 6l

n 0.

n n2 2 n3 3
Por tanto, la serie de Fourier de nuestra condicin inicial6 es
2 3 3 2 1 2 l4 3 l3 l2
x x + x = +
l2 l l l"2 4 l 3 2 #
X 2 l3 3l2 6l 3 l2 2l l
i nx
+ i + i i + + i e
n0
l2 n n2 2 n3 3 l n n2 2 n

24 X 1
= sen nx.
l2 3 n=1 n3
Buscamos entonces una solucin de la forma

X
u(t, x) = vn (t) sen nx
n=1
que implica

vn = n vn ,
24 1
vn (0) =
l2 3 n3
y por ello
24 1 n2 2 t
vn (t) = e .
uu
l2 3 n3
Finalmente la solucin es
csi
fn ln ci
ofn n

24 X 1 n2 2 t
u(t, x) = 2 3 e sen nx.
l n=1 n3
Dado el rpido decrecimiento de los coeficientes vn en n y t la representacin

grfica 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
6
La g (x) es una impar con respecto al punto x = l/2, este es el motivo de que
aparezcan senos.
0.1
0
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
= 0,
t=0

u
x=1 = u x=1 ,

ux x=1 = ux x=1 .

El problema de autovalores es como en los casos anteriores. Pasamos a desarro-

llar x(x 2 1) en serie de Fourier de exponenciales
cn ei n x
X
x(x 2 1) =
nZ
con
Z1
1
cn = x(x 2 1)e i n x d x
2 1
que tras reiteradas integraciones por partes nos conduce a

0
n = 0,
cn =
(1)n 6 i

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

X
u(t, x) = vn (t) sen n x
nN
lleva a

vn = n2 2 vn ,
n
vn (0) = 12 (1) ,

n3 3
v (0) = 0.

n
Por ello
(1)n
vn (t) = 12 cos n t
n3 3
y la solucin es

X (1)n
u(t, x) = 12 cos n t sen n x.
n=1
n3 3
Observando que podemos escribir

1
cos n t sen n x = [sen n (x + t) + sen n (x t)]
2
nos damos cuenta de que

1h X (1)n X (1)n i
u(t, x) = 12 sen n (x + t) + 12 sen n (x t) .
2 n=1
n3 3 n=1
n3 3
Por tanto, podemos escribir

gper (x + t) + gper (x t)
u(t, x) =
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
0,4
0,2
0,2
2
1
1
0t
0
x 1
1 2
3.5]
3.5.3. El
tod
m El mtodo de desarrollo en autofunciones (MDA)
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 trans-
167
formadas, 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
t=0 = f (x).
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 orto-
gonal generalizada y la propuesta del MDA es buscar una solucin de la forma
Z
u(t, x) = v(k, t)ei kx d k.
R
Introduciendo esta expresin en la ecuacin diferencial se obtiene

Z h i
vt (k, t) + a2 k2 v(k, t) ei kx d k = 0,
R
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

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

nemos Z
f (x) = c(k)ei kx d k.
R
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
1
Z
c(k) = f (x)e i kx d x.
2 R
Si llevamos esta frmula, renombrando x x , a la expresin de u(t, x), se

obtiene
1
Z Z
2 2
u(t, x) = f (x )ei k(xx )a k t d k d x .
2 R R
Podemos adems efectuar la integracin respecto de k utilizando la identidad
1 1 (xx )2
Z
)a2 k2 t
ei k(xx dk = e 4a2 t ,
2 R 2a t
que se deduce inmediatamente, renombrando variables y parmetros, de la trans-
formada de Fourier de la funcin gaussiana
2
1 1
Z
2 x2 k
e i kx ea dx = e 4a2 .
2 R 2a
De esta manera encontramos la siguiente frmula explcita de la solucin del

problema
2
1
Z
(xx )
u(t, x) = f (x )e 4a2 t d x (3.36)
2a t R
2. Es posible generalizar el resultado anterior al caso multidimensional

ut = a2 u, t > 0, x = (x1 , . . . , xn ) Rn
(3.37)
u
t=0 = f (x), .
En este ejemplo el problema de autovalores que hay que resolver para aplicar el
MDA es
w = w, x Rn .
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
Z n
v(k, t)ei kx dn k,
X
u(t, x) = k x := kj x j .
Rn
j=1
Introduciendo esta expresin en la ecuacin diferencial se obtiene

Z h i
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

Z
2 2
u(t, x) = c(k)ei kxa |k| t dn k.
Rn
Haciendo t = 0 obtenemos
Z
f (x) = c(k)ei kx dn k.
Rn
Por tanto efectuando la transformada de Fourier inversa
1
Z
c(k) = f (x)e i kx dn x.
(2 )n Rn
As la expresin de u(t, x) es
1
Z Z
)a2 |k|2 t
u(t, x) = f (x )ei k(xx dn k dn x .
(2 )n Rn Rn
La integracin mltiple respecto de k = (k1 , . . . , kn ) se reduce a un producto de

n integraciones simples dado que
n
1 1
Z Z
)a2 |k|2 t i k (x x )a2 k2j t
ei k(xx dn k =
Y
e j j j d kj ,
(2 )n Rn
j=1
2 R
luego utilizando la identidad
(xj x )2
1 1 j
Z
i kj (xj xj )a2 k2j t
e d kj = e 4a2 t ,
2 R 2a t
encontramos la siguiente frmula explcita de la solucin del problema
1 |xx |2
Z

u(t, x) = f (x )e 4a2 t dn x (3.38)
(2a t)n Rn
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 > 0, x = (x1 , . . . , xn ) Rn
t 2m
(3.39)
u = f (x).
t=0
Obsrvese que este problema de condiciones iniciales para la ecuacin de Schr-

dinger se obtiene de (3.37) simplemente tomando

a2 = i .
2m
Por tanto haciendo esa identificacin del parmetro a en (3.8) deducimos la si-
guiente expresin de la solucin de (3.39)
n
m 2 m|xx |2
Z
u(t, x) = f (x )ei 2 t dn x (3.40)
2 i t Rn
4. Consideremos ahora el siguiente problema de condiciones iniciales para la ecua-

cin de ondas

utt = uxx , t > 0, x R

u = f (x),
t=0
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

Z
u(t, x) = v(k, t)ei kx d k.
R
Introduciendo esta expresin en la ecuacin de ondas obtenemos

Z h i
vtt (k, t) + k2 v(k, t) ei kx d k = 0,
R
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

Z
A(k)ei k(x+t) + B(k)ei k(xt) d k,

u(t, x) =
R
luego la correspondiente derivada temporal ser

Z
i k A(k)ei k(x+t) B(k)ei k(xt) d k.

ut (t, x) =
R
As, para t = 0 obtenemos

Z
A(k) + B(k) ei kx d k,

u(0, x) =
ZR
i k A(k) B(k) ei kx d k.

ut (0, x) =
R
Comparando con la transformada de Fourier de los datos iniciales {f , g}

Z
f (x) = f(k)ei kx d k,
R
Z
g(x) = g(k)ei kx d k,
R
en donde los coeficientes seran

1
Z

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

1h 1 i 1h 1 i
A(k) = f (k) + g(k) , B(k) = f (k) g(k) ,
2 ik 2 ik
Por tanto, la solucin del problema de Cauchy se escribe como
1h
Z Z i
u(t, x) =
f (k)e i k(x+t)
dk+ f(k)ei k(xt) d k
2 R R
1h 1 i k(x+t) 1
Z Z i
+ g(k) e dk g(k) ei k(xt) d k .
2 R ik R ik
El primer corchete es
1
[f (x + t) + f (x t)]
la
2
en tanto que el segundo es un poco ms complicado. Para analizarlo utilizamos
fu
la siguiente relacin
rm
Zx Zx
1 1 g(k)
Z Z Z
g(k)ei kx d k = g(k) + ei kx d x d k = dk+ g(x) d x,
R ik R ik 0 R ik 0
(3.41)
para as obtener el siguiente valor para el segundo corchete
Z x+t
1
g(x) d x.
2 xt
Reuniendo esta informacin recuperamos la de dAlambert para la so-

lucin del problema de condiciones iniciales de la ecuacin de ondas unidimen-
sional
1 1 x+t
Z
u(t, x) = [f (x + t) + f (x t)] + g(x) d x.
2 2 xt
frmula de
dAlambert
5. Por ltimo, consideramos el siguiente problema de condiciones iniciales y de
contorno para la ecuacin del calor en una placa infinita de ancho L

ut = uxx + uyy ,

sen y

x [1, 1],

L

u| = g(x, y) :=

t=0

0 x 6 [1, 1],

u|y=0 = 0,

u|y=L = 0.

(wxx + wyy ) = w, = k21 + k22

w|y=0 = 0,
w|y=L = 0.
Que, a su vez, es un problema de contorno homogneo, para la ecuacin de Helm-

holtz bidimensional, en la que podemos separar variables en coordenadas carte-
sianas. 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.
Soluciones no nulas de este sistema existen siempre que

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

n 2 o
k2 + n2 2
L kR,nN
y las correspondientes autofunciones

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

riable x no tenemos condiciones de contorno. El autovalor asociado k2 lo hemos
escogido real.
La solucin se expresar segn el MDA como
Z

vn (k, t)ei kx sen n
X
u(t, x, y) = y d k.
n=1 R
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
(k2 +n2 )t
vn (k, t) = an e L2 .
Para saber que autofunciones intervienen en este desarrollo analizamos los de-
sarrollos 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

Z
g(x, y) = c(k)ei kx d k sen y
R L
en donde Z1
1 sen k
c(k) = e i kx d x = .
2 1 k
Esto es,
sen k i kx
Z
g(x, y) = e d k sen y.
R k L
Por ello, la solucin es
2
sen k i kx
Z
2 t 2t
u(t, x, y) = e L sen y ek e d k.
L R k
Evaluamos ahora la integral
sen k i kx
Z
2t
I(x, t) := ek e dk
R k
que escribimos como
1 2 1
Z
I(x, t) = ek t (ei k(x+1) ei k(x1) ) = J(x + 1, t) J(x 1, t)
2 R ik
donde
1 1 i kx
Z
2t
J(x, t) = ek e d k.
2 R ik
Usamos ahora (3.41) para escribir
2 Zx h
1 ek t 1
Z Z
2
i
J(x, t) = dk+ ek t ei kx d k d x.
2 R ik 0 2 R
Como sabemos del anterior captulo la transformada Fourier de una gaussiana

es otra gaussiana. La funcin error
Zx
2 2
erf(x) := e d
0
permite escribir finalmente
1h x + 1 x 1 i
I(x, t) = erf erf .
2 2 t 2 t
1h x + 1 x 1 i 2
t
u(t, x, y) = erf erf e L2 sen y.
2 2 t 2 t L
Debemos observar que si x > 0 tenemos
1 2
1
erf(x) = 1 + ex 1 O 2 , x
x x
y que
erf(x) = erf(x).
elctrosticam
ecn
Por tanto, cuando t 0+ la funcin
ica
1h x + 1 x 1 i
erf erf
2 2 t 2 t
tiende 0 si x 6 [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. Problemas de contorno en y de flui-

dos
mtodo de desa- En electrosttica el potencial elctrico satisface el problema de contorno

rrollo en autofun-
ciones en proble- u = ,
mas de contorno
ai (u) = gi , i = 1, . . . , m.
en electrosttica y
mecnica de flui-
dos Aqu representa la distribucin de carga. Por otro lado, en mecnica de fluidos per-
fectos 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
y

u = ,

u

= g.

n S()

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 .
3.6] Problemas de contorno en electrosttica y mecnica de fluidos 175
R3
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S()

Problema exterior: es un conjunto no acotado y su complementario lo es.
R3
S1 ()
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

S2 ()
xxxxxxxxxxxxxxxxxxxxxxxxxxxx
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
S3 ()
Debemos recordar el teorema de Gauss de la divergencia que nos asegura que

Z Z
A d3 x = A d S.
S()
Aplicndolo a A = uu, como
(uu) = u u + uu
obtenemos la identidad de Green
u
Z Z
2 3
(|u| + uu) d x = u d S.
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

Z
|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. El problema de Dirichlet interior admite a lo sumo una so-

lucin.
En el problema de Neumann interior dos soluciones distintas se diferencian

en una constante.
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 con-
tinuacin. 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 : kxk < 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 : kxk = R} es la esfera de radio R centrada en origen. En la
siguiente figura ilustra la geometra de este conjunto
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
R3
S1 ()
R
S2 ()
S3 ()
Aplicando la identidad de Green a u en R obtenemos
u
Z Z
|u|2 d3 x = u dS
R S(0,R) n
y recordando que la derivada normal sobre la esfera es ur , nos lleva a

Z Z
2 3
|u| d x = uur d S.
R S(0,R)
La integral de superficie la podemos acotar como sigue

Z

uur d S 4 R 2 max |uur | ,

S(0,R) S(0,R)
y suponiendo que
1
u=O , r ,
r
y que por tanto ur = O(r 2 ), lleva a
1
Z Z
kuk2 d3 x = lm kuk2 d3 x C lm = 0.
R R R R
esfrica
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 infinito las soluciones satisfagan la condicin
1
u f (r , , ) + O , r .
r
3.6.2. El MDA en problemas de electrosttica y mecnica de fluidos con si-

metra
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 fluidos
u = 0,
ai (u) = gi , i = 1, . . . , n
donde u es el potencial de velocidades del fluido, 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 ,
1 1
Bu := (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 correspon-
diente 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
X
r 2 (r , , ) = lm Yl,m (, ),
l,m
X
gi (, ) = cilm Yl,m
l,m
Por tanto, el MDA busca soluciones en la forma

X
u(r , , ) = vlm Yl,m (, ).
elctrico
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
Blm
vlm (r ) = Al,m r l + l+1 .
r
3.6.3. Esfera conductora cargada en equilibrio electrosttico en un campo

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 figura
ilustra esta situacin
E0 k
a
y
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

X 1
u(r , , ) = A,m r + B,m Y,m (, ).
r +1
,m
La condicin de contorno en r = a se puede escribir

p
u|r =a = u0 4 Y0,0 ,
en tanto que, como z = r cos , la condicin en el infinito es

s
4 p 1
u E0 r Y1,0 (, ) + V0 4 Y0,0 + O .
3 r
As pues, podemos restringirnos a un desarrollo
1 1
u(r , , ) = A0,0 + B0,0 Y0,0 (, ) + A1,0 r + B1,0 2 Y1,0 (, ).
r r
Imponemos ahora las condiciones de contorno para obtener

1

A0,0 = 4 V0 ,
A0,0 + B0,0 = 4 u0 ,

a
s
1 4
A1,0 a + B1,0 = 0, A1,0 = E0 .

a2 3
Por tanto,
(u0 V0 )a a3
u(r , , ) = V0 + E0 r 2 cos . (3.42)
r r
El potencial dado en (3.42) se compone de un trmino monopolar
(u0 V0 )a
r
y un trmino dipolar
a3
E0 r 2 cos .
r
El momento monopolar es 4 0 (u0 V0 )a y la carga neta es Q = (u0 V0 )a. Por ello,
el potencial es
Q a3
u(r , , ) = V0 + E0 r 2 cos .
r r
El campo elctrico E = u
hQ a3 i a3
E := + 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 superficie de sta es
hQ i
() = 0 Er = 0 + 3E0 cos .
a2
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
superficies equipotenciales, ya que all la superficie 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
Q
= arc cos .
3a2 E0
Por tanto si
Q

< 1,
3a2 E
0
el campo elctrico slo se anula en un crculo sobre la superficie 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 E > 1,

0
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
Q
P (r ) := r 3 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

Q
3r 2 = 0.
E0
Los extremos sern reales s y slo s
Q
0,
E0
respectivamente. En este caso tendremos un mnimo y un mximo localizados
en s
Q

r =

.
3E
0
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 tiene
P (r ) > 0. Por ello, la condicin para que existan dos races reales es
P (r+ ) = 0,
y para que haya tres races reales
P (r+ ) < 0,
evaluamos el valor de P en r+ , obteniendo

Q 3/2

P (r+ ) = 2 3E
+ 2a3 .
0
As, tendremos dos races reales (una negativa y otra positiva (P (0) > 0)) si
Q

3E a2 = 1

0
y tres races reales (una negativa y dos positivas (P (0) > 0))si
Q

3E a2 > 1.

0
Ocurre que si
Q

3E a2 = 1

0
el valor r = a es raz. Por otro lado si
Q

3E a2 > 1 r+ > a

0
y existe alguna raz mayor que a, y como

Q

P (a) = 3a3 1
3E a2 < 0

0
slo existe una mayor que a.

Resumiendo, para r > a el campo elctrico slo se anula en punto si y slo si
Q

3E a2 > 1,

0
este punto yace sobre el eje z.
La estructura de las curvas equipotenciales cambia segn
Q

3E a2 1.

0
A continuacin mostramos los diferentes casos
3.6.4.
0

3E a2 < 1

Q

0

3E a2 = 1

Fluido en movimiento uniforme deformado por una bola

Q

0

esfrica
3E a2 > 1
Consideremos ahora un fluido en movimiento uniforme en el cual sumergimos una

esfera slida de radio a figura
v0 k
a
y
v0 k
El potencial de velocidades debe satisfacer el siguiente problema de contorno
u = 0,
ur |r =a = 0,
1
u v0 z + O , r .
r
3.7] Cuestiones, problemas y ejercicios 183
Como en el problema anterior buscamos una solucin de la forma

X 1
u(r , , ) = A,m r + B,m Y,m (, ).
r +1
,m
Adems las condiciones de contorno en r = a y en el infinito se puede escribir
ur |r =a = 0,
s
4 1
u v0 r Y1,0 (, ) + O , r .
3 r
As pues, nos restringimos a soluciones de la forma

1
u(r , , ) = A1,0 r + B1,0 2 Y1,0 (, ).
r
Imponiendo las condiciones de contorno
s
4
A1,0 = v0 ,

3

A 2B 1
1,0 3 = 0.

1,0
a
Por ello, s
1 4
B1,0 = v0 a3 .
2 3
As
a3
u(r , , ) = v0 r + cos
2r 2
y la velocidad es
h a3 i h a3 i
v = v0 1 3 cos ur 1 + sen u .
r 2r 3
3.7. Cuestiones, problemas y ejercicios
3.7.1. Cuestiones
1. Determinar cual de las opciones siguientes corresponde a las ondas estaciona-
rias, 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
184
Resolucin
Mtodos de separacin de variables y desarrollo en autofunciones [Captulo 3
Las ondas estacionarias se obtienen al plantear la separacin de

variables u(t, r , , ) = e i t w(r , , ), donde se satisfacen las siguientes re-
lacin 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 regula-

res, en coordenadas cilndricas, u(r , , z) del problema de Neumann siguiente

u = 0, r < a,

Resolucin
u
= 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
(a) = N (a)
c) (Jm (r ) Nm (r )) cos(m) cosh(z) con m Z, Jm m
d) Jm (r ) cos(m)ez con m Z, Jm (a) = 0

e) Nm (r )eim ez con m Z, Nm (a) = 0
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) satisfice 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,

u
= a.

r r =1

a) 0
b) 1/2
c) 1/3
d) 1/4
e) 1
Ayuda: Usar el teorema de la divergencia.
3.7]
Resolucin Cuestiones, problemas y ejercicios
Aplicando el teorema de la divergencia en la bola B(0, 1), tenemos

Z
B(0,1)
3
ud x =
como u = 1 y ur dS = udS concluimos

Z
udS
S(0,1)
185
4
= a4
3
Resolucin
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| .
Utilizando la transformada de Fourier, a modo de MDA, obtenemos

Z
2
u(t, x) = c(k) ek t ei kx d k.
R
Para satisfacer la condicin inicial debemos hallar la transformada de Fourier de
g(x) := x e|x| .
As,
Z0 Z
1 h i
c(k) =F(g) = i Dk F(e|x| ) = i Dk e(1i k)x d x + e(1i k)x d x
2 0
1 1 1
= i Dk + .
2 1ik 1+ik
Esto es,
1 2 2ik
c(k) = i Dk 2
= .
2 1 + k (1 + k2 )2
Por tanto, la solucin buscada es
2i k
Z
2
u(t, x) = ek t ei kx d k.
R (1 + k2 )2
Un resultado ms explcito para la solucin se obtiene aplicando la frmula (3.36)

a nuestro problema, el resultado es
1 (x x)2
Z

u(t, x) = x e|x | e 4t d x.
2 t R
Para efectuar esta integral procedemos como sigue. Observemos que u(t, x) =
2
R (x x)
F (t, x)F (t, x) donde F (t, x) := 21 t 0 x ex 4t d x . Teniendo en cuen-
(x x)2 (x x)2
ta que 2t e 4t = (x x) e 4t podemos, realizando una integracin
x
x2
por partes, escribir F (t, x) = 1 t x2 t G(t, x) + t e 4t , donde G(t, x) :=
h i
R x (x x)2
0 e
4t d x . Por ltimo, si en la integral que define a G realizamos el cam-
x x R s 2 d s. La
bio de variable s = 2t + t llegamos a G(t, x) = 2 t ex+t x2t e
Rx 2 2 t
funcin error erf x := 2 0 es d s permite expresar G(t, x) = t ex+t 1 +
x2t

erf 2t . Por tanto,
x x 2t x x + 2t
u(t, x) = t ex+t 1 + erf + + t ex+t 1 erf .
2 2 t 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
t
0
x
10 0
Resolucin
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,

ut |t=0 = |x|,

u|x=1 = u|x=1 ,

ux |x=1 = ux |x=1 .

Para aplicar el MDA debemos considerar el siguiente problema de

autovalores
xx = w, x [1, 1]
w

w|x=1 = w|x=1 ,

wx |x=1 = wx |x=1 .

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)
Pn=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,

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

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 coeficientes sern
R1
a0 = 2 0 x d x = 1,

R1 0, si n es par.
an = 2 0 x cos n x d x = 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}
n=0 , sen x, y por tanto los nicos coeficientes no nulos son v0 , {v2n+1 }n=0 , v1 .
Por todo ello,
1

A 0 = v 0 (0) = 0, B0 = v0 (0) = 2 ,

4
A2n+1 = v2n+1 (0) = 0, (2n + 1) B2n+1 = v2n+1 (0) = 2 (2n+1)2 ,

A1 = v1 (0) = 1, B1 = v1 = 0,

con n = 0, 1, . . . . Lo que conduce a

t 4 X 1
u(t, x) = 3 sen((2n + 1) t) cos((2n + 1) x) + cos( t) sen( x).
2 n=0 (2n + 1)3
ste es el resultado pedido.

Podemos entender mejor este resultado como sigue. Utilizando las frmulas tri-
gonomtricas para los productos obtenemos
1
u(t, x) =(sen( (x t)) + sen( (x + t)))
2

1h 4 X 1 i
+ t 3 (sen((2n + 1) (x + t)) sen((2n + 1) (x t)) .
2 n=0 (2n + 1)3
1 4 P 1
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
x 4 P 1
2 3 sen((2n + 1) x) que se puede demostrar converge puntual-
Rn=0
x
(2n+1)3
mente a 0 gper (x) d s. As la serie de Fourier hallada para u(t, x) r corresponde
a la siguiente frmula de dAlambert
Z x+t
fper (x + t) + fper (x t) 1
u(t, x) = + gper (s) d s.
2 2 xt
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)
Resolucin
0
x 5
1 t
0
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 .
Como sabemos la resolucin por separacin de variables en coor-
solucin
denadas cilndricas de la ecuacin de Laplace conduce a considerar
u(r , , z) = R,m (r )m ()Z (z),
donde
z z ,
Z (z) = A e +B e

ei m +D e i m ,

m () = C

c1 ln r + c2 ,
= m = 0,

m
R,m (r ) = c1 r + c2 r m , 0, m = 0,

EJm (r ) + F Nm (r ), 0.

No todas estas funciones son soluciones de nuestro problema. Como queremos

que la 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.
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 ).
Resolucin
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,

u |

= 0.
x x=1
Determinar tambin el lmite lmt u(t, x).
Al ser un problema de frontera de Neumann la base de Fourier a

usar es {cos n x}n=0 . As la solucin u(t, x) se escribe como

v0 (t) X
u(t, x) = + vn (t) cos(n x),
2 n=1
donde, debido a que u resuelve la ecuacin del calor, se debe cumplir
2 2t
v0 (t) = v0 (0), vn (t) = vn (0)en , n = 1, . . . , .
Ms an, las condiciones iniciales implican que

Z1
x3 x2 1
v0 (0) = 2 dx = ,
0 3 2 6
4(1 (1)n )
Z1 3 2
x x
vn (0) = 2 cos(n x)dx = , n = 1, . . . ..
0 3 2 n4 4
Debemos subrayar que en la segunda integral hemos integrado por partes dos
veces. Por todo ello concluimos que
1 8 2 2
en t cos(n x).
X
u(t, x) = + 4 4
12 n impar n
Por ltimo, el lmite pedido es claro de la serie recin escrita
1
lm u(t, x) = .
t 12
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
Resolucin
u + k2 u = 0,

1 < r < 2,

u|r =1 = 0,

u
= 0.

r r =2

senr cos r
Ayuda: j0 (r ) = , n0 (r ) = .
r r
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 0
Para que existan una solucin no trivial es necesario que

j (k) n0 (k)
0
= 0.

j0 (2k) n0 (2k)
Esto es,

senk cos k
=0

2k cos(2k) sen2k 2ksen2k + cos(2k)

que se escribe como

tan k = 2k.
6. Determinar mediante el mtodo de separacin de variables las ondas estaciona-

rias
u(t, x) = eit w(x), 0,
del siguiente problema de contorno en coordenadas esfricas
utt = u, r > 1,
u|r =1 = 0, u|r = 0.
Resolucin
3.7] Cuestiones, problemas y ejercicios
Si introducimos la propuesta de onda estacionaria en el problema

de contorno para la ecuacin de ondas se obtiene el siguiente problema de con-
torno para la ecuacin de Helmholtz
w + 2 w = 0,
w|r =1 = 0,
191
w|r = 0.
Como sabemos la separacin de variables en coordenadas esfricas conduce a

las siguientes soluciones de la ecuacin de Helmholtz
Rl (r )Ylm (, ),
donde Ylm son los armnicos esfricos y Rl es una funcin que toma una forma
u otra dependiendo de si es nulo o no. Cuando = 0 tenemos Rl (r ) = ar l +
b/r l+1 , pero las condiciones de contorno imponen a = 0 y a + b = 0 luego la
solucin es trivial. Si 0 la funcin radial es Rl (r ) = ajl (r ) + bnl (r ),
donde jl y nl son las funciones de Bessel y Neumann esfricas respectivamente,
satisfacindose de modo automtico la condicin de contorno en r . La
condicin de contorno en r = 1 impone que la funcin radial es proporcional a
nl ()jl (r ) jl ()nl (r ). Por todo ello las ondas estacionarias pedidas son
Resolucin
aeit (nl ()jl (r ) jl ()nl (r ))Ylm (, ), > 0,
con a una constante arbitraria.
7. Aplicando el mtodo de desarrollo en autofunciones resolver el siguiente proble-

ma de condiciones iniciales y de contorno
utt uxx = 0, t > 0, 0 < x < 2 ,

u|t=0 = x(x 2 ), ut |t=0 = 0,
u|x=0 = 0, u|x=2 = 0.
Para aplicar el mtodo de desarrollo en autofunciones debemos cal-

cular la solucin de
wxx = w,
w|x=0 = 0,
w|x=2 = 0,
que como sabemos tiene como autovalores a n = n2 /4 con autofunciones

wn (x) = sen(nx/2). Debemos desarrollar ahora las condiciones iniciales u|t=0 =
g1 (x) := x(x 2 ), ut |t=0 = g2 (x) = 0 en trminos de estas autofunciones. Por
tanto, es necesario en clculo de la serie de Fourier en senos de gi (x):
Z 2
X 1
gi (x) = bi,n sen(nx/2), bi,n := sen(nx/2)gi (x),
n=1
0

0, para n par,
las integrales se calculan de modo simple, y as b1,n = 32 .

n3
, para n impar.
El desarrollo en autofunciones de la solucin es

X
u(t, x) := vn (t)sen(nx/2),
n=1
donde vn (t) es solucin de
vn (t) + n2 /4vn (t) = 0,

vn (0) = b1,n ,

vn (0) = b2,n ,
con lo que vn (t) = b1,n cos(nx/2). Por tanto la solucin pedida es
32 X 1
u(t, x) = cos(nt/2)sen(nx/2),
n impar n3
que utilizando las identidades de adicin de las funciones trigonomtricas se

convierte en
1 32 X 1 32 X 1
u(t, x) = sen(n(x t)/2) + sen(n(x + t)/2) .
2 n impar n3 n impar n3
Recordando ahora los teoremas fundamentales sobre convergencia de series de

Fourier, y denotando por g1,impar a la extensin impar peridica de g1 obtene-
1
mos u(t, x) := 2 (g1,impar (x + t) + g1,impar (x t)), que no es ms que la fr-
mula de dAlambert aplicada a este caso. La aproximacin a un slo trmino,
32
cos(t/2)sen(x/2), es excelente.
Resolucin
8. Resolver mediante la transformada de Fourier el problema
ut + ux uxx = 0, t > 0, < x <

2
u(x, 0) = ex ,
1 R x 2 ikx 1 2
Ayuda: e e dx = ek /4 .
2 2
Las funciones eikx son autofunciones de B = /x 2 /x 2 con

autovalores = ik + k2 . Por tanto, procede un desarrollo en autofunciones tipo
transformada de Fourier:
Z
2
u(x, t) = c(k)e(ik+k )t eikx dk
R
donde
1 1
Z
2 2
c(k) = ex eikx dx = ek /4 .
2 R 2
Por todo ello

1
Z
2 (t+1/4)
u(x, t) = ek eik(tx) dk
2 R
con la siguiente notacin

p
X := k, K := t x, a = t + 1/4
tenemos
1 1
Z
2X2 2
u(x, t) = ea eiKX dX = e(tx) /(1+4t)
2 R 1 + 4t
9. Mediante el mtodo de desarrollo en autofunciones determinar la solucin del

siguiente problema de contorno y de condiciones iniciales
Resolucin
ut = uxx , t > 0, 1 < x < 1,
2
u|t=0 = x sen( x),
u|x=1 = 0, u|x=1 = 0.
Ayuda:
1 sen((a b)x) sen((a + b)x)

, ab

Z
2 ab a+b

sen(ax)sen(bx)dx =
1 sen(2ax)
x , a = b.

2 2a
La aplicacin del MDA requiere en este caso de la resolucin del

d2 u
problema de autovalores para dx 2 = u con u(1) = u(1) = 0. Este problema
de Dirichlet tiene como autovalores n = n2 2 /4 y autofunciones wn (x) =
sen(n (x + 1)/2). Por tanto, buscamos la solucin u(x, t) en forma de serie

X n
u(x, t) = vn (t)sen (x + 1) .
n=1
2
n2 2
Aqu, vn debe ser solucin de vn = v y por ello v (t) = c e
n n n n 4 t y el
desarrollo es
n
n2 2

cn e 4 t sen
X
u(x, t) = (x + 1) .
n=1
2
Los coeficientes cn son los coeficientes de Fourier de la condicin inicial

Z1 n
cn = x 2 sen( x)sen (x + 1) dx.
1 2
Desarrollando el ltimo factor del integrando y analizando la paridad de los in-

tegrandos que as resultan concluimos que

0 n es impar,
cn =
(1)m 1 x 2 sen( x)sen(m x)dx n = 2m es par,
R
1
Integrando por partes dos veces la ayuda proporcionada concluimos que

0

n es impar,
2 2 3

cn = 6 2 n = 2,

8m

n = 2m es par y n > 2.

(m 1)2
2
As obtenemos el resultado final

2 2 3 2 t 8m
Resolucin
2 2
em t sen(m (x + 1)).
X
u(t, x) = 2
e sen( (x + 1)) 2 2
6 m=2
(m 1)
10. Resolver mediante el mtodo de desarrollo en autofunciones en coordenadas

polares el siguiente problema de contorno para la ecuacin de Laplace
u = 0, 0 < r < 1, 0 < 2 ,

u|r =1 = sen2 .
En coordenadas polares debemos resolver
r 2 ur r + r ur + u = 0, 0 < r < 1, 0 < 2 ,

u|r =1 = sen2 .
Para aplicar el MDA en primer lugar resolvemos el problema de autovalores para

d2
con condiciones de contorno peridicas: u(0) = u(2 ). Las autofunciones
d 2
son {1, senm, cos m} y los correspondientes autovalores m son {1, m2 }. Por
tanto desarrollamos la solucin como

X
u(r , ) = v0 (r ) + (vm (r ) cos m + wm (r )senm).
m=1
Las funciones vm , wm se caracterizan por ser soluciones de r 2 vm + r v +

m
m vm = 0. Teniendo en cuenta ahora la regularidad de la solucin para r = 0
concluimos que v0 = c0 y que vm = cm r m y wm = dm r m , donde los coeficientes
cm , dm los determina la condicin de contorno sen2 = 1/2 1/2 cos(2). Por
tanto el desarrollo de la solucin es
1 r 2 cos(2)
u(r , ) = .
2
A continuacin mostramos una grfica para la solucin
Resolucin
11. Resolver utilizando la transformada de Fourier el siguiente problema de condi-
ciones iniciales para la ecuacin del calor en el plano
ut = uxx + uyy , t > 0, (x, y) R2 ,

2 y 2
u|t=0 = x 2 ex .
R x 2 eikx dx
k2 /4
Ayuda: e = e .
La solucin se expresa en trminos de la transformada de Fourier

Z
u(t, x, y) = v(t, k, q)ei(kx+qy) dkdq
R2
v 2 2
donde = (k2 + q2 )v y por ello v = c(k, q)e(k +q )t . As
t
Z
2 2
u(t, x, y) = c(k, q)e(k +q )t ei(kx+qy) dkdq
R2
donde c(k, q) viene dado por
2 2 2 k2 2 (k2 +q2 )/4

c(k, q) = 2
F(ex y ) = e
k 16
y por ello
k2 2 (k2 +q2 )/4 (k2 +q2 )t i(kx+qy)

Z
u(t, x, y) = e e e dkdq.
R2 16
Esta integral se puede factorizar como sigue
1 1 Z
Z
k2 (t+1/4) ikx 2

u(t, x, y) = 2
(k 2)e e dk eq (t+1/4) eiqy dq
4 2 R 2 R
que podemos evaluar usando las propiedades de la transformada de Fourier para

as obtener
2t 4x 2 x2 +y 2
u(t, x, y) = + e 1+4t .
1 + 4t (1 + 4t)2
A continuacin se muestra el proceso de termalizacin
Resolucin
12. Determinar las soluciones regulares de la ecuacin de Helmholtz en coordenadas
cilndricas
u + k2 u = 0, 0 r < a, z > 0
con las condiciones de contorno
u|r =a = 0, u|z=0 = 0.
Como sabemos las soluciones se expresan

como combinaciones
li-
i k2 2 z i k2 2
neales de R,m (r )m ()Z (z) donde Z = Am e + Dm e , m =
Cm e im + Dm e im y

c1 ln r + c2 = 0, m = 0,

R,m m
= c1 r + c2 r m = 0, m 0,

EJm (r ) + F Nm (r ) 0, m 0.

Para tener continuidad en la variable angular debemos tener m Z en tanto

que la regularidad en la variable radial para r = 0 impone

c 2 = 0, m = 0,

R,m = c1 r m = 0, m 0,

EJm (r ) 0, m 0.

p
La condicin de contorno u|z=0 = 0 implica que Z = Am sen( k2 2 z) y por
ltimo la condicin de contorno u|r =a = 0 nos da
p
um,j (r , , z) = EJm (m,j r )(Cm eim + Dm eim )sen( k2 2 z),
donde
cm,j
m,j = , siendo {cm,j }
j=1 los consecutivos ceros de Jm .
a
Resolucin
13. Determinar la solucin del problema
ut = uxx , t > 0, 0 < x < 1,

u|t=0 = sen( x),

ux |x=0 = 0,
u|x=1 = 0.
Para aplicar el mtodo de desarrollo en autofunciones considera-

2
mos en primer lugar el problema de autovalores para B = 2 ,
x
Bw = w, = k2
en el espacio {w C ([0, 1], wx |x=0 = 0) y w|x=1 = 0}. Se deduce fcilmen-

te que los autovalores son n = k2n con kn := (n + 1/2) y las autofunciones
wn := cos(kn x). Como las condiciones de contorno son separadas para un ope-
rador de SturmLiouville regular el espectro es no degenerado y el conjunto de
autofunciones forma base ortogonal. Por ello, podemos desarrollar la inhomoge-
neidad sen( x) en esta base con

X
sen( x) = cn cos(kn x)
n=1
con
Z1
(wn , sen( x)) 1 2
cn = = cos(kn x) sen( x) d x = .
kwn k2 2 0 4n2 + 4n 3
El desarrollo en autofunciones ser de la forma

X
u= vn (t)wn (x)
n=1
donde (ahora A = /t y Av + v = 0)
vn
+ k2n vn = 0,
t
y vn (0) = cn .

2 2 2
e(n+1/2) t cos((n + 1/2) x).
X
u(t, x) = 2 + 4n 3
n=1
4n
14. Dado el problema
u = 0
u|r =1 = 0,
u|r =2 = 0.
Determinar, mediante el mtodo de separacin de variables las soluciones u =

u(r , z) independientes de .
198
Resolucin
Mtodos de separacin de variables y desarrollo en autofunciones
de
donde
[Captulo 3
Estamos resolviendo la ecuacin de Laplace, por ello las soluciones

obtenidas por el mtodo de separacin de variables sern combinaciones lineales
u = R(r )()Z(z)
Z = Aez + Bez ,
= Cei m + De i m ,

c1 log r + c2 , = 0, m = 0,

R = c1 r m + c2 /r m , = 0, m 0,

EJm (r ) + F Nm (r ), 0.

Como no queremos que aparezcan contribuciones dependientes de theta pone-

mos m = 0 y = 1. Por tanto las soluciones son u = R(r )Z(z) con
Z = Aez + Bez ,

c1 log r + c2 , = 0,
R=
EJ0 (r ) + F N0 (r ), 0.
Imponiendo las condiciones de contorno R|r =1 = R|r =2 = 0 vemos que 0 y

que se debe tener
J0 ()N0 (2) = J0 (2)N0 ().
Esta ecuacin trascendente determina los posibles valores de . La solucin bus-

cada es
u = ez (N0 ()J0 (r ) J0 ()N0 (r )).
15. Hallar la solucin de la forma
u(t, x) = sen(t)w(x)
Resolucin
del siguiente problema de contorno en coordenadas esfricas
utt = u, /2 r ,
u|r = /2 = cos ,
u|r = = 0.
s
3
Ayuda: Y1,0 = cos .
4
La ecuacin para w es
w + w = 0, /2 r ,
w|r = /2 = cos ,
w|r = = 0.
que es un problema de contorno para la ecuacin de Helmholtz con k2 = 1. Para

aplicar el mtodo de desarrollo en autofunciones, escribimos
+ 1 = A + B,
d
A=r r + r 2,
dr
1 d d 1 d2
B= sen + ,
sen d d sen2 d 2
y analizamos el problema de autovalores
BY = Y
en C (S 2 ). Recordemos que, en este caso, las autofunciones son los armnicos

esfricos {Yl,m } l=0,1,2,... , que forman una base ortonormal, con autovalores =
m=l,...,l
l(l + 1). Slo tenemos un trmino inhomogeneo en una condicin de contorno,
g1 = cos , para el que tenemos
s
4
g1 = Y1,0 (, ).
3
El desarrollo en autofunciones de la solucin es
w = v(r )Y1,0 ,
donde
Av + v = 0
y por ello
v = c1 j1 (r ) + c2 n1 (r )
donde las funciones esfricas de Bessel de orden 1 son

sen r cos r cos r sen r
j1 = , n1 = .
r2 r r2 r
Las condiciones de contorno r = /2 y r = conducen al siguiente sistema

para los coeficientes c1 y c2 .
2
r
c1 c2 = ,
3
c1 + c2 = 0,
que implica
2 2
r r
c1 = , c2 =
3 3 3 3
y la solucin es
2 1
r
u= sen(t) cos() 2 ((1 + r ) sen r + ( r ) cos r ).
3 3 r
3.7.3. Ejercicios
1. Una partcula cuntica en una dimensin espacial encerrada en una caja de lon-
gitud L es descrita por un problema de contorno del tipo:

i ut = uxx , t > 0, 0 < x < L;

u|
x=0 = 0, u|x=L = 0.

Determinar las soluciones que proporciona el mtodo de separacin de variables.
2. Determinar las soluciones que proporciona el mtodo de separacin de variables

para el problema de contorno:

t ut = uxx + 2u, t > 0, 0 < x < ;

u|
x=0 = 0, u|x= = 0.

3. Determinar las soluciones que proporciona el mtodo de separacin de variables

para el problema de contorno:

ut = uxx , t > 0, 0 < x < 1;

u|
x=0 = 0, (ux + u)|x=1 = 0,

4. El potencial de velocidades de un fluido estacionario en el interior de una tubera

de seccin rectangular es descrito por el problema de contorno:

u = 0, 0 < x < L1 , 0 < y < L2 , < z < +;

u

= 0.

n paredes

Determinar las soluciones proporcionadas por el mtodo de separacin de varia-

bles.
5. Bajo determinadas condiciones, ciertas componentes del campo electromagnti-

co, en el interior de una gua de ondas de seccin rectangular, son descritas por
el problema de contorno:
utt = c 2 u, 0 < x < L1 , 0 < y < L2 , < z < +;
(
u|paredes = 0.
Determinar las ondas estacionarias del modelo.
6. Determinar los estados estacionarios de una partcula cuntica encerrada en una

caja cilndrica de radio a y altura h.
7. El potencial de velocidades de un fluido estacionario, en el interior de una tube-

ra de seccin circular de radio a, es descrito en coordenadas cilndricas por el
problema de contorno:

u = 0, 0 r < a, 0 < 2 , < z < +;

u

= 0.

n pared

Determinar las soluciones proporcionadas por el mtodo de separacin de varia-

bles.
8. Probar que si Q(x) es una solucin de la ecuacin de Legendre,
(1 x 2 )Q 2xQ + Q = 0,
entonces la funcin
|m| |m|
P (x) = (1 x 2 ) 2 x Q(x),
siendo m un nmero entero, satisface la ecuacin:
m2
(1 x 2 )P 2xP + ( )P = 0.
1 x2
9. Bajo determinadas condiciones, ciertas componentes del campo electromagn-

tico confinado entre dos esferas concntricas son descritas por el problema de
contorno en coordenadas esfricas:
2

utt = c u, a1 < r < a2 , 0 < , 0 < 2

u|
paredes = 0.

Determinar las ondas estacionarias del modelo.
10. Una cuerda infinita sujeta por uno de sus extremos es descrita por el problema
de contorno: (
utt = c 2 uxx , < x < 0, t > 0;
u|x=0 = 0.
Determinar las ondas estacionarias del problema e interpretarlas dinmicamente.
11. Bajo determinadas condiciones ciertas componentes de un campo electromagn-

tico confinado en el interior de una caja de forma paralepipdica son descritas
por el problema de contorno:
utt = c 2 u, 0 < x < L1 , 0 < y < L2 , 0 < z < L3 ;
(
u|paredes = 0.
Determinar las ondas estacionarias del modelo e interpretarlas dinmicamente.
12. Resolver el problema de contorno

u = 0, 0 < x < a , 0 < y < b ,

u|x=0 = 0 , u|x=a = 0 ,

u|

= x(a x) , u| = 0,
y=0 y=b
utilizando el mtodo de desarrollo en autofunciones.
13. Resolver el problema de valores iniciales

ut = k uxx , t > 0, 0 < x < l ,

u(0, t) = h1 (t) , u(l, t) = h2 (t) ,

u(x, 0) = 0 ,

utilizando el mtodo de desarrollo en autofunciones.
14. Una cuerda con los extremos fijos sometida a una fuerza exterior satisface el
siguiente problema de valores iniciales:
2 x

u c 2u = f sen , t > 0, 0 < x < l;
tt xx 0

l

u|x=0 = 0 , u|x=l = 0 ,

x
u|t=0 = 0 , ut t=0 = sen .

l
Determinar su solucin mediante el mtodo de desarrollo en autofunciones.
15. Una partcula cuntica en un pozo infinito en una dimensin espacial obedece el
problema de valores iniciales
~2

i ~ u = uxx , t > 0, 0 < x < l ,

t

2m

u(0, t) = 0 , u(l, t) = 0 ,

u(x, 0) = 2 sen x sen 3 x .

l l
Determinar su solucin empleando el mtodo de desarrollo en autofunciones.

ut = u , 1 < r < 2 , t > 0 ,

1
ut=0 = sen r ,

r 2
u

u+

= ur =2 = 0 .
n r =1


sen 2r t

ut = u + e , t > 0,

r
u
sen r
t=0 = .

r
18. Resolver el problema de contorno

C

u = , r > R ,

r

u r =R = z ,

u

= 0.

r r =R

19. Considrese el problema de contorno en coordenadas cilndricas:

u = 0, r < R ,
u = g() .
r =R

Buscar soluciones independientes de z mediante el mtodo de desarrollo en au-

tofunciones.
ut = k uxx , t > 0, 0 < x < l ,

u u

(0, t) = h1 (t) , (l, t) = h2 (t) ,

x x

u(x, 0) = 0 ,

mediante el mtodo de desarrollo en autofunciones.
~2

i ~ ut = uxx , t > 0, 0 < x < l ,

2m

u u

u(0, t) = u(l, t) , (0, t) = (l, t)

x x
l

x, si 0 < x < 2 ,
u(x, 0) =

si 2l < x < l .

l x,
22. Considrese un cilindro de radio R y altura h situado sobre el plano z = 0.

Resolver el problema de contorno interior

u = 0 ,

u|z=h = g(r , ) ,

u|

= 0.
resto paredes
A PNDICE A
Resumen de funciones
especiales
Dada la ecuacin u + p(x)u + q(x)u = 0,
x0 punto ordinario p, q analticas en un entorno de x0 .

x0 punto singular x0 no ordinario.
x0 punto singular regular x0 singular, y (x x0 )p(x), (x x0 )2 q(x) analticas en
un entorno de x0 .
Ejemplo 1: oscilador armnico en Mecnica Cuntica.
u + x 2 u = u ( = 2E) , < x <

1
n = 2n + 1 (En = n + ), n0
2
2 /2 2 dn x 2
un (x) = Hn (x)ex , Hn (x) = (1)n ex e polinomios de Hermite
d xn
Z

2 n
H0 (x) = 1 (un , um ) = Hn (x)Hm (x)ex d x = nm 2 n!

H (x) = 2x
1

H2 (x) = 4x 2 2

..

.
205
206 Resumen de funciones especiales [Captulo A
Ejemplo 2: ecuacin de Legendre.
d 2 du

(1 x ) = u , 1 < x < 1
dx dx
n = n(n + 1), n 0
1 dn
un (x) = Pn (x) Pn (x) = (x 2 1)n polinomios de Legendre
2n n! dx n
Z1
2
P0 (x) = 1 (un , um ) = Pn (x)Pm (x)dx = nm

1 2n +1
P1 (x) = x

1
P2 (x) = 2 (3x 2 1)

..

.
A.0] 207
Ejemplo 3: ecuacin de Bessel
1 d du 2

x + 2 u = u , ( 0) 0<x<
x dx dx x
p p
u(x) = c1 J ( x) + c2 N ( x)
q
2
cos x (2 + 1) 4 + O x 3/2

J
(x) = x

q
2
sen x (2 + 1) 4 + O x 3/2

N (x) = x

x

(x/2)

J (x) regular en x = 0 ( entero ( + 1) = !)
( + 1)

2

log x, =0

N (x) singular en x = 0
()

, 0

(2x)

x0

1 1
0.8 J0 0.8 J0
0.6 0.6
0.4 J1 0.4 J1
0.2 0.2
5 10 15 20 5 10 15 20
-0.2 -0.2
-0.4 -0.4
Zc
1 2
xJ2 (x)dx = c J (c) , J (c) = 0
0 2

Edii MMLM Cap3 PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Edii MMLM Cap3 PDF

Enviado por

Direitos autorais:

Formatos disponíveis

C APTULO 3

A bordamos en este tercer captulo dos de las tcnicas ms fructiferas a la hora de

1. El mtodo de separacin de variables

3.1. El mtodo de separacin de variables

Este es uno de los mtodos ms antiguos para encontrar soluciones particulares de

3.1.1. Operadores diferenciales separables

Sea L un operador diferencial lineal actuando sobre funciones diferenciables en un

Para la discusin siguiente es conveniente denotar L en la forma

Es decir A solo efecta derivaciones respecto de x0 y sus coeficientes solo pueden

es separable respecto de x ya que L = A + B siendo

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 dimen-

es separable respecto de cualquiera de sus cuatro variables (t, x, y, z).

3.1.2. Soluciones de EDP

todo par de funciones

v = v(x0 ), w = w(x1 , . . . , xn1 ),

que verifiquen el sistema de ecuaciones

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 ) veri-

A(vw) = w Av = vw, B(vw) = v Bw = vw,

por tanto la funcin producto u = vw satisface

1. La utilidad del MSV radica en que reduce el problema de la bsqueda de solucio-

2. Las funciones v y w que aparecen en el MSV son autofunciones de los operadores

3. Cuando aplicamos el MSV suponemos que es un parmetro complejo arbitrario.

4. Como la EDP (3.1)

cualquier combinacin lineal de los elementos de la familia

es tambin solucin de la EDP. Bajo condiciones apropiadas tambin podremos

o incluso una superposicin de ambas formas

Esta propiedad permite bajo condiciones favorables generar la solucin general

3.1.3. Soluciones de problemas de contorno

Definicin 3.1.3. Se dice que un operador de frontera l opera solo sobre la

l(vw) = v(x0 )l(w).

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

no es separable ni respecto de x ni de y. Sin embargo si tomamos coordenadas

El MSV puede aplicarse a problemas de contorno homogneos cuando la EDP es se-

Teorema 3.1.4. Dado un problema de contorno de la forma

siendo ai y bj operadores de frontera que operan solo sobre las variables x0 y

v = v(x0 ), w = w(x1 , . . . , xn1 ),

que verifiquen los sistemas de ecuaciones

con C, determinan una solucin de (3.3)-(3.4)-(3.5) dada por

u = v(x0 )w(x1 , . . . , xn1 ).

ai (u) = ai (vw) = wai (v) = 0, bj (u) = bj (vw) = vbj (w) = 0.

1. Sea v(x, z) el campo de velocidades de un fluido estacionario movindose en el

El potencial de velocidades del fluido u = u(x, z) est definido por la relacin

y satisface el problema de contorno

Podemos aplicar el MSV, buscando soluciones de la forma u = v(z)w(x) donde

v(z) = Aekz + Bekz ,

imponiendo la condicin de contorno sobre v

k(Aekh Bekh ) = 0, B = Ae2kh .

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.

2. Es muy frecuente encontrarse con problemas de contorno en que el MSV no es

Teniendo en cuenta que un vector normal unitario al fondo es

al cual s podemos aplicar el MSV, y como vimos en el ejemplo anterior

3.1.4. El MSV y las ecuaciones de la fsica matemtica

siendo L un operador de SturmLiouville en las variables x, y donde lj son serie de

2 2 n21 n22 n23