Showing 1–44 of 44 results for author: Peloso, M M

On the equality of De Branges-Rovnyak and Dirichlet spaces

Authors: Eugenio Dellepiane, Marco M. Peloso, Anita Tabacco

Abstract: This work is devoted to the comparison of de Branges--Rovnyak $H(b)$ spaces harmonically weighted Dirichlet spaces $\mathcal{D}_μ$. We completely characterize which $H(b)$ spaces are also harmonically weighted Dirichlet spaces $\mathcal{D}_μ$, when $μ$ is a finite sum of atoms. This is a generalization of a previous result by Costara--Ransford \cite{costara2013}: we make no assumptions on the Pyth… ▽ More This work is devoted to the comparison of de Branges--Rovnyak $H(b)$ spaces harmonically weighted Dirichlet spaces $\mathcal{D}_μ$. We completely characterize which $H(b)$ spaces are also harmonically weighted Dirichlet spaces $\mathcal{D}_μ$, when $μ$ is a finite sum of atoms. This is a generalization of a previous result by Costara--Ransford \cite{costara2013}: we make no assumptions on the Pythagorean pair $(b,a)$, and we produce new examples. △ Less

Submitted 24 May, 2025; v1 submitted 22 May, 2025; originally announced May 2025.

MSC Class: 30H45; 30H10; 46E22; 30J99

On Toeplitz operators on $H^1(\mathbb{C}^+)$

Authors: Carlo Bellavita, Marco M. Peloso

Abstract: In this paper we consider Toeplitz operators with anti-analytic symbols on $H^1(\mathbb{C}^+)$. It is well known that there are no bounded Toeplitz operators $T_{\overlineΘ}\colon H^1(\mathbb{C}^+) \to H^1(\mathbb{C}^+)$, where $Θ\in H^\infty(\mathbb{C}^+)$. We consider the subspace $H^1_Θ=\left\lbrace f \in H^1(\mathbb{C}^+)\colon \int_{\mathbb{R}}f \overlineΘ=0\right\rbrace$ and show that it is… ▽ More In this paper we consider Toeplitz operators with anti-analytic symbols on $H^1(\mathbb{C}^+)$. It is well known that there are no bounded Toeplitz operators $T_{\overlineΘ}\colon H^1(\mathbb{C}^+) \to H^1(\mathbb{C}^+)$, where $Θ\in H^\infty(\mathbb{C}^+)$. We consider the subspace $H^1_Θ=\left\lbrace f \in H^1(\mathbb{C}^+)\colon \int_{\mathbb{R}}f \overlineΘ=0\right\rbrace$ and show that it is natural to study the boundedness of $T_{\overlineΘ}\colon H^1_Θ\to H^1(\mathbb{C}^+)$. We provide several different conditions equivalent to such boundedness. We prove that when $Θ=e^{iτ(\cdot)}$, with $τ>0$ $T_{\overlineΘ}\colon H^1_Θ\to H^1(\mathbb{C}^+)$ is bounded. Finally, we discuss a number of related open questions. △ Less

Submitted 10 March, 2025; originally announced March 2025.

Comments: Article accepted in Proceedings of the American Mathematical Society

MSC Class: 47B35; 30H10

On a higher-dimensional worm domain and its geometric properties

Authors: Steven G. Krantz, Marco M. Peloso, Caterina Stoppato

Abstract: We construct new $3$-dimensional variants of the classical Diederich-Fornaess worm domain. We show that they are smoothly bounded, pseudoconvex, and have nontrivial Nebenhülle. We also show that their Bergman projections do not preserve the Sobolev space for sufficiently large Sobolev indices. We construct new $3$-dimensional variants of the classical Diederich-Fornaess worm domain. We show that they are smoothly bounded, pseudoconvex, and have nontrivial Nebenhülle. We also show that their Bergman projections do not preserve the Sobolev space for sufficiently large Sobolev indices. △ Less

Submitted 9 June, 2025; v1 submitted 7 June, 2024; originally announced June 2024.

Comments: 31 pages, 2 figures

MSC Class: 32T20 (Primary) 32T05; 32A25; 32A36 (Secondary)

Journal ref: J. Lond. Math. Soc., 111(6):e70195 (2025)

Duality, $BMO$ and Hankel operators on Bernstein spaces

Authors: Carlo Bellavita, Marco M. Peloso

Abstract: In this paper we deal with the problem of describing the dual space $(B^1_κ)^*$ of the Bernstein space $B^1_κ$, that is the space of entire functions of exponential type at most $κ>0$ whose restriction to the real line is Lebesgue integrable. We provide several characterisations, showing that such dual space can be described as a quotient of the space of entire functions of exponential type $κ$ wh… ▽ More In this paper we deal with the problem of describing the dual space $(B^1_κ)^*$ of the Bernstein space $B^1_κ$, that is the space of entire functions of exponential type at most $κ>0$ whose restriction to the real line is Lebesgue integrable. We provide several characterisations, showing that such dual space can be described as a quotient of the space of entire functions of exponential type $κ$ whose restrictions to the real line is Lebesgue integrable. We provide several characterisations, showing that such dual space can be described as a quotient of the space of entire functions of exponential type $κ$ whose restrictions to the real line is in a suitable $BMO$-type space, or as the space of symbols $b$ for which the Hankel operatorc $H_b$ is bounded on the Paley-Wiener space $B^2_{κ/2}$. We also provide a characterisation of $(B^1_κ)^*$ as the $BMO$ space w.r.t. the Clark measure of the inner function $e^{iκz}$ on the upper half-plane, in analogy with the known description of the dual of backward-shift invariant $1$-spaces on the torus. Furthermore, we show that the orthogonal projection $P_κ : L^2(R)\to B^2_κ$ induces a bounded operator from $L^\infty(R)$ onto $(B^1_κ)^*$. Finally, we show that $B^1_κ$ is the dual space of the suitable $VMO$-type space or as the space of symbols $b$ for which the Hankel opertor $H_b$ on the Paley-Wiener space $B^2_{k/2}$ is compact. △ Less

Submitted 3 August, 2023; originally announced August 2023.

MSC Class: 30D15; 30H35; 47B35

Pointwise multipliers for Triebel--Lizorkin and Besov spaces on Lie groups

Authors: Tommaso Bruno, Marco M. Peloso, Maria Vallarino

Abstract: On a general Lie group $G$ endowed with a sub-Riemannian structure and of local dimension $d$, we characterize the pointwise multipliers of Triebel--Lizorkin spaces $F^{p,q}_α$ for $p,q\in (1,\infty)$ and $α>d/p$, and those of Besov spaces $B^{p,q}_α$ for $q\in [1,\infty]$, $p>d$ and $d/p< α<1$. When $G$ is stratified, we extend the latter characterization to all $p,q\in [1,\infty]$ and $α>d/p$. On a general Lie group $G$ endowed with a sub-Riemannian structure and of local dimension $d$, we characterize the pointwise multipliers of Triebel--Lizorkin spaces $F^{p,q}_α$ for $p,q\in (1,\infty)$ and $α>d/p$, and those of Besov spaces $B^{p,q}_α$ for $q\in [1,\infty]$, $p>d$ and $d/p< α<1$. When $G$ is stratified, we extend the latter characterization to all $p,q\in [1,\infty]$ and $α>d/p$. △ Less

