---
abstract: 'The Hurwitz-type Euler zeta function is defined as a deformation of the Hurwitz zeta function: $$\zeta_E(s,x)=\sum_{n=0}^\infty\frac{(-1)^n}{(n+x)^s}.$$ In this paper, by using the method of Fourier expansions, we shall evaluate several integrals with integrands involving Hurwitz-type Euler zeta functions $\zeta_E(s,x)$. Furthermore, the relations between the values of a class of the Hurwitz-type (or Lerch-type) Euler zeta functions at rational arguments have also been given.'
address:
- 'Department of Mathematics, South China University of Technology, Guangzhou, Guangdong 510640, China'
- |
    National Institute for Mathematical Sciences\
    Yuseong-daero 1689-gil\
    Yuseong-gu\
    Daejeon 305-811\
    Republic of Korea
- 'Center for General Education, Kyungnam University, 7(Woryeong-dong) kyungnamdaehak-ro, Masanhappo-gu, Changwon-si, Gyeongsangnam-do 631-701, Republic of Korea '
author:
- Su Hu
- Daeyeoul Kim
- 'Min-Soo Kim'
bibliography:
- 'central.bib'
title: 'Special values and integral representations for the Hurwitz-type Euler zeta functions'
---

Introduction {#Intro}
============

The Hurwitz zeta function is defined by $$~\label{Hurwitz}
\zeta(s,x)=\sum_{n=0}^{\infty}\frac{1}{(x+n)^{s}}$$ for $s\in\mathbb{C}$ and $x\neq0,-1,-2,\ldots,$ and the series converges for Re$(s)>1,$ so that $\zeta(s,x)$ is an analytic function of $s$ in this region. Setting $x=1$ in (\[Hurwitz\]), it reduces to the Riemann zeta function $$~\label{o-Riemann}
\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^{s}}.$$ From the well-known identity $\zeta(s,\frac12)=(2^s-1)\zeta(s),$ we see that the only real zeroes of $\zeta(s,x)$ with $x=\frac12$ are $s=0,-2,-4, \ldots.$

Its special values at nonpositive integers are Bernoulli polynomials, that is, $$~\label{H-Sp}
\zeta(1-m,x)=-\frac{1}{m}B_{m}(x), \quad m\in\mathbb N$$ (see @EM [p. 162, (1.19)]). Here the Bernoulli polynomials $B_{m}(x)$ are defined by their generating function $$~\label{def-ep}
\frac{ze^{xz}}{e^{z}-1}=\sum_{m=0}^{\infty}B_{m}(x)\frac{z^{m}}{m!},\quad |z| < \pi.$$ Bernoulli polynomials have many interesting properties and arise in various areas of mathematics (see @Ber [@SC; @SO]). Setting $x=0$ in (\[def-ep\]), we get the Bernoulli numbers $$B_m=B_m(0),\quad m\in\mathbb N_0=\mathbb N\cup\{0\}.$$ From an easy manipulations of the generating function (\[def-ep\]), we see that $B_m(1)=B_m~(m\neq1)$ and $ B_1(1)=-B_1,$ where $m\in\mathbb N_0$ (see @DV [p. 1480, (2.3)] and @SC [p. 529, (17)]).

The Hurwitz zeta function is a fundamental tool for studying Stark's conjectures of algebraic number fields, since it represents the partial zeta function of cyclotomic field (see e.g., @Gross [p. 993, (4.2)] or @HK-G [p. 4248]). It also plays a role in the evaluation of fundamental determinants that appears in mathematical physics (see @Eliz or @EM [p. 161, (1.14) and (1.15)]).

In this paper, we show consider the Hurwitz-type Euler zeta function, which is defined as a deformation of the Hurwitz zeta function $$\label{HEZ}
\zeta_E(s,x)=\sum_{n=0}^\infty\frac{(-1)^n}{(n+x)^s},$$ for $s\in\mathbb{C}$ and $x\neq0,-1,-2,\ldots.$ This series converges for Re$(s)>0$, and it can be analytically continued to the complex plane without any pole. It also represents a partial zeta function of cyclotomic fields in one version of Stark's conjectures in algebraic number theory (see @HK-G [p. 4249, (6.13)]), and its special case, the alternative series, $$~\label{Riemann}
\zeta_{E}(s)=\sum_{n=1}^{\infty}\frac{(-1)^{n-1}}{n^{s}},$$ is also a particular case of Witten's zeta functions in mathematical physics. (See @Min [p. 248, (3.14)]). We here mention that several properties of $\zeta_E(s)$ can be found in @AS [@Ay; @CS]. For example, in the form on @AS [p. 811], the left hand side is the special values of the Riemann zeta functions at positive integers, and the right hand side is the special values of Euler zeta functions at positive integers.

Using the Fourier expansion formula $$\label{H-F-Exp}
\zeta(s,x)=\frac{2\Gamma(1-s)}{(2\pi)^{1-s}}\sum_{n=1}^\infty\frac{\sin\left(2n\pi x+\frac{\pi s}{2}\right)}{n^{1-s}},$$ Espinosa and Moll @EM evaluated several fundamental integrals with integrands involving Hurwitz zeta functions, where $\Gamma$ is the Euler gamma-function (see, e.g., @Mi or @SO [Chapter 43]), who studied "the Hurwitz transform" meaning an integral over $[0,1]$ of a Fourier series multiplied by the Hurwitz zeta function $\zeta(s,x),$ and obtained numerous results for those which aries from the Hurwitz formula. Mez @Mezo determined the Fourier series expansion of the log-Barnes function, which is the analogue of the classical result of Kummer and Malmsten. Applying this expansion, he also got some integrals similar to the Espinosa–Moll $\log$–Gamma integrals with respect to $\log G$ in @EM [@EM2], where $G$ is Barnes $G$ function.

Recently, Shpot, Chaudhary and Paris @shpot evaluated two integrals over $x\in [0,1]$ involving products of the function $\zeta_{1}(s,x)=\zeta(s,x)-x^{-a}$ for Re$(s) > 1$. As an application, they also calculated the $O(g)$ weak-coupling expansion coefficient $c_{1}(\epsilon)$ of the Casimir energy for a film with Dirichlet-Dirichlet boundary conditions, first stated by Symanzik @symanzik under the framework of $g\phi_{4-\epsilon}^{4}$ theory in quantum physics.

Here we will follow the approach of Espinosa and Moll in @EM to evaluate several integrals with integrands involving Hurwitz-type Euler zeta functions $\zeta_E(s,x)$.

Our main tool is the following Fourier expansion of $\zeta_E(s,x)$ $$\label{F-Exp}
\zeta_E(s,x)=\frac{2\Gamma(1-s)}{\pi^{1-s}}\sum_{n=0}^\infty\frac{\sin\left((2n+1)\pi x+\frac{\pi s}{2}\right)}{(2n+1)^{1-s}}.$$ (comparing with (\[H-F-Exp\]) above). This expression, valid for ${\rm Re}(s)<1$ and $0<x\leq1,$ is derived by Williams and Yue @WY [p. 36, (1.7)].

The paper is organized as follows.

In Section \[f-e-ze\], we determine the Fourier coefficients of $\zeta_E(s,x).$

In Section \[p-h-e-zeta\], we evaluate integrals with integrands consisting of products of two Hurwitz-type Euler zeta functions. These will imply some classical relations for the integral of products of two Euler polynomials (see Proposition \[ex-rem\] and \[ex-rem-3\]). We also evaluate the moments of the Hurwitz-type Euler zeta functions and the Euler polynomials (see Proposition \[ex-rem-2\] and \[ex-rem-3\]).

In Section \[ex-ft\], we prove several further consequences of integrals with integrands consisting of products of the Hurwitz-type Euler zeta functions, the exponential function, the power of sine and cosine.

In Section \[ex-cata\], we obtain an Euler-type formula for the Dirichlet beta function $\beta(2m)$ and consider the Catalan's constant $G$ compiled by Adamchik in @Ad [Entry 19]. From this, we get a finite closed-form expression for any $\beta(2m)$ in terms of the elementary functions (see @Li).

In Section \[v-le-rat\], we prove the relations between values of a class of the Hurwitz-type (or Lerch-type) Euler zeta functions at rational arguments.

Preliminaries
=============

The methods employed in this section may also be used to derive several results of the Hurwitz-type Euler zeta functions, which are analogous of the known results for Hurwitz zeta functions.

The series expansion (\[HEZ\]) for $\zeta_E(s,x)$ has a meaning if ${\rm Re}(s)>0.$ In the following, we recall some basic results of this functions given in @WY.

From (\[HEZ\]), we can easily derive the following basic properties for $\zeta_E(s,x)$ $$\label{HZ-inf-b}
\zeta_E(s,x)+\zeta_E(s,x+1)=x^{-s},$$ $$\label{HZ-inf-m}
\zeta_E(s,kx)=k^{-s}\sum_{n=0}^{k-1}(-1)^n \zeta_{E}\left(s, \frac nk +x\right)\quad\text{for $k$ odd},$$ $$\label{HZ-inf}
\zeta_E(s,x)-x^{-s}=-\sum_{n=0}^\infty\binom{-s}{n}\zeta_E(s+n)x^n$$ (see @Ap [(5), (6) and (7)]). For fixed $s\neq 1,$ the series in (\[HZ-inf\]) converges absolutely for $|x|<1.$ For Re$(s)>1,$ (\[o-Riemann\]) and (\[Riemann\]) are connected by the following equation $$\label{ez-HZ-r}
\zeta_E(s)=(1-2^{1-s})\zeta(s).$$

