Systems of inhomogeneous convolution equations in convex domains of \(\mathbb{C}\). (Q1594088)

An entire function \(f(z), z \in \mathbb C\), of order \(0 < \rho < \infty \), is called a function of completely regular growth (c.r.g.) on a ray \(r e^{i \theta }, 0 \leq \theta \leq 2 \pi \), if \(\exists \lim _{r \rightarrow \infty , r \not\in E_0} r^{- \rho } \ln | f(r e^{I \theta })| = h_f (\theta ),\) where \(E_0\) is a small (in a precisely defined sense) exceptional set and \(h_f\) is the Phragmén-Lindelöf indicator function of \(f\). In the English translation of the note under review these functions are called ''(quite) regularly increasing''. The functions of c.r.g. type [see, e.g., \textit{B. Levin}'s ``Distribution of zeros of entire functions'', 3rd printing, AMS (2000), (1996; Zbl 0856.30001)] have numerous applications. In particular, they are crucial in the study of convolution equations in complex domains (C. Berenstein, L. Ehrenpreis, Yu. Korobeinik, V. Napalkov, B. Taylor and their co-workers) [see, e.g., \textit{V. Napalkov}'s ``Convolution equations in multidimensional spaces'', Moskva: Nauka (1982; Zbl 0582.47041)]. To study systems of convolution equations, the concept of a slowly decreasing system of entire functions was introduced - see, e.g., \textit{C. A. Berenstein} and \textit{M. A. Dostal} [Lect. Notes Math. 336, 79--94 (1973; Zbl 0259.46040), and references therein]. Aiming at the same goal, the present author gives the following definitions. Let \(\Lambda = (\lambda _j , m_j )\) be the sequence of zeros and their multiplicities of an entire function \(\psi\). For every \(x \in \mathbb C \setminus \{\lambda _l \}^{\infty } _{j=1}\) and \(\delta > 0\) set \(q_{\delta } (z, x, \Lambda ) = \prod _{\lambda _j \in B(x, \delta | x| )}[ {z- \lambda _j\over x- \lambda _j }]^{m_j}, z \in \mathbb C\), \(B(x, r)\) being the circle of radius \(r\) centered at the point \(x\). Let \(S\) be the unit circle in \(\mathbb C\). Given \(y \in S\) and \(\delta >0\), let \(D(y, \delta )\) be the set of sequences \(\{z_k = r_k e^{i \theta }, \; \theta = \arg y\), such that \(r_k \rightarrow \infty \) as \(k \rightarrow \infty \) and \(| z_{k+1}| / | z_k | <1+ \delta \) for \(k=1,2,\dots\). Let \(D(y)\) denote the set of sequences \(\{z_k \}\) such that for, any \(\delta >0\), the sequence \(\{z_k \}\), except for a finite number of its elements, belongs to \(D(y, \delta )\). Next, for a convex domain \(D \subset C\), put \(I_D = \{z: H_D (z) = + \infty \}\), where \(H_D (z)\) is the support function of \(D\). \textbf{Definition 3.} A system of entire functions \((f_1,\dots,f_n)\) of finite-type at order \(\rho \) is said to be regularly increasing on a ray \(ty, \; y \in S\), if there exists a sequence \(\{z_k \} \in D(y)\) satisfying the following condition: for every \(r \in (0,1)\) and \(\epsilon >0\) , one can find \(\delta (r, \epsilon )>0\) and \(k_0\) such that, for any positive \(\delta < \delta (r, \epsilon )\), \[ \max _{1 \leq i \leq n} \ln [| f_i (z)| | q_{\delta }(z,z_k , \Lambda )| ^{-1} - h_{\psi } (z)] \geq - \epsilon | z| ^{\rho }, \] \[ z \in B(z_k , r \delta | z_k | ), k \geq k_0 , \] where \(\Lambda = (\lambda _j , m_j )\) be the sequence of all common zeros and their multiplicities of \((f_1, ... ,f_n)\). In a similar way the author defines the notion of a weakly regularly increasing system of entire functions and states that if, under some natural necessary assumptions, the system of characteristic functions of a finite system of convolution operators in a convex domain \(D \subset C\) is of regular and weakly regular growth, then the corresponding system of inhomogeneous convolution equations is solvable. No proofs are given. Reviewer's remark: Neither the Russian original, nor the English translation specifies the function \(\psi \) in the definition above.