Home On some sufficient conditions of strong uniqueness polynomials
Article Publicly Available

On some sufficient conditions of strong uniqueness polynomials

  • Abhijit Banerjee EMAIL logo and Bikash Chakraborty
Published/Copyright: November 23, 2016

Abstract

In this paper we shall find some sufficient conditions for a uniqueness polynomial to be a strong uniqueness polynomial, as this type of problem was never investigated by researchers earlier. We also exhibit some examples to substantiate our theorems.

MSC 2010: 30D35

1 Introduction: Definitions and results

In this paper we adopt the standard notations of the Nevanlinna theory of meromorphic functions as explained in [9].

In the course of studying the factorization of meromorphic functions, Gross [8] introduced the concept of a unique range set, which we define first.

A discrete set S of is called a unique range set for meromorphic (resp. entire) functions if there exists no pair of two distinct non-constant meromorphic (resp. entire) functions such that they have the same inverse images of S counted with multiplicities.

Pertinent with the above definition, during the last quarter century or so, several authors presented many elegant results to enrich uniqueness theory. Actually a lot of efforts were being put on to find unique range sets which are different in nature as well as cardinalities, see [3, 5, 6, 11, 10, 14].

The basic idea in studying unique range set is to construct a polynomial P(z) with simple zeros whose zero set S will be the desired unique range set. In the course of development of this particular topic, viz-a-viz value distribution theory has judiciously been shifted towards finding that P(f)P(g) is a non-zero constant. This idea motivated researchers to define the so-called uniqueness polynomial and strong uniqueness polynomial.

Definition 1.1

A polynomial P in is called a uniqueness polynomial for meromorphic (resp. entire) functions, if for any two non-constant meromorphic (resp. entire) functions f and g, P(f)P(g) implies fg. We say that P is a UPM (resp. UPE) in brief.

It is clear that any polynomial of degree one is a uniqueness polynomial but, from [10], no polynomial of degree 2 or 3 is a UPE. Thus, to be a uniqueness polynomial for entire functions, the polynomial must be of degree at least four. Now we demonstrate some uniqueness polynomials.

Example 1.2

Example 1.2 ([10])

Let P(z)=z4+a3z3+a2z2+a1z+a0. Then P is not a UPM. However, P is a UPE if and only if (a32)3-a2a32+a10.

Example 1.3

Example 1.3 ([13])

Let P(z)=zn+an-1zn-1++a1z+a0 (n4) be a monic polynomial. If there exist an integer t with 1t<n-2 and gcd(n,t)=1 such that an-1==at+1=0 but at0, then P is a UPE.

Example 1.4

Example 1.4 ([13])

Let P(z)=zn+amzm+a0 be a monic polynomial such that gcd(n,m)=1 and am0. If n5 and 1m<n-1, then P is a UPM.

Definition 1.5

A polynomial P in is called a strong uniqueness polynomial for meromorphic (resp. entire) functions if for any non-constant meromorphic (resp. entire) functions f and g, P(f)AP(g) implies fg, where A is any non-zero constant. In this case we say that P is a SUPM (resp. SUPE) in brief.

It is clear from the above definitions that a SUPM (resp. SUPE) is a UPM (resp. UPE) but a UPM (resp. UPE) may not be a SUPM (resp. SUPE). However, the following example shows that one degree polynomials are UPM (resp. UPE) but may not be SUPM (resp. SUPE).

Example 1.6

Let P(z)=az+b (a0). Clearly, P(z) is a UPM (resp. UPE) but for any non-constant meromorphic function (resp. entire) g, if we take f:=cg-ba(1-c) (c0,1), then P(f)=cP(g) but fg.

First we recall some existing strong uniqueness polynomials in the literature.

Example 1.7

Example 1.7 ([14])

The polynomial

PY(z)=zn+azn-r+b

is a uniqueness polynomial if gcd(n,r)=1, r2, ab0 and n6.

Also from [14, p. 79, Case 3, first part], it is clear that whenever n2r+4, PY(f)cPY(g), where c0, implies PY(f)PY(g), and hence it is a strong uniqueness polynomial.

Next we invoke the following polynomial introduced by Frank and Reinders in [5].

Example 1.8

Example 1.8 ([5])

Let

PFR(z)=(n-1)(n-2)2zn-n(n-2)zn-1+n(n-1)2zn-2-d(d0,1).

From [5], we know that PFR is a UPM if n6. Also from [5, p. 191, Case 2], it is clear that whenever n8, PFR(f)cPFR(g), where c0, implies PFR(f)PFR(g), i.e., PFR is a strong uniqueness polynomial when n8.

Very recently the first author [2] introduced a new polynomial.

Example 1.9

Example 1.9 ([2])

Let

PB(z)=i=0m(mi)(-1)in+m+1-izn+m+1-i+c,

where c0, -i=0m(mi)(-1)in+m+1-i. The first author showed that PB is a uniqueness polynomial of degree 6 and strong uniqueness polynomial of degree 7 for c=1.

