Namespaces
Variants
Actions

Difference between revisions of "Dirichlet L-function"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
m (→‎References: latexify)
 
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
''Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328903.png" />-series, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328905.png" />-series''
+
<!--
 +
d0328903.png
 +
$#A+1 = 182 n = 3
 +
$#C+1 = 182 : ~/encyclopedia/old_files/data/D032/D.0302890 Dirichlet \BMI L\EMI\AAhfunction,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
A function of a complex variable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328906.png" /> that is defined for any [[Dirichlet character|Dirichlet character]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328907.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328908.png" /> by the series
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d0328909.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
''Dirichlet  $  L $-
 +
series,  $  L $-
 +
series''
  
As functions of a real variable these were introduced by P.G.L. Dirichlet [[#References|[1]]] in 1837 in the context of the proof that the number of primes in an arithmetic progression <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289010.png" />, where the difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289011.png" /> and the first term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289012.png" /> are relatively prime numbers, is infinite. They are a natural generalization of the Riemann [[Zeta-function|zeta-function]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289013.png" /> to an arithmetic progression and are a powerful tool in analytic number theory [[#References|[2]]]–[[#References|[4]]].
+
A function of a complex variable $  s = \sigma + it $
 +
that is defined for any [[Dirichlet character|Dirichlet character]] $  \chi $
 +
$  \mathop{\rm mod}  d $
 +
by the series
  
The series (1), known as a [[Dirichlet series]], converges absolutely and uniformly in any bounded domain in the complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289014.png" />-plane for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289015.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289016.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289017.png" /> is a non-principal character, one has
+
$$ \tag{1 }
 +
L ( s , \chi ) = \sum _ {n = 1 } ^  \infty 
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289018.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table>
+
\frac{\chi ( n) }{n  ^ {s} }
 +
.
 +
$$
  
Since the sum in the integrand is bounded, this formula gives an analytic continuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289019.png" /> to a regular function in the half-plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289020.png" />.
+
As functions of a real variable these were introduced by P.G.L. Dirichlet [[#References|[1]]] in 1837 in the context of the proof that the number of primes in an arithmetic progression  $  \{ {dm + l } : {m = 0 , 1 ,\dots } \} $,
 +
where the difference  $  d $
 +
and the first term  $  l $
 +
are relatively prime numbers, is infinite. They are a natural generalization of the Riemann [[Zeta-function|zeta-function]]  $  \zeta ( s) $
 +
to an arithmetic progression and are a powerful tool in analytic number theory [[#References|[2]]]–[[#References|[4]]].
  
For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289021.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289022.png" /> it is possible to represent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289023.png" /> as an Euler product over prime numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289024.png" />:
+
The series (1), known as a [[Dirichlet series]], converges absolutely and uniformly in any bounded domain in the complex  $  s $-
 +
plane for which  $  \sigma \geq  1 + \gamma $,
 +
$  \gamma > 0 $.  
 +
If  $  \chi $
 +
is a non-principal character, one has
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289025.png" /></td> <td valign="top" style="width:5%;text-align:right;">(3)</td></tr></table>
+
$$ \tag{2 }
 +
L ( s , \chi )  = s \int\limits _ { 1 } ^  \infty    \sum _ {n \leq  u }
 +
\chi ( n) u ^ {- s - 1 }  d u .
 +
$$
  
Hence, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289026.png" /> is a [[principal character]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289027.png" />, one has, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289028.png" />,
+
Since the sum in the integrand is bounded, this formula gives an analytic continuation of  $  L ( s , \chi ) $
 +
to a regular function in the half-plane  $  \sigma > 0 $.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289029.png" /></td> </tr></table>
+
For any  $  \chi $
 +
$  \mathop{\rm mod}  d $
 +
it is possible to represent  $  L ( s , \chi ) $
 +
as an Euler product over prime numbers  $  p $:
  
and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289030.png" />,
+
$$ \tag{3 }
 +
L ( s , \chi )  = \prod _ { p } \left ( 1 -
 +
\frac{\chi ( p) }{p  ^ {s} }
 +
\right )  ^ {-} 1 ,\  \sigma > 1 .
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289031.png" /></td> </tr></table>
+
Hence, if  $  \chi = \chi _ {0} $
 +
is a [[principal character]]  $  \mathop{\rm mod}  d $,
 +
one has, for  $  d = 1 $,
  
For this reason the properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289032.png" /> in the entire complex plane are mainly determined by the properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289033.png" />. In particular, the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289034.png" /> is regular for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289035.png" />, except for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289036.png" /> where it has a simple pole with residue <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289037.png" />; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289038.png" /> is Euler's function. If, on the other hand, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289039.png" /> and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289040.png" /> is the primitive character inducing the character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289041.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289042.png" />, then
+
$$
 +
L ( s , \chi _ {0} )  = \zeta ( s) ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289043.png" /></td> <td valign="top" style="width:5%;text-align:right;">(4)</td></tr></table>
+
and for  $  d > 1 $,
  
Thus, it is no essential restriction to consider only Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289044.png" />-functions for primitive characters. This property of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289045.png" />-functions is important, since many results concerning <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289046.png" /> have a simple form for primitive characters only. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289047.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289048.png" /> is primitive, the analytic continuation to the entire plane and the functional equation for the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289049.png" /> are obtained by direct generalization of Riemann's method for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289050.png" />. Putting
+
$$
 +
L ( s , \chi _ {0} )  = \zeta ( s) \prod _ {p \mid  d }
 +
\left ( 1 -  
 +
\frac{1}{p  ^ {s} }
 +
\right ) .
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289051.png" /></td> </tr></table>
+
For this reason the properties of  $  L ( s , \chi _ {0} ) $
 +
in the entire complex plane are mainly determined by the properties of  $  \zeta ( s) $.
 +
In particular, the function  $  L ( s , \chi _ {0} ) $
 +
is regular for all  $  s $,
 +
except for  $  s = 1 $
 +
where it has a simple pole with residue  $  \phi ( d) / d $;  
 +
here  $  \phi $
 +
is Euler's function. If, on the other hand,  $  \chi \neq \chi _ {0} $
 +
and if  $  \chi  ^ {*} $
 +
is the primitive character inducing the character  $  \chi $
 +
$  \mathop{\rm mod}  d $,
 +
then
 +
 
 +
$$ \tag{4 }
 +
L ( s , \chi )  = L ( s , \chi  ^ {*} ) \prod _ {p \mid  d }
 +
\left ( 1 -
 +
\frac{\chi  ^ {*} ( p) }{p  ^ {s} }
 +
\right ) .
 +
$$
 +
 
 +
Thus, it is no essential restriction to consider only Dirichlet  $  L $-
 +
functions for primitive characters. This property of Dirichlet  $  L $-
 +
functions is important, since many results concerning  $  L ( s , \chi ) $
 +
have a simple form for primitive characters only. If  $  \chi $
 +
$  \mathop{\rm mod}  d $
 +
is primitive, the analytic continuation to the entire plane and the functional equation for the function  $  L ( s , \chi ) $
 +
are obtained by direct generalization of Riemann's method for  $  \zeta ( s) $.  
 +
Putting
 +
 
 +
$$
 +
\xi ( s , \chi )  =  \left (
 +
\frac{d} \pi
 +
\right ) ^
 +
{( s + \delta ) / 2 } \Gamma \left (
 +
\frac{s + \delta }{2}
 +
\right )
 +
L ( s , \chi ) ,\  \delta  = 
 +
\frac{1 - \chi ( - 1 ) }{2}
 +
,
 +
$$
  
 
the result has the form
 
the result has the form
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289052.png" /></td> <td valign="top" style="width:5%;text-align:right;">(5)</td></tr></table>
+
$$ \tag{5 }
 +
\xi ( 1 - s , \overline \chi \; )  =  \epsilon ( \chi ) \xi ( s , \chi ) ,
 +
$$
 +
 
 +
where  $  \Gamma $
 +
is the gamma-function,  $  \epsilon ( \chi ) = i  ^  \delta  d ^ {1/2 } / \tau ( \chi ) $,
 +
$  | \epsilon ( \chi ) | = 1 $,
 +
$  \tau ( \chi ) $
 +
is a [[Gauss sum|Gauss sum]], and  $  \overline \chi \; $
 +
is the complex conjugate character to  $  \chi $.
 +
This equation is known as the functional equation of the function  $  L( s, \chi ) $.
 +
It follows from this formula and from formulas (2) and (4) that the functions  $  L( s, \chi ) $
 +
and  $  \xi ( x, \chi ) $
 +
are entire functions for all  $  \chi \neq \chi _ {0} $;
 +
if  $  \sigma \leq  0 $,
 +
$  L( s, \chi ) = 0 $
 +
only at the points  $  s = - 2 \nu - \delta $,
 +
$  \nu = 0 , 1 \dots $
 +
and at the points  $  s $
 +
where the product in (4) vanishes; these points are known as the trivial zeros of  $  L ( s , \chi ) $.
 +
The remaining zeros of  $  L ( s , \chi ) $
 +
are said to be the non-trivial zeros. If  $  \sigma > 1 $,
 +
then  $  L ( s , \chi ) \neq 0 $.  
 +
Ch.J. de la Vallée-Poussin showed that  $  L ( 1 + it, \chi ) \neq 0 $,
 +
so that all non-trivial zeros of a Dirichlet  $  L $-
 +
function lie in the domain  $  0 < \sigma < 1 $,
 +
which is known as the critical strip.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289053.png" /> is the gamma-function, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289054.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289055.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289056.png" /> is a [[Gauss sum|Gauss sum]], and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289057.png" /> is the complex conjugate character to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289058.png" />. This equation is known as the functional equation of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289060.png" />. It follows from this formula and from formulas (2) and (4) that the functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289061.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289062.png" /> are entire functions for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289063.png" />; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289064.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289065.png" /> only at the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289066.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289067.png" /> and at the points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289068.png" /> where the product in (4) vanishes; these points are known as the trivial zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289070.png" />. The remaining zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289071.png" /> are said to be the non-trivial zeros. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289073.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289074.png" />. Ch.J. de la Vallée-Poussin showed that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289075.png" />, so that all non-trivial zeros of a Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289076.png" />-function lie in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289077.png" />, which is known as the critical strip.
+
The distribution of the non-trivial zeros, and of the values of $  L ( s , \chi ) $
 +
in the critical strip in general, is the most important problem in the theory of Dirichlet  $  L $-
 +
functions, and is of fundamental importance in number theory.
  
The distribution of the non-trivial zeros, and of the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289079.png" /> in the critical strip in general, is the most important problem in the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289080.png" />-functions, and is of fundamental importance in number theory.
+
That each function  $  L ( s , \chi ) $
 +
has infinitely many non-trivial zeros, and that the laws governing the distribution of primes in arithmetic progressions directly depend on the distribution of these zeros, is shown by the corresponding analogues of Riemann's formulas. In fact, let  $  N ( T , \chi ) $
 +
be the number of zeros of the function  $  L ( s , \chi ) $
 +
with a primitive character  $  \chi $
 +
$  \mathop{\rm mod}  d $
 +
in the rectangle  $  0 < \sigma < 1 $,
 +
$  | t | < T $,
 +
$  T \geq  2 $.  
 +
Then
  
That each function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289081.png" /> has infinitely many non-trivial zeros, and that the laws governing the distribution of primes in arithmetic progressions directly depend on the distribution of these zeros, is shown by the corresponding analogues of Riemann's formulas. In fact, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289082.png" /> be the number of zeros of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289083.png" /> with a primitive character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289084.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289085.png" /> in the rectangle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289086.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289087.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289088.png" />. Then
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289089.png" /></td> </tr></table>
+
\frac{N( T, \chi ) }{2}
 +
  =
 +
\frac{T}{2 \pi }
 +
  \mathop{\rm ln} 
 +
\frac{Td}{2 \pi }
 +
-
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289090.png" /> be the [[Mangoldt function|von Mangoldt function]], <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289091.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289092.png" />, and let
+
\frac{T}{2 \pi }
 +
+ O(  \mathop{\rm ln}  Td ).
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289093.png" /></td> </tr></table>
+
Let  $  \Lambda ( n) $
 +
be the [[Mangoldt function|von Mangoldt function]],  $  1 \leq  l \leq  d $,
 +
$  ( l , d) = 1 $,
 +
and let
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289094.png" /></td> </tr></table>
+
$$
 +
\psi ( x ; d , l)  = \sum _ {\begin{array}{c}
 +
n \leq  x , \\
 +
n \equiv l  (  \mathop{\rm mod}  d
 +
)
 +
\end{array}
 +
}  \Lambda ( n) ,
 +
$$
 +
 
 +
$$
 +
\psi ( x ; \chi )  = \sum _ {n \leq  x } \chi ( n) \Lambda ( n) .
 +
$$
  
 
Then it follows from the orthogonality property of the characters that
 
Then it follows from the orthogonality property of the characters that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289095.png" /></td> <td valign="top" style="width:5%;text-align:right;">(6)</td></tr></table>
+
$$ \tag{6 }
 +
\psi ( x ; d , l)  =
 +
\frac{1}{\phi ( d) }
 +
\sum _ {\chi  \mathop{\rm mod} \
 +
d } \overline \chi \; ( l) \psi ( x ; \chi ) ,
 +
$$
 +
 
 +
where the summation is extended over all characters  $  \chi $
 +
$  \mathop{\rm mod}  d $.  
 +
Moreover, for a primitive character  $  \chi $
 +
and for  $  \alpha = 1 - \delta $:
  
where the summation is extended over all characters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289096.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289097.png" />. Moreover, for a primitive character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289098.png" /> and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d03289099.png" />:
+
$$
 +
\psi ( x ;  \chi )  = - \sum _  \rho 
 +
\frac{x  ^  \rho  } \rho
 +
+ \sum _ { m= } 1 ^  \infty 
 +
\frac{x ^ {\delta - 2m } }{2m - \delta }
 +
+
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890100.png" /></td> </tr></table>
+
$$
 +
- \lim\limits _ {s \rightarrow 0 } \left \{
 +
\frac{L  ^  \prime  ( \alpha s , \chi ) }{L ( \alpha s , \chi ) }
 +
-
 +
\frac \alpha {s}
 +
\right \} - \alpha  \mathop{\rm ln}  x ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890101.png" /></td> </tr></table>
+
where  $  \rho = \beta + i \gamma $
 +
runs through the non-trivial zeros of  $  L ( s , \chi ) $,
 +
and  $  L  ^  \prime  $
 +
is the derivative of  $  L $
 +
with respect to  $  s $.
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890102.png" /> runs through the non-trivial zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890103.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890104.png" /> is the derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890105.png" /> with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890106.png" />.
+
Approximate formulas for  $  \psi ( x ;  \chi ) $
 +
are more useful in practice: For arbitrary  $  \chi \neq \chi _ {0} $
 +
and for  $  2 \leq  T \leq  x $
 +
one has
  
Approximate formulas for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890107.png" /> are more useful in practice: For arbitrary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890108.png" /> and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890109.png" /> one has
+
$$ \tag{7 }
 +
\psi ( x ;  \chi )  = - \sum _ {| \gamma | < T }
 +
\frac{x  ^  \rho  } \rho
 +
+ \sum _ {| \gamma | < 1 }
 +
\frac{1} \rho
 +
+ O \left (
 +
\frac{x}{T}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890110.png" /></td> <td valign="top" style="width:5%;text-align:right;">(7)</td></tr></table>
+
\mathop{\rm ln}  ^ {2}  xd \right ) ,
 +
$$
  
and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890111.png" />,
+
and for $  \chi = \chi _ {0} $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890112.png" /></td> <td valign="top" style="width:5%;text-align:right;">(8)</td></tr></table>
+
$$ \tag{8 }
 +
\psi ( x ; \chi _ {0} )  = \sum _ {n \leq  x } \Lambda ( n) + O (
 +
\mathop{\rm ln}  x  \mathop{\rm ln}  d ) .
 +
$$
  
 
The quantity in (8) is the principal term of the sum in (6).
 
The quantity in (8) is the principal term of the sum in (6).
  
According to the so-called extended Riemann hypothesis, all non-trivial zeros of a Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890113.png" />-function lie on the straight line <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890114.png" />. If this hypothesis is valid, one has, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890115.png" />,
+
According to the so-called extended Riemann hypothesis, all non-trivial zeros of a Dirichlet $  L $-
 +
function lie on the straight line $  \sigma = 1/2 $.  
 +
If this hypothesis is valid, one has, for d \leq  x $,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890116.png" /></td> </tr></table>
+
$$
 +
\psi ( x ; d, l )  =
 +
\frac{x}{\phi ( d) }
 +
+ O ( \sqrt x  \mathop{\rm ln}
 +
^ {2}  x ) ,
 +
$$
  
and many other important problems in number theory would have their final solution. However, problems concerning the distribution of the non-trivial zeros of a Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890117.png" />-function are exceptionally difficult, and relatively little is yet (1988) known on the subject. Stronger results were obtained for complex rather than for real characters.
+
and many other important problems in number theory would have their final solution. However, problems concerning the distribution of the non-trivial zeros of a Dirichlet $  L $-
 +
function are exceptionally difficult, and relatively little is yet (1988) known on the subject. Stronger results were obtained for complex rather than for real characters.
  
A generalization of the method proposed in 1899 by de la Vallée-Poussin for the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890118.png" /> yields a bound on the non-trivial zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890119.png" />: For a complex character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890120.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890121.png" /> there exists an absolute constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890122.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890123.png" /> has no zeros in the domain
+
A generalization of the method proposed in 1899 by de la Vallée-Poussin for the function $  \zeta ( s) $
 +
yields a bound on the non-trivial zeros of $  L ( s, \chi ) $:  
 +
For a complex character $  \chi $
 +
$  \mathop{\rm mod}  d $
 +
there exists an absolute constant $  C $
 +
such that $  L ( s , \chi ) $
 +
has no zeros in the domain
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890124.png" /></td> </tr></table>
+
$$
 +
\sigma  > 1 -  
 +
\frac{C}{ \mathop{\rm ln}  d ( | t | + 2 ) }
 +
.
 +
$$
  
However, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890125.png" /> is a real non-principal character modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890126.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890127.png" /> may have in this domain at most one simple real (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890128.png" />) zero, known as the exceptional zero of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890130.png" />. The following inequality was deduced for the exceptional zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890131.png" /> from the analytic class number formula for quadratic fields:
+
However, if $  \chi $
 +
is a real non-principal character modulo d $,  
 +
then $  L ( s , \chi ) $
 +
may have in this domain at most one simple real ( $  t= 0 $)  
 +
zero, known as the exceptional zero of $  L ( s , \chi ) $.  
 +
The following inequality was deduced for the exceptional zero $  \beta $
 +
from the analytic class number formula for quadratic fields:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890132.png" /></td> </tr></table>
+
$$
 +
\beta  \leq  1 -  
 +
\frac{C}{d  ^ {1/2}  \mathop{\rm ln}  ^ {2}  d }
 +
.
 +
$$
  
A well-known best (pre 1975) bound for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890133.png" /> was obtained in 1935 by C.L. Siegel: For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890134.png" /> there exists a positive number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890135.png" /> such that
+
A well-known best (pre 1975) bound for $  \beta $
 +
was obtained in 1935 by C.L. Siegel: For any $  \epsilon > 0 $
 +
there exists a positive number $  C ( \epsilon ) $
 +
such that
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890136.png" /></td> </tr></table>
+
$$
 +
\beta  \leq  1 - C ( \epsilon ) d ^ {- \epsilon } .
 +
$$
  
However, this estimate has the major drawback of being ineffective in the sense that the knowledge of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890137.png" /> is insufficient to make an estimate for the numerical constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890138.png" />. This is also the disadvantage of the number-theoretic results based on Siegel's estimate.
+
However, this estimate has the major drawback of being ineffective in the sense that the knowledge of $  \epsilon $
 +
is insufficient to make an estimate for the numerical constant $  C ( \epsilon ) $.  
 +
This is also the disadvantage of the number-theoretic results based on Siegel's estimate.
  
From the above bounds for the non-trivial zeros of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890139.png" />-functions and formulas (6)–(8), the following asymptotic law for the distribution of prime numbers can be derived:
+
From the above bounds for the non-trivial zeros of Dirichlet $  L $-
 +
functions and formulas (6)–(8), the following asymptotic law for the distribution of prime numbers can be derived:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890140.png" /></td> </tr></table>
+
$$
 +
\psi ( x ; d , l )  =
 +
\frac{x}{\phi ( d) }
 +
+ O ( x  \mathop{\rm exp} [
 +
- C _ {1} \sqrt { \mathop{\rm ln}  x } ] ) .
 +
$$
  
Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890141.png" /> is an effectively computable constant for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890142.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890143.png" />. Otherwise, one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890144.png" /> ineffectively, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890145.png" /> is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890146.png" />.
+
Here $  C _ {1} $
 +
is an effectively computable constant for d \leq  (  \mathop{\rm ln}  x ) ^ {1 - \gamma } $
 +
for some $  \gamma > 0 $.  
 +
Otherwise, one has $  C _ {1} = C _ {1} ( N) $
 +
ineffectively, where $  N > 0 $
 +
is such that d \leq  (  \mathop{\rm ln}  x )  ^ {N} $.
  
These results are the best results available in the problem of uniform distribution of prime numbers in arithmetic progressions with increasing difference <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890147.png" />. A little more is known in the case where the value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890148.png" /> is fixed. In such a case the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890149.png" />-functions for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890150.png" /> resembles in many respects the theory of the Riemann zeta-function [[#References|[5]]], and the most recent bound on the zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890151.png" />, obtained by the [[Vinogradov method|Vinogradov method]] for estimating trigonometric sums, has the form:
+
These results are the best results available in the problem of uniform distribution of prime numbers in arithmetic progressions with increasing difference d $.  
 +
A little more is known in the case where the value of d $
 +
is fixed. In such a case the theory of Dirichlet $  L $-
 +
functions for $  t \neq 0 $
 +
resembles in many respects the theory of the Riemann zeta-function [[#References|[5]]], and the most recent bound on the zeros of $  L ( s , \chi ) $,  
 +
obtained by the [[Vinogradov method|Vinogradov method]] for estimating trigonometric sums, has the form:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890152.png" /></td> </tr></table>
+
$$
 +
L ( s , \chi )  \neq  0
 +
$$
  
 
for
 
for
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890153.png" /></td> </tr></table>
+
$$
 +
\sigma  > 1 -  
 +
\frac{C}{ \mathop{\rm ln}  ^ {2/3} ( | t | + 2 )  \mathop{\rm ln}  ^ {1/3}  \mathop{\rm ln} ( | t | + 2 ) }
 +
,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890154.png" /> is a positive constant depending on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890155.png" />.
+
where $  C $
 +
is a positive constant depending on d $.
  
To this bound for the non-trivial zeros of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890156.png" />-functions modulo a fixed <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890157.png" /> corresponds the best (1977) remainder term in the asymptotic formula for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890158.png" />:
+
To this bound for the non-trivial zeros of Dirichlet $  L $-
 +
functions modulo a fixed d $
 +
corresponds the best (1977) remainder term in the asymptotic formula for $  \psi ( x ;  d, l) $:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890159.png" /></td> </tr></table>
+
$$
 +
\ll  x  \mathop{\rm exp} [ - C  \mathop{\rm ln}  ^ {3/5} \
 +
x  \mathop{\rm ln}  ^ {1/5}  \mathop{\rm ln}  x ] .
 +
$$
  
All formulas concerning the asymptotics of the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890160.png" /> have analogues for the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890161.png" />, viz. for the number of primes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890162.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890163.png" /> (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890164.png" />), with principal term <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890165.png" /> instead of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890166.png" /> and a residual term which is smaller by a factor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890167.png" />.
+
All formulas concerning the asymptotics of the function $  \psi ( x;  d, l) $
 +
have analogues for the function $  \pi ( x;  d, l) $,
 +
viz. for the number of primes $  p \leq  x $,  
 +
$  p \equiv l $(
 +
$  \mathop{\rm mod}  d $),  
 +
with principal term $  \mathop{\rm li}  x/ \phi ( d) $
 +
instead of $  x/ \phi ( d) $
 +
and a residual term which is smaller by a factor $  \mathop{\rm ln}  x $.
  
A major subject in modern studies on the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890168.png" />-functions is research on the density of the distribution of the non-trivial zeros of such functions. This research is concerned with giving estimates for the quantities
+
A major subject in modern studies on the theory of Dirichlet $  L $-
 +
functions is research on the density of the distribution of the non-trivial zeros of such functions. This research is concerned with giving estimates for the quantities
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890169.png" /></td> </tr></table>
+
$$
 +
N ( \sigma , T, \chi ) ,\  \sum _ {\chi  \mathop{\rm mod}  d }
 +
N ( \sigma , T, \chi ) ,
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890170.png" /></td> </tr></table>
+
$$
 +
\sum _ {d \leq  D }  \sum _ {\chi  ^ {*}  \mathop{\rm mod}  d } N ( \sigma , T, \chi ) ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890171.png" /> denotes the number of zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890172.png" /> in the rectangle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890173.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890174.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890175.png" /> is a primitive character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890176.png" />.
+
where $  N ( \sigma , T, \chi ) $
 +
denotes the number of zeros of $  L ( s, \chi ) $
 +
in the rectangle $  0 < \alpha \leq  \sigma < 1 $,  
 +
$  | t | < T $,  
 +
and $  \chi  ^ {*} $
 +
is a primitive character $  \mathop{\rm mod}  d $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.G.L. Dirichlet,  "Vorlesungen über Zahlentheorie" , Vieweg  (1894)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Davenport,  "Multiplicative number theory" , Springer  (1980)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Prachar,  "Primzahlverteilung" , Springer  (1957)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N.G. Chudakov,  "Introductions to the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890177.png" />-functions" , Moscow-Leningrad  (1947)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  A. Walfisz,  "Weylsche Exponentialsummen in der neueren Zahlentheorie" , Deutsch. Verlag Wissenschaft.  (1963)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  H. Montgomery,  "Topics in multiplicative number theory" , Springer  (1971)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A.F. Lavrik,  "Development of the method of density of zeros of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890178.png" />-functions"  ''Math. Notes'' , '''17''' :  5  (1975)  pp. 483–488  ''Mat. Zametki'' , '''17''' :  5  (1975)  pp. 809–817</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.G.L. Dirichlet,  "Vorlesungen über Zahlentheorie" , Vieweg  (1894)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  H. Davenport,  "Multiplicative number theory" , Springer  (1980)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Prachar,  "Primzahlverteilung" , Springer  (1957)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N.G. Chudakov,  "Introductions to the theory of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890177.png" />-functions" , Moscow-Leningrad  (1947)  (In Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  A. Walfisz,  "Weylsche Exponentialsummen in der neueren Zahlentheorie" , Deutsch. Verlag Wissenschaft.  (1963)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  H. Montgomery,  "Topics in multiplicative number theory" , Springer  (1971)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  A.F. Lavrik,  "Development of the method of density of zeros of Dirichlet <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890178.png" />-functions"  ''Math. Notes'' , '''17''' :  5  (1975)  pp. 483–488  ''Mat. Zametki'' , '''17''' :  5  (1975)  pp. 809–817</TD></TR></table>
  
 +
====Comments====
 +
The effective bound
 +
 +
$$
 +
\beta  \leq  1 -
 +
\frac{C}{d  ^ {1/2}  \mathop{\rm ln}  ^ {2}  d }
 +
 +
$$
  
 +
for the exceptional zero  $  \beta $
 +
of  $  L ( s , \chi ) $,
 +
where  $  \chi $
 +
is a real non-principal character  $  \mathop{\rm mod}  d $,
 +
was improved by D. Goldfeld and A. Schinzel [[#References|[a1]]] to
  
====Comments====
+
$$
The effective bound
+
\beta  \leq  1 -
 +
\frac{C  \mathop{\rm ln}  d }{d  ^ {1/2} }
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890179.png" /></td> </tr></table>
+
$$
  
for the exceptional zero <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890180.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890181.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890182.png" /> is a real non-principal character <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890183.png" />, was improved by D. Goldfeld and A. Schinzel [[#References|[a1]]] to
+
for d > 0 $
 +
and
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890184.png" /></td> </tr></table>
+
$$
 +
\beta  \leq  1 -  
 +
\frac{C}{d ^ {1/2} }
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890185.png" /> and
+
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890186.png" /></td> </tr></table>
+
for  $  d < 0 $.  
 +
Here  $  C $
 +
is an effectively computable constant. Using work of B.H. Gross and D. Zagier [[#References|[a2]]] the result for  $  d < 0 $
 +
can be improved to
  
for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890187.png" />. Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890188.png" /> is an effectively computable constant. Using work of B.H. Gross and D. Zagier [[#References|[a2]]] the result for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890189.png" /> can be improved to
+
$$
 +
\beta  \leq  1 -
 +
\frac{C ( \epsilon ) (  \mathop{\rm ln}  d ) ^ {1 - \epsilon } }{d ^ {1/2} }
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890190.png" /></td> </tr></table>
+
$$
  
for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890191.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890192.png" /> is an effective constant.
+
for any $  \epsilon > 0 $,  
 +
where $  C ( \epsilon ) $
 +
is an effective constant.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Goldfeld,  A. Schinzel,  "On Siegel's zero"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)'' , '''2'''  (1975)  pp. 571–583</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B.H. Gross,  D. Zagier,  "Heegner points and derivatives of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032890/d032890193.png" />-series"  ''Invent. Math.'' , '''84'''  (1986)  pp. 225–320</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Goldfeld,  A. Schinzel,  "On Siegel's zero"  ''Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)'' , '''2'''  (1975)  pp. 571–583</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B.H. Gross,  D. Zagier,  "Heegner points and derivatives of L-series"  ''Invent. Math.'' , '''84'''  (1986)  pp. 225–320</TD></TR></table>

Latest revision as of 11:50, 26 March 2023


Dirichlet $ L $- series, $ L $- series

A function of a complex variable $ s = \sigma + it $ that is defined for any Dirichlet character $ \chi $ $ \mathop{\rm mod} d $ by the series

$$ \tag{1 } L ( s , \chi ) = \sum _ {n = 1 } ^ \infty \frac{\chi ( n) }{n ^ {s} } . $$

As functions of a real variable these were introduced by P.G.L. Dirichlet [1] in 1837 in the context of the proof that the number of primes in an arithmetic progression $ \{ {dm + l } : {m = 0 , 1 ,\dots } \} $, where the difference $ d $ and the first term $ l $ are relatively prime numbers, is infinite. They are a natural generalization of the Riemann zeta-function $ \zeta ( s) $ to an arithmetic progression and are a powerful tool in analytic number theory [2][4].

The series (1), known as a Dirichlet series, converges absolutely and uniformly in any bounded domain in the complex $ s $- plane for which $ \sigma \geq 1 + \gamma $, $ \gamma > 0 $. If $ \chi $ is a non-principal character, one has

$$ \tag{2 } L ( s , \chi ) = s \int\limits _ { 1 } ^ \infty \sum _ {n \leq u } \chi ( n) u ^ {- s - 1 } d u . $$

Since the sum in the integrand is bounded, this formula gives an analytic continuation of $ L ( s , \chi ) $ to a regular function in the half-plane $ \sigma > 0 $.

For any $ \chi $ $ \mathop{\rm mod} d $ it is possible to represent $ L ( s , \chi ) $ as an Euler product over prime numbers $ p $:

$$ \tag{3 } L ( s , \chi ) = \prod _ { p } \left ( 1 - \frac{\chi ( p) }{p ^ {s} } \right ) ^ {-} 1 ,\ \sigma > 1 . $$

Hence, if $ \chi = \chi _ {0} $ is a principal character $ \mathop{\rm mod} d $, one has, for $ d = 1 $,

$$ L ( s , \chi _ {0} ) = \zeta ( s) , $$

and for $ d > 1 $,

$$ L ( s , \chi _ {0} ) = \zeta ( s) \prod _ {p \mid d } \left ( 1 - \frac{1}{p ^ {s} } \right ) . $$

For this reason the properties of $ L ( s , \chi _ {0} ) $ in the entire complex plane are mainly determined by the properties of $ \zeta ( s) $. In particular, the function $ L ( s , \chi _ {0} ) $ is regular for all $ s $, except for $ s = 1 $ where it has a simple pole with residue $ \phi ( d) / d $; here $ \phi $ is Euler's function. If, on the other hand, $ \chi \neq \chi _ {0} $ and if $ \chi ^ {*} $ is the primitive character inducing the character $ \chi $ $ \mathop{\rm mod} d $, then

$$ \tag{4 } L ( s , \chi ) = L ( s , \chi ^ {*} ) \prod _ {p \mid d } \left ( 1 - \frac{\chi ^ {*} ( p) }{p ^ {s} } \right ) . $$

Thus, it is no essential restriction to consider only Dirichlet $ L $- functions for primitive characters. This property of Dirichlet $ L $- functions is important, since many results concerning $ L ( s , \chi ) $ have a simple form for primitive characters only. If $ \chi $ $ \mathop{\rm mod} d $ is primitive, the analytic continuation to the entire plane and the functional equation for the function $ L ( s , \chi ) $ are obtained by direct generalization of Riemann's method for $ \zeta ( s) $. Putting

$$ \xi ( s , \chi ) = \left ( \frac{d} \pi \right ) ^ {( s + \delta ) / 2 } \Gamma \left ( \frac{s + \delta }{2} \right ) L ( s , \chi ) ,\ \delta = \frac{1 - \chi ( - 1 ) }{2} , $$

the result has the form

$$ \tag{5 } \xi ( 1 - s , \overline \chi \; ) = \epsilon ( \chi ) \xi ( s , \chi ) , $$

where $ \Gamma $ is the gamma-function, $ \epsilon ( \chi ) = i ^ \delta d ^ {1/2 } / \tau ( \chi ) $, $ | \epsilon ( \chi ) | = 1 $, $ \tau ( \chi ) $ is a Gauss sum, and $ \overline \chi \; $ is the complex conjugate character to $ \chi $. This equation is known as the functional equation of the function $ L( s, \chi ) $. It follows from this formula and from formulas (2) and (4) that the functions $ L( s, \chi ) $ and $ \xi ( x, \chi ) $ are entire functions for all $ \chi \neq \chi _ {0} $; if $ \sigma \leq 0 $, $ L( s, \chi ) = 0 $ only at the points $ s = - 2 \nu - \delta $, $ \nu = 0 , 1 \dots $ and at the points $ s $ where the product in (4) vanishes; these points are known as the trivial zeros of $ L ( s , \chi ) $. The remaining zeros of $ L ( s , \chi ) $ are said to be the non-trivial zeros. If $ \sigma > 1 $, then $ L ( s , \chi ) \neq 0 $. Ch.J. de la Vallée-Poussin showed that $ L ( 1 + it, \chi ) \neq 0 $, so that all non-trivial zeros of a Dirichlet $ L $- function lie in the domain $ 0 < \sigma < 1 $, which is known as the critical strip.

The distribution of the non-trivial zeros, and of the values of $ L ( s , \chi ) $ in the critical strip in general, is the most important problem in the theory of Dirichlet $ L $- functions, and is of fundamental importance in number theory.

That each function $ L ( s , \chi ) $ has infinitely many non-trivial zeros, and that the laws governing the distribution of primes in arithmetic progressions directly depend on the distribution of these zeros, is shown by the corresponding analogues of Riemann's formulas. In fact, let $ N ( T , \chi ) $ be the number of zeros of the function $ L ( s , \chi ) $ with a primitive character $ \chi $ $ \mathop{\rm mod} d $ in the rectangle $ 0 < \sigma < 1 $, $ | t | < T $, $ T \geq 2 $. Then

$$ \frac{N( T, \chi ) }{2} = \frac{T}{2 \pi } \mathop{\rm ln} \frac{Td}{2 \pi } - \frac{T}{2 \pi } + O( \mathop{\rm ln} Td ). $$

Let $ \Lambda ( n) $ be the von Mangoldt function, $ 1 \leq l \leq d $, $ ( l , d) = 1 $, and let

$$ \psi ( x ; d , l) = \sum _ {\begin{array}{c} n \leq x , \\ n \equiv l ( \mathop{\rm mod} d ) \end{array} } \Lambda ( n) , $$

$$ \psi ( x ; \chi ) = \sum _ {n \leq x } \chi ( n) \Lambda ( n) . $$

Then it follows from the orthogonality property of the characters that

$$ \tag{6 } \psi ( x ; d , l) = \frac{1}{\phi ( d) } \sum _ {\chi \mathop{\rm mod} \ d } \overline \chi \; ( l) \psi ( x ; \chi ) , $$

where the summation is extended over all characters $ \chi $ $ \mathop{\rm mod} d $. Moreover, for a primitive character $ \chi $ and for $ \alpha = 1 - \delta $:

$$ \psi ( x ; \chi ) = - \sum _ \rho \frac{x ^ \rho } \rho + \sum _ { m= } 1 ^ \infty \frac{x ^ {\delta - 2m } }{2m - \delta } + $$

$$ - \lim\limits _ {s \rightarrow 0 } \left \{ \frac{L ^ \prime ( \alpha s , \chi ) }{L ( \alpha s , \chi ) } - \frac \alpha {s} \right \} - \alpha \mathop{\rm ln} x , $$

where $ \rho = \beta + i \gamma $ runs through the non-trivial zeros of $ L ( s , \chi ) $, and $ L ^ \prime $ is the derivative of $ L $ with respect to $ s $.

Approximate formulas for $ \psi ( x ; \chi ) $ are more useful in practice: For arbitrary $ \chi \neq \chi _ {0} $ and for $ 2 \leq T \leq x $ one has

$$ \tag{7 } \psi ( x ; \chi ) = - \sum _ {| \gamma | < T } \frac{x ^ \rho } \rho + \sum _ {| \gamma | < 1 } \frac{1} \rho + O \left ( \frac{x}{T} \mathop{\rm ln} ^ {2} xd \right ) , $$

and for $ \chi = \chi _ {0} $,

$$ \tag{8 } \psi ( x ; \chi _ {0} ) = \sum _ {n \leq x } \Lambda ( n) + O ( \mathop{\rm ln} x \mathop{\rm ln} d ) . $$

The quantity in (8) is the principal term of the sum in (6).

According to the so-called extended Riemann hypothesis, all non-trivial zeros of a Dirichlet $ L $- function lie on the straight line $ \sigma = 1/2 $. If this hypothesis is valid, one has, for $ d \leq x $,

$$ \psi ( x ; d, l ) = \frac{x}{\phi ( d) } + O ( \sqrt x \mathop{\rm ln} ^ {2} x ) , $$

and many other important problems in number theory would have their final solution. However, problems concerning the distribution of the non-trivial zeros of a Dirichlet $ L $- function are exceptionally difficult, and relatively little is yet (1988) known on the subject. Stronger results were obtained for complex rather than for real characters.

A generalization of the method proposed in 1899 by de la Vallée-Poussin for the function $ \zeta ( s) $ yields a bound on the non-trivial zeros of $ L ( s, \chi ) $: For a complex character $ \chi $ $ \mathop{\rm mod} d $ there exists an absolute constant $ C $ such that $ L ( s , \chi ) $ has no zeros in the domain

$$ \sigma > 1 - \frac{C}{ \mathop{\rm ln} d ( | t | + 2 ) } . $$

However, if $ \chi $ is a real non-principal character modulo $ d $, then $ L ( s , \chi ) $ may have in this domain at most one simple real ( $ t= 0 $) zero, known as the exceptional zero of $ L ( s , \chi ) $. The following inequality was deduced for the exceptional zero $ \beta $ from the analytic class number formula for quadratic fields:

$$ \beta \leq 1 - \frac{C}{d ^ {1/2} \mathop{\rm ln} ^ {2} d } . $$

A well-known best (pre 1975) bound for $ \beta $ was obtained in 1935 by C.L. Siegel: For any $ \epsilon > 0 $ there exists a positive number $ C ( \epsilon ) $ such that

$$ \beta \leq 1 - C ( \epsilon ) d ^ {- \epsilon } . $$

However, this estimate has the major drawback of being ineffective in the sense that the knowledge of $ \epsilon $ is insufficient to make an estimate for the numerical constant $ C ( \epsilon ) $. This is also the disadvantage of the number-theoretic results based on Siegel's estimate.

From the above bounds for the non-trivial zeros of Dirichlet $ L $- functions and formulas (6)–(8), the following asymptotic law for the distribution of prime numbers can be derived:

$$ \psi ( x ; d , l ) = \frac{x}{\phi ( d) } + O ( x \mathop{\rm exp} [ - C _ {1} \sqrt { \mathop{\rm ln} x } ] ) . $$

Here $ C _ {1} $ is an effectively computable constant for $ d \leq ( \mathop{\rm ln} x ) ^ {1 - \gamma } $ for some $ \gamma > 0 $. Otherwise, one has $ C _ {1} = C _ {1} ( N) $ ineffectively, where $ N > 0 $ is such that $ d \leq ( \mathop{\rm ln} x ) ^ {N} $.

These results are the best results available in the problem of uniform distribution of prime numbers in arithmetic progressions with increasing difference $ d $. A little more is known in the case where the value of $ d $ is fixed. In such a case the theory of Dirichlet $ L $- functions for $ t \neq 0 $ resembles in many respects the theory of the Riemann zeta-function [5], and the most recent bound on the zeros of $ L ( s , \chi ) $, obtained by the Vinogradov method for estimating trigonometric sums, has the form:

$$ L ( s , \chi ) \neq 0 $$

for

$$ \sigma > 1 - \frac{C}{ \mathop{\rm ln} ^ {2/3} ( | t | + 2 ) \mathop{\rm ln} ^ {1/3} \mathop{\rm ln} ( | t | + 2 ) } , $$

where $ C $ is a positive constant depending on $ d $.

To this bound for the non-trivial zeros of Dirichlet $ L $- functions modulo a fixed $ d $ corresponds the best (1977) remainder term in the asymptotic formula for $ \psi ( x ; d, l) $:

$$ \ll x \mathop{\rm exp} [ - C \mathop{\rm ln} ^ {3/5} \ x \mathop{\rm ln} ^ {1/5} \mathop{\rm ln} x ] . $$

All formulas concerning the asymptotics of the function $ \psi ( x; d, l) $ have analogues for the function $ \pi ( x; d, l) $, viz. for the number of primes $ p \leq x $, $ p \equiv l $( $ \mathop{\rm mod} d $), with principal term $ \mathop{\rm li} x/ \phi ( d) $ instead of $ x/ \phi ( d) $ and a residual term which is smaller by a factor $ \mathop{\rm ln} x $.

A major subject in modern studies on the theory of Dirichlet $ L $- functions is research on the density of the distribution of the non-trivial zeros of such functions. This research is concerned with giving estimates for the quantities

$$ N ( \sigma , T, \chi ) ,\ \sum _ {\chi \mathop{\rm mod} d } N ( \sigma , T, \chi ) , $$

$$ \sum _ {d \leq D } \sum _ {\chi ^ {*} \mathop{\rm mod} d } N ( \sigma , T, \chi ) , $$

where $ N ( \sigma , T, \chi ) $ denotes the number of zeros of $ L ( s, \chi ) $ in the rectangle $ 0 < \alpha \leq \sigma < 1 $, $ | t | < T $, and $ \chi ^ {*} $ is a primitive character $ \mathop{\rm mod} d $.

References

[1] P.G.L. Dirichlet, "Vorlesungen über Zahlentheorie" , Vieweg (1894)
[2] H. Davenport, "Multiplicative number theory" , Springer (1980)
[3] K. Prachar, "Primzahlverteilung" , Springer (1957)
[4] N.G. Chudakov, "Introductions to the theory of Dirichlet -functions" , Moscow-Leningrad (1947) (In Russian)
[5] A. Walfisz, "Weylsche Exponentialsummen in der neueren Zahlentheorie" , Deutsch. Verlag Wissenschaft. (1963)
[6] H. Montgomery, "Topics in multiplicative number theory" , Springer (1971)
[7] A.F. Lavrik, "Development of the method of density of zeros of Dirichlet -functions" Math. Notes , 17 : 5 (1975) pp. 483–488 Mat. Zametki , 17 : 5 (1975) pp. 809–817

Comments

The effective bound

$$ \beta \leq 1 - \frac{C}{d ^ {1/2} \mathop{\rm ln} ^ {2} d } $$

for the exceptional zero $ \beta $ of $ L ( s , \chi ) $, where $ \chi $ is a real non-principal character $ \mathop{\rm mod} d $, was improved by D. Goldfeld and A. Schinzel [a1] to

$$ \beta \leq 1 - \frac{C \mathop{\rm ln} d }{d ^ {1/2} } $$

for $ d > 0 $ and

$$ \beta \leq 1 - \frac{C}{d ^ {1/2} } $$

for $ d < 0 $. Here $ C $ is an effectively computable constant. Using work of B.H. Gross and D. Zagier [a2] the result for $ d < 0 $ can be improved to

$$ \beta \leq 1 - \frac{C ( \epsilon ) ( \mathop{\rm ln} d ) ^ {1 - \epsilon } }{d ^ {1/2} } $$

for any $ \epsilon > 0 $, where $ C ( \epsilon ) $ is an effective constant.

References

[a1] D. Goldfeld, A. Schinzel, "On Siegel's zero" Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , 2 (1975) pp. 571–583
[a2] B.H. Gross, D. Zagier, "Heegner points and derivatives of L-series" Invent. Math. , 84 (1986) pp. 225–320
How to Cite This Entry:
Dirichlet L-function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dirichlet_L-function&oldid=36155
This article was adapted from an original article by A.F. Lavrik (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article