Submitted 24 March, 2023; v1 submitted 23 March, 2023; originally announced March 2023.

Comments: 30 pages

On the Theory of Bergman Spaces on Homogeneous Siegel Domains

Authors: Mattia Calzi, Marco M. Peloso

Abstract: We consider mixed normed Bergman spaces on homogeneous Siegel domains. In the literature, two different approaches have been considered and several results seem difficult to be compared. In this paper we compare the results available in the literature and complete the existing ones in one of the two settings. The results we present are: natural inclusions, density, completeness, reproducing proper… ▽ More We consider mixed normed Bergman spaces on homogeneous Siegel domains. In the literature, two different approaches have been considered and several results seem difficult to be compared. In this paper we compare the results available in the literature and complete the existing ones in one of the two settings. The results we present are: natural inclusions, density, completeness, reproducing properties, sampling, atomic decomposition, duality, continuity of Bergman projectors, boundary values, transference. △ Less

Submitted 15 February, 2023; originally announced February 2023.

Comments: 31 pages, no figures

MSC Class: 32A15; 32A37; 32A50; 46E22

Invariant Spaces of Holomorphic Functions on the Siegel Upper Half-Space

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we consider the (ray) representations of the group $\mathrm{Aut}$ of biholomorphisms of the Siegel upper half-space $\mathcal U$ defined by $U_s(\varphi) f=(f\circ \varphi^{-1}) (J \varphi^{-1})^{s/2}$, $s\in\mathbb R$, and characterize the semi-Hilbert spaces $H$ of holomorphic functions on $\mathcal U$ satisfying the following assumptions: (a) $H$ is strongly decent; (b) $U_s$ indu… ▽ More In this paper we consider the (ray) representations of the group $\mathrm{Aut}$ of biholomorphisms of the Siegel upper half-space $\mathcal U$ defined by $U_s(\varphi) f=(f\circ \varphi^{-1}) (J \varphi^{-1})^{s/2}$, $s\in\mathbb R$, and characterize the semi-Hilbert spaces $H$ of holomorphic functions on $\mathcal U$ satisfying the following assumptions: (a) $H$ is strongly decent; (b) $U_s$ induces a bounded ray representation of the group $\mathrm{Aff}$ of affine automorphisms of $\mathcal U$ in $H$. We use this description to improve the known characterization of the semi-Hilbert spaces of holomorphic functions on $\mathcal U$ satisfying (a) and (b) with $\mathrm{Aff}$ replaced by $\mathrm{Aut}$. In addition, we characterize the mean-periodic holomorphic functions on $\mathcal U$ under the representation $U_0$ of $\mathrm{Aff}$. △ Less

Submitted 14 November, 2022; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 29 pages, no figures

MSC Class: 46E15; 47B33; 32M15

Irregularity of the Bergman projection on smooth unbounded worm domains

Authors: Steven G. Krantz, Alessandro Monguzzi, Marco M. Peloso, Caterina Stoppato

Abstract: In this work we consider smooth unbounded worm domains $\mathcal Z_λ$ in $\mathbb C^2$ and show that the Bergman projection, densely defined on the Sobolev spaces $H^{s,p}(\mathcal Z_λ)$, $p\in(1,\infty)$, $s\ge0$, does not extend to a bounded operator $P_λ:H^{s,p}(\mathcal Z_λ)\to H^{s,p}(\mathcal Z_λ)$ when $s>0$ or $p\neq2$. The same irregularity was known in the case of the non-smooth unbounde… ▽ More In this work we consider smooth unbounded worm domains $\mathcal Z_λ$ in $\mathbb C^2$ and show that the Bergman projection, densely defined on the Sobolev spaces $H^{s,p}(\mathcal Z_λ)$, $p\in(1,\infty)$, $s\ge0$, does not extend to a bounded operator $P_λ:H^{s,p}(\mathcal Z_λ)\to H^{s,p}(\mathcal Z_λ)$ when $s>0$ or $p\neq2$. The same irregularity was known in the case of the non-smooth unbounded worm. This improved result shows that the irregularity of the projection is not a consequence of the irregularity of the boundary but instead of the infinite windings of the worm domain. △ Less

Submitted 6 February, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: Revised version. To appear on the Mediterranean Journal of Mathematics

MSC Class: 32A25; 32A36

Journal ref: Mediterr. J. Math., 20(3):128 (2023)

Boundedness of Bergman projectors on homogeneous Siegel domains

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we study the boundedness of Bergman projectors on weighted Bergman spaces on homogeneous Siegel domains of Type II. As it appeared to be a natural approach in the special case of tube domains over irreducible symmetric cones, we study such boundedness on the scale of mixed-norm weighted Lebesgue spaces. The sharp range for the boundedness of such operators is essentially known only… ▽ More In this paper we study the boundedness of Bergman projectors on weighted Bergman spaces on homogeneous Siegel domains of Type II. As it appeared to be a natural approach in the special case of tube domains over irreducible symmetric cones, we study such boundedness on the scale of mixed-norm weighted Lebesgue spaces. The sharp range for the boundedness of such operators is essentially known only in the case of tube domains over Lorentz cones. In this paper we prove that the boundedness of such Bergman projectors is equivalent to variuos notions of atomic decomposition, duality, and characterization of boundary values of the mixed-norm weighted Bergman spaces, extending results moslty known only in the case of tube domains over irreducible symmetric cones. Some of our results are new even in the latter simpler context. We also study the simpler, but still quite interesting, case of the "positive" Bergman projectors, the integral operator in which the Bergman kernel is replaced by its absolute value. We provide a useful characterization which was previously known for tube domains. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Comments: 34 pages, no figures

MSC Class: 32A15; 32A37; 32A50; 46E22

Carleson and Sampling measures on Bernstein spaces on Siegel CR Manifolds

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we introduce and study Carleson and sampling measures on Bernstein spaces on a class of quadratic CR manifold called Siegel CR manifolds. These are spaces of entire functions of exponential type whose restrictions to the given Siegel CR manifold are $L^p$-integrable with respect to a natural measure. For these spaces, we prove necessary and sufficients conditions for a Radon measure… ▽ More In this paper we introduce and study Carleson and sampling measures on Bernstein spaces on a class of quadratic CR manifold called Siegel CR manifolds. These are spaces of entire functions of exponential type whose restrictions to the given Siegel CR manifold are $L^p$-integrable with respect to a natural measure. For these spaces, we prove necessary and sufficients conditions for a Radon measure to be a Carleson or a sampling measure. We also provide sufficient conditions for sampling sequences. △ Less

Submitted 8 February, 2022; originally announced February 2022.

Comments: 24 pages, no figures

MSC Class: 32A15; 32A37; 32A50; 46E22

Bernstein Spaces on Siegel CR Manifolds

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we introduce and study Bernstein spaces on a class of quadratic CR manifolds, that we call Siegel CR manifolds. These are spaces of entire functions of exponential type whose restrictions to a given Siegel CR submanifold are $L^p$-integrable with respect to a natural measure. For these spaces, among other results, we prove the Plancherel-Pólya inequality, a Bernstein inequality and a… ▽ More In this paper we introduce and study Bernstein spaces on a class of quadratic CR manifolds, that we call Siegel CR manifolds. These are spaces of entire functions of exponential type whose restrictions to a given Siegel CR submanifold are $L^p$-integrable with respect to a natural measure. For these spaces, among other results, we prove the Plancherel-Pólya inequality, a Bernstein inequality and a sufficient condition for a sequence to be sampling. △ Less

