An addendum to theorems of A. F. Leont'ev and L. Carleson on an infinite order differential equation on a real interval (Q1930669)

The subject of this paper is an ODE of infinite order of the form \[ F(D)f(x)=0.\tag{1} \] The infinite-order derivative operator \(F(D)\) acting on the function \(f\) is defined by \[ F(D)f(x)=\sum_{n=0}^\infty {F^{(n)}(0)\over n!}f^{(n)}(x), \] where \[ F(z)=\prod_{n=1}^\infty\left(1-{z\over{\lambda _n}}\right)^{\mu_n}, \] and \[ \sum_{n=1}^\infty {\mu_n\over{|\lambda_n|}}<\infty,\;\;\sup_{n\in\mathbb{N}}|\operatorname{arg}\lambda_n|<{{\pi}\over2}. \] Here, \(\Lambda=\{\lambda_n,\mu_n\}_{n=1}^\infty\) is called a multiplicity-sequence. Sufficient and necessary conditions are formulated using properties of multiplicity-sequence under which the solution \(f\) of the equation (1) admits a Taylor-Dirichlet representation of the form \[ \sum_{n=1}^\infty\left(\sum_{k=0}^{\mu_n-1}c_{n,k}x^k\right)e^{{\lambda_n}x}. \] Another result contained in this paper is a theorem giving certain sufficient conditions for the uniqueness of a solution of equation (1).