Showing 1–32 of 32 results for author: Sjögren, P

Boundedness properties of the maximal operator in a nonsymmetric inverse Gaussian setting

Authors: Tommaso Bruno, Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: We introduce a generalized inverse Gaussian setting and consider the maximal operator associated with the natural analogue of a nonsymmetric Ornstein--Uhlenbeck semigroup. We prove that it is bounded on $L^{p}$ when $p\in (1,\infty]$ and that it is of weak type $(1,1)$, with respect to the relevant measure. For small values of the time parameter $t$, the proof hinges on the "forbidden zones" metho… ▽ More We introduce a generalized inverse Gaussian setting and consider the maximal operator associated with the natural analogue of a nonsymmetric Ornstein--Uhlenbeck semigroup. We prove that it is bounded on $L^{p}$ when $p\in (1,\infty]$ and that it is of weak type $(1,1)$, with respect to the relevant measure. For small values of the time parameter $t$, the proof hinges on the "forbidden zones" method previously introduced in the Gaussian context. But for large times the proof requires new tools. △ Less

Submitted 29 January, 2025; originally announced January 2025.

Comments: 23 pages

MSC Class: 42B25; 47D03

Hardy spaces and Riesz transforms on a Lie group of exponential growth

Authors: Peter Sjögren, Maria Vallarino

Abstract: Let $G$ be the Lie group ${\Bbb{R}}^2\rtimes {\Bbb{R}}^+$ endowed with the Riemannian symmetric space structure. Take a distinguished basis $X_0,\, X_1,\,X_2$ of left-invariant vector fields of the Lie algebra of $G$, and consider the Laplacian $Δ=-\sum_{i=0}^2X_i^2$ and the first-order Riesz transforms $\mathcal R_i=X_iΔ^{-1/2}$, \hskip3pt $i=0,1,2$. We first show that the atomic Hardy space… ▽ More Let $G$ be the Lie group ${\Bbb{R}}^2\rtimes {\Bbb{R}}^+$ endowed with the Riemannian symmetric space structure. Take a distinguished basis $X_0,\, X_1,\,X_2$ of left-invariant vector fields of the Lie algebra of $G$, and consider the Laplacian $Δ=-\sum_{i=0}^2X_i^2$ and the first-order Riesz transforms $\mathcal R_i=X_iΔ^{-1/2}$, \hskip3pt $i=0,1,2$. We first show that the atomic Hardy space $H^1$ in $G$ introduced by the authors in a previous paper does not admit a characterization in terms of the Riesz transforms $\mathcal R_i$. It is also proved that two of these Riesz transforms are bounded from $H^1$ to $H^1$. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 25 pages

Journal ref: Proceedings of the Edinburgh Mathematical Society 68 (2025) 731-762

Variational inequalities for the Ornstein--Uhlenbeck semigroup: the higher--dimensional case

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: We study the $\varrho$-th order variation seminorm of a general Ornstein--Uhlenbeck semigroup $\left(\mathcal H_t\right)_{t>0}$ in $\mathbb R^n$, taken with respect to $t$. We prove that this seminorm defines an operator of weak type $(1,1)$ with respect to the invariant measure when $\varrho> 2$. For large $t$, one has an enhanced version of the standard weak-type $(1,1)$ bound. For small $t$, th… ▽ More We study the $\varrho$-th order variation seminorm of a general Ornstein--Uhlenbeck semigroup $\left(\mathcal H_t\right)_{t>0}$ in $\mathbb R^n$, taken with respect to $t$. We prove that this seminorm defines an operator of weak type $(1,1)$ with respect to the invariant measure when $\varrho> 2$. For large $t$, one has an enhanced version of the standard weak-type $(1,1)$ bound. For small $t$, the proof hinges on vector-valued Calderón--Zygmund techniques in the local region, and on the fact that the $t$ derivative of the integral kernel of $\mathcal H_t$ in the global region has a bounded number of zeros in $(0,1]$. A counterexample is given for $\varrho= 2$; in fact, we prove that the second order variation seminorm of $\left(\mathcal H_t\right)_{t>0}$, and therefore also the $\varrho$-th order variation seminorm for any $\varrho\in [1,2)$, is not of strong nor weak type $(p,p)$ for any $p \in [1,\infty)$ with respect to the invariant measure. △ Less

