Полилогарифм - Polylogarithm - Wikipedia

Не путать с полилогарифмическая функция.

В математика, то полилогарифм (также известен как Функция Жонкьера, для Альфреда Жонкьера) является специальная функция Ли_s(z) порядка s и аргумент z. Только для особых значений s сводится ли полилогарифм к элементарная функция такой как натуральный логарифм или же рациональные функции. В квантовая статистика, функция полилогарифма представляет собой замкнутую форму интегралы из Распределение Ферми – Дирака и Распределение Бозе – Эйнштейна, и также известен как Интеграл Ферми – Дирака или Интеграл Бозе – Эйнштейна. В квантовая электродинамика, полилогарифмы положительных целое число порядок возникают при расчете процессов, представленных высшим порядком Диаграммы Фейнмана.

Функция полилогарифма эквивалентна функции Дзета-функция Гурвица - либо функция могут быть выражены в терминах другого - и обе функции являются частными случаями Лерх трансцендентный. Полилогарифмы не следует путать с полилогарифмические функции ни с логарифмический интеграл смещения который имеет то же обозначение, но с одной переменной.

• Различные функции полилогарифма на комплексной плоскости
• 

  Ли₋₃(z)

• 

  Ли₋₂(z)

• 

  Ли₋₁(z)

• 

  Ли₀(z)

• 

  Ли₁(z)

• 

  Ли₂(z)

• 

  Ли₃(z)

Функция полилогарифма определяется степенной ряд в z, который также является Серия Дирихле в s:

${\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=1}^{\infty }{z^{k} \over k^{s}}=z+{z^{2} \over 2^{s}}+{z^{3} \over 3^{s}}+\cdots }$

Это определение справедливо для произвольных сложный порядок s и для всех сложных аргументов z с |z| <1; его можно расширить до |z| ≥ 1 в результате аналитическое продолжение. Особый случай s = 1 включает обычные натуральный логарифм, Ли₁(z) = −ln (1−z), а частные случаи s = 2 и s = 3 называются дилогарифм (также называемая функцией Спенса) и трилогарифмом соответственно. Название функции связано с тем, что ее также можно определить как повторяющийся интеграл сам по себе:

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

таким образом, дилогарифм является интегралом функции, содержащей логарифм, и так далее. Для неположительных целочисленных заказов s, полилогарифм есть рациональная функция.

Характеристики

В случае, если порядок полилогарифма ${\displaystyle s}$ является целым числом, оно будет представлено как ${\displaystyle n}$ (или же ${\displaystyle -n}$ при отрицательном). Часто бывает удобно определить ${\displaystyle \mu =\ln(z)}$ куда ${\displaystyle \ln(z)}$ это главный филиал из комплексный логарифм ${\displaystyle \operatorname {Ln} (z)}$ так что ${\displaystyle -\pi <\operatorname {Im} (\mu )\leq \pi .}$ Также предполагается, что все возведение в степень однозначно: ${\displaystyle z^{s}=\exp(s\ln(z)).}$

В зависимости от заказа ${\displaystyle s}$, полилогарифм может быть многозначным. В главный филиал из ${\displaystyle \operatorname {Li} _{s}(z)}$ считается отданным за ${\displaystyle |z|<1}$ согласно приведенному выше определению ряда и считается непрерывным, за исключением положительной действительной оси, где разрез сделан из ${\displaystyle z=1}$ к ${\displaystyle \infty }$ таким образом, чтобы ось находилась в нижней полуплоскости ${\displaystyle z}$. С точки зрения ${\displaystyle \mu }$, это составляет ${\displaystyle -\pi <\operatorname {arg} (-\mu )\leq \pi }$. Разрыв полилогарифма в зависимости от ${\displaystyle \mu }$ иногда может сбивать с толку.

Для реального аргумента ${\displaystyle z}$, полилогарифм действительного порядка ${\displaystyle s}$ реально, если ${\displaystyle z<1}$, а его мнимая часть для ${\displaystyle z\geq 1}$ является (Дерево 1992, § 3):

${\displaystyle \operatorname {Im} \left(\operatorname {Li} _{s}(z)\right)=-{{\pi \mu ^{s-1}} \over {\Gamma (s)}}.}$

Переходя по разрезу, если ε бесконечно малое положительное действительное число, то:

${\displaystyle \operatorname {Im} \left(\operatorname {Li} _{s}(z+i\epsilon )\right)={{\pi \mu ^{s-1}} \over {\Gamma (s)}}.}$

Оба могут быть заключены из разложения в ряд (Смотри ниже ) Ли_s(е^µ) о µ = 0.

Производные полилогарифма следуют из определяющего степенного ряда:

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

${\displaystyle {\partial \operatorname {Li} _{s}(e^{\mu }) \over \partial \mu }=\operatorname {Li} _{s-1}(e^{\mu }).}$

Отношение квадратов видно из определения серии и связано с формула дублирования (смотрите также Клуни (1954), Шредингер (1952) ):

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

Функция Куммера подчиняется очень похожей формуле дублирования. Это частный случай формула умножения, для любого положительного целого числа п:

${\displaystyle \sum _{m=0}^{p-1}\operatorname {Li} _{s}(ze^{2\pi im/p})=p^{1-s}\operatorname {Li} _{s}(z^{p}),}$

что может быть доказано, используя определение полилогарифма серией и ортогональность экспоненциальных членов (см., например, дискретное преобразование Фурье ).

Другое важное свойство, формула обращения, включает в себя Дзета-функция Гурвица или Полиномы Бернулли и находится под отношение к другим функциям ниже.

Особые ценности

В частных случаях полилогарифм может быть выражен через другие функции (Смотри ниже ). Таким образом, конкретные значения полилогарифма также могут быть найдены как конкретные значения этих других функций.

1. Для целых значений порядка полилогарифма следующие явные выражения получаются повторным применением z·∂/∂z Ли₁(z):

${\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}}.}$

Соответственно полилогарифм сводится к соотношению многочленов от z, и поэтому рациональная функция из z, для всех неположительных целочисленных заказов. Общий случай можно представить в виде конечной суммы:

${\displaystyle \operatorname {Li} _{-n}(z)=\left(z{\partial \over \partial z}\right)^{n}{z \over {1-z}}=\sum _{k=0}^{n}k!S(n+1,k+1)\left({z \over {1-z}}\right)^{k+1}\qquad (n=0,1,2,\ldots ),}$

куда S(п,k) являются Числа Стирлинга второго рода. Эквивалентные формулы, применимые к отрицательным целым порядкам: (Дерево 1992, § 6):

${\displaystyle \operatorname {Li} _{-n}(z)=(-1)^{n+1}\sum _{k=0}^{n}k!S(n+1,k+1)\left({{-1} \over {1-z}}\right)^{k+1}\qquad (n=1,2,3,\ldots ),}$

и:

${\displaystyle \operatorname {Li} _{-n}(z)={1 \over (1-z)^{n+1}}\sum _{k=0}^{n-1}\left\langle {n \atop k}\right\rangle z^{n-k}\qquad (n=1,2,3,\ldots ),}$

