---
title: Helical Maximal Operator in ℝ³
url: https://www.emergentmind.com/topics/helical-maximal-operator
type: topic
---

# Helical Maximal Operator in ℝ³

The helical maximal operator is the maximal averaging operator associated to dilates of a compactly cut off helix segment in \(\mathbb R^3\). For a smooth curve \(\gamma:I\to\mathbb R^3\) and a cutoff \(\chi\in C_c^\infty(I)\), the basic averaging operators are
\[
A_t f(x)=\int_I f(x-t\gamma(s))\,\chi(s)\,ds,
\]
and the corresponding maximal operator is
\[
Mf(x)=\sup_{t>0}|A_t f(x)|.
\]
For the standard helix
\[
\gamma(s)=(a\cos s,\ a\sin s,\ bs),\qquad a,b\neq 0,
\]
this operator is a model case of maximal averages over non-degenerate space curves, and its sharp unweighted \(L^p(\mathbb R^3)\) boundedness range is \(p>3\) [2102.07175]. Subsequent work has developed its local \(L^p\to L^q\) theory, weighted theory, and lacunary theory [2305.17133] [2602.18359].

## 1. Geometric definition and nondegeneracy

The helical maximal operator is usually studied in the broader class of smooth space curves satisfying
\[
|\det(\gamma'(s),\gamma''(s),\gamma'''(s))|\ge c_0>0,
\]
or equivalently having nonvanishing curvature and nonzero torsion. This condition is the natural nondegeneracy hypothesis for averages over space curves in \(\mathbb R^3\), and the helix is the model example [2102.07175].

For the standard helix,
\[
\gamma'(s)=(-a\sin s,\ a\cos s,\ b),\quad
\gamma''(s)=(-a\cos s,\ -a\sin s,\ 0),\quad
\gamma'''(s)=(a\sin s,\ -a\cos s,\ 0),
\]
and
\[
\det(\gamma'(s),\gamma''(s),\gamma'''(s))=a^2b\neq 0.
\]
Its curvature and torsion are constant:
\[
\kappa=\frac{a}{a^2+b^2},\qquad \tau=\frac{b}{a^2+b^2}.
\]
Thus the helix lies squarely in the class of smooth non-degenerate space curves treated in the sharp theory [2102.07175].

The cutoff \(\chi\) is compactly supported in the curve parameter \(s\), so the averages are taken over a compact arc of the helix rather than over the entire infinite helix. Geometrically, \(A_t f(x)\) averages \(f\) over the translated and dilated copy \(x-t\gamma(I)\); for the model helix \((\cos s,\sin s,s)\), this is a truncated helix of radius \(t\) and pitch proportional to \(t\) [2602.18359].

Three related maximal operators occur in the literature. The full maximal operator is
\[
Mf(x)=\sup_{t>0}|A_t f(x)|,
\]
the local maximal operator is
\[
M_{\mathrm{loc}}f(x)=\sup_{1\le t\le 2}|A_t f(x)|,
\]
and the lacunary maximal operator is
\[
M_{\mathrm{lac}}f(x)=\sup_{k\in\mathbb Z}|A_{2^k}f(x)|.
\]
The global theory is reduced to the local slab \(t\in[1,2]\) by Littlewood–Paley decomposition and scaling [2102.07175].

## 2. Sharp unweighted \(L^p\) boundedness

The sharp diagonal theorem states that if \(\gamma:J\to\mathbb R^3\) is smooth with nonvanishing curvature and torsion and \(\chi\) is a nontrivial, nonnegative, smooth function supported in \((-1,1)\), then
\[
\|Mf\|_{L^p(\mathbb R^3)}\le C\|f\|_{L^p(\mathbb R^3)}
\]
for all \(f\in L^p(\mathbb R^3)\) if and only if \(p>3\) [2102.07175]. For the helix, this means precisely that the helical maximal operator is bounded on \(L^p(\mathbb R^3)\) for \(p>3\), and boundedness fails for \(p\le 3\).

This result sharpened the previous known bounds for the helical maximal function from \(p>4\) to the sharp range \(p>3\). One formulation established the sharp \(L^p(\mathbb R^3)\) boundedness of the helical maximal function by introducing a new microlocal smoothing estimate for averages along dilates of the helix, obtained via a square function analysis [2102.08272]. A parallel formulation placed the helix inside the full class of smooth space curves with nonvanishing curvature and torsion and identified the same threshold \(p>3\) as both sufficient and necessary [2102.07175].

