Терешонок Красноярск 2015x

реклама
УДК 517.583
ФОРМУЛА МАКМЮЛЛЕНА И МНОГОМЕРНЫЙ АНАЛОГ
𝜁-ФУНКЦИИ ВЕЙЕРШТРАССА
Терешонок Е.Н.
научный руководитель канд. физ.-мат. наук Щуплев А.В.
В 1899 году австрийский математик Г. Пик получил формулу, которая
устанавливает связь между площадью целочисленного многоугольника (𝐴(𝑃)) с
количеством целых точек внутри многоугольника (𝐼) и количеством целых точек на его
границе (𝐵):
𝐵
𝐴(𝑃) = 𝐼 + − 1.
2
Непосредственное распространение данной формулы на случай высшей
размерности оказывается некорректным: для целочисленного тетраэдра в ℝ3 с вершинами
(0, 0, 0), (1, 0, 0), (0,1, 0) и (1,1, 𝑟), 𝑟 ∈ ℕ нельзя выразить объём только через
целочисленные точки внутри него и на его границе [1].
К настоящему моменту многомерной версии формулы Пика для произвольного
целочисленного многогранника произвольной размерности не найдено. Существуют лишь
аналоги для многогранников частного типа или определенной размерности.
В 1995 году американские математики Р.Диаз и С.Робинс [2] получили новое
доказательство формулы Пика с использованием теоремы вычетов и -функции
Вейерштрасса:
1
1
1 𝑧
𝜁(𝑧) = +
∑
(
+ + 2) .
𝑧
𝑧−𝛾 𝛾 𝛾
𝛾∈(ℤ⊕iℤ)∖{0}
Обобщив их метод на случай высшей размерности, нами было получено
интегральное представление для разности между объемом целочисленного многогранника
и количеством целых точек внутри него и на его границе (теорема 1). В случае
многогранников с целочисленными гипергранями и призм эта формула обращается в
формулу Макмюллена (теорема 2).
Пусть Γ = (ℤ ⊕ iℤ)𝑛 — стандартная целочисленная решётка в ℂ𝑛 , обозначим через
𝜔(𝑧) (0, 𝑛 − 1)-дифференциальную форму
𝜔(𝑧) =
𝑛
∑𝑛
𝑘=1(−1) 𝑧̅ 𝑘 𝑑𝑧̅ [𝑘]
2 𝑛
(∑𝑛
𝑗=1|𝑧𝑗 | )
,
где 𝑑𝑧̅[𝑘] = 𝑑𝑧̅1 ∧ … ∧ 𝑑𝑧̅𝑘−1 ∧ 𝑑𝑧̅𝑘+1 ∧ … 𝑑𝑧̅𝑛 . Следуя [3], определим многомерный аналог
-функции Вейерштрасса:
𝑛
𝜕𝜔
𝜕𝜔
(𝛾)𝑧𝑖 +
(𝛾)𝑧̅𝑖 )),
𝜁(𝑧) = 𝜔(𝑧) + ∑ (𝜔(𝑧 − 𝛾) + 𝜔(𝑧) + ∑ (
𝜕𝑧
𝜕𝑧̅
𝑖
𝑖
′
′
𝛾∈Γ
𝑖=1
где Γ = Γ\{0}. Этот ряд сходится абсолютно и равномерно на компактных
подмножествах ℂ𝑛 \Γ. Поскольку с помощью этой формы мы хотим вычислять Γинвариантные характеристики целочисленных многогранников, а коэффициенты формы
𝜁(𝑧) не Γ-инвариантны, мы подправляем это.
Лемма [4]. Существует (0, 𝑛 − 1) дифференциальная форма 𝑙(𝑧) с линейными
коэффициентами такая, что 𝜏(𝑧) = 𝜁(𝑧) − 𝑙(𝑧) — Γ-инвариантна.
Пусть 𝐷 — область в ℂ𝑛 с кусочно-гладкой границей. Обозначим через Vol(𝐷)
объём области 𝐷, 𝐼 — количество целых точек внутри 𝐷. Если 𝑧0 ∈ 𝜕𝐷, то телесным углом
𝐷 в точке 𝑧0 называется угол, образованный касательным конусом к 𝐷 в 𝑧0 . Значение
такого телесного угла Θ𝑧0 можно вычислить как предел:
lim Vol{𝑆(𝑧0 , 𝜀) ∩ 𝐷}
Θ𝑧0 = ε→+0
,
Vol(𝑆(𝑧0 , 𝜀))
где 𝑆(𝑧0 , 𝜀) — сфера радиуса 𝜀 с центром в точке 𝑧0 .
𝜁-форма Вейерштрасса наследует свойство ядра Бохнера-Мартинелли, поэтому
интеграл,
(𝑛 − 1)!
∫ 𝜏(𝑧)𝑑𝑧
(2𝜋𝑖)
𝜕𝐷
даёт количество особенностей подынтегрального выражения внутри 𝐷, то есть число
целых точек 𝐼.
Теорема 1 [5, Theorem 3.1].
Пусть 𝐷 — область в ℂ𝑛 с кусочно-гладкой
границей 𝜕𝐷, тогда
𝐼 − Vol(𝐷) +
∑
𝛩𝑧0 =
𝑧0 ∈𝛤∩𝜕𝐷
(𝑛 − 1)!
∫ 𝜏(𝑧)𝑑𝑧.
(2𝜋𝑖)n
𝜕𝐷
Замечание. Заметим, что теорема 1 верна лишь для четномерных действительных
пространств ℝ2𝑛 = ℂ𝑛 . В случае, если 𝐷𝑛 . — область в пространстве ℝ𝑛 переменных 𝑥 =
(𝑥1 , … , 𝑥𝑛 ), 𝑛 — нечётное, «расширим» область действительными переменными 𝑦 =
(𝑦1 , … , 𝑦𝑛 ). Отождествим пространство ℝ2𝑛 от переменных (𝑥, 𝑦) с пространством ℂ𝑛
1 1
переменных 𝑧 = 𝑥 + 𝑖𝑦, и рассмотрим область 𝐷2𝑛 = {𝑧: 𝑥 ∈ 𝐷𝑛 , 𝑦𝑗 ∈ [− 2 , 2] , 𝑗 ∈ ̿̿̿̿̿
1, 𝑛}.
Применим теорему к области 𝐷2𝑛 :
𝐼2𝑛 − Vol(𝐷2𝑛 ) +
∑
𝛩𝑧0 ,𝐷2𝑛 =
𝑧0 ∈𝛤∩𝜕𝐷2𝑛
(𝑛 − 1)!
∫ 𝜏(𝑧)𝑑𝑧.
(2𝜋𝑖)n
𝜕𝐷2𝑛
Объёмы областей 𝐷2𝑛 и 𝐷𝑛 численно равны, область 𝐷2𝑛 имеет те же целочисленные
точки, что и 𝐷𝑛 . Поэтому 𝐼2𝑛 = 𝐼𝑛 , равенство 𝛩𝑧0 ,𝐷2𝑛 = 𝛩𝑧0 ,𝐷𝑛 очевидно.
Формулу из теоремы 1 можно применить к вычислению объёмов целочисленных
политопов через целочисленные точки внутри него и на его границе.
Теорема 2 [5, Theorem 4.2]. Если 𝐷 — многоранник с центрально-симметричными
гипергранями, тогда
Vol(𝐷) = 𝐼 + ∑ Θj .
𝑗
Замечание. Формула из теоремы 2 имеет место для любого целочисленного
многогранника, гиперграни которого центрально симметричны или он имеет пару граней,
которые различаются на целочисленный вектор. Например, многомерная призма — такой
многогранник.
Список литературы
1. Reeve, J.E. On the volume of lattice polyhedra / J.E. Reeve // Proc. London Math.
Soc. — 1957. — №7. — P. 378-395.
2. Diaz, R. Pick’s formula via the Weierstrass ℘-function / R. Diaz, S. Robins // Am.
Math. Monthly. — 1995. — Vol. 102. — №5. — P. 431-437.
3. Zappa, P. Sulle classi di Dolbeault di tipo (0, 𝑛 − 1) con singolarita in un insieme
discreto / P. Zappa // Atti Accad. Naz. Lincei. — 1983. — №6. — P. 81-95.
4. Tereshonok, E.N. A multidimensional analog of the Weierstrass 𝜁-function in the
problem of the number of integer points in a domain // E.N. Tereshonok, A.V.
Shchuplev // J. of Siberian Federal University. Math. & Physics. — 2012. — №5. —
P. 480-484.
5. Tereshonok, E.N. McMullen's formula and a multidimensional analog of the
Weierstrass ζ-function / E.N. Tereshonok // Complex variables and elliptic equations
(to appear).
Скачать