Función polilogarítmica

El polilogaritmo (también conocido comofunció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 der 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 s,deel polilogaritmo es unafunción racional.

El polilogaritmo también aparece en la forma cerrada de la integral de ladistribución de Fermi-Diracy 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 lasfunciones polilogarítmicasni con la función logaritmo integral, la cual tiene una notación similar.

Índice
Propiedades
Distintos valores
Expresiones alternativas
Relación con otras funciones
Representaciones en forma de serie
Límites del polilogaritmo
Dilogaritmo
Escaleras de polilogaritmos
Monodromía
Referencias

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ámetros, 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 des, 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-Einsteinse 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-Diractambié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 lafó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 lafunción zeta de Riemann

El polilogaritmo está relacionado con lafunció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 lafunción zeta de Lerch.

El polilogaritmo está relacionado con lafunción zeta de Hurwitzasí:

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 conver
gencia .

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 lafunción zeta de Hurwitzy los polinomios de Bernoulli:

que se cumple para todox y se obtiene la siguiente relación:

Con las mismas condiciones sobrex que arriba, para valores enteros negativos del parámetros, se tiene que, para todo :

Más generalmente, :
 El polilogaritmo sobre valores deμ imaginarios puros puede expresarse en término de lasfunciones 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 defunciones 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 latransformada de Mellinsiguiente:

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ítmicacuando y , entonces:

Usando la relación existente entre la función zeta de Riemann y losnúmeros de Bernoulli :

se obtiene, para órdeness 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 lafunción eta de Dirichlet.

Para enteros negativoss, 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 negativoss 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 lafó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 enteorí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 siguienterepresentación de grupo:

Para el caso especial de dilogaritmo, se tiene además que , y el grupo de monodromías es elgrupo 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 Computation59 (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 Computation29 (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 Society4: 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 246 (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=101659110
»

Esta página se editó por última vez el 5 sep 2017 a las 17:43.

El texto está disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0
; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros
términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc., una organización sin ánimo de lucro.