Квадратичная сумма Гаусса

В чисел теории квадратичные суммы Гаусса — это некоторые конечные суммы корней из единицы. Квадратичную сумму Гаусса можно интерпретировать как линейную комбинацию значений комплексной показательной функции с коэффициентами, заданными квадратичным символом; для общего характера получают более общую сумму Гаусса .

Именование

Эти объекты названы в честь Карла Фридриха Гаусса , который тщательно их изучил и применил к квадратичным , кубическим и биквадратичным законам взаимности.

Определение

Для нечетного простого числа p и целого числа a квадратичная сумма Гаусса g ( a ; p ) определяется как

$g(a;p)=\sum _{n=0}^{p-1}\zeta _{p}^{an^{2}},$

где $\zeta _{p}$ является примитивным корнем p-й степени из единицы , например $\zeta _{p}=\exp(2\pi i/p)$.Эквивалентно,

$g(a;p)=\sum _{n=0}^{p-1}{\big (}1+\left({\tfrac {n}{p}}\right){\big )}\,\zeta _{p}^{an}.$

Для числа , кратного p, выражение $\zeta _{p}^{an^{2}}$ оценивается как $1$. Следовательно, мы имеем

$g(a;p)=p.$

Для a, не кратного p , это выражение сводится к

$g(a;p)=\sum _{n=0}^{p-1}\left({\tfrac {n}{p}}\right)\,\zeta _{p}^{an}=G(a,\left({\tfrac {\cdot }{p}}\right)),$

где

$G(a,\chi )=\sum _{n=0}^{p-1}\chi (n)\,\zeta _{p}^{an}$

— сумма Гаусса , определенная для любого характера х по модулю р .

Свойства

• Значение суммы Гаусса является целым алгебраическим числом в p -м круговом поле. $\mathbb {Q} (\zeta _{p})$.
• Вычисление суммы Гаусса для целого числа a, не делящегося на простое число p > 2, можно свести к случаю a = 1 :

$g(a;p)=\left({\tfrac {a}{p}}\right)g(1;p).$

• Точное значение суммы Гаусса при a = 1 определяется формулой:

$g(1;p)=\sum _{n=0}^{p-1}e^{\frac {2\pi in^{2}}{p}}={\begin{cases}(1+i){\sqrt {p}}&{\text{if}}\ p\equiv 0{\pmod {4}},\\{\sqrt {p}}&{\text{if}}\ p\equiv 1{\pmod {4}},\\0&{\text{if}}\ p\equiv 2{\pmod {4}},\\i{\sqrt {p}}&{\text{if}}\ p\equiv 3{\pmod {4}}.\end{cases}}$

Примечание

Фактически, личность

$g(1;p)^{2}=\left({\tfrac {-1}{p}}\right)p$

было легко доказать и привело к одному из доказательств Гаусса квадратичной взаимности . Однако определение знака суммы Гаусса оказалось значительно сложнее: Гаусс смог установить его только после нескольких лет работы. Позже Дирихле , Кронекер , Шур и другие математики нашли другие доказательства.

Гаусса

Пусть a , b , c — натуральные числа . Обобщенная квадратичная сумма Гаусса G ( a , b , c ) определяется формулой

$G(a,b,c)=\sum _{n=0}^{c-1}e^{2\pi i{\frac {an^{2}+bn}{c}}}$.

Классическая квадратичная сумма Гаусса — это сумма g ( a , p ) = G ( a , 0, p ) .

Характеристики

• Сумма Гаусса G ( a , b , c ) зависит только от класса вычетов a по и b модулю c .
• Суммы Гаусса мультипликативны , т.е. для заданных натуральных чисел a , b , c , d с НОД ( c , d ) = 1 имеем

$G(a,b,cd)=G(ac,b,d)G(ad,b,c).$

Это прямое следствие китайской теоремы об остатках .

• имеем G ( a , b , c ) = 0, если НОД( a , c ) > 1 , за исключением случая, когда НОД( a , c ) делит b, и в этом случае

$G(a,b,c)=\gcd(a,c)\cdot G\left({\frac {a}{\gcd(a,c)}},{\frac {b}{\gcd(a,c)}},{\frac {c}{\gcd(a,c)}}\right)$.

Таким образом, при вычислении квадратичных сумм Гаусса всегда можно предположить НОД( a , c ) = 1 .

