Производящая функция Дирихле — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
(не показано 87 промежуточных версий 5 участников)
Строка 3: Строка 3:
 
'''Производящая функция Дирихле''' (англ. ''Dirichlet generating functions'') последовательности <tex>\{a_n\}_{n=1}^{\infty}</tex> — это формальный ряд вида:  
 
'''Производящая функция Дирихле''' (англ. ''Dirichlet generating functions'') последовательности <tex>\{a_n\}_{n=1}^{\infty}</tex> — это формальный ряд вида:  
 
<center>
 
<center>
<tex>A(s)= \frac{a_1}{1^s} + \frac{a_2}{2^s} + \frac{a_3}{3^s} + \dots = \sum\limits_{n=1}^\infty \frac{a_n}{n^s}</tex>,
+
<tex>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}</tex>,
 
</center>
 
</center>
 
}}
 
}}
  
 
== Примечание ==
 
== Примечание ==
* Нумерация коэффициентов производящих функций Дирихле начинается с единицы, а не с нуля, как это было в случае обыкновенных производящих функций.  
+
* Нумерация коэффициентов производящих функций Дирихле начинается с единицы, а не с нуля, как это было в случае [[Производящая функция|обыкновенных производящих функций]].  
 
* Вместо переменной <tex>x</tex> используется <tex>s</tex>. Это изменение связано больше с традициями, чем с математикой.  
 
* Вместо переменной <tex>x</tex> используется <tex>s</tex>. Это изменение связано больше с традициями, чем с математикой.  
* Принято писать <tex> \frac{a_n}{n^s} </tex> вместо <tex> {a_n}{n^{-s}} </tex>. Это считается более удобной формой.  
+
* Принято писать <tex> \dfrac{a_n}{n^s} </tex> вместо <tex> {a_n}{n^{-s}} </tex>. Это считается более удобной формой.
 +
== Операции над производящими функциями Дирихле==
 +
 
 +
=== Сложение ===
 +
 
 +
Сложение производящих функций соответствует обычному почленному сложению последовательностей.
 +
 
 +
=== Умножение ===
 +
 
 +
Если <tex>A(s)</tex> и <tex>B(s)</tex> — производящие функции Дирихле двух последовательностей <tex>\{a_n\}_{n=1}^\infty</tex> и <tex>\{b_n\}_{n=1}^\infty</tex> соответственно, то <tex>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} n^{-s}\sum\limits_{kl=n} {a_kb_l}</tex>, где внутреннее суммирование ведётся по всем разложениям числа <tex>n</tex> в произведение двух сомножителей.
 +
 
 +
=== Единица ===
 +
 
 +
Роль единицы при умножении производящих функций Дирихле играет функция <tex>1 = 1 ^ {-s}</tex>.
 +
 
 +
=== Обратимость ===
 +
 
 +
Любая производящая функция Дирихле <tex>A(s)</tex> с ненулевым свободным членом (<tex>a_1 \neq 0</tex>) обратима, то есть для неё существует функция <tex>B(s)</tex>, такая что <tex>A(s)B(s) = 1</tex>.
 +
 
 +
Действительно, по правилу перемножения функций имеем <tex>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} n^{-s}\sum\limits_{kl=n} {a_kb_l}</tex>, что в нашем случае равно <tex>1 = 1 ^ {-s}</tex>. Получаем, что <tex>a_1b_1 = 1</tex>, тогда <tex>b_1 = \dfrac{1}{a_1}</tex>. Остальные слагаемые равны <tex>0</tex>. Рассмотрим их. Известно, что коэффициент перед <tex>\dfrac{1}{n^s}</tex> равен <tex>\sum\limits_{kl=n} {a_kb_l} = {a_1b_n} + \sum\limits_{kl=n,k\neq 1} {a_kb_l}</tex>. Отсюда <tex>{b_n} = -\dfrac{\sum\limits_{kl=n,k\neq 1} {a_kb_l}}{a_1}</tex> для всех <tex>n>1</tex>.
 +
 
 +
