Metaplectic representation on Wiener amalgam spaces and applications to the Schrödinger equation (Q2469831)

The authors study the action of metaplectic operators on Wiener amalgam spaces and give upper bounds for their norms. As an application, they obtain fixed-time estimates in these spaces for Schrödinger equations with general quadratic Hamiltonians and Strichartz estimates for the Schrödinger equation with potentials \(V(x)= \pm |x|^{2}\). Let \(J = \left( {0\atop -I_{d}} {I_{d}\atop 0} \right) \in \text{GL}(2d, \mathbb R)\) be the symplectic matrix, then the symplectic group is defined as \( \text{Sp}(d,\mathbb R) = \{G \in \text{GL}(2d, \mathbb R) : G^{T}JG=J\} \). The symplectic algebra \(\text{sp}(d,\mathbb R)\) is the set of all \(2d\times 2d\) real matrices \( {\mathcal A}\) such that \(e^{t {\mathcal A}} \in \text{Sp}(d,\mathbb R)\) for all \(t\in\mathbb R\). The metaplectic or Shale-Weil representation \(\mu\) is a unitary representation of the double cover of the symplectic group \( \text{Sp}(d,\mathbb R)\) on \(L^{2}(\mathbb R ^{d})\). For \(1 \leq p \leq \infty\) we set \({\mathcal F}L^p(\mathbb R ^{d}) = \{f \in {\mathcal S}'(\mathbb R ^{d}) : \exists h \in L^{p}(\mathbb R ^{d}), \hat h =f \}\) endowed with the norm \(\|f\|_{{\mathcal F}L^p(\mathbb R ^{d}) } = \|h\|_{L^{p}(\mathbb R ^{d})}\) \((f = \hat h)\), where \({\mathcal S}'(\mathbb R ^{d})\) is the space of tempered distributions. The Wiener amalgam space of local component \(B\) and global component \(C\) is denoted by \(W(B,C)\). The main abstract result of the paper is the following norm estimate. Theorem. Let \({\mathcal A}=\left( {A\atop C} {B\atop D} \right)\in Sp(d,\mathbb R)\), and \(1\leq p\leq q\leq\infty\). (i) If \(\det B\not=0\), then \[ \|\mu({\mathcal A})f\|_{W({\mathcal F}L^p(\mathbb R ^{d}),L^q(\mathbb R ^{d}))}\lesssim \alpha({\mathcal A},p,q)\|f\|_{W({\mathcal F}L^q(\mathbb R ^{d}),L^p(\mathbb R ^{d}))}, \] where \[ \alpha({\mathcal A},p,q)= |\det B|^{1/q-1/p-3/2}|\det(I+B^*B)(B+iA) (B+iD)|^{1/2}. \] (ii) If \(\det A,\det B\not=0\), then \[ \|\mu({\mathcal A})f\|_{W({\mathcal F} L^1(\mathbb R ^{d}),L^\infty(\mathbb R ^{d}))}\lesssim \beta({\mathcal A})\|f\|_{W({\mathcal F} L^\infty(\mathbb R ^{d}),L^1(\mathbb R ^{d}))}, \] with \[ \beta({\mathcal A})= |\det A|^{-3/2}|\det B|^{-1}|\det(I+A^*A)(B+iA) (A+iC)|^{1/2}. \] If \(A\) or \(B\) are symmetric then the constants \(\alpha({\mathcal A},p,q)\) and \(\beta({\mathcal A})\) can be improved. In particular, for \( {\mathcal A} = \left( {0\atop -I_{d}} {I_{d}\atop 0} \right) \in {sp}(d,\mathbb R)\), \(H_{\mathcal A} = -\frac{1}{4\pi}\Delta + \pi \|x\|^{2}\) and for \(1 \leq r' \leq 2 \leq r \leq \infty\), \(\frac{1}{r} + \frac{1}{r'} = 1\), \[ \|e^{itH_{\mathcal A}} u_0\|_{W({\mathcal F}L^{r'}(\mathbb R ^{d}),L^r(\mathbb R ^{d}))}\lesssim|\sin t|^{-2d\left(\frac{1}{2}-\frac{1}{r}\right)} \|u_0\|_{W({\mathcal F}L^r(\mathbb R ^{d}),L^{r'}(\mathbb R ^{d}))}; \] for \(T>0\) and \(q\) defined by \(\frac{2}{q}+\frac{d}{r}=\frac{d}{2},\) \[ \|e^{itH_{{\mathcal A}}} u_0\|_{L^{{q}/{2}}([0,T]) W({\mathcal F} L^{r^\prime},L^r)_x}\lesssim \|u_0\|_{L^2_x}. \] Similar fixed-time and Strichartz estimates are obtained in the special \( {\mathcal A} = \left( {0\atop I_{d}} {I_{d}\atop 0} \right) \in {sp}(d,\mathbb R)\), \(H_{\mathcal A} =-\frac{1}{4\pi}\Delta - \pi \|x\|^{2}\) case, as well.