ДИРИХЛЕ ХАРАКТЕР это:

ДИРИХЛЕ ХАРАКТЕР

(mod k) - функция c(п)=c(п; k )на множестве целых чисел, удовлетворяющая условиям:

Иными словами, Д. х. (mod k)- это арифметич. функции, к-рые не равны тождественно нулю, вполне мультипликативны и периодичны с периодом k.

Понятие Д. х. ввел П. Дирихле (P. Dirichlet, см. [1]) в связи с изучением закона распредепения простых чисел в арифметич. прогрессиях. Он же разработал основы теории Д. х. (см. [2] - [8]), исходя из прямого конструктивного построения их.

Пусть - канонич. разложение k, п- целое взаимно простое с k,( п, k)=1; С=С 0=1, если a=0 или a=1; С=2;

С 0=2a-2 если С 1=j(р 1a1)) . . .,где j -функция Эйлера. Пусть, далее, g, g0,g1 .. ., gr - система индексов числа ппо mod k, т. е. система наименьших неотрицательных целых чисел, удовлетворяющих сравнениям

где gj- наименьший первообразный корень по mod р jaj ; e, e0, e1, . . .,er - система каких-либо корней из 1 соответственно порядков С, С 0, С 1, . . ., С r. Функция

определенная на множестве всех натуральных чисел, наз. характером Дирихле (mod к). Перебирая все возможные значения e, e0, e1,. . ., er получают различных функций c - Д. х. mod к. Характер с e=e0=e1=. . .=er=1 наз. главным характером; он обозначается c0:

Для любых натуральных чисел п, l и k:

если c(п).- Д. х. (mod k), то комплексно сопряженная функция c(п).- также Д. х. (mod k);

Наименьшее из чисел v, удовлетворяющее равенству cv(n)=c0(n) наз. степенью Д. х. Для v=l существует один такой характер c0. Если v=2, то х(п)может принимать лишь значения 1; 0; -1; такие Д. х. наз. действительными, или квадратичными. Если v>3, до Д. х. наз. комплексным. c( п) наз. четным или нечетным соответственно тому, будет c(-1)=1 или х(-1)=-1- Главные свойства сумм Д. х. выражаются формулами

где в 1-й формуле ппробегает полную систему вычетов (mod k), а cво 2-й формуле - все j(k) характеров (mod k).

При (l, k)= 1 справедлива формула

наз. свойством ортогональности Д. х. Она является одной из основных формул Д. х., применяемых в разного рода исследованиях арифметич. прогрессий: kv+l,v=0, I, 2, .... В теории и приложениях Д. х. важны также понятия ведущего модуля характера и примитивного характера. Пусть c(n; k) - произвольный неглавный характер (mod k). Если для значений п, удовлетворяющих условию (n, k)=i, число А; является наименьшим периодом c(n; k), то кназ. ведущим, или основным, модулем характера c, а сам характер c - примтивным, или первообразным, характером (mod k). В противном случае существуют единственные число k1>1, делящее k, k1<k и примитивный характер c1 (mod k1 )такие, что

В этом случае c(п; k )наз. непримитивным, или производным, характером c(mod d)и говорят, что c1 индуцирует c. Тем самым многие вопросы о характерах сводятся к таковым для примитивных характеров.

Характер c(п; k)является примитивным тогда и только тогда, когда для любого d, делящего k, d<k, существует ас условиями:

В аналитич. теории широко используются суммы Гаусса, определяемые для c(mod k)равенством

Для примитивного характера cmod k;

При этом справедливо разложение c(п)в виде:

Одной из основных проблем в теории Д. х. является проблема оценки сумм Д. х. c(mod k),c неравноc0:

Имеет место оценка Виноградова:

Установлено [7], что

k- простое число. При M=l, N-k/2 существует (см. [8]) бесконечная последовательность чисел к, являющихся модулями примитивного действительного характера c, для к-poй

