On Third-Order Determinant Bounds for the class $\mathcal{S}^*_{B}$

This paper establishes sharp bounds for the third-order Hankel, Toeplitz, and Hermitian-Toeplitz determinants of starlike functions associated with a balloon-shaped domain by utilizing coefficient inequalities and constructing suitable extremal functions to verify the results.

The Gist

Imagine you are a detective trying to understand the hidden personality of a mysterious shape. In the world of mathematics, specifically Complex Analysis, these shapes are created by special functions called "analytic functions."

This paper is about solving a puzzle regarding a specific type of shape called a Starlike function that lives inside a "balloon-shaped" domain. The authors, Sivaprasad Kumar and Arya Tripathi, wanted to find the absolute limits (the "speed limits") of how wild these shapes can get.

Here is the breakdown of their work using simple analogies:

1. The Setting: The Balloon and the Star

Think of the Unit Disk as a perfect, round room where everything happens.

• Starlike Functions: Imagine a lightbulb in the center of the room. A "starlike" function draws a shape where, if you stand at the center, you can see every point on the wall without any corners blocking your view. It's like a starfish or a starburst.
• The Balloon Domain ($S^*_B$): Usually, these stars are drawn on a standard map. But this paper focuses on a specific, weird map shaped like a balloon. The rules for drawing the star are different here; the shape is constrained by a specific mathematical "balloon" formula.

2. The Mystery: The Coefficients

Every one of these shapes is built from a recipe (a mathematical series) that looks like this:
$$f(z) = z + a_2z^2 + a_3z^3 + a_4z^4 + \dots$$
The numbers $a_2, a_3, a_4$, etc., are the ingredients (or coefficients).

• If the ingredients are small, the shape is tame and round.
• If the ingredients are huge, the shape might stretch, twist, or balloon out wildly.

The mathematicians wanted to know: "What is the maximum amount of chaos these ingredients can create?"

3. The Tools: Three Types of Detectors

To measure the "chaos" or "complexity" of the shape, the authors used three different mathematical tools (determinants). Think of these as three different ways to weigh the ingredients:

• The Hankel Detector ($H_{3,1}$): Imagine a scale that weighs how the ingredients interact with each other in a specific diagonal pattern. It checks if $a_2, a_3, a_4,$ and $a_5$ are conspiring to make the shape too wild.
• The Toeplitz Detector ($T_{3,1}$): This is like a mirror. It checks if the ingredients are symmetrical. It asks, "If we look at the pattern of ingredients, does it repeat in a balanced way?"
• The Hermitian-Toeplitz Detector ($HT_{3,1}$): This is a more sophisticated mirror that accounts for both the size and the "direction" (complex phase) of the ingredients. It's the most sensitive tool for catching subtle irregularities.

4. The Investigation: Finding the Limits

The authors spent the paper doing a massive amount of algebraic detective work. They had to:

1. Translate the Rules: Convert the "balloon" rule into a list of constraints for the ingredients ($a_2, a_3$, etc.).
2. Build a Model: They created a giant mathematical equation (a function called $F$) that represented the "worst-case scenario" for chaos.
3. Search for the Peak: They treated this equation like a mountain range. They had to climb every hill and check every valley to find the absolute highest point (the maximum chaos) and the lowest point (the minimum chaos).
   • Analogy: Imagine you are looking for the highest point in a foggy mountain range. You have to check the peaks, the slopes, and the edges of the map to make sure you haven't missed a hidden summit.

5. The Results: The Speed Limits

After all that climbing, they found the exact limits:

• For the Hankel Detector: The chaos cannot exceed 1/9. If it goes higher, the shape breaks the "balloon" rules.
• For the Toeplitz Detector: The chaos cannot exceed 1.
• For the Hermitian-Toeplitz Detector: The chaos is trapped between -1/16 and 1.

Crucially, they didn't just guess these numbers. They built specific "Extreme Functions" (like $f_1, f_2, f_3$ in the paper) that act as the "perfectly chaotic" balloons. These functions hit the limits exactly, proving that the speed limits are real and cannot be improved.

Why Does This Matter?

You might ask, "Who cares about the 3rd-order determinant of a balloon-shaped star?"

• Precision: In engineering and physics, knowing the exact limits of a system helps prevent failures. If you know a bridge can hold 10 tons, you don't build it to hold 10.0001 tons.
• Classification: These numbers help mathematicians sort different types of shapes into neat categories. It's like having a precise ruler to measure how "star-like" a shape really is.
• Advancing Math: This paper adds a new chapter to the "Encyclopedia of Shapes." It shows how changing the underlying geometry (from a circle to a balloon) changes the rules of the game.

Summary

In short, this paper is a rigorous mathematical audit. The authors took a specific class of geometric shapes (stars inside a balloon), measured their complexity using three different mathematical scales, and proved exactly how much "wiggle room" they have before they stop being valid shapes. They found the exact "speed limits" and showed the specific shapes that drive right up to those limits.

Technical Summary

Here is a detailed technical summary of the paper "On Third-Order Determinant Bounds for the Class $S^*_B$" by S. Sivaprasad Kumar and Arya Tripathi.

1. Problem Statement

The paper addresses the problem of finding sharp bounds for three specific types of determinants formed by the Taylor coefficients of analytic functions belonging to a specific subclass of starlike functions.