<!----
 +
 
 +
Attention!
 +
Можно привести доказательство теоремы об обратной функции для дзета-функции Римана <!---лол, это была не я. (МК)//узковат кругозор у Вас, мужик, неприятненько было убирать за Вами :с --->
 +
 
 +
== Применение ==
 +
 
 +
Производящие функции Дирихле используются в мультипликативной теории чисел. Введение производящей функции Дирихле обусловлено их поведением относительно умножения, что позволяет контролировать мультипликативную структуру натуральных чисел<ref>[https://ru.wikipedia.org/wiki/%D0%9C%D1%83%D0%BB%D1%8C%D1%82%D0%B8%D0%BF%D0%BB%D0%B8%D0%BA%D0%B0%D1%82%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D1%84%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F Мультипликативные функции]</ref>.
 +
 
 +
<!------------jalko stirat' no net mesta---------{{Определение
 +
|definition =
 +
'''Мультипликативная функция''' (''multiplicative function'') {{---}} функция <math>f(m)</math>, такая что
 +
:: <math>f(m_1 m_2) = f(m_1)f(m_2)</math> для любых чисел <math>m_1</math> и <math>m_2</math>
 +
 
 +
:: <math>f(1)=1</math>.
 +
}}---------->
 +
{{Определение
 +
|definition =
 +
'''Мультипликативная последовательность''' (''multiplicative sequence'') {{---}} последовательность <tex> \{a_n\}_{n=1}^{\infty} </tex>, такая что <tex>a_{mn} = a_m a_n</tex> для любых чисел <math>m</math> и <math>n</math>.
 +
}}
 +
Заметим, что для мультипликативных последовательностей <tex>a_1=1</tex>. Иначе равенство <tex>a_{mn} = a_m a_n</tex> при <tex>m=1</tex> не выполнено, если <tex>a_1\neq 0</tex> либо превращается в нулевую последовательность, если <tex>a_1=0</tex>.
 +
 
 +
{{Утверждение
 +
|statement= Последовательность <tex> \{a_n\}_{n=1}^{\infty} </tex> является  мультипликативной тогда и только тогда, когда соответствующая ей производящая функция Дирихле имеет вид
 +
<tex>A(s)= \prod\limits_p\bigg(1 + \sum\limits_{n=1}^\infty \dfrac{a_p}{p^{ns}}\bigg)</tex>, где <tex>p</tex> принимает все простые значения.
 +
}}
  
 
== Примеры ==
 
== Примеры ==
  
Самой известной среди производящих функций Дирихле является дзета-функция Римана  
+
Самой известной среди производящих функций Дирихле является дзета-функция Римана.
 
{{Определение  
 
{{Определение  
 
|definition=
 
|definition=
 
'''Дзета-функция Римана ''' (англ. ''The Riemann zeta function'') — производящая функция Дирихле, отвечающая последовательности <tex> \{a_n\}_{n=1}^{\infty} </tex>, состоящей из единиц:<center>
 
'''Дзета-функция Римана ''' (англ. ''The Riemann zeta function'') — производящая функция Дирихле, отвечающая последовательности <tex> \{a_n\}_{n=1}^{\infty} </tex>, состоящей из единиц:<center>
<tex>\zeta (s)={\frac {1}{1^{s}}}+{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}+\ldots ,</tex>
+
<tex>\zeta (s)={\dfrac {1}{1^{s}}}+{\dfrac {1}{2^{s}}}+{\dfrac {1}{3^{s}}}+\ldots ,</tex>
 
</center>
 
</center>
  
 
}}
 
}}
  
