Mockenhaupt's Three-Term Hardy-Littlewood Majorant Conjecture

Guancheng Pan, Chengsong You, Hengyu Wang, Junwei Zhou, Wenjun Zhang, Yongchao Chen

arXivarxiv/2609.09740Sep 9, 2026math.CAscore 0

For an integer $k \ge 0$, let $f_k(x) = 1 + e(x) + e((k+2)x)$ and $g_k(x) = 1 + e(x) - e((k+2)x)$ on $\mathbb{T} = \mathbb{R}/\mathbb{Z}$, where $e(x) = e^{2πi x}$. Mockenhaupt conjectured that $\|g_k\|_{L^p(\mathbb{T})} > \|f_k\|_{L^p(\mathbb{T})}$ whenever $2k < p < 2k+2$. The conjecture was previously known for $k \le 5$. We give a single analytic proof valid for every $k \ge 4$; in particular, this settles all previously open cases $k \ge 6$ and establishes the conjecture for every $k \ge 0$. The proof reduces the norm comparison to resonant Fourier coefficients on the two-torus and…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.09740
curl -X POST /api/v1/records/arxiv/2609.09740/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.09740/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'