Boundedness from H^1 to L^1 of Riesz transforms on a Lie group of exponential growth

Let $G$ be the Lie group given by the semidirect product of $R^2$ and $R^+$ endowed with the Riemannian symmetric space structure. Let $X_0, X_1, X_2$ be a distinguished basis of left-invariant vector fields of the Lie algebra of $G$ and define the Laplacian $\Delta=-(X_0^2+X_1^2+X_2^2)$. In this paper we consider the first order Riesz transforms $R_i=X_i\Delta^{-1/2}$ and $S_i=\Delta^{-1/2}X_i$, for $i=0,1,2$. We prove that the operators $R_i$, but not the $S_i$, are bounded from the Hardy space $H^1$ to $L^1$. We also show that the second order Riesz transforms $T_{ij}=X_i\Delta^{-1}X_j$ are bounded from $H^1$ to $L^1$, while the Riesz transforms $S_{ij}=\Delta^{-1}X_iX_j$ and $R_{ij}=X_iX_j\Delta^{-1}$ are not.Comment: This paper will be published in the "Annales de l'Institut Fourier

Heat maximal function on a Lie group of exponential growth

Let G be the Lie group R^2\rtimes R^+ endowed with the Riemannian symmetric space structure. Let X_0, X_1, X_2 be a distinguished basis of left-invariant vector fields of the Lie algebra of G and define the Laplacian \Delta=-(X_0^2+X_1^2+X_2^2). In this paper, we show that the maximal function associated with the heat kernel of the Laplacian \Delta is bounded from the Hardy space H^1 to L^1. We also prove that the heat maximal function does not provide a maximal characterization of the Hardy space H^1.Comment: 18 page

On the boundary convergence of solutions to the Hermite-Schr\"odinger equation

In the half-space $\mathbb{R}^d \times \mathbb{R}_+$, we consider the Hermite-Schr\"odinger equation $i\partial u/\partial t = - \Delta u + |x|^2 u$, with given boundary values on $\mathbb{R}^d$. We prove a formula that links the solution of this problem to that of the classical Schr\"odinger equation. It shows that mixed norm estimates for the Hermite-Schr\"odinger equation can be obtained immediately from those known in the classical case. In one space dimension, we deduce sharp pointwise convergence results at the boundary, by means of this link.Comment: 12 page

On the maximal operator of a general Ornstein-Uhlenbeck semigroup

If $Q$ is a real, symmetric and positive definite $n\times n$ matrix, and $B$ a real $n\times n$ matrix whose eigenvalues have negative real parts, we consider the Ornstein--Uhlenbeck semigroup on $\mathbb{R}^n$ with covariance $Q$ and drift matrix $B$. Our main result says that the associated maximal operator is of weak type $(1,1)$ with respect to the invariant measure. The proof has a geometric gist and hinges on the "forbidden zones method" previously introduced by the third author.Comment: 21 pages. Introduction revised. Some changes in Sections 3 and

Genuinely sharp heat kernel estimates on compact rank-one symmetric spaces, for Jacobi expansions, on a ball and on a simplex

We prove genuinely sharp two-sided global estimates for heat kernels on all compact rank-one symmetric spaces. This generalizes the authors' recent result obtained for a Euclidean sphere of arbitrary dimension. Furthermore, similar heat kernel bounds are shown in the context of classical Jacobi expansions, on a ball and on a simplex. These results are more precise than the qualitatively sharp Gaussian estimates proved recently by several authors.Comment: 16 page