Sie sind auf Seite 1von 37

6.

3 FUNCIONES ESPECIALES

REPASO DE MATERIAL

Secciones 6.1 y 6.2

INTRODUCCIN Las dos ecuaciones diferenciales

2 + + ( 2 2 ) = 0 (1)

(1 2 ) 2 + ( + 1) = 0 (2)

se presentan en estudios avanzados de matemticas aplicadas, fsica e ingeniera. Se llaman


ecuacin de Bessel de orden y ecuacin de Legendre de orden , respectivamente. Cuando
resolvemos la ecuacin (1) se supone que 0, mientras que en (2) slo consideraremos el caso
cuando es un entero no negativo.

6.3.1 ECUACIN DE BESSEL

LAS SOLUCIN Debido a que = 0 es un punto singular regular de la ecuacin de Bessel, se


sabe que existe al menos una solucin de la forma =
=0
+
. Sustituyendo la ltima
expresin en (1), se obtiene

2 + + ( 2 2 )

= ( + )( + 1) + + ( + ) + + ++2 2 +
=0 =0 =0 =0

= 0 ( 2 + 2 )
+ [( + )( + 1) + ( + ) 2 ]
+ +2

=1 =0

= 0 ( 2 2 )
+ [( + ) 2 2 ]
+ +2

(3)
=1 =0

De (3) se ve que la ecuacin indicial es 2 2 = 0, de modo que las races indiciales son 1 =
y 2 = . Cuando 1 = , la ecuacin (3) se convierte en

( + 2) + +2

=1 =0

= [(1 + 2)1 + ( + 2) + +2 ]

=2 =0

= [(1 + 2)1 + [( + 2)( + 2 + 2)+2 + ] +2 ]


=0

Por tanto, por el argumento usual podemos escribir (1 + 2)1 = 0 y

( + 2)( + 2 + 2)+2 + = 0

+2 = , = 0, 1, 2, (4)
( + 2)( + 2 + 2)

La eleccin 1 = 0 en (4) implica que 3 = 5 = 7 = = 0, por lo que para = 0, 2, 4, . .. se


encuentra, despus de establecer + 2 = 2, = 1, 2, 3, . . ., que
22
2 = 2
(5)
2 ( + )
Por lo que
0
2 =
22 1 (1 + )
2 0
4 = =
22 2 (2 + ) 24 1 2(1 + )(2 + )
4 0
6 = =
22 3 (3 + ) 26 1 2(1 + )(2 + )(3 + )

(1) 0
2 = , = 1, 2, 3 (6)
22 ! (1 + )(2 + ) ( + )

En la prctica se acostumbra elegir a 0 como

1
0 =
,
+ ) 2 (1
donde (1 + ) es la funcin gamma. Vase el apndice . Puesto que esta ltima funcin posee
la propiedad conveniente (1 + ) = () se puede reducir el producto indicado en el
denominador de (6) a un trmino. Por ejemplo,

(1 + + 1) = (1 + )(1 + )

(1 + + 2) = (2 + )(2 + ) = (2 + )(1 + )(1 + )

Por tanto, se puede escribir (6) como

(1) (1)
2 = 2+ =
2 ! (1 + )(2 + ) ( + )(1 + ) 22+ ! (1 + + )

para = 0, 1, 2, . ..

FUNCIONES DE BESSEL DE PRIMERA CLASE Si se usan los coeficientes 2 apenas


obtenidos y = , una solucin en serie de la ecuacin (1) es =
=0 2
2+
. Esta solucin
usualmente se denota por ():

(1) 2+
() = ( ) (7)
! (1 + + ) 2
=0

Si 0, la serie converge al menos en el intervalo [0, ). Tambin, para el segundo exponente


2 = se obtiene exactamente de la misma manera,

(1) 2
() = ( ) (8)
! (1 + ) 2
=0

Las funciones () y () se llaman funciones de Bessel de primera clase de orden y ,


respectivamente. Dependiendo del valor de , (8) puede contener potencias negativas de y, por
tanto, converger en (0, ).*
Ahora se debe tener cuidado al escribir la solucin general de (1). Cuando = 0, es evidente que
(7) y (8) son las mismas. Si > 0 y 1 2 = () = 2 no es un entero positivo, se tiene del
caso de la seccin 6.2 que () y () son soluciones linealmente independientes de (1) en
(0, ) y, por tanto, la solucin general del intervalo es = 1 () + 2 (). Pero se sabe que
del caso de la seccin 6.2 que cuando 1 2 = 2 es un entero positivo, podra existir una
segunda solucin en serie de (1). En este segundo caso se distinguen dos posibilidades. Cuando
= = entero positivo, () definida por (8) y () no son soluciones linealmente
independientes.
Se puede demostrar que () es un mltiplo constante de (vase la propiedad i) en la
pgina 245). Adems, 1 2 = 2 puede ser un entero positivo cuando es la mitad de un entero
positivo impar. En este ltimo caso se puede demostrar que () y () son linealmente
independientes. En otras palabras, la solucin general de (1) en (0, ) es

