Función

polilogarítmica

El polilogaritmo (también conocido como

función de Jonquière) es una función
especial definida por la siguiente
serie:

Esta no es, en general, una función

elemental, aunque esté relacionada con la
función logarítmica. La definición dada
arriba es válida para todo número
complejo s y z tal que . Para
obtener el polilogaritmo en el resto del
plano complejo, hay que extender la
definición mediante una continuación
analítica.

Varias funciones polilogarítmicas en el

plano complejo

El caso especial nos da la relación

de estas funciones con el logaritmo (
) mientras que los
casos especiales y se
denominan dilogaritmo (o función de
Spence) y trilogaritmo respectivamente. El
nombre de la función proviene del hecho
de que podría ser definida como integrales
iteradas de la misma función:

así, el dilogaritmo es una integral del

logaritmo, el trilogaritmo del dilogaritmo y
así continuamente. Para valores enteros
negativos de s, el polilogaritmo es una
función racional.
El polilogaritmo también aparece en la
forma cerrada de la integral de la
distribución de Fermi-Dirac y de la
distribución de Bose-Einstein,
denominándose a veces como la integral
de Fermi-Dirac o la integral de Bose-
Einstein. El polilogaritmo no debe
confundirse con las funciones
polilogarítmicas ni con la función
logaritmo integral, la cual tiene una
notación similar.

Propiedades
En el caso en el que el parámetro s sea un
entero, este estará representado por n (o -
n cuando sea negativo). Suele ser
conveniente definir donde
es la rama principal del logaritmo
complejo , de tal manera que
. Además, toda
exponencialización se considerará
univaluada: .

Dependiendo del parámetro s, el

polilogaritmo puede ser multivaluado. La
rama principal del polilogaritmo se escoge
que sea aquella para la que sea
real para y sea continua
excepto en el eje positivo real, donde hay
un corte en el intervalo tal que
el corte coloca a los puntos del eje real en
el semiplano inferior de z. En término de ,
la rama principal está definida para
aquellos valores de tales que
. El hecho de que el
polilogaritmo sea discontinuo en puede
dar lugar a confusión.

Para z real y z ≥ 1, la parte imaginaria del

polilogaritmo es:

Si se atraviesa el corte, esto es, tomando

un parámetro infinitesimal δ positivo y real,
entonces se tiene:
Las derivadas del polilogaritmo son:

Distintos valores
Para valores
enteros de s, se
tienen las
siguientes
relaciones
explícitas:
Para todos los valores negativos de s, se
puede expresar el polilogaritmo como un
cociente de polinomios en z, siendo por
tanto funciones racionales. Algunos
valores de polilogaritmos para
argumentos semienteros son:

donde ζ es la función zeta de Riemann. No

se conocen fórmulas similares para
mayores órdenes.

Expresiones alternativas
La integral de la distribución de Bose-
Einstein se puede representar en
función de polilogaritmos:
Esta integral converge para
y para todo z exceptuando los z reales y
≥ 1. En este contexto se suele llamar al
polilogaritmo integral de Bose o integral
de Bose-Einstein.
La integral de la distribución de Fermi-
Dirac también es representable en
función de polilogaritmos:

Esta integral converge para

y para todo z exceptuando los z reales
menores que -1. En este contexto se
suele llamar al polilogaritmo integral de
Fermi o integral de Fermi-Dirac.
El polilogaritmo puede ser también
representado por una integral de
contorno. Mientras que el polo t = μ del
integrando no caiga en el eje real no
negativo y , se tiene:

donde H representa un contorno de

Hanker. El integrando tiene un corte en
el eje real desde el cero hasta el infinito,
encontrándose el eje real en el
semiplano inferior (es decir, siendo
alcanzable el eje real desde el
semiplano inferior de forma continua y
desde el semiplano superior de forma
discontinua). Para el caso en el que μ es
real y no negativo, podemos
simplemente añadir la contribución del
polo:

donde R es el residuo del polo:

La relación cuadrática es fácilmente