Submitted 22 December, 2021; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 22 pages, no figures

MSC Class: 32A15; 32A37; 32A50; 46E22

Fractional powers of higher order vector operators on bounded and unbounded domains

Authors: Luca Baracco, Fabrizio Colombo, Marco M. Peloso, Stefano Pinton

Abstract: Using the $H^\infty$-functional calculus for quaternionic operators, we show how to generate the fractional powers of some densely defined differential quaternionic operators of order $m\geq 1$, acting on the right linear quaternionic Hilbert space $L^2(Ω,\mathbb C\otimes\mathbb H)$. The operators that we consider are of the type… ▽ More Using the $H^\infty$-functional calculus for quaternionic operators, we show how to generate the fractional powers of some densely defined differential quaternionic operators of order $m\geq 1$, acting on the right linear quaternionic Hilbert space $L^2(Ω,\mathbb C\otimes\mathbb H)$. The operators that we consider are of the type $$ T=i^{m-1}\left(a_1(x) e_1\partial_{x_1}^{m}+a_2(x) e_2\partial_{x_2}^{m}+a_3(x) e_3\partial_{x_3}^{m}\right), \ \ \ x=(x_1,\, x_2,\, x_3)\in \overlineΩ, $$ where $\overlineΩ$ is the closure of either a bounded domain $Ω$ with $C^1$ boundary, or an unbounded domain $Ω$ in $\mathbb R^3$ with a sufficiently regular boundary which satisfy the so called property $(R)$, $\{e_1,\, e_2,\, e_3\}$ is an orthonormal basis for the imaginary units of $\mathbb H$, $a_1,\,a_2,\, a_3: \overlineΩ \subset\mathbb{R}^3\to \mathbb{R}$ are the coefficients of $T$. In particular it will be given sufficient conditions on the coefficients of $T$ in order to generate the fractional powers of $T$, denoted by $P_α(T)$ for $α\in(0,1)$, when the components of $T$, i.e. the operators $T_l:=a_l\partial_{x_l}^m$, do not commute among themselves. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Comments: arXiv admin note: text overlap with arXiv:2010.04688

Local and nonlocal Poincaré inequalities on Lie groups

Authors: Tommaso Bruno, Marco M. Peloso, Maria Vallarino

Abstract: We prove a local $L^p$-Poincaré inequality, $1\leq p < \infty$, on noncompact Lie groups endowed with a sub-Riemannian structure. We show that the constant involved grows at most exponentially with respect to the radius of the ball, and that if the group is nondoubling, then its growth is indeed, in general, exponential. We also prove a nonlocal $L^2$-Poincaré inequality with respect to suitable f… ▽ More We prove a local $L^p$-Poincaré inequality, $1\leq p < \infty$, on noncompact Lie groups endowed with a sub-Riemannian structure. We show that the constant involved grows at most exponentially with respect to the radius of the ball, and that if the group is nondoubling, then its growth is indeed, in general, exponential. We also prove a nonlocal $L^2$-Poincaré inequality with respect to suitable finite measures on the group. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 9 pages

MSC Class: 26D10; 43A80

Sampling in spaces of entire functions of exponential type in $\mathbb C^{n+1}$

Authors: Alessandro Monguzzi, Marco M. Peloso, M. Salvatori

Abstract: In this paper we consider the question of sampling for spaces of entire functions of exponential type in several variables. The novelty resides in the growth condition we impose, that is, that their restriction to a hypersurface is square integrable with respect to a natural measure. The hypersurface we consider is the boundary $b\mathcal U$ of the Siegel upper half-space $\mathcal U$ and it is fu… ▽ More In this paper we consider the question of sampling for spaces of entire functions of exponential type in several variables. The novelty resides in the growth condition we impose, that is, that their restriction to a hypersurface is square integrable with respect to a natural measure. The hypersurface we consider is the boundary $b\mathcal U$ of the Siegel upper half-space $\mathcal U$ and it is fundamental that $b\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. We consider entire functions in $\mathbb C^{n+1}$ of exponential type with respect to the hypersurface $b\mathcal U$ whose restriction to $b\mathcal U$ are square integrable with respect to the Haar measure on $\mathbb H_n$. For these functions we prove a version of the Whittaker--Kotelnikov--Shannon Theorem. Instrumental in our work are spaces of entire functions in $\mathbb C^{n+1}$ of exponential type with respect to the hypersurface $b\mathcal U$ whose restrictions to $b\mathcal U$ belong to some homogeneous Sobolev space on $\mathbb H_n$. For these spaces, using the group Fourier transform on $\mathbb H_n$, we prove a Paley--Wiener type theorem and a Plancherel--Pólya type inequality. △ Less

Submitted 24 January, 2022; v1 submitted 18 May, 2021; originally announced May 2021.

MSC Class: 32A15; 32A37; 32A50; 46E22

Journal ref: Journal of Functional Analysis, Vol 282 (6), 2022

Toeplitz and Cesàro-Type Operators on Homogeneous Siegel Domains

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we study Toeplitz and Cesàro-type operators on holomorphic function spaces on a homogeneous Siegel domain of Type II. We prove several necessary conditions and sufficient conditions for these operators to be continuous or compact, or to belong to suitable Schatten classes. In this paper we study Toeplitz and Cesàro-type operators on holomorphic function spaces on a homogeneous Siegel domain of Type II. We prove several necessary conditions and sufficient conditions for these operators to be continuous or compact, or to belong to suitable Schatten classes. △ Less

Submitted 18 June, 2021; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: 25 pages, no figures

MSC Class: 32A36 (Primary) 32A10; 32M10 (Secondary)

Carleson and reverse Carleson measures on homogeneous Siegel domains

Authors: Mattia Calzi, Marco M. Peloso

Abstract: In this paper we study Carleson and reverse Carleson measures on holomorphic function spaces on a homogeneous Siegel domain of Type II. We prove several necessary conditions and sufficient conditions in order for a measure $μ$ to be Carleson and reverse Carleson on mixed-normed weighted Bergman spaces. In this paper we study Carleson and reverse Carleson measures on holomorphic function spaces on a homogeneous Siegel domain of Type II. We prove several necessary conditions and sufficient conditions in order for a measure $μ$ to be Carleson and reverse Carleson on mixed-normed weighted Bergman spaces. △ Less

Submitted 14 June, 2021; v1 submitted 13 May, 2021; originally announced May 2021.

Comments: 40 pages, no figures

MSC Class: 32A36 (Primary) 32A10; 32M10 (Secondary)

The Drury--Arveson space on the Siegel upper half-space and a von Neumann type inequality

Authors: Nicola Arcozzi, Nikolaos Chalmoukis, Alessandro Monguzzi, Marco M. Peloso, M. Salvatori

