arXiv2016
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.