In @WY [§3], Williams and Yue established the following integral representation $$\label{con-int-E}
\zeta_E(s,x)=\frac{e^{-\pi is}\Gamma(1-s)}{2\pi i}
\int_C\frac{e^{(1-x) z}z^{s-1}}{e^{z}+1}dz,$$ where $C$ is the contour consisting of the real axis from $+\infty$ to $\epsilon,$ the circle $|z|=\epsilon$ and the real axis from $\epsilon$ to $+\infty.$ By (\[con-int-E\]) and the generating function of the Euler polynomials $$\label{Eu-pol}
\frac{2e^{xz}}{e^z+1}=\sum_{n=0}^\infty E_n(x)\frac{z^n}{n!}, \quad |z|<\pi ,$$ we have $$\zeta_E(-m,x)=\frac{(-1)^mm!}{4\pi i}
\int_{|z|=\epsilon}\sum_{n=0}^\infty\frac{E_n(1-x)}{n!}\frac{z^n}{z^{m+1}}dz,$$ that is, $$\label{EZ-Eu}
\zeta_E(-m,x)=\frac{(-1)^m}{2}E_m(1-x)=\frac12 E_m(x),\quad m\in\mathbb N_0$$ (comparing with (\[H-Sp\]) above). Setting $s=-m$ in (\[ez-HZ-r\]), from (\[H-Sp\]) and (\[EZ-Eu\]) it is easy to see that $$\label{eu-be}
E_m(0)=-E_m(1)=\frac2{m+1}\left(1-2^{m+1}\right)B_{m+1}$$ (see @SC [p. 529, (16)]).

The above expansion (\[EZ-Eu\]) has also been derived in @WY [p. 41, (3.8)].

The integers $$E_{m}=2^{m}E_{m}\left(\frac{1}{2}\right),\quad m\in\mathbb N_0,$$ are called $m$-th Euler numbers. For example, $E_0=1,E_2=-1,E_4=5,$ and $E_6=-61.$ Notice that the Euler numbers with odd subscripts vanish, that is, $E_{2m+1}=0$ for all $m\in\mathbb N_0.$ The Euler polynomials can be expressed in terms of the Euler numbers in the following way: $$\label{E-nu-pol-re}
E_m(x)=\sum_{i=0}^m\binom mi \frac{E_i}{2^i}\left(x-\frac12\right)^{m-i}$$ (see @SC [p. 531, (29)]).

Some properties of Euler polynomials can be easily derived from their generating functions, for example, from (\[Eu-pol\]), we have $$\label{id-1}
E_m(x+1)+E_m(x)=2x^m,\quad m\in\mathbb N_0,$$ which have numerous applications (see @DV [p. 1489, (5.4)] and @SC [p. 530, (23) and (24)]).

For further properties of the Euler polynomials and numbers including their applications, we refer to @AS [@Ba; @GR; @KH; @SC]. It may be interesting to point out that there is also a connection between the generalized Euler numbers and the ideal class group of the $p^{n+1}$-th cyclotomic field when $p$ is a prime number. For details, we refer to a recent paper @HK-I, especially @HK-I [Proposition 3.4].

The result $$\label{e-1}
\int_0^1\zeta_E(s,x)dx=\frac{4\Gamma(1-s)}{\pi^{2-s}}\cos\left(\frac{\pi s}{2}\right)\lambda(2-s),$$ valid for ${\rm Re}(s)<1,$ follows directly from the representation (\[F-Exp\]). Here $\lambda(s)$ is the Dirichlet lambda function $$\label{lam-def}
\lambda(s)=\sum_{n=0}^\infty\frac1{(2n+1)^s}=(1-2^{-s})\zeta(s),\quad {\rm Re}(s)>1,$$ where $\zeta(s)$ is the Riemann zeta function (see @AS [p. 807, 23.2.20] and @SO [p. 32, Eq. 3:6:2]). If we put $s=-2m$ with $m\in\mathbb N_0$ in (\[e-1\]) and use (\[EZ-Eu\]), then we obtain $$\label{lam-def-sp}
\int_0^1E_{2m}(x)dx=\frac{8(2m)!(-1)^m}{\pi^{2m+2}}\lambda(2m+2).$$ If we replace $m$ by $2m$ and let $n=0$ in (\[ex-5\]) below, then the left hand side of (\[lam-def-sp\]) becomes $$\label{lam-def-sp-2}
\int_0^1E_{2m}(x)dx=-\frac{2(2m)!}{(2m+1)!}E_{2m+1}(0),$$ where $m\in\mathbb N_0.$ From (\[lam-def-sp\]) and (\[lam-def-sp-2\]), the values of the Dirichlet lambda function at even positive integers is given as $$\label{fa-fo}
\lambda(2m)=(-1)^m\frac{\pi^{2m}}{4(2m-1)!}E_{2m-1}(0),$$ where $m\in\mathbb N.$ In particular, if we put $m=1,m=2$ and $m=3$ in (\[fa-fo\]), then we have the first few values $\lambda(2)=\frac{\pi^2}8,\lambda(4)=\frac{\pi^4}{96}$ and $\lambda(6)=\frac{\pi^6}{960}$ (see @AS [p. 808]).

