Мы могли бы уже применить формулу Меллина, но тогда было бы весьма затруднительно выполнить интегрирование. Поэтому прежде преобразуем равенство (3) следующим образом. Дифференцируя по s, получаем
. Обозначим левую часть через и положим , , ( , и полагаем равными нулю при ). Тогда, интегрируя по частям, находим при , или .Но
непрерывна и имеет ограниченную вариацию на любом конечном интервале, а так как , то ( ) и ( ). Следовательно, абсолютно интегрируема на при . Поэтому при , или при . Интеграл в правой части абсолютно сходится, так как ограниченна при , вне некоторой окрестности точки . В окрестности и можно положить , где ограниченна при , и имеет логарифмический порядок при . Далее, . Первый член равен сумме вычетов в особых точках, расположенных слева от прямой , то есть . Во втором члене можно положить , так как имеет при лишь логарифмическую особенность. Следовательно, . Последний интеграл стремится к нулю при . Значит, (4).Чтобы перейти обратно к
, используем следующую лемму.Пусть
положительна и не убывает и пусть при . Тогда .Действительно, если
- данное положительное число, то ( ). Отсюда получаем для любого . Но так как не убывает, то . Следовательно, . Полагая, например, , получаем .Аналогично, рассматривая
, получаем , значит , что и требовалось доказать.Применяя лемму, из (4) имеем, что
, , поэтому и теорема доказана.Для ознакомления с более глубокими результатами теории дзета-функции Римана могу отослать заинтересованного читателя к прилагаемому списку использованной литературы.
Список использованной литературы.
1. Титчмарш Е.К. Теория дзета-функции Римана. Череповец, 2000 г.
2. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления, том II. М.,1970 г.
3. Привалов И.И. Введение в теорию функций комплексного переменного. М.,1999 г.
4. Айерленд К., Роузен М. Классическое введение в современную теорию чисел. М.,1987 г.
5. Шафаревич З.А. Теория чисел. М.,1986г.