Курсовая работа: Теорема Дирихле

то из равенства (2) следует, что ряд (1), определяющий функцию L (S, x), сходится в области ReS > s. Эти рассуждения справедливы для любого положительного числа s. Значит, ряд (1) сходится в полуплоскости ReS> 0.

Из равенства (2) следует, что в этой полуплоскости для L-функции, соответствующей неглавному характеру c(n), справедливо представление

(2.5)

так как

Интеграл, стоящий в правой части равенства (2.5), можно также представить в виде

(2.6)

Члены ряда (2.6) являются аналитическими функциями в области ReS >s, что следует из равенств

При этом использовано, что на полуинтервале n£х< n+1 функция S(х) принимает значение S(n). Поскольку

то ряд (2.6) равномерно сходится в области ReS >s. Отсюда, как и выше, получаем, что сумма его, т.е.

является аналитической функцией (по теореме Вейерштраса) в области ReS >s.

Из представления (2.5) следует теперь, что L (S, x) есть аналитическая функция в полуплоскости ReS >s, а ввиду произвольности S – s и b полуплоскости ReS > 0.

Следствие. Пусть c (n) – произвольный характер. Тогда в области ReS > 1 справедливо равенство

(2.7)

Это следует из того, что ряд (2.1) по доказанному равномерию сходится в области ReS>1+s, где s>0. Следовательно, по теореме Вейштрасса о равномерно сходящихся рядах аналитических функций в этой области ряд (2.1) можно почленно дифференцировать

Поэтому в полуплоскости ReS>1+s выполняется равенство (2.7). Так как в этом рассуждении s-любое положительное число, то равенство (2.7) будет справедливо в полуплоскости ReS>1.

Для L-функций имеет место представление в виде бесконечного произведения по простым числам, аналогичное тождеству Эйлера. Рассмотрим вспомогательную Лемму.

Лемма 5. Пусть функция f(n) вполне мультипликативна и ряд

(2.8)

абсолютно сходится. Тогда выполняется равенство

(2.9)

Доказательство. Отметим прежде всего, что /f(n)/<1 при любом натуральном n>1. В противном случае при каждом mÎN

/f(n)^m /=/f(n)/^m ³1,