Web: http://cevale2.uis.edu.co/ ~cevale2/wiki/index.php/Luis_A.

_Nunez

1
Ecuaciones Diferenciales y Series...

2
L. A. Nu~nez
Grupo de Investigacion en Relatividad y Gravitacion
Escuela de F sica, Facultad de Ciencias,
Universidad Industrial de Santander, Santander, Colombia

Version 1.0 Julio 2012

1
ADVERTENCIA: El presente documento constituye una gu a inacabada y en evolucion para los estudiantes de
Metodos Matematicos de la F sica. Es, en el mejor de los casos, un FORMULARIO y de ninguna manera sustituye a
los libros de texto del curso. La bibliograf a de la cual han surgido estas notas se presenta al nal y debe ser
consultada por los estudiantes. Es importante resaltar que por ser un documento en evolucion tambien es posible
que existan versiones mas completas y actualizadas en este mismo sitio WEB

2
e-mail: lnunez@uis.edu.ve

Formulario de Metodos Matematicos

Indice
1. Otra vez Algebra de Series 2
2. Un Ejemplo conocido. 2

3. Otro Ejemplo menos conocido pero importante 4

4. Metodo de Diferenciaciones Sucesiva 6

5. Metodos de los Coe cientes Indeterminados 7

6. Los Puntos y las Estrategias 9

7. Ecuaciones e intervalos en puntos regulares 9

8. El Metodo de Frobenius 11

8.1. m1 6= m2 ^ m1 m2 6= N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
8.2. m1 = m2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
8.3. m 6= m ^ m m = N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1 2 1 2
9. Revisitando a Bessel 26
9.1. Otras Formas de la Ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.2. Relaciones de Recurrencia: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.3. Funciones de Bessel y Funciones Elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
9.4. Re exion: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
9.5. Funcion Generatriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
9.6. Representacion Integral para las Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . 35
9.7. Ortogonalidad de las Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9.7.1. Ortogonalidad: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
10.Algunas funciones Especiales 37

10.1. Funcion Gamma e Integrales de Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
10.2. La Funciones Digamma y Poligamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
10.3. La Aproximacion de Stirling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
10.4. La funcion Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
10.4.1. La Funcion Integral de Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

Luis A. Nu~nez Universidad Industrial de Santander 1

Formulario de Metodos Matematicos 1. por lo cual j = k + 1: Las series se igualan 1 b n (x x 0) n = 1 a n n (x x 0) n 1 X X n=0 n=1 1 1 1 X X X n k n bn (x x0) = ak+1 (k + 1) (x x0) = an+1 (n + 1) (x x0) n=0 k=0 n=0 por lo cual bn = an+1 (n + 1) si la igualdad hubiera sido 1 n 1 n 1 1 n an X X X n=0 nan (x x0) = an n (x x0) = an+1 (n + 1) (x x0) =) an+1 = (n + 1) n=1 n=0 2. Otra vez Algebra de Series Las series se suman 1 1 1 X X X n n n an (x x0) + bn (x x0) = (an + bn) (x x0) n=0 n=0 n=0 Las series se multiplican 1 1 1 " a (x x )n #" n #= c (x x )n n=0 n 0 n=0 bn (x x0) n=0 n 0 X X X con cn = a0bn + a1bn 1 + a2bn 2 + + ajbn j + + an 2 b2 + an 1 b1 + a n b0 Las series se derivan P d[ a (x x ) ] 1 1n n=0 n 0 X n 1 dx = an n (x x0) n=1 Notese como cambia el comienzo de la serie. Nu~nez Universidad Industrial de Santander 2 . Los ndices en las series son mudos 1 a n n (x x 0) n 1 = 1 a j j (x x0 )j 1 = 1 a k +1 (k + 1) (x x 0) k X X X n=1 j=1 k=0 en la ultima sumatoria hemos hecho k = j 1. Un Ejemplo conocido. Consideremos la conocidad ecuacion diferencial 00 y +y=0 Luis A.

para los impares se obtiene a = a1 . 1. k+2 k ) k+2 (k + 2) (k + 1) por lo que a = a0 . 2 2 1 4 4 3 4 3 2 4 3 2 1 4! a = a4 = a0 = a0 6 6 5 6 5 4 3 2 1 6! en general k a ( 1) 2k = a (2k)! 0 Similarmente. 1 1 3 3 2 5 5 4 5 4 3 2 54 3 2 1 5! a7 = a5 = a1 =a1 7 6 76 5 4 3 2 1 7! de donde ( 1) k a = a1 2k+1 (2k + 1)! . 2. Formulario de Metodos Matematicos se propone encontrar una solucion entorno a x = 0 por lo tanto 8 P1 1n=1X < y0 = nanxn n : P y= anx =) y00 = n=2 n (n 1) anx n=0 1 n 2 00 1 n 2 1 n y +y=0 = 1) a x x =0 n (n + a ) n=2 n n n=0 X X 00 1 (k + 2) (k + 1) a k 1 a xn = 0 y +y=0 = k+2 x + ) k=0 n=0 n X X y 00 +y=0 = 1 [(k + 2) (k + 1) a k+2 + a ] xk = 0 ) k=0 k X entonces (k + 2) (k + 1) a +a =0 = a = ak con k = 0. a = a2 =1 ( a0) = a0 = a0 . a =a3 =1 ( a1) = a =a .

Luis A. Nu~nez Universidad Industrial de Santander 3 .

proponemos la siguiente expansion en series de potencias como solucion: 8 P1 1 < y0(x) = j=1 jajxj 1 j Xj y00(x) = j(j 1)ajx ) : j=2 y(x) = ajx P 1 j 2 =0 entonces la ecuacion de Hermite queda como 3 ajxj = 0 21 3 2 3 2 j(j 1)ajxj 2 2 1 jajxj + 1 4X 5 4 X 5 4 Xj 5 j=2 j=1 =0 reacomodando ndices queda como 3 21 3 jajxj + ajxj "1 # 21 =0 (k + 2) (k + 1)ak+2xk 2 X 4X 5 4X 5 k=0 j=1 j=0 o equivalentemente 1 Xj j (2a2 + a0) + [(j + 2) (j + 1)aj+2 2jaj + aj] x = 0 =1 a = 2a2 y a = ( 2j) a n 1 0 j+2 (j + 2) (j + 1) j 1 Charles Hermite. las funciones abelianas y la teor a de las formas cuadraticas. Luis A. Otro Ejemplo menos conocido pero importante 1 Considere ecuacion de Hermite la cual aparece en la solucion del oscilador armonico 00 0 cuantico y 2xy + y = 0 Para resolver esta ecuacion alrededor del punto x0 = 0. Formulario de Metodos Matematicos De este modo. ofreci importantes aportaciones al algebra. Nu~nez Universidad Industrial de Santander 4 . Matematico frances. especializado en el estudio de teor a de funciones. (1822-1901). Profesor en la Universidad de Par s. la solucion deseada queda como y= 1 a xn = a + a x + ( a 0) x2 + ( a1) x3 + a0 x4 + a1 x4 + ( a 0) x6 + ( a1) x7 + X n 0 1 2! 3! 4! 5! 6! 7! n=0 1 2 4 6 3 + a1 2 3 5 7 3 x x x x x x 2 y= a xn = a 6 + 7 6 + 7 n 0 1 2! 4! 6! + x 3! 5! 7! + X 6 7 6 7 n =0 k k 6 1 ( 1) x2k 7 6 1 ( 1) x2k+1 7 4 5 4 5 | P {z } | P {z } 6 k=0 (2k)! 7 6 k=0 (2k+1)! 7 1 anxn = a0 1 ( 1)k y= x2k + a1 1 ( 1)k x2k+1 = a0 cos x + a1 sen x X X X n=0 k=0 (2k)! k=0 (2k + 1)! 3.

