Quick search | Browse volumes | |

XIII: 01, 1-3, LNM 721 (1979)

**BORELL, Christer**

On the integrability of Banach space valued Walsh polynomials (Banach space valued random variables)

The $L^2$ space over the standard Bernoulli measure on $\{-1,1\}^**N**$ has a well-known orthogonal basis $(e_\alpha)$ indexed by the finite subsets of $**N**$. The Walsh polynomials of order $d$ with values in a Banach space $E$ are linear combinations $\sum_\alpha c_\alpha e_\alpha$ where $c_\alpha\in E$ and $\alpha$ is a finite subset with $d$ elements. It is shown that on this space (as on the Wiener chaos spaces) all $L^p$ norms are equivalent with precise bounds, for $1<p<\infty$. The proof uses the discrete version of hypercontractivity

Keywords: Walsh polynomials, Hypercontractivity

Nature: Original

Retrieve article from Numdam

XVI: 06, 95-132, LNM 920 (1982)

**MEYER, Paul-André**

Note sur les processus d'Ornstein-Uhlenbeck (Malliavin's calculus)

With every Gaussian measure $\mu$ one can associate an Ornstein-Uhlenbeck semigroup, for which $\mu$ is a reversible invariant measure. When $\mu$ is Wiener's measure on ${\cal C}(**R**)$, this semigroup is a fundamental tool in Malliavin's own approach to the ``Malliavin calculus''. See for instance Stroock's exposition of it in *Math. Systems Theory,* **13**, 1981. With this semigroup one can associate its generator $L$ which plays the role of the classical Laplacian, and the positive bilinear functional $\Gamma(f,g)= L(fg)-fLg-gLf$---leaving aside domain problems for simplicity---sometimes called ``carré du champ'', which plays the role of the squared classical gradient. As in classical analysis, one can define it as $\sum_i \nabla_i f\nabla i g$, the derivatives being relative to an orthonormal basis of the Cameron-Martin space. We may define Sobolev-like spaces of order one in two ways: either by the fact that $Cf$ belongs to $L^p$, where $C=-\sqrt{-L}$ is the ``Cauchy generator'', or by the fact that $\sqrt{\Gamma(f,f)}$ belongs to $L^p$. A result which greatly simplifies the analytical part of the ``Malliavin calculus'' is the fact that both definitions are equivalent. This is the main topic of the paper, and its proof uses the Littlewood-Paley-Stein theory for semigroups as presented in 1010, 1510

Comment: An important problem is the extension to higher order Sobolev-like spaces. For instance, we could define the Sobolev space of order 2 either by the fact that $C^2f=-Lf$ belongs to $L^p$, and on the other hand define $\Gamma_2(f,g)=\sum_{ij} \nabla_i\nabla_j f \nabla_i\nabla_j g$ (derivatives of order 2) and ask that $\sqrt{\Gamma_2(f,f)}\in L^p$. For the equivalence of these two definitions and general higher order ones, see 1816, which anyhow contains many improvements over 1606. Also, proofs of these results have been given which do not involve Littlewood-Paley methods. For instance, Pisier has a proof which only uses the boundedness in $L^p$ of classical Riesz transforms.\par Another trend of research has been the correct definition of ``higher gradients'' within semigroup theory (the preceding definition of $\Gamma_2(f,g)$ makes use of the Gaussian structure). Bakry investigated the fundamental role of ``true'' $\Gamma_2$, the bilinear form $\Gamma_2(f,g)=L\Gamma(f,g)-\Gamma(Lf,g)-\Gamma(Lf,g)$, which is positive in the case of the Ornstein-Uhlenbeck semigroup but is not always so. See 1909, 1910, 1912

Keywords: Ornstein-Uhlenbeck process, Gaussian measures, Littlewood-Paley theory, Hypercontractivity, Hermite polynomials, Riesz transforms, Test functions

Nature: Exposition, Original additions

Retrieve article from Numdam

XVI: 09, 138-150, LNM 920 (1982)

**BAKRY, Dominique**; **MEYER, Paul-André**

Sur les inégalités de Sobolev logarithmiques (two parts) (Applications of martingale theory)

