pith. sign in

arxiv: 2411.01837 · v1 · submitted 2024-11-04 · 🧮 math.CV

Generalized Bohr inequalities for K-quasiconformal harmonic mappings and their applications

Pith reviewed 2026-05-23 17:58 UTC · model grok-4.3

classification 🧮 math.CV
keywords Bohr inequalityquasiconformal mappingsharmonic mappingsunit diskmajorant seriesGaussian hypergeometric functionconvolution
0
0 comments X

The pith

K-quasiconformal sense-preserving harmonic mappings on the unit disk satisfy several sharp generalized Bohr inequalities.

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

The paper establishes sharp versions of generalized Bohr inequalities for K-quasiconformal sense-preserving harmonic mappings on the unit disk. It replaces the usual power terms r^n with a majorant series built from any sequence of non-negative continuous functions ψ_n(r) whose sum converges locally uniformly on [0,1). The resulting bounds recover earlier Bohr results for harmonic mappings as special cases and also produce a convolution form of the theorem that involves the Gaussian hypergeometric function.

Core claim

For every K-quasiconformal sense-preserving harmonic mapping f on the unit disk and every admissible sequence {ψ_n(r)}, the majorant series satisfies a sharp inequality that bounds the modulus of f inside the disk; the same majorant construction yields refined and improved versions of classical Bohr statements together with a hypergeometric convolution identity that holds inside the same class.

What carries the argument

The majorant series formed by an arbitrary sequence {ψ_n(r)} of non-negative continuous functions whose sum converges locally uniformly on [0,1), applied to the class of K-quasiconformal sense-preserving harmonic mappings.

If this is right

  • All previously published Bohr inequalities for harmonic mappings become direct corollaries.
  • New sharply improved and refined Bohr inequalities hold for the full class of harmonic mappings on the disk.
  • A convolution counterpart of the Bohr theorem is obtained when the majorant series is realized by the Gaussian hypergeometric function.

Where Pith is reading between the lines

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

  • The same majorant technique could be tested on mappings that are merely harmonic but not quasiconformal to see whether the K-dependence is essential.
  • Special choices of ψ_n(r) might produce Bohr-type bounds for other function classes such as those with restricted coefficients.
  • The convolution identity suggests a possible link between Bohr radii and hypergeometric summation formulas that could be checked numerically for small K.

Load-bearing premise

The mappings must belong to the class of K-quasiconformal sense-preserving harmonic functions and the chosen sequence ψ_n(r) must consist of non-negative continuous functions whose series converges locally uniformly on [0,1).

What would settle it

An explicit K-quasiconformal sense-preserving harmonic mapping together with a concrete admissible sequence ψ_n(r) for which the claimed majorant inequality fails to hold with the stated constant or sharpness.

read the original abstract

The classical Bohr theorem and its subsequent generalizations have become active areas of research, with investigations conducted in numerous function spaces. Let $\{\psi_n(r)\}_{n=0}^\infty$ be a sequence of non-negative continuous functions defined on $[0,1)$ such that the series $\sum_{n=0}^\infty \psi_n(r)$ converges locally uniformly on the interval $[0, 1)$. The main objective of this paper is to establish several sharp versions of generalized Bohr inequalities for the class of $K$-quasiconformal sense-preserving harmonic mappings on the unit disk $\D := \{z \in \mathbb{C} : |z| < 1\}$. To achieve these, we employ the sequence of functions $\{\psi_n(r)\}_{n=0}^\infty$ in the majorant series rather than the conventional dependence on the basis sequence $\{r^n\}_{n=0}^\infty$. As applications, we derive a number of previously published results as well as a number of sharply improved and refined Bohr inequalities for harmonic mappings in $\D$. Moreover, we obtain a convolution counterpart of the Bohr theorem for harmonic mapping within the context of the Gaussian hypergeometric function

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

0 major / 2 minor

