| Определение: |
| Производящая функция Дирихле (англ. Dirichlet generating functions) последовательности [math]\{a_n\}_{n=1}^{\infty}[/math] — это формальный ряд вида:
[math]A(s)= \dfrac{a_1}{1^s} + \dfrac{a_2}{2^s} + \dfrac{a_3}{3^s} + \dots = \sum\limits_{n=1}^\infty \dfrac{a_n}{n^s}[/math],
|
Примечание
- Нумерация коэффициентов производящих функций Дирихле начинается с единицы, а не с нуля, как это было в случае обыкновенных производящих функций.
- Вместо переменной [math]x[/math] используется [math]s[/math]. Это изменение связано больше с традициями, чем с математикой.
- Принято писать [math] \dfrac{a_n}{n^s} [/math] вместо [math] {a_n}{n^{-s}} [/math]. Это считается более удобной формой.
Примеры
Производящие функции Дирихле используются в мультипликативной теории чисел.
Самой известной среди производящих функций Дирихле является дзета-функция Римана.
| Определение: |
| Дзета-функция Римана (англ. The Riemann zeta function) — производящая функция Дирихле, отвечающая последовательности [math] \{a_n\}_{n=1}^{\infty} [/math], состоящей из единиц:
[math]\zeta (s)={\dfrac {1}{1^{s}}}+{\dfrac {1}{2^{s}}}+{\dfrac {1}{3^{s}}}+\ldots ,[/math]
|
Таблица содержит известные производящие функции. Первая из них — это дзета-функция Римана, состоящая из единиц. [math][\zeta(s)]^2[/math] является последовательностью количества делителей числа. [math]\mu(n)[/math] — последовательность Мёбиуса [1]. [math]H(n)[/math] — последовательность факторизаций числа, [math]\phi(n)[/math] — функция Эйлера, [math]\lambda(s)[/math] — функция Дирихле.
| [math]f(s)[/math] |
Последовательность |
[math]{a_n}[/math]
|
| [math]\zeta(s)[/math] |
[math]1[/math] |
[math]1, 1, 1, 1, 1, 1, 1, 1, \dots[/math]
|
| [math]1/\zeta(s)[/math] |
[math]\mu(n)[/math] |
[math]1, -1, -1, 0, -1, 1, -1, 0, \dots[/math]
|
| [math][\zeta(s)]^2[/math] |
[math]d(n)[/math] |
[math]1, 2, 2, 3, 2, 4, 2, 4, \dots[/math]
|
| [math]\dfrac{\zeta(s-1)}{\zeta(s)}[/math] |
[math]\phi(n)[/math] |
[math]1, 1, 2, 2, 4, 2, 6, 4, \dots[/math]
|
| [math]\dfrac{1}{[2-\zeta(s)]}[/math] |
[math]H(n)[/math] |
[math]1, 1, 1, 2, 1, 3, 1, 4, \dots[/math]
|
| [math]\lambda(s)[/math] |
[math]\dfrac{1}{2[1-(-1)^n]}[/math] |
[math]1, 0, 1, 0, 1, 0, 1, 0, \dots[/math]
|
| [math]\dfrac{\zeta(s)\zeta(s-1)}{\zeta(2s)}[/math] |
[math]\psi(n)[/math] |
[math]1, 3, 4, 6, 6, 12, 8, 12, \dots[/math]
|
Операции
Умножение
Если [math]A(s)[/math] и [math]B(s)[/math] — производящие функции Дирихле двух последовательностей [math]\{a_n\}_{n=1}^\infty[/math] и [math]\{b_n\}_{n=1}^\infty[/math] соответственно, то [math]A(s)B(s) = \dfrac{a_1b_1}{1^s} + \dfrac{a_1b_2 + a_2b_1}{2^s} + \dfrac{a_1b_3 + a_3b_1}{3^s} + \dfrac{a_1b_4 + a_2b_2 + a_4b_1}{4^s} + \dots = \sum\limits_{n} \dfrac{\sum\limits_{kl=n} {a_kb_l}}{n^s}[/math], где внутренние суммирование ведется по всем разложением числа [math]n[/math] в произведение двух сомножителей. Таким образом, использование производящих функций Дирихле позволяет контролировать мультипликативную структуру натуральных чисел.
Сложение
Сложение производящих функций соответствует обычному почленному сложению последовательностей.
Единица
Роль единицы при умножении производящих функций Дирихле играет функция [math]1 = 1 ^ {-s}[/math].
Обратимость
Любая производящая функция Дирихле [math]A(s)[/math] с ненулевым свободным членом, [math]a_1 \neq 0[/math], обратима: для нее существует функция [math]B(s)[/math], такая что [math]A(s)B(s) = 1[/math].
Действительно, по правилу перемножения функций имеем [math]A(s)B(s) = \dfrac{a_1b_1}{1^s} + \dfrac{a_1b_2 + a_2b_1}{2^s} + \dfrac{a_1b_3 + a_3b_1}{3^s} + \dfrac{a_1b_4 + a_2b_2 + a_4b_1}{4^s} + \dots = \sum\limits_{n} \dfrac{\sum\limits_{kl=n} {a_kb_l}}{n^s}[/math], что в нашем случае равно [math]1 = 1 ^ {-s}[/math]. Получаем, что [math]a_1b_1 = 1[/math], тогда [math]b_1 = \dfrac{1}{a_1}[/math]. Остальные слагаемые равны [math]0[/math]. Рассмотрим их. Известно, что коэффициент перед [math]\dfrac{1}{n^s}[/math] равен [math]\sum\limits_{kl=n} {a_kb_l} = {a_1b_n} + \sum\limits_{kl=n,k\neq 1} {a_kb_l}[/math]. Отсюда [math]{b_n} = -\dfrac{\sum\limits_{kl=n,k\neq 1} {a_kb_l}}{a_1}[/math].
См. также
Примечания
Источники информации
