В математика, то простая дзета-функция является аналогом Дзета-функция Римана, изученный Глейшер (1891). Это определяется как следующее бесконечная серия, которая сходится при
:
![{ displaystyle P (s) = sum _ {p , in mathrm {, primes}} { frac {1} {p ^ {s}}} = { frac {1} {2 ^ { s}}} + { frac {1} {3 ^ {s}}} + { frac {1} {5 ^ {s}}} + { frac {1} {7 ^ {s}}} + { frac {1} {11 ^ {s}}} + cdots.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f0f349e0d4a9b2e346f3706962bd88deee837f7)
Характеристики
В Произведение Эйлера для дзета-функции Римана ζ(s) следует, что
![{ displaystyle log zeta (s) = sum _ {n> 0} { frac {P (ns)} {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d24acd2308a46caae95dbf5baabad6bd48a68b31)
который по Инверсия Мёбиуса дает
![{ displaystyle P (s) = sum _ {n> 0} mu (n) { frac { log zeta (ns)} {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35746b72820f6d4397217be901a91b5466d8d364)
Когда s идет к 1, у нас есть
.Это используется в определении Плотность Дирихле.
Это дает продолжение п(s) к
, с бесконечным числом логарифмических особенностей в точках s куда нс это полюс (только нс = 1, когда п является бесквадратным числом, большим или равным 1), или нулем дзета-функции Римана ζ(.). Линия
является естественной границей, так как особенности кластера вблизи всех точек этой прямой.
Если определить последовательность
![{ displaystyle a_ {n} = prod _ {p ^ {k} mid n} { frac {1} {k}} = prod _ {p ^ {k} mid mid n} { frac {1} {k!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b0002fa70b34359d880fddf50fba0958f289897)
тогда
![P (s) = log sum _ {{n = 1}} ^ { infty} { frac {a_ {n}} {n ^ {s}}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d05109a18304b5d8a9394e311f35329efd60678)
(Возведение в степень показывает, что это эквивалентно лемме 2.7 Ли.)
Простая дзета-функция связана с Постоянная Артина к
![ln C _ {{{ mathrm {Artin}}}} = - sum _ {{n = 2}} ^ {{ infty}} { frac {(L_ {n} -1) P (n)} {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5874d402516728b9696b8a6cf92d122b6051a79d)
куда Lп это пth Число Лукаса.[1]
Конкретные значения:
s | приблизительное значение P (s) | OEIS |
---|
1 | [2] | |
2 | ![0 {.} 45224 { text {}} 74200 { text {}} 41065 { text {}} 49850 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ea9213b175fefc4359d4357e5ea1d251f0306b4) | OEIS: A085548 |
3 | ![0 {.} 17476 { text {}} 26392 { text {}} 99443 { text {}} 53642 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ebe7568ca62985f781034cba56d69e7aa7c3408) | OEIS: A085541 |
4 | ![0 {.} 07699 { text {}} 31397 { text {}} 64246 { text {}} 84494 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a453198dd036c8277f3932b44ed7baafb6cf310) | OEIS: A085964 |
5 | ![0 {.} 03575 { text {}} 50174 { text {}} 83924 { text {}} 25713 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/88c186122510f1a31b0b291b3f020a4bb7311af3) | OEIS: A085965 |
9 | ![0 {.} 00200 { text {}} 44675 { text {}} 74962 { text {}} 45066 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf2c641afffe458081c0a081a052367cd864f7e6) | OEIS: A085969 |
Анализ
интеграл
Интеграл по простой дзета-функции обычно привязан к бесконечности, потому что полюс на
запрещает определение хорошей нижней границы для некоторого конечного целого числа без обсуждения сечений ветвей в комплексной плоскости:
![{ displaystyle int _ {s} ^ { infty} P (t) , dt = sum _ {p} { frac {1} {p ^ {s} log p}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aeb30aa809c2ca7650dbc8235717795d472f33a0)
Примечательные значения снова те, где суммы сходятся медленно:
s | приблизительное значение ![sum _ {p} 1 / (p ^ {s} log p)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebe0c2ec371b78a8314b832c84502dbe75909eb4) | OEIS |
---|
1 | ![1.63661632 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/2506e9565ba703099f01ada6d6f69bd384e8e2d7) | OEIS: A137245 |
2 | ![0.50778218 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/a52caf4df08965c3fc900d32d8bb4aadbfa18491) | OEIS: A221711 |
3 | ![0,22120334 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/8afef701a6fecd36221c91b149d431eb8b5efd50) | |
4 | ![0.10266547 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/89704982a778e9bf6049046eafdf32bc97068e1e) | |
Производная
Первая производная
![P '(s) Equiv { frac {d} {ds}} P (s) = - sum _ {p} { frac { log p} {p ^ {s}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08bf682fa55c0e3ea380d0d803fef0e542b423f6)
Интересны значения, в которых суммы сходятся медленно:
s | приблизительное значение ![P '(s)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2971cd076b22da11ccce5daaa0ff9199357d551d) | OEIS |
---|
2 | ![-0,493091109 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1051981bee465e48a8402c2e19b80a2bcc16aca) | OEIS: A136271 |
3 | ![-0,150757555 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/adde0a44f7ede924f7628abacf1ff9859778f3c3) | OEIS: A303493 |
4 | ![-0.060607633 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3e99b4ffc4a09695936fadf9a94609d0f5efe2c) | OEIS: A303494 |
5 | ![-0.026838601 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc973c336e6cbdf602c52d3e73fdd3f96531279d) | OEIS: A303495 |
Обобщения
Почти простые дзета-функции
Поскольку дзета-функция Римана представляет собой сумму обратных степеней над целыми числами, а дзета-функция простого числа представляет собой сумму обратных степеней простых чисел, k-простые числа (целые числа, которые являются произведением
необязательно различные простые числа) определяют своего рода промежуточные суммы:
![{ Displaystyle P_ {k} (s) Equiv sum _ {n: Omega (n) = k} { frac {1} {n ^ {s}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a0aeb241b49adbdd58fb90255cb9b4dd388903f)
куда
общее количество главные факторы.
k | s | приблизительное значение ![P_ {k} (s)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b11149251d46e8952de34ff8678622a65fe04c82) | OEIS |
---|
2 | 2 | ![0,14076043434 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/63bec847499cda889ddf4bc74af43a3af470e467) | OEIS: A117543 |
2 | 3 | ![0,02380603347 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/02b46149d8ad55d3f2fc19da09addd64ba823519) | |
3 | 2 | ![0,03851619298 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/abc98a4ea16adf5f02b05bf78e740fc8e178db6d) | OEIS: A131653 |
3 | 3 | ![0,00304936208 ldots](https://wikimedia.org/api/rest_v1/media/math/render/svg/76b151508b8be0338efa8321d8c2749154df8ec0) | |
Каждое целое число в знаменателе дзета-функции Римана
можно классифицировать по значению индекса
, который разлагает дзета-функцию Римана в бесконечную сумму
:
![zeta (s) = 1 + sum _ {{k = 1,2, ldots}} P_ {k} (s)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f81c59cc50f1ba0b26d4100cbfb1fe9ebe284743)
Поскольку мы знаем, что Серия Дирихле (в некотором формальном параметре ты) удовлетворяет
![{ Displaystyle P _ { Omega} (u, s): = sum _ {n geq 1} { frac {u ^ { Omega (n)}} {n ^ {s}}} = prod _ {p in mathbb {P}} left (1-up ^ {- s} right) ^ {- 1},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78dc80e5c6cfc252558c9ec9047a5dc6d3878506)
мы можем использовать формулы для симметричные полиномиальные варианты с производящей функцией правостороннего типа. А именно, мы имеем коэффициентное тождество, что
когда последовательности соответствуют
куда
обозначает характеристическую функцию простые числа. С помощью Личности Ньютона, мы имеем общую формулу для этих сумм:
![{ Displaystyle P_ {n} (s) = sum _ {{k_ {1} + 2k_ {2} + cdots + nk_ {n} = n} на {k_ {1}, ldots, k_ {n } geq 0}} left [ prod _ {i = 1} ^ {n} { frac {P (is) ^ {k_ {i}}} {k_ {i}! cdot i ^ {k_ { i}}}} right] = - [z ^ {n}] log left (1- sum _ {j geq 1} { frac {P (js) z ^ {j}} {j} }верно).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0ae44734b9408a6228db71ff237f10aefcd10f7)
Особые случаи включают следующие явные расширения:
![{ displaystyle { begin {align} P_ {1} (s) & = P (s) P_ {2} (s) & = { frac {1} {2}} left (P (s) ^ {2} + P (2s) right) P_ {3} (s) & = { frac {1} {6}} left (P (s) ^ {3} + 3P (s) P (2s) + 2P (3s) right) P_ {4} (s) & = { frac {1} {24}} left (P (s) ^ {4} + 6P (s) ^ { 2} P (2s) + 3P (2s) ^ {2} + 8P (s) P (3s) + 6P (4s) right). End {align}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65b708b6d7616fb8b37919298dd9d13b69fec93e)
Простой по модулю дзета-функции
Построение суммы не по всем простым числам, а только по простым числам, которые находятся в одном классе по модулю, вводит дополнительные типы бесконечных рядов, которые являются редукцией L-функция Дирихле.
Смотрите также
Рекомендации
внешняя ссылка