Apuntes de Metodos Matematicos para La Física - Hugo F. Arellano

www.elsolucionario.
net

www.elsolucionario.net

Hugo F. Arellano
Departamento de Fı́sica - FCFM

Universidad de Chile
Primavera de 2006
2
Indice
1. Elementos de análisis complejo 9
1.1. Variables complejas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
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 geométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6. Integración . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.7. Teorema de Cauchy-Goursat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.8. Fórmula 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
3
fι Métodos Matemáticos para la Fı́sica
1.13. Hojas y superficie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1.14. Integrales que involucran funciones multivaluadas . . . . . . . . . . . . . . . . . . . . . . . 35
1.15. Prolongación analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.16. Relaciones de dispersión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
1.17. Método del descenso más empinado (steepest descent) . . . . . . . . . . . . . . . . . . . . 40
2. Coordenadas curvilı́neas ortogonales 45

2.2. Coeficientes métricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
2.3. Elementos geométricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 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
3. La delta de Dirac 55
3.1. Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.3. Representaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4. Series y transformada de Fourier 59

4.1. El Teorema de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2. Bases de funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
U de Chile 4 FCFM
H. F. Arellano Métodos Matemáticos para la Fı́sica fι
4.3. Paso del discreto al contı́nuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.4. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.4.1. El teorema de convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4.2. Relación de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4.3. Potencial debido a una distribución de cargas . . . . . . . . . . . . . . . . . . . . . 65
5. Ecuaciones diferenciales 69
5.2. Separación de variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.2.1. Ecuación de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.3. La ecuación de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.3.1. Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.3.2. Funciones modificadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.3.3. Diferenciación y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.3.4. Una identidad útil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.3.5. La ecuación de Laplace en una cavidad cilı́ndrica . . . . . . . . . . . . . . . . . . . 79
5.4. Ecuación de Helmoltz con simetrı́a 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 esféricas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.5. Ecuación de Laplace en una cavidad esférica . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.6. Los esféricos armónicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
5.6.1. Construcción de los esféricos armónicos . . . . . . . . . . . . . . . . . . . . . . . . 89
FCFM 5 U de Chile
5.6.2. Relaciones de ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.6.3. Otras identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.7. Teorı́a de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.8. Ecuaciones especiales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
5.8.1. Aplicación del método de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.8.2. La ecuación hipergeométrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
5.8.3. La ecuación hipergeométrica confluente . . . . . . . . . . . . . . . . . . . . . . . . 101
6. Funciones de Green 103
6.0.1. Problema con C.B. homogéneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.0.2. Un ejemplo clásico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
6
Pre-texto
Estos apuntes son una transcripción de mi primer manuscrito de cátedras del semestre de primavera de
2005. Al igual que otros de mis apuntes, son informales en su presentación y carecen de desarrollos detallados
que comunmente se discuten en clases o encuentran en textos.
El tema de métodos matemáticos para la fı́sica es sumamente extenso y hay varios textos de excelente
calidad donde encontrar desarrollos y discusiones interesantes, además de buenos ejemplos o problemas
tı́picos. Ası́ entonces, no pretendo con estos apuntes hacer un aporte en esa lı́nea. El sentido de escribirlos
es más bien registrar el énfasis de algunos aspectos discutidos en clases y de como ellos se estructuran hacia
los temas más avanzados. Espero que ésto sea de ayuda.
Hugo F. Arellano
Santiago, primavera de 2006
7
U de Chile 8 FCFM
Capı́tulo 1
Elementos de análisis complejo
1.1. Variables complejas
Comenzamos nuestro estudio suponiendo alguna familiaridad con los números complejos ordinarios,
es decir, aquellos formados por la combinación del tipo ‘x iy’, con x e y variables reales además de la
propiedad i2 1. Para uniformizar la notación, usaremos la letra ‘z’ para simbolizar las variables complejas.
Las operaciones de suma y multiplicación entre números complejos están definidas de la siguiente forma.
Sean z1 x1 i y1 , y z2 x2 i y2 , entonces
z1 z2 x1 x2 i y1 y2 ,
def
z1 z2 x1 x2 y1 y2 i x1 y2 x2 y1 .
def
Con estas definiciones, y al igual que en el cuerpo de los reales, los números complejos satisfacen las siguientes
propiedades para la suma y el producto:
1. Asociatividad para la suma y el producto,

z1 z 2 z 3 z 1 z2 z3 , z1 z2 z3 z1 z2 z3 ;
2. Conmutatividad de la suma y el producto,

z1 z2 z2 z1 , z1 z2 z2 z1 ;
3. Distributividad de la suma con respecto al producto,
z1 z2 z3 z1 z2 z1 z3 ;
4. Existencia del cero (0 0 i 0) y de la unidad (1 1 i 0):

z 00 z z, z11z z;
5. Existencia del inverso aditivo. Si z x i y, entonces z x i y es su inverso aditivo y
cumple
z z z z 0;
9
6. Existencia del inverso multiplicativo. Si z x i y, entonces1 z 1

1z 2z es su inverso multi-
plicativo y cumple
zz 1 z 1z 1 ;

Se define el módulo (z ) de un número complejo z mediante z zz , la cual conduce a la desigualdad
z 1 z 2
z 1 z2 .
1.2. Funciones de variable compleja
Al igual que con variables reales, las múltiples operaciones entre variables complejas permite la cons-
trucción de funciones. Tales funciones resultan, en general, también complejas y se descomponen en parte
real e imaginaria. Si f z es una función de la variable compleja z x i y, entonces podemos escribir
f z ux, y i v x, y wx, y .
Se subentiende que la aplicación f toma elementos z en un dominio del plano complejo (C). Se dice que f
es contı́nua en z si para todo 0 existe un δ 0 tal que z z δ f z f z . Un ejemplo
de función contı́nua es f z z 2 . En efecto,
iy iv
z wo
ε
δ zo w
x u
Fig. 1.1: Cuando z z , entonces w w .
f z f z z 2 z2 z

z z z δ z z .
δ
Además la desigualdad triangular permite z z z z 2z
z z 2z
δ 2z. Si denotamos
f f z y f f z , entonces
f f
δ
δ 2z .

Aquı́ resulta claro que la separación infinitamente pequeña entre f y f está siempre garantizada. De la
desigualdad de arriba inferimos que para un dado, entonces el δ requerido está dado por

δ z 2 z .
Notamos que en este caso δ depende de z , lo que es en general el caso. Sin embargo, si el dominio de
f está acotado por z
R, entonces δ se expresa independiente de z . Ello se denomina continuidad
uniforme.
1 A todo complejo z x iy se le asocia el complejo conjugado, z , definido por z x iy. Con esta definición
resulta evidente que zz z z x2 y 2 .
U de Chile 10 FCFM
1.3. Derivada y analiticidad
Consideremos el cuociente
f z f z
z z
.
Este cuociente no está definido para z z . Sin embargo, al igual como se hace para funciones de variable
real, quisieramos construir el lı́mite cuando z z . En variable compleja imponemos una exigencia no trivial,
cual es que el lı́mite sea independiente de como z se aproxima a z . Ası́, definimos
f z δz f z
f z lı́m .
δz 0 δz
Calculemos f z mediante un acercamiento z z paralelo al eje real, es decir δz δx, con z x i y.
Entonces,
δf
δz
ux δx, y i v x δx, y ux, y i v x, y
δx
ux δx, y ux, y
δx
i
v x δx, y v x, y
δx
ux i
v
x .
Análogamente, calculemos f z mediante un acercamiento z z paralelo al eje imaginario. En tal caso
δz iδy, con lo cual
δf
δz
ux, y δy i v x, y δy ux, y i v x, y
iδy
ux, y δy ux, y
i δy
i
v x, y δy v x, y
iδy
i uy v
y .
Para que ambos procedimientos lleven al mismo resultado imponemos que tanto la parte real como imaginaria
sean coincidentes, vale decir,
u v , u v .
x y y x
A ésta se le denomina condición de Cauchy-Riemann y constituye una condición necesaria para la
analiticidad de una función. La suficiencia viene cuando las derivadas son contı́nuas.
De la condición de Cauchy-Riemann surgen trivialmente
2u 2 u 0 , 2 v 2 v 0 ,
x2 y2 y
x2 y2
que corresponden a ecuaciones de Laplace en 2D. En tal sentido, las componentes de real e imaginaria de
funciones analı́ticas son armónicas como funciones de x e y.
FCFM 11 U de Chile
Resumen:
Analiticidad: Sea f : C C una función compleja. La derivada de f en z es
df

lı́m
Δz f z
f z
(1.3.1)
dz z Δz 0 Δz
provisto de que el lı́mite exista y sea independiente de la forma como Δz 0.
Teorema: La función f z ivx, y es diferenciable en una región del plano complejo si y sólo si las
u x, y
condiciones de Cauchy-Riemann,
u v u v
x y y x (1.3.2)
(o, equivalentemente, f z 0), son satisfechas y todas las primeras derivadas parciales de u y v son continuas
ux i xv vy i uy

en esa región. En tal caso
df
(1.3.3)
dz
Definiciones: La función f : C C se denomina analı́tica en z si es diferenciable en z y todo punto de su vecindad.
Aquel punto donde f es analı́tica se denomina punto regular de f . Un punto donde f no es analı́tica se denomina
punto singular o singularidad de f . Una función para la cual todos los puntos en C son regulares se llama función
entera.
La analiticidad de una función no es una propiedad que esté garantizada a cualquier función contı́nua.
Por ejemplo, consideremos z x i y, y definamos f z z z . Claramente ux, 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
igual forma, variaciones paralelas al eje complejo (δz iδy) conducen a i u y v y 0. Este
resultado es diferente al anterior, por lo que la analiticidad no se cumple. En general, una forma sistemática
de verificar la analiticidad de una función es examinando la condición de Cauchy-Riemann. Para este ejemplo
se observa que u x v y. En general, cualquier función de z y z resulta no analı́tica.
Examinemos un ejemplo simple: f z z 2 . Considerando z x i y es fácil verificar que f z

wx, y x2 y 2 i 2xy . Identificamos u x2 y 2 , y v 2xy, con lo cual
u 2x ; u 2y ; v 2y ; v 2x .
x y x y
Estas derivadas cruzadas satisfacen las condiciones de C.R. La derivada es única y la podemos evaluar:
f z
u v 2x i2y 2z ,
x i
x
coincidente con el resultado conocido para variables reales. En general, se puede demostrar que para todo n
entero,
z n zn 1 .
d n
dz
Su demostración queda propuesta.
1.3.1. La exponencial
Un ejemplo de gran valor es el caso de la función exponencial. Esta función puede ser definida de
varias formas. Consideremos en este caso la siguiente construcción. La exponencial es una función de la
U de Chile 12 FCFM
variable compleja z, que denotadaremos por f , que satisface las siguientes propiedades: a) f z es analı́tica
y univaluada en C; b) f z f z ; y c) f z1 z2 f z1 f z2 . Procedemos entonces a la construcción
de la exponencial.
De la condición c) se tiene f 0 0 f 0f 0, por lo que f 02 f 0. Soluciones son f 0 0; 1.
De la condición c) vemos que f z δz f z f z f δz f z f z f δz 1.
Imponemos que f z f z . Examinamos
f z δz f z
δz
f z f δz
δz 1 .
Cuando δz 0, vemos que f δz 1δz diverge si f 0 0. Sólo f 0 1 permite analiticidad.
Imponemos f f , expresando f z ux, y i v x, y . Entonces,
u u ; v v ,
x x
de lo cual ux, y ay ex , y v x, y by ex .
La condición de analiticidad de C.R. conduce a

u v ay dy
db
x y ,
v u by da
x y dy
,
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 sólo dos las constantes arbitrarias de integración. Si consideramos
ay A cos y B sin y , by A sin y B cos y .
Imponemos f 0 1, con cual

u0, 0 1 a 0 1 A1
v 0, 0 0
b0 0
B0
Construimos f u iv wx, y, obteniendo

wx, y ex cos y i sin y ez .
def
Del resultado anterior resulta evidente que para z iy, con y real, se tiene eiy cos y i sin y. De igual
modo, si z x (real), entonces ez ex .
La exponencial es analı́tica en todo C, de modo que es una función entera. Una gŕafica 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:
e 2ie
iz iz iz iz
cos z e 2
e
, sin z .
FCFM 13 U de Chile
-3 -3
-2 -2
-1 -1
0 0
1 1
0.5 0.5
0 0
-0.5 -0.5
-1 -1
0 0
5 5
10 10
15 15
Fig. 1.2: Partes real e imaginaria de ez .
Además, se define
tan z cos
sin z
.
z
Esta última no es analı́tica en los ceros de cos z. De forma análoga se introducen las definiciones
e 2 e
z z z z
cosh z e 2
e
, sinh z , tanh z cosh
sinh z
z
.
1.3.2. El logaritmo
Al igual que en variable real, se define el logaritmo como la función inversa de la exponencial. Notar,
sin embargo, que la exponencial es una función periódica, vale decir,
ez ez 2iπN ,
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 ambigüedad si
restringimos la parte imaginaria a sólo un sector.
Buscamos una forma explı́cita, en términos de x e y, para ln z w. Esta construcción se basa en exigir
que ew z. De esta última, claramente
z eu i v eucos v i sin v .
Tomando módulo a ambos lados y luego el logaritmo en variables reales obtenemos
u ln z .
Además, si representamos z z cos φ i sin φ, es claro que v φ arg z. De tal forma que
def
w ln z i arg z .
En términos de las componentes de z,

y
w ln x2 y2 i arctan .
x
U de Chile 14 FCFM
Con este resultado calculemos su derivada

d ln z
dz
wx x2 x y2 i
yx2 x iy
1 y x2 x2 y 2 x
1
iy
.
Por lo tanto,
d ln z
dz
z1 .
Contando con la definición del logaritmo podemos definir la potenciación a un número real a,
za ea ln z .
def
Con esta definición es directo calcular la derivada de z a :

d za
dz
dzd ea ln z ea ln z az a z a 1
.
1.4. Propiedades geométricas
Geométricamente el gradiente de una función de dos variables, x, y , apunta en la dirección de mayor
crecimiento. Si consideramos ux, y y v x, y , componentes de una función analı́tica f z , entonces
ux xv uy vy .

∇u ∇v
Al hacer uso de la condición de C.R. se obtiene que ∇u ∇v 0 Esto implica que, en un punto z x iy,
la dirección de mayor crecimiento de u es perpendicular a la de v. En otras palabras, las curvas de nivel de
ux, y son perpendiculares a las de v x, y .
A modo de ilustración, consideremos nuevamente la función f z z 2 . En tal caso u x2 y 2 , y

v 2xy. Las curvas de nivel están dadas por x2 y 2 u y 2xy v , ilustradas en la Fig. (1.3), donde
1 1
0.5 0.5
0 0
-0.5 -0.5
-1 -1
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
Fig. 1.3: Curvas de nivel de ux, y (izquierda) y v x, y (derecha).
se puede apreciar visualmente la perpendicularidad de las curvas de nivel.
FCFM 15 U de Chile
1.5. Transformaciones conformes
La aplicación 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 aplicación f podemos identificar la región u, v que resulta de considerar todos los puntos x, y
correspondientes a z en un dominio D. A esta construcción se le llama mapa. Cuando la transformación f
f
y z v w
x u
Fig. 1.4: Un mapa.
es analı́tica, los mapas resultantes tienen propiedades interesantes. Comencemos examinando la geometrı́a
de dos desplazamientos arbitrarios en z y veamos en qué se traducen para w.
Sea z un punto en el dominio de partida y w f z su imagen respectiva. Sin perder generalidad,
podemos afirmar que un desplazamiento muy pequeño desde z , δz z z , conlleva una variación δw
dado por
δw f z δz.
Al ser f analı́tica, f z es única. Contemplemos dos desplazamientos independientes, δza y δzb , ambos
de igual magnitud (δs) pero con orientaciones distintas. Si los ángulos relativos al eje real son φa y φb ,
respectivamente, entonces sus desplazamientos en el plano C son
δza δs eiφ a
, y δzb δs eiφ b
.
Claramente el ángulo entre estos dos desplazamientos se obtiene examinando el cuociente δzb δza :
δzb
δza
ei
φ b φa .
Nos preguntamos entonces por el angulo relativo entre las variaciones δwa y δwb respectivas:

δwb
ff zz δz
δzb
ei
φ b φa .
δwa a
En otras palabras, el ángulo 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 preservación de los ángulos está garantizada sólo cuando f z 0. Si
δ wb
iy iv
φ b −φ a δwa
δzb
−φ a
φb
δ za
x u
Fig. 1.5: Si f z 0 entonces δza , δzb δwa , δwb .

esto no ocurre hay que examinar más detalladamente considerando términos de orden superior. Más adelante
estudiaremos expansiones en series de Taylor en torno a puntos regulares. Si el término no nulo más bajo es
de orden m, entonces δwa , δwb m δza , δzb . Cuando m 1 nos referimos a una transformación
conforme.
U de Chile 16 FCFM
1.5.1. Ejemplos
Inversión: w 1z.
Consideremos la transformación f z 1z y estudiemos la región 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 a ρ eiφ , ρ:0a; φ : π π.
Construimos w:
w z1 a 1
ρ eiφ
.
Mediante manipulación algebraica directa obtenemos
w i a2
a ρ cos φ ρ sin φ
.
a2 ρ2 2aρ cos φ ρ2 2aρ cos φ
El centro del cı́rculo es mapeado a w 1a. Los puntos del contorno de D quedan determinados con ρ a.
En tal caso
w
2a1 i 2a1 tanφ2 ,
representando una recta con u 12a y v barriendo
u+iv = 1/(x+iy)
1/2a 1/a
C B B
A a
Fig. 1.6: La transformación f(z)=1/z, aplicada a un cı́rculo.
1.6. Integración
Sean f : C C y Γ una trayectoria contı́nua que une los puntos extremos za y zb . Definimos la integral
mediante la suma infinita de elementos infinitesimales,

n zb
f z dz lı́m f ξj zj zj 1 f z dz .
Γ j1
n za
En esta construcción exigimos que para todo segmento, zj zj 1 0. Además, convenimos en que f
es evaluada en cualquier punto ξj en el segmento zj 1 zj . Suponemos que la función f no experimenta
saltos a lo largo de Γ. Para fijar ideas hemos considerado z0 za , y zn zb .
FCFM 17 U de Chile
iy
n−1 n
n−2
z
b
za 2
1
0
x
Fig. 1.7: Integral a lo largo de una trayectoria Γ.
1.7. Teorema de Cauchy-Goursat
Cuando la una función f : C C es analı́tica sobre y dentro de una trayectoria cerrada C, entonces

f z dz 0 .
C
A este teorema se le llama Teorema de Cauchy-Goursat. Sin pretender una demostración rigurosa sino
más bien dar una justificación razonable, consideremos una trayectoria Γ no cerrada y que une dos puntos
extremos, za y zb . Expresemos la integral en términos de las partes real e imaginaria y desarrollamos.

I f z dz u i vx i y u dx v dy i v dx u dy .
Γz Γxy Γxy Γxy
En éstas hacemos una distinción entre la trayectoria Γ en C, denotada por Γz , y aquella equivalente en 2 , Ê
Γxy . Las dos integrales de la derecha se pueden expresar como integrales de camino de los campo vectoriales
A u, v y B v, u, respectivamente. Por el teorema de Stokes, tales integrales son independientes
de la trayectoria si es que ∇ A 0 y ∇ B 0, lo cual es efectivo al considerar la condición de C.R.
para las funciones u y v:
∇A xAy y Ax xv y u 0 ,

∇B xBy y Bx x u y v 0 .
zb zb
Γ2 C
Γ2
Γ1 Γ1
za za
(a) (b) (c)
Fig. 1.8: Integral a lo largo de una trayectoria Γ.
El resultado anterior permite comenzar con una integral a lo largo de un camino Γ1 y deformarlo
gradualmente hasta transformarlo en Γ2 [ver (a)]. Si la función f z es analı́tica sobre cada una de las
U de Chile 18 FCFM
trayectorias intermedias, entonces

zb zb
f z dz f z dz ,
za Γ1
za Γ2

donde ambas trayectorias parten de za y llegan a zb . Al cambiar de orden la segunda integral, también
cambiamos el signo [ver (b)]:
zb za zb za
f z dz f z dz f z dz f z dz 0 .

