∞
Thus if
L(s, χ) = ∑ χn/ns, (where again the numerator of each
term = 1),
n=1
when the
square of this expression is divided by the sum of the terms of the
corresponding Riemann type zeta function (i.e. where all the terms of the original series are now positive) with the denominator of each term n2s,
then a new L-function is always generated.
To
illustrate, I have taken, from the LFMDB site
the example of L(s, χ), where χ is the Dirichlet character with Label
(21.20).
The
Dirichlet L-series for this function is given by
L(s, χ) = 1
– 1/2s + 1/4s + 1/5s – 1/8s –
1/10s – 1/11s – 1/13s + 1/16s +
1/17s – 1/19s + 1/20s + 1/22s – 1/23s + 1/25s + …
So when a number is divisible by either 3 or 7 (which are
the prime factors of 21)
χ(n) = 0;
if on
division by 21, a number leaves a remainder of 1, 4, 5, 16, 17 or 20, then
χ(n) = 1;
and finally
if on division by 21, a number leaves a remainder of 2, 8, 10, 11, 13, or 19,
then
χ(n) = –
1;
Therefore
because the numerator of each term in this function is 1, then
(1 –
1/2s + 1/4s + 1/5s – 1/8s – 1/10s
– …)2/(1 +
1/22s + 1/42s + 1/52s + 1/82s +
1/102s – …)
= 1 –
2/2s + 2/4s + 2/5s – 2/8s – 4/10s
– …
So the form of this function (with respect to the signs of
each term) is the same as the original L-function.
However the numerator is now governed by the number of
distinct prime factors contained in the denominator part of each term.
So the numerator = 2t, where t represents the
number of (distinct) factors in the corresponding denominator part of the term.
This in fact provides a ready means of determining whether a
given Dirichlet type series does indeed constitute an L-function (with a
corresponding Euler product expression).
Therefore if we square this series and divide by the sum
of corresponding terms of the Riemann function (where s in the original series is replaced by 2s in the Riemann), when a new function of the
same form with respect to sign as the original is generated (where again the
numerator of each term is 2t, with t representing the number of
distinct factors in the corresponding denominator part of the term), then the
original Dirichlet series is indeed an L-function (of degree 1).
