It is well known that the (real analytic) Eisenstein series is defined, in the slash notation, as follows $$E_{s}(\tau) = \sum\limits_{\gamma\in\Gamma_{\infty}\backslash\text{SL}(2,\mathbb{Z})}\left.y^{s}\right\vert_{\gamma},$$ where $s\in\mathbb{C}$ and $\Gamma_{\infty}$ is the stabilizer of $\text{SL}(2,\mathbb{Z})$. This sum converges when $\text{Re}(s)>1$ and when continued analytically to all of the $s$-plane, it reads $$E_{s}(\tau) = y^{s} + \frac{\Lambda(1-s)}{\Lambda(s)}\frac{1}{y^{s-1}} + \sum\limits_{j=1}^{\infty}\frac{4\sigma_{2s-1}(j)\sqrt{y}\ K_{s-\tfrac{1}{2}}(2\pi jy)}{\Lambda(s)j^{s - \tfrac{1}{2}}}\cos(2\pi jx),$$ where $\sigma_{2s-1}(j)$ is the divisor sigma function, $K_{\nu}(z)$ is the modified Bessel function of the second kind, and $\Lambda(s)$ is the completed zeta function as a function of $2s$, $\Lambda(s) = \pi^{-s}\Gamma(s)\zeta(2s)$ ,that obeys the functional equation $\Lambda\left(\tfrac{1}{2}-s\right) = \Lambda(s)$. This real analytic Eisenstein series is an eigenfunction of the Laplacian defined on the space $\text{SL}(2,\mathbb{Z})\backslash\mathbb{H}$, where $\mathbb{H}$ is the upper half-plane. I have the following questions:
- Does there exist explicit formulae in literature for the analytic continuation of $E_{s}(\tau)$ defined on the space with Hecke and Fricke subgroup quotients, i.e. $\Gamma_{0}(N)\backslash\mathbb{H}$ and $\Gamma_{0}^{+}(N)\backslash\mathbb{H}$?
- I suspect the analytic continuation formulae to contain certain L-functions $L^{*}(s)$ akin to how $\Lambda(s)$ shows up in the above definition. If they don't then is it possible to reexpress these formulae in terms of some nice L-functions?
Here, the Hecke group $\Gamma_{0}(N)$ is a discrete subgroup of $\text{SL}(2,\mathbb{Z})$ and is a subgroup of index $2$ in the Fricke group $\Gamma_{0}^{+}(N)$.