= 1 () + 2 (), . (9)

En la figura 6.3.1 se presentan las grficas de = 0 () y = 1 ().

*Cuando reemplazamos x por ||, las series dadas en (7) y en (8) convergen para 0 < || < .

FIGURA 6.3.1 Funciones de Bessel de primera clase para = 0, 1, 2, 3, 4.



EJEMPLO 1 Ecuaciones de Bessel de orden

1 1
Al identificar 2 = 4 y = 2, se puede ver de la ecuacin (9) que la solucin general de la
1
ecuacin 2 + + ( 2 4) = 0 en (0, ) es = 1 1/2 () + 2 1/2 ().

FUNCIONES DE BESSEL DE SEGUNDA CLASE Si entero, la funcin definida por la


combinacin lineal

cos () ()
() = (10)

y la funcin () son soluciones linealmente independientes de (1), por lo que otra forma de la
solucin general de (1) es = 1 () + 2 () siempre que entero. Conforme con
entero (10) tiene la forma indeterminada 0/0. Sin embargo, se puede demostrar por la regla de
LHpital que el lim () existe. Adems, la funcin

() = lim ()

y () son soluciones linealmente independientes de 2 + + ( 2 2 ) = 0. Por tanto,


para cualquier valor de la solucin general de (1) en (0, ) se puede escribir como

= 1 () + 2 (). (11)

() se llama funcin de Bessel de segunda clase de orden . La figura 6.3.2 muestra las
grficas de 0 () y 1 ().

FIGURA 6.3.2 Funciones de Bessel de segunda clase para = 0, 1, 2, 3, 4.

EJEMPLO 2 Ecuacin de Bessel de orden 3

Identificando 2 = 9 y = 3 vemos de la ecuacin (11) que la solucin general de la ecuacin


2 + + ( 2 9) = 0 en (0, ) es = 1 3 () + 2 3 ().

ED RESOLUBLES EN TRMINOS DE FUNCIONES DE BESSEL Algunas veces es posible


convertir una ecuacin diferencial en la ecuacin (1) por medio de un cambio de variable.
Podemos entonces expresar la solucin de la ecuacin original en trminos de funciones de
Bessel. Por ejemplo, si se establece que = , > 0, en

2 + + ( 2 2 2 ) = 0, (12)

entonces por la regla de la cadena,

2 2
2
= = = ( ) =
2 2

Por lo que (12) se convierte en

2 2 2 2
( ) 2
+ ( ) + ( 2 2 ) = 0 2
2
+ + ( 2 2 ) = 0.

La ltima ecuacin es la ecuacin de Bessel de orden cuya solucin es = 1 () + 2 ().


Volviendo a sustituir = en la ltima expresin, se encuentra que la solucin general de (12)
es
= 1 () + 2 (). (13)
La ecuacin (12), que se llama ecuacin paramtrica de Bessel de orden y su solucin
general (13) son muy importantes en el estudio de ciertos problemas con valores en la frontera
relacionados con ecuaciones diferenciales parciales que se expresan en coordenadas cilndricas.

Otra ecuacin semejante a (1) es la ecuacin modificada de Bessel de orden ,

2 + ( 2 + 2 ) = 0. (14)

Esta ED se puede resolver en la forma que se acaba de ilustrar para (12). Esta vez si hacemos
que = , donde 2 = 1, entonces (14) se convierte en

2
2 2
+ + ( 2 2 ) = 0.

Debido a que las soluciones de la ltima ED son () y (), las soluciones de valores complejos
de la ecuacin (14) son () y (). Una solucin de valores reales, que se llama funcin
modificada de Bessel de primera clase de orden , est definida en trminos de ():

() = () (15)

Vase el problema 21 en los ejercicios 6.3. Anlogamente a (10), la funcin modificada de


Bessel de segunda clase de orden entero, se define como

() ()
() = (16)
2

y para = entero,

() = lim ().

Debido a que y son linealmente independientes en el intervalo (0, ) para cualquier valor
de , la solucin general de (14) es

= 1 () + 2 (). (13)

Pero otra ecuacin, importante debido a que muchas ED se ajustan a su forma mediante
elecciones apropiadas de los parmetros, es

1 2 2 2 2
+ + ( 2 2 22 + ) = 0, 0 (18)
2

