Asymptotic estimates for the growth of meromorphic solutions to differential equations in angular domains (Q1577159)

The authors study the behavior of meromorphic solutions to some differential equations on arbitrary rays or in arbitrary angular domains of the form \[ \sum_{k+s=n} a_s(z)z^{\tau_s}(\log z)^{\kappa_s}f^kf_1^s = \sum_{|K|<n}b_K(z)f^{k_0}f_1^{k_1}\cdots f_p^{k_p}, \tag{1} \] with \(f^{(j)} = f_j\), \(1\leq j \leq p\), \(n\in \mathbb{N}\), \(s\), \(k_0,\dots, k_p\in \mathbb{N}\cup \{0\}\), \(K = (k_0, k_1,\dots, k_p)\), \(\tau_s\), \(\kappa_s\in\mathbb{R}\), and \[ |b_K(z)|< M_K|z|^{\tau_K}, \qquad M_K = \text{const}, \qquad a_s(z) = a_s + o(1). \tag{2} \] Here, \(z\in D\), \(D = \{z: 0\leq \arg z \leq\pi\), \(|z|\geq R_0\}\), \(\tau_K\in\mathbb{R}\), \(\alpha_s\in\mathbb{C}\), \(\alpha_s \neq 0\) if \(\alpha(z) \not\equiv 0\). It is assumed that the asymptotic relations in (2) hold uniformly in \(\arg z\), \(z\in D\), and all \(a_s(z)\) and \(b_k(z)\), \(z\in D\), in (1) are analytic functions. The symbol \(E\) denotes a set of disks with finite sum of radii. The main result of the article is as follows: Suppose that an analytic solution to the differential equation is a meromorphic function \(f(z)\), \(z\in D\), of finite order \(\mu\); then the following two cases are possible: (1) for every \(\varepsilon > 0\) and arbitrary \(\varphi_0\), \(\varphi_1\), \(0 < \varphi_0 < \varphi_1 < \pi\), there is \(d>0\) such that \(|z|> d \wedge \varphi_0 < \arg z < \varphi_1 \Rightarrow \log f(z) = \log^{\tau + 1}z( \beta (\tau + 1)^{-1} + v(z))\), \(z\notin E\), \(|v(z)|< \varepsilon\), \(\tau > 0\), \(\text{Re} \beta\neq 0\); (2) the functional \(f\) possesses the following properties: (a) there exists a (possible empty) finite set \(G_s = \{z: \eta_s < \arg z <\gamma_s \}\) of angles on which \(\log f(z) = (\beta\rho^{-1} + o(1)) z^{\rho (s)}\log^{\tau (s)} z\), \(z\in G_s\setminus E\); (b) there exists a (possible empty) finite set \(\{z: \arg z = \varphi(s)\}\) of rays on which \(\log |f(re^{i\varphi(s)})|= o\bigl(r^{\rho}\log^{\tau}r \bigr)\), \(r\in [1, +\infty)\setminus\Delta\), \(\text{mes} \Delta < +\infty\); (c) on the complement to these angles and rays the following inequality holds: \[ \log|f(re^{i\varphi})|< \varepsilon\log^{\tau + 1}r, \quad \varepsilon\geq 0, \quad r>r(\varphi), \quad r\notin \Delta, \quad \varphi\neq 0, \pi. \] The numbers \(\rho\), \(\tau\), \(p\), \(\rho(s)\), \(\varphi(s)\), \(\eta_s\), and \(\gamma_s\) are determined by the form of the differential equations.