Bloch and Landau constants for meromorphic functions

This paper demonstrates that the Bloch and Landau constants for meromorphic functions with a simple pole in the unit disk are infinite, thereby refuting a recent conjecture and extending this result to functions with two simple poles.

The Gist

Imagine you are an architect designing a map. In the world of mathematics, specifically Complex Analysis, this map is a function that takes points from a small, safe circle (the "unit disk") and stretches, twists, and projects them onto a new landscape.

Usually, mathematicians study functions that are perfectly smooth everywhere inside that circle. But in this paper, the authors, Md Firoz Ali and Shaesta Azim, are looking at a more chaotic scenario: functions that have "poles."

Think of a pole like a black hole or a volcano on your map. At a specific point inside the circle, the function explodes to infinity. The paper asks a big question: If your map has these volcanoes, how much of the "real world" can you still see clearly?

Here is the breakdown of their discovery using simple analogies:

1. The Goal: Finding the "Safe Zone"

Mathematicians have two famous rulers for measuring these maps:

• The Bloch Constant: This measures the size of the largest perfectly clear, non-overlapping circle you can find on the map. (Imagine trying to draw a circle on a map where the lines don't cross over themselves).
• The Landau Constant: This measures the size of the largest circle you can find, even if the lines cross over themselves a bit.

For a long time, mathematicians thought that if you had a function with a pole, these "safe zones" would be limited. They thought there was a maximum size for these circles, no matter how you designed the map.

2. The Old Belief (The Conjecture)

A recent theory by other mathematicians (Bhowmik and Sen) suggested that if you have a pole at a specific spot, the size of your safe zone is strictly limited by a formula. They believed that as the pole got closer to the edge of the circle, the safe zone would shrink to a specific, finite size.

3. The Big Discovery: "Infinite" is the Answer

Ali and Azim proved that this old theory is wrong.

They showed that if your map has a pole (even just one), the size of the largest clear circle you can find is infinite.

The Analogy:
Imagine you are standing in a room (the unit disk) looking at a funhouse mirror (the function).

• The Old View: They thought the mirror would distort the image so much that you could only see a tiny, fixed-size patch of the room clearly.
• The New View: The authors proved that because of the "pole" (the distortion point), the mirror actually reflects a view that stretches out forever. You can find a clear, non-overlapping circle of any size you want. It's like looking through a telescope that has no limit; you can zoom out forever and still see a clear patch of sky.

4. How They Proved It

They used a clever trick involving slits (cuts in the map).

• They imagined cutting the room from the center to the edge.
• They showed that if you have a pole right on the edge of the room, the "safe zone" becomes an infinite half-plane (like an endless ocean).
• Then, they used a mathematical "shapeshifter" (a conformal mapping) to show that even if the pole is inside the room, you can mathematically stretch the room so that the pole moves to the edge. Since the "edge" version has an infinite safe zone, the "inside" version must also have an infinite safe zone.

5. The "Two-Pole" Twist

Finally, they asked: "What if there are two volcanoes (poles) on the map?"
You might think two volcanoes would make the map even more chaotic and shrink the safe zone.
Surprise: They proved that even with two poles, the safe zone is still infinite. The chaos of the poles doesn't limit the view; it actually allows the map to expand without bound.

Why Does This Matter?

In the world of math, knowing the "exact value" of these constants is like knowing the speed limit of the universe.

• Before: Everyone thought the speed limit was a specific number (like 65 mph).
• Now: Ali and Azim showed that the speed limit is actually "no limit."

This refutes a recent guess and changes how we understand how functions behave when they have singularities (poles). It tells us that these "broken" functions are actually incredibly powerful and expansive, capable of covering infinite areas with perfect clarity.

In a nutshell: The paper proves that if you have a mathematical function with a "hole" or "explosion" point, it doesn't restrict your view; it actually opens up an infinite window to the world.

Technical Summary

Here is a detailed technical summary of the paper "Bloch and Landau Constants for Meromorphic Functions" by Md Firoz Ali and Shaesta Azim.

1. Problem Statement and Context

The paper addresses a fundamental problem in geometric function theory: determining the exact values of the Bloch constant ($B$) and the Landau constant ($L$) for specific classes of meromorphic functions.

• Definitions:
  • Bloch Constant ($B$): The infimum of the radii of the largest schlicht (univalent) disks contained in the image $f(D)$ of functions $f$ in a given class.
  • Landau Constant ($L$): The infimum of the radii of the largest (not necessarily univalent) disks contained in $f(D)$.
• The Class of Study: The authors focus on the class $M_1(\lambda)$, consisting of meromorphic functions in the unit disk $D = \{z \in \mathbb{C} : |z| < 1\}$ that have a simple pole at a specific point $\lambda \in D \setminus \{0\}$ and satisfy the normalization $f'(0) = 1$.
• The Conjecture: Previous work by Bhowmik and Sen (2023) established lower bounds for these constants and conjectured that for $\lambda = p \in (0,1)$, the constants $B(p)$ and $L(p)$ are finite and equal to specific values derived from the classical analytic Bloch and Landau constants ($B$ and $L$). Specifically, they conjectured that as $p \to 1^-$, $B(1) = B$ and $L(1) = L$.

Objective: The authors aim to disprove this conjecture by proving that the Bloch and Landau constants for meromorphic functions with poles inside or on the boundary of the unit disk are actually infinite.

2. Methodology

The authors employ a combination of asymptotic analysis, conformal mapping techniques, and geometric function theory to establish their results.

1. Seminorm Analysis for Boundary Poles:

   • They first analyze the case where the pole $\lambda$ lies on the boundary of the unit disk ($\lambda = 1$).
   • They utilize the definition of the Bloch seminorm: $\|f\| = \sup_{z \in D} (1-|z|^2)|f'(z)|$.
   • By representing the function near the simple pole as $f(z) = \frac{h(z)}{z-1}$ (where $h$ is analytic and non-zero at 1), they demonstrate that the seminorm becomes unbounded as $z \to 1$. Since a finite Bloch constant implies a finite seminorm, this proves the constants are infinite for boundary poles.

2. Conformal Mapping and Domain Slitting:

   • To extend the result to poles strictly inside the disk ($\lambda = p \in (0,1)$), the authors use a conformal mapping strategy.
   • They map the unit disk $D$ onto a slit disk $\Omega_p = D \setminus [p, 1)$ using a composition of the Koebe function and its inverse.
   • They construct a transformation that relates a function $f \in M_1(p)$ to a function $g$ defined on the slit domain, which can be extended to a function with a pole on the boundary of the unit disk.
   • This reduction allows them to transfer the "infinite radius" property from the boundary case to the interior case.

3. Extension to Multiple Poles:

   • The methodology is generalized to functions with two simple poles.
   • They utilize a specific lemma involving the composition of Koebe functions to map the unit disk onto a domain with two slits (representing the locations of the poles).
   • By analyzing the relative positions of the poles (collinear vs. non-collinear), they construct a conformal map that transforms the two-pole problem into a problem involving functions with poles on the boundary, thereby proving the constants remain infinite.

3. Key Contributions and Results

A. Refutation of the Bhowmik-Sen Conjecture

The primary contribution is the rigorous proof that the conjecture by Bhowmik and Sen is false.

• Result 1: The Bloch constant $B(1)$ and Landau constant $L(1)$ for the class $M_1(1)$ (functions with a simple pole at $z=1$) are infinite.
• Result 2: Consequently, for any $p \in (0, 1)$, the constants $B(p)$ and $L(p)$ for the class $M_1(p)$ are also infinite.
• Implication: The lower bounds previously proposed by Bhowmik and Sen are not sharp; the actual constants do not exist as finite numbers.

B. Generalization to Two Poles

The authors extend their findings to the class $M_1(\lambda, \mu)$ of meromorphic functions with two distinct simple poles.

• Result 3: For any distinct $\lambda, \mu \in D \setminus \{0\}$, the Bloch constant $B(\lambda, \mu)$ and Landau constant $L(\lambda, \mu)$ are infinite.
• This holds regardless of whether the poles are collinear with the origin or not, achieved through specific automorphisms and slit mappings.

C. Connection to Concave Functions

The paper draws a parallel with the class of concave univalent functions ($Co(\alpha)$), where the image of the unit disk is the complement of a convex domain. In that class, the constants are known to be infinite because the image contains half-planes (and thus arbitrarily large disks). The authors show that the presence of a simple pole creates a similar geometric phenomenon where the image domain contains neighborhoods of infinity or arbitrarily large disks.

4. Significance of the Work

1. Correction of Literature: The paper corrects a recent misconception in the field regarding the finiteness of Bloch and Landau constants for meromorphic functions with poles. It clarifies that the presence of a pole fundamentally alters the geometric properties of the image domain compared to analytic functions.
2. Geometric Insight: The work highlights that for meromorphic functions with poles, the image $f(D)$ is "large" in a way that analytic functions are not. Specifically, the image contains disks of arbitrary radius, rendering the "smallest largest disk" (the definition of the constant) infinite.
3. Methodological Advancement: The use of conformal mappings to reduce interior pole problems to boundary pole problems provides a robust technique for analyzing similar classes of meromorphic functions.
4. Theoretical Boundary: It establishes a clear boundary in geometric function theory: while analytic functions (and locally univalent ones) have finite Bloch/Landau constants, the introduction of simple poles within the domain (or on the boundary) causes these constants to diverge to infinity.

Conclusion

Ali and Azim definitively prove that the Bloch and Landau constants for meromorphic functions with simple poles in the unit disk are infinite. This result invalidates the conjecture that these constants are finite and equal to scaled versions of the classical analytic constants. The study underscores the dramatic difference in geometric behavior between analytic and meromorphic functions when poles are present, showing that the image of such functions can contain arbitrarily large schlicht disks.