Abstract: In this work we study what we call Siegel--dissipative vector of commuting operators $(A_1,\ldots, A_{d+1})$ on a Hilbert space $\mathcal H$ and we obtain a von Neumann type inequality which involves the Drury--Arveson space $DA$ on the Siegel upper half-space $\mathcal U$. The operator $A_{d+1}$ is allowed to be unbounded and it is the infinitesimal generator of a contraction semigroup… ▽ More In this work we study what we call Siegel--dissipative vector of commuting operators $(A_1,\ldots, A_{d+1})$ on a Hilbert space $\mathcal H$ and we obtain a von Neumann type inequality which involves the Drury--Arveson space $DA$ on the Siegel upper half-space $\mathcal U$. The operator $A_{d+1}$ is allowed to be unbounded and it is the infinitesimal generator of a contraction semigroup $\{e^{-iτA_{d+1}}\}_{τ<0}$. We then study the operator $e^{-iτA_{d+1}}A^α$ where $A^α=A_1^{α_1}\cdots A^{α_d}_d$ for $α\in\mathbb N^d_0$ and prove that can be studied by means of model operators on a weighted $L^2$ space. To prove our results we obtain a Paley--Wiener type theorem for $DA$ and we investigate some multiplier operators on $DA$ as well. △ Less

Submitted 9 September, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: 17 pages. Typos were fixed and the references updated

Holomorphic Function Spaces on Homogeneous Siegel Domains

Authors: Mattia Calzi, Marco M. Peloso

Abstract: We study several connected problems of holomorphic function spaces on homogeneous Siegel domains. The main object of our study concerns weighted mixed norm Bergman spaces on homogeneous Siegel domains of type II. These problems include: sampling, atomic decomposition, duality, boundary values, boundedness of the Bergman projectors. Our analysis include the Hardy spaces, and suitable generalization… ▽ More We study several connected problems of holomorphic function spaces on homogeneous Siegel domains. The main object of our study concerns weighted mixed norm Bergman spaces on homogeneous Siegel domains of type II. These problems include: sampling, atomic decomposition, duality, boundary values, boundedness of the Bergman projectors. Our analysis include the Hardy spaces, and suitable generalizations of the classical Bloch and Dirichlet spaces. One of the main novelties in this work is the generality of the domains under consideration, that is, homogeneous Siegel domains, extending many results from the more particular cases of the upper half-plane, Siegel domains of tube type over irreducible cones, or symmetric, irreducible Siegel domains of type II. △ Less

Submitted 19 December, 2022; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: 135 pages + Corrigendum

MSC Class: 42B35; 32M15

The Sobolev embedding constant on Lie groups

Authors: Tommaso Bruno, Marco M. Peloso, Maria Vallarino

Abstract: In this paper we estimate the Sobolev embedding constant on general noncompact Lie groups, for sub-Riemannian inhomogeneous Sobolev spaces endowed with a left invariant measure. The bound that we obtain, up to a constant depending only on the group and its sub-Riemannian structure, reduces to the best known bound for the classical inhomogeneous Sobolev embedding constant on $\mathbb{R}^d$. As an a… ▽ More In this paper we estimate the Sobolev embedding constant on general noncompact Lie groups, for sub-Riemannian inhomogeneous Sobolev spaces endowed with a left invariant measure. The bound that we obtain, up to a constant depending only on the group and its sub-Riemannian structure, reduces to the best known bound for the classical inhomogeneous Sobolev embedding constant on $\mathbb{R}^d$. As an application, we prove local and global Moser--Trudinger inequalities. △ Less

Submitted 16 November, 2021; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 19 pages

MSC Class: 26D10; 43A80; 46E35

(Ir-)regularity of canonical projection operators on some weakly pseudoconvex domains

Authors: Alessandro Monguzzi, Marco M. Peloso

Abstract: In this paper we discuss some recent results concerning the regularity and irregularity of the Bergman and Szegő projections on some weakly pseudoconvex domains that have the common feature to possess a nontrivial Nebenhülle. In this paper we discuss some recent results concerning the regularity and irregularity of the Bergman and Szegő projections on some weakly pseudoconvex domains that have the common feature to possess a nontrivial Nebenhülle. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: 19 pages, 2 figures

MSC Class: 32A25; 32A36; 30H20

Fractional Paley-Wiener and Bernstein spaces

Authors: Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: We introduce and study a family of spaces of entire functions in one variable that generalise the classical Paley-Wiener and Bernstein spaces. Namely, we consider entire functions of exponential type $a$ whose restriction to the real line belongs to the homogeneous Sobolev space $\dot{W}^{s,p}$ and we call these spaces fractional Paley-Wiener if $p=2$ and fractional Bernstein spaces if… ▽ More We introduce and study a family of spaces of entire functions in one variable that generalise the classical Paley-Wiener and Bernstein spaces. Namely, we consider entire functions of exponential type $a$ whose restriction to the real line belongs to the homogeneous Sobolev space $\dot{W}^{s,p}$ and we call these spaces fractional Paley-Wiener if $p=2$ and fractional Bernstein spaces if $p\in(1,\infty)$, that we denote by $PW^s_a$ and $\mathcal B^{s,p}_a$, respectively. For these spaces we provide a Paley-Wiener type characterization, we remark some facts about the sampling problem in the Hilbert setting and prove generalizations of the classical Bernstein and Plancherel-Pólya inequalities. We conclude by discussing a number of open questions. △ Less

Submitted 17 March, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: Typos fixed

MSC Class: 30D15; 26A33

Fractional Laplacian, homogeneous Sobolev spaces and their realizations

Authors: Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: We study the fractional Laplacian and the homogeneous Sobolev spaces on R^d , by considering two definitions that are both considered classical. We compare these different definitions, and show how they are related by providing an explicit correspondence between these two spaces, and show that they admit the same representation. Along the way we also prove some properties of the fractional Laplaci… ▽ More We study the fractional Laplacian and the homogeneous Sobolev spaces on R^d , by considering two definitions that are both considered classical. We compare these different definitions, and show how they are related by providing an explicit correspondence between these two spaces, and show that they admit the same representation. Along the way we also prove some properties of the fractional Laplacian. △ Less

Submitted 3 December, 2019; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 17 pages - some new references and comments have been added

Some remarks on $L^1$ embeddings in the subelliptic setting

Authors: Steven G. Krantz, Marco M. Peloso, Daniel Spector

Abstract: In this paper we establish an optimal Lorentz estimate for the Riesz potential in the $L^1$ regime in the setting of a stratified group $G$: Let $Q\geq 2$ be the homogeneous dimension of $G$ and $\mathcal{I}_α$ denote the Riesz potential of order $α$ on $G$. Then, for every $α\in (0,Q)$, there exists a constant $C=C(α,Q)>0$ such that \begin{align} \| \mathcal{I}_αf \|_{L^{Q/(Q-α),1}(G)} \leq C\| X… ▽ More In this paper we establish an optimal Lorentz estimate for the Riesz potential in the $L^1$ regime in the setting of a stratified group $G$: Let $Q\geq 2$ be the homogeneous dimension of $G$ and $\mathcal{I}_α$ denote the Riesz potential of order $α$ on $G$. Then, for every $α\in (0,Q)$, there exists a constant $C=C(α,Q)>0$ such that \begin{align} \| \mathcal{I}_αf \|_{L^{Q/(Q-α),1}(G)} \leq C\| X \mathcal{I}_1 f \|_{L^1(G)} \end{align} for distributions $f$ such that $X \mathcal{I}_1 f \in L^1(G)$, where $X$ denotes the horizontal gradient. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: 10 pages

Potential spaces on Lie groups

Authors: Tommaso Bruno, Marco M. Peloso, Maria Vallarino

