Minkowski sums with convex curves without pointwise Fourier decay

Abstract.

Let $\Gamma\subset\mathbb{R}^{2}$ be a compact convex graph and define

$$T(\Gamma)=\inf\left\{t:\dim_{\mathrm{H}}(E)>t\Longrightarrow|E+\Gamma|>0\text{ for every compact }E\subset\mathbb{R}^{2}\right\}.$$

For a graph over an interval of positive length the smallest possible value is $T(\Gamma)=1$. We ask whether this optimal conclusion can hold when pointwise Fourier decay of arclength is unavailable. The answer is yes, even for strictly convex curves. We use the Fourier transform convention $\widehat{\nu}(\xi)=\int e^{-2\pi ix\cdot\xi}\,d\nu(x)$. We construct a strictly convex Lipschitz graph $\Gamma$ with $T(\Gamma)=1$ such that, for every nontrivial subarc $\Gamma_{0}$ and every $\alpha>0$,

$$\limsup_{|\xi|\to\infty}|\xi|^{\alpha}\left|\widehat{\mathcal{H}^{1}|_{\Gamma_{0}}}(\xi)\right|=\infty.$$

We also give a convex example for which arclength on every nontrivial subarc fails even to be a Rajchman measure. The geometric mechanism behind these examples is a positive curved trace: if $\Gamma$ contains a positive-length subset of a $C^{2}$ curve whose curvature is bounded away from zero, then $|E+\Gamma|>0$ whenever $\dim_{\mathrm{H}}(E)>1$. For a nondegenerate graph this gives $T(\Gamma)=1$. For convex graphs it implies, in particular, that $T(\Gamma)=1$ whenever the curvature measure has a nonzero absolutely continuous part. The positive-measure proofs are in physical space and use translated-tube intersections and elementary facts about convex functions. The same overlap estimates give Mattila-type lower bounds for the average lengths of the associated curve projections of neighborhoods under the positive curved-trace hypothesis. We also prove a dimension-one endpoint result for sets with a positive-length rectifiable part and formulate the main remaining question: whether every strictly convex Lipschitz graph has the optimal threshold $T(\Gamma)=1$.

1. Introduction

Let $E\subset\mathbb{R}^{2}$ and let $\Gamma\subset\mathbb{R}^{2}$ be a compact curve. We study the arithmetic sum

(1.1) $$E+\Gamma=\{x+y:x\in E,\ y\in\Gamma\}.$$

The question throughout the paper is whether geometric information about $\Gamma$, together with a lower bound for $\dim_{\mathrm{H}}(E)$, forces the set in (1.1) to have positive planar Lebesgue measure.

For a compact curve $\Gamma$, define

(1.2) $$T(\Gamma)=\inf\left\{t:\dim_{\mathrm{H}}(E)>t\Longrightarrow|E+\Gamma|>0\text{ for every compact }E\subset\mathbb{R}^{2}\right\}.$$

Throughout the paper, a nondegenerate graph means the graph of a continuous function over a compact interval of positive length. For such a graph one always has

(1.3) $$T(\Gamma)\geq 1.$$

Indeed, there is a compact set $B\subset\mathbb{R}$ with $|B|=0$ and $\dim_{\mathrm{H}}(B)=1$. If $E=\{0\}\times B$, then every vertical section of $E+\Gamma$ is a translate of $B$, and Fubini’s theorem gives $|E+\Gamma|=0$. Thus the strongest possible universal conclusion for a graph is

$$T(\Gamma)=1.$$

Theorem 1.3 below shows that this lower bound is attained whenever the graph has a positive curved trace.

We use the following notation throughout. For nonnegative quantities $X$ and $Y$, the relation $X\lesssim Y$ means that $X\leq CY$ for a constant $C>0$ independent of the variables being estimated. We write $X\gtrsim Y$ if $Y\lesssim X$, and $X\asymp Y$ if both $X\lesssim Y$ and $Y\lesssim X$. A subscript on any of these symbols indicates permitted dependence of the implicit constant. The notation $O(Y)$ has the same upper-bound meaning, and $o(Y)$ denotes a quantity whose ratio to $Y$ tends to zero in the indicated limit. For a measurable set $A$, the notation $|A|$ denotes Lebesgue measure in the ambient dimension, while $|x|$ denotes the Euclidean norm of a vector $x$. For $A\subset\mathbb{R}^{2}$ and $\delta>0$, we write

$$A^{\delta}=\{x\in\mathbb{R}^{2}:\operatorname{dist}(x,A)\leq\delta\}.$$

For a finite Borel measure $\nu$ on $\mathbb{R}^{d}$, our Fourier transform convention is

$$\widehat{\nu}(\xi)=\int e^{-2\pi ix\cdot\xi}\,d\nu(x).$$

For $0<s<2$ and a finite positive Borel measure $\mu$ on $\mathbb{R}^{2}$, we write

$$I_{s}(\mu)=\iint|x-y|^{-s}\,d\mu(x)\,d\mu(y).$$

We write $1_{A}$ for the indicator function of $A$, and $\operatorname{Var}_{I}(f)$ and $\operatorname{osc}_{I}(f)$ for the total variation and oscillation of $f$ on an interval $I$.

For later comparison with projection theory, let

$$\Gamma=\{(t,\gamma(t)):t\in[a,b]\}$$

be a compact graph. For a compact set $E\subset\mathbb{R}^{2}$ and $\alpha\in\mathbb{R}$, define the associated curve projection by

(1.4) $$\Phi_{\alpha}^{\Gamma}(E)=\left\{x_{2}+\gamma(\alpha-x_{1}):(x_{1},x_{2})\in E,\ \alpha-x_{1}\in[a,b]\right\}.$$

This is precisely the vertical section of $E+\Gamma$ above $\alpha$. These curve projections were introduced by Simon and Taylor in their study of planar sumsets [16]. We define the Favard curve length of $E$ associated to $\Gamma$ by

(1.5) $$\operatorname{Fav}_{\Gamma}(E)=\int_{\mathbb{R}}|\Phi_{\alpha}^{\Gamma}(E)|\,d\alpha.$$

Fubini’s theorem gives the exact identity

(1.6) $$\operatorname{Fav}_{\Gamma}(E)=|E+\Gamma|.$$

Davey and Taylor obtained a quantitative nonlinear Besicovitch theorem for this family [5], while Cladek, Davey, and Taylor developed the quantitative Favard curve problem for finite approximations of the four-corner Cantor set [4]. In the classical orthogonal setting, Mattila proved lower bounds for the Favard lengths of neighborhoods with the exponents $\delta^{1-s}$ for $0<s<1$ and $\left(\log\frac{1}{\delta}\right)^{-1}$ for $s=1$ [12]. Bongers and Taylor obtained the same exponents for globally transversal nonlinear projection families; for curve projections, their hypothesis when $d=2$ is that $\Gamma$ be piecewise $C^{1}$ with piecewise bi-Lipschitz unit tangent [3, Theorem 1.7]. Corollary 1.4 below gives these lower bounds when $\Gamma$ merely has a positive curved trace. The trace may be nowhere dense, and the ambient graph need not satisfy the global transversality hypothesis.

For the unit circle, the threshold-one conclusion is a special case of the classical circle-packing problem. Let $I\subset(0,\infty)$ be a compact interval and let $F\subset\mathbb{R}^{2}\times I$ be a Borel set of center-radius pairs. Wolff proved that

$$\dim_{\mathrm{H}}(F)>1\quad\Longrightarrow\quad\left|\bigcup_{(a,r)\in F}\{x\in\mathbb{R}^{2}:|x-a|=r\}\right|>0;$$

see [18, Corollary 3]. Taking $F=E\times\{1\}$ gives $|E+\mathbb{S}^{1}|>0$ whenever $\dim_{\mathrm{H}}(E)>1$. Earlier, Marstrand proved the positive-measure conclusion when the set of centers has positive planar measure, while Mitsis proved it in the plane when the set of centers has Hausdorff dimension greater than $\frac{3}{2}$, as well as for spheres in dimensions at least three when the set of centers has Hausdorff dimension greater than $1$; see [11, 14]. Simon and Taylor gave a nonlinear-projection treatment for fixed simple piecewise $C^{2}$ planar curves with nonvanishing curvature and obtained the sharp dimension-one endpoint characterization [16].

A related but distinct circular Kakeya problem asks how small a planar set can be if it contains a circle of every radius $r\in[1,2]$. Positive Lebesgue measure is false in this setting: Besicovitch and Rado, and independently Kinney, constructed measure-zero examples [2, 8]. Wolff nevertheless proved that every such set has Hausdorff dimension two [17]. This radius-parametrized problem should be distinguished from the center-parametrized fixed-translate problem studied here.

In recent work, Iosevich, Li, and Taylor, three of the present authors, placed this fixed-translate question in the broader setting of unions of smooth variable-coefficient hypersurfaces [7]. At a fixed level, they proved under the Phong–Stein rotational curvature condition that a parameter set of Hausdorff dimension greater than one generates a union of positive Lebesgue measure. In the planar translation-invariant case $\Sigma_{x}=x+\Gamma$, this gives $T(\Gamma)=1$ when $\Gamma$ is a $C^{2}$ curve with nonvanishing curvature. They also proved a geometric criterion based on pairwise overlaps of tubular neighborhoods which reaches the same threshold for arbitrary measurable selections. The present paper develops this geometric mechanism in a substantially less regular setting. The curve $\Gamma$ need not itself be $C^{2}$, and arclength on every nontrivial subarc may fail all polynomial pointwise Fourier decay. What remains is a positive-length trace on a uniformly curved graph, and we show directly that this weaker feature supplies enough translated-neighborhood transversality to recover the optimal threshold.

A standard proof in the smooth translation-invariant setting may be expressed in terms of pointwise Fourier decay. If $\sigma$ is a nonzero finite positive measure supported on a subarc of $\Gamma$ and, for some $0<\alpha<1$,

(1.7) $$|\widehat{\sigma}(\xi)|\lesssim(1+|\xi|)^{-\alpha},$$

then the Riesz-energy identity and Plancherel’s theorem give

(1.8) $$\dim_{\mathrm{H}}(E)+2\alpha>2\quad\Longrightarrow\quad|E+\Gamma|>0.$$

Indeed, put $s=2-2\alpha$ and choose $s<\beta<\dim_{\mathrm{H}}(E)$. Frostman’s lemma [13] gives a nonzero $\beta$-Frostman measure $\mu$ supported on $E$. Summing over dyadic annuli gives $I_{s}(\mu)<\infty$. Since $|\widehat{\sigma}(\xi)|^{2}\lesssim(1+|\xi|)^{-2\alpha}$, the Riesz-energy identity [13] shows that $\widehat{\mu}\,\widehat{\sigma}\in L^{2}(\mathbb{R}^{2})$. Hence $\mu*\sigma$ has a nonzero $L^{2}$ density supported on $E+\Gamma$, and therefore $|E+\Gamma|>0$. The complete argument is recorded in Proposition 7.1. Our question is whether this geometric conclusion can persist when the natural arclength measure has no such decay.

Related recent work concerns averaged, rather than pointwise, Fourier information for fractal measures on smooth curved graphs. Orponen, Puliatti, and Pyörälä obtain $L^{p}$ estimates for Frostman measures on the parabola and corresponding lower bounds for the dimensions of their iterated sumsets, while Yi establishes convolution-energy estimates for Frostman measures on $C^{2}$ graphs with nonvanishing curvature and obtains sharp $L^{6}$ Fourier estimates in the range $s\geq\frac{2}{3}$; see [15, 19]. These results are complementary to the present paper. They concern averaged Fourier behavior and energy or dimension growth for measures supported on smooth curves, whereas our separation concerns positive Lebesgue measure of $E+\Gamma$ despite the failure of every pointwise polynomial decay estimate for the natural arclength measure on every nontrivial subarc of a low-regularity convex graph.

There are two points in this question which are worth separating. First, the conclusion $|E+\Gamma|>0$ is a statement about the whole family of translates of $\Gamma$ indexed by $E$, whereas (1.7) is a pointwise estimate for one fixed measure on the curve. It is therefore conceivable that the translate geometry retains enough transversality even when the Fourier transform of arclength behaves badly along a sequence of directions and frequencies. Second, we are not asking merely whether one particular global arclength measure fails to decay. Such a failure could be caused by a small exceptional portion of the curve and would say little about the local geometry. The examples below are arranged so that the Fourier obstruction occurs on every nontrivial subarc. Thus the positive-measure conclusion cannot be recovered by simply discarding a bad part of the curve and applying the usual Fourier argument to a remaining arc.

The main example gives a strong separation.

Theorem 1.1 (Strict convexity without polynomial decay).

There is a strictly convex Lipschitz function $\gamma_{1}:[1,2]\to\mathbb{R}$ whose graph $\Gamma_{1}$ satisfies

$$T(\Gamma_{1})=1.$$

Nevertheless, for every nondegenerate interval $I\subset[1,2]$, every $\alpha>0$, and

$$\sigma_{I}=\mathcal{H}^{1}|_{\{(x,\gamma_{1}(x)):x\in I\}},$$

one has

(1.9) $$\limsup_{|\xi|\to\infty}|\xi|^{\alpha}|\widehat{\sigma}_{I}(\xi)|=\infty.$$

In particular, no positive-length subarc of $\Gamma_{1}$ has pointwise Fourier decay of any positive power.

Thus the optimal threshold $T(\Gamma)=1$ is not governed by the best polynomial decay exponent of arclength on a subarc. The construction is designed so that two apparently competing features coexist. On a positive-length nowhere-dense set the curve agrees with a parabola, which supplies geometric transversality. In every complementary interval, however, the curve contains pieces that are almost flat at a superexponential sequence of scales. These pieces force the failure of every polynomial Fourier bound. Section 5 gives the construction and the complete oscillatory estimate.

The positive result used in this example is elementary and entirely geometric. We isolate it in a form that is useful on its own.

Definition 1.2.

A compact rectifiable curve $\Gamma$ has a positive curved trace if there are a compact $C^{2}$ graph

$$\Sigma=\{(x,g(x)):x\in I\},$$

a compact set $A\subset\Gamma\cap\Sigma$, and a constant $c_{0}>0$ such that

$$\mathcal{H}^{1}(A)>0\qquad\text{and}\qquad|g^{\prime\prime}(x)|\geq c_{0}$$

for every $x\in I$.

