Sharp Landau-Type Theorems and Schlicht Disc Radii for certain Subclasses of Harmonic Mappings

This paper establishes sharp Landau-type theorems and determines the radii of univalence and the largest schlicht discs for specific subclasses of sense-preserving harmonic mappings, expressing these results in terms of the Lerch Transcendent and Dilogarithm functions while demonstrating their sharpness through extremal functions.

The Gist

Imagine you are an architect designing a magical, shape-shifting room inside a perfect, circular bubble (the "unit disc"). You have a special rule: you must start at the exact center of the room, and your first step out must be a specific size.

Now, imagine you have a team of two workers:

1. The Analytic Worker (h): This person builds the room using standard, predictable blueprints.
2. The Co-Analytic Worker (g): This person is a bit more chaotic; they twist and warp the room in the opposite direction.

Together, they build a Harmonic Mapping. The goal of this paper is to answer a very practical question: "How big of a safe, distortion-free zone can we guarantee exists inside this room before the walls start folding over themselves or getting messy?"

In the world of mathematics, this "safe zone" is called the Univalence Radius (where the map is one-to-one) and the Schlicht Disc (the largest perfect circle you can fit inside the final shape without it overlapping).

Here is the breakdown of what the authors, Molla Basir Ahamed and Rajesh Hossain, discovered, explained simply:

1. The Problem: The "Twisted" Room

In the past, mathematicians studied rooms built by just the "Analytic Worker" (pure math functions). They knew exactly how big the safe zone was. But when you add the "Co-Analytic Worker" (the twist), the room becomes much harder to predict. It's like trying to fold a piece of paper that is also being stretched by a rubber band.

The authors looked at three specific types of "construction crews" (subclasses of mappings) with different rules about how much the workers can twist the room.

2. The Tools: The "Magic Calculators"

To solve this, the authors didn't just use basic algebra. They used two very advanced mathematical tools, which they treated like specialized calculators:

• The Lerch Transcendent ($\Phi$): Think of this as a super-calculator that can instantly sum up an infinite list of numbers that describe the "twist" of the room. It helps them figure out exactly when the room starts to get too messy.
• The Dilogarithm ($Li_2$): This is another special calculator, used for a specific type of extreme twisting. It helps measure the size of the safe zone when the rules are at their strictest.

3. The Discovery: Finding the "Sweet Spot"

The authors wanted to find the Sharp Landau-Type Theorems. In plain English, this means they wanted to find the absolute best possible answer.

• The Univalence Radius ($\rho$): This is the size of the circle around the center where the room is guaranteed to be safe and not folded. If you step outside this circle, the room might start to overlap itself.
• The Schlicht Radius ($R$): This is the size of the largest perfect circle you can fit inside the final shape of the room.

The Analogy:
Imagine you are inflating a balloon inside a box.

• The Landau Theorem tells you: "You can inflate the balloon to a radius of $X$ inches, and it will definitely stay round and not touch the walls."
• The Schlicht Disc tells you: "Once you stop inflating, the biggest perfect circle you can draw inside the balloon is $Y$ inches."

The authors calculated the exact values for $X$ and $Y$ for their three different types of construction crews.

4. The "Sharpness" Proof: Why It Matters

In math, you can often guess a safe size, but it might be too small (conservative). "Sharp" means the answer is perfectly precise.

To prove their answers were perfect, the authors built a worst-case scenario (an "extremal function"). They constructed a specific room design that pushes the limits.

• They showed that if you try to make the safe zone just one tiny bit bigger than their answer, the room collapses (the map stops being one-to-one).
• This proves their numbers are not just estimates; they are the hard limits of the universe for these types of rooms.

5. The Results in a Nutshell

• For the first group ($P^0_H(M)$): They found that as the "chaos" (represented by $M$) increases, the safe zone shrinks. They gave a precise formula for how much it shrinks.
• For the second group ($W^0_H(\alpha)$): They introduced a "knob" called $\alpha$.
  • If you turn the knob to 0, it behaves like one classic type of room.
  • If you turn it to 1, it behaves like another.
  • Their magic calculators allowed them to find the safe zone for any setting of the knob in between, creating a smooth bridge between old theories.
