Propiedades A continuacin citaremos algunas de las propiedades

ms tiles de las funciones de Bessel de orden m, m = 0, 1, 2, ...:

Obsrvese que la propiedad ii) indica que

Jm(x) es una funcin par si m es un entero par,
y una funcin impar si m es entero impar.
Las grficas de Yo(x) y Y1 (x) en la figura 6.3
ilustran la propiedad iv):
Ym(x) no es acotada en el origen. Esto ltimo
no es obvio al examinar (10).
Se puede demostrar, sea a partir de (10) o por
los mtodos de la seccin 6.3
que cuando x > 0,
en donde y = 0.57721566. . . es la constante de Euler.
A causa de la presencia del trmino logartmico,
Yo(x) es discontinua en x = 0.
Valores numricos En la tabla 6.1 se presentan
algunos valores de las funciones
Jo(x), J1 (x), Yo(x) y Y1 (x) para determinados
valores de x.
Los primeros cinco ceros no negativos de esas
funciones aparecen en la tabla 6.2.
 TABLA 6.1 Valores numricos de J o, J1, Yo y Y1

x J0(x) J1(x) Y0(x) Y1(x)

0 1.0000 0.0000 -

1 0.7652 0.4401 0.0883 -0.7812

2 0.2239 0.5767 0.5104 -0.1070

3 -0.2601 0.3391 0.3769 0.3247

4 -0.3971 -0.0660 -0.0169 0.3979

5 -0.1776 -0.3276 -0.3085 0.1479

6 0.1506 -0.2767 -0.2882 -0.1750

7 0.3001 -0.0047 -0.0259 -0.3027

8 0.1717 0.2346 0.2235 -0.1581

9 -0.0903 0.2453 0.2499 0.1043

10 -0.2459 0.0435 0.0557 0.2490

11 -0.1712 -0.1768 -0.1688 0.1637

12 0.0477 -0.2234 -0.2252 -0.0571

13 0.2069 -0.0703 -0.0782 -0.2101

14 0.1711 0.1334 0.1272 -0.1666

15 -0.0142 0.2051 0.2055 0.0211

 Relacin de recurrencia diferencial Las
frmulas de recurrencia que relacionan las
funciones de Bessel de distintos rdenes son
importantes en teora y en las aplicaciones. En el
ejemplo siguiente deduciremos una relacin de
recurrencia diferencial.
 J0(x) J1(x) Y0(x) Y1 (x)

2.4048 0.0000 0.8936 2.1971

5.5201 3.8317 3.9577 5.4297

8.6537 7.0156 7.0861 8.5960

11.7915 10.1735 10.2223 11.7492

14.9309 13.3237 13.3611 14.8974

EJEMPLO 4 Deduccin mediante definicin de
series -
Deduzca la frmula xJ'v(x) = vJv(x) - xJv+1 (x).
SOLUCIN Una consecuencia de (7) es que
El resultado del ejemplo 4 se puede escribir en forma alternativa.
Al dividir xJv(x) - vJv(x) = -xJv+, (2) entre x se obtiene

Esta ltima expresin es una ecuacin

diferencial lineal de primer orden en Jv(x).
Multiplicamos ambos lados de la igualdad
por el factor integrante x-v y llegamos a

En forma parecida se puede demostrar que

Las relaciones de recurrencia diferenciales (14) y (15)
tambin son vlidas para la funcin de Bessel de segunda clase,
Yv(x). Ntese que cuando v = 0, una consecuencia de (14) es

J(x) = -J1(x) y
Y(x) = -Y1(x). (16)

En el problema 40 de los ejercicios 6.4 aparece

una aplicacin de estos resultados.
Cuando v = la mitad de un entero impar,
se puede expresar Jv(x) en
trminos de sen x, cos x y potencias de x. Estas funciones de
Bessel se
denominan funciones de Bessel esfricas.
 EJEMPLO 5 Funcin de Bessel esfrica con
Determine una expresin alternativa de J1/2(x). Aplique el
hecho que

SOLUCIN Con
En vista de la propiedad G(1 + a) = aG(a), obtenemos
En general,
 Por consiguiente

Puesto que la serie del ltimo rengln es la serie de

Maclaurin para sen x, hemos demostrado que
 Solucin de la ecuacin de
Legendre

Dado que x = 0 es un punto ordinario de la

ecuacin (2), suponemos una solucin en la
forma

en consecuencia
tenemos:
 lo cual significa que
n (n + 1)co + 2C2 = 0
(n-1)(n+2)c1 + 6C3 = 0
(j+2)(j+1)cj + 2 + (n-j)(n+j+1)cj = 0
o sea

Al iterar esta frmula se obtiene

etc. Entonces, cuando menos para x < 1 se obtienen dos
soluciones linealmente independientes en series de potencias:
Obsrvese que si n es un entero par, la primera serie termina, mientras que y2(
es una serie infinita; por ejemplo, si n = 4, entonces, de igual manera, cuando
entero impar, la serie de y2(x) terminaron xn; esto es, cuando n es un
entero no negativo, se obtiene una solucin en forma de polinomio
de grado n de la ecuacin de Legendre, Como sabemos que un mltiplo
constante de una solucin de la ecuacin de Legendre tambin es una solucin
se acostumbra elegir valores especficos de c0 o c1, dependiendo de si n es un
entero positivo par o impar, respectivamente. Para n = 0 se elige co = 1,
y para n = 2, 4, 6, ....

mientras que para n = 1 se escoge c1 = 1, y para n

= 3, 5, 7, ....

Por ejemplo, cuando n = 4,

 Polinomios de Legendre
Estas soluciones polinomiales especificas de grado n se llaman
polinomios de Legendre y se representan con Pn(x). De las series
para y1(x) y y2(x), y con las elecciones de c0 y
c1 que acabamos de describir, vemos que los primeros
polinomios
de Legendre son

Recurdese que Po(x), P1(x), P2(x), P3(x), . . . son, a su vez,

soluciones particulares de las ecuaciones diferenciales
n = 0: (1 - x2)y" - 2xy' = 0
n=1: (1-x2)y"-2xy'+2y=0
n = 2: (1 - x2) y" - 2xy' + 6 y = 0 (20)
n=3: (1-x2)y"-2xy'+12y=0
Las .grficas de los primeros cuatro polinomios de Legendre en el
intervalo -1 x 1 aparecen en la figura 6.4
 Propiedades En las ecuaciones (19) y en la figura 6.4
se pueden apreciar las siguientes propiedades de los polinomios de Legendre:
(i) Pn(-x) = (-1)nPn(x)
(ii) Pn(1) = 1
(iii) Pn(-1) = (-1)n
(iv) Pn(0) = 0, n impar (v) Pn(0) = 0, n par
La propiedad i) indica que Pn(x) es funcin par o impar cuando
n es par o impar.
Relacin de recurrencia Las relaciones de recurrencia que relacionan los
polinomios de Legendre de diversos grados
son muy importantes en algunos aspectos de las aplicaciones.
Deduciremos una mediante la frmula

La funcin del lado izquierdo se llama funcin generadora para

los polinomios de Legendre. Su deduccin es consecuencia de la
serie binomial y se deja como ejercicio.
Al derivar ambos lados de (21) con respecto a t se obtiene

de modo que, despus de multiplicar por 1 - 2xt + t2 tenemos

Efectuamos la multiplicacin y reformulamos esta ecuacin como sigue:

 Con las simplificaciones, anulaciones y cambios
adecuados de ndices en las sumatorias se llega a .

Igualamos a cero el coeficiente total de tk para obtener

la relacin de recurrencia con tres trminos

(k + 1) Pk+1 (x) - (2k + 1)xPk(x) + kPk_1(x) = 0,

k = 2, 3, 4, . . . . (23)

Esta frmula tambin es vlida cuando k = 1.

En las ecuaciones (19) presentamos los seis primeros polinomios de
Legendre.
Si, por ejemplo, hubiramos querido determinar P6(x),
pudimos usar (23) con k = 5. Esta relacin expresa
P6(x) en funcin de las cantidades conocidas P4(x) y
P5(x).