za Γ1

zb Γ2

za Γ1

zb Γ2
De esta última obtenemos [ver (c)]

f z dz 0.
C
Ejemplos
i.- Calculemos I γ z dz para las trayectorias a, b y c indicadas en la figura.
1+2i
b
0 c
Fig. 1.9: Tres curvas de integración.
a) Para la trayectoria a podemos parametrizar z de la forma
z t t 2it , t:01.
Entonces, dz dt 2i dt. Sustituyendo,

1 1
Ia t 2itdt 2i dt 3t dt 4it dt
3
2
2i .
0 0
b) Para la trayectoria b podemos parametrizar z de la forma
z t t 2it2 , t:01.
Entonces, dz dt 4it dt, con lo cual

1
Ib t 2it2 dt 4it dt
3
2i .
0 2
FCFM 19 U de Chile
c) En el tercer caso contemplamos dos segmentos. En el primero de ellos hacemos z t t, (dz dt),
con t : 0 1. En el segundo podemos hacer z t 1 it, (dz idt), con t : 0 2. De esta forma,
1 2
Ic tdt 1 iti dt
3
2
2i .
0 0
Los pasos intermedios se verifican trivialmente.
dz
ii.- Calculemos γ z para γ una trayectoria circunferencial cerrada en torno al origen.
En este caso los puntos z en la trayectoria están dados por z φ Reiφ , (dz Reiφ i dφ), con
φ : 0 2π. Ası́,
2π
Reiφ i dφ
dz
z
Reiφ
2iπ .
0
γ

Este resultado permite el cálculo de γ dz
z para cualquier trayectoria que encierre el origen. Para ello considére-
se el trayecto de la derecha de la Fig. (1.10) Notar que la trayectoria cerrada compuesta por los tramos a, b,
b
c
d a
a
Fig. 1.10: Trayectoria evitando la singularidad en el origen.
c y d no encierra singularidad alguna. Además, cuidamos que c corresponda a una circunferencia concéntrica
al origen. Por lo tanto,
dz
z
0.
a b c d
Al hacer los tramos paralelos b y d infinitamente próximos, 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
z
dz
z
2iπ .
γ c
Resumiendo,
dz
z
2iπ
0
si γ encierra el origen
si γ no encierra el origen
γ
1.8. Fórmula integral de Cauchy
El siguiente teorema (de Cauchy) es de gran trascendencia en el estudio de funciones analı́ticas. En éste
se establece que si f : C C es analı́tica sobre y dentro de un contorno simple cerrado Γ, con z un punto
U de Chile 20 FCFM
en el interior de Γ, entonces
f z
f z
1
z z
dz
2πi
Γ
Para demostrar este teorema podemos hacer uso nuevamente de la Fig. (1.10), donde se construye una
trayectoria cerrada que excluye al punto z , ubicado al centro de la circunferencia pequeña de radio . Con
ello el integrando zf
zz es analı́tico dentro de la trayectoria cerrada y se aplica el teorema de Cauchy-Goursat:

f z dz
z z
0
a b c d
Al hacer los tramos b y d infinitamente próximos, las integrales

(recorridas en sentidos opuestos) se cancelan
pues los integrandos coinciden en el lı́mite. En tal caso a Γ , con lo que

f z dz f z dz
z z

c z z
Γ

Necesitamos evaluar c en el lı́mite 0. Parametrizando (en sentido horario), z φ z
iφ
e (dz
e iφ i dφ), con φ : 0 2π, obtenemos
2π
i f z e iφ dφ .
c 0

Puesto que f es contı́nua, entonces f z e iφ
f z cuando 0. Por lo tanto c 2iπf z.
Sustituyendo es evidente
f z
f z
1
2πi z z
dz.
Γ
Este resultado se extiende a las derivadas de una función analı́tica. Para ello hagamos un cambio de notación.
Primero z ξ, y luego z z, con lo cual

f ξ
f z
1
2πi ξ z
dξ .
Γ
Aceptando que la derivada de la integral es la integral de la derivada, es inmediato observar

f
n z
dn
1 f ξ dξ
dz n 2πi ξ z
Γ
n
2πi dz n ξ z f ξ dξ
1 d 1
Γ

2πi ξ n!z n 1 f ξ dξ
1
1.9. Sucesiones y series
Un tema de bastante importancia en el estudio de funciones de variable compleja es su desorrollo en

series de potencias. Siendo éste un tema sumamente amplio, nos limitaremos a resumir sólo algunas nociones
básicas.
FCFM 21 U de Chile
Consideremos la sucesión infinita de números reales o complejos w1 , w2 , w3 , . . . y construimos la suma

parcial de k términos,

k
Sk wn .

n 1

Decimos que la serie S n1 wn es convergente si S lı́mk Sk existe, vale decir, es finito. En relación
a las caracterı́sticas de convergencia de las series, se definen dos tipos:

a) Series absolutamente convergentes, cuando
n 1 wn es convergente; y

b) Series condicionalmente convergentes, cuando wn converge pero n1 wn diverge.
n 1
En relación a criterios para examinar la convergencia de una serie mencionamos tres de ellos.
1. El test de comparación, que consiste en descomponer los elementos dela sucesión en sus partes
real e imaginaria, wn un ivn . Se analizan separadamente
v , y suponemos que
n1 u n y n1 n
u
n 0 y vn 0. Si además, una serie conocida n1 a n es convergente, con un
an n, entonces
n1 u n es convergente. Un criterio análogo es utilizado para examinar la convergencia de la parte
imaginaria.
2. El test del cuociente, que consiste en construir el cuociente ρn wn 1 wn . Definamos además
R lı́mn ρ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 α lı́mn wn 1n . Si α 1, entonces la serie es convergente;
si α 1 la convergencia queda indeterminada; si α 1 la serie diverge.
Un ejemplo simple y de mucho interés consiste en la serie geométrica defininda por
Sn 1 z z2 zn 1
.
Es directo verificar el siguiente resultado exacto
11zz
n
Sn , z 1 .
Puesto que lı́mn z n 0 para z 1, entonces
S 1 1 z .
Esta expresión cerrada para la suma de infinitos términos se obtiene suponiendo z 1. Más alla de si
existe una expresión 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
sector delimitado por z 1 se le denomina cı́rculo de convergencia.
La extensión de series en un sentido general a lo que denominaremos serie de funciones es relativamente

simple. En este caso consideramos la secuencia de funciones w1 z , w2 z , . . . y definimos

n
S n z wk z .

k 1
U de Chile 22 FCFM
Definimos además
f z lı́m Sn z .
n
Esta serie es uniformemente convergente en la región anular a z b si 0 N : n N
f z Sn z . Al analizar la serie geométrica y denominando f z 11 z ,
f z SN z 1z z .
N
Buscamos N para el dado y obtenemos
N ln 1z z .
1.10.
Series de Taylor y de Laurent
Cuando una función es analı́tica dentro de un cı́rculo centrado en un punto z , entonces es factible
expandir tal función en serie de potencias de z z . A esta expansión se le reconoce como serie de
Taylor. Concretamente,

f
nz
f z f z f z z z z z n .

n0
n!
La demostración de este teorema es bastante directa si consideramos la fórmula integral de Cauchy para
una trayectoria circunferencial C centrada en z , como se ilustra en la Fig. (1.11). En tal caso aplicamos
Γ
z
zo ξ
Fig. 1.11: Trayectoria circunferencial C en torno a z .
directamente
f ξ dξ
f z
1
ξz
.
2iπ
C
Reagrupando los términos en 1ξ z tenemos
1
ξz
1
1 1
ξ z z z ξ z 1 χ ,
con
z z
χ χ 1.
ξ z
,
FCFM 23 U de Chile
La propiedad χ 1 es evidente

puesto que ξ está en el contorno del cı́rculo, mientras que z está al interior.
Ası́ entonces, 11 χ n0 χn , que al combinar con las tres expresiones anteriores conduce a

z z n

f ξ dξ
2iπf z

ξ z n0 ξ z f ξ dξ n0z z ξ z n 1 .
1 n
C C
Utilizando la fórmula integral de Cauchy para la derivada, válida si f es analı́tica, resulta evidente

f
nz
f z
z z n ,

n0
n!
la serie de Taylor de f en torno a z .
La expansión de Laurent no tiene contraparte en variable real, permitiendo la expansión en serie de

potencias en regiones anulares en cuyo interior la función es no analı́tica. Consideremos γ y Γ dos cı́rculos
concéntricos de radios r y R, respectivamente. Ambos están centrados en z , con r R, como se ilustra
en la Fig. (1.12). Sea f : C C analı́tica en la región anular S comprendida entre γ y Γ. Entonces, para
z
η
zo ξ
γ
Fig. 1.12: Sector anular comprendido entre γ y Γ, concéntricas en z .
todo punto z S, f z está dada por

f z an z z n
bn

n 0 n1
z z n ,
donde

f ξ dξ
an 1
2iπ ξ z n 1 ,
Γ

bn 1
2iπ
η z n 1
f η dη .
γ
Para demostrar este resultado recurrimos nuevamente a la fórmula 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 Γ, además de dos tramos paralelos muy próximos entre sı́. La analiticidad de f z
dentro de la trayectoria escogida permite el uso de la integral de Cauchy,

f ξ dξ f η dη
2iπf z .
Γ ξz γ ηz

0
Cuando los tramos ‘ ’ y ‘’ se hacen infinitamente próximos, la suma de la integrales se cancela y
podemos escribir
f ξ dξ f η dη
f z 2iπ
1 1
2iπ Γ ξ z γ ηz
.
U de Chile 24 FCFM
11111
00000
00000
11111 (+)
00000
11111
00000
11111
00000
11111
γ 11111
00000 (−)
Fig. 1.13: Trayectoria cerrada que excluye singularidades.

Se ha antepuesto signo ‘’ a la integral γ, pero se subentiende entonces que ésta se realiza en el sentido
positivo (antihorario).
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 geométrica, que involucren potencias de z z . En esa lı́nea, es fácil verificar
que

η z n
η z n
1
1
ηz z z n0 z z n 1
.
n0
z z
Por otro lado ya obtuvimos

z z n ,
ξz

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

f ξ dξ

f z
ξ z n 1 z z n0 η z f ηdη z z n 1 .
1 n n 1
2iπ n0
Γ γ
De esta expresión resultan evidentes los coeficientes an y bn de la serie de Laurent.
A modo de ilustración (trivial) busquemos la serie de Laurent para f z 1z 1 en torno a z 1.

Los coeficientes an y bn se deteminan mediante integración directa en torno a z 1. Comencemos por an ,

f ξ dξ
an
1
2iπ ξ 1n 1
.
Γ
Parametrizamos: ξ 1 ρeiφ , (dξ ρeiφ idφ), φ : 0 2π f ξ e iφ ρ

2π
an 2πρ1n 1 e
dφ 0 .
i n 1 φ
0
Este último paso es evidente porque n 0. Calculemos ahora los coeficientes bn :

bn η 1n 1 f ηdη
1
2iπ
γ
Parametrizamos nuevamente: η 1 ρeiφ , (dη ρeiφ idφ), φ : 0 2π f η e iφ ρ

2π
bn 2π1 ρn 1
ei
n dφ .
1 φ
0
FCFM 25 U de Chile
En este caso n 1. Cuando n 1 se obtiene directamente b1 1. De igual forma se verifica fácilmente

que bn1 0. Ası́ entonces la serie de Laurent para f z 1z 1 es la misma función, algo totalmente
previsible.
Como en la ilustración anterior, las series de Laurent se pueden aplicar en torno a puntos singulares. En
particular, si z es una singularidad aislada, entonces podemos expandir

f z an z z n
z z z n .
b1 bn

n 0
z
fP
La contribución fP z se denomina parte principal de f en z . En relación a esta expansión se definen las

siguientes denominaciones.
Si fP z consta de sólo el primer término b1 z z , entonces z es un polo simple de f .
Si fP es truncada en n m, entonces f tiene un polo de orden m en z .
Si fP z consta de infinitos términos entonces z es una singularidad escencial.
Una singularidad es removible cuando f z está indefinida pero lı́mzz f z existe. Por ejemplo,
f z sin z z, y g z ez z 1z 2 tienen singularidades removibles en z 0.
1.11. Teorema de los residuos
Sea f z una función meromorfa en sobre y dentro de una trayectoria cerrada C. Nos planteamos el
cálculo de la integral
f z dz .
C
Supongamos que dentro de C hay polos. Lo que hacemos es construir una trayectoria cerrada que siga el
contorno C, con eventuales virajes dirijidos hacia los polos, aislándolos y retornando por el mismo trayecto.
Esto es posible si la función es continua en todo el trayecto. Las integraciones de ida y vuelta en los tramos
k k
Fig. 1.14: Trayectoria cerrada excluyendo los polos de una función meromorfa.
hacia los polos se cancelan. Si denominamos γk a la trayectoria cerrada que enlaza al k ésimo polo, entonces

f z dz f z dz f z dz 0
C γ1 , γk ,
U de Chile 26 FCFM
De aquı́ obtenemos

f z dz f z dz
C k γ
k
donde hemos omitido indicar el sı́mbolo en las integrales de la derecha. Abordamos ahora el cálculo de
γk f z dz, encerrando el k ésimo polo que suponemos de orden m. Definamos entonces
φk z z zk m f z ,
Si f es expandida en serie de Laurent en torno a zk , entonces
lı́m φz bm;k ,

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

φk z dz
m 1 zk , (por Cauchy).
f z dz
z zk m m 1! φ
2iπ
γk γk
Definiendo
Res f zk
1
m 1 zk ,
m 1! φ
obtenemos
f z dz 2iπ Res f zk ,

γk k
el denominado teorema de los residuos. Para los polos de primer orden se tiene
Res f zk lı́m z zk f z ;

z zk
en el caso de los polos de segundo orden
d
Res f zk lı́m
zk dz z zk f z .
2
z
El teorema de los resı́duos es particularmente útil para el cálculo de integrales definidas cuyos integrandos
no cuenten con primitivas. Examinemos algunos casos tı́picos.
2π
1. Integrales del tipo I1 0 F sin φ, cos φ dφ
Si hacemos z eiφ , (dz eiφ idφ), entonces podemos escribir
z2 1 z2 1
sin φ , cos φ .
2iz 2z
La integral se reduce entonces al cálculo, a lo largo de la circunferencia z 1, de

dz z 2 1 z 2 1
I i F , .
z 2iz 2z
Calculemos, por ejemplo,
2π
I dφ
b cos φ
.
0
FCFM 27 U de Chile
iy
|z|=1
Polos para b=1
Polos (conjugados) para b<1

Polos para b>1
Fig. 1.15: Ubicación de las raices de z 2 2bz 1 0.
Haciendo las sustituciones descritas se obtiene

2i z 2 dz
I
2bz 1
.

Los polos del integrando son z b b2 1, ilustrados en la Fig. (1.15). Se puede verificar que sólo
en el caso b 1 uno de los polos, z b b2 1, se localiza al interior de la circunferencia. Para
el caso b
1 los polos yacen sobre la trayectoria, situación que obviaremos en este caso. Evaluemos
entonces el residuo.
Resf z z z
z z z z z z z z 2 b2 1
1 1 1 1
Con ésto la integral buscada resulta

I 2π .
b2 1
P
x
2. Integrales del tipo I2 Q
x dx
Las integrales de este tipo resultan bastante simples si cambiamos x z. La trayectoria a considerar es
una semicircunferencia ( o ) cerrada por el eje real. Denotemos P xQx por f x. Examinamos
entonces R
f z dz f xdx f z dz 2iπ Res f zj .

R
La integral sobre ‘’ se analiza en algún detalle. Consideramos z Reiφ , (dz izdφ), φ : 0 π.
Entonces, π
f z dz i z f z dφ .
0

Si z f z 0 cuando R , entonces f z dz 0. Bajo este supuesto entonces,

f xdx 2iπ Res f zj .

Los residuos en este caso son los ubicados en el semiplano complejo superior.
U de Chile 28 FCFM
Consideremos un ejemplo elemental:

dx
.
1 x2
Examinamos
f z
dz
,
1 z2
Sus polos son z i, pero sólo z i yace en el semiplano superior. Para el residuo evaluamos z i
en
Res f z z i z 1 i 2i1 .
dz
1 z2
Con ello,
dx
2
2iπ π .
1
1 x 2i


3. Integrales del tipo I3 Rx
cos ax
sin ax
dx
Para este tipo de integrales procedemos en forma similar a como se hizo en el caso anterior. Depen-
diendo de cual sea la función, cos ax o sin ax, consideramos la parte real o imaginaria de Rxeiax .
Luego extendemos al plano complejo, Rz eiaz , e integramos sobre una semicircunferencia cerrando
por arriba o por abajo. A este punto hay que tener precaución por donde cerrar, puesto que el signo de
a es determinante para la convergencia de la integración sobre la semicircinferencia cuando R .
Hay que examinar caso a caso.
Ilustramos con el siguiente ejemplo,

eikz
cos kx
1 μ2 x2 2 Re 1 μ2 x2 2
.

Debemos decidir si cerramos por arriba () o por abajo ( ). Para ello analizamos la exponencial
evaluada en la semicircunferencia, z Rcos φ i sin φ:
eikR
cos φ i sin φ eikR cos φ e kR sin φ .
eikz
Cuando R la exponencial
tiende a cero sólo para 0 φ π, motivo por el cual cerramos por
arriba puesto que ası́ 0 queda garantizado. Consecuentemente,

eikz
1 μ2 x2 2 2iπ Res f zj .
k
Los ceros del denominador son z iμ, de segundo orden, pero sólo hay que considerar z iμ.
Evaluamos para el residuo

eikz
d
z iμ 1 iμz 21 iμz 2
2
,
dz z iμ
y se obtiene para la integral

I π
1
k
e .
k μ
2μ μ
FCFM 29 U de Chile

4. La integral I4 e
ikx bx2
dx
Esta integral es muy recurrente en el estudio ondulatorio de paquetes o pulsos gaussianos. Su carac-
terı́stica es que el integrando tiene una componente imaginaria (ikx) en la exponencial. Formamos
primero un cuadrado de binomio para x,
2
k2
ikx bx b x
ik
2
.
2b 4b
Ello permite escribir

e e bx 2b dx .
2
k2 4b ik
I4

I
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
c R
−R
d b
−R−ik/2b a R−ik/2b
Fig. 1.16: Trayectoria rectangular cerrada para abordar la integral gaussiana.

e bz 2
dz 0,
Γ

debido a que el integrando es analı́tico al interior de Γ. Por lo tanto, a b c d
0. Observamos
además lo siguiente:
La integración en el trayecto a representa I en el lı́mite R . En efecto, parametrizando
z x ik 2b, (dz dx), con x : R R, obtenemos
R
e bz 2
dz e
b x ik 2b 2 dx I .
a R
La integración 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,
R
e bz dz e bx dx e bx
2 2 2 π
.
c R b
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,
0 0
bz 2
e
2 idt i e bR2
ebt dt 0
2
b R it 2iRbt
e dz e
b k b k b
U de Chile 30 FCFM
El lı́mite tomado en el último paso es directo al analizar el módulo de la integral:

0
0

0

dt
2iRbt bt2 kekb
dt
ebt dt
2 2
2iRbt bt
e e
k b kb
k b b
La última desigualdad surge de tomar el máximo del integrando y multiplicarlo por el ancho del
intervalo. Este valor resulta independiente de R, de modo que su contribución se anula al ser

multiplicada por e bR y tomar R . Un procedimiento análogo se emplea para examinar d .
2
De las observaciones anteriores se obtiene

I 0
π
00 I4 π
e .
k2 4b
b b
1.12. La parte principal de una integral
Hasta ahora hemos evitado la presencia de singularidades en el eje de integración, usualmente en el eje
real. Consideremos la integral

f x
I
x
dx .
x
Ciertamente al pasar el integrando por x nos encontramos con una singularidad que hemos de evitar, en
particular si f x 0. A fin de darle una significación a la integral de arriba, definámosla como el valor
lı́mite
x
f x f x f xdx
I lı́m dx P
0 x x
dx
x x x x x
.
A esta cantidad se le denomina parte principal de f y veremos una forma sistemática de obtenerla mediante
integración en el plano complejo.
Supongamos que podemos extender la función f x al plano complejo mediante una sustitución simple
f x f z . Tal sustitución define una función 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 R
Fig. 1.17: Trayectoria que excluye el polo en el eje real.
otra cerrada por arriba. Además, se incluye la integración en el eje real acercándose a x , lo que define la
FCFM 31 U de Chile
parte principal de la integral.

