Полілогарифм

Полілогарифм — спеціальна функція, що позначається ${\displaystyle \operatorname {Li} _{s}(z)}$ і визначається як нескінченний степеневий ряд

${\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}},}$

де s і z — комплексні числа, причому ${\displaystyle |z|<1}$. Для інших z робиться узагальнення за допомогою аналітичного продовження.

• Карта висот полілогарифма на комплексній площині
• ${\displaystyle \operatorname {Li} _{-3}(z)}$
• ${\displaystyle \operatorname {Li} _{-2}(z)}$
• ${\displaystyle \operatorname {Li} _{-1}(z)}$
• ${\displaystyle \operatorname {Li} _{0}(z)}$
• ${\displaystyle \operatorname {Li} _{1}(z)}$
• ${\displaystyle \operatorname {Li} _{2}(z)}$
• ${\displaystyle \operatorname {Li} _{3}(z)}$

Частковим випадком є ${\displaystyle s=1}$, за якого ${\displaystyle \operatorname {Li} _{1}(z)=-\ln(1-z)}$. Функції ${\displaystyle \operatorname {Li} _{2}(z)}$ і ${\displaystyle \operatorname {Li} _{3}(z)}$ отримали назви дилогарифма і відповідно. Для полілогарифмів різних порядків виконується співвідношення

${\displaystyle \operatorname {Li} _{s+1}(z)=\int _{0}^{z}{\frac {\operatorname {Li} _{s}(t)}{t}}\,\mathrm {d} t.}$

Альтернативними визначеннями полілогарифма є інтеграли Фермі — Дірака і .

Окремі значення

${\displaystyle \operatorname {Li} _{1}({\tfrac {1}{2}})=\ln 2}$

${\displaystyle \operatorname {Li} _{2}({\tfrac {1}{2}})={\tfrac {1}{12}}\pi ^{2}-{\tfrac {1}{2}}(\ln 2)^{2}}$

${\displaystyle \operatorname {Li} _{3}({\tfrac {1}{2}})={\tfrac {1}{6}}(\ln 2)^{3}-{\tfrac {1}{12}}\pi ^{2}\ln 2+{\tfrac {7}{8}}\,\zeta (3)\,,}$

${\displaystyle \operatorname {Li} _{1}(z)=-\ln(1-z)}$

${\displaystyle \operatorname {Li} _{0}(z)={z \over 1-z}}$

${\displaystyle \operatorname {Li} _{-1}(z)={z \over (1-z)^{2}}}$

${\displaystyle \operatorname {Li} _{-2}(z)={z\,(1+z) \over (1-z)^{3}}}$

${\displaystyle \operatorname {Li} _{-3}(z)={z\,(1+4z+z^{2}) \over (1-z)^{4}}}$

${\displaystyle \operatorname {Li} _{-4}(z)={z\,(1+z)(1+10z+z^{2}) \over (1-z)^{5}}\,.}$

Див. також

• Неповний полілогарифм
• Інтеграл Фермі — Дірака

Література

• Abel, N.H. Œuvres complètes de Niels Henrik Abel − Nouvelle édition, Tome II : ( )[фр.] / Sylow, L.; Lie, S.. — Christiania [Oslo] : ^[en], 1881. — С. 189—193. (this 1826 manuscript was only published posthumously.)
• Abramowitz, M.; Stegun, I.A. ^[en] with Formulas, Graphs, and Mathematical Tables : ( )[англ.]. — New York : , 1972. — .
• ^[en]; ^[en]; ^[en]. On the Rapid Computation of Various Polylogarithmic Constants : ( )[англ.] // ^[en] : journal. — 1997. — Vol. 66, № 218 (April). — С. 903—913. — DOI:10.1090/S0025-5718-97-00856-9.
• Bailey, D.H.; Broadhurst, D.J. (20 червня 1999). A Seventeenth-Order Polylogarithm Ladder. arXiv:math.CA/9906134. {{}}: Проігноровано |class= ()
• Berndt, B.C. Ramanujan's Notebooks, Part IV : ( )[]. — New York : , 1994. — С. 323—326. — .
• Boersma, J.; Dempsey, J.P. On the evaluation of Legendre's chi-function : ( )[англ.] // ^[en] : journal. — 1992. — Vol. 59, № 199. — С. 157—163. — DOI:10.2307/2152987. — JSTOR 2152987.
• Borwein, J.M.; Bradley, D.M.; Broadhurst, D.J.; Lisonek, P. Special Values of Multiple Polylogarithms : ( )[англ.] // Transactions of the American Mathematical Society. — 2001. — Vol. 353, № 3. — С. 907—941. — DOI:10.1090/S0002-9947-00-02616-7.
• Clunie, J. On Bose-Einstein functions : ( )[англ.] // ^[en] : journal. — 1954. — Vol. 67, № 7. — С. 632—636. — DOI:10.1088/0370-1298/67/7/308.
• Cohen, H.; Lewin, L.; Zagier, D. A Sixteenth-Order Polylogarithm Ladder : ( )[] // Experimental Mathematics. — 1992. — Т. 1, № 1. — С. 25—34.
• Coxeter, H.S.M. The functions of Schläfli and Lobatschefsky : ( )[] // Quarterly Journal of Mathematics (Oxford). — 1935. — Т. 6, № 1. — С. 13—29. — DOI:10.1093/qmath/os-6.1.13.
• Cvijovic, D.; Klinowski, J. Continued-fraction expansions for the Riemann zeta function and polylogarithms : ( )[англ.] // ^[en] : journal. — 1997. — Vol. 125, № 9. — С. 2543—2550. — DOI:10.1090/S0002-9939-97-04102-6.
• Cvijovic, D. New integral representations of the polylogarithm function : ( )[англ.] // Proceedings of the Royal Society (London), Series A : journal. — 2007. — Vol. 463, № 2080. — С. 897—905. — DOI:10.1098/rspa.2006.1794.
• ^[en]; Magnus, W.; Oberhettinger, F.; Tricomi, F.G. Higher Transcendental Functions, Vol. 1 : ( )[]. — New York : Krieger, 1981.
• Fornberg, B.; Kölbig, K.S. Complex zeros of the Jonquiére or polylogarithm function : ( )[англ.] // ^[en] : journal. — 1975. — Vol. 29, № 130. — С. 582—599. — DOI:10.2307/2005579. — JSTOR 2005579.
• GNU Scientific Library (2010). . Архів оригіналу за 23 листопада 2006. Процитовано 13 червня 2010.
• Gradshteyn, I.S.; Ryzhik, I.M. Tables of Integrals, Series, and Products : ( )[англ.]. — 4th. — New York : , 1980. — .
• Guillera, J.; Sondow, J. Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent : ( )[англ.] // ^[en] : journal. — 2008. — Vol. 16, № 3. — С. 247—270. — arXiv:math.NT/0506319. — DOI:10.1007/s11139-007-9102-0.
• Hain, R.M. (25 березня 1992). Classical polylogarithms. arXiv:alg-geom/9202022. {{}}: Проігноровано |class= ()
• Jahnke, E.; Emde, F. Tables of Functions with Formulae and Curves : ( )[англ.]. — 4th. — New York : , 1945.
• Jonquière, A. Note sur la série ${\displaystyle \scriptstyle \sum _{n=1}^{\infty }{\frac {x^{n}}{n^{s}}}}$ : ( )[] // ^[en]. — 1889. — Т. 17. — С. 142—152.
• Kölbig, K.S.; Mignaco, J.A.; Remiddi, E. On Nielsen's generalized polylogarithms and their numerical calculation : ( )[англ.] // BIT : journal. — 1970. — Vol. 10. — С. 38—74. — DOI:10.1007/BF01940890.
• Kirillov, A.N. Dilogarithm identities : ( )[англ.] // ^[en] : journal. — 1995. — Vol. 118. — С. 61—142. — arXiv:hep-th/9408113. — DOI:10.1143/PTPS.118.61.
• Lewin, L. Dilogarithms and Associated Functions : ( )[]. — London : Macdonald, 1958.
• Lewin, L. Polylogarithms and Associated Functions : ( )[]. — New York : North-Holland, 1981. — .
• Lewin, L. (Ed.). Structural Properties of Polylogarithms : ( )[]. — Providence, RI : Amer. Math. Soc., 1991. — Т. 37. — (Mathematical Surveys and Monographs). — .
• Markman, B. The Riemann Zeta Function : ( )[] // BIT. — 1965. — Т. 5. — С. 138—141.
• Maximon, L.C. The Dilogarithm Function for Complex Argument : ( )[] // Proceedings of the Royal Society (London), Series A. — 2003. — Т. 459, № 2039. — С. 2807—2819. — DOI:10.1098/rspa.2003.1156.
• McDougall, J.; Stoner, E.C. The computation of Fermi-Dirac functions : ( )[] // Philosophical Transactions of the Royal Society (London), Series A. — 1938. — Т. 237, № 773. — С. 67—104. — DOI:10.1098/rsta.1938.0004.
• Nielsen, N. Der Eulersche Dilogarithmus und seine Verallgemeinerungen : ( )[] // Nova Acta Leopoldina. — Halle – Leipzig, Germany : Kaiserlich-Leopoldinisch-Carolinische Deutsche Akademie der Naturforscher, 1909. — Т. XC, № 3. — С. 121—212.
• Prudnikov, A.P.; Marichev, O.I.; Brychkov, Yu.A. Integrals and Series, Vol. 3: More Special Functions : ( )[англ.]. — Newark, NJ : , 1990. — . (see § 1.2, «The generalized zeta function, Bernoulli polynomials, Euler polynomials, and polylogarithms», p. 23.)
• Robinson, J.E. Note on the Bose-Einstein integral functions : ( )[] // Physical Review, Series 2. — 1951. — Т. 83, № 3. — С. 678—679. — DOI:10.1103/PhysRev.83.678.
• Rogers, L.J. On function sum theorems connected with the series ${\displaystyle \scriptstyle \sum _{n=1}^{\infty }{\frac {x^{n}}{n^{2}}}}$ : ( )[англ.] // Proceedings of the London Mathematical Society (2) : journal. — 1907. — Vol. 4, № 1. — С. 169—189. — DOI:10.1112/plms/s2-4.1.169.
• . Statistical Thermodynamics : ( )[]. — 2nd. — Cambridge, UK : Cambridge University Press, 1952.
• Truesdell, C. On a function which occurs in the theory of the structure of polymers : ( )[англ.] // Annals of Mathematics, Series 2 : journal. — 1945. — Vol. 46, № 1. — С. 144—157. — DOI:10.2307/1969153. — JSTOR 1969153.
• Vepstas, L. (2007). An efficient algorithm for accelerating the convergence of oscillatory series, useful for computing the polylogarithm and Hurwitz zeta functions. arXiv:math.CA/0702243. {{}}: Проігноровано |class= (); Проігноровано невідомий параметр |month= ()
• Whittaker, E.T.; ^[en]. A Course of Modern Analysis : ( )[]. — 4th. — Cambridge, UK : Cambridge University Press, 1952.
• Wood, D.C. (June 1992). The Computation of Polylogarithms. Technical Report 15-92*. Canterbury, UK: University of Kent Computing Laboratory. Архів оригіналу (PS) за 14 травня 2012. Процитовано 1 листопада 2005.
• (1989). The dilogarithm function in geometry and number theory. Number Theory and Related Topics: papers presented at the Ramanujan Colloquium, Bombay, 1988. Studies in Mathematics. Т. 12. Bombay: Tata Institute of Fundamental Research and Oxford University Press. с. 231—249. ISBN . (also appeared as «The remarkable dilogarithm» in Journal of Mathematical and Physical Sciences 22 (1988), pp. 131—145, and as Chapter I of (Zagier, 2007).)
• Zagier, D. Frontiers in Number Theory, Physics, and Geometry II – On Conformal Field Theories, Discrete Groups and Renormalization : ( )[англ.] / Cartier, P.; Julia, B.; Moussa, P.; Vanhove, P.. — Berlin : , 2007. — С. 3—65. — .

Посилання

• Weisstein, Eric W. Polylogarithm(англ.) на сайті Wolfram MathWorld.
• Weisstein, Eric W. Dilogarithm(англ.) на сайті Wolfram MathWorld.