Las Funciones Eulerianas Gamma y Beta Complejas

U NIVERSIDAD DE L A L AGUNA
FACULTAD DE C IENCIAS S ECCIN DE M ATEMTICAS
Las funciones eulerianas

Gamma y Beta complejas
Memoria que presenta el alumno

Francisco Javier Merino Cabrera
bajo la direccin de
M. Isabel Marrero Rodrguez
para optar al ttulo de

Graduado en Matemticas
L A L AGUNA , JUNIO 2016

M. ISABEL MARRERO RODRGUEZ, profesora titular de Anlisis Matemtico adscrita al
Departamento de Anlisis Matemtico de la Universidad de La Laguna,
HAGO CONSTAR:
Que la presente Memoria, titulada Las funciones eulerianas Gamma y Beta complejas, ha
sido desarrollada bajo mi direccin por el alumno Francisco Javier Merino Cabrera (DNI
79074605F) y constituye su Trabajo de Fin de Grado para optar al ttulo de Graduado en
Matemticas por la Universidad de La Laguna.
La Laguna, a 10 de junio de 2016.
Fdo.: I. Marrero
Agradecimientos
A mi tutora, la profesora Isabel Marrero por su gran ayuda y colaboracin en cada momento de
consulta y soporte en este trabajo.
A mis padres, por su apoyo incondicional durante todos los aos. Gracias, con vuestro cario
todo ha sido mucho ms fcil.
A mis abuelos, por su raciocinio en mis momentos de mxima tensin y decaimiento.
A mi buen amigo David, por esos momentos de conversaciones entre teoremas.
A ELLA, pues ha sido el mayor soporte durante mi -quizs larga- estancia en la universidad.
Puedo prometer y prometo que seguir siendo ese sostn all donde el destino nos tenga
preparado nuestra prxima aventura. Te agradezco por tantas ayudas y tantos aportes no slo
para el desarrollo de mi trabajo, sino tambin para mi vida; eres mi inspiracin y mi motivacin.
V
VI Agradecimientos
Abstract
In this work we give a short introduction to the theory of the Euler Gamma and Beta complex
functions.
We have mainly focused on the first one. In chapter 1, a succinct account on its origin and evo-
lution is given. In chapter 2, different ways to represent it along with some of the functional equa-
tions it satisfies are collected. Its connections with the B -function and the Riemann -function are
explored as well. The theorems of Wielandt and of Bohr-Mollerup characterizing the -function
among those satisfying a certain recurrence relation are proved in chapter 3. Finally, a short study
of the geometry of the -function is presented in chapter 4.
VII
VIII Abstract
Prlogo
El objetivo principal de este trabajo de fin de grado es estudiar la teora de las funciones eu-
lerianas Gamma y Beta complejas. Nos hemos centrado en la funcin Gamma, ya que la funcin
Beta puede ser expresada en trminos de aqulla.
De hecho, la funcin Gamma es habituamente considerada como la funcin especial por an-
tonomasia, por cuanto la mayora del resto de funciones especiales admiten una representacin
como integrales de Mellin-Barnes, que son integrales de contorno en las que comparecen pro-
ductos o cocientes de funciones Gamma y potencias de la variable de integracin. Este tipo de
integrales fueron introducidas entre 1908 y 1910 por Ernest W. Barnes (1874-1953) y estn nti-
mamente relacionadas con la serie hipergeomtrica generalizada. El contorno de integracin es
usualmente una deformacin del eje imaginario que pasa por la izquierda de todos los polos de
los factores de la forma (a + s) y por la derecha de todos los polos de los factores de la forma
(a s). El ejemplo paradigmtico es la llamada integral Beta de Barnes, una extensin de la fun-
cin Beta dada por
1 i (a + c)(a + d )(b + c)(b + d )

Z
(a + s)(b + s)(c s)(d s)d s = .
2i i (a + b + c + d )
El hecho de que la funcin Beta se puede escribir como una transformada de Mellin sugiere apli-
car esta transformacin a la funcin hipergeomtrica 2 F 1 y luego la frmula de inversin al resul-
tado para obtener la siguiente representacin de 2 F 1 como una integral de Mellin-Barnes:
(c) 1 i (a + s)(b + s)(s)

Z
2 F 1 (a, b; c; z) = (z)s d s.
(a)(b) 2i i (c + s)
Bajo condiciones de convergencia adecuadas, tambin es posible expresar las funciones hiper-
geomtricas generalizadas p F q mediante integrales de Mellin-Barnes.
Al margen de lo anterior, o quiz precisamente por ello, la funcin Gamma es de vital impor-
tancia en diversas ramas de las matemticas, desde la estadstica y la teora de probabilidades
hasta la teora de nmeros, pasando por el clculo fraccionario; y tambin de la fsica, como la
mecnica cuntica no relativista, la mecnica estadstica o la fsica de las partculas elementales.
IX
X Prlogo
Sin embargo, el anlisis en profundidad de la funcin Gamma compleja no forma parte del
temario de ninguna de las asignaturas del actual currculo del Grado en Matemticas por es-
ta universidad; de ah que considerramos oportuno abordarlo en el presente trabajo. A tal fin,
paralelamente hemos complementado los contenidos de la asignatura de variable compleja del
Grado con el estudio autnomo de algunas herramientas necesarias para nuestro objetivo, como,
por ejemplo, los productos infinitos.
La memoria ha sido estructurada como sigue.
En el captulo 1 se presentan algunas pinceladas histricas sobre el nacimiento de la funcin

Gamma. Se describen los problemas que motivaron su introduccin y la forma intuitiva y poco
rigurosa, pero a la postre acertada, en que los resolvi Euler en 1729, tras el esfuerzo infructuoso
de otros eminentes matemticos de su poca.
En el captulo 2 se compendian diferentes expresiones y aproximaciones disponibles en la

literatura para la funcin Gamma: integral definida (Euler), lmite infinito (Gauss), producto infi-
nito (Euler, Weierstrass), integral de contorno (Hankel) y frmula de Stirling. Tambin se discuten
algunas ecuaciones funcionales satisfechas por la funcin Gamma: recurrencia, reflexin, mul-
tiplicacin y duplicacin. Adems, se introduce la funcin Beta y se analiza la conexin entre la
funcin Gamma y la funcin de Riemann.
En el captulo 3 se enuncian y demuestran los teoremas de Wielandt y de Bohr-Mollerup,

que caracterizan a la funcin Gamma entre todas aquellas que satisfacen una cierta relacin de
recurrencia. Tal como pone de manifiesto este ltimo, la convexidad logartmica de la funcin
Gamma en el semieje real positivo es crucial para dicha caracterizacin.
El captulo 4 contiene un breve estudio de la geometra de la funcin Gamma. La propiedad

de convexidad se extiende al plano complejo, utilizando esta extensin para obtener informa-
cin sobre el argumento de (z) en lneas verticales, y se describen algunas caractersticas de las
0
aplicaciones conformes inducidas por y por log .
Finalmente, el captulo 5 resume las conclusiones y la prospectiva del trabajo.
La memoria se complementa con el preceptivo pster como apndice y concluye con un n-

dice de figuras y la relacin de la bibliografa consultada.
ndice general
Agradecimientos V
Abstract VII
Prlogo IX
ndice general XI
1 Perfil histrico 1
1.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 El origen de las funciones Gamma y Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Representaciones y ecuaciones funcionales 9

2.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Integral de segunda especie de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.3 Relacin de recurrencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.4 Lmite infinito de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.5 Producto infinito de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.6 Producto infinito de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.7 Relacin con las funciones trigonomtricas: frmula de reflexin de Euler . . . . . . . . . . . . . . . . 16
2.8 Frmula de multiplicacin de Gauss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.9 Frmula de duplicacin de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.10 Integral de contorno de Hankel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.11 La funcin Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.12 Frmula de Stirling en el plano complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.13 La funcin de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Teoremas de unicidad 29
3.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 El teorema de Wielandt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.3 El teorema de Bohr-Mollerup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4 Propiedades geomtricas 33
4.1 Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 El logaritmo y la derivada logartmica de la funcin Gamma . . . . . . . . . . . . . . . . . . . . . . . . . 33
XI
XII ndice general
5 Conclusiones y prospectiva 39
Apndice: Pster 43
ndice de figuras 47
Bibliografa 49
CAPTULO 1
Perfil histrico
1.1. Introduccin
En este captulo se presentan algunas pinceladas histricas sobre el nacimiento de la funcin

Gamma. Se describirn los problemas que motivaron su introduccin y la forma intuitiva y poco
rigurosa, pero a la postre acertada, en que los resolvi Euler, tras el esfuerzo infructuoso de otros
eminentes matemticos de su poca.
1.2. El origen de las funciones Gamma y Beta
Muchas personas tienen la conviccin de que las matemticas son estticas. Creen que las
ideas brotan en algn momento del pasado y se quedan inalteradas para siempre. No es un sen-
timiento tan extrao; despus de todo, la frmula del rea de un crculo, A = r 2 (donde r > 0 es
su radio), ha permanecido igual desde los tiempos de Euclides (325 a.C. - 265 a.C.). Sin embargo,
cualquier persona iniciada en este apasionante mundo sabe bien que las matemticas son una
especie de ser vivo que va evolucionando en la bsqueda de la mayor generalizacin posible.
Un caso notable en la historia de las matemticas sobre la construccin de generalizaciones

de las generalizaciones ha sido la aparicin de la funcin Gamma de Euler, cuya definicin parte
de los nmeros naturales para extenderse hasta los nmeros complejos y cuyo desarrollo, tanto
en concepto como en contenido, ha participado del progreso de las matemticas en los ltimos
dos siglos y medio de la mano de los ms eminentes matemticos, desde Euler hasta Bourbaki.
La funcin Gamma fue descubierta en 1729 en una correspondencia entre un matemtico

suizo en San Petersburgo y un matemtico alemn en Mosc: Leonhard Euler (1707-1783), que
1
2 Captulo 1. Perfil histrico
por aquel entonces tena 22 aos y que se convertira en el mejor matemtico del siglo XVIII,
y Christian Goldbach (1690-1764), famoso por un problema de teora de nmeros muy fcil de
enunciar pero que ha resultado, al menos por el momento, imposible de resolver.
Actualmente, la funcin Gamma comparece en mltiples ramas de las matemticas, desde