куда ${\displaystyle \scriptstyle \left\langle {n \atop k}\right\rangle }$ являются Числа Эйлера. Все корни Ли_−п(z) отчетливы и реальны; они включают z = 0, а остаток отрицателен и сосредоточен около z = −1 в логарифмическом масштабе. В качестве п становится большим, численная оценка этих рациональных выражений все больше страдает от сокращения (Дерево 1992, § 6); Однако полную точность можно получить, вычислив Li_−п(z) через общую связь с дзета-функцией Гурвица (Смотри ниже ).

2. Некоторые частные выражения для полуцелых значений аргумента z находятся:

${\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),}$

куда ζ это Дзета-функция Римана. Формулы этого типа для высших целых порядков неизвестны (Левин 1991, п. 2), но есть, например, (Borwein, Borwein & Girgensohn 1995 г. ):

${\displaystyle \operatorname {Li} _{4}({\tfrac {1}{2}})={\tfrac {1}{360}}\pi ^{4}-{\tfrac {1}{24}}(\ln 2)^{4}+{\tfrac {1}{24}}\pi ^{2}(\ln 2)^{2}-{\tfrac {1}{2}}\zeta ({\bar {3}},{\bar {1}}),}$

который включает переменную двойную сумму

${\displaystyle \zeta ({\bar {3}},{\bar {1}})=\sum _{m>n>0}(-1)^{m+n}m^{-3}n^{-1}.}$

Обычно для целочисленных заказов п ≥ 2 (Бродхерст 1996, п. 9):

${\displaystyle \operatorname {Li} _{n}({\tfrac {1}{2}})=-\zeta ({\bar {1}},{\bar {1}},\left\{1\right\}^{n-2}),}$

куда ζ(s₁, ..., s_k) это множественная дзета-функция; Например:

${\displaystyle \operatorname {Li} _{5}({\tfrac {1}{2}})=-\zeta ({\bar {1}},{\bar {1}},1,1,1).}$

3. Как прямое следствие определения ряда, значения полилогарифма в пй комплекс корни единства даны Сумма Фурье:

${\displaystyle \operatorname {Li} _{s}(e^{2\pi im/p})=p^{-s}\sum _{k=1}^{p}e^{2\pi imk/p}\zeta (s,{\tfrac {k}{p}})\qquad (m=1,2,\dots ,p-1),}$

куда ζ это Дзета-функция Гурвица. Для Re (s)> 1, где Li_s(1) конечно, соотношение также выполняется с м = 0 или м = п. Хотя эта формула не так проста, как это следует из более общей связи с дзета-функцией Гурвица, перечисленной в отношение к другим функциям ниже, он имеет преимущество применения к неотрицательным целым значениям s также. Как обычно, соотношение можно перевернуть, чтобы выразить ζ (s, ^м⁄_п) для любого м = 1, ..., п как сумму Фурье Li_s(ехр (2πi ^k⁄_п)) над k = 1, ..., п.

Связь с другими функциями

• За z = 1 полилогарифм сводится к Дзета-функция Римана

${\displaystyle \operatorname {Li} _{s}(1)=\zeta (s)\qquad (\operatorname {Re} (s)>1).}$

• Полилогарифм связан с Эта функция Дирихле и Бета-функция Дирихле:

${\displaystyle \operatorname {Li} _{s}(-1)=-\eta (s),}$

куда η(s) - эта функция Дирихле. Для чисто мнимых аргументов мы имеем:

${\displaystyle \operatorname {Li} _{s}(\pm i)=-2^{-s}\eta (s)\pm i\beta (s),}$

куда β(s) - бета-функция Дирихле.

• Полилогарифм связан с полный интеграл Ферми – Дирака в качестве:

${\displaystyle F_{s}(\mu )=-\operatorname {Li} _{s+1}(-e^{\mu }).}$

• Полилогарифм - частный случай неполный полилогарифм функция

${\displaystyle \operatorname {Li} _{s}(z)=\operatorname {Li} _{s}(0,z).}$

• Полилогарифм - частный случай Лерх трансцендентный (Erdélyi et al. 1981 г., § 1.11-14)

${\displaystyle \operatorname {Li} _{s}(z)=z\Phi (z,s,1).}$

• Полилогарифм связан с Дзета-функция Гурвица к:

${\displaystyle \operatorname {Li} _{s}(z)={\Gamma (1-s) \over (2\pi )^{1-s}}\left[i^{1-s}\zeta \left(1-s,{\frac {1}{2}}+{\ln(-z) \over {2\pi i}}\right)+i^{s-1}~\zeta \left(1-s,{\frac {1}{2}}-{\ln(-z) \over {2\pi i}}\right)\right],}$

какое отношение, однако, недействительно при положительном целом числе s к полюса из гамма-функция Γ (1−s), а при s = 0 полюсом обеих дзета-функций; вывод этой формулы приведен в представления серий ниже. С небольшой помощью функционального уравнения для дзета-функции Гурвица полилогарифм, следовательно, также связан с этой функцией через (Жонкьер 1889 ):

${\displaystyle i^{-s}\operatorname {Li} _{s}(e^{2\pi ix})+i^{s}\operatorname {Li} _{s}(e^{-2\pi ix})={(2\pi )^{s} \over \Gamma (s)}\zeta (1-s,x),}$

какое соотношение выполняется при 0 ≤ Re (Икс) <1, если Im (Икс) ≥ 0, а при 0 Икс) ≤ 1, если Im (Икс) <0. Эквивалентно для всех комплексных s и для сложных z ∉] 0; 1], формула обращения имеет вид

${\displaystyle \operatorname {Li} _{s}(z)+(-1)^{s}\operatorname {Li} _{s}(1/z)={(2\pi i)^{s} \over \Gamma (s)}~\zeta \left(1-s,~{\frac {1}{2}}+{\ln(-z) \over {2\pi i}}\right),}$

и для всего комплекса s и для сложных z ∉ ]1;∞[

${\displaystyle \operatorname {Li} _{s}(z)+(-1)^{s}\operatorname {Li} _{s}(1/z)={(2\pi i)^{s} \over \Gamma (s)}~\zeta \left(1-s,~{\frac {1}{2}}-{\ln(-1/z) \over {2\pi i}}\right).}$

За z ∉] 0; ∞ [ln (-z) = −ln (-¹⁄_z), и оба выражения согласуются. Эти соотношения дают аналитическое продолжение полилогарифма за пределы круга сходимости |z| = 1 определяющего степенного ряда. (Соответствующее уравнение Жонкьер (1889 г., ур. 5) и Erdélyi et al. (1981 г., § 1.11-16) неверно, если предположить, что главные ветви полилогарифма и логарифма используются одновременно.) См. Следующий пункт для упрощенной формулы, когда s целое число.

• Для положительных целочисленных порядков полилогарифма s, дзета-функция Гурвица ζ (1−s, Икс) сводится к Полиномы Бернулли, ζ (1−п, Икс) = −B_п(Икс) / п, и формула обращения Жонкьера для п = 1, 2, 3, ... становится:

${\displaystyle \operatorname {Li} _{n}(e^{2\pi ix})+(-1)^{n}\operatorname {Li} _{n}(e^{-2\pi ix})=-{(2\pi i)^{n} \over n!}B_{n}(x),}$

где снова 0 ≤ Re (Икс) <1, если Im (Икс) ≥ 0 и 0 Икс) ≤ 1, если Im (Икс) <0. При ограничении аргумента полилогарифма единичной окружностью Im (Икс) = 0, левая часть этой формулы упрощается до 2 Re (Li_п(е^2πix)) если п четно, и до 2я Им (Ли_п(е^2πix)) если п странно. С другой стороны, для отрицательных целых порядков расходимость Γ (s) означает для всех z который (Erdélyi et al. 1981 г., § 1.11-17):

