Analytical and geometrical approach to the generalized Bessel function

Abstract

In continuation of Zayed and Bulboacă work in (J. Inequal. Appl. 2022:158, 2022), this paper discusses the geometric characterization of the normalized form of the generalized Bessel function defined by

$$\begin{aligned} \mathrm{V}_{\rho,r}(z):=z+\sum_{k=1}^{\infty} \frac{(-r)^{k}}{4^{k}(1)_{k}(\rho )_{k}}z^{k+1}, \quad z\in \mathbb{U}, \end{aligned}$$

for $\rho, r\in \mathbb{C}^{\ast}:=\mathbb{C}\setminus \{0\}$. Precisely, we will use a sharp estimate for the Pochhammer symbol, that is, $\Gamma (a+n)/\Gamma (a+1)>(a+\alpha )^{n-1}$, or equivalently $(a)_{n}>a(a+\alpha )^{n-1}$, that was firstly proved by Baricz and Ponnusamy for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$ and $\alpha \in [0,1.302775637\ldots ]$ in (Integral Transforms Spec. Funct. 21(9):641–653, 2010), and then proved in our paper by another method to improve it using the partial derivatives and the two-variable functions’ extremum technique for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$ and $0\leq \alpha \leq \sqrt{2}$, and used to investigate the orders of starlikeness and convexity. We provide the reader with some examples to illustrate the efficiency of our theory. Our results improve, complement, and generalize some well-known (nonsharp) estimates, as seen in the Concluding Remarks and Outlook section.

1 Introduction and preliminary results

It is well known that classical special functions theory has found applications in different branches of mathematics, physics, engineering, and other sciences more than ever. Indeed, these functions were discovered through the study of physical problems involving vibrations, heat flow, equilibrium, and so on. This branch of mathematics has a respectable history with great names like Gauss, Bessel, Fourier, Euler, Legendre, Riemann, etc. The majority of special functions are solutions of certain second-order linear differential equations, and the associated equations are partial differential equations of second order.

We will restrict our present study to the generalized Bessel function. Bessel functions appear in several problems such as heat conduction in a cylindrical object, electromagnetic waves in a cylindrical waveguide, probability density function of a product of two normally distributed random variables, solutions to the radial Schrödinger equation for a free particle, etc.

Complex analysis constitutes a well-developed and active subject in mathematics to solve some physical problems. One of the important branches of complex analysis is the geometric function theory, which studies the geometric properties of the analytic and harmonic functions. Naturally, the foundation of geometric function theory was supplied by Cauchy, Weierstrass, and Riemann in their pioneering work. Then, in 1851, Riemann replaced an orbital domain with the open disc centered at the origin, and this made this direction of mathematics exceptional. He was the leader in investigating the analyticity and univalence of complex variable functions inside the open unit disc, which are in fact necessary and fundamental thoughts in this field, and led to the well-know Riemann mapping theorem, which is considered one of the most useful theorems in complex analysis and states that if $\Lambda \subset \mathbb{C}$ is a simply connected set and $\Lambda \neq \mathbb{C}$, then there exists a univalent mapping f that maps Λ onto the disk $|z|<1$. This function is known as the Riemann mapping. Nevertheless, his proof was incomplete, and the full proof was given by Carathéodory only in 1912 using Riemann surfaces. It was simplified by Koebe two years later in a way that did not require these preliminaries (see, for example, [1, 6, 7, 11, 14]).

The hypergeometric functions of one complex variable have long been successfully used in different fields of pure and applied mathematics, as well as physics, due to their importance in proving the well-known Bieberbach conjecture for the coefficients of the normalized univalent functions (see De Branges [5]). There is a comprehensive literature dealing with the geometric properties of several kinds of hypergeometric functions and other functions such as the Bessel function, the generalized Struve function, the Lommel function, the generalized Lommel–Wright function, and the Fox–Wright function. For more extensive information in this direction, see the previous studies [2, 4, 9, 10, 12, 15–17, 20–25] and the references therein.

The contents of the paper is summarized as follows: we first outline that $\Gamma (a+n)/\Gamma (a+1)>(a+\alpha )^{n-1}$, or equivalently $(a)_{n}>a(a+\alpha )^{n-1}$, which was firstly proved by [4] for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$ and $0\leq \alpha \leq 1.302775637\ldots$ , and then proved in our paper by another method to improve it using the partial derivatives and the two-variable functions’ extremum technique for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$ and $0\leq \alpha \leq \sqrt{2}$. Then, the previous results were used to determine the orders of starlikeness and convexity of the normalized form of the generalized Bessel function that will be defined later. One can show by elementary reasoning that our results complement, improve, and generalize some familiar (nonsharp) estimates.

Let $\mathcal{S}$ denote the class of univalent functions f in the open unit disc $\mathbb{U}:=\{z\in \mathbb{C}: \vert z \vert <1\}$, satisfying the conditions $f(0)=0=f^{\prime}(0)-1$. Such functions have a power series expansion of the form

$$\begin{aligned} f(z)=\sum_{k=1}^{\infty}f_{k}z^{k},\quad z\in \mathbb{U}, \text{ with } f_{1}=1. \end{aligned}$$

(1.1)

It is worth noting that the class of functions that have the expansion (1.1) for some function f that is analytic will be denoted by $\mathcal{A}$.

The class $\mathcal{S}$ has an important property that it is compact (i.e., locally bounded and closed), and the proof of this fact is made by using of the growth and distortion theorems, which control, as their names indicate, the distortion of any function of the class $\mathcal{S}$ and its derivative by sharp bounds. The most classic example of a function in $\mathcal{S}$ is the so-called Koebe function, that is,

$$\begin{aligned} k(z)=z(1-z)^{-2}=\frac{1}{4} \biggl[ \biggl(\frac{1+z}{1-z} \biggr)^{2}-1 \biggr]=\sum_{k=1}^{\infty}kz^{k}. \end{aligned}$$

Looking at the second expression, one can see that it involves the square of the Cayley transform $z\mapsto (1+z)/(1-z)$, and belongs to $\mathcal{S}$ since it is normalized. It maps $\mathbb{U}$ onto $\mathbb{C}$ slit along the negative half-line of the real axis connecting $-1/4$ to −∞, i.e., $k (\mathbb{U} )=\mathbb{C}\setminus (-\infty,-1/4]$. This function has an essential role since it is extremal in many problems in the theory of univalent functions.

At this stage, if $h\in \mathcal{A}$, then h has the expansion $h(z)=\sum_{k=1}^{\infty}h_{k}z^{k}$, $z\in \mathbb{U}$, with $h_{1}=1$ and the convolution of f and h is given by $(f\ast h)(z):=\sum_{k=1}^{\infty}f_{k}h_{k}z^{k}$, $z\in \mathbb{U}$. One can show that the convolution definition follows from (see [6])

$$\begin{aligned} (f\ast h) \bigl(r^{2}e^{i\theta} \bigr)=\frac{1}{2\pi} \int _{0}^{2 \pi}f \bigl(re^{i (\theta -t )} \bigr) h \bigl(re^{it} \bigr) \,dt,\quad r< 1. \end{aligned}$$