la teora de ecuaciones diferenciales hasta la teora de cuerdas, pasando por la estadstica o la
teora de nmeros; pero su origen se encuentra en la confluencia de un problema en teora de
interpolacin (una teora debida, fundamentalmente, a los matemticos ingleses del siglo XVII)
con otro de clculo integral, relativo a la construccin sistemtica de frmulas de integracin
indefinida.
El problema de interpolacin que dio vida a la funcin Gamma pas por las manos de va-
rios matemticos de la poca: el ya mencionado Goldbach, Daniel Bernoulli (1700-1784) y, antes
que ellos, James Stirling (1692-1770), sin dar apenas frutos. Sin embargo, todo cambi cuando
lleg hasta Euler. ste anunci su solucin a Goldbach en sendas cartas, datadas el 13 de octubre
de 1729 y el 8 de enero de 1730. En la primera Euler alude al problema de interpolacin, mien-
tras que la segunda versa sobre el de integracin y conecta ambos problemas. En realidad, Euler
transmiti a Goldbach tan slo un esbozo de la solucin, que no detallara hasta un ao ms tarde
en su artculo De progressionibus transcendentibus seu quarum termini generales algebraice dari
nequeunt.
El problema de interpolacin es quizs el ms sencillo. Una de las sucesiones numricas ms

simples pero, a la vez, ms interesantes es aquella cuyo trmino n-simo Tn es la suma de los n
primeros enteros positivos: 1, 1+2, 1+2+3,. . . . Estos nmeros son conocidos como nmeros trian-
gulares porque representan el nmero de objetos que pueden ser colocados en una matriz con
forma triangular de varios tamaos.
La frmula Tn = 21 n(n + 1) es bien conocida. Cul es el significado de esa frmula? En primer

lugar, simplifica el clculo mediante la reduccin de un gran nmero de sumas a, simplemente,
una suma, un producto y una divisin. Por tanto, para obtener la suma de los 100 primeros tr-
minos basta con computar lo siguiente: T100 = 21 100 (100 + 1) = 5050. En segundo lugar, incluso
a pesar de lo extrao del asunto, podramos sumar los primeros 5 12 enteros con la aplicacin de
esa misma frmula, resultando que T5 1 = 17 87 . De esta manera, la frmula anterior extiende el
2
alcance del problema original a otros valores de la variable diferentes de aquellos para los que fue
planteado: en definitiva, resuelve un problema de interpolacin.
Este tipo de cuestiones, relacionadas con la extensin de determinadas frmulas a conjuntos

de nmeros cada vez ms grandes, era un tema muy debatido en los siglos XVII y XVIII. Tome-
mos, por ejemplo, el lgebra de los exponentes. La cantidad a m es definida inicialmente como el
(m)
producto a a a . Esta definicin tena sentido cuando m era entero, pero qu pasa si m no lo
m p
es? La misteriosa definicin a 0 = 1, a n = a m , a m = a1m dada por Isaac Newton (1643-1727) en
n
1.2. El origen de las funciones Gamma y Beta 3
1676, que resuelve este enigma, conduce a las funciones exponenciales continuas y a la ley de los
exponentes a n a m = a m+n , la cual tiene sentido cuando m y n son nmeros cualesquiera (y no
necesariamente enteros positivos).
Se encontraron otros problemas de este tipo. Leibniz introdujo la notacin d n para la deri-
vada n-sima; adems, identific d 1 con y d n con la n-sima integral iterada. Hecho esto
R
intent dar sentido a d n cuando n no es entero, pero este problema no encontrara una solucin
satisfactoria hasta dos siglos despus.
Volvamos a nuestra sucesin de nmeros triangulares. Si cambiramos el signo de sumar por

el de multiplicar obtendramos la sucesin 1, 1 2, 1 2 3, . . ., conocida como la sucesin de fac-
toriales. Como sabemos, stos se denotan por 1!, 2!, 3!, . . .. Su crecimiento en magnitud es ra-
pidsimo; por comparar, el nmero 100! est formado por 158 dgitos, mientras que T100 tiene
nicamente 4 dgitos.
Los nmeros factoriales estn muy presentes en las matemticas. De aqu resulta razonable
empezar a formularnos diversas cuestiones: es posible obtener una frmula sencilla para calcu-
lar factoriales?, es posible interpolar entre dos factoriales?, qu debera significar 5 12 !? Pues bien,
este fue el problema de interpolacin donde fallaron Goldbach, Stirling y Daniel Bernoulli, pero
que condujo a la funcin Gamma de la mano de Euler.
Como hemos visto antes, el problema de encontrar la frmula y el problema de la interpo-

lacin estn relacionados. Por sorprendente que parezca, no existe una frmula similar a la de
los nmeros triangulares que funcione para los factoriales, y as lo deja claro el ttulo del artculo
de Euler ya citado, cuya traduccin es: Sobre progresiones trascendentes cuyo trmino general no
puede ser expresado algebraicamente. La solucin de la interpolacin factorial escapa del lgebra
bsica; se hace necesario el uso de procesos infinitos.
Para apreciar mejor el problema al que se enfrent Euler, vamos a actualizarlo a un lenguaje
ms accesible: se tratara de encontrar una funcin razonablemente simple que en cada entero
1, 2, 3,. . . tome como valor el factorial asociado 1, 2, 6,. . . . Hoy en da, una funcin es una relacin
entre dos conjuntos de nmeros que a un nmero del primer conjunto le asigna un nmero del
segundo. As, dados los puntos (1, 1), (2, 2), (3, 6), (4, 24), . . . y adoptando el concepto de funcin
enunciado previamente, el problema de interpolacin consistira en encontrar una curva que pa-
se a travs de todos esos puntos. Ese problema es sencillo de resolver y admite infinitas solucio-
nes. Sin embargo, en la poca de Euler el concepto de funcin estaba asociado con una frmula,
llamada expressio analytica (expresin analtica), entendiendo como tal cualquier expresin que
pudiera ser deducida mediante manipulaciones elementales: sumas, productos, potencias, loga-
ritmos, etc. En definitiva, la tarea de Euler consista en encontrar una expresin analtica que para
cada entero positivo produjera el factorial correspondiente.
Es difcil dar una crnica exacta del curso de un descubimiento cientfico. Aparentemente
Euler, mientras experimentaba con productos infinitos de nmeros, desemboc por casualidad
en el siguiente resultado: si n es un entero positivo, entonces
n n n
2 1 3 2 4 3
= n!. (1.1)
1 n +1 2 n +2 3 n +3
Dejando de lado la cuestin de la convergencia del producto infinito (algo comn en Euler,
como pone de manifiesto, por ejemplo, su solucin del denominado problema de Basilea), es
sencillo ver que efectivamente se cumple la igualdad. Adems, el primer miembro tiene sentido
(al menos formalmente) para todo n que no sea un entero negativo. Euler encontr tambin que
cuando n = 12 , dicho primer miembro era el famoso producto de John Wallis (1616-1703):

22 44 66 88
= .
13 35 57 79 2
Euler bien podra haber parado aqu: haba resuelto el problema en el que fallaron ilustres
matemticos de su poca. De hecho, toda la teora de la funcin Gamma se basa en el producto
infinito (1.1), que actualmente escribimos como:
m!(m + 1)n
lm . (1.2)
m (n + 1)(n + 2)(n + 3) (n + m)
Sin embargo, Euler observ algunas curiosas propiedades de este producto, como que para n
entero daba como resultado un nmero entero, mientras que para otros valores, por ejemplo
n = 12 , proporcionaba una expresin que involucra al nmero . La aparicin de sugiere crculos
y sus cuadraturas, y las cuadraturas significan integrales. Euler estaba familiarizado con ciertas
integrales que cumplan propiedades similares a las mencionadas, lo que le indujo a buscar una
transformacin que le permitiera expresar el producto como una integral.
Tom entonces la integral 0 x (1 x)n d x. Casos particulares de sta ya haban sido estudia-
R1
dos por Wallis, Newton y Stirling. Era una integral complicada de manejar, ya que el integrando
no siempre admita una primitiva elemental como funcin de x. Suponiendo que n es un nme-
ro entero y un valor arbitrario, Euler desarroll (1 x)n mediante el teorema del binomio, y sin
mucha dificultad encontr la siguiente identidad:
Z 1 12n
x (1 x)n d x = . (1.3)
0 ( + 1)( + 2) ( + n + 1)
La idea de Euler consista ahora en aislar el producto 1 2 n para expresar n! como una
f
integral. El proceso para conseguirlo fue el siguiente. Haciendo = g :
1 g n+1 12n
Z f
x g (1 x)n d x = .
0 f + (n + 1)g ( f + g )( f + 2g ) ( f + ng )
Y despejando:
12n f + (n + 1)g
Z 1 f
= x g (1 x)n d x. (1.4)
( f + g )( f + 2g ) ( f + ng ) g n+1 0
Euler observ entonces que poda aislar 1 2 n si haca f = 1 y g = 0 en el primer miembro

de (1.4); pero con ello obtena una indeterminacin en el segundo miembro, que escribi as:
1
x 0 (1 x)n
Z
d x.
0n+1
g
Para tratar de encontrar el valor de la ltima expresin, la primera idea fue sustituir x por x f +g ,
de donde obtuvo
g f
x g+f d x
f +g
en lugar de d x. Luego, el segundo miembro de (1.4) quedaba:
f + (n + 1)g g g n
Z
1 x g + f d x.
g n+1 f +g
Escribiendo esta integral, presumiblemente, en la forma
Z g !n
f + (n + 1)g 1 x f +g
g d x,
( f + g )n+1 ( f +g )
Euler ensay de nuevo los valores f = 1 y g = 0, lo que le condujo a la indeterminacin:
(1 x 0 )n
Z
d x.
0n
1x z
Consider ahora el cociente z , con z prximo a 0, y deriv numerador y denominador me-
diante la regla de LHpital, obteniendo:
x z log x d z
,
dz
expresin que para z = 0 da log x. Luego,
1 x0
= log x,
0
y
(1 x 0 )n
= ( log x)n .
0n
De esta manera concluy que
Z 1
n! = ( log x)n d x.
0
Esto le proporcion el resultado que andaba buscando: la expresin del factorial como una inte-
gral, extensible a otros valores distintos de los enteros positivos.
No obstante, la funcin Gamma es generalmente introducida hoy en da mediante la integral

Z
(x) = e t t x1 d t , (1.5)
0
representacin que, al igual que la notacin , es debida al matemtico francs Adrien-Marie

Legendre (1752-1833). En 1809, Legendre denomin integral euleriana de segunda especie a esta
integral e integral euleriana de primera especie a la integral (1.3) con la que Euler inici su deduc-
cin, que hoy conocemos como funcin Beta:
Z 1
B (m, n) = x m1 (1 x)n1 d x.
0
Mediante herramientas de clculo avanzado, se establece inmediatamente que la integral del

