Showing 1–23 of 23 results for author: Monguzzi, A

On discrete holomorphic Paley-Wiener spaces and sampling on the square lattice

Authors: Alessandro Monguzzi, Matteo Monti

Abstract: We consider a reproducing kernel Hilbert space of discrete entire functions on the square lattice $\mathbb Z^2$ inspired by the classical Paley-Wiener space of entire functions of exponential growth in the complex plane. For such space we provide a Paley-Wiener type characterization and a sampling result. We consider a reproducing kernel Hilbert space of discrete entire functions on the square lattice $\mathbb Z^2$ inspired by the classical Paley-Wiener space of entire functions of exponential growth in the complex plane. For such space we provide a Paley-Wiener type characterization and a sampling result. △ Less

Submitted 30 January, 2025; originally announced January 2025.

Comments: 24 pages

MSC Class: 30G25; 39A12; 30D15; 30H99

Single radius spherical cap discrepancy on compact two-point homogeneous spaces

Authors: Luca Brandolini, Bianca Gariboldi, Giacomo Gigante, Alessandro Monguzzi

Abstract: In this note we study estimates from below of the single radius spherical discrepancy in the setting of compact two-point homogeneous spaces. Namely, given a $d$-dimensional manifold $\mathcal M$ endowed with a distance $ρ$ so that $(\mathcal M, ρ)$ is a two-point homogeneous space and with the Riemannian measure $μ$, we provide conditions on $r$ such that if $D_r$ denotes the discrepancy of the b… ▽ More In this note we study estimates from below of the single radius spherical discrepancy in the setting of compact two-point homogeneous spaces. Namely, given a $d$-dimensional manifold $\mathcal M$ endowed with a distance $ρ$ so that $(\mathcal M, ρ)$ is a two-point homogeneous space and with the Riemannian measure $μ$, we provide conditions on $r$ such that if $D_r$ denotes the discrepancy of the ball of radius $r$, then, for an absolute constant $C>0$ and for every set of points $\{x_j\}_{j=1}^N$, one has $\int_{\mathcal M} |D_{r}(x)|^2\, dμ(x)\geqslant C N^{-1-\frac1d}$. The conditions on $r$ that we have depend on the dimension $d$ of the manifold and cannot be achieved when $d \equiv 1 \ ( \operatorname{mod}4)$. Nonetheless, we prove a weaker estimate for such dimensions as well. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 16 pages

MSC Class: 11K38; 43A85; 33C45

On a discrete approach to lower bounds in discrepancy theory

Authors: Luca Brandolini, Bianca Gariboldi, Giacomo Gigante, Alessandro Monguzzi

Abstract: In this paper, we prove that some renowned lower bounds in discrepancy theory admit a discrete analogue. Namely, we prove that the lower bound of the discrepancy for corners in the unit cube due to Roth holds true also for a suitable finite family of corners. We also prove two analogous results for the discrepancy on the torus with respect to squares and balls. In this paper, we prove that some renowned lower bounds in discrepancy theory admit a discrete analogue. Namely, we prove that the lower bound of the discrepancy for corners in the unit cube due to Roth holds true also for a suitable finite family of corners. We also prove two analogous results for the discrepancy on the torus with respect to squares and balls. △ Less

Submitted 5 March, 2025; v1 submitted 17 December, 2023; originally announced December 2023.

Comments: 29 pages, 1 figure. Accepted for publication on Journal of Fourier Analysis and Applications

MSC Class: 11K38; 39A12

On the speed of convergence in the ergodic theorem for shift operators

Authors: Nikolaos Chalmoukis, Leonardo Colzani, Bianca Gariboldi, Alessandro Monguzzi

Abstract: Given a probability space $(X,μ)$, a square integrable function $f$ on such space and a (unilateral or bilateral) shift operator $T$, we prove under suitable assumptions that the ergodic means $N^{-1}\sum_{n=0}^{N-1} T^nf$ converge pointwise almost everywhere to zero with a speed of convergence which, up to a small logarithmic transgression, is essentially of the order of $N^{-1/2}$. We also provi… ▽ More Given a probability space $(X,μ)$, a square integrable function $f$ on such space and a (unilateral or bilateral) shift operator $T$, we prove under suitable assumptions that the ergodic means $N^{-1}\sum_{n=0}^{N-1} T^nf$ converge pointwise almost everywhere to zero with a speed of convergence which, up to a small logarithmic transgression, is essentially of the order of $N^{-1/2}$. We also provide a few applications of our results, especially in the case of shifts associated with toral endomorphisms. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 19 pages

