Restriction of the Fourier transform to some oscillating curves (Q667669)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Restriction of the Fourier transform to some oscillating curves |
scientific article |
Statements
Restriction of the Fourier transform to some oscillating curves (English)
0 references
1 March 2019
0 references
Let \(\gamma: I \to \mathbb{R}^{n}\) be a smooth curve and let \(f\) be a Schwartz function on \(\mathbb{R}^{n}\). In this paper one deals with restriction bounds of the form \[ \left(\int_{I}|\hat{f} (\gamma(t))|^{q}w(t)\,dt\right)^{1/q} \leq C\|f\|_{L^{p}(\mathbb{R}^{n})}, \tag{1} \] where \(\hat f\) is the Fourier transform of \(f\), \(C\) is a constant independent of \(f\), and \(p,q\ge 1\). It is natural to take for the weight \(w(t)\) the function \(w(t)=|\tau(t)|^{\frac{2}{n(n+1)}}\) with \(\tau(t)=\det [\gamma'(t),\dotsc,\gamma^{(n)}(t)]\), so that \(\tau(t)\) is the torsion of \(\gamma\). The image of the measure \(|\tau(t)|^{\frac{2}{n(n+1)}}\,dt\) under \(\gamma\) is called the \textit{affine arclength measure} of \(\gamma\). \par When \(\gamma\) is nondegenerate, that is when \(\tau(t)\) is nonvanishing on \(I\), it is known that for \(n=2\) and \(n=3\) the restriction bound (1) holds for \[ 1\leq p <\frac{n^{2}+n+2}{n^{2}+n},\quad 1\leq q\leq \frac{2}{n^{2}+n}\cdot p',\tag{2} \] where \(p'=\frac{p}{p-1}\). The ranges of \(p\) and \(q\) are sharp. \par Here the authors consider the case of \(\gamma\) being a smooth curve of the form \[ \gamma(t)=(t,t^{2},\dotsc,t^{n-1},\phi(t)).\tag {3} \] For these curves one has \(\tau(t)=C\phi^{(n)}(t)\), where \(C>0\) is a dimensional constant. Such curves are called \textit{ simple curves}. In the case \(n=2\), Sjölin obtained sharp uniform bounds for all simple curves with convex \(\phi\). For general simple curves in \(n=2\) defined on compact \(I\), he showed that (1) holds in the whole range (2) if one instead takes \(w(t)=w_{\varepsilon}(t)\), where \[ w_{\varepsilon}(t):= |\tau(t)|^{\frac{2}{n(n+1)}+\varepsilon},\quad \varepsilon > 0. \] The extension to \(n\ge 3\) of the above results is the main goal of this paper: \par Theorem 1. Let \(n\ge 3\) and let \(\gamma\) be a simple curve as in (3) with \(\phi\in C^{\infty}(I)\) defined on a compact interval \(I\). Then the restriction bound (1) holds in the following cases: \begin{itemize} \item[(i)] \(w(t)=w_{\varepsilon}(t)\), \(\varepsilon>0\) and \[ 1\leq p<\frac{n^{2}+n+2}{n^{2}+n},\quad 1\leq q\leq \frac{2}{n^{2}+n}p'; \] \item[(ii)] \(w(t)=w_{0}(t)\) and \[ 1\leq p<\frac{n^{2}+n+2}{n^{2}+n},\quad 1\leq q< \frac{2}{n^{2}+n}p'. \] \end{itemize} The sharpness of this result can be justified by means of Sjölin curves. \par \(\bullet\) Let \(n\ge 2\) and \(\alpha,\beta>0\). Let \(\gamma\) be the simple curve as in (3) with \(\phi\) given by \(\phi(t) = e^{-t^{-\alpha}}\sin(t^{-\beta}),\, t \in I = [0,1]\). Then the restriction bound (1) holds in cases (i) and (ii) of Theorem 1. Moreover, (1) fails if \(w(t)=w_{0}(t)\), \(q=\frac{2}{n^{2}+n}p'<\infty\), and \(\beta>\frac{(n+1)}{2}\alpha\).
0 references
Fourier restriction bounds
0 references
affine arclength measure
0 references
oscillating curve
0 references
0 references
0 references
0 references