Abstract
We find an unifying approach to the analytic representation of the domain bounded by a generalized Pascal snail. Special cases as the Pascal snail, Both leminiscate, conchoid of the Sluze and a disc are included. The behaviour of functions related to generalized Pascal snail is studied.
Similar content being viewed by others
1 The analytic representation of the Pascal snail
For \(-1 \le \alpha \le 1\), \(-1\le \beta \le 1\), \(\alpha \beta \ne \pm 1\), and \(0\le \gamma <1\) let \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) denote the complex valued mapping
where \(z\in {\mathbb {D}}=\{z\in {\mathbb {C}}:\ |z|< 1\}\). We note that \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) maps \({\mathbb {D}}\) onto a domain \({\mathfrak {D}}(\alpha ,\beta ,\gamma )\) whose boundary is a given by
Indeed, for \(z=e^{i \theta }\), with \(\theta \in [0,2\pi )\), we obtain
Let \(u=u(\theta )=\mathfrak {R}\left\{ {\mathfrak {L}}\left( e^{i \theta }\right) \right\} \) and \(v=v(\theta )=\mathfrak {I}\left\{ {\mathfrak {L}}\left( e^{i\theta }\right) \right\} \). Then
Hence, u, v satisfy the equation
Therefore \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) maps the unit circle onto a curve (cf. [4, 5])
or
that is generalization of the Pascal snail (see Figs. 1 and 2).
The wide applications of the Pascal snail have been known since their description; the newest ones rely on the application to figure the path of airflow around object like plane wings, in the design of race and train tracks but also in cryptography for selecting the points of the curve (ellipse, leminiscate, etc.) over the prime fields. Also, the leminiscates are used in the construction of grids on irregular regions in the development of software for numerically solving partial differential equations. Very recently a method based on leminiscates is applied for meander like regions and rely on covering the region with sectors bounded by two confocal leminiscate and two arcs orthogonal to the Pascal snail (cf. [7]).
In this paper we will deal with the Pascal snail (1.5) or (1.6) and its analytical representation. Also, we will discuss the special cases of (1.5) or (1.6) which give some interesting curves.
Let us consider individual cases separately. By a symmetry, from now on we make the assumption: \(\beta \ge \alpha \), unless otherwise stated.
1.1 Circular domains
A circular domain is obtained from (1.5) in the case, when one of the parameter \(\alpha \) or \(\beta \) is zero, and the second is in the interval \((-1,1)\). Let \(\alpha =0<\beta < 1\). Then \({\mathfrak {L}}_{0,\beta ,\gamma }\) has the form
and \({\mathfrak {L}}_{0,\beta ,\gamma }({\mathbb {D}})\) is a circular domain
For the case \(\alpha =\beta =0\) a curve \(\partial {\mathfrak {D}}(0,0,\gamma )\) is a circle \(|w|<2(1-\gamma )\).
1.2 Halfplane
For the case when \(\alpha = 0\) and \(\beta =1\) the domain \({\mathfrak {L}}({\mathbb {D}})\) is the halfplane \(\mathfrak {R}w > \gamma -1\). The case \(\beta = 0, \alpha =-1\) gives a halfplane \(\mathfrak {R}w < 1-\gamma \) which is not the ones of interest to us.
1.3 Pascal snail regions
In the case \(\beta =\alpha \in (-1,1){\setminus }\{0\}\) the function \(\ {\mathfrak {L}}_{\alpha ,\alpha ,\gamma }\) becomes
with \(0\le \gamma <1\), that maps the unit disk onto simply connected and bounded region, which can be described as
where
The equation (1.8) can be rewritten in a polar equation
where
The boundary curve, known as Pascal snail (limaçon of Pascal), is a bicircular rational plane algebraic curve of degree 4 which belongs to the family of curves called centered trochoids or epitrochoids (cf. Fig. 3. Certainly \({\mathfrak {L}}_{0,0,\gamma }({\mathbb {D}})\) is a disk). Pascal snail is the inversion of conic sections with respect to a focus.
We note that \(|e|<1\) for \(\alpha \ne \pm 1\). In this case the snail is elliptic which is inverse of an ellipse with respect to its focus. In the case, when \(|e|< 1/2\), that is \(\alpha \in \left( -2+\sqrt{3},2-\sqrt{3}\right) \), the domain bounded by the Pascal snail (1.8) is convex, and tends to the circle when \(\alpha \rightarrow 0\). For \(|e|=1/2\) the snail has a flattened segment of the boundary and when \(|e|>1/2\), that is for \(\alpha \in \left( -1,-2+\sqrt{3}\right) \cup \left( 2-\sqrt{3},1\right) \), the curve has a shape of a bean. The case when the Pascal snail has a loop does not hold, because it is equivalent to the inequality \((1-\alpha )^2 <0\). Summarizing, the domain bounded by the Pascal snail is bounded, convex for \(\alpha \in \left[ -2+\sqrt{3},2-\sqrt{3}\right] \), concave for \(\alpha \in \left( -1,-2+\sqrt{3}\right) \cup \left( 2-\sqrt{3},1\right) \), and symmetric with respect to real axis.
The function \({\mathfrak {L}}_{\alpha ,\alpha ,\gamma }(z)\) with \(\alpha \ne 0\) can also be written as a composition of two analytic univalent functions, that is,
where
The function \(h_1\) is univalent in \({\mathbb {D}}\) and \(h_2\) is univalent in \(h_1({\mathbb {D}})=\left\{ w\in {\mathbb {C}}:\left| \frac{w-1}{w+1}\right| <|\alpha |\right\} \).
1.4 Conchoid of the Sluze
In the fourth special case we set \(\beta =1, \alpha \in (-1,1){\setminus }\{0\}\) or \(\alpha =-1, \beta \in (-1,1){\setminus }\{0\}\). Let us consider \(\beta =1, \alpha \in (-1,1)\). Thus \({\mathfrak {L}}_{\alpha ,1,\gamma }\) has a form
where \(0\le \gamma <1\), that maps the unit disk onto simply connected region with boundary that is a curve
known as the Conchoid of de Sluze, see Fig. 4. We note that the special case \(\beta =1\) and \(-1<\alpha <0\) was also considered in [10].
In the case when \(\alpha =-1, \beta \in (-1,1){\setminus }\{0\}\) we obtain the conchoid of de Sluze (see Fig. 5) of the form
symmetric to the \(\partial {\mathfrak {D}}(\alpha ,1,\gamma )\) with respect to the imaginary axis.
1.5 Hippopede. Leminiscate of Booth
Here we let \(\beta =-\alpha , \alpha \in (-1,0)\). In this case \({\mathfrak {L}}_{\alpha ,-\alpha ,\gamma }\) is of the form
and the equation (1.5) or (1.6) reduces to \((u^2+v^2)^2 = c^2u^2+d^2v^2\), with \(c=2(1-\gamma )/(1-\alpha ^2), d=2(1-\gamma )/(1+\alpha ^2)\), that is
We remind that the hippopede is the bicircular rational algebraic curve of degree 4, symmetric with respect to both axes. Any hippopede is the intersection of a torus with one of its tangent planes that is parallel to its axis of rotational symmetry. When \(c> d>0\) (that is \(\alpha \ne 0\)) such a curve is known as an oval or leminiscate of Booth, see Fig. 6. Since the case \(d=-c\) does not hold, the leminiscate (1.12) do not reduce to the leminiscate of Bernoulli.
We note that for \(c/\sqrt{2}<d<c\sqrt{2}\), the domain bounded by the hippopede is convex, that is for \(-\sqrt{3-2\sqrt{2}}< \alpha <0\), and the curve is called Booth’s oval. For \(d=c/\sqrt{2}\), that is for \(\alpha =- \sqrt{3-2\sqrt{2}}\) the hippopede has a flattened segment of the boundary. Summarizing, the domain bounded by the hippopede is bounded and convex for \(\alpha \in \left[ -\sqrt{3-2\sqrt{2}},0\right) \), and concave for \(\alpha \in \left( -1, -\sqrt{3-2\sqrt{2}}\right) \).
1.6 Remaining cases
In the remaining range of parameters, i.e. \(-1< \alpha< \beta < 1\), not considered in previous subsections, the curve \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }(e^{it})\) is the generalized Pascal snail, that has the form
with
We note, that the curve given by (1.13) has similar properties to the Pascal snail, but symmetric only with respect to real axis. It has either horizontal eight-like shape, bean-shape, pear-shape or is convex. From this reason the region bounded by (1.13) is convex, or concave. As we can see in the Theorem 1.1 the minimum and maximum of real part are not always achieved on the real axis. Taking into account the geometrical properties of set \({\mathfrak {L}}({\mathbb {D}})\), we get the following.
Theorem 1.1
[5] Let \(-1 \le \alpha \le \beta \le 1\) and \(\alpha \beta \ne \pm 1\). Then
where
with
The sets \(B_1, B_2\) are represented on a Fig. 7.
In the special cases we have
1.7 Conclusions
In general \({\mathfrak {L}}({\mathbb {D}})\) is a domain symmetric about the real axis and starlike with respect to origin and such that \({\mathfrak {L}}(0)=0\), \({\mathfrak {L}}'(0)=1 > 0\). The geometrical properties of the regions \({\mathfrak {L}}({\mathbb {D}})\) provides a natural bridge between the convex and concave domains. We also note that such domains were discussed in relation of generalized typically-real functions and generalized Chebyshev polynomials of the second kind [4, 5].
From Theorem 1.1 we conclude the following Corollary.
Corollary 1.2
Let \(-1 \le \alpha \le \beta \le 1\), \(\alpha \beta \ne \pm 1\) and \(0\le \gamma <1\), and let \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) be the function defined by (1.1). Then, for \(z\in {\mathbb {D}}\) we have
and
Also, if \(\alpha =0\), then
In the sequel we will use the following lemma.
Lemma 1.3
[1] Let z is a complex number with positive real part. Then for any real number t such that \(t\in [0,1]\), we have \(\mathfrak {R}\left\{ z^t\right\} \ge \left( \mathfrak {R}\, z\right) ^t\).
2 Subclass of the Carathèodory class related to the generalized Pascal snail
Denote by \({\mathcal {P}}\) the Carathèodory class of functions i.e. \({\mathcal {P}}= \{p:\ p(z)=1+p_1 z+ p_2 z^2+\cdots ,\ \mathfrak {R}\, p(z) > 0\ (z\in {\mathbb {D}})\}\). The fundamental importance of \({\mathcal {P}}\) in geometric functions theory relies on the construction of several related families of analytic functions and is well known. Hence, various subclasses of \({\mathcal {P}}\) were defined and studied. Classical cases are related to the halfplane and angular domain i.e. \({\mathcal {P}}(\alpha )\) that denotes a subclass of \({\mathcal {P}}\) consisting of functions with real part greater than \(\alpha \ (0\le \alpha < 1)\), and \({\mathcal {P}}_\gamma \) the class with argument between \(-\gamma \pi /2\) and \(\gamma \pi /2\ (0<\gamma \le 1)\). Also, several subfamilies of \({\mathcal {P}}\) were determined by the fact that some functionals are contained in convex subdomains of right halfplane. Therefore any subfamily of halfplane domains were considered in the context to a subfamily of \({\mathcal {P}}\). Hence a definition of the domains related to the Pascal snail was a motivation to the definition of some subclass of \({\mathcal {P}}\) associated with such domains. To do this we first translate a domain \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }({\mathbb {D}})\) with a vector (1, 0) in order to obtain a domain \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) contained in a right halfplane such that \(1\in {\mathcal {D}}_{\alpha ,\beta ,\gamma }\). The boundary of the domain \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) is then described as follows:
We note that \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) is contained in a halfplane \(\mathfrak {R}\, w > 1+{\mathfrak {L}}_0\), where \({\mathfrak {L}}_0\) is given in Corollary 1.2. Anyway, there is substantial difference between \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) and a halfplane because \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) is not always a convex domain. However, when \(\alpha = 0\) and \(\beta \rightarrow 1^-\) then \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) tends to a halfplane \(\mathfrak {R}\, w > \gamma -1\). Thus \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\) provides a natural bridge between the convex and the concave domains.
Now, we define a function \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) as
that map \({\mathbb {D}}\) univalently onto a domain \({\mathcal {D}}_{\alpha ,\beta ,\gamma }\). Rewriting Corollary 1.2 for the function \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) we conclude the following theorem.
Theorem 2.1
Let \(-1<\alpha \le \beta <1\), \(0\le \gamma <1\), and let \({\mathcal {T}}_{\alpha ,\beta ,\gamma }(\cdot )\) be defined by (2.1). Then
and
where \({\mathfrak {L}}_0(\alpha ,\beta ,\gamma )\) and \({\mathfrak {M}}_0(\alpha ,\beta ,\gamma )\) are given in Corollary 1.2.
Now, we are ready to construct a class \({\mathcal {P}}_{snail}(\alpha ,\beta ,\gamma )\) as follows
3 The classes \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), \(\ \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) and their properties
In this Section we give a concise presentation of some families of analytic functions related to the generalized Pascal snail \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\). We will study some subclasses of \({\mathcal {S}}\) with functions analytic and univalent in \({\mathbb {D}}\) of the form
We also recall a class \(\mathcal {ST}(\beta )\subset {\mathcal {S}}\), called starlike functions of order \(0\le \beta <1\), that consist of functions f satisfying a condition
and a class \(\mathcal {CV}(\beta )\), called convex functions of order \(0\le \beta <1\), with analytic condition
Let f and g be analytic in \({\mathbb {D}}\). Then the function f is said to subordinate to g in \({\mathbb {D}}\) written by \(f(z)\prec g(z)\), if there exists a self-map of the unit disk \(\omega \), analytic in \({\mathbb {D}}\) with \(\omega (0)=0\) and such that \(f(z)=g(\omega (z))\). If g is univalent in \({\mathbb {D}}\), then \(f\prec g\) if and only if \(f(0)=g(0)\) and \(f({\mathbb {D}})\subset g({\mathbb {D}})\).
Also, let \(\mathcal {ST}[\beta ]\) be the subclass of \(\mathcal {ST}\) defined by
where \(-1\le \beta \le 1, \beta \ne 0\). Notice that for \(\beta =\pm 1\) the function \(w=1/(1-\beta z)\) maps the unit disc \({\mathbb {D}}\) onto the half-plane \(\mathfrak {R}w>1/2\), and for \(-1<\beta <1\) the function \(w=1/(1-\beta z)\) maps the unit disc \({\mathbb {D}}\) onto the disc \(D(C(\beta ), R(\beta ))\) with the center \(C(\beta )=1/(1-\beta ^2)\) and the radius \(R(\beta )=|\beta |/(1-\beta ^2)\).
Lemma 3.1
Let \(-1<\alpha \le \beta <1\), \(0\le \gamma <1\), and \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) be defined by (1.1). Then \({\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) is starlike in \({\mathbb {D}}\), moreover
where
Also, if \(|z|=r<1\), then (see Figs. 1, 2 and 6)
Proof
A straightforward calculation shows that \(G:={\mathfrak {L}}_{\alpha ,\beta ,\gamma }\) satisfy
from which the result concerning starlikeness follows.
In addition, we have
Thus for \(\theta \in [0,2\pi )\)
A convexity result yield from the estimating the value of the function g(t) of the variable \(t:=\cos \theta \) of the form
where \(-1\le t\le 1\).
In order to prove the second part of lemma, define for \(\theta \in [0,2\pi )\) the function
We see that \(\min \) or \(\max \) of \(Q(\theta )\) are attained at the critical points of the above function, equivalently
For \(\alpha \beta = 0\) and \(\alpha +\beta \ne 0\) the only ones critical points are \(\theta =0, \theta =\pi \). Next, let \(\alpha \beta > 0\). Then, similarly, \(Q'(\theta )=0\) for \(\theta =0\) and \(\theta =\pi \) since \(|(\alpha +\beta )(1+\alpha \beta r^2)/4\alpha \beta |\le 1\) does not hold. If \(\alpha +\beta >0\), then for such \(\theta \) we have
And, if \(\alpha +\beta <0\), then we obtain
For the case \(\alpha \beta < 0\), the critical points are \(\theta =0, \theta =\pi \), and the solutions of the equation
We consider three separate cases, the first is \(\alpha +\beta >0\). Then for critical points \(\theta =0\) and the solutions of the equation (3.3) we have
The second case is \(\alpha +\beta <0\). Then for the critical points \(\theta =\pi \) and the solutions of the equation (3.3), we obtain
Finally for the case \(\alpha +\beta =0\), the critical points are \(\theta =0, \theta =\pi /2, \theta =\pi , \theta =3\pi /2\) and \(\theta =2\pi \). For such \(\theta \) we conclude
\(\square \)
Let \(\alpha =\pm \beta \). From (3.2), the function \({\mathfrak {L}}_{\alpha ,\alpha ,\gamma }(z)/(2-2\gamma )\) is univalent in \({\mathbb {D}}\) if \(t_0(\alpha ,\alpha )=\frac{1+\alpha ^2-4|\alpha |}{1-\alpha ^2}\ge 0\) and this is equivalent to the range \(-2+\sqrt{3}\le \alpha \le 2-\sqrt{3}\).
Now, we define a family of functions related to the Pascal snail \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) and present various relations of that family with the previously known classes.
Definition 3.2
For \(-1< \alpha \le \beta < 1\), and \(0\le \gamma <1\) with \(\gamma \ge {\mathcal {T}}_0(\alpha ,\beta )\) and \({\mathcal {T}}_0(\alpha ,\beta )\) defined by
let \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) denote the subfamily of \({\mathcal {S}}\) consisting of the functions f, satisfying the condition
and let \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) be a class of analytic functions f such that
where \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) is given by (2.1). Geometrically, the condition (3.5) and (3.6) means that the expression \({zf'(z)}/{f(z)}\) or \(1+{zf''(z)}/{f'(z)}\) lies in a domain bounded by the generalized Pascal snail \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) (Fig. 8) given by
where a, c and d given by (1.14).
By the properties of \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\), given in Theorem 2.1, we have
for \(f \in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), and for \(f \in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\)
where \({\mathfrak {L}}_0= {\mathfrak {L}}_0(\alpha ,\beta ,\gamma )\) is given in Corollary 1.2.
Additionally \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\subset {\mathcal {G}}\) for \(\gamma \) satisfying
where \({\mathcal {G}}\) is the family of function univalent, convex in one direction, and satisfying \( \mathfrak {R}\{1+zf''(z)/f'(z)\} > -1/2\), see [12].
Taking into account (3.2) the function \({\mathfrak {L}}_{\alpha ,\alpha ,\gamma }(z)/(2-2\gamma )\in {\mathcal {G}}\) for \(|\alpha |\le 4-\sqrt{13}\), and \({\mathfrak {L}}_{\alpha ,-\alpha ,\gamma }(z)/(2-2\gamma )\in {\mathcal {G}}\) for \(-\sqrt{6-\sqrt{33}}\le \alpha <0\), [8].
Summarizing, \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) is a analytic univalent function with positive real part in \({\mathbb {D}}\), \({\mathcal {T}}_{\alpha ,\beta ,\gamma }({\mathbb {D}})\) is symmetric with respect to the real axis, starlike with respect to \({\mathcal {T}}_{\alpha ,\beta ,\gamma }(0)=1\) and convex in one direction under some conditions on \(\alpha \) and \(\beta \). Moreover \({\mathcal {T}}'_{\alpha ,\beta ,\gamma }(0)=2(1-\gamma )>0\) hence \({\mathcal {T}}_{\alpha ,\beta ,\gamma }({\mathbb {D}})\) satisfies Ma and Minda condition [9]. We refer to [2, 3, 6, 11] for a detailed discussion about similar subclasses of related to functions mapping the unit disk onto domains contained in a right halfplane and starlike with respect to 1.
For \(\beta =\alpha \) with \(-1<\alpha <1\) and \(\beta =-\alpha \) with \(-1<\alpha <0\), the quantities \({\mathcal {T}}_0(\alpha ,\beta )\) and \(\gamma _0(\alpha ,\beta )\) are the following
and
For \(\gamma =1/2\), classes \(\mathcal {ST}_{snail}(\alpha ,\alpha ,1/2)\) and \(\mathcal {CV}_{snail}(\alpha ,\alpha ,1/2)\) are defined under the condition \(0\le \alpha \le \alpha _0\), where \(\alpha _0=0.615331\ldots \) is a root of equation \(8\alpha \left( 1-\alpha ^2\right) ^2=\left( 1+\alpha ^2\right) ^2\). We also note that \(\mathcal {ST}_{snail}(\alpha ,-\alpha ,1/2)\) and \(\mathcal {CV}_{snail}(\alpha ,-\alpha ,1/2)\) of starlike and convex functions of Ma-Minda type [9], can not be defined, because it should satisfy \(\gamma \ge \frac{1+\alpha ^2}{2}\) that is \(\alpha ^2\le 0\) which is impossible.
Further properties of \({\mathcal {T}}_{\alpha ,\beta ,\gamma }\) yield:
Indeed, by logarithmic differentiation of \(\phi '(z)=\left( \frac{f(z)}{z}\right) ^{-\frac{1}{{\mathfrak {L}}_0}}\) we obtain
Since \(f\in \mathcal {ST}_{snail}(\alpha ,\beta , \gamma ) \), we conclude that
The equivalence \(g\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) if and only if \(zg'(z)/g(z)\prec {\mathcal {T}}_{\alpha ,\beta ,\gamma }(z)\) allows to determine the structural formula for functions in \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\). A function g is in the class \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) if and only if there exists an analytic function \(p\prec {\mathcal {T}}_{\alpha ,\beta ,\gamma }\), such that
The above integral representation provides many examples of functions of the class \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\). Let \(p(z)={\mathcal {T}}_{\alpha ,\beta ,\gamma }(z^n) \in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) for \(n=1,2,\ldots \). Then, for \(\alpha \ne \beta ,\ n\ge 1\), the function
is extremal for several problems in the class \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\). For \(n=1\) we have
and for \(\alpha =\beta \)
and
We note that \(\Psi _{\alpha ,\beta ,\gamma ,n}({\mathbb {D}})\) is sunflower’s domain (Fig. 9).
Indeed, for \(\alpha \ne \beta \) let
where \(p=\frac{1-\gamma }{n\left( \alpha -\beta \right) }\) and \(n\ge 2\). Since
we see that the points of extreme of modulus occur at \(t=\frac{k\pi }{n}\), where \(k=0,1,2,...,2(n-1)\). At these points G(t) alternately attains its maximum and minimum, equal \(\left( \frac{1+\beta }{1+\alpha }\right) ^{2p}\) and \(\left( \frac{1-\beta }{1-\alpha }\right) ^{2p}\), respectively.
Additionally, the argument of \(\Psi \) i.e.
is also alternately increasing and decreasing (see Fig. 10) as \(t\in [0,2\pi )\) and \(\gamma >{\mathcal {T}}_0(\alpha ,\beta )\), where \({\mathcal {T}}_0(\alpha ,\beta )\) is defined by (3.4).
In the case \(\alpha =\beta \) the function G(t) has the form
whose behavior is similar to the behavior of G(t) for \(\alpha \ne \beta \). The same situation holds for \(H(t), \alpha =\beta \).
If \(\gamma <{\mathcal {T}}_0(\alpha ,\beta )\), the function \(\Psi _{\alpha ,\beta ,\gamma ,n}\) is not starlike in a whole unit disk as well as not univalent there (Fig. 11).
From Lemma 3.1 it can be seen that the smallest disk with center (1, 0) that contains \({\mathcal {T}}_{\alpha ,\beta ,\gamma }({\mathbb {D}})\) and the largest disk with center at (1, 0) contained in \({\mathcal {T}}_{\alpha ,\beta ,\gamma }({\mathbb {D}})\) (see Fig 12) are, below.
Proposition 3.3
Let \(-1<\alpha \le \beta <1, \ \alpha \beta \ne \pm 1\). Then
The function \(\Psi _{\alpha ,\beta ,\gamma }\) given by (3.11), and (3.14) shows that the bounds are the best possible.
Theorem 3.4
Let \(-1< \alpha \le \beta < 1\), and let f be analytic in \({\mathbb {D}}\). If \(P_f=f/f'\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), then
Proof
Let \(p(z)=zf'(z)/f(z)\). Then \(P_f(z)=z/p(z)\) and \(zP'_f/P_f=1-zp'/p\). Since \(P_f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), we have
The function F defined by
where \( \Psi _{\alpha ,\beta ,\gamma }\) given by (3.12), is analytic in \({\mathbb {D}}\), \(F(0)=F'(0)-1=0\) and
Taking into account Lemma 3.1, we deduce that the function F is convex in \({\mathbb {D}}\). Applying [14], we conclude that
and by (3.12), the required result follows. \(\square \)
Since for \(z\in {\mathbb {D}}\) and \(\alpha \ne \beta \)
and \(\arg \frac{1-\alpha z}{1-\beta z}\in (-\pi /2,\pi /2)\) the above and Theorem 3.4 leads to the following conclusion.
Corollary 3.5
Let \(f\in {\mathcal {A}}\) be a locally univalent function. If \(P_f=f/f'\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) with \(\alpha \ne \beta \) and \(\gamma \ge 1-\frac{\beta -\alpha }{2}\), then \(f\in \mathcal {ST}\).
Now we get a representation of functions in class \( \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) with the help of the class \(\mathcal {ST}[\beta ]\).
Lemma 3.6
Let \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) with \(\alpha , \beta \ne 0\) and \(\alpha \ne \beta \). Then there exists \(h\in \mathcal {ST}[\beta ]\), and \(g \in \mathcal {ST}[\alpha ]\) such that
Proof
Let \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\). Then, by (3.10), there exists a self-map \(\omega \), which is analytic in \({\mathbb {D}}\), \(\omega (0)=0,\ |\omega (z)|<1\), and such that
where \(q=\frac{2(1-\gamma )}{\beta -\alpha }\). The assertion now follows. \(\square \)
From the relation \(h\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) if and only if \(1+zh''(z)/h'(z)\prec {\mathcal {T}}_{\alpha ,\beta ,\gamma }(z)\) we obtain the structural formula for functions in \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\). A function h is in the class \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) if and only if there exists an analytic function p with \(p\prec {\mathcal {T}}_{\alpha ,\beta ,\gamma }\), such that
The above representation supply many examples of functions in class \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\). Let \(p(z)={\mathcal {T}}_{\alpha ,\beta ,\gamma }(z) \in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\), then for some \(n\ge 1\) and \(\alpha \ne \beta \), the functions
are extremal functions for several problems in the class \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\). For \(n=1\) we have
and for \(\alpha =\beta \)
Now we get a representation of functions in class \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) with the help of class \(\mathcal {ST}[\beta ]\). From Lemma 3.6, we conclude the following Corollary.
Corollary 3.7
Let \(f\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) with \(\alpha , \beta \ne 0\) and \(\alpha \ne \beta \). Then there exists \(h\in \mathcal {ST}[\beta ]\) and \(g\in \mathcal {ST}[\alpha ]\) such that
From (3.15), we conclude that \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) if and only if
and the fact that \(f\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) if and only if \(zf'(z)\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), we get the following conclusions.
Proposition 3.8
Let \(-1< \alpha \le \beta < 1\). The classes \(\mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) and \(\mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) are nonempty. The following functions are the examples of their members.
-
(1)
Let \(a_n\in {\mathbb {C}}\) with \(n=2,3 ,\ldots \). Then \(f(z)=z+a_nz^n \in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) \(\Longleftrightarrow \left| a_n\right| \le \frac{L}{n-1+L}.\)
-
(2)
Let \(a_n\in {\mathbb {C}}\) with \(n=2, 3, \ldots \). Then \(f(z)=z+a_nz^n\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) \(\Longleftrightarrow n\left| a_n\right| \le \frac{L}{n-1+L}.\)
-
(3)
Let \(A\in {\mathbb {C}}\). Then \(z/\left( 1-Az\right) ^2\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma ) \Longleftrightarrow |A|\le \frac{2}{2+L}.\)
-
(4)
Let \(A\in {\mathbb {C}}\). Then \(z/(1-Az) \in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma ) \Longleftrightarrow |A|\le \frac{2}{2+L}.\)
-
(5)
Let \(A\in {\mathbb {C}}\). Then \(z\exp (Az)\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma ) \Longleftrightarrow |A|\le L.\)
-
(6)
Let \(A\in {\mathbb {C}}\). Then \(\frac{\exp (Az)-1}{A}\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\Longleftrightarrow 0<|A|\le L,\) where L is given in the Corollary 3.7.
The following corollary is the consequence of Lemma 3.1, and Theorems in [9].
Corollary 3.9
For \(-1< \alpha \le \beta < 1\), \(|z|=r<1\), and \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), it holds
Equalities in the above inequalities hold at a given point other than origin for the functions
Moreover
If \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), then either f is a rotation of \(\Psi _{\alpha ,\beta ,\gamma }\) given by (3.12) and (3.14) or
where \(-\Psi _{\alpha ,\beta ,\gamma }(-1)=\lim _{r\rightarrow 1^-}[-\Psi _{\alpha ,\beta ,\gamma }(-r)]\).
Corollary 3.10
Let \(-1< \alpha \le \beta < 1\). If \(f\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) and \(|z|=r<1\), then
Equalities in the above inequalities hold at a given point other than 0 for functions \(\overline{\mu }K_{\alpha ,\beta ,\gamma }(\mu z)\) with \(\left( \left| \mu \right| =1\right) .\) Moreover
If \(f\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\), then either f is a rotation of \(K_{\alpha ,\beta ,\gamma }\) given by (3.19) and (3.20) or
where \(-K_{\alpha ,\beta ,\gamma }(-1)=\lim _{r\rightarrow 1^-}[-K_{\alpha ,\beta ,\gamma }(-r)]\).
Theorem 3.11
Let \(-1< \alpha<\beta < 1\). If \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\), then
-
(1)
\( \mathfrak {R}\left\{ \dfrac{f(z)}{z}\right\} >\left( \dfrac{1+\alpha }{1+\beta }\right) ^{\frac{2-2\gamma }{\beta -\alpha }}\quad \textit{for}\quad {\mathcal {T}}_0(\alpha ,\beta )\le 1-\dfrac{\beta -\alpha }{2} \le \gamma \ (z\in {\mathbb {D}}),\)
-
(2)
\( \mathfrak {R}\left\{ \dfrac{f(z)}{z}\right\} ^{\frac{\beta -\alpha }{2-2\gamma }}>\dfrac{1+\alpha }{1+\beta }\quad (z \in {\mathbb {D}}),\)
-
(3)
\( \left| {{{\,\mathrm{\mathrm{Arg}}\,}}}\left\{ \dfrac{f(z)}{z}\right\} \right| \le \dfrac{2(1-\gamma )}{\beta -\alpha } \sin ^{-1}\left( \dfrac{|z|(\beta -\alpha )}{1-|z|^2\alpha \beta }\right) \quad (z \in {\mathbb {D}}).\)
Proof
Let \(q:=\frac{2(1-\gamma )}{\beta -\alpha }\).
\(\underline{\mathrm{Case}\,1}\). From \(1-\frac{\beta -\alpha }{2} \le \gamma \) it follows that \(0<(2-2\gamma )/(\beta -\alpha )\le 1\), and from \(f\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\) it follows that \({\mathcal {T}}_0\le 1-\frac{\beta -\alpha }{2}\). Then, making use Corollary 3.9 and Lemma 1.3, we conclude that
The function \(\psi _{\alpha ,\gamma ,\mu }\) given by (3.21), shows that the bound is the best possible.
\(\underline{\mathrm{Case}\,2}\). From Corollary 3.9 we have
Thus
\(\underline{\mathrm{Case}\,3}\). By Corollary 3.9 it is enough to consider \({{{\,\mathrm{\mathrm{Arg}}\,}}}\left\{ {\Psi _{\alpha ,\beta ,\gamma }(z)}/{z}\right\} \). Since the image of the disk \(\left\{ z\in {\mathbb {C}}:|z|\le r\right\} \) by the function \(w={\Psi _{\alpha ,\beta ,\gamma }(z)}/{z}\) or \(w^{1/q}=\left( 1-\alpha z\right) /\left( 1-\beta z\right) \) is contained in closed disc with center \(\left( 1-\alpha \beta r^2\right) /\left( 1-\beta ^2 r^2\right) \) and radius \(\left( r(\beta -\alpha )\right) /\left( 1-\beta ^2 r^2\right) \), then
Thus
The proof is now complete. \(\square \)
It is clear that \(f(z)\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\) if and only if \(zf'(z)\in \mathcal {ST}_{snail}(\alpha ,\beta ,\gamma )\). Using the same notation and the same reasoning as in the proof of Theorem 3.11 we have the following Corollary.
Corollary 3.12
Let \(-1< \alpha<\beta < 1\). If \(f\in \mathcal {CV}_{snail}(\alpha ,\beta ,\gamma )\), then
-
(1)
\( \mathfrak {R}\left\{ f'(z)\right\} >\left( \dfrac{1+\alpha }{1+\beta }\right) ^{\frac{2-2\gamma }{\beta -\alpha }}\quad \textit{for}\quad {\mathcal {T}}_0(\alpha ,\beta )\le 1-\dfrac{\beta -\alpha }{2} \le \gamma \ (z\in {\mathbb {D}}),\)
-
(2)
\( \mathfrak {R}\left\{ f'(z)\right\} ^{\frac{\beta -\alpha }{2-2\gamma }}>\dfrac{1+\alpha }{1+\beta }\quad (z \in {\mathbb {D}}),\)
-
(3)
\( \left| {{{\,\mathrm{\mathrm{Arg}}\,}}}\left\{ f'(z)\right\} \right| \le \dfrac{2(1-\gamma )}{\beta -\alpha } \sin ^{-1}\left( \dfrac{|z|(\beta -\alpha )}{1-|z|^2\alpha \beta }\right) \quad (z \in {\mathbb {D}}).\)
The conditions \( {\mathcal {T}}_0(\alpha ,\beta )\le 1-\dfrac{\beta -\alpha }{2}\le \gamma \) in Theorem 3.11 for requirement \(\beta =-\alpha \) are equivalent to conditions \(1-\sqrt{2}\le \alpha <0\), \(\gamma \ge 1+\alpha \), and so we have the following.
Corollary 3.13
For \(1-\sqrt{2}\le \alpha <0\) and \(\gamma \ge 1+\alpha \), we have:
and
Availability of supporting data
Not applicable.
References
Babalola, K.O.: On \(\lambda \)-pseudo-starlike functions. J. Class. Anal. 3(2), 137–147 (2013)
Kanas, S., Masih, V.S., Ebadian, A.: Relations of a planar domain bounded by hyperbola with family of holomorphic functions. J. Inequal. Appl., 246 (2019), 14pp
Kanas, S., Sugawa, T.: On conformal representations of the interior of an ellipse. Annales. Acad. Sci. Fennicae 31, 329–348 (2006)
Kanas, S., Tatarczak, A.: Constrained coefficients problem for generalized typically real functions. Complex Var. Elliptic Equ. 61(8), 1052–1063 (2016)
Kanas, S., Tatarczak, A.: Generalized typically real functions. Filomat 30(7), 1697–1710 (2016). https://doi.org/10.2298/FIL1607697K
Kanas, S., Masih, V.S., Ebadian, A.: Coefficients problems for families of holomorphic functions related to hyperbola. Math. Slovaca 70(3), 605–616 (2020)
Lentini, M., Cardona, L., Paluszny, M.: Grid generation using leminiscates with two foci. Math. Comput. Model. 57, 2186–2195 (2013)
Ma, W., Minda, D.: A unified treatment of some special classes of univalent functions. In: Proceedings of Conference on Complex Analysis, Tianjin, 1992, Conference Proceedings and Lecture Notes in Analysis, Vol. 1 (International Press, Cambridge, MA, 1994), pp. 157–169
Masih, V.S., Ebadian, A., Yalçin, S.: Some properties associated to a certain class of starlike functions. Math. Slovaca 69(6), 1329–1340 (2019)
Mendiratta, R., Sumit, N., Ravichandran, V.: On a subclass of strongly starlike functions associated with exponential function. Bull. Malays. Math. Sci. Soc. 38(1), 365–386 (2015)
Ozaki, S.: On the theory of multivalent functions. II. Sci. Rep. Tokyo Bunrika Daigaku. Sect. A. 4, 45–87 (1941)
Piejko, K., Sokół, J.: On booth leminiscate and Hadamard product of analytic functions. Math. Slovaca 65(6), 1337–1344 (2015)
Rogosinski, W.: On the coefficients of subordinate functions. Proc. Lond. Math. Soc. 2(1), 48–82 (1945)
Suffridge, T.J.: Some remarks on convex maps of the unit disk. Duke Math. J. 37, 775–777 (1970)
Acknowledgements
The authors thank the editor and the anonymous referees for constructive and pertinent suggestions.
Author information
Authors and Affiliations
Contributions
Each of the authors contributed to each part of this study equally, all authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kanas, S., Masih, V.S. On the behaviour of analytic representation of the generalized Pascal snail. Anal.Math.Phys. 11, 77 (2021). https://doi.org/10.1007/s13324-021-00506-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00506-3
Keywords
- Domain bounded by the generalized Pascal snail
- Booth leminiscate
- Conchoid of the Sluze
- Pascal snail
- Univalent functions
- Applied mathematics
- Starlike and convex functions