MSC Class: 47A35; 37A30

Summability and speed of convergence in an ergodic theorem

Authors: Leonardo Colzani, Bianca M. Gariboldi, Alessandro Monguzzi

Abstract: Given an irrational vector $α$ in $\mathbb{R}^{d}$, a continuous function $f(x)$ on the torus $\mathbb{T}^{d}$ and suitable weights $Φ(N,n)$ such that $\sum_{n=-\infty}^{+\infty}Φ(N,n)=1$, we estimate the speed of convergence to the integral $\int_{\mathbb{T}^{d}}f(y)dy$ of the weighted sum $\sum_{n=-\infty}^{+\infty}Φ(N,n) f(x+nα)$ as $N\rightarrow +\infty$. Whereas for the arithmetic means… ▽ More Given an irrational vector $α$ in $\mathbb{R}^{d}$, a continuous function $f(x)$ on the torus $\mathbb{T}^{d}$ and suitable weights $Φ(N,n)$ such that $\sum_{n=-\infty}^{+\infty}Φ(N,n)=1$, we estimate the speed of convergence to the integral $\int_{\mathbb{T}^{d}}f(y)dy$ of the weighted sum $\sum_{n=-\infty}^{+\infty}Φ(N,n) f(x+nα)$ as $N\rightarrow +\infty$. Whereas for the arithmetic means $N^{-1}\sum_{n=1}^{N}f(x+nα)$ the speed of convergence is never faster than $cN^{-1}$, for other means such speed can be accelerated. We estimate the speed of convergence in two theorems with different flavor. The first result is a metric one, and it provides an estimate of the speed of convergence in terms of the Fourier transform of the weights $Φ(N,n)$ and the smoothness of the function $f(x)$ which holds for almost every $α$. The second result is a deterministic one, and the speed of convergence is estimated also in terms of the Diophantine properties of the given irrational vector $α\in\mathbb R^d$. △ Less

Submitted 28 February, 2023; originally announced February 2023.

Comments: 28 pages

MSC Class: 37A44; 37A46; 42B08

Nonabelian ramified coverings and $L^p$-boundedness of Bergman projections in $\mathbb C^2$

Authors: Gian Maria Dall'Ara, Alessandro Monguzzi

Abstract: In this work we explore the theme of $L^p$-boundedness of Bergman projections of domains that can be covered, in the sense of ramified coverings, by "nice" domains (e.g. strictly pseudoconvex domains with real analytic boundary). In particular, we focus on two-dimensional normal ramified coverings whose covering group is a finite unitary reflection group. In an infinite family of examples we are a… ▽ More In this work we explore the theme of $L^p$-boundedness of Bergman projections of domains that can be covered, in the sense of ramified coverings, by "nice" domains (e.g. strictly pseudoconvex domains with real analytic boundary). In particular, we focus on two-dimensional normal ramified coverings whose covering group is a finite unitary reflection group. In an infinite family of examples we are able to prove $L^p$-boundedness of the Bergman projection for every $p\in(1,\infty)$. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 24 pages

MSC Class: 32A36

Journal ref: J. Geom. Anal. 33.52 (2023)

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)

Euler-MacLaurin summation formula on polytopes and expansions in multivariate Bernoulli polynomials

Authors: Luca Brandolini, Leonardo Colzani, Bianca Gariboldi, Giacomo Gigante, Alessandro Monguzzi

Abstract: We provide a multidimensional weighted Euler--MacLaurin summation formula on polytopes and a multidimensional generalization of a result due to L. J. Mordell on the series expansion in Bernoulli polynomials. These results are consequences of a more general series expansion; namely, if $χ_{τ\mathcal{P}}$ denotes the characteristic function of a dilated integer convex polytope $\mathcal{P}$ and $q$… ▽ More We provide a multidimensional weighted Euler--MacLaurin summation formula on polytopes and a multidimensional generalization of a result due to L. J. Mordell on the series expansion in Bernoulli polynomials. These results are consequences of a more general series expansion; namely, if $χ_{τ\mathcal{P}}$ denotes the characteristic function of a dilated integer convex polytope $\mathcal{P}$ and $q$ is a function with suitable regularity, we prove that the periodization of $qχ_{τ\mathcal{P}}$ admits an expansion in terms of multivariate Bernoulli polynomials. These multivariate polynomials are related to the Lerch Zeta function. In order to prove our results we need to carefully study the asymptotic expansion of $\widehat{qχ_{τ\mathcal{P}}}$, the Fourier transform of $qχ_{τ\mathcal{P}}$. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: 38 pages, 1 table