Summary. The paper claims to establish several sharp generalized Bohr inequalities for K-quasiconformal sense-preserving harmonic mappings on the unit disk by substituting an arbitrary sequence of non-negative continuous functions {ψ_n(r)} (with locally uniformly convergent series on [0,1)) in place of the standard majorant {r^n}. It derives applications recovering prior results, obtaining refined inequalities, and establishing a convolution counterpart of the Bohr theorem for such mappings in the setting of the Gaussian hypergeometric function.

Significance. If the derivations hold, the generalization unifies Bohr-type results across different majorants for this mapping class and recovers or sharpens existing bounds as special cases; the hypergeometric convolution application extends the framework to special functions, which may facilitate further work on coefficient problems and subordination in harmonic mappings.

minor comments (2)
  1. [Abstract and §1] The abstract states that the inequalities are 'sharp' and that applications include 'sharply improved' bounds, but the manuscript should explicitly indicate in the introduction or §2 how sharpness is verified for the general {ψ_n(r)} (e.g., via extremal mappings or equality cases).
  2. [§2] Notation for the class of K-quasiconformal harmonic mappings and the precise statement of the generalized majorant inequality should be introduced with a numbered display equation early in the paper to improve readability for readers unfamiliar with the specific sequence substitution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive assessment of the significance of the generalization, and recommendation of minor revision. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives generalized Bohr inequalities for K-quasiconformal sense-preserving harmonic mappings by substituting an arbitrary sequence {ψ_n(r)} (non-negative, continuous, locally uniformly convergent) into the majorant series in place of {r^n}. This substitution is justified directly by the stated hypotheses on the mapping class and on the sequence, which are the standard conditions under which such majorant replacements hold in the literature. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology; the central claims remain independent analytic estimates. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the standard definition and properties of K-quasiconformal sense-preserving harmonic mappings together with the convergence assumption on the majorant sequence; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption K-quasiconformal sense-preserving harmonic mappings satisfy the usual distortion and analyticity properties used in geometric function theory.
    Invoked when defining the class to which the inequalities apply.
  • standard math The series sum ψ_n(r) converges locally uniformly on [0,1).
    Stated explicitly as the condition on the majorant sequence.

