La Funcin Gamma de Euler.

Un Estudio Breve
Adrian Mara Legendre (175 !1"##$ %ro%uso& en 1"1'& llamar Funcin Gamma ( re%resentar con la letra corres%ondiente& & a una )uncin *ue +a,a sido introducida %or %rimera ve- en una carta *ue escri,i Leonard Euler (17.7!17"#$ a /+ristian Gold,ac+ (101.!170'$ en el a2o 17 1. 3e esta )uncin& aun*ue )ue escrita inicialmente en )orma in)initesimal& como el lmite de una e4%resin discreta& m5s tarde se o,tuvieron e4%resiones integrales. La %rimera de estas integrales )ue (a deducida %or el mismo Euler. 01. La representacin infinitesimal de Euler. 02. La representacin integral. 03. Un teorema de equivalencia. 04. Las propiedades bsicas. 0 . !lgunos valores. 0". Una representacin grfica. 0#. $eferencias. !!!!! .1. La re%resentacin in)initesimal de Euler6

. . La re%resentacin integral6 7 8e%resentacin %ara 8e(4$9. (E4%resin integral de Euler$6

7 8e%resentacin %ara Re(x)<0 ( (k+1)<Re(x)<-k, k = 0,1,... (E4%resin integral de /auc+(!:alsc+utt-$6

7 8e%resentacin en el %lano com%le;o& salvo en los %untos en el *ue se anula el denominador *ue a%arece en la e4%resin (E4%resin integral de <an=el$6

Es )5cil %ro,ar la e*uivalencia entre la e4%resin del limite ( la e4%resin integral. >eamos a continuacin& como e;em%lo& la demostracin de la e*uivalencia %ara 8e(4$9. con la integral de Euler.

.#. Un teorema de e*uivalencia6 ?,tengamos& desde la integral de Euler& la e4%resin de la )uncin gamma como el lmite del cociente antes indicado. En e)ecto6

3e ser

se tiene & se tiene6

<aciendo el cam,io de varia,les

@1A

A%licando la )rmula de resolucin %or %artes (

$6

8e%itiendo del %roceso con la nueva integral& se tiene6

( continuando el %rocedimiento& van a%areciendo los tBrminos *ue ,uscamos& *ue sustituidos en @1A6

/on lo cual6

Las %ro%iedades ,5sicas de la )uncin gamma %odemos ra-onarlas& en de)initiva& tanto desde la e4%resin integral como desde la e4%resin in)initesimal en la )orma de lmite de un cociente.

.'. Las %ro%iedades ,5sicas6 1.La ecuacin )uncional6 :i resolvemos %or %artes la integral de Euler& se tiene6

(& %ara los lmites . e 6

? sea6

*ue se %uede generali-ar de la )orma6

Cara 4 D 1& es

E siendo :e tiene& *ue& %ara cual*uier nFmero natural n 9 .& es6

.La identidad de Geierstrass6 :e tiene *ue

E llamando

(constante de Euler$ %odemos escri,ir6

entonces6

%asando al lmite6

o ,ien6

(Hdentidad de Geierstrass$ #.La )rmula del com%lemento o la re)le4in6 3esde la Hdentidad de Geierstrass %odemos escri,ir6

( siendo& %or la ecuacin )uncional de Euler6

se tiene& al sustituir6

( como es

& se o,tiene )inalmente6

(Frmula del com%lemento o la re)le4in& de Euler$ Esta )rmula nos %ermite calcular r5%idamente diversos valores de la )uncin& %or e;em%lo6

'.Logaritmo6 Iomando logaritmos ne%erianos en la )rmula de Geierstrass& se tiene6

o ,ien6

5.3erivada6 Codemos o,tener la derivada desde la e4%resin integral de Euler& o ,ien +aciendo la derivada logartmica en la e4%resin del logaritmo anterior. 3esde la integral6 3erivando la e4%resin integral& se tiene6

( las derivadas sucesivas6

La derivacin logartmica6 En cuanto a la derivada logartmica6

*uedando& )inalmente& %ara la e4%resin de la derivada6

0.Una relacin con la Funcin Beta de Euler6 La llamada Funcin Beta de Euler& es una e4%resin integral de la )orma

@ A ( tiene& entre otras %articularidades& la de estar relacionada con la )uncin gamma de una )orma *ue resulta e4tremadamente Ftil a la +ora de demostrar algunas de sus %ro%iedades ,5sicas. Admite diversas e4%resiones& como %or e;em%lo6

@#A

*ue se o,tiene de @ A sin mas *ue +acer el cam,io de varia,les >eamos la demostracin de la relacin

En e)ecto6

+aciendo los cam,ios

& se tiene6

<acemos a+ora el cam,io :e tiene6

(& en de)initiva6

7.La deduccin de la Frmula 3u%licativa de Legendre6 Usando la e4%resin @#A %ara la )uncin ,eta& se tiene *ue6

( con el cam,io de varia,les

(& a %artir de la relacin con la )uncin gamma& del a%artado anterior6

%or tanto6

o ,ien6

(Frmula de du%licacin de Legendre$ ".Generali-ando la Frmula de Legendre. La Frmula multi%licativa de Gauss6

Esta e4%resin& *ue %uede %ro,arse %or induccin& generali-a la anterior )orma du%licativa de Legendre.

.5. Algunos valores6 Codemos o,tener valores %untuales desde las e4%resiones deducidas anteriormente& *ue nos %ueden dar una idea de cmo vara la )uncin gamma en el cam%o real. 1.3esde la ecuacin )uncional6 Cara n entero %ositivo6

e;em%los6

... ... ... ... .3esde la )rmula del com%lemento6