Aunque no se dan los detalles, la solucin general de (18),

= [1 ( ) + 2 ( )], (19)

se puede encontrar haciendo un cambio de las variables independiente y dependiente: = ,




() = () (). Si no es un entero, entonces en (19) se puede reemplazar por .

EJEMPLO 3 Usando (18)

Encuentre la solucin general + 3 + 9 = 0 en (0, ).

SOLUCIN Escribiendo la ED como


3 9
+ + = 0,

podemos hacer las siguientes identificaciones con (18):

1 2 = 3, 2 2 = 9, 2 2 = 1 2 2 2 = 0.
1
Las ecuaciones primera y tercera implican que = 1 y = 2. Con estos valores las ecuaciones
segunda y cuarta se satisfacen haciendo = 6 y = 2.

De (19) se encuentra que la solucin general de la ED en el intervalo (0, ) es

= 1 [1 2 (61/2 ) + 2 2 (61/2 )].

EJEMPLO 4 Volver a revisar el problema del resorte envejecido

Recuerde que en la seccin 5.1 vimos que + = 0, > 0 es un modelo matemtico


para el movimiento amortiguado libre de una masa en un resorte envejecido. Ahora se est en
posicin de encontrar la solucin general de la ecuacin. Se deja como problema demostrar que
2
el cambio de variables = /2 transforma la ecuacin diferencial del resorte envejecido
en
2
2
2
+ + 2 = 0.

La ltima ecuacin se reconoce como (1) con = 0 y donde los smbolos y juegan los papeles
de y , respectivamente. La solucin general de la nueva ecuacin es = 1 0 () + 2 0 (). Si
se sustituye nuevamente , entonces se ve que la solucin general de + = 0 es

2 2
() = 1 0 ( 2 ) + 2 0 ( 2 ).

Vanse los problemas 33 y 39 de los ejercicios 6.3.

El otro modelo analizado en la seccin 5.1 de un resorte cuyas caractersticas cambian con el

tiempo fue + = 0. Si se divide entre , vemos que la ecuacin + = 0 es la
ecuacin de Airy + 2 = 0. Vase el ejemplo 3 en la seccin 6.1.
La solucin general de la ecuacin diferencial de Airy tambin se puede escribir en trminos de
funciones de Bessel. Vanse los problemas 34, 35 y 40 de los ejercicios 6.3.

PROPIEDADES Se listan a continuacin algunas de las propiedades ms tiles de las funciones


de Bessel de orden , = 0, 1, 2, . . .:

) () = (1) (), ) () = (1) (),

0, >0
) (0) = { ) lim+ () = .
1, =0 0

Observe que la propiedad ) indica que ()es una funcin par si es un entero par y una
funcin impar si es un entero impar. Las grficas de 0 () y 1 () en la figura 6.3.2 muestran la
propiedad iv), en particular, () no est acotada en el origen. Este ltimo hecho no es obvio a
partir de la ecuacin (10). Las soluciones de la ecuacin de Bessel de orden 0 se obtienen por
medio de las soluciones 1 () en (21) y 2 () en (22) de la seccin 6.2. Se puede demostrar que
la ecuacin (21) de la seccin 6.2 es 1 () = 0 (), mientras que la ecuacin (22) de esa seccin
es

(1) 1 1 2
2 () = 0 () ln (1 + + + )( ) .
(!)2 2 2
=1

Entonces, la funcin de Bessel de segunda clase de orden 0, 0 () se defi ne como la


2 2
combinacin lineal 0 () = ( ln 2)1 () + 2 () para > 0. Es decir,


2 2 (1) 1 1 2
0 () = 0 ()[ + ln 2] (1 + + + )( ) ,
(!)2 2 2
=1

donde = 0.57721566 . .. es la constante de Euler. Debido a la presencia del trmino


logartmico, es evidente que 0 () es discontinua en = 0.

VALORES NUMRICOS En la tabla 6.1 se presentan las primeras cinco races no negativas de
0 (), 1 (), 0 () y 1 (). En la tabla 6.2 se presentan algunos otros valores de la funcin de
estas cuatro funciones.
RELACIN DE RECURRENCIA DIFERENCIAL Las frmulas de recurrencia que relacionan las
funciones de Bessel de diferentes rdenes son importantes en la teora y en las aplicaciones. En
el ejemplo siguiente se deduce una relacin de recurrencia diferencial.

EJEMPLO 5 Deduccin usando la definicin de serie

Deduzca la frmula () = () +1 ().

SOLUCIN De la ecuacin (7) se tiene que



(1) (2 + ) 2+
() = ( )
! (1 + + ) 2
=0


