pith. sign in

arxiv: 2008.00187 · v2 · submitted 2020-08-01 · 🧮 math.CV

Bohr phenomenon for certain close-to-convex analytic functions

Vasudevarao Allu , Himadri Halder This is my paper

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

classification 🧮 math.CV MSC 30C45
keywords Bohr phenomenonclose-to-convex functionssubordinationanalytic functionsunit diskBohr radiusunivalent functions
0
0 comments X

The pith

Four subclasses of close-to-convex functions obey the Bohr phenomenon inside an explicit radius R_f obtained from a subordination lemma.

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

The paper establishes that the classes S_c^*(φ), C_c(φ), C_s^*(φ), and K_s(φ) of analytic functions in the unit disk satisfy the Bohr phenomenon. This means that for each such function the sum of the absolute values of the non-constant power-series terms stays at most the distance from f(0) to the boundary of the image domain, provided |z| is no larger than a radius R_f. The radius is produced by applying a known result on subordination classes to the defining subordination conditions of each class. When φ obeys extra hypotheses the same radius is shown to be the largest possible one that works for the whole class.

Core claim

The classes S_c^*(φ), C_c(φ), C_s^*(φ), and K_s(φ) satisfy the Bohr phenomenon: for every f in any one of these classes there is a radius R_f < 1 such that sum_{n=1}^∞ |a_n z^n| ≤ dist(f(0), ∂f(D)) whenever |z| ≤ R_f. The radii are derived via the subordination-class lemma and become sharp once φ satisfies additional conditions.

What carries the argument

The Bohr radius R_f obtained by applying the subordination-class lemma to the subordination relations that define each of the four classes.

If this is right

  • The Bohr inequality holds inside |z| ≤ R_f for every function in S_c^*(φ).
  • The same statement holds for every function in C_c(φ), C_s^*(φ), and K_s(φ).
  • When φ meets the extra conditions the radius R_f is the best possible for the class.
  • Special choices of φ recover or extend previously known Bohr radii for starlike and convex subclasses.

Where Pith is reading between the lines

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

  • The same subordination-lemma route could be used to obtain Bohr radii for other classes defined by subordination that are not necessarily close-to-convex.
  • The sharpness criteria on φ identify candidate extremal functions by restricting the growth of φ.
  • Combining the Bohr inequality with the defining subordinations may produce new uniform bounds on coefficients or growth for these classes.

Load-bearing premise

The cited lemma on Bohr phenomenon for subordination classes applies directly to the four new classes without further restrictions on φ.

What would settle it

An explicit function belonging to one of the four classes for which the majorant inequality fails at some radius strictly larger than the derived R_f.

read the original abstract

We say that a class $\mathcal{B}$ of analytic functions $f$ of the form $f(z)=\sum_{n=0}^{\infty} a_{n}z^{n}$ in the unit disk $\mathbb{D}:=\{z\in \mathbb{C}: |z|<1\}$ satisfies a Bohr phenomenon if for the largest radius $R_{f}<1$, the following inequality $$ \sum\limits_{n=1}^{\infty} |a_{n}z^{n}| \leq d(f(0),\partial f(\mathbb{D}) ) $$ holds for $|z|=r\leq R_{f}$ and for all functions $f \in \mathcal{B}$. The largest radius $R_{f}$ is called Bohr radius for the class $\mathcal{B}$. In this article, we obtain Bohr radius for certain subclasses of close-to-convex analytic functions. We establish the Bohr phenomenon for certain analytic classes $\mathcal{S}_{c}^{*}(\phi),\,\mathcal{C}_{c}(\phi),\, \mathcal{C}_{s}^{*}(\phi),\, \mathcal{K}_{s}(\phi)$. Using Bohr phenomenon for subordination classes \cite[Lemma 1]{bhowmik-2018}, we obtain some radius $R_{f}$ such that Bohr phenomenon for these classes holds for $|z|=r\leq R_{f}$. Generally, in this case $R_{f}$ need not be sharp, but we show that under some additional conditions on $\phi$, the radius $R_{f}$ becomes sharp bound. As a consequence of these results, we obtain several interesting corollaries on Bohr phenomenon 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 claims to establish the Bohr phenomenon for the analytic function classes S_c^*(φ), C_c(φ), C_s^*(φ), and K_s(φ) inside the unit disk. It invokes Lemma 1 from Bhowmik et al. (2018) on subordination classes to derive an explicit radius R_f such that the Bohr inequality ∑|a_n z^n| ≤ d(f(0), ∂f(D)) holds for |z| ≤ R_f for all f in each class; under additional conditions on φ the radius is asserted to be sharp, yielding several corollaries.