As finding unique range sets is the motivation of studying strong uniqueness polynomials, it is quite natural to assume that uniqueness polynomials have no multiple zeros. In [6, 7], to find a necessary and sufficient condition for a monic polynomial without multiple zeros to be a UPM, Fujimoto introduced a new definition which was recently been characterized in [4] as critical injection property.

Let P(z) be a monic polynomial without multiple zeros, whose derivatives has mutually distinct k zeros given by d1,d2,,dk with multiplicities q1,q2,,qk, respectively. Below we are demonstrating the definition of the critical injection property.

Definition 1.10

A polynomial P is said to satisfy the critical injection property if P(α)P(β) for any two distinct zeros α, β of the derivative P.

Clearly, the meaning of critical injection property is that the polynomial P is injective on the set of distinct zeros of P, which are known as critical points of P. Naturally, a polynomial with this property may be called a critically injective polynomial. Thus, a critically injective polynomial has at most one multiple zero.

The following theorem of Fujimoto completely characterizes a monic polynomial with only simple zeros to be a uniqueness polynomial.

Theorem A

Theorem A ([7])

Let P(z) be critically injective. Then P(z) will be a uniqueness polynomial if and only if

1l<mkqlqm>l=1kql.

In particular, the above inequality is always satisfied whenever k4. In addition, it is also true when k=3 and max{q1,q2,q3}2 or when k=2, min{q1,q2}2 and q1+q25.

Example 1.11

Example 1.11 ([6])

For k=1, taking P(z)=(z-a)q-b for some constants a and b with b0 and an integer q2, it is easy to verify that for an arbitrary non-constant meromorphic function g and a constant c(1) with cq=1, the function g:=cf+(1-c)a(f) satisfies the condition P(f)=P(g).

Fujimoto also showed that the critical injection property of polynomial helps one to find a sufficient condition for a strong uniqueness polynomial. In this connection, Fujimoto proved the following theorem.

Theorem B

Theorem B ([6])

A critically injective polynomial P(z), with k4, is a strong uniqueness polynomial if

P(d1)+P(d2)++P(dk)0.
Remark 1.12

As a application of Theorem B, Fujimoto himself proved that PY(z) is a strong uniqueness polynomial for n>r+1 when r3 and gcd(n,r)=1, see [6, p. 1192, Example 4.10], which is an improvement of a result of Yi in [14].

Theorem C

Theorem C ([7])

For a critically injective polynomial P(z) with k=3, if max(q1,q2,q3)2 and

P(dl)P(dm)±1for 1l<m3,
P(dl)P(dm)P(dm)P(dn)for any permutation (l,m,n) of (1,2.3),

then P is a strong uniqueness polynomial.

Theorem D

Theorem D ([7])

A critically injective polynomial P(z), with k=2 and q1q2, is a strong uniqueness polynomial if either of the following holds:

  1. q13 and P(d1)+P(d2)0,

  2. q12 and q2q1+3.

We noticed from the definitions and Example 1.6 that uniqueness polynomials of degree one need not be strong uniqueness polynomials. The following example shows that for higher degree polynomial also the same conclusion can be derived.

Example 1.13

Consider P(z)=zn-r(zr+a) where a is a non-zero complex number and gcd(n,r)=1, r2 and n5. Then P is a uniqueness polynomial as shown in Example 1.3 but for any non-constant meromorphic function g if we take f=ωg where ω is non-real r-th root of unity, then P(f)=ωn-rP(g). Thus, uniqueness polynomial may not be a strong uniqueness polynomial.

Though Fujimoto performed some remarkable investigations to find some sufficient conditions for a critically injective polynomial to be a strong uniqueness polynomial but so far no attempt have been made by any researchers to find some sufficient conditions for a UPM to be a SUPM. To deal in this new perspective is the main motivation of this paper.

2 Main results

We have already seen, from Example 1.11, that a polynomial having only one critical point cannot be a uniqueness polynomial. So uniqueness polynomials has at least two critical points. Now we state our results.

Theorem 2.1

Suppose P is a critically injective uniqueness polynomial of degree n with simple zeros. Assume that P has at least two critical points, and among them let α and β be the two critical points with maximum multiplicities. Also assume that z=α is a P(α) point of P(z) of order p and z=β is a P(β) point of P(z) of order t. If max{t,p}+t+p5+n and {P(α)+P(β)}0, then P(z) is a strong uniqueness polynomial.

Remark 2.2

As α and β are critical points of P, we have t,p2.

Example 2.3

Consider the polynomial

PFR(z)=(n-1)(n-2)2zn-n(n-2)zn-1+n(n-1)2zn-2-c,

where n6 and c0,1,12.

As c0,1, we see that PFR has only simple zeros .

Again as c12, PFR(1)-PFR(0)=1-2c0, it follows that P is a critically injective polynomial.