These two papers are variations on a paper of G.F. Feissner (*Trans. Amer Math. Soc.*, **210**, 1965). Let $\mu$ be a Gaussian measure, $P_t$ be the corresponding Ornstein-Uhlenbeck semigroup. Nelson's hypercontractivity theorem states (roughly) that $P_t$ is bounded from $L^p(\mu)$ to some $L^q(\mu)$ with $q\ge p$. In another celebrated paper, Gross showed this to be equivalent to a logarithmic Sobolev inequality, meaning that if a function $f$ is in $L^2$ as well as $Af$, where $A$ is the Ornstein-Uhlenbeck generator, then $f$ belongs to the Orlicz space $L^2Log_+L$. The starting point of Feissner was to translate this again as a result on the ``Riesz potentials'' of the semi-group (defined whenever $f\in L^2$ has integral $0$) $$R^{\alpha}={1\over \Gamma(\alpha)}\int_0^\infty t^{\alpha-1}P_t\,dt\;.$$ Note that $R^{\alpha}R^{\beta}=R^{\alpha+\beta}$. Then the theorem of Gross implies that $R^{1/2}$ is bounded from $L^2$ to $L^2Log_+L$. This suggests the following question: which are in general the smoothing properties of $R^\alpha$? (Feissner in fact considers a slightly different family of potentials).\par The complete result then is the following : for $\alpha$ complex, with real part $\ge0$, $R^\alpha$ is bounded from $L^pLog^r_+L$ to $L^pLog^{r+p\alpha}_+L$. The method uses complex interpolation between two cases: a generalization to Orlicz spaces of a result of Stein, when $\alpha$ is purely imaginary, and the case already known where $\alpha$ has real part $1/2$. The first of these two results, proved by martingale theory, is of a quite general nature

Keywords: Logarithmic Sobolev inequalities, Hypercontractivity, Gaussian measures, Riesz potentials

Nature: Original

Retrieve article from Numdam

On the integrability of Banach space valued Walsh polynomials (Banach space valued random variables)

The $L^2$ space over the standard Bernoulli measure on $\{-1,1\}^

Keywords: Walsh polynomials, Hypercontractivity

Nature: Original

Retrieve article from Numdam

XVI: 06, 95-132, LNM 920 (1982)

Note sur les processus d'Ornstein-Uhlenbeck (Malliavin's calculus)

With every Gaussian measure $\mu$ one can associate an Ornstein-Uhlenbeck semigroup, for which $\mu$ is a reversible invariant measure. When $\mu$ is Wiener's measure on ${\cal C}(

Comment: An important problem is the extension to higher order Sobolev-like spaces. For instance, we could define the Sobolev space of order 2 either by the fact that $C^2f=-Lf$ belongs to $L^p$, and on the other hand define $\Gamma_2(f,g)=\sum_{ij} \nabla_i\nabla_j f \nabla_i\nabla_j g$ (derivatives of order 2) and ask that $\sqrt{\Gamma_2(f,f)}\in L^p$. For the equivalence of these two definitions and general higher order ones, see 1816, which anyhow contains many improvements over 1606. Also, proofs of these results have been given which do not involve Littlewood-Paley methods. For instance, Pisier has a proof which only uses the boundedness in $L^p$ of classical Riesz transforms.\par Another trend of research has been the correct definition of ``higher gradients'' within semigroup theory (the preceding definition of $\Gamma_2(f,g)$ makes use of the Gaussian structure). Bakry investigated the fundamental role of ``true'' $\Gamma_2$, the bilinear form $\Gamma_2(f,g)=L\Gamma(f,g)-\Gamma(Lf,g)-\Gamma(Lf,g)$, which is positive in the case of the Ornstein-Uhlenbeck semigroup but is not always so. See 1909, 1910, 1912

Keywords: Ornstein-Uhlenbeck process, Gaussian measures, Littlewood-Paley theory, Hypercontractivity, Hermite polynomials, Riesz transforms, Test functions

Nature: Exposition, Original additions

Retrieve article from Numdam

XVI: 09, 138-150, LNM 920 (1982)

Sur les inégalités de Sobolev logarithmiques (two parts) (Applications of martingale theory)

These two papers are variations on a paper of G.F. Feissner (

Keywords: Logarithmic Sobolev inequalities, Hypercontractivity, Gaussian measures, Riesz potentials

Nature: Original

Retrieve article from Numdam