${\displaystyle \operatorname {Li} _{-n}(z)+(-1)^{n}\operatorname {Li} _{-n}(1/z)=0\qquad (n=1,2,3,\ldots ).}$

В более общем смысле для п = 0, ±1, ±2, ±3, ... :

${\displaystyle \operatorname {Li} _{n}(z)+(-1)^{n}\operatorname {Li} _{n}(1/z)=-{\frac {(2\pi i)^{n}}{n!}}B_{n}\left({\frac {1}{2}}+{\ln(-z) \over {2\pi i}}\right)\qquad (z\not \in ]0;1]),}$

${\displaystyle \operatorname {Li} _{n}(z)+(-1)^{n}\operatorname {Li} _{n}(1/z)=-{\frac {(2\pi i)^{n}}{n!}}B_{n}\left({\frac {1}{2}}-{\ln(-1/z) \over {2\pi i}}\right)\qquad (z\not \in ~]1;\infty [),}$

где оба выражения согласуются для z ∉] 0; ∞ [. (Соответствующее уравнение Жонкьер (1889 г., ур. 1) и Erdélyi et al. (1981 г., § 1.11-18) снова неверно.)

• Полилогарифм с чисто мнимым μ может быть выражено через Функции Clausen Ci_s(θ) и Si_s(θ), и наоборот (Левин 1958, Гл. VII § 1.4; Абрамовиц и Стегун 1972 г., § 27.8):

${\displaystyle \operatorname {Li} _{s}(e^{\pm i\theta })=Ci_{s}(\theta )\pm iSi_{s}(\theta ).}$

• В обратный касательный интеграл Ti_s(z) (Левин 1958, Гл. VII § 1.2) можно выразить полилогарифмами:

${\displaystyle \operatorname {Ti} _{s}(z)={1 \over 2i}\left[\operatorname {Li} _{s}(iz)-\operatorname {Li} _{s}(-iz)\right].}$

Отношение, в частности, подразумевает:

${\displaystyle \operatorname {Ti} _{0}(z)={z \over 1+z^{2}},\quad \operatorname {Ti} _{1}(z)=\arctan z,\quad \operatorname {Ti} _{2}(z)=\int _{0}^{z}{\arctan t \over t}dt,\quad \ldots ~\quad \operatorname {Ti} _{n+1}(z)=\int _{0}^{z}{\frac {\operatorname {Ti} _{n}(t)}{t}}dt,}$

что объясняет название функции.

• В Функция ци Лежандра χ_s(z) (Левин 1958, Гл. VII § 1.1; Боерсма и Демпси 1992 ) можно выразить полилогарифмами:

${\displaystyle \chi _{s}(z)={\tfrac {1}{2}}\left[\operatorname {Li} _{s}(z)-\operatorname {Li} _{s}(-z)\right].}$

• Полилогарифм целого порядка можно выразить как обобщенная гипергеометрическая функция:

${\displaystyle \operatorname {Li} _{n}(z)=z_{n+1}F_{n}(1,1,\dots ,1;2,2,\dots ,2;z)\qquad (n=0,1,2,\ldots ),}$

${\displaystyle \operatorname {Li} _{-n}(z)=z_{n}F_{n-1}(2,2,\dots ,2;1,1,\dots ,1;z)\qquad (n=1,2,3,\ldots )~.}$

• Что касается неполные дзета-функции или же "Дебаевские функции " (Абрамовиц и Стегун 1972 г., § 27.1):

${\displaystyle Z_{n}(z)={1 \over (n-1)!}\int _{z}^{\infty }{t^{n-1} \over e^{t}-1}dt\qquad (n=1,2,3,\ldots ),}$

полилогарифм Li_п(z) для положительного целого n может быть выражена как конечная сумма (Дерево 1992, § 16):

${\displaystyle \operatorname {Li} _{n}(e^{\mu })=\sum _{k=0}^{n-1}Z_{n-k}(-\mu ){\mu ^{k} \over k!}\qquad (n=1,2,3,\ldots ).}$

Замечательно похожее выражение относится к «функциям Дебая». Z_п(z) к полилогарифму:

${\displaystyle Z_{n}(z)=\sum _{k=0}^{n-1}\operatorname {Li} _{n-k}(e^{-z}){z^{k} \over k!}\qquad (n=1,2,3,\ldots ).}$

Интегральные представления

Любое из следующих интегральных представлений дает аналитическое продолжение полилогарифма вне круга сходимости |z| = 1 определяющего степенного ряда.

1. Полилогарифм можно выразить через интеграл от Распределение Бозе – Эйнштейна:

${\displaystyle \operatorname {Li} _{s}(z)={1 \over \Gamma (s)}\int _{0}^{\infty }{t^{s-1} \over e^{t}/z-1}dt.}$

Это сходится для Re (s)> 0 и все z кроме z вещественные и ≥ 1. Полилогарифм в этом контексте иногда называют интегралом Бозе, но чаще - Интеграл Бозе – Эйнштейна.^[1] Точно так же полилогарифм можно выразить через интеграл от Распределение Ферми – Дирака:

${\displaystyle -\operatorname {Li} _{s}(-z)={1 \over \Gamma (s)}\int _{0}^{\infty }{t^{s-1} \over e^{t}/z+1}dt.}$

Это сходится для Re (s)> 0 и все z кроме z действительный и ≤ −1. Полилогарифм в этом контексте иногда называют интегралом Ферми или Интеграл Ферми – Дирака^[2] (GSL 2010 ). Эти представления легко проверяются Расширение Тейлора подынтегрального выражения по z и почленное интегрирование. В работах Дингла содержатся подробные исследования обоих типов интегралов.

Полилогарифм также связан с интегралом от Распределение Максвелла – Больцмана:

${\displaystyle \lim _{z\to 0}{\frac {\operatorname {Li} _{s}(z)}{z}}={1 \over \Gamma (s)}\int _{0}^{\infty }{t^{s-1}e^{-t}}dt=1.}$

Это также дает асимптотическое поведение полилогарифма в окрестности происхождения.

2. Дополнительное интегральное представление применяется к Re (s) <0 и всем z кроме z действительный и ≥ 0:

${\displaystyle \operatorname {Li} _{s}(z)=\int _{0}^{\infty }{t^{-s}\sin[s\pi /2-t\ln(-z)] \over \sinh(\pi t)}dt.}$

Этот интеграл следует из общей связи полилогарифма с Дзета-функция Гурвица (см. выше ) и знакомое интегральное представление последнего.

3. Полилогарифм в самом общем виде можно представить в виде Контур Ганкеля интеграл (Уиттакер и Ватсон, 1927 г., § 12.22, § 13.13), который расширяет представление Бозе – Эйнштейна до отрицательных порядков. s. Пока т = μ столб подынтегрального выражения не лежит на неотрицательной действительной оси, и s ≠ 1, 2, 3, ..., имеем:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=-{{\Gamma (1-s)} \over {2\pi i}}\oint _{H}{{(-t)^{s-1}} \over {e^{t-\mu }-1}}dt}$

