pith. sign in

arxiv: 2605.29026 · v1 · pith:4BD2YNIUnew · submitted 2026-05-27 · 🧮 math.CV

Logarithmic coefficients for exponential classes of starlike and convex functions

Pith reviewed 2026-06-29 08:53 UTC · model grok-4.3

classification 🧮 math.CV MSC 30C45
keywords starlike functionsconvex functionssubordinationexponential mappinglogarithmic coefficientsHankel determinantsToeplitz determinants
0
0 comments X

The pith

Exponential subordination yields sharp bounds on logarithmic coefficients and Hankel determinants for starlike and convex functions.

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

The paper introduces exponential analogues of the starlike and convex classes by imposing the subordination conditions zf'(z)/f(z) ≺ e^{αz} and 1 + zf''(z)/f'(z) ≺ e^{αz} for 0 < α ≤ 1. It then derives sharp estimates for the Taylor coefficients of functions in these classes, together with inequalities for the logarithmic coefficients and explicit bounds on the associated Hankel and Toeplitz determinants. A sympathetic reader would care because these classes extend the classical geometric function theory setting while retaining enough structure to produce concrete, computable bounds that unify earlier exponential-subclass results.

Core claim

Functions belonging to the exponential starlike and convex classes satisfy sharp coefficient estimates, logarithmic coefficient inequalities, and the explicit bounds |H_{2,1}(F_f/2)| and |T_{2,1}(F_f/2)|, where the classes are defined by the stated subordination conditions to e^{αz}.

What carries the argument

The subordination relations zf'(z)/f(z) ≺ e^{αz} and 1 + zf''(z)/f'(z) ≺ e^{αz} (0 < α ≤ 1), which define the exponential starlike and convex classes and serve as the source of all coefficient and determinant bounds.

Load-bearing premise

The subordination conditions correctly identify the exponential analogues of starlike and convex functions and the extremal functions that attain the stated bounds lie inside these classes.

What would settle it

An explicit function satisfying one of the subordination conditions whose second or third coefficient, or whose |H_{2,1}(F_f/2)| value, exceeds the derived sharp bound would disprove the claims.

Figures

Figures reproduced from arXiv: 2605.29026 by Abhijit Banerjee, Shantanu Panja, Sujoy Majumder.

