# Equation of infinite order

in the complex domain

A differential equation of the form

$$\sum _ {n = 0 } ^ \infty a _ {n} ( z) y ^ {( n)} ( z) = \ f ( z),$$

where $y( z)$ is the unknown function of the complex variable $z$ and $a _ {n} ( z)$, $f( z)$ are given functions. Equations of infinite order which have been most thoroughly studied are those with constant coefficients:

$$Ly \equiv \ \sum _ {n = 0 } ^ \infty a _ {n} y ^ {( n)} ( z) = \ f ( z).$$

If the characteristic function

$$\phi ( \lambda ) = \ \sum _ {n = 0 } ^ \infty a _ {n} \lambda ^ {n}$$

is an entire function of exponential type $\sigma$, the left-hand side $Ly$ makes sense for $z = z _ {0}$ if $y( z)$ is an analytic function in the disc $| z - z _ {0} | < R$, $R > \sigma$. If $\sigma = \infty$, one must assume that $y( z)$ is an entire function. A difference from an equation of finite order consists already in the fact that the solution $y( z)$ may have singular points even if $f( z)$ is an entire function. If $\sigma = 0$ and $f( z)$ is an entire function, the domain of existence of a solution is convex . The general solution consists of a particular solution and the general solution of the corresponding homogeneous equation. Let $\lambda _ {1} , \lambda _ {2} ,\dots$ be the roots of the characteristic equation $\phi ( \lambda ) = 0$ and let $m _ {1} , m _ {2} ,\dots$ be their respective multiplicities. The homogeneous equation has elementary particular solutions $z ^ {k} e ^ {\lambda _ {n} z }$( $k = 0 \dots m _ {n} - 1$; $n = 1, 2 ,\dots$). The solution of the homogeneous equation can be written as a series of elementary particular solutions, formed according to a definite rule. If the characteristic function $\phi ( \lambda )$ has regular growth (in a certain sense), it is possible to find a subsequence of the partial sums of this series converging to $y( z)$. In the general case the function $y( z)$ may be approximated, as accurately as one pleases, by finite linear combinations of elementary solutions . If $\sigma = 0$, an equation of infinite order may have non-analytic solutions . Under certain conditions these solutions form a quasi-analytic class with weaker bounds on the growth of the derivatives than in the classical Denjoy–Carleman theorem (cf. Quasi-analytic class).

Equations of infinite order have various applications. They are used in the study of sequences of Dirichlet polynomials, completeness of systems of analytic functions, uniqueness of analytic and harmonic functions, and in solvability questions of analytic problems such as the generalized quasi-analyticity problem, the generalized uniqueness problem of moments, etc.

How to Cite This Entry:
Equation of infinite order. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Equation_of_infinite_order&oldid=51270
This article was adapted from an original article by A.F. Leont'ev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article