Jump to content

Множественная дзета-функция

(Перенаправлено из нескольких дзета-функций )

В математике множественные дзета-функции являются обобщениями дзета-функции Римана , определяемой формулой

и сходятся , когда Re( s 1 ) + ... + Re( s i ) > i для всех i . Как и дзета-функция Римана, кратные дзета-функции аналитически могут быть продолжены как мероморфные функции (см., например, Чжао (1999)). Когда s 1 , ..., sk ( все являются положительными целыми числами с s 1 > 1), эти суммы часто называют кратными значениями дзета (MZV) или суммами Эйлера . Эти значения также можно рассматривать как специальные значения кратных полилогарифмов. [1] [2]

Значение k в приведенном выше определении называется «глубиной» MZV, а число n = s 1 + ... + s k известно как «вес». [3]

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

Определение

[ редактировать ]

Множественные дзета-функции возникают как частные случаи кратных полилогарифмов.

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

и суммы Эйлера записываются

где . Иногда авторы пишут полосу над соответствующий равный , так например

.

Интегральная структура и идентичности

[ редактировать ]

Концевич заметил, что можно выразить цветные кратные дзета-значения (и, следовательно, их частные случаи) в виде некоторых интегралов от многих переменных . Этот результат часто формулируется с использованием соглашения о повторных интегралах, где

Используя это соглашение, результат можно сформулировать следующим образом: [2]

где для .

Этот результат чрезвычайно полезен благодаря хорошо известному результату о произведениях повторных интегралов, а именно тому, что

где и является симметрической группой на символы.

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

для любого ,

что по вышеупомянутому интегральному тождеству делает

Тогда интегральное тождество продуктов дает [2]

Случай с двумя параметрами

[ редактировать ]

В частном случае только двух параметров мы имеем (с s > 1 и n , m целыми числами): [4]

где обобщенные числа гармоник .

Известно, что множественные дзета-функции удовлетворяют так называемой двойственности MZV, простейшим случаем которой является знаменитое тождество Эйлера :

где H n номера гармоник .

Специальные значения двойных дзета-функций, с s > 0 и четными , t > 1 и нечетными , но s + t = 2 N +1 (при необходимости принимая ζ (0) = 0): [4]

с т приблизительная стоимость явная формула ОЭИС
2 2 0.811742425283353643637002772406 А197110
3 2 0.228810397603353759768746148942 А258983
4 2 0.088483382454368714294327839086 А258984
5 2 0.038575124342753255505925464373 А258985
6 2 0.017819740416835988362659530248 А258947
2 3 0.711566197550572432096973806086 А258986
3 3 0.213798868224592547099583574508 А258987
4 3 0.085159822534833651406806018872 А258988
5 3 0.037707672984847544011304782294 А258982
2 4 0.674523914033968140491560608257 А258989
3 4 0.207505014615732095907807605495 А258990
4 4 0.083673113016495361614890436542 А258991

Обратите внимание, что если у нас есть неприводимые, т. е. эти MZV нельзя записать как функцию только. [5]

Случай с тремя параметрами

[ редактировать ]

В частном случае всего трех параметров мы имеем (с a > 1 и n , j , i целыми числами):

Формула отражения Эйлера

[ редактировать ]

Вышеупомянутые MZV удовлетворяют формуле отражения Эйлера:

для

Используя отношения тасования, легко доказать , что: [5]

для

Эту функцию можно рассматривать как обобщение формул отражения.

Симметричные суммы через дзета-функцию

[ редактировать ]

Позволять , и для раздела из набора , позволять . Кроме того, учитывая такой и k -кортеж показателей, определите .

Отношения между и являются: и

Теорема 1 (Хоффмана)

[ редактировать ]

Для любого настоящего , .

Доказательство. Предположим, все различны. (Нет потери общности, поскольку мы можем брать пределы.) Левую часть можно записать как . Теперь думаю о симметричном

группа как действует на k -кортеж положительных целых чисел. Данный k -кортеж имеет изотропную группу

и связанный раздел из : множество классов эквивалентности отношения предоставлено если только , и . Теперь термин происходит с левой стороны точно раз. Оно встречается в правой части в тех терминах, которые соответствуют разбиениям это усовершенствования : сдача обозначают уточнение, происходит раз. Таким образом, вывод будет следовать, если для любого k -кортежа и связанный раздел .Чтобы увидеть это, обратите внимание, что подсчитывает перестановки, имеющие тип цикла , указанный : поскольку любые элементы имеет уникальный тип цикла, заданный разделом, который уточняет , результат следующий. [6]

Для , гласит теорема для . Это основной результат. [7]

Имея . Сформулировав аналог теоремы 1 для , нам нужен один бит обозначения. Для раздела

из , позволять .

Теорема 2 (Хоффмана)

[ редактировать ]

Для любого настоящего , .

Доказательство. Мы следуем той же линии рассуждений, что и в предыдущем доказательстве. Левая сторона теперь и термин происходит слева, так как однажды, если все различны, и ничуть не иначе. Таким образом, достаточно показать (1)

Для доказательства этого заметим сначала, что знак положительно, если перестановки типа цикла четны и отрицательны , если они нечетны : таким образом, левая часть (1) представляет собой знаковую сумму числа четных и нечетных перестановок в группе изотропии . Но такая группа изотропии имеет одинаковое количество четных и нечетных перестановок, если только она не тривиальна, т. е. если связанное с ней разбиение является . [6]

