Mapping Properties of Associate Laguerre Polynomials in Leminiscate, Exponential and Nephroid Domain

: The function P L ( z ) = √ 1 + z maps the unit disc D = { z ∈ C : | z | < 1 } to a leminscate which is symmetric about the x-axis. The conditions on the parameters α and n , for which the associated Laguerre polynomial (ALP) L α n maps unit disc into the leminscate domain, are deduced in this article. We also establish the condition under which a function involving L α n maps D to a domain subordinated by φ N e ( z ) = 1 − z + z 3 /3, φ e ( z ) = e z , and φ A ( z ) = 1 + Az , A ∈ ( 0,1 ] . We provide several graphical presentations for a clear view of some of the obtained results. The possibilities for the improvements of the results are also highlighted.

The first few terms of the polynomial are given as ALP has its own significance in various branches of mathematics and physics and has a wide contribution in different aspects in mathematical research. The associated Laguerre polynomials are orthogonal with respect to the gamma distribution e −z z α dz on the interval (0, ∞). The generalized Laguerre polynomials are widely used in many problems of quantum mechanics, mathematical physics and engineering. In quantum mechanics, the Schrödinger equation for the hydrogen-like atom is exactly solvable by separation of variables in spherical coordinates, and the radial part of the wave function is an ALP [2]. In mathematical physics, vibronic transitions in the Franck-Condon approximation can also be described by using Laguerre polynomials [3]. In engineering, the wave equation is solved for the time domain electric field integral equation for arbitrary shaped conducting structures by expressing the transient behaviors in terms of Laguerre polynomials [4]. The monographs by Szegó [5], and Andrews, Askey, and Roy [6] include a wealth of information about ALP and other orthogonal polynomial families.
In this study, we consider The function F α,n satisfies the normalization condition F α,n (0) = 1 and is a solution of the differential equation The following four functions are also important for this study.
The function P L maps D to a leminscate, φ A shifted D to a disc center at (1, 0) with radius A ∈ [0, 1), φ e maps D to the exponential domain, and φ N e maps D to the neuphroid domain as shown in Figure 1.
if and only if f (0) = g(0) and f (D) ⊂ g(D). It is worth noting here that P L , φ N e , φ A and φ e are not subordinate to each other as it is clear from Figure 1 that the image of D by any one of these functions does not contain the image by others. Differential subordination is an important technique to study geometric functions theory. Details about this technique can be seen in [7,8].
Denote by S * and C, respectively the important subclasses of A consisting of univalent starlike and convex functions. Geometrically, f ∈ S * if the linear segment tw, Related to these subclasses is the Cárathèodory class P consisting of analytic functions p satisfying p(0) = 1 and Re p(z) > 0 in D.
It is well-known that the function z(1 − z) −2 is starlike and z(1 − z) −1 is convex in the unit disk D.
A function f ∈ A is lemniscate convex if 1 + z f (z)/ f (z) lies in the region bounded by right half of lemniscate of Bernoulli given by {w : |w 2 − 1| = 1}, which is equivalent to the subordination 1 + z f (z)/ f (z) ≺ P L (z). Similarly, the function f is lemniscate starlike if z f (z)/ f (z) ≺ P L (z). On the other hand, the function f ∈ A is lemniscate Carathéodory if f (z)) ≺ P L (z). Clearly, a lemniscate Carathéodory function is a Carathéodory function and hence is univalent.
The sufficient conditions of starlikeness associated with lemniscate of Bernoulli are obtained in [9]. A similar study associated with the exponential domain is conducted in [10]. One of the motivations of this work is the nephroid curve Recently, the nephroid curve received attention of researchers in geometric functions theory thanks to the work by Wani and Swaminathan [11][12][13]. This two-cusped kidneyshaped curve was first studied by Huygens and Tschirnhausen in 1697. However, the word nephroid was first used by Richard A. Proctor in 1878 in his book The Geometry of Cycloids. For further details related to the nephroid curve, we refer to [11,14]. The radius of starlikeness and convexity for functions associated with the nephroid domain is discussed in [13]. In [12], the authors discuss the starlike and convex functions associated with the nephroid domain. The Fekete-Szegö kind of inequalities for certain subclasses of analytic functions in association with the nephroid domain is studied in [15].
Significant findings from the articles [9,10] are summarized, respectively, in Lemma 1 and Lemma 2, while Lemma 3 and Lemma 4 highlights the results from the reference [11]. The special functions, such as Bessel, Struve, Confluent hypergeometric and hypergeometric, are closely associated with the geometric functions theory. The geometric nature of these special functions associated with the leminisciate, the exponential and the nephroid domain are studied in [9,10,13]. The lemniscate convexity of generalized Bessel functions is studied in [9], while [10] deals with the exponential starlikeness and convexity of confluent hypergeometric, Lommel and Struve functions.
In this paper, motivated by the aforementioned works, we investigated the inclusion properties of the normalized function F α,n involving ALP that maps the unit disc D into the lemniscate and the exponential domain, respectively, in Sections 2 and 3 . Section 4 deals with the results concerning the shifted disc 1 + Az, for A ∈ [0, 1]. In Section 5, we derive the conditions under which integration associated with F α,n maps D into the nephroid domain. All the results are interpreted graphically. Several options for the improvement are highlighted .