Таблица содержит известные производящие функции. Первая из них — это дзета-функция Римана, состоящая из единиц. <tex>[\zeta(s)]^2</tex> является последовательностью количества делителей числа. <tex>\mu(n)</tex> — последовательность Мҷбиуса (англ. Möbius). <tex>H(n)</tex> — последоватльность факторизаций числа. <tex>\phi(n)</tex> — функция Эйлера. <tex>\lambda(s)</tex> — лямбда функция Дирихле.
+
Таблица содержит известные производящие функции. Первая из них — это дзета-функция Римана, состоящая из единиц. <tex>[\zeta(s)]^2</tex> является последовательностью количества делителей числа<ref>[https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_%D0%B4%D0%B5%D0%BB%D0%B8%D1%82%D0%B5%D0%BB%D0%B5%D0%B9 Функция делителей]</ref>. <tex>\mu(n)</tex> — последовательность Мёбиуса <ref>[https://ru.wikipedia.org/wiki/%D0%A4%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%8F_%D0%9C%D1%91%D0%B1%D0%B8%D1%83%D1%81%D0%B0 Функция Мёбиуса]</ref>. <tex>H(n)</tex> — последовательность [[Разложение на множители (факторизация)|факторизаций числа]], <tex>\phi(n)</tex> — [[Функция Эйлера|функция Эйлера]].
 
{| class="wikitable" style="width:20cm" border=1
 
{| class="wikitable" style="width:20cm" border=1
  
 
|-align="center" bgcolor=#EEEEFF
 
|-align="center" bgcolor=#EEEEFF
| '''<tex>f(s)</tex>''' || '''Последоватльность''' || '''<tex>{a_n}</tex>'''
+
| '''<tex>f(s)</tex>''' || '''Последовательность''' || '''<tex>{a_n}</tex>'''
  
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
Строка 37: Строка 83:
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
 
| <tex>[\zeta(s)]^2</tex> || <tex>d(n)</tex> || <tex>1, 2, 2, 3, 2, 4, 2, 4, \dots</tex>
 
| <tex>[\zeta(s)]^2</tex> || <tex>d(n)</tex> || <tex>1, 2, 2, 3, 2, 4, 2, 4, \dots</tex>
 
+
<!---------|-align="left" bgcolor=#FFFFFF
 +
| <tex>\zeta(s)\zeta(s-k)</tex> || <tex>\sigma_k(n)</tex> || ------------>
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
| <tex>\zeta(s)\zeta(s-k)</tex> || <tex>\sigma_k(n)</tex> ||  
+
| <tex>\dfrac{\zeta(s-1)}{\zeta(s)}</tex> || <tex>\phi(n)</tex> || <tex>1, 1, 2, 2, 4, 2, 6, 4, \dots</tex>
  
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
| <tex>\zeta(s-1)/\zeta(s)</tex> || <tex>\phi(n)</tex> || <tex>1, 1, 2, 2, 4, 2, 6, 4, \dots</tex>
+
| <tex>\dfrac{1}{[2-\zeta(s)]}</tex> || <tex>H(n)</tex> || <tex>1, 1, 1, 2, 1, 3, 1, 4, \dots</tex>
 
+
<!-------
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
| <tex>1/[2-\zeta(s)]</tex> || <tex>H(n)</tex> || <tex>1, 1, 1, 2, 1, 3, 1, 4, \dots</tex>
+
| <tex>\lambda(s)</tex> || <tex>\dfrac{1}{2[1-(-1)^n]}</tex> || <tex>1, 0, 1, 0, 1, 0, 1, 0, \dots</tex>
  
 
|-align="left" bgcolor=#FFFFFF
 
|-align="left" bgcolor=#FFFFFF
| <tex>\lambda(s)</tex> || <tex>1/2[1-(-1)^n]</tex> || <tex>1, 0, 1, 0, 1, 0, 1, 0, \dots</tex>
+
| <tex>\dfrac{\zeta(s)\zeta(s-1)}{\zeta(2s)}</tex> || <tex>\psi(n)</tex> || <tex>1, 3, 4, 6, 6, 12, 8, 12, \dots</tex>---------------->
 
 
|-align="left" bgcolor=#FFFFFF
 
| <tex>(\zeta(s)\zeta(s-1))/(\zeta(2s))</tex> || <tex>\psi(n)</tex> || <tex>1, 3, 4, 6, 6, 12, 8, 12, \dots</tex>
 
 
|}
 
|}
== Операции ==
 
  
Производящие функции Дирихле чаще используются в мультипликативной теории чисел, ввиду особого поведения относительно умножения.
+
==Свойства некоторых производящих функций Дирихле== <!-------xz как назвать, потом придумаю)))------->
  