2. 1. = 0. antes de proceder a casos mas generales 2 resolvamos la ecuacion de Airy . Esto es se resuelve. en forma de serie de potencias. compruebe. :::: (1) ex dx o a traves de una relacion de recurrencia Hn+1(x) 2xHn(x) + 2nHn 1(x) = 0 Las ecuaciones antes mencionadas son ecuaciones homogeneas. ahora el caso de la ecuacion homogenea de Airy 00 y xy = 0 Luego. la cual se iguala con la expansion. puede ser de nido a partir de una ecuacion: H (x) = ( 1) ex2 d 2 . A pesar de su simplicidad. esta ecuacion admite solo soluciones en forma de serie. pero inhomogena planteada arriba. Formulario de Metodos Matematicos y tendra como solucion 3 2 y (x) = a0 1 2 (4 ) x4 (8 ) (4 ) x6 x 7 6 2! 4! 6! 6 4| {z y0 7 }5 (2 ) x + 3 (6 ) (2 ) x + 5 (10 ) (6 ) (2 ) x7 + 3 + a1 2 x+ 7 6 6 3! 5! y 1 7! 7 4 5 notese que para valores pares de una u otra serie se corta y genera polinomios de la forma | {z } Ecuacion de Hermite Polinomio asociado 00 0 0 y 2xy = 0 y0(x) = 1 00 0 2 y 2xy + 2y = 0 y1(x) = x 0 2 4 y00 2xy + 4y = 0 y (x) = 1 2x 0 2 6 00 0 3 35 4 y 2xy + 6y = 0 y1(x) = x 3 x x 00 0 2 8 y 2xy + 8y = 0 y0(x) = 1 10x + 3 Tambien. tambien en series de potencias. del termino inhomogeneo. por series la homogenea y luego se propone una solucion particular. se procedera del mismo modo como se propuso en el caso de que los coe cientes de la ecuacion diferencial fueran constantes. Nu~nez Universidad Industrial de Santander 5 . Mejor signi cativamente las estimaciones teoricas de la orbita de Venus y la Luna. Como ejemplo. siguiendo el procedimiento arriba expuesto que una posible ecuacion inhomogenea de Airy 00 y xy = exp (x) tiene como solucion la siguiente serie de potencias 4 + 3 4 + y (x) = y (0) 1 + 6 x3 ++ y0 (0) x + 12 x + 2 x2 + 6 x + 24 x 1 1 1 1 1 | y1 } yh | y2 | {z } y {z {z } | {z } ih 2 George Biddell Airy (1801-1892) Matematico y Astronomo Ingles con contribuciones importantes en la solucion de ecuaciones diferenciales y su utilizacion en Astronom a. Luis A. Igualmente realizo estudios matematicos de la formacion del arcoiris y la densidad de la tierra. En el caso que la ecuacion diferencial a resolver por series sea una ecuacion inhomogena.

y (0) = (0) + (0 + 1) y (0) 0 y(0) = 1 y de las derivadas de la ecuacion diferencial 000 0 00 2 0 y (x) = y (x) + (x + 1) y (x) 2x y(x) x y (x) + 1 000 0 00 2 0 y (0) = y (0) + (0 + 1) y (0) 2(0) y(0) 0 y (0) + 1 000 y (0) = 1 + 1 + 1 = 3 nalmente. con y(0) = 1. con y(0) = 1. los cuales salen de las condiciones iniciales. entonces. la ecuacion diferencial 2 tendra como solucion unica. y (x0) = c2. 4. Hemos hecho patente la dependencia de las constantes de integracon de las condiciones iniciales. la solucion x2 x3 +yh(x) = 1 + x + + 2 2 Esta solucion contiene las dos soluciones (la homogenea y la particular de la inhomogenea) sumadas Dado jxj < 1 y la ecuacion diferencial x 1 y 00 + 1 x2 y 0 2 y = exp (2x) . Metodo de Diferenciaciones Sucesiva En general. y y (0) = 1: los coe cientes de la expansion se obtienen de los valores de las derivadas en x 0 = 0. se expandir en Taylor la funcion X (i) (x x0) y se inhomogenea. y (x0) = c3. 0 y y (0) = 1: 1 x Luis A. Nu~nez Universidad Industrial de Santander 6 . y (0) = 1. de la ecuacion diferencial esto es 0 00 0 2 y(0) = 1. y = y(x) de la ecuacion homogena una serie de potencias la cual satisface las n condiciones iniciales 0 00 00 y(x0) = c1. j=0 Otra forma de hacerlo es proceder directamente y conservar el termino inhomogeneo y a partir de la ecuacion completa encontrar los coe cientes de la expansion por Taylor alrededor del punto en el cual se disponga de las condiciones iniciales. tambien en terminos de una serie y ih(x) = ajxj. La solucion en series de Taylor sera 0 00 x2 000 x3 yh(x) = y(0) + y (0)x + y (0) +y (0) + 2! 3! As para la siguiente ecuacion diferencial 00 0 2 0 y (x + 1) y + x y = x. Formulario de Metodos Matematicos Notese que los dos primeros terminos corresponden a la solucion de la ecuacion homogenea y el ultimo representa la serie que anula el termino inhomogeneo. dada la Ecuacion diferencial n Xi 0 a0(x) y(x) + a1(x) y (x) + + an 1(x) y n 1 (x) + an(x) y (x) = n (i) ai(x) y (x) = F(x) (2) =o Si los coe cientes a0(x) an(x) son funciones anal ticas en x = x 0 (se pueden expresar como una serie de Taylor de (x x0) que converge al valor de la funcion con un radio de convergencia de jx x 0j < ). esto es F(x) = F (x0) i! i=o P1 propondra una solucion particular de la inhomogenea. y (x0) = cn n i Adicionalmente.

Formulario de Metodos Matematicos compruebe que tiene como solucion general por series 2 3 4 + 0 y (x) = y (0) 1 + 2 x2 +24 x4 +80 x6 + + y (0) x + 2x +3 x +8 x 1 1 1 1 1 1 y al incorporar los valores de las condiciones iniciales se obtiene 2 1 3 1 4 1 5 1 6 4 7 79 8 y (x) = 1 + x + x + 3 x + 6 x + 30 x + 180 x 315 x 10 080 x + 5. Metodos de los Coe cientes Indeterminados En general. j 1 = k en el tercero y j + 2 = m en el cuarto. y 0 y (0) = 1: Como x0 = 0. Nu~nez Universidad Industrial de Santander 7 . la funcion F(x) y se expande tambien la serie 1 j X (x x0) y(x) = j=0 cj j! luego de bastante transpiracion se despejan los coe ciente c 0 cn veamos el ejemplo con la misma ecuacion del ejemplo anterior. con y(0) = 1. 00 0 2 y (x + 1) y + x y = x. proponemos la siguiente expansion en series de potencias como solucion: 8 1 j 1 1 j =) 0 P y(x) = cjx y (x) = jc x j=1 j < j=0 y00(x) = j=2 j(j 1)cjx X 1 j 2 : P y al sustituir 1 1 1 X X Xj j 2 j 1 2 j j(j 1)cjx (x + 1) jcjx +x cjx = x j=2 j=1 =0 expandiendo 1 1 1 1 X X X Xj j 2 j j 1 j+2 j(j 1)cjx jcjx jcjx + cjx =x j=2 j=1 j=1 =0 si hacemos j 2 = l en el primer termino. tenemos 1 1 1 1 Xl X X X l j k m (l + 2) (l + 1) cl+2x jcjx (k + 1) ck+1x + cm 2x = x =0 j=1 k=0 m=2 acomodando 1 1 X X n m ((n + 2) (n + 1) cn+2 ncn (n + 1) cn+1) x + cm 2x = x n=0 m=2 Luis A. para encontrar la solucion a la ecuacion antes mencionada X n (i) ai(x) y (x) = F(x) i=o Se expanden por series de potencias cada uno de los coe cientes a 0(x) an(x).

Utilice el mismo metodo para la ecuacion ejercicio anterior x 1 2x 0 2 2 y = e . Si la ecuacion es + (sin x) y + (exp x) y = 0 00 0 y se expanden los coe cientes + 3 4 5 +y = 0 y00 + x 6 x3 + 120 x5 y0 + 1 + x + 2 x2 + 6 x + 24 x + 120 x 1 1 1 1 1 1 se propone la solucion en terminos de series de potencias 1 j 1 1 8 y(x) = cjxj ) 0 P y (x) = j=1 jcjx < j=0 y00(x) = j=2 j(j 1)cjx X : P1 j 2 por lo cual 3 2 j3 + x 6 x3 j=0 cjx 2 2 13 j=2 j(j 1)cjxj 2 + j=1 jcjxj + 1 + x + 2 x2 + =0 1 1 1 1 1 X X X 4 5 4 5 4 5 acomodando 2 3 (2c2 + c0) + (6c3 + 2c1 + c0) x + (12c4 + 3c2 + c1 + c0) x + (20c5 + 4c3 + c2 + c1 + c0) x + =0 2c2 + c0 = 0 6c3 + 2c1 + c0 = 0 12c4 + 3c2 + c1 + c0 = 0 20c5 + 4c3 + c2 + c1 + c0 = 0 . Nu~nez Universidad Industrial de Santander 8 . Formulario de Metodos Matematicos por lo tanto c2 c1 = 0 3 2 c 3 c1 2 c 2 = 1 y la relacion de recurrencia para n 2 (n + 2) (n + 1) cn+2 ncn (n + 1) cn+1 cn 2 =0 con la cual se obtienen todos los demas coe cientes. Ejercicio.con y(0) = 1. . y y (0) = 1: y00 + 1 x y0 1 x Luis A. .

que p(x) = P (x) P (x) de ese punto x = x0. Formulario de Metodos Matematicos 6. Ecuaciones e intervalos en puntos regulares 3 La ecuacion de Legendre 2 00 0 (1 x )y 2x y + ( + 1) y = 0 tiene puntos regulares en x 6= 1 y puntos singulares regulares en x = 1. todos los x son ordinarios si x 2 ( 1. Realizo una teor a general de las funciones elipticas y divulgo numerosos trabajos de investigadores jovenes en el campo del analisis matematico. 1): En ese intervalo se propone una solucion X 1 n y(x) = anx n=0 3 Adrien Marie Legendre (1752-1833). lo que es lo mismo. Matematico frances. 1) lo tanto. lo que es lo mismo. que p(x) (x x0) = (x x0) Q(x) y q (x) (x x0) 2 = (x x0) 2 R(x) tengan P (x) P (x) una expansion en Taylor alrededor de ese punto. . Puntos singulares irregulares Ninguna de las anteriores 7. que surgio tras la revolucion de 1789. Pero es anal tica en x 2 ( 1. Puntos singulares regulares Un punto x = x0 se llamar punto singular regular si m (x x ) p(x) l m (x x ) Q (x) = l con l nito 0 x x0 0 P (x) 3 3 ! xx l 0 ! m (x x )2 q (x) l m (x x R (x) = l con l nito )2 0 x 0 P (x) 4 4 ! xx l 0 0 x ! O tambien. encuadrado en la escuela de Par s. Los Puntos y las Estrategias Dada una ecuacion diferencial del tipo Q (x) R (x) + P (x) y + P (x) y = 0 00 0 ) 0 00 P (x) y + Q (x) y + R (x) y = 0 y Puntos ordinarios Un punto ordinario x = x0 sera aquel alrededor del cual p(x) = Q(x) y q (x) = R(x) P (x) P (x) sean anal ticas en ese punto o Q (x) l m p(x) lm = l1 con l1 nito x!x0 x!x0 P (x) R (x) l m q (x) lm = l2 con l2 nito x!x0 x!x0 P (x) Q(x) R(x) y q (x) = tengan una expansion en Taylor alrededor O tambien.

Luis A. Nu~nez Universidad Industrial de Santander 9 .

Nu~nez Universidad Industrial de Santander 10 . Formulario de Metodos Matematicos por lo tanto 1 1 1 X X X 2 n 2 n 1 n (1 x )n(n 1)anx 2x n anx + ( + 1) anx = 0 n=2 n=1 n=0 multiplicando y acomodando 1 1 1 1 Xj X X X j n n n (j + 2)(j + 1)aj+2x n(n 1)anx 2 n anx + ( + 1) anx = 0 =0 n=2 n=1 n=0 expandiendo 0 =2a2 + ( + 1)a0 f( + 2)( 1)a1 + (3 2)a3g x+ X 1 n + f(n + 2)(n + 1)an+2 + ( + n + 1)( n)ang x n=2 donde hemos utilizado n(n 1) 2n + ( + 1) = ( + n + 1)( n) por lo tanto ( + 1) a2 = a0 2 a4 = ( + 3)( + 1) ( 2) a0 4! ( + 2n 1)( + 2n 3) ( + 1) ( 2) ( 2n + 2) a2n = ( 1)n a0 (2n)! y las potencias impares seran a3 = ( + 2)( 1) a1 3! a5 = ( + 4)( + 2)( 1)( 3) a1 5! ( + 2n)( + 2n 2) ( + 2)( 1) ( 2n + 1) a2n+1 = ( 1)n a1 (2n + 1)! y su solucion general de la forma y(x) = a0 y0(x) + a1y1(x) con y(x) = 1 ( + 1) x2 + ( + 3)( + 1) ( 2) x4 + 0 2 4! y(x) = x ( + 2)( 1) x3 + ( + 4)( + 2)( 1)( 3) x5 + 1 3! 5! si = 2n una de las series se corta solucion es un polinomio de potencias pares y si = 2n + 1 la otra se corta en uno de potencias impares Luis A.

Para hacer las cosas mas simples supongamos. sin perder generalidad. Dada una ecuacion diferencial f1 (x) f2 (x) 00 0 00 0 y + (x x ) y + 2 y=0 (3) y + F1 (x) y + F2 (x) y = 0() (x x0) 0 donde F1 (x) y F2 (x) tienen singularidades regulares enx = x 0 y por lo tanto f 1 (x) y f2 (x) son anal ticas alrededor de ese punto entonces. Luis A. 1. Formulario de Metodos Matematicos Ecuacion de Legendre Polinomio Asociado 2 00 0 0 (1 x ) y 2x y = 0 y0(x) = 1 2 00 0 1 (1 x ) y 2x y + 2 y = 0 y1(x) = x 2 (1 x2) y00 2x y 0 + 6 y = 0 y (x) = 1 3x 2 0 5 3 2 00 0 + 12 y = 0 y1(x) = x 3 35 4 (1 x ) y 2x y 3 x x 2 00 0 2 4 (1 x ) y 2x y + 20 y = 0 y0(x) = 1 10x + 3 Los polinomios de Legendre son funciones que surgen en problemas de electrostatica como solucion de la ecuacion de Legendre y son efectivamente polinomios para entero. como f1 (x) y f2 (x) son anal ticas entonces 1 1 X X n n f1 (x) = bnx y f2 (x) = cnx (5) n=0 n=0 por lo tanto 2 00 x y 0 + x f1 (x) y + f2 (x) y = 0 () x y 2 00 +x 1 0 y + 1 # y=0 " n# " c xn n=0 bnx n=0 n X X 4 Aleman famoso por sus contribuciones en Teor a de Grupos y Ferdinand Georg Frobenius (1849-1917) Matematico metodos para resolver ecuaciones diferneciales. 2. Los Polinomios de Legendre tambien pueden ser generados a partir de la Formula de Rodr gues n 1 d Pn(x) = (x2 1)n. x0 = 0. n = 0. pero m puede ser entero positivo (entonces la serie de Frobenius es una serie de Taylor) o entero negativo (entonces la serie de Frobenius es una serie de Laurent). la propuesta de solucion sera una serie de Frobenius 1 X m n y(x) = (x x0) an (x x0) (4) n=0 donde n es entero positivo. El Metodo de Frobenius Para la solucion de ecuaciones diferenciales lineales ordinarias alrededor de puntos singulares 4 regulares se utiliza el metodo de Frobenius . Ademas. ::::: n!2n dxn con P0(x) = 1: Tambien se dispone de una relacion de recurrencia (n + 1) Pn+1(x) = (2n + 1) xPn(x) nPn 1(x) 8. Nu~nez Universidad Industrial de Santander 11 . Por lo cual una serie de Frobenius incluye a las serie de Taylor y Laurent. o un racional.