We are now in a position to consider the families of starlike and convex functions, and that is why we shall start with the starlike domain with respect to a point and the convex domain, that have particular interest since the image domain of $\mathbb{U}$ under a univalent function has interesting geometric properties. If $f(\mathbb{U})$ is a starlike domain with respect to the origin, then $f\in \mathcal{S}$ is called starlike with respect to the origin (or briefly, starlike); the set of such functions is denoted by $\mathcal{S}^{\ast}$. Hereby, a domain $\Lambda \subset \mathbb{C}$ is starlike with respect to an interior point $z_{0}\in \Lambda$ if the line segment that joins $z_{0}$ to any other point of Λ lies totally in Λ. Particularly, if $z_{0}=0$, then Λ is called a starlike domain. A function $f\in \mathcal{S}^{\ast}$ if and only if $f\in \mathcal{A}$ and $\operatorname{Re} (zf^{\prime}(z)/f(z) )>0$, $z\in \mathbb{U}$. The Koebe function and its rotations provide an example of starlike functions and this function is extremal for the class $\mathcal{S}^{\ast}$.

Moreover, if $f(\mathbb{U})$ is a convex domain, then $f\in \mathcal{S}$ is called convex; the collection of such sets is denoted by $\mathcal{K}$. It is well-known that a domain $\Lambda \subset \mathbb{C}$ is convex if the line segment joining any two points of Λ lies totally in Λ. Analytically, convex functions $f\in \mathcal{A}$ can be characterized as satisfying $\operatorname{Re} (zf^{\prime \prime}(z)/f^{\prime}(z) )+1>0$, $z\in \mathbb{U}$. The main branch of the function $f(z)=-\log (1-z)\in \mathcal{K}$ since $1+\operatorname{Re} (zf^{\prime \prime}(z)/f^{\prime}(z) )=1+ \operatorname{Re} (z/(1-z) )>1/2>0$ for all $z\in \mathbb{U}$.

Additionally, $f\in \mathcal{A}$ is starlike of order α, $0\leq \alpha \leq 1$, with the set of such functions denoted by $\mathcal{S}^{\ast}(\alpha )$, if and only if $\operatorname{Re} (zf^{\prime}(z)/f(z) )>\alpha$, $z\in \mathbb{U}$. Also, it belongs to the class of convex functions of order α, denoted by $\mathcal{K}(\alpha )$, if and only if $\operatorname{Re} (zf^{\prime \prime}(z)/f^{\prime}(z) )+1> \alpha$, $z\in \mathbb{U}$. It is well-known that $\mathcal{S}^{\ast}(\alpha )\subset \mathcal{S}^{\ast}(0)=: \mathcal{S}^{\ast}$, $\mathcal{K}(\alpha )\subset \mathcal{K}(0)=:\mathcal{K,}$ and $\mathcal{K}\subset \mathcal{S}^{\ast}\subset \mathcal{S}$.

It is obvious that if $0\leq \alpha <1$, then $\mathcal{S}^{\ast}(\alpha )\subset \mathcal{S}^{\ast}(0)=: \mathcal{S}^{\ast}\subsetneq \mathcal{S}$. For $\alpha <0$, we have $\mathcal{S}^{\ast}(\alpha )\not \subset \mathcal{S}$, and for proving this fact let us consider the function $\widehat{f}(z)=z+az^{2}$ with $a=0.6$. A simple computation show that

$$\begin{aligned} \operatorname{Re}\frac{z\widehat{f}^{\prime}(z)}{\widehat{f}(z)}>- \frac{1}{2},\quad z\in \mathbb{U}, \end{aligned}$$

that is, $\widehat{f}\in \mathcal{S}^{\ast}(-1/2)$, but f̂ is not univalent in $\mathbb{U}$ because $\widehat{f}^{\prime}(z)=0$ for $z=-1/1.2\in \mathbb{U}$.

The Marx–Strohhäcker theorem [8, 19] shows that $\mathcal{K}\subset \mathcal{S}^{\ast}(1/2)$, but $\mathcal{K}(\alpha )\not \subset \mathcal{S}^{\ast}$ for $\alpha <0$. Thus, in [13] the authors show that for each $\alpha \in [-1/2,0 )$ there exists a function $\widetilde{f}_{\alpha}\in \mathcal{A}$ such that $\widetilde{f}_{\alpha}\in \mathcal{K}(\alpha )$ but $\widetilde{f}_{\alpha}\notin \mathcal{S}^{\ast}$.

A well-known homogeneous differential equation of the second-order is given explicitly by (see, for details, [3])

$$\begin{aligned} z^{2}\zeta ^{\prime \prime}(z)+qz\zeta ^{\prime}(z)+ \bigl[rz^{2}-p^{2}+(1-q)p \bigr]\zeta (z)=0, \end{aligned}$$

(1.2)

whose solutions are generalized Bessel functions, with $r\in \mathbb{C}$ and $p,q\in \mathbb{R}$. A particular solution of (1.2) is the generalized Bessel function of order p that has the series expansion

$$\begin{aligned} \zeta _{p,q,r}(z)=\sum_{k=0}^{\infty} \frac{(-r)^{k}}{\Gamma (p+k+\frac{q+1}{2} ) \Gamma (k+1)} \biggl(\frac{z}{2} \biggr)^{2k+p}. \end{aligned}$$

(1.3)

It is worth of note that (1.2) has a particular interest because it enables us to know extensive information concerning the Bessel, spherical Bessel, and modified Bessel functions. Additionally, the series (1.3) converges everywhere, while it is not univalent in $\mathbb{U}$. Bear in mind that special values of p, q, and r will give us the famous Bessel, spherical Bessel, and modified Bessel functions. For example, setting $q=r=1$, we get the Bessel function, which can be defined as

$$\begin{aligned} \mathrm{J}_{p}(z):=\sum_{k=0}^{\infty} \frac{(-1)^{k}}{\Gamma (k+p+1)\Gamma (k+1 )} \biggl( \frac{z}{2} \biggr)^{p+2k},\quad z\in \mathbb{C}. \end{aligned}$$

For $q=1=-r$, the modified Bessel function will follow that can be expanded as

$$\begin{aligned} \mathrm{I}_{p}(z):=\sum_{k=0}^{\infty} \frac{1}{\Gamma (k+p+1)\Gamma (k+1 )} \biggl(\frac{z}{2} \biggr)^{p+2k},\quad z\in \mathbb{C}, \end{aligned}$$

whilst for $r=-1$ and $q=2$, we obtain the spherical Bessel function given by

$$\begin{aligned} \mathrm{S}_{p}(z):=\sum_{k=0}^{\infty} \frac{1}{\Gamma (k+p+\frac{3}{2} ) \Gamma (k+1 )} \biggl(\frac{z}{2} \biggr)^{p+2k},\quad z\in \mathbb{C}. \end{aligned}$$

According to the series expansion $\zeta _{p,q,r}$, we have $\zeta _{p,q,r}\notin \mathcal{S}$, therefore we consider the following transformation:

$$\begin{aligned} \mathrm{v}_{p,q,r}(z):=2^{p} \Gamma \biggl(p+ \frac{q+2}{2} \biggr) z^{- \frac{p}{2}} \zeta _{p,q,r} (\sqrt{z} ). \end{aligned}$$

(1.4)

From (1.4), the series of $\mathrm{v}_{p,q,r}$ has the representation