MSC Class: 11B68; 65B15; 42B05

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

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

(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

Ahlfors regular spaces have regular subspaces of any dimension

Authors: Nicola Arcozzi, Alessandro Monguzzi, Maura Salvatori

Abstract: We characterize $Q$-dimensional Ahlfors regular spaces among trees' boundaries and show how to construct, for each $0 < α< Q$, an $α$-regular subspace. As an application, we give an alternative simple proof of the existence of $α$-regular subspaces of a $Q$-dimensional complete Ahlfors regular metric space $(X,ρ)$, which was proved in \cite{JJKRRS}. We characterize $Q$-dimensional Ahlfors regular spaces among trees' boundaries and show how to construct, for each $0 < α< Q$, an $α$-regular subspace. As an application, we give an alternative simple proof of the existence of $α$-regular subspaces of a $Q$-dimensional complete Ahlfors regular metric space $(X,ρ)$, which was proved in \cite{JJKRRS}. △ Less

Submitted 27 August, 2021; v1 submitted 4 December, 2019; originally announced December 2019.

Comments: 10 pages, 2 figures

MSC Class: 28A78 30L05

Holomorphic function spaces on the Hartogs triangle

Authors: Alessandro Monguzzi

Abstract: The definition of classical holomorphic function spaces such as the Hardy space or the Dirichlet space on the Hartogs triangle is not canonical. In this paper we introduce a natural family of holomorphic function spaces on the Hartogs triangle which includes some weighted Bergman spaces, a candidate Hardy space and a candidate Dirichlet space. For the weighted Bergman spaces and the Hardy space we… ▽ More The definition of classical holomorphic function spaces such as the Hardy space or the Dirichlet space on the Hartogs triangle is not canonical. In this paper we introduce a natural family of holomorphic function spaces on the Hartogs triangle which includes some weighted Bergman spaces, a candidate Hardy space and a candidate Dirichlet space. For the weighted Bergman spaces and the Hardy space we study the $L^p$ mapping properties of Bergman and Szegő projection respectively, whereas for the Dirichlet space we prove it is isometric to the Dirichlet space on the bidisc. △ Less

Submitted 31 December, 2020; v1 submitted 30 October, 2019; originally announced October 2019.

Comments: Corrected some typos and the proof of Lemma 1.9 was fixed. Accepted for publication on Math. Nachr

MSC Class: 31C25; 32A07; 32A25; 32A36; 32A50

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

Quaternionic inner and outer functions

Authors: Alessandro Monguzzi, Giulia Sarfatti, Daniel Seco

Abstract: We study properties of inner and outer functions in the Hardy space of the quaternionic unit ball. In particular, we give sufficient conditions as well as necessary ones for functions to be inner or outer. We study properties of inner and outer functions in the Hardy space of the quaternionic unit ball. In particular, we give sufficient conditions as well as necessary ones for functions to be inner or outer. △ Less

Submitted 5 March, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Shift invariant subspaces of slice $L^2$ functions

Authors: Alessandro Monguzzi, Giulia Sarfatti

Abstract: In this paper we characterize the closed invariant subspaces for the ($*$-)multiplier operator of the quaternionic space of slice $L^2$ functions. As a consequence, we obtain the inner-outer factorization theorem for the quaternionic Hardy space on the unit ball and we provide a characterization of quaternionic outer functions in terms of cyclicity. In this paper we characterize the closed invariant subspaces for the ($*$-)multiplier operator of the quaternionic space of slice $L^2$ functions. As a consequence, we obtain the inner-outer factorization theorem for the quaternionic Hardy space on the unit ball and we provide a characterization of quaternionic outer functions in terms of cyclicity. △ Less

Submitted 12 June, 2018; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: 19 pages. Typos fixed and minor changes

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)

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.

A comparison between the Bergman and Szegő kernels of the non-smooth worm domain $D'_β$

Authors: Alessandro Monguzzi