Formulario de Metodos Matematicos y con la propuesta de serie de Frobenius 1 0 m 1 1 1 y(x) = xm n=0 a xn n =) y (x) = mx " n=0 anx n# +x m" n=1 na nx n 1# X X X + 1 1 1 # 00 m 2" n# m 1" n 1# m " n 2 y (x) = m (m 1) x n=0 anx + 2mx n=1 na nx +x n=2 n (n 1) anx X X X sustituyendo ( 1 + 2mx m 1 1 1 #) + 0 = x2 m (m 1) xm 2 " n=0 anx n# " n=1 na nx n 1# m +x " n=2 n n 2 (n 1) anx X X X 1 1 1 1 1 " n# ( m 1" n# m" n 1#) " n# ( m n) +x n=0 bnx mx n=0 anx +x n=1 na nx + n=0 cnx x n=0 a nx X X X X X acomodando ( m 1 1 m 1 0 = m (m 1) x " n=0 anx n# + 2mx m" n=1 na nx n# +x " n=2 n (n 1) anx n#) + X X X 1 1 1 1 1 " n# ( m" n# m" n#) " n# ( m n) + n=0 bnx mx n=0 anx +x n=1 na nx + n=0 cnx x n=0 a nx X X X X X o m 1 1 1 0=x ( m (m 1) " n=0 a nx n# + 2m " n=1 na nx n# + " n=2 n (n 1) anx n#) + X X X 1 1 1 1 1 " n#( " n# " n#) " n#( n)! + n=0 bnx m n=0 anx + n=1 na nx + n=0 cnx n=0 a nx X X X X X Luis A. Nu~nez Universidad Industrial de Santander 12 .

correspondientes a cada ra z de la ecuacion indicadora (14). . EI( 8 (8) + xm+2 > a2 [(m + 2) (m + 1) + b0 (m + 2) + c0] + a1 [b1 (m + 1) + c1] + a0 [b2m + c2 ]9 > < m = +2) {z > | } > : . Formulario de Metodos Matematicos Expandiendo las series tendremos 8 9 (6) 0 = xm a0[m (m 1) + b0m + c0] + > > < = {z > | EI (m) }> : 8 . . Como es de esperarse. este polinomio se anula si donde hemos identim m+i 0 0 indicadora o los coe cientes de x x se anulan. 8 + xm+n an[(m + n) (m + n 1) + b0 (m + n) + c0] + an 1 [b1 (m + n 1) + c1] + (10) > < EI(m+n) } | + an {z > 2 [b2 (m 2 n 3 3 3 (11) : + n 2) + c ] + a [b (m + n 3) + c ] + + +a1 [bn 1 (m + 1) + cn 1] + a0 [bnm + cn]g (12) la cual puede ser reacomodada aun mas. La primera de las ecuaciones que surge es la ecuacion ndice a0 6= 0 =) EI (m) = m (m 1) + b0m + c0 = 0 (14) m+i que no es otra cosa que un polinomio de segundo grado en m: Al anular el coe ciente de x ( i 1 ) (15) ai EI (m + i) + ak [(m + k) bi k + ci k] = 0 X k=0 obtendremos la relacion de recurrencia para la serie de Frobenius. entonces de all se derivan dos ra ces m1 y m2: Dependiendo de como sean estas ra ces distinguiremos tres casos: Luis A. Nu~nez Universidad Industrial de Santander 13 . Dato que la ecuacion indicadora es un polinomio de segundo grado para m. y toma la forma elegante y compacta de ) ( i 1 1 X X m+i m 0 = x fa0 EI (m)g + ai EI (m + i) + ak [(m + k) bi k + c i k] x (13) i=1 k=0 cadoEI (m) = m (m 1) + b m + c. 9 a1 [m (m + 1) + b 0 (m + 1) + c 0] + a 0 [b 1 m + c1 ] + (7) m+1 < > > + x m = +1) {z > | } > : . EI( 8 (9) + xm+3 a3[(m + 3) (m + 2) + b0 (m + 3) + c0] + a2 [b1 (m + 2) + c1] + > g } >| +a1 [b2 (m {z 2 0 3 3 : EI(m+3) < + 1) + c ] + a [b m + c ] + .

: | {z } y2(x) 3. Bn (m1) y f. an (m2) . Bn = Bn (m2) corresponden a las series de cada una de las ra ces de la ecuacion indicadora. m1 = m2 En este caso. En este caso. Formulario de Metodos Matematicos 1. Notese que hemos indicado expl cita-mente que los coe cientes an = an (m1) . m1 6= m2 ^ m1 m2 = N con N entero positivo. 00 0 En resumen. la solucion en terminos de la serie de Frobenius para la ecuacion diferencial sera m 1 # 1 (16) y(x) = C1 kxk 1 " + C2 kxk 2 " m # | n X1 } 1+ |n =1 n X2 a (m } ) xn 1+ n =1 a (m ) xn y y {z {z 1 (x) 2 (x) 2. si una ecuacion diferencial y +F1 (x) y +F2 (x) y = 0 presenta puntos sigulares regulares para F1 (x) y F2 (x) en x = x0: Lo que se traduce en que y + f1 (x) y + f2 (x) y = 0 00 0 con 8 f1 (x) = : (x x0) (x x0) 2 f2 (x) = < . la solucion en terminos de la serie de Frobenius para la ecuacion diferencial sera 1 m1 " n# y(x) = C1 kxk 1 + n=1 a n (m 1) x | X } y {z (18) 1 (x) m 1 1 n m 2 1 + C2 8 an (m1) x ln x + x 9 > n f x 1+ an (m2) x > " # " > > > k k k k #> n=1 n=0 > > > > < X X = > y1(x) > > > > > :| {z } . la solucion en terminos de la serie de Frobenius para la ecuacion diferencial sera m 1 y(x) = C1 kxk " 1 + n=1 an (m) x n# | X } y {z (17) 1 (x) n an (m) x ln x + x m 1 m 1 + C2 8 9 n >x 1+ Bn (m) x > " # " > > > kk kk #> n=1 n=0 > > > > < X X = > y1(x) > > > > > | {z } . surgen de sustituir estas soluciones en la ecuacion diferencial y resolver por el metodo de los coe cientes indeterminados. m1 6= m2 ^ m1 m2 6= N con N entero. | {z } y2(x) Donde las constantes an (m1) . an = an (m2) . En este caso.

Nu~nez Universidad Industrial de Santander 14 . 1 P 1 n P c (x x ) b (x x ) n n=0 n 0 n=0 n 0 Luis A.

que f1 (x) y f2 (x) sean anal ticas en torno a x = x0: Entonces se aplica el metodo de Frobenius. procedemos de distinto modo a) si m1 6= m2 ^ m1 m2 6= N con N entero entonces tendremos dos series de Frobenius 1 1 y(x) = C1 xm1 " n=0 n# an (m 1) x + C2 xm2 " n=0 n# an (m 2) x X X b) si m1 = m2 tenemos que insertar un logaritmo m ( 1 1 y(x) = x 1 (C1 + C2 ln x) " n=0 n# an (m) x + C2 " n=0 Bn (m) x n#) X X c) m1 6= m2 ^ m1 m( 2 = N con N entero positivo. Seguidamente se determina.en funcion de estas ra ces. Para ello. vale decir m 1 6= m2 ^ m1 m2 = N con N sera anali-zado en detalle mas adelante. segun el caso. Bn = Bn (m2) . se sustituye en la ecuacion diferencial y se aisla el termino independiente (de orden cero en n). Formulario de Metodos Matematicos es decir. Luis A. Nu~nez Universidad Industrial de Santander 15 . entoces. 1. Gn = Gn (m2) a partir de la ecuacion (15) ( n 1 ) =0 an EI (m + n) + ak [(m + k) bn k + cn k] X k=0 tomando en cuenta los coe cientes de los desarrollos en series de potencias de las funciones X 1 X 1 n n f1 (x) = bnx y f2 (x) = cnx n=0 n=0 m+n si anulamos los coe cientes de x k [(m + k) bn k +c ] n 1 X n 1 a an EI (m + n) + ak [(m + k) bn k + cn k] = 0 () an = P EI (m + n) n k k=0 k=0 entonces se obtiene la relacion de recurrencia. 2. El coe ciente de este termino se anula e implica la ecuacion la indicadora o ndice a0 6= 0 =) EI (m) = m (m 1) + b0m + c0 = 0 que no es otra cosa que un polinomio de segundo grado en m: De esta ecuacion emergen dos ra ces m2 ^ m1. se determinan las relaciones de recurrecias para los distintos coe cientes an = an (m1) . como por arte m de magia y(x) = x m 1 (C1 + f ln x) 1 + C2x 2 " n=0 1 n#) an (m 1) x " n=0 n# an (m 2) x X X 3. se propone una solucion en series de potencias de Frobenius: 1 m n X y(x) = x anx n=0 con m 2 < ^ n 2 N. an = an (m2) . al menos para los casos (16) y (17) en los cuales EI (m + n) 6= 0: El caso EI (m + n) = 0.

es una sumatoria en la cual inervienen los coe cientes de las expansiones de f 1 (x) y f2 (x) (ecuacion (5)). se va despejando todos los coe cientes a 0 an en terminos de a0: Igualmente al sustituir m2 encontramos la otra solucion y ambas son linealmente independientes y la solucion sera "1 # "1 #X X m1 n m2 n y(x) = C1 x anx + C2 x anx n=0 n=0 Ejemplo. puede ser escrito en terminos de genericos.tambien estar presente. Proponemos por lo tanto una serie P1 de Frobenius y(x) = xm anxn como posible solucion. tendremos que n k = 2 ) k = n 2. los demas coe cientes b2 = b3 = = bn = = 0 y c3 = c4 = = cn = = 0: m+n El primer termino del coe ciente de x .1. encuentre la solucion en terminos de series de Frobenius de la siguiente ecuacion 2 00 x y +x x+2 y0 x2 + 2 y=0 1 1 2 al dividir por x identi camos que a x = 0 es un punto singular regular. Como de esta expansion sobrevive b 1 = 1 signi ca que solo aparecen el coe ciente para el cual n k = 1 ) k = n 1 y como tambien sobrevive c2 = 1. > > ( >> > >> > >< = > > > c 2 = 1 > > > >> >> > >> > >> > :: . La ecuacion indicadora EI (m) = m (m 1) + n=0 b0m + c0 = 0 queda ahora. como 1 8 8 b = 1 9 = f1 (x) = 2 +x = > < 0 b1 = 1 2 ( m=1 > > > 1 1 : . Formulario de Metodos Matematicos 8. m1 6= m2 ^ m1 m2 6= N con N entero. como EI (m + n) = (m + n) (m + n 1) + 2 (m + n) + 2 = m2 + 2mn 2m+n 2 2n 2 (19) 1 1 1 1 1 |{z}b0 | c0 } {z El segundo termino de ese mismo coe ciente. > > 1 > = m (m 1) + m =0 => c0= 2 9 > > m= 1 ( 2 2 ( > > 2 = 9 c1 = 0 = f 2 (x) = x2 <8 1 > > 2 . Esto es a 2(m + n 1) 1 3 + a 2 ( 1) 3 (20) n 1 n 2 . En ese caso es claro que la resolver la ecuacion indicadora y sustituir m 1 en el resto de los coe cientes.