Abstract: In this paper we discuss function spaces on a general noncompact Lie group, namely the scales of Triebel--Lizorkin and Besov spaces, defined in terms of a sub-Laplacian with drift. The sub-Laplacian is written as negative the sum of squares of a collection of left-invariant vector fields satisfying Hörmander's condition. These spaces were recently introduced by the authors. In this paper we prove… ▽ More In this paper we discuss function spaces on a general noncompact Lie group, namely the scales of Triebel--Lizorkin and Besov spaces, defined in terms of a sub-Laplacian with drift. The sub-Laplacian is written as negative the sum of squares of a collection of left-invariant vector fields satisfying Hörmander's condition. These spaces were recently introduced by the authors. In this paper we prove a norm characterization in terms of finite differences, the density of test functions, and related isomorphism properties. △ Less

Submitted 15 March, 2019; originally announced March 2019.

Comments: 33 pages

MSC Class: 46E35; 22E30; 43A15

Besov and Triebel--Lizorkin spaces on Lie groups

Authors: Tommaso Bruno, Marco M. Peloso, Maria Vallarino

Abstract: In this paper we develop a theory of Besov and Triebel--Lizorkin spaces on general noncompact Lie groups endowed with a sub-Riemannian structure. Such spaces are defined by means of hypoelliptic sub-Laplacians with drift, and endowed with a measure whose density with respect to a right Haar measure is a continuous positive character of the group. We prove several equivalent characterizations of th… ▽ More In this paper we develop a theory of Besov and Triebel--Lizorkin spaces on general noncompact Lie groups endowed with a sub-Riemannian structure. Such spaces are defined by means of hypoelliptic sub-Laplacians with drift, and endowed with a measure whose density with respect to a right Haar measure is a continuous positive character of the group. We prove several equivalent characterizations of their norms, we establish comparison results also involving Sobolev spaces of recent introduction, and investigate their complex interpolation and algebra properties. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Comments: 35 pages

MSC Class: 46E35; 22E30; 43A15

Sobolev spaces on Lie groups: embedding theorems and algebra properties

Authors: Tommaso Bruno, Marco M. Peloso, Anita Tabacco, Maria Vallarino

Abstract: Let $G$ be a noncompact connected Lie group, denote with $ρ$ a right Haar measure and choose a family of linearly independent left-invariant vector fields $\mathbf{X}$ on $G$ satisfying Hörmander's condition. Let $χ$ be a positive character of $G$ and consider the measure $μ_χ$ whose density with respect to $ρ$ is $χ$. In this paper, we introduce Sobolev spaces $L^p_α(μ_χ)$ adapted to… ▽ More Let $G$ be a noncompact connected Lie group, denote with $ρ$ a right Haar measure and choose a family of linearly independent left-invariant vector fields $\mathbf{X}$ on $G$ satisfying Hörmander's condition. Let $χ$ be a positive character of $G$ and consider the measure $μ_χ$ whose density with respect to $ρ$ is $χ$. In this paper, we introduce Sobolev spaces $L^p_α(μ_χ)$ adapted to $\mathbf{X}$ and $μ_χ$ ($1<p<\infty$, $α\geq 0$) and study embedding theorems and algebra properties of these spaces. As an application, we prove local well-posedness and regularity results of solutions of some nonlinear heat and Schrödinger equations on the group. △ Less

Submitted 26 April, 2018; originally announced April 2018.

Comments: 28 pages

MSC Class: 46E35; 22E30; 43A15

Paley--Wiener theorems on the Siegel upper half-space

Authors: Nicola Arcozzi, Alessandro Monguzzi, Marco M. Peloso, Maura Salvatori

Abstract: In this paper we study spaces of holomorphic functions on the Siegel upper half-space $\mathcal U$ and prove Paley-Wiener type theorems for such spaces. The boundary of $\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. Using the group Fourier transform on $\mathbb H_n$, Ogden-Vagi proved a Paley-Wiener theorem for the Hardy space $H^2(\mathcal U)$. We consider a scale of Hi… ▽ More In this paper we study spaces of holomorphic functions on the Siegel upper half-space $\mathcal U$ and prove Paley-Wiener type theorems for such spaces. The boundary of $\mathcal U$ can be identified with the Heisenberg group $\mathbb H_n$. Using the group Fourier transform on $\mathbb H_n$, Ogden-Vagi proved a Paley-Wiener theorem for the Hardy space $H^2(\mathcal U)$. We consider a scale of Hilbert spaces on $\mathcal U$ that includes the Hardy space, the weighted Bergman spaces, the weighted Dirichlet spaces, and in particular the Drury-Arveson space, and the Dirichlet space $\mathcal D$. For each of these spaces, we prove a Paley-Wiener theorem, some structure theorems, and provide some applications. In particular we prove that the norm of the Dirichlet space modulo constants $\dot{\mathcal D}$ is the unique Hilbert space norm that is invariant under the action of the group of automorphisms of $\mathcal U$. △ Less

Submitted 10 June, 2024; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: We added a small footnote at pag.6 which does not affect the main results of the paper

Journal ref: This is a pre-print of an article published in J. Fourier Anal. Appl. (2019)

Sobolev algebras on nonunimodular Lie groups

Authors: Marco M. Peloso, Maria Vallarino

Abstract: Let G be a noncompact connected Lie group and $ρ$ be the right Haar measure of G. Let $X_1,...,X_q$ be a family of left invariant vector fields which satisfy Hörmander's condition, and let $Δ=-\sum_{i=1}^qX_i^2$ be the corresponding subLaplacian. For $1\leq p<\infty$ and $α\geq 0$ we define the Sobolev space $L^p_α(G)={f in L^p(ρ): Δ^{α/2}f\in L^p(ρ) }$, endowed with the norm… ▽ More Let G be a noncompact connected Lie group and $ρ$ be the right Haar measure of G. Let $X_1,...,X_q$ be a family of left invariant vector fields which satisfy Hörmander's condition, and let $Δ=-\sum_{i=1}^qX_i^2$ be the corresponding subLaplacian. For $1\leq p<\infty$ and $α\geq 0$ we define the Sobolev space $L^p_α(G)={f in L^p(ρ): Δ^{α/2}f\in L^p(ρ) }$, endowed with the norm $\|f\|_{α,p}=\|f\|_{p}+\|Δ^{α/2}f\|_p$, where we denote by $\|f\|_p$ the norm of $f$ in $L^p(ρ)$. In this paper we show that for all $α\geq 0$ and $p\in (1,\infty)$, the space $L^{\infty}\cap L^p_α(G)$ is an algebra under pointwise product. Such result was proved by T. Coulhon, E. Russ and V. Tardivel-Nachef in the case when G is unimodular. We shall prove it on Lie groups, thus extending their result to the nonunimodular case. In order to prove our main result, we need to study the boundedness of local Riesz transforms $R^c_J=X_J(cI+Δ)^{-m/2}$, where c>0, $X_J=X_{j_1}...X_{j_m}$ and $j_\ell \in\{1,\dots,q\}$ for $\ell=1,...,m$. We show that if c is sufficiently large, the Riesz transform R^c_J is bounded on $L^p(ρ)$ for every $p\in (1,\infty)$, and prove also appropriate endpoint results involving Hardy and BMO spaces. △ Less

Submitted 12 September, 2018; v1 submitted 20 October, 2017; originally announced October 2017.

Comments: 33 pages. New version with a correction in Theorem 3.1 and other minor corrections. To appear in Calculus of Variations and Partial Differential Equations

