Smooth solutions of quasianalytic or ultraholomorphic equations (Q985725): Difference between revisions

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\).