$$\begin{aligned} \mathrm{v}_{p,q,r}(z)=\sum_{k=0}^{\infty} \frac{(-r)^{k}}{4^{k}(1)_{k} (p+\frac{q+2}{2} )_{k}}z^{k}, \end{aligned}$$

where $p+(q+2)/2\notin \{0,-1,-2,\dots \}$ and $(\sigma )_{k}$ stands for the Pochhammer symbol defined by

$$\begin{aligned} (\sigma )_{k}:=\textstyle\begin{cases} 1&\text{if } k=0, \\ \sigma (\sigma +1)(\sigma +2)\cdots (\sigma +k-1)&\text{if } k\in \mathbb{N}. \end{cases}\displaystyle \end{aligned}$$

Having in mind the prior representations, it can be easily seen the following definition:

Definition 1.1

For $p,q\in \mathbb{C}$ and $r\in \mathbb{C}^{\ast}:=\mathbb{C}\setminus \{0\}$, the normalization of the of $\mathrm{v}_{p,q,r}$ is given explicitly by

$$\begin{aligned} \mathrm{V}_{\rho,r}(z):=z\cdot \mathrm{v}_{p,q,r}(z)=z+\sum _{k=1}^{ \infty}\frac{(-r)^{k}}{4^{k}(1)_{k}(\rho )_{k}}z^{k+1},\quad z\in \mathbb{U}, \end{aligned}$$

(1.5)

where $\rho:=p+(q+2)/2\in (0,+\infty )$.

We will require the next technical lemma in our investigation. This lemma was first proved in [4] for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$, and $0\leq \alpha \leq \alpha _{0}$, where $\alpha _{0}\simeq 1.302775637\ldots$ is the greatest root of the equation $\alpha ^{2}+\alpha -3=0$. Here, we employ another method to improve it using the partial derivatives and the two-variable functions’ extremum technique. It is shown that for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$, and $0\leq \alpha \leq \sqrt{2}$, the following inequality is satisfied.

Lemma 1.1

If $a>0$, $0\le \alpha \leq \alpha _{0}=\sqrt{2}\simeq 1.4142\ldots$ , and $n\in \mathbb{N}\setminus \{1,2\}$, then the following sharp result holds:

$$\begin{aligned} (a )_{n}>a(a+\alpha )^{n-1}. \end{aligned}$$

(1.6)

Proof

Let $f:(0,+\infty )\times [3,+\infty )\rightarrow \mathbb{R}$ be defined by

$$\begin{aligned} f(a,n)=\frac{\Gamma (a+n)}{\Gamma (a+1)}(a+\alpha )^{1-n}-1, \end{aligned}$$

(1.7)

where $0\leq \alpha \leq 2$ is a given number. It is easy to check that

$$\begin{aligned} &\frac{\partial}{\partial n}f(a,n)= \frac{ (a+\alpha )^{1-n}\Gamma (a+n ) (\Psi (a+n )-\ln (a+\alpha ) )}{\Gamma (a+1 )}, \\ &\quad(a,n)\in (0,+\infty )\times [3,+\infty ). \end{aligned}$$

(1.8)

Using that

$$\begin{aligned} \Gamma (z)= \int _{0}^{+\infty}t^{z-1}e^{-t} \,dt,\quad \operatorname{Re}z>0, \end{aligned}$$

it follows that $\Gamma (a+1)>0$, $\Gamma (a+n)>0$ for all $(a,n)\in (0,+\infty )\times [3,+\infty )$. Therefore, since $\alpha \geq 0$, according to (1.8), the sign of $\frac {\partial}{\partial n}f(a,n)$ will match the sign of

$$\begin{aligned} G(a,n):=\Psi (a+n )-\ln (a+\alpha ). \end{aligned}$$

Since it is well-known that

$$\begin{aligned} \ln x-\frac{1}{x}\leq \psi (x)\leq \ln x-\frac{1}{2x},\quad x>0, \end{aligned}$$

(1.9)

from the above definition we get

$$\begin{aligned} G(a,n)&\geq \ln (a+n)-\frac{1}{a+n}-\ln (a+\alpha )=\ln \frac{a+n}{a+\alpha}- \frac{1}{a+n} \\ &\geq \ln \frac{a+3}{a+\alpha}-\frac{1}{a+3}=:H(a), \quad a>0,\ n\geq 3. \end{aligned}$$

(1.10)

Hence

$$\begin{aligned} H^{\prime}(a)=\frac{1}{a+3} \biggl(\frac{\alpha -3}{a+\alpha}+ \frac{1}{a+3} \biggr),\quad a>0,\ 0\leq \alpha \leq 2, \end{aligned}$$

and we have the following equivalences:

$$\begin{aligned} H^{\prime}(a)< 0\quad\Longleftrightarrow \quad\frac{\alpha -3}{a+\alpha}< - \frac{1}{a+3}\quad \Longleftrightarrow \quad\alpha < 2+\frac{1}{a+4},\quad a>0,\ \ 0 \leq \alpha \leq 2. \end{aligned}$$

Because

$$\begin{aligned} \inf \biggl\{ 2+\frac{1}{a+4}:a>0 \biggr\} =2, \end{aligned}$$

if $\alpha \leq 2$, the last inequality above is satisfied, i.e., $H^{\prime}(a)<0$ for all $a>0$ whenever $0\leq \alpha \leq 2$. Thus, the function H is strictly decreasing on $(0,+\infty )$, which implies

$$\begin{aligned} H(a)>\lim_{x\rightarrow +\infty}H(x)=0,\quad a>0. \end{aligned}$$

This inequality, combined with (1.8) and (1.10), implies that

$$\begin{aligned} \frac{\partial}{\partial n}f(a,n)>0,\quad (a,n)\in (0,+\infty ) \times [3,+\infty ), \end{aligned}$$

hence $f(a,n)$ is a strictly increasing function on n if $n\in [3,+\infty )$ for all $a>0$, that is,

$$\begin{aligned} f(a,n)\geq f(a,3)=\frac{\Gamma (a+3)}{(a+\alpha )^{2}\Gamma (a+1)}-1= \frac{(a+1)(a+2)}{(a+\alpha )^{2}}-1,\quad a>0. \end{aligned}$$

(1.11)

Using the facts that $a>0$ and $\alpha \geq 0$, we obtain

$$\begin{aligned} \frac{(a+1)(a+2)}{(a+\alpha )^{2}}-1>0&\quad\Longleftrightarrow\quad \vert a+\alpha \vert < \sqrt{(a+1) (a+2)} \\ &\quad\Longleftrightarrow\quad \alpha < \sqrt{(a+1) (a+2)}-a=:h(a), \end{aligned}$$

(1.12)

and it is easy to check the inequality

$$\begin{aligned} h^{\prime}(a)&=\frac{2a+3}{2\sqrt{(a+1)(a+2)}}-1= \frac{2a+3-2\sqrt{(a+1)(a+2)}}{2\sqrt{(a+1)(a+2)}} \\ &= \frac{1}{2\sqrt{(a+1)(a+2)} ({2a+3+2\sqrt{(a+1)(a+2)}} )}>0,\quad a>0. \end{aligned}$$

This implies that h is strictly increasing on $(0,+\infty )$, hence

$$\begin{aligned} \lim_{x\rightarrow 0^{+}}h(x)=\sqrt{2}< h(a)< \lim_{x\rightarrow + \infty}h(x)= \frac{3}{2},\quad a>0. \end{aligned}$$