• Пусть a , b , c — целые числа, где ac ≠ 0 и ac + b четное. Имеется следующий аналог квадратичного закона взаимности для (еще более общих) сумм Гаусса:

$\sum _{n=0}^{|c|-1}e^{\pi i{\frac {an^{2}+bn}{c}}}=\left|{\frac {c}{a}}\right|^{\frac {1}{2}}e^{\pi i{\frac {|ac|-b^{2}}{4ac}}}\sum _{n=0}^{|a|-1}e^{-\pi i{\frac {cn^{2}+bn}{a}}}$.

• Определять

$\varepsilon _{m}={\begin{cases}1&{\text{if}}\ m\equiv 1{\pmod {4}}\\i&{\text{if}}\ m\equiv 3{\pmod {4}}\end{cases}}$

для каждого нечетного целого числа m . Значения сумм Гаусса с b = 0 и gcd( a , c ) = 1 явно задаются выражением

$G(a,c)=G(a,0,c)={\begin{cases}0&{\text{if}}\ c\equiv 2{\pmod {4}}\\\varepsilon _{c}{\sqrt {c}}\left({\dfrac {a}{c}}\right)&{\text{if}}\ c\equiv 1{\pmod {2}}\\(1+i)\varepsilon _{a}^{-1}{\sqrt {c}}\left({\dfrac {c}{a}}\right)&{\text{if}}\ c\equiv 0{\pmod {4}}.\end{cases}}$

Здесь ( ⁠ a / c ⁠ ) — символ Якоби . Это знаменитая формула Карла Фридриха Гаусса .

• Для b > 0 можно легко вычислить, дополняя квадрат суммы Гаусса в большинстве случаев . Однако в некоторых случаях это не удается (например, c четное и b нечетное), которые можно относительно легко вычислить другими способами. Например, если c нечетно и gcd( a , c ) = 1, имеем

$G(a,b,c)=\varepsilon _{c}{\sqrt {c}}\cdot \left({\frac {a}{c}}\right)e^{-2\pi i{\frac {\psi (a)b^{2}}{c}}},$

где ψ ( a ) некоторое число с 4 ψ ( a ) a ≡ 1 (mod c ) . Другой пример: если 4 делит c , а b нечетно и, как всегда, gcd( a , c ) = 1 , то G ( a , b , c ) = 0 . Это можно, например, доказать следующим образом: в силу мультипликативного свойства сумм Гаусса нам достаточно показать, что G ( a , b , 2 ^н ) = 0, если n > 1 и a , b нечетны с НОД( a , c ) = 1 . Если b нечетно, то an ² + bn четно для всех 0 ≤ n < c − 1 . По лемме Гензеля для любого q уравнение an ² + bn + q = 0 имеет не более двух решений в $\mathbb {Z}$/2 ^н $\mathbb {Z}$. Из-за счетного аргумента ² + bn пробегает все четные классы вычетов по модулю c ровно два раза. что G Тогда формула геометрической суммы показывает, ( a , b , 2 ^н ) = 0 .

• Если c — нечетное целое число без квадратов и gcd( a , c ) = 1 , то

$G(a,0,c)=\sum _{n=0}^{c-1}\left({\frac {n}{c}}\right)e^{\frac {2\pi ian}{c}}.$

Если c не является бесквадратным, то правая часть обращается в нуль, а левая — нет. Часто правильную сумму еще называют квадратичной суммой Гаусса.

• Еще одна полезная формула

$G\left(n,p^{k}\right)=p\cdot G\left(n,p^{k-2}\right)$

справедливо для k ≥ 2 и нечетного простого числа p , а также для k ≥ 4 и p = 2 .

См. также

• Сумма Гаусса
• Гауссов период
• Куммеровая сумма
• Отношение Ландсберга – Шаара

Ссылки

• Ирландия; Розен (1990). Классическое введение в современную теорию чисел . Спрингер-Верлаг. ISBN  0-387-97329-Х .
• Берндт, Брюс К.; Эванс, Рональд Дж.; Уильямс, Кеннет С. (1998). Суммы Гаусса и Якоби . Уайли и сыновья. ISBN  0-471-12807-4 .
• Иванец, Хенрик; Ковальски, Эммануэль (2004). Аналитическая теория чисел . Американское математическое общество. ISBN  0-8218-3633-1 .