The Dirichlet problem in the plane with semianalytic raw data, quasi analyticity, and o-minimal structure (Q1012323)

Let \(\Omega\) be a semianalytic bounded domain in the real plane and \(h\) be a semianalytic continuous function on the boundary of \(\Omega\). The paper examines the solution \(u\) of the Dirichlet problem for \(h\) under the point of view of ``tame'' geometry and o-minimality. It is shown that, if \(\Omega\) has no isolated boundary points, \(0\) is in the boundary of \(\Omega\) and the angle of \(\Omega\) at \(0\) is greater than \(0\), then this Dirichlet solution \(u\) lies in a certain quasi-analytic class used by Ilyashenko in his work on Hilbert's 16th problem. On this basis it is shown that, still assuming that \(\Omega\) has no isolated boundary points and under the further hypothesis that the angles of the boundary of \(\Omega\) at the singular boundary points are irrational multiples of \(\pi\), the Dirichlet solution \(u\) for \(h\) is definable in a suitable o-minimal structure.