Skip to main content

The Euler numbers and recursive properties of Dirichlet L-functions

Abstract

The aim of this paper is using an elementary method and the properties of the Bernoulli polynomials to establish a close relationship between the Euler numbers of the second kind \(E_{n}^{*}\) and the Dirichlet L-function \(L(s,\chi )\). At the same time, we also prove a new congruence for the Euler numbers \(E_{n}\). That is, for any prime \(p\equiv 1\bmod 8\), we have \(E_{\frac{p-3}{2}}\equiv 0\bmod p\). As an application of our result, we give a new recursive formula for one kind of Dirichlet L-functions.

Introduction

For any integer \(n\geq 0\) and real number \(0\leq x<1\), the Euler polynomials \(E_{n}(x)\) (see [1, 2] and [3]) and the Bernoulli polynomials \(B_{n}(x)\) (see [2, 4] and [5]) are defined by the coefficients of the power series

$$\begin{aligned}& \frac{2e^{zx}}{e^{z}+1}=\sum_{n=0}^{\infty } \frac{E_{n}(x)}{n!}\cdot z^{n} \quad \text{and} \quad \frac{z\cdot e^{zx}}{e^{z}-1}= \sum_{n=0}^{\infty }\frac{B_{n}(x)}{n!}\cdot z ^{n}. \end{aligned}$$

When \(x=0\), \(E_{n}=E_{n}(0)\) is called the nth Euler number, \(B_{n}=B_{n}(0)\) is called the nth Bernoulli number. For example, the initial values of \(E_{n}\) and \(B_{n}\) are \(E_{0}=1, E_{1}=- \frac{1}{2}, E_{2}=0, E_{3}=\frac{1}{4}, E_{4}=0, E_{5}=- \frac{1}{2}, E_{6}=0, \dots \) ; \(B_{0}=1, B_{1}=-\frac{1}{2}, B_{2}=\frac{1}{6}, B_{3}=0, B_{4}=-\frac{1}{30}, B_{5}=0, B_{6}=\frac{1}{42}, \dots \) .

The Euler numbers of the second kind \(E_{n}^{*}\) (see [2, 6, 7] and [8]) are also defined by the coefficients of the power series

$$ \frac{2}{e^{z}+e^{-z}}=\sum_{n=0}^{\infty } \frac{E_{n}^{*}}{n!}\cdot z^{n}=\sum_{n=0}^{\infty } \frac{E_{2n}^{*}}{(2n)!}\cdot z^{2n}, $$

where \(E_{0}^{*}=1\), \(E_{2}=-1\), \(E_{4}^{*}=5\), \(E_{6}^{*}=-61\), and \(E_{2i+1}^{*}=0\) for all integers \(i\geq 0\).

It is clear that \(E_{n}^{*}=2^{n}\cdot E_{n} ( \frac{1}{2} ) \). These polynomials and numbers arise in many combinatorial and number theory contexts. As for the elementary properties of these sequences, various authors have studied them and obtained many interesting results. For example, W. Zhang [9] obtained some combinational identities. As an application of the result in [9], he proved that for any prime p, one has the congruence

$$ (-1)^{\frac{p-1}{2}}E_{p-1}^{*} \equiv \textstyle\begin{cases} 0 \mod p &\text{if }p\equiv 1\bmod 4; \\ -2 \mod p & \text{if }p\equiv 3\bmod 4. \end{cases} $$

Richard K. Guy [10] (see problem B45 and [11]) proposed the following two problems:

  • Is it true that for any prime \(p\equiv 1\bmod 8\), \(p\nmid E_{ \frac{p-1}{2}}^{*}\)? Is the same true for \(p\equiv 5\bmod 8\)?

G. Liu [6] solved the second problem by an elementary method. Later, W. Zhang and Z. Xu [7] solved the above two problems completely. In fact, they proved the following general conclusion: For any prime \(p\equiv 1\bmod 4\) and positive integer α, one has the congruence

$$ p^{\alpha }\nmid E_{\phi ( p^{\alpha } ) /2}^{*}, $$

where \(\phi (n)\) denotes the Euler function.

Recently, J. Zhao and Z. Chen [12] proved the following conclusion: For any positive integers n and \(k\geq 2\), one has the identity

