stringtranslate.com

Función eta de Dirichlet

Representación en color de la función eta de Dirichlet. Se genera como un gráfico de Matplotlib utilizando una versión del método de coloración de dominio . [1]

En matemáticas , en el área de la teoría analítica de números , la función eta de Dirichlet se define mediante la siguiente serie de Dirichlet , que converge para cualquier número complejo que tenga parte real > 0:

Esta serie de Dirichlet es la suma alternada correspondiente a la expansión en serie de Dirichlet de la función zeta de Riemann , ζ ( s ) —y por esta razón la función eta de Dirichlet también se conoce como la función zeta alternada , también denotada ζ *( s ). Se cumple la siguiente relación:

Tanto la función eta de Dirichlet como la función zeta de Riemann son casos especiales de polilogaritmos .

Si bien la expansión en serie de Dirichlet para la función eta es convergente solo para cualquier número complejo s con parte real > 0, es sumable por Abel para cualquier número complejo. Esto sirve para definir la función eta como una función entera . (La relación anterior y los hechos de que la función eta es entera y en conjunto muestran que la función zeta es meromórfica con un polo simple en s = 1, y posiblemente polos adicionales en los otros ceros del factor , aunque de hecho estos polos adicionales hipotéticos no existen).

De manera equivalente, podemos comenzar definiendo que también está definida en la región de la parte real positiva ( representa la función gamma ). Esto da la función eta como una transformada de Mellin .

Hardy dio una prueba simple de la ecuación funcional para la función eta, [2] que es

De esto se obtiene inmediatamente también la ecuación funcional de la función zeta, así como otro medio para extender la definición de eta a todo el plano complejo.

Ceros

Los ceros de la función eta incluyen todos los ceros de la función zeta: los enteros pares negativos (ceros simples reales equidistantes); los ceros a lo largo de la línea crítica, ninguno de los cuales se sabe que sea múltiple y más del 40% de los cuales se ha demostrado que son simples, y los ceros hipotéticos en la franja crítica pero no en la línea crítica, que si existen deben ocurrir en los vértices de rectángulos simétricos alrededor del eje x y la línea crítica y cuya multiplicidad es desconocida. [ cita requerida ] Además, el factor agrega un número infinito de ceros simples complejos, ubicados en puntos equidistantes en la línea , en donde n es cualquier entero distinto de cero.

Bajo la hipótesis de Riemann , los ceros de la función eta estarían ubicados simétricamente respecto del eje real en dos rectas paralelas , y en la semirrecta perpendicular formada por el eje real negativo.

El problema de Landau cono(s) =η(s)/0 y soluciones

En la ecuación η ( s ) = (1 − 2 1− s ) ζ ( s ) , "el polo de ζ ( s ) en s = 1 se cancela por el cero del otro factor" (Titchmarsh, 1986, p. 17), y como resultado η (1) no es ni infinito ni cero (véase § Valores particulares). Sin embargo, en la ecuación η debe ser cero en todos los puntos , donde el denominador es cero, si la función zeta de Riemann es analítica y finita allí. El problema de probar esto sin definir primero la función zeta fue señalado y dejado abierto por E. Landau en su tratado de 1909 sobre teoría de números: "Si la serie eta es diferente de cero o no en los puntos , es decir, si estos son polos de zeta o no, no es fácilmente evidente aquí".

Una primera solución para el problema de Landau fue publicada casi 40 años después por DV Widder en su libro The Laplace Transform. Utiliza el primo siguiente 3 en lugar de 2 para definir una serie de Dirichlet similar a la función eta, que llamaremos la función, definida para y con algunos ceros también en , pero no iguales a los de eta.

Prueba indirecta de η ( s n ) = 0 siguiendo a Widder

Si es real y estrictamente positiva, la serie converge ya que los términos reagrupados se alternan en signo y decrecen en valor absoluto hasta cero. Según un teorema sobre convergencia uniforme de series de Dirichlet demostrado por primera vez por Cahen en 1894, la función es entonces analítica para , una región que incluye la recta . Ahora podemos definir correctamente, donde los denominadores no son cero, o

