Eisenstein series and an asymptotic for the $K$-Bessel function

TL;DR

This paper derives asymptotic estimates for the $K$-Bessel function with large complex order and applies these results to bound Eisenstein series in the context of automorphic forms.

Contribution

It provides new asymptotic formulas for the $K$-Bessel function of large complex order and applies these to obtain bounds on Eisenstein series for certain ranges of parameters.

Findings

Asymptotic expansion of $K_{r + i t}(y)$ as $y o abla$

Uniform estimates when $t$ and $y$ are close

Bounds on Eisenstein series for $1/2 \,\leq r \leq 3/2$

Abstract

We produce an estimate for the $K$-Bessel function $K_{r + i t}(y)$ with positive, real argument $y$ and of large complex order $r+it$ where $r$ is bounded and $t = y \sin \theta$ for a fixed parameter $0\leq \theta\leq \pi/2$ or $t= y \cosh \mu$ for a fixed parameter $\mu>0$. In particular, we compute the dominant term of the asymptotic expansion of $K_{r + i t}(y)$ as $y \rightarrow \infty$. When $t$ and $y$ are close (or equal), we also give a uniform estimate. As an application of these estimates, we give bounds on the weight-zero (real-analytic) Eisenstein series $E_0^{(j)}(z, r+it)$ for each inequivalent cusp $\kappa_j$ when $1/2 \leq r \leq 3/2$.

Equations

$$t=y\sin \theta .$$

$$K_{\nu }(y)=\{\begin{array}{ll}\sqrt{\frac{\pi }{2y\cos \theta }}{e}^{-y(\cos \theta +\theta \sin \theta )}{e}^{ir\theta }+O\left(y^{-3/2}{e}^{-y(\cos \theta +\theta \sin \theta )}\right)& \text{ if }0\le \theta <\frac{\pi }{2}\\ e^{-\frac{\pi }{2}y+i\frac{\pi }{2}r}{y}^{-1/3}\frac{\Gamma (\frac{1}{3})}{2^{\frac{2}{3}}{3}^{\frac{1}{6}}}+O\left(y^{-2/3}{e}^{-\frac{\pi }{2}y+i\frac{\pi }{2}r}\right)& \text{ if }\theta =\frac{\pi }{2}\end{array}$$

$$t=y\cosh \mu .$$

$$K_{\nu }(y)=\sqrt{\frac{2\pi }{y\sinh \mu }}{e}^{-y\frac{\pi }{2}\cosh \mu +ir\frac{\pi }{2}}$$

$$-i\sinh (r\mu )\cos \left(\frac{\pi }{4}-y\left(\sinh \mu -\mu \cosh \mu \right)\right)]$$

$$+O\left(y^{-3/2}{e}^{-y\left(\frac{\pi }{2}\cosh \mu +i\left(\sinh \mu -\mu \cosh \mu \right)\right)}\right)$$

$$+O\left(y^{-3/2}{e}^{-y\left(\frac{\pi }{2}\cosh \mu -i\left(\sinh \mu -\mu \cosh \mu \right)\right)}\right)$$

$$K_{it}(y)\sim \sqrt{2\pi }(t^2-y^2{)}^{-\frac{1}{4}}{e}^{-t\frac{\pi }{2}}\sin \left(\frac{\pi }{4}-(t^2-y^2{)}^{\frac{1}{2}}+t{\cosh }^{-1}\left(\frac{t}{y}\right)\right),$$

$$t=y\sin \theta .$$

$$K_{\nu }(y)$$

$$-\frac{i\pi \sqrt{2}}{y^{2/3}}{e}^{-y\frac{\pi }{2}\sin \theta +ir\frac{\pi }{2}}\sin \left(r\theta -r\frac{\pi }{2}\right){\zeta }^{-1/2}{\left(\frac{\zeta }{{\cos }^2\theta }\right)}^{1/4}{\mathrm{Ai}}^{\prime }\left(y^{2/3}\zeta \right)$$

$$+O\left(\frac{\mathrm{Ai}\left(y^{2/3}\zeta \right)e^{-y\frac{\pi }{2}\sin \theta }}{y^{4/3}}\right)+O\left(\frac{{\mathrm{Ai}}^{\prime }\left(y^{2/3}\zeta \right)e^{-y\frac{\pi }{2}\sin \theta }}{y^{5/3}}\right)$$

$$t=y\cosh \mu .$$

$$K_{\nu }(y)=$$

$$-\frac{\pi \sqrt{2}}{y^{2/3}}{e}^{-y\frac{\pi }{2}\cosh \mu +ir\frac{\pi }{2}}\sinh \left(r\mu \right){\zeta }^{-1/2}{\left(\frac{\zeta }{-{\sinh }^2\mu }\right)}^{1/4}{\mathrm{Ai}}^{\prime }\left(y^{2/3}\zeta \right)$$

$$+O\left(\frac{\mathrm{Ai}\left(y^{2/3}\zeta \right)e^{-y\frac{\pi }{2}\cosh \mu }}{y^{4/3}}\right)+O\left(\frac{{\mathrm{Ai}}^{\prime }\left(y^{2/3}\zeta \right)e^{-y\frac{\pi }{2}\cosh \mu }}{y^{5/3}}\right)$$

$$K_{r-1/2+it}(y)=O(y^{1/2-r}{e}^{-|t|\pi /2}|t{|}^{r-1})$$

$$\Gamma_{1}:=\Gamma_{\infty}:=\left\{\left(\begin{array}[]{cc}1&b\\ 0&1\end{array}\right)\bigg{|}\ b\in\mathbb{Z}\right\}$$

$${\sigma }_j(\overline{F})\cap \{z\in \mathbb{H}:y\ge B\}=[0,1]\times [B,\infty )$$

$${\mathcal{C}}_{j,B}:={\sigma }_j^{-1}\left([0,1]\times [B,\infty )\right)\subset \overline{F}.$$

$$F_B:=\overline{F}-\bigcup _{j=1}^q{\mathcal{C}}_{j,B}.$$

$$E^{(j)}(z,s):=E_0^{(j)}(z,s):=\sum _{\sigma \in {\Gamma }_j\backslash \Gamma }(\mathrm{Im}({\sigma }_j\sigma z){)}^{s}E(z,s):=E^{(1)}(z,s):=E_0^{(1)}(z,s).$$