MSC Class: 46E35; 22E30; 43A15

Sharp estimates for the Szegő projection on the distinguished boundary of model worm domains

Authors: Alessandro Monguzzi, Marco M. Peloso

Abstract: In this paper we study the regularity of the Szegő projection on Lebesgue and Sobolev spaces on the distinguished boundary of the unbounded model worm domain $D_β$. We denote by $d_b(D_β)$ the distinguished boundary of $D_β$ and define the corresponding Hardy space $\mathscr{H}^2(D_β)$. This can be identified with a closed subspace of $L^2(d_b(D_β),dσ)$, that we denote by… ▽ More In this paper we study the regularity of the Szegő projection on Lebesgue and Sobolev spaces on the distinguished boundary of the unbounded model worm domain $D_β$. We denote by $d_b(D_β)$ the distinguished boundary of $D_β$ and define the corresponding Hardy space $\mathscr{H}^2(D_β)$. This can be identified with a closed subspace of $L^2(d_b(D_β),dσ)$, that we denote by $\mathscr{H}^2(d_b(D_β))$, where $dσ$ is the naturally induced measure on $d_b(D_β)$. The orthogonal Hilbert space projection $\mathscr{P}: L^2(d_b(D_β),dσ)\to \mathscr{H}^2(d_b(D_β))$ is called the Szegő projection on the distinguished boundary. We prove that $\mathscr{P}$, initially defined on the dense subspace $L^2(d_b( D_β),dσ)\cap L^p(d_b(D_β), dσ)$ extends to a bounded operator $\mathscr{P}: L^p(d_b(D_β), dσ)\to L^p(d_b(D_β), dσ)$ if and only if $\textstyle{\frac{2}{1+ν_β}}<p<\textstyle{\frac{2}{1-ν_β}}$ where $ν_β=\textstyle{\fracπ{2β-π}},β>π$. Furthermore, we also prove that $\mathscr{P}$ defines a bounded operator $\mathscr{P}: W^{s,2}(d_b(D_β),dσ)\to W^{s,2}(d_b(D_β), dσ)$ if and only if $0\leq s<\textstyle{\frac{ν_β}{2}}$ where $W^{s.2}(d_b( D_β), dσ)$ denotes the Sobolev space of order $s$ and underlying $L^2$-norm. Finally, we prove a necessary condition for the boundedness of $\mathscr{P}$ on $W^{s,p}(d_b(D_β), dσ)$, $p\in(1,\infty)$, the Sobolev space of order $s$ and underlying $L^p$-norm. △ Less

Submitted 23 November, 2016; originally announced November 2016.

Comments: 27 pages

Journal ref: Integral Equations and Operator Theory 2017

Regularity of the Szegö projection on model worm domains

Authors: Alessandro Monguzzi, Marco M. Peloso

Abstract: In this paper we study the regularity of the Szegö projection on Lebesgue and Sobolev spaces on the boundary of the unbounded model worm domain $D'_β$. We consider the Hardy space $H^2(D'_β)$. Denoting by $bD'_β$ the boundary of $D'_β$, it is classical that $H^2(D'_β)$ can be identified with the closed subspace of $L^2(bD'_β,dσ)$, denoted by $H^2(bD'_β)$, consisting of the boundary values of fun… ▽ More In this paper we study the regularity of the Szegö projection on Lebesgue and Sobolev spaces on the boundary of the unbounded model worm domain $D'_β$. We consider the Hardy space $H^2(D'_β)$. Denoting by $bD'_β$ the boundary of $D'_β$, it is classical that $H^2(D'_β)$ can be identified with the closed subspace of $L^2(bD'_β,dσ)$, denoted by $H^2(bD'_β)$, consisting of the boundary values of functions in $H^2(D'_β)$, where $dσ$ is the induced Lebesgue measure. The orthogonal Hilbert space projection $P: L^2(D'_β,dσ)\to H^2(bD'_β)$ is called the Szegö projection. Let $W^{s,p}(bD'_β)$ denote the Lebesgue--Sobolev space on $bD'_β$. We prove that $P$, initially defined on the dense subspace $W^{s,p}(bD'_β)\cap L^2(bD'_β,dσ)$, extends to a bounded operator $P: W^{s,p}(bD'_β)\to W^{s,p}(bD'_β)$, for $1<p<\infty$ and $s\ge0$. △ Less

Submitted 12 October, 2016; v1 submitted 8 February, 2016; originally announced February 2016.

On some spaces of holomorphic functions of exponential growth on a half-plane

Authors: Marco M. Peloso, Maura Salvatori

Abstract: In this paper we study spaces of holomorphic functions on the right half-plane $\cal R$, that we denote by $\cal M^p_ω$, whose growth conditions are given in terms of a translation invariant measure $ω$ on the closed half-plane $\overline\cal R$. Such a measure has the form $ω=ν\otimes m$, where $m$ is the Lebesgue measure on $\mathbb R$ and $ν$ is a regular Borel measure on $[0,+\infty)$. We call… ▽ More In this paper we study spaces of holomorphic functions on the right half-plane $\cal R$, that we denote by $\cal M^p_ω$, whose growth conditions are given in terms of a translation invariant measure $ω$ on the closed half-plane $\overline\cal R$. Such a measure has the form $ω=ν\otimes m$, where $m$ is the Lebesgue measure on $\mathbb R$ and $ν$ is a regular Borel measure on $[0,+\infty)$. We call these spaces generalized Hardy-Bergman spaces on the half-plane $\cal R$. We study in particular the case of $ν$ purely atomic, with point masses on an arithmetic progression on $[0,+\infty)$. We obtain a Paley-Wiener theorem for $\cal M^2_ω$, and consequentely the expression for its reproducing kernel. We study the growth of functions in such space and in particular show that $\cal M^p_ω$ contains functions of order 1. Moreover, we prove that the orthogonal projection from $L^p(\cal R,dω)$ into $\cal M^p_ω$ is unbounded for $p\neq2$. Furthermore, we compare the spaces $\cal M^p_ω$ with the classical Hardy and Bergman spaces, and some other Hardy-Bergman-type spaces introduced more recently. △ Less

Submitted 3 December, 2015; originally announced December 2015.

MSC Class: 30H99; 46E22; 30C15; 30C40

Functions of exponential growth in a half-plane, sets of uniqueness and the M"untz--Sz'asz problem for the Bergman space

Authors: Marco M. Peloso, Maura Salvatori

Abstract: We introduce and study some new spaces of holomorphic functions on the right half-plane. In a previous work, S. Krantz, C. Stoppato and the first named author formulated the M"untz--Sz'asz problem for the Bergman space, that is, the problem to characterize the sets of complex powers that form a complete set the unweighted Bergman space of a disc. In this paper, we construct a space of holomorphic… ▽ More We introduce and study some new spaces of holomorphic functions on the right half-plane. In a previous work, S. Krantz, C. Stoppato and the first named author formulated the M"untz--Sz'asz problem for the Bergman space, that is, the problem to characterize the sets of complex powers that form a complete set the unweighted Bergman space of a disc. In this paper, we construct a space of holomorphic functions on the right half-plane, whose sets of uniqueness correspond exactly to the sets of powers that are a complete set in Bergman space. We show that this space is a reproducing kernel Hilbert space and we prove a Paley--Wiener type theorem among several other structural properties. Moreover, we determine a sufficient condition on a set of powers to be a set of uniqueness for this space, thus providing a sufficient condition for the solution of the M"untz--Sz'asz problem for the Bergman space. △ Less

Submitted 18 November, 2015; originally announced November 2015.

MSC Class: 30H99; 46E22; 30C15; 30C40

Completeness on the worm domain and the Müntz-Szász problem for the Bergman space

Authors: Steven G. Krantz, Marco M. Peloso, Caterina Stoppato

Abstract: In this paper we are concerned with the problem of completeness in the Bergman space of the worm domain $\mathcal{W}_μ$ and its truncated version $\mathcal{W}'_μ$. We determine some orthogonal systems and show that they are not complete, while showing that the union of two particular of such systems is complete. In order to prove our completeness result we introduce the Muentz-Szasz problem for… ▽ More In this paper we are concerned with the problem of completeness in the Bergman space of the worm domain $\mathcal{W}_μ$ and its truncated version $\mathcal{W}'_μ$. We determine some orthogonal systems and show that they are not complete, while showing that the union of two particular of such systems is complete. In order to prove our completeness result we introduce the Muentz-Szasz problem for the 1-dimensional Bergman space of the disk $\{ζ: |ζ-1|<1\}$ and find a sufficient condition for its solution. △ Less

Submitted 7 September, 2020; v1 submitted 21 September, 2015; originally announced September 2015.

Comments: 14 pages, Author Accepted Manuscript

Report number: Math. Res. Lett., 26(1):231--251 (2019) MSC Class: 32A36; 32T20

Bergman kernel and projection on the unbounded worm domain

Authors: Steven G. Krantz, Marco M. Peloso, Caterina Stoppato

Abstract: In this paper we study the Bergman kernel and projection on the unbounded worm domain $$ \mathcal{W}_\infty = \big\{(z_1,z_2)\in\mathbb{C}^2 : \big|z_1-e^{i\log|z_2|^2}\big|^2<1, z_2\neq0\big\}. $$ We first show that the Bergman space of $\mathcal{W}_\infty$ is infinite dimensional. Then we study Bergman kernel $K$ and Bergman projection $\mathcal{P}$ for $\mathcal{W}_\infty$. We prove that… ▽ More In this paper we study the Bergman kernel and projection on the unbounded worm domain $$ \mathcal{W}_\infty = \big\{(z_1,z_2)\in\mathbb{C}^2 : \big|z_1-e^{i\log|z_2|^2}\big|^2<1, z_2\neq0\big\}. $$ We first show that the Bergman space of $\mathcal{W}_\infty$ is infinite dimensional. Then we study Bergman kernel $K$ and Bergman projection $\mathcal{P}$ for $\mathcal{W}_\infty$. We prove that $K(z,w)$ extends holomorphically in $z$ (and antiholomorphically in $w$) near each point of the boundary except for a specific subset that we study in detail. By means of an appropriate asymptotic expansion for $K$, we prove that the Bergman projection $\mathcal{P}:W^s\not\to W^s$ if $s>0$ and $\mathcal{P}:L^p\not\to L^p$ if $p\neq2$, where $W^s$ denotes the classic Sobolev space, and $L^p$ the Lebesgue space, respectively, on $\mathcal{W}_\infty$. △ Less

Submitted 7 September, 2020; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 23 pages, 3 figures, Author Accepted Manuscript

MSC Class: 32A25; 32A36; 32T20

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), XVI(4):1153--1183 (2016)

