Metodos Matemáticos de La Física FCFM PDF

Hugo F.
Arellano
Departamento de Fsica - FCFM
Universidad de Chile
Primavera de 2006
Indice
1.
Elementos de an
alisis complejo
1.1. Variables complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
1.3. Derivada y analiticidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.3.1. La exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3.2. El logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
1.4. Propiedades geometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
1.5. Transformaciones conformes
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16
1.5.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.6. Integraci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.7. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
1.8. Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
1.9. Sucesiones y series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
1.10. Series de Taylor y de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
1.11. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
1.12. La parte principal de una integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
M
etodos Matem
aticos para la Fsica
2.
3.
4.
1.13. Hojas y superficie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
1.14. Integrales que involucran funciones multivaluadas . . . . . . . . . . . . . . . . . . . . . . .
35
1.15. Prolongaci
on analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
1.16. Relaciones de dispersi

on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
40
1.17. Metodo del descenso mas empinado (steepest descent) . . . . . . . . . . . . . . . . . . . .
40
Coordenadas curvilneas ortogonales
45
2.2. Coeficientes metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
2.3. Elementos geometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
2.4. Operadores diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
2.4.1. El gradiente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
2.4.2. La divergencia y el teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . .
49
2.4.3. El laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
51
2.4.4. El rotor y el teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
52
La delta de Dirac
55
3.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
3.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
3.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
Series y transformada de Fourier
59
4.1. El Teorema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
59
4.2. Bases de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
U de Chile
FCFM
H. F. Arellano
5.
M
etodos Matem
4.3. Paso del discreto al contnuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
4.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
63
4.4.1. El teorema de convoluci

on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
4.4.2. Relaci
on de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
4.4.3. Potencial debido a una distribuci

on de cargas . . . . . . . . . . . . . . . . . . . . .
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
5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
5.3.2. Funciones modificadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . .
76
5.3.3. Diferenciaci
on y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
5.3.4. Una identidad u

til . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
5.3.5. La ecuaci
on de Laplace en una cavidad cilndrica . . . . . . . . . . . . . . . . . . .
79
5.4. Ecuaci
on de Helmoltz con simetra axial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
81
5.4.1. Los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82
5.4.2. Propiedades de los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . .
84
5.4.3. Las funciones esfericas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
5.5. Ecuaci
on de Laplace en una cavidad esferica . . . . . . . . . . . . . . . . . . . . . . . . . .
86
5.6. Los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
5.6.1. Construcci
on de los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . .
89
FCFM
U de Chile
5.6.2. Relaciones de ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
5.6.3. Otras identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
5.7. Teora de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
93
5.8. Ecuaciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
6.0.1. Problema con C.B. homogeneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103

6.0.2. Un ejemplo clasico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
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
FCFM
Captulo 1
Elementos de an
alisis complejo
1.1.
Variables complejas
Comenzamos nuestro estudio suponiendo alguna familiaridad con los n

umeros complejos ordinarios,
es decir, aquellos formados por la combinaci
on del tipo x iy, con x e y variables reales ademas de la
propiedad i2
1. Para uniformizar la notacion, usaremos la letra z para simbolizar las variables complejas.
Las operaciones de suma y multiplicaci
on entre n
umeros complejos estan definidas de la siguiente forma.
Sean z1 x1 i y1 , y z2 x2 i y2 , entonces
z2
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 ;
2. Conmutatividad de la suma y el producto,

z1
z2
z2
z1 ,
z2 z1 ;
z1 z2
3. Distributividad de la suma con respecto al producto,

z1 z2
4. Existencia del cero (0
z3
i 0) y de la unidad (1
z
5. Existencia del inverso aditivo. Si z

cumple
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
i y, entonces1 z
6. Existencia del inverso multiplicativo. Si z x

plicativo y cumple
z z 1
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
zz , la cual conduce a la desigualdad
z2 .
Funciones de variable compleja
Al igual que con variables reales, las m

ultiples operaciones entre variables complejas permite la construccion de funciones. Tales funciones resultan, en general, tambien complejas y se descomponen en parte
real e imaginaria. Si f z es una funci
on de la variable compleja z x i y, entonces podemos escribir
f z
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
Fig. 1.1: Cuando z

f z
f z
z2
z2
z , entonces w
w .
Ademas la desigualdad triangular permite z z

f z , entonces
f f z yf
f f
2z
z z
2z
z z
2z
2 z . Si denotamos
Aqu resulta claro que la separaci

on infinitamente peque
na entre f y f esta siempre garantizada. De la
desigualdad de arriba inferimos que para un dado, entonces el requerido esta dado por
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
x iy se le asocia el complejo conjugado, z , definido por z

z z x2 y 2 .
10
iy. Con esta definici

on
FCFM
M
etodos Matem
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
Calculemos f z mediante un acercamiento z

Entonces,
f
z
ux
ux
u
x
f z
z
z
f z
z paralelo al eje real, es decir z
x, y
iv x
x, y
x
v
.
i
x
u x, y
x, y
x
v x
i
Analogamente, calculemos f z mediante un acercamiento z

z iy, con lo cual
f
z
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
z paralelo al eje imaginario. En tal caso
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
A esta se le denomina condici

on de Cauchy-Riemann y constituye una condicion necesaria para la
analiticidad de una funci
on. La suficiencia viene cuando las derivadas son contnuas.
De la condicion de Cauchy-Riemann surgen trivialmente
2
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
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)
provisto de que el lmite exista y sea independiente de la forma como z

u x, y
Teorema: La funci
on f z
condiciones de Cauchy-Riemann,
0.
iv x, y es diferenciable en una regi

on del plano complejo si y s
olo si las
u
x
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)
C se denomina analtica en z si es diferenciable en z y todo punto de su vecindad.

Definiciones: La funci
on f : C
Aquel punto donde f es analtica se denomina punto regular de f . Un punto donde f no es analtica se denomina
punto singular o singularidad de f . Una funci
on para la cual todos los puntos en C son regulares se llama funci
on
entera.
La analiticidad de una funci

on no es una propiedad que este garantizada a cualquier funci
on contnua.
Por ejemplo, consideremos z x i y, y definamos f z
z z . Claramente u x, y
2x; v x, y
0.
i v x
2. De
La derivada df dz obtenida mediante variaciones de z paralelas al eje real es u x
igual forma, variaciones paralelas al eje complejo (z
iy) conducen a i u y
v y
0. Este
resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistem
atica
de verificar la analiticidad de una funci
on es examinando la condici
on de Cauchy-Riemann. Para este ejemplo
v y. En general, cualquier funci
on de z y z resulta no analtica.
se observa que u x
Examinemos un ejemplo simple: f z
z 2 . Considerando z
x i y es facil verificar que f z
2
2
w x, y
x
y
i 2xy . Identificamos u x2 y 2 , y v 2xy, con lo cual
u
x
2x ;
u
y
2y ;
v
x
2y ;
v
y
2x .
Estas derivadas cruzadas satisfacen las condiciones de C.R. La derivada es u

nica y la podemos evaluar:
f z
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
Un ejemplo de gran valor es el caso de la funci

on exponencial. Esta funci
on puede ser definida de
varias formas. Consideremos en este caso la siguiente construccion. La exponencial es una funcion de la
U de Chile
12
FCFM
M
etodos Matem
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
De la condicion c) vemos que f z

Imponemos que f z
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 .
La condicion de analiticidad de C.R. conduce a

u
x
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 .
iy, con y real, se tiene eiy
Del resultado anterior resulta evidente que para z

modo, si z x (real), entonces ez ex .
cos y
i sin y. De igual
La exponencial es analtica en todo C, de modo que es una funci

on entera. Una grafica de la superficie
de ez para sus componentes real e imaginaria se muestran el la Fig. (1.2). Asociadas a la exponencial se
definen las siguientes funciones de variable compleja, ambas enteras:
cos z
FCFM
eiz
e
2
iz
sin z
13
eiz
e
2i
iz
U de Chile
M
etodos Matem
-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
Fig. 1.2: Partes real e imaginaria de ez .

Ademas, se define
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
w. Esta construccion se basa en exigir
i sin v .
Tomando modulo a ambos lados y luego el logaritmo en variables reales obtenemos

ln z .
u
Ademas, si representamos z
z cos
i sin , es claro que v

ln z
def
arg z. De tal forma que
i arg z .
En terminos de las componentes de z,

w
U de Chile
ln
x2
y2
14
i arctan
y
x
FCFM
M
etodos Matem
H. F. Arellano
Con este resultado calculemos su derivada

d ln z
dz
w
x
x
x2
y2
Por lo tanto,
y x2
y x
x
x2
iy
y2
iy
1
.
z
d ln z
dz
Contando con la definici

on del logaritmo podemos definir la potenciaci
on a un n
umero real a,
za
ea ln z .
def
Con esta definici

on es directo calcular la derivada de z a :
d za
dz
1.4.
d a ln z
e
dz
ea ln z
a
z
a za
Propiedades geom
etricas
Geometricamente el gradiente de una funci

on de dos variables, x, y , apunta en la direcci
on de mayor
crecimiento. Si consideramos u x, y y v x, y , componentes de una funci
on analtica f z , entonces
u v
u v
x x
u v
.
y y
Al hacer uso de la condici

on de C.R. se obtiene que u v 0 Esto implica que, en un punto z x iy,
la direcci
on de mayor crecimiento de u es perpendicular a la de v. En otras palabras, las curvas de nivel de
u x, y son perpendiculares a las de v x, y .
A modo de ilustracion, consideremos nuevamente la funcion f z

z 2 . En tal caso u
x2 y 2 , y
2
2
2xy. Las curvas de nivel estan dadas por x
y
u y 2xy v , ilustradas en la Fig. (1.3), donde
1
0.5
0.5
-0.5
-0.5
-1
-1
-1
-0.5
0.5
-1
-0.5
0.5
Fig. 1.3: Curvas de nivel de u x, y (izquierda) y v x, y (derecha).

se puede apreciar visualmente la perpendicularidad de las curvas de nivel.
FCFM
15
U de Chile
M
etodos Matem
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
Claramente el angulo entre estos dos desplazamientos se obtiene examinando el cuociente zb za :

zb
za
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
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
1 a. Los puntos del contorno de D quedan determinados con
El centro del crculo es mapeado a w

En tal caso
a.
1
1
i tan 2 ,
2a
2a
1 2a y v barriendo
w
representando una recta con u
u +iv = 1/ (x+iy)
1/2a
C
A
1/a
Fig. 1.6: La transformaci

on f(z)=1/z, aplicada a un crculo.
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
0. Ademas, convenimos en que f