Abstract: In this work we provide an asymptotic expansion for the Szegő kernel associated to a suitably defined Hardy space on the the non-smooth worm domain $D'_β$. After describing the singularities of the kernel, we compare it with an asymptotic expansion of the Bergman kernel. In particular, we show that the Bergman kernel has the same singularities of the first derivative of the Szegő kernel with respe… ▽ More In this work we provide an asymptotic expansion for the Szegő kernel associated to a suitably defined Hardy space on the the non-smooth worm domain $D'_β$. After describing the singularities of the kernel, we compare it with an asymptotic expansion of the Bergman kernel. In particular, we show that the Bergman kernel has the same singularities of the first derivative of the Szegő kernel with respect to any of the variables. On the side, we prove the boundedness of the Bergman projection operator on Sobolev spaces of integer order. △ Less

Submitted 30 November, 2015; v1 submitted 9 May, 2015; originally announced May 2015.

Hardy spaces and the Szegő projection of the non-smooth worm domain $D'_β$

Authors: Alessandro Monguzzi

Abstract: We define Hardy spaces $H^p(D'_β)$ on the non-smooth worm domain $D'_β=\{(z_1,z_2)\in\mathbb{C}^2:|Im z_1-\log |z_2|^2|<\fracπ{2}, |\log |z_2|^2|<β-\fracπ{2}\}$ and we prove a series of related results such as the existence of boundary values on the distinguished boundary $\partial D'_β$ of the domain and a Fatou-type theorem (i.e. pointwise convergence to the boundary values). Thus, we study the… ▽ More We define Hardy spaces $H^p(D'_β)$ on the non-smooth worm domain $D'_β=\{(z_1,z_2)\in\mathbb{C}^2:|Im z_1-\log |z_2|^2|<\fracπ{2}, |\log |z_2|^2|<β-\fracπ{2}\}$ and we prove a series of related results such as the existence of boundary values on the distinguished boundary $\partial D'_β$ of the domain and a Fatou-type theorem (i.e. pointwise convergence to the boundary values). Thus, we study the Szegő projection operator $\widetilde{S}$ and the associated Szegő kernel $K_{D'_β}$. More precisely, if $H^p(\partial D'_β)$ denotes the space of functions which are boundary values for functions in $H^p(D'_β)$, we prove that the operator $\widetilde{S}$ extends to a bounded linear operator $$ \widetilde{S}: L^p(\partial D'_β)\to H^p(\partial D'_β) $$ for every $p\in(1,+\infty)$ and $$ \widetilde{S}: W^{k,p}(\partial D'_β)\to W^{k,p}(\partial D'_β) $$ for every $k>0$. Here $W^{k,p}$ denotes the Sobolev space of order $k$ and underlying $L^p$ norm. As a consequence of the $L^p$ boundedness of $\widetilde{S}$, we prove that $H^p(D'_β)\cap\mathcal{C}(\overline{D'_β})$ is a dense subspace of $H^p(D'_β)$. △ Less

Submitted 3 October, 2015; v1 submitted 1 April, 2015; originally announced April 2015.

MSC Class: 32A25; 32A35; 32A40

Holomorphic extension on product Lipschitz surfaces in two complex variables

Authors: Jarod Hart, Alessandro Monguzzi

Abstract: In this work we prove a new $L^p$ holomorphic extension result for functions defined on product Lipschitz surfaces with small Lipschitz constants in two complex variables. We define biparameter and partial Cauchy integral operators that play the role of boundary values for holomorphic functions on product Lipschitz domain. In the spirit of the application of David-Journé-Semmes and Christ's $Tb$ t… ▽ More In this work we prove a new $L^p$ holomorphic extension result for functions defined on product Lipschitz surfaces with small Lipschitz constants in two complex variables. We define biparameter and partial Cauchy integral operators that play the role of boundary values for holomorphic functions on product Lipschitz domain. In the spirit of the application of David-Journé-Semmes and Christ's $Tb$ theorem to the Cauchy integral operator, we prove a biparameter $Tb$ theorem and apply it to prove $L^p$ space bounds for the biparameter Cauchy integral operator. We also prove some new biparameter Littlewood-Paley-Stein estimates and use them to prove the biparameter $Tb$ theorem. △ Less

Submitted 31 March, 2015; v1 submitted 10 January, 2014; originally announced January 2014.