Significance. If the direct applicability of the cited lemma is verified, the work supplies concrete Bohr radii for four new subclasses of close-to-convex functions and identifies sharpness cases, thereby extending known results on Bohr phenomena from subordination classes to these geometrically defined families.

major comments (2)
  1. [Abstract (statement after citation of Lemma 1) and the definitions of the four classes] The central derivation obtains R_f for S_c^*(φ), C_c(φ), C_s^*(φ), and K_s(φ) solely by citing Lemma 1 of bhowmik-2018. The manuscript must explicitly confirm that each class satisfies the lemma's hypotheses (subordination form, range of the subordinating function, and any restrictions on φ) without extra conditions beyond those already present in the class definitions; otherwise the radius formulas and sharpness claims do not follow directly.
  2. [Abstract and the paragraph containing the sharpness statement] The sharpness assertion under 'some additional conditions on φ' is load-bearing for the optimality claim yet is stated without a derivation showing how those conditions produce an extremal function attaining equality; the text should supply the explicit construction or reference the precise extra hypothesis that closes the argument.
minor comments (2)
  1. [Abstract] Notation for the distance d(f(0), ∂f(D)) should be defined at first use or cross-referenced to a standard source.
  2. [References] The citation [Lemma 1]{bhowmik-2018} should include the full bibliographic entry and page or theorem number for easy verification.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the specific suggestions for improving the clarity and rigor of the arguments. We address each major comment below and will revise the manuscript to incorporate the requested explicit verifications and derivations.

read point-by-point responses

  1. Referee: [Abstract (statement after citation of Lemma 1) and the definitions of the four classes] The central derivation obtains R_f for S_c^*(φ), C_c(φ), C_s^*(φ), and K_s(φ) solely by citing Lemma 1 of bhowmik-2018. The manuscript must explicitly confirm that each class satisfies the lemma's hypotheses (subordination form, range of the subordinating function, and any restrictions on φ) without extra conditions beyond those already present in the class definitions; otherwise the radius formulas and sharpness claims do not follow directly.

    Authors: We agree that an explicit confirmation strengthens the manuscript. Although the definitions of the four classes are constructed to satisfy the subordination hypotheses of Lemma 1 from Bhowmik et al. (2018) with no additional restrictions on φ beyond those already stated, the revised version will add a short dedicated paragraph immediately after the class definitions. This paragraph will verify, for each class separately, that the subordination form holds, that the subordinating function lies in the required range, and that the conditions on φ match those of the lemma exactly. revision: yes

  2. Referee: [Abstract and the paragraph containing the sharpness statement] The sharpness assertion under 'some additional conditions on φ' is load-bearing for the optimality claim yet is stated without a derivation showing how those conditions produce an extremal function attaining equality; the text should supply the explicit construction or reference the precise extra hypothesis that closes the argument.

    Authors: We acknowledge that the current text states the sharpness result under additional conditions on φ but does not supply the explicit construction of the extremal function. In the revision we will insert the missing derivation: we will specify the precise extra hypothesis on φ (a suitable normalization or extremal choice) and construct the corresponding function f in each class for which equality holds in the Bohr inequality at the asserted radius, thereby confirming sharpness. revision: yes

Circularity Check

0 steps flagged

No circularity; external lemma applied to defined classes

full rationale

The central step invokes Lemma 1 from the external citation bhowmik-2018 to obtain radii R_f for the four classes defined in the paper. This citation does not overlap with the present authors, is not load-bearing via self-reference, and introduces no self-definitional reduction or fitted-input renaming. The classes S_c^*(φ), C_c(φ), C_s^*(φ), K_s(φ) are introduced via their own analytic conditions, after which the external lemma is applied; sharpness under extra conditions on φ is stated separately. No equation or claim reduces to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard properties of analytic functions in the unit disk and on the applicability of an external lemma; no new entities or fitted numerical parameters are introduced in the abstract.

axioms (1)
  • standard math Analytic functions in the unit disk satisfy the usual power-series expansion and subordination relations.
    Invoked throughout the definitions of the classes and the application of the cited lemma.

pith-pipeline@v0.9.0 · 5827 in / 1231 out tokens · 20834 ms · 2026-05-24T14:19:32.484253+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.

Forward citations