The set $A$ need not contain an arc. It may be nowhere dense in both $\Gamma$ and $\Sigma$. Figure 1 shows the geometry schematically.

Figure 1. A schematic positive curved trace. The dashed graph $\Sigma$ has curvature bounded away from zero. The curve $\Gamma$ agrees with $\Sigma$ on the thick portions representing a positive-length closed set $A$, but may differ on every complementary interval. In the applications, $A$ may be nowhere dense. Only the inclusion $E+A\subset E+\Gamma$ and the translated- neighborhood geometry of $\Sigma$ are used.

Theorem 1.3 (Curved traces).

Let $\Gamma\subset\mathbb{R}^{2}$ be a compact rectifiable curve having a positive curved trace. If $E\subset\mathbb{R}^{2}$ is compact and

$$\dim_{\mathrm{H}}(E)>1,$$

then

$$|E+\Gamma|>0.$$

Corollary 1.4 (Quantitative curve projections).

Let $\Gamma$ be a nondegenerate compact rectifiable graph having a positive curved trace. Let $E\subset\mathbb{R}^{2}$ be compact, and suppose that $E$ supports a Borel probability measure $\mu$ satisfying

$$\mu(B(x,r))\leq C_{\mu}r^{s}$$

for every $x\in\mathbb{R}^{2}$ and $0<r\leq 1$, where $0<s\leq 1$. Then there are constants $c>0$ and $0<\delta_{0}<\frac{1}{2}$, depending only on the curved trace, $s$, and $C_{\mu}$, such that

(1.10) $$\operatorname{Fav}_{\Gamma}(E^{\delta})\geq c\begin{cases}\delta^{1-s},&0<s<1,\\[4.0pt] \displaystyle\left(\log\frac{1}{\delta}\right)^{-1},&s=1,\end{cases}$$

for every $0<\delta<\delta_{0}$.

By (1.5), this is a lower bound for the average length of the curve projections $\Phi_{\alpha}^{\Gamma}(E^{\delta})$. The conclusion is therefore averaged in $\alpha$; it is distinct from the two-projection statement used later at the rectifiable endpoint. The point here is that the standard Mattila exponents persist even though the full projection family need not be globally transversal. In particular, the corollary applies to the strictly convex graph in Theorem 1.1: it has the usual quantitative neighborhood projection bounds even though arclength on every nontrivial subarc fails polynomial decay of every positive power.

Combining Theorem 1.3 with the lower bound (1.3), we obtain $T(\Gamma)=1$ whenever $\Gamma$ is a nondegenerate graph with a positive curved trace.

Here is the idea of the proof; the complete argument is given in Section 2. A uniformly curved graph satisfies

(1.11) $$|\Sigma^{\delta}\cap(h+\Sigma^{\delta})|\lesssim\frac{\delta^{2}}{\delta+|h|}.$$

Since $A\subset\Sigma$, the same upper bound holds with $A$ in place of $\Sigma$, while the positive length of $A$ gives $|A^{\delta}|\asymp\delta$. A second-moment argument applied to the family of translates $\{x+A^{\delta}:x\in E\}$ then turns the overlap estimate into a lower bound for $|E+A^{\delta}|$ that is uniform in $\delta$. Passing to the limit gives $|E+A|>0$, and hence $|E+\Gamma|>0$. No Fourier transform of $A$ or $\Gamma$ enters the proof.

For a convex graph, this has an intrinsic consequence. Let $\gamma:[a,b]\to\mathbb{R}$ be convex. Its distributional second derivative is a finite positive measure. By the Lebesgue decomposition theorem, we write

(1.12) $$D^{2}\gamma=k(x)\,dx+\kappa_{s},$$

where $k(x)\,dx$ is the absolutely continuous part and $\kappa_{s}$ is singular with respect to Lebesgue measure.

Theorem 1.5 (Absolutely continuous curvature).

Let $\Gamma$ be the graph of a convex Lipschitz function $\gamma$ on a compact interval. If

(1.13) $$\left|\{x:k(x)>0\}\right|>0,$$

where $k$ is the density in (1.12), then

$$T(\Gamma)=1.$$

The proof combines Theorem 1.3 with the $C^{2}$-Lusin approximation theorem for one-dimensional convex functions due to Goldstein and Hajłasz [6]. Thus a nonzero absolutely continuous part of the curvature measure already forces the optimal universal threshold. The point is not that it supplies a convenient route to Fourier decay; it supplies a positive curved trace.

This also explains why the Lebesgue decomposition of the curvature measure is natural for the present problem, but the singular part must be treated with some care. The absolutely continuous part can be detected on a positive-measure set of parameters and, through the $C^{2}$-Lusin approximation, converted into agreement with a genuinely curved $C^{2}$ graph on a positive-measure set. Atomicity alone, however, does not determine the geometry. A finitely supported atomic curvature measure produces polygonal behavior, whereas a purely atomic measure whose atoms are dense may make the slope strictly increasing and its primitive strictly convex. The Cantor-quantile pieces used in Section 5 have precisely this feature; see Remark 5.3. Purely singular continuous curvature is a second singular regime. It may also force the slope to change on every interval while remaining concentrated on a Lebesgue-null set. The argument producing a positive curved trace does not treat either singular regime in general.

Before giving the strictly convex construction, we record a simpler example in which Fourier decay fails completely.

Theorem 1.6 (No decay on any subarc).

There is a convex Lipschitz function $\gamma_{0}:[1,2]\to\mathbb{R}$ whose graph $\Gamma_{0}$ satisfies

$$T(\Gamma_{0})=1,$$

but for every nondegenerate interval $I\subset[1,2]$, if

$$\sigma_{I}=\mathcal{H}^{1}|_{\{(x,\gamma_{0}(x)):x\in I\}},$$

then $\sigma_{I}$ is not a Rajchman measure. More precisely, there is a unit vector $\omega_{I}$ such that

$$\widehat{\sigma}_{I}(R\omega_{I})\not\longrightarrow 0\qquad\text{as }R\to\infty.$$

The curve agrees with the parabola $y=\frac{x^{2}}{2}$ over a fat Cantor set and is affine on every complementary interval. Its intersection with the parabola has positive length, so the curved-trace theorem applies. Every nontrivial subarc also contains a line segment. Projection in the normal direction of that segment produces an atom, and Wiener’s mean-square identity rules out decay. The strict example replaces these line segments by carefully chosen strictly convex pieces while retaining the same positive curved trace.

There is one further positive-measure statement which is useful at the dimension-one endpoint and requires almost no curvature.

Theorem 1.7 (Rectifiable endpoint).

Let $\Gamma\subset\mathbb{R}^{2}$ be a compact rectifiable curve which is not contained in a line. Suppose that $E\subset\mathbb{R}^{2}$ contains a countably $1$-rectifiable set $R$ satisfying

$$\mathcal{H}^{1}(R)>0.$$

Then there are compact sets

$$K_{+}\subset E+\Gamma\qquad\text{and}\qquad K_{-}\subset E-\Gamma$$

such that $|K_{+}|>0$ and $|K_{-}|>0$.

This follows directly from the area formula applied to $(s,t)\mapsto e(s)+r(t)$, where $e$ and $r$ parametrize rectifiable pieces of $E$ and $\Gamma$. In the special case where $\Gamma$ is the graph of a $C^{1}$ function with injective derivative, the conclusion can also be deduced from the nonlinear two-projection theorem of Li and Taylor [10, Corollary 2.5]. Indeed, after restricting $R$ to a compact positive-length subset whose horizontal diameter is smaller than the length of the parameter interval, one may extend the graph function to a $C^{1}$ function on $\mathbb{R}$ with injective derivative. On a nondegenerate interval of section parameters, the corresponding curve projections are then precisely the vertical sections of $R+\Gamma$. The contrapositive of their corollary says that at most one of these sections can have zero length, and Fubini’s theorem gives $|R+\Gamma|>0$. Applying the same argument to $-\Gamma$ gives the difference-set conclusion. This places this special case of Theorem 1.7 within the framework of the two-projection theorem and its nonlinear analogues.

The variable-surface result of Iosevich, Li, and Taylor [7] also contains a fixed-level endpoint theorem for positive-length $1$-rectifiable parameter sets under rotational curvature. In the planar translation-invariant setting, Theorem 1.7 shows that curvature can be dispensed with entirely: it is enough that $\Gamma$ be rectifiable and not contained in a line. For smooth curves of nonvanishing curvature, Simon and Taylor proved a sharper characterization at dimension one in terms of pure unrectifiability [16]. The theorem above records the positive direction under almost no curvature assumption.

For convex graphs, the decomposition (1.12) suggests several distinct regimes. A nonzero absolutely continuous component gives $T(\Gamma)=1$. A finitely supported atomic curvature measure produces polygonal behavior, but atomic curvature with dense support may instead produce a strictly convex graph. Atomicity by itself therefore does not determine the threshold. Purely singular continuous curvature gives another natural unresolved regime. Such a curve may be strictly convex and, by Proposition 7.3, contains no positive curved trace. These observations lead to the sharper question of whether strict convexity alone forces

$$T(\Gamma)=1.$$

We emphasize the sharpness and the locality of the results. The lower bound $T(\Gamma)\geq 1$ uses only that $\Gamma$ is a graph over an interval of positive length, and therefore none of our positive results can improve the dimension threshold. The curved-trace theorem reaches this lower bound from a hypothesis which may hold on a very small topological portion of the curve: the trace can be nowhere dense and need not contain any subarc. What matters is that it has positive length and lies on a uniformly curved $C^{2}$ graph.

The Fourier statements are deliberately local in the opposite direction. In Theorems 1.1 and 1.6, the bad Fourier behavior is required on every nontrivial subarc. This prevents the optimal threshold from being explained by selecting some other ordinary subarc on which arclength has the familiar curvature decay. The two examples serve different purposes. The non-Rajchman example gives the strongest failure of Fourier decay, but it contains line segments. The strictly convex example removes those segments and shows that strict convexity alone does not restore any polynomial arclength decay. In both cases the positive curved trace is what retains the sharp Minkowski-sum conclusion.

The endpoint theorem has a different role. It does not strengthen the universal statement for arbitrary sets of Hausdorff dimension one. Instead, it shows that once the translating set itself contains positive-length rectifiable structure, very little curvature is needed from $\Gamma$: the curve need only fail to lie in a line. We include this result because it clarifies which part of the phenomenon belongs to the geometry of the curve and which part belongs to the geometry of the translating set.

The overlap framework used here builds on the variable-surface setting of [7], but the present paper develops a translation-invariant version adapted to convex curves of very low regularity. In particular, the argument requires neither smoothness of the entire curve nor pointwise Fourier decay of arclength; the essential geometric input is the presence of a positive curved trace.

Section 2 proves the translated-tube principle, the positive curved-trace theorem, and the quantitative curve-projection corollary. Section 3 treats the absolutely continuous part of the curvature measure. Section 4 gives the convex non-Rajchman example. Section 5 constructs the strictly convex example and proves the failure of polynomial Fourier decay on every subarc. Section 6 proves the rectifiable endpoint theorem. Section 7 records the direct Fourier benchmark, gives a quantitative result for singular curvature, and formulates the remaining strict-convexity question.

2. Translated tubes and positive curved traces

As above, for a compact set $A\subset\mathbb{R}^{2}$ and $\delta>0$, we write

(2.1) $$A^{\delta}=\{x\in\mathbb{R}^{2}:\operatorname{dist}(x,A)\leq\delta\}.$$

Proposition 2.1.

Let $\Gamma$ be the graph of a continuous function on a nondegenerate compact interval. Then

$$T(\Gamma)\geq 1.$$

Proof.

Choose a compact set $B\subset[0,1]$ with $|B|=0$ and $\dim_{\mathrm{H}}(B)=1$, and put $E=\{0\}\times B$. If

$$\Gamma=\{(x,\gamma(x)):x\in[a,b]\},$$

then the vertical section of $E+\Gamma$ above $x\in[a,b]$ is $\gamma(x)+B$. It has one-dimensional Lebesgue measure zero. Fubini’s theorem gives $|E+\Gamma|=0$, while $\dim_{\mathrm{H}}(E)=1$. ∎

We next isolate the physical-space argument which turns a translated-neighborhood estimate into a positive-measure theorem. This is the translation-invariant form of the geometric intersection mechanism used in [7]. Closely related intersection estimates for translates of smooth curved tubes appear in [19, Section 4]. Our purpose here is to formulate the precise uniform area estimate needed for the second-moment argument and then to apply it to positive-length traces inside curves of very low regularity.

Theorem 2.2 (Overlap-to-coverage principle).

Let $A\subset\mathbb{R}^{2}$ be compact. Suppose that there are constants $c,C>0$ and $\delta_{0}>0$ such that

(2.2) $$|A^{\delta}|\geq c\delta$$

for $0<\delta<\delta_{0}$, and

(2.3) $$|A^{\delta}\cap(h+A^{\delta})|\leq C\frac{\delta^{2}}{\delta+|h|}$$

for every $h\in\mathbb{R}^{2}$ and $0<\delta<\delta_{0}$.

Let $E\subset\mathbb{R}^{2}$ be compact, let $\mu$ be a nonzero finite positive measure supported on $E$, and, for $0<\delta<\delta_{0}$, put

(2.4) $$J_{\delta}(\mu)=\iint\frac{d\mu(x)d\mu(y)}{\delta+|x-y|}.$$

Then

(2.5) $$|E+A^{\delta}|\geq c^{\prime}\frac{\mu(E)^{2}}{J_{\delta}(\mu)}.$$

If $I_{1}(\mu)<\infty$, then

(2.6) $$|E+A|\geq c^{\prime}\frac{\mu(E)^{2}}{I_{1}(\mu)}.$$

Consequently,

$$\dim_{\mathrm{H}}(E)>1\quad\Longrightarrow\quad|E+A|>0.$$

The constant $c^{\prime}>0$ depends only on the constants in (2.2) and (2.3).

Notice that the overlap hypothesis with $h=0$ already gives $|A^{\delta}|\leq C\delta$. Thus the lower bound in (2.2) is the only separate tube-volume assumption.

Proof.

For $0<\delta<\delta_{0}$, define

(2.7) $$F_{\delta}(z)=\int_{E}\frac{1_{x+A^{\delta}}(z)}{|A^{\delta}|}d\mu(x).$$

The function $F_{\delta}$ is supported on $E+A^{\delta}$ and