(1) 2+ (1) 2+
= ( ) +2 ( )
! (1 + + ) 2 ! (1 + + ) 2
=0 =0


(1) 2+1
= () + ( )
( 1)! (1 + + ) 2
=1


2++1
= () ( ) = () +1 (
! (1 + + ) 2
=0

El resultado del ejemplo 5 se puede escribir en una forma alternativa. Dividiendo ()


() = +1 () entre x, se obtiene

() () = +1 ().

Esta ltima expresin se reconoce como una ecuacin diferencial lineal de primer orden en ().
Multiplicando ambos lados de la igualdad por el factor integrante , se obtiene


[ ()] = +1 (). (20)

Se puede demostrar de manera similar que


[ ()] = 1 (). (21)

Vase el problema 27 en los ejercicios 6.3. Las relaciones de recurrencia diferenciales (20) y (21)
tambin son vlidas para la funcin de Bessel de segunda clase (). Observe que cuando =
0se deduce de (20) que

0 () = 1 () 0 () = 1 () (22)

En el problema 39 de los ejercicios 6.3 se presenta una aplicacin de estos resultados.

FUNCIONES DE BESSEL ESFRICAS Cuando el orden es la mitad de un entero impar, es


1 3 5
decir, 2 , 2 , 2 , , las funciones de Bessel de primera clase () se pueden expresar en
trminos de las funciones elementales , y potencias de . Este tipo de funciones de
Bessel se llaman funciones esfricas de Bessel.
1
Consideraremos el caso cuando = 2. De (7),


(1) 2+1/2
1/2 () = ( )
1 2
=0 ! (1 + + )
2
1 1
En vista de la propiedad (1 + ) = () y del hecho de que (2) = los valores de (1 + 2 +
) para = 0, = 1, = 2 y = 3 son, respectivamente,

3 1 1 1 1
( ) = (1 + ) = ( ) =
2 2 2 2 2

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

7 5 5 5 53 54321 5!
( ) = (1 + ) = ( ) = 3 = 3 = 5
2 2 2 2 2 2 42 2 2!

9 7 7 7 75 7 6 5! 7!
( ) = (1 + ) = ( ) = 6 = 6 = 7
2 2 2 2 2 2! 2 6 2! 2 3!

En general,

1 (2 + 1)!
(1 + + ) = 2+1 .
2 2 !
Por lo que


(1) 2+1/2 2 (1) 2+1
1/2 () = ( ) =
(2 + 1)! 2 (2 + 1)!
=0 ! =0
22+1 !

Puesto que la serie infinita en la ltima lnea es la serie de Maclaurin para , se ha


demostrado que

2
1/2 () = . (23)

Se deja como ejercicio demostrar que

2
1/2 () = . (24)

Vanse los problemas 31 y 32 de los ejercicios 6.3.

6.3.2 ECUACIN DE LEGENDRE

SOLUCIN Puesto que = 0 es un punto ordinario de la ecuacin de Legendre (2), sustituyendo


la serie =
=0 , corriendo los ndices de la suma y combinando la serie se obtiene
(1 2 ) 2 + ( + 1)
= [( + 1)0 + 22 ] + [( 1)( + 2)1 + 63 ]

+ [( + 2)( + 1)+2 + ( )( + + 1) ] = 0
=2

lo que implica que


( + 1)0 + 22 = 0

( 1)( + 1)1 + 63 = 0

( + 2)( + 1)+2 + ( )( + + 1) = 0
O
( + 1)
2 = 0
2!

( 1)( + 1)
3 = 1
3!

( )( + + 1)
+2 = , = 2, 3, 4, (25)
( + 2)( + 1)

Si se deja que j tome los valores 2, 3, 4, . .. , la relacin de recurrencia (25) produce

( 2)( + 3) ( 2)( + 1)( + 3)


4 = 2 = 0
43 4!

( 3)( + 4) ( 3)( 1)( + 2)( + 4)


5 = 3 = 1
54 5!

( 4)( + 5) ( 4)( 2)( + 1)( + 3)( + 5)


6 = 4 = 0
65 6!

( 5)( + 6) ( 5)( 3)( 1)( + 2)( + 4)( + 6)


7 = 5 = 1
76 7!

etctera. Entonces para al menos || < 1, se obtienen dos soluciones en serie de potencias
linealmente independientes:

( + 1) 2 ( 2)( + 1)( + 3) 4 ( 4)( 2)( + 1)( + 3)( + 5) 6


1 () = 0 [1 +
2! 4! 6!

+]

( 1)( + 2) 3 ( 3)( 1)( + 2)( + 4) 5


2 () = 1 [ +
3! 5!
( 5)( 3)( 1)( + 2)( + 4)( + 6) 7
+]
7!
Observe que si es un entero par, la primera serie termina, mientras que 2 () es una serie
infinita. Por ejemplo, si = 4, entonces

45 2 2457 4 35
1 () = 0 [1 + ] = 0 [1 10 2 + 4 ].
2! 4! 3

De manera similar, cuando es un entero impar, la serie para 2 () termina con ; es decir,
cuando es un entero no negativo, obtenemos una solucin polinomial de grado de la ecuacin
de Legendre.

Debido a que se sabe que un mltiplo constante de una solucin de la ecuacin de Legendre
tambin es una solucin, se acostumbra elegir valores especficos para 0 y 1, dependiendo de si
es un entero positivo par o impar, respectivamente. Para = 0 elegimos 0 = 1, y para =
2, 4, 6, . ..

1 3 ( 1)
0 = (1)/2 ,
2 4

mientras que para = 1 se elige 1 = 1 y para = 3, 5, 7, . ..

1 3
1 = (1)(1)/2 ,
2 4 ( 1)

Por ejemplo, cuando = 4, se tiene

13 35 1
1 () = (1)4/2 [1 10 2 + 4 ] = (35 4 30 2 + 3).
24 3 8

POLINOMIOS DE LEGENDRE Estas soluciones polinomiales especficas de n-simo grado se


llaman polinomios de Legendre y se denotan mediante (). De las series para 1 () y 2 () y
de las opciones anteriores de 0 y 1 se encuentra que los primeros polinomios de Legendre son

0 () = 1, 1 () = ,

1 1
2 () = (3 2 1), 3 () = (5 3 3), (27)
2 2
1 1
4 () = (35 4 30 2 + 3), 5 () = (63 5 70 3 + 15),
8 8

Recuerde que 0 (), 1 (), 2 (), 3 (), . .. son, a su vez, soluciones particulares de las
ecuaciones diferenciales

= 0: (1 2 ) 2 = 0,

= 1: (1 2 ) 2 + 2 = 0,
(28)
= 2: (1 2 ) 2 + 6 = 0,

= 3: (1 2 ) 2 + 12 = 0,

En la figura 6.3.3 se presentan las grficas en el intervalo [1,1], de los seis polinomios de
Legendre en (27).
FIGURA 6.3.3 Polinomios de Legendre para = 0, 1, 2, 3, 4, 5.

PROPIEDADES Se recomienda que compruebe las siguientes propiedades usando los


polinomios de Legendre en (27).

) () = (1) ()

) (1) = 1 ) (1) = (1)

) (0) = 0, ) (0) = 0,

