La fu n c i 6 n G a m m a til en la evaluaci6n de ciertas integrales defi-
nidas, muchas de ellas en aplicacione s en ffsica, es una generalizaci6n del factorial. Recordando la definici6n de factorial de n para n! se tiene nI. = n(n+l)f. y tambin que O l. = 1 H = 1 F un c i 6 n G a m m a: A partir de la definici6n de n cuando n = 0,1, , es factible graficar la funci6n n f. obteniendo una serie de puntos. Es natural preguntar si hay alguna funci6n cuya gr.fica sea una curttAllana y contina Il' I que conecte esos puntos; es decir, una fun-
.. " --fO , , t) / ci6n que se reduzca a n VY\ GT+ y que
a su vez de un conjunto continuo de 'Alores para valores no enteros de n. Al tratar de hallar tal funci6n se debe inve stigar que ocurre cual do se in- tegra por partes la expresi6n 1 = J X'n e-x dx tornando U=X n dV - e-x dx - 1 = J Xn e -x dx - _ Xn e-x +n j Xh -1 e-x dx (1) - Al seleccionar los limites de integraci6n plara los cuales el primer trmi- no del miembro derecho se anule para ambos limites, se encumtra que esa pareja son O e d:J Fue s para cualquier valor de n > O (no nece saria- mente ente ro / se tiene que =0 y tambin = , 217 -x e Jx - - xn ] e s la for:ma indeter:minada eX X -" pero aplicando la regla de '1!t (J pital un n:mero p de veces, siendo p :ma- yor que n. 6 p n (pri:mer entero :mayor o igual a n e s en caso de que n sea entero se tiene Xn (n-l )(n- 2)(n- 3) (n-p+l) O - - - - eX X l>cP X p - n eX X '> OC' Las dos integrale s de (1) to:madas entre O e 00 para n > O represen- tan funciones definidas de n. As que se tiene :: n J e-x o dx (n >0) ( 2) La integral del :mie:mbro derecho es una funci6n de n que, cuc:ndo se :multi- plica por n d la funci6n de n.. Sea n entero 6 fraccionario. Todo sto coincide con factorial de n cuando n es un entero pues tiene la propiedad :: As r (n) e-X dx (n >0) ( 3 ) l' (n):: nr (n-l) ........ :------.. .. r (n+1):: n r (n)f ( 4) se est ya en disposici6n de calcular el valor de la integral (3) para valo- res de n dentro de un intervalo unitario, diga:mos 1 < n ::::. 2, la relaci6n , 4) dar los valores de la integral en el intervalo unitario siguiente 2 < n ;:;. 3 yaspara todos los valores de n > 1 . 218 Ms an, usando la f6rmula (4) en la forma r(n) = r (n+l) n e s posible de los valores de la integral para 1 <. n ~ 2 obtener los valo- res de la integral para O" n ~ l. Asr, pues es posible hallar el va- 10r de r(n) para n ';>. en el supuesto de que conocernos su \ll.lor para 1 <n ~ 2 . Generalizando an ms, para valore s negativos de n tornando la f6rmula 4 6 4 1 corno definici6n de r(n) cuando n es un nmero negativo cualquiera, excepto los enteros negativos. Por ejemplo, tornando n :: -1/2 en (4 1 ) se obtiene r(-1/2) en trminos de l' (1/2) los nmeros 0, -1, -2 (Z-) dan valores infinitos al ser susti- tuido s en (4 J) se excluyen del dominio de definici6n de la funci6n gamma. La definici6n completa para todos los valores reales de n excepto cuando n es cero o entero negativo es: cP r(n) = f Xn e-x dx o l'(n) = r (n+lL (O > n n (n >0) -1 , -:t, . Z - ) se puede generalizar an ms a fin de incluir valore s complejos de n, obte- nindose asi la funci6n ti de Gauss }l (n) Ejemplo: Hllese el valor de a) 1'(3,6) b) r(0,5) c) r (-0,5) a) r (3,6);;: 2.6 r (2,6) = 2.6 k 1.6 r (1.6) por la f6rmula (4) log [r( 3.6) J = log (2.6) +log (1.6) + log 1'(1/6) 219 = 0.4150 + O. 2041 + 9, 9511 - 10 = O. 5702 r( 3 6) = 3. 7l 7. b) 1'(0.5)=21'(1.5) =2(0.8862)=1.772 c) r(-0.5) = l' L0-,5L_ = - 4 r(1.5) = - 3.545 -0.5 E s un ejercicio til encontrar el valor exacto de r(1/2) 00 r (1/2) =J X-l/ 2 e -x dx sea X = Y 2 - __ '" dx = 2y dy o l' (1/2) = 2J OO 2 -1/2 2 (y) e-Y y dy = o = 2 1 00 2 e -y dy o si en lugar de usar y se torna x - - r (1/2) = 2Joo 2 dx = 2 JOO e-y2 dy e-x o o [1'{1/2) J 2 100 x2 2jOO 2 - 2 e- dx e-Y dy = - o o fOO 2 2 - 4 e -x e -y dx dy - o - 4 JOO e-x 2_y2 dx dy = 4 fOO e-(x 2 +y 2 kix dy - o o Utilizando coordenadas polares: X = (Jcos Q dx dy = P d jJ dQ } dado que e s un diferencial de rea .. { r(1!2 J ] 2 = 4 fOO JW o o . / 2 2 e'\x +y ) dydx - -
220 = 4 '((/2 .Id f dQ = -2 J e _f2 00 o o = Z J1'lz o d9 = 11 . por tanto r (1/2) = V 1 Una f6rmu1a til: 00 r(m) = J S m-1 o e -S dS 00 r(n) = 1 t n - 1 e- t dt o (m > O Y n:> O) [r(m)J [r(n) J= m sm-1 o tomando rOO e -s dS J o s = x 2 dS = 2x dx t = Y 2 n-1 t dt = 2y dy -t e 00 r(m). r(n) = J 2X 2 m-1 e -x 2 dx J 00 o 2 y2n-1 e- y2 o 2 2 X 2m-1 y 2n-1 e-(x +y ) dy dx Cambiando a coordenadas Polares: dEt dt dy r{m) r{n) = 4 J tr!2 j 00 (j/cos e) 2m-1 (fsen e )2n-1 :f2 e Id f de o o cos 2m-1 ~ Sen 2t-1 . Q dQ. .. .1)2= Z tomando J T/2 r{m) r{n) = 2 J o 2m-1 2n-1 J co c o s (&) Sen ( ~ ) d ~ o 00 f /2m+2n-2 o e -z dz ,
Por 10 tanto = 2 j 1[/2 o 221 2m-l cos .Q- 2m-l 2n-l }11/ 2 Cos 9- Sen 9- d ~ = o Zn-l Sen e l'(m) 1"(n) 1'(m+n) dl} T (m+n) (m ~ O y n> O) E s posible tener lID caso e special al sustituir 2m-1 por n. y Zn-l por O es decir m = n+1 2 y n = 1/2 df) = 1"( U;l) V 11=- -- - 11/ 2 - J Sen n Q dQ - o n >-1 la ltima integral resulta por simetra ---4> se puede obtener cambiando 2n-1 por n y 2m-1 por O. 1T/ _ 2 Una exPresi6n til ) cos n & d9- o
j1f!z o Sen en de expre- sadas mediante la funci6n gamma. dS dt usando X 2 = S dS = 2x dx A dt = 2y dy r(m) :,l 00 (X2) m-l 2 ~ ( n ) =1 00 (y 2)n-l 2 e-x 2x dx e -y 2y dy o o 00
r(m) roen) = 4 J x 2m - 2 Zn-2 _x2 _y2 dx dy y e xy o 4 JOO X 2m-l y2n-l 2 2 - e-ex +y ) - dy dx cuando usamos o 222 x = f cos g y = f Sen & /!/2JCO r(m) l'(n) = 4J (fcos G) 2m-1 lfsen O)2n-1 e _y2..f d f o o .11/2 j co = 4) o o cos 2m-1 sen ().2n-1.f 2m+2n-jd .? dQ 112 = :Jo O- 2m-1 2n-1 J co co s r::r sen r::r el) m+n-1 2 fd f' dQ 2 si.f = Z o 1f/2 r(m) r(n) = 2 J 2m-1 cos -e a 2n-1 sen dQJCO Z m+n-1 o o j 7r/ 2 r(m) r(n) = 2 cos & 2m+l Sen O 2n-1 Z m+n-1 o o '11 2 r(m) r(n) = 2 J Cos () 2m+l Sen .e 2n - 1 r o 02 J C os 9- 2m+l Sen f}2n-1a.o o en caso de toxnar 2n-1 = O n = 1/2 - - l'(m)r(nL_ 2r(m+n) y si 2m+l = n '--Ti> m = e -z n+l 2 dz - dz l J7 / 2 Cos 2m-1Q Sen -e 2n- 1 d9 = CoJl.{). o da = r(1/2) r(T+ 1 ) r \ r (1/2 ) Cosn e = _ -j - . Sl n e s un entero par se tiene: r( n;!.)1' )/2) rl4 + 1) si n es impar - - - - 223 ( n-1 (n-3)(n-S) / / 2- '--2 2 - .... r(l 2) 1'(1 2) ( n )f.n-2 )(?--4 ) 2" \ 2 \ 2 ........ r(2/2) \ n-1 ) (!:-3 iJ_I!:5) ....... 7/_ n(n-2) (n-4) ..... r(l) (a) r ( 2 ~ ) 1" (1/2) - - - l' \7 +1) ( n_zX ~ 3 _ ) .. o ............ ro( 2 / 2 ) ~ / 2 ) b) n (n-2) (n-4) ............ ti (1/2) 1/2 1 a - - - "2 6 b - - 2 Si en la e xpresi6n 2 ' (1/2 :J Cos.e 2 m- 1 Sen.(}2n-1 de se toma Cos e 2 = X o - dx + 2 C o s ~ Sen '6 de- 21 112 , Cos ~ ) m-1 (Sen 2.e)n-1 Cos e Sen 9- de-= o o = +.J; X m-1 (1_X)n-1 (-dx) - - "m) r(n) r(m+nf J3 (m.n)
224 Apoyados en los teoremas: i) Si lim (x- a)p f(x) = A entonce s f(x) dx converge a) si P < 1 Y A es infinito. ii) J b f(x) dx diverge si p ~ 1 y A -4 O (A puede ser infinito) a b) (b-x)P f(x) = J3 entonce s b i) J f(x) dx diverge si p ~ 1 y J3 -4 O (J3 puede ser infinito) a b ii) J f(x) converge si p.::..l y J3 es finito. a 1 La funci6n j3(m,n) = J X m-1 (l_X)n-l dx converge para m >- O n>O o simultneamente y diverge para cualquier btro caso. a) Par a m ~ 1 . Y n ~ 1 j3(m,n) converge pues el integrando es continuo en O < X :5:.1 pues 1/2 ( ) J X m-l J3 m,n = (l_X)n-1 o dado que si O ~ m <. 1 y O c:::.. n <.. 1 la primera integral con- ver ge pue s lim X l-m X m - l (l_X)n-l 1 = con p = l-ro X ",>0+ y b = 1; la segunda integral tambin converge pues lim (l_X)l-n X m-l (l_Xn-l :;: 1 p = l-n b = 1 X -J- 225 Ejercicios: ro O) a) Jro e-X 3 b)J 3 Xe -x dx c)J Xa e -xdx o o o Jro Jro e- y3 O) 3 _4z2 d) X 6 e- 2x dx e) fY dy f)J dz o o o 1 ro -a'J1l JO) L 3 _4z2 g)J dx h)J X m dx (e n ) dz o i) '-- lnX - Lnx= U 1 Si F(m,n) = 1 X o e o Con m.n. a constantes (Ln 2:... ) X dx = r (n+1) Aplicaciones en Dinmica. o Una partcula se desplaza a partir del reposo, desde un punto ubicado a cms de un centro re atracci6n, hacia el centro de atracci6n, la fuerza de atracci6n vara proporcionalmente a la Inversa de la distancia. Hllese el tiempo necesario para llegar al centro de atracci6n, tornando que la dis- tancia al centro en el Instante : es X. F = m = - nl k X - - k - - X corno parte del resposo la velocidad inicial es nula as que dx dt = O t = O X=a d 2 X - - dt 2 = v dv dx yk d ( - dt - v - se torna corno una constante positiva puesto :-) d (v) dv dX - - - - - - - - dt dx dt dv -k ~ - - = - dx x en que dv = J-k dx X 226 --- - - - k Ln X + e como v = O cuando X = a - - - ~ km a = e v 2 = _ klm x + k L n a = k m 2 v= \f2k ~ L n ~ I I a - v 2 = 2 k L n a - x x I lf.--= V2k {Ln dx dx - a ---> dt = - - , - - - dt X " 2k' V Ln I x - - 1 . -;::::==---- ~ 2 k dx
se toma el --- - V' m a/x i agno negativo pues dx / dt es negativo. T=- 1 JO dx
Y = Ln a/x X = a e-Y -- - SI 'I2k ~ k a/x a - a e -y dx= dy T = - 1 100 -1/2 -y dy - a e 'f2k y o a fOO -1/2 -y a 100 l/a-l _y T= + dy Y e - f2k - ~ - 2 - k Y e dy= o o a r (1/2) - - ~ 2k a I T= flr = ~ 7r - a - '(2k