куда ЧАС представляет собой контур Ганкеля. Подынтегральное выражение имеет разрез по действительной оси от нуля до бесконечности, причем ось принадлежит нижней полуплоскости т. Интегрирование начинается с + ∞ в верхней полуплоскости (Im (т)> 0), обходит начало координат, не охватывая ни одного из полюсов т = µ + 2kπi, и заканчивается в + ∞ на нижней полуплоскости (Im (т) <0). Для случая, когда µ является действительным и неотрицательным, мы можем просто вычесть вклад вложенного т = µ столб:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=-{{\Gamma (1-s)} \over {2\pi i}}\oint _{H}{{(-t)^{s-1}} \over {e^{t-\mu }}-1}dt-2\pi iR}$

куда р это остаток полюса:

${\displaystyle R={i \over 2\pi }\Gamma (1-s)(-\mu )^{s-1}.}$

4. Когда Формула Абеля – Планы применяется к определяющему ряду полилогарифма a Эрмит -типа результатов интегрального представления, справедливого для всех сложных z и для всего комплекса s:

${\displaystyle \operatorname {Li} _{s}(z)={\tfrac {1}{2}}z+{\Gamma (1-s,-\ln z) \over (-\ln z)^{1-s}}+2z\int _{0}^{\infty }{\frac {\sin(s\arctan t-t\ln z)}{(1+t^{2})^{s/2}(e^{2\pi t}-1)}}dt}$

где Γ - верхняя неполная гамма-функция. Все (но не часть) пер (z) в этом выражении можно заменить на −ln (¹⁄_z). Родственное представление, которое также верно для всех сложных s,

${\displaystyle \operatorname {Li} _{s}(z)={\tfrac {1}{2}}z+z\int _{0}^{\infty }{\frac {\sin[s\arctan t-t\ln(-z)]}{(1+t^{2})^{s/2}\sinh(\pi t)}}dt,}$

избегает использования неполной гамма-функции, но этот интеграл не работает для z на положительной вещественной оси, если Re (s) ≤ 0. Это выражение находится записью 2^s Ли_s(−z) / (−z) = Φ (z², s, ¹⁄₂) − z Φ (z², s, 1), где Φ - Лерх трансцендентный, и применяя формулу Абеля – Планы к первому ряду Φ и дополнительную формулу, которая включает 1 / (е^2πt + 1) вместо 1 / (е^2πt - 1) ко второму ряду Φ.

5. Как указано в^[3] мы можем выразить интеграл от полилогарифма, интегрируя обычные геометрическая серия по срокам для ${\displaystyle s\in \mathbb {N} }$ в качестве

${\displaystyle \operatorname {Li} _{s+1}(z)={\frac {z\cdot (-1)^{s}}{s!}}\int _{0}^{1}{\frac {\log ^{s}(t)}{1-tz}}dt.}$

Представления серий

1. Как отмечено в интегральные представления выше, интегральное представление полилогарифма Бозе – Эйнштейна может быть расширено до отрицательных порядков s посредством Контур Ганкеля интеграция:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=-{\Gamma (1-s) \over 2\pi i}\oint _{H}{(-t)^{s-1} \over e^{t-\mu }-1}dt,}$

куда ЧАС - контур Ганкеля, s ≠ 1, 2, 3, ..., и т = μ полюс подынтегрального выражения не лежит на неотрицательной действительной оси. В контур может быть изменен так, чтобы он включал полюса подынтегрального выражения при т − µ = 2kπi, а интеграл можно оценить как сумму остатки (Дерево 1992, § 12, 13; Градштейн и Рыжик 1980, § 9.553 ошибка harvnb: цель отсутствует: CITEREFGradshteynRyzhik1980 (помощь)):

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)\sum _{k=-\infty }^{\infty }(2k\pi i-\mu )^{s-1}.}$

Это будет справедливо для Re (s) <0 и все μ кроме где е^μ = 1. При 0 µ) ≤ 2π сумму можно разделить на:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)\left[(-2\pi i)^{s-1}\sum _{k=0}^{\infty }\left(k+{\mu \over {2\pi i}}\right)^{s-1}+(2\pi i)^{s-1}\sum _{k=0}^{\infty }\left(k+1-{\mu \over {2\pi i}}\right)^{s-1}\right],}$

где две серии теперь можно отождествить с Дзета-функция Гурвица:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })={\Gamma (1-s) \over (2\pi )^{1-s}}\left[i^{1-s}~\zeta \left(1-s,~{\mu \over {2\pi i}}\right)+i^{s-1}~\zeta \left(1-s,~1-{\mu \over {2\pi i}}\right)\right]\qquad (0<\operatorname {Im} (\mu )\leq 2\pi ).}$

Это соотношение, которое уже было дано в отношение к другим функциям выше, выполняется для всех сложных s ≠ 0, 1, 2, 3, ... и впервые был получен в (Жонкьер 1889, ур. 6).

2. Для того чтобы представить полилогарифм в виде степенного ряда о µ = 0, запишем ряд, полученный из контурного интеграла Ганкеля, как:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)(-\mu )^{s-1}+\Gamma (1-s)\sum _{h=1}^{\infty }\left[(-2h\pi i-\mu )^{s-1}+(2h\pi i-\mu )^{s-1}\right].}$

Когда биномиальные степени в сумме разложены примерно на µ = 0 и порядок суммирования обратный, сумма по час можно выразить в закрытом виде:

${\displaystyle \operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)(-\mu )^{s-1}+\sum _{k=0}^{\infty }{\zeta (s-k) \over k!}\mu ^{k}.}$

Этот результат верен для |µ| < 2π и, благодаря аналитическому продолжению, предоставленному дзета-функции, для всех s ≠ 1, 2, 3, .... Если порядок является положительным целым числом, s = п, оба члена с k = п - 1 и гамма-функция становятся бесконечными, хотя их сумма - нет. Получается (Дерево 1992, § 9; Градштейн и Рыжик 1980, § 9.554 ошибка harvnb: цель отсутствует: CITEREFGradshteynRyzhik1980 (помощь)):

${\displaystyle \lim _{s\to k+1}\left[{\zeta (s-k) \over k!}\mu ^{k}+\Gamma (1-s)(-\mu )^{s-1}\right]={\mu ^{k} \over k!}\left[\sum _{h=1}^{k}{1 \over h}-\ln(-\mu )\right],}$

где сумма больше час исчезает, если k = 0. Итак, для положительных целочисленных порядков и для |μ| < 2π у нас есть серия:

${\displaystyle \operatorname {Li} _{n}(e^{\mu })={\mu ^{n-1} \over (n-1)!}\left[H_{n-1}-\ln(-\mu )\right]+\sum _{k=0,k\neq n-1}^{\infty }{\zeta (n-k) \over k!}\mu ^{k},}$

куда ЧАС_п обозначает пth номер гармоники:

${\displaystyle H_{n}=\sum _{h=1}^{n}{1 \over h},\qquad H_{0}=0.}$

Теперь члены задачи содержат −ln (-μ) который при умножении на μ^п−1, будет стремиться к нулю при μ → 0, кроме п = 1. Это отражает тот факт, что Li_s(z) показывает истинное логарифмическая особенность в s = 1 и z = 1, поскольку:

${\displaystyle \lim _{\mu \to 0}\Gamma (1-s)(-\mu )^{s-1}=0\qquad (\operatorname {Re} (s)>1).}$