Regularity equivalence of the Szegö projection and the complex Green operator

Authors: Phillip S. Harrington, Marco M. Peloso, Andrew S. Raich

Abstract: In this paper we prove that on a CR manifold of hypersurface type that satisfies the weak $Y(q)$ condition, the complex Green operator $G_q$ is exactly (globally) regular if and only if the Szegö projections $S_{q-1}, S_q$ and a third orthogonal projection $S'_{q+1}$ are exactly (globally) regular. The projection $S'_{q+1}$ is closely related to the Szegö projection $S_{q+1}$ and actually coincide… ▽ More In this paper we prove that on a CR manifold of hypersurface type that satisfies the weak $Y(q)$ condition, the complex Green operator $G_q$ is exactly (globally) regular if and only if the Szegö projections $S_{q-1}, S_q$ and a third orthogonal projection $S'_{q+1}$ are exactly (globally) regular. The projection $S'_{q+1}$ is closely related to the Szegö projection $S_{q+1}$ and actually coincides with it if the space of harmonic $(0,q+1)$-forms is trivial. This result extends the important and by now classical result by H. Boas and E. Straube on the equivalence of the regularity of the $\bar\partial$-Neumann operator and the Bergman projections on a smoothly bounded pseudoconvex domain. We also prove an extension of this result to the case of bounded smooth domains satisfying the weak $Z(q)$ condition on a Stein manifold. △ Less

Submitted 1 May, 2013; originally announced May 2013.

Comments: 15 pages

MSC Class: 32W10; 32W05; 35N15; 32V20; 32Q28

Journal ref: Proc. Amer. Math. Soc., 143(1):353-367, 2015

Strichartz estimates for the Schrödinger equation for the sublaplacian on complex spheres

Authors: Valentina Casarino, Marco M. Peloso

Abstract: We study the nonlinear Schrödinger equation associated with the sublaplacian L on the unit sphere $S^{2n+1}$ in $C^{n+1}$ equipped with its natural CR structure. We first prove Strichartz estimates with fractional loss of derivatives for the solutions of the free Schrödinger equation and we then deduce some local in time well-posedness results. Our results are stated in terms of certain Sobolev-ty… ▽ More We study the nonlinear Schrödinger equation associated with the sublaplacian L on the unit sphere $S^{2n+1}$ in $C^{n+1}$ equipped with its natural CR structure. We first prove Strichartz estimates with fractional loss of derivatives for the solutions of the free Schrödinger equation and we then deduce some local in time well-posedness results. Our results are stated in terms of certain Sobolev-type spaces, that measure the regularity of functions on $S^2n+1$ differently according to their spectral localization. Stronger conclusions are obtained for particular classes of solutions, corresponding to initial data whose spectrum is contained in a proper cone of $N^2$. △ Less

Submitted 2 May, 2013; v1 submitted 16 October, 2012; originally announced October 2012.

Comments: 32 pages. Final version, to appear in Transactions of the American Mathematical Society

MSC Class: 35Q41 (43A85; 35B65; 33C55)

Analysis of the Hodge Laplacian on the Heisenberg group

Authors: Detlef Müller, Marco M. Peloso, Fulvio Ricci