En esta construccion exigimos que para todo segmento, zj zj 1
on f no experimenta
es evaluada en cualquier punto j en el segmento zj 1 zj . Suponemos que la funci
saltos a lo largo de . Para fijar ideas hemos considerado z0 za , y zn zb .
FCFM
17
U de Chile
M
etodos Matem
iy
n 1
n 2
za
2
1
Fig. 1.7: Integral a lo largo de una trayectoria .
1.7.
Teorema de Cauchy-Goursat
Cuando la una funci

on f : C
C es analtica sobre y dentro de una trayectoria cerrada C, entonces

0.
f z dz
C
A este teorema se le llama Teorema de Cauchy-Goursat. Sin pretender una demostraci

on rigurosa sino
mas bien dar una justificaci
on razonable, consideremos una trayectoria no cerrada y que une dos puntos
extremos, za y zb . Expresemos la integral en terminos de las partes real e imaginaria y desarrollamos.
I
f z dz
iv x
iy
u dx
xy
v dy
v dx
xy
u dy .
xy
En estas hacemos una distinci

on entre la trayectoria en C, denotada por z , y aquella equivalente en 2 ,
xy . Las dos integrales de la derecha se pueden expresar como integrales de camino de los campo vectoriales
A
u, v y B
v, u , respectivamente. Por el teorema de Stokes, tales integrales son independientes
de la trayectoria si es que A 0 y B 0, lo cual es efectivo al considerar la condici
on de C.R.
para las funciones u y v:
x Ay
y Ax
x By
y Bx
zb
v
u
zb
za
(a)
0,
0.
2
1
1
za
(b)
(c)
Fig. 1.8: Integral a lo largo de una trayectoria .

El resultado anterior permite comenzar con una integral a lo largo de un camino 1 y deformarlo
gradualmente hasta transformarlo en 2 [ver (a)]. Si la funci
on f z es analtica sobre cada una de las
U de Chile
18
FCFM
M
etodos Matem
H. F. Arellano
trayectorias intermedias, entonces

zb
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
De esta ultima obtenemos [ver (c)]

0.
f z dz
C
Ejemplos
i.- Calculemos I
z dz para las trayectorias a, b y c indicadas en la figura.

1+2i
a
b
0
Fig. 1.9: Tres curvas de integraci

on.
a) Para la trayectoria a podemos parametrizar z de la forma

z t
Entonces, dz
2it ,
t:0
1.
3t dt
4it dt
2i dt. Sustituyendo,
dt
Ia
2it dt
2i dt
3
2
2i .
b) Para la trayectoria b podemos parametrizar z de la forma

z t
Entonces, dz
dt
2it2 ,
1.
4it dt, con lo cual

1
Ib
2it2 dt
4it dt
FCFM
t:0
19
3
2
2i .
U de Chile
M
etodos Matem
c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t

t, (dz dt),
con t : 0
1. En el segundo podemos hacer z t
1 it, (dz idt), con t : 0
2. De esta forma,
1
Ic
t dt
0
3
2
it i dt
2i .
Los pasos intermedios se verifican trivialmente.
ii.- Calculemos
dz
z
para una trayectoria circunferencial cerrada en torno al origen.

Rei , (dz
En este caso los puntos z en la trayectoria estan dados por z

:0
2. As,
2
dz
Rei i d
2i .
z
Rei
0
Rei i d), con
ereEste resultado permite el calculo de dz

z para cualquier trayectoria que encierre el origen. Para ello consid
se el trayecto de la derecha de la Fig. (1.10) Notar que la trayectoria cerrada compuesta por los tramos a, b,
Fig. 1.10: Trayectoria evitando la singularidad en el origen.

c y d no encierra singularidad alguna. Ademas, cuidamos que c corresponda a una circunferencia concentrica
al origen. Por lo tanto,
dz
0.
z
a
b
c
d
Al hacer los tramos paralelos b y d infinitamente proximos, la suma de ambas integrales se anula. Por lo tanto
quedan dos integrales cerradas, una sobre y la otra sobre la circunferencia recorrida en sentido horario. Por
lo tanto
dz
dz
2i .
z
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
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
Al hacer los tramos b y d infinitamente pr

oximos, las integrales (recorridas en sentidos opuestos) se cancelan
, con lo que
pues los integrandos coinciden en el lmite. En tal caso a
f z dz
z z
f z dz
z z
Necesitamos evaluar c en el lmite

0. Parametrizando (en sentido horario), z
i
e i d), con : 0
2, obtenemos
(dz
f z
d .
Puesto que f es contnua, entonces f z

Sustituyendo es evidente
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
Aceptando que la derivada de la integral es la integral de la derivada, es inmediato observar

f
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
Un tema de bastante importancia en el estudio de funciones de variable compleja es su desorrollo en

series de potencias. Siendo este un tema sumamente amplio, nos limitaremos a resumir s
olo algunas nociones
basicas.
FCFM
21
U de Chile
M
etodos Matem
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
Decimos que la serie S

lmk
Sk existe, vale decir, es finito. En relaci
on
n 1 wn es convergente si S
a las caractersticas de convergencia de las series, se definen dos tipos:
a) Series absolutamente convergentes, cuando
wn es convergente; y
n 1
b) Series condicionalmente convergentes, cuando
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
Es directo verificar el siguiente resultado exacto

Sn
Puesto que lmn
zn
0 para z
1 zn
,
1 z
1.
1, entonces
1
Esta expresion cerrada para la suma de infinitos terminos se obtiene suponiendo z

1. Mas alla de si
existe una expresi
on cerrada, la existencia de un resultado finito esta condicionada, independientemente, por
1. Al
los criterios del cuociente y de Cauchy. Ambos garantizan convergencia de la serie para todo z
sector delimitado por z
1 se le denomina crculo de convergencia.
La extensi
on de series en un sentido general a lo que denominaremos serie de funciones es relativamente
simple. En este caso consideramos la secuencia de funciones w1 z , w2 z , . . . y definimos
n
Sn z
wk z .
k 1
U de Chile
22
FCFM
M
etodos Matem
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
Buscamos N para el dado y obtenemos

N
1.10.
ln 1
z
Series de Taylor y de Laurent
Cuando una funci

on es analtica dentro de un crculo centrado en un punto z , entonces es factible
on se le reconoce como serie de
expandir tal funci
on en serie de potencias de z z . A esta expansi
Taylor. Concretamente,
f 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
Fig. 1.11: Trayectoria circunferencial C en torno a z .

directamente
1
2i
f z
f d
.
z
C
Reagrupando los terminos en 1
z tenemos
1
con
FCFM
1
z
z
,
z
23
1
z
1.
U de Chile
M
etodos Matem
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
la serie de Taylor de f en torno a z .

La expansi
on de Laurent no tiene contraparte en variable real, permitiendo la expansi
on en serie de
potencias en regiones anulares en cuyo interior la funcion es no analtica. Consideremos y dos crculos
R, como se ilustra
concentricos de radios r y R, respectivamente. Ambos estan centrados en z , con r
C analtica en la regi
on anular S comprendida entre y . Entonces, para
en la Fig. (1.12). Sea f : C
z
zo
Fig. 1.12: Sector anular comprendido entre y , concentricas en z .

todo punto z
S, f z esta dada por

f z
an z
n 0
n 1
bn
z
donde
an
1
2i
bn
1
2i
f d
z n
n 1
f d .
Para demostrar este resultado recurrimos nuevamente a la f

ormula integral de Cauchy, esta vez cuidando
que la trayectoria cerrada a considerar excluya eventuales puntos singulares. En la Fig. (1.13) se consideran
los arcos casi cerrados y , ademas de dos tramos paralelos muy pr
oximos entre s. La analiticidad de f z
dentro de la trayectoria escogida permite el uso de la integral de Cauchy,
!
f d
z
"
f d
z
2if z .
0
Cuando los tramos

podemos escribir
se hacen infinitamente proximos, la suma de la integrales se cancela y

f z
U de Chile
1
2i
f d
z
24
1
2i
f d
.
z
FCFM
M
etodos Matem
H. F. Arellano
(+)
()
Fig. 1.13: Trayectoria cerrada que excluye singularidades.

Se ha antepuesto signo a la integral
positivo (antihorario).
1
que
pero se subentiende entonces que esta se realiza en el sentido
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
Por otro lado ya obtuvimos

1
z
z
n 0
z
z
n 1
de modo que al sustituir en las integrales respectivas tenemos

f z
1
2i
n 0
f d
z n
n 0
f d
1
z
n 1
De esta expresion resultan evidentes los coeficientes an y bn de la serie de Laurent.