La propiedad ) indica, como es evidente en la figura 6.3.3, que () es una funcin par o impar
concordantemente con la condicin de si es par o impar.

RELACIN DE RECURRENCIA Las relaciones de recurrencia que vinculan polinomios de


Legendre de diferentes grados tambin son importantes en algunos aspectos de sus aplicaciones.
Se establece, sin comprobacin, la relacin de recurrencia de tres trminos

( + 1)+1 () (2 + 1) () + 1 () = 0, (29)

que es vlida para = 1, 2, 3, . . .. En (27) se listan los primeros seis polinomios de Legendre. Si
decimos que se desea encontrar 6 (), se puede usar la ecuacin (29) con = 5. Esta relacin
expresa 6 () en trminos de los conocidos 4 () y 5 (). Vase el problema 45 de los ejercicios
6.3.

Otra frmula, que aunque no es una relacin de recurrencia, puede generar los polinomios de
Legendre por derivacin, es la frmula de Rodrigues que, para estos polinomios es

1
() = ( 2 1) , = 0, 1, 2, (30)
2 !

Vase el problema 48 de los ejercicios 6.3.

COMENTARIOS

i) Aunque se ha supuesto que el parmetro n en la ecuacin diferencial de Legendre (1 2 )


2 + ( + 1) = 0, representa un entero no negativo, en una forma ms general puede
representar cualquier nmero real. Cualquier solucin de la ecuacin de Legendre se llama
funcin de Legendre. Si no es un entero no negativo, entonces ambas funciones de Legendre
1 () y 2 () dadas en (26) son series infinitas convergentes en el intervalo abierto (1, 1) y
divergentes (sin lmite) en = 1. Si es un entero no negativo, entonces, como se ha visto, una
de las funciones de Legendre en (26) es un polinomio y la otra es una serie infinita convergente
para 1 < < 1. Se debe tener presente que la ecuacin de Legendre tiene soluciones que
estn acotadas en el intervalo cerrado [1, 1] slo en el caso cuando = 0, 1, 2, . .. Ms
concretamente, las nicas funciones de Legendre que estn acotadas en el intervalo cerrado
[1, 1] son los polinomios de Legendre () o mltiplos constantes de estos polinomios. Vase
el problema 47 de los ejercicios 6.3 y el problema 24 en el Repaso del captulo 6.

