A $\mathrm{L}^2$maximum principle for circular arcs on the disk
Abstract
In this article, we prove a novel $\mathrm{L}^2$maximum principle for harmonic functions on the disk with respect to circular arcs. More precisely, we prove that for any harmonic function $u$ on a disk $\Omega$ with nontangential maximal function in $\mathrm{L}^2(\partial \Omega)$, the supremum of $\lVert u \rVert_{\mathrm{L}^2 (\Gamma)}$ over circular arcs $\Gamma \subset \overline{\Omega}$ is attained at the boundary $\Gamma = \partial \Omega$. We achieve this through a sharp geometrydependent estimate on the norm $\lVert u \rVert_{\mathrm{L}^2(\Gamma)}$ in the special case where $\Gamma$ is a circular arc intersecting the boundary of $\Omega$ in exactly two points and the boundary data $u\rvert_{\partial \Omega}$ is supported along one of the connected components of $\partial \Omega\setminus \overline{\Gamma}$. As a corollary of this result, we also deduce new $\mathrm{L}^p$ maximum principles with $p \in [2,\infty)$ for circular arcs on the disk. These results have applications in the convergence analysis of Schwarz domain decomposition methods on the union of overlapping disks. We have discovered a critical error in the proof of Lemma 3.9 (highlighted in red in the paper), and therefore, the proof of Theorem 1.2 presented here is only valid under the restriction $\pi/2 \leq \theta+\sigma\leq 3\pi/2$, where $\theta,\sigma$ are the angles described in Section 2. In particular, the proofs of Corollaries 1.31.5 are incomplete.
 Publication:

arXiv eprints
 Pub Date:
 January 2024
 DOI:
 10.48550/arXiv.2401.16344
 arXiv:
 arXiv:2401.16344
 Bibcode:
 2024arXiv240116344C
 Keywords:

 Mathematics  Analysis of PDEs;
 30E25;
 35J05;
 35J57