Figure 1
Figure 1. Figure 1: Geometric image of the mapping φ(z) = e αz, 0 < α ≤ 1, in the R(φ)–I(φ) plane. As x → −∞, all logarithmic spirals become highly congested near the origin. As x → +∞, all spirals expand outward to infinity, where larger values of α produce flatter and more rapidly expanding trajec￾tories [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Monotonic behavior of the auxiliary functions ϕ1(α) and ϕ2(α). Also we have 1 2 < ϕ1(α) < 1, ϕ2(α) < ϕ1(α) and ϕ1(α)(2ϕ1(α) − 1) = − α 8 (2 − α) < ϕ2(α) for all α. Thus by Lemma 2.2 we obtain ∣ c3 − 2ϕ1(α)c1c2 + ϕ2(α)c 3 1 ∣≤ 2. Therefore, the required bound is ∣ γ3 ∣≤ α 6 . To see the inequality is sharp, we consider the function f3(z) defined by (3.1) with the choice p(z) = 1+z 3 1−z 3 . Then f3 ∈ S ∗ ex… view at source ↗
Figure 3
Figure 3. Figure 3: Surface plot of ψ1(τ1, α) for (τ1, α) ∈ (0, 1] 2 . The graph confirms the monotone decay in τ1 used in the proof. As τ1 ∈ (0, 1) and 0 < α ≤ 1, then we observed that ∂ψ1 ∂τ1 = −4(−α 2 + 12α + 12)τ 3 1 − 24(2 − α)τ1 ≤ 0. So, it is clear that ψ1(τ1, α) is a decreasing function with respect to τ1. Hence, we have ψ1(τ1, α) ≤ ψ1(0, α), for all 0 < α ≤ 1. Thus from (4.5) we get ∣ H2,1(Ff /2) ∣ ≤ α 2 576 ψ1(0, α)… view at source ↗
Figure 4
Figure 4. Figure 4: Mesh visualization of the auxiliary function ξ(τ1, α) appearing in Case–5. The figure illustrates the monotone decay behavior with respect to τ1 [PITH_FULL_IMAGE:figures/full_fig_p016_4.png] view at source ↗
read the original abstract

In this paper, we investigate two subclasses of analytic and univalent functions associated with the exponential mapping $\varphi(z)=e^{\alpha z},\qquad 0<\alpha\le1,$ defined via the subordination conditions $\frac{zf'(z)}{f(z)}\prec e^{\alpha z} \quad \text{and} \quad 1+\frac{zf''(z)}{f'(z)}\prec e^{\alpha z}$. These classes provide a natural exponential analogue of several classical subclasses arising in geometric function theory. We obtain sharp coefficient estimates, logarithmic coefficient inequalities and sharp bounds for the associated Hankel and upper bounds for Toeplitz determinants. In particular, explicit estimates are derived for $$ |H_{2,1}(F_f/2)|, \quad |T_{2,1}(F_f/2)|, $$ for functions belonging to the introduced exponential subclasses of starlike and convex functions. Our results extend and unify several earlier works on exponential subclasses and highlight connections with logarithmic coefficients and determinant functionals.

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 paper defines two subclasses of univalent functions via subordination: starlike-type functions satisfying zf'(z)/f(z) ≺ e^{αz} and convex-type functions satisfying 1 + zf''(z)/f'(z) ≺ e^{αz} for 0 < α ≤ 1. It derives sharp coefficient estimates, inequalities for logarithmic coefficients, sharp bounds on the Hankel determinant |H_{2,1}(F_f/2)|, and upper bounds on the Toeplitz determinant |T_{2,1}(F_f/2)|, extending prior results on exponential subclasses in geometric function theory.

Significance. If the sharpness claims hold with verified equality cases, the explicit determinant bounds would provide concrete extensions of coefficient majorization results to quadratic functionals on logarithmic coefficients, unifying several earlier works on exponential mappings and offering testable predictions for extremal problems in the classes.

major comments (2)
  1. [Main results on Hankel determinants] The claim of sharp bounds on |H_{2,1}(F_f/2)| (stated in the abstract and derived in the main results) relies on coefficient majorization |c_n| ≤ α^n/n! from the subordinant e^{αz}, but the Hankel determinant is a quadratic form; the manuscript does not explicitly evaluate the determinant at the extremal function satisfying zf'(z)/f(z) = e^{αz} (or a suitable rotation) to confirm attainment, as opposed to deriving an upper estimate that may not be sharp.
  2. [Introduction and class definitions] The definition of the classes via subordination to e^{αz} is standard, but the paper does not verify that the extremal function for the subordination lies in the class and realizes the stated maximum for the determinant expression (as opposed to individual coefficients), which is load-bearing for the sharpness assertion.
minor comments (2)
  1. Notation for F_f (the function whose coefficients enter the determinants) should be defined explicitly at first use rather than assumed from context.
  2. [Abstract] The abstract mentions 'explicit estimates' for both determinants; clarify whether the Toeplitz bound is claimed to be sharp or only an upper bound, as the wording is slightly ambiguous.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. The comments highlight important points regarding the verification of sharpness for the Hankel determinant bounds. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [Main results on Hankel determinants] The claim of sharp bounds on |H_{2,1}(F_f/2)| (stated in the abstract and derived in the main results) relies on coefficient majorization |c_n| ≤ α^n/n! from the subordinant e^{αz}, but the Hankel determinant is a quadratic form; the manuscript does not explicitly evaluate the determinant at the extremal function satisfying zf'(z)/f(z) = e^{αz} (or a suitable rotation) to confirm attainment, as opposed to deriving an upper estimate that may not be sharp.

    Authors: We agree that an explicit evaluation at the extremal function is required to rigorously confirm sharpness of the quadratic functional, as the majorization on individual coefficients does not automatically guarantee attainment for the determinant. In the revised version we will compute |H_{2,1}(F_f/2)| directly for the function defined by zf'(z)/f(z) = e^{αz} (and its rotations) and verify that the stated bound is attained, thereby strengthening the sharpness claim. revision: yes

  2. Referee: [Introduction and class definitions] The definition of the classes via subordination to e^{αz} is standard, but the paper does not verify that the extremal function for the subordination lies in the class and realizes the stated maximum for the determinant expression (as opposed to individual coefficients), which is load-bearing for the sharpness assertion.

    Authors: The extremal function is defined by equality in the subordination relation and therefore belongs to the class by construction. As noted in our response to the first comment, we will add the explicit determinant evaluation at this function in the revision to confirm it attains the maximum value of the expression. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation relies on standard subordination and coefficient majorization without self-referential reduction

full rationale

The abstract and provided excerpts frame the work as obtaining sharp estimates for logarithmic coefficients, Hankel determinants, and Toeplitz determinants via subordination to e^{αz} (0<α≤1). No quoted step equates a claimed prediction or bound to a fitted parameter or prior self-citation by construction; coefficient bounds follow from |c_n| ≤ α^n/n! with the classes defined directly by the subordination conditions. The central claims on |H_{2,1}(F_f/2)| remain independent of any self-citation chain or ansatz smuggling, consistent with extensions of prior literature without load-bearing reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, background axioms, or new entities; all such details reside in the unavailable full text.

pith-pipeline@v0.9.1-grok · 5712 in / 1255 out tokens · 36183 ms · 2026-06-29T08:53:01.340453+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. Sharp Coefficient Estimates for the Exponential Starlike class $\mathcal{S}_{ex}^{\ast}$

    math.CV 2026-06 unverdicted novelty 4.0

    Sharp estimates for inverse logarithmic coefficients Γ1–Γ3, |Γ2|−|Γ1|, the Hankel determinant H2,1, the Hermitian–Toeplitz determinant T3,1, and the generalized Fekete–Szegő functional are obtained for the exponential...

Reference graph

Works this paper leans on

33 extracted references · cited by 1 Pith paper

  1. [1]

    Ali, Coefficients of the inverse of strongly starlike functions,Bull

    R. Ali, Coefficients of the inverse of strongly starlike functions,Bull. Malays. Math. Sci. Soc.,26(2003), 63–71

  2. [2]

    M. F. Ali and V. Allu, On logarithmic coefficients of some close-to-convex functions,Proc. Amer. Math. Soc.,146(3)(2018), 1131–1142

  3. [3]

    M. F. Ali and V. Allu, Logarithmic coefficients of some close-to-convex functions,Bull. Aust. Math. Soc., 95(2017), 228-237

  4. [4]

    Alimohammadi, E

    D. Alimohammadi, E. A. Analouei, T. Bulboacˇa, and N. E. Cho, Logarithmic coefficient bounds and coefficient conjectures for classes associated with convex functions,J. Funct. Space., 2021(1)(2021), P. 6690027

  5. [5]

    Allu and A

    V. Allu and A. Shaji, Se cond Hankel determinant for logarithmic inverse coefficients of convex and starlike functions,Bull. Aust. Math. Soc.,111(1)(2025), 128–139

  6. [6]

    Arora and S

    K. Arora and S. S. Kumar, Starlike functions associated with a petal shaped domain,Bull. Korean Math. Soc.,59(4)(2022), 993–1010

  7. [7]

    N. E. Cho, B. Kowalczyk, O. S. Kwon, A. Lecko and Y. J. Sim, On the third logarithmic coefficient in some subclasses of close-to-convex functions,Rev. R. Acad. Cienc. Exactas F´ıs. Nat. Ser. A Mat. RACSAM,114(2)(2020), Paper No. 52, 14 pp

  8. [9]

    N. E. Cho, B. Kowalczyk and A. Lecko, Sharp bounds of some coefficient functionals over the class of functions convex in the direction of the imaginary axis,Bull. Aust. Math. Soc.,100(2019), 86–96

  9. [10]

    J. H. Choi, Y. C. Kim and T. Sugawa, A general approach to the Fekete-Szeg¨ o problem,J. Math. Soc. Japan,59(2007), 707–727

  10. [11]

    P. L. Duren, Univalent Functions, Springer-Verlag, New York, 1983

  11. [12]

    Janowski, Extremal problems for a family of functions with positive real part and for some related families,Ann

    W. Janowski, Extremal problems for a family of functions with positive real part and for some related families,Ann. Polon. Math.,23(1970/71), 159–177. Logarithmic coefficients for exponential classes...... 19

  12. [13]

    Kargar, On logarithmic coefficients of certain starlike functions related to the vertical strip,J

    R. Kargar, On logarithmic coefficients of certain starlike functions related to the vertical strip,J. Anal., 27(2019), 985–995

  13. [14]

    Kowalczyk and A

    B. Kowalczyk and A. Lecko, Second Hankel determinant of logarithmic coefficients of convex and starlike functions, Bull. Aus. Math. Soc.,105(3)(2022), 458–467

  14. [15]

    Kowalczyk and A

    B. Kowalczyk and A. Lecko, The second Hankel determinant of the logarithmic coefficients of strongly starlike and strongly convex functions,Rev. R. Acad. Cienc. Exactas F´ıs. Nat. Ser. A Mat. RACSAM ,117(2)(2023), Paper No. 91

  15. [16]

    S. S. Kumar and G. Kamaljeet, A cardioid domain and starlike functions,Anal. Math. Phys.,11(2)(2021), 34 pp

  16. [17]

    S. S. Kumar and P. Yadav, On a Class of Starlike Functions Associated with a Bean Shaped domain, Iran. J. Sci.,50(2026), 197–211

  17. [18]

    L¨ owner, Untersuchungen ¨ uber schlichte konforme Abbildungen des Einheitskreises

    K. L¨ owner, Untersuchungen ¨ uber schlichte konforme Abbildungen des Einheitskreises. I,Math. Annalen, 89(1)(1923), 103–121

  18. [19]

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

  19. [20]

    Mendiratta, S

    R. Mendiratta, S. Nagpal, and V. Ravichandran, On a subclass of strongly starlike functions associated with exponentia function,Bull. Malays. Math. Sci. Soc.,38(1)(2015), 365–386

  20. [21]

    I. M. Milin, Univalent Functions and Orthonormal Systems,Transl. Math. Monogr., Vol.49, AMS, 1977

  21. [22]

    Mundalia and S

    M. Mundalia and S. S. Kumar, Coefficient problems for certain close-to-convex functions,Bull. Iran. Math. Soc.49(1)(2023), Paper No. 5

  22. [23]

    Ponnusamy and T

    S. Ponnusamy and T. Sugawa, Sharp inequalities for logarithmic coefficients and their applications,Bull. Sci. Math.166(2021), 102931

  23. [24]

    Ponnusamy, N

    S. Ponnusamy, N. L. Sharma, and K. J. Wirths, Logarithmic Coefficients of the Inverse of Univalent Functions,Result. Math.73(160)(2018)

  24. [25]

    Ponnusamy, N

    S. Ponnusamy, N. L. Sharma, and K. J. Wirths, Logarithmic coefficients problems in families related to starlike and convex functions,J. Aust. Math. Soc.,109(2020), 230–249

  25. [26]

    R. k. Raina and J. Sok´ ol, On coefficient estimates for a certain class of starlike functions,Hacet. J. Math. Stat.,44(6)(2015), 1427–1433

  26. [27]

    Ravichandran and S

    V. Ravichandran and S. Verma, Bound for the fifth coefficient of certain starlike functions,C. R. Math. Acad. Sci. Paris,353(2015), 505–510

  27. [28]

    Rønning, On starlike functions associated with parabolic regions,Ann

    F. Rønning, On starlike functions associated with parabolic regions,Ann. Univ. Mariae Curie-Sk lodowska Sect.,45(1991), 117–122

  28. [29]

    P. O. Sabir, Sharp bounds on Toeplitz determinants for starlike and convex functions associated with bilinear transformations,Symmetry,16(5)(2024), 595

  29. [30]

    P. O. Sabir and A. A. Ali, Toeplitz and Hankel determinants of logarithmic coefficients forr-valent q-starlike andr-valentq-convex functions. MethodsX,15(2025), 103463

  30. [31]

    L. Shi, M. Arif, J. Iqbal, K. Ullah and S. M. Ghufran, Sharp bounds of Hankel determinant on logarithmic coefficients for functions starlike with exponential function,Fract. Fract.,6(11)(2022), p.645

  31. [32]

    Sok´ ol and J

    J. Sok´ ol and J. Stankiewicz, Radius of convexity of some subclasses of strongly starlike functions,Zesz. Nauk. Politech. Rzesz. Mat.,19(1996), 101–105

  32. [33]

    Thomas, On the logarithmic coefficients of close-to-convex functions,Proc

    D. Thomas, On the logarithmic coefficients of close-to-convex functions,Proc. Amer. Math. Soc., 144(4)(2016), 1681–1687

  33. [34]

    Zaprawa, Initial logarithmic coefficients for functions starlike with respect to symmetric points,Bol

    P. Zaprawa, Initial logarithmic coefficients for functions starlike with respect to symmetric points,Bol. Soc. Mat. Mex.,27(3)(2021), Paper No. 62, 13 pp. Department of Mathematics, University of Kalyani, West Bengal 741235, India. Email address:panjasantu07@gmail.com Department of Mathematics, Raiganj University, Raiganj, West Bengal-733134, India. Email...