A modo de ilustracion (trivial) busquemos la serie de Laurent para f z
1 z 1 en torno a z 1.
Los coeficientes an y bn se deteminan mediante integracion directa en torno a z 1. Comencemos por an ,
1
2i
an
f d
1n
Parametrizamos:
ei id), : 0
ei , (d
1
2n
an
2
1
i n 1
0.
0. Calculemos ahora los coeficientes bn :
Este ultimo paso es evidente porque n

bn
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
En este caso n 1. Cuando n 1 se obtiene directamente b1

que bn 1 0. As entonces la serie de Laurent para f z
1 z
previsible.
1. De igual forma se verifica facilmente

1 es la misma funci
on, algo totalmente
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.
Si fP z consta de solo el primer termino b1 z

Si fP es truncada en n
z , entonces z es un polo simple de f .
m, entonces f tiene un polo de orden m en z .
Si fP z consta de infinitos terminos entonces z es una singularidad escencial.

Una singularidad es removible cuando f z esta indefinida pero lmz z f z existe. Por ejemplo,
sin z z, y g z
ez z 1 z 2 tienen singularidades removibles en z 0.
f z
1.11.
Teorema de los residuos
Sea f z una funci

on meromorfa en sobre y dentro de una trayectoria cerrada C. Nos planteamos el
calculo de la integral
f z dz .
C
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
Fig. 1.14: Trayectoria cerrada excluyendo los polos de una funci

on meromorfa.
hacia los polos se cancelan. Si denominamos k a la trayectoria cerrada que enlaza al k esimo polo, entonces
f z dz
C
U de Chile
f z dz
1 ,"
f z dz
k ,"
26
FCFM
M
etodos Matem
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 ,
Si f es expandida en serie de Laurent en torno a zk , entonces

lm z
bm;k ,
zk
donde bm;k representa el coeficiente de mayor orden de la parte principal de f . As,

f z dz
k
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 ;
en el caso de los polos de segundo orden

Res f zk
zk
zk 2 f z
El teorema de los resduos es particularmente u

til para el calculo de integrales definidas cuyos integrandos
no cuenten con primitivas. Examinemos algunos casos tpicos.
1. Integrales del tipo I1

Si hacemos z ei , (dz
2
0
F sin , cos d
ei id), entonces podemos escribir
sin
z2 1
,
2iz
cos
z2 1
.
2z
La integral se reduce entonces al calculo, a lo largo de la circunferencia z

I
Calculemos, por ejemplo,
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
iy
|z|=1
Polos para b=1
x
Polos (conjugados) para b<1
Polos para b>1
2bz
Fig. 1.15: Ubicaci

on de las raices de z 2
0.
Haciendo las sustituciones descritas se obtiene

2i
dz
2bz
z2
Los polos del integrando son z

b
b2 1, ilustrados en la Fig. (1.15). Se puede verificar que s
olo
b
b2 1, se localiza al interior de la circunferencia. Para
en el caso b 1 uno de los polos, z
el caso b 1 los polos yacen sobre la trayectoria, situaci
on que obviaremos en este caso. Evaluemos
entonces el residuo.
Resf z
1
z
1
z
Con esto la integral buscada resulta

I
P x
Q x
1
z
1
2 b2
2
.
b2 1
dx
Las integrales de este tipo resultan bastante simples si cambiamos x

z. La trayectoria a considerar es
una semicircunferencia ( o ) cerrada por el eje real. Denotemos P x Q x por f x . Examinamos
entonces
R
2i
Res f zj .
La integral sobre se analiza en alg

un detalle. Consideramos z
Entonces,
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
0. Bajo este supuesto entonces,

Res f zj .
Los residuos en este caso son los ubicados en el semiplano complejo superior.
U de Chile
28
FCFM
M
etodos Matem
H. F. Arellano
Consideremos un ejemplo elemental:

dx
.
1 x2
Examinamos
dz
,
1 z2
i yace en el semiplano superior. Para el residuo evaluamos z
f z
Sus polos son z

en
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
i , de segundo orden, pero solo hay que considerar z
eikz
iz 2 1
iz
i .
,
z
y se obtiene para la integral

I
FCFM
29
U de Chile
M
etodos Matem
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
Ello permite escribir

I4
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
Fig. 1.16: Trayectoria rectangular cerrada para abordar la integral gaussiana.

bz 2
0,
dz
debido a que el integrando es analtico al interior de . Por lo tanto,

ademas lo siguiente:
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
Las integrales sobre b y d se anulan al hacer R

. Examinemos el tramo b, donde hacemos
0. Entonces,
z R it, (dz idt), con t : k b
e
b
U de Chile
bz 2
dz
b R it
k b
idt
ie
bR2
2iRbt
ebt dt
k b
30
FCFM
M
etodos Matem
H. F. Arellano
El lmite tomado en el ultimo paso es directo al analizar el m

odulo de la integral:
0
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
La parte principal de una integral
Hasta ahora hemos evitado la presencia de singularidades en el eje de integraci

on, usualmente en el eje
real. Consideremos la integral
f x
dx .
I
x x
Ciertamente al pasar el integrando por x nos encontramos con una singularidad que hemos de evitar, en
particular si f x
0. A fin de darle una significaci
on a la integral de arriba, definamosla como el valor
lmite
x
f x
f x
f x dx
dx
dx
P
.
I lm
0
x x
x
x
x x
x
A esta cantidad se le denomina parte principal de f y veremos una forma sistematica de obtenerla mediante
integraci
on en el plano complejo.
Supongamos que podemos extender la funci
on f x al plano complejo mediante una sustitucion simple
f x
f z . Tal sustituci
on define una funci
on meromorfa en C. Si consideramos la trayectoria cerrada
descrita en la Fig. (1.17). La integral cerrada se descompone en dos semicircunferencias, una evitando x y
iy
x
R
xo
Fig. 1.17: Trayectoria que excluye el polo en el eje real.

otra cerrada por arriba. Ademas, se incluye la integraci
on en el eje real acercandose a x , lo que define la
FCFM
31
U de Chile
M
etodos Matem
parte principal de la integral.

f z dz
z x
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 .
Si f z es contnua en x , entonces al hacer

0 se obtiene
anteriores obtenemos
f x dx
P
if x
2i Res
x x
k
if x . Combinando los resultados

f zk
zk x
0
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
sin x x dx. Recordando que sin x
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 ,
Un resultado importante de la discusion basada en la Fig. (1.17) esta sintetizado en la identidad

f z dz
z x
f x dx
x x
if x
Sin embargo el termino de la izquierda es el mismo si se cambia levemente la trayectoria de integraci

on a la
f x cuando
0, una exigencia de
del lado derecho de la Fig. (1.18). Todo ello si es que f x i
continuidad de f en el eje. Entonces, la integral de la izquierda se puede parametrizar mediante z x i,
. Por lo tanto,
(dz dx), con x :
f z dz
z 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
H. F. Arellano
Fig. 1.18: Trayectorias equivalentes que evitan el polo.
1.13.
Hojas y superficie de Riemann
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,
Esto ilustra que f r, exhibe una discontinuidad en
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
0 corresponde a un punto de rama.
En los ejemplos precedentes, z
Examinemos con mas detenci

on el caso f z
z. Descomponiendo f
( : 0
2), podemos tabular el comportamiento radial de u y v. Obtenemos,
iv, con z
r ei
Tabla I.- u r, y v r, para distintos valores de .

0
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
Notar que si bien
0y
2 representan el mismo complejo z, la raiz

lm
FCFM
lm
33
z es distinta:
r.
U de Chile
M
etodos Matem
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
Fig. 1.19: Partes real (izquierda) e imaginaria (derecha) de
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
Fig. 1.20: Seguimiento de f z en una trayectoria cerrada en torno a z .

se construyen secuencialmente las hojas de Riemann haciendo corresponder barridos completos en 2. As,
U de Chile
34
FCFM
M
etodos Matem
H. F. Arellano
una secuencia de n hojas queda definida por

f r,
f r,
..
.
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.
Integrales que involucran funciones multivaluadas
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
exige analiticidad (y continuidad) del integrando a lo largo de la trayectoria. Si f z es multivaluada, hay

que buscar una trayectoria que evite el paso sobre un corte.
FCFM
35
U de Chile
M
etodos Matem
A modo de ilustracion, calculemos la integral

xp 1
dx ,
x2 1
con 0
2. Para evaluar esta integral consideremos la funcion de variable compleja

zp 1
z2 1
f z
Al ser p un real cualquiera entre 0 y 2, entonces la funcion resulta multivaluada. Al representar z ei ,

2, esta funci
on tiene un punto de rama en z
0 y exhibe un corte en el eje real positivo.
con : 0
Estas consideraciones motivan examinar la trayectoria indicada en la Fig. (1.23). La trayectoria cerrada
R
+i
(+)
corte
()
i
Fig. 1.22: Trayectoria cerrada para una integraci

on sobre trayectoria cerrada evitado un corte.
esta formada por cuatro curvas.
R : circunferencia casi cerrada de radio R (
). Se demuestra que en el lmite
0.
: dos tramos rectos radiales muy pr

oximos al corte, uno a cada lado de este.
r : circunferencia casi cerrada de radio r, donde r
0. Se encuentra que
0.
Podemos escribir
2i
R
Los polos de f son
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
i, que representamos consistentemente con la notacion polar, vale decir

z1
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
H. F. Arellano
La suma de los residuos,

1 ip
e
2
Res
k
e3ip
eip cos
p
.
2
Las integrales sobre los tramos radiales:

Para
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
Combinando los resultados anteriores se obtiene

1
e2ip
0
p 1
d
2 1
2i eip cos
p
2
que luego de simplificar conduce a
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
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
Fig. 1.24: Regiones de definici

on de f1 y f2 . En el semicrculo achurado f1
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
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
B. Con ello, f1 es la prolongacion analtica de f2 en S1 y vice versa.
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
Fig. 1.25: Una trayectoria arbitraria pasando por S1 y S2 .

descomposicion
f z dz
C
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
es la prolongacion analtica de f en C . Una constataci

on directa de este corolario es verificando que la
u x, y
iv x, y , y g z
condicion de Cauchy-Riemann es cumplida por g. Descomponiendo f z
a x, y
ib x, y , entonces g z
f z
a x, y
Resulta directo demostrar que a x
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
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
iIm , entonces al igualar las respectivas partes real e imaginaria obtenemos

1
P
1
P
Re
Im
1.17.
d
.

Im d
;

Re d
.

M
etodo del descenso m
as empinado (steepest descent)
Este metodo es particularmente util para obtener formas asint

oticas de funciones expresadas como
integrales en el (o prolongables al) plano complejo. Consideremos la integral
ef
(1.17.4)
g z dz ,
con f y g funciones analticas, y una variable real, grande y positiva. Si denotamos f

ef
eu cos v
i sin v
iv, entonces
(1.17.5)
Al ser grande, entonces una peque

na variacion de v hace que las funciones seno y coseno oscilen rapidamente. Puesto que el integrando es analtico, entonces cabe preguntarse si existe una trayectoria que permita
un buen control de tales oscilaciones. Supongamos que existe un punto z en C el cual puede ser alcanzado
por una deformaci
on de C y para el cual f z
0. Puesto que f es analtica, entonces tanto u como v
son arm
onicas
2
2
2
2
u
u
v
v
0
0
(1.17.6)
x2
y2
x2
y2
Al evaluar estas ecuaciones en z ellas expresan que se trata de un punto de silla, como se ilustra en la Fig.
(1.26). Expandimos f z en serie de Taylor en torno a z hasta segundo orden
f z
U de Chile
1
f z
2
f z
40
(1.17.7)
FCFM
M
etodos Matem
H. F. Arellano
u steepest
v constante
Plano Complejo
Plano Complejo
Fig. 1.26: Mantos u x, y y v x, y en torno al punto silla.

Denotamos
z z
f z
rei
2Rei
f z
r 2 R ei
f z
(1.17.8)
Separando por componentes,

Re f z
Im f z
f z
r2 R cos 2
f z
r R sin 2
(1.17.9)
Para que la parte imaginaria sea constante se debe cumplir

2
0, 1, 2, 3
n
2
.
2
(1.17.10)
Para estos valores examinamos la parte real de f z

f z . Claramente para n 1, 3, Re f z
f z
r2 R
0. Vale decir, de los cuatro segmentos perpendiculares en C que convergen en z , solo aquellos
para n 1 (C1 ) y n 3 (C3 ) u x, y pasa por un maximo local. As, examinamos el integrando de I en
f(z)f(z o)=t < 0

1
C
Fig. 1.27: A lo largo de C1
C3 u x, y pasa por un maximo.
las vecindades de z , pasando por los trayectos C1 y C3 . Para aquellos z en C1 y C3 definamos

f z
rR2
f z
1
z
2
t2
f z
(1.17.11)
ef z e t . Puesto que es grande, entonces e t es muy aguzada, lo que permite

Por lo tanto ef z
contener la integraci
on a una peque
na region cerca de z , a lo largo de C1 C3 . Denotando C aquel
trayecto que consiste en una deformacion de C que pasa por z siguiendo C1 C3 , entonces aproximamos
la Ec. ( 1.17.4),
e f
t2
g z dz
ef
FCFM
t2
g z dz .
(1.17.12)
41
U de Chile
M
etodos Matem
Buscamos ahora una correspondencia (parametrizaci

on) entre t y z. Combinando Ec. ( 1.17.8) para r y Ec.
( 1.17.11) para t es facil verificar que z z
t
R ei . Conviniendo t
0 en C1 , con 0 1 ,
entonces z C3 queda naturalmente representados por t 0. As,
C1
t>0
z(t)
zo
C3
z=z o+
t<0
t
e i
R
Fig. 1.28: Parametrizaci

on z t pasando por z .
t i1
e
R
dz
ei1
dt .
R
(1.17.13)
Sustituyendo en Ec. ( 1.17.12),

ef
ei1
R
t2
t i1
dt .
e
R
g z
(1.17.14)
Esta forma aproximada de I involucra integrales explcitas en t. Si expandimos g z en serie de Taylor en

2
torno a z , entonces las integrales en t se reducen a integrandos del tipo tn e t , conducentes a integrales
perfectamente calculables (notar que para n impar las integrales en t se anulan). Al orden mas bajo en esta
expansi
on obtenemos
2 ei1 g z
ef z
,
(1.17.15)
I
f z
donde hemos sustituido 2R por f z
y utilizado
e
t2
dt
(1.17.16)
Ilustremos con un ejemplo clasico. La funci

on gamma esta definida por
z dz .
Buscamos una forma asint

otica ( grande) para esta integral. Para aplicar el metodo recien visto al integrando
le damos una forma del tipo ef g. Se puede verificar facilmente que
e
con lo cual f z
ln z
z ; g z
Buscamos z tal que f
ln z z
1. Entonces,
0:
f z
U de Chile
1
z
f z
42
0 para z
FCFM
M
etodos Matem
H. F. Arellano
Evaluamos f z en z ,
1
z2
f z
Identificamos :
Evaluamos ei1 , donde n
n 2
1
2
f z
1 i
e
2
f z
2. Para
yn
1 tenemos 1
ei1
1.
Sustituyendo los resultados parciales

I
ln 1
2
1 2
ei0
2 e
ln 1
De esta forma se obtiene la reconocida aproximaci

on de Stirling para 1,
En particular, si es entero (N ), entonces

ln N !
FCFM
2 e
1
ln 1
N !, con lo cual
N ln N
43
N.
U de Chile
U de Chile
M
etodos Matem
44
FCFM
Captulo 2
Coordenadas curvilneas ortogonales
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 .
Ademas, suponemos que es posible representar la inversa, vale decir

u1
F1 x1 , x2 , x3 ,
u2
F2 x1 , x2 , x3 ,
Para que estas transformaciones sean invertibles exigimos
x1
u1
x2
u1
x3
u1
x1
u2
x2
u2
x3
u2
x1
u3
x2
u3
x3
u3
Consideremos un punto P u1 , u2 , u3 . Al variar arbitrariamente u1 y u2 , manteniendo u3 fijo, se genera una

superficie. Lo mismo ocurre al variar arbitrariamente u2 y u3 , manteniendo u1 fijo. A estas superficies se les
denomina superficies coordenadas. En la Fig. (2.1) se ilustran dos superficies coordenadas. Las lneas donde
estas se intersectan se denominan lneas coordenadas. Las tangentes a las lneas coordenadas conforman
los ejes coordenados. Si la orientaci
on de las superficies coordenadas cambia de punto a punto, entonces
nos referiremos a coordenadas curvilneas generales. Si estas superficies son ortogonales en todo punto
P entonces hablaremos de coordenadas curvilneas ortogonales.
45
M
etodos Matem
y = Cte
= Cte
z = Cte
= Cte
x
Fig. 2.1: Superficies coordenadas en coordenadas rectangulares y esfericas.
2.2.
Coeficientes m
etricos
Consideremos un vector r posicionado un punto P en el espacio. Un desplazamiento infinitesimal de

tal punto queda dado por
r
du1
u1
ds
dr
Exigimos que el escalar dr dr

de coordenadas.
ds
r
du2
u2
r
du3
u3
r
duj
uj
sea invariante, vale decir, que su magnitud no dependa del sistema
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 dui duj .

i,j
gij
46
FCFM
M
etodos Matem
H. F. Arellano
A las cantidades gij

coordenadas.
ai aj , se les denomina coeficientes m

etricos y caracterizan la naturaleza de las
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
Considerando variaciones arbitrarias dui y duj , entonces identificamos

gij
k
2.3.
xk
ui
xk
.
uj
Elementos geom
etricos
La determinacion de los coeficientes metricos permite la construccion de elementos de lnea, superficie y

de volumen asociados a algun juego de coordenadas. En general, podemos definir estos elementos mediante
ds
Fig. 2.3: Elementos de longitud, superficie y de volumen.

dsi
dij
d
FCFM
hi dui
hi hj dui duj
elemento de lnea
elemento de area
h1 h2 h3 du1 du2 du3
47
elemento de volumen
U de Chile
M
etodos Matem
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
Calculamos primero h , h y hZ . Para determinar h recordamos

xk
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
Los coeficientes metricos permiten el calculo directo de los operadores ,

,
y 2
en cualquier juego de coordenadas ortogonales. Los siguientes resultados los justificaremos mas adelante.
Para un campo escalar , su gradiente esta dado por
Para un campo vectorial A

A
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
H. F. Arellano
Para un campo escalar o vectorial

2
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
Consideremos un campo escalar

du , du2 y du3
1
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. De esta forma se interpreta geometricamente como la

resulta evidente entonces que d
maxima variaci
on de por unidad de desplazamiento. En efecto, podemos escribir
d
ds cos ,
con el angulo entre y la direcci

on del desplazamiento ds. Si se hace coincidir la direccion de ds con
ds
d ds Max .
la de , entonces 0 y dMax
2.4.2.
La divergencia y el teorema de Gauss
La divergencia y el Teorema de Gauss estan estrechamente relacionados. En efecto, consideremos un

campo vectorial A dado por
A A1 e1 A2 e2 A3 e3 .
Supongamos ademas Ai
Ai u1 , u2 , u3 y consideremos la integral de flujo sobre una superficie cerrada

!
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
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 .
Este procedimiento se puede repetir subdividiendo 1 y 2 , y as sucesivamente. Se obtiene entonces una

suma de muchas integrales sobre celdas, tantas como resulten de las subparticiones del volumen de partida.
Entonces,
!
1 !
A dS
i
A dS .
i
i
i
i
En el ultimo paso se ha introducido el elemento de volumen i de la i-esima celda. En el lmite de celdas

infinitamente pequenas tenemos
"
A d ,
donde hemos definido

A
1 !
A dS
0
lm
on denota una superficie de

y denotado por V el volumen contenido por la superficie . En esta expresi
tama
no infinitesimal en la ubicaci
on dada por las coordenadas u1 , u2 , u3 . Con esta definicion la divergencia
cuantifica el flujo por unidad de volumen de un campo vectorial.
Calculemos este lmite utilizando coordenadas curvilneas ortogonales. Para ello consideremos una celda
infinitesimal como la que se ilustra en la Fig. (2.5). La longitud de sus aristas son h1 u1 , h2 u2 y h3 u3 ,
respectivamente, de modo que su volumen es
h1 h2 h3 u1 u2 u3 . La integral de flujo sobre la
celda es una suma de seis contribuciones, una por cada cara del cubo:
!
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
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
Sumando este par, dividiendo por el volumen y tomando el lmite u1

A1 h2 h3
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
En el caso particular de las coordenadas rectangulares tenemos u1 x, u2

Por lo tanto
Ax
Ay
Az
A
.
x
y
z
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
Se define el laplaciano como la divergencia del gradiente, vale decir,

2
Reemplazando las expresiones anteriores para la divergencia y el gradiente obtenemos

2
1
h1 h2 h3
u1
h2 h3
h1 u 1
h3 h1
h2 u 2
u2
u3
h1 h2
h3 u 3
Nuevamente, en el caso de coordenadas rectangulares obtenemos

2
FCFM
x2
y2
51
.
z2
U de Chile
M
etodos Matem
2.4.4.
El rotor y el teorema de Stokes
Como vimos recientemente, la divergencia surge de la descomposicion de una integral de flujo en la

suma de flujos netos sobre volumenes infinitesimales. En forma analoga, veremos que el rotor emerge de
la descomposicion de una integral de camino cerrada en la suma de circulaciones netas sobre trayectorias
elementales.
Consideremos nuevamente un campo vectorial A A1 e1 A2 e2 A3 e3 , el cual es integrado a lo largo
de una trayectoria cerrada C. Denotando d a los elementos de lnea de la curva, entonces
W
d .
Para efectos de esta integral, el camino C original se puede descomponer en la suma de dos trayectorias
C
C1
C2
Fig. 2.6: Descomposici

on progresiva de una trayectoria en dos y mas circulaciones.
cerradas, C1 y C2 como se ilustra en la Fig. (2.6). Estas dos subtrayectorias se descomponen nuevamente
en dos cada una y as sucesivamente. De esta forma,
N
C1
A d .
i
C2
Ci
Si la trayectoria elemental i-esima tiene una superficie i , entonces podemos escribir

N
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
H. F. Arellano
e3
u +du
(c)
3
(b)
(a)
e2
(d)
2
u +du
e1 .
Fig. 2.7: Analisis de una circulaci

on elemental en el plano u2 u3
Evaluemos la componente e1 del rotor en coordenadas ortogonales. Para ello descomponemos

circulaci
on sobre cuatro tramos ortogonales como se ilustra en la Fig. (2.7)
A d
Ai i .
Aa a
Ab b
Ac c
en la
Ad d .
i a,b,c,d
En este caso particular, a h3 du3 e3 , y b

h3 du3 e3 . Ademas, c
h2 du2 e2 ; d h2 du2 e2 .
1
2
2
3
Las funciones h3 y A3 en el tramo a son evaluadas en u , u
u , u
, mientras que en b se eva3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro
luan en u1 , u2 , u
contribuciones obtenemos
h3 A3
h3 A3
u2 u2
u2
u3
h2 A2
h2 A2
u3 u3
u3
u2 .
a,b,c,d
Al dividir por la superficie
h2 h3 u2 u3 y tomar el lmite se obtiene el rotor en segun e1 ,
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
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
Para hacerse una idea, se trata de una funci

on que es nula en todo el espacio salvo en las vecindades
de x
0, donde se hace infinita. La delta de Dirac no es una funci
on pues no tiene imagen definida. Su
significacion se manifiesta en el contexto de integrales. Por tal motivo Dirac denomino a x una funci
on
impropia.
Una propiedad importante que emerge de su definici
on es la relaci
on
f x x dx
f x x dx
En efecto,
inmediato verificar entonces que
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
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
Listamos algunas propiedades importantes de la delta.

x
x x
ax
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
Examinemos algunas de estas identidades.
Para la primera de ellas consideremos una funcion f x arbitraria y hacemos el cambio de variable
x. Entonces
z
f x
x dx
Puesto que f x es arbitraria, entonces
f 0 z dz
z z dz
f x x dx .
x.
Para la propiedad ( 3.2.1b) consideremos nuevamente una funcion arbitraria f x . Entonces,

f x x x
dx
xf x
x dx
xf x
x 0
0.
Por lo tanto x x act

ua, en el sentido de una distribuci
on, como el cero.
En el caso de la identidad ( 3.2.1c) consideremos una funci
on f x arbitraria y a
introducimos un cambio de variable z ax. Entonces,
f x ax dx
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
H. F. Arellano
Una propiedad menos directa es la ( 3.2.1d). Consideremos una funci

on f arbitraria. Entonces,
f x x2
a2 dx
f x x2
a2 dx
f x x2
a2 dx
0
0
x2
a2 dx
x2
f a
a2 dx
Para la primera de las integrales hacemos el cambio de variables z

2 dx z a2 . Por lo tanto,
0
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
58
FCFM
Captulo 4
Series y transformada de Fourier
El teorema de Fourier permite la representacion de una funci

on en un intervalo a, b mediante una
expansi
on de las funciones trigonometricas seno y coseno. A esta serie se le denomina serie de Fourier. La
demostracion de este teorema data de poco mas de dos decadas despues, en 1829, por Dirichlet.
4.1.
El Teorema de Dirichlet
Sea f x una funci

on acotada en el intervalo
, , con un n
umero finito de maximos, mnimos y
odica en la forma f x 2
f x para aquellos argumentos fuera
discontinuidades. Sea ademas f x peri
del intervalo. Entonces, la sucesi
on
a
2
sN
converge a
1
2
f x
f x
an
bn
an cos nx
cuando N
1
bn sin nx
n 1
. Los coeficientes an y bn estan dados por las f

ormulas
f x cos nx dx
0, 1, 2,
f x sin nx dx
1, 2, 3,
Es claro que si la funci

on f es contnua en x, entonces
f x
a
2
an cos nx
bn sin nx .
n 1
En aquellos puntos x donde la funci

on exhibe una discontinuidad, sN tiende a la semisuma de los valores de
la funci
on a cada lado de la discontinuidad.
La adaptaci
on del teorema anterior a una funci
on f cuya periodicidad es 2L es bastante simple. Si la
59
M
etodos Matem
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
Con esta construcci

on identificamos (n
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
De aqu surgen inmediatamente los coeficientes cn ,

cn
4.2.
1
2L
f x e
imx L
dx .
Bases de funciones
Antes de continuar con el tema es oportuno hacer una breve digresi

on sobre lo que posteriormente
llamaremos base de funciones. Consideremos el espacio vectorial euclidiano RN , donde un vector arbitrario
U de Chile
60
FCFM
M
etodos Matem
H. F. Arellano
F puede ser expandido en terminos de los elementos de la base ortonormal b1 , b2 ,

, bN . Bajo el producto
interno usual (producto punto), los elementos de esta base satisfacen bi bj ij Entonces podemos escribir
N
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
acompanadas de la siguiente definici

on de producto interno f g entre dos funciones, f y g:
L
f g
x g x dx .
Claramente, bajo esta definici

on n m
las siguientes propiedades:
f f
f g
g h
f g
f h
nm . Ademas, bajo esta definici

on el producto interno satisface
f h
f h
Observese el siguiente desarrollo,

L
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 ,
on original para f x y reordenando terminos se obtiene

con lo cual, al sustituir ck en la expansi
L
f x
n
n x f x dx
n x
dx
L
n x n x
f x .
cn
Esta igualdad se da para cual sea la funci

on f x contnua en el intervalo
la delta de Dirac,
x x
n x n x .
L, L , con lo cual identificamos
FCFM
61
U de Chile
M
etodos Matem
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.
Paso del discreto al contnuo
Las series de Fourier resultan muy utiles para la descripci

on de funciones peri
odicas, aunque esta no es
L, L puede ser
una propiedad restrictiva. En efecto, cualquier funci
on definida en un intervalo del tipo
representada, en ese intervalo, mediante los elementos de la base de Fourier. En particular, la transformada
de Fourier emerge cuando se pasa al lmite L
.
Como hemos visto, la base de funciones ortonormales cuyos elementos n x
satisfacen la relaci
on de completitud
x
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 .
Esto sugiere redefinir los elementos n de la base

n x
k x
1
eikx ,
2
los cuales satisfacen la relacion de completitud

x
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
que constituye la forma que adopta la relaci

on de ortogonalidad de los elementos de la base. Un motivo por
el cual al lado derecho no queda la delta de Kroneker sino la de Dirac es porque la variable k no es discreta.
U de Chile
62
FCFM
M
etodos Matem
H. F. Arellano
Consideremos una funci

on f x definida para
de la siguiente forma,
f x
y supongamos que esta se puede expresar
(4.3.1)
C k k x dk ,
lo que constituye una expansi

on de la funci
on f x como una combinacion lineal de los elementos de la base
k x . Los C k corresponden a los coeficientes de tal expansion. El uso de la ortonormalidad de las funciones
k x permite obtener tales coeficientes. Para ello multiplicamos ambos lados por p x , integramos en x
y hacemos uso de ortogonalidad. Entonces,
C k
(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 .
f x dx es finita, entonces los coeficientes C k existen.
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
Sea f una funci

on tal que
denotada por F k , mediante
f x dx sea acotada. Se define la transformada de Fourier de f ,

1
2
F k
f x e
ikx
dx .
Otra notacion equivalente es f k

F k . As entonces, de acuerdo a la discusion de la secci
on anterior,
la transformada de Fourier representa los coeficientes de la expansi
on de una funci
on dada en una base
de funciones arm
onicas. El signo en la exponencial es por un asunto de uniformidad con la usanza en
mecanica cuantica, aunque es totalmente valido el uso del signo +. Solo hay que mantener consistencia.
La extensi
on de la definici
on de la transformada de Fourier a funciones en R3 , del tipo f x, y, z , es
natural mediante
"
1
F kx , ky , kz
dx dy dz f x, y, z e i kx x ky y kz z
2 3 2
F k
FCFM
1
2 3
"
d3 rf r e
63
ik r
U de Chile
M
etodos Matem
La transformada de Fourier presenta viarias propiedades de interes. En algunos casos resultara u

til
denotar mediante F la transformada de Fourier en el sentido de una aplicaci
on. En tal sentifo F representa
un funcional cuyos argumentos son funciones. As, f F f . Considerando el caso 1D, listamos las siguientes
propiedades cuyas demostraciones son sencillas.
F f1
1. Linealidad en las funciones:

2. F F f
3. Si f k
f2
F f1
F f2
f
F f x , entonces f
F f
4. Si f es par (o impar), entonces f tambien lo es.

5. Si f k
F f x , entonces
1 k
f
F f x
6. f 0 es proporcional al area entre f x y el eje x.

7. F x
4.4.1.
2.
El teorema de convoluci
on
En fsica es frecuente encontrarse con integrales cuya estructura es la de una convoluci

on, vale decir,
x
Rx
(4.4.3)
x f x dx .
Esta estructura en el caso 1D se extiende a funciones en 3D de la forma

"
r
Rr
r f r d3 r .
A estas integrales tambien se les reconocen como folding. En algunos casos se identifica a como el output,
R como la respuesta y f como el input. Un ejemplo clasico de una convoluci
on lo vemos en el calculo del
potencial en un punto r debido a una distribuci
on de carga r . Mediante la aplicaci
on directa del principio
de superposicion se tiene que el potencial en r esta dado por
"
1
d3 r r
.
r
r r
Consideremos el caso 1D y examinemos la transformada de Fourier de la convoluci

on expresada por la
2 e integrando en x obtenemos
Ec. ( 4.4.3). Multiplicando por e ikx
k
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
H. F. Arellano
Por lo tanto,
k f k ,
2 R
cuya lectura es directa: la transformada de Fourier de una convoluci

on es proporcional al producto de las
transformadas de Fourier. La constante de proporcionalidad, 2, tiene su origen en la definici
on que hemos
adoptado de la transformada de Fourier. Tales factores son convencionales, pero es importante mantener
coherencia en todas sus expresiones, particularmente cuando se requiere volver a la representaci
on inicial.
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
omenos ondulatorios en general. Esta relacion establece

f
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
Reordenando consistentemente las integrales,

f
x g x dx
1
2
La integral en dx conduce a 2 k
dk f k
dk g k
dx ei
k x
k , la que al participar en la integraci

on en dk conlleva a
f
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.
Potencial debido a una distribuci

on de cargas
k - debido a una distribuci

Calculemos la transformada de Fourier del potencial coulombiano -
on
uniforme de carga. Como vimos anteriormente, la transformada de Fourier es el producto de las convoluciones.
FCFM
65
U de Chile
M
etodos Matem
Puesto que esta aplicacion es 3D, tenemos

k
k Vc k
3 2
1 r, de modo que
El potencial de Coulomb debido a una carga puntual unitaria es Vc r

Vc k
2 1
.
k2
(4.4.4)
4
k .
k2
(4.4.5)
Por lo tanto,
Necesitamos determinar , la cual se obtiene facilmente suponiendo simetra esferica. Entonces,

"
1
e ik r d3 r r
k
3
2
2
La integraci
on la realizamos con las variables esfericas r, , , con el eje azimutal segun k. Con ello
k r kr cos . La integracion en d es directa, con lo que
k
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
Considerando cargas uniformemente distribuidas en la extenci

on de una esfera de radio R, entonces
R r , donde representa la funci
on escal
on de Heaviside. Por lo tanto,
k
2
k
r dr sin kr
2
k
dr sin kr .
0
sin kR k
Este resultado conduce a

k
2 R2
j1 kR ,
k
donde hemos utilizado
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
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
resulta evidente verificar

2 r
ik r
1
2 3
Al sustituirl en la en Ec. ( 4.4.6), multiplicar por e

k
1
2 3
k e
k2
2
ik r
k e
ik r
ik r
y posteriormente integrar en d3 r se obtiene,
4
k ,
k2
resultado coincidente con la Ec. ( 4.4.5) para la misma funci

on. Este enfoque permite resolver muchas
ecuaciones diferenciales parciales mediante metodos de integraci
on directos.
FCFM
67
U de Chile
U de Chile
M
etodos Matem
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
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
Fig. 5.1: Problema de Laplace en un disco.

expresar los operadores diferenciales como la suma de operadores donde las variables no se mezclen. A este
punto planteamos f ,
. Sustituyendo y separando ecuaciones se obtienen
U de Chile
c,
70
c ,
FCFM
M
etodos Matem
H. F. Arellano
con c la constante de separaci

on. Siendo una cantidad fsica, es razonable exigir que ella sea univaluada.
Por lo tanto exigimos
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 ,
con k entero. Para determinar resolvemos
k2 ,
ecuacion diferencial homogenea cuya solucion tentativa se puede suponer de la forma

constante por determinar. Sustituyendo en al ecuacion anterior se obtiene p2 k 2 , o bien p
entonces,
dk

k
ck k
.
k
Cuando k 0, examinamos en detalle.
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
Todas ellas son soluciones de la ecuacion diferencial, de modo que su superposici

on tambien lo es. Escribimos
convenientemente,
A
f ,
An cos n Bn sin n n
2
n 1
Para determinar los coeficientes evaluamos en
A
2
R,
An cos n
Bn sin n Rn ,
n 1
y multiplicamos separadamente por 1, cos m y sin m. Luego integramos

A
An
Bn
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
Reagrupando terminos e identificando entre los parentesis cuadrados cos n

1
2
f ,
n 1
cos n
se obtiene
d .
Esta suma se puede reordenar mediante la aplicaci

on adecuada de la serie geometrica1, conducente al
siguiente resultado para la soluci
on
1
2
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
Recientemente abordamos el problema de la ecuaci

on de Laplace en un dominio circular. Si el problema
consiste en el de ondas de presion dentro de una cavidad cilndrica, la ecuaci
on a resolver es
1 2
c 2 t2
0.
Mediante separacion de variables, r T t , podemos llevar esta ecuacion a la de Helmholtz para .

Si ademas expresamos el laplaciano en coordenadas cilndricas se obtiene
2
c2
1
2
z2
k2
0,
donde hemos denotado k 2 2 c2 . Introducimos separaci

on de variables de la forma , , z
que al ser reemplazada en la ecuaci
on anterior conduce a
1 1 d
R
R d
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
H. F. Arellano
El motivo por el cual se ha optado por p2 en la constante de separaci

on y no por p2 es por el tipo de
solucion que surge para . Esta consideraci
on queda mas clara mas adelante, cuando abordemos las funciones
modificadas de Bessel.
Volviendo a la Ec. ( 5.3.1), multiplicando por 2 y reagrupando terminos se obtiene
1 d
R
R d
1
F
F
2 p 2
n2
En esta separacion se ha introducido la constante n2 , el cuadrado de un entero, a fin de garantizar que F

sea univaluada ante
2. Entonces, la ecuacion definitiva para R es
d
R
d
Introduciendo las nueva variables z
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
Buscamos una soluci

on en serie para la ecuaci
on de Bessel. A fin de permitir generalidad intentemos
zr
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
Esta igualdad se puede escribir de la forma B

coeficientes Bi se anula. Por lo tanto,
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
0, la cual se cumple si cada uno de los

0
0
0.
Analizamos posibles escenarios.
FCFM
73
U de Chile
M
etodos Matem
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
Esta relacion de recurrencia permite determinar a2 , a4 , a6 ,

a partir de a . Alternativamente,
podemos definir los nuevos coeficientes bm (m 0, 1, 2, ) mediante bm a2m . Entonces,
bm 1
,
4 mm
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)
A esta funcion J z se le denomina funci

on de Bessel del primer tipo.
Para r
se genera J z , la cual es en general linealmente independiente de J z . Sin
n
embargo, cuando es entero positivo (
n), entonces J n z
Jn z , lo que las hace
linealmente dependientes. La generacion de una funci
on linealmente independiente en este caso
es, por ahora, menos directa. Es posible demostrar que las funciones de Newman definidas por
J z cos J
n
sin
lm
Yn z
son linealmente independientes de Jn z . Para evaluar este lmite aplicamos lHo

pital
Yn z
dJ
d
cos
dJ
d
J sin
cos
1 dJ
d
n dJ
Evaluando las derivadas y reordenando se obtiene

Yn z
ln
Aqu se denota,
lm
z
2
Jn z
1
2
1
3
(serie regular en z)
ln n
0.577216 ,
la constante de Euler. Claramente Yn z tiene una singularidad logartmica en el origen, algo

reconocido en el problema de Coulomb de un alambre delgado.
Para a1 0, necesariamente r
la serie: a1 , a3 , a5
.
U de Chile
, con a
74
0. En este caso solo se dan terminos impares de
FCFM
M
etodos Matem
H. F. Arellano
Para r
1 resolvemos ak ,
ak
Haciendo esta vez bm
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.
Existen muchas fuentes que permiten la evaluaci

on numerica de las funciones de Bessel. En la Fig.
(5.2) se ilustran las graficas de Jn e Yn para n
0, 2, 4. Estas funciones tienen un par de caractersticas
1,
que conviene tener presentes. Por ejemplo, s
olo J z es no nula y finita en el origen. De hecho J 0
1
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
Fig. 5.2: Funciones de Bessel (izquierda) y de Newman (derecha) para n
0, 2, 4.
mientras que para n 1, Jn 0

0. Una caracterstica que tienen las funciones de Bessel es que a medida
que aumenta su orden, el primer maximo de ubica cada vez mas alejado del origen. En relaci
on a las
funciones de Newman, todas ellas son singulares en el origen. En particular, la singularidad de Y z es de
tipo logartmica, mientras que para n 1 ella es del tipo 1 z n.
Haciendo uso de los resultados anteriores es posible demostrar los siguientes comportamientos cerca del
origen
J z
Jn z
Y z
Yn z
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
Funciones modificadas de Bessel
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
Si es real y 2 0, entonces las soluciones y son combinaciones lineales de J x e Y x . Sin embargo,

tambien nos podramos encontrar con la siguiente ecuacion,
x2 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.
Las funciones modificadas de Bessel presentan las siguientes propiedades
1. I x es regular en el origen y divergente para x
2. K x es singular en el origen y se anula para x
3. I y K no tienen raices no nulas, salvo I0 en el origen.

4. I y K son reales.
U de Chile
76
FCFM
M
etodos Matem
H. F. Arellano
5.3.3.
Diferenciaci
on y recurrencia
Las funciones de Bessel satisfacen diversas propiedades, muchas de ellas bastante u

tiles. Listamos algunas
de ellas.
dJ
dz
dJ
z
dz
J 1
(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)
Para demostrar ( 5.3.5a) derivamos con respecto a z la expansi

on ( 5.3.4) para J . Es directo verificar
z
z 2k
2
dJ
dz
k!
k 0
2k
1
2
El factor 2k permite separar el lado derecho en dos sumas, una partiendo de k

1 y la otra desde
k 0. Mediante una traslaci
on de ndices es directo obtener la identidad ( 5.3.5a). La identidad ( 5.3.5b)
se puede obtener reagrupando z dJ

zJ 1 . La identidad ( 5.3.5c) es una consecuencia directa de las dos
dz
anteriores, mientras que las dos u
ltimas surgen de las dos primeras.
Entre las identidades importantes para las funciones de Bessel, y en general muchas de las funciones
especiales, son aquellas que involucran el wronskiano. Sean f1 x y f2 x dos funciones diferenciables,
entonces se define el wronsquiano W mediante
W f1 , f2 ; x
f1 f2
f1 f2
f1
f2
det
f1
f2
(5.3.6)
Demostremos que si u y v son combinaciones lineales independientes de J z e Y z , entonces

d
zW u, v; z
dz
0.
En efecto, puesto que u y v son combinaciones lineales de J e Y , ambas satisfacen la ecuaci

on de Bessel,
vale decir
du
d
z
dz
dz
dv
d
z
z
dz
dz
z2
2 u
z2
2 v
v
z
u
z
Multiplicando cada ecuaci

on por v z y u z, y restando los lados respectivos se obtiene
u
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
Puesto que zW es constante, zW

d
dz
A, entonces
v
u
A
zu2
En particular, podemos hacer u
J ; v
u B
dz
zu2
Y ; con lo cual
J B
dz
zJ2 z
permitiendo expresar la funci

on de Bessel del segundo tipo en terminos de la de primer tipo. Evidentemente
la relaci
on es no lineal, como es de esperar.
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
Esta integral tpicamente viene con lmites de integraci

on definidos. Mas a
un, resulta de particular interes el
caso , para el cual se obtiene
1 2
x J x
2
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
.
, mientras que el otro
Cuando , pero R y R son races de J z o J z , entonces el lado derecho de la integral es

nulo. Ello implica que
2
xJ x J x dx
0;
U de Chile
78
FCFM
M
etodos Matem
H. F. Arellano
, primero dividimos por 2
Para el caso
R
0
2 y luego tomamos el lmite usando lH

opital,
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
xJm Kn1 m x Jm Kn2 m x dx
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
La ecuacion de Laplace se expresa

1

FCFM
1 2V
2 2
79
V
z2
0.
U de Chile
M
etodos Matem
f o (,)
Fig. 5.4: Problema de Laplace en una cavidad cilndrica.

Introduciendo separaci
on de variables, V
1 1 d
R d
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:
De los dos tipos de soluciones I y K , s

olo I es aceptable puesto que K es singular en el eje.
Las soluciones I nunca se anulan fuera del origen, por lo que no es posible imponer que cumplan la
condicion de borde en el contorno en b.
Con lo anterior, resolvemos

1 d2
dz 2
Exigiendo 0
K2
0, entonces z
AeKz
Be
Kz
A sinh Kz. Volviendo a la Ec. ( 5.3.10) nos quedamos con

d
R d
dR
d
K 2 2
1 d2 F
F d2
0.
La ciclicidad de las soluciones en el angulo exige que

d2 F
d2
m2 F
A1 cos m
A2 sin m ,
con m un entero. De esta forma, la ecuacion diferencial para R se reduce a
d
d
dR
d
K 2 2
m2 R
0.
De esta, solo las funciones de Bessel Jm K pueden participar en la soluci

on puesto que Nm K es
singular en 0. Sin perder generalidad podemos escribir
R
U de Chile
Jm K .
80
FCFM
M
etodos Matem
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
Bnm sin m sinh Knm 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
Bnm sin m sinh Knm z .
m n
La determinacion de los coeficientes Anm y Bnm surge de imponer V , , L

Jm Knm Anm cos m
f ,
f , , es decir,
Bnm sin m sinh Knm L .
(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
Anm Jm Knm sinh Knm L .
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
Los coeficientes Bnm se obtienen de forma analoga, sustituyendo cos m
5.4.
b2 2
J
2 m
Anm sinh Knm L
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
Fig. 5.5: Sistema con simetra axial.

y de Bessel para la radial . Consideremos esta vez la ecuacion de Helmholtz en coordenadas esfericas pero
bajo el supuesto adicional de que el sistema presenta simetra axial, una exigencia tanto para la geometra
del sistema como de sus condiciones de borde. En la Fig. (5.5) se ilustra un sistema con tales caractersticas.
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)
La primera de estas conduce a las funciones esf

ericas de Bessel mientras que la segunda a los polinomios
de Legendre. Comencemos analizando esta u
ltima, para la cual es conveniente introducir el cambio de
variables u cos . Mediante una manipuladi
on algebraica simple se obtiene
d
du
u2
dP
du
0,
(5.4.14)
la que en su forma mas standard cobra la reconocida forma le la ecuaci

on de Legendre,
1
5.4.1.
u2
d2 P
du2
2u
dP
du
0.
(5.4.15)
Los polinomios de Legendre
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
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
Derivando con respecto a u y reagrupando terminos

d
du
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
Al sustituir en la Ec. ( 5.4.14) surge una ecuaci

on que involucra una serie de potencias en u. Imponiendo
la igualdad sobre terminos de igual potencia es directo obtener las siguientes relaciones sobre los coeficiente
ak ,
r r
r r
r r
2r k
1 k
1a
1 a1
ak
0;
0;
1
k r
r 2
r r
2r
1k
k k
ak .
De esta ultima resulta evidente

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.
0, 1. La sumatoria es multiplicada por 1 o u, con coeficientes a0 , a2 , a4 ,
0, 1. En este caso la sumatoria es multiplicada por 1 o 1 u, con coeficientes
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
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
1) para l par (impar). Observando que

2l 2k ! l
u
l 2k !
dl u2l 2k
dul
2k
es posible demostrar, utilizando la f

ormula binomial, que
1 dl
u2
2l l! dul
Pl u
(5.4.16)
A esta se le reconoce como la f

ormula de Rodrigues para los polinomios de Legendre. Para los ordenes
mas bajos se tiene
5.4.2.
P u
P1 u
P2 u
u
3u2
1 2
P3 u
5u3
3u 2
Propiedades de los polinomios de Legendre
Entre las propiedades mas relevantes de los polinomios de Legendre notamos

1 u2 Pl
2uPl l l 1 Pl
d
dP
l
1 u2
l l 1 Pl
du
du
l 1 Pl 1
2l 1 uPl lPl 1
(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)
Ademas de estas mencionamos la funci

on generatriz, que se expresa
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
H. F. Arellano
con l, m enteros. La demostraci

on de esta identidad es directa para el caso l m. Considerando la identidad (
5.4.17b) para los ndices l y m, multiplquese por Pm y Pl , respectivamente. Restar los lados correspondientes
y reagrupar, obteniendose
d
du
Integrando
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
de la cual resulta directa la ortogonalidad de los polinomios de legendre cuando m

1
evaluamos 1 du Pl2 u , cuyo calculo queda propuesto como ejercicio.
5.4.3.
l. En el caso m
Las funciones esf

ericas de Bessel
Los polinomios de Legendre surgieron luego de aplicar separaci

on de variables a la ecuaci
on de Helmholtz.
La constante de separaci
on se denot
o por , los cuales ante argumentos de regularidad de la soluci
on toman
on diferencial para la parte radial dada por la Ec. ( 5.4.13a),
la forma l l 1 . Estudiamos ahora la ecuaci
con l l 1 . Denotando t kr se obtiene
d
dt
t2
dR
dt
t2
1 R
l l
0.
El aspecto de esta ecuaci

on es muy similar a la de Bessel, por lo cual intentamos una soluci
on del tipo
R
tp J t ,
con p, parametros a determinar. Sustituyendo en la ecuaci

on diferencial para R obtenemos
2p
t2 J
2 tJ
t2
cuya forma se aproxima a la de Bessel si exigimos 2p

t2 J
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 ,
de modo que las dos soluciones linealmente independientes para R son

R1
1
Jl
t
1 2
R2
1
J
t
l 1 2
t .
Estas dos soluciones dan origen a las funciones esf

ericas de Bessel del primer y segundo tipo, denotadas
por jl t y nl t , respectivamente. Es tambien usual denominarlas funciones esfericas de Bessel y de Newman,
respectivamente. La definici
on standard es
jl t
nl 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
Para los ordenes mas bajos se tiene

sin t
t
cos t
t
j t
n t
Es frecuente encontrarse con combinaciones lineales del tipo hl

de Hankel de primer y segundo tipo.
jl
inl , correspondientes a funciones
Con todo lo anterior, la soluci

on general a la ecuaci
on de Helmholtz resulta una combinaci
on lineal del
tipo
r,
Bl nl kr Pl cos .
Al jl kr
l 0
Las constantes Al , Bl se determinan a partir de las condiciones de borde.
5.5.
Ecuaci
on de Laplace en una cavidad esf
erica
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
Fig. 5.6: Problema de Laplace dentro de una cavidad esferica.

seccion, es directo encontrar que P
Pl cos , con lo que la ecuacion para la parte real queda

1 d
r2 dr
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.
1 . Sus soluciones son p
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
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
sign u V 2, una funci

on impar en u, claramente los coeficientes de orden par se
Para el caso f u
l
anulan. Ello porque Pl u tiene paridad
. Para aquellos coeficientes de la forma A2k 1 se observa
A2k
2k 3 2
b2k 1
P2k
u du .
Esta ultima integral se puede evaluar utilizando, por ejemplo, la f

ormula de Rodrigues. Ello queda propuesto
como ejercicio3 .
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.
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
m2 F , con m entero. Por lo tanto,
De aqu surge un requerimiento directo cual es F

F
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
0). A partir de esta
a r
.
r3
3 Hacerlo.
FCFM
87
U de Chile
M
etodos Matem
Puesto que a es arbitrario, esta soluci