Submitted 1 February, 2025; v1 submitted 1 May, 2024; originally announced May 2024.

Comments: We added an Appendix, where we discuss a technical issue involving Bochner integral. Final version, to appear in The Journal of Geometric Analysis

MSC Class: 42B99; 42B35; 47D03; 42B20

New sharp bounds for the Jacobi heat kernel via an extension of the Dijksma-Koornwinder formula

Authors: Adam Nowak, Peter Sjögren, Tomasz Z. Szarek

Abstract: We obtain sharp estimates for the Jacobi heat kernel in a range of parameters where the result has not been established before. This extends and completes an earlier result due to the authors. The proof is based on a generalization of the Dijksma-Koornwinder product formula for Jacobi polynomials. We obtain sharp estimates for the Jacobi heat kernel in a range of parameters where the result has not been established before. This extends and completes an earlier result due to the authors. The proof is based on a generalization of the Dijksma-Koornwinder product formula for Jacobi polynomials. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Comments: 17 pages

MSC Class: 35K08 (Primary) 33C45; 42C05 (Secondary)

On the variation operator for the Ornstein-Uhlenbeck semigroup in dimension one

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: Consider the variation seminorm of the Ornstein-Uhlenbeck semigroup $H_t$ in dimension one, taken with respect to $t$. We show that this seminorm defines an operator of weak type $(1,1)$ for the relevant Gaussian measure. The analogous $L^p$ estimates for $1<p<\infty$ were already known. Consider the variation seminorm of the Ornstein-Uhlenbeck semigroup $H_t$ in dimension one, taken with respect to $t$. We show that this seminorm defines an operator of weak type $(1,1)$ for the relevant Gaussian measure. The analogous $L^p$ estimates for $1<p<\infty$ were already known. △ Less

Submitted 12 May, 2023; v1 submitted 17 April, 2023; originally announced April 2023.

Comments: 16 pages. Some relevant references have ben added

MSC Class: 42A99; 47D03

Journal ref: Annali di Matematica Pura e Applicata, 203, (2024), 205--219

On non-centered maximal operators related to a non-doubling and non-radial exponential measure

Authors: Adam Nowak, Emanuela Sasso, Peter Sjögren, Krzysztof Stempak

Abstract: We investigate mapping properties of non-centered Hardy-Littlewood maximal operators related to the exponential measure $dμ(x) = \exp(-|x_1|-\ldots-|x_d|)dx$ in $\mathbb{R}^d$. The mean values are taken over Euclidean balls or cubes ($\ell^{\infty}$ balls) or diamonds ($\ell^1$ balls). Assuming that $d \ge 2$, in the cases of cubes and diamonds we prove the $L^p$-boundedness for $p > 1$ and dispro… ▽ More We investigate mapping properties of non-centered Hardy-Littlewood maximal operators related to the exponential measure $dμ(x) = \exp(-|x_1|-\ldots-|x_d|)dx$ in $\mathbb{R}^d$. The mean values are taken over Euclidean balls or cubes ($\ell^{\infty}$ balls) or diamonds ($\ell^1$ balls). Assuming that $d \ge 2$, in the cases of cubes and diamonds we prove the $L^p$-boundedness for $p > 1$ and disprove the weak type $(1,1)$ estimate. The same is proved in the case of Euclidean balls, under the restriction $d \le 4$ for the positive part. △ Less

Submitted 7 February, 2023; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: 35 pages, 11 figures

MSC Class: 42B25

Journal ref: Math. Ann. 388 (2024), 2887-2929

Spectral multipliers in a general Gaussian setting

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: We investigate a class of spectral multipliers for an Ornstein-Uhlenbeck operator $\mathcal L$ in $\mathbb R^n$, with drift given by a real matrix $B$ whose eigenvalues have negative real parts. We prove that if $m$ is a function of Laplace transform type defined in the right half-plane, then $m(\mathcal L)$ is of weak type $(1, 1)$ with respect to the invariant measure in $\mathbb R^n$. The proof… ▽ More We investigate a class of spectral multipliers for an Ornstein-Uhlenbeck operator $\mathcal L$ in $\mathbb R^n$, with drift given by a real matrix $B$ whose eigenvalues have negative real parts. We prove that if $m$ is a function of Laplace transform type defined in the right half-plane, then $m(\mathcal L)$ is of weak type $(1, 1)$ with respect to the invariant measure in $\mathbb R^n$. The proof involves many estimates of the relevant integral kernels and also a bound for the number of zeros of the time derivative of the Mehler kernel, as well as an enhanced version of the Ornstein-Uhlenbeck maximal operator theorem. △ Less