f z dz f xdx f z dz f z dz
z x
P
x x
γ z x Γ z x

2iπ Res zf zkx

k k

Si además, f z 0 sobre Γ, cuando R , entonces Γ 0. Falta evaluar γ , para lo cual parametri-
zamos z x eiφ , (dz eiφ idφ), con φ : π 0. Ası́, luego de sustituir y simplificar
0
i f x eiφ dφ .
γ π

Si f z es contı́nua en x , entonces al hacer 0 se obtiene γ iπf x . Combinando los resultados
anteriores obtenemos
f xdx
f zk
P
x x
iπf x 2iπ Res z x
k
k
Hay que tener presente que en esta versión se ha excluido x del contorno de integración. Además, f z 0
en la semicircunferencia superior cuando su radio R se hace infinito.

A modo de ilustración evaluemos la integral I sin xx dx. Recordando que sin x eix
e ix 2i, es fácil verificar que ix
iI
e
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. Además, eiz 0 sobre la
semicircinferencia superior, cuando R . En resumen,
ix
P
e dx
x
iπf 0 iπ ,
por lo que I π.
Un resultado importante de la discusión basada en la Fig. (1.17) está sintetizado en la identidad

f z dz f xdx
z x
P
x x
iπf x .
Sin embargo el término de la izquierda es el mismo si se cambia levemente la trayectoria de integración 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 f x idx f xdx
z x

x x i x x i
.
De esta forma,
f xdx f xdx
P iπf x .
x x i x x
Este resultado es abreviado usualmente mediante
1
x x i
P x 1 x ! iπδx x ,

con δ la función delta de Dirac a ser revisada más adelante.
U de Chile 32 FCFM
ιε
Fig. 1.18: Trayectorias equivalentes que evitan el polo.
1.13. Hojas y superficie de Riemann
compleja
Una clase especial de funciones de variable 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 éstas f z es multivaluada, vale decir, f toma valores diferentes al representar z r eiφ y cambiar
continuamente φ φ 2π.

Para fijar ideas consideremos f z z r eiφ2 f r, φ. Si bien φ π representan al mismo
z en el plano complejo, 1, al reemplazar en f r, φ obtenemos
f r, π
r eiπ2 i r ; f r, π
r e
iπ 2
i r .
Esto ilustra que f r, φ exhibe una discontinuidad en φ π.
Esta propiedad ilustra una caracterı́stica muy general para los ejemplos descritos en el párrafo anterior,
conduciendo a la definición 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
f z r eiφ f z r ei

φ 2π .
0 corresponde a un punto de rama.

En los ejemplos precedentes, z

Examinemos con más detención el caso f z z. Descomponiendo f u iv, con z r eiφ
(φ : 0 2π), podemos tabular el comportamiento radial de u y v. Obtenemos,
Tabla I.- ur, φ y v r, φ para distintos valores de φ.

0 π 2 π 3π 2 2π 5π 2 3π 7π 2 4π
ur, φ
r
r2 0 r2 r r2

0

r2
r
v r, φ 0

r2
r
r2 0 r2 r r2

0
Notar que si bién φ 0 y φ 2π representan el mismo complejo z, la raiz

z es distinta:
lı́m
z r lı́m
z r .
φ 0 φ 2π
FCFM 33 U de Chile
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
más claros indican mayor cercanı́a al ojo del observador. La discontinuidad de u se observa en la región de
mayor contraste claro/oscuro.
1 1
0.5 0.5
0 0
-0.5 -0.5
-1 -1
-1 -0.5 0 0.5 1 -1 -0.5 0 0.5 1
Fig. 1.19: Partes real (izquierda) e imaginaria (derecha) de

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 función 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 idénticas.

Resulta evidente entonces que, en general, la superficie formada por f z n z z 1n 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 función 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 función 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
una secuencia de n hojas queda definida por
!
! f r, φ φ : φ φ 2π
" f r, φ
!
φ : φ 2π φ 4π
f z ..
!
! .
!
#
f r, φ φ : φ 2 n 1 π φ 2nπ
La unión de estas hojas se realiza en los cortes. La unión de todas estas hojas conforma la superficie de
Riemann. En el caso de raices n-ésimas, el número 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 lnz 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 colección de infinitas hojas definen la superficie de Riemann. Lo interesante
es que esta construcción permite la continuidad de la función en toda la superficie, a pesar de que hayan
cortes.
-2
2
-1
1 0
1
-2
2 0 2
-1
1 0 -1
1
0 2 -2
2
-1
6
-2
2
-2
2 2
1.5
1 2
-4 0.5 1
0 0
-2 0
-1
0 -1
1
2 -2
Fig. 1.21: Reln z (izquierda), una (centro) y tres hojas (derecha) de Riemann para Imln 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 relación

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
A modo de ilustración, calculemos la integral

xp 1
dx ,
0 x2 1
con 0 p 2. Para evaluar esta integral consideremos la función de variable compleja
zp 1
f z
z2 1
Al ser p un real cualquiera entre 0 y 2, entonces la función resulta multivaluada. Al representar z ρ eiφ ,
con φ : 0 2π, esta función tiene un punto de rama en z 0 y exhibe un corte en el eje real positivo.
Estas consideraciones motivan examinar la trayectoria indicada en la Fig. (1.23). La trayectoria cerrada
ΓR
+i
Γr Γ(+)
corte
Γ(−)
−i
Fig. 1.22: Trayectoria cerrada para una integración sobre trayectoria cerrada evitado un corte.
está formada por cuatro curvas.

ΓR : circunferencia casi cerrada de radio R ( ). Se demuestra que en el lı́mite ΓR 0.
Γ
y Γ
: dos tramos rectos radiales muy próximos al corte, uno a cada lado de éste.

Γr : circunferencia casi cerrada de radio r, donde r 0. Se encuentra que Γr 0.
Podemos escribir
2iπ Resf zj .

ΓR Γin Γout Γr j
Los polos de f son i, que representamos consistentemente con la notación polar, vale decir
z1 eiπ2 , z2 e3iπ2 .
Para z z1 evaluamos el residuo:

p 1 p 1 p 1
z z1 z zz z z zz z z z1 z 2i1 z1p 1 12 z1p 12 eipπ2 .
1 2 2 1 2
Para z z2 evaluamos el residuo:

p 1 p 1 p 1
z z2 z zz z z zz z z z2 z 12 z2p 12 e3ipπ2 .
1 2 1 2 1
U de Chile 36 FCFM
La suma de los residuos,

Res 12 eipπ2 e3ipπ2 eipπ cos

pπ
2
.
k
Las integrales sobre los tramos radiales:
Para Γ
parametrizamos z ρei , (dz dρ ei ), con ρ : 0 . Entonces,

ρp 1 ei
p 1 i ρp 1
ρ2 e2i 1
e dρ
ρ2 1
dρ
Γ 0 0
Para Γ
parametrizamos z ρei
2π , (dz dρ ei
2π ), con ρ : 0 . Entonces,
0 p 1
ρp 1 ei
p
1 2π
i
2π
2ipπ ρ
ρ2 e2i
2π
e dρ e 2
dρ
Γ 1 0 ρ 1
Combinando los resultados anteriores se obtiene

p 1
1 e2ipπ ρρ2 1 dρ 2iπ eipπ cos pπ2
0
que luego de simplificar conduce a

pπ
ρp 1
ρ2 1
dρ π
2
cosec
2
.
0
1.15. Prolongación analı́tica
Como ya hemos visto, las funciones analı́ticas exhiben una serie de propiedades muy particulares, entre
las cuales resaltan que la integral sobre cualquier contorno cerrado es nula si éste 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 fórmula integral de Cauchy,

f ξ dξ
f z
1
ξz
dξ .
2iπ
Además de estos teoremas surgen otros que apuntan a la unicidad de las funciones analı́ticas. En otras
palabras, dada una función analı́tica f1 z definida sobre un dominio D1 " C, entonces de las infinitas
funciones analı́ticas definidas en D2 , sólo una de ellas, f2 z , empalma completamente con f1 en D1 D2 .
Este argumento permite la prolongación (o extensión) de cualquier función analı́tica a regiones en el plano
complejo que van más allá de su dominio original de definición.
Teorema: Sean f1 z , f2 z : C C, analı́ticas en una región 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 demostración de este teorema es
bastante simple. Si f1 z f2 z en una vecindad de un punto z S entonces también lo son todas sus
FCFM 37 U de Chile
S 11
00
00
11 x
11
00
x
00
11 x
R
Fig. 1.23: Expansiones de Taylor desde los bordes de los discos de convergencia.
derivadas en z . Ası́, ambas conducen a idénticos los coeficientes para sus respectivas series de Taylor. Si ellas
tienen radio de convergencia R1 , entonces ambas conducen a idénticos 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 (idénticas). Este procedimiento se repite, tomando puntos cerca del borde de los discos de
convergencia, hasta cubrir toda la región S.
Un corolario del teorema anterior es que el comportamiento de una función analı́tica en S " C está com-
pletamente determinada por su comportamiento en una vecindad en torno a cualquier punto regular en S.
Por lo tanto, una función analı́tica puede ser extendida más allá de su dominio de definición, siendo ésta
prolongación única. Tal construcción se denomina extensión analı́tica o prolongación analı́tica. Ilustremos
un par de ejemplos.

Consideremos f1 z n 0 z n . Esta expansión está definida para z 1, caso en que converge a
f1 z 11 z . Para z 1, f1 queda indefinida. Por otro lado consideremos g z 11 z , función
analı́tica definida para todo z 1. Claramente g z f1 z para todo z 1. Por lo tanto, g z es la
prolongación analı́tica de f1 en la región z 1.

Otro ejemplo ilustrativo es el siguiente. Consideremos f1 z 0 e zt dt , expresión definida z
S1 z : Re z 0, región en la cual f1 z 1z. Bajo esta definición f1 z queda indefinida para
Re z
0. Por otro lado, consideremos la expansión
iy
Re{z}>0
x
1111
0000
0000
11110000
1111
0000
1111
0000
1111
00001111
11110000
0000
1111 |z+i|<1
0000
1111
0000
11110000
1111
00001111
11110000
0000
1111
Fig. 1.24: Regiones de definición de f1 y f2 . En el semicı́rculo achurado f1 f2 .
z

n
f 2 z i
i
,
n 0 i
expresión convergente a 1z en la región S2 z : z C # z i 1. Podemos decir entonces que f1 z

es la prolongación analı́tica de f2 z en S1 , del mismo modo que f2 es la prolongación analı́tica en S2 de
U de Chile 38 FCFM
f1 z .
Teorema: Sean f1 analı́tica en S1 y f2 analı́tica en S2 . Sea además B la frontera común de S1 y S2 . Si

f1 f2 en B, con f1 contı́nua en S1 B y f2 contı́nua en S2 B, entonces

f z
f1 z S1 B
f2 z S2 B
es analı́tica en S1 S2 B. Con ello, f1 es la prolongación analı́tica de f2 en S1 y vice versa.
La demostración 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 analı́tica en D. Consideremos entonces una trayectoria
arbitraria que pasa por las dos regiones S1 y S2 , como se ilustra en la Fig. (1.25). Demostraremos
cerrada,
que C f z dz 0 para C arbitraria. Puesto que f1 y f2 son contı́nuas en el borde, es válida la siguiente
S2
C
B C2
C1
S1
Fig. 1.25: Una trayectoria arbitraria pasando por S1 y S2 .
descomposición

f z dz f1 z dz f2 z dz .
C C1 C2
que f1 y f2 son analı́ticas en sus dominios respectivos, las integrales sobre C1 y C2 son nulas, por lo
Puesto
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 reflexión de Schwartz que prescribe una forma
de extender analı́ticamente una función definida en una región del plano complejo. Denotemos por C el
semiplano complejo superior y por C el semiplano complejo inferior. Sea f : C R C, analı́tica. Si
además f z f z para z R, entonces la función g : C C, definida por
g z f z ,
es la prolongación analı́tica de f en C . Una constatación directa de este corolario es verificando que la

condición de Cauchy-Riemann es cumplida por g. Descomponiendo f z ux, y iv x, y , y g z
ax, y ibx, y , entonces g z f z
ax, y ux, y , bx, y v x, y .
Resulta directo demostrar que a x b y, y que a y b x.
FCFM 39 U de Chile
1.16. Relaciones de dispersión
La condición de Cauchy-Riemann establece relaciones diferenciales (locales) entre las partes real e ima-
ginaria de una función analı́tica. En contraste, las relaciones de dispersión permiten establecer relaciones
integrales (globales) entre ellas. A tales relaciones también se les reconoce como representaciones espec-
trales, relaciones de Kröning-Kramers o transformaciones de Hilbert. Consideremos χω una cantidad
fı́sica analı́tica en el semiplano complejo superior. Podemos suponer que lı́mω χω 0. Consideremos
entonces la integral sobre una semicircunferencia (infinita) C abarcando el semiplano complejo superior. Si
ω es real, entonces

χω dω χω dω
ω ω
P iπχω
C
ω ω
0
Por lo tanto,
χω dω
iπχω P
ω ω
.

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

Im χω dω
Re χω
1
P
ω ω
;
π

Re χω dω
Im χω P
1
ω ω
.
π
1.17. Método del descenso más empinado (steepest descent)
Este método es particularmente útil para obtener formas asintóticas de funciones expresadas como
integrales en el (o prolongables al) plano complejo. Consideremos la integral

