CJM Chinese Journal of Mathematics 2314-8071 Hindawi Publishing Corporation 10.1155/2014/349719 349719 Research Article A Few Inequalities Established by Using Fractional Calculus and Their Applications to Certain Multivalently Analytic Functions Irmak Hüseyin Wang Yifu 1 Department of Mathematics Faculty of Science Çankırı Karatekin University 18100 Çankırı Turkey karatekin.edu.tr 2014 1862014 2014 31 01 2014 11 06 2014 11 06 2014 18 6 2014 2014 Copyright © 2014 Hüseyin Irmak. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

By making use of different techniques given in Miller and Mocanu (2000) (and also in Jack (1971)), some recent results consisting of certain multivalently analytic functions given both in Irmak (2005) and in Irmak (2010) are firstly restated and some of their applications are then pointed out.

1. Introduction, Definitions, and Notations

Let A ( p ) denote the class of functions f ( z ) of the form: (1) f ( z ) = z p + a p + 1 z p + 1 + a p + 2 z p + 2 + + a p + n z p + n + kkkkkkkkkkk ( a p + n C ; n , p N = { 1,2 , 3 , } ) , which are analytic and multivalent in the open unit disk U = { z : z C and | z | < 1 } , where C is the set of complex numbers.

For some useful implications of the main results, there is a need to recall certain well-known definitions relating to geometric function theory. As is known, a function f ( z ) belonging to the general class A ( p ) is said to be multivalently starlike function, multivalently convex function, and multivalently close-to-convex function (with respect to the origin ( z = 0 )), if it satisfies R e [ z f ( z ) / f ( z ) ] > 0 , R e [ 1 + z f ( z ) / f ( z ) ] > 0 , and R e [ z 1 - p f ( z ) ] > 0 in the open unit disk U , respectively. For the details of the definitions above, one may look over the works in .

Here and also throughout this paper, the symbol D z μ { · } denotes an operator of fractional calculus (i.e., that fractional derivative(s)), which is defined as follows (cf., e.g.,  and see (also) [2, 5, 6]).

Definition 1.

Let    f ( z )    be an analytic function in a simply connected region of the z -plane containing the origin. The fractional integral of order    μ    ( μ > 0 ) is defined by (2) D z - μ { f ( z ) } = 1 Γ ( μ ) 0 z f ( ξ ) ( z - ξ ) μ - 1 d ξ , and the fractional derivative of order    μ    ( 0 μ < 1 ) is defined by (3) D z μ { f ( z ) } = 1 Γ ( 1 - μ ) d d z 0 z f ( ξ ) ( z - ξ ) - μ d ξ , where the multiplicity of    ( z - ξ ) μ - 1    involved in (2) and that of    ( z - ξ ) - μ    in (2) are removed by requiring    log ( z - ξ ) to be real when    z - ξ > 0 .

Definition 2.

Under the hypotheses of Definition 1, the fractional derivative of order m + μ    ( m N 0 = N { 0 } ;    0 μ < 1 ) is defined by (4) D z m + μ { f ( z ) } = d m d z m { D z μ { f ( z ) } } .

The aim of this investigation is first to restate some recent results relating to certain multivalently analytic functions and then to point a number of their applications out. For proofs of the main results, the well-known assertions in  and [8, p. 33–35] are used (see, also, for similar proofs, ). The main results include fractional calculus and the main purpose of using fractional calculus is also to extend the scope of the main results and to reveal certain complex inequalities which can be associated with (analytic and) geometric function theory (see, for their details, [14, 9]). For certain results determined by fractional calculus, for example, one may refer to the works in [5, 6, 12, 13]. For some results between certain complex inequalities and analytic functions, one can also check the papers, for instance, in the references in [2, 12, 13].

2. Main Results and Certain Consequences

The following assertions (Lemmas 3 and 4 below) will be required for proving the main results.

Lemma 3 (see [<xref ref-type="bibr" rid="B11">7</xref>]).

Let w ( z ) be an analytic function in the unit disk U with w ( 0 ) = 0 and let 0 < r < 1 . If    | w ( z ) | attains at z 0 its maximum value on the circle    | z | = r , then z 0 w ( z 0 ) = c w ( z 0 )       ( c 1 ) .

Lemma 4 (see [<xref ref-type="bibr" rid="B12">8</xref>]).

Let    Ω C and suppose that the function ψ : C 2 × U C satisfies ψ ( M e i θ , K e i θ ; z ) Ω for all θ R and z U with K M n    ( n N ) . If the function p ( z ) is in the class H [ a , n ] { p ( z ) H ( U ) : p ( z ) = a + a n z n +    ( z U ) } and ψ ( p ( z ) , z p ( z ) ; z ) Ω for all z U , then | p ( z ) | < M    ( z U ) .

By using Lemma 3, we first prove the following theorem.

Theorem 5.

Let z U , δ R { 0 } = : R * , λ R * , p N , and 0 μ < 1 , and let the function f ( z ) A ( p ) satisfy any one of the following inequalities: (5) R e ( z ( z D z 1 + μ { f ( z ) } / D z μ { f ( z ) } ) ( z D z 1 + μ { f ( z ) } / D z μ { f ( z ) } ) δ - 1 1 + ( z D z 1 + μ { f ( z ) } / D z μ { f ( z ) } ) δ - ( p - μ ) δ ) { < 1 2 λ δ if λ · δ > 0 > 1 2 λ δ if λ · δ < 0 . Then (6) R e ( [ 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ] λ ) > 0 , where the value of each one of the above complex terms and their certain applications is taken to be its principal value and R denotes the set of real numbers.

Proof.

First of all, Definition 1 readily provides us with the following fractional derivative formula for a power function: (7) D z μ { z κ } = Γ ( κ + 1 ) Γ ( κ - μ + 1 ) z κ - μ       ( κ > μ - 1 ; 0 μ < 1 ) . With the help of (7), let us define the function w ( z ) by (8) [ 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ] λ = 1 + w ( z ) kkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk ( z U ) . Clearly, the function w ( z ) is analytic in U and w ( 0 ) = 0 . Differentiating both sides of the above identity, and if we make use of (8) once again, we easily arrive at (9) G ( z ) : = ( λ δ z ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - 1 ) k k k k k k × ( 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ) - 1 = z w ( z ) 1 + w ( z ) . Suppose now that there exists a point z 0 U such that max | z | | z 0 |    | w ( z ) | = | w ( z 0 ) | = 1 .    Applying Jack’s Lemma, we can write z 0 w ( z 0 ) = c w ( z 0 ) ( c 1 ) .    Setting z = z 0 and then putting w ( z 0 ) = e i θ in (9), we obtain (10) R e { G ( z 0 ) } = R e ( c e i θ 1 + e i θ ) = R e [ c ( 1 + e i θ ) | 1 + e i θ | 2 ] = c 2 1 2 , where θ π and c 1 . Hence, (10) is a contradiction to the conditions in (5). Consequently, we conclude from definition (8) that (11) | [ 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ] λ - 1 | = | w ( z ) | < 1 , ( z U , δ R * , λ R * , p N , 0 μ < 1 ) , which implies (6). Thus, the proof of the Theorem 5 is completed.

The second theorem (below) is given without proof since its proof is similar to the proof of the Theorem 5.

Theorem 6.

Let z U , δ R * , λ R * , p N , and    0 μ < 1 . If the function f ( z ) in the class A ( p ) satisfies any one of the following conditions: (12) R e ( z ( D z μ { f ( z ) } / z p - μ ) ( D z μ { f ( z ) } / z p - μ ) δ - 1 1 + ( D z μ { f ( z ) } / z p - μ ) δ - ( Γ ( p + 1 ) / Γ ( p - μ + 1 ) ) δ ) { < 1 2 λ δ if λ · δ > 0 > 1 2 λ δ if λ · δ < 0 , then (13) R e ( [ 1 + ( D z μ { f ( z ) } z p - μ ) δ - ( Γ ( p + 1 ) Γ ( p - μ + 1 ) ) δ    ] λ ) > 0 , where the value of each one of the above complex terms and their certain applications is taken to be its principal value.

Theorem 7.

Let z U , δ R * , λ R * , M 1 , p N , and 0 μ < 1 . If f ( z ) A ( p ) satisfies the following condition: (14) R e { ( λ δ · z ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - 1 ) l l l l l l l l l × ( 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ) - 1 } < M 1 + M , then (15) | [ 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ] λ - 1 | < M .

Proof.

Define p ( z ) by (16) [ 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ] λ - 1 = p ( z ) lllllllllllllllllllllkkkkkkkkkkkkkkkkkkkkk ( z U ) . It is clear that the function p ( z ) is in the class H [ 0 , n ] (with, of course, n = 1 ) and also it gives us (17) z p ( z ) 1 + p ( z ) = λ δ · ( z ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - 1 ) l l l l l l l l × ( 1 + ( z D z 1 + μ { f ( z ) } D z μ { f ( z ) } ) δ - ( p - μ ) δ ) - 1 = : Δ [ μ , δ ; f ] ( z ) .

Let (18) ψ ( r , s ; z ) = s 1 + r , Ω = { w C : R e { w } < M 1 + M } ; we then receive that (19) ψ ( p ( z ) , z p ( z ) ; z ) = Δ [ μ , δ ; f ] ( z ) Ω for all z in U . Further, for any θ R , K > n M M , and z U , because of M 1 and n N , we then obtain that (20) R e { ψ ( M e i θ , K e i θ ; z ) } = R e ( K e i θ 1 + M e i θ ) n M 1 + M M 1 + M ; that is, ψ ( M e i θ , K e i θ ; z ) Ω . Therefore, because of the Lemma 4, the function p ( z ) defined in (16) follows the inequality in (15). This completes the desired proof.

Since the proof of the following theorem is similar to the proof of the Theorem 7, the details are here omitted.

Theorem 8.

Let z U , δ R { 0 } = : R * , M 1 , λ R * , p N , and 0 μ < 1 . If the function f ( z ) in the class A ( p ) satisfies the following inequality: (21) R e { ( ( 1 + ( D z μ { f ( z ) } z p - μ ) δ - ( Γ ( p + 1 ) Γ ( p - μ + 1 ) ) δ ) λ δ · ( z ( D z μ { f ( z ) } z p - μ ) ( D z μ { f ( z ) } z p - μ ) δ - 1 ) l l l l l l l l l × ( 1 + ( D z μ { f ( z ) } z p - μ ) δ - ( Γ ( p + 1 ) Γ ( p - μ + 1 ) ) δ ) - 1 ) } < M 1 + M , then (22) | [ 1 + ( D z μ { f ( z ) } z p - μ ) δ - ( Γ ( p + 1 ) Γ ( p - μ + 1 ) ) δ ] λ - 1 | < M .

It is clear that, by suitably choosing the parameters δ , λ , μ , M and also p in the all theorems, one may easily receive several interesting and/or important results for analytic and geometric function theory (see, [1, 3], and also the others in the references). Since it is not possible to list all of them, we want to reveal only the useful certain consequences belonging to Theorems 58. They are in the following forms.

Letting δ - 1 = λ - 1 = μ = 0 and δ = λ = 1 , μ 1 —in the Theorem 5, we first get Corollaries 9 and 10, respectively.

Corollary 9.

If a function f ( z ) A ( p ) satisfies the inequality: (23) R e { ( z [ f ( z ) + z f ( z ) ] / f ( z ) ) - ( z f ( z ) / f ( z ) ) 2 1 + ( z f ( z ) / f ( z ) ) - p } < 1 2 kkkkkkkkkkkkkkkkkkkkkkkkkkk kkkkkkkkkk l k kk ( z U ) , then (24) R e ( z f ( z ) f ( z ) ) > p - 1 ( z U ) ; that is, f ( z ) is multivalently starlike in U .

Corollary 10.

If a function f ( z ) A ( p ) satisfies the inequality: (25) R e { ( z [ f ′′ ( z ) + z f ′′′ ( z ) ] / f ( z ) ) - ( z f ′′ ( z ) / f ( z ) ) 2 2 + ( z f ′′ ( z ) / f ( z ) ) - p } < 1 2 ( z U ) , then (26) R e ( 1 + z f ′′ ( z ) f ( z ) ) > p - 1 ( z U ) ; that is, f ( z ) is multivalently convex in U .

Setting δ = λ = 1 and μ 1 —in the Theorem 6, we second obtain Corollary 11 (below).

Corollary 11.

If a function f ( z ) A ( p ) satisfies the inequality: (27) R e { z f ′′ ( z ) - ( p - 1 ) f ( z ) f ( z ) - ( p - 1 ) z p - 1 } < 1 2 ( z U ) , then (28) R e ( f ( z ) z p - 1 ) > p - 1 ( z U ) ; that is, f ( z ) is multivalently close-to-convex in U .

Remark 12.

The above three consequences may be comparable with the results given by the papers in [12, 13].

Remark 13.

Theorems 7 and 8 are equal to Theorems 5 and 6, respectively, when one takes M = 1 in Theorems 7 and 8.

Conflict of Interests

The author declares that there is no conflict of interests.

Acknowledgment

The work in this investigation was supported by The Research Project financed by TÜBİTAK (The Scientific and Technological Research Council of TURKEY) under project no. TBAG-U-105T056.

Duren P. L. Univalent Functions. Grundlehren der Mathematischen Wissenschaften 259 1983 New York, NY, USA Springer Chen M.-P. Irmak H. Srivastava H. M. Some families of multivalently analytic functions with negative coefficients Journal of Mathematical Analysis and Applications 1997 214 2 674 690 2-s2.0-0031245948 Goodman A. W. Univalent Functions. Vols. I and II 1983 Washington, NJ, USA Polygonal Publishing House Owa S. On the distortion theorems I Kyungpook Mathematical Journal 1978 18 53 59 Irmak H. Tuneski N. Fractional calculus operator and certain applications in geometric function theory Sarajevo Journal of Mathematics 2010 6 18 51 57 Irmak H. Çetin Ö. F. Some theorems involving inequalities on p-valent functions Turkish Journal of Mathematics 1999 23 3 453 459 2-s2.0-53149119220 Jack I. S. Functions starlike and convex of order Journal of the London Mathematical Society 1971 3 469 474 Miller S. S. Mocanu P. T. Dierential Subordinations, Theory and Applications 2000 New York, NY, USA Marcel Dekker Irmak H. Cho N. E. A dierential operator and its applications to certain multivalently analytic functions Hacettepe Journal of Mathematics and Statistics 2007 36 1 1 6 Irmak H. Şan M. Some relations between certain inequalities concerning analytic and univalent functions Applied Mathematics Letters 2010 23 8 897 901 2-s2.0-79961166257 10.1016/j.aml.2010.04.006 Irmak H. Bulboacǎ T. Tuneski N. Some relations between certain classes consisting of α-convex type and Bazilevi type functions Applied Mathematics Letters 2011 24 12 2010 2014 2-s2.0-79961171623 10.1016/j.aml.2011.05.034 Irmak H. Certain inequalities and their applications to multivalently analytic functions Mathematical Inequalities and Applications 2005 8 3 451 458 2-s2.0-22944466429 Irmak H. Certain inequalities and their applications to multtvalently analytic functions-II Mathematical Inequalities and Applications 2010 13 4 859 865 2-s2.0-78149323394