obtenible a partir de la fórmula de
duplicación:

Nótese que la función de Kummer

obedece una fórmula de duplicación
 muy parecida. Este es un caso especial
de la fórmula de multiplicación, para
cualquier entero p:

La cual puede ser porbada usando la

definición mediante series de la función
polilogarítmica y la ortogonalidad de los
términos exponenciales (véase
transformada discreta de Fourier).

Relación con otras funciones

Para z = 1, el polilogaritmo se reduce a
la función zeta de Riemann
El polilogaritmo está relacionado con la
función eta de Dirichlet y con la
función beta de Dirichlet así:

Cuando se aplica sobre argumentos

imaginarios puros se tiene:

El polilogaritmo es equivalente a la
integral de Fermi-Dirac

El polilogaritmo es un caso especial de

la función zeta de Lerch.

El polilogaritmo está relacionado con la

función zeta de Hurwitz así:
 donde es la función gamma. Esta
última igualdad es válida para

y para

Esta ecuación proporciona la continuación

analítica de la representación mediante
series del polilogaritmo más allá del
círculo de convergencia .

Por otra parte, para todo y para

todo , la fórmula de inversión
es:
 mientras que para todo y para
todo

Más abajo se tiene esta fórmula para el

caso en el que sea un entero, en el cual
se simplifica bastante.

Usando la relación que hay entre la

función zeta de Hurwitz y los polinomios
de Bernoulli:
que se cumple para todo x y
se obtiene la siguiente
relación:

Con las mismas condiciones sobre x que

arriba, para valores enteros negativos del
parámetro s, se tiene que, para todo
:

Más generalmente,
:
El polilogaritmo sobre valores de μ
imaginarios puros puede expresarse en
término de las funciones de Chausen
y .

La Tangente inversa integral se

puede escribir en función de
polilogaritmos:

La función chi de Legendre se

puede escribir en función de
polilogaritmos:
 El polilogaritmo se puede escribir como
una serie de funciones de Debye :

Otra expresión bastante similar relaciona

la función de Debye con el polilogaritmo:

Representaciones en forma
de serie
 Se puede representar al polilogaritmo
como una serie de potencias en torno a
como sigue: Comenzemos con
la transformada de Mellin siguiente:

El cambio de variables ,
transforma a la integral
doble en una integral separable:

Para tenemos, usando la

transformada inversa de Mellin:
donde c es una constante situada a la
derecha de los polos del integrando. El
camino de integración puede deformarse
en un contorno cerrado, y los polos del
integrando son los de la función gamma
en y el polo de
la función zeta de Riemann
situado en . Sumando estos
residuos, para y
Si el parámetro s es un entero positivo n,
tanto el término como la
función gamma se hacen infinito, aunque
su suma no. Para enteros se tiene:

y para :

Así, para , donde n es un entero

positivo y , se tiene lo siguiente:
donde es un número armónico:

El término problemático contiene a

el cual, cuando se multiplica
por tiende a cero cuando μ tiende a
cero, excepto en el caso en el que .
Esto refleja el hecho de que el
polilogaritmo contiene una
singularidad logarítmica cuando y
, entonces:

Usando la relación existente entre la

función zeta de Riemann y los números de
Bernoulli :

se obtiene, para órdenes s negativos

enteros del polilogaritmo y :
Como, exceptuando , todos los
números de Bernoulli con índice impar son
cero, se obtiene el término usando
.

Como se ha dicho anteriormente, el

polilogaritmo puede ser extendido a
valores negativos del parámetro s
usando una integral de contorno:

donde H es el contorno de Hankel,

, y el polo del
integrando no cae en el eje no negativo
real. El contorno de Hanker puede
deformarse para que contenga los polos
del integrando en y la
integral puede ser evaluada como la suma
de los residuos de los polos que contenga
con la fórmula integral de Cauchy.

Esto se cumplirá para y para

todo μ excepto cuando . Sumando
estas series se obtiene:
Nótese que esta suma es más compacta
escrita en términos de la función eta de
Dirichlet.