on conlleva a tres soluciones linealmente independientes, una por cada
componente ai ; i 1, 2, 3. Estas soluciones, en forma explcita, pueden ser
x
;
r3
1x
y
;
r3
1y
z
.
r3
1z
En forma analoga podemos construir otra soluci

on,
2
a2 a1
1
r
3 a1 r a2 r
r5
a1 r
r3
a2
a1 a2 r 2
Al escoger orientaciones independientes para a1 y a2 se generan 3 3 posibles combinaciones, tres de las

cuales se repiten por simetra. Ello reduce a 6 combinaciones diferentes ilustradas en el arreglo
3x2
3xy
3y 2
r2
r2
3xz
3yz
3z 2
.
r2
Sin embargo, de los 3 elementos de la diagonal s

olo 2 son independientes. En efecto, al sumar los dos
primeros se genera el tercero, salvo un signo. Esto reduce a 5 el n
umero de combinaciones independientes.
La extensi
on del procedimiento ilustrado anteriormente permite generar una gran familia de soluciones
a la ecuaci
on de Laplace. En general, es facil ver que l r se escribe de la forma
1
r2l
l r
(5.6.21)
fl r ,
on homogenea de grado l, vale decir, fl r

l fl r . Notamos ademas que fl r es
con fl r una funci
tambien una soluci
on de la ecuaci
on de Laplace, en virtud al teorema de inversi
on. En este se establece
on de Laplace, entonces 1r r r2 tambien lo es. En nuestro caso,
que si r es solucion de la ecuaci
1
fl
r2l 1
1 fl r
r r2 l
1
fl r r 2
r
Antes de proceder a una construcci