у- Эйлера постоянная. Это асимптотич. равенство показывает, что предыдущие оценки, вообще говоря, существенно усилить нельзя. Однако существует гипотеза Виноградова, согласно к-рой для любого е>0,

Доказательство этой гипотезы позволило бы решить ряд крупных проблем теории чисел.

Теория Д. х. лежит в основе теории Дирихле L-функций и является частным случаем общей теории характеров абелевых групп.

Лит.:[1] Дирихле П. Г. Л., Лекции по теории чисел, пер. с нем., М.-Л., 1936; [2] Виноградов И. М., Избр. тр., М., 1952; [3] Карацуба А. А., Основы аналитической теории чисел, М., 1975; [4] Прах ар К., Распределение простых чисел, пер. с нем., М., 1967; [5] Чудаков Н. Г., Введение в теорию L-функций Дирихле, М., 1947; [6] Дэвенпорт Г., Мультипликативная теория чисел, пер. с англ., М., 1971; [7] Burgess D. А., "Тр. Матем. ин-та", 1973, х. 132, с. 203-205; [8] Лаврик А. Ф., "Изв. АН СССР. Сер. матем.", 1971, т. 35, № 6, с. 1189-207.

А. Ф. Лаврик.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ДИРИХЛЕ ХАРАКТЕР" в других словарях:

  • ДИРИХЛЕ Z-ФУНКЦИЯ — Дирихле L pяд, L p яд, функция комплексного переменного s=s+it, определяемая для всех Дирихле характеровc.mod d рядом Д. L ф .mod dкак функции действительного переменного s введены в 1837 П. Дирихле (P. Dirichlet, см. [1]) в связи с… …   Математическая энциклопедия

  • Характер (в математике) — Характер (или числовой характер, или характер Дирихле) по модулю k (где целое число) комплекснозначная периодическая функция χ(n) на множестве целых чисел со следующими свойствами: | χ(n) | = 1, если n взаимно просто с k, и χ(n) = 0 в противном… …   Википедия

  • Характер (в математике) — Характер в математике, функция специального вида, применяемая в чисел теории и теории групп. В теории чисел Х. называют функцию c(n) ¹ 0, определённую для всех целых чисел n и такую, что: 1) c(nm) = c(n)c(m) для всех n и m, 2) существует… …   Большая советская энциклопедия

  • Характер (теория чисел) — У этого термина существуют и другие значения, см. Характер. Характер (или числовой характер, или характер Дирихле) по модулю (где   целое число)  комплекснозначная периодическая функция на множестве целых чисел со следующими свойствами …   Википедия

  • ДИРИХЛЕ ТЕОРЕМА — 1) Д. т. в теории диофантовых приближений: для любого действительного числа а и натурального Qсуществуют целые о и q, удовлетворяющие условию Дирихле принцип ящиков позволяет доказать и более общую теорему: для любых действительных чисел a1 …   Математическая энциклопедия

  • ХАРАКТЕР — группы гомоморфизм данной группы в нек рую стандартную абелеву группу А. Обычно в качестве . берется либо мультипликативная группа k* нек рого поля k, либо подгруппа группы Понятие X. группы было первоначально введено для конечных групп Gи А=Т… …   Математическая энциклопедия

  • Характер — I Характер (от греч. charakter отпечаток, признак, отличительная черта)         в психологии, целостный и устойчивый индивидуальный склад душевной жизни человека, её тип, «нрав» человека, проявляющийся в отдельных актах и состояниях его… …   Большая советская энциклопедия

  • Характер (теория групп) — Группа (математика) Теория групп …   Википедия

  • Лежён-Дирихле, Петер Густав — Иоганн Петер Густав Лежён Дирихле нем. Johann Peter Gustav Lejeune Dirichlet …   Википедия

  • ГЛАВНЫЙ ХАРАКТЕР — Дирихле, арифметический характер Хо определяемый условием где D любое заданное натуральное число. Через Г. х. определяются понятия первообразного и производного характеров (см. Дирихле характер). Н. Г. Чудаков …   Математическая энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»