I λ eλf
z g z dz , (1.17.4)
C
con f y g funciones analı́ticas, y λ una variable real, grande y positiva. Si denotamos f u iv, entonces
eλf
z eλucosλv i sinλv (1.17.5)
Al ser λ grande, entonces una pequeña variación de v hace que las funciones seno y coseno oscilen rápida-
mente. Puesto que el integrando es analı́tico, 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 deformación de C y para el cual f z 0. Puesto que f es analı́tica, entonces tanto u como v
son armónicas
2 u 2 u 0 2 v 2 v 0
x2 y2 x2 y2 (1.17.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
1
f z f z f z z z 2 . (1.17.7)
2
U de Chile 40 FCFM
u v
u ’steepest’ v constante
Plano Complejo Plano Complejo
Fig. 1.26: Mantos ux, y y v x, y en torno al punto silla.
Denotamos
z z reiθ
$ f z f z r2 R ei
2θ φ .
f z 2Reiφ
(1.17.8)
Separando por componentes,
Re f z f z r2 R cos2θ φ ,
Im f z f z r R sin2θ
2
φ . (1.17.9)
Para que la parte imaginaria sea constante se debe cumplir
φ nπ n 0, 1, 2, 3 θn nπ φ
2θ . (1.17.10)
2 2
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 , sólo aquellos
para n 1 (C1 ) y n 3 (C3 ) ux, y pasa por un máximo local. Ası́, examinamos el integrando de I λ en
2
f(z)−f(z o)=−t < 0
C
1
C
3
Fig. 1.27: A lo largo de C1 C3 ux, y pasa por un máximo.
las vecindades de z , pasando por los trayectos C1 y C3 . Para aquellos z en C1 y C3 definamos
f z f z rR2 t2 12 z z 2 f z . (1.17.11)
Por lo tanto eλf

z % eλf
z e λt . Puesto que λ es grande, entonces e λt es muy aguzada, lo que permite
2 2
contener la integración a una pequeña región cerca de z , a lo largo de C1 C3 . Denotando C aquel

trayecto que consiste en una deformación de C que pasa por z siguiendo C1 C3 , entonces aproximamos
la Ec. ( 1.17.4),
I λ % eλf
z t2 g z dz eλf
z e λt2
g z dz . (1.17.12)
C C
FCFM 41 U de Chile
Buscamos ahora una correspondencia (parametrización) entre t y z. Combinando Ec. ( 1.17.8) para r y Ec.
( 1.17.11) para t es fácil verificar que z z t Reiθ . Conviniendo t 0 en C1 , con 0
θ1 π,
entonces z C3 queda naturalmente representados por t 0. Ası́,
C1
t>0
z(t)
zo
θ
e iθ
t
C3 t<0 z=z o+
R
Fig. 1.28: Parametrización z t pasando por z .
z t
iθ1
z eiθ1 dz
e
dt . (1.17.13)
R R
Sustituyendo en Ec. ( 1.17.12),

I λ % e
t
iθ
g z eiθ1 dt .
e 1
λf z λt2
e (1.17.14)
R R
Esta forma aproximada de I λ involucra integrales explı́citas en t. Si expandimos g z en serie de Taylor en
torno a z , entonces las integrales en t se reducen a integrandos del tipo tn e λt , conducentes a integrales
2
perfectamente calculables (notar que para n impar las integrales en t se anulan). Al orden más bajo en esta
expansión obtenemos
λf
z 2π eiθ1 g z
I λ % e , (1.17.15)
λ f z
donde hemos sustituido 2R por f z y utilizado

dt
λt2 π
e . (1.17.16)
λ
Ilustremos con un ejemplo clásico. La función gamma está definida por

I α Γα 1 e z z α dz .
0
Buscamos una forma asintótica (α grande) para esta integral. Para aplicar el método recién visto al integrando
le damos una forma del tipo eλf g. Se puede verificar fácilmente que
e z
zα eα
ln z ,
z α
con lo cual f z ln z z α; g z 1. Entonces,
Buscamos z tal que f 0:

f z α1 f z 0 para z α
1
z
U de Chile 42 FCFM
Evaluamos f z en z ,
f z f z
1 1
z2 α2
Identificamos φ:
f z φ π
1 iφ
e
α2
Evaluamos eiθ1 , donde θn nπ2 φ2. Para φ π y n 1 tenemos θ1 0 eiθ 1. 1
Sustituyendo los resultados parciales

$

I α % e
1 ei0 2πα eα
ln α .
α ln α 1 2π 1
α1α2
De esta forma se obtiene la reconocida aproximación de Stirling para α ≫ 1,

Γα 1 % 2πα eα
ln α 1 .
En particular, si α es entero (N ), entonces Γα 1 N !, con lo cual
ln N ! % N ln N N .
FCFM 43 U de Chile
U de Chile 44 FCFM
Capı́tulo 2
Coordenadas curvilı́neas ortogonales
Más adelante nos avocaremos al estudio de ecuaciones del tipo ∇2 Φ 0, ∇2 Φ k 2 Φ 0, etc. En mu-
chos casos es posible reducirlas a ecuaciones diferenciales ordinarias, conducentes a expansiones en términos
de funciones especiales. El grado de convergencia de estas expansiones está en gran medida condicionada
a la afinidad entre las simetrı́as del problema y la base de funciones especiales a expandir. Resulta adecua-
do entonces hacer una breve revisión 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 parámetros geométricos, x, y, z , que denotaremos genéricamente
por x1 , x2 , x3 . El mismo punto P puede ser descrito por otro conjunto de parámetros tales como r, θ, φ,
ρ, φ, z , etc. Denotaremos a cualquiera de estos por u1 , u2 , u3 . Ası́ como las coordenadas rectangula-
res y esféricas, o rectangulares y cilı́ndricas pueden relacionarse entre sı́, suponemos relaciones funcionales
x1 , x2 , x3 u1 , u2, u3 , es decir
x1 f1 u1 , u2 , u3 , x2 f2 u1 , u2 , u3 , x3 f3 u1 , u2 , u3 .
Además, suponemos que es posible representar la inversa, vale decir
u1 F1 x1 , x2 , x3 , u2 F2 x1 , x2 , x3 , u3 F3 x1 , x2 , x3 .
Para que estas transformaciones sean invertibles exigimos
1
x x2 x3
u1 u1 u1

1
J ux2 ux2 x3 0
2
u2

x1 x2 x3
3
u
3 u u3
Consideremos un punto P u , u , u . Al variar arbitrariamente u1 y u2 , manteniendo u3 fijo, se genera una
1 2 3
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 lı́neas donde
estas se intersectan se denominan lı́neas coordenadas. Las tangentes a las lı́neas coordenadas conforman
los ejes coordenados. Si la orientación de las superficies coordenadas cambia de punto a punto, entonces
nos referiremos a coordenadas curvilı́neas generales. Si estas superficies son ortogonales en todo punto
P entonces hablaremos de coordenadas curvilı́neas ortogonales.
45
z z
y = Cte
θ = Cte
z = Cte
φ = Cte
y y
x x
Fig. 2.1: Superficies coordenadas en coordenadas rectangulares y esféricas.
2.2. Coeficientes métricos
Consideremos un vector r posicionado un punto P en el espacio. Un desplazamiento infinitesimal de
tal punto queda dado por
dr ur1 du1 ur2 du2 ur3 du3 urj duj

ds
Exigimos que el escalar dr dr ds2 sea invariante, vale decir, que su magnitud no dependa del sistema
de coordenadas.
Notar que r uj es tangente a la lı́nea uj , vale decir, aquella lı́nea desde el punto P que surge de
incrementar uj manteniendo el resto de las coordenadas jijas. Definamos
aj urj êj aaj

j
Claramente entonces,
2
u
3 e3 e2
u
e1
u1
Fig. 2.2: Vectores unitarios asociados a coordenadas ortogonales.

ds2 a
i aj du du
i j
gij dui duj .
i,j
gij i,j
U de Chile 46 FCFM
A las cantidades gij ai aj , se les denomina coeficientes métricos y caracterizan la naturaleza de las
coordenadas.
Un sistema se dice ortogonal cuando los êi son ortogonales entre sı́. En tal caso los coeficientes gij
conforman una matriz diagonal, i.e. gij gii δij . En tal caso se tiene
ds2 ds2 g11

du1 2 g22 du2 2
g33 du3 2 .

ds1 2
ds2 2
ds3 2
Esta relación exhibe la misma estructura que el teorema de Pitágoras. Observamos que los elementos de
longitud dsi escalan con dui via un factor de escala hi ,
hidui gii dui ;

dsi (i=1,2,3).
En coordenadas rectangulares, g11 g22 g33 1.
Para obtener los coeficientes métricos de un cierto juego de coordenadas supongamos que las coordena-
das cartesianas xi dependen de coordenadas ortogonales uj . Vale decir, xi xi u1 , u2 , u3 , para i 1, 2, 3.
Podemos escribir entonces,
%& '& '( & '

xk
xk

xk xk
ds
2
dx dx
k k i j
dui duj
k k i
u i
du
j
u j
du
ij k
u i uj
gij du du i j
ij
Considerando variaciones arbitrarias dui y duj , entonces identificamos

xk xk .
gij ui uj
k
2.3. Elementos geométricos
La determinación de los coeficientes métricos permite la construcción de elementos de lı́nea, superficie y

de volumen asociados a algun juego de coordenadas. En general, podemos definir éstos elementos mediante
dτ
dσ
ds
Fig. 2.3: Elementos de longitud, superficie y de volumen.
dsi hi dui elemento de lı́nea

dσij hi hj dui duj elemento de área
dτ h1 h2 h3 du1 du2 du3 elemento de volumen
FCFM 47 U de Chile
Las conocidas expresiones para el gradiente, divergencia y rotor en coordenadas curvilı́neas surgen de estas
representaciones.
Antes de continuar revisemos los resultados que arrojan las definiciones anteriores para las coordenadas
cilı́ndricas. En tal caso las coordenadas x, y, z se relacionan con ρ, θ, Z mediante
x1 x ρ cos φ
x2 y ρ sin φ
x3 z Z
De éstas se obtienen

ρ x2 y 2
φ arctany x
Z z
Calculamos primero hρ , hφ y hZ . Para determinar hρ recordamos

xk 2
h2ρ ρ .
k
Es fácil verificar x ρ cos φ; y ρ sin φ; y z ρ 0, con lo cual hρ 1. En forma análoga se

obtienen hφ ρ, y hZ 1. De esta forma resulta directo
ds2 dρ2 ρ2 dφ2 dZ 2 .
2.4. Operadores diferenciales
Los coeficientes métricos permiten el cálculo directo de los operadores ∇ , ∇ , ∇ y ∇2

en cualquier juego de coordenadas ortogonales. Los siguientes resultados los justificaremos más adelante.
Para un campo escalar Φ, su gradiente está dado por
∇Φ
ê1 Φ ê2 Φ ê3 Φ
h1 u1 h2 u2 h3 u3 .
Para un campo vectorial A A1 ê1 A2 ê2 A3 ê3 , entonces

∇A
1 A1 h2 h3 h1A2 h3 h1 h2 A3 ;
h1 h2 h3 u1 u2 u3

h1 ê1 h2 ê2 h3 ê3

∇A 1 2 3 .
1
h1 h2 h3

h1 A1 h2 A2 h3 A3
U de Chile 48 FCFM
Para un campo escalar o vectorial χ

∇2 χ
1 h2 h3 χ h3 h1 χ h1 h2 χ
h1 h2 h3 u1 h1 u 1 u 2 h2 u 2 u 3 h3 u 3
A modo de ilustración, calculemos el laplaciano en coordenadas cilı́ndricas. En este caso vimos que
h1 hρ 1; h2 hφ ρ; y h3 hZ 1, con lo cual h1 h2 h3 ρ. Sustituyendo,

1 1 2 χ 2 χ .
∇ χ
2 χ
ρ ρ ρ ρ2 φ2 Z 2
ρ
2.4.1. El gradiente
Consideremos un campo escalar φ φu1 , u2 , u3 y calculemos su variación bajo variaciones arbitrarias
du , du2 y du3
1
φ
dφ 1 du1
φ du2 φ du3 .
u u2 u3
Estas mismas variaciones en las coordenadas definen un desplazamiento infinitesimal ds dado por
ds ê1 h1 du1 ê2 h1 du2 ê3 h1 du3 .
Definiendo convenientemente
1 φ 1 φ 1 φ
∇φ ê1
h1 u 1 h2 u 2 h3 u 3
ê2 ê3 ,
resulta evidente entonces que dφ ∇φ ds. De esta forma ∇φ se interpreta geométricamente como la
máxima variación de φ por unidad de desplazamiento. En efecto, podemos escribir
dφ ∇φ ds cos β ,
con β el ángulo entre ∇φ y la dirección del desplazamiento ds. Si se hace coincidir la dirección de ds con
la de ∇φ, entonces β 0 y dφMax ∇φ ds ∇φ dφdsMax .
2.4.2. La divergencia y el teorema de Gauss
La divergencia y el Teorema de Gauss están estrechamente relacionados. En efecto, consideremos un

campo vectorial A dado por
A A1 ê1 A2 ê2 A3 ê3 .
Supongamos además 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
dS dS
dS
A
dS 1 Σ1
Σ dS2
Σ2
Fig. 2.4: Integral sobre una superficie cerrada y su equivalente en dos contribuciones.
y otra sobre Σ2 . La unión de ambas reconstituyen la superficie original Σ y sus normales en la región de
contacto apuntan en sentidos opuestos, garantizando la cancelación de las contribuciones mutuas. Entonces,

Φ A dS A dS .
Σ1 Σ2
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,

Φ A dS A dS .
1
δτi
δτi
i Σi i Σi
En el último paso se ha introducido el elemento de volumen δτi de la i-ésima celda. En el lı́mite de celdas
infinitamente pequeñas tenemos
Φ ∇ A dτ ,

V Σ
donde hemos definido

1
∇ A lı́m A dS
δτ 0 δτ
δΣ
y denotado por V Σ el volumen contenido por la superficie Σ. En esta expresión δΣ denota una superficie de
tamaño infinitesimal en la ubicación dada por las coordenadas u1 , u2 , u3 . Con esta definición la divergencia
cuantifica el flujo por unidad de volumen de un campo vectorial.
Calculemos este lı́mite utilizando coordenadas curvilı́neas ortogonales. Para ello consideremos una celda
infinitesimal como la que se ilustra en la Fig. (2.5). La longitud de sus aristas son h1 δu1 , h2 δu2 y h3 δu3 ,
respectivamente, de modo que su volumen es δτ h1 h2 h3 δu1 δu2 δu3 . La integral de flujo sobre la
celda es una suma de seis contribuciones, una por cada cara del cubo:

6
A dS Ak δSk .
Σ
k 1
Sumemos el primer par de caras opuestas (la 1 según ê1 y la 6 según ê1 ). 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 área (vectorial) en la cara 1 es δS1 ê1 h2 h3 δu2 δu3 , mientras que en
la cara 6 es δS6 ê1 h2 h3 δu2 δu3 .
1 A1 δS1 A1 h2 h3 u δu δu2 δu3 1 1
6 A6 δS6 A1 h2 h3 u δu2 δu3 1
U de Chile 50 FCFM
u3
(−)
111111
000000 dσ 1
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111 u2
000000
111111
000000
111111
000000
111111
dσ1(+) 000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
u1
Fig. 2.5: Suma de los flujos en dos de las seis caras de una celda infinitesimal.
Sumando este par, dividiendo por el volumen y tomando el lı́mite δu1 0, obtenemos
A1 h2 h3 u δu A1 h2 h3 u 1 A1 h2 h3 .
1 1 1
h1 h2 h3 δu1 h1 h2 h3 u1
Un procedimiento análogo se hace al considerar las caras 2 : 5 y 3 : 4. Al sumarlas obtenemos para el volumen

∇A
1 A1 h2 h3 A2 h1 h3 A3 h1 h2
h1 h2 h3 u1 u2 u3 .
En el caso particular de las coordenadas rectangulares tenemos u1 x, u2 y, u3 z, h1 h2 h3 1.

Por lo tanto
∇A
Ax Ay Az .
x y z
Si el flujo neto por unidad de volumen es nulo, entonces todo el flujo entrante a una celda infinitesimal sale
de éste. Tales campos tienen divergencia nula.
2.4.3. El laplaciano
Se define el laplaciano como la divergencia del gradiente, vale decir,
∇2 ∇ ∇ .
Reemplazando las expresiones anteriores para la divergencia y el gradiente obtenemos

∇ χ
2 1 h2 h3 χ h3 h1 χ h1 h2 χ
h1 h2 h3 u 1 h1 u 1 u 2 h2 u 2 u 3 h3 u 3 .
Nuevamente, en el caso de coordenadas rectangulares obtenemos
∇2 χ
2 χ 2 χ 2 χ .
x2 y2 z 2
FCFM 51 U de Chile
2.4.4. El rotor y el teorema de Stokes
Como vimos recientemente, la divergencia surge de la descomposición de una integral de flujo en la

suma de flujos netos sobre volumenes infinitesimales. En forma análoga, veremos que el rotor emerge de
la descomposición de una integral de camino cerrada en la suma de circulaciones netas sobre trayectorias
elementales.
Consideremos nuevamente un campo vectorial A A1 ê1 A2 ê2 A3 ê3 , el cual es integrado a lo largo
de una trayectoria cerrada C. Denotando d a los elementos de lı́nea de la curva, entonces

W A d .
C
Para efectos de esta integral, el camino C original se puede descomponer en la suma de dos trayectorias
C C1 C2
Fig. 2.6: Descomposición progresiva de una trayectoria en dos y más 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

W A d A d A d .
i
C1 C2 Ci
Si la trayectoria elemental i-ésima tiene una superficie δΣi , entonces podemos escribir

N
N
W A d δΣi n̂i A d .
1 n̂i
δΣi
i
δΣ i i
δΣ i
Ci Ci
En la última igualdad hemos introducido un vector normal unitario n̂i cuyo sentido obedece la regla de
la mano derecha aplicada a la circulación de la i-ésima celda elemental. Al pasar al lı́mite de infinitas
subdivisiones se obtiene el conocido Teorema de Stokes,

W A d ∇ A dΣ ,
C

Σ C
donde se ha definido
∇ A lı́m A d .
n̂
δΣ 0 δΣ
C
De esta definición resulta evidente el significado del rotor como una medida de la circulación de un campo
vectorial por unidad de superficie. Para el cálculo de las tres componentes vectoriales del rotor es necesario
analizar la circulación en circuitos elementales perpendiculares al êi correspondiente.
U de Chile 52 FCFM
e3 (c)
dΣ 3 3
u +du
(b) (a)
3 e2
u
(d)
2 2 2
u u +du
Fig. 2.7: Análisis de una circulación elemental en el plano u2 u3 & ê1 .

Evaluemos la componente ê1 del rotor en coordenadas ortogonales. Para ello descomponemos en la
circulación sobre cuatro tramos ortogonales como se ilustra en la Fig. (2.7)

A d Ai δi . Aa δa Ab δb Ac δc Ad δd .

i a,b,c,d
En este caso particular, δa h3 du3 ê3 , y δb h3 du3 ê3 . Además, δc h2 du2 ê2 ; δd h2 du2 ê2 .
Las funciones h3 y A3 en el tramo a son evaluadas en u1 , u2 δu2 , ū3 , mientras que en b se eva-
luan en u1 , u2 , ū3 . Consideraciones similares se aplican para los otros dos tramos. Sumando las cuatro
contribuciones obtenemos

h
3 A3 u2 δu2 h
3 A3 u2 δu h
3
2 A2 u3 δu3 h
2 A2 u3 δu .
2
a,b,c,d

Al dividir por la superficie δΣ h2 h3 δu2 δu3 y tomar el lı́mite se obtiene el rotor en según ê1 ,

∇ A1 h h h3 A3 h2 A2
u2 u3 .
1
2 3
Este procedimiento se aplica de igual forma para las otras dos componentes. Ello conduce la expresión para
el rotor resumida en la Ec. ( 2.4.1), que en el caso de coordenadas rectangulares conduce a
∇ Ax Ayz Azy .
FCFM 53 U de Chile
U de Chile 54 FCFM
Capı́tulo 3
La delta de Dirac
La delta de Dirac fué introducida por Dirac en los años 20 del siglo pasado y ha sido utilizada
extensivamente por los fı́sicos desde entonces. Su formalización matemática ocurre bastante despues, hacia los
años 50, por Laurent Schwartz con la introducción de la teorı́a de funciones generalizadas o distribuciones.
En esta sección revisaremos algunas nociones acerca de delta de Dirac función sin profundizar demasiado en
sus aspectos formales.
3.1. Definición
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 0 para x 0

δ x dx 1

Para hacerse una idea, se trata de una ‘función’ 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 función pues no tiene imagen definida. Su
significación se manifiesta en el contexto de integrales. Por tal motivo Dirac denominó a δ x una función
impropia.
Una propiedad importante que emerge de su definición es la relación

f x δ x dx f 0 .

En efecto, f x δ x dx f 0 δ x dx f 0 δ x dx f 0. De este resultado es
inmediato verificar entonces que
f x δ x a dx f a .

Estos resultados son también válidos cuando f representa vectores u operadores. Con respecto a los lı́mites de
55
integración, éstos no necesariamente deben ir desde a , pudiendo tambien ser finitos. Por simplicidad
en la escritura omitiremos los lı́mites de las integrales en el subentendido de que ellos no son ambiguos.
3.2. Propiedades
Listamos algunas propiedades importantes de la delta.
δ x δx (3.2.1a)

xδ x 0 (3.2.1b)
δ ax
a δx
1
(3.2.1c)
δ x2 a2 δ x a δ x a
1
2a
(3.2.1d)
f xδ x a f aδ x a (3.2.1e)

δ a x δ x b dx δ a b (3.2.1f)

δ xf x dx f 0 (3.2.1g)
xδ x δ x (3.2.1h)

δ f x
f xk δx xk con xk cero de f x
1
(3.2.1i)
k
Examinemos algunas de estas identidades.
Para la primera de ellas consideremos una función f x arbitraria y hacemos el cambio de variable
z x. Entonces

f x δ x dx f z δ z dz f 0 δ z dz f x δ x dx .

Puesto que f x es arbitraria, entonces δ x δ x.
Para la propiedad ( 3.2.1b) consideremos nuevamente una función arbitraria f x. Entonces,

f xxδ x dx xf x δx dx xf xx0 0 .
Por lo tanto xδ x actúa, en el sentido de una distribución, como el cero.
En el caso de la identidad ( 3.2.1c) consideremos una función f x arbitraria y a 0. Además

introducimos un cambio de variable z ax. Entonces,

f xδ ax dx f δ z dz f 0 δ z dz f z δ z dz .
1 z 1 1
a a a a
U de Chile 56 FCFM
Una propiedad menos directa es la ( 3.2.1d). Consideremos una función f arbitraria. Entonces,
0
f x δ x a dx
2 2
f x δ x a dx
2 2
f x δ x2 a2 dx
0
0
f a δ x2 a2 dx f a δ x2 a2 dx
0
Para la primera de las integrales hacemos el cambio de variables z x2 a2 , con lo cual dz

2 dx z a2 . Por lo tanto,
0 a2
δ x a dx
2 2
δ z
dz 1 .
2 z a2 2 a
Un procedimiento análogo se aplica para la segunda integral y que conduce a un idéntico resultado.
Por lo tanto,
f x δ x2 a2 dx f a f a .
1 1
2a 2a
De ésto se infiere entonces
δ x2 a2 δ x a δ x a
1
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 lı́mite n . Los siguientes tres ejemplos constituyen representaciones del la delta de
Dirac.
δ x lı́m e n x ;
n 2 2
n π
δ x lı́m
sin nx
;
n πx
δ x lı́m
n 1
n π 1 n2 x2
Es importante tener presente que en el uso de las representaciones, las integrales se realizan primero y luego
se toma el lı́mite n . El orden no conmuta.
En muchas aplicaciones de la fı́sica no encontraremos con las siguientes representaciones equivalentes

de la delta:

δ x x
1
eik
x x dx

2π
δ x x lı́m
sinK x x
K π x x
δ x x lı́m
1 η
η 0 π η 2 x x 2
FCFM 57 U de Chile
U de Chile 58 FCFM
Capı́tulo 4
Series y transformada de Fourier
El teorema de Fourier permite la representación de una función en un intervalo a, b mediante una
expansión de las funciones trigonométricas seno y coseno. A esta serie se le denomina serie de Fourier. La
demostración de este teorema data de poco mas de dos décadas después, en 1829, por Dirichlet.
4.1. El Teorema de Dirichlet
Sea f x una función acotada en el intervalo π, π , con un número finito de máximos, mı́nimos y
discontinuidades. Sea además f x periódica en la forma f x 2π f x para aquellos argumentos fuera
del intervalo. Entonces, la sucesión
a2
N
sN an cos nx bn sin nx

n 1
converge a 1
2 f x 0 f x 0 cuando N . Los coeficientes an y bn están dados por las fórmulas

1 π
an π π
f x cos nx dx n 0, 1, 2,

1 π
bn π π
f x sin nx dx n 1, 2, 3,
Es claro que si la función f es contı́nua en x, entonces
a

f x an cos nx bn sin nx .

2
n 1
En aquellos puntos x donde la función exhibe una discontinuidad, sN tiende a la semisuma de los valores de
la función a cada lado de la discontinuidad.
La adaptación del teorema anterior a una función f cuya periodicidad es 2L es bastante simple. Si la
59
función es contı́nua en el intervalo L, L, entonces

a
)

nπx nπx *
f x an cos bn sin ,
2 n 1 L L
donde
L nπx
an 1
L
f x cos
L
dx n 0, 1, 2,
L
L nπx
bn 1
L
f x sin
L
dx n 1, 2, 3, .
L
En vez de hacer uso de funciones trigonométricas en las expansiones anteriores, muchas veces resulta práctica
su expansión en términos de las funciones exponenciales de argumento complejo. Si representamos cos p
eip e ip 2, sin p eip e ip 2i, obtenemos
a

1
+ ) i
nπx * ) *,

nπx
L ei
e i
nπx
L
f x ibn nπx
i
an e L e L
2 2 n1

cn ei
.
nπx
L

n
Con esta construcción identificamos (n 0)

a
c 2
an i b n
cn 2
c n an i b n
2
Una forma más directa de obtener los coeficientes cn , partiendo directamente de f x y por tanto prescin-
diendo de los coeficientes an y bn surge directamente del siguiente desarrollo:

- - L
i
nπx i
mπx
f x cn e L e L dx
n L
L
L
f x e dx
imπx L
cn ei
n dx .
m πx L
L n
L
2Lδnm
De aquı́ surgen inmediatamente los coeficientes cn ,

