Сумма Гаусса - Gauss sum

В алгебраическая теория чисел, а Сумма Гаусса или же Сумма Гаусса особый вид конечных сумма из корни единства обычно

где сумма по элементам р некоторых конечный коммутативное кольцо р, ψ это групповой гомоморфизм из аддитивная группа р+ в единичный круг, и χ является групповым гомоморфизмом группа единиц р× в единичный круг, продолженный до неединичного р, где принимает значение 0. Суммы Гаусса являются аналогами конечных полей Гамма-функция.[требуется разъяснение ]

Такие суммы встречаются повсеместно в теория чисел. Они встречаются, например, в функциональных уравнениях Дирихле L-функции, где для Dirichlet персонаж χ уравнение, связывающее L(s, χ) и L(1 − s, χ) (куда χ это комплексно сопряженный из χ) включает фактор[требуется разъяснение ]

История

Дело, первоначально рассмотренное Карл Фридрих Гаусс был квадратичная сумма Гаусса, за р то поле остатков по модулю а простое число п, и χ то Символ Лежандра. В этом случае Гаусс доказал, что грамм(χ) = п12 или же ip12 за п конгруэнтно 1 или 3 по модулю 4 соответственно (квадратичная сумма Гаусса также может быть вычислена с помощью анализа Фурье, а также контурная интеграция ).

Альтернативная форма этой суммы Гаусса:

Квадратичные суммы Гаусса тесно связаны с теорией тета-функции.

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

Абсолютное значение сумм Гаусса обычно находится как приложение Теорема Планшереля на конечных группах. В случае, когда р это область п элементы и χ нетривиально, по модулю п12. Определение точного значения общих сумм Гаусса, следуя результату Гаусса в квадратичном случае, является давней проблемой. Для некоторых случаев см. Сумма Куммера.

Свойства сумм Гаусса характеров Дирихле

Сумма Гаусса Dirichlet персонаж по модулю N является

Если χ это также примитивный, тогда

в частности, он не равен нулю. В более общем смысле, если N0 это дирижер из χ и χ0 является примитивным характером Дирихле по модулю N0 что побуждает χ, то сумма Гаусса χ связано с тем из χ0 к

куда μ это Функция Мёбиуса. Как следствие, грамм(χ) отличен от нуля именно тогда, когда N/N0 является свободный от квадратов и относительно простой к N0.

Другие отношения между грамм(χ) и суммы Гаусса других символов включают

куда χ - комплексно сопряженный характер Дирихле, а если χ является характером Дирихле по модулю N такой, что N и N относительно простые, то

Отношения между грамм(χχ′), грамм(χ), и грамм(χ′) когда χ и χ относятся к одно и тоже модуль (и χχ примитивен) измеряется Сумма Якоби J(χ, χ′). Конкретно,

Другие свойства

Смотрите также

Рекомендации

  • Апостол, Том М. (1976), Введение в аналитическую теорию чисел, Тексты для бакалавриата по математике, Нью-Йорк-Гейдельберг: Springer-Verlag, ISBN  978-0-387-90163-3, МИСТЕР  0434929, Zbl  0335.10001
  • Берндт, Б.С.; Evans, R.J .; Уильямс, К. С. (1998). Суммы Гаусса и Якоби. Серия монографий и продвинутых текстов Канадского математического общества. Вайли. ISBN  0-471-12807-4. Zbl  0906.11001.
  • Ирландия, Кеннет; Розен, Майкл (1990). Классическое введение в современную теорию чисел. Тексты для выпускников по математике. 84 (2-е изд.). Springer-Verlag. ISBN  0-387-97329-X. Zbl  0712.11001.
  • Раздел 3.4 Иванец, Хенрик; Ковальски, Эммануэль (2004), Аналитическая теория чисел, Публикации коллоквиума Американского математического общества, 53, Провиденс, Род-Айленд: Американское математическое общество, ISBN  978-0-8218-3633-0, МИСТЕР  2061214, Zbl  1059.11001