Para enteros negativos s, el

polilogaritmo puede representarse
como una serie que contiene a los
números Eulerianos (no confundir con
los números de Euler).

donde son los números Eulerianos.

 Otra fórmula explícita para enteros
negativos s es:

donde son los números de

Stirling de segunda especie.

Límites del polilogaritmo

Los siguientes límites se cumplen para el
polilogaritmo:
Dilogaritmo
El dilogaritmo es el polilogaritmo con
. Una representación integral del
dilogaritmo es:

La identidad de Abel para el dilogaritmo

está dada por
 .

Es inmediato que esta igualdad se cumple

en los casos y , y es
fácilmente verificable por diferenciación ∂/
∂x ∂/∂y. Para la identidad se
reduce a la fórmula de reflexión de Euler:

donde se ha usado .

Haciendo el cambio de variables

, , la
identidad de Abel se transforma así:

llamándose a esta la Identidad

Pentagonal.

Nota histórica:Don Zagier remarcó que "El

dilogaritmo es la única función
matemática con sentido del humor."

Escaleras de polilogaritmos
Leonard Lewin descubrió una
generalización de varias relaciones
clásicas para valores especiales del
polilogaritmo, estas son las escaleras de
polilogaritmoseee. Sea
el recíproco del
número áureo. Entonces, dos ejemplos de
estas relaciones son los siguientes:

Estas relaciones aparecen de forma

natural en teoría K y Geometría algebraica.

Monodromía
El polilogaritmo tiene dos puntos de
ramificación, uno en y otro en
 . El segundo punto (el situado en
) no es visible en la hoja principal
del polilogaritmo. Este sólo se hace visible
cuando el polilogaritmo es extendido
mediante continuación analítica a sus
otras hojas. El grupo de monodromía para
el polilogaritmo consiste en las clases de
homotopía de los caminos que rodean los
puntos de ramificación. Denotando a
estos puntos como y , el grupo de
monodromía tiene la siguiente
representación de grupo:

Para el caso especial de dilogaritmo, se

tiene además que , y el
grupo de monodromías es el grupo de
Heisenberg (identificando y
con ).

Referencias
Milton Abramowitz and Irene A. Stegun,
eds. (1972). Handbook of Mathematical
Functions with Formulas, Graphs, and
Mathematical Tables. New York: Dover.
ISBN 0-486-61272-4.
Bailey, David; Borwein, Peter B., and
Plouffe, Simon (abril de 1997). «On the
Rapid Computation of Various
Polylogarithmic Constants» (PDF).
Mathematics of Computation 66 (218):
903-913. doi:10.1090/S0025-5718-97-
00856-9 .
Bailey, D. H. and Broadhurst, D. J. (June
20, 1999). «A Seventeenth-Order
Polylogarithm Ladder» (PDF).
Consultado el 1 de noviembre de 2005.
Boersma, J.; Dempsey, J. P. (1992). «On
the evaluation of Legendre's chi-
function». Mathematics of Computation
59 (199): 157-163.
doi:10.2307/2152987 .
Borwein, J. M.; Bradley, D. M.,
Broadhurst, D. J., and Lisonek, P. (1998).
«Special Values of Multidimensional
Polylogarithms». CECM 106.
Borwein, J. M.; Bradley, D. M.;
Broadhurst, D. J.; Lisonek, P. (2001).
«Special Values of Multiple
Polylogarithms». Transactions of the
American Mathematical Society 353 (3):
907-941. doi:10.1090/S0002-9947-00-
02616-7 .
Berndt, B. C. (1994). Ramanujan's
Notebooks, Part IV. New York: Springer-
Verlag. pp. 323-326. ISBN 0-387-94109-
6.
Clunie, J. (1954). «On Bose-Einstein
functions». Proceedings of the Physical
Society, Section A 67: 632-636.
doi:10.1088/0370-1298/67/7/308 .
Coxeter, H.S.M. (1935). «The functions
of Schlafli and Lobatschefsky».
Quarterly Journal of Mathematics
(Oxford) 6: 13-29.
doi:10.1093/qmath/os-6.1.13 .
Cvijović, D. and Klinowski, J (1997).
«Continued-fraction expansions for the
Riemann zeta function and
polylogarithms» . Proc. Amer.Math.
Soc.125(1997),2543-2550.
Cvijović, D. (2006). «New integral
representations of the polylogarithm
function» . Royal Society. Consultado el
15 de diciembre de 2006.
Erdélyi, A., Magnus, W., Oberhettinger, F.,
and Tricomi, F. G. (1981). Higher
Transcendental Functions, Vol. 1. New
York: Krieger.
Fornberg, B.; Kölbig, K. S. (1975).
«Complex zeros of the Jonquiére or
polylogarithm function». Mathematics of
Computation 29 (130): 582-599.
doi:10.2307/2005579 .
Gradshteyn, I.S. and Ryzhik, I.M. (1980).
Tables of Integrals, Series, and Products.
Academic Press, New York. ISBN 0-12-
294760-6.
GNU Scientific Library. «Reference
Manual» . Consultado el 1 de noviembre
de 2005.
Jahnke, E. and Emde, F. (1945). Tables
of Functions with Formulae and Curves.
Dover.
Kölbig, K. S.; Mignaco, J. A. , and
Remiddi, E. (1970). «On Nielsen's
generalized polylogarithms and their
numerical calculation». BIT 10: 38-74.
doi:10.1007/BF01940890 .
Lewin, L. (1958). Dilogarithms and
Associated Functions. Macdonald -
London.
Lewin, L. (1981). Polylogarithms and
Associated Functions. North-Holland-
New York. ISBN 0-444-00550-1.
Lewin, Leonard (Ed.) (1991). Structural
Properties of Polylogarithms. Amer.
Math. Soc. - Providence, RI. ISBN 0-
8218-1634-9.
McDougall, J.; Stoner, E. C. (1939). «The
computation of Fermi-Dirac functions».
Philosophical Transactions of the Royal
Society, Series A 237: 67-104.
doi:10.1098/rsta.1938.0004 .
Markman, B. (1965). «The Riemann Zeta
Function». BIT 5: 138-141.
Nielsen, N. (1909). Der Euler'sche
Dilogarithms. Halle - Leipzig, Germany.
Prudnikov, A. P.; Marichev, O. I.; and
Brychkov, Yu. A. (1990). Integrals and
Series, Vol. 3 (More Special Functions):
The Generalized Zeta Function, Bernoulli
Polynomials, Euler Polynomials, and
Polylogarithms. Gordon and Breach -
Newark, NJ. (see § 1.2, pp 23-24)
Robinson, J. E. (1951). «Note on the
Bose-Einstein integral functions» .
Physical Review, Series 2 83: 678-679.
Rogers, L. J. (1907). «On Function Sum
Theorems connected with the series
 ». Proceedings of the London

Mathematical Society 4: 169-189.

Schrödinger, E. (1952). Statistical
Thermodynamics. Cambridge.
Truesdell, C. (1945). «On a function
which occurs in the theory of the
structure of polymers». Annals of
Mathematics, Series 2 46 (1): 144-1457.
Vepstas, Linas (febrero de 2007). «An
efficient algorithm for accelerating the
convergence of oscillatory series, useful
for computing the polylogarithm and
Hurwitz zeta functions» . ArXiv math.CA
(math.CA/0702243).
 Whittaker, E. T., and Watson, G. N.
(1962). A Course of Modern Analysis
(Fourth edition edición). Cambridge
University Press.
Wood, David C. (June, 1992). «Technical
Report 15-92» . University of Kent
computing Laboratory, University of
Kent, Canterbury, UK. Consultado el 1 de
noviembre de 2005.

Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Función_polilogarítmica&oldid=115254216»

Última edición hace 2 días por Jesú…

El contenido está disponible bajo la licencia CC BY-
SA 3.0 , salvo que se indique lo contrario.