Вы находитесь на странице: 1из 114

Р.

ВЕЛЛМАН
И.ГЛИКСБЕРГ
0. ГРОСС

НЕКСТЮРЫЕ
ВОПРОСЫ
МАТЕЛ 1АТИЧЕСК0Й
ТЕОРИИ
ПРОЦЕССОВ
ПРАВЛЕНИЯ
<уШ:
ERGEBNISSE DER MATHEMATIK
UND IHRER GRENZGEBIETE 88

A Series of Modern Surveys


in Mathematics

Editorial Board: P. R. Halmos, P. J. Hilton (Chairman),


R. Remmert, B. Szokefalvi-Nagy

Advisors: L. V. Ahlfors, R. Baer, F. L. Bauer, A. Dold,


J. L. Doob, S. Eilenberg, K. W. Gruenberg, M. Kneser,
G. H. Muller, M. M. Postnikov, B. Segre, E. Sperner

Andre Weil
ELLIPTIC FUNCTIONS ACCORDING TO
EISENSTEIN AND KRONECKER

Springer-Verlag
Berlin Heidelberg New York 1976
А. Вейль

Эллиптические
функции
по Эйзенштейну
и Кронекеру
Перевод с английского
Ю. И. МАНИНА

Издательство «Мир»
Москва 1978
УДК 517.7

Эллиптические функции — одна из красивейших глав клас­


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

Редакция литературы по математическим наукам

© by Springer-Verlag Berlin H eidelberg 1976


All R ights Reserved
A uthorized translation from E nglish la n g u a g e
edition published by Springer-Verlag B erlin —*
H eidelberg—-New York

© Перевод на русский язык, «Мир», 1978

20203-002
В 2-78
041(01)-78
От редакторов серии
Ergebnisse der Mathematik

Мои сотрудники по редакционной коллегии серии Ergeb­


nisse der Mathematik и я рады представить книгу Андре Вейля
«Эллиптические функции по Эйзенштейну и Кронекеру». Не­
которых читателей, возможно, удивит публикация в этой се­
рии сочинения, на первый взгляд посвященного истории ма­
тематики и потому столь нетипичного для серии. Ознакомив­
шись с рукописью, редакторы, однако, пришли к твердому
убеждению в том, что она, внося весьма существенный вклад
в историю нашей науки, в то же время представляет очень
большую ценность для современных исследований. Поэтому
мы без колебаний решили просить профессора Вейля согла­
ситься на публикацию его рукописи в нашей серии и рады
были получить его согласие.
Питер Хилтон,
председатель редакционной коллегии
Предисловие

«Когда строят короли, работу получают возчики» — ска­


зал немецкий поэт1). Кронекер процитировал его в своем
письме Кантору в сентябре 1891 г., добавив, что каждый
математик одновременно и король и возчик. Несомненно, он
думал о себе.
Но возчикам нужны дороги. В истории нашей науки не­
редко случалось так, что король открывал новый путь в зем­
лю обетованную, а его наследники, предпочитая свои тро­
пинки, оставляли этот путь зарастать чертополохом.
Цель этой небольшой книжки — помочь расчистить одну
из королевских дорог. Она возникла на основе лекций, чи­
танных в Институте высших исследований осенью 1974 г.
Я признателен Мелвину Натансону, предоставившему в мое
распоряжение свои записи этих лекций. Куда приведет наша
дорога, увидит будущее, но уже немало примет, что впереди
плодородные земли.
Поскольку многое изложенное в этой книге заслуживает
включения в элементарные курсы, нелишне указать, что она
почти замкнута в себе. Даже основы теории тригонометриче­
ских функций изложены в начале гл. II ab initio методом
Эйзенштейна. Было бы логично и удобно ввести так же гам-
9 Здесь процитирована вторая строка ксении «Кант и его последова­
тели», а ее полный текст звучит так:
«Wie doch ein einziger Reicher so viele Bettler in Nahrung
Setzt! Wenn die Konige baun, haben die Karrner zu tun».
(Goethes Werke, В. 1, S. 208, Aufbau-Verlag, Berlin und Weimar, 1974.)
«Ксении» написаны совместно Гёте и Шиллером; упомянутая ксения при­
писывается Шиллеру. — Прим, перев.
8 Предисловие

ма-функцию в гл. III, но для краткости это введение было


опущено, и предполагается, что читатель знаком с элемен­
тарными свойствами T (s). В части II требуется также зна­
комство с теоремой Дирихле о рядах Фурье и ее частным
случаем — методом суммирования Пуассона. Для наших при­
ложений (главным образом, функциональное уравнение для
тэта-функции) нужно знать несколько классических интегра­
лов. Распределения Шварца появляются лишь в § 10 гл. VII
и § 16— 18 гл. VIII. Эти разделы слабо связаны с остальной
частью книги и могут быть опущены без ущерба для пони­
мания, хотя и не без потерь. В гл. VIII нельзя обойтись без
функции Бесселя Ку, введенной с помощью определенного
интеграла. Разумеется, я Еыбрал для нее стандартное обо­
значение, но не пользовался никакими свойствами этой функ­
ции или, скорее, интеграла, кроме самых очевидных. В по­
следней главе речь идет о теории чисел, и потому, конечно,
предполагается некоторое знакомство с ней.

Андре Вейль
Принстон, 21 марта 1975 года
часть первая

Эйзенштейн
глава I

Введение

В 1891 г. Кронекер дал согласие выступить с лекцией на


первом собрании только что основанного Немецкого матема­
тического общества. Лекция не состоялась из-за смерти его
жены, но в письме Кантору, президенту Общества, Кронекер
выразил надежду, что он сможет предоставить ее письмен­
ный текст, содержание которого было описано в следующих
выражениях:
«Der Vortrag... sollte kurzweg den Titel haben «Ober Eisen-
stein» ... Dabei muBten dann auBer den rein arithmetischen und
analytisch-arithmetischen noch ganz besonders seine rein ana-
lytischen Untersuchungen tiber elliptische Funktionen hervor-
gehoben werden, welche dem BewuStsein der Jetztzeit ganz
abhanden gekommen sind...» (Kronecker, Werke, В. V,
S. 499)J).
Вскоре Кронекер умер, так и не написав свою лекцию.
Однако он уже довольно подробно обсудил работы Эйзен­
штейна в своей последней большой статье об эллиптических
функциях, опубликованной Берлинской Академией в 1891 г.,
указав, что Эйзенштейн предвосхитил некоторые из самых
известных новшеств Вейерштрасса и пошел значительно
дальше. Вот что пишет Кронекер:

*) «Лекция должна была называться «Об Эйзенштейне». Она была бы


посвящена не столько его теоретико-числовым работам или работам, со­
единяющим теорию чисел с теорией функций, сколько и главным образом
его чисто аналитическим исследованиям по эллиптическим функциям, так
прочно забытым сейчас».
12 Часть I. Эйзенштейн

«Существенно новые точки зрения ... в особенности на


теорию преобразований тэта-функций ... Эйзенштейн ввел в
своей фундаментальной, но редко цитируемой статье «Bei-
trage zur Theorie der elliptischen Funktionen», опубликован­
ной в журнале Крелля в 1847 г. и содержащей совершенно
оригинальные идеи...»
Если Кронекер выражается с таким энтузиазмом, доволь­
но очевидно, что он сам только что открыл для себя эту
статью. Далее он указывает на ее связи со своими текущими
исследованиями, связи, которых он до того явно не замечал
(Kronecker, Werke, В. V, S. 149). Обе цитаты относятся к
статье Эйзенштейна «Genaue Untersuchung der unendlichen
Doppelproaukte, aus welchen die elliptischen Funktionen als
Quotienten zusammengesetzt sind, und der mit ihnen zusam-
menhangenden Doppelreihen». Это — часть VI его труда «Bei-
trage zur Theorie der elliptischen Funktionen»; она была опуб­
ликована в Crelles Journal, 35 (1847), 153—274, а затем пе­
репечатана в эйзенштейновском томе Mathematische Abhand-
lungen в 1847 г. с предисловием Гаусса.
Кронекер имел все основания назвать эту статью «редко
цитируемой». Сомнительно, чтобы во всей математической
литературе XIX века нашлась хотя бы одна ссылка на нее,
кроме ссылки самого Кронекера и подстрочного примечания
в диссертации Гурвица (Hurwitz, Werke, В. I, S. 31).
В XX веке, возможно, ее цитировали еще два-три раза.
Идеи Эйзенштейна действительно были «прочно забыты».
Не только вкус к истории побуждает нас попытаться ожи­
вить их здесь. Не говоря уже о том, что они являются пре­
восходным введением ко многим работам Гекке, мы надеем­
ся показать, что их можно с успехом применить к решению
некоторых современных проблем, особенно в сочетании с
поздними работами Кронекера, естественно их продолжаю­
щими. Возможно, эти идеи окажутся полезными и за преде­
лами теории эллиптических функций и модулярной группы,
в частности в арифметике рядов Эйзенштейна для групп
Гильберта1), но здесь я не буду касаться этой темы.
Любой читатель Эйзенштейна должен сознавать, как ост­
ро он ощущал нехватку времени в течение всей своей непро­
должительной жизни в науке. Еще в юности он жалуется на
нервные приступы, заставляющие его часто прерывать ра­
боту. Позже он заболел туберкулезом, от которого и умер
1) Это предсказание оправдалось (быстрее, чем я ожидал) после того,
как были написаны эти строки: см. G. Shimura, On some arithmetic pro­
perties of modular forms of one and several variables, Ann. Math., to
appear.
I. Введение 13

в 1852 г. в возрасте 29 лет. Его статьи, блистательно задуман­


ные, писались урывками; детали прорабатывались от случая
к случаю; иногда связный ход мысли прерывается, чтобы во­
зобновиться на более поздней стадии. Время от времени
Крелль позволял ему послать в печать часть статьи до ее
завершения. Читателю часто приходит на ум трагическая
фраза Галуа: «Je n’ai pas le temps»1).
Поэтому было бы нелепо идти след в след за Эйзенштей­
ном. Рассказывая его работы, я свободно перекраивал его
материал (как сделал бы он сам по более зрелом размыш­
лении) и пользовался его собственными указаниями, как
улучшить изложение, когда это не означало насилия над его
образом мысли.
Здесь уместно одно общее замечание по вопросам сходи­
мости. Во времена Эйзенштейна понятие абсолютной сходи­
мости (в отличие от «условной») было еще сравнительно но­
вым. По словам Эйзенштейна, сам он узнал об абсолютной
сходимости из статьи Дирихле о простых числах в арифме­
тической прогрессии и аккуратно пользовался ею всюду, где
это необходимо. Например, начало его статьи, обсуждаемой
здесь, посвящено доказательству сходимости ряда
+ . . . +Я 2)~°

при а > v/2, а также более общих рядов такого типа. В на­
ши дни все это общеизвестно и не нуждается в повторении.
С другой стороны, равномерная сходимость не была известна
Эйзенштейну. Он неявно и без доказательства принимает, что
вводимые им ряды аналитических функций можно дифферен­
цировать почленно; возможно, по этой причине Вейерштрасс
игнорировал его работу. На самом деле этот пробел легко
восполнить. Если бы потребовать этого от Эйзенштейна, он
мог бы рассуждать так. Рассмотрим в качестве типичного
примера ряд 2 (* + \*)~п> появляющийся в его теории три­
гонометрических функций (гл. II). Отбросив конечное число
членов, мы должны рассмотреть абсолютно сходящиеся ряды
+ оо +оо

f n (x ) = МX=м (х + Iх) ” + ц=Л1


X { х — и) ” (я > 2),
+ оо

ш = £ Ьттг+т^г).
*) «У меня не осталось времени». — Прим, перев.
14 Часть I. Эйзенштейн

где М > 1 — целое число. Пусть f(x) — любой из этих рядов,