За s близкие, но не равные положительному целому числу, расходящиеся члены в разложении о µ = 0 может вызвать вычислительные трудности (Дерево 1992, § 9). Соответствующее разложение Эрдейи (Erdélyi et al. 1981 г., § 1.11-15) в степени ln (z) неверно, если предположить, что главные ветви полилогарифма и логарифма используются одновременно, поскольку ln (¹⁄_z) не равно равномерно −ln (z).

Для неположительных целочисленных значений s, дзета-функция ζ (s − k) в разложении о µ = 0 сводится к Числа Бернулли: ζ (-п − k) = −B_1+п+k / (1 + п + k). Численная оценка Li_−п(z) этой серией не страдает от эффектов сокращения, которые конечные рациональные выражения особые ценности выше выставки для больших п.

3. Используя личность

${\displaystyle 1={1 \over \Gamma (s)}\int _{0}^{\infty }e^{-t}t^{s-1}dt\qquad (\operatorname {Re} (s)>0),}$

интегральное представление Бозе – Эйнштейна полилогарифма (см. выше ) может быть представлен в виде:

${\displaystyle \operatorname {Li} _{s}(z)={\tfrac {1}{2}}z+{z \over 2\Gamma (s)}\int _{0}^{\infty }e^{-t}t^{s-1}\coth {t-\ln z \over 2}dt\qquad (\operatorname {Re} (s)>0).}$

Замена гиперболического котангенса на двусторонний ряд,

${\displaystyle \coth {t-\ln z \over 2}=2\sum _{k=-\infty }^{\infty }{1 \over 2k\pi i+t-\ln z},}$

затем поменять местами интеграл и сумму и, наконец, отождествить слагаемые с интегральным представлением верхняя неполная гамма-функция, получаем:

${\displaystyle \operatorname {Li} _{s}(z)={\tfrac {1}{2}}z+\sum _{k=-\infty }^{\infty }{\Gamma (1-s,2k\pi i-\ln z) \over (2k\pi i-\ln z)^{1-s}}.}$

Как для двустороннего ряда этого результата, так и для гиперболического котангенса симметричные частичные суммы из -k_{Максимум} к k_{Максимум} сходятся безусловно как k_{Максимум} → ∞. При симметричном суммировании этот ряд для Li_s(z), таким образом, выполняется для всех комплексных s а также весь комплекс z.

4. Вводя явное выражение для Числа Стирлинга второго рода в конечную сумму для полилогарифма целого неположительного порядка (см. выше ) можно написать:

${\displaystyle \operatorname {Li} _{-n}(z)=\sum _{k=0}^{n}\left({-z \over 1-z}\right)^{k+1}\sum _{j=0}^{k}(-1)^{j+1}{k \choose j}(j+1)^{n}\qquad (n=0,1,2,\ldots ).}$

Бесконечный ряд, полученный простым продолжением внешнего суммирования до ∞ (Гильера и Сондоу, 2008 г., Теорема 2.1):

${\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=0}^{\infty }\left({-z \over 1-z}\right)^{k+1}~\sum _{j=0}^{k}(-1)^{j+1}{k \choose j}(j+1)^{-s},}$

оказывается сходящимся к полилогарифму для всех сложных s и для сложных z с Re (z) < ¹⁄₂, что можно проверить для |^−z⁄_(1−z)| < ¹⁄₂ изменив порядок суммирования и используя:

${\displaystyle \sum _{k=j}^{\infty }{k \choose j}\left({-z \over 1-z}\right)^{k+1}=\left[\left({-z \over 1-z}\right)^{-1}-1\right]^{-j-1}=(-z)^{j+1}.}$

Внутренние коэффициенты этих рядов могут быть выражены как Связанные с числом Стирлинга формулы с обобщенными гармонические числа. Например, см. преобразования производящей функции найти доказательства (ссылки на доказательства) следующих тождеств:

${\displaystyle {\begin{aligned}\operatorname {Li} _{2}(z)&=\sum _{j\geq 1}{\frac {(-1)^{j-1}}{2}}\left(H_{j}^{2}+H_{j}^{(2)}\right){\frac {z^{j}}{(1-z)^{j+1}}}\\\operatorname {Li} _{3}(z)&=\sum _{j\geq 1}{\frac {(-1)^{j-1}}{6}}\left(H_{j}^{3}+3H_{j}H_{j}^{(2)}+2H_{j}^{(3)}\right){\frac {z^{j}}{(1-z)^{j+1}}}.\end{aligned}}}$

Для остальных аргументов с Re (z) < ¹⁄₂ результат следует аналитическое продолжение. Эта процедура эквивалентна применению Преобразование Эйлера в серию в z что определяет полилогарифм.

Асимптотические разложения

Для |z| 1, полилогарифм можно разложить до асимптотический ряд в пересчете на ln (-z):

${\displaystyle \operatorname {Li} _{s}(z)={\pm i\pi \over \Gamma (s)}[\ln(-z)\pm i\pi ]^{s-1}-\sum _{k=0}^{\infty }(-1)^{k}(2\pi )^{2k}{B_{2k} \over (2k)!}{[\ln(-z)\pm i\pi ]^{s-2k} \over \Gamma (s+1-2k)},}$

${\displaystyle \operatorname {Li} _{s}(z)=\sum _{k=0}^{\infty }(-1)^{k}(1-2^{1-2k})(2\pi )^{2k}{B_{2k} \over (2k)!}{[\ln(-z)]^{s-2k} \over \Gamma (s+1-2k)},}$

куда B_2k являются Числа Бернулли. Обе версии верны для всех s и для любого arg (z). Как правило, суммирование должно быть прекращено, когда члены начинают расти по величине. Для отрицательного целого числа s, разложения полностью исчезают; для неотрицательного целого числа s, они обрываются после конечного числа членов. Дерево (1992, § 11) описывает метод получения этих рядов из интегрального представления Бозе – Эйнштейна (его уравнение 11.2 для Li_s(е^µ) требуется −2π µ) ≤ 0).

Ограничивающее поведение

Следующее пределы являются результатом различных представлений полилогарифма (Дерево 1992, § 22):

${\displaystyle \lim _{|z|\to 0}\operatorname {Li} _{s}(z)=z}$

${\displaystyle \lim _{|\mu |\to 0}\operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)(-\mu )^{s-1}\qquad (\operatorname {Re} (s)<1)}$

${\displaystyle \lim _{\operatorname {Re} (\mu )\to \infty }\operatorname {Li} _{s}(e^{\mu })=-{\mu ^{s} \over \Gamma (s+1)}\qquad (s\neq -1,-2,-3,\ldots )}$

${\displaystyle \lim _{\operatorname {Re} (\mu )\to \infty }\operatorname {Li} _{-n}(e^{\mu })=-(-1)^{n}e^{-\mu }\qquad (n=1,2,3,\ldots )}$

${\displaystyle \lim _{\operatorname {Re} (s)\to \infty }\operatorname {Li} _{s}(z)=z}$

${\displaystyle \lim _{\operatorname {Re} (s)\to -\infty }\operatorname {Li} _{s}(e^{\mu })=\Gamma (1-s)(-\mu )^{s-1}\qquad (-\pi <\operatorname {Im} (\mu )<\pi )}$

