Hypertranscendency of perturbations of hypertranscendental functions

are meromorphic and entire on the complex plane, respectively. Our results (Theorem 1 and 2) give partial solutions to Bank's Conjecture (1977) on the hypertranscendence of

G a m m a e^{h}

. We also give some sufficient conditions for hypertranscendence of meromorphic function of the form

f + g

,

f c d o t g

and

f c i r c g

in Theorem 3 and 4.

Review text

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.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Hypertranscendency of perturbations of hypertranscendental functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2207682)