Abstract: We consider the Hodge Laplacian $Δ$ on the Heisenberg group $H_n$, endowed with a left-invariant and U(n)-invariant Riemannian metric. For $0\le k\le 2n+1$, let $Δ_k$ denote the Hodge Laplacian restricted to $k$-forms. Our first main result shows that $L^2Λ^k(H_n)$ decomposes into finitely many mutually orthogonal subspaces $\V_ν$ with the properties: {itemize} $\dom Δ_k$ splits along the… ▽ More We consider the Hodge Laplacian $Δ$ on the Heisenberg group $H_n$, endowed with a left-invariant and U(n)-invariant Riemannian metric. For $0\le k\le 2n+1$, let $Δ_k$ denote the Hodge Laplacian restricted to $k$-forms. Our first main result shows that $L^2Λ^k(H_n)$ decomposes into finitely many mutually orthogonal subspaces $\V_ν$ with the properties: {itemize} $\dom Δ_k$ splits along the $\V_ν$'s as $\sum_ν(\domΔ_k\cap \V_ν)$; $Δ_k:(\domΔ_k\cap \V_ν)\longrightarrow \V_ν$ for every $ν$; for each $ν$, there is a Hilbert space $\cH_ν$ of $L^2$-sections of a U(n)-homogeneous vector bundle over $H_n$ such that the restriction of $Δ_k$ to $\V_ν$ is unitarily equivalent to an explicit scalar operator. {itemize} Next, we consider $L^pΛ^k$, $1<p<\infty$, and prove that the same kind of decomposition holds true. More precisely we show that: {itemize} the Riesz transforms $dΔ_k^{-\half}$ are $L^p$-bounded; the orthogonal projection onto $\cV_ν$ extends from $(L^2\cap L^p)Λ^k$ to a bounded operator from $L^pΛ^k$ to the the $L^p$-closure $\cV_ △ Less

Submitted 20 June, 2012; originally announced June 2012.

L^p-summability of Riesz means for the sublaplacian on complex spheres

Authors: Valentina Casarino, Marco M. Peloso

Abstract: In this paper we study the L^p-convergence of the Riesz means for the sublaplacian on the sphere S^{2n-1} in the complex n-dimensional space C^n. We show that the Riesz means of order delta of a function f converge to f in L^p(S^{2n-1}) when delta>delta(p):=(2n-1)|1\2-1\p|. The index delta(p) improves the one found by Alexopoulos and Lohoue', $2n|1\2-1\p|$, and it coincides with the one found by… ▽ More In this paper we study the L^p-convergence of the Riesz means for the sublaplacian on the sphere S^{2n-1} in the complex n-dimensional space C^n. We show that the Riesz means of order delta of a function f converge to f in L^p(S^{2n-1}) when delta>delta(p):=(2n-1)|1\2-1\p|. The index delta(p) improves the one found by Alexopoulos and Lohoue', $2n|1\2-1\p|$, and it coincides with the one found by Mauceri and, with different methods, by Mueller in the case of sublaplacian on the Heisenberg group. △ Less

Submitted 19 November, 2008; originally announced November 2008.

Comments: Rapporto interno Politecnico di Torino, Novembre 2008

Analysis and geometry on worm domains

Authors: Steven G. Krantz, Marco M. Peloso

Abstract: We describe recent work on the Bergman kernel of the (non-smooth) worm domain in several complex variables. An asymptotic expansion is obtained for the Bergman kernel. Mapping properties of the Bergman projection are studied. Irregularity properties of the kernal at the boundary are established. This is an expository paper, and considerable background is provided. Discussion of the smooth worm… ▽ More We describe recent work on the Bergman kernel of the (non-smooth) worm domain in several complex variables. An asymptotic expansion is obtained for the Bergman kernel. Mapping properties of the Bergman projection are studied. Irregularity properties of the kernal at the boundary are established. This is an expository paper, and considerable background is provided. Discussion of the smooth worm is also included. △ Less

Submitted 22 October, 2007; originally announced October 2007.

Report number: AIM 2007-82 MSC Class: 32T20; 32F17

The Bergman kernel and projection on non-smooth worm domains

Authors: Steven G. Krantz, Marco M. Peloso

Abstract: This paper provides a precise asymptotic expansion for the Bergman kernel on the non-smooth worm domains of Christer Kiselman in complex 2-space. Applications are given to the failure of Condition R, to deviant boundary behavior of the kernel, and to L^p mapping properties of the kernel. This paper provides a precise asymptotic expansion for the Bergman kernel on the non-smooth worm domains of Christer Kiselman in complex 2-space. Applications are given to the failure of Condition R, to deviant boundary behavior of the kernel, and to L^p mapping properties of the kernel. △ Less

Submitted 25 June, 2007; originally announced June 2007.

Report number: AIM 2007-29 MSC Class: 32A25; 32A36

L^p-spectral multipliers for the Hodge Laplacian acting on 1-forms on the Heisenberg group

Authors: Detlef Müller, Marco M. Peloso, Fulvio Ricci

Abstract: We prove that, if Δ_1 is the Hodge Laplacian acting on differential 1-forms on the (2n+1)-dimensional Heisenberg group, and if m is a Mihlin-Hörmander multiplier on the positive half-line, with L^2-order of smoothness greater than n+1/2, then m(Δ_1) is L^p-bounded for 1<p<\infty. Our approach leads to an explicit description of the spectral decomposition of Δ_1 on the space of L^2-forms in terms… ▽ More We prove that, if Δ_1 is the Hodge Laplacian acting on differential 1-forms on the (2n+1)-dimensional Heisenberg group, and if m is a Mihlin-Hörmander multiplier on the positive half-line, with L^2-order of smoothness greater than n+1/2, then m(Δ_1) is L^p-bounded for 1<p<\infty. Our approach leads to an explicit description of the spectral decomposition of Δ_1 on the space of L^2-forms in terms of the spectral analysis of the sub-Laplacian L and the central derivative T, acting on scalar-valued functions. △ Less

Submitted 27 August, 2005; originally announced August 2005.

Comments: 34 pages

MSC Class: 43A80; 42B15

$\overline{\partial}$-Neumann Problem in the Sobolev Topology

Authors: Luigi Fontana, Steven G. Krantz, Marco M. Peloso

Abstract: We study the $\overline{\partial}$-Neumann problem using the Sobolev space inner product. We show that the problem can be solved on any smoothly bounded, pseudoconvex domain. We further formulate estimates and the basic results of a Sobolev Hodge theory. We study the $\overline{\partial}$-Neumann problem using the Sobolev space inner product. We show that the problem can be solved on any smoothly bounded, pseudoconvex domain. We further formulate estimates and the basic results of a Sobolev Hodge theory. △ Less

Submitted 7 November, 1996; originally announced November 1996.

Report number: MSRI 1996-076

The dbar-Neumann problem in the Sobolev topology

Authors: Luigi Fontana, Steven G. Krantz, Marco M. Peloso

Abstract: revision posted November 1996 revision posted November 1996 △ Less

Submitted 8 November, 1996; v1 submitted 8 June, 1996; originally announced July 1996.

MSC Class: 32

Hodge theory in the Sobolev topology for the de Rham complex

Authors: Luigi Fontana, Steven G. Krantz, Marco M. Peloso

Abstract: The authors study the Hodge theory of the exterior differential operator $d$ acting on $q$-forms on a smoothly bounded domain in $\RR^{N+1}$, and on the half space $\rnp$. The novelty is that the topology used is not an $L^2$ topology but a Sobolev topology. This strikingly alters the problem as compared to the classical setup. It gives rise to a boundary-value problem belonging to a class of pr… ▽ More The authors study the Hodge theory of the exterior differential operator $d$ acting on $q$-forms on a smoothly bounded domain in $\RR^{N+1}$, and on the half space $\rnp$. The novelty is that the topology used is not an $L^2$ topology but a Sobolev topology. This strikingly alters the problem as compared to the classical setup. It gives rise to a boundary-value problem belonging to a class of problems first introduced by Višik and Eskin, and by Boutet de Monvel. △ Less

Submitted 21 January, 1996; originally announced January 1996.

Report number: MSRI 1996-005