FIsica Matematica II

FISICA MATEMATICA
II
Versi
on del 26 de agosto de 2013
Prefacio
Este apunte se confeccion

o con contribuciones de Guillermo Rubilar, Oscar Fuentealba,
y parte del c
odigo LATEX de los apuntes de Sean Mauch [1].
Anti-Copyright: No se reserva ning

un derecho. Cualquier parte de esta obra puede
ser usada, almacenada y/o transmitida, y modificada sin requerir permiso.
Otros apuntes en https://sites.google.com/site/apuntesdecienciasfisicas.
...As, nosotros los mortales, somos inmortales en lo que creamos en com

un.
Albert Einstein.
Indice general
Prefacio
1. An
alisis de Fourier
1.1. Resumen: Series de Fourier .
1.1.1. Propiedades Generales
1.1.2. Convoluci
on . . . . . .
1.1.3. Relaci
on de Parseval .
1.1.4. Convergencia . . . . .
1.2. Cambio de Intervalo . . . . .
1.2.1. Delta de Dirac . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2. La transformada de Fourier
2.1. Generalizaci
on a mayores dimensiones . . . . . . . . . . . . . .
2.2. Propiedades de la Transformada de Fourier . . . . . . . . . . .
2.2.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . .
2.2.2. Transformada de Fourier de la derivada de una funcion
2.2.3. Teorema de Convolution . . . . . . . . . . . . . . . . . .
2.2.4. Teorema de Parseval . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
2
2
2
3
4
.
.
.
.
.
.
5
6
6
6
6
7
8
3. Ecuaciones Diferenciales parciales de la Fsica

3.1. Clasificaci
on de E.D.P. lineales de segundo orden y Condiciones de Borde .
3.1.1. Condiciones de Borde y condiciones suficientes para determinar soluciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
4. El M
etodo de Separaci
on de Variables
12
5. Funciones de Legendre
5.1. E.D.O. Asociada de Legendre . . . . . . . . . . . . .
5.1.1. E.D.O de Legendre . . . . . . . . . . . . . . .
5.1.2. Expresiones explcitas . . . . . . . . . . . . .
5.1.3. F
ormula de Rodrigues . . . . . . . . . . . . .
5.1.4. Relaciones de recurrencia . . . . . . . . . . .
5.2. Relacion de ortogonalidad . . . . . . . . . . . . . . .
5.2.1. Series de Legendre . . . . . . . . . . . . . . .
5.3. Solucion en serie de Potencia (Metodo de Frobenius)
5.3.1. Convergencia . . . . . . . . . . . . . . . . . .
5.3.2. Caso Q = n(n + 1) . . . . . . . . . . . . . . .
5.4. Funciones de Legendre de segunda especie . . . . . .
5.4.1. Relaciones de Recurrencia . . . . . . . . . . .
5.4.2. Expresiones explcitas para Qn (x) . . . . . .
14
14
14
16
16
16
17
17
17
18
19
20
21
25
ii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
5.5. Funciones asociadas de Legendre . . . . . . . . . . . .

5.5.1. Ecuaci
on diferencial . . . . . . . . . . . . . . .
5.5.2. Ecuaci
on diferencial (forma de Sturm-Liouville)
5.5.3. F
ormula de Rodrigues . . . . . . . . . . . . . .
5.5.4. Funci
on generadora . . . . . . . . . . . . . . .
5.5.5. Relaciones de recurrencia . . . . . . . . . . . .
5.5.6. Ortogonalidad . . . . . . . . . . . . . . . . . .
5.6. Funciones Arm
onicas Esfericas . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
27
27
27
27
28
28
28
6. Funciones de Bessel
6.1. Ecuaci
on de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Solucion en serie en torno a z = 0 . . . . . . . . . . . . . . . . . . .
6.3. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . .
6.3.1. Representaci
on integral . . . . . . . . . . . . . . . . . . . .
6.3.2. Forma asint
otica . . . . . . . . . . . . . . . . . . . . . . . .
6.3.3. Ceros de las funciones de Bessel . . . . . . . . . . . . . . . .
6.3.4. Relaciones de Ortogonalidad . . . . . . . . . . . . . . . . .
6.4. Funciones de Bessel de orden entero . . . . . . . . . . . . . . . . .
6.4.1. Funci
on generadora de Funciones de Bessel de orden entero
6.4.2. Representaci
on integral . . . . . . . . . . . . . . . . . . . .
6.4.3. Sumatorias de funciones de Bessel . . . . . . . . . . . . . .
6.5. Funciones de Bessel de orden semi-entero . . . . . . . . . . . . . .
6.6. Funciones de Bessel de segunda especie . . . . . . . . . . . . . . . .
6.6.1. Representaci
on integral . . . . . . . . . . . . . . . . . . . .
6.6.2. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . .
6.7. Funciones de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . .
6.8. Funciones modificadas de Bessel . . . . . . . . . . . . . . . . . . .
6.8.1. Funciones Modificadas de Bessel de segunda especie . . . .
6.9. Funciones Esfericas de Bessel . . . . . . . . . . . . . . . . . . . . .
6.9.1. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . .
6.9.2. Expresiones explcitas . . . . . . . . . . . . . . . . . . . . .
6.9.3. Relaciones de Ortogonalidad . . . . . . . . . . . . . . . . .
6.9.4. Funciones esfericas de Hankel . . . . . . . . . . . . . . . . .
6.9.5. Forma asint
otica . . . . . . . . . . . . . . . . . . . . . . . .
6.9.6. Funciones modificadas esfericas de Bessel . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
30
30
30
34
36
37
37
38
38
39
40
41
42
43
44
44
45
45
47
48
49
49
50
50
50
51
7. Funciones de Green
7.1. Motivaci
on . . . . . . . . . . . . . . . . . . .
7.2. Generalizaci
on . . . . . . . . . . . . . . . . .
7.3. Simetra de la funci
on de Green . . . . . . . .
7.4. Expresiones explcitas de algunas funciones de
7.4.1. Operador Laplaciano . . . . . . . . . .
7.4.2. Operador de Helmoltz . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
53
53
54
55
56
56
57
.
.
.
.
.
60
60
61
61
63
63
8. Tensores
8.1. Tensores Cartesianos . . . . . . .
8.2. Bases ortogonales . . . . . . . . .
8.3. Transformaciones ortogonales . .
8.4. Convenci
on de suma de Einstein
8.5. Vectores . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . .
. . . .
. . . .
Green
. . . .
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8.6. Escalares . . . . . . . . . . . . . . . . . . .
8.7. Tensores . . . . . . . . . . . . . . . . . . . .
8.8. Operaciones tensoriales . . . . . . . . . . .
8.8.1. Multiplicaci
on por escalar . . . . . .
8.8.2. Adici
on de tensores . . . . . . . . . .
8.8.3. Producto (tensorial) de tensores .
8.8.4. Contracci
on de ndices . . . . . . . .
8.8.5. Permutaci
on de ndices . . . . . . .
8.8.6. Tensores simetricos y antisimetricos
8.9. Smbolo de Levi-Civita y pseudo-tensores .
8.9.1. (Pseudo)-tensor dual . . . . . . . . .
8.10. Analisis tensorial cartesiano . . . . . . . . .
8.10.1. Campo tensorial . . . . . . . . . . .
8.10.2. Derivaci
on . . . . . . . . . . . . . . .
8.10.3. Divergencia, rotor, Laplaciano . . .
8.10.4. Integraci
on . . . . . . . . . . . . . .
A. Otras funciones especiales
A.1. Funciones de Laguerre . . . . . .
A.2. Funciones de Laguerre asociadas
A.3. Funciones de Hermite . . . . . .
A.4. Polinomios de Chebyshev . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
B. La Delta de Dirac
B.1. La funci
on . . . . . . . . . . . . . . . . . . . . . . .
B.1.1. Derivada de la delta de Dirac . . . . . . . . .
B.2. Delta de Dirac evaluada en una funcion y cambios de
B.2.1. Otras identidades . . . . . . . . . . . . . . . .
B.2.2. Representaci
on integral . . . . . . . . . . . .
B.2.3. La delta de Dirac tridimensional . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
64
64
68
68
68
68
68
69
69
70
74
75
75
75
76
76
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
79
81
82
84
. . . . .
. . . . .
variable
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
86
86
87
87
88
88
88
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
C. Coordenadas curvilineas
90
C.1. Coordenadas Cartesianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
C.2. Coordenadas Cilndricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
C.3. Coordenadas Esfericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
Captulo 1
An
alisis de Fourier
1.1.
1.1.1.
Resumen: Series de Fourier

Propiedades Generales
Si f () es una funci
on (real o compleja) periodica, de periodo 2, su serie de Fourier
es dada por

a0 X
f () =
+
an cos(n) + bn sen(n) .
(1.1)
2
n=1
Recuerde que las funciones {cos(n), sen(n)}

n=0 forman una base completa para el espacio
de las funciones peri
odicas de periodo 2 [2].
Usando las relaciones de ortogonalidad
Z
Z
cos(m) cos(n) d =
sen(m) sen(n) d = mn ,
(1.2)
cos(m) sen(n) d = 0,
(1.3)
podemos encontrar las expresiones para los coeficientes de Fourier an y bn 1 :

Z
1
an =
f () cos(n) d,
n = 0, 1, 2, .

Z
1
bn =
f () sen(n) d
n = 0, 1, 2, .

(1.4)
(1.5)
Equivalentemente, f () puede expandirse en terminos proporcionales a las funciones ein ,

con n = 0, 1, 2, :
X
f () =
cn ein ,
(1.6)
n=
donde los coeficientes cn est

an dados por
Z
1
cn =
f ()ein d.
2
(1.7)
Lo anterior puede ser verificado a partir de (1.1), (1.4) y (1.5) usando la relacion ein =
cos(n) + i sen(n), o directamente a partir de la relacion de ortogonalidad
Z
ein eim d = 2nm .
(1.8)
Es conveniente definir b0 := 0, tal como se incluye en (1.5).
Los coeficientes de la series (1.1) y (1.6) estan relacionados por

(
1
(an ibn )
para n 0,
cn = 12
para n 1,
2 (an + ibn )
(1.9)
o bien,
bn = i(cn cn ),
an = cn + cn ,
n = 0, 1, 2, .
(1.10)
Si f () es una funci
on real entonces sus respectivos coeficientes complejos cn satisfacen
la relacion
Z
Z
1
1
in
cn =
f ()(e
) d =
f ()ein d = cn
(1.11)
2
2
donde z representa el complejo conjugado de z.
1.1.2.
Convoluci
on
c(12)
n
Z
1
f1 ()f2 ()ein d
=
2
Z
1 X
(2) im in
f1 ()Cm
e e
d
=
2 m
Z
1 X (2)
=
Cm
f1 ()ei(nm) d
2 m
X
(1)
(2)
=
Cm
Cnm
(1.12)
(1.13)
(1.14)
(1.15)
c(12)
=
n
(1)
(2)
Cm
Cnm .
(1.16)
1.1.3.
Relaci
on de Parseval
Si elegimos f1 () = f (), f2 () = f () y n = 0 en (1.16), encontramos

Z
|f ()|2 d = 2
1.1.4.
|Cn |2 .
(1.17)
Convergencia
Una sucesi
on Sn (x) de funciones definidas en el intervalo x [, ] converge en
media a una funci
on f (x) si
Z
lm
[f (x) Sn (x)]2 dx = 0.
(1.18)
n
La sucesi
on Sn converge a f (x) excepto en un conjunto de medida cero
Una sucesi
on Sn (x) de funciones converge uniformemente a una funcion f (x) si para
todo > 0 existe un N > 0 tal que
|f (x) Sn (x)| < ,
para cada x (N independiente de x).
2
n > N,
(1.19)
Teorema [3]: Si f (x) es una funci

on es muy suave por tramos (es decir, si la funcion, su
primera y segunda derivadas son continuas por tramos) en el intervalo (, ) entonces su
serie de Fourier converge a
1
[f (x 0) + f (x + 0)] ,
x (, ),
(1.20)
2
1
[f ( + 0) + f ( 0)] ,
x = .
(1.21)
2
La convergencia es uniforme en cada subintervalo cerrado donde f (x) es continua.
Teorema [3]: Si una funci
on definida en un intervalo cerrado [a, b] satisface las condiciones de Dirichlet (es decir, si a) f (x) es continua por tramos, y b) el intervalo (a, b)
puede ser dividido en un n
umero finito de subinteralos donde f (x) es monotona) entonces
tambien se satisfacen las propiedades de convergencia del Teorema 1.
Teorema
on f (x) es cuadrado-integrale en (, ) (f L2 (, ), es
R [3]: Si2 la funci
decir, si |f (x)| dx es finito) entonces su serie de Fourier converge en media a f (x).
Esto no cubre todas las posibilidades de covergencia! Ej. f (x) = ln(cos(x/2)) (Butkov,
pag. 168)
1.2.
Cambio de Intervalo
Es simple extender los resutados anteriores al caso de funciones periodicas de periodo

arbitrario. Si f (t) es una funci
on de periodo T = b a entonces
g() := f (a +
T
)
2
(1.22)
es una funcion de periodo 2 en la variable . Por lo tanto, podemos expandir g() en serie
de Fourier,
Z
X
1
in
g() =
g()ein d.
(1.23)
cn e ,
cn =
2
n=
Usando (1.22), y realizando el cambio de variable de integracion a t := a+L/2, podemos
expresar los coeficientes cn como
Z
1
cn =
g()ein d
(1.24)
2
Z
1
T
f (a +
)ein d
(1.25)
=
2
2
Z b+T /2
2
1
2
=
(1.26)
f (t)ein T (ta) dt
2 aT /2
T
Z
2in
1 2ina b
T
f (t)e T t dt.
(1.27)
= e
T
a
Definimos la frecuencia fundamenal 1 := 2/T y las frecuencias armonicas n := n1 ,
n = 0, 1, 2, . Entonces, la funci
on original f (t) = g(2(t a)/L) puede escribirse
como
X
f (t) =
fn ein t ,
(1.28)
n
donde
1
fn :=
T
f (t)ein t dt.
(1.29)
1.2.1.
Delta de Dirac
Podemos encontrar una representaci

on de la delta de Dirac (t) (ver apendice B para
mas detalles). En este caso, los coeficientes fn se reducen a:
Z
1 b
(t)ein t dt
fn =
T a
1
= .
T
(1.30)
(1.31)
Por lo tanto,
"
#

X
1 X in t
1
2nt
(t) =
1+2
e
=
cos
T n
T
T
n=1
(1.32)
Captulo 2
La transformada de Fourier
Las series de Fourier permiten representar una funcion peri
odica como superposicion
de funcioes seno y coseno (o exponenciales de argumento imaginario). Es posible extender
metodo de expansi
on de Fourier al caso de funciones no-periodicas, resultando las llamadas
integrales de Fourier. Podemos entender estas integrales de Fourier como el lmite contnuo
de las series de Fourier.
Consideremos una funci
on f (t) de periodo T , y como intervalo fundamantal a (T /2, T /2).
Entonces, usando (1.28) y (1.29) podemos escribir
" Z
#
X
1 T /2
in
f (t) =
f ()e
d ein t .
(2.1)
T
T
/2
n=
Equivalentemente, podemos expresar la suma en (2.1) en terminos de la frecuencias n y
la diferencia (en este caso, constante) entre ellas := n+1 n = 2/T :
" Z
#
T /2
X
1
in
f (t) =
f ()e
d ein t .
(2.2)
2
T
/2
=
n
En el lmite T , (y por lo tanto 0), la funcion f (t) puede considerarse como

una funcion no-peri
odica arbitraria definida en todo el intervalo (, ). Por otro lado,
la suma se transforma en una integral1 . Por lo tanto, en este lmite obtenemos la identidad

Z Z
1
i
f (t) =
f ()e
d eit d,
(2.3)
2
a partir de la cual podemos definir la transformada de Fourier de la funcion f (t) como
1
f() =
2
f (t)eit dt,
(2.4)
de modo que la transformada inversa resulta ser

1
f (t) =
2
f()eit d.
(2.5)
Observaciones:
Cuidado! La derivaci
on anterior es heurstica (e.d. no rigurosa).
1
Recuerde la definici
on de integral de Riemann:
Rb
a
f (x) dx := lmxi 0
xi
f (xi )xi .
Otras notaciones: f() = g() = F(f (t)).
El factor 1/ 2 en las definiciones (2.4) y (2.5) es hasta cierto punto convencional.

Lo importante es la identidad (2.3). Por ejemplo, en lugar de estos factores, podra
introducirse en (2.4) y 1/2 en (2.5), con una constante arbitraria. Algunas
elecciones populares son = 1 y = 1/2.
Note que en (2.5) la integral se extiende sobre frecuencias positivas y negativas.
R
Compare (2.4) con la definici
on de la transformada de Laplace: F (s) := 0 f (t)est dt.
En Fsica es costumbre denotar, en el caso en que se considere una funcion de la
posicion f (t) f (x), a denotar usar el n
umero de ondak en Rlugar de la frecuecia
, de modo que la expansi

on adopta la forma f (x) = (1/ 2) f(k)eikx dk.
2.1.
Generalizaci
on a mayores dimensiones
2.2.
Propiedades de la Transformada de Fourier
2.2.1.
Delta de Dirac
Z
1
F[(x )] =
(x )eix dx
2
1
= ei
2
1
(x ) =
2
2.2.2.
(2.6)
(2.7)
ei(x) d.
(2.8)
Transformada de Fourier de la derivada de una funci

on
Z
1
f 0 (t)eit dt
F[f (t)] =
2

Z
1
1
= f (t)eix
(i)f (t)eit dt
2
2

Z
1
1
= f (t)eix
+ i
f (t)eit dt
2
2

1
= iF[f (t)] + f (t)eix
.
2
(2.9)
(2.10)
(2.11)
(2.12)
Entonces si la funci
on f (t) se anula en el infinito, es decir si lmt f (t) = 0, entonces

F f 0 (t) = (i)F[f (t)].
(2.13)
Aplicacion sucesiva de esta relaci

