English

A Maclaurin type inequality

Classical Analysis and ODEs 2023-11-23 v3

Abstract

The classical Maclaurin inequality asserts that the elementary symmetric means sk(y)=1(nk)1i1<<iknyi1yik s_k(y) = \frac{1}{\binom{n}{k}} \sum_{1 \leq i_1 < \dots < i_k \leq n} y_{i_1} \dots y_{i_k} obey the inequality s(y)1/sk(y)1/ks_\ell(y)^{1/\ell} \leq s_k(y)^{1/k} whenever 1kn1 \leq k \leq \ell \leq n and y=(y1,,yn)y = (y_1,\dots,y_n) consists of non-negative reals. We establish a variant s(y)11/2k1/2max(sk(y)1k,sk+1(y)1k+1) |s_\ell(y)|^{\frac{1}{\ell}} \ll \frac{\ell^{1/2}}{k^{1/2}} \max (|s_k(y)|^{\frac{1}{k}}, |s_{k+1}(y)|^{\frac{1}{k+1}}) of this inequality in which the yiy_i are permitted to be negative. In this regime the inequality is sharp up to constants. Such an inequality was previously known without the k1/2k^{1/2} factor in the denominator.

Cite

@article{arxiv.2310.05328,
  title  = {A Maclaurin type inequality},
  author = {Terence Tao},
  journal= {arXiv preprint arXiv:2310.05328},
  year   = {2023}
}

Comments

12 pages, no figures. Minor typo corrections

R2 v1 2026-06-28T12:44:07.455Z