ii) En los Comentarios al final de la seccin 2.3 se mencion la rama de la matemtica llamada
funciones especiales. Quiz una mejor denominacin para esta rea de las matemticas
aplicadas podra ser funciones nombradas, puesto que muchas de las funciones estudiadas
llevan nombres propios: funciones de Bessel, funciones de Legendre, funciones de Airy,
polinomios de Chebyshev, funcin hipergeomtrica de Gauss, polinomios de Hermite, polinomios
de Jacobi, polinomios de Laguerre, funciones de Mathieu, funciones de Weber, etctera.
Histricamente, las funciones especiales fueron subproducto de la necesidad; alguien necesitaba
una solucin de una ecuacin diferencial muy especializada que surgi de un intento por resolver
un problema fsico.

EJERCICIOS 6.3

6.3.1 ECUACIN DE BESSEL

En los problemas 1 a 6 use la ecuacin (1) para encontrar la solucin general de la ecuacin
diferencial en el intervalo (0, ).

1
1. 2 + + ( 2 ) = 0
9
Solucin:

2. 2 + + ( 2 1) = 0
Solucin:

3. 4 2 + 4 + (4 2 25) = 0
Solucin:

4. 16 2 + 16 + (16 2 1) = 0
Solucin:

5. + + = 0
Solucin:

4
6. [] + ( ) = 0

Solucin:

En los problemas 7 a 10, use la ecuacin (12) para encontrar la solucin general de la ecuacin
diferencial dada en (0, ).

7. 2 + + (9 2 4) = 0
Solucin:

1
8. 2 + + (36 2 ) = 0
4
Solucin:

4
9. 2 + + (25 2 ) = 0
9
Solucin:

10. 2 + + ( 2 64) = 0
Solucin:

En los problemas 11 y 12 use el cambio de variable indicado para determinar la solucin general
de la ecuacin diferencial en (0, ).

11. 2 + 2 + 2 2 = 0; = 1/2 ()
Solucin:

1
12. 2 + ( 2 2 2 + ) = 0; = ()
4
Solucin:
En los problemas 13 a 20 use la ecuacin (18) para encontrar la solucin general de la ecuacin
diferencial en (0, ).

13. + 2 + 4 = 0
Solucin:

14. + 3 + = 0
Solucin:

15. + = 0
Solucin:

16. 5 + = 0
Solucin:
17. 2 + ( 2 2) = 0
Solucin:

18. 4 2 + (16 2 + 1) = 0
Solucin:

19. + 3 + 3 = 0
Solucin:

20. 9 2 + 9 + ( 6 36) = 0
Solucin:

21. Use la serie en (7) para comprobar que () = () es una funcin real.
Solucin:
22. Suponga que en la ecuacin (18) puede ser un nmero imaginario puro, es decir, = ,
> 0, 2 = 1. Use esta suposicin para expresar la solucin general de la ecuacin diferencial
en trminos de las funciones modificadas de Bessel y .

) 2 = 0

) + 7 3 = 0
Solucin:
En los problemas 23 a 26, use primero la ecuacin (18) para expresar la solucin general de la
ecuacin diferencial en trminos de funciones de Bessel. Luego use (23) y (24) para expresar la
solucin general en trminos de funciones elementales.

23. + = 0
Solucin:

24. 2 + 4 + ( 2 + 2) = 0
Solucin:
25. 16 2 + 32 + ( 4 12) = 0
Solucin:

26. 4 2 4 + (16 2 + 3) = 0
Solucin:
27. a) Proceda como en el ejemplo 5 para demostrar que

() = () + 1 ().

[Sugerencia: Escriba 2 + = 2( + ) .]

b) Utilice el resultado del inciso a) para deducir (21).


Solucin:

28. Utilice la frmula del ejemplo 5 junto con el inciso a) del problema 27 para deducir la relacin
de recurrencia.

2 () = +1 () + 1 ().
Solucin:

En los problemas 29 y 30 use la ecuacin (20) o (21) para obtener el resultado dado.

29. 0 () = 1 ()
0
Solucin:

30. 0 () = 1 () = 1 ()
Solucin:

31. Proceda como en la pgina 247 para deducir la forma elemental de 1/2 () dada en (24).
Solucin:

32. a) Use la relacin de recurrencia del problema 28 junto con (23) y (24) para expresar 3/2 (),
3/2 () y 5/2 ()en trminos de , y potencias de .
b) Use un programa de graficacin para trazar 1/2 (), 1/2 (), 3/2 (), 3/2 () y 5/2 ()
Solucin:
2
33. Use el cambio de variables = /2 para demostrar que la ecuacin diferencial del
resorte envejecido + = 0, > 0, se convierte en

