Чудесным (как мне представляется) образом эта бесконечная сумма сходится для любого числа z. Знаменатели растут так быстро, что рано или поздно побеждают любую степень любого числа. Равным образом чудесно, что если z — натуральное число, то бесконечная сумма оказывается в точности равной тому, что мы ожидаем от определения «степени» в обычном смысле, хотя разглядывание выражения (13.1) и не дает никаких намеков на то, почему бы такое могло случиться. Если z равно 4, то этот ряд оказывается равным в точности тому же, чему равно e×e×e×e (что, собственно, и понимается под обозначением e⁴).

Давайте просто подставим πi в выражение (13.1) и посмотрим, как быстро оно сходится. Если z равно πi, то z² равно −π²; z³ равно −π³i; z⁴ равно π⁴; z⁵ равно π⁵i и т.д. Подставляя эти значения в бесконечную сумму и вычисляя возникающие степени числа π (для простоты с точностью до шести знаков после запятой), получаем сумму

Если сложить первые 10 из этих членов, то получим −1,001829104 + 0,006925270i. Если сложить первые 20 чисел, то результат будет равен −0,9999999999243491 − 0,000000000528919i. Вполне определенным образом сумма сходится к −1. Вещественная часть приближается к −1, а мнимая исчезает.

Можно ли и логарифмическую функцию продолжить на комплексные числа? Да. И получится, разумеется, в точности функция, обратная к показательной. Если e^z = w, то z = ln w. К сожалению, как и в случае квадратных корней, если мы не соблюдем меры предосторожности, мы тут же попадем в зыбучие пески многозначных функций. Это происходит из-за того, что в комплексном мире показательная функция иногда принимает одно и то же значение при различных аргументах. Например, куб числа −1, в соответствии с правилом знаков, есть −1; так что возведение в куб обеих частей равенства e^πi = −1 дает e^3πi = −1; таким образом, аргументы πi и 3πi дают одно и то же значение функции, равное −1, подобно тому как −2 и +2 дают при возведении в квадрат одно и то же значение 4. Тогда что же такое ln (−1)? Это πi? Или же 3πi?

Это πi. Чтобы не наживать лишних неприятностей, ограничим мнимую часть значений функции отрезком от −π (не включая) до π (включая). Тогда для всякого ненулевого комплексного числа имеется его логарифм, причем ln (−1) = πi. На самом деле, если использовать обозначения, введенные в главе 11.v, то ln z = ln |z| + iΦ(z), где Φ(z), разумеется, измеряется в радианах. В таблице 13.3 показан «моментальный снимок» логарифмической функции с точностью до шести знаков после запятой. Аргументы здесь изменяются «по умножению» (каждая строка получается умножением 1 + i на предыдущую строку), а значения функции — «по сложению» (всякий раз прибавляется 0,346574 + 0,785398i).

Итак, у нас есть логарифмическая функция. Единственное усложнение заключается в том, что, когда мнимая часть значения функции становится больше π, как это случается при переходе от аргумента −4 к аргументу −4 − 4i, приходится вычитать 2πi, чтобы остаться в нужных пределах (2π радиан равны 360 градусам; мы помним из главы 11.v, что радианы — это просто способ измерения углов, который больше всего любят математики). Но это не причиняет на практике никаких неудобств.

Коль скоро имеются показательная и логарифмическая функции от комплексных чисел, нет причин, запрещающих возводить любое комплексное число в любую комплексную степень. Согласно 8-му правилу действий со степенями из главы 5.ii любое вещественное число a равно e^ln a, а тогда по 3-му правилу a^x — это просто-напросто e^xln a. Нельзя ли распространить эту идею в мир комплексных чисел и сказать, что для любых двух комплексных чисел z и w выражение z^w означает просто-напросто e^wln z?

Можно, конечно, и именно так и делается. Если пожелать возвести −4 + 7i в степень 2 − 3i, то надо сначала вычислить логарифм числа −4 + 7i, который оказывается равным примерно 2,08719 + 2,08994i. Затем надо умножить это на 2 − 3i, что даст 10,4442 − 2,08169i. И теперь возвести число e в эту степень, что и даст окончательный результат −16793,46 − 29959,40i. Итак,

Ничего сложного! Еще пример: поскольку −1 = e^πi, извлечение квадратного корня из обеих частей даст i = e^πi/2. И если теперь возвести обе части в степень i, то, снова пользуясь 3-м правилом действий со степенями, получим iⁱ = e^−π/2. Заметим, что это вещественное число, равное 0,2078795763….

Поскольку можно возводить любое комплексное число в любую комплексную степень, несложным должно оказаться возведение вещественного числа в комплексную степень. Следовательно, для заданного комплексного числа z можно вычислить 2^z, 3^z, 4^z и т.д. Понятно, к чему идет дело. Можно ли расширить область определения дзета-функции

в мир комплексных чисел? Можно, конечно. С комплексными числами, доложу вам, можно делать что угодно.

Поскольку формула для дзета-функции остается бесконечной суммой, возникает вопрос о сходимости. Оказывается, что сумма сходится для любого комплексного числа, вещественная часть которого больше единицы. Математики скажут «в полуплоскости Re(s) > 1», где Re(s) используется для обозначения вещественной части числа s.

Но, как и в случае с дзета-функцией вещественных аргументов, для расширения области определения в те области, где бесконечная сумма не сходится, можно применить некоторые математические уловки. В результате получается полная дзета-функция, область определения которой составляют все комплексные числа за единственным исключением числа s = 1. Там, как мы еще в самом начале убедились при помощи колоды карт (см. главу 1), у дзета-функции нет значения. Везде, кроме этой точки, она имеет единственным образом определенное значение. Имеются, конечно, и такие места, где это значение нулевое. Это мы и раньше знали. Графики из главы 9.iv показывают, что дзета-функция принимает равное нулю значение для всех отрицательных четных чисел −2, −4, −8, …. Мы на них не останавливаемся, потому что, как уже было замечено, они не слишком важны. Это тривиальные нули дзета-функции. Могло ли бы так случиться, что значение дзета-функции равно нулю при некоторых комплексных аргументах? И что, это и будут нетривиальные нули, упоминаемые в Гипотезе? Делайте ваши ставки; но я несколько забежал вперед в нашей истории.