Research | Open | Published:
Strong differential subordination properties for analytic functions involving the Komatu integral operator
Boundary Value Problemsvolume 2013, Article number: 44 (2013)
The purpose of the present paper is to investigate some strong differential subordination and superordination implications involving the Komatu integral operator which are obtained by considering suitable classes of admissible functions. The sandwich-type theorems for these operators are also considered.
MSC:30C80, 30C45, 30A20.
Let ℋ denote the class of analytic functions in the open unit disk . For a positive integer n and , let
and let . We also denote by the subclass of with the usual normalization .
Let and be members of ℋ. The function is said to be subordinate to , or is said to be superordinate to , if there exists a function analytic in , with and , and such that . In such a case, we write or . If the function F is univalent in , then if and only if and (cf. ).
Following Komatu , we introduce the integral operator defined by
where the symbol Γ stands for the gamma function. We also note that the operator defined by (1.1) can be expressed by the series expansion as follows:
Obviously, we have, for ,
Moreover, from (1.2), it follows that
In particular, the operator is closely related to the multiplier transformation studied earlier by Flett . Various interesting properties of the operator have been studied by Jung et al.  and Liu .
Let be analytic in and let be analytic and univalent in . Then the function is said to be strongly subordinate to , or is said to be strongly superordinate to , written as , if for , as the function of z is subordinate to . We note that if and only if and .
Let and let be univalent in . If is analytic in and satisfies the (second-order) differential subordination
then is called a solution of the strong differential subordination. The univalent function is called a dominant of the solutions of the strong differential subordination, or more simply a dominant, if for all satisfying (1.4). A dominant that satisfies for all dominants of (1.4) is said to be the best dominant.
Recently, Oros  introduced the following strong differential superordinations as the dual concept of strong differential subordinations.
Let and let be analytic in . If and are univalent in for and satisfy the (second-order) strong differential superordination
then is called a solution of the strong differential superordination. An analytic function is called a subordinant of the solutions of the strong differential superordination, or more simply a subordinant, if for all satisfying (1.5). A univalent subordinant that satisfies for all subordinants of (1.5) is said to be the best subordinant.
Denote by the class of functions q that are analytic and injective on , where
and are such that for . Further, let the subclass of for which be denoted by and .
Definition 1.4 ()
Let Ω be a set in ℂ, and n be a positive integer. The class of admissible functions consists of those functions that satisfy the admissibility condition
whenever , and
for , , and . We write as .
Definition 1.5 ()
Let Ω be a set in ℂ and with . The class of admissible functions consists of those functions that satisfy the admissibility condition
whenever , for and
for , , and . We write as .
For the above two classes of admissible functions, Oros and Oros proved the following theorems.
Theorem 1.1 ()
Let with . If satisfies
Theorem 1.2 ()
Let with . If and
is univalent in for , then
In the present paper, making use of the differential subordination and superordination results of Oros and Oros [8, 9], we determine certain classes of admissible functions and obtain some subordination and superordination implications of multivalent functions associated with the Komatu integral operator defined by (1.1). Additionally, new differential sandwich-type theorems are obtained. We remark in passing that some interesting developments on differential subordination and superordination for various operators in connection with the Komatu integral operator were obtained by Ali et al. [11–14] and Cho et al. .
2 Subordination results
Firstly, we begin by proving the subordination theorem involving the integral operator defined by (1.1). For this purpose, we need the following class of admissible functions.
Definition 2.1 Let Ω be a set in ℂ, , and . The class of admissible functions consists of those functions that satisfy the admissibility condition
for , , and .
Theorem 2.1 Let . If satisfies
Proof Define the function in by
From (2.2) with the relation (1.3), we get
Further computations show that
Define the transformation from to ℂ by
Using equations (2.2), (2.3) and (2.4), from (2.6), we obtain
Hence, (2.1) becomes
and so the admissibility condition for is equivalent to the admissibility condition for . Therefore, by Theorem 1.1, or
which evidently completes the proof of Theorem 2.1. □
If is a simply connected domain, then for some conformal mapping h of onto Ω. In this case, the class is written as . The following result is an immediate consequence of Theorem 2.1.
Theorem 2.2 Let . If satisfies
Our next result is an extension of Theorem 2.1 to the case where the behavior of q on is not known.
Corollary 2.3 Let and q be univalent in with . Let for some where . If satisfies
Proof Theorem 2.1 yields . The result is now deduced from . □
Theorem 2.4 Let h and q be univalent in with and set and . Let satisfy one of the following conditions:
for some , or
there exists such that for all .
If satisfies (2.8), then
Proof The proof is similar to that of [, Theorem 2.3d] and so is omitted. □
The next theorem yields the best dominant of the differential subordination (2.7).
Theorem 2.5 Let h be univalent in and let . Suppose that the differential equation
has a solution q with and satisfies one of the following conditions:
q is univalent in and for some , or
q is univalent in and there exists such that for all .
If satisfies (2.8) and
is analytic in , then
and q is the best dominant.
Proof Following the same arguments as in [, Theorem 2.3e], we deduce that q is a dominant from Theorem 2.2 and Theorem 2.4. Since q satisfies (2.9), it is also a solution of (2.8) and therefore q will be dominated by all dominants. Hence, q is the best dominant. □
In the particular case , , and in view of Definition 2.1, the class of admissible functions , denoted by , is described below.
Definition 2.2 Let Ω be a set in ℂ, , and . The class of admissible functions consists of those functions such that
whenever , , , and .
Corollary 2.6 Let . If satisfies
In the special case , the class is simply denoted by .
Corollary 2.7 Let . If satisfies
Corollary 2.8 Let , and let be an analytic function in with for . If satisfies
Proof This follows from Corollary 2.6 by taking and , where . To use Corollary 2.6, we need to show that , that is, the admissible condition (2.10) is satisfied. This follows since
for , , , and . Hence, by Corollary 2.6, we deduce the required results. □
3 Superordination and sandwich-type results
The dual problem of differential subordination, that is, differential superordination of the Komatu integral operator defined by (1.1), is investigated in this section. For this purpose, the class of admissible functions is given in the following definition.
Definition 3.1 Let Ω be a set in ℂ, with , and . The class of admissible functions consists of those functions that satisfy the admissibility condition
for , , and .
Theorem 3.1 Let . If , and
is univalent in , then
Proof From (2.7) and (3.1), we have
From (2.5), we see that the admissibility condition for is equivalent to the admissibility condition for ψ as given in Definition 1.2. Hence, , and by Theorem 1.2, or
which evidently completes the proof of Theorem 3.1. □
If is a simply connected domain, then for some conformal mapping h of onto Ω. In this case, the class is written as . Proceeding similarly as in the previous section, the following result is an immediate consequence of Theorem 3.1.
Theorem 3.2 Let , h be analytic in and . If , and
is univalent in , then
Theorem 3.1 and Theorem 3.2 can only be used to obtain subordinants of differential superordination of the form (3.1) or (3.2). The following theorem proves the existence of the best subordinant of (3.2) for certain ϕ.
Theorem 3.3 Let h be analytic in and . Suppose that the differential equation
has a solution . If , , and
is univalent in , then
and q is the best subordinant.
Proof The proof is similar to that of Theorem 2.5 and so is omitted. □
Combining Theorem 2.2 and Theorem 3.2, we obtain the following sandwich-type theorem.
Theorem 3.4 Let and be analytic functions in , be a univalent function in , with and . If , and
is univalent in , then
Miller SS, Mocanu PT: Differential Subordination, Theory and Application. Marcel Dekker, New York; 2000.
Komatu Y: Distortion Theorems in Relation to Linear Integral Operators. Kluwer Academic, Dordrecht; 1996.
Flett TM: The dual of an inequality of Hardy and Littlewood and some related inequalities. J. Math. Anal. Appl. 1972, 38: 746-765. 10.1016/0022-247X(72)90081-9
Jung IB, Kim YC, Srivastava HM: The Hardy space of analytic functions associated with certain one-parameter families of integral operators. J. Math. Anal. Appl. 1993, 176: 138-147. 10.1006/jmaa.1993.1204
Liu JL: A linear operator and strongly starlike functions. J. Math. Soc. Jpn. 2002, 54: 975-981. 10.2969/jmsj/1191592000
Antonino JA: Strong differential subordination to Briot-Bouquet differential equations. J. Differ. Equ. 1994, 114: 101-105. 10.1006/jdeq.1994.1142
Antonino JA: Strong differential subordination and applications to univalency conditions. J. Korean Math. Soc. 2006, 43: 311-322.
Oros GI, Oros G: Strong differential subordination. Turk. J. Math. 2009, 33: 249-257.
Oros GI: Strong differential superordination. Acta Univ. Apulensis, Mat.-Inform. 2009, 19: 101-106.
Miller SS, Mocanu PT: Subordinants of differential superordinations. Complex Var. Theory Appl. 2003, 48: 815-826. 10.1080/02781070310001599322
Ali RM, Ravichandran V, Seenivasagan N: Subordination and superordination of the Liu-Srivastava operator on meromorphic functions. Bull. Malays. Math. Soc. 2008, 31: 193-207.
Ali RM, Ravichandran V, Seenivasagan N: Differential subordination and superordination of analytic functions defined by the multiplier transformation. Math. Inequal. Appl. 2009, 12: 123-139.
Ali RM, Ravichandran V, Seenivasagan N: Differential subordination and superordination of analytic functions defined by the Dziok-Srivastava linear operator. J. Franklin Inst. 2010, 347: 1762-1781. 10.1016/j.jfranklin.2010.08.009
Ali RM, Ravichandran V, Seenivasagan N: On subordination and superordination of the multiplier transformation of meromorphic functions. Bull. Malays. Math. Soc. 2010, 33: 311-324.
Cho NE, Kwon OS, Srivastava HM: Strong differential subordination and superordination for multivalently meromorphic functions involving the Liu-Srivastava operator. Integral Transforms Spec. Funct. 2010, 21: 589-601. 10.1080/10652460903494751
Dedicated to Professor Hari M Srivastava.
This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No. 2012-0002619).
The author declares that they have no competing interests.
The author worked on the results and he read and approved the final manuscript.
About this article
- strong differential subordination
- strong differential superordination
- univalent function
- convex function
- Komatu integral operator