Preprint
Article

Geometric Properties of a Linear Operator Involving Lambert Series and Rabotnov Function

Altmetrics

Downloads

144

Views

91

Comments

0

This version is not peer-reviewed

Submitted:

10 December 2023

Posted:

11 December 2023

You are already at the latest version

Alerts
Abstract
In this study, we consider a Lambert series whose coefficients are the sum of divisors function. Utilizing the Lambert series in the sequel we introduce a normalized linear operator JR_(α,β) (z) by applying the convolution with Rabotnov function. We then, acquire sufficient conditions for JR_(α,β) (z) to be Univalent, Starlike and Convex respectively. In each component of this study, we expand the derived results by applying two Robin's inequalities, one of which is equivalent to the Riemann hypothesis.
Keywords: 
Subject: Computer Science and Mathematics  -   Mathematics

1. Introduction

A series introduced by Johann Heinrich Lambert, commonly known as Lambert series is expressed as follows:
S ( x ) = n = 1 a n   x n 1 x n ,  
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 x = ± 1   when 1 a n converges, or at every x such that 1 a n x n 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
n = 1 σ 0 n x n = n = 1 x n 1 x n ,
where σ 0 n = d ( n ) is the number of positive divisors of n .
n = 1 σ α n x n = n = 1 n α x n 1 x n ,
where σ α n is the higher-order sum of divisors function of n .
We restrict our attention to the series given by (3). In particular, when α = 1 ,   we write σ 1 n = σ n , here σ n 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
σ n < e γ n log log n + 0.6483 n log log n ,                     n   3
Moreover, he proved that Riemann hypothesis is equivalent to
σ n < e γ n log ( log n ) ,           n > 5040 ,
where γ = 0.7721 , 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 A denote the class of analytic functions of the form
f z = z + n = 2 a n z n ,         z   D : = z C : z < 1 ,
and S be the subclass of A consisting of univalent (or one-to-one) functions on D . 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 a 2 2 , with equality holding if and only if  f  is a rotation of the Köebe’s function: f z = z + n = 2 n z n .
In the same work, Bieberbach conjectured the general coefficient bound that a n n ,     n   2 , 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 D , and possibly rotating D 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)   H  , seek a set of useful conditions on the sequence   a n    that are both necessary and sufficient for   f z  to be a member of   H .
The Rabotnov function defined as follows (See [25])
R α ,   β z = z α n = 0 β n Γ n + 1 α + 1   z n α + 1 ,     α ,   β ,   z C .
Clearly, R 0 , β z = n = 0 β n n ! z n = e β z
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
R α ,   β z = z α E α + 1 ,   α + 1 β z α + 1 ,
where E α + 1 ,   α + 1 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 A . Thus, it is natural to consider the following normalization of Rabotnov function
R α ,   β z : = z 1 α + 1 Γ α + 1 R α ,   β z 1 α + 1 = z + n = 2 β n 1 Γ α + 1 Γ n α + 1   z n
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 f A of the form (6) and g A of the form
g z = z + n = 2 b n z n ,                 z D ,
then the convolution ( ) of the two functions f and g becomes,
f g z z + n = 2 a n b n z n   ,         z     D .
Subsequently, we utilize the Lambert series whose coefficients are the sum of divisors function σ ( n ) . The mathematical form is as under:
L z = n = 1 n   z n 1 z n = n = 1 σ n z n = z + n = 2 σ n z n ,       z D .
For function f A of the form (6), we define the linear operator J R α ,   β z :   A A   as follows:
J R α ,   β z   R α ,   β L z = z + n = 2 β n 1 Γ α + 1 Γ n α + 1 σ n z n ,       D .
Now, for short hand we denote the coefficient of J R α ,   β z by
a n = β n 1 Γ α + 1 Γ n α + 1 σ n .    
From Robin’s inequalities we obtain
Remark 1. 
 Unconditionally, from Robin’s inequality (3). For  n   3