4 b1 5 4 c2 5

|{z} |{z}

En de nitiva el coe
a ciente completo se escribe como
2
n m + 2mn 2 m + n
2
2n 2 + an 1 [m + n 1] an 2 =0 (21)
1 1 1

Luis A. Nu~nez Universidad Industrial de Santander 16

Formulario de Metodos Matematicos

con lo cual la relacion de recurrencia general sera
a = an 2 an 1 [m + n 1] para n 2 (22)

n 2 1 2 1 1
m + 2mn 2 m+n 2 n 2
Dependiendo del valor de m tendremos una relacion de recurrencia para la primera de las series m = 1
o para la segunda, m = 1 : Analicemos cado por caso. Para el caso particular m = 1; se obtiene la

2
relacion de recurrencia:
2
an = (an 2 nan 1) para n 2
2
2n + 3n
y se encuentra a1 al utilizar el coe ciente de x
m+1
(ecuacion (7)) = a
5 0
a1 1 (1 + 1) + 2 (1 + 1) 2 + a0 [1 + 0] = 0 =)a1
1 1 2
con lo cual

1 1 4 9 9
n = 2 =) a2 = 7 ( 2a1 + a0) = 7 5 a0 + a0 = a0 =) a2 = a0
35 35

n=3 = a3 =
2 ( 3a2 + a1) =
2
3527 a0 5
2
a0 = 82
a0 = a3 =
82
a0
27 27 945 945

1 1 328 9 571 571
) )
n=4 =) a4 = ( 4a3 + a2) = a =) a4 =
2 2 35 a0 = 20790
a0
... 20790 a0
... 2 2
945 0

As la primera solucion sera 2 3 4
y1(x) = a0 x 1 5 x + 35 x 945 x + 20790 x +
2 9 82 571
Del mismo modo se construye la segunda solucion linealmente independiente a partir de m = 1 : As , la

2
1
relacion de recurrencia para los co cientes de la serie de Frobenius m = sera:
2
an = an 2 n 2 an 1 2n2 3n para n 2
3 2
y + =0 =)a1 = a0
2 2 2 2 + a0 2
a1 2

1 1 1 1 1 1
por lo cual

1 1 3 3
n = 2 =) a2 = 2 a1 + a0 = 2 a0 + a0 = 2 a0 =) a2 = 2 a0

2 3 2 9 13 13
n = 3 = a3 = 9 2 a2 + a1 =9 4 a0 a0 = 18 a0 = a3 = 18 a0
) 5 65 119 ) 119
1 1 3

n=4 = a = 10 a +a = 1
0 36 a0 + a = a =) a4 = a0
... ) 4 2 3 2 2 0 360 0 ... 360

Luis A. Nu~nez Universidad Industrial de Santander 17

x) = fa0 EI (m)g x = a0 (m m1) x Luis A. Para ello reacomodemos la ecuacion diferencial (23) de la forma 2 00 0 2 d 2 d x y + x f1 (x) y + f2 (x) y = x d x 2 + x f1 (x) d x + f2 (x) y L fyg = 0 donde L f g esta concebido como un operador lineal. m1 = m 2 . Es ilustrador mostrar de donde sale la forma curiosa de la solucion de la ecuacion diferencial (17). Nu~nez Universidad Industrial de Santander 18 . para los an seleccionados (que anulen el coe ciente x )y considerando el caso m1 = m2 m 2 m L fyg (m. Del mismo modo. Para ello. recordamos que m L fyg = x fa0 EI (m)g + 1( n 1 ) an EI (m + n) + ak [(m + k) bn k + cn k] xm+n X X n=1 k=0 m+n si anulamos los coe cientes de x entonces n 1 n k ] a n EI (m + n) + k=0 ak [(m + k) b n k + cn k] = 0 () an = Pk=0 n 1 a [(m + k) bn k EI (m + n) k +c X m+n considerando EI (m + n) 6= 0 por lo tanto. un poco de donde surge la forma general de la solucion (17). veamos. Formulario de Metodos Matematicos Por lo cual. la segunda solucion se hace imaginaria pero se puede resolver haciendo C2 = i C3 Como ejercicio resuelva 2 00 0 2x y xy (x + 1) y = 0 8. Pero antes de proceder a ilustrar este caso en al cual ambas ra ces coinciden.2. la solucion general sera 2 9 82 571 y(x) = C1 x 1 5 x + 35 x 2 945 3 x + 20790 4 x + + C2 1 x+ 2 3 + 4 + x2 2x 18 x 360 x 1 3 13 119 Notese que esta solucion vale para 0 < kxk < 1 por cuanto para x < 0. si tenemos una ecuacion diferencial 2 00 0 2 2 00 0 x y + x [x F1 (x)]y + x F2 (x) y = 0() L fyg = x y + x f1 (x) y + f2 (x) y = 0 (23) | {z } | {z } f1(x) f2(x) donde en la cual F1 (x) y F2 (x) tienen singularidades regulares en x = 0 pero f 1 (x) y f2 (x) son anal ticas para ese punto. vale decir 1 1 X X n n f1 (x) = bnx y f2 (x) = cnx n=0 n=0 se aplica el Metodo de Frobenius.

Formulario de Metodos Matematicos Notese que estamos considerando L fyg (m. x) como una funcion de m. y x: Por lo cual evaluando en m = m 1 2 m L fyg (m. x)g = @ x2 d2 + x f (x) d + f (x) y = x2 2 + x f (x) d + f (x) L d @m @m 2 1 dx 2 2 1 dx 2 dx dx y comprobamos que tambien se anula al evaluarla en m = m1 . x)jm=m1 = a0 (m m1) x m=m1 =0 pero ademas podemos intentar derivar respecto a la constante m @fL f yg (m.

La precision de sus mediciones hizo posible que determinara peque~nas irregularidades en los movimientos de Urano lo condujo a predecir la existencia de Neptuno. x) m=m1 @m n=1 m=m1 X 1 1 @an (m) m " n# " # = (x 1 ln x) a0 + an (m1) x + xm1 @m m=m1 xn n=1 n=1 X X y la solucion general tendra la forma m1 1 y(x) = C1 kxk " 1 + n=1 a n (m 1) x n# | X } y {z 1 (x) 8 m 1 m1 1 n 9 bn (m1) x > n + C2 x 1 1+ an (m1) x ln x + x > " # " > > >k k k k #> n=1 n=0 > > > > < X X = > y1(x) > > > > > | {z } . : | {z } y2(x) 5 Analicemos. se dedico a aumentar la exactitud de las mediciones de la posicion y el movimiento de los astros. con lo cual la segunda toma la forma L @y @ ( " 1 #) kxkm a0 + an (m) xn = @m (m. x) m=m1 tambien es solucion. Astronomo y matematico aleman. la geodesia y la mecanica celeste. A partir de datos registrados en el siglo XVII. Aport notables contribuciones a la astronom a posicional. @y @ n @y o m por lo tanto @m (m. Analogos razonamientos lo llevaron a especular sobre la presencia de estrellas compa~neras en Sirio y Procyon. como ejemplo un caso particular de la ecuacion de Bessel 2 00 0 2 2 x y +xy +x + y=0 5 Fredrich Wilhel Bessel (1784-1846). Particularmente. Nu~nez Universidad Industrial de Santander 19 . calculo la orbita del cometa Halley Luis A.

Consideremos el caso = 0 2 00 0 2 x y +xy +x y=0 la ecuacion indicadora EI (m) = m (m 1) + b0m + c0 = 0 nos queda como 8 b0 = 1 (= f1 (x) = 1 > c0 = 0 m = 0 = m (m 1) + m = 0 = > > > 8 9 > > ( ( > c =0 2 > 1 > = f (x) = x <> 2 > > ( > > > > > < = > c 2 =1 > > > > > > > > > > > > > > cientes b =b =b = =b =0y : = .= c = 0: Con lo cual EI (n) = :c = c los demas coe 2 1 2 3 n 3 4 n m+n n (n 1) + n = n . la relacion de recurrencia se obtiene del coe ciente de x a an = P k=0 k [(m + k) bn k + cn k] dado que 8 6 ) ) n 1 < b1 = 0 n k = 1 k=n 1 EI (m + n) c2 = 0 ) n k=2 ) k=n 2 n 1 : 6 (m) P n (m + n) (m + n 1) + (m + n) (m + n)2 a (m) = = an a (m) [(m + k) b +c ] k n k n k (m) (m + n 1) + an k=0 1 2 tomando m = 0. Formulario de Metodos Matematicos Una vez mas. Por lo tanto. se tiene 8 a an (0) = P k=0 k (0) [ 2 n k n k con 6 ) ) n 1 kb +c ] < b1 = 0 n k=1 k=n 1 n c2 = 0 n k=2 k=n 2 con lo cual : 6 ) ) a n (0) = a n 2 (0) [c2] + an 1 (0) [(n 1) b1] = an 2 (0) + an 1 (0) (n 1) para n 2 n2 n2 . la ecuacion viene parametrizada por y dependiendo de su valor tendremos una familia de soluciones.

2. 2 (2n) con lo cual Luis A. al anular el coe ciente para x (ecuacion (7)) se obtiene a1 [0 (0 + 1) + 1 (0 + 1) + 0]+a0 [0 0 + 0] = 0 ) a1 = 0: Con lo cual es claro que se anulan todos los coe cientes impares. m+1 Otra vez. 3. y as a2n (0) = a2n 2 (0) para n = 1. Nu~nez Universidad Industrial de Santander 20 .

) 6 (2 3) 4 (2 3) (2 2) 22 2 0 ) . Nu~nez Universidad Industrial de Santander 21 . n=l = a (0) = l l a2l 2 (0) = ( 1) a (0) = a (0) = ( 1) a (0) ) 2l 2 2l 2 0 ) 2l 2l 2 0 (2l) 2 (l!) 2 (l!) por lo tanto la primera de las soluciones sera y (x) = a 1 + 1 n ( 1) 1 x2n 2n 2 n=1 2 (n!) 0" # | X } J {z 0 (x) Donde J0 (x) se conoce como la funcion de Bessel de primera especie de orden cero. Formulario de Metodos Matematicos n=1 =) a2 (0) = 1 a0 (0) =) a2 (0) = 4 1 a0 (0) 4 n=2 =) a4 (0) = 1 a2 (0) = 1 a0 (0) =) a4 (0) = 1 a0 (0) 2 2 2 # 2 2 (2 2) (2 2) 2 (2 2) 2 2 2 " 2 . Para calcular la segunda solucion de la ecuacion de Bessel se sustituye 1 X y2 (x) = J0 (x) ln x + Bnx n en la ecuacion x2 y00 + x y0 + x2 y = 0 n=0 para ello se requieren sus derivadas y (x) = J (x) ln x + 1 n 0 0 1 n 1 y Bx y (x) = J J0 (x) B (0) nx (x) ln x + + X X 2 0 n )2 0 x n=1 n n=0 + 00 0 1 00 (x) = J (x) ln x + 2 J (x) J0 (x) y 2 0 0 x x 2 + n=1 B n (n n 1) xn 2 X entonces 2 (x) J (x) 1 0=x " J0 J 000 (x) ln x + 2 0 x 0 x2 X + n=2 B nn (n 1) xn 2# + +x " (x) 1 2 " 0 +x J0 (x) ln x + J0 (x) ln x + 1 # X n Bnx J 1# x + B nnxn X 0 n=1 n=0 con lo cual 0 1 1 n 1 n 1 n+2 2 00 0 2 0 Bnn (n 1) x + Bnnx + Bnx 0 = x J0 (x) + x J0 (x) + Jx 0 (x) ln x + 2 J0 (x) x + @| =0 } A X X X n=2 n=1 n=0 {z Luis A. . . .6 (2 3) 23 0 n=3 = a (0) = 1 a (0) = 1 1 a (0) = a (0) = 1 a (0) .

