Smooth solutions of quasianalytic or ultraholomorphic equations (Q985725)

The paper deals with generalizations of the classical result on the properties of the solution to the polynomial equations in classes of real-analytic functions. The main results of the paper are presented in the following two theorems. Theorem A. Let \({\mathcal E}_1(M)\) be the Denjoy-Carleman quasi-analytic ring stable under derivation. \newline Consider a polynomial \[ \varphi(x,y) = y^d + a_1(x) y^{d-1} + \ldots + a_d(x) \] with \(a_j\in {\mathcal E}_1(M)\), \(j=1,\dots,d\). If \(h\) is a germ of \(C^{\infty}\)-functions at the origin in \({\mathbb R}\) such that \(\varphi(x,h(x)) = 0\), then \(h\) belongs to \({\mathcal E}_1(M)\). Theorem B. Let \(\gamma\) and \(r\) be positive real numbers. Let \(A^{\infty}(S_{\gamma,r})\) be a space of holomorphic functions bounded together with all their derivatives in the plane sector \[ S_{\gamma,r} = \bigg\{z\in \Sigma: |\operatorname {Arg} z| < \gamma\frac{\pi}{2},\;|z| < r\bigg\}, \] \(\Sigma\) be the Riemann surface of the logarithmic function. Let \(A_{M}(S_{\gamma,r})\) be the subspace of \(A^{\infty}(S_{\gamma,r})\) of all those functions \(f\) for which \[ |f^{(k)}(z)| \leq C \sigma\cdot k!\cdot M_k,\;\forall k\in {\mathbb N},\;\forall z \in S_{\gamma,r} \] with \(M\) being an increasing and logarithmically convex sequence (\(M_0 = 1\)). Consider a polynomial \[ \varphi(z,w) = w^d + a_1(z) w^{d-1} + \dots + a_d(z) \] with \(a_j\in A_M(S_{\gamma,r})\), \(j=1,\ldots,d\). If \(h\) is an element of \(A^{\infty}(S_{\gamma,r})\) such that \(\varphi(z,h(z))=0\) for all \(z \in S_{\gamma,r}\), then \(h\) belongs to \(A_{M}(S_{\gamma',r^{\prime}})\) for any \(\gamma' < \gamma\), \(r'< r\).