Mapping in the Lemniscate Domain
In this section, we derive the relation between α and n for which F α,n maps D into P L (D). To prove the main results related with the lemniscate, the following Lemma 1 is used.
From (4), it follows Ψ(p, zp , z 2 p ; z) ∈ Ω. To prove the result by using Lemma 1, it is enough to show Ψ(r, s, t; z) / ∈ Ω for r, s and t as stated in (5). Now A natural question arises for a fixed n ∈ N: are the values α 0 = (16n + 1)/4 the best possible in Theorem 1? To investigate it, we try to experiment through graphical representation of F α,n (D) and P L (D). It is worth noting here that F α,n (D) ⊂ P L (D) when F α,n (z) ≺ P L (z). We present our cases for n = 2, 3, 4. n = 2 By Theorem 1, F α,n (D) ⊂ P L (D) holds for Re(α) > 8.25. However, Figure 2 indicates that for real α, the subordination property for which F α,n (D) ⊂ P L (D) follows for α > α 0 where the possible value α 0 is any number in the interval (4.1, 4.3).
Now, we state and prove our main result to have the mapping properties in the exponential domain.
Proof. Let p(z) = F α,n (z). Suppose that Ω = {0}. Then, It is evident from Figures 5-9 of F α,n (D) and φ e (D) that for real α, the inclusion properties F α,n (D) ⊂ φ e (D) not only holds for α ≥ n + 1 (as stated in the theorem), but also holds for α ≥ n. This indicates that there is a possibility for the improvement of Theorem 2.

Mapping in Disc
Center at (0, 1) and Radius A ∈ (0, 1] The function f A (z) = 1 + Az for A ∈ (0, 1] maps the unit disc to a disc center at (0, 1) and radius A. In this section, we will derive conditions by which Theorem 3. For A ∈ C, n ≥ 1 and A ∈ (0, 1], suppose that Then, f α,n (z) ≺ 1 + Az.
Graphical representation indicates that there is a provision of improvement for a minimum value of Re(α) for fixed n and A. For example, set n = 1 and A = 1/2, and suppose that α is real. Then, by Theorem 3, f α,1 (z) ≺ 1 + z/2 if α ≥ 3. However, Figure 10 clearly indicates that the result can hold for α ≥ 1. This claim can also be valid theoretically. The subordination f α,1 (z) ≺ 1 + Az is equivalent to which holds for z ∈ D if A|α + 1| > 1. In particular, if α is a positive real number, and A = 1/2, then f α,1 (z) ≺ 1 + (z/2) holds for |α + 1| > 2 =⇒ α > 1. Similarly for n = 2, as per Theorem 3, the subordination F α,2 (z) ≺ 1 + Az holds for Re(α) ≥ 2(1 + A)/A. In particular, for real α and A = 1, the subordination is true when α ≥ 4. However, a direct proof indicates that the subordination holds when Clearly, the second condition is better than the first condition (derived from Theorem 3). For example, if α is real and A = 1, then F α,2 (z) ≺ 1 + z holds for α > 1.3078. The comparison can be seen in Figure 11. Based on the above facts, we can conclude that for certain special cases, Theorem 3 has a chance for improvement. Now, we state and prove an improved version of Theorem 3.