a n < β n 1 Γ α + 1 Γ n α + 1 e γ n log log n + 0.6483 n log log n
Remark 2. 
 If Riemann hypothesis (4) holds true, then for  n > 5040
a n < β n 1 Γ α + 1 Γ n α + 1 e γ n log log n
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   f A  of the form (6) is said to be starlike or   f S  if
R e z f ' ( z ) f ( z ) > 0 ,       z D .
Definition 2 
.  Function   f A    of the form (6) is said to be convex or  f C    if
R e z f ' ' ( z ) f ' ( z ) + 1 > 0 ,       z D .
Definition 3 
.  Function   f A    of the form (6) is said to be closed-to-convex or   f K    if
R e f ' ( z ) g ' ( z ) > 0 ,       g   C ,   z D .
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: C S   K S .
Lemma 1. 
([38])  Function   f A  of the form (6) is univalent in   D  if  
1   2 a 2   2 a n 0 ,
 or
1   2 a 2   2 a n 2 .
 Furthermore,  f  is closed-to-convex with respect to the convex function   L o g   1 z .
Lemma 2. 
[39]  Function   f A  of the form (6) is starlike in   D  if   a n 0 ,     n a n  and   n a n n + 1 a n + 1  both are non-increasing.

2. Main Results

Theorem 1. 
 The operator   J R α ,   β z  defined in (10) is close-to-convex with respect to   log 1 z  and therefore univalent in   D  if for every consecutive natural numbers   n  and   n + 1 ,    with   α 0  and   β > 0 .
( α + 1 ) σ n 2 β σ n + 1
Proof. 
We utilize Lemma 1. First, we need to prove by induction that
α + 1 n 1 n 1 ! Γ α + 1 Γ n α + 1 ,   n = 1,2 ,
For n = 1 , (11) obviously holds true. Assuming (11) is true for n 1 , we conclude
α + 1 n n ! Γ α + 1 = α + 1 n α + 1 n 1 n 1 ! Γ α + 1                       α + 1 n   Γ n α + 1 = Γ α + 1 n + 1         Γ α + 1 n + 1 .
Recall
a n = β n 1 Γ α + 1 Γ n α + 1 σ n ,     n   2 ,       a 1 = 1 .
From (12) when n = 2 we obtain
( α + 1 ) Γ α + 1 Γ 2 α + 1 1
Using condition (11)
2 a 2 = 2 β σ 2 Γ α + 1 Γ 2 α + 1   2 β σ 2 α + 1 1 .
To verify that the first condition of Lemma 1 holds, we need to show that the sequence n a n is decreasing:
n a n n + 1 a n + 1 = n β n 1 Γ α + 1 Γ n α + 1 σ n n + 1 β n Γ α + 1 Γ ( n + 1 ) α + 1 σ n + 1                                                                         n β n 1 Γ α + 1 Γ n α + 1 σ n n + 1 β n Γ α + 1 Γ n α + 1 + 1 σ n + 1                                                                                                       = n 2 ( α + 1 ) β n 1 Γ α + 1 Γ n α + 1 + 1 σ n n + 1 β n Γ α + 1 Γ n α + 1 + 1 σ n + 1   = β n 1 Γ α + 1 Γ n α + 1 + 1   X n ,
where X n = n 2 α + 1 σ n n + 1 β σ n + 1 considering n 2 n + 1 , n > 1 we receive
X n = n 2 α + 1 σ n n + 1 β σ n + 1                                           n + 1 α + 1 σ n n + 1 β σ n + 1                     n + 1 α + 1 σ n β σ n + 1 .                                         n + 1 α + 1 σ n 2 β σ n + 1 0 .
From Theorem 1. Using the fact that the coefficients of a univalent function satisfy the inequality a n n , we derive the following results.
Corollary 1 
. If the conditions of Theorem 1 hold true, then
σ n   n Γ n α + 1 β n 1 Γ α + 1 ,         n   2 .
Corollary 2 
.  If the conditions of Theorem 1 hold true and   Γ n α + 1 β n 1 Γ α + 1 < e γ log log n ,   n > 5040  then Riemann hypothesis holds true.
Theorem 2.  
The operator   J R α ,   β z  defined in (10) is starlike in   D  if for every consecutive natural numbers   n  and   n + 1 ,    with   α 0  and   β > 0 .   ( α + 1 ) σ n 2 β σ n + 1
Proof. 
In here, we use Lemma 2. We omit the proof that the sequence n a n is non-increasing since it is similar to the one in Theorem 1. Therefore, we need to show that n a n n + 1 a n + 1 is also non-increasing. For the sake of simplicity, we let b n = n a n n + 1 a n + 1 and we have
b n b n + 1 = n a n 2 n + 1 a n + 1 + n + 2 a n + 2         = n β n 1 Γ α + 1 Γ n α + 1 σ n 2 n + 1 β n Γ α + 1 Γ n + 1 α + 1 σ n + 1 + n + 2 β n + 1 Γ α + 1 Γ ( n + 2 ) α + 1 σ n + 2           n β n 1 Γ α + 1 Γ n α + 1 σ n 2 n + 1 β n Γ α + 1 Γ n + 1 α + 1 σ n + 1             n β n 1 Γ α + 1 Γ n α + 1 σ n 2 n + 1 β n Γ α + 1 Γ n α + 1 + 1 σ n + 1   = n 2 α + 1 β n 1 Γ α + 1 Γ n α + 1 + 1 σ n 2 n + 1 β n Γ α + 1 Γ n α + 1 + 1 σ n + 1 = β n 1 Γ α + 1 Γ n α + 1 + 1 Y n ,
Where Y n = n 2 α + 1 σ n 2 n + 1 β σ n + 1 . We use the fact that n 2 n + 1 , n > 1 ,
Y n = n 2 α + 1 σ n 2 n + 1 β σ n + 1 n + 1 α + 1 σ n 2 n + 1 β σ n + 1 n + 1 α + 1 σ n 2 β σ n + 1 0 .
Theorem 3. 
 The operator   J R α ,   β z  defined in (10) is convex in   D  if for every consecutive natural numbers   n  and   n + 1 ,    with   α 0  and   β > 0 .