on sistematica de las soluciones, es util contar el n
umero de soluciones
independientes que se pueden obtener para un l dado. Como hemos visto, el numerador el la Ec. ( 5.6.21)
l. Nos preguntamos por
esta formado por combinaciones de potencias del tipo xa y b z c , con a b c
el numero posible de combinaciones a, b, c independientes que cumplan con la condici
on a b c
l.
Analicemos,
b c l
l 1 combinaciones
a 0
a 1
b c l 1
l combinaciones
b c l 2 l 1 combinaciones
a 2
..
.
a
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
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
Observar que por el teorema de inversi

on tambien es solucion de la Ecuaci
on de Laplace
1
r
Yl 2
r
r
1
Yl
r
1
r
r
1
Yl r .
rl 1
A las funciones Yl r se les denomina funciones esf

ericas arm
onicas, o simplemente esf
ericos arm
onicos
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
0 surge evidentemente que a a

Al exigir 2
de componentes complejas. Entonces,
a21 a22
l l
1 a r
l 2
0, lo que implica que a
a a.
a1 , a2 , a3 sea un vector
0.
a33
Esta condicion4 es posible con s

olo dos constantes complejas puesto que siempre habra una constante
multiplicativa indeterminada. As definimos convenientemente
i a2
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
vector que cumpla esta propiedad de denominar