(1.13)

Consequently, if $\alpha \leq \sqrt{2}$, by using the inequalities (1.11) and (1.12), it follows that

$$\begin{aligned} f(a,n)>0,\quad a>0,\ n\geq 3. \end{aligned}$$

(1.14)

The left-hand side of the latter inequality could not be improved because

$$\begin{aligned} \inf \biggl\{ \psi (x)-\ln x+\frac{1}{x}:x>0 \biggr\} =0, \end{aligned}$$

where we used the fact that $x\mapsto \psi (x)-\ln x+\frac {1}{x}$ is strictly decreasing and positive on $(0,+\infty )$ and, using the inequality (1.9), we have

$$\begin{aligned} \lim_{x\rightarrow +\infty} \biggl(\psi (x)-\ln x+\frac{1}{x} \biggr)=0. \end{aligned}$$

From here, using the inequalities (1.10), (1.11), and (1.13), the value $\sqrt{2}$ is the maximum possible such that the inequality (1.14) holds, hence our result is sharp (i.e., the best possible) and the proof is complete. □

2 Sufficient conditions for starlikeness and convexity of order β

The first two theorems of the present section have a particular interest. They provide the reader with the orders of starlikeness and convexity of $\mathrm{V}_{\rho,r}$ that slightly improve the results given in [23], as seen in Sect. 5, items 2 and 3.

Theorem 2.1

Assume that $\rho >0$, and let $r\in \mathbb{C}^{\ast}$ with

$$\begin{aligned} 0< \vert r \vert < \frac {4\rho}{1+\rho}=:r_{\ast}. \end{aligned}$$

(2.1)

If

$$\begin{aligned} \beta \leq 1-\frac{ \vert r \vert }{\rho (4- \vert r \vert )- \vert r \vert }=:\beta _{\ast}, \end{aligned}$$

(2.2)

then $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$.

Proof

To prove that $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$, it is sufficient to show that

$$\begin{aligned} \biggl\vert \frac{z (\mathrm{V}_{\rho,r}(z) )^{\prime}}{\mathrm{V}_{\rho,r}(z)}-1 \biggr\vert < 1-\beta,\quad z\in \mathbb{U}, \end{aligned}$$

(2.3)

where $\beta \leq 1$. From the familiar triangle inequality and the maximum modulus theorem for an analytic function, we get

$$\begin{aligned} \biggl\vert \bigl(\mathrm{V}_{\rho,r}(z) \bigr)^{\prime}- \frac{\mathrm{V}_{\rho,r}(z)}{z} \biggr\vert &= \Biggl\vert \sum _{k=1}^{ \infty}\frac{k(-r)^{k}}{4^{k}k!(\rho )_{k}}z^{k} \Biggr\vert < \sup_{\theta \in [0,2\pi ]} \Biggl\vert \sum _{k=1}^{ \infty}\frac{k(-r)^{k}}{4^{k}k!(\rho )_{k}}e^{ik\theta} \Biggr\vert \\ &\le \frac{\Gamma (\rho +1)}{\rho}\sum_{k=1}^{\infty} \frac{k \vert r \vert ^{k}}{4^{k}{\Gamma (k+\rho )}\Gamma (k+1)},\quad z\in \mathbb{U}, \end{aligned}$$

(2.4)

where $\rho >0$.

Letting the function $\phi:[1,+\infty )\rightarrow \mathbb{R}$ be defined by

$$\begin{aligned} \phi (s):=\frac{s}{\Gamma (s+\rho ) \Gamma (s+1)}, \end{aligned}$$

a simple computation shows that

$$\begin{aligned} \phi (k+1)-\phi (k)= \frac{1-k^{2}-k\rho}{\Gamma (k+1+\rho ) \Gamma (k+1)}< 0,\quad k\in \mathbb{N}, \end{aligned}$$

for all $\rho >0$. Consequently, ϕ is a strictly decreasing function on $\mathbb{N}$, hence

$$\begin{aligned} \frac{s}{\Gamma (s+\rho ) \Gamma (s+1)}\leq \phi (1)= \frac{1}{\Gamma (\rho +1)},\quad s\in \mathbb{N}, \end{aligned}$$

and, using this inequality, from (2.4), we get

$$\begin{aligned} \biggl\vert \bigl(\mathrm{V}_{\rho,r}(z) \bigr)^{\prime}- \frac{\mathrm{V}_{\rho,r}(z)}{z} \biggr\vert < \frac{{1}}{\rho}\sum _{k=1}^{\infty} \biggl(\frac{ \vert r \vert }{4} \biggr)^{k}= \frac{ \vert r \vert }{\rho (4- \vert r \vert )},\quad z\in \mathbb{U}. \end{aligned}$$

(2.5)

Also, we should assume for the above result that $|r|/ (\rho (4- \vert r \vert ) )>0$, equivalent to $0<|r|<4$, which holds because of (2.9) and the assumption $0<|r|<4\rho /(1+\rho )$. We mention that the case $|r|=0$ is trivial because $\mathrm{V}_{\rho,0}(z)=z$ is the identity function.

On the other hand, by using the theorem of the maximum of the modulus for an analytic function, we have

$$\begin{aligned} \biggl\vert \frac{\mathrm{V}_{\rho,r}(z)}{z} \biggr\vert &= \Biggl\vert 1+\sum _{k=1}^{ \infty}\frac{(-r)^{k}}{4^{k}k!(\rho )_{k}}z^{k} \Biggr\vert >1- \sup_{\theta \in [0,2\pi ]} \Biggl\vert \sum _{k=1}^{\infty} \frac{(-r)^{k}}{4^{k}k!(\rho )_{k}}e^{ik\theta} \Biggr\vert \\ &\ge 1-\frac{\Gamma (\rho +1)}{\rho} \sum_{k=1}^{\infty} \frac{ \vert r \vert ^{k}}{4^{k}\Gamma (k+1 ) \Gamma (k+\rho )},\quad z\in \mathbb{U}, \end{aligned}$$

(2.6)

where $\theta \in \mathbb{R}$, $\rho >0$. The function $1/ (\Gamma (k+1)\Gamma (k+\rho ) )$ is strictly decreasing for $k\in \mathbb{N}$, which leads to

$$\begin{aligned} \biggl\vert \frac{\mathrm{V}_{\rho,r}(z)}{z} \biggr\vert >1- \frac{\Gamma (\rho +1 )}{\rho} \sum _{k=1}^{\infty} \biggl( \frac{ \vert r \vert }{4} \biggr)^{k}\cdot \frac{1}{\Gamma (\rho +1 )\Gamma (2)} = \frac{\rho (4- \vert r \vert )- \vert r \vert }{\rho (4- \vert r \vert )},\quad z\in \mathbb{U}, \end{aligned}$$

(2.7)

where

$$\begin{aligned} \frac{\rho (4- \vert r \vert )- \vert r \vert }{\rho (4- \vert r \vert )}>0. \end{aligned}$$

(2.8)

Note that (2.8) holds because $\rho >0$ and

$$\begin{aligned} \vert r \vert < \min \biggl\{ 4;\frac{4\rho}{1+\rho} \biggr\} =\frac{4\rho}{1+\rho} \end{aligned}$$

(2.9)