segundo miembro de (1.5) tiene sentido para x > 0 y, por tanto, la funcin Gamma est definida
para esos valores de x. Adems, por propia construccin,
(n + 1) = n!
cuando n es un entero positivo. Se demuestra tambin que para todo nmero real x > 0 se verifica
la relacin de recurrencia
x(x) = (x + 1),
generalizacin de la igualdad (n + 1)n! = (n + 1)!, vlida para enteros positivos n. Esta relacin
tuvo una importancia creciente a la hora de extender la teora de la funcin Gamma en los aos
posteriores a Euler. Junto con la expresin
(m)(n)
B (m, n) = ,
(m + n)
que conecta las dos integrales eulerianas, y la importante frmula de Stirling
1 p
(x) = expx x x 2 2,
que proporciona una aproximacin relativamente simple a (x) cuando x es grande (aproxima-
cin en la que tendremos ocasin de detenernos a lo largo del trabajo), es prcticamente todo lo
que un estudiante de clculo avanzado aprende en la actualidad sobre la funcin Gamma. Cro-
nolgicamente hablando, esto nos sita, aproximadamente, en el ao 1750.
La siguiente parte del juego, la extensin de la funcin Gamma a los nmeros negativos y
posteriormente a los nmeros complejos, se produjo a principios del siglo XIX y form parte del
desarrollo general de la teora de funciones de variable compleja que habra de configurar uno
de los grandes captulos de las matemticas. El movimiento hacia el plano complejo fue iniciado
por el matemtico alemn Carl Friedrich Gauss (1777-1855), tomando como punto de partida el
producto infinito de Euler. La culminacin de esta tarea involucr a muchos nombres famosos y
requiri un mayor trabajo y una mayor reflexin. A ello dedicaremos el resto de esta memoria.
CAPTULO 2
Representaciones y ecuaciones funcionales
2.1. Introduccin
Presentaremos en este captulo diferentes expresiones y aproximaciones disponibles en la li-

teratura para la funcin Gamma: integral definida (Euler), lmite infinito (Gauss), producto infini-
to (Euler, Weierstrass), integral de contorno (Hankel) y frmula de Stirling. Tambin discutiremos
algunas ecuaciones funcionales satisfechas por la funcin Gamma: recurrencia, reflexin, mul-
tiplicacin y duplicacin. Adems, introduciremos la funcin Beta y analizaremos la conexin
entre la funcin Gamma y la funcin de Riemann.
A lo largo de todo el captulo adoptaremos la notacin
H = H0 = {z C : z > 0}.
2.2. Integral de segunda especie de Euler
Tal como se vio en el captulo anterior, la funcin Gamma fue obtenida por Euler en 1729 co-
mo solucin al problema de encontrar funciones que, restringidas a los enteros positivos, toma-
ran los valores del correspondiente factorial. En aquel tiempo, el trmino funcin era entendido
como una frmula expresada mediante operaciones algebraicas y de clculo integrodiferencial.
La primera solucin de Euler fue la representacin de la funcin Gamma en productos infi-

nitos (1.2). Sin embargo, para nuestro propsito de encontrar otras expresiones de dicha funcin
resulta ms til partir de la forma integral.
9
10 Captulo 2. Representaciones y ecuaciones funcionales
Figura 2.1. La funcin Gamma real.
Definicin 2.2.1 (Funcin Gamma). Definimos

Z
(z) = e t t z1 d t , z H, (2.1)
0
donde t z1 = e (z1) log t y log t es el logaritmo real.
2.3. Relacin de recurrencia
A continuacin probaremos una generalizacin de la identidad n! = n(n 1)!.
Proposicin 2.3.1 (Relacin de recurrencia). Se verifica:
(z + 1) = z(z), z H. (2.2)
D EMOSTRACIN . Integrando por partes en (2.1):

Z
Z
t z
(z + 1) = t d t = t z e t 0 + e t zt z1 d t = z(z), z H.

e
0 0

La relacin anterior se extiende de forma inductiva para todo nmero natural n:
(z + n) = (z + n 1)(z + n 2) (z + 1)z(z) = (z)n (z), (2.3)
donde
(z)n = (z + n 1)(z + n 2) (z + 1)z
2.3. Relacin de recurrencia 11
Figura 2.2. Mdulo de la funcin Gamma. [Fuente: Mathematics Stack Exchange, autor:
R. Manzoni].
Figura 2.3. Parte real (i) y parte imaginaria de la funcin Gamma. [Fuente: Mathematics
Stack Exchange, autor: R. Manzoni].
es el smbolo de Pochhammer. La frmula (2.3) equivale a la siguiente expresin:
(z + n) 1
Z
(z) = = e t t z+n1 d t , (2.4)
(z)n (z)n 0
la cual extiende la definicin de la funcin Gamma a z > n para cualquier n N.
Por otra parte, haciendo z = 1 en (2.1) y (2.3), respectivamente, encontramos que
(1) = 1 (2.5)
y, por tanto,
(n + 1) = n!.
El siguiente resultado establece que (z) es una funcin meromorfa, cuyas singularidades
z = 0, 1, 2, . . . , n, . . . son todas polos simples.
Teorema 2.3.2. La funcin Gamma es holomorfa en C \ {0, 1, 2, . . . , n, . . .}. Si n N, tiene un

(1)n
polo simple en z = n, con residuo n! .
D EMOSTRACIN . Consideremos primero el caso en que z H. El integrando de

Z
(z) = e t t z1 d t
0
es holomorfo en z para cada t > 0, y la integral converge, pero esto no es suficiente para garantizar
su holomorfa. Sin embargo, ser suficiente probar que adems el integrando est mayorado en
todo subconjunto compacto de H por una funcin integrable de t que es independiente de z.
Sea entonces K un subconjunto compacto de H. Podemos encontrar a, b > 0 tales que z K

implica a < z < b. Definamos
g K (t ) = max{t a1 , t b1 }, 0 < t < .
Claramente |t z1 | = t z1 g K (t ), para cada t > 0. Como g K (t ) es integrable en R+ con respecto

a d = e t d t , la integral original es holomorfa como funcin de z H.
Ahora, fijemos N N y consideremos el semiplano
HN = {z C : z > N }.
Por (2.4),
(z + N )
(z) = , z HN \ {0, 1, . . . , N + 1}. (2.6)
(z)N
Acabamos de probar que (z +N ) es una funcin holomorfa de z +N si (z +N ) > 0, y por lo tanto
de z si z > N . Por otro lado, como (z)N = (z + N 1)(z + N 2) (z + 1)z es un polinomio con
ceros simples en z = 0, 1, . . . , N +1, la funcin del segundo miembro de (2.6) es holomorfa en el
semiplano HN excepto por polos simples en 0, 1, . . . , N +1. Ya que N puede ser arbitrariamente
grande, se concluye que (z) es holomorfa excepto por polos simples en 0, 1, 2, . . ..
Finalmente, si n N entonces
(z + n + 1)
(z) = , 0 < |z + n| < 1.
(z)n+1
El residuo del polo en n es:
(z + n + 1) (1) (1)n
lm (z + n)(z) = lm = = .
zn zn z(z + 1) (z + n 1) n(n + 1) (1) n!

2.4. Lmite infinito de Gauss 13
2.4. Lmite infinito de Gauss
Teniendo en cuenta la expresin de e t como un lmite:

n
t

t
e = lm 1 ,
n n
la funcin Gamma puede ser contemplada como el lmite de la integral
n n
t
Z
P n (z) = 1 t z1 d t .
0 n
Comprobemos que P n (z) (z) cuando n . Se tiene, en efecto:
n t n z1
Z Z
(z) P n (z) = e t 1 t dt + e t t z1 d t .
0 n n
Es fcil ver que el segundo sumando del segundo miembro se hace cero cuando n . Para el
primer sumando, utilizaremos la siguiente acotacin:
t n t 2 t

t
0e 1 e . (2.7)
n n
Admitiendo (2.7), podemos escribir:
n t n z1
Z n
1 t x+1
Z
1 t x+1
Z
e t 1

t dt e t dt < e t d t 0, n ,

0 n 0 n n 0
donde x = z. As pues, P n (z) (z) cuando n .
Probemos ahora (2.7). Atendiendo al desarrollo en serie de e y y de (1 y)1 :
yn 1
ey = yn,
X X
, = |y| < 1,
n=0 n! 1 y n=0
encontramos que
1
1+ y ey , 0 y < 1.
1 y
Sea y = nt . Entonces:
t n
n
t

t
1+ e 1 .
n n
De esta suerte,
" n #
t n t n t2

t t t t
0e 1 =e 1e 1 e 1 1 2 ;
n n n
en el ltimo paso se ha hecho uso de la desigualdad
t n

t
e 1+ .
n
Por induccin, se puede probar que si 0 1 entonces (1 )n 1 n; de aqu

n
t2 t2

1 1 2 ,
n n
lo que establece (2.7).
Hagamos ahora t = n en P n (z). Integrando por partes n veces y puesto que z > 0, tenemos:
1
1 z nz n 1
Z Z
P n (z) = n z (1 )n z1 d = n z (1 )n + (1 )n1 z d
0 z 0 z 0
= ...
n z n(n 1) 2 1 n z n(n 1) 2 1
Z 1
1
= z+n1 d =
z(z + 1) (z + n 1) 0 z(z + 1) (z + n 1) z + n
n! z
= n .
z(z + 1) (z + n 1)(z + n)
Nos vemos conducidos as la siguiente formulacin de la funcin Gamma, propuesta por

Gauss:
Proposicin 2.4.1 (Frmula de Gauss).
n!
(z) = lm nz , z C \ {0, 1, 2, 3, . . .}. (2.8)
n z(z + 1) (z + n 1)(z + n)
Puesto que
n
lm = 1,
n z + n
podemos escribir (2.8) en la forma
(n 1)!
(z) = lm nz , z C \ {0, 1, 2, 3, . . .}. (2.9)
n z(z + 1) (z + n 1)
2.5. Producto infinito de Euler
Se comprueba fcilmente que

n1 z
z
Y 1
n = 1+ .
m=1 m
2.6. Producto infinito de Weierstrass 15
Por otra parte, el factor que precede a n z en (2.9) puede ser escrito como
1 2 (n 1) 1 n1
Y z 1
= 1+ .
z(z + 1) (z + n 1) z m=1 m
En efecto:
1 n1 z 1 1

Y 1 1 1
1+ =
z m=1 m z 1 + z 1 + 2z z
1 + n1
n 1

1 1 2 1 2 (n 1)
= = .
z 1+z 2+z z +n 1 z(z + 1) (z + n 1)
Luego, podemos expresar la funcin como sigue:
Proposicin 2.5.1 (Producto infinito de Euler).
z 1 1 z