The necessity for \(p\le 3\) is proved by adapting Stein’s classical example. In coordinates adapted to the frame
\[
\{\gamma'(s_0),\gamma''(s_0),\gamma'''(s_0)\},
\]
which is a basis because of the nonvanishing determinant condition, one constructs \(h\in L^p(\mathbb R^3)\) such that
\[
Mh(x)=\infty
\]
on a nonempty open set. For the helix, the construction applies verbatim because
\[
\det(\gamma'(s_0),\gamma''(s_0),\gamma'''(s_0))=a^2b\neq 0
\]
for every \(s_0\) [2102.07175].

The theorem is therefore sharp in the literal sense: for compactly cut off helical arcs in \(\mathbb R^3\),
\[
\|Mf\|_{L^p(\mathbb R^3)}\le C\|f\|_{L^p(\mathbb R^3)}
\quad\Longleftrightarrow\quad
p>3.
\]

## 3. Fourier-analytic structure and proof mechanism

The proof of sufficiency for \(p>3\) proceeds by reducing the maximal estimate to a frequency-localized spacetime estimate on \(\mathbb R^3\times[1,2]\). If \(\widehat f\) is supported in the dyadic annulus
\[
A_\lambda=\{\xi\in\mathbb R^3: 3\lambda/4\le |\xi|\le 7\lambda/4\},
\]
it suffices to prove
\[
\|A f\|_{L^p(\mathbb R^3\times[1,2])}\le C\lambda^{-\varepsilon_p}\|f\|_{L^p(\mathbb R^3)}.
\]
In fact, a stronger estimate is established against \(3\)-dimensional measures \(\mu\) in \(\mathbb R^4\):
\[
\|A f\|_{L^p(\mathbb R^3\times[1,2],d\mu)}
\le C \langle \mu\rangle_3^{1/p}\lambda^{-\varepsilon_p}\|f\|_{L^p(\mathbb R^3)}.
\]
This weighted spacetime formulation is one of the mechanisms by which maximal estimates are recovered by linearization [2102.07175].

A central normalization reduces each short curve segment to a perturbation of the model cubic curve
\[
\gamma_0(s)=\Bigl(s,\frac{s^2}{2!},\frac{s^3}{3!}\Bigr).
\]
For each small interval around \(s_0\), the curve is renormalized by
\[
M_\gamma^\delta(s_0)=\bigl(\delta\gamma'(s_0),\,\delta^2\gamma''(s_0),\,\delta^3\gamma'''(s_0)\bigr),
\]
and one studies
\[
\gamma_{s_0}^\delta(s) =(M_\gamma^\delta(s_0))^{-1}\bigl(\gamma(\delta s+s_0)-\gamma(s_0)\bigr).
\]
Because \(\det(\gamma',\gamma'',\gamma''')\neq 0\), each short helical arc becomes, after affine normalization, a member of a fixed compact class of perturbations of \(\gamma_0\) [2102.07175].

