Доказательство. Пусть c (n) – некоторый числовой характер по модулю m. Из пункта б) определения следует, что c (n) задает некоторую функцию c’() = c (n) на мультипликативной группе классов вычетов по модулю m, взаимно простых с m, а именно

c’() = c (n)

Здесь обозначает класс вычетов по модулю m, содержащий n. Так как c(1) ≠ 0, то c’() не равняется тождественно нулю, а из пункта в) определения числового характера следует, что c’() = c’() = c’ (ab ) = c (a ) c (b ) = c’()c’().

Таким образом, c’() есть характер модультипликативной группы G_{m .}

Обратно, по каждому характеру c’() группы G_m можно построить числовой характер c (n) по модулю m, положив

{

Установленное соответствие является взаимнооднозначным. И все утверждения теоремы 1 следуют из доказанного выше для групповых характеров применительно к группе G_m , если учесть, что порядок группы G_m равен φ(m), где φ(m) – функция Эйлера.

В дальнейшем требуется еще одно утверждение с числовых характерах. Обозначим для каждого c, c ≥ 1

Где суммирование ведется по всем натуральным числам n, не превосходящим c.

Лемма 2. Пусть c (n) – неглавный характер. Тогда для каждого c, c ≥ 1 справедливо неравенство

/S(x)/<m

Доказательство. Функция c (n) периодична с периодом m и по теореме з

0, так как c≠ c₁

Поэтому, представив [c] – целую часть числа c – в виде [c]=m1+z, 0£z£m, будет иметь

S(c) =S([c])=q

В виду равенства /c(n)/£1 отсюда получили S(c)£z£m

2. L-функция Дирихле

Пусть х(п) – произвольный характер по модулю m. Рассмотрим ряд

, (2.1)

члены которого являются функциями комплексного переменного S. В области сходимости он определяет функцию, которая называется L-функцией Дирихле, соответствующей характеру c(n), и обозначается L (s, c).

Лемма 3

1. Если c¹c₁ , то ряд (1) сходится в области ReS > 0 и определяемая им функция L (s, c) является аналитической в этой области.

2. Ряд, определяющий L (S, c₁ ), сходится в области ReS >1. Функция L(S, c₁ ) является аналитической в области ReS > 1.

Доказательство.

Пусть c(n) – произвольный характер по модулю m, а б – некоторое положительное число. Так как /c(n)/ £ 1, то в области ReS > 1 + б справедливо неравенство

Следовательно, ряд (1) равномерно сходится в области ReS > 1 + б. Определяемая им функция L (S, c) по теореме Вейерштрасса о сумме равномерно сходящегося ряда аналитических функций является аналитической в этой области. Ввиду произвольности 6 это доказывает второе утверждение Леммы.

Для неглавных характеров c(n) потребуется более сложное исследование ряда (1).

Лемма 4 (преобразование Абеля).