1 Y
(z) = 1+ 1+ , z C \ {0, 1, 2, 3, . . .}.
z m=1 m m
2.6. Producto infinito de Weierstrass
El factor n z compareciente en (2.8) tambin puede ser expresado en la forma:

n 1 Y
n z
z z log n
X
n =e = exp z log n em.
m=1 m m=1
Se infiere entonces:
Proposicin 2.6.1 (Producto infinito de Weierstrass).
1 h z z i
= ze z z C \ {0, 1, 2, 3, . . .},
Y
1+ e n , (2.10)
(z) n=1 n
siendo la denominada constante de Euler-Mascheroni:

n 1
= lm
X
log n 0,5772156649.
m=1 m
n
El producto infinito (2.10) proporciona los valores de (z) para cualquier z y al mismo tiempo
pone de manifiesto que las singularidades de (z) son polos simples: z = 0, 1, 2, . . .; no hay
ceros.
De la igualdad
n 1 n Z 1 1 xn 1 (1 y)n t n dt
Z 1 Z 1 Z n
m1
X X
= x dx = dx = dy = 1 1
m=1 m m=1 0 0 1x 0 y 0 n t
se sigue que
n 1 t n dt t n dt t n dt
Z n Z n Z 1 Z n
dt

X
log n = 1 1 = 1 1 1 .
m=1 m 0 n t 1 t 0 n t 1 n t
Haciendo n , concluimos:
1 1 e t e t
Z Z
= dt dt.
0 t 1 t
2.7. Relacin con las funciones trigonomtricas: frmula de reflexin

de Euler
La representacin de Weierstrass permite encontrar una relacin entre la funcin Gamma y

las funciones trigonomtricas.
En virtud de (2.10),
1
h
1 Y h
z z i1 Y z z i1
1 Y z2
(z)(z) = 2 1+ e n 1 e n = 2 1 2 .
z n=1 n n=1 n z n=1 n
Por otra parte,

sen z Y z2

= 1 2 . (2.11)
z n=1 n
Consecuentemente,

(z)(z) = .
z sen z
Mediante la frmula de recurrencia (2.2), obtenemos:
Proposicin 2.7.1 (Frmula de reflexin). Si z C \ Z, se verifica:

(z)(1 z) = , (2.12)
sen z
o, de forma ms simtrica:
z
(1 + z)(1 z) = .
sen z
2
Haciendo z = 12 en (2.12) encontramos que 21 = , y puesto que (por definicin) 12 > 0,

2.8. Frmula de multiplicacin de Gauss 17
necesariamente
p

1
= . (2.13)
2
1
Ntese que haciendo z = 2 en (2.11) obtenemos el producto de Wallis
Y (2n)2 Y 2n 2
m
1
= = lm .
2 n=1 (2n 1)(2n + 1) m n=1 2n 1 2m + 1
2.8. Frmula de multiplicacin de Gauss
Proposicin 2.8.1 (Frmula de multiplicacin). Para n N y z C \ {0, 1, 2, 3, . . .}, se verifica:
n 1

1 2 1 1
(z) z + z+ z + = (2) 2 (n1) n 2 nz (nz). (2.14)
n n n
D EMOSTRACIN . Sea
n nz n1
Y r
= z+ . (2.15)
n(nz) r =0 n
Aplicando la frmula (2.9) resulta
n1 1 2 (m 1) r
m z+ n
Y
lm rr
r
m z+ z + n +1 z + n +m 1
r =0 n
= n nz1
1 2 (nm 1)
lm (nm)nz
m nz(nz + 1) (nz + nm 1)
1
nz1 [(m 1)!]n m nz+ 2 (n1) n nm
=n lm
m (nm 1)!(nm)nz
1
[(m 1)!]n m 2 (n1) n nm1
= lm ,
m (nm 1)!
lo que prueba que es independiente de z.

1
Sustituyendo z = n en (2.15) encontramos que
n1
r +1
n1 n1

r r
= 1
Y Y Y
= = ;
r =0 n r =1 n r =1 n
en el ltimo paso se ha reemplazado r por n r . Usando ahora (2.12),
n1 r r n1
Y r 1
2 = 1 = n1
Y
sen . (2.16)
r =1 n n r =1 n
2r i
Sean z = e n , r = 0, 1, 2, . . . , n 1 las races n-simas de la unidad. Entonces
z n 1 n1
X r n1 Y 2r i

= z = z e n .
z 1 r =0 r =1
Haciendo aqu z = 1 obtenemos
n1
Y 2r i
n1 r i
r
n1 r n1 r
= e 2 (n1)i 2n1 (i )n1 = 2n1
Y Y Y
n= 1e n = e n 2i sen sen sen .
r =1 r =1 n r =1 n r =1 n
Sustituyendo en (2.16),
(2)n1
2 = .
n
Finalmente, tomando races cuadradas y sustituyendo en (2.15) resulta (2.14).
2.9. Frmula de duplicacin de Legendre
Proposicin 2.9.1 (Frmula de duplicacin).
p

1
22z1 (z) z + = (2z), z C \ {0, 1, 2, 3, . . .}.
2
D EMOSTRACIN . Basta particularizar n = 2 en (2.14).
2.10. Integral de contorno de Hankel
Consideremos la siguiente integral de contorno:

Z (0+)
I= e t t z1 d t .

El contorno empieza en cerca del semieje real positivo y lo recorre paralelamente hacia la iz-
quierda por el semiplano superior, rodea al origen una vez en sentido positivo y regresa al infinito
por el semiplano inferior (figura (3.2)).
Esta integral de contorno existe para todo valor de z, y por lo tanto proporciona una base para
definir (z) en general.
Para encontrar la relacin entre I y (z), supongamos primero que z est confinado al semi-
plano derecho (z > 0) y no es un nmero entero.
Deformamos el contorno descomponindolo en tres partes: la primera parte comienza en

t = + y recorre el eje real por el semiplano superior hasta el punto t = (> 0), siendo arbi-
2.10. Integral de contorno de Hankel 19
C
1
Figura 2.4. Contorno C introducido en 1864 por Hermann Hankel (18391873) en sus in-
vestigaciones sobre la funcin Gamma.
trariamente pequeo; la segunda parte es una circunferencia de radio alrededor del origen en
sentido positivo; y la tercera parte es una lnea recta que va desde t = en el semiplano inferior a
lo largo del eje real hasta t = +.
Denotaremos por I 1 , I 2 , I 3 las integrales sobre cada una de las tres partes del contorno. Para
especificar la funcin multivaluada t z1 tomaremos arg t = 0 en I 1 , con lo que arg t queda total-
mente determinada en I 2 y en I 3 ; mientras que en I 3 , arg t = 2. Por tanto, estas tres integrales
quedan de la siguiente forma:
Z Z
t z1
I1 = e t dt = e t t z1 d t ,

Z 2 i
z1 Z 2
I2 = e e e i e i i d = z e cos i sen +i z i d ,
0 0
Z
I 3 = e 2zi e t t z1 d t .

Como se ha supuesto z > 0, se puede probar que I 2 0, as que I 1 + I 3 I cuando 0.

Entonces Z
I = (e 2zi
1) e t t z1 d t = (e 2zi 1)(z) = 2i e zi sen z (z).
0
Finalmente,
1
Z (0+)
(z) = e t (t )z1 d t , | arg(t )| < . (2.17)
2i sen z
Pese a que esta relacin ha sido obtenida bajo la hiptesis de que z > 0, la integral de con-
torno no est restringida a ningn valor de z, luego tal condicin puede ser omitida en virtud del
principio de prolongacin analtica.
Sin embargo, (2.17) no vale si z es entero, ya que su segundo miembro es una indeterminacin
cuando z es un entero positivo y se hace cuando z es un entero negativo. Ahora bien, usando
la frmula (2.12) podemos escribir
1 1
Z (0+)
= e t (t )z1 d t , | arg(t )| < , (2.18)
(1 z) 2i
expresin que es vlida para todo z, incluyendo los enteros.
Si en (2.18) cambiamos 1 z por z resulta
1 1
Z (0+)
= e t (t )z d t , | arg(t )| < . (2.19)
(z) 2i
Y cambiando t por t obtenemos
1 1
Z (0+)
= e t t z d t , | arg t | < ; (2.20)
(z) 2i
el contorno comienza en t = en el semieje real negativo, rodea el origen una vez en sentido
positivo y vuelve al punto de partida.
Las integrales de contorno (2.19) y (2.20) son vlidas para cualquier valor de z, y por lo tanto
proporcionan una expresin general de la funcin (z) para todo z C.
En lo que se refiere a esta seccin, los contornos considerados pueden ser rotados alrededor

del origen por un ngulo sin afectar los valores de las integrales, con tal de que || < 2. Por
ejemplo, de (2.20) se obtiene
1 1
Z (0+)
= e t t z d t , | arg t | < .
(z) 2i e i
2.11. La funcin Beta
Es ya el turno de la conocida como integral euleriana de primera especie o funcin Beta de

Euler.
Definicin 2.11.1 (Funcin Beta). Definimos la funcin Beta como sigue:

Z 1
B (p, q) = x p1 (1 x)q1 d x, p, q H. (2.21)
0
Esta integral efectivamente existe para p > 0, q > 0. Mediante la transformacin x = 1 t ,

es fcil ver que
B (p, q) = B (q, p).
2.11. La funcin Beta 21
Otra propiedad relevante de esta funcin es su relacin con la funcin Gamma:
Proposicin 2.11.2. Se tiene:

(p)(q)
B (p, q) = , p, q H. (2.22)
(p + q)
D EMOSTRACIN . Consideremos el producto