$$\begin{aligned} \sum_{a_{1}+a_{2}+\cdots +a_{k}=n}\frac{E_{a_{1}}}{(a_{1})!}\cdot \frac{E _{a_{2}}}{(a_{2})!} \cdots \frac{E_{a_{k}}}{(a_{k})!} = \frac{2^{k-1}}{(k-1)!} \cdot \frac{1}{n!}\sum _{i=0}^{k-1}C(k-1,i)E _{n+k-1-i}, \end{aligned}$$

where the sequence \(\{C(k,i)\}\) is defined as follows: For any positive integer k and integers \(0\leq i\leq k\), we define \(C(k, 0)=1\), \(C(k,k)=k!\) and

$$\begin{aligned}& C(k+1, i+1)=C(k, i+1)+ (k+1)C(k, i), \quad \text{for all }0\leq i < k, \end{aligned}$$

provided \(C(k,i)=0\), if \(i>k\).

As corollaries of this result, J. Zhao and Z. Chen [12] also obtained the following results: For any odd prime p, one has the congruences

$$\begin{aligned}& E_{p+1}\equiv 0 ( \bmod\ p ) ,\quad\quad 2E_{p}\equiv 1 ( \bmod\ p ) \quad \text{and} \quad E_{p-1}\equiv -1 ( \bmod\ p ) . \end{aligned}$$

T. Kim et al. (see [2, 1317] and [18]) also obtained many interesting identities related to \(E_{n}\) and \(E_{n}^{*}\). Especially in [19], T. Kim also proved a series of important conclusions involving Euler numbers and polynomials associated with zeta functions.

In this paper, we will use elementary methods and the properties of the Bernoulli numbers to establish a close relationship between the Euler numbers of the second kind \(E_{n}^{*}\) and the Dirichlet L-function \(L(s,\chi )\). Meanwhile, we will also prove a new congruence for the Euler numbers \(E_{n}\). That is to say, we will prove the following several facts.

Theorem 1

For any positive integer n, we have the identity

$$ E_{2n}^{*}=(-1)^{n}\cdot \frac{2^{2n+2}\cdot (2n)!}{\pi^{2n+1}}\cdot L(2n+1, \chi_{4}), $$

where \(\chi_{4}\) denotes the non-principal character \(\bmod\ 4\), and \(L(s,\chi_{4})\) denotes the Dirichlet L-function corresponding to \(\chi_{4}\). In fact, we have

$$ \chi_{4}(n)= \textstyle\begin{cases} 0 &\textit{if }2\mid n; \\ (-1)^{\frac{n-1}{2}} & \textit{if }2\nmid n. \end{cases} $$

Theorem 2

For any positive integer n, we have the identity

$$\begin{aligned} E_{2n-1}=-\frac{ ( 2^{2n}-1 ) }{n}\cdot B_{2n}. \end{aligned}$$
(1)

From Theorems 1 and 2 we may immediately deduce the following:

Corollary 1

For any positive integer n, we have the recursive formula

$$ \sum_{k=0}^{n} \frac{(-1)^{k}}{(2n-2k)!}\cdot \frac{4^{k}}{\pi^{2k+1}}\cdot L(2k+1,\chi_{4})=0, $$

where \(L(1,\chi_{4})=\frac{\pi }{4}\).

Corollary 2

Let p be a prime with \(p\equiv 1\bmod 8\), then we have the congruence

$$ E_{\frac{p-3}{2}}\equiv 0\bmod p. $$

Corollary 3

For any positive integer n with \((n, 3)=1\), we have the congruence

$$ E_{2n-1}\equiv 1\bmod 3. $$

Corollary 4

For any positive integer n with \((n, 5)=1\), we have the congruence

$$ E_{4n-1}\equiv -1\bmod 5. $$

Corollary 5

For any positive integer n with \((n, 7)=1\), we have the congruence

$$ E_{6n-1}\equiv 3\bmod 7. $$

Corollary 6

For any positive integer n with \((n, 11)=1\), we have

$$ E_{10n-1}\equiv 1\bmod 11. $$

From Theorem 2 we can also deduce the following identities:

$$\begin{aligned}& L(1,\chi_{4})=\frac{\pi }{4} ; \quad\quad L(3, \chi_{4})=\frac{\pi^{3}}{32} ;\quad\quad L(5,\chi_{4})= \frac{5\cdot \pi^{5}}{1536} \quad \text{and} \quad L(7,\chi _{4})= \frac{61\cdot \pi^{7}}{184{,}320} . \end{aligned}$$

Some notes

