1. Introduction
A series introduced by Johann Heinrich Lambert, commonly known as Lambert series is expressed as follows:
It is a type of series that is well-known in both number theory and analytic function theory. Lambert (see [
1,
2]) considered it in the context of the convergence of power series. Lambert series given by (1) converges either everywhere except at
when
converges, or at every
such that
converges.
In number theory, (see [
3,
4,
5,
6]), Lambert series is used for certain problems due to its connection to the well-known arithmetic functions such as
where
is the number of positive divisors of
where
is the higher-order sum of divisors function of
.
We restrict our attention to the series given by (3). In particular, when we write here is the sum of divisors function that appears in one of the elementary equivalent statements to the well-known Riemann Hypothesis.
We distinguish at the outset between Lambert series and Lambert W function that appears naturally in the solution of a wide range of problems in science and engineering [
7].
In 1984, Guy Robin [
8] proved that
Moreover, he proved that Riemann hypothesis is equivalent to
where
, is the Euler-Mascheroni constant.
This article makes no attempt to prove or refute the Robin's inequality (5) or the Riemann hypothesis. For more details, we refer the interested readers to read the articles listed in the references [
9,
10,
11,
12,
13,
14].
Let
denote the class of analytic functions of the form
and
be the subclass of
consisting of univalent (or one-to-one) functions on
. The importance of the coefficients given by the power series in (6) emerged in the early stage of the theory of univalent functions. Earlier in 1916, Bieberbach [
15] proved that the second coefficient
, with equality holding if and only if
f is a rotation of the Köebe’s function:
.
In the same work, Bieberbach conjectured the general coefficient bound that
while the equality holds if and only if
f is a rotation of the Köebe’s function. This conjecture came to be known as the famed Bieberbach Conjecture and resisted a rigorous proof for about seven decades until Louis de Branges proved it in 1985 [
16], and the result came to be known as de Branges’s Theorem. Geometrically this amounts to shrinking or expanding the domain
, and possibly rotating
but does not disturb the univalence of the function. Later on, new concepts were introduced in the theory of univalent functions including, but not limited to, starlike, convex, spiral-like and uniformly starlike (convex).
In fact, the study on introducing new subclasses of analytic functions goes on by means of various applications, such as fractional calculus, quantum calculus or by involving some special functions like Mittag-Leffler function, Faber polynomial functions etc., see for details [
17,
18,
19,
20,
21,
22,
23,
24]. The most common concern in such a study is the inclusion conditions. Alternatively, it means that for
a given new subclass (say) , seek a set of useful conditions on the sequence that are both necessary and sufficient for to be a member of .
The Rabotnov function defined as follows (See [
25])
Clearly,
Rabotnov function is the particular case of the familiar Mittag-Leffler function widely used in the solution of fractional order integral equations or fractional order differential equations. The relation between the Rabotnov function and Mittag-Leffler function can be written as follows
where
is the two parameters Mittag-Leffler function. Several properties of Mittag-Leffler function and generalized Mittag-Leffler function can be found in [
26,
27,
28,
29,
30].
It is clear that the Rabotnov function does not belong to the family
. Thus, it is natural to consider the following normalization of Rabotnov function
Geometric properties including starlikeness, convexity and close-to-convexity for the normalized Rabotnov function were recently studies in [
31].
This work is an attempt to apply Lambert series in the theory of univalent functions. This may open relevant studies if one considers the Lambert series associated to other special functions such as Mittag-Leffler or any of its generalizations. Hence, we can investigate various topics rather than the geometric properties, that can evoke Hankel determinant, subordination properties and Fekete-Szegö. Besides, these results are extendable to multivalent functions and meromorphic functions.
Here, we recall the definition of Hadamard product (convolution): For a given function
of the form (6) and
of the form
then the convolution
of the two functions
and
becomes,
Subsequently, we utilize the Lambert series whose coefficients are the sum of divisors function
. The mathematical form is as under:
For function
of the form (6), we define the linear operator
as follows:
Now, for short hand we denote the coefficient of
by
From Robin’s inequalities we obtain
Remark 1. Unconditionally, from Robin’s inequality (3). For
Remark 2. If Riemann hypothesis (4) holds true, then for
Next, we provide sufficient conditions for the operator (10) to be starlike, convex and closed-to-convex, respectively. We also evoke the consequence of Robin’s inequalities or Riemann hypothesis in each derived result and vice versa.
Firstly, we recall some relevant definitions and Lemmas that we consider in this study.
Definition 1 . Function of the form (6) is said to be starlike or
if
Definition 2 . Function of the form (6) is said to be convex or
if
Definition 3 . Function of the form (6) is said to be closed-to-convex or
if
The above definitions have been investigated in different studies, see for example [
32,
33,
34,
35]. Moreover, Noshiro-Warschawski [
36,
37] provided the following inclusion result:
Lemma 1. ([
38])
Function of the form (6) is univalent in if
or
Furthermore, is closed-to-convex with respect to the convex function
Lemma 2. [
39]
Function of the form (6) is starlike in if and both are non-increasing.
2. Main Results
Theorem 1. The operator
defined in (10) is close-to-convex with respect to
and therefore univalent in
if for every consecutive natural numbers
and
with
and
Proof. We utilize Lemma 1. First, we need to prove by induction that
For
(11) obviously holds true. Assuming (11) is true for
we conclude
Recall
From (12) when
we obtain
Using condition (11)
To verify that the first condition of Lemma 1 holds, we need to show that the sequence
is decreasing:
where
considering
we receive
From Theorem 1. Using the fact that the coefficients of a univalent function satisfy the inequality , we derive the following results.
Corollary 1 . If the conditions of Theorem 1 hold true, then
Corollary 2 . If the conditions of Theorem 1 hold true and then Riemann hypothesis holds true.
Theorem 2.
The operator defined in (10) is starlike in if for every consecutive natural numbers and with and
Proof. In here, we use Lemma 2. We omit the proof that the sequence
is non-increasing since it is similar to the one in Theorem 1. Therefore, we need to show that
is also non-increasing. For the sake of simplicity, we let
and we have
Where
We use the fact that
Theorem 3. The operator
defined in (10) is convex in
if for every consecutive natural numbers
and
with
and
Proof. Let
is analytic in
and
. We need to prove that
From (13) and (14) we obtain
From Theorem 3. Using the fact that the coefficients of a univalent function satisfy the inequality , we derive the following results.
Corollary 3 . If the conditions of Theorem 3 hold true, then
Corollary 4 . If the conditions of Theorem 3 hold true, and then Riemann hypothesis holds true.