В математике , то оператор Гаусса-Кузьмина-Вирзингом является передача оператор отображения Гаусса. Он назван в честь Карла Гаусса , Родиона Кузьмина и Эдуарда Вирсинга . Это происходит при изучении непрерывных дробей ; это также связано с дзета-функцией Римана .
Связь с картами и цепными дробями
Карта Гаусса
Функция Гаусса (карта) h:
где:
- обозначает функцию пола
Он имеет бесконечное количество скачков при x = 1 / n для положительных целых чисел n. Его трудно аппроксимировать одним гладким многочленом. [1]
Оператор на картах
Гаусс-Кузьмин-Вирзинг оператор действует по функциям в виде
Собственные значения оператора
Первая собственная функция этого оператора
что соответствует собственному значению из Й 1 = 1. Эта собственная функция дает вероятность появления данного целого числа в разложении непрерывной дроби и известна как распределение Гаусса – Кузьмина . Это следует отчасти потому, что отображение Гаусса действует как оператор усекающего сдвига для непрерывных дробей : если
представляет собой представление непрерывной дроби числа 0 < x <1, то
Дополнительные собственные значения можно вычислить численно; следующее собственное значение λ 2 = −0.3036630029 ... (последовательность A038517 в OEIS ), а его абсолютное значение известно как постоянная Гаусса – Кузмина – Вирсинга . Аналитические формы дополнительных собственных функций неизвестны. Неизвестно, являются ли собственные значения иррациональными .
Расположим собственные значения оператора Гаусса – Кузьмина – Вирсинга по модулю:
В 1995 году Филипп Флажоле и Бриджит Валле предположили, что
В 2014 году это предположение подтвердил Гедрюс Алкаускас. [2] Кроме того, имеет место следующий асимптотический результат:
здесь функция ограничен, и - дзета-функция Римана .
Непрерывный спектр
Собственные значения образуют дискретный спектр, когда оператор ограничен воздействием на функции на единичном интервале вещественной числовой линии. В более широком смысле, поскольку отображение Гаусса является оператором сдвига в пространстве Бэра , оператор GKW также можно рассматривать как оператор в функциональном пространстве (рассматривается как банахово пространство с базисными функциями принято , чтобы быть индикаторные функции на баллонах в топологии произведения ). В последнем случае он имеет непрерывный спектр с собственными значениями в единичном кругекомплексной плоскости. То есть с учетом цилиндра, оператор G сдвигает его влево: . Принимая быть индикаторной функцией, которая равна 1 на цилиндре (когда ), а в противном случае - ноль, имеем . Сериал
тогда - собственная функция с собственным значением . То есть есть всякий раз, когда суммирование сходится: то есть, когда .
Частный случай возникает, когда кто-то желает рассмотреть меру Хаара оператора сдвига, то есть функцию, инвариантную относительно сдвигов. Это дается мерой Минковского . То есть есть что. [3]
Связь с дзета-функцией Римана
Оператор GKW связан с дзета-функцией Римана . Обратите внимание, что дзета-функция может быть записана как
откуда следует, что
заменой переменной.
Матричные элементы
Рассмотрим разложения в ряд Тейлора при x = 1 для функции f ( x ) и. То есть пусть
и напишем аналогично для g ( x ). Разложение выполняется примерно для x = 1, потому что оператор GKW плохо себя ведет при x = 0. Разложение выполняется примерно для 1-x, так что мы можем оставить x положительным числом, 0 ≤ x ≤ 1. Тогда оператор GKW действует на коэффициенты Тейлора как
где матричные элементы оператора GKW имеют вид
Этот оператор очень хорошо сформирован и, следовательно, очень легко поддается числовой обработке. Постоянная Гаусса – Кузмина легко вычисляется с высокой точностью путем численной диагонализации верхней левой части n на n . Не существует известного выражения в замкнутой форме, которое диагонализирует этот оператор; то есть нет никаких известных выражений в замкнутой форме для собственных векторов.
Риман Зета
Дзета Римана может быть записана как
где задаются матричными элементами, указанными выше:
Выполняя суммирование, получаем:
где - постоянная Эйлера – Маскерони . Этииграть аналог констант Стилтьеса , но для падающего факторного разложения. Написав
один получает: а 0 = -0.0772156 ... и 1 = -0,00474863 ... и так далее. Значения быстро становятся маленькими, но колеблются. Некоторые явные суммы этих значений могут быть выполнены. Их можно явно связать с константами Стилтьеса, повторно выразив падающий факториал в виде полинома с числовыми коэффициентами Стирлинга , а затем решив. В более общем плане дзета Римана может быть перевыражена как расширение в терминах последовательностей полиномов Шеффера .
Это расширение дзеты Римана исследуется в следующих источниках. [4] [5] [6] [7] [8] Коэффициенты уменьшаются как
Рекомендации
- ^ Введение в численные методы с точки зрения обратного анализа ошибок Корлесс, Роберт, Филлион, Николас
- ^ Alkauskas, Гиедрюс (2012). «Оператор переноса для отображения цепной дроби Гаусса. I. Структура собственных значений и формулы следов». arXiv : 1210,4083 [ math.NT ].
- ^ Вепстас, Линас (2008). «На мере Минковского». arXiv : 0810.1265 [ math.DS ].
- ^ Еремин, А.Ю .; Капорин И.Е .; Керимов М.К. (1985). «Вычисление дзета-функции Римана в комплексной области». СССР вычисл. Математика. И математика. Phys . 25 (2): 111–119. DOI : 10.1016 / 0041-5553 (85) 90116-8 .
- ^ Еремин, А.Ю .; Капорин И.Е .; Керимов М.К. (1988). «Вычисление производных дзета-функции Римана в комплексной области». СССР вычисл. Математика. И математика. Phys . 28 (4): 115–124. DOI : 10.1016 / 0041-5553 (88) 90121-8 .
- ^ Баес-Дуарте, Луис (2003). «Новое необходимое и достаточное условие гипотезы Римана». arXiv : math.NT / 0307215 .
- ^ Баес-Дуарте, Луис (2005). «Последовательный критерий типа Рисса для гипотезы Римана» . Международный журнал математики и математических наук . 2005 (21): 3527–3537. DOI : 10.1155 / IJMMS.2005.3527 .
- ^ Флажолет, Филипп; Вепстас, Линас (2006). «О различиях дзетовских ценностей». Журнал вычислительной и прикладной математики . 220 (1–2): 58–73. arXiv : math.CA/0611332 . Bibcode : 2008JCoAM.220 ... 58F . DOI : 10.1016 / j.cam.2007.07.040 .
Общие ссылки
- А.Я. Хинчин , Непрерывные дроби , 1935, английский перевод University of Chicago Press, 1961 ISBN 0-486-69630-8 (см. Раздел 15).
- К. И. Бабенко, К одной проблеме Гаусса , Советские математические доклады, 19 : 136–140 (1978) MR.472746
- К. И. Бабенко, С. П. Юрьев, О дискретизации одной задачи Гаусса , Советские математические доклады, 1978, 19 : 731–735. МИСТЕР499751
- А. Дарнер, Об одной теореме Гаусса – Кузьмина – Леви. Arch. Математика. 58 , 251–256, (1992). МИСТЕР1148200
- AJ MacLeod, Численные значения высокой точности в задаче Гаусса – Кузьмина о непрерывных дробях. Компьютеры Math. Прил. 26 , 37–44, (1993).
- Э. Вирсинг, К теореме Гаусса – Кузмина – Леви и теореме типа Фробениуса для функциональных пространств. Acta Arith. 24. С. 507–528 (1974). МИСТЕР337868
дальнейшее чтение
- Кейт Бриггс, Точное вычисление константы Гаусса – Кузмина – Вирсинга (2003 г.) (содержит очень обширную коллекцию ссылок).
- Филипп Флажоле и Брижит Валле , О константе Гаусса – Кузмина – Вирсинга (1995).
- Линас Вепстас Оператор Бернулли, оператор Гаусса – Кузмина – Вирсинга и Зета Римана (2004) (PDF)
Внешние ссылки
- Вайсштейн, Эрик В. "Константа Гаусса-Кузмина-Вирсинга" . MathWorld .
- Последовательность OEIS A038517 (десятичное разложение константы Гаусса-Кузьмина-Вирсинга)