pith-pipeline@v0.9.0 · 5736 in / 1252 out tokens · 19442 ms · 2026-05-23T17:58:01.283374+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · 1 internal anchor

  1. [1]

    Abu-Muhanna, R

    Y. Abu-Muhanna, R. M. Ali and S. Ponnusamy , On the Bohr inequality, In: N. K. Govil et al. (eds) Progress in approximation theory and applicable comp lex analysis, Springer Optimization and Its Applications, 117 (2017), 269–300

  2. [2]

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

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

  3. [3]

    Aizenberg, A

    L. Aizenberg, A. Aytuna and P. Djakov , Generalization of theorem on Bohr for bases in spaces of holomorphic functions of several complex variabl es, J. Math. Anal. Appl. 258 (2001), 429–447

  4. [4]

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

  5. [5]

    S. A. Alkhaleefah, I. R. Kayumov and S. Ponnusamy , Bohr-Rogosinski inequalities for bounded analytic functions, Lobachevskii J. Math. 41 (2020), 2110–2119

  6. [6]

    M. B. Ahamed, V. Allu and H. Halder , The Bohr phenomenon for analytic functions on a shifted disk, Ann. Fenn. Math. 47 (2022), 103–120

  7. [7]

    V. Allu, V. Arora and A. Shaji , On the second Hankel determinant of logarithmic coefficient s for certain univalent functions, Mediterr. J. Math. 20 (2023), 81

  8. [8]

    Allu and H

    V. Allu and H. Halder , Bohr radius for certain classes of starlike and convex univ alent func- tions, J. Math. Anal. Appl. 493(1) (2021), 124519. GENERALIZED BOHR INEQUALITIES 25

  9. [9]

    Allu and H

    V. Allu and H. Halder , Bohr phenomenon for certain subclasses of harmonic mappin gs, Bull. Sci. Math. 173 (2021), 103053

  10. [10]

    Allu and H

    V. Allu and H. Halder , Operator valued analogues of multidimensional Bohr’s ine quality, Canadian Math. Bull. 65(4) (2022), 1020–1035

  11. [11]

    Allu and V

    V. Allu and V. Arora , Bohr-Rogosinski type inequalities for concave univalent functions, J. Math. Anal. Appl. 520 (2023), 126845

  12. [12]

    Bisw as, Second Hankel determinant of logarithmic coefficients for G(α) and P(M ), J

    R. Bisw as, Second Hankel determinant of logarithmic coefficients for G(α) and P(M ), J. Anal. (2024). https://doi.org/10.1007/s41478-024-00778-5

  13. [13]

    B ´en´eteau, A

    C. B ´en´eteau, A. Dahlner and D. Khavinson , Remarks on the Bohr phenomenon, Comput. Methods Funct. Theory 4(1) (2004), 1–19

  14. [14]

    H. P. Boas and D. Khavinson , Bohr’s power series theorem in several variables, Proc. Am. Math. Soc. 125(10) (1997), 2975–2979

  15. [15]

    Bohr , A theorem concerning power series, Proc

    H. Bohr , A theorem concerning power series, Proc. London Math. Soc. 13(2) (1914), 1–5

  16. [16]

    Bombieri and J

    E. Bombieri and J. Bourgain , A remark on Bohr’s inequality, Int. Math. Res. Not. 80 (2004), 4307–4330

  17. [17]

    Carlson , Sur les coefficients d’une fonction born´ ee dans le cercle un it´ e (French),Ark

    F. Carlson , Sur les coefficients d’une fonction born´ ee dans le cercle un it´ e (French),Ark. Mat. Astr. Fys. 27A(1) (1940), 8 pp

  18. [18]

    S. Y. Dai and Y. F. P an , Note on Schwarz-Pick estimates for bounded and positive re al part analytic functions, Proc. Am. Math. Soc. 136 (2008), 635–640

  19. [19]

    Defant, L

    A. Defant, L. Frerick, J. Ortega-Cerd `a, M. Ouna ¨ıes and K. Seip , The Bohnenblust-Hille inequality for homogeneous polynomials is hypercontracti ve, Ann. Math. 174(2) (2011), 512–517

  20. [20]

    Defant, D

    A. Defant, D. Garc ´ıa, , M. Maestre and P. Sevilla-Peris , Dirichlet series and holomorphic functions in high dimension, 37, Cambridge University Press , 2019

  21. [21]

    P. G. Dixon , Banach algebras satisfying the non-unital von Neumann ine quality, Bull. Lond. Math. Soc. 27(4) (1995), 359–362

  22. [22]

    P. L. Duren , Harmonic mapping in the plane, Cambridge University Press , 2004

  23. [23]

    S. R. Garcia, J. Mashreghi and W. T. Ross , Finite Blaschke Products and Their Connections, Springer, Cham, 2018

  24. [24]

    R. M. Goodloe , Hadamard products of convex harmonic mappings, Complex Var. Theory Appl. 47 (2002), 81–92

  25. [25]

    Ismagilov, I

    A. Ismagilov, I. R. Kayumov and S. Ponnusamy , Sharp Bohr type inequality, J. Math. Anal. Appl. 489 (2020), 124147

  26. [26]

    Ismagilov, A

    A. Ismagilov, A. V. Kayumova, I. R. Kayumov and S. Ponnusamy , Bohr inequalities in some classes of analytic functions, J. Math. Sci. 252(3) (2021), 360–373

  27. [27]

    Kalaj , Quasiconformal harmonic mapping between Jordan domains, Math

    D. Kalaj , Quasiconformal harmonic mapping between Jordan domains, Math. Z. 260(2) (2008), 237–252

  28. [28]

    I. R. Kayumov, D. M. Khammatova and S. Ponnusamy , Bohr-Rogosinski phenomenon for analytic functions and Ces´ aro operators, J. Math. Anal. Appl. 493(2) (2021), 124824

  29. [29]

    I. R. Kayumov, D. M. Khammatova and S. Ponnusamy , The Bohr inequality for the general- ized Ces´ aro averaging operators,Mediterr. J. Math. 19 (2022), 19

  30. [30]

    I. R. Kayumov and S. Ponnusamy , Bohr-Rogosinski radius for analytic functions, preprint , https://doi.org/10.48550/arXiv.1708.05585

  31. [31]

    I. R. Kayumov and S. Ponnusamy , Improved version of Bohr’s inequality, C. R. Math. Acad. Sci. Paris 356(3) (2018), 272–277

  32. [32]

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

  33. [33]

    I. R. Kayumov, S. Ponnusamy and N. Shakirov , Bohr radius for locally univalent harmonic mappings, Math. Nachr. 291 (2018), 1757–1768

  34. [34]

    S. G. Krantz , Geometric Function Theory. Explorations in Complex Analy sis. Birkh¨ auser, Boston, 2006

  35. [35]

    Lewy , On the non-vanishing of the Jacobian in certain one-to-one mappings, Bull

    H. Lewy , On the non-vanishing of the Jacobian in certain one-to-one mappings, Bull. Am. Math. Soc. 42 (1936), 689–692

  36. [36]

    G. Liu, Z. H. Liu and S. Ponnusamy , Refined Bohr inequality for bounded analytic functions, Bull. Sci. Math. 173 (2021), 103054

  37. [37]

    M. S. Liu and S. Ponnusamy , Multidimensional analogues of refined Bohr’s inequality, Proc. Amer. Math. Soc. 149 (2021), 2133–2146

  38. [38]

    Liu and S

    G. Liu and S. Ponnusamy , Improved Bohr inequality for harmonic mappings, Math. Nachr. 296 (2023), 716–731. 26 R. BISW AS AND R. MANDAL

  39. [39]

    M. S. Liu, Y. M. Shang and J. F. Xu , Bohr-type inequalities of analytic functions, J. Inequal. Appl. 345 (2018), 13 pp

  40. [40]

    Martio , On harmonic quasiconformal mappings, Ann

    O. Martio , On harmonic quasiconformal mappings, Ann. Acad. Sci. Fenn. A. I. 425 (1968), 3–10

  41. [41]

    Mandal, R

    R. Mandal, R. Bisw as and S. K. Guin , Geometric studies and the Bohr radius for certain normalized harmonic mappings, Bull. Malays. Math. Sci. Soc. 47 (2024), 131

  42. [42]

    Mandal, P

    S. Mandal, P. P. Roy and M. B. Ahamed , Hankel and Toeplitz determinants of logarithmic coefficients of inverse functions for certain classes of univ alent functions, Iran J. Sci. (2024)

  43. [43]

    V. I. P aulsen and D. Singh , Bohr’s inequality for uniform algebras, Proc. Amer. Math. Soc. 132(12) (2004), 3577–3579

  44. [44]

    Ponnusamy, R

    S. Ponnusamy, R. Vijayakumar and K. -J. Wirths , New inequalities for the coefficients of unimodular bounded functions, Results Math 75 (2020), 107

  45. [45]

    Ponnusamy, R

    S. Ponnusamy, R. Vijayakumar and K. -J. Wirths , Modifications of Bohr’s inequality in various settings, Houston J. M. 47(4)(2021), 811–835

  46. [46]

    S. -L. Qiu and M. Vuorinen , Special functions in geometric function theory, Handbook of Complex Analysis, 2, North-Holland, 621–659 (2005)

  47. [47]

    Rogosinski, ¨Uber Bildschranken bei Potenzreihen und ihren Abschnitten , Math

    W. Rogosinski, ¨Uber Bildschranken bei Potenzreihen und ihren Abschnitten , Math. Z. 17 (1923), 260–276

  48. [48]

    Singh and S

    R. Singh and S. Singh , Convolution properties of a class of starlike functions, Proc. Am. Math. Soc. 106 (1989), 145–152. Raju Bisw as, Department of Mathematics, Raiganj Universit y, Raiganj, West Bengal- 733134, India. Email address : rajubiswasjanu02@gmail.com Rajib Mandal, Department of Mathematics, Raiganj Universi ty, Raiganj, West Bengal- 733134, ...