for all $\rho \in \mathbb{C}$, hence this inequality holds by the assumptions of the theorem. Since

$$\begin{aligned} \biggl\vert \frac{z\mathrm{V}_{\rho,r}^{\prime}(z)}{\mathrm{V}_{\rho,r}(z)}-1 \biggr\vert = \biggl\vert \mathrm{V}_{\rho,r}^{\prime}(z)- \frac{\mathrm{V}_{\rho,r}(z)}{z} \biggr\vert \cdot \biggl\vert \frac{z}{\mathrm{V}_{\rho,r}(z)} \biggr\vert ,\quad z\in \mathbb{U}, \end{aligned}$$

from (2.5) and (2.7), according to the assumption (2.2), we deduce that

$$\begin{aligned} \biggl\vert \frac{z\mathrm{V}_{\rho,r}^{\prime}(z)}{\mathrm{V}_{\rho,r}(z)}-1 \biggr\vert < \frac{ \vert r \vert }{\rho (4- \vert r \vert )- \vert r \vert }\leq 1- \beta, \quad z\in \mathbb{U}. \end{aligned}$$

Finally, from (2.3), it follows that $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$. □

Theorem 2.2

Assume that $\rho \geq 1/2$ and let $r\in \mathbb{C}^{\ast}$ with

$$\begin{aligned} 0< \vert r \vert < \frac {4\rho}{2+\rho}=:r_{c}. \end{aligned}$$

(2.10)

If

$$\begin{aligned} \beta \leq 1- \frac{2 \vert r \vert }{\rho (4- \vert r \vert )-2 \vert r \vert }=: \beta _{c}, \end{aligned}$$

(2.11)

then $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$.

Proof

We could check immediately that the condition

$$\begin{aligned} \biggl\vert \frac{z\mathrm{V}_{\rho,r}^{\prime \prime}(z)}{\mathrm{V}_{\rho,r}^{\prime}(z)} \biggr\vert < 1-\beta,\quad z\in \mathbb{U}, \end{aligned}$$

(2.12)

implies $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$, where $0\leq \beta <1$.

Using the triangle inequality and the theorem of the maximum of the modulus for an analytic function, we get

$$\begin{aligned} \bigl\vert z\mathrm{V}_{\rho,r}^{\prime \prime}(z) \bigr\vert &= \Biggl\vert \sum_{k=1}^{ \infty}\frac{k(k+1)(-r)^{k}}{4^{k}k!(\rho )_{k}}z^{k} \Biggr\vert < \sup_{\theta \in [0,2\pi ]} \Biggl\vert \sum _{k=1}^{\infty} \frac{k(k+1)(-r)^{k}}{4^{k}k!(\rho )_{k}}e^{ik\theta} \Biggr\vert \\ &\le \frac{\Gamma (\rho +1 )}{\rho}\sum_{k=1}^{\infty} \frac{k(k+1) \vert r \vert ^{k}}{4^{k}\Gamma (k+\rho )\Gamma (k+1)},\quad z\in \mathbb{U}, \end{aligned}$$

(2.13)

where $\rho >0$.

Defining the function $\omega:[1,+\infty )\rightarrow \mathbb{R}$ by

$$\begin{aligned} \omega (s):=\frac{s(s+1)}{\Gamma (s+\rho ) \Gamma (s+1)}, \end{aligned}$$

we get

$$\begin{aligned} \omega (k+1)-\omega (k)=- \frac{\varphi (k)}{\Gamma (k+1+\rho ) \Gamma (k+1)},\quad k\in \mathbb{N}, \end{aligned}$$

(2.14)

where

$$\begin{aligned} \varphi (k):=k^{3}+ (\rho +1 )k^{2}+ (\rho -1 )k-2. \end{aligned}$$

Since it is easy to check that if $\rho >0$,

$$\begin{aligned} \varphi ^{\prime}(s)=3s^{2}+2 (\rho +1 )s+\rho -1 >0,\quad s\in [1,+ \infty ), \end{aligned}$$

it follows that

$$\begin{aligned} \min \bigl\{ \varphi (s):s\ge 1\bigr\} =\varphi (1)=2\rho -1\ge 0 \end{aligned}$$

wherever $\rho \ge 1/2$. Therefore, according to (2.14), we get

$$\begin{aligned} \omega (k+1)-\omega (k)\le 0,\quad k\in \mathbb{N}, \end{aligned}$$

hence ω is a decreasing function on $\mathbb{N}$ and

$$\begin{aligned} \frac{k(k+1)}{\Gamma (\rho +k) \Gamma (k+1)}\leq \omega (1)= \frac{2}{\Gamma (\rho +1)},\quad k\in \mathbb{N}. \end{aligned}$$

Using this inequality, from (2.13) we get

$$\begin{aligned} \bigl\vert z\mathrm{V}_{\rho,r}^{\prime \prime}(z) \bigr\vert < \frac{2}{\rho}\sum_{k=1}^{\infty} \biggl( \frac{ \vert r \vert }{4} \biggr)^{k}= \frac{2 \vert r \vert }{\rho (4- \vert r \vert )},\quad z\in \mathbb{U}. \end{aligned}$$

(2.15)

In the above inequality, we have $2|r|/ (\rho (4- \vert r \vert ) )>0$, equivalent to $0<|r|<4$, which holds because of our assumptions.

Furthermore, from the theorem of the maximum of the modulus for an analytic function, we have

$$\begin{aligned} \bigl\vert \mathrm{V}_{\rho,r}^{\prime}(z) \bigr\vert &= \Biggl\vert 1+\sum_{k=1}^{ \infty} \frac{(k+1)(-r)^{k}}{4^{k}(1)_{k}(\rho )_{k}}z^{k} \Biggr\vert >1- \sup_{\theta \in [0,2\pi ]} \Biggl\vert \sum_{k=1}^{\infty} \frac{(k+1)(-r)^{k}}{4^{k}(1)_{k}(\rho )_{k}}e^{ik\theta} \Biggr\vert \\ &\geq 1-\frac{\Gamma (\rho +1)}{\rho} \sum_{k=1}^{\infty} \frac{(k+1) \vert r \vert ^{k}}{4^{k}\Gamma (k+1)\Gamma (k+\rho )},\quad z\in \mathbb{U}, \end{aligned}$$

where $\theta \in \mathbb{R}$. Since the function $k(k+1)/ (\Gamma (k+1)\Gamma (k+\rho ) )$ is strictly decreasing for $k\in \mathbb{N}$, it follows that the function $(k+1)/ (\Gamma (k+1)\Gamma (k+\rho ) )$ is also strictly decreasing for $k\in \mathbb{N}$, thus

$$\begin{aligned} \bigl\vert \mathrm{V}_{\rho,r}^{\prime}(z) \bigr\vert >1- \frac{\Gamma (\rho +1)}{\rho} \sum_{k=1}^{\infty} \biggl( \frac{ \vert r \vert }{4} \biggr)^{k}\cdot \frac{2}{\Gamma (\rho +1)\Gamma (2)} = \frac{\rho (4- \vert r \vert )-2 \vert r \vert }{\rho (4- \vert r \vert )}, \quad z\in \mathbb{U}, \end{aligned}$$

(2.16)

where

$$\begin{aligned} \frac{\rho (4- \vert r \vert )-2 \vert r \vert }{\rho (4- \vert r \vert )}>0. \end{aligned}$$

