Sharp L1 Inequalities for Sup-Convolution

Abstract: Given a compact convex domain

C s u b s e t m a t h b b R^{k}

and bounded measurable functions

f_{1}, l d o t s, f_{n} : C o m a t h b b R

, define the sup-convolution

(f_{1} a s t l d o t s a s t f_{n}) (z)

to be the supremum average value of

f_{1} (x_{1}), l d o t s, f_{n} (x_{n})

over all

x_{1}, l d o t s, x_{n} i n C

which average to

z

. Continuing the study by Figalli and Jerison and the present authors of linear stability for the Brunn-Minkowski inequality with equal sets, for

k l e 3

we find the optimal constants

c_{k, n}

such that

int_C f^{ast n}(x)-f(x) dx ge c_{k,n}int_C ext{co}(f)(x)-f(x) dx

where

e x t c o (f)

is the upper convex hull of

f

. Additionally, we show

c_{k, n} = 1 - O (f r a c 1 n)

for fixed

k

and prove an analogous optimal inequality for two distinct functions. The key geometric insight is a decomposition of polytopal approximations of

C

into hypersimplices according to the geometry of the set of points where

e x t c o (f)

is close to

f

.

This page was built for publication: Sharp L1 Inequalities for Sup-Convolution