Since \(E_{n}\) is not necessarily an integer, it can still be written as \(E_{n}=\frac{H_{n}}{K_{n}}\) with \((H_{n}, K_{n})=1\). So \(E_{n}\equiv 0\bmod p\) in this paper implies that \(p\mid H_{n}\) while \(p\nmid K_{n}\).

For a prime \(p\equiv 5 \bmod 8\), whether \(E_{\frac{p-3}{2}}\equiv 0 \bmod p\) is true is an interesting open problem.

Several simple lemmas

In this section, we will give two simple lemmas. Hereafter, we may use facts from number theory and the properties of the Bernoulli numbers, all of which can be found in [4]. Thus we will not repeat them here.

Lemma 1

For any positive integer n and real number x, we have the identity

$$\begin{aligned} 2^{n}\cdot B_{n}(x)=\sum_{k=0}^{n} \binom{n}{k}E_{k}\cdot B_{n-k}(2x)= \sum _{k=0}^{n}\binom{n}{k}E_{k}(2x)\cdot B_{n-k}. \end{aligned}$$

Proof

First from the definitions of the Euler numbers and Bernoulli polynomials we have

$$\begin{aligned} \begin{aligned}[b] \frac{2ze^{2xz}}{e^{2z}-1} &=\frac{2}{e^{z}+1}\cdot \frac{ze^{2zx}}{e ^{z}-1}= \Biggl( \sum _{n=0}^{\infty }\frac{E_{n}}{n!}\cdot z^{n} \Biggr) \cdot \Biggl( \sum_{n=0}^{\infty } \frac{B_{n}(2x)}{n!}\cdot z^{n} \Biggr) \\ &=\sum_{n=0}^{\infty }\frac{1}{n!} \Biggl( \sum_{k=0}^{n}\binom{n}{k}E _{k}\cdot B_{n-k}(2x) \Biggr) \cdot z^{n}. \end{aligned} \end{aligned}$$
(2)

On the other hand, from the definition of the Bernoulli polynomials and the Euler polynomials, we also have

$$\begin{aligned} \frac{2ze^{2xz}}{e^{2z}-1}=\sum_{n=0}^{\infty } \frac{B_{n}(x)}{n!} \cdot (2z)^{n}=\sum_{n=0}^{\infty } \frac{2^{n}\cdot B_{n}(x)}{n!} \cdot z^{n} \end{aligned}$$
(3)

and

$$\begin{aligned} \begin{aligned}[b] \frac{2ze^{2xz}}{e^{2z}-1} &=\frac{2e^{2xz}}{e^{z}+1}\cdot \frac{z}{e ^{z}-1}= \Biggl( \sum _{n=0}^{\infty }\frac{E_{n}(2x)}{n!}\cdot z^{n} \Biggr) \Biggl( \sum_{n=0}^{\infty } \frac{B_{n}}{n!}\cdot z^{n} \Biggr) \\ &=\sum_{n=0}^{\infty }\frac{1}{n!} \Biggl( \sum_{k=0}^{n}\binom{n}{k}E _{k}(2x)\cdot B_{n-k} \Biggr) \cdot z^{n}. \end{aligned} \end{aligned}$$
(4)

Combining (2)–(4) and comparing the coefficients of the power series, we have the identity

$$\begin{aligned} 2^{n}\cdot B_{n}(x)=\sum_{k=0}^{n} \binom{n}{k}E_{k}\cdot B_{n-k}(2x)= \sum _{k=0}^{n}\binom{n}{k}E_{k}(2x)\cdot B_{n-k}. \end{aligned}$$

This proves Lemma 1. □

Lemma 2

For any positive integer n, we have the identity

$$\begin{aligned} B_{2n+1} \biggl( \frac{1}{4} \biggr) =(-1)^{n+1} \frac{2(2n+1)!}{(2\pi )^{2n+1}}L(2n+1,\chi_{4}), \end{aligned}$$

where \(\chi_{4}\) denotes the non-principal character \(\bmod\ 4\).

Proof

For any real number \(0< x<1\), from [4, Theorem 12.19] we have

$$\begin{aligned} B_{2n+1} ( x ) =(-1)^{n+1}\frac{2(2n+1)!}{(2\pi )^{2n+1}}\sum _{k=1}^{\infty }\frac{\sin (2\pi k x)}{k^{2n+1}}. \end{aligned}$$
(5)

Taking \(x=\frac{1}{4}\) in (5), we have