a vector nulo.
89
U de Chile
M
etodos Matem
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
la cual puede ser expandida en serie de Taylor en b. Observese la siguiente manipulaci

on:
2l
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
Definiendo los coeficientes
a r
l!
b 0
l m
ul
l
1
u2
sin e
l m
ul
l
lm
entonces
m
l
cos , obtenemos para a r l ,
Con este resultado, denominando u

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!
lo que lleva tacita la definici

on de los esf
ericos arm
onicos
Ylm ,
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
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 ,
Messiah, Cohen-Tannoudji, Shankar

Landau, Greiner, Jackson
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
condicion que s
olo se cumple si Ill
ll . Entonces, para l
2l Ill D
Ill 2 D ,
Dl , de modo que
condicion que se cumple s

olo si Ill D
Ill
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
Reemplazando en la Ec. ( 5.6.25) para l
2l
Cl
u2 l du .
La determinacion de Cl se centra ahora en la evalucaion de la integral

1
u2 l du ,
para la cual
1 y que satisface la relaci

on de recurrencia5
2l
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
de modo que al sustituir en Ec. ( 5.6.26) obtenemos

lm lm Ylm , Ylm ,
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
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
Con lo anterior es facil verificar (las sumas en m, m se subentienden entre

l m lm Ylm
, Ylm ,
mm
l y l)
l m lm ll mm .
m,m
El argumento de Schwinger es que l m lm representan coeficientes independiantes6 , lo que conduce a