n = 2 n 2 β n 1 σ n α + 1 n 1 n 1 ! < 1 .
Proof. 
Let
p z = 1 + z J R α ,   β ' ' z J R α ,   β ' z ,   z   D ,
p z is analytic in D and p 0 = 1 . We need to prove that p z 1 < 1 ,
z J R α ,   β ' ' z = n = 2 n n 1 β n 1 Γ ( α + 1 ) σ n Γ n α + 1 z n 1 < n = 2 n n 1 β n 1 Γ ( α + 1 ) σ n Γ n α + 1
n = 2 n n 1 β n 1 σ n α + 1 n 1 n 1 !
J R α ,   β ' z = 1 + n = 2 n β n 1 Γ ( α + 1 ) σ n Γ n α + 1 z n 1 > 1 n = 2 n β n 1 Γ ( α + 1 ) σ n Γ n α + 1
1 n = 2 n β n 1 σ n α + 1 n 1 n 1 !  
From (13) and (14) we obtain
z J R α ,   β ' ' z J R α ,   β ' z < n = 2 n n 1 β n 1 σ n α + 1 n 1 n 1 ! 1 n = 2 n β n 1 σ n α + 1 n 1 n 1 !   < 1
From Theorem 3. Using the fact that the coefficients of a univalent function satisfy the inequality a n 1 , we derive the following results.
Corollary 3 
. If the conditions of Theorem 3 hold true, then
σ n   Γ n α + 1 β n 1 Γ α + 1 ,         n   2 .
Corollary 4 
.  If the conditions of Theorem 3 hold true, and   Γ n α + 1 β n 1 Γ α + 1 < e γ n log log n ,   n > 5040  then Riemann hypothesis holds true.

3. Conclusions

By the means of Lambert series whose coefficients are the sum of divisors function, we considered the normalized linear operator J R α ,   β z   by applying the convolution with Rabotnov function. We provided sufficient conditions for J R α ,   β z   to be Univalent, Starlike and Convex respectively. When applicable, we expand the derived results by applying two Robin's inequalities (3) and (4).