$$\begin{aligned} B_{2n+1} \biggl( \frac{1}{4} \biggr) =&(-1)^{n+1} \frac{2(2n+1)!}{(2\pi )^{2n+1}}\sum_{k=1}^{\infty } \frac{\sin ( \frac{2 \pi k}{4} ) }{k^{2n+1}} \\ =&(-1)^{n+1}\frac{2(2n+1)!}{(2\pi )^{2n+1}}\sum_{k=1}^{\infty } \frac{ \sin ( \frac{2\pi (2k-1)}{4} ) }{(2k-1)^{2n+1}} \\ =&(-1)^{n+1}\frac{2(2n+1)!}{(2\pi )^{2n+1}}\sum_{k=1}^{\infty } \frac{(-1)^{k-1} }{(2k-1)^{2n+1}}=(-1)^{n+1}\frac{2(2n+1)!}{(2\pi )^{2n+1}}\sum _{k=1} ^{\infty }\frac{\chi_{4}(k)}{k^{2n+1}} \\ =&(-1)^{n+1}\frac{2(2n+1)!}{(2\pi )^{2n+1}}L(2n+1,\chi_{4}). \end{aligned}$$

This proves Lemma 2. □

Proofs of the theorems

In this section, we will complete the proofs of our theorems. First, we prove Theorem 1. For any positive integer m, taking \(x=\frac{1}{4}\) and \(n=2m+1\) in Lemma 1, and noting that \(B_{1}=-\frac{1}{2}\) and \(B_{2i+1}=E_{2i+1} ( \frac{1}{2} ) =0\) for all integers \(i\geq 1\), we have

$$\begin{aligned} \begin{aligned}[b] 2^{2m+1}\cdot B_{2m+1} \biggl( \frac{1}{4} \biggr)& = \sum_{k=0}^{2m+1} \binom{2m+1}{k}E_{k} \biggl( \frac{1}{2} \biggr) B_{2m+1-k} \\ & =\binom{2m+1}{2m}E_{2m} \biggl( \frac{1}{2} \biggr) \cdot B_{1}=- \frac{2m+1}{2}E_{2m} \biggl( \frac{1}{2} \biggr) =-\frac{2m+1}{2^{2m+1}}E _{2m}^{*}. \end{aligned} \end{aligned}$$
(6)

From (6) and Lemma 2 we have

$$\begin{aligned} 2^{2m+1} \cdot (-1)^{m+1}\frac{2(2m+1)!}{(2\pi )^{2m+1}}L(2m+1,\chi _{4})=-\frac{2m+1}{2^{2m+1}}E_{2m}^{*} \end{aligned}$$

or

$$ E_{2m}^{*}=(-1)^{m}\cdot \frac{2^{2m+2}\cdot (2m)!}{\pi^{2m+1}}\cdot L(2m+1, \chi_{4}). $$

This proves Theorem 1.

Taking \(x=0\), \(n=2m\) and \(m\geq 1\) in Lemma 1, we have

$$\begin{aligned} 2^{2m}\cdot B_{2m}(0)=2^{2m}\cdot B_{2m}=\sum_{k=0}^{2m} \binom{2m}{k}E _{k}\cdot B_{2m-k}(0)=\sum _{k=0}^{2m}\binom{2m}{k}E_{k}\cdot B_{2m-k}. \end{aligned}$$
(7)

Note that \(B_{2i+1}=0\) for all \(i\geq 1\), and \(B_{1}=-\frac{1}{2}\), \(E_{0}=1\) and \(E_{2i}=0\) for all \(i\geq 1\). From (7) we have

$$\begin{aligned} 2^{2m}\cdot B_{2m}=\binom{2m}{0}E_{0}\cdot B_{2m}+\binom{2m}{2m-1}E _{2m-1}\cdot B_{1}=B_{2m}-m \cdot E_{2m-1}, \end{aligned}$$

which implies

$$ E_{2m-1}=-\frac{2^{2m}-1}{m}\cdot B_{2m}. $$

This proves Theorem 2.

Now we prove Corollary 1. For any positive integer n, note that the power series

$$ \frac{e^{z}+ e^{-z}}{2}=\sum_{n=0}^{\infty } \frac{z^{2n}}{(2n)!}, $$

from the definition of \(E_{2n}^{*}\) satisfies the identity