d Ylm
, 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
Tpicamente proviene de la constante de separacion. A esta ecuacion se le denomina ecuaci

on de SturmLiouville (SL). En general, toda ecuaci
on de la forma
d2 u
dx2
P x
du
dx
Qxu
Rx ,
puede ser escrita de la forma SL. Para ello basta la sustituci

on
px
P x dx
Qx
x
q x
.
px
Definamos el operador de Liouville L mediante

d
du
px
dx
dx
Lu
q x u,
de modo que la ecuacion SL se escribe

Lu
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
entonces las funciones uk y uj son ortogonales bajo el producto interno uj

condiciones de borde expresadas en la Ec. ( 5.7.28) se cumplen cuando:
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
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
on. Para el caso

La funci
on g x es un polinomio y los coeficientes an obedecen convenciones de standarizaci
de los polinomios de Legendre an 2n n!, g x
x2 1, x
1.
Otro tipo de relaci
on importante en las funciones SL es la que se reconoce como funci
on generatriz.
Este es un tipo de construccion del tipo
a n f n x tn ,
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
Se trata esta vez de abordar el problema general

u
Ecuacion
Bessel
Legendre
Legendre asoc.
Hermite
FCFM
pz u
q z u
0,
Tabla 5.1: Ejemplos clasicos de SL

