An example of a nonconstant bianalytic function vanishing everywhere on a nowhere analytic boundary (Q1277568)

A function \(f\) is called bianalytic in some domain \(G\) of the complex plane if it can be represented as \(f(z)=f_1(z)+\overline z f_2(z)\), \(z \in G\), where \(f_1,f_2\) are functions analytic in \(G\). A Jordan curve \(\Gamma\) is called nowhere analytic if it contains no analytic subarc. In this note, the author proves the following theorem: There exist a domain \(D\) bounded by a smooth Jordan contour \(\Gamma\) and a function \(f\) bianalytic in \(D\) and not identically zero such that \(f\in\text{Lip}_1(\overline D)\), \(f\) vanishes everywhere on \(\Gamma\), \(\Gamma\) is nowhere analytic.