on, bajo las mismas condiciones, conduce a
h
i
F f (n) (t) = (i)n F[f (t)].
6
(2.14)
Ejemplo:
(
0
H(t c) =
1
para t < c,
para t > c
(2.15)
F[(t c)] = iF[H(t c)]

1
eic = iF[H(t c)]
2
F[H(t c)] =
2.2.3.
1 ic
e
2i
(2.16)
Teorema de Convolution
F[f1 (t)f2 (t)] =

=
=
=
Z
1
f1 (t)f2 (t)eit dt
2
Z

Z
1
0
f1 (t)
f2 ( 0 )ei t d 0 eit dt
2

Z Z
1
i( 0 )t
f1 (t)e
dt f2 ( 0 ) d 0
2
Z
1
f1 ( 0 )f2 () d 0
2
1
f12 () =
2
f1 ( 0 )f2 () d 0 .
(2.17)
(2.18)
(2.19)
(2.20)
(2.21)
Analogamente
1
F 1 [f1 ()f2 ()] =
2
f1 ()f2 (t ) d
(2.22)
Ejemplo: Usando el teorema de convolucion podemos encontrar la transformada de

Fourier de
1
f (x) = 4
.
(2.23)
x + 5x2 + 4
1
f (x) = 2
(2.24)
(x + 1)(x2 + 4)

2c
F 2
= ec|| for c > 0.
(2.25)
x + c2

4
1 2
F[f (x)] = F
8 x2 + 1 x2 + 4

Z
1
|| 2||
=
e e
d
8
Z 0

Z
1
2||
2||
=
e e
d +
e e
d
8
(2.26)
(2.27)
(2.28)
Si > 0.

Z 0
Z
Z
1
23
2+
2+3
e
d
e
d +
e
d +
F[f (x)] =
8

1 1 2
1
=
e
+ e e2 + e
8 3
3
1
1
= e e2
6
12
(2.29)
(2.30)
(2.31)
Si < 0.

Z
Z
Z 0
1
23
2
2+3
e
d
e
d +
e
d +
F[f (x)] =
8
0

1 1
1
=
e e2 + e + e2
8 3
3
1
1
= e e2
6
12
(2.32)
(2.33)
(2.34)
We collect the result for positive and negative .

1
1
F[f (x)] = e|| e2||
6
12
(2.35)
Otra forma de encontrar la transformada de

f (x) =
x4
1
+ 5x2 + 4
(2.36)
es expandir la funci
on en fracciones parciales:
f (x) =
1/3
1/3
2
+1 x +4
x2

1
2
1
4
F[f (x)] = F 2
F 2
6
x +1
12
x +4
1
1
= e|| e2||
6
12
2.2.4.
(2.37)
(2.38)
(2.39)
Teorema de Parseval
Z
|f (t)| dt =
|f()|2 d
(2.40)
Captulo 3
Ecuaciones Diferenciales parciales

de la Fsica
En fsica es com
un encontrar ecuaciones diferenciales parciales, entre las mas frecuentes
destacan las siguientes:
Ecuacion de Laplace:
2 = 0.
(3.1)
Esta ecuaci
on aparece en el estudio de:
Electrost
atica, magnetost
atica, electrodinamica.
Hidrodin
amica.
Gravitaci
on.
Ecuacion de Poisson
2 = g(~x).
(3.2)
2 k 2 = 0.
(3.3)
Ecuacion de Helmholtz:
Esta ecuaci
on, conocida tambien como la ecuacion de difusion independiente de tiempo, aparece en el estudio de
Ondas el
asticas en s
olidos.
Ac
ustica.
Ondas electromagneticas.
Reactores nucleares.
Ecuacion de difusi
on dependiente del tiempo ( = difusividad termica)
2
1
= 0.
t
(3.4)
Ecuacion de la onda dependiente del tiempo

2
1 2
= 0.
v 2 t2
(3.5)
Ecuacion de Klein-Gordon:

m2 c2
= 0.
~2
(3.6)
Ecuacion de Schr
odinger:
Ecuaciones diferenciales acopladas de Maxwell
Observaciones:
Todas estas ecuaciones son lineales en la funcion desconocida.
Las ecuaciones fundamentales de la fsica atmosferica son no lineales asi como tambien
las ecuaciones involucradas en los problemas de turbulencia,
Las ecuaciones son casi todas de segundo orden excepto las ecuaciones de Maxwell y
de Dirac que son de primer orden.
Las tecnicas generales para resolver ecuaciones diferenciales lineales que consideraremos
en este curso son:
1. Metodo de separaci
on de variables: La ecuacion diferencial parcial es desdoblada en
ecuaciones diferenciales ordinarias.
2. Metodo de las transformadas integrales.
3. Metodo de las funciones de Green.
3.1.
Clasificaci
on de E.D.P. lineales de segundo orden y Condiciones de Borde
Una E.D.P. lineal de segundo orden de la forma [4]

m
X
j=1
aj (~x)

2
~
+
F
~
x
,
,
= 0,
x2j
(3.7)
o que pueda reducirse a (3.7) por medio de alg

un cambio de variables, puede clasificarse
en los siguientes tres tipos:
Elpticas en ~x0 : si en el punto ~x0 todos los coeficientes aj (~x0 ) son no-nulos y tienen
el mismo signo. Ejemplo cl
asico: Ec. de Laplace.
Ultrahiperb
olicas en ~x0 : si en el punto ~x0 todos los coeficientes aj (~x0 ) son no-nulos,
pero no tienen el mismo signo. Si solo uno de los coeficientes tiene signo diferente
del resto, la E.D.P. es hiperb
olica. Ejemplo clasico: Ec. de onda.
Parab
olica en ~x0 : si en el punto ~x0 al menos uno de los coeficientes aj (~x0 ) se anula.
Ejemplo cl
asico: Ec. de difusi
on del calor.
Si una E.D.P. de segundo orden es de un tipo dado en todos los puntos de su dominio, se
dice simplemente que es de ese tipo (es decir, el tipo no cambia de punto a punto). Esto
ocurre, en particular con las E.D.P.s de segundo orden con coeficientes constantes.
10
3.1.1.
Condiciones de Borde y condiciones suficientes para determinar

soluciones
E.D.P. elpticas: C.d.B. tipo Dirichlet o Neumann sobre una (hiper)superficie cerrada.
E.D.P. hiperb
olica: C.d.B. tipo Cauchy sobre una (hiper)superficie abierta.
E.D.P. parab
olica: C.d.B. tipo Dirichlet o Neumann sobre una (hiper)superficie abierta.
11
Captulo 4
El M
etodo de Separaci
on de
Variables
Coordenadas Esf
ericas
En coordenadas esfericas, la ecuaci
on de Laplace Helmholtz (modificada) adopta la
forma:

1
1
1
2
2
r
+
sen()
+
+ = 0.
(4.1)
r2 r
r
r2 sen
r2 sen2 2
Buscaremos soluciones separables de la forma
(r, , ) = R(r)()().
(4.2)
Introduciendo (4.2) en (4.1), multiplicando por r2 sen2 y dividiendo por (R), se obtiene

1 d
1
d
d
1 d2
2
2 dR
2
sen
r
+
sen
+ r +
= 0.
(4.3)
R dr
dr
sen d
d
d2
De esta forma, podemos realizar la primera separacion, ya que necesariamente
1 d2
= const. = m2 .
d2
(4.4)
Las soluciones univaluadas, e.d. que satisfacen ( + 2) = (), son

() = eim ,
m = 0, 1, 2, .

1 d
1
d
d
2
2 dR
2
sen
r
+
sen
+ r m2 = 0.
R dr
dr
sen d
d

1 d
dR
1
d
d
m2
r2
+ r2 +
sen
= 0.
R dr
dr
sen d
d
sen2

d
dR
r2
+ r2 Q R = 0,
dr
dr

1 d
d
m2
sen
+ Q
= 0.
sen d
d
sen2
12
(4.5)
(4.6)
(4.7)
(4.8)
(4.9)
Caso = 0, ecuaci
on de Laplace
La primera ecuaci
on es una ecuaci
on tipo Euler y puede ser resuelta con la substitucion
r := et , y = U (r) = U (et ) o con el Ansatz
U (r) = rl ,
l = const
(4.10)
Reemplazando esta soluci

on en la ecuacion encontramos la condicion l(l 1) = . La
solucion general de la ecuaci
on para U (r) es entonces
U (r) = A rl+1 + B rl ,
donde A y B son constantes arbitrarias.
13
(4.11)
Captulo 5
Funciones de Legendre
5.1.
E.D.O. Asociada de Legendre
Substituyendo x := cos tendremos que la funcion () se transforma en y(x) =

(cos ). Con esto, la ecuaci
on diferencial para y(x) es

d
m2
2 dy
(1 x )
+ Q
y(x) = 0,
x [1, 1].
(5.1)
dx
dx
1 x2
5.1.1.
E.D.O de Legendre
En el caso m = 0, la ecuaci
on (5.1) es llamada ecuaci
on diferencial de Legendre:

d
2 dy
1x
+ Qy = 0
(5.2)
dx
dx
o, equivalentemente
(1 x2 )y 00 2xy 0 + Qy = 0,
(5.3)
En la seccion 5.3 estudiaremos la solucion general de esta ecuacion, para valores arbitrarios de la constante Q. Verificaremos que (5.2) solo posee soluciones finitas en los puntos
extremos (1) si y s
olo si
n = 0, 1, 2, ,
Q = n(n + 1),
(5.4)
es decir, solo si Q = 0, 2, 6, 12, 20, 30, . En este caso las soluciones finitas son los Polinomios de Legendre de orden n.
Antes de abordar el problema m
as general, introduciremos los polinomios de Legendre
por medio de su funci
on generadora. Para esto, consideramos el siguiente argumento:
La funcion (en coordenadas esfericas (r, , ))
(r, ) =
r2
a2
1
2ar cos
(5.5)
es una solucion axialmente simetrica (e.d. independiente de ) de la ecuacion de Laplace. Esto puede verificarse f
acilmente a partir del potencial electrostatico que genera una
carga puntual de magnitud q ubicada sobre el eje z, a una distancia a del origen, que es
determinado por la ley de Coulomb. Este potencial es precisamente = (q/40 )(r, ).
14
Expandiendo (5.5) en potencias de t := a/r, para r > a, obtenemos

1
r2 + a2 2ar cos
1
1
=
r 1 + t2 2xt
1X
=
Pn (x)tn
r
(r, ) =
1
a
n=0
Pn (x)tn+1 ,
(5.6)
(5.7)
(5.8)
(5.9)
n=0
donde hemos introducido nuevamente x := cos . De esta forma, tenemos una solucion
finita para todo t < 1 que consiste en una superposicion de soluciones separables Pn (x)
y tn+1 . Comparando esta soluci
on con (4.11) vemos que esta solucion corresponde al caso
particular en que Q = n(n + 1). Por lo tanto, esperamos que las funciones Pn (x) satisfagan
la ecuacion (5.2) en este caso.
Con esta motivaci
on, podemos definir las funciones de Legendre de orden n, Pn (x), como
los coeficientes de la expansi
on en serie de Taylor de la funci
on generadora g(t, x) :=
(1 2xt + t2 )1/2 , tal que
g(t, x) :=
X
1
=
Pn (x)tn .
1 2xt + t2 n=0
(5.10)
Equivalentemente, tenemos entonces que

1
Pn (x) =
n!

n g(t, x)
.
tn
t=0
(5.11)
X
(2n)! n
x
22n (n!)2
(5.12)
n!
ank bk
k!(n k)!
(5.13)
(1 x2 )1/2 =
n=0
(a + b)n =
X
k=0
g(t, x) =
=
=
=
X
(2n)!
(2xt t2 )n
2n
2 (n!)2
n=0
X
n=0
(2n)!
22n (n!)2
(5.14)
tn (2x t)n
(5.15)
(2n)! n X
n!
t
(2x)nk (t)k
2n
2
2 (n!)
k!(n k)!
n=0
X
X
n=0 k=0
k=0
(1)k (2n)!
2n+k n!k!(n k)!
xnk tn+k
(5.16)
(5.17)
(5.18)
[n/2]
Pn (x) =
X
k=0
(1)k (2n 2k)!

xn2k
2n k!(n k)!(n 2k)!
15
(5.19)
5.1.2.
Expresiones explcitas
Los primeros cuatro polinomios son

P0 (x) = 1,
1
P2 (x) = (3x2 1),
2
P1 (x) = x,
1
P3 (x) = (5x3 3x).
2
Los polinomios de Legendre satisfacen las siguientes propiedades:

Normalizaci
on
Pn (1) = 1.
(5.20)
En otras palabras, los Pn son normalizados de modo que para x = 1 ellos asumen
siempre el valor 1.
Simetra
Pn (x) = (1)n Pn (x)
(5.21)
Los polinomios Pn son funciones simetricas si n es par y antisimetricas si n es impar

Completitud: Los polinomios de Legendre Pn forman un conjunto completo de funciones.
1
0.5
-0.5
-1
-1
-0.5
0.5
Figura 5.1: Primeros cinco polinomios de Legendre.
5.1.3.
F
ormula de Rodrigues
Pn (x) =
5.1.4.
1 dn 2
(x 1)n
2n n! dxn
(5.22)
Relaciones de recurrencia
nPn1 (x) + (n + 1)Pn+1 (x) = (2n + 1) x Pn (x),

(2n + 1)Pn (x) =
0
Pn+1
(x)
16
0
Pn1
(x).
(5.23)
(5.24)
5.2.
Relaci
on de ortogonalidad

d
(1 x2 )Pn0 + n(n + 1)Pn ,
dx

d
0
(1 x2 )Pm
+ m(m + 1)Pm .
dx
Z
(5.25)
[n(n + 1) m(m + 1)]
Pn (x)Pm (x) dx = 0
(5.26)
n 6= m.
Pn (x)Pm (x) dx = 0,
(5.27)
Pn (x)Pm (x) dx =
1
5.2.1.
2
mn
2n + 1
(5.28)
Series de Legendre
Es posible expandir una funci

on f (x), definida en el intervalo x [1, 1] y continua
por tramos, en una serie de Legendre, es decir, en una suma de polinomios de Legendre,
de la forma
X
f (x) =
an Pn (x),
(5.29)
n=0
en el sentido que la serie coverge en media a la funcion f (x) para todo x en [1, 1]
5.3.
Soluci
on en serie de Potencia (M
etodo de Frobenius)
Primero escribimos la E.D.O. en su forma estandar

1 x2 y 00 2xy 0 + Qy = 0,
y 00
(5.30)
2x 0 ( + 1)
y +
y = 0.
1 x2
1 x2
(5.31)
Como los coeficientes de y 0 y y son funciones analticas en la vencindad de x = 0, podemos

encontrar una soluci
on en serie de Taylor en torno a ese punto:
y=
ak xk ,
k=0
y0 =
kak xk1 ,
k=0
y 00 =
(k 1)kak xk2 ,
k=2
(k + 1)(k + 2)ak+2 xk .
k=0
Sustituyendo estas series en 5.30 y obtenemos
X
X
X
X
k
k
k
(k + 1)(k + 2)ak+2 x
(k 1)kak x 2
kak x + Q
ak xk = 0,
k=0
k=0
k=0
17
k=0
(5.32)
[(k + 1)(k + 2)ak+2 ((k 1)k + 2k Q) ak ] xk = 0.
(5.33)
k=0
Igualando los coeficientes de cada termino xk obtenemos las relaciones de recurrencia

ak+2 =
k(k + 1) Q
ak ,
(k + 1)(k + 2)
k = 0, 1, 2, .
(5.34)
A partir de ellas, podemos encontrar todos los coeficientes ak , con k 2 a partir de a0 y

a1 :
k2
a0 Y
(l(l + 1) Q) ,
k par,
k!
l=0
l par
ak =
(5.35)
k2
Y
a
(l(l + 1) Q) , k impar.
k!
l=1
l impar
Por lo tanto, la soluci

on general ser
a una combinacion lineal de la forma
y(x) = a0 y1 (x) + a1 y2 (x),
(5.36)
donde y1 (x) es una funci

on par en x e y2 (x) es una funcion impar en x, dadas por
y1 (x) =
X
Y
X
2m
1 2m2
x =:
(l(l
+
1)
Q)
bm x2m ,
(2m)!
m=0
m=0
l=0
l par
y2 (x) =
(5.37)
2m1
X
Y
X
2m+1
1
x
(l(l
+
1)
Q)
=:
cm x2m+1 .
(2m + 1)!
m=0
(5.38)
m=0
l=1
l impar
En general, tanto y1 (x) como y2 (x) ser

an series infinitas, ya que los correspondientes coek
ficientes de cada x , dados por un producto de factores, seran no nulos excepto si existe
un valor de l tal que l(l + 1) Q = 0. Esto solo ocurrira si la constante Q es de la forma
Q = n(n + 1), con alg
un valor de n = 0, 1, 2, . Si este es el caso, entonces una de las
series se truncar
a, reduciendose a un polinomio.
5.3.1.
Convergencia
Analicemos primero el caso generico en que Q 6= n(n + 1). Como dijimos, las dos soluciones l.i. y1 (x) e y2 (x) ser
an series infinitas, debiendo por tanto analizar su convergencia.
Consideramos
primero
el test de D Alambert 1 . Para el caso de y1 (x) tenemos que
P
y1 (x) = m=0 um , con
um =
2m2
x2m Y
(l(l + 1) Q) = a2m x2m ,
(2m)!
(5.39)
l=0
l par
P
Tambien llamado Cauchy ratio test: Si lmn |un+1 /un | < 1 entonces
n=0 un es una serie convergente. Si lmn |un+1 /un | > 1 la serie es divergente. Si lmn |un+1 /un | = 1 el test de Cauchy no
suministra informaci
on. Ver, por ejemplo, [2], secci
on 5.2.
1
18
y entonces

bm+1 x2m+2
um+1
a2m+2 2

x

= lm
lm
= lm
m
m um
bm x2m m a2m

(2m(2m + 1) Q) 2

x = x2 .
= lm
m (2m + 1)(2m + 2)
(5.40)
(5.41)
Por lo tanto, podemos afirmar que y1 (x) es convergente para |x| < 1. Para analizar la
convergencia cuando x = 1 podemos usar el test de Gauss2 . En nuestro caso (um > 0
para m suficientemente grande) y

um
(2m + 1)(2m + 2)
1
1
Q
1
=
2+
(5.42)
= 1+
+
+ O( 2 ) .
um+1
(2m(2m + 1) Q)
m 8m2
m
m
Por lo tanto, h = 1 y entonces y1 (x) es una serie divergente en x = 1.
Analogamente, puede verificarse que las mismas conclusiones son validas para y2 (x).
En resumen, si Q 6= n(n + 1) las soluciones de la ec. de Legendre son divergentes en los
extremos del intervalo considerado, e.d. x = 1.
5.3.2.
Caso Q = n(n + 1)
Analicemos ahora con m

as detalle el caso en que Q = n(n + 1), puesto que aqu obtendremos series truncadas (es decir, polinomios) que naturalmente son funciones finitas
en todo el intervalo considerado, incluyendo los extremos. De (5.34) vemos que an+2 = 0,
y por consiguiente todos los coeficientes de orden superior de la forma an+2p seran nulos,
con p = 1, 2, . Por lo tanto, si n es par entonces sera la serie y1 (x) la que se truncara,
mientras que y2 (x) continuar
a siendo una serie infinita. Por otro lado, si n es impar y1 (x)
tendra infinitos terminos, mientras que y2 (x) se reduce a un polinomio. El orden del correspondiente polinomio truncado es n en ambos casos (an es el u
ltimo termino no nulo).
Esperamos por lo tanto que estos polinomios sean proporcionales a los polinomios de Legendre de orden n. A partir de (5.37) e (5.38), y usando l(l+1)n(n+1) = (ln)(l+n+1)
encontramos que
n/2
X
y1,n (x) =
bm x2m ,
bm =
m=0
n par,
(5.43)
l=0
l par
(n1)/2
y2,n (x) =
2m2
Y
1
(l n)(l + n + 1),
(2m)!
cm x2m+1 ,
m=0
cm =
2m1
Y
1
(ln)(l+n+1),
(2m + 1)!
n impar. (5.44)
l=1
l impar
Luego de algo de
algebra, podemos verificar que
bm =
(1)m
(n + 2m)![(n/2)!]2
,
(2m)! n!(n/2 m)!(n/2 + m)!
(5.45)
y con ello, podemos escribir la soluci

on y1,n como
n/2
[(n/2)!]2 X (1)m
(n + 2m)!
y1,n (x) =
x2m .
n!
(2m)! (n/2 m)!(n/2 + m)!
(5.46)
m=0
2
Si un > 0 n y un /un+1 = 1 +
on acotada de
Ph/n + B(n)/n donde h es una constante y B(n) una funci
n para n entonces la serie n un converge si h > 1 y diverge si h 1. Ver, por ejemplo, [2], secci
on
5.2.
19
Finalmente, cambiando ndice de suma desde m hasta k := n/2 m, de modo que 2m =

n 2k, entonces
n/2
[(n/2)!]2 X (1)n/2k (2n 2k)! n2k
y1,n (x) =
x
n!
(n 2k)! k!(n k)!
(5.47)
k=0
n/2
2 X
n/2 [(n/2)!]
= (1)
n!
= (1)n/2
k=0
(1)k (2n 2k)! n2k

x
(n 2k)! k!(n k)!
[(n/2)!]2 n
2 Pn (x),
n!
n = 0, 2, 4, .
(5.48)
(5.49)
En el u
ltimo paso hemos identificado la serie de potencias (5.19) de los polonomios de
Legendre.
Analogamente, para n impar podemos expresar los coeficientes cm como
2
!]
(n + 2m)![ n1
(1)m
2
n+2m1 ,
(5.50)
cm =
n2m1
(2m + 1)! n!
!
!
2
2
de modo que
(n1)/2
y2,n (x) =
m=0
n1
2
(n + 2m)![
(1)m

(2m + 1)! n! n2m1
!
2
!]2
n!
(n1)/2
X
m=0
(1)m
(2m + 1)!
n1
!]2
2
2m+1
n+2m1 x
!
2
(n + 2m)!
n+2m1 x2m+1
!
!
2
n2m1
2
(5.51)
(5.52)
Cambiamos ahora ndice de suma, definiendo k tal que 2m + 1 = n 2k, y encontramos

[n/2]!2
y2,n (x) =
n!
(n1)/2
X (1) n2k1
2
(2n 2k 1)! n2k
x
(n 2k)! k!(n k 1)!
(5.53)
k=0
[n/2]
X (1)k (2n 2k)! 1 (n k)
[n/2]!2
(n1)/2
=
(1)
xn2k
n!
(n 2k)! (2n 2k) k! (n k)!
(5.54)
[n/2]
[n/2]!2 (1)[n/2] X (1)k (2n 2k)! n2k
=
x
n!
2
(n 2k)! k!(n k)!
(5.55)
k=0
k=0
[n/2]!2
(1)[n/2] 2n1 Pn (x),
n!
n = 1, 3, 5, .
En resumen, usando una notaci

on algo m
as compacta, podemos escribir:
(
y1,n (x), n par
n!
Pn (x) := (1)[n/2] 22[n/2]
2
[n/2]!
y2,n (x), n impar.
5.4.
(5.56)
(5.57)
Funciones de Legendre de segunda especie
Como hemos visto, en el caso en que Q = n(n + 1) una de las series (y1 si n es par,
y2 si n es impar) se trunca, reduciendose (salvo factores constantes) a los polinomios de
Legendre. Existen por lo tanto siempre, para cada n, un segundo conjunto de soluciones
de la ec. de Legendre, que quedan expresadas como series infinitas que convergen para
20
x (1, 1) pero son divergentes en x = 1. Estas funciones son llamadas las funciones
de Legendre de segunda especie, Qn (x), que por conveniencia definiremos usando factores
analogos a aquellos encontrados en (5.49) y (5.49):
(1)n/2 [(n/2)!]2 2n y2,n (x),

n par
n!
2
Qn (x) :=
(5.58)
n1
(1)(n+1)/2 [( 2 )!] 2n1 y (x), n impar.
1,n
n!
5.4.1.
Relaciones de Recurrencia
A partir de las definiciones (5.58) es posible verificar la siguiente importante propiedad:

Las funciones de Legendre de segunda especie satisfacen las mismas relaciones de recurrencia que los polinomios de Legendre. Como consecuencia, todas las relaciones de recurrencia
que derivamos para los polinomios de Legendre son validas para las correspondientes funciones de segunda especie. Podemos verificar nuevamente a partir de estas identidades que
cada Qn (x) satisface la E.D.O. de Legendre.
En particular, se demostrar
an las siguientes relaciones (a partir de las cuales pueden
derivarse todas las otras):
nQn1 (x) + (n + 1)Qn+1 (x) = (2n + 1) x Qn (x),
(2n + 1)Qn (x) =
Q0n+1 (x)
(5.59)
Q0n1 (x).
(5.60)
En este caso, las soluciones adoptan la forma (ver (5.37) y (5.37), comparar con (5.43)
y (5.44)):
+
X
y1,n (x) =
bm x2m ,
bm =
m=0
y2,n (x) =
+
X
m=0
cm x
2m2
Y
1
(l n)(l + n + 1),
(2m)!
b0 = 1,
(5.61)
l=0
l par
2m+1
cm
2m1
Y
1
=
(l n)(l + n + 1),
(2m + 1)!
c0 = 1. (5.62)
l=1
l impar
A partir de las definiciones en (5.58), podemos escribir:
n2
2
(1) n2 [( 2 )!] 2n2 y1,n1 (x),
(n1)!
Qn1 (x) :=
2
!
[( n1
(1) n1
n1 y
2 )]
2
2,n1 (x),
(n1)! 2
n par
(5.63)
n impar,
[( n
)!]2 n
2
(1) n+2
2
n par
(n+1)! 2 y1,n+1 (x),
2
Qn+1 (x) :=
n+1 [( n+1 )!]
(1) 2
n+1 y
2
2,n+1 (x), n impar.
(n+1)! 2
(5.64)
Por lo tanto,
nQn1 (x) + (n + 1)Qn+1 (x)
n
2
(1) n2 [( 2 )!] 2n [y1,n1 (x) y1,n+1 ] ,
(n)!
2
=

!
[( n1
(1) n+1
2 )]
2
2n1 n2 y2,n1 (x) + (n + 1)2 y2,n+1 ,
(n)!
21
n par
(5.65)
n impar.
Para evaluar el lado derecho de (5.65) usamos las expresiones en serie (5.61) y (5.62).
Para y1,n (x) tenemos que
+
X
y1,n1 (x) =
m=0
+
X
y1,n+1 (x) =
m=0
2m2
Y
1
(l n + 1)(l + n) x2m ,
(2m)!
(5.66)
2m2
Y
1
(l n 1)(l + n + 2) x2m .
(2m)!
(5.67)
l=0
l par
l=0
l par
Reescribimos ahora ambas expresiones como

+
X
y1,n1 (x) =
2m1
Y
1
(l n)(l + n 1) x2m ,
(2m)!
(5.68)
2m1
Y
1
(l n 2)(l + n + 1) x2m .
(2m)!
(5.69)
m=0
+
X
y1,n+1 (x) =
m=0
l=1
l impar
l=1
l impar
Luego, ya que
2m1
Y
(l + n 1) = n
l=1
l impar
2m1
Y
2m1
Y
(l + n 1) = n
l=3
l impar
(l n 2) = (n + 1)
l=1
l impar
2m3
Y
(l + n + 1),
(5.70)
l=1
l impar
2m1
Y
(k n 2) = (n + 1)
l=3
l impar
2m3
Y
(l n), (5.71)
l=1
l impar
tenemos que (5.68) y (5.69) son equivalentes a:

y1,n1 (x) = n
+
X
m=0
y1,n+1 (x) = (n + 1)
2m3
Y
1
(l + n + 1)(l n)(2m 1 n) x2m ,
(2m)!
+
X
m=0
(5.72)
l=1
l impar
2m1
Y
1
(l n)(l + n + 1)(2l + n) x2m .
(2m)!
(5.73)
l=1
l impar
Entonces,
y1,n1 (x) y1,n+1 (x) = (2n + 1)
+
X
m=1
= (2n + 1)
+
X
m=0
2m3
Y
1
(l n)(l + n + 1) x2m (5.74)
(2m 1)!
l=1
l impar
2m1
Y
1
(l n)(l + n + 1) x2m+2(5.75)
(2m + 1)!
= (2n + 1) x y2,n (x).
22
l=1
l impar
(5.76)
Por otro lado, de la expresi

on en serie (5.62) para y2,n (x), y siguiendo el mismo recien
empleado, tenemos que
+
X
y2,n+1 (x) =
m=0
+
X
m=0
2m1
Y
1
(l n 1)(l + n + 2)x2m+1
(2m + 1)!
(5.77)
2m2
Y
1
(l n)(l + n + 3)x2m+1
(2m + 1)!
(5.78)
l=1
l impar
l=1
l par
+
2m2
1 X (2m + n + 1) Y
(l n)(l + n + 1)x2m+1 .
n+1
(2m + 1)!
(5.79)
2m1
Y
1
(l n + 1)(l + n)x2m+1
(2m + 1)!
(5.80)
2m2
Y
1
(l n + 2)(l + n + 1)x2m+1
(2m + 1)!
(5.81)
m=0
l=0
l par
Similarmente,
y2,n1 (x) =
+
X
m=0
+
X
m=0
l=1
l impar
l=0
l par
+
2m2
1 X (2m n) Y
=
(l n)(l + n + 1)x2m+1 .
n
(2m + 1)!
m=0
(5.82)
l=0
l par
De este modo, usando (5.79) y (5.82), encontramos que

2
(n + 1) y2,n+1 (x) n y2,n+1 (x) = (2n + 1)
+
X
m=0
2m2
Y
1
(l n)(l + n + 1)x2m+1
(5.83)
(2m)!
l=0
l par
= (2n + 1) x y1,n (x).
(5.84)
Finalmente, reemplazamos (5.76) y (5.84) en (5.65), y obtenemos
n
2
(1) n2 [( 2 )!] 2n (2n + 1)xy2,n (x),
n par
(n)!
2
(5.85)
nQn1 (x) + (n 1)Qn+1 (x) =
n1
[( 2 )!] n1
(1) n+1
2
2
(2n
+
1)
x
y
(x),
n
impar
1,n
(n)!
n
2
(1) n2 [( 2 )!] 2n y2,n (x),
n par
(n)!
2
= (2n + 1) x
(5.86)
n+1 [( n1 )!]
(1) 2
n1 y
2
2
(x),
n
impar
1,n
(n)!
= (2n + 1) x Qn (x),
(5.87)
demostrando as la identidad (5.59).

Para demostrar la segunda relaci
on de recurrencia, (5.59), calculamos:
Q0n+1 (x) Q0n1 (x)
h
i
n
2
n
1 0
0
(1) 2 [( 2 )!] 2n 1 y1,n+1
(x)
y
n par
n+1
n 1,n1 ,
(n)!
=
2
n1

[( 2 )!] n1
(1) n+1
0
0
2
2
(n + 1)y2,n+1
(x) + ny2,n1
, n impar.
(n)!
23
(5.88)
(5.89)
Usamos nuevamente las expresiones en serie de las funciones y1,n (x), y entonces
0
y1,n+1
(x) =
+
X
m=1
+
X
m=0
2m2
Y
1
(l n 1)(l + n + 2) x2m1
(2m 1)!
(5.90)
2m
Y
1
(l n 1)(l + n + 2) x2m+1
(2m + 1)!
(5.91)
l=0
l par
l=0
l par
+
2m1
X
2m + n + 2 Y
(l n)(l + n + 1) x2m+1 .
(2m + 1)!
= (n + 1)
m=0
(5.92)
l=1
l impar
Analogamente,
0
y1,n1
(x)
2m2
Y
1
(l n + 1)(l + n) x2m1
(2m 1)!
(5.93)
2m
Y
1
(l n + 1)(l + n) x2m+1
(2m + 1)!
(5.94)
2m+1
+
X
(2m n + 1) Y
(l n)(l + n + 1) x2m+1 .
= n
(2m 1)!
(5.95)
+
X
m=1
+
X
m=0
l=0
l par
l=0
l par
m=0
l=1
l impar
A partir de (5.92) y (5.95) podemos escribir
1
1 0
0
y1,n+1
(x) y1,n1
=
(n + 1)
n
+
2m1
X
(2n + 1) Y
(l n)(l + n + 1) x2m+1(5.96)
(2m + 1)!
m=0
l=1
l impar
= (2n + 1) y2,n (x).
(5.97)
Por otro lado,

0
y2,n+1
(x)
+
X
m=0
2m1
Y
1
(l n 1)(l + n + 2) x2m
(2m)!
(5.98)
l=1
l impar
+
2m2
1 X (2p + n + 1) Y
(l n)(l + n + 1) x2m ,
n+1
(2m)!
m=0
(5.99)
l=0
l par
y similarmente,
0
y2,n1
(x) =
+
X
m=0
2m1
Y
1
(l n + 1)(l + n) x2m
(2m)!
(5.100)
l=1
l impar
+
2m2
1 X (2p n) Y
(l n)(l + n + 1) x2m .
n
(2m)!
m=0
l=0
l par
24
(5.101)
Ademas, (5.99) y (5.101) implican que

(n +
0
1)y2,n+1
(x)
0
ny2,n1
(x)
+
2m2
X
(2n + 1) Y
(l n)(l + n + 1) x2m (5.102)
(2m)!
m=0
l=0
l par
= (2n + 1) y1,n (x)

Finalmente, reemplazando (5.97) y (5.103) en (5.89) llegamos a
n
2
(1) n2 [( 2 )!] 2n (2n + 1) y2,n (x),
(n)!
2
Q0n+1 (x) Q0n1 (x) =
!
[( n1
(1) n+1
2 )]
2
2n1 (2n + 1) y1,n (x),
(n)!
= (2n + 1)Qn (x),
(5.103)
n par
(5.104)
n impar
(5.105)
que es precisamente la segunda relaci

on de recurrencia (5.59).
5.4.2.
Expresiones explcitas para Qn (x)
Afortunadamente, es posible encontrar expresiones para las funciones Qn (x) en terminos de funciones conocidas. Para esto, primero calculamos Q0 (x):
2m1
Y
1
l(l + 1) x2m+1 ,
(2m + 1)!
(5.106)
l(l + 1) = 1 2 3 4 (2m 1)(2m) = (2m)!.
(5.107)
Q0 (x) = y2,0 (x) =
m=0
l=1
l impar
Pero,
2m1
Y
l=1
l impar
Por lo tanto,
Q0 (x) =
X
m=0
X
(2m)!
x2m+1
x2m+1 =
.
(2m + 1)!
(2m + 1)
(5.108)
m=0
Esta serie es conocida, ya que vimos que

X
1+x
x2m+1
ln
=2
,
1x
(2m + 1)
(5.109)
m=0
y con esto encontramos finalmente que

1
Q0 (x) = ln
2
1+x
1x

.
(5.110)
Analogamente, para n = 1 tenemos que

Q1 (x) = y1,1 (x) =
X
m=0
2m2
Y
1
(l 1)(l + 2) x2m ,
(2m)!
(5.111)
l=0
l par
En este caso, el producto puede escribirse como

2m2
Y
(l 1)(l + 2) = 1 2 1 4 3 (2m 5)(2m 2)(2m 3)(2m) =
l=0
l par
25
(2m)!
. (5.112)
2m 1
Entonces,
X
x2m
x2m
= 1 +
(2m 1)
(2m 1)
(5.113)
X
X
x2n+2
x2n+1
= 1 +
= 1 + x
.
(2n + 1)
(2n + 1)
(5.114)
Q1 (x) =
X
m=0
m=1
n=0
n=0
Por lo tanto,
x
Q1 (x) = ln
2
1+x
1x

1.
(5.115)
Conociendo Q0 (x) y Q1 (x) podemos encontrar expresiones para las funciones de Qn (x)
de orden superior usando las relaciones de recurrencia (5.59), ya que
Qn+1 (x) =
1
[(2n + 1)xQn (x) nQn1 (x)] .
(n + 1)
(5.116)
Por ejemplo,
1
[3xQ1 (x) Q0 (x)]
2

3 2
1+x
1
1+x
1
3x + x ln
ln
=
2
2
1x
2
1x

1
1+x
3
= (1 3x2 ) ln
x.
4
1x
2
Q2 (x) =
(5.117)
(5.118)
(5.119)
Analogamente, encontramos que

1
Q3 (x) = (5x3 3x) ln
4
1+x
1x
5
2
x2 + .
2
3
(5.120)
1.5
0.5
-0.5
-1
-1.5
-2
-1
-0.5
0.5
Figura 5.2: Primeras cinco funciones de Legendre de segunda especie.

Propiedades de las funciones Qn (x)
Paridad:
Qn (x) = (1)n+1 Qn (x)
26
(5.121)
Valor en el origen:
Qn (0) =
0,
n par
(1)(n+1)/2 [(
n1
2
(5.122)
) !]
2n1 ,
n!
n impar.
Valor en extremo del intervalo:

lm Qn (x) = +.
(5.123)
x1
5.5.
5.5.1.
Funciones asociadas de Legendre

Ecuaci
on diferencial
(1 x2 )
5.5.2.

dy
d2 y
m2
2x
y=0
+
n(n
+
1)
dx2
dx
1 x2
(5.124)
Ecuaci
d
dx

dy
m2
1x
+ n(n + 1)
y=0
dx
1 x2
2
(5.125)
Si m > 0
Plm (x) = (1 x2 )m/2
dm
Pl (x).
dxm
(5.126)
Si m < 0 entonces las soluciones son dadas por

Plm (x) = (1)m
(l m)! m
P (x),
(l + m)! l
m = 0, 1, 2, .
(5.127)
Sin embargo, estas soluciones imponen algunas condiciones sobre m. Ya que Pl es un

polinomio de grado l y ya que en (5.127) involucra derivadas de orden m, entonces m puede
asumir como m
aximo el valor l (de modo de suministrar soluciones no triviales):
m = 0, 1, 2, 3, . . . , l
|m| l.
(5.128)
Es decir, existen 2l + 1 valores permitidos de m para cada l.
5.5.3.
F
ormula de Rodrigues
Pnm (x) =
5.5.4.
1
2n n!
(1 x2 )m/2
dm+n 2
(x 1)n .
dxm+n
(5.129)
Funci
on generadora
X
(2m)! (1 x2 )m/2
=
P m (x) tn
2m m! (1 2tx + t2 )m+1/2 n=0 n+m
27
(5.130)
5.5.5.
Relaciones de recurrencia
m
m
(2n + 1)xPnm = (n + m)Pn1
+ (n + m + 1)Pn+1
5.5.6.
Ortogonalidad
Z
5.6.
(5.131)
2 (n + m)!
n,n0 .
2n + 1 (n m)!
Pnm (x)Pnm0 (x) dx =
(5.132)
Funciones Arm
onicas Esf
ericas
Volvemos ahora al problema original de encontrar las soluciones de la ecuacion de

Laplace para el potencial. Usando (4), (4.11) y (5.127) podemos expresar el potencial
como
R(r)Plm (cos )eim .
(5.133)
onicas esfericas que, incorporando una
Las funciones Ylm (, ) son llamadas funciones arm
normalizacion conveniente, son definidas por:
s
r
2l
+
1
(l m)!
Ylm (, ) := (1)m
(5.134)
P m (cos ) eim .
4
(l + m)! l
En la tabla 5.1 se presentan los casos m
as usados.
l
Ylm
Y00 = 14
q
3
Y10 = 4
cos
q
3
Y11 = 8
sen ei
q
5 3
( cos2 12 )
Y20 = 4
q 2
15
Y21 = 8
sen cos ei
m
qYl
15
Y22 = 14 2
sen2 e2i
q
7 5
Y30 = 4
( cos3 32 cos )
q 2
21
Y31 = 14 4
sen (5 cos2 1)ei
q
sen2 cos e2i
Y32 = 12 105
2
q
35
Y33 = 14 4
sen3 e3i
Cuadro 5.1: Algunas funciones arm

onicas esfericas com
unmente usadas (l, m = 0, . . . , 3).
Ademas, las funciones arm
onicas esfericas satisfacen las siguientes u
tiles propiedades:
Simetra:
Ylm = (1)m (Ylm ) .
Ortonormalidad :
Z
Z
m
m0
Yl (, )(Yl0 ) (, ) d =
Z
0
(5.135)
Ylm (, )(Ylm
0 ) (, ) sen dd = ll0 mm0 ,
(5.136)
donde d = sen dd es el elemento de angulo solido.
Las funciones Ylm forman un sistema completo de funciones. Toda funcion f (, )
que satisface
Z
|f (, )|2 d < ,
(5.137)
28
pueden ser desarrollados en terminos de funciones armonicas esfericas:

f (, ) =
X
l
X
alm Ylm (, ).
(5.138)
l=0 m=l
La completitud de Ylm se expresa por:

X
l
X
(Ylm ) (, )Ylm (0 , 0 ) = ( 0 )(cos cos 0 ).
(5.139)
l=0 m=l
Las funciones arm

onicas esfericas satisfacen
2 (, )Y m = l(l + 1)Y m ,
L
l
l
(5.140)
2 es el operador definido por

donde L
1
L (, ) =
sen
2

1
2
sen
+
.
sen2 2
(5.141)
2 (con valor
En otras palabras, las funciones Ylm son funciones propias del operador L
2 , podemos escribir el operador de Laplace como:
propio l(l + 1)). En terminos de L
2 =
1 2
1 2
(r) 2 L
(, ).
2
r r
r
29
(5.142)
Captulo 6
Funciones de Bessel
6.1.
Ecuaci
on de Bessel
Consideraremos aqu la ecuaci

on diferencial de Bessel con argumento complejo, z
C, ya que sus soluciones suminitrar
an funciones que satisfacen la E.D.O. de Bessel con
variables reales y la E.D.O. modificada de Bessel. Finalmente, buscaremos soluciones de la
ecuacion con un coeficiente 2 real y positivo, pero no necesariamente entero.
En resumen, buscamos soluciones de la ecuacion

d
dy
z
z
+ (z 2 2 )y(z) = 0,
(6.1)
dz
dz
que puede ser escrita como

1 0
2
y + y + 1 2 y = 0.
z
z
00
6.2.
(6.2)
Soluci
on en serie en torno a z = 0
Buscaremos soluciones en serie de potencias de (6.1). Es conveniente encontrar una serie

en torno a z = 0 (el punto m
as simetrico de la ecuacion). Sin embargo, este punto es un
punto singular de la ecuaci
on,Ppor lo que en general no es posible expresar la solucion como
n
una serie de la forma y(z) =
as claramente, recuerde que
n=0 an z . Para entender esto m
los coeficientes an seran entonces proporcionales a la nesima derivada de la solucion
y(z), evaluada en z = 0. Por lo tanto, encontrar la solucion de esta forma es equivalente a
requerir que cada una de las derivadas de la solucion sean finitas en z = 0. Como la E.D.O.
es de segundo orden, se requieren dos condiciones iniciales, que pueden elegirse como y(0)
e y 0 (0). Las derivadas superiores quedan determinadas por la E.D.O. Sin embargo, vemos
de (6.2) que y 00 (0) (y las derivadas superiores) sera en general divergente, a
un en el caso
0
2
2
en que se elija y (0), debido al termino ( /z )y(z).
Afortunadamente, s es posible encontrar soluciones de la forma1
y(z) = z
an z n =
n=0
an z n+ ,
(6.3)
n=0
Una forma alternativa de verificar que este es el caso es realizar el cambio de variable y(z) := x f (z)
y ajustar la constante de modo que la E.D.O.
resultante para la funci
on f (z) s pueda expresarse como
P
n
una serie de potencias de la forma f (z) =
n=0 bn z .
30
donde es una constante (no necesariamente un ento) que sera elegida convenientemente.
Asumiendo (6.3), las derivadas de y(z) adoptan la forma siguiente:
y0 =
y 00 =
(n + )an z n+1 ,
n=0
(n + )(n + 1)an z n+2 .
(6.4)
n=0
Substituyendo estas expansiones en (6.2) encontramos

0 = z 2 y 00 + zy 0 + z 2 2 y
(6.5)
X
X
X
X
=
(n + )(n + 1) an z n+ +
(n + ) an z n+ +
an z n++2 2
an z n+
n=0
n=0
n=0
n=0
(6.6)
=

(n + )2 2 an z n+ +
n=0
an2 z n+
(6.7)
n=2
X

= (2 2 )a0 z + ( + 1)2 2 a1 z +1 +
(n + )2 2 an + an2 z n+ .
n=2
(6.8)
Por lo tanto, los coeficientes deben satisfacer las siguientes condiciones:

(2 2 )a0 = 0,
( + 1)2 2 a1 = 0,
(n + )2 2 an + an2 = 0.
(6.9)
Encontramos as una relaci

on de recurrencia entre an y an2 , que permite entonces expresar
todos los coeficientes an con n par en terminos de a0 y todos los con n impar en terminos
de a1 .
Como buscamos soluciones no nulas, asumimos primero que a0 6= 0. Entonces la primera
condicion en (6.9) implica que = . En este caso la segunda condicion en (6.9) se reduce
a (1 + 2)a1 = 0. Analizaremos primero el caso generico en que 6= 1/2. Entonces
necesariamente a1 = 0 y s
olo los coefientes pares, de la forma a2k , k = 0, 1, 2, , seran no
nulos. De la relaci
on de recurrencia en (6.9) obtenemos
an2
an =
.
(6.10)
n(n + 2)
Aplicacion sucesiva de (6.10) conduce a
a0 (1)k
1
2k
2 k! (1 + )(2 + )(3 + ) (k + )
a0 (1)k (1 + )
=
,
k = 0, 1, 2, .
22k k! (k + + 1)
a2k =
(6.11)
(6.12)
Aqu hemos introducido la funci

on Gamma. Por lo tanto, para = hemos encontrado
una solucion de la forma
X
(1)k (1 + )
y (z) = a0
z 2k+ ,
(6.13)
22k k! (k + + 1)
k=0
donde a0 es una constante arbitraria. Es conveniente definir las funciones de Bessel de

primera especie y orden , J (z), como las soluciones correspondientes al caso en que
a0 := 1/2 ( + 1), de modo que
J (z) =
X
k=0
z 2k+
(1)k
.
k!(k + + 1) 2
31
(6.14)
Expandiendo los primeros terminos, encontramos:

z
z +2
1
1
J (z) =
+
( + 1) 2
( + 2) 2

z
z 2
1
1
1
+ .
=
( + 1) 2
( + 1) 2
(6.15)
(6.16)
Como la E.D.O. de Bessel (6.1) depende del cuadrado de , tendremos que

J (z) =
X
k=0
z 2k
(1)k
,
k!(k + 1) 2
(6.17)
es tambien una soluci

on (que equivale al caso = ).
Si es positivo, pero no es entero, entonces tanto (k + +1) como (k +1) asumen
valores finitos y por lo tanto J y J est
an bien definidas para todo z. Para valores de z
cercanos a cero tendremos entonces que J (z/2) /(1 + ) y J (z/2) /(1 ).
Por lo tanto, J (0) = 0 mientras que J (0) es divergente. Por otro lado, J0 (0) = 1. En
particular, esto muestra que J y J son linealmente independientes si no es entero. En
este caso la soluci
on general de (6.1) es de la forma
y(z) = c1 J (z) + c2 J (z).
(6.18)
Por razones hist

oricas y de conveniencia futura se definen adicionalmente las funciones de
Bessel de segunda especie de orden , tambien llamadas funciones de Neumann de orden
, N (z), por
cos()J (z) J (z)
N (z) :=
.
(6.19)
sen()
Entonces la soluci
on general de (6.1) puede expresarse como una combinacion lineal de la
funcion de Bessel y de Neumann correspondiente:
y(z) = c3 J (z) + c4 N (z).
(6.20)
Caso en que 2 6= 2
Asumiendo ahora que 2 6= 2 , entonces a0 = 0 con lo cual a2k = 0, con esto a1 6= 0
luego ( + 1)2 2 = 0. Reemplazando esto u
tlimo en (6.9), se tiene que
an =
an2
(n 1)(n + 1 + 2)
(6.21)
Aplicando sucesivamente (6.21), se tiene que

a2k+1 =
=
(1)k a1
1
2k
2 k! ( + 2)( + 3)( + 4) ( + k + 1)
(1)k a1 ( + 2)
22k k! ( + k + 2)
(6.22)
(6.23)
As, para = 1 se tiene que la solucion toma la forma

y (z) = a1
X
(1)k
k=0
22k k!
(1 + )
z 2k+
(k + + 1)
(6.24)
Eligiendo a1 = 1/(2 (1 + )), se obtiene nuevamente la funcion de Bessel de primera

especie, dada por (6.14)
32
Caso en que = 12
En este caso a0 6= 0 y a1 6= 0, de (6.9) se tiene la siguiente relacion de recurrencia
an2
n(n 1)
(6.25)
(1)k a0
(2k)!
(6.26)
an =
Si n es par entonces
a2k =
Si n es impar entonces
a2k+1 =
(1)k a1
(2k + 1)!
(6.27)
As, en la soluci
on se tiene los siguiente
y(z) = z 1/2
= z 1/2
+
X
a2k z 2k +
k=0
+
X
a0
k=0
+
X
!
a2k+1 z 2k+1
(6.28)
k=0
+
X (1)k
(1)k 2k
z + a1
z 2k+1
(2k)!
(2k + 1)!
!
(6.29)
k=0
Por lo tanto, la soluci

on de la E.D.O. de Bessel en este caso toma la siguiente forma
y(z) = z 1/2 (a0 cos(z) + a1 sen(z))
(6.30)
Funci
on Gamma
1 2 3n
nz ,
n z(z + 1)(z + 2) (z + n)
Z
(z) :=
et tz1 dt,
<(z) > 0,
(z) := lm
(6.31)
(6.32)
0

Y
z z/n
1
1+
:= zez
e
,
(z)
n
(6.33)
n=1
donde = 0,577216 es la constante de Euler-Mascheroni2 .

(z + 1) = z(z),
n = 0, 1, 2, ,
(z)(1 z) =
.
sen(z)
(1 + n) = n!,
(n) ,
n = 0, 1, 2, .
(1/2) = .
:= lmn (1 + 1/2 + 1/3 + 1/n ln n).
33
(6.34)
(6.35)
(6.36)
(6.37)
(6.38)
-2
-4
-6
-4
-2
Figura 6.1: La funcion con argumento real.
6.3.
Las funciones de Bessel J (z) satisfacen las siguientes relaciones de recurrencia:

J1 (z) + J+1 (z) =
2
J (z),
z
J1 (z) J+1 (z) = 2J0 (z).
34
(6.39)
(6.40)
Podemos verificar estas relaciones usando directamente la expresion en serie de potencias

(6.14). En efecto,
z 2k++1
(1)k z 2k+1 X
(1)k
+
(6.41)
k!(k + ) 2
k!(k + + 2) 2
k=0
k=0
"
#
z 2k++2
2 X (1)k z 2k+ X
(1)k
=
+
z
k!(k + ) 2
k!(k + + 2) 2
J1 (z) + J+1 (z) =
k=0
k=0
(6.42)
"
2 X (1)k (k + ) z 2k+
=
z
k!(k + + 1) 2
k=0
X
k=1
z 2k+
(1)k1
(k 1)!(k + + 1) 2
#
(6.43)
"
#
2 X (1)k (k + ) z 2k+ X (1)k1 k z 2k+

+
=
z
k!(k + + 1) 2
(k + + 1) k! 2
k=0
k=1
(6.44)
=
=
=
z 2k+
2X
(1)k
[(k + ) k]
z
k!(k + + 1)
2
k=0
2
x
k=0
z 2k+
(1)k
k!(k + + 1) 2
(6.45)
(6.46)
2
J (z).
z
(6.47)
De manera completamente an
aloga, realizando ahora la resta de J1 (z y J+1 (z) obtenemos (ver (6.41) y (6.45)):
J1 (z) J+1 (z) =
=
=
k=0
2
z
k=0
X
k=0
z 2k++1
(1)k z 2k+1 X
(1)k
(6.48)
k!(k + ) 2
k!(k + + 2) 2
k=0
(1)k
k!(k + + 1)
[(k + ) + k]
z 2k+
2
z 2k+1
(1)k
(2k + )
k(k + + 1)
2
z 2k+
d X
(1)k
dz
k!(k + + 1) 2
(6.49)
(6.50)
(6.51)
k=0
= J0 (z).
(6.52)
A partir de las relaciones (6.39) y (6.40) podemos derivar otras relaciones. Por ejemplo,
sumando (6.39) y (6.40) llegamos a
J1 (z) = J0 (z) + J (z)

z
d
= z
[z J (z)] .
dz
35
(6.53)
(6.54)
Similarmente, la suma de (6.39) y (6.40) conduce a
J+1 (z) = J0 (z) + J (z)

z

d
= z
z J (z) .
dz
(6.55)
(6.56)
Finalmente, podemos verificar que estas relaciones implican que las funciones J (z) satisfacen la ecuacion de Bessel. A partir de (6.53) tenemos que zJ0 = zJ1 J . Derivando
y multiplicando por z esta relaci
on, tenemos que
z

d
0
(zJ0 ) = z J1 + zJ1
J0
dz
0
= zJ1 + z 2 J1
zJ0 .
(6.57)
(6.58)
Usando (6.55) (reemplazando por 1) para reescribir el segundo termino de (6.58) y

nuevamente (6.53) en el u
ltimo termino, llegamos a
z
d
(zJ0 ) = zJ1 + z [( 1)J1 zJ ] (zJ1 J )
dz
= (x2 2 )J ,
(6.59)
(6.60)
que es equivalente a la ecuaci

on (6.1).
6.3.1.
Representaci
on integral
Las funciones de Bessel de orden y argumento real pueden expresarse como la siguiente
integral en el plano completo
Z
J (x) = 2i
1 )
e(x/2)(tt
t1 dt,
(6.61)
donde t C est
a integrado sobre el contorno C indicado en la figura.
Podemos probar esta relaci
on a partir de la siguiente representaciond de la funcion
Gamma (ver, por ejemplo, la expresi
on (11.21) [4]):
Z
1
1
=
et tz dt.
(6.62)
(z)
2i C
Primero, reescribimos el integrando de (6.61) como
1 )
e(x/2)(tt
t1 = ext/2 ex/2t t1
#
"
X 1 x k
xt/2
t1
=e
k! 2t
(6.63)
(6.64)
k=0
X
(1)k x k xt/2 k1
=
e
t
.
k!
2
(6.65)
k=0
Entonces, integrando esta relaci

on sobre C, encontramos
Z
e
C
(x/2)(tt1 ) 1
X
(1)k x k
dt =
ext/2 tk1 dt.
k!
2
C
k=0
36
(6.66)
m,n
n=1
n=2
n=3
n=4
n=5
m=0
2,4048
5,5201
8,6537
11,7915
14,9309
m=1
3,8317
7,0156
10,1735
13,3237
16,4706
m=2
5,1356
8,4172
11,6198
14,7960
17,9598
m=3
6,3802
9,7610
13,0152
16,2235
19,4094
Cuadro 6.1: Las primeras races m,n de Jm (x), m = 0, 1, 2, 3, 4.
Finalmente, realizando el cambio de variable x0 := xt/2 y usando (6.62) reescribimos al

u
ltima integral como
Z
xt/2 k1
0 k1
Z
2
2t
t0
dt0
dt =
e
x C
x
k Z
2
0
=
et t0k1 dt0
x
C
k
2i
2
.
=
x
(k + + 1)
(6.67)
(6.68)
(6.69)
Sustituyendo (6.69) en (6.65) llegamos directamente al resultado deseado, luego de indentificar la expansi
on en serie de potencias (6.14) de la funcion J (x).
A partir de (6.61) podemos encotrar la expresion alternativa:
1
J (x) =
6.3.2.
Z
0
sen()
cos( x sen )d
etx senh t dt.
(6.70)
Forma asint
otica
A partir de la representaci
on integral (6.61) es posible encontrar una expresion asintotica para las funciones de Bessel, v
alida para valores grandes de x:
r

2 1
2

J (x)
cos x
,
x .
(6.71)
x
2
4
4
6.3.3.
Ceros de las funciones de Bessel
Frecuentemente, es necesario evaluar las raices, o ceros, de las funciones de Bessel. La

funcion de Bessel J (x) tiene infinitas raices (ver, por ejemplo, figura 6.2). Denotaremos
,n a la n-esima raiz de la funci
on J (x), es decir, tal que J (,n ) = 0 y ,n+1 < ,n ,
n = 1, 2, . Los valores de estas raices son calculadas numericamente a partir, por ejemplo,
de la expresion en serie (6.14) para las funciones de Bessel. En la tabla 6.1 se muestran
algunas de estos ceros3 :
Es tambien frecuente requerir calcular las raices de las derivadas de las funciones de
Bessel. Estas
ser
an denotadas por ,n y entonces satisfacen J0 (,n ) = 0 y ,n+1 < ,n ,
n = 1, 2, . La tabla 6.2 resume algunos de estos valores:
3
Un sitio donde puede calcular en lnea los ceros es: http://cose.math.bas.bg/webMathematica/

webComputing/BesselZeros.jsp.
37
m,n
n=1
n=2
n=3
m=0
3,8317
7,0156
10,1735
m=1
1,8412
5,3314
8,5363
m=2
3,0542
6,7061
9,9695
m=3
4,2012
8,0152
11,3459
0 (x), m = 0, 1, 2, 3, 4.
Cuadro 6.2: Las primeras races m,n de Jm
6.3.4.
Relaciones de Ortogonalidad
a
J
0

J
6.4.

a2
,m
J
d = n,m [J+1 (,n )]2
a
a
2
,n
(6.72)

,n
,m
2
a2
1 2
[J (,n )]2 .
J
d = n,m
a
a
2
,n
(6.73)
Funciones de Bessel de orden entero

1
0.8
0.6
0.4
0.2
-0.2
-0.4
0
10
15
20
Figura 6.2: Primeros cinco funciones de Bessel de orden entero.

Consideremos las soluciones enteras de orden n = 0, 1, 2, , entonces (6.14) se reduce
a
Jn (z) =
X
k=0
z 2k+n
(1)k
,
k!(k + n + 1) 2
(6.74)
y como (k + n + 1) tiene argumento entero, coincide con el factorial (k + n)!. Por lo tanto,
Jn (z) =
X
k=0
(1)k z 2k+n
.
k!(k + n)! 2
38
(6.75)
Por otro lado, reemplazando = n, con n = 0, 1, 2, , en (6.14) (o, equivalentemente

= n en (6.15)), obtenemos
Jn (z) =
X
k=0
z 2kn
(1)k
.
k!(k n + 1) 2
(6.76)
Aqu hay que mirar cuidadosamente el caso en que (k n + 1) asume valores enteros
negativos, puesto que en esos casos la funcion (k n + 1) diverge. Los casos en que
k n + 1 = 0, 1, 2, se presentan cuando k = n 1, n 2, , 0 respectivamente. Como
1/(k n + 1) 0 en estos casos4 , entonces los coeficientes de la suma en (6.76) tenderan
a cero para todo k = 0, 1, , n 1. Por lo tanto, solo contribuiran los terminos con k n.
Entonces (6.76) se reduce a
Jn (z) =
=
X
k=n
X
k=0
z 2kn
(1)k
k!(k n + 1) 2
(6.77)
z 2k+n
(1)k+n
(k + n)!(k + 1) 2
(6.78)
= (1)n
X
k=0
(1)k z 2k+n
(k + n)!k! 2
= (1)n Jn (z).
(6.79)
(6.80)
Note ademas que, como puede verse de su expresion en serie, que las funciones Jn (z)
tienen paridad n, es decir,
Jn (z) = (1)n Jn (z).
(6.81)
6.4.1.
Funci
on generadora de Funciones de Bessel de orden entero
Consideramos la funci
on g(t, z) definida por
g(t, z) :=
Jn (z)tn ,
t, z C.
(6.82)
n=
De esta forma, podemos entender a g(t, z) como la funci

on generadora de las funciones de
Bessel de orden entero, por medio de la expansion (de Laurent) en potencias de t.
Para determinar la forma explcita de g(t, z) podemos proceder como sigue. Derivamos
(6.82) con respecto a z y usamos la relacion de recurrencia (6.40) para expresar Jn0 (z) en
4
En otras palabras, estamos considerando (o definiendo) Jn como el lmite de J cuando se acerca
al entero n: Jn (z) := lmn J (z).
39
terminos de Jn1 (z) y Jn+1 (z). Con esto, podemos escribir:
X
g
=
J 0 (z)tn
z n= n
(6.83)
1 X
(Jn1 (z) Jn+1 (z)) tn
=
2 n=
"
#
X
X
1
n1
1
n+1
t
Jn1 (z)t
t
Jn+1 (z)t
=
2 n=
n=
(6.84)
(6.85)
X
1
t t1
Jn (z)tn
2
n=
(6.86)

1
t t1 g(t, z).
2
(6.87)
Podemos encontrar una expresi

on para la funcion generadora a partir de esta relacion,
considerandola como una ecuaci
on diferencial para g(t, z). La solucion es necesariamente
de la forma
z
1
g(t, z) = f (t) e 2 (tt ) .
(6.88)
Finalmente, la funci
on f (t) puede determinarse evaluando (6.82) para z = 0 y luego comparando con (6.88):
g(t, 0) = f (t) =
Jn (0)tn = J0 (0) = 1.
(6.89)
n=
Aqu usamos el hecho que todas las funciones de Bessel de orden entero se anulan en z = 0,
excepto para n = 0, ya que J0 (0) = 1.
z
1
g(t, z) = e 2 (tt ) =
Jn (z)tn .
(6.90)
Jn (z)ein .
(6.91)
n=
6.4.2.
Representaci
on integral
Substituyendo t = ei en (6.90) encontramos,

g(t, ei ) = eiz sen =
X
n=
Esto significa que las funciones de Bessel son los coeficientes de la expansi
on en serie de
iz
sen
Fourier de la funci
on e
. Por lo tanto,
Jn (z) =
1
2
eiz sen ein d.
(6.92)
Equivalentemente, ya que el integrando es periodico de periodo 2, podemos desplazar el

intervalo de integraci
on a [, ], y escribir
Z
1
Jn (z) =
ei(z sen n) d.
(6.93)
2
40
Como ei(z sen n) = cos(z sen n)+i sen(z sen n), vemos que el integrando se divide
en una contribuci
on par y otra impar en . Por lo tanto,
1
Jn (z) =
cos(z sen n) d.
(6.94)
En particular,
1
J0 (z) =
2
6.4.3.
iz sen
1
d =
cos(z sen ) d.
(6.95)
Sumatorias de funciones de Bessel
Adicionalmente, de la relaci
on (6.91) podemos escribir,
iz sen
= J0 (z) +
= J0 (z) +
= J0 (z) +

X
n=1

X
Jn (z)ein + Jn (z)ein
(6.96)
Jn (z)ein + (1)n Jn (z)ein
n=1
Jn (z) e
n=1
n impar
= J0 (z) + 2i
= J0 (z) + 2i
in
in
(6.97)

Jn (z) ein + ein
(6.98)
n=2
n par
Jn (z) sen(n) + 2
n=1
n impar
Jn (z) cos(n)
(6.99)
n=2
n par
J2n1 (z) sen[(2n 1)] + 2
n=1
J2n (z) cos(2n).
(6.100)
n=1
Si el argumento de las funciones es real (z = x) entonces, igualando la parte real e imaginaria de ambos lados de la igualdad, obtenemos
cos(x sen ) = J0 (x) + 2
J2n (x) cos(2n),
(6.101)
J2n1 (x) sen[(2n 1)].
(6.102)
n=1
sen(x sen ) = 2
X
n=1
En particular, si = 0, obtenemos la relacion

J0 (x) + 2
J2n (x) = 1.
n=1
41
(6.103)
6.5.
Funciones de Bessel de orden semi-entero
J1/2 (z) =
X
k=0
z 2k+1/2
(1)k
k!(k + 1/2 + 1) 2
z 2k+1/2
(1)k
=
k!(k + 3/2) 2
k=0
1/2 X
2
(1)k 2k+1
=
z
z
(2k + 1)!
k=0
1/2
2
sen z.
=
z
(6.104)
(6.105)
(6.106)
(6.107)
Aqu hemos usado

3
1
1
(k + ) = (k + )(k + )
2
2
2
1
1
1
= (k + )(k )(k )
2
2
2
1
3
3
1
= (k + )(k )(k )(k )
2
2
2
2
=
1
1
3 1 1
= (k + )(k )(k ) ( )
2
2 2 2
2
= k+1 1 3 5 (2k 1)(2k + 1)

|
{z
}
2
(6.108)
(6.109)
(6.110)
(6.111)
(6.112)
(6.113)
k+1 t
erminos
(2k + 1)!
.
k!
(6.114)
z 2k+1/2
(1)k
k!(k 1/2 + 1) 2
(6.115)
22k+1
Analogamente,
J1/2 (z) =
X
k=0
z 2k+1/2
(1)k
k!(k + 1/2) 2
k=0
1/2 X
2
(1)k 2k
=
z
z
(2k)!
k=0
1/2
2
=
cos z,
z
(6.116)
(6.117)
(6.118)
ya que
(k + 32 )
1
(k + ) =
)
2
(k + 12
(2k + 1)!
= 2k+1
2
(k + 21 )k!
(2k)!
= 2k
.
k!
2
42
(6.119)
(6.120)
(6.121)
Podemos encontrar las otras funciones de Bessel de orden semi-entero usando las relaciones de recurrencia (6.39) y (6.40). Por ejemplo
(1/2)
0
(z)
(6.122)
J1/2 (z) J1/2
z

1/2
1/2
1 2 1/2 1/2
2
1
2
3/2
=
z
sen z
z
sen z
z 1/2 cos z
2z
2
(6.123)
J3/2 (z) =
= 21/2 1/2 z 3/2 sen z + 21/2 1/2 z 3/2 sen z 21/2 1/2 cos z
1/2
1/2
2
2
3/2
=
z
sen z
z 1/2 cos z
1/2

2
=
z 3/2 sen z z 1/2 cos z .
6.6.
(6.124)
(6.125)
(6.126)
Funciones de Bessel de segunda especie
Como hemos ya discutido en la secci

on 6.2, cuando no es un entero, las funciones
de Bessel de segunda especie, tambien llamadas funciones de Neumann N (z) (o Y (z)),
definidas por
N (z) :=
J (z) cos() J (z)

,
sen()
6= n = 0, 1, , 2, ,
(6.127)
son soluciones linealmente independientes de J (z) de ecuacion de Bessel. Esta combinacion

lineal particular es u
til puesto que, entre otras cosas, suministra una expresion complementaria a las funciones J (z) en lo que respecta a su forma asintotica. En efecto, a partir de
(6.71) encontramos que
r
N (x)

2

sen x
,
x
2
4

x 2

1
.
4
(6.128)
Ademas, puede usarse la misma expresi

on (6.127) en el caso en que es entero ( = n).
Sabemos que en este caso, Jn (z) no es linealmente independiente de Jn (z) ya que se
cumple que Jn (z) = (1)n Jn (z). No obstante, podemos usar (6.127) para encontrar la
segunda solucion linealmente independiente Nn (z), como el lmite de (6.127) cuando el
par
ametro se acerca al entero n, es decir,
J (z) cos() J (z)
,
n
sen()
Nn (z) := lm
n = 0, 1, , 2, .
(6.129)
Note que los coeficientes de la combinacion lineal (6.127) son tales que el lmite es no
trivial, ya que tanto el numerador como el denominador tienden a cero cuando tiende a
n. Por esto, usando la regla de LH
opital, encontramos que

1 J (z)
n J (z)
Nn (z) =
(1)
.
(6.130)
=n
Puede (hagalo!) verificarse que la funci
on definida por (6.130), efectivamente satisface la
ecuacion de Bessel (6.1). Adem
as, de (6.130) se sigue, usando (J /)=n = (J /)=n ,
que
Nn (z) = (1)n Nn (z).
(6.131)
43
Por otro lado, de la expansi

on (6.15) obtenemos que cerca de z = 0, y para > 0,

1
2
1
2
1
= ()
.
(6.132)
N (z)
sen() (1 ) z
z
Aqu hemos usamos la identidad (6.36). Por lo tanto, para n, obtenemos
n
1
2
Nn (z) (n 1)!
,
z 0,
n > 0,
(6.133)
de donde vemos que estas funciones divergen en el origen origen. Note que incluso N0 (z)
diverge en z = 0, ya que5
N0 (z)
i
2 h z
ln
+ ,
z 0,
(6.135)
donde = 0 (1) es la constante de Euler-Mascheroni, = 0,5772 .
6.6.1.
Representaci
on integral
1
Nn (x) =
6.6.2.
Z
0
1
sen(x sen n) d

ent + (1)n ent ex senh t dt.
(6.136)
A partir de la definici
on (6.129) y las relaciones de recurrencia para las funciones de
Bessel (6.39) y (6.40), puede verificarse que las funciones de Bessel de segunda especie
satisfacen las mismas relaciones de recurrencia que las de primera especie:
N1 (z) + N+1 (z) =
2
N (z),
z
N1 (z) N+1 (z) = 2N0 (z).
(6.137)
(6.138)
A partir de (6.130), se encuentra, usando la funci

on digamma 0 (z) := 0 (z)/(z), que:

z z
z
i
0 ( + 1) z
2 J
2
1
2h
N0 (z) =
=
+
ln
+
=
0 (1) + ln
+ .
=0
( + 1) 2
( + 1) 2
2
2
=0
(6.134)
5
44
0.5
-0.5
-1
-1.5
-2
0
10
15
20
Figura 6.3: Primeras cinco funciones de Bessel de segunda especie (funciones de Neumann)
de orden entero.
6.7.
Funciones de Hankel
En muchas aplicaciones fsicas (especialmente cuando se estudian soluciones de la ecuacion de onda) es conveniente introducir otro par de funciones linealmente independientes,
(1)
(2)
llamadas funciones de Hankel y denotadas por H y H , definidas por
H(1) (z) := J (z) + iN (z),
(6.139)
H(2) (z)
(6.140)
:= J (z) iN (z)
Las funciones de Hankel son linealmente independientes para todo , y satisfacen las mismas relaciones de recurrencia que las funciones de Bessel. La utilidad de su definicion
resulta clara al considerar su forma asint
otica. Usando (6.71) y (6.128) se encuentra que
r
r

2 i(x/2/4)
2 i(x/2/4)

(1)
(2)
H (x)
e
, H (x)
e
, x 2 .
x
x
4
(6.141)
6.8.
Funciones modificadas de Bessel
La ecuaci
on modificada de Bessel es

1 0
2
y + y 1 + 2 y(x) = 0.
x
x
00
(6.142)
Las soluciones finitas en x = 0 de esta ecuacion son de la forma y(x) = J (ix). Como estamos especialmente interesados en el caso en que tanto x como y son reales, es conveniente
definir las funciones modificadas de Bessel de primera especia y orden :
I (x) = i J (ix).
45
(6.143)
La funcion I (x) as definida es real. En efecto, de la expansion en serie (6.14)

I (x) = i J (ix)
2k+
X
ix
(1)k
=i
k!(k + + 1) 2
= i
k=0
(6.144)
(6.145)
(1)k i i2k x 2+

.
k!(k + + 1) 2
(6.146)
x 2k+
1
.
k!(k + + 1) 2
(6.147)
k=0
Por lo tanto,
I (x) =
X
k=0
Nuevamente, I y I son linealmente independientes, excepto si es entero, ya que en

este u
ltimo caso se satisface que
In (x) = In (z)
(6.148)
3.5
2.5
1.5
0.5
0
0
0.5
1.5
2.5
3.5
Figura 6.4: Primeras cinco funciones modificadas de Bessel (de primera especie) de orden
entero.
La correspondiente forma asint
otica de las funciones modificadas de Bessel I (x) es

2 1
1
x

I (x)
e ,
x .
(6.149)
4
2x
Las funciones I (x) satisfacen las siguientes relaciones de recurrencia, que se siguen a
partir de (6.39), (6.40) y (6.143):
I1 (x) + I+1 (x) = 2I0 (x),
I1 (x) I+1 (x) =
46
2
I (x).
x
(6.150)
(6.151)
6.8.1.
Funciones Modificadas de Bessel de segunda especie
En analoga con lo visto en la secci

on 6.6, es conveniente introducir las funciones de
segunda especie, ahora denotadas por K (x), y definidas de la forma siguiente:

I (x) I (x)
,
6= n = 0, 1, 2, .
(6.152)
K (x) :=
2
sen()
Note que como consecuencia de esta definicion K (x) = K (x), por lo que es suficiente
considerar 0. Con estas definiciones, I y K son l.i. para todo , y su forma asintotica
es nuevamente complementaria ya que
r
x
K (x)
e
(6.153)
2x
En el caso de entero, la definici
on se realiza como el lmite n, es decir,

I (x) I (x)
Kn (x) := lm
,
n = 0, 1, 2, .
(6.154)
n 2
sen()
Usando nuevamente la regla de LH
opital, podemos escribir

(1)n I (x) I (x)
Kn (x) =
.
2
=n
(6.155)
3.5
2.5
1.5
0.5
0
0
0.5
1.5
2.5
3.5
Figura 6.5: Primeras cinco funciones modificadas de Bessel de segunda primera especie y
orden entero.
Las funciones K (x) satisfacen las siguientes relaciones de recurrencia
K1 (x) + K+1 (x) = 2K0 (x),
(6.156)
2
K (x),
(6.157)
x
como puede verificarse a partir de (6.150), (6.151), (6.152) y (6.155). Note la diferencia
de signo de estas relaciones con respecto a las correspondientes a las funciones de primera
especie, (6.150) y (6.151).
47
K1 (x) K+1 (x) =
6.9.
Funciones Esf
ericas de Bessel
Como vimos, en coordenadas esfericas la ecuacion radial proveniente de la separacion

de variables de la ecuaci
on de Helmholtz es (4.8). Ademas, las soluciones finitas en = 0 y
= (es decir, sobre el eje z) de (4.9) requieren que Q = n(n + 1). La ecuacion resultante
tiene entonces soluciones de la forma
Rn (r) =
un (kr)
,
r
(6.158)
p
donde k = || y un (x) es soluci
on de la ecuacion (modificada, si < 0) de Bessel de
orden semientero, = n + 1/2.
En el caso en que > 0, las soluciones u(x) seran entonces combinaciones de funciones
de Bessel de primera y segunda especie. Por esto, es conveniente definir las funciones
esfericas de Bessel (de primera y segunda especie) por:
r
jn (x) :=
J
(x),
(6.159)
2x n+1/2
r
r
n+1
Nn+1/2 (x) = (1)
J
(x).
(6.160)
nn (x) :=
2x
2x n1/2
p
El factor /2 es incluido por conveniencia, ya que entonces (ver (6.107) y (6.118)) las
primeras funciones resultan ser simples:
sen x
cos x
j0 (x) =
,
n0 (x) =
.
(6.161)
x
x
Podemos encontrar una expresi
on en serie simple a partir6 de (6.14),
Jn+1/2 (x) =
X
k=0
r
=
r
=
r
=
r
=
x 2k+n+1/2
(1)k
k!(k + n + 3/2) 2
(6.162)
x 2k+n
(1)k
xX
2
k!(k + n + 3/2) 2
x
2
k=0
X
k=0
(1)k 22k+2n+1 (k + n + 1) x 2k+n

k!
2
1/2 (2k + 2n + 2)
(6.163)
(6.164)
2x 2n X (1)k 22k (k + n)! x 2k+n

2
k! (2k + 2n + 1)! 2
k=0
X
n n
2x
2 x
k=0
(1)k
(k + n)!
x2k .
k! (2k + 2n + 1)!
(6.165)
(6.166)
Por lo tanto,
jn (x) = 2n xn
X
(1)k
k=0
k!
(k + n)!
x2k .
(2k + 2n + 1)!
(6.167)
Analogamente, para la funci

on esferica de segunda especie, encontramos
nn (x) =
(1)n+1 X (1)k (k n)! 2k

x .
2n xn+1
k!(2k 2n)!
(6.168)
k=0
6
y usando la f
ormula de duplicaci
on de Legendre, ver por ejemnplo ec. (10.66b) de [2]: (z + 1)(z +
1/2) 22z 1/2 (2z + 1), con z = k + n + 1/2.
48
6.9.1.
A partir de las relaciones de recurrencia para J y N , ver (6.39), (6.40), (6.137) y

(6.138), podemos derivar directamente las correspondientes relaciones para las funciones
esfericas, obteniendo:
jn1 (x) + jn+1 (x) =
2n + 1
jn (x),
x
njn1 (x) (n + 1)jn+1 (x) = (2n + 1)jn0 (x). (6.169)
Similarmente (6.54) y (6.56) implican que

jn1 (x) = xn1

d n+1
x
jn (x)
dx
(6.170)

d n
x jn (x)
(6.171)
dx
Aplicando sucesivamente (6.171) obtenemos una expresion en terminos de la funcion j0 (x):
n

n 1 d
j0 (x),
(6.172)
jn (x) = (x)
x dx
jn+1 (x) = xn
Similarmente,
n
nn (x) = (x)
6.9.2.
1 d
x dx
n
n0 (x).
(6.173)
De este modo, usando (6.161) encontramos las siguientes u

tiles expresiones:

jn (x) = (x)
1 d
x dx
nn (x) = (x)
n
1 d
x dx
sen x
,
x
n
cos x
.
x
(6.174)
(6.175)
De este modo, podemos calcular explcitamente las funciones que necesitemos. Por ejemplo:
sen x
,
x
sen x cos x
j1 (x) =
,
2
x
x
sen x 3 cos x
3
j2 (x) =
1
,
2
x
x
x2

15 6 sen x
15
cos x
j3 (x) =
1
,
x3 x
x
x2
x
j0 (x) =
cos x
n0 (x) = j1 (x) =
,
x
cos x sen x
n1 (x) = j2 (x) = 2
,
x
x

3
cos x 3 sen x
n2 (x) = j3 (x) = 2 + 1
,
x
x
x2

15 6 cos x
15
sen x
n3 (x) = j4 (x) = 3 +
1
.
2
x
x
x
x
x
49
(6.176)
(6.177)
(6.178)
(6.179)
(6.180)
(6.181)
(6.182)
(6.183)
0.4
0.8
0.2
0.6
0
0.4
-0.2
0.2
-0.4
0
-0.6
-0.2
-0.8
0
10
15
20
10
15
20
Figura 6.6: Primeras cinco funciones esfericas de Bessel y Neumann de orden entero.
6.9.3.
Relaciones de Ortogonalidad
Nuevamente, podemos encontrar relaciones validas para las funciones esfericas a partir
de aquellas derivadas para las funciones de Bessel J . A partir de (6.72) se sigue directamente que
Z

jn

n,m0
n,m
a3
r jn
r r2 dr = m,m0 [jn+1 (
n,m )]2 ,
a
a
2
(6.184)
donde
n,m denota la m-esima raiz de la la funcion esferica jn (x). Ya que jn es proporcional
a Jn+1/2 , entonces
n,m = n+1/2,m .
6.9.4.
Funciones esf
ericas de Hankel
h(1)
n (x)
6.9.5.
h(1)
n (x) = jn (x) + inn (x),
(6.185)
h(2)
n (x) = jn (x) inn (x).
(6.186)
= (i)
n+1 e
ix
n
X
m=0
im
(n + m)!
m
m!(2x) (n m)!
(6.187)
Forma asint
otica
Para x 1,
2n n!
xn ,
(2n + 1)!
(2n)! 1
nn (x) n
.
2 n! xn+1
jn (x)
50
(6.188)
(6.189)
Para x n(n + 1),

1
n
sen x
,
x
2

1
n
nn (x) cos x
,
x
2
ix
i i(xn/2)
n+1 e
h(1)
(x)
e
=
(i)
,
n
x
x
ix
i i(xn/2)
n+1 e
h(2)
(x)
e
=
(i)
.
n
x
x
jn (x)
6.9.6.
(6.190)
(6.191)
(6.192)
(6.193)
Funciones modificadas esf

ericas de Bessel
in (x) := i
r
jn (ix) =
I
(x),
2x n+1/2
n (1)
kn (x) := i h
r
(ix) =
K
(x).
2x n+1/2
(6.194)
2n + 1
in (x),
x
nin1 (x) + (n + 1)in+1 (x) = (2n + 1)i0n (x).
in1 (x) in+1 (x) =
(6.195)
(6.196)
2n + 1
kn (x),
x
nkn1 (x) + (n + 1)kn+1 (x) = (2n + 1)kn0 (x).
kn1 (x) kn+1 (x) =
in+1 (x) = xn
d
(xn in ),
dx
kn+1 (x) = xn
(6.197)
(6.198)
d
(xn kn ).
dx
(6.199)
Formas asint
oticas
in (x)
2n n!
xn ,
(2n + 1)!
in (x)
ex
,
2x
kn (x)
kn (x)
(2n)! n1
x
,
2n n!
ex
,
x
x
x 1,
n(n + 1)
.
2
(6.200)
(6.201)
in (x) = xn
1d
x dx
n
senh x
,
x
kn (x) = (1)n xn
51
1d
x dx
n
ex
,
x
(6.202)
senh(x)
,
x
senh(x)
i1 (x) =
cosh(x),
x
cosh(x) senh(x)
,
i2 (x) =
x
x2
senh(x) 3 senh(x) 3 cosh(x)
i3 (x) =
,
+
x
x3
x2
6 senh(x) 15 senh(x) cosh(x) 15 cosh(x)
i4 (x) =
+
+
,
x2
x4
x
x3
i0 (x) =
k0 (x) =
k1 (x) =
k2 (x) =
k3 (x) =
k4 (x) =
ex
,
x
ex
+
x
ex
+
x
ex
+
x
ex
+
x
(6.203)
(6.204)
(6.205)
(6.206)
(6.207)
(6.208)
ex
,
x2
3 ex 3 ex
+
,
x2
x3
6 ex 15 ex 15 ex
+
+
,
x2
x3
x4
10 ex 45 ex 105 ex 105 ex
+
+
+
.
x2
x3
x4
x5
10
10
(6.209)
(6.210)
(6.211)
(6.212)
0
0
Figura 6.7: Primeras cinco funciones esfericas modificadas de Bessel y Neumann de orden
entero.
52
Captulo 7
Funciones de Green
7.1.
Motivaci
on
El metodo de las funciones de Green1 permite reducir el problema de encontrar una

solucion de una E.D.P. lineal inhomogenea a una forma estandar.
Por ejemplo, en electrost
atica, el potencial satisface la ecuacion de Poisson (3D):
2 =
(x)
.
0
(7.1)
Ademas, sabemos que para una carga puntual ubicada en el punto con coordenadas ~x0
1
q
(~x) =
,
(7.2)
40 |~x ~x0 |
y que el potencial producido por una distribucion continua de carga con densidad (~x) es
Z
(~x0 )
1
dV 0 .
(7.3)
(~x) =
40 V |~x ~x0 |
En ambos casos se eligi
o el potencial nulo en el infinito. Vemos entonces que en la solucion
general (7.5) aparece la funci
on
1
1
G(~x, ~x0 ) =
.
(7.4)
4 |~x ~x0 |
de modo que
Z
(~x) =
V

(~x0 )
G(~x, ~x0 )
dV 0 .
0
(7.5)
La funcion (7.4) satisface

2 G(~x0 , ~x) = (3) (~x ~x0 ).
(7.6)
Como veremos a continuaci

on, la propiedad (7.6) es la que permite encontrar soluciones
de la ecuacion inhomogenea (7.1).

Z
(~x0 )
2
2
0
dV 0
(7.7)
(~x) =
G(~x, ~x )
0

Z V
2

(~x0 )
=
G(~x, ~x0 )
dV 0
(7.8)
0
V

Z
(~x0 )
0
=
(~x ~x )
dV 0
(7.9)
0
V
(~x)
=
.
(7.10)
0
1
George Green (1793-1841): matem

atico brit
anico. Ver http://es.wikipedia.org/wiki/George_Green.
53
7.2.
Generalizaci
on
Consideremos la E.D.P. lineal inhomogenea de la forma (en d-dimensiones)

= f (~x),
L
(7.11)
es el operador lineal definido por

donde f (~x) es una funci
on fuente conocida, y L
h
i
=
~ p(~x)
~
L
+ q(~x),
(7.12)
y p(~x) y q(~x) son funciones conocidas.
Para solucionar la E.D.P. (7.11) buscamos primero la funcion de Green G(~x, ~x0 ) asociada
definida como la funci
al operador L,
on que satisface
x0 , ~x) = (~x ~x0 ).
LG(~
(7.13)
La utilidad de introducir la funci

on de Green es que, conociendo una solucion de (7.11), es
posible escribir la soluci
on del problema inhomogeneo general (7.11) como
Z
(~x) =
G(~x, ~x0 )f (~x0 )dV 0 +
h
i
~ 0 G(~x, ~x0 ) G(~x, ~x0 )
~ 0 (~x0 ) dS
~ 0.
p(~x0 ) (~x0 )
(7.14)
Aqu V denota el dominio en el que la solucion es valida (es decir, ~x V ) y V su
frontera.
Para probar (7.14) partimos desde la integral sobre V en el en lado derecho de (7.14),
que luego podemos escribir como una integral de volumen, por medio del teorema de Gauss:
I
h
i
~ 0 G(~x, ~x0 ) G(~x, ~x0 )
~ 0 (~x0 ) dS
~0
I=
p(~x0 ) (~x0 )
(7.15)
ZV
h
i
~ 0 p(~x0 )(~x0 )
~ 0 G(~x, ~x0 ) p(~x0 )G(~x, ~x0 )
~ 0 (~x0 ) dV 0
=
(7.16)
ZV h

i
~ 0 p(~x0 )
~ 0 G(~x, ~x0 ) G(~x, ~x0 )
~ 0 p(~x0 )
~ 0 (~x0 ) dV 0
=
(~x0 )
(7.17)
ZV h

i
0 G(~x, ~x0 ) G(~x, ~x0 ) L
0 (~x0 ) dV 0
=
(~x0 ) L
(7.18)
V
Z

=
(~x0 )(~x ~x0 ) G(~x, ~x0 )f (~x0 ) dV 0
(7.19)
V
Z
= (~x)
G(~x, ~x0 )f (~x0 )dV 0 .
(7.20)
V
En el u
ltimo paso, hemos asumido que el punto ~x V para evaluar la integral que involucra
la delta de Dirac. El resultado (7.14) se sigue de igualar (7.15) y (7.20).
La solucion de la ecuaci
on (7.13) queda determinada, ademas de la funcion fuente f (~x),
por las condiciones de borde del problema. Tpicamente, estas condiciones de borde se expresan como condiciones que la soluci
on debe satisfacer en la frontera V . Esta informacion
modifica la soluci
on a traves de los terminos de borde en (7.14). Sin embargo, la integral
sobre V en (7.14) depende tanto del valor de la incognita como de su derivada normal,
y usualmente no se conoce simult
aneamente estos dos valores. Mas a
un, en general puede
ser inconsistente imponer simult
aneamente el valor de y de su derivada normal en V .
Si las condiciones de Borde son tipo Dirichlet, es decir, la funcion es conocida en
V , entonces el primer termino en la integral sobre V en (7.14) es queda determinado
54
luego de encontrar la funci

on de Green, no as el segundo termino. Por esta razon,
en estos casos es conveniente elegir una funcion de Green que satisfaga condiciones
de borde tipo Dirichlet homogeneas en V , es decir
G(~x, ~x0 ) = 0,
~x0 V.
Entonces la soluci
on se reduce a
Z
I
0
0
0
~ 0 G(~x, ~x0 ) dS
~0
(~x) =
G(~x, ~x )f (~x )dV +
p(~x0 )(~x0 )
ZV
IV
G(~x, ~x0 ) 0
0
0
0
=
G(~x, ~x )f (~x )dV +
p(~x0 )(~x0 )
dS .
n0
V
V
(7.21)
(7.22)
(7.23)
Si las condiciones de borde son tipo Neumann, es decir se conoce /n = n
~
sobre V , entonces es conveniente escoger una funcion de Green que satisfaga
condiciones de Neumann homogeneas en la frontera:
G(~x, ~x0 )
= 0,
n0
~x0 V.
Entonces, la soluci
on es dada por
Z
I
~ 0 (~x0 ) dS
~0
(~x) =
G(~x, ~x0 )f (~x0 )dV 0
p(~x0 )G(~x, ~x0 )
ZV
IV
(~x0 ) 0
=
G(~x, ~x0 )f (~x0 )dV 0
p(~x0 )G(~x, ~x0 )
dS .
n0
V
V
(7.24)
(7.25)
(7.26)
puede no ser posible elegir la

Note que, sin embargo, dependiendo del operador L
0
0
~ G(~x, ~x ) = 0 sobre toda la frontera V . Esto ocurre, en el
funcion de Green tal que n
= 2 .
importante caso del operador Laplaciano, L
7.3.
Simetra de la funci
on de Green
es el operador Laplaciano, vemos que la

En el caso particular en el que el operador L
funcion de Green (7.4) es simetrica bajo intercambio de argumentos, es decir, G(~x, ~x0 ) =
G(~x0 , ~x). Puede verificarse que esta propiedad puede implementarse en casos mas generales,
siempre que se satisfagan ciertas condiciones de contorno. Para ver esto, usamos el resultado
general (7.14) en el caso particular en que elegimos (~x) = G(~x00 , ~x), con ~x0 V , y entonces
f (~x) = (~x00 ~x). En este caso, encontramos que
Z
00
G(~x , ~x) =
G(~x, ~x0 )(~x00 ~x0 )dV 0
V I
h
i
~ 0 G(~x, ~x0 ) G(~x, ~x0 )
~ 0 G(~x00 , ~x0 ) dS
~0
+
p(~x0 ) G(~x00 , ~x0 )
(7.27)
V
I
h
i
~ 0 G(~x, ~x0 ) G(~x, ~x0 )
~ 0 G(~x00 , ~x0 ) dS
~ 0 . (7.28)
= G(~x, ~x00 ) +
p(~x0 ) G(~x00 , ~x0 )
V
Por lo tanto, la funci

on de Green es simetrica si la integral del segundo termino en (7.28)
se anula. Esto puede ocurrir, tpicamente, si la funcion de Green se anula en la frontera:
G(~x, ~x0 ) = 0,
55
~x0 V
(7.29)
7.4.
Expresiones explcitas de algunas funciones de Green
La funcion de Green definida por la ecuacion (7.13) no es u

nica. Si G1 (~x, ~x0 ) es solucion,
0
0
0
entonces G2 (~x, ~x ) := G1 (~x, ~x ) + H(~x, ~x ) tambien es solucion, si H(~x, ~x0 ) es solucion del
problema homogeneo asociado,
x, ~x0 ) = 0.
LH(~
(7.30)
Este hecho permite considerar soluciones soluciones particulares simples como base para
otras funciones de Green, que pueden obtenerse agregando una solucion de la ecuacion
homogenea de modo que la funci
on resultante satisfaga las condiciones de borde que simplifiquen el problema.
7.4.1.
Operador Laplaciano
En este caso p(~x) = 1 y q(~x) = 0. En Fsica, usualmente se busca la funcion de Green que
respete la homogeneidad e isotropa del espacio. La primera condicion (homogeneidad)
significa que G funci
on que depende de ~x y ~x0 solo a traves de su diferencia ~x ~x0 . La
segunda condici
on (isotropa=invariancia bajo rotaciones) implica que G solo depende del
modulo de ~x ~x0 . Esto reduce la funci
on de Green basicamente a una funcion de una
variable, ya que entonces
G(~x, ~x0 ) = G(|~x ~x0 |).
(7.31)
D=3
En coordenadas esfericas centradas en ~x0

1 d
2
2 dG
G= 2
r
= (3) (r)
r dr
dr
(7.32)
por lo tanto
1 d
r2 dr

2 dG
r
= 0,
dr
r 6= 0.
(7.33)
La solucion para r 6= 0 se encuentra entonces rapidamente integrando esta ecuacion, obteniendo
G(r) = + .
(7.34)
r
Por otro lado, la condici
on (7.32) implica, usando el teorema de Gauss, que
Z
Z
dG 2
~
~
G dS =
r d = 1,
(7.35)
V
V dr
que requiere entonces que 4 = 1. Finalmente, en la mayora de los problemas es
conveniente elegir una funci
on de Green que se anule para distancias muy grandes, es decir,
tal que lmr G(r) = 0. Esta condici
on impone que = 0 (note que, equivalentemente,
esta condicion implica agregar la soluci
on homogenea H = a la funcion de Green
original), y por lo tanto
1
1
G(~x ~x0 ) =
.
(7.36)
4 |~x ~x0 |
56
D=2
En coordenadas polares (, ) centradas en ~x0 , con G = G()

dG
1d
2
= (2) ().
G=
d
d
Integrando la ecuaci
on para 6= 0, es decir,

1d
dG
= 0,
d
d
encontramos que
G() = + ln .
(7.37)
(7.38)
(7.39)
Nuevamente, el teorema de Gauss (versi

on 2D),
Z
I
dG
~
~
G dS =
d = 2 = 1.
d
S
(7.40)
De esto modo, eliminando el termino constante (que es una solucion de la ecuacion homogenea), encontramos
1
G(~x ~x0 ) =
(7.41)
ln |~x ~x0 |.
2
7.4.2.
Operador de Helmoltz
= 2 + k 2 , que corresponde al caso p(~x) = 1

En el caso del operador de Helmholtz L
2
y q(~x) = k .
En cada caso, buscaremos las funciones de Green de la forma G(~x, ~x0 ) = G(|~x ~x0 |)
D=3
En coordenadas esfericas centradas en ~x0

1 d
2
2
2 dG
( + k )G = 2
r
+ k 2 G = (3) (r),
r dr
dr
(7.42)
por lo tanto

1 d
2 dG
r
+ k 2 G = 0,
r 6= 0.
(7.43)
r2 dr
dr
Para solucionar (7.43) realizamos el cambio de variable G(r) = u(r)/r, que conduce a
r2 dG/dr = ru0 u. Con esto, (7.43) se reduce a u00 + k 2 u = 0. Por lo tanto, las soluciones
son de la forma
eikr
eikr
G(r) =
+
.
(7.44)
r
r
Con esta solucion, v
alida para r 6= 0, retornamos a la ecuacion (7.42) que, luego de integrar
sobre una esfera de radi R centrada en r = 0 y usando el teorema de Gauss, implica que
I
Z
2
~
~
1=
G dS + k
G dV
(7.45)
IV
ZV
dG 2
=
r d + k 2
Gr2 drd
(7.46)
V dr
V
Z R
0 2
2
= 4G R + 4k
Gr2 dr
(7.47)
0
Z Rh
h
i
i
= 4 (ikR 1) eikR (ikR + 1) eikR + 4k 2
eikr + eikr r dr (7.48)
0
= 4( + ).
(7.49)
57
De esta forma encontramos las condici

on
1
,
4
(7.50)
1 eikr
sen(kr)
i
.
4 r
r
(7.51)
+ =
que permite escribir la soluci
on (7.44) como
G(r) =
Note que el segundo termino es una solucion de la ecuacion de Helmholtz homog

nenea (es
proporcional a la funci
on esferica de Bessel j0 (kr)). Por lo tanto, es posible elegir
0
1 eik|~x~x |
G (~x, ~x ) =
,
4 |~x ~x0 |
+
(7.52)
que corresponde a la elecci

on = 0. An
alogamente, podeomos considerar la funcion de
Green
0
1 eik|~x~x |
G (~x, ~x0 ) =
,
(7.53)
4 |~x ~x0 |
que se encuentra en el caso en que = 1/4.
D=2
En coordenadas polares (, ) centradas en ~x0 , con G = G()

1d
dG
2
2
+ k 2 G = (2) ().
( + k )G =
d
d
(7.54)
Para 6= 0,
1d
d

dG
+ k 2 G = 0.
d
Definiendo x := k esta ecuaci

on se reduce a

d
dG
x
x
+ x2 G(x) = 0,
dx
dx
(7.55)
x 6= 0,
(7.56)
que es la ecuaci
on de Bessel de orden = 0, ver (6.1). Por lo tanto, su solucion general es
de la forma
(1)
(2) (k).
G() = J0 (k) + N0 (k) =
H0 (k) + H
(7.57)
0
Nuevamente, retornando a la ecuaci
on original (7.54) e integrando sobre un crculo S de
radio R centrado en = 0, obtenemos
I
Z
2
~
~
1=
G dS + k
G dS
(7.58)
S
S

Z R
dG
2
= 2 R
(kR) + k
G d
(7.59)
d
0

Z kR

0(1)
(1)
0(2) (kR) +
(2) (x) x dx . (7.60)
= 2 kR
H0 (kR) + H
H
(x)
+
H
0
0
0
0
58
0(1)
(1)
(1)
(1)
Usando las identidades H0 (x) = H1 (x) y xH0 (x) = d[xH1 (x)]/dx y similarmente
0(2)
0(2)
para H0 y H1 , evaluamos la expresi
on anterior, obteniendo

(1)
(2) (x)
1 = 2 lm
xH1 (x) xH
(7.61)
1
x0

2i
2i
(7.62)
= 2

= 4i(
).
(7.63)
Con esto, la soluci
on adopta la forma

i (1)
(1)
(2)
G() = H0 (k) + H0 (k) + H0 (k)
4
i (1)
0 (k).
= H0 (k) + 2J
4
(7.64)
(7.65)
Tal como en el caso anterior, el termino proporcional a es una solucion del problema
homogeneo. Si elegimos = 0, encontramos la siguiente funcion de Green:
i (1)
G(1) (~x, ~x0 ) = H0 (k|~x ~x0 |).
4
(7.66)
Alternativamente, si se elige
= 0, se encuentra
i (2)
G(2) (~x, ~x0 ) = H0 (k|~x ~x0 |).
4
59
(7.67)
Captulo 8
Tensores
8.1.
Tensores Cartesianos
En muchas
areas de la Fsica es u
til, y frecuentemente necesario, definir objetos con
m
ultiples componentes respecto a un sistema de coordenadas (SC). En general, los valores de las componentes de estos objetos cambian al ser calculados respecto de otro SC.
En particular, es posible clasificar este tipo de objetos de acuerdo a como cambian sus
componentes bajo una transformaci
on de coordenadas (TC). Esta clasificacion permite en
particular definir tensores como conjunto de cantidades (las componentes del tensor)
tales que su relaci
on al cambiar de SC es sencilla (en particular, lineal y homogenea). En
este tipo de an
alisis es importante recordar que la definici
on de vectores y tensores
depende del tipo de transformaci
on (en general, de coordenadas) bajo consideracion.
Esto se debe a que, algunas cantidades pueden formar tensores respecto a un tipo de transformaci
on, pero no serlo respecto a otro tipo de transformaciones. En otras palabras, la
definicion de tensores es relativa a la transformacion considerada. En distintos contextos y
teoras fsicas es conveniente considerar transformaciones de distinto tipo (que en general
estan relacionadas con la invariancia de las leyes fsicas respectivas bajo ese tipo de transformacion). Por ejemplo, en mec
anica de Newton (y en general, en teoras no-relativistas)
es conveniente asegurar que las leyes fsicas consideradas sean validas independientemente
de la orientacion de los ejes cartesianos elegidos para un determinado calculo. En otras
palabras, es necesario considerar c
omo cambian las diversas cantidades bajo rotaciones.
Para esto, es u
til definir cantidades que sean vectores y tensores respecto a transformaciones ortogonales de coordenadas (TOC, es decir, rotaciones). Por otro lado, en la teora de
Relatividad Especial se considera que (ct, x, y, z) son las cuatro coordenadas asociadas a
un evento dado, respecto a un Sistema de Referencia Inercial (SRI). Las transformaciones
de las coordenadas del mismo evento entre dos SRIs son en ese caso las transformaciones de Lorentz, que pueden expresarse como una transformacion lineal de las coordenadas
(ct, x, y, z). En este contexto es u
til entonces considerar (definir) cantidades que transformen como cuadritensores bajo transformaciones de Lorentz. Note, sin embargo, que
un vector respecto a TOC no define necesariamente un vector bajo transformaciones de
Lorentz.
Analizaremos primero la definici
on, las propiedades basicas y la utilidad practica de los
tensores respecto a TOC.
60
8.2.
Bases ortogonales
Considere un espacio Euclideano n-dimensional (En ), donde cada punto de En tiene

coordenadas xi , i = 1, , n, con respecto a un sistema ortogonal de coordenadas (SOC)
K.
Consideramos una base ortonormal (BON) {
ei } (i = 1, , n) de vectores, es decir, tal
que
ei ej = ij ,
(8.1)
donde ij denota la Delta de Kronecker, definida como los n2 valores dados por
(
1, si i = j
ij :=
.
0, si i 6= j
(8.2)
Note que esta Delta de Kronecker puede ser representada matricialmente por la matriz
identidad n n.
En el espacio euclideano En es posible definir (consistentemente) el vector posici
on ~x,
que une el origen del SCO con un punto con coordenadas xi , por
~x =
n
X
xi ei .
(8.3)
i=1
En este sentido, las coordenadas xi son componentes del vector ~x en la base {

ei }, y pueden
expresarse como
xi = ~x ei .
(8.4)
~ en sus respectivas comEn general, la BON {
ei } permite descomponer cada vector A
ponentes:
n
X
~ =
V
vi ei ,
(8.5)
i=1
donde
~ ei .
vi = V
8.3.
(8.6)
Transformaciones ortogonales
Figura 8.1: Una transformaci

on ortogonal (rotacion) de bases ortonormales.
Consideremos ahora un nuevo SOC x0i relacionado con el SOC xi por medio de una
transformaci
on ortogonal (TO) de coordenadas, es decir, una rotaci
on, ver figura 8.1.
61
Esta transformaci
on induce una nueva BON {
e0i }. Respecto a esta nueva base, un vector
~ tiene componentes ~vi tales que
V
n
X
~ =
V
vi0 e0i .
(8.7)
i=1
Es posible relacionar las bases {

ei } y {
e0i } ya que cada vector e0i puede escribirse como
una combinacion lineal de los vectores base ei , esto es, existe una relacion de la forma
n
X
e0i =
aij ej .
(8.8)
j=1
La condicion que la transformaci

on (8.8) sea efectivamente una TO, es decir, que transforme una BON en una nueva BON impone (n(n + 1)/2) condiciones sobres los (n2 ) coeficientes (la matriz) de transformaci
on aij . En efecto,
ij = e0i e0j
=
=
=
n
X
(8.9)
!
aik ek
k=1
n X
n
X
k=1 l=1
n X
n
X
n
X
!
ajl el
(8.10)
l=1
aik ajl (
ek el )
(8.11)
aik ajl kl
(8.12)
k=1 l=1
n
X
aik ajk ,
(8.13)
k=1
y por lo tanto,
n
X
aik ajk = ij .
(8.14)
k=1
En notaci
on matricial,
A (A> ) = I.
(8.15)
Al calcular el determinante de (8.15) encontramos que

(det A)2 = 1,
(8.16)
por lo que necesariamente det A = 1 o bien det A = 1. Si det A = 1 decimos que la TO

es una transformaci
on propia, mientras que si det A = 1 ella es impropia. En todo caso
det A 6= 0, de modo que la inversa A1 siempre existe y es u
nica. De (8.15) vemos entonces
que la matriz inversa de una transformacion ortogonal coincide con su transpuesta,
A1 = A> ,
(8.17)
(A> ) A = I,
(8.18)
y por lo tanto se satisface adem

as que
o, en notacion de ndices,
n
X
aki akj = ij .
(8.19)
k=1
Puede verificarse a partir de estas propiedades basicas que el conjunto de todas las
transformaciones ortogonales en un espacio Euclideano n-dimensional forman un grupo 1 :
1
Ver, por ejemplo, http://es.wikipedia.org/wiki/Grupo_(matematica).
62
el grupo ortogonal2 n-dimensional, O(n).

Usando (8.4) y (8.8) podemos relacionar las coordenadas xi (asociadas a un mismo
vector posicion ~x) en respecto a los dos SOC:
x0i =
n
X
aij xj ,
(8.20)
j=1
8.4.
Convenci
on de suma de Einstein
Es conveniente introducir la convenci

on de suma de Einstein, que establece que en
toda expresi
on donde se repitan dos ndices iguales, se subentiende que existe
una suma sobre todo el rango de variaci
on del ndice. De esta forma, (8.5), (8.7),
(8.8), (8.14), (8.14) y (8.4) pueden abreviarse de la forma siguiente,
8.5.
~ = vi ei ,
V
(8.21)
~ = vi0 e0i ,
V
(8.22)
e0i = aij ej ,
(8.23)
aik ajk = ij ,
(8.24)
aki akj = ij ,
(8.25)
x0i = aij xj .
(8.26)
Vectores
~ puede ser descompuesto tanto en una base ortonormal K

Como vimos, un vector V
0
como en otra K . A partir de esto, podemos encontrar la forma en que estan relacionadas las
~ respecto a dos SOCs. Usando (8.6) y (8.23) encontramos, analogamente
componentes de V
a (8.26) que
vi0 = aij vj .
(8.27)
Esta propiedad puede ser considerada como la definici
on de (las componentes de) un vector:
Definici
on: Diremos que el conjunto de n n
umeros {v1 , v2 , , vn }, definidos en cada BO (SOC), son las componentes de un vector (cartesiano) si y
solo si bajo toda TOs (e.d., definidas por una matriz A que satisface (8.17)),
sus valores est
an relacionados por
vi0 = aij vj .
(8.28)
Note que en un espacio Euclideano las coordenadas xi de un punto de En transforman de

acuerdo a (8.26) bajo TOs y pueden por lo tanto ser consideradas como las componentes
de un vector (del vector posici
on ~x)3 .
2
Ver, por ejemplo, http://es.wikipedia.org/wiki/Grupo_ortogonal.

El hecho que las coordenadas transformen como componentes de un vector no es un resultado general.
Al considerar la definici
on de vectores y tensores respecto a transformaciones generales de coordenadas, o
en particular bajo transformaciones no-lineales, no es posible considerar las coordenadas de los puntos del
espacio como componentes de un vector, simplemente porque su ley de transformaci
on difiere de la ley v
alida
para los objetos definidos como vectores. En estos casos se define un vector por la ley de transformaci
on
vi0 = (x0i /xj )vj , que en el caso de transformaciones lineales coincide con (8.28), ya que x0i /xj = aij .
3
63
Otro ejemplo de vector es la velocidad de una partcula (moviendose en En ). Si xi (t)

son las coordenadas de la trayectoria de la partcula en funcion del tiempo t entonces la
velocidad instant
anea transforma como (es) un vector bajo TOs. En efecto, la velocidad
instantanea es definida, en cada SOC, por vi := dxi /dt. Entonces, en un SOC K 0 relacionado con K por medio de (8.26), tendremos que las nuevas componentes de la velocidad
seran
dxj
dx0
d
vi0 := i = (aij xj ) = aij
= aij vj .
(8.29)
dt
dt
dt
Aqu hemos asumido que los coeficientes aij son independientes del tiempo (constantes).
De forma analoga, la aceleraci
on es tambien un vector bajo TOs.
Note que no toda colecci
on de n-valores definidos en cada SOC pueden considerarse
componentes de un vector. Por ejemplo, la densidad de masa de un cuerpo, su temperatura
T , y la componente z de su momentum pz , son cantidades que pueden definirse en cada
SOC, sin embargo, el conjunto de 3 cantidades (, T, pz ) no forman las componentes de un
vector, simplemente porque sus valores no estan relacionados bajo TOs de la forma (8.28).
8.6.
Escalares
Un escalar es una cantidad que no cambia su valor al rotar el SOC, es decir, una cantidad que permanece invariante bajo TOs. Ejemplos de cantidades escalares en Mecanica
Clasica (no-relativista) son: la masa de un cuerpo, el volumen de un cuerpo, el coeficiente
de roce entre dos superficies, la temperatura, la energa cinetica, etc. En terminos matematicos, si es una cantidad definida en cada SOC, entonces ella es un escalar si y solo
si
0 = .
(8.30)
Otro ejemplo de una cantidad escalar bajo TOs es el producto escalar entre vectores. Si
~yB
~ respectivamente, entonces su producto
Ai y Bi son las componentes de dos vectores A
escalar permanece invariante:
A0i Bi0 = (aij Aj )(aik Bk )
8.7.
(8.31)
= (aij aik )Aj Bk
(8.32)
= jk Aj Bk
(8.33)
= Aj Bj
(8.34)
= Ai Bi .
(8.35)
Tensores
Tanto en Mec
anica, como en Electrodinamica, es habitual encontrar cantidades con
m
as de un ndice (es decir, con m
as de n componentes), del tipo Tij , Aijk , etc.
Por ejemplo, en Mec
anica la relaci
on entre el momentum angular de un cuerpo en
rotacion y su vector velocidad angular involucra el tensor momento de inercia Iij . En
efecto, considere un cuerpo caracterizado por su densidad (xi ), contenido en una region
V , rotando rgidamente respecto a un eje caracterizado por la direccion
, con velocidad
angular . Entonces su momentum angular respecto al origen del SOC, ubicado sobre el
64
eje de rotaci
on, es dado por
~ =
L
Z
~x d~
p
(8.36)
(x)~x ~v dV
(8.37)
(x)~x (~
~x) dV.
(8.38)
ZV
=
ZV
=
V
~ (B
~ C)
~ B(
~ A
~ C)
~ C(
~ A
~ B),
~ podemos escribir
Usando la identidad A
Z
~ =
(x) [~
(~x ~x) ~x(~
~x)] dV,
L
(8.39)
o, en terminos de componentes,
Z
Li =
(x) [i (xk xk ) xi (j xj )] dV
ZV
(x) [(ij j )(xk xk ) xi (j xj )] dV
=
VZ

=
(x) [ij (xk xk ) xi xj ] dV j ,
(8.40)
(8.41)
(8.42)
es decir,
Li = Iij j ,
(8.43)
con
Z
(x) [ij (xk xk ) xi xj ] dV.
Iij :=
(8.44)
Note que este resultado expresa el hecho que, en general, el momentum angular de
un cuerpo en rotaci
on no es necesariamente paralelo al eje de rotaci
on. Puede
encontrar algunos ejemplos de tensores momento de inercia para distintos cuerpos respecto
a SOC particulares aqu.
Analizemos ahora c
omo cambian las componentes Iij cuando ellas son calculadas en
otro SOC. Si analizamos el movimiento respecto a un SOC rotado respecto al primero, de
modo que las coordenadas de cada punto son ahora dadas por (8.26), entonces tendremos
que las componentes Iij0 estar
an dadas por
Z

0
Iij :=
0 (x0 ) ij (x0k x0k ) x0i x0j dV 0
(8.45)
ZV
=
(x) [ij (xk xk ) (ail xl )(ajm xm )] dV
(8.46)
ZV
=
(x) [(ail ajl )(xk xk ) (ail xl )(ajm xm )]
(8.47)
ZV
=
(x) [(ail ajm lm )(xk xk ) (ail xl )(ajm xm )] dV
(8.48)
V
Z
= ail ajm
(x) [lm (xk xk ) xl xm ] dV
(8.49)
V
= ail ajm Ilm .
(8.50)
Note que aqu hemos usado el hecho que la masa se considera un escalar, de modo que
dm = (x)dV = 0 (x0 )dV 0 . Adem
as, la condicion (8.24) fue usada en para reescribir el
primer termino de (8.46) en la forma que aparece en la expresion (8.47).
65
En resumen,
Iij0 = ail ajm Ilm .
(8.51)
Vemos que las n2 cantidades4 Iij cambian los valores de sus componentes al ser calculadas en distintos SOC, pero estos valores estan relacionados de una forma (relativamente)
simple. Las cantidades cuyas componentes transforman de la forma (8.51) son llamadas
tensores de rango 2 5 .
Definici
on: Diremos que el conjunto de n2 cantidades Tij (i, j = 1, . . . , n)
definidas en cada SOC, son las componentes de un tensor cartesiano de rango
2 si y solo si, bajo cada TO (de la forma (8.26), con la condicion (8.24)) sus
valores est
an relacionados por
Tij0 = aik ajl Tkl .
(8.52)
Note que la relaci

on inversa es dada por
0
Tij = aki alj Tkl
.
(8.53)
Es simple verificar usando (8.51) y el hecho que i son componentes de un vector que
Li , dado por (8.43), efectivamente satisface la ley de transformacion de un vector.
Similarmente al caso del momentum angular, podemos analizar la energa cinetica del
cuerpo rotando rgidamente,
Z
1
K=
~v 2 dm
(8.54)
2 V
Z
1
=
~v 2 dV
(8.55)
2 V
Z
1
=
(~
~x)2 dV
(8.56)
2 V
Z
2 2

1
=

~ ~x (~
~x)2 dV
(8.57)
2 V
Z

1
=
(i i )(xk xk ) (i xi )2 dV
(8.58)
2 V
Z
1
=
[(i j ij )(xk xk ) i xi j xj ] dV
(8.59)
2 V
Z

1
[ij xk xk xi xj ] dV ,
(8.60)
= i j
2
V
es decir,
1
K = Iij i j .
2
(8.61)
Podemos verificar que, como es de esperar, la ley de transformacion del tensor de inercia
y del vector velocidad angular bajo TOs aseguran que la energa cinetica es un escalar.
Note que si definimos las n2 cantidades ij := i j (en cada SOC), entonces ij
forman las componentes de un tensor de rango 2. En terminos de este tensor, la energa
cinetica puede escribirse como K = Iij ij /2. Vemos entonces que contracciones (es decir,
4
De las cuales s
olo n(n + 1)/2 son linealmente independientes, debido a que Iij = Iji .
Otros ejemplos de tensores de rango 2 u
tiles en Fsica son: el tensor dielectrico de un medio polarizable
ij , el tensor de tensiones de un fluido tij , el tensor de conductividad de un material conductor ij , el
tensor de deformaci
on de un medio el
astico ij := (i uj + j ui )/2 (ui es el vector desplazamiento).
5
66
sumas de productos de componentes) entre tensores de rango 2 y dos vectores, as como

entre dos tensores de segundo rango pueden definir cantidades escalares. Analogamente,
puede verificarse que la contracci
on Iij j transforma como un vector. Estas propiedades
corresponden a operaciones generales posibles entre tensores: la multiplicaci
on de tensores
define nuevos tensores (de rango superior), la contracci
on de tensores con vectores puede
definir nuevos vectores o escalares. Por otro lado, dado un tensor de rango 2 Aij y un vector
Bi podemos definir las nuevas n3 cantidades Cijk := Aij Bk , que transformara de la forma
0 := a a a C
siguiente: Cijk
il jm kp lmp . Cantidades que transforman de esta manera bajo TO son
llamados tensores de rango 3. Claramente, este tipo de construccion puede ser generalizada
a objetos con m
as ndices (componentes).
Note, sin embargo, que no toda operaci
on definida a partir de las componentes
de tensores definir
a nuevos tensores vectores o escalares. Por ejemplo, la contraccion Iii i := I11 1 + I22 2 + Inn n no es un escalar.
Generalizando los casos anteriores podemos definir un tensor cartesiano de rango r.
Definici
on: Diremos que el conjunto de nr cantidades Ti1 r , definidas en
cada SOC, son las componentes de un tensor cartesiano de rango r si, bajo TOs
(de la forma (8.26), con la condici
on (8.24)) sus valores estan relacionados por
Ti01 i2 ir = ai1 j1 ai2 j2 air jr Tj1 j2 jr .
(8.62)
Algunas observaciones:
Si r = 2 recuperamos la definici
on de tensores de rango 2.
Si r = 1 recuperamos la definici
on de un vector. Por lo tanto, un vector es un tensor
de rango 1.
Podemos extender la definici
on general al caso r = 0, de modo que se reduzca a
0
T = T , y as poder considerar a los escalares como tensores de rango 0.
La transformaci
on inversa a (8.62) es Ti1 i2 ir = aj1 i1 aj2 i2 ajr ir Tj01 j2 jr .
Si todas las componentes de un tensor se anulan en un SOC, entonces ellas
se anular
an en todo SOC . Esta propiedad es una de las que hace el uso de tensores
de gran utilidad, puesto que la anulacion de un tensor es entonces una propiedad
intrnseca de este, independiente del SOC usado. En Fsica se busca encontrar y
expresar las leyes de la naturaleza de una forma que asegure su validez (al menos) en
todo SOC. Si una ley Fsica puede expresarse usando tensores (por ejemplo Ti1 ir =
Qi1 ir ) entonces esta ley ser
a v
alida con la misma forma 6 en todo SOC (Ti01 ir =
0
Qi1 ir ).
La Delta de Kronecker ij puede ser considerada como un tensor de rango 2, ya que
satisface ij = aik ajl kl para TOs. Es, sin embargo, un tensor especial puesto que
tiene la propiedad distintiva de que asume los mismos valores (1 o 0) en cada SOC.
Este tipo especial de tensores son llamados tensores invariantes.
Algunos tensores de rango 3 u
tiles en Fsica son: el tensor piezoelectrico dijk (que relaciona el vector de polarizaci
on Pi con el tensor de tensiones tij en un material piezoelectrico:
Pi = dijk tjk ), el tensor de susceptibilidad electrica de segundo orden ijk (que relaciona la
contribucion de segundo orden a la polarizacion de un material dielectrico no-lineal con el
(2)
campo electrico Pi = 0 ijk Ej Ek ).
6
Por que es esto algo deseable?. Porque se asume que todos los SOC son equivalentes en sus propiedades.
67
Un ejemplo de tensor de rango 4 es el tensor de electroestricci

on ijkl (que relaciona el
tensor de deformaci
on de un material que presenta electroestriccion con el campo electrico:
ij = ijkl Ej El . Ver esta p
agina para otros ejemplos.
8.8.
Operaciones tensoriales
8.8.1.
Multiplicaci
on por escalar
Si es un escalar (tensor de rango 0) y Ai1 ir son las componentes de un tensor de

rango r, entonces
Bi1 ir := Ai1 ir ,
(8.63)
son tambien componentes de un tensor de rango r.
8.8.2.
Adici
on de tensores
Esta operaci
on define un nuevo tensor a partir de dos tensores del mismo rango. El
tensor suma tiene como componentes, por definicion, la suma de las componentes correspondientes a cada tensor sumando. Si Ai1 ir y Bi1 ir son tensores de rango r, y definimos
en cada SOC las nr cantidades
Ci1 ir := Ai1 ir + Bi1 ir ,
(8.64)
entonces Ci1 ir son componentes de un tensor de rango r.

Observacion: Las dos propiedades anteriores implican que el conjunto de todos los
tensores de un rango r dado forma un espacio vectorial lineal (de dimension nr ).
8.8.3.
Producto (tensorial) de tensores
Si Ai1 ir y Bi1 is son las componentes de dos tensores de rango r y s respectivamente,

entonces las nr+s cantidades definidas (en cada SOC) por
Ci1 ir+s := Ai1 ir Bir+1 ir+s ,
(8.65)
son las componentes de un tensor de rango r + s.

Observacion: Note que la posici
on de los ndices en la definicion del nuevo tensor es
relevante. Por ejemplo, el tensor Cij := Ai Bj es en general diferente de Dij := Aj Bi . Vemos
tambien que estos tensores estar
an relacionados por una (o mas) permutaciones de ndices,
Dij = Cji . Ver subsecci
on 8.8.5 para mayores detalles.
8.8.4.
Contracci
on de ndices
Si Ai1 ir es un tensor de rango r, entonces las nuevas nr2 cantidades obtenidas luego
de sumar sobre el s-esimo y el t-esimo ndice,
Bi1 ir2 := Ai1 jjir2 ,
1 s r,
1 t r,
(8.66)
son las componentes de un tensor de rango r 2.

Note que podemos alternativamente escribir
Bi1 i2 := Ai1 ir is it .
(8.67)
Por ejemplo, si Aijklm son las componentes de un tensor de rango 5 entonces Bijk := Ailjlk
son componentes de un tensor de rango 3. Ademas, K = Iij i j /2 es un escalar, v 2 = vi vi
es un escalar, Li = Iij Lj es un vector, ii = 3 es un escalar, etc.
68
8.8.5.
Permutaci
on de ndices
La operacion de permutar dos ndices de un tensor, define un nuevo tensor del mismo
rango. Por ejemplo, si Aijk son las componentes de un tensor de rango 3, entonces
Bijk := Akji ,
(8.68)
son componentes de un nuevo tensor de rango 3.

En general, si Ai1 is1 is is+1 it1 it it+1 ir son las componentes de un tensor de rango r
entonces el arreglo de nr cantidades definidas por la permutacion de la is -esima componente
con la it -esima componente,
Bi1 is1 is is+1 it1 it it+1 ir := Ai1 is1 it is+1 it1 is it+1 ir ,
1 s r,
1 t r,
(8.69)
son tambien componentes de un tensor de rango r.
8.8.6.
Tensores sim
etricos y antisim
etricos
Un tensor de rango 2, Tij , se dice simetrico si y solo si

Tij = Tji ,
i, j = 1, . . . , n.
(8.70)
Similarmente, un tensor de rango 2, Tij , se dice antisimetrico si y solo si

Tij = Tji ,
i, j = 1, . . . , n.
(8.71)
Las propiedades de simetra y antisimetra son independientes del SOC usado, es decir,
son propiedades intrnsecas del tensor. En efecto, si Tij = Tji entonces Tij0 = Tji0 para
toda TO, respectivamente.
Observacion: Todo tensor de rango 2 puede ser descompuesto en una suma de un tensor
simetrico y uno antisimetrico (la parte simetrica y antisimetrica, respectivamente):
Tij Sij + Aij ,
(8.72)
con
1
(Tij + Tji ) = Sji ,
(8.73)
2
1
Aij := T[ij] := (Tij Tji ) = Aji .
(8.74)
2
Ademas, la parte simetrica puede descomponerse en una parte sin traza y en un termino
(proporcional a un) escalar:
1
(8.75)
Sij 6 S ij + ij S,
n
con
1
S := Sii ,
6 S ij := Sij ij S
(8.76)
n
Esta descomposici
on es irreducible con respecto a TOs7 , ya que S(ij) Sij , A[ij] Aij ,
S[ij] A(ij) 0, 6 S ii 0.
Similarmente, un tensor de rango r 2 se dice (anti-)simetrico con respecto a la
permutacion de dos ndices dados is y it si y solo si
Sij := T(ij) :=
Ti1 is it ir = ()Ti1 it is ir .
(8.77)
7
es decir, no se puede reducir nuevamente la parte (anti-)simetrica en nuevas sub-partes (anti)simetricas no triviales. Lo mismo ocurre con la traza
69
Por ejemplo, Aijkl es (anti-) simetrico respecto al primer y tercer ndice si Aijkl = ()Akjil ,
i, j, k, l.
Tambien puede definirse la operaci
on de (anti-)simetrizacion con respecto a cualquier
par de ndices:
1
(8.78)
Ti1 (is ||it )ir := (Ti1 is it ir + Ti1 it is ir ) ,
2
1
Ti1 [is ||it ]ir := (Ti1 is it ir Ti1 it is ir ) .
(8.79)
2
Por ejemplo,
Ai(j|k|l)m :=
1
(Aijklm + Ailkjm ) ,
2
Ai[j|k|l]m :=
1
(Aijklm Ailkjm ) .
2
(8.80)
Es posible extender el proceso de (anti-)simetrizacion a mas ndices, de modo que el

tensor resultante sea (anti-)simetrico respecto a la permutaci
on de cada par de ndices. Por
ejemplo,
1
(Tijk + Tjik + Tjki + Tkji + Tkij + Tikj )
6

1
=
T(ij)k + T(jk)i + T(ki)j ,
3
T(ijk) :=
1
(Tijk Tjik + Tjki Tkji + Tkij Tikj )
6

1
=
T[ij]k + T[jk]i + T[ki]j .
3
T[ijk] :=
(8.81)
(8.82)
(8.83)
(8.84)
Un tensor completamente simetrico de rango r, Si1 ir = S(i1 ir ) , tiene (n + r 1)!/(n

1)!r! componentes linealmente independientes.
Similarmente, un tensor completamente antisimetrico de rango r, Ai1 ir = A[i1 ir ] ,
tiene n!/(n r)!r! componentes linealmente independientes. En particular, un tensor totalmente antisimetrico de rango r = n, es decir de rango maximo, tiene s
olo una componente
linealmente indepdendiente. Por ejemplo, en E3 , podemos expresar todas las componentes
de cualquier tensor de rango 3 totalmente antisimetrico Aijk en terminos (por ejemplo)
solo de su componente A123 :
A213 = A123 ,
A231 = A123 ,
A112 = 0,
(8.85)
etc.
8.9.
Smbolo de Levi-Civita y pseudo-tensores
Es u
til definir, en En , el smbolo de Levi-Civita8 , i1 in , como un objeto con n ndices (es
decir, tantos como la dimensi
on del espacio Euclideano en el que esta definido), totalmente
antisimetrico, es decir,
ijkl = jikl = kjil = ljki = ,
(8.86)
tal que, en todo sistema de coordenadas,

123n := 1.
(8.87)
8
Tullio Levi-Civita: (1873-1941), matem
atico italiano. Ver http://es.wikipedia.org/wiki/Tullio_
Levi-Civita.
70
Esta definicion es equivalente a
1, si i1 in es una permutacion par de 12 n

1, si i1 in es una permutacion impar de 12 n .
i1 in =
0, en otro caso
(8.88)
Un importante resultado es que todo tensor totalmente antisimetrico de rango m

aximo, es
decir r = n (puesto que tiene s
olo una componente linealmente independiente) es necesariamente proporcional al smbolo de Levi-Civita correspondiente. Esto permite escribir,
por ejemplo,
Ai1 i2 in = A12n i1 i2 in .
(8.89)
Una pregunta natural es si las componentes del smbolo de Levi-Civita pueden ser
consideradas como componentes de un tensor, es decir, si satisfacen la relacion
?
0i1 in = ai1 j1 ain jn j1 jn .
(8.90)
Ya que por definici

on i1 in tiene los mismos valores (1 o 0) en todo sistema coordenado,
0i1 in = i1 in . Por lo tanto, (8.90) es equivalente a
?
i1 in = ai1 j1 ain jn j1 jn .
(8.91)
Es directo verificar que el lado derecho de la expresion anterior es totalmente antisimetrico.

Por lo tanto, solo necesitamos calcular una componente, por ejemplo, a1j1 a2j2 anjn j1 jn ,
ya que, de acuerdo con (8.89),
ai1 j1 ain jn j1 jn = (a1j1 a2j2 anjn j1 jn ) i1 in .
(8.92)
Realizaremos el c
alculo explcito en el caso en que n = 3:
a1i a2j a3k ijk =
(8.93)
= a11 a22 a33 a11 a23 a32 a12 a21 a33
(8.94)
+ a12 a23 a31 + a13 a21 a32 a13 a22 a31

a11 a12 a13

= a21 a22 a23
a31 a32 a33
(8.95)
(8.96)
= det(A)
(8.97)
=: a.
(8.98)
Este resultado es general. En un espacio de dimension n cualquiera, se tiene que

a1j1 a2j2 anjn j1 j2 jn det(A) =: a.
(8.99)
Con esto podemos ver que en general no se satisface la relacion (8.91), sino que
i1 in = a1 ai1 j1 ain jn j1 jn .
(8.100)
Por lo tanto, el smbolo de Levi-Civita no es un tensor con respecto a todas las TOs, ya
que su ley de transformaci
on no es en general la de un tensor. Recuerde que en el caso
de TOs los valores posibles de a son a = 1 para transformaciones propias o impropias,
respectivamente. Note adem
as que debido a esto es posible reemplazar en (8.100) a1 = a.
71
Por otro lado, el smbolo de Levi-Civita s se comporta como un tensor si nos restringuimos
a solo considerar TO propias 9 (a = 1). En muchas aplicaciones esta restriccion es suficiente.
En todo caso, el smbolo de Levi-Civita es muy u
til. Por ejemplo, en tres dimensiones,
~
~B
~ puede escribirse usando este
el tradicional producto vectorial entre vectores C := A
~
smbolo. Es simple verificar que las componentes de C pueden expresarse como
Ci = ijk Aj Bk .
(8.101)
Note que, como consecuencia del resultado anterior, si Ai y Bi son las componentes de dos
vectores bajo TOs, entonces los tres valores Ci dados por (8.101) no forman un vector.
En efecto, usando (8.101), (8.101) y la ley de transformacion para las componentes de los
dos vectores involucrados, obtenemos que
Ci0 = a aij Cj .
(8.102)
Verificamos as que las componentes Ci no transforman, para transformaciones TO generales, como las componentes de un vector. En particular, si la transformacion definida por
aij es impropia, tendremos que
Ci0 = aij Cj ,
(8.103)
mientras que para transformaciones propias la ley sera la misma que para tensores. Conjuntos Ci de cantidades que bajo una transformacion ortogonal cualquiera transformen
de acuerdo a (8.102) son llamados pseudo-vectores. De las propiedades aqu analizadas es
claro que la diferencia entre un vector y un pseudo-vector solo se manifiesta al estudiar
como cambian sus componentes bajo TOs impropias. En otras palabras, si solo se requiere
tomar en cuenta transformaciones propias (rotaciones), entonces no es necesario distinguir
entre vectores y pseudo-vectores, puesto que ambos tipos de cantidades tienen en ese caso
identicas propiedades.
La existencia de pseudo-vectores motiva (y en cierto sentido hace inevitable) definir
otro tipo de objetos bajo TOs, los pseudo-tensores.
Definici
on: El conjunto de nr n
umeros Ti1 r , definidos en cada SOC, son
componentes de un pseudo-tensor (cartesiano) de rango r si y solo si bajo una
TO arbitraria, sus valores est
an relacionados por
Ti01 i2 ir = a ai1 j1 ai2 j2 ain jn Tj1 j2 jr .
(8.104)
Observaciones:
La suma (diferencia) de pseudo-tensores del mismo rango es un pseudo-tensor del
mismo rango.
El producto (tensorial) de dos pseudo-tensores es un tensor (respecto a T.O.C.).
El producto (tensorial) de un pseudo-tensor y un tensor es un pseudo-tensor.
La contracci
on de dos ndices de un pseudo-tensor, define un nuevo pseudo-tensor.
Un pseudo-escalar (r = 0) es una cantidad que cambia de signo bajo una SOC
impropia (con a = 1).
En muchos casos no es necesario (o no se acostumbra) considerar TO impropias en
el analisis. En tales situaciones no es necesario distinguir entre tensores y pseudotensores.
9
Esta restricci
on define el grupo ortogonal especial : SO(N ), que es un subgrupo de O(N ).
72
Algunas identidades
Es simple verificar que el smbolo de Levi-Civita puede escribirse como

i1 1 i1 2 i1 n

i 1 i 2 i n
2
2

2
i1 in .
..
.. ,
..
..
.
.
.

i 1 i 2 i n
n
n
1
(8.105)
ya que se satisfacen las dos propiedades que definen completamente este objeto. En efecto,
se verifica directamente que esta expresion implica 12n = 1, ya que en este caso el
lado derecho se reduce al determinante de la matriz identidad de dimension n. Por otro
lado, la expresi
on asegura la antisimetra total bajo intercambio de ndices, ya que cada
permutacion de un par de ndices es equivalente a un intercambio de filas en la matriz del
lado derecho y el determinante cambia de signo bajo estas operaciones.
Usando la identidad (8.105) podemos calcular el producto de dos smbolos de LeviCivita:

i1 1 i1 2 i1 n j1 1 j1 2 j1 n

i 1 i 2 i n j 1 j 2 j n
2
2
2
2

2
2
(8.106)
i1 i2 in j1 j2 jn = .
..
.. ..
..
..
.
.
.
.
.
.
.
.
.
. .
.
.

i 1 i 2 i n j 1 j 2 j n
n
n
n
n
1
1

i1 1 i1 2 i1 n j1 1 j2 1 jn 1

i 1 i 2 i n j 2 j 2 j 2
n
2
2
2
2
1

= .
(8.107)
..
.. ..
..
..
.
.
.
.
.
.
.
.
.
. .
.
.

i 1 i 2 i n j n j n j n
n
n
n
1
1
2

i1 q j1 q i1 q j2 q i1 q jn q

i q j q i q j q i q j q
n
2
2
2
2 1

=
(8.108)

..
..
..
..

.
.
.
.

i q j q i q j q i q j q
n
n
n
n
1
2

i1 j1 i1 j2 i1 jn

i j i j i j
2 2
2 n
21
= .
(8.109)
..
.. .
..
..
.
.
.

i j i j i j
n 1
n 2
n n
Note que, en (8.107) hemos reemplazado, en el segundo factor, el determinante de la matriz

por el de la correspondiente matriz transpuesta.
En el caso tridimensional (n = 3), desarrollando el determinante podemos escribir el
resultado anterior como
ijk lmp il jm kp + jl km ip + kl im jp
kl jm ip jl im kp il km jp
= 3! [i|l |j|m |k]p .
(8.110)
(8.111)
Contrayendo dos ndices en la identidad (8.110) encontramos

ijk lmk il jm im jl .
(8.112)
Si seguimos contrayendo, llegamos a

ijk ljk 2 il ,
73
(8.113)
y, finalmente,
ijk ijk 6.
(8.114)
Estas identidades son muy u

tiles. Por ejemplo, usando (8.112) podemos demostrar que
~ B)
~ (C
~ D)
~ (A
~ C)(
~ B
~ D)
~ (A
~ D)(
~ B
~ C).
~
(A
8.9.1.
(8.115)
(Pseudo)-tensor dual
Un (pseudo-)tensor totalmente antisimetrico de rango r en n dimensiones tiene el mismo

n
umero de componentes linealmente independientes (n!/(n r)!r!) que un (pseudo-)tensor
totalmente antisimetrico de rango n r. Debido a esto, es posible definir un pseudo-tensor
antisimetrico de rango n r asociado a cada tensor antisimetrico de rango r, y viceversa.
En otras palabras, existe una relaci
on uno a uno entre pseudo-tensores antisimetricos de
rango n r y tensores antisimetricos de rango r.
Si Ai1 ir es un tensor totalmente antisimetrico de rango r, entonces podemos definir el
pseudo-tensor dual
1
Ai1 inr := i1 inr j1 jr Aj1 jr .
(8.116)
r!
La relacion inversa a (8.116) es
Ai1 ir :=
1
i i j j Aj j .
(n r)! 1 r 1 nr 1 nr
(8.117)
En particular, en un espacio euclideano 3-dimensional, tenemos que a cada tensor de rango

3 totalmente antisimetrico, Aijk , puede asociase un pseudo-escalar dual A tal que
A :=
1
ijk Aijk ,
3!
Aijk := ijk A.
(8.118)
~ ij tiene asociado un pseudo-tensor Ai tal que

Similarmente, todo tensor antisimetrico A
1
Ai := ijk Ajk ,
2
Aij := ijk Ak .
(8.119)
Ademas, a cada vector Ai puede asociarse un pseudo-tensor totalmente antisimetrico Aij ,

tal que
1
Aij := ijk Ak ,
Ai := ijk Ajk .
(8.120)
2
Finalmente, a cada escalar A puede asociarse un pseudo-tensor totalmente antisimetrico
Aijk , tal que
1
Aijk := ijk A,
A := ijk Aijk .
(8.121)
3
Como estas relaciones son uno a uno, un tensor antisimetrico dado contiene la misma
informacion que su pseudo-tensor dual asociado, de modo que es posible elegir representar
una cantidad fsica descrita por (pseuso-)tensores totalmente antisimetricos por el mismo
tensor o por su dual. Un ejemplo de esto es el momento multipolar magnetico de rango 1,
Mij = Mji que puede representarse alternativamente usando el (pseudo-)vector momento
magnetico i = ijk Mjk /2.
74
8.10.
An
alisis tensorial cartesiano
8.10.1.
Campo tensorial
En Fsica, es com
un describir sistemas fsicos usando campos tensoriales, es decir, tensores definidos en cada punto del espacio.
x En Tensor de rango r,
xi Ti1 ir (xi ).
(8.122)
(8.123)
Si r = 0 hablamos de un campo escalar (por ejemplo, el potencial electrostatico (x)), si

r = 1 hablamos de un campo vectorial (por ejemplo, el campo electrico Ei (x)), si r = 2
hablamos de un campo tensorial de rango 2 (por ejemplo, el tensor dielectrico ij (x) de
un medio inhomogeneo), etc.
8.10.2.
Derivaci
on
Dado que un campo tensorial de rango r, Ti1 ir (xi ), consta de nr cantidades definidas
en cada punto (de alguna regi
on) de En , es posible derivar cada una de estas cantidades
respecto a las n coordenadas de las que depende, en cada SOC. Esto permite calcular nr+1
nuevas cantidades: las nr+1 derivadas parciales
Ti1 ir
.
xj
(8.124)
En general, adoptaremos la notaci

on
j Ti1 in :=
Ti1 ir
.
xj
(8.125)
Ahora probaremos que las nr+1 derivaras j Ti1 ir forman un tensor cartesiano de rango
r + 1 bajo TOs.
En efecto, si denotamos Aji1 ir := j Ti1 ir , entonces en otro SOC (x0i = aij xj ) tendremos que
A0ji1 ir =
=
Ti01 ir
x0j
(8.126)
(ai1 j1 air jr Tj1 jr )

x0j
(8.127)
= ai1 j1 air jr
(Tj1 jr ) .
x0j
(8.128)
Usamos ahora la regla de la cadena para expresar las derivadas de Tj1 jr respecto a las
nuevas coodenadas x0i en funci
on de sus derivadas respecto a las coordenadas antiguas
xi . Usando la convenci
on de suma de Einstein tenemos que, para cualquier funcion , se
satisface
(x0 )
(x) xk
=
.
(8.129)
0
xj
xk x0j
En nuestro caso (es decir, para TOs) tenemos que la transformacion inversa esta dada por
xi = aji x0j y por lo tanto,
xk
= ajk .
(8.130)
x0j
75
Con esto, al substituir (8.129) en (8.128) obtenemos

A0ji1 ir = ai1 j1 air jr
Tj1 jr xk
xk x0j
Tj1 jr
xk
= ajk ai1 j1 air jr Akj1 jr ,
= ajk ai1 j1 air jr
(8.131)
(8.132)
(8.133)
q.e.d.
8.10.3.
Divergencia, rotor, Laplaciano
A partir del hecho que la derivaci

on de un tensor cartesiano de rango r suministra un
nuevo tensor cartesiano de rango r + 1 es posible operar sobre este nuevo tensor con las
operaciones disponibles (addici
on, multiplicacion por escalar, contraccion, permutacion de
ndices, etc.).
Por ejemplo, dado un campo vectorial con componentes Ai , podemos calcular i Aj que
es un tensor de rango 2, y luego la contraccion i Ai que sera entonces un escalar bajo TOs.
Es facil verificar que el escalar i Ai corresponde a la divergencia del vector Ai , ya que
i Ai = 1 A1 + 2 A2 + n An .
(8.134)
Por otro lado, dado un campo escalar , entonces i es el campo vectorial gradiente del
campo . Adem
as, la divergencia del gradiente de , es decir, el Laplaciano de (que es
un escalar bajo TOs) puede entonces escribirse en notacion de componentes como
2 = i i = 1 1 + n n = 12 + n2 ,
(8.135)
o, simplemente, en terminos de operadores 2 = i i .

~ :=
~ A
~ de un campo
En tres dimensiones (n = 3) podemos expresar el rotor C
~ como
vectorial A
Ci = ijk j Ak ,
(8.136)
relacion que en algunas ocasiones denotaremos
~ A)
~ i = ijk j Ak .
(
(8.137)
Observaci
on: Note que el rotor de un vector es en realidad un pseudo-vector.
8.10.4.
Integraci
on
Otra operaci
on com
unmente requerida es la integracion de tensores, ya sea sobre una
lnea, superficie o volumen. A continuaci
on probaremos que estas operaciones definen nuevos tensores bajo TOs.
Integrales de lnea
Si Ti1 ir (x) es un campo tensorial de rango r entonces, dada una curva C parametrizada
por xi = xi (), es posible definir las siguientes n integrales de lnea por cada una de las
componentes del tensor original:
Z
Cji1 ir := Ti1 ir (x) dxj ,
(8.138)
C
76
o, mas explcitamente,
Z
Cji1 ir :=
1

dxj
[Ti1 ir (x())]
() d.
d
(8.139)
Entonces, en otro SOC, tendremos que

0
Cji
1 ir

dx0j
=
() d.
d
1

Z 2
d(ajk xk )
() d
=
[ai1 j1 air jr Tj1 jr (x())]
d
1

Z 2
dxk
[Tj1 jr (x())]
= ajk ai1 j1 air jr
() d
d
1
Z
Ti01 ir (x())
= ajk ai1 j1 air jr Ckj1 jr .
(8.140)
(8.141)
(8.142)
(8.143)
Integrales de superficie
Similarmente, podemos definir integrales de superficie. Si ni (x) es un (pseudo-)vector
unitario normal a la superficie S en el punto xi podemos definir las nr+1 cantidades
Z
Cji1 ir :=
Ti1 ir (x) dSj ,
dSj := nj dS.
(8.144)
S
Note que aqu dS denota el elemento de superficie que, por definicion, es un escalar, es
decir, dS 0 = dS.
Tal como en el caso de las integrales de lnea, es directo demostrar que estas nuevas
cantidades son componentes de un (pseudo-)tensor de rango r + 1:
Z
0
Cji1 ir :=
Ti01 ir (x) n0j dS 0
(8.145)
S
Z

:=
ai1 j1 air jr Tj1 jr (x0 ) (ajk nk ) dS
(8.146)
S
Z
Tj1 jr (x) nk dS
(8.147)
:= ajk ai1 j1 air jr
S
:= ajk ai1 j1 air jr Ckj1 jr .
(8.148)
Integrales de volumen
Finalmente, consideraremos la definicion de nuevos tensores por medio de la integracion en un volumen (n-dimensional). A partir del campo tensorial de rango r, Ti1 ir (x),
definimos
Z
Ci1 ir :=
Ti1 ir (x) dn x,
(8.149)
V
77
que son componentes de un nuevo tensor de rango r respecto a TOs, ya que

Z
0
Ti01 ir (x) dn x0
Ci1 ir =
V
0
Z
x n
d x
=
[ai1 j1 air jr Tj1 jr (x)]

x
V
Z
Tj1 jr (x) |a| dn x
= ai1 j1 air jr
ZV
Tj1 jr (x) dn x
= a i1 j1 a ir jr
(8.150)
(8.151)
(8.152)
(8.153)
= ai1 j1 air jr Cj1 jr .
(8.154)
Teorema de Gauss y Stokes

El teorema fundamental del c
alculo (en varias variables) adopta, en notacion tensorial,
la forma
Z B
(k Ti1 ir ) dxk = Ti1 ir (B) Ti1 ir (A),
(8.155)
C,A
donde C es una curva que une los puntos A y B.

En tres dimensiones (n = 3), tenemos que la forma general del Teorema de Green es
Z
I
k Ti1 kir (x) dV =
Ti1 kir (x) dSk .
(8.156)
V
Es simple verificar que este teorema puede generalizarse a

Z
I
j Ti1 ir (x) dV =
Ti1 ir (x) dSj ,
(8.157)
es decir, al caso en que no existe necesariamente una contraccion de ndices a ambos lados
de la igualdad.
Por otro lado, el teorema de Stokes, adopta la forma
I
Z
ijk j Ti1 kir dSi =
Ti1 kir dxk .
(8.158)
S
Nuevamente, este teorema puede ser generalizado al caso sin contraccion:

Z
I
ijk j Ti1 ir dSi =
Ti1 ir dxk .
S
78
(8.159)
Ap
endice A
Otras funciones especiales

A.1.
Funciones de Laguerre
Gr
aficos
Laguerre Polynomials
20
n=0
n=1
n=2
n=3
n=4
15
n=5
Ln(x)
10
10
5
10
15
20
Figura A.1: Funciones de Laguerre

http://en.wikipedia.org/wiki/File:Laguerre_poly.svg
Ecuaci
on diferencial
d2 y
dy
+ (1 x)
+ ny = 0
2
dx
dx
(A.1)
Ecuaci
d
dx

xe

dy
+ nex y = 0
dx
79
(A.2)
F
ormula de Rodrigues
Ln (x) =
ex dn n x
(x e )
n! dxn
(A.3)
Funci
on generadora
xt
X Ln (x)
e 1t
=
tn
(1 t)
n!
(A.4)
(n + 1)Ln+1 (x) = (2n + 1 x)Ln (x) n2 Ln1 (x)
(A.5)
n=0
Ortogonalidad
Z
Lm (x)Ln (x)ex dx = mn
80
(A.6)
A.2.
Funciones de Laguerre asociadas
Ecuaci
on diferencial
d2 y
dy
+ (k + 1 x)
+ ny = 0
2
dx
dx
(A.7)
Ecuaci

d k+1 x dy
+ nex xk y = 0
x e
dx
dx
(A.8)
F
ormula de Rodrigues
Lkn (x) =
ex xk dn n+k x
(x
e )
n! dxn
(A.9)
Funci
on generadora
xt
X Lk (x)
e 1t
n
tn
=
(1) t
n!
(1 t)k+1
k k
(A.10)
n=0

nk+1 k
2 m
Ln+1 (x) + x + m 2n 1 Lm
n (x) + n Ln1 (x) = 0
n+1
(A.11)
Ortogonalidad
Z
Lkm (x)Lkn (x)ex xk dx =
(n + k + 1)!
mn
n!
(A.12)
Aplicaci
on en Fsica
Solucion radial de ecuaci
on de Schr
odinger en potencial de Coulomb (atomo hidrogenoide).
81
A.3.
Funciones de Hermite
Gr
aficos
Figura A.2: Funciones de Hermite

http://en.wikipedia.org/wiki/File:Hermite_poly_phys.svg
Ecuaci
on diferencial
d2 y
dy
2x
+ 2ny = 0
dx2
dx
(A.13)
Ecuaci

d x2 dy
2
e
+ 2nex y = 0
dx
dx
(A.14)
F
ormula de Rodrigues
Hn (x) = (1)n ex
dn x2
e
dxn
(A.15)
Funci
on generadora
2
e2txt =
X
Hn (x)
n=0
n!
tn
(A.16)
Hn+1 (x) = 2xHn (x) 2nHn1 (x)
82
(A.17)
Ortogonalidad
Z
2
Hm (x)Hn (x)ex dx = 2n n! mn
Aplicaci
on en Fsica
Oscilador arm
onico cu
antico
83
(A.18)
A.4.
Polinomios de Chebyshev
Gr
aficos
Figura A.3: Polinomios de Chebyshev

http://en.wikipedia.org/wiki/File:Chebyshev_Polynomials_of_the_1st_Kind_
(n%3D0-5,_x%3D(-1,1)).svg
Ecuaci
on diferencial
(1 x2 )
d2 y
dy
x
+ n2 y = 0
2
dx
dx
(A.19)
Ecuaci

dy
d p
n2
2
y=0
1x
+
dx
dx
1 x2
(A.20)
1
(1)n 1 x2
dn
Tn (x) =
(1 x2 )n 2
(2n 1)(2n 3) 1 dxn
(A.21)
F
ormula de Rodrigues
Funci
on generadora
X
1 tx
=
Tn (x)tn
1 2tx + t2
(A.22)
Tn+1 (x) = 2xTn (x) Tn1 (x)
(A.23)
n=0
84
Ortogonalidad
Z
Tm (x)Tn (x)
dx =
1 x2
2 mn
Aplicaci
on en Fsica
??
85
m=n=0
m=n=N N
(A.24)
Ap
endice B
La Delta de Dirac
B.1.
La funci
on
Decimos que (x) es una delta de Dirac, si

(x a) = 0
x 6= a,
(B.1)
donde a R, pero
Z

f (x)(x a)dx =
0
si x
/ (b, c),
f (a) si x (b, c),
(B.2)
para toda funci

on f de clase C 1 .
La nocion general de una delta de Dirac es que esta se anula para todo punto, excepto
en x = a, y que all asume un valor divergente, pero tal que
Z
(x a)dx = 1.
(B.3)
La delta de Dirac, que en realidad no es una funcion en sentido estricto, puede ser entendida
como el lmite de una sucesi
on de funciones. Por ejemplo, si definimos
r
n n(xa)2
Dn (x a) :=
e
,
n = 1, 2, 3, . . . ,
(B.4)
entonces es posible probar que

Z
Dn (x)dx = 1,
(B.5)
y ademas

0 x 6= a,
para x = a.

Z c
0
si x
/ (b, c),
lm
Dn (x)f (x)dx =
n b
f (a) si x (b, c).
lm Dn (x) =
(B.6)
(B.7)
Por lo tanto, escribimos

lm Dn (x) = (x a).
(B.8)
Una descripcion matem

aticamente consistente de la delta de Dirac puede ser dada en el
marco de la teora de distribuciones.
86
Otros ejemplos de sucesiones de funciones que convergen a una Delta de Dirac (x)
son:
1
n
,
(B.9)
Dn (x) =
1 + n2 x2
Dn (x) =
B.1.1.
1 sen2 (nx)
.
n
x2
(B.10)
Derivada de la delta de Dirac
Considerando la funci
on como si fuese una funcion normal, encontramos, integrando
por partes, que
Z
Z
0
(x a) f (x)dx = [(x a)f (x)]
(x a)f 0 (x)dx = f 0 (a),
(B.11)
|
{z
}
|
{z
}
d
(xa)
:= dx
=0
es decir,
Z
0 (x a)f (x)dx = f 0 (a).
(B.12)
B.2.
Delta de Dirac evaluada en una funci

on y cambios de
variable
Por otro lado, de las reglas de cambio de variables, obtenemos

(g(x)) =
X (x xi )
i
|g 0 (x)|
donde xi son las soluciones nulas (simples!) de g, e.d., que satisfacen g(x) = 0.
Por ejemplo,
1
(x).
(ax) =
|a|
(B.13)
(B.14)
Esto puede probarse de la forma siguiente: Si a > 0 el cambio de variable de integracion

y = ax conduce a
Z
Z
Z
y
1
1
(x)f (x) dx.
(B.15)
(ax)f (x) dx =
(y)f ( ) dy = f (0) =
a
a
a
Si a < 0, entonces el mismo cambio de variable conduce a
Z
Z
Z
y
1
1
(ax)f (x) dx =
(y)f ( ) dy = f (0) =
(x)f (x) dx.
a
a
a
(B.16)
Estos dos resultados son equivalentes a la identidad (B.14).

Como caso particular, si a = 1 (B.14), encontramos
(x) = (x),
e.d., la funcion es una funci
on par.
87
(B.17)
B.2.1.
Otras identidades
La identidad
s(x + a)(x) = s(a)(x),
(B.18)
donde s(x) es una funci

on continua y a una constante, se sigue de
Z
Z
s(a)(x)f (x) dx.
s(x + a)(x)f (x) dx = s(a)f (0) =
(B.19)
Un caso particular de (B.18) es

x(x) = 0.
B.2.2.
(B.20)
Representaci
on integral
La expresion
1
2
(x) =
eikx dk
(B.21)
puede ser derivada de la siguiente forma: La transformada de Fourier f(k) de una funcion
f (x) es definida por
Z
1
(B.22)
eikx f(k) dk,
f (x) =
2
donde
f(k) :=
eikx f (x) dx.
(B.23)
Para f (x) = (x) obtenemos

f(k) :=

eikx (x) dx = eikx
x=0
= 1,
(B.24)
de modo que (B.22) se reduce a (B.21).
B.2.3.
La delta de Dirac tridimensional
La definicion de la delta de Dirac tridimensional (3) (~x ~a) es analoga a aquella de la

version unidimensional:
(3) (~x ~a) = 0,
~x 6= ~a,
(B.25)
pero
Z
(3)

(~x ~a)f (~x) dV =
0
si ~a
/ V,
f (~a) si ~a V.
(B.26)
Esta definicion puede ser usada, por ejemplo, para describir la densidad de carga de una
carga puntual situada en ~x0 :
(~x) = q (3) (~x ~x0 ),
(B.27)
de modo que
Z
(~x) dV = q.
(B.28)
R3
Ademas, la siguiente identidad es de mucha utilidad:

2
1
= 4 3 (~x ~x0 ).
|~x ~x0 |
88
(B.29)
1
Para probar esta identidad, debe mostrarse que: a) 2 |~x~
x 6= ~x0 , lo que puede ser
x0 | = 0, ~
R
1
directamente comprobado calculando las derivadas respectivas, y b) V f (~x)2 |~x~
x0 | dV =
4f (~x0 ) para cualquier funci
on de clase C 1 en el volumen V , que contiene el punto ~x0 .
Para probar esto u
ltimo, es conveniente usar coordenadas esfericas centradas en el punto
1
1
~x0 , de modo que |~x~
as, como la propiedad a) es valida es posible reemplazar
x0 | = r . Adem
el dominio de integraci
on V (que incluye el punto ~x0 ) por una esfera E de radio R, centrada
0
en ~x , de modo que
Z
Z
1
21
f (~x) dV =
f (~x)2 dV
(B.30)
r
r
V

ZE
~
~ 1 dV
(B.31)
=
f (~x)
r
E

Z
1
1
~
~
~
~
=
f
f
dV
(B.32)
r
r
E

Z
I
~
~
~ 1 dV
~ 1 dS
(B.33)
=
f
f
r
r
E
E
I
Z
1
~
~ r) 1 dV
=
f 2 (
r dS) + (f
(B.34)
r
r2
E
Z
IE
f 1
1
dV
(B.35)
=
f 2 dS +
r
r r2
IE
Z E
f
drd.
(B.36)
=
f d +
E
E r
Si f es una funci
on de clase C 1 , ambos terminos son finitosH y su suma es independiente de
R. En el lmite R 0, el primer termino tiende a f |r=0 d = 4f (~x0 ), mientras que
el segundo tiende a cero debido a la integral sobre la variable r, desde r = 0 hasta r = R.
De este modo, obtenemos
I

Z
Z
f
21
f (~x) dV = lm
f d +
drd
(B.37)
R0
r
V
E
E r
= 4f (~x0 ) + 0.
(B.38)
89
Ap
endice C
Coordenadas curvilineas
C.1.
Coordenadas Cartesianas
Vector
~ = Ax x
A
+ Ay y + Az z
(C.1)
Gradiente:
~
x
+
y +
z
x
y
z
(C.2)
~ A
~ =
Ax Ay
Az
+
+
x
y
z
(C.3)
Divergencia
Rotor:
~ A
~ =
Ay
Az
y
z

x
+
Ax Az
z
x

y +
Ay
Ax
x
y

z
(C.4)
Laplaciano
2 =
2 2 2
+
+
x2
y 2
z 2
(C.5)
Desplazamiento:
d~x = dx
x + dy y + dz z
(C.6)
~ = dy dz x
dS
+ dx dz y + dx dy z
(C.7)
Elemento de superficie:
Elemento de volumen:
dV
= dx dy dz
90
(C.8)
C.2.
Coordenadas Cilndricas
Definicion:
x = cos ,
p
= x2 + y 2 ,
y = sen ,
z=z
= arctan (y/x),
z=z
(C.9)
(C.10)
Vector
~ = A + A + Az z
A
(C.11)
Gradiente:
1
+
+
z
(C.12)
1 (A ) 1 A Az
+
+

z
(C.13)
=
Divergencia
~ A
~ =
Rotor:

A
A
A
A
1
z
z
~ A
~ =
+

z
z

1 (A ) A
z
+
(C.14)
Laplaciano
2

1 2 2
+ 2
+
2
z 2
(C.15)
(C.16)
Desplazamiento:
d~x = d
+ d + dz z
(C.17)
~ = d dz + d dz + d d z
dS
(C.18)
dV
C.3.
= d d dz
(C.19)
Coordenadas Esf
ericas
Definicion:
x = r sen cos ,
r=
p
x2 + y 2 + z 2 ,
y = r sen sen ,
z = r cos
p
z
x2 + y 2
= arc cos( ) = arctan
, = arctan (y/x)
r
z
(C.20)
(C.21)
Vector
~ = Ar r + A + A
A
91
(C.22)
Gradiente:
1
1
r +
+
r
r
r sen
(C.23)
1
1 A
1 r2 Ar
+
(A sen ) +
2
r
r
r sen
r sen
(C.24)
=
Divergencia
~ A
~ =
Rotor:

1
A
r
(A sen )
r sen

1
1 Ar
Ar
1
(rA ) +
(rA )
r sen
r
r r
~ A
~ =
(C.25)
Laplaciano
2
1
r2 r

1
1
2
2
r
+ 2
sen
+ 2
r
r sen
r sen2 2
(C.26)
Desplazamiento:
d~x = dr
r + rd + r sen d
(C.27)
~ = r2 sen d d r + r sen dr d + r dr d
dS
(C.28)
dV
= r2 sen dr d d
(C.29)
Solucion general (finita) de la Ecuaci

on de Laplace:
(r, , ) =
X
l
h
X
i
Alm rl + Blm r(l+1) Ylm (, ).
l=0 m=l
92
(C.30)
Bibliografa
[1] Sean Mauch, Introduction to Methods of Applied Mathematics or Advanced Mathematical Methods for Scientists and Engineers (2004), http://www.its.caltech.edu/
~sean/book/unabridged.html.
[2] G. Arfken and H.Weber, Mathematical Methods for Physicists, Fifth Edition, Academic Press, (2001).
[3] E. Butkov, Mathematical Physics, Addison-Wesley (1968).
[4] S. Hassani. Mathematical Physics: A Modern Introduction to Its Foundations, Springer
(1999).
[5] L. Santalo, Vectores y Tensores con sus aplicaciones, Editorial Universitaria de Buenos
Aires, Septima Edici
on (1969).
93

FIsica Matematica II

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

FIsica Matematica II

Cargado por

Copyright:

Formatos disponibles

FISICA MATEMATICA

Este apunte se confeccion

Anti-Copyright: No se reserva ning

Otros apuntes en https://sites.google.com/site/apuntesdecienciasfisicas.

...As, nosotros los mortales, somos inmortales en lo que creamos en com

3. Ecuaciones Diferenciales parciales de la Fsica

5.5. Funciones asociadas de Legendre . . . . . . . . . . . .

Resumen: Series de Fourier

Recuerde que las funciones {cos(n), sen(n)}

podemos encontrar las expresiones para los coeficientes de Fourier an y bn 1 :

Equivalentemente, f () puede expandirse en terminos proporcionales a las funciones ein ,

donde los coeficientes cn est

Es conveniente definir b0 := 0, tal como se incluye en (1.5).

Los coeficientes de la series (1.1) y (1.6) estan relacionados por

Si elegimos f1 () = f (), f2 () = f () y n = 0 en (1.16), encontramos

Teorema [3]: Si f (x) es una funci

Es simple extender los resutados anteriores al caso de funciones periodicas de periodo

Podemos encontrar una representaci

En el lmite T , (y por lo tanto 0), la funcion f (t) puede considerarse como

de modo que la transformada inversa resulta ser

Otras notaciones: f() = g() = F(f (t)).

El factor 1/ 2 en las definiciones (2.4) y (2.5) es hasta cierto punto convencional.

, de modo que la expansi

Propiedades de la Transformada de Fourier

Transformada de Fourier de la derivada de una funci

Aplicacion sucesiva de esta relaci

F[(t c)] = iF[H(t c)]

F[f1 (t)f2 (t)] =

Ejemplo: Usando el teorema de convolucion podemos encontrar la transformada de

We collect the result for positive and negative .

Otra forma de encontrar la transformada de

Ecuaciones Diferenciales parciales

Ecuacion de la onda dependiente del tiempo

Una E.D.P. lineal de segundo orden de la forma [4]

o que pueda reducirse a (3.7) por medio de alg

Condiciones de Borde y condiciones suficientes para determinar

Las soluciones univaluadas, e.d. que satisfacen ( + 2) = (), son

Reemplazando esta soluci

E.D.O. Asociada de Legendre

Substituyendo x := cos tendremos que la funcion () se transforma en y(x) =

Expandiendo (5.5) en potencias de t := a/r, para r > a, obtenemos

Equivalentemente, tenemos entonces que

2n+k n!k!(n k)!

(1)k (2n 2k)!

Los primeros cuatro polinomios son

Los polinomios de Legendre satisfacen las siguientes propiedades:

Los polinomios Pn son funciones simetricas si n es par y antisimetricas si n es impar

Figura 5.1: Primeros cinco polinomios de Legendre.

nPn1 (x) + (n + 1)Pn+1 (x) = (2n + 1) x Pn (x),

[n(n + 1) m(m + 1)]

Es posible expandir una funci

Primero escribimos la E.D.O. en su forma estandar

Como los coeficientes de y 0 y y son funciones analticas en la vencindad de x = 0, podemos

Sustituyendo estas series en 5.30 y obtenemos

[(k + 1)(k + 2)ak+2 ((k 1)k + 2k Q) ak ] xk = 0.

Igualando los coeficientes de cada termino xk obtenemos las relaciones de recurrencia

A partir de ellas, podemos encontrar todos los coeficientes ak , con k 2 a partir de a0 y

Por lo tanto, la soluci

donde y1 (x) es una funci

En general, tanto y1 (x) como y2 (x) ser

Analicemos ahora con m

y con ello, podemos escribir la soluci

Finalmente, cambiando ndice de suma desde m hasta k := n/2 m, de modo que 2m =

(1)k (2n 2k)! n2k

2 X (1)k (k + ) z 2k+ X (1)k1 k z 2k+