A Certain Mean Square Value Involving Dirichlet L -Functions

: The main purpose of this article is using the elementary methods, the properties of Dirichlet L -functions to study the computational problem of a certain mean square value involving Dirichlet L -functions at positive integer points, and give some exact calculating formulae. As some applications, we obtain some interesting identities and inequalities involving character sums and trigonometric sums.

If χ is any non-principal character mod q, then L(s, χ) is an entire function of s. If χ = χ 0 is the principal character mod q, then L(s, χ) is analytic everywhere except for a simple pole at s = 1 with residue φ(q) q , φ(q) denotes the Euler function. As we all know, Dirichlet L-functions play a very important role in the research of analytic number theory, many famous problems of number theory are closely related to it. For example, the famous Goldbach's conjecture, the distribution of twins prime and so on. Because of the importance of these functions, many scholars have studied its various properties, and obtained a series of important results. For example, M. Bordignon [2,3] studied the explicit bounds on exceptional zeroes of Dirichlet L-functions, and obtained a sharp upper bound estimate.
J. Andrade and S. Baluyot [4] proved some new results for the small zeros of Dirichlet L-functions of quadratic characters of prime modulus.
W. P. Zhang [6] introduced a generalized Dedekind sums, then he used the properties of this generalized Dedekind sums to prove the following identities denotes the summation over all even characters mod q.
X. Lin [7] also proved a general mean square value formula for Dirichlet L-functions L(n, χ). That is, for any positive integer k, she obtained an exact calculating formula for But the formulae in [7] are very long, and they do not look too beautiful. Especially, the calculation of coefficients in the formulae are very complicated. Therefore, in order to save the space, there is no need to list them here.
Very recently, W. P. Zhang and D. Han [17] studied the computational problems of the reciprocal sums of one kind of Chebyshev polynomials, and proved some interesting identities. Some of them are as follows: Let q be an odd number with q ≥ 3. Then for any positive integer k and integer h with (h, q) = 1, one has the identities where ζ(s) denotes the Riemann zeta-function, and the constants S(k − 1, u) are defined as The special cases in [17] has also been studied by Y. K. Ma and X. X. Lv [18]. That is, they studied the cases k = 1, 2 and 3, and obtained some identities.
This paper, as a note of [7,17], we will use the elementary methods and the properties of Dirichlet L-functions to study the computational problem of one kind of special mean square value of Dirichlet L-functions, and give a new and exact calculating formula for it. As some applications, we obtain two interesting inequalities involving character sums and trigonometric sums. That is, we will prove the following two conclusions: Theorem 1. Let q > 2 be an integer and χ denote a Dirichlet character mod q. Then for any integer k ≥ 1, we have the identity where χ 0 denotes the principal character mod q, and the constants σ k,u are defined by Theorem 2. Let q be an integer with q ≥ 3. Then for any integer k ≥ 1, we have the identity The main difference between our results and X. Lin [7] lies in the form of the mean square value of L-functions. Feature of our results is that they are simple in form and easy to calculate. Note that [17]. It can be calculated by the recursive formula σ k,u+1 = (2k) 2 · σ k−1,u + σ k−1,u+1 for all integers 0 ≤ u ≤ k − 2, σ k,0 = 1 and σ k,k = 4 k · (k!) 2 . To better understand the consequences of these theorems, we can use Mathematica software to calculate the value of σ k,u for all integers 0 ≤ u ≤ k. Here we give partial values of σ k,u as shown in the following Table 1: If χ 0 is the principal character modulo q with q > 1, then note the identities where B 2k denotes the Bernoulli numbers, and ∏ p|q denotes the product over all distinct prime divisors of q.
Therefore, for any fixed positive integer k, we can give the exact values in Theorems 1 and 2. Especially for integers k = 1 and 2, from these theorems we may immediately deduce the following results: 6,7]). Let q be an integer with q ≥ 3, then we have the identity

Corollary 2.
Let q be an integer with q ≥ 3, then we have the identity ). Let q be an integer with q ≥ 3, then we have the identity Of course, Corollary 3 is not a corollary of Theorem 1 and 2, but rather a corollary of their proofs (and the lemmas building up to the proofs).