=== Умножение ===
+
{{Теорема
 +
|statement =  
 +
Функция Мёбиуса имеет вид:
 +
<tex>M(s) = \dfrac{1}{\zeta(s)} = \sum\limits_{k=1}^{\infty} \dfrac{\mu_n}{n^s}</tex>, где
  
Если <tex>A(s)</tex> и <tex>B(s)</tex> — произодящие функции Дирихле двух последовательностей <tex>\{a_n\}_{n=1}^\infty</tex> и <tex>\{b_n\}_{n=1}^\infty</tex> соответсвенно, то <tex>A(s)B(s) = \frac{a_1b_1}{1^s} + \frac{a_1b_2 + a_2b_1}{2^s} + \frac{a_1b_3 + a_3b_1}{3^s} + \frac{a_1b_4 + a_2b_2 + a_4b_1}{4^s} + \dots = \sum\limits_{n} \frac{\sum\limits_{kl=n} {a_kb_l}}{n^s}</tex>, где внутренние суммирование ведется по всем разложением числа <tex>n</tex> в произведение двух сомножителей. Таким образом, использование производящих функций Дирихле позволяет контролировать мультипликативную структуру натуральных чисел.
+
<tex>\mu_n = \begin{cases}
=== Сложение ===
+
(-1)^{t_n} & \text{где } t_n \text{ равно количеству простых делителей числа } n \text{, если в разложении этого числа они не повторяются} \\
 +
0 & \text{иначе}
 +
\end{cases}</tex> <!------ !!! how to make po-russki ??? ----->
  
Сложение производящих функций соответствует обычному почленному сложению последовательностей.  
+
|proof =
 +
Перемножим функции <tex>M(s)</tex> и <tex>\zeta(s)</tex> и рассмотрим коэффициент при <tex>n^{-s}</tex>. Назовём его <tex>f_n</tex>. Тогда
 +
<tex>f_n = \sum\limits_{k=0}^{t_n}(-1)^{k}\dbinom{t_n}{k}</tex>.
 +
Действительно, пусть [[Разложение на множители (факторизация)|разложение <tex>n</tex> на простые множители]] имеет вид <tex>n = p^{k_1}_1\ldots p^{k_{t_n}}_{t_n}</tex>. Тогда коэффициент при <tex>m^{−s}</tex> функции <tex>M(s)</tex> участвует в произведении с ненулевым коэффициентом в том и только в том случае, если <tex>m</tex> является произведением некоторого подмножества множества простых чисел <tex>n = p_1\ldots p_{t_n}</tex>. Число таких подмножеств из <tex>k</tex> элементов равно <tex>\dbinom{t_n}{k}</tex>, а знак соответствующего коэффициента при <tex>m^{−s}</tex> равен <tex>(-1)^{k}</tex>.
  
//пример
+
}}
 +
{{Теорема
 +
|statement = Пусть <tex>f_n,g_n</tex> такие, что <tex>f_n = \sum\limits_{n\vdots k} g_k</tex>. Тогда <tex>g_n = \sum\limits_{n\vdots k} \mu_k f_k</tex>.
 +
|proof = Равенство <tex>f_n = \sum\limits_{n\vdots k} g_k</tex> означает, что <tex>F(s) = \zeta(s)G(s)</tex>, где <tex>F(s),G(s)</tex> {{---}} производящие функции Дирихле для последовательностей <tex>\{f_n\}_{n=1}^{\infty}</tex> и <tex>\{g_n\}_{n=1}^{\infty}</tex> соответственно. Домножим левую и правую части на <tex>M(s)</tex>. Получаем <tex>M(s)F(s) = M(s)\zeta(s)G(s)</tex>, а правая часть равна <tex>G(s)</tex>, так как <tex>M(s)</tex> и <tex>\zeta(s)</tex> сокращаются по предыдущей теореме.
  
=== Единица ===
+
}}
  