Theorem 4.
For real α > −1 and fixed n ∈ N and A ∈ (0, 1], suppose that α 0 is the largest root of Then, the subordination F α,n (z) ≺ 1 + Az holds for all α > α 0 . The result is sharp as α 0 is the best lowest value.
Proof. The subordination F α,n (z) ≺ 1 + Az is equivalent to Now, for |z| < 1, it follows It can be easily verified that for a fixed n, the function α → 1 F 1 (−n, 1 + α, −1) is decreasing; hence, the inequality (11) holds for α > α 0 . Here, α 0 > −1 is the largest root of the equation This completes the proof.
In the following Table 1 we have listed value of α 0 for fixed n and A.

Connection with the Nephroid Domain
In this section, we observe that f ≺ √ 1 + z or f ≺ e z do not always imply f ≺ φ N e . For example, consider the case when n = 100 and α = 101, the polynomial 100! (102) 100 L 101 100 (z) ≺ √ 1 + z but 100! (102) 100 L 101 100 (z) ≺ φ N e as shown in Figure 12a. Now define the function In Figure 12b, we can see that To state the next result, let us generalize (12) as follows X n,α,β (z) = 1 + 1 We also consider the function We need the following results in sequence.

Figure 12.
Comparison of F n,α and X n,α .
The following subordination holds true.
The first three cases along with Lemma 4 (part (iv)-(vi)) helps to conclude the result, while the fourth case together with Lemma 3 (part (ii)) implies the result.
As of a final result, we have the following that can be proved using Theorem 1 and Lemma 4 (part (i)-(iii)) and Lemma 3 (part (i)). We omit the details of the proof. Theorem 6. For β > 0 and 4 Re α > 16n + 1, the following subordination holds (i) X n,α,β (z) ≺ φ N e for β ≥ 0.920558, (ii) e X n,α,β (z)−1 ≺ φ N e for β ≥ 0.884792, (iii) Y n,α,β (z) ≺ φ N e for β ≥ 0.158379. Now, we are going to interpret the result obtained in Theorem 5 graphically. For this, we consider the special case where α = n + 1. In the case X n,n+1,β (z) ⊂ φ N e (z), we set the smallest value of β = 1.97685. Now, by judicious choice of n (we chose up to 5000), we can see through Figure 13 that X n,n+1,β (D) ⊂ φ N e (D) holds. This indicates that in the case for all n ≥ 1, the smallest value of β = 1.97685 is sharp. However, in case of a fixed n, there is a possibility to lower the value of β as presented in Table 2. Clearly β 0 is approaching the value 1.97685 for increasing n. Similar analysis of results can also be computed for part of Theorem 5 ((ii) & (iii)) and Theorem 6. We avoid such details. However, this fact leads to an open problem as stated below Problem 1 (Open). Find the exact value of β 0 for all n, α such that X n,α,β (z) ≺ φ N e (z); e X n,α,β (z)−1 ≺ φ N e (z); and Y n,α,β (z) ≺ φ N e (z) holds for β ≥ β 0 .
Then, using results from [11], we derive conditions on α, β and n by which the functions X n,α,β (z) and Y n,α,β (z) are subordinated by φ N e (z). Different graphical presentations demonstrate that the findings in this study are valid. However, there is potential for improvement in a few instances. We conclude by emphasizing that the open cases regarding the function F n,α which are highlighted in