You are on page 1of 21

## 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
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 -

## 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)

## 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).
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

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, ....

= 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

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

## Efectuamos la multiplicacin y reformulamos esta ecuacin como sigue:

Con las simplificaciones, anulaciones y cambios

## 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).