En matemáticas , una suma exponencial puede ser una serie finita de Fourier (es decir, un polinomio trigonométrico ), u otra suma finita formada utilizando la función exponencial , generalmente expresada mediante la función
Por lo tanto, una suma exponencial típica puede tomar la forma
resumido sobre una secuencia finita de números reales x n .
Si permitimos algunos coeficientes reales a n , obtenemos la forma
es lo mismo que permitir exponentes que sean números complejos . Ambas formas son ciertamente útiles en aplicaciones. Gran parte de la teoría analítica de números del siglo XX se dedicó a encontrar buenas estimaciones para estas sumas, una tendencia iniciada por el trabajo básico de Hermann Weyl en la aproximación diofántica .
La idea central del tema es que una suma
se estima trivialmente por el número N de términos. Es decir, el valor absoluto.
por la desigualdad del triángulo , ya que cada sumando tiene valor absoluto 1. En las aplicaciones a uno le gustaría hacerlo mejor. Eso implica demostrar que se produce alguna cancelación, o en otras palabras, que esta suma de números complejos en el círculo unitario no es de números todos con el mismo argumento . Lo mejor que es razonable esperar es una estimación de la forma
lo que significa, hasta la constante implícita en la notación O grande , que la suma se asemeja a un paseo aleatorio en dos dimensiones.
Esta estimación puede considerarse ideal; es inalcanzable en muchos de los principales problemas, y se estima que
deben usarse, donde la función o( N ) representa solo un pequeño ahorro en la estimación trivial. Un 'pequeño ahorro' típico puede ser un factor de log( N ), por ejemplo. Incluso un resultado aparentemente menor en la dirección correcta debe remitirse a la estructura de la secuencia inicial x n , para mostrar un grado de aleatoriedad . Las técnicas involucradas son ingeniosas y sutiles.
Una variante de la 'diferenciación de Weyl' investigada por Weyl que implica una suma exponencial generadora
Fue estudiado previamente por el propio Weyl, desarrolló un método para expresar la suma como el valor , donde 'G' se puede definir mediante una ecuación diferencial lineal similar a la ecuación de Dyson obtenida mediante suma por partes.
Si la suma es de la forma
donde ƒ es una función suave, podríamos usar la fórmula de Euler-Maclaurin para convertir la serie en una integral, más algunas correcciones que involucran derivadas de S ( x ), luego, para valores grandes de a , podría usar el método de "fase estacionaria" para calcular la integral y dar una evaluación aproximada de la suma. Los principales avances en el tema fueron el método de Van der Corput (c. 1920), relacionado con el principio de fase estacionaria , y el posterior método de Vinogradov (c. 1930).
El método del tamiz grande (c.1960), trabajo de muchos investigadores, es un principio general relativamente transparente; pero ningún método tiene aplicación general.
Se utilizan muchos tipos de sumas al formular problemas particulares; Las aplicaciones requieren normalmente una reducción a algún tipo conocido, a menudo mediante manipulaciones ingeniosas. La suma parcial se puede utilizar para eliminar coeficientes an , en muchos casos.
Una distinción básica es entre una suma exponencial completa , que normalmente es una suma de todas las clases de residuos módulo algún número entero N (o un anillo finito más general ), y una suma exponencial incompleta donde el rango de suma está restringido por alguna desigualdad . Ejemplos de sumas exponenciales completas son las sumas de Gauss y las sumas de Kloosterman ; estos son en cierto sentido análogos de campo finito o anillo finito de la función gamma y algún tipo de función de Bessel , respectivamente, y tienen muchas propiedades "estructurales". Un ejemplo de suma incompleta es la suma parcial de la suma cuadrática de Gauss (de hecho, el caso investigado por Gauss ). Aquí hay buenas estimaciones para sumas en rangos más cortos que el conjunto completo de clases de residuos, porque, en términos geométricos, las sumas parciales se aproximan a una espiral de Cornu ; esto implica una cancelación masiva.
En la teoría existen tipos auxiliares de sumas, por ejemplo sumas de caracteres ; Volviendo a la tesis de Harold Davenport . Las conjeturas de Weil tuvieron aplicaciones importantes para completar sumas con dominio restringido por condiciones polinómicas (es decir, a lo largo de una variedad algebraica sobre un cuerpo finito).
Uno de los tipos más generales de suma exponencial es la suma de Weyl , con exponentes 2π si ( n ) donde f es una función suave de valor real bastante general . Estas son las sumas involucradas en la distribución de los valores.
según el criterio de equidistribución de Weyl . Un avance básico fue la desigualdad de Weyl para tales sumas, para el polinomio f .
Existe una teoría general de pares de exponentes , que formula estimaciones. Un caso importante es donde f es logarítmica, en relación con la función zeta de Riemann . Véase también teorema de la equidistribución . [1]
Sea p un primo impar y sea . Entonces la suma de Gauss cuadrática viene dada por
donde las raíces cuadradas se consideran positivas.
Este es el grado ideal de cancelación que uno podría esperar sin ningún conocimiento a priori de la estructura de la suma, ya que coincide con la escala de un paseo aleatorio .
La suma de exponenciales es un modelo útil en farmacocinética ( cinética química en general) para describir la concentración de una sustancia a lo largo del tiempo. Los términos exponenciales corresponden a reacciones de primer orden , que en farmacología corresponde al número de compartimentos de difusión modelados . [2] [3]