Quasi-analyticity in Carleman ultraholomorphic classes (Q609657)

Let us consider a sequence of positive real numbers \(\mathbf M=(M_p)_{p\in{\mathbb N}_0}\) and a sector \(S\) with vertex at \(0\) in the Riemann surface of the logarithm \({\mathcal R}\). We define \({\mathcal A}_{\mathbf M}(S)\) as the space of holomorphic functions \(f\) defined in \(S\) for which there exists a constant \(A\) (depending on \(f\)) such that \[ \sup_{p\in{\mathbb N}_0,z\in S}{|D^p f(z)|\over{A^p p! M_p}}<\infty, \] and consider the Borel map \({\mathcal B}\) sending every function \(f\in{\mathcal A}_{\mathbf M}(S)\) to \((f^{(n)}(0))_{n\in{\mathbb N}_0}\). A classical problem is that of quasi-analyticity, that is, to find a characterization for the integrity of \({\mathcal B}\). The aim of the article is to obtain some quasi-analyticity and \((s)\)-quasi-analyticity results for the classes \({\mathcal A}_{\mathbf M}(S)\). It is divided into four sections. Section 1 is an introduction containing a background and references to several results obtained. Section 2 contains some notations used throughout the article. Section 3 introduces strongly regular sequences, the definition of the growth index related to them, as well as some definitions and notes on strong asymptotic expansions and ultraholomorphic classes in polysectors. The main results are contained in Section 4. A theorem obtained by \textit{B.~I.~Korenbljum} [Sov. Math., Dokl. 7, 232--236 (1966); translation from Dokl. Akad. Nauk SSSR 166, 1046--1049 (1966; Zbl 0174.38501)] allows the authors to give a characterization of quasi-analyticity in several variables. Let us cite one of the obtained results. Proposition. Let \(\mathbf M=(M_p)_{p\in{\mathbb N}_0}\), \(n\in{\mathbb N}\), be a sequence that fulfills the condition \(\quad(\alpha_0)\) \(M\) is logarithmically convex, i.e., \(M_n^2\leq M_{n-1}M_{n+1}\) for every \(n\in{\mathbb N}\), and let \(\gamma=(\gamma_1,\dots,\gamma_n)\in(0,\infty)^n\). Then the following statements are equivalent: \(\quad\)(i) The class \({\mathcal A}_{\mathbf M}(S_\gamma)\) is \((s)\)-quasi-analytic. \(\quad\)(ii) There exists \(j\in\{1,\dots,n\}\) such that \({\mathcal A}_{\mathbf M}(S_{\gamma_j})\) is quasi-analytic. \(\quad\)(iii) The integral \[ \int^\infty_0{\log T_{{\mathbf M}}(r)\over{r^{1+1/(\overline{\gamma}+1)}}}\,dr\text{ does not converge, where }T_{\mathbf M}(r)=\sup_{p\in{\mathbb N}_0}{r^p\over{M_p}}, \quad r>0. \] \(\quad\)(iv) The sum \[ \sum_{p=0}^\infty\bigg({M_p\over{(p+1)M_{p+1}}}\bigg)^{1+1/(\overline{\gamma}+1)}\text{ does not converge.} \] Next, a new sufficient condition for \((s)\)-quasi-analyticity is deduced using classical results of S.~Mandelbrojt. Working with strongly regular sequences \(\mathbf M\), the authors establish generalizations of Watson's lemma under an additional condition related to the growth index. As the authors mention, these results for strongly regular sequences are new even in the univariate case and generalize previous results of several other mathematicians. A bibliography reflects several results obtained in this area. The article should be interesting for specialists in complex analysis and other related areas.