В математике показательная сумма может быть конечным рядом Фурье (т.е. тригонометрическим полиномом ) или другой конечной суммой, образованной с использованием показательной функции , обычно выражаемой с помощью функции
Поэтому типичная экспоненциальная сумма может иметь вид
суммируется по конечной последовательности действительных чисел x n .
Если мы допустим некоторые действительные коэффициенты a n , то получим форму
это то же самое, что разрешить экспоненты, которые являются комплексными числами . Обе формы, безусловно, полезны в приложениях. Большая часть аналитической теории чисел двадцатого века была посвящена поиску хороших оценок для этих сумм, тенденция, начатая базовой работой Германа Вейля по диофантовым приближениям .
Основная идея предмета заключается в том, что сумма
тривиально оценивается числом членов N. То есть, абсолютное значение
неравенством треугольника , поскольку каждое слагаемое имеет абсолютное значение 1. В приложениях хотелось бы добиться лучшего. Это включает доказательство того, что имеет место некоторое сокращение, или, другими словами, что эта сумма комплексных чисел на единичной окружности не является суммой чисел с тем же аргументом . Лучшее, на что можно надеяться, — это оценка вида
что означает, с точностью до подразумеваемой константы в большой нотации O , что сумма напоминает случайное блуждание в двух измерениях.
Такую оценку можно считать идеальной; она недостижима во многих крупных задачах, а оценки
должны использоваться, где функция o( N ) представляет собой лишь небольшую экономию по сравнению с тривиальной оценкой. Типичная «небольшая экономия» может быть множителем log( N ), например. Даже такой, кажущийся незначительным, результат в правильном направлении должен быть отнесен полностью назад к структуре исходной последовательности x n , чтобы показать степень случайности . Используемые методы являются изобретательными и тонкими.
Вариант «разностного метода Вейля», исследованный Вейлем, включающий в себя генерацию экспоненциальной суммы
ранее изучался самим Вейлем, он разработал метод выражения суммы в виде значения , где «G» можно определить с помощью линейного дифференциального уравнения, аналогичного уравнению Дайсона, полученному путем суммирования по частям.
Если сумма имеет вид
где ƒ — гладкая функция, мы могли бы использовать формулу Эйлера–Маклорена для преобразования ряда в интеграл, плюс некоторые поправки, включающие производные S ( x ), затем для больших значений a можно было бы использовать метод «стационарной фазы» для вычисления интеграла и дать приблизительную оценку суммы. Основными достижениями в этой области были метод Ван дер Корпута (ок. 1920 г.), связанный с принципом стационарной фазы , и более поздний метод Виноградова (ок. 1930 г.).
Метод большого решета (около 1960 г.), разработанный многими исследователями, представляет собой относительно прозрачный общий принцип; однако ни один из методов не имеет всеобщего применения.
Многие типы сумм используются при формулировании конкретных задач; приложения обычно требуют приведения к некоторому известному типу, часто с помощью изобретательных манипуляций. Частичное суммирование может использоваться для удаления коэффициентов a n во многих случаях.
Основное различие заключается в полной показательной сумме , которая обычно является суммой по всем классам вычетов по модулю некоторого целого числа N (или более общего конечного кольца ), и неполной показательной суммой , где диапазон суммирования ограничен некоторым неравенством . Примерами полных показательных сумм являются суммы Гаусса и суммы Клостермана ; они в некотором смысле являются конечными полевыми или конечными кольцевыми аналогами гамма -функции и некоторого вида функции Бесселя , соответственно, и имеют много «структурных» свойств. Примером неполной суммы является частичная сумма квадратичной суммы Гаусса (действительно, случай, исследованный Гауссом ). Здесь есть хорошие оценки для сумм в более коротких диапазонах, чем весь набор классов вычетов, потому что, в геометрических терминах, частичные суммы приближаются к спирали Корню ; это подразумевает массивное сокращение.
В теории встречаются вспомогательные типы сумм, например, суммы характеров ; возвращаясь к тезису Гарольда Дэвенпорта . Гипотезы Вейля имели важные приложения для завершения сумм с областью, ограниченной полиномиальными условиями (т. е. вдоль алгебраического многообразия над конечным полем).
Одним из наиболее общих типов показательной суммы является сумма Вейля с показателями 2π if ( n ), где f — довольно общая вещественнозначная гладкая функция . Это суммы, участвующие в распределении значений
согласно критерию равнораспределения Вейля . Основным достижением было неравенство Вейля для таких сумм, для многочлена f .
Существует общая теория пар экспонент , которая формулирует оценки. Важный случай — когда f логарифмическая, в связи с дзета-функцией Римана . См. также теорему о равнораспределении . [1]
Пусть p — нечетное простое число и пусть . Тогда квадратичная сумма Гаусса определяется как
где квадратные корни считаются положительными.
Это идеальная степень сокращения, на которую можно надеяться без каких-либо априорных знаний о структуре суммы, поскольку она соответствует масштабированию случайного блуждания .
Сумма экспонент является полезной моделью в фармакокинетике ( химической кинетике в целом) для описания концентрации вещества с течением времени. Экспоненциальные члены соответствуют реакциям первого порядка , что в фармакологии соответствует числу смоделированных диффузионных отсеков . [2] [3]