Ряд Дирихле может использоваться как производящий ряд для подсчета взвешенных наборов объектов по отношению к весу, который мультипликативно комбинируется при взятии декартовых произведений.
Предположим, что A - множество с функцией w : A → N, назначающей вес каждому из элементов A , и предположим дополнительно, что слой над любым натуральным числом с этим весом является конечным множеством. (Мы называем такое расположение ( A , w ) взвешенным множеством.) Предположим дополнительно, что a n - количество элементов A с весом n . Затем определим формальный производящий ряд Дирихле для A по w следующим образом:
Обратите внимание, что если A и B являются непересекающимися подмножествами некоторого взвешенного множества ( U , w ), то ряд Дирихле для их (непересекающегося) объединения равен сумме их рядов Дирихле:
Более того, если ( A , u ) и ( B , v ) - два взвешенных множества, и мы определяем весовую функцию w : A × B → N следующим образом:
для всех a в A и b в B , то мы имеем следующее разложение для ряда Дирихле декартова произведения:
В конечном итоге это следует из того простого факта, что
аналитическим продолжением которого (кроме простого полюса в ) является дзета-функция Римана .
При условии, что f является действительным знаком при всех натуральных числах n , соответствующие действительная и мнимая части ряда Дирихле F имеют известные формулы, в которых мы пишем :
Рассматривая их пока как формальные ряды Дирихле, чтобы иметь возможность игнорировать вопросы сходимости, обратите внимание, что мы имеем:
поскольку каждое натуральное число имеет уникальное мультипликативное разложение по степеням простых чисел. Именно эта часть комбинаторики вдохновляет формулу произведения Эйлера .
Если арифметическая функция f имеет обратную функцию Дирихле , т. Е. Существует такая обратная функция, что свертка Дирихле функции f с ее обратной дает мультипликативное тождество , то DGF обратной функции задается обратной функцией F :
Другая пара примеров связана с функцией Мёбиуса и простой омега-функцией : [1]
У нас есть, что ряд Дирихле для простой дзета-функции , которая является аналогом дзета-функции Римана, суммированной только по индексам n, которые являются простыми, задается суммой по функции Мебиуса и логарифмам дзета-функции:
Большой табличный каталог с перечнем других примеров сумм, соответствующих известным представлениям ряда Дирихле, находится здесь .
Примеры DGF рядов Дирихле, соответствующих аддитивной (а не мультипликативной) f , приведены здесь для простых омега-функций и , которые соответственно подсчитывают количество различных простых делителей n (с кратностью или без). Например, DGF первой из этих функций выражается как произведение дзета-функции Римана и простой дзета-функции для любого комплекса s с :
Если f - мультипликативная функция такая, что ее DGF F сходится абсолютно для всех , и если p - любое простое число , мы имеем, что
где - функция Мебиуса . Другая уникальная идентичность ряда Дирихле генерирует сумматорную функцию некоторой арифметической f, вычисляемой на входах GCD, заданных формулой
У нас также есть формула между DGF двух арифметических функций f и g, связанных обращением Мебиуса . В частности, если , то по инверсии Мебиуса мы имеем это . Следовательно, если F и G являются двумя соответствующими DGF для f и g , то мы можем связать эти два DGF по формулам:
Известна формула экспоненты ряда Дирихле. Если - DGF некоторой арифметической f с , то DGF G выражается суммой
где является обратным по Дирихле к f, а арифметическая производная от f задается формулой для всех натуральных чисел .
Аналитические свойства [ править ]
Учитывая последовательность комплексных чисел, мы пытаемся рассмотреть значение
как функция комплексной переменной s . Чтобы это имело смысл, нам нужно рассмотреть свойства сходимости указанного выше бесконечного ряда:
Если - ограниченная последовательность комплексных чисел, то соответствующий ряд Дирихле f абсолютно сходится на открытой полуплоскости Re ( s )> 1. В общем случае, если a n = O ( n k ), ряд сходится абсолютно пополам. самолет Re ( s )> k + 1.
Если набор сумм
ограничено при n и k ≥ 0, то указанный бесконечный ряд сходится на открытой полуплоскости s, такой что Re ( s )> 0.
В обоих случаях f - аналитическая функция на соответствующей открытой полуплоскости.
В общем случае это абсцисса сходимости ряда Дирихле, если он сходится при и расходится при. Это аналог ряда Дирихле радиуса сходимости для степенного ряда . Однако случай рядов Дирихле более сложен: абсолютная сходимость и равномерная сходимость могут иметь место в различных полуплоскостях.
Во многих случаях аналитическая функция, связанная с рядом Дирихле, имеет аналитическое расширение на большую область.
Абсцисса схождения [ править ]
Предполагать
сходится для некоторых
Предложение 1.
Доказательство. Обратите внимание, что:
и определить
куда
По суммированием по частям мы имеем
Предложение 2. Определить
Потом:
- абсцисса сходимости ряда Дирихле.
Доказательство. Из определения
так что
который сходится, как всякий раз, следовательно, для каждого такого, что расходится, мы имеем, и это завершает доказательство.
Предложение 3. Если сходится, то как и там, где он мероморфен, не имеет полюсов на
Доказательство. Обратите внимание, что
и суммируя по частям, для
Теперь найти N такое , что при п > N ,
и, следовательно, для каждого существует такой, что для :
[2]
Формальная серия Дирихле [ править ]
Формальному ряду Дирихле над кольцом R соответствует функция a от натуральных чисел до R
со сложением и умножением, определяемым
куда
- поточечная сумма, а
является сверткой Дирихля из и б .
Формальный ряд Дирихле образует кольцо Ω, на самом деле R -алгебру, с нулевой функцией в качестве аддитивного нулевого элемента и функцией δ, определенной формулой δ (1) = 1, δ ( n ) = 0 для n > 1 как мультипликативной единицей. Элемент этого кольца обратим , если (1) обратим в R . Если R коммутативно, то и Ω; если R - область целостности , то Ω тоже. Ненулевые мультипликативные функции образуют подгруппу группы единиц Ω.
Кольцо формальных рядов Дирихле над C изоморфно кольцу формальных степенных рядов от счетного числа переменных. [3]
Производные [ править ]
Данный
можно показать, что
предполагая, что правая часть сходится. Для полностью мультипликативной функции ƒ ( n ) и предполагая, что ряд сходится при Re ( s )> σ 0 , то имеем
сходится при Re ( s )> σ 0 . Здесь Λ ( n ) - функция фон Мангольдта .
Продукты [ править ]
Предполагать
и
Если и F ( s ), и G ( s ) абсолютно сходятся при s > a и s > b, то имеем
Для всех положительных целых чисел , функция F при х , может быть извлечен из DGF F из F (или ряда Дирихле над F ) с помощью следующей интегральной формулы всякий раз , когда , то абсцисса абсолютной сходимости в DGF F [4]
Также возможно инвертировать преобразование Меллина сумматорной функции f, которая определяет DGF F функции f, чтобы получить коэффициенты ряда Дирихле (см. Раздел ниже). В этом случае мы приходим к сложной формуле контурного интеграла, связанной с теоремой Перрона . На практике скорость сходимости приведенной выше формулы в зависимости от T является переменной, и если ряд Дирихле F чувствителен к смене знака как медленно сходящийся ряд, может потребоваться очень большое T для аппроксимации коэффициентов F с использованием этого формула без формального ограничения.
Интегральные и серийные преобразования [ править ]
Обратное преобразование Меллина из ряда Дирихля, деленный на S, даются формулой Перрона . Кроме того, если - (формальная) обычная производящая функция последовательности , то интегральное представление для ряда Дирихле последовательности производящих функций,, дается формулой [5]
Другой класс связанных производных и последовательных преобразований производящей функции для обычной производящей функции последовательности, которая эффективно производит левостороннее разложение в предыдущем уравнении, соответственно определены в [6] [7].
Отношение к степенным рядам [ править ]
Последовательность a n, порожденная производящей функцией ряда Дирихле, соответствующей:
где ζ ( s ) - дзета-функция Римана , имеет обычную производящую функцию:
Связь с суммирующей функцией арифметической функции через преобразования Меллина [ править ]
Если f - арифметическая функция с соответствующей DGF F , а суммирующая функция f определяется как
то мы можем выразить F самого Меллина функции сумматорной в . А именно у нас есть то
Для и любых натуральных чисел у нас также есть приближение к DGF F функции f, задаваемое формулой
См. Также [ править ]
Генерал Дирихле
Регуляризация дзета-функции
Произведение Эйлера
Свертка Дирихле
Ссылки [ править ]
^ Формулы для обеих серий приведены в разделе 27.4 Справочника по математическим функциям NIST /
Перейти ↑ Schmidt, MD (2017). «Преобразования производящей функции ряда Дзета, связанные с функциями полилогарифма и числами гармоники k-го порядка» (PDF) . Интернет-журнал аналитической комбинаторики (12).
^ Шмидт, Мэриленд "Преобразования производящей функции серии дзета, связанные с обобщенными числами Стирлинга и частичными суммами дзета-функции Гурвица". arXiv : 1611.00957 .
Апостол, Том М. (1976), Введение в аналитическую теорию чисел , Тексты для студентов по математике, Нью-Йорк-Гейдельберг: Springer-Verlag, ISBN 978-0-387-90163-3, Руководство по ремонту 0434929 , Zbl 0335.10001
Харди, GH ; Рис, Марсель (1915). Общая теория рядов Дирихле . Кембриджские трактаты по математике. 18 . Издательство Кембриджского университета.
Общая теория рядов Дирихле Г. Х. Харди. Исторические математические монографии библиотеки Корнельского университета. {Перепечатано} Электронными коллекциями библиотеки Корнельского университета
Гулд, Генри В .; Шонива, Темба (2008). «Каталог интересных серий Дирихле» . Мисс J. Math. Sci . 20 (1). Архивировано из оригинала на 2011-10-02.<-ссылка мертва
Матар, Ричард Дж. (2011). «Обзор рядов Дирихле по мультипликативным арифметическим функциям». arXiv : 1106,4038 [ math.NT ].
Тененбаум, Джеральд (1995). Введение в аналитическую и вероятностную теорию чисел . Кембриджские исследования в области высшей математики. 46 . Издательство Кембриджского университета . ISBN 0-521-41261-7. Zbl 0831.11001 .