Джон Дербишир - Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

Я воспользуюсь гораздо более простым подходом для иллюстрации функций комплексной переменной. Позвольте представить моего друга, муравья по имени Арг; он перед вами на рисунке 13.4.

Рисунок 13.4.Муравей Арг.

Муравья Арга невероятно трудно разглядеть, потому что он имеет бесконечно малый размер. Но если бы мы могли его видеть, то обнаружили бы, что он выглядит совсем как обычный муравей — если уж быть точным, то как рабочий Camponotus japonicus — с соответствующим числом лапок, усиков и прочего. В одной из своих передних лапок, которую можно для удобства называть «рукой», муравей Арг держит приборчик вроде пейджера, или мобильного телефона, или одного из тех устройств для глобального позиционирования, что всегда сообщают вам, где именно вы находитесь. На этом приборчике (рис. 13.5) имеются три окошка. В первом окошке, под которым написано «функция», показано название некоторой функции: z 2, ln z и т.д. — в общем, на приборчике можно выставить любую функцию. Во втором окошке, под которым написано «аргумент», показана точка — т.е. комплексное число, — на которой муравей Арг стоит в данный момент. И в третьем окошке, с подписью «значение функции», показано значение выбранной функции при данном аргументе. Таким образом, муравей Арг всегда точно знает, где находится; а для любой заданной функции он знает, кроме того, куда данная функция отправляет точку, на которой он стоит.

Рисунок 13.5.Муравьиный приборчик.

Моя задача состоит в том, чтобы показать вам дзета-функцию, И поэтому я собираюсь отправить муравья Арга свободно бродить по комплексной плоскости. [114]Когда в окошке «значение функции» показан нуль, это значит, что Арг стоит на точке («аргументе»), которая является нулем дзета-функции. Я договорюсь с ним, чтобы он отмечал эти точки волшебным маркером, который он носит в маленьком кармашке на брюшке. Тогда мы сможем узнать, где располагаются нули дзета-функции.

На самом деле я попрошу муравья Арга потрудиться еще немного. Пусть он отмечает все аргументы, которые дают чисто вещественное или чисто мнимое значение функции. Он отметит аргумент, при котором значение функции равно 2, или −2, или 2 i , или −2 i ; а точку, в которой значение функции равно 3,7 i , он отмечать не будет. Другими словами, он отметит все точки, которые дзета-функция отправляет на вещественную ось или на мнимую ось таким способом мы получим нечто вроде картинки, представляющей дзета-функцию.

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

Рисунок 13.6.Плоскость аргумента. Показаны точки, которые дзета-функция отправляет на вещественную или мнимую оси.

Попытка представить себе, что же дзета-функция делает с комплексной плоскостью — в том же духе, как на рисунке 13.3, где показано, что делает с ней функция возведения в квадрат — это упражнение, требующее довольно серьезного умственного напряжения. Если функция возведения в квадрат заворачивает комплексную плоскость саму над собой в двулистную поверхность, изображенную на рисунке 13.3, то дзета-функция делает подобную же вещь бесконечное число раз, что дает бесконечнолистную поверхность. Не расстраивайтесь, если не получается такое себе представить. Чтобы начать интуитивно воспринимать подобные функции, требуется практика в течение нескольких лет. Как я уже говорил, наш подход будет попроще.

Муравей Арг разметил комплексную плоскость так, что получились узоры, показанные на рисунке 13.6. Теперь отправим его путешествовать вдоль одной из этих кривых. Пусть он выходит из точки −2. Поскольку это нуль дзета-функции — один из тривиальных нулей, — окошко «значение функции» показывает 0. А муравей собирается ползти на запад вдоль вещественной оси. Значения функции начинают отодвигаться от нуля.