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

Шрифт
Интервал

Oh, where are the zeros of zeta of s?
We must know exactly. It won't do to guess.
In order to strengthen the prime number theorem,
The integral's contour must never go near 'em.
André Weil has improved on old Riemann's fine guess
By using a fancier zeta of s.
He proves that the zeros are where they should be,
Provided the characteristic is p.
There's a moral to draw from this long tale of woe
That every young genius among you must know:
If you tackle a problem and seem to get stuck,
Just take it mod p and you'll have better luck.
Примечания

Мотив.Sweet Betsy from Pike — песня, которую поют на этот мотив в Америке. Однако мелодия старше, чем слова. Впервые она прозвучала в английской песенке Villikens and his Dinah[216], популярной в середине XIX века. (Из этой песенки, кстати, взято имя кошки в книгах Льюиса Кэрролла об Алисе. Villikens and his Dinah была любимой песней Алисы Лидделл — девочки, которая вдохновила его на написание книг, и у нее и в самом деле была кошка по имени Дина.) Если ваше обучение в Британии включало в себя членство в школьном клубе регби[217], то вы, скорее всего, распознаете эту мелодию как мелодию известной печальной баллады, начинающейся словами О Father, О Father, I've come to confess. I've left some poor girl in a hell of a mess.[218]

Строка 1. См. главу 5.vii.

Строка 2. Полное имя Римана было Георг Фридрих Бернхард Риман (глава 2.iii). Насколько известно, он всегда пользовался только именем Бернхард.

Строка 3. По поводу «критической прямой» (она же критическая линия) см. главу 12.iii, рисунок 12.1.

Строка 4. Это следует сравнить с утверждением из главы 13.viii, что на высоте T вдоль критической прямой средний интервал между нулями ~2π/ln (T/2π). Это означает, что на единицу длины вдоль прямой приходится ~(1/2π)/ln (T/2π) нулей. Это автор песни и имеет в виду под «плотностью». Заметим, что, согласно правилам обращения с логарифмами, ln (T/2π) равен ln T − ln (2π), т.е. ln Т − 1,83787706…. Умножив это на 1/2π, получим (1/2π)ln T − 0,29250721…. По мере роста T растет (хотя и намного медленнее) и ln T, так что слагаемое величины 0,29250721… становится совершенно несущественным. Следовательно, плотность равна «один-на-два-пи эль-эн T».

Строка 8. В оригинале обозначение mod t использовано для модуля числа t, определенного в главе 11.v. Когда, как в данном случае, под t понимается вещественное число, mod t — в нормальных обозначениях |t| — выражает просто величину t без учета знака.[219] Как отмечалось в главе 16.iv, t (или T) — довольно стандартное обозначение в теории дзета-функции, когда говорят о больших высотах вдоль критической прямой (или, более общим образом, как видно из обсуждения ГЛ в примечаниях к строчкам 21-28, о мнимой части аргумента дзета-функции).

Строка 9. Харальд Бор (глава 14.iii) и Эдмунд Ландау доказали в 1913 году важную теорему о функции S (см. главу 22.iv), которая гласит, что если дзета-функция имеет лишь конечное число нулей вне критической прямой, то функция S(t) неограничена, когда t стремится к бесконечности. Упоминавшееся в главе 22.iv доказательство Сельберга 1946 года, что S(t) неограничена, — более сильный результат, поскольку не требует указанного условия. По поводу Крамера см. главу 20.vii. Помимо разработки упомянутой там «вероятностной модели» для распределения простых чисел Крамер также доказал и один менее значительный результат о функции S: если ГЛ (см. примечания к строчкам 21-28) верна, то S(t)/ln t стремится к нулю, когда t стремится к бесконечности. По поводу Литлвуда и Харди см. главу 14; по поводу Титчмарша — главу 16.v.

Строки 13-16. Глава 14.v.

Строка 17. Чтобы попасть в размер, термин Li здесь надо произносить как как ell-eye (в оригинале, и как «ли» в переводе. — Примеч. перев.). Далее автор песни обсуждает остаточный член π(x) − Li(x), который мы подробно рассматривали в главе 21.

Строка 18. «Как там с порядком P — неизвестно» означает, что «P есть Ο большое от… от чего? — неизвестно». По поводу Ο большого см. главу 15.ii-iii; при этом имеются в виду большие значения x.

Строки 19-20. Если бы удалось доказать, что π(x) − Li(x) = Ο(√x∙ln x) (другими словами, на разность имеется ограничение, т.е. «потолок»), то и ГР была бы доказана. В этом заключается результат, обратный результату фон Коха 1901 года, приведенному в главе 14.viii. Там это не упомянуто, но если формула фон Коха верна, то верна и ГР. Они следуют друг из друга.

Строки 21-28. Следующие несколько строк целиком посвящены гипотезе Линделёфа (ГЛ) — знаменитому предположению в теории дзета-функции. Его гипотеза касается роста дзета-функции в вертикальном направлении — т.е. вверх по вертикальной прямой в комплексной плоскости.

Линделёф, записав аргумент дзета-функции в виде σ + ti, задался таким вопросом: пусть задана вещественная часть σ (это, кстати, строчная греческая буква сигма); что можно сказать о величине ζ(σ + ti), когда t (мнимая часть аргумента) изменяется от нуля до бесконечности? «Величина» здесь понимается в смысле модуля, который мы определили в главе 11.v; другими словами, это означает


Рекомендуем почитать
Квантовый оптоэлектронный генератор

В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.


Флатландия. Сферландия

Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.


Стратегии решения математических задач

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


Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.


Симпсоны и их математические секреты

Саймон Сингх рассказывает о самых интересных эпизодах мультсериала, в которых фигурируют важнейшие математические идеи – от числа π и бесконечности до происхождения чисел и самых сложных проблем, над которыми работают современные математики.Книга будет интересна поклонникам сериала «Симпсоны» и всем, кто увлекается математикой.На русском языке публикуется впервые.


Истина и красота: Всемирная история симметрии

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