Hypertranscendency of perturbations of hypertranscendental functions (Q2207682)

Let \(f\) be a meromorphic function and \(g\) an entire function on the complex plane. In this paper, it is investigated when a meromorphic function \(fe^g\) cannot satisfy any algebraic differential equation over certain field of meromorphic functions. Let \(T(r, f)\) be the Nevanlinna characteristic function of \(f\). Denote by \(S(r, f)\) a quantity which is of growth \(o(T(r, f))\) as \(r\to\infty\) outside a set of finite measure \(E\subset(0,+\infty)\). Let \(\mathcal{M}_0\) be the field of meromorphic functions \(y\) with \(T(r, y)=o(r)\) as \(r\to\infty\) outside a set of finite measure, and let \(S_f\) (resp. \(S^f\) ) be the field of meromorphic functions \(y\) satisfying the growth condition \(T(r, y)=S(r, f)\) (resp. \(T(r, y)=O(T(r, f))\)) as \(r\to\infty\) outside a set of finite measure. Let \(f\) and \(a\) be meromorphic functions in the complex plane \(\mathbb{C}\) and \(\mathbb{D}_r=\{|z|<r\}\), let \(n(r, f)\) be the number of poles of \(f\) in \(\mathbb{D}_r\), \(n(r,a)=n(r,a,f)=n(r,1/(f-a))\). When the number of distinct poles of \(f\) in \(\mathbb{D}_r\) is denoted by \(\bar{n}(r, f)\), then \(\bar{n}(r,a)=\bar{n}(r,1/(f-a))\). Correspondingly the counting function and truncated counting function are defined as follows. \[ N(r,a,f):=\int^r_0\frac {n(t,a)-n(0,a)}t\,dt+n(0,a)\log r, \] \[ \bar{N}(r,a,f):=\int^r_0\frac {\bar{n}(t,a)-\bar{n}(0,a)}t\,dt+\bar{n}(0,a)\log r\,. \] Denote by \(\delta(a,f)\) the Nevanlinna deficiency of \(a\) for \(f\). The following is proved. Let \(\Gamma\) be the Euler gamma function and let \(h\) be an entire function such that \(T(r,\Gamma'/\Gamma)=S(r,h^{(j)})\) and \(\delta(a,f)>0\), for some \(a\in\mathcal{M}_0\) and some nonnegative integer \(j\). Then \(\Gamma e^h\) is hypertranscendental over \(\mathcal{M}_0\). The following partial result is also proved: for any entire function \(h\), \(P(z, \Gamma e^h,\dots,(\Gamma e^h)^{(n)})\not\equiv0\) for any nontrivial distinguished polynomial \(P(z,u_0,\dots,u_n)\) over \(\mathcal{M}_0\). These results give partial solutions to Bank's Conjecture [\textit{S. B. Bank}, Proc. R. Soc. Edinb., Sect. A 79, 335--341 (1977; Zbl 0426.33001)] on the hypertranscendence of \(\Gamma e^h\). Some sufficient conditions for hypertranscendence of meromorphic function of the form \(f+g\), \(f\cdot g\) and \(f\circ g\) are given.