We have also PFR(z)-PFR(1)=(z-1)3R1(z), where R1(z) has no multiple zero with R1(1)0, and PFR(z)-PFR(0)=zn-2R2(z), where R2(z) has no multiple zero with R2(0)0. Clearly, in view of Theorem A, PFR(z) is a uniqueness polynomial for n5. Thus, using Theorem 2.1, we get that PFR(z) a SUPM if c0,1,12 and max{n-2,3}+(n-2)+35+n, i.e., n6.

Example 2.4

Consider the polynomial

PB(z)=i=0m(mi)(-1)in+m+1-izn+m+1-i+c,c0,-λ,-λ2,

where λ=i=0m(mi)(-1)in+m+1-i.

First we notice that in view of [2, Lemma 2.2], λ0.

Clearly, PB(z)=zn(z-1)m, and as c0; -λPB has only simple zeros.

Again, as λ0, we have PB(1)-PB(0)0, and hence PB is critically injective. Also PB(z)-PB(1)=(z-1)m+1R3(z), where R3(z) has no multiple zero with R3(1)0, and PB(z)-PB(0)=zn+1R4(z), where R4(z) has no multiple zero with R4(0)0.

Now if min{m,n}2 and m+n5, then by Theorem APB(z) is a uniqueness polynomial.

Since c-λ2, we have PB(1)+PB(0)0. So, in view of Theorem 2.1, PB(z) is a strong uniqueness polynomial if min{m,n}2 and m+n5 and max{m+1,n+1}+(m+1)+(n+1)5+(m+n+1), i.e., max{m,n}3.

Remark 2.5

If we take n=3, m=2, or n=2, m=3, then by above discussion PB is a six degree strong uniqueness polynomial.

Inspired by Example 2.4, we first introduce the most general form of PB(z), and then we shall show that Theorem 2.1 is also applicable to it.

Example 2.6

Let us define

P(z)=i=0mj=0n(mi)(nj)(-1)i+jn+m+1-i-jzn+m+1-i-jajbi+c=Q(z)+c,

where a,b be two complex numbers such that b0, ab and

c{0,-Q(a),-Q(b),-Q(a)+Q(b)2}.

Clearly,

P(z)=i=0mj=0n(mi)(nj)(-1)i+jzm+n-i-jajbi
=(i=0m(-1)i(mi)zm-ibi)(j=0n(nj)(-1)jzn-jaj)
=(z-b)m(z-a)n.

Next we shall show that P(z) is a critically injective polynomial. To this end, first we note that P(z)-P(b)=(z-b)m+1R5(z), where R5(z) has no multiple zero and R5(b)0, and P(z)-P(a)=(z-a)n+1R6(z), where R6(z) has no multiple zero and R6(a)0.

So P(a)=P(b) implies (z-b)m+1R5(z)=(z-a)n+1R6(z). As we chose ab, we have that R5(z) has a factor (z-a)n+1, which implies that the polynomial P is of degree at least m+1+n+1, a contradiction.

Note that by the assumption on c, it is clear that P(a)+P(b)0 and P(a)P(b)0. Thus, P has no multiple zero.

Again, by Theorem A, P is a uniqueness polynomial if m+n5 and min{m,n}2.

Thus, if m+n5, max{m,n}3 and min{m,n}2, then P is a strong uniqueness polynomial for meromorphic functions, by Theorem 2.1.

Remark 2.7

If we take n=3,m=2 or n=2,m=3 then by above discussion P is a six degree strong uniqueness polynomial.

Corollary 2.8

If we take a=0 and b=1 in above example then we get Example 2.4.

Remark 2.9

If we take a=0 and b0 in Example 2.6, then we have the following polynomial:

P(z)=i=0m(mi)(-1)in+m+1-izn+m+1-ibi+c,

where bc0, c-bn+m+1λ,-bn+m+1λ2, where λ is defined as in the previous example, then clearly when m+n5, max{m,n}3 and min{m,n}2, P is a strong uniqueness polynomial.

Remark 2.10

The above examples are related to the strong uniqueness polynomials with two critical points. Now we are giving the following example where there are more than two critical points, and in view of Theorem 2.1, one can easily verify that it is a strong uniqueness polynomial.

Example 2.11

Consider the polynomial P(z)=zn-nmzm+b where n-m2. Then it is clear that P has at least three critical points.

As P(z)=nzm-1(zn-m-1), it follows that P(z)-P(1)=(z-1)2T1(z), where T1(1)0 and P(z)-P(0)=zmT2(z), where T2(0)0.

In view of Example 1.3, we have already seen that P(z) is a uniqueness polynomial for n-m2, gcd(m,n)=1 and n5.

Thus, by applying Theorem 2.1, we have that P is a strong uniqueness polynomial when b{0,n-mm,n-m2m}, max{m,2}+m-n3, n-m2, gcd(m,n)=1 and n5.

Remark 2.12

For n=7, m=5 and with the proper choice of b, we can have seven degree Hong-Xun Yi type strong uniqueness polynomial.

Theorem 2.13

