FM II Grubilar

F
ISICA MATEM
ATICA II
Version del 14 de julio de 2011
Prefacio
Este apunte se confeccion o con contribuciones de Guillermo Rubilar, Oscar Fuentealba,
y parte del codigo L
A
T
E
X 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 modicada 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.
i
Indice general
Prefacio I
1. Analisis de Fourier 1
1.1. Resumen: Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Propiedades Generales . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. Convolucion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.3. Relacion de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Cambio de Intervalo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2. La transformada de Fourier 5
2.1. Generalizacion a mayores dimensiones . . . . . . . . . . . . . . . . . . . . . 6
2.2. Propiedades de la Transformada de Fourier . . . . . . . . . . . . . . . . . . 6
2.2.1. Delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2.2. Transformada de Fourier de la derivada de una funcion . . . . . . . 6
2.2.3. Teorema de Convolution . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2.4. Teorema de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3. Ecuaciones Diferenciales parciales de la Fsica 9
3.1. Clasicacion de E.D.P. lineales de segundo orden y Condiciones de Borde . 10
3.1.1. Condiciones de Borde y condiciones sucientes para determinar so-
luciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4. El Metodo de Separacion de Variables 12
5. Funciones de Legendre 14
5.1. E.D.O. Asociada de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . 14
5.1.1. E.D.O de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
5.1.2. Expresiones explcitas . . . . . . . . . . . . . . . . . . . . . . . . . . 16
5.1.3. Formula de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . 16
5.1.4. Relaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . 16
5.2. Relacion de ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5.2.1. Series de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
5.3. Solucion en serie de Potencia (Metodo de Frobenius) . . . . . . . . . . . . . 17
5.3.1. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5.3.2. Caso Q = n(n + 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
5.4. Funciones de Legendre de segunda especie . . . . . . . . . . . . . . . . . . . 20
5.4.1. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . . . 21
5.4.2. Expresiones explcitas para Q
n
(x) . . . . . . . . . . . . . . . . . . . 25
ii
5.5. Funciones asociadas de Legendre . . . . . . . . . . . . . . . . . . . . . . . . 27
5.5.1. Ecuacion diferencial . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.5.2. Ecuacion diferencial (forma de Sturm-Liouville) . . . . . . . . . . . . 27
5.5.3. Formula de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.5.4. Funcion generadora . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
5.5.5. Relaciones de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . 28
5.5.6. Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
5.6. Funciones Armonicas Esfericas . . . . . . . . . . . . . . . . . . . . . . . . . 28
6. Funciones de Bessel 30
6.1. Ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
6.2. Solucion en serie en torno a z = 0 . . . . . . . . . . . . . . . . . . . . . . . . 30
6.3. Relaciones de Recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
6.3.1. Representacion integral . . . . . . . . . . . . . . . . . . . . . . . . . 36
6.3.2. Forma asintotica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
6.3.3. Ceros de las funciones de Bessel . . . . . . . . . . . . . . . . . . . . . 37
6.3.4. Relaciones de Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . 38
6.4. Funciones de Bessel de orden entero . . . . . . . . . . . . . . . . . . . . . . 38
6.4.1. Funcion generadora de Funciones de Bessel de orden entero . . . . . 39
6.4.3. Sumatorias de funciones de Bessel . . . . . . . . . . . . . . . . . . . 41
6.5. Funciones de Bessel de orden semi-entero . . . . . . . . . . . . . . . . . . . 42
6.6. Funciones de Bessel de segunda especie . . . . . . . . . . . . . . . . . . . . . 43
6.7. Funciones de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
6.8. Funciones modicadas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . 45
6.8.1. Funciones Modicadas de Bessel de segunda especie . . . . . . . . . 47
6.9. Funciones Esfericas de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . 48
6.9.2. Expresiones explcitas . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6.9.3. Relaciones de Ortogonalidad . . . . . . . . . . . . . . . . . . . . . . 50
6.9.4. Funciones esfericas de Hankel . . . . . . . . . . . . . . . . . . . . . . 50
6.9.5. Forma asintotica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
6.9.6. Funciones modicadas esfericas de Bessel . . . . . . . . . . . . . . . 51
7. Funciones de Green 53
7.1. Motivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
7.2. Generalizacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.3. Simetra de la funcion de Green . . . . . . . . . . . . . . . . . . . . . . . . . 55
7.4. Expresiones explcitas de algunas funciones de Green . . . . . . . . . . . . . 56
7.4.1. Operador Laplaciano . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
7.4.2. Operador de Helmoltz . . . . . . . . . . . . . . . . . . . . . . . . . . 57
8. Tensores 60
8.1. Tensores Cartesianos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
8.2. Bases ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
8.3. Convencion de suma de Einstein . . . . . . . . . . . . . . . . . . . . . . . . 61
8.4. Transformaciones ortogonales . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.5. Vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
iii
8.6. Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
8.7. Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
8.8. Operaciones con Tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
8.8.1. Adicion de tensores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
8.8.2. Multiplicacion por escalar . . . . . . . . . . . . . . . . . . . . . . . . 67
8.8.3. Permutacion de ndices . . . . . . . . . . . . . . . . . . . . . . . . . 67
8.8.4. Producto (tensorial) de tensores . . . . . . . . . . . . . . . . . . . 68
8.8.5. Contraccion de ndices . . . . . . . . . . . . . . . . . . . . . . . . . . 68
8.8.6. Tensores simetricos y antisimetricos . . . . . . . . . . . . . . . . . . 68
8.9. Smbolo de Levi-Civita y pseudo-tensores . . . . . . . . . . . . . . . . . . . 69
8.9.1. (Pseudo)-tensor dual . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.10. Analisis tensorial cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.10.1. Campo tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
8.10.2. Derivacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
8.10.3. Divergencia, rotor, Laplaciano . . . . . . . . . . . . . . . . . . . . . 74
8.10.4. Integracion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
A. Otras funciones especiales 77
A.1. Funciones de Laguerre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
A.2. Funciones de Laguerre asociadas . . . . . . . . . . . . . . . . . . . . . . . . 79
A.3. Funciones de Hermite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
A.4. Polinomios de Chebyshev . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
B. La Delta de Dirac 84
B.1. La funcion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
B.1.1. Derivada de la delta de Dirac . . . . . . . . . . . . . . . . . . . . . . 85
B.2. Delta de Dirac evaluada en una funcion y cambios de variable . . . . . . . . 85
B.2.1. Otras identidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
B.2.2. Representacion integral . . . . . . . . . . . . . . . . . . . . . . . . . 86
B.2.3. La delta de Dirac tridimensional . . . . . . . . . . . . . . . . . . . . 86
C. Coordenadas curvilineas 88
C.1. Coordenadas Cartesianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
C.2. Coordenadas Cilndricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
C.3. Coordenadas Esfericas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
1
Captulo 1
Analisis de Fourier
1.1. Resumen: Series de Fourier
1.1.1. Propiedades Generales
Si f() es una funcion (real o compleja) periodica, de periodo 2, su serie de Fourier
es dada por
f() =
a
0
2
+
n=1
_
a
n
cos(n) + b
n
sen(n)
_
. (1.1)
Recuerde que las funciones cos(n), sen(n)
n=0
forman una base completa para el espacio
de las funciones periodicas de periodo 2 [2].
Usando las relaciones de ortogonalidad
_

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 coecientes de Fourier a
n
y b
n
1
:
a
n
=
1
f() cos(n) d, n = 0, 1, 2, . (1.4)

b
n
=
1
f() sen(n) d n = 0, 1, 2, . (1.5)

Equivalentemente, f() puede expandirse en terminos proporcionales a las funciones e
in
,
con n = 0, 1, 2, :
f() =
n=
c
n
e
in
, (1.6)
donde los coecientes c
n
estan dados por
c
n
=
1
2
_

f()e
in
d. (1.7)
Lo anterior puede ser vericado a partir de (1.1), (1.4) y (1.5) usando la relacion e
in
=
cos(n) +i sen(n), o directamente a partir de la relacion de ortogonalidad
_

e
in
e
im
d = 2
nm
. (1.8)
1
Es conveniente denir b
0
:= 0, tal como se incluye en (1.5).
1
Los coecientes de la series (1.1) y (1.6) estan relacionados por
c
n
=
_
1
2
(a
n
ib
n
) para n 0,
1
2
(a
n
+ ib
n
) para n 1,
(1.9)
o bien,
a
n
= c
n
+ c
n
, b
n
= i(c
n
c
n
), n = 0, 1, 2, . (1.10)
Si f() es una funcion real entonces sus respectivos coecientes complejos c
n
satisfacen
la relacion
c
n
=
1
2
_

f()(e
in
)
d =
1
2
_

f()e
in
d = c
n
(1.11)
donde z
representa el complejo conjugado de z.

1.1.2. Convoluci on
c
(12)
n
=
1
2
_

f
1
()f
2
()e
in
d (1.12)
=
1
2
m
_

f
1
()C
(2)
m
e
im
e
in
d (1.13)
=
1
2
m
C
(2)
m
_

f
1
()e
i(nm)
d (1.14)
=
m
C
(2)
m
C
(1)
nm
(1.15)
c
(12)
n
=
m
C
(2)
m
C
(1)
nm
. (1.16)
1.1.3. Relacion de Parseval
Si elegimos f
1
() = f
(), f
2
() = f() y n = 0 en (1.16), encontramos
_

[f()[
2
d = 2
n
[C
n
[
2
. (1.17)
1.1.4. Convergencia
Una sucesion S
n
(x) de funciones denidas en el intervalo x [, ] converge en
media a una funcion f(x) si
lm
n
_

[f(x) S
n
(x)]
2
dx = 0. (1.18)
La sucesion S
n
converge a f(x) excepto en un conjunto de medida cero
Una sucesion S
n
(x) de funciones converge uniformemente a una funcion f(x) si para
todo > 0 existe un N > 0 tal que
[f(x) S
n
(x)[ < , n > N, (1.19)
para cada x (N independiente de x).
2
Teorema [3]: Si f(x) es una funcion 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
2
[f(x 0) + f(x + 0)] , x (, ), (1.20)
1
2
[f( + 0) +f( 0)] , x = . (1.21)
La convergencia es uniforme en cada subintervalo cerrado donde f(x) es continua.
Teorema [3]: Si una funcion denida en un intervalo cerrado [a, b] satisface las con-
diciones 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 nito de subinteralos donde f(x) es monotona) entonces
tambien se satisfacen las propiedades de convergencia del Teorema 1.
Teorema [3]: Si la funcion f(x) es cuadrado-integrale en (, ) (f L
2
(, ), es
decir, si
_
[f(x)[
2
dx es nito) 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 funcion 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,
g() =
n=
c
n
e
in
, c
n
=
1
2
_

g()e
in
d. (1.23)
Usando (1.22), y realizando el cambio de variable de integracion a t := a+L/2, podemos
expresar los coecientes c
n
como
c
n
=
1
2
_

g()e
in
d (1.24)
=
1
2
_

f(a +
T
2
)e
in
d (1.25)
=
1
2
_
b+T/2
aT/2
f(t)e
in
2
T
(ta)
2
T
dt (1.26)
=
1
T
e
2ina
T
_
b
a
f(t)e
2in
T
t
dt. (1.27)
Denimos la frecuencia fundamenal
1
:= 2/T y las frecuencias armonicas
n
:= n
1
,
n = 0, 1, 2, . Entonces, la funcion original f(t) = g(2(t a)/L) puede escribirse
como
f(t) =
n
f
n
e
i
n
t
, (1.28)
donde
f
n
:=
1
T
_
b
a
f(t)e
i
n
t
dt. (1.29)
3
1.2.1. Delta de Dirac
Podemos encontrar una representacion de la delta de Dirac (t) (ver apendice B para
mas detalles). En este caso, los coecientes f
n
se reducen a:
f
n
=
1
T
_
b
a
(t)e
i
n
t
dt (1.30)
=
1
T
. (1.31)
Por lo tanto,
(t) =
1
T
n
e
i
n
t
=
1
T
_
1 + 2
n=1
cos
_
2nt
T
_
_
(1.32)
4
Captulo 2
La transformada de Fourier
Las series de Fourier permiten representar una funcion periodica como superposicion
de funcioes seno y coseno (o exponenciales de argumento imaginario). Es posible extender
metodo de expansion 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 funcion f(t) de periodo T, y como intervalo fundamantal a (T/2, T/2).
Entonces, usando (1.28) y (1.29) podemos escribir
f(t) =
n=
_
1
T
_
T/2
T/2
f()e
i
n
d
_
e
i
n
t
. (2.1)
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:
f(t) =
n
=
_
1
2
_
T/2
T/2
f()e
i
n
d
_
e
i
n
t
. (2.2)
En el lmite T , (y por lo tanto 0), la funcion f(t) puede considerarse como
una funcion no-periodica arbitraria denida en todo el intervalo (, ). Por otro lado,
la suma se transforma en una integral
1
. Por lo tanto, en este lmite obtenemos la identidad
f(t) =
_

_
1
2
_

f()e
i
d
_
e
it
d, (2.3)
a partir de la cual podemos denir la transformada de Fourier de la funcion f(t) como
f() =
1
2
_

f(t)e
it
dt, (2.4)
de modo que la transformada inversa resulta ser
f(t) =
1
2
_

f()e
it
d. (2.5)
Observaciones:
Cuidado! La derivacion anterior es heurstica (e.d. no rigurosa).
1
Recuerde la denicion de integral de Riemann:
R
b
a
f(x) dx := lm
x
i
0
P
x
i
f(x
i
)x
i
.
5
Otras notaciones:

f() = g() = T(f(t)).
El factor 1/
2 en las deniciones (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.
Compare (2.4) con la denicion de la transformada de Laplace: F(s) :=
_
0
f(t)e
st
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 onda k en lugar de la frecuecia
, de modo que la expansion adopta la forma f(x) = (1/
2)
_
f(k)e
ikx
dk.
2.1. Generalizacion a mayores dimensiones
2.2. Propiedades de la Transformada de Fourier
2.2.1. Delta de Dirac
T[(x )] =
1
2
_

(x )e
ix
dx (2.6)
=
1
2
e
i
(2.7)
(x ) =
1
2
_

e
i(x)
d. (2.8)
2.2.2. Transformada de Fourier de la derivada de una funcion
T[f
(t)] =
1
2
_

(t)e
it
dt (2.9)
=
_
1
2
f(t)e
ix
_
2
_

(i)f(t)e
it
dt (2.10)
=
_
1
2
f(t)e
ix
_
+ i
1
2
_

f(t)e
it
dt (2.11)
= iT[f(t)] +
_
1
2
f(t)e
ix
_
. (2.12)
Entonces si la funcion f(t) se anula en el innito, es decir si lm
t
f(t) = 0, entonces
T
_
f
(t)
= (i)T[f(t)]. (2.13)
Aplicacion sucesiva de esta relacion, bajo las mismas condiciones, conduce a
T
_
f
(n)
(t)
_
= (i)
n
T[f(t)]. (2.14)
6
Ejemplo:
H(t c) =
_
0 para t < c,
1 para t > c
(2.15)
T[(t c)] = iT[H(t c)]
1
2
e
ic
= iT[H(t c)]
T[H(t c)] =
1
2i
e
ic
(2.16)
2.2.3. Teorema de Convolution
T[f
1
(t)f
2
(t)] =
1
2
_

f
1
(t)f
2
(t)e
it
dt (2.17)
=
1
2
_

f
1
(t)
__

f
2
(
)e
i
t
d
_
e
it
dt (2.18)
=
1
2
_

__

f
1
(t)e
i(
)t
dt
_

f
2
(
) d
(2.19)
=
1
2
_

f
1
(
)

f
2
() d
(2.20)
f
12
() =
1
2
_

f
1
(
)

f
2
() d
. (2.21)
Analogamente
T
1
[

f
1
()

f
2
()] =
1
2
_

f
1
()f
2
(t ) d (2.22)
Ejemplo: Usando el teorema de convolucion podemos encontrar la transformada de
Fourier de
f(x) =
1
x
4
+ 5x
2
+ 4
. (2.23)
f(x) =
1
(x
2
+ 1)(x
2
+ 4)
(2.24)
T
_
2c
x
2
+ c
2
_
= e
c||
for c > 0. (2.25)
T[f(x)] = T
_
1
8
2
x
2
+ 1
4
x
2
+ 4
_
(2.26)
=
1
8
__

e
||
e
2||
d
_
(2.27)
=
1
8
__
0
e
2||
d +
_

0
e
e
2||
d
_
(2.28)
7
Si > 0.
T[f(x)] =
1
8
__
0
e
2+3
d +
_

0
e
2+
d +
_

e
23
d
_
(2.29)
=
1
8
_
1
3
e
2
+ e
e
2
+
1
3
e
_
(2.30)
=
1
6
e
1
12
e
2
(2.31)
Si < 0.
T[f(x)] =
1
8
__

e
2+3
d +
_
0
e
2
d +
_

0
e
23
d
_
(2.32)
=
1
8
_
1
3
e
e
2
+ e
+
1
3
e
2
_
(2.33)
=
1
6
e
1
12
e
2
(2.34)
We collect the result for positive and negative .
T[f(x)] =
1
6
e
||
1
12
e
2||
(2.35)
Otra forma de encontrar la transformada de
f(x) =
1
x
4
+ 5x
2
+ 4
(2.36)
es expandir la funcion en fracciones parciales:
f(x) =
1/3
x
2
+ 1

1/3
x
2
+ 4
(2.37)
T[f(x)] =
1
6
T
_
2
x
2
+ 1
_
1
12
T
_
4
x
2
+ 4
_
(2.38)
=
1
6
e
||
1
12
e
2||
(2.39)
2.2.4. Teorema de Parseval
_

[f(t)[
2
dt =
_

f()[
2
d (2.40)
8
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 ecuacion aparece en el estudio de:
Electrostatica, magnetostatica, electrodinamica.
Hidrodinamica.
Gravitacion.
Ecuacion de Poisson
2
= g(x). (3.2)
Ecuacion de Helmholtz:
2
k
2
= 0. (3.3)
Esta ecuacion, conocida tambien como la ecuacion de difusion independiente de tiem-
po, aparece en el estudio de
Ondas elasticas en solidos.
Ac ustica.
Ondas electromagneticas.
Reactores nucleares.
Ecuacion de difusion dependiente del tiempo ( = difusividad termica)
t
= 0. (3.4)
Ecuacion de la onda dependiente del tiempo
1
v
2
t
2
= 0. (3.5)
9
Ecuacion de Klein-Gordon:
m
2
c
2
2
= 0. (3.6)
Ecuacion de Schrodinger:
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 separacion 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. Clasicacion de E.D.P. lineales de segundo orden y Con-
diciones de Borde
Una E.D.P. lineal de segundo orden de la forma [4]
m
j=1
a
j
(x)
x
2
j
+F
_
x, ,

_
= 0, (3.7)
o que pueda reducirse a (3.7) por medio de alg un cambio de variables, puede clasicarse
en los siguientes tres tipos:
Elpticas en x
0
: si en el punto x
0
todos los coecientes a
j
(x
0
) son no-nulos y tienen
el mismo signo. Ejemplo clasico: Ec. de Laplace.
Ultrahiperbolicas en x
0
: si en el punto x
0
j
(x
0
) son no-nulos,
pero no tienen el mismo signo. Si solo uno de los coecientes tiene signo diferente
del resto, la E.D.P. es hiperbolica. Ejemplo clasico: Ec. de onda.
Parabolica en x
0
: si en el punto x
0
al menos uno de los coecientes a
j
(x
0
) se anula.
Ejemplo clasico: Ec. de difusion 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 coecientes constantes.
10
3.1.1. Condiciones de Borde y condiciones sucientes para determinar
soluciones
E.D.P. elpticas: C.d.B. tipo Dirichlet o Neumann sobre una (hiper)supercie cerrada.
E.D.P. hiperbolica: C.d.B. tipo Cauchy sobre una (hiper)supercie abierta.
E.D.P. parabolica: C.d.B. tipo Dirichlet o Neumann sobre una (hiper)supercie abier-
ta.
11
Captulo 4
El Metodo de Separacion de
Variables
Coordenadas Esfericas
En coordenadas esfericas, la ecuacion de Laplace Helmholtz (modicada) adopta la
forma:
1
r
2
r
_
r
2
r
_
+
1
r
2
sen
_
sen()
_
+
1
r
2
sen
2
2
+ = 0. (4.1)
Buscaremos soluciones separables de la forma
(r, , ) = R(r)()(). (4.2)
Introduciendo (4.2) en (4.1), multiplicando por r
2
sen
2
y dividiendo por (R), se obtiene
sen
2
_
1
R
d
dr
_
r
2
dR
dr
_
+
1
sen
d
d
_
sen
d
d
_
+ r
2
_
+
1
d
2
d
2
= 0. (4.3)
De esta forma, podemos realizar la primera separacion, ya que necesariamente
1
d
2
d
2
= const. = m
2
. (4.4)
Las soluciones univaluadas, e.d. que satisfacen ( + 2) = (), son
() = e
im
, m = 0, 1, 2, . (4.5)
sen
2
_
1
R
d
dr
_
r
2
dR
dr
_
+
1
sen
d
d
_
sen
d
d
_
+ r
2
_
m
2
= 0. (4.6)
1
R
d
dr
_
r
2
dR
dr
_
+ r
2
+
1
sen
d
d
_
sen
d
d
_
m
2
sen
2
= 0. (4.7)
d
dr
_
r
2
dR
dr
_
+
_
r
2
Q
_
R = 0, (4.8)
1
sen
d
d
_
sen
d
d
_
+
_
Q
m
2
sen
2
_
= 0. (4.9)
12
Caso = 0, ecuacion de Laplace
La primera ecuacion es una ecuacion tipo Euler y puede ser resuelta con la substitucion
r := e
t
, y = U(r) = U(e
t
) o con el Ansatz
U(r) = r
l
, l = const (4.10)
Reemplazando esta solucion en la ecuacion encontramos la condicion l(l 1) = . La
solucion general de la ecuacion para U(r) es entonces
U(r) = A r
l+1
+ B r
l
, (4.11)
donde A y B son constantes arbitrarias.
13
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 ecuacion diferencial para y(x) es
d
dx
_
(1 x
2
)
dy
dx
_
+
_
Q
m
2
1 x
2
_
y(x) = 0, x [1, 1]. (5.1)
5.1.1. E.D.O de Legendre
En el caso m = 0, la ecuacion (5.1) es llamada ecuacion diferencial de Legendre:
d
dx
_
_
1 x
2
_
dy
dx
_
+ Qy = 0 (5.2)
o, equivalentemente
(1 x
2
)y
2xy
+ Qy = 0, (5.3)
En la seccion 5.3 estudiaremos la solucion general de esta ecuacion, para valores arbi-
trarios de la constante Q. Vericaremos que (5.2) solo posee soluciones nitas en los puntos
extremos (1) si y solo si
Q = n(n + 1), n = 0, 1, 2, , (5.4)
es decir, solo si Q = 0, 2, 6, 12, 20, 30, . En este caso las soluciones nitas son los Polino-
mios de Legendre de orden n.
Antes de abordar el problema mas general, introduciremos los polinomios de Legendre
por medio de su funcion generadora. Para esto, consideramos el siguiente argumento:
La funcion (en coordenadas esfericas (r, , ))
(r, ) =
1
r
2
+a
2
2ar cos
(5.5)
es una solucion axialmente simetrica (e.d. independiente de ) de la ecuacion de Lapla-
ce. Esto puede vericarse facilmente 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/4
0
)(r, ).
14
Expandiendo (5.5) en potencias de t := a/r, para r > a, obtenemos
(r, ) =
1
r
2
+a
2
2ar cos
(5.6)
=
1
r
1
1 +t
2
2xt
(5.7)
=
1
r
n=0
P
n
(x)t
n
(5.8)
=
1
a
n=0
P
n
(x)t
n+1
, (5.9)
donde hemos introducido nuevamente x := cos . De esta forma, tenemos una solucion
nita para todo t < 1 que consiste en una superposicion de soluciones separables P
n
(x)
y t
n+1
. Comparando esta solucion con (4.11) vemos que esta solucion corresponde al caso
particular en que Q = n(n+1). Por lo tanto, esperamos que las funciones P
n
(x) satisfagan
la ecuacion (5.2) en este caso.
Con esta motivacion, podemos denir las funciones de Legendre de orden n, P
n
(x), como
los coecientes de la expansion en serie de Taylor de la funcion generadora g(t, x) :=
(1 2xt + t
2
)
1/2
, tal que
g(t, x) :=
1
1 2xt + t
2
=
n=0
P
n
(x)t
n
. (5.10)
Equivalentemente, tenemos entonces que
P
n
(x) =
1
n!
_
n
g(t, x)
t
n
_
t=0
. (5.11)
(1 x
2
)
1/2
=
n=0
(2n)!
2
2n
(n!)
2
x
n
(5.12)
(a + b)
n
=
k=0
n!
k!(n k)!
a
nk
b
k
(5.13)
g(t, x) =
n=0
(2n)!
2
2n
(n!)
2
(2xt t
2
)
n
(5.14)
=
n=0
(2n)!
2
2n
(n!)
2
t
n
(2x t)
n
(5.15)
=
n=0
(2n)!
2
2n
(n!)
2
t
n
k=0
n!
k!(n k)!
(2x)
nk
(t)
k
(5.16)
=
n=0
k=0
(1)
k
(2n)!
2
n+k
n!k!(n k)!
x
nk
t
n+k
(5.17)
(5.18)
P
n
(x) =
[n/2]
k=0
(1)
k
(2n 2k)!
2
n
k!(n k)!(n 2k)!
x
n2k
(5.19)
15
5.1.2. Expresiones explcitas
Los primeros cuatro polinomios son
P
0
(x) = 1, P
1
(x) = x,
P
2
(x) =
1
2
(3x
2
1), P
3
(x) =
1
2
(5x
3
3x).
Los polinomios de Legendre satisfacen las siguientes propiedades:
Normalizacion
P
n
(1) = 1. (5.20)
En otras palabras, los P
n
son normalizados de modo que para x = 1 ellos asumen
siempre el valor 1.
Simetra
P
n
(x) = (1)
n
P
n
(x) (5.21)
Los polinomios P
n
son funciones simetricas si n es par y antisimetricas si n es impar
Completitud: Los polinomios de Legendre P
n
forman un conjunto completo de fun-
ciones.
-1
-0.5
0
0.5
1
-1 -0.5 0 0.5 1
Figura 5.1: Primeros cinco polinomios de Legendre.
5.1.3. Formula de Rodrigues
P
n
(x) =
1
2
n
n!
d
n
dx
n
(x
2
1)
n
(5.22)
5.1.4. Relaciones de recurrencia
nP
n1
(x) + (n + 1)P
n+1
(x) = (2n + 1) xP
n
(x), (5.23)
(2n + 1)P
n
(x) = P
n+1
(x) P
n1
(x). (5.24)
16
5.2. Relacion de ortogonalidad
d
dx
_
(1 x
2
)P
+ n(n + 1)P
n
,
d
dx
_
(1 x
2
)P
+ m(m+ 1)P
m
. (5.25)
[n(n + 1) m(m+ 1)]
_
1
1
P
n
(x)P
m
(x) dx = 0 (5.26)
_
1
1
P
n
(x)P
m
(x) dx = 0, n ,= m. (5.27)
_
1
1
P
n
(x)P
m
(x) dx =
2
2n + 1
mn
(5.28)
5.2.1. Series de Legendre
Es posible expandir una funcion f(x), denida 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
f(x) =
n=0
a
n
P
n
(x), (5.29)
en el sentido que la serie coverge en media a la funcion f(x) para todo x en [1, 1]
5.3. Solucion en serie de Potencia (Metodo de Frobenius)
Primero escribimos la E.D.O. en su forma estandar
_
1 x
2
_
y
2xy
+Qy = 0, (5.30)
y
2x
1 x
2
y
+
( + 1)
1 x
2
y = 0. (5.31)
Como los coecientes de y
y y son funciones analticas en la vencindad de x = 0, podemos

encontrar una solucion en serie de Taylor en torno a ese punto:
y =
k=0
a
k
x
k
,
y
k=0
ka
k
x
k1
,
y
k=2
(k 1)ka
k
x
k2
,
=
k=0
(k + 1)(k + 2)a
k+2
x
k
.
Sustituyendo estas series en 5.30 y obtenemos
k=0
(k + 1)(k + 2)a
k+2
x
k
k=0
(k 1)ka
k
x
k
2
k=0
ka
k
x
k
+ Q
k=0
a
k
x
k
= 0, (5.32)
17
k=0
[(k + 1)(k + 2)a
k+2
((k 1)k + 2k Q) a
k
] x
k
= 0. (5.33)
Igualando los coecientes de cada termino x
k
obtenemos las relaciones de recurrencia
a
k+2
=
k(k + 1) Q
(k + 1)(k + 2)
a
k
, k = 0, 1, 2, . (5.34)
A partir de ellas, podemos encontrar todos los coecientes a
k
, con k 2 a partir de a
0
y
a
1
:
a
k
=
_
_
a
0
k!
k2
l=0
l par
(l(l + 1) Q) , k par,
a
1
k!
k2
l=1
l impar
(l(l + 1) Q) , k impar.
(5.35)
Por lo tanto, la solucion general sera una combinacion lineal de la forma
y(x) = a
0
y
1
(x) +a
1
y
2
(x), (5.36)
donde y
1
(x) es una funcion par en x e y
2
(x) es una funcion impar en x, dadas por
y
1
(x) =
m=0
_
_
_
_
1
(2m)!
2m2
l=0
l par
(l(l + 1) Q)
_
_
_
_
x
2m
=:
m=0
b
m
x
2m
, (5.37)
y
2
(x) =
m=0
_
_
_
_
1
(2m+ 1)!
2m1
l=1
l impar
(l(l + 1) Q)
_
_
_
_
x
2m+1
=:
m=0
c
m
x
2m+1
. (5.38)
En general, tanto y
1
(x) como y
2
(x) seran series innitas, ya que los correspondientes coe-
cientes de cada x
k
, 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 truncara, reduciendose a un polinomio.
5.3.1. Convergencia
Analicemos primero el caso generico en que Q ,= n(n + 1). Como dijimos, las dos solu-
ciones l.i. y
1
(x) e y
2
(x) seran series innitas, debiendo por tanto analizar su convergencia.
Consideramos primero el test de D Alambert
1
. Para el caso de y
1
(x) tenemos que
y
1
(x) =

m=0
u
m
, con
u
m
=
x
2m
(2m)!
2m2
l=0
l par
(l(l + 1) Q) = a
2m
x
2m
, (5.39)
1
Tambien llamado Cauchy ratio test: Si lm
n
|u
n+1
/u
n
| < 1 entonces
P
n=0
u
n
es una serie con-
vergente. Si lm
n
|u
n+1
/u
n
| > 1 la serie es divergente. Si lm
n
|u
n+1
/u
n
| = 1 el test de Cauchy no
suministra informacion. Ver, por ejemplo, [2], seccion 5.2.
18
y entonces
lm
m
u
m+1
u
m
= lm
m
b
m+1
x
2m+2
b
m
x
2m
= lm
m
a
2m+2
a
2m
x
2
(5.40)
= lm
m
(2m(2m+ 1) Q)
(2m+ 1)(2m+ 2)
x
2
= x
2
. (5.41)
Por lo tanto, podemos armar que y
1
(x) es convergente para [x[ < 1. Para analizar la
convergencia cuando x = 1 podemos usar el test de Gauss
2
. En nuestro caso (u
m
> 0
para m sucientemente grande) y
u
m
u
m+1
=
(2m+ 1)(2m+ 2)
(2m(2m+ 1) Q)
=
_
1 +
1
m
+
Q
8m
2
_
2 +
1
m
+ O(
1
m
2
)
__
. (5.42)
Por lo tanto, h = 1 y entonces y
1
(x) es una serie divergente en x = 1.
Analogamente, puede vericarse que las mismas conclusiones son validas para y
2
(x).
En resumen, si Q ,= 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 mas detalle el caso en que Q = n(n + 1), puesto que aqu ob-
tendremos series truncadas (es decir, polinomios) que naturalmente son funciones nitas
en todo el intervalo considerado, incluyendo los extremos. De (5.34) vemos que a
n+2
= 0,
y por consiguiente todos los coecientes de orden superior de la forma a
n+2p
seran nulos,
con p = 1, 2, . Por lo tanto, si n es par entonces sera la serie y
1
(x) la que se truncara,
mientras que y
2
(x) continuara siendo una serie innita. Por otro lado, si n es impar y
1
(x)
tendra innitos terminos, mientras que y
2
(x) se reduce a un polinomio. El orden del co-
rrespondiente polinomio truncado es n en ambos casos (a
n
es el ultimo termino no nulo).
Esperamos por lo tanto que estos polinomios sean proporcionales a los polinomios de Le-
gendre de orden n. A partir de (5.37) e (5.38), y usando l(l +1)n(n+1) = (l n)(l +n+1)
encontramos que
y
1,n
(x) =
n/2
m=0
b
m
x
2m
, b
m
=
1
(2m)!
2m2
l=0
l par
(l n)(l + n + 1), n par, (5.43)
y
2,n
(x) =
(n1)/2
m=0
c
m
x
2m+1
, c
m
=
1
(2m+ 1)!
2m1
l=1
l impar
(ln)(l+n+1), n impar. (5.44)
Luego de algo de algebra, podemos vericar que
b
m
=
(1)
m
(2m)!
(n + 2m)![(n/2)!]
2
n!(n/2 m)!(n/2 + m)!
, (5.45)
y con ello, podemos escribir la solucion y
1,n
como
y
1,n
(x) =
[(n/2)!]
2
n!
n/2
m=0
(1)
m
(2m)!
(n + 2m)!
(n/2 m)!(n/2 + m)!
x
2m
. (5.46)
2
Si u
n
> 0 n y u
n
/u
n+1
= 1+h/n+B(n)/n
2
donde h es una constante y B(n) una funcion acotada de
n para n entonces la serie
P
n
u
n
converge si h > 1 y diverge si h 1. Ver, por ejemplo, [2], seccion
5.2.
19
Finalmente, cambiando ndice de suma desde m hasta k := n/2 m, de modo que 2m =
n 2k, entonces
y
1,n
(x) =
[(n/2)!]
2
n!
n/2
k=0
(1)
n/2k
(n 2k)!
(2n 2k)!
k!(n k)!
x
n2k
(5.47)
= (1)
n/2
[(n/2)!]
2
n!
n/2
k=0
(1)
k
(n 2k)!
(2n 2k)!
k!(n k)!
x
n2k
(5.48)
= (1)
n/2
[(n/2)!]
2
n!
2
n
P
n
(x), n = 0, 2, 4, . (5.49)
En el ultimo paso hemos identicado la serie de potencias (5.19) de los polonomios de
Legendre.
Analogamente, para n impar podemos expresar los coecientes c
m
como
c
m
=
(1)
m
(2m+ 1)!
(n + 2m)![
_
n1
2
_
!]
2
n!
_
n2m1
2
_
!
_
n+2m1
2
_
!
, (5.50)
de modo que
y
2,n
(x) =
(n1)/2
m=0
(1)
m
(2m+ 1)!
(n + 2m)![
_
n1
2
_
!]
2
n!
_
n2m1
2
_
!
_
n+2m1
2
_
!
x
2m+1
(5.51)
=
[
_
n1
2
_
!]
2
n!
(n1)/2
m=0
(1)
m
(2m+ 1)!
(n + 2m)!
_
n2m1
2
_
!
_
n+2m1
2
_
!
x
2m+1
(5.52)
Cambiamos ahora ndice de suma, deniendo k tal que 2m+ 1 = n 2k, y encontramos
y
2,n
(x) =
[n/2]!
2
n!
(n1)/2
k=0
(1)
n2k1
2
(n 2k)!
(2n 2k 1)!
k!(n k 1)!
x
n2k
(5.53)
=
[n/2]!
2
n!
(1)
(n1)/2
[n/2]
k=0
(1)
k
(n 2k)!
(2n 2k)!
(2n 2k)
1
k!
(n k)
(n k)!
x
n2k
(5.54)
=
[n/2]!
2
n!
(1)
[n/2]
2
[n/2]
k=0
(1)
k
(n 2k)!
(2n 2k)!
k!(n k)!
x
n2k
(5.55)
=
[n/2]!
2
n!
(1)
[n/2]
2
n1
P
n
(x), n = 1, 3, 5, . (5.56)
En resumen, usando una notacion algo mas compacta, podemos escribir:
P
n
(x) := (1)
[n/2]
2
2[n/2]
n!
[n/2]!
2

_
y
1,n
(x), n par
y
2,n
(x), n impar.
(5.57)
5.4. Funciones de Legendre de segunda especie
Como hemos visto, en el caso en que Q = n(n + 1) una de las series (y
1
si n es par,
y
2
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 innitas que convergen para
20
x (1, 1) pero son divergentes en x = 1. Estas funciones son llamadas las funciones
de Legendre de segunda especie, Q
n
(x), que por conveniencia deniremos usando factores
analogos a aquellos encontrados en (5.49) y (5.49):
Q
n
(x) :=
_
_
_
(1)
n/2
[(n/2)!]
2
n!
2
n
y
2,n
(x), n par
(1)
(n+1)/2
[(
n1
2
)!]
2
n!
2
n1
y
1,n
(x), n impar.
(5.58)
5.4.1. Relaciones de Recurrencia
A partir de las deniciones (5.58) es posible vericar la siguiente importante propiedad:
Las funciones de Legendre de segunda especie satisfacen las mismas relaciones de recurren-
cia que los polinomios de Legendre. Como consecuencia, todas las relaciones de recurrencia
que derivamos para los polinomios de Legendre son validas para las correspondientes fun-
ciones de segunda especie. Podemos vericar nuevamente a partir de estas identidades que
cada Q
n
(x) satisface la E.D.O. de Legendre.
En particular, se demostraran las siguientes relaciones (a partir de las cuales pueden
derivarse todas las otras):
nQ
n1
(x) + (n + 1)Q
n+1
(x) = (2n + 1) xQ
n
(x), (5.59)
(2n + 1)Q
n
(x) = Q
n+1
(x) Q
n1
(x). (5.60)
En este caso, las soluciones adoptan la forma (ver (5.37) y (5.37), comparar con (5.43)
y (5.44)):
y
1,n
(x) =
+
m=0
b
m
x
2m
, b
m
=
1
(2m)!
2m2
l=0
l par
(l n)(l + n + 1), b
0
= 1, (5.61)
y
2,n
(x) =
+
m=0
c
m
x
2m+1
, c
m
=
1
(2m+ 1)!
2m1
l=1
l impar
(l n)(l +n + 1), c
0
= 1. (5.62)
A partir de las deniciones en (5.58), podemos escribir:
Q
n1
(x) :=
_
_
_
(1)
n
2
[(
n2
2
)!]
2
(n1)!
2
n2
y
1,n1
(x), n par
(1)
n1
2
[(
n1
2
)!]
2
(n1)!
2
n1
y
2,n1
(x), n impar,
(5.63)
Q
n+1
(x) :=
_
_
_
(1)
n+2
2
[(
n
2
)!]
2
(n+1)!
2
n
y
1,n+1
(x), n par
(1)
n+1
2
[(
n+1
2
)!]
2
(n+1)!
2
n+1
y
2,n+1
(x), n impar.
(5.64)
Por lo tanto,
nQ
n1
(x) + (n + 1)Q
n+1
(x)
=
_
_
_
(1)
n
2
[(
n
2
)!]
2
(n)!
2
n
[y
1,n1
(x) y
1,n+1
] , n par
(1)
n+1
2
[(
n1
2
)!]
2
(n)!
2
n1
_
n
2
y
2,n1
(x) + (n + 1)
2
y
2,n+1
, n impar.
(5.65)
21
Para evaluar el lado derecho de (5.65) usamos las expresiones en serie (5.61) y (5.62).
Para y
1,n
(x) tenemos que
y
1,n1
(x) =
+
m=0
1
(2m)!
2m2
l=0
l par
(l n + 1)(l + n) x
2m
, (5.66)
y
1,n+1
(x) =
+
m=0
1
(2m)!
2m2
l=0
l par
(l n 1)(l + n + 2) x
2m
. (5.67)
Reescribimos ahora ambas expresiones como
y
1,n1
(x) =
+
m=0
1
(2m)!
2m1
l=1
l impar
(l n)(l + n 1) x
2m
, (5.68)
y
1,n+1
(x) =
+
m=0
1
(2m)!
2m1
l=1
l impar
(l n 2)(l +n + 1) x
2m
. (5.69)
Luego, ya que
2m1
l=1
l impar
(l + n 1) = n
2m1
l=3
l impar
(l +n 1) = n
2m3
l=1
l impar
(l +n + 1), (5.70)
2m1
l=1
l impar
(l n 2) = (n + 1)
2m1
l=3
l impar
(k n 2) = (n + 1)
2m3
l=1
l impar
(l n), (5.71)
tenemos que (5.68) y (5.69) son equivalentes a:
y
1,n1
(x) = n
+
m=0
1
(2m)!
2m3
l=1
l impar
(l + n + 1)(l n)(2m1 n) x
2m
, (5.72)
y
1,n+1
(x) = (n + 1)
+
m=0
1
(2m)!
2m1
l=1
l impar
(l n)(l + n + 1)(2l +n) x
2m
. (5.73)
Entonces,
y
1,n1
(x) y
1,n+1
(x) = (2n + 1)
+
m=1
1
(2m1)!
2m3
l=1
l impar
(l n)(l +n + 1) x
2m
(5.74)
= (2n + 1)
+
m=0
1
(2m+ 1)!
2m1
l=1
l impar
(l n)(l +n + 1) x
2m+2
(5.75)
= (2n + 1) xy
2,n
(x). (5.76)
22
Por otro lado, de la expresion en serie (5.62) para y
2,n
(x), y siguiendo el mismo recien
empleado, tenemos que
y
2,n+1
(x) =
+
m=0
1
(2m+ 1)!
2m1
l=1
l impar
(l n 1)(l + n + 2)x
2m+1
(5.77)
=
+
m=0
1
(2m+ 1)!
2m2
l=1
l par
(l n)(l + n + 3)x
2m+1
(5.78)
=
1
n + 1
+
m=0
(2m+n + 1)
(2m+ 1)!
2m2
l=0
l par
(l n)(l + n + 1)x
2m+1
. (5.79)
Similarmente,
y
2,n1
(x) =
+
m=0
1
(2m+ 1)!
2m1
l=1
l impar
(l n + 1)(l + n)x
2m+1
(5.80)
=
+
m=0
1
(2m+ 1)!
2m2
l=0
l par
(l n + 2)(l +n + 1)x
2m+1
(5.81)
=
1
n
+
m=0
(2mn)
(2m+ 1)!
2m2
l=0
l par
(l n)(l + n + 1)x
2m+1
. (5.82)
De este modo, usando (5.79) y (5.82), encontramos que
(n + 1)
2
y
2,n+1
(x) n
2
y
2,n+1
(x) = (2n + 1)
+
m=0
1
(2m)!
2m2
l=0
l par
(l n)(l + n + 1)x
2m+1
(5.83)
= (2n + 1) xy
1,n
(x). (5.84)
Finalmente, reemplazamos (5.76) y (5.84) en (5.65), y obtenemos
nQ
n1
(x) + (n 1)Q
n+1
(x) =
_
_
_
(1)
n
2
[(
n
2
)!]
2
(n)!
2
n
(2n + 1)xy
2,n
(x), n par
(1)
n+1
2
[(
n1
2
)!]
2
(n)!
2
n1
(2n + 1) xy
1,n
(x), n impar
(5.85)
= (2n + 1) x
_
_
_
(1)
n
2
[(
n
2
)!]
2
(n)!
2
n
y
2,n
(x), n par
(1)
n+1
2
[(
n1
2
)!]
2
(n)!
2
n1
y
1,n
(x), n impar
(5.86)
= (2n + 1) xQ
n
(x), (5.87)
demostrando as la identidad (5.59).
Para demostrar la segunda relacion de recurrencia, (5.59), calculamos:
Q
n+1
(x) Q
n1
(x) (5.88)
=
_
_
_
(1)
n
2
[(
n
2
)!]
2
(n)!
2
n
_
1
n+1
y
1,n+1
(x)
1
n
y
1,n1
_
, n par
(1)
n+1
2
[(
n1
2
)!]
2
(n)!
2
n1
_
(n + 1)y
2,n+1
(x) +ny
2,n1
, n impar.
(5.89)
23
Usamos nuevamente las expresiones en serie de las funciones y
1,n
(x), y entonces
y
1,n+1
(x) =
+
m=1
1
(2m1)!
2m2
l=0
l par
(l n 1)(l +n + 2) x
2m1
(5.90)
=
+
m=0
1
(2m+ 1)!
2m
l=0
l par
(l n 1)(l +n + 2) x
2m+1
(5.91)
= (n + 1)
+
m=0
2m+ n + 2
(2m+ 1)!
2m1
l=1
l impar
(l n)(l + n + 1) x
2m+1
. (5.92)
Analogamente,
y
1,n1
(x) =
+
m=1
1
(2m1)!
2m2
l=0
l par
(l n + 1)(l +n) x
2m1
(5.93)
=
+
m=0
1
(2m+ 1)!
2m
l=0
l par
(l n + 1)(l +n) x
2m+1
(5.94)
= n
+
m=0
(2mn + 1)
(2m1)!
2m+1
l=1
l impar
(l n)(l + n + 1) x
2m+1
. (5.95)
A partir de (5.92) y (5.95) podemos escribir
1
(n + 1)
y
1,n+1
(x)
1
n
y
1,n1
=
+
m=0
(2n + 1)
(2m+ 1)!
2m1
l=1
l impar
(l n)(l + n + 1) x
2m+1
(5.96)
= (2n + 1) y
2,n
(x). (5.97)
Por otro lado,
y
2,n+1
(x) =
+
m=0
1
(2m)!
2m1
l=1
l impar
(l n 1)(l + n + 2) x
2m
(5.98)
=
1
n + 1
+
m=0
(2p + n + 1)
(2m)!
2m2
l=0
l par
(l n)(l + n + 1) x
2m
, (5.99)
y similarmente,
y
2,n1
(x) =
+
m=0
1
(2m)!
2m1
l=1
l impar
(l n + 1)(l + n) x
2m
(5.100)
=
1
n
+
m=0
(2p n)
(2m)!
2m2
l=0
l par
(l n)(l +n + 1) x
2m
. (5.101)
24
Ademas, (5.99) y (5.101) implican que
(n + 1)y
2,n+1
(x) + ny
2,n1
(x) =
+
m=0
(2n + 1)
(2m)!
2m2
l=0
l par
(l n)(l + n + 1) x
2m
(5.102)
= (2n + 1) y
1,n
(x) (5.103)
Finalmente, reemplazando (5.97) y (5.103) en (5.89) llegamos a
Q
n+1
(x) Q
n1
(x) =
_
_
_
(1)
n
2
[(
n
2
)!]
2
(n)!
2
n
(2n + 1) y
2,n
(x), n par
(1)
n+1
2
[(
n1
2
)!]
2
(n)!
2
n1
(2n + 1) y
1,n
(x), n impar
(5.104)
= (2n + 1)Q
n
(x), (5.105)
que es precisamente la segunda relacion de recurrencia (5.59).
5.4.2. Expresiones explcitas para Q
n
(x)
Afortunadamente, es posible encontrar expresiones para las funciones Q
n
(x) en termi-
nos de funciones conocidas. Para esto, primero calculamos Q
0
(x):
Q
0
(x) = y
2,0
(x) =
m=0
1
(2m+ 1)!
2m1
l=1
l impar
l(l + 1) x
2m+1
, (5.106)
Pero,
2m1
l=1
l impar
l(l + 1) = 1 2 3 4 (2m1)(2m) = (2m)!. (5.107)
Por lo tanto,
Q
0
(x) =
m=0
(2m)!
(2m+ 1)!
x
2m+1
=
m=0
x
2m+1
(2m+ 1)
. (5.108)
Esta serie es conocida, ya que vimos que
ln
_
1 +x
1 x
_
= 2
m=0
x
2m+1
(2m+ 1)
, (5.109)
y con esto encontramos nalmente que
Q
0
(x) =
1
2
ln
_
1 +x
1 x
_
. (5.110)
Analogamente, para n = 1 tenemos que
Q
1
(x) = y
1,1
(x) =
m=0
1
(2m)!
2m2
l=0
l par
(l 1)(l + 2) x
2m
, (5.111)
En este caso, el producto puede escribirse como
2m2
l=0
l par
(l 1)(l +2) = 1 2 1 4 3 (2m5)(2m2)(2m3)(2m) =
(2m)!
2m1
. (5.112)
25
Entonces,
Q
1
(x) =
m=0
x
2m
(2m1)
= 1 +
m=1
x
2m
(2m1)
(5.113)
= 1 +
n=0
x
2n+2
(2n + 1)
= 1 +x
n=0
x
2n+1
(2n + 1)
. (5.114)
Por lo tanto,
Q
1
(x) =
x
2
ln
_
1 + x
1 x
_
1. (5.115)
Conociendo Q
0
(x) y Q
1
(x) podemos encontrar expresiones para las funciones de Q
n
(x)
de orden superior usando las relaciones de recurrencia (5.59), ya que
Q
n+1
(x) =
1
(n + 1)
[(2n + 1)xQ
n
(x) nQ
n1
(x)] . (5.116)
Por ejemplo,
Q
2
(x) =
1
2
[3xQ
1
(x) Q
0
(x)] (5.117)
=
1
2
_
3x +
3
2
x
2
ln
_
1 + x
1 x
_
1
2
ln
_
1 + x
1 x
__
(5.118)
=
1
4
(1 3x
2
) ln
_
1 +x
1 x
_
3
2
x. (5.119)
Analogamente, encontramos que
Q
3
(x) =
1
4
(5x
3
3x) ln
_
1 +x
1 x
_
5
2
x
2
+
2
3
. (5.120)
-2
-1.5
-1
-0.5
0
0.5
1
1.5
2
-1 -0.5 0 0.5 1
Figura 5.2: Primeras cinco funciones de Legendre de segunda especie.
Propiedades de las funciones Q
n
(x)
Paridad:
Q
n
(x) = (1)
n+1
Q
n
(x) (5.121)
26
Valor en el origen:
Q
n
(0) =
_
_
_
0, n par
(1)
(n+1)/2
[(
n1
2
)!]
2
n!
2
n1
, n impar.
(5.122)
Valor en extremo del intervalo:
lm
x1
Q
n
(x) = +. (5.123)
5.5. Funciones asociadas de Legendre
5.5.1. Ecuacion diferencial
(1 x
2
)
d
2
y
dx
2
2x
dy
dx
+
_
n(n + 1)
m
2
1 x
2
_
y = 0 (5.124)
5.5.2. Ecuacion diferencial (forma de Sturm-Liouville)
d
dx
_
_
1 x
2
_
dy
dx
_
+
_
n(n + 1)
m
2
1 x
2
_
y = 0 (5.125)
Si m > 0
P
m
l
(x) = (1 x
2
)
m/2
d
m
dx
m
P
l
(x). (5.126)
Si m < 0 entonces las soluciones son dadas por
P
m
l
(x) = (1)
m
(l m)!
(l +m)!
P
m
l
(x), m = 0, 1, 2, . (5.127)
Sin embargo, estas soluciones imponen algunas condiciones sobre m. Ya que P
l
es un
polinomio de grado l y ya que en (5.127) involucra derivadas de orden m, entonces m puede
asumir como maximo 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. Formula de Rodrigues
P
m
n
(x) =
1
2
n
n!
(1 x
2
)
m/2
d
m+n
dx
m+n
(x
2
1)
n
. (5.129)
5.5.4. Funci on generadora
(2m)! (1 x
2
)
m/2
2
m
m! (1 2tx + t
2
)
m+1/2
=
n=0
P
m
n+m
(x) t
n
(5.130)
27
5.5.5. Relaciones de recurrencia
(2n + 1)xP
m
n
= (n + m)P
m
n1
+ (n +m+ 1)P
m
n+1
(5.131)
5.5.6. Ortogonalidad
_
1
1
P
m
n
(x)P
m
n
(x) dx =
2
2n + 1
(n + m)!
(n m)!
n,n
. (5.132)
5.6. Funciones Armonicas Esfericas
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)P
m
l
(cos )e
im
. (5.133)
Las funciones Y
m
l
(, ) son llamadas funciones armonicas esfericas que, incorporando una
normalizacion conveniente, son denidas por:
Y
m
l
(, ) := (1)
m
_
2l + 1
4

(l m)!
(l + m)!
P
m
l
(cos ) e
im
. (5.134)
En la tabla 5.1 se presentan los casos mas usados.
l m Y
m
l
l m Y
m
l
0 0 Y
0
0
=
1
4
2 2 Y
2
2
=
1
4
_
15
2
sen
2
e
2i
1 0 Y
0
1
=
_
3
4
cos 3 0 Y
0
3
=
_
7
4
(
5
2
cos
3

3
2
cos )
1 1 Y
1
1
=
_
3
8
sene
i
3 1 Y
1
3
=
1
4
_
21
4
sen(5 cos
2
1)e
i
2 0 Y
0
2
=
_
5
4
(
3
2
cos
2

1
2
) 3 2 Y
2
3
=
1
2
_
105
2
sen
2
cos e
2i
2 1 Y
1
2
=
_
15
8
sen cos e
i
3 3 Y
3
3
=
1
4
_
35
4
sen
3
e
3i
Cuadro 5.1: Algunas funciones armonicas esfericas com unmente usadas (l, m = 0, . . . , 3).
Ademas, las funciones armonicas esfericas satisfacen las siguientes utiles propiedades:
Simetra:
Y
m
l
= (1)
m
(Y
m
l
)
. (5.135)
Ortonormalidad:
_
Y
m
l
(, )(Y
m
l
)
(, ) d =
_
2
0
_

0
Y
m
l
(, )(Y
m
l
)
(, ) sendd =
ll

mm
,
(5.136)
donde d = sendd es el elemento de angulo solido.
Las funciones Y
m
l
forman un sistema completo de funciones. Toda funcion f(, )
que satisface
_
[f(, )[
2
d < , (5.137)
28
pueden ser desarrollados en terminos de funciones armonicas esfericas:
f(, ) =
l=0
l
m=l
a
lm
Y
m
l
(, ). (5.138)
La completitud de Y
m
l
se expresa por:
l=0
l
m=l
(Y
m
l
)
(, )Y
m
l
(
) = (
)(cos cos
). (5.139)
Las funciones armonicas esfericas satisfacen
L
2
(, )Y
m
l
= l(l + 1)Y
m
l
, (5.140)
donde

L
2
es el operador denido por

L
2
(, ) =
1
sen
_
sen

_
+
1
sen
2
2
. (5.141)
En otras palabras, las funciones Y
m
l
son funciones propias del operador

L
2
(con valor
propio l(l + 1)). En terminos de

L
2
, podemos escribir el operador de Laplace como:
2
=
1
r
2
r
2
(r)
1
r
2
L
2
(, ). (5.142)
29
Captulo 6
Funciones de Bessel
6.1. Ecuacion de Bessel
Consideraremos aqu la ecuacion diferencial de Bessel con argumento complejo, z
C, ya que sus soluciones suminitraran funciones que satisfacen la E.D.O. de Bessel con
variables reales y la E.D.O. modicada de Bessel. Finalmente, buscaremos soluciones de la
ecuacion con un coeciente
2
real y positivo, pero no necesariamente entero.
En resumen, buscamos soluciones de la ecuacion
z
d
dz
_
z
dy
dz
_
+ (z
2
2
)y(z) = 0, (6.1)
que puede ser escrita como
y
+
1
z
y
+
_
1

2
z
2
_
y = 0. (6.2)
6.2. Solucion 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 mas simetrico de la ecuacion). Sin embargo, este punto es un
punto singular de la ecuacion, por lo que en general no es posible expresar la solucion como
una serie de la forma y(z) =

n=0
a
n
z
n
. Para entender esto mas claramente, recuerde que
los coecientes a
n
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 nitas 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). Las derivadas superiores quedan determinadas por la E.D.O. Sin embargo, vemos
de (6.2) que y
(0) (y las derivadas superiores) sera en general divergente, a un en el caso

en que se elija y
(0), debido al termino (

2
/z
2
)y(z).
Afortunadamente, s es posible encontrar soluciones de la forma
1
y(z) = z
n=0
a
n
z
n
=
n=0
a
n
z
n+
, (6.3)
1
Una forma alternativa de vericar 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 funcion f(z) s pueda expresarse como
una serie de potencias de la forma f(z) =
P
n=0
b
n
z
n
.
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:
y
n=0
(n + )a
n
z
n+1
, y
n=0
(n + )(n + 1)a
n
z
n+2
. (6.4)
Substituyendo estas expansiones en (6.2) encontramos
0 = z
2
y
+ zy
+
_
z
2
2
_
y (6.5)
=
n=0
(n + )(n + 1) a
n
z
n+
+
n=0
(n + ) a
n
z
n+
+
n=0
a
n
z
n++2
n=0
a
n
z
n+
(6.6)
=
n=0
_
(n + )
2
a
n
z
n+
+
n=2
a
n2
z
n+
(6.7)
= (
2
2
)a
0
z
+
_
( + 1)
2
a
1
z
+1
+
n=2
__
(n + )
2
2
_
a
n
+ a
n2
z
n+
.
(6.8)
Por lo tanto, los coecientes deben satisfacer las siguientes condiciones:
(
2
2
)a
0
= 0,
_
( + 1)
2
a
1
= 0,
_
(n + )
2
2
_
a
n
+ a
n2
= 0. (6.9)
Encontramos as una relacion de recurrencia entre a
n
y a
n2
, que permite entonces expresar
n
con n par en terminos de a
0
y todos los con n impar en terminos
de a
1
.
Como buscamos soluciones no nulas, asumimos primero que a
0
,= 0. Entonces la primera
condicion en (6.9) implica que = . En este caso la segunda condicion en (6.9) se reduce
a (1 + 2)a
1
= 0. Analizaremos primero el caso generico en que ,= 1/2. Entonces
necesariamente a
1
= 0 y solo los coeentes pares, de la forma a
2k
, k = 0, 1, 2, , seran no
nulos. De la relacion de recurrencia en (6.9) obtenemos
a
n
=
a
n2
n(n + 2)
. (6.10)
Aplicacion sucesiva de (6.10) conduce a
a
2k
=
a
0
(1)
k
2
2k
k!
1
(1 + )(2 +)(3 +) (k + )
(6.11)
=
a
0
(1)
k
2
2k
k!
(1 + )
(k + + 1)
, k = 0, 1, 2, . (6.12)
Aqu hemos introducido la funcion Gamma. Por lo tanto, para = hemos encontrado
una solucion de la forma
y
(z) = a
0
k=0
(1)
k
2
2k
k!
(1 +)
(k + + 1)
z
2k+
, (6.13)
donde a
0
es una constante arbitraria. Es conveniente denir las funciones de Bessel de
primera especie y orden , J
(z), como las soluciones correspondientes al caso en que

a
0
:= 1/2
( + 1), de modo que

J
(z) =
k=0
(1)
k
k!(k + + 1)
_
z
2
_
2k+
. (6.14)
31
Expandiendo los primeros terminos, encontramos:
J
(z) =
1
( + 1)
_
z
2
_
1
( + 2)
_
z
2
_
+2
+ (6.15)
=
1
( + 1)
_
z
2
_
_
1
1
( + 1)
_
z
2
_
2
+
_
. (6.16)
Como la E.D.O. de Bessel (6.1) depende del cuadrado de , tendremos que
J
(z) =
k=0
(1)
k
k!(k + 1)
_
z
2
_
2k
, (6.17)
es tambien una solucion (que equivale al caso = ).
Si es positivo, pero no es entero, entonces tanto (k+ +1) como (k +1) asumen
valores nitos y por lo tanto J
y J
estan bien denidas 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, J

0
(0) = 1. En
particular, esto muestra que J
y J
son linealmente independientes si no es entero. En

este caso la solucion general de (6.1) es de la forma
y(z) = c
1
J
(z) + c
2
J
(z). (6.18)
Por razones historicas y de conveniencia futura se denen adicionalmente las funciones de
Bessel de segunda especie de orden , tambien llamadas funciones de Neumann de orden
, N
(z), por
N
(z) :=
cos()J
(z) J
(z)
sen()
. (6.19)
Entonces la solucion general de (6.1) puede expresarse como una combinacion lineal de la
funcion de Bessel y de Neumann correspondiente:
y(z) = c
3
J
(z) +c
4
N
(z). (6.20)
Caso en que
2
,=
2
Asumiendo ahora que
2
,=
2
, entonces a
0
= 0 con lo cual a
2k
= 0, con esto a
1
,= 0
luego ( + 1)
2
2
= 0. Reemplazando esto utlimo en (6.9), se tiene que
a
n
=
a
n2
(n 1)(n + 1 + 2)
(6.21)
Aplicando sucesivamente (6.21), se tiene que
a
2k+1
=
(1)
k
a
1
2
2k
k!
1
( + 2)( + 3)( + 4) ( + k + 1)
(6.22)
=
(1)
k
a
1
2
2k
k!
( + 2)
( + k + 2)
(6.23)
As, para = 1 se tiene que la solucion toma la forma
y
(z) = a
1
k=0
(1)
k
2
2k
k!
(1 +)
(k + + 1)
z
2k+
(6.24)
Eligiendo a
1
= 1/(2
(1 + )), se obtiene nuevamente la funcion de Bessel de primera

especie, dada por (6.14)
32
Caso en que =
1
2
En este caso a
0
,= 0 y a
1
,= 0, de (6.9) se tiene la siguiente relacion de recurrencia
a
n
=
a
n2
n(n 1)
(6.25)
Si n es par entonces
a
2k
=
(1)
k
a
0
(2k)!
(6.26)
Si n es impar entonces
a
2k+1
=
(1)
k
a
1
(2k + 1)!
(6.27)
As, en la solucion se tiene los siguiente
y(z) = z
1/2
_
+
k=0
a
2k
z
2k
+
+
k=0
a
2k+1
z
2k+1
_
(6.28)
= z
1/2
_
a
0
+
k=0
(1)
k
(2k)!
z
2k
+a
1
+
k=0
(1)
k
(2k + 1)!
z
2k+1
_
(6.29)
Por lo tanto, la solucion de la E.D.O. de Bessel en este caso toma la siguiente forma
y(z) = z
1/2
(a
0
cos(z) + a
1
sen(z)) (6.30)
Funcion Gamma
(z) := lm
n
1 2 3 n
z(z + 1)(z + 2) (z +n)
n
z
, (6.31)
(z) :=
_

0
e
t
t
z1
dt, '(z) > 0, (6.32)
1
(z)
:= ze
z
n=1
_
1 +
z
n
_
e
z/n
, (6.33)
donde = 0,577216 es la constante de Euler-Mascheroni
2
.
(z + 1) = z(z), (6.34)
(1 +n) = n!, n = 0, 1, 2, , (6.35)
(z)(1 z) =

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

J
1
(z) + J
+1
(z) =
2
z
J
(z), (6.39)
J
1
(z) J
+1
(z) = 2J
(z). (6.40)
34
Podemos vericar estas relaciones usando directamente la expresion en serie de potencias
(6.14). En efecto,
J
1
(z) +J
+1
(z) =
k=0
(1)
k
k!(k +)
_
z
2
_
2k+1
+
k=0
(1)
k
k!(k + + 2)
_
z
2
_
2k++1
(6.41)
=
2
z
_

k=0
(1)
k
k!(k + )
_
z
2
_
2k+
+
k=0
(1)
k
k!(k + + 2)
_
z
2
_
2k++2
_
(6.42)
=
2
z
_

k=0
(1)
k
(k +)
k!(k + + 1)
_
z
2
_
2k+
+
k=1
(1)
k1
(k 1)!(k + + 1)
_
z
2
_
2k+
_
(6.43)
=
2
z
_

k=0
(1)
k
(k +)
k!(k + + 1)
_
z
2
_
2k+
+
k=1
(1)
k1
(k + + 1)
k
k!
_
z
2
_
2k+
_
(6.44)
=
2
z
k=0
(1)
k
k!(k + + 1)
[(k +) k]
_
z
2
_
2k+
(6.45)
=
2
x
k=0
(1)
k
k!(k + + 1)
_
z
2
_
2k+
(6.46)
=
2
z
J
(z). (6.47)
De manera completamente analoga, realizando ahora la resta de J
1
(z y J
+1
(z) obtene-
mos (ver (6.41) y (6.45)):
J
1
(z) J
+1
(z) =
k=0
(1)
k
k!(k +)
_
z
2
_
2k+1
k=0
(1)
k
k!(k + + 2)
_
z
2
_
2k++1
(6.48)
=
2
z
k=0
(1)
k
k!(k + + 1)
[(k +) + k]
_
z
2
_
2k+
(6.49)
=
k=0
(1)
k
k(k + + 1)
(2k +)
_
z
2
_
2k+1
(6.50)
=
d
dz
k=0
(1)
k
k!(k + + 1)
_
z
2
_
2k+
(6.51)
= J
(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
J
1
(z) = J
(z) +

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

z
J
(z) (6.55)
= z
d
dz
_
z
(z)
. (6.56)
Finalmente, podemos vericar que estas relaciones implican que las funciones J
(z) satis-
facen la ecuacion de Bessel. A partir de (6.53) tenemos que zJ
= zJ
1
J
. Derivando
y multiplicando por z esta relacion, tenemos que
z
d
dz
(zJ
) = z
_
J
1
+zJ
1
J
_
(6.57)
= zJ
1
+ z
2
J
1
zJ
. (6.58)
Usando (6.55) (reemplazando por 1) para reescribir el segundo termino de (6.58) y
nuevamente (6.53) en el ultimo termino, llegamos a
z
d
dz
(zJ
) = zJ
1
+z [( 1)J
1
zJ
] (zJ
1
J
) (6.59)
= (x
2
2
)J
, (6.60)
que es equivalente a la ecuacion (6.1).
6.3.1. Representacion integral
Las funciones de Bessel de orden y argumento real pueden expresarse como la siguiente
integral en el plano completo
J
(x) = 2i
_
C
e
(x/2)(tt
1
)
t
1
dt, (6.61)
donde t C esta integrado sobre el contorno ( indicado en la gura.
Podemos probar esta relacion a partir de la siguiente representaciond de la funcion
Gamma (ver, por ejemplo, la expresion (11.21) [4]):
1
(z)
=
1
2i
_
C
e
t
t
z
dt. (6.62)
Primero, reescribimos el integrando de (6.61) como
e
(x/2)(tt
1
)
t
1
= e
xt/2
e
x/2t
t
1
(6.63)
= e
xt/2
_

k=0
1
k!
_
x
2t
_
k
_
t
1
(6.64)
=
k=0
(1)
k
k!
_
x
2
_
k
e
xt/2
t
k1
. (6.65)
Entonces, integrando esta relacion sobre (, encontramos
_
C
e
(x/2)(tt
1
)
t
1
dt =
k=0
(1)
k
k!
_
x
2
_
k
_
C
e
xt/2
t
k1
dt. (6.66)
36
m,n
m = 0 m = 1 m = 2 m = 3
n = 1 2,4048 3,8317 5,1356 6,3802
n = 2 5,5201 7,0156 8,4172 9,7610
n = 3 8,6537 10,1735 11,6198 13,0152
n = 4 11,7915 13,3237 14,7960 16,2235
n = 5 14,9309 16,4706 17,9598 19,4094
Cuadro 6.1: Las primeras races
m,n
de J
m
(x), m = 0, 1, 2, 3, 4.
Finalmente, realizando el cambio de variable x
:= xt/2 y usando (6.62) reescribimos al

ultima integral como
_
C
e
xt/2
t
k1
dt =
2
x
_
C
e
t
_
2t
x
_
k1
dt
(6.67)
=
_
2
x
_
k
_
C
e
t
t
k1
dt
(6.68)
=
_
2
x
_
k
2i
(k + + 1)
. (6.69)
Sustituyendo (6.69) en (6.65) llegamos directamente al resultado deseado, luego de inden-
ticar la expansion en serie de potencias (6.14) de la funcion J
(x).
A partir de (6.61) podemos encotrar la expresion alternativa:
J
(x) =
1
_

0
cos( xsen)d
sen()
_

0
e
txsenht
dt. (6.70)
6.3.2. Forma asintotica
A partir de la representacion integral (6.61) es posible encontrar una expresion asintoti-
ca para las funciones de Bessel, valida para valores grandes de x:
J
(x)
_
2
x
cos
_
x

2

4
_
, x
1
4
. (6.71)
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 innitas raices (ver, por ejemplo, gura 6.2). Denotaremos
,n
a la n-esima raiz de la funcion 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 ceros
3
:
Es tambien frecuente requerir calcular las raices de las derivadas de las funciones de
Bessel.

Estas seran denotadas por
,n
y entonces satisfacen J
(
,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
m = 0 m = 1 m = 2 m = 3
n = 1 3,8317 1,8412 3,0542 4,2012
n = 2 7,0156 5,3314 6,7061 8,0152
n = 3 10,1735 8,5363 9,9695 11,3459
Cuadro 6.2: Las primeras races
m,n
de J
m
(x), m = 0, 1, 2, 3, 4.
6.3.4. Relaciones de Ortogonalidad
_
a
0
J
,n
a

_
J
,m
a

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

_
J
,m
a

_
d =
n,m
a
2
2
_
1

2
2
,n
_
[J
(
,n
)]
2
. (6.73)
6.4. Funciones de Bessel de orden entero
-0.4
-0.2
0
0.2
0.4
0.6
0.8
1
0 5 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
J
n
(z) =
k=0
(1)
k
k!(k + n + 1)
_
z
2
_
2k+n
, (6.74)
y como (k +n+1) tiene argumento entero, coincide con el factorial (k +n)!. Por lo tanto,
J
n
(z) =
k=0
(1)
k
k!(k + n)!
_
z
2
_
2k+n
. (6.75)
38
Por otro lado, reemplazando = n, con n = 0, 1, 2, , en (6.14) (o, equivalentemente
= n en (6.15)), obtenemos
J
n
(z) =
k=0
(1)
k
k!(k n + 1)
_
z
2
_
2kn
. (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 casos
4
, entonces los coecientes de la suma en (6.76) tenderan
a cero para todo k = 0, 1, , n1. Por lo tanto, solo contribuiran los terminos con k n.
Entonces (6.76) se reduce a
J
n
(z) =
k=n
(1)
k
k!(k n + 1)
_
z
2
_
2kn
(6.77)
=
k=0
(1)
k+n
(k + n)!(k + 1)
_
z
2
_
2k+n
(6.78)
= (1)
n
k=0
(1)
k
(k + n)!k!
_
z
2
_
2k+n
(6.79)
= (1)
n
J
n
(z). (6.80)
Note ademas que, como puede verse de su expresion en serie, que las funciones J
n
(z)
tienen paridad n, es decir,
J
n
(z) = (1)
n
J
n
(z). (6.81)
6.4.1. Funci on generadora de Funciones de Bessel de orden entero
Consideramos la funcion g(t, z) denida por
g(t, z) :=
n=
J
n
(z)t
n
, t, z C. (6.82)
De esta forma, podemos entender a g(t, z) como la funcion 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 J
n
(z) en
4
En otras palabras, estamos considerando (o deniendo) J
n
como el lmite de J
cuando se acerca
al entero n: J
n
(z) := lm
n
J
(z).
39
terminos de J
n1
(z) y J
n+1
(z). Con esto, podemos escribir:
g
z
=
n=
J
n
(z)t
n
(6.83)
=
1
2
n=
(J
n1
(z) J
n+1
(z)) t
n
(6.84)
=
1
2
_
t
n=
J
n1
(z)t
n1
t
1
n=
J
n+1
(z)t
n+1
_
(6.85)
=
1
2
_
t t
1
_

n=
J
n
(z)t
n
(6.86)
=
1
2
_
t t
1
_
g(t, z). (6.87)
Podemos encontrar una expresion para la funcion generadora a partir de esta relacion,
considerandola como una ecuacion diferencial para g(t, z). La solucion es necesariamente
de la forma
g(t, z) = f(t) e
z
2
(tt
1
)
. (6.88)
Finalmente, la funcion f(t) puede determinarse evaluando (6.82) para z = 0 y luego com-
parando con (6.88):
g(t, 0) = f(t) =
n=
J
n
(0)t
n
= J
0
(0) = 1. (6.89)
Aqu usamos el hecho que todas las funciones de Bessel de orden entero se anulan en z = 0,
excepto para n = 0, ya que J
0
(0) = 1.
g(t, z) = e
z
2
(tt
1
)
=
n=
J
n
(z)t
n
. (6.90)
Substituyendo t = e
i
en (6.90) encontramos,
g(t, e
i
) = e
iz sen
=
n=
J
n
(z)e
in
. (6.91)
Esto signica que las funciones de Bessel son los coecientes de la expansion en serie de
Fourier de la funcion e
iz sen
. Por lo tanto,
J
n
(z) =
1
2
_
2
0
e
iz sen
e
in
d. (6.92)
Equivalentemente, ya que el integrando es periodico de periodo 2, podemos desplazar el
intervalo de integracion a [, ], y escribir
J
n
(z) =
1
2
_

e
i(z senn)
d. (6.93)
40
Como e
i(z sen n)
= cos(z senn)+i sen(z senn), vemos que el integrando se divide
en una contribucion par y otra impar en . Por lo tanto,
J
n
(z) =
1
_

0
cos(z sen n) d. (6.94)
En particular,
J
0
(z) =
1
2
_

e
iz sen
d =
1
_

0
cos(z sen) d. (6.95)
6.4.3. Sumatorias de funciones de Bessel
Adicionalmente, de la relacion (6.91) podemos escribir,
e
iz sen
= J
0
(z) +
n=1
_
J
n
(z)e
in
+ J
n
(z)e
in
_
(6.96)
= J
0
(z) +
n=1
_
J
n
(z)e
in
+ (1)
n
J
n
(z)e
in
_
(6.97)
= J
0
(z) +
n=1
n impar
J
n
(z)
_
e
in
e
in
_
+
n=2
n par
J
n
(z)
_
e
in
+ e
in
_
(6.98)
= J
0
(z) + 2i
n=1
n impar
J
n
(z) sen(n) + 2
n=2
n par
J
n
(z) cos(n) (6.99)
= J
0
(z) + 2i
n=1
J
2n1
(z) sen[(2n 1)] + 2
n=1
J
2n
(z) cos(2n). (6.100)
Si el argumento de las funciones es real (z = x) entonces, igualando la parte real e imagi-
naria de ambos lados de la igualdad, obtenemos
cos(xsen) = J
0
(x) + 2
n=1
J
2n
(x) cos(2n), (6.101)
sen(xsen) = 2
n=1
J
2n1
(x) sen[(2n 1)]. (6.102)
En particular, si = 0, obtenemos la relacion
J
0
(x) + 2
n=1
J
2n
(x) = 1. (6.103)
41
6.5. Funciones de Bessel de orden semi-entero
J
1/2
(z) =
k=0
(1)
k
k!(k + 1/2 + 1)
_
z
2
_
2k+1/2
(6.104)
=
k=0
(1)
k
k!(k + 3/2)
_
z
2
_
2k+1/2
(6.105)
=
_
2
z
_
1/2

k=0
(1)
k
(2k + 1)!
z
2k+1
(6.106)
=
_
2
z
_
1/2
senz. (6.107)
Aqu hemos usado
(k +
3
2
) = (k +
1
2
)(k +
1
2
) (6.108)
= (k +
1
2
)(k
1
2
)(k
1
2
) (6.109)
= (k +
1
2
)(k
1
2
)(k
3
2
)(k
3
2
) (6.110)
= (6.111)
= (k +
1
2
)(k
1
2
)(k
3
2
)
1
2
(
1
2
) (6.112)
=
2
k+1
1 3 5 (2k 1)(2k + 1)
. .
k+1 terminos
(6.113)
=
2
2k+1
(2k + 1)!
k!
. (6.114)
Analogamente,
J
1/2
(z) =
k=0
(1)
k
k!(k 1/2 + 1)
_
z
2
_
2k+1/2
(6.115)
=
k=0
(1)
k
k!(k + 1/2)
_
z
2
_
2k+1/2
(6.116)
=
_
2
z
_
1/2
k=0
(1)
k
(2k)!
z
2k
(6.117)
=
_
2
z
_
1/2
cos z, (6.118)
ya que
(k +
1
2
) =
(k +
3
2
)
(k +
1
2
) (6.119)
=
2
2k+1
(2k + 1)!
(k +
1
2
)k!
(6.120)
=
2
2k
(2k)!
k!
. (6.121)
42
Podemos encontrar las otras funciones de Bessel de orden semi-entero usando las rela-
ciones de recurrencia (6.39) y (6.40). Por ejemplo
J
3/2
(z) =
(1/2)
z
J
1/2
(z) J
1/2
(z) (6.122)
=
1
2z
_
2
_
1/2
z
1/2
senz
_
1
2
__
2
_
1/2
z
3/2
senz
_
2
_
1/2
z
1/2
cos z
(6.123)
= 2
1/2
1/2
z
3/2
senz + 2
1/2
1/2
z
3/2
senz 2
1/2
1/2
cos z (6.124)
=
_
2
_
1/2
z
3/2
senz
_
2
_
1/2
z
1/2
cos z (6.125)
=
_
2
_
1/2 _
z
3/2
senz z
1/2
cos z
_
. (6.126)
6.6. Funciones de Bessel de segunda especie
Como hemos ya discutido en la seccion 6.2, cuando no es un entero, las funciones
de Bessel de segunda especie, tambien llamadas funciones de Neumann N
(z) (o Y
(z)),
denidas por
N
(z) :=
J
(z) cos() J
(z)
sen()
, ,= n = 0, 1, , 2, , (6.127)
son soluciones linealmente independientes de J
(z) de ecuacion de Bessel. Esta combinacion

lineal particular es util puesto que, entre otras cosas, suministra una expresion complemen-
taria a las funciones J
(z) en lo que respecta a su forma asintotica. En efecto, a partir de

(6.71) encontramos que
N
(x)
_
2
x
sen
_
x

2

4
_
, x
1
4
. (6.128)
Ademas, puede usarse la misma expresion (6.127) en el caso en que es entero ( = n).
Sabemos que en este caso, J
n
(z) no es linealmente independiente de J
n
(z) ya que se
cumple que J
n
(z) = (1)
n
J
n
(z). No obstante, podemos usar (6.127) para encontrar la
segunda solucion linealmente independiente N
n
(z), como el lmite de (6.127) cuando el
parametro se acerca al entero n, es decir,
N
n
(z) := lm
n
J
(z) cos() J
(z)
sen()
, n = 0, 1, , 2, . (6.129)
Note que los coecientes 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 LHopital, encontramos que
N
n
(z) =
1
_
J
(z)
(1)
n
J
(z)
_
=n
. (6.130)
Puede (hagalo!) vericarse que la funcion denida por (6.130), efectivamente satisface la
ecuacion de Bessel (6.1). Ademas, de (6.130) se sigue, usando (J
/)
=n
= (J
/)
=n
,
que
N
n
(z) = (1)
n
N
n
(z). (6.131)
43
Por otro lado, de la expansion (6.15) obtenemos que cerca de z = 0, y para > 0,
N
(z)
1
sen()
1
(1 )
_
2
z
_
=
1
()
_
2
z
_
. (6.132)
Aqu hemos usamos la identidad (6.36). Por lo tanto, para n, obtenemos
N
n
(z)
1
(n 1)!
_
2
z
_
n
, z 0, n > 0, (6.133)
de donde vemos que estas funciones divergen en el origen origen. Note que incluso N
0
(z)
diverge en z = 0, ya que
5
N
0
(z)
2
_
ln
_
z
2
_
+
_
, z 0, (6.135)
donde =
0
(1) es la constante de Euler-Mascheroni, = 0,5772 .
N
n
(x) =
1
_

0
sen(xsen n) d
1
_

0
_
e
nt
+ (1)
n
e
nt
e
xsenht
dt. (6.136)
A partir de la denicion (6.129) y las relaciones de recurrencia para las funciones de
Bessel (6.39) y (6.40), puede vericarse que las funciones de Bessel de segunda especie
satisfacen las mismas relaciones de recurrencia que las de primera especie:
N
1
(z) +N
+1
(z) =
2
z
N
(z), (6.137)
N
1
(z) N
+1
(z) = 2N
(z). (6.138)
5
A partir de (6.130), se encuentra, usando la funci on digamma
0
(z) :=
(z)/(z), que:
N
0
(z) =
2
=0
=
2
0
( + 1)
( + 1)
z
2
+
1
( + 1)
z
2
ln
z
2
=0
=
2
0
(1) + ln
z
2
+
i
.
(6.134)
44
-2
-1.5
-1
-0.5
0
0.5
0 5 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 ecua-
cion de onda) es conveniente introducir otro par de funciones linealmente independientes,
llamadas funciones de Hankel y denotadas por H
(1)
y H
(2)
, denidas por
H
(1)
(z) := J
(z) +iN
(z), (6.139)
H
(2)
(z) := J
(z) iN
(z) (6.140)
Las funciones de Hankel son linealmente independientes para todo , y satisfacen las mis-
mas relaciones de recurrencia que las funciones de Bessel. La utilidad de su denicion
resulta clara al considerar su forma asintotica. Usando (6.71) y (6.128) se encuentra que
H
(1)
(x)
_
2
x
e
i(x/2/4)
, H
(2)
(x)
_
2
x
e
i(x/2/4)
, x
.
(6.141)
6.8. Funciones modicadas de Bessel
La ecuacion modicada de Bessel es
y
+
1
x
y
_
1 +

2
x
2
_
y(x) = 0. (6.142)
Las soluciones nitas en x = 0 de esta ecuacion son de la forma y(x) = J
(ix). Como esta-

mos especialmente interesados en el caso en que tanto x como y son reales, es conveniente
denir las funciones modicadas de Bessel de primera especia y orden :
I
(x) = i
(ix). (6.143)
45
La funcion I
(x) as denida es real. En efecto, de la expansion en serie (6.14)

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

este ultimo caso se satisface que
I
n
(x) = I
n
(z) (6.148)
0
0.5
1
1.5
2
2.5
3
3.5
0 0.5 1 1.5 2 2.5 3 3.5 4
Figura 6.4: Primeras cinco funciones modicadas de Bessel (de primera especie) de orden
entero.
La correspondiente forma asintotica de las funciones modicadas de Bessel I
(x) es
I
(x)
1
2x
e
x
, x
1
4
. (6.149)
Las funciones I
(x) satisfacen las siguientes relaciones de recurrencia, que se siguen a

partir de (6.39), (6.40) y (6.143):
I
1
(x) +I
+1
(x) = 2I
(x), (6.150)
I
1
(x) I
+1
(x) =
2
x
I
(x). (6.151)
46
6.8.1. Funciones Modicadas de Bessel de segunda especie
En analoga con lo visto en la seccion 6.6, es conveniente introducir las funciones de
segunda especie, ahora denotadas por K
(x), y denidas de la forma siguiente:

K
(x) :=

2
_
I
(x) I
(x)
sen()
_
, ,= n = 0, 1, 2, . (6.152)
Note que como consecuencia de esta denicion K
(x) = K
(x), por lo que es suciente

considerar 0. Con estas deniciones, I
y K
son l.i. para todo , y su forma asintotica

es nuevamente complementaria ya que
K
(x)
_

2x
e
x
(6.153)
En el caso de entero, la denicion se realiza como el lmite n, es decir,
K
n
(x) := lm
n
2
_
I
(x) I
(x)
sen()
_
, n = 0, 1, 2, . (6.154)
Usando nuevamente la regla de LHopital, podemos escribir
K
n
(x) =
(1)
n
2
_
I
(x)
(x)
_
=n
. (6.155)
0
0.5
1
1.5
2
2.5
3
3.5
0 0.5 1 1.5 2 2.5 3 3.5 4
Figura 6.5: Primeras cinco funciones modicadas de Bessel de segunda primera especie y
orden entero.
Las funciones K
(x) satisfacen las siguientes relaciones de recurrencia

K
1
(x) +K
+1
(x) = 2K
(x), (6.156)
K
1
(x) K
+1
(x) =
2
x
K
(x), (6.157)
como puede vericarse 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
6.9. Funciones Esfericas de Bessel
Como vimos, en coordenadas esfericas la ecuacion radial proveniente de la separacion
de variables de la ecuacion de Helmholtz es (4.8). Ademas, las soluciones nitas 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
R
n
(r) =
u
n
(kr)
r
, (6.158)
donde k =
_
[[ y u
n
(x) es solucion de la ecuacion (modicada, 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 denir las funciones
esfericas de Bessel (de primera y segunda especie) por:
j
n
(x) :=
_

2x
J
n+1/2
(x), (6.159)
n
n
(x) :=
_

2x
N
n+1/2
(x) = (1)
n+1
_

2x
J
n1/2
(x). (6.160)
El factor
_
/2 es incluido por conveniencia, ya que entonces (ver (6.107) y (6.118)) las
primeras funciones resultan ser simples:
j
0
(x) =
senx
x
, n
0
(x) =
cos x
x
. (6.161)
Podemos encontrar una expresion en serie simple a partir
6
de (6.14),
J
n+1/2
(x) =
k=0
(1)
k
k!(k +n + 3/2)
_
x
2
_
2k+n+1/2
(6.162)
=
_
x
2
k=0
(1)
k
k!(k + n + 3/2)
_
x
2
_
2k+n
(6.163)
=
_
x
2
k=0
(1)
k
k!
2
2k+2n+1
(k +n + 1)
1/2
(2k + 2n + 2)
_
x
2
_
2k+n
(6.164)
=
_
2x
2
2n
k=0
(1)
k
k!
2
2k
(k + n)!
(2k + 2n + 1)!
_
x
2
_
2k+n
(6.165)
=
_
2x
2
n
x
n
k=0
(1)
k
k!
(k +n)!
(2k + 2n + 1)!
x
2k
. (6.166)
Por lo tanto,
j
n
(x) = 2
n
x
n
k=0
(1)
k
k!
(k + n)!
(2k + 2n + 1)!
x
2k
. (6.167)
Analogamente, para la funcion esferica de segunda especie, encontramos
n
n
(x) =
(1)
n+1
2
n
x
n+1
k=0
(1)
k
(k n)!
k!(2k 2n)!
x
2k
. (6.168)
6
y usando la formula de duplicacion de Legendre, ver por ejemnplo ec. (10.66b) de [2]: (z +1)(z +
1/2) 2
2z
1/2
(2z + 1), con z = k + n + 1/2.
48
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:
j
n1
(x) +j
n+1
(x) =
2n + 1
x
j
n
(x), nj
n1
(x) (n+1)j
n+1
(x) = (2n+1)j
n
(x). (6.169)
Similarmente (6.54) y (6.56) implican que
j
n1
(x) = x
n1
d
dx
_
x
n+1
j
n
(x)
(6.170)
j
n+1
(x) = x
n
d
dx
_
x
n
j
n
(x)
(6.171)
Aplicando sucesivamente (6.171) obtenemos una expresion en terminos de la funcion j
0
(x):
j
n
(x) = (x)
n
_
1
x
d
dx
_
n
j
0
(x), (6.172)
Similarmente,
n
n
(x) = (x)
n
_
1
x
d
dx
_
n
n
0
(x). (6.173)
6.9.2. Expresiones explcitas
De este modo, usando (6.161) encontramos las siguientes utiles expresiones:
j
n
(x) = (x)
n
_
1
x
d
dx
_
n
senx
x
, (6.174)
n
n
(x) = (x)
n
_
1
x
d
dx
_
n
cos x
x
. (6.175)
De este modo, podemos calcular explcitamente las funciones que necesitemos. Por ejemplo:
j
0
(x) =
senx
x
, (6.176)
j
1
(x) =
senx
x
2

cos x
x
, (6.177)
j
2
(x) =
_
3
x
2
1
_
senx
x

3 cos x
x
2
, (6.178)
j
3
(x) =
_
15
x
3

6
x
_
senx
x

_
15
x
2
1
_
cos x
x
, (6.179)
n
0
(x) = j
1
(x) =
cos x
x
, (6.180)
n
1
(x) = j
2
(x) =
cos x
x
2

senx
x
, (6.181)
n
2
(x) = j
3
(x) =
_
3
x
2
+ 1
_
cos x
x

3 senx
x
2
, (6.182)
n
3
(x) = j
4
(x) =
_
15
x
3
+
6
x
_
cos x
x

_
15
x
2
1
_
senx
x
. (6.183)
49
-0.2
0
0.2
0.4
0.6
0.8
1
0 5 10 15 20
-0.8
-0.6
-0.4
-0.2
0
0.2
0.4
0 5 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 directa-

mente que
_
a
0
j
n
_

n,m
a
r
_
j
n
_

n,m
a
r
_
r
2
dr =
m,m
a
3
2
[j
n+1
(
n,m
)]
2
, (6.184)
donde
n,m
denota la m-esima raiz de la la funcion esferica j
n
(x). Ya que j
n
es proporcional
a J
n+1/2
, entonces
n,m
=
n+1/2,m
.
6.9.4. Funciones esfericas de Hankel
h
(1)
n
(x) = j
n
(x) +in
n
(x), (6.185)
h
(2)
n
(x) = j
n
(x) in
n
(x). (6.186)
h
(1)
n
(x) = (i)
n+1
e
ix
x
n
m=0
i
m
m!(2x)
m
(n + m)!
(n m)!
(6.187)
6.9.5. Forma asintotica
Para x 1,
j
n
(x)
2
n
n!
(2n + 1)!
x
n
, (6.188)
n
n
(x)
(2n)!
2
n
n!
1
x
n+1
. (6.189)
50
Para x n(n + 1),
j
n
(x)
1
x
sen
_
x
n
2
_
, (6.190)
n
n
(x)
1
x
cos
_
x
n
2
_
, (6.191)
h
(1)
n
(x)
i
x
e
i(xn/2)
= (i)
n+1
e
ix
x
, (6.192)
h
(2)
n
(x)
i
x
e
i(xn/2)
= (i)
n+1
e
ix
x
. (6.193)
6.9.6. Funciones modicadas esfericas de Bessel
i
n
(x) := i
n
j
n
(ix) =
_

2x
I
n+1/2
(x), k
n
(x) := i
n
h
(1)
(ix) =
_

2x
K
n+1/2
(x).
(6.194)
Relaciones de Recurrencia
i
n1
(x) i
n+1
(x) =
2n + 1
x
i
n
(x), (6.195)
ni
n1
(x) + (n + 1)i
n+1
(x) = (2n + 1)i
n
(x). (6.196)
k
n1
(x) k
n+1
(x) =
2n + 1
x
k
n
(x), (6.197)
nk
n1
(x) + (n + 1)k
n+1
(x) = (2n + 1)k
n
(x). (6.198)
i
n+1
(x) = x
n
d
dx
(x
n
i
n
), k
n+1
(x) = x
n
d
dx
(x
n
k
n
). (6.199)
Formas asintoticas
i
n
(x)
2
n
n!
(2n + 1)!
x
n
, k
n
(x)
(2n)!
2
n
n!
x
n1
, x 1, (6.200)
i
n
(x)
e
x
2x
, k
n
(x)
e
x
x
, x
n(n + 1)
2
. (6.201)
Expresiones explcitas
i
n
(x) = x
n
_
1
x
d
dx
_
n
senhx
x
, k
n
(x) = (1)
n
x
n
_
1
x
d
dx
_
n
e
x
x
, (6.202)
51
i
0
(x) =
senh(x)
x
, (6.203)
i
1
(x) =
senh(x)
x
cosh(x), (6.204)
i
2
(x) =
cosh(x)
x

senh(x)
x
2
, (6.205)
i
3
(x) =
senh(x)
x
+
3 senh(x)
x
3

3 cosh(x)
x
2
, (6.206)
i
4
(x) =
6 senh(x)
x
2

15 senh(x)
x
4
+
cosh(x)
x
+
15 cosh(x)
x
3
, (6.207)
k
0
(x) =
e
x
x
, (6.208)
k
1
(x) =
e
x
x
+
e
x
x
2
, (6.209)
k
2
(x) =
e
x
x
+
3 e
x
x
2
+
3 e
x
x
3
, (6.210)
k
3
(x) =
e
x
x
+
6 e
x
x
2
+
15 e
x
x
3
+
15 e
x
x
4
, (6.211)
k
4
(x) =
e
x
x
+
10 e
x
x
2
+
45 e
x
x
3
+
105 e
x
x
4
+
105 e
x
x
5
. (6.212)
0
2
4
6
8
10
0 1 2 3 4 5
0
2
4
6
8
10
0 1 2 3 4 5
Figura 6.7: Primeras cinco funciones esfericas modicadas de Bessel y Neumann de orden
entero.
52
Captulo 7
Funciones de Green
7.1. Motivaci on
El metodo de las funciones de Green
1
permite reducir el problema de encontrar una
solucion de una E.D.P. lineal inhomogenea a una forma estandar.
Por ejemplo, en electrostatica, 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 x
(x) =
1
4
0
q
[x x
[
, (7.2)
y que el potencial producido por una distribucion continua de carga con densidad (x) es
(x) =
1
4
0
_
V
(x
)
[x x
[
dV
. (7.3)
En ambos casos se eligio el potencial nulo en el innito. Vemos entonces que en la solucion
general (7.5) aparece la funcion
G(x, x
) =
1
4
1
[x x
[
. (7.4)
de modo que
(x) =
_
V
G(x, x
)
_
(x
0
_
dV
. (7.5)
La funcion (7.4) satisface
2
G(x
, x) =
(3)
(x x
). (7.6)
Como veremos a continuacion, la propiedad (7.6) es la que permite encontrar soluciones
de la ecuacion inhomogenea (7.1).
2
(x) =
2
_
V
G(x, x
)
_
(x
0
_
dV
(7.7)
=
_
V
_
2
G(x, x
(x
0
_
dV
(7.8)
=
_
V
(x x
)
_
(x
0
_
dV
(7.9)
=
(x)
0
. (7.10)
1
George Green (1793-1841): matematico britanico. Ver http://es.wikipedia.org/wiki/George_Green.
53
7.2. Generalizacion
Consideremos la E.D.P. lineal inhomogenea de la forma (en d-dimensiones)
L = f(x), (7.11)
donde f(x) es una funcion fuente conocida, y

L es el operador lineal denido por
L =

_
p(x)
_
+ 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, x
) asociada
al operador

L, denida como la funcion que satisface
LG(x
, x) = (x x
). (7.13)
La utilidad de introducir la funcion de Green es que, conociendo una solucion de (7.11), es
posible escribir la solucion del problema inhomogeneo general (7.11) como
(x) =
_
V
G(x, x
)f(x
)dV
+
_
V
p(x
)
_
(x
G(x, x
) G(x, x
(x
)
_
d
.
(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 =
_
V
p(x
)
_
(x
G(x, x
) G(x, x
(x
)
_
d
(7.15)
=
_
V
_
p(x
)(x
G(x, x
) p(x
)G(x, x
(x
)
_
dV
(7.16)
=
_
V
_
(x
_
p(x
G(x, x
)
_
G(x, x
_
p(x
(x
)
__
dV
(7.17)
=
_
V
_
(x
)
_
G(x, x
)
_
G(x, x
)
_
(x
)
__
dV
(7.18)
=
_
V
_
(x
)(x x
) G(x, x
)f(x
dV
(7.19)
= (x)
_
V
G(x, x
)f(x
)dV
. (7.20)
En el ultimo 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 ecuacion (7.13) queda determinada, ademas de la funcion fuente f(x),
por las condiciones de borde del problema. Tpicamente, estas condiciones de borde se ex-
presan como condiciones que la solucion debe satisfacer en la frontera V . Esta informacion
modica la solucion 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 simultaneamente estos dos valores. Mas a un, en general puede
ser inconsistente imponer simultaneamente 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 funcion 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, x
) = 0, x
V. (7.21)
Entonces la solucion se reduce a
(x) =
_
V
G(x, x
)f(x
)dV
+
_
V
p(x
)(x
G(x, x
) d
(7.22)
=
_
V
G(x, x
)f(x
)dV
+
_
V
p(x
)(x
)
G(x, x
)
n
dS
. (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, x
)
n
= 0, x
V. (7.24)
Entonces, la solucion es dada por
(x) =
_
V
G(x, x
)f(x
)dV
_
V
p(x
)G(x, x
(x
) d
(7.25)
=
_
V
G(x, x
)f(x
)dV
_
V
p(x
)G(x, x
)
(x
)
n
dS
. (7.26)
Note que, sin embargo, dependiendo del operador

L puede no ser posible elegir la
funcion de Green tal que n

G(x, x
) = 0 sobre toda la frontera V . Esto ocurre, en el

importante caso del operador Laplaciano,

L =
2
.
7.3. Simetra de la funcion de Green
En el caso particular en el que el operador

L es el operador Laplaciano, vemos que la
funcion de Green (7.4) es simetrica bajo intercambio de argumentos, es decir, G(x, x
) =
G(x
, x). Puede vericarse 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(x
, x), con x
V , y entonces
f(x) = (x
x). En este caso, encontramos que

G(x
, x) =
_
V
G(x, x
)(x
)dV
+
_
V
p(x
)
_
G(x
, x
G(x, x
) G(x, x
G(x
, x
)
_
d
(7.27)
= G(x, x
) +
_
V
p(x
)
_
G(x
, x
G(x, x
) G(x, x
G(x
, x
)
_
d
. (7.28)
Por lo tanto, la funcion 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, x
) = 0, x
V (7.29)
55
7.4. Expresiones explcitas de algunas funciones de Green
La funcion de Green denida por la ecuacion (7.13) no es unica. Si G
1
(x, x
) es solucion,
entonces G
2
(x, x
) := G
1
(x, x
) + H(x, x
) tambien es solucion, si H(x, x
) es solucion del
problema homogeneo asociado,
LH(x, x
) = 0. (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 funcion resultante satisfaga las condiciones de borde que sim-
pliquen 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)
signica que G funcion que depende de x y x
solo a traves de su diferencia x x
. La
segunda condicion (isotropa=invariancia bajo rotaciones) implica que G solo depende del
modulo de x x
. Esto reduce la funcion de Green basicamente a una funcion de una

variable, ya que entonces
G(x, x
) = G([x x
[). (7.31)
D = 3
En coordenadas esfericas centradas en x
2
G =
1
r
2
d
dr
_
r
2
dG
dr
_
=
(3)
(r) (7.32)
por lo tanto
1
r
2
d
dr
_
r
2
dG
dr
_
= 0, r ,= 0. (7.33)
La solucion para r ,= 0 se encuentra entonces rapidamente integrando esta ecuacion, obte-
niendo
G(r) = +

r
. (7.34)
Por otro lado, la condicion (7.32) implica, usando el teorema de Gauss, que
_
V
G d
S =
_
V
dG
dr
r
2
d = 1, (7.35)
que requiere entonces que 4 = 1. Finalmente, en la mayora de los problemas es
conveniente elegir una funcion de Green que se anule para distancias muy grandes, es decir,
tal que lm
r
G(r) = 0. Esta condicion impone que = 0 (note que, equivalentemente,
esta condicion implica agregar la solucion homogenea H = a la funcion de Green
original), y por lo tanto
G(x x
) =
1
4
1
[x x
[
. (7.36)
56
D = 2
En coordenadas polares (, ) centradas en x
, con G = G()
2
G =
1
d
d
_
dG
d
_
=
(2)
(). (7.37)
Integrando la ecuacion para ,= 0, es decir,
1
d
d
_
dG
d
_
= 0, (7.38)
encontramos que
G() = + ln. (7.39)
Nuevamente, el teorema de Gauss (version 2D),
_
S
G d
S =
_
dG
d
d = 2 = 1. (7.40)
De esto modo, eliminando el termino constante (que es una solucion de la ecuacion ho-
mogenea), encontramos
G(x x
) =
1
2
ln[x x
[. (7.41)
7.4.2. Operador de Helmoltz
En el caso del operador de Helmholtz

L =
2
+ k
2
, que corresponde al caso p(x) = 1
y q(x) = k
2
.
En cada caso, buscaremos las funciones de Green de la forma G(x, x
) = G([x x
[)
D = 3
En coordenadas esfericas centradas en x
(
2
+ k
2
)G =
1
r
2
d
dr
_
r
2
dG
dr
_
+ k
2
G =
(3)
(r), (7.42)
por lo tanto
1
r
2
d
dr
_
r
2
dG
dr
_
+ k
2
G = 0, r ,= 0. (7.43)
Para solucionar (7.43) realizamos el cambio de variable G(r) = u(r)/r, que conduce a
r
2
dG/dr = ru
u. Con esto, (7.43) se reduce a u
+k
2
u = 0. Por lo tanto, las soluciones
son de la forma
G(r) =
e
ikr
r
+
e
ikr
r
. (7.44)
Con esta solucion, valida para r ,= 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
1 =
_
V
G d
S +k
2
_
V
GdV (7.45)
=
_
V
dG
dr
r
2
d +k
2
_
V
Gr
2
drd (7.46)
= 4G
R
2
+ 4k
2
_
R
0
Gr
2
dr (7.47)
= 4
_
(ikR 1) e
ikR
(ikR + 1) e
ikR
_
+ 4k
2
_
R
0
_
e
ikr
+e
ikr
_
r dr (7.48)
= 4( +). (7.49)
57
De esta forma encontramos las condicion
+ =
1
4
, (7.50)
que permite escribir la solucion (7.44) como
G(r) =
1
4
e
ikr
r
i
sen(kr)
r
. (7.51)
Note que el segundo termino es una solucion de la ecuacion de Helmholtz homog nenea (es
proporcional a la funcion esferica de Bessel j
0
(kr)). Por lo tanto, es posible elegir
G
+
(x, x
) =
1
4
e
ik|xx
|
[x x
[
, (7.52)
que corresponde a la eleccion = 0. Analogamente, podeomos considerar la funcion de
Green
G
(x, x
) =
1
4
e
ik|xx
|
[x x
[
, (7.53)
que se encuentra en el caso en que = 1/4.
D = 2
En coordenadas polares (, ) centradas en x
, con G = G()
(
2
+ k
2
)G =
1
d
d
_
dG
d
_
+k
2
G =
(2)
(). (7.54)
Para ,= 0,
1
d
d
_
dG
d
_
+ k
2
G = 0. (7.55)
Deniendo x := k esta ecuacion se reduce a
x
d
dx
_
x
dG
dx
_
+x
2
G(x) = 0, x ,= 0, (7.56)
que es la ecuacion de Bessel de orden = 0, ver (6.1). Por lo tanto, su solucion general es
de la forma
G() = J
0
(k) +N
0
(k) = H
(1)
0
(k) +

H
(2)
0
(k). (7.57)
Nuevamente, retornando a la ecuacion original (7.54) e integrando sobre un crculo S de
radio R centrado en = 0, obtenemos
1 =
_
S
G d
S +k
2
_
S
GdS (7.58)
= 2
_
R
dG
d
(kR) +k
2
_
R
0
G d
_
(7.59)
= 2
_
kR
_
H
(1)
0
(kR) +

H
(2)
0
(kR)
_
+
_
kR
0
_
H
(1)
0
(x) +

H
(2)
0
(x)
_
xdx
_
. (7.60)
58
Usando las identidades H
(1)
0
(x) = H
(1)
1
(x) y xH
(1)
0
(x) = d[xH
(1)
1
(x)]/dx y similarmente
para H
(2)
0
y H
(2)
1
, evaluamos la expresion anterior, obteniendo
1 = 2 lm
x0
_
xH
(1)
1
(x)

xH
(2)
1
(x)
_
(7.61)
= 2
_

2i
2i
_
(7.62)
= 4i(

). (7.63)
Con esto, la solucion adopta la forma
G() =
i
4
H
(1)
0
(k) +

_
H
(1)
0
(k) +H
(2)
0
(k)
_
(7.64)
=
i
4
H
(1)
0
(k) + 2
J
0
(k). (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:
G
(1)
(x, x
) =
i
4
H
(1)
0
(k[x x
[). (7.66)
Alternativamente, si se elige = 0, se encuentra
G
(2)
(x, x
) =
i
4
H
(2)
0
(k[x x
[). (7.67)
59
Captulo 8
Tensores
8.1. Tensores Cartesianos
En muchas areas de la Fsica es util, y frecuentemente necesario, denir objetos con
m ultiples componentes respecto a un sistema de coordenadas. En general, los valores de las
componentes de estos objetos cambian al ser calculados respecto de otro sistema de coor-
denadas. En particular, es posible clasicar este tipo de objeto de acuerdo a como cambian
sus componentes bajo una transformacion de coordenadas. Esta clasicacion permite en
particular denir tensores como conjunto de cantidades (las componentes del tensor)
tales su relacion al cambiar de sistema de coordenadas es sencilla (en particular, lineal
y homogenea). En este tipo de construccion es importante recordar que la denicion de
vectores y tensores depende del tipo de transformacion (en general, de coordenadas) bajo
consideracion. Esto se debe a que, algunas cantidades pueden formar tensores respecto a
un tipo de transformacion, pero no serlo respecto a otro tipo de transformaciones. En otras
palabras, la denicion 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 mecanica de Newton (y en general, en teoras
no-relativistas) es conveniente asegurar que las leyes fsicas consideradas sean validas in-
dependientemente de la orientacion de los ejes cartesianos elegidos para un determinado
calculo. En otras palabras, es necesario considerar como cambian las diversas cantidades
bajo rotaciones. Para esto, es util denir cantidades que sean vectores y tensores respecto
a rotaciones (transformaciones ortogonales de coordenadas). Por otro lado, en la teora de
Relatividad Especial se considera que (ct, x, y, z) como las cuatro coordenadas asociadas a
un evento dado, respecto aun Sistema de Referencia Inercial (SRI). Las transformaciones
de las coordenadas del mismo evento entre dos SRIs son en ese caso las transformacio-
nes de Lorentz, que puede expresarse como una transformacion lineal de las coordenadas
(ct, x, y, z). En este contexto es util entonces considerar (denir) cantidades que transfor-
men como cuadritensores bajo transformaciones de Lorentz. Note sin embargo que un
vector respecto a transformaciones ortogonales de coordenadas no dene necesariamente
un vector bajo transformaciones de Lorentz.
Analizaremos primero la denicion, propiedades basicas y la utilidad practica de los
tensores respecto a transformaciones ortogonales de coordenadas.
60
8.2. Bases ortogonales
Considere un espacio Euclideano n-dimensional (E
n
), donde cada punto de E
n
tiene
coordenadas x
i
, i = 1, , n, con respecto a un sistema de coordenadas ortogonales (SCO)
K.
Considere un vector

A conectando dos puntos de E
n
. Podemos denir ademas una base
ortonormal e
i
i = 1, , n, de modo que
e
i
e
j
=
ij
, (8.1)
donde
ij
denota la Delta de Kronecker, denida como los n
2
valores dados por
ij
:=
_
1, si i = j
0, si i ,= 0
. (8.2)
Note que esta Delta de Kronecker puede ser representada matricialmente por la matriz
identidad n n.
En el sistema ortogonal de coordenadas (SOC) denido por la base e
i
, permite descom-
poner el vector

A en sus respectivas componentes,
V =
n
i=1
v
i
e
i
(8.3)
La eleccion de la base ortonormal a usar es, sin embargo, arbitraria. Es posible usar
otra base ortonormal e
i
y descomponer

V en esta nueva base,
V =
n
i=1
v
i
e
i
(8.4)
Ademas, es posible relacionar las bases e
i
y e
i
ya que, por ejemplo, cada vector e
i
puede
escribirse como una combinacion lineal de los vectores base e
i
, esto es,
e
i
=
n
j=1
a
ij
e
j
. (8.5)
8.3. Convenci on de suma de Einstein
Es conveniente introducir la convencion de suma de Einstein, que establece que en toda
expresion donde se repitan dos ndices iguales, se subentiende que existe una suma sobre
todo el rango de variacion del ndice. De esta forma, (8.3), (8.4) y (8.5) pueden abreviarse
de la forma siguiente,
V = v
i
e
i
, (8.6)
V = v
i
e
i
, (8.7)
e
i
= a
ij
e
j
. (8.8)
61
8.4. Transformaciones ortogonales
Figura 8.1: Una transformacion ortogonal (rotacion) de coordenadas.
La condicion que tanto e
i
como e
i
son bases ortonormales se traduce en una condicion
para los coecientes (la matriz) de transformacion a
ij
. En efecto,
ij
= e
i
e
j
(8.9)
= (a
ik
e
k
) (a
jl
e
l
) (8.10)
= a
ik
a
jl
( e
k
e
l
) (8.11)
= a
ik
a
jl
kl
(8.12)
= a
ik
a
jk
, (8.13)
y por lo tanto,
a
ik
a
jk
=
ij
. (8.14)
En notacion 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 TOC
es una transformacion propia, mientras que si det A = 1 ella es impropia. En todo caso
det A ,= 0, de modo que la inversa A
1
existe y es unica. De (8.15) vemos entonces que la
matriz inversa de una transformacion ortogonal coincide con su transpuesta,
A
1
= A
, (8.17)
y por lo tanto se satisface ademas que
(A
) A = I, (8.18)
o, en notacion de ndices,
a
ki
a
kj
=
ij
. (8.19)
Puede vericarse a partir de estas propiedades basicas que el conjunto de todas las
transformaciones ortogonales en un espacio Euclideano n-dimensional forman un grupo, el
grupo ortogonal n-dimensional, O(n).
62
8.5. Vectores
Como vimos, un vector

V puede ser descompuesto tanto en una base ortonormal K
como en otra K
. A partir de esto, podemos encontrar la forma en que estan relacionadas

las componentes de

V respecto a dos SOCs. Usando (8.6) y (8.7) encontramos que
v
j
= v
i
a
ij
. (8.20)
Multiplicando esta expresion por a
kj
y usado (8.8) encontramos
v
i
= a
ij
v
j
. (8.21)
Esta propiedad puede ser usada como la denicion de (las componentes de) un vector:
Denicion: Diremos que el conjunto de n n umeros v
1
, v
2
, , v
n
, denido
en cada SCO, son las componentes de un vector (afn) si, bajo una transforma-
cion ortogonal (e.d., denida por una matriz A que satisface (8.17)), sus valores
estan relacionados por
v
i
= a
ij
v
j
. (8.22)
Note que en un espacio Euclideano las coordenadas x
i
de un punto de E
n
transforman
como
x
i
= a
ij
x
j
, (8.23)
y pueden ser consideradas como las componentes de un vector (del vector posicion x)
1
.
Otro ejemplo de vector es la velocidad de una partcula (moviendose en E
n
). Si x
i
(t)
son las coordenadas de la trayectoria de la partcula en funcion del tiempo t entonces la
velocidad instantanea transforma (es) un vector bajo TOCs. En efecto, la velocidad ins-
tantanea es denida, en cada SOC, por v
i
:= dx
i
/dt. Entonces, en un SOC K
relacionado
con K por medio de (8.23), tendremos que las nuevas componentes de la velocidad seran
v
i
:=
dx
i
dt
=
d
dt
(a
ij
x
j
) = a
ij
dx
j
dt
= a
ij
v
j
. (8.24)
De forma analoga, la aceleracion es tambien un vector bajo TOCs.
Note que no toda colecci on de n-valores denida en cada SOC forman las componentes
de un vector. Por ejemplo, la densidad de un cuerpo, su temperatura T, y la componente
z de su momentum p
z
, son cantidades que pueden denirse en cada SOC, sin embargo,
el conjunto de 3 cantidades A
i
= (, T, p
z
) no forman las componentes de un vector,
simplemente porque sus valores no estan relacionados bajo TOCs de la forma (8.22).
8.6. Escalares
Un escalar es una cantidad que no cambia su valor al rotar el SOC, es decir, una canti-
dad que permanece invariante bajo TOCs. Ejemplos de cantidades escalares en Mecanica
Clasica son: la masa de un cuerpo, el volumen de un cuerpo, el coeciente de roce entre
1
El hecho que las coordenadas transformen como componentes de un vector no es un resultado general.
Al considerar la denicion 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 transformacion diere de la ley valida
para los objetos denidos como vectores. En estos casos se dene un vector por la ley de transformacion
v
i
=
x
i
x
j
v
j
, que en el caso de transformaciones lineales coindice con (8.22), ya que x
i
/x
j
= a
ij
.
63
dos supercies, la temperatura, la energa cinetica, etc. En terminos matematicos, si es
una cantidad denida en cada SCO, entonces ella es un escalar si y solo si
= . (8.25)
Otro ejemplo de una cantidad escalar bajo TOCs es el producto escalar entre vectores. Si
A
i
y B
i
son las componentes de dos vectores anes

A y

B respectivamente, entonces su
producto escalar permanece invariante:
A
i
B
i
= (a
ij
A
j
)(a
ik
B
k
) (8.26)
= (a
ij
a
ik
)A
j
B
k
(8.27)
=
jk
A
j
B
k
(8.28)
= A
j
B
j
(8.29)
= A
i
B
i
. (8.30)
8.7. Tensores
Tanto en Mecanica, como en Electrodinamica, es habitual encontrar cantidades con
mas de un ndice, del tipo T
ij
, A
ijk
, etc.
Por ejemplo, en Mecanica, el momentum angular de un cuerpo en rotacion es descrito en
general por el tensor momento de inercia I
ij
. En efecto, considere un cuerpo caracterizado
por su densidad (x
i
), 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 SCO, ubicado sobre el eje de rotacion, es dado por
L =
_
V
x d p (8.31)
=
_
V
(x)x v dV (8.32)
=
_
V
(x)x ( x) dV. (8.33)
Usando la identidad

A(
B

C)

B(
A

C)

C(
A

B), podemos escribir
L =
_
V
(x) [ (x x) x( x)] dV, (8.34)
o, en terminos de componentes,
L
i
=
_
V
(x) [
i
(x
k
x
k
) x
i
(
j
x
j
)] dV (8.35)
=
_
V
(x) [(
ij
j
)(x
k
x
k
) x
i
(
j
x
j
)] dV (8.36)
=
__
V
(x) [
ij
(x
k
x
k
) x
i
x
j
] dV
_
j
, (8.37)
es decir,
L
i
= I
ij

j
, (8.38)
con
I
ij
:=
_
V
(x) [
ij
(x
k
x
k
) x
i
x
j
] dV. (8.39)
64
Note que este resultado expresa el hecho que, en general, el momentum angular de un
cuerpo en rotacion no es necesariamente paralelo al eje de rotacion.
Analizemos ahora como cambian las componentes I
ij
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.23), entonces tendremos
que las componentes I
ij
estaran dadas por
I
ij
:=
_
V
(x
)
_
ij
(x
k
x
k
) x
i
x
dV
(8.40)
=
_
V
(x) [
ij
(x
k
x
k
) (a
il
x
l
)(a
jm
x
m
)]
dV (8.41)
=
_
V
(x) [(a
il
a
jl
)(x
k
x
k
) (a
il
x
l
)(a
jm
x
m
)] [det(A)[ dV (8.42)
=
_
V
(x) [(a
il
a
jm
lm
)(x
k
x
k
) (a
il
x
l
)(a
jm
x
m
)] dV (8.43)
= a
il
a
jm
_
V
(x) [
lm
(x
k
x
k
) x
l
x
m
] dV (8.44)
= a
il
a
jm
I
lm
. (8.45)
En resumen,
I
ij
= a
il
a
jm
I
lm
. (8.46)
De esta forma, vemos que las n
2
cantidades
2
I
ij
cambian los valores de sus componentes
al ser calculados en distintos SOC, pero sus componentes estan relacionadas de una forma
(relativamente) simple. Las cantidades cuyas componentes transforman de la forma (8.46)
son llamadas tensores de rango 2 (o de segundo orden).
Denicion: Diremos que el conjunto de n
2
n umeros T
ij
, con i, j = 1, . . . , n,
denidos en cada SOC, son las componentes de un tensor (afn) de rango 2 si,
bajo una TOC, sus valores estan relacionados por
T
ij
= a
ik
a
jl
T
kl
. (8.47)
Note que la relacion inversa es dada por
T
ij
= a
ki
a
lj
T
kl
. (8.48)
Es simple vericar usando (8.46) y el hecho que
i
son componentes de un vector, que L
i
dado por (8.38) efectivamente satisface la ley de transformacion de un vector.
Similarmente al caso del momentum angular, podemos analizar la energa cinetica del
2
De las cuales solo n(n + 1)/2 son linealmente independientes, debido a que I
ij
= I
ji
.
65
cuerpo rotando rgidamente,
K =
1
2
_
V
v
2
dm (8.49)
=
1
2
_
V
v
2
dV (8.50)
=
1
2
_
V
( x)
2
dV (8.51)
=
1
2
_
V
_

2
x
2
( x)
2
dV (8.52)
=
1
2
_
V
_
(
i
i
)(x
k
x
k
) (
i
x
i
)
2
dV (8.53)
=
1
2
_
V
[(
i
ij
)(x
k
x
k
)
i
x
i
j
x
j
] dV (8.54)
=
1
2
j
__
V
[
ij
x
k
x
k
x
i
x
j
] dV
_
, (8.55)
es decir,
K =
1
2
I
ij

i
j
. (8.56)
Podemos vericar que, como es de esperar, la ley de transformacion del tensor de inercia
y del vector velocidad angular bajo TOCs aseguran que la energa cinetica es un escalar.
Note que si denimos las n
2
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 = I
ij
ij
/2. Vemos entonces que contracciones (es decir,
sumas de productos de componentes) entre tensores de rango 2 y dos vectores, as como
entre dos tensores de segundo rango pueden denir cantidades escalares. Analogamente,
puede vericarse que la contraccion I
ij
j
transforma como un vector. Estas propiedades
corresponden a operaciones generales posibles entre tensores, la multiplicacion de tensores
dene nuevos tensores (de rango superior), la contraccion de tensores con vectores puede
denir nuevos vectores o escalares. Note, sin embargo, que la contraccion I
ii
i
= I
11
1
+
I
22
2
+ I
nn
n
no es un escalar. Por otro lado, dado un tensor de rango 2 A
ij
y un
vector B
i
podemos denir las nuevas n
3
cantidades C
ijk
:= A
ij
B
k
, que transformara de
la forma siguiente C
ijk
:= a
il
a
jm
a
kp
C
lmp
. Claramente, este tipo de construccion puede ser
generalizada a objetos con mas ndices (componentes).
r
n umeros T
i
1
r
, denidos en
cada SOC, son las componentes de un tensor (afn) de rango r si, bajo una
TOC, sus valores estan relacionados por
T
i
1
i
2
i
r
= a
i
1
j
1
a
i
2
j
2
a
i
n
j
n
T
j
1
j
2
j
r
. (8.57)
Algunas observaciones:
Si r = 2 recuperamos la denicion de tensores de orden 2.
Si r = 1 recuperamos la denicion de un vector. Por lo tanto, un vector es un tensor
de rango 1.
Podemos extender la denicion general al caso r = 0, de modo que se reduzca a
T
= T, y as poder considerar a los escalares como tensores de orden 0.

66
La transformacion inversa a (8.57) es T
i
1
i
2
i
r
= a
j
1
i
1
a
j
2
i
2
a
j
n
i
n
T
j
1
j
2
j
r
.
Si todas las componentes de un tensor se anulan en un SOC, entonces ellas se anularan
en todo SOC. Esta propiedas 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. La Fsica 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 T
i
1
i
r
= Q
i
1
i
r
) entonces esta
ley sera valida con la misma forma en todo SCO (T
i
1
i
r
= Q
i
1
i
r
).
La Delta de Kronecker
ij
puede ser considerada como un tensor de rango 2, ya que
satisface
ij
= a
ik
a
jl
kl
para TOCs. Es, sin embargo, un tensor espacial, puesto que
tiene la propiedad que asume los mismos valores (1 o 0) en cada SOC. Este tipo
especial de tensores son llamados tensores invariantes.
8.8. Operaciones con Tensores
8.8.1. Adicion de tensores
Esta operacion es valida entre tensores del mismo rango. El tensor suma tiene como
componentes la suma de las componentes correspondientes a cada tensor sumando. Si
A
i
1
i
r
y B
i
1
i
r
son tensores de rango r, y denimos las n
r
cantidades
C
i
1
i
r
:= A
i
1
i
r
+ B
i
1
i
r
, (8.58)
en cada S.O.C., entonces C
i
1
i
r
son las componentes de un tensor de rango r.
8.8.2. Multiplicacion por escalar
Si es un escalar (tensor de orden 0), entonces
C
i
1
i
r
:= A
i
1
i
r
, (8.59)
es tambien un tensor de orden r.
Observacion: Las dos propiedades anteriores implica que el conjunto de todos los ten-
sores de un rango r dado forma un espacio vectorial lineal (de dimension n
r
).
8.8.3. Permutaci on de ndices
La operacion de permutar dos componentes de un tensor, dene un nuevo tensor del
mismo rango. Por ejemplo, si A
ijk
son las componentes de un tensor de rango 3, entonces
C
ijk
:= A
kji
, (8.60)
son componentes de un nuevo tensor.
En general, si A
i
1
i
s1
i
s
i
s+1
i
t1
i
t
i
t+1
i
r
son las componentes de un tensor de rango r
entonces el arreglo de n
r
cantidades denidas por la permutacion de la i
s
-esima componente
con la i
t
-esima componente,
C
i
1
i
s1
i
s
i
s+1
i
t1
i
t
i
t+1
i
r
:= A
i
1
i
s1
i
t
i
s+1
i
t1
i
s
i
t+1
i
r
, 1 s r, 1 t r,
(8.61)
son tambien componentes de un tensor de orden r.
67
8.8.4. Producto (tensorial) de tensores
Si A
i
1
i
r
y B
i
1
i
s
son las componentes de dos tensores de rango r y s respectivamente,
entonces las n
r+s
cantidades denidas por
C
i
1
i
r+s
:= A
i
1
i
r
B
i
r+1
i
r+s
, (8.62)
son las componentes de un tensor de rango r + s.
Observacion: Note que la posicion de los ndices en la denicion del nuevo tensor es
relevante. Por ejemplo, el tensor C
ij
:= A
i
B
j
es en general diferente de D
ij
:= A
j
B
i
. Vemos
tambien que estos tensores estaran relacionados por una (o mas) permutaciones de ndices:
D
ij
= C
ji
.
8.8.5. Contraccion de ndices
Si A
i
1
i
r
es un tensor dfe rango r, entonces
C
i
1
i
r2
:= A
i
1
i
s1
ji
s
i
t1
ji
t
i
r2
, 1 s r, 1 t r, (8.63)
son las componentes de un tensor de rango r 2.
Por ejemplo, si A
ijklm
son las componentes de un tensor de rango 5 entonces C
ijk
:=
A
iljlk
son componentes de un tensor de orden 3. Ademas, K = I
ij
j
/2 es un escalar,
v
2
= v
i
v
i
es un escalar, L
i
= I
ij
L
j
es un vector,
ii
= 3 es un escalar, etc.
8.8.6. Tensores simetricos y antisimetricos
Un tensor de rango 2, T
ij
, se dice simetrico si y solo si
T
ij
= T
ji
, i, j = 1, . . . , n. (8.64)
Similarmente, un tensor de rango 2 T
ij
se dice antisimetrico si y solo si
T
ij
= T
ji
, i, j = 1, . . . , n. (8.65)
Las propiedades de simertra y antisimetra son independientes del S.O.C. usado, es decir,
son propiedades intrnsecas del tensor. En efecto, si T
ij
= T
ji
entonces T
ij
= T
ji
para
toda transformacion a
ij
, respectivamente.
Observacion: Todo tensor de rango 2 puede ser descompuesto en una suma de un tensor
simetrico y uno antisimetrico:
T
ij
= S
ij
+A
ij
, (8.66)
con
S
ij
:= T
(ij)
:=
1
2
(T
ij
+T
ji
) = S
ji
, (8.67)
A
ij
:= T
[ij]
:=
1
2
(T
ij
T
ji
) = A
ji
. (8.68)
Esta descomposicion es irreducible con respecto a transformaciones lineales, ya que
S
(ij)
S
ij
, A
[ij]
A
ij
, S
[ij]
A
(ij)
0.
Similarmente, un tensor de rango r 2 se dice (anti-)simetrico con respecto a la
permutacion de dos 0indices dados i
s
y i
t
si y solo si
T
i
1
i
s
i
t
i
r
= ()T
i
1
i
t
i
s
i
r
. (8.69)
Por ejemplo, A
ijkl
es (anti-) simetrico respecto al primer y tercer ndice si A
ijkl
= ()A
kjil
,
i, j, k, l.
68
Tambien puede denirse la operacion de (anti-)simetrizacion con respecto a cualquier
par de ndices:
T
i
1
(i
s
||i
t
)i
r
:=
1
2
(T
i
1
i
s
i
t
i
r
+ T
i
1
i
t
i
s
i
r
) , (8.70)
T
i
1
[i
s
||i
t
]i
r
:=
1
2
(T
i
1
i
s
i
t
i
r
T
i
1
i
t
i
s
i
r
) . (8.71)
Por ejemplo,
A
i(j|k|l)m
:=
1
2
(A
ijklm
+ A
ilkjm
) , A
i[j|k|l]m
:=
1
2
(A
ijklm
A
ilkjm
) . (8.72)
Es posible extender el proceso de (anti-)simetrizacion a mas ndices, de modo que el
tensor resultante sea (anti-)simetrico respecto a la permutacion de cada par de ndices. Por
ejemplo
T
(ijk)
:=
1
6
(T
ijk
+ T
jik
+ T
jki
+T
kji
+ T
kij
+ T
ikj
) (8.73)
=
1
3
_
T
(ij)k
+T
(jk)i
+T
(ki)j
_
, (8.74)
T
[ijk]
:=
1
6
(T
ijk
T
jik
+ T
jki
T
kji
+ T
kij
T
ikj
) (8.75)
=
1
3
_
T
[ij]k
+T
[jk]i
+ T
[ki]j
_
. (8.76)
Un tensor completamente simetrico de rango r, S
i
1
i
r
= A
(i
1
i
r
)
, tiene (n+r1)!/(n
1)!r! componentes linealmente independientes.
Similarmente, un tensor completamente antisimetrico de rango r, A
i
1
i
r
= A
[i
1
i
r
]
,
tiene n!/(nr)!r! componentes linealmente independientes. En particular, un tensor total-
mente antisimetrico de rango r = n, es decir de rango maximo, tiene solo una componente
linealmente indepdendiente. Por ejemplo, en E
3
, podemos expresar todas las componentes
en terminos de A
123
:
A
213
= A
123
, A
231
= A
123
, A
112
= 0, (8.77)
etc.
8.9. Smbolo de Levi-Civita y pseudo-tensores
Es util denir, en E
n
, el smbolo de Levi-Civita
3
,
i
1
i
n
, como un objeto con nndices (es
decir, tantos como la dimension del espacio Euclideano en el que esta denido), totalmente
antisimetrico, es decir,
ijkl
=
jikl
=
kjil
=
ljki
= , (8.78)
tal que, en todo sistema de coordenadas,
123n
:= 1. (8.79)
3
Tullio Levi-Civita: (1873-1941), matematico italiano. Ver http://es.wikipedia.org/wiki/Tullio_
Levi-Civita.
69
Esta denicion es equivalente a
i
1
i
n
=
_
_
_
1, si i
1
i
n
es una permutacion par de 12 n
1, si i
1
i
n
es una permutacion impar de 12 n
0, en otro caso
. (8.80)
Un importante resultado es que un tensor totalmente antisimetrico de rango maximo,
es decir r = n, puesto que tienen solo una componente linealmente independiente, debe
necesariamente ser proporcional al smbolo de Levi-Civita correspondiente. Esto permite
escribir, por ejemplo,
A
i
1
i
2
i
n
= A
12n
i
1
i
2
i
n
. (8.81)
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
i
1
i
n
?
= a
i
1
j
1
a
i
n
j
n

j
1
j
n
. (8.82)
Ya que por denicion
i
1
i
n
tiene los mismos valores (1 o 0) en todo sistema coordenado,
i
1
i
n
=
i
1
i
n
, y por lo tanto debemos vericar si
i
1
i
n
?
= a
i
1
j
1
a
i
n
j
n

j
1
j
n
. (8.83)
Es directo vericar que el lado derecho de la expresion anterior el totalmente antisimetrico.
Por lo tanto, solo necesitamos calcular una componente, por ejemplo, a
1j
1
a
2j
2
a
nj
n

j
1
j
n
,
ya que, de acuerdo con (8.81),
a
i
1
j
1
a
i
n
j
n

j
1
j
n
= (a
1j
1
a
2j
2
a
nj
n

j
1
j
n
)
i
1
i
n
. (8.84)
Realizaremos el calculo explcito en el caso en que n = 3:
a
1i
a
2j
a
3k

ijk
= (8.85)
= a
11
a
22
a
33
a
11
a
23
a
32
a
12
a
21
a
33
(8.86)
+ a
12
a
23
a
31
+ a
13
a
21
a
32
a
13
a
22
a
31
(8.87)
=
a
11
a
12
a
13
a
21
a
22
a
23
a
31
a
32
a
33
(8.88)
= det(A) (8.89)
=: a. (8.90)
Este resultado es general. En un espacio de dimension n cualquiera, se tiene que
a
1j
1
a
2j
2
a
nj
n

j
1
j
2
j
n
det(A) =: a. (8.91)
Con esto podemos ver que en general no se satisface la relacion (8.83), sino que
i
1
i
n
= a
1
a
i
1
j
1
a
i
n
j
n

j
1
j
n
. (8.92)
Por lo tanto, el smbolo de Levi-Civita no es un tensor, ya que su ley de transformacion
no es la de un tensor. Recuerde que en el caso de transformaciones ortogonales los valores
posibles de a son a = 1 para transformaciones propias o impropias, respectivamente.
Note ademas que debido a esto es posible reemplazar en (8.92) a
1
por a para TOCs.
70
No obstante lo anterior el smbolo de Levi-Civita es muy util. Por ejemplo, en tres
dimensiones, el tradicional producto vectorial entre vectores

C :=

A

B puede escribirse
usando este smbolo. Es simple vericar que las componentes de

C pueden expresarse como
C
i
=
ijk
A
j
B
k
. (8.93)
Note que, como consecuencia del resultado anterior, si A
i
y B
i
son las componentes de dos
vectores bajo TOCs, entonces los tres valores C
i
dados por (8.93) no forman un vector.
En efecto, usando (8.93), (8.93) y la ley de transformacion para las componentes de los dos
vectores involucrados, obtenemos que
C
i
= a a
ij
C
j
. (8.94)
Vericamos as que las componentes C
i
no transforman, para transformaciones TOC ge-
nerales, como las componentes de un vector. En particular, si la transformacion denida
por a
ij
es impropia, tendremos que
C
i
= a
ij
C
j
, (8.95)
mientras que para transformaciones propias la ley sera la misma que para tensores. Con-
juntos C
i
de cantidades que bajo una transformacion ortogonal cualquiera transformen de
acuerdo a (8.94) son llamados pseudo-vectores. De las propiedades aqu analizadas es claro
que la diferencia entre un vector y un pseudo-vector solo se maniesta al estudiar como
cambian sus componentes bajo TOCs 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 cierto sentido hace inevitable) denir otro
tipo de objetos bajo TOCs, los pseudo-tensores.
r
n umeros T
i
1
r
, denidos en
cada SOC, son las componentes de un pseudo-tensor (afn) de rango r si, bajo
una TOC, sus valores estan relacionados por
T
i
1
i
2
i
r
= a a
i
1
j
1
a
i
2
j
2
a
i
n
j
n
T
j
1
j
2
j
r
. (8.96)
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 contraccion de dos ndices de un pseudo-tensor, dene un nuevo pseudo-tensor.
Un pseudo-escalar (r = 0) es una cantidad que cambia de signo bajo una SOC
impropia (con a = 1).
71
Algunas identidades
En el caso tridimensional (n = 3) es simple vercar que el pseudo-tensor de Levi-Civita
puede escribirse como
ijk
=
i1

i2

i3
j1

j2

j3
k1

k2

k3
. (8.97)
Usando esta identidad podemos calcular el producto de dos smbolos de Levi-Civita:
ijk
lmp
=
i1

i2

i3
j1

j2

j3
k1

k2

k3
l1

l2

l3
m1

m2

m3
p1

p2

p3
(8.98)
=
i1

i2

i3
j1

j2

j3
k1

k2

k3
l1

m1

p1
l2

m2

p2
l3

m3

p3
(8.99)
= det
_
_
_
_
i1

i2

i3
j1

j2

j3
k1

k2

k3
_
_
_
_
l1

l2

l3
m1

m2

m3
p1

p2

p3
_
_
_
_
(8.100)
= det
_
_
_
_
iq
lq

iq
mq

iq
pq
jq
lq

jq
mq

jq
pq
kq
lq

kq
mq

kq
pq
_
_
_
_
(8.101)
=
il

im

ip
jl

jm

jp
kl

km

kp
. (8.102)
Note que, en (8.99) hemos reemplazado, en el segundo factor, el determinante de la matriz
por el de la matriz transpuesta. 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
(8.103)
= 3!
[i|l
|j|m
|k]p
. (8.104)
Contrayendo dos ndices en la identidad (8.103) encontramos
ijk

lmk

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

ljk
2
il
, (8.106)
y, nalmente,
ijk

ijk
6. (8.107)
Estas identidades son muy utiles. Por ejemplo, usando (8.105) podemos demostrar que
(
A

B) (
C

D) (
A

C)(
B

D) (
A

D)(
B

C). (8.108)
72
8.9.1. (Pseudo)-tensor dual
Un (pseudo-)tensor totalmente antisimetrico de rango r en n dimensiones tiene el mismo
n umero de componentes linealmente independientes (n!/(nr)!r!) que un (pseudo-)tensor
totalmente antisimetrico de rango nr. Debido a esto, es posible denir un pseudo-tensor
antisimetrico de rango n r asociado a cada tensor antisimetrico de rango r, y viceversa.
En otras palabras, existe una relacion uno a uno entre pseudo-tensores antisimetricos de
rango n r y tensores antisimetricos de rango r.
Si A
i
1
i
r
es un tensor totalmente antisimetrico de rango r, entonces podemos denir el
pseudo-tensor dual
/
i
1
i
nr
:=
1
r!
i
1
i
nr
j
1
j
r
A
j
1
j
r
. (8.109)
La relacion inversa a (8.109) es
A
i
1
i
r
:=
1
(n r)!
i
1
i
r
j
1
j
nr
/
j
1
j
nr
. (8.110)
En particular, en un espacio euclideano 3-dimensional, tenemos que a cada tensor de rango
3 totalmente antisimetrico, A
ijk
, puede asociase un pseudo-escalar dual / tal que
/ :=
1
3!
ijk
A
ijk
, A
ijk
:=
ijk
/. (8.111)
Similarmente, todo tensor antisimetrico

A
ij
tiene asociado un pseudo-tensor /
i
tal que
/
i
:=
1
2
ijk
A
jk
, A
ij
:=
ijk
/
k
. (8.112)
Ademas, a cada vecor A
i
puede asociarse un pseudo-tensor totalmente antisimetrico /
ij
,
tal que
/
ij
:=
ijk
A
k
, A
i
:=
1
2
ijk
/
jk
. (8.113)
Finalmente, a cada escalar A puede asociarse un pseudo-tensor totalmente antisimetrico
/
ijk
, tal que
/
ijk
:=
ijk
A, A :=
1
3
ijk
/
ijk
. (8.114)
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 orden 1,
M
ij
= M
ji
que puede representarse alternativamente usando el (pseudo-)vector momento
magnetico
i
=
ijk
M
jk
/2.
8.10. Analisis tensorial cartesiano
8.10.1. Campo tensorial
En Fsica, es com un describir sistemas fsicos usando campos tensoriales, es decir, ten-
sores denidos en cada punto del espacio.
x E
n
Tensor de rango r, (8.115)
x
i
T
i
1
i
r
(x
i
). (8.116)
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 magnetico B
i
(x)), r = 2
hablamos de un campo tensorial de rango 2 (por ejemplo, el tensor dielectrico
ij
(x)).
73
8.10.2. Derivaci on
Dado que un tensor de rango r consta de n
r
cantidades denidas en cada punto de E
n
,
es posible derivar cada una de estas cantidades respecto a las n coordenadas de las que
depende, en cada SOC. Esto permite calcular nuevas n
r+1
cantidades: las n
r+1
derivadas
parciales
T
i
1
i
r
x
j
. (8.117)
En general, adoptaremos la notacion
j
T
i
1
i
n
:=
T
i
1
i
r
x
j
. (8.118)
Ahora probaremos que las n
r+1
derivaras
j
T
i
1
i
r
forman un tensor de rango r + 1 bajo
TOCs.
En efecto, si denotamos A
ji
1
i
r
:=
j
T
i
1
i
r
, entonces en otro SOC x
i
= a
ij
x
j
tendremos
que
A
ji
1
i
r
=
T
i
1
i
r
x
j
(8.119)
=

x
j
(a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
) (8.120)
= a
i
1
j
1
a
i
r
j
r
j
(T
j
1
j
r
) . (8.121)
Usamos ahora la regla de la cadena para expresar las derivadas de T
j
1
j
r
respecto a las
nuevas coodenadas x
i
en funcion de sus derivadas respecto a las coordenadas antiguas
x
i
. Usando la convencion de suma de Einstein, tenemos que, para cualquier funcion , se
satisface
j
=

x
k
x
k
x
j
. (8.122)
En nuestro caso, es decir, para transformaciones ortogonales, tenemos que la transformacion
inversa esta dada por x
i
= a
ji
x
j
y por lo tanto,
x
k
x
j
= a
jk
. (8.123)
Con esto, al substituir (8.122) en (8.121) obtenemos
A
ji
1
i
r
= a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
x
k
x
k
x
j
(8.124)
= a
jk
a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
x
k
(8.125)
= a
jk
a
i
1
j
1
a
i
r
j
r
A
kj
1
j
r
, (8.126)
es decir, que
j
T
i
1
i
n
es un tensor de rango r + 1 bajo TOCs.
8.10.3. Divergencia, rotor, Laplaciano
A partir del hecho que la derivacion de un tensor de rango r suministra un nuevo tensor
de rango r + 1 es posible operar sobre este nuevo tensor con las operaciones disponibles
(addicion, multiplicacion por escalar, contraccion, permutacion de ndices, etc.).
74
Por ejemplo, dado un vector con componentes A
i
, podemos calcular
i
A
j
que es un
tensor de orden 2, y luego la contraccion
i
A
i
que sera entonces un escalar bajo TOCs.
Es facil vericar que el escalar
i
A
i
corresponde a la divergencia del vector A
i
, ya que
i
A
i
=
1
A
1
+
2
A
2
+
n
A
n
. (8.127)
Por otro lado, dado un campo escalar , entonces
i
es el campo vectorial gradiente del
campo . Ademas, la divergencia del gradiente de , es decir, el Laplaciano de (que es
un escalar bajo TOCs) puede entonces escribirse en notacion de componentes como
2
=
i
i
=
1
1
+
n
n
=
2
1
+
2
n
, (8.128)
o, simplemente, en termino de operadores
2
=
i
i
.
En tres dimensiones (n = 3) podemos expresar el rotor

C :=

A de un campo
vectorial

A como
C
i
=
ijk
j
A
k
, (8.129)
relacion que en algunas ocasiones denotaremos
(

A)
i
=
ijk
j
A
k
. (8.130)
Observaci on: Note que el rotor de un vector es en realidad un pseudo-vector.
8.10.4. Integracion
Otra operacion com unmente requerida es la integracion de tensores, ya sea sobre una
lnea, supercie o volumen. A continuacion probaremos que estas operaciones denen nue-
vos tensores bajo TOCs.
Integrales de lnea
Si T
i
1
i
r
(x) es un campo tensorial de rango r entonces, dada una curva ( parametrizada
por x
i
= x
i
(), es posible denir las siguientes n integrales de lnea por cada una de las
componentes del tensor original:
C
ji
1
i
r
:=
_
C
T
i
1
i
r
(x) dx
j
, (8.131)
o, mas explcitamente,
C
ji
1
i
r
:=
_

2
1
[T
i
1
i
r
(x())]
_
dx
j
d
()
_
d. (8.132)
Entonces, en otro SOC, tendremos que
C
ji
1
i
r
=
_

2
1
_
T
i
1
i
r
(x())
_
dx
j
d
()
_
d. (8.133)
=
_

2
1
[a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
(x())]
_
d(a
jk
x
k
)
d
()
_
d (8.134)
= a
jk
a
i
1
j
1
a
i
r
j
r
_

2
1
[T
j
1
j
r
(x())]
_
dx
k
d
()
_
d (8.135)
= a
jk
a
i
1
j
1
a
i
r
j
r
C
kj
1
j
r
. (8.136)
75
Integrales de supercie
Similarmente, podemos denir integrales de supercie. Si n
i
(x) es un vector unitario
normal a la supercie S en el punto x
i
podemos denir las n
r+1
cantidades
C
ji
1
i
r
:=
_
S
T
i
1
i
r
(x) dS
j
, dS
j
:= n
j
dS. (8.137)
Note que aqu dS denota el elemento de supercie que, por denicion, es un escalar, es
decir, dS
= dS.
Tal como en el caso de las integrales de lnea, es directo demostrar que estas nuevas
cantidades son componentes de un tensor de rango r + 1:
C
ji
1
i
r
:=
_
S
T
i
1
i
r
(x) n
j
dS
(8.138)
:=
_
S
_
a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
(x
(a
jk
n
k
) dS (8.139)
:= a
jk
a
i
1
j
1
a
i
r
j
r
_
S
T
j
1
j
r
(x) n
k
dS (8.140)
:= a
jk
a
i
1
j
1
a
i
r
j
r
C
kj
1
j
r
. (8.141)
Integrales de volumen
Finalmente, consideraremos la denicion de nuevos tensores por medio de la integra-
cion en un volumen (n-dimensional). A partir del campo tensorial de rango r, T
i
1
i
r
(x),
denimos
C
i
1
i
r
:=
_
V
T
i
1
i
r
(x) d
n
x, (8.142)
que son componentes de un nuevo tensor de rango r respecto a TOCs, ya que
C
i
1
i
r
=
_
V
T
i
1
i
r
(x) d
n
x
(8.143)
=
_
V
[a
i
1
j
1
a
i
r
j
r
T
j
1
j
r
(x)]
d
n
x (8.144)
= a
i
1
j
1
a
i
r
j
r
_
V
T
j
1
j
r
(x) [a[ d
n
x (8.145)
= a
i
1
j
1
a
i
r
j
r
_
V
T
j
1
j
r
(x) d
n
x (8.146)
= a
i
1
j
1
a
i
r
j
r
C
j
1
j
r
. (8.147)
Teorema de Gauss y Stokes
El teorema fundamental del calculo (en varias variables) adopta, en notacion tensorial,
la forma
_
B
C,A
(
k
T
i
1
i
r
) dx
k
= T
i
1
i
r
(B) T
i
1
i
r
(A). (8.148)
En tres dimensiones (n = 3), tenemos que la forma general del Teorema de Green es
_
V
k
T
i
1
ki
r
(x) dV =
_
V
T
i
1
ki
r
(x) dS
k
. (8.149)
Por otro lado, el teorema de Stokes, adopta la forma
_
S
ijk
j
T
i
1
ki
r
dS
i
=
_
S
T
i
1
ki
r
dx
k
. (8.150)
76
Apendice A
Otras funciones especiales
A.1. Funciones de Laguerre
Gracos
10
5
0
5
10
15
20
5 0 5 10 15 20
Laguerre Polynomials
n = 0
n = 1
n = 2
n = 3
n = 4
n = 5
L
n
(
x
)
x
Figura A.1: Funciones de Laguerre
http://en.wikipedia.org/wiki/File:Laguerre_poly.svg
Ecuacion diferencial
x
d
2
y
dx
2
+ (1 x)
dy
dx
+ny = 0 (A.1)
Ecuacion diferencial (forma de Sturm-Liouville)
d
dx
_
_
xe
x
_
dy
dx
_
+ ne
x
y = 0 (A.2)
77
Formula de Rodrigues
L
n
(x) =
e
x
n!
d
n
dx
n
(x
n
e
x
) (A.3)
Funcion generadora
e
xt
1t
(1 t)
=
n=0
L
n
(x)
n!
t
n
(A.4)
(n + 1)L
n+1
(x) = (2n + 1 x)L
n
(x) n
2
L
n1
(x) (A.5)
Ortogonalidad
_

0
L
m
(x)L
n
(x)e
x
dx =
mn
(A.6)
78
A.2. Funciones de Laguerre asociadas
x
d
2
y
dx
2
+ (k + 1 x)
dy
dx
+ ny = 0 (A.7)
d
dx
_
_
x
k+1
e
x
_
dy
dx
_
+ne
x
x
k
y = 0 (A.8)
L
k
n
(x) =
e
x
x
k
n!
d
n
dx
n
(x
n+k
e
x
) (A.9)
Funcion generadora
(1)
k
t
k
e
xt
1t
(1 t)
k+1
=
n=0
L
k
n
(x)
n!
t
n
(A.10)
n k + 1
n + 1
L
k
n+1
(x) +
_
x + m2n 1
_
L
m
n
(x) +n
2
L
m
n1
(x) = 0 (A.11)
Ortogonalidad
_

0
L
k
m
(x)L
k
n
(x)e
x
x
k
dx =
(n + k + 1)!
n!

mn
(A.12)
Aplicacion en Fsica
Solucion radial de ecuacion de Schrodinger en potencial de Coulomb (atomo hidro-
genoide).
79
A.3. Funciones de Hermite
Gracos
Figura A.2: Funciones de Hermite
http://en.wikipedia.org/wiki/File:Hermite_poly_phys.svg
d
2
y
dx
2
2x
dy
dx
+ 2ny = 0 (A.13)
d
dx
_
_
e
x
2
_
dy
dx
_
+ 2ne
x
2
y = 0 (A.14)
H
n
(x) = (1)
n
e
x
2 d
n
dx
n
e
x
2
(A.15)
Funcion generadora
e
2txt
2
=
n=0
H
n
(x)
n!
t
n
(A.16)
H
n+1
(x) = 2xH
n
(x) 2nH
n1
(x) (A.17)
80
Ortogonalidad
_

H
m
(x)H
n
(x)e
x
2
dx = 2
n
n!
mn
(A.18)
Aplicacion en Fsica
Oscilador armonico cuantico
81
A.4. Polinomios de Chebyshev
Gracos
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
(1 x
2
)
d
2
y
dx
2
x
dy
dx
+n
2
y = 0 (A.19)
d
dx
_
_
_
1 x
2
_
dy
dx
_
+
n
2
1 x
2
y = 0 (A.20)
T
n
(x) =
(1)
n
1 x
2
(2n 1)(2n 3) 1
d
n
dx
n
(1 x
2
)
n
1
2
(A.21)
Funcion generadora
1 tx
1 2tx + t
2
=
n=0
T
n
(x)t
n
(A.22)
T
n+1
(x) = 2xT
n
(x) T
n1
(x) (A.23)
82
Ortogonalidad
_
1
1
T
m
(x)T
n
(x)
1 x
2
dx =
_
m = n = 0
mn
m = n = N N
(A.24)
Aplicacion en Fsica
??
83
Apendice B
La Delta de Dirac
B.1. La funcion
Decimos que (x) es una delta de Dirac, si
(x a) = 0 x ,= a, (B.1)
donde a R, pero
_
c
b
f(x)(x a)dx =
_
0 si x / (b, c),
f(a) si x (b, c),
(B.2)
para toda funcion 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
_

(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 sucesion de funciones. Por ejemplo, si denimos
D
n
(x a) :=
_
n
e
n(xa)
2
, n = 1, 2, 3, . . . , (B.4)
entonces es posible probar que
_

D
n
(x)dx = 1, (B.5)
y ademas
lm
n
D
n
(x) =
_
0 x ,= a,
para x = a.
(B.6)
lm
n
_
c
b
D
n
(x)f(x)dx =
_
0 si x / (b, c),
f(a) si x (b, c).
(B.7)
Por lo tanto, escribimos
lm
n
D
n
(x) = (x a). (B.8)
Una descripcion matematicamente consistente de la delta de Dirac puede ser dada en el
marco de la teora de distribuciones.
84
Otros ejemplos de sucesiones de funciones que convergen a una Delta de Dirac (x)
son:
D
n
(x) =
n
1
1 + n
2
x
2
, (B.9)
D
n
(x) =
1
n
sen
2
(nx)
x
2
. (B.10)
B.1.1. Derivada de la delta de Dirac
Considerando la funcion como si fuese una funcion normal, encontramos, integrando
por partes, que
_

(x a)
. .
:=
d
dx
(xa)
f(x)dx = [(x a)f(x)]
. .
=0
(x a)f
(x)dx = f
(a), (B.11)
es decir,
_

(x a)f(x)dx = f
(a). (B.12)
B.2. Delta de Dirac evaluada en una funcion y cambios de
variable
Por otro lado, de las reglas de cambio de variables, obtenemos
(g(x)) =
i
(x x
i
)
[g
(x)[
, (B.13)
donde x
i
son las soluciones nulas (simples!) de g, e.d., que satisfacen g(x) = 0.
Por ejemplo,
(ax) =
1
[ a [
(x). (B.14)
Esto puede probarse de la forma siguiente: Si a > 0 el cambio de variable de integracion
y = ax conduce a
_

(ax)f(x) dx =
_

(y)f(
y
a
) dy =
1
a
f(0) =
_

1
a
(x)f(x) dx. (B.15)
Si a < 0, entonces el mismo cambio de variable conduce a
_

(ax)f(x) dx =
_

(y)f(
y
a
) dy =
1
a
f(0) =
_

1
a
(x)f(x) dx. (B.16)
Estos dos resultados son equivalentes a la identidad (B.14).
Como caso particular, si a = 1 (B.14), encontramos
(x) = (x), (B.17)
e.d., la funcion es una funcion par.
85
B.2.1. Otras identidades
La identidad
s(x + a)(x) = s(a)(x), (B.18)
donde s(x) es una funcion continua y a una constante, se sigue de
_

s(x +a)(x)f(x) dx = s(a)f(0) =

_

s(a)(x)f(x) dx. (B.19)

Un caso particular de (B.18) es
x(x) = 0. (B.20)
B.2.2. Representacion integral
La expresion
(x) =
1
2
_

e
ikx
dk (B.21)
puede ser derivada de la siguiente forma: La transformada de Fourier

f(k) de una funcion
f(x) es denida por
f(x) =
1
2
_

e
ikx

f(k) dk, (B.22)
donde
f(k) :=
_

e
ikx
f(x) dx. (B.23)
Para f(x) = (x) obtenemos
f(k) :=
_

e
ikx
(x) dx = e
ikx
x=0
= 1, (B.24)
de modo que (B.22) se reduce a (B.21).
B.2.3. La delta de Dirac tridimensional
La denicion de la delta de Dirac tridimensional
(3)
(x a) es analoga a aquella de la
version unidimensional:
(3)
(x a) = 0, x ,=a, (B.25)
pero
_
V
(3)
(x a)f(x) dV =
_
0 si a / V,
f(a) si a V.
(B.26)
Esta denicion puede ser usada, por ejemplo, para describir la densidad de carga de una
carga puntual situada en x
:
(x) = q
(3)
(x x
), (B.27)
de modo que
_
R
3
(x) dV = q. (B.28)
Ademas, la siguiente identidad es de mucha utilidad:
2
1
[x x
[
= 4
3
(x x
). (B.29)
86
Para probar esta identidad, debe mostrarse que: a)
2 1
|xx
|
= 0, x ,= x
, lo que puede ser

directamente comprobado calculando las derivadas respectivas, y b)
_
V
f(x)
2 1
|xx
|
dV =
4f(x
) para cualquier funcion de clase C

1
en el volumen V , que contiene el punto x
.
Para probar esto ultimo, es conveniente usar coordenadas esfericas centradas en el punto
x
, de modo que
1
|xx
|
=
1
r
. Ademas, como la propiedad a) es valida es posible reemplazar
el dominio de integracion V (que incluye el punto x
) por una esfera E de radio R, centrada

en x
, de modo que
_
V
f(x)
2
1
r
dV =
_
E
f(x)
2
1
r
dV (B.30)
=
_
E
f(x)
1
r
_
dV (B.31)
=
_
E
_
_
f
1
r
_
1
r
_
dV (B.32)
=
_
E
_
f
1
r
_
d
S
_
E
1
r
dV (B.33)
=
_
E
f
1
r
2
( r d
S) +
_
E
(
f r)
1
r
2
dV (B.34)
=
_
E
f
1
r
2
dS +
_
E
f
r
1
r
2
dV (B.35)
=
_
E
f d +
_
E
f
r
drd. (B.36)
Si f es una funcion de clase C
1
, ambos terminos son nitos y su suma es independiente de
R. En el lmite R 0, el primer termino tiende a f[
r=0
_
d = 4f(x
), 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
_
V
f(x)
2
1
r
dV = lm
R0
_
_
E
f d +
_
E
f
r
drd
_
(B.37)
= 4f(x
) + 0. (B.38)
87
Apendice C
Coordenadas curvilineas
C.1. Coordenadas Cartesianas
Vector
A = A
x
x + A
y
y +A
z
z (C.1)
Gradiente:
=

x
x +

y
y +

z
z (C.2)
Divergencia

A =
A
x
x
+
A
y
y
+
A
z
z
(C.3)
Rotor:

A =
_
A
z
y

A
y
z
_
x +
_
A
x
z

A
z
x
_
y +
_
A
y
x

A
x
y
_
z (C.4)
Laplaciano
2
=

2
x
2
+

2
y
2
+

2
z
2
(C.5)
Desplazamiento:
dx = dx x +dy y + dz z (C.6)
Elemento de supercie:
d
S = dy dz x +dxdz y +dxdy z (C.7)

Elemento de volumen:
dV = dxdy dz (C.8)
88
C.2. Coordenadas Cilndricas
Denicion:
x = cos , y = sin, z = z (C.9)
=
_
x
2
+y
2
, = arctan(y/x), z = z (C.10)
Vector
A = A
+A
+ A
z
z (C.11)
Gradiente:
+
1
+

z
z (C.12)
Divergencia

A =
1
(A
+
1
+
A
z
z
(C.13)
Rotor:

A =
_
1
A
z
z
_
+
_
A
z

A
z
_

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

2
z
2
(C.15)
(C.16)
Desplazamiento:
dx = d +d + dz z (C.17)
d
S = ddz +d dz + d d z (C.18)
dV = d ddz (C.19)
C.3. Coordenadas Esfericas
Denicion:
x = r sin cos , y = r sin sin, z = r cos (C.20)
r =
_
x
2
+ y
2
+ z
2
, = arc cos(
z
r
) = arctan
_
x
2
+y
2
z
, = arctan(y/x) (C.21)
Vector
A = A
r
r +A
+ A
(C.22)
89
Gradiente:
=

r
r +
1
r
+
1
r sin
(C.23)
Divergencia

A =
1
r
2
_
r
2
A
r
_
r
+
1
r sin
(A
sin) +
1
r sin
A
(C.24)
Rotor:

A =
1
r sin
_

(A
sin)
A
_
r
+
1
r
_
1
sin
A
r

r
(rA
)
_
+
1
r
_

r
(rA
)
A
r
_
(C.25)
Laplaciano
2
=
1
r
2
r
_
r
2
r
_
+
1
r
2
sin
_
sin
_
+
1
r
2
sin
2
2
(C.26)
Desplazamiento:
dx = dr r + rd
+r sind (C.27)
d
S = r
2
sin d d r + r sin dr d

+ r dr d (C.28)
dV = r
2
sin dr d d (C.29)
Solucion general (nita) de la Ecuacion de Laplace:
(r, , ) =
l=0
l
m=l
_
A
lm
r
l
+B
lm
r
(l+1)
_
Y
lm
(, ). (C.30)
90
Bibliografa
[1] Sean Mauch, Introduction to Methods of Applied Mathematics or Advanced Mathema-
tical 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, Acade-
mic 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 Edicion (1969).
91

FM II Grubilar

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

FM II Grubilar

Diunggah oleh

Hak Cipta:

Format Tersedia

F

cos(m) sen(n) d = 0, (1.3)

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

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

representa el complejo conjugado de z.

2 en las deniciones (2.4) y (2.5) es hasta cierto punto convencional.

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

(0) (y las derivadas superiores) sera en general divergente, a un en el caso

(0), debido al termino (

(z), como las soluciones correspondientes al caso en que

( + 1), de modo que

estan bien denidas para todo z. Para valores de z

(0) = 0 mientras que J

(0) es divergente. Por otro lado, J

son linealmente independientes si no es entero. En

(1 + )), se obtiene nuevamente la funcion de Bessel de primera

(z) satisfacen las siguientes relaciones de recurrencia:

:= xt/2 y usando (6.62) reescribimos al

(x), es decir, tal que J

(z) de ecuacion de Bessel. Esta combinacion

(z) en lo que respecta a su forma asintotica. En efecto, a partir de

(ix). Como esta-

(x) as denida es real. En efecto, de la expansion en serie (6.14)

son linealmente independientes, excepto si es entero, ya que en

(x) satisfacen las siguientes relaciones de recurrencia, que se siguen a

(x), y denidas de la forma siguiente:

(x), por lo que es suciente

son l.i. para todo , y su forma asintotica

(x) satisfacen las siguientes relaciones de recurrencia

, ver (6.39), (6.40), (6.137) y

. A partir de (6.72) se sigue directa-

sobre V , entonces es conveniente escoger una funcion de Green que satisfaga

) = 0 sobre toda la frontera V . Esto ocurre, en el

x). En este caso, encontramos que

) tambien es solucion, si H(x, x

solo a traves de su diferencia x x

. Esto reduce la funcion de Green basicamente a una funcion de una

u. Con esto, (7.43) se reduce a u

. A partir de esto, podemos encontrar la forma en que estan relacionadas

= T, y as poder considerar a los escalares como tensores de orden 0.

s(x +a)(x)f(x) dx = s(a)f(0) =

s(a)(x)f(x) dx. (B.19)

, lo que puede ser

) para cualquier funcion de clase C

) por una esfera E de radio R, centrada

S = dy dz x +dxdz y +dxdy z (C.7)

Anda mungkin juga menyukai