(2.17)

It is worth noting that (2.17) holds because $\rho >0$ and

$$\begin{aligned} \vert r \vert < \min \biggl\{ 4;\frac{4\rho}{2+\rho} \biggr\} = \frac{4\rho}{2+\rho}, \end{aligned}$$

(2.18)

for all $\rho >0$, hence this inequality holds by the assumptions of the theorem. Since

$$\begin{aligned} \biggl\vert \frac{z\mathrm{V}_{\rho,r}^{\prime \prime}(z)}{\mathrm{V}_{\rho,r}^{\prime}(z)} \biggr\vert = \bigl\vert z \mathrm{V}_{\rho,r}^{\prime \prime}(z) \bigr\vert \cdot \biggl\vert \frac{1}{\mathrm{V}_{\rho,r}^{\prime}(z)} \biggr\vert ,\quad z\in \mathbb{U}, \end{aligned}$$

from (2.15) and (2.16), by using the assumption (2.11), we deduce that

$$\begin{aligned} \biggl\vert \frac{z\mathrm{V}_{\rho,r}^{\prime \prime}(z)}{\mathrm{V}_{\rho,r}^{\prime}(z)} \biggr\vert < \frac{2 \vert r \vert }{\rho (4- \vert r \vert )-2 \vert r \vert } \leq 1- \beta,\quad z\in \mathbb{U}, \end{aligned}$$

and, according to (2.12), it follows that $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$. □

3 Special cases and examples

Remark 3.1

The above two theorems could be summarized as follows:

(i) Suppose that $\rho >0$ and let $r\in \mathbb{C}^{\ast}$ be such that the conditions (2.1) and (2.2) are satisfied. Then, $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$.

(ii) Suppose that $\rho \in \mathbb{C}$ with $\rho \geq 1/2$, and let $r\in \mathbb{C}^{\ast}$ be such that the conditions (2.10) and (2.11) are satisfied. Then, $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$.

Remark 3.2

We could make the following remarks regarding the restrictions for the parameters r and ρ in both theorems:

(i) The restriction $\rho \geq 1/2$ in Theorem 2.2 is stronger than the condition $\rho >0$ in Theorem 2.1.

(ii) Regarding the assumptions (2.1) and (2.10) for the upper bound of the parameter $r\in \mathbb{C}^{\ast}$, for all $\rho >0$ we have

$$\begin{aligned} 0< r_{c}< r_{\ast}. \end{aligned}$$

(iii) According to (2.9) and (2.18), we get

$$\begin{aligned} \max \biggl\{ 4;\frac{4\rho}{1+\rho};\frac{4\rho}{2+\rho} \biggr\} =4, \end{aligned}$$

hence each assumption (2.1) or (2.10) implies $|r|<4$. Consequently, for all $r,\rho >0$, we obtain that

$$\begin{aligned} 0< \beta _{c}< \beta _{\ast}. \end{aligned}$$

Next we will show a few particular cases for Theorems 2.1 and 2.2 obtained for different choices of the parameters r, ρ, and β.

Example 3.1

(i) Taking $\rho =1.2591$, $r=1.5453$, and $\beta =0$ in Theorem 2.1, both assumptions (2.1) and (2.2) are satisfied, hence $\mathrm{V}_{1.2591,1.5453}\in \mathcal{S}^{\ast}(0)=:\mathcal{S}^{ \ast}$, and the image of the open unit disc $\mathbb{U}$ is shown in Fig. 1(A).

Figure 1

Illustrations for Example 3.1

(ii) For the values $\rho =1.259$, $r=1.9$, and $\beta =-1.555$, all assumptions of Theorem 2.1 are satisfied, therefore $\mathrm{V}_{1.259,1.9}\in \mathcal{S}^{\ast}(-1.555)$. As seen in Fig. 1(B), the function $\mathrm{V}_{1.259,1.9}$ is not convex, but, according to this theorem, it is starlike of order $\beta =-1.555$.

(iii) If we take $\rho =1.259$, $r=6$, and $\beta =0.9$ in Theorem 2.1, then it is easy to check that the assumption (2.1) is not satisfied. As seen in Fig. 1(C), the function $\mathrm{V}_{1.259,6}\notin \mathcal{S}^{\ast}(0.9)\subset \mathcal{S}$ because it is not univalent in $\mathbb{U}$. Thus, we could see from the mentioned figure that there exists a subset of $\mathbb{C}$ that it is twice overlapped by $\mathrm{V}_{1.259,6}(\mathbb{U})$, therefore form here and item (ii), we see the assumption (2.1) is essential for the validity of this theorem.

Example 3.2

(i) For $\rho =2.424$, $r=1.509$, and $\beta =0$ in Theorem 2.2, the assumptions (2.10) and (2.11) hold for these values, hence $\mathrm{V}_{2.424,1.509}\in \mathcal{K}(0)=:\mathcal{K}$, while the image of $\mathrm{V}_{2.424,1.509}(\mathbb{U})$ is shown in Fig. 2(A).

Figure 2

Illustrations for Example 3.2

(ii) Considering the values $\rho =2.424$, $r=7.5$, and $\beta =0.9$, it is easy to check that the assumption (2.10) is not satisfied. Therefore, in this case we cannot use the result of Theorem 2.2. Moreover, we see from Fig. 2(B) that $\mathrm{V}_{2.424,7.5}\notin \mathcal{K}(0)\subset \mathcal{K}(0.9)$ because the domain $\mathrm{V}_{2.424,7.5}(\mathbb{U})$ is not convex.

(iii) If $\rho =2.424$, $r=14$, and $\beta =0.9$, then we may see that the assumption (2.10) is not satisfied, hence for these values we cannot use the conclusion of Theorem 2.2. We may see in Fig. 2(C) that the function $\mathrm{V}_{2.424,14}\notin \mathcal{K}(0.9)\subset \mathcal{K}$ because it is not univalent in $\mathbb{U}$. From this figure we see that there exists a subset of $\mathbb{C}$ that it is twice overlapped by $\mathrm{V}_{2.424,14}(\mathbb{U})$, thus form here and item (ii) we see the assumption (2.10) is essential for Theorem 2.2.

4 Sufficient conditions for starlikeness and convexity of order β using Silverman’s theorem

The theorems of this section allow us to obtain sufficient conditions on the parameters ρ and r such that $\mathrm{V}_{\rho,r}$ is in the classes of starlike and convex functions of order β by making use of Lemma 1.1 and the well-known result of H. Silverman [18, Theorem 1].

Theorem 4.1

Let

$$\begin{aligned} W_{\rho,r}(\beta ):={}& \biggl(1-\frac{{ \vert r \vert }}{4\rho}- \frac{{ \vert r \vert }^{2}}{32\rho (\rho +1 )} \\ &{}- \frac{{ \vert r \vert }^{3}}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2}+4\rho +4\rho \sqrt{2}-{ \vert r \vert } )} \biggr)\beta \\ &{}+\frac{{ \vert r \vert }}{2\rho}+ \frac{3{ \vert r \vert }^{2}}{32\rho (\rho +1 )}+ \frac{3{ \vert r \vert }^{3}}{ 64\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (2+\sqrt{2}+\rho +\rho \sqrt{2}-{ \vert r \vert } )} \\ &{}+ \frac{{ \vert r \vert }^{3}}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2}+4\rho +4\rho \sqrt{2}-{ \vert r \vert } )}-1, \end{aligned}$$