1 L dx .
cn f x e imπx L
2L L
4.2. Bases de funciones
Antes de continuar con el tema es oportuno hacer una breve digresión sobre lo que posteriormente
llamaremos base de funciones. Consideremos el espacio vectorial euclidiano RN , donde un vector arbitrario
U de Chile 60 FCFM
F puede ser expandido en términos de los elementos de la base ortonormal b1 , b2 , , bN . Bajo el producto
interno usual (producto punto), los elementos de esta base satisfacen bi bj δij Entonces podemos escribir
N
F ci bi .

i 1
A este punto sólo F y los elementos de la base son conocidos. Para obtener los coeficientes ci nos valemos
del producto interno y de sus propiedades lineales. Multiplicando por bk a ambos lados obtenemos bk F

i1 ci bk bi ck . Nótese la notable similitud entre este procedimiento y el empleado para obtener
N
los coeficientes cn en la serie de Fourier. La analogı́a se hace evidente al establecer un paralelo entre los
elementos bn de la base en RN y las funciones einπxL como elementos de una base de funciones. La
analogı́a es completa al introducir un producto interno entre funciones. El despeje realizado para obtener
los coeficientes cn en la expansión de Fourier sugiere el producto interno en este caso.
Para el ejemplo recién visto definimos los siguientes elementos de la base de funciones,
φn x 1 einπxL ,
2L
acompañadas de la siguiente definición de producto interno 'f g ( entre dos funciones, f y g:
L
'f g( f xg x dx .
L
Claramente, bajo esta definición 'φn φm ( δnm . Además, bajo esta definición el producto interno satisface
las siguientes propiedades:
'f f ( 0
'f αg βh( α 'f g( β 'f h (
'αf βg h( α 'f h( β 'f h(
Observese el siguiente desarrollo,

- L
f x cn φn x φk x dx
n L
L
L
φÆk xf x dx cn φk x φn x dx ck ,
L n L
con lo cual, al sustituir ck en la expansión original para f x y reordenando términos se obtiene
% ( % (

L L
f x Æ
φn x f x dx φn x dx φn x φn x f x .
Æ
n
L L n
cn
Esta igualdad se da para cual sea la función f x contı́nua en el intervalo L, L, con lo cual identificamos
la delta de Dirac,
δ x x φÆn x φn x .

n
FCFM 61 U de Chile
A esta relación se le denomina completitud, que en el caso de la base de Fourier toma la forma
1
inπ
x
δ x x e .
x L
2L n
Es importante tener presente que la definición del producto interno permite el uso de intervalos arbitrarios
a, b, no necesariamente
L
acotados, consistentes con el dominio de las funciones a estudiar. Para tales casos
b
hacemos simplemente L dx a dx.
4.3. Paso del discreto al contı́nuo
Las series de Fourier resultan muy útiles para la descripción de funciones periódicas, aunque ésta no es
una propiedad restrictiva. En efecto, cualquier función 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 lı́mite L .

Como hemos visto, la base de funciones ortonormales cuyos elementos φn x 1 2L ei
nπLx
satisfacen la relación de completitud

δ x x
1 i
nπL
x x .
e
n 2L
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 x
1 ikn
x x
eik
x x dk .
1
δkn e
k
n
2π 2π
Esto sugiere redefinir los elementos φn de la base
φn x φk x 1 eikx ,

2π
los cuales satisfacen la relación de completitud

δ x x φk x φk x dk .

L
Examinemos la condición de ortogonalidad, que para la base discreta de funciones expresamos L
φn xφm x dx
δnm . Esta vez consideremos

φk x φp x dx ei
p kx dx δ k p ,
1

2π

2πδ k p
que constituye la forma que adopta la relación 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
Consideremos una función f x definida para

x
y supongamos que ésta se puede expresar
de la siguiente forma,

f x C k φk x dk , (4.3.1)

lo que constituye una ‘expansión’ de la función f x como una combinación lineal de los elementos de la base
φk x. Los C k corresponden a los coeficientes de tal expansión. El uso de la ortonormalidad de las funciones
φk x permite obtener tales coeficientes. Para ello multiplicamos ambos lados por φp x, integramos en x
y hacemos uso de ortogonalidad. Entonces,

C k f x φk x dx . (4.3.2)

Esta integral está totalmente definida si es que resulta acotada. En tal sentido examinemos,

C k f x φk x dx
12π
f x dx .

Entonces, si f x dx es finita, entonces los coeficientes C k existen.
Hasta ahora sólo hemos ilustrado la extensión de las series de Fourier a rangos espaciales infinitos.
Vimos que mediante este recurso de también posible expresar funciones como la superposición de funciones
armónicas 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 función original [c.f. Ec. (
4.3.2)]. En cierta forma tales elementos C k contienen la misma información que la función de partida
f x, constituyendo una representación alternativa de la función de partida f .
4.4. Transformada de Fourier

Sea f una función tal que f xdx sea acotada. Se define la transformada de Fourier de f ,
denotada por F k , mediante

F k
1
f x e ikx
dx .
2π
Otra notación equivalente es f˜k F k . Ası́ entonces, de acuerdo a la discusión de la sección anterior,
la transformada de Fourier representa los coeficientes de la expansión de una función dada en una base
de funciones armónicas. El signo ‘’ en la exponencial es por un asunto de uniformidad con la usanza en
mecánica cuántica, aunque es totalmente válido el uso del signo ‘+’. Sólo hay que mantener consistencia.
La extensión de la definición de la transformada de Fourier a funciones en R3 , del tipo f x, y, z , es

natural mediante

i
kx x ky y kz z
F kx , ky , kz
2π32 dx dy dz f x, y, z e
1
)

F k
2π32 d rf r e
1 3 ik r
FCFM 63 U de Chile
La transformada de Fourier presenta viarias propiedades de interés. En algunos casos resultará útil
denotar mediante F la transformada de Fourier en el sentido de una aplicación. 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.
1. Linealidad en las funciones: F αf1 βf2 αF f1 βF f2

2. F F f f
3. Si f˜k F f x, entonces f˜k F f x
4. Si f es par (o impar), entonces f˜ también lo es.
5. Si f˜k F f x, entonces
f F f λx
1 ˜ k
λ λ
6. f˜0 es proporcional al área entre f x y el eje x.

7. F δ x 1 2π.
4.4.1. El teorema de convolución
En fı́sica es frecuente encontrarse con integrales cuya estructura es la de una convolución, vale decir,

φx Rx x f x dx . (4.4.3)

Esta estructura en el caso 1D se extiende a funciones en 3D de la forma

φr Rr r f r d3 r .
A estas integrales también 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 clásico de una convolución lo vemos en el cálculo del
potencial en un punto r debido a una distribución de carga ρr . Mediante la aplicación directa del principio
de superposición se tiene que el potencial en r está dado por

φr d3 r ρr
1
r r .

Consideremos el caso 1D y examinemos la transformada de Fourier de la convolución expresada por la
Ec. ( 4.4.3). Multiplicando por e ikx 2π e integrando en x obtenemos

φ̃k dx e ikx dx Rx xf x .
1
2π
La integración dx dx abarca todo el plano R2 . Cambiando variables: x, x X, X , con X x x,
X x, entonces dx dx dX dX . Por lo tanto,

φ̃k R X dX e ikX f X 2π R̃k f˜k .
1 ikX
dX e
2π
U de Chile 64 FCFM
Por lo tanto,
φ̃k 2π R̃k f˜k ,

cuya lectura es directa: la transformada de Fourier de una convolución es proporcional al producto de las
transformadas de Fourier. La constante de proporcionalidad, 2π, tiene su origen en la definición 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 representación inicial.
4.4.2. Relación de Parseval
Esta es otra de las relaciones importantes en las transformadas de Fourier, cuyo uso es extensivo en
óptica y en el estudio de fenómenos ondulatorios en general. Esta relación establece

f x g x dx f˜ k g̃ k dk .

Esta simetrı́a notable tiene implicaciones muy importantes en la construcción de representaciones en mecánica
cuántica. Para demostrarla consideremos

f x f k e dk , g x g̃ k eik x dk .
1 ˜ ikx 1
2π 2π
Entonces,

f x g x dx f˜ k e g̃ k eik x dk
1 ikx
dx dk
2π
Reordenando consistentemente las integrales,

f x g x dx dk f˜ k dk g̃k dx ei
k
1 k x
2π
La integral en dx conduce a 2πδ k k , la que al participar en la integración en dk conlleva a

f x g x dx f˜ k g̃ k dk ,

el resultado esperado.
En la discusión reciente acerca

de bases de funciones, introdujimos la noción de producto interno de
funciones. En ella 'f g ( f g dx. También vimos que la transformada de Fourier contiene la misma
información contenida en la función de partida. La relación de Parseval refuerza la noción de un ente más
abstracto, f (, que proyectado adecuadamente toma la forma de una función en el sentido convencional. El
producto interno no depende de la representación adoptada para f (, sea ésta en espacio el real x o en el
‘espacio de Fourier’ k.
4.4.3. Potencial debido a una distribución de cargas
Calculemos la transformada de Fourier del potencial coulombiano -Φ̃k- debido a una distribución
uniforme de carga. Como vimos anteriormente, la transformada de Fourier es el producto de las convoluciones.
FCFM 65 U de Chile
Puesto que esta aplicación es 3D, tenemos
Φ̃k 2π 32 ρ̃k Ṽc k
El potencial de Coulomb debido a una carga puntual unitaria es Vc r 1r, de modo que

Ṽc k
2 1
. (4.4.4)
π k2
Por lo tanto,
Φ̃k ρ̃k .
4π
(4.4.5)
k2
Necesitamos determinar ρ̃, la cual se obtiene fácilmente suponiendo simetrı́a esférica. Entonces,

ρ̃k e ikr d3 r ρr
1
2π 3 2
La integración la realizamos con las variables esféricas r, θ, φ, con el eje azimutal según k. Con ello
k r kr cos θ. La integración en dφ es directa, con lo que
π
ρ̃k
2π32 0 r dr ρr 0 sin θ dθ e
2π 2 ikr cos θ
.
La integración en θ se realiza fácilmente, conduciendo a

2 1
ρ̃k r dr ρr sinkr .
π k 0
Considerando cargas uniformemente distribuidas en la extención de una esfera de radio R, entonces

ρr ρ ΘR r, donde Θ representa la función escalón de Heaviside. Por lo tanto,
R
ρ̃k
2 ρ R
r dr sinkr
2 ρ
k dr sinkr .
π k 0 π k
0

sin kR k
Este resultado conduce a

2 ρ R 2
ρ̃k j1 kR ,
π k
donde hemos utilizado
j0 t j1 t
sin t dj0
, .
t dt
Estas dos últimas corresponden a las funciones esféricas de Bessel de orden 0 y 1, respectivamente. Si
normalizamos la densidad de carga ρ a Zq, vale decir, ρ 43 πR3 Zq, entonces se obtiene

2 Zq 3 j1 kR
Φ̃k .
π k2 kR
Esta factorización para la transformada de Fourier de una distribución extendida es deliberada (en este
ejemplo). La idea es examinar el caso lı́mite de una distribución uniforme en un entorno esférico con R 0.
Se puede verificar que
j1 t
lı́m
t0 t
13 ,
U de Chile 66 FCFM
con lo cual,
lı́m Φ̃k
2 Zq
,
t0 π k2
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
para la obtención de Φ̃. Recordemos que el potencial electrostático satisface la ecuación de Poisson,
∇2 Φr 4πρr . (4.4.6)
Si definimos, separadamente,

Φr
1
Φ̃k e ,
ik r
ρr
1
ρ̃k e ,
ik r
2π32 2π32
resulta evidente verificar
.
∇ Φ r k2 Φ̃k e
2 1 ik r
2π32
Al sustituirl en la en Ec. ( 4.4.6), multiplicar por e ik r y posteriormente integrar en d3 r se obtiene,
Φ̃k ρ̃k ,
4π
k2
resultado coincidente con la Ec. ( 4.4.5) para la misma función. Este enfoque permite resolver muchas
ecuaciones diferenciales parciales mediante métodos de integración directos.
FCFM 67 U de Chile
U de Chile 68 FCFM
Capı́tulo 5
Ecuaciones diferenciales
Para la descripción cuantitativa de una enorme variedad de sistemas fı́sicos se recurre a ecuaciones
diferenciales, las que suponen que las propiedades a describir son funciones contı́nuas del espacio, del tiempo
u otro parámetro caracterı́stico. Una primera clasificación a estas ecuaciones permite subdividirlas en lineales
y no lineales. Por ahora nos ocuparemos de las ecuaciones lineales, las cuales también se subdividen en
elı́pticas, parabólicas e hiperbólicas. A modo de ilustración mencionamos las siguientes ecuaciones según
clasificación. La forma de éstas ha sido simplificada mediante reescalamiento de las variables, a fin de focalizar
la participación de los operadores diferenciales.
Elı́pticas: en ellas todos los operadores de segundo orden tienen el mismo signo.
• Laplace: ∇2 φ 0
• Helmholtz: ∇2 φ k2 φ 0
• Poisson: ∇2 φ f
Parabólicas: en ellas alguno de los operadores de segundo orden está ausente.
• Difusión: ∇2 u t u
• Schrödinger: ∇2 ψ Uψ itψ
Hiperbólicas: en ellas alguno de los operadores de segundo orden tiene signo opuesto al resto.
• Ondas mecánicas: ∇2 φ t2 φ 0

• Klein-Gordon: ∇2 φ m2 φ t2 φ
Todas estas ecuaciones constituyen un problema definido una vez que se especifican las condiciones de borde
(C.B.). Usualmente éstas se traducen en valores de la función en los bordes (C.B. de Dirichlet), valores de
las derivadas en los bordes (C.B. de Newman), o mixtas.
69
5.2. Separación de variables
El método de separación de variables es una estrategia que permite estudiar en forma sistemática
problemas que involucren la suma de operadores diferenciales actuando sobre espacios diferentes. Con la
excepción del problema de Poisson, todos las ecuaciones mencionadas anteriormente tienen la estructura
Dr Ψ Dt Ψ, donde Dr y Dt representan operadores diferenciales en las coordenadas espaciales y temporales,
respectivamente. Si se plantea una solución del tipo Ψr, t Rr T t, entonces
Dr Rr
Rr
DTtTtt .
Puesto que r y t son parámetros independientes, necesariamente cada lado de la igualdad debe ser constante,
Dr Rr λRr ,
Dt T t λT t .
Notar que el problema se ha reducido a un problema de valores propios y funciones propias. Si bién este
esquema tiene aspecto de ser de alcance ilimitado, sus limitaciones prácticas radican en la implementación
de las condiciones de borde. Como es de esperar, aquellos sistemas cuya simetrı́a sea particularmente simple
permitirán el uso de funciones especiales que ayuden a una buena convergencia de la solución. Ese no siempre
es el caso.
5.2.1. Ecuación de Laplace en un disco
Consideremos la ecuación 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 función conocida
y φ el ángulo polar en coordenadas cilı́ndricas. En estas coordenadas la ecuación de Laplace, ∇2 f 0, se
expresa

1 1 2 f 2 f 0
ρ ρ
ρ
f
ρ ρ2 φ2 0 ρ
f
ρ ρ φ2
ρ
Esta última ecuación ha sido obtenida a fin de poder aplicar separación 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

2 χ cχ ,
ρ ρ ρ c ω ,
ω
ρ
φ2
U de Chile 70 FCFM
con c la constante de separación. Siendo χ una cantidad fı́sica, es razonable exigir que ella sea univaluada.
Por lo tanto exigimos
χφ χφ 2π ,
para lo cual necesariamente c debe ser positiva. Ası́, denotamos c k 2 , con lo cual
2 χ k2 χ χφ χk φ Ak cos kφ
φ2 Bk sin kφ ,
con k entero. Para determinar ω resolvemos

ρ ρ ρ k ω ,
ω 2
ρ
ecuación diferencial homogénea cuya solución tentativa se puede suponer de la forma ω ρp , con p una
constante por determinar. Sustituyendo en al ecuación anterior se obtiene p2 k 2 , o bién p k. Si k 0,
entonces,
ω ρ ωk ρ ck ρk
dk
.
ρk
Cuando k 0, examinamos en detalle.
ρ ω 0 ωρ ω ρ c d ln ρ .
ρ ρ
Puesto que el centro del disco es parte del dominio de la solución. Si además exigimos regularidad de la
solución en todo éste, necesariamente dk 0 para todo k 0. Todo lo anterior restringe la forma de las
soluciones fk ωk χk ,
k 0 f ρ, φ c A
k 0 fk ρ, φ ck ρk Ak cos kφ Bk sin kφ
Todas ellas son soluciones de la ecuación diferencial, de modo que su superposición también lo es. Escribimos
convenientemente,
A

f ρ, φ An cos nφ Bn sin nφ ρn

n1
2
Para determinar los coeficientes evaluamos en ρ R,
A

f φ An cos nφ Bn sin nφ Rn ,

2
n 1
π
y multiplicamos separadamente por 1, cos mφ y sin mφ. Luego integramos π dφ y obtenemos

1 π
A f φ dφ
π π
π
An f φ cosnφ dφ
1
πRn π
π
Bn f φ sinnφ dφ
1
πRn π
A este punto el problema está resuelto dado que se han obtenido todos los coeficientes necesarios
para la expansión. Buscamos ahora una forma más compacta para la serie. Si reemplazamos los coeficientes
obtenidos en la expansión podemos verificar
1 π

ρn π

f ρ, φ f φ dφ f φ cos nφ cos nφ sin nφ sin nφ dφ .
2π π n1
πRn π
FCFM 71 U de Chile
Reagrupando términos e identificando entre los paréntesis cuadrados cos nφ φ se obtiene
% (

1 π
ρ n

f ρ, φ
f φ 1 2 cos nφ φ dφ .

n1
2π π R
Esta suma se puede reordenar mediante la aplicación adecuada de la serie geométrica1, conducente al
siguiente resultado para la solución

1 π R 2 ρ2
f ρ, φ f φ φ 2 dφ .
2π π R ρ2 2Rρ cos φ
A pesar de que los procedimientos seguidos parecieran estar correctos, es necesario verificar que la
solución obtenida es efectivamente la solución al problema. Ello implica constatar que ∇2 f 0, y que
f R, φ f φ. Ambas verificaciones quedan propuestas como ejercicio2 .
5.3. La ecuación de Bessel
Recientemente abordamos el problema de la ecuación de Laplace en un dominio circular. Si el problema

consiste en el de ondas de presión dentro de una cavidad cilı́ndrica, la ecuación a resolver es
1 2 Φ
∇2 Φ 0.
c 2 t2
Mediante separación de variables, Φ χr T t, podemos llevar esta ecuación a la de Helmholtz para χ.
Si además expresamos el laplaciano en coordenadas cilı́ndricas se obtiene

ω2 1 1 2 χ 2 χ
2
∇ χ
c2
χ 0 ρ ρ
ρ
ρ ρ2 φ2 z 2 k χ 0 ,
χ 2
donde hemos denotado k 2 ω 2 c2 . Introducimos separación de variables de la forma χρ, φ, z Rρ F φ ζ z ,
que al ser reemplazada en la ecuación anterior conduce a
1 1 d . / 1 1 1
ρR F ζ k2 0 . (5.3.1)
ρ R dρ ρ2 F ζ
p2
En esta ecuación se ha hecho uso de que R Rρ, F F φ y ζ ζ z . Tal dependencia en sólo una
variable permite el uso no ambiguo de la notación ‘ddx’, o primas para las derivadas. Además, la suma
de los últimos dos términos del lado izquierdo de la ecuación depende, en principio, sólo de la variable z,
mientras que el resto sólo de ρ, φ. La independencia de estos dos juegos de variables exige que cada uno
de los términos sea constante, es decir
ζ z k2 p2 ζ z 0 . (5.3.2)
1 Consideremos S 1 2 n n inθ einθ 1 iθ n iθ n . Si x 1 entonces
1 x cos nθ 1 1 x e 1 xe 1 xe
podemos hacer uso de las expresiones para la serie geométrica infinita. Luego de sustituir y simplificar se obtiene S
1x2
1x2 2x cos θ
.
2 Hacerlo.
U de Chile 72 FCFM
El motivo por el cual se ha optado por p2 en la constante de separación y no por p2 es por el tipo de
solución que surge para ζ. Esta consideración queda más clara más adelante, cuando abordemos las funciones
modificadas de Bessel.
Volviendo a la Ec. ( 5.3.1), multiplicando por ρ2 y reagrupando términos se obtiene

1 d . / 1
ρ
R dρ
ρR ρ2 p 2
F
F 0

n2
En esta separación se ha introducido la constante n2 , el cuadrado de un entero, a fin de garantizar que F φ
sea univaluada ante φ φ 2π. Entonces, la ecuación definitiva para R es
d . /
ρ ρR n2 R ρ2 p 2 R 0 .
dρ
Introduciendo las nueva variables z p ρ; n ν, escribimos

z
d
dz
z
dR
dz
ν2 R z2 R 0 , (5.3.3)
la ecuación de Bessel en coordenads cilı́ndricas. En esta última permitimos que el parámetro ν tome
cualquier valor. Para el caso particular del ejemplo introductorio éste es un entero.
5.3.1. Funciones de Bessel
Buscamos una solución en serie para la ecuación de Bessel. A fin de permitir generalidad intentemos

Rz z r ak z k zr S .

k 0
Entonces,

zR rz r S zr kak z k

k 1

z zR r2 z r S zr 2rk k 2 a k z k .

k 1
Al sustituir en la ecuación de Bessel [c.f. Ec. ( 5.3.3)] y luego de un par de simplificaciones se obtiene

r2 ν 2 S 2rk k 2 ak z k ak z k 2 0.

k 1
k 0

Esta igualdad se puede escribir de la forma B B1 z 2 Bk z k 0, la cual se cumple si cada uno de los
coeficientes Bi se anula. Por lo tanto,
r2 ν 2 a 0
r 12 ν 2 a1 0
r ν ak
2 2
2rk k2 ak ak 2 0.
Analizamos posibles escenarios.
FCFM 73 U de Chile
Si a 0, necesariamente r ν a1 0. En este caso sólo términos pares participan en la serie.

• Para r ν,
ak
ak 2
2ν kk .
Esta relación de recurrencia permite determinar a2 , a4 , a6 , a partir de a . Alternativamente,
podemos definir los nuevos coeficientes bm (m 0, 1, 2, ) mediante bm a2m . Entonces,
bm 4νbm m1 m ,
con lo cual
4m ν m b
m ν 1 m!
bm .
Todos los coeficientes resultan proporcionales a b , el cual puede ser definido a gusto. Es standard
definir
m
b ν bm ν 2m
1
2 Γν 1 2 2 Γν m 1
.
Ası́ entonces Rz Jν z , con

m z2 2m ν .
Jν z
m!Γν m 1
(5.3.4)
m0
A esta función Jν z se le denomina función de Bessel del primer tipo.

• Para r ν se genera J ν z , la cual es en general linealmente independiente de Jν z . Sin
embargo, cuando ν es entero positivo (ν n), entonces J n z n Jn z , lo que las hace
linealmente dependientes. La generación de una función linealmente independiente en este caso
es, por ahora, menos directa. Es posible demostrar que las funciones de Newman definidas por
Jν z cos νπ J z ,
Yn z lı́m
ν
ν n sin νπ
son linealmente independientes de Jn z . Para evaluar este lı́mite aplicamos l’Hop̂ital
%. / (
Yn z
1 dJν
dν cos νπ Jν π sin νπ dJν
dν
π dν dν .
1 dJν n dJ ν
π cos νπ
ν n
Evaluando las derivadas y reordenando se obtiene
2 +) z * ,
Yn z ln γ Jn z (serie regular en z) .
π 2
Aquı́ se denota,
γ nlı́m
1
1
2
1
3
ln n % 0.577216 ,
la constante de Euler. Claramente Yn z tiene una singularidad logarı́tmica en el origen, algo
reconocido en el problema de Coulomb de un alambre delgado.
Para a1 0, necesariamente r 1 ν, con a 0. En este caso sólo se dan términos impares de
la serie: a1 , a3 , a5 .
U de Chile 74 FCFM
• Para r ν 1 resolvemos ak ,
ak k k 1a2νk 2 k 1 .
ak 2
r2 ν 2
Haciendo esta vez bm a2m 1 , con m 0, 1, , se obtiene
bm 4νbm m1 m .
Se observa entonces la serie generada por los coeficientes impares coincide con la generada por
los coeficientes pares. En esta lı́nea, no estamos más que replicando lo obtenido.
Existen muchas fuentes que permiten la evaluación numérica de las funciones de Bessel. En la Fig.
(5.2) se ilustran las gráficas de Jn e Yn para n 0, 2, 4. Estas funciones tienen un par de caracterı́sticas
que conviene tener presentes. Por ejemplo, sólo J z es no nula y finita en el origen. De hecho J 0 1,
1 1
0.75 0.75
0.5 0.5
0.25 0.25
2 4 6 8 10 2 4 6 8 10
-0.25 -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 caracterı́stica que tienen las funciones de Bessel es que a medida
que aumenta su orden, el primer máximo de ubica cada vez más alejado del origen. En relación a las
funciones de Newman, todas ellas son singulares en el origen. En particular, la singularidad de Y z es de
tipo logarı́tmica, mientras que para n 1 ella es del tipo 1z n.
Haciendo uso de los resultados anteriores es posible demostrar los siguientes comportamientos cerca del
origen
z 2
J z % 1
2
z n
Jn z % n1
1
Γn 1 2
2 ) z *
Y z % ln γ
π 2
n
Yn z %
nn 1! 2
n1
z
Para efectos de estimaciones no está de más tener presentes los primeros ceros de la función J z : {2.40,
5.52, 8.65, 11.8, 14.9, ...}.
FCFM 75 U de Chile
5.3.2. Funciones modificadas de Bessel
La ecuación diferencial para las funciones de Bessel, dada por la Ec. ( 5.3.3), puede ser escrita de la
siguiente forma
x2 y xy β 2 x2 ν 2 y 0 .
Si ν es real y β 2 0, entonces las soluciones y son combinaciones lineales de Jν βx e Yν βx. Sin embargo,
también nos podrı́amos encontrar con la siguiente ecuación,
x2 y xy β 2 x2 ν 2 y 0.
En este caso las soluciones son del tipo Jν iβx e Yν iβx, conducentes a las funciones modificadas de
Bessel. En este caso es usual definir
Iν βx i ν Jν iβx 1er tipo
π I ν Iν
Kν βx 2do tipo
2 sin νπ
Estas funciones se ilustran en la Fig. (5.3) para ν 0, 2, 4. Con lı́nea contı́nua se grafican los casos ν 0,
mientras que las de segmento largo y corto corresponden a ν 2 y ν 4, respectivamente.
10 10
8 8
6 6
4 4
2 2
0.5 1 1.5 2 2.5 3 3.5 4 0.5 1 1.5 2 2.5 3 3.5 4
Fig. 5.3: Funciones modificadas de Bessel del primer (izquierda) y segundo (derecha) tipo para n 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. Diferenciación y recurrencia
Las funciones de Bessel satisfacen diversas propiedades, muchas de ellas bastante útiles. Listamos algunas
de ellas.
z
dJν
dz
νJν zJν 1 (5.3.5a)
z zJν 1 νJν
dJν
dz
(5.3.5b)
2ν z Jν Jν
Jν 1 1 (5.3.5c)
dz
z Jν z ν Jν 1
d ν
(5.3.5d)
d . /
dz
z ν
Jν z ν
Jν 1 (5.3.5e)
Para demostrar ( 5.3.5a) derivamos con respecto a z la expansión ( 5.3.4) para Jν . Es directo verificar

k z2 2k ν 2k ν 12
z
dJν
dz
k!Γν k 1
.
k 0
El factor 2k ν permite separar el lado derecho en dos sumas, una partiendo de k 1 y la otra desde
k 0. Mediante una traslación de ı́ndices es directo obtener la identidad ( 5.3.5a). La identidad ( 5.3.5b)
se puede obtener reagrupando z dJ dz zJν 1 . La identidad ( 5.3.5c) es una consecuencia directa de las dos
ν
anteriores, mientras que las dos últimas surgen de las dos primeras.
Entre las identidades importantes para las funciones de Bessel, y en general muchas de las funciones
especiales, son aquellas que involucran el wronskiano. Sean f1 x y f2 x dos funciones diferenciables,
entonces se define el wronsquiano W mediante

f1 f1
W f1 , f2 ; x f1 f2 f1 f2 det
f2 f2
. (5.3.6)
Demostremos que si u y v son combinaciones lineales independientes de Jν z e Yν z , entonces

d
dz
zW u, v; z 0 .
En efecto, puesto que u y v son combinaciones lineales de Jν e Yν , ambas satisfacen la ecuación de Bessel,
vale decir
- v
z
d
dz
z
du
dz
z 2 ν 2 u 0
z
-
z
d
dz
z
dv
dz
z 2 ν 2 v 0 u
z
Multiplicando cada ecuación por v z y uz, y restando los lados respectivos se obtiene

u
d
dz
z
dv
dz
v
d
dz
z
du
dz
0 d
dz
zW u, v; z 0 .
A fin de ilustrar un posible uso de este tipo de identidades, considérese la derivada del cuociente v u,
d v uv v u
dz u
u2 W u,u2v; z .
FCFM 77 U de Chile
Puesto que zW es constante, zW A, entonces

d v
dz u
zuA2 v u B A
dz
zu2
.
En particular, podemos hacer u Jν ; v Yν ; con lo cual

Yν Jν B A
dz
zJν2 z
.
permitiendo expresar la función de Bessel del segundo tipo en términos de la de primer tipo. Evidentemente
la relación es no lineal, como es de esperar.
5.3.4. Una identidad útil
En la manipulación de expansiones que involucran funciones de Bessel es usual encontrarse con la
integral
I α, β xJν αxJν βx dx
Esta integral tı́picamente viene con lı́mites de integración definidos. Más aún, resulta de particular interés el
caso α β, para el cual se obtiene

10 2 1
xJν2 αx dx x Jν αx2 x2 ν 2 α2 Jν2 αx (5.3.7)
2
Para su demostración consideremos las ecuacions diferenciales para Jν αx y Jν βx, denotadas por simpli-
cidad como uαx y v βx respectivamente,

x
d
dx
x
du
dx
α2 x2 ν 2 u 0 ;

x
d
dx
x
dv
dx
β 2 x2 ν 2 v 0 .
Luego de multiplicar la primera de ellas por v x y la segunda por ux, restamos los lados correspondientes
para obtener
R R

d
dx
x u
dv
dx
v dx
du
α2 β 2 xuv x u
dv
dx
v dx
du
α2 β 2 xuv dx ,
0 0
con lo cual R
. /
α β
2 2
xuv dx R βuv αvu
0
A este punto nos anticipamos a dos escenarios muy comunes. Uno de ellos es β α, mientras que el otro
es β α.
Cuando β α, pero αR y βR son raı́ces de Jν z o Jν z , entonces el lado derecho de la integral es

nulo. Ello implica que
R
α2 β 2 xJν αxJν βx dx 0 ; α β .
0
U de Chile 78 FCFM
Para el caso β α, primero dividimos por α2 β 2 y luego tomamos el lı́mite usando l’Hôpital,
R
RβJν αRJν βR RαJν αRJν βR
xJν2 αx dx lı́m
0 β α α2 β 2
Tener presente que Jν denota derivada con respecto al argumento, a diferencia de la derivada con respecto
a x. Ellas difieren en una constante multiplicativa. Ası́, derivando con respecto a β el numerador y el
denominador obtenemos para el cuociente
Jν αR β RβJν βR RαJν αR β Jν βR

2β .
A este punto sustituimos sin riesgo β α y denotamos z αR. Entonces,

R
R2 0 1
xJν2 αx dx Jν z 2 1z Jν z zJν z .
0 2
Utilizando la ecuación z zJν ν 2 z 2Jν , obtenemos finalmente
R
1 2 0 1
xJν2 αx dx R Jν z 2 1 ν 2 z 2Jν2 z . (5.3.8)
0 2
Como hemos visto, las funciones Jν z son oscilantes en z, lo que permite asociar a cada valor de ν una
colección de ceros z1ν , z2ν , z3ν , . Si α es tal que αR coincide con uno de los ceros de Jν , entonces
R R
1 2
xJν2 αx dx 2
R Jν z 2 xJν2 αx dx
2
R Jν 1 z .
1 2 2
0 0
Esta última relación surge de la Ec. ( 5.3.5a) evaluada en un cero de Jν . Resumiendo, si Knm R znm , el
n-ésimo cero de Jm z , entonces
R
R2 2
xJm Kn1 m xJm Kn2 m x dx δn1 n2 Kn1m R .
2 m 1
J (5.3.9)
0
5.3.5. La ecuación de Laplace en una cavidad cilı́ndrica
Resolvamos la ecuación de Laplace ∇2 V 0 al interior de una cavidad cilı́ndrica 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
función conocida. Utilizamos coordenadas cilı́ndricas con el eje z coincidente con el eje del cilindro, mientras
la tapa inferior se ubica en z 0. El potencial es una función V V ρ, φ, z cuyas condiciones de borde
son
V ρ, φ, L f ρ, φ
V ρ, φ, 0 0
V b, φ, z 0
La ecuación de Laplace se expresa

1 V 1 2V 2V 0 .
ρ ρ ρ ρ2 φ2 z 2
ρ
FCFM 79 U de Chile
fo (ρ,φ)
Fig. 5.4: Problema de Laplace en una cavidad cilı́ndrica.
Introduciendo separación de variables, V RρF φζ z ,

1 1 d2 F 1 d2 ζ
1 1 d
R ρ dρ
ρ
dR
dρ F ρ2 dφ2 ζ dz 2
0. (5.3.10)
Antes de proseguir es conveniente anticipar el escenario. Primero, esperamos que F sea cı́clica, lo que
necesariamente implica que el término F debe ser negativo. Además, el término 1ζ dz
d2 ζ
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ν , sólo 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
condición de borde en el contorno en ρ b.
Con lo anterior, resolvemos

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

1 d2 F
ρ d
R dρ
ρ
dR
dρ
K 2 ρ2
F dφ2
0.
La ciclicidad de las soluciones en el ángulo φ exige que
d2 F
dφ2
m2 F F φ A1 cos mφ A2 sin mφ ,
con m un entero. De esta forma, la ecuación diferencial para Rρ se reduce a

ρ
d
dρ
ρ
dR
dρ
K 2 ρ2 m2 R 0 .
De ésta, sólo las funciones de Bessel Jm Kρ pueden participar en la solución puesto que Nm Kρ es
singular en ρ 0. Sin perder generalidad podemos escribir
Rρ Jm Kρ .
U de Chile 80 FCFM
Al exigir Rb 0, entonces Jm Kb 0. Esta exigencia restringe K a valores tales que Kb coincidan
con las raı́ces de Jm z . A ellas las denotaremos por xnm , representando la n-ésima raiz de Jm . Ası́,
K Knm xnm b. Esto nos permite escribir soluciones de la forma
V ρ, φ, z Jm Knm ρAnm cos mφ 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
combinación lineal de todas ellas también:

V ρ, φ, z Jm Knm ρAnm cos mφ Bnm sin mφ sinh Knm z .

m n
La determinación de los coeficientes Anm y Bnm surge de imponer V ρ, φ, L f ρ, φ, es decir,

f ρ, φ Jm Knm ρAnm cos mφ Bnm sin mφ sinh Knm L . (5.3.11)
m n
A este punto conviene tener presente las siguientes identidades para n y n enteros,
π
cos mφ cos m φ dφ πδmm
π
π
sin mφ sin m φ dφ πδmm
π
π
sin mφ cos m φ dφ 0
π
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 ρ sinhKnm L .

π n
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
b π
b2 2
ρ dρJm Knm ρ dφ cosmφ f ρ, φ πAnm sinhKnm L Knm b .
2 m 1
J
0 π
Ası́, π b
2 dφ ρ dρ f ρ, φ cosmφ Jm Knm ρ
Anm π 0
πb2 sinh Knm L Jm2 1 Knmb . (5.3.12)
Los coeficientes Bnm se obtienen de forma análoga, sustituyendo cos mφ sin mφ.
5.4. Ecuación de Helmoltz con simetrı́a axial
En la sección anterior abordamos las ecuaciones de Laplace y de Helmholtz en coordenadas cilı́ndricas.

El uso de separación de variables condujo a funciones armónicas (trigonométricas) para la variable angular φ
FCFM 81 U de Chile
Fig. 5.5: Sistema con simetrı́a axial.
y de Bessel para la radial ρ. Consideremos esta vez la ecuación de Helmholtz en coordenadas esféricas pero
bajo el supuesto adicional de que el sistema presenta simetrı́a axial, una exigencia tanto para la geometrı́a
del sistema como de sus condiciones de borde. En la Fig. (5.5) se ilustra un sistema con tales caracterı́sticas.
Resolvemos entonces ∇2 ψ 0, con ψ ψr, θ. En coordenadas esféricas r, θ, φ,
k2 ψ

1 2 ψ 1 1 ψ k2 ψ 0 .
r2 r r r2 sin θ θ θ
r sin θ
Separando ψ r, θ RrP θ y denotando la constante de separación por λ, se obtiene el siguiente juego
de ecuaciones para R y P ,

d
dr
r
dr
2 dR
k2 r2 λR 0; (5.4.13a)

1 d
sin θ dθ
sin θ
dP
dθ
λP 0. (5.4.13b)
La primera de éstas conduce a las funciones esféricas 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 manipuladión algebraica simple se obtiene

d
du
1 u2
dP
du
λP 0 , (5.4.14)
la que en su forma más standard cobra la reconocida forma le la ecuación de Legendre,

2
1 u2 dduP2 2u dP
du
λP 0. (5.4.15)
5.4.1. Los polinomios de Legendre
De la misma forma a como se procedió para resolver la ecuación de Bessel, resolvemos la ecuación de
Legendre intentando una solución en serie de la forma

P u ur rur
dP 1 1
ak u k ak u k ur kak uk .

k 0
du
k 0
k 1
U de Chile 82 FCFM
Entonces,

1 u2 dP rur 1
ak u k ur kak uk 1
rur 1 ak u k u r kak uk 1 .
du
k 0
k 1
k 0 k 1
Derivando con respecto a u y reagrupando términos

d
du
1 u2
dP
du
r r 1 u r 2
ak u k rur 1
kak uk 1

k 0
k 1

rur 1
kak uk 1
ur k k 1ak uk 2

k 1 k 1

r r 1 u r ak uk rur 1 kak uk
k0 k1

kak uk 1 ur k 1kak uk
rur 1
k1 k1
Al sustituir en la Ec. ( 5.4.14) surge una ecuación que involucra una serie de potencias en u. Imponiendo
la igualdad sobre términos de igual potencia es directo obtener las siguientes relaciones sobre los coeficiente
ak ,
rr 1a 0;
rr 1a1 0;
rr 1 2rk 2 k 1k 2 ak 2 rr 1 λ 2r 1k k k 1 ak .
De esta última resulta evidente
ak 2 k rkk r r 11k rk 2r λ ak .

Notar que para k , ak 2 ak , lo que conduce a una función divergente en u 1, es decir θ 0. Si
θ 0 no constituye una singularidad aceptable en el problema fı́sico, debemos imponer que la relación de
recurrencia para los ak se interrumpa, lo que es factible si λ es de la forma ll 1, con l un entero positivo
o nulo. Tomemos entonces λ ll 1.
En rigor hemos de analizar cuatro escenarios que surgen de rr 1a 0 y r r 1 a 1 0.
Si a 0, entonces r 0, 1. La sumatoria es multiplicada por 1 ó u, con coeficientes a0 , a2 , a4 , .

Si a1 0, entonces r 0, 1. En este caso la sumatoria es multiplicada por 1 ó 1u, con coeficientes
a1 , a3 , a5 , .
El análisis de estas cuatro posibilidades permite demostrar que sólo dos de ellas son independientes, con-
duciendo 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 2
k 1k 2 ak ,
FCFM 83 U de Chile
con a o a1 no nulos. Puesto que éstos están definidos salvo una constante, sus valores son estandarizados
de modo que conlleven a la serie
P u Pl u

K
k 2l 2k! ul 2k
2l k!l k !l 2k !
,
k0
donde 2K l (2K l 1) para l par (impar). Observando que

dl u2l 2k
dul
2ll 2k
2k ! l
! u
2k
,
es posible demostrar, utilizando la fórmula binomial, que
1 dl
Pl u u2 1l . (5.4.16)
2l l! dul
A ésta se le reconoce como la fórmula de Rodrigues para los polinomios de Legendre. Para los órdenes
más bajos se tiene
P u 1
P1 u u
P2 u 3u2 12
P3 u 5u3 3u2
5.4.2. Propiedades de los polinomios de Legendre
Entre las propiedades más relevantes de los polinomios de Legendre notamos
1 u2 Pl 2uPl ll 1Pl 0 (5.4.17a)

d
du
1 u2
dPl
du
ll 1Pl 0 (5.4.17b)
l 1Pl 1 2l 1uPl lPl 1 0 (5.4.17c)

Pl 1 uPl l 1Pl 0 (5.4.17d)
Pl 1 Pl 1 2l 1Pl 0 (5.4.17e)
Pl u l Pl u (5.4.17f)
Además de éstas mencionamos la función generatriz, que se expresa

1
tl Pl u .
1 2ut
(5.4.18)
2
t
l 0
Por último, los polinomios de Legendre satisfacen relaciones de ortogonalidad análogas a las vistas para las
funciones armónicas y de Bessel. En este caso
1
Pl uPm u du
2
δlm , (5.4.19)
1 2l 1
U de Chile 84 FCFM
con l, m enteros. La demostración de esta identidad es directa para el caso l m. Considerando la identidad (
5.4.17b) para los ı́ndices l y m, multiplı́quese por Pm y Pl , respectivamente. Restar los lados correspondientes
y reagrupar, obteniéndose
d
du
1 u2Pm Pl 1 u2 Pl Pm ll 1 mm 1 Pl Pm 0.
1
Integrando 1 du , se encuentra
1
ll 1 m m 1 du Pl Pm 0,
1
de la cual resulta
1 directa la ortogonalidad de los polinomios de legendre cuando m l. En el caso m l
evaluamos 1 du Pl2 u, cuyo cálculo queda propuesto como ejercicio.
5.4.3. Las funciones esféricas de Bessel
Los polinomios de Legendre surgieron luego de aplicar separación de variables a la ecuación de Helmholtz.
La constante de separación se denotó por λ, los cuales ante argumentos de regularidad de la solución toman
la forma ll 1. Estudiamos ahora la ecuación diferencial para la parte radial dada por la Ec. ( 5.4.13a),
con λ ll 1. Denotando t kr se obtiene

d
dt
t2
dR
dt
t2 ll 1R 0 .
El aspecto de esta ecuación es muy similar a la de Bessel, por lo cual intentamos una solución del tipo
R tp Jν t ,
con p, ν parámetros a determinar. Sustituyendo en la ecuación diferencial para R obtenemos
t2 Jν 2p 2tJν t2 p p
0, 1 l l 1Jν
cuya forma se aproxima a la de Bessel si exigimos 2p 2 1, es decir p 12. De esta forma
t2 Jν tJν t2
14 ll 1Jν 0 .
ν2
Finalmente imponemos ν 2 ll 1 14, de donde surge ν 2 l 122 . Ası́,

ν l 12 ,
de modo que las dos soluciones linealmente independientes para R son
R1 1t Jl 12 t R2 1t J t .
l 1 2
Estas dos soluciones dan origen a las funciones esféricas de Bessel del primer y segundo tipo, denotadas
por jl t y nl t, respectivamente. Es también usual denominarlas funciones esféricas de Bessel y de Newman,
respectivamente. La definición standard es
π 12
jl t Jl 12 t Bessel; (5.4.20a)
2t
π 12
nl t l 1 J l 12 t Newman. (5.4.20b)
2t
FCFM 85 U de Chile
Para los ordenes más bajos se tiene
j t sin t
t
n t cos t
t
Es frecuente encontrarse con combinaciones lineales del tipo h
l jl inl , correspondientes a funciones
de Hankel de primer y segundo tipo.
Con todo lo anterior, la solución general a la ecuación de Helmholtz resulta una combinación lineal del
tipo
ψ r, θ Al jl kr Bl nl krPl cos θ .

l 0
Las constantes Al , Bl se determinan a partir de las condiciones de borde.
5.5. Ecuación de Laplace en una cavidad esférica
Consideremos la ecuación de Laplace al interior de una cavidad esférica de radio b. Los hemisferios
están sometidos a potenciales !V y el sistema exhibe simetrı́a axial. Resolvemos entonces ∇2 V 0,
con V RrP θ. Mediante separación de variables, considerando los procedimientos discutidos en esta
+Vo θ
−Vo
Fig. 5.6: Problema de Laplace dentro de una cavidad esférica.
sección, es directo encontrar que P Pl cos θ, con lo que la ecuación para la parte real queda

1 d
r2 dr
r 2 dR
l l 1 R 0 .
dr r2
Probando Rr rp , es directo verificar que pp 1 l l 1. Sus soluciones son p l; p l 1,
por lo que la solución más general se expresa

V r, θ Pl cos θ .
Bl
Al rl

l 0
rl 1
Regularidad en el origen exige que Bl 0. Para encontrar los coeficientes Al evaluamos el potencial en el
borde del cascarón, para el cual V b, θ f u, con u cos θ. Entonces, al igual como se ha hecho en
oportunidades anteriores,

f u Al bl Pl u .

l 0
U de Chile 86 FCFM
Multiplicando por Pm u, integrando y haciendo uso de ortogonalidad [c.f. Ec. ( 5.4.19)] se obtiene
1
Al 2l2 bl 2 f uPl u du .
1
Para el caso f u signuV 2, una función impar en u, claramente los coeficientes de orden par se
anulan. Ello porque Pl u tiene paridad l . Para aquellos coeficientes de la forma A2k 1 se observa
1
A2k 1 V 2kb2k 312 P2k 1 u du .
0
Esta última integral se puede evaluar utilizando, por ejemplo, la fórmula de Rodrigues. Ello queda propuesto
como ejercicio3 .
5.6.
Los esféricos armónicos
En la sección anterior se abordaron los problema de Helmholtz y de Laplace considerando sistemas con
simetrı́a 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 ángulo φ. Como es de anticipar, una forma de abordar este nuevo
problema es mediante separación de variables.
Consideremos la ecuación de Laplace para un campo ψ y apliquemos separación de variables de la forma

ψ r, θ, φ RrP θF φ. Entonces,

1 d2 F
1 1 d
r2 R dr
r 2 dR
dr
1 1 1 d
r2 P sin θ dθ
sin θ
dP
dθ dφ2
F
0.
m2
De aquı́ surge un requerimiento directo cual es F φ m2 F , con m entero. Por lo tanto,
F φ eimφ .
El resto del procedimiento es más 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 método
de series, esquema que puede ser consultado en algún texto. Otro esquema también frecuente es aquel donde
se introducen operadores diferenciales de ‘subida’ y ‘bajada’ capaces de generar nuevas soluciones a partir de
soluciones básicas. En ambos casos se obtienen funciones soluciones de la parte angular θ, φ del laplaciano,
tı́picamente denotadas de la forma Y θ, φ con un par de ı́ndices adicionales. No redundaremos en estos
procedimientos. En cambio, seguiremos el esquema de Schwinger cuyo enfoque desde el punto de vista
conceptual es bastante interesante.
Una solución elemental de la ecuacion de laplace, ∇2 φ 0, es φ 1r, (r 0). A partir de esta

solución podemos generar otra que llamaremos φ1 ,

φ φ1 a ∇
1
aii 1r ai xi a r .
r r3 r3
3 Hacerlo.
FCFM 87 U de Chile
Puesto que a es arbitrario, esta solución conlleva a tres soluciones linealmente independientes, una por cada
componente ai ; i 1, 2, 3. Estas soluciones, en forma explı́cita, pueden ser
φ1x rx3 ; φ1y ry3 ; φ1z rz3 .
En forma análoga podemos construir otra solución,
a2 ∇a1 ∇ 1r a2 ∇ a1r3 r 3a1 ra2 rr5 a1 a2 r

2
φ2 .
Al escoger orientaciones independientes para a1 y a2 se generan 3 3 posibles combinaciones, tres de las

cuales se repiten por simetrı́a. Ello reduce a 6 combinaciones diferentes ilustradas en el arreglo
3x2 r2 3xy 3xz

3y 2 r2 3yz .
3z 2 r2
Sin embargo, de los 3 elementos de la diagonal sólo 2 son independientes. En efecto, al sumar los dos
primeros se genera el tercero, salvo un signo. Esto reduce a 5 el número de combinaciones independientes.
La extensión del procedimiento ilustrado anteriormente permite generar una gran familia de soluciones
a la ecuación de Laplace. En general, es fácil ver que φl r se escribe de la forma
φl r f l r ,
1
r2l 1
(5.6.21)
con fl r una función homogénea de grado l, vale decir, fl λr λl fl r . Notamos además que fl r es
también una solución de la ecuación de Laplace, en virtud al teorema de inversión. En éste se establece
que si φr es solución de la ecuación de Laplace, entonces 1r φr r2 también lo es. En nuestro caso,

1 fl r 1
fl r fl r r2 .
1
r 2l 1 r r
2 l r
Antes de proceder a una construcción sistemática de las soluciones, es útil contar el número de soluciones
independientes que se pueden obtener para un l dado. Como hemos visto, el numerador el la Ec. ( 5.6.21)
está formado por combinaciones de potencias del tipo xa y b z c , con a b c l. Nos preguntamos por
el número posible de combinaciones a, b, c independientes que cumplan con la condición a b c l.
Analicemos,
a0 b cl l 1 combinaciones
a1 b cl1 l combinaciones
a 2 b c l 2 l 1 combinaciones
..
.
al a b0 1 combinación.
Con ésto el número total de combinaciones es 1 2 l 1 l 1l 22. Al construir una
combinación lineal fl de todos estos términos y exigir que cumplan la ecuación de laplace, x2 y2 z2 fl 0,
nos planteamos entonces el número de polinomios homegéneos de grado l 2 independientes: ll 12.
Con ello, el número de polinomios independientes de grado l que satisfacen Laplace es
1
2
l 1l 2 ll 1 2l
1
2
1.
U de Chile 88 FCFM
Con estos argumentos esperamos formar 2l 1 polinomios de orden l que satisfacen la ecuación de Laplace.
Para el caso l 2 surgen 5 polinomios, como vimos al comienzo.
Denotamos las soluciones de grado l por Yl r , llamados sólidos armónicos. Entonces,
Yl r rl Yl r̂ .
Observar que por el teorema de inversión también es solución de la Ecuación de Laplace

1 r 1
Yl 2 Yl r̂ l 1 Yl r̂ .
1 1
r r r r r
A las funciones Yl r̂ se les denomina funciones esféricas armónicas, o simplemente esféricos armónicos
5.6.1. Construcción de los esféricos armónicos
Nos planteamos esta vez bajo qué condiciones el elemento a r l , con a un vector de tres componentes,
satisface la ecuación de Laplace. Calculamos
∇a r l la rl 1

a ∇2 a r l ll 1a rl 2
aa .
Al exigir ∇2 0 surge evidentemente que a a 0, lo que implica que a a1 , a2 , a3 sea un vector
de componentes complejas. Entonces,
a21 a22 a33 0 .
Esta condición4 es posible con sólo dos constantes complejas puesto que siempre habrá una constante
multiplicativa indeterminada. Ası́ definimos convenientemente
a1 i a2 ξ2 ; a 1 i a2 ξ 2 ; a3 ξ ξ .
Entonces,
a1 ξ ξ 2
1 2
2
a2 ξ ξ 2
1 2
2i
a3 ξ ξ .
Con ésto es fácil probar entonces

z
x iy
a r̂ 12 ξ 2 x iy
ξ2 2ξ ξ .
r r r
Considerando 2 2
x r sin θ cos φ 3 x iyr sin θ eiφ 3
y r sin θ sin φ x iyr sin θ e iφ .
4 4
z r cos θ z r cos θ
4 Un vector que cumpla esta propiedad de denominará vector nulo.
FCFM 89 U de Chile
Entonces,
1 2
a r̂ ξ sin θeiφ ξ 2 sin θe iφ 2ξ ξ cos θ
2
2 iφ % 2 (
ξ e
2 sin θ
ξ
ξ
sin θe iφ
cos θ 1
2 iφ l % 2 (l
ξ e
a r̂l 2 sin θ
ξ
ξ
sin θe iφ
cos θ 1
La expansión anterior es de la forma genérica

l
Fl b, u b u2 1 ,
la cual puede ser expandida en serie de Taylor en b. Obsérvese la siguiente manipulación:

bk k
2l
l
Fl b, u b u2 1
k0
k! bk b 0

bk k 2
2l
l
k
u 1 k lm
k0
k! u
l
bl m l m u2 1l
m l
l m ! u l m .
Con este resultado, denominando u cos θ, obtenemos para a r̂ l ,

l
l
a r̂
l
2 iφ
ξ e l
1 ξ sin θe iφ m
l m .u2 1/l
2 sin θ m l
l m ! ξ u l m

l
ξ ξ l m l m imφ
l m .u2 1/l
l
e
m
θ l m ! u l m
m l 2 sin
Definiendo los coeficientes
l m l
ξ m
ψlm ξ
, (5.6.22)
l m!l m!
entonces
a r̂l rl
l
ψlm
4π
Y m θ, φ , (5.6.23)
l! m l
2l 1 l
lo que lleva tácita la definición de los esféricos armónicos
$ l
Yl θ, φ
m 2l 1 l m! imφ 1 d
m
cos2 θ 1l .
4π l m! e sinm θ d cos θ 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 ecuación de Laplace. Ası́, son soluciones de la ecuación de Laplace los Ylm . En otras palabras,

1 1 2
θ sin2 θ φ2 ll 1 Yl θ, φ 0 .
m
sin θ θ
sin θ
U de Chile 90 FCFM
Además de los Ylm , es frecuente encontrarse con la función Θlm θ, la cual está definida por
Ylm θ, φ Θlm θ .

1 imφ
e
2π
Para este caso se tiene

1 m2
sin θ θ
sin θ
θ l l 1
sin2 θ
Θlm θ 0 .
Con la definición anterior resulta directo

Yl0 2l 1
4π
Pl cos θ .
Además,
Y00 14π

Y10 3
4π
cos θ

Y11 ! 8π3 sin θeiφ
En cuanto a la notación de los esféricos armónicos, ella no es única. Es frecuente encontrarse con las
siguientes notaciones equivalentes,
Ylm θ, φ Messiah, Cohen-Tannoudji, Shankar
Ylm θ, φ Landau, Greiner, Jackson
Es también frecuente utilizar el vector unitario r̂ para representar la dependencia en los ángulos esféricos
θ, φ. Ası́, Ylm θ, φ Ylm r̂ .
5.6.2. Relaciones de ortogonalidad
Entre las propiedades importantes de los esféricos armónicos figuran las relaciones de ortogonalidad,

dΩ Ylm θ, φYlm θ, φ δll δmm
π
sin θ Θl m θΘlm θ δll .
0
Para la demostración de la primera de ellas consideremos la integral

Ill dΩ a r̂ a r̂ ,
l l
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́ sólo de D a a, que podemos expresar Ill D. Ante el
cambio a λa observamos que necesariamente
λ l λl Ill D Ill λ2D ,
FCFM 91 U de Chile
condición que sólo se cumple si Ill δll . Entonces, para l l

λ2l Ill D Ill λ2D ,
condición que se cumple sólo si Ill D Dl , de modo que

dΩ a r̂ a r̂l Cl a al δll .
l
Ill (5.6.25)
En esta relación los factores Cl son coeficientes numéricos independiantes de a. Para su obtención podemos
considerar la elección particular a 1, i, 0 a 1, i, 0, con lo cual
a r̂ sin θ eiφ
a r̂ sin θ eiφ
a a 2.
Reemplazando en la Ec. ( 5.6.25) para l l , luego de sustituir u cos θ, se obtiene
1
Cl 2l 4π 1 u2 l du .
0
La determinación de Cl se centra ahora en la evalucaión de la integral

1
βl 1 u2 l du ,
0
para la cual β 1 y que satisface la relación de recurrencia5

2l2 l!1! .
l 2
βl 2l 2l 1 βl 1 βl
De esta forma
4π 2l2 l!1! ,
l 2
Cl
con lo cual
a r̂l a r̂l

dΩ
l! l! 2l
2l
1!
a al δll . (5.6.26)
Ahora buscamos una forma de introducir en esta identidad los esféricos armónicos Ylm .
Recordemos la Ec. (5.6.2) donde se introducen los esféricos armónicos. En ella

a r̂l rl
l
ψlm
4π
Y m θ, φ ,
l! m l
2l 1 l
de modo que al sustituir en Ec. ( 5.6.26) obtenemos

ψlm Y m θ, φ Y m θ, φ 2 a al δll .

l
dΩ ψlm l l
2l!
mm
Es conveniente expresar el lado derecho de esta identidad en términos de los coeficientes ψlm . Para ello
completar los siguientes pasos intermedios
5 Demostrarla.
U de Chile 92 FCFM
Demostrar que a a 1

2 ξ ξ 2 .
ξ ξ
Utilizar la fórmula del binomio para demostrar
a al 2l 1 1!

l
2l! . ξ
ξ
/l m .
ξ ξ
/l m
m l
l m !l m!
Utilizar la definición de los ψlm [c.f. Ec. ( 5.6.22)] para obtener
a al 2l2l!

l
ψlm .
ψlm
m l
Con lo anterior es fácil verificar (las sumas en m, m se subentienden entre l y l)

dΩ ψl m ψlm Ylm θ, φ Ylm θ, φ ψl m ψlm δll δmm .
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 relación que buscábamos.
5.6.3. Otras identidades
Sin entrar a demostrar las propiedades que siguen, es conveniente tenerlas presentes por su gran utilidad.
Ellas son

Ylm θ , φ Ylm θ, φ δ θ θ δ φ φ

1
lm
sin θ

4π r
Y m r̂ Ylm r̂
l
1
r r 1 l
lm
2l 1 rl
4π
m
Pl r̂ r̂ Y r̂ Ylm r̂ Teorema de adición
2l 1 m l
Ylm r̂ Ylm π θ, π φ l Ylm r̂ Inversión
5.7. Teorı́a de Sturm-Liouville
Muchos de los problemas estudiados hasta ahora se pueden reducir a ecuaciones diferenciales cuya forma
general está dada por
px qxu λρxu 0 .
d du
(5.7.27)
dx dx
6 Verificarlo.
FCFM 93 U de Chile
Tı́picamente λ proviene de la constante de separación. A esta ecuación se le denomina ecuación de Sturm-

Liouville (SL). En general, toda ecuación de la forma
d2 u
P x Qxu Rx ,
du
dx2 dx
puede ser escrita de la forma SL. Para ello basta la sustitución

; λρx q x
px e P x dx
Qx
px
.
Definamos el operador de Liouville L mediante

Lu px qxu ,
d du
dx dx
de modo que la ecuación SL se escribe
Lu λρx 0 .
Esta ecuación 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 definición de las
funciones es a, b y consideremos los autovalores λj y λk , tales que
-
Luj λj uj 0 uk
-
Luk λk uk 0 uj
Al multiplicar por uk y uj en forma cruzada, luego de restar los lados correspondientes, se obtiene
d . / - b
p uj uk puj uk λk λj ρuj uk dx
dx a
Al suponer λj λk , entonces
b b
λk λj ρuj uk dx p uj uk uj uk a .
a
Notemos que si

p uj uk uj uk a p uj uk uj uk b , (5.7.28)
b
entonces las funciones uk y uj son ortogonales bajo el producto interno 'uj uk ( a
ρuj uk dx. Las
condiciones de borde expresadas en la Ec. ( 5.7.28) se cumplen cuando:
i.- ua ub 0 (Dirichlet).
ii.- u a u b 0 (Newman).
iii.- αu u a αu u b 0 (Mixta).

iv.- ua ub; u a u b, con ρa ρb (Periódica).
U de Chile 94 FCFM
Aceptando que las autofunciones de SL conforman un conjunto completo de funciones, entonces cual-
quier función f x en el intervalo a, b se puede expandir de la forma

b
f x ck uk x ; ck f xuk xρx dx .

k 1 a
Para los casos estudiados y otros similares se observan las identificaciones mostradas en la Tabla (5.1).
En general toda autofunción SL, fn x, satisface una relación con la nésima derivada de otra función.
A ésta se le reconoce como fórmula generalizada de Rodrigues,
dn
fn x ρxgxn .
1
an ρx dxn
La función g x es un polinomio y los coeficientes an obedecen convenciones de standarización. Para el caso
de los polinomios de Legendre an 2n n!, g x x2 1, ρx 1.
Otro tipo de relación importante en las funciones SL es la que se reconoce como función generatriz.
Este es un tipo de construcción del tipo

Gx, t an fn x tn ,
n 0
donde la función Gx, t es una expresión cerrada. Si bien existe una forma sistemática de obtener tales
funciones, nos remitiremos a los ejemplos clásicos en que participan los polinomios de Legendre y de Hermite.
Para ellos,

1
tn Pn x
1 2xt t2
n 0

tn
e2xt x2
Hn x
n0
n!
5.8. Ecuaciones especiales
Se trata esta vez de abordar el problema general
u pz u q z u 0 , (5.8.29)
Tabla 5.1: Ejemplos clásicos de SL

Ecuación Autofunción px q x ρx λ
Bessel Jn x n2 x x 1
Legendre Pn 1 x2 0 1 n n 1
Legendre asoc. Θnm 1 x2 m2 1 x2 1 nn 1
2 2
Hermite Hn e x 0 e x 2n
FCFM 95 U de Chile
con condiciones de borde definidas. Muchas ecuaciones de la fı́sica se pueden reducir a esta forma. Es
importante tener presente que no siempre se puede obtener una solución a este problema. Existen casos en
los cuales las caracterı́sticas de los términos que participan imponen restricciones importantes en la obtención
de las soluciones.
Un método para abordar este problema general es mediante el método de series debido a Frobenius y
Fuchs. La idea es buscar una solución en torno al origen o cualquier otro punto de interés. El problema es
abordado siguiendo los siguientes esquemas alternativos.
a) Buscando una solución en base a la naturaleza analı́tica de pz y q z .
b) Buscando una solución en base a la naturaleza de las condiciones de borde.
Dentro del primer esquema contemplamos tres escenarios de interés.
a1) Si pz y q z son regulares en z 0, entonces la Ec. ( 5.8.29) posee dos soluciones distintas de la
forma
uz ak z k .

k 0
a2) Si pz y q z son singulares en z 0, pero zpz y z 2qz son regulares, entonces existe al menos
una solución a la Ec. ( 5.8.29).
a3) Si pz y q z son irregulares en z 0, con zpz y z 2 q z singulares en z 0, entonces puede

no existir solución a la Ec. ( 5.8.29). En este caso no se sabe de método para resolver la ecuación
planteada.
5.8.1. Aplicación del método de series
Examinemos el caso a2, para el cual

zpz an z n ; z 2 q z bn z n ,

n 0
n 0

e intentamos una solución uz z r n0 cn z n . En esta expansión el parámetro r está por ser determinado.
Derivando y sustituyendo en la Ec. ( 5.8.29), luego de multiplicar por z 2 r , se obtiene
5 65 6 5 65 6

n rn r 1cn z n an z n n rcn z n bn z n cn z n 0 .

n 0
n 0
n 0
n 0
n 0
Está claro que para separar términos de igual

potencia es necesario
multiplicar series. Para ello
recurrimos al
siguiente procedimiento general. Si F n An z n , y G n Bn z n , entonces H F G n Cn z n , con
n
Cn An m Bm .

m 0
U de Chile 96 FCFM
Ası́ entonces,
5 6

n
n rn r 1cn m ran m bn m cm zn 0.

n 0
m 0
De aquı́ surge la relación para los coeficientes

n
n rn r 1 c n m ran m bn m cm 0

m 0
o bién,
n
1
n rn r 1 n r a b cn m r a n m bn m cm 0
m 0
Guiados por esta relación, definamos las funciones
λ s s s 1
sa b
λi s sai bi i0
λi s 0 i 0
Entonces,
n
1
λ r ncn λn m r mcm , (5.8.30)

m 0
relación que permite obtener los coeficientes cn recursivamente. Al hacer n 0 se tiene λ r c 0.
Escogiendo c 0, entonces λ r 0, o bién
r2 a 1r b 0.

A esta ecuación se le denomina ecuación indicial, cuyas raı́ces determinan la naturaleza de la solución. Ellas
están dadas por

r1,2
1 a 1 a 2 4b
r1 r2 1 a .
2
Con esta última, si suponemos Re r1 Re r2 , entonces Re r1 Re1 a 2. De estos resultados surgen
algunas consecuencias a considerar.
i.- Siempre va a existir una solución a la Ec. ( 5.8.29).
ii.- Una segunda ecuación linealmente independiente también existe si es que r1 r2 no es entero.
iii.- Si r1 r2 N , con N entero, entonces se cumplen, simultáneamente,
λ r1 0
λ r2 N 0
Cuando ésto ocurre, una segunda solución no se puede obtener a partir de la ecuación de recurrencia.
Ello es evidente7 luego de observar la Ec. ( 5.8.30) para los cn .
7 Examine esta observación.
FCFM 97 U de Chile
Cuando existe una solución a la ecuación ( 5.8.29) podemos buscar una segunda solución mediante el método
de variación de parámetros. Consideremos
u pu qu 0 ,
y supongamos que u1 es la solución que se obtiene con la raiz r1 de la ecuación indicial. Construimos
u2 hu1 , (5.8.31)
con h una función por determinar. Sustituyendo directamente en la ecuación diferencial y dividiendo por h u
se obtiene
h u1 d . /
2 p0, ln h ln u21 p .
h u1 dz
Integrando, reordenando y considerando una constante c de integración,
h 2 e p
zdz .
c
u1
Examinemos ahora el argumento de la exponencial,

1

pz dz an z n dz
z n0

a
a ln z
n n
z .
n1
n
Con ello
h uc2 e u2cz a
an an
a ln z n 1 zn n 1 zn
e n e n
1 1

Puesto que u1 zr 1
n0 cn z , entonces
n
an n
h
e n 1 n z
c
z 2r1 a
z 2r c a F z .
n0 cn z
n 1
La función F z es claramente regular. Considerando además r1 r2 a 1, además de r1 r2 N ,

entonces
h 1 N F z .
c
z
A este punto conviene tener presente que todos los coeficientes que definen F z son conocidos, de modo
que podemos expresar, sin pérdida de generalidad,

cF z γn z n ,

n 0
con la cual
.
h γ γ1 z γ2 z
1 2
zN 1
γ
z N 1
γ1
zN
γ2
zN 1
γzN integrando
h γN ln z
β0
zN
β1
zN 1

γN ln z
1
zN
β0 β1 z

γN ln z βn z n

n 0
U de Chile 98 FCFM
En esta última se han introducido los coeficiente βn provenientes de la integración. Puesto que u2 hu1 ,
entonces,
u1

u2 γN u1 ln z βn z n .
z N n0

A este punto sustituimos u1 z r1 cn z n en el segundo sumando del término del lado derecho. Recordando
que r1 N r2 , entonces la expresión anterior se puede escribir de la forma

u2 γN u1 ln z z r2 βn z n .

n 0
Este resultado permite identificar la estructura de la segunda solución a la Ec. ( 5.8.29). La forma como
se procede a obtenerla explı́citamente es sustituyendola en la ecuación diferencial original para obtener los
coeficientes βn mediante los métodos descritos.
5.8.2. La ecuación hipergeométrica
La ecuación hipergeométrica tiene la forma

d2 u
z 1 z c a 1z abu 0 .
du
b (5.8.32)
dz 2 dz
En este caso identificamos
c a b 1z
pz z 1 z
q z ab ,
z 1 z
con lo cual
c a b 1z
zpz a c
1z
z 2 q z abz b 0 .
1z
La ecuación indicial
es r2 c 1t 0 0, cuyas raı́ces son r 0 y r 1 c. Para r 0 planteamos la
solución u1 n0 cn z n , la cual depende de a, b, c. Denotaremos

u1 z F a, b, c; z cn z n .

n 0
8
Al sutituir en la ecuación diferencial se obtiene para los coeficientes,
cn a n 1b n 1
n c n 1
.
Si c 1 n, con n entero, entonces

aa 1 a n 1bb 1 b n 1
cn n!cc 1 c n 1
Γa n Γb n Γc Γ1
Γa Γ b Γ c n Γ n 1
.
8 Hacerlo.
FCFM 99 U de Chile
De esta forma,

Γc
Γa nΓb n n
F a, b, c; z
ΓaΓb n0 Γn 1 Γ c n
z . (5.8.33)
A esta función se le llama serie hipergeométrica.
Es común hacer uso de los sı́mbolos de Pockhammer, definidos por
λn ΓΓλλn ,
con los cuales expresamos

a b
F a, b, c; z
n n n
n0
n! c n
z .
Una forma de denotar la ubicación de los sı́mbolos 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 especı́ficos adoptados por los parámetros a, b, c, las series hipergeométricas
pueden representar diversas funciones conocidas. Listamos algunas de ellas
F 1, 1, 1; z 1 1 z z 1
zF 1, 1, 2; z ln1 z
F a, b, b; z 1 z a
zF 12 , 12 , 32 ; z 2 arcsin z
F n, n 1, 1; z Pn 1 2z
Una segunda solución a la ecuación hipergeométrica [c.f. Ec. ( 5.8.32)] es intentando otra del tipo
w z 1 c g z
Luego de reemplazar en la ecuación original se obtiene9
z z 1g a
b 2c 3z 2g
c a
c 1b
c 1g 0 .

α β 1 γ α β
Claramente se trata de la ecuación hipergeométrica al identificar
α ac 1
β bc 1
γ 2c
La segunda solución es, entonces,

wz z 1 c
2 F1 α, β, γ; z .
9 Hacerlo.
U de Chile 100 FCFM

5.8.3. La ecuación hipergeométrica confluente
Se trata de la ecuación
zu c z u au 0 . (5.8.34)
Para este caso los coeficientes para la ecuación indicial son a c, y b 0. Las raı́ces son nuevamente
r 0 y r 1 c. La solución para r 0 es del tipo

u Φa, c; z cn z n .
n 0
Al sustituir en la ecuación se obtiene10 para los coeficientes
cn acn ,
n
Entonces,

an
Φa, c; z n
n0
cn z ,
denominada función hipergeométrica confluente y que converge para todo valor de z. Por la estructura
de los sı́mbolos de Pockhammer, a esta serie se le denota 1 F1 . Son casos particulares de las funciones
hipergeométricas confluentes las siguientes
iz
Jn z en! z2 1 F1 n 12 , 2n 1; 2iz (Bessel)
Ln z 1 F1 n, 1; z (Legendre)
H2n z n
2n !
F1 n, 12 ; z 2 (Hermite)
n! 1
10 Hacerlo.
FCFM 101 U de Chile

U de Chile 102 FCFM

Capı́tulo 6
Funciones de Green
Una amplia clase de problemas de la fı́sica se cuantifican en el marco de ecuaciones diferenciales sujetas a
condiciones de borde definidas. Para su resolución se recurre a estrategias especı́ficas afines con los términos
que participan en la ecuación. Ello es particularmente el caso cuando se estudia un problema lineal en
presencia de un término no homogéneo o fuente. La introducción de las funciones de Green permite un
enfoque distinto basado en la estructura de los operadores que intervienen, permitiendo una solución 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 contemporáneos calificaron esta contribución de bajo perfil.
Fué Lord Kelvin quién apreció la profundidad de este aporte, el que hoy en dı́a constituye una herramienta
standard en muchas áreas de la fı́sica.
A modo de ilustración consideremos Lx un operador diferencial lineal y nos planteamos la ecuación
Lx ux f x , (6.0.1)
con f x una función arbitraria pero conocida. Para resolver este problema consideremos una función de dos
variables Gx, t, tal que
Lx Gx, t δ x t .
Podemos verificar entonces que una solución a la Ec. ( 6.0.1) está dada por

ux Gx, tf t dt .
Ası́, estamos en condiciones de dar una solución formal al problema original. Un aspecto importante en la
construcción de la función Gx, t lo constituye el tema de las condiciones de bordes impuestas sobre u.
Notar que Gx, t no depende de la naturaleza de la fuente.
6.0.1. Problema con C.B. homogéneas
Consideremos la ecuación diferencial de segundo orden para la función ux en el intervalo a, b con
condiciones de Dirichlet (homogéneas),
Lu u pxu q xu f x . (6.0.2)
103
Consideremos y1 x y y2 x soluciones de Lu 0, tales que y1 a y2 b 0. A partir de éstas busquemos
una solución a la ecuación no homegénea ( 6.0.2) construida de la siguiente forma,
ux v1 xy1 v2 xy2 .
En esta caso v1 x y v2 x son funciones auxiliares por determinar. Ellas representan dos grados adicionales
de libertad que, sin pérdida de generalidad, pueden ser reducidos a sólo uno. La forma de restringirlas se
verá en seguida. Luego de sustituir ux en la Ec. ( 6.0.2) y hacer uso de Ly1 Ly2 0, se obtiene
v1 y1 2v1 y1 v2 y2 2v2 y2 pxv1 y1 v2 y2 f x .
A este punto podemos imponer, para todo x,
v1 y1 v2 y2 0.

Derivando y sustituyendo en la ecuación anterior obtenemos
v1 y1 v2 y2 f x ,
lo que se resume en el siguiente sistema de ecuaciones diferenciales para nuestras incógnitas v1 y v2 ,

y1 y2
y1 y2
v1
v2
0
f x
.
Este sistema de 2 2 se resuelve en forma simple. Denotando
W x y1 y2 y2 y1 ,
entonces
v1 W1x y2 x f x ; W1x y1 x f x . v2
Integrando con respecto a x y reemplazando en la construcción para ux tenemos

y2 x y1 x
ux y1 x f x dx y2 x f x dx .
W x W x
En forma equivalente,
x b
y 1 t y2 t
ux y2 x f t dx y1 x f t dx .
a W t x W t
La solución encontrada tiene la forma

b
ux Gx, tf t dt ,
a
donde definimos la función de Green

y1 ty2 xW t, a
t
x
Gx, t
y1 xy2 tW t, x
t
b
.
Vemos que Gx, t depende de las soluciones homogéneas 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 ilustración, y aún más generalmente, la función de Green satisface cinco propiedades
importantes.
U de Chile 104 FCFM

1. La función de Green satisface Lx Gx, t δ x t.
2. Gx, t es contı́nua en t x.
En efecto, para 0 y denotando x x tenemos Gx, x y1 x y2 xW x
y1 xy2 xW x. De forma análoga, Gx, x y1 xy2 x W x y1 xy2 xW x. Clara-
mente entonces, Gx, x Gx, x 0.
3. La derivada Gx, t t es discontı́nua en t x.

En este caso
G
y 1 t

y1 x

t tx y2 x t W t x y2 x x W x

G y1 x
y 2 t y2 x
y1 x x W x
t

t x t W t x
Restando ambas derivadas y reconociendo W x y1 xy2 x y2 xy1 x, se verifica
G G 1 .
t tx t tx
G(x,t)
t
t=x
Fig. 6.1: Discontinuidad de Gx, t t.
4. La función de Green es simétrica en sus argumentos, Gx, t Gt, x.
5. La función de Green cumple con las C.B. Gx, a Gx, b 0
6.0.2. Un ejemplo clásico
Consideremos la ecuación de Helmholtz en 1D
u k 2 u f x ,
donde u0 uL 0. Claramente, dos soluciones independientes de la homogénea son
y1 x sinkx
y2 x sink x L.
FCFM 105 U de Chile

A partir de ésta construimos el wronskiano,
W x sinkx k cosk x L k coskx sink x L W x k sinkL .
Por lo tanto la función de Green está dada por

sinkt sink x Lk sinkL 0
t
x
Gx, t
sinkx sink t Lk sinkL x
t
L

De esta forma la solución está dada por ux Gx, tf tdt, es decir,
x L
sinkt sink x L sinkx sink t L
ux f t dt f t dt .
0 k sinkL x k sinkL
Verificamos que en x 0 la primera integral es nula, mientras que la segunda contribución se anula al
evaluar sinkx. De igual forma, en x L la segunda integral no contribuye, en tanto que sink x L
se anula. Estas dos observaciones permiten que la expresión obtenida para ux cumpla las condiciones de
bordes homogéneas.
U de Chile 106 FCFM

Apuntes de Metodos Matematicos para La Física - Hugo F. Arellano

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apuntes de Metodos Matematicos para La Física - Hugo F. Arellano

Enviado por

Direitos autorais:

Formatos disponíveis

www.elsolucionario.

Departamento de Fı́sica - FCFM

1. Elementos de análisis complejo 9

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

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

1.4. Propiedades geométricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.5. Transformaciones conformes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

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

1.8. Fórmula 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

fι Métodos Matemáticos para la Fı́sica

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

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

1.15. Prolongación analı́tica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

1.16. Relaciones de dispersión . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

1.17. Método del descenso más empinado (steepest descent) . . . . . . . . . . . . . . . . . . . . 40

2. Coordenadas curvilı́neas ortogonales 45

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

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

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

4. Series y transformada de Fourier 59

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

H. F. Arellano Métodos Matemáticos para la Fı́sica fι

4.3. Paso del discreto al contı́nuo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

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

4.4.1. El teorema de convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

4.4.2. Relación de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

4.4.3. Potencial debido a una distribución de cargas . . . . . . . . . . . . . . . . . . . . . 65

5.2.1. Ecuación de Laplace en un disco . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

5.3. La ecuación de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

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

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

5.3.3. Diferenciación y recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

5.3.4. Una identidad útil . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

5.3.5. La ecuación de Laplace en una cavidad cilı́ndrica . . . . . . . . . . . . . . . . . . . 79

5.4. Ecuación de Helmoltz con simetrı́a 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 esféricas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

5.5. Ecuación de Laplace en una cavidad esférica . . . . . . . . . . . . . . . . . . . . . . . . . . 86

5.6. Los esféricos armónicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

5.6.1. Construcción de los esféricos armónicos . . . . . . . . . . . . . . . . . . . . . . . . 89

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

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

5.7. Teorı́a de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

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

5.8.1. Aplicación del método de series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96

5.8.2. La ecuación hipergeométrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99

5.8.3. La ecuación hipergeométrica confluente . . . . . . . . . . . . . . . . . . . . . . . . 101

6.0.2. Un ejemplo clásico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105

fι Métodos Matemáticos para la Fı́sica

Elementos de análisis complejo

1. Asociatividad para la suma y el producto,

2. Conmutatividad de la suma y el producto,

4. Existencia del cero (0 0 i 0) y de la unidad (1 1 i 0):

fι Métodos Matemáticos para la Fı́sica

6. Existencia del inverso multiplicativo. Si z x i y, entonces1 z 1

1.2. Funciones de variable compleja

Fig. 1.1: Cuando z  z , entonces w  w .

Fig. 1.1: Cuando z z , entonces w w .

f z f z z 2 z2 z

Calculemos f z mediante un acercamiento z z paralelo al eje real, es decir δz δx, con z x i y.

ux i xv vy i uy

Examinemos un ejemplo simple: f z z 2 . Considerando z x i y es fácil verificar que f z

Imponemos que f z f z . Examinamos

de donde se obtienen a a 0; b b 0. Las ecuaciones de arriba son dos ecuaciones acopladas

ay A cos y B sin y , by A sin y B cos y .

Imponemos f 0 1, con cual

Construimos f u iv wx, y, obteniendo

ux xv uy vy .

A modo de ilustración, consideremos nuevamente la función f z z 2 . En tal caso u x2 y 2 , y

Fig. 1.3: Curvas de nivel de ux, y (izquierda) y v x, y (derecha).

La aplicación w f z asocia a cada par x, y de z x i y otro u, v de w u i v. Ası́ entonces,

Fig. 1.5: Si f z 0 entonces δza , δzb δwa , δwb .

Consideremos la transformación f z 1z y estudiemos la región que resulta al considerar el conjunto

∇A xAy y Ax xv y u 0 ,

z t t 2it , t:01.

z t t 2it2 , t:01.

Reagrupando los términos en 1ξ z tenemos

La propiedad χ 1 es evidente