Submitted 27 September, 2023; v1 submitted 3 February, 2022; originally announced February 2022.

Comments: Section 7 revised and split into two new sections (7 and 8)

On the orthogonality of generalized eigenspaces for the Ornstein--Uhlenbeck operator

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: We study the orthogonality of the generalized eigenspaces of an Ornstein--Uhlenbeck operator $\mathcal L$ in $\mathbb{R}^N$, with drift given by a real matrix $B$ whose eigenvalues have negative real parts. If $B$ has only one eigenvalue, we prove that any two distinct generalized eigenspaces of $\mathcal L$ are orthogonal with respect to the invariant Gaussian measure. Then we show by means of tw… ▽ More We study the orthogonality of the generalized eigenspaces of an Ornstein--Uhlenbeck operator $\mathcal L$ in $\mathbb{R}^N$, with drift given by a real matrix $B$ whose eigenvalues have negative real parts. If $B$ has only one eigenvalue, we prove that any two distinct generalized eigenspaces of $\mathcal L$ are orthogonal with respect to the invariant Gaussian measure. Then we show by means of two examples that if $B$ admits distinct eigenvalues, the generalized eigenspaces of $\mathcal L$ may or may not be orthogonal. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Comments: 10 pages

MSC Class: 15A18; 47A70; 47D03

Journal ref: Arch. Math. 117, 547-556 (2021)

Riesz transforms of a general Ornstein--Uhlenbeck semigroup

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: We consider Riesz transforms of any order associated to an Ornstein--Uhlenbeck operator $\mathcal L$, with covariance $Q$ given by a real, symmetric and positive definite matrix, and with drift $B$ given by a real matrix whose eigenvalues have negative real parts. In this general Gaussian context, we prove that a Riesz transform is of weak type $(1,1)$ with respect to the invariant measure if and… ▽ More We consider Riesz transforms of any order associated to an Ornstein--Uhlenbeck operator $\mathcal L$, with covariance $Q$ given by a real, symmetric and positive definite matrix, and with drift $B$ given by a real matrix whose eigenvalues have negative real parts. In this general Gaussian context, we prove that a Riesz transform is of weak type $(1,1)$ with respect to the invariant measure if and only if its order is at most $2$. △ Less

Submitted 15 June, 2021; v1 submitted 8 April, 2020; originally announced April 2020.

Comments: 29 pages. Second draft includes a new section (section 3), dealing with the definition of the negative powers of $-\mathcal L$

MSC Class: 42B20; 47D03

Journal ref: Calc. Var. 60, 135 (2021)

On the Riesz Transforms for the inverse Gauss measure

Authors: Tommaso Bruno, Peter Sjögren

Abstract: Let $γ_{-1}$ be the absolutely continuous measure on $\mathbb{R}^n$ whose density is the reciprocal of a Gaussian function. Let further $\mathscr{A}$ be the natural self-adjoint Laplacian on $L^2(γ_{-1})$. In this paper, we prove that the Riesz transforms associated with $\mathscr{A}$ of order one or two are of weak type $(1,1)$, but that those of higher order are not. Let $γ_{-1}$ be the absolutely continuous measure on $\mathbb{R}^n$ whose density is the reciprocal of a Gaussian function. Let further $\mathscr{A}$ be the natural self-adjoint Laplacian on $L^2(γ_{-1})$. In this paper, we prove that the Riesz transforms associated with $\mathscr{A}$ of order one or two are of weak type $(1,1)$, but that those of higher order are not. △ Less

Submitted 12 March, 2021; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 16 pages

MSC Class: 42B20; 47B03

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

Authors: Adam Nowak, Peter Sjögren, Tomasz Z. Szarek

Abstract: 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 Gaus… ▽ More 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. △ Less

Submitted 25 May, 2019; originally announced May 2019.

Comments: 16 pages

MSC Class: 35K08 (Primary) 58J35; 42C10 (Secondary)

Journal ref: Math. Ann. 381 (2021), 1455-1476

On the maximal operator of a general Ornstein-Uhlenbeck semigroup

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: 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… ▽ More 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. △ Less