#.3esde la )rmula de Legendre6 Cara n entero %ositivo6

E;em%los6

... ... ... ... './om,inando la )rmula del com%lemento con la de Legendre6

o ,ien6

E;em%los6

... ... ... ...

.0. Una re%resentacin gr5)ica6 Gr5)icamente& en la re%resentacin de la )uncin gamma se o,servan los saltos de discontinuidad in)initos %ara los enteros negativos6

Acercando m5s la imagen6

Iam,iBn se o,serva la continuidad de la )uncin inversa6

.7. 8e)erencias6 A,ramoJit-& M. and :tegun& /. A. (Eds.$. Gamma (Factorial$ Function and Hncom%lete Gamma Function. K0.1 and 0.5 in <and,oo= o) Mat+ematical Functions Jit+ Formulas& Gra%+s& and Mat+ematical Ia,les& 1t+ %rinting. LeJ Eor=6 3over& %%. 55! 5" and 0.! 0#& 117 . Ar)=en& G. I+e Gamma Function (Factorial Function$. /+. 1. in Mat+ematical Met+ods )or C+(sicists& #rd ed. ?rlando& FL6 Academic Cress& %%. ##1!#'1 and 5#1!57 & 11"5. Artin& E. I+e Gamma Function. LeJ Eor=6 <olt& 8ine+art& and Ginston& 110'. BorJein& M. M. and Nuc=er& H. M. Elli%tic Hntegral Evaluation o) t+e Gamma Function at 8ational >alues o) :mall 3enominator. HMA M. Lumerical Anal(sis 1 & 511!5 0& 111 . 3avis& C. M. Leon+ard EulerOs Hntegral6 A <istorical Cro)ile o) t+e Gamma FunctionO Amer. Mat+. Mont+l( 00& "'1!"01& 1151. Le Lionnais& F. Les nom,res remar*ua,les. Caris6 <ermann& %. '0& 11"#. Magnus& G. and ?,er+ettinger& F. Formulas and I+eorems )or t+e :%ecial Functions o) Mat+ematical C+(sics. LeJ Eor=6 /+elsea& 11'1. :%anier& M. and ?ld+am& P. B. I+e Gamma Function and I+e Hncom%lete Gamma and 8elated Functions. /+s. '# and '5 in An Atlas o) Functions. Gas+ington& 3/6 <emis%+ere& %%. '11!' 1 and '#5!''#& 11"7. G+itta=er& E. I. and Gatson& G. L. A /ourse in Modern Anal(sis& 't+ ed. /am,ridge& England6 /am,ridge Universit( Cress& 111..