The generalized-cone extremal conjecture for concave functions

Let Kn\mathcal K^n denote the class of convex bodies in Rn\mathbb R^n. Let CKnC\in\mathcal K^n, let f:C[0,)f:C\rightarrow[0,\infty) be concave, and let ϕ:[0,)[0,)\phi:[0,\infty)\rightarrow[0,\infty) be convex with ϕ(0)=0\phi(0)=0. Write xC,fx_{C,f} for the center associated with CC and ff. A generalized cone is a convex body obtained as the convex hull of a base and a point outside the affine hull of that base. Then

Generalized-cone extremal conjecture.

1CCϕ(f(x))dxn01ϕ(f(xC,f)21/nt21/n1)(1t)n1dt.\frac{1}{|C|}\int_C\phi(f(x))\,dx \leq n\int_0^1\phi\left(f(x_{C,f})\frac{2^{1/n}t}{2^{1/n}-1}\right)(1-t)^{n-1}\,dt.

Moreover, if ϕ\phi is strictly convex, equality holds if and only if CC is a generalized cone and ff is an affine function which becomes zero at the base of CC.

The conjecture proposes that the maximum in the general inequality is attained by a generalized cone and an affine function vanishing on its base. It is motivated by the corresponding equality cases established in the paper for several two- and three-dimensional instances; the general-dimensional assertion remains open in the supplied text.

Sources & referencesView supporting material

Primary source

Bernardo González Merino, “Estimating the average of functions with convexity properties by means of a new center”, arXiv:2005.13839 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.