Integrability of the Fourier transforms of measures concentrated on hypersurfaces (Q903416): Difference between revisions

Let \((S_a)\), \(S_a\subset \mathbb{R}^{n+1}\), be a family of smooth hypersurfaces smoothly depending on a parameter \(a\in \mathbb{R}^n\), and let \(\psi\in C_0^{\infty}(\mathbb{R}^{n+1}\times \mathbb{R}^m)\) be a smooth function with compact support. For fixed \(a\in \mathbb{R}^m\) consider the measure \(d\mu_a(x):=\psi(x,a)\,dS_a\), where \(dS_a\) is the induced Lebesgue measure on~\(S_a\). The Fourier transform of \(d\mu_a\) is given, in the sense of distributions, by \[ \widehat{d\mu_a}(\xi)=\int_{S_a}e^{ix\cdot\xi}\,d\mu_a(x). \] In this paper, the author considers the problem to find the greatest lower bound~\(p_a\) for the set of~\(p\), \(1\leq p\leq\infty\), such that \(\widehat{d\mu_a}\in L^p(\mathbb{R}^{n+1})\). The number~\(p_a\) is the so called \textit{exact integrability exponent} of the Fourier transform of~\(d\mu_a\). The main results that the author states, without a proof, about this problem are the following ones: \(\bigstar\) Assume that the family of analytic hypersurfaces~\((S_a)\) satisfies the conditions: {\parindent=6mm \begin{itemize}\item[i)] The hypersurface \(S_0\) contains the origin of \(\mathbb{R}^{n+1}\) and \(S_0\) has at least \(n-1\) nonzero principal curvatures at \(0\in S_0\). \item[ii)] The Gaussian curvature \(K(x,a)\) of each hypersurface \(S_a\) satisfies\linebreak \(K(\cdot,0)\not\equiv 0\). \end{itemize}} Then there exist a number \(\delta>0\) and a neighborhood~\(U\) of \(0\) in \(\mathbb{R}^m\) such that, for \(p_{\delta}=\max\left\{\dfrac{2(n+1)}{n},\dfrac{(2n-\delta)}{n-1}\right\}\), the Fourier transform~\(\widehat{d\mu_a}\) belongs to \(L^p(\mathbb{R}^{n+1})\) for any \(p>p_{\delta}\) and \(a\in U\). Moreover, for any fixed \(p>p_{\delta}\), the integral \(\int_{\mathbb{R}^{n+1}} |\widehat{d\mu_a}(\xi)|^p\,d\xi\) is uniformly bounded in \(a\in U\). \(\bigstar\) Let now \((S_a)\), \(S_a\subset \mathbb{R}^{n+1}\), be a family of analytic hypersurfaces depending on a parameter \(a\in\Sigma\), where \(\Sigma\subset\mathbb{R}^m\) is a compact set. If for any \(a\in\Sigma\) and \(x\in S_a\cap\text{supp}(d\mu_a)\) the Gaussian curvature \(K(x)\) of \(S_a\) at \(x\) satisfies \(|K(x)|+|\nabla K(x)|\neq 0\), then \(\widehat{d\mu_a}\in L^p(\mathbb{R}^{n+1})\) for any \(p>\frac{2(n+1)}{n}\). Moreover, for any fixed \(p>\frac{2(n+1)}{n}\), the integral \(\int_{\mathbb{R}^{n+1}}|\widehat{d\mu_a}(\xi)|^p\,d\xi\) is uniformly bounded in~\(a\in\Sigma\). The bound \(\frac{2(n+1)}{n}\) for the values of \(p\) is sharp.