On the Fourier side, the difficult geometry is organized by the critical point \(\sigma(\xi)\) determined by
\[
\gamma''(\sigma(\xi))\cdot \xi=0,
\]
together with
\[
A_\gamma(\xi)=\gamma'''(\sigma(\xi))\cdot \xi,\qquad
R_\gamma(\xi)=-\frac{2\,\gamma'(\sigma(\xi))\cdot \xi}{A_\gamma(\xi)}.
\]
The set \(R_\gamma(\xi)=0\) is a cone-like surface in frequency space. The multiplier is then split into a nondegenerate region, a near-conic region \(P_n\), an error region \(P_e\), and a main conic region \(P_c\). In the nondegenerate region, estimates from Pramanik–Seeger combined with Bourgain–Demeter decoupling for the cone provide the required bounds. The harder contribution is the degenerate near-conic portion, where a new induction-on-scales argument is developed directly for the maximal operator [2102.07175].

The multilinear heart of the argument is a quadrilinear estimate for separated intervals \(J_1,\dots,J_4\):
\[
\left\|\prod_{k=1}^4 \bigl|A^\gamma[\chi_{J_k}](P_nP_{J_k}f_k)\bigr|^{1/4}\right\|_{L^p(\mathbb R^3\times[1,2],w)}
\le C_\varepsilon \lambda^{-\varepsilon_p}\prod_{k=1}^4 \|f_k\|_{L^p(\mathbb R^3)}^{1/4},
\]
for \(14/5<p\le 6\) and \(3\)-dimensional weights \(w\). To reach this, the near-conic pieces are expressed as sums of adjoint restriction operators with phase functions \(\Phi_c,\Phi_\pm\), and a version of the Bennett–Carbery–Tao multilinear restriction theorem is proved for \(C^{1,\alpha}\) hypersurfaces. A technical point is that the phase surfaces associated to \(\Phi_\pm\) are only \(C^{1,1/2}\), not \(C^2\), so the multilinear restriction input is adapted to that regularity [2102.07175].

The broad–narrow decomposition is encoded in the pointwise estimate
\[
|A^\gamma[\chi]f(z)| \le C \max_{J}|A^\gamma[\chi_J]f(z)| +
C\delta^{-1}\max_{(J_1,\dots,J_4)}\prod_{k=1}^4 |A^\gamma[\chi_{J_k}]f(z)|^{1/4},
\]
with separated \(J_k\). The single-interval term is handled by rescaling and induction, and the quadrilinear term by multilinear restriction. The resulting recursive inequality closes when \(p>3\), which is exactly where the threshold \(3\) appears in the sufficiency argument [2102.07175]. The helical-specific formulation in [2102.08272] emphasizes that the new microlocal smoothing estimate is established via square function analysis.

## 4. Off-diagonal local estimates

The local helical maximal function,
\[
M_\gamma f(x)=\sup_{1\le t\le 2}|A_t f(x)|,
\]
has an essentially complete off-diagonal \(L^p\to L^q\) theory, except for endpoints [2305.17133]. The admissible region is the triangle
\[
T:=\overline{\mathrm{conv}\{(0,0),(1/3,1/3),(1/4,1/6)\}\setminus\{(1/3,1/3)\},
\]
and the main theorem states that
\[
\|M_\gamma f\|_{L^q(\mathbb R^3)}\le C_{\gamma,p,q}\|f\|_{L^p(\mathbb R^3)}
\]
for all \((1/p,1/q)\in \mathrm{int}(T)\cup L\), where \(L\) is the half-open diagonal segment joining \((0,0)\) and \((1/3,1/3)\), with the endpoint \((1/3,1/3)\) excluded [2305.17133].

Sharpness is expressed by three necessary conditions:
\[
\frac1q\le \frac1p,\qquad
1+\frac{3}{q}\ge \frac{6}{p},\qquad
\frac{3}{q}\ge \frac{2}{p}.
\]
The first comes from Hörmander’s theorem on translation-invariant operators. The second is a Knapp-type example using the anisotropic box
\[
R_\delta=\{y\in\mathbb R^3:\ |y_j|<\delta^j,\ 1\le j\le 3\},
\]
and the third is a dimensional or fixed-time example based on the \(\delta\)-neighborhood \(N_\delta(\gamma)\) of the curve [2305.17133].

The maximal theorem is derived from a local smoothing estimate for oscillatory multipliers. At the critical vertex \((1/p,1/q)=(1/4,1/6)\), the decisive estimate is
\[
\Big(\int_1^2 \|m[a_k](D;t)f\|_{L^6(\mathbb R^3)}^6\,dt\Big)^{1/6}
\lesssim_\varepsilon 2^{-k/6+\varepsilon k}\|f\|_{L^4(\mathbb R^3)}.
\]
The analysis combines two geometries in spacetime Fourier space: a \(3\)-dimensional cone \(\Gamma_3\), associated to first-order stationarity, and a \(2\)-dimensional cone \(\Gamma_2\), associated to simultaneous first- and second-order degeneracy. The paper’s key new input is a localised trilinear restriction theorem,
\[
\Big\|\prod_{j=1}^3 |E_jf_j|^{1/3}\Big\|_{L^3(B(0,R))}
\lesssim_{\mathbf Q,\varepsilon} R^\varepsilon \mu^{1/6}\prod_{j=1}^3 \|f_j\|_{L^2(U_j)}^{1/3},
\]
whose gain \(\mu^{1/6}\) comes from localisation near the more degenerate cone [2305.17133].

This multilinear estimate is combined with stationary phase normal forms, an \(L^{12}\to L^{12}\) estimate from decoupling,
\[
\Big(\int_1^2 \|m[a_{k,\ell}](D;t)f\|_{L^{12}(\mathbb R^3)}^{12}\,dt\Big)^{1/12}
\lesssim_\varepsilon 2^{-k/6-\ell/12+\varepsilon k}\|f\|_{L^{12}(\mathbb R^3)},
\]
the trivial bound
\[
\sup_{1\le t\le 2}\|m[a_{k,\ell}](D;t)f\|_{L^\infty(\mathbb R^3)}
\lesssim 2^{k-\ell/2}\|f\|_{L^2(\mathbb R^3)},
\]
and a Bourgain–Guth broad–narrow decomposition. The outcome is the optimal off-diagonal local mapping region, up to endpoint issues [2305.17133].

## 5. Weighted and lacunary variants

The weighted theory studies boundedness on power-weighted spaces
\[
L^p(|x|^\alpha),\qquad
\|f\|_{L^p(|x|^\alpha)}=\left(\int_{\mathbb R^3}|f(x)|^p|x|^\alpha\,dx\right)^{1/p}.
\]
For the full helical maximal operator, the necessary conditions are
\[
-1\le \alpha\le p-3,
\]
and the same necessity already holds for the local maximal operator. For each fixed time \(t\), however, the complete range is larger:
\[
A_t:L^p(|x|^\alpha)\to L^p(|x|^\alpha)
\quad\text{if}\quad
-1\le \alpha\le p-1.
\]
A pointwise estimate central to this fixed-time theory is
\[
A_t\omega_\alpha(x)\le C\,\omega_\alpha(x)\quad\text{uniformly in }t
\]
for \(\omega_\alpha(x)=|x|^\alpha\) if and only if
\[
-1<\alpha\le 0,
\]
and together with Jawerth’s factorization theorem this yields the full fixed-time range \(-1\le \alpha\le p-1\) [2602.18359].

For the full maximal operator, the main weighted theorem distinguishes two \(p\)-ranges. If \(4\le p<\infty\), then
\[
M:L^p(|x|^\alpha)\to L^p(|x|^\alpha)
\quad\text{for}\quad
-1<\alpha<p-3,
\]
and this is optimal except possibly at the endpoint \(\alpha=-1\). If \(3<p<4\), then
\[
M:L^p(|x|^\alpha)\to L^p(|x|^\alpha)
\quad\text{for}\quad
-\frac52+\frac6p<\alpha<p-3.
\]
Thus the upper endpoint \(p-3\) is the necessary one throughout, while the lower range for \(3<p<4\) remains incomplete [2602.18359].

The proof for negative weights is driven by dyadic local maximal bounds of the form
\[
\int_{\mathbb R^3}\sup_{1\le t\le 2}|A_t^j f(x)|^p |x|^\alpha\,dx
\le C\,2^{-\varepsilon(p,\alpha)j}\int_{\mathbb R^3}|f(x)|^p|x|^\alpha\,dx.
\]
At the borderline \(p=4\), the central step is
\[
\int_{\mathbb R^3}\sup_{1\le t\le 2}|A_t^j f(x)|^4 |x|^{-1}\,dx
\lesssim_\epsilon 2^{\epsilon j}\int_{\mathbb R^3}|f(x)|^4|x|^{-1}\,dx.
\]
The proof decomposes space into the tiny ball \(|x|\le 2^{-j}\) and annuli \(2^{-k}\le |x|<2^{-k+1}\), then exploits localized gains such as
\[
\left(\int_{|x|<\delta}\sup_{1\le t\le 2}|A_t^j f(x)|^4\,dx\right)^{1/4}
\lesssim_\epsilon \delta^{1/4}2^{\epsilon j}\|f\|_{L^4}.
\]
For \(3<p<4\), an endpoint-type estimate at \(p=3\),
\[
\int_{\mathbb R^3}\sup_{1\le t\le 2}|A_t^j f(x)|^3 |x|^{-1/2}\,dx
\lesssim_\epsilon 2^{\epsilon j}\int_{\mathbb R^3}|f(x)|^3|x|^{-1/2}\,dx,
\]
combined with Stein–Weiss interpolation, yields the range
\[
-\frac52+\frac6p<\alpha<0.
\]
This explains why the method closes exactly at \(p=4\) and why a gap remains for \(3<p<4\) [2602.18359].

The lacunary maximal operator has a complete weighted characterization:
\[
M_{\mathrm{lac}}:L^p(|x|^\alpha)\to L^p(|x|^\alpha)
\quad\Longleftrightarrow\quad
-1\le \alpha<p-1,
\qquad 1<p<\infty.
\]
In particular, the lacunary operator has exactly the same weighted range as the fixed-time averages \(A_t\), unlike the full maximal operator, whose range loses \(2\) powers on the upper end:
\[
p-1 \rightsquigarrow p-3.
\]
The lacunary proof uses square functions, \(L^2\)-decay from Fourier decay and orthogonality, weak \((1,1)\)-type with \(2^{\epsilon k}\) loss via randomization and a Calderón–Zygmund kernel difference estimate, and interpolation [2602.18359].

## 6. Scope, comparisons, and related geometries

The helical maximal operator belongs to the genuinely spatial, nonplanar theory of averages over space curves. The decisive geometric feature is torsion: the helix is not merely curved, but has nonvanishing curvature and torsion everywhere. The sharp theorems do not extend, as stated, to degenerate curves where curvature or torsion vanishes. The papers also contrast space curves with planar curves, noting that in the plane maximal averages over curved arcs are older and use methods such as incidence geometry and local smoothing, whereas in space the slower Fourier decay makes the problem harder [2102.07175].

A basic analytic manifestation of this difficulty is the decay of the fixed-time multiplier
\[
\mu_t(\xi)=\int e^{-i\langle t\gamma(s),\xi\rangle}\,ds,
\qquad
|\mu_t(\xi)|\lesssim (1+t|\xi|)^{-1/3}.
\]
This decay is too weak by itself to control the full maximal operator sharply. The weighted theory therefore relies on local smoothing estimates, dyadic frequency decompositions, decomposition near geometric singular sets such as
\[
\Sigma_1=\{\xi:\langle \xi,\gamma'(s)\rangle=0 \text{ for some }s\},
\qquad
\Sigma_2=\{\xi:\langle \xi,\gamma'(s)\rangle=\langle \xi,\gamma''(s)\rangle=0 \text{ for some }s\},
\]
and delicate spatial localization near the origin [2602.18359].

One common misconception is to treat the “helical maximal operator” as averaging over the entire infinite helix. The sharp theorem described above is for compactly cut off helical arcs, because \(\chi\) is compactly supported in the curve parameter \(s\). The global maximal parameter is \(\sup_{t>0}\), but the curve itself is truncated in \(s\) [2102.07175].

A distinct but related theme appears in the Heisenberg-group literature. The paper on the circular maximal operator on Heisenberg radial functions studies a reduced Euclidean maximal operator arising from the Heisenberg group law, where the reduced averaging curves have a circular lift with oscillatory vertical component. That work is relevant to helical-type geometry because the vertical coordinate varies sinusoidally with the angular parameter, but it does not study averages over literal Euclidean helices \((\cos\theta,\sin\theta,c\theta)\). Its theorem is that for \(p>2\),
\[
\|Mf\|_{L^p(\mathbb H^1)}\le C_p\|f\|_{L^p(\mathbb H^1)}
\]
for Heisenberg radial functions, and the paper emphasizes that the reduced operator fails both the usual rotational curvature and cinematic curvature conditions [1912.11718]. This suggests that “helical” phenomena in maximal averaging can also arise from group-geometric lifts rather than from fixed Euclidean helices.

In the Euclidean setting, the modern theory therefore presents the helical maximal operator as a canonical non-degenerate space-curve maximal operator. Its sharp diagonal theorem is \(p>3\), its local off-diagonal theory is optimal up to endpoints, and its weighted theory is now well understood for \(4\le p<\infty\) and partially understood for \(3<p<4\), with the endpoint \(\alpha=-1\) for the full maximal operator remaining open [2305.17133] [2602.18359].

Source: https://www.emergentmind.com/topics/helical-maximal-operator