Free boundary problems via Sakai's theorem

TL;DR

This paper extends Sakai's theorem by characterizing boundary regularity of domains with Schwarz functions under relaxed boundary conditions, showing boundaries can be smoother or less regular depending on the scenario.

Contribution

It introduces new boundary conditions for Schwarz functions and describes the resulting boundary regularity, broadening Sakai's original characterization.

Findings

Boundaries can be as smooth as $C^ abla$ or as irregular as measure zero sets.

Different boundary conditions lead to varying degrees of boundary regularity.

The results generalize Sakai's theorem to more flexible boundary scenarios.

Abstract

A Schwarz function on an open domain $\Omega$ is a holomorphic function satisfying $S(\zeta)=\overline{\zeta}$ on $\Gamma$, which is part of the boundary of $\Omega$. Sakai in 1991 gave a complete characterization of the boundary of a domain admitting a Schwarz function. In fact, if $\Omega$ is simply connected and $\Gamma=\partial \Omega\cap D(\zeta,r)$, then $\Gamma$ has to be regular real analytic. This paper is an attempt to describe $\Gamma$ when the boundary condition is slightly relaxed. In particular, three different scenarios over a simply connected domain $\Omega$ are treated: when $f_1(\zeta)=\overline{\zeta}f_2(\zeta)$ on $\Gamma$ with $f_1,f_2$ holomorphic and continuous up to the boundary, when $\mathcal{U}/\mathcal{V}$ equals certain real analytic function on $\Gamma$ with $\mathcal{U},\mathcal{V}$ positive and harmonic on $\Omega$ and vanishing on $\Gamma$, and when $S(\zeta)=\Phi(\zeta,\overline{\zeta})$ on $\Gamma$ with $\Phi$ a holomorphic function of two variables. It turns out that the boundary piece $\Gamma$ can be, respectively, anything from $C^\infty$ to merely $C^1$, regular except finitely many points, or regular except for a measure zero set.