%(х) — его ц-й член. Разложим Фц(* + #) по биномиальной
формуле в степенной ряд по у:
+ оо
% ( х + у ) = Z %,т(х)ут.
т=О
Тривиальная оценка показывает, что двойной ряд £ Фц. т(х)ут
ц, т
абсолютно сходится при |дс|^Л 1 — 1, | у | < 1. Следовательно,
мы можем написать

f(x + y ) = Z ( Е Фи, «(*)') Ут-


т=О V н )
Но коэффициент при у т, с точностью до очевидного постоян­
ного множителя, совпадает с рядом, который получается из
f(x) m-кратным почленным дифференцированием. Это оправ­
дывает допущения Эйзенштейна. В дальнейшем все подобные
проблемы мы обходим молчанием.
глава II

Тригонометрические
функции

§ 1. Как показал Эйзенштейн, его метод построения эл­


липтических функций прекрасно работает в более простом
случае тригонометрических функций. Сверх того, этот случай
не только служит поучительным введением в теорию Эйзен­
штейна, но и доставляет простейшие доказательства ряда
фактов, открытых Эйлером и нужных для дальнейшего.
Метод основан на рассмотрении рядов вида
+ оо

ел (* ) = Е (х + v ) ~ n<
fl = —О
О
где п ^ 1 — целое число. Случай /г > 1 не требует объясне­
ний. Чтобы работать с п = 1, введем символ («суммиро­
вание по Эйзенштейну» однократных рядов), который опре­
деляется формулой

Е е = П т Е •
М- М -> + о о ц = —М

После этого определим ряд ег как


&1:(х)
4 7= L-je
У' — х +—
IX.
ц
Поскольку ряд еп абсолютно сходится при п ^ 2, очевидно,
что для этих п функция еп периодична с периодом 1. То же
верно для еь потому что члены этого ряда стремятся к нулю
при р -^ + оо. Дифференцируя почленно (см. последние за­
мечания в гл. I), находим den/dx = —т п+\ при всех 1.
16 Часть I. Эйзенштейн

Разлагая (х + ц)_п при п ^ 1 , ц =й О, | ж | < 1 в степенной


ряд по х, получаем для функции еп (х )— х~п ряд, сходящийся
при |х | < 1. Для п = 1 он имеет вид
+ оо

e i(* )= у — Y, Yтхт~\
т=1
где ут= 0 при нечетных т и
+ оо

У2т= 2 £ Ц-2т.
ц= 1

Дифференцируя п — 1 раз, получаем


+00
еа(х) = jn +(-!)" £ ( 2т~. ) Y2тх2т-п,
m=i ' п 1 '
( 2т — 1 \
где «биномиальные коэффициенты» I j I равны нулю
при 2т < п. Очевидно, функция еп(х) четна или нечетна по
х в зависимости от четности или нечетности п. Для каждого
1 коэффициент уп совпадает со значением еп(х) — хгп
при х = 0.

§ 2. Следующей вопрос: как получить нелинейные соотно­


шения между функциями еп? Для Эйзенштейна отправной
точкой служат тождества с рациональными функциями. Возь­
мем две независимые переменные р, q и положим г = р + Я-
Деля на pqr, получаем
- L — L + -L .
pq рг 1 qr ( 1)

Более общо, для целых чисел т, 1 имеем


т—1 п—1
1 п (п + 1) ... (п + h — 1) ■ у т (т + 1) ... (т + k — 1)
у
pmqn ~ 2*i h\pm~hrn+h ' 2*i k\qn~krm+k
(2)
Это тождество можно вывести из (1), дифференцируя т — 1
раз по р и п — 1 раз по q. Можно также рассматривать (2)
как разложение р~т(г — р)~п на простые дроби, считая это
выражение рациональной функцией от р, а г константой. При
т = п = 2 получаем
1 1__ .__1____ . 2 . 2
p2q2 р2г2 ' q2r2 ' рг3 ' qr3 (3)
II. Тригонометрические функции, § 4 17

Положим в (3) р = q = y + v — р,, а также z =


= х-\-у\ тогда r = z-\-v. Применим к (3) «суммирование по
Эйзенштейну» по pi, считая v постоянным. Получим
Ев (р~2Я~2— P~2r~2— q~2r~2) = 2r-3 [е, (х) + ei (у + v)].
И

Здесь можно заменить (у + v) на ei (у), a Y e на 2 , ибо


ряд абсолютно сходится. Теперь суммирование по v приво­
дит к тождеству
е2(х) е2{у) — е2(х) е2(z) — е2(у) е2 (z) = 2е3(2) [ei (х) + в! (у)], (4)
потому что все нужные ряды абсолютно сходятся. Это — фор­
мула сложения для функций е.
§ 3. При данном нецелом значении х обе части (4) как
функции от у имеют двойной полюс при у = 0. Разложив их
в степенные ряды по у, немедленно получаем, что коэффи­
циенты при у~2 и у ~1 в обеих частях одинаковы. Сравнение
постоянных членов дает:
Зе4(х) = е2(х? + 2ei (*) е3(х). (5)
Аналогично, при данном х рассмотрим обе части (4) как
функции от 2 и разложим их в ряд вблизи 2 = 0. Сравнивая
постоянные члены, находим
е2(xf = е4(х) + 2y262(х). (6)
Поэтому е{гг = е2 — 3у2е2. Дифференцируя, получаем е2е3—
— 2у283 = б1е4. Сравнение с (6) показывает, что e3 = eie2. Под­
ставив б!е2 вместо е3 в формулу для ei83 и разделив на е2,
находим е2= е 2— Зу2. Так как е2= — dsljdx9 отсюда следует,
что 6j есть решение дифференциального уравнения dX/dx =
= — X2— Зу2, бесконечное при х = 0. Как хорошо известно,
отсюда следует, что б! (х) = я ctg пх.
§ 4. Интереснее, однако, сделать вид, что мы ничего не
знаем о тригонометрических функциях, и определить котан­
генс с помощью этого дифференциального уравнения. Точнее,
положим а = (Зу2)_1/2, а > 0. Из вышесказанного следует, что
и-> ае\ (аи) есть решение дифференциального уравнения
dv/du = —и2— 1 с периодом сгх. Очевидно, любые два его
решения могут отличаться лишь сдвигом по и, так что имеет­
ся единственное решение с полюсом при и = 0. Если опре­
делить котангенс как это решение и определить я как его
период, мы можем написать ei(x) = я ctg пх и у2 = я2/3.
18 Часть I. Эйзенштейн

После этого элементарную теорию тригонометрических


функций можно развивать несколькими способами. Следует
либо пользоваться уже выведенными формулами, либо полу­
чать дальнейшие тождества с тригонометрическими функ­
циями из тождеств с рациональными функциями, пользуясь
методом, описанным в § 2. Рассмотрим, например, формулу
сложения для котангенса:
2е, (х + у) [б! (х) + в; {у)] = [е, (х) + е{ (у)]2 — е2(*) — е2(у). (7)
Эйзенштейн доказывает ее так. Заметим прежде всего, что
для любого целого числа v
e , W + e 1(y) = ^ ( T j n r + y + ^ _ | i ) . (8 )

где ряд абсолютно сходится. Положим


z = x + y, р = х + ц, q = y — \1, р' = х + р,— v, q' = y-\-v — ц
и применим (1) к р, q' и р\ q. Получим

РЯ ' ^ P'q Р + Я' \ Р ' Я р ' + q \ р' ' q )'


Эту формулу можно рассматривать как разложение на про­
стые дроби левой части как функции от х при постоянных г,
р, v. Обозначим правую часть буквой А. Аналогично, приме­
нив (1) к р, —р' и затем к q, —q\ получим при v ф О
А - _| L = - ( - ___ — + - ----- - )
рр 1 яя' VV р' Р я Я У
Обозначим правую часть через Bv и положим В0 = р~2 + q~2*
Тогда
(т + т ) ( у + т ) =А+в^
Просуммируем это тождество но р при постоянном v, затем
просуммируем результат по v по Эйзенштейну. В первом сум­
мировании ряды абсолютно сходятся. Сверх того, в левой
части даже двойной ряд по (р, v) абсолютно сходится. По­
этому слева можно суммировать по р и р — v независимо,
что в силу (8) приведет к результату
[ei(x) + 8i (у)]2.
Суммирование выражений А даст левую часть (7), суммиро­
вание В0 даст последние два члена (7), а суммирование Bv
при v ф 0 даст нуль. Это доказывает (7).
Другой вариант состоит в рассмотрении формулы
б! (г — х) [е2(х) — 82 (2 )] — е{ (х) е2{г) — е: (,г) е2(х) = 0, (9)
II. Тригонометрические функции, § 5 19

которая тривиально эквивалентна (7) в силу тождества


г2= г 2{-\-п2 из § 3. Положим y = z — x и обозначим через
f (x,y) левую часть (9). Тогда (4) показывает, что df/dy = О,
так что вместо f(x,y) хможно писать просто f ( x ). Но левая
часть (9) симметрична по х, z, так что f(x) = f(z) при всех
х, г; значит, f есть константа. При замене х} г на —х, —г ле­
вая часть (9) меняет знак, так что f нечетна. Поэтому / = О,
что снова доказывает (7).
§ 5. Отметим еще, что § 3 статьи Эйзенштейна содержит
краткие указания на гораздо более общие тригонометриче­
ские тождества, которые можно вывести его методом из со­
ответствующих тождеств для рациональных функций и ко­
торые в свою очередь можно использовать для отыскания со­
отношений между эллиптическими функциями. Попутно от­
мечена формула
1 , и
■= o C t g y - l2 ct g M+2 JI
которую можно переписать в виде

о»*
Этот ряд можно положить в основу определения синуса. Из
(7) вытекает формула
2ei (2х) 6i (л;) = 2ei (х)2— е2 (я) = ех(х)2— я2.
Подставив в нее последовательно у и * х , находим, что
8i( y ) и в1( 1 \ Х ) являются корнями уравнения
У2- 2 е 1(д :)У -я 2= 0 ,
и из (10) получаем
я/sin пх = е2{х)т, е2(л:) = (я/sin ял:)2.
Дифференцируя эти формулы и пользуясь тождествами § 3,
находим
8i (*) = ~£х 1°S sin я*. (И)
Если бы Эйзенштейн жил дольше и продолжил свои ис­
следования, формула (10) и подобные ей могли бы привести
его к рассмотрению более общих рядов вида £ %(v) (х + v)““n,
где х — некоторый характер аддитивной группы целых чисел
20 Часть I. Эйзенштейн

(не обязательно конечного порядка), и соответствующих ря­


дов в теории эллиптических функций. Как мы увидим даль­
ше, этим, по существу, занялся Кронекер (см. гл. VII и V III).
§ 6. Введем теперь бесконечные произведения. Начнем с
предварительных замечаний. В произведении P = YLpll не­
которые сомножители могут обращаться в нуль. С другой сто­
роны, мы будем переносить на произведения все определения
и факты о рядах, логарифмируя почленно; поэтому во всех
необходимых случаях следует отбрасывать конечное число
нулевых множителей (конечность обусловлена тем, что про­
изведение может сходиться, только если рп стремится к I при
ja- > ± оо). Под log/?^ всегда подразумевается главная ветвь
логарифма в некоторой окрестности единицы. Вне нее можно
брать любую ветвь (например, для определенности, вида
log l/vl + я# с —1 ^ t < 1) и считать log0 = оо. Таким об­
разом,
l o g P = E l o g p ti)
если произведение сходится; значение логарифма слева может
лежать на любой ветви. Произведение называется абсолютно
сходящимся, если ряд X log р^ абсолютно сходится (после
исключения конечного числа членов с р1Х= 0). Символ
отвечает е: согласно нашим определениям,
+A f +М +оо

Н е Ра = Нт
М ->
П
+ о о ц = —М
Ра = П
м=-м
П ( рмр _
ц=М-и 4 ^ о-
Последнее выражение может иметь смысл, только если
1 при ц-> + оо (в то же время не обязаны стре­
миться к 1).
Таким образом, мы можем придать смысл произведению

где штрих, как обычно, означает пропуск члена с р, = 0. По


определению,
io g p (* )= £ > g (i+ f).
и
В силу замечаний в конце гл. I, этот ряд можно дифферен­
цировать почленно. Здесь, однако, Эйзенштейн ощущает не­
обходимость в обосновании и действует, как мы могли бы
действовать сегодня, дифференцируя почленно и затем инте-
II. Тригонометрические функции, § 7 21

грируя полученную формулу. Он не замечает, что этого недо­


статочно, не владея понятием равномерной сходимости. Как
бы то ни было, он приходит к тождеству
^ l o g P(x) = Y 1'e T }n r = ^ ( x ) - ^ .
Из (11) следует, что xP(x)/sin тех есть константа; формула
(10) показывает, что она равна 1/я при х = 0. Это дает клас­
сическое произведение Эйлера для синуса в виде
sin ях = ях ^1 + -^-). (12)

Из него без труда вытекает следующая формула, пригодная


для нецелых значений xju:
х—t
sin я ■
(13)
sin я

Она понадобится нам позже.


§ 7. До сих пор нам было безразлично, работать ли с ве­
щественными или с комплексными числами. Все рассуждения
проходили в обоих случаях, кроме доказательства формулы
(12): оно показывает лишь, что отношение левой и правой
частей как функция вещественной переменной х равно еди­
нице на [—1, 1] и постоянно в каждом интервале [ц, ц + 1].
Поэтому для завершения доказательства остается лишь заме­
тить, что правая часть периодична с периодом 2 (это оче­
видно) .
В комплексном случае желательно вывести из предыду­
щих рассмотрений связь между тригонометрическими функ­
циями и экспонентой. Эйзенштейн достигает этого, переписав
формулу сложения (7) в равносильном виде
—я2
М * + У) M *) + ei (у)
Введя функцию
8 i (a:) + ni
е(*) ei(*) — ni ’
немедленно получаем для нее формулу сложения в виде
е(х + у) = е (х) е (у)
и начало разложения в нуле в виде 1 + 2 я ix. Поэтому e(x) =
= e2ltix, откуда следуют обычные формулы, сначала для
22 Часть I. Эйзенштейн

котангенса, а затем для синуса и косинуса. Для будущих


нужд отметим формулу
е, (х) = ш е(*) + 1 (14)
е ( х) — 1

Введя, как обычно, числа Бернулли Вт с помощью ряда


оо
v 2m -\
1^ + 1
2 ev - \ (2т)! ’
m= 1

получаем ряд для E i ( jc) в виде


1 v°°
*** n Jim 1
• ■ м = т - О ®
m=1
Пользуясь формулами из § 1, находим отсюда
глава III

Основные
эллиптические
функции

§ 1. Начиная с этого места, мы работаем с комплекс­


ными переменными. Обозначим через W некоторую решетку
в комплексной плоскости. Пусть и, v — ее образующие, так
что W состоит из точек вида w = \m-\-vvi где р, v — целые
числа. Отношение vju не вещественно, и его можно пред­
ставить в виде vju = bx, где б = ± 1, а т лежит в верхней
полуплоскости. Иногда удобно писать 6(ut v) вместо б. По­
ложим q = e { т), где функция е определена в гл. II, § 7.
Символом V? = всегда обозначается та ветвь, для кото­
рой ql/2= е (т/2); очевидно, | q | < 1. Поскольку uv — Uv =
= бий (т — т), мы можем записать это число в виде
uv — т = — 2ш6Л, А > 0.
§ 2. Рассмотрим теперь ряд
Е„(х)= X (x + w)~n.
W(=w
При 3 он абсолютно с одится, и никаких дополнитель­
ных объяснений не требуется. Кроме того, в силу замечаний
в конце гл. I, имеем dEn/dx = —пЕп+\.
При п = 1 и п = 2 Эйзенштейн определяет эти ряды с
помощью процесса, который мы снова назовем суммирова­
нием по Эйзенштейну. Он зависит от выбора образующих иу v
решетки W и определяется формулой

Z e = E e ( Z e) = Hm х ( lim х J,
v ц, N -> оо v = —N \ М ->оо (д,= - М /
24 Часть I. Эйзенштейн

где мы положили w = рц -f- vt>. Очевидно, сумму по р можно


вычислить с помощью формул гл. II: для всех п ^ 1 имеем

И
u>
и, следовательно,
2 ] <( * + ® г ” = и - " « .( ' т ) +

1
В § 6 мы приведем более явную формулу, из которой бу­
дет ясно, что ряд (2) абсолютно сходится и (в силу замеча­
ний в конце гл. I) его можно дифференцировать почленно.
Пока приняв это на веру, определим Еп для всех п ^ 1 фор­
мулой
Е п (х ) = T i e (X + = Е с (X + \Ш + V V )~ n. (3 )

Эйзенштейн обозначает эту функцию (как и еп(я) в теории


тригонометрических функций) символом (п, х). Поскольку
она зависит не только от л; и решетки IF, но и выбора обра­
зующих ц, v этой решетки, мы при необходимости будем обо­
значать ее также En (x\u,v). Если п ^ 3, можно писать
Еп (х; IF). Из определений ясно, что функция Еп (х) четна
или нечетна по ^ в зависимости от четности или нечетности
п. В частности, Еi(—х) = —Ег(х).
Поскольку (3) можно дифференцировать почленно, имеем
dEn/dx = —пЕ п+1 для всех п ^ 1.
§ 3. В определении суммирования Y e можно было поме­
нять местами р и v; это все равно, что поменять местами
образующие и, v решетки IF. Вообще, любая замена обра­
зующих IF приведет к другому способу суммирования. Мож­
но также сделать сдвиг на элемент решетки, заменив, ска­
жем, (р, v) на (р' + ро, v' + v0) и затем применив Y e к мЛ v'
вместо р, v. Вместо этого можно заменить х на x-\-w$ в
Еп(х), где ^ 0 = po^ + v0t>. Наконец, можно выбрать подре­
шетку W ' a IF с образующими и\ v' и множество R предста­
вителей для IF/IF' в IF и применить к любой функции f(w)
на решетке IF, например к f(w) = (х + хю)~п, метод суммиро­
вания
Y (Ye fir+
r^R V r /
— Y (YeYef{r~\~\ш'-{-w')}.
re i^ V v M- )
III. Основные эллиптические функции, § 4 25

Все эти способы дадут один и тот же ответ для абсолютно


сходящихся рядов. Существенный этап теории Эйзенштейна
состоит в выяснении того, чем они отличаются в применении
к Е\, Е2.
Будем временно обозначать через Ye' любой из этих
способов суммирования, а через Е'п функцию, полученную
его применением к ряду Y (я + w)~n. Имеем Е'п = Еп для
и ^ З , потому что тогда ряд абсолютно сходится. Далее,
любой такой способ суммирования совместим с почленным
дифференцированием. Поэтому dE\jdx = — Е'2, dE^/dx =
= — 2Е3. Значит, существуют такие константы А, В (не за­
висящие от х, но зависящие от и, v), что
Щ -Е ^ А х+ В , Е'3- Е а= - А . (4)
Эйзенштейн, однако, предпочел доказать этот результат
иначе (трудно сказать, произошло ли это из-за недоверия
к почленному дифференцированию). Достаточно объяснить,
как он вычисляет разность Е[ — случай Е'2 — Е2 совер­
шенно аналогичен. Заметим, что, вычисляя Е[ — Е1г можно
заменить конечное число членов ряда £ ( я + ш)_1 нулями.
Сделаем это для всех членов с |щ |^ Л 1 и обозначим резуль­
тат символом Y ' вместо Y - Будем считать, что | я | < Л Г .
Символ 2 . как обычно, обозначает пропуск члена с ц =
= v = 0. Имеем, таким образом,

Нетрудно убедиться, что ряд Y \xnw~n~i\, распространен­


ный на все п ^ 2 и на все w с \ w \ > М, абсолютно схо­
дится (ибо Л / > | я | ) . Поэтому на все такие члены в фор­
муле можно не обращать внимания. Восстановив теперь
в сумме конечное число членов с 0 < | w | М, получим

Разумеется, по определению £«> имеем Y'ew 1= 0, но это


может нарушаться для Y»'-

§ 4. Рассмотрим теперь случай, когда Ye' есть процесс


суммирования, полученный применением Ye со сдвигом в W.
Как мы уж е отмечали, он сводится к вычислению Еп (я + wQ)
26 Часть I. Эйзенштейн

для w0^ W . Поскольку все функции е„ периодичны с перио­


дом 1, формула (2) показывает, что все функции Еп перио­
дичны с периодом и. С другой стороны, из формулы (1)
видно, что для любого целого числа т > О
Ei (х + mv) — Е 1 (х) =
/ N+m -N-1+т .

\N +1 -N /
Правую часть этой формулы мы вычислим с помощью тож­
дества (14) гл. II, § 7, заметив, что в обозначениях § 1
е ) = е (■ £ + v 6т) = е ( £ ) <7*

Так как | д | < 1 , это выражение стремится к нулю при


v6-> + оо и к оо при v 6 -> — со. Поэтому из формулы (14)
гл. II следует, что 8i ( * ) стремится к ± ш при v6->
—> —со или + оо соответственно. Следовательно,
2nidm
Ei(x-\-mv) — Ех{х) и
Разумеется, отсюда вытекает, что та же формула верна при
m <<: 0. Окончательно находим
E 10c+ Vm + vv) = E 1(x) — ^ . (5)
Дифференцируя это тождество, получаем, что функция Е2
(и Еп для всех п ^ 3) периодична с решеткой периодов W.
§ 5. Рассмотрим теперь другие процессы суммирования,
описанные в § 3. Достаточно будет разобраться с последним
из них — остальные являются его частными случаями. Пусть
и\ v' — образующие подрешетки W' решетки W. В матрич­
ных обозначениях положим
( а Ъ\
(«' v ') = ( u о)*^с d J , (6)

где а, Ь, с, d — целые числа и N = ad — be ф 0. В обозна­


чениях § 1 положим 6 ' = 6 («', v'y, тогда d ' = b s g n N . Индекс
решетки W' в W равен | N |, так что любая система пред­
ставителей R фактора W/W' в W состоит из \N\ элементов.
Удобно раз навсегда условиться, что 0 входит в R. В част­
ности, если W ' = W , то R = {0}.
III. Основные эллиптические функции, § 5 27

Применив к Е\ метод суммирования, описанный в § 3,


мы получим функцию £[, которая задается формулой
Е [ = £ £,(x + r; a 't o').
геЯ
Согласно (4), разность Е\ — £ , имеет вид Ах-\-В, и мы
должны вычислить А и В. С этой целью подставим вместо х
сначала л: + ы, а затем — х. Так как Е i имеет период и и
нечетна, получаем
Аи = X £,1( л + н + г; м', о') — Y, Ех(х + г; м', v'),
Г Г
2в = — Е £i(* — г; о') + 2 ЕДх + г; и', v').
Г г
Для любого элемента г <=W можно написать — /* = /*'+
-\-w'ri r-\-u = r" где г', r " ^ R и о;', Эле­
менты г' пробегают все R в некотором порядке; то же верно
для г". Положим теперь
w'r = \Xrtl' + vrv \ w" = \x'rii' +
Пользуясь предыдущими формулами и формулой (5), полу­
чаем
2nib' У 2в = 2е & у
Аи = и' Z j и Z_i г
С другой стороны,
о = Е (г + Г' + даг) = 2 £ г + ( 2 Рг) и' + ( £ vr) v \
О= £ ( г " + w" — г — и) = £ ( < ' — ы) =
= ( Е р ; К + ( Х > ; ) 0' - № -
В последнюю формулу подставим значение и, взятое из (6).
Так как 6 ' = 6 s g n i V , получим
£б_
Z 6' *
Окончательно находим
2nibcx ш'6'v
Y j e i (x + П и', v') = £ , (х; и, о) -+ ии' ~ а г* (7)

где число v определяется формулой


2 2 г = р,«' + v t/.
Естественно, этот результат применим также к случаю
\N\ = 1 , W' = W, R = {0}.
28 Часть I. Эйзенштейн

§ 6. В § 2 мы отложили доказательство сходимости


ряда (2); теперь мы проведем его. Положим t, = xju, z = e ( £ ) >
Рассмотрим сначала случай п = 1 и воспользуемся для
формулой (14) гл. II, § 7. Поскольку е / и = ± т и q = &(т),
общий член ряда (2) можно записать в виде

L + * Z * ± n =
1 <7“VZ - 1 J

= - 2 ” (b = W - 1 - / « - ') •
Для больших v это выражение по абсолютной величине не
превосходит C|<?|v, где С зависит от z, но не от v. Поэтому
ряд (2) абсолютно сходится. При п ^ 2 мы можем перепи­
сать (2) в виде
Еп(х) = и~п sn( * ^ ) = и~пY j e + VT)-
V V

Покажем, что здесь суммировать по Эйзенштейну уже не


обязательно, потому что ряд абсолютно сходится. В самом
деле,
4П — \
(-1 Г ___ - (-2 я /)л Л d V " 1 ( 1 \
ч(1) (п — 1)! dt,n~ 8l(?) (я -1 )! dz) (j-zJ*

Подстановка £ + vt вместо £ в этот ряд равносильна под­


становке qvz вместо z при v > 0 и (<7lvlz _I)_1 вместо z при
v < 0. Пусть сначала v > 0. Если v достаточно велико, то
|<7vz | < l , и мы можем рассмотреть разложение по степе­
ням qvz. Получим
( - 2яг)”
+ vt)
( я -1 ) ! Н Г ( T-W)
( - 2яг)”
(я - 1)! j y - y v .
d=1
Снова для больших v эта величина не превосходит C\q^ по
модулю, где С зависит от z, но не от v. Аналогичная фор­
мула имеет место для v < 0. Действительно, заменив v на
— v, получим при настолько больших v, что |<7vz-1| < l ;

d=1
Это завершает доказательство сходимости.
III. Основные эллиптические функции, § 7 29

§ 7. Объединяя полученные выше формулы, получаем


для всех и > 1 следующие выражения для Еп (х):
N
Еп(х) = и П Е 8„ (£ + VT) +
v=-N
+оо
I (2п/Ш)п у
“•" (« - 1)! Z j + { - \ ) п z~d\ (8)
v=JV+l d=l
Легко убедиться, что двойной ряд здесь абсолютно сходится,
если N настолько велико, что \qN+lz\ < 1 и \qN+lz~l\ < 1.
В частности, при |<?| < | z \ < |<7|-1 можно взять N = 0.
Отсюда вытекают важные формулы для коэффициентов
разложения Е t в степенной ряд в окрестности х = 0 . По­
скольку Е 1 — нечетная функция, имеем

£,(*>= ± = f + ± е ;( - ^ -
Предположим, что | х | < | д о | для всех w ^ W , кроме w = 0.
Тогда

Ei(x) = ±

Здесь частичная сумма


оо
Е г Х2т 1
2-г и,2т
w т=2
Е (Z'w~2mJ)-
т=2 \ w
-2т -\

абсолютно сходится. Вычитая ее из Ех(х), находим, что ряд


имеет смысл и
оо

Е\ W = 7 — Е етхт~1- (9)
т=1
Здесь коэффициенты равны нулю для нечетных т, а для
четных т задаются формулами

e2 = Z e ° y_2; ^2т = Т ! w~2m (m > 2).


Дифференцируя, получаем для Еп степенной ряд

ад= 4 г+(-1)"Е ( 2Г_/) e2- x2m' re• (Ю)


30 Часть I. Эйзенштейн

Коэффициент е2т для всех т ^ 1 совпадает со значением


Е2т(*) — х~2т при х = 0. Положим в (8) п = 2т. Если х мал,
то z близок к 1, поэтому в (8) можно взять N = 0. При
£ = 0 значение е2т(£)— £_2т равно у2т (см. формулу (16)
гл. II, § 7). Следовательно, подставляя х = 0, £ = 0, z = 1
в (8), получим

^= \
+ (V=l /
(11)
где o2m-\{N) есть обычное обозначение для суммы (2 т — 1)-х
степеней делителей N :

*2»-1 { М ) = ^ й 2т~ \
d\N

Эйзенштейн пишет (2т,*) и вместо наших е2т и соот­


ветственно. Мы будем при необходимости обозначать е2т
через е2т(и, v). Если т ^ 2 , то функция е2т(и, v) зависит
лишь от решетки W и потому может быть обозначена
e2m(W).
§ 8. Продифференцируем формулу (7) из § 5 п — 1 раз
по х. При п = 2 получим

Y , Ez(x + r; и', v ') = E 2 (x -, и, v) — (12)


r<=R
а при п ^ З
£ Еп(х + г, и', v') = En(x\ и, v) (13)
re=R
(тривиальное тождество, ибо в этом случае ряд абсолютно
сходится). При п = 2т вычтем из обеих частей х~п и поло­
жим * = 0. Получим

е2 («', »0 + Y j Е*(п v = е2 (« .о) — ^ £> (14)


г<
eeR'

e2m(u',v')+ X Eiт(п и', v') = e2m(u,v) (m >2). (15)


re=R'
Здесь мы положили R' = R — {0} (напомним, что 0 принад­
лежит множеству представителей R фактора W/W' в силу на­
III. Основные эллиптические функции, § 8 31

ших соглашений). Для W ' = W формула (14) приобретает


вид
е2(«', v') = e2(u,v) — Щ£г~- (16)

Заметим в заключение, что


Е2{х ) — е2 = х ~ 2 - \ - ^ е [(х + w)~2 — tuT2]
и что ряд справа абсолютно сходится, так что можно
заменить на^Г'. Это ^-функция Вейерштрасса, впервые вве­
денная им в лекциях 1862 года. Функция £ Вейерштрасса —
не что иное, как Е\{х) — е2х.
глава IV

Основные
соотношения
и бесконечные
произведения
§ 1. Основные соотношения между функциями Еп(х) Эй­
зенштейн получает тем же методом, который он применил
к тригонометрическим функциям (ср. гл. II). Однако тожде­
ство (3) гл. II, § 2 нельзя непосредственно применить к функ­
циям Ет, введенным формулой (3) в гл. III, §2; возникнут
трудности со сходимостью. Ничто не мешает исходить из тож­
дества (2) гл. II, § 2 с т = п = 3; с этого и начал Эйзен­
штейн. Как сам он указывал позже, можно также действо­
вать последовательно: сначала вывести подходящее тожде­
ство для тригонометрических функций, как в гл. И, а затем
уже применить его к эллиптическим функциям. Этот способ
несколько проще, и мы воспользуемся им.
Как в гл. III, § 6, перепишем определение Еп в виде
ЕЛх)=Ч~ПЦе 8n (?+VT), (1)
полагая Z,= x/u, %= bv/u, как раньше. Для удобства ссылок
перепишем также формулу (4) гл. II, § 2, заменив в ней х
у, z на £, = t+
ч (0 ч Ю - ч (0 ч (Г) - ч (СОч Ю = 2ч (Г) [в, (0 + в, Г)].
(2)
Теперь подставим в эту формулу £ + vt вместо £, £' + (р —
— v ) t вместо £' и, следовательно, £" + рт вместо После
этого просуммируем обе части по v по Эйзенштейну, фиксиро­
вав р, и, наконец, просуммируем по р. В гл. III, § 6 мы убе­
дились, что ряд (1) абсолютно сходится при и ^ 2. Поэтому
IV. Основные соотношения и бесконечные произведения, § 2 33

во всех членах левой части (2 ) суммировать по v и по р мож­


но независимо; можно также суммировать по р и р — v или
по v и р — v. Следовательно, переобозначив Х^и, 1>"и через
х, х', х", мы можем записать результат двойного суммирова­
ния левой части (2 ) в виде
« 4 [Е а (х) Е2(х ') - Е2 (х ) Е 2 (х") - Е 2 ( х ') Е 2 (х ' %
С другой стороны, применяя Yje к правой части, получаем
V

2 не3 (Г + рх) [£, (х) + £, (х' + бри)].


С помощью формулы (5) гл. III, § 5 это выражение можно
записать в виде
2 не3 (Г + рт) [£, (х) + £, (х') - .
Суммируя по р первые два члена, находим
2и«£з (*")[£, (ж )+ £ ,(* 0 ].
Чтобы просуммировать третий член, перепишем его в виде
- 2 ре3(Г + рт) = ^ е 2Г + рт).
В силу формул и оценок гл. III, § 6, ряд по р абсолютно
сходится и равен
— 2 £ ре3(£" + рт) = е2 (£" + Рт)-
р р

Теперь будем считать х, х', и, v независимыми переменными


и соответственно будем понимать частные производные. Окон­
чательно, полагая х" = х + х', находим
Е 2(х ) Е 2 (х ') - Е 2 (х ) Е 2 ( х ") - Е 2 (х ') Е 2 (х ") =

= 2Е3(х") [£, (х) + £ , (х')] + ± . (3)


Этот результат аналогичен соответствующим формулам для
тригонометрических функций и рациональных функций, от­
личаясь от них лишь последним членом.
§ 2 . Будем теперь действовать, как в гл. II, § 3. Фикси­
руем х, не лежащий в решетке W. Обе части (3) как функции
от х' имеют двойной полюс в точке х' = 0. Разлагая их в ряд
Лорана, убеждаемся, что члены с х'~2 и х '~ 1 обеих частей
совпадают. Сравнивая постоянные члены, находим
2я/6 дЕ2 2
34 Часть I. Эйзенштейн

Аналогично, фиксировав х, рассмотрим обе части (3) как


функции от х" и разложим их в ряд Лорана вблизи х" = 0.
Сравнение постоянных членов приводит к тождеству
Е = Е \ - < 1 е 2Е2 2я/6
и
дв 2
dv (5)
Положим е' = de2/dv и разложим обе части (5) вблизи
х = 0. Получим
2я/6
е2 = 5е4— 4 (6)
Поэтому формулу (5) можно переписать в виде
Е4= ( Е 2- е 2)2- 5 е 4. (7)
Поскольку d2E2/d.x2 = 6Е4, мы получили известное уравнение
р" = 6 р 2 — l/2g2 Для «функции Вейерштрасса» р = £ 2 — е2,
в котором g2 = 60е4. Интегрируя его (или, как предпочитает
Эйзенштейн, дифференцируя и исключая высшие производ­
ные), получаем отсюда уравнение Вейерштрасса первого по­
рядка для р в его каноническом виде. Эйзенштейн записы­
вает его (за пятнадцать лет до первых лекций Вейерштрасса
на эту тему) в форме
Щ = (Е2 - e2f - 15еА(Е2 - е 2) + Ю ( с - е2е4). (8)
Здесь через с обозначена, по его словам, «странная кон­
станта»
__ ш‘6 де4
С 2и dv '
Постоянный член в правой части (8) можно вычислить так­
же, разложив обе части вблизи х = 0. Тогда для него полу­
чится значение —35^6- Если, в обозначениях Вейерштрасса,
написать р ' 2 = 4 р 3 — g2f — g 3, это будет означать, что
ёъ — 140вб.
Другое важное тождество проще всего получить, проин­
тегрировав обе части (4) как функции от х. С точностью до
постоянного слагаемого, приходим к соотношению
2я/6 дЕ 1
и dv Е3 Е\Е2. (9)
Так как обе части (9) являются нечетными функциями от х,
эта константа должна быть нулевой, так что формула (9)
верна в том виде, в каком написана.
Как в гл. II, § 4, мы выводим из (3) формулу сложения
для Е\\
( Е 2(х ) - Е 2(х ')) • (Е,(х + х') - Е х{х) - £ , ( * ' ) ) +
+ Е3(х) — Е3{х') = 0, (10)
IV. Основные соотношения и бесконечные произведения, § 3 35

Для доказательства обозначим левую часть через F{х,х').


Подставим в (3) вместо х, х', х" соответственно —х', х", х
и затем воспользуемся формулой (4) для исключения дЕ2/ди.
Получим
Е2{/) Е2 ( х " ) - Е2( х ') Е2(х") - Е2( х " ) Е2(х ) +
+ 2Е3 (х) (Ех (*') - Ех (х")) ~ 3 Еа (х ) + 2 Ех(х) Е3(х) + Е2(х)2 = 0.

Нетрудно убедиться, что левая часть совпадает с dF/dx, так


что F(x, х') не зависит от х. Так как F меняет знак при пе­
ремене местами х и х \ она должна быть тождественно ну-
левой.
§ 3. В полной аналогии со своей теорией тригонометриче­
ских функций, Эйзенштейн вводит затем бесконечные произ­
ведения

Чтобы обосновать сходимость, скажем, <р, он замечает, что


после отбрасывания х и конечного числа сомножителей с
| оу| ^ |* | логарифм ф можно записать в виде

Этот двойной ряд, состоящий только из членов с |до| > |* |,


при п ^ З абсолютно сходится. В случаях п = 1 и п = 2, как
было показано ранее, сумма по Эйзенштейну Y e сходится.
Заметим попутно, что эти рассуждения показывают абсолют­
ную сходимость «канонического произведения Вейерштрасса»

которое в теории Вейерштрасса определяет a-функцию. Поль­


зуясь тем, что, согласно предыдущим результатам, 2 е ^ _1= 0
и YeW~2 = е2, получаем ф = а* ех р (—е2х2/2).
Будем писать f(t9х\ и, v) и ф(*; и, v) вместо f(t9х) и ф(*)
при необходимости.
Связь между этими функциями и Ех очевидна: она опре­
деляется формулами
Б Л х ) = - ^ 1оё ф ) , (П)
ф(0 = — [xf(t,x)]x=Q.
36 Часть I. Эйзенштейн

Согласно определению Ц е . мы можем написать


f(t, х) = П Д 1 — х+ +w ). ( 12 )
V ц

Из формулы (13) гл. II, § 6 следует, что внутреннее про­


изведение равно
х — t+vv
sin ТС
Pv = X + vv
sin тс

Положим, как прежде, т = 6 v/u, l = x/u, q = e( т), z = e(£).


Пусть, далее, £* = (* — t)Ju, z* = e(£*) и для всех v ^ l
Av= \ - q - z , Bv = l qvz~l, A*v = l - q ^ z \ b ; = 1 - ^ 2 *- i.
Тривиальное вычисление показывает, что
PQ= (z*'k-z*-'k)/(z'k-z-'k), PvP_v = A*vBl/AvBv ( v > l ) .
Это наводит на мысль ввести абсолютно сходящееся произве­
дение
оо

Xq{z) = (г* - z - Ц П
V=1
(1 - Гг) (1 - Гг-'), (13)

где, как условлено выше, мы положим z'k = е (£/2 ). Тогда


f(t,x) = Xq(z*)/Xq(z).
При х = 0, z = l бесконечное произведение (13) принимает
значение Р (q)2, где
оо

Р(Я) = П (1 (И )
v= 1

Первый множитель в (13) имеет разложение


е (xj2u) — е (— х/2и) = 2nixju + . . . .
Теперь из (11) немедленно следует формула
и Xq (z )
— 2ш Р (д )2 (15)
§ 4. Данное в § 3 доказательство сходимости бесконечных
произведений в определении f(t,x) показывает, что функция
log f(t,x) + t ^ ( x + w)-1 + -J- ^ ( x + w)-2
не меняется при замене £ е одним из методов суммирова­
ния, описанных в гл. III, § 3. Поэтому из формул гл. III,
§ 4—5 вытекают соответствующие формулы для f(t,x).
IV. Основные соотношения и бесконечные произведения, § 5 37

Рассмотрим, в частности, формулу (7) гл. III, § 5 и ре­


зультат ее дифференцирования. Он выглядит так:
U n t , x + r, и', V') = f(t, х\ и, о) е (/2 — 2xt) + .

(16)
Умножим это тождество на х и положим х = 0. В силу (11)
получаем

ф(*; »0 П М п v0 = ф (*;«, о) е ( Ш2^1и'У1и) ’ (17)


ге/?'
где, как прежде, мы положили R' = R — {0}.
Рассмотрим частный случай: ad — bc = 1, т. е. (а, 6, с, d)
принадлежит модулярной группе. Тогда W' = W и R ' = 0 .
Чтобы упростить обозначения, положим 6 = 1 , так что т =
= v/u. Пусть
dx + b
q '= e ( x '), £' =
с х + а*

Заменив в (17) t на х и подставив вместо <р формулу (15),


находим
Х А * ) = Х М • (ст + а)_1 - щ г е ( ^ ) . (18)

§ 5. Чтобы получить соответствующий результат для


f(t,x), можно также воспользоваться формулой (5) гл. III.
Однако с помощью бесконечного произведения для Xq можно
вывести более точное тождество. Действительно, замена х
на х + и всего лишь меняет знак гч* и, следовательно, Xq (г).
С другой стороны, замена х на х + v приводит к замене z
на q6z. Теперь нетрудно вычислить X q(qvz) для любого v, за­
метив, что абсолютно сходящиеся произведения для Xq(z) и
Xq(qvz) различаются только конечным числом множителей.
Легкое вычисление показывает, что
Xq (qvz) = q - ^ ( z) v Xq (г). (19)
Принимая во внимание тождество (15), получаем
Ф(х + т + vv) = (—I f +v ф (х) е ( — 6v — 6v2- ^ ) . (20)

Вместе с формулой (11) это дает нам другое доказатель­


ство формулы (5) гл. III или по крайней мере другой ва­
риант доказательства.
38 Часть I. Эйзенштейн

§ 6. По словам Эйзенштейна, он «по недостатку места» не


включил в свою работу изложение связей между «тэта-ря­
дами» и бесконечными произведениями. Как считал Дирихле,
открытие этих связей было, возможно, самым значительным
достижением Якоби. Мы восполним здесь это упущение.
Любое абсолютно сходящееся произведение П а + f l j
можно разложить в абсолютно сходящийся ряд, просто пе­
ремножив его члены. Это элементарное рассуждение восхо­
дит, кажется, к Эйлеру; применив его к Xq(z), получим раз­
ложение
+ оо +оо +оо

X q{z) = Ф X X Cn>vqvzn= х Fn(q)zn+li\


п= —ОО V= 0 П= —ОО
абсолютно сходящееся при |д | <С 1 , г ф 0, где Сп,\ — целые
рациональные числа, а Fn {q) — степенные ряды по q, абсо­
лютно сходящиеся при \q\ <С 1. Применив к этому ряду тож­
дество (19), получим
^+v(<7) = ( - l ) v^(<7) <7<*+v+§**v>/2.
Положим F0 = F. Тогда
+ оо

Xg(z) = F(q)T(q,z), T(q,z) = z% X ( - 1)п ^ г » . (21)


П= —оо
Остается вычислить F(q). Формула (13) показывает, что
F( 0 ) = 1 .
В своих Fundamenta Якоби доказал, что F(q) = P{q)~x.
Следуя Кронекеру, это можно установить, выведя формулу

Т Я2) = Т (q, iqh) е ( у —

и затем выразив в ее обеих частях Т через Xq с помощью (21).


Результат показывает, что функция F(q)P(q) не меняется при
замене q на <74. Так как она представляется степенным рядом
по q, начинающимся с 1 и сходящимся при \q \ < 1 , она тож­
дественно равна 1 .
§ 7. Возможно, поучительнее вывести тот же результат,
пользуясь уравнениями в частных производных параболиче­
ского типа для Е 1 и Т. Формула (9) § 2 имеет как раз такой
вид, потому что дЕ\/дх= —£ 2, дЕ2/дх = —2Ег. Соответ­
ствующие уравнения для тэта-рядов, вроде T(q,z)> хорошо
известны. Еще до Якоби тэта-ряды ввел в математическую
литературу Фурье в своих работах по уравнению теплопро­
водности.
IV. Основные соотношения и бесконечные произведения, § 7 39

Как выше, мы рассматриваем х, и, v в качестве независи­


мых переменных, точнее, для ближайших целей, мы считаем
и постоянным параметром, а х, v независимыми перемен­
ными. Частные производные понимаются соответственно. Из
формулы (И ) получаем
1 д2Ф р р р 1 д ( 1 а2ср^
Е2— Е\ = -------^~2 »
ср д х2Ез~ № = т M i r W '
Тождество (9) из § 2 можно переписать в виде
д ( 1 д2ф 4я/6 д ф \ q
дл; \ ф д х2 г/ф ду /
Поэтому выражение в скобках должно совпадать со своим
значением при х = 0. Так как первое слагаемое равно
Е\ — Е2, а разложения Е\ и Е2 начинаются с х~1— е2х-\- . . . ,
х~2 + е2 + . . . соответственно, его значение в нуле равно
— Зе2. Второй член в нуле обращается в нуль, ибо д:_1 ф(л:)
в нуле равен 1. Поэтому
1 ( д2ф 4я/6 дф ^ ____ л
Ф ч д х2 и dv ) ^2*
Выразим теперь ф через Т (<7, z) с помощью формул (15)
и (2 1 ) и заметим, что T(q,z) удовлетворяет уравнению
д2Т 4я/6 дТ ■ я2 j , ~
дх2 и ди ' и2
Тогда получим
■ПГ"^- log (FP- 2) = Зе2 - (22)
Из определения Р(^) сразу же получаем
+оо
д , п/ \ 2яг6 е? * n/ \ 2ягб V» vqv
— togP(<,)=— q — logP{<,)= ------ - 2 , 7 3 7 -
V= 1 V

Сравнивая правую часть этой формулы с тождеством (И)


гл. III, § 7 (при пг = 1), находим, что этот же ряд фигури­
рует в формуле для б?2» Поскольку мы уже установили, что
у2= л2/39 т. е. В\ = 7б, отсюда вытекает, что
я2 , 8я2 d л п/ \ я2 4ягб д л п/ \
e2 = l ^ + ^ < 7^ -lo g ^ (< 7) = l ^ ----- logP(?) =
= -^^og{q^P {q)). (23)
Подставив в (22) вместо е2 второе из этих значений, мы убе­
ждаемся, что FP~2 может лишь постоянным множителем от­
личаться от Р“3. Но так как F и Р обращаются в 1 при q = 0,
40 Часть I. Эйзенштейн

этот множитель равен 1. Мы снова доказали, таким образом,


что F = Р~1.
§ 8. По традиции функция ql^P( q)y фигурирующая в (23),
обозначается г|(т), где q = е(т), как всегда. Поэтому
4m* d
е2: и2 dx
log Т)(т), Г] (т) = Р (е (г)) . (24)
Формула преобразования (14) гл. III, § 8 позволяет теперь
получить формулу преобразования для ц. Как в § 4, выбе­
рем элемент модулярной группы (а, Ъ, с, d), примем б = 1 и
сохраним прежние обозначения. Имеем dx'/dx = (и/и')2. Учи­
тывая это, мы можем переписать формулу (14) гл. III в виде

4 г ^ —
г](т) = ~ 2 —сх + а
Ее правая часть является логарифмической производной от
{сх-\-а)ч\ Поэтому чОО/лСО может отличаться от (ст +
+ а)1/г только постоянным множителем. Обозначим этот мно­
житель через ел, где А = (а, 6, с, d). Таким образом,

Ч )=8лТ]{т)■(ст+а),/г- (25)
Для определенности (ст + а)1/г будет обозначать ту ветвь
квадратного корня, у которой вещественная часть положи­
тельна. Позже мы получим несколько более точный резуль­
тат. Множители ел полностью вычислил Дедекинд; вероятно,
поэтому т] часто называют «функцией Дедекинда». Для
А = (0, —1, 1, 0) множитель ел можно определить, подста­
вив в (25) i вместо т. Так как ц нигде не обращается в нуль,
это дает ел = так что
г]( — 1/т) = г)(т) (т/0 '/2.
Объединяя (25) и (18), мы приходим к формуле преоб­
разования для тэта-функции. Как заметил уже Якоби, удобно
ввести видоизмененную функцию i~'q'laT{q,z), считая ее ар­
гументами £ и т. Следуя Кронекеру1), положим
4Z,x) = r 1q'l'T(q,z) =
+оо
= Yj е((п+ т) Т+("+т) (&—т))‘ <26)
*) По типографским причинам мы пользуемся знаком 0 вместо кроне-
керовского 'б1. Обозначения Якоби незначительно отличаются. Буквой 0
пользуется Ж ордан в гл. VII второго тома своего «Курса анализа». По-
видимому, немногие знают, что эта глава доставляет, пожалуй, лучшее
из существующих классических изложений теории эллиптических и моду­
лярных функций.
IV. Основные соотношения и бесконечные произведения, § 9 41

Эта функция удовлетворяет более простому уравнению, чем Т:


д гв . . дв
-г-^
дЕ,2
= Ant-z-,
дх

Формула преобразования для нее также выглядит проще; она


немедленно следует из (18), (21) и (25):

9 (£', %') = т) е ( ^ ) • (ст + a)h. (27)

Здесь, как и выше, А = (а, 6, с, d) берется из модулярной


группы, и мы положили

т/
dx + Ь £
сх + а * сх + а *

В частном случае т' = — 1/т мы нашли, что еA = i ~ \ В тер­


минах 0-функции это приводит к формуле, которая обычно
устанавливается применением «формулы суммирования Пуас­
сона». Стоит отметить, что данное здесь доказательство, сле­
дующее Эйзенштейну, по-видимому, существенно отличается
от стандартного и доставляет более общий результат.
§ 9. Теперь уже нетрудно получить большую часть клас­
сических формул теории (а, возможно, и все такие формулы).
Не претендуя на полноту, рассмотрим некоторые примеры.
Самые простые тождества получатся, если исходить из
основного результата § 5—6: формулы
T ( q , z ) = P ( q ) X q(z).
Ее следует продифференцировать по г и подставить в резуль­
тат г = 1 или рассмотреть значения обеих частей при z =
= — 1 , ± q ~ >l2 или q'h. Как мы уже отмечали, dXq(z)/dz при­
нимает при х = 0, z = l значение P(q)2. Поэтому
+ оо

Y (-1 )" (2« + 1) = Р (q)3. (27)

Обозначим общее значение левой и правой части через Т0.


При z = —1 получаем
+ оо оо

= у Е ^ +п)12 = р ( ^ ) П ( 1 + <7V) 2 = W ) 2 P(q)~' ■ (2 8 )


п = —оо 1
42 Часть I. Эйзенштейн

Аналогично, для z = ± q ~ 'k и z = q'/a находим


+00 ОО
Т2= Z ( - 1 )" qnV2 = Р (q) П ( 1 - q ^ ) 2= P (q!'fP (q )~ l, (29)
П=—оо О
+ °° оо

Г3= Е Г 2/2 = Р (<7) П ( 1 + ?v+v,)*=p ( # P(q2)~2P (Ф'Г2, (30)


П=- оо О
+ оо
2] ( — 1)"+1 ^(n + I)(3n+2)/e = P{q'h). (31)
П=—оо
Последняя формула (с х3 вместо q) была открыта Эйлером
в 1740 г. и доказана им в 1750 г.
§ 10 . Тождества другого типа можно получить, подставив
х - \ - х ' вместо х' в формулу сложения (10) § 2 и выразив Ех
в этой формуле через ф с помощью (И ) § 3. Результат
можно записать в виде

-k = £ 1о« а д - а д + * o i.
Поэтому функции под знаком логарифмической производной
в обеих частях могут различаться только множителем вида
f(x'). Чтобы вычислить этот множитель, рассмотрим разло­
жения вблизи х = 0 и сравним члены с х-2. Они равны соот­
ветственно ср(л/)- 1л;-2 и х-2, так что f(x') = ф(х')-1. Поэтому
ф(2х + х') ф(х')
ф(х)2 ф(х + х')2
Е 2 (х ) — Е 2 (х + х '). (32)
Более симметричное тождество получилось бы, если бы
заменить здесь х' на х' — х. Можно также выразить q> через
Хд или 0. Оставив эти возможности в стороне, рассмотрим
лишь случай, когда 2х лежит в решетке периодов W. При
х е 11? обе части (32) имеют полюс в точке х. Поэтому сле­
дует положить х = w/2, где w = \ли + vv е W, w ф 2W. Поль­
зуясь формулой (20) § 5 и заменив х' на х — w)2, находим,
что E2(w /2) — Е2(х ) отличается от функции
ФМ ф( * ~ т ) е (-----— )
множителем, не зависящим от х. Сравнивая разложения
обеих частей вблизи х = 0, получаем, что этот множитель ра­
вен — ф(ку/2)2. Поэтому
' ( - т ) 6vx \
(Е2(х) - Е 2 (ш/2))
ф(*) ф ( х )
•( ~2й~)’ (33)
IV. Основные соотношения и бесконечные произведения, § 11 43

где ветвь корня слева определяется тем, что ее разложение


вблизи х = 0 начинается с х~К
Подставив в формулу (33) w'l2 вместо х, где wf е W,
w'q£2W, мы обнаруживаем, что величины
(Е2 ( w ' / Z ) - E 2( w j Z t
выражаются через величины ф(ш/2), или, что то же самое,
ввиду формулы (20) § 5, через величины <p ( y )> ф (у )>
ф ( “ ^ Р) ' ® свою очередь формула (15) § 3 позволяет вы­
разить последние через T{qyz) для z = — l, z = q4\ z = — ql/2
соответственно. Легкие вычисления приводят к следующему
результату. Положим

«. = * ,( т ) . * = Я2( т ) . а3= Е2( ^ р - ) ,


Ьх= а3— а2, Ь2= а1— а3, Ьг = ах— а2.
Применим формулы (28), (29), (30) из § 9 и заметим, что их
произведение приводит к тождеству
Т\ Т2Т3= P{qf = Т0.
Тогда из (33) следует, что
Ь\ = 16 Я 2 >/2Т 4 ■L _ ЗТ гтл4 1 _ Л
„2 Ч *1 , (34)

§11. Напомним теперь, что формулу (8) § 2 можно запи­


сать в виде
Е\ = (Е2- е2)* - 15е4(Е2- е2) - 35е6. (35)
Правая часть является многочленом от Е2. Его корни Эйзен­
штейн вычислил, заметив, что Е3— нечетная периодическая
функция, так что
я , ( 1 ) = я , ( - 1 ) = - я , ( 1 ) = о.

если i « e F , w ^ 2 W . Следовательно, а\, а2, а3 суть корни


правой части (35). Поскольку Ь{ Ф 0, отсюда следует, что
Е\ = (Е2- а,) (Е2- а2) (Е2 - а3).
Дискриминант кубического многочлена справа поэтому равен
(6,М з )2 = 4 (15е4)3- 27 (35а6)2.
44 Часть I. Эйзенштейн

Для удобства и по традиции эту величину умножают на 24 и


получают классический «дискриминант» Д. Из доказанных
формул следует, что
Д = g3
2 — 27g2
3= 243352 (20е\ — 49е§) =

- ( ¥ ) > « “-(* )% » . (36)


Здесь е4, е6 и тем самым А зависят только от решетки перио­
дов W. Следовательно, в формуле преобразования (25) функ­
ции г) множители ел являются корнями из единицы степени
24. Вместо А мы будем при необходимости писать А (И?) или
А(и, у).
глава V

Первая вариация

§ 1 . Основные темы Эйзенштейна, удачно обработанные,


допускают множество интересных вариаций. Как мы уже ука­
зывали (гл. I, ср. также гл. II, § 5), многие из лучших работ
Кронекера состоят из таких вариаций, хотя, разумеется, Кро-
некер не мог не добавить к разработке эйзенштейновских мо­
тивов и своих собственных тем. Последние будут обсуждены
в гл. VII и VIII. В этой и следующей главах мы по-прежнему
не будем слишком отходить от идей Эйзенштейна. Чтобы по­
казать их широту, мы включим доказательство одного важ­
ного результата Р. М. Дамерелла1), в свою очередь послу­
жившего отправным пунктом для недавней работы М. М. Ви-
шика и Ю. И. Манина2).
Одно из достоинств подхода Эйзенштейна состоит в том,
что он непосредственно (без обращения к теории функций
комплексных переменных) доставляет много тождеств с эл­
липтическими функциями в той явной форме, которая удоб­
нее всего для теоретико-числовых приложений. Начнем с не­
скольких дополнений к формулам, уже полученным в гл. III
и IV.
Подставив в формулу (7) гл. IV, § 2 разложения в сте­
пенные ряды функций Е2, Е4 из формул (10) гл. III, § 7,
мы получаем следующую рекуррентную формулу для

*) R. М. Damerell, Acta Arithmetica, 17 (1970), 287.


2) Матем. сб., 95 (1974), 357—383.
46 Часть I. Эйзенштейн

коэффициентов е2т:
у ( т — 3) (4т2 — 1) е2т=
т -2

= Y j ( 2 r ~ 1) (2/n — 2г — 1) е2ге2т- 2г (т > 4). (1)


г=2

Из нее видно, что все е2т при т ^ 2 лежат в кольце Q[e4, вб].
Аналогично, подставив степенные ряды для Еи Е2у Ег в
формулу (9) гл. IV, § 2 , получаем
т

^1Г = т (2т + 3)е2т+2 — т.'Е е2ге2т- 2г+2 (т> 1 ). (2 )


Г= 1

Индукция по Я показывает, что

(~ 1 Г ~ ) 3 d v ™ е 2 ^ 2> ^4» • • • > е 2т+2х]

для всех m ^ 1 и Я ^ 0.
§ 2. Из теории аналитических функций следует, что любая
мероморфная функция с решеткой периодов W, не имеющая
полюсов вне W, должна быть линейной комбинацией функ­
ций Еп, п ^ 2 , и единицы: это легко вытекает из теоремы
Лиувилля. Значит, любой многочлен от Е2у ... , £ п предста­
вим в таком виде. Последний результат можно непосред­
ственно получить методами Эйзенштейна. Рассмотрим сна­
чала функцию ЕтЕп, т ^ 3, п ^ 3. Это произведение можно
вычислить, подставив р = х + w, г = w\ q = —х — w + wf
в тождество (2) гл. II, § 2 и затем применив суммирования
2 * по w и 27 по w \ Так как т , п ^ 3, все ряды абсо­
лютно сходятся, если исключить члены справа, отвечающие
значениям h = т — 1 и h = т — 2 , а также k = п — 1 и
k = п — 2 ; чтобы просуммировать их, нужно применить фор­
мулу (5) гл. III, § 4. В результате получим
т-1
( - 1 Т( ЕтЕп- Е т+п) = £ [ n+hh l>) E m- llen+h +

т + п —2
+ ( т + ^ _ 1 | dv

где С — некоторая константа. Если г нечетно, то еТ = 0 ; сле­


довательно, во второй сумме ненулевыми могут быть лишь
члены с (— \)k = ( —l)m. Как и следовало ожидать, вклады
V. Первая вариация, § 2 47

от Е\ взаимно сокращаются. Разложим это тождество в окре­


стности х = 0, приравняем свободные члены и вычтем их из
исходной формулы. Результат примет более удобный вид:
{Ет &т) (Еп вп) {Ещ+п &т+п) ==

(3 )

Эта же формула оказывается верной при т = 2 , п ^ 2 . Для


проверки можно воспользоваться методом гл. IV, § 1, т. е.
сначала вывести аналогичную формулу для функций еп, а
затем уже перейти к Еп. Еще проще подставить х, —х — t и
—t вместо х, х', х" в формулу (3) гл. IV, § 1, разложить обе
части по t в окрестности 1 = 0 и сравнить эти разложения.
При т = п = 2 снова получится формула (7) гл. IV, § 2 . Ра­
зумеется, теория аналитических функций приводит к тем же
результатам.
Заметим, что е2 входит в (3) только в комбинации Е2 —е2.
Положив в (3) т = 2, мы можем рассматривать (3) как ин­
дуктивную формулу, выражающую Еп+2 через Е2 —е2 и
функции Ет с 3 ^ т ^ п, при помощи которой в конечном
счете Еп+2 выражается через Е2 —е2 и £ 3, с коэффициентами
из Z[e4, е6, es, ...]. С другой стороны, эта формула показы­
вает, что функции 1, Е2 — еъ £ 3, £ 4, ... составляют базис в
кольце, порожденном Е2 — е2 и Е3 над Z [е4, е6, е8, ...].
Заметим еще, что функции Е2— е2 и Еп для /1 ^ 3 и вели­
чины е2ш при т ^ 2 зависят только от выбора решетки W,
но не от ее образующих и, v. Удобно положить

Тогда тождество (1) показывает, что поле частных кольца


Z[e(W)] совпадает с Q(e4,e 6), а тождество (3) показывает,
что E(W) составляет базис кольца Z[e(W), E(W)] над
Z[e(W)]. Иногда по типографским соображениям мы будем
писать ew , Ew вместо е (W), E ( W ), а также просто е и Еуесли
рассматривается фиксированная решетка W. Обратим вни­
мание читателя на то, что в этих обозначениях е2 не лежит
в Q(e) , з Е2 нс лежит в Q (&>Е).
48 Часть I. Эйзенштейн

§ 3. Формулы гл. Ill, § 8 в качестве частных случаев со­


держат формулы для умножения и деления аргумента эллип­
тических функций. Возьмем в качестве (a, b, с, d) матрицу
(N, О, О, N ) , где N > I — любое целое число. Тогда W' = NW,
и в качестве R можно взягь множество, состоящее из элемен­
тов вида г = цы + vv с 0 ^ ц, v < N. Из формул (12) и
(13) гл. III, § 8 находим, что при всех п ^ 2

2 Еп (х + r\ Nu, Nv) = Еп (х; и, v).


reR

Поскольку функция Еп однородна степени — п по х, и, v,


это дает
£ En( ^ ) = N nEn{x). (4)

(Мы опустили и, v для краткости.) Это— формула деления


для функций Еп. Формула умножения получится, если под­
ставить сюда Nx вместо х.
Важно заметить, что при п = 2 число слагаемых в левой
части (4) равно N2. Поэтому формула останется верной, если
заменить Е2 на Е2 — е2.
Возьмем теперь любой элемент F кольца Z[e, Е]. Как мы
показали в § 2 , его можно разложить по базису E = E(W)
с коэффициентами из Z[e\ Поскольку каждый элемент этого
базиса удовлетворяет формуле типа (4), это показывает, что
сумма F ( х ~^ г ) всегда лежит в кольце Z [е, Е]. Для
rt=R
каждой данной F ее можно вычислить явно с помощью (4).
Применив этот результат к степеням Fm с N2, мы
заключаем, что функция F и все ее сдвиги * \ W)
с w €=W алгебраичны над полем Q(е, Е) и целы над коль­
цом Q [е,Е]. Изучение теми же средствами группы Галуа рас­
ширения Q(e, Е), порожденного элементами вида
завело бы нас слишком далеко. Как заметил уже Якоби в
связи с работами Абеля, это потребовало бы введения ре­
зольвент Лагранжа для абелевых расширений поля С(е,Е),
порожденных функциями ^ (~ ^ )- Мы уже упоминали о них
в конце § 5 гл. II. Более общие функции будут изучены в
гл. V III/
V. Первая вариация, § 5 49

§ 4. Вычтем из обеих частей тождества (4) член (N/x)n и


положим х = 0. Получим
I En (r/N) = (Nn- l ) e n. (5)
ге=/?'
Мы знаем, что еп = 0 при нечетных п\ как выше, здесь
R ' = R — {0}. При п = 2 эту формулу можно переписать в
виде
£ (E2( r / N ) - e 2) = 0. (6)
rsJ?'
Возьмем снова любой элемент F кольца Z [е, Е]. Действуя,
как в § 3, мы обнаруживаем прежде всего, что сумма
ZF(r/N) по всем r ^ R ' лежит в Z[e], а также что значе­
ние F(w/N) для любого до е W \ N W алгебраично над полем
Q(e) и цело над кольцом Q[e].
§ 5. Теперь, как в гл. III, § 5 и 8, рассмотрим общее «пре­
образование»
f a Ъ\
(и' v') = (u v ) [ c J (7)

с определителем N = ad — be. Положим и" = Nu, v" = Nv


и обозначим через W, W', W" решетки, порожденные (и, v),
(u',v') и (u",v") соответственно. Тогда W' имеет индекс |Л^|
в W, а W" имеет индекс |Л^| в W'. Обозначим через 5 неко­
торую систему представителей для W'/W" в W , содержащую
нуль, и положим S' = S — {0}.
Будем обозначать через е2т, е'ш , е"т числа е2т(и, о),
ечт{и',е') и е2т(и", v") соответственно. Так как е2т одно­
родна степени — 2 т по и, v, имеем е"т= N~2me2m. Фор­
мула (15) гл. III, § 8, примененная к решеткам W, W",
дает (с учетом однородности Е2т)
N2me2m= s2m+ £ Е2т(s/N) (т 2 ).
s sS '
В силу результатов § 4, это показывает, что функция е2т
цела над Q[e]. Аналогично, е2т и тем самым е2т целы над
Q[e']. Более общо, пусть , W2 — две «соизмеримые» ре­
шетки. Это означает, что их пересечение имеет в каждой
из них конечный индекс, или, что то же самое, = Q№,2-
Применив доказанное только что утверждение сначала к W!
и W3, а затем к W2 и W3, получаем, что кольцо Q[e (И7,)( е (W2)]
цело как над Q[e(H71)]) так и над Q[e(fl72)]. Объединяя это
замечание с результатами § 4, убеждаемся, что для любого
60 Часть I. Эйзенштейн

элемента F из базиса E(W2) или всего кольца Z[e(IF2), E(W2)\


значения F во всех точках из QU^2, не лежащих в W2t целы
над кольцом Q[e(UPi)].
Выберем снова W и W', как выше, и возьмем любой
элемент F базиса E(W'). Если F = En (x ; и', v'), п ^ З , то,
согласно формуле (13) гл. III, § 8 , имеем
X F (х + г) = Еп(х\ и, v).
r^R
Если F = E 2(x\u'9 у' ) — е2(и\ v')2 аналогичный результат
получается путем вычитания из тождества ( 1 2 ) гл. III, § 8
тождества (14) той же главы:
£ F{ x + r ) — £ F(r) = E2{x\ и, v) — e2(u, v).
r^R r^R'
Обозначим через /2 вторую сумму слева. Она дела над
Q[e(U7)]. Выберем теперь произвольный элемент F кольца
Z[e(W')9 E(W')] и разложим его по базису E(W'). Наши фор­
мулы показывают, что сумма Y,F{x-\-r) по всем г е / ? яв­
ляется линейной комбинацией /2 и элементов базиса E(W)
с коэффициентами из Z[e(W')]. Поскольку это рассуждение
применимо ко всем степеням Fm элемента F, a f2 и e(W')
целы над Q[e(U7)], мы нашли, что F(x) и все сдвиги F(x-\-w)
с w ^ W целы над кольцом Q [e(W)9 E(W)].
§ 6. Эйзенштейн замечает, чго особенно интересный слу­
чай возникает, когда W' = сoW9 где со е Сх. Тогда W' порож­
дена образующими и' = сод, v' = сод, и со является характе­
ристическим корнем линейного преобразования (7). Оче­
видно, что если со вещественно, то соИ7 может быть
подрешеткой W лишь в случае, когда со — целое рациональное
число. В противном случае со должно быть целым числом не­
которого мнимого квадратичного поля, и мы говорим, что
W допускает комплексное умножение на со. Это явление было
открыто Абелем. Положив, как раньше, N = a d — be, находим,
что N = coco > 0. Если сoW = W, N = 1, то со должен быть
либо корнем четвертой степени из единицы (так называемый
«лемнискатический» случай), либо корнем шестой степени из
единицы. В той мере, в какой дело касалось прямых ариф­
метических приложений его теории, Эйзенштейн в основном
интересовался этими двумя случаями и применил свои ре­
зультаты к выводу законов взаимности для четвертых и ше­
стых степеней. Эту сторону его работы мы не будем обсуж­
дать здесь.
V. Первая вариация, § 7 51

Положим, как выше, т = 8v/u. Если W допускает комп­


лексное умножение на со, обозначим через и', vf соответствен­
но cot/ и сощ Пара (и! , vf) связана с (tt, v) линейной подста­
новкой (7). Имеем тогда т = 8v'/и' и со = а + сбт, так что т
лежит в поле &= Q(co). Далее, W = uWu где решетка Wi
порождена числами 1 и т и, значит, содержится в Наобо­
рот, пусть W — такая решетка, что v / u ^ k . В таком случае
Аи 2 -\-Buv + Cv2 = 0 для подходящих целых рациональных
чисел А, В, С, и W допускает комплексное умножение на
со = Cv/u.
§ 7. Теперь мы покажем, что если решетка W допускает
комплексное умножение, то число е\е~2 алгебраично над Q;
сюда формально относится и «лемнискатический случай», для
которого е6 = 0, со = г.
Заметим прежде всего, что любая решетка W однозначно
характеризуется своими «инвариантами» e4(W), e6(W). Дей­
ствительно, как мы убедились в гл. IV, § 2, функция jp =
= Е2— е2 удовлетворяет дифференциальному уравнению
у'2 = 4у3— 60е4у — 140е6.
Поскольку любое решение этого уравнения можно предста­
вить в виде y = f { x Jr c) и поскольку f — единственное его
решение с полюсом в точке х = 0, W можно охарактеризо­
вать как решетку периодов любого решения либо как ре­
шетку полюсов решения (р. Отсюда следует, что если W' —
другая решетка, a t — любой элемент Сх, то W' совпадает
с tW в том и только том случае, когда
*4 0 П = г 4е4(W), е6(ГО = г \ (Г).
Следовательно, W' имеет вид t\V для некоторого / ^ С х
тогда и только тогда, когда «абсолютный инвариант» е\е~2
принимает для W и для W' одинаковые значения.
В частности, пусть W и W' связаны, как в § 5. Обозна­
чим через со некоторое собственное значение подстановки (7)
и предположим, что оно не вещественно. Имеем W ' = ® W
в том и только том случае, когда е '= с о _%4, е' = со_6е6.
Если и, v произвольны, то, вообще говоря, W' Ф соW,
так что либо е[ ф со~%4, либо е' ф ®~6е6. Пусть, скажем,
выполнено первое неравенство. Положим f4 = e '— со_4е4; эта
величина отлична от нуля. Из результатов § 5 следует, что
/4 алгебраичен над Q(e4, е6), так что существует нетривиаль­
ное соотношение F (/4, е4, е6) = 0 с рациональными коэффи­
циентами. Его можно записать в виде f™G (/4, е4, е6) = 0, где
52 Часть I. Эйзенштейн

G — некоторый многочлен с рациональными коэффициентами,


не делящийся на /4. Так как 0, имеем G(f4, е4, е6) = 0 для
любой решетки W. Поэтому если для какой-то решетки
/ 4= 0, то для нее выполняется нетривиальное соотношение
вида G(0, е4, е6) = 0. Учитывая, что е4, е6 однородны по и, v
степеней соответственно —4 и —6, получаем, что величина
е\е~2 либо равна оо, либо алгебраична над Q.
§ 8 . Как мы уже убедились, решетка W, допускающая
комплексное умножение на со, должна иметь вид uW\9 где
W\ — некоторая подрешетка в fe=Q(co). Очевидно, при фикси­
рованном k все такие решетки соизмеримы, и к ним можно
применить результаты § 5 в сочетании с результатами § 7.
К этому мы и перейдем.
Пусть k — мнимое квадратичное поле с дискриминан­
том — т. Обозначим через Q кольцо всех целых чисел
поля k . Это — решетка, и все подрешетки в k соизмеримы
с ней. Выберем в Q базис вида (1, т0). Можно считать, что
1 т(т 0) > 0 ; кроме того, Re(x0) = 0 или = 1 / 2 m odi в зави­
симости от четности или нечетности т . Следовательно, число
<70= е(т0) вещественное; оно > 0 или < 0 в зависимости
от четности или нечетности т.
Согласно формуле (36) гл. IV, § 11, имеем
Д(Й) = Д(1, г0) = Ае *-В е1 = (2 щ 1 у \
оо (8)
Г)0 = qlJ 2i П (1 — <?о)> А = 263353, В = 24335272.
/1 = 1

Дискриминант Д (Q) веществен и имеет тот же знак, что и q0.


Удобно ввести величину

0 = 2 я | Ti012 = 2 зт| <70|v'2 П ( 1 - ^ ) 2. (9)

Она зависит только от k, т. е. от т, и мы будем обозначать


ее 0 т , когда нужно отметить эту зависимость явно.
Имеем Д(й) = ± 0 12. В § 7 было установлено, что число
е\е~2 алгебраично над Q. Вместе с (8) это показывает, что
числа е40 -4 и е60 -6 алгебраичны над Q, или, что то же самое,
числа e4(0Q) и e6(0 Q) алгебраичны над Q.
Пусть W 1 — некоторая подрешетка в k. Так как она со­
измерима с й, решетка &Wi соизмерима с 0Й. Результаты
§ 5 показывают, что для всех т ^ 2 числа e2m(fiiWl) алге­
браичны над Q. Более общо, пусть W — любая решетка,
V. Первая вариация, § 8 53

допускающая комплексное умножение на со е Q, с образую­


щими и, V. Как мы убедились, решетка W \ = u ~ lW содержится
в k\ в частности, v/u е k. С другой стороны,
e2m(W) = ( m 2me2m( m 1).
Таким образом, для любой решетка с комплексным умно­
жением на со е й все числа
(и/Щ2пг e2m(W) ( m > 2)
алгебраичны над Q. В частности, если e4(lF) и e6(W) алге-
браичны над Q, то этим же свойством обладают числа 9 -1до
для всех w е W.
глава VI

Вторая вариация

§ 1 . Как мы убедились в гл. IV, метод Эйзенштейна позво­


ляет непосредственно изучать производные dEn/dv, den/dv по
образующей v; это одно из его достоинств. С помощью ре­
зультатов гл. III, § 5 можно затем поменять местами и и и,
получив таким образом производные по а.
На этом этапе удобно позаимствовать кое-что из техники
Кронекера и ввести в теорию вещественно аналитические
функции, кроме комплексно аналитических. В этой главе мы
будем пользоваться ими довольно формально, в основном
рассматривая многочлены от комплексно сопряженных вели­
чин х, ау v к х , и, и, коэффициенты которых комплексно ана-
литичны по х, и, V. В результате получатся формулы, с ко­
торыми удобнее работать. Причины этого вскоре станут ясны.
Как принято в вещественно аналитической теории, мы фор­
мально рассматриваем х, иуv, х, U, v в качестве независимых
переменных и соответственно понимаем частные производ­
ные; применяя д/дх, д/ди, d/dv к функциям, которые полино­
миальны или рациональны по х, й, щ мы рассматриваем эти
последние величины как константы.
Введем дифференциальный оператор

Рассмотрим любую однородную функцию / степени— п от х,


и, v (например, Еп). Имеем
df . df . df
VI. Вторая вариация, § 2 55

Следовательно, df/du и £Df можно выразить через /, df/dx,


df/dv. Поскольку uv — vti ф 0, можно также выразить df/du,
df/dv через /, df/dx и 2)f. Преимущество оператора разу­
меется, в том, что он инвариантен относительно группы
GL (3, R), т. е. относительно любой линейной замены х, и, v.
В этой главе мы будем систематически использовать 2 ) вме­
сто d/dv.
§ 2. Сохраним прежние обозначения; в частности, как
в гл. Ill, § 1, будем писать
uv — vu = 6uU(x — т) = — 2ш‘6Л, А > 0. (3)
Очевидно, 2)А = 0.
Поскольку числа и, v образуют базис С над R, мы можем
разложить х по этому базису: х = аu-\-$v, где а, р веще­
ственны. Иногда мы будем обозначать коэффициенты этого
разложения а(х), Р(х). Имеем х = ош + р£7, так что

е м = -* § ж г' ® р=о-
Рассмотрим, кроме Еи функцию
Е \{х )= Е ,{х )+ ^т - (4)
Она не комплексно аналитична по х, но этот «недостаток»
компенсируется периодичностью относительно W, которая оче­
видна из формулы (5) гл. III, § 4.
Далее, формула (7) гл. III, § 5 показывает, что при любой
замене базиса решетки W к функции Ег (х; и, v) добавляется
лишь линейный член. Следовательно, Е\ можно однозначно
охарактеризовать как периодическую функцию с решеткой
периодов W, отличающуюся от любой из функций Еi (х; и', v')
на вещественно линейную добавку. Поэтому Е* зависит
только от W, но не от выбора образующих и, v этой решетки,
и мы можем обозначать ее Е\(х\ W). Более общо, если
W — любая подрешетка W, a R — любая система предста­
вителей W/W' в W, формула (7) гл. III, § 5 после тривиаль­
ных преобразований показывает, что
£ Е \ ( х + п W') = El(x-, W). (5)
re R

Аналогично, кроме Е2у е2 рассмотрим функции


дЕ\ . р ____ и_ U
К( Х) = - дх ' ^2 Аи* е2 е2 (6)
Ли *
56 Часть I. Эйзенштейн

Очевидно, они тоже зависят только от W, и El удовлетворяет


формуле, аналогичной (5). Поскольку El отличается от Е2
лишь константой, дальнейшее дифференцирование по х при­
ведет к прежним функциям Еп. Для формальной симметрии
наших тождеств положим Еп = Еп при всех п ^ 3.
§ 3. Поскольку функция Е\ нечетна и периодична, она
(как и функция Е3, ср. гл. IV, § II) обращается в нуль
во всех точках lf2W, не лежащих в W. Далее, отличаясь
от Ех лишь линейным слагаемым, она удовлетворяет той же
формуле сложения, что и Еи т, е. формуле (10) гл. IV, § 2 .
В последней формуле мы можем также заменить Е2 на Е2 — е2,
с тем чтобы применить результаты гл. V, § 4. Введем теперь
функцию f на QIV, положив f(w) = 0 для всех w & W и
f(x) = E*(x) для всех x e Q IV , не лежащих в W. Тогда фор­
мула сложения, объединенная с результатами гл. V, § 4,
показывает, что число f(x + х') — f (я) — fix') алгебраично
над Q(e4, е6) для всех х, х' <=QW. Поскольку f обращается
в нуль на l/2W, отсюда следует, что значения f и тем самым
также значения Е\ алгебраичны над Q(e4, е6) во всех точ­
ках Q1V, не принадлежащих W.
Предположим теперь, что W допускает комплексное умно­
жение на некоторое число <о. Положим W ' = ® W и рассмо­
трим формулу для Е*2, которая получается из (б) дифферен­
цированием. Поскольку функция Е*2 однородна степени —2
по х, и, v и степени нуль по м, U, мы можем записать ре­
зультат в виде

“ “' Е =Е*2(х ; W).

Вычтем из обеих частей х~2 и положим х = 0. Принимая


во внимание, что число слагаемых в левой части равно
N = coco, получаем

Е (я ;(г /ю )-ф = ® (® -а к , (7)


ге#'
где R' имеет обычный смысл. Заметим теперь, что Е* — е\ =
= Е2— е2. Кроме того, след со + ш является целым рацио­
нальным числом, так что <bW содержится в W и, значит,
Nr/а = ©г принадлежит W. Применив результаты гл. V, § 4
к Е2 — е2 и г/ш, получаем, что левая часть (7) алгебраична
над полем Q(e4, ее)- В частности, она алгебраична над Q,
VI. Вторая вариация, § 4 57

если е4 и е6 алгебраичны над Q. Учитывая, что е* и Д*


однородны степени —2 по и, v и степени нуль по й, v, мы
можем воспользоваться последними результатами гл. V и
заключить, что число (ы/Э)2 е*(№) алгебраично над Q.
§ 4. Теперь мы перейдем к изучению функций, которые
получаются из Д* повторным применением операторов д/дх
и 0 . Очевидно, они коммутируют. Для краткости положим
дх = д/дх. Пусть а, b — два целых числа, Ь > а ^ О . Положим
Еа,„(х) = (х + w f (х + w)~b = 2>адьх- а~'Еи
w^W
. _____ 1 * W
Е*а,ь(х)= (гД ) , ® адьх а % .

Если Ь ^ а + 3, ряд ЕагЬ абсолютно сходится, а Еа.ь совпа­


дает с Еа,ь. В остальных случаях Е*а,ь — Еа,ъ легко вычи­
сляется с помощью формул (4) и (6) из § 2. Для всех п ^ 1
функция Д0>„ совпадает с Еп, а До, п с Еп.
Поскольку Е*\ однородна степени —1 по х, и, v (и сте­
пени нуль по х, й, v), к ней можно применить формулу (2)
из § L С другой стороны, dEi/dv вычисляется с помощью
формулы (9) гл. IV, § 2. Объединяя эти тождества с опре­
делениями Ei и El, получаем после несложных выкладок
Е*и2 = - £ > (Е\) = A ( E l - Е Ю . (9)
Продифференцируем эту формулу п — 1 раз по х:

El n+i = ~ i 0(Дп) = а ( е ± ± Е*
п+2 _ i £ El+iEl- н Л . (10)
' h =0 '

Индукцией по а из этого тождества находим, что Е*а,ь для


всех а, 6 с f t > a ^ 0 представляется в виде

Elb = (ь_ 1)(Ь(^ \ л ь _ а)РаЛ Е \ Л , Ег........ Еа+ь), (11)

где P0ib— многочлен от а-\-Ь переменных степени а + 1


с целыми рациональными коэффициентами. Далее, А и Е*а,ь
однородны степеней 1 и — b соответственно по х, и, v и сте­
пеней 1 и а соответственно по х, й, v. Функция же Е*п одно­
родна степени — п по х, и, v и степени нуль по х, й, v.
Поэтому Pe, ь — «изобарический» многочлен «веса» а + Ь.
58 Часть I. Эйзенштейн

§ 5. Аналогично, для Ь > а ' ^ О определим еа,ь, е*а,ъ как


значения Еа<ь — хах~ь, Е1<ь— хах~ь в точке * = 0. Тогда
ее °,Ьh= ----------------------------
( 6 _ 1 ) ( 6 _ 2 ) . . . (Ь — а) @)a(eh
^ Ь - а)) -

Аналогичная формула имеется для е*а,ь• Разумеется, эти ве­


личины обращаются в нуль, если разность b — а нечетна.
Исходя из формулы (2) гл. V, § 1 и действуя, как прежде,
в § 4, получаем

'l, 2m+I 2т ® { е2т) 2 е2т+2 2 Л е2гв2 т-2г+ г1 ’


4 г=1 '
откуда индукция по а позволяет вывести формулу
„* _ (Л/2)а л ч
е ч,Ь (6 _ 1) . . . (6 _ а) ™а,ь{е2> е4> • • •> &a,b)‘

Здесь Qa, ь — «изобарический» многочлен степени а + 1 и


веса а + Ь с целыми рациональными коэффициентами. Разу­
меется, он обращается в нуль, если а-\-Ь нечетно.
§ 6. Предположим теперь, что решетка W допускает комп­
лексное умножение на число со. Определим k и $, как в гл. V,
§ 8. Формула (3) § 2 показывает, что niA/ий лежит в k.
Объединяя результаты § 5 с последними выводами гл. V,
получаем, что числа А~а(и/Ща+ье*а}Ь (или я а£Га_&ubU~aelib)
алгебраичны над Q.
Аналогично, объединяя результаты § 3—4 гл. V, находим,
что значения функции
паШ~а~ьиьй~аЕ*а,ь(х)
в точках не принадлежащих W, алгебраичны над Q.
В частности, если решетка W лежит в мнимом квадратич­
ном поле k y то и и й лежат в этом поле. Следовательно, в
этом случае величины
я ш ea,by я ш E a,b(x)
для всех x ^ Q W = k f не лежащих в W, алгебраичны над Q
при условии, что Ь > а ^ 0.
Мы можем сравнить этот вывод с теоремой Дамерелла,
цитированной в гл. V, § 1. Теорема Дамерелла относится
к значениям L-функций Гекке
VI. Вторая вариация, § 6 59

где х — характер Гекке идеалов поля k. Последнее означает,


что в поле k существует такой идеал f («кондуктор» х),
что хО*) обращается в нуль тогда и только тогда, когда а
не взаимно прост с f, и что %((а))= aeafy если а — целое
число поля k и a = l m o d f . Здесь еу / — два целых рацио­
нальных числа. Не теряя общности, можно считать, что е = 0,
/ > 0. Если бы оба числа е, f обращались в нуль, % был бы
«обыкновенным» характером (конечного порядка), а не на­
стоящим характером Гекке. Ряд L(s) абсолютно сходится
*
в полуплоскости R e(s)> 1 + у .
Введем целое число s = b в полуплоскости абсолютной
сходимости и положим a = f — b. Предположим, что 0,
f
т. е. & f . Поскольку b > 1 + у , имеем Ъ^ а + 3. Нетрудно
усмотреть, что L(b) является линейной комбинацией с алге­
браическими коэффициентами конечного числа величин
ea,b(W)> Еа,ь(х 'у W), гДе ^ пробегает конечное семейство
подрешеток поля k и Поэтому значение я ао)~a~bL(b)
алгебраично над Q.
Теорема Дамерелла в полной формулировке утверждает,
1 f
что последний факт верен для всех + 2 ’ т,е* + 1•
Пользуясь функциональным уравнением для L, ее можно
распространить тогда на все значения Чтобы
завершить доказательство теоремы Дамерелла, нам остается
установить, что в случаях b — а = 1 или 2 величина L(b)
выражается через elibi Е1,ь{х), аналогично случаю абсолют-
f
ной сходимости. Так как определение L(b) для 6 ^ 1 + у
требует аналитического продолжения ряда L(s), конструкция
которого была одним из высших достижений Кронекера
в описываемой нами области, этот вопрос удобнее рассмо­
треть в одной из следующих глав.
часть вторая

Кронекер
глава VII

Прелюдия
к Кронекеру

§ 1. Кронекер родился в 1823 г., как и Эйзенштейн; оба


учились в Берлине в одни и те же годы. В 1847 г. Кронекеру
пришлось покинуть Берлин ради деловых интересов семьи;
к тому времени, когда он вернулся в столицу и поселился в
ней постоянно, Эйзенштейн уже умер.
Первые признаки пробуждающегося интереса Кронекера
к эллиптическим функциям относятся к 1853 г. (Werke, т. IV,
стр. 1 1 ). Здесь Кронекер ограничивается замечанием, что его
теорема об абелевых расширениях поля Q обобщается на
гауссово поле Q (i) с помощью лемнискатических эллиптиче­
ских функций. Нет сомнения, что Кронекер тогда изучал кро­
ме Абеля работу Эйзенштейна о точках деления лемнискаты.
Однако эта работа (и даже большая статья Эйзенштейна
1850 г.) основывалась на формулах и обозначениях Абеля и
не была прямо связана с идеями работы Genaue Untersu-
chung 1847 г., которые мы описали в гл. I — IV.
В 1856 г. Кронекер распространяет свои исследования уже
на общий случай эллиптических функций с комплексным ум­
ножением (Werke, т. IV, стр. 179, и т. V, стр. 419). Он рабо­
тает полностью в обозначениях Якоби, которым остался ве­
рен навсегда.
В 1863 г. (Werke, т. IV, стр. 222) Кронекер, под влиянием
работ Дирихле, вводит новые функции
e2ni (гц+sv)

(iа\к2 + 2bpv + cv2)1+p


64 Часть II. Кронекер

и их пределы при р = 0. В обозначениях предыдущих глав


эти функции можно записать в виде
Ti' %Wi (ww)~l~p, (1)
w е W

где х — характер аддитивной группы W. Именно в этой статье


Кронекер впервые формулирует частный случай своей «пре­
дельной формулы» и выводит из него решение уравнения
Пелля (т. е. вычисляет некоторую единицу вещественного
квадратичного поля) с помощью эллиптических функций.
§ 2. Спустя двадцать лет, после нескольких обрывочных
публикаций на эти темы, Кронекер решил, наконец, изло­
жить свои результаты систематически в серии статей, кото­
рые должна была опубликовать Берлинская Академия. Эти
статьи, под общим заголовком «Zur Theorie der elliptischen
Funktionen», выходили в 1883, 1885, 1886, 1889 и 1890 годах.
В 1891 г., последнем перед смертью Кронекера, заголовок был
изменен (без видимых причин) на «Die Legendre’sche Rela­
tion». В этих статьях Кронекер в основном занимается раз­
личными рядами. В наших обозначениях все они могут быть
записаны в виде
X %(w)(x + w)a\x + w\~2s, (2)
wzeeW

где а ^ 0 — целое число. Кронекер изучает их поведение


при х = 0 и вблизи точки s = l + - - (где они перестают
сходиться).
Ум Кронекера был, однако, слишком живым и беспокой­
ным, чтобы позволить ему сосредоточиться на систематиче­
ском изложении одной темы. В юношеские годы Куммер и
Дирихле уже предостерегали его от связанных с этим опас­
ностей. Его студенты привыкли к постоянным отступлениям,
когда Кронекер начинал рассказывать о том, что пришло ему
на ум вчера вечером. В академической серии он часто пере­
скакивает с одной темы на другую или возвращается к бо­
лее ранним результатам и доказательствам, чтобы улучшить
их. Его статья 1886 г. (Werke, т. IV, стр. 389—470), по види­
мости входящая в основную серию, не имеет к ней никакого
отношения и посвящена чисто алгебраическим и теоретико­
числовым исследованиям формул умножения и деления эл­
липтических функций. Именно в ней он доказывает свои зна­
менитые сравнения, сыгравшие фундаментальную роль в
арифметической теории комплексного умножения,
VIГ. Прелюдия к Кронекеру, § 3 65

Эйзенштейн явно гордился совершенно элементарным ха­


рактером своих теоретико-функциональных методов. Напро­
тив, Кронекер пользовался целым арсеналом мощных техни­
ческих средств: «суммированием Пуассона» (в действитель­
ности открытым Коши), теорией вычетов Коши, теорией
рядов Фурье по Дирихле и, что важнее всего, формулой Ди­
рихле (по существу, совпадающей с нашим преобразованием
Меллина)

m £ -ж = ] ( £ « " " ) dt> о)


о
которую (следуя Дирихле) он предпочитал записывать в виде

Г(1 + Р) £ S ( £ а*Л) (log 1r)Prf flog*).


о
Современный аналитик мог бы добавить к этому немногое:
понятие аналитического продолжения (которое Кронекер
знал, но предпочитал им не пользоваться) и более свободное
использование рядов Фурье, ставшее возможным благодаря
теории распределений.
Очевидно, ряды Кронекера представляют собой естествен­
ное обобщение рядов Эйзенштейна. Вводя непрерывный па­
раметр р (или, в обозначениях Римана и современных, s), он
следовал Дирихле. Можно отыскать прецеденты и для появ­
ления характера %. Работая со своими рядами вне их обла­
сти сходимости, Кронекер также часто пользуется «суммиро­
ванием по Эйзенштейну». Однако до 1891 г. он ни разу не
упоминает статьи Эйзенштейна 1847 г. Только в конце, рабо­
тая над своей последней статьей для Берлинской Академии,
он осознал, насколько близок был к идеям его товарища юно­
шеских лет. Нам остается лишь гадать, какие чувства сопро­
вождали это открытие. Успей он написать свою лекцию об
Эйзенштейне, обещанную Кантору (ср. выше, гл. I), мы, ве­
роятно, знали бы больше.
§ 3. Как до него Эйзенштейн (ср. гл. II), Кронекер обна­
ружил, что для изучения двойного ряда типа (2 ) следует сна­
чала разобраться в соответствующих простых рядах. Более
того, оба случая требуют аналогичной техники. В конечном
счете Кронекер посвятил таким простым рядам значитель­
ные части двух статей (Werke, т. V, стр. 267—294 и 327—
342). Его результаты здесь были во многом предвосхищены
Липшицем, что он сам отмечает (ibid., стр. 330). Имеются
66 Часть II. Кронекер

очевидные связи между такими рядами, L-функциями Ди­


рихле и дзета-функцией Римана (или, скорее, Эйлера). По­
этому не удивительно, что целый ряд авторов занимался этой
темой в XIX веке: Липшиц еще в 1857 г., Гурвиц в 1882, Лерх
несколько позже, под влиянием работ Кронекера. В конце
этой главы собрана краткая библиография.
Положение историка осложняется еще тем обстоятель­
ством, что суммирование этих рядов по Пуассону (для комп­
лексных значений аргумента) приводит к функциям Бесселя,
теория которых уже во времена Кронекера была значительно
развита. Тем не менее даже в наши дни некоторые из авто­
ров, работавших в этой области, либо не замечали, либо не
отмечали появление бесселевых функций и довольствовались
прямой проверкой нескольких нужных им элементарных
свойств.
Мы не будем пытаться здесь распутать все ходы мысли.
В этой главе мы займемся простыми рядами в качестве под­
готовки к описанию работ Кронекера о двойных рядах (2 ).
§ 4. Символом % в этой главе будет обозначаться некото­
рый характер группы Z. Обычно мы будем записывать его
в виде
Ц1-»Х(и) = е(— цу),
где j g R. Часто будет удобно считать, что 0 ^ у < 1. Рас­
смотрим ряд
Sa (х, У, s) = 2Г (X + ц)а | х + ц г 2* е(— цу), (4)
М-
где а ^ 0 — целое число, у вещественное, х и s комплексные,
a X* означает суммирование по всем целым \ х ф —х (т. е.
по всем целым, если х не целое). Этот ряд абсолютно схо­
дится тогда и только тогда, когда Re (5 ) > ---у-- . Кронекер
(а до него Липшиц) заметил, что при %Ф1 и R e(s)> ~ ряд
все еще сходится, хотя и не абсолютно. Действительно,
записав общий член (4) в виде f (р) %(р) и положив
п

оп = Z х(м-),
|Л= 0

получаем с помощью формулы Абеля «суммирования по


частям»:

t f ( v ) x 0*) = / (AO aN - f (1) + Е* U (п) - f (п + 1)] а„. (5)


|Л= 1 п= 1
VII. Прелюдия к Кронекеру, § 4 67

Поскольку величина |<тя | ограничена при всех п > 0.


С другой стороны, для больших п величины n2s~af (п)
и n2s~af(n + 1 ) можно разложить в степенные ряды по п~х%
оба начинающиеся с 1. Поэтому величина
\ n » - * +4 f ( n ) - Hn + l)]\
ограничена, и при Л^~>+оо последняя сумма справа в (5)
превращается в абсолютно сходящийся ряд, если Re(s) > а/2.
Поскольку то же рассуждение применимо к членам (4), от­
вечающим \х <С 0, это доказывает сходимость.
Особенно интересен ряд
4 -0 0

= ( » < » < ') • (6)


— со

Это тождество имеет место для всех x g C \Z . Кронекер за­


мечает, что оно непосредственно выводится из теоремы Ди­
рихле о разложении периодической функции в ряд Фурье,
если применить эту теорему к функции с периодом единица,
равной е(ху) при 0 < у < 1 и l/2 [1 + е(х)] при у = 0.
Вычтем х-1 из обеих частей (6) и положим х = 0. Полу­
чим

Х 'и 'е (-ц г /) = т -(2 г /-1 ) (0 < у < 1). (7)


— оо

Эту формулу также можно было установить с помощью тео­


ремы Дирихле. Более общо, разложив обе части (6) в сте­
пенные ряды в окрестности х = 0, мы получим в качестве
коэффициентов многочлены Бернулли от у (с точностью до
нормировки). Частный случай этого результата был получен
в гл. II, § 7, где мы обнаружили, что коэффициенты разло­
жения 8i(x) вблизи х = 0 являются числами Бернулли. На­
пример, сравнивая коэффициенты при х в обеих частях тож­
дества (6), находим
4 -0 0

Y, ц-2е(—цг/) = 2я2(У—г/4 4) (0<г/<1). (8)


— оо

Здесь ряд абсолютно сходится, так что формула остается вер­


ной при у = 0 и у = 1 по непрерывности.
Кроме описанных случаев абсолютной и обыкновенной
сходимости имеются значения параметров, когда ряд можно
68 Часть II. Кронекер

суммировать по Эйзенштейну (гл. II, § 1). Например, если х


вещественно, %= 1 и а = 2s = 1 , имеем
X e s g n ( * + n ) = 2[x] + 1
при условии, что х не целое число. Как обычно, [х] означает
целое п, такое, что п < х < п + 1 .
§ 5. Хотя Кронекер экспериментировал с различными
способами суммирования рядов (2) и (4) (включая метод
Эйзенштейна), ему, видимо, больше всего нравился подход,
подсказанный работами Дирихле, который связан с введе­
нием комплексного параметра 5. Обозначим через S(s) любой
из наших рядов. Он абсолютно сходится при R e(s)> -~ + 1
в случае (2) и Re (s) > в случае (4). Пусть s0 ле­
жит на границе соответствующей полуплоскости. Тогда ряд
S (s 0 + p) абсолютно сходится для положительных веществен­
ных р. Если его сумма имеет предел при 0, он будет на­
зываться значением S(s0) относительно суммирования «по
Кронекеру». Кронекер рассматривал также варианты этого
определения, в которых абсолютная сходимость заменена
обычной или сходимостью «по Эйзенштейну».
Разумеется, суммирование по Кронекеру можно рассмат­
ривать как частный случай аналитического продолжения. Дей­
ствительно, мы убедимся, что ряды (2) и (4) мероморфно
продолжаются на всю s-плоскость. Это было показано (после
решающего шага, сделанного Риманом в его статье 1859 г.
о дзета-функции) современниками Кронекера — Липшицем,
Гурвицем и Лерхом. На самом деле доказательство неявно
содержалось в некоторых выкладках Кронекера (Werke, т.
IV, стр. 486—487), однако он ни разу не упоминает аналити­
ческого продолжения. Возможно, все охлаждающиеся отно­
шения с Вейерштрассом отбили у него вкус к этому понятию.
Разумеется, мы будем им пользоваться. Приписывание S(s)
значений, которые принимает аналитическое продолжение
этого ряда с полуплоскости его абсолютной сходимости, мож­
но было бы по праву назвать «суммированием по Гекке»,
потому что Гекке широко пользовался этим методом.
§ 6. Поскольку мы ограничимся здесь лишь теми резуль­
татами о рядах (4), которые понадобятся в гл. VIII, будет
удобно разобрать отдельно случаи вещественного и не веще­
ственного х. Если х вещественно, ряд (4) можно переписать
в виде
XI* Sgn {х + ц)° Iд: + ц г -25е(—ру).
VII. Прелюдия к Кронекеру, § 7 69

Поэтому достаточно разобрать случаи а = 0 и а = 1. В свою


очередь эти ряды сводятся к «рядам Лерха»

Z %(n)(x + n)~s (9)


п =О

при х > 0. Ясно, что L-ряды Дирихле представляются в виде


конечных линейных комбинаций рядов Лерха с характерами
% конечного порядка и рациональными х ^ 1 . Следует еще
иметь в виду, что «односторонний» ряд (9) примерно так же
связан с гамма-функцией, как ряд Эйзенштейна гп{х) с про­
изведением Эйлера для синуса (ср. гл. II, § 6). Поэтому тео­
рию гамма-функции можно было бы развить на основе этой
аналогии. Для краткости, однако, мы будем считать ее изве­
стной.
§ 7. В описанных выше обозначениях мы положим
s a(x, у, s) = (х + р)а \х + p|_2s е (— цу), ( 10)

где х, у вещественны и а = 0 или 1 . Формально применяя


(3), находим
r(s)S e(jc, у, s) =
+ °° ^

= $ 2 ] ехРЕ— Н* р)2— у\(х-\- н)аts~x dt. (11)


о
Заменим в обеих частях этого равенства у на 0, (х + р )а на
1* + р |а и s на Re(s). Оба ряда тогда превратятся в ряды с
положительными членами. Левая часть будет сходящейся при
Re (s) > а 1 . В этом случае почленное интегрирование пра­
вой части (11) законно, и обе части формулы совпадают. Вы­
берем теперь любое число Т > 0 и разобьем интеграл справа
на сумму двух интегралов: / 0 по 0 <Г t ^ Т и /«, по / > Т.
Последний интеграл можно оценить сверху, заметив, что если
М — целое число ^ \ х \ , то
ехр [—/ (х + р)2] • |х + р|а < е х р (— tn2) • (« + 2 М)
при р > М, п = р — М, а также при р < —М, п = — \у — М.
Пользуясь этим, нетрудно убедиться, что интеграл /«, абсо­
лютно сходится для всех значений s, равномерно в любой ог­
раниченной области s-плоскости. Следовательно, он представ­
ляет целую функцию от s.
70 Часть II. Кронекер

Для вычисления / 0 воспользуемся хорошо известной фор­


мулой преобразования тэта-ряда:
exp [— t (х + р)2 — 2ni\xy] (х + \х)а =
м-
= i~ae ( x y ) ( - j ) 2 ехр[— 1 “ (У + у)2+ 2mvx] (г/+ v)a. (12)
V

Ее нетрудно получить суммированием по Пуассону или, что


то же самое, разложением в ряд Фурье правой части (12),
периодичной по у с периодом 1. Можно также применить
суммирование по Пуассону при а = 0, а затем, дифференци­
руя по я, получить формулу (12) при а = 1.
Применим это тождество к подынтегральному выражению
в / 0 и сделаем замену переменной t = п2/и. Получится интег­
рал, подобный /<х>> и, возможно, два дополнительных члена,
отвечающих р = — х в левой части (12), если х — целое
число, и v = —у в правой части (12), если у — целое число.
Поскольку мы предположили, что Re (s) > а 1 , эти члены
(которые могут появиться лишь при а = 0) можно проинтег­
рировать непосредственно. Окончательный результат выгля­
дит так. Выделяя явно параметры, определяющие /оо, будем
записывать этот интеграл в виде 1<х>(Т9х, у, а, 5) и положим
/ « = / те(^ г , у, — X, a, a — s + -j) - (13)
Вместе с /«, это тоже целая функция от s. Положим е = 1,
если х — целое число и а = 0; в противном случае 8 = 0 ;
аналогично, пусть е ' = 1 , если у — целое число и а = 0 , и
е '= 0 в противном случае. Тогда

Г (s) Sa (х, у, S) = I„ + Г ая 3~а~ к е (ху) iL —


т$ __ ts - V2
— * ф у ) — + в'У я . (14)
Эта формула показывает, что левая часть мероморфно про­
должается на всю 5-плоскость, а полюсы ее могут быть в
точках 5 = 0 и s = 72. Определив функцию 5 а (х, у, 5) с по­
мощью формулы (14) для всех 5 и положив Т = л, мы можем
непосредственно проверить справедливость функционального
уравнения
Г (s) Sa (х, у, s) =
= r an s~a~l2e(xy)r(a — s + '/2) S a {y,— x, a — s + Vz). (15)
VII. Прелюдия к Кронекеру, § 8 71

При рациональных значениях х и у оно, по существу, экви­


валентно функциональным уравнениям для L-рядов Дирихле.
§ 8. В § 4 мы установили, что правая часть (10) сходится
в обычном смысле, если у не целое число и R e (s )> a /2 . То
же рассуждение показывает, что сумма голоморфна по 5 и
потому совпадает с 5 а (х, у, s). Разумеется, если бы мы не
могли установить голоморфность суммы (в обычном смысле
слова или по Эйзенштейну), последнее утверждение могло бы
оказаться ложным. Рассмотрим несколько особенно интерес­
ных частных случаев.
Начнем с функции Si(x, 0, V2) при нецелых х. Формально
она определяется рядом £ sgn (х + р), суммирование по
Эйзенштейну которого приводит к значению 2 [х ]+ 1 (ср.§ 4).
С другой стороны, уравнение (15) показывает, что
Si(x, о, 72) = -L5l(0) 1).
Правая часть здесь, как мы только что заметили, опреде­
ляется рядом в точке его обычной сходимости и потому мо­
жет быть вычислена по формуле (7). Поэтому
Si(x9 0, 1/2) = 2{ х) 1= 1 2 (х), (16)
где мы, как принято, положили (х) = х — [х] («дробная
часть» л;).
Поскольку Г ( 5 ) имеет полюс в точке 5 = 0, формула (14)
показывает, что S a(x, у,0) = 0, за исключением случаев,
когда а = 0 и х — целое число. Вычислим dS0(x> 0, s)/ds при
5 = 0. Представив Г (5) в виде 5_1Г (5 + 1 ), получаем с по­
мощью (15) следующее разложение вблизи точки 5 = 0 :

S0(x, о, s) = s S) -So(о,- x , ± — s) =
= sS0(0, — X, У2) + .. . .
Как выше, значение S0(0,—х, у2) при нецелых х опреде'
ляется сходящимся рядом
оо
е(рх)
S o (0 ,-x , V2) = £ ' Тм~Г‘

Можно непосредственно установить, что это — ряд Фурье


для функции log | 2 sin яя |-2. Следующий способ, возможно,
поучительнее. Положим f (х) = S0(0, —х, */2); из написанной
формулы ясно, что /(7 2) = —2 log 2. В области абсолютной
72 Часть II. Кронекер

сходимости ряд для S0(x, 0, s) можно дифференцировать


почленно. Это дает формулу
-fc-So (х, 0, 5) = — 2s5i (х, 0, s + 1),

которая, по свойству аналитического продолжения, должна


быть верна для всех 5. Дифференцируя ее по s и полагая
5 = 0, находим df/dx = —25 1 (х, 0, 1). Функция Si (х, 0, 1)
формально определяется рядом 5 ] ( jt+ p ) _1. Суммируя его
по Эйзенштейну, получаем я ctg тех. Для проверки того, что
это и есть Si(x, 0, 1), заметим, что обе функции нечетны по х.
Более общо, функция Sa(x, 0, s) четна по х при а = 0 и
нечетна при а = 1. С другой стороны, дифференцируя ряд
для Si (я, 0, 5) почленно в области абсолютной сходимости и
затем пользуясь аналитическим продолжением, мы, в точно­
сти как для S0(я, 0, 5), находим, что dS\ (х, 0, l)/dx =
= —S0(х, 0,1), причем последняя функция задается абсо­
лютно сходящимся рядом —^ ( л г + р ) -2 . Таким образом,
S i ( а :, 0 , 1 ) и n c t g T L X могут отличаться только на аддитивную
константу, и так как обе они нечетны, они совпадают. Поэтому
и f(x) может отличаться от log 12 sin я х |“2 только на адди­
тивную константу, а так как значения этих функций совпа­
дают при х = 7г и они периодичны с периодом единица, они
совпадают для нецелых значений х.
§ 9. Теперь мы перейдем к вычислению 5S i (a;, 0, s)/ds при
s = V2. Положим
оо

H(x,s) = X (x + n)-s (17)


П=0
при х > 0 , Re (s) > 1. Имеем
Я (х + 1 . s) = H(x,s) — x~s, (18)
dH{dX
x’ - = s H(x ,s+ l). (19)

С другой стороны, при Re (s) > 1 и 0 < х ^ 1

Я (х, s) = у 50(л:) 0, | ) + i-S ,(x , 0, ^ - ) . (20)

Вместе с (18) и (14) этот результат показывает, что H(x,s)


при всех х > 0 продолжается до мероморфной функции во
всей 5-плоскости с единственным полюсом при s = 1 и выче­
том единица. Функцию Н(х, s) иногда называют «функцией
VII. Прелюдия к Кронекеру, § 9 73

Гурвица». В традиционных обозначениях


Ш = Н( 1, s) = V2S0(o, о, -2.),
так что из (15) следует хорошо известное функциональное
уравнение для дзета-функции.
При 5 = 0 формула (14) дает Я(1, 0) = £(0) = — 1/2. При
5 = 0 и 0 < х < 1 формула (20) в соединении с (14) и (16)
показывает, что
Н(х, 0) = Уг — (х).
Пользуясь формулой (18), которая верна для всех s по свой­
ству аналитического продолжения, получаем
Н(х, 0) = 1/2 — х (х > 0). (21)
Для всех 0, х > 0 и R e ( s ) > l имеем
J L / s + i — 14 ,
Н(х, s ) - £ ( , )£(S + / ) ( - « ) =
i =0 4

n=l L t= 0 J

Поскольку правая часть абсолютно сходится при Re (s) > —N,


аналитическое продолжение показывает, что тождество ос­
тается верным в этой полуплоскости. Его можно рассматри­
вать как формулу для аналитического продолжения Н(х, 5 ) ,
коль скоро аналитическое продолжение £(s) уже получено.
Положим в этой формуле N = 1, затем почленно продиффе­
ренцируем ее один раз по 5 и дважды по х. Полагая F (х) =
= (dH/ds)s=o, получим при 5 = 0
4-00
U = £ (х + п)~2 = Н(х, 2 )> 0 .
п =О

С другой стороны, продифференцируем (18) по 5 и положим


5 = 0. Это дает
F(x-\- 1) — F(x) = log#.
Хорошо известно, что эти два свойства, вместе с положитель­
ностью d2F/dx2, характеризуют функцию lo g r(# ) с точностью
до аддитивной константы1). Поэтому F(x) = log СТ(х) для
подходящей константы С.
4) См., например, Е. Artin, Einfuhrung in die Theorie der Gammafunk-
tion, Hamb. Math. Einzelschr., № 11, 1931.
74 Часть II. Кронекер

Заменим теперь в формуле (20) х на 1 — х при 0 < х < 1


и сложим результат с (20). Поскольку функция S 0 четна по
х, S 1 нечетна и обе периодичны, получаем
S0(x, 0 , - f ) = H(x,s) + H { l - x , s ) . (22)
Разумеется, эту формулу можно было бы проверить и непо­
средственно. Дифференцируя ее по s и полагая s = 0, ввиду
результатов § 8 получаем
log 12 sin я* f 1= log[C2T(x) Г(1 —х)] (0 < х < 1).
Поэтому достаточно знать, что Г(72) = У^» чтобы заклю­
чить, что С2 = 1/2я. Окончательно
(23)

Эту формулу открыл Лерх в 1894 г. (см. [7с] в библиогра­


фии в конце этой главы). Наконец, подобно тому как мы вы­
вели формулу (22), можно установить, что
5, (х, 0, - 4 lL) = H ( x , s ) - H ( l - х, s),
и затем вычислить значение dS\ (х, 0, s)/ds при s = 72.
Формула (23) при х = 1 дает значение £'(()). Более общо,
с ее помощью можно вычислить значения 7/(0), где L(s) —
любая функция Дирихле. Мы воспользуемся этим в гл. IX.
Функциональное уравнение (15) в сочетании с упомянутой
выше формулой Для d S \ (х, 0, s)/ds в точке s = 7г непосред­
ственно приводит к знаменитой формуле Куммера для
log Г(лг) в интервале 0 < х < 1, полученной им в 1847 г. На­
оборот, из этой формулы и результатов § 7 можно вывести
тождество (23), но это требует несколько большего труда.
§ 10. Теория распределений позволяет переосмыслить не­
которые из установленных результатов. Остановимся на этом
вкратце.
Хорошо известно, что на R, на С и вообще на любом ло­
кальном поле существует единственное (с точностью до по­
стоянного множителя) распределение, которое под действием
мультипликативной группы поля умножается на данный ква­
зихарактер w этой группы. Это распределение, подходящим
образом нормированное, иногда называют «распределением
Тэйта»; мы будем говорить, что оно отвечает 0 .
Здесь мы будем заниматься полем R. Все квазихарактеры
Rx имеют вид
X и-*- со(х) = (sgn х)а\х\г,
VII. Прелюдия к Кронекеру, § 10 75

где а = 0 или 1 и ^ е С, Пусть сначала со(х) = х ~ п) где


п ^ О — целое число. Тогда квазихарактеру со отвечает рас­
пределение (dn/dxn)x=0 с носителем в точке л; = 0. В осталь­
ных случаях значение распределения на функции Ф из
«пространства Шварца» определяется формулой
-j-оо
Ои (Ф )= Р { $ 0(x)a>(x)\x\~1dx. (24)

Напомним, что Ф бесконечно дифференцируема и «быстро


убывает». Символ Pf («конечная часть») означает сам ин­
теграл, если он абсолютно сходится, а в общем случае
предел выражения
/ -8 +00\
( S + S J Ф(я) со(x)\x\~xdx — га+*Р(е2) (е > 0) (25)
' —оо 8 '
при е~>0, где Р —- многочлен, выбранный так, чтобы этот
предел существовал. Такой многочлен всегда существует,
потому что Ф бесконечно дифференцируема вблизи х = 0.
Правая часть (24) также определена, если (а) Ф всюду
локально интегрируема; (Ь) Ф m-кратно непрерывно диф­
ференцируема вблизи х = 0, где т > — Re (z); (с) при х -> чь оо
справедлива оценка Ф = 0 ( |х |А'), где Я < —- Re (z).
Предположим, что R e(z)< 0 , и выберем функцию <р на
Т = R/Z, ограниченную, интегрируемую и бесконечно диф­
ференцируемую вблизи нуля. Обозначим через Ф следую­
щую функцию на R:
Ф (х) = qp(xmod 1) е(— ху)
и положим А (ср) = Dq (Ф). Очевидно, А является распреде­
лением на Г. Для любой непрерывной функции ср, носитель
которой не содержит нуля, имеем
1
Д (ф)= jj cp(xmod 1) е(— x«/)Sa (*, у, а + \ ~ г ) dx,
о
где подынтегральное выражение периодично по х с периодом
единица. На общепринятом языке это означает, что А сов­
падает с функцией
е(— У, а + 2 Z) (26)
вне нуля. С другой стороны, коэффициенты Фурье распре­
деления А определяются формулами
dv = А [е (— vjc)] = [е (— х (у + v))].
76 Часть II. Кронекер

Нетрудно убедиться, что Do (l) = 0, так что dv = 0, если


y -\- v = 0. В противном случае
dv = Da [е (—ж)] со (у + v)_I,
так как D0 отвечает квазихарактеру со. Поэтому, положив
AQ= DQ[e(—х)], находим, что ряд Фурье для Д равен
—х, а ~^ . Величину Aq проще всего вычислить,
исходя из определения (25) и сдвинув контур интегрирования
на мнимую ось в х-плоскости. Детали мы оставляем
в качестве упражнения читателю. В результате находим:
= (2п)~г Г(2) [е ( - 2/4) + ( - ! ) “ е(2/4)].
Пользуясь хорошо известными тождествами для Г и полагая
G(s) = jo-s/2r(s/2), мы можем переписать последнюю фор­
мулу в виде

= i~aG(a + z) G(a + 1 — z)~x.


Это наводит на мысль связать с квазихарактером со не рас­
пределения Dm A, a G(a-{- z ) - 1D(i>и G ( a + ^ ) “ 1A. Действи­
тельно, в более систематической теории удобно поступить
именно так. Учитывая (26), получаем, что только что выве­
денное выражение для Л® формально равносильно тождеству
(15) § 7, но осмыслено иначе.
Определенное выше распределение Д для R e (^ )< 0 и ква­
зихарактера со, не имеющего вида со(х) = х~п, мы будем те­
перь обозначать Д^. Пользуясь вычисленным выше рядом
Фурье для До, нетрудно обнаружить, что если ф — любая бес­
конечно дифференцируемая функция на Г,то (?(а + 2:)-1Д(о(ф)
как функция от г аналитически продолжается на всю ^-пло­
скость. Этим можно воспользоваться, чтобы определить
G(a-\-z)~lA(0 как распределение для всех квазихарактеров со.
Ряд Фурье этого распределения равен
i~aG (a + 1 — 2)_I Sa(y, - x, . (27)
К числу самых полезных свойств распределений на Т от­
носится то обстоятельство, что их ряды Фурье всегда можно
дифференцировать почленно. Здесь мы проиллюстрируем это
на одном хорошо известном примере. Для со(х) = х, у = 0
ряд (27) имеет вид
( 28)
VII. Прелюдия к Кронекеру, § 11 77

Дифференцируя его, получаем ряд Фурье распределения


2jd(6o— 1), где б0— «распределение Дирака» (масса 1 в точ­
ке 0). Следовательно, (28) представляет функцию с разры­
вом в нуле и постоянной производной —2я вне нуля. По­
скольку она нечетна по х, она должна совпадать с я ( 1 —
— 2{х)). Этот результат следует сравнить с формулой (7) § 4.
§11. Рассмотрим теперь ряд (4) для комплексных значе­
ний х. Запишем его в виде
(5, у , S) = I (I + v f I£ + ц r 2s е ( - ну), (29)
м-
где а ^ 0 — целое число, £ = | + ir\, £, ц и у — вещественные
числа и г] =т*=0. Из-за последнего условия здесь нельзя огра­
ничиться только случаями а = 0, а = 1, как в § 7. С другой
стороны, оно же избавляет нас от необходимости рассматри­
вать сумму X)*- Предположим сначала, что R e(s)> а ~j^1 ♦
В этом случае ряд (29) абсолютно сходится и функция
Sa (£, У, s ) t ( — ly)
периодична по £ с периодом единица, так что ее можно раз­
ложить в ряд Фурье. Поскольку функция (29) введена здесь
лишь для исследования двойного ряда Кронекера в гл.УШ ,
нас будет интересовать только этот ряд Фурье. При более
систематическом изложении следовало бы рассмотреть также,
например, связь между значениями Sa (£, у, 5) при комплекс­
ных £ и Sa (x, у, s) при вещественных х, т. е. поведение
З а (£,#,$), когда л стремится к нулю. Мы оставим эти во­
просы в стороне; читатель может обратиться к статьям Лип­
шица (см. библиографию к этой главе).
Исключив случай, когда г лежит на отрицательной по­
ловине вещественной оси, а t — комплексное число, мы будем
всегда понимать под z* для комплексных t величину etlosz,
где в качестве log z взято «главное значение» (т. е. Im(log^)
принадлежит интервалу ] —я, я[). В частности, \ z \ 2s= z szs.
Как в гл. VI, дифференциальные операторы д/дг9 d/dz обыч­
ным образом действуют на вещественно аналитических (или
вещественно дифференцируемых) функциях от г е С.
Пусть F — некоторая функция от £ = £ + и], определен­
ная в полосе а < г \ < Ь и такая, что /7(£)е(— %у) периодична
с периодом единица по £. Разложив последнюю в ряд Фурье,
получаем для F представление
1
т = Z fv ft) е [(у + V) I] = £ 5 F(x + « 1) е[(г/ + v)(g - х)} dx.
v V0
78 Часть II. Кронекер

Для краткости мы будем называть его «рядом Фурье» функ­


ции F. Обозначим через FV(Q его v-й член. Оператор F »—> Fv
коммутирует со сдвигами ^-плоскости, а значит, и с д/д%,
д/дц (или, что то же самое, с 3/3£, <9/3£). Он коммутирует
также с оператором Fi—>qpF, где qp— любая функция от ц.
Поэтому если D *—любой линейный дифференциальный опе­
ратор по £, коэффициенты которого зависят только от г), то
из условия D(F) = 0 вытекает, что D (Fv) = 0 для всех v.
Применив это соображение к функции F = Sa (£, у , s) и опе­
ратору
д2
D = 2щ ■f (а — s) — + s —=-,
дЪд1 v ag ^ as
получаем, что коэффициенты fv соответствующего ряда
Фурье должны удовлетворять дифференциальному уравнению
114 ^ + (2s — a) - ^ - + [2ajt(y + v) _ 4n2(i/ + v)2ri]fv = 0. (30)

Кроме того (по-прежнему при Re (s) > а 1 ), очевидно,


что / v стремятся к нулю при |т)|->оо. Например, если у +
+ v = 0, то fv должны иметь вид С|г)|1+а_25, где С — кон­
станта, при ц ф О . Впрочем, это очевидно из соображений
однородности. В случае у-\- v Ф 0, пользуясь элементарными
свойствами бесселевых функций, можно также показать,
что (30) определяет fv однозначно с точностью до постоян­
ного множителя. Эту функцию можно явно выписать через
функции К 1 и ее производные. Мы сделаем это и явно
s ~ a~2
вычислим константу С с помощью формул Фурье для коэф­
фициентов fv.
§ 12. Удобно рассмотреть сначала случай а = 0. При
а > 0 и R e (s )> a + 72 можно будет затем применить фор­
мулу
(_пя ла
S a(Z, У, s) = (s—l) (s —2)...(s—a) dla У> S (31)
и получить с ее помощью ряд Фурье для Sa (£, у, s). Нако­
нец, пользуясь аналитическим продолжением в s-плоскости,
мы установим справедливость соответствующей формулы
для R e ( s ) + Т и продолжим Sa(£, У, s) анали­
тически даже в полуплоскость Re(s)^ a ~j^ .
Итак, применим формулы Фурье к вычислению коэф­
фициентов fv для функции S0(£, у, s). Разумеется, это то
VII. Прелюдия к Кронекеру, § 12 79

же самое, что суммирование ряда (29) при а = 0 по Пуас­


сону. Получим
So (S, У, S) = £ ФСп, У + V) е [(у + v)£], (32)
V

где функция ф определена формулой


+ оо

ФСЧ, У)= J 1^Г2*е(— yl)dl. (33)


— оо

Это, по существу, классический интеграл, исследование


которого имеет длинную историю 1). Умножив его на Г($) и
применив преобразование Дирихле (см. § 2), получим
r(s) ф(л, У) = 55 ехр [ —К |2+ Л2) — dtdl =
+оо
= д/я 5 ехр(— /р2— ~т~) ts~3h dt. (34)
о
При у = 0 находим:
ф(л,0) = 1л|’ 2*У” —г^)1/а)- (35)
Если у Ф 0, рассматриваемый интеграл немногим отличается
от стандартного определения так называемой функции К
(ср. цитированную книгу Ватсона, § 6.22, стр. 183, и библио­
графию в ней). Его рассматривал еще Пуассон. Для любого
комплексного числа -г и Re (У) > О положим
+00
КЛ2У) = Ч2 J ехр[—F p + у ) ] tz~l dt. (36)
О
При каждом значении У этот интеграл является четной целой
функцией от z. Из (34) следует, что
Г(«)ф(11, у) = 2л/я\пу/ц \z Кг {2\пуц\) =
= 2 У л | пу f zY~zKz(2Y) (37)
(уфО, z = s — j , Y = \пуг\\) .

Теперь можно написать ряд Фурье для функции S0(£, у, s) и,


заменив в нем s на s — а, воспользоваться формулой (31),
!) Ср. G. N Watson, Theory of Bessel Functions, § 6.16 (pp. 172—173);
там же имеется библиография.
80 Часть II. Кронекер

чтобы вычислить ряд Фурье для Sa(£, у, s) при R e (s )>


> а + 72- Выкладки вполне шаблонные, и мы ограничимся
формулировкой результата. Для е = ± 1 и У > 0 положим
Ф8(У, a, Z) = ё** -§а [e~2eYY~*Kx (2У)]. (38)
Ряд Фурье для имеет вид
5 а (5, у, s) = 2 (бг')_а r(s)_1 £ Cve[(*/ + v)g], (39)
V

где б = sgrni, а коэффициенты Cv выглядят так. При « /+ v= 0


имеем
С*=тс Г(г ( 7 - ^ ) 1)|21»ia+1~2s- (40>
В остальных случаях
Cv = ^ ( - 2 ) - “ | я(у + v)|2s_a_1 X
Х Ф е(|зтф ч- v) Til, a, s — a — j ) , (41)
где в = sgn[(«/ +v)rj].
Функция Kz при Y + оо допускает хорошо известное
асимптотическое разложение (ср. книгу Ватсона, § 7.23,
стр. 202). Однако здесь нам достаточно знать, что для всех
z функция KZ(2Y) и все ее производные допускают оценку
0(e~kY) с некоторым А, > 0 (на самом деле с любым К 2 ) ,
а это нетрудно получить непосредственно. Поэтому та же
оценка годится для Ф8, так что ряд в правой части (39) схо­
дится для всех значений параметров (со скоростью геомет­
рической прогрессии). Согласно принципу аналитического
продолжения, тождество (39) остается в силе всюду, где оп­
ределена его левая часть, т. е. при Re(s) > а 1 . Более того,
формулу (39) можно использовать в качестве определения
*Sa(£, y>s) для всех значений а, £, у, s, кроме тех случаев,
когда у — целое число и постоянный член (39), определяе­
мый формулой (40), обращается в бесконечность.
§ 13. Рассмотрим теперь некоторую положительно опре­
деленную бинарную квадратичную форму F(X, Y) с веще­
ственными коэффициентами и запишем ее в виде
F(X, Y) = АХ2+ BXY + СУ2 = А (X + £Y) (X + £У)
Вместо ряда Sfl(£, У, s) мы могли бы изучать построенный
с помощью этой формы ряд
Л- % (£ , y,s) = £ (м.+ £)а ^ ( М Р е ( — м) .
VII. Прелюдия к Кронекеру, § 13 81

Разумеется, с точностью до влияния множителя A~s резуль­


таты были бы теми же самыми.
Кронекер, изучая свои двойные ряды, судя по разным
признакам, как будто придавал особое значение тому обстоя­
тельству, что многие факты, относящиеся к положительно оп­
ределенным формам F(X, У), переносятся на случай комп­
лекснозначных форм с положительно определенной веще­
ственной частью. Объясним вкратце, как это делается. Запи­
шем квадратичную форму в виде
F (.X, У) = АХ2 + В ХУ + СУ2 = А(Х-\~ £У) (X + £'У)

и предположим, что Re[F(X, У)]>>0 для всех вещественных


X , У, так что £, £' заведомо не вещественны. Для всех веще­
ственных / значение F(t, 1) остается в полуплоскости
R e (z )> 0 . Если бы 1т(£) и 1т(£') были одновременно поло­
жительны, то аргументы чисел / + £, / + £' при изменении /
от — оо до — |—оо убывали бы от я до 0, а аргумент A~lF(t> 1)
убывал бы от 2л до 0 вопреки предположению *). По анало­
гичным причинам Im(£) и Im(^/) не могут быть одновременно
отрицательны.
Наоборот, если Im(£) и Im(g') имеют разные знаки, то
аргумент числа (/ + £') (t + £)-1, совпадающий с аргументом
A~~lF(t9 1), меняется от 0 до 0, когда / меняется от — оо
до + оо. Поскольку число (/ + £')(7+ £)-1 лежит на неко­
торой окружности в комплексной плоскости, она должна
целиком лежать в некоторой полуплоскости. Это означает,
что А можно выбрать так, чтобы выполнялось неравенство
Rе[Е(/, 1)]>0 для всех вещественных/. Положив т) = -£т (£—£0,
6 = sgnRe(r]), нетрудно убедиться, что для этого подходит
число А = 1/бт]. Положим еще 1 = */2 (£ + £ ')• При данных
£, ц мнимые части £ и £' имеют разные знаки тогда и только
тогда, когда | Im (£) | < | Re (rj) I- При данном ц допустимые
значения £ заполняют полосу в комплексной ^-плоскости.
Будем писать т]/ = бт], так что R e(r]')>0 и А = ц ' ~ 1.
В этих обозначениях мы покажем, как перенести резуль­
таты § 12 на ряды вида

5: = T1' - S I (ц■+£Т F (Ц, 1)_ве ( - м) ,

*) Здесь и в оставшихся главах книги мы заимствуем ряд рассужде­


ний из лекций К. Зигеля: С. L. Siegel, Lectures on advanced analytic num­
ber-theory, Tata Institute of Fund. Research, Bombay, 1961.
82 Часть II. Кронекер

где г/— вещественное число. В случае £' = £ этот ряд совпа­


дает с (29). При фиксированном ц функция S 'e (— %у) голо­
морфна по I и периодична с периодом 1 в той полосе, кото­
рая была описана выше. В точности, как в § 11 — 12,
вычисление ряда Фурье этой функции сводится к суммиро­
ванию S'a по Пуассону. Кроме того, S'a можно выразить
через S' с п о м о щ ь ю формулы, ничем не отличающейся от (31).
Для S' формулы Фурье дают

5 o = il/_s Е 4>(л', y +
V
v)e[(«/ + v)|],

где функция ф определяется как интеграл


+ °о _s
4>(л', |f) = J ( л ' + ^ г ) е( ty) dt
—оо
вдоль вещественной Uоси. Применяя к нему преобразование
Дирихле, получаем при у Ф О
г (s) ‘ф (л', у) = 2 V W Iщ \ г Кг (2Y)
(2 = s —у . У = к\у\ч'')>

а при у = О
Г (« Ж л ', °) = л '1 *У Т г($ — у ) .

После этого те же выкладки, что и в § 12, приводят к тож­


деству (39); нужно лишь заменить | rj | на ф и положить
е = 6 sgn (у -\-v). Оценки, обеспечивающие сходимость, ос­
таются теми же ввиду очевидного неравенства
I KZ(2Y) | ^Кяе(г) [2Re (У)].

ЛИТЕРАТУРА
1. Malmsten С. J., De integralibus quibusdam definitis, seriebusque in-
finitis, Crelles 38 (1849), 1— 39.
2. Lipschitz R., Untersuchung einer aus vier Elementen gebildeten
Reihe, Crelles 54 (1857), 313—328.
3. Hurwitz A., Einige Eigenschaften der Dirichlet’schen Funktionen
F (5 ) ( i r ) ~nF* ^er ®es^ mmunS der Klassenzahlen binarer
quadratischer Formen auftreten, Zeitschr, fUr Math. P h y s 27 (1882), 86—101
(Math. Werke, Bd. I, 7 2 - 8 8 ) .
VII. Прелюдия к Кронекеру 83

k jlix
E g2

-----, n n Acta
(w + k)
0
Math., 11 (1887—88), 19—24.
5. Lipschitz R., Untersuchung der Eigenschaften einer Gattung von
endlichen Reihen, Crelles /., 105 (1889), 127— 156.
6. Lerch M., Sur certains developpements en series trigonometriq
Ann. Toulouse (I), 3 (1889), 1— 11.
7. Lerch M., (a) Grundziige der Theorie der Malmstenschen Reic
Rozpravy ceske akad., I, № 27 (1892); (b) Studien auf dem Gebiete
der M almsten’schen Reihen, ibid. II, № 4, 23 (1893); (c) Weitere Stu­
dien . . . , ibid. Ill, № 28 (1894) (эти статьи написаны по-чешски; см. так­
же их авторские рефераты в Jarhbuch iiber die Fortschr. d. Math., 1892,
S. 446—452; 1893—94, S. 790—793, 484—486).
8. Lerch M., Ober den Kronecker’schen Beweis der sogenannten Kr
cker’schen Grenzformel, Arch. Math. Phys. (I ll) , 6 (1904), 85—94.
глава VIII

Двойной ряд
Кронекера

§ 1.Как в первой части, мы выберем некоторую решетку W


в комплексной плоскости и две ее образующие и, v. Таким
образом, W состоит из точек вида w = \iu-{-vv9 где ц, v —
целые числа. Символом % обозначим некоторый характер ад­
дитивной группы W. Иногда мы будем писать %(р, v) вместо
X(pM + vi>) .
Все двойные ряды, которыми занимался Кронекер к концу
жизни, имели вид
Ti%(w)(x-\-w)a\x-\-w\ 23. ( 1)
Он же ввел большую часть технических средств в теории та­
ких рядов. Однако в указанной общности эти ряды рассмат­
ривал лишь Лерх, находившийся под влиянием работ Кро­
некера. Сам Кронекер до 1889 г. ограничивался рассмотре­
нием случая а = 0, х = 0 (т. е. ряда (1) гл. VII, § 1) и ин­
тересовался главным образом значением в точке 5 = 1.
В 1890 и 1891 годах (особенно в последний год, отчасти под
влиянием переоткрытия работ Эйзенштейна) он стал прида­
вать особое значение случаю а = s = 1, т.е. ряду
(2)
w^W
По-видимому, к этому времени Кронекер начал рассматри­
вать ряд (1) как ключ ко всей теории эллиптических функций
(Werke, т. V, стр. 103—104). Начнем с изложения его основ­
ных результатов о таких рядах.
VIII. Двойной ряд Кронекера, § 2 85

Кронекер экспериментировал с разными методами сумми­


рования, включая метод

lim( Ё Ё )
y V -> + оо \ [ X = —N V = —N s

и даже вариант «суммирования по Кронекеру», исходя из


странного ряда X %(w) (* + w)~l (Werke, т. V, стр. 104—127).
В конце концов он счел суммирование по Эйзенштейну са­
мым подходящим. Этот метод мы и изложим ниже.
§ 2. Как в главах III и IV, положим
£ = */и, x = 6v/u, z = e(£), q = е (т).
Пусть, далее,
Х(«) = е ( - б р 0), %{v) = e (ба0), *0 = а0и + р0а,
£о = *о/и, z0= e ( £ 0).
В этих обозначениях сумму ряда (2) в надлежащей интер­
претации Кронекер записывает в виде 8ег(л;о, я, ц, v). Будем
считать, что х ф \ ¥ ) кроме того, временно предположим,
что %{и) Ф 1. Тогда можно выбрать р0 таким образом, что
0 < бр0 < 1. Так как \zQ\ = \q |б|3°, имеем 1 > | zG| > \q |.
В силу формулы (6) гл. VII, § 4, получаем
%(\хи + ур) _ 2 л 1 ( бРол: \ 4 V
Еу,
л: + | х и w и \ и ) qbv z — 1

Ряд слева сходится в обычном смысле слова. Поскольку


l > | z 0l>l<7l, сумма правых частей этого равенства по v
абсолютно сходится. Таким образом,

*,*.), (3)
где функция F определяется при 1 > | w \ > | q | рядом

F{q,z, w) = Y l' ~q z^ —
—1
г- (4)

В случае 1 > | z | > | < 7| это равенство можно переписать


в более симметричной форме
+00 +00
1 1
F(q,z, w ) = l 1 -2 1 —w
т= 1 п= 1
86 Часть II. Кронекер

§ 3. Теперь, довольно близко следуя Кронекеру (Werke,


т. IV, стр. 309 — 318), мы покажем, что функцию F можно
следующим образом выразить через бесконечные произведе­
ния X q(z), Р (д), введенные в гл. IV, § 3:
P ( q f X q (zw)
F{g, z, w) Xq(z)xq(w) (5)
Фиксировав q, обозначим правую часть этой формулы
через Ф(;г, до). Очевидно, что Ф(г, до) как функция от до
мероморфна при т ф О и имеет полюсы в нулях X qy т. е.
в точках до = qv. Следовательно, при 1 > I ДОI > I <71 ее можно
разложить в ряд Лорана
Ф(г, до) = Z fv{z)wv.

Формула (19) гл. IV, § 5 показывает, что


ф(гудо) = w(b{qzyдо) = гФ{гуqw). (6)
Согласно первому из этих равенств, получаем, что для всех v
fv (z) = f0(gvz).
Второе равенство показывает, что при | <7 Г 1> | ш | > 1 имеем
Ф (z, w) = X z fv (г) qvwv.
V

Пусть у, yf — окружности | до | = | q | ,/з, | до | = | q | _,/2 в до-пло­


скости, ориентированные против часовой стрелки. Интегралы
от (2niw)~lO(z, w)dw вдоль у и у' равны fQ(z) и zf0(z) со­
ответственно. По теореме Коши разность этих двух интегра­
лов равна вычету до-1Ф в точке до = 1. Этот вычет равен еди­
нице, потому что P(q)2 совпадает с производной Xq(w) в
точке до = 1. Поэтому ( г — 1)/0(г) = 1, что завершает дока­
зательство тождества (5).
§ 4. Теперь мы определим функцию F (q, zy до) формулой
(5) для всех значений z, до. Заменим х0 на х0 + ^о, гДе
до0 е W. Тогда z0 заменится на qvz0, где v — некоторое целое
число. Формула (6) показывает, что правая часть (3) не из­
менится. В частности, формула (3) останется верной при
условии, что%(ц) ф 1.Если %ф 1, но %(и) = 1, то левая часть
(3) не будет сходиться даже по Эйзенштейну. Все же, если
заменить суммирование Хе подходящим его вариантом, то
формула (3), в которой F (q, z, до) определяется по-прежнему
посредством (5), останется верной. Это нетрудно проделать,
пользуясь результатами гл. И.
VIII. Двойной ряд Кронекера, § 5 87

Учитывая формулу (15) гл. IV, § 3, мы можем переписать


формулы (3) и (5) в виде
W _ ( 6 М ч д>(х + х0) ( .
e x+ w V и ) ср(лг) ф(лг0) *'
при условии, что %(и)-Ф 1. Из формулы (17) гл. IV, § 4 не­
посредственно видно, что правая часть не зависит от выбора
образующих а, v решетки W.
§ 5. Это последнее утверждение можно получить и другим
способом. Положим
K(w, s) = %{w) {х + w) |x + w\~2s
и рассмотрим ряд $)• При 5 = 1 он формально сов­
падает с рядом в левой части (7). Предположим, что х ф W
и что %{и)Ф 1. Пользуясь результатами гл. VII, § 4 и § И,
мы можем заключить, что
Z Ц щ + vt), s) = % (vv) и | и r 2sS! (£ + 6 v t , бРо, s). (8)
[i
.Левая часть здесь сходится в обычном смысле при R e (s)> 72-
это доказано в гл. VII, § 4. Правая часть определяется с по­
мощью формулы (29) гл. VII, § 11 при R e (s)> 1 и с по­
мощью формул (39) и (41) гл. VII, § 12 для произвольных 5.
Формула (40) гл. VII, § 12 здесь не нужна, потому что
x ^ W и, следовательно, величина £ + 6vt не может лежать
в Z. При R e (s )> 1 тождество (8) справедливо; поэтому оно
остается верным при R e (s )> 1/2 в силу принципа аналитиче­
ского продолжения.
Просуммируем теперь тождество (8) по v. Подставив вме­
сто S\ справа выражение этой функции в виде ряда (39)
гл. VII, § 12, мы получим двойной ряд, абсолютно сходящий­
ся для всех s. (Для проверки этого хватает грубых оценок
функции Бесселя Кг и, следовательно, Фе, данных в конце
гл. VII, § 12.) Отсюда находим

при условии, что хф.У7 и %{и)ф 1. Предел справа берется


по s > l , s —
> 1. Поскольку двойной ряд справа абсолютно
сходится при s > 3/г и потому его сумма не зависит от вы­
бора образующих и, v решетки W, то же верно при аналити­
ческом продолжении вдоль вещественной оси в s-плоскости.
Значит, и левая часть обладает этим свойством.
88 Часть II. Кронекер

§ 6. Перейдем теперь к ряду Кронекера


G(s, х ) = E 'x H I a y f 2*.
где 2У> как обычно, обозначает сумму по всем w е W,
кроме нуля. Как прежде, положим w = \ш + vn, | w |2 = F(\i, v),
X(ш) = х (р, v). Тогда
G(s,%)= 1У х(Р, v)F(p, v p , (9)
где F — положительно определенная квадратичная форма.
Наоборот, любую такую форму можно представить в виде
|[im + w | 2. Решетка W допускает комплексное умножение
(в смысле гл. V, § 6) тогда и только тогда, когда F можно
представить в виде F = cFu где F\ — форма с целыми коэф­
фициентами.
Ряды типа (9) с %= 1 и для формы F с целыми коэффи­
циентами впервые появились в работе Дирихле о числе клас­
сов бинарных квадратичных форм. Он установил, что пред­
ставленная этим рядом функция имеет в точке 5 = 1 простой
полюс с вычетом 2n D ~ \ где —D — дискриминант формы F.
Его доказательство проходит и для форм с нецелыми коэф­
фициентами.
Основные результаты Кронекера состоят в вычислении
(a) значений G(l,%) при %Ф 1; (Ь) постоянного члена в
разложении G(s, 1) вблизи 5 = 1. Последний результат изве­
стен как «предельная формула» («Kroneckersche Grenzfor-
mel»). Иногда ее называют «первой предельной формулой»,
а предыдущую — «второй». Сам Кронекер вывел результат
(b ) из (а), сначала для форм с целыми коэффициентами
(Werke, т. IV, стр. 376—379), а затем в общем случае (Wer­
ke, т. IV, стр. 482—495) 1). Кронекер несколько раз отмечал,
что его формулы можно обобщить также на случай бинар­
ной квадратичной формы с положительно определенной ве­
щественной частью (ср. выше, гл. VII, § 13). Это нетрудно
сделать, пользуясь результатами гл. VII, § 13, но мы не будем
касаться этого случая здесь.
§ 7. Позднейшие авторы (М. Лерх, X. Вебер и другие) об­
наружили, что работать непосредственно с G(s, 1) еще проще.
Их доказательства мало отличаются друг от друга. Здесь9
9 Общее доказательство «первой предельной формулы» получил
X. Вебер еще в 1881 г. под влиянием статьи Кронекера 1863 г.; см. Werke,
т. IV, стр. 221—225, а также Dedekind, Werke, т. II, стр. 225. Доказатель­
ство Вебера опубликовано в Math. Ann., 33 (1889), 392—395.
VIII. Двойной ряд Кронекера, § 8 89

мы следуем статье Чоула — Сельберга, Crelles 227 (1967),


86—ПО. В обозначениях гл. VII, § 4 и § И имеем
G(s, 1) = | и n 2s X ' 11*+ VT Г 2*= | и Г 2* Е So (VT, 0, s), (10)
ц , V V

где ряд справа абсолютно сходится при R e (s )> 1.


Член 5 0(0,0, s) здесь совпадает с 2£(2s). Формула (15)
гл. VII, § 7 дает для него хорошо известное функциональное
уравнение. Формула (14) того же параграфа показывает,
что у этой функции имеется единственный полюс в точке
s = 7г с вычетом единица. После этого из формулы (15) вы­
текает, что 2£(0) = —1, а из формулы (23) гл. VII, § 9 сле­
дует, что 2£'(0) = —log(2:rt). Наконец, снова применяя фор­
мулу (15) и стандартные сведения о Г (5), находим, что по­
стоянный член в разложении £(2s) вблизи s = 1/2 совпадает
с константой Эйлера у = —Г'(1).
Рассмотрим теперь члены ряда в правой части (10), отве­
чающие значениям v Ф 0. Положим т = £ + /со. В силу опре­
деления т имеем со > 0. Для вычисления S0 используем фор­
мулы (32), (35), (37) гл. VII, § 12. Получаем
So (VT, 0, S) = У ^ Г (5 _ |/2) Г(5) - ‘| cov |‘- 2Ч
+ 2я*Г($Г‘ I ' | р/т Г /Сг(2ясо | vp|) e(vp£), (11)
Р

где z = s — 72. Подставляя это выражение в (10), находим


l« P G(s, 1) = 2£(2s) + 2д/я r ( s — - 1) +
+ 2 У я Г (в Г ,(я/©)*0,(2), (12)
где через G{(z) обозначен двойной ряд
Gdz) = Х ' Z 'l p/v |2/Cz(2jto>|vp |) e(vpi). (13)
V p

С помощью оценок для Kz, выведенных в конце гл. VII, § 12,


нетрудно проверить, что этот двойной ряд абсолютно сходит­
ся при любом z и представляет целую функцию от z. Меняя
местами v и р в формуле (13), убеждаемся, что эта функция
четная.
§ 8. Принимая во внимание функциональное уравнение
для функции £ и известные тождества для F(s), мы можем
переписать формулу (12) в более удобном виде:
l« P G(s, 1) = 2£(2s) + 2Г(1 - s) r(s)_1(n/co)2s_1 £(2 - 2s) +
+ 2 У ^ Г (5 Г ‘(я/со)г е,(2). (14)
90 Часть II. Кронекер

Умножив ее на F(s) (я/со)-2, получим четную функцию по г.


Это и есть «функциональное уравнение» для G(s, 1); в § 13
мы докажем более общий результат. Из этой формулы видно
также, что G(s, 1) не имеет в s-плоскости полюсов вне точки
s = 1, а ее вычет в этой точке равен я/(соий), или, что то же
самое, 2я£)-1/2, где —D — дискриминант квадратичной формы
^((ы, v). Это установил Дирихле. Формула (14) показывает
также, что G(0, 1 )= —1.
Для вычисления следующего члена в разложении G(s, 1)
как в точке s = 0, так и s = l, нам нужно определить зна­
чение ОД1^). Хорошо известно, что Ky2{2Y) = у (jt/F)7*e~2Y.
Это нетрудно проверить непосредственно, сделав замену пе­
ременной — Г"1/2= 0 в интеграле (36) гл. VII, § 12. Отсюда
следует, что
+ оо + о о

Д - у ) = Z Z t ^ vp+ 4vp) = — Iog[P (?)/>(?)].


V = 1 p = l

Мы положили здесь q = e (т), как обычно; q = е{—т) — ком­


плексно сопряженная величина; Р (q) — бесконечное произ­
ведение, определенное формулой (14) гл. IV, § 3.
Пользуясь доказанными выше свойствами £(s) и извест­
ными свойствами T(s), мы можем теперь вычислить первые
два члена разложений G(s, 1) в точках s = 1 и s = 0. В фор­
мулах естественно появляется «дискриминант» Д = Д(ИР),
определенный выражением (36) гл. IV, § И. Введем, как
в гл. VI, § 2, обозначения
uv — ш = — бшДт — т) = — 2id(MiU= — 2ni 6Л, (15)
где константа А = сош7/я зависит только от решетки W , но
не от выбора образующих и, v этой решетки.
Разложение G(s, 1) вблизи s = l начинается с членов
ЛС (s, 1) = ^ + 2y - log (Л2) - ± log (АЛ) + . . . , (16)

где у — постоянная Эйлера, а опущенные слагаемые обра­


щаются в нуль в точке s = 1. Это и есть предельная формула
Кронекера.
Вблизи точки s = 0 имеем
G(s, 1) = - 1 — f r l og( AA) + . . . . (17)
Функциональное уравнение для G(s, 1) позволяет легко вы­
вести любую из этих формул из другой. Как часто случается
VIII. Двойной ряд Кронекера, § 9 91

с рядами Дирихле арифметического типа, формула для 5 = 0


проще.
§ 9. Теперь мы рассмотрим поведение функций G(st %)
с I, в частности, в точке 5 = 1. Вычисляя G(l,%) через
известные функции, мы стоим перед выбором одного из двух
методов суммирования — по Эйзенштейну или по Кронекеру.
Мы покажем, что оба метода дают один и тот же результат.
Когда сам Кронекер занимался этим рядом (Werke, т. IV,
стр. 347—351), он пользовался (несомненно, не зная этого)
важной идеей метода Эйзенштейна.
В обозначениях § 2 мы можем формально написать:
G(s, %)= Z , .F(H,v)-SX(tm + w ) =
М
-»"V
= X / 1« Г 251 + 6vt r 2s е (—бр0|х + 6a0v) = ' £ IAV(s), (18)
Ц, V V

где
Av (s) = \uf 2sS0 (v t , 6p0, s) e (a0v) (19)
и функция S0, как всегда, определяется формулой (4) гл. VII,
§ 4. При R e (5 )> 1 все ряды здесь абсолютно сходятся.
Положим 5 = 1. Из формулы (8) гл. VII, § 4 следует, что

^ 1) = S ( P o - SPo + i ) (0< бр0 < 1 ). (20)

Чтобы вычислить Лу(1) при v Ф 0, Кронекер исходит из тож­


дества, по существу совпадающего с тождеством (1) гл. II,
§ 2, которое было отправным пунктом и для Эйзенштейна:
F(\x, v)“ ! = (\ш + vt))-1 (\ха + vt))-1 =
(2D

В действительности в этом месте (Werke, т. IV, стр. 350—351)


Кронекер работает с квадратичной формой F с положительно
определенной вещественной частью (ср. гл. VII, § 13). Этот
случай, более общий, чем рассматриваемый здесь, можно ра­
зобрать в точности тем же методом.
Предположим сначала, что 0 < 8 Р о < 1 . Вычислим
Лг(1) с помощью формулы (6) гл. VII, § 4 и тождества (21).
Получим
24v( 1 ) = Z ^ . v)-1 x ( h« + w ) = A ^ U t o i x , go) — fev(t, £o)L (22)
92 Часть II. Кронекер

где £0 определена, как в § 2, а функция fv определена для


всех v ф 0 формулой
—1 V
V l zZ
1 — е (\?т) 1 — qv
Следует заметить, что ряд (22) абсолютно сходится. По-
скольку е(£о) = 2о\ е(т) = q \ имеем
-1 - V

/_V(T>So)
1 -^ ‘
Бесконечное произведение Xq(z), определенное в гл. IV, § 3,
можно записать в виде
+ оо

X q{z) = — г~'1г X I (1 — qnz)(\ — qn+xz~x).


л=0

При 1 > | z | > | q | получим


+ оо +оо

log (—г'1*Хд(г)) = — z Zv->(<?nv2v+


П=О V = 1
<7(n+1) vz~v) =
= — о.
Все ряды здесь абсолютно сходятся. Если \z\ = 1, z Ф 1,
формула Абеля суммирования по частям (см. гл. VII, § 4) по­
казывает, что правая часть продолжает сходиться в обычном
смысле слова. Поэтому формула остается верной по непре­
рывности. Заменим в ней q, z сначала на q, Zq, а затем на q,
Zq. Предполагая теперь, что 0 ^ бРо < 1, имеем 1 ^ \ zq >
> \q\. Кроме того, в прежних обозначениях, log \q
= —2жо и log |z0| = —2ябр0со. Объединяя все полученные
тождества, находим окончательно
2= Л(1) + ^ ] ^ev(i) =

=Tf(Pq+i) “ А~'1о§ (23)


Мы установили эту формулу при 0 бро <С 1. Но левая часть
ее не зависит от выбора р0 при данном %. Что касается пра­
вой части, то, пользуясь формулой (19) гл. IV, § 5, нетрудно
установить, что она не меняется при замене Ро на Ро + 1 и
соответственно z0 на q6z0. Поэтому формула (23) верна без
ограничений, если только %Ф 1.
§ 10. Теперь рассмотрим суммирование по Кронекеру.
В формуле (19) при v Ф 0 заменим S 0 ( v t , бро, 5) его значе­
нием по формуле (32) гл. VII, § 12. Соответствующий ряд
VIII. Двойной ряд Кронекера, § II 93

состоит из членов вида (37) (тот же параграф), содержащих


функцию Kz с 2 = $ — 72, и, если р0 — целое число (т. е.
х(и) = 1), из еще одного члена, определяемого формулой
(35) того же параграфа. Все члены, содержащие Kz, обра­
зуют двойной ряд, сумму которого мы обозначим C(s). С дру­
гой стороны, при %{и)= 1 соберем вместе все члены вида
(35). Их сумма имеет вид
B(s) = | и Г 25 е (oqv) r ( s - ^ ) Г (s)"11ov |1_2s =
V

= |M|-2V ^ r ( s — - j) Г (s)_I 0 1_2sSo(o, —a0) 5 - 1 ) . (24)


При %(и)Ф 1 положим B(s) = 0.
Таким образом, при R e(s)> 1 имеем
Z ' x ( w ) \ w \ ~ 2s = M s ) + B(s) + C(s). (25)
Грубая оценка /Cz, указанная в конце гл. VII, § 12, пока­
зывает, что двойной ряд C(s) абсолютно сходится при всех
5 и представляет целую функцию от 5. Формула (14) гл. VII,
§ 7 показывает, что функции Л0(5) и B(s) мероморфны во
всей 5-плоскости. Точнее говоря, функция Л0(5) цела, если
только %(и) Ф 1; при %{и)= 1 она имеет единственный про­
стой полюс в точке s = */2 с вычетом \и\~1. Если %(и) = 1,
функция B(s) имеет полюс с вычетом— \и\~1 в точке s = 1/2,
а если к тому же ао — целое число, т. е. %(v) = 1, у нее
имеется дополнительный полюс в точке s = 1 с вычетом А “7
При %= 1 мы снова получаем результат, доказанный в § 8.
В остальных случаях это рассуждение показывает, что функ­
ция (25) цела по 5.
§ 11. При R e(5 )> 1 левая часть (25) зависит только от
решетки W и характера но не от выбора образующих и, и
решетки W. Следовательно, то же верно относительно правой
части при R e(5 )> 1. Аналитическое продолжение позволяет
распространить это утверждение на все значения 5. Рассмот­
рим теперь ряд 2]A v (5). Е сли х ( и ) Ф 1, он абсолютно схо­
дится при всех 5, ибо этим свойством обладает ряд С (5). При
%(и) = 1 его значение в точке 5 = 1 совпадает с правой
частью (23). Иными словами, «суммирование по Кронекеру»
приводит к тому же значению G(5, %), что и «суммирование
по Эйзенштейну».
Это показывает заодно, что левая и правая части тожде­
ства (23) не зависят от выбора образующих и, v решетки W,
если только %(и)Ф1. По непрерывности, то же верно при
94 Часть II. Кронекер

%(и) = 1, если х Ф 1. Для правой части это можно проверить


и непосредственно, пользуясь формулами (15), (17) и (25)
гл. IV. Третье доказательство, основанное на представлении
функции X q(z0) Xq(zo) двойным тэта-рядом, который зависит
только от квадратичной формы F, можно найти у Кронекера
(Werke, т. IV, стр. 354—355). Ср. также лекции Зигеля в
Бомбее, на которые мы ссылались в гл. VII, § 13, стр. 81.
§ 12. Известны два метода аналитического продолжения
всех рядов типа (1), оба восходящие к Кронекеру. Первым
из них мы пользовались в применении к ряду G(s, %). Доста­
точно будет описать его вкратце в общем случае.
В обозначениях § 2 и с константой Л, определенной фор­
мулой (15) § 9, имеем
XИ = ехр[Л-1 fata) — x0w)]. (26)
Обозначим функцию, представленную рядом (1) при R e(s)>
> у + 1 , символом
Ка(х, Xо, $) = Е * х Н ( * + ^Г1* + шГ25 (27)
Сумма Y* берется по всем w ^ W , кроме —х, если x ^ W .
Результат зависит только от х, x0i s и решетки W. При необ­
ходимости мы будем обозначать его также Ka{xt х0, s; W).
Как всегда, а — целое неотрицательное число.
В обозначениях гл. VII, § 7 и 11, имеем
Ка (х, Хо, s) = X «“ Iu\~2sSa(t, + VT, SPoS) e(a 0v). (28)
V

Положив, как выше, x = au-{-$v с вещественными а, р, по­


лучим £ = а + брт. Число £ + vt будет вещественным, если
v = —бр. В случае когда р целое, мы будем обозначать сим­
волом A (s) тот член правой части (28), который отвечает
v = — бр:
A (S) = й“ | и r 25Sa(a, бро, s) е ( - бр<х0) =
= «“| « r 2s5 ft(a, бр0> s ) е(— бра0),
где 6 = 0 или 1, b = a mod 2. Если число р не целое, поло­
жим А (5) = 0.
Ко всем остальным слагаемым в правой части формулы
(28) применима формула (39) гл. VII, § 12. С ее помощью
каждое слагаемое представляется в виде ряда, члены кото­
рого задаются формулой (41) того же параграфа, за исклю­
чением, возможно, одного слагаемого, которое определяется
VIII. Двойной ряд Кронекера, § 13 95

формулой (40) и присутствует в том и только том случае,


когда Ро — целое число. В этом последнем случае соберем
вместе все слагаемые вида (40) и обозначим сумму этого
ряда через B(s). Имеем
.а - -а , ,2s 2 s - a -l г>/ \
IU \и\ (О B(s) =
r(2s — а — 1)
= 2а+2 —2sтс---------------
Г(5)Г(5 z ^ - S a(6p) - a 0, s - Y ) =
CL ~\“

= '\/я Kf_ а + \ —Ь а + 1—b


Г(5)Г(5 ) Sft(6p, —a0)s
)■
где b определено выше. Если же 80 не целое, положим
B(s) = 0.
Сумму всех остальных членов, определяемых формулой
(41) гл. VII, § 12, обозначим через C(s). Функция C(s) опре­
деляется двойным рядом, все члены которого содержат функ­
цию Бесселя К2. Наши прежние оценки показывают, что этот
ряд абсолютно сходится при всех 5 и является целой функ­
цией от 5. Функции Л(5) и B(s), когда они не обращаются
в нуль, вычисляются с помощью формулы (14) гл. VII, § 7.
Они мероморфны во всей 5-плоскости и имеют не более чем
простые полюсы при b = 0 в точках s = а 1 и s = -|- + 1.
Вычисление вычетов в этих полюсах с помощью формулы
(14) гл. VII, § 7 показывает, что на самом деле только точ­
ка 5 = 1 может быть полюсом и только в случае а = 0,
X = 1-
§ 13. К тем же результатам можно прийти и, видимо, еще
более естественно, если воспользоваться другим методом ана­
литического продолжения простого ряда Sa (x,y,s). Для ве­
щественных значений х это метод гл. VII, § 7.
Применив преобразование Дирихле к формуле (27), полу­
чим
+ оо

r(s) к а(х, х0, s ) = ij e*a(t, X, ха) is~l dt, (29)


о
где мы положили
®о (t, X, Хо) = Е * exp [— t \х + шI2] %(w) (х + ш)а =
= 2 * е х р [— t |* + ш |2+ Л-1 (x0w — xQw)] (х + ш)°.
Суммирование 2 * производится по всем точкам решетки
w е W , кроме —х, как и выше. Аналогичную сумму, рас­
пространенную на все точки решетки, обозначим через ©а.
96 Часть II. Кронекер

Таким образом, 0а = 0а — х(— х), если а = 0 и x ^ W ;


0а = 0а в остальных случаях.
Продолжим % до характера аддитивной группы С, поло­
жив для любого х е С
%{х) = ехр [Л_1(хах — х0х)].
Функция 0 а (/, л:, Х о ) х ( х ) периодична по х с решеткой перио­
дов W. Представив снова л; в виде а и + ри, получим, что она
периодична по а, р с периодом единица. Можно разложить
эту функцию в ряд Фурье по а, р, вычислив его коэффи­
циенты по формулам Фурье. Это то же самое, что применять
к 0 а формулу суммирования Пуассона. Еще удобнее преоб­
разовать таким образом 0 Ои затем вычислить 0 а как а-крат-
ную производную 0 Опо л: (в гл. VII, § 7 мы поступили таким
же образом с простым тэта-рядом). Получим
е«(*. х, х0) = (At)-*-10„(Л -2Г', Хо, X) %(-х). (30)
Теперь разобьем интеграл (29) в сумму интегралов по 0 <
<С t и по t > Т. Второй из них, который мы обозначим
/оо(Т, х, Хо, а, 5), абсолютно сходится для всех 5 и определяет
целую функцию от 5. В первом интеграле выразим 0д через
0 а, применим формулу (30) и, наконец, произведем замену
переменной t = A~2u~l. Получим
r ( s ) / ( а ( * , Л'О» s ) ^оо ( X t -^0» $ ) ~ 1“

+ Ла+,- 25/ 0О(Л -2Г - ‘, х0> х, а, a + l - s ) x ( - * ) -


j'S rps—a — 1
+ (31)

где е = 1 , если а = 0, x ^ W ; е = 0 в противном случае;


е' = 1, если а = 0, х0 е W; е' = 0 в противном случае.
В результате получится мероморфное аналитическое про­
должение левой части (29) на всю 5-плоскость. Полюсы мо­
гут лежать только в точках 5 = 0 (если а = 0, х е W) и
5 = 1 (если а = 0, х0 е W ). При а = 0, х е W вычет в точке
5 = 0 равен —х(—*)> т. е. —1 при х = 0. Если а = 0,
х0 = 0 (т. е. х = 1), вычет в точке s = 1 равен Л-1.
Положив Т = А~{ в формуле (31), получим функциональ­
ное уравнение
Г(5) К,а(х, Xq, 5)
= Ла+1-2Т (а + 1- S) Ка (х0, х, а + 1- s )x (-x ) . (32)
VIII. Двойной ряд Кронекера, § 14 97

Заметим еще, что при Re(5) > y + 1 функция Ка(х, 0, s)


четна или нечетна по х в зависимости от четности или нечет­
ности а и периодична по х с решеткой периодов W. Аналити­
ческое продолжение показывает, что это остается верным
при всех s.
§ 14. Теперь мы в состоянии решить вопрос, рассмотрение
которого было отложено на будущее в конце гл. VI. Функции
Еа,ь9 Е*а,ь были определены формулой (8) гл. VI, § 4. Оче­
видно, для всех х ф. W имеем
Еа, b {х) — Еа, ЪС^) — Ка+b 0^, 3, ^),
если только ряд, определяющий Eatby сходится абсолютно,
т. е. + 3. Покажем, что тождество
Е*а, Ь (*) = К а + Ь (х , О , Ь ) (33)
остается справедливым и при b — а = 1 или 2. Действи­
тельно, при R e ( s ) > y + 1 имеем

дх Ка ( Х9 * 0 , s) = s Ka+l (х, *0 , ^ + !)• (3 4 )

Аналогично, если а > 0,


j=Ka{x, х0, s) = (a — s) Ka-i(x, х0, s). (35)
Кроме того,
SDKa{Xy 0,5) = — sKa +2{х, 0 , 5 + 1), (36)
где дифференциальный оператор Ф определен формулой ( 1 )
гл. VI, § 1. Аналитическое продолжение показывает, что эти
формулы справедливы для всех 5 .
В частности, из формулы (35) видно, что Ка(х, *о, а) яв­
ляется голоморфной функцией ог х при а > 0 и x ^ W . Ис­
ключением является случай, когда Ка-\ (*, лг0, 5) имеет полюс
в точке s = а. В § 13 мы убедились, что это возможно лишь
при а = 1 и х0 е W. Там же было показано, что вычет
Ко(х, 0, 5) в точке 5 = 1 равен А~1. Поэтому
о, 1) = - Л - ‘.
После этих замечаний рассмотрим сначала функцию
/С2 (я, 0, 2 ). Установленные выше формулы показывают, что ее
производные по х и х совпадают с производными E0t2, т. е.
98 Часть II. Кронекер

Е2. Поэтому К2(х, О, 2 ) может отличаться от Е2 только кон­


стантой. Теперь рассмотрим разность К\(х, 0, 1 )— Ei(x). Ее
производные по х и х постоянны, и она нечетна по х, следо­
вательно, она является вещественно линейной функцией от
х. Поскольку Ki(x, О, 1 ) периодична по х с решеткой перио­
дов W, это позволяет заключить, как в гл. VI, § 2, что эта
функция совпадает с Е\. Пользуясь теперь формулами (34),
(36) и (8) гл. VI, § 4, находим, что тождество (33) верно для
всех b > а ^ 0.
§ 15. Из формулы (27) очевидно, сначала для R e($)>
> у + 1 , а затем по аналитическому продолжению для
всех 5, что
Ка(0, Х0, S) = [Ка (х, Х0, s) — X a \ x \ ~ 2s]x=0.
Сравнивая этот результат с определением е*а ъ в г л. VI, § 5
и пользуясь выводами § 14, получаем
С = *«+» ( ° . м ) .
если только Ъ > а ^ 0. Тем самым мы доказали все утверж­
дения, высказанные в конце гл. VI. В частности, полагая
N = а + 6, мы установили, что числа
nN-b%-NKN(x9о, Ъ)
алгебраичны над Q, если QW есть мнимое квадратичное поле
k, х е k и Ъ V, N < 26.
В заключение (не выходя за поставленные нами рамки)
рассмотрим случай, когда характер %, входящий в определе­
ние функции Ка{х, Xo,s), имеет конечный порядок. Для этого
необходимо и достаточно, чтобы Ar0eQU7, . е. чтобы ядро
т

ограничения % на W было подрешеткой W a W. Обозначим


через R некоторую систему представителей факторгруппы
W/W' в W. Тогда при R e ( s ) > y + 1 и, в силу аналитиче­
ского продолжения, при всех s имеем
Ка(х, Хо, s ; W ) = Z %(Г) Kaix + r, О, s; W').
rs=R
Вместе с доказанным выше результатом это позволяет за­
ключить, что числа
nN~b8i-NKN(x, х0, Ь)
алгебраичны над Q, если Wczk, x ^ . k , X o ^ k , 0 < JV/2 <
< b^N .
VIII. Двойной ряд Кронекера, § 16 99

Наконец, в силу функционального уравнения (32), послед­


нее утверждение остается верным при 0 < Ъ ^ N. Мы остав­
ляем читателю переформулировку этого утверждения в тер­
минах значений L-функций Гекке мнимых квадратичных по­
лей.
§ 16. В гл. VII, § 10 мы показали, как перевести некото­
рые из результатов этой главы на язык теории распределе­
ний. Проделаем эту же работу с двойным рядом Кронекера.
Обозначим через \dxdx\ нормированную меру Хаара
на С. Пусть W — некоторая решетка в С. Фактор по ней
Т = С}W представляет собой комплексный тор. Положив,
как обычно, x = au-\-$v, получаем | dx dx \ = 2пА da dp, где
da dp — мера Хаара на Т, нормированная условием J da dp = 1.
т
Для любой интегрируемой функции f на Т отображение
ср Д (ф ) = ^ ф/ da dp (37)
т

является распределением на 7, которое мы будем обозначать


символом Д = /d a d p или, для краткости, просто /. Мы будем
говорить даже, что Д «есть» функция /.
Члены рядов Фурье на Т = C/W нумеруются характерами
тора Г, или, что то же самое, теми характерами С, которые
тривиальны на W. Их можно записать в виде
x = a u + $v > ф^(л:) = e(6va— 6р,р)= ехр[Л- 1(ш: — wx)\ (38)
где, как обычно, w ^ W , w = \iu-\-vv. С любым распреде­
лением Д на Т связан ряд Фурье
I a^ V
Наоборот, любой формальный ряд Фурье на Г, коэффициен­
ты которого растут не быстрее 0 ((p^ + v2)^) для какого-ни­
будь V, отвечает некоторому распределению.
Как в гл. VII, § 10, будем говорить, что распределение на
комплексной плоскости С отвечает квазихарактеру со муль­
типликативной группы Сх , если оно умножается на со под
действием этой группы.
Для каждого со существует единственное отвечающее ему
распределение (с точностью до постоянного множителя). Если
со (х) = х~тх~п, где т, п — целые неотрицательные числа, ква­
зихарактеру со отвечает распределение (дт+п/дхтдхп) x=q
с носителем в нуле.
100 Часть II. Кронекер

Любой квазихарактер Сх либо имеет вид


х 1—^ со (л:) = xa\x\2~2s,
где s сее С, а ^ 0 — неотрицательное целое число, либо комп­
лексно сопряжен к такому квазихарактеру. За исключением
случаев со(х) = х~тх~п с целыми т, п ^ 0, распределение,
отвечающее со, определяется формулой
Dq (Ф) = Pf ^ Ф(я)со(*)|я|-2 \dxdx\.

Правую часть следует понимать как предел выражения


J Ф(х)и>(х)\х\~2\йхйх\ — ea+1~sP(e)
хх ^ г
при 8 ~ > 0 , где многочлен Р выбран так, чтобы этот предел
существовал. Это определение корректно, если (а) функция
Ф всюду локально интегрируема; (Ь) она m-кратно непре­
рывно дифференцируема в окрестности х = 0, где т >
> 2 R e ( s ) — а — 2; (с) она допускает при |х| -> оо оценку
вида 0 ( |* |х), где A ,< 2 R e (s)— а — 2.
Начиная с этого места, будем считать, что R e ( s ) > y + 1 .
В силу сказанного, значение 0^{Ф) определено, если в ка­
честве Ф взять любой характер аддитивной группы С. Обо­
значим через ф характер ф (я) = е (х + х), через ф6 — харак­
тер ф6 ( л : ) = ф(6л:); в частности, ф0 = 1. Положим B(0= D(0(ф)
и f (b) = (ф/;). Поскольку принадлежит со, имеем f(by) =
= f(b)to(y)~l для всех b и всех у Ф 0. Так как со Ф 1,
отсюда следует, что / ( 0) = 0, т. е. D(O(l) = 0. Кроме того,
f(b) = Bn- со (Ь)~1 при Ъ ф 0.
Константу можно вычислить несколькими способами.
Поскольку это вычисление относится скорее к теории «рас­
пределения Тэйта» и его преобразования Фурье, огра­
ничимся результатом:
Г (а + 1 - s)
Вв = * в(2 я) 2 s —а — 1 Г (s)
§ 17. В прежних обозначениях вернемся к решетке W и
тору Т = C/W. Выбрав точку х0 е С, определим характер %
группы С формулой
%(х) = ехр [Д_ 1(х0х — х0х)].
Мы могли бы записать его также в виде г|)6, где Ъ= (2ш'Л)-1 х0.
VIII. Двойной ряд Кронекера, § 17 101

Пусть ср— некоторая ограниченная интегрируемая функ­


ция на торе Г, бесконечно дифференцируемая вблизи нуля.
Свяжем с ней функцию
Ф (я) = ф(* mod W) %(х)
на С и обозначим через А или А (со, х0) распределение на Г,
для которого А (ф) = (Ф). Оно определено корректно,
потому что мы предположили, что R e ( s ) > y + 1. В очевид­
ных обозначениях его можно представить в виде
Д(ф) = Pi ^ ф(х) Ка(х, х0, s) yjx)\dx dx|,
т
где подынтегральное выражение, периодичное по х с решет­
кой периодов W, следует рассматривать как функцию на Т.
Если носитель ф не содержит нуля, символ Pf можно опу­
стить. Это означает, что А вне нуля «есть» функция
2лАКа{х, *о, s) %{х). (39)
Теперь нетрудно написать ряд Фурье распределения А.
Согласно нашим определениям, коэффициент этого ряда при
характере фцу, определенном формулой (38), равен D0) (Ф),
где Ф имеет вид
Ф(х) = ехр [Л_ 1(х0+ w) х — А~ \х 0+ w) х \
Иными словами, Ф есть характер фь группы С с
b = (2 шЛ) {х^ —
|—w).
Поэтому соответствующий коэффициент равен нулю при 6 = 0
и / ( 6) = Всо*о)(6)-1 в остальных случаях. Таким образом, ряд
Фурье распределения А имеет вид
2 яЛа+2- 2* £ * (Зс0 + |*0 + ш|2 X

X exp [A ~ \ wx — wxj\ = 2nAa+2~2s - (ar^ j ~ s) KaC% x, a + 1 —s).


(40)
Последний множитель справа следует понимать формально,
ибо соответствующий ряд может расходиться.
«Приравнивая» это выражение и (39), мы приходим к
тождеству, формально совпадающему с функциональным
уравнением (32), но, разумеется, имеющему другой смысл.
102 Часть II. Кронекер

§ 18. Ряд Фурье (40) определяет некоторое распределе­


ние и при Re (5) 1» если только 5 не является полюсом
функции Г (а + 1 — 5 ) , т. е. если со нельзя представить в виде
х~тх~п с целыми неотрицательными т , п. Это распределение
в очевидном смысле слова можно рассматривать как анали­
тическое продолжение Д(со, х0) на всю 5-плоскость. Вне нуля
оно, по свойству аналитического продолжения, по-прежнему
«равно» функции (39). В действительности при Re(5)< < a /2
ряд (40) абсолютно сходится, так что его сумма равна (39)
в обычном смысле.
Мы не будем развивать этот подход дальше и заключим
изложение лишь одним интересным примером. Рассмотрим
распределение До на Г, которое задается рядом Фурье
/С0 (0, х , 1 ) = Y ! М - 2 ехр[Л-1(аух — wxj],
С точностью до замены х0 на х он совпадает с рядом
§ 9— 10, для которого мы доказали тождество Кронекера (23),
§ 9. Выведем теперь его другим методом.
Обозначим через 3? «лапласиан», или «оператор Бельт-
рами», д2/дхдх на Г. Поскольку ряды Фурье распределений
можно дифференцировать почленно, имеем
3?(&ъ) = А~2( \ — Ti exp [Л -1 (дох — дох)]У (41)
\ wz=W )
Ряд, являющийся формальной суммой всех характеров тора
Т, представляет «распределение Дирака» \х0, т. е. единичную
массу в точке нуль. Поэтому правая часть (41) равна
Л_2(1 — цо). Любые два решения уравнения (41) отличаются
на гармоническую функцию на Г, т. е. на константу. Следова­
тельно, уравнение (41) вместе с условием До(1) = 0 опреде­
ляет Д0 однозначно. В частности, Д0 вещественно.
Положив, как выше (ср. гл. VI, § 2), р = р(х), где
х = аи ри, находим с помощью простой выкладки

г \& т = \ \Ф А \\
С другой стороны, как хорошо известно,
3? [log (хх) |dx dxI] = 2 др,0
в смысле теории распределений: это почти непосредственно
вытекает из определений. Следовательно,
3?[\og(xx) dad$] = A ~ l\x0.
VIII. Двойной ряд Кронекера, § 18 103

Наконец, хорошо известно, что вещественнозначное распреде­


ление гармонично тогда и только тогда, когда оно всюду ло­
кально представимо в виде lo g |/(* )|2, где f — голоморфная
не обращающаяся в нуль функция.
Рассмотрим теперь функцию
F (х) = 2я 2 1и Г 2 р (х)2- A~l log |XJe(x/«)]|2.
Как мы уже отмечали в § 9, она периодична по л: с решеткой
периодов W, так что ее можно считать функцией на торе Т.
Из сделанных выше замечаний ясно, что распределение
До — F(x) гармонично на Г и потому является константой.
Поскольку функция log \х\2 локально интегрируема вблизи
нуля, F интегрируема на торе. Учитывая, что Д0(1) = 0, на­
ходим
A0= F — ^ F dadfi.
т
Вычисление интеграла здесь является стандартным упражне­
нием. Оно приводит, как и следовало ожидать, к формуле
Кронекера
До = F “b y я2| и I 2>
показывающей заодно, что Д0 «равно» интегрируемой функ­
ции на Т. Это просто функция Грина на торе Т с римановой
метрикой ds2 = \ d x \ 2.
глава IX

Финал: Allegro con brio

(УРАВНЕНИЕ ПЕЛЛЯ И ФОРМУЛА ЧОУЛА — СЕЛЬБЕРГА)

§ 1. Заложив фундамент теории эллиптических функций,


Эйзенштейн сумел возвести по своему проекту значительную
часть всего здания и оставить указания, каким он хотел его
видеть. Кронекер долго вынашивал гордый план гораздо бо­
лее грандиозного строения и уже к концу жизни начал за­
кладывать его основания, но сверх того успел немного. Бес­
полезно гадать о его дальнейших замыслах; возможно, он
и сам их не знал.
С другой стороны, теоретико-числовые мотивировки его
последних титанических усилий угадываются без труда и
заслуживают краткого отступления. Куммер, а затем Дирихле
учили его и остались его друзьями на всю жизнь. Арифмети­
ческие работы Куммера концентрировались вокруг теории
круговых полей, их классов идеалов и чисел классов. Ди­
рихле в другом контексте первый обнаружил, что эти числа
классов выражаются через значения L-функций Дирихле в
точке 5 = 1 , т. е. в конечном счете через значения простых
рядов, изученных в гл. VII, при подходящих значениях их
аргументов. Передоказав эти результаты на языке своей тео­
рии идеалов, Куммер перешел к исследованию р-адических
свойств соответствующих значений, начав с доказательства
знаменитых сравнений для чисел Бернулли. Эти его открытия
относятся к самым глубоким; по важности они, возможно,
превосходят более эффектные приложения к проблеме Ферма
и даже к законам взаимности.
Сравнительно рано (в 1853 г.) Кронекер нашел инвариант­
ное объяснение роли излюбленных Куммером круговых по­
лей: они не только являются абелевыми расширениями поля
IX Финал: Allegro con brio, § 1 105

рациональных чисел (что открыл Гаусс), но их объединение


исчерпывает все абелевы расширения.
В той же статье (Werke, т. IV, стр. 10—11), где Кронекер
сформулировал это важнейшее открытие, он привел соответ­
ствующий результат для гауссова поля Q (i ) в терминах де­
ления лемнискатических функций. Это породило идею, что
комплексное умножение должно играть ту же роль для соот­
ветствующего мнимого квадратичного поля, что деление кру­
га для Q и лемнискаты для Q(i). Кронекер пишет об этом
в письме к Дирихле в мае 1857 г. (Werke, т. V, стр. 420; ср.
также Werke, т. IV, стр. 179—183). Эта идея, как он писал
позже Дедекикду, была любимой мечтой его юности («mein
liebster Jugendtraum», Werke, т. V, стр. 455).
Впоследствии эти слова часто истолковывались просто как
программа распространения на мнимые квадратичные поля
его теоремы 1853 г. о поле Q. Иными словами, речь как
будто шла о гипотезе, что деление эллиптических функций
с комплексным умножением порождает все абелевы расшире­
ния соответствующего поля. Однако эта интерпретация пред­
ставляется чересчур узкой.
Верно, что его статья 1886 г. (Werke, т. IV, стр. 389—
470), где он устанавливает свои знаменитые сравнения, была,
видимо, подготовкой к доказательству этой гипотезы. Сам он
ее не доказал, но дал все необходимые технические средства,
оставив завершение этой работы своим последователям.
Тем не менее сама гипотеза вполне могла быть лишь
частью его юношеской мечты, возможно самым ее началом.
Кронекер хотел распространить на мнимые квадратичные
поля и их абелевы расширения всю совокупность результа­
тов Куммера о числах классов круговых полей и их р-адиче-
ских свойствах.
Видимо, именно эту грандиозную программу Кронекер соби­
рался выполнить в своей серии работ, представленных Берлин­
ской Академии. Излишне говорить, что он ее не завершил.
Он успел с известной полнотой построить лишь аналити­
ческую часть. Целое созвездие позднейших авторов: Вебер,
Фютер, Хассе, Гекке, Мейер, Зигель, Рамачандра — занима­
лись оставшимися вопросами, но, возможно, не исчерпали
даже чисто арифметических аспектов ситуации *). р-адические

1) Читатель сможет найти библиографию и полезные исторические све­


дения, а также важнейшие, пожалуй, из современных результатов в рабо­
тах: С. Meyer, Berechnung der Klassenzahl . . . (Ak. — Verlag, Berlin 1957);
C. L. Siegel, Lectures on advanced analytic number-theory (Tata Institute
Fund. Res., Bombay 1961), ch. II; K. Ramachandra, Some applications of
Kronecker’s limit-formulas, Ann. of M a t h , 80 (1964), 104— 148.
106 Часть II. Кронекер

штудии вообще едва начались; замечательная работа Эйзен­


штейна 1850 г. о лемнискате, в которой столь многие резуль­
таты Куммера о полях деления круга были перенесены на
этот случай, была почти забыта, а исследования Гурвица и
Герглотца оставались изолированными до самых последних
дней. Поскольку все это не относится к предмету нашей кни­
ги, мы лишь подчеркнем важность этой темы для будущего.
§ 2 . Оставшаяся часть книги посвящена двум примерам,
почерпнутым из работ Кронекера, которые показывают, ка­
кие приложения теории он имел в виду. Первый из них вос­
производит содержание его работы 1863 г. об «уравнении
Пелл я» (Werke, т. IV, стр. 221—225; ср. также Werke, т. IV,
стр. 379—389). Второй пример Кронекер разобрал не до кон­
ца (Werke, т. IV, стр. 376—379); недостававшее соображение
добавил Лерх в 1894 г. (это наша формула (23) гл. VII, §9).
Обе темы вместе впервые объединили Чоула и Сельберг в
1949 г. (Ргос. Nat. Ac. USA, 35, 371—374; ср. также Crelles J.,
227 (1967), 86—ПО). В нашем изложении некоторые основные
факты теории полей классов будут считаться известными. Из­
лишне говорить, что Дирихле и Кронекер умели доказывать
их непосредственно.
В 1841 г. Дирихле распространил на гауссово поле Q(i)
значительную часть своих результатов об L-рядах над Q и
заметил, что эти ряды суммируются в терминах лемнискати-
ческих функций (Dirichlet, Werke, т. I, стр. 503—618). Его
теория квадратичных форм над Q (/), по существу, была тео­
рией квадратичных расширений поля Q(i), и он отметил ряд
замечательных свойств биквадратичных полей видаО (/, л/т),
их дзета-функций и L-функций (ibid, стр. 508 и 612—618).
Таково было положение дел перед работой Кронекера 1863 г.
С современной точки зрения идея Кронекера выглядит до­
вольно простой. Пусть К — расширение поля Q с группой
Галуа типа (2 , 2 ). Тогда К имеет три квадратичных подполя
k0, &ь &2 и совпадает с композитом любых двух из них. Пред­
положим, что К не вещественно. Тогда ровно одно из полей
ka, скажем &2, вещественно. Обозначим через е > 1 фунда­
ментальную единицу поля k 2.
Пусть £, £*, 1к—дзета-функции полей Q, ka, К соответствен­
но. Положим La = £а/£; это L-функция Дирихле над Q, отве­
чающая квадратичному полю ka. Тогда Zk = £L0L iL2. Поло­
жив s = 1 , получаем отсюда соотношение между числами
классов полей К, &0, ku &2- Это соотношение было одним из
основных результатов Дирихле, который ограничился слу­
чаем kQ= Q (/),
IX. Финал: Allegro con brio, § 3 107

Положим теперь Л = £к/£0 = L,\L2. В этом тождестве, ко­


торое Дирихле тоже рассматривал при k0 = Q(t), А является
L-рядом над kQ, связанным с квадратичным расширением К
поля k0. Поэтому он представляется в виде линейной комби­
нации двойных рядов того типа, которые были изучены в
гл. VIII нашей книги. Функции же L\, L2 являются аналогич­
ными линейными комбинациями простых рядов, рассмотрен­
ных в гл. VII. Поэтому соотношение А = L\L2 доставляет не­
которое нелинейное тождество арифметического происхожде­
ния между такими рядами. Положим в этом тождестве
5 = 1 . Его правая часть тогда выражается по формулам Ди­
рихле через числа классов полей k\, к2 и единицу г поля к2.
С другой стороны, А(1) вычисляется через эллиптические
функции с помощью предельной формулы Кронекера. Эти
эллиптические функции допускают комплексное умножение
на k0. Таким образом, некоторая единица поля k2, т. е. реше­
ние «уравнения Пелля», оказывается выраженной через эл­
липтические функции.
Это открытие Кронекер сделал в 1863 г. В то время оно
было довольно сенсационным.
§ 3. Сам Кронекер считал поле ко фиксированным и рас­
сматривал К как простейший случай абелева расширения
поля ко, абелева даже над Q. Чтобы получить более простые
формулы, он ограничился случаем, когда К над ко не раз­
ветвлено. По тем же соображениям этим случаем ограничим­
ся и мы 1) .
Для а = 0, 1,2 обозначим через Da дискриминант поля ka,
через ha его число классов и через wa число корней из
единицы в ka. Поскольку поле к2 вещественно, w2= 2 . По­
ложим ma = \Da \; тогда D0 = — m0, Di = — mu D2= m2.
Характер Дирихле, отвечающий полю kay совпадает с сим­
волом Лежандра %a{d) = (DJn). Поэтому
+ оо та-1
La(s) = £ X » п - = т~° £ х » Я ( ^ , s ) , ( 1)
п= \ п= 1

где функция Н(ху s) определена в гл. VII, § 9. Значение La


в точке 5 = 1 можно вычислить либо с помощью резуль­
татов гл. VII, либо (что, по существу, то же самое)
с помощью классических формул Дирихле. Разумеется,*)
*) Кронекер отметил, что и без этого условия верны аналогичные ре­
зультаты: в этом смысл его слов «und selbst dann, wenn dieselben einen
gemeinsamen Factor haben», Werke, В. IV, S. 223.
108 Часть II. Кронекер

Кронекер пользовался формулами Дирихле, которые дают


М 1) = — L2(\) = -¥=Lr loge. (2)
W1
С другой стороны, как хорошо известно, поле К не раз­
ветвлено над kQтогда и только тогда, когда DQ= D{D2 и Du
D2 взаимно просты. В этом случае характер % поля К над k0
является так называемым «характером рода», т. е. харак­
тером второго порядка группы классов идеалов поля k0.
Поэтому в ряде
Ms) = Z%(m)N(m)-s (3)
все идеалы из одного класса имеют один и тот же коэф­
фициент %(т).
Пусть й — любой дробный идеал поля k0. Объединим
в сумме (3) все идеалы, эквивалентные а-1. Они имеют
вид а а-1, где а е а , а Ф 0. Идеал а 'а -1 совпадает с аа -1
тогда и только тогда, когда а'/а является корнем из еди­
ницы. Таким образом, ряд (3) приводится к виду
V x ( a )"1 N(a)s £ ' | a f 2s, (4)
а е а

где wQ= 2 , ибо иначе D0= —3 или —4 и D0 нельзя пред­


ставить в виде D iD2 с взаимно простыми Du D2.
Рассмотрим идеал а как решетку в С и применим к ней
предельную формулу Кронекера, т. е. формулу (16) гл. VIII,
§ 8. При W = а константа А в этой формуле, которую сле­
дует вычислять с помощью формулы (15) того же параграфа,
равна

Имеем a = N(a)a~l. Положим А = А(а), где А (IV) опре­


делено в гл. IV, § 11. Так как эта функция однородна
степени —12 по и, и, т. е. по W, получаем
А = А (а) = iV(a)-12 А(а-1).
Обозначим с учетом этого
F(a) = A(a) A(a_1) = AT(a)121A(a)|2.
Очевидно, эта функция зависит лишь от класса идеала а.
Применив теперь формулу Кронекера к ряду (4), получим
*<„)* Z N - “ = ~ ^ ( т т Т + С „ - ^ log F(„> + . . . ) , (5)

где С0— сумма членов, зависящих только от k0t но не от а.


IX Финал: Allegro con brio, § 4 109

Выберем теперь систему представителей at- классов идеа­


лов поля k0. Поскольку порядок х равен 2, имеем %=
Так как этот характер не тривиален, £% (at) = 0. Объединяя
формулы (4) и (5), получаем

Л(1) = — ^ - 7= У д (a,) log F(at).


12 V т0

Учитывая, что Л = L XL2, и пользуясь формулами (2 ), нахо­


дим окончательный результат Кронекера:

hlh2logs = — 2 5С(«i) log (6)

Вместо того чтобы вычислять обе части тождества Л =


= L\L2 в точке 5 = 1 , мы могли бы сделать то же для 5 = 0,
Левая часть вычисляется по формуле (17) гл. VIII, § 8, а
правая — по формуле (21) гл. VII, § 9. Правая часть (6)
тогда записалась бы «в элементарном виде» через «круговую
единицу» еЧ Разумеется, оба варианта эквивалентны.
§ 4. Кронекер заметил, что в точности то же рассуждение
можно применить к тождеству £0 = Здесь

Ь (S) = £ дг (m )- = - L <»,)■ £ ' | « г “ ,


* a s а.

и предельная формула Кронекера дает первые два члена раз­


ложения £о вблизи 5 = 1 . Вычислять вблизи 5 = 0 еще легче,
хотя результаты, по существу, те же. Формула (17) гл. VIII,
§ 8 показывает прежде всего, что £0(0) = —ho/w0. Разумеет­
ся, это находится в согласии с тем, что £(0) = —1/2 и L0(0) =
= 2ho/wo. Далее, имеем

Вместо этого тождества Кронекер получает равносильное ему


для первых двух членов разложения £0 в точке 5 = 1 . Однако
он ограничивается записью их через известные величины и
ряд
+ оо

П=1
Чтобы получить полный результат, следует воспользоваться
теоремой Лерха (т. е. формулой (23) гл. VII, § 9) или же,
ПО Часть II. Кронекер

как делают в цитированной работе Чоула и Сельберг, каким-


нибудь равносильным результатом, например рядом Кум-
мера для log Г (5). Теорема Лерха вместе с формулой (1)
дает:
т0- 1

^о(°) = = М ° ) 1о8 т 0+ £ Хо («) log T(/i/ni(]).