where $\rho >0$ and $r\in \mathbb{C}^{\ast}$. If there exists a $\beta <1$ such that

$$\begin{aligned} W_{\rho,r}(\beta )\leq 0, \end{aligned}$$

(4.1)

then $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$.

Proof

A well-known result from [18, Theorem 1] shows that if f has the form (1.1) and satisfies $\sum_{k=2}^{\infty} (k-\beta ) \vert f_{k} \vert \leq 1-\beta$, then $f\in \mathcal{S}^{\ast} (\beta )$. Thus, according to (1.5), it sufficient to show that

$$\begin{aligned} \mathrm{A}_{1}:=\sum_{k=2}^{\infty} (k-\beta ) \biggl\vert \frac{ (-r )^{k-1}}{4^{k-1}(1)_{k-1}(\rho )_{k-1}} \biggr\vert \leq 1-\beta. \end{aligned}$$

Since $\rho >0$ and $r\in \mathbb{C}^{\ast}$, we have

$$\begin{aligned} \mathrm{A}_{1}&=\sum_{k=2}^{\infty} (k-\beta ) \frac{ \vert r \vert ^{k-1}}{4^{k-1}(1)_{k-1}(\rho )_{k-1}} =\sum_{k=1}^{\infty} (k+1-\beta ) \frac{ \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} \\ &=\frac{(2-\beta ) \vert r \vert }{4\rho}+ \frac{ (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} +\sum_{k=3}^{\infty} \frac{k \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} + (1- \beta )\sum_{k=3}^{\infty} \frac{ \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}}. \end{aligned}$$

It is easy to show by induction that $k\leq (3/64)4^{k}$ for all $k\in \mathbb{N}\setminus \{1,2\}$. Moreover, using Lemma 1.1, we have $(1)_{k}>(1+\alpha )^{k-1}$, $k\in \mathbb{N}\setminus \{1,2\}$, and $0\leq \alpha \leq \sqrt{2}$. Since

$$\begin{aligned} \max \bigl\{ (1+\alpha )^{k-1}:0\leq \alpha \leq \sqrt{2} \bigr\} = (1+ \sqrt{2} )^{k-1}, \end{aligned}$$

it follows that $(1)_{k}\geq (1+\sqrt{2} )^{k-1}$, $\mathbb{N}\setminus \{1,2\}$. Similarly, $(\rho )_{k}\geq \rho (\rho +\sqrt{2} )^{k-1}$, $\rho >0$, and $k\in \mathbb{N}\setminus \{1,2\}$, hence from the assumption (4.1), it follows that

$$\begin{aligned} \mathrm{A}_{1}\leq {}&\frac{(2-\beta ) \vert r \vert }{4\rho}+ \frac{ (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} + \frac{3 \vert r \vert }{64\rho} \sum_{k=3}^{\infty} \frac{ \vert r \vert ^{k-1}}{ (1+\sqrt{2} )^{k-1} (\rho +\sqrt{2} )^{k-1}} \\ &{}+\frac{(1-\beta ) \vert r \vert }{4\rho} \sum_{k=3}^{ \infty} \frac{ \vert r \vert ^{k-1}}{4^{k-1} (1+\sqrt{2} )^{k-1} (\rho +\sqrt{2} )^{k-1}} \\ ={}&\frac{(2-\beta ) \vert r \vert }{4\rho}+ \frac{ (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} + \frac{3 \vert r \vert ^{3}}{64\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (2+\sqrt{2}+\rho +\rho \sqrt{2}- \vert r \vert )} \\ &{}+ \frac{ \vert r \vert ^{3} (1-\beta )}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2} +4\rho +4\rho \sqrt{2}- \vert r \vert )}\leq 1-\beta, \end{aligned}$$

and thus the proof is complete. □

Example 4.1

The next special cases of the above theorem represent two situations that could treated using the above theorem.

(i) For the case $\beta =0$ and $r=1.1$, the inequality (4.1) gives $\rho \ge 0.6240754208\ldots$ , hence we could formulate the following result:

If $r=1.1$ and $\rho \geq 0.6240754208\ldots$ , then $\mathrm{V}_{\rho,1.1}\in \mathcal{S}^{\ast}(0)=\mathcal{S}^{\ast}$.

(ii) A similar case obtained for the case $\beta =0.1$ and $r=1.2$ is the following:

If $r=1.2$ and $\rho \geq 0.7229723004\ldots$ , then $\mathrm{V}_{\rho,1.2}\in \mathcal{S}^{\ast}(0.1)$.

As seen in Fig. 3, in both on the above cases the functions $\mathrm{V}_{\rho,r}$ are starlike but not convex in $\mathbb{U}$.

Figure 3

Illustrations for Example 4.1

Theorem 4.2

Let

$$\begin{aligned} T_{\rho,r}(\beta ):={}& \biggl(1-\frac{ \vert r \vert }{2\rho}- \frac{3 \vert r \vert ^{2}}{32\rho (\rho +1 )} - \frac{3 \vert r \vert ^{3}}{64\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (2+\sqrt{2}+\rho +\rho \sqrt{2}- \vert r \vert )} \\ &{}- \frac{ \vert r \vert ^{3}}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2}+4\rho +4\rho \sqrt{2}- \vert r \vert )} \biggr)\beta \\ &{}+\frac{ \vert r \vert }{\rho}+ \frac{9 \vert r \vert ^{2}}{32\rho (\rho +1 )}+ \frac{15 \vert r \vert ^{3}}{ 64\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (2+\sqrt{2}+\rho +\rho \sqrt{2}- \vert r \vert )} \\ &{}+ \frac{ \vert r \vert ^{3}}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2}+4\rho +4\rho \sqrt{2}- \vert r \vert )}-1, \end{aligned}$$

where $\rho >0$ and $r\in \mathbb{C}^{\ast}$. If there exists a $\beta <1$ such that

$$\begin{aligned} T_{\rho,r}(\beta )\leq 0, \end{aligned}$$

(4.2)

then $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$.

Proof

As stated above, if f is of the form (1.1) and satisfies $\sum_{k=2}^{\infty} (k-\beta ) \vert f_{k} \vert \leq 1-\beta$, then $f\in \mathcal{S}^{\ast} (\beta )$. From the Alexander duality relation, i.e., for a function f of the form (1.1), we have $f\in \mathcal{K}(\beta )$ if and only if $zf^{\prime}(z)\in \mathcal{S}^{\ast}(\beta )$, according to [18, Theorem 1], if a function f of the form (1.1), satisfies $\sum_{k=2}^{\infty}k (k-\beta ) \vert f_{k} \vert \leq 1-\beta$, then $f\in \mathcal{K} (\beta )$. Therefore, it is enough to prove that

$$\begin{aligned} A_{2}:=\sum_{k=2}^{\infty}k (k-\beta ) \biggl\vert \frac{ (-r )^{k-1}}{4^{k-1}(1)_{k-1}(\rho )_{k-1}} \biggr\vert \leq 1-\beta. \end{aligned}$$

(4.3)

Since $\rho >0$ and $r\in \mathbb{C}^{\ast}$, we have