(2.8) $$\int F_{\delta}(z)dz=\mu(E).$$

Fubini’s theorem gives

$$\|F_{\delta}\|_{2}^{2} =\iint\frac{|A^{\delta}\cap((y-x)+A^{\delta})|}{|A^{\delta}|^{2}}d\mu(x)d\mu(y)$$

$$\leq C_{0}\iint\frac{d\mu(x)d\mu(y)}{\delta+|x-y|}$$

(2.9) $$=C_{0}J_{\delta}(\mu)<\infty.$$

By Cauchy–Schwarz and (2.8),

$$\mu(E)^{2}\leq|E+A^{\delta}|\|F_{\delta}\|_{2}^{2}.$$

Equation (2.9) proves (2.5).

Suppose now that $I_{1}(\mu)<\infty$. This assumption implies that $\mu$ has no atoms, and hence the diagonal has $\mu\times\mu$ measure zero. Since

$$\frac{1}{\delta+|x-y|}\leq\frac{1}{|x-y|}$$

away from the diagonal, it follows that $J_{\delta}(\mu)\leq I_{1}(\mu)$. Thus (2.5) gives

$$|E+A^{\delta}|\geq\frac{\mu(E)^{2}}{C_{0}I_{1}(\mu)},$$

a lower bound independent of $\delta$. Choose a decreasing sequence $0<\delta_{j}<\delta_{0}$ with $\delta_{j}\downarrow 0$. The compact sets $E+A^{\delta_{j}}$ decrease, and

(2.10) $$\bigcap_{j}(E+A^{\delta_{j}})=E+A.$$

Indeed, if $z=x_{j}+y_{j}$ belongs to every set on the left, with $x_{j}\in E$ and $\operatorname{dist}(y_{j},A)\leq\delta_{j}$, then $x_{j}$ lies in the compact set $E$ and $y_{j}$ lies in the compact set $A^{\delta_{1}}$. Passing to a common subsequence, we may suppose that $x_{j}\to x\in E$ and $y_{j}\to y$. Since $\operatorname{dist}(y_{j},A)\to 0$ and $A$ is closed, one has $y\in A$. Thus $z=x+y$. The reverse inclusion in (2.10) is immediate. Continuity from above of Lebesgue measure now proves (2.6).

If $\dim_{\mathrm{H}}(E)>1$, choose $s$ with $1<s<\dim_{\mathrm{H}}(E)$. Frostman’s lemma gives a nonzero $s$-Frostman measure $\mu$ on $E$. Thus $\mu(B(x,r))\leq C_{\mu}r^{s}$. Splitting the region $|x-y|<1$ into the annuli

$$2^{-j-1}\leq|x-y|<2^{-j},\qquad j\geq 0,$$

and using the trivial bound $|x-y|^{-1}\leq 1$ when $|x-y|\geq 1$, we obtain

$$I_{1}(\mu)\leq\mu(E)^{2}+C\mu(E)\sum_{j=0}^{\infty}2^{-j(s-1)}<\infty.$$

The quantitative statement applies. ∎

The exponent in the overlap estimate is exactly matched to the $1$-energy of the translating measure. When $|h|$ is large compared with $\delta$, two curved $\delta$-tubes overlap in area $O(\delta^{2}/|h|)$; after normalizing each translate by $|A^{\delta}|\asymp\delta$, the resulting second moment is controlled by the kernel $|x-y|^{-1}$. This is the physical-space counterpart of the half-derivative of smoothing that appears in the classical Fourier argument for planar curves. The proof above needs only this averaged overlap control and does not require pointwise information about the Fourier transform of arclength.

Figure 2 shows the geometry behind the estimate. When the horizontal component of the translation is $u$, uniform curvature forces the slopes of the two graphs at a potential intersection to differ by a quantity comparable to $|u|$. Thus, once $|h|$ is larger than the tube thickness, the two tubes can remain close only over a horizontal interval of length $O(\delta/|h|)$. Multiplying by the transverse thickness $O(\delta)$ gives the required area bound.

Figure 2. Schematic translated-tube geometry. Uniform curvature makes the relative slope of the two translated graphs grow linearly with the horizontal part of the translation. Away from the regime $|h|\lesssim\delta$, the intersection therefore has longitudinal size $O(\delta/|h|)$ and transverse size $O(\delta)$.

We now prove the overlap estimate for a uniformly curved graph.

Theorem 2.3 (Uniformly curved graphs).

Let $g\in C^{2}([a,b])$ and suppose that

(2.11) $$|g^{\prime\prime}(x)|\geq c_{0}>0$$

for every $x\in[a,b]$. Let

$$\Sigma=\{(x,g(x)):a\leq x\leq b\}.$$

There are constants $C>0$ and $\delta_{0}>0$ such that

(2.12) $$|\Sigma^{\delta}\cap(h+\Sigma^{\delta})|\leq C\frac{\delta^{2}}{\delta+|h|}$$

for every $h\in\mathbb{R}^{2}$ and $0<\delta<\delta_{0}$.

Proof.

Since $g^{\prime\prime}$ is continuous and never vanishes, it has constant sign. After replacing $g$ by $-g$ if necessary, suppose that $g^{\prime\prime}\geq c_{0}$. Write $h=(u,v)$ and let $L=\|g^{\prime}\|_{\infty}$. Throughout the proof we use

(2.13) $$\max\{\delta,|h|\}\leq\delta+|h|\leq 2\max\{\delta,|h|\}.$$

Thus the right side of (2.12) is comparable to $\delta$ when $|h|\lesssim\delta$ and to $\delta^{2}/|h|$ when $|h|\gtrsim\delta$. These are the two regimes treated below.

The Euclidean $\delta$-neighborhood of $\Sigma$ is contained in

$$V_{\delta}=\{(x,y):a\leq x\leq b,\ |y-g(x)|\leq C_{0}\delta\},$$

together with the two disks

$$D_{a,\delta}=B((a,g(a)),C_{0}\delta),\qquad D_{b,\delta}=B((b,g(b)),C_{0}\delta),$$

where $C_{0}$ depends only on $L$. Indeed, if $(x,y)$ is within $\delta$ of $(t,g(t))\in\Sigma$ and $x\in[a,b]$, then

$$|y-g(x)|\leq|y-g(t)|+L|x-t|\leq(1+L)\delta.$$

If $x<a$ or $x>b$, then $t$ lies within $\delta$ of the corresponding endpoint, and $(x,y)$ lies in one of the two displayed disks after increasing $C_{0}$. We first estimate the overlap of the two vertical neighborhoods.

Suppose that a point of $V_{\delta}\cap(h+V_{\delta})$ has horizontal coordinate $x$. Then $x$ and $x-u$ both lie in $[a,b]$, and

(2.14) $$|g(x)-g(x-u)-v|\leq 2C_{0}\delta.$$

Assume first that $u>0$. On the interval on which both terms are defined, the function

$$G_{u}(x)=g(x)-g(x-u)$$

satisfies

$$G_{u}^{\prime}(x)=g^{\prime}(x)-g^{\prime}(x-u)=\int_{x-u}^{x}g^{\prime\prime}(t)dt\geq c_{0}u.$$

Consequently, if $x_{1}<x_{2}$ both satisfy (2.14), then

$$c_{0}u(x_{2}-x_{1})\leq G_{u}(x_{2})-G_{u}(x_{1})\leq 4C_{0}\delta.$$

The set of possible horizontal coordinates therefore has length at most $C\delta/u$. The same conclusion holds for $u<0$, with $|u|$ in place of $u$. When $u=0$, we use the trivial bound by $b-a$. Since every vertical section of the overlap has length at most $2C_{0}\delta$, we obtain

(2.15) $$|V_{\delta}\cap(h+V_{\delta})|\leq C\delta\min\left\{1,\frac{\delta}{|u|}\right\},$$

where the minimum is understood to be $1$ when $u=0$.

If this overlap is nonempty, (2.14) and the Lipschitz property give

$$|v|\leq|g(x)-g(x-u)|+2C_{0}\delta\leq L|u|+2C_{0}\delta.$$

It follows that

$$|h|\leq|u|+|v|\leq(1+L)|u|+2C_{0}\delta.$$

Choose $C_{1}>4C_{0}$. If $|h|\geq C_{1}\delta$ and the overlap is nonempty, then

$$|u|\geq\frac{|h|}{2(1+L)}.$$

Equation (2.15) therefore gives

$$|V_{\delta}\cap(h+V_{\delta})|\leq C\frac{\delta^{2}}{|h|}.$$

If $|h|<C_{1}\delta$, the trivial estimate $|V_{\delta}\cap(h+V_{\delta})|\leq|V_{\delta}|\leq C\delta$ is the right side of (2.12), up to a constant, by (2.13).

It remains to estimate the intersections in which at least one of the two sets is an endpoint disk. Each such intersection is contained in a disk of radius $C_{0}\delta$, and hence has area at most $C\delta^{2}$. Moreover, every point of $V_{\delta}\cup D_{a,\delta}\cup D_{b,\delta}$ lies within $C_{0}\delta$ of $\Sigma$. If one of the endpoint-disk intersections is nonempty, there are points $p,q\in\Sigma$ such that

$$|h-(p-q)|\leq 2C_{0}\delta.$$

Thus

$$|h|\leq\operatorname{diam}(\Sigma)+2C_{0}\delta.$$

After decreasing $\delta_{0}$ so that $\delta_{0}\leq 1$, this implies $\delta+|h|\leq C_{\Sigma}$. Hence

$$\delta^{2}\leq C_{\Sigma}\frac{\delta^{2}}{\delta+|h|}.$$

There are only finitely many endpoint-disk intersections, so their total contribution satisfies the required bound. Together with the estimate for the vertical neighborhoods, this proves (2.12). ∎

The next elementary volume estimate allows us to pass from a curved graph to a positive-length subset of it.

Lemma 2.4.

Let $g$ be Lipschitz on $[a,b]$, let $S\subset[a,b]$ be compact with $|S|>0$, and put

$$A=\{(x,g(x)):x\in S\}.$$

Then there are constants $c,C>0$ such that

$$c\delta\leq|A^{\delta}|\leq C\delta$$

for every $0<\delta\leq 1$.

Proof.

Let $L$ be a Lipschitz constant for $g$. If a point $(x,y)$ lies within $\delta$ of the full graph and $x\in[a,b]$, then

$$|y-g(x)|\leq(1+L)\delta.$$

If $x$ lies outside $[a,b]$, the point lies in a $C\delta$-disk about one of the two endpoints of the graph. Thus the $\delta$-neighborhood of the full graph is contained in

$$\{(x,y):a\leq x\leq b,\ |y-g(x)|\leq(1+L)\delta\}$$

together with two disks of radius $C\delta$. Its area is at most

$$2(1+L)(b-a)\delta+2\pi C^{2}\delta^{2}\leq C^{\prime}\delta$$

for $0<\delta\leq 1$. Since $A$ is contained in the full graph, this proves the upper bound.

For the lower bound, if $x\in S$, then the vertical section of $A^{\delta}$ above $x$ contains the interval

$$[g(x)-\delta,g(x)+\delta].$$

Fubini’s theorem therefore gives

$$|A^{\delta}|\geq 2|S|\delta.$$

∎

Theorem 2.5 (Positive curved traces).

Let $\Gamma\subset\mathbb{R}^{2}$ be a compact rectifiable curve. Suppose that there are a compact $C^{2}$ graph

$$\Sigma=\{(x,g(x)):x\in[a,b]\},$$

a compact set $S\subset[a,b]$ of positive Lebesgue measure, and

(2.16) $$A=\{(x,g(x)):x\in S\}\subset\Gamma$$

such that $|g^{\prime\prime}|\geq c_{0}>0$ on $[a,b]$. If $E\subset\mathbb{R}^{2}$ is compact and $\dim_{\mathrm{H}}(E)>1$, then

$$|E+\Gamma|>0.$$

More quantitatively, if $I_{1}(\mu)<\infty$ for a nonzero finite positive measure $\mu$ supported on $E$, then

(2.17) $$|E+\Gamma|\geq c\frac{\mu(E)^{2}}{I_{1}(\mu)}.$$

Proof.

Since $A\subset\Sigma$, Theorem 2.3 gives

$$|A^{\delta}\cap(h+A^{\delta})|\leq|\Sigma^{\delta}\cap(h+\Sigma^{\delta})|\leq C\frac{\delta^{2}}{\delta+|h|}.$$

Lemma 2.4 gives $|A^{\delta}|\asymp\delta$. Theorem 2.2 therefore gives $|E+A|>0$ whenever $\dim_{\mathrm{H}}(E)>1$. If $\mu$ is a nonzero finite positive measure supported on $E$ with $I_{1}(\mu)<\infty$, the quantitative part of the same theorem gives

$$|E+A|\geq c\frac{\mu(E)^{2}}{I_{1}(\mu)}.$$

Finally,

$$E+A\subset E+\Gamma.$$

This proves both assertions. ∎

Corollary 2.6.

Let $\Gamma$ be a nondegenerate compact graph having a positive curved trace. Then

$$T(\Gamma)=1.$$

Proof.

Let $A\subset\Gamma\cap\Sigma$ be a positive curved trace as in Definition 1.2, and let $S$ be its projection onto the first coordinate. The parametrization $x\mapsto(x,g(x))$ is bi-Lipschitz on its compact parameter interval. Hence $S$ is compact, and

$$\mathcal{H}^{1}(A)\leq\sqrt{1+\|g^{\prime}\|_{\infty}^{2}}\,|S|.$$

It follows that $|S|>0$, and

$$A=\{(x,g(x)):x\in S\}.$$

The upper bound follows from Theorem 2.5. The lower bound is Proposition 2.1. ∎

Corollary 2.7 (Quantitative curve projections).

Let $\Gamma$ be a nondegenerate compact rectifiable graph having a positive curved trace, and let $E\subset\mathbb{R}^{2}$ be compact. There are constants $c>0$ and $0<\delta_{0}<\frac{1}{2}$, depending only on the curved trace, such that for every nonzero finite positive measure $\mu$ supported on $E$ and every $0<\delta<\delta_{0}$,

(2.18) $$\operatorname{Fav}_{\Gamma}(E^{\delta})\geq c\frac{\mu(E)^{2}}{J_{\delta}(\mu)},$$

where $J_{\delta}(\mu)$ is defined in (2.4).

