A subclass of strongly starlike functions

Let's denote $\mathcal{S}^{\ast}(f_c)$ as a family of analytic functions $f(z)=z+a_2z^2+a_3z^3+\cdots$ in the open unit disk $\mathbb{D}$ that satisfy the following relation for $c\in (0,1)$:$$\frac{zf'(z)}{f(z)}\prec f_c(z)=\frac{1}{\sqrt{1-cz}}, \quad z\in\mathbb{D}.$$First, we introduce the analytic functions $f_c(z)$ and examine their starlike and positivity properties of the real part. Then, we obtain their images in the open unit disk $\mathbb{D}$, which are Cassini ovals. Cassini ovals, due to their properties, have applications in solving various problems in fields such as geometry, physics, and mathematics. These curves are used in studying the motion of waves and electromagnetic waves in interstellar spaces, as well as in the design of engineering structures such as telescopes. In this article, with the help of integrals, we investigate the structure of mappings in this family and some properties including maximum and minimum moduli, bounds of the real part of these functions. Moreover, we obtain the relationships between the defined geometric ranks with this family, including the order of starlikeness and order of strong starlikeness.

Let $\mathcal{A}$ be a set of analytic functions of the form $f(z)=z+a2z^2+a3z^3+\cdots$ in the open unit disc $\mathbb{D}:=\left\{z\in\mathbb{C}\colon |z|<1\right\}$. A function $f\in\mathcal{A}$ is called univalent if it is one-to-one. In [5], two classes of starlike and convex functions with order $0\le \beta<1$ are defined as follows:\begin{equation}\label{starlike-convex}\mathcal{S}^{\ast}(\beta):=\left\{f\in\mathcal{A}\colon \Re\left(\frac{zf'(z)}{f(z)}\right)>\beta\right\},\quad \mathcal{K}(\beta):=\left\{f\in\mathcal{A}\colon zf'(z)\in\mathcal{S}^{\ast}(\beta)\right\}.\end{equation}Similarly, in [2], the class of functions called strongly starlike with order $0<\alpha\le 1$ is defined as:\[\mathcal{SS}^{\ast}(\alpha)=\left\{f\in\mathcal{A}\colon \left|\mathrm{Arg}\frac{zf'(z)}{f(z)}\right|<\frac{\alpha \pi}{2}\right\}.\]If $f$ and $g$ are two analytic functions in $\mathbb{D}$, we say that $f$ is subordinate to $g$ \cite{Dur}, denoted by $f\prec g$, if and only if there exists an analytic function $w$ with $w(0)=0$ such that for all $z\in\mathbb{D}$:\[\left|w(z)\right|<1, \quad f(z)=g(w(z)).\]If $g$ is univalent, we have:\[f(z)\prec g(z) \Longleftrightarrow f(0)=g(0),\quad f(\mathbb{D})\subset g(\mathbb{D}).\]Given $c\in(0,1)$, analytic functions $f_c$ are defined as follows:(1.2)$$f_c(z):=\frac{1}{\sqrt{1-cz}}=1+\frac{c}{2}z+\frac{3c^2}{8}z^2+\cdots$$in the principal branch of the complex logarithm, where $\log 1=0$. These functions are univalent in $\mathbb{D}$ and map the open unit disc $\mathbb{D}$ into the interior of the Cassinian ovals given by the Cartesian equation:\begin{equation}\label{Cassinian-Ovals}(x^2+y^2)^2-\frac{2}{1-c^2}(x^2-y^2)+\frac{1}{1-c^2}=0,\end{equation}or the polar equation:\begin{equation}\label{Cassinian-Ovals1}r^4-\frac{2r^2 }{1-c^2} \cos(2\theta)=\frac{1}{c^2-1}.\end{equation}

In this section, we will first derive the structure of functions in the class $\mathcal{S}^{\ast}(f_c)$, and then using the stated theorems, we will determine the order of starlikeness and strongly starlikeness of functions in the class $\mathcal{S}^{\ast}(f_c)$. Theorem 2.1. A function $f$ belongs to the class $\mathcal{S}^{\ast}(f_c)$ if and only if there exists a function $p \prec f_c$ such that\begin{equation}\label{thm-1-0}f(z)=z\exp\left(\int_{0}^{z}\frac{p(t)-1}{t}dt\right), \quad z\in\mathbb{D}.\end{equation} If we set $p(z)=f_c(z)$ in theorem (2.1), then we get(2.2) $$F_c(z):=z\exp\left(\int_{0}^{z}\frac{f_c(t)-1}{t}dt\right)=\frac{4z}{(1+\sqrt{1-cz})^2}, \quad z\in\mathbb{D}.$$This function $F_c(z)$ is an extreme function for the class $\mathcal{S}^{\ast}(f_c)$. Figure 2 illustrates the image of the open unit disk $\mathbb{D}$ under the mapping $F_c(z)$ for $c=3/4$. Theorem 2.2. Let $f_c$ be the given function described in (1.2). Then $f_c$ is convex and satisfies the following conditions:\begin{equation}\label{max-min0}\max_{|z|=r<1}\left|f_c(z)\right|=f_c(r),\quad \min_{|z|=r<1}\left|f_c(z)\right|=f_c(-r).\end{equation} In the following theorem, we obtain bounds for the real part and strongly starlike mappings of the functions $f_c$. Theorem 2.3. Suppose $c\in(0,1)$. Then we have the following:(1) \[f_c(\mathbb{D})\subset \left\{w\in\mathbb{C}\colon \frac{1}{\sqrt{1+c}}<\Re(w)<\frac{1}{\sqrt{1-c}}\right\},\](2)\[f_c(\mathbb{D})\subset \left\{w\in\mathbb{C}\colon \left|\mathrm{Arg}(w)\right|<\frac12 \arccos\sqrt{1-c^2}\right\}.\] Theorem 2.4. If $f\in \mathcal{S}^{\ast}(fc)$ and $|z|=r<1$, then the following hold:(1) \[\frac{zf'(z)}{f(z)}\prec \frac{zF'_c(z)}{F_c(z)},\quad \frac{f(z)}{z}\prec\frac{F_{c}(z)}{z},\](2) \[F'_c(-r)\le \left|f'(z)\right|\le F'_c(r),\](3) \[-F_c(-r)\le |f(z)|\le F_c(r),\](4) \[\left|\arg{(f(z)/z)}\right|\le \max{|z|=r}\arg\left(\frac{1}{(1+\sqrt{1-cz})^2}\right),\](5) Either $f$ is a rotation of $F_c$ or\[\left\{w\in \mathbb{C} \colon\ |w|\leq-F_c(-1)=\frac{4}{(1+\sqrt{1+c})^2}\right\}\subsetf(\mathbb{D}),\]where in all cases, the function $F_c$ is defined as per equation (2.2).\end{thm}In the following theorem, we determine the subordination order and strong subordination order for the class of functions $\mathcal{S}^{\ast}(f_c)$. Theorem 2.5. The class of functions $\mathcal{S}^{\ast}(f_c)$ has the following properties:(1) For $0\le \beta\le \frac{1}{\sqrt{1+c}}$, we have\[\mathcal{S}^{\ast}(f_c)\subset \mathcal{S}^{\ast}(\beta).\](2) For $\frac{1}{\pi}\arccos\sqrt{1-c^2}\le \alpha\le 1$, we have\[\mathcal{S}^{\ast}(f_c)\subset \mathcal{SS}^{\ast}(\alpha).\]

The class $\mathcal{S}^{\ast}(f_c)$ consists of functions that can be represented in a specific form involving the function $f_c$, which is a special function related to the starlikeness property. The function $F_c(z)$, derived from $f_c(z)$, is an extreme function for the class $\mathcal{S}^{\ast}(f_c)$ and has specific properties, including convexity and bounds on its maximum and minimum modulus on the unit circle. The presented theorems provide bounds for the real part of the functions $f_c$ and establish relationships related to subordination and strong subordination order for the class of functions $\mathcal{S}^{\ast}(f_c)$. Overall, the obtained theorems and their proofs contribute to understanding the structural properties, order of starlikeness and strongly starlikeness, as well as subordination order within the class of functions $\mathcal{S}^{\ast}(f_c)$, for different values of the parameter $c$.