П= 1

Приравнивая производные £0 и £L0 в нуле, получаем формулу


Чоула — Сельберга. Мы будем писать k, т, h, w, % вместо
k0, т0, ho, w0) хо- Переходя от логарифмов к самим числам»
мы можем записать эту формулу в виде
h т —1

1р<“<>=егпгшл"м
i= 1 п= 1
с»)
Например, при h = 1 мы можем взять в качестве СЦ
кольцо Q всех целых чисел поля к. Тогда в обозначениях
гл. V, § 8 левая часть формулы (7) равна S24. Следовательно,
константа S выражается через значения T(s) в рациональных
точках. В общем случае мы знаем (в силу определения Д
в гл. IV, § 11 и последних результатов гл. VI, § 6), что
числа £Г 12Д(а) для всех а алгебраичны над Q. Следова­
тельно, S отличается от числа
»— тт w ' п \ ш{п)1Ак
п= 1

множителем, алгебраичным над Q. Поэтому то же имеет ме­


сто для любого поля эллиптических функций с комплексным
умножением на k, если только это поле определено уравне­
нием с алгебраическими коэффициентами,
Список обозначений

exp(x) = ех; е (х) = ехр (2 ягх).


Глава И: e„(x), (однократное суммирование по Эйзен­
штейну); ут: § 1; П „ Ц е: § 6; Вт: § 7.

