Open Access Research

Fractional differintegral transformations of univalent Meijer's G -functions

Amir Pishkoo and Maslina Darus*

Author Affiliations

School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, Bangi 43600, Selangor Darul Ehsan, Malaysia

For all author emails, please log on.

Journal of Inequalities and Applications 2012, 2012:36  doi:10.1186/1029-242X-2012-36


The electronic version of this article is the complete one and can be found online at: http://www.journalofinequalitiesandapplications.com/content/2012/1/36


Received:4 July 2011
Accepted:16 February 2012
Published:16 February 2012

© 2012 Pishkoo and Darus; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this article, the univalent Meijer's G-functions are classified into three types. Certain integral, differential or differintegral transformations preserving the univalence of the Meijer's G-functions, have been discussed. This classification and transformations are based on Kiryakova's studies in representing the generalized hypergeometric functions as fractional differintegral operators of three basic elementary functions. In fact, these transformations are the Erdélyi-Kober operators (m = 1) or their two-tuple compositions (for m = 2) known also as hypergeometric fractional differintegrals. A number of new univalent Meijer's G-functions can be obtained by successive applications of such transformations, being operators of the generalized fractional calculus (GFC). Some new relations are then interpreted for the starlike, convex, and positive real part functions in terms of Meijer's G-functions.

Mathematics Subject Classification (2000): 30C45; 33C60; 33E20.

Keywords:
Meijer's G-function; univalent functions; generalized fractional calculus; Erdélyi-Kober operators; starlike functions; convex functions; positive real part functions

1 Introduction

One of the main topics in univalent functions theory is dealing with integral or differential operators that are used to obtain new subclasses of univalent functions and their properties. The starting point in this theory is to perceive some transformations, or operators, in which the property of univalence is preserved [1]. These well-known transformations include rotation, dilation and others. To study their action, usually the series representation of the functions in the class A is used. Recently, a very general class of such operators have been defined by means of single integrals (or differintegrals) involving Meijer's G-functions as kernels, the so-called operators of the generalized fractional calculus (GFC), [2]. In [3], Kiryakova et al. proposed sufficient conditions that guarantee the mappings related to these operators to preserve the univalency of the functions. In addition, in [4] they considered also some other mapping, distortion, and characterization properties of the generalized fractional calculus operators involving Meijer's G-functions.

In the recent decades, Meijer's G-function has found various applications in different areas close to applied mathematics such as mathematical physics (hydrodynamics, theory of elasticity, potential theory, etc), theoretical physics, mathematical statistics, queuing theory, optimization theory, sinusoidal signals, generalized birth and death processes and many others. Due to the elegant and general properties of the G-functions, it has become possible to represent the solutions of many problems in these fields in their terms. Stated in this way, the problems gain a much more general character, due to the great freedom of choice of the orders m; n; p; q and the parameters of the G-functions, in comparison to the other special functions. Simultaneously, the calculations become simpler and more unified. An evidence showing the importance of the G-functions is given by the fact that the basic elementary functions and most of the special functions of mathematical physics, including the generalized hypergeometric functions, follow as its particular cases. Therefore, each result concerning a G-function has become a key leading to numerous particular results for the Bessel functions, confluent hypergeometric functions, classical orthogonal polynomials, etc, see [2].

It is believed that Meijer's G-functions could be a convenient tool to unify certain works on univalent functions theory; in other words, the results on univalent functions and also on the subclasses of the univalent functions can be represented in the language of Meijer's G-functions, denoted by <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M1">View MathML</a>. To work with univalent Meijer's G-functions, we need to know some properties of the GFC operators, related to them, and especially their mapping properties. Fortunately, Kiryakova et al. [2,3] provided all the needs to achieve the goals set in the current study. However, the proposed approach is a little bit different and thus, it will be interesting to see that difference.

The content of this article is divided into three main sections: In the first section, the definition of the Meijer's G-function, two important properties of Meijer's G-functions including a generalized (multiple, m-tuple) Erdélyi-Kober (E-K) operator of the integration of fractional multi-order and the corresponding multiple (m-tuple) fractional derivatives of multi-order, are recalled. The second section is devoted to a main lemma related to the transformations of univalent Meijer's G-functions. In this section, the authors work with differintegral operators to transform one univalent Meijer's G function of the lower rank to another univalent Meijer's G-function of the upper rank. In fact, these operators originated from the generalized fractional calculus developed by Kiryakova [2]. Fortunately, these transformations can be repeated many times and finally, there will be a lot of univalent Meijer's G-functions, and operators related to them. Indeed, these are the most general transformations that preserve the property of univalence, and this fact gives us a lot of univalent Meijer's G-functions by the iteration method. The third section classifies in tables the actions on the G-functions of the operators of GFC for m = 1 and m = 2 and illustrates the same for many known operators in the theory of univalent functions. The last section discusses some relationships for the starlike functions, convex functions, and positive real part functions, in the language of Meijers's G-functions.