• The Function Class: The study focuses on the class $S^*_B$, which consists of starlike functions associated with a balloon-shaped domain. A function $f \in A$ (analytic in the unit disk $\mathbb{D}$, normalized by $f(0)=0, f'(0)=1$) belongs to $S^*_B$ if:
  $$\frac{zf'(z)}{f(z)} \prec B(z) := \frac{1}{1 - \log(1+z)}$$
  where $\prec$ denotes subordination. The image of the unit disk under $B(z)$ is a domain resembling a balloon.
• The Determinants: The authors investigate the bounds for:
  1. Third-order Hankel Determinant ($H_{3,1}$): Defined as $H_{3,1}(f) = 2a_2a_3a_4 + a_3a_5 - a_2^2a_5 - a_3^3 - a_4^2$.
  2. Third-order Toeplitz Determinant ($T_{3,1}$): Defined as $T_{3,1}(f) = 1 + 2a_2^2a_3 - 2a_2^2 - a_3^2$.
  3. Third-order Hermitian-Toeplitz Determinant ($HT_{3,1}$): Defined as $HT_{3,1}(f) = 2\text{Re}(a_2^2 a_3) - 2|a_2|^2 - |a_3|^2 + 1$.

The goal is to determine the maximum and minimum possible values of these determinants for functions in $S^*_B$ and to prove that these bounds are sharp (attainable by specific extremal functions).

2. Methodology

The authors employ a combination of subordination theory, coefficient inequalities, and multivariable optimization.

• Subordination and Coefficient Relations:
  • They utilize the definition of subordination to express $\frac{zf'(z)}{f(z)}$ in terms of a Schwarz function $w(z)$.
  • By setting $w(z) = \frac{p(z)-1}{p(z)+1}$ where $p(z)$ belongs to the Carathéodory class $\mathcal{P}$ (functions with positive real part), they derive explicit expressions for the coefficients $a_2, a_3, a_4, a_5$ in terms of the coefficients $p_1, p_2, p_3, p_4$ of the function $p(z)$.
• Parametrization of Carathéodory Coefficients:
  • They apply Lemma 2.1 (based on works by Libera, Zmorovich, and others), which provides parametric formulas for $p_2, p_3, p_4$ in terms of $p_1$ and auxiliary complex parameters $\gamma, \eta, \rho$ with modulus $\le 1$.
  • This reduces the problem of bounding the determinants to optimizing a function of real variables $p = |p_1|$, $x = |\gamma|$, and $y = |\eta|$ over a specific domain (a cuboid $S = [0, 2] \times [0, 1] \times [0, 1]$).
• Optimization Strategy:
  • Hankel Determinant: The expression for $H_{3,1}(f)$ becomes a complex polynomial in $p, \gamma, \eta, \rho$. The authors take the modulus and use the triangle inequality to bound it by a real-valued function $F(p, x, y)$. They rigorously analyze this function by checking:
    • The interior of the domain (showing no critical points exist).
    • The interiors of the six faces of the cuboid.
    • The edges and vertices of the cuboid.
  • Toeplitz and Hermitian-Toeplitz Determinants: These are reduced to functions of $p_1$ and $\gamma$ (or $|p_1|$ and $|\gamma|$). The authors analyze the resulting real-valued functions $h(p, x)$ to find global maxima and minima on the domain $[0, 2] \times [0, 1]$.

3. Key Contributions and Results

A. Third-Order Hankel Determinant

• Result: For $f \in S^*_B$, the sharp bound is:
  $$|H_{3,1}(f)| \le \frac{1}{9}$$
• Sharpness: The bound is attained by the extremal function:
  $$f_1(z) = z \exp\left( \int_0^z \frac{\log(1+t^3)}{t(1-\log(1+t^3))} dt \right)$$
  (Note: The expansion begins $z + \frac{1}{3}z^4 + \dots$).

B. Third-Order Toeplitz Determinant

• Result: For $f \in S^*_B$, the sharp bound is:
  $$|T_{3,1}(f)| \le 1$$
• Sharpness: The bound is attained by the extremal function:
  $$f_3(z) = z \exp\left( \int_0^z \frac{\log(1+t)}{t(1-\log(1+t))} dt \right)$$
  (Note: The expansion begins $z + z^2 + \frac{3}{4}z^3 + \dots$).

C. Third-Order Hermitian-Toeplitz Determinant

• Result: For $f \in S^*_B$, the sharp upper and lower bounds are:
  $$-\frac{1}{16} \le HT_{3,1}(f) \le 1$$
• Sharpness:
  • The upper bound (1) is attained by $f_3(z)$ (the same as the Toeplitz extremal).
  • The lower bound (-1/16) is attained by a different extremal function:
    $$f_2(z) = z \exp\left( \int_0^z \frac{\log(1+t^4)}{t(1-\log(1+t^4))} dt \right)$$

4. Significance

• Extension of Literature: This work extends the existing body of research on coefficient bounds for univalent functions. While bounds for the second-order Hankel determinant are well-established for many classes, third-order bounds are significantly more complex and have only recently been studied for specific subclasses.
• Geometric Influence: The results highlight how the specific geometry of the "balloon-shaped" domain (defined by $B(z) = \frac{1}{1-\log(1+z)}$) influences the magnitude of these determinants. The bounds obtained ($1/9$for Hankel) are comparable to, but distinct from, bounds found for other subclasses like$S^(e^z)$or$S^(\sqrt{1+z})$.
• Methodological Rigor: The paper provides a rigorous, step-by-step analytical proof for the sharpness of the bounds, explicitly constructing the extremal functions that achieve these limits. This is crucial for the validity of the results in geometric function theory.
• Future Applications: The techniques developed (parametrization of Carathéodory coefficients and multivariable optimization on a cuboid) can be adapted to study higher-order determinants ($H_{q,n}$ for $q>3$) and other coefficient functionals for broader classes of analytic functions.

In summary, the paper successfully resolves the open problem of determining the exact sharp bounds for third-order determinants in the class $S^*_B$, providing a comprehensive analytical framework and explicit extremal functions.