Optimal Gabor frame bounds for separable lattices and estimates for Jacobi theta functions (Q323816)

The authors study frame bounds using a Gaussian window function and solve a conjecture on the form of the underlying lattice to find optimal lower and upper bounds for the frame constants. The main result is:NEWLINENEWLINETheorem 2.1. Consider the window function \(g_0(t)=2^{1/4}\exp{(-\pi t^2)}\). Among all separable lattices with \((\alpha\beta)^{-1}\in\mathbb N\) fixed, the square lattice maximizes \(A\) and minimizes \(B\).NEWLINENEWLINEThe following play a role: NEWLINE{\parindent=0.7cmNEWLINE\begin{itemize}\item[1.] Gabor system \({\mathcal G}(g,\Lambda)\) for \(L^2(\mathbb R^d)\), generated by a fixed non-zero window function \(g\in L^2(\mathbb R^d)\), using an index set \(\Lambda\in\mathbb R^{2d}\) and time frequency shift \(\lambda=(x,\omega)\in\mathbb R^d\times\mathbb R^d\) NEWLINE\[NEWLINE\pi(\lambda)g(t)=M_{\omega}T_xg(t)=e^{2\pi i\omega\cdot t}g(t-\lambda),\;x,\omega,\lambda,t\in\mathbb R^d.NEWLINE\]NEWLINE NEWLINE\item[2.] The system \({\mathcal G}(g,\Lambda)\) is a frame if it satisfies the inequalities NEWLINE\[NEWLINEA\| f\|_2^2\leq \sum_{\lambda\in\Lambda}\,|\langle f,\pi (\lambda)g\rangle|^2\leq B\| f\|_2^2,\;\forall f\in L^2(\mathbb R^d). NEWLINE\]NEWLINE NEWLINE\item[3.] The index set \(\Lambda\in\mathbb R^{2d}\) is a lattice if it is genrated by an invertible \(2d\times 2d\) matrix \(S\). NEWLINE\item[4.] The lattice is separable if \(S\) can take the form NEWLINE\[NEWLINES=\begin{pmatrix} \alpha I & 0 \\ 0 & \beta I\end{pmatrix}.NEWLINE\]NEWLINE NEWLINE\item[5.] Fine estimates of the Jacobi theta functions NEWLINE\[NEWLINE\theta_3(s)=\sum_{k=-\infty}^{\infty}e^{-\pi k^2s}, \theta_4(s)=\sum_{k=-\infty}^{\infty}\,(-1)^ke^{-\pi k^2s}.NEWLINE\]NEWLINENEWLINENEWLINE\end{itemize}}