Definition 1.1. A definition of the Meijer's G-function is given by the following path integral in the complex plane, called Mellin-Barnes type integral [2,5-8]:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M2">View MathML</a>

(1.1)

Here, an empty product means unity and the integers m; n; p; q are called orders of the G-function, or the components of the order (m; n; p; q); ap and bq are called "parameters" and in general, they are complex numbers. The definition holds under the following assumptions: 0 ≤ m q and 0 ≤ n p, where m, n, p, and q are integer numbers. aj - bk ≠ 1, 2, 3,... for k = 1,..., n and j = 1, 2,..., m imply that no pole of any Γ(bj - s), j = 1,..., m coincides with any pole of any Γ(1 - ak + s), k = 1,..., n.

Based on the definition, the following basic properties are easily derived:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M3">View MathML</a>

(1.2)

where the multiplying term zα changes the parameters of the G-function; and the derivatives of arbitrary order k can change the G-function's orders and parameters:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M4','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M4">View MathML</a>

(1.3)

Definition 1.2. (see, Kiryakova [2,9]). Let m ≥ 1 be integer, β > 0, γ1,...,γm and δ1 ≥ 0,..., δm ≥ 0 be arbitrary real numbers. By a generalized (multiple, m-tuple) E-K operator of the integration of multi-order δ = (δ1,..., δm) we mean an integral operator

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M5','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M5">View MathML</a>

(1.4)

Then, each operator of the form

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M6','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M6">View MathML</a>

(1.5)

with the arbitrary δ0 ≥ 0 is said to be a generalized (m-tuple) operator of the fractional integration of the R-L type, or briefly, a generalized R-L fractional integral.

For m = 1, arbitrary β > 0,γ and δ > 0, the generalized fractional integrals (1.4) coincide with the well-known E-K operators (integrals) from Sneddon [10]; see also Samko et al. [11], Kiryakova [2]:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M7','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M7">View MathML</a>

(1.6)

Definition 1.3 (see, Kiryakova [2,9]). With the same parameters as in Definition 1.2 and integers ηk = δk, if δk is integer and [δk] + 1, if δk is non-integer, k = 1,..., m, the auxiliary differential operator is introduced:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M8','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M8">View MathML</a>

(1.7)

Then, the multiple (m-tuple) E-K fractional derivatives of multi-order δ = (δ1 ≥ 0,..., δm ≥ 0) are defined by means of the differintegral operators:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M9','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M9">View MathML</a>

(1.8)

and the operators of the form

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M10','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M10">View MathML</a>

(1.9)

with δ0 ≥ 0, are generally called the generalized (multiple, m-tuple) fractional derivatives. The generalized fractional derivatives (1.7) and (1.8) are the counterparts of the generalized fractional integrals (1.4) and (1.5).

Definition 1.4. Let A denotes the class of functions of the form [1]:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M11','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M11">View MathML</a>

(1.10)

which are analytic in the unit disk, U = {Δ1 : |z| < 1}. By S, it is denoted the subclass of the univalent functions in A and by S* and K--the subclasses of S whose members are starlike (with respect to the origin) and convex in U, respectively.

In order to obtain our results, we need the following theorems due to Kiryakova [2].

Theorem 1.1 (see, Kiryakova [2]). Denote by <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M12">View MathML</a>, the class of functions having the form <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M13','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M13">View MathML</a>, with μ ≥ 0 and <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M14','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M14">View MathML</a> analytic in a domain Ω starlike with respect to z = 0. Let the conditions

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M15','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M15">View MathML</a>

(1.11)

be satisfied. Then, the multiple Erdélyi-Kober operator <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M16','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M16">View MathML</a> defined by (1.4) maps the class <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M12','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M12">View MathML</a> into itself, preserving the power functions up to a constant multiplier:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M17','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M17">View MathML</a>

(1.12)

with <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M18','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M18">View MathML</a>.

Hence, the image of the power series <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M19','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M19">View MathML</a> is given by the series

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M20','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M20">View MathML</a>

(1.13)

having the same radius of convergence R > 0 and the same signs of the coefficients.

In particular, let the following conditions:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M21','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M21">View MathML</a>

(1.14)

then, the above general results have as consequences the properties of the multiple Erdélyi-Kober operators in the class A. Namely, under these conditions the suitably normed operator (see, [3])

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M22','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M22">View MathML</a>

(1.15)

maps the class A into itself.