Suppose P is a critically injective uniqueness polynomial of degree n with simple zeros having at least two critical points, say γ and δ. Assume that the total number of P(γ) and P(δ) points of P are, respectively, p and q, with |p-q|3. If for any complex number d{P(γ),P(δ)}, (P(z)-d) has at least min{p+3,q+3} distinct zeros, then P(z) is a strong uniqueness polynomial.

The following Corollary is an immediate consequence of the above theorem.

Corollary 2.14

Suppose P is a critically injective uniqueness polynomial of degree n with simple zeros having at least two critical points, say γ and δ. Assume that the total number of P(γ) and P(δ) points of P are, respectively, p and q. If for any complex number d{P(γ),P(δ)}, (P(z)-d) has at least q+3 distinct zeros and P(δ)=1, (P(γ))20,1, then P(z) is a strong uniqueness polynomial.

Example 2.15

Consider the polynomial

P(z)=i=0m(mi)(-1)in+m+1-izn+m+1-ibi+1,

where we choose b(0) in such a manner that bn+m+1i=0m(mi)(-1)in+m+1-i-1,-2.

We note that P(z)=(z-b)mzn. As min{m,n}2, with a suitable choice of b, P has no multiple zero. Also P is critically injective.

If we take m,n with m+n5 and min{m,n}2, then, by Theorem A, P is a uniqueness polynomial. Clearly, for any complex number d\{P(b),P(0)} , (P(z)-d) has exactly m+n+1 distinct zeros, otherwise there exist at least one complex number ς which is a zero of (P(z)-d) of multiplicity at least 2. Consequently, P(ς)=d and P(ς)=0, that is, d{P(0),P(b)}, which is not possible.

So, in view of Corollary 2.14, P is a strong uniqueness polynomial if m+n5, min{m,n}2 and n3.

Remark 2.16

The above example gives an answer to the question raised in the paper [2].

We have observed from Example 1.13 that a uniqueness polynomial may contain multiple zeros. However, the two theorems stated so far deal with strong uniqueness polynomials with simple zeros. So a natural question would be whether there exists a strong uniqueness polynomial which has multiple zeros. The next theorem shows that the answer is affirmative.

Next we shall demonstrate the following strong uniqueness polynomial with multiple zero of degree n6.

Theorem 2.17

Let

P(z)=zn+azn-1+bzn-2,

where ab0 and a2=λb, with λ=4(1-1(n-1)2). Then P(z) is a SUPM (resp. SUPE) of degree n6 (resp. n5).

Corollary 2.18

Let

P(z)=zn+azn-1+bzn-2+c,

where ab0 and a2=λb, with λ=4(1-1(n-1)2). Then P(z) is a UPM (resp. UPE) of degree n6 (resp. n5).

Remark 2.19

It is easy to see that if P(z) is strong uniqueness polynomial, then for any non-zero constants a,c, P(af+b)=cP(ag+b) gives (af+b)=(ag+b), i.e., P(az+b) is also strong uniqueness polynomial.

3 Lemmas

Lemma 3.1

If

ψ(t)=λ(tn-1-A)2-4(tn-2-A)(tn-A),

where λ=4(1-1(n-1)2) and A1,0, then ψ(t)=0 has no multiple roots.

Proof.

Let F(t)=ψ(et)e(1-n)t for t. Then, by elementary calculations, we get

F(t)=(λ-4)(e(n-1)t+A2e-(n-1)t)+4A(et+e-t)-2Aλ

Clearly, if t=0, then ψ(t)0. Now, if possible ψ(z0)=ψ(z0)=0. As z00, there exist some w0 such that z0=ew0. As F(t)=ψ(et)e(1-n)tet-(n-1)ψ(et)e(1-n)t, we have F(w0)=F(w0)=0. Thus,

(λ-4)(e(n-1)w0+A2e-(n-1)w0)=-4A(ew0+e-w0)+2Aλ

and

(λ-4)(e(n-1)w0-A2e-(n-1)w0)=-4A(ew0-e-w0)n-1.

Therefore,

4A2(λ-4)2=(λ-4)2((e(n-1)w0+A2e-(n-1)w0)2-(e(n-1)w0-A2e-(n-1)w0)2)
=(-4A(ew0+e-w0)+2Aλ)2-(-4A(ew0-e-w0)n-1)2
=4A2λ2-32A2λcoshw0+64A2cosh2w0-64A2(n-1)2sinh2w0,

i.e.,

(coshw0)2{16-16(n-1)2}-8λcoshw0+{8λ-16+16(n-1)2}=0,

so, (coshw0-1)2=0, that is, coshw0=1, which implies z0+1z0=2. Hence, z0=1 but ψ(1)=(1-A)20 as A1. Thus, our assumption is wrong. ∎

Lemma 3.2

Lemma 3.2 ([5])

If

ψ(t)=λ(tn-1-1)2-4(tn-2-1)(tn-1),

where λ=4(1-1(n-1)2), then ψ(1)=0 with multiplicity four. All other zeros of ψ(t) are simple.