$$\begin{aligned} \mathrm{A}_{2}:={}&\sum_{k=1}^{\infty} \frac{ (k+1 ) (k+1-\beta ) \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} \\ ={}&\frac{ (2-\beta ) \vert r \vert }{2\rho}+ \frac{3 (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} +\sum_{k=3}^{\infty} \frac{ (k+1 ) (k+1-\beta ) \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} \\ ={}&\frac{ (2-\beta ) \vert r \vert }{2\rho}+ \frac{3 (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} +\sum_{k=3}^{\infty} \frac{k^{2} \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} \\ &{}+ (2-\beta )\sum_{k=3}^{\infty} \frac{k \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}} + (1- \beta )\sum_{k=3}^{\infty} \frac{ \vert r \vert ^{k}}{4^{k}(1)_{k}(\rho )_{k}}. \end{aligned}$$

It is worth noting that by mathematical induction we have $k^{2}\leq (9/64)4^{k}$ and $k\leq (3/64)4^{k}$, $k\in \mathbb{N}\setminus \{1,2\}$. We shall now proceed to combine the latter inequalities again with the estimates $(1)_{k}\geq (1+\sqrt{2} )^{k-1}$, $(\rho )_{k}\geq \rho (\rho +\sqrt{2} )^{k-1}$, $k\in \mathbb{N}\setminus \{1,2\}$, which follow from Lemma 1.1, to get

$$\begin{aligned} \mathrm{A}_{2}\leq {}& \frac{ (2-\beta ) \vert r \vert }{2\rho}+ \frac{3 (3-\beta ) \vert r \vert ^{2}}{ 32\rho (\rho +1 )}+ \frac{9+3 (2-\beta )}{64\rho}\cdot \vert r \vert \sum_{k=3}^{\infty} \frac{ \vert r \vert ^{k-1}}{ (1+\sqrt{2} )^{k-1} (\rho +\sqrt{2} )^{k-1}} \\ &{}+\frac{ (1-\beta ) \vert r \vert }{4\rho} \sum_{k=3}^{ \infty} \frac{ \vert r \vert ^{k-1}}{4^{k-1} (1+\sqrt{2} )^{k-1} (\rho +\sqrt{2} )^{k-1}} \\ ={}&\frac{ (2-\beta ) \vert r \vert }{2\rho}+ \frac{3 (3-\beta ) \vert r \vert ^{2}}{32\rho (\rho +1 )} \\ &{}+\frac{3 (5-\beta )}{64\rho}\cdot \frac{ \vert r \vert ^{3}}{ (1+\sqrt{2} ) (\rho +\sqrt{2} ) (2+\sqrt{2}+\rho +\rho \sqrt{2}- \vert r \vert )} \\ &{}+ \frac{ (1-\beta ) \vert r \vert ^{3}}{16\rho (1+\sqrt{2} ) (\rho +\sqrt{2} ) (8+4\sqrt{2}+4\rho +4\rho \sqrt{2}- \vert r \vert )} \leq 1-\beta, \end{aligned}$$

where the last inequality holds under the assumption (4.2). Thus, the inequality (4.3) is satisfied, hence $\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$. □

Example 4.2

The next particular cases of Theorem 4.2 represent two situations obtained for special cases of the parameters.

(i) For the case $\beta =0$ and $r=2.1$, the inequality (4.2) leads to $\rho \ge 2.488707149\ldots$ , thus the following result gives us a better result for ρ than that of Theorem 2.2 but assuming that $\rho >0$:

If $r=2.1$ and $\rho \geq 2.488707149\ldots$ , then $\mathrm{V}_{\rho,2.1}\in \mathcal{K}(0)=\mathcal{K}$.

(ii) A similar case obtained for the case $\beta =0.1$ and $r=1.2$ is the following:

If $r=2.1$ and $\rho \geq 1.400245864\ldots$ , then $\mathrm{V}_{\rho,1.2}\in \mathcal{K}(-8)$.

As seen in Fig. 4, in the first case, the image $\mathrm{V}_{2.488707149,2.1}(\mathbb{U})$ of the first function is a convex domain, while in the second case, the image $\mathrm{V}_{1.400245864,2.1}(\mathbb{U})$ is not a convex domain, and it seems to be starlike. This fact is expected because $\mathrm{V}_{1.400245864,1.2}\in \mathcal{K}(-8)\not \subset \mathcal{K}$.

Figure 4

Illustrations for Example 4.2

5 Concluding remarks and outlook

The highlights of the present paper are given below:

1. At first, Lemma 1.1 is an improvement of Lemma 2 of [4], showing that $(a)_{n}>~a(a+\alpha )^{n-1}$ for $n\in \mathbb{N}\setminus \{1,2\}$, $a>0$, and $0\leq \alpha \leq \sqrt{2}$;

2. In Theorem 2.1, we have proved that if $\rho >0$, $r\in \mathbb{C}^{\ast}$ are such that the conditions (2.1) and (2.2) are satisfied, then $\mathrm{V}_{\rho,r}\in \mathcal{S}^{\ast}(\beta )$. This theorem slightly improves Theorem 2.1 of [23]. Thus, for the values $\rho =2$ and $r=0.05$, the conditions of both of these two theorems are satisfied. Therefore, Theorem 2.1 of [23] implies $V_{\rho,r}\in \mathcal{S}^{\ast}(0.9915966387)$ while the present Theorem 2.1 gives a better result $V_{\rho,r}\in \mathcal{S}^{\ast}(0.9936305732)$. Also, for $\rho =0.5$ and $r=0.09$, the conditions of both of these two theorems are satisfied, and Theorem 2.1 of [23] gives us $V_{\rho,r}\in \mathcal{S}^{\ast}(0.9361702128)$ while Theorem 2.1 implies a better result $V_{\rho,r}\in \mathcal{S}^{\ast}(0.9517426274)$.

3. In Theorem 2.2, we proved that if $\rho \geq 1/2$ and $r\in \mathbb{C}^{\ast}$ are such that the conditions (2.10) and (2.11) are satisfied, then we have$\mathrm{V}_{\rho,r}\in \mathcal{K}(\beta )$. Like in the above item, Theorem 2.2 slightly improves Theorem 2.2 of [23]. For example, taking the values $\rho =1$ and $r=0.05$, the assumptions of both of these theorems hold. Thus, Theorem 2.2 of [23] implies $V_{\rho,r}\in \mathcal{K}(0.9655172414)$ while Theorem 2.1 actually gives a better result $V_{\rho,r}\in \mathcal{K}(0.9740259740)$. In addition, for $\rho =0.5$ and $r=0.09$, since all the conditions of these theorems are satisfied, Theorem 2.2 of [23] implies $V_{\rho,r}\in \mathcal{K}(0.8636363636)$ while Theorem 2.1 gives us a better result $V_{\rho,r}\in \mathcal{K}(0.8985915493)$.

4. In Theorems 4.1 and 4.2, and with the help of Lemma 1.1, we have obtained sufficient conditions on ρ, r, with $\rho >0$ and $r\in \mathbb{C}^{\ast}$, such that $\mathrm{V}_{\rho,r}$ belongs to the sets $\mathcal{S}^{\ast}(\beta )$ and $\mathcal{K}(\beta )$. The proof uses our new Lemma 1.1 that improves Lemma 2 of [4].

5. We provided the reader with some examples to illustrate the efficiency of our approach.