On the framework of L_p summations for functions

Abstract: We develop the framework of

L_{p}

operations for functions by introducing two primary new types

L_{p, s}

summations for

p > 0

: the

L_{p, s}

convolution sum and the

L_{p, s}

Asplund sum for functions. The first type is defined as the linear summations of functions in terms of the

L_{p}

coefficients (

C_{p, l a m b d a, t}

,

D_{p, l a m b d a, t}

), the so-called the

L_{p, s}

supremal-convolution when

p g e q 1

and the

L_{p, s}

inf-sup-convolution when

0 < p < 1

, respectively. The second type

L_{p, s}

summation is created by the

L_{p}

averages of bases for

s

-concave functions. We show that they are equivalent in the case

s = 0

(log-concave functions) and

p g e q 1

. For the former type

L_{p, s}

summation, we establish the corresponding

L_{p}

-Borell-Brascamp-Lieb inequalities for all

s i n [- i n f t y, i n f t y]

and

p g e q 1

. Furthermore, in summarizing the conditions for these new types of

L_{p}

-Borell-Brascamp-Lieb inequalities, we define a series of the

L_{p, s}

concavity definitions for functions and measures. On the other hand, for the latter type

L_{p, s}

Asplund summation, we discover the integral formula for

L_{p, s}

mixed quermassintegral for functions via tackling the variation formula of quermassintegral of functions for

p g e q 1

.

Cites work

Cited in

(2)

This page was built for publication: On the framework of \(L_p\) summations for functions