Глава III: IV, и, v, б, т, q, А: § 1 ; Еп{х), (двукратное


[I, V

суммирование по Эйзенштейну); § 2 ; W', и', v',


(а, Ъ, с, d), R: § 5; g, 2 : § 6; ет: § 7; R': § 8.
Глава IV: f(t, х), <р(*), *,(z), Pfa): § 3; Г (<7, z): § 6; г) (т),
0 (С, т): § 8; Д, А (и, о), Л (Г): § 1 1 .
Глава V: e(lV), E(W), е, Е: § 2; со (комплексный множитель):
§ 6; Э, Эот: § 8.
Глава VI: 0 : § 1; А, а, р, р(х), Е*п, е'2: § 2 ; 6, Е \ ь: § 4;
e a ,b > e *a,b- §

Глава VII: х(ц), S a(x, у, s), £*: § 4; Sa (x, у, s) (при а = О


или 1, x<=R): § 7; Н(х, s): § 9; Sa (g, у, s) (при а > О,
? е С , g<£R): § 11; /Cz: § 12.
Глава VIII: % И , х (р, v): § 1; £, т, z, <7, а0, р0,х0) £0, £о,
Р(<7, z, а>): § 2 ; G (s, %): § 6; т = | + /со: § 7; А: § 8 ;
Я Д *, *о- S): § 12; в*я, 0а: § 13.
Оглавление