Submitted 1 April, 2020; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 21 pages. Introduction revised. Some changes in Sections 3 and 4

MSC Class: 47D03; 42B25

Journal ref: Mathematische Zeitschrift, 301 (2022), 2393 - 2413

Analysis in the multi-dimensional ball

Authors: Peter Sjögren, Tomasz Z. Szarek

Abstract: We study the heat semigroup maximal operator associated with a well-known orthonormal system in the d-dimensional ball. The corresponding heat kernel is shown to satisfy Gaussian bounds. As a consequence, we can prove weighted $L^p$ estimates, as well as some weighted inequalities in mixed norm spaces, for this maximal operator. We study the heat semigroup maximal operator associated with a well-known orthonormal system in the d-dimensional ball. The corresponding heat kernel is shown to satisfy Gaussian bounds. As a consequence, we can prove weighted $L^p$ estimates, as well as some weighted inequalities in mixed norm spaces, for this maximal operator. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 18 pages

MSC Class: 42B25 (Primary) 42C05; 31C25 (Secondary)

Journal ref: Mathematika 65 (2019) 190-212

Sharp estimates of the spherical heat kernel

Authors: Adam Nowak, Peter Sjögren, Tomasz Z. Szarek

Abstract: We prove sharp two-sided global estimates for the heat kernel associated with a Euclidean sphere of arbitrary dimension. This solves a long-standing open problem. We prove sharp two-sided global estimates for the heat kernel associated with a Euclidean sphere of arbitrary dimension. This solves a long-standing open problem. △ Less

Submitted 2 September, 2018; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: 9 pages, to appear in J. Math. Pures Appl. (9)

MSC Class: 35K08 (Primary) 60J65 (Secondary)

Journal ref: J. Math. Pures Appl. 129 (2019) 23-33

The maximal operator of a normal Ornstein--Uhlenbeck semigroup is of weak type $(1,1)$

Authors: Valentina Casarino, Paolo Ciatti, Peter Sjögren

Abstract: Consider a normal Ornstein--Uhlenbeck semigroup in $\Bbb{R}^n$, whose covariance is given by a positive definite matrix. The drift matrix is assumed to have eigenvalues only in the left half-plane. We prove that the associated maximal operator is of weak type $(1,1)$ with respect to the invariant measure. This extends earlier work by G. Mauceri and L. Noselli. The proof goes via the special case w… ▽ More Consider a normal Ornstein--Uhlenbeck semigroup in $\Bbb{R}^n$, whose covariance is given by a positive definite matrix. The drift matrix is assumed to have eigenvalues only in the left half-plane. We prove that the associated maximal operator is of weak type $(1,1)$ with respect to the invariant measure. This extends earlier work by G. Mauceri and L. Noselli. The proof goes via the special case where the matrix defining the covariance is $I$ and the drift matrix is diagonal. △ Less

Submitted 13 April, 2019; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: Small changes in the proof of Proposition 6.1. Final version, to appear in Annali Scuola Normale Superiore Pisa Cl. Scienze

MSC Class: 47D03 (Primary); 42B25 (Secondary)

Journal ref: Annali Scuola Normale Superiore Pisa Cl. Sci. (5) Vol. XXI (2020), 385-410

Sharp endpoint estimates for some operators associated with the Laplacian with drift in Euclidean space

Authors: Hong-Quan Li, Peter Sjögren

Abstract: Let $v \ne 0$ be a vector in $\R^n$. Consider the Laplacian on $\R^n$ with drift $Δ_{v} = Δ+ 2v\cdot \nabla$ and the measure $dμ(x) = e^{2 \langle v, x \rangle} dx$, with respect to which $Δ_{v}$ is self-adjoint. This measure has exponential growth with respect to the Euclidean distance. We study weak type $(1, 1)$ and other sharp endpoint estimates for the Riesz transforms of any order, and als… ▽ More Let $v \ne 0$ be a vector in $\R^n$. Consider the Laplacian on $\R^n$ with drift $Δ_{v} = Δ+ 2v\cdot \nabla$ and the measure $dμ(x) = e^{2 \langle v, x \rangle} dx$, with respect to which $Δ_{v}$ is self-adjoint. This measure has exponential growth with respect to the Euclidean distance. We study weak type $(1, 1)$ and other sharp endpoint estimates for the Riesz transforms of any order, and also for the vertical and horizontal Littlewood-Paley-Stein functions associated with the heat and the Poisson semigroups. △ Less