Autofunci
on
px
q x
Jn
x
n2 x
Pn
1 x2
0
nm
1 x2 m2 1 x2
2
Hn
e x
0
95
(5.8.29)
x
x
1
1
2
e x
1
nn 1
nn 1
2n
U de Chile
M
etodos Matem
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.
a) Buscando una soluci

on en base a la naturaleza analtica de p z y q z .
b) Buscando una soluci
on en base a la naturaleza de las condiciones de borde.
Dentro del primer esquema contemplamos tres escenarios de interes.

0, entonces la Ec. ( 5.8.29) posee dos soluciones distintas de la
a1) Si p z y q z son regulares en z

forma
ak z k .
uz
k 0
0, pero zp z y z 2 q z son regulares, entonces existe al menos
a2) Si p z y q z son singulares en z

una soluci
on a la Ec. ( 5.8.29).
a3) Si p z y q z son irregulares en z

0, con zp z y z 2 q z singulares en z
0, entonces puede
no existir soluci
on a la Ec. ( 5.8.29). En este caso no se sabe de metodo para resolver la ecuaci
on
planteada.
5.8.1.
Aplicaci
on del m
etodo de series
Examinemos el caso a2, para el cual

an z n ;
zp z
z2q z
bn z n ,
n 0
n 0
e intentamos una soluci

on u z
z r n 0 cn z n . En esta expansi
on el parametro r esta por ser determinado.
Derivando y sustituyendo en la Ec. ( 5.8.29), luego de multiplicar por z 2 r , se obtiene
n
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
H. F. Arellano
As entonces,
n
r n
1 cn
n 0
r an
bn
cm
zn
r an
bn
cm
0.
m 0
De aqu surge la relacion para los coeficientes

n
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
Guiados por esta relaci

on, definamos las funciones
s
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.
A esta ecuacion se le denomina ecuaci

on indicial, cuyas races determinan la naturaleza de la soluci
on. Ellas
estan dadas por
r1,2
Con esta ultima, si suponemos Re r1

algunas consecuencias a considerar.
1
2
4b
r1
Re r2 , entonces Re r1
Re 1
r2
a
a .
2. De estos resultados surgen
i.- Siempre va a existir una soluci

on a la Ec. ( 5.8.29).
ii.- Una segunda ecuaci
on linealmente independiente tambien existe si es que r1
iii.- Si r1
r2
r2 no es entero.
N , con N entero, entonces se cumplen, simultaneamente,

r1
r2
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
Cuando existe una soluci

on a la ecuaci
on ( 5.8.29) podemos buscar una segunda soluci
on mediante el m
etodo
de variaci
on de par
ametros. Consideremos
u
pu
0,
qu
y supongamos que u1 es la solucion que se obtiene con la raiz r1 de la ecuaci

on indicial. Construimos
u2
(5.8.31)
hu1 ,
con h una funci

on por determinar. Sustituyendo directamente en la ecuaci
on diferencial y dividiendo por h u
se obtiene
h
d
u
2 1 p 0,
ln h ln u21
p.
h
u1
dz
Integrando, reordenando y considerando una constante c de integraci
on,
c
e p z dz .
h
u21
Examinemos ahora el argumento de la exponencial,
1
zn
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
H. F. Arellano
En esta ultima se han introducido los coeficiente n provenientes de la integraci

on. Puesto que u2
entonces,
u1
u2 N u1 ln z
n z n .
zN n 0
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
La ecuacion hipergeometrica tiene la forma

z 1
d2 u
dz 2
1z
du
dz
0.
abu
(5.8.32)
En este caso identificamos

a b 1z
z 1 z
ab
,
z 1 z
c
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
n, con n entero, entonces

cn
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
De esta forma,
c
ab
F a, b, c; z
a
n
0
nb
1c
n n
z .
n
(5.8.33)
A esta funcion se le llama serie hipergeom

etrica.
Es comun hacer uso de los smbolos de Pockhammer, definidos por
n
,
con los cuales expresamos

an bn n
z .
n! c n
F a, b, c; z
n 0
Una forma de denotar la ubicaci

on de los smbolos de Pockhammer es mediante
F a, b, c; z
2 F1
a, b, c; z ,
donde se indica que dos de ellos van en el numerador y uno en el denominador.

Como resultado de valores especficos adoptados por los parametros a, b, c, las series hipergeometricas
pueden representar diversas funciones conocidas. Listamos algunas de ellas
1
1 z
ln 1 z
1 z a
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
Una segunda soluci

on a la ecuaci
on hipergeometrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo
z1
g z
Luego de reemplazar en la ecuaci

on original se obtiene9
z z
1g
2c
3z
2 g
1 b
1g
0.
Claramente se trata de la ecuaci

on hipergeometrica al identificar
b
2
c
c
La segunda solucion es, entonces,

w z
z1
2 F1
, , ; z .
9 Hacerlo.
U de Chile
100
FCFM
M
etodos Matem
H. F. Arellano
5.8.3.
La ecuaci
on hipergeom
etrica confluente
Se trata de la ecuacion
zu
z u
au
0.
Para este caso los coeficientes para la ecuacion indicial son a

r 0 y r 1 c. La soluci
on para r 0 es del tipo
u
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
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.
Problema con C.B. homog

eneas
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
Consideremos y1 x y y2 x soluciones de Lu 0, tales que y1 a

y2 b
0. A partir de estas busquemos
una soluci
on a la ecuaci
on no homegenea ( 6.0.2) construida de la siguiente forma,
ux
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 .
A este punto podemos imponer, para todo x,

v1 y1
0.
v2 y2
Derivando y sustituyendo en la ecuaci

on anterior obtenemos
v1 y1
v2 y2
f x ,
lo que se resume en el siguiente sistema de ecuaciones diferenciales para nuestras incognitas v1 y v2 ,

y1
y1
Este sistema de 2
y2
y2
0
f x
v1
v2
2 se resuelve en forma simple. Denotando

W x
entonces
v1
y1 y2
1
y2 x f x ;
W x
y2 y1 ,
v2
1
y1 x f x .
W x
Integrando con respecto a x y reemplazando en la construcci

on para u x tenemos
ux
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
donde definimos la funci

on de Green
G x, t
y1 t y2 x W t ,
y1 x y2 t W t ,
a
x
t
t
x
b
Vemos que G x, t depende de las soluciones homogeneas y1 e y2 . Resulta u

til en ocasiones hacer referencia
a la variable t como coordenada de la fuente y a la variable x como coordenada del campo. En el
caso particular de esta ilustraci
on, y a
un mas generalmente, la funci
on de Green satisface cinco propiedades
importantes.
U de Chile
104
FCFM
M
etodos Matem
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
Restando ambas derivadas y reconociendo W x

G
t
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
on de Helmholtz en 1D
u
donde u 0
FCFM
uL
k2 u
f x ,
0. Claramente, dos soluciones independientes de la homogenea son

y1 x
sin kx
y2 x
sin k x
105
L .
U de Chile
M
etodos Matem
A partir de esta construimos el wronskiano,

W x
sin kx k cos k x
k cos kx sin k x
W x
k sin kL .
Por lo tanto la funci

on de Green esta dada por
G x, t
sin kt sin k x
sin kx sin k t
De esta forma la soluci

on esta dada por u x
x
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 .
0 la primera integral es nula, mientras que la segunda contribuci

on se anula al
Verificamos que en x
evaluar sin kx . De igual forma, en x L la segunda integral no contribuye, en tanto que sin k x L
se anula. Estas dos observaciones permiten que la expresi
on obtenida para u x cumpla las condiciones de
bordes homogeneas.
U de Chile
106
FCFM

Metodos Matemáticos de La Física FCFM PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Metodos Matemáticos de La Física FCFM PDF

Uploaded by

Copyright:

Available Formats

Hugo F.

1.1. Variables complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Funciones de variable compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Derivada y analiticidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Propiedades geometricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.5. Transformaciones conformes

1.7. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.8. Formula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.9. Sucesiones y series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.10. Series de Taylor y de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.11. Teorema de los residuos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.12. La parte principal de una integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.13. Hojas y superficie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.14. Integrales que involucran funciones multivaluadas . . . . . . . . . . . . . . . . . . . . . . .

1.16. Relaciones de dispersi

1.17. Metodo del descenso mas empinado (steepest descent) . . . . . . . . . . . . . . . . . . . .

Coordenadas curvilneas ortogonales

2.2. Coeficientes metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.3. Elementos geometricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4. Operadores diferenciales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.2. La divergencia y el teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . .

2.4.4. El rotor y el teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Series y transformada de Fourier

4.1. El Teorema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.2. Bases de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.3. Paso del discreto al contnuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.4.1. El teorema de convoluci

4.4.3. Potencial debido a una distribuci

5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3.2. Funciones modificadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3.4. Una identidad u

5.4.1. Los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.4.2. Propiedades de los polinomios de Legendre . . . . . . . . . . . . . . . . . . . . . .

5.4.3. Las funciones esfericas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.6. Los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.6.2. Relaciones de ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.6.3. Otras identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.7. Teora de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.8. Ecuaciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6.0.1. Problema con C.B. homogeneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103

Comenzamos nuestro estudio suponiendo alguna familiaridad con los n

2. Conmutatividad de la suma y el producto,

3. Distributividad de la suma con respecto al producto,

5. Existencia del inverso aditivo. Si z

6. Existencia del inverso multiplicativo. Si z x

zz , la cual conduce a la desigualdad

Funciones de variable compleja

Al igual que con variables reales, las m

Fig. 1.1: Cuando z

Ademas la desigualdad triangular permite z z

Aqu resulta claro que la separaci

x iy se le asocia el complejo conjugado, z , definido por z

iy. Con esta definici

Calculemos f z mediante un acercamiento z

z paralelo al eje real, es decir z

Analogamente, calculemos f z mediante un acercamiento z

z paralelo al eje imaginario. En tal caso

A esta se le denomina condici

provisto de que el lmite exista y sea independiente de la forma como z

iv x, y es diferenciable en una regi

C se denomina analtica en z si es diferenciable en z y todo punto de su vecindad.

La analiticidad de una funci