Pisier's inequality revisited

Abstract: Given a Banach space

X

, for

n i n m a t h b b N

and

p i n (1, i n f t y)

we investigate the smallest constant

m a t h f r a k P i n (0, i n f t y)

for which every

f_{1}, ..., f_{n} : {- 1, 1}^{n} o X

satisfy int_{{-1,1}^n}Bigg|sum_{j=1}^n partial_jf_j(varepsilon)Bigg|^pdmu(varepsilon) leq mathfrak{P}^pint_{{-1,1}^n}int_{{-1,1}^n}Bigg|sum_{j=1}^n d_jDelta f_j(varepsilon)Bigg|^pdmu(varepsilon) dmu(delta), where

m u

is the uniform probability measure on the discrete hypercube

{- 1, 1}^{n}

and

{p a r t i a l_{j}}_{j = 1}^{n}

and

D e l t a = s u m_{j = 1}^{n} p a r t i a l_{j}

are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by

m a t h f r a k P_{p}^{n} (X)

, we show that

m a t h f r a k P_{p}^{n} (X) l e s u m_{k = 1}^{n} f r a c 1 k

for every Banach space

(X, | c d o t |)

. This extends the classical Pisier inequality, which corresponds to the special case

f_{j} = D e l t a^{- 1} p a r t i a l_{j} f

for some

f : {- 1, 1}^{n} o X

. We show that

s u p_{n i n N} m a t h f r a k P_{p}^{n} (X) < i n f t y

if either the dual

X^{*}

is a

m a t h r m {U M D}^{+}

Banach space, or for some

h e t a i n (0, 1)

we have

X = [H, Y]_{h} e t a

, where

H

is a Hilbert space and

Y

is an arbitrary Banach space. It follows that

s u p_{n i n N} m a t h f r a k P_{p}^{n} (X) < i n f t y

if

X

is a Banach lattice of finite cotype.

Recommendations

Cited in

(11)

This page was built for publication: Pisier's inequality revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4927469)