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

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 $\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+ν_β}} π$. 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.