International Journal of Modern Engineering Research (IJMER) is Peer reviewed, online Journal. It serves as an international archival forum of scholarly research related to engineering and science education.
Exploring the Future Potential of AI-Enabled Smartphone Processors
Β
A Special Type Of Differential Polynomial And Its Comparative Growth Properties
1. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
A Special Type Of Differential Polynomial And Its Comparative
Growth Properties
Sanjib Kumar Datta1, Ritam Biswas2
1
2
Department of Mathematics, University of Kalyani, Kalyani, Dist.- Nadia, PIN- 741235, West Bengal, India.
Murshidabad College of Engineering and Technology, Banjetia, Berhampore, P. O.-Cossimbazar Raj, PIN-742102, West
Bengal, India
Abstract: Some new results depending upon the comparative growth rates of composite entire and meromorphic function
and a special type of differential polynomial as considered by Bhooshnurmath and Prasad[3] and generated by one of the
factors of the composition are obtained in this paper.
AMS Subject Classification (2010) : 30D30, 30D35.
Keywords and phrases: Order (lower order), hyper order (hyper lower order), growth rate, entire function, meromorphic
function and special type of differential polynomial.
I.
INTRODUCTION, DEFINITIONS AND NOTATIONS.
Let β be the set of all finite complex numbers. Also let f be a meromorphic function and g be an entire function defined on
β . In the sequel we use the following two notations:
π log [π] π₯ = log(log [πβ1] π₯) πππ π = 1,2,3, β¦ ; log [0] π₯ = π₯
and
ππ exp[π] π₯ = exp ππ₯π π β1 π₯ πππ π = 1,2,3, β¦ ; exp[0] π₯ = π₯.
The following definitions are frequently used in this paper:
Definition 1 The order π π and lower order π π of a meromorphic function f are defined as
lim β‘
sup log π(π, π)
π π = π ββ
log π
and
log π(π, π)
inf
π π = limπβ‘
.
ββ
log π
If f is entire, one can easily verify that
[2]
π(π, π)
lim β‘
sup log
π π = πββ
log π
and
log [2] π(π, π)
β‘
inf
π π = limπββ
.
log π
Definition 2 The hyper order π π and hyper lower order π π of a meromorphic function f are defined as follows
ππ =
lim β‘
sup
π ββ
ππ =
lim β‘
inf
πββ
ππ =
lim β‘
sup
π ββ
log [2] π(π, π)
log π
and
log [2] π(π, π)
.
log π
If f is entire, then
log [3] π(π, π)
log π
and
log [3] π(π, π)
.
log π
Definition 3 The type π π of a meromorphic function f is defined as follows
lim β‘
sup π(π, π)
π π = πββ
, 0 < π π < β.
πππ
When f is entire, then
lim β‘
sup log π(π, π)
π π = π ββ
, 0 < π π < β.
πππ
Definition 4 A function π π (π) is called a lower proximate order of a meromorphic function f of finite lower order π π if
ππ =
(i)
(ii)
lim β‘
inf
πββ
π π (π) is non-negative and continuous for π β₯ π0 , say
π π (π) is differentiable for π β₯ π0 except possibly at isolated points at which πβ²π (π + 0) and πβ²π (π β 0) exists,
www.ijmer.com
2606 | Page
2. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
(iii)
lim π π π = π π ,
πββ
(iv)
lim ππβ²π π log π = 0
πββ
and
(v)
lim β‘
inf
π ββ
π(π, π)
= 1.
π π π (π)
Definition 5 Let βaβ be a complex number, finite or infinite. The Nevanlinnaβs deficiency and Valiron deficiency of βaβ with
respect to a meromorphic function f are defined as
π(π, π; π)
lim β‘
sup π(π, π; π)
inf
πΏ π; π = 1 β πββ
= lim β‘
πββ
π(π, π)
π(π, π)
and
π(π, π; π) lim β‘
sup π(π, π; π)
inf
Ξ π; π = 1 β lim β‘
= πββ
.
πββ
π(π, π)
π(π, π)
Let f be a non-constant meromorphic function defined in the open complex plane β. Also let n0j, n1j,β¦, nkj (k β₯ 1) be nonπ
negative integers such that for each j, π=0 π ππ β₯ 1. We call
ππ π = π΄ π (π) π 0π (π (1) ) π 1π β¦ (π (π) ) π ππ
where π π, π΄ π = π(π, π), to be a differential monomial generated by f. The numbers
π
πΎ ππ =
π ππ
π=0
and
π
Ξ ππ =
(π + 1)π ππ
π=0
are called the degree and weight of ππ [π] {cf. [4]} respectively. The expression
π
π π =
ππ [π]
π =1
is called a differential polynomial generated by f. The numbers
πΎ π = max πΎ π π
1β€π β€π
and
Ξ π = max Ξ
1β€π β€π
ππ
are respectively called the degree and weight of P[f] {cf. [4]}. Also we call the numbers
πΎ π = min πΎ π π
1β€π β€π
and k ( the order of the highest derivative of f) the lower degree and the order of P[f] respectively. If πΎ π = πΎ π , P[f] is called a
homogeneous differential polynomial.
Bhooshnurmath and Prasad [3] considered a special type of differential polynomial of the form πΉ = π π π[π] where
Q[f] is a differential polynomial in f and n = 0, 1, 2,β¦. In this paper we intend to prove some improved results depending
upon the comparative growth properties of the composition of entire and meromorphic functions and a special type of
differential polynomial as mentioned above and generated by one of the factors of the composition. We do not explain the
standard notations and definitions in the theory of entire and meromorphic functions because those are available in [9] and
[5].
II.
LEMMAS.
In this section we present some lemmas which will be needed in the sequel.
Lemma 1 [1] If f is meromorphic and g is entire then for all sufficiently large values of r,
π π, π
π π, ππ π β€ 1 + π 1
π π π, π , π .
log π π, π
Lemma 2 [2] Let f be meromorphic and g be entire and suppose that 0 < π < π π β€ β. Then for a sequence of values of r
tending to infinity,
π(π, ππ π) β₯ π(exp( π π ), π).
π
Lemma 3 [3] Let πΉ = π π[π] where Q[f] is a differential polynomial in f. If n β₯ 1 then π πΉ = π π and π πΉ = π π .
Lemma 4 Let πΉ = π π π[π] where Q[f] is a differential polynomial in f. If n β₯ 1 then
π(π, πΉ)
lim
= 1.
πββ π(π, π)
The proof of Lemma 4 directly follows from Lemma 3.
www.ijmer.com
2607 | Page
3. International Journal of Modern Engineering Research (IJMER)
www.ijmer.com
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
In the line of Lemma 3 we may prove the following lemma:
Lemma 5 Let πΉ = π π π[π] where Q[f] is a differential polynomial in f. If n β₯ 1 then π πΉ = π π and π πΉ = π π .
Lemma 6 For a meromorphic function f of finite lower order, lower proximate order exists.
The lemma can be proved in the line of Theorem 1 [7] and so the proof is omitted.
Lemma 7 Let f be a meromorphic function of finite lower order π π . Then for πΏ > 0 the function π π π +πΏβπ π (π) is an
increasing function of r.
Proof. Since
π π +πΏβπ (π)
π
π π
= π π + πΏ β π π π β ππβ²π log π π π π +πΏβπ π π β1 > 0
ππ
for sufficiently large values of r, the lemma follows.
Lemma 8 [6] Let f be an entire function of finite lower order. If there exists entire functions a i (i= 1, 2, 3,β¦, n; n β€ β)
satisfying π π, π π = π{π(π, π)} and
π
πΏ(π π , π) = 1,
π=1
then
lim
π(π, π)
1
= .
π(π, π)
π
πββ log
III.
THEOREMS.
In this section we present the main results of the paper.
Theorem 1 Let f be a meromorphic function and g be an entire function satisfying
π π π , π π are both finite and
ππ πππ π β₯ 1, πΊ = π π π[π]. Then
log π(π, ππ π)
lim β‘
inf
β€ 3. π π . 2 π π .
πββ
π(π, πΊ)
Proof. If π π = β, the result is obvious. So we suppose that π π < β. Since π π, π β€ log + π π, π , in view of Lemma 1 we
get for all sufficiently large values of r that
π π, ππ π β€ 1 + π 1 π(π π, π , π)
i.e.,
log π(π, ππ π) β€ log{1 + π(1)} + log π(π π, π , π)
i.e.,
log π(π, ππ π) β€ π 1 + π π + π log π(π, π)
i.e.,
log π(π, ππ π)
log π(π, π)
lim β‘
inf
β‘
inf
β€ π π + π limπββ
.
π ββ
π(π, π)
π(π, π)
Since π(> 0) is arbitrary, it follows that
log π(π, ππ π)
log π(π, π)
lim β‘
inf
β‘
inf
β€ π π . limπββ
.
1
πββ
π(π, π)
π(π, π)
As by condition (v) of Definition 4
π(π, π)
lim β‘
inf
= 1,
π ββ
π π π (π)
so for given π(0 < π < 1) we get for a sequence of values of r tending to infinity that
π π, π β€ 1 + π π π π π
(2)
and for all sufficiently large values of r,
π π, π > 1 β π π π π π
(3)
Since
log π(π, π) β€ 3π(2π, π)
{cf. [5]}, we have by (2), for a sequence of values of r tending to infinity,
log π(π, π) β€ 3π 2π, π β€ 3 1 + π 2π π π 2π .
(4)
Combining (3) and (4), we obtain for a sequence of values of r tending to infinity that
log π(π, π) 3(1 + π) (2π) π π (2π)
β€
.
.
π(π, π)
(1 β π)
π π π (π)
Now for any πΏ(> 0), for a sequence of values of r tending to infinity we obtain that
log π(π, π) 3(1 + π)
(2π) π π +πΏ
1
β€
.
. π (π)
π π +πΏβπ π (2π)
π(π, π)
(1 β π) (2π)
π π
i.e.,
www.ijmer.com
2608 | Page
4. International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
log π(π, π) 3(1 + π) π +πΏ
β€
.2 π
(5)
π(π, π)
(1 β π)
is an increasing function of r by Lemma 7. Since π(> 0) and πΏ(> 0) are arbitrary, it follows from (5)
www.ijmer.com
because π π π +πΏβπ π (π)
that
lim β‘
inf
πββ
log π(π, π)
β€ 3. 2 π π .
π(π, π)
(6)
Thus from (1) and (6) we obtain that
lim β‘
inf
π ββ
log π(π, ππ π)
β€ 3. π π . 2 π π .
π(π, π)
(7)
Now in view of (7) and Lemma 3, we get that
log π(π, ππ π) lim β‘ log π(π, ππ π)
π(π, π)
lim β‘
inf
inf
= πββ
. lim
π ββ
πββ π(π, πΊ)
π(π, πΊ)
π(π, π)
β€ 3. π π . 2 π π .
This proves the theorem.
Theorem 2 Let f be meromorphic and g be entire such that π π < β, π π < β and for π β₯ 1, πΊ = π π π π . Then
log [2] π(π, ππ π)
lim β‘
inf
β€ 1.
π ββ
log π(π, πΊ)
Proof. Since
π π, π β€ log + π π, π ,
in view of Lemma 1, we get for all sufficiently large values of r that
log π(π, ππ π) β€ log π(π π, π , π) + log{1 + π(1)}
i.e.,
log π(π, ππ π) β€ π π + π log π(π, π) + π(1)
i.e.,
log [2] π π, ππ π β€ log [2] π π, π + π 1 .
(8)
It is well known that for any entire function g,
log π(π, π) β€ 3π 2π, π
ππ. 5 .
Then for 0 < π < 1 and πΏ > 0 , for a sequence of values of r tending to
infinity it follows from (5) that
log 2 π π, π β€ log π π, π + π 1 .
9
Now combining (8) and (9), we obtain for a sequence of values of r tending to infinity that
log 2 π(π, ππ π) β€ log π π, π + π(1)
i.e.,
log 2 π(π, ππ π)
β€ 1.
(10)
log π π, π
As by Lemma 4,
log π(π, π)
lim
πββ log π(π, πΊ)
exists and is equal to 1, then from (10) we get that
log [2] π(π, ππ π) lim β‘ log [2] π(π, ππ π)
log π(π, π)
lim β‘
inf
inf
= πββ
. lim
πββ
πββ log π(π, πΊ)
log π(π, πΊ)
log π(π, π)
β€ 1.1 = 1.
Thus the theorem is established.
Remark 1 The condition π π < β is essential in Theorem 2 which is evident from the following example.
Example 1 Let π = exp[2] π§ and π = exp π§. Then ππ π = exp[3] π§ and for π β₯ 1, πΊ = π π π π . Taking π = 1, π΄ π = 1, π0π =
1 and π1π = β― = π ππ = 0; we see that πΊ = exp 2π§ . Now we have
ππ =
lim β‘
sup
π ββ
log [2] π(π, π)
=
log π
lim β‘
sup
π ββ
log [2] (exp[2] π)
=β
log π
and
ππ =
lim β‘
inf
πββ
log [2] π(π, π)
=
log π
lim β‘
inf
πββ
log 2 (exp π)
= 1.
log π
Again from the inequality
π(π, π) β€ log + π(π, π) β€ 3π(2π, π)
{cf. p.18, [5]} we obtain that
www.ijmer.com
2609 | Page
5. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
π π, πΊ β€ log π π, πΊ = log(exp 2π)
i.e.,
log π(π, πΊ) β€ log π + π(1)
and
1
π
1
π
π π, ππ π β₯ log π , ππ π = exp[2] ( )
3
2
3
2
i.e.,
log [2] π π, ππ π β₯
π
+ π 1 .
2
Combining the above two inequalities, we have
π
+ π(1)
log [2] π(π, ππ π)
2
β₯
.
log π(π, πΊ)
log π + π(1)
Therefore
lim β‘
inf
πββ
log [2] π(π, ππ π)
= β,
log π(π, πΊ)
which is contrary to Theorem 2.
Theorem 3 Let f and g be any two entire functions such that π π < π π β€ π π < β and for π β₯ 1, πΉ = π π π[π] and
πΊ = π π π π . Also there exist entire functions ai (i = 1, 2,β¦, n; n β€ β) with
π π π, π π = π π π, π
ππ π β β πππ π = 1, 2, β¦ , π
and
π
ππ
πΏ π π ; π = 1.
π=1
Then
{log π(π, ππ π)}2
= 0.
πββ π π, πΉ π(π, πΊ)
lim
Proof. In view of the inequality
π(π, π) β€ log + π(π, π)
and Lemma 1, we obtain for all sufficiently large values of r that
π π, ππ π β€ {1 + π 1 }π(π π, π , π)
i.e.,
log π(π, ππ π) β€ log{1 + π(1)} + log π(π π, π , π)
i.e.,
log π(π, ππ π) β€ π 1 + π π + π log π(π, π)
i.e.,
log π(π, ππ π) β€ π 1 + π π + π π (π π +π) .
Again in view of Lemma 3, we get for all sufficiently large values of r that
log π π, πΉ > π πΉ β π log π
i.e.,
log π π, πΉ > π π β π log π
i.e.,
π π, πΉ > π π π βπ .
Now combining (11) and (12), it follows for all sufficiently large values of r that
π 1 + (π π + π)π (π π +π)
log π(π, ππ π)
β€
.
π(π, πΉ)
π π π βπ
Since π π < π π , we can choose π(> 0) in such a way that
π π + π < π π β π.
So in view of (13) and (14), it follows that
log π(π, ππ π)
lim
= 0.
πββ
π(π, πΉ)
Again from Lemma 4 and Lemma 8, we get for all sufficiently large values of r that
π 1 + π π + π log π(π, π)
log π(π, ππ π)
β€
π(π, πΊ)
π(π, πΊ)
i.e.,
lim β‘
sup log π(π, ππ π)
lim β‘
sup log π(π, π)
β€ (π π + π) π ββ
πββ
π(π, πΊ)
π(π, πΊ)
i.e.,
www.ijmer.com
(11)
(12)
(13)
(14)
(15)
2610 | Page
6. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
π(π, π)
lim β‘
sup log π(π, ππ π)
lim sup log π π, π
β€ π π + π πββ
. lim
πββ
πββ π(π, πΊ)
π(π, πΊ)
π π, π
i.e.,
lim β‘
sup
π ββ
log π(π, ππ π)
β€
π(π, πΊ)
π π + π . π.
Since π(> 0) is arbitrary, it follows from above that
lim β‘
sup
πββ
log π(π, ππ π)
β€ π π . π.
π(π, πΊ)
(16)
Combining (15) and (16), we obtain that
{log π(π, ππ π)}2
π π, πΉ π(π, πΊ)
log π(π, ππ π) lim β‘ log π(π, ππ π)
sup
= lim
. π ββ
πββ
π(π, πΉ)
π(π, πΊ)
lim β‘
sup
πββ
β€ 0. π. π π = 0,
i.e.,
{log π(π, ππ π)}2
= 0.
πββ π π, πΉ π(π, πΊ)
lim
This proves the theorem.
Theorem 4 Let f and g be any two entire functions satisfying the following conditions: π π π > 0 ππ π π <
β πππ 0 < π π β€ π π and also let for π β₯ 1, πΉ = π π π π . Then
[2]
ππ ππ
π(π, ππ π)
lim β‘
sup log
β₯ max{ , }.
π ββ
[2] π(π, πΉ)
log
ππ ππ
Proof. We know that for r > 0 {cf. [8]} and for all sufficiently large values of r,
1
1
π
π π, ππ π β₯ log π
π , π + π 1 , π .
(17)
3
8
4
Since π π and π π are the lower orders of f and g respectively then for given π(> 0) and for all sufficiently large values of r
we obtain that
log π π, π > π π π βπ
and
log π π, π > π π π βπ
where 0 < π < min π π , π π . So from (17) we have for all sufficiently large values of r,
π π βπ
1 1
π
π(π, ππ π) β₯
π , π + π 1
3 8
4
i.e.,
1 1
π
π(π, ππ π) β₯ { π( , π)} π π βπ
3 9 4
i.e.,
π
log π(π, ππ π) β₯ π 1 + π π β π log π( , π)
4
i.e.,
π
log π(π, ππ π) β₯ π 1 + π π β π ( ) π π βπ
4
i.e.,
log 2 π π, ππ π β₯ π 1 + π π β π log π .
18
Again in view of Lemma 1, we get for a sequence of values r tending to infinity that
log 2 π π, πΉ β€ π πΉ + π log π
i.e.,
log 2 π π, πΉ β€ π π + π log π .
(19)
Combining (18) and (19), it follows for a sequence of values of r tending to infinity that
π 1 + π π β π log π
log [2] π(π, ππ π)
β₯
.
[2] π(π, πΉ)
log
π π + π log π
Since π(> 0) is arbitrary, we obtain that
ππ
log [2] π(π, ππ π)
β₯ .
[2] π(π, πΉ)
log
ππ
Again from (17), we get for a sequence of values of r tending to infinity that
lim β‘
sup
π ββ
www.ijmer.com
(20)
2611 | Page
7. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
π π βπ
π
log π(π, ππ π) β₯ π 1 + (π π β π)( )
4
i.e.,
log 2 π π, ππ π β₯ π 1 + π π β π log π .
Also in view of Lemma 5, for all sufficiently large values of r we have
log [2] π π, πΉ β€ π πΉ + π log π
i.e.,
(21)
log [2] π π, πΉ β€ π π + π log π .
Now from (21) and (22), it follows for a sequence of values of r tending to infinity that
π 1 + π π β π log π
log [2] π(π, ππ π)
β₯
.
[2] π(π, πΉ)
log
π + π log π
(22)
π
As π(0 < π < π π ) is arbitrary, we obtain from above that
[2]
ππ
π(π, ππ π)
lim β‘
sup log
β₯ .
π ββ
[2] π(π, πΉ)
logβ‘
ππ
Therefore from (20) and (23), we get that
[2]
ππ ππ
π(π, ππ π)
lim β‘
sup log
β₯ max{ , }.
π ββ
log [2] π(π, πΉ)
ππ ππ
Thus the theorem is established.
Theorem 5 Let f be meromorphic and g be entire such that π 0 < π π < π π , ππ π π < β,
ππ£ πππ π β₯ 1, πΉ = π π π π . Then
ππ ππ
log [2] π(π, ππ π)
lim β‘
inf
β€ min{ , }.
π ββ
log [2] π(π, πΉ)
ππ π π
Proof. In view of Lemma 1 and the inequality
π π, π β€ log + π π, π ,
we obtain for all sufficiently large values of r that
log π π, ππ π β€ π 1 + π π + π log π(π, π).
Also for a sequence of values of r tending to infinity,
log π(π, π) β€ π π π +π .
Combining (24) and (25), it follows for a sequence of values of r tending to infinity that
log π π, ππ π β€ π 1 + (π π + π)π π π +π
i.e.,
log π π, ππ π β€ π π π +π {π 1 + (π π + π)}
i.e.,
log [2] π π, ππ π β€ π 1 + π π + π log π .
Again in view of Lemma 5, we obtain for all sufficiently large values of r that
log 2 π π, πΉ > π πΉ β π log π
(23)
πππ π π < β and
(24)
(25)
(26)
i.e.,
log 2 π π, πΉ > π π β π log π .
Now from (26) and (27), we get for a sequence of values of r tending to infinity that
π 1 + π π + π log π
log [2] π π, ππ π
β€
.
2 π π, πΉ
log
π π β π log π
(27)
As π(> 0) is arbitrary, it follows that
ππ
log [2] π π, ππ π
β€ .
log 2 π π, πΉ
ππ
In view of Lemma 1, we obtain for all sufficiently large values of r that
log 2 π π, ππ π β€ π 1 + π π + π log π .
Also by Remark 1, it follows for a sequence of values of r tending to infinity that
log 2 π π, πΉ > π πΉ β π log π
i.e.,
lim β‘
inf
π ββ
log 2 π π, πΉ > π π β π log π .
Combining (29) and (30), we get for a sequence of values of r tending to infinity that
www.ijmer.com
(28)
(29)
30
2612 | Page
8. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
π 1 + π π + π log π
log [2] π(π, ππ π)
β€
.
log [2] π(π, πΉ)
π β π log π
π
Since π(> 0) is arbitrary, it follows from above that
lim β‘
inf
π ββ
ππ
log [2] π(π, ππ π)
β€ .
[2] π(π, πΉ)
log
ππ
(31)
Now from (28) and (31), we get that
lim β‘
inf
π ββ
ππ ππ
log [2] π(π, ππ π)
β€ min{ , }.
[2] π(π, πΉ)
log
ππ π π
This proves the theorem.
The following theorem is a natural consequence of Theorem 4 and Theorem 5:
Theorem 6 Let f and g be any two entire functions such that
π 0 < π π < π π < β, ππ 0 < π π β€ π π < β, πππ 0 < π π β€ π π < β and
ππ£ πππ π β₯ 1, πΉ = π π π π . Then
ππ ππ
ππ ππ
log [2] π(π, ππ π)
lim β‘
inf
β€ min{ , } β€ max{ , } β€
πββ
[2] π(π, πΉ)
log
ππ ππ
ππ ππ
lim β‘
sup
πββ
log [2] π(π, ππ π)
.
log [2] π(π, πΉ)
Theorem 7 Let f be meromorphic and g be entire satisfying 0 < π π β€ π π < β,π π > 0 and also let for π β₯ 1,
πΉ = π π π[π]. Then
[2]
π(exp π π π , ππ π)
lim β‘
sup log
= β,
π ββ
log [2] π(exp π π , πΉ)
where 0 < π < π π .
Proof. Let 0 < π β² < π π . Then in view of Lemma 2, we get for a sequence of values of r tending to infinity that
log π(π, ππ π) β₯ log π(exp(π π ) , π)
i.e.,
β²
log π(π, ππ π) β₯ π π β π log{exp(π π )}
i.e.,
β²
log π(π, ππ π) β₯ π π β π π π
i.e.,
log [2] π π, ππ π β₯ π 1 + π β² log π .
(32)
Again in view of Lemma 3, we have for all sufficiently large values of r,
log π(exp π π , πΉ) β€ π πΉ + π log{exp(π π )}
i.e.,
log π(exp π π , πΉ) β€ π π + π π π
i.e.,
log π(exp π π , πΉ) β€ π 1 + π log π .
(33)
Now combining (32) and (33), we obtain for a sequence of values of r tending to infinity that
log [2] π(exp π π π , ππ π)
π 1 + πβ² π π π
β₯
log [2] π(exp π π , πΉ)
π 1 + π log π
from which the theorem follows.
Remark 2 The condition π π > 0 is necessary in Theorem 7 as we see in the following example.
Example 2 Let π = exp π§ , π = π§ and π = 1 > 0 . Then ππ π = exp π§ and for π β₯ 1, πΉ = π π π π . Taking
π = 1, π΄ π = 1, π0π = 1 and π1π = β― = π ππ = 0; we see that πΉ = exp 2π§. Then
log [2] π(π, π)
= 1,
log π
log [2] π(π, π)
β‘
inf
π π = limπββ
=1
log π
ππ =
lim β‘
sup
πββ
ππ =
lim β‘
sup
πββ
and
Also we get that
log [2] π(π, π)
= 0.
log π
π
π π, π = .
π
www.ijmer.com
2613 | Page
9. www.ijmer.com
International Journal of Modern Engineering Research (IJMER)
Vol. 3, Issue. 5, Sep - Oct. 2013 pp-2606-2614
ISSN: 2249-6645
Therefore
π exp π π π , ππ π =
π
π
and
π exp π π , πΉ =
2 exp π
.
π
So from the above two expressions we obtain that
log [2] π(exp π π π , ππ π)
π(1)
=
[2] π(exp π π , πΉ)
log
log π + π(1)
i.e.,
[2]
π(exp π π π , ππ π)
lim β‘
sup log
= 0,
π ββ
[2] π(exp π π , πΉ)
log
which contradicts Theorem 7.
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
Bergweiler, W.: On the Nevanlinna Characteristic of a composite function, Complex Variables, Vol. 10 (1988), pp. 225-236.
Bergweiler, W.: On the growth rate of composite meromorphic functions, Complex Variables, Vol. 14 (1990), pp. 187-196.
Bhooshnurmath, S. S. and Prasad, K. S. L. N.: The value distribution of some differential polynomials, Bull. Cal. Math. Soc., Vol.
101, No. 1 (2009), pp. 55- 62.
Doeringer, W.: Exceptional values of differential polynomials, Pacific J. Math., Vol. 98, No. 1 (1982), pp. 55-62.
Hayman, W. K.: Meromorphic functions, The Clarendon Press, Oxford, 1964.
Lin, Q. and Dai, C.: On a conjecture of Shah concerning small functions, Kexue Tongbao (English Ed.), Vol. 31, No. 4 (1986),
pp. 220-224.
Lahiri, I.: Generalised proximate order of meromorphic functions, Mat. Vensik, Vol. 41 (1989), pp. 9-16.
Niino, K. and Yang, C. C.: Some growth relationships on factors of two composite entire functions, Factorization Theory of
Meromorphic Functions and Related Topics, Marcel Dekker, Inc. (New York and Basel), (1982), pp. 95- 99.
Valiron, G.:
Lectures on the general theory of integral functions, Chelsea Publishing Company, 1949.
www.ijmer.com
2614 | Page