Submitted 17 January, 2017; originally announced January 2017.

MSC Class: Primary 42B20; 42B25; Secondary 58J35

Maximal operators of exotic and non-exotic Laguerre and other semigroups associated with classical orthogonal expansions

Authors: Adam Nowak, Peter Sjögren, Tomasz Z. Szarek

Abstract: Classical settings of discrete and continuous orthogonal expansions, like Laguerre, Bessel and Jacobi, are associated with second order differential operators playing the role of the Laplacian. These depend on certain parameters of type that are usually restricted to a half-line, or a product of half-lines if higher dimensions are considered. Following earlier research done by Hajmirzaahmad, we de… ▽ More Classical settings of discrete and continuous orthogonal expansions, like Laguerre, Bessel and Jacobi, are associated with second order differential operators playing the role of the Laplacian. These depend on certain parameters of type that are usually restricted to a half-line, or a product of half-lines if higher dimensions are considered. Following earlier research done by Hajmirzaahmad, we deal in this paper with Laplacians in the above-mentioned contexts with no restrictions on the type parameters and bring to attention naturally associated orthogonal systems that in fact involve the classical ones, but are different. This reveals new frameworks related to classical orthogonal expansions and thus new potentially rich research areas, at least from the harmonic analysis perspective. To support the last claim we focus on maximal operators of multi-dimensional Laguerre, Bessel and Jacobi semigroups, with unrestricted type parameters, and prove that they satisfy weak type (1,1) estimates with respect to the appropriate measures. Generally, these measures are not (locally) finite, which makes a contrast with the classical situations and generates new difficulties. An important partial result of the paper is a new proof of the weak type (1,1) estimate for the classical multi-dimensional Laguerre semigroup maximal operator. △ Less

Submitted 4 July, 2016; originally announced July 2016.

MSC Class: 42C10 (Primary) 42C05; 42C99 (Secondary)

Journal ref: Adv. Math. 318 (2017), 307-354

On the global Gaussian Lipschitz space

Authors: Liguang Liu, Peter Sjögren

Abstract: A Lipschitz space is defined in the Ornstein-Uhlenbeck setting, by means of a bound for the gradient of the Ornstein-Uhlenbeck Poisson integral. This space is then characterized with a Lipschitz-type continuity condition. These functions turn out to have at most logarithmic growth at infinity. The analogous Lipschitz space containing only bounded functions was introduced by Gatto and Urbina and ha… ▽ More A Lipschitz space is defined in the Ornstein-Uhlenbeck setting, by means of a bound for the gradient of the Ornstein-Uhlenbeck Poisson integral. This space is then characterized with a Lipschitz-type continuity condition. These functions turn out to have at most logarithmic growth at infinity. The analogous Lipschitz space containing only bounded functions was introduced by Gatto and Urbina and has been characterized by the authors in \cite{LS}. △ Less

Submitted 14 April, 2015; originally announced April 2015.

Wave extension problem for the fractional Laplacian

Authors: Mikko Kemppainen, Peter Sjögren, José Luis Torrea

Abstract: We show that the fractional Laplacian can be viewed as a Dirichlet-to-Neumann map for a degenerate hyperbolic problem, namely, the wave equation with an additional diffusion term that blows up at time zero. A solution to this wave extension problem is obtained from the Schrödinger group by means of an oscillatory subordination formula, which also allows us to find kernel representations for such s… ▽ More We show that the fractional Laplacian can be viewed as a Dirichlet-to-Neumann map for a degenerate hyperbolic problem, namely, the wave equation with an additional diffusion term that blows up at time zero. A solution to this wave extension problem is obtained from the Schrödinger group by means of an oscillatory subordination formula, which also allows us to find kernel representations for such solutions. Asymptotics of related oscillatory integrals are analysed in order to determine the correct domains for initial data in the general extension problem involving non-negative self-adjoint operators. An alternative approach using Bessel functions is also described. △ Less

Submitted 23 April, 2015; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 22 pages, constants in Theorem 4 corrected, a reference added

MSC Class: 35L80 (Primary); 35C15; 33C10 (Secondary)

Journal ref: Discrete Contin. Dyn. Syst., 35(10):4905--4929, 2015

A characterization of the Gaussian Lipschitz space and sharp estimates for the Ornstein-Uhlenbeck Poisson kernel

Authors: Liguang Liu, Peter Sjögren

Abstract: The Gaussian Lipschitz space was defined by Gatto and Urbina, by means of the Ornstein-Uhlenbeck Poisson kernel. We give a characterization of this space in terms of a combination of ordinary Lipschitz continuity conditions. The main tools used in the proof are sharp estimates of the Ornstein-Uhlenbeck Poisson kernel and some of its derivatives. The Gaussian Lipschitz space was defined by Gatto and Urbina, by means of the Ornstein-Uhlenbeck Poisson kernel. We give a characterization of this space in terms of a combination of ordinary Lipschitz continuity conditions. The main tools used in the proof are sharp estimates of the Ornstein-Uhlenbeck Poisson kernel and some of its derivatives. △ Less

Submitted 15 April, 2014; v1 submitted 17 January, 2014; originally announced January 2014.

Analysis related to all admissible type parameters in the Jacobi setting

Authors: Adam Nowak, Peter Sjögren, Tomasz Z. Szarek

Abstract: We derive an integral representation for the Jacobi-Poisson kernel valid for all admissible type parameters $α,β$ in the context of Jacobi expansions. This enables us to develop a technique for proving standard estimates in the Jacobi setting, which works for all possible $α$ and $β$. As a consequence, we can prove that several fundamental operators in the harmonic analysis of Jacobi expansions ar… ▽ More We derive an integral representation for the Jacobi-Poisson kernel valid for all admissible type parameters $α,β$ in the context of Jacobi expansions. This enables us to develop a technique for proving standard estimates in the Jacobi setting, which works for all possible $α$ and $β$. As a consequence, we can prove that several fundamental operators in the harmonic analysis of Jacobi expansions are (vector-valued) Calderón-Zygmund operators in the sense of the associated space of homogeneous type, and hence their mapping properties follow from the general theory. The new Jacobi-Poisson kernel representation also leads to sharp estimates of this kernel. The paper generalizes methods and results existing in the literature, but valid or justified only for a restricted range of $α$ and $β$. △ Less

Submitted 14 November, 2012; originally announced November 2012.

Comments: 25 pages

MSC Class: 42C05 (Primary) 42C10 (Secondary)

Journal ref: Constr. Approx. 41 (2015), 185-218

Bounds for maximal functions associated to rotational invariant measures in high dimensions

Authors: Alberto Criado, Peter Sjögren

Abstract: In recent articles it was proved that when $μ$ is a finite, radial measure in $\real^n$ with a bounded, radially decreasing density, the $L^p(μ)$ norm of the associated maximal operator $M_μ$ grows to infinity with the dimension for a small range of values of $p$ near 1. We prove that when $μ$ is Lebesgue measure restricted to the unit ball and $p<2$, the $L^p$ operator norms of the maximal operat… ▽ More In recent articles it was proved that when $μ$ is a finite, radial measure in $\real^n$ with a bounded, radially decreasing density, the $L^p(μ)$ norm of the associated maximal operator $M_μ$ grows to infinity with the dimension for a small range of values of $p$ near 1. We prove that when $μ$ is Lebesgue measure restricted to the unit ball and $p<2$, the $L^p$ operator norms of the maximal operator are unbounded in dimension, even when the action is restricted to radially decreasing functions. In spite of this, this maximal operator admits dimension-free $L^p$ bounds for every $p>2$, when restricted to radially decreasing functions. On the other hand, when $μ$ is the Gaussian measure, the $L^p$ operator norms of the maximal operator grow to infinity with the dimension for any finite $p> 1$, even in the subspace of radially decreasing functions. △ Less

Submitted 18 November, 2011; originally announced November 2011.

Sharp estimates of the Jacobi heat kernel

Authors: Adam Nowak, Peter Sjögren

Abstract: The heat kernel associated with the setting of the classical Jacobi polynomials is defined by an oscillatory sum which cannot be computed explicitly, in contrast to the situation for the two other classical systems of orthogonal polynomials. We deduce sharp estimates giving the order of magnitude of this kernel, for type parameters $α,β\ge -1/2$. As an application of the upper bound obtained, we s… ▽ More The heat kernel associated with the setting of the classical Jacobi polynomials is defined by an oscillatory sum which cannot be computed explicitly, in contrast to the situation for the two other classical systems of orthogonal polynomials. We deduce sharp estimates giving the order of magnitude of this kernel, for type parameters $α,β\ge -1/2$. As an application of the upper bound obtained, we show that the maximal operator of the multi-dimensional Jacobi heat semigroup satisfies a weak type $(1,1)$ inequality. We also obtain sharp estimates of the Poisson-Jacobi kernel. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Comments: 21 pages