Z Z
p1
(p)(q) = e u
u du e v v q1 d v.
0 0
Poniendo u = x 2 , v = y 2 llegamos a
Z 2
Z 2
Z Z 2
+y 2 ) 2p1 2q1
(p)(q) = 4 e x x 2p1 d x e y y 2q1 d y = 4 e (x x y d xd y.
0 0 0 0
Mediante un cambio a coordenadas polares, x = r cos , y = r sen ,

Z 2
Z
2
(p)(q) = 4 e r r 2(p+q)1 d r (cos )2p1 (sen )2q1 d . (2.23)
0 0
Haciendo r 2 = t en la primera integral, tenemos:

Z 2 1
Z 1
e r r 2(p+q)1 d r = e t t pq1 d t = (p + q). (2.24)
0 2 0 2
Si en la segunda integral hacemos cos = x, queda:

Z
2 1
Z 1 1
(cos ) 2p1
(sen ) 2q1
d = x p1 (1 x)q1 d x = B (p, q). (2.25)
0 2 0 2
Sustituyendo ahora (2.24) y (2.25) en (2.23) resulta
1 1
(p)(q) = 4 (p + q) B (p, q),
2 2
o bien
(p)(q) = (p + q)B (p, q),
que es el resultado esperado.

De nuevo, las hiptesis p, q > 0 son evitables en virtud de la igualdad (2.22) y del principio
de prolongacin analtica.
La funcin Beta es til en el clculo de algunas integrales.
Ejemplo 2.11.3.
p+1 q+1
Z
2
2 2
(cos )p (sen )q d = p+q .
0 2 2 + 1
R ESOLUCIN . Basta sustituir 2p y 2q por p+1 y q+1, respectivamente, en (2.25) y aplicar (2.22).
Ejemplo 2.11.4. Se verifica: Z 1 p +1

r 2 p
e r dr = . (2.26)
0 2 2
En particular, Z 2 1p
e r d r = . (2.27)
0 2
R ESOLUCIN . La igualdad (2.26) se obtiene reemplazando 2(p + q) 1 por p en (2.24), mientras

que (2.27) resulta sin ms que tomar p = 0 en (2.26) y tener en cuenta (2.13):
Z 1 1

1p
r 2
e dr = = .
0 2 2 2
Ejemplo 2.11.5. Se tiene:

t p1 (p)(q)
Z
dt = .
0 (1 + t ) p+q (p + q)
En particular,
t p1
Z
dt = .
0 1+t sen p
t
R ESOLUCIN . Poniendo x = 1+t en (2.21) y usando (2.22),
t p1 (p)(q)
Z
d t = B (p, q) = .
0 (1 + t ) p+q (p + q)
Si ahora suponemos 0 < p < 1, sin ms que hacer q = 1 p y tener en cuenta (2.5) junto con la
frmula de reflexin (2.12) ya se infiere:
t p1
Z
d t = (p)(1 p) = .
0 1+t sen p
2.12. Frmula de Stirling en el plano complejo
La frmula de Stirling para el factorial es
1 p
lm (n)n 2 n e n = 2, (2.28)
n
donde n tiende a infinito en N. En esta seccin probaremos que la misma frmula vale cuando
n tiende a infinito en C de cualquier manera, siempre que permanezca suficientemente lejos del
2.12. Frmula de Stirling en el plano complejo 23
semieje real negativo; es decir, siempre que | arg n| < . Esta restriccin es esencial porque, como
sabemos, la funcin Gamma tiene polos en los enteros negativos.
Comenzaremos con un resultado preliminar pero de gran inters en s mismo.
Proposicin 2.12.1. Sea C0 = z C : z 6= 0, | arg z| < . Si z C0 , entonces

p 1
(z) = 2z z 2 e z e (z) , (2.29)
siendo

1
z +n
(z) =
X
z + n log 1 .
n=1 2 z +n 1
1
z 12 log z

Aqu, z + n C0 para todo n N, z z 2 = e , y se toman los valores principales de todos los
logaritmos.
D EMOSTRACIN . Combinando la frmula del lmite infinito de Gauss (2.9) con la frmula de
Stirling (2.28) se obtiene
1
(N )N z p N z+N 2 e N
(z) = lm = 2 lm . (2.30)
N z(z + 1) (z + N 1) N z(z + 1) (z + N 1)
El denominador es
1 z z+ 1 z + 1 z+ 32 z + N 1 z+N 21 1
2
z(z + 1) (z + N 1) = 1
(z + N )z+N 2
z z 2 z +1 z +2 z +N
1 1
(z + N )z+N 2 YN z + n 1 z+n 2
= 1
.
z z 2 n=1 z +n
Para cualquier w C se tiene que w z = e z log w , donde log w toma su valor principal. As
z+n 1
z +n 1

2
z+n 12

= e u ,
z +n
donde
+ 12
u() = log .
12
Ahora basta sustituir en (2.30) para concluir que
z+N 1 N
p N

1 2
z+n 21

(z) = 2z z 2 lm e N eu
Y
N z +N n=1
1
p 1
z zN + 2 PN u z+n 1 1
= 2z z 2 lm 1 + e n=1 2
N N
p 1
= 2z z 2 e z e (z) ,
con

1

(z) =
X
u z +n 1 . (2.31)
n=1 2

Teorema 2.12.2 (Frmula de Stirling). Sea R tal que 0 < , y supongamos que z C tiende a
infinito en el sector | arg z| . Entonces
1 p
lm (z)z 2 z e z = 2.
z
D EMOSTRACIN . En virtud de (2.29), ser suficiente probar que el lmite de (z) es cero.
El trmino general de la serie (2.31) tiene mdulo

u z + n 1 1 = z + n 1 log z + n 1 <

1
, (2.32)
2 2 z +n 1 3(|2z + 2n 1|2 1)
siempre que |2z + 2n 1| > 1. Ya que el trmino general tiende a cero cuando z , ser sufi-
ciente ver que podemos tomar el lmite de la serie trmino a trmino, y a tal fin estableceremos
su convergencia uniforme para todo z suficientemente grande satisfaciendo | arg z| .
Si z = |z|e i , || , entonces cos cos . Por tanto, para n N,
|2z + 2n 1|2 = |2z|2 + 2(2n 1)|2z| cos + (2n 1)2 |2z|2 2(2n 1)|2z| cos + (2n 1)2 .
Esta ltima expresin es de la forma
a 2 2ab cos + b 2 = a 2 sen2 + (a cos b)2 a 2 sen2 ,
donde a y b son positivos y pueden ser intercambiados para obtener una segunda desigualdad.
Por lo tanto,
|2z + 2n 1| 2|z| sen
2.13. La funcin de Riemann 25
y
|2z + 2n 1| (2n 1) sen n sen .
Sea
1
S = z C : | arg z| , |z| .
sen
Entonces z S implica
|2z + 2n 1| 2
y
3 3
|2z + 2n 1|2 1 |2z + 2n 1|2 n 2 sen2 .
4 4
As, (2.32) se convierte en

u z + n 1 1 < 4 1

, z S, n = 1, 2, . . . .
2 9 sen n 2
2
En definitiva, la serie (2.31) est mayorada en S por una serie numrica convergente. El criterio
M de Weierstrass garantiza su convergencia uniforme y completa la demostracin.
2.13. La funcin de Riemann
Esta funcin debe su nombre al matemtico alemn Bernhard Riemann (1826-1866), quien en
su manuscrito de 1859, al desarrollar una frmula explcita para calcular la cantidad de nmeros
primos menores que uno dado, formul una importante conjetura sobre la distribucin de sus
ceros: Riemann afirm que la funcin zeta tiene infinitas races no triviales, todas con parte real
igual a 21 . Tal afirmacin, conocida como hiptesis de Riemann, permanece hoy en da como uno
de los ms importantes problemas abiertos en matemticas.
Consultando cualquier libro de teora analtica de nmeros se pueden encontrar mltiples

resultados fascinantes sobre la funcin zeta de Riemann, sus aplicaciones a la teora de nmeros
y sus conexiones con la funcin Gamma.
En la presente seccin se establecer una de las identidades que relacionan estrechamente la

funcin zeta de Riemann con la funcin Gamma. Como consecuencia, se probar que la funcin
zeta puede ser extendida analticamente como una funcin meromorfa en todo el plano comple-
jo, con un nico polo simple en z = 1, de residuo 1.
Definicin 2.13.1. La funcin de Riemann se define por:
1
(z) =
X
z
, z > 1.
n=1 n
Teorema 2.13.2. Si z > 1, entonces
t z1
Z
(z)(z) = dt.
0 et 1
D EMOSTRACIN . La frmula de la suma de una serie geomtrica muestra que si t > 0, entonces
1
e nt ;
X
=
e t 1 n=1
la serie converge uniformemente en compactos de (0, ). Supongamos que z = x + i y, con x > 1

1 c 1 c
e y R. Como e t 1
t para t > 0 suficientemente pequeo y e t 1
et
para t > 0 grande (c > 0),
se sigue que Z
g (t ) d t <
0
t x1
si g (t ) = e t 1
. Adems,
N
z1 X nt
t e g (t )
n=1

para todo t>0. Por tanto,
t z1 Z
Z Z
z1 nt
t z1 e nt d t
X X
dt = t e dt =
0 et 1 0 n=1 n=1 0
1 Z t z1 1 Z
e t d t = t z1 e t d t
X X
= z
n=1 n 0 n n=1 n 0
= (z)(z).

Luego, para z > 1 tenemos
1 t z1 t z1 1 t z1
Z Z Z
(z)(z) = dt + dt = d t + F (z).
0 et 1 1 et 1 0 et 1
Mediante los teoremas de Fubini y Morera se demuestra sin dificultad que la funcin F es entera,
por lo que centraremos nuestra atencin en la integral entre 0 y 1.
Sea
1
(t ) = .
et 1
Entonces es holomorfa en el disco perforado 0 < |t | < 2 y tiene un polo simple con residuo 1
en el origen; as pues,
1 X
(t ) = + an t n ,
t n=0
2.13. La funcin de Riemann 27
donde la serie de potencias tiene radio de convergencia 2; en particular, |a n | c2n . La defini-

cin de muestra que (t )+(t ) = 1; por lo tanto a 0 = 12 y a 2k = 0 para k = 1, 2, . . ., de manera
que
1 1 X
(t ) = + b k t 2k+1 ,
t 2 k=0
con b k = a 2k+1 . Ahora, si z > 1 la serie

t z1 b k t 2k+1
X
k=0
converge uniformemente en (0, 1), ya que |b k | c22k , por lo cual

Z 1 Z 1 1
Z 1 Z 1
z1 z2 z1
(t ) d t = t z+2k d t
X
t t dt t dt + bk
0 0 2 0 k=0 0
1 1
X bk
= + = G(z).
z 1 2z k=0 z + (2k + 1)
Como |b k | c22k , la serie que define G converge uniformemente en subconjuntos compactos

de C \ ({0, 1} {2k 1 : k = 0, 1, . . .}) a una funcin meromorfa en C, con polos simples en 0 y 1,
posibles (no hemos probado que b k 6= 0) polos en 2k 1, y ningn polo ms.
1
Puesto que es entera, de aqu se sigue que
G(z) + F (z)
(z) =
(z)
es meromorfa en todo C. Y puesto que (1) = 1, resulta que tiene un polo en 1 con residuo 1;
todos los dems posibles polos de G + F se cancelan con los ceros de 1 . Luego, es holomorfa en
1
todo el plano complejo excepto por el polo en 1. Considerando los otros ceros de que no son
cancelados por polos de G + F nos vemos conducidos al siguiente resultado.
Teorema 2.13.3. La funcin zeta se extiende a una funcin holomorfa en C \{1}, con un polo simple
en z = 1 de residuo 1 y ceros en 2k, k = 1, 2, . . ..
Los ceros de la funcin zeta en los enteros negativos pares se conocen como ceros triviales.
Es relativamente fcil ver que los ceros triviales son los nicos ceros fuera de la banda crtica
definida por 0 < z < 1. La localizacin de los ceros dentro de la banda crtica es de gran impor-
tancia en teora de nmeros. Se sabe que hay infinitos ceros dentro de esta banda, y la hiptesis
de Riemann aludida al principio de esta seccin conjetura que todos ellos se encuentran sobre la
recta z = 21 .
En efecto, el teorema de los nmeros primos afirma que si (x) es el nmero de primos p con
p x, entonces
x
(x)
log x
cuando x +. Los intentos de probar este resultado fueron la motivacin principal para el
enorme desarrollo experimentado por el anlisis complejo a finales del siglo XIX. El hecho de
que (1 + i y) 6= 0 es una parte importante de la demostracin, y la veracidad de la hiptesis de
Riemann implicara versiones mejoradas del teorema de los nmeros primos, proporcionando
mayor informacin sobre la velocidad de convergencia.
CAPTULO 3
Teoremas de unicidad
3.1. Introduccin
La funcin Gamma no est unvocamente determinada por la ecuacin funcional (2.2):
(z + 1) = z(z), z > 0;
de hecho, si f es cualquier funcin peridica de periodo 1, por ejemplo f = sen 2x, entonces la
funcin producto f tambin satisface la misma ecuacin funcional.
En este captulo daremos dos caracterizaciones de la funcin Gamma que involucran a la

ecuacin anterior: una como funcin holomorfa en el semiplano derecho H = {z C : z > 0} (teo-
rema de Wielandt), y otra como funcin sobre los reales positivos (teorema de Bohr-Mollerup).
3.2. El teorema de Wielandt
Teorema 3.2.1 (Wielandt). Supongamos que la funcin G:
(i) es holomorfa en el semiplano derecho H,

(ii) est acotada en la banda cerrada {1 z 2},
(iii) satisface la ecuacin funcional zG(z) = G(z + 1), z H, y
(iv) est normalizada por la condicin G(1) = 1.
Entonces G .
29
30 Captulo 3. Teoremas de unicidad
Figura 3.1. Helmut Wielandt (1910-2001).
D EMOSTRACIN . Sea F (z) = G(z) (z). Entonces F satisface la ecuacin funcional zF (z) = F (z +
1) y adems F (1) = 0, as que F se anula en los enteros positivos. Por tanto, F se extiende a una
funcin entera. En efecto, la propia ecuacin funcional nos permite la extensin sin ms que
definir
F (z + n)
F (z) = , n < z 2 n, n = 1, 2, . . . .
(z)n
La funcin anterior es claramente holomorfa en todo punto salvo donde (z)n = 0, es decir, salvo
si z = 0, 1, . . . , 1 n. Estos valores de z son ceros de F (z +n) y ceros simples de (z)n , y por lo tanto
son singularidades evitables de F . En definitiva, la extensin de F as obtenida es entera.
La ecuacin funcional y el hecho de que F es regular en 0 y acotada en la banda {1 z 2}

implican que F est acotada en la banda ms ancha S = {0 z 2}. Por tanto, la funcin f (z) =
F (z)F (1 z) es entera y acotada en S. Adems,
f (z + 1) = zF (z)F (z) = F (z)(z)F (z) = f (z),
as que f (z + 2) = f (z). Como f es acotada en una banda vertical de anchura 2, resulta que f es
una funcin entera y acotada; por el teorema de Liouville, f es constante. Pero f (1) = 0, obligando
a que f 0. Se concluye que F 0, como se pretenda.
3.3. El teorema de Bohr-Mollerup 31
Figura 3.2. De izquierda a derecha, Harald A. Bohr (1887-1951) y Johannes P. Mollerup

(1872-1937).
3.3. El teorema de Bohr-Mollerup
Definicin 3.3.1. Sea f una funcin real definida en un intervalo I R. Se dice que f es convexa
en I si
f [ux + (1 u)y] u f (x) + (1 u) f (y), x, y I , u [0, 1].
Si nunca se diera la igualdad salvo cuando (x y)u(1 u) = 0, se dice que f es estrictamente con-
vexa en I .
Definicin 3.3.2. Sea f una funcin real definida y estrictamente positiva en un intervalo I R.
Se dice que f es logartmicamente convexa en I si log f es convexa en I , esto es, si
f [ux + (1 u)y] [ f (x)]u [ f (y)]1u x, y I , u [0, 1].
Anlogamente, se dice que f es estrictamente logartmicamente convexa si log f es estrictamente

convexa en I , es decir, si la desigualdad anterior es estricta salvo cuando (x y)u(1 u) = 0.
La siguiente caracterizacin parte del hecho de que log es una funcin convexa en el inter-
valo {x > 0}. En efecto, la frmula de Weierstrass (2.10) conduce a
hx x i
log (x) = x log x +
X
log 1 + ,
k=1 k k
de donde se sigue que

1
(log )00 (x) =
X
2
,
k=0 (x + k)
la cual es positiva para x > 0; esto implica la convexidad. A continuacin probaremos el recproco.
Teorema 3.3.3 (Bohr-Mollerup). Supongamos que la funcin G:
(i) est definida y es positiva en los reales positivos: G(x) > 0, x > 0;
32 Captulo 3. Teoremas de unicidad
(ii) satisface la ecuacin funcional xG(x) = G(x + 1);

(iii) es logartmicamente convexa;
(iv) est normalizada por la condicin G(1) = 1.
Entonces G(x) = (x), x > 0.
D EMOSTRACIN . Sea f = logG. Gracias a la ecuacin funcional, es suficiente probar que G(x) =
(x), 0 < x < 1.
Las hiptesis nos permiten inferir que G(1) = G(2) = 1 y que G(3) = 2, as que f (1) = f (2) <
f (3). La convexidad de f implica que f es creciente en [2, ), y que para cada entero n 2,
f (n + x) f (n)
f (n) f (n 1) f (n + 1) f (n).
x
Por la ecuacin funcional y la definicin de f , esto equivale a que
G(x + n)
(n 1)x nx .
G(n)
La ecuacin funcional aplicada al cociente implica
(n 1)!(n 1)x G(x) (n 1)!n x

.
(x)n G(1) (x)n
Teniendo en cuenta la normalizacin (iv), la frmula (2.9) y el teorema del sandwich, por un paso
al lmite se concluye que G(x) = (x).
CAPTULO 4
Propiedades geomtricas
4.1. Introduccin
Como se ha visto en el captulo precedente (teorema 3.3.3, de Bohr-Mollerup), el hecho de que

log (x) es convexo en el semieje real positivo es una de las propiedades cruciales de la funcin
Gamma que, combinada con la ecuacin funcional (x + 1) = x(x) y la normalizacin (1) = 1,
la caracteriza unvocamente.
En este captulo extenderemos la propiedad de convexidad al plano complejo, usaremos esta

extensin para obtener informacin sobre el argumento de (z) en lneas verticales, y describire-
0
mos algunas caractersticas de las aplicaciones conformes inducidas por y por log .
Por comodidad, usaremos la notacin
G(z) = log (z).
Adems, pondremos Ha = {z C : z > a} y denotaremos por Ha la clausura de este conjunto.
4.2. El logaritmo y la derivada logartmica de la funcin Gamma
Puesto que
2
G 00 (x + i y) = log |(x + i y)|,
x 2
el siguiente resultado afirma que | log (x + i y)| es una funcin convexa de x en H 1 , pero no en
2
ningn semiplano mayor.
33
34 Captulo 4. Propiedades geomtricas
Teorema 4.2.1. Sea z = x + i y C.
1
(i) Si x 2 entonces G 00 (x + i y) > 0 para todo y R.
1
(ii) Si x < 2 entonces G 00 (x + i y) < 0 para y R suficientemente grande.
1
D EMOSTRACIN . Empezaremos probando (ii), ya que su demostracin nos da una pista de que 2
podra ser el punto de corte entre (i) y (ii).
Definamos (s) = 12 s en (0, 1] y (s + 1) = (s) para todo s R. Podemos escribir la frmula

de Stirling (2.29) como sigue:
(s)
Z
1 1
log (z) = z log z z + log 2 + ds (4.1)
2 2 0 s+z
para todo z 6= 0 que no pertenezca al semieje real negativo. Derivando esta expresin dos veces y
efectuando una integracin por partes resulta:
1 1 (s)
Z
00
G (z) = + 2 + 6 d s, (4.2)
z 2z 0 (s + z)4
Rs
donde (s) = 0 (t )d t . Como tiene valor medio 0, es peridica y, por tanto, acotada. De
hecho, es fcil ver que 0 (s) 18 . De aqu:
2x 3 + x 2 + (2x 1)y 2 3 ds
Z
G 00 (x + i y) + 2 .
2(x 2 + y 2 )2 4

0 (s + x)2 + y 2
La ltima integral es O(y 3 ), para y . Cuando 2x 1 6= 0, el trmino dominante (para x fijo e

y grande) es entonces x 12 y 2 . Este trmino es negativo cuando x < 12 , lo que establece (ii).

Ahora aplicamos logaritmos a la igualdad (2.12) y derivamos dos veces para obtener:
2
G 00 (z) +G 00 (1 z) = .
sen2 z
1
Como sen + i y = cos i y = ch y, se desprende que

2
2

00 1 00 1
G + i y +G i y = ,
2 2 ch 2 y
o bien
2

1
2G 00 +i y = > 0. (4.3)
2 ch 2 y
Finalmente, (4.2) prueba que G 00 est acotada en H , para todo > 0. Como las funciones ar-
mnicas acotadas en un semiplano son las integrales de Poisson de sus valores de frontera, (4.3)
implica (i).
4.2. El logaritmo y la derivada logartmica de la funcin Gamma 35
Teorema 4.2.2. Se verifica:
1
(i) Si 2 a < b entonces
(b + i y)
arg
(a + i y)
es una funcin creciente de y en (, ).
1
(ii) Se llega al mismo resultado si 0 < a < 2 y b > 1 a.
D EMOSTRACIN . Pongamos G = log = u + i v. Entonces v = arg , las ecuaciones de Cauchy-

Riemann proporcionan u x = v y y, por tanto, v x y = u xx > 0 en H 1 (teorema 4.2.1). Esto significa
2
que v y (a + i y) < v y (b + i y), o bien

arg (a + i y) < arg (b + i y),
y y
probando (i).
Para deducir (ii), observemos que
(b + i y) (b + i y) (1 a + i y) (a i y)
=
(a + i y) (1 a + i y) (a + i y) (a i y)
1 (b + i y)
= . (4.4)
|(a + i y)| (1 a + i y) sen (a i y)
2
Puesto que ahora 1 a > 12 , (ii) sigue de (i) y del hecho de que el argumento del ltimo factor
en (4.4) es
arc tg(ctg a th y),
la cual es una funcin creciente de y cuando 0 < a < 21 .

Antes de continuar, enunciaremos el siguiente criterio suficiente de univalencia.
Lema 4.2.3. Supongamos que:
(i) es un semiplano abierto que no contiene al origen;

(ii) f es una funcin holomorfa en una regin convexa ; y
(iii) f 0 (z) para cada z .
Entonces f es univalente en .
El siguiente teorema describe algunas propiedades de la derivada logartmica de la funcin

Gamma.
Teorema 4.2.4. Se cumple:
0
(i) es univalente en H0 , pero en ningn semiplano mayor.

0 0
(ii) (x + i y) (x) en H0 .
0
(iii) est acotada en H , para todo > 0.
0
(iv) (z) < 2 en H 1 .

2
0 0
0
D EMOSTRACIN . Como = G 00 , del teorema 4.2.1 y del lema 4.2.3 se sigue que es univalente
en H 1 . Esto no prueba todo lo que se afirma en (i), pero apunta en la buena direccin.
2
0
Derivando (x + i y) = (u + i v)(x + i y) (donde u y v son ahora las partes real e imaginaria de
0
) con respecto a y, obtenemos:
iG 00 (x + i y) = (u y + i v y )(x + i y).
Entonces v y = G 00 , y (4.4) se convierte en
2

1
vy +i y = .
2 2 ch 2 y
Integrando ahora con respecto a y obtenemos

1
v + i y = th y,
2 2
lo que implica (iv).
La derivada logartmica de
1 z z
= ze z
Y
1+ e n
(z) n=1 n
(cf. (2.10)), donde es la constante de Euler-Mascheroni, conduce a
x 1
X n+x

u(x + i y) = 2 + , (4.5)
x + y 2 n=1 n (n + x)2 + y 2

X y
v(x + i y) = 2 2
, (4.6)
n=0 (n + x) + y
1
G 00 (z) =
X
. (4.7)
n=0 (n + z)2
El segundo miembro de (4.5) es una funcin creciente de y 2 , si x > 0. Luego, para x fijo, alcanza el
4.2. El logaritmo y la derivada logartmica de la funcin Gamma 37
mnimo cuando y = 0, probando (ii). El apartado (iii) es consecuencia de (4.6), ya que

Z
y X y 1 y 1
v(x + i y) < 2 2
+ 2 2
< + 2 2
dt = + .
x +y n=1 n + y 2x 0 t +y 2x 2
Para demostrar (i), sean + = {z C : z > 0} y = {z C : z < 0} los semiplanos superior e

inferior, respectivamente.
Si z H0 + entonces (n + z)2 + para todo n 0; luego, (n + z)2 , y se concluye que

G 00 (z) .
De la misma manera se obtiene que G 00 (z) + si z H0 .

0
Se sigue de aqu que es univalente en cada uno de los cuadrantes H0 + y H0 . Por

0
0
(4.6), aplica H0 + en + y H0 en ; como es estrictamente creciente en el semieje
0
real positivo, concluimos que es univalente en H0 .
0
Finalmente, la funcin tiene un polo en z = 0, y por lo tanto transforma cada entorno del
0 0
cero en un entorno de . Dado que (x) cuando x , se infiere que no es univalente
en H si < 0.
En el prximo teorema, x 0 es el nico nmero positivo tal que 0 (x 0 ) = 0. Como (1) = (2),
1 < x 0 < 2.
Teorema 4.2.5. La funcin log es univalente en Hx0 , pero no en ningn semiplano mayor.
0
D EMOSTRACIN . Recordemos que (log )0 = .
Si x > x 0 , el apartado (ii) del teorema 4.2.4 asegura que
0
0
0
(log ) (x + i y) (x) > (x 0 ) = 0.

As, log es univalente en Hx0 . Puesto que (log )0 (x 0 ) = 0, el punto x 0 carece de entornos donde
log es univalente.
CAPTULO 5
Conclusiones y prospectiva
Desde su introduccin por Euler hace ya 300 aos, las funciones Gamma y Beta, especialmen-
te la primera, han venido desempeando un papel central en matemticas y en todas aquellas
ciencias en las que aqullas tienen una presencia instrumental. Se puede decir que la funcin
Gamma aparece con tanta frecuencia como lo hace la funcin factorial a la que extiende.
La vala y la importancia de la funcin Gamma estn avaladas por el mero hecho de que las
frmulas que aparecen en esta memoria tuvieron su origen en una idea de Euler, unnimemente
reconocido como uno de los ms grandes y prolficos matemticos de la historia, y fueron desa-
rrolladas por eminencias de la talla de Gauss, Legendre o Weierstrass.
Fue el propio Euler quien inici la aplicacin de la funcin Gamma al clculo fraccionario,
haciendo que sta sustituyera, de forma natural, al factorial en la expresin que proporciona las
derivadas de orden superior de un monomio. Ms adelante, esta misma idea aplicada a la frmu-
la de Cauchy para integrales iteradas sera la base para la definicin del clculo fraccionario de
Riemann-Liouville.
Desde el trabajo de James Stirling (quien, en 1730, fue el pionero en utilizar el desarrollo en
serie de log n! para deducir el comportamiento asinttico de n!), han sido muchos los matemti-
cos que han utilizado log en sus investigaciones sobre la funcin . La aparicin de los sistemas
computacionales a finales del siglo XX requiri de una mayor atencin a la estructura de los cam-
bios de rama de las funciones matemticas bsicas a fin de permitir la validez de las relaciones
matemticas en todo el plano complejo. Esto condujo a la llamada funcin log-Gamma, que es
equivalente al logaritmo log como funcin multivaluada pero difiere de ella en la estructura de
los cambios de rama y en la eleccin de la rama principal. Gracias a esta funcin es posible una
formulacin precisa de muchas identidades relativas a la funcin zeta de Riemann.
39
40 Captulo 5. Conclusiones y prospectiva
La importancia de la funcin Gamma impuls a muchos matemticos a estudiar las llamadas

integrales de Euler incompletas, que no son otras que las integrales indefinidas correspondientes
al mismo integrando que la funcin Gamma. De nuevo, las necesidades de los sistemas compu-
tacionales han obligado a la implementacin de funciones Gamma incompletas ms generales y
a sus correspondientes versiones regularizada e inversa. Al igual que las funciones Gamma y Beta,
las versiones incompletas han encontrado una aplicacin inmediata como funciones de distribu-
cin de probabilidad en estadstica bayesiana.
Mencin especial merecen las funciones digamma y poligamma, que se definen, respectiva-
mente, como la primera y sucesivas derivadas logartmicas de la funcin gamma. Ms precisa-
mente, la funcin digamma es
d log 0 (z)
(z) = (z) = ;
dz (z)
en general, la funcin poligamma de orden m N ser
dm d m+1
(m) (z) = (z) = log (z).
d zm d z m+1
Estas funciones disponen de una representacin integral y verifican relaciones de recurrencia y

frmulas de reflexin y de multiplicacin similares a las satisfechas por la funcin Gamma.
Las funciones Gamma y Beta admiten q-anlogas. Un q-anlogo es una expresin matemti-
ca parametrizada por una cantidad q que generaliza a otra expresin conocida, a la que se reduce
en el lmite cuando q 1. La q-teora es en la actualidad un rea de investigacin muy activa
en el campo de las funciones especiales. Adems, los q-anlogos preservan (o apenas cambian)
la forma de las ecuaciones funcionales que gobiernan un sistema y de ah que aparezcan en ml-
tiples aplicaciones fsicas, como los modelos exactos en mecnica estadstica o la geometra no
conmutativa. Tambin se les conoce una interpretacin combinatoria.
En definitiva, el trabajo desarrollado en esta memoria es susceptible de ser continuado en

una amplia variedad de lneas tanto dentro las matemticas como de la fsica. Terminaremos este
breve recuento destacando dos que nos parecen especialmente atractivas.
La teora de cuerdas, actualmente uno de los campos ms activos de la fsica terica, tuvo su
origen en un descubrimiento aparentemente casual del fsico italiano Gabrielle Veneziano (n.
1942). En 1968, mientras trabajaba en el CERN, Veneziano observ que la funcin Gamma, inter-
pretada como una amplitud de dispersin, presentaba muchas caractersticas tiles para explicar
fenmenos fsicos relacionados con la interaccin fuerte de mesones, tales como la simetra y la
dualidad. La teora de cuerdas se desarroll en la bsqueda de un modelo fsico que diera lugar
a esa amplitud (conocida hoy en da como amplitud de Veneziano), cuya frmula se corresponde
41
con la siguiente funcin Beta:
(1 + 21 (k 1 + k 2 )2 )(1 + 12 (k 2 + k 3 )2 )
.
(2 + 12 ((k 1 + k 2 )2 + (k 2 + k 3 )2 ))
El hecho de que la funcin Beta diera lugar al nacimiento de una teora potencialmente capaz
de describir el funcionamiento del universo e, incluso, de demostrar la existencia de multiversos
ha sido, sin duda, un factor altamente motivador para realizar el presente trabajo y proseguir
estudios en esta direccin.
Un segundo elemento motivador ha sido la conexin de la funcin Gamma con la funcin

zeta de Rieman. En palabras de Andrew Wiles (n. 1953, quien en 1995 logr demostrar el llamado
ltimo teorema de Fermat y acaba de ser galardonado con el Premio Abel 2016), casi cualquier
problema que trate de nmeros primos se vera influenciado por la verificacin de la hiptesis de
Riemann. La hiptesis de Riemann (todos los ceros no triviales de la funcin (s) se encuentran
sobre la recta s = 21 ) es una cuestin todava abierta desde su formulacin por Riemann en 1859,
catalogada como uno de los problemas del milenio por el Instituto Clay y cuya solucin est va-
lorada en un milln de dlares.
42 Captulo 5. Conclusiones y prospectiva
Apndice: Pster
43
44 Apndice: Pster
T HE E ULER G AMMA AND B ETA COMPLEX FUNCTIONS
F RANCISCO J AVIER M ERINO C ABRERA
Apndice: Pster
O BJECTIVES - FUNCTION R EPRESENTATIONS T WO C HARACTERIZATIONS

We aim to give a short introduction to the Gauss infinite limit Theorem 1 (Wielandt) Suppose G(z) is a
theory of the complex -function. A suc- holomorphic function in the right half-plane sat-
cinct account on its origin and evolution is (z) = lim , isfying
(n 1)!nz
z C \ {0, 1, . . .}
given. Different ways to represent it along n z(z + 1) (z + n 1)
with some of the functional equations it sat- Euler infinite product (i) G(z + 1) = G(z) and G(1) = 1,
isfies are collected. Its connections with the (ii) |G(z)| is bounded on the strip
B-function and the Riemann -function are 1 1 <z 2.
explored. The theorems of Wielandt and of (z) = 1+ 1+ ,
m m
z C \ {0, 1, . . .}
z m=1
z
z 1
Bohr-Mollerup characterizing the -function

Then G .
1 Y
among those satisfying a certain recurrence Weierstrass infinite product

Theorem 2 (Bohr-Mollerup) Suppose that
relation are proved. Finally, a short study of
1
G : (0, ) (0, ) satisfies
the geometry of the -function is presented. = zez 1+ e n ,
(z) n
z C \ {0, 1, . . .}, 0.5772156649
n=1
(i) G(x + 1) = xG(x) and G(1) = 1,
h
Y z z i
(ii) log(G) is convex.

I NTRODUCTION Hankel contour integral
The -function was introduced by Euler in (0+)
Then G .
1 1
1729 as a generalization of the factorial func- = et tz dt,
(z) 2i
| arg t | < .
ei
Z
tion: (n) = (n 1)!, n N. It is a mero- F UTURE W ORK

morphic function, defined initially via a con- Stirling formula
1 The -function is usually considered as the
vergent improper integral lim (z)z 2 z ez = 2,
z special function par excellence; actually,
0 < , | arg z|
many of these can be represented in terms
(z) = et tz1 dt, <z > 0 of -functions as Mellin-Barnes integrals.
0 F UNCTIONAL E QUATIONS
Z
The study of the -function paves the way

(the so-called Euler integral of the second kind), Recurrence relation for approaching several fields, both within
which extends by analytic continuation to and outside mathematics, where it plays a
all of C except for simple poles at the non- (z + n) = (z + n 1)(z + n 2) (z + 1)z(z), <z > n, n N role: fractional calculus, statistics, probabil-
ity, nonrelativistic quantum mechanics, sta-
Euler reflection formula
positive integers, the residue at z = n be-
ing (1)n /n!, n N. tistical mechanics and the physics of elemen-
sin z
(z)(1 z) = , z C\Z tary particles, particularly string theory.
Gauss multiplication formula (for n = 2, Legendre duplication formula)
S ELECTED R EFERENCES 1 1 1
A BOUT
(nz) = (2) 2 (1n) nnz 2 (z) z +
n1
P. Ahern, W. Rudin Geometric properties n n Department Mathematical Analysis
z + , z C \ {0, 1, . . .}, n N

of the Gamma function. Amer. Math. Faculty Science, Mathematics Section

Monthly 103 (1996), 678681. Beta function (Euler integral of the first kind)
University La Laguna
B. Carlson Special functions of applied mathe- (p)(q) Email alu0100697896@ull.edu.es
matics. Academic Press, 1977. B(p, q) = ,
(p + q)
<p > 0, <q > 0
D. Ullrich Complex made simple. American Final Year Project in Mathematics done under
Mathematical Society, 2008. Riemann zeta function the supervision of Dr. Mara Isabel Marrero Ro-

Z. Wang, D. Guo Special functions. World tz1 drguez during the academic year 2015/16
(z)(z) = dt, <p > 1
Scientific, 1989. 0
Z
et 1
45
46 Apndice: Pster
ndice de figuras
2.1 La funcin Gamma real. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.2 Mdulo de la funcin Gamma. [Fuente: Mathematics Stack Exchange, autor: R. Manzoni]. . . . . . . 11
2.3 Parte real (i) y parte imaginaria de la funcin Gamma. [Fuente: Mathematics Stack Exchange, autor:
R. Manzoni]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.4 Contorno C introducido en 1864 por Hermann Hankel (18391873) en sus investigaciones sobre la
funcin Gamma. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.1 Helmut Wielandt (1910-2001). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

3.2 De izquierda a derecha, Harald A. Bohr (1887-1951) y Johannes P. Mollerup (1872-1937). . . . . . . . . 31
47
48 ndice de figuras
Bibliografa
[1] P. A HERN , W. RUDIN: Geometric properties of the Gamma function. Amer. Math. Monthly
103 (1996), 678681.
[2] E. A RTIN: The Gamma function. Holt, Rinehart and Winston, 1964.
[3] R. B EALS , R. W ONG: Special functions. Cambridge University Press, 2010.
[4] J. B RUNA , J. C UF: Complex Analysis. European Mathematical Society, 2010.
[5] B. C ARLSON: Special functions of applied mathematics. Academic Press, 1977.
[6] P.J. D AVIS: Leonhard Eulers integral: A historical profile of the Gamma function. Amer.
Math. Monthly 66 (1959), 849869.
[7] P.L. D UREN: Univalent functions. Springer, 1983.
[8] B. F UGLEDE: A sharpening of Wielandts characterization of the Gamma function. Amer.

Math. Monthly 115 (2008), 845850.
[9] R. L EIPNIK , R. O BERG: Subvex functions and Bohrs uniqueness theorem. Amer. Math.
Monthly 74 (1967), 10931094.
[10] R. R EMMERT: Wielandts theorem about the -function. Amer. Math. Monthly 103 (1996),
214220.
[11] R. R EMMERT: Classical topics in complex function theory. Springer, 1998.
[12] G.K. S RINIVASAN: The Gamma function: An eclectic tour. Amer. Math. Monthly 114 (2007),
297315.
[13] E.C. T ITCHMARSH: The theory of functions (2nd ed.). Oxford University Press, 1939.
[14] D. U LLRICH: Complex made simple. American Mathematical Society, 2008.
[15] Z. WANG , D. G UO: Special functions. World Scientific, 1989.
49

Las Funciones Eulerianas Gamma y Beta Complejas

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Las Funciones Eulerianas Gamma y Beta Complejas

Uploaded by

Copyright:

Available Formats

U NIVERSIDAD DE L A L AGUNA

FACULTAD DE C IENCIAS S ECCIN DE M ATEMTICAS

Las funciones eulerianas

Memoria que presenta el alumno

para optar al ttulo de

L A L AGUNA , JUNIO 2016

La Laguna, a 10 de junio de 2016.

A mis abuelos, por su raciocinio en mis momentos de mxima tensin y decaimiento.

A mi buen amigo David, por esos momentos de conversaciones entre teoremas.

1 i (a + c)(a + d )(b + c)(b + d )

(c) 1 i (a + s)(b + s)(s)

La memoria ha sido estructurada como sigue.

En el captulo 1 se presentan algunas pinceladas histricas sobre el nacimiento de la funcin

En el captulo 2 se compendian diferentes expresiones y aproximaciones disponibles en la

En el captulo 3 se enuncian y demuestran los teoremas de Wielandt y de Bohr-Mollerup,

El captulo 4 contiene un breve estudio de la geometra de la funcin Gamma. La propiedad

Finalmente, el captulo 5 resume las conclusiones y la prospectiva del trabajo.

La memoria se complementa con el preceptivo pster como apndice y concluye con un n-

2 Representaciones y ecuaciones funcionales 9

En este captulo se presentan algunas pinceladas histricas sobre el nacimiento de la funcin

1.2. El origen de las funciones Gamma y Beta

Un caso notable en la historia de las matemticas sobre la construccin de generalizaciones

La funcin Gamma fue descubierta en 1729 en una correspondencia entre un matemtico

Actualmente, la funcin Gamma comparece en mltiples ramas de las matemticas, desde

El problema de interpolacin es quizs el ms sencillo. Una de las sucesiones numricas ms

La frmula Tn = 21 n(n + 1) es bien conocida. Cul es el significado de esa frmula? En primer

Este tipo de cuestiones, relacionadas con la extensin de determinadas frmulas a conjuntos

Volvamos a nuestra sucesin de nmeros triangulares. Si cambiramos el signo de sumar por

Como hemos visto antes, el problema de encontrar la frmula y el problema de la interpo-

Euler observ entonces que poda aislar 1 2 n si haca f = 1 y g = 0 en el primer miembro

Escribiendo esta integral, presumiblemente, en la forma

Euler ensay de nuevo los valores f = 1 y g = 0, lo que le condujo a la indeterminacin:

expresin que para z = 0 da log x. Luego,

No obstante, la funcin Gamma es generalmente introducida hoy en da mediante la integral

representacin que, al igual que la notacin , es debida al matemtico francs Adrien-Marie

Mediante herramientas de clculo avanzado, se establece inmediatamente que la integral del

que conecta las dos integrales eulerianas, y la importante frmula de Stirling

Representaciones y ecuaciones funcionales

Presentaremos en este captulo diferentes expresiones y aproximaciones disponibles en la li-

A lo largo de todo el captulo adoptaremos la notacin

2.2. Integral de segunda especie de Euler

La primera solucin de Euler fue la representacin de la funcin Gamma en productos infi-

Figura 2.1. La funcin Gamma real.

Definicin 2.2.1 (Funcin Gamma). Definimos

donde t z1 = e (z1) log t y log t es el logaritmo real.

2.3. Relacin de recurrencia

A continuacin probaremos una generalizacin de la identidad n! = n(n 1)!.

Proposicin 2.3.1 (Relacin de recurrencia). Se verifica:

D EMOSTRACIN . Integrando por partes en (2.1):

(z + n) = (z + n 1)(z + n 2) (z + 1)z(z) = (z)n (z), (2.3)

es el smbolo de Pochhammer. La frmula (2.3) equivale a la siguiente expresin:

la cual extiende la definicin de la funcin Gamma a z > n para cualquier n N.

Por otra parte, haciendo z = 1 en (2.1) y (2.3), respectivamente, encontramos que

Teorema 2.3.2. La funcin Gamma es holomorfa en C \ {0, 1, 2, . . . , n, . . .}. Si n N, tiene un

D EMOSTRACIN . Consideremos primero el caso en que z H. El integrando de

Sea entonces K un subconjunto compacto de H. Podemos encontrar a, b > 0 tales que z K

g K (t ) = max{t a1 , t b1 }, 0 < t < .

Claramente |t z1 | = t z1 g K (t ), para cada t > 0. Como g K (t ) es integrable en R+ con respecto

Ahora, fijemos N N y consideremos el semiplano

El residuo del polo en n es:

2.4. Lmite infinito de Gauss

Teniendo en cuenta la expresin de e t como un lmite:

la funcin Gamma puede ser contemplada como el lmite de la integral

Comprobemos que P n (z) (z) cuando n . Se tiene, en efecto: