Воображение при математических рассуждениях работает в двух направлениях: с одной стороны, всё представляется в наглядных графиках. Чтобы ощутить как выглядят взаимосвязи варьируются параметры. А второе направление — результат отношения к формуле как к значкам, у которых для сохранением верности при изменениях есть очень чёткие правила. Используя и образное понимание и формальность одновременно можно сильно продвинуться в том чтобы разобраться в интересующих вопросах. Потом всё перепроверить, и узнать больше о самом вопросе, и себе. Так что, включайте рабочий инструмент и приступим.
Я расскажу о константе
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
, не менее важной, чем
![$e$](https://habrastorage.org/getpro/habr/formulas/e64/b30/6c5/e64b306c55dd73fcf1b1b798af007d78.svg)
или
![$\pi$](https://habrastorage.org/getpro/habr/formulas/4a2/2d7/df5/4a22d7df5480ab752635de38c7fd774e.svg)
.
Сумму
![$\sum_{n=1}^{\infty}\left[\frac{1}{n}-\frac{1}{n+1}\right]=1$](https://habrastorage.org/getpro/habr/formulas/d34/91a/d2e/d3491ad2e31ab5906cf16f5ddefecf13.svg)
Легко подсчитать. В развёрнутом виде левое слагаемое второго элемента сокращается с правой частью первого элемента, и так происходит с каждой парой элементов суммы. И в результате останется левая часть первого элемента, и правая часть последнего. Правая часть последнего стремится к нулю. Значит, сумма будет равна левой части первого элемента, единице.
Получилась «цепочка», которая сложена так, что для результата бóльшую важность имеют её концы. Сделаем ещё одну цепочку, только вместо обращения числа поставим его логарифм.
Натуральный логарифм, кроме того, что это операция обратная возведению в степень, это интеграл дроби
![$1/x$](https://habrastorage.org/getpro/habr/formulas/d28/3b5/f86/d283b5f860a98ed1edf0e5029c44aa24.svg)
:
![$ \int\limits_{0}^{k}\frac{1}{x^s}\,dx=\frac{k^{r}}{r}\qquad r = 1-s\qquad B(x)=\frac{x}{e^x-1} $](https://habrastorage.org/getpro/habr/formulas/e18/de1/17d/e18de117dbab5f94b46da0bacf0d6926.svg)
![$ \int\limits_{1}^{k}\frac{1}{x^s}\,dx=\lim_{a \to s}\frac{k^{1-a}-1}{1-a}=\frac{\ln(k)}{B(\ln(k^r))} \qquad B(0)=1 $](https://habrastorage.org/getpro/habr/formulas/8dc/61c/fff/8dc61cfff9936eb25f6b7df165867121.svg)
![$\int\limits_{b}^{k}\frac{1}{x^s}\,dx=\frac{k^{1-s}-b^{1-s}}{1-s}= \frac{(k/b)^{r}-1}{r/b^r}=\frac{e^{r\ln(k/b)}-1}{r/b^r}=\\=\frac{b^r\ln(k/b)}{B(r\ln(k/b))}=\frac{\ln\left(\frac{k^b}{b^b}\right)/b^{s}}{B\left(\ln\left(\frac{k\,\,b^s}{k^sb\,}\right)\right)}$](https://habrastorage.org/getpro/habr/formulas/944/a82/224/944a82224edc2ba49685e2a1573354b7.svg)
Разница двух логарифмов может быть представлена как логарифм от дроби. Индекс программисты привыкли вести с нуля, и часто это удобнее. Так что, если мы запишем сумму, которую планировали, то, с учётом, что логарифм от нуля не определён, и надо добавить величину
![$m$](https://habrastorage.org/getpro/habr/formulas/0cb/e1e/2f4/0cbe1e2f42f5e6bea0caffa1997a24d8.svg)
, получится:
![$ \sum_{n=0}^{k-1}\ln\left(\frac{n+m+1}{n+m}\right)=\ln(k+m)-\ln(m) $](https://habrastorage.org/getpro/habr/formulas/5c0/ae6/12b/5c0ae612bb98a14add6f8a471d434067.svg)
И тогда будет верно такое соотношение:
![$ \ln(k+m)-\sum_{n=0}^{k-1}\ln\left(\frac{n+m+1}{n+m}\right)=\ln(m) $](https://habrastorage.org/getpro/habr/formulas/dab/3ba/ae5/dab3baae5806517c7f5957776402a4cf.svg)
В котором первый логарифм можно превратить в интеграл.
![$ \int \limits_{1}^{k_1} \frac{1}{x}\,dx-\sum_{n=0}^{k_2-1}\ln\left(\frac{n+m+1}{n+m}\right)=\ln(m) $](https://habrastorage.org/getpro/habr/formulas/cab/ee5/e58/cabee5e58895702fbd32d1e158a31972.svg)
![$ k_1=k_2+m $](https://habrastorage.org/getpro/habr/formulas/b1d/0fe/075/b1d0fe0757de7759b4d17208c3585915.svg)
Интеграл можно представить как сумму, с добавлением числа
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
, компенсирующее их расхождение, включая различие верхних границ.
![$ \sum_{n=1}^{k}\frac{1}{n}-\gamma_{km}-\sum_{n=0}^{k-1}\ln\left(\frac{n+m+1}{n+m}\right)=\ln(m) $](https://habrastorage.org/getpro/habr/formulas/4a1/a4a/230/4a1a4a23073053ac5eaf0f16bcd1ef12.svg)
И тогда две суммы можно объединить
![$ \sum_{n=1}^{k}\left[\frac{1}{n}+\ln\left(1-\frac{1}{n+m}\right)\right]=\gamma_{km}+\ln(m)$](https://habrastorage.org/getpro/habr/formulas/6f7/5b5/3c5/6f75b53c55ed8ca500f5ffc0adef65a6.svg)
В пределе
![$k\to\infty$](https://habrastorage.org/getpro/habr/formulas/fd1/644/148/fd16441484427e41f56cbee7a76ca56b.svg)
обе стороны сойдутся. Величина
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
уже не будет зависеть от
![$m$](https://habrastorage.org/getpro/habr/formulas/0cb/e1e/2f4/0cbe1e2f42f5e6bea0caffa1997a24d8.svg)
.
Так получилась постоянная Эйлера
![$\gamma=0.57721566490\dots$](https://habrastorage.org/getpro/habr/formulas/38d/65e/d12/38d65ed120ca583f5db0b81ad4206b37.svg)
.
Сумму можно перевести в произведение, как сумму степеней.
![$ \prod_{n=1}^{\infty}e^{\frac{1}{n}}\left(\frac{an+1-a}{an+1}\right)=e^{\gamma}/a\qquad a=1/m$](https://habrastorage.org/getpro/habr/formulas/5b6/f72/33b/5b6f7233b4015b6263f573d42aa52b07.svg)
![$a e^{-\gamma} \prod_{n=1}^{\infty}e^{\frac{1}{n}}\left(\frac{an+1-a}{an+1}\right)=1 $](https://habrastorage.org/getpro/habr/formulas/a42/7f4/543/a427f4543249d5cdacaf85b6438b7b43.svg)
Выглядит как произведение-аналог первой суммы.
Как было замечено в статье «
Скучные числа», отношение этого выражения для двух разных параметров имеет разложение, в котором вдруг появляется число пи:
![$e^{-\gamma} \prod_{n=1}^{\infty}e^{\frac{1}{n}}\left(\frac{n}{n+1}\right)=1 \qquad 2 e^{-\gamma} \prod_{n=1}^{\infty}e^{\frac{1}{n}}\left(\frac{2n-1}{2n+1}\right)=1 $](https://habrastorage.org/getpro/habr/formulas/a26/c72/843/a26c728438ee926e66391473869293e7.svg)
![$1=\frac{e^{-\gamma}}{2e^{-\gamma}}\prod_{n=1}^{\infty}\frac{e^{1/n}}{e^{1/n}}\cdot\frac{\quad \,\,n\,\quad(n +1/2)}{(n+1)(n-1/2)}= $](https://habrastorage.org/getpro/habr/formulas/5b1/9f0/b19/5b19f0b19e69d0562ee1b069654c8899.svg)
![$={1\over2}\prod_{n=1}^{\infty}\frac{\quad \,n\,\,\quad(n)(n+1/2)(n +1/2)}{(n+1)(n)(n+1/2)(n-1/2)} $](https://habrastorage.org/getpro/habr/formulas/55a/dce/16f/55adce16f4cc07f9987c3b1d7c15db33.svg)
![$={1\over2}\prod_{n=1}^{\infty}\frac{n^2}{n^2-1/4}\cdot\frac{(n+1/2)^2}{n^2+n}=\frac{1}{2}\cdot\frac{\pi}{2}\cdot\frac{4}{\pi}$](https://habrastorage.org/getpro/habr/formulas/3fc/c28/100/3fcc28100aa1ca96d59fbaa7a2b64fd4.svg)
Внутри произведения обе дроби одинаковы, за исключением смещения
![$n$](https://habrastorage.org/getpro/habr/formulas/35b/a56/5f3/35ba565f36734f3a55aa01ac67868762.svg)
на
![$1/2$](https://habrastorage.org/getpro/habr/formulas/037/e60/b7e/037e60b7e8b5d165259848f91f9d36a5.svg)
. Как будто взаимодействие дробей происходит уже на половине шага.
Если переписать выражение для целого шага, получится:
![$ \prod_{n=2}^{\infty}\frac{(n/2)^2}{(n/2)^2-(1/2)^2}=2 $](https://habrastorage.org/getpro/habr/formulas/252/3ba/23b/2523ba23be44b9392b25cd6338518ddd.svg)
Интересное разложение двойки. Это тоже цепочка, результат зависит от начального индекса.
![$ \prod_{n=k+1}^{\infty}\frac{n^2}{n^2-1}=\frac{k^2-1}{k^2}\prod_{n=k}^{\infty}\frac{n^2}{n^2-1} =\left(\frac{k}{k-1}\right)^{-1}\left(\frac{(k+1)}{(k+1)-1}\right)\prod_{n=k}^{\infty}\frac{n^2}{n^2-1} $](https://habrastorage.org/getpro/habr/formulas/7f9/b72/24a/7f9b7224a09c97db76f75e741cb76219.svg)
![$ \prod_{n=k}^{\infty}\frac{n^2}{n^2-1}=\frac{k}{k-1} $](https://habrastorage.org/getpro/habr/formulas/2cc/c13/2c9/2ccc132c90c70e1c45f897d068f9e59b.svg)
Это была разминка. Теперь разбираемся глубже.
Постоянная Эйлера-Маскерони,
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
, так же как
![$e$](https://habrastorage.org/getpro/habr/formulas/e64/b30/6c5/e64b306c55dd73fcf1b1b798af007d78.svg)
и
![$\pi$](https://habrastorage.org/getpro/habr/formulas/4a2/2d7/df5/4a22d7df5480ab752635de38c7fd774e.svg)
, вычисляется через предел. Здесь это предел различия суммы и интеграла от
![$1/x$](https://habrastorage.org/getpro/habr/formulas/d28/3b5/f86/d283b5f860a98ed1edf0e5029c44aa24.svg)
. Сразу добавим в соотношение суммы и интеграла параметр дискретизации
![$\beta$](https://habrastorage.org/getpro/habr/formulas/dde/35b/631/dde35b63133e1e49275c05ed00f4cd5d.svg)
, при увеличении которого разница суммы и интеграла приближается к нулю.
![$\sum_{n=0}^{k-1}\left(\frac{\beta}{n+\beta}\right)^s -\gamma_{k\beta}(s)= \beta\int\limits_{1}^{k/\beta+1}\frac{1}{x^s}\,dx=\beta\frac{(k/\beta+1)^{1-s}-1}{1-s} $](https://habrastorage.org/getpro/habr/formulas/8ee/dff/79b/8eedff79be920e4daad4463d8538cf5b.svg)
Сумма слева похожа на определение дзета-функции
![$ \zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^s} $](https://habrastorage.org/getpro/habr/formulas/0af/c39/381/0afc3938130eb98165382b3f9778aa1f.svg)
Но отражает закономерность расчёта для случая, когда
![$(\beta-1)$](https://habrastorage.org/getpro/habr/formulas/a93/e54/5a2/a93e545a2e7a3fd18deb3c599f489686.svg)
первых членов в сумме не учитывается. Верхний предел интеграла обозначим
![$h=k/\beta+1$](https://habrastorage.org/getpro/habr/formulas/7b2/fcc/2b2/7b2fcc2b2139c2169c71c945bc020f36.svg)
.
Получается, дзета-функция Римана это сумма простенького интеграла и числа
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
, которое уже с учётом степени
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
становится функцией.
![$\beta^{-s}\cdot \sum_{n=0}^{\infty}\left(\frac{\beta}{n+\beta}\right)^s=\zeta(s)- \sum_{n=1}^{\beta-1}\frac{1}{n^s}=\frac{1}{\beta^{s-1}(s-1)} +\frac{\gamma_{\beta}(s)}{\beta^{s}} $](https://habrastorage.org/getpro/habr/formulas/661/0e3/a2d/6610e3a2d3f270525fe442d25ae2ad84.svg)
Ориентировочное различие этих двух частей в том, что для интеграла, превращающегося в дробь, соотношение первых членов суммы дзеты не важнó, он отражает общее свойство всей остающейся суммы.
А теперь пора вспомнить, что при вычислении дзета-функции
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
— это комплексная величина. Реальная часть может быть единичной, при этом сам аргумент не равен единице, в этой области расположена граница сходимости. Интегральная часть с учетом верхнего предела интегрирования выражается как
![$\operatorname{I}(s)=\frac{1-\frac{1}{h^{s-1}}}{\beta^{s-1}(s-1)} $](https://habrastorage.org/getpro/habr/formulas/73d/79e/4ee/73d79e4eefd89444c4aa33a4436ed502.svg)
Если задать
![$s=1+w\,i,\,\beta=1$](https://habrastorage.org/getpro/habr/formulas/950/945/775/95094577565c8fd961c0b6934e5241e8.svg)
, то
![$\operatorname{I}(1+w\,i)=\frac{i}{w}e^{-(\ln(k+1)w)\,i}-\frac{i}{w} $](https://habrastorage.org/getpro/habr/formulas/888/40b/3af/88840b3af4033eeb928ba18e6a5dd5f2.svg)
Можно заметить, что присутствует слагаемое, которое определяется как колебания в зависимости не только от мнимой части аргумента, но и от логарифма единицы плюс количества слагаемых суммы дзеты. Получается, процесс схождения не зависит от количества слагаемых, а значение во время суммирования крутится вокруг предполагаемого результата. Поэтому эту колебательную часть для улучшения сходимости проще убрать, вычесть.
На иллюстрации ниже представлены значения, полученные на линии аргументов
![$s=0.5+x i$](https://habrastorage.org/getpro/habr/formulas/006/220/b3a/006220b3afaa1dfa232b3e697185cef4.svg)
.
Синяя линия — результат суммирования тридцати слагаемых.
Красная линия — колебательная часть интеграла с аналогичным параметром.
Жёлтая линия — дзета-функция.
Зелёная линия — результат вычитания из прогрессивной суммы колебательной части интеграла.
Видно, что результат вычитания достаточно приближен к дзета-функции, осталось небольшое равномерное колебание.
Мы уже заступили за линию единичной реальной части аргумента. Внутри интегральной части
![$\operatorname{I}(\sigma+w\,i)=\frac{1-\frac{1}{h^{\sigma-1+w\,i}}}{\sigma-1+w\,i}=\frac{h^{(1-\sigma)-w\,i}-1}{(1-\sigma)-w\,i} $](https://habrastorage.org/getpro/habr/formulas/820/9e9/789/8209e9789a8d422641134b92dbde9608.svg)
Можно заметить элемент
![$h^{1-\sigma}$](https://habrastorage.org/getpro/habr/formulas/2cf/a09/abd/2cfa09abd35d25de91e1dbf6e5d78f98.svg)
, модуль которого с ростом
![$h$](https://habrastorage.org/getpro/habr/formulas/bf6/9d2/66a/bf69d266a1318ddc952968d940b60edc.svg)
при
![$\sigma<1$](https://habrastorage.org/getpro/habr/formulas/e68/6ba/cfc/e686bacfc211b9160d5e57ca631ae425.svg)
только увеличивается. То есть, в этой области при сложении ряда для дзета-функции — результат, как и колебательная часть интеграла, всё сильнее отходит от значения дзета-функции, полученного аналитическим продолжением.
Колебательная часть интеграла компенсирует расхождение суммы. Можно предположить, что компенсацию можно улучшить, изменив верхний предел интегрирования у интегральной части. В этом случае интеграл как бы заберёт у гаммы часть дзеты на себя, дополнительно уточняя прогрессирующую сумму. Осталось определить, от чего зависит полезная величина сдвига.
График зависимости модуля различия от добавки к параметру
![$k$](https://habrastorage.org/getpro/habr/formulas/fce/525/2bd/fce5252bde946816c2cf744d932890f7.svg)
в верхнем пределе интеграла немного озадачивает.
![](https://habrastorage.org/r/w1560/webt/-v/aw/tb/-vawtbrejw1seraedwoory-ogp0.png)
Судя по нему, минимум модуля различия находится около места, в которой верхний предел интеграла уменьшается ровно на половину отсчёта. Конечно, для разных аргументов положение минимума отличается, но при возрастании количества слагаемых оно остаётся
![$0.5$](https://habrastorage.org/getpro/habr/formulas/b07/7ab/fe6/b077abfe612559fa1a8ce90c6be83954.svg)
, со всё большей точностью.
Так как изменение предела идёт в меньшую сторону, то получается, что передача происходит в обратном направлении, интеграл отдаёт часть гамме и этим приближает свою колебательную часть к той, которая не важна для получения аналитического значения дзеты.
![$\sum_{n=1}^{k}\frac{1}{n^s}=\underbrace{\gamma_k(s)-(I_{h}-I_{h-1/2})}_{\gamma(s)}+I_{h}-I_1 $](https://habrastorage.org/getpro/habr/formulas/d67/afd/5ed/d67afd5ed5a8cf2dc0f8facd8abe8a6f.svg)
![$\zeta(s) \quad\sim\quad \sum_{n=1}^{k}\frac{1}{n^s}-I_{h-1/2}=\gamma_k(s)-I_1$](https://habrastorage.org/getpro/habr/formulas/37c/78c/6c6/37c78c6c646eaa4032f3fe9825644151.svg)
Здесь все
![$I$](https://habrastorage.org/getpro/habr/formulas/0c9/5e7/5d4/0c95e75d45410762667f689b0da05c52.svg)
— это составляющие интеграла, вклад от различных пределов.
— вклад нижнего предела, в виде значения первообразной.
— вклад верхнего предела.
— вклад пониженного верхнего предела.
— гамма, в первом приближении является разницей между дзетой и интегралом. Зависит от
по своему определению — это различие суммы и интеграла для данного ![$k.$](https://habrastorage.org/getpro/habr/formulas/bf7/b18/2a0/bf7b182a06c6dcbdd741329b183fb84b.svg)
— гамма, которая после включения в себя интеграла половины отсчёта изменила свою зависимость от
. Является результатом второго шага приближения. В пределе
обе гаммы совпадают.
Два приближения
![$\gamma(1-r)$](https://habrastorage.org/getpro/habr/formulas/707/51b/9fb/70751b9fb819c883d7e6ae2fd86e49f9.svg)
![$ P_1(k)=\sum_{n=1}^{k}\frac{n^r}{n}-\frac{(k+1)^{r}-1}{r} \qquad P_2(k)=\sum_{n=1}^{k}\frac{n^r}{n}-\frac{(k+1/2)^{r}-1}{r} $](https://habrastorage.org/getpro/habr/formulas/a8d/ab8/b3a/a8dab8b3a13213868d53dfd54aa9ff77.svg)
Можно рассмотреть в виде начального значения и изменения на каждое слагаемое.
![$P_1(0)=0\qquad P_1(k)-P_1(k-1)=\frac{k^r}{k}-\frac{(k+1)^{r}-k^{r}}{r} $](https://habrastorage.org/getpro/habr/formulas/1c9/dd3/ca6/1c9dd3ca6ab872d87e3cdced7040f144.svg)
![$P_2(0)=\frac{1-(1/2)^r}{r}\qquad P_2(k)-P_2(k-1)=\frac{k^r}{k}-\frac{(k+1/2)^{r}-(k-1/2)^{r}}{r}$](https://habrastorage.org/getpro/habr/formulas/9a6/878/aa5/9a6878aa5c4b7a7e560eecf1f8f62557.svg)
![$P_3(0)=\frac{1}{r}\qquad P_3(k)-P_3(k-1)=\frac{k^r}{k}-\frac{k^{r}-(k-1)^{r}}{r}$](https://habrastorage.org/getpro/habr/formulas/296/0b8/9c2/2960b89c290ef2d4ed82b2f7c7b38d24.svg)
Первое приближение убирает расходящуюся часть. Второе убирает расходящуюся часть, но не всю — та часть, которая быстрее приближает к конечному значению, остаётся. То, что эта часть равна половине отсчёта может быть связано с тем что без последнего отсчёта, точно происходит нехватка, а с последним отсчётом точно перебор. И с увеличением количества отсчётов величины недобора и перебора сближаются.
При превышении реальной части
![$r$](https://habrastorage.org/getpro/habr/formulas/b88/ce3/99f/b88ce399fda6c8123ab168cb507210f2.svg)
единицы, или при отрицательной реальной части
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
, оба приближения опять расходятся. А нам хорошо бы узнать
![$\gamma(1-r)$](https://habrastorage.org/getpro/habr/formulas/707/51b/9fb/70751b9fb819c883d7e6ae2fd86e49f9.svg)
для всех
![$r$](https://habrastorage.org/getpro/habr/formulas/b88/ce3/99f/b88ce399fda6c8123ab168cb507210f2.svg)
. Для этого следует рассказать ещё об одной функции.
У функции
![$x^s/e^x$](https://habrastorage.org/getpro/habr/formulas/385/e95/0bf/385e950bf50ee79e2f500adbc93d7a9c.svg)
есть такое свойство, что интеграл этой функции, поделённой на
![$x$](https://habrastorage.org/getpro/habr/formulas/4cc/fd4/32e/4ccfd432ea4f2a64f3a5c8c7378517af.svg)
, будет равен интегралу этой функции, поделённому на
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
.
![$ \Gamma(s)= \int\limits_{0}^{\infty}\frac {1}{x}\cdot \frac{x^{s}}{e^x} \, dx = \int\limits_{0}^{\infty} \frac {1}{s} \cdot \frac{x^{s}}{e^x} \, dx \\\operatorname{Re}(s)>0\quad s\Gamma(s)=\Gamma(s+1) $](https://habrastorage.org/getpro/habr/formulas/5ba/317/f25/5ba317f25714c34bcaf43e05c2686463.svg)
Этот интеграл называется Гамма-функцией. Но чтобы не путать с функцией-обобщением постоянной Эйлера, обозначенной строчной гаммой, буду использовать функцию
![$D(s)=1/\Gamma(s+1)$](https://habrastorage.org/getpro/habr/formulas/a39/8c3/977/a398c3977e14228ac103f19c8ef5e24e.svg)
. Я называю это «откатная» функция, так как умножение на аргумент заменяет уменьшение аргумента на единицу. Из других преимуществ — то что она никогда не уходит в бесконечность, а в целых числах обратна факториалу числа.
![$ sD(s)=D(s-1) \\\frac{1}{D(s)}=\int\limits_{0}^{\infty}\frac{x^s}{e^x} \, dx $](https://habrastorage.org/getpro/habr/formulas/87c/12f/5df/87c12f5dfa3c230edd9f9e371b75928e.svg)
Через интеграл эта функция определена только при
![$\operatorname{Re}(s)>-1$](https://habrastorage.org/getpro/habr/formulas/f25/ea1/e7b/f25ea1e7b1fcb1bf5468c3eccb8312e2.svg)
.
Так как у функции умножение на аргумент сдвигает график вправо, то её нулевое значение в минус единице отражено дальше, на все отрицательные целые числа, и из-за этих нулей можно предположить, что функция является произведением всех функций вида
![$f_n(s)=(s+n)$](https://habrastorage.org/getpro/habr/formulas/bc4/f3c/5ff/bc4f3c5ff93667da09be3c22a6a439a2.svg)
, с натуральным числом в параметре. Чтобы учесть, что в нуле она должна быть равна единице, добавляется коэффициент.
![$ D(s)\quad\sim \quad \lim_{k\to\infty}d_k\prod_{n=1}^{k}(n+s) $](https://habrastorage.org/getpro/habr/formulas/9a6/099/5a7/9a60995a77f318bbcc78bc6220f82053.svg)
Этот коэффициент в нуле должен повторять произведение всех
![$n$](https://habrastorage.org/getpro/habr/formulas/35b/a56/5f3/35ba565f36734f3a55aa01ac67868762.svg)
, значит, можно попробовать
![$d=1/(k!)$](https://habrastorage.org/getpro/habr/formulas/c08/709/072/c087090725e1c0bab333785a5ecffcc7.svg)
Но это всё равно что внутреннюю часть произведения переписать в виде дроби с
![$n$](https://habrastorage.org/getpro/habr/formulas/35b/a56/5f3/35ba565f36734f3a55aa01ac67868762.svg)
в знаменателе.
![$\sim\prod_{n=1}^{k}\frac{n+s}{n} $](https://habrastorage.org/getpro/habr/formulas/ce5/499/091/ce5499091684cb9a6e8d14c27cf74f41.svg)
Это для
![$s = 1$](https://habrastorage.org/getpro/habr/formulas/66b/2e6/8fd/66b2e68fdc6c0d1bd19d0095bf333d96.svg)
превратит произведение в цепочку, и результат будет
![$k+1$](https://habrastorage.org/getpro/habr/formulas/4f1/42d/e43/4f142de4306ba15caa1ff0d536b82f63.svg)
. Второй конец цепочки при любом
![$k$](https://habrastorage.org/getpro/habr/formulas/fce/525/2bd/fce5252bde946816c2cf744d932890f7.svg)
продолжает влиять на результат.
Коэффициент должен зависеть от
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
, сохраняя свойства функции. При этом надо убрать зависимость от
![$k$](https://habrastorage.org/getpro/habr/formulas/fce/525/2bd/fce5252bde946816c2cf744d932890f7.svg)
. Существует решение, добавить ещё пару множителей, чтобы при
![$s=1$](https://habrastorage.org/getpro/habr/formulas/66b/2e6/8fd/66b2e68fdc6c0d1bd19d0095bf333d96.svg)
единица сохранялась.
![$ D(s)=\lim_{k\to\infty}\exp\left({{\sum_{n=1}^{k}\left[\ln\left(\frac{n+s}{n}\right)\right]-s\ln(k+1)}}\right) =\\=\lim_{k\to\infty}\exp\left({{\sum_{n=1}^{k}\left[\ln\left(\frac{n+s}{n}\right)\right]-s\int\limits_1^{k+1} \frac{dx}{x}}}\right) =\\= \lim_{k\to\infty} e^{\gamma s} \prod_{n=1}^{k}\frac{n+s\,}{n\,e^{s/n}}=e^{\gamma s} \prod_{n=1}^{\infty}\frac{1+\frac{s}{n}}{e^{s/n}} $](https://habrastorage.org/getpro/habr/formulas/b8e/0b6/c18/b8e0b6c1815c6493ae0c3f28e20d6ad9.svg)
Без
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
не обошлось. Хотя, если сразу знать, что от аргумента у коэффициента только степенная зависимость, то можно определить коэффициент по-другому.
![$D(s)=\prod_{n=1}^{\infty}\frac{1+\frac{s}{n}}{\left(1+\frac{1}{n}\right)^s} $](https://habrastorage.org/getpro/habr/formulas/cd5/3f9/600/cd53f9600a2f44c135868b8843bbd88b.svg)
Но предыдущее выражение имеет своё преимущество: видно, какую производную имеет эта функция в нулевой точке. Отдельно произведение имеет единичную производную, а всё выражение целиком —
![$\gamma$](https://habrastorage.org/getpro/habr/formulas/e70/a4d/c8c/e70a4dc8cfb514fee86d8651daf8c7eb.svg)
.
В завершение — о точном значении
![$\gamma(s)$](https://habrastorage.org/getpro/habr/formulas/aa8/caf/a0d/aa8cafa0d8054feef5d4094e72da25b4.svg)
для всех
![$s$](https://habrastorage.org/getpro/habr/formulas/8bc/837/5dc/8bc8375dc6b8abeff08d6da9da469b5d.svg)
.
У дзета-функции есть симметрия относительно линии
![$\operatorname{Re}(s)=1/2$](https://habrastorage.org/getpro/habr/formulas/c33/8d9/453/c338d9453d517699084280f80e4e7628.svg)
:
![$ \frac{\zeta(s)}{\zeta(r)}=\frac{ s\cdot D\left(\frac{s}{2}\right){\pi^{\frac{s}{2}}}}{r\cdot D\left(\frac{r}{2}\right){\pi^{\frac{r}{2}}}} $](https://habrastorage.org/getpro/habr/formulas/e4c/234/c2b/e4c234c2b80996603f9b730c27b0a306.svg)
Она показывает, что для разворота функции по оси достаточно через умножение переставить полюс и тривиальные нули, пересчитать экспоненциальный множитель — оставшаяся функция-множитель уже симметрична.
Исходя из этого у функции
![$\gamma(s)$](https://habrastorage.org/getpro/habr/formulas/aa8/caf/a0d/aa8cafa0d8054feef5d4094e72da25b4.svg)
симметрия будет такая:
![$ \frac{\gamma(s)\cdot (1-s)-1}{s\cdot\gamma(1-s)-1}=\frac{D\left(\frac{s}{2}\right)}{D\left(\frac{1-s}{2}\right)}\pi^{s-1/2} $](https://habrastorage.org/getpro/habr/formulas/369/fe2/f93/369fe2f93a471a0addf167b94b0ed668.svg)
И значит, точно определить значение функции можно и для
![$\operatorname{Re}(s)<0$](https://habrastorage.org/getpro/habr/formulas/b39/320/490/b39320490e1403124efe8922dd261783.svg)
.
Но есть ощущение, что кроме точного значения в этом числе заложено что-то ещё, что-то большее.
Добавлено уже после публикации:
![$\gamma(s)=\frac{1}{1-s}+\prod_{n=1}^{\infty}\frac{p_n^s}{p_n^s-1}$](https://habrastorage.org/getpro/habr/formulas/3cc/b41/dde/3ccb41ddebb19cd2040ad7a38acf2a68.svg)