MSC Class: 42C05 (Primary) 35K08 (Secondary)

Journal ref: Studia Math. 218 (2013), 219-244

Heat maximal function on a Lie group of exponential growth

Authors: Peter Sjögren, Maria Vallarino

Abstract: 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 Δ=-(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 Δis bounded from the Hardy space H^1 to L^1. We also prove th… ▽ More 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 Δ=-(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 Δ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. △ Less

Submitted 8 October, 2011; originally announced October 2011.

Comments: 18 pages

MSC Class: 22E30; 35K08; 42B25; 42B30

Calderón-Zygmund operators related to Jacobi expansions

Authors: Adam Nowak, Peter Sjögren

Abstract: We study several fundamental operators in harmonic analysis related to Jacobi expansions, including Riesz transforms, imaginary powers of the Jacobi operator, the Jacobi-Poisson semigroup maximal operator and Littlewood-Paley-Stein square functions. We show that these are (vector-valued) Calderón-Zygmund operators in the sense of the associated space of homogeneous type, and hence their mapping pr… ▽ More We study several fundamental operators in harmonic analysis related to Jacobi expansions, including Riesz transforms, imaginary powers of the Jacobi operator, the Jacobi-Poisson semigroup maximal operator and Littlewood-Paley-Stein square functions. We show that these are (vector-valued) Calderón-Zygmund operators in the sense of the associated space of homogeneous type, and hence their mapping properties follow from the general theory. Our proofs rely on an explicit formula for the Jacobi-Poisson kernel, which we derive from a product formula for Jacobi polynomials. △ Less

Submitted 16 November, 2010; originally announced November 2010.

Comments: 27 pages

MSC Class: 42C05 (Primary) 42C10 (Secondary)

Journal ref: J. Fourier Anal. Appl. 18 (2012), 717-749

A maximal function characterisation of the Hardy space for the Gauss measure

Authors: G. Mauceri, S. Meda, P. Sjogren

Abstract: In dimension one we give a maximal function characterisation of the Hardy space H^1(g) for the Gauss measure g, introduced by G. Mauceri and S. Meda. In arbitrary dimension, we give a description of the nonnegative functions in H^1(g) and use it to prove that L^p(g) is a contained in H^1(g) for 1<p\le\infty. In dimension one we give a maximal function characterisation of the Hardy space H^1(g) for the Gauss measure g, introduced by G. Mauceri and S. Meda. In arbitrary dimension, we give a description of the nonnegative functions in H^1(g) and use it to prove that L^p(g) is a contained in H^1(g) for 1<p\le\infty. △ Less

Submitted 29 June, 2010; originally announced June 2010.

Comments: 15 pages

MSC Class: 42B25; 42B30

Endpoint estimates for first-order Riesz transforms associated to the Ornstein-Uhlenbeck operator

Authors: G. Mauceri, S. Meda, P. Sjögren

Abstract: In the setting of Euclidean space with the Gaussian measure g, we consider all first-order Riesz transforms associated to the infinitesimal generator of the Ornstein-Uhlenbeck semigroup. These operators are known to be bounded on L^p(g), for 1<p<\infty. We determine which of them are bounded from H^1(g) to L^1(g) and from L^\infty(g) to BMO(g). Here H^1(g) and BMO(g) are the spaces introduced in… ▽ More In the setting of Euclidean space with the Gaussian measure g, we consider all first-order Riesz transforms associated to the infinitesimal generator of the Ornstein-Uhlenbeck semigroup. These operators are known to be bounded on L^p(g), for 1<p<\infty. We determine which of them are bounded from H^1(g) to L^1(g) and from L^\infty(g) to BMO(g). Here H^1(g) and BMO(g) are the spaces introduced in this setting by the first two authors. Surprisingly, we find that the results depend on the dimension of the ambient space. △ Less

Submitted 5 February, 2010; originally announced February 2010.

Comments: 12 pages

MSC Class: 42B20; 42B30

On the boundary convergence of solutions to the Hermite-Schrödinger equation

Authors: Peter Sjögren, J. L. Torrea

Abstract: In the half-space $\mathbb{R}^d \times \mathbb{R}_+$, we consider the Hermite-Schrödinger equation $i\partial u/\partial t = - Δ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ödinger equation. It shows that mixed norm estimates for the Hermite-Schrödinger equation can be obtained immediately fr… ▽ More In the half-space $\mathbb{R}^d \times \mathbb{R}_+$, we consider the Hermite-Schrödinger equation $i\partial u/\partial t = - Δ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ödinger equation. It shows that mixed norm estimates for the Hermite-Schrödinger 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. △ Less

Submitted 19 June, 2009; originally announced June 2009.

Comments: 12 pages

Riesz transforms for Jacobi expansions

Authors: Adam Nowak, Peter Sjögren

Abstract: We define and study Riesz transforms and conjugate Poisson integrals associated with multi-dimensional Jacobi expansions. We define and study Riesz transforms and conjugate Poisson integrals associated with multi-dimensional Jacobi expansions. △ Less

Submitted 17 February, 2008; originally announced February 2008.

Comments: 24 pages; the paper will appear in J. Anal. Math. (2008)

MSC Class: 42C10 (Primary); 42B25 (Secondary)

Journal ref: J. Anal. Math. 104 (2008), 341-369.

The multi-dimensional pencil phenomenon for Laguerre heat-diffusion maximal operators

Authors: Adam Nowak, Peter Sjögren

Abstract: We investigate in detail the mapping properties of the maximal operator associated with the heat-diffusion semigroup corresponding to expansions with respect to multi-dimensional standard Laguerre functions. We investigate in detail the mapping properties of the maximal operator associated with the heat-diffusion semigroup corresponding to expansions with respect to multi-dimensional standard Laguerre functions. △ Less

Submitted 4 February, 2008; originally announced February 2008.

Comments: 30 pages with 1 figure. This paper was published as Preprint 2007:35, Department of Mathematical Sciences, Chalmers University of Technology and University of Gothenburg

MSC Class: 42C10 (Primary); 42B25 (Secondary)

Journal ref: Math. Ann. 344 (2009), 213-248.

On the H^1-L^1 boundedness of operators

Authors: S. Meda, P. Sjogren, M. Vallarino

Abstract: We prove that if q is in (1,\infty), Y is a Banach space and T is a linear operator defined on the space of finite linear combinations of (1,q)-atoms in R^n which is uniformly bounded on (1,q)-atoms, then T admits a unique continuous extension to a bounded linear operator from H^1(R^n) to Y. We show that the same is true if we replace (1,q)-atoms with continuous (1,\infty)-atoms. This is known t… ▽ More We prove that if q is in (1,\infty), Y is a Banach space and T is a linear operator defined on the space of finite linear combinations of (1,q)-atoms in R^n which is uniformly bounded on (1,q)-atoms, then T admits a unique continuous extension to a bounded linear operator from H^1(R^n) to Y. We show that the same is true if we replace (1,q)-atoms with continuous (1,\infty)-atoms. This is known to be false for (1,\infty)-atoms. △ Less

Submitted 11 January, 2008; originally announced January 2008.

Comments: This paper will appear in Proceedings of the American Mathematical Society

MSC Class: 42B30; 46A22

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

Authors: Peter Sjögren, Maria Vallarino

Abstract: 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 $Δ=-(X_0^2+X_1^2+X_2^2)$. In this paper we consider the first order Riesz transforms $R_i=X_iΔ^{-1/2}$ and $S_i=Δ^{-1/2}X_i$, for… ▽ More 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 $Δ=-(X_0^2+X_1^2+X_2^2)$. In this paper we consider the first order Riesz transforms $R_i=X_iΔ^{-1/2}$ and $S_i=Δ^{-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Δ^{-1}X_j$ are bounded from $H^1$ to $L^1$, while the Riesz transforms $S_{ij}=Δ^{-1}X_iX_j$ and $R_{ij}=X_iX_jΔ^{-1}$ are not. △ Less

Submitted 27 September, 2007; originally announced September 2007.

Comments: This paper will be published in the "Annales de l'Institut Fourier"

MSC Class: 43A80; 42B20; 42B30; 22E30