Profesor de Algebra y Geometr a en la Universidad de Pavia y luego Rector de la misma. Ademas de poeta. . 0 1 B = ( 1)k+1 1 + 1 + 1 + + 1 + 1 +1 = ( 1)k+1 Hk 2k B 22k (k!)2 B k k 1 k 2 Hk 3 2 C C 22k (k!)2 @ A | de } As la segunda solucion puede tomar la forma {z y2 (x) = J0 (x) ln x + 1 ( 1)n+1 Hn x2n X 2 n=1 22n (n!) y por lo tanto la solucion general tendra la forma y (x) = A 1 J 0 (x) + A 2 J (x) ln x + 1 n+1 Hn ( 1) x2n " 0 n=1 22n (n!)2 # X es costumbre en F sica reacomodar la segunda solucion de la forma # y (x) Y (x) = 2 + ln x J (x) + 1 ( 1)n+1 H 2 0 2 n x2n " 0 n=1 22n (n!)2 X 6 donde se conoce como la constante de Euler-Mascheroni y tiene un valor n!1 n n 1 n 2 3 2 =lm + + + + + +1 ln (n) = 0.5772 1 1 1 1 1 6 Lorenzo Mascheroni (1750-1800) Monje Italiano. Lombardo-Veneto. se destaco por sus contribuciones al Calculo y a la Mecanica. . . Formulario de Metodos Matematicos n y nalmente ( 1) 2n 1 1 B x + 22B x2 + B n2 +B xn = 2 x2n X X 1 2 n=3 n n 2 n=1 2 22n (n!) es claro que para los coe cientes impares se obtiene b 1 = b3 = b5 = = b2n+1 = 0 ya que 2 2 2 3 2 4 2 5 Bx+2 Bx +3 B+B x +4 B+B x +5 B+B x + = 2 1 ( 1)n 2n x2n X 1 2 3 1 4 2 5 3 n=1 2n 2 2 (n!) mientras que para las potencias pares tendremos la relacion de recurrencia " # 2n (2n)2 22(n 1) (n!) 2 2n 2 B = 1 ( 1) n+1 n b entonces B2 = 2 1 2 2 2 2 2 2 ! 1 B4 = 1 (2 2)2 2 (1!) 22 (2!) 2 (1!) = 42 22 1+2 4 11 B6 = (6) " 2 b4 # " 2+4 2 2 2 # 24 (3!)2 = 62 24 (3!) 1 + 2 = 6242 22 1 + 2 + 3 1 3 1 3 1 1 1 1 1 . nacido en Bergamo.

Luis A. Nu~nez Universidad Industrial de Santander 22 .

m1 6= m2 ^ m1 m2 = N con N entero. con m1 > m2. Formulario de Metodos Matematicos y as . De primera especie J 0 (x) y de segunda especieY0 (x) Notese que tanto la funcion de Bessel de orden cero. J 0 (x) . 2 que J0 (0) = 1. Este caso nos lleva a la ecuacion (13) ( n 1 ) N 1 X X m m+n (24) 0 = x fa0 EI (m)g + an EI (m + n) + ak [(m + k) bn k + cn k] x n=1 k=0 ( + aN N 1 ) m+N (25) EI (m + N) + ak [(m + k) bN k + cN k] x + X k=0 1 n 1 ) ( X X m+n + an EI (m + n) + ak [(m + k) bn k + cn k] x (26) n=N+1 k=0 donde esta m es la menor de las ra ces y m + N la mayor. Y 0 (x) . m1 m2 = N ) m1 = N + m2.3. como la funcion de Bessel de orden cero. nalmente y (x) = C1 J0 (x) + C2 Y0 (x) Comportamiento de las funciones de Bessel de orden cero. En general. Nu~nez Universidad Industrial de Santander 23 . de primera especie. Anulando el termino fa0 EI (m)g coe ciente de m x nos lleva a la ecuacion indicadora: EI (m + N) = (m + N) (m + N 1) + b0 (m + N) + c0 = EI (m) = (m) (m 1) + b0 (m) + c0 = 0: Luis A.tienen un comportamiento oscilatorio cuando x ! 1. de segunda especie. mientras que Y0 (x) se comporta como ln x cuando x ! 0: 8. la ecuacion indicadora para este caso.

consecuentemente eso signi ca que se derivan dos casos N 1 EI (m + N) = 0 ^ P k=0 ak [(m + N + k) bn k + cn k] = 0 En este caso la solucion en serie de Frobenius. m. sera la solucion general. . Formulario de Metodos Matematicos por lo tanto EI (m + N) = 0 anula al coe ciente del termino a n para n = N. esto es la ecuacion (12). partiendo de la ra z mayor de la ecuacion indicadora. resolvamosla 1 2 00 0 2 y=0 x y +xy + x 4 una vez mas. | {z } y2(x) La ecuacion de Bessel de orden fraccionario puede ilustrar el primero de estos casos. > c2 =1 > > > > >> > >> > >> > >> > :: . m + N. le expansion en serie de Frobenius de y (x) nos lleva a una ecuacion indicadora del tipo 1 8 b0 = 1 (= f1 (x) = 1 m= > 1 2 1 > > c0 = 4 9 = m (m 1) + m= 0 = > > 9 >8 1 > ( 4 ( > > > = f (x) = x 2 1 > >> = <> > 2 m= > c1 =0 > ( 4 2 > > > > > < = > > > . Esto quiere decir que en (18) la constante f = 0 y por consiguiente la solucion sera m 1 # 1 # (27) y(x) = a0 kxk " + aN kxkm " | nX } | 1+ Xn n =1 a } (m ) xn n =0 a (m + N) xn N 1 y {z y {z 1 (x) 2 (x) P EI (m + N) = 0 ^ k=0 ak [(m + N + k) bn k + cn k] 6= 0 En este caso la ra z mayor de la ecuacion indicadora m + N determinar una de las soluciones. la constante f 6= 0 y la solucion general tendra la forma de 1 m1 " n# y(x) = C1 kxk 1 + n=1 a n (m 1) x | X } y {z 1 (x) m 1 1 n m 2 1 + C2 8 (m1) x ln x + x 9 > n f x 1+ an an (m2) x > " # " > > > k k k k #> n=1 n=0 > > > > < X X = > y1(x) > > > > > :| {z } . quedar en terminos de a 0 y no sera linealmente independiente a la solucion provista por la ra z menor. por consiguiente la solucion proveniente de esta ra z menor.

Nu~nez Universidad Industrial de Santander 24 . EI(m+N) Luis A.los demas coe cientes b1 = b2 = b3 = = bn = 0 y c3 = c4 = = cn = 0: Dado que N = 1 se tiene que la ecuacion (12) 8a1[(m + 1) (m + 1 1) + b0 (m + 1) + c0] + a0 [b1 (m + 1 1) + c1] + 9 =0 (28) > > < = > | {z } > : .

para m = 2 : Vale decir 1 X an EI (m + n) + ak [(m + k) bn k + cn k] = 0 ) (30) k=0 an 2 +n 2 +n 1 + 2 +n + an 1 [0] + an 2 [1] = 0 4 1 1 1 1 2 (31) los coe cientes seran an n n = an 2 (32 ) n = 2 =) 1 n = 3 =) 1 a2 = a3 = 2 a0 6 a1 n = 4 =) a4 = 1 a 2 = 1 a0 n = 5 =) a5 = 1 a3 = 1 a1 12 24 20 120 1 1 1 1 a = a a n = 6 =) a4 = 30 4 720 0 n = 7 =) a7 == 42 a5 = 5040 1 . Formulario de Metodos Matematicos 8 9 > 1 1 1 1 > > > >> 1 +1 + +1 +a > =0 a [0] + a [0] = 0(29) >a [0] > 0 > 1 0 > 2 2 2 4 > ) > > > > > > < = EI 1 +1 > > > | 2 ! ! } > > > > > > > > > > > : . . . . La relacion de recurrencia proviene de anular el m+n 1 coe ciente de x . la solucion general sera 1 2 1 2 x + 24 x 4 6 720 x ++ a1 x 1 6x+ 5 7 120 x 5040 x + 1 1 1 1 1 1 y(x) = a 0 x 2 2 N 1 Para considerar el segundo caso. con lo cual cualquier valor de a 1 y a0 estaran permitidos. EI (m + N) = 0 la ecuacion diferencial 2 ^P ak k=0 2 [(m + N + k) bn k + cn k] 6= 0 analicemos 00 0 x y + x (2 x) y + 2 x y=0 una vez mas. . la expansion en serie de Frobenius de y (x) nos lleva a una ecuacion indicadora del tipo 88 9 = f1 (x) = 2+x b0 = 2 >< b1 = 1 =( > > m=2 > > > >: . = m (m 1) 2m + 2 = 0 > c0 = 2 = 9 > > m=1 ( ( > . . Por lo cual.

Luis A. = < 8 9 > c1 = 0 > = f2 (x) = x2 + 2 . Nu~nez Universidad Industrial de Santander 25 . > > > > > > >( > > < = > > > c2 = 1 > > > > > > > > > > > > > > : : .

por lo tanto el metodo de Frobenius nos permite a rmar que si x = x0 corresponde a un polo regular de la ecuacion 2 00 ~ 0 ~ xy + xP (x) y + Q (x) y = 0. . Luis A. Nu~nez Universidad Industrial de Santander 26 . Por lo cual. . . Formulario de Metodos Matematicos los demas coe cientes b2 = b3 = = b n = 0 y c 3 = c4 = = cn = 0: Dado que N = 1 se tiene que la ecuacion (12) para m = 1 a1 [(m + 1) m 2 (m + 1) + 2] + a0 [m] = a1 [2 4+ 2] + a0 [2] = a1 [0] + a0 [1] = 0 (33) y no conduce a nada por cuanto a0 = 0. Revisitando a Bessel La Ecuacion de Bessel es 2 00 x y 0 + xy + x 2 2 k y = 0. para m = 2 se obtiene a1 [(m + 1) m 2 (m + 1) + 2] + a0 [m] = a1 [3 2 2 3 + 2] + a0 [1] = a1 [1] + a0 [1] = 0 (34) por lo cual la relacion de recurrencia para m = 2 nos queda 1 X an EI (m + n) + ak [(m + k) bn k + cn k] = 0 ) (35) k=0 an [(2 + n) (2 + n 1) 2 (2 + n) + 2] + an 1 [1 + n] + an 2 [1] = 0 (36) los coe cientes seran 2 an n + n + a n 1 (n + 1) = an 2 (37 ) n = 2 =) 6a2 = 3a1 a0 = 3a0 a0 =) 1 a2 = 3 a0 4 1 n = 3 =) 12a3 = 4a2 a1 = 3 a0 + a 0 =) a3 = 36 a0 . mientras que. . . la solucion general sera y 1 2 (x) = a0 x 1 x + 3 x 2 36 x 3 + 1 1 y la segunda solucion linealmente independiente sera y2(x) = u (x) B1y1(x) ln x (38) y queda como ejercicio demostrar la relacion de recurrencia para los coe cientes B n de la serie que describe u (x) = x 1 ! (39) Bixi Xi =0 9. k2< obviamente x = 0 es una singularidad regular.