От редакторов серии Ergebnisse der Mathematik 5


Предисловие ........................................................... 7
Часть первая. Эйзенштейн............................................................9
Глава I. Введение.......................................... 11
Глава II. Тригонометрические функции . . 15
Глава III. Основные эллиптические функции 23
Глава IV. Основные соотношения и беско­
нечные произведения 32
Глава V. Первая вариация.......................... 45
Глава VI. Вторая вариация.......................... 54
Часть вторая. Кронекер...............................................................61
Глава VII. Прелюдия к Кронекеру . . . . 63
Глава VIII. Двойной ряд Кронекера . . . . 84
Глава IX. Финал: Allegro con brio
(уравнение Пелля и формула Чоу-
ла — С ельберга)......................... 104

Список обозн ач ен и й .............................................. 111

ИБ № 987

А . Вейль

Э Л Л И П ТИ Ч ЕС К И Е Ф УН КЦ И И ПО Э Й ЗЕН Ш ТЕЙ Н У И К РО Н Е К Е РУ

Р ед акто р Н . П луж ни кова


Х удож ни к В. М едников Х удож ествен н ы й редактор В. Ш ап овалов
Техни чески й р ед акто р А . Р е зо у х о ва К ор р ектор О. Т у р к о ва

С д а н о в н аб о р 0 9.11.77. П о д п и с а н о к п е ч а т и 0 2 .0 3 .7 8 . Ф о р м а т 6 0 X 9 0 7 ie . Б у м а г а т и п о ­
г р а ф с к а я № 3 . Л а т и н с к а я г а р н и т у р а . В ы с о к а я п е ч а т ь . 3 ,5 0 б у м . л. 7 ,0 0 у е л . п е ч . л .
У ч .-и з д . л . 5 ,3 8 . З а к . 84 6 . Ц е н а 40 к о п .

И З Д А Т Е Л Ь С Т В О „ М И Р “ М о с к в а , 1-й Р и ж с к и й п е р ., 2

О р д е н а Т р у д о в о г о К р а с н о г о З н а м е н и Л е н и н г р а д с к а я т и п о гр а ф и я № 2
и м ен и Е в г е н и и С о к о л о в о й С о ю з п о л и гр а ф п р о м а при Г о с у д а р с т в е н н о м к о м и т е т е С о в е т а
М и н и с т р о в С С С Р по д е л а м и з д а т е л ь с т в , п о л и гр а ф и и и к н и ж н о й т о р г о в л и .
198052, Л е н и н г р а д , Л -5 2 , И з м а й л о в с к и й п р о сп е к т , 29.
А. Вейль Л
Эллиптические
функции
по Эйзенштейну
и Кронекеру