Гипотезы о сумме и двойственности [6]

[ редактировать ]

Сначала сформулируем гипотезу о сумме, выдвинутую К. Моэном. [8]

Гипотеза суммы (Хоффмана). Для натуральных чисел k и n , , где сумма расширена по k -кортежам положительных целых чисел с .

три замечания По поводу этой гипотезы уместны . Во-первых, это подразумевает . Во-вторых, в случае там написано, что или используя связь между и и теорема 1,

Это доказал Эйлер [9] и был открыт несколько раз заново, в частности Уильямсом. [10] Наконец, К. Моен [8] доказал ту же самую гипотезу для k = 3 длинными, но элементарными рассуждениями.Для гипотезы двойственности мы сначала определим инволюцию на съемочной площадке конечных последовательностей натуральных чисел, первый элемент которых больше 1. Пусть — множество строго возрастающих конечных последовательностей натуральных чисел, и пусть быть функцией, которая отправляет последовательность в к его последовательности частичных сумм. Если представляет собой набор последовательностей в чей последний элемент не более , мы имеем две коммутирующие инволюции и на определяется и = дополнение в расположены в порядке возрастания. Наше определение является для с .

Например, Будем говорить, что последовательности и двойственны друг другу и относятся к последовательности, фиксированной как самодвойственный. [6]

Гипотеза двойственности (Хоффман). Если двойственен к , затем .

также известна как теорема суммы , и ее можно выразить следующим образом: дзета-значение Римана целого числа n ≥ 2 равно сумме всех действительных (т.е. с s 1 > 1) MZV разбиений Эта гипотеза суммы длина k и вес n , где 1 ≤ k n - 1. В формуле: [3]

Например, с длиной k = 2 и весом n = 7:

Сумма Эйлера со всеми возможными изменениями знаков

[ редактировать ]

Сумма Эйлера с переменным знаком появляется в исследованиях неизменяемой суммы Эйлера. [5]

Обозначения

[ редактировать ]
с обобщенные числа гармоник .
с
с
с

В качестве варианта эта-функции Дирихле мы определяем

с

Формула отражения

[ редактировать ]

Формула отражения можно обобщить следующим образом:

если у нас есть

Прочие отношения

[ редактировать ]

Используя определение ряда, легко доказать:

с
с

Еще одно полезное соотношение: [5]

где и

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

Другие результаты

[ редактировать ]

Для всех положительных целых чисел :

или в более общем смысле:

Дзета-значения Морделла – Торнхейма

[ редактировать ]

Дзета-функция Морделла-Торнхейма, введенная Мацумото (2003) , который был мотивирован статьями Морделла (1958) и Торнхейма (1950) , определяется формулой

Это частный случай дзета-функции Шинтани .

Примечания

[ редактировать ]
  1. ^ Чжао, Цзяньцян (2010). «Стандартные отношения кратных значений полилогарифма при корнях из единицы». Документа Математика . 15 : 1–34. arXiv : 0707.1459 .
  2. ^ Jump up to: Перейти обратно: а б с Чжао, Цзяньцян (2016). Множественные дзета-функции, множественные полилогарифмы и их специальные значения . Серия по теории чисел и ее приложениям. Том. 12. Мировое научное издательство. дои : 10.1142/9634 . ISBN  978-981-4689-39-7 .
  3. ^ Jump up to: Перейти обратно: а б Хоффман, Майк. «Множественные значения Зета» . Домашняя страница Майка Хоффмана . Военно-морская академия США . Проверено 8 июня 2012 г.
  4. ^ Jump up to: Перейти обратно: а б Борвейн, Дэвид; Борвейн, Джонатан; Брэдли, Дэвид (23 сентября 2004 г.). «Параметрические тождества суммы Эйлера» (PDF) . CARMA, курс повышения квалификации AMSI . Университет Ньюкасла . Проверено 3 июня 2012 г.
  5. ^ Jump up to: Перейти обратно: а б с д Бродхерст, ди-джей (1996). «О перечислении неприводимых k-кратных сумм Эйлера и их роли в теории узлов и теории поля». arXiv : hep-th/9604128 .
  6. ^ Jump up to: Перейти обратно: а б с д Хоффман, Майкл (1992). «Множественный гармонический ряд» . Тихоокеанский математический журнал . 152 (2): 276–278. дои : 10.2140/pjm.1992.152.275 . МР   1141796 . Збл   0763.11037 .
  7. ^ Рамачандра Рао, Р. Сита; М. В. Суббарао (1984). «Формулы преобразования кратных рядов» . Тихоокеанский математический журнал . 113 (2): 417–479. дои : 10.2140/pjm.1984.113.471 .
  8. ^ Jump up to: Перейти обратно: а б Моен, К. «Суммы простых рядов». Препринт .
  9. ^ Эйлер, Л. (1775). «Размышления об определенном типе сериала». Новое сообщение. акад. Знать Петрополис 15 (20): 140–186.
  10. ^ Уильямс, GT (1958). «Об оценке некоторых множественных серий». Журнал Лондонского математического общества . 33 (3): 368–371. дои : 10.1112/jlms/s1-33.3.368 .
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: bebcf6dd6cb98e64f68a767c8760d599__1704233700
URL1:https://arc.ask3.ru/arc/aa/be/99/bebcf6dd6cb98e64f68a767c8760d599.html
Заголовок, (Title) документа по адресу, URL1:
Multiple zeta function - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)