Definiciones y propiedades tiles de

funciones ortogonales:
Funciones trigonomtricas:
(para funciones de perodo T )
sen(kn x) y cos(kn x), con kn =
en (0, T )

2n
T

y n entero son base de las funciones

T
Ortogonalidad: sen(kn x)sen(kn0 x)dx =
T
0
2 nn

T
0
2 nn

T
, cos(kn x)cos(kn0 x)dx =
0

, cos(Kn x)sen(kn0 x)dx = 0

0

(para funciones cualquiera en R)

eikx es base de las funciones en R

0
Ortogonalidad: eik x eikx dx = 2(k 0 k)

Polinomios de Legendre:

l
1 dl
x2 1 son base de las funciones en (1, 1) que no diPl (x) = 2!l!
dxl
vergen en 1.


1
2
Primeros polinomios:P
0 (x) = 1 , P1 (x) = x , P
2 (x) = 2 3x 1 ,


P3 (x) = 12 5x3 3x , P4 (x) = 18 35x4 30x2 + 3
Ortogonalidad:

Pl (x)Pl0 (x)dx =

2
0
2l+1 ll

Otras propiedades:
l

Pl (1) = 1 , Pl (x) = (1) Pl (x) ,

d
dx Pl (x)|x=1

Algunas relaciones de recurrencia:

(l + 1)Pl+1 (x) = (2l + 1)xPl (x) lPl1 (x)
x2 1 d
l dx Pl (x)

= xPl (x) Pl1 (x)

(2l + 1)Pl (x) =

d
dx

[Pl+1 (x) Pl1 (x)]

l(l+1)
2

Armnicos esfricos:
q
(lm)! m
im
son una base de las funciones bien
Ylm (, ) = 2l+1
4 (l+m)! Pl (cos)e
comportadas en [ (0, ), (0, 2)] y peridicas en . Donde:
l = 0, ..., , m = l, ..., l enteros

m dm
0
Plm (x) = (1)m 1 x2 2 dx
m Pl (x) , en particular: Pl (x) = Pl (x)
Primeros armnicos:
Y00 (, ) =

1
4

q
q
3
3
Y11 (, ) = 8
sen()ei , Y10 (, ) = 4
cos()
q
q
1
15
15
2
i2
i
sen
()e
,
Y
(,
)
=

,
Y22 (, ) =
2
4 sen()cos()e
q 8


5
Y20 (, ) = 16
3cos2 () 1
m
0
Ortogonalidad:
Yl (, )Ylm
(, )d = ll0 mm0
0

Funciones de Bessel
2

d y
dy
2
2
1) Soluciones de la ecuacin de Bessel x2 dx
2 + x dx + (x )y = 0

Si no es entero J (x) y J (x) son soluciones linealmente independientes, donde:

P
(1)m
x 2m+
J (x) =
, con (x) es la generalizacin del facm!(m++1) 2
m=0

torial, de modo que (n + 1) = n! para enteros.

Si = n entero, entonces Jn (x) y Nn (x) son soluciones independientes,
(x)
.
donde:Nn (x) = lim J (x)cos()J
sen()
n

en este caso Jn (x) converge en 0 e Nn (x) diverge en 0

Tambin suelen usarse como soluciones independientes las funciones de
Hankel:
(1)

H (x) = J (x) + iN (x)

(2)

H (x) = J (x) iN (x)

2

d y
dy
2
2) Soluciones de la ecuacin de Bessel modificada x2 dx
2 + x dx (x +
(1)
2 )y = 0 I (x) = i J (ix) y K (x) = 2 i+1 H (ix) y por tanto I (x)
converge en 0 y K (x) diverge en 0.





1
x
Desarrollos asintticos: x  1 : J (x) (+1)
, N0 (x) 2 ln x2 + 0, 5772...
2


2
, N (x) ()

x q para 6= 0
q




2

x  1 : J (x) x
cos x
2 4 , N (x)
x cos x 2 4
2

Relaciones de ortogonalidad:

a
0

J xn0 a J xn a d =

a2
2

donde J (xn ) = 0. O sea, xn es la rez n-esima de la funcin J

[J+1 (xn )] nn0