2
2 2
+ + 2 = 0.

Solucin:
2
34. Demuestre que = 1/2 (3 3/2 ) es una solucin de la ecuacin diferencial de Airy +
1
2 = 0, > 0, siempre que sea una solucin de la ecuacin de Bessel de orden 3, es decir,
1
2 + + ( 2 9) = 0, > 0.
2
[Sugerencia: Despus de derivar, sustituir y simplificar, entonces se hace = 3 3/2 ]
Solucin:

35. a) Use el resultado del problema 34 para expresar la solucin general de la ecuacin
diferencial de Airy para > 0 en trminos de funciones de Bessel.
b) Compruebe los resultados del inciso a) usando la ecuacin (18).
Solucin:

36. Use la tabla 6.1 para encontrar los primeros tres valores propios positivos y las funciones
propias correspondientes del problema de valores en la frontera.

+ + = 0,

(), () acotada conforme 0+ , (2) = 0..


[Sugerencia: Identificando = 2 , la ED es la ecuacin de Bessel paramtrica de orden cero.]
Solucin:

37. a) Use la ecuacin (18) para demostrar que la solucin general de la ecuacin diferencial
+ = 0 en el intervalo (0, ) es

= 1 1 (2) + 2 1 (2).
b) Compruebe por sustitucin directa que = 1 (2) es una solucin particular de la ED en
el caso = 1.
Solucin:

Tarea para el laboratorio de computacin

38. Use un SAC para trazar las grficas de las funciones modificadas de Bessel 0 (), 1 (), 2 ()
y 0 (), 1 (), 2 (). Compare estas grficas con las que se muestran en las figuras 6.3.1 y
6.3.2. Qu diferencia principal es evidente entre las funciones de Bessel y las funciones
modificadas de Bessel?
Solucin:
39. a) Use la solucin general dada en el ejemplo 4 para resolver el PVI

1
4 + 0.1 = 0, (0) = 1, (0) =
2

Tambin use 0 () = 1 () y 0 () = 1 () junto con la tabla 6.1 o un SAC para evaluar los
coeficientes.
b) Use un SAC para trazar la grfica de la solucin obtenida en el inciso a) en el intervalo 0
.
Solucin:
40. a) Use la solucin general obtenida en el problema 35 para resolver el PVI

1
4 + = 0, (0.1) = 1, (0.1) = ,
2
Use un SAC para evaluar los coeficientes.
b) Use un SAC para trazar la grfica de la solucin obtenida en el inciso a) en el intervalo 0
200.
Solucin:

41. Columna doblada bajo su propio peso Una columna delgada uniforme de longitud ,
colocada verticalmente con un extremo insertado en el suelo, se curva desde la vertical bajo la
influencia de su propio peso cuando su longitud o altura excede un cierto valor crtico. Se puede
demostrar que la deflexin angular () de la columna desde la vertical en un punto () es una
solucin del problema con valores en la frontera:
2
2 + ( ) = 0, (0) = 0, () = 0,

donde es el mdulo de Young, es el momento de inercia de seccin transversal, es la


densidad lineal constante y es la distancia a lo largo de la columna medida desde su base.
Vase la figura 6.3.4. La columna se dobla slo para aquellos valores de para los que el
problema con valores en la frontera tiene una solucin no trivial.

a) Establezca de nuevo el problema con valores en la frontera haciendo el cambio de variables


= . Luego utilice los resultados del problema anterior en este conjunto de ejercicios para
expresar la solucin general de la ecuacin diferencial en trminos de funciones de Bessel.

b) Use la solucin general encontrada en el inciso a) para encontrar una solucin del PVF y una
ecuacin que defina la longitud crtica , es decir, el valor ms pequeo de para la que se
comience a doblar la columna.

c) Con ayuda de un SAC, encuentre la longitud de una varilla de acero slida de radio =
1
0.05 , = 0.28 /, = 2.6 107 /2 , = 2 e = 4 4 .

FIGURA 6.3.4 Viga del problema 41.


Solucin:
42. Pandeo de una columna vertical delgada En el ejemplo 3 de la seccin 5.2 vimos que
cuando se aplica una fuerza compresiva vertical constante o carga P a una columna delgada de
seccin transversal uniforme y abisagrada en ambos extremos, la deflexin () es una solucin
del PVF:

2
+ = 0, (0) = 0, () = 0.
2

a) Si el factor de rigidez a la flexin es proporcional a , entonces () = , donde es una