• For the third group ($G^k_H(\alpha, 1)$): They looked at rooms with even more complex twisting rules and found the limits there too.

Why Should You Care?

Even though this sounds like abstract math, it's about predictability.

• In engineering, physics, and computer graphics, we often use these "harmonic mappings" to model how materials stretch, how fluids flow, or how to map the surface of the earth onto a flat screen.
• Knowing the exact limit of where a shape stays safe and predictable helps engineers avoid failures. If you know the "safe zone" is exactly 0.5 meters, you don't have to guess if it's 0.4 or 0.6. You know it's 0.5.

Summary:
Ahamed and Hossain took a messy, complex problem involving twisted shapes, used advanced "magic calculators" (Lerch Transcendent and Dilogarithm) to solve it, and proved they found the exact, unbreakable limits of how big a safe zone can be. They didn't just guess; they built the worst-case scenario to prove their answer was the best possible one.

Technical Summary

1. Problem Statement

The paper addresses the problem of determining sharp Landau-type theorems for specific subclasses of complex-valued harmonic mappings defined on the unit disc $\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}$.

While the classical Landau theorem for holomorphic functions provides explicit bounds for the radius of univalence ($r_0$) and the radius of the largest schlicht (univalent) disc contained in the image ($\sigma_0$), extending these results to harmonic mappings ($f = h + g$, where $h$ and $g$ are analytic) is significantly more complex due to the interplay between the analytic and co-analytic parts.

The authors focus on three specific subclasses of sense-preserving harmonic mappings normalized by $f(0)=0$ and $J_f(0)=1$ (where $J_f$ is the Jacobian):