$$ 1= \Biggl( \sum_{n=0}^{\infty }\frac{1}{(2n)!} \cdot z^{2n} \Biggr) \cdot \Biggl( \sum_{n=0}^{\infty } \frac{E_{2n}^{*}}{(2n)!}\cdot z^{2n} \Biggr) = \sum _{n=0}^{\infty } \Biggl( \sum_{k=0}^{n} \frac{E_{2k}^{*}}{(2k)!} \cdot \frac{1}{(2n-2k)!} \Biggr) \cdot z^{2n}. $$

That is, for any positive integer n, we have the identity

$$\begin{aligned} \sum_{k=0}^{n}\frac{E_{2k}^{*}}{(2k)!}\cdot \frac{1}{(2n-2k)!}=0. \end{aligned}$$
(8)

Combining (8) and Theorem 1, we may immediately deduce the identity

$$ \sum_{k=0}^{n} \frac{(-1)^{k}}{(2n-2k)!}\cdot \frac{4^{k}}{\pi^{2k+1}}\cdot L(2k+1,\chi_{4})=0. $$

This proves Corollary 1.

To prove other corollaries, taking a prime \(p=4k+1\) and \(n= \frac{p-1}{4}\) in Theorem 2, we have

$$\begin{aligned} E_{\frac{p-3}{2}}= -\frac{4}{p-1}\cdot \bigl( 2^{\frac{p-1}{2}}-1 \bigr) \cdot B_{\frac{p-1}{2}}. \end{aligned}$$
(9)

From Euler’s criterion (see [4, Theorem 9.2]) we have

$$\begin{aligned} 2^{\frac{p-1}{2}}\equiv \biggl( \frac{2}{p} \biggr) \equiv (-1)^{\frac{p ^{2}-1}{8}} \equiv \textstyle\begin{cases} 1\bmod p &\text{if }p\equiv 1\bmod 8; \\ {-}1\bmod p & \text{if }p\equiv 5\bmod 8, \end{cases}\displaystyle \end{aligned}$$
(10)

where \(( \frac{*}{p} ) \) denotes the Legendre’s symbol \(\bmod\ p\).

For the Bernoulli numbers \(B_{2n}\), we also have

$$\begin{aligned} B_{2n}=I_{n}-\sum_{p-1\mid 2n} \frac{1}{p}, \end{aligned}$$
(11)

where \(I_{n}\) is an integer and the sum is over all primes p such that \(p-1\) divides 2n.

In fact, formula (11) was discovered in 1840 by von Staudt and Clausen (independently); see [4, Exercises for Chap. 12].

Now in (11), we let \(2n=\frac{p-1}{2}\) and \(B_{2n}=\frac{U_{2n}}{V _{2n}}\), where \(U_{2n}\) and \(V_{2n}\) are two integers with \((U_{2n}, V _{2n})=1\). Since \(p-1\nmid \frac{p-1}{2}\), from (11) we know that \((V_{2n}, p)=1\) and \(( 2^{\frac{p-1}{2}}-1 ) \cdot B_{ \frac{p-1}{2}}\) is an integer.

If \(p\equiv 1\bmod 8\), then from (9), (10) and (11) we have the congruence

$$\begin{aligned} E_{\frac{p-3}{2}}= -\frac{4}{p-1}\cdot \bigl( 2^{\frac{p-1}{2}}-1 \bigr) \cdot B_{\frac{p-1}{2}}\equiv 0\bmod p. \end{aligned}$$

This proves Corollary 2.

Corollaries 36 can also be easily deduced from Theorem 2 and the method used when proving Corollary 2.

This completes the proofs of all our results.

If \(p\equiv 5\bmod 8\), then we have \(2^{\frac{p-1}{2}}\equiv -1 \bmod p\) and \(p\nmid ( 2^{\frac{p-1}{2}}-1 ) \). So in this case, whether one has \(E_{\frac{p-3}{2}}\equiv 0\bmod p\) remains an open problem.

