Apunte Metodos

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. Integracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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. Prolongacion analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
1.16. Relaciones de dispersion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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 convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
64
4.4.2. Relacion de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
4.4.3. Potencial debido a una distribucion de cargas . . . . . . . . . . . . . . . . . . . . .
65
Ecuaciones diferenciales
69
5.2. Separacion de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
5.2.1. Ecuacion de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
5.3. La ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
5.3.2. Funciones modificadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . .
76
5.3.3. Diferenciacion y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
5.3.4. Una identidad u

til . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
5.3.5. La ecuacion de Laplace en una cavidad cilndrica . . . . . . . . . . . . . . . . . . .
79
5.4. Ecuacion 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. Ecuacion de Laplace en una cavidad esferica . . . . . . . . . . . . . . . . . . . . . . . . . .
86
5.6. Los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
5.6.1. Construccion 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. Aplicacion del metodo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
96
5.8.2. La ecuacion hipergeometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
5.8.3. La ecuacion 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 presentacion 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 combinacion del tipo x iy, con x e y variables reales ademas de la
1. Para uniformizar la notacion, usaremos la letra z para simbolizar las variables complejas.
propiedad i2
Las operaciones de suma y multiplicacion 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 x 1 y2
x 2 y1 .
Con estas definiciones, y al igual que en el cuerpo de los reales, los n

umeros complejos satisfacen las siguientes
propiedades para la suma y el producto:
1.
z1
2.
" & " ' %# & " ' "