The Fourier expansion of $\zeta_E(s,x)$ {#f-e-ze}
=======================================

In this section, by using the Fourier expansion (\[F-Exp\]) for $\zeta_E(s,x),$ we shall evaluate definite integrals of the Hurwitz-type transform $$\mathfrak{H}(f,s)=\int_0^1f(x)\zeta_E(s,x)dx.$$ The expansion is valid for ${\rm Re}(s)<1.$ For the basics we refer the reader to definite integrals of the Hurwitz transform, e.g., @EM and @Li09.

The following is the Fourier coefficients of $\zeta_E(s,x),$ as a direct consequence of (\[F-Exp\]) (see e.g., @EM [p. 164, Proposition 2.1]).

\[lem1\] The Fourier coefficients of $\zeta_E(s,x)$ are given by $$\label{sin-ET}
\int_0^1\sin((2k+1)\pi x)\zeta_E(s,x)dx=\frac{\pi^s(2k+1)^{s-1}}{2\Gamma(s)}\csc\left(\frac{\pi s}{2}\right)$$ and $$\label{cos-ET}
\int_0^1\cos((2k+1)\pi x)\zeta_E(s,x)dx=\frac{\pi^s(2k+1)^{s-1}}{2\Gamma(s)}\sec\left(\frac{\pi s}{2}\right).$$

Recently, Luo @Luof, Bayad @Ba2, Navas, Francisco and Varona @NFV investigated Fourier expansions of the Apostol-Bernoulli polynomials, which are special values of Hurwitz-Lerch zeta function at non-positive integers @KH2 [Lemma 2.1].

\[Proof of Proposition \[lem1\]\] The proof follows from the similar argument with @EM [Proposition 2.1], by applying the orthogonality of the trigonometric functions and the expansion (\[F-Exp\]) above.

In the following proposition, we shall compute the Hurwitz-type transform of powers of sine and cosine, including some related integrals (see @EM [§11]).

Let $s\in\mathbb R_0^-=(-\infty,0]$ and $n\in\mathbb N.$ Then we have $$\label{m-sin-ET}
\begin{aligned}
\int_0^1\sin^{2n-1}(\pi x)\zeta_E(s,x)dx=\frac{\Gamma(1-s)}{\pi^{1-s}2^{2n-2}}\cos\left(\frac{\pi s}{2}\right)
\sum_{k=0}^{n-1}\frac{(-1)^k}{(2k+1)^{1-s}}\binom{2n-1}{n-k-1}
\end{aligned}$$ and $$\label{m-cos-ET}
\begin{aligned}
\int_0^1\cos^{2n-1}(\pi x)\zeta_E(s,x)dx =\frac{\Gamma(1-s)}{\pi^{1-s}2^{2n-2}}\sin\left(\frac{\pi s}{2}\right)
\sum_{k=0}^{n-1}\frac{1}{(2k+1)^{1-s}}\binom{2n-1}{n-k-1}.
\end{aligned}$$

The proofs follow from the similar arguments with @EM [Examples 11.1 and 11.2], which is based on (\[sin-ET\]) and (\[cos-ET\]), and the integral representation $$\label{tri-int-sin}
\sin^{2n-1}(\pi x)=\frac1{2^{2n-2}}\sum_{k=0}^{n-1}(-1)^k\binom{2n-1}{n-k-1}\sin((2k+1)\pi x)$$ by Kogan in @GR [p. 31, 1.320].

As in Espinosa and Moll @EM, we may evaluate the integrals using the Fourier expansions of functions. The following result about this idea will become the basic tool for the proofs of the results in this paper.

\[thm-fu-co\] Let $f(w,x)$ be defined for $x\in[0,1]$ and a parameter $w.$ Let $$\label{thm-f-e}
f(w,x)=\sum_{n=0}^\infty\biggl(a_n(w)\cos((2n+1)\pi x)+b_n(w)\sin((2n+1)\pi x)\biggl)$$ be its Fourier expansion, so that $$\label{thm-f-c 1}
a_n(w)=2\int_0^1 f(w,x)\cos((2n+1)\pi x)dx,$$ $$\label{thm-f-c 2}
b_n(w)=2\int_0^1 f(w,x)\sin((2n+1)\pi x)dx.$$ Then, for $s\in\mathbb R_0^-,$ we have $$\label{thm-f 1}
\int_0^1 f(w,x)\zeta_E(s,x)dx=\frac{\Gamma(1-s)}{\pi^{1-s}}
\left(\sin\left(\frac{\pi s}{2}\right)C(s,w)
+\cos\left(\frac{\pi s}{2}\right)S(s,w) \right)$$ and $$\label{thm-f 2}
\int_0^1 f(w,x)\zeta_E(s,1-x)dx=\frac{\Gamma(1-s)}{\pi^{1-s}}
\left(\cos\left(\frac{\pi s}{2}\right)S(s,w)-\sin\left(\frac{\pi s}{2}\right)C(s,w) \right),$$ where $$C(s,w)=\sum_{n=0}^\infty\frac{a_n(w)}{(2n+1)^{1-s}}\quad\text{and}\quad S(s,w)=\sum_{n=0}^\infty\frac{b_n(w)}{(2n+1)^{1-s}}.$$

The proof follows from the similar argument with @EM [Theorem 2.1], by multiplying the formula (\[thm-f-e\]) by $\zeta_E(s,x)$ and integatationg both sides from 0 to 1, then applying (\[sin-ET\]) and (\[cos-ET\]).

Integral representations of Hurwitz-type Euler zeta functions {#p-h-e-zeta}
=============================================================

In this section, we shall evaluate integrals with integrands consisting of products of Hurwitz-type Euler zeta functions and Lerch-type Euler zeta functions. These will imply some integral representations for the function and classical relations for the integral of products of two Euler polynomials.

\[lem-fu-co-2\] Let $s,s'\in\mathbb R_0^-.$ Then we have $$\label{thm-re}
\int_0^1\zeta_E(s',x)\zeta_E(s,x)dx=\frac{2\Gamma(1-s)\Gamma(1-s')}{\pi^{2-s-s'}}\lambda(2-s-s')\cos\left(\frac{\pi(s-s')}{2}\right).$$ Similarly, we have $$\label{thm-re-2}
\int_0^1\zeta_E(s',x)\zeta_E(s,1-x)dx=\frac{2\Gamma(1-s)\Gamma(1-s')}{\pi^{2-s-s'}}\lambda(2-s-s')\cos\left(\frac{\pi(s+s')}{2}\right).$$

In view of (\[thm-fu-co\]), (\[thm-f-c 1\]) and (\[thm-f-c 2\]), the expansion (\[F-Exp\]) shows that the coefficients of $\zeta_E(s',x)$ are given by $$\label{coeffi}
\begin{aligned}
a_n(s')&=\frac{2\Gamma(1-s')\sin\left(\frac{\pi s'}2\right)}{\pi^{1-s'}}\frac1{(2n+1)^{1-s'}}, \\
b_n(s')&=\frac{2\Gamma(1-s')\cos\left(\frac{\pi s'}2\right)}{\pi^{1-s'}}\frac1{(2n+1)^{1-s'}}.
\end{aligned}$$ From (\[lam-def\]), (\[thm-f 1\]) and (\[coeffi\]), we obtain $$\label{coeffi-1}
\begin{aligned}
\int_0^1\zeta_E(s',x)\zeta_E(s,x)dx
&=\frac{2\Gamma(1-s)\Gamma(1-s')}{\pi^{2-s-s'}}
\biggl(\sin\left(\frac{\pi s}2\right)\sin\left(\frac{\pi s'}2\right) \\
&\quad+\cos\left(\frac{\pi s}2\right)\cos\left(\frac{\pi s'}2\right) \biggl)
\sum_{n=0}^\infty\frac{1}{(2n+1)^{2-s-s'}} \\
&=\frac{2\Gamma(1-s)\Gamma(1-s')}{\pi^{2-s-s'}}\cos\left(\frac{\pi(s-s')}{2}\right)\lambda(2-s-s'),
\end{aligned}$$ which gives (\[thm-re\]). The proof of (\[thm-re-2\]) is similar.

Let $s,s'\in\mathbb R_0^-$ and $$\delta_2(s)=\frac{1-2^{s+1}}{1-2^s}, \quad s\neq0.$$ Then we have $$\label{co-re}
\begin{aligned}
\int_0^1\zeta_E(s',x)\zeta_E(s,x)dx&=\delta_2(1-s-s')\frac{\cos\left(\frac{\pi(s-s')}{2}\right)}{\cos\left(\frac{\pi(s+s')}{2}\right)}
B(1-s,1-s')\\
&\quad\times\lambda(s+s'-1).
\end{aligned}$$ Similarly, we have $$\label{co-re-2}
\begin{aligned}
\int_0^1\zeta_E(s',x)\zeta_E(s,1-x)dx&=\delta_2(1-s-s')B(1-s,1-s') \\
&\quad\times\lambda(s+s'-1).
\end{aligned}$$ Here $B(s,s')$ is the beta function, $$\label{be-def}
B(s,s')=\frac{\Gamma(s)\Gamma(s')}{\Gamma(s+s')},$$ defined for $s,s'\in\mathbb C$ with ${\rm Re}(s),{\rm Re}(s')>1,$ see @WY [(1.36)].

The functional equation of Riemann's zeta function is well-known, and it is given by (see @EM [(1.35)]) $$\label{ri-ze-ft}
\zeta(1-s)=2\cos\left(\frac{\pi s}{2}\right)\frac{\Gamma(s)}{(2\pi)^s}\zeta(s).$$ From (\[lam-def\]) and (\[ri-ze-ft\]), we have $$\label{la-ft}
\lambda(2-s-s')=-\frac{\delta_2(1-s-s')\pi^{2-s-s'}}{2\Gamma(2-s-s')\cos\left(\frac{\pi (2-s-s')}{2}\right)}\lambda(s+s'-1).$$ Finally, using (\[thm-re\]) and (\[la-ft\]), we obtain (\[co-re\]). The proof of (\[co-re-2\]) is similar.

\[pro-fu-co-1\] Let $s\in\mathbb R_0^-.$ Then we have $$\label{ex-1-1}
\int_0^1\zeta_E^2(s,x)dx=2\Gamma^2(1-s)\pi^{2s-2}\lambda(2-2s)$$ and $$\label{ex-1-2}
\int_0^1\zeta_E(s,x)\zeta_E(s,1-x)dx=2\Gamma^2(1-s)\pi^{2s-2}\lambda(2-2s)\cos(\pi s).$$

Put $s=s'$ in (\[thm-re\]) and (\[thm-re-2\]), we get our results.

\[china-1\] Let $m\in\mathbb N.$ Then we have $$\label{ex-3}
\int_0^1\zeta_E^2\left(-m+\frac12,x\right)dx=2\left(\frac{(2m)!}{2^{2m}m!}\right)^2\frac{\lambda(2m+1)}{\pi^{2m}}.$$

Setting $s=-m+\frac 12$ in (\[ex-1-1\]), then by $$\Gamma\left(m+\frac12\right)=\frac{\sqrt \pi (2m)!}{2^{2m}m!}\quad\text{(see \cite[p.~167]{EM})},$$ we get our result.

\[china-2\] Let $s\in\mathbb R_0^-$ and $m\in\mathbb N.$ Then we have $$\label{ex-4}
\int_0^1 E_{m-1}(x)\zeta_E(s,x)dx=(-1)^{m+1}2\delta_2(m-s)\frac{(m-1)!\lambda(s-m)}{(1-s)_m},$$ where $(s)_k=s(s+1)\cdots(s+k-1)$ is the Pochhammer symbol.

The case $m=1$ in (\[ex-4\]) implies (\[e-1\]) from (\[lam-def\]) and (\[ri-ze-ft\]).

\[Proof of the Corollary \[china-2\]\] Let $s'=1-m$ in (\[co-re\]), we have $$\begin{aligned}
\int_0^1 \zeta_E(1-m,x)\zeta_E(s,x)dx&=\delta_2(m-s)\frac{\cos\left(\frac{\pi(s-1+m)}{2}\right)}
{\cos\left(\frac{\pi(s+1-m)}{2}\right)}B(1-s,m) \\
&\quad\times\lambda(s-m).
\end{aligned}$$ The result then follows from (\[EZ-Eu\]), since $$\frac{\cos\left(\frac{\pi(s-1+m)}{2}\right)}
{\cos\left(\frac{\pi(s+1-m)}{2}\right)}=(-1)^{m+1}$$ and $B(1-s,m)=(m-1)!/(1-s)_m.$

\[co-ezeta\] For $m\in\mathbb N,$ we have $$\label{lam-1-m}
\lambda(1-m)=(-1)^{m+1}\frac{1}{2\delta_2(m-1)}E_{m-1}(0).$$

This follows from (\[H-Sp\]) with $x=1,$ (\[eu-be\]) and (\[lam-def\]).

The following formula on the integral of two Euler polynomials has a long history, it has already appeared in a book by Nörlund @No [p. 36]. See e.g. @SC [p. 530, (25)] and @Sri [p. 64, (52)].

\[ex-rem\] Let $m,n\in\mathbb N_0.$ Then we have $$\label{ex-5}
\int_0^1 E_m(x)E_n(x)dx=2(-1)^{n+1}\frac{m!n!}{(m+n+1)!}E_{m+n+1}(0).$$

\[Proof of Corollary \[ex-rem\]\] Set $s=1-n$, where $n\in\mathbb N$ in (\[ex-4\]), then by (\[EZ-Eu\]) and (\[lam-1-m\]), we obtain $$\begin{aligned}
\int_0^1 E_{m-1}(x)E_{n-1}(x)dx&=4(-1)^{m+1}\delta_2(m+n-1)\frac{(m-1)!\lambda(1-(m+n))}{(n)_m} \\
&=2(-1)^{n}\frac{(m-1)!}{(n)_m} E_{m+n-1}(0) \\
&=2(-1)^n\frac{(m-1)!(n-1)!}{(m+n-1)!}E_{m+n-1}(0),
\end{aligned}$$ where $m,n\in\mathbb N.$ This completes our proof.

\[ex-rem-2\] For $n\in\mathbb N_0,$ the moments of the Hurwitz-type Euler zeta function are given by $$\label{mon-zeta}
\begin{aligned}
\int_0^1 x^n\zeta_E(s,x)dx&=\sum_{j=0}^n\binom nj(-1)^{j}\delta_2(j-s+1)\frac{j!\lambda(s-j-1)}{(1-s)_{j+1}} \\
&\quad+(-1)^{n}\delta_2(n-s+1)\frac{n!\lambda(s-n-1)}{(1-s)_{n+1}}.
\end{aligned}$$

The proof of (\[mon-zeta\]) is obtained by using the expansion of $x^n$ in terms of Euler polynomials (\[id-1\]) and the evaluation (\[ex-4\]).

\[ex-rem-3\] Let $m\in\mathbb N$ and $n\in\mathbb N_0.$ Then we have $$\label{ex-6}
\int_0^1x^nE_{m-1}(x)dx=\frac{(-1)^m}{m}\left(\sum_{j=0}^n\frac{\binom nj}{\binom{m+j}j}E_{m+j}(0)+\frac{E_{m+n}(0)}{\binom{m+n}n}\right).$$

By (\[lam-1-m\]), we have $$\label{lam-p}
\lambda(1-(j+m+1))=(-1)^{j+m}\frac{1}{2\delta_2(j+m)}E_{j+m}(0).$$ Letting $s=1-m$ in (\[mon-zeta\]), then using (\[EZ-Eu\]) and (\[lam-p\]), we easily deduce that $$\int_0^1x^nE_{m-1}(x)dx=(-1)^m\left(\sum_{j=0}^n\binom nj\frac{j!}{(m)_{j+1}}E_{m+j}(0)+\frac{n!}{(m)_{n+1}}E_{m+n}(0)\right)$$ and this implies our result.

Corollary \[ex-rem-3\] gives some identities of $E_m(0)$ for each value of $m\in\mathbb N.$ For instance, when $m=1$ and 2, we have $$\sum_{j=0}^n\binom nj\frac{E_{j+1}(0)}{j+1}=-\frac{1}{n+1}(E_{n+1}(0)+1),$$ $$\sum_{j=0}^n\binom nj\frac{E_{j+2}(0)}{(j+1)(j+2)}=-\frac{1}{2(n+1)(n+2)}(2E_{n+2}(0)-n),$$ where $n\in\mathbb N_0.$

The exponential function {#ex-ft}
========================

In this section, we shall evaluate the Hurwitz-type transform of the exponential function (see @EM [§4]). As @EM [§4], the result is expressed in terms of the transcendental function

$$\label{tran-ft}
F(x,s)=\sum_{n=0}^\infty\lambda(n+2-s)x^n\quad \text{for } |x|<1,$$

where $\lambda(s)$ denotes the Dirichlet lambda function (define $0^0=1$ if $x=0$).

\[ex-thm-1\] Let $s\in\mathbb R_0^-$ and $|t|<1.$ Then we have $$\label{thm-tran}
\int_0^1e^{2\pi tx}\zeta_E(s,x)dx=\frac{2(e^{2\pi t}+1)\Gamma(1-s)}{\pi^{2-s}}{\rm Re}\!\left(e^{\pi i s/2}F(2it,s) \right),$$ where $F(x,s)$ is given in (\[tran-ft\]).

Setting $t=0$ in (\[thm-tran\]), we get (\[e-1\]).

\[Proof of Theorem \[ex-thm-1\]\] The generating function for the Euler polynomials (\[Eu-pol\]) gives $$e^{xt}=\frac{e^t+1}{2}\sum_{n=0}^\infty E_n(x)\frac{t^n}{n!},$$ so that $$\label{ex-zeta}
\int_0^1e^{xt}\zeta_E(s,x)dx=\frac{e^t+1}{2}\sum_{n=0}^\infty \frac{t^n}{n!}\int_0^1E_n(x)\zeta_E(s,x)dx.$$ By (\[be-def\]), we have $$\label{beta-1}
\frac{n!}{(1-s)_{n+1}}=B(1-s,n+1)=\frac{\Gamma(1-s)\Gamma(n+1)}{\Gamma(n-s+2)}.$$ Therefore, from (\[ex-4\]) and (\[beta-1\]), (\[ex-zeta\]) gives $$\label{int1}
\begin{aligned}
\int_0^1e^{xt}\zeta_E(s,x)dx&=(e^t+1)\sum_{n=0}^\infty \frac{t^n}{n!}(-1)^n\delta_2(n-s+1) B(1-s,n+1) \\
&\quad\times \lambda(s-n-1).
\end{aligned}$$ By (\[la-ft\]), we have $$\label{la-ft-inv}
\lambda(s-n-1)=-2\delta_2(n-s+1)\frac{\Gamma(n-s+2)\cos\left(\frac{\pi(n-s+2)}{2}\right)}{\pi^{n-s+2}}\lambda(n-s+2),$$ thus in viewing of (\[beta-1\]) and (\[la-ft-inv\]), we my also write (\[int1\]) in the form $$\label{re-im}
\begin{aligned}
\int_0^1e^{xt}\zeta_E(s,x)dx
&={(e^t+1)\Gamma(1-s)}\sum_{n=0}^\infty
\frac{t^n}{n!}(-1)^n\delta_2(n-s+1)\frac{\Gamma(n+1)}{\Gamma(n-s+2)} \\
&\quad\times \lambda(s-n-1) \\
&=\frac{2(e^t+1)\Gamma(1-s)}{\pi^{2-s}}\sum_{n=0}^\infty \left(\frac{t}{\pi}\right)^n(-1)^{n}
\cos\left(\frac{\pi(n-s)}{2}\right) \\
&\quad\times\lambda(n-s+2).
\end{aligned}$$ Finally, by replacing $t$ with $2\pi t$ and using the identity $$\cos\frac{\pi(n-s)}{2}= \text{Re}(e^{i\pi(s-n)/2}) = \text{Re}((-i )^n e^{i\pi s/2}),$$ we get $$\begin{aligned}
\int_0^1e^{2\pi tx}&\zeta_E(s,x)dx \\
&=\frac{2(e^{2\pi t}+1)\Gamma(1-s)}{\pi^{2-s}}\sum_{n=0}^\infty \left(-2t\right)^n
\lambda(n-s+2)\cos\left(\frac{\pi(n-s)}{2}\right) \\
&=\frac{2(e^{2\pi t}+1)\Gamma(1-s)}{\pi^{2-s}}\sum_{n=0}^\infty \left(-2t\right)^n
\lambda(n-s+2)\, \text{Re}((-i )^n e^{i\pi s/2}) \\
&=\frac{2(e^{2\pi t}+1)\Gamma(1-s)}{\pi^{2-s}}\text{Re}\left(e^{\pi i s/2}\sum_{n=0}^\infty
\lambda(n-s+2) (2it )^n \right) \\
&=\frac{2(e^{2\pi t}+1)\Gamma(1-s)}{\pi^{2-s}}\text{Re}\left(e^{\pi i s/2}F(2it,s) \right). \\
\end{aligned}$$ This completes our proof.

\[ex-coro-2\] Let $m\in\mathbb N_0$ and $|t|<1,t\neq0.$ Then we have $$\label{cor-tran}
\begin{aligned}
\int_0^1e^{2\pi tx}E_m(x)dx&=\frac{(-1)^m4(e^{2\pi t}+1)m!}{(2\pi t)^{m+2}} \\
&\quad\times\left(
\frac{\pi t}{2}\tanh(\pi t) -\sum_{r=0}^{\left\lfloor \frac{m-1}2\right\rfloor}(-1)^r\lambda(2r+2)(2t)^{2r+2}
\right),
\end{aligned}$$ where $\lfloor x\rfloor$ is the floor (greatest integer) function.

Suppose that $k\in\mathbb N_0.$ Let $s=-2k$ in (\[thm-tran\]). From (\[tran-ft\]), we have $$\label{p-1}
\begin{aligned}
\text{Re}\!\left(e^{\pi i s/2}F(2it,s) \right)&=\text{Re}\!\left(e^{\pi i (-2k)/2}F(2it,-2k) \right) \\
&=(-1)^k \text{Re}\!\left(\sum_{r=0}^\infty\lambda(r+2+2k)(2it)^r\right) \\
&=(-1)^k \sum_{r=0}^\infty\lambda(2r+2+2k)(-1)^r(2t)^{2r}.
\end{aligned}$$ From @SO [p. 37, Eq. 3:14:7], we obtain $$\tanh\left(\frac{\pi x}{2}\right)=-\frac4{\pi x}\sum_{r=1}^\infty(-1)^r\lambda(2r)x^{2r},$$ so $$\label{p-2}
\begin{aligned}
\frac{\pi x}4\tanh\left(\frac{\pi x}{2}\right)&=\sum_{r=0}^\infty(-1)^r\lambda (2r+2)x^{2r+2} \\
&=\sum_{r=k}^\infty(-1)^r\lambda (2r+2)x^{2r+2} +\sum_{r=0}^{k-1}(-1)^r\lambda (2r+2)x^{2r+2}.
\end{aligned}$$ Replacing $x$ by $2t$ in (\[p-2\]), we have $$\label{p-3}
\begin{aligned}
\sum_{r=k}^\infty(-1)^r\lambda (2r+2)(2t)^{2r+2} =\frac{\pi t}2\tanh(\pi t)-\sum_{r=0}^{k-1}(-1)^r\lambda (2r+2)(2t)^{2r+2}.
\end{aligned}$$ On the other hand, by (\[p-1\]), we have $$\label{p-4}
\begin{aligned}
(2t)^{-2k-2}\sum_{r=k}^\infty(-1)^r&\lambda (2r+2)(2t)^{2r+2} \\
&=(-1)^k\sum_{r=0}^\infty\lambda(2r+2+2k)(-1)^r(2t)^{2r}\\
&=\text{Re}\!\left(e^{\pi i (-2k)/2}F(2it,-2k) \right)
\end{aligned}$$ for $|t|<1,t\neq0.$ By (\[p-3\]) and (\[p-4\]), we get $$\label{p-5}
\begin{aligned}
\text{Re}\!&\left(e^{\pi i (-2k)/2}F(2it,-2k) \right) \\
&=\frac{(-1)^{2k}}{(2t)^{2k+2}}\left(\frac{\pi t}2\tanh(\pi t)-\sum_{r=0}^{k-1}(-1)^r\lambda (2r+2)(2t)^{2r+2}\right).
\end{aligned}$$

Let $s=-2k-1$ in (\[thm-tran\]), similar with the above, we obtain $$\label{p-6}
\begin{aligned}
\text{Re}\!&\left(e^{\pi i s/2}F(2it,s) \right) \\
&=\text{Re}\!\left(e^{\pi i (-2k-1)/2}F(2it,-2k-1) \right) \\
&=\frac{(-1)^{2k+1}}{(2t)^{2k+3}}\left(\frac{\pi t}2\tanh(\pi t)-\sum_{r=0}^{k}(-1)^r\lambda (2r+2)(2t)^{2r+2}\right).
\end{aligned}$$ The proof now follows directly from (\[EZ-Eu\]), (\[thm-tran\]), (\[p-5\]) and (\[p-6\]).

An expression for Catalan's constant and an Euler-type formula for the Dirichlet beta function {#ex-cata}
==============================================================================================

Following Berndt @Ber [p. 200, Entry 17(v)], Espinosa and Moll @EM [p. 177, (8.1)], for $x>0,$ we define $$\label{ca-1}
G_E(s,x)=\zeta_E(s,x)-\zeta_E(s,1-x).$$ From (\[F-Exp\]), the Fourier expansion for $\zeta_E(s,x),$ we have the following Fourier expansion of $G_E(s,x)$ $$\label{ca-four}
G_E(s,x)=\frac{4\Gamma(1-s)}{\pi^{1-s}}\sin\left(\frac{\pi s}{2}\right)\sum_{n=0}^\infty\frac{\cos((2n+1)\pi x)}{(2n+1)^{1-s}}.$$

We introduce the anti-symmetrized Hurwitz transform for $G_E(s,x)$ as follows (also see @EM) $$\label{am-sy Hu}
\mathfrak{H}_A(f)=\frac12\int_0^1 f(w,x)G_E(s,x)dx,$$ where $f(w,x)$ is given in (\[thm-f-e\]). For a function $f(w,x)$ with Fourier expansion as in (\[thm-f-e\]), we have $$\label{am-sy Hu}
\frac12\int_0^1 f(w,x)G_E(s,x)dx=
\frac{\Gamma(1-s)}{\pi^{1-s}}\sin\left(\frac{\pi s}{2}\right)\sum_{n=0}^\infty\frac{a_n(w)}{(2n+1)^{1-s}}.$$ From @GR [p. 408, 3.612], we get $$\label{cos01}
\int_0^1 \frac{\cos((2n+1)\pi x)}{\cos(\pi x)}dx=(-1)^n.$$ By (\[ca-four\]) and (\[cos01\]), we see that $$\label{fu-cos01}
\frac12\int_0^1 \frac{G_E(s,x)}{\cos(\pi x)}dx=\frac{2\Gamma(1-s)}{\pi^{1-s}}\sin\left(\frac{\pi s}{2}\right)\beta(1-s),$$ where $$\label{di-beta}
\beta(s)=\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^s}$$ is the Dirichlet beta function (see @AS [p. 807, 23.2.21]). It is necessary to remark that by the procedure of analytic continuation, the function $\beta(s)$ can extend to all points in the complex plane, without any singularities. In particular, when $s=-1,$ (\[fu-cos01\]) becomes $$\label{fu-cos=-1}
\frac12\int_0^1 \frac{G_E(-1,x)}{\cos(\pi x)}dx=-\frac2{\pi^2}\beta(2).$$ Espinosa and Moll @EM [p. 178, (8.8)] established the integral representation of the Catalan constant $G$ as $$\label{ca-con-int}
\int_0^1\frac{\frac12 -x}{\cos(\pi x)}dx=\frac{4G}{\pi^2}.$$ Using (\[EZ-Eu\]), (\[ca-1\]) with $s=-1$ and (\[ca-con-int\]), the left hand side of (\[fu-cos=-1\]) becomes $$\label{ca-con}
\begin{aligned}
\frac12\int_0^1 \frac{G_E(-1,x)}{\cos(\pi x)}dx&=\frac12\int_0^1\frac{x-\frac12}{\cos(\pi x)}dx \\
&=-\frac{2G}{\pi^2},
\end{aligned}$$ where $G$ is the Catalan constant (see @Ad). From (\[fu-cos=-1\]) and (\[ca-con\]), we then have $$\label{ca-con-de}
G=\beta(2)=-\frac{\pi^2}{4}\int_0^1 \frac{G_E(-1,x)}{\cos(\pi x)}dx.$$ This form of Catalan's constant is Entry 14 and 19 in the list of expressions for $G$ compiled by Adamchik in @Ad.

From (\[fu-cos01\]), we have the following lemma, which were given in @AS [p. 807, 23.2.23], @SO [p. 36, Eq. 3:13:4] and @WY [(4.13)].

\[sec-eu\] Let $m\in\mathbb N.$ Then we have $$\label{ca-con-pro}
\int_0^1\sec(\pi x) E_{2m-1}(x)dx=(-1)^{m}\frac{4(2m-1)!}{\pi^{2m}}\beta(2m).$$

For $m\in\mathbb N,$ letting $s=-(2m-1)$ in (\[fu-cos01\]), we have $$\label{ca-pro-1}
\frac12\int_0^1 \frac{G_E(-(2m-1),x)}{\cos(\pi x)}dx=\frac{2(2m-1)!}{\pi^{2m}}(-1)^m\beta(2m).$$ It is easy to see that by (\[Eu-pol\]), $$E_m(1-x)=(-1)^mE_{m}(x),\quad m\in\mathbb N_0.$$ Hence, by (\[EZ-Eu\]) and (\[ca-1\]), the left hand side of (\[ca-pro-1\]) becomes $$\label{ca-pro-2}
\begin{aligned}
\frac12\int_0^1 \frac{G_E(-(2m-1),x)}{\cos(\pi x)}dx&=\frac14\int_0^1 \frac{E_{2m-1}(x)-E_{2m-1}(1-x)}{\cos(\pi x)}dx \\
&=\frac12\int_0^1 \frac{E_{2m-1}(x)}{\cos(\pi x)}dx
\end{aligned}$$ for $m\in\mathbb N.$ The proof now follows directly from (\[ca-pro-1\]) and (\[ca-pro-2\]).

We now evaluate $\beta(2m)$ using (\[ex-6\]). This new formula can be regarded as an analogue of Theorem 1 of @Li.

\[Euler-type formula for $\beta(2m)$\]\[sec-eu-cl\] Let $m\in\mathbb N.$ Then we have $$\label{di-bet-cl}
\beta(2m)=\sum_{n=1}^\infty\frac{(-1)^{n+m}\pi^{2m+2n}E_{2n}}{4}
\left(\sum_{j=1}^{n}\frac{E_{2m+2j-1}(0)}{(2n-2j+1)!(2m+2j-1)!}\right).$$

From the Taylor expansion for $\sec(\pi x),$ namely $$\sec(\pi x)=\sum_{n=0}^\infty\frac{(-1)^nE_{2n}}{(2n)!}(\pi x)^{2n},$$ it is clear that $$\int_0^1\sec(\pi x) E_{2m-1}(x)dx=\sum_{n=0}^\infty\frac{(-1)^n\pi^{2n}E_{2n}}{(2n)!}\int_0^1 x^{2n} E_{2m-1}(x)dx,$$ where $m\in\mathbb N.$ Note that $E_{2m}(0)=0,m\in\mathbb N.$ Therefore, by (\[ex-6\]) and (\[ca-con-pro\]), we get our result.

For instance, if we set $m=1$ in (\[di-bet-cl\]), then we obtain:

$$\beta(2)=G=\sum_{n=1}^\infty\frac{(-1)^{n+1}n\pi^{2n+2}E_{2n}}{4(2n+2)!}.$$

For $m\in\mathbb N_0$ we write $s=-2m$ in (\[F-Exp\]) and let $x=1/2.$ We obtain easily $$\label{beta-zeta-od}
\zeta_E\left(-2m,\frac12\right)=\frac{(-1)^m2(2m)!}{\pi^{2m+1}}\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}},$$ so (\[beta-zeta-od\]) becomes, after using (\[EZ-Eu\]), $$\label{beta-zeta-od-2}
\frac12 E_{2m}\left(\frac12\right)=\frac{(-1)^m2(2m)!}{\pi^{2m+1}}\sum_{n=0}^\infty\frac{(-1)^n}{(2n+1)^{2m+1}},$$ By using $E_{2m}=2^{2m}E_{2m}\left({1}/{2}\right),m\in\mathbb N_0,$ we are easy to show that, for the Dirichlet beta function (\[di-beta\]), $$\label{beta-od}
\beta(2m+1)=(-1)^m\frac{E_{2m}}{2^{2m+2}(2m)!}\pi^{2m+1},$$ where $E_m$ are the Euler number, that is, the integers obtained as the coefficients of $z^m/m!$ in the Taylor expansion of $1/\cosh z, |z|<\pi/2$ (see @Li [(3)] and @WY [(4.10)]). The formula (\[ca-con-pro\]) for $\beta(2m)$ gives us $$\label{beta-ev}
\beta(2m)=(-1)^{m}\frac{\pi^{2m}}{4(2m-1)!}\int_0^1\sec(\pi x) E_{2m-1}(x)dx,$$ which is also Equation 23.2.23 of @AS, Equation 3:13:4 of @SO and (4.13) of @WY. (\[beta-ev\]) may give some hint for the question "why it is so difficult to find closed-form expressions for even beta values?" However, Lima @Li has derived the exact closed-form expression for a certain class of zeta series related to $\beta(2m)$ and a finite number of odd zeta values.

Integral representations of Lerch-type Euler zeta functions and special values for Lerch-type Euler zeta functions at rational arguments {#v-le-rat}
========================================================================================================================================

The counterpart of the Hurwitz-type Euler zeta function, the Lerch-type Euler zeta function $\ell_{E,s}(x)$ of the complex exponential argument is defined by $$\label{le-eu-zeta}
\ell_{E,s}(x)=\sum_{n=0}^\infty \frac{e^{(2n+1)\pi i x}}{(2n+1)^s}$$ for Re$(s)>1$ and $x\in\mathbb R$ (see @CK [p. 1530, (7)]). The Hurwitz-type Euler zeta function and the Lerch-type Euler zeta function are related by the functional equation $$\label{hu-le-zeta}
\zeta_{E}(1-s,x)=\frac{\Gamma(s)}{\pi^s}\left(e^{-\frac{\pi is}{2}}\ell_{E,s}(x)-e^{\frac{\pi is}{2}}\ell_{E,s}(1-x) \right),$$ the inverse is $$\label{hu-le-zeta-inv}
\ell_{E,s}(x)=\frac{\Gamma(1-s)}{2\pi^{1-s}}\left(e^{\frac{\pi i(1-s)}{2}}\zeta_{E}(1-s,x)-e^{-\frac{\pi i(1-s)}{2}}\zeta_{E}(1-s,1-x)\right).$$

The limiting case $x\to1^-$ of (\[hu-le-zeta\]) leads to the asymmetric form of the functional equation for $\zeta_E(s)$ and $\lambda(s)$ $$\label{hu-le-zeta-ft}
\zeta_{E}(1-s)=-\frac{2\Gamma(s)}{\pi^s}\cos\left(\frac{\pi s}{2}\right)\lambda(s),$$ where $\lambda(s)$ is the the Dirichlet lambda function (\[lam-def\]). Similarly, in (\[hu-le-zeta-inv\]), with $x=\frac12,$ we have $$\label{hu-le-zeta-ft-2}
\ell_{E,s}\left(\frac12\right)=\frac{i\Gamma(1-s)}{\pi^{1-s}}\sin\left(\frac{\pi(1-s)}{2}\right) \zeta_{E}\left(1-s,\frac12\right).$$

\[thm-zeta-le\] Let $s,s'\in\mathbb R_0^-.$ Then we have $$\label{thm-z-l}
\int_0^1\zeta_E(s',x)\ell_{E,s}(x)dx=\pi^{s'-1}\Gamma(1-s')e^{\frac{\pi i}{2}(1-s')}\lambda(1+s-s').$$

We have the functional equation for the Hurwitz-type Euler zeta function (see (\[hu-le-zeta-inv\])): $$\ell_{E,s}(x)=\frac{i\Gamma(1-s)}{2\pi^{1-s}}\left(e^{-\frac{\pi is}{2}}\zeta_{E}(1-s,x)+e^{\frac{\pi is}{2}}\zeta_{E}(1-s,1-x)\right).$$ From which, we obtain $$\label{int-z-l}
\begin{aligned}
\int_0^1\zeta_E(s',x)\ell_{E,s}(x)dx
&=\frac{i\Gamma(1-s)}{2\pi^{1-s}}\left[e^{-\frac{\pi is}{2}}\int_0^1\zeta_E(s',x)\zeta_{E}(1-s,x)dx \right.\\
&\quad+e^{\frac{\pi is}{2}}\left.\int_0^1\zeta_E(s',x)\zeta_{E}(1-s,1-x)\right].
\end{aligned}$$ Substituting (\[thm-re\]) and (\[thm-re-2\]) in the integral (\[int-z-l\]), we deduce that $$\label{int-z-2}
\begin{aligned}
\int_0^1\zeta_E(s',x)\ell_{E,s}(x)dx
&=\frac{i\Gamma(1-s)\Gamma(s)\Gamma(1-s')}{\pi^{2-s'}}\lambda(1+s-s') \\
&\quad\times\left[e^{-\frac{\pi is}{2}}\cos\left(\frac{\pi(1-s-s')}{2}\right)\right. \\
&\quad\quad+e^{\frac{\pi is}{2}}\left.\cos\left(\frac{\pi(1-s+s')}{2}\right)\right].
\end{aligned}$$ Now the factor on the right hand side of (\[int-z-2\]) is $$\left[e^{-\frac{\pi is}{2}}\cos\left(\frac{\pi(1-s-s')}{2}\right)
+e^{\frac{\pi is}{2}}\cos\left(\frac{\pi(1-s+s')}{2}\right)\right]=e^{-\frac{\pi is'}{2}}\sin(\pi s).$$ Therefore, from the reflection formula $$\Gamma(s)\Gamma(1-s)=\frac{\pi}{\sin(\pi s)},$$ we have $$\int_0^1\zeta_E(s',x)\ell_{E,s}(x)dx=\frac{i\Gamma(1-s')}{\pi^{1-s'}}e^{-\frac{\pi is'}{2}}\lambda(1+s-s').$$ This completes the proof.

Let $\phi(x,a,s)$ be the power Dirichlet series defined for Re$(s)>1,$ $x$ real, $a\neq$ negative integer or zero, by the series $$\label{di-phi}
\phi(x,a,s)=\sum_{n=0}^\infty\frac{e^{2n\pi ix}}{(n+a)^s}$$ (see @Ap0 [p. 161, (1.1)]). It is known that $\phi(x,a,s)$ can be extended to whole $s$-plane by means of the contour integral. The value of $\phi(x,a,s)$ when $s$ is 0 or a negative integer can be calculated by applying Cauchy's residue theorem. For $m\in\mathbb N_0,$ the Apostol's formula (see @Ap0 [p. 164)]) gives $$\label{di-phi-sp-v}
\phi(x,a,-m)=-\frac{B_{m+1}(a,e^{2\pi ix})}{m+1},$$ where $B_{m}(a,\alpha)$ are the Apostol-Bernoulli polynomials defined by $$\label{ap-be-def}
\frac{ze^{az}}{\alpha e^z-1}=\sum_{m=0}^\infty B_{m}(a,\alpha)\frac{z^m}{m!}.$$ We refer to @Ap0 [@Ba2; @HKK; @Luof; @NFV] for an account of the properties of Apostol-Bernoulli polynomials $B_{m}(a,\alpha).$ For a later purpose, we observe that, by (\[le-eu-zeta\]) and (\[di-phi\]), the following equality is established, $$\label{phi-ruch}
\ell_{E,s}(x)=2^{-s}e^{\pi ix}\phi\left(x,\frac12,s\right),$$ so that by (\[di-phi-sp-v\]) and (\[phi-ruch\]), $$\label{phi-ruch-sp-v}
\ell_{E,-m}(x)=-2^{m}e^{\pi ix}\frac{B_{m+1}\left(\frac12,e^{2\pi ix}\right)}{m+1},$$ where $m\in\mathbb N_0.$

We observe that the function $\zeta_{E}(s,x)$ in (\[HEZ\]) is a linear combination of the Hurwitz zeta functions $\zeta(s,x)$ in (\[Hurwitz\]) when $x$ is a rational number.

\[ile-hu-ft\] Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p\leq q.$ Then for all $s\in\mathbb C,$ we have $$\label{h-h-ft-e}
\begin{aligned}
\zeta_E\left(1-s,\frac{p}{q}\right)
=\frac{2\Gamma(s)}{(2q\pi)^s}\sum_{r=0}^{q-1}
\cos\left(\frac{\pi s}{2}-\frac{(2r+1)\pi p}{q}\right)\zeta\left(s,\frac{2r+1}{2q}\right).
\end{aligned}$$

This is an analogue of @Ap2 [p. 261, Theorem 12.8], where the Hurwitz zeta function $\zeta(s,x)$ instead of $\zeta_E(s,x).$

\[Proof of Theorem \[ile-hu-ft\]\] Following an idea in @Sri [p. 337, (8)], we have $$\label{choi}
\sum_{n=1}^\infty f(n)=\sum_{r=1}^{q}\sum_{k=0}^\infty f(kq+r)$$ if the involved series is absolutely convergent. Applying (\[choi\]) to the series (\[le-eu-zeta\]), we have (see @CK [p. 1530, (8b)] and @CK10 [p. 1487, (3.4)]) $$\label{h-h-type}
\ell_{E,s}\left(\frac pq\right)=\frac1{(2q)^s}\sum_{r=1}^{q}e^{(2r-1)\pi i\frac{p}{q}}\zeta\left(s,\frac{2r-1}{2q}\right).$$ Therefore, if we take $x=\frac pq$ in the formula (\[hu-le-zeta\]) to (\[h-h-type\]), in considerations of $\ell_{E,s}(1-x)=-\ell_{E,s}(x),$ we have the following equality $$\begin{aligned}
\zeta_E\left(1-s,\frac{p}{q}\right)
&=\frac{\Gamma(s)}{\pi^s}\left(e^{-\frac{\pi is}{2}}\ell_{E,s}\left(\frac pq\right)+e^{\frac{\pi is}{2}}
\ell_{E,s}\left(-\frac pq\right)\right) \\
&=\frac{2\Gamma(s)}{(2q\pi)^s}\sum_{r=1}^{q}
\cos\left(\frac{\pi s}{2}-\frac{(2r-1)\pi p}{q}\right)\zeta\left(s,\frac{2r-1}{2q}\right),
\end{aligned}$$ which holds true, by the principle of analytic continuation, for all admissible values of $s\in\mathbb C.$

\[<span>@CK [p. 1529, Theorem B]</span>\]\[ile-hu-ft-thm\] Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p\leq q.$ For $m\in\mathbb N,$ the Euler polynomials $E_m(x)$ at rational arguments are given by $$\label{h-h-ft-odd}
\begin{aligned}
E_{m}\left(\frac{p}{q}\right)
=\frac{4m!}{(2q\pi)^{m+1}}\sum_{r=1}^{q}
\sin\left(\frac{(2r-1)\pi p}{q}-\frac{m\pi }{2}\right)\zeta\left(m+1,\frac{2r-1}{2q}\right).
\end{aligned}$$

By setting $s=m+1$ ($m\in\mathbb N_0$) in (\[h-h-ft-e\]) and using (\[EZ-Eu\]), we obtain the formula in (\[h-h-ft-odd\]), which completes the proof.

Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p< q.$ Then we have $$\label{h-h-type-co}
B_{m+1}\left(\frac 12,e^{2\pi i\frac pq}\right)=q^m\sum_{r=1}^{q}e^{2(r-1)\pi i\frac{p}{q}}B_{m+1}\left(\frac{2r-1}{2q}\right),
\quad m\in\mathbb N_0.$$

Letting $m\in\mathbb N_0,$ then replacing $s$ by $-m$ in (\[h-h-type\]), using (\[H-Sp\]) and (\[phi-ruch-sp-v\]), we get our result.

This identity is also a special case of the multiplication theorem for Apostol-Bernoulli polynomials (see eg. @Luo [Eq. (17)]).

Since $\ell_{E,s}(x)$ is a relative of the Hurwitz-type Euler zeta function $\zeta_E(s,x)$ defined (\[HEZ\]) (see (\[hu-le-zeta\]) and (\[hu-le-zeta-inv\]) above), it is natural to expect a relation involving $\zeta (s,x)$:

\[Generalized Eisenstein formula\]\[GEF\] Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p< q.$ Then we have $$\label{inverse-Ei}
\zeta\left(s,\frac{2p-1}{2q}\right)=\frac1{q}\sum_{r=1}^{q}(2q)^se^{-(2p-1)\pi i\frac rq}  \ell_{E,s}\left(\frac rq\right).$$

The equation (\[inverse-Ei\]) was announced without a proof in @CK10 [p. 1487, (3.3)].

\[Proof of Lemma \[GEF\]\] The formula (\[Hurwitz\]) could be written in the following form $$~\label{Hurwitz-ft-e}
\begin{aligned}
\zeta\left(s,\frac{2p+1}{2q}\right)&=(2q)^s\sum_{k=0}^\infty\frac{1}{(2(qk+p)+1)^s} \\
&=(2q)^s\sum_{ n=0 \atop n\equiv p\!\!\!\pmod q}^\infty\frac1{(2n+1)^s}.
\end{aligned}$$ Note that in fact (see @Ap2 [p. 158, Theorem 8.1]) $$\frac1q\sum_{r=1}^qe^{2\pi i(n-p)\frac rq}
=\begin{cases}
1 & \text{ if } n\equiv p \pmod q\\
0 & \text{ otherwise},\end{cases}$$ and hence $$~\label{Hurwitz-ft-e}
\begin{aligned}
\zeta\left(s,\frac{2p+1}{2q}\right)
&=(2q)^s\sum_{ n=0 }^\infty\frac{\frac1q\sum_{r=1}^qe^{2\pi i(n-p)\frac rq}}{(2n+1)^s} \\
&=\frac1q \sum_{r=1}^q(2q)^s\sum_{n=0}^\infty\frac{e^{(2n+1)\pi i\frac rq}}{(2n+1)^s} e^{-(2p+1)\pi i\frac rq}
\end{aligned}$$ for $1\leq p< q,$ the conclusion is immediate.

Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p< q.$ Then we have $$\label{inverse-Ei-co}
B_{m+1}\left(\frac{2p-1}{2q}\right)=\frac1{q^{m+1}}\sum_{r=1}^{q}e^{-2(p-1)\pi i\frac rq} B_{m+1}\left(\frac 12,e^{2\pi i\frac rq}\right),
\quad m\in\mathbb N_0.$$ Here, the term $B_{m+1}\left(\frac 12, 1\right)$ is understood as $B_{m+1}\left(\frac 12\right)$ (the value of the Bernoulli polynomials $B_{m+1}(x)$ at $x=\frac12$).

Let $m\in\mathbb N_0,$ and replace $s$ by $-m$ in (\[inverse-Ei\]). Then, using (\[H-Sp\]) and (\[phi-ruch-sp-v\]), we get our result.

\[mul-dis-eq\] Let $p,q$ be integers, $q\in\mathbb N$ and $1\leq p\leq q.$ Then we have the identities $$\label{ei-form-h-l-zeta}
\begin{aligned}
\frac1{q}\sum_{r=1}^{q}(2q)^s&e^{-(2p+1)\pi i\frac rq}  \ell_{E,s}\left(\frac rq\right) \\
&=\frac{\Gamma(1-s)}{\pi^{1-s}}\left\{e^{-\frac{\pi i(1-s)}{2}}\ell_{E,1-s}(x)
-e^{\frac{\pi i(1-s)}{2}}\ell_{E,1-s}(1-x) \right\}
\end{aligned}$$ and $$\label{ei-form-e-zeta}
\begin{aligned}
\frac1{(2q)^s}\sum_{r=1}^{q}&e^{(2r-1)\pi i\frac pq}\zeta\left(s,\frac{2r-1}{2q} \right)\\
&=\frac{\Gamma(1-s)}{2\pi^{1-s}}\left\{e^{\frac{\pi i(1-s)}{2}}\zeta_{E}\left(1-s,\frac pq\right)
-e^{-\frac{\pi i(1-s)}{2}}\zeta_{E}\left(1-s,1-\frac pq\right)\right\}.
\end{aligned}$$

From (\[hu-le-zeta\]), (\[hu-le-zeta-inv\]), (\[h-h-type\]) and (\[inverse-Ei\]), we prove the theorem.

We will use $[x]$ to denote the integer part of $x\in\mathbb R$ (i.e., $[x]$ is the largest integer $\leq x$); then, the fractional part of $x$ will be $\{x\}=x-[x].$

\[exp-zeta-lem\] For $n\in\mathbb N$ we have $$\label{four-euler-com}
E_{n}(\{x\})=2(-i)^{n-1}n!\sum_{k=0}^\infty\frac{(-1)^{n-1}e^{(2k+1)\pi ix}+e^{-(2k+1)\pi ix}}{((2k+1)\pi)^{n+1}}.$$

Let $\{x\}=x-[x].$ The function ${E}_n(\{x\})$ is a quasi-periodic function of period 2 (see @HKK). The Fourier series of ${E}_n(\{x\})$ are given as follows (@AS [p. 805, 23.1.16]): $$\label{four-euler}
{E}_n(\{x\})=\frac{4n!}{\pi^{n+1}}\sum_{k=0}^\infty\frac{\sin((2k+1)\pi x-\frac12\pi n)}{(2k+1)^{n+1}},$$ where $0\leq x<1$ if $n\in\mathbb N$ and $0<x<1$ if $n=0,$ immediately yields $$\label{four-euler-even}
{E}_{2m}(\{x\})=4(-1)^m(2m)!\sum_{k=0}^\infty\frac{\sin((2k+1)\pi x)}{((2k+1)\pi)^{2m+1}},$$ and $$\label{four-euler-odd}
{E}_{2m+1}(\{x\})=4(-1)^{m-1}(2m+1)!\sum_{k=0}^\infty\frac{\cos((2k+1)\pi x)}{((2k+1)\pi)^{2m+2}}.$$ Thus (\[four-euler-com\]) follows immediately from (\[four-euler-even\]) and (\[four-euler-odd\]).

\[exp-zeta-thm\] Let $m>1$ be a fixed positive odd integer and let $\r$ be an integer such that $\r\not\equiv0\pmod{m}.$ Then, for $n\in\mathbb N,$ we have $$\label{exp-zeta-eq}
\begin{aligned}
\sum_{r=1}^{m-1}(-1)^re^{-2\pi ir\frac \r m}\ell_{E,1-n}\left(\frac rm\right)
&=\frac{(-1)^{n-1}}{4}\left(m^nE_{n-1}\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+E_{n-1}(0)\right)\\
&\quad-\frac1{2n}\left(m^nB_n\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+B_n(0)\right).
\end{aligned}$$

It follows, from (\[hu-le-zeta-inv\]), that for odd $m>1,$ $$\label{pf-1}
\begin{aligned}
\sum_{r=1}^{m-1}(-1)^r&e^{-2\pi ir\frac \r m}\ell_{E,1-n}\left(\frac rm\right) \\
&=\frac{(n-1)!i^n}{2\pi^{n}}\left(\sum_{r=1}^{m-1}(-1)^re^{-2\pi ir\frac \r m}\zeta_{E}\left(n,\frac rm\right)\right. \\
&~\quad\quad\quad\quad\quad\quad\left.-(-1)^n\sum_{r=1}^{m-1}(-1)^re^{-2\pi ir\frac \r m}\zeta_{E}\left(n,\frac{m-r}m\right)\right) \\
&=\frac{(n-1)!i^n}{2\pi^{n}}\left(\sum_{r=1}^{m-1}(-1)^re^{-2\pi ir\frac \r m}\zeta_{E}\left(n,\frac rm\right)\right. \\
&~\quad\quad\quad\quad\quad\quad\left.+(-1)^n\sum_{r'=1}^{m-1}(-1)^{r'}e^{-2\pi ir'\frac \r m}\zeta_{E}\left(n,\frac{r'}m\right)\right)
\\
&=\frac{(n-1)!i^n}{2\pi^{n}}\sum_{r=1}^{m-1}(-1)^r\sum_{k=0}^\infty
\frac{(-1)^k\left[e^{-2\pi ir\frac \r m}+(-1)^ne^{2\pi ir\frac \r m}\right]}{\left(k+\frac \r m\right)^n}
 \\
&=\frac{(n-1)!i^nm^n}{2\pi^{n}}\sum_{r=1}^{m-1}\sum_{k=0}^\infty
\frac{(-1)^{mk+r}\left[e^{-2\pi i\r\frac {(mk+r)} m}+(-1)^ne^{2\pi i\r\frac  {(mk+r)} m}\right]}{\left(mk+r\right)^n} \\
&=\frac{(n-1)!i^nm^n}{2\pi^{n}}\sum_{{h=1\atop h\not\equiv 0\!\!\!\pmod{m}}}^\infty
\sum_{h=1}^\infty
\frac{(-1)^{h}\left[e^{-2\pi i\r\frac {h} m}+(-1)^ne^{2\pi i\r\frac  {h} m}\right]}{h^n}
\\
&=\frac{(n-1)!i^nm^n}{2\pi^{n}}\left(
\sum_{h=1}^\infty \frac{(-1)^{h}\left[e^{-2\pi i\r\frac {h} m}+(-1)^ne^{2\pi i\r\frac  {h} m}\right]}{h^n} \right.\\
&\quad\quad\quad\quad\quad\quad\quad\quad\left.+\sum_{k=1}^\infty \frac{(-1)^{mk}\left[e^{-2\pi ik\r}+(-1)^ne^{2\pi ik\r}\right]}{(km)^n}
 \right).
\end{aligned}$$ In the following, we will use the identities below: $$\label{known-id}
\sum_{n=1}^\infty\frac{(-1)^n}{n^s}=-\sum_{k=1}^\infty\frac{1}{(2k-1)^s}+\sum_{k=1}^\infty\frac{1}{(2k)^s}$$ and $$\label{known-id-2}
B_n(\{x\})=-(-i)^nn!\sum_{k=1}^\infty \frac{e^{2\pi ikx}+(-1)^ne^{-2\pi ikx}}{(2\pi k)^n}$$ for $n\in\mathbb N$ (see @Wa [p. 13, §3] or @Li10). Note that, by (\[four-euler-com\]) and $E'_n(\{x\})=nE_{n-1}(\{x\}),$ we have $$\label{known-id-3}
E'_n(\{x\})=2(-i)^nn!\sum_{k=0}^\infty \frac{(-1)^ne^{(2k+1)\pi ix}+e^{-(2k+1)\pi ix}}{\pi^n(2k+1)^n}.$$ Therefore we have $$\label{pf-2}
\begin{aligned}
\sum_{r=1}^{m-1}(-1)^r&e^{-2\pi i\frac rm}\ell_{E,1-n}\left(\frac rm\right) \\
&=\frac{(n-1)!i^nm^n}{2\pi^{n}}\left(
\sum_{k=1}^\infty\frac{e^{-2\pi i(2k)\frac \r m}+(-1)^ne^{2\pi i(2k)\frac \r m}}{(2k)^n}\right. \\
&\qquad\qquad\qquad\quad\quad -\left.\sum_{k=1}^\infty\frac{e^{-2\pi i(2k-1)\frac \r m}+(-1)^ne^{2\pi i(2k-1)\frac \r m}}{(2k-1)^n} \right. \\
&\qquad\qquad\qquad\quad\quad +\left. m^{-n}\sum_{k=1}^\infty\frac{e^{-2\pi i(2k)\r}+(-1)^ne^{2\pi i(2k)\r}}{(2k)^n}\right. \\
&\qquad\qquad\qquad\quad\quad -\left. m^{-n}\sum_{k=1}^\infty\frac{e^{-2\pi i(2k-1)\r}+(-1)^ne^{2\pi i(2k-1)\r}}{(2k-1)^n}
\right)
\\
&=\frac{(-1)^{n-1}}{4n}\left(m^nE'_n\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+E'_n(2\r-[2\r])\right)\\
&\quad-\frac1{2n}\left(m^nB_n\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+B_n(2\r-[2\r])\right) \\
&=\frac{(-1)^{n-1}}{4}\left(m^nE_{n-1}\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+E_{n-1}(0)\right)\\
&\quad-\frac1{2n}\left(m^nB_n\left(\frac{2\r}{m}-\left[\frac{2\r}m\right]\right)+B_n(0)\right).
\end{aligned}$$ This completes our proof.

Equation (\[exp-zeta-eq\]) is an analogue of Theorem D in @Wa, which is an extension of the classical Eisenstein formula $$\frac\alpha m-\left[\frac\alpha m\right]-\frac12=-\frac1{2m}\sum_{\gamma=1}^{m-1}
\sin\left(\frac{2\pi \gamma\alpha}{m}\right)\cot\left(\frac{\pi\gamma}{n}\right),$$ where $\alpha$ is an integer with $\alpha\not\equiv0\pmod m$ and $m>2$ is a fixed positive integer.

<span>00</span>

V. Adamchik, *32 representations for Catalan constant*, Available at http://www.cs.cmu.edu/ adamchik/articles/catalan/catalan.htm.

M. Abramowitz and I. Stegun (eds.), *Handbook of mathematical functions with formulas, graphs and mathematical tables*, Dover, New York, 1972.

T.M. Apostol, *On the Lerch zeta function*, Pacific J. Math. **1** (1951), 161–167.

T.M. Apostol, *Some series involving the Riemann zeta function*, Proc. Amer. Math. Soc. **5** (1954), 239–243.

T.M. Apostol, *Introduction to analytic number theory*, Undergraduate Texts in Mathematics, Springer-Verlag, New York-Heidelberg, 1976.

R. Ayoub, *Euler and the zeta function*, Amer. Math. Monthly **81** (1974), 1067-1086.

A. Bayad, *Fourier expansions for Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials*, Math. Comp. **80** (2011) 2219–2221.

A. Bayad, *Arithmetical properties of elliptic Bernoulli and Euler numbers*, Int. J. Algebra **4** (2010), no. 5-8, 353–372.

B. Berndt, *Ramanujan's Notebooks, Part I*, Springer-Verlag, New York, 1985.

D. Cvijović *Exponential and trigonometric sums associated with the Lerch zeta and Legendre chi functions*, Comput. Math. Appl. **59** (2010), no. 4, 1484–1490.

D. Cvijović and J. Klinowski, *New formulae for the Bernoulli and Euler polynomials at rational arguments*, Proc. Amer. Math. Soc. **123** (1995), no. 5, 1527–1535.

J. Choi and H.M. Srivastava, *The multiple Hurwitz zeta function and the multiple Hurwitz-Euler eta function*, Taiwanese J. Math. **15** (2011), no. 2, 501–-522.

K. Dilcher and C. Vignat, *General convolution identities for Bernoulli and Euler polynomials*, J. Math. Anal. Appl. **435** (2016), no. 2, 1478–1498.

E. Elizalde, *Ten Physics Applications of Spectral Zeta Functions*, Lecture Notes in Physics, Springer-Verlag, Berlin, 1995.

O. Espinosa and V. Moll, *On some integrals involving the Hurwitz zeta function: part 1*, Ramanujan J. **6** (2002), no. 2, 159–188.

O. Espinosa and V. Moll, *On some integrals involving the Hurwitz zeta function: part 2*, Ramanujan J. **6** (2002), no. 2, 449–468.

I.S. Gradshteyn and I.M. Ryzhik, *Table of Integrals, Series and Products*, 5th edn. (Alan Jeffrey, ed.), Academic Press, New York, 1994.

B. Gross, *On the values of abelian $L$-functions at $s=0$*, J. Fac. Sci. Univ. Tokyo **35** (1988), 177–197.

S. Hu and M.-S. Kim, *The $(S,\{2\})$-Iwasawa theory*, J. Number Theory **158** (2016), 73–89.

S. Hu, D. Kim and M.-S. Kim, *On reciprocity formula of Apostol-Dedekind sum with quasi-periodic Euler functions*, J. Number Theory **162** (2016), 54–67.

M.-S. Kim and S. Hu, *Sums of product of Apostol-Bernoulli Numbers*, Ramanujan J. **28** (2012), 113–123.

M.-S. Kim and S. Hu, *On $p$-adic Hurwitz-type Euler zeta functions*, J. Number Theory **132** (2012), 2977–3015.

M.-S. Kim and S. Hu, *On $p$-adic Diamond-Euler Log Gamma functions*, J. Number Theory **133** (2013), 4233–4250.

F.M.S. Lima, *An Euler-type formula for $\beta(2n)$ and closed-form expressions for a class of zeta series*, Integral Transforms Spec. Funct. **23** (2012), no. 9, 649–657.

H. Li, M. Hashimoto and S. Kanemitsu, *Examples of the Hurwitz transform*, J. Math. Soc. Japan **61** (2009), no. 3, 651–660.

H. Li, M. Hashimoto and S. Kanemitsu, *The structural elucidation of Eisenstein's formula*, Sci. China Math. **53** (2010), no. 9, 2341–2350.

Q.-M. Luo, *Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynomials*, Math. Comp. **78** (2009), 2193–2208.

Q.-M. Luo, *The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order*, Integral Transforms Spec. Funct. **20** (2009), 377–-391.

I. Mez, *The Fourier series of the log-Barnes function*, available on line at: http://arxiv.org/abs/1604.00753

M. Mikolás, *A simple proof of the functional equation for the Riemann zeta-function and a formula of Hurwitz*, Acta Sci. Math. Szeged **18** (1957), 261–263.

J. Min, *Zeros and special values of Witten zeta functions and Witten $L$-functions*, J. Number Theory **134** (2014), 240–257.

N.E. Nörlund, *Vorlesungen uber Differenzenrechnung*, Springer-Verlag, Berlin, 1924.

L. M. Navas, F. J. Ruiz and J. L. Varona, *Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials*, Math. Comp. **81** (2012), 1707–1722.

J. Sándor and B. Crstici, *Handbook of number theory, II*, Kluwer Academic Publishers, Dordrecht, 2004.

J. Spanier and K.B. Oldham, *An Atlas of Functions*, Hemisphere Publishing Corp., 1987.

H.M. Srivastava and J. Choi, *Series associated with the zeta and related functions*, Kluwer Academic Publishers, Dordrecht, 2001.

M.A. Shpot, M.P. Chaudhary and R. B. Parirs, *Integrals of products of Hurwitz zeta functions*, http://arxiv.org/abs/1603.00722.

K. Symanzik, *Schrödinger representation and Casimir effect in renormalizable quantum field theory*, Nucl. Phys. B **190** (1981), 1–44. K. Wang, *Exponential sums of Lerch's zeta functions*, Proc. Amer. Math. Soc. **95** (1985), no. 1, 11–15.

K.S. Williams and Z.Y. Yue, *Special values of the Lerch zeta function and the evaluation of certain integrals*, Proc. Amer. Math. Soc. **119** (1993), no. 1, 35–49.

{'source': 'arXiv_out/1508'}