Formulario de Metodos Matematicos la solucion vendra expresada de la forma 1 rX n y(x) = (x x0) an (x x0) n=0 con r real y determinado a traves de las ra ces de la ecuacion indicadora r2 ~ ~ + P (x0) 1 r + Q(x0) = 0 ~ ~ y donde P (x) y Q (x) son funciones anal ticas en el entorno de x = x0 y por lo tanto 1 1 ~ X X ~ n n P (x0) = bn (x x0) ^ Q(x0) = cn (x x0) n=0 n=0 Para la Ecuacion de Bessel ~ =1 ^ ~ 2k 2 2 . para r = k proponemos 1 k X anxn y1(x) = x n=0 Al hacer las cuentas X 1 X 1 2 2 k n k 2 n x k y1(x) = x an 2x x k anx n=2 n=0 1 X 0 k n xy1 (x) = x (k + p) anx n=0 1 2 00 k X n x y (x) = x (k + p) (k + p 1) a x 1 n=0 n la ecuacion de Bessel queda como 1 1 X X 2 n n (k + n) (k + n 1) + (k + n) k anx + an 2x = 0 n=0 1 n=2 X n (2n + 1) a x+ [k (2n + k) a + a n 2 ]x =0 1 n=2 k y por consiguiente obtenemos la relacion de recurrencia a an = n 2 n (2k + n) donde es claro que a1 = 0: Adicionalmente. c2 =1 P (x) = 1 ) b0 Q(x) = x ) c0 = k los demas coe cientes b's y c's se anulan. si suponemos a0 = 1 k 2 (k + 1) Luis A. La ecuacion indicadora y sus ra ces quedan como 2 2 2 m (m 1) + m k = 0 ) m = k ) r1.2 = k Donde. Nu~nez Universidad Industrial de Santander 27 .

de orden k de primera especie. n a0 a2n = ( 1) 22n n! (k + 1) (k + 2) (k + n) Por lo tanto.. . Nu~nez Universidad Industrial de Santander 28 . Si k = 0 entonces 1 n ( 1) J (x) = x 2n 0 n=0 (n!)2 2 X Para el caso particular de k = m entero positivo la funcion de Bessel de primera especie toma la forma de J m (x) = 1 n x 2n+m n=0 n! (n + m)! ( 1) 2 X Luis A. Formulario de Metodos Matematicos tendremos a1 = a 3 = a 5 = =0 a0 a2 = 2 (2k + 2) a0 a4 = 2 4 (2k + 2) (2k + 4) . la primera de las soluciones sera J k (x) = 1 n x 2n+k ( 1) n=0 (n + 1) (n + k + 1) 2 X la Funcion de Bessel.

Notese que esta ultima expresion tambien es valida para k 1 semientero.e. Nu~nez Universidad Industrial de Santander 29 . Formulario de Metodos Matematicos Para encontrar la segunda solucion linealmente independiente de la ecuacion de Bessel el metodo de Frobenius propone tres casos dependiendo el valor de k 8 < r1=r2r )6= entero ) k 6= entero r1 = r2 k=0 : r1 r2 = entero ) k = entero Caso 1: r1 r2 6= entero ) k 6= entero: La solucion general sera de la forma y(x) = C1Jk(x) + C2J k(x) donde 1 n ( 1) J (x) = x 2n k x>0 k n=0 (n + 1) (n k + 1) 2 X k k Para x < 0 se debe reemplazar x por k xk . k = n + . i. 2 Caso 2: r1 = r2 = r ) k = 0: La solucion general sera de la forma 1 X n K0(x) = a~nx + J0(x) ln x n=0 y los coe cientes a~ n se encuentran mediante el tradicional metodo de sustituirlos en la ecuacion de Bessel para k = 0 00 0 xy + y + xy = 0. De donde se obtiene 1 1 X X n+1 n 1 xK0(x) = a~nx + xJ0(x) ln x = a~n 2x + xJ0(x) ln x n=0 n=3 n 1 0 n 1 J0(x) 1 na~ x + (J (x) ln x) 1 na~ x + J0 (x) ln x + X X K0 (x) = = n 0 n 0 0 n=0 n=1 x 1 J0(x) 00 00 0 n (n X xK (x) = 1) a~ xn 1 + xJ (x) ln x + 2J (x) 0 n 0 0 x n=2 y por lo tanto 2 3 xJ000 ln x + 2J00 n a~n + a~n 1 2 0 (x) = 0 a~1 + 4~a2x + + J0 + xJ0 2 xn 1 + X 4 =0 }5 n=3 | {z Acomodando y derivando la expresion para J0 tendremos 2 0 1 n+1 1 n a~ + a~ xn 1 = 2J (x) = 2 2n ( 1) x2n 1 X 0 X a~1 + 4~a2x + nn 2 n=1 2n 1 2 n=3 2 (n!) Luis A.

es costumbre expresar esta solucion de una forma equivalente pero ligeramente diferente: Y (x) = 2 1 n 1 +1 +1 + +1 x 2 J (x) lnx + ( 1) 2 3 k 2 2n + 2 0 (n!)2 0 n=0 i X h donde. tendre-mos 1 h i X 2 2n+1 a~1x +n=1 (2n + 1) a~2n+1 + a~2n 1 x =0 2 h 1 (2n) 2 a~2n + a~2n i x2n + 4~a2x 2 n+1 = x + n=1 ( 1) 1 2 22n (n!)2 x2n n X X n=2 2 Por lo cual a~1 = a~3 = a~5 = = 0 mientras que 4~a2 = 1. una vez mas. a~ = n+1 1+1+ 1+ 1 + + 1 ( 1) 2n 2n 2 2 3 4 k 2 (n!) La expresion para la solucion general de la ecuacion de Bessel para k = 0 sera K (x) = 1 n+1 1 +1 + 1 +1 + +1 + J (x) ln x ( 1) x 2n 0 n =0 (n!) 2 2 3 4 k 2 0 X En F sica. . Formulario de Metodos Matematicos Ahora multiplicando la expresion por x y separando las sumatorias en sus terminos pares e impares. 2 (2n) a~2n + a~2n = ( 1) n+1 2n n>1 2 2n 2 2 (n!) De esta forma los coe cientes quedan como: 1 a~2 = 1+2 = 1+ 22 24 (2!)2 2 2 21 1 1 1 a~4 = . 2 4 .577215664901 es la constante de Euler-Mascheroni. = 0. Caso 3: r1 r2 = entero ) k = entero: La solucion general sera de la forma X 1 k+n Kk(x) = a~nx + CJn(x) ln x n=0 Procediendo de forma equivalente a la situacion anterior tenemos que la solucion general podra expresarse (luego de una laboriosa faena) como Kk(x) = (k n 1)! x 2n k H x k k 1 1 2 n! 2 k 2k ! 2 X n=0 1 n 1 X ( 1) [H + H ] x 2n+k n n+k + Jk(x) ln x 2 n=1 n! (k + n)! 2 Luis A. Nu~nez Universidad Industrial de Santander 30 .

