English

Three Convolution Inequalities on the Real Line with Connections to Additive Combinatorics

Classical Analysis and ODEs 2020-02-20 v2 Combinatorics

Abstract

We discuss three convolution inequalities that are connected to additive combinatorics. Cloninger and the second author showed that for nonnegative fL1(1/4,1/4)f \in L^1(-1/4, 1/4), max1/2t1/2Rf(tx)f(x)dx1.28(1/41/4f(x)dx)2 \max_{-1/2 \leq t \leq 1/2} \int_{\mathbb{R}}{f(t-x) f(x) dx} \geq 1.28 \left( \int_{-1/4}^{1/4}{f(x) dx}\right)^2 which is related to gg-Sidon sets (1.28 cannot be replaced by 1.52). We prove a dual statement, related to difference bases, and show that for fL1(R)f \in L^1(\mathbb{R}), min0t1Rf(x)f(x+t)dx0.42fL12, \min_{0 \leq t \leq 1}\int_{\mathbb{R}}{f(x) f(x+t) dx} \leq 0.42 \|f\|_{L^1}^2, where the constant 1/2 is trivial, 0.42 cannot be replaced by 0.37. This suggests a natural conjecture about the asymptotic structure of gg-difference bases. Finally, we show for all functions fL1(R)L2(R)f \in L^1(\mathbb{R}) \cap L^2(\mathbb{R}), 1212Rf(x)f(x+t)dxdt0.91fL1fL2 \int_{-\frac{1}{2}}^{\frac{1}{2}}{ \int_{\mathbb{R}}{f(x) f(x+t) dx}dt} \leq 0.91 \|f\|_{L^1}\|f\|_{L^2}

Keywords

Cite

@article{arxiv.1903.08731,
  title  = {Three Convolution Inequalities on the Real Line with Connections to Additive Combinatorics},
  author = {Richard C. Barnard and Stefan Steinerberger},
  journal= {arXiv preprint arXiv:1903.08731},
  year   = {2020}
}
R2 v1 2026-06-23T08:14:25.368Z