Logarithmic Coefficients Problems of Geometric Subclass of Closed-to-convex Functions
Pith reviewed 2026-05-20 03:08 UTC · model grok-4.3
The pith
Sharp upper and lower bounds are derived for |γ₂| − |γ₁| and |Γ₂| − |Γ₁| in the class W(α) of analytic functions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For f in W(α), the logarithmic coefficients satisfy sharp inequalities on |γ₂| − |γ₁| and |Γ₂| − |Γ₁|, with the bounds attained by explicitly identified extremal functions; when α = 1 the second Hankel determinant of the logarithmic coefficients also obeys a sharp inequality.
What carries the argument
The class W(α) defined by the condition Re{f'(z) + α z f''(z)} > 0, together with the logarithmic coefficients extracted from log(f(z)/z) = 2 ∑ γ_k z^k.
If this is right
- The bounds hold with equality for specific functions that map the unit disk onto a slit plane or convex domain.
- When α = 1 the second Hankel determinant |γ₁ γ₂; γ₂ γ₃| − |γ₂|² is bounded by a concrete constant.
- The same technique yields corresponding estimates for the inverse logarithmic coefficients Γ_k.
- The results extend the classical coefficient estimates for starlike and convex functions to this larger geometric subclass.
Where Pith is reading between the lines
- These difference bounds may simplify estimates for the growth of partial sums of the logarithmic series.
- The method could be adapted to obtain similar sharp differences for higher-order Hankel determinants in related classes.
- Numerical verification for random points in the unit disk could confirm the sharpness for non-extremal functions.
Load-bearing premise
The extremal functions that attain the claimed sharp bounds belong to the class W(α) and can be identified explicitly.
What would settle it
Construct the candidate extremal function for a fixed α, compute its |γ₂| − |γ₁| explicitly, and check whether the value equals the stated bound.
read the original abstract
For $\alpha\ge 0$, let $\mathcal{W}(\alpha)$ be the class of all analytic functions in the unit disk $\mathbb{D}$ with normalization $f(0) = 0 $ and $ f'(0) = 1 $ that satisfy the relation $Re\,\{f'(z) + \alpha z f''(z)\} > 0$. This article aims to establish sharp bounds for logarithmic coefficients $\gamma_1$, $\gamma_2$ and $\gamma_3$ and logarithmic inverse coefficients $\Gamma_1$, $\Gamma_2$ and $\Gamma_3$ of functions in $\mathcal{W}(\alpha)$. The sharp upper and lower bounds for $\bigl|\,\gamma_2 \,\bigr|-\bigl|\,\gamma_1\,\bigr|$ and $\bigl|\,\Gamma_2 \,\bigr|-\bigl|\,\Gamma_1\,\bigr|$ have been obtained for the class $\mathcal{W}{(\alpha)}$. In addition, we establish sharp inequality for the second Hankel determinant of the logarithmic and inverse logarithmic coefficients for the class $\mathcal{W}{(1)}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript defines the class W(α) for α ≥ 0 consisting of normalized analytic functions f in the unit disk satisfying Re{f'(z) + α z f''(z)} > 0. It derives sharp upper and lower bounds on |γ₂| − |γ₁| and |Γ₂| − |Γ₁| for the logarithmic coefficients γ_k and inverse logarithmic coefficients Γ_k of functions in W(α), together with a sharp bound on the second Hankel determinant of these coefficients when α = 1.
Significance. If the sharpness assertions are verified, the results extend classical coefficient estimates to a geometrically defined subclass related to closed-to-convex functions, supplying explicit bounds that may serve as benchmarks for further work on logarithmic coefficients in geometric function theory. The reliance on standard relations among coefficients rather than ad-hoc fitting is a methodological strength.
major comments (2)
- [Sharpness statements for |γ₂|−|γ₁| and |Γ₂|−|Γ₁|] The sharpness claims for |γ₂| − |γ₁| and |Γ₂| − |Γ₁| (stated after the main coefficient theorems) rest on the existence of an extremal function f_α ∈ W(α) for every α ≥ 0. The candidate obtained by solving f' + α z f'' = (1 + z)/(1 − z) must be shown to satisfy the defining real-part inequality on a set of positive measure; if it fails for some α > 0, the stated bounds reduce to non-sharp estimates.
- [Hankel-determinant result for α = 1] For the sharp Hankel-determinant inequality when α = 1, the extremal function must be exhibited explicitly and verified to lie in W(1); the current argument appears to invoke subordination or variational methods without confirming membership for the full range of parameters.
minor comments (2)
- [Throughout] Notation for the class should be uniformly rendered as script W(α) in all statements and proofs.
- [Preliminaries] A brief remark on how the logarithmic coefficients are extracted from the series expansion of log(f(z)/z) would improve readability for readers outside the immediate subfield.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments. We address each major comment below and indicate the revisions we plan to make.
read point-by-point responses
-
Referee: The sharpness claims for |γ₂| − |γ₁| and |Γ₂| − |Γ₁| (stated after the main coefficient theorems) rest on the existence of an extremal function f_α ∈ W(α) for every α ≥ 0. The candidate obtained by solving f' + α z f'' = (1 + z)/(1 − z) must be shown to satisfy the defining real-part inequality on a set of positive measure; if it fails for some α > 0, the stated bounds reduce to non-sharp estimates.
Authors: We appreciate the referee pointing this out. By the very definition of the extremal function, it satisfies the differential equation f'(z) + α z f''(z) = (1 + z)/(1 - z) for |z| < 1. The function (1 + z)/(1 - z) has positive real part in the unit disk, specifically Re{(1 + z)/(1 - z)} = (1 - |z|^2)/|1 - z|^2 > 0. Therefore, Re{f'(z) + α z f''(z)} > 0 holds for all z in D, which means f_α belongs to W(α) for every α ≥ 0. This establishes the sharpness. We will include a short explanatory sentence in the revised version to make this explicit. revision: yes
-
Referee: For the sharp Hankel-determinant inequality when α = 1, the extremal function must be exhibited explicitly and verified to lie in W(1); the current argument appears to invoke subordination or variational methods without confirming membership for the full range of parameters.
Authors: Thank you for this suggestion. For α = 1, the extremal function is the unique solution to f' + z f'' = (1 + z)/(1 - z), which, as noted above, satisfies the membership condition Re{f' + z f''} > 0 by construction. We will revise the relevant section to explicitly identify this function and confirm its inclusion in W(1), thereby clarifying the sharpness of the Hankel determinant bound. revision: yes
Circularity Check
No significant circularity in coefficient bound derivations for class W(α)
full rationale
The paper defines the class W(α) directly via the real-part condition Re{f'(z) + α z f''(z)} > 0 with standard normalization, then derives bounds on logarithmic coefficients γ_k and inverse coefficients Γ_k using classical coefficient relations, subordination principles, and extremal function identification within the class. No steps reduce by construction to fitted parameters renamed as predictions, self-definitional loops, or load-bearing self-citations whose validity depends on the present results. Sharpness assertions rest on verifying that candidate functions satisfy the defining inequality of W(α), which is an independent check rather than a tautology. The derivation chain is self-contained against external benchmarks in univalent function theory.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The functions are analytic and normalized by f(0)=0, f'(0)=1 inside the unit disk.
- domain assumption The real-part inequality Re{f'(z) + α z f''(z)} > 0 holds for all z in the unit disk.
Reference graph
Works this paper leans on
- [1]
-
[2]
V. Allu and V. Arora,Second hankel determinant of logarithmic coefficients of certain analytic functions, Rocky Mountain J. Math.54(2024), no. 2, 343–359
work page 2024
-
[3]
V. Allu, V. Arora, and A. Shaji,On the second hankel determinant of logarithmic coefficients for certain univalent functions, Mediterr. J. Math.20(2023), no. 81, 1–10
work page 2023
-
[4]
V. Allu, A. Lecko, and D. K. Thomas,Hankel, toeplitz and hermitian–toeplitz determinants for ozaki close-to-convex functions, Mediterr. J. Math.19(2022), no. 22, 1–17
work page 2022
-
[5]
V. Allu and A. Shaji,Moduli difference of inverse logarithmic coefficients of univalent functions, Journal of Mathematical Analysis and Applications546(2025), no. 2, 129–217
work page 2025
- [6]
-
[7]
L. Bieberbach,Uber die koeffizienten derjenigen potenzreihen, welche eine schlichte ab- bildung des einheitskreises vermitteln, Sitzungsberichte Preussische Akademie der Wis- senschaften138(1916), 940–955
work page 1916
-
[8]
de Branges,A proof of the bieberbach conjecture, Acta Mathematica154(1985), 137–152
L. de Branges,A proof of the bieberbach conjecture, Acta Mathematica154(1985), 137–152
work page 1985
-
[9]
F. Carlson,Sur les coefficients d’une fonction born´ ee dans le cercle unit´ e, Arkiv f¨ or Matem- atik, Astronomi och Fysik27A(1940), 1–8
work page 1940
-
[10]
P. N. Chichra,New subclasses of the class of close-to-convex functions, Proceedings of the American Mathematical Society62(1977), no. 1, 37–43
work page 1977
-
[11]
V. Prokhorov D. and J. Szynal,Inverse coefficients for(α, β)-convex functions, Ann. Univ. Mariae Curie-Sk lodowska, Sect. A35(1981), 125–143
work page 1981
-
[12]
P. L. Duren,Univalent functions, Grundlehren der mathematischen wissenschaften,259, Springer, 1983
work page 1983
-
[13]
P. L. Duren and Y. J. Leung,Logarithmic coefficients of univalent functions, J. Analyse Math.36(1979), 36–43
work page 1979
-
[14]
M. M. Elhosh,On the logarithmic coefficients of close-to-convex functions, Journal of the Australian Mathematical Society. Series A60(1996), no. 1, 1–6
work page 1996
-
[15]
Girela,Logarithmic coefficients of univalent functions, Annales Academiae Scientiarum Fennicae
D. Girela,Logarithmic coefficients of univalent functions, Annales Academiae Scientiarum Fennicae. Mathematica25(2000), no. 2, 337–350
work page 2000
-
[16]
B. Kowalczyk and A. Lecko,Second hankel determinant of logarithmic coefficients of convex and starlike functions, Bulletin of the Australian Mathematical Society105(2022), no. 3, 458–467. 19
work page 2022
-
[17]
B. Kowalczyk and A. Lecko,Second hankel determinant of logarithmic coefficients of convex and starlike functions of orderα, Bulletin of the Malaysian Mathematical Sciences Society 45(2022), no. 2, 727–740
work page 2022
-
[18]
D. V. Krishna, B. Venkateswarlu, and T. RamReddy,Third hankel determinant for certain subclass ofp-valent functions, Complex Variables and Elliptic Equations60(2015), no. 9, 1301–1307
work page 2015
-
[19]
V. Kumar and N. E. Cho,Moduli difference of successive inverse and logarithmic coefficients for a class of close-to-convex functions, Asian-European Journal of Mathematics16(2023)
work page 2023
-
[20]
A. Lecko and D. Partyka,Successive logarithmic coefficients of univalent functions, Com- putational Methods and Function Theory24(2024), no. 4, 693–705
work page 2024
-
[21]
A. Lecko and Y. J. Sim,The third logarithmic coefficient in certain subclasses of close-to- convex functions, Monatshefte f¨ ur Mathematik206(2025), no. 2, 361–377
work page 2025
-
[22]
L¨ owner,Untersuchungen ¨ uber schlichte konforme abbildungen des einheitskreises
K. L¨ owner,Untersuchungen ¨ uber schlichte konforme abbildungen des einheitskreises. i, Mathematische Annalen89(1923), no. 1–2, 103–121
work page 1923
- [23]
-
[24]
I. M. Milin,Univalent functions and orthonormal systems, American Mathematical Society, Providence, RI, 1977
work page 1977
-
[25]
Pommerenke,On the coefficients and hankel determinants of univalent functions, J
C. Pommerenke,On the coefficients and hankel determinants of univalent functions, J. Lond. Math. Soc. (2)41(1966), 111–122
work page 1966
-
[26]
Pommerenke,On the hankel determinants of univalent functions, Mathematika14 (1967), no
C. Pommerenke,On the hankel determinants of univalent functions, Mathematika14 (1967), no. 1, 108–112
work page 1967
-
[27]
S. Ponnusamy, N. L. Sharma, and K.-J. Wirths,Logarithmic coefficients of the inverse of univalent functions, Results in Mathematics73(2018), no. 4, 1–20
work page 2018
-
[28]
S. Ponnusamy and A. Vasudevarao,Region of variability for functions with positive real part, Annales Polonici Mathematici99(2010), no. 3, 225–245
work page 2010
-
[29]
Y. J. Sim and D. K. Thomas,On the difference of inverse coefficients of univalent functions, Symmetry12(2020), no. 12, 2037
work page 2020
-
[30]
Y. J. Sim, D. K. Thomas, and P. Zaprawa,The second hankel determinant for starlike and convex functions of orderα, Complex Variables and Elliptic Equations67(2022), no. 10, 2423–2443
work page 2022
-
[31]
S. Singh and R. Singh,Starlikeness of close-to-convex functions, Indian Journal of Pure and Applied Mathematics13(1982), no. 2, 190–194. (Dhara)Department of Mathematics, Indian Institute of Engineering Science and Technology, Shibpur, Howrah 711103, West Bengal, India Email address:chayanidhara1999@gmail.com (Ghosh)Department of Mathematics, Indian Insti...
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.