pith. sign in

arxiv: 2009.08683 · v2 · submitted 2020-09-18 · 🧮 math.CV

The Bohr inequality for certain harmonic mappings

Vasudevarao Allu , Himadri Halder This is my paper

Pith reviewed 2026-05-24 14:19 UTC · model grok-4.3

classification 🧮 math.CV
keywords harmonic mappingsBohr inequalitysubordinationunit diskanalytic functionsgeometric function theoryradius problemsconvex combinations
0
0 comments X

The pith

For harmonic mappings whose analytic parts satisfy subordination to φ, the Bohr inequality holds up to a radius R_f less than 1.

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

The paper defines classes of harmonic mappings f = h + conjugate(g) in the unit disk where the analytic part h belongs to C(φ) or C_c(φ), meaning it satisfies a subordination condition 1 + z h''/h' ≺ φ or the corresponding condition for the convex combination, with φ analytic univalent having positive real part and other symmetry properties, and where the co-analytic part obeys the dilation g' = α z h' for |α| < 1. It applies an existing lemma on the Bohr phenomenon for subordination classes to locate a radius R_f such that the majorant series |z| plus the sum of absolute coefficients times |z|^n stays at most the distance from f(0) to the boundary of the image domain. A sympathetic reader would care because the result gives explicit control on how far the power-series majorant can grow before it exceeds the geometric range of these harmonic functions.

Core claim

Using the Bohr phenomenon for subordination classes, the radius R_f < 1 is identified so that the Bohr inequality |z| + sum_{n=2}^∞ (|a_n| + |b_n|)|z|^n ≤ d(f(0), ∂f(D)) holds for |z| = r ≤ R_f whenever f belongs to HC(φ) or HC_c(φ).

What carries the argument

The Bohr phenomenon for subordination classes (Lemma 1 from the cited 2018 reference), applied to the analytic parts of the harmonic mappings under the linear dilation condition on g.

If this is right

  • The Bohr inequality is valid inside a disk of radius R_f for all mappings in the two defined classes HC(φ) and HC_c(φ).
  • Several corollaries follow immediately for special choices of the function φ.
  • The same radius argument works uniformly for both the standard and the convex-combination versions of the subordination condition.

Where Pith is reading between the lines

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

  • The same technique could be tested on harmonic mappings whose co-analytic part satisfies a different relation to h, such as a constant multiple without the extra z factor.
  • If the radius R_f turns out to be independent of the particular φ in a computable way, it might yield uniform bounds across families of subordination classes.
  • Numerical checks of the inequality on truncated series for concrete φ (for example the identity or a Koebe-type function) would give a quick consistency test.

Load-bearing premise

The cited lemma on the Bohr phenomenon for subordination classes applies directly and without extra restrictions to the harmonic mappings whose analytic parts satisfy the given subordination conditions.

What would settle it

An explicit harmonic mapping in HC(φ) or HC_c(φ) for which the left-hand side of the Bohr inequality exceeds the right-hand side at some r strictly between the claimed R_f and 1.

Figures

Figures reproduced from arXiv: 2009.08683 by Himadri Halder, Vasudevarao Allu.

