Uniform Strichartz estimates on the lattice (Q2423622)

In this paper, the authors investigate the discrete linear Schrödinger equation under some initial condition \[ i\partial_tu+\triangle_hu=0, \quad u(0)=u_0, \] and the discrete linear Klein-Gordon equation \[ \partial_t^2u-\triangle_hu+m^2u=0 \] with initial data \((u(0),\partial_tu(0))=(u_0,u_1)\) on a lattice domain described by \\ \(\mathbb{Z}_h^d=h\mathbb{Z}^d = \{x=hn: \ n\in \mathbb{Z}^d\}\), where \(h>0\) and \(u=u(t,x):\mathbb{R}\times\mathbb{Z}_h^d\to\mathbb{C}\). Here \(\triangle_h\) is the discrete Laplacian defined by a standard basis \(\{e_j\}_{j=1}^d\). Of physical point a view these are harmonic oscillators interacting only with their nearest neighbors. The discrete Schrödinger equation describes periodic optical structures created by coupled identical single-mode linear waveguides. The Strichartz estimates for the discrete Schrödinger equation are obtained by a statement of \textit{A. Stefanov} and \textit{P. G. Kevrekidis} [Nonlinearity 18, No. 4, 1841--1857 (2005; Zbl 1181.35266)]. Uniform Strichartz estimates for a discrete Schrödinger equation have the form \[ \|e^{it\triangle_h}u_0\|_{L_t^q(\mathbb{R};L_h^r)}\leq C\||\nabla_h|^{1/q}u_0\|_{L_h^2}, \tag{*} \] and \[ \biggl\|\int\limits_{0}^{t} e^{i(t-s)\triangle_h}F(s)ds\biggr\|_{L_t^q(\mathbb{R};L_h^r)} \leq C\||\nabla_h|^{1/q+1/\tilde{q}}F\|_ {L_t^{\tilde{q}^{\prime }} (\mathbb{R};L_h^{\tilde{r}^{\prime}})}, \tag{**} \] where \(3/q+d/r=d/2\), \(2\leq q,r\leq\infty \), \((q,r,d)\ne (2,\infty ,3)\). The above estimates (\(^* \)) and (\(^{**}\)) are proved by separating the ``bad'' high frequency part from the ``good'' low frequency part. An improved uniform bound statement is discussed as well, that is, if \(\sup\limits_{h\in(0,1]}\|u_{h,0}\|_{H_h^1}\leq R\), then there exists an interval \(I\subset\mathbb{R}\) such that \(\sup\limits_{h\in(0,1]}\|u_{h}\|_{S^1(I)}<\infty \). Also a global-in-time uniform bound statement is considered. Strichartz estimates for the linear Klein-Gordon equation are included by the statement: ``For one dimensional discrete Schrödinger admissible pair \((q, r)\), there exists a constant \(C\) independent of \(h\) such that \[ \|e^{it\sqrt{1-\triangle_h}}u_0\|_ {L_t^qL_h^r(\mathbb{R}\times\mathbb{Z}_{h})}\leq C\||\nabla_h|^{1/3} \langle\nabla_h\rangle u_0\|_{L_h^2(\mathbb{Z}_h)}. \] It turns out that the case \(d\geq 3\) is an open problem.