~ La funciones Zk(x) y Zk(x) se denominan Funciones Cil ndricas de orden k Propiedades de las Funciones de Bessel Luis A. la soluciones generales para la ecuacion de Bessel. k 6= entero ~ k=0 _ entero Zk(x) = C1Jk(x) + C2Yk(x). Formulario de Metodos Matematicos Y nalmente la Funcion de Bessel de orden k de segunda especie o Funcion de Neumann Y (x) = (k n 1)! x 2n k Hk x k k k 1 1 n=0 (n!) 2 2 k! 2 X 1 n 1 X ( 1) [H + H ] x 2n+k 2 h x i n)! 2 2 n n+k + Jk(x) ln + n=1 n! (k + En ambos casos 1 1 1 Hn = 1 + 2 + 3 + + n Mas aun Y (x) = 2 J (x) ln x 1 k 1 (k n 1)! x 2n k k k n=0 2 2 (n!) 2 1 n X ( 1) 1 x 2n+k [ (n + 1) + (n + k + 1)] n=1 n! (k + n)! 2 0 X (n) donde (n) = es la funcion Digamma con (n) 1 1 1 (n + 1) = + 1 + + + + 2 3 n (1) = Tambien es costumbre de nir la funcion de Bessel de segunda especie en terminos de las de primera especie Nk(x) = Yk(x) = Jk(x) cos k J k(x) sen k Notese que para k = m entero. se expresan segun el caso en Zk(x) = C1Jk(x) + C2J k(x). aplicando la regla de L'Hospital d [Jk(x) cos k J k(x)] Nm(x) = dk d [sen k ] dk k=m d d = Jn(x) sen n + cos n Jk(x) J k (x) dk dk cos n k=m 1 d n d = dk Jk(x) ( 1) dk J (x) k k=m De este modo. aparentemente no esta de nida. Nu~nez Universidad Industrial de Santander 31 . Pero.

.

2. Nu~nez Universidad Industrial de Santander 32 .1. Formulario de Metodos Matematicos 9. Otras Formas de la Ecuacion de Bessel Haciendo los cambios de variables correspondientes llegamos a 2 2 2 2 u (x) + 1 2 u (x) +x 00 0 1 u(x) = 0 + k x 2 x donde u(x) = x Zk( x ) 00 o tambien u (x) + x u(x) = 0 p con u(x) = xZ +2 + p 2x 2 1+ 1 2 9. Relaciones de Recurrencia: Las funciones de Bessel tienen las siguientes relaciones de recurrencia xJk+1(x) 2k Jk(x) + xJk 1(x) = 0 0 Jk+1(x) + 2Jk (x) Jk 1(x) = 0 Para demostrar estas relaciones partimos por demostrar la siguiente identidad k 0 k x Jk(x) = x Jk 1(x) x k 0 k Jk(x) = x Jk+1(x) Luis A.

Funciones de Bessel y Funciones Elementales 1 Las funciones de Bessel de orden semientero. Formulario de Metodos Matematicos De la expresion para Jk(x) se obtiene # " 1 n 0 ( 1) 1 ( 1) n 2 (n + k) x 2n+2k 1 X x 2n+2k n =0 (n + 1) (n + k + 1) = X n=0 2n+k 2 2 (n + 1) (n + k + 1) k n =x 1 ( 1) x2n+(k 1) X 2n+(k 1) n=0 2 (n + 1) (n + k) = k x Jk 1(x) Unos cambios apropiados nos llevan a demostrar las segunda de las relaciones y al desarrollar las derivadas k 0 k 1 k 0 k x Jk(x) = kx Jk(x) + x Jk (x) = x Jk 1(x) k 0 k 1 k 0 k x Jk(x) = kx Jk(x) + x Jk (x) = x Jk+1(x) Por lo cual 0 kJk(x) + xJk (x) = xJk 1(x) 0 kJk(x) + xJk (x) = xJk+1(x) Al sumar y restar miembro a miembro obtenemos las relaciones de recurrencia. k = 2 se expresa como 1 n ( 1) J1=2(x) = r x x 2n 2 n=0 (n + 1) n + 2 3 2 pero como X 2 = n + 2 =2 3 1 3 5 2 2 2n 3 3 5 2n + 1 (2n + 1) se encuentra que 1 n ( 1) J1=2(x) = x r (2n + 1) x2n n 2 n=0 2 n! 2 3 1 3 5 X + p x x2 x4 x6 = 23 1 + 2x 2 3 2 4 3 5 2 4 6 3 5 7 1 x3 x x7 1 5 =p 23 1 + += p 23 sen x 2x 3! 5! 7! 2x 3 p Finalmente. 9. y otra vez invocando a las propiedades de la funcion Gamma: 2 = 2 r 2 J (x) = sen x 1=2 x . Es obvia la importancia que adquieren J1(x) y J0(x) para generar el resto de las funciones de Bessel.3.

Luis A. Nu~nez Universidad Industrial de Santander 33 .

Re exion: Las funciones de Bessel cumplen con m J m(x) = ( 1) Jm(x) Para el caso k = m entero positivo la Funcion de Bessel de primera especie toma la forma de J (x) = 1 n x 2n+m ( 1) m n =0 n! (n + m)! 2 X Si k = m es un entero negativo los primeros m terminos de la serie anterior se anulan ya que (n) ! 1 para n = 1. Jn+ 21 (x) = x (xdx)n x n 2 n+ 1 d cos x 2 Las funciones de Bessel de orden semientero son las unicas funciones de Bessel que pueden ser expresadas en terminos de funciones elementales. 3. 3. 2. 9.4. y la serie se arma como x 2n+m = 1 1 ( 1)l+m X n ( 1) n! X x 2l+m 2 l =0 (l + m)! l! J m(x) = (n m)! n=m 2 m J m(x) = ( 1) Jm(x) Luis A. 3. 2. Formulario de Metodos Matematicos Equivalentemente se puede demostrar que r cos x J 1=2(x) = 2 x y ahora utilizando las relaciones de recurrencia tendremos que 1 J3=2(x) = J 1=2(x) + x Ji 1=2(x) r = x h x cos x 2 sen x As mismo J5=2(x) = J1=2(x) + 3J (x) 3=2 x =r 3 2 x x2 x sen x sen x 3 cos x En general Jn+ 21 (x) = ( 1) r x (xdx)n x n = 1. 2. n n 2 n+ 1 d sen x r 2 n = 1. Nu~nez Universidad Industrial de Santander 34 .

se obtienen J Z 2n (x) = 0 1 cos (x sen ) cos (2n ) d Z 0= 0 cos (x sen ) cos ([2n + 1] ) d 1 J Z 2n+1 (x) = 0 sen (x sen ) sen ([2n + 1] ) d 1 Z 0= 0 sen (x sen ) sen (2n ) d 1 Luis A. podemos escribir 1 X cos (x sen ) = J0(x) + 2 J2n(x) cos (2n ) n=1 1 X sen (x sen ) = 2 J2n+1(x) sen ([2n + 1] ) n=0 Multiplicando miembro a miembro en la primera de ellas por cos (2k ) (y por cos ([2k + 1] ) ) y la segunda por sen ([2k + 1] ) (y por sen (2k )). Formulario de Metodos Matematicos 9. tambien miembro a miembro y termino por termino en las series.5. t) = e X X 2 tn (t )= 2nn! 2nn! t n Jn(x) tn X t n=0 n=0 n= 1 9. Nu~nez Universidad Industrial de Santander 35 .6. t) = e x2 1 t ) desarrollando las dos series para las exponenciales xt x x n x e 2 = 1 + 2 t + 222! t2 + + 2 n! n n t + x x x 2 ( 1) x n n n e 2t = 1 t1 + t + + t + 2 2 n 2 2! 2 n! Por lo tanto multiplicando ambas series x 1 ( 1 xn )( 1 ( 1)n xn 1 )= B(x. Representacion Integral para las Funciones de Bessel i En la expresion anterior para la funcion generatriz se realiza el siguiente cambio de varible t = e de este modo (t ) ix sen e x2 1 t =e = cos (x sen ) + i sen (x sen ) y por lo tanto 1 X cos (x sen ) + i sen (x sen ) = Jn(x) [cos (n ) + i sen (n )] n= 1 m igualando partes reales e imaginarias y recordando que J m(x) = ( 1) Jm(x). para anular los terminos impares en la serie de la parte real y los pares en la de la parte imaginaria. Integrando (en 0 ). Funcion Generatriz La funcion generatriz para las Funciones de Bessel es (t B(x.

Ortogonalidad de las Funciones de Bessel 9. planteamos la ecuacion para dos ndices diferentes 1 y 2 por lo tanto quedan como 2 k 0 0 [xJk ( 1x)] 2 x Jk( 1x) = 0 + 1 x 2 k 0 0 [xJk ( 2x)] + 22x x Jk( 2x) = 0 Multiplicando apropiadamente por Jk( 1x) y Jk( 2x).e.7. i.7. Jk( i) = 0 podemos deducir que las funciones de Bessel son ortogonales 1 Z xJk( ix)Jk( jx)dx / ij 2 i2j 0 Mas aun partiendo de la ecuacion de Bessel original se puede llegar a k J ( x) k 1 [J0 ( )]2 + 2 k2 [J ( )]2 2 = k 2 k 2 k 2 Luis A.1. tendremos 2 k u(x) = 0 2 1 0 u00 (x) + x u (x) + x2 donde u(x) = Jk( x) multiplicando por x la ecuacion diferencial puede ser reescrita como 2 k 0 0 [xJk ( x)] + 2x x Jk( x) = 0 suponiendo k real y positivo. Integrando y restando miembro a miembro tendremos que 1 1 n 0 0 0 0o Z Z Jk( 2x) [xJk ( 1x)] Jk( 1x) [xJk ( 2x)] dx 2212 0 xJk( 1x)Jk( 2x)dx = 0 Z 1 0 0 0 = 0 [Jk( 2x)xJk ( 1x) Jk( 1x)xJk ( 2x)] dx 0 0 x=1 = J k( 2 x)xJ ( x) J ( x)xJ ( 2 x) k 1 k 1 k j x=0 para i las ra ces de los polinomios de Bessel. Ortogonalidad: Haciendo el caso particular de =0y = 1 en la primera de las expresiones equivalentes para la ecuacion de Bessel. Nu~nez Universidad Industrial de Santander 36 . Formulario de Metodos Matematicos Sumando miembro a miembro primera con cuarta y segunda con tercera tendremos la expresion integral para las funciones de Bessel Z Jn(x) = 0 cos (cos (n ) x sen ) d 1 ya que todos sabemos que cos (n x sen ) = cos (2n ) cos (x sen ) + sen (2n ) sen (x sen ) 9.

n) = nz u)n 1 uzdu z z (1 u) n 0 + Z 0 (1 1) 1 n(n 1) 1 =n z (1 u) n 2 z+1 n(n + (1 u) n 2 u z+1 du ( u z(z + 1) 0 z(z + 1) Z0 ) Luis A. n) y un cambio estrategico de variable u= t . Nu~nez Universidad Industrial de Santander 37 . n) = 0 Re z > 0 n tz 1dt y como es conocido que n l t e t n !1 n Entonces m 1 Z 1 nl!1 F (z. 1) = 0 e t dt(z) tz 1 m Con lo cual queda demostrada la primera de propuestas de Euler. n) = n 0 (1 u) u du Re z > 0 Un par de integraciones por partes nos llevan a comprobar ( u z 1 n 1 ) F (z. Funcion Gamma e Integrales de Probabilidad Es la generalizacion del factorial n! el cual solo esta de nido para enteros.577215664901 se conoce como la constante de Euler-Mascheroni: Tambien es frecuente encontrar (z) con algunas variantes cosmeticas: Z0 ln 1 1 2 1 z 1 1 Z z Z (z) = 2 dt = k 0 0 e t t2z 1dt = t e kttz 1dt Para probar la equivalencia de las dos primeras de niciones inventamos las siguiente funcion de dos variables Z n 1t n F (z. n zZ n n z 1 F (z. n) = F (z. (z) se de ne indistintamente como: Z 1 tz 1 (z 1)Re z > 0 (z) = 0 e t dt (z 1)! 1 2 3n Y z (z) = l m n n!1 z (z + 1) (z + 2) (z + n) 1 1 z z (z) = ze z 1+ n e n Y n=1 donde n es un entero positivo y = 0. Formulario de Metodos Matematicos 10. Para construir la segunda partimos de la misma funcion F (z.1. mientras que (z) esta de nida para toda variable compleja z con parte real positiva. Algunas funciones Especiales 10.

.

2. n) = F (z. Formulario de Metodos Matematicos que el primer termino se anula siempre. Nu~nez Universidad Industrial de Santander 38 . En particular. . si z = n = 1.5772156649015328606065112 Luis A. de la primera de las de niciones se tiene por integracion directa Z 1 (1) = 0 e tdt = 1 1 Z 1 1 2 = 0 Z p 2 e u du = e tt 1=2dt = 0 mientras que de la segunda. Repitiendo el proceso n veces z n(n 1)(n 2)(n 3) 3 2 1 1 F (z. Este puede demostrarse partiendo de la segunda de nicion de Euler (z) = l m 1 2 3n z n n!1 z (z + 1) (z + 2) (z + n) = l m1 n m z n 1+ z 1 n =lm 1 nz n!1 z m=1 m + z n!1 z m=1 m Por lo tanto Y Y n 1 m 1+ ze z ln n (z) m =z nl!1 m=1 Ahora bien. la serie exponente del primero de los terminos converge a un valor constante y cual ha quedado bautizado como la constante de Euler-Mascheroni ! ) = lm 1+2 n +3 +4 + n ln n = l m ( m ln n n 1 1 1 1 !1 n 1 !1 m=1 X = 0. 3. se obtiene (n + 1) = n! n+ 1 1 3 5 (2n 1) = n p 2 2 Finalmente la tercera de las de niciones de la funcion (z) viene expresada en termino de un producto in nito (Weierstrass). z n(n 1)(n 2)(n 3) 3 2 1 (z) )=lmn n!1 1 n!1 z(z + 1)(z + 2)(z + 3) (z + n) Se completa la equivalencia para la primera y segunda de niciones de Euler. multiplicando y dividiendo por Y n m=1 ez=m = ez( Pn m =1 m 1 ) nos queda Y n 1 n 1 ( z ) =z z((P m ) ln n) 1+ m (z) nl me m=1 nl m e z=m !1 n !1 o m=1 Y Donde. haciendo l m F (z. n) = n uz+n 1du z(z + 1)(z + 2)(z + 3) (z + n 1) Z0 z = n n(n 1)(n 2)(n 3) 3 2 1 z(z + 1)(z + 2)(z + 3) (z + n) Una vez mas.

. si p dx ' = arccot x. d' = p 2 x (1 + x) nos queda 1 xz 1dx Z = (z) (1 z) = 0 (1 + x) sen z p Es inmediato volver a comprobar 2 = 1 Del mismo modo. La segunda de las propiedades (formula de re exion) se comprueba tambien partiendo de de nicion 2 integral de Euler con el siguiente cambio de variable t = u . si utilizamos ademas la relacion de recurrencia encontramos (z) ( z) = z sen z Luis A. Formulario de Metodos Matematicos Con lo cual queda demostrada la tercera de las propuestas para expresar la Funcion Gamma 1 1 z z z (z) = ze 1+ n e n Y n=1 Es facil comprobar las siguientes propiedades (z + 1) = z (z) Z = (z) (1 z) = 0 1 xz 1dx (1 + x) sen z 1 (z) z + 22z 1 2 = p (2z) La primera de ellas (la relacion de recurrencia) es trivial y se obtiene integrando por partes la de nicion integral de Euler. Esta propiedad es valida 0. Nu~nez Universidad Industrial de Santander 39 . la integral anterior queda como 1 Z 2 Z =2 (z) (1 z) = 4 0 e d 0 cot2z 1 'd' =4 2 Z0 =2 'd' c ot 2z 1 1 Finalmente. 1. Z 1 1 tz 1 e t dt = z (z) (z + 1) = 0 1 e ttzdt = z e ttz 1 0 Z +z 0 8z con z 6= El primer sumando de la integracion por partes se anula siempre. Z 1 2 Z1 2 (z) (1 z) = 2 0 e u u2z 1du 2 0 e v v1 2zdv ZZ =4 0 e (u +v ) v dudv u 2z 1 1 2 2 si ahora hacemos u = cos ' y v = sen '. 2.

adicionalmente sustituimos n por 2n (2z) = l m 1 2 3n 2z 1 2 32n 2z n =lm (2n) n!1 2z (2z + 1) (2z + n) n!1 2z (2z + 1) (2z + 2n) por lo cual se tiene la siguiente expresion dentro del argumento del l mite 22z 1 z (z + 1) (z + 2) (z + n) n z 1 2 3n 1 2 3 n nz+ 21 +n z + 21 z + 23z + 21 12 3 2n 2z (2z + 1) (2z + 2) (2z + 2n) (2n)2z la cual se reacomoda como lm 2z 1 2 (2z + 2n) 2 (n!) 2z (2z + 1) (2z + 2) n2z+ 21 1 3 1 2z y n!1 (2n)! z z + 2 (z + 1) z + 2 (z + 2) z + 2 + n (z + n) (2n) 1 3 n 2 z z + 2 (z + 1) z + 2 (z + 2) z+ 2 2n 1 22z 1 (n!) nz+ 2 1 nl m 1 (z + 1) z + 3 (z + 2) z + 12 n (z + n) (2n)! 22zn2z !1 z z + 2 2 + Entonces . Formulario de Metodos Matematicos ! La formula de duplicacion y puede comprobarse partiendo de la de nicion del l mite de Euler. as 2 (2z) 2 =p 2z 1 1 (z) z + Hay que hacer notar que en el numerador sustituimos directamente las expresiones para del l mite de Euler y en la del denominador.

2z 1 1 2 p n 2 (z) z + 2n 2 (n!) 2 =lm (2z) n !1 (2n)! por lo cual se deduce que el valor de lado izquierdo de la ecuacion es independiente del valor de z por lo tanto es el mismo valor para cualquier z y lo evaluamos para z = 1 2 2z 1 1 2 (z) z + 1 (2z) 2 = 2= p con lo cual queda comprobada la formula de duplicacion. Otras propiedades que van quedar como curiosidad y sin demostracion son: 1n 1 k (nz) = (2 )(1 n)=2 nnz 2 k=0 z +n Y z z! (z + 1) = = w w!(z w)! (w + 1) (z w + 1) A partir de (z) se de nen otras funciones especiales. las cuales se expresan conjuntamente con sus propie-dades como Luis A. Nu~nez Universidad Industrial de Santander 40 .

dz ln (z!) F(z) = nl!1 ln n (z + 1) (z + 2)(z + n) d m 1 1 1 y nalmente acomodando. Para evitar tratar con derivadas de los factoriales es costumbre trabajar con sus derivadas logar tmicas.2. La Funciones Digamma y Poligamma . para llegar a la de nicion mas conocida 1 1 1 F(z) =n=1 (z + n) n X Tambien se le conoce como funcion Psi 0 (z) d d (z) = = ln ( (z)) F(z 1) = ln ((z 1)!) (z) dz dz con las siguientes propiedades (z + 1) = 1 + (z) (z 1) z (z) = cot z . Formulario de Metodos Matematicos 10. A partir de la segunda de nicion (z + 1) = z! = l m 1 2 3n z n n!1 (z + 1) (z + 2) (z + n) ln (z!) = ln nl!1 (z + 1) (z + 2) (z + n) m 1 2 3 n n z = l m (ln (n!) + z ln n ln (z + 1) ln (z + 2) ln (z + n)) n!1 ahora derivando.

Nu~nez Universidad Industrial de Santander 41 . para ello notamos que Z1 0 tz 1 (z) = e t ln t dt 0 y sustituyendo la identidad de Frullani ln t = 1 dx e x e xt Z x 0 Luis A. (z) + z+ 1 + 2 ln 2 = 2 (2z) 2 De donde se pueden deducir 0 (1) = (1) = La funcion (z) puede ser expresada en terminos de integrales de nidas.

3 (z + 1) = F (z) = m F(z) = ( 1) m! n=1 m+1 dz (z + n) y cuya serie puede ser expresada en terminos de la funcion Zeta de Riemman 1 (m) X 1 m n=1 n como (m) m+1 F (0) = 1) m! (m + 1) de esta forma es posible desarrollar en serie de Maclaurin 2 3 n z z n z ln(n!) = + 2 (2) 3 (3) + + ( 1) n (n) + 10. Supongamos que consideramos el caso z x 2 <: Por lo cual estamos interesados en el caso x 1: Partimos de 1 1 1 1 1 (x) = (x + 1) = e tx t dt = x x Z0 x Z0 t+x ln t e dt Luis A. Nu~nez Universidad Industrial de Santander 42 . Formulario de Metodos Matematicos tendremos 0 (z) = 1 1 dx dt et t z 1 e x e xt Z Z 0 0 x 1 x 1 Z d Z = 0 x 0 e x e xt e ttz 1dt 1 1 x 1 dx 1 Z d Z tz 1 = 0 x ex 0 e t dt Z0 x Z0 e t(x+1)tz 1dt Z 1 dx h i = (z) e x (x + 1) z 0 x z R 1 kt z 1 ya que (z) = k 0 e t dt y por lo tanto Z 1 dx h i (z) = ex (x + 1) z x 0 Tambien daremos (sin demostracion) otras expresiones Z 1 dt (z) = 0 et e tz t t 1 e 1 (z) = + 1 xz 1 dx Z0 1 x La Funcion Poligamma se obtiene derivando en forma repetida la Funcion Digamma m 1 1 d (m) (m) m+1 X m = 1. 2.3. La Aproximacion de Stirling El comportamiento asintotico de las funciones especiales sera tratado en una clase aparte. Pero la impor-tancia de la Aproximacion de Stirling obliga a que se trate en este punto.

Formulario de Metodos Matematicos haciendo t = xu tenemos que Z1 (x) = xx e x(u ln u)du 0 Ahora bien. y) = t (1 t) dt Re x > 0 ^ Re y > 0 0 B(x.4. utilizando que 1 dve 2 1 v2 vn = 8p (n 1) n = 2k <p 2 n=0 2 1 3 5 Z 1 0 n = 2k 1 : que e integrando termino a termino. en series de Taylor los exponenciales que contengan terminos p x (x) xxe x 1 1 2 1+ 1 1 + 1 + dve 2 v p v3 v4 3 v5 px Z 1 3 x 4x 5x 2 2! 3px 4x 5x 2 2 1 + 1 1 + 1 + v3 v4 3 v5 ) 3! 3px 4x 5x 2 3 1 1 3 1 4 1 5 + v v + 3 v + Finalmente. el integrando tendra su maximo en u = 1 donde la exponencial tiene su m nimo y es entorno a ese punto que desarrollar en series de Taylor 1 2 1 3 1 4 u ln u = 1 + 2 (u 1) 3 (u 1) + 4 (u 1) + por lo cual Z0 1 Z 0 1 (x) = xx e x(u ln u) du xx du e x(1+ 21 (u 1) 2 3 1 (u 1) + 3 )du p 1) nos lleva Otro cambio de variable v = x (u (x) xxe x 1 exp 1 v3 1 v4 + 1 v5 dve 21 v2 3 Z x p 4x 5x 2 px p 3 x 1 Para valores x 1 se expande. y) = (x)+(y) y) (x Luis A. Nu~nez Universidad Industrial de Santander 43 . La funcion Beta Z1 x 1 y 1 B(x. tendremos r (x) x xxe x 1 + 12x + 288 x2 + 2 1 1 10.

) e (z + 1.1.4. ) = e t dt las cuales claramente cumplen con (z. ) = z z (z. ) = e t dt 0 Z1 tz 1 (z. Nu~nez Universidad Industrial de Santander 44 . ) + e Luis A. ) y Funcion Gamma Complementaria (z. Formulario de Metodos Matematicos 10. ) = z (z. ) + (z. ) = (z) y resumen z (z + 1. La Funcion Integral de Probabilidad La funcion Integral de Probabilidad para una variable compleja arbitraria z como Z z dt (z) = p 0 e t 2 2 Obviamente (0) = 0 y (1) = 1: A partir de esta funcion se de ne la Funcion Error y su complemento z 2 Z p erf(z) = e dt = 2 (z) t 0 z 2 Z p erf c(z) = t e dt = 2 [1 (z)] z Funcion Gamma Incompleta (z. ) Z tz 1 (z.

Moscu. New York. G. C. y Bence. P Braselton (1994) Di erential Equations with MAPLE V (Academic Press. D. W. 1969. L.. H. S. Edwards.F. (Shaum's Series McGraw-Hill. Elsgoltz (1969) Ecuaciones Diferenciales y Calculo Variacional. [2] F. M.html [11] M. [9] N. New York). Nueva York) [4] W.com/ Luis A. H. K. Weber. Krasnov y G. Abell y J. Pollard (1963) Ordinary Di erential Equations (Harper and Row.org/welcome. Hobson. New York) (Existe Traduc-cion). (Existe Traduccion) [5] C. Englewood Cli . N.P. E. Moscu). (1971) Introduction to Mathematical Physics (Prentice Hall. M.J. DiPrima. [7] Harper. N. Ayres (1952) Di erential Equations.J. Tenenbaun y H. Nu~nez Universidad Industrial de Santander 45 . [12] Riley. (8th Edition) John Wiley. MathWorld http://mathworld. B. Mir. Problemas de Ecuaciones Diferenciales Ordinarias. Kiseliov. 2004. Englewood Cli . (Mir. Dover. E.C. New York).wolfram..Weber. Lebevedev (1972) (Special Functions and Their Applications. Makarenko. E. H. New York) [10] The Mathematical Atlas http://www.. Elementary Di erential Equations and Boundary Problems.J:) [6] L. (2002) Mathematical Methods for Physics and Enginee-ring (Cambridge University Press) [13] Weisstein. (2000) Mathematical Methods for Physicists 5ta Edicion (Academic Press.math-atlas. N. Boyce y R. Formulario de Metodos Matematicos Referencias [1] M.. [3] Arfken. Penney (2003) Elementary Di ential Equations with Boundary Value Problems (Prentice Hall.J:) [8] A.