constante de proporcionalidad. Si () = = es el factor de rigidez mxima entonces =
/ y, por tanto, () = /. Use la informacin del problema 37 para encontrar una solucin
de
2
+ = 0, (0) = 0, () = 0.
2

si se sabe que 1 (2) no es cero en = 0.


b) Use la tabla 6.1 para encontrar la carga de Euler 1 para la columna.
c) Use un SAC para graficar el primer modo de pandeo 1 () correspondiente a la carga de Euler
1 . Por simplicidad suponga que 1 = 1 y = 1.
Solucin:
43. Pndulo de longitud variable Para el pndulo simple descrito en la pgina 209 de la seccin
5.3, suponga que la varilla que sostiene la masa en un extremo se sustituye por un alambre
flexible o cuerda y que el alambre pasa por una polea en el punto de apoyo O en la figura 5.3.3.
De esta manera, mientras est en movimiento en el plano vertical la masa puede subir o bajar.
En otras palabras, la longitud () del pndulo vara con el tiempo. Bajo las mismas suposiciones
que conducen a la ecuacin (6) en la seccin 5.3, se puede demostrar* que la ecuacin
diferencial para el ngulo de desplazamiento ahora es

+ 2 + = 0.

a) Si aumenta a una razn constante y si (0) = 0, demuestre que una linealizacin de la ED


anterior es

(0 + ) + 2 + = 0. (31)

b) Realice el cambio de variables = (0 + )/ y demuestre que la ecuacin (31) se convierte


en

2 2
+ + = 0.
2

c) Use el inciso b) y la ecuacin (18) para expresar la solucin general de la ecuacin (31) en
trminos de funciones de Bessel.

d) Use la solucin general del inciso c) para resolver el problema con valores iniciales que
consiste en la ecuacin (31) y las condiciones iniciales (0) = 0 , (0) = 0. [Sugerencias: para
simplificar los clculos, use un cambio de variable adicional

2
= (0 + ) = 2 1/2 .

* Vase Mathematical Methods in Physical Sciences, Mary Boas, John Wiley & Sons, Inc., 1966.
Tambin vea el artculo de Borelli, Coleman and Hobson en Mathematicas Magazine, vol. 58,
nm. 2, marzo de 1985.
Solucin:

Adems, recuerde que la ecuacin (20) vale para 1 () y 1 (). Por ltimo, la identidad

2
1 ()2 () 2 ()1 () =

ser muy til].

e) Use un SAC para trazar la grfica de la solucin () del PVI del inciso d) cuando 0 = 1 ,
1
0 = 1/10 y = 60 /. Experimente con la grfica usando diferentes intervalos de
tiempo, como [0, 10], [0, 30], etctera.
f) Qu indican las grficas acerca del ngulo de desplazamiento () cuando la longitud del
alambre se incrementa con el tiempo?
Solucin:
6.3.2 ECUACIN DE LEGENDRE

44. a) Use las soluciones explcitas 1 () y 2 () de la ecuacin de Legendre dada en (26) y la


eleccin apropiada de 0 y 1 para encontrar los polinomios de Legendre 6 () y 7 ().
b) Escriba las ecuaciones diferenciales para las cuales 6 () y 7 () son soluciones particulares.
Solucin:
45. Use la relacin de recurrencia (29) y 0 () = 1, 1 () = , para generar los siguientes seis
polinomios de Legendre.
Solucin:

46. Demuestre que la ecuacin diferencial


2
2 + cos + ( + 1)( ) = 0

puede convertirse en la ecuacin de Legendre por medio de la sustitucin = .


Solucin:

47. Encuentre los primeros tres valores positivos de para los cuales el problema

(1 2 ) 2 + = 0,

(0) = 0, (), () est acotada en [1,1]


tiene soluciones no triviales.
Solucin:

Tarea para el laboratorio de computacin

48. En la realizacin de este problema, ignore la lista de polinomios de Legendre que se presenta
en la pgina 249 y las grficas de la figura 6.3.3. Use la frmula de Rodrigues (30) para generar
los polinomios de Legendre 1 (), 2 (), . . . , 7 (). Use un SAC para realizar las derivadas y las
simplificaciones.
Solucin:
49. Use un SAC para trazar las grficas de 1 (), 2 (), . . . , 7 () en el intervalo [1, 1].
Solucin:

50. Use un programa de clculo de races para determinar las races de 1 (), 2 (), . . . , 7 (). Si
los polinomios de Legendre son funciones incorporadas en su SAC, encuentre los polinomios de
Legendre de grado superior. Haga una suposicin acerca de la localizacin de las races de algn
polinomio de Legendre () y luego investigue si es verdad.
Solucin: