Geometric analysis of a class of harmonic mappings defined by a differential inequality

Rajib Mandal; Raju Biswas; Vasudevarao Allu

arxiv: 2501.01663 · v4 · submitted 2025-01-03 · 🧮 math.CV

Geometric analysis of a class of harmonic mappings defined by a differential inequality

Vasudevarao Allu , Raju Biswas , Rajib Mandal This is my paper

Pith reviewed 2026-05-23 06:45 UTC · model grok-4.3

classification 🧮 math.CV

keywords harmonic mappingsdifferential inequalitycoefficient boundsgrowth boundsradius of univalencystarlikenessconvexityconvolution

0 comments

The pith

The class of normalized harmonic mappings satisfying a differential inequality has sharp coefficient bounds, growth estimates, and radii of univalency, starlikeness, and convexity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines the class P_H^0(α,M) of normalized harmonic mappings f = h + conj(g) in the unit disk by the inequality Re[(1-α)h'(z) + α z h''(z)] > -M + |(1-α)g'(z) + α z g''(z)| holding for all z in the disk, with g'(0)=0. It derives sharp bounds on the coefficients of both h and g, along with sharp growth bounds on |f(z)|. The work also determines the largest radii inside which every function in the class is univalent, starlike, and convex, and proves that the class is closed under convex combinations and, for restricted parameters, under convolution.

Core claim

For mappings in P_H^0(α,M) the differential inequality implies sharp coefficient estimates |a_n| ≤ 2M/(n(1+α(n-1))) and |b_n| ≤ 2M/(n(1+α(n-1))) for n≥2, sharp growth bounds, and explicit radii of univalency, starlikeness, and convexity; the class is closed under convex combinations and under convolution when the parameters satisfy suitable restrictions.

What carries the argument

The differential inequality Re[(1-α)h'(z) + α z h''(z)] > -M + |(1-α)g'(z) + α z g''(z)| that defines the class P_H^0(α,M).

If this is right

Sharp coefficient bounds hold simultaneously for the analytic and co-analytic parts.
Growth bounds on |f(z)| are attained by explicit extremal functions.
Explicit radii of univalency, starlikeness, and convexity are determined by the parameters α and M.
The class remains closed under convex combinations for all admissible parameters.
Closure under convolution holds once the parameters satisfy additional restrictions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same inequality could be used to study other geometric properties such as close-to-convexity or spirallikeness within the same class.
The closure results suggest a way to generate new members of the class from known ones without leaving the class.
The radii formulas may serve as comparison tools when similar inequalities are imposed on mappings in several complex variables.

Load-bearing premise

The given differential inequality is assumed to hold at every point of the unit disk and this single condition is taken to be enough to produce all the sharp bounds and radii.

What would settle it

A function satisfying the inequality for which the second coefficient of h exceeds 2M/(1+α) or for which univalence fails at a point inside the claimed radius of univalency.

read the original abstract

In this paper, we introduces and undertake as a systematical investigation of the class $\mathcal{P}_{\mathcal{H}}^{0}(\alpha,M)$ of normalized harmonic mappings $f = h + \overline{g}$ in the unit disk $\mathbb{D}$, defined by the differential inequality \[ \text{Re}\left((1-\alpha)h'(z) + \alpha z h''(z)\right) > -M + \left|(1-\alpha)g'(z) + \alpha z g''(z)\right|\quad\text{for}\quad z\in\Bbb{D}, \] where $M > 0$, $\alpha \in (0,1]$, and $g'(0) = 0$. This class extends the harmonic analogue of functions with positive real part and offers a unified framework for analyzing their geometric characteristics. We obtain sharp coefficient bounds for both the analytic and co-analytic parts, establish sharp growth bounds, and determine the radii of univalency, starlikeness, and convexity. Furthermore, we show that $\mathcal{P}_{\mathcal{H}}^{0}(\alpha,M)$ is closed under convex combinations, and under suitable restrictions on the parameters, it is also closed under convolution. Our findings generalize and extend several known results in the theory of harmonic mappings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines a new parameterized class of harmonic mappings via a differential inequality and derives the standard sharp coefficient bounds, growth estimates, and radii as generalizations of prior work.

read the letter

The main takeaway is that this is a routine but competent extension in the subfield of geometric function theory for harmonic mappings. The authors introduce the class P_H^0(alpha,M) of normalized f = h + conj(g) with g'(0)=0 satisfying the given Re inequality involving the operator (1-α)w' + α z w'' applied separately to h and g. They then claim sharp bounds on coefficients of both parts, growth theorems, radii of univalency/starlikeness/convexity, and closure under convex combinations plus convolution under parameter restrictions. These generalize known harmonic analogues of positive real part functions in a unified way. The setup uses standard methods and the inequality is well-posed with the usual normalization, so the central claims appear consistent on the surface. The stress-test note aligns with this: no visible circularity or inconsistency in the definition. What the paper does well is collect multiple related results (bounds, radii, algebraic closures) under one framework, which can be convenient for specialists. Soft spots are minor and typical for the area. Sharpness depends on whether specific extremal functions satisfy the inequality with equality, and the abstract does not detail the convolution restrictions, but nothing suggests a load-bearing gap. The work stays within incremental progress and does not claim broader novelty. This is for readers already working on radii problems and coefficient estimates for harmonic mappings in the unit disk. Someone tracking extensions of known classes will get direct value from the generalizations. It deserves a serious referee because the claims are concrete, the methods are reproducible in principle, and the results are falsifiable via the stated extremals.

Referee Report

0 major / 2 minor

Summary. The manuscript defines the class P_H^0(α,M) of normalized harmonic mappings f = h + conj(g) in the unit disk by the differential inequality Re((1-α)h'(z) + α z h''(z)) > -M + |(1-α)g'(z) + α z g''(z)| for all z in D, with g'(0)=0, α in (0,1], M>0. It claims to derive sharp coefficient bounds for the analytic and co-analytic parts, sharp growth bounds, the radii of univalency/starlikeness/convexity, and closure under convex combinations (always) and convolution (under parameter restrictions), generalizing prior results on harmonic mappings with positive real part analogues.

Significance. If the derivations hold, the work supplies a unified framework for geometric properties of this harmonic class via a standard linear differential operator, yielding sharp estimates and closure results that extend known theorems and may serve as a reference point for further investigations in the geometric theory of harmonic mappings.

minor comments (2)

The abstract contains grammatical issues (e.g., 'we introduces and undertake as a systematical investigation') that should be corrected for readability; similar language polishing may be needed throughout.
Notation for the class and the operator (1-α)w' + α z w'' is introduced without an explicit comparison table to prior classes (e.g., the case α=1 or M=1); adding such a table in §1 would clarify the extension.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. No specific major comments were listed in the report, so we have no individual points to address. We remain available to incorporate any minor suggestions or clarifications if they are provided separately.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines the class via the differential inequality and derives coefficient bounds, growth estimates, radii, and closure properties directly from that definition using standard techniques in geometric function theory. No derivation step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the inequality is an independent starting assumption, and all claimed results are obtained from it without circular reduction. The derivation remains self-contained.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 1 invented entities

The paper adds the parameters alpha and M as free elements in the class definition; the main axioms are standard in harmonic mapping theory plus the inequality itself as the defining assumption.

free parameters (2)

alpha
Blending parameter in (0,1] for the differential operator in the inequality
M
Positive constant controlling the bound in the differential inequality

axioms (2)

domain assumption Harmonic mappings in the unit disk are of the form f = h + conj(g) with h,g analytic and normalized so f(0)=0, f_z(0)=1, g'(0)=0
Standard setup for normalized harmonic mappings in geometric function theory
ad hoc to paper The differential inequality implies the geometric properties such as univalency within certain radii
This is the core assumption of the class definition leading to the results

invented entities (1)

Class P_H^0(alpha,M) no independent evidence
purpose: To define a family of harmonic mappings satisfying the given inequality for geometric analysis
Newly introduced class without external validation mentioned

pith-pipeline@v0.9.0 · 5762 in / 1635 out tokens · 38119 ms · 2026-05-23T06:45:34.207810+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Re((1-α)h'(z) + α z h''(z)) > -M + |(1-α)g'(z) + α z g''(z)| for z in D, with g'(0)=0
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

radii of univalency, starlikeness, and convexity via hypergeometric equations G1,α,M(r)=0

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.