Figure 1
Figure 1. Figure 1: The graphs of D1(r) respectively for β = 0 and β = 1/2 when α = 0.0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9. α 0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 β 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 rf 0.333 0.321 0.308 0.296 0.284 0.273 0.261 0.25 0.238 0.227 [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The graphs of D1(r) respectively for β = 0.7 and β = 0.9 when α = 0.0, 0.1, 0.2, 0.3, 0.4, 0.5, 0.6, 0.7, 0.8, 0.9. In the next Theorem, we establish an improved version of Bohr inequality for the class HC(φ) and show that after adding area quantity Sr/2π with the Majorant series of f ∈ HC(φ), the sum is still less than d(f(0), ∂f(D)) for some radius r ≤ R 0 f < 1. Theorem 2.11. Let f ∈ HC(φ) be of the for… view at source ↗
read the original abstract

Let $\phi$ be analytic and univalent ({\it i.e.,} one-to-one) in $\mathbb{D}:=\{z\in\mathbb{C}: |z|<1\}$ such that $\phi(\mathbb{D})$ has positive real part, is symmetric with respect to the real axis, starlike with respect to $\phi(0)=1,$ and $\phi ' (0)>0$. A function $f \in \mathcal{C}(\phi)$ if $1+ zf''(z)/f'(z) \prec \phi (z),$ and $f\in \mathcal{C}_{c}(\phi)$ if $2(zf'(z))'/(f(z)+\overline{f(\bar{z})})' \prec \phi (z)$ for $ z\in \mathbb{D}$. In this article, we consider the classes $\mathcal{HC}(\phi)$ and $\mathcal{HC}_{c}(\phi)$ consisting of harmonic mappings $f=h+\overline{g}$ of the form $$ h(z)=z+ \sum \limits_{n=2}^{\infty} a_{n}z^{n} \quad \mbox{and} \quad g(z)=\sum \limits_{n=2}^{\infty} b_{n}z^{n} $$ in the unit disk $\mathbb{D}$, where $h$ belongs to $\mathcal{C}(\phi)$ and $\mathcal{C}_{c}(\phi)$ respectively, with the dilation $g'(z)=\alpha z h'(z)$ and $|\alpha|<1$. Using the Bohr phenomenon for subordination classes \cite[Lemma 1]{bhowmik-2018}, we find the radius $R_{f}<1$ such that Bohr inequality $$ |z|+\sum_{n=2}^{\infty} (|a_{n}|+|b_{n}|)|z|^{n} \leq d(f(0),\partial f(\mathbb{D})) $$ holds for $|z|=r\leq R_{f}$ for the classes $\mathcal{HC}(\phi)$ and $\mathcal{HC}_{c}(\phi)$ . As a consequence of these results, we obtain several interesting corollaries on Bohr inequality for the aforesaid classes.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript defines classes HC(φ) and HC_c(φ) of sense-preserving harmonic mappings f = h + conj(g) in the unit disk, where the analytic part h lies in the analytic classes C(φ) or C_c(φ) (defined via subordination of the pre-Schwarzian or a related expression to a given φ with positive real part, symmetry, and starlikeness), subject to the shear condition g'(z) = α z h'(z) with |α| < 1. It invokes Lemma 1 from Bhowmik et al. (2018) on the Bohr phenomenon for subordination classes to obtain an explicit radius R_f < 1 such that the Bohr inequality |z| + ∑_{n=2}^∞ (|a_n| + |b_n|)|z|^n ≤ d(f(0), ∂f(D)) holds for |z| ≤ R_f, and derives corollaries for specific φ.

Significance. If the lemma application is shown to be valid for the harmonic setting, the work supplies concrete Bohr radii for these harmonic classes and their corollaries, extending the Bohr phenomenon beyond analytic functions while exploiting the shear relation to control the coefficients of g. This is a modest but targeted contribution to geometric function theory for harmonic mappings.

major comments (2)
  1. [statement and proof of the main radius result for HC(φ)] The central step (immediately after the definitions of HC(φ) and HC_c(φ)) applies Lemma 1 from bhowmik-2018, which is formulated for analytic functions satisfying a subordination condition, directly to the harmonic f. The manuscript must explicitly verify that the hypotheses of the lemma hold for the pair (h,g): the left-hand side of the Bohr inequality sums coefficients from both h and g, while the right-hand side is the distance from f(0) to the boundary of the image of the harmonic mapping f, not necessarily of h. The shear relation g' = α z h' determines b_n from a_n but does not by itself place the harmonic f inside a subordination class to which the lemma applies verbatim.
  2. [definition of HC_c(φ) and the subsequent radius statement] In the definition of the class C_c(φ) and its harmonic extension HC_c(φ), the subordination condition is written in terms of the expression 2(zf'(z))' / (f(z) + conj(f(conj(z))))'. It is not shown how this condition, together with the shear, guarantees that d(f(0), ∂f(D)) satisfies the lower bound required by the cited lemma; an explicit comparison or estimate relating this distance to the corresponding quantity for h is needed.
minor comments (2)
  1. The abstract states that 'several interesting corollaries' follow but does not enumerate them; the manuscript should list the specific choices of φ and the resulting radii in a dedicated corollary section or table.
  2. The notation for the conjugate in the definition of C_c(φ) uses overline and bar inconsistently in places; a uniform convention (e.g., always writing conj(f(conj(z)))) would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the thorough review and valuable suggestions. The comments highlight important points regarding the application of the lemma to the harmonic mappings and the estimates for the distance in the image. We will revise the manuscript to provide the necessary verifications and explicit comparisons.

read point-by-point responses

  1. Referee: The central step (immediately after the definitions of HC(φ) and HC_c(φ)) applies Lemma 1 from bhowmik-2018, which is formulated for analytic functions satisfying a subordination condition, directly to the harmonic f. The manuscript must explicitly verify that the hypotheses of the lemma hold for the pair (h,g): the left-hand side of the Bohr inequality sums coefficients from both h and g, while the right-hand side is the distance from f(0) to the boundary of the image of the harmonic mapping f, not necessarily of h. The shear relation g' = α z h' determines b_n from a_n but does not by itself place the harmonic f inside a subordination class to which the lemma applies verbatim.

    Authors: The referee correctly identifies that Lemma 1 applies to analytic functions. In the manuscript, the subordination condition is satisfied by the analytic part h. To bridge to the harmonic case, the shear condition g'(z) = α z h'(z) with |α|<1 allows us to relate the coefficients b_n to a_n. This relation enables an upper bound on the sum of |a_n| + |b_n| in terms of the sum for h. For the right-hand side, since f is a sense-preserving harmonic mapping, we can establish a lower bound for d(f(0), ∂f(D)) using properties of the class. We will insert a detailed verification immediately after the definitions to show how the hypotheses are satisfied or adapted for the harmonic setting. revision: yes

  2. Referee: In the definition of the class C_c(φ) and its harmonic extension HC_c(φ), the subordination condition is written in terms of the expression 2(zf'(z))' / (f(z) + conj(f(conj(z))))'. It is not shown how this condition, together with the shear, guarantees that d(f(0), ∂f(D)) satisfies the lower bound required by the cited lemma; an explicit comparison or estimate relating this distance to the corresponding quantity for h is needed.

    Authors: We agree that an explicit estimate is required. The definition of C_c(φ) uses an expression that accounts for the harmonic nature. We will add an estimate showing that d(f(0), ∂f(D)) is bounded below in terms of the corresponding quantity for h, derived from the shear condition and the subordination. This will ensure the radius R_f works for the harmonic mappings in HC_c(φ). The revision will include this comparison. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external lemma.

full rationale

The paper defines classes HC(φ) and HC_c(φ) via subordination conditions on the analytic part h, imposes the shear g'(z)=α z h'(z) with |α|<1, and invokes the external Lemma 1 from bhowmik-2018 to obtain the Bohr radius R_f for the inequality involving coefficients of both h and g. No step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the cited lemma is treated as independent input. No patterns from the enumerated list are present.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on the standard domain assumptions that define the function phi and the subordination classes, together with the external lemma; no free parameters or invented entities appear in the abstract.

axioms (3)
  • domain assumption phi is analytic and univalent in the unit disk, maps onto a domain with positive real part, symmetric with respect to the real axis, starlike with respect to phi(0)=1, and phi'(0)>0
    This is the standing hypothesis on phi used to define the subordination classes C(phi) and C_c(phi).
  • domain assumption The harmonic mapping satisfies g'(z) = alpha z h'(z) with |alpha|<1 and h belongs to C(phi) or C_c(phi)
    This linear dilation condition together with the subordination on h defines the classes HC(phi) and HC_c(phi) to which the Bohr inequality is applied.
  • domain assumption Lemma 1 from bhowmik-2018 on the Bohr phenomenon for subordination classes applies directly to the analytic parts of the mappings in HC(phi) and HC_c(phi)
    The paper invokes this lemma to obtain the radii; the lemma itself is external.

pith-pipeline@v0.9.0 · 5932 in / 1744 out tokens · 26384 ms · 2026-05-24T14:19:08.683268+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The Bohr Phenomenon for analytic functions on simply connected domains

    math.CV 2020-11 unverdicted novelty 4.0

    Authors derive sharp radii for the Bohr phenomenon applied to analytic functions on the family of domains Ω_γ for 0 ≤ γ < 1.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Abu-Muhanna , Bohr’s phenomenon in subordination and bounded harmonic classes, Complex Var

    Y. Abu-Muhanna , Bohr’s phenomenon in subordination and bounded harmonic classes, Complex Var. Elliptic Equ.55 (2010), 1071–1078

    work page 2010

  2. [2]

    Abu-Muhanna, R

    Y. Abu-Muhanna, R. M. Ali, Z. C. Ng and S. F. M Hasni , Bohr radius for subordinating families of analytic functions and bounded harmonic mappings, J. Math. Anal.Appl. 420 (2014), 124–136

    work page 2014

  3. [3]

    Aizenberg, Multidimensional analogues of Bohr’s theorem on power series,Proc

    L. Aizenberg, Multidimensional analogues of Bohr’s theorem on power series,Proc. Amer. Math. Soc. 128 (2000), 1147–1155

    work page 2000

  4. [4]

    Aizenberg, Generalization of results about the Bohr radius for power series,Stud

    L. Aizenberg, Generalization of results about the Bohr radius for power series,Stud. Math. 180 (2007), 161–168

    work page 2007

  5. [5]

    R. M. Ali, R.W. Barnard and A.Yu. Solynin, A note on Bohr’s phenomenon for power series, J. Math. Anal.Appl.449 (2017), 154-167

    work page 2017

  6. [6]

    R. M. Ali, N. K.Jain and V. Ra vichandran, Bohr radius for classes of analytic functions, Results Math. 74 (2019) 179

    work page 2019

  7. [7]

    S. A. Alkhaleef ah, I.R. Kayumov and S. Ponnusamy, On the Bohr inequality with a fixed zero coefficient,Proc. Amer. Math. Soc.147 (2019), 5263–5274

    work page 2019

  8. [8]

    Allu and H

    V. Allu and H. Halder, Bhor phenomenon for certain subclasses of Harmonic Mappings, arXiv:2006.11622, 2020

    work page arXiv 2006

  9. [9]

    Allu and H

    V. Allu and H. Halder , Bohr radius for certain classes of starlike and convex univalent functions, J. Math. Anal.Appl.493(1) (2021), 124519

    work page 2021

  10. [10]

    Bohr phenomenon for certain close-to-convex analytic functions

    V. Allu and H. Halder, Bohr phenomenon for certain close-to-convex analytic functions, arXiv:2008.00187v2, 2020

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  11. [11]

    Ponnusamy, Coefficient conditions for harmonic univalent map- pings and hypergeometric mappings,Rocky Mountain J

    SV Bharanedhar and S. Ponnusamy, Coefficient conditions for harmonic univalent map- pings and hypergeometric mappings,Rocky Mountain J. Math.44 (2014) 753–777

    work page 2014

  12. [12]

    Bhowmik and N

    B. Bhowmik and N. Das, Bohr phenomenon for subordinating families of certain univalent functions, J. Math. Anal. Appl.462 (2018), 1087–1098

    work page 2018

  13. [13]

    H. P. Boas and D. Kha vinson, Bohr’s power series theorem in several variables,Proc. Amer. Math. Soc125 (1997), 2975–2979

    work page 1997

  14. [14]

    Bohr, A theorem concerning power series,Proc

    H. Bohr, A theorem concerning power series,Proc. Lond. Math. Soc. s2-13 (1914), 1–5

    work page 1914

  15. [15]

    Evdoridis and S

    S. Evdoridis and S. Ponnusamy, Improved Bohr’s inequality for locally univalent harmonic mappings, Indag. Math. (N.S.) 30 (2019), 201–213

    work page 2019

  16. [16]

    Evdoridis, S

    S. Evdoridis, S. Ponnusamy , andA. Rasila, Improved Bohr’s inequality for shifted disks, Results Math. 76:14 (2021)

    work page 2021

  17. [17]

    T. N. Kaptanoglu , Bohr phenomena for Laplace-Beltrami operators,Indag. Math. (N. S.) 17 (2006), 407–423

    work page 2006

  18. [18]

    I. R. Kayumov, S. Ponnusamy and N. Shakirov, Bohr radius for localy unovalent har- monic mappings,Math. Nachr. 291 (2018), 1757–1768

    work page 2018

  19. [19]

    I. R. Kayumov and S. Ponnusamy , Bohr’s inequalities for the analytic functions with lacunary series and harmonic functions,J. Math. Anal. Appl.465 (2018), 857–871

    work page 2018

  20. [20]

    Liu and S

    G. Liu and S. Ponnusamy, On harmonicv-Bloch andv-Bloch-type mappings,Results Math. 73 (3) (2018), Ar 90, 21 pages

    work page 2018

  21. [21]

    M. S. Liu and S. Ponnusamy, Multidimensional analogues of refined Bohr’s inequality,Proc. Amer. Math. Soc.(2020) (to appear)

    work page 2020

  22. [22]

    Lassere and E

    P. Lassere and E. Mazzilli, The Bohr radius for an elliptic condenser,Indag. Math. (N. S.) 24 (2013), 83–102. 18 Vasudevarao Allu and Himadri Halder

    work page 2013

  23. [23]

    Ma and D

    W.C. Ma and D. Minda, A unified treatment of some special classes of univalent functions, in Proceedings of the Conference on Complex Analysis(Tianjin, 1992), 157–169, Conf. Proc. Lecture Notes Anal., I, Int. Press, Cambridge

    work page 1992

  24. [24]

    Ra vichandran, Starlike and convex functions with respect to conjugte points,Acta Math

    V. Ra vichandran, Starlike and convex functions with respect to conjugte points,Acta Math. Acad. Paedagog. Nyhazi.20 (2004), 31–37

    work page 2004

  25. [25]

    Sun , Y-P Jiyang and A

    Y. Sun , Y-P Jiyang and A. Rasila , On a certain subclass of close-to-convex harmonic mappings, Complex Var. Elliptic Equ.61 (2016) 1627-1643

    work page 2016

  26. [26]

    Thomas , Nikola Tuneski and Allu V asudev arao, Univalent functions

    Derek K. Thomas , Nikola Tuneski and Allu V asudev arao, Univalent functions. A primer, De Gruyter Studies in Mathematics,69. De Gruyter, Berlin, 2018. V asudev arao Allu, School of Basic Science, Indian Institute of Technology Bhubanesw ar, Bhubanesw ar-752050, Odisha, India. Email address: avrao@iitbbs.ac.in Himadri Halder, School of Basic Science, Indi...

    work page 2018