${\displaystyle \lim _{\operatorname {Re} (s)\to -\infty }\operatorname {Li} _{s}(-e^{\mu })=\Gamma (1-s)\left[(-\mu -i\pi )^{s-1}+(-\mu +i\pi )^{s-1}\right]\qquad (\operatorname {Im} (\mu )=0)}$

Первый предел Вуда для Re (µ) → ∞ был исправлен в соответствии с его уравнением 11.3. Предел Re (s) → −∞ следует из общей связи полилогарифма с Дзета-функция Гурвица (см. выше ).

Дилогарифм

Основная статья: Функция Спенса

Дилогарифм - это полилогарифм порядка s = 2. Альтернативное интегральное выражение дилогарифма для произвольного комплексного аргумента z является (Абрамовиц и Стегун 1972 г., § 27.7):

${\displaystyle \operatorname {Li} _{2}(z)=-\int _{0}^{z}{\ln(1-t) \over t}dt=-\int _{0}^{1}{\ln(1-zt) \over t}dt.}$

Источник путаницы в том, что некоторые системы компьютерной алгебры определите дилогарифм как дилог (z) = Ли₂(1−z).

В случае реального z ≥ 1 первое интегральное выражение для дилогарифма можно записать как

${\displaystyle \operatorname {Li} _{2}(z)={\frac {\pi ^{2}}{6}}-\int _{1}^{z}{\ln(t-1) \over t}dt-i\pi \ln z}$

откуда расширяя ln (т−1) и интегрируя почленно, получаем

${\displaystyle \operatorname {Li} _{2}(z)={\frac {\pi ^{2}}{3}}-{\frac {1}{2}}(\ln z)^{2}-\sum _{k=1}^{\infty }{1 \over k^{2}z^{k}}-i\pi \ln z\qquad (z\geq 1).}$

В Авель личность для дилогарифма дается (Авель 1881 )

${\displaystyle \operatorname {Li} _{2}\left({\frac {x}{1-y}}\right)+\operatorname {Li} _{2}\left({\frac {y}{1-x}}\right)-\operatorname {Li} _{2}\left({\frac {xy}{(1-x)(1-y)}}\right)=\operatorname {Li} _{2}(x)+\operatorname {Li} _{2}(y)+\ln(1-x)\ln(1-y)}$

${\displaystyle (\operatorname {Re} (x)\leq {\tfrac {1}{2}}\wedge \operatorname {Re} (y)\leq {\tfrac {1}{2}}\vee \operatorname {Im} (x)>0\wedge \operatorname {Im} (y)>0\vee \operatorname {Im} (x)<0\wedge \operatorname {Im} (y)<0\vee \ldots ).}$

Сразу видно, что это справедливо для любого Икс = 0 или у = 0, и по общим соображениям легко проверяется дифференцированием ∂ / ∂Икс ∂/∂у. За у = 1−Икс идентичность сводится к Эйлер с формула отражения

${\displaystyle \operatorname {Li} _{2}\left(x\right)+\operatorname {Li} _{2}\left(1-x\right)={\frac {1}{6}}\pi ^{2}-\ln(x)\ln(1-x),}$

где Ли₂(1) = ζ (2) = ¹⁄₆ π² был использован и Икс может принимать любое сложное значение.

С точки зрения новых переменных ты = Икс/(1−у), v = у/(1−Икс) тождество Абеля гласит

${\displaystyle \operatorname {Li} _{2}(u)+\operatorname {Li} _{2}(v)-\operatorname {Li} _{2}(uv)=\operatorname {Li} _{2}\left({\frac {u-uv}{1-uv}}\right)+\operatorname {Li} _{2}\left({\frac {v-uv}{1-uv}}\right)+\ln \left({\frac {1-u}{1-uv}}\right)\ln \left({\frac {1-v}{1-uv}}\right),}$

что соответствует идентичность пятиугольника приведены в (Роджерс 1907 ).

От личности Авеля для Икс = у = 1−z и квадратные отношения у нас есть Landen личность

${\displaystyle \operatorname {Li} _{2}(1-z)+\operatorname {Li} _{2}\left(1-{\frac {1}{z}}\right)=-{\frac {1}{2}}(\ln z)^{2}\qquad (z\not \in ~]-\infty ;0]),}$

и применяя формулу отражения к каждому дилогарифму, мы находим формулу обращения

${\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1/z)=-{\tfrac {1}{6}}\pi ^{2}-{\tfrac {1}{2}}[\ln(-z)]^{2}\qquad (z\not \in [0;1[),}$

и по-настоящему z ≥ 1 также

${\displaystyle \operatorname {Li} _{2}(z)+\operatorname {Li} _{2}(1/z)={\tfrac {1}{3}}\pi ^{2}-{\tfrac {1}{2}}(\ln z)^{2}-i\pi \ln z.}$

В нижеприведенной таблице собраны известные оценки дилогарифма в закрытой форме при определенных аргументах. Аргументы в первом столбце связаны отражением Икс ↔ 1−Икс или инверсия Икс ↔ ¹⁄_Икс либо Икс = 0 или Икс = -1; все аргументы в третьем столбце связаны между собой этими операциями.

Максимон (2003) обсуждает ссылки 17-19 веков. Формула отражения уже была опубликована Ланденом в 1760 году до ее появления в книге Эйлера 1768 года (Максимон 2003, § 10); эквивалент личности Авеля уже был опубликован Спенс в 1809 году, до того, как Абель написал свою рукопись в 1826 году (Загир 1989, § 2). Обозначение билогарифмическая функция был представлен Карл Йохан Даниэльссон Хилл (профессор в Лунде, Швеция) в 1828 г. (Максимон 2003, § 10). Дон Загир  (1989 ) заметил, что дилогарифм - единственная математическая функция, обладающая чувством юмора.

Особые значения дилогарифма

${\displaystyle x}$	${\displaystyle \operatorname {Li} _{2}(x)}$	${\displaystyle x}$	${\displaystyle \operatorname {Li} _{2}(x)}$
${\displaystyle -1}$	${\displaystyle -{\tfrac {1}{12}}\pi ^{2}}$	${\displaystyle -\phi }$	${\displaystyle -{\tfrac {1}{10}}\pi ^{2}-\ln ^{2}\phi }$
${\displaystyle 0}$	${\displaystyle 0}$	${\displaystyle -1/\phi }$	${\displaystyle -{\tfrac {1}{15}}\pi ^{2}+{\tfrac {1}{2}}\ln ^{2}\phi }$
${\displaystyle {\tfrac {1}{2}}}$	${\displaystyle {\tfrac {1}{12}}\pi ^{2}-{\tfrac {1}{2}}\ln ^{2}2}$	${\displaystyle 1/\phi ^{2}}$	${\displaystyle {\tfrac {1}{15}}\pi ^{2}-\ln ^{2}\phi }$
${\displaystyle 1}$	${\displaystyle {\tfrac {1}{6}}\pi ^{2}}$	${\displaystyle 1/\phi }$	${\displaystyle {\tfrac {1}{10}}\pi ^{2}-\ln ^{2}\phi }$
${\displaystyle 2}$	${\displaystyle {\tfrac {1}{4}}\pi ^{2}-\pi i\ln 2}$	${\displaystyle \phi }$	${\displaystyle {\tfrac {11}{15}}\pi ^{2}+{\tfrac {1}{2}}\ln ^{2}(-1/\phi )}$
		${\displaystyle \phi ^{2}}$	${\displaystyle -{\tfrac {11}{15}}\pi ^{2}-\ln ^{2}(-\phi )}$

Здесь ${\displaystyle \phi ={\tfrac {1}{2}}({\sqrt {5}}+1)}$ обозначает Золотое сечение.

Полилогарифм лестницы

Леонард Левин открыл замечательное и широкое обобщение ряда классических соотношений полилогарифма для особых значений. Теперь они называются полилогарифм лестницы. Определять ${\displaystyle \rho ={\tfrac {1}{2}}({\sqrt {5}}-1)}$ как обратный Золотое сечение. Тогда два простых примера лестниц дилогарифма:

${\displaystyle \operatorname {Li} _{2}(\rho ^{6})=4\operatorname {Li} _{2}(\rho ^{3})+3\operatorname {Li} _{2}(\rho ^{2})-6\operatorname {Li} _{2}(\rho )+{\tfrac {7}{30}}\pi ^{2}}$

данный Coxeter  (1935 ) и

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

данный Landen. Лестницы из полилогарифма встречаются естественным образом и глубоко в K-теория и алгебраическая геометрия. Полилогарифмовые лестницы служат основой для быстрых вычислений различных математических констант с помощью Алгоритм BBP (Бейли, Борвейн и Плауф 1997 ).

Монодромия

Полилогарифм состоит из двух точки разветвления; один в z = 1 и еще один при z = 0. Вторая точка ветвления при z = 0, не отображается на основном листе полилогарифма; он становится видимым только тогда, когда функция аналитически продолжение на другие его листы. В монодромия группа полилогарифма состоит из гомотопия классы петель, которые наматываются на две точки ветвления. Обозначив этих двух м₀ и м₁, группа монодромии имеет групповая презентация

${\displaystyle \langle m_{0},m_{1}\vert w=m_{0}m_{1}m_{0}^{-1}m_{1}^{-1},wm_{1}=m_{1}w\rangle .}$

Для частного случая дилогарифма также есть wm₀ = м₀ш, а группа монодромии переходит в Группа Гейзенберга (определяя м₀, м₁ и ш с Икс, у, z) (Вепстас 2008 ).

Рекомендации

1. Р. Б. Дингл, Прикл. Res. В6 (1957) 240-244, В4 (1955) 401; Р.Б. Дингл, Д. Арндт, С.К. Рой, Appl.Sci.Res. В6 (1957) 144.
2. Дингл Р. Б., Прикладная наука. B6 (1957) 225-239.
3. См. Уравнение (4) в разделе 2 статьи Borwein, Borwein и Girgensohn Явное вычисление сумм Эйлера (1994).

• Абель, Н. (1881) [1826]. "Note sur la fonction ${\displaystyle \scriptstyle \psi x=x+{\frac {x^{2}}{2^{2}}}+{\frac {x^{3}}{3^{2}}}+\cdots +{\frac {x^{n}}{n^{2}}}+\cdots }$" (PDF). In Sylow, L .; Ли, С. (ред.). Uvres complete de Niels Henrik Abel - Nouvelle édition, Tome II (На французском). Христиания [Осло]: Grøndahl & Søn. С. 189–193. (Эта рукопись 1826 года была опубликована только посмертно.)
• Abramowitz, M .; Стегун, И. (1972). Справочник по математическим функциям с формулами, графиками и математическими таблицами. Нью-Йорк: Dover Publications. ISBN  978-0-486-61272-0.
• Апостол, Т. (2010), «Полилогарифм», в Олвер, Фрэнк В. Дж.; Lozier, Daniel M .; Boisvert, Рональд Ф .; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям, Издательство Кембриджского университета, ISBN  978-0-521-19225-5, МИСТЕР  2723248
• Бейли, Д.; Борвейн, П.; Плауф, С. (Апрель 1997 г.). «О быстром вычислении различных полилогарифмических констант» (PDF). Математика вычислений. 66 (218): 903–913. Bibcode:1997MaCom..66..903B. Дои:10.1090 / S0025-5718-97-00856-9.
• Bailey, D.H .; Бродхерст, Д.Дж. (20 июня 1999 г.). "Полилогарифмовая лестница семнадцатого порядка". arXiv:math.CA/9906134.
• Берндт, Б. (1994). Записные книжки Рамануджана, часть IV. Нью-Йорк: Springer-Verlag. С. 323–326. ISBN  978-0-387-94109-7.
• Боерсма, Дж.; Демпси, Дж. П. (1992). «Об оценке хи-функции Лежандра». Математика вычислений. 59 (199): 157–163. Дои:10.2307/2152987. JSTOR  2152987.
• Борвейн, Д.; Борвейн, Дж.; Гиргенсон, Р. (1995). «Явное вычисление сумм Эйлера» (PDF). Труды Эдинбургского математического общества. Серия 2. 38 (2): 277–294. Дои:10.1017 / S0013091500019088.
• Borwein, J.M .; Bradley, D.M .; Broadhurst, D.J .; Лисонек, П. (2001). «Особые значения кратных полилогарифмов». Труды Американского математического общества. 353 (3): 907–941. arXiv:математика / 9910045. Дои:10.1090 / S0002-9947-00-02616-7.
• Бродхерст, Д.Дж. (21 апреля 1996 г.). «О перечислении неприводимых k-кратных сумм Эйлера и их роли в теории узлов и теории поля». arXiv:hep-th / 9604128.
• Клуни, Дж. (1954). «О функциях Бозе-Эйнштейна». Труды физического общества. Серия А. 67 (7): 632–636. Bibcode:1954PPSA ... 67..632C. Дои:10.1088/0370-1298/67/7/308.
• Cohen, H .; Lewin, L .; Загир, Д. (1992). "Полилогарифмовая лестница шестнадцатого порядка" (PS). Экспериментальная математика. 1 (1): 25–34.
• Кокстер, H.S.M. (1935). «Функции Шлефли и Лобачефского». Ежеквартальный журнал математики (Оксфорд). 6 (1): 13–29. Bibcode:1935QJ Мат ... 6 ... 13C. Дои:10.1093 / qmath / os-6.1.13. JFM  61.0395.02.
• Cvijovic, D .; Клиновский, Дж. (1997). "Разложения в непрерывную дробь для дзета-функции Римана и полилогарифмы" (PDF). Труды Американского математического общества. 125 (9): 2543–2550. Дои:10.1090 / S0002-9939-97-04102-6.
• Цвийович, Д. (2007). «Новые интегральные представления функции полилогарифма». Труды Королевского общества А. 463 (2080): 897–905. arXiv:0911.4452. Bibcode:2007RSPSA.463..897C. Дои:10.1098 / rspa.2006.1794.
• Эрдейи, А.; Magnus, W .; Оберхеттингер, Ф .; Трикоми, Ф. (1981). Высшие трансцендентные функции, Vol. 1 (PDF). Малабар, Флорида: R.E. Krieger Publishing. ISBN  978-0-89874-206-0. (это перепечатка оригинала Макгроу – Хилла 1953 года.)
• Fornberg, B .; Кёльбиг, К. (1975). «Комплексные нули функции Жонкьера или полилогарифма». Математика вычислений. 29 (130): 582–599. Дои:10.2307/2005579. JSTOR  2005579.
• Научная библиотека GNU (2010). "Справочное руководство". Получено 2010-06-13.
• Градштейн Израиль Соломонович; Рыжик Иосиф Моисеевич; Геронимус Юрий Вениаминович; Цейтлин Михаил Юльевич; Джеффри, Алан (2015) [октябрь 2014]. «9.553.». В Цвиллингере, Даниэль; Молл, Виктор Гюго (ред.). Таблица интегралов, серий и продуктов. Перевод Scripta Technica, Inc. (8-е изд.). Academic Press, Inc. п. 1050. ISBN  978-0-12-384933-5. LCCN  2014010276.
• Guillera, J .; Сондоу, Дж. (2008). «Двойные интегралы и бесконечные произведения для некоторых классических констант через аналитическое продолжение трансцендента Лерха». Рамануджанский журнал. 16 (3): 247–270. arXiv:math.NT / 0506319. Дои:10.1007 / s11139-007-9102-0.
• Hain, R.M. (25 марта 1992 г.). «Классические полилогарифмы». arXiv:alg-geom / 9202022.
• Jahnke, E .; Эмде, Ф. (1945). Таблицы функций с формулами и кривыми (4-е изд.). Нью-Йорк: Dover Publications.
• Жонкьер, А. (1889). "Note sur la série ${\displaystyle \scriptstyle \sum _{n=1}^{\infty }{\frac {x^{n}}{n^{s}}}}$" (PDF). Bulletin de la Société Mathématique de France (На французском). 17: 142–152. Дои:10.24033 / bsmf.392. JFM  21.0246.02.
• Kölbig, K.S .; Mignaco, J.A .; Ремидди, Э. (1970). «Об обобщенных полилогарифмах Нильсена и их численном расчете». КУСОЧЕК. 10: 38–74. Дои:10.1007 / BF01940890.
• Кириллов, А. (1995). «Дилогарифм тождеств». Приложение "Прогресс теоретической физики". 118: 61–142. arXiv:hep-th / 9408113. Bibcode:1995PThPS.118 ... 61K. Дои:10.1143 / PTPS.118.61.
• Левин, Л. (1958). Дилогарифмы и связанные с ними функции. Лондон: Макдональд. МИСТЕР  0105524.
• Левин, Л. (1981). Полилогарифмы и связанные с ними функции. Нью-Йорк: Северная Голландия. ISBN  978-0-444-00550-2.
• Левин, Л., изд. (1991). Структурные свойства полилогарифмов.. Математические обзоры и монографии. 37. Провиденс, Род-Айленд: амер. Математика. Soc. ISBN  978-0-8218-1634-9.
• Маркман, Б. (1965). «Дзета-функция Римана». КУСОЧЕК. 5: 138–141.
• Максимон, Л. (2003). «Функция дилогарифма для сложного аргумента». Труды Королевского общества А. 459 (2039): 2807–2819. Bibcode:2003RSPSA.459.2807M. Дои:10.1098 / rspa.2003.1156.
• McDougall, J .; Стоунер, Э. К. (1938). «Вычисление функций Ферми-Дирака». Философские труды Королевского общества A. 237 (773): 67–104. Bibcode:1938РСПТА.237 ... 67М. Дои:10.1098 / рста.1938.0004. JFM  64.1500.04.
• Нильсен, Н. (1909). "Der Eulersche Dilogarithmus und seine Verallgemeinerungen. Eine Monographie". Nova Acta Leopoldina (на немецком). Галле - Лейпциг, Германия: Kaiserlich-Leopoldinisch-Carolinische Deutsche Akademie der Naturforscher. XC (3): 121–212. JFM  40.0478.01.
• Прудников, А.П .; Маричев, О.И.; Брычков, Ю.А. (1990). Интегралы и ряды. 3: Дополнительные специальные функции. Ньюарк, Нью-Джерси: Гордон и Брич. ISBN  978-2-88124-682-1. (см. п. 1.2, «Обобщенная дзета-функция, многочлены Бернулли, многочлены Эйлера и полилогарифмы», стр. 23.)
• Робинсон, Дж. Э. (1951). «Замечание об интегральных функциях Бозе-Эйнштейна». Физический обзор. Серия 2. 83 (3): 678–679. Bibcode:1951ПхРв ... 83..678Р. Дои:10.1103 / PhysRev.83.678.
• Роджерс, Л.Дж. (1907). «О функциональных теоремах о суммах, связанных с рядом ${\displaystyle \scriptstyle \sum _{n=1}^{\infty }{\frac {x^{n}}{n^{2}}}}$". Труды Лондонского математического общества (2). 4 (1): 169–189. Дои:10.1112 / плмс / с2-4.1.169. JFM  37.0428.03.
• Шредингер, Э. (1952). Статистическая термодинамика (2-е изд.). Кембридж, Великобритания: Издательство Кембриджского университета.
• Трусделл, К. (1945). «О функции, встречающейся в теории строения полимеров». Анналы математики. Вторая серия. 46 (1): 144–157. Дои:10.2307/1969153. JSTOR  1969153.
• Вепстас, Л. (2008). «Эффективный алгоритм для ускорения сходимости колебательного ряда, полезный для вычисления полилогарифма и дзета-функций Гурвица». Численные алгоритмы. 47 (3): 211–252. arXiv:math.CA/0702243. Bibcode:2008НуАлг..47..211В. Дои:10.1007 / s11075-007-9153-8.
• Уиттакер, E.T.; Уотсон, Г. (1927). Курс современного анализа (4-е изд.). Кембридж, Великобритания: Издательство Кембриджского университета. (это издание много раз переиздавалось, в мягкой обложке 1996 г. ISBN  0-521-09189-6.)
• Wirtinger, W. (1905). "Über eine besondere Dirichletsche Reihe". Journal für die Reine und Angewandte Mathematik (на немецком). 1905 (129): 214–219. Дои:10.1515 / crll.1905.129.214. JFM  37.0434.01.
• Вуд, округ Колумбия (июнь 1992 г.). «Вычисление полилогарифмов. Технический отчет 15-92 *» (PS). Кентербери, Великобритания: Компьютерная лаборатория Кентского университета. Получено 2005-11-01.
• Загир, Д. (1989). «Функция дилогарифма в геометрии и теории чисел». Теория чисел и связанные темы: доклады, представленные на коллоквиуме в Рамануджане, Бомбей, 1988 г.. Исследования по математике. 12. Бомбей: Институт фундаментальных исследований Тата и издательство Оксфордского университета. С. 231–249. ISBN  0-19-562367-3. (также появился как «Замечательный дилогарифм» в Журнал математических и физических наук 22 (1988), pp. 131–145, и в главе I (Загир 2007 ).)
• Загир, Д. (2007). «Функция дилогарифма» (PDF). В Cartier, P.E .; и другие. (ред.). Границы теории чисел, физики и геометрии II - О конформных теориях поля, дискретных группах и перенормировке. Берлин: Springer-Verlag. С. 3–65. ISBN  978-3-540-30307-7.

внешняя ссылка

• Вайсштейн, Эрик В. «Полилогарифм». MathWorld.
• Вайсштейн, Эрик В. «Дилогарифм». MathWorld.
• Алгоритмы в аналитической теории чисел обеспечивает произвольную точность, GMP -основан, GPL -лицензионная реализация.