Corollary 5.
Let q be an integer with q ≥ 3, then for any integer h with (h, q) = 1 and χ mod q, we have the estimate Corollary 6. Let q be an integer with q ≥ 3, then for any integer h with (h, q) = 1 and χ mod q, we have the estimate Especially, if p is an odd prime, then we have the estimate Corollary 7. Let χ 2 denotes the Legendre's symbol mod 5. Then we have Corollary 8. Let χ 2 denotes the Legendre's symbol mod 3. Then we have

Several Lemmas
In this section, we shall give several simple lemmas, they are used in the proofs of our theorems. First we have the following: Lemma 1. Let q > 3 be an integer, χ be any non-principal character mod q, and f (s) = ln 1 sin(πs) . Then for any positive integer k, we have the identities where f (k) (s) denotes the k-order derivative of f (s), and L(n, χ) denotes the Dirichlet L-function corresponding to χ mod q.
On the other hand, we have (see Corollary 6, Section 3, Chapter 5 in [12]) and it is convergent for all 0 < s < 1. From (2) and the properties of the derivative we also have and In general, for any positive integer k, we have and Taking s = a q , if χ is an odd character mod q, note that χ(q − 1) = χ(−1) = −1, then from (5) and the definition of Dirichlet L-function we have If k = 1, then from the relationship between the Dirichlet L-function L(s, χ) and the Hurwitz zeta-function ζ(s, α) we can also deduce (7) is correct.

This proves (A) in Lemma 2 by mathematical induction.
To prove (B), we substitute k + 1 by k in (A), and then taking the derivative of (A), and that gives us (B). This proves Lemma 2.
Lemma 3. Let q > 1 be an integer and χ be any even character mod q. Then for any integer k ≥ 0, we have the identity If χ is any odd Dirichlet character mod q (i.e., χ(−1) = −1), then we have where L(n, χ) denotes the Dirichlet L-function corresponding to χ mod q.

Proof of Lemma 3.
Here we only treat the case k ≥ 1. The case k = 0 is dealt with separately. First if χ(−1) = 1, then from Lemma 1 and (A) of Lemma 2 we have This proves the first formula in Lemma 3.
If χ is an odd character mod q, then from Lemma 1 and (B) of Lemma 2 we also have the identity That is, we have the identity If k = 0, then for χ(−1) = −1, from [5] (Lemma 2) we have This means that Lemma 3 is also correct. This completes the proof of Lemma 3.

Proofs of the Theorems
In this section, we shall complete the proofs of our theorems. First if χ(−1) = 1, then from the first formula in Lemma 3 we have where χ 0 denotes the principal character mod q. Note that if χ(−1) = −1, then we have the identity So from (15), (16) and the orthogonality of the characters we have This proves Theorem 1. Now we prove Theorem 2. If χ be any odd Dirichlet character mod q, then note the identity where we have used the fact that the inner sum is 0, if χ(−1) = 1.
From this identity, (15), the orthogonality of characters mod q and the second formula of Lemma 3 we have This completes the proof of Theorem 2. Now we prove Corollary 3. From (1) and Lemma 1 we have So from (17) and the orthogonality of the characters mod q we have It is clear that (18) implies the identity Corollarys 5 and 6 can be deduced from Lemmas 1 and 2. In fact if χ(−1) = 1, then from Lemma 1 with k = 1 we have If χ(−1) = −1, then we have Similarly, we can also deduce Corollary 6. Corollarys 7 and 8 are the special cases of Theorems 1 and 2. In fact, for any odd prime p, it is clear that χ 2 is a real character mod p, so L(n, χ 2 ) > 0 for all positive integers n. Of course, from [1] (Theorem 6.20) we can also get L(1, χ 2 ) > 0. If we taking q = 5, then note that χ 0 and χ 2 are all even characters mod 5, so from Theorem 1 we can easily deduce Corollary 7.
Corollary 8 follows from Theorem 2 with q = 3. This completes the proofs of our all results.

Conclusions
The main results of this article are two theorems and eight corollaries. Theorem 1 establishes a new hybrid mean square value formula involving Dirichlet L-function at the even point s = 2k. Theorem 2 establishes a new hybrid mean square value formula involving Dirichlet L-function at the odd point s = 2k − 1. As some special cases or applications of these theorems, we give eight corollaries, some of these are existing results and some are new. In particular, Corollarys 5 and 6 give two strong upper bound estimates for a class of character sum,