" # "
& " '#
# "
#
" # " #
# "
" &+$ ' #%&*$
z2
z3
z1
z2
z3 ,
z2
z2
z1 ,
Existencia del cero (0
i 0) y de la unidad (1
z
5.
z3
Existencia del inverso aditivo. Si z

cumple
z,
z1 z2
"
"
z3 ;
z2 z1 ;
( # ( #
&*$ ' #&+$ ' " +& $ '
'" #
i 0):
z 1
z1 z2
z1 z3 ;
i y, entonces
z
z2 z3
z 1 z2
Distributividad de la suma con respecto al producto,

z1 z2
4.
z1
Conmutatividad de la suma y el producto,

z1
3.
( & ( ' %# & ( ')(

( # (
Asociatividad para la suma y el producto,
1 z
z;
0;
y es su inverso aditivo y
M
etodos Matem
6.
# "
, -# & 0. / / ' 1
(, # , ( #
/ / #32 1
/ " /546/ /7"/ /
i y, entonces1 z
Existencia del inverso multiplicativo. Si z x

plicativo y cumple
z z 1
//
1.2.
z2
z1
1 z
z es su inverso multi-
1;
Se define el m
odulo ( z ) de un n
umero complejo z mediante z
z1
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 funcion de la variable compleja z x i y, entonces podemos escribir
&'
# "
& ' # & ' " & 9' 8 & '
;
/ $ :5/5< =>/ & ' $ & : ' /0<
&'# ;
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
de funcion contnua es f z
z 2 . En efecto,
iy
iv
wo
zo
w
x
? :
? :
/ & ' $ & : ' / # / $ : / # @B/ ACAE$DFI AGAE:5H / / " :J/0< / " :5/
/ " :K/ # / $ :L" :J/046/ $ :K/C" / :K/54 " / :K/
# & ' : # & :'
/ $ :J/04 @BAM& ANAEAM"AEDFO AE/AEANAM:JAE/H '
:
#P / :J/ " $ / :J/
:
/ /Q4
:
T
UT R V
TWR R S T R S
Fig. 1.1: Cuando z
f z
f z
z2
z2
z , entonces w
w .
Ademas la desigualdad triangular permite z z

f f z yf
f z , entonces
f f
2z
z z
2z
z z
2z
2 z . Si denotamos
Aqu resulta claro que la separacion 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.
1A
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
1.3.
M
etodos Matem
H. F. Arellano
Derivada y analiticidad
Consideremos el cuociente
& ' $$ & : '

:
:? :
:
'# Y & " '$ & '
? :
' " & " 'G[ $ Z &
'$ & '" & "
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
X&
f z
X& '
lm
f z
ux
u
x
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
# Z& "
# & "
? \\ " \\
? :
X& '
# Z & " ' " & " 'C[ $ Z &
# & " '$ & '" & "
? $ \\ " \\
ux
z
z
Calculemos f z mediante un acercamiento z

Entonces,
f
z
f z
u x, y
u x, y
i
i v x, y
y
u x, y
i y
v
.
y
u
y
' " & C' [

'$ & '
u x, y
x, y
x
x, con z
# "
x
i y.
i v x, y
v x, y
z paralelo al eje imaginario. En tal caso
' " & G' [

'$ & '
y
u x, y
i v x, y
iy
v x, y y
v x, 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 funcion. 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
^
_ b` a c d ^fe ig h d ^jg
]
d g a d gfe d k g k k k
k a k k ahk
k lk T
a
ka k e kk a kk h kk
]
^
Resumen:
Analiticidad: Sea f : C
__
C una funci
on compleja. La derivada de f en z es
df
dz
lm
z
z
f z
f z
provisto de que el lmite exista y sea independiente de la forma como z

Teorema: La funci
on f z
u x, y
condiciones de Cauchy-Riemann,
(1.3.1)
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.
# "
&'# " 1
#
& '#& & # '#

&
$ & \ \ . . \ \ ' ' " " & \ \ . \ . \ ' '#
La analiticidad de una funcion no es una propiedad que este garantizada a cualquier funcion contnua.
Por ejemplo, consideremos z x i y, y definamos f z
z z . Claramente u x, y
2x; v x, y
0.
La derivada df dz obtenida mediante variaciones de z paralelas al eje real es u x
i v x
2. De
iy) conducen a i u y
v y
0. Este
igual forma, variaciones paralelas al eje complejo (z
resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistematica
de verificar la analiticidad de una funcion es examinando la condicion de Cauchy-Riemann. Para este ejemplo
se observa que u x
v y. En general, cualquier funcion de z y z resulta no analtica.
\ .\ m \ .\
& ' %# & $ ' " & '
\\ #
&'# # $
# # "
\\ #3$ \\ # \\ #
X & ' # \\ " \\ # " & ' #
# ,
&'#
z 2 . Considerando z
x i y es facil verificar que f z
Examinemos un ejemplo simple: 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 funcion exponencial. Esta funcion 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
X& ' # & '
&'
& " '# & ' & '
variable compleja z, que denotadaremos por f , que satisface las siguientes propiedades: a) f z es analtica
f z ; y c) f z1 z2
f z1 f z2 . Procedemos entonces a la construccion
y univaluada en C; b) f z
de la exponencial.
& " '# &' &'

&' # &'
&'#
& " ' $ & ' # & ' & ' $ & ' # & 'Z & ' $ [
X& ' # & '
& " ' $ & ' # & 'Z & ' $ [
& ' $ [.
&'#
&'#
?
Z
& '# & '" & '
X#
\\ # \\ #
& '# &' & '# &'
\\ # \\ ? & ' #
\\ #%$ \\ ? & ' #3$
no" # np" #
&'#
$
"
= &'#
&'#
&& ' ## q ? & & ' # # q ? ## q
'
'
# " 8 & '
& '# & " '#
#
# "
#
#
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
0; 1.
1.
a y ex , y v x, y
0. Solo 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
f 0 . Soluciones son f 0
f z . Examinamos
f z
Cuando z
f z
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 integracion. 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 e iy
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 funcion 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
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 u
ltima no es analtica en los ceros de cos z. De forma analoga se introducen las definiciones
tan z
cosh z
# " ,
ez
sinh z
# $ ,
ez
tanh z
sinh z
.
cosh z
El logaritmo
1.3.2.
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 funcion periodica, vale decir,
ez
# r
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 solo un sector.
Buscamos una forma explcita, en terminos de x e y, para ln z

que ew z. De esta u
ltima, claramente
# r # Z "
# //
# / /& " '
# / /s"
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 .
Ademas, si representamos z
z cos
i sin , es claro que v

ln z
En terminos de las componentes de z,

w
U de Chile
# P " "
ln
x2
y2
14
# #
def
arg z. De tal forma que
i arg z .
i arctan
t u
y
x
FCFM
M
etodos Matem
H. F. Arellano
# \ # " " "$ & . . ' # $" # "

\
#
Con este resultado calculemos su derivada

d ln z
dz
Por lo tanto,
w
x
x2
y2
y x2
y x
iy
y2
1
iy
1
.
z
d ln z
dz
x
x2
Contando con la definicion del logaritmo podemos definir la potenciacion a un n

umero real a,
za
ea ln z .
def
Con esta definicion 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 funcion de dos variables, x, y , apunta en la direccion de mayor

crecimiento. Si consideramos u x, y y v x, y , componentes de una funcion analtica f z , entonces
u v
u v
x x
"\\ \\
#
u v
.
y y
# "
Al hacer uso de la condicion de C.R. se obtiene que u v 0 Esto implica que, en un punto z x iy,
la direccion 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 aplicacion 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 aplicacion f podemos identificar la region 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 transformacion 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.
: # & :' : # $ :
# X& : '
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.
X& : '
Al ser f analtica, f z es u
nica. 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
za
s eia ,
zb
s eib .
Claramente el angulo entre estos dos desplazamientos se obtiene examinando el cuociente z b za :
# v , w
# XX && :: '' # v , w
zb
za
ei
b a
Nos preguntamos entonces por el angulo relativo entre las variaciones w a y wb respectivas:
wb
wa
f z
f z
zb
za
ei
b a
X& : ' m
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.
(1.5). Es importante resaltar que la preservacion de los angulos esta garantizada solo cuando f z
0. Si
iy
iv
b a
zb
wb
wa
a
b
za
x
X& : ' m
Fig. 1.5: Si f z
0 entonces
x&
za , zb
'# x&
#
'
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
de orden m, entonces wa , wb
m
za , zb . Cuando m 1 nos referimos a una transformaci
on
conforme.
x&
U de Chile
' # yzx &
'
16
FCFM
1.5.1.
M
etodos Matem
H. F. Arellano
Ejemplos
Inversion: w
# .
1 z.
&'# .
#3{ | } $ }94 ~
Consideremos la transformacion 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
Construimos w:
# "
a
ei ,
:0
a;
# # "
# " ""
$ " "
# .
&.'
/ # $
# .
"o? $
1
z
a
Mediante manipulacion algebraica directa obtenemos
a2
a cos
2 2a cos
El centro del crculo es mapeado a w

En tal caso
$ ?
1
.
ei
sin
.
2a cos
a2
1 a. Los puntos del contorno de D quedan determinados con
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 transformacion 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 z a y zb . Definimos la integral
mediante la suma infinita de elementos infinitesimales,
& # & & $

&
' Y ' , '8
'
$, / # $ , / ? #
n
f z dz
lm
zb
f j
zj
zj
f z dz .
za
j 1
En esta construccion exigimos que para todo segmento, zj zj 1

0. Ademas, convenimos en que f
es evaluada en cualquier punto j en el segmento zj 1 zj . Suponemos que la funcion f no experimenta
saltos a lo largo de . Para fijar ideas hemos considerado z0 za , y zn zb .
FCFM
17
U de Chile
M
etodos Matem
iy
n1
n2
za
2
1
Fig. 1.7: Integral a lo largo de una trayectoria .
1.7.
Teorema de Cauchy-Goursat
Cuando la una funcion f : C
& #
'
C es analtica sobre y dentro de una trayectoria cerrada C, entonces

0.
f z dz
A este teorema se le llama Teorema de Cauchy-Goursat. Sin pretender una demostracion rigurosa sino
mas bien dar una justificacion 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
xy
'
u dy .
En estas hacemos una distincion 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
u, v y B
v, u , respectivamente. Por el teorema de Stokes, tales integrales son independientes
A
de la trayectoria si es que A 0 y B 0, lo cual es efectivo al considerar la condicion de C.R.
para las funciones u y v:
#-& $ '
#-& ' #
y
y #
y ## \ $$ \ ## \ &*& $ $' $ \ & & #' #
y
\ \ \ ' \ '
x Ay
y Ax
x By
y Bx
zb
1
(a)
zb
za
za
0,
0.
C
1
(c)
(b)
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 funcion f z es analtica sobre cada una de las
U de Chile
18
FCFM
M
etodos Matem
H. F. Arellano
trayectorias intermedias, entonces
zb
&
&
#
'
v w
v w '
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
&
&
3
#
$
v w '
v w '
= v w &' " v w &' #

& #
'
za
f z dz
zb
za
f z dz
za 1
f z dz
f z dz
za 1
zb 2
De esta u
ltima obtenemos [ver (c)]
0.
zb 2
0.
f z dz
Ejemplos
i.- Calculemos I
8%
z dz para las trayectorias a, b y c indicadas en la figura.

1+2i
a
b
0
Fig. 1.9: Tres curvas de integracion.
a) Para la trayectoria a podemos parametrizar z de la forma
Entonces, dz
# "
dt
&'# "
z t
2it ,
# & " '& "
2i dt. Sustituyendo,
1
Ia
2it dt
t:0
#' &+$
# "
dt
&'# "
t
2it2 ,
# & " '& "
4it dt, con lo cual

1
Ib
2it2 dt
4it dt
FCFM
"
3t dt
b) Para la trayectoria b podemos parametrizar z de la forma
Entonces, dz
1.
2i dt
z t
19
t:0
4it dt
' #3$ "

3
2
2i .
1.
' # ((( #%$ "

3
2
2i .
U de Chile
M
etodos Matem
&'# " #
# & ' & ' " & " ' & ' # ( (( #3$ "
&'#
c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t

t, (dz dt),
1. En el segundo podemos hacer z t
1 it, (dz idt), con t : 0
2. De esta forma,
con t : 0
1
Ic
t dt
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.
&'#
En este caso los puntos z en la trayectoria estan dados por z

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

erez 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
#3$ #
Resumiendo,
dz
z
#
2i
0
si encierra el origen
si no encierra el origen
1.8.
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
na de radio . Con
trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia peque
f z
ello el integrando z z es analtico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat:
, v w`
&' # """ #
$ :
& ' #%$ ?& '
$ :
$ :
?
#3$ & :" ,
(((
'
& :J" , ' ? & : '
?
& : ' # $& ':
f z dz
z z
Al hacer los tramos b y d infinitamente proximos, las integrales (recorridas en sentidos opuestos) se cancelan
pues los integrandos coinciden en el lmite. En tal caso a
, con lo que
f z dz
z z
$ ,
f z dz
z z
& ' # b: " ,
Necesitamos evaluar c en el lmite

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

Sustituyendo es evidente
f z
d .
cuando
f z
1
2i
0. Por lo tanto
((( ? $
cy
& :'
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
& '
$
$ &'
$ 'r &'
Aceptando que la derivada de la integral es la integral de la derivada, es inmediato observar

f
v w& ' #
n
dn
dz n
#
#
1
2i
1
2i
1.9.
1
2i
f
d
z
&
dn 1
f d
dz n z
n!
z n
f d
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 solo algunas nociones
basicas.
FCFM
21
U de Chile
M
etodos Matem
Consideremos la sucesion infinita de n

umeros reales o complejos w1 , w2 , w3 , . . . y construimos la suma
parcial de k terminos,
Sk
wn .
n 1
Decimos que la serie S

lmk
Sk existe, vale decir, es finito. En relacion
n 1 wn es convergente si S
a las caractersticas de convergencia de las series, se definen dos tipos:
a) Series absolutamente convergentes, cuando
/ /

b) Series condicionalmente convergentes, cuando
/ /
wn es convergente; y
n 1
n 1
wn converge pero
n 1
wn diverge.
En relacion 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.
wn 1 wn . Definamos ademas
El test del cuociente, que consiste en construir el cuociente n
R lmn
n . Bajo este criterio, si R 1 la serie converge absolutamente; si R 1 entonces la
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.

# Y
#
;<
Y / ; /
<
#/ r. / #
Un ejemplo simple y de mucho interes consiste en la serie geometrica defininda por

Sn
8 " " " ((( " ,

# $$
& m '
1
zn
z2
Es directo verificar el siguiente resultado exacto
Puesto que lmn
Y #
zn
/ /<
0 para z
Sn
1 zn
,
1 z
1.
1, entonces
S
# $
/ /<
1. Mas alla de si
Esta expresion cerrada para la suma de infinitos terminos se obtiene suponiendo z
existe una expresion cerrada, la existencia de un resultado finito esta condicionada, independientemente, por
los criterios del cuociente y de Cauchy. Ambos garantizan convergencia de la serie para todo z
1. Al
1 se le denomina crculo de convergencia.
sector delimitado por z
/ /<
/ /<
&' &'
La extension 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
&'# &'
Sn z
wk z .
k 1
U de Chile
22
FCFM
M
etodos Matem
H. F. Arellano
& ' # Y & '
Definimos ademas
lm Sn z .
f z
/ & ' $ & ' /0<
<& / ' /b# < . & $ ' ;
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
/ & ' $ & ' / # / / $ / /)

# / / /$ /
f z
zN
1 z
SN z
0 N : n
z ,
=
N
Buscamos N para el dado y obtenemos
ln 1
z
1.10.
Series de Taylor y de Laurent
& $ :'
Cuando una funcion es analtica dentro de un crculo centrado en un punto z , entonces es factible
expandir tal funcion en serie de potencias de z z . A esta expansion se le reconoce como serie de
Taylor. Concretamente,
& ' # & : ' " X & : ' & $ : ' " ((( # v w & : ' & $ : '
f z
f z
f 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
f z
.& $ '
$ # & $ : ' $&
# $$
Reagrupando los terminos en 1
con
FCFM
&'
$
f d
.
z
z tenemos
1
2i
$ :' # & $ :' & $ '

:: / /J<
1
z
,
z
23
1.
U de Chile
M
etodos Matem
/ . /5& < $ ' #

& ' # & $ : ' $$ :: & '

& ' # v w & : ' &
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
# & $ : ' & $ & ': ' r
f d
z n
n 0
Utilizando la formula integral de Cauchy para la derivada, valida si f es analtica, resulta evidente
n
f z
z
n!
n 0
$ :'
z
la serie de Taylor de f en torno a z .
La expansion de Laurent no tiene contraparte en variable real, permitiendo la expansion en serie de

potencias en regiones anulares en cuyo interior la funcion es no analtica. Consideremos y dos crculos
concentricos de radios r y R, respectivamente. Ambos estan centrados en z , con r R, como se ilustra
en la Fig. (1.12). Sea f : C
C analtica en la region anular S comprendida entre y . Entonces, para
<
zo
| &'
Fig. 1.12: Sector anular comprendido entre y , concentricas en z .
todo punto z
& ' # & $ : ' " & $ : '
# & $ & ': ' r

# & $ :' , & '
S, f z esta dada por

f z
an z
n 0
donde
n 1
an
1
2i
bn
1
2i
f d
z n
bn
z z
n 1
f d .
Para demostrar este resultado recurrimos nuevamente a la formula 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 proximos entre s. La analiticidad de f z
dentro de la trayectoria escogida permite el uso de la integral de Cauchy,
& $ ' " & $ ' " ((( " ((( #

@BACv EA, AEAEw ANAEAEACAEYDFACANAEvMAEr AEAEw AEAAEH
& " ' &*$ '
& ' # & $' $ & $'
f d
z
f d
z
&'
&'
2if z .
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
55 55 55 55
55 5 5
(+)
()
Fig. 1.13: Trayectoria cerrada que excluye singularidades.
Se ha antepuesto signo a la integral

positivo (antihorario).
.& $ '
, pero se subentiende entonces que esta se realiza en el sentido
.& $ '
$ :
$ : # & & $ $ : '
$
: : ' r
# & & $ $ : ': ' r
$ :' "
& $ : ' & ' & $ : ' r
Al igual que como se hizo con la serie de Taylor, buscamos expresiones adecuadas para 1 z y
1 z , al estilo de la serie geometrica, que involucren potencias de z z . En esa lnea, es facil verificar
que
n
1
1
z
z n
.
z
z z n 0 z z
z z n 1
n 0
$ # $ :
$
Por otro lado ya obtuvimos
& $ & ' r &

:'
n 0
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 a n ,
&'
&$ 'r
#
? = &'# , . =
# r ,vrw #
m
# & $ ', &'
# "
#
? = &'# , . =
# , v,w
an
Parametrizamos:
# "
1
1
2i
f d
1n
ei , (d
ei id), : 0
1
2n
an
Este u
ltimo paso es evidente porque n
i n 1
0.
0. Calculemos ahora los coeficientes b n :
bn
1
2i
n 1
f d
Parametrizamos nuevamente:
ei , (d
bn
FCFM
1 n
ei id), : 0
ei
n 1
d .
25
U de Chile
M
etodos Matem
& ' # . & #$ '
En este caso n 1. Cuando n 1 se obtiene directamente b1

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

1 es la misma funcion, algo totalmente
Como en la ilustracion anterior, las series de Laurent se pueden aplicar en torno a puntos singulares. En
particular, si z es una singularidad aislada, entonces podemos expandir
& ' # & $ : ' " B@ & A EAEAE$ AEAEAEAN:AEAE' AEAE"AEAEAEAE(AN(A E( DF& A NAE$ AEAEAEAEAE: AE'ANAEAEAEAE" AEAEAE(KA E(H (
&'
:
an z
f z
b1
n 0
bn
z z
fP
La contribucion fP z se denomina parte principal de f en z . En relacion a esta expansion 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 .
Y ` & '#
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,
f z
sin z z, y g z
ez z 1 z 2 tienen singularidades removibles en z 0.
1.11.
Teorema de los residuos
&'
&
'
Sea f z una funcion meromorfa en sobre y dentro de una trayectoria cerrada C. Nos planteamos el
calculo de la integral
f z dz .
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 funcion meromorfa.
& " & " " & " #

'
' (((
' (((
hacia los polos se cancelan. Si denominamos k a la trayectoria cerrada que enlaza al k esimo polo, entonces
f z dz
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
f z dz, encerrando el k esimo polo que suponemos de orden m. Definamos entonces
k
& ' %# & $ ' & '

Y &'#
k z
zk
f z ,
Si f es expandida en serie de Laurent en torno a zk , entonces

lm z
bm;k ,
zk
& # &' #
' & $ ' & $ '
& '98 & $ '
& #
'
donde bm;k representa el coeficiente de mayor orden de la parte principal de f . As,
Definiendo
2i
m 1!
k z dz
z zk m
f z dz
Res f zk
obtenemos
1!
2i
f z dz
m 1
(por Cauchy).
zk ,
v , w& '
& '
m 1
zk ,
Res f zk ,
v , w& '
& '# Y & $ ' &'
el denominado teorema de los residuos. Para los polos de primer orden se tiene
Res f zk
lm z
zk
lm
d
dz
en el caso de los polos de segundo orden
& '# Y
Res f zk
zk
zk f z ;
& $ ' & '

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
#3$
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
FCFM
" '
1, de
27
d
.
cos
U de Chile
M
etodos Matem
iy
|z|=1
Polos para b=1
x
Polos (conjugados) para b<1
Polos para b>1
Fig. 1.15: Ubicacion de las raices de z 2
3# $ " "
3# $ #32 $ $ 2 $
r "
" " #
2bz
0.
Haciendo las sustituciones descritas se obtiene

2i
4;
dz
2bz
z2
b
b2 1, ilustrados en la Fig. (1.15). Se puede verificar que solo
Los polos del integrando son z
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, situacion que obviaremos en este caso. Evaluemos
entonces el residuo.
& r)' ? & $ )r ' & $ r)' & $ ' # $ ? r $ # 2 $

,
,
,
# 2 $
Resf z
1
2 b2
Con esto la integral buscada resulta
2
.
b2 1
2.
# , vv ww

& # &
' , '
0 &
'
?
&
, '
P x
Q x
dx
? & '. & ' & '

" 5 & ' # & '
#
#
# &'
&' ?
# & '
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 x dx
f z dz
&'?
Si z f z
, entonces
izd), : 0
f z dz
0 cuando R
f z dz
z f z d .
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
, "
&'# "
#
r#
& rf' #%& $ ' " ? " ?
, " # #
q
# , & '
&'
Consideremos un ejemplo elemental:
Examinamos
dx
.
x2
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,
3.
dz
1 z2
dx
x2
2i
cos ax
sin ax
Rx
1
2i
1
.
2i
dx
&'
?
Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Dependiendo de cual sea la funcion, cos ax o sin ax, consideramos la parte real o imaginaria de R x e iax .
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 precaucion por donde cerrar, puesto que el signo de
.
a es determinante para la convergencia de la integracion sobre la semicircinferencia cuando R
Hay que examinar caso a caso.
, & "
#
# v
' ? &" '

& " '
r w#
,
< <
#
& '
&" '
#.
& $ .'&" '&$ 'Y
# " ,
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
eikR cos e
cos i sin
kR sin
la exponencial tiende a cero solo para 0 , motivo por el cual cerramos por
Cuando R
arriba puesto que as
0 queda garantizado. Consecuentemente,
eikz
1 2 x2
Los ceros del denominador son z

Evaluamos para el residuo
d
dz
y se obtiene para la integral
Res f zj .
i , de segundo orden, pero solo hay que considerar z
FCFM
2i
eikz
iz 2 1
29
iz
r# .
i .
U de Chile
4.
La integral I4
, ,
eikx
M
etodos Matem
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,
$ $
# , , & , '
@A, EAEAEAEAEAEANAEDF` ANAEAEAEAEAEAEAEH
: $ [
Z
ikx
Ello permite escribir
$ #3$
bx2
I4
k2 4b
ik
2b
b x
ik
2b
b x
k2
.
4b
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
dz
0,
""" #
:
?
,v, w ? :
,
#
? $
, ? , , #3$o
?o
w # , ,
?
,
debido a que el integrando es analtico al interior de . Por lo tanto,

ademas lo siguiente:
# $ .
$ ?
, #
#
, # ,
# " #
$ . ?
, # ,v,
,
La integracion 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 integracion 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
.
b
bx2
dx
Las integrales sobre b y d se anulan al hacer R

. Examinemos el tramo b, donde hacemos
z R it, (dz idt), con t : k b
0. Entonces,
e
U de Chile
bz 2
dz
b R it
k b
30
idt
ie
bR2
2iRbt
ebt dt
k b
FCFM
M
etodos Matem
H. F. Arellano
r
4 , ,
# ,
El lmite tomado en el u
ltimo paso es directo al analizar el modulo de la integral:
, , r
0
2iRbt bt2
k b
dt
2iRbt bt2
ebt dt
dt
k b
k b
4
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 contribucion 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.
:" $ " #
0
I4
# ,
e
b
k2 4b
La parte principal de una integral
Hasta ahora hemos evitado la presencia de singularidades en el eje de integracion, usualmente en el eje
real. Consideremos la integral
f x
dx .
I
x x
& :' m
# $& ' :
,
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 significacion a la integral de arriba, definamosla como el valor
lmite
x
f x
f x dx
f x
I lm
dx
dx
P
.
0
x x
x
x x
x x
# Y ` , $ & ' : " ` r $ & ' : q 8 & $ ' :

,
A esta cantidad se le denomina parte principal de f y veremos una forma sistematica de obtenerla mediante
integracion en el plano complejo.
&'
&'? &'
Supongamos que podemos extender la funcion f x al plano complejo mediante una sustitucion simple
f x
f z . Tal sustitucion define una funcion 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 integracion 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
":
f z dz
z x
f zk
zk x
&$ '
f z dz
z 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
/ & ' / ?
#& $
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.
A modo de ilustracion evaluemos la integral I
e ix 2i, es facil verificar que
.'
eix
sin x x dx. Recordando que sin x
eix
dx .
x
Calculamos P de esta integral, para lo cual identificamos un u
nico polo en x 0. Tal polo queda fuera de
la trayectoria pues el contorno lo excluye, por lo que no hay aporte de residuos. Ademas, e iz
0 sobre la
. En resumen,
semicircinferencia superior, cuando R
iI
por lo que I
eix dx
x
if 0
i ,
&' # &' $ &:

'
$ :
$ :
& " '? &'
$ ?
&' # & " ' ? &'
$ : , $ :" , $ :"
&' # &' $ &:
'
$ :
, $ :"
$ : # $ :z & $ : '
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 integracion a la

del lado derecho de la Fig. (1.18). Todo ello si es que f x i
f x cuando
0, una exigencia de
continuidad de f en el eje. Entonces, la integral de la izquierda se puede parametrizar mediante z x i,
(dz dx), con x :
. Por lo tanto,
f z dz
z x
De esta forma,
f x i dx
x x
i
# "
f x dx
.
x
i
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 funcion 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
2 2
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
de estas f z es multivaluada, vale decir, f toma valores diferentes al representar z
r e i y cambiar
2.
continuamente
&'
? "
& ' # 2 #& 2 8 & '

#
'
& '# 2 # 2
& $ ' # 2 , #3$ 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
r ei
f r,
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
En los ejemplos precedentes, z
& :"
f z
r ei
' m & :" v r w '

r ei
f z
0 corresponde a un punto de rama.
&'# 2
Examinemos con mas detencion el caso f z

z. Descomponiendo f
2), podemos tabular el comportamiento radial de u y v. Obtenemos,
( : 0
# "
u
iv, con z
& ' & '

.
.
.
.
& ' 2 P .
$P . $2 $P .
P . 2
& ' P . 2 P .
$P . $2 $P .
r ei
Tabla I.- u r, y v r, para distintos valores de .
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
Y 2 #2
lm
FCFM
Y 2 #3$ 2
2 representan el mismo complejo z, la raiz

0
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 funcion 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.
"
&'# 2 #
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 funcion 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 funcion 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 z
f r,
f r,
..
.
:
:
f r,
:: "? : ? " : "

:" & $ ' ? :"
2n
2n
La union de estas hojas se realiza en los cortes. La union de todas estas hojas conforma la superficie de
Riemann. En el caso de raices n-esimas, el n
umero 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 funcion 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
4
-2
2
1.5
2
-4
0.5
0
-2
0
-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 relacion
& #
'
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
con 0
< <
p
xp 1
dx ,
x2 1
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 e i ,

2, esta funcion 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 integracion sobre trayectoria cerrada evitado un corte.
esta formada por cuatro curvas.
R : circunferencia casi cerrada de radio R (
v , w Mv r w
y
). Se demuestra que en el lmite
Los polos de f son
out
?
r
0.
& '
Resf zj .
j
i, que representamos consistentemente con la notacion polar, vale decir
& $ ' & $ ' ,& $ ' # & $ ,

#
& $ ' & $ ' ,& $ ' # &
z
zp 1
z1 z
z2
z2
zp 1
z1 z
ei
z2
z2
e3i
?' & $ , ' # , 3# $ %# $

$ , ' ? & $ , ' #3$ # #$
z1p
zp 1
z z2
z2 evaluamos el residuo:
z
U de Chile
in
z1 evaluamos el residuo:
z1
0. Se encuentra que
2i
z1
Para z
" " " #
Podemos escribir
0.
: dos tramos rectos radiales muy proximos al corte, uno a cada lado de este.
r : circunferencia casi cerrada de radio r, donde r
Para z
z1
zp 1
z z1
36
1 p
z
2i 1
z2
z2p
z2
z1
1 p
z
2 2
1 p
z
2 1
1 ip
e
2
1 3ip
e
2
FCFM
M
etodos Matem
H. F. Arellano
La suma de los residuos,
? $ & "
1 ip
e
2
Res
k
e3ip
' #3$
2
eip cos
& '
p
.
2
Las integrales sobre los tramos radiales:
Para
vMr w
ei , (dz
Para
v, w
# , v, w
J "
# v ,w #
# , v , wv , w v
v , w"
K
parametrizamos z
ei
parametrizamos z
0
p 1 ei p 1 i
e d
2 e2i 1
p 1 ei p
2 e2i 2
r ?
? ",
v ,w
? r
w, ? $ ",
d ei ), con : 0
, (dz
1 2
d ei
ei
. Entonces,
p 1
d
2 1
), con :
0 . Entonces,
e2ip
p 1
d
2 1
, #%$
& '
' "
, #
t u
"
Combinando los resultados anteriores se obtiene
&$
1
que luego de simplificar conduce a
2ip
1.15.
p 1
d
2 1
p 1
d
2 1
2i eip cos
p
cosec
2
2
p
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 formula 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 funcion analtica f1 z definida sobre un dominio D1
C, entonces de las infinitas
funciones analticas definidas en D2 , solo una de ellas, f2 z , empalma completamente con f1 en D1 D2 .
Este argumento permite la prolongacion (o extension) de cualquier funcion analtica a regiones en el plano
complejo que van mas alla de su dominio original de definicion.
:|
&' &' ?
&'# &'
&'
& ' # & ' | #

:W|
Teorema: Sean f1 z , f2 z : C
C, analticas en una region S. Si f1 f2 en una vecindad de un punto
z
S (o segmento de curva en S), entonces f1 z
f2 z
z
S. La demostracion de este teorema es
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 funcion 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 funcion analtica puede ser extendida mas alla de su dominio de definicion, siendo esta
prolongacion u
nica. Tal construccion se denomina extensi
on analtica o prolongaci
on analtica. Ilustremos
un par de ejemplos.
&
#
'
& ' # . & $ ' / /J;
m
/ /)< & ' # . & $ '

&'# &'
&'
/
)
/
<
/ J/ ;
,
#
&
'
|
&'# .
&'
n
on esta definida para z
1, caso en que converge a
Consideremos f1 z
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 , funcion
1. Claramente g z
f1 z para todo z
1. Por lo tanto, g z es la
analtica definida para todo z
prolongacion analtica de f1 en la region z
1.
{8 ~b{ 4
{ ~; ~
Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z

e zt dt , expresion definida z
0
S1
z : Re z
0 , region en la cual f1 z
1 z. Bajo esta definicion f1 z queda indefinida para
Re z
0. Por otro lado, consideremos la expansion
iy
Re{z}>0
|z+i|<1
Fig. 1.24: Regiones de definicion de f1 y f2 . En el semicrculo achurado f1
&'#
#3{
f2 z
&'
"

| / " J/ < ~
n 0
f2 .
&'
expresion 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 .
Teorema: Sean f1 analtica en S1 y f2 analtica en S2 . Sea ademas B la frontera com

un de S1 y S2 . Si
f1 f2 en B, con f1 contnua en S1 B y f2 contnua en S2 B, entonces
&'#
f z
es analtica en S1

S2
f1
f2
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
f1 z dz
f 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 funcion definida en una region del plano complejo. Denotemos por C el
semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C
R
C, analtica. Si
f z para z R, entonces la funcion g : C
C, definida por
ademas f z
& '# 1& '
& ' # 1& 1'
g z
r ?
,?
,
&'# & '" & ' &'#

$ '
es la prolongacion analtica de f en C . Una constatacion directa de este corolario es verificando que la

condicion de Cauchy-Riemann es cumplida por g. Descomponiendo f z
u x, y
iv x, y , y g z
a x, y
ib x, y , entonces g z
f z
& '" & '
& ' # 1& 1' =

& ' # & $ ' & ' #3$ &
\ .\ # \ .\
\ . \ #3$ \ . \
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 funcion analtica. En contraste, las relaciones de dispersion 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
&' #
$ :
#
& :' #
& ' $ &:

'
, $ :
& '
, $ :
& : ' # $& ' :
& : ' # $ , $& ' :
,
Por lo tanto,
Descomponiendo
Re
"
d
.

iIm , entonces al igualar las respectivas partes real e imaginaria obtenemos

1
P
1
P
Re
Im
1.17.
&'
&
Y ' ?
Im d
;

Re d
.

M
etodo del descenso m
as empinado (steepest descent)
Este metodo es particularmente u

til para obtener formas asintoticas de funciones expresadas como
integrales en el (o prolongables al) plano complejo. Consideremos la integral
& '# vw &'

v w # Z & ' " & 'C[
ef
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
# "
u
(1.17.4)
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 deformacion de C y para el cual f z
0. Puesto que f es analtica, entonces tanto u como v
son armonicas
2
2
2
2
u
u
v
v
0
0
(1.17.6)
2
2
2
x
y
x
y2
&'
X& : ' #
\\ "6\\ #
:
& ' # & :' "
\\ " \\ #
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
f z
40
n& :'& $ :'
1
f z
2
(1.17.7)
FCFM
M
etodos Matem
H. F. Arellano
u steepest
Plano Complejo
v constante
Plano Complejo
& ' & '
= & ' $ & :' # v r w

& : 'G[ #
& " '
& : 'G[ #
& " '
#
# $
' =
& '$ & :'
#
Fig. 1.26: Mantos u x, y y v x, y en torno al punto silla.
&n $ : ' : # #
Denotamos
z z
f z
rei
2Rei
f z
& '$
Z & '$
&
" #
Separando por componentes,
Re f z
Im f z
r 2 R ei
f z
r2 R cos 2
r2 R sin 2
f z
f z
(1.17.8)
,
.
(1.17.9)
Para que la parte imaginaria sea constante se debe cumplir

2
<#
0, 1, 2, 3
n
2
.
2
(1.17.10)
Z : & ' $ & : 'C[ #

&'
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
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
& ' $ & : ' #3$

v wQ v ` w ,
& ' v `w,
f z
f z
8 $ # & $ :' n& :'

: : ,
& ' # v `w , & '
rR2
1
z
2
t2
f z
(1.17.11)
Por lo tanto ef z
ef z e t . Puesto que es grande, entonces e t es muy aguzada, lo que permite
contener la integracion 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
FCFM
t2
g z dz
ef
t2
g z dz .
(1.17.12)
41
U de Chile
M
etodos Matem
$ : # & / / . 2 '
<
4 <
Buscamos ahora una correspondencia (parametrizacion) entre t y z. Combinando Ec. ( 1.17.8) para r y Ec.
t
R ei . Conviniendo t
0 en C1 , con 0 1 ,
( 1.17.11) para t es facil verificar que z z
entonces z C3 queda naturalmente representados por t 0. As,
C1
z(t)
zo
C3
t>0
t
e i
R
z=z o+
t<0
&'
Fig. 1.28: Parametrizacion z t pasando por z .
# : " 2
z
t i1
e
R
dz
# 2
& ' v `w 2 , & : " 2

,
&'
ei1
dt .
R
Sustituyendo en Ec. ( 1.17.12),
ef
ei1
R
t2
g z
(1.17.13)
'
t i1
dt .
e
R
&'
,
(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
expansion obtenemos
2 ei1 g z
ef z
,
(1.17.15)
I
f z
& ' v ` w P / n & & : : '' /

/ n& :'/
, #
,
& '98 & " ' # ,
donde hemos sustituido 2R por f z
y utilizado
e
t2
dt
(1.17.16)
Ilustremos con un ejemplo clasico. La funcion gamma esta definida por
z dz .
Buscamos una forma asintotica ( 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
&'#
con lo cual f z
$ . &'#
:
X#
X& ' # $
ln z
z ; g z
Buscamos z tal que f
, # v ,w
z
ln z z
1. Entonces,
0:
f z
U de Chile
1
z
=
42
X& ' #
f z
0 para z
:#
FCFM
M
etodos Matem
H. F. Arellano
n& ' :
Evaluamos f z en z ,
n & ' 3# $
n& :' #
# . $ .
Identificamos :
1 i
e
2
f z
Evaluamos ei1 , donde n
n 2
1
z2
f z
2. Para
n & : ' #3$

#
=
# #
f z
yn
Sustituyendo los resultados parciales
& ' v , w y y y / .
& " ' 2 v
& " '#
$
ln 1
2
1 2
ei0
1
2
1 tenemos 1
/? 2
2 e
# =
v ,w
ln 1
ei1
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
,w
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 revision 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
& & '

&
'
' &
'
# &
# &
&
'
f1 u1 , u 2 , u 3 ,
x2
# &
'
'
f2 u1 , u 2 , u 3 ,
# &
x3
Ademas, suponemos que es posible representar la inversa, vale decir

u1
'
F1 x 1 , x 2 , x 3 ,
u2

#

Para que estas transformaciones sean invertibles exigimos
&
'
'
F2 x 1 , x 2 , x 3 ,
x1
u1
x2
u1
x
u2
x
u2
x1
u3
x2
u3

m

x3
u1
3
x
u2
u3
& '
# &
# &
'
f3 u1 , u 2 , u 3 .
'
F3 x 1 , x 2 , x 3 .
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 orientacion 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
#
8 \\
( #%& '
r
du1
u1
ds
dr
Exigimos que el escalar dr dr

de coordenadas.
ds
" \\
r
du2
u2
" \\
r
du3
u3
8 \\
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
Claramente entonces,
# \ ?
\
r
uj
ej
# / /
aj
aj
e3 e2
e1
u1
& ' # B@ A EDF( A EH
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
& ' 8
ds
ds2
# @BANAE& FD AEAE' H " @AEAE& FD ANAE' H " @AEAE& FD ANAE' H

v w v w v w
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 ,
#2
# # #
dsi
En coordenadas rectangulares, g11
hi dui
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
gij du du
xk
dui
ui
\
\
j
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
2
x
x3
#
#
cos
y
z
sin
Z
# P "
#
&.'
#
De estas se obtienen
x2 y 2
arctan y x
Calculamos primero h , h y hZ . Para determinar h recordamos
# \ .\ ##
Es facil verificar x
obtienen h , y hZ
# \
\
\ .\ #
\ .\ #
# " "
k
cos ; y
sin ; y z
1. De esta forma resulta directo
d2
ds2
2.4.
xk
h2
2 d2
.
0, con lo cual h
1. En forma analoga se
dZ 2 .
Operadores diferenciales
&' (&' y &'
&'
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
( #
A1 e1
1
h1 h2 h3
y #
A
"
e1
h1
\&
\\ " \\ " \\
"
' "\ & ' "\ & '
\ \
\
\ \ \
u1
A2 e2
e2
h2
h1 e1
48
.
u3
h1 A 2 h3
u2
h1 A 1
U de Chile
e3
h3
A3 e3 , entonces
A 1 h2 h3
u1
1
h1 h2 h3
u2
h2 e2
2
h2 A 2
h1 h2 A 3
u3
h3 e3
3
h3 A 3
FCFM
M
etodos Matem
H. F. Arellano
Para un campo escalar o vectorial

2
h1
# #
1
h1 h2 h3
# #
\ \ \ \
# #
# \ \
\ \
h2 h3
h1
u1
" \\
u1
h3 h1
h2
u2
\\ " \ \
u2
u3
h1 h2
h3
\\
u3
A modo de ilustracion, 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,
1

" \\ " \ \
1 2
2 2
.
Z2
El gradiente
2.4.1.
# &
'
# \ " \
\
\
#
"
u1 , u2 , u3 y calculemos su variacion bajo variaciones arbitrarias
Consideremos un campo escalar

du1 , du2 y du3
"\ \
du1
du2
du3 .
u1
u2
u3
Estas mismas variaciones en las coordenadas definen un desplazamiento infinitesimal ds dado por
d
e1 h1 du1
ds
Definiendo convenientemente
e1
e2 h1 du2
\\ "
1
h1 u 1
e2
"
\\ "
1
h2 u 2
e3 h1 du3 .
e3
\\
1
,
h3 u 3
resulta evidente entonces que d

ds. De esta forma se interpreta geometricamente como la
maxima variacion de por unidad de desplazamiento. En efecto, podemos escribir
#/ /
# / / =>/ / #%& . '
ds cos ,
con el angulo entre y la direccion del desplazamiento ds. Si se hace coincidir la direccion de ds con
ds
d ds M ax .
la de , entonces 0 y dM ax
La divergencia y el teorema de Gauss
2.4.2.
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.
y otra sobre 2 . La union de ambas reconstituyen la superficie original y sus normales en la region de
contacto apuntan en sentidos opuestos, garantizando la cancelacion 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 .
A dS
i
i
i
i
( #
En el u
ltimo paso se ha introducido el elemento de volumen i de la i-esima celda. En el lmite de celdas
infinitamente peque
nas tenemos
y
A d ,
vw (
( # Y
V
donde hemos definido
&'
1 {
A dS
0
lm
&
'
y denotado por V el volumen contenido por la superficie . En esta expresion denota una superficie de
tama
no infinitesimal en la ubicacion 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 h 1 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:
#&
( ? (
&
'
( ## $& & ' r
(
'
& "
A dS
Ak Sk .
k 1
'
'
Sumemos el primer par de caras opuestas (la 1 seg

un e1 y la 6 seg
un e1 ). Los campos en la cara 1 se
evaluan en u1 u1 , u
2 , u
3 , mientras que en la 6 en u1 , u
2 , u
3 . Aqu u
2 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
#%$
&'?
&'?
1
A1 S1
A6 S6
A 1 h2 h3
u1 u1
A 1 h2 h3
50
u1
u2 u3
u2 u3
FCFM
M
etodos Matem
H. F. Arellano
u3
d1(+)
-- -- -- -- --
-- -- -- - -- - -- - -- --
----- -- - -- - -- -- --
- - - - - --
----------
()
d 1
u2
u1
Fig. 2.5: Suma de los flujos en dos de las seis caras de una celda infinitesimal.
&
' r $&
A 1 h2 h3
A 1 h2 h3
h1 h2 h3 u1
u1 u1
' ?
1
h1 h2 h3
u1
\ & \ ' 6" \ &
( # \ \ "6\ \
\& \ '
' "6\ & '
\ # \# #
"\ \
Sumando este par, dividiendo por el volumen y tomando el lmite u1
0, obtenemos
A 1 h2 h3
.
u1
Un procedimiento analogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen
( #
1
h1 h2 h3
A 1 h2 h3
u1
A 2 h1 h3
u2
A 3 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
& ('8 ( & ('

Reemplazando las expresiones anteriores para la divergencia y el gradiente obtenemos

2
1
h1 h2 h3
\\
u1
\\ " \ \ \ \ " \ \
# \ "6\ " \
\ \ \
h2 h3
h1 u 1
h3 h1
h2 u 2
u2
Nuevamente, en el caso de coordenadas rectangulares obtenemos

2
FCFM
x2
y2
51
u3
\\
h1 h2
h3 u 3
.
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: Descomposicion 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
A d`
C1
A d`
A d` .
C2
Ci
Si la trayectoria elemental i-esima tiene una superficie i , entonces podemos escribir

W
i
i
1
i
( #
i n
i
A d`
Ci
n
i
i
Ci
A d`
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 circulacion de la i-esima celda elemental. Al pasar al lmite de infinitas
subdivisiones se obtiene el conocido Teorema de Stokes,
W
# ( #vw y (
#
y Y
(
A d`
donde se ha definido
A d ,
lm
A d` .
De esta definicion resulta evidente el significado del rotor como una medida de la circulacion de un campo
vectorial por unidad de superficie. Para el calculo de las tres componentes vectoriales del rotor es necesario
analizar la circulacion 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
Fig. 2.7: Analisis de una circulacion elemental en el plano u2 u3
e1 .
Evaluemos la componente e1 del rotor en coordenadas ortogonales. Para ello descomponemos

circulacion sobre cuatro tramos ortogonales como se ilustra en la Fig. (2.7)
( ? ( # (
# &
#%$
'
'
? Z @ANAEAEAEDF/ ANr AEAEAEH $ @A AEDFA / AEH [
vK w
vK w
#
& y ' # \&
\
A d`
Ai ì .
Aa à
i a,b,c,d
" ( " ( " (

& " # ' $
$ Z @BANAEAEAEDF/ AEr AEAEAEH $ @BA AEDFA / AEH [
vK w vKY w
' $ \& '
\
Ab `b
Ac `c
en la
Ad `d .
#&
'
En este caso particular, à h3 du3 e3 , y `b

h3 du3 e3 . Ademas, `c
h2 du2 e2 ; `d h2 du2 e2 .
1
2
2
3
u , u
, mientras que en b se evaLas funciones h3 y A3 en el tramo a son evaluadas en u , u
luan en u1 , u2 , u
3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro
contribuciones obtenemos
&
h3 A 3
h3 A 3
u2 u2
u2
a,b,c,d
Al dividir por la superficie
u3
h2 A 2
h2 A 2
u3 u3
u3
u2 .
h2 h3 u2 u3 y tomar el lmite se obtiene el rotor en seg

un e1 ,
1
h2 h3
h3 A 3
u2
h2 A 2
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
& y ' # \ $\
\ \
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 a

nos 20 del siglo pasado y ha sido utilizada
extensivamente por los fsicos desde entonces. Su formalizacion matematica ocurre bastante despues, hacia los
a
nos 50, por Laurent Schwartz con la introduccion de la teora de funciones generalizadas o distribuciones.
En esta seccion revisaremos algunas nociones acerca de delta de Dirac funcion 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
& & ' ##

, '
x dx
para x
Para hacerse una idea, se trata de una funcion 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 funcion pues no tiene imagen definida. Su
significacion se manifiesta en el contexto de integrales. Por tal motivo Dirac denomino a x una funcion
impropia.
,
, & ' & ' # , & '
&
,
&'
Una propiedad importante que emerge de su definicion es la relacion
En efecto,
f x x dx
inmediato verificar entonces que
&' &'
&' #
' & $ '
f x x dx
f 0 x dx
f x x
# &'
& ' , & ' # & '
# &'
f 0
a dx
f 0 .
x dx
f 0 . De este resultado es
f a .
Estos resultados son tambien validos cuando f representa vectores u operadores. Con respecto a los lmites de
55
M
etodos Matem
integracion, 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.
&+$
&
&
' ## & '

'
' # // &'
& $ ' # / / Z & $ ' " & " 'C[
& $ & & ' $ & $ ' ## & & ' $ & $ '
' X& & ' # $ X& '
' '
'
X & ' # $ & '
Z & & 'C[ # / X & ' / & $ '
x
x x
x
0
1
x
a
1
x a
2a
f a x a
ax
x2
a2
f x x
x x
b dx
(3.2.1a)
(3.2.1b)
(3.2.1c)
(3.2.1d)
(3.2.1e)
(3.2.1f)
f 0
x f x dx
x x
(3.2.1g)
&'
f x
1
f xk
xk
(3.2.1h)
con xk cero de f x
(3.2.1i)
Examinemos algunas de estas identidades.
#%$
&'
# & ' & ' # & ' & '
,
,
&'
&'
'C[ & ' # & ' / #
Para la primera de ellas consideremos una funcion f x arbitraria y hacemos el cambio de variable
z
x. Entonces
& *& $ 3# $ , *& $ &

r ' '
, ' '
&'
&+$ ' #
& & # &
' Z 'G[
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 distribucion, como el cero.
En el caso de la identidad ( 3.2.1c) consideremos una funcion 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
& & $
'
'
# &' & $ ' " &' & $ '

,
# &+$ ' & $ ' " & ' & $ '
,
# $
& $ # , & $ #
' '2 " //
,
& & $ # &+$ " &
'
' // ' // '
& $ ' # / / Z & $ ' " & " '[
Una propiedad menos directa es la ( 3.2.1d). Consideremos una funcion f arbitraria. Entonces,
f x x2
a2 dx
f x x2
a2 dx
f x x2
a2 dx
x2
a2 dx
x2
f a
a2 dx
$ .2 "
Para la primera de las integrales hacemos el cambio de variables z

2 dx z a2 . Por lo tanto,
a2
x2
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
x 2 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
sucesiones en el lmite n
. Los siguientes tres ejemplos constituyen representaciones del la delta de
Dirac.
2 2
n
e nx ;
x
lm
n
sin nx
x
;
lm
n
x
1
n
x
lm
n
1 n 2 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.
& ' # Y 2 ,
& ' # Y
& ' # Y "
En muchas aplicaciones de la fsica no encontraremos con las siguientes representaciones equivalentes

de la delta:
1
eik x x dx
x x
2
sin K x x
x x
lm
K
x x
1
x x
lm
0 2
x x 2
& $ X' #
& $ X ' # Y ,
& $ X' # Y
FCFM
57
v , w
Z & & $ $ X ' X 'G[
" & $ X'
U de Chile
U de Chile
M
etodos Matem
58
FCFM
Captulo 4
Series y transformada de Fourier
Z [
El teorema de Fourier permite la representacion de una funcion en un intervalo a, b mediante una

expansion 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
&'
&'
Z $ [& " ' # & '
, , con un n
umero finito de maximos, mnimos y
Sea f x una funcion acotada en el intervalo
discontinuidades. Sea ademas f x periodica en la forma f x 2
f x para aquellos argumentos fuera
del intervalo. Entonces, la sucesion
# :" Z
?
Z & " ' " & $ 'C[
#
&'
# , & '
,
& ' # : " Z
a
2
sN
converge a
1
2
f x
f x
an
bn
cuando N
an cos nx
n 1
"
bn sin nx
. Los coeficientes an y bn estan dados por las formulas
& #
& #
f x cos nx dx
f x sin nx dx
0, 1, 2,
1, 2, 3,
( (('
((('
Es claro que si la funcion f es contnua en x, entonces

f x
a
2
an cos nx
n 1
"
bn sin nx .
En aquellos puntos x donde la funcion exhibe una discontinuidad, s N tiende a la semisuma de los valores de
la funcion a cada lado de la discontinuidad.
La adaptacion del teorema anterior a una funcion f cuya periodicidad es 2L es bastante simple. Si la
59
M
etodos Matem
Z $ [
& '# :"
t u
# &' t u
,
#
&' t u
,
& " , ' . %# & $ , ' .
v w" , v
& ' # : "

8 , v w
;
: # :
# $
, # "
funcion es contnua en el intervalo
L, L , entonces
a
2
f x
"
nx
L
an cos
n 1
donde
1
L
an
1
L
bn
f x cos
nx
L
dx
f x sin
nx
L
dx
L
L
L
t ui
nx
L
bn sin
& #
& #
0, 1, 2,
1, 2, 3,
( (('
((('
En vez de hacer uso de funciones trigonometricas en las expansiones anteriores, muchas veces resulta practica
su expansion 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
a n ei
nx
L
c n ei
nx
L
w $
v w $ , v w
ibn ei
nx
L
nx
L
Con esta construccion identificamos (n
0)
a
2
an
cn
i bn
an
i bn
&'
v w y ,v w
,
v, w
@BA, EANAEAEAEAEAEAEAEDFAEANAEAEAEAEAEAEAEH
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:
& ' #
& , # ,
,
, '
f x
c n ei
f x e
imx L
dx
nx
L
mx
L
dx
L
cn
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 digresion sobre lo que posteriormente
llamaremos base de funciones. Consideremos el espacio vectorial euclidiano R N , 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 b 1 , b2 ,

, bN . Bajo el producto
interno usual (producto punto), los elementos de esta base satisfacen bi bj ij Entonces podemos escribir
F
c i bi .
i 1
( #
A este punto solo F y los elementos de la base son conocidos. Para obtener los coeficientes c i nos valemos
del producto interno y de sus propiedades lineales. Multiplicando por b k a ambos lados obtenemos bk F
N
ck . Notese la notable similitud entre este procedimiento y el empleado para obtener
i 1 c i bk bi
los coeficientes cn en la serie de Fourier. La analoga se hace evidente al establecer un paralelo entre los
einx L como elementos de una base de funciones. La
elementos bn de la base en RN y las funciones
analoga es completa al introducir un producto interno entre funciones. El despeje realizado para obtener
los coeficientes cn en la expansion de Fourier sugiere el producto interno en este caso.
& ( '#
Para el ejemplo recien visto definimos los siguientes elementos de la base de funciones,
& '# 2
/
/ # , 1& ' & '
/ #
1
einx
2L
n x
acompa
nadas de la siguiente definicion de producto interno f g entre dos funciones, f y g:
L
f g
x g x dx .
Claramente, bajo esta definicion n m

las siguientes propiedades:
nm . Ademas, bajo esta definicion el producto interno satisface
/
/ " # / " /
" / # 1 / " 1 /
f f
f g
g h
f g
f h
f h
f h
&' # &'
& & # 1&
, ' '
,& '
'
& ' # & X' & X' X & ' # X
,
@ AEAEAE, AEANAEAEAEAEAEAEAEAEDFAEANAEAEAEAEAEAEAEANAEAEAEH
&'
& X $ ' # & X' & '
Observese el siguiente desarrollo,
f x
c n n x
k x f x dx
cn
k x
k x n x dx
&1 '
,
&' #
dx
L
ck ,
con lo cual, al sustituir ck en la expansion original para f x y reordenando terminos se obtiene

L
n x f x dx
f x
dx
n x
cn
& X' & ' & X'
Z$ [
n x n x
f x .
Esta igualdad se da para cual sea la funcion 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
& X$ '#
A esta relacion se le denomina completitud, que en el caso de la base de Fourier toma la forma
x
Z [
1
2L
ein
n
v , w
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
Z$ [
Las series de Fourier resultan muy u

tiles para la descripcion de funciones periodicas, aunque esta no es
una propiedad restrictiva. En efecto, cualquier funcion definida en un intervalo del tipo
L, L puede ser
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
.
& ' # & . 2 ' v w
Como hemos visto, la base de funciones ortonormales cuyos elementos n x

satisfacen la relacion de completitud
& X $ ' #
,
2L ei
n L x
v wv , w
# . # .
v , w ? v , w
,
1 i
e
2L
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
& '? & '# 2

& X $ ' # & X' 1 & '
,
n x
k x
1
eikx ,
2
los cuales satisfacen la relacion de completitud

x
k x k x dk .
Examinemos la condicion de ortogonalidad, que para la base discreta de funciones expresamos

nm . Esta vez consideremos
1& & #
, ' '
k x p x dx
1
2
v, w # & $
'
@BAM, AEAE AEANAEAMAEDFv AEAEAEAEANAEAMAEH
,w
ei
p k x
dx
, 1 & ' & ' #

L
n x m x dx
p ,
2 k p
que constituye la forma que adopta la relacion 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
&'
$ 4 4
& ' # & ' & '
&, '
Consideremos una funcion f x definida para

de la siguiente forma,
f x
&& '
'
M
etodos Matem
H. F. Arellano
&'
y supongamos que esta se puede expresar
(4.3.1)
C k k x dk ,
lo que constituye una expansion de la funcion 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,
& ' # & ' 1 & '

,
& ' 1 & ' 4 2 / & ' /
,
&'
C k
1& '
(4.3.2)
f x k x dx .
Esta integral esta totalmente definida si es que resulta acotada. En tal sentido examinemos,
Entonces, si
, / & ' /
/ & '/#
C k
1
2
f x k x dx
f x dx .
f x dx es finita, entonces los coeficientes C k existen.
Hasta ahora solo hemos ilustrado la extension 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 funcion original [c.f. Ec. (
4.3.2)]. En cierta forma tales elementos C k contienen la misma informacion que la funcion de partida
f x , constituyendo una representacion alternativa de la funcion de partida f .
&'
&'
4.4.
&'
Transformada de Fourier
, / & ' /
& '98 2 & ' ,
&'# &' ,
$
&'
Sea f una funcion tal que

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

1
2
F k
ikx
f x e
dx .
F k . As entonces, de acuerdo a la discusion de la seccion anterior,

Otra notacion equivalente es f k
la transformada de Fourier representa los coeficientes de la expansion de una funcion dada en una base
de funciones armonicas. 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 extension de la definicion de la transformada de Fourier a funciones en R 3 , del tipo f x, y, z , es

natural mediante
y
1
F kx , ky , kz
dx dy dz f x, y, z e i kx x ky y kz z
2 3 2
&
'8 & '

&' # & '
F k
FCFM
1
2 3
&
&' ,
d3 rf r e
63
' ,v r r w
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 aplicacion. 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.
Z & Z [G[ # #
' Z
&'# Z
# Z[
Z " [# Z [" Z [
*& $ ' # Z &*$ 'G[
1.
Linealidad en las funciones:
2.
F F f
3.
Si f k
4.
Si f es par (o impar), entonces f tambien lo es.
5.
Si f k
& 'G[
& 'G[
F f 1
F f x , entonces f
f2
F f
& ' # Z & 'G[
1 k
f
&'
6.
f 0 es proporcional al area entre f x y el eje x.
7.
F x
4.4.1.
F f2
F f x , entonces
&'
Z & 'C[ # . 2
F f1
F f x
2.
El teorema de convoluci
on
& X' #
,
& X' #
En fsica es frecuente encontrarse con integrales cuya estructura es la de una convolucion, vale decir,
x
& X$ ' & '
Rx
(4.4.3)
x f x dx .
& X$ ' & '

&'
X & X' / $ X/
Esta estructura en el caso 1D se extiende a funciones en 3D de la forma

y
r
r f r d3 r .
Rr
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 convolucion lo vemos en el calculo del
potencial en un punto r debido a una distribucion de carga r . Mediante la aplicacion directa del principio
de superposicion se tiene que el potencial en r esta dado por
y
1
r
d3 r r
.
r r
&'#
, . 2
& ' # 2
,
X X# X
& ' # 2 X ,
,
X
X , , & X $ ' & '
& X' ? & X' X # X $
& X' , & ' # 2 & ' & '
,
Consideremos el caso 1D y examinemos la transformada de Fourier de la convolucion expresada por la

Ec. ( 4.4.3). Multiplicando por e ikx
2 e integrando en x obtenemos
k
1
2
dx e
ikx
dx R x
xf x .
La integracion dx dx abarca todo el plano R2 . Cambiando variables: x, x

X x, entonces dx dx
dX dX . Por lo tanto,
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
&'# 2
Por lo tanto,
&' &'
2
k f k ,
2 R
cuya lectura es directa: la transformada de Fourier de una convolucion es proporcional al producto de las
transformadas de Fourier. La constante de proporcionalidad, 2, tiene su origen en la definicion 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 representacion 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 fenomenos ondulatorios en general. Esta relacion establece
1& &
, '
& ' # 2 & '
,
1& & #
, ' '
,
1& & #
, ' ' & $ ,
X 1 '& &
, '
f
1& &
#
' , ' '
& ' # 2 &
,
1& ,
'
,
,
&1 ' X & X '
,
,
1& &
#
' , ' '
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
Entonces,
1
2
x g x dx
f k eikx dk ,
1
2
dx
Reordenando consistentemente las integrales,

f
x g x dx
1
2
La integral en dx conduce a 2 k
f k e
dk f k
ikx
X' X
g k eik x dk .
dk
dk g k
& X' X
v , w
X
g k eik x dk
dx ei
k x
k , la que al participar en la integracion en dk conlleva a
el resultado esperado.
1
2
g x
f k g k dk ,
x g x dx
/# 1
En la discusion reciente acerca de bases de funciones, introdujimos la nocion 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 relacion de Parseval refuerza la nocion de un ente mas
abstracto, f , que proyectado adecuadamente toma la forma de una funcion en el sentido convencional. El
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 distribucion

Calculemos la transformada de Fourier del potencial coulombiano -
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 Vc k
3 2
& '# .
El potencial de Coulomb debido a una carga puntual unitaria es Vc r
& '#
& '# & '
1 r, de modo que
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,

y
1
k
e ik r d3 r r
2 3 2
, &'
& '
& '# & '
( #
La integracion la realizamos con las variables esfericas r, , , con el eje azimutal seg
un k. Con ello
k r kr cos . La integracion en d es directa, con lo que
& '# & ' & '

,
& '# &' & '
2
2 3
r2 dr r
sin d e
ikr cos
La integracion en se realiza facilmente, conduciendo a

2 1
k
& '# : & $ '
r dr r sin kr .
Considerando cargas uniformemente distribuidas en la extencion de una esfera de radio R, entonces

R r , donde representa la funcion escalon de Heaviside. Por lo tanto,
& '# :
& ' # : &+$ \ ' @ A AEAEAEAEANAEDFA ANAE&AEAEANAEH '

\ v w
: & '
& ' #3$
:y #
& '
2
k
2
k
r dr sin kr
0
dr sin kr .
sin kR k
Este resultado conduce a
& '#
&'#
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 factorizacion para la transformada de Fourier de una distribucion extendida es deliberada (en este
ejemplo). La idea es examinar el caso lmite de una distribucion uniforme en un entorno esferico con R
0.
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,
Y & '#
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 ecuacion de Poisson,
para la obtencion de .
& ' 3# $ & '
2 r
&'# & ' & '

& '#
Si definimos, separadamente,
r
1
2 3
2 r
(4.4.6)
&'# & ' & ' ,

&*$ & ,
& ' ' '
,
& '# & '
k e
resulta evidente verificar
4 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
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 funcion. Este enfoque permite resolver muchas
ecuaciones diferenciales parciales mediante metodos de integracion directos.
FCFM
67
U de Chile
U de Chile
M
etodos Matem
68
FCFM
Captulo 5
Ecuaciones diferenciales
Para la descripcion 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 ilustracion mencionamos las siguientes ecuaciones seg
un
clasificacion. La forma de estas ha sido simplificada mediante reescalamiento de las variables, a fin de focalizar
la participacion de los operadores diferenciales.
Elpticas: en ellas todos los operadores de segundo orden tienen el mismo signo.
Laplace: 2
Helmholtz: 2
Poisson: 2
"
k2
Parabolicas: en ellas alguno de los operadores de segundo orden esta ausente.
#\
$ " 3# $ \
Difusion: 2 u
Schrodinger:
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 separacion 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,
R r T t , entonces
respectivamente. Si se plantea una solucion del tipo r, t
&& ' #
'
&'#
&'#
& '# &' &'

&& '
'
&'
&'
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 solucion. Ese no siempre
es el caso.
5.2.1.
Ecuaci
on de Laplace en un disco
& ' # :& '
Consideremos la ecuacion de Laplace para un campo f sobre un dominio circular bidimensional. El disco
es de radio R, en cuyo contorno el campo esta dado por f R,
f , con f una funcion conocida
y el angulo polar en coordenadas cilndricas. En estas coordenadas la ecuacion de Laplace, 2 f
0, se
expresa
2
f
1
f
1 2f
f
0
2
2

\\ \\ " \\ #
\\ \\ "6\\ #
Esta u
ltima ecuacion ha sido obtenida a fin de poder aplicar separacion 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
\\ #3$
2
c,
70
c ,
FCFM
M
etodos Matem
H. F. Arellano
con c la constante de separacion. Siendo una cantidad fsica, es razonable exigir que ella sea univaluada.
Por lo tanto exigimos
2 ,
& '# & " '

#
= & '? & '#
\\ \\ #
k 2 , con lo cual
para lo cual necesariamente c debe ser positiva. As, denotamos c
\\ #3$
2
k2
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 p 2 k 2 , o bien p
entonces,
dk
.
k
c k 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
solucion en todo este, necesariamente dk
0 para todo k
0. Todo lo anterior restringe la forma de las
soluciones fk k k ,
k
k
0
0
f ,
fk ,
c A
ck k Ak cos k
Bk sin k
Todas ellas son soluciones de la ecuacion diferencial, de modo que su superposicion 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 expansion. Buscamos ahora una forma mas compacta para la serie. Si reemplazamos los coeficientes
obtenidos en la expansion podemos verificar
& ' # : & X ' LX "
f ,
FCFM
1
2
f d
n 1
n
Rn
:& X
, '
71
cos n cos n
"
sin n sin n d
U de Chile
M
etodos Matem
& ' # : & X' " t u

,
& X$ '
& X $ ' X
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 aplicacion adecuada de la serie geometrica 1 , conducente al
siguiente resultado para la solucion
& ' # : & X" ' " $ $

,
1
2
f ,
R2
X X
R 2 2
d .
2 2R cos
A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario verificar que la
solucion obtenida es efectivamente la solucion al problema. Ello implica constatar que 2 f
0, y que
f . Ambas verificaciones quedan propuestas como ejercicio2 .
f R,
& ' # :& '
5.3.
La ecuaci
on de Bessel
Recientemente abordamos el problema de la ecuacion de Laplace en un dominio circular. Si el problema

consiste en el de ondas de presion dentro de una cavidad cilndrica, la ecuacion a resolver es
$ \ #
# &' &' \
\\ \\ " \\ " \\ " #
" # ?
# .
& '# &' & ' &'
n " @A ANA AEnDF" A ANA AEH #
X "
# &' # &' # &'

.
& '
n& '" & $ ' & ' #
S
R S
S R S
S
R
2
t2
1
c2
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 separacion de variables de la forma , , z

que al ser reemplazada en la ecuacion 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 ecuacion se ha hecho uso de que R R , F

F y
z . Tal dependencia en solo una
variable permite el uso no ambiguo de la notacion d dx, o primas para las derivadas. Ademas, la suma
de los u
ltimos dos terminos del lado izquierdo de la ecuacion depende, en principio, solo 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 1
2 1 xn cos n
1 1 xn ein e in
1 1 xei n 1 xe i n . Si x
1 entonces
podemos hacer uso de las expresiones para la serie geom
etrica 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 separacion y no por p2 es por el tipo de
solucion que surge para . Esta consideracion 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
@BAMAEAEAEANAEAEAEAEAEAEAEDFAMX ANAEAE" AEAEAEAEAEANAMAEH "
1 d
R
R d
1
F
F
2 p2
n#
&'
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
Introduciendo las nueva variables z
X$
d
R
d
p ; n
d
dz
"
n2 R
2 p2 R
, escribimos
dR
dz
"
2 R
z2 R
0.
0,
(5.3.3)
la ecuaci
on de Bessel en coordenads cilndricas. En esta u
ltima permitimos que el parametro tome
cualquier valor. Para el caso particular del ejemplo introductorio este es un entero.
5.3.1.
Funciones de Bessel
& ' #
X # "
& X'X #
"
Buscamos una solucion en serie para la ecuacion de Bessel. A fin de permitir generalidad intentemos
zr
Rz
ak z k
k 0
Entonces,
rz r S
zR
zr
& $ ' " &
kak z k
& " '
" ' $ r #
" #
& $ ' : #
Z & " " '' $ " [ ##
,
k 1
r2 z r S
z zR
zr S .
zr
2rk
k 2 ak z k .
k 1
Al sustituir en la ecuacion de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplificaciones se obtiene
r2
2 S
2rk
k 1
Esta igualdad se puede escribir de la forma B

coeficientes Bi se anula. Por lo tanto,
:Q"
& $ ' "&

r2
Analizamos posibles escenarios.
FCFM
2 ak
k 2 ak z k
ak z k
0.
k 0
B1 z
Bk z k
r2 2 a
r 1 2 2 a1
2rk k 2 ak ak 2
73
0, la cual se cumple si cada uno de los

0
0
0.
U de Chile
M
etodos Matem
Si a
:Wm
#"
0, necesariamente r
Para r
# = #
a1
0. En este caso solo terminos pares participan en la serie.
#3$ & " , '

# ((((((
#:
#%$ & " , '
# & " &*$ '(' (( & : " '
:
&*& $ '
#
& " ' =
" " '
& '98 &*$ ' & &" ' " r '
&'
&'

#
+
&
$
&
&
?
, ' ' '
& '98 Y & ' $ , & '
&'
$
$ #
$&*$ ' ,
Y
& '$
t
"
u
9
Y " " " ((( $
&'
#
:#
ak 2
.
2 k k
ak
a partir de a . Alternativamente,
Esta relacion de recurrencia permite determinar a2 , a4 , a6 ,
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
b
b
.
m
2 1
2 22m m 1
:#
&'# &'
J z , con
As entonces R z
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
Jn z , lo que las hace
embargo, cuando es entero positivo (
n), entonces J n z
linealmente dependientes. La generacion de una funcion linealmente independiente en este caso
es, por ahora, menos directa. Es posible demostrar que las funciones de Newman definidas por
lm
Yn z
J z cos J
sin
pital
son linealmente independientes de Jn z . Para evaluar este lmite aplicamos lHo
&'#
Yn z
dJ
d
cos
dJ
d
J sin
cos
1 dJ
d
n dJ
Evaluando las derivadas y reordenando se obtiene
&'#
#
Yn z
Aqu se denota,
lm
ln
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 ,
#3$ & " ' , $ ? $ & $ ' & , " $ '

# r
# (((
#%$ & " , '
ak
Haciendo esta vez bm
ak 2
r 2 2
a2m
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 evaluacion numerica de las funciones de Bessel. En la Fig.
0, 2, 4. Estas funciones tienen un par de caractersticas
(5.2) se ilustran las graficas de Jn e Yn para n
1,
que conviene tener presentes. Por ejemplo, solo J z es no nula y finita en el origen. De hecho J 0
:& ' #
0.75
0.75
0.5
0.5
0.25
0.25
4
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 relacion 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
$t u
& " 't u
& $ t u "
$ '
z
2
2
z
ln
1!
z
2
2
z
:& '
Para efectos de estimaciones no esta de mas tener presentes los primeros ceros de la funcion 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 ecuacion diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la
siguiente forma
x2 y
n " X" & $ ' #

2 x2
xy
2 y
0.
& ' & '
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,
n " X $ &
& '
& ' # ,
& ' # ,
#
x2 y
" ' #
& '
&$ '
2 x2
xy
2 y
0.
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
5.3.3.
M
etodos Matem
H. F. Arellano
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
$ r
,. $ $
' ,
,
, r
r & " '
" " '
r # &
& ' #
, # $
# &+$ ' & &'
(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 expansion ( 5.3.4) para J . Es directo verificar
z
& " '
dJ
dz
z 2k
2
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 traslacion 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.
$ ,
&' &'
' # X $ X # XX
&' &'
Z & 'G[ #
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 , f 2 ; x
f1
f2
det
f1 f2
f 1 f2
f1
f2
(5.3.6)
Demostremos que si u y v son combinaciones lineales independientes de J z e Y z , entonces

d
z W u, v; z
dz
0.
En efecto, puesto que u y v son combinaciones lineales de J e Y , ambas satisfacen la ecuacion de Bessel,
vale decir
& $ ' #
"
& $ ' #
"
. .
$
# =

d
du
z
dz
dz
dv
d
z
z
dz
dz
z2
2 u
z2
2 v
v
z
u
z
Multiplicando cada ecuacion por v z y u z, y restando los lados respectivos se obtiene

u
d
dz
dv
dz
d
dz
du
dz
t u # X$ X # &
Z &
d
z W u, v; z
dz
'G[ #
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
t u#
? ?
v
u
A
zu2
En particular, podemos hacer u
J ; v
"
u B
"
& '
Y ; con lo cual
J B
dz
zJ2 z
dz
zu2
permitiendo expresar la funcion de Bessel del segundo tipo en terminos de la de primer tipo. Evidentemente
la relacion es no lineal, como es de esperar.
5.3.4.
Una identidad u
til
& '# & ' & '
En la manipulacion 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 integracion definidos. Mas a

un, resulta de particular interes el
caso , para el cual se obtiene
& #
'
Z X&
& ' & '
&
"&
"
.
$ #& $ ' ?

& $ '
'C[ " & $ . ' & '

& ' & '
$ ' #
$ ' #
.
$ #%& $ '
# X$ X
m
& ' X& '
& ' & ' #
& m '
1 2
x J x
2
xJ2 x dx
x2
2 2 J2 x
(5.3.7)
Para su demostracion 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
d
dv
x u
dx
dx
du
dx
2 xuv
con lo cual
xuv dx
x u
dv
dx
R uv
du
dx
xuv dx ,
0
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
U de Chile
xJ x J x dx
0
78
0;
FCFM
Para el caso
M
etodos Matem
H. F. Arellano
& $ '
& ' # Y & ' X & ' $$
, primero dividimos por 2
xJ2 x dx
0
2 y luego tomamos el lmite usando lHopital,
X& ' & '
RJ R J R
RJ R J R
2
lm
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
& ' Z X &

#
& #
'
Z X [ X #%& $ '
& ' #
&'
{
((( ~
& #
'
Z X & 'G[
&'
&
' &
J R
RJ R
A este punto sustituimos sin riesgo
R2
2
xJ2 x dx
X & ' Z & G' [
RJ R
2
y denotamos z
Utilizando la ecuacion z z J
'C[ $ $
J R
R. Entonces,
Z X & C' [ $ & ' Z & 'G[ X
J z
1
z J
z J z
z 2 J , obtenemos finalmente
1 2
R
2
xJ2 x dx
Z X & C' [ " & $ . ' & '

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
xJ2 x dx
1 2
R J z
2
& ' #
xJ2 x dx
0
1 2 2
R J
2
r&'
1
z .
Esta u
ltima 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
' #
xJm Kn1 m x Jm Kn2 m x dx
5.3.5.
n1 n2
R2 2
J
2 m
r&
1
'
Kn 1 m R .
znm , el
(5.3.9)
La ecuaci
on de Laplace en una cavidad cilndrica
Resolvamos la ecuacion 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
funcion conocida. Utilizamos coordenadas cilndricas con el eje z coincidente con el eje del cilindro, mientras
0. El potencial es una funcion V
V , , z cuyas condiciones de borde
la tapa inferior se ubica en z
son
&
&
V , , L
V , , 0
&
V b, , z
La ecuacion de Laplace se expresa
'
f ,
0
0
\\ \ \ " \ \ " \ \ #
FCFM
' ## & '

' #
'
# &
1 2V
2 2
79
V
z2
0.
U de Chile
M
etodos Matem
fo (,)
L
b
Fig. 5.4: Problema de Laplace en una cavidad cilndrica.
# &' &'&'
"
"
Introduciendo separacion de variables, V

1 1 d
R d
RF z ,
1 1 d2 F
F 2 d2
dR
d
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 , solo 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
&'#
Exigiendo 0
1 d2
dz 2
&'# X
0, entonces z
&'#
K2
AeKz
" ,
Be
"
dR
d
K 2 2
"
1 d2 F
F d2
0.
La ciclicidad de las soluciones en el angulo exige que
#3$
A sinh Kz. Volviendo a la Ec. ( 5.3.10) nos quedamos con
d
R d
d2 F
d2
Kz
& '#
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 solucion 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
combinacion lineal de todas ellas tambien:
"
Jm Knm Anm cos m
V , , z
m n
& '# &
'
Bnm sin m sinh Knm z .
&
La determinacion de los coeficientes Anm y Bnm surge de imponer V , , L
'&
Jm Knm Anm cos m
f ,
m n
"
'
'# & '
f , , es decir,
Bnm sin m sinh Knm L .
(5.3.11)
A este punto conviene tener presente las siguientes identidades para n y n enteros,
,
,
cos m cos m d
sin m sin m d
sin m cos m d
mm
mm
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 .
( ((
& ' & '#
& ' r&
# , & & '' &r & ' & ' '
?
El despeje definitivo es posible haciendo uso de la Ec. ( 5.3.9) de ortogonalidad de las funciones de Bessel.
b
Multiplicando por Jm Kn m e integrando 0 d
obtenemos
dJm Knm
0
As,
Anm
d cos m f ,
b
d f
0
b2 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 seccion anterior abordamos las ecuaciones de Laplace y de Helmholtz en coordenadas cilndricas.

El uso de separacion de variables condujo a funciones armonicas (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 separacion por , se obtiene el siguiente juego
de ecuaciones para R y P ,
d
dr
dR
k2 r2
dr
1 d
dP
sin
sin d
d
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 manipuladion 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,
&$ ' $
u2
5.4.1.
d2 P
du2
2u
dP
du
" #
P
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 solucion en serie de la forma
& ' #
P u
ur
k 0
U de Chile
ak u k
dP
du
82
# ,
rur
k 0
ak u k
"
ur
k 1
kak uk
FCFM
& $ ' # ,
Entonces,
M
etodos Matem
H. F. Arellano
u2
dP
du
rur
ak u k
k 0
"
ur
k 1
&$ ' # &$ '
" ,
$ &" '
$ ,
dP
du
u2
1 ur
r r
rur
rur
ak u k
ur
k 1
rur
kak uk
ur
kak uk
k 1
ak u k
rur
kak uk
k 0
1 a k uk
k k
k 1
k 1
kak uk
1 ur
ak u k
k 0
k 1
r r
rur
k 0
Derivando con respecto a u y reagrupando terminos

d
du
, $ r $
, " ,
, " & $ '
$ r
r $ & " '
kak uk
k 1
kak uk
ur
1 kak uk
k 1
Al sustituir en la Ec. ( 5.4.14) surge una ecuacion 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 ,
&$ ': #
&" ' #
Z & $ ' " & " ' " & " ' & " 'G[ r # Z & "
r # & " & ' & " " " $ ' & ' "" & " "
? r ?
#
# &" '
r r
r r
2r k
r r
1 k 2
1a
0;
1 a1
ak 2
0;
r r
k r
r 2
De esta u
ltima resulta evidente
ak
r k r 1
k r 1 k
' $ " & " ' " & $ C' [

'' $
#
#
&" '
& $ ':# & " ' #
{
((( ~
.
2r
1k
k k
ak .
ak .
Notar que para k

, ak 2
ak , lo que conduce a una funcion divergente en u 1, es decir 0. Si
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
:Wm
0, entonces r
{ m ((( ~
Si a1 0, entonces r
a1 , a 3 , a 5 ,
.
1a
0yr r
1 a1
0.
0, 1. La sumatoria es multiplicada por 1 o u, con coeficientes a 0 , 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
r # & & " " ' ' $&
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
donde 2K
l (2K
# $
l
Pl u
2l k!
k 0
2l 2k !
ul
k ! l 2k !
2k
1) para l par (impar). Observando que
&& $$ ' ,
'
dl u2l 2k
dul
2l 2k ! l
u
l 2k !
2k
es posible demostrar, utilizando la formula binomial, que
& '#
Pl u
Z& $ ' [
1 dl
u2
2l l! dul
(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
: && ' ##
& '' # & $ ' .
& ' # & $ '.
1
u
P u
P1 u
3u2
5u3
P2 u
P3 u
5.4.2.
1 2
3u 2
Propiedades de los polinomios de Legendre
Entre las propiedades mas relevantes de los polinomios de Legendre notamos
& $ ' n $ X" & " '

& $ ' " &" '
& " ' r $& " ' " ,
X r $ $ X$$& & " '
X r X , " &*$ '
1 u 2 Pl
2uPl l l 1 Pl
dPl
d
1 u2
l l 1 Pl
du
du
l 1 Pl 1
2l 1 uPl lPl 1
Pl
Pl 1
uPl
Pl 1
1 Pl
1 Pl
l
2l
Pl
#
#
#
#
#
(5.4.17a)
(5.4.17b)
(5.4.17c)
0
0
(5.4.17d)
(5.4.17e)
' # *& $ ' & '

l
Pl u
(5.4.17f)
Ademas de estas mencionamos la funcion generatriz, que se expresa
#
2 $ "
1
1
2ut
t2
&'
tl Pl u .
l 0
(5.4.18)
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
& & #
"
, ' '
1
Pl u Pm u du
U de Chile
84
2l
lm ,
(5.4.19)
FCFM
M
etodos Matem
H. F. Arellano
con l, m enteros. La demostracion 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
& $ ' X $& $ ' X " Z & " ' $ & " 'G[
, (((
&Z " ' $ & " 'G[
#
,
, & '
d
du
Integrando
du
u 2 Pm Pl
u 2 Pl Pm
mm
l l
1 P l Pm
mm
0.
, se encuentra
l l
0,
du Pl Pm
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 separacion de variables a la ecuacion de Helmholtz.
La constante de separacion se denoto por , los cuales ante argumentos de regularidad de la solucion toman
la forma l l 1 . Estudiamos ahora la ecuacion diferencial para la parte radial dada por la Ec. ( 5.4.13a),
con l l 1 . Denotando t kr se obtiene
&& "" ''
$ & " 'G[ #

"
Z
# &'
" [ X " Z " & " ' $ & " 'G[ #
#3$ .
" #
n " X " Z @B$ A EAN.AEAEAEA$EDFA & NAEAE" AEANA EH ' [ #
, #%&
" .'
'" .
# &" .'
2 r &'
2 ,, &'
d
dt
t2
dR
dt
t2
1 R
l l
0.
El aspecto de esta ecuacion es muy similar a la de Bessel, por lo cual intentamos una solucion del tipo
t p J t ,
con p, parametros a determinar. Sustituyendo en la ecuacion diferencial para R obtenemos
n" Z
t2 J
2p
t2
2 tJ
cuya forma se aproxima a la de Bessel si exigimos 2p

2
t J
Finalmente imponemos 2
# &"
tJ
pp
1 J
l l
1, es decir p
1 4
1 J
l l
0,
1 2. De esta forma
0.
l l
1 4, de donde surge 2
1 2 ,
1 2 2 . As,
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 definicion standard es
&' # t u r &'
& ' # &*$ ' r t u , , & '
jl t
nl t
FCFM
2t
1 2
l 1
Jl
2t
1 2
Bessel;
(5.4.20a)
Newman.
(5.4.20b)
1 2
85
l 1 2
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.
& '# Z & '"
8
jl
inl , correspondientes a funciones
Con todo lo anterior, la solucion general a la ecuacion de Helmholtz resulta una combinacion lineal del
tipo
r,
& 'C[ & '
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
Consideremos la ecuacion de Laplace al interior de una cavidad esferica de radio b. Los hemisferios
estan sometidos a potenciales V y el sistema exhibe simetra axial. Resolvemos entonces 2 V
0,
R r P . Mediante separacion de variables, considerando los procedimientos discutidos en esta
con V
# &' &'
+Vo
Vo
Fig. 5.6: Problema de Laplace dentro de una cavidad esferica.

seccion, es directo encontrar que P
&'
? & '
$ & " ' #
& # &
" ' " '
& ' # " r & '

#
& 'W8 : & ' #
&'
: & ' #
Pl cos , con lo que la ecuacion para la parte real queda
1 d
r2 dr
r2
dR
dr
Probando R r
r p , es directo verificar que p p
por lo que la solucion mas general se expresa
V r,
l l
r2
l l
Al r l
Bl
rl 1
l 0
0.
1 . Sus soluciones son p
l; p
#-$& " '

l
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,
A l bl P l 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
# "
: & ' # & ' & ' :. *& $ '
r # :
2l 2
2 bl
Al
f u Pl u du .
Para el caso f u
sign u V 2, una funcion impar en u, claramente los coeficientes de orden par se
l
. Para aquellos coeficientes de la forma A2k 1 se observa
anulan. Ello porque Pl u tiene paridad
A2k
"r.
2k 3 2
b2k 1
P2k
0
r&'
1
u du .
Esta u
ltima integral se puede evaluar utilizando, por ejemplo, la formula de Rodrigues. Ello queda propuesto
como ejercicio3 .
5.6.
Los esf
ericos arm
onicos
En la seccion anterior se abordaron los problema de Helmholtz y de Laplace considerando sistemas con
simetra axial. Ciertamente ese no es el caso general, por lo que se hace necesario abordar el problema donde
se haga manifiesta la dependencia en el angulo . Como es de anticipar, una forma de abordar este nuevo
problema es mediante separacion de variables.
& '# &' &' & '
Consideremos la ecuacion 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
n & ' #3$

& '#
De aqu surge un requerimiento directo cual es F
e
sin
dP
d
" @BAEDFAEH #
,
1 d2 F
F d2
0.
m2
m2 F , con m entero. Por lo tanto,
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 alg
un 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.
& '
& '
:# .
:? #%& ( ' # \ # $ #3$ (
Una solucion elemental de la ecuacion de laplace, 2

solucion podemos generar otra que llamaremos 1 ,
3 Hacerlo.
FCFM
1
r
ai
1
r
87
ai
0, es
xi
r3
1 r, (r
0). A partir de esta
a r
.
r3
U de Chile
M
etodos Matem
Puesto que a es arbitrario, esta solucion conlleva a tres soluciones linealmente independientes, una por cada
componente ai ; i 1, 2, 3. Estas soluciones, en forma explcita, pueden ser
1x
x
;
r3
1y
y
;
r3
1z
z
.
r3
#%& ( ' & ( ' #3$& ( ' ( # & ( ' & ( ' $ & ( '
y
$
$
yy
$
y
En forma analoga podemos construir otra solucion,

2
a2 a 1
1
r
3 a1 r a2 r
r5
a1 r
r3
a2
a 1 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
r2
3xy
3y 2
3xz
3yz
3z 2
r2
r2
Sin embargo, de los 3 elementos de la diagonal solo 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 extension del procedimiento ilustrado anteriormente permite generar una gran familia de soluciones
a la ecuacion de Laplace. En general, es facil ver que l r se escribe de la forma
&'# r &'
& '#
&.
&
r & ' # & '' # &
1
l r
&'
&'
r2l 1
fl r ,
&'
(5.6.21)
&'
con fl r una funcion homogenea de grado l, vale decir, fl r

l fl r . Notamos ademas que fl r es
tambien una solucion de la ecuacion de Laplace, en virtud al teorema de inversi
on. En este se establece
que si r es solucion de la ecuacion de Laplace, entonces 1r r r2 tambien lo es. En nuestro caso,
1
fl r
r2l 1
1 fl r
r r2 l
'
. '
1
fl r r 2
r
Antes de proceder a una construccion sistematica de las soluciones, es u

til 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 n
umero posible de combinaciones a, b, c independientes que cumplan con la condicion a b c
l.
Analicemos,
a 0
b c l
l 1 combinaciones
a 1
b c l 1
l combinaciones
a 2
b c l 2 l 1 combinaciones
..
.
a
" " #
& '
" " #
## ? " ## $ "
# ?? "" # $ $
# ? " #
" " ((( " & " ' # & " ' & " ' . & " " ' #
\ \ \& $ ' .
$
& " '& " ' $ & $ ' # "
l
1 combinacion.
Con esto el n
umero total de combinaciones es 1 2
l 1
l 1 l 2 2. Al construir una
combinacion lineal fl de todos estos terminos y exigir que cumplan la ecuacion de laplace, x2 y2 z2 fl 0,
nos planteamos entonces el n
umero de polinomios homegeneos de grado l 2 independientes: l l 1 2.
Con ello, el n
umero 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 ecuacion de Laplace.
Para el caso l 2 surgen 5 polinomios, como vimos al comienzo.
&'
& '# &'
Denotamos las soluciones de grado l por Yl r , llamados s

olidos arm
onicos. Entonces,
rl Yl r .
Yl r
Observar que por el teorema de inversion tambien es solucion de la Ecuacion de Laplace
t u#
&'
# r &'
1
Yl
r
r
1
Yl 2
r
r
1
r
r
rl 1
Yl r .
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
&('
? & ( ' # & $ '& ( ' , (
#6&
( #
" " #
Nos planteamos esta vez bajo que condiciones el elemento a r l , con a un vector de tres componentes,
satisface la ecuacion 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
a33
a a.
'
a1 , a2 , a3 sea un vector
0.
Esta condicion4 es posible con solo dos constantes complejas puesto que siempre habra una constante
multiplicativa indeterminada. As definimos convenientemente
"
a1
Entonces,
i a2
# ,
2 ;
a1
i a2
#3$ r
2 ;
a3
# r,
# &, $ r'
# &, " r'
# r,
( # $ r " " , $ " r , t u
&& "$ ' . ##
###
,
=
. # '.
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

iy
z
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,
" , , " r,
( # $ r
# r ", , " $ =
& ( ' # r ", , " $
1
2
a r
2 sin ei
2 ei
2 sin
a r
2 cos
2
2 ei
2 sin
2 sin e
i
sin e
cos
sin e
cos
La expansion anterior es de la forma generica
& ' # & " ' $

' # \\ & " ' $
# \ $ ? $
\
, \, $
#
&
$
, ' \ ,
& ('
8
&$ , , , \, $
, ' r \ ,
rr ,, & $ ' \ ,, $
\
8 P & " r r ' ,& , $ '
('8 " & '
,
, & $ '
&& "$ ''

Fl b, u
la cual puede ser expandida en serie de Taylor en b. Observese la siguiente manipulacion:
&
2l
Fl b, u
bk k
u2
k
k!
u
0
l m
2 ei
2 sin
1
l m!
Definiendo los coeficientes
&
u2
ul
l m
m
sin l m !
2l
a r
l!
lm
entonces
sin e
l m l m im
b 0
cos , obtenemos para a r l ,
Con este resultado, denominando u

a r
bl m
l m!
2l
& (' # r
#
,
bk k
k! bk
0
rl
u2
1
l m
u2
1
(5.6.22)
4
Y m , ,
2l 1 l
(5.6.23)
m!l
lm
l m
m l m
l m
l m
m!
lo que lleva tacita la definicion de los esf

ericos arm
onicos
& ' "
Ylm ,
2l 1
4
l
l
m ! im 1
d
e
m
m!
sin 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 ecuacion de Laplace. As, son soluciones de la ecuacion de Laplace los Y lm . En otras palabras,
\\ \ \ "
1
sin
U de Chile
sin
\\ " & " ' & ' #
2
1
2
sin 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
& '#
Ylm ,
Para este caso se tiene
&'
1 im
e
lm .
2
\\ \ \ " & " ' $
1
sin
sin
# "
& '
# 2
#
#
1
4
3
cos
4
3
sin e
8
Con la definicion anterior resulta directo

Yl0
Ademas,
Y00
Y10
Y1
&'#
m2
lm
sin2
l l
0.
2l 1
Pl cos .
4
En cuanto a la notacion de los esfericos armonicos, ella no es u

nica. Es frecuente encontrarse con las
siguientes notaciones equivalentes,
& ' ?
& ' ?
Ylm ,
Messiah, Cohen-Tannoudji, Shankar
Ylm ,
Landau, Greiner, Jackson
& '# &'
Es tambien frecuente utilizar el vector unitario r para representar la dependencia en los angulos esfericos
, . As, Ylm ,
Ylm r .
Relaciones de ortogonalidad
5.6.2.
Entre las propiedades importantes de los esfericos armonicos figuran las relaciones de ortogonalidad,
1 & ' 1 & ' #
& ' & ' #

# & 1 ( ' & ( '
8 & 1( '
& 1 ' & ' & ' # &/ / '
d Ylm
, Ylm ,
ll mm
sin l m lm
ll .
Para la demostracion de la primera de ellas consideremos la integral

Ill
d a
a r
/ / / 1L/ & 1 & ( ' '
con a un vector nulo. El resultado de esta integral es un escalar que dependera de a , a y a a . Puesto
que a es nulo, entonces la dependencia sera solo de D
a a , que podemos expresar Ill D . Ante el
cambio a
a observamos que necesariamente
FCFM
l Ill D
Ill 2 D ,
91
U de Chile
M
etodos Matem
# X
/ / & ' # &/ / '
'
& 1 ( '& ( ' # & 1 ( '
#%& ' = 1 #%& $ '

(1 ##
1 (( #
# X
#
#
&$ '
y
&$
8
'
&
#
condicion que solo se cumple si Ill
ll . Entonces, para l
2l Ill D
Ill 2 D ,
Dl , de modo que
condicion que se cumple solo si Ill D

Ill
d a
a r
a l ll .
Cl a
(5.6.25)
En esta relacion los factores Cl son coeficientes numericos independiantes de a. Para su obtencion 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
Reemplazando en la Ec. ( 5.6.25) para l
l , luego de sustituir u
cos , se obtiene
2l
Cl
u2 l du .
La determinacion de Cl se centra ahora en la evalucaion de la integral

1
para la cual
:#
u2 l du ,
1 y que satisface la relacion de recurrencia5

l
# " ,
2l
2l
De esta forma
con lo cual
# && " ' '
2l l! 2
.
2l 1 !
# && " ' '

& 1( '& ( ' # & & 1( '
" '
4
Cl
l!
a r
l!
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 Y lm .
Recordemos la Ec. (5.6.2) donde se introducen los esfericos armonicos. En ella
& ('8
a r
l!
rl
lm
l
"
& '
4
Y m , ,
2l 1 l
Z 1 [ 1& ' & '# & & 1 ( '

'
de modo que al sustituir en Ec. ( 5.6.26) obtenemos

d
lm lm Ylm , Ylm ,
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
& 1 ( ' # & , ,1 "

& 1( ' # & " '
Demostrar que a
1
2
r r1 '
& & & ' $ r1 r , 1 ,

,,
, " ' '
& 1( ' # & ' 1
,
$
X
Z 1 [ 1 & ' & ' # Z 1 [
Z 1 1 [& & #
' '
Utilizar la formula del binomio para demostrar

a
2l
1 !m
2l !
m!l m!
l m
l m
Utilizar la definicion de los lm [c.f. Ec. ( 5.6.22)] para obtener

a
2l !
2l m
lm lm .
Con lo anterior es facil verificar (las sumas en m, m se subentienden entre

d
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 relacion que buscabamos.
Otras identidades
5.6.3.
Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad.
Ellas son
1 & X X' & '

/ X$ /
& ( X'
&*$ '
Ylm , Ylm ,
lm
Pl r r
Ylm
5.7.
& X$ ' & X$ '

# " rI 1 & X '
# " 1 & X' & '
# & $ " ' #%&+$ '
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 adicion
Inversion
Teora de Sturm-Liouville
Muchos de los problemas estudiados hasta ahora se pueden reducir a ecuaciones diferenciales cuya forma
general esta dada por
du
d
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 ecuacion de la forma
" &' " &' # &'
d2 u
dx2
P x
du
dx
Qxu
Rx ,
& ' # & '&$ ' & '
puede ser escrita de la forma SL. Para ello basta la sustitucion
& '# vw
px
e
P x dx
x
q x
.
px
Qx
Definamos el operador de Liouville L mediante
& '98 & ' $ & '
& '" & '#

d
du
px
dx
dx
Lu
de modo que la ecuacion SL se escribe
Lu
q x u,
0.
Esta ecuacion es de valores propios en el sentido de que las condiciones de borde y regularidad de las
soluciones u conlleva a un espectro de valores para . Supongamos que el intervalo de definicion de las
funciones es a, b y consideremos los autovalores j y k , tales que
Z [
& '"
& '"
L uj
j uj
L uk
k uk
y
y
uk
uj
(((
Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene
Al suponer j
X $ X #%& $ '
d
p uj uk
dx
k , entonces
puj uk
uj uk dx
p u j uk
p uj uk
uj uk
p uj uk
dx
& $ '
# & X$
& X $ X ' # & X $ X
k
Notemos que si
j uj uk
X '
'
uj uk
uj uk
b
a
/ 8
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:
&'# &'#
X& ' # X& ' #
& $ X ' / #%& $ X ' / #
& ' # & ' X& ' # X& '
i.- u a
ub
ii.- u a
u b
iii.- u
iv.- u a
U de Chile
uk
(5.7.28)
b
a
uj uk dx. Las
0 (Dirichlet).
0 (Newman).
ub;u a
&'# &'
0 (Mixta).
u b , con a
b (Periodica).
94
FCFM
M
etodos Matem
H. F. Arellano
&'
Z [
& ' # & '
Aceptando que las autofunciones de SL conforman un conjunto completo de funciones, entonces cualquier funcion f x en el intervalo a, b se puede expandir de la forma
b
ck uk x ;
f x
# &' &'&'
ck
f x uk x x dx .
k 1
Para los casos estudiados y otros similares se observan las identificaciones mostradas en la Tabla (5.1).
&'
$
& ' # & ' { & ' Z & 'G[ ~
# &'# $ &'#
En general toda autofuncion SL, fn x , satisface una relacion con la n esima derivada de otra funcion.
A esta se le reconoce como f
ormula generalizada de Rodrigues,
1
dn
x g x
an x dxn
fn x
&'
La funcion g x es un polinomio y los coeficientes an obedecen convenciones de standarizacion. Para el caso

x2 1, x
1.
de los polinomios de Legendre an 2n n!, g x
Otro tipo de relacion importante en las funciones SL es la que se reconoce como funci
on generatriz.
Este es un tipo de construccion del tipo
& ' #
& '
&'
an f n x t n ,
G x, t
n 0
donde la funcion G x, t es una expresion cerrada. Si bien existe una forma sistematica de obtener tales
funciones, nos remitiremos a los ejemplos clasicos en que participan los polinomios de Legendre y de Hermite.
Para ellos,
#
2 $ "
, #
1
2xt
t2
e2xt
x2
5.8.
&'
&'
tn Pn x
n 0
tn
Hn x
n!
0
Ecuaciones especiales
n " & ' X" & ' #
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

Autofuncion
px
q x
Jn
x
n2 x
Pn
1 x2
0
nm
1 x 2 m2 1 x 2
2
Hn
e x
0
$$
(5.8.29)
95
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 obtencion
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 solucion en torno al origen o cualquier otro punto de interes. El problema es
abordado siguiendo los siguientes esquemas alternativos.
&' &'
a) Buscando una solucion en base a la naturaleza analtica de p z y q z .

b) Buscando una solucion en base a la naturaleza de las condiciones de borde.
Dentro del primer esquema contemplamos tres escenarios de interes.
&' &'
a1) Si p z y q z son regulares en z

forma
&'#
#
&' &'
#
&' &'
0, entonces la Ec. ( 5.8.29) posee dos soluciones distintas de la

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 solucion a la Ec. ( 5.8.29).
0, con zp z y z 2 q z singulares en z
0, entonces puede
a3) Si p z y q z son irregulares en z
no existir solucion a la Ec. ( 5.8.29). En este caso no se sabe de metodo para resolver la ecuacion
planteada.
5.8.1.
Aplicaci
on del m
etodo de series
&'#
& ' #
& " '& " $ ' "
&'#
Examinemos el caso a2, para el cual
an z n ;
zp z
bn z n ,
z2q z
n 0
n 0
e intentamos una solucion u z

z r n 0 cn z n . En esta expansion 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,
& " '& " $ ' "
& " '& " $ ' "
Z& " ' , " , [
r n
1 cn
n 0
m 0
r an
bn
cm z n
0.
De aqu surge la relacion para los coeficientes
Z & " ' , " , [ #

' :" : [ " , Z & " ' , " , [ #
& $ ' " :" :
"
;
<
'G[ #3$ , Z , & " 'G[
#
:& ' : #
" &:$ ' " :#
n
r n
1 cn
r an
bn
cm
m 0
o bien,
Z& " '& " $ ' " & "

n
r n
n 1
r a
b cn
r an
bn
cm
m 0
Guiados por esta relacion, definamos las funciones
: && ' ##
& '' #
s
i s
i s
Z :& "
:& ' #
Entonces,
:Wm
1
bi
ss
sai
sa
n 1
n cn
(5.8.30)
m cm ,
m 0
relacion que permite obtener los coeficientes cn recursivamente. Al hacer n

0, entonces r
0, o bien
Escogiendo c
r2
1r
0 se tiene r c
0.
0.
A esta ecuacion se le denomina ecuaci

on indicial, cuyas races determinan la naturaleza de la solucion. Ellas
estan dadas por
r1,2
# & $ :' P & $ :' $ :
Con esta u
ltima, si suponemos Re r1
algunas consecuencias a considerar.
1
2
4b
Re r2 , entonces Re r1
" # $ :
& $ : '.
r1
Re 1
r2
2. De estos resultados surgen
i.- Siempre va a existir una solucion a la Ec. ( 5.8.29).
# "
ii.- Una segunda ecuacion linealmente independiente tambien existe si es que r 1

iii.- Si r1
r2
a .
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 ecuacion 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 solucion a la ecuacion ( 5.8.29) podemos buscar una segunda solucion mediante el m
etodo
de variaci
on de par
ametros. Consideremos
u
n " LX " #
#
pu
0,
qu
y supongamos que u1 es la solucion que se obtiene con la raiz r1 de la ecuacion indicial. Construimos
u2
(5.8.31)
hu1 ,
con h una funcion por determinar. Sustituyendo directamente en la ecuacion diferencial y dividiendo por h u
se obtiene
u
h
d
2 1 p 0,
ln h ln u21
p.
h
u1
dz
Integrando, reordenando y considerando una constante c de integracion,
c
h
e p z dz .
u21
n" X" #
X
#3$
XL"
, vw
& #
'

# : "
# ` ,
X# , ` ,
#
X # r ` , 8 r ` & '
&'
" # :$
X# r & '
X#
Examinemos ahora el argumento de la exponencial,
1
zn
p z dz
an z n dz
a ln z
Con ello
c
e
u21
Puesto que u1
z r1
n 0 cn z
a ln z
e n
an
n
an n
z .
n
1
zn
u21 z a
e n
an
n
zn
, entonces
c
z 2r1
e n
an
n
n 0 cn
zn
c
z 2r1
zn
F z .
# "
a
1, ademas de r1
r2 N ,
La funcion F z es claramente regular. Considerando ademas r1 r2
entonces
c
h
F z .
z1 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,
& ' #
cF z
&'
n z n ,
n 0
con la cual
h
X #
r: : "
r " "
" "
" &
"
zN 1
1 z
" ( ((
, " ((( " " (((
, " (((
" " (((
2 z 2
1
2
N
N
z
z 1
0
1
N ln z
N
N
z
z 1
1
N ln z
0 1 z
zN
zN 1
"
N
z
integrando
n z n
N ln z
n 0
U de Chile
98
FCFM
M
etodos Matem
H. F. Arellano
En esta u
ltima se han introducido los coeficiente n provenientes de la integracion. Puesto que u2
entonces,
u1
n z n .
u2 N u1 ln z
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 expresion anterior se puede escribir de la forma
u2
N u1 ln z
" X
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 $& " " ' [ $ #

& ' # $& & " $ " ' '
& ' # &$ $ '
& ' # $& " $ " ' ? : #
&' # $$
? :#
# # $
"&$ '" #
& '98 & ' #
# & " &$ " ' & $ " ' $ '

# & " '((( & & " " $ '((' ( && "" '$ ((( ' & " $ '
# & & " ' ' & &" ' ' & &" ' ' & & " ' '
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
z2q z
0.
c 1 t 0 0, cuyas races son r 0 y r

La ecuacion indicial es r 2
n
solucion u1
n 0 cn z , la cual depende de a, b, c. Denotaremos
u1 z
c. Para r
0 planteamos la
cn z n .
F a, b, c; z
n 0
Al sutituir en la ecuacion diferencial se obtiene para los coeficientes,
Si c
m $
1
FCFM
n 1 b n
nc n 1
n, con n entero, entonces

cn
8 Hacerlo.
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
99
U de Chile
M
etodos Matem
&
De esta forma,
F a, b, c; z
' # & ' & ' & ' && " "
c
ab
a
n
0
&& " '

" '
''
nb
1c
n n
z .
n
(5.8.33)
A esta funcion se le llama serie hipergeom

etrica.
& ' 8 & &" ' '

& ' # & ' & &' '
Es com
un hacer uso de los smbolos de Pockhammer, definidos por
con los cuales expresamos
n
,
an bn n
z .
n! c n
F a, b, c; z
n 0
Una forma de denotar la ubicacion 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
&
&
' # $ / /J<
$ ' # &" '
$ ' # &" '
#
'
" ' # &$ '
1
F 1, 1, 1; z
&*$
&+$
zF 1, 1, 2; z
F a, b, b; z
&
1 z
ln 1 z
1 z a
zF 12 , 12 , 23 ; z 2
F n, n 1, 1; z
arcsin z
Pn 1 2z
# , &'
" @ANDF$ AEH [ XL" & @ A E$ A EDFA " EA EH ' & @BA $AAEDFA" AMAEH ' #
,
# $ "
# $ "
# $
, & '
Una segunda solucion a la ecuacion hipergeometrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo
c
z1
g z
Luego de reemplazar en la ecuacion original se obtiene9
& $ ' n " Z & @BANAE" ANAEAEANAE$DFA AEAEAN"AEANAEH '

rr
z z
1g
2c
3z
2 g
1 b
1g
0.
Claramente se trata de la ecuacion hipergeometrica al identificar
La segunda solucion es, entonces,
&'#
w z
z1
b
2
c
c
2 F1
, , ; z .
9 Hacerlo.
U de Chile
100
FCFM
5.8.3.
La ecuaci
on hipergeom
etrica confluente
n " & $ ' X" #

:#
#
? & ' #
Se trata de la ecuacion
M
etodos Matem
H. F. Arellano
zu
# $
z u
au
0.
Para este caso los coeficientes para la ecuacion indicial son a

r 0 y r 1 c. La solucion para r 0 es del tipo
u
c, y b
:#
(5.8.34)
0. Las races son nuevamente
cn z n .
a, c; z
n 0
&& '
'
Al sustituir en la ecuacion se obtiene10 para los coeficientes

cn
& '#
Entonces,
a
c
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
&' # t u & "

& ' # &+$ '
& ' # *& $ ' & ' &+$
Jn z
Ln z
H2n z
"
'
eiz z
F1 n 12 , 2n 1; 2iz
(Bessel)
n! 2 1
n, 1; z
(Legendre)
1 F1
n 2n !
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 ecuacion. 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 solucion 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.
& '# & '

& '# & $ '
&'# & ' &'
A modo de ilustracion consideremos Lx un operador diferencial lineal y nos planteamos la ecuacion
&' &
'
Lx u x
(6.0.1)
f x ,
con f x una funcion arbitraria pero conocida. Para resolver este problema consideremos una funcion de dos
variables G x, t , tal que
Lx G x, t
x t .
Podemos verificar entonces que una solucion 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 funcion 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
&'
Z [
Consideremos la ecuacion diferencial de segundo orden para la funcion u x en el intervalo a, b con

condiciones de Dirichlet (homogeneas),
Lu
8 n " & ' XL" & ' # & '

u
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 solucion a la ecuacion no homegenea ( 6.0.2) construida de la siguiente forma,
&' &'
ux
v1 x y1
v2 x y 2 .
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 solo uno. La forma de restringirlas se
vera en seguida. Luego de sustituir u x en la Ec. ( 6.0.2) y hacer uso de Ly 1 Ly2 0, se obtiene
&'
# #
n " X X " n " X X " & 'Z X " X [ # & '
X " X #
X X" X X# & '
2v1 y1
v1 y 1
2v2 y2
v2 y 2
p x v 1 y1
v2 y 2
f x .
A este punto podemos imponer, para todo x,
v1 y 1
0.
v2 y 2
Derivando y sustituyendo en la ecuacion anterior obtenemos

v1 y 1
v2 y 2
f x ,
lo que se resume en el siguiente sistema de ecuaciones diferenciales para nuestras incognitas v 1 y v2 ,
Este sistema de 2
XX # & '
X
X
& '98 X $ X
&' &' &' X# &'
& ' && '' & ' " & '
& ' && '' & ' " & '
y1
y1
y2
y2
0
f x
v1
v2
2 se resuelve en forma simple. Denotando

W x
X #%$
entonces
v1
y 1 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 construccion para u x tenemos
& ' 3# $
ux
En forma equivalente,
& '#
ux
y2 x
f x dx
W x
y1 x
y2 x
y1 t
f t dx
W t
y2 x
y1 x
y1 x
f x dx .
W x
y2 t
f t dx .
W t
&'# & ' &'

& ' # && ' ' & & '' .. && '' 44 44
La solucion encontrada tiene la forma
ux
G x, t f t dt ,
donde definimos la funci

on de Green
& '
G x, t
y1 t y 2 x W t ,
y1 x y 2 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 ilustracion, y a
un mas generalmente, la funcion de Green satisface cinco propiedades
importantes.
U de Chile
104
FCFM
& '# & $ '

& '
#
;
& ' & ' . & ' & r $ & & # r ' # & ' & r '& .
,'?
'
#
\ & '. \
\ \ # & ' \ \ && '' ? &
\ \ # & ' \ \ && '' ? &

&' # & ' X& ' $
$ #3$
\\ \\
1.
La funcion de Green satisface Lx G x, 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.
M
etodos Matem
H. F. Arellano
La derivada G x, t
En este caso
G
t
G
t
& $ r ' ' ? # & & ' , ' & '& . ' . & '& , ' ?
tenemos G x, x
y1 x y 2 x W x
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 es discontnua en t
t
t
t
t
y2 x
y1 x
y 1 x y2 x
G
t
t x
' \\
' \\
&
y 1 x y2 x W x
y1 x y2 x W x . Clara-
&& '
& ''
&& '
'X '
y1
x W
y2
x W
x
x
x
x
y2 x y1 x , se verifica
1.
t x
G(x,t)
t
t=x
\ & '. \
& '# & '
& '# & '#
Fig. 6.1: Discontinuidad de G x, t
4.
La funcion de Green es simetrica en sus argumentos, G x, t
5.
La funcion de Green cumple con las C.B. G x, a
G x, b
t.
G t, x .
Un ejemplo cl
asico
6.0.2.
Consideremos la ecuacion de Helmholtz en 1D
&'# & '#
donde u 0
FCFM
uL
# &'
&' # & '
& ' # Z & $ C' [
u
n"
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
&'# & '
Z & $ 'C[ $
& '
&& ' Z & & $$
' Z
& '# &
& $ 'G[ & '
'
#
A partir de esta construimos el wronskiano,

sin kx k cos k x
W x
Por lo tanto la funcion de Green esta dada por
& ' #
G x, t
&'#
sin kt sin k x
sin kx sin k t
De esta forma la solucion esta dada por u x

ux
& '
x
0
& ' Z&
sin kt sin k x
k sin kL
Z& $
'G'G[[ ..
' &'
"
k cos kx sin k x
L
L
&& ' 4
' 4
& ' &Z &
k sin kL
k sin kL
0
x
G x, t f t dt, es decir,
f t dt
& '#
'C[ =
W x
t
t
44
x
L
$ G' [ & '

'
sin kx sin k t
k sin kL
& '
k sin kL .
f t dt .
Z & $ 'C[
Verificamos que en x
0 la primera integral es nula, mientras que la segunda contribucion se anula al
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 expresion obtenida para u x cumpla las condiciones de
bordes homogeneas.
U de Chile
106
&'
FCFM

Apunte Metodos

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apunte Metodos

Cargado por

Copyright:

Formatos disponibles



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.15. Prolongacion analtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.16. Relaciones de dispersion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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 convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.4.2. Relacion de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4.4.3. Potencial debido a una distribucion de cargas . . . . . . . . . . . . . . . . . . . . .

5.2. Separacion de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.2.1. Ecuacion de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3. La ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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

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

5.3.3. Diferenciacion y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.3.4. Una identidad u

5.3.5. La ecuacion de Laplace en una cavidad cilndrica . . . . . . . . . . . . . . . . . . .

5.4. Ecuacion de Helmoltz con simetra axial . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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.5. Ecuacion de Laplace en una cavidad esferica . . . . . . . . . . . . . . . . . . . . . . . . . .

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

5.6.1. Construccion de los esfericos armonicos . . . . . . . . . . . . . . . . . . . . . . . .

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

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

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

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

5.8.1. Aplicacion del metodo de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.8.2. La ecuacion hipergeometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5.8.3. La ecuacion hipergeometrica confluente . . . . . . . . . . . . . . . . . . . . . . . . 101

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

Comenzamos nuestro estudio suponiendo alguna familiaridad con los n

# & " '" & " '

Con estas definiciones, y al igual que en el cuerpo de los reales, los n

" & " ' %# & " ' "

Existencia del cero (0

Existencia del inverso aditivo. Si z

Distributividad de la suma con respecto al producto,

Conmutatividad de la suma y el producto,

( & ( ' %# & ( ')(