Pisier's inequality revisited
Given a Banach space X, for n∈N and p∈(1,∞) we investigate the smallest constant P∈(0,∞) for which every f1,...,fn:−1,1n→X satisfy \int_{{-1,1}^n}\Bigg|\sum_{j=1}^n \partial_jf_j(\varepsilon)\Bigg|^pdμ(\varepsilon) \leq \mathfrak{P}^p\int_{{-1,1}^n}\int_{{-1,1}^n}\Bigg\|\sum_{j=1}^n \d_jΔf_j(\varepsilon)\Bigg\|^pdμ(\varepsilon) dμ(δ), where μ is the uniform probability measure on the discrete hypercube −1,1n and ∂jj=1n and Δ=∑j=1n∂j are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by Ppn(X), we show that Ppn(X)≤∑k=1nk1 for every Banach space (X,∣⋅∣). This extends the classical Pisier inequality, which corresponds to the special case fj=Δ−1∂jf for some f:−1,1n→X. We show that supn∈NPpn(X)<∞ if either the dual X∗ is a UMD+ Banach space, or for some θ∈(0,1) we have X=[H,Y]θ, where H is a Hilbert space and Y is an arbitrary Banach space. It follows that supn∈NPpn(X)<∞ if X is a Banach lattice of finite cotype.