Abstract

A few complex (differential) equations constituted by certain operators consisting of fractional calculus are first presented and some of their comprehensive consequences relating to (analytic and) geometric function theory are then pointed out.

1. Introduction, Definitions, Notations, and Motivation

From the literature, as we know, fractional calculus (FC) is a generalization of ordinary differentiation and integration to arbitrary noninteger order. This subject is as old as the differential calculus and also goes back to time when Leibniz and Newton invented differential calculus. The efficient usage of FC has been a subject of interest not only among mathematicians but also among physicists and engineers, appearing in rheology, viscoelasticity, electrochemistry, electromagnetism, and so forth. For example, see the works in the references in [111].

Fractional differential equations (FDE), that is, differential equations determined by FC, have also many applications in modeling of physical and chemical processes and in engineering. In their turn, mathematical aspects of studies on FDC were discussed by several authors. For those, can be also seen the works in [3, 1229].

As we have emphasized just above, the main purpose of this investigation is both to present a novel work relating to analytic and/or geometric function theory (AGFT) and FDC and to reveal some (comprehensive) results between certain complex valued functions and complex (differential) equations constituted by certain operators dealing with FC. In particular, special consequences of the main results are also pointed out in the concluding section of this paper.

Now, there is a need to introduce some notations and definitions which will be used in this work.

First, let , , and be the set of real numbers, the set of complex numbers and the set of positive integers, respectively. Also let , and .

For and an analytic function , the symbol denotes an operator of FC, which is defined as follows (cf., e.g., [9, 3033]).

Let be an analytic function in a simply-connected region of the -plane containing the origin. Then, the fractional derivative of order is defined by where the multiplicity of above is removed by requiring to be real when . Note that, here and throughout this investigation, the function is the well-known gamma function.

Under the hypotheses of the definition above, for an analytic function , the fractional derivative of order is also defined by

By means of (1) and (2), for a function , it can be easily determined that for some and for all with .

In the usual notation, let denote the family of the functions normalized by the following Taylor-Maclaurin series: which are analytic in the unit open disk . Also let denote the family of functions belonging to which are univalent in the open disk . As is known, the functions family has important roles for AGFT (see [34, 35]). In particulare, some of the important and well-investigated families of the univalent function family include the family of starlike functions of order and the family of convex functions of order in the domain . As their definitions, we also recall

It readily follows from definitions (5) that if and only if . For their details, one may refer to [34, 35].

Now, by using the operator , for a function in (or, in ), given by (1), we can again define a linear operator as in the following form: where .

2. Main Result and Certain Consequences

In this section, firstly, in order to prove main result, we need to recall the following assertion given by [36].

Lemma 1. Let be an analytic function in the disk with . If there exists a point in such that then

The comprehensive main result involving certain analytic functions and complex equations constituted by FC, which is fractional derivatives, is contained in Theorem 2 below.

Theorem 2. Let be an analytic function and satisfy any of the following inequalities: and also let the function be defined in the following form:
If satisfies the following complex equation: then

Proof. For a function , we assume that has got the form as in (10). Then, in view of together with (6), it can be easily derived that where , , , and . Clearly, the function has a removable singular point at and also its series expansion is in the following form:
It follows from equality (13) along with (14) that one can define a function by Obviously, has a similar series expansion to the function in (14) and is an analytic function in with . By the help of equality (15), we obtain or, equivalently,
Suppose now that there exists a point in such that Then, from (8) of Lemma 1, we obtain that
If we use the related equations in (17), we then arrive at But the results in (20) are contradictions with the assumptions in (9) and (10), respectively. Hence, the equality in (15) yields that for all in . Therefore, we evidently receive the inequality in (12). This completes the desired proof.

As we emphasized before, Theorem 2 includes several comprehensive results in relation with AGFT. Specially, some of its consequences containing results between certain complex (differential) equations constituted by certain operators consisting of fractional calculus and the theory of univalent functions are fairly important results. Accordingly, we want to focus on only one of them (which is Proposition 3 below) and also its two useful applications (which are Corollaries 4 and 5 below). The other possible consequences of the main result (which are here omitted) are presented to the attention of the researchers who have been working on the theory of differential equation and/or univalent function.

Proposition 3. Let be an analytic function and satisfy any of the inequalities given by (9), and also let be defined by (10). If satisfies the following complex equation: then

Proof. By taking in Theorem 2 and also using the following well-known identity: the proof of Proposition 3 can be easily proven. Its detail is here omitted.

By letting and in Proposition 3 (or equivalent choosing in Theorem 2), the result (which is Corollary 4 below) relating to starlikeness of order can be next obtained.

Corollary 4. Let be an analytic function and satisfy any of the inequalities given by (9). If the function satisfies the following nonlinear complex differential equation: then , where and .

By setting and in Proposition 3 (or equivalent choosing in Theorem 2), the result (which is Corollary 5 below) dealing with convexity of order can be also obtained.

Corollary 5. Let be an analytic function and satisfy any of the inequalities given by (9). If the fuction satisfies the following nonlinear complex differential equation: then , where and .

Conflict of Interests

The authors declare that there is no conflict of interests.

Acknowledgment

The work in this investigation was supported by TÜBTAK (The Scientific and Technological Research Council of TURKEY) with the Project no. 105T056.