Harmonic analysis in the complex domain and applications in the theory of analytic and infinitely differentiable functions (Q1317292): Difference between revisions

In this short survey, the author exposes the results achieved as some Denjoy-Carleman type theorems on the uniqueness of certain general classes of so-called \(\alpha\)-quasi-analytic infinitely differentiable functions. The problem was appeared as a generalization of the Denjoy (1921)-Carleman (1926) theorem. In the work [An extension of the Denjoy- Carleman quasi-analytic class, Izv. Akad. Nauk Armjan. SSR; translation from Am. Math. Soc., Translat., II. Ser. 110, 1-59 (1977; Zbl 0371.30034)] the author proposed the following generalization: ``Assume that \(\{M_ n\}^ \infty_ 1\) is an arbitrary sequence of positive numbers and \(T(\tau)= \sup\{ \tau^ n M_ n;\;n\geq 1\}\). Suppose that \(\gamma\in (0, +\infty)\) is given.`` The problem is to find ``how may classes \(C_ \gamma\{M_ n\}\) of functions \(\varphi(x)\) \((x\in [0, +\infty)\) or \(x\in [0, \ell])\) and the simplest functionals \(\{L_ n^ \gamma\varphi\}_{n= 0}^ \infty\) be defined so that the condition \[ \int^ \infty_ 1 \tau^{-1-\gamma}\ln T(\tau) d\tau= +\infty \] turns out to be equivalent to the assertion that for any function \(\varphi\in C_ \gamma \{M_ n\}\), the equalities \(L_ n^ \gamma \varphi= 0\) \((n= 0,1,2,\dots)\) yield the identity \(\varphi(x)\equiv 0\) \((x\in [0, +\infty)\) or \(x\in [0, \ell])\)?'' In the loc. cit. work, the author discovered a method for the solution of this general problem on the half-line \([0, +\infty)\). The method permits a reduction of the problem of \(\alpha\)-quasi-analyticity to the well- known problem of Watson. The author introduces the classes \(C_ \alpha \{[0, +\infty), M_ n\}\), \(C_ \alpha^*\{[0, +\infty), M_ n\}\) of \(\alpha\)-quasi-analytic functions by using the Riemann-Liouville integral and Riemann-Liouville derivative and the solution of some Cauchy type problems for special differential operators of fractional order. For these classes \(C_ \alpha^*\) or \(C_ \alpha\), \(\alpha\)-quasi-analyticity is equivalent to the condition \[ \int^ \infty_ 1 \tau^{-(1+ 1/(1+ \alpha))}\ln T(\tau) d\tau=+ \infty\quad\text{or}\quad \int_ 1^ \infty\tau^{- (1+{1-\alpha\over {1+\alpha}})} \ln T(\tau) d\tau=+ \infty,\text{ resp}.. \] Very closed to this topic is the author's book [Harmonic analysis and boundary value problems in the complex domain (1993; Zbl 0798.43001)].