In particular, suppose that $\mu$ is a Borel probability measure supported on $E$ and satisfying

(2.19) $$\mu(B(x,r))\leq C_{\mu}r^{s}$$

for every $x\in\mathbb{R}^{2}$ and $0<r\leq 1$, where $0<s\leq 1$. After decreasing $c$ and $\delta_{0}$, if necessary, in a way depending only on $s$ and $C_{\mu}$, one has

(2.20) $$\operatorname{Fav}_{\Gamma}(E^{\delta})\geq c\begin{cases}\delta^{1-s},&0<s<1,\\[4.0pt] \displaystyle\left(\log\frac{1}{\delta}\right)^{-1},&s=1,\end{cases}$$

for every $0<\delta<\delta_{0}$.

Proof.

Let $A\subset\Gamma\cap\Sigma$ be a positive curved trace, and let $S$ be its projection onto the first coordinate. As in the proof of Corollary 2.6, one has $|S|>0$ and

$$A=\{(x,g(x)):x\in S\}.$$

Theorem 2.3 and Lemma 2.4 therefore show that $A$ satisfies the hypotheses of Theorem 2.2. For every compact set $X\subset\mathbb{R}^{2}$, one has $X^{\delta}=X+\overline{B(0,\delta)}$. Consequently, both $E^{\delta}+A$ and $E+A^{\delta}$ equal $(E+A)^{\delta}$. Since $A\subset\Gamma$, one has

$$\operatorname{Fav}_{\Gamma}(E^{\delta}) =|E^{\delta}+\Gamma|$$

(2.21) $$\geq|E^{\delta}+A|=|E+A^{\delta}|.$$

Combining (2.21) with (2.5) proves (2.18).

Suppose now that $\mu$ is a probability measure satisfying (2.19). Fix $0<\delta<\frac{1}{2}$, and choose an integer $N\geq 0$ such that

$$2^{N}\delta\leq 1<2^{N+1}\delta.$$

For each $x\in\mathbb{R}^{2}$, split the integral in (2.4) into the ball $B(x,\delta)$, the annuli

$$2^{j}\delta\leq|x-y|<2^{j+1}\delta,\qquad 0\leq j<N,$$

and the remaining region $|x-y|\geq 2^{N}\delta$. Since $2^{N}\delta>\frac{1}{2}$, the last region contributes at most $2$. The Frostman bound (2.19) gives

(2.22) $$\int\frac{d\mu(y)}{\delta+|x-y|} \leq C+CC_{\mu}\delta^{s-1}\left(1+\sum_{j=0}^{N-1}2^{j(s-1)}\right).$$

If $0<s<1$, the sum in (2.22) is bounded by a constant depending only on $s$. Since $\delta^{s-1}\geq 1$, integration in $x$ gives

$$J_{\delta}(\mu)\leq C\delta^{s-1}.$$

If $s=1$, then $N\leq C\log\frac{1}{\delta}$, and hence

$$J_{\delta}(\mu)\leq C\log\frac{1}{\delta}.$$

Combining these estimates with (2.18) proves (2.20). ∎

Remark 2.8 (Comparison with transversal projection theorems).

Under the stronger assumption that $\Gamma$ is piecewise $C^{1}$ with piecewise bi-Lipschitz unit tangent, the estimates in Corollary 2.7 follow from the transversality theory of Bongers and Taylor [3, Theorem 1.7]. The corollary extends these bounds in a different direction. Only a positive-length trace is required to lie on a uniformly curved $C^{2}$ graph; the trace may be nowhere dense, and no global transversality condition is imposed on the ambient graph. The result controls the average projection length (1.5). It does not give an exceptional-parameter statement of two-projection type. Very recent work of Łaba, McDonald, and Taylor develops a local comparison principle for smooth generalized projection families and transfers upper bounds from classical Favard length to that setting [9]. That work also assumes regularity and transversality of the full family and is complementary to the lower bounds obtained here from a positive curved trace.

Remark 2.9.

Several features of Corollary 2.6 are useful to keep in mind. The curved portion of $\Gamma$ need not be an arc, and no regularity of $\Gamma$ away from the trace is used. In fact, the proof only needs a compact set

$$A\subset\Gamma\cap\Sigma$$

whose projection to the parameter interval has positive Lebesgue measure. The ambient graph $\Sigma$ supplies the curvature needed for the overlap estimate, while the positive measure of the projection supplies the lower bound $|A^{\delta}|\gtrsim\delta$. Thus the argument is genuinely local in the curve but measure-theoretic rather than topological: a nowhere-dense trace is just as effective as an interval.

The positive-length hypothesis also explains the limitation of this particular method. If the trace had zero length, the normalization in (2.7) could be much larger than $\delta^{-1}$, and the overlap bound inherited from $\Sigma$ would no longer reduce the second moment to the $1$-energy of $\mu$ without additional information on the size of $A^{\delta}$. One could try to replace positive length by a quantitative Minkowski estimate for a thinner trace, but the resulting kernel would change and the dimension threshold for $E$ would change with it. We do not pursue that direction here. The purpose of the positive curved trace is precisely to isolate the geometric hypothesis which yields the sharp threshold one.

3. The absolutely continuous part of the curvature measure

Let $\gamma:[a,b]\to\mathbb{R}$ be convex and Lipschitz. Its right derivative is nondecreasing. The distributional derivative of this monotone slope is the finite positive measure $D^{2}\gamma$. By the Lebesgue decomposition theorem, we write

(3.1) $$D^{2}\gamma=k(x)\,dx+\kappa_{s},$$

where $k(x)\,dx$ is absolutely continuous and $\kappa_{s}$ is singular with respect to Lebesgue measure. Thus $k\in L^{1}(a,b)$ is the density of the absolutely continuous part, and $\kappa_{s}$ is the singular part. The density $k$ is the almost-everywhere derivative of the monotone slope function. To compare this measure with the intrinsic curvature measure, put $p=\gamma^{\prime}_{+}$ and $\theta=\arctan p$. Since $p$ is bounded, the derivative of $\arctan$ is bounded above and below by positive constants on the range of $p$. The mean value theorem therefore gives

$$c\bigl(p(y)-p(x)\bigr)\leq\theta(y)-\theta(x)\leq C\bigl(p(y)-p(x)\bigr)$$

whenever $a<x<y<b$. It follows first on intervals, and then on all Borel sets by regularity, that $D^{2}\gamma=Dp$ is comparable to the turning-angle measure $D\theta$ of the graph. In particular, the two measures have nonzero absolutely continuous parts simultaneously. The following is the one-variable case of Alexandrov’s theorem [1], whose $n$-dimensional form states that a convex function has a second-order Taylor expansion almost everywhere. We include the short proof.

Lemma 3.1 (Second-order (Peano) differentiability).

For almost every $x_{0}\in(a,b)$, the function $\gamma$ is differentiable at $x_{0}$ and

(3.2) $$\gamma(x_{0}+h)=\gamma(x_{0})+\gamma^{\prime}(x_{0})h+\frac{1}{2}k(x_{0})h^{2}+o(h^{2})$$

as $h\to 0$.

Proof.

Let $p=\gamma^{\prime}_{+}$ be the right derivative of $\gamma$. The function $p$ is nondecreasing, it agrees with $\gamma^{\prime}$ almost everywhere, and its distributional derivative is $D^{2}\gamma$. By the differentiability theorem for monotone functions, $p$ is differentiable almost everywhere. Moreover, at almost every point of differentiability, $p^{\prime}$ is the Radon–Nikodym density of the absolutely continuous part of $Dp=D^{2}\gamma$. Intersecting this full-measure set with the set on which $\gamma$ is differentiable and $p=\gamma^{\prime}$, we obtain, for almost every $x_{0}$,

$$p(x_{0})=\gamma^{\prime}(x_{0}),\qquad p^{\prime}(x_{0})=k(x_{0}).$$

Fix such a point. Since $\gamma$ is absolutely continuous and $p=\gamma^{\prime}$ almost everywhere, for $h>0$ one has

$$\gamma(x_{0}+h)-\gamma(x_{0})=\int_{0}^{h}p(x_{0}+t)dt.$$

The differentiability of $p$ at $x_{0}$ gives

$$p(x_{0}+t)=p(x_{0})+k(x_{0})t+o(|t|).$$

Integration proves (3.2) for $h>0$. The argument for $h<0$ follows from

$$\gamma(x_{0}+h)-\gamma(x_{0})=-\int_{h}^{0}p(x_{0}+t)dt$$

and the same expansion of $p(x_{0}+t)$ as $t\to 0$. ∎

We use the following one-dimensional Lusin approximation theorem.

Theorem 3.2 (Goldstein–Hajłasz).

Let $f:(a,b)\to\mathbb{R}$ be convex. For every $\varepsilon>0$ there is a convex function $g\in C^{2}(a,b)$ such that

$$|\{x\in(a,b):f(x)\neq g(x)\}|<\varepsilon.$$

This is Theorem 1.3 of [6]. Only the stated Lusin property is needed below.

Theorem 3.3 (Positive absolutely continuous curvature).

Let $\Gamma$ be the graph of a convex Lipschitz function $\gamma:[a,b]\to\mathbb{R}$. Suppose that the density in (3.1) satisfies

(3.3) $$\left|\{x\in(a,b):k(x)>0\}\right|>0.$$

Then

$$T(\Gamma)=1.$$

Proof.

Since

$$\{x\in(a,b):k(x)>0\}=\bigcup_{m=1}^{\infty}\{x\in(a,b):k(x)\geq m^{-1}\},$$

there is $c_{0}>0$ such that

$$S=\{x\in(a,b):k(x)\geq c_{0}\}$$

has positive measure. Apply Theorem 3.2 with $\varepsilon<|S|/2$. There is a convex function $g\in C^{2}(a,b)$ such that the equality set

$$G=\{x\in(a,b):\gamma(x)=g(x)\}$$

satisfies $|G\cap S|>0$.

Choose $x_{0}\in G\cap S$ which is a Lebesgue density point of $G\cap S$ and at which the expansion (3.2) holds. Such points form a full-measure subset of $G\cap S$. Since $g\in C^{2}$, the function $h=\gamma-g$ has an expansion

(3.4) $$h(x_{0}+u)=h(x_{0})+h_{1}u+\frac{1}{2}h_{2}u^{2}+o(u^{2}),$$

where

$$h_{1}=\gamma^{\prime}(x_{0})-g^{\prime}(x_{0}),\qquad h_{2}=k(x_{0})-g^{\prime\prime}(x_{0}).$$

The function $h$ vanishes on $G$, and $h(x_{0})=0$. Choose $x_{j}\in G\cap S$, $x_{j}\neq x_{0}$, with $x_{j}\to x_{0}$. Substituting $u_{j}=x_{j}-x_{0}$ into (3.4) gives

$$0=h_{1}u_{j}+\frac{1}{2}h_{2}u_{j}^{2}+o(u_{j}^{2}).$$

Dividing first by $u_{j}$ and letting $j\to\infty$ gives $h_{1}=0$. Substituting this back into the preceding identity, dividing by $u_{j}^{2}$, and letting $j\to\infty$ gives $h_{2}=0$. Thus

$$h_{1}=0,\qquad h_{2}=0.$$

It follows that

$$g^{\prime\prime}(x_{0})=k(x_{0})\geq c_{0}.$$

By continuity, there is a compact interval $I_{0}\subset(a,b)$ containing $x_{0}$ in its interior such that

$$g^{\prime\prime}(x)\geq\frac{c_{0}}{2}$$

for every $x\in I_{0}$. Since $x_{0}$ is a density point of $G\cap S$, $|G\cap S\cap I_{0}|>0$. By inner regularity, this set contains a compact subset $S_{0}$ of positive measure. Put

$$A_{0}=\{(x,g(x)):x\in S_{0}\}.$$

The set $A_{0}$ is compact. Since the graphs of $\gamma$ and $g$ coincide above $S_{0}$, one has $A_{0}\subset\Gamma$. The first-coordinate projection from $A_{0}$ onto $S_{0}$ is $1$-Lipschitz and surjective, and hence $\mathcal{H}^{1}(A_{0})\geq|S_{0}|>0$. Thus $\Gamma$ has a positive curved trace. Corollary 2.6 proves the theorem. ∎

Corollary 3.4.

Let $K\subset\mathbb{R}^{2}$ be a bounded convex body. Suppose that some graph subarc of $\partial K$ has a curvature measure with a nonzero absolutely continuous part. Then, for every compact $E\subset\mathbb{R}^{2}$,

$$\dim_{\mathrm{H}}(E)>1\quad\Longrightarrow\quad|E+\partial K|>0.$$

Proof.

Let $\Gamma\subset\partial K$ be the subarc in the hypothesis. After an orthogonal transformation $Q$, which may include a reflection, and a translation by $z_{0}$, we may write

$$\Gamma^{\prime}=Q\Gamma+z_{0}=\{(x,\gamma(x)):a\leq x\leq b\}$$

with $\gamma$ convex. These transformations preserve arclength and the turning-angle measure. Let $\nu$ denote the nonzero absolutely continuous part of the turning-angle measure on $\Gamma^{\prime}$. Since $\nu$ is absolutely continuous with respect to arclength, it gives no mass to the two endpoints. For all sufficiently large integers $m$, let

$$\Gamma^{\prime}_{m}=\{(x,\gamma(x)):a+m^{-1}\leq x\leq b-m^{-1}\}.$$

These subarcs increase to the graph with its endpoints removed. Hence, for some sufficiently large $m$, the restriction of $\nu$ to $\Gamma^{\prime}_{m}$ is nonzero. Put

$$[a^{\prime},b^{\prime}]=[a+m^{-1},b-m^{-1}]$$

and denote the corresponding subarc by $\Gamma^{\prime\prime}$.

A finite convex function is Lipschitz on every compact subinterval of the interior of its domain, so $\gamma$ is Lipschitz on $[a^{\prime},b^{\prime}]$. On this interval the graph parametrization

$$x\longmapsto(x,\gamma(x))$$

is bi-Lipschitz, and arclength measure is comparable to Lebesgue measure in $x$. The comparison between $D^{2}\gamma$ and the turning-angle measure proved above therefore shows that the absolutely continuous part $k(x)\,dx$ of $D^{2}\gamma$ is nonzero on $[a^{\prime},b^{\prime}]$. Equivalently,

$$\left|\{x\in[a^{\prime},b^{\prime}]:k(x)>0\}\right|>0.$$