References

  1. Knuth, D.E., Buckholtz, T.J.: Computation of tangent, Euler, and Bernoulli numbers. Math. Comput. 21, 663–688 (1967)

    MathSciNet  Article  Google Scholar 

  2. Kim, D.S., Kim, T.: Some p-adic integrals on \(\mathbb{Z}_{p}\) associated with trigonometric functions. Russ. J. Math. Phys. 25, 300–308 (2018)

    MathSciNet  Article  Google Scholar 

  3. Liu, G.D.: Identities and congruences involving higher-order Euler–Bernoulli numbers and polynomials. Fibonacci Q. 39, 279–284 (2001)

    MathSciNet  MATH  Google Scholar 

  4. Apostol, T.M.: Introduction to Analytic Number Theory. Springer, New York (1976)

    MATH  Google Scholar 

  5. Kim, D.S., Park, K.H.: Identities of symmetry for Bernoulli polynomials arising from quotients of Volkenborn integrals invariant under \(S_{3}\). Appl. Math. Comput. 219, 5096–5104 (2013)

    MathSciNet  MATH  Google Scholar 

  6. Liu, G.D.: The solution of problem for Euler numbers. Acta Math. Sin. 47, 825–828 (2004)

    MathSciNet  MATH  Google Scholar 

  7. Zhang, W.P., Xu, Z.F.: On a conjecture of the Euler numbers. J. Number Theory 127, 283–291 (2007)

    MathSciNet  Article  Google Scholar 

  8. Zhang, W.P.: On the several identities of Euler numbers. J. Northwest Univ. Nat. Sci. 22, 17–20 (1992) (Chinese)

    MATH  Google Scholar 

  9. Zhang, W.P.: Some identities involving the Euler and the central factorial numbers. Fibonacci Q. 36, 154–157 (1998)

    MathSciNet  MATH  Google Scholar 

  10. Guy, R.K.: Unsolved Problems in Number Theory, 2nd edn. Springer, New York (1994)

    Book  Google Scholar 

  11. Powell, B.J.: Advanced problem 6325. Am. Math. Mon. 87, 836 (1980)

    Google Scholar 

  12. Zhao, J.H., Chen, Z.Y.: Some symmetric identities involving Fubini polynomials and Euler numbers. Symmetry 10, 303 (2018)

    Article  Google Scholar 

  13. Kim, D.S., Kim, T.: Some symmetric identities for the higher-order q-Euler polynomials related to symmetry group \(S_{3}\) arising from p-adic q-fermionic integrals on \(\mathbb{Z}_{p}\). Filomat 30, 1717–1721 (2016)

    MathSciNet  Article  Google Scholar 

  14. Kim, T.: Symmetry of power sum polynomials and multivariate fermionic p-adic invariant integral on \(\mathbb{Z}_{p}\). Russ. J. Math. Phys. 16, 93–96 (2009)

    MathSciNet  Article  Google Scholar 

  15. Kim, T., Kim, D.S., Jang, G.W.: A note on degenerate Fubini polynomials. Proc. Jangjeon Math. Soc. 20, 521–531 (2017)

    MathSciNet  MATH  Google Scholar 

  16. Kim, T., Kim, D.S.: An identity of symmetry for the degenerate Frobenius–Euler polynomials. Math. Slovaca 68, 239–243 (2018)

    MathSciNet  Article  Google Scholar 

  17. Kim, T., Kim, S.D., Jang, G.W., Kwon, J.: Symmetric identities for Fubini polynomials. Symmetry 10, 219 (2018)

    Article  Google Scholar 

  18. Rim, S.H., Jeong, J.H., Lee, S.J., Moon, E.J., Jin, J.H.: On the symmetric properties for the generalized twisted Genocchi polynomials. Ars Comb. 105, 267–272 (2012)

    MathSciNet  MATH  Google Scholar 

  19. Kim, T.: Euler numbers and polynomials associated with zeta functions. Abstr. Appl. Anal. 2008, Article ID 581582 (2008)

    MathSciNet  MATH  Google Scholar 

  20. Simsek, Y.: Identities on the Changhee numbers and Apostol-type Daehee polynomials. Adv. Stud. Contemp. Math. 27, 199–212 (2017)

    MATH  Google Scholar 

Download references

Acknowledgements

The authors wish to express their gratitude to the editors and the reviewers for their helpful comments.

Funding

This work is supported by the N.S.F. (11771351) of P.R. China.

Author information

Authors and Affiliations

Authors

Contributions

All authors have equally contributed to this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shimeng Shen.

Ethics declarations

Competing interests

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Hou, Y., Shen, S. The Euler numbers and recursive properties of Dirichlet L-functions. Adv Differ Equ 2018, 397 (2018). https://doi.org/10.1186/s13662-018-1853-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-018-1853-y

MSC

  • 11B83
  • 11B37

Keywords

  • Euler numbers
  • Euler numbers of the second kind
  • Bernoulli polynomials
  • Dirichlet L-function
  • Identity
  • Congruence