Fonction zeta d'Hurwitz

Introduction

En mathématiques, la fonction zeta d'Hurwitz est une des nombreuses fonctions zeta. Elle est définie comme suit :

$ζ (s, q) = \sum_{k = 0}^{\infty} (k + q)^{- s}$ .

Elle s'étend par prolongement analytique à tout nombre complexe s différent de 1, et à tout nombre complexe q qui n'est pas entier négatif.

Quand q = 1, ceci coïncide avec la fonction Zeta de Riemann.

Relation avec les fonctions L de Dirichlet

En fixant un entier Q ≥ 1, les fonctions L de Dirichlet pour les caractères modulo Q sont des combinaisons linéaires, à coefficients constants, de $ζ (s, q)$ où q = r/Q et r = 1, 2, ..., Q. Ceci veut dire que les fonctions Zeta d'Hurwitz pour un nombre rationnel q ont des propriétés analytiques qui sont étroitement liées à la classe des fonctions L.

Précisément, soit $χ$ un caractère de Dirichlet mod Q. Alors, nous pouvons écrire la fonction L de Dirichlet sous la forme

$L (s, χ) = \sum_{n = 1}^{\infty} \frac{χ ( n )}{n ^{s}} = \frac{1}{Q ^{s}} \sum_{k = 1}^{Q} χ (k) ζ (s, \frac{k}{Q})$ .

Formule d'Hurwitz

La formule d'Hurwitz est le théorème qui énonce

ζ (1 - s, x) = \frac{1}{2 s} [e^{- iπ s /2} β (x; s) + e^{iπ s /2} β (1 - x; s)]

où

β (x; s) = 2Γ (s + 1) n = 1 \sum \infty \frac{exp ( 2 π in x )}{( 2 π n ) ^{s}} = \frac{2Γ ( s + 1 )}{( 2 π ) ^{s}} Li_{s} (e^{2 π i x})

est une représentation de zeta qui est valide pour $0 \leq x \leq 1$ et s > 1. Ici, $Li_{s} (z)$ est la fonction polylogarithme.

Relation avec les polynômes de Bernoulli

La fonction β définie ci-dessus généralise les polynômes de Bernoulli :

B_{n} (x) = - ℜ [(- i)^{n} β (x; n)]

où $ℜ z$ représente la partie réelle de z. De manière alternative,

ζ (- n, x) = - \frac{B _{n + 1} ( x )}{n + 1}

Relation avec la fonction polygamma

La fonction zeta d'Hurwitz généralise la fonction polygamma :

ψ^{(m)} (z) = (- 1)^{m + 1} m! ζ (m + 1, z)

Relation avec fonction transcendante de Lerch

La fonction transcendante de Lerch généralise la fonction zeta d'Hurwitz :

Φ (z, s, q) = k = 0 \sum \infty \frac{z ^{k}}{( k + q ) ^{s}}

et ainsi

ζ (s, q) = Φ (1, s, q)

Équation fonctionnelle

L'équation fonctionnelle relie les valeurs de la fonction zeta sur le coté gauche -et droit- du plan complexe. Pour les nombres entiers $1 \leq m \leq n$ ,

ζ (1 - s, \frac{m}{n}) = \frac{2Γ ( s )}{( 2 π n ) ^{s}} k = 1 \sum n cos (\frac{π s}{2} - \frac{2 π k m}{n}) ζ (s, \frac{k}{n})

reste valable pour toutes les valeurs de s.

Série de Taylor

La dérivée partielle de la fonction zeta est une suite de Sheffer :

\frac{\partial}{\partial q} ζ (s, q) = - s ζ (s + 1, q)

Ainsi, la série de Taylor peut être écrite comme suit :

ζ (s, x + y) = k = 0 \sum \infty \frac{y ^{k}}{k !} \frac{\partial ^{k}}{\partial x ^{k}} ζ (s, x) = k = 0 \sum \infty (s - 1 s + k - 1) (- y)^{k} ζ (s + k, x)

Transformation de Fourier

La Transformée de Fourier discrète de la fonction zeta d'Hurwitz par rapport à l'ordre s est la fonction chi de Legendre.

Relation avec la fonction theta de Jacobi

Si $ϑ (z, τ)$ est la fonction theta de Jacobi, alors

\int_{0}^{\infty} [ϑ (z, i t) - 1] t^{s /2} \frac{d t}{t} = π^{- (1 - s) /2} Γ (\frac{1 - s}{2}) [ζ (1 - s, z) + ζ (1 - s, 1 - z)]

reste valable pour $ℜ s > 0$ et z complexe, mais non pour un nombre entier. Pour z=n un entier, ceci se simplifie en

\int_{0}^{\infty} [ϑ (n, i t) - 1] t^{s /2} \frac{d t}{t} = 2 π^{- (1 - s) /2} Γ (\frac{1 - s}{2}) ζ (1 - s) = 2 π^{- s /2} Γ (\frac{s}{2}) ζ (s)

où $ζ$ ici est la fonction Zeta de Riemann. Cette distinction basée sur z tient compte du fait que la fonction theta de Jacobi converge vers la Fonction δ de Dirac pour z lorsque $t \to 0$ .

Bien que la fonction Zeta d'Hurwitz est vue par les mathématiciens comme relevant de la plus pure discipline des mathématiques, la théorie des nombres, elle apparaît aussi dans les statistiques appliquées ; voir la loi de Zipf et la loi de Zipf-Mandelbrot.