Cited by 2 Pith papers

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.

  2. The Bohr inequality for certain harmonic mappings

    math.CV 2020-09 unverdicted novelty 4.0

    Bohr radii are derived for harmonic mappings in the classes HC(phi) and HC_c(phi) defined by subordination and linear dilation using a cited lemma on subordination classes.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · cited by 2 Pith papers

  1. [1]

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

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

    work page 2010

  2. [2]

    Abu-Muhanna and R

    Y. Abu-Muhanna and R. M. Ali , Bohr’s phenomenon for analytic functions into the exterio r of a compact convex body, J. Math. Anal. Appl. 379 (2011), 512–517

    work page 2011

  3. [3]

    Abu Muhanna and R

    Y. Abu Muhanna and R. M. Ali , Bohr’s phenomenon for analytic functions and the hy- perbolic metric, Math. Nachr. 286 (2013), 1059–1065

    work page 2013

  4. [4]

    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 mappin gs, J. Math. Anal.Appl. 420 (2014), 124–136

    work page 2014

  5. [5]

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

    work page 2000

  6. [6]

    L.Aizenberg, Generalization of results about the Bohr radius for power s eries, Stud. Math. 180 (2007), 161–168. 18 Vasudevarao Allu and Himadri Halder

    work page 2007

  7. [7]

    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

  8. [8]

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

    work page 2019

  9. [9]

    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

  10. [10]

    V asudev arao Allu and Himadri Halder , Bhor phenomenon for certain subclasses of Harmonic Mappings, arXiv:2006.11622, 2020

    work page arXiv 2006

  11. [11]

    V asudev arao Alluand Himadri Halder , Bohr radius for certain classes of starlike and convex univalent functions, J. Math. Anal.Appl. , https://doi.org/10.1016/j.jmaa.2020.124519

    work page doi:10.1016/j.jmaa.2020.124519 2020

  12. [12]

    Bhowmik and N

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

    work page 2018

  13. [13]

    Boas and D

    H.P. Boas and D. Kha vinson, Bohr’s power series theorem in several variables, Proc. Amer. Math. Soc 125 (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]

    N. E. Cho , O. S. Kwon and V. Ra vichandran, Coefficient, distortion and growth inequal- ities for certain close-to-convex functions, J. Inequal. Appl. 2011:100 (2011), 7pp

    work page 2011

  16. [16]

    Gao and S

    C. Gao and S. Zhou , On a class of analytic functions related to the starlike fun ctions, Kyungpook Math. J. 45 (2005), 123–130

    work page 2005

  17. [17]

    Graham and D

    I. Graham and D. V arolin, Bloch constants in one and several variables, Pacific J. Math. 174 (1996), 347–357

    work page 1996

  18. [18]

    Kayumov and S

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

    work page 2018

  19. [19]

    Ra vichandran and S

    K.Khatter, V. Ra vichandran and S. Siv aprasad Kumar, Starlike functions associated with exponential function and the lemniscate of Bernoulli, Rev. R. Acad. Cienc. Exactas F ´is. Nat. Ser. A Mat. RACSAM 113 (2019), 233–253

    work page 2019

  20. [20]

    Kow alczykand E

    J. Kow alczykand E. Les-Bomba , On a subclass of close-to-convex functions, Appl. Math. Lett. 23 (2010), 1147–1151

    work page 2010

  21. [21]

    Sakaguchi , On a certain univalent mapping, J

    K. Sakaguchi , On a certain univalent mapping, J. Math. Soc. Japan 11 (1959), 72–75

    work page 1959

  22. [22]

    Siv aprasad Kumar and S

    S. Siv aprasad Kumar and S. Banga , On a special type of Non-Ma-Minda function, arXiv:2006.02111v1, 2020

    work page arXiv 2006

  23. [23]

    Ma and D

    W.C. Ma and D. Minda , A unified treatment of some special classes of univalent fun ctions, 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]

    V. S. Masih and S. Kanas , Subclasses of Starlike and Convex functions associated wi th associated with the LimaÃğon Domain, Symmetry 12 (2020), 942

    work page 2020

  25. [25]

    K.Raina and J

    R. K.Raina and J. Sokol , Some properties related to a certain class of starlike func tions, C. R. Math. Acad. Sci. Paris 353 (2015), 973–978

    work page 2015

  26. [26]

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

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

    work page 2004

  27. [27]

    Ronning, Uniformly convex functions and a corresponding class of st arlike functions, Proc

    F. Ronning, Uniformly convex functions and a corresponding class of st arlike functions, Proc. Amer. Math. Soc. 118 (1993), 189–196

    work page 1993

  28. [28]

    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

    work page 2018

  29. [29]

    W ang, C

    Z. W ang, C. Gao and S. Yuan , On certain subclass of close-to-convex functions, Acta Math Acad Paedagog Nyhazi (N. S.) 22 (2006), 171–177. (electronic)

    work page 2006

  30. [30]

    Z-G W ang, C-Y Gao and S-M Yuan , On certain subclasses of close-to-convex and quasi- convex functions with respect to k-symmetric points, J. Math. Anal. Appl. 322 (2006), 97–106. V asudev arao Allu, School of Basic Science, Indian Institute of Technology Bhubanesw ar, Bhubanesw ar-752050, Odisha, India. E-mail address : avrao@iitbbs.ac.in Himadri Halder,...

    work page 2006