Lemma 3.3

If

ψ(t)=λ(tn-1-A)2-4(tn-2-A)(tn-A),

where λ=4(1-1(n-1)2), A1,0 and t1, then ψ(t)=0 and tn-A=0 has no common roots.

Proof.

If ψ(t)=0 and tn-A=0 has a common root, then by the expression of ψ(t) we get tn-1-A=0 and tn-A=0. So A=tn=ttn-1=tA, which is not possible as A0 and t1. ∎

4 Proofs of the theorems

Proof of Theorem 2.1.

By the given conditions on P, we can write:

  1. P(z)-P(α)=(z-α)pQn-p(z), where Qn-p(z) is a polynomial of degree (n-p), Qn-p(α)0,

  2. P(z)-P(β)=(z-β)tQ(z), where Q(z) is a polynomial of degree (n-t) and Q(β)0.

As α,β are critical points of P, we have P(α)P(β) and t,p2. Hence, P(α)P(β)0, as all zeros of P are simple.

Now suppose, for any two non-constant meromorphic functions f and g and a non-zero constant A, that

P(f)=AP(g).

We consider two cases. Case 1: A1. From the assumption of the theorem, P satisfies max{t,p}+t+p5+n, where t, p are previously defined.

Case 1.1: tp. In this case we have 2t+p5+n. We define

F=(f-β)tQ(f)P(β)andG=(g-β)tQ(g)P(β).

Thus,

F=AG+A-1.

So by Mokhon’ko’s lemma [12], we have T(r,f)=T(r,g)+O(1).

If AP(α)P(β), then by applying the second fundamental theorem we get

2nT(r,f)+O(1)=2T(r,F)
N¯(r,F)+N¯(r,0;F)+N¯(r,P(α)P(β)-1;F)+N¯(r,A-1;F)+S(r,F)
N¯(r,f)+N¯(r,β;f)+(n-t)T(r,f)+N¯(r,α;f)+(n-p)T(r,f)+N¯(r,0;G)+S(r,f)
N¯(r,f)+N¯(r,β;f)+(n-t)T(r,f)+N¯(r,α;f)+(n-p)T(r,f)
+N¯(r,β;g)+(n-t)T(r,g)+S(r,f)
(3n-2t-p+4)T(r,f)+S(r,f),

which is a contradiction as 2t+p5+n.

If A=P(α)P(β), then

P(β)F=P(α)G+{P(α)-P(β)}.

As P(α)±P(β)0 and P(α)P(β)0, we have P(α)-P(β)P(β)-P(α)-P(β)P(α). Thus, in view of the second fundamental theorem, we get

2nT(r,g)+O(1)=2T(r,G)
N¯(r,G)+N¯(r,0;G)+N¯(r,-P(α)-P(β)P(α);G)+N¯(r,P(α)-P(β)P(β);G)+S(r,G)
N¯(r,g)+N¯(r,β;g)+(n-t)T(r,g)+N¯(r,0;F)+N¯(r,α;g)+(n-p)T(r,g)+S(r,g)
(3+2n-t-p)T(r,g)+N¯(r,β;f)+(n-t)T(r,f)+S(r,g)
(3n-2t-p+4)T(r,g)+S(r,g),

which is a contradiction as 2t+p5+n.

Case 1.2: t<p. In this case, we have t+2p5+n.

We define

F=(f-α)pQn-p(f)P(α)andG=(g-α)pQn-p(g)P(α).

Proceeding similarly as above, we get a contradiction if we interchange the place of α and β.

Therefore, we can conclude that if a critically injective polynomial P with no multiple zeros satisfies max{t,p}+t+p5+n, then P(f)=AP(g) always implies A=1. Case 2: A=1. Then, as P(z) is a UPM, we have fg. ∎

Proof of Theorem 2.13.

By the given assumptions, we may write:

  1. P(z)-P(γ)=(z-ξ1)l1(z-ξ2)l2(z-ξp)lp with γ=ξ1,

  2. P(z)-P(δ)=(z-η1)m1(z-η2)m2(z-ηq)mq with δ=η1,

where ξiξj, ξiηj and ηiηj for all i,j.

As P has no multiple zeros and γ,δ are critical points of P, we have P(γ)P(δ)0. Also P(γ)P(δ), as P is critically injective.

Suppose, for any two non-constant meromorphic functions f and g and for any non-zero complex constant A, that

P(f)=AP(g).

Then, by Mokhon’ko’s lemma [12],

T(r,f)=T(r,g)+O(1)andS(r,f)=S(r,g).

We consider two cases. Case 1: A1 and A=P(γ). Then P(γ)1 and

P(f)-P(γ)=P(γ)(P(g)-1).

Case 1.1: P(δ)1. Let νk (k=1,2,,l) be the distinct zeros of (P(g)-1). Then, by the second fundamental theorem, we get

(l-1)T(r,g)N¯(r,;g)+k=1lN¯(r,νk;g)+S(r,g)
T(r,g)+i=1pN¯(r,ξi;f)+S(r,g)
(p+1)T(r,g)+S(r,g),

which is a contradiction. Case 1.2: P(δ)=1. Here we consider two subcases.

If P(γ)=-1, then

P(f)-P(δ)=P(γ)(P(g)-P(γ)).

In this case, in view of the second fundamental theorem, we have

(p-1)T(r,g)N¯(r,g)+i=1pN¯(r,ξi;g)+S(r,g)
T(r,g)+j=1qN¯(r,ηj;f)+S(r,g)
(q+1)T(r,g)+S(r,g),

which leads to a contradiction.

If P(γ)-1, then

P(f)-P(δ)=P(γ)(P(g)-P(δ)P(γ)),

where P(δ)P(γ){1,P(δ),P(γ)}. Let θl (l=1,2,,t) be the distinct zeros of (P(z)-P(δ)P(γ)). Then, by the second fundamental theorem, we get

(t-2)T(r,g)l=1tN¯(r,θl;g)+S(r,g)
j=1qN¯(r,ηj;f)+S(r,f)
qT(r,g)+S(r,g),

which is again contradiction. Case 2: A1 and AP(γ). In this case,

P(f)-AP(δ)=A(P(g)-P(δ)).

Case 2.1: AP(δ)P(γ). We have AP(δ){P(γ),P(δ)}. Let ζk (k=1,2,,m) be the distinct zeros of (P(z)-AP(δ)). Then, by the second fundamental theorem, we get

(m-2)T(r,f)<k=1mN¯(r,ζk;f)+S(r,f)
j=1qN¯(r,ηj;g)+S(r,g)
qT(r,g)+S(r,g),

which is not possible. Case 2.2: AP(δ)=P(γ). We have P(δ)1 and P(f)-P(γ)=A(P(g)-P(δ)). By the second fundamental theorem, we get

(p-2)T(r,f)<i=1pN¯(r,ξi;f)+S(r,f)
j=1qN¯(r,ηj;g)+S(r,g)
qT(r,g)+S(r,g).

Proceeding similarly, we get

(q-2)T(r,g)pT(r,f)+S(r,f).

Since |p-q|3, we get a contradiction.

Thus, A=1. Hence, as P is a UPM, we get fg. ∎

Proof of Theorem 2.17.

Let f and g be two non-constant meromorphic functions such that P(g)=AP(f), where A{0}. Then, by Mokhon’ko’s lemma [12],

T(r,f)=T(r,g)+O(1)andS(r,f)=S(r,g).

Putting h=fg, we get

g2(hn-A)+ag(hn-1-A)+b(hn-2-A)=0.

If h is a constant function, then as g is non-constant, we get (hn-A)=(hn-1-A)=(hn-2-A)=0, i.e., A=Ah=Ah2, which gives h=1, and hence f=g.

Next we consider h as non-constant. Then

(4.1)(g+a2hn-1-Ahn-A)2=bψ(h)4(hn-A)2,

where ψ(t)=λ(tn-1-A)2-4(tn-2-A)(tn-A). Case 1: A=1. Clearly, in view of Lemmas 3.2 and 3.3, from equation (4.1), we have

(g+a2hn-1-1hn-1)2=b(h-1)4i=12n-6(h-κi)4{(h-1)j=1n-1(h-ρj)}2,

where κiρj for i=1,,2n-6, j=1,,n-1. Now, by the second fundamental theorem, we get

(3n-9)T(r,h)i=12n-6N¯(r,κi;h)+j=1n-1N¯(r,ρj;h)+S(r,h)
12i=12n-6N(r,κi;h)+j=1n-1N¯(r,ρj;h)+S(r,h)
(2n-4)T(r,h)+S(r,h),

which is a contradiction for n6. Case 2: A1. From (4.1), we have,

(g+a2hn-1-Ahn-A)2=bψ(h)4(hn-A)2.

By Lemma 3.1, ψ(t)=0 has (2n-2) distinct zeros, say ζi for i=1,,2n-2. So, in view of Lemma 3.3 and the second fundamental theorem, we get

(2n-4)T(r,h)i=12n-2N¯(r,ζi;h)+S(r,h)
12i=12n-2N(r,ζi;h)+S(r,h)
(n-1)T(r,h)+S(r,h),

which is a contradiction when n4. ∎

5 Applications

We observe from the discussion that at the time of studying uniqueness polynomial, a general curiosity of the researchers was to investigate whether or not the zero set of the uniqueness polynomial forms a unique range set. For example, Yi [14], Frank and Reiders [5], and the present first author [2] simultaneously studied the corresponding unique range sets in connection to their uniqueness polynomial. Though the motivation of this paper is to give some sufficient conditions for strong uniqueness polynomials and simultaneously reduce the degree of some existing strong uniqueness polynomials, but as we have already introduced some new type of uniqueness polynomials in Example 2.6, we also intend to follow the same direction. In other words, below we demonstrate new type of unique range sets by taking the zero sets of the strong uniqueness polynomials in Example 2.6.

