Quasi-analyticity in Carleman ultraholomorphic classes (Q609657): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1785958706 / rank | |||
Normal rank |
Revision as of 22:52, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasi-analyticity in Carleman ultraholomorphic classes |
scientific article |
Statements
Quasi-analyticity in Carleman ultraholomorphic classes (English)
0 references
1 December 2010
0 references
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.
0 references
quasi-analyticity
0 references
Carleman classes
0 references
asymptotic expansions
0 references
Watson's lemma
0 references