\(L^ p\)-bounds for hypersingular integral operators along curves (Q1816506)

It is known that the Hilbert transform along curves \[ {\mathcal H}_\Gamma f(x)=\text{p.v. } \int^\infty_{-\infty} f(x-\Gamma (t)) {dt \over t} \qquad (x\in \mathbb{R}^n) \] is bounded on \(L^p\), \(1< p< \infty\), where \(\Gamma (t)\) is an appropriate curve in \(\mathbb{R}^n\). In particular, \(|{\mathcal H}_\Gamma f|_p \leq C|f|_p\), \(1< p< \infty\), where \(\Gamma (t)=(t, |t|^k \text{ sgn } t)\), \(k\geq 2\), is a curve in \(\mathbb{R}^2\). It is easy to see that the hypersingular integral operator \[ {\mathcal T} f(x)=\text{p.v. } \int^1_{-1} f(x-\Gamma (t)) {{dt} \over {t|t|^\alpha}} \qquad (\alpha>0), \] in which the singularity at the origin is worse than that in the Hilbert transform, is not bounded on \(L^2 (\mathbb{R}^2)\). To counterbalance this worsened singularity, we introduce an additional oscillation \(e^{-2\pi i|t|^{-\beta}}\) and study the operator \[ {\mathcal T}_{\alpha, \beta} f(x, y)=\text{p.v. } \int^1_{-1} f(x-t, y-\gamma (t)) e^{-2\pi i|t|^{-\beta}} {{dt} \over {t|t|^\alpha}} \qquad (\alpha, \beta>0) \] along the curve \(\Gamma (t) =(t, \gamma (t))\), where \(\gamma (t)=|t|^k\) or \(\gamma (t)=|t|^k \text{ sgn } t\), \(k\geq 2\), in \(\mathbb{R}^2\) and show that \hskip12mm (i)\hskip3mm \(|{\mathcal T}_{\alpha, \beta} f|_{L^2} \leq A_{\alpha, \beta} |f|_{L^2}\) if and only if \(\beta\geq 3\alpha\); \hskip12mm (ii)\ \(|{\mathcal T}_{\alpha, \beta} f|_{L^p}\leq B_{\alpha, \beta} |F|_{L'}\) whenever \(\beta>3\alpha\), and \[ 1+ {{3\alpha (\beta+ 1)} \over {\beta (\beta+ 1)+ (\beta-3\alpha)}}< p< {{\beta (\beta+ 1)+ (\beta-3\alpha)} \over {3\alpha (\beta+1)}} +1. \]