Como es irracional, los denominadores en las dos definiciones no son cero al mismo tiempo excepto para , y la función está bien definida y es analítica para excepto en . Finalmente obtenemos indirectamente que cuando :

En 2003, J. Sondow publicó una prueba directa e independiente elemental de la desaparición de la función eta en . Expresa el valor de la función eta como el límite de sumas de Riemann especiales asociadas a una integral que se sabe que es cero, utilizando una relación entre las sumas parciales de la serie de Dirichlet que define las funciones eta y zeta para .

Prueba directa de η ( s n ) = 0 por Sondow

Con un poco de álgebra simple realizada sobre sumas finitas, podemos escribir para cualquier complejo s

Ahora bien, si y , el factor que se multiplica es cero, y donde Rn( f ( x ), a , b ) denota una suma especial de Riemann que aproxima la integral de f ( x ) sobre [ a , b ] . Para t = 0 , es decir, s = 1 , obtenemos

De lo contrario, si , entonces , lo que da como resultado

Suponiendo , para cada punto donde , ahora podemos definir por continuidad lo siguiente,

Ahora se elimina la aparente singularidad de zeta en , y se demuestra que la función zeta es analítica en todas partes en , excepto en donde

Representaciones integrales

Se pueden enumerar varias fórmulas integrales que involucran la función eta. La primera se deriva de un cambio de variable de la representación integral de la función Gamma (Abel, 1823), lo que da una transformada de Mellin que se puede expresar de diferentes maneras como una integral doble (Sondow, 2005). Esto es válido para

La transformación de Cauchy–Schlömilch (Amdeberhan, Moll et al., 2010) se puede utilizar para demostrar esta otra representación, válida para . La integración por partes de la primera integral anterior en esta sección produce otra derivación.

La siguiente fórmula, de Lindelöf (1905), es válida en todo el plano complejo, cuando se toma el valor principal del logaritmo implícito en la exponencial. Esto corresponde a una fórmula de Jensen (1895) para toda la función , válida en todo el plano complejo y también demostrada por Lindelöf. "Esta fórmula, notable por su simplicidad, puede demostrarse fácilmente con la ayuda del teorema de Cauchy, tan importante para la suma de series", escribió Jensen (1895). De manera similar, al convertir las trayectorias de integración en integrales de contorno, se pueden obtener otras fórmulas para la función eta, como esta generalización (Milgram, 2013) válida para y todos : Los ceros en el eje real negativo se factorizan limpiamente haciendo (Milgram, 2013) para obtener una fórmula válida para :

Algoritmos numéricos

La mayoría de las técnicas de aceleración de series desarrolladas para series alternadas se pueden aplicar de forma rentable a la evaluación de la función eta. Un método particularmente simple, pero razonable, es aplicar la transformación de Euler de series alternadas para obtener

Tenga en cuenta que la segunda suma interna es una diferencia hacia adelante .

El método de Borwein

Peter Borwein utilizó aproximaciones que involucraban polinomios de Chebyshev para producir un método para la evaluación eficiente de la función eta. [3] Si entonces donde para el término de error γ n está acotado por

El factor de en el límite de error indica que la serie de Borwein converge bastante rápidamente a medida que n aumenta.

Valores particulares

También:

La forma general para números enteros positivos pares es:

Tomando el límite , se obtiene .

Derivados

La derivada con respecto al parámetro s es para

Referencias

  1. ^ "Visor de cuadernos Jupyter".
  2. ^ Hardy, GH (1922). Una nueva prueba de la ecuación funcional para la función zeta. Matematisk Tidsskrift. B, 71–73. http://www.jstor.org/stable/24529536
  3. ^ Borwein, Peter (2000). "Un algoritmo eficiente para la función zeta de Riemann". En Théra, Michel A. (ed.). Análisis constructivo, experimental y no lineal (PDF) . Actas de congresos, Sociedad Matemática Canadiense. Vol. 27. Providence, RI: Sociedad Matemática Americana , en representación de la Sociedad Matemática Canadiense . págs. 29–34. ISBN 978-0-8218-2167-1Archivado desde el original (PDF) el 26 de julio de 2011. Consultado el 20 de septiembre de 2008 .