---
title: Alpha-Starlike Functions of Order Beta
url: https://www.emergentmind.com/topics/alpha-starlike-functions-of-order-beta
type: topic
---

# Alpha-Starlike Functions of Order Beta

An alpha-starlike function of order beta is an analytic function defined on the unit disk whose geometric and coefficient-theoretic properties generalize classical starlike functions through two parameters, $\alpha$ and $\beta$. This two-parameter class unifies a variety of function families appearing in geometric function theory, encompassing and interpolating between the classical starlike, strongly starlike, and convex function classes, as well as the Janowski and Padmanabhan subclasses. The study of these functions involves sharp representation and subordination, coefficient estimates, extremal problems, and function-theoretic invariants, with applications to geometric shape, mapping properties, and extremal metrics in complex analysis.

## 1. Definitions and Fundamental Characterizations

A function $f$ analytic in the unit disk $\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}$, normalized by $f(0) = 0$ and $f'(0) = 1$, is called **alpha-starlike of order beta** (commonly denoted $f \in S^*(\alpha,\beta)$ with $0 < \alpha \leq 1$, $0 \leq \beta < 1$) if it satisfies the subordination:
\[
\frac{z f'(z)}{f(z)} \prec \Phi_{\alpha,\beta}(z) := \frac{1 + (1 - 2\beta)\alpha z}{1 - \alpha z}, \qquad z \in \mathbb{D}.
\]
Equivalently,
\[
\left| \frac{ \frac{z f'(z)}{f(z)} - 1 }{ \frac{z f'(z)}{f(z)} + 1 - 2\beta } \right| < \alpha.
\]
Special cases include:
- $\beta=0 \implies S^*(\alpha,0)$ is the Padmanabhan class $S^*(\alpha)$,
- $\alpha=1 \implies S^*(1,\beta)$ is the classical starlike-of-order-$\beta$ class $S^*(\beta)$,
- $\alpha=1,\ \beta=0$ recovers the classical starlike class $S^*$.

The canonical extremal (model) function is
\[
k_{\alpha,\beta}(z) = \frac{z}{(1 - \alpha z)^{2(1-\beta)}},
\]
which satisfies $z k'_{\alpha,\beta}(z)/k_{\alpha,\beta}(z) = \Phi_{\alpha,\beta}(z)$ [1405.0469].

## 2. Coefficient Estimates and Extremal Functions

For $f(z) = z + \sum_{n=2}^{\infty} a_n z^n$ in $S^*(\alpha,\beta)$, the study of sharp bounds for Taylor coefficients reveals several regimes depending on $n$:
- In the $p$-valent case, the best constants for the coefficients $a_n$ are given as follows:
  - $|a_{p+1}| \leq (1-\beta)(p-\beta)$,
  - For $n \geq p+2$, two cases are distinguished:
    - If $\Delta(n,p,\beta) \leq n-p$, then $|a_n| \leq \frac{(1-\beta)(p-\beta)}{n-p}$,
    - If $\Delta(n,p,\beta) > n-p$, then $|a_n| \leq \frac{\prod_{j=1}^{n-p}[(p-\beta)+(j-1)]}{(n-p)!}$,
  with sharpness attained for the explicit extremal functions of the type
  \[
  k_{p,\beta}^{(n)}(z) = z^p\,\exp\left(\frac{(1-\beta)(p-\beta)}{n-p} e^{i\theta} z^{n-p}\right).
  \]
For the univalent ($p=1$) case, these reduce to classical Bieberbach-type bounds, and the extremal functions coincide with rotations of the generalized Koebe function [1407.1196]. These results settle precisely the sharp bounds previously conjectured for these classes.

Coefficient functionals such as $\sum_{n=2}^\infty n(n-1)|a_n|$ further yield necessary and sufficient conditions for membership in $S^*(\alpha)$ and $S^*(\alpha,\beta)$ and relate tightly to starlikeness and convexity of corresponding order [1109.0609].

## 3. Subordination Principles and Structural Properties

The alpha-starlike classes are defined intrinsically via subordination. For $f \in S^*(\alpha,\beta)$, the mapping
\[
\frac{z f'(z)}{f(z)} \prec \frac{1 + (1-2\beta)\alpha z}{1-\alpha z}
\]
ensures that the image of the unit disk under this function lies within an explicitly described region, which depends parametrically on $\alpha$ and $\beta$. For $\beta=0$, this region is a disk; for general $(\alpha,\beta)$, the boundary is a conic section or lemniscate [2201.01042, 1811.10294]. The mapping properties induce growth, distortion, and covering theorems, as well as geometric criteria (such as the sector and conical containment) that are crucial to Sheil-Small, Janowski, and strongly starlike subclasses [1811.01271].

The framework further generalizes via classes such as $M_p(a,B)$: under suitable parameterization, these recover the rotation-order-determined alpha-starlike of order beta classes, and the subordination admits generalizations toward convex conic domains in the complex plane. Explicit coefficient criteria for these broader classes are
\[
|a_n| \leq \frac{a-1}{a+B+n(1-B)}
\]
for $n\geq2$ in the univalent case, using suitable normalization $a=(1+\beta)/(1-\beta)$, $B=-\cos\alpha$ [1811.10294].

## 4. Area-Maximization and Extremal Problems

The Yamashita area problem, seeking the maximal value of
\[
\Delta(r, z/f) = \pi \sum_{k=1}^\infty k |b_k|^2 r^{2k}
\]
as $f$ ranges over $S^*(\alpha,\beta)$, is settled for these families. The sharp maximum is
\[
\max_{f\in S^*(\alpha,\beta)} \Delta(r, z/f) = 4\pi \alpha^2 (1-\beta)^2 r^2\, {}_2F_1(2\beta-1,2\beta-1;2; \alpha^2 r^2)
\]
where ${}_2F_1$ is the Gauss hypergeometric function. Equality is attained precisely for rotations of $k_{\alpha,\beta}(z)$. Subordination and Rogosinski’s lemma, together with Clunie’s method and partial-sum arguments, establish these results [1405.0469]. Special cases reproduce all known previous bounds for convex, starlike, and Padmanabhan function classes.

## 5. Connections to Strongly Starlike and Janowski Classes

The class $S^*(\alpha,\beta)$ bridges classical starlike, strongly starlike, and Janowski-type classes. For $0 < \alpha_1, \alpha_2 \leq 1$, $S^*(\alpha_1,\alpha_2)$ consists of those $f$ satisfying
\[
-\frac{\pi \alpha_1}{2} < \arg \left\{ \frac{z f'(z)}{f(z)} \right\} < \frac{\pi \alpha_2}{2},
\]
with equivalent subordination to a convex-univalent mapping. For $\alpha_1 = \alpha_2 = \beta$, $S^*(\beta,\beta)$ coincides with the strongly starlike functions of order $\beta$, and
\[
\left| \arg \left( \frac{z f'(z)}{f(z)}\right) \right| < \frac{\pi \beta}{2},
\]
with sharp coefficient and logarithmic coefficient bounds established in this setting [1811.01271]. The Janowski class $S^*(A,B)$, with the right choice of parameters, encompasses $S^*(\alpha,\beta)$.

## 6. Sufficient Conditions and Operator Theory

Operator-theoretic and differential-inequality methods provide sufficient conditions for membership in $S^*(\alpha,\beta)$. The usage of Jack’s Lemma (or Miller–Mocanu’s version), combined with suitable control of the modulus of linear combinations of $zf'(z)/f(z) - 1$ and $z f''(z)/f'(z)$, yields explicit domains of univalence and starlikeness [1303.0502]. Hypergeometric and generalized Bessel operators preserve membership in these classes under sharp coefficient-sum inequalities, generating further convolution-closed subclasses [1811.10294].

## 7. Geometric Extremality and Radius Problems

For analytic $f\in S^*(\beta)$ the Booth-lemniscate starlikeness radius is determined as the largest $r$ such that the disk $D(a_f(r),c_f(r))$ (parameterized via growth and covering properties of $z f'(r z)/f(r z)$) lies within the Booth-lemniscate domain $G_\alpha(\mathbb{D})$. Explicit two-branch formulas for $r_\beta(\alpha)$ are obtained, depending on critical tangency configurations, and extremality is again achieved for the generalized Koebe function [2201.01042].

---

In summary, the theory of alpha-starlike functions of order beta comprehensively refines and extends classical geometric function theory, providing precise characterizations, sharp inequalities, extremal function models, and constructive operators, with deep connections to subordination, coefficient problems, and extremal geometric function theory [1405.0469, 1407.1196, 1811.01271, 1811.10294, 1303.0502, 2201.01042, 1109.0609].

Source: https://www.emergentmind.com/topics/alpha-starlike-functions-of-order-beta