Endpoint \(L^p \rightarrow L^q\) bounds for integration along certain polynomial curves (Q609351)

Let \(P:\mathbb{R}\to \mathbb{R}^d\) be a polynomial and let \(T_P\) be the operator defined by \[ T_P f(x)=\int_I f(x-P(s))d\sigma_P(s),\tag{1} \] where \(I\) is an interval and \(d\sigma_P(s)\) represents affine arclength measure along \(P\), \[ d\sigma_P(s)=|\mathrm{det}(P'(s),P''(s),\ldots,P^{(d)}(s))|^{2/{d(d+1)}}ds. \] The goal of the article is to establish \(L^p\to L^q\) bounds for \(T_P\) in the full conjectured range of exponents in dimension \(d\geq 4\) (together with a slight improvement in Lorentz spaces). The main result of the paper is the following. Theorem 1. Let \(d\geq 4\), let \(P:\mathbb{R}\to \mathbb{R}^d\) be a polynomial of degree \(N\), and let \(T_P\) be the operator defined by~(1). Let \(p_d=(d+1)/2\) and \(q_d=d(d+1)/2 (d-1)\). Then \(T_P\) maps \(L^p\to L^q\) if \((p,q)=(p_d,q_d)\) or \( (q'_d,p'_d)\), with bounds depending only on \(d,N\). Moreover, \(T_P\) maps the Lorentz space \(L^{p_d,u}(\mathbb{R}^d)\) boundedly into \(L^{q_d,v}(\mathbb{R}^d)\) and \(L^{q'_d,v'}(\mathbb{R}^d)\) into \(L^{p'_d,u'}(\mathbb{R}^d)\) whenever \(u<q_d\), \(v>p_d\), and \(u<v\). This result has already been established in dimension \(2\) by \textit{D. M. Oberlin} [Math. Scand. 90, No.~1, 126--138 (2002; Zbl 1034.42012)] and in dimension \(3\) by \textit{S. Dendrinos, N. Laghi} and \textit{J. Wright} [J. Funct. Anal. 257, No.~5, 1355--1378 (2009; Zbl 1177.42009)]. In the case when \(I\) has infinite length and \(d\sigma_P\not\equiv 0\), Theorem~1 is sharp up to the Lorentz space endpoints. A proof of this in the case \(P(t)=(t,t^2,\dots, t^d)\) is given by \textit{B. Stovall} [J. Lond. Math. Soc., II. Ser. 80, No.~2, 357--374 (2009; Zbl 1174.42010)].