Arellano
Departamento de Fsica - FCFM
Universidad de Chile
Primavera de 2006
Indice
1.
Elementos de an
alisis complejo
10
11
1.3.1. La exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3.2. El logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
15
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
1.5.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.6. Integraci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
18
20
21
23
26
31
M
etodos Matem
aticos para la Fsica
2.
3.
4.
33
35
1.15. Prolongaci
on analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
40
40
45
46
47
48
2.4.1. El gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
49
2.4.3. El laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
52
La delta de Dirac
55
3.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
59
59
60
U de Chile
FCFM
H. F. Arellano
5.
M
etodos Matem
aticos para la Fsica
62
63
64
4.4.2. Relaci
on de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
65
Ecuaciones diferenciales
69
5.2. Separaci
on de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
5.2.1. Ecuaci
on de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
5.3. La ecuaci
on de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
73
76
5.3.3. Diferenciaci
on y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
78
5.3.5. La ecuaci
on de Laplace en una cavidad cilndrica . . . . . . . . . . . . . . . . . . .
79
5.4. Ecuaci
on de Helmoltz con simetra axial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
82
84
85
5.5. Ecuaci
on de Laplace en una cavidad esferica . . . . . . . . . . . . . . . . . . . . . . . . . .
86
87
5.6.1. Construcci
on de los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . .
89
FCFM
U de Chile
91
93
93
95
5.8.1. Aplicaci
on del metodo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
96
5.8.2. La ecuaci
on hipergeometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
5.8.3. La ecuaci
on hipergeometrica confluente . . . . . . . . . . . . . . . . . . . . . . . . 101
6.
Funciones de Green
103
Pre-texto
Estos apuntes son una transcripcion de mi primer manuscrito de catedras del semestre de primavera de
2005. Al igual que otros de mis apuntes, son informales en su presentaci
on y carecen de desarrollos detallados
que comunmente se discuten en clases o encuentran en textos.
El tema de metodos matematicos para la fsica es sumamente extenso y hay varios textos de excelente
calidad donde encontrar desarrollos y discusiones interesantes, ademas de buenos ejemplos o problemas
tpicos. As entonces, no pretendo con estos apuntes hacer un aporte en esa lnea. El sentido de escribirlos
es mas bien registrar el enfasis de algunos aspectos discutidos en clases y de como ellos se estructuran hacia
los temas mas avanzados. Espero que esto sea de ayuda.
Hugo F. Arellano
Santiago, primavera de 2006
U de Chile
M
etodos Matem
aticos para la Fsica
FCFM
Captulo 1
Elementos de an
alisis complejo
1.1.
Variables complejas
def
x1
z1 z2
def
x1 x2
z1
x2
i y1
y1 y2
y2 ,
i x1 y2
x2 y1 .
Con estas definiciones, y al igual que en el cuerpo de los reales, los numeros complejos satisfacen las siguientes
propiedades para la suma y el producto:
1. Asociatividad para la suma y el producto,
z1
z2
z3
z1
z2
z3 ,
z1
z2 z3
z1 z2
z3 ;
z2
z2
z1 ,
z2 z1 ;
z1 z2
z3
i 0) y de la unidad (1
z
0
x
z
z1 z3 ;
z1 z2
z,
i 0):
z 1
i y, entonces
z
1 z
z
z;
x
0;
y es su inverso aditivo y
M
etodos Matem
aticos para la Fsica
i y, entonces1 z
1.2.
z2
z1
z es su inverso multi-
1;
Se define el m
odulo ( z ) de un n
umero complejo z mediante z
z1
1 z
z2 .
u x, y
i v x, y
w x, y .
Se subentiende que la aplicacion f toma elementos z en un dominio del plano complejo (C). Se dice que f
es contnua en z si para todo 0 existe un 0 tal que z z
f z
f z
. Un ejemplo
z 2 . En efecto,
de funci
on contnua es f z
iy
iv
wo
zo
w
x
f z
z2
z2
z , entonces w
w .
2z
z z
2z
z z
2z
2 z . Si denotamos
z .
Notamos que en este caso depende de z , lo que es en general el caso. Sin embargo, si el dominio de
R, entonces se expresa independiente de z . Ello se denomina continuidad
f esta acotado por z
uniforme.
1 A todo complejo z
resulta evidente que zz
U de Chile
10
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1.3.
Derivada y analiticidad
Consideremos el cuociente
f z
z
f z
z
Este cuociente no esta definido para z z . Sin embargo, al igual como se hace para funciones de variable
z . En variable compleja imponemos una exigencia no trivial,
real, quisieramos construir el lmite cuando z
cual es que el lmite sea independiente de como z se aproxima a z . As, definimos
lm
f z
ux
ux
u
x
f z
z
z
f z
x, y
iv x
x, y
x
v
.
i
x
u x, y
x, y
x
v x
i
u x, y
u x, y
i
i v x, y
y
u x, y
i y
v
.
y
u
y
u x, y
x, y
x
x, con z
i y.
i v x, y
v x, y
y
u x, y
i v x, y
iy
v x, y
v x, y y
i
iy
Para que ambos procedimientos lleven al mismo resultado imponemos que tanto la parte real como imaginaria
sean coincidentes, vale decir,
u
x
v
,
y
u
y
v
.
x
u
x2
u
y2
0,
v
x2
v
y2
0,
que corresponden a ecuaciones de Laplace en 2D. En tal sentido, las componentes de real e imaginaria de
funciones analticas son armonicas como funciones de x e y.
FCFM
11
U de Chile
M
etodos Matem
aticos para la Fsica
Resumen:
Analiticidad: Sea f : C
C una funci
on compleja. La derivada de f en z es
df
dz
lm
f z
z
z
f z
(1.3.1)
0.
v
y
u
y
v
x
(1.3.2)
0), son satisfechas y todas las primeras derivadas parciales de u y v son continuas
(o, equivalentemente, f z
en esa regi
on. En tal caso
df
dz
u
x
v
x
v
y
u
y
(1.3.3)
2x ;
u
y
2y ;
v
x
2y ;
v
y
2x .
u
x
v
x
2x
i 2y
2z ,
coincidente con el resultado conocido para variables reales. En general, se puede demostrar que para todo n
entero,
d n
z
n zn 1 .
dz
Su demostracion queda propuesta.
1.3.1.
La exponencial
U de Chile
12
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
variable compleja z, que denotadaremos por f , que satisface las siguientes propiedades: a) f z es analtica
y univaluada en C; b) f z
f z ; y c) f z1 z2
f z1 f z2 . Procedemos entonces a la construccion
de la exponencial.
De la condicion c) se tiene f 0
f 0 f 0 , por lo que f 0
z
z
0, vemos que f z
Imponemos f
f z
f z
f z f z
1.
a y ex , y v x, y
0. S
olo f 0
1 permite analiticidad.
i v x, y . Entonces,
u x, y
u
x
f z f z
z
1 z diverge si f 0
f , expresando f z
de lo cual u x, y
f z f z
0; 1.
f z . Examinamos
f z
Cuando z
f z
f 0 . Soluciones son f 0
v
x
u;
v,
b y ex .
v
y
u
y
v
x
db
,
dy
da
,
dy
ay
by
de donde se obtienen a
a 0; b
b 0. Las ecuaciones de arriba son dos ecuaciones acopladas
de primer orden, de modo que son solo dos las constantes arbitrarias de integraci
on. Si consideramos
A cos y
ay
Imponemos f 0
B sin y ,
B cos y .
1, con cual
u 0, 0
v 0, 0
Construimos f
A sin y
by
iv
1
0
a0
b0
1
0
1
0
A
B
w x, y , obteniendo
ex cos y
w x, y
i sin y
def
ez .
cos y
i sin y. De igual
FCFM
eiz
e
2
iz
sin z
13
eiz
e
2i
iz
U de Chile
M
etodos Matem
aticos para la Fsica
-3
-3
-2
-2
-1
-1
0
1
0
1
0.5
0.5
0
-0.5
-0.5
-1
0
-1
0
10
10
15
15
sin z
.
cos z
Esta ultima no es analtica en los ceros de cos z. De forma analoga se introducen las definiciones
tan z
cosh z
1.3.2.
ez
ez
sinh z
tanh z
sinh z
.
cosh z
El logaritmo
Al igual que en variable real, se define el logaritmo como la funcion inversa de la exponencial. Notar,
sin embargo, que la exponencial es una funci
on peri
odica, vale decir,
ez
ez
2iN
con N un entero arbitrario. Esto conduce a que la inversa de la exponencial resulte multivaluada en su
parte imaginaria. En principio eso puede ser un inconveniente. Por ahora subsanamos tal ambig
uedad si
restringimos la parte imaginaria a s
olo un sector.
Buscamos una forma explcita, en terminos de x e y, para ln z
ltima, claramente
que ew z. De esta u
z
eu
eu cos v
iv
i sin v .
u
Ademas, si representamos z
z cos
def
i arg z .
U de Chile
ln
x2
y2
14
i arctan
y
x
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
w
x
x
x2
y2
Por lo tanto,
y x2
y x
x
x2
iy
y2
iy
1
.
z
d ln z
dz
ea ln z .
def
1.4.
d a ln z
e
dz
ea ln z
a
z
a za
Propiedades geom
etricas
u v
x x
u v
.
y y
0.5
0.5
-0.5
-0.5
-1
-1
-1
-0.5
0.5
-1
-0.5
0.5
FCFM
15
U de Chile
M
etodos Matem
aticos para la Fsica
1.5.
Transformaciones conformes
La aplicaci
on w f z asocia a cada par x, y de z x i y otro u, v de w u i v. As entonces,
mediante la aplicaci
on f podemos identificar la regi
on u, v que resulta de considerar todos los puntos x, y
correspondientes a z en un dominio D. A esta construccion se le llama mapa. Cuando la transformaci
on f
u
Fig. 1.4: Un mapa.
es analtica, los mapas resultantes tienen propiedades interesantes. Comencemos examinando la geometra
de dos desplazamientos arbitrarios en z y veamos en que se traducen para w.
Sea z un punto en el dominio de partida y w
f z su imagen respectiva. Sin perder generalidad,
podemos afirmar que un desplazamiento muy peque
no desde z , z
z z , conlleva una variacion w
dado por
w f z z.
Al ser f analtica, f z es unica. Contemplemos dos desplazamientos independientes, za y zb , ambos
de igual magnitud (s) pero con orientaciones distintas. Si los angulos relativos al eje real son a y b ,
respectivamente, entonces sus desplazamientos en el plano C son
s eia ,
za
s eib .
zb
ei
b a
Nos preguntamos entonces por el angulo relativo entre las variaciones wa y wb respectivas:
wb
wa
f z
f z
zb
za
ei
b a
En otras palabras, el angulo relativo entre wa y wb es el mismo que entre za y zb , lo que se ilustra en la Fig.
0. Si
(1.5). Es importante resaltar que la preservacion de los angulos esta garantizada s
olo cuando f z
iv
iy
b a
z b
w a
a
b
za
x
Fig. 1.5: Si f z
wb
0 entonces
za , zb
wa , wb .
esto no ocurre hay que examinar mas detalladamente considerando terminos de orden superior. Mas adelante
estudiaremos expansiones en series de Taylor en torno a puntos regulares. Si el termino no nulo mas bajo es
m
za , zb . Cuando m 1 nos referimos a una transformaci
on
de orden m, entonces wa , wb
conforme.
U de Chile
16
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1.5.1.
Ejemplos
Inversi
on: w
1 z.
Consideremos la transformaci
on f z
1 z y estudiemos la region que resulta al considerar el conjunto
D
z C: z a
a . Se subentiende que a es un real positivo. En este caso los puntos en D quedan
convenientemente descritos por
z
:0
ei ,
a;
Construimos w:
1
z
a
Mediante manipulacion algebraica directa obtenemos
a2
a cos
2 2a cos
1
.
ei
sin
.
2 2a cos
a2
a.
1
1
i tan 2 ,
2a
2a
1 2a y v barriendo
w
u +iv = 1/ (x+iy)
1/2a
C
A
1/a
1.6.
Integraci
on
Sean f : C
C y una trayectoria contnua que une los puntos extremos za y zb . Definimos la integral
mediante la suma infinita de elementos infinitesimales,
n
f z dz
lm
zb
f j
zj
zj
f z dz .
1
za
j 1
FCFM
17
U de Chile
M
etodos Matem
aticos para la Fsica
iy
n 1
n 2
za
2
1
1.7.
Teorema de Cauchy-Goursat
f z dz
C
f z dz
iv x
iy
u dx
xy
v dy
v dx
xy
u dy .
xy
x Ay
y Ax
x By
y Bx
zb
v
u
zb
za
(a)
0,
0.
2
1
1
za
(b)
(c)
U de Chile
18
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
zb
f z dz
f z dz ,
za 1
za 2
donde ambas trayectorias parten de za y llegan a zb . Al cambiar de orden la segunda integral, tambien
cambiamos el signo [ver (b)]:
zb
za
zb
f z dz
za
f z dz
za 1
f z dz
zb 2
f z dz
za 1
0.
zb 2
f z dz
C
Ejemplos
i.- Calculemos I
a
b
0
2it ,
t:0
1.
3t dt
4it dt
2i dt. Sustituyendo,
dt
Ia
2it dt
2i dt
3
2
2i .
dt
2it2 ,
1.
Ib
2it2 dt
4it dt
FCFM
t:0
19
3
2
2i .
U de Chile
M
etodos Matem
aticos para la Fsica
Ic
t dt
0
3
2
it i dt
2i .
ii.- Calculemos
dz
z
Resumiendo,
!
1.8.
dz
z
c"
2i
0
si encierra el origen
si no encierra el origen
F
ormula integral de Cauchy
El siguiente teorema (de Cauchy) es de gran trascendencia en el estudio de funciones analticas. En este
se establece que si f : C
C es analtica sobre y dentro de un contorno simple cerrado , con z un punto
U de Chile
20
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
en el interior de , entonces
1
2i
f z
f z
dz
z z
Para demostrar este teorema podemos hacer uso nuevamente de la Fig. (1.10), donde se construye una
trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia peque
na de radio . Con
ello el integrando zf zz es analtico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat:
f z dz
z z
0
a
f z dz
z z
f z dz
z z
(dz
f z
d .
e
f z
cuando
f z
1
2i
0. Por lo tanto
c!
2if z .
f z
dz.
z z
Este resultado se extiende a las derivadas de una funcion analtica. Para ello hagamos un cambio de notacion.
Primero z
, y luego z
z, con lo cual
f z
1
2i
f
d .
z
1
2i
dn
dz n
f
d
z
1
2i
dn 1
f d
dz n z
1
2i
n!
z n
f d
1.9.
Sucesiones y series
FCFM
21
U de Chile
M
etodos Matem
aticos para la Fsica
Consideremos la sucesi
on infinita de n
umeros reales o complejos w1 , w2 , w3 , . . . y construimos la suma
parcial de k terminos,
k
Sk
wn .
n 1
wn es convergente; y
n 1
n 1
wn converge pero
n 1
wn diverge.
En relaci
on a criterios para examinar la convergencia de una serie mencionamos tres de ellos.
1. El test de comparaci
on, que consiste en descomponer los elementos de la sucesion en sus partes
real e imaginaria, wn un ivn . Se analizan separadamente n 1 un y n 1 vn , y suponemos que
un 0 y vn 0. Si ademas, una serie conocida n 1 an es convergente, con un an n, entonces
alogo es utilizado para examinar la convergencia de la parte
n 1 un es convergente. Un criterio an
imaginaria.
2. El test del cuociente, que consiste en construir el cuociente n
wn 1 wn . Definamos ademas
n . Bajo este criterio, si R 1 la serie converge absolutamente; si R 1 entonces la
R lmn
convergencia queda indeterminada; si R 1 la serie es divergente.
3. El test de Cauchy, donde se define lmn
wn 1 n . Si 1, entonces la serie es convergente;
si 1 la convergencia queda indeterminada; si 1 la serie diverge.
Un ejemplo simple y de mucho interes consiste en la serie geometrica defininda por
Sn
z2
zn
zn
0 para z
1 zn
,
1 z
1.
1, entonces
1
Sn z
wk z .
k 1
U de Chile
22
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Definimos ademas
lm Sn z .
f z
f z
zN
1 z
SN z
0 N : n
z ,
b si
1 1
z
Esta serie es uniformemente convergente en la region anular a
f z
Sn z
. Al analizar la serie geometrica y denominando f z
1.10.
ln 1
z
f z
f z
z
n 0
z
n!
La demostracion de este teorema es bastante directa si consideramos la formula integral de Cauchy para
una trayectoria circunferencial C centrada en z , como se ilustra en la Fig. (1.11). En tal caso aplicamos
zo
1
2i
f z
f d
.
z
C
z tenemos
1
con
FCFM
1
z
z
,
z
23
1
z
1.
U de Chile
M
etodos Matem
aticos para la Fsica
La propiedad
1 es evidente puesto que esta en el contorno del crculo, mientras que z esta al interior.
n
As entonces, 1 1
n 0 , que al combinar con las tres expresiones anteriores conduce a
1
2if z
n 0
z
z
f d
n 0
f d
z n
Utilizando la f
ormula integral de Cauchy para la derivada, v
alida si f es analtica, resulta evidente
n
f z
z
n!
n 0
zo
an z
n 0
n 1
bn
z
donde
an
1
2i
bn
1
2i
f d
z n
n 1
f d .
f d
z
"
f d
z
2if z .
0
U de Chile
1
2i
f d
z
24
1
2i
f d
.
z
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
(+)
()
1
que
Al igual que como se hizo con la serie de Taylor, buscamos expresiones adecuadas para 1 z y
z , al estilo de la serie geometrica, que involucren potencias de z z . En esa lnea, es facil verificar
1
n 0
z
z
n 0
n 1
z
z
n 0
z
z
n 1
1
2i
n 0
f d
z n
n 0
f d
1
z
n 1
an
f d
1n
Parametrizamos:
ei id), : 0
ei , (d
1
2n
an
2
1
i n 1
0.
1
2i
n 1
f d
Parametrizamos nuevamente:
ei , (d
bn
FCFM
1 n
ei id), : 0
1
ei
n 1
d .
25
U de Chile
M
etodos Matem
aticos para la Fsica
Como en la ilustraci
on anterior, las series de Laurent se pueden aplicar en torno a puntos singulares. En
particular, si z es una singularidad aislada, entonces podemos expandir
f z
an z
b1
n 0
bn
z
fP
La contribuci
on fP z se denomina parte principal de f en z . En relacion a esta expansi
on se definen las
siguientes denominaciones.
1.11.
Supongamos que dentro de C hay polos. Lo que hacemos es construir una trayectoria cerrada que siga el
contorno C, con eventuales virajes dirijidos hacia los polos, aislandolos y retornando por el mismo trayecto.
Esto es posible si la funcion es continua en todo el trayecto. Las integraciones de ida y vuelta en los tramos
U de Chile
f z dz
1 ,"
f z dz
k ,"
26
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
De aqu obtenemos
f z dz
f z dz
k
k
donde hemos omitido indicar el smbolo ! en las integrales de la derecha. Abordamos ahora el calculo de
esimo polo que suponemos de orden m. Definamos entonces
k f z dz, encerrando el k
k z
zk
f z ,
bm;k ,
zk
2i
m 1!
k z dz
z zk m
Definiendo
Res f zk
1!
m 1
zk ,
m 1
zk ,
(por Cauchy).
obtenemos
f z dz
2i
Res f zk ,
k
el denominado teorema de los residuos. Para los polos de primer orden se tiene
lm z
Res f zk
zk
lm
d
dz
zk f z ;
zk
zk 2 f z
2
0
F sin , cos d
ei id), entonces podemos escribir
sin
z2 1
,
2iz
cos
z2 1
.
2z
dz z 2 1 z 2 1
F
,
.
z
2iz
2z
2
I
0
FCFM
1, de
d
.
b cos
27
U de Chile
M
etodos Matem
aticos para la Fsica
iy
|z|=1
x
Polos (conjugados) para b<1
Polos para b>1
2bz
0.
dz
2bz
z2
1
z
1
z
P x
Q x
1
z
1
2 b2
2
.
b2 1
dx
2i
Res f zj .
Rei , (dz
f z dz
f x dx
f z dz
izd), : 0
f z dz
z f z d .
0
Si z f z
0 cuando R
, entonces
f z dz
f x dx
2i
Los residuos en este caso son los ubicados en el semiplano complejo superior.
U de Chile
28
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
dz
,
1 z2
i yace en el semiplano superior. Para el residuo evaluamos z
f z
i, pero solo z
Res f z
Con ello,
dx
1 x2
cos ax
sin ax
Rx
dz
z2
2i
z
1
2i
1
.
2i
i
.
dx
Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Dependiendo de cual sea la funci
on, cos ax o sin ax, consideramos la parte real o imaginaria de R x eiax .
Luego extendemos al plano complejo, R z eiaz , e integramos sobre una semicircunferencia cerrando
por arriba o por abajo. A este punto hay que tener precauci
on por donde cerrar, puesto que el signo de
.
a es determinante para la convergencia de la integraci
on sobre la semicircinferencia cuando R
Hay que examinar caso a caso.
Ilustramos con el siguiente ejemplo,
cos kx
1 2 x2
eikz
1 2 x2
Re
Debemos decidir si cerramos por arriba ( ) o por abajo ( ). Para ello analizamos la exponencial
evaluada en la semicircunferencia, z R cos i sin :
eikz
eikR
cos i sin
eikR cos e
kR sin
Cuando R
la exponencial tiende a cero s
olo para 0 , motivo por el cual cerramos por
0 queda garantizado. Consecuentemente,
arriba puesto que as
eikz
1 2 x2
Los ceros del denominador son z
Evaluamos para el residuo
d
dz
2i
Res f zj .
k
eikz
iz 2 1
iz
i .
,
z
FCFM
29
U de Chile
M
etodos Matem
aticos para la Fsica
eikx
4. La integral I4
bx2
dx
Esta integral es muy recurrente en el estudio ondulatorio de paquetes o pulsos gaussianos. Su caracterstica es que el integrando tiene una componente imaginaria (ikx) en la exponencial. Formamos
primero un cuadrado de binomio para x,
bx2
ikx
ik
2b
b x
k2
.
4b
k2 4b
ik
2b
b x
dx .
Nos ocupamos entonces de I , para lo cual consideramos la trayectoria rectangular descrita en la Fig.
(1.16) formada por un segmento R, R en el eje real, otro paralelo que une los extremos R ik 2b
y dos tramos paralelos al eje imaginario que cierran la trayectoria. Consideramos entonces la identidad
d
a
Rik/2b
Rik/2b
0,
dz
La integraci
on en el trayecto a representa I en el lmite R
z x ik 2b, (dz dx), con x : R
R, obtenemos
e
bz 2
dz
b x ik 2b
0. Observamos
. En efecto, parametrizando
dx
I .
La integraci
on en el trayecto c representa la integral de una gaussiana en el eje real, cuyo valor
es conocido. En efecto, hacemos z x, (dz dx), con x : R
R,
e
bz 2
dz
bx2
dx
.
b
bx2
U de Chile
bz 2
dz
b R it
k b
idt
ie
bR2
2iRbt
ebt dt
k b
30
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
2iRbt bt2
dt
k b
2iRbt bt2
ebt dt
dt
k b
k b
kek
b
La u
ltima desigualdad surge de tomar el maximo del integrando y multiplicarlo por el ancho del
intervalo. Este valor resulta independiente de R, de modo que su contribuci
on se anula al ser
2
. Un procedimiento analogo se emplea para examinar d .
multiplicada por e bR y tomar R
De las observaciones anteriores se obtiene
I
1.12.
e
b
I4
k2 4b
iy
x
R
xo
FCFM
31
U de Chile
M
etodos Matem
aticos para la Fsica
f x dx
x x
2i
Res
k
f z dz
z x
"
f z dz
z x
f zk
zk x
Si ademas, f z
0 sobre , cuando R
, entonces
0. Falta evaluar , para lo cual parametrii
i
zamos z x
e , (dz e id), con :
0. As, luego de sustituir y simplificar
0
f x
ei d .
Hay que tener presente que en esta version se ha excluido x del contorno de integracion. Ademas, f z
en la semicircunferencia superior cuando su radio R se hace infinito.
ix
A modo de ilustraci
on evaluemos la integral I
2i, es facil verificar que
eix
eix
dx .
x
Calculamos P de esta integral, para lo cual identificamos un u
nico polo en x 0. Tal polo queda fuera de
0 sobre la
la trayectoria pues el contorno lo excluye, por lo que no hay aporte de residuos. Ademas, eiz
semicircinferencia superior, cuando R
. En resumen,
iI
P
por lo que I
eix dx
x
if 0
i ,
f x dx
x x
if x
f x i dx
x x
i
f x dx
.
x x
i
De esta forma,
f x dx
f x dx
P
if x .
x x
i
x x
Este resultado es abreviado usualmente mediante
1
1
P
i x x ,
x x
i
x x
con la funci
on delta de Dirac a ser revisada mas adelante.
U de Chile
32
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1.13.
Una clase especial de funciones de variable compleja es aquella de funciones multivaluadas. Consideremos
f z cualquiera de las siguientes funciones: z, n z (n entero), z ( irracional) y ln z. Para cualquiera
r ei y cambiar
de estas f z es multivaluada, vale decir, f toma valores diferentes al representar z
continuamente
2.
Para fijar ideas consideremos f z
z
r ei 2 f r, . Si bien
z en el plano complejo, 1, al reemplazar en f r, obtenemos
f r,
r ei
i r;
f r,
i 2
re
representan al mismo
i r.
Esta propiedad ilustra una caracterstica muy general para los ejemplos descritos en el parrafo anterior,
conduciendo a la definicion de lo que se denomina punto de rama (branch point). Se dice que z es un
punto de rama si, para una trayectoria cerrada que lo encierra
r ei
f z
r ei
f z
iv, con z
r ei
3 2
5 2
7 2
u r,
r 2
r 2
r 2
r 2
v r,
r 2
r 2
r 2
r 2
0y
FCFM
lm
33
z es distinta:
r.
U de Chile
M
etodos Matem
aticos para la Fsica
Esta discontinuidad se ilustra en la Fig. (1.19), donde se representan las curvas de nivel de u y v. El origen
z 0 se localiza en el centro de cada cuadro, con el eje real positivo horizontal hacia la derecha. Las zonas
mas claros indican mayor cercana al ojo del observador. La discontinuidad de u se observa en la region de
mayor contraste claro/oscuro.
1
0.5
0.5
-0.5
-0.5
-1
-1
-1
-0.5
0.5
-1
-0.5
0.5
z.
Es interesante hacer notar que si continuamos incrementando , desde 2 hasta 4, ambas u y v vuelven
a coincidir. En otras palabras, luego de dos vueltas alrededor de z
0, la funci
on f coincide y el manto
(superficie) empalma el borde inicial. Esta propiedad se observa claramente en la Tabla I, al constatar que
u iv para 0 y 4 son identicas.
n
Resulta evidente entonces que, en general, la superficie formada por f z
z z 1 n se cierra luego
de n vueltas alrededor de z 0. Esta idea, observada originalmente por Riemann, lleva a la construccion de
lo que se denomina hoja de Riemann. El empalme de estas hojas lleva a la superficie de Riemann.
Las hojas de Riemann se construyen identificando los puntos de rama (branch points), es decir aquellos
puntos en C en torno a los cuales un seguimiento de la funci
on a su alrededor lleva a un valor distinto al
del punto de partida. En la Fig. (1.20) se ilustra un punto z en torno al cual una funci
on f z exhibe una
discontinuidad luego de una vuelta en 2. Una vez identificado el punto de rama y una direccion del corte,
Discontinuidad
zo
Corte
Punto de rama
U de Chile
34
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
f z
f r,
:
:
2n
4
2n
La uni
on de estas hojas se realiza en los cortes. La uni
on de todas estas hojas conforma la superficie de
Riemann. En el caso de raices n-esimas, el numero de hojas de Riemann distintas es finita, en tanto que
potencias irracionales y logaritmos conllevan a infinitas hojas: la superficie nunca se cierra.
En el caso del logaritmo, lnz ln z i, la parte imaginaria tiene una discontinuidad en cada ciclo. En
la Fig. (1.21) se ilustra la parte real de ln z (izquierda), un ciclo de la parte imaginaria (centro) y el empalme
de tres de ellas (derecha). La coleccion de infinitas hojas definen la superficie de Riemann. Lo interesante
es que esta construccion permite la continuidad de la funci
on en toda la superficie, a pesar de que hayan
cortes.
-2
2
1
2-2
1
0
-1
-1
0
0
-1
2
-2
-1
-2
0
-2
2
1.5
2
-4
0.5
0
-2
-1
-1
0
1
2
-2
Fig. 1.21: Re ln z (izquierda), una (centro) y tres hojas (derecha) de Riemann para Im ln z .
1.14.
Cuando el integrando de una integral de variable compleja es multivaluada hay que tener cuidado de no
pasar inadvertidamente sobre discontinuidades. En particular, la relaci
on
f z dz
2i
Res f zj ,
j
FCFM
35
U de Chile
M
etodos Matem
aticos para la Fsica
con 0
f z
R
+i
(+)
corte
()
i
0.
0. Se encuentra que
0.
Podemos escribir
2i
R
in
z1
ei
e3i
z2
zp 1
z1 z
z1p
zp 1
z z2
z2
z1
1 p
z
2i 1
z2
1 p
z
2 1
1 ip
e
2
z2 evaluamos el residuo:
z
U de Chile
Resf zj .
j
z1 evaluamos el residuo:
z
Para z
Para z
out
z2
zp 1
z1 z
z2
zp 1
z z1
36
z2p
z2
z1
1 p
z
2 2
1 3ip
e
2
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Res
k
e3ip
eip cos
p
.
2
parametrizamos z
Para
parametrizamos z
0
d ei ), con : 0
ei , (dz
ei
p 1 ei p 1 i
e d
2 e2i 1
p 1 e i p
2 e2i 2
, (dz
1 2
d ei
ei
. Entonces,
p 1
d
2 1
), con :
0 . Entonces,
e2ip
p 1
d
2 1
e2ip
0
p 1
d
2 1
2i eip cos
p
2
1.15.
p 1
d
2 1
p
cosec
2
2
Prolongaci
on analtica
Como ya hemos visto, las funciones analticas exhiben una serie de propiedades muy particulares, entre
las cuales resaltan que la integral sobre cualquier contorno cerrado es nula si este no enlaza singularidades;
que las integrales a lo largo de trayectorias diferentes con extremos comunes son iguales si una de las
trayectorias es deformable a la otra sin pasar por singularidades; que ellas pueden ser expandidas en series
de Taylor o de Laurent; o que ellas satisfacen la f
ormula integral de Cauchy,
f z
1
2i
f d
d .
z
Ademas de estos teoremas surgen otros que apuntan a la unicidad de las funciones analticas. En otras
palabras, dada una funci
on analtica f1 z definida sobre un dominio D1
C, entonces de las infinitas
funciones analticas definidas en D2 , s
olo una de ellas, f2 z , empalma completamente con f1 en D1 D2 .
Este argumento permite la prolongacion (o extensi
on) de cualquier funci
on analtica a regiones en el plano
complejo que van mas alla de su dominio original de definici
on.
C, analticas en una region S. Si f1 f2 en una vecindad de un punto
Teorema: Sean f1 z , f2 z : C
S (o segmento de curva en S), entonces f1 z
f2 z
z
S. La demostracion de este teorema es
z
bastante simple. Si f1 z
f2 z en una vecindad de un punto z
S entonces tambien lo son todas sus
FCFM
37
U de Chile
M
etodos Matem
aticos para la Fsica
Fig. 1.23: Expansiones de Taylor desde los bordes de los discos de convergencia.
derivadas en z . As, ambas conducen a identicos los coeficientes para sus respectivas series de Taylor. Si ellas
tienen radio de convergencia R1 , entonces ambas conducen a identicos coeficientes en sus expansiones en
torno a un punto z1 cerca de la periferia del disco de convergencia. Desde tal punto se expanden nuevamente,
dos nuevas series (identicas). Este procedimiento se repite, tomando puntos cerca del borde de los discos de
convergencia, hasta cubrir toda la region S.
Un corolario del teorema anterior es que el comportamiento de una funci
on analtica en S C esta completamente determinada por su comportamiento en una vecindad en torno a cualquier punto regular en S.
Por lo tanto, una funci
on analtica puede ser extendida mas alla de su dominio de definicion, siendo esta
prolongaci
on u
nica. Tal construccion se denomina extensi
on analtica o prolongaci
on analtica. Ilustremos
un par de ejemplos.
n
Consideremos f1 z
on esta definida para z
1, caso en que converge a
n 0 z . Esta expansi
f1 z
1 1 z . Para z
1, f1 queda indefinida. Por otro lado consideremos g z
1 1 z , funci
on
analtica definida para todo z
1. Claramente g z
f1 z para todo z
1. Por lo tanto, g z es la
1.
prolongaci
on analtica de f1 en la region z
zt
Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z
dt , expresi
on definida z
0 e
S1
z : Re z
0 , region en la cual f1 z
1 z. Bajo esta definici
on f1 z queda indefinida para
Re z
0. Por otro lado, consideremos la expansi
on
iy
Re{z}>0
x
|z+i|<1
f2 z
i
n 0
i
i
f2 .
expresi
on convergente a 1 z en la region S2
z: z C
z i
1 . Podemos decir entonces que f1 z
es la prolongacion analtica de f2 z en S1 , del mismo modo que f2 es la prolongacion analtica en S2 de
U de Chile
38
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
f1 z .
un de S1 y S2 . Si
Teorema: Sean f1 analtica en S1 y f2 analtica en S2 . Sea ademas B la frontera com
f1 f2 en B, con f1 contnua en S1 B y f2 contnua en S2 B, entonces
f1
f2
f z
es analtica en S1
S2
z
z
S1
S2
B
B
La demostracion de este teorema es directa haciendo uso del teorema de Morera, el cual establece que
si C f z dz 0, para todo C D, entonces f z es analtica en D. Consideremos entonces una trayectoria
cerrada, arbitraria que pasa por las dos regiones S1 y S2 , como se ilustra en la Fig. (1.25). Demostraremos
que C f z dz
0 para C arbitraria. Puesto que f1 y f2 son contnuas en el borde, es valida la siguiente
S2
C2
C1
S1
f1 z dz
C1
f2 z dz .
C2
Puesto que f1 y f2 son analticas en sus dominios respectivos, las integrales sobre C1 y C2 son nulas, por lo
que C f z dz 0. Claramente la nulidad de esta integral esta garantizada si C se mantiene en cualquiera
de los dominios S1 o S2 .
Un corolario de este teorema es el llamado principio de reflexi
on de Schwartz que prescribe una forma
de extender analticamente una funci
on definida en una regi
on del plano complejo. Denotemos por C el
R
C, analtica. Si
semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C
ademas f z
f z para z R, entonces la funcion g : C
C, definida por
g z
FCFM
u x, y ,
b x, y
b y, y que a y
39
v x, y .
b x.
U de Chile
M
etodos Matem
aticos para la Fsica
1.16.
Relaciones de dispersi
on
La condicion de Cauchy-Riemann establece relaciones diferenciales (locales) entre las partes real e imaginaria de una funci
on analtica. En contraste, las relaciones de dispersi
on permiten establecer relaciones
integrales (globales) entre ellas. A tales relaciones tambien se les reconoce como representaciones espectrales, relaciones de Kr
oning-Kramers o transformaciones de Hilbert. Consideremos una cantidad
0. Consideremos
fsica analtica en el semiplano complejo superior. Podemos suponer que lm
entonces la integral sobre una semicircunferencia (infinita) C abarcando el semiplano complejo superior. Si
es real, entonces
d
Por lo tanto,
Descomponiendo
Re
1
P
Re
Im
1.17.
d
.
Im d
;
Re d
.
M
etodo del descenso m
as empinado (steepest descent)
(1.17.4)
g z dz ,
eu cos v
i sin v
iv, entonces
(1.17.5)
U de Chile
1
f z
2
f z
40
(1.17.7)
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
u steepest
v constante
Plano Complejo
Plano Complejo
z z
f z
rei
2Rei
f z
r 2 R ei
f z
(1.17.8)
f z
r2 R cos 2
f z
r R sin 2
(1.17.9)
0, 1, 2, 3
n
2
.
2
(1.17.10)
C
Fig. 1.27: A lo largo de C1
rR2
f z
1
z
2
t2
f z
(1.17.11)
t2
g z dz
ef
FCFM
t2
g z dz .
(1.17.12)
41
U de Chile
M
etodos Matem
aticos para la Fsica
C1
t>0
z(t)
zo
C3
z=z o+
t<0
t
e i
R
t i1
e
R
dz
ei1
dt .
R
(1.17.13)
ei1
R
t2
t i1
dt .
e
R
g z
(1.17.14)
f z
donde hemos sustituido 2R por f z
y utilizado
e
t2
dt
(1.17.16)
z dz .
ln z
z ; g z
ln z z
1. Entonces,
0:
f z
U de Chile
1
z
f z
42
0 para z
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Evaluamos f z en z ,
1
z2
f z
Identificamos :
n 2
1
2
f z
1 i
e
2
f z
2. Para
yn
1 tenemos 1
ei1
1.
ln 1
2
1 2
ei0
2 e
ln 1
FCFM
2 e
1
ln 1
N !, con lo cual
N ln N
43
N.
U de Chile
U de Chile
M
etodos Matem
aticos para la Fsica
44
FCFM
Captulo 2
Mas adelante nos avocaremos al estudio de ecuaciones del tipo 2 0, 2 k 2 0, etc. En muchos casos es posible reducirlas a ecuaciones diferenciales ordinarias, conducentes a expansiones en terminos
de funciones especiales. El grado de convergencia de estas expansiones esta en gran medida condicionada
a la afinidad entre las simetras del problema y la base de funciones especiales a expandir. Resulta adecuado entonces hacer una breve revisi
on de consideraciones generales en el manejo de coordenadas curvilineas
ortogonales.
Nuestro punto de partida lo constituyen las coordenadas rectangulares o cartesianas. En ellas, un
punto P queda caracterizado por tres parametros geometricos, x, y, z , que denotaremos genericamente
por x1 , x2 , x3 . El mismo punto P puede ser descrito por otro conjunto de parametros tales como r, , ,
, , z , etc. Denotaremos a cualquiera de estos por u1 , u2 , u3 . As como las coordenadas rectangulares y esfericas, o rectangulares y cilndricas pueden relacionarse entre s, suponemos relaciones funcionales
x1 , x2 , x3 # u1 , u2 , u3 , es decir
x1
f1 u 1 , u 2 , u 3 ,
x2
f2 u 1 , u 2 , u 3 ,
x3
f3 u 1 , u 2 , u 3 .
u3
F3 x1 , x2 , x3 .
F1 x1 , x2 , x3 ,
u2
F2 x1 , x2 , x3 ,
x1
u1
x2
u1
x3
u1
x1
u2
x2
u2
x3
u2
x1
u3
x2
u3
x3
u3
45
M
etodos Matem
aticos para la Fsica
y = Cte
= Cte
z = Cte
= Cte
x
Fig. 2.1: Superficies coordenadas en coordenadas rectangulares y esfericas.
2.2.
Coeficientes m
etricos
dr
ds
r
du2
u2
r
du3
u3
r
duj
uj
Notar que r uj es tangente a la lnea uj , vale decir, aquella lnea desde el punto P que surge de
incrementar uj manteniendo el resto de las coordenadas jijas. Definamos
aj
r
uj
aj
aj
ej
Claramente entonces,
e3 e2
e1
u1
Fig. 2.2: Vectores unitarios asociados a coordenadas ortogonales.
ds
ai aj dui duj
i,j
U de Chile
gij
46
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Un sistema se dice ortogonal cuando los ei son ortogonales entre s. En tal caso los coeficientes gij
conforman una matriz diagonal, i.e. gij gii ij . En tal caso se tiene
ds
ds2
g11 du1
ds1
g22 du2
ds2
g33 du3
ds3
Esta relacion exhibe la misma estructura que el teorema de Pitagoras. Observamos que los elementos de
longitud dsi escalan con dui via un factor de escala hi ,
hi dui
dsi
En coordenadas rectangulares, g11
g22
g33
gii dui ;
(i=1,2,3).
1.
Para obtener los coeficientes metricos de un cierto juego de coordenadas supongamos que las coordenadas cartesianas xi dependen de coordenadas ortogonales uj . Vale decir, xi xi u1 , u2 , u3 , para i 1, 2, 3.
Podemos escribir entonces,
ds2
dxk dxk
k
k
i
gij du du
xk
dui
ui
xk
duj
uj
ij
xk
ui
xk
uj
dui duj
ij
2.3.
xk
ui
xk
.
uj
Elementos geom
etricos
ds
FCFM
hi dui
hi hj dui duj
elemento de lnea
elemento de area
47
elemento de volumen
U de Chile
M
etodos Matem
aticos para la Fsica
Las conocidas expresiones para el gradiente, divergencia y rotor en coordenadas curvilneas surgen de estas
representaciones.
Antes de continuar revisemos los resultados que arrojan las definiciones anteriores para las coordenadas
cilndricas. En tal caso las coordenadas x, y, z se relacionan con , , Z mediante
x1
x2
x
y
cos
sin
x3
De estas se obtienen
x2
y2
arctan y x
z
h2
k
Es facil verificar x
obtienen h , y hZ
cos ; y
sin ; y z
1. De esta forma resulta directo
ds2
2.4.
d2
2 d2
.
0, con lo cual h
1. En forma analoga se
dZ 2 .
Operadores diferenciales
A1 e1
1
h1 h2 h3
e1
h1
u1
A2 e2
e2
h2
A1 h2 h3
u1
1
h1 h2 h3
48
.
u3
h1 A2 h3
u2
h1 A1
U de Chile
e3
h3
A3 e3 , entonces
h1 e1
u2
h2 e2
2
h2 A2
h1 h2 A3
u3
h3 e3
3
h3 A3
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1
h1 h2 h3
u1
h2 h3
h1
u1
u2
h3 h1
h2
u2
u3
h1 h2
h3
u3
A modo de ilustraci
on, calculemos el laplaciano en coordenadas cilndricas. En este caso vimos que
h 1; h2 h ; y h3 hZ 1, con lo cual h1 h2 h3 . Sustituyendo,
h1
2.4.1.
1 2
2 2
.
Z2
El gradiente
u1 , u2 , u3 y calculemos su variacion bajo variaciones arbitrarias
du1
du2
du3 .
1
2
u
u
u3
Estas mismas variaciones en las coordenadas definen un desplazamiento infinitesimal ds dado por
d
ds
e1 h1 du1
e2 h1 du2
e3 h1 du3 .
Definiendo convenientemente
e1
1
h1 u 1
e2
1
h2 u 2
e3
1
,
h3 u 3
ds cos ,
d ds Max .
la de , entonces 0 y dMax
2.4.2.
A dS .
Aqu, dS d
n, con d un elemento infinitesimal de superficie de , con n
la normal exterior en el punto.
La integral anterior se puede descomponer en la suma de dos contribuciones, una sobre una superficie 1
FCFM
49
U de Chile
M
etodos Matem
aticos para la Fsica
dS
dS
dS
dS 1
dS2
2
Fig. 2.4: Integral sobre una superficie cerrada y su equivalente en dos contribuciones.
on de ambas reconstituyen la superficie original y sus normales en la region de
y otra sobre 2 . La uni
contacto apuntan en sentidos opuestos, garantizando la cancelaci
on de las contribuciones mutuas. Entonces,
!
!
A dS
A dS .
i
i
i
i
1 !
A dS
0
lm
A dS
Ak Sk .
k 1
Sumemos el primer par de caras opuestas (la 1 segun e1 y la 6 segun e1 ). Los campos en la cara 1 se
evaluan en u1 u1 , u
2 , u3 , mientras que en la 6 en u1 , u
2 , u
3 . Aqu u2 y u
3 representan valores medios
de las coordenadas. El elemento de area (vectorial) en la cara 1 es S1 e1 h2 h3 u2 u3 , mientras que en
la cara 6 es S6
e1 h2 h3 u2 u3 .
U de Chile
A1 S1
A6 S6
A1 h2 h3
u1 u1
A1 h2 h3
50
u1
u2 u3
u2 u3
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
u3
()
d 1
u2
d1(+)
u1
Fig. 2.5: Suma de los flujos en dos de las seis caras de una celda infinitesimal.
0, obtenemos
A1 h2 h3
h1 h2 h3 u1
u1 u1
1
h1 h2 h3
u1
A1 h2 h3
.
u1
Un procedimiento analogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen
A
1
h1 h2 h3
A1 h2 h3
u1
A2 h1 h3
u2
A3 h1 h2
u3
y, u3
z, h1
h2
h3
1.
Si el flujo neto por unidad de volumen es nulo, entonces todo el flujo entrante a una celda infinitesimal sale
de este. Tales campos tienen divergencia nula.
2.4.3.
El laplaciano
1
h1 h2 h3
u1
h2 h3
h1 u 1
h3 h1
h2 u 2
u2
u3
h1 h2
h3 u 3
FCFM
x2
y2
51
.
z2
U de Chile
M
etodos Matem
aticos para la Fsica
2.4.4.
d .
Para efectos de esta integral, el camino C original se puede descomponer en la suma de dos trayectorias
C
C1
C2
C1
A d .
i
C2
Ci
W
i
1
i
i n
i
A d
i
Ci
n
i
i
Ci
En la u
ltima igualdad hemos introducido un vector normal unitario n
i cuyo sentido obedece la regla de
la mano derecha aplicada a la circulaci
on de la i-esima celda elemental. Al pasar al lmite de infinitas
subdivisiones se obtiene el conocido Teorema de Stokes,
W
A d
C
donde se ha definido
lm
A d ,
A d .
C
De esta definicion resulta evidente el significado del rotor como una medida de la circulaci
on de un campo
vectorial por unidad de superficie. Para el calculo de las tres componentes vectoriales del rotor es necesario
analizar la circulaci
on en circuitos elementales perpendiculares al ei correspondiente.
U de Chile
52
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
e3
u +du
(c)
3
(b)
(a)
e2
(d)
2
u +du
e1 .
Ai i .
Aa a
Ab b
Ac c
en la
Ad d .
i a,b,c,d
h3 A3
u2 u2
u2
u3
h2 A2
h2 A2
u3 u3
u3
u2 .
a,b,c,d
1
h2 h3
h3 A3
u2
h2 A2
u3
Este procedimiento se aplica de igual forma para las otras dos componentes. Ello conduce la expresion para
el rotor resumida en la Ec. ( 2.4.1), que en el caso de coordenadas rectangulares conduce a
FCFM
Az
y
53
Ay
.
z
U de Chile
U de Chile
M
etodos Matem
aticos para la Fsica
54
FCFM
Captulo 3
La delta de Dirac
La delta de Dirac fue introducida por Dirac en los anos 20 del siglo pasado y ha sido utilizada
extensivamente por los fsicos desde entonces. Su formalizaci
on matematica ocurre bastante despues, hacia los
a
nos 50, por Laurent Schwartz con la introducci
on de la teora de funciones generalizadas o distribuciones.
En esta seccion revisaremos algunas nociones acerca de delta de Dirac funci
on sin profundizar demasiado en
sus aspectos formales.
3.1.
Definici
on
La delta de Dirac es introducida para representar cierto tipo de infinitos y sus argumentos son variables
reales. Ella se denota mediante la letra griega y se define mediante
0
para x
x dx
f 0 x dx
f x x
f 0
a dx
f 0 .
x dx
f 0 . De este resultado es
f a .
Estos resultados son tambien validos cuando f representa vectores u operadores. Con respecto a los lmites de
55
M
etodos Matem
aticos para la Fsica
integraci
on, estos no necesariamente deben ir desde
a , pudiendo tambien ser finitos. Por simplicidad
en la escritura omitiremos los lmites de las integrales en el subentendido de que ellos no son ambiguos.
3.2.
Propiedades
x2
a2
f x x
x x
(3.2.1a)
(3.2.1b)
x
0
1
x
a
1
x a
2a
f a x a
b dx
x f x dx
x x
(3.2.1c)
x
(3.2.1d)
(3.2.1e)
(3.2.1f)
f 0
(3.2.1g)
(3.2.1h)
f x
k
1
f xk
xk
(3.2.1i)
con xk cero de f x
Para la primera de ellas consideremos una funcion f x arbitraria y hacemos el cambio de variable
x. Entonces
z
f x
x dx
f 0 z dz
z z dz
f x x dx .
x.
dx
xf x
x dx
xf x
x 0
0.
U de Chile
1
a
z
z dz
a
56
1
a
f 0 z dz
f z
1
z
a
0. Ademas
dz .
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
a2 dx
f x x2
a2 dx
f x x2
a2 dx
0
0
x2
a2 dx
x2
f a
a2 dx
a2
dx
dz
2 z
a2
x2
a2 , con lo cual dz
1
.
2a
Un procedimiento analogo se aplica para la segunda integral y que conduce a un identico resultado.
Por lo tanto,
1
1
f x x2 a2 dx
f a
f a .
2a
2a
De esto se infiere entonces
1
x2 a2
x a
x a
2a
Las demostraciones del resto de las propiedades quedan propuestas.
3.3.
Representaciones
Las propiedades anteriores son bastante generales y resultan independientes de las representaciones
utilizadas para la delta. Las representaciones de la delta son construcciones basadas en funciones ordinarias
en la forma de sucesiones. Normalmente, las propiedades exhibidas por la delta son obtenidas por tales
. Los siguientes tres ejemplos constituyen representaciones del la delta de
sucesiones en el lmite n
Dirac.
2 2
n
e nx ;
lm
x
n
sin nx
;
x
lm
n
x
1
n
x
lm
n
1 n2 x2
Es importante tener presente que en el uso de las representaciones, las integrales se realizan primero y luego
se toma el lmite n
. El orden no conmuta.
En muchas aplicaciones de la fsica no encontraremos con las siguientes representaciones equivalentes
de la delta:
1
x x
eik x x dx
2
sin K x x
x x
lm
K
x x
1
x x
lm
0 2
x x 2
FCFM
57
U de Chile
U de Chile
M
etodos Matem
aticos para la Fsica
58
FCFM
Captulo 4
4.1.
El Teorema de Dirichlet
sN
converge a
1
2
f x
f x
an
bn
an cos nx
cuando N
1
bn sin nx
n 1
f x cos nx dx
0, 1, 2,
f x sin nx dx
1, 2, 3,
a
2
an cos nx
bn sin nx .
n 1
59
M
etodos Matem
aticos para la Fsica
funci
on es contnua en el intervalo
L, L , entonces
a
2
f x
an cos
nx
L
bn sin
f x cos
nx
L
dx
0, 1, 2,
f x sin
nx
L
dx
1, 2, 3,
n 1
nx
L
donde
1
L
an
1
L
bn
L
L
L
L
En vez de hacer uso de funciones trigonometricas en las expansiones anteriores, muchas veces resulta practica
su expansi
on en terminos de las funciones exponenciales de argumento complejo. Si representamos cos p
eip e ip 2, sin p
eip e ip 2i, obtenemos
a
2
f x
1
2n
nx
L
an e i
nx
L
ibn ei
nx
L
nx
L
cn e i
nx
L
0)
a
2
an
c
cn
c
i bn
2
an
i bn
2
Una forma mas directa de obtener los coeficientes cn , partiendo directamente de f x y por tanto prescindiendo de los coeficientes an y bn surge directamente del siguiente desarrollo:
cn e i
f x
nx
L
f x e
imx L
dx
cn
dx
L
n
L
mx
L
ei
n m x L
dx .
2Lnm
4.2.
1
2L
f x e
imx L
dx .
Bases de funciones
U de Chile
60
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
ci bi .
F
i 1
A este punto solo F y los elementos de la base son conocidos. Para obtener los coeficientes ci nos valemos
del producto interno y de sus propiedades lineales. Multiplicando por bk a ambos lados obtenemos bk F
N
ck . Notese la notable similitud entre este procedimiento y el empleado para obtener
i 1 ci bk bi
los coeficientes cn en la serie de Fourier. La analoga se hace evidente al establecer un paralelo entre los
elementos bn de la base en RN y las funciones
einx L como elementos de una base de funciones. La
analoga es completa al introducir un producto interno entre funciones. El despeje realizado para obtener
on de Fourier sugiere el producto interno en este caso.
los coeficientes cn en la expansi
Para el ejemplo recien visto definimos los siguientes elementos de la base de funciones,
1
einx
2L
n x
f g
x g x dx .
f f
f g
g h
f g
f h
f h
f h
f x
cn n x
k x
n
L
L
dx
L
k x f x dx
cn
L
k x n x dx
ck ,
f x
n
n x f x dx
n x
dx
L
n x n x
f x .
cn
FCFM
61
U de Chile
M
etodos Matem
aticos para la Fsica
A esta relacion se le denomina completitud, que en el caso de la base de Fourier toma la forma
x
1
2L
ein
x x
Es importante tener presente que la definicion del producto interno permite el uso de intervalos arbitrarios
a, b , no necesariamente acotados, consistentes con el dominio de las funciones a estudiar. Para tales casos
L
b
hacemos simplemente L
dx
dx.
a
4.3.
1 i
e
2L
x
n
n L x
2L ei
n L x
Nos interesa preservar esta propiedad pero dando cabida a un intervalo infinitamente extenso en x. La suma
se realiza sobre el ndice discreto n, de modo que si definimos kn n L, kn L, entonces podemos
reescribir la identidad anterior
x
kn
kn
1 ikn
e
2
1
2
eik
dk .
k x
1
eikx ,
2
k x k x dk .
Examinemos la condici
on de ortogonalidad, que para la base discreta de funciones expresamos
nm . Esta vez consideremos
k x p x dx
1
2
ei
p k x
dx
L
L
n x m x dx
p ,
2 k p
U de Chile
62
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
(4.3.1)
C k k x dk ,
(4.3.2)
f x k x dx .
Esta integral esta totalmente definida si es que resulta acotada. En tal sentido examinemos,
C k
Entonces, si
f x k x dx
1
2
f x dx .
Hasta ahora s
olo hemos ilustrado la extensi
on de las series de Fourier a rangos espaciales infinitos.
Vimos que mediante este recurso de tambien posible expresar funciones como la superposicion de funciones
armonicas representadas por exponenciales de argumento imaginario [c.f. Ec. ( 4.3.1)]. Los coeficientes de
tales superposiciones, los C k , exhiben una estructura bastante similar a la funci
on original [c.f. Ec. (
4.3.2)]. En cierta forma tales elementos C k contienen la misma informacion que la funci
on de partida
f x , constituyendo una representaci
on alternativa de la funci
on de partida f .
4.4.
Transformada de Fourier
F k
f x e
ikx
dx .
FCFM
1
2 3
"
d3 rf r e
63
ik r
U de Chile
M
etodos Matem
aticos para la Fsica
f2
F f1
F f2
f
F f x , entonces f
F f
F f x , entonces
1 k
f
F f x
4.4.1.
2.
El teorema de convoluci
on
Rx
(4.4.3)
x f x dx .
1
2
dx e
ikx
dx R x
xf x .
La integraci
on dx dx abarca todo el plano R2 . Cambiando variables: x, x
dX dX . Por lo tanto,
X x, entonces dx dx
k
U de Chile
1
2
dX e
ikX
RX
dX e
64
ikX
f X
X, X , con X
x,
k f k .
2 R
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Por lo tanto,
k f k ,
2 R
4.4.2.
Relaci
on de Parseval
Esta es otra de las relaciones importantes en las transformadas de Fourier, cuyo uso es extensivo en
optica y en el estudio de fen
f k g k dk .
x g x dx
Esta simetra notable tiene implicaciones muy importantes en la construccion de representaciones en mecanica
cuantica. Para demostrarla consideremos
f x
1
2
f k eikx dk ,
1
2
g x
g k eik x dk .
Entonces,
f
x g x dx
1
2
dx
f k e
ikx
dk
g k eik x dk
x g x dx
1
2
La integral en dx conduce a 2 k
dk f k
dk g k
dx ei
k x
f k g k dk ,
x g x dx
el resultado esperado.
En la discusi
on reciente acerca de bases de funciones, introdujimos la noci
on de producto interno de
funciones. En ella f g
f g dx. Tambien vimos que la transformada de Fourier contiene la misma
informacion contenida en la funcion de partida. La relaci
on de Parseval refuerza la nocion de un ente mas
on en el sentido convencional. El
abstracto, f , que proyectado adecuadamente toma la forma de una funci
producto interno no depende de la representacion adoptada para f , sea esta en espacio el real x o en el
espacio de Fourier k.
4.4.3.
FCFM
65
U de Chile
M
etodos Matem
aticos para la Fsica
k Vc k
3 2
1 r, de modo que
2 1
.
k2
(4.4.4)
4
k .
k2
(4.4.5)
Por lo tanto,
2
2 3
r2 dr r
sin d e
ikr cos
La integraci
on en se realiza facilmente, conduciendo a
2 1
k
r dr r sin kr .
0
2
k
r dr sin kr
2
k
dr sin kr .
0
sin kR k
2 R2
j1 kR ,
k
sin t
dj0
,
j1 t
.
t
dt
Estas dos u
ltimas corresponden a las funciones esfericas de Bessel de orden 0 y 1, respectivamente. Si
4
3
Zq, entonces se obtiene
normalizamos la densidad de carga a Zq, vale decir,
3 R
j0 t
2 Zq 3 j1 kR
.
k2
kR
Esta factorizaci
on para la transformada de Fourier de una distribuci
on extendida es deliberada (en este
0.
ejemplo). La idea es examinar el caso lmite de una distribuci
on uniforme en un entorno esferico con R
Se puede verificar que
j1 t
1
lm
,
t 0
t
3
U de Chile
66
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
con lo cual,
2 Zq
,
k2
k
lm
coincidente con el resultado debido a una fuente puntual por s sola [c.f. Ec. ( 4.4.4)] luego de hacer Zq
1.
Antes de abandonar este ejemplo resulta instructivo hacer contacto con un planteamiento alternativo
Recordemos que el potencial electrostatico satisface la ecuaci
para la obtenci
on de .
on de Poisson,
2 r
4 r .
(4.4.6)
Si definimos, separadamente,
r
1
2 3
k e
ik r
1
2 3
1
2 3
k e
k2
2
ik r
k e
ik r
ik r
4
k ,
k2
FCFM
67
U de Chile
U de Chile
M
etodos Matem
aticos para la Fsica
68
FCFM
Captulo 5
Ecuaciones diferenciales
Para la descripci
on cuantitativa de una enorme variedad de sistemas fsicos se recurre a ecuaciones
diferenciales, las que suponen que las propiedades a describir son funciones contnuas del espacio, del tiempo
u otro parametro caracterstico. Una primera clasificacion a estas ecuaciones permite subdividirlas en lineales
y no lineales. Por ahora nos ocuparemos de las ecuaciones lineales, las cuales tambien se subdividen en
elpticas, parab
olicas e hiperb
olicas. A modo de ilustraci
on mencionamos las siguientes ecuaciones segun
clasificacion. La forma de estas ha sido simplificada mediante reescalamiento de las variables, a fin de focalizar
la participaci
on de los operadores diferenciales.
Elpticas: en ellas todos los operadores de segundo orden tienen el mismo signo.
0
Laplace: 2
Helmholtz: 2
Poisson: 2
k2
Parab
olicas: en ellas alguno de los operadores de segundo orden esta ausente.
Difusi
on: 2 u
Schr
odinger:
tu
i t
Hiperbolicas: en ellas alguno de los operadores de segundo orden tiene signo opuesto al resto.
Ondas mecanicas: 2
Klein-Gordon: 2
m2
2
t
0
2
t
Todas estas ecuaciones constituyen un problema definido una vez que se especifican las condiciones de borde
(C.B.). Usualmente estas se traducen en valores de la funcion en los bordes (C.B. de Dirichlet), valores de
las derivadas en los bordes (C.B. de Newman), o mixtas.
69
M
etodos Matem
aticos para la Fsica
5.2.
Separaci
on de variables
El metodo de separaci
on de variables es una estrategia que permite estudiar en forma sistematica
problemas que involucren la suma de operadores diferenciales actuando sobre espacios diferentes. Con la
excepcion del problema de Poisson, todos las ecuaciones mencionadas anteriormente tienen la estructura
Dr Dt , donde Dr y Dt representan operadores diferenciales en las coordenadas espaciales y temporales,
respectivamente. Si se plantea una soluci
on del tipo r, t
R r T t , entonces
Dr R r
Rr
Dt T t
.
T t
Puesto que r y t son parametros independientes, necesariamente cada lado de la igualdad debe ser constante,
Dr R r
Dt T t
R r ,
T t .
Notar que el problema se ha reducido a un problema de valores propios y funciones propias. Si bien este
esquema tiene aspecto de ser de alcance ilimitado, sus limitaciones practicas radican en la implementacion
de las condiciones de borde. Como es de esperar, aquellos sistemas cuya simetra sea particularmente simple
permitiran el uso de funciones especiales que ayuden a una buena convergencia de la soluci
on. Ese no siempre
es el caso.
5.2.1.
Ecuaci
on de Laplace en un disco
Consideremos la ecuaci
on de Laplace para un campo f sobre un dominio circular bidimensional. El disco
f , con f una funci
on conocida
es de radio R, en cuyo contorno el campo esta dado por f R,
y el angulo polar en coordenadas cilndricas. En estas coordenadas la ecuaci
on de Laplace, 2 f
0, se
expresa
2
f
1 2f
f
f
1
2 2
2
Esta ultima ecuaci
on ha sido obtenida a fin de poder aplicar separaci
on de variables, para lo cual es necesario
U de Chile
c,
70
c ,
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
2 ,
para lo cual necesariamente c debe ser positiva. As, denotamos c
2
k2
k 2 , con lo cual
Ak cos k
Bk sin k ,
k2 ,
p , con p una
k. Si k 0,
d ln .
Puesto que el centro del disco es parte del dominio de la solucion. Si ademas exigimos regularidad de la
0 para todo k
0. Todo lo anterior restringe la forma de las
solucion en todo este, necesariamente dk
soluciones fk k k ,
k
f ,
c A
fk ,
ck k Ak cos k
Bk sin k
R,
An cos n
Bn sin n Rn ,
n 1
y obtenemos
f d
1
Rn
1
Rn
f cos n d
f sin n d
A este punto el problema esta resuelto dado que se han obtenido todos los coeficientes necesarios
para la expansi
on. Buscamos ahora una forma mas compacta para la serie. Si reemplazamos los coeficientes
obtenidos en la expansi
on podemos verificar
f ,
FCFM
1
2
f d
n 1
n
Rn
cos n cos n
sin n sin n d
71
U de Chile
M
etodos Matem
aticos para la Fsica
f ,
n 1
cos n
se obtiene
d .
f ,
R2
R 2 2
d .
2 2R cos
A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario verificar que la
0, y que
solucion obtenida es efectivamente la soluci
on al problema. Ello implica constatar que 2 f
f R,
f . Ambas verificaciones quedan propuestas como ejercicio2 .
5.3.
La ecuaci
on de Bessel
0.
c2
1
2
z2
k2
0,
1 1
F
2 F
k2
0.
R F z ,
(5.3.1)
p2
En esta ecuaci
on se ha hecho uso de que R R , F
F y
z . Tal dependencia en s
olo una
variable permite el uso no ambiguo de la notacion d dx, o primas para las derivadas. Ademas, la suma
de los ultimos dos terminos del lado izquierdo de la ecuaci
on depende, en principio, s
olo de la variable z,
mientras que el resto solo de , . La independencia de estos dos juegos de variables exige que cada uno
de los terminos sea constante, es decir
z
k2
p2 z
0.
(5.3.2)
1 Consideremos S
n in
i n
i n . Si x
1 2 1 xn cos n
1
e in
1
1 entonces
1x e
1 xe
1 xe
podemos hacer uso de las expresiones para la serie geometrica infinita. Luego de sustituir y simplificar se obtiene S
1 x2
.
1 x2 2x cos
2 Hacerlo.
U de Chile
72
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1 d
R
R d
1
F
F
2 p 2
n2
d
dz
2 p 2 R
0.
, escribimos
p ; n
z
n2 R
dR
dz
2 R
0,
z2 R
(5.3.3)
la ecuaci
on de Bessel en coordenads cilndricas. En esta ultima permitimos que el parametro tome
cualquier valor. Para el caso particular del ejemplo introductorio este es un entero.
5.3.1.
Funciones de Bessel
Rz
ak z k
zr S .
k 0
Entonces,
rz r S
zR
zr
kak z k
k 1
r2 z r S
z zR
2rk
zr
k 2 ak z k .
k 1
Al sustituir en la ecuaci
on de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplificaciones se obtiene
r2
2rk
2 S
k 2 ak z k
k 1
B1 z
r
r
ak
0.
k 0
2
r2
2
ak z k
2rk
Bk z k
2 a
1
2 a1
k 2 ak ak 2
2
FCFM
73
U de Chile
M
etodos Matem
aticos para la Fsica
Si a
0, necesariamente r
Para r
a1
0. En este caso s
olo terminos pares participan en la serie.
ak 2
.
2 k k
ak
bm
con lo cual
bm
4m
1 m!
Todos los coeficientes resultan proporcionales a b , el cual puede ser definido a gusto. Es standard
definir
m
1
bm
.
b
2m
2 1
2 2 m 1
As entonces R z
J z , con
m
J z
m 0
z 2m
2
m!
(5.3.4)
lm
Yn z
dJ
d
cos
dJ
d
J sin
cos
1 dJ
d
n dJ
ln
Aqu se denota,
lm
z
2
Jn z
1
2
1
3
(serie regular en z)
ln n
0.577216 ,
U de Chile
, con a
74
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Para r
1 resolvemos ak ,
ak
a2m
ak 2
r 2 2
k
1,
0, 1,
con m
ak
1 2
, se obtiene
bm 1
.
4 mm
bm
Se observa entonces la serie generada por los coeficientes impares coincide con la generada por
los coeficientes pares. En esta lnea, no estamos mas que replicando lo obtenido.
0.75
0.75
0.5
0.5
0.25
0.25
2
10
-0.25
10
-0.25
-0.5
-0.5
-0.75
-0.75
-1
-1
0, 2, 4.
z
2
1
1
n
2
z
ln
1!
z
2
2
z
Para efectos de estimaciones no esta de mas tener presentes los primeros ceros de la funci
on J z : {2.40,
5.52, 8.65, 11.8, 14.9, ...}.
FCFM
75
U de Chile
M
etodos Matem
aticos para la Fsica
5.3.2.
La ecuaci
on diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la
siguiente forma
x2 y
2 x2
xy
0.
2 y
2 x2
xy
0.
2 y
En este caso las soluciones son del tipo J ix e Y ix , conducentes a las funciones modificadas de
Bessel. En este caso es usual definir
i J ix
I I
2 sin
I x
K x
1er tipo
2do tipo
Estas funciones se ilustran en la Fig. (5.3) para 0, 2, 4. Con lnea contnua se grafican los casos
mientras que las de segmento largo y corto corresponden a 2 y 4, respectivamente.
10
10
0.5
1.5
2.5
3.5
0.5
1.5
2.5
3.5
Fig. 5.3: Funciones modificadas de Bessel del primer (izquierda) y segundo (derecha) tipo para n
0,
0, 2, 4.
U de Chile
76
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
5.3.3.
Diferenciaci
on y recurrencia
(5.3.5a)
(5.3.5b)
zJ
zJ
2 z J
d
z J
dz
d
z J
dz
z J
z
(5.3.5c)
(5.3.5d)
(5.3.5e)
z 2k
2
dJ
dz
k!
k 0
2k
1
2
f1 f2
f1 f2
f1
f2
det
f1
f2
(5.3.6)
0.
z2
2 u
z2
2 v
v
z
u
z
d
dz
dv
dz
d
dz
du
dz
d
zW u, v; z
dz
0.
A fin de ilustrar un posible uso de este tipo de identidades, considerese la derivada del cuociente v u,
d
dz
FCFM
v
u
uv
vu
u2
77
W u, v; z
.
u2
U de Chile
M
etodos Matem
aticos para la Fsica
A, entonces
v
u
A
zu2
J ; v
u B
dz
zu2
Y ; con lo cual
J B
dz
zJ2 z
5.3.4.
Una identidad
util
En la manipulaci
on de expansiones que involucran funciones de Bessel es usual encontrarse con la
integral
I ,
xJ x J x dx
xJ2 x dx
x2
(5.3.7)
2 2 J2 x
Para su demostraci
on consideremos las ecuacions diferenciales para J x y J x , denotadas por simplicidad como u x y v x respectivamente,
d
du
x
dx
dx
d
dv
x
x
dx
dx
2 x2
2 u
0;
2 x2
2 v
0.
Luego de multiplicar la primera de ellas por v x y la segunda por u x, restamos los lados correspondientes
para obtener
dv
d
x u
dx
dx
du
dx
2 xuv
con lo cual
x u
dv
dx
du
dx
xuv dx ,
0
xuv dx
R uv
vu
A este punto nos anticipamos a dos escenarios muy comunes. Uno de ellos es
es
.
xJ x J x dx
0;
U de Chile
78
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Para el caso
R
0
RJ R J R
RJ R J R
2
lm
xJ2 x dx
Tener presente que J denota derivada con respecto al argumento, a diferencia de la derivada con respecto
a x. Ellas difieren en una constante multiplicativa. As, derivando con respecto a el numerador y el
denominador obtenemos para el cuociente
J R
RJ R
RJ R
J R
2
A este punto sustituimos sin riesgo
y denotamos z
R
0
R2
2
xJ2 x dx
Utilizando la ecuaci
on z zJ
R. Entonces,
2
1
z J
zJ z
z 2 J , obtenemos finalmente
R
0
J z
1 2
R
2
xJ2 x dx
J z
2 z 2 J2 z
(5.3.8)
Como hemos visto, las funciones J z son oscilantes en z, lo que permite asociar a cada valor de una
. Si es tal que R coincide con uno de los ceros de J , entonces
coleccion de ceros z1 , z2 , z3 ,
R
0
xJ2 x dx
1 2
R J z
2
R
2
0
1 2 2
R J
2
xJ2 x dx
z .
Esta ultima relacion surge de la Ec. ( 5.3.5a) evaluada en un cero de J . Resumiendo, si Knm R
n-esimo cero de Jm z , entonces
R
n1 n2
5.3.5.
R2 2
J
2 m
Kn1 m R .
znm , el
(5.3.9)
La ecuaci
on de Laplace en una cavidad cilndrica
Resolvamos la ecuaci
on de Laplace 2 V
0 al interior de una cavidad cilndrica de radio b y altura
L. El potencial es nulo en todo el contorno salvo en una de las tapas, donde el potencial esta dado por una
funci
on conocida. Utilizamos coordenadas cilndricas con el eje z coincidente con el eje del cilindro, mientras
0. El potencial es una funci
on V
V , , z cuyas condiciones de borde
la tapa inferior se ubica en z
son
V , , L
f ,
V , , 0
V b, , z
0
0
FCFM
1 2V
2 2
79
V
z2
0.
U de Chile
M
etodos Matem
aticos para la Fsica
f o (,)
RF z ,
dR
d
1 1 d2 F
F 2 d2
1 d2
dz 2
0.
(5.3.10)
Antes de proseguir es conveniente anticipar el escenario. Primero, esperamos que F sea cclica, lo que
d2
necesariamente implica que el termino F debe ser negativo. Ademas, el termino 1 dz
2 necesariamente es
constante, quedando por determinar si es positivo o negativo. Si lo suponemos negativo ello conduce a
funciones modificadas de Bessel para R , lo que no es aceptable por las siguientes consideraciones:
K2
0, entonces z
AeKz
Be
Kz
dR
d
K 2 2
1 d2 F
F d2
0.
m2 F
A1 cos m
A2 sin m ,
d
d
dR
d
K 2 2
m2 R
0.
U de Chile
Jm K .
80
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Al exigir R b
0, entonces Jm Kb
0. Esta exigencia restringe K a valores tales que Kb coincidan
con las races de Jm z . A ellas las denotaremos por xnm , representando la n-esima raiz de Jm . As,
K
Knm xnm b. Esto nos permite escribir soluciones de la forma
Jm Knm Anm cos m
V , , z
Cada una de estas funciones satisface las condiciones de borde en la base y manto, de modo que una
combinaci
on lineal de todas ellas tambien:
Jm Knm Anm cos m
V , , z
m n
f ,
f , , es decir,
(5.3.11)
m n
A este punto conviene tener presente las siguientes identidades para n y n enteros,
cos m cos m d
mm
sin m sin m d
mm
sin m cos m d
Con ellas se puede proceder a despejar los coeficientes Anm y Bnm de la Ec. ( 5.3.11). Primero multiplicamos
por cos m e integramos en , conduciendo a
cos m f , d
El despeje definitivo es posible haciendo uso de la Ec. ( 5.3.9) de ortogonalidad de las funciones de Bessel.
b
obtenemos
Multiplicando por Jm Kn m e integrando 0 d
b
dJm Knm
0
d cos m f ,
As,
Anm
b
d f
0
2
b sinh K
, cos m Jm Knm
nm L
2
Jm
Knm b
5.4.
b2 2
J
2 m
Knm b .
(5.3.12)
sin m.
Ecuaci
on de Helmoltz con simetra axial
En la secci
on anterior abordamos las ecuaciones de Laplace y de Helmholtz en coordenadas cilndricas.
El uso de separaci
on de variables condujo a funciones arm
onicas (trigonometricas) para la variable angular
FCFM
81
U de Chile
M
etodos Matem
aticos para la Fsica
Resolvemos entonces 2
1
r2 r
k2
r2
0, con
1
r2
r, . En coordenadas esfericas r, , ,
1
sin
sin
k2
0.
Separando r,
R r P y denotando la constante de separaci
on por , se obtiene el siguiente juego
de ecuaciones para R y P ,
dR
k 2 r2
dr
1 d
dP
sin
sin d
d
d
dr
r2
0;
(5.4.13a)
0.
(5.4.13b)
u2
dP
du
0,
(5.4.14)
5.4.1.
u2
d2 P
du2
2u
dP
du
0.
(5.4.15)
De la misma forma a como se procedio para resolver la ecuacion de Bessel, resolvemos la ecuacion de
Legendre intentando una soluci
on en serie de la forma
P u
ur
ak u k
k 0
U de Chile
dP
du
82
rur
ak u k
k 0
ur
kak uk
k 1
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Entonces,
1
u2
dP
du
rur
ak u k
ur
k 0
kak uk
rur
k 1
ak u k
k 0
ur
kak uk
k 1
dP
du
u2
1 ur
r r
ak u k
rur
k 0
rur
kak uk
ur
k 1
1 ur
1
1 ak u k
k k
ak u k
rur
k 0
rur
k 1
k 1
r r
kak uk
kak uk
k 1
kak uk
ur
k 1
1 kak uk
k
k 1
2r k
1 k
1a
1 a1
ak
0;
0;
1
k r
r 2
r r
2r
1k
k k
ak .
k
2
r k r 1
k r 1 k
ak .
, ak 2
ak , lo que conduce a una funci
on divergente en u 1, es decir 0. Si
Notar que para k
0 no constituye una singularidad aceptable en el problema fsico, debemos imponer que la relacion de
recurrencia para los ak se interrumpa, lo que es factible si es de la forma l l 1 , con l un entero positivo
o nulo. Tomemos entonces l l 1 .
En rigor hemos de analizar cuatro escenarios que surgen de r r
Si a
0, entonces r
Si a1 0, entonces r
a 1 , a3 , a5 ,
.
1a
0yr r
1 a1
0.
El analisis de estas cuatro posibilidades permite demostrar que solo dos de ellas son independientes, conduciendo a series de potencias pares e impares en u. Ambas series pueden ser obtenidas exigiendo r
0.
As,
k k 1
l l 1
ak ,
ak 2
k 1 k 2
FCFM
83
U de Chile
M
etodos Matem
aticos para la Fsica
con a o a1 no nulos. Puesto que estos estan definidos salvo una constante, sus valores son estandarizados
de modo que conlleven a la serie
K
P u
Pl u
2l k! l
k 0
donde 2K
l (2K
2l 2k !
ul
k ! l 2k !
2k
dl u2l 2k
dul
2k
Pl u
(5.4.16)
5.4.2.
P u
P1 u
P2 u
u
3u2
1 2
P3 u
5u3
3u 2
(5.4.17a)
(5.4.17b)
(5.4.17c)
1 Pl
1 Pl
0
0
(5.4.17d)
(5.4.17e)
Pl
Pl
uPl
Pl
l
2l
Pl
Pl u
(5.4.17f)
1
2ut
t2
tl Pl u .
(5.4.18)
l 0
Por u
ltimo, los polinomios de Legendre satisfacen relaciones de ortogonalidad analogas a las vistas para las
funciones armonicas y de Bessel. En este caso
2
Pl u Pm u du
1
U de Chile
84
2l
lm ,
(5.4.19)
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1
1
du
u2 Pm Pl
u2 Pl Pm
mm
l l
1 Pl Pm
mm
0.
, se encuentra
l l
0,
du Pl Pm
1
5.4.3.
l. En el caso m
t2
dR
dt
t2
1 R
l l
0.
tp J t ,
t2 J
2 tJ
t2
pp
2
1, es decir p
t2 1 4
tJ
1 J
l l
1 J
l l
0,
1 2. De esta forma
0.
Finalmente imponemos 2
l l
1 4, de donde surge 2
1 2 2 . As,
1 2 ,
1
Jl
t
1 2
R2
1
J
t
l 1 2
t .
FCFM
2t
1 2
l 1
Jl
2t
1 2
1 2
t
J
85
l 1 2
Bessel;
(5.4.20a)
Newman.
(5.4.20b)
U de Chile
M
etodos Matem
aticos para la Fsica
j t
n t
jl
Bl nl kr Pl cos .
Al jl kr
l 0
5.5.
Ecuaci
on de Laplace en una cavidad esf
erica
Consideremos la ecuaci
on de Laplace al interior de una cavidad esferica de radio b. Los hemisferios
0,
estan sometidos a potenciales V y el sistema exhibe simetra axial. Resolvemos entonces 2 V
con V
R r P . Mediante separaci
on de variables, considerando los procedimientos discutidos en esta
+Vo
Vo
r2
dR
dr
r2
1
l l
Al rl
Bl
rl 1
Probando R r
rp , es directo verificar que p p
por lo que la soluci
on mas general se expresa
V r,
l l
l 0
0.
l; p
1,
Pl cos .
Regularidad en el origen exige que Bl 0. Para encontrar los coeficientes Al evaluamos el potencial en el
borde del cascaron, para el cual V b,
f u , con u
cos . Entonces, al igual como se ha hecho en
oportunidades anteriores,
Al bl Pl u .
f u
l 0
U de Chile
86
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Multiplicando por Pm u , integrando y haciendo uso de ortogonalidad [c.f. Ec. ( 5.4.19)] se obtiene
Al
2l 2
2 bl
f u Pl u du .
1
2k 3 2
b2k 1
P2k
u du .
5.6.
Los esf
ericos arm
onicos
En la secci
on anterior se abordaron los problema de Helmholtz y de Laplace considerando sistemas con
simetra axial. Ciertamente ese no es el caso general, por lo que se hace necesario abordar el problema donde
se haga manifiesta la dependencia en el angulo . Como es de anticipar, una forma de abordar este nuevo
problema es mediante separacion de variables.
Consideremos la ecuaci
on de Laplace para un campo y apliquemos separacion de variables de la forma
r, ,
R r P F . Entonces,
1 1 d
r2 R dr
r2
dR
dr
1 1
r2 P
1 d
sin d
sin
dP
d
1 d2 F
F d2
0.
m2
im
El resto del procedimiento es mas o menos anticipable. Para un valor dado de m se separan las dependencias
en R y en P . Nuevamente nos encontraremos con un problema para P el cual se resuelve mediante el metodo
de series, esquema que puede ser consultado en algun texto. Otro esquema tambien frecuente es aquel donde
se introducen operadores diferenciales de subida y bajada capaces de generar nuevas soluciones a partir de
soluciones basicas. En ambos casos se obtienen funciones soluciones de la parte angular , del laplaciano,
tpicamente denotadas de la forma Y , con un par de ndices adicionales. No redundaremos en estos
procedimientos. En cambio, seguiremos el esquema de Schwinger cuyo enfoque desde el punto de vista
conceptual es bastante interesante.
Una soluci
on elemental de la ecuacion de laplace, 2
solucion podemos generar otra que llamaremos 1 ,
1
r
ai
1
r
ai
0, es
xi
r3
1 r, (r
a r
.
r3
3 Hacerlo.
FCFM
87
U de Chile
M
etodos Matem
aticos para la Fsica
1x
y
;
r3
1y
z
.
r3
1z
a2 a1
1
r
3 a1 r a2 r
r5
a1 r
r3
a2
a1 a2 r 2
3xy
3y 2
r2
r2
3xz
3yz
3z 2
.
r2
l r
(5.6.21)
fl r ,
fl
r2l 1
1 fl r
r r2 l
1
fl r r 2
r
1 combinacion.
l 1
l 1 l 2 2. Al construir una
Con esto el numero total de combinaciones es 1 2
combinaci
on lineal fl de todos estos terminos y exigir que cumplan la ecuaci
on de laplace, x2 y2 z2 fl 0,
nos planteamos entonces el numero de polinomios homegeneos de grado l 2 independientes: l l 1 2.
Con ello, el numero de polinomios independientes de grado l que satisfacen Laplace es
1
l
2
U de Chile
1 l
1
l l
2
88
2l
1.
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Con estos argumentos esperamos formar 2l 1 polinomios de orden l que satisfacen la ecuaci
on de Laplace.
Para el caso l 2 surgen 5 polinomios, como vimos al comienzo.
olidos arm
onicos. Entonces,
Denotamos las soluciones de grado l por Yl r , llamados s
rl Yl r .
Yl r
1
Yl
r
1
r
r
1
Yl r .
rl 1
5.6.1.
Construcci
on de los esf
ericos arm
onicos
Nos planteamos esta vez bajo que condiciones el elemento a r l , con a un vector de tres componentes,
satisface la ecuaci
on de Laplace. Calculamos
a r
l a r
l 1
2 a r
l l
1 a r
l 2
a a.
a1 , a2 , a3 sea un vector
0.
a33
a1
2 ;
a1
2 ;
i a2
a3
z
r
Entonces,
1 2
2
2
1 2
2
2i
.
a1
a2
a3
Con esto es facil probar entonces
a r
Considerando
x
y
z
4 Un
FCFM
1
2
r sin cos
r sin sin
r cos
iy
r
iy
r
x iy r sin ei
x iy r sin e i
z r cos
89
U de Chile
M
etodos Matem
aticos para la Fsica
Entonces,
1
2
a r
2 sin ei
2 ei
2 sin
a r
2 cos
2 ei
2 sin
2 sin e
sin e
cos
1
l
sin e
cos
La expansi
on anterior es de la forma generica
Fl b, u
Fl b, u
k 0
2l
k 0
bk k
k! bk
2 ei
2 sin
l
m
bl m
l m!
l
m
1
l m!
l m l m eim
2l sinm l m !
l
a r
l!
b 0
l m
ul
l
1
u2
sin e
l m
ul
l
lm
entonces
m
l
bk k
u2
k! uk
a r
rl
u2
(5.6.22)
4
Y m , ,
2l 1 l
(5.6.23)
m!l
lm
m
l m
m l m
l m
u2
l m
m!
2l 1
4
l
l
m ! im 1
d
e
m!
sinm d cos
l m
cos2 1
2l l!
(5.6.24)
Puesto que los coeficientes lm son arbitrarios en la Ec. (5.6.2), las soluciones Ylm son soluciones separadas
de la ecuaci
on de Laplace. As, son soluciones de la ecuacion de Laplace los Ylm . En otras palabras,
1
sin
U de Chile
sin
2
1
sin2 2
90
l l
Ylm ,
0.
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Ademas de los Ylm , es frecuente encontrarse con la funcion lm , la cual esta definida por
1 im
e
lm .
2
Ylm ,
Para este caso se tiene
1
sin
sin
m2
lm
sin2
l l
0.
Con la definici
on anterior resulta directo
2l 1
Pl cos .
4
Yl0
Ademas,
1
4
3
cos
4
3
sin e
8
Y00
Y10
Y1
En cuanto a la notaci
on de los esfericos armonicos, ella no es unica. Es frecuente encontrarse con las
siguientes notaciones equivalentes,
Ylm ,
Ylm ,
Es tambien frecuente utilizar el vector unitario r para representar la dependencia en los angulos esfericos
, . As, Ylm ,
Ylm r .
5.6.2.
Relaciones de ortogonalidad
Entre las propiedades importantes de los esfericos armonicos figuran las relaciones de ortogonalidad,
d Ylm
, Ylm ,
ll mm
sin l m lm
ll .
Para la demostraci
on de la primera de ellas consideremos la integral
Ill
d a
a r
con a un vector nulo. El resultado de esta integral es un escalar que dependera de a , a y a a . Puesto
a a , que podemos expresar Ill D . Ante el
que a es nulo, entonces la dependencia sera solo de D
cambio a
a observamos que necesariamente
FCFM
l Ill D
Ill 2 D ,
91
U de Chile
M
etodos Matem
aticos para la Fsica
condicion que s
olo se cumple si Ill
ll . Entonces, para l
2l Ill D
Ill 2 D ,
Dl , de modo que
d a
a r
a l ll .
Cl a
(5.6.25)
En esta relaci
on los factores Cl son coeficientes numericos independiantes de a. Para su obtenci
on podemos
considerar la eleccion particular a
1, i, 0
a
1, i, 0 , con lo cual
a r
sin ei
r
a
sin ei
2.
a
a
cos , se obtiene
l , luego de sustituir u
2l
Cl
u2 l du .
u2 l du ,
para la cual
2l
De esta forma
4
Cl
con lo cual
d
l!
a r
l!
2l l! 2
.
2l 1 !
2l l! 2
,
2l 1 !
2l
2l
1!
a l ll .
(5.6.26)
Ahora buscamos una forma de introducir en esta identidad los esfericos armonicos Ylm .
Recordemos la Ec. (5.6.2) donde se introducen los esfericos armonicos. En ella
a r
l!
rl
lm
m
4
Y m , ,
2l 1 l
d
mm
2l
a
2l !
a l ll .
Es conveniente expresar el lado derecho de esta identidad en terminos de los coeficientes lm . Para ello
completar los siguientes pasos intermedios
5 Demostrarla.
U de Chile
92
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Demostrar que a
1
2
Utilizar la f
ormula del binomio para demostrar
a
2l
1 !m
2l !
m!l m!
l m
l m
Utilizar la definici
on de los lm [c.f. Ec. ( 5.6.22)] para obtener
a
2l !
2l m
lm lm .
l
, Ylm ,
mm
l y l)
l m lm ll mm .
m,m
, Ylm ,
ll mm ,
la relaci
on que buscabamos.
5.6.3.
Otras identidades
Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad.
Ellas son
Ylm , Ylm ,
lm
1
r
Pl r r
Ylm
5.7.
1
sin
4
rl
Y m r Ylm r
l 1 l
2l
1
r
lm
4
Y m r Ylm r
2l 1 m l
Ylm
Ylm r
Teorema de adici
on
Inversi
on
Teora de Sturm-Liouville
Muchos de los problemas estudiados hasta ahora se pueden reducir a ecuaciones diferenciales cuya forma
general esta dada por
d
du
px
q x u x u 0 .
(5.7.27)
dx
dx
6 Verificarlo.
FCFM
93
U de Chile
M
etodos Matem
aticos para la Fsica
P x
du
dx
Qxu
Rx ,
P x dx
Qx
x
q x
.
px
Lu
q x u,
0.
Esta ecuacion es de valores propios en el sentido de que las condiciones de borde y regularidad de las
soluciones u conlleva a un espectro de valores para . Supongamos que el intervalo de definicion de las
funciones es a, b y consideremos los autovalores j y k , tales que
L uj
j uj
uk
L uk
k uk
uj
Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene
d
p uj uk
dx
Al suponer j
puj uk
j uj uk
dx
a
k , entonces
b
uj uk dx
a
p uj uk
uj uk
b
a
Notemos que si
p uj uk
uj uk
p uj uk
uj uk
i.- u a
ub
ii.- u a
u b
iii.- u
iv.- u a
U de Chile
(5.7.28)
,
uk
b
a
uj uk dx. Las
0 (Dirichlet).
0 (Newman).
u
ub;u a
0 (Mixta).
u b , con a
b (Periodica).
94
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
Aceptando que las autofunciones de SL conforman un conjunto completo de funciones, entonces cualquier funci
on f x en el intervalo a, b se puede expandir de la forma
b
ck u k x ;
f x
ck
f x uk x x dx .
a
k 1
Para los casos estudiados y otros similares se observan las identificaciones mostradas en la Tabla (5.1).
En general toda autofunci
on SL, fn x , satisface una relaci
on con la n esima derivada de otra funci
on.
A esta se le reconoce como f
ormula generalizada de Rodrigues,
1
dn
x g x
an x dxn
fn x
G x, t
n 0
donde la funci
on G x, t es una expresi
on cerrada. Si bien existe una forma sistematica de obtener tales
funciones, nos remitiremos a los ejemplos cl
asicos en que participan los polinomios de Legendre y de Hermite.
Para ellos,
1
2xt
tn Pn x
t2
e2xt
n 0
x2
n
5.8.
tn
Hn x
n!
0
Ecuaciones especiales
Ecuacion
Bessel
Legendre
Legendre asoc.
Hermite
FCFM
pz u
q z u
0,
95
(5.8.29)
x
x
1
1
2
e x
1
nn 1
nn 1
2n
U de Chile
M
etodos Matem
aticos para la Fsica
con condiciones de borde definidas. Muchas ecuaciones de la fsica se pueden reducir a esta forma. Es
importante tener presente que no siempre se puede obtener una solucion a este problema. Existen casos en
los cuales las caractersticas de los terminos que participan imponen restricciones importantes en la obtenci
on
de las soluciones.
Un metodo para abordar este problema general es mediante el metodo de series debido a Frobenius y
Fuchs. La idea es buscar una soluci
on en torno al origen o cualquier otro punto de interes. El problema es
abordado siguiendo los siguientes esquemas alternativos.
ak z k .
uz
k 0
5.8.1.
Aplicaci
on del m
etodo de series
zp z
z2q z
bn z n ,
n 0
n 0
r n
1 cn z n
an z n
n 0
r cn z n
n 0
bn z n
n 0
cn z n
0.
n 0
Esta claro que para separar terminos de igual potencia es necesario multiplicar series. Para ello recurrimos al
n
n
n
siguiente procedimiento general. Si F
FG
n An z , y G
n Bn z , entonces H
n Cn z , con
n
Cn
An
m Bm
m 0
U de Chile
96
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
As entonces,
n
r n
1 cn
n 0
r an
bn
cm
zn
r an
bn
cm
0.
m 0
r n
1 cn
m 0
o bien,
n 1
r n
r a
b cn
r an
i
i
0
0
bn
cm
m 0
ss
i s
i s
sai
0
bi
sa
Entonces,
n 1
n cn
(5.8.30)
m cm ,
m 0
0 se tiene r c
relaci
on que permite obtener los coeficientes cn recursivamente. Al hacer n
Escogiendo c
0, entonces r
0, o bien
r2
1r
0.
0.
1
2
4b
r1
Re r2 , entonces Re r1
Re 1
r2
a
a .
r2
r2 no es entero.
0
0
Cuando esto ocurre, una segunda solucion no se puede obtener a partir de la ecuaci
on de recurrencia.
Ello es evidente7 luego de observar la Ec. ( 5.8.30) para los cn .
7 Examine
FCFM
esta observaci
on.
97
U de Chile
M
etodos Matem
aticos para la Fsica
pu
0,
qu
(5.8.31)
hu1 ,
p z dz
an z n dz
0
a ln z
n
Con ello
c
e
u21
h
Puesto que u1
z r1
n 0 cn z
a ln z
an
n
an n
z .
n
1
c
e
u21 z a
zn
an
n
zn
, entonces
c
z 2r1
e
a
an
n
zn
c
z 2r1
n
0 cn z
F z .
La funci
on F z es claramente regular. Considerando ademas r1 r2
a
1, ademas de r1
r2 N ,
entonces
c
F z .
h
1
z N
A este punto conviene tener presente que todos los coeficientes que definen F z son conocidos, de modo
que podemos expresar, sin perdida de generalidad,
n z n ,
cF z
n 0
con la cual
h
1
zN 1
zN
1 z
2 z 2
1
2
zN
zN 1
0
1
N ln z
zN
zN 1
1
N ln z
0 1 z
zN
1
N ln z
N
z
integrando
n z n
n 0
U de Chile
98
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
hu1 ,
A este punto sustituimos u1 z r1 cn z n en el segundo sumando del termino del lado derecho. Recordando
que r1 N r2 , entonces la expresi
on anterior se puede escribir de la forma
N u1 ln z
u2
z r2
n z n .
n 0
Este resultado permite identificar la estructura de la segunda solucion a la Ec. ( 5.8.29). La forma como
se procede a obtenerla explcitamente es sustituyendola en la ecuacion diferencial original para obtener los
coeficientes n mediante los metodos descritos.
5.8.2.
La ecuaci
on hipergeom
etrica
d2 u
dz 2
1z
du
dz
0.
abu
(5.8.32)
pz
q z
con lo cual
a b 1z
1 z
abz
1 z
zp z
z 2q z
0.
La ecuacion indicial es r2
c 1 t 0 0, cuyas races son r 0 y r
n
c
z
,
la
cual depende de a, b, c. Denotaremos
solucion u1
n
n 0
u1 z
c. Para r
0 planteamos la
cn z n .
F a, b, c; z
n 0
8
Al sutituir en la ecuaci
on diferencial se obtiene para los coeficientes,
a
cn
Si c
n 1 b n
nc n 1
a n 1bb 1
b n
n!c c 1
c n 1
a n b n
c
1
.
a
b
c n n 1
aa
8 Hacerlo.
FCFM
99
U de Chile
M
etodos Matem
aticos para la Fsica
De esta forma,
c
ab
F a, b, c; z
a
n
0
nb
1c
n n
z .
n
(5.8.33)
n
,
F a, b, c; z
n 0
2 F1
a, b, c; z ,
F 1, 1, 1; z
zF 1, 1, 2; z
F a, b, b; z
zF 12 , 12 , 32 ; z 2
F n, n 1, 1; z
arcsin z
Pn 1 2z
g z
1g
2c
3z
2 g
1 b
1g
0.
b
2
c
c
z1
2 F1
, , ; z .
9 Hacerlo.
U de Chile
100
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
5.8.3.
La ecuaci
on hipergeom
etrica confluente
Se trata de la ecuacion
zu
z u
au
0.
a, c; z
c, y b
(5.8.34)
0. Las races son nuevamente
cn z n .
n 0
Al sustituir en la ecuaci
on se obtiene10 para los coeficientes
cn
a
c
Entonces,
a, c; z
n 0
a
c
zn ,
denominada funci
on hipergeom
etrica confluente y que converge para todo valor de z. Por la estructura
de los smbolos de Pockhammer, a esta serie se le denota 1 F1 . Son casos particulares de las funciones
hipergeometricas confluentes las siguientes
Jn z
Ln z
H2n z
eiz z
F1 n 12 , 2n 1; 2iz
(Bessel)
n! 2 1
n, 1; z
(Legendre)
1 F1
2n
!
n
F1 n, 12 ; z 2
(Hermite)
n! 1
10 Hacerlo.
FCFM
101
U de Chile
U de Chile
M
etodos Matem
aticos para la Fsica
102
FCFM
Captulo 6
Funciones de Green
Una amplia clase de problemas de la fsica se cuantifican en el marco de ecuaciones diferenciales sujetas a
condiciones de borde definidas. Para su resolucion se recurre a estrategias especficas afines con los terminos
que participan en la ecuaci
on. Ello es particularmente el caso cuando se estudia un problema lineal en
presencia de un termino no homogeneo o fuente. La introduccion de las funciones de Green permite un
enfoque distinto basado en la estructura de los operadores que intervienen, permitiendo una soluci
on formal
al problema cual sea la fuente. Este concepto fue introducido por George Green hacia 1828 y se mantuvo casi
desconocido por un buen tiempo. De hecho sus contemporaneos calificaron esta contribucion de bajo perfil.
Fue Lord Kelvin quien aprecio la profundidad de este aporte, el que hoy en da constituye una herramienta
standard en muchas areas de la fsica.
on
A modo de ilustracion consideremos Lx un operador diferencial lineal y nos planteamos la ecuaci
Lx u x
(6.0.1)
f x ,
on arbitraria pero conocida. Para resolver este problema consideremos una funci
on de dos
con f x una funci
variables G x, t , tal que
x t .
Lx G x, t
Podemos verificar entonces que una soluci
on a la Ec. ( 6.0.1) esta dada por
ux
G x, t f t dt .
As, estamos en condiciones de dar una solucion formal al problema original. Un aspecto importante en la
construccion de la funci
on G x, t lo constituye el tema de las condiciones de bordes impuestas sobre u.
Notar que G x, t no depende de la naturaleza de la fuente.
6.0.1.
Consideremos la ecuaci
on diferencial de segundo orden para la funci
on u x en el intervalo a, b con
condiciones de Dirichlet (homogeneas),
Lu
pxu
103
q xu
f x .
(6.0.2)
M
etodos Matem
aticos para la Fsica
v1 x y1
v2 x y2 .
En esta caso v1 x y v2 x son funciones auxiliares por determinar. Ellas representan dos grados adicionales
de libertad que, sin perdida de generalidad, pueden ser reducidos a s
olo uno. La forma de restringirlas se
vera en seguida. Luego de sustituir u x en la Ec. ( 6.0.2) y hacer uso de Ly1 Ly2 0, se obtiene
v1 y1
2v1 y1
2v2 y2
v2 y2
p x v1 y1
v2 y2
f x .
0.
v2 y2
v2 y2
f x ,
y2
y2
0
f x
v1
v2
entonces
v1
y1 y2
1
y2 x f x ;
W x
y2 y1 ,
v2
1
y1 x f x .
W x
y2 x
f x dx
W x
y1 x
y1 x
f x dx .
W x
y2 x
En forma equivalente,
x
ux
y2 x
a
y1 t
f t dx
W t
y1 x
x
y2 t
f t dx .
W t
La soluci
on encontrada tiene la forma
b
ux
G x, t f t dt ,
a
y1 t y2 x W t ,
y1 x y2 t W t ,
a
x
t
t
x
b
U de Chile
104
FCFM
M
etodos Matem
aticos para la Fsica
H. F. Arellano
1. La funci
on de Green satisface Lx G x, t
t.
2. G x, t es contnua en t x.
En efecto, para
0 y denotando x
x
y1 x y2 x W x . De forma analoga, G x, x
mente entonces, G x, x
G x, x
0.
3. La derivada G x, t
En este caso
t es discontnua en t
G
t
G
t
tenemos G x, x
y1 x y2 x W x
y1 x y2 x W x
y1 x y2 x W x . Clara-
x.
y1
t W
y2
t W
y2 x
t x
y1 x
t x
t
t
t
t
t x
y1 x
x
x
x
x
x
y2 x y1 x , se verifica
y1 x y2 x
G
t
y1
x W
y2
x W
y2 x
1.
t x
G(x,t)
t
t=x
Fig. 6.1: Discontinuidad de G x, t
4. La funci
on de Green es simetrica en sus argumentos, G x, t
5. La funci
on de Green cumple con las C.B. G x, a
6.0.2.
G x, b
t.
G t, x .
0
Un ejemplo cl
asico
Consideremos la ecuaci
on de Helmholtz en 1D
u
donde u 0
FCFM
uL
k2 u
f x ,
sin kx
y2 x
sin k x
105
L .
U de Chile
M
etodos Matem
aticos para la Fsica
sin kx k cos k x
k cos kx sin k x
W x
k sin kL .
sin kt sin k x
sin kx sin k t
ux
0
sin kt sin k x
k sin kL
L
L
k sin kL
k sin kL
0
x
t
t
x
L
sin kx sin k t
k sin kL
G x, t f t dt, es decir,
L
f t dt
x
f t dt .
U de Chile
106
FCFM