Acknowledgments

The authors are thankful to the referees for their valuable comments which helped in improving the paper. This research received no external funding.

Conflict of interest

The authors declare no conflict of interest.

References

  1. Lambert J H, Anlage Zür Architektonik., Vol. II (1971) Riga p. 507.
  2. R. P. Agarwal. Lambert series and Ramanujan.  Proc. Indian Acad. Sci.,  103 (1993), 269–293. [CrossRef]
  3. L. Lóczi, Guaranteed- and high-precision evaluation of the Lambert W function,  Appl. Math. Comput., 433 (2022), 1-22. [CrossRef]
  4. Schmidt, M. D. A catalog of interesting and useful Lambert series identities.  arXiv preprint arXiv:2004.02976, (2020).
  5. Postnikov A G,  Introduction to analytical number theory  (Moscow) 1971.
  6. T. M. Apostol.  Introduction to Analytic Number Theory. Springer–Verlag, 1976.
  7. Kesisoglou I, Singh G, Nikolaou M. The Lambert Function Should Be in the Engineering Mathematical Toolbox.  Comput Chem Eng. (2021) May; 148:107259. Epub 2021 Feb 17. [CrossRef] [PubMed]
  8. G. Robin, Grande valeurs de la function somme des diviseurs et hypothese de Riemann,  J. Math. Pures App., 63 (1984), 187 – 213.
  9. Axler, C. On Robin’s inequality.  Ramanujan J  (2022). [CrossRef]
  10. YoungJu Choie, Nicolas Lichiardopol, Pieter Moree, and Patrick Solé. On Robin’s criterion for the Riemann hypothesis.  Journal de Théorie des Nombres de Bordeaux., 19 (2007), 357–372. [CrossRef]
  11. Jamal Salah, Hameed Ur Rehman, and, Iman Al- Buwaiqi, The Non-Trivial Zeros of the Riemann Zeta Function through Taylor Series Expansion and Incomplete Gamma Function,  Mathematics and Statistics., 10 (2022), 410-418. [CrossRef]
  12. Jamal Salah, Some Remarks and Propositions on Riemann Hypothesis,  Mathematics and Statistics., 9 (2021), 159-165. [CrossRef]
  13. K Eswaran. The pathway to the Riemann hypothesis. Open Reviews of the Proof of The Riemann Hypothesis, page 189, 2021.
  14. Enrico Bombieri. The Riemann hypothesis – official problem description (pdf). Clay Mathematics Institute, 2000.
  15. L. Bieberbach,  Über die Koeffizienten derjenigen Potenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln, Sitzungsber. Preuss. Akad. Wiss. Phys-Math. Kl. 940, (1916).
  16. L. de Branges,  A proof of the Bieberbach conjecture, Acta Math. 154, 137 (1985). [CrossRef]
  17. G. Murugusundaramoorthy and N. Magesh, Linear operators associated with a subclass of uniformly convex functions,  Internat. J. Pure Appl. Math. Sci.,  3 (2) (2006), 113–125.
  18. B.A. Frasin, On certain subclasses of analytic functions associated with Poisson distribution series,  Acta Univ. Sapientiae, Mathematica., 11 (1) (2019), 78–86. [CrossRef]
  19. B.A. Frasin, Subclasses of analytic functions associated with Pascal distribution series,  Adv. Theory Nonlinear Anal. Appl., 4 (2) (2020), 92–99. [CrossRef]
  20. B. A. Frasin, S. R. Swamy and A. K. Wanas, Subclasses of starlike and convex functions associated with Pascal distribution series , Kyungpook Math. J., 61 (2021), 99-110.
  21. Amourah, B.A. Frasin and G. Murugusundaramoorthy, On certain subclasses of uniformly spirallike functions associated with Struve functions,  J. Math. Comput. Sci.,  11 (4) (2021), 4586-4598. [CrossRef]
  22. El-Deeb S. M.; Murugusundaramoorthy, G. Applications on a subclass of β−uniformly starlike functions connected with q−Borel distribution.  Asian-Eur. J. Math.,  15 (2022), 1–20. Asian-Eur. J. Math., 1142.
  23. Jamal Salah, Hameed Ur Rehman, Iman Al Buwaiqi, Ahmad Al Azab and Maryam Al Hashmi, Subclasses of spiral-like functions associated with the modified Caputo's derivative operator,  AIMS Mathematics. 8 (8) (2023), 18474-18490. [CrossRef]
  24. Hameed Ur Rehman, Maslina Darus, Jamal Salah, Generalizing Certain Analytic Functions Correlative to the n-th Coefficient of Certain Class of Bi-Univalent Functions,  Journal of Mathematics, (2021), Article ID 6621315, 14 pages, 2021.
  25. Y. Rabotnov, Equilibrium of an Elastic Medium with After-Effect,  Prikladnaya Matematika I Mekhanika, 12 (1) (1948), 53-62 (in Russian), Reprinted:  Fractional Calculus and Applied Analysis, 17 (3) (2014), 684-696.
  26. Y. Kao, Y. Li, J. H. Park, X. Chen, Mittag-Leffler synchronization of delayed fractional memristor neural networks via adaptive control,  IEEE T. Neur. Net. Lear., 32 (2021), 2279–2284. [CrossRef]
  27. Y. Cao, Y. Kao, J. H. Park, H. Bao, Global Mittag-Leffler stability of the delayed fractional-coupled reaction-diffusion system on networks without strong connectedness,  IEEE T. Neur. Net. Lear., 33 (2022), 6473–6483. [CrossRef]
  28. Y. Kao, Y. Cao, X. Chen, Global Mittag-Leffler synchronization of coupled delayed fractional reaction-diffusion Cohen-Grossberg neural networks via sliding mode control,  Chaos, 32 (2022), 113123. [CrossRef]
  29. H. U. Rehman, M. Darus, J. Salah, Coefficient properties involving the generalized k-Mittag-Leffler functions,  Transylv. J. Math. Mech.,  9 (2017), 155–164. Available from: http://tjmm.edyropress.ro/journal/17090206.pdf.
  30. J. Salah, M. Darus, A note on generalized Mittag-Leffler function and Application,  Far East. J. Math. Sci., 48 (2011), 33–46. Available from: http://www.pphmj.com/abstract/5478.htm.
  31. S. S. Eker and S. Ece. Geometric properties of normalized Rabotnov function,  Hacet. J. Math. Stat., 51 (5) (2022), 1248-1259. [CrossRef]
  32. S. Ponnusamy and A. Baricz, Starlikeness and convexity of generalized Bessel functions.  Integral Transforms Spec. Funct., 21 (9) (2010), 641-653. [CrossRef]
  33. J. K. Prajapat, Certain geometric properties of the Wright functions,  Integral Transforms Spec. Funct., 26 (3) (2015), 203-212. [CrossRef]
  34. D. Răducanu,  Geometric properties of Mittag-Leffler functions, Models and Theories in Social Systems, Springer: Berlin, Germany, (2019), 403-415.
  35. S. Sumer Eker, S. Ece, Geometric Properties of the Miller-Ross Functions,  Iran. J. Sci. Technol. Trans., (2022). [CrossRef]
  36. PL. Duren,  Univalent Functions, Grundlehren der Mathematischen Wissenschaften, New York, NY, USA: Springer-Verlag, (1983).
  37. A.W. Goodman,  Univalent Functions, New York, NY, USA: Mariner Publishing Company, (1983).
  38. S. Ozaki, On the theory of multivalent functions,  Science Reports of the Tokyo Bunrika Daigaku, Section A., 2(40) (1935), 167-188.
  39. L. Fejér,  Untersuchungen uber Potenzreihen mit mehrfach monotoner Koeffizientenfolge,  Acta Litt. Sci. Szeged., 8 (1936), 89-115.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated