Wavelets in Littlewood-Paley space, and Mexican hat completeness (Q629260)

The authors study the completeness of the non-orthogonal Mexican hat wavelet system, in \(L^p\) for \(1<p<2\) and in the Hardy space \(H^p\) for \(2/3<p<1\). Let \(\varphi=\widehat{\Phi}\), \(\psi=\widehat{\Psi}\) and \(\Theta(\xi)=\xi\Phi(\xi)', \Gamma(\xi)=\xi\Phi(\xi)\). Define \[ \Delta(\Phi,\Psi)= \sum_{l \neq 0}\bigg\|\sum_{j\in\mathbb Z}\big|\Phi(\xi a^{-j})\Psi(\xi a^{-j}-l b^{-1})\big|\bigg\|_{L^{\infty}(\mathbb R)}^{1/2} \cdot\bigg\|\sum_{j\in\mathbb Z}\big|\Phi(\xi a^{-j}-l b^{-1})\Psi(\xi a^{-j})\big|\bigg\|_{L^{\infty}(\mathbb R)}^{1/2}. \] Let \(\Delta_*(\Phi, \Psi)=\Delta(\Phi,\Psi)+2\Delta(\Theta, \Psi)+2\Delta(\Gamma,\Psi')\). The main result in theorem 1 reads as follows. Assume \(\Phi, \Psi\in W^{1,2}\cap W^{1,\infty}\) with \(\Phi(0)=\Psi(0)=0\) and \(\Delta_*(\Phi,\Psi)<\infty\), and that their derivatives decay near the origin and infinity according to \[ |\Phi(\xi)'|\lesssim \begin{cases} |\xi|^{\varepsilon}, & |\xi|\leq 1, \\ |\xi|^{-\varepsilon-5/2}, & |\xi|\geq 1, \end{cases} \] and \[ |\Psi(\xi)'|\lesssim \begin{cases} |\xi|^{\varepsilon}, & |\xi|\leq 1,\\ |\xi|^{-\varepsilon-3/2}, & |\xi|\geq 1, \end{cases} \] for some \(\varepsilon>0\). Suppose \(\sum_{j\in\mathbb Z}\overline{\Phi(\xi a^{-j})}\Psi(\xi a^{-j})=1\), a.e. \(\xi\in\mathbb R\). Then \[ \|s\circ t- \text{id}\|_{K^{1,2}_{*}\rightarrow K^{1,2}_{*}}\leq \Delta_{*}(\Phi,\Psi), \] where \((s\circ t)(f)=\sum_{j,k\in\mathbb Z}b\langle f, \varphi_{j,k} \rangle \psi_{j,k}\), \(K^{1,2}_{*}(\mathbb R)=\{f\in K^{1,2}(\mathbb R): \int_{\mathbb R}f(x)=0\}\) and \(K^{1,2}(\mathbb R)=\{f\in L^2(\mathbb R):\|f\|_{K^{1,2}(\mathbb R)}^2=\int_{\mathbb R}(1+4\pi^2 x^2)|f(x)|^2dx<\infty\}\).