Abstract
In this work, we consider smooth unbounded worm domains \({\mathcal {Z}}_\lambda \) in \({\mathbb {C}}^2\) and show that the Bergman projection, densely defined on the Sobolev spaces \(H^{s,p}({\mathcal {Z}}_\lambda ),\) \(p\in (1,\infty ),\) \(s\ge 0,\) does not extend to a bounded operator \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) when \(s>0\) or \(p\ne 2.\) 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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\phi \) be a non-negative smooth function on \({\mathbb {R}}\), such that
-
\(\phi \) is convex
-
\(\phi ^{-1}(0)=(-\infty , 0 ].\)
Notice that \(\phi '(t)>0\) for \(t>0 \) and that there exists \(a> 0 \), such that \(\phi (a)=1.\) For \(\lambda >0\), we set
Then, \({\mathcal {Z}}_\lambda \) is smooth, unbounded, and pseudoconvex (see Theorem 1.1). Moreover, \(\{{\mathcal {Z}}_\lambda \}_{\lambda >0}\) is a nested family of domains whose union is the unbounded non-smooth worm
The domain \({{\mathcal {W}}}\) was studied in [13], where three main facts were proved (see the enumerated list below). For \(p\in [1,\infty ]\) and \(s\ge 0,\) given any domain \(\Omega ,\) denote by \(H^{s,p}=H^{s,p}(\Omega )\) the standard Sobolev space on \(\Omega .\) When \(s=k\) is an integer, \(H^{s,p}\) consists of functions with k-derivatives in \(L^p(\Omega ),\) and for non-integer s, \(H^{s,p}\) can be defined by interpolation; see Sect. 2. For \(p\in [1,\infty ],\) let \(A^p(\Omega ):= L^p(\Omega )\cap {\text {Hol}}(\Omega ) \) denote the Bergman space. In [13], it was proved that:
-
(i)
the space \(A^2({{\mathcal {W}}})\ne \{0\},\) so that the Bergman projection \(P: L^2({{\mathcal {W}}})\rightarrow A^2({{\mathcal {W}}})\) is a non-trivial orthogonal projector;
-
(ii)
the operator P, initially defined on a dense subspace of \(L^p({{\mathcal {W}}}),\) extends to a bounded operator \(P:L^p({{\mathcal {W}}})\rightarrow L^p({{\mathcal {W}}})\) (if and) only if \(p=2;\)
-
(iii)
the operator P, initially defined on a dense subspace of \(H^{s,2}({{\mathcal {W}}}),\) extends to a bounded operator \(P:H^{s,2}({{\mathcal {W}}})\rightarrow H^{s,2}({{\mathcal {W}}})\) (if and) only if \(s=0.\)
The goal of this paper is to show that also in the case of the unbounded smooth worms \({\mathcal {Z}}_\lambda ,\) \(\lambda >0,\) the Bergman projection \(P_\lambda \) on \({\mathcal {Z}}_\lambda \) cannot be extended to a bounded operator \(P_\lambda : H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) when \(s>0\) or \(p\ne 2.\) Observe that, since \({\mathcal {Z}}_\lambda \subseteq {{\mathcal {W}}}\) for all \(\lambda >0,\) (i) above implies that \(A^2({\mathcal {Z}}_\lambda )\), and hence, \(P_\lambda \) are non-trivial. We now state our main results.
Theorem 1.1
Let \(\lambda >0\) and \({\mathcal {Z}}_\lambda \) be defined as in (1). Then, \({\mathcal {Z}}_\lambda \) is smooth, unbounded, and pseudoconvex, and its boundary is strongly pseudoconvex except at the points \({{\mathcal {A}}}:= \{ (z_1,z_2): \, z_1=0,\, |z_2|\ge 1/\lambda ) \}.\) Moreover, the Bergman space \(A^p({\mathcal {Z}}_\lambda )\) is infinite dimensional for all \(p\in (0,\infty ).\)
Theorem 1.2
Let \(\lambda >0,\) \({\mathcal {Z}}_\lambda \) be defined as above, and let \(P_\lambda \) denote the Bergman projection on \({\mathcal {Z}}_\lambda .\) If \(P_\lambda ,\) initially defined on the dense subspace \((L^2\cap H^{s,p})({\mathcal {Z}}_\lambda ),\) \(p\in (1,\infty )\) and \(s\ge 0,\) extends to a bounded operator
then necessarily \(s=0\) and \(p=2.\)
The problem of the regularity of the Bergman projection on worm domains has been an object of active and intense research. In the seminal paper [1], D. Barrett considered the smoothly bounded worm domain
where \(\eta \) is smooth, non-negative, convex, \(\eta ^{-1}(0)=[-\mu , \mu ],\) and such that \({{\mathcal {W}}}_\mu \) is smooth, bounded, and pseudoconvex; see, e.g., [10, Proposition 2.1]. Barrett showed that the Bergman projection on \({{\mathcal {W}}}_\mu \) does not preserve the Sobolev space \(H^{s,2}({{\mathcal {W}}}_\mu )\) if \(s\ge \pi /\mu ,\) whereas in [12], it was then shown that the Bergman projection on \({{\mathcal {W}}}_\mu \) does not preserve \(L^p\) if \(\big |\frac{1}{2}-\frac{1}{p}\big |\ge \frac{\pi }{\mu }.\) We further mention in particular [2, 3, 6, 8, 12, 13]. We also refer the reader to [11] for an expository account of the subject, and to [14, 28, 29] for some interesting connections between Bergman spaces on worm domains and the Müntz–Szász problem for the Bergman space in one complex dimension.
In the next section, we prove Theorem 1.1, whereas in Sect. 3, we introduce the tools that we need to deal with Sobolev spaces on smoothly bounded domains. In Sect. 4, we prove Theorem 1.2, and in Sect. 5, we discuss some open problems and future work.
2 The Unbounded Smooth Worm
Consider the domains \({\mathcal {Z}}_\lambda .\) It is clear that they are unbounded, that \({\mathcal {Z}}_\lambda \subseteq {\mathcal {Z}}_{\lambda '}\) if \(0<\lambda <\lambda '\), and that \(\bigcup _{\lambda >0}{\mathcal {Z}}_\lambda ={{\mathcal {W}}}.\) It is also immediate to see that
Since \({\mathcal {Z}}_\lambda \subseteq {{\mathcal {W}}},\) where \({{\mathcal {W}}}\) is as in (2), [13, Proposition 2.3] gives that \(A^2({\mathcal {Z}}_\lambda )\) is infinite dimensional. Similar calculations also show that also the spaces \(A^p({\mathcal {Z}}_\lambda )\) are infinite dimensional, \(p\in (0,\infty ].\) Explicitly, for \(\alpha \in {\mathbb {C}},\) for \(z=(z_z,z_2)\in {{\mathcal {W}}},\) let
where \(\log (z)\) denotes the principal branch of the logarithm on \({\mathbb {C}}\setminus (-\infty ,0].\) Then, \(L,E_\alpha \in {\text {Hol}}({{\mathcal {W}}})\) by [13, Lemma 2.2]. Moreover, for \(j\in {{\mathbb {Z}}},\) \(m\in {{\mathbb {N}}},\) \(c\in {\mathbb {R}}, c>\log 2,\) \(\alpha = \textrm{Re}(\alpha ) +i(\frac{j}{2}+\frac{1}{p}),\) setting
and arguing as in [13, Proposition 2.3], it is simple to see that \(F_{\alpha ,c,j,m}\in A^p({{\mathcal {W}}})\) if \( \textrm{Re}(\alpha ) >-2/p\) and \(m>1/p,\) where \(p\in (0,\infty ].\) Hence, \(A^p({{\mathcal {W}}})\) is infinite dimensional.
The argument to show that \({\mathcal {Z}}_\lambda \) is smooth and pseudoconvex is standard, but we repeat it for the sake of completeness. Letting \(\rho \) denote the defining function of \({\mathcal {Z}}_\lambda \), we observe that
so that
Let \((z_1,z_2)\in b{\mathcal {Z}}_\lambda \) be such that \(\partial _{z_1} \rho (z_1,z_2)=0.\) Then, \(z_1 ={\textrm{e}}^{i\log |z_2|^2}\), so that \(\phi (\log (\lambda |z_2|)^{-2})=1.\) The assumptions on \(\phi \) imply that \(\partial _{z_2}\rho \ne 0\) at such points. Thus, \({\mathcal {Z}}_\lambda \) is smooth, and it is clearly unbounded, since it contains points \((z_1,z_2) \) with \(|z_2|\) arbitrarily large.
To show that \({\mathcal {Z}}_\lambda \) is pseudoconvex, arguing as in [10], we observe that locally a branch of \(z_2^2\) is defined and that the local defining function \({\textrm{e}}^{\arg z_2^2}\rho \) equals
The first two terms are plurisubharmonic, while the third one satisfies the differential inequality
since \(\phi \) is smooth and convex. Hence, \({\mathcal {Z}}_\lambda \) is pseudoconvex. Moreover, the defining function is strictly plurisubharmonic at every boundary point where \(z_1\ne 0.\)
Next, at \((z_1,z_2)\in b{\mathcal {Z}}_\lambda ,\) the complex tangent space is spanned by the vector
Since
and \(2\textrm{Re}(z_1 {\textrm{e}}^{-i\log |z_2|^2})= |z_1|^2 + \phi (\log (\lambda |z_2|)^{-2})\) on the boundary, the Levi form is given by
It follows that the boundary points \(\{(0,z_2): |z_2|\ge 1/\lambda \}\) are of weak pseudoconvexity. This proves Theorem 1.1. \(\square \)
3 Sobolev Spaces on Smoothly Bounded Domains and on \({\mathcal {Z}}_\lambda \)
In this section, we collect the results on Sobolev spaces on smoothly bounded domains and prove a few properties that we shall need later. We begin by recalling the definition and a few standard results from the theory of function spaces on smoothly bounded domains; see, e.g., [31, Chapter 3] and [17]. In what follows the space \(H^{s,p}({\mathbb {R}}^d)\) is defined by means of the Fourier transform \({\mathcal {F}}\) on \({\mathbb {R}}^d\) and \({{\mathcal {D}}}'(\Omega )\) is the dual of the space \(C^\infty _c(\Omega )\) of smooth functions with compact support in \(\Omega .\) Namely
Definition 3.1
Let \(\Omega \) be a smoothly bounded domain in \({\mathbb {R}}^d,\) \(s\ge 0\) and \(p\in (1,\infty ).\) We define
We also denote by \(H^{s,p}_0(\Omega )\) the closure of \(C^\infty _c(\Omega )\) in the \(H^{s,p}(\Omega )\)-norm. Then, for \(s<0\) and \(p\in (1,\infty ),\) we define \(H^{s,p}(\Omega )\) as the dual of \(H^{-s,p'}_0(\Omega ),\) where \(p'= p/(p - 1)\) is the exponent conjugate to p.Footnote 1
When \(s=k\) is a non-negative integer, the space \(H^{k,p}(\Omega )\) has a natural characterization. On the space \(C^\infty (\overline{\Omega })\), consider the norm
and define \(W^{k,p}(\Omega )\) as the closure of \(C^\infty (\overline{\Omega })\) with respect to this norm. Then, \(W^{k,p}(\Omega )\) is isomorphic to \(H^{k,p}(\Omega ),\) with equivalence of norms; see, e.g., [31].
Using the complex interpolation method, we have that when \(s>0\)
where \(\theta \in (0,1)\) and \(s=k+\theta ,\) cf. [31] or [17], so that \([W^{k,p}(\Omega ), W^{k+1,p}(\Omega )]_\theta \) is isomorphic as Banach space to \(H^{s,p}(\Omega ),\) \(s=k+\theta .\) For the complex interpolation method, we refer to [4].
Since \(\Omega \) is a bounded, smooth domain, the multiplier operator \(f\mapsto \chi _\Omega f\) is bounded on \(H^{s,p}({\mathbb {R}}^d)\) when \(0\le s<\frac{1}{p},\) \(p\in (1,\infty ).\) This fact in turn implies the key property that \(C^\infty _c(\Omega )\) is dense in \(H^{s,p}(\Omega )\) when \(0\le s<\frac{1}{p}\)—see [31, Theorem 3.4.3].
We now prove a result that is probably well known, but for which we do not know a precise reference.
Lemma 3.2
For \(-1/p'< s<1/p,\) the spaces \(H^{s,p}(\Omega )\) and \(H^{-s,p'}(\Omega )\) are mutually dual with respect to the \(L^2(\Omega )\) pairing of duality.
Proof
Observe that, by duality, we may assume that \(0\le s<1/p.\) Since \(H^{s,p}(\Omega ) =H^{s,p}_0(\Omega )\) in the given range, \(H^{-s,p'}(\Omega )=\big (H^{s,p}(\Omega ))^*\) with the \(L^2\)-pairing of duality.
Conversely, let\(\ell \in \big (H^{-s,p'}(\Omega )\big )^* .\) Since the multiplication \(f\mapsto \chi _\Omega f\) is bounded on \(H^{s,p}({\mathbb {R}}^d),\) \(H^{s,p}(\Omega )\) can be identified with the subspace of \(H^{s,p}({\mathbb {R}}^d)\) of functions vanishing on \(\Omega ^c.\) Therefore, also \(H^{-s,p'}(\Omega )\) can be identified with the elements of \(\big (H^{s,p}({\mathbb {R}}^d)\big )^*=H^{-s,p'}({\mathbb {R}}^d)\) that annihilate functions of \(H^{s,p}({\mathbb {R}}^d)\) vanishing on \(\Omega ^c.\) Therefore, by the Hahn–Banach theorem, there exists \(L\in \big (H^{-s,p'}({\mathbb {R}}^d)\big )^*=H^{s,p}({\mathbb {R}}^d)\) with the same norm, that agrees with \(\ell \) on \(H^{-s,p'}(\Omega ).\) Hence, there exists \(F\in H^{s,p}({\mathbb {R}}^d)\), such that \(\ell (u)= \int _\Omega Fu = \int _\Omega (\chi _\Omega F)u,\) where \(\chi _\Omega F\in H^{s,p}(\Omega );\) that is, \(\big (H^{-s,p'}(\Omega )\big )^* = H^{s,p}(\Omega ).\) \(\square \)
Next, we need an extension of a result by E. Ligocka, namely [16, Theorem 2]. We denote by \(H_{{\text {har}}}^{s,p}(\Omega )\) the subspace of \(H^{s,p}(\Omega )\) consisting of harmonic functions. Let \(\varrho :{\mathbb {R}}^d\rightarrow {\mathbb {R}}\) be a smooth defining function (see [15]) for \(\Omega \) and let \(L_{{\text {har}}}^p(\Omega ,|\varrho |^q)\) be the subspace of \(L^p(\Omega ,|\varrho |^q \, dm)\) consisting of harmonic functions on \(\Omega ,\) \(p\in (1,\infty ).\) In [16, Theorem 2], Ligocka proved that for \(s\ge 0\) \(p\in (1,\infty )\)
-
(i)
\(H_{{\text {har}}}^{s,p}(\Omega )\) and \(H_{{\text {har}}}^{-s,p'}(\Omega )\) are mutually dual with respect to the \(L^2(\Omega )\)-inner product;
-
(ii)
\(H_{{\text {har}}}^{-s,p'}(\Omega )\) is isomorphically equivalent (as a Banach space) to \(L_{{\text {har}}}^{p'}(\Omega ,|\varrho |^{sp'}).\)
We shall need the following extension of (ii).
Lemma 3.3
Let \(s\in {\mathbb {R}},\) \( s<1/p,\) \(p\in (1,\infty ).\) Then, \(H_{{\text {har}}}^{s,p}(\Omega )\) is isomorphically equivalent (as a Banach space) to \(L_{{\text {har}}}^p(\Omega ,|\varrho |^{-sp}).\)
Proof
As mentioned, the case \(s\le 0\) is proved in [16, Theorem 2]. Next, let \(0<s<1/p.\) If \(f\in L_{{\text {har}}}^p(\Omega ,|\varrho |^{-sp})\) and \(g\in L_{{\text {har}}}^{p'}(\Omega ,|\varrho |^{sp'})\), we have that
so that by (i) above
Conversely, let \(f\in H_{{\text {har}}}^{s,p}(\Omega ).\) It is well known that the mapping \(H^{s,p}(\Omega )\ni f\mapsto |\varrho |^{-s}f \in L^p(\Omega )\) is bounded when \(0\le s<1/p;\) see, e.g., [21, Theorem 2, 1.3.1] or [16, p. 256]. Then, we have
This proves the lemma. \(\square \)
We now define Sobolev spaces on the smooth unbounded domains \({\mathcal {Z}}_\lambda .\)
Definition 3.4
For k a non-negative integer and \(p\in (1,\infty ),\) define the space (of test functions)
where \(D_z:=(\partial _{z_1},\partial _{\overline{z}_1};\partial _{z_2}, \partial _{\overline{z}_2}).\) We define \(H^{k,p}({\mathcal {Z}}_\lambda )\) as the closure of \({{\mathcal {T}}}(\overline{{\mathcal {Z}}_\lambda })\) with respect to the norm \(\Vert \cdot \Vert _{H^{k,p}({\mathcal {Z}}_\lambda )}.\) For \(s=k+\theta \) with \(0<\theta <1,\) we define \(H^{s,p}({\mathcal {Z}}_\lambda ),\) \(p\in (1,\infty ),\) by complex interpolation, as
See, e.g., [4].
Finally, we point out the following fact that we will need later.
Remark 3.5
Let \(\mu (\lambda )=\log \lambda ^2,\) and consider the domain \({{\mathcal {W}}}_{\mu (\lambda )}\) as defined in (3), where \(\eta \) is given by
so that \({{\mathcal {W}}}_{\mu (\lambda )}\subseteq {\mathcal {Z}}_\lambda .\) Observe then that the restriction operator \(H^{s,p}({\mathcal {Z}}_\lambda )\ni f\mapsto f_{|_{W_{\mu (\lambda )}}}\in H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )})\) is well defined and norm decreasing when \(s=k\) is a non-negative integer and \(p\in (1,\infty ),\) and then, by interpolation, also when \(s\ge 0\) and \(p\in (1,\infty ).\) Analogously, for all \(\lambda '>\lambda \)
4 Irregularity of the Bergman Projection
The proof of Theorem 1.2 will combine some new ideas with Barrett’s arguments [1] and results from [13]. We first extend [13, Corollary 5.5] to the case of the Sobolev spaces \(H^{s,p}({{\mathcal {W}}}_\mu ).\)
Proposition 4.1
Let \({{\mathcal {W}}}\) be the unbounded non-smooth worm, \(K_w\) be its Bergman kernel at \(w\in {{\mathcal {W}}},\) and \({{\mathcal {W}}}_\mu \) be the smoothly bounded worm as in (3). Suppose \(p\in (1,\infty ).\) Then, the following properties hold :
-
(i)
if \(s\in \big ( \frac{2}{p} -1,\infty \big )\) (the region \(R\cup T_1\cup T_2\) union the open segments of end points (0, 0) and (1, 1) and (0, 0) and \((\frac{1}{2},0),\) resp., in Fig. 1), then \(K_w\not \in H^{s,p}({{\mathcal {W}}}_\mu );\)
-
(ii)
if \(s=\frac{2}{p} -1\) and \(p\in (1,2)\) (the open segment of end points \((\frac{1}{2},0),\) (1, 1) in Fig. 1), then \(\Vert K_w\Vert _{H^{s,p}({{\mathcal {W}}}_\mu )}\rightarrow \infty \) as \(\mu \rightarrow \infty .\)
Proof
We first observe that the cases \(p=2,\) \(s>0,\) and \(p>2,\) \(s=0,\) that appear in (i), are proved in [13, Corollary 5.5].
We now recall some notation from [13, Corollary 5.5]. We let \(S({\textrm{e}}^{i\log |z_2|^2}, \varepsilon )\) denote the angular sector in the \(z_1\)-plane
with \(0<\delta < \pi /2.\) For \(\varepsilon >0\) sufficiently small, the set
is contained in \({{\mathcal {W}}}_\mu .\) Then, from [13, (5.8) and p. 1180], for \(w\in {{\mathcal {W}}}\) and \(z \in G_\mu \), we have the estimate
where \(C_w\) does not depend on \(\mu .\) Therefore, arguing as in [13, Corollary 5.5], for \(s<1/p\), we have
-
(i)
Suppose then that \(s\in \big (\frac{2}{p} -1,\frac{1}{p}\big ).\) From Lemma 3.3, \(K_w\in H^{s,p}({{\mathcal {W}}}_\mu )\) if and only if \(K_w\in L^p(\mathcal {W}_{\mu }|\varrho |^{-sp}).\) From (7), it then follows that \(K_w\not \in H^{s,p}({{\mathcal {W}}}_\mu )\) when \(s\in (\frac{2}{p} -1,\frac{1}{p}).\) We now use the natural embedding \(H^{s,p}({{\mathcal {W}}}_\mu )\subseteq H^{s',p}({{\mathcal {W}}}_\mu )\) when \(0\le s' \le s\) (see [31, Theorem 3.3.1]). It follows that \(K_w\not \in H^{s,p}({{\mathcal {W}}}_\mu )\) for all p, s, such that \(p\in (1,\infty )\) and \(s>\frac{2}{p}-1.\) This proves (i).
-
(ii)
We look at the estimate in (7) when \(s=\frac{2}{p}-1\) (notice that \(s<1/p\) in this case) and observe that
$$\begin{aligned} \Vert K_w \Vert _{L^p({{\mathcal {W}}}_\mu ,|\rho |^{-sp})}^p\ge & {} C'_w 2\pi \frac{\sinh \big (|1-p/2| \mu \big )}{|1-p/2|} \int _0^\varepsilon \frac{1}{r (\log ^2r+\mu ^2)^p } \, {\textrm{d}}r \nonumber \\= & {} C'_w 2\pi \frac{\sinh \big (|1-p/2| \mu \big )}{|1-p/2|} \frac{1}{\mu ^{2p-1}} \int _{\frac{1}{\mu }\log \frac{1}{\varepsilon }}^\infty \frac{1}{(1+t^2)^p} \, {\textrm{d}}t . \nonumber \\ \end{aligned}$$(8)Clearly, if \(p\ne 2,\) the right-hand side above tends to \(\infty \) if \(\mu \rightarrow \infty .\) The rest of the proof will show that the same is true for \(\Vert K_w\Vert _{H^{s,p}({{\mathcal {W}}}_\mu )}.\) We observe in passing that, on the other hand, if \(p=2,\) the right-hand side above remains bounded (actually, it tends to 0) when \(\mu \rightarrow \infty ,\) in accordance to the fact that \(\Vert K_w\Vert _{L^2({{\mathcal {W}}}_\mu )}\le \Vert K_w\Vert _{L^2({{\mathcal {W}}})}<\infty .\)
To conclude the proof of (ii), we will bound \(\Vert K_w\Vert _{H^{s,p}({{\mathcal {W}}}_\mu )}\) from below. This will require several steps. We begin by setting for \(j=1,2\) and \(\mu >2\)
Keeping in mind (5), we see that \(G_\mu ^2\subseteq G_\mu ^1\subseteq G_\mu .\) We define a cut-off function \(\psi :{\mathbb {C}}^2\rightarrow [0,+\infty )\) by setting \(\psi (z_1,z_2) = \psi _1(z_1)\psi _2(z_2),\) where
-
\(\psi _1\in C^\infty _c({\mathbb {C}}),\) \(\psi _1(z_1) = 1\) for \(|z_1|< \varepsilon /2\) and \(\psi _1 (z_1) = 0\) for \(|z_1|\ge \varepsilon ;\)
-
\(\psi _2\in C^\infty _c({\mathbb {C}})\) is identically equal to 1 on the annulus \(\{z_2:\, 2<|z_2|<{\textrm{e}}^{\mu /2}/2\},\) is supported in a compact subset of \(\{z_2:\, 1<|z_2|<{\textrm{e}}^{\mu /2}\}\), and has uniformly bounded derivatives.
Following the lines of the computations in (7) and (8), we can find for each \(p\in (1,2)\) and each \(s=\frac{2}{p}-1>0\) a constant \(C'>0,\) independent of \(\mu ,\) such that \(\Vert K_w\Vert _{L^p(G_\mu ^2,|\rho |^{-ps})} \ge C' {\textrm{e}}^{\mu /p},\) whence
for \(\mu >2.\) Now, let us consider the map \((z_1,z_2)\mapsto (z_1{\textrm{e}}^{-i\log |z_2|^2}, z_2).\) It is a \(C^\infty \)-diffeomorphism from (a neighborhood of) \(G_\mu ^1\) onto (a neighborhood of) its image
included in the (Lipschitz) domain
We denote by \(\Psi :\Lambda \rightarrow {\mathbb {C}}^2\) the inverse mapping \((w_1,w_2)\mapsto (w_1{\textrm{e}}^{i\log |w_2|^2}, w_2).\) We will later precompose \(\Psi \) with the map \((w_1',w_2)\mapsto (\tau (w_1'),w_2)\) with \(\tau (t'+iu)=t'+(\tan \delta )^{-1}|u|+iu.\) The preimage of \(\Lambda \) through this map (as well as \(\Lambda \) itself) is contained in the half-space
We compute
where we took into account the fact that \(w\in {\widetilde{G}}_\mu ^1\) implies \(|w_2|>1,\) whence \(|\det (J\Psi )(w)|<1.\) On the support of \(\psi \circ \Psi ,\) we have \(t^2+u^2=|w_1|^2<\varepsilon ^2.\) Up to shrinking \(\varepsilon \) to have \(\varepsilon <\big (1+(\tan \delta )^{-2}\big )^{-1},\) we get that \(2t-t^2-u^2\ge t\) in the support of \(\psi \circ \Psi .\) We obtain
where \(f(t'+iu,w_2) = (\psi K_w)\circ \Psi (\tau (t'+iu),w_2).\) For the half-space \({{\mathcal {H}}},\) when \(p\in (1,\infty ),\) and \(0<s<1/p,\) we have the well-known estimate
for all \(h\in H^{s,p}({{\mathcal {H}}});\) see, e.g., [31, Proposition 2.8.6/1, Proposition 3.3.2]. We conclude that
Our next aim is going back from \(f(t'+iu,w_2) = (\psi K_w)\circ \Psi (\tau (t'+iu),w_2)\) to \((\psi K_w)\circ \Psi .\) Taking into account that \(\tau (t'+iu)=t'+(\tan \delta )^{-1}|u|+iu,\) we compute
where we identified \({{\mathcal {H}}}\) with \({\mathbb {R}}^4_+=\{(x_1,x_2,x_3,x_4): \, x_1>0\}\) and we let \(\partial _1\) and \(\partial _2\) denote the partial derivatives w.r.t. \(x_1\) and \(x_2,\) resp. Hence
Thus, there exists \(C_\delta '>0\), such that, for all \(g\in H^{1,p}({{\mathcal {H}}})\) and for \({\widetilde{g}}(t'+iu,w_2)=g(\tau (t'+iu),w_2),\) the inequality
holds for \(r=0,1.\) By interpolation, the same inequality holds for all \(r\in [0,1].\) Using this bound in the estimate (10) and (later), the fact that all the derivates of the components of \(\Psi \) are uniformly bounded on the support of \(\psi ,\) and we obtain
where all constants are independent of \(\mu .\) Now, the assumptions on \(\psi _2\) guarantee that the function \(\psi \) has \(|D^\alpha _z\psi (z)|\le 1\) for all multiindices \(\alpha .\) Hence, multiplication by \(\psi \) is a bounded operator, whose norm is independent of \(\mu ,\) on \(H^{k,p}({{\mathcal {W}}}_\mu )\) for all \(k\in {{\mathbb {N}}}_0\) (whence on \(H^{s,p}({{\mathcal {W}}}_\mu )\) for all \(s\ge 0\)). Thus, there exists a constant \(C'',\) independent of \(\mu ,\) such that
This bound and (9) complete the proof of (ii). \(\square \)
To prove Theorem 1.2, we need two preliminary lemmas. We denote by \(\Vert T\Vert _{(X,X)}\) the operator norm of \(T:X\rightarrow X.\)
Lemma 4.2
For \(\lambda , \lambda '>0,\) the domain \({\mathcal {Z}}_\lambda \) is biholomorphic to \({\mathcal {Z}}_{\lambda '}.\) Moreover, the Bergman projection \(P_\lambda \) induces a bounded operator on \(L^p({\mathcal {Z}}_\lambda )\) for some \(\lambda >0\) if and only if \(P_\lambda \) induces a bounded operator on \(L^p({\mathcal {Z}}_\lambda )\) for every \(\lambda >0\), and in this case, \(\Vert P_\lambda \Vert _{(L^p({\mathcal {Z}}_\lambda ),L^p({\mathcal {Z}}_\lambda ))}\) is independent of \(\lambda .\)
Proof
To show that the domains \({\mathcal {Z}}_\lambda \) are all biholomorphic to each other, it suffices to observe that for all \(r,\lambda >0\)
is a biholomorphic map, since \(\Phi _\lambda \in GL(2,{\mathbb {C}})\) and \(\Phi _\lambda ({\mathcal {Z}}_r)={\mathcal {Z}}_{\lambda r}.\) Moreover, \(\det \Phi '_\lambda = {\textrm{e}}^{-i\log \lambda ^2}/\lambda \) and \(T_{\lambda ,p} f:=(\det \Phi '_\lambda )^{2/p} f\circ \Phi _\lambda \) is an isometric isomorphism \(T_{\lambda ,p}: L^p({\mathcal {Z}}_{\lambda r})\rightarrow L^p({\mathcal {Z}}_r)\)
that also gives an isometric isomorphism \(T_{\lambda ,p}: A^p({\mathcal {Z}}_{\lambda r})\rightarrow A^p({\mathcal {Z}}_r)\) when restricted to \(A^p({\mathcal {Z}}_{\lambda r}),\) \(p\in [1,\infty ].\) Recalling the transformation rule for the Bergman projections
for every \(f\in L^2({\mathcal {Z}}_\lambda ),\) since \(\det \Phi '_\lambda \) is constant, it follows that \(P_r ( f\circ \Phi _\lambda ) = (P_{\lambda r} f)\circ \Phi _\lambda ,\) for all \(f\in L^2({\mathcal {Z}}_\lambda )\) and \(\lambda >0.\) This implies that (also when \(p\ne 2\))
for all \(f\in ( L^2\cap L^p)({\mathcal {Z}}_{\lambda r}).\) Since \((L^2\cap L^p)({\mathcal {Z}}_{\lambda r})\) is dense in \(L^p({\mathcal {Z}}_{\lambda r})\) and \(T_{\lambda ,p}(L^2\cap L^p)({\mathcal {Z}}_{\lambda r})\) is dense in \(L^p({\mathcal {Z}}_r),\) for \(f\in L^p({\mathcal {Z}}_{\lambda r})\), we have
Since \(T_{\lambda ,p}: L^p({\mathcal {Z}}_{\lambda r})\rightarrow L^p({\mathcal {Z}}_r)\) is an isometric isomorphism, the equality of the operator norms of \(P_\lambda \) easily follows. \(\square \)
Lemma 4.3
Let \(s>0,\) \(p\in (1,\infty )\) and suppose \(P_\lambda \) induces a bounded operator on \(H^{s,p}({\mathcal {Z}}_\lambda )\) for some \(\lambda >0.\) Then, \(P_{\lambda '}\) induces a bounded operator on \(H^{s,p}({\mathcal {Z}}_{\lambda '})\) for all \(\lambda '>\lambda \) and, setting \(N_{s,p}(\lambda ) =\Vert P_\lambda \Vert _{(H^{s,p}({\mathcal {Z}}_\lambda ),H^{s,p}({\mathcal {Z}}_\lambda ))},\) we have
for all \(\lambda '>\lambda .\)
Proof
For \(r>0,\) let \(T_{r,p}\) be as in the proof of Lemma 4.2. We argue as in [1]. Recalling that \(D_z=(\partial _{z_1},\partial _{\overline{z}_1};\partial _{z_2}, \partial _{\overline{z}_2}),\) if \(\alpha =(a_1,b_1;a_2,b_2)\) is a given multi-index, we have that
Therefore, for \(\lambda>0, r>1,\) and k a positive integer, using (12), we have
Next, observe that, using the transformation rule and a change of variables, for \(z\in {\mathcal {Z}}_r\)
so that \(T_{r,p} (D_z^\alpha P_{r\lambda } f)= D_z^\alpha (P_\lambda T_{r,p}f).\)
Therefore, assuming that \(P_\lambda \) is bounded on \(H^{s.p}({\mathcal {Z}}_\lambda ),\) for \(r>1,\) using both the fact that \(T_{r,p}: L^p({\mathcal {Z}}_{r\lambda })\rightarrow L^p({\mathcal {Z}}_\lambda )\) is an isometry and (14), we have
Therefore, \(N_{k,p}(r\lambda )\le N_{k,p}(\lambda )\) for all integers k and \(r>1.\) Thus, by interpolation, for all \(s>0\) and \(r>1,\) (13) follows. \(\square \)
Proof of Theorem 1.2
Step 1. Suppose that \(P_{\lambda _0}\) is bounded on \(L^p({\mathcal {Z}}_{\lambda _0})\) for some \(\lambda _{0}>0\) and some \(p\in (1,\infty ).\) Hence, \(P_{\lambda }\) is bounded on \(L^p({\mathcal {Z}}_\lambda )\) for all \(\lambda >\lambda _0\) by Lemma 4.2. Fix \(f\in C^\infty _c({{\mathcal {W}}})\), where \({{\mathcal {W}}}\) is the non-smooth unbounded worm and suppose that \({\text {supp}}f\subseteq {\mathcal {Z}}_\lambda \) for all \(\lambda \ge \lambda _0.\) For all such \(\lambda \)’s, denoting by \(\chi _\lambda \) the characteristic function of \({\mathcal {Z}}_\lambda \)
for some constant \(C'\) independent of \(\lambda .\) In the second-before-last inequality, we have used Lemma 4.2. Then, there exist a sequence \(\{\lambda _n\},\) \(\lambda _n\rightarrow \infty \) as \(n\rightarrow \infty ,\) and \(h\in (L^2\cap L^p)({{\mathcal {W}}})\), such that \(\chi _{\lambda _n} P_{\lambda _n} f\rightarrow h\) in the weak-\(*\) topology, as \(n\rightarrow \infty .\) It is easy to see that \(h\in {\text {Hol}}({{\mathcal {W}}})\) arguing as follows. Let \(\psi \) be smooth, and compactly supported in \({{\mathcal {W}}}.\) Then, denoting by \({\textrm{d}}V\) the Lebesgue volume form, for \(j=1,2\), we have
Hence, \(\overline{\partial }_{z_j} h=0,\) \(j=1,2\), and therefore, h is holomorphic. We claim that \(h=Pf,\) where P denotes the Bergman projection on \({{\mathcal {W}}}.\) It suffices to show that \(f-h\perp A^2({{\mathcal {W}}}).\) To this end, let \(g\in A^2({{\mathcal {W}}}).\) Then
since the restriction of g to \({\mathcal {Z}}_\lambda \) belongs to \(A^2({\mathcal {Z}}_\lambda )\) for all \(\lambda >0\), as well.
Seeking a contradiction, we suppose \(p\ne 2\) and remark that
This implies that \(P: L^p({{\mathcal {W}}})\rightarrow L^p({{\mathcal {W}}})\) is bounded, contradicting [13, Theorem 1.1]. Therefore, \(P_{\lambda _0} \) cannot be bounded on \(L^p({\mathcal {Z}}_{\lambda _0})\) for \(p\in (1,\infty )\) and \(p\ne 2.\) We also observe that, by interpolation with the case \(p=2,\) \(P_{\lambda _0}\) cannot be bounded on \(L^1\) and \(L^\infty \) either.
Step 2. To prove the irregularity of \(P_\lambda \) in the Sobolev scale, we first show that \(P_\lambda \) is densely defined by showing that \((L^2\cap H^{s,p})({\mathcal {Z}}_\lambda )\) is dense in \(H^{s,p}({\mathcal {Z}}_\lambda ).\) Let \(\varphi \in C^\infty _c({\mathbb {C}}^2),\) \(\varphi =1\) on the ball B(0, 1) and set \(\varphi ^\varepsilon ( \, \cdot \, ) =\varphi (\varepsilon \cdot ).\) Given \(f\in H^{s,p}({\mathcal {Z}}_\lambda ),\) let \(f_{(\varepsilon )}:=f\varphi ^\varepsilon .\) It is easy to check that \(f_{(\varepsilon )} \in (L^2\cap H^{s,p})({\mathcal {Z}}_\lambda )\) and that \(f_{(\varepsilon )} \rightarrow f\) as \(\varepsilon \rightarrow 0^+\) in \(H^{s,p}({\mathcal {Z}}_\lambda ).\)
Step 3. Let us show that it suffices to consider the case \(s\in (0,1/p)\) (the region \(T_1\cup T_3\) in Fig. 1). Suppose we have a bounded extension \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) for some \(s\ge 1/p\) and \(p\in (1,\infty )\) (the region R in Fig. 1). Interpolating with \(L^2({\mathcal {Z}}_\lambda ),\) we obtain a bounded extension \(P_\lambda :H^{s_\theta ,p_\theta }({\mathcal {Z}}_\lambda )\rightarrow H^{s_\theta ,p_\theta }({\mathcal {Z}}_\lambda ),\) where \(\theta \in (0,1),\) \(s_\theta =\theta s,\) \(\frac{1}{p_\theta }=\frac{\theta }{p}+\frac{1-\theta }{2}.\) By taking \(\theta \) small enough, we obtain that \(0<s_\theta <1/p_\theta .\)
Step 4. We show that, if \(p\in (1,\infty ),\) \(s\in (0,1/p),\) and \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) is bounded, then \(K_w\in H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )})\) and \(K_w\in H^{-s,p'}({{\mathcal {W}}}_{\mu (\lambda )}).\)
Lemma 4.3 gives bounded extensions \(P_{\lambda '}:H^{s,p}({\mathcal {Z}}_{\lambda '})\rightarrow H^{s,p}({\mathcal {Z}}_{\lambda '})\) for all \(\lambda '>\lambda \) as well as
for all \(\lambda '>\lambda .\)
Fix \(w\in {{\mathcal {W}}}\) and let \(K_w=K(\cdot ,w)\) denote the Bergman kernel of \({{\mathcal {W}}}\) at w. If we choose \(\varphi _w\in C^\infty _c\) supported in a ball centered at w within \({{\mathcal {W}}},\) with radial symmetry and with \(\int \varphi _w =1,\) then \(P\varphi _w = K_w.\)
Then, for all \(\lambda '>\lambda \) large enough for \({\text {supp}}\varphi _w\subseteq {\mathcal {Z}}_\lambda ,\) using Remark 3.5, we have that
Therefore, \(\{ P_{\lambda '} \varphi _w\}_{\lambda '}\) is a family of functions contained in the ball of radius \(N_{s,p}(\lambda ) \Vert \varphi _w\Vert _{H^{s,p}({\mathbb {C}}^2)}\) centered at the origin in \(H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )}).\) Since we are assuming \(0<s<1/p,\) using Lemma 3.2 and the Hahn–Banach theorem, we have that \(\{ P_{\lambda '} \varphi _w\}_{\lambda '>\lambda }\) admits a subsequence weak-\(*\) converging to a function h in \(H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )}).\) Recalling that \(H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )})\) is the dual of \(H^{-s,p'}({{\mathcal {W}}}_{\mu (\lambda )})\) with respect to the \(L^2({{\mathcal {W}}}_{\mu (\lambda )})\) inner product, this implies that for all \(g\in C^\infty _c({{\mathcal {W}}}_{\mu (\lambda )})\), we have
as \(n\rightarrow \infty .\)
Arguing as in step 1, we have that (up to refinements) \(\chi _{\lambda '_n} P_{\lambda '_n} \varphi _w\) converges to \(P \varphi _w=K_w\) in the weak-\(*\) topology of \(L^2({{\mathcal {W}}}_{\mu ((\lambda )}).\) Thus
for all \(g\in C^\infty _c({{\mathcal {W}}}_{\mu (\lambda )}).\) This implies that \(h=K_w\) on \({{\mathcal {W}}}_{\mu (\lambda )},\) whence \(K_w\in H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )}).\)
To prove that \(K_w\in H^{-s,p'}({{\mathcal {W}}}_{\mu (\lambda )}),\) we use Lemma 3.2. For all \(\lambda '>\lambda \), we have
We now argue as before and conclude that \(K_w\in H^{-s,p'}({{\mathcal {W}}}_{\mu (\lambda )}).\)
We split the remaining part of the argument into three steps: one concerning the region \(T_1,\) one concerning the region \(T_3\), and one concerning the line segment separating them; see Fig. 1.
Step 5. We assume \(p\in (1,\infty )\) and \(s>\max (\frac{2}{p}-1,0)\) and \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) is bounded. By step 4, we have that \(K_w\in H^{s,p}({{\mathcal {W}}}_{\mu (\lambda )}).\) Then, Proposition 4.1 immediately gives a contradiction.
Step 6. We assume that \(p\in (1,2),\) \(0< s< \frac{2}{p}-1\) and \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) is bounded. Notice that \(\frac{2}{p}-1<\frac{1}{p},\) so that, by step 4, we obtain that \(K_w\in H^{-s,p'}({{\mathcal {W}}}_{\mu (\lambda )}),\) where \(-s > 1-\frac{2}{p} = \frac{2}{p'}-1 .\) However, again, this is false by Proposition 4.1(i) and we have reached a contradiction. Hence, the projector \(P_\lambda \) does not extend to a bounded operator \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda ).\)
Step 7. Finally, let \(p\in (1,2)\) and \(s=\frac{2}{p}-1\) and suppose that \(P_\lambda :H^{s,p}({\mathcal {Z}}_\lambda )\rightarrow H^{s,p}({\mathcal {Z}}_\lambda )\) is bounded. Again, Lemma 4.3 gives that \(P_{\lambda '}:H^{s,p}({\mathcal {Z}}_{\lambda '})\rightarrow H^{s,p}({\mathcal {Z}}_{\lambda '})\) is bounded and
for all \(\lambda '>\lambda .\) Take any \(\mu >\pi \) and let \(\lambda '\) sufficiently large, so that \({{\mathcal {W}}}_\mu \subseteq {\mathcal {Z}}_{\lambda '}.\) Let \(\varphi _w\in C^\infty _c({\mathcal {Z}}_{\lambda '})\) be as in step 4. We have shown that there exists a sequence \(\{ P_{\lambda _n}\varphi _w\}\), such that \(P_{\lambda _n}\varphi _w\rightarrow K_w\) weak-\(*\) in \(H^{s,p}({\mathcal {Z}}_{\lambda '})\) as \(\lambda _n\rightarrow \infty ,\) so that
independent of \(\mu .\) This contradicts Proposition 4.1(ii) and the proof is complete. \(\square \)
5 Final Remarks and Open Questions
We wish to conclude by indicating a number of open problems. First of all, we recall that the exact range of regularity on the Lebesgue Sobolev spaces \(H^{s,p}\) of the Bergman projection on the smoothly bounded domain \({{\mathcal {W}}}_\mu \) is not known. Clearly, to prove a positive result, one needs to have precise information on the Bergman kernel itself. In fact, also the precise behaviour of the kernel near the critical annulus \({{\mathcal {A}}}=\{ (0,z_2):\, {\textrm{e}}^{-\mu /2}<|z_2|<{\textrm{e}}^{\mu /2}\}\) on the boundary of \({{\mathcal {W}}}_\mu \) remains to be understood.
The equivalence of the regularity of the Bergman projections on (0, q)-forms and the Neumann operator \({{\mathcal {N}}},\) proved in [5], was later exploited by M. Christ [7] to show that \(P_\mu \) does not preserve \(C^\infty (\overline{{{\mathcal {W}}}_\mu }).\) These results heavily relied on the boundedness of the domain \({{\mathcal {W}}}_\mu .\) We believe that the Neumann operator \({{\mathcal {N}}}\) on \({\mathcal {Z}}_\lambda \) is as irregular as the Bergman projection \(P_\lambda ,\) but this problem has not been addressed and (to the best of our knowledge) is open.
Finally, we mention the boundary analogue of this problem, namely the study of the behaviour of the Szegő projection on \({\mathcal {Z}}_\lambda .\) Given a smooth domain \(\Omega =\{ z:\rho (z)<0\} \subseteq {\mathbb {C}}^n,\) the Hardy space \(H^2(\Omega ,{\textrm{d}}\sigma )\) is defined as
where \(\Omega _\varepsilon =\{ z:\rho (z)<-\varepsilon \}\) and \({\textrm{d}}\sigma _\varepsilon \) is the induced surface measure on \(\partial \Omega _\varepsilon .\) Then, \(H^2(\Omega ,{\textrm{d}}\sigma )\) can be identified with a closed subspace of \(L^2(\partial \Omega ,{\textrm{d}}\sigma ),\) that we denote by \(H^2(\partial \Omega ,{\textrm{d}}\sigma ),\) where \(\sigma \) is the induced surface measure on \(\partial \Omega .\) The Szegő projection is the orthogonal projection
see [30] for the case of bounded domains. The regularity of \(S_\Omega \) when \(\Omega \) is a (model) worm domain was studied in a series of papers [20, 22,23,24, 26, 27]. In particular, in [20], it was announced that \(S_{{{\mathcal {W}}}_\mu }\) does not preserve \(L^p(\partial {{\mathcal {W}}}_\mu )\) when \(\big |\frac{1}{2}-\frac{1}{p}\big |\ge \frac{\pi }{\mu },\) in analogy to the case of the Bergman projection. L. Lanzani and E. Stein also studied the \(L^p\)-regularity of the Szegő and other projections on the boundary on bounded domains under minimal smoothness conditions [18, 19], whereas a definition of Hardy spaces and associated Szegő projection for singular domains was studied, for instance, in [9, 25]. It is certainly of interest to consider the case of the Szegő projection also in the case of the domains \({\mathcal {Z}}_\lambda \).
Data Availability Statement
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study. The authors have no relevant financial or non-financial interests to disclose.
References
Barrett, D.: Behavior of the Bergman projection on the Diederich–Fornæss worm. Acta Math. 168(1–2), 1–10 (1992)
Barletta, E., Dragomir, S., Peloso, M.M.: Worm domains and Fefferman space–time singularities. J. Geom. Phys. 120, 142–168 (2017)
Barrett, D.E., Ehsani, D., Peloso, M.M.: Regularity of projection operators attached to worm domains. Doc. Math. 20, 1207–1225 (2015). MR 3424478
Bergh, J., Löfström, J.: Interpolation Spaces. An Introduction, Springer, Berlin (1976). Grundlehren der Mathematischen Wissenschaften, No. 223
Boas, H.P., Straube, E.J.: Equivalence of regularity for the Bergman projection and the \(\overline{\partial }\)-Neumann operator. Manuscr. Math. 67(1), 25–33 (1990)
Barrett, D.E., Şahutoğlu, S.: Irregularity of the Bergman projection on worm domains in \({\mathbb{C}} ^n\). Mich. Math. J. 61(1), 187–198 (2012)
Christ, M.: Global \(C^\infty \) irregularity of the \(\overline{\partial }\)-Neumann problem for worm domains. J. Am. Math. Soc. 9(4), 1171–1185 (1996)
Čučković, Ž, Şahutoğlu, S.: Essential norm estimates for the \(\overline{\partial }\)-Neumann operator on convex domains and worm domains. Indiana Univ. Math. J. 67(1), 267–292 (2018)
Gallagher, A.-K., Gupta, P., Lanzani, L., Vivas, L.: Hardy spaces for a class of singular domains. Math. Z. 299(3–4), 2171–2197 (2021)
Kiselman, C.O.: A study of the Bergman projection in certain Hartogs domains. In: Several Complex Variables and Complex Geometry, Part 3 (Santa Cruz, CA, 1989), Proceedings of Symposia in Pure Mathematics, vol. 52, pp. 219–231. American Mathematical Society, Providence (1991)
Krantz, S.G., Peloso, M.M.: Analysis and geometry on worm domains. J. Geom. Anal. 18(2), 478–510 (2008)
Krantz, S.G., Peloso, M.M.: The Bergman kernel and projection on non-smooth worm domains. Houst. J. Math. 34(3), 873–950 (2008)
Krantz, S.G., Peloso, M.M., Stoppato, C.: Bergman kernel and projection on the unbounded Diederich–Fornæss worm domain. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16(4), 1153–1183 (2016)
Krantz, S.G., Peloso, M.M.: Completeness on the worm domain and the Müntz–Szász problem for the Bergman space. Math. Res. Lett. 26(1), 231–251 (2019)
Krantz, S.G.: Function Theory of Several Complex Variables. American Mathematical Society, Chelsea (2001)
Ligocka, E.: Estimates in Sobolev norms \(\Vert \cdot \Vert ^s_p\) for harmonic and holomorphic functions and interpolation between Sobolev and Hölder spaces of harmonic functions. Stud. Math. 86(3), 255–271 (1987)
Lions, J.L., Magenes, E.: Problemi ai limiti non omogenei. III. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 15, 41–103 (1961)
Lanzani, L., Stein, E.M.: The Cauchy integral in \({\mathbb{C} }^{n}\) for domains with minimal smoothness. Adv. Math. 264, 776–830 (2014)
Lanzani, L., Stein, E.M.: The Cauchy–Szegő projection for domains in \({\mathbb{C}}^n\), with minimal smoothness. Duke Math. J. 166(1), 125–176 (2017)
Lanzani, L., Stein, E.M.: On regularity and irregularity of certain holomorphic singular integral operators. In: Ciatti, P., Martini, A. (eds.) Geometric Aspects of Harmonic Analysis, pp. 467–479. Springer International Publishing, Cham (2021)
Maz’ya, V.: Sobolev Spaces with Applications to Elliptic Partial Differential Equations, augmented ed. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 342. Springer, Heidelberg (2011)
Monguzzi, A.: A comparison between the Bergman and Szegö kernels of the non-smooth worm domain \(D^{\prime }_\beta \). Complex Anal. Oper. Theory 10(5), 1017–1043 (2016)
Monguzzi, A.: Hardy spaces and the Szegő projection of the non-smooth worm domain \(D^{\prime }_\beta \). J. Math. Anal. Appl. 436(1), 439–466 (2016)
Monguzzi, A.: On Hardy spaces on worm domains. Concr. Oper. 3, 29–42 (2016)
Monguzzi, A.: Holomorphic function spaces on the Hartogs triangle. Math. Nachr. 294(11), 2209–2231 (2021)
Monguzzi, A., Peloso, M.M.: Regularity of the Szegö projection on model worm domains. Complex Var. Elliptic Equ. 62(9), 1287–1313 (2017)
Monguzzi, A., Peloso, M.M.: Sharp estimates for the Szegö projection on the distinguished boundary of model worm domains. Integral Equ. Oper. Theory 89(3), 315–344 (2017)
Peloso, M.M., Salvatori, M.: On some spaces of holomorphic functions of exponential growth on a half-plane. Concr. Oper. 3, 52–67 (2016)
Peloso, M.M., Salvatori, M.: Functions of exponential growth in a half-plane, sets of uniqueness, and the Müntz–Szász problem for the Bergman space. J. Geom. Anal. 27(3), 2570–2599 (2017) MR 3667442
Stein, E.M.: Boundary values of holomorphic functions. Bull. Am. Math. Soc. 76, 1292–1296 (1970)
Triebel, H.: Theory of Function Spaces. Monographs in Mathematics, vol. 78. Birkhäuser, Basel (1983)
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A. Monguzzi is partially supported by the Hellenic Foundation for Research and Innovation (H.F.R.I.) under the “2nd Call for H.F.R.I. Research Projects to support Faculty Members & Researchers” (Project Number: 73342). He is also a member of GNAMPA of the Istituto Nazionale di Alta Matematica (INdAM). M. M. Peloso is partially supported by the GNAMPA Project CUP_E55F2200027000. C. Stoppato is partly supported by GNSAGA of INdAM, by the INdAM project “Hypercomplex function theory and applications”, by the PRIN project “Real and Complex Manifolds” and by the FOE project “Splines for accUrate NumeRics: adaptIve models for Simulation Environments” of the Italian Ministry of Education (MIUR).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Krantz, S.G., Monguzzi, A., Peloso, M.M. et al. Irregularity of the Bergman Projection on Smooth Unbounded Worm Domains. Mediterr. J. Math. 20, 128 (2023). https://doi.org/10.1007/s00009-023-02331-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02331-3