Роль единицы при умножении производящих функций Дирихле играет функция <tex>1 = 1 ^ {-s}</tex>.
+
{{Утверждение
 +
|statement=<tex>\zeta(s) = \prod\limits_{p} \dfrac{1}{1 - p^{-s}}</tex>, где <tex>p</tex> принимает все простые значения.
 +
|proof = Данное равенство верно, если <tex>M(s) = \prod\limits_{p} {(1 - p^{-s})}</tex>. Но последнее равенство доказывается раскрытием скобок. В результирующей последовательности будут участвовать лишь те слагаемые, для которых <tex>n</tex> представляется в виде произведения попарно различных простых множителей, а их количество определяет знак. Эта последовательность по определению является последовательностью Мёбиуса.
 +
}}
  
=== Обратимость ===
+
==См. также==
 +
* [[Производящая функция]]
  
Любая производящая функция Дирихле <tex>A(s)</tex> с ненулевым свободным членом, <tex>a_1 \neq 0</tex>, обратима: для нее существует функция <tex>B(s)</tex>, такая что <tex>A(s)B(s) = 1</tex>
+
==Примечания==
 +
<references/>
  
Attention!
 
Можно привести доказательство теоремы об обратной функции для дзета-функции Римана
 
 
== Источники информации ==  
 
== Источники информации ==  
 
* [http://files.school-collection.edu.ru/dlrstore/d62ef84c-a780-11dc-945c-d34917fee0be/47_lando_lekcii_o_proizvodyashih_foo.pdf С.К.Ландо, Леции о производящих функциях, 2007 год]
 
* [http://files.school-collection.edu.ru/dlrstore/d62ef84c-a780-11dc-945c-d34917fee0be/47_lando_lekcii_o_proizvodyashih_foo.pdf С.К.Ландо, Леции о производящих функциях, 2007 год]
 
* [http://mathworld.wolfram.com/DirichletGeneratingFunction.html Dirichlet Generating Function]
 
* [http://mathworld.wolfram.com/DirichletGeneratingFunction.html Dirichlet Generating Function]
 
* [https://mathlesstraveled.com/2017/01/30/dirichlet-generating-functions/ Dirichlet generating functions]
 
* [https://mathlesstraveled.com/2017/01/30/dirichlet-generating-functions/ Dirichlet generating functions]
* [[Нахождение количества разбиений числа на слагаемые|Нахождение количества разбиений числа на слагаемые. Пентагональная теорема Эйлера]]
+
 
* Graham, Knuth, and Patashnik: Concrete Mathematics
 
  
 
[[Категория: Дискретная математика и алгоритмы]]
 
[[Категория: Дискретная математика и алгоритмы]]
 
[[Категория: Комбинаторика]]
 
[[Категория: Комбинаторика]]

Текущая версия на 19:26, 4 сентября 2022

Определение:
Производящая функция Дирихле (англ. 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]. Это считается более удобной формой.

Операции над производящими функциями Дирихле

Сложение

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

Умножение

Если [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} n^{-s}\sum\limits_{kl=n} {a_kb_l}[/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} n^{-s}\sum\limits_{kl=n} {a_kb_l}[/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] для всех [math]n\gt 1[/math].


Применение

Производящие функции Дирихле используются в мультипликативной теории чисел. Введение производящей функции Дирихле обусловлено их поведением относительно умножения, что позволяет контролировать мультипликативную структуру натуральных чисел[1].


Определение:
Мультипликативная последовательность (multiplicative sequence) — последовательность [math] \{a_n\}_{n=1}^{\infty} [/math], такая что [math]a_{mn} = a_m a_n[/math] для любых чисел [math]m[/math] и [math]n[/math].

Заметим, что для мультипликативных последовательностей [math]a_1=1[/math]. Иначе равенство [math]a_{mn} = a_m a_n[/math] при [math]m=1[/math] не выполнено, если [math]a_1\neq 0[/math] либо превращается в нулевую последовательность, если [math]a_1=0[/math].

Утверждение:
Последовательность [math] \{a_n\}_{n=1}^{\infty} [/math] является мультипликативной тогда и только тогда, когда соответствующая ей производящая функция Дирихле имеет вид [math]A(s)= \prod\limits_p\bigg(1 + \sum\limits_{n=1}^\infty \dfrac{a_p}{p^{ns}}\bigg)[/math], где [math]p[/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] является последовательностью количества делителей числа[2]. [math]\mu(n)[/math] — последовательность Мёбиуса [3]. [math]H(n)[/math] — последовательность факторизаций числа, [math]\phi(n)[/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]M(s) = \dfrac{1}{\zeta(s)} = \sum\limits_{k=1}^{\infty} \dfrac{\mu_n}{n^s}[/math], где

[math]\mu_n = \begin{cases} (-1)^{t_n} & \text{где } t_n \text{ равно количеству простых делителей числа } n \text{, если в разложении этого числа они не повторяются} \\ 0 & \text{иначе} \end{cases}[/math]
Доказательство:
[math]\triangleright[/math]

Перемножим функции [math]M(s)[/math] и [math]\zeta(s)[/math] и рассмотрим коэффициент при [math]n^{-s}[/math]. Назовём его [math]f_n[/math]. Тогда [math]f_n = \sum\limits_{k=0}^{t_n}(-1)^{k}\dbinom{t_n}{k}[/math].

Действительно, пусть разложение [math]n[/math] на простые множители имеет вид [math]n = p^{k_1}_1\ldots p^{k_{t_n}}_{t_n}[/math]. Тогда коэффициент при [math]m^{−s}[/math] функции [math]M(s)[/math] участвует в произведении с ненулевым коэффициентом в том и только в том случае, если [math]m[/math] является произведением некоторого подмножества множества простых чисел [math]n = p_1\ldots p_{t_n}[/math]. Число таких подмножеств из [math]k[/math] элементов равно [math]\dbinom{t_n}{k}[/math], а знак соответствующего коэффициента при [math]m^{−s}[/math] равен [math](-1)^{k}[/math].
[math]\triangleleft[/math]
Теорема:
Пусть [math]f_n,g_n[/math] такие, что [math]f_n = \sum\limits_{n\vdots k} g_k[/math]. Тогда [math]g_n = \sum\limits_{n\vdots k} \mu_k f_k[/math].
Доказательство:
[math]\triangleright[/math]
Равенство [math]f_n = \sum\limits_{n\vdots k} g_k[/math] означает, что [math]F(s) = \zeta(s)G(s)[/math], где [math]F(s),G(s)[/math] — производящие функции Дирихле для последовательностей [math]\{f_n\}_{n=1}^{\infty}[/math] и [math]\{g_n\}_{n=1}^{\infty}[/math] соответственно. Домножим левую и правую части на [math]M(s)[/math]. Получаем [math]M(s)F(s) = M(s)\zeta(s)G(s)[/math], а правая часть равна [math]G(s)[/math], так как [math]M(s)[/math] и [math]\zeta(s)[/math] сокращаются по предыдущей теореме.
[math]\triangleleft[/math]
Утверждение:
[math]\zeta(s) = \prod\limits_{p} \dfrac{1}{1 - p^{-s}}[/math], где [math]p[/math] принимает все простые значения.
[math]\triangleright[/math]
Данное равенство верно, если [math]M(s) = \prod\limits_{p} {(1 - p^{-s})}[/math]. Но последнее равенство доказывается раскрытием скобок. В результирующей последовательности будут участвовать лишь те слагаемые, для которых [math]n[/math] представляется в виде произведения попарно различных простых множителей, а их количество определяет знак. Эта последовательность по определению является последовательностью Мёбиуса.
[math]\triangleleft[/math]

См. также

Примечания

Источники информации