Put $E^{\prime}=QE$. Theorem 3.3, applied to $\Gamma^{\prime\prime}$, gives

$$|E^{\prime}+\Gamma^{\prime\prime}|>0.$$

Since $\Gamma^{\prime\prime}\subset\Gamma^{\prime}$ and

$$E^{\prime}+\Gamma^{\prime}=Q(E+\Gamma)+z_{0},$$

orthogonal invariance and translation invariance of Lebesgue measure imply $|E+\Gamma|>0$. Finally, $E+\Gamma\subset E+\partial K$. ∎

Remark 3.5.

Theorem 3.3 is deliberately local. A convex curve may have flat pieces, corners, and singular curvature elsewhere. A positive amount of absolutely continuous curvature on one measurable part is enough. Atomic curvature is compatible with polygonal pieces and therefore does not by itself force the threshold one. For example, every nondegenerate line segment has threshold two. The upper bound $T(\Gamma)\leq 2$ is automatic, since no subset of $\mathbb{R}^{2}$ has Hausdorff dimension greater than two. To prove the reverse inequality, fix $t<2$. After applying a rigid motion, which preserves Hausdorff dimension and planar measure, suppose that

$$\Gamma=[0,1]\times\{0\}.$$

Choose Cantor-type self-similar compact null sets $B,C\subset\mathbb{R}$ satisfying the open set condition and such that

$$\dim_{\mathrm{H}}(B)+\dim_{\mathrm{H}}(C)>t.$$

For such sets the Hausdorff and packing dimensions agree. More generally, if $B$ and $C$ are compact and $\dim_{\mathrm{H}}(C)=\dim_{\mathrm{P}}(C)$, then the standard product inequalities

$$\dim_{\mathrm{H}}(B)+\dim_{\mathrm{H}}(C)\leq\dim_{\mathrm{H}}(B\times C)\leq\dim_{\mathrm{H}}(B)+\dim_{\mathrm{P}}(C)$$

show that $\dim_{\mathrm{H}}(B\times C)=\dim_{\mathrm{H}}(B)+\dim_{\mathrm{H}}(C)$; see [13]. Thus, for $E=B\times C$, one has $\dim_{\mathrm{H}}(E)>t$, whereas

$$E+\Gamma=(B+[0,1])\times C$$

has planar measure zero by Fubini’s theorem. Since $t<2$ was arbitrary, $T(\Gamma)\geq 2$, and hence $T(\Gamma)=2$. At the same time, Remark 5.3 shows that a purely atomic curvature measure with dense support may produce a strictly convex primitive rather than a polygonal piece. Thus atomicity alone does not classify the threshold. Neither the general dense-atomic case nor the purely singular continuous case is settled by Theorem 3.3.

4. A convex curve with no Fourier decay on any subarc

Let $F\subset[1,2]$ be a compact nowhere dense set of positive Lebesgue measure which contains the endpoints $1$ and $2$. Write the complementary intervals as

$$[1,2]\setminus F=\bigcup_{j}(a_{j},b_{j}).$$

Define a nondecreasing function $p_{0}:[1,2]\to[1,2]$ by

(4.1) $$p_{0}(x)=\begin{cases}x,&x\in F,\\[3.0pt] \frac{a_{j}+b_{j}}{2},&a_{j}<x<b_{j}.\end{cases}$$

Set

(4.2) $$\gamma_{0}(x)=\frac{1}{2}+\int_{1}^{x}p_{0}(t)dt,\qquad 1\leq x\leq 2,$$

and let $\Gamma_{0}$ be its graph.

Lemma 4.1.

The function $\gamma_{0}$ is convex and Lipschitz. Moreover,

(4.3) $$\gamma_{0}(x)=\frac{x^{2}}{2}$$

for every $x\in F$, and $\gamma_{0}$ is affine on every complementary interval $(a_{j},b_{j})$.

Proof.

The function $p_{0}$ is nondecreasing. Indeed, on a complementary interval $(a,b)$ its value lies between the endpoint values $p_{0}(a)=a$ and $p_{0}(b)=b$. If $x<y$ do not belong to the same complementary interval, then the closure of the gap containing $x$, if there is one, lies to the left of the closure of the gap containing $y$, if there is one; the same endpoint comparison gives $p_{0}(x)\leq p_{0}(y)$. Thus $p_{0}$ is nondecreasing. Since an absolutely continuous function whose derivative is nondecreasing almost everywhere is convex, $\gamma_{0}$ is convex. Since $1\leq p_{0}\leq 2$, the function $\gamma_{0}$ is Lipschitz. On a complementary interval $(a,b)$,

$$\int_{a}^{b}p_{0}(t)dt =(b-a)\frac{a+b}{2}=\int_{a}^{b}t\,dt.$$

If $x\in F$, the open set $[1,x]\setminus F$ is a countable union of complete complementary intervals. The displayed calculation shows that the integral of $p_{0}-t$ over each such interval is zero, and $p_{0}(t)=t$ on $F$. Countable additivity therefore gives

$$\int_{1}^{x}(p_{0}(t)-t)\,dt=0,$$

which proves (4.3). The final assertion follows from (4.1). ∎

The next identity is the elementary form of Wiener’s theorem that we need. We include the proof to keep the Fourier obstruction transparent.

Lemma 4.2 (Wiener’s mean-square identity).

Let $\nu$ be a finite positive Borel measure on $\mathbb{R}$, and use the Fourier transform convention

$$\widehat{\nu}(t)=\int e^{-2\pi itx}d\nu(x).$$

Then

(4.4) $$\lim_{R\to\infty}\frac{1}{2R}\int_{-R}^{R}|\widehat{\nu}(t)|^{2}dt=\sum_{x\in\mathbb{R}}\nu(\{x\})^{2}.$$

Proof.

Fubini’s theorem gives

$$\frac{1}{2R}\int_{-R}^{R}|\widehat{\nu}(t)|^{2}dt =\iint\frac{\sin(2\pi R(x-y))}{2\pi R(x-y)}d\nu(x)d\nu(y),$$

where, at $x=y$, the quotient denotes the value of

$$\frac{1}{2R}\int_{-R}^{R}e^{-2\pi it(x-y)}\,dt,$$

namely $1$. The kernel is bounded by $1$ and converges pointwise to the indicator of the diagonal. Dominated convergence gives

$$(\nu\times\nu)(\{(x,x):x\in\mathbb{R}\})=\sum_{x}\nu(\{x\})^{2}.$$

The sum is well defined because a finite measure has at most countably many atoms. ∎

Theorem 4.3.

The graph $\Gamma_{0}$ satisfies

$$T(\Gamma_{0})=1.$$

For every nondegenerate interval $I\subset[1,2]$, let

$$\Gamma_{0,I}=\{(x,\gamma_{0}(x)):x\in I\}$$

and

$$\sigma_{I}=\mathcal{H}^{1}|_{\Gamma_{0,I}}.$$

Then there is a unit vector $\omega_{I}$ such that

(4.5) $$\widehat{\sigma}_{I}(R\omega_{I})\not\longrightarrow 0\qquad\text{as }R\to\infty.$$

Proof.

By Lemma 4.1, the graph $\Gamma_{0}$ agrees with the parabola $y=\frac{x^{2}}{2}$ over the positive-measure set $F$. Thus it has a positive curved trace. Corollary 2.6 gives $T(\Gamma_{0})=1$.

Fix a nondegenerate interval $I\subset[1,2]$. Since $F$ is closed and nowhere dense, $\operatorname{int}(I)\setminus F$ is a nonempty open set. It therefore contains a nondegenerate interval $J$ lying in a single component of $[1,2]\setminus F$. By Lemma 4.1, $\gamma_{0}$ is affine on that component, so

$$L=\{(x,\gamma_{0}(x)):x\in J\}\subset\Gamma_{0,I}$$

is a nondegenerate line segment and $\mathcal{H}^{1}(L)>0$.

Let $\omega_{I}$ be a unit normal to $L$ and let

$$\pi_{I}(z)=z\cdot\omega_{I}.$$

Then $\pi_{I}\equiv c$ on $L$ for some $c\in\mathbb{R}$. Since $\gamma_{0}$ is Lipschitz, $\sigma_{I}$ is a finite positive Borel measure. Denote its pushforward under $\pi_{I}$ by