1. $\mathcal{P}^0_H(M)$: Mappings satisfying $\text{Re}(zh''(z)) > M - |zg''(z)|$.
2. $\mathcal{W}^0_H(\alpha)$: A parameterized family satisfying $\text{Re}(h'(z) + \alpha z h''(z)) > |g'(z) + \alpha z g''(z)|$ with $g'(0)=0$.
3. $\mathcal{G}^k_H(\alpha, 1)$: Mappings defined via specific second-order differential inequalities involving a parameter $k$.

The goal is to find the exact (sharp) radii of univalence ($\rho$) and the radii of the largest schlicht discs ($R$) for these classes, expressing the results in terms of special functions.

2. Methodology

The authors employ a unified analytical framework combining coefficient estimates, integral inequalities, and special transcendental functions.

• Coefficient Bounds: The derivation relies on sharp coefficient estimates previously established for these classes (e.g., by Ghosh, Allu, Liu, and Yang). These bounds provide upper limits for $|a_n|$ and $|b_n|$ in the power series expansions of $h(z)$ and $g(z)$.
• Triangle Inequality and Jacobian: To prove univalence, the authors estimate $|f(z_1) - f(z_2)|$ using the integral representation of the difference and the lower bound of the Jacobian at the origin ($\lambda_f(0) \geq \pi/4M$). They derive an inequality of the form:
  $$|f(z_1) - f(z_2)| \geq |z_1 - z_2| \left( \lambda_f(0) - \sum_{n=2}^\infty (|a_n| + |b_n|) n r^{n-1} \right)$$
  Univalence is guaranteed when the term in the parentheses is positive.
• Special Functions: A key innovation is the use of the Lerch Transcendent $\Phi(z, s, a)$ and the Dilogarithm function $\text{Li}_2(z)$ to evaluate the infinite series arising from the coefficient sums.
  • The Lerch Transcendent is defined as $\Phi(z, s, a) = \sum_{k=0}^\infty \frac{z^k}{(k+a)^s}$.
  • The Dilogarithm is defined as $\text{Li}_2(z) = \sum_{n=1}^\infty \frac{z^n}{n^2}$.
    These functions allow the authors to express the univalence radius $\rho$ as the root of a transcendental equation rather than a simple algebraic one.
• Sharpness Verification: To prove the radii are sharp, the authors construct specific extremal functions ($F_1, F_2, F_3$) for each class. They demonstrate that for any radius larger than the calculated $\rho$, these extremal functions fail to be univalent (by finding distinct points mapping to the same value) and that the image of the disc of radius $\rho$ contains a schlicht disc of radius $R$ that cannot be enlarged.

3. Key Contributions and Results

A. Class $\mathcal{P}^0_H(M)$

• Univalence Radius ($\rho_1$): The radius is given by $\rho_1 = 1 - e^{-\frac{\pi}{8M^2}}$.
• Schlicht Radius ($R_1$): The radius of the largest schlicht disc is:
  $$R_1 = \frac{\pi}{4M} + 2M - \left(\frac{\pi}{2M} + 2M\right)e^{-\frac{\pi}{8M^2}}$$
• Extremal Function: $F_1(z) = \frac{\pi}{4M}z + 2M(z + (1-z)\log(1-z))$.
• Significance: This result generalizes previous findings for bounded harmonic mappings and provides explicit formulas dependent on the bound $M$.

B. Class $\mathcal{W}^0_H(\alpha)$

This is the most significant contribution, as it unifies various cases via the parameter $\alpha$.

• Univalence Radius ($\rho_2$): Defined as the unique root in $(0,1)$ of the equation:
  $$\frac{\pi}{4M} - 2 \sum_{n=2}^\infty \frac{1}{\alpha n + (1-\alpha)n} r^{n-1} = 0$$
  Using the Lerch Transcendent, this sum is expressed as:
  $$\frac{\pi}{4M} - 2 \left( \frac{1}{\alpha}\Phi\left(r, 1, \frac{1}{\alpha}\right) - 1 \right) = 0$$
• Schlicht Radius ($R_2$):
  $$R_2 = \frac{\pi}{4M}\rho_2 - \frac{2}{1-\alpha} \left( \frac{\alpha}{1-\alpha} + \rho_2(\alpha-1) - \ln(1-\rho_2) - \Phi\left(\rho_2, 1, \frac{1-\alpha}{\alpha}\right) \right)$$
• Special Cases:
  • $\alpha = 0$: Reduces to $\mathcal{P}^0_H(0)$, yielding simpler logarithmic formulas.
  • $\alpha = 1$: Reduces to the class $\mathcal{W}^0_H$. The covering radius involves the Dilogarithm: $R_2 = (\frac{\pi}{4M} + 2)\rho_2 - 2\text{Li}_2(\rho_2)$.

C. Class $\mathcal{G}^k_H(\alpha, 1)$

• Univalence Radius ($\rho_3$): The root of $\frac{\pi}{4M} - \sum_{n=2}^\infty \frac{2}{1+(n-1)\alpha} n r^{n-1} = 0$.
• Schlicht Radius ($R_3$): Calculated via the series sum $\sum_{n=2}^\infty \frac{2}{1+(n-1)\alpha} \rho_3^n$.
• Observations: The authors provide numerical tables showing that as the parameter $\alpha$ increases, the univalence radius generally decreases, while increasing the order $k$ tends to increase the covering radius.

4. Significance and Impact

1. Unification of Results: The paper successfully unifies several disparate results in harmonic mapping theory. By introducing the parameter $\alpha$ in $\mathcal{W}^0_H(\alpha)$, the authors show how classical results for specific subclasses (like those with $\alpha=0$ or $\alpha=1$) are special cases of a broader, more general theorem.
2. Introduction of Special Functions: The explicit use of the Lerch Transcendent and Dilogarithm functions to solve Landau-type problems in harmonic analysis is a novel methodological step. It allows for precise characterization of univalence radii that were previously only estimated or bounded loosely.
3. Sharpness: Unlike many previous works that provided estimates, this paper provides sharp (best possible) constants. The construction of specific extremal functions proves that the derived radii cannot be improved.
4. Geometric Function Theory: The results extend the classical Landau-Bloch theory from analytic functions to the more complex harmonic setting, offering new insights into the growth and covering properties of harmonic mappings satisfying second-order differential inequalities.

In conclusion, the paper provides a rigorous, systematic, and sharp extension of Landau-type theorems to several important subclasses of harmonic mappings, utilizing advanced special functions to derive exact quantitative bounds for univalence and covering properties.