$$E_0^{(j)}(z,r+it)={\delta }_{j1}{y}^{r+it}$$

$$+\sum _{n\ne 0}{\psi }_{n,j}(r+it)\sqrt{y}{K}_{r-1/2+it}(2\pi |n|y)e^{2\pi inx}$$

$$\sum _{1\le |n|\le N}|c_n{|}^2=O\left(e^{|t|\pi }(N+|t|)\right)\left\{\omega (t)+{\left(|t|+\frac{N}{|t|}\right)}^{2r-1}\right\},$$

$${\int }_{-T}^T\omega (R)\mathrm{d}R=O(T^2)$$

$$E_0^{(j)}(z,r+it)=$$

$$\{\begin{array}{ll}{\delta }_{j1}{y}^{1/2+it}+O(y^{1/2})+O\left(y^{-1/2-\epsilon }\sqrt{\omega (t)}|t{|}^{1+\epsilon }\right)& \text{ if }r=\frac{1}{2}\text{ and }0<y<1\\ {\delta }_{j1}{y}^{r+it}+O(y^{1-r})+O(y^{1-r})\left({\left(\frac{|t|}{y}\right)}^{r+1/2}+\frac{|t|}{y}\sqrt{\omega (t)}\right)& \text{ if }1\ge r>\frac{1}{2}\text{ and }0<y<1\\ {\delta }_{j1}{y}^{r+it}+O(y^{1-r})+O\left({\left(\frac{|t|}{y}\right)}^{2r-1/2}+{\left(\frac{|t|}{y}\right)}^r\sqrt{\omega (t)}\right)& \text{ if }\frac{3}{2}\ge r>1\text{ and }0<y<1\\ {\delta }_{j1}{y}^{1/2+it}+O(y^{1/2})+O\left(|t{|}^{1+\epsilon }\sqrt{\omega (t)}\right)& \text{ if }r=\frac{1}{2}\text{ and }1\le y\le \frac{|t|}{2}\\ {\delta }_{j1}{y}^{r+it}+O(y^{1-r})+O\left(|t{|}^{r+1/2}+|t|\sqrt{\omega (t)}\right)& \text{ if }1\ge r>\frac{1}{2}\text{ and }1\le y\le \frac{|t|}{2}\\ {\delta }_{j1}{y}^{r+it}++O(y^{1-r})+O\left(|t{|}^{2r-1/2}+|t{|}^r\sqrt{\omega (t)}\right)& \text{ if }\frac{3}{2}\ge r>1\text{ and }1\le y\le \frac{|t|}{2}\\ {\delta }_{j1}{y}^{1/2+it}+O(y^{1/2})+O\left(e^{|t|\frac{\pi }{2}-2\pi y}\right)\left(|t{|}^{-1/2+\epsilon }\sqrt{\omega (t)}\right)& \text{ if }r=\frac{1}{2}\text{ and }\frac{|t|}{2}<y\\ {\delta }_{j1}{y}^{r+it}+O(y^{1-r})+O\left(e^{|t|\frac{\pi }{2}-2\pi y}\right)\left(\sqrt{|t|}+\frac{\sqrt{\omega (t)}}{\sqrt{|t|}}\right)& \text{ if }\frac{3}{2}\ge r>\frac{1}{2}\text{ and }\frac{|t|}{2}<y\end{array}$$

$$E_0^{(j)}(z,r+it)=$$

$$\{\begin{array}{ll}{\delta }_{j1}{y}^{1/2+it}+O(y^{1/2})+O\left(e^{|t|\frac{\pi }{2}-2\pi y}\right)\left(y^{-1}|t{|}^{1/2+\epsilon }\sqrt{\omega (t)}\right)& \text{ if }r=\frac{1}{2}\text{ and }\frac{|t|}{2}<y\\ {\delta }_{j1}{y}^{r+it}+O(y^{1-r})+O\left(e^{|t|\frac{\pi }{2}-2\pi y}\right)\left(y^{-1}\left(|t{|}^{3/2}+\sqrt{|t|\omega (t)}\right)\right)& \text{ if }\frac{3}{2}\ge r>\frac{1}{2}\text{ and }\frac{|t|}{2}<y\end{array}$$

$$E_0(z,1/2+it)=y^{1/2+it}+O(y^{1/2})+O(y^{-1/2}+t^{3/8+\epsilon }).$$

$$\nu :=r+it$$

$$K_{\nu }(z)=\frac{1}{2}{\int }_{-\infty }^{\infty }{e}^{-z\cosh R-\nu R}\mathrm{d}R=\frac{1}{2}{\int }_{-\infty }^{\infty }{e}^{-z\cosh R+\nu R}\mathrm{d}R$$

$$K_{\nu }(y)=\frac{1}{2}{\int }_{-\infty }^{\infty }{e}^{-y\phi (R)}{e}^{rR}\mathrm{d}R$$

$$\phi (R):=\cosh R-iR\sin \theta .$$

Full text

As an application of these estimates, we give bounds on the weight-zero (real-analytic) Eisenstein series $E_{0}^{(j)}(z,r+it)$ for each inequivalent cusp $\kappa_{j}$ when $1/2\leq r\leq 3/2$.

The author was supported by EPSRC grant EP/T005130/1.

1. 1 Introduction

2. 1.1 Statement of results

3. 1.2 Outline of paper

4. 2 Bounds for $K_{\nu}(y)$ where $\operatorname{Im}(\nu)$ large, $\operatorname{Re}(\nu)$ bounded, and $y$ is real and positive

5. 2.1 First case: $y\geq t\geq 0$

6. 2.2 Second case: $0<y<t$

7. 3 Uniform bounds for $K_{\nu}(y)$ where $\operatorname{Im}(\nu)$ large, $\operatorname{Re}(\nu)$ bounded, and $y$ is real and positive near coalescing saddle points

8. 3.1 First case: $y\geq t\geq 0$

9. 3.2 Second case: $0<y<t$

10. 4 Bounds for $K_{r-1/2+it}(y)$ for $0<y<1$ and $1/2\leq r\leq 3/2$

11. 5 Eisenstein series

12. 5.1 Bounds on the Fourier coefficients of Eisenstein series

13. 5.2 Bounds on Eisenstein series

1. Introduction

The $K$-Bessel function, $K_{r+it}(y)$, (see 4.1 for the definition) appears in a number of ways in mathematics such as in the Fourier expansion of Eisenstein series (for background on Eisenstein series, see [14] for example), and these series are important automorphic functions (namely, functions invariant under a cofinite Fuchsian group) because they are eigenfunctions of the non-Euclidean Laplacian (i.e. the operator $D:=y^{2}\left(\frac{\partial^{2}}{\partial x^{2}}+\frac{\partial^{2}}{\partial y^{2}}\right)$).111Other names for the $K$-Bessel function also exist in the literature such as, for example, the Macdonald-Bessel function, the modified Bessel function of the second kind and the modified Bessel function of the third kind. In this paper, we will produce bounds for $K_{r+it}(y)$ in the novel case of positive, real argument $y$ and of large complex order $r+it$ where $r$ is bounded and $t$ varies linearly with $y$ in all possible ways. In particular, we compute the dominant term of the asymptotic expansion of $K_{r+it}(y)$ as $y\rightarrow\infty$ for the two cases $t=y\sin\theta$ for a fixed parameter $0\leq\theta\leq\pi/2$ (Theorem 1.1) or $t=y\cosh\mu$ for a fixed parameter $\mu>0$ (Theorem 1.3). (The case $t<0$ is also handled as Remark 2.1 shows.) Note that, thus, our result is for $y$ and $t$ both approaching infinity. Except for the case of $\theta=\pi/2$, we prove Theorems 1.1 and 1.3 using Laplace’s method (see [17, Page 127, Theorem 7.1] or [16] for example) in Section 2.

Theorems 1.1 and 1.3 are nonuniform results. In the case where $t$ and $y$ are nearly equal, we will find that there are two relevant saddle points. When $t/y$ approach $1$, the two saddle points coalesce and these results go to infinity. Consequently, a uniform result in this case is highly desirable. We give such a uniform result (Theorems 1.5 and 1.6) in Section 3. The uniform result is important not only for the completeness of the estimates for the $K$-Bessel function but also for applications.

One such application for estimates on $K$-Bessel functions is the study of Eisenstein series. As an application of our results, we will, in Section 5, give bounds on the weight-zero Eisenstein series $E_{0}^{(j)}(z,r+it)$ for each inequivalent cusp $\kappa_{j}$ when $1/2<r\leq 3/2$. (For the case $r=1/2$, we will use known estimates on the $K$-Bessel function, $K_{it}(y)$, to give bounds on the Eisenstein series, $E_{0}^{(j)}(z,1/2+it)$.) Already, our nonuniform results suffice to give bounds on the Fourier coefficients of these Eisenstein series (Theorem 1.10) when $1/2<r\leq 3/2$. However, to bound the Eisenstein series themselves (Theorem 1.12), it is necessary, when $1/2<r\leq 3/2$, to use our uniform results.

1.1. Statement of results

Let $\nu:=r+it$. Our first two results (Theorems 1.1 and 1.3) together give an asymptotic for $K_{\nu}(y)$ for large order but bounded $r$ (so $|t|$ grows to infinity) and positive, real argument $y$. There are two cases: $y\geq t\geq 0$ (Theorem 1.1) and $0<y<t$ (Theorem 1.3). When $t<0$, see Remark 2.1.

We note that more terms of the asymptotic expansions found in Theorems 1.1, 1.3, 1.5, and 1.6 could be computed using the techniques in this paper; however, these computations quickly become tedious and are omitted.

Theorem 1.1**.**

Let $M\geq 0$ and $0\leq\theta\leq\pi/2$ be fixed real numbers. Let $|r|\leq M$, $0<y\in\mathbb{R}$, and

[TABLE]

Then

[TABLE]

as $y\rightarrow\infty$. Here, the implied constants depend on $\theta$ and $M$ for the case $0\leq\theta<\frac{\pi}{2}$ and on $M$ for the case $\theta=\frac{\pi}{2}$.

Remark 1.2*.*

In the special case of purely imaginary order, our result agrees with standard results. As examples, see [9, Page 87 (18)] and [5, (14)] for the case $0<\theta<\frac{\pi}{2}$ and [21, Pages 78, 247] and [5, (14)] for the case $\theta=\frac{\pi}{2}$. Also, note that the $\Gamma$ in the statement of the theorem refers to the gamma function.

Theorem 1.3**.**

Let $M\geq 0$ and $\mu>0$ be fixed real numbers. Let $|r|\leq M$, $0<y\in\mathbb{R}$, and

[TABLE]

Then

[TABLE]

as $y\rightarrow\infty$. Here, the implied constants depend on $\mu$ and $M$.

Remark 1.4*.*

Since $y\sinh\mu=\sqrt{t^{2}-y^{2}}$ and $\mu=\cosh^{-1}\left(\frac{t}{y}\right)$ hold, our result, in the special case of purely imaginary order, reduces to the standard result for purely imaginary order (see [9, Page 88 (19)] for example), namely:

[TABLE]

as $y\rightarrow\infty$.

Our next two results (Theorems 1.5 and 1.6) give a uniform asymptotic for $K_{\nu}(y)$ for large order but bounded $r$ and positive, real argument $y$ in the case where $t$ and $y$ are nearly equal (or equal). Here, there are also two cases: $y\geq t\geq 0$ (Theorem 1.5) and $0<y<t$ (Theorem 1.6). When $t<0$, see Remark 2.1. Note that $\operatorname{Ai}(\cdot)$ is the Airy function.

Theorem 1.5**.**

Let $M\geq 0$ and $0<\theta\leq\frac{\pi}{2}$ be real numbers. Let $|r|\leq M$, $0<y\in\mathbb{R}$, and

[TABLE]

Then there exists a (small) $\theta_{0}>0$, which does not depend on $t$ or $y$, such that, for all $\frac{\pi}{2}-\theta_{0}\leq\theta\leq\frac{\pi}{2}$, we have

[TABLE]

as $y\rightarrow\infty$. Here $\zeta=\left[\frac{3}{2}\left(\theta\sin\theta+\cos\theta-\frac{\pi}{2}\sin\theta\right)\right]^{2/3}$ is a nonnegative real number and the implied constants depend on $\theta_{0}$ and $M$.

Theorem 1.6**.**

Let $M\geq 0$ and $\mu\geq 0$ be real numbers. Let $|r|\leq M$, $0<y\in\mathbb{R}$, and

[TABLE]

Then there exists a (small) $\mu_{0}>0$, which does not depend on $t$ or $y$, such that, for all $0\leq\mu\leq\mu_{0}$, we have

[TABLE]

as $y\rightarrow\infty$. Here $\zeta=-\left[\frac{3}{2}\left(\mu\cosh\mu-\sinh\mu\right)\right]^{2/3}$ is a nonpositive real number and the implied constants depend on $\mu_{0}$ and $M$.

Remark 1.7*.*

We make a few observations.

1. (1)

When $r=0$, our result agrees with the standard result by Balogh [3]. To see this, let us use $\widetilde{\zeta}$ to denote $\zeta$ from [3] to distinguish it from our use of $\zeta$. For the first case, letting $\widetilde{\theta}=\theta-\pi/2$, we note that $\sec^{-1}(\sec\widetilde{\theta})=-\widetilde{\theta}$ as $\widetilde{\theta}<0$, which yields via a short computation that $\zeta=\widetilde{\zeta}\cos^{2/3}\widetilde{\theta}$. As $y\cos\widetilde{\theta}=t$, the agreement follows. For the second case, we note that $\sec^{-1}(1/\cosh\mu)=\cos^{-1}(\cosh\mu)=i\mu$, which yields the nonpositive real number $\zeta=\widetilde{\zeta}\cosh^{2/3}\mu$ and agreement. 2. (2)

The expressions are defined when $\theta\rightarrow\frac{\pi}{2}$ and when $\mu\rightarrow 0$ by Taylor approximation. 3. (3)

When $r\neq 0$, there are order $y^{-2/3}$ terms, unlike when $r=0$.

We also give a result for small $y$, which will be applied in the computation of our bounds for the Eisenstein series.

Proposition 1.8**.**

For $3/2\geq r\geq 1/2$, $|t|\geq t_{0}$, and $0<y<1$, we have

[TABLE]

where the implied constant depends only $t_{0}$ and is uniformly bounded for all large enough $t_{0}$.

Remark 1.9*.*

Here, $t_{0}\geq 1$ is chosen to be a fixed large constant (large enough to use the first term in the Stirling asymptotic series for the gamma function for the approximation in the proof of the proposition below).

Let $z:=x+iy,s:=r+it\in\mathbb{C}$. As an application of our above results, we compute bounds on the Eisenstein series for large enough $|t|$. Let $G:=\operatorname{PSL}_{2}(\mathbb{R})$, $\Gamma\subset G$ be a cofinite Fuchsian group, and $\mathbb{H}$ be the upper-half plane model of the hyperbolic plane (i.e. with the Poincare metric). The group $G$ acts transitively on the left of $\mathbb{H}$ via Möbius transformations and, moreover, these actions are orientation-preserving isometries. We assume that $\Gamma\backslash\mathbb{H}$ has at least one cusp, that one of these cusps is located at $\infty$, and that the cusp $\kappa_{1}:=\infty$ (called the standard cusp) has stabilizer

[TABLE]

in $\Gamma$. As $\Gamma_{\infty}$ acts on the unit strip $[0,1]\times(0,\infty)$ to tesselate $\mathbb{H}$, the quotient group $\Gamma_{\infty}\backslash\Gamma$ tessellates the unit strip so as to agree with the tessellation of $\mathbb{H}$ given by $\Gamma$ and we have a canonical222See [10, Chapter 6, Page 5] for the definition of canonical. fundamental domain $F$ that extends to infinity for the $\Gamma_{\infty}\backslash\Gamma$ action—to determine $F$, let the real part of the points of $F$ range between [math] and $1$, inclusive of [math]. Often we will consider the topological closure $\overline{F}$.

There are, in general, a finite number of inequivalent cusps $\{\kappa_{j}\}_{j=1}^{q}\subset\mathbb{R}\cup\{\infty\}$, and the stabilizer in $\Gamma$ of a cusp $\kappa_{j}$ is a parabolic subgroup $\Gamma_{j}$ (see, for example, [10, Chapter 6] for the definition of inequivalent cusps). For each inequivalent cusp, we choose $\sigma_{j}\in G$ such that $\sigma_{j}(\kappa_{j})=\infty$, namely taking the cusp $\kappa_{j}$ into the standard cusp. (We always choose $\sigma_{1}$ to be the identity.) Note that $\sigma_{j}$ is not in $\Gamma$ for any $j\in\{2,\cdots,q\}$. By modifying $\sigma_{j}$ for $j\in\{2,\cdots,q\}$, we can ensure that

[TABLE]

holds for all $j\in\{1,\cdots,q\}$ and for all $B\geq B_{0}>1$ (see [18, (2.2)] or [10, Page 268]). Here $B_{0}$ is a fixed constant depending only on $\Gamma$. Let us denote the $j$-th cuspidal region in $\overline{F}$ by $\mathscr{C}_{j,B}$:

[TABLE]

And define the bounded region of $\overline{F}$ by

[TABLE]

There is an Eisenstein series $E^{(j)}(z,s)$ of weight [math] for each inequivalent cusp [10, Definition 3.5, page 280]:

[TABLE]

The Fourier expansion at the standard cusp is the following (see  [15, Lemma 2.6] or [10, Page 280] for example):

[TABLE]

where $\varphi_{j1}(r+it)$ is an element in the scattering matrix $\Phi(r+it)=(\varphi_{jk}(r+it))$ (cf. [10, Chapter 8]) and $\psi_{n,j}(r+it)$ are the Fourier coefficients. Since $E^{(j)}_{0}(z,r+it)$ has no poles for $|t|\geq 1$ (see [14] and [18]), let $c_{n}:=\psi_{n,j}(r+it)$.

We first give a bound on the Fourier coefficients of the Eisenstein series, the proof of which only requires our nonuniform bounds on the $K$-Bessel function (Theorem 1.3 in particular).

Theorem 1.10**.**

Let $t_{0}\geq B_{0}$ be a large constant. For $N\geq 1$, $3/2\geq r>1/2$, and $|t|\geq t_{0}$, we have

[TABLE]

where the implied constant depends only on the lattice subgroup $\Gamma$ and $t_{0}$.

Remark 1.11*.*

Note that [18, Proposition 4.1] gives a bound for the case of $r=\frac{1}{2}$. Here, $\omega(t)$ denotes the spectral majorant function whose properties are $\omega(-R)=\omega(R)\geq 1$ and

[TABLE]

as $|T|\rightarrow\infty$ [10, Pages 161, 299, 315]. The implied constant depends only on the lattice subgroup $\Gamma$.

Finally, we give a bound on the Eisenstein series themselves, the proof of which requires our bounds on the Fourier coefficients and on the $K$-Bessel function. Note that our uniform bound for the $K$-Bessel function is essential here.

Theorem 1.12**.**

Let $j\in\{1,\cdots,q\}$, $t_{0}\geq B_{0}$ be a large constant, $|t|\geq t_{0}$, $\frac{3}{2}\geq r\geq\frac{1}{2}$, $y>0$, and $\varepsilon>0$. Then, we have

[TABLE]

where the implied constants depend only on the lattice subgroup $\Gamma$ and $t_{0}$.

Remark 1.13*.*

For $\frac{|t|}{2}<y$, we have an alternative formulation of the theorem:

[TABLE]

These bounds on the Eisenstein series give the following corollary:

Corollary 1.14**.**

Let $j\in\{1,\cdots,q\}$, $t_{0}\geq B_{0}$ be a large constant, $|t|\geq t_{0}$ and $\frac{3}{2}\geq r\geq\frac{1}{2}$. Then, as $y\rightarrow\infty$, $E^{(j)}_{0}(z,r+it)$ decays exponentially (like $y^{-1}e^{-2\pi y}$) to the constant term of its Fourier expansion at a cusp.

Proof.

The result is immediate for the Fourier expansion at the standard cusp. For the Fourier expansion at other cusps, the analog of Theorem 1.12 holds with analogous proof. This gives the desired result. ∎

Remark 1.15*.*

We now compare our bounds for the Eisenstein series with those of others.

1. (1)

For $r>1$ and $t\in\mathbb{R}$, it can be shown that $E^{(j)}_{0}(z,r+it)=\delta_{j1}y^{r+it}+O(y^{1-r})+O((1+y^{-r})e^{-2\pi y})$ where the later implied constant depends on $t$ (and the lattice $\Gamma$) [12, Corollary 3.5]. Our bound, however, makes the $t$ dependance (for $|t|\geq t_{0}$) explicit. Also, as $y\rightarrow\infty$, our result gives faster decay ($y^{-1}e^{-2\pi y}$ versus $e^{-2\pi y}$) to the constant term of the Fourier expansion. 2. (2)

For $r=1/2$, there has been some recent interest on bounds for the Eisenstein series. In particular, the sup-norm problem for certain eigenfunctions has had much interest (see [13, 4, 20] for example). Specifically, for Eisenstein series, there are recent results in [23, 11, 2] of which the most relevant for us is the result by Huang and Xu (generalizing the earlier result of Young) for the modular group $\Gamma=\operatorname{PSL}_{2}(\mathbb{Z})$ [11, Theorem 1.1]:

[TABLE]

(As $\Gamma=\operatorname{PSL}_{2}(\mathbb{Z})$ has only one cusp, we have dropped the superscript notation in the Eisenstein series.) Note that the bound on the Eisenstein series given by Huang and Xu does not decay exponentially to the constant term of its Fourier expansion as $y\rightarrow\infty$. Our bound, however, has this exponential decay.

1.2. Outline of paper

Section 2 is devoted to the proof of Theorems 1.1 and 1.3. Section 3 is the devoted to the prove of Theorems 1.5 and 1.6. Section 4 gives a proof of Proposition 1.8. Finally, Section 5 gives a proof Theorems 1.10 and 1.12.

Acknowledgements

I would like to thank one of the referees for pointing me to Laplace’s method and all of the referees for their comments.

2. Bounds for $K_{\nu}(y)$ where $\operatorname{Im}(\nu)$ large, $\operatorname{Re}(\nu)$ bounded, and $y$ is real and positive

For background on asymptotic expansions, see [7] (especially Chapter 7) for example. The saddle points and paths of steepest descent for the function $K_{it}(y)$ (i.e. purely imaginary order) have been obtained by N. M. Temme [19]. The saddle points and paths of steepest descent for our function $K_{\nu}(y)$ are the same as we now show. In addition, we give a proof of the dominant behavior.

In this section (Section 2), let us set

[TABLE]

where $r,t\in\mathbb{R}$. An integral representation for $K_{\nu}(z)$ (see [21, Page 182 (7)] for example) is

[TABLE]

where $z\in\mathbb{C}\backslash\{0\}$ such that $|\arg(z)|<\frac{\pi}{2}$. There are two cases: $y\geq t\geq 0$ and $0<y\leq t$.

Remark 2.1*.*

Note that if $t<0$, then applying (2.1) allows us to be in one of these two cases.

2.1. First case: $y\geq t\geq 0$

Proof of Theorem 1.1.

Let us first consider the case $0<\theta<\pi/2$. Using (2.1), we have

[TABLE]

where

[TABLE]

The saddle points (values of $R$ for which $\varphi^{\prime}(R)=0$) are as follows [19] (see also [5, Section 2.1] ):

[TABLE]

Let us now write $R=u+iw$ and thus we have

[TABLE]

The path of steepest descent through the saddle point $R_{0}=i\theta$ is given by $\operatorname{Im}(-\varphi(R))=\operatorname{Im}(-\varphi(R_{0}))$ and is the following curve [19]:

[TABLE]

We remark that $w^{\prime}(0)=0$ and that $w^{\prime}(u)$ is bounded over all $-\infty<u<\infty$.

We will apply Laplace’s method, which can be found at [17, Page 127, Theorem 7.1]. Using (2.2), the path of steepest descent as the integration path used in Laplace’s method, and $R_{0}=i\theta$ as the saddle point, we see that assumptions (i) – (iv) of Laplace’s method is satisfied.

It remains to show that the final condition (v) is also satisfied. We know that the integration path is a path of steepest descent because along it $\operatorname{Im}(\varphi(u+iw))$ is constant and, when $u\rightarrow\pm\infty$, we have that $\operatorname{Re}(\varphi(u+iw))\rightarrow\infty$. As $R_{0}$ is the only saddle point lying on the path of steepest descent, then $R_{0}$ is a global minimum on the path (see [7, Page 66]). Thus, condition (v) is satisfied and we may apply Laplace’s method to obtain the desired result.

The case $\theta=0$ is a simplification of the case $0<\theta<\pi/2$.

Let us now consider the case $\theta=\pi/2$ (or, equivalently, $t=y$). Apply [21, Page 78 (8) and Page 247 (5)] to obtain

[TABLE]

as $y\rightarrow\infty$. Simplifying gives the desired result for the case $\theta=\pi/2$.

This gives the desired result in all cases.

∎

2.2. Second case: $0<y<t$

Let define the constant $\mu>0$ by $t=y\cosh\mu$ and the function

[TABLE]

We start by finding the saddle points and a suitable path.

Using (2.1), we have

[TABLE]

where

[TABLE]

The saddle points (values of $R$ for which $\phi^{\prime}(R)=0$) are as follows [19] (see also [5, Section 2.1] ):

[TABLE]

Let us now write $R=u+iw$ and thus we have

[TABLE]

The paths of steepest descent/ascent through the saddle points $R^{\pm}_{k}$ is given by $\operatorname{Im}(-\phi(R))=\operatorname{Im}(-\phi(R^{\pm}_{k}))$ and is the following family of curves [19]:

[TABLE]

We use only the parts of these curves as shown in [19, Figure 3.3], which we will refer to as the path of steepest descent. Notice that this path is the union of two branches $\mathcal{L}^{-}\cup\mathcal{L}^{+}$, separated by the imaginary axis, where

[TABLE]

What is important about this path is that, on both of the branches, the function $y\phi(R)$ has constant imaginary part, namely

[TABLE]

for $\mathcal{L}^{+}$ and $\mathcal{L}^{-}$, respectively.

Proof of Theorem 1.3.

We will use Laplace’s method, which can be found at [17, Page 127, Theorem 7.1].

Using (2.3), we note that the integral representation is the correct form to apply Laplace’s method. We will use what we called the path of steepest descent as the path of integration; see [19, Figure 3.3] for the graph. We split this path of integration into two parts, the first from $-\infty$ to $i\infty$ and the second from $i\infty$ to $\infty$. We apply Laplace’s method separately to the two integration paths and, by the Cauchy-Goursat theorem, add the results together. Let us first consider the integration path from $i\infty$ to $\infty$. We see that conditions (i) – (iv) of Laplace’s method are satisfied.

It remains to show that the final condition (v) is also satisfied. We know that the integration path is a path comprised of steepest descent/ascent pieces because along it $\operatorname{Im}(\phi(u+iw))$ is constant and, when $u\rightarrow\infty$, we have that $\operatorname{Re}(\phi(u+iw))\rightarrow\infty$. As $R^{+}_{0}$ is a saddle point lying on the path, then $R^{+}_{0}$ is a local minimum on the path and, moreover, other local minima occur at the other saddle points (see [7, Page 66]), which for us are $R^{+}_{k}$ where $k\in\mathbb{N}$. Directly computing, we see that $\operatorname{Re}(\phi(R^{+}_{k})>\operatorname{Re}(\phi(R^{+}_{0})$ for all $k\in\mathbb{N}$. Hence, $R^{+}_{0}$ gives the global minimum. Thus, condition (v) is satisfied and we may apply Laplace’s method to obtain

[TABLE]

as $y\rightarrow\infty$ where $\phi(R)=\cosh R-iR\cosh\mu$ and

[TABLE]

evaluated at $R^{+}_{0}$. Computing, we have that the contribution from this part of the path of integration to the dominant term is the following:

[TABLE]

Likewise, for the other part of the path of integration, Laplace’s method gives

[TABLE]

Here the saddle point which gives the global minimum is $R^{-}_{0}$ and the other saddle points $R^{-}_{k}$ where $k\in\mathbb{N}$ are larger and can be ignored as before.

Adding these two parts together yields the desired dominant term of the asymptotic expansion for $K_{\nu}(y)$. This gives the desired result.

∎

3. Uniform bounds for $K_{\nu}(y)$ where $\operatorname{Im}(\nu)$ large, $\operatorname{Re}(\nu)$ bounded, and $y$ is real and positive near coalescing saddle points

Already, when $r=0$, C. Balogh computed a uniform asymptotic expansion which is valid for all cases including the case of two nearby saddle points [3]. Balogh used a technique involving differential equations, but it is not clear that such a technique will work when $r$ is no longer zero. We will use another technique, developed by C. Chester, B. Friedman, and F. Ursell [6], which will yield the uniform dominant and next dominant terms for the case where $t$ and $y$ are nearly equal (or equal) and $r$ bounded.

3.1. First case: $y\geq t\geq 0$

We prove Theorem 1.5 in this section. Let

[TABLE]

Then we have that

[TABLE]

The path of steepest descent has been obtained by N. M. Temme [19, Figure 2.1] and the saddle points (values of $R$ for which $F^{\prime}(R)=0$) that are relevant are $R_{0}:=i\theta$ and $R_{1}:=i(\pi-\theta)$. Note that $R_{0}$ and $R_{1}$ are close in the complex plane when $\theta$ is close to $\pi/2$. The technique used to estimate the $K$-Bessel function in Theorems 1.1 and 1.3 depends on the distance between $R_{0}$ and $R_{1}$ and, hence, does not yield a uniform estimate.

To use the Chester-Friedman-Ursell technique, let us introduce

[TABLE]

where $2^{1/3}(1-\cos\widetilde{\theta})$ assumes the role of the parameter $\alpha$ from the Chester-Friedman-Ursell technique (see [6, (3.2)]). Under the change of variable from $R$ to $S$, the integral becomes

[TABLE]

and the relevant saddle points become

[TABLE]

We will represent $F(i\pi/2-i2^{1/3}S,\widetilde{\theta}+\pi/2)$ by the cubic [6, (2.1)]

[TABLE]

where, under this representation, the saddle points correspond as follows:

[TABLE]

By substitution in (3.4), we have

[TABLE]

which yields

[TABLE]

Here, we have taken the branch of $\zeta(\widetilde{\theta})$ required by the Chester-Friedman-Ursell technique (see the top of page 603 in [6]). (And thus $\zeta(\widetilde{\theta})$ are positive real numbers.) Note that

[TABLE]

Locally, the representation is analytic in $u$ which yields [6, (2.2)]

[TABLE]

Note that $-\widetilde{\theta}\geq 0$. For small enough $-\widetilde{\theta}$ (independent of $y$ and $t$) [6, Lemma], we have that the dominant term of the asymptotic expansion of $K_{\nu}(y)$ is [6, (5.2 – 5.4), Theorem 2]

[TABLE]

and the next term is

[TABLE]

We now compute $p_{0}(\widetilde{\theta})$ and $q_{0}(\widetilde{\theta})$. Taking first and second derivatives in (3.4), we have

[TABLE]

Substituting the two saddle points into the second derivative equation yields

[TABLE]

We now wish to determine the signs of square roots of these two expressions. The Chester-Friedman-Ursell technique gives us that our representation is locally uniformly analytic in $S$ and $\widetilde{\theta}$, and thus we may take the limits $S\rightarrow 0$ and $\widetilde{\theta}\rightarrow 0$ in either order in the first derivative equation. Now we have that $S=0\leftrightarrow u=0$ (see the top of page 605 in [6]). Taking first $S\rightarrow 0$, we conclude that

[TABLE]

for all $-\widetilde{\theta}$ small enough.

Now plugging in the two saddle points into (3.5), we solve for $p_{0}(\widetilde{\theta})$ and $q_{0}(\widetilde{\theta})$:

[TABLE]

Thus, the desired dominant term and the next dominant term, respectively, are

[TABLE]

Finally, to finish the first case, we need to show that outside of a small enough neighborhood of the two saddle points, the integral is negligible (see [6, Section 5]). It is a routine calculation to see that, outside of the small enough neighborhood of the two saddle points, the integral is on the order of $e^{-t\widetilde{\alpha}}$ for some $\widetilde{\alpha}>\pi/2$. This concludes the proof of the first case, namely Theorem 1.5.

3.2. Second case: $0<y<t$

We prove Theorem 1.6 in this section. Let

[TABLE]

Using (2.1), we have

[TABLE]

The paths of steepest descent/ascent has been obtained by N. M. Temme [19], and the saddle points that are relevant are $R_{0}:=\mu+i\pi/2$ and $R_{1}:=-\mu+i\pi/2$.

It is a routine calculation to see that, outside of a small enough neighborhood of the two saddle points, the integral is on the order of $e^{-t\widetilde{\alpha}}$ for some $\widetilde{\alpha}>\pi/2$ and, thus, negligible. To finish, we compute the dominant term and the next dominant term using the Chester-Friedman-Ursell technique. Changing variables

[TABLE]

in (3.7), we obtain (3.2) and the relevant saddle points become (3.3). Now we have essentially transformed the second case into the first case. There are a few minor differences, which we now state. When $\mu>0$, the parameter $2^{1/3}(1-\cos\widetilde{\theta})$ is a negative real number, and thus the Chester-Friedman-Ursell technique requires us to take the branch of $\zeta(\widetilde{\theta})$ for which it is a negative real number. Thus, $\frac{\zeta^{1/2}}{\sin(-\widetilde{\theta})}$ is a positive real number and the sign of $\sqrt{\frac{2^{1/3}\zeta^{1/2}}{\sin(-\widetilde{\theta})}}$ is determined in a similar way. Thus, we obtain the dominant and next dominant terms in (3.6). This concludes the proof of the second case, namely Theorem 1.6.

4. Bounds for $K_{r-1/2+it}(y)$ for $0<y<1$ and $1/2\leq r\leq 3/2$

Finally, we give an estimate of $K_{r-1/2+it}(y)$ for small positive real argument. Recall that we pick $t_{0}\geq 1$ to be a fixed large constant (large enough to use the first term in the Stirling asymptotic series for the gamma function for the approximation below).

Proof of Proposition 1.8.

Since we need only need a bound for small $y$, it suffices to adapt the bound for purely imaginary order from [5, Section 3.1]. It is well-known (see [21, Page 78, (6), Page 77, (2)] for example) that the $K$-Bessel function is defined as

[TABLE]

where $I_{\nu}(z)$ is the modified Bessel function of the first kind

[TABLE]

(The $\Gamma$ here is the gamma function, not the lattice subgroup.)

We would like to bound $K_{r-1/2+it}(y)$. An elementary identity gives a lower bound for

[TABLE]

for all $t$.

Taking the first term of the Stirling asymptotic series for the gamma function, we have

[TABLE]

where $R(s)=o(|s|^{-1})$. Hence, we have

[TABLE]

where the constant $0<C$ depends only on $t_{0}$. Note that, since $r+1/2+m>0$, we have that $0\leq\arg(r+1/2+m+it)\leq\pi/2$ for $t>0$ and $-\pi/2\leq\arg(r+1/2+m+it)\leq 0$ for $t<0$. Likewise, we have

[TABLE]

Now, for $0<y<2$, we have that $\sum_{m=0}^{\infty}(y/2)^{2m}\leq 4/(4-y^{2})$. All of this now implies that

[TABLE]

where $\widetilde{C}$ depends only on $t_{0}$ and is uniformly bounded for all large enough $t_{0}$. This is the desired result.

∎

5. Eisenstein series

5.1. Bounds on the Fourier coefficients of Eisenstein series

Using our result on the asymptotics of the $K$-Bessel function, we now give the proof of Theorem 1.10, namely a bound for the sum of the $c_{n}$.

Proof of Theorem 1.10.

The proof is an adaption of the proof of [18, Proposition 4.1], which is, itself, an adaption of [22, Proposition 5.1]. Let $0<Y<H$ be given and define

[TABLE]

Let $B:=\max(B_{0},H,Y^{-1})$. Since $E^{(j)}_{0}(z,s)$ is automorphic, we can apply exactly the same proof as in [18, Proposition 4.1] to obtain

[TABLE]

where, recall, $F_{B}$ is the bounded part (i.e. with cusps removed) of $\overline{F}$. Let us define the modified Eisenstein series in which we remove the zeroth term of the Fourier expansion:

[TABLE]

By the Maass-Selberg relation [10, Page 301 (3.43), Page 281], we have

[TABLE]

Applying [10, Page 300 (3.38)] yields

[TABLE]

Substituting the Fourier expansion of the Eisenstein series (1.6) in the definition of $J$ and applying Parseval’s formula yields

[TABLE]

Let $Y=|t|/(8\pi N)$ and $H=|t|/(4\pi)$. With this choice, we have

[TABLE]

and, hence,

[TABLE]

Theorem 1.3 now gives that

[TABLE]

Combining, we obtain the desired result:

[TABLE]

∎

5.2. Bounds on Eisenstein series

We now give the proof of Theorem 1.12, namely a bound for the Eisenstein series themselves. Recall that we defined $s:=r+it$.

Lemma 5.1**.**

Fix $M>0$ and $y_{0}>0$. Let $|r|\leq M$ and $y\geq y_{0}$. Then

[TABLE]

where the constant depends only on $M$ and $y_{0}$.

Proof.

When $|R|>(24|r|y^{-1})^{1/3}$, we have that

[TABLE]

and, thus, on the complement, the function $h(R)$ is bounded by a constant $N(M,y_{0})>0$. Using the integral representation (2.1) for the $K$-Bessel function, we have

[TABLE]

The desired result now follows. ∎

The following lemma gives some bounds for the $K$-Bessel function that are convenient for our proof of Theorem 1.12.

Lemma 5.2**.**

Let $|t|\geq t_{0}$. We have

[TABLE]

where the implied constants depend on $t_{0}$ in first, second, and third branches and has no dependance in the fourth branch.

Proof.

For $0<y<1$, apply Proposition 1.8, and, for $y\geq\frac{\pi}{2}|t|$, apply Lemma 5.1.

Let us now consider $|t|\leq y<\frac{\pi}{2}|t|$. Let $\theta_{0}$ be as in Theorem 1.5. For the range $\frac{|t|}{\sin(\pi/2-\theta_{0})}\leq y<\frac{\pi}{2}|t|$, we apply Theorem 1.1 with the observation that $-\sqrt{x^{2}-1}+\arccos(1/x)<0$ for $\frac{\pi}{2}>x>1$ to obtain

[TABLE]

where the implied constant depends only on $t_{0}$. Note that the conclusion of Theorem 1.1 is uniform over all $0<\theta\leq\pi/2-\theta_{1}$ for any $\pi/2>\theta_{1}>0$. For the range $|t|\leq y\leq\frac{|t|}{\sin(\pi/2-\theta_{0})}$, we apply Theorem 1.5 to obtain

[TABLE]

where the implied constant depends only on $t_{0}$.

Finally, let us consider $1\leq y\leq|t|$. Let $\mu_{0}$ be as in Theorem 1.6. For the range $\frac{|t|}{\cosh\mu_{0}}\leq y\leq|t|$, we apply Theorem 1.6 to also obtain (5.1) where, likewise, the implied constant depends only on $t_{0}$. For the range $1\leq y\leq\frac{|t|}{\cosh\mu_{0}}$, we will apply Theorem 1.3 with two observations. The first is that the conclusion

[TABLE]

is also valid as $t\rightarrow\infty$.

The second observation is that the conclusion of Theorem 1.3 is uniform over all positive $\mu$ bounded away from [math], and, hence, is valid for $y>0$ arbitrarily close to [math]. Applying Theorem 1.3 for the range $1\leq y\leq\frac{|t|}{\cosh\mu_{0}}$ yields

[TABLE]

where the implied constant depends only on $t_{0}$. This gives the desired result.

∎

We also have the following bound, which we will use in the proof of Theorem 1.12.

Lemma 5.3**.**

For $3/2\geq r\geq 1/2$, we have $\varphi_{jk}(r+it)$ is uniformly bounded for $|t|\geq 1$.

Proof.

Apply [10, Page 301, (a)]. ∎

Following the proof scheme of [18, Proposition 4.2], we can now bound the Eisenstein series:

Proof of Theorem 1.12.

We now give the proof for $\frac{3}{2}\geq r>\frac{1}{2}$, leaving the proof for $r=\frac{1}{2}$ to the end. Consider three cases: $0<y<1$, $1\leq y\leq\frac{|t|}{2}$, and $\frac{|t|}{2}<y$.

The first case is $0<y<1$. Let us consider the range $\frac{3}{2}\geq r>1$ first. By Lemmas 5.3 and 5.2, we obtain the following upper bound for (1.6):

[TABLE]

where

[TABLE]

Now define

[TABLE]

By the fact that $f(X)$ is continuous and monotonically decreasing, that

[TABLE]

can be written as a telescoping sum, that $S(X)$ is a function of bounded variation on any closed interval, that $S(1/2)=0$, and that $f(X)S(X)\rightarrow 0$ as $X\rightarrow\infty$ (which follows from Theorem 1.10 and the Cauchy-Schwarz inequality), we can apply the definition of the Riemann-Stieltjes integral to obtain the inequality and integration by parts to obtain the equality:

[TABLE]

To bound (5.3), it suffices to estimate $S(X)$ for $X\geq\frac{|t|}{4y}$ using Theorem 1.10 and the Cauchy-Schwarz inequality:

[TABLE]

Using calculus, we obtain

[TABLE]

which yields the desired result for the range $\frac{3}{2}\geq r>1$.

For the desired result in the range $1\geq r>\frac{1}{2}$, replace (5.2) with

[TABLE]

in the proof for the range $\frac{3}{2}\geq r>1$. This proves the first case $0<y<1$.

The second case is $1\leq y\leq\frac{|t|}{2}$. Replace (5.2) with

[TABLE]

In the case $1\leq y\leq\frac{|t|}{2}$, we have that

[TABLE]

which yields

[TABLE]

and the desired result for the second case $1\leq y\leq\frac{|t|}{2}$.

The third case is $\frac{|t|}{2}<y$. For $\frac{3}{2}\geq r>\frac{1}{2}$, replace (5.2) with

[TABLE]

and replace the previous $f(X)$ with

[TABLE]

In the case that $\frac{|t|}{2}<y$, we have that

[TABLE]

where $\gamma(t):=\sqrt{\omega(t)}+|t|$. Then

[TABLE]

holds and the desired result for the third case $\frac{|t|}{2}<y$ now follows by calculus. This completes the proof of the theorem for $\frac{3}{2}\geq r>\frac{1}{2}$.

For $r=\frac{1}{2}$, the proof is analogous to that of $1\geq r>\frac{1}{2}$, except we replace Theorem 1.10 with [18, Proposition 4.1], yielding, for every $\varepsilon>0$, the following estimate for $S(X)$:

[TABLE]

which holds for every $X\geq\frac{1}{2}$. With this change, the proofs of the three cases ($0<y<1$, $1\leq y\leq\frac{|t|}{2}$, and $\frac{|t|}{2}<y$) are analogous. This completes the proof of the theorem.

∎