$$\nu_{I}=(\pi_{I})_{\#}\sigma_{I}.$$

This measure has an atom at $c$, because

$$\nu_{I}(\{c\})=\sigma_{I}\bigl(\pi_{I}^{-1}(\{c\})\bigr)\geq\sigma_{I}(L)=\mathcal{H}^{1}(L)>0.$$

By the definition of the pushforward,

$$\widehat{\sigma}_{I}(R\omega_{I}) =\int e^{-2\pi iRz\cdot\omega_{I}}\,d\sigma_{I}(z)$$

$$=\int e^{-2\pi iRt}\,d\nu_{I}(t)=\widehat{\nu}_{I}(R).$$

Lemma 4.2 therefore gives

(4.6) $$\lim_{R\to\infty}\frac{1}{2R}\int_{-R}^{R}|\widehat{\nu}_{I}(t)|^{2}\,dt=\sum_{x}\nu_{I}(\{x\})^{2}\geq\mathcal{H}^{1}(L)^{2}>0.$$

Suppose that $\widehat{\nu}_{I}(R)\to 0$ as $R\to+\infty$. Since $\nu_{I}$ is a positive measure,

$$\widehat{\nu}_{I}(-t)=\overline{\widehat{\nu}_{I}(t)},$$

so $|\widehat{\nu}_{I}(t)|\to 0$ as $|t|\to\infty$. Given $\varepsilon>0$, choose $T>0$ such that $|\widehat{\nu}_{I}(t)|\leq\varepsilon$ for $|t|\geq T$. Since $|\widehat{\nu}_{I}(t)|\leq\nu_{I}(\mathbb{R})$ for all $t$, one has, for $R\geq T$,

$$\frac{1}{2R}\int_{-R}^{R}|\widehat{\nu}_{I}(t)|^{2}\,dt\leq\frac{T\nu_{I}(\mathbb{R})^{2}}{R}+\varepsilon^{2}.$$

Letting $R\to\infty$ and then $\varepsilon\downarrow 0$ contradicts (4.6). This proves (4.5). ∎

Remark 4.4.

The conclusion is stronger than the absence of a polynomial decay estimate. Arclength on every nontrivial subarc fails even the Rajchman property. The positive-measure theorem is nevertheless optimal, since $T(\Gamma_{0})=1$.

5. A strictly convex curve with no polynomial decay

We now remove the line segments from the preceding construction. The first step is a strictly increasing function whose oscillation on dyadic intervals is much smaller than the separation between neighboring slope ranges.

Put

(5.1) $$S=\sum_{k=1}^{\infty}2^{-k^{2}},\qquad c_{k}=S^{-1}2^{-k^{2}},\qquad T_{n}=\sum_{k>n}c_{k}.$$

Lemma 5.1.

For every $n\geq 1$,

(5.2) $$T_{n}\leq 2c_{n+1},\qquad c_{n}-T_{n}\geq\frac{1}{2}c_{n},\qquad\frac{T_{n}}{c_{n}}\leq 2^{-2n}.$$

Proof.

For $k\geq n+1$,

$$\frac{c_{k+1}}{c_{k}}=2^{-(2k+1)}\leq 2^{-(2n+3)}.$$

Since $2^{-(2n+3)}\leq\frac{1}{32}$, summing the resulting geometric series gives

$$T_{n}\leq\frac{c_{n+1}}{1-2^{-(2n+3)}}\leq 2c_{n+1}.$$

As $c_{n+1}/c_{n}=2^{-(2n+1)}$, it follows that

$$\frac{T_{n}}{c_{n}}\leq 2\frac{c_{n+1}}{c_{n}}=2^{-2n}.$$

In particular, $T_{n}/c_{n}\leq\frac{1}{4}$ for $n\geq 1$, and hence

$$c_{n}-T_{n}\geq\frac{3}{4}c_{n}\geq\frac{1}{2}c_{n}.$$

∎

For $t\in[0,1)$, write

$$t=\sum_{k=1}^{\infty}\omega_{k}(t)2^{-k},\qquad\omega_{k}(t)\in\{0,1\},$$

using the binary expansion which is not eventually equal to $1$. Define

(5.3) $$q(t)=\sum_{k=1}^{\infty}c_{k}\omega_{k}(t),\qquad 0\leq t<1,$$

and set $q(1)=1$.

Lemma 5.2.

The function $q:[0,1]\to[0,1]$ is strictly increasing and

(5.4) $$\int_{0}^{1}q(t)dt=\frac{1}{2}.$$

Let $D$ be a dyadic interval of level $n$, interpreted as half-open except at the right endpoint of $[0,1]$. Then, up to endpoints,

(5.5) $$\operatorname{diam}q(D)\leq T_{n}$$

and, except for the dyadic endpoints,

(5.6) $$|q(s)-q(t)|\geq\frac{1}{2}c_{n}$$

whenever $s\in D$ and $t\in[0,1]\setminus D$.

Proof.

Suppose first that $0\leq s<t<1$, and let $j$ be the first binary digit at which their chosen expansions differ. Then $\omega_{j}(s)=0$ and $\omega_{j}(t)=1$. Hence

$$q(t)-q(s)\geq c_{j}-\sum_{k>j}c_{k}=c_{j}-T_{j}>0$$

by Lemma 5.1. If $s<1$, its chosen binary expansion has at least one zero digit, and therefore $q(s)<\sum_{k}c_{k}=1=q(1)$. Thus $q$ is strictly increasing on $[0,1]$. For each $k$, the set

$$\{t\in[0,1):\omega_{k}(t)=1\}$$

is the union of the $2^{k-1}$ dyadic intervals of level $k$ whose $k$-th digit equals $1$. Each interval has length $2^{-k}$, so this set has measure $\frac{1}{2}$ and

$$\int_{0}^{1}\omega_{k}(t)\,dt=\frac{1}{2}.$$

Tonelli’s theorem now gives

$$\int_{0}^{1}q(t)dt=\frac{1}{2}\sum_{k=1}^{\infty}c_{k}=\frac{1}{2}.$$

On a level-$n$ dyadic interval, the first $n$ digits are fixed, so only the tail contributes to the oscillation. This proves (5.5). Suppose next that $s\in D$ and $t\notin D$, and exclude the dyadic endpoints so that the first $n$ digits identify the cylinder without ambiguity. Their binary expansions first differ at some position $j\leq n$. The contribution of this digit has size $c_{j}$, while the total contribution of all later digits is at most $T_{j}$. Therefore

$$|q(s)-q(t)|\geq c_{j}-T_{j}\geq\frac{1}{2}c_{j}\geq\frac{1}{2}c_{n},$$

which is (5.6). The excluded endpoints form a null set and do not affect any later integral. ∎

Remark 5.3 (Atomic curvature of the Cantor-quantile pieces).

The function $q$ is strictly increasing, but its distributional derivative is purely atomic. To see this, let $j2^{-n}\in(0,1)$ be a dyadic rational of exact level $n$, so that $j$ is odd. With the binary convention used above, the jump of $q$ at this point is

$$q(j2^{-n})-q(j2^{-n}-)=c_{n}-T_{n}.$$

There are $2^{n-1}$ dyadic rationals of exact level $n$. The total mass of all these jumps is

$$\sum_{n=1}^{\infty}2^{n-1}(c_{n}-T_{n}) =\sum_{n=1}^{\infty}2^{n-1}c_{n}-\sum_{n=1}^{\infty}2^{n-1}\sum_{k>n}c_{k}$$

$$=\sum_{k=1}^{\infty}\left(2^{k-1}-\sum_{n=1}^{k-1}2^{n-1}\right)c_{k}$$

$$=\sum_{k=1}^{\infty}c_{k}=1.$$

This is the full increase $q(1)-q(0)$. Since the distributional derivative of a monotone function is the sum of its jump atoms and a non-atomic positive measure, it follows that

$$Dq=\sum_{n=1}^{\infty}\sum_{\begin{subarray}{c}1\leq j<2^{n}\\ j\ \mathrm{odd}\end{subarray}}(c_{n}-T_{n})\,\delta_{j2^{-n}}.$$

Thus $Dq$ is purely atomic and its atoms are dense in $[0,1]$. Nevertheless, $q$ is strictly increasing, and hence its primitive is strictly convex. After affine rescaling, the same description holds for the slope on every complementary interval in (5.7). The full slope $p_{1}$ also satisfies $p_{1}(x)=x$ on the positive-measure set $F$. At almost every density point of $F$ at which the monotone function $p_{1}$ is differentiable, difference quotients along $F$ show that $p_{1}^{\prime}(x)=1$. Thus the curvature measure of the full graph $\Gamma_{1}$ has an additional nonzero absolutely continuous part. The point of the present remark is that the Cantor-quantile pieces show that purely atomic curvature need not lead to polygonal behavior.

Let $F\subset[1,2]$ be the fat Cantor set used in Section 4. For every complementary interval $(a,b)$, put $\ell=b-a$ and define

(5.7) $$p_{1}(x)=\begin{cases}x,&x\in F,\\[3.0pt] a+\ell q\left(\frac{x-a}{\ell}\right),&a<x<b.\end{cases}$$

Set

(5.8) $$\gamma_{1}(x)=\frac{1}{2}+\int_{1}^{x}p_{1}(t)dt,\qquad 1\leq x\leq 2,$$

and let $\Gamma_{1}$ be its graph.

Figure 3 summarizes the relation among the slope functions used in the two constructions. The drawings are schematic: the gaps are enlarged, and the middle panel shows a finite-stage approximation to $q$ so that its jump structure is visible.

Figure 3. Schematic slope functions. The dashed diagonal represents the identity function. The function $p_{0}$ agrees with the identity on $F$ and is constant on each complementary interval. The auxiliary function $q$ is a strictly increasing pure-jump function; panel $(b)$ displays only finitely many of its dyadic jumps. The function $p_{1}$ agrees with the identity on $F$ and inserts an affine copy of $q$ in every gap. Panels $(b)$ and $(c)$ use finite-stage depictions to make the jumps visible; in the actual functions the dyadic jumps are dense, so no horizontal interval remains in $q$ or in the inserted pieces of $p_{1}$. The dotted vertical connectors indicate jumps and are not part of the graphs.

Figure 4 shows the two features of the construction that will be used below. A small dyadic interval $J_{n}$ inside a gap has a very small slope oscillation, while its slope range is separated from the slopes outside $J_{n}$ by a much larger quantity.

Figure 4. The two scales used in the Fourier argument. On the level-$n$ interval $J_{n}$, the essential slope range is contained in an interval $K_{n}$ of length at most $\ell T_{n}$. Every slope from the same complementary gap but outside $J_{n}$ lies at distance at least $\frac{1}{2}\ell c_{n}$ from $K_{n}$; slopes outside the gap obey a comparable bound for all large $n$. Since $T_{n}/c_{n}\to 0$ rapidly, a frequency in the normal direction $\omega_{n}$ is nearly stationary on $J_{n}$ and uniformly nonstationary on its complement.

Theorem 5.4.

The function $\gamma_{1}$ is Lipschitz and strictly convex. It satisfies

(5.9) $$\gamma_{1}(x)=\frac{x^{2}}{2}$$

for every $x\in F$. Consequently,

$$T(\Gamma_{1})=1.$$

Proof.

The function $p_{1}$ is bounded between $1$ and $2$. We first check that it is strictly increasing. It is strictly increasing inside each complementary interval because $q$ is strictly increasing. On a gap $(a,b)$ its values lie strictly between $a$ and $b$, while $p_{1}(a)=a$ and $p_{1}(b)=b$. If two points belong to different gaps, or if one of them belongs to $F$, the order of the corresponding values of $p_{1}$ follows from the order of the closures of the gaps. Thus

$$x<y\quad\Longrightarrow\quad p_{1}(x)<p_{1}(y).$$

If $x_{1}<x_{2}<x_{3}$, every value of $p_{1}$ on $(x_{1},x_{2})$ is smaller than every value on $(x_{2},x_{3})$. Hence the average of $p_{1}$ on the first interval is strictly smaller than its average on the second interval. More explicitly, strict monotonicity gives

$$p_{1}(t)<p_{1}(x_{2})\quad\text{for }x_{1}<t<x_{2},\qquad p_{1}(t)>p_{1}(x_{2})\quad\text{for }x_{2}<t<x_{3}.$$

The two differences are positive measurable functions on intervals of positive length, so

$$\frac{1}{x_{2}-x_{1}}\int_{x_{1}}^{x_{2}}p_{1}(t)dt<p_{1}(x_{2})<\frac{1}{x_{3}-x_{2}}\int_{x_{2}}^{x_{3}}p_{1}(t)dt.$$

These two averages are the successive secant slopes of $\gamma_{1}$. The strict increase of successive secant slopes is the strict convexity of $\gamma_{1}$. The boundedness of $p_{1}$ gives the Lipschitz property.

On a complementary interval $(a,b)$, the change of variables $t=a+\ell u$ and (5.4) give

$$\int_{a}^{b}p_{1}(t)dt =a\ell+\ell^{2}\int_{0}^{1}q(u)du$$

$$=a\ell+\frac{\ell^{2}}{2}=\int_{a}^{b}t\,dt.$$

The set $[1,x]\setminus F$ is a countable union of complete complementary intervals whenever $x\in F$. On each of these intervals the preceding calculation shows that $p_{1}$ and the identity function have the same integral, while $p_{1}(t)=t$ on $F$. Therefore (5.9) holds for every $x\in F$. Hence $\Gamma_{1}$ has a positive curved trace on the parabola. Corollary 2.6 gives $T(\Gamma_{1})=1$. ∎

The construction has been chosen so that two scales are separated very strongly. On a level-$n$ dyadic interval the slope oscillates by at most $\ell T_{n}$, so a frequency of size roughly $(\ell^{2}2^{-n}T_{n})^{-1}$ sees that piece as almost stationary. At the same time, slopes away from that interval are separated by order $\ell c_{n}$. Because $T_{n}/c_{n}$ decays exponentially in $n$, the contribution of the complement can be estimated by a first-derivative bound and is negligible compared with the length of the almost-stationary piece. The superexponential choice $c_{n}\asymp 2^{-n^{2}}$ then makes the selected frequencies grow so rapidly that the resulting Fourier lower bounds defeat every fixed power of $|\xi|$.

We now prove the Fourier statement. We first record a standard first-derivative estimate in the form suited to monotone slopes.

Lemma 5.5 (First derivative estimate).

Let $I=[a,b]$, let $\phi:I\to\mathbb{R}$ be absolutely continuous, and suppose that $\phi^{\prime}$ agrees almost everywhere with a monotone function. Let $A:I\to\mathbb{C}$ have bounded variation. Suppose that $\phi^{\prime}$ has constant sign almost everywhere and

$$|\phi^{\prime}(x)|\geq\lambda>0$$

for almost every $x\in I$. Then, for every $R>0$,

(5.10) $$\left|\int_{I}e^{-2\pi iR\phi(x)}A(x)dx\right|\leq\frac{C}{R\lambda}\left(\|A\|_{\infty}+\operatorname{Var}_{I}(A)\right).$$

Proof.

The argument below applies verbatim with either sign in the exponential. After replacing $\phi$ by $-\phi$ if necessary, we may therefore suppose that $\phi^{\prime}(x)\geq\lambda$ almost everywhere. Let $m$ be a monotone representative of $\phi^{\prime}$. The set on which $m<\lambda$ has measure zero. Replacing $m$ by $\max\{m,\lambda\}$, which preserves monotonicity and changes $m$ only on that null set, we may assume that $m(x)\geq\lambda$ for every $x\in I$.

For $x<y$, absolute continuity gives

$$\phi(y)-\phi(x)=\int_{x}^{y}m(t)\,dt\geq\lambda(y-x).$$

Thus $\phi$ is strictly increasing, and its inverse

$$\psi=\phi^{-1}:\phi(I)\longrightarrow I$$

is Lipschitz with constant at most $\lambda^{-1}$. In particular, $\psi$ is absolutely continuous.

Fix a subinterval $J=[u,v]\subset I$. The change of variables $w=\phi(x)$ gives

(5.11) $$\int_{J}e^{-2\pi iR\phi(x)}\,dx=\int_{\phi(u)}^{\phi(v)}e^{-2\pi iRw}\psi^{\prime}(w)\,dw.$$

The exceptional set on which $\phi^{\prime}$ either does not exist or differs from $m$ has measure zero. Since an absolutely continuous function has Luzin’s property $(N)$, the image of this exceptional set under $\phi$ also has measure zero. The usual one-dimensional inverse-derivative formula therefore gives

$$\psi^{\prime}(w)=\frac{1}{m(\psi(w))}$$

for almost every $w\in\phi(I)$. Define the pointwise representative

$$\beta(w)=\frac{1}{m(\psi(w))},\qquad w\in\phi(I).$$

If $m$ is nondecreasing, then $\beta$ is nonincreasing; if $m$ is nonincreasing, then $\beta$ is nondecreasing. In either case,

$$0\leq\beta(w)\leq\lambda^{-1},\qquad\operatorname{Var}_{\phi(J)}(\beta)\leq\lambda^{-1}.$$

We replace the almost-everywhere derivative $\psi^{\prime}$ in (5.11) by this monotone representative before using Riemann–Stieltjes integration by parts.

Set

$$H(y)=\int_{\phi(u)}^{y}e^{-2\pi iRw}\,dw.$$

Then $H(\phi(u))=0$ and $\|H\|_{\infty}\leq(\pi R)^{-1}$. Hence

$$\left|\int_{J}e^{-2\pi iR\phi(x)}\,dx\right| =\left|\int_{\phi(u)}^{\phi(v)}\beta(w)\,dH(w)\right|$$

$$\leq\|H\|_{\infty}\left(\|\beta\|_{\infty}+\operatorname{Var}_{\phi(J)}(\beta)\right)$$

$$\leq\frac{2}{\pi R\lambda}.$$

This estimate is uniform over all subintervals $J\subset I$.

Now put

$$P(x)=\int_{a}^{x}e^{-2\pi iR\phi(t)}\,dt.$$

The preceding estimate, applied to $[a,x]$, gives

$$\|P\|_{\infty}\leq\frac{2}{\pi R\lambda}.$$

Moreover, $P(a)=0$ and $P^{\prime}(x)=e^{-2\pi iR\phi(x)}$ almost everywhere. Therefore

$$\int_{I}e^{-2\pi iR\phi(x)}A(x)\,dx =\int_{I}A(x)\,dP(x)$$

$$=A(b)P(b)-A(a)P(a)-\int_{I}P(x)\,dA(x)$$

$$=A(b)P(b)-\int_{I}P(x)\,dA(x).$$

Taking absolute values yields

$$\left|\int_{I}e^{-2\pi iR\phi(x)}A(x)\,dx\right|\leq\frac{2}{\pi R\lambda}\left(\|A\|_{\infty}+\operatorname{Var}_{I}(A)\right),$$

which proves (5.10). ∎

Recall that our Fourier transform convention is

(5.12) $$\widehat{\sigma}(\xi)=\int e^{-2\pi ix\cdot\xi}d\sigma(x).$$

Theorem 5.6.

Let $I\subset[1,2]$ be a nondegenerate compact interval, let

$$\Gamma_{1,I}=\{(x,\gamma_{1}(x)):x\in I\},\qquad\sigma_{I}=\mathcal{H}^{1}|_{\Gamma_{1,I}}.$$

For every $\alpha>0$,

(5.13) $$\limsup_{|\xi|\to\infty}|\xi|^{\alpha}|\widehat{\sigma}_{I}(\xi)|=\infty.$$

Proof.

Since $F$ is nowhere dense, there are a complementary interval $(a,b)$ of $F$ and a nonempty open interval $U$ such that

$$U\subset\operatorname{int}(I)\cap(a,b).$$

Put $\ell=b-a$. Choose a non-dyadic point $t_{0}\in(0,1)$ such that $a+\ell t_{0}\in U$. For all sufficiently large $n_{0}$, the closure of the level-$n_{0}$ dyadic interval containing $t_{0}$ is carried into $U$ by the affine map $t\mapsto a+\ell t$. For every $n\geq n_{0}$, let $D_{n}$ be the level-$n$ half-open dyadic interval containing $t_{0}$ and put

$$J_{n}=a+\ell D_{n}.$$

The endpoints of $J_{n}$ play no role in the integrals below. We have $J_{n}\subset I$ and

(5.14) $$|J_{n}|=L_{n}=\ell 2^{-n}.$$

Let $K_{n}$ be the smallest closed interval containing the essential range of $p_{1}$ on $J_{n}$. By Lemma 5.2, its length is at most

(5.15) $$\Delta_{n}=\ell T_{n}.$$

Let $m_{n}$ be the midpoint of $K_{n}$ and put

(5.16) $$\omega_{n}=\frac{(-m_{n},1)}{\sqrt{1+m_{n}^{2}}}.$$

For

$$\Phi_{n}(x)=\omega_{n}\cdot(x,\gamma_{1}(x)),$$

one has, at almost every differentiability point of $\gamma_{1}$,

(5.17) $$\Phi_{n}^{\prime}(x)=\frac{p_{1}(x)-m_{n}}{\sqrt{1+m_{n}^{2}}}.$$

For almost every $x\in J_{n}$, the value $p_{1}(x)$ lies in $K_{n}$. Since $m_{n}$ is the midpoint of $K_{n}$ and $|K_{n}|\leq\Delta_{n}$, one has

$$|p_{1}(x)-m_{n}|\leq\frac{\Delta_{n}}{2}.$$

Since $\sqrt{1+m_{n}^{2}}\geq 1$, it follows that

(5.18) $$|\Phi_{n}^{\prime}(x)|\leq\frac{\Delta_{n}}{2}$$

for almost every $x\in J_{n}$. Therefore

(5.19) $$\operatorname{osc}_{J_{n}}\Phi_{n}\leq\frac{1}{2}L_{n}\Delta_{n}.$$

Since $\gamma_{1}^{\prime}=p_{1}$ almost everywhere, the graph parametrization with arclength density gives

(5.20) $$\widehat{\sigma}_{I}(R\omega_{n})=\int_{I}e^{-2\pi iR\Phi_{n}(x)}\sqrt{1+p_{1}(x)^{2}}\,dx$$

for every $R>0$. Choose a fixed $\varepsilon_{0}$ with $0<\varepsilon_{0}<\frac{1}{3}$, and set

(5.21) $$R_{n}=\frac{\varepsilon_{0}}{L_{n}\Delta_{n}}.$$

By (5.19), the arguments of the complex numbers $e^{-2\pi iR_{n}\Phi_{n}(x)}$, $x\in J_{n}$, lie in an interval of length less than $\frac{\pi}{3}$. After multiplication by a complex number of modulus one, they therefore all have real part at least $\cos(\frac{\pi}{6})$. Since the arclength density

$$A(x)=\sqrt{1+p_{1}(x)^{2}}$$

is at least $1$, we obtain

(5.22) $$\left|\int_{J_{n}}e^{-2\pi iR_{n}\Phi_{n}(x)}A(x)dx\right|\geq cL_{n}.$$

We next estimate the contribution from $I\setminus J_{n}$. If $x$ belongs to the same complementary interval $(a,b)$ but not to $J_{n}$, then (5.6) gives, outside a null set, a separation of at least $\frac{1}{2}\ell c_{n}$ from every slope value on $J_{n}$. Since $q$ is increasing, a point outside $D_{n}$ lies entirely to one side of the slope interval $K_{n}$. Hence

$$\operatorname{dist}(p_{1}(x),K_{n})\geq\frac{1}{2}\ell c_{n}.$$

Since $m_{n}\in K_{n}$, this gives

(5.23) $$|p_{1}(x)-m_{n}|\geq\frac{1}{2}\ell c_{n}.$$

It remains to compare with slopes outside $(a,b)$. Every point of $D_{n}$ has the same first $n$ binary digits as $t_{0}$, apart from the irrelevant dyadic endpoint. Hence every point in the essential range of $q$ on $D_{n}$ differs from $q(t_{0})$ by at most $T_{n}$. Since $T_{n}\to 0$, the interval $K_{n}$ shrinks to the single value $a+\ell q(t_{0})$. In particular, $m_{n}\to a+\ell q(t_{0})$. Since $t_{0}\in(0,1)$ and $q$ is strictly increasing,

$$d_{0}=\min\{q(t_{0}),1-q(t_{0})\}>0.$$

For all sufficiently large $n$, the distance from $m_{n}$ to both endpoint slopes $a$ and $b$ is at least $\frac{1}{2}\ell d_{0}$. Monotonicity of $p_{1}$ then gives the same lower bound for every point outside $(a,b)$. Since $c_{n}\leq c_{1}$, this lower bound is at least a constant multiple of $\ell c_{n}$. Together with (5.23), this proves

(5.24) $$|p_{1}(x)-m_{n}|\geq c\ell c_{n}$$

for almost every $x\in I\setminus J_{n}$.

Because $p_{1}$ is strictly increasing and $m_{n}$ lies between the endpoints of $K_{n}$, the derivative in (5.17) is negative on the component of $I\setminus J_{n}$ to the left of $J_{n}$ and positive on the component to its right. On either component,

$$|\Phi_{n}^{\prime}|\geq c\ell c_{n}.$$

The amplitude $A$ is monotone because $1\leq p_{1}\leq 2$ and the function $p\mapsto\sqrt{1+p^{2}}$ is increasing. In particular,

$$\|A\|_{\infty}\leq\sqrt{5},\qquad\operatorname{Var}_{I}(A)\leq\sqrt{5}-\sqrt{2},$$

uniformly in $n$. Applying Lemma 5.5 separately to the at most two interval components of $I\setminus J_{n}$, after adjoining their endpoints, which does not change the integrals, gives

$$\left|\int_{I\setminus J_{n}}e^{-2\pi iR_{n}\Phi_{n}(x)}A(x)dx\right| \leq\frac{C}{R_{n}\ell c_{n}}$$

$$=CL_{n}\frac{T_{n}}{c_{n}}$$

(5.25) $$\leq CL_{n}2^{-2n}.$$

Here we used (5.21), (5.15), and Lemma 5.1.

The integral in (5.20) is the sum of its parts over $J_{n}$ and $I\setminus J_{n}$. The reverse triangle inequality, (5.22), and (5.25) therefore give

(5.26) $$|\widehat{\sigma}_{I}(R_{n}\omega_{n})|\geq cL_{n}$$

for all sufficiently large $n$.

Finally,

$$c_{n+1}\leq T_{n}\leq 2c_{n+1},$$

so $T_{n}\asymp 2^{-(n+1)^{2}}$. Therefore

(5.27) $$R_{n}\asymp\ell^{-2}2^{n+(n+1)^{2}}.$$

In particular, $R_{n}\to\infty$. For every $\alpha>0$,

$$R_{n}^{\alpha}L_{n}\asymp\ell^{1-2\alpha}2^{\alpha(n+(n+1)^{2})-n}\longrightarrow\infty.$$

Set

$$\xi_{n}=R_{n}\omega_{n}.$$

Since $|\omega_{n}|=1$, one has $|\xi_{n}|=R_{n}\to\infty$. Equation (5.26) therefore gives

$$|\xi_{n}|^{\alpha}|\widehat{\sigma}_{I}(\xi_{n})|\geq cR_{n}^{\alpha}L_{n}\longrightarrow\infty.$$

This proves (5.13). ∎

Remark 5.7.

The frequencies used in the proof are not confined to one fixed ray. The direction $\omega_{n}$ is the normal corresponding to the midpoint of the slope range on $J_{n}$, and these directions may vary with $n$. This is important: the theorem asserts failure of a uniform pointwise polynomial bound in $\xi$, not failure of decay along one prescribed direction. The almost-flat pieces supply a sequence of increasingly high frequencies at which a definite portion of arclength is nearly stationary, while monotonicity of the slope prevents the rest of the subarc from canceling that contribution.

Corollary 5.8.

There is a strictly convex curve $\Gamma$ such that

$$T(\Gamma)=1,$$

while no nontrivial subarc of $\Gamma$ supports arclength with pointwise Fourier decay of any positive power.

Proof.

Take $\Gamma=\Gamma_{1}$ and combine Theorems 5.4 and 5.6. ∎

6. A rectifiable endpoint theorem

The preceding results impose geometric assumptions on the curve and then allow an arbitrary compact set $E$ of dimension greater than one. At the endpoint, a positive-measure conclusion also follows from rectifiability of $E$ under a minimal assumption on the curve. Here a compact rectifiable curve means the image of a continuous rectifiable path on a compact interval.

Theorem 6.1.

Let $\Gamma\subset\mathbb{R}^{2}$ be a compact rectifiable curve which is not contained in a line. Let $E\subset\mathbb{R}^{2}$ contain a countably $1$-rectifiable set $R$ with

$$\mathcal{H}^{1}(R)>0.$$

Then there are compact sets

$$K_{+}\subset E+\Gamma\qquad\text{and}\qquad K_{-}\subset E-\Gamma$$

such that $|K_{+}|>0$ and $|K_{-}|>0$.

Proof.

By the definition of countable $1$-rectifiability, one of the Lipschitz parametrizations covering $R$ up to an $\mathcal{H}^{1}$-null set has positive-length intersection with $R$. Extending its two coordinate functions to the line and restricting to a sufficiently large compact interval, we obtain a compact interval $J\subset\mathbb{R}$ and a Lipschitz map

$$e:J\longrightarrow\mathbb{R}^{2}$$

such that

$$\mathcal{H}^{1}(R\cap e(J))>0;$$

see [13, Chapter 15]. The set $e(J)$ has finite length. By inner regularity, choose a compact set

$$R_{0}\subset R\cap e(J)$$

with $\mathcal{H}^{1}(R_{0})>0$, and put

$$A_{0}=e^{-1}(R_{0}).$$

Then $A_{0}$ is compact and $e(A_{0})=R_{0}$. For a map $f$ and a set $B$ in its domain, write

$$N(f,B,z)=\#\{w\in B:f(w)=z\}$$

for the multiplicity of $f$ over $z$ on $B$. The one-dimensional area formula [13, Chapter 7] gives

$$\int_{A_{0}}|e^{\prime}(s)|\,ds =\int_{\mathbb{R}^{2}}N(e,A_{0},z)\,d\mathcal{H}^{1}(z)$$

(6.1) $$\geq\mathcal{H}^{1}(R_{0})>0.$$

Consequently, the measurable set

$$A_{1}=\{s\in A_{0}:e^{\prime}(s)\text{ exists and }|e^{\prime}(s)|>0\}$$

has positive Lebesgue measure. By inner regularity, $A_{1}$ contains a compact subset $A$ of positive measure. Thus $e^{\prime}(s)$ exists and is nonzero for every $s\in A$, and

$$e(A)\subset R_{0}\subset R\subset E.$$

Rectifiability of $\Gamma$ gives an arclength parametrization

$$r:[0,L]\longrightarrow\mathbb{R}^{2}$$

whose image is $\Gamma$ and for which $|r^{\prime}(t)|=1$ almost everywhere. The assumption that $\Gamma$ is not contained in a line implies, in particular, that $L>0$. Define

$$F_{+}(s,t)=e(s)+r(t),\qquad(s,t)\in J\times[0,L].$$

This map is Lipschitz. Wherever both $e^{\prime}(s)$ and $r^{\prime}(t)$ exist, its differential has columns $e^{\prime}(s)$ and $r^{\prime}(t)$. By Rademacher’s theorem and Fubini’s theorem, this holds for almost every $(s,t)$, and hence the approximate Jacobian on $A\times[0,L]$ is

(6.2) $$J_{F_{+}}(s,t)=|\det(e^{\prime}(s),r^{\prime}(t))|$$

for almost every $(s,t)\in A\times[0,L]$.

Fix $s\in A$. If the determinant in (6.2) vanished for almost every $t$, let $n_{s}$ be a unit vector perpendicular to $e^{\prime}(s)$. Up to a choice of orientation,

$$\frac{d}{dt}\bigl(r(t)\cdot n_{s}\bigr)=r^{\prime}(t)\cdot n_{s}=\frac{\det(e^{\prime}(s),r^{\prime}(t))}{|e^{\prime}(s)|}$$

for almost every $t$. The function $t\mapsto r(t)\cdot n_{s}$ is absolutely continuous, so it would be constant. This would place the image of $r$, and hence $\Gamma$, in an affine line parallel to $e^{\prime}(s)$, contrary to the hypothesis. Therefore

$$\int_{0}^{L}|\det(e^{\prime}(s),r^{\prime}(t))|\,dt>0$$

for every $s\in A$. The inner integral is a nonnegative measurable function of $s$. Since $|A|>0$, Tonelli’s theorem gives

(6.3) $$\iint_{A\times[0,L]}J_{F_{+}}(s,t)\,ds\,dt>0.$$

The two-dimensional area formula gives

$$\iint_{A\times[0,L]}J_{F_{+}}(s,t)\,ds\,dt=\int_{\mathbb{R}^{2}}N(F_{+},A\times[0,L],z)\,dz.$$

If $F_{+}(A\times[0,L])$ had planar measure zero, the right side would vanish, contradicting (6.3). Hence

$$K_{+}=F_{+}(A\times[0,L])$$

has positive planar measure. It is compact because $A\times[0,L]$ is compact, and it is contained in $E+\Gamma$ because $e(A)\subset E$.

For the difference set, define

$$F_{-}(s,t)=e(s)-r(t).$$

Its approximate Jacobian is

$$|\det(e^{\prime}(s),-r^{\prime}(t))|=|\det(e^{\prime}(s),r^{\prime}(t))|.$$

The same argument shows that

$$K_{-}=F_{-}(A\times[0,L])$$

is a compact set of positive measure contained in $E-\Gamma$. ∎

Remark 6.2.

Theorem 6.1 does not assert a universal result for all sets of Hausdorff dimension one. For a smooth curve of nonvanishing curvature, Simon and Taylor proved that a finite-length $1$-set has a null sum precisely when it is purely unrectifiable [16]. The theorem above is the positive half of that picture under the weaker assumption that $\Gamma$ is merely rectifiable and not a line.

7. The Fourier benchmark and remaining questions

We finish by recording the standard Fourier implication in its shortest form. This makes precise what the examples in Sections 4 and 5 go beyond.

Proposition 7.1 (The direct Fourier criterion).

Let $\Gamma\subset\mathbb{R}^{2}$ be compact, and suppose that there is a nonzero finite positive measure $\sigma$ supported on $\Gamma$ such that, for some $0<\alpha<1$,

(7.1) $$|\widehat{\sigma}(\xi)|\leq C(1+|\xi|)^{-\alpha}.$$

If $E\subset\mathbb{R}^{2}$ is compact and

(7.2) $$\dim_{\mathrm{H}}(E)>2-2\alpha,$$

then

$$|E+\Gamma|>0.$$

Proof.

Put $s=2-2\alpha$. Recall that

$$I_{s}(\mu)=\iint|x-y|^{-s}\,d\mu(x)\,d\mu(y)$$

for a finite positive measure $\mu$. Choose

$$s<\beta<\dim_{\mathrm{H}}(E).$$

By Frostman’s lemma [13], there is a nonzero finite measure $\mu$ supported on $E$ such that

$$\mu(B(x,r))\leq C_{\mu}r^{\beta}.$$

The standard passage from a $\beta$-Frostman estimate to finite $s$-energy is an annular summation. Indeed,

$$I_{s}(\mu) \leq\mu(E)^{2}+\sum_{j=0}^{\infty}2^{(j+1)s}\int_{E}\mu(B(x,2^{-j}))\,d\mu(x)$$

$$\leq\mu(E)^{2}+C\mu(E)\sum_{j=0}^{\infty}2^{-j(\beta-s)}<\infty.$$

The Riesz-energy identity [13] gives

$$I_{s}(\mu)=c_{s}\int_{\mathbb{R}^{2}}|\widehat{\mu}(\xi)|^{2}|\xi|^{s-2}\,d\xi.$$

Since $s-2=-2\alpha$, this identity and (7.1) imply

$$\int_{\mathbb{R}^{2}}|\widehat{\mu}(\xi)\widehat{\sigma}(\xi)|^{2}\,d\xi \leq C\int_{\mathbb{R}^{2}}|\widehat{\mu}(\xi)|^{2}|\xi|^{-2\alpha}\,d\xi$$

$$\leq CI_{s}(\mu).$$

By Plancherel’s theorem, $\mu*\sigma$ has a nonnegative $L^{2}$ density $f$. The measure $\mu*\sigma$ is supported on $E+\Gamma$ and has total mass $\mu(E)\sigma(\Gamma)>0$. Cauchy–Schwarz therefore gives

$$\bigl(\mu(E)\sigma(\Gamma)\bigr)^{2} =\left(\int_{E+\Gamma}f(z)\,dz\right)^{2}$$

(7.3) $$\leq|E+\Gamma|\,\|f\|_{2}^{2}.$$

Consequently,

$$|E+\Gamma|\geq\frac{\bigl(\mu(E)\sigma(\Gamma)\bigr)^{2}}{\|\mu*\sigma\|_{2}^{2}}>0.$$

∎

For a compact rectifiable curve $\Gamma$, define its arcwise polynomial decay exponent by

(7.4) $$\alpha_{\mathrm{arc}}(\Gamma)=\sup\left\{\begin{aligned} \alpha>0:&\text{ there is a nontrivial subarc }\Gamma_{0}\subset\Gamma\\ &\text{ such that }|\widehat{\mathcal{H}^{1}|_{\Gamma_{0}}}(\xi)|\lesssim(1+|\xi|)^{-\alpha}\end{aligned}\right\}.$$

If the set in (7.4) is empty, we set $\alpha_{\mathrm{arc}}(\Gamma)=0$.

The quantity $\alpha_{\mathrm{arc}}(\Gamma)$ is meant only as a convenient way to compare the geometric threshold with the classical arclength argument. For a $C^{2}$ arc with curvature bounded away from zero, stationary phase gives the exponent $\frac{1}{2}$, and Proposition 7.1 then recovers the threshold $\dim_{\mathrm{H}}(E)>1$. The strictly convex example constructed above has the same geometric threshold even though this local arclength exponent drops all the way to zero. In that sense the example separates two statements which agree for the usual smooth models: the existence of pointwise Fourier decay for arclength and the positive-measure behavior of all translates indexed by a set of dimension greater than one.

It is important that the definition is arcwise. If one used only arclength on the whole curve, a single poorly behaved portion could destroy a global Fourier estimate while another curved subarc retained enough decay to prove $T(\Gamma)=1$ by the direct criterion. Requiring the obstruction on every nontrivial subarc rules out this possibility. On the other hand, $\alpha_{\mathrm{arc}}(\Gamma)=0$ does not say that every measure supported on every subarc has Fourier dimension zero, nor is such a statement needed for our purpose. The comparison here is with the natural arclength measure that appears in the standard convolution argument.

Corollary 7.2.

There is a strictly convex Lipschitz graph $\Gamma$ such that

$$T(\Gamma)=1\qquad\text{and}\qquad\alpha_{\mathrm{arc}}(\Gamma)=0.$$

There is also a convex Lipschitz graph with $T(\Gamma)=1$ for which arclength on every nontrivial subarc fails to be Rajchman.

Proof.

The first assertion is Corollary 5.8. The second is Theorem 4.3. ∎

Thus polynomial pointwise decay of arclength on a positive-length subarc is not necessary for the optimal universal Minkowski-sum threshold. The mechanism is geometric: a positive-length curved trace supplies enough translated-tube transversality even when the arclength measure on every subarc has severe Fourier obstructions. We do not claim that the curve supports no other specially chosen measure having some Fourier decay; the separation established here concerns the natural arclength measures that enter the usual curve-averaging argument.

Theorems 2.5 and 3.3 do not treat convex graphs whose curvature measure is singular. We first record a converse observation which explains why the curved-trace mechanism cannot be used in that regime.

Proposition 7.3 (Purely singular curvature).

Let $\gamma:[a,b]\to\mathbb{R}$ be convex and Lipschitz, and let $\Gamma$ be its graph. If $D^{2}\gamma$ is singular with respect to Lebesgue measure, then $\Gamma$ has no positive curved trace.

Proof.

Suppose instead that $\Gamma$ has a positive curved trace on

$$\Sigma=\{(x,g(x)):x\in I\},$$

where $g\in C^{2}(I)$ and $|g^{\prime\prime}|\geq c_{0}>0$. Let $A\subset\Gamma\cap\Sigma$ be the trace and let $S$ be its projection onto the first coordinate. Since the graph parametrization of $\Sigma$ is bi-Lipschitz, $|S|>0$, and $\gamma=g$ on $S$.

Choose a point $x_{0}\in S$ which is a Lebesgue density point of $S$ and at which Lemma 3.1 applies to $\gamma$. Such points form a full-measure subset of $S$. Choose $x_{j}\in S\setminus\{x_{0}\}$ with $x_{j}\to x_{0}$ and put $u_{j}=x_{j}-x_{0}$. Taylor’s formula for $g$ and (3.2) give

$$0 =(\gamma-g)(x_{0}+u_{j})-(\gamma-g)(x_{0})$$

$$=(\gamma^{\prime}(x_{0})-g^{\prime}(x_{0}))u_{j}+\frac{1}{2}(k(x_{0})-g^{\prime\prime}(x_{0}))u_{j}^{2}+o(u_{j}^{2}).$$

Dividing first by $u_{j}$ and then, after the linear coefficient is known to vanish, by $u_{j}^{2}$, gives

$$\gamma^{\prime}(x_{0})=g^{\prime}(x_{0}),\qquad k(x_{0})=g^{\prime\prime}(x_{0}).$$

Since $k\geq 0$ almost everywhere and $|g^{\prime\prime}|\geq c_{0}$, it follows that $k(x_{0})\geq c_{0}$ at almost every such density point of $S$. Hence $k$ is positive on a set of positive measure, contradicting the singularity of $D^{2}\gamma$. This proves the proposition. ∎

A quantitative lower growth condition on the curvature nevertheless gives an intermediate threshold. The following result also indicates what strict convexity by itself does not provide.

Proposition 7.4 (Quantitative lower growth of curvature).

Let $\gamma:[a,b]\to\mathbb{R}$ be convex and Lipschitz, let $\Gamma$ be its graph, and let $p=\gamma^{\prime}_{+}$ be its right derivative. Suppose that for some $1\leq\theta<2$ and $c_{0}>0$,

(7.5) $$p(t)-p(s)\geq c_{0}(t-s)^{\theta}$$

whenever $a\leq s<t<b$. Then, for every compact set $E\subset\mathbb{R}^{2}$,

$$\dim_{\mathrm{H}}(E)>\theta\quad\Longrightarrow\quad|E+\Gamma|>0.$$

Consequently,

$$T(\Gamma)\leq\theta.$$

Proof.

Write $L=\|p\|_{\infty}$ and fix $0<\delta<\delta_{0}$, where $0<\delta_{0}\leq 1$. As in the proof of Theorem 2.3, the Euclidean $\delta$-neighborhood of $\Gamma$ is contained in the vertical neighborhood

$$V_{\delta}=\{(x,y):a\leq x\leq b,\ |y-\gamma(x)|\leq C_{0}\delta\}$$

together with two endpoint disks of radius $C_{0}\delta$.

Let $h=(u,v)$. If $u>0$, put

$$G_{u}(x)=\gamma(x)-\gamma(x-u)$$

on the interval where both terms are defined. At every $x$ for which $\gamma^{\prime}$ exists at both $x$ and $x-u$, a full-measure set in the common domain,

$$G_{u}^{\prime}(x)=p(x)-p(x-u)\geq c_{0}u^{\theta}$$

by (7.5). Since $G_{u}$ is absolutely continuous, the set of $x$ satisfying

$$|G_{u}(x)-v|\leq 2C_{0}\delta$$

has length at most $C\delta/u^{\theta}$. The same conclusion holds for $u<0$, with $|u|$ in place of $u$, because the derivative then has the opposite sign and the same lower bound in absolute value. Since every vertical section of the overlap has length at most $2C_{0}\delta$,

(7.6) $$|V_{\delta}\cap(h+V_{\delta})|\leq C\delta\min\left\{1,\frac{\delta}{|u|^{\theta}}\right\},$$

where the minimum is interpreted as $1$ when $u=0$.

If the overlap is nonempty, the Lipschitz property gives

$$|h|\leq(1+L)|u|+2C_{0}\delta.$$

When $|h|\leq C_{1}\delta^{1/\theta}$, one has $\delta+|h|^{\theta}\leq C\delta$, and the trivial bound $|V_{\delta}|\leq C\delta$ yields

$$|V_{\delta}\cap(h+V_{\delta})|\leq C\frac{\delta^{2}}{\delta+|h|^{\theta}}.$$

When $|h|>C_{1}\delta^{1/\theta}$, note that $\delta\leq\delta^{1/\theta}$ because $\delta\leq 1$ and $\theta\geq 1$. Choosing $C_{1}>4C_{0}$, the preceding comparison gives

$$|u|\geq\frac{|h|}{2(1+L)}.$$

In this regime $|u|^{\theta}\gtrsim|h|^{\theta}\gtrsim\delta$, so the second term in the minimum in (7.6) applies and gives

$$|V_{\delta}\cap(h+V_{\delta})|\leq C\frac{\delta^{2}}{|h|^{\theta}}\leq C\frac{\delta^{2}}{\delta+|h|^{\theta}}.$$

Every intersection involving an endpoint disk has area $O(\delta^{2})$. If such an intersection is nonempty, then $|h|$ is bounded in terms of $\Gamma$. Consequently, $\delta+|h|^{\theta}\lesssim_{\Gamma}1$, and its area is bounded by $C\delta^{2}/(\delta+|h|^{\theta})$. Summing the finitely many intersections, we have proved

(7.7) $$|\Gamma^{\delta}\cap(h+\Gamma^{\delta})|\leq C\frac{\delta^{2}}{\delta+|h|^{\theta}}.$$

Lemma 2.4, applied with $S=[a,b]$, gives $|\Gamma^{\delta}|\geq c\delta$. Let $\mu$ be a nonzero finite positive measure supported on $E$ with

$$I_{\theta}(\mu)=\iint|x-y|^{-\theta}\,d\mu(x)\,d\mu(y)<\infty.$$

Define

$$F_{\delta}(z)=\int_{E}\frac{1_{x+\Gamma^{\delta}}(z)}{|\Gamma^{\delta}|}\,d\mu(x).$$

Then $F_{\delta}$ is supported on $E+\Gamma^{\delta}$, has integral $\mu(E)$, and, by (7.7),

$$\|F_{\delta}\|_{2}^{2} =\iint\frac{|\Gamma^{\delta}\cap((y-x)+\Gamma^{\delta})|}{|\Gamma^{\delta}|^{2}}\,d\mu(x)\,d\mu(y)$$

$$\leq C\iint\frac{d\mu(x)\,d\mu(y)}{\delta+|x-y|^{\theta}}$$

$$\leq CI_{\theta}(\mu).$$

Cauchy–Schwarz therefore gives

$$|E+\Gamma^{\delta}|\geq c\frac{\mu(E)^{2}}{I_{\theta}(\mu)},$$

uniformly in $\delta$. For a decreasing sequence $\delta_{j}\downarrow 0$, the compact sets $E+\Gamma^{\delta_{j}}$ decrease to $E+\Gamma$ by (2.10). Continuity from above of Lebesgue measure gives

$$|E+\Gamma|\geq c\frac{\mu(E)^{2}}{I_{\theta}(\mu)}>0.$$

Finally, if $\dim_{\mathrm{H}}(E)>\theta$, choose

$$\theta<\beta<\dim_{\mathrm{H}}(E).$$

Frostman’s lemma gives a nonzero $\beta$-Frostman measure on $E$, and the same annular summation used in the proof of Proposition 7.1 gives $I_{\theta}(\mu)<\infty$. The preceding argument applies, proving the proposition. ∎

Condition (7.5) is equivalent, up to the harmless endpoint convention for the monotone slope, to the lower bound

$$D^{2}\gamma((s,t])\geq c_{0}(t-s)^{\theta}.$$

For $\theta=1$ it forces a nonzero absolutely continuous curvature component. For $\theta>1$ the proposition gives the partial bound $T(\Gamma)\leq\theta$ whenever such lower growth is available in a singular regime. Strict convexity alone says only that $p(t)>p(s)$ whenever $s<t$; it supplies no uniform power law of this kind. This leads to the following sharper question.

Question 7.5.

Does every strictly convex Lipschitz graph $\Gamma\subset\mathbb{R}^{2}$ satisfy

$$T(\Gamma)=1?$$

The question includes both dense atomic curvature and purely singular continuous curvature. A satisfactory answer should distinguish geometric transversality from the pointwise decay of one fixed arclength measure. The examples in this paper show that the latter cannot be a necessary condition.