Some Relations between Certain Complex Equations and Nonnormalized Meromorphic Functions

Abstract

The purpose of this investigation is first to reveal some relations between certain complex (differential) equations and nonnormalized meromorphic functions and then to point some of their useful consequences out.

1. Introduction, Notations, Definitions, and Motivation

As is known, a differential equation is an equation that involves the derivatives of a function as well as the function itself. If partial derivatives are involved, the equation is called a partial differential equation; if only ordinary derivatives are present, the equation is called an ordinary differential equation (ODE). Differential equations play an extremely important and useful role in applied math, engineering, and physics, and more mathematical and numerical machineries have been developed for the solution to differential equations.

As we also know, ODE is a differential equation in which the unknown function (also known as the dependent variable) is a function of a single independent variable. In the simplest form, the unknown function is a real- or complex-valued function, but more generally, it may be vector-valued or matrix-valued; this corresponds to considering a system of ordinary differential equations for a single function. Ordinary differential equations are further classified according to the order of the highest derivative of the dependent variable with respect to the independent variable appearing in the equation. The most important cases for applications are first-order and second-order differential equations.

The theory of differential equations is closely related to the theory of difference equations, in which the coordinates assume only discrete values, and the relationship involves values of the unknown function or functions and values at nearby coordinates. There are many methods to compute numerical solutions to differential equations and studies on the properties of differential equations involving approximation theory of the solution to a differential equation by the solution to a corresponding differential equation.

In this work, as a novel investigation, we want to focus on certain types of (linear or nonlinear) first-order complex differential equation. Especially, for functions and being analytic in certain domains of complex domain, we want to take cognizance of a few types of certain complex equations including several first-order complex differential equations like and to reveal some of their useful implications between certain complex (differential) equations and nonnormalized multivalent functions which are analytic in the punctured unit disk and meromorphic in the unit disk. For those, we need to present some information and introduce certain definitions.

First of all, here and throughout this paper, let be the set of real numbers, let be the set of complex numbers, let be the set of positive integers, let be the open unit disk, and let be the punctured unit disk in , that is, and . Let also denote the family consisting of the nonnormalized meromorphically multivalent functions in the following form: which are analytic in the domain and which (in the special case when ) have a simple pole at origin () with residue there.

By making use of the function belonging to the class , which is, of course, in the form of (2), we now define three operators which are , , and , respectively, in the following forms: where , , , , and .

As we have said shortly before, the purpose of this present paper is first to determine some operators generated by the nonnormalized meromorphically multivalent functions and, in view of them, to characterize some complex (differential) equations and then to reveal some useful results between the related equations and nonnormalized meromorphic functions and also to point a number of their consequences relating to univalent functions out. For the proofs of the main results, one of the novel types of the well-known assertions generated by Miller and Mocanu in [1, pages 33–35] which are more general than the result of Jack [2] is used there. In addition, for researchers who have been working on these topics, some works dealing with the related proof techniques in [3, 4] and also in [5] can be checked, as examples.

We now recall the following assertions that will be required in the present research.

Lemma 1 (see[1]). Let and suppose that the function satisfies for all , , and . If the function is in the class and for all , then .

Lemma 2 (see [1]). Let and suppose that the function satisfies for all , , and . If the function is , and for all , then .

2. The Main Results

Before proving the main results, it will be to the point that we derive the open forms of the applications of the operators defined by (3) and (4). For this reason, by applying the related operators to the functions stated in (3) and (4), respectively, the following expressions are easily derived: where, for all , , , , , , and .

We now begin by setting and then by proving the following theorems concerning certain results derived by using both the above operators together with (4) and Lemma 1.

Theorem 3. Let , , , and let the function satisfy the inequality and also let the function be the (unique) solution to the complex equation Then, where the value of the above complex power is taken to be as its principal value and the operator is defined by (5).

Proof. In light of (6) and also (5), let us define a function by Clearly, is both an analytic function in and meromorphic function in , and also it is in the class , which is defined as in Lemma 1 with , and It is easily seen that the function is an analytic function in the domain and a solution to the complex equation given by (8).
Let Then it is easily observed that for all . In addition, for any , , and , due to we arrive at that is, . Therefore, in view of Lemma 1, the assumption in (10) yields that which is the proof of Theorem 4.

With the help of the related operators and Lemma 2, the second theorem (below) can be also proved.

Theorem 4. Let , , , , and let the function satisfy any of the inequalities and also let the function be the solution to the complex equation given by (8). Then, where the value of the above complex expression is taken to be as its principal value and the operator is defined by (5).

Proof. With the help of (6) and also (5), again define a function in the following form: Then, it is easy to see that is both an analytic function in and meromorphic function in . Further, belongs to the class , which is the class given in Lemma 1 with . The equality in (18) immediately yields that It is clear that is an analytic function in the disk and also the solution to the equation given by (8).
Let Then, from the following definitions: it can be easily seen that for all . Further, for any and owing to we so get that that is, does not belong to .
Finally, from (18), we obtain the inequality which implies the inequality in (17). This completes the proof of Theorem 4.

3. Certain Implications of the Main Results

The operators defined by (3), (4), and (5) have a major contribution to both analytic and geometric function theory (cf., e.g., [6–9]), as their certain conclusions. For these, selecting the appropriate values of the parameters in the definition of , several rational type functions are easily reserved. For example, the following relations can be considered: where and . Clearly, the above rational type functions are both multivalently analytic in and multivalently meromorphic in . Indeed, in statements like (27) and also (5), in which the functions quotients involved have removable singularities at the point , it is tacitly assumed that such function quotients have had these singularities removed. Thereby, those also are important results for geometric function theory (cf., e.g., [6, 7] and also see, for certain operators, [10–12]). In addition, if one focuses on the main results, several useful consequences related to both Theorems 3 and 4 can be easily revealed. Some of them deal with analytic function theory and others are related to geometric function theory. In this chapter, only two consequences belonging to two theorems were indicated below. To reveal the other possible consequences (which will be also interested in analytic or geometric properties of complex function with one variable), it is possible to choose the suitable values of the parameters in all theorems (or in their special results). Although these are omitted here, researchers who have been working on this area may easily reveal them.

By setting , , and in Theorem 3, the following proposition which also includes meromorphic starlikeness in the domain (or in ) can be firstly proven.

Proposition 5. Let , , , , and let the function satisfy any of the following inequalities: and also let the function be the solution to the following complex differential equation: Then holds, where the value of the complex power above is taken into account to be as its principal value.

By taking , , and in Theorem 4, the following proposition which also contains meromorphic convexity in the domain (or in ) can be then proved.

Proposition 6. Let , , , , and let the function satisfy any of the following inequalities: and also let the function be the solution to the following complex differential equation: Then is true, where the value of the complex power above is taken into consideration to be as its principal value.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The work on this study was supported by the International Research Project financed by TÜBİTAK (The Scientific and Technical Research Council of TURKEY) with the Project no. U-105T056.