Before going to state our concerning result we recall some well known definitions and results. Let f and g be two non-constant meromorphic functions and let a be a finite complex number. We say that f and g share the value a-CM (counting multiplicities), provided that f-a and g-a have the same zeros with the same multiplicities. Similarly, we say that f and g share the value a-IM (ignoring multiplicities), provided that f-a and g-a have the same set of zeros, where the multiplicities are not taken into account. In addition, we say that f and g share CM (resp. IM), if 1/f and 1/g share 0 CM (resp. IM).

Let S be a set of distinct elements of {} and Ef(S)=aS{z:f(z)=a}, where each zero is counted according to its multiplicity. If we do not count the multiplicity, then the set aS{z:f(z)=a} is denoted by E¯f(S). If Ef(S)=Eg(S), we say that f and g share the set S CM. On the other hand, if E¯f(S)=E¯g(S), we say that f and g share the set S IM.

Let S and let f and g be two non-constant meromorphic (resp. entire) functions. If Ef(S)=Eg(S) implies fg, then S is called a unique range set for meromorphic (resp. entire) functions, in short URSM (resp. URSE).

The analogous definition for reduced unique range sets are as follows. We shall call any set S a unique range set for meromorphic (resp. entire) functions ignoring multiplicity, (URSM-IM, resp. URSE-IM), or a reduced unique range set for meromorphic (resp. entire) functions (RURSM, resp. RURSE) if E¯f(S)=E¯g(S) implies fg for any pair of non-constant meromorphic (resp. entire) functions.

Fujimoto first showed that the critical injection property of polynomials helps one to find sufficient condition for the set of zeros S of a SUPM (resp. SUPE) P to be a URSM (resp. URSE).

Theorem E

Theorem E ([6])

Let P be a critically injective polynomial of degree n, in C, having only simple zeros. Let P have k distinct zeros with either k3 or k=2, and have no simple zero. Further, suppose that P is a SUPM (resp. SUPE). If S is the set of zeros of P, then S is a URSM (resp. URSE) whenever n>2k+6(n>2k+2) while URSM-IM (resp. URSE-IM) whenever n>2k+12(n>2k+5).

Next we recall another definition.

Definition 5.1

Definition 5.1 ([2])

A set S is called a URSMl) (resp. URSEl)) if for any two non-constant meromorphic (resp. entire) functions f and g, El)(S,f)=El)(S,g) implies fg.

In 2009 Bai, Han and Chen [1] improved Theorem E as follows.

Theorem F

Theorem F ([1])

In addition to the hypothesis of Theorem E, we suppose that l is a positive integer or . Let S be the set of zeros of P. Assume that either of the following holds:

  1. l3 or and n>2k+6(n>2k+2),

  2. l=2 and n>2k+7(n>2k+2),

  3. l=1 and n>2k+10(n>2k+4),

Then S is a URSMl) (resp. URSEl)).

Recently the present first author proved the following result in more general settings.

Theorem G

Theorem G ([2])

In addition to the hypothesis of Theorem E, we suppose that l is a positive integer or . Let S be the set of zeros of P. Assume that either of the following holds:

  1. l3 or and min{Θ(;f),Θ(;g)}>6+2k-n4,

  2. l=2 and min{Θ(;f),Θ(;g)}>14+4k-2n9,

  3. l=1 and min{Θ(;f),Θ(;g)}>10+2k-n6.

Then S is a URSMl) (resp. URSEl)).

We have already seen from Example 2.6 that the polynomial

(5.1)P(z)=i=0mj=0n(mi)(nj)(-1)i+jn+m+1-i-jzn+m+1-i-jajbi+c

is a critically injective strong uniqueness polynomial without any multiple zeros when m+n5, with max{m,n}3 and min{m,n}2, where ab, b0. Also we have defined

Q(z)=i=0mj=0n(mi)(nj)(-1)i+jn+m+1-i-jzn+m+1-i-jajbi.

Choose

c{0,-Q(a),-Q(b),-Q(a)+Q(b)2}.

By Theorems F and G, the following two theorems are obvious.

Theorem 5.2

Let m,n be two integers such that m+n5, with max{m,n}3 and min{m,n}2. Take S={z:P(z)=0}, where P is defined by (5.1) with the already defined choice of a,b,c. We assume that l is a positive integer or , and that either of the following holds:

  1. l3 or and m+n>9(5),

  2. l=2 and m+n>10(5),

  3. l=1 and m+n>13(7).

Then S is a URSMl) (resp. URSEl)).

Theorem 5.3

Let the suppositions of Theorem 5.2 hold, and assume that either of the following holds:

  1. l3 or and min{Θ(;f),Θ(;g)}>9-m-n4,

  2. l=2 and min{Θ(;f),Θ(;g)}>20-2m-2n9,

  3. l=1 and min{Θ(;f),Θ(;g)}>13-m-n6.

Then S is a URSMl) (resp. URSEl)).

Corollary 5.4

Consider the polynomial

P(z)=i=0m(mi)(-1)in+m+1-izn+m+1-ibi+c,

where

bc0,c-bn+m+1λ,-bn+m+1λ2,with λ=i=0m(mi)(-1)in+m+1-i,

and m+n5, with max{m,n}3 and min{m,n}2.

Clearly, [2, Lemma 2.2] implies P(b)-P(0)=bn+m+1λ0, which in turn implies that P is critically injective. Again as P(0)=c0 and P(b)0, it follows that P have no multiple zeros.

Finally, as P(b)+P(0)=bn+m+1λ+2c0 and m+n5, with max{m,n}3 and min{m,n}2, by Theorem 2.1, P is a strong uniqueness polynomial.

Thus, the last two theorems are applicable for this polynomial.

6 Concluding remarks

We see that Theorem 2.17 assures the existence of a uniqueness polynomial with multiple zero which is a strong uniqueness polynomial. On the other hand, Example 1.13 exhibits a uniqueness polynomial with multiple zero which is not a strong uniqueness polynomial. Also Example 2.6 shows that a uniqueness polynomial with simple zeros may be a strong uniqueness polynomial. Thus, the following question is inevitable.

Question 6.1

Does there exist any uniqueness polynomial with simple zeros which is not a strong uniqueness polynomial of degree greater than one?

Funding statement: This research work is supported by the Council of Scientific and Industrial Research, Extramural Research Division, CSIR Complex, Pusa, New Delhi-110012, India, under the sanction project no. 25(0229)/14/EMR-II. The second author thanks the Department of Science and Technology, Govt.of India for financial support (DST/INSPIRE Fellowship/2014/IF140903) towards his Ph.D. programme.

References

[1] Bai X., Han Q. and Chen A., On a result of H. Fujimoto, J. Math. Kyoto Univ. 49 (2009), no. 3, 631–643. 10.1215/kjm/1260975043Search in Google Scholar

[2] Banerjee A., A new class of strong uniqueness polynomials satisfying Fujimoto’s condition, Ann. Acad. Sci. Fenn. Math. 40 (2015), 465–474. 10.5186/aasfm.2015.4025Search in Google Scholar

[3] Banerjee A. and Chakraborty B., A new type of unique range set with deficient values, Afr. Mat. 26 (2015), no. 7–8, 1561–1572. 10.1007/s13370-014-0305-4Search in Google Scholar

[4] Banerjee A. and Lahiri I., A uniqueness polynomial generating a unique range set and vise versa, Comput. Methods Funct. Theory 12 (2012), no. 2, 527–539. 10.1007/BF03321842Search in Google Scholar

[5] Frank G. and Reinders M., A unique range set for meromorphic functions with 11 elements, Complex Var. Elliptic Equ. 37 (1998), no. 1, 185–193. 10.1080/17476939808815132Search in Google Scholar

[6] Fujimoto H., On uniqueness of meromorphic functions sharing finite sets, Amer. J. Math. 122 (2000), 1175–1203. 10.1007/978-1-4613-0269-8_34Search in Google Scholar

[7] Fujimoto H., On uniqueness polynomials for meromorphic functions, Nagoya Math. J. 170 (2003), 33–46. 10.1017/S0027763000008527Search in Google Scholar

[8] Gross F., Factorization of meromorphic functions and some open problems, Complex Analysis (Lexington 1976), Lecture Notes in Math. 599, Springer, Berlin (1977), 51–67. 10.1007/BFb0096825Search in Google Scholar

[9] Hayman W. K., Meromorphic Function, Clarendon Press, Oxford, 1964. Search in Google Scholar

[10] Li P. and Yang C. C., Some further results on the unique range sets of meromorphic functions, Kodai Math. J. 18 (1995), 437–450. 10.2996/kmj/1138043482Search in Google Scholar

[11] Li P. and Yang C. C., On the unique range sets of meromorphic functions, Proc. Amer. Math. Soc. 124 (1996), 177–185. 10.1090/S0002-9939-96-03045-6Search in Google Scholar

[12] Mokhon’ko A. Z., On the Nevanlinna characteristics of some meromorphic functions, Theory of Functions, Functional Analysis and Their Applications. No. 14, Izdat. Gos. Univ. A. M. Gorkii, Khar’kovsk (1971), 83–87. Search in Google Scholar

[13] Yang C. C. and Hua X. H., Unique polynomials for entire and meromorphic functions, Zh. Mat. Fiz. Anal. Geom. 4 (1997), 391–398. Search in Google Scholar

[14] Yi H. X., Unicity theorems for meromorphic or entire functions III, Bull. Aust. Math. Soc. 53 (1996), 71–82. 10.1017/S0004972700016737Search in Google Scholar

Received: 2016-4-10
Accepted: 2016-10-9
Published Online: 2016-11-23
Published in Print: 2017-1-1

© 2017 by De Gruyter

Downloaded on 4.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/apam-2016-0032/html
Scroll to top button