Theorem 1.2 (see, Kiryakova [2], composition/decomposition theorem). Under the conditions (1.14), the classical Erdélyi-Kober operators of the form (1.15), <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M23','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M23">View MathML</a>, commute in A and their product

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M24','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M24">View MathML</a>

(1.16)

can be represented as an m-tuple E-K operator (1.4), i.e., by means of a single integral involving a G-function:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M25','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M25">View MathML</a>

(1.17)

and conversely, under the same conditions, each multiple E-K operator of form (1.4) can be represented as a product (1.16).

2 Preliminaries

Proposition 2.1 (Kiryakova [9,12]). All the generalized hypergeometric functions pFq can be considered as generalized (q-tuple) fractional differintegrals (1.4), (1.5), (1.8), and (1.9) of one of the elementary functions:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M26','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M26">View MathML</a>

Lemma 2.1 [2,9,13]. Let |z| < ∞ (|z| < 1 for p = q + 1), then

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M27','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M27">View MathML</a>

(2.1)

The generalized hypergeometric functions pFq(z) are special cases of the Meijer's G-functions (see, [2,9,14]):

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M28','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M28">View MathML</a>

(2.2)

and this plays an important role in obtaining our results in the current study. The representation (2.2) can be written in the following form for the three cases: (a) p = 0, q = 1; (b) p = 1, q = 1; (c) p = 1,q = 0:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M29','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M29">View MathML</a>

Thus, it happens to be sufficient that we consider the three basic univalent Meijer's G-functions; <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M30','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M30">View MathML</a> and then, a lot of univalent Meijer's G-functions can be obtained by using the following approach based on [9]:

Proposition 2.2. All of the univalent Meijer's G-functions, <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M31','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M31">View MathML</a>, can be considered as the generalized (q-tuple) fractional differintegrals (1.4), (1.5), (1.8), and (1.9) of one of the three simplest univalent G-functions, namely, <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M32','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M32">View MathML</a>, and <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M33','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M33">View MathML</a>, depending on whether p <q, p = q, p = q + 1.

Lemma 2.1 can also be easily rewritten in the context of the present study, in terms of the G-functions:

Lemma 2.2. Let |z| < ∞ (|z| < 1 for p = q + 1), then

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M34','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M34">View MathML</a>

(2.3)

3 Classification tables for the actions of the single and double E-K operators

It is believed that Lemma 2.2 is the best inspiration for the current research here, to provide some operators that can transform a Meijer's G-function "<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M1">View MathML</a>" into another such function "<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M35','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M35">View MathML</a>". Such operators happen to be the generalized fractional calculus operators by Kiryakova [2].

The univalent Meijer's G-functions are classified into three types (depending on the relationship between orders p and q, Proposition 2.2) and due to Lemma 2.2, a number of transformations between two different G-functions can be summarized and classified as in Tables 1, 2, 3, and 4.

Table 1. The effect of the Erdélyi-Kober operators on the Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-functions

Table 2. The effect of the well-known Erdélyi-Kober operators on Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function

Table 3. The effect of the two-tuple Erdélyi-Kober operators on the Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function (p = q + 1 = 1)

Table 4. The effect of the two-tuple Erdélyi-Kober operators on the Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function (p = q = 1)

In Table 1, a classification is made for the operators that transform the three basic Meijer's G-functions (<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M74">View MathML</a>) into other G-functions, depending on the three cases p = q + 1, p = q and p <q. Here, we consider single (classical) simple Erdélyi-Kober integrals (1.6) or the respective E-K derivatives.

Recently Kiryakova et al. [2,3] obtained ones of the most general fractional differintegral operators, generalizing many well-known operators in the univalent function theory. In Table 2, some of these known operators are shown to transform the three basic classes of Meijer's G-functions. An important point here is that instead of presenting them in the form of E-K operators (1.6), we find it better to work in the terms used in Table 2, then we could try to study these operators.

In Table 3, we show the action of compositions of two E-K operators (in sense of Theorem 1.2), the so-called two-tuple E-K operators (they can be two-tuple "integral" operators, two-tuple "differential" operators or the two-tuple mixed "differintegral" operators) to transform <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-functions with p = q + 1. Let us note that these operators appear as special cases of Definitions 1.2 and 1.3 when m = 2, and are also called "hypergeometric fractional integrals and derivatives". The conditions on the parameters ak+1 and bk, k = 1,2,3 in the column "conditions" determine the form and the kind of the operators.

In Table 4, the compositions of two classical E-K operators (again the case m = 2) act on the Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function with p = q = 1.

Finally, in Table 5, the third classified <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function with p <q, p = 0, q = 1 is shown has transformed by the action of these two-tuple E-K operators, so to obtain new univalent Meijer's G-functions.

Table 5. The effect of the two-tuple Erdélyi-Kober operators on the Meijer's <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M36">View MathML</a>-function (p <q, p = 0, q = 1)

4 The starlike, convex, and positive real part G-functions

There is an elementary and beautiful relationship between the convex and starlike functions that was first noticed by Alexander [1,15]. The form of this relation can be now rewritten in the language of the Meijer G-functions and the fractional differintegral operators, as follows:

<a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M81">View MathML</a>

As a fact, the operators <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M82','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M82">View MathML</a>, and <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M49','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M49">View MathML</a> are the E-K operators from Table 1 (or Table 2).

If the Noshiro-Warschawski theorem [1] is used (if Re(f'(z)) > 0 for all z in a convex domain D, and f(z) is univalent in D), a lot of inequality relations can then be obtained for the Meijer G-functions. All the univalent Meijer's G-functions in our Tables 1, 2, 3, and 4 can be used and it is deduced that <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M83">View MathML</a>, etc. In other words, all the functions <a onClick="popup('http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M84','MathML',630,470);return false;" target="_blank" href="http://www.journalofinequalitiesandapplications.com/content/2012/1/36/mathml/M84">View MathML</a>, etc. belong to the functions with a positive real part.

5 Conclusions

After the classification results in Proposition 2.2 and Lemma 2.2 (as consequences of Kiryakova's works), in this article the univalent Meijer's G-functions are studied under the action of the classical E-K operators and their two-tuple compositions. It happens that it is enough to use the differintegral operators of the GFC [2], for m = 1,2. By means of such approach, based on these operators, and using some statements from the theory of the GFC, some new relationships for the starlike and convex functions and also the functions with positive real part can be interpreted in terms of the Meijer's G-functions.

Competing interests

The authors declare that they have no competing interests.

Authors' contributions

AP is currently a PhD student under supervision of the MD and jointly worked on deriving the results. All authors read and approved the final manuscript.

Acknowledgements

This study was supported by MOHE with the grant number: UKM-ST-06-FRGS0244-2010. The authors also would like to thank the two referees for giving such informative and critical views to improve the contents of this article.

References

  1. Duren, PL: Univalent Functions. Springer-Verlag, New York (1983)

  2. Kiryakova, V: Generalized Fractional Calculus and Applications. Longman, Harlow, UK (1994)

  3. Kiryakova, V, Saigo, M, Srivastava, HM: Some criteria for univalence of analytic Functions involving generalized fractional calculus operators. Fract Calc Appl Anal. 1, 79–104 (1998)

  4. Kiryakova, V, Saigo, M, Owa, S: Distortion and characterization theorems for starlike and convex functions related to generalized fractional calculus. Res Inst Math Sci, Kyoto Univ, Proc Kyoto Seminar on Unival F-s. 25–46 March 24-27 1997 (1997)

  5. Andrews, LC: Special Functions for Engineers and Applied Mathematicians. MacMil-lan, New York (1985)

  6. Luke, YL: The Special Functions and Their Approximations. Complex Variables, Academic Press, New York (1969)

  7. Klimyik, AU: Meijer G-function. In: Michiel, H (eds.) Encyclopaedia of Mathematics, Springer, Berlin (2001) ISBN 978-1556080104

  8. Askey, RA: Meijer G-function. In: Adri D, Olde B (eds.) NIST Handbook of Mathematical Functions, Cambridge University Press, Cambridge (2010) ISBN 978-051192255

  9. Kiryakova, V: All the special functions are fractional differintegrals of elementary functions. J Phys A: Math Gen. 30, 5085–5103 (1997). Publisher Full Text OpenURL

  10. Sneddon, I: The use in mathematical analysis of the Erdélyi-Kober operators and some of their applications in fractional calculus and applications. Proc Int Conf (New Haven) (Lecture Notes in Math 457), pp. 37–79. Springer, Berlin (1975)

  11. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives. Gordon and Breach, Yverdon, Switzerland (1993)

  12. Kiryakova, V: The special functions of fractional calculus as generalized fractional calculus operators of some basic functions. Comput Math Appl. 59, 1128–1141 (2010). Publisher Full Text OpenURL

  13. Lavoie, JL, Osler, TJ, Tremblay, R: Fractional derivatives and special functions. SIAM Rev. 18, 24–68 (1976)

  14. Erdélyi, A, Magnus, W, Oberhettinger, F, Tricomi, F: Higher Transcendental Functions. McGraw-Hill, Book Company, Inc, New York (1953)

  15. Alexander, JW: Functions that map the interior of the unit circle upon simple regions. Ann of Math. 17, 12–22 (1915). Publisher Full Text OpenURL