REVIEW 4 major objections 4 minor 23 references
Faber polynomial coefficient estimation of subclass of bi-subordinate univalent functions
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper derives explicit bounds on the second and third Maclaurin coefficients and the Fekete–Szegő functional for a generalized bi-univalent class via Faber polynomials.
desk verdict A legitimate new class and a correct Theorem 2.4, but the main Theorem 2.8 is broken by sign errors and impossible case conditions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is the Faber polynomial formula $A_n=\frac{1}{n}K_{n-1}^{-n}(a_2,\dots,a_n)$ for the coefficients of the inverse function; these polynomials express each inverse coefficient as a homogeneous polynomial in the forward coefficients, turning the subordination conditions into explicit identities. The second engine is the Schwarz-function coefficient inequality from Lemma 2.2 and Lemma 2.3, which bounds combinations like $c_2+(B_2/B_1)c_1^2$ by expressions of the form $1-((B_1\pm B_2)/B_1)|c_1|^2$. The equality $c_1=-d_1$ forced by the two subordinations is what lets the two equations combine into the final bounds.
What would settle it
Compare equations (45) and (48) with inequality (10). For $B_2<0$, Lemma 2.3 gives $\le 1-((B_1+B_2)/B_1)|c_1|^2$; for $B_2>0$ it gives $\le 1-((B_1-B_2)/B_1)|c_1|^2$. The paper's equations swap those signs. Checking which sign the lemma actually supplies settles whether the stated $|a_3|$ and $|a_3-2a_2^2|$ bounds are consequences of the cited lemma.
Extended reading notes
Core claim
On its own terms, the paper establishes that the Faber polynomial expansion of the inverse function $f^{-1}(w)=w+\sum_{n=2}^{\infty}A_nw^n$ converts the two subordination conditions defining $H_\Sigma(\tau,\lambda,\delta;\phi)$ into algebraic equations linking $a_2$ and $a_3$ with the first coefficients $c_1,c_2,d_1,d_2$ of the two bounded analytic comparison functions (Schwarz functions) $u$ and $v$. Adding and subtracting those equations yields $a_2^2=\frac{B_1\tau}{2(1+2\lambda+6\delta)}[(c_2+\frac{B_2}{B_1}c_1^2)+(d_2+\frac{B_2}{B_1}d_1^2)]$, $a_3=\frac{\tau(B_1c_2+B_2c_1^2)}{1+2\lambda+6\delta}$, and $a_3-2a_2^2=-\frac{\tau(B_1d_2+B_2d_1^2)}{1+2\lambda+6\delta}$. Applying a coefficient inequality for Schwarz functions, the paper claims that for $B_1\ge|B_2|$ the coefficient $|a_2|$ is bounded by $B_1\sqrt{B_1|\tau|}/\sqrt{B_1^2|\tau|(1+2\lambda+6\delta)+(B_1\pm B_2)(1+\lambda+2\delta)^2}$, with the sign of $B_2$ selecting the sign in the denominator, while $|a_3|$ and $|a_3-2a_2^2|$ are bounded by $B_1|\tau|/(1+2\lambda+6\delta)$ in one stated case and by $|B_2\tau|/(1+2\lambda+6\delta)$ in the other. It also proves $|a_n|\le B_1|\tau|/(1+(n-1)(\lambda+n\delta))$ for $n\ge4$ when $a_2=\cdots=a_{n-1}=0$.
Load-bearing premise
The central estimates depend on applying the bounding lemma with the correct sign for the second coefficient of $\phi$; if that sign is mismatched, the case splits and bounds do not follow.
Editorial extensions
If this is right
- Setting $\lambda=1$ in Theorem 2.8 yields bounds for the class $\Sigma(\tau,\delta,\phi)$ that the paper lists as Corollary 2.9.
- Choosing $\phi(z)=((1+z)/(1-z))^\alpha$ gives the bounds in Corollaries 2.10 and 2.12 for the classes $H_\Sigma(\alpha,\delta)$ and $B_\Sigma(\alpha,\lambda)$.
- Choosing $\phi(z)=(1+z)/(1-z)$ and $\tau=1-\gamma$ recovers the bounds in Corollaries 2.11, 2.13, and 2.14 for $H_\Sigma(\gamma,\delta)$, $N_\Sigma(\gamma,\lambda,\delta)$, and $B_\Sigma(\gamma,\lambda)$.
- The paper states that these specializations improve the earlier estimates of $|a_3|$ for the corresponding classes.
Reading between the lines
- The same coefficient-comparison setup could in principle be pushed to $n\ge4$ without the vanishing-coefficient assumption, but the Faber expressions grow quickly and the paper does not do that.
- A corrected sign handling would likely reduce the two $B_2$ cases to one unified expression involving $B_1\pm B_2$, which would also clarify where equality might be attained.
- The paper supplies no extremal examples, so a natural test is to construct functions in $H_\Sigma(\tau,\lambda,\delta;\phi)$ that attain the claimed bounds.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a subclass HΣ(τ,λ,δ;φ) of bi-univalent functions through subordination conditions on a weighted expression in f and its inverse, and uses Faber polynomial expansions to derive coefficient estimates. Theorem 2.4 gives a general bound for |a_n| under the vanishing-coefficient hypothesis, and Theorem 2.8 claims bounds for |a2|, |a3|, and the Fekete-Szegö functional |a3−2a2^2|. Corollaries 2.9–2.14 specialize Theorem 2.8 to previously studied classes. The central claim of the paper is Theorem 2.8, and the corollaries all depend on it.
Significance. If Theorem 2.8 were correct, the paper would unify and improve several earlier coefficient estimates for bi-univalent function classes, and the Faber polynomial framework for the general coefficient bound would be a useful contribution. Theorem 2.4 is straightforward and appears sound. However, the proof of Theorem 2.8 contains algebraic and logical errors that affect exactly the quantities the theorem is meant to bound: the |a2| bound in (25) does not match the proof's algebra, the case conditions are incompatible with the stated hypothesis, and the application of Lemma 2.3 reverses the signs in the |a3| estimates. Since the advertised improvements are corollaries of this theorem, the central contribution is not established as printed.
major comments (4)
- [Theorem 2.8, Eq. (25) and proof Eqs. (37)–(38)] The |a2| estimate stated in (25) does not follow from the proof. From (37) the proof obtains |a2|^2 ≤ |τ|^2 B1^3 / [B1^2|τ|(1+2λ+6δ)+(B1+B2)(1+λ+2δ)^2], whose square root is |a2| ≤ |τ| B1^{3/2} / sqrt(D). The numerator printed in (25) is B1 sqrt(B1|τ|), a factor sqrt(|τ|) smaller. Thus the displayed inequality (25) is not the conclusion of the derivation given in (36)–(38).
- [Theorem 2.8, hypothesis and case conditions in (25)] The case split in (25) is incompatible with the standing hypothesis B1 ≥ |B2|. Since B1 > 0, the condition B2 < 0 and B1+B2 ≤ 0 can hold only when B1+B2 = 0, and the condition B2 > 0 and B1−B2 ≤ 0 can hold only when B1−B2 = 0. Hence the two branches give no |a2| bound for generic parameter values. Moreover, the proof itself uses the opposite inequalities: (36) says 'B2 < 0 (η = B2/B1 < 0, B1 + B2 ≥ 0)' and (39) says 'B2 > 0 (η = B2/B1 > 0, B1 − B2 ≥ 0)', so the proof does not even address the cases stated in the theorem.
- [Theorem 2.8, proof of (26) using Lemma 2.3, Eqs. (45) and (48)] Lemma 2.3 as stated in (10) is applied with reversed signs. For B2 < 0, η = B2/B1 < 0, and inequality (10) gives 1 − (1+η)|c1|^2 = 1 − ((B1+B2)/B1)|c1|^2, but equation (45) uses 1 − ((B1−B2)/B1)|c1|^2. For B2 > 0, inequality (10) gives 1 − ((B1−B2)/B1)|c1|^2, but equation (48) uses 1 − ((B1+B2)/B1)|c1|^2. These sign errors control the choice |c1| = 0 versus |c1| = 1 in (46)–(50), so the |a3| bound and its case split (26) are not derived.
- [Theorem 2.8, Eqs. (26)–(27) and Eq. (47)] The case structure collapses under the theorem's own hypotheses. The branch B1 < |B2| in (26) and (27) contradicts the standing assumption B1 ≥ |B2| and is therefore vacuous. In addition, equation (47) claims |a3| ≤ B2|τ|/(1+2λ+6δ) when B2 < 0, which cannot be true because the right-hand side is negative; this is a direct symptom of the sign error in (45). A corrected application of Lemma 2.3 would remove the B2-dependent branches rather than merely change their bounds.
minor comments (4)
- [Definition 2.1, Eq. (8)] In the subordination condition for the inverse function, the term δz g1''(w) should be δw g1''(w); as written, the variable z is used in an expression in w.
- [Section 2.1, before Corollary 2.6] The sentence 'Let us put λ=1 in Corollary 2.6' appears to refer to Corollary 2.5, since Corollary 2.6 is stated afterward.
- [Lemma 2.3 and Section 2.1] The symbol φ is used both for the superordinating function in (2) and for the Schwarz function in the derivation of inequality (10), which is confusing; a different letter for the Schwarz function would improve readability.
- [Throughout] The manuscript contains many typographical and notational glitches in displayed formulas, for example the reference to 'inequality (41)' in the sentence after (40), and the denominator notation in (25) that should read B1^2. A careful proofread is needed.
Circularity Check
No significant circularity: the coefficient estimates are derived from externally cited lemmas and the new class is a generalization whose corollaries recover earlier results.
full rationale
The derivation chain in Theorems 2.4 and 2.8 is self-contained: the class HΣ(τ,λ,δ;ϕ) is defined by subordination, the Faber-polynomial coefficient identities (19)-(20) are derived in the paper from that definition, and the estimates then follow by applying the externally cited Schwarz lemma (Lemma 2.2, [18]) and a Fekete-Szegő-type inequality (Lemma 2.3, [7]). Nothing is fitted to data, and no target coefficient bound is assumed as an input. The only self-citation is reference [9] in the introductory list of recent papers on bi-univalent functions; it is not used to justify any result and is therefore not load-bearing. The corollaries reproduce earlier results by other authors (e.g., [22], [11], [10], [6], [21]) as special cases, which is a consistency check rather than a circular derivation. Possible mathematical errors in the application of Lemma 2.3, as flagged by skeptical review, are correctness concerns, not circularity, and they do not raise the circularity score.
Assumptions & free parameters
assumptions (5)
- standard math Faber polynomial expansion of the inverse function f^{-1} (equations (4)-(6))
- standard math Schwarz coefficient bound |c_n| ≤ 1 from Lemma 2.2
- domain assumption Carathéodory-type inequality (10) for Schwarz coefficients from Lemma 2.3
- domain assumption Subordination representation via Schwarz functions (14)-(15)
- domain assumption Parameter conditions λ ≥ 1, τ ∈ C*, 0 ≤ δ ≤ 1, B1 > 0
Cite this review
Pith. "Pith review of Faber polynomial coefficient estimation of subclass of bi-subordinate univalent functions." pith.science (2026). https://pith.science/paper/NF5OUR3O
@misc{pith2026190807349,
author = {Pith},
title = {Pith review of: Faber polynomial coefficient estimation of subclass of bi-subordinate univalent functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/NF5OUR3O}},
note = {Machine review of arXiv:1908.07349}
}
abstract
In this paper, a comprehensive subclass of bi-univalent functions class are introduced and investigated. Using the Faber polynomials, estimation of the coefficients $|a_n|$ and certain Fekete-Szeg\"{o} inequality of Maclaurin expansion of functions in this subclass are concluded. Finally, some earlier results are pointed out and improved.
Reference graph
Works this paper leans on
-
[1]
H. Airault and A. Bouali, Differential calculus on the Faber polynomials , Bull. Sci. Math., 130(3), 2006, 179-222
work page 2006
-
[2]
Airault, Remarks on Faber Polynomials , Int
H. Airault, Remarks on Faber Polynomials , Int. Math. Forum, 3(9), 2008, 449-456. 10
work page 2008
- [3]
-
[4]
D. A. Brannan and J. G. Clunie, Aspects of Contemporary Complex Analysis , (Proceedings of the NATO Advanced Study Institute held at the University of Durh am, Durham; July 1 20, 1979), Academic Press, New York and London, 1980
work page 1979
-
[5]
D.A. Brannan and T.S. Taha, On some classes of bi-univalent functions , Studia Univ . Babes ¸-Bolyai Math., 31(2), 1986, 70-77
work page 1986
-
[6]
S. Bulut, Faber polynomial coe fficient estimates for a subclass of analytic bi-univalent functi ons, Filomat, 30(6), 2016, 1567-1575
work page 2016
-
[7]
E. Deniz, J.M. Jahangiri, S.G. Hamidi and S.K. Kina, Faber polynomial coe fficients for generalized bi-subordinate functions of complex order , J. Math. Inequal., 12(3), 2018, 645-653
work page 2018
-
[8]
P .L. Duren, Univalent Functions. In: Grundlehren der Mathematischen Wis senschaften, New York, Berlin, Heidelberg and Tokyo, Springer-V erlag, 1983
work page 1983
Show all 23 references
-
[9]
El-Qadeem and Mohamed A
Alaa H. El-Qadeem and Mohamed A. Mamon, Estimation of initial Maclaurin coe fficients of certain subclasses of bounded bi-univalent functions , J. Egyptian Math. Soc., 27(16), 2019, 11 pages
2019
-
[10]
Frasin and M.K
B.A. Frasin and M.K. Aouf, New subclasses of bi-univalent functions , Appl. Math. Lett., 24(9), 2011, 1569-1573
2011
-
[11]
Frasin, Coefficient bounds for certain classes of bi-univalent functions , Hact
B.A. Frasin, Coefficient bounds for certain classes of bi-univalent functions , Hact. J. Math. Stat., 43(3), 2014, 383-389
2014
-
[12]
Hamidi, S.A
S.G. Hamidi, S.A. Halim and J.M. Jahangiri, Coefficient estimates for a class of meromorphic bi- univalent functions, C. R. Math., 351(9-10), 2013, 349-352
2013
-
[13]
Hamidi, J.M
S.G. Hamidi, J.M. Jahangiri and G. Murugusundaramoorthy , Coefficient estimates for certain classes of meromorphic bi-univalent functions , C. R. Math., 352(4), 2014, 277-282
2014
-
[14]
Jahangiri and S.G
J.M. Jahangiri and S.G. Hamidi, Coefficient estimates for certain classes of bi-univalent functions , Int. J. Math. Math. Sci., 2013, Article ID 190560, 4 pages
2013
-
[15]
Janowski, Extremal problems for a family of functions with positive rea l part and for some related families, Ann
W. Janowski, Extremal problems for a family of functions with positive rea l part and for some related families, Ann. Pol. Math., 23, 1970, 159-177
1970
-
[16]
Lewin, On a coefficient problem for bi-univalent functions, Proc
M. Lewin, On a coefficient problem for bi-univalent functions, Proc. Amer. Math. Soc., 18, 1967, 63-68
1967
-
[17]
Ma and D
W.C. Ma and D. Minda, A unified treatment of some special classes of univalent function s, Proceedings of the Conference on Complex Analysis(Tianjin), 1992, 157- 169
1992
-
[18]
Motamednezhad, T
A. Motamednezhad, T. Bulboaca, E.A. Adegani and N. Dibag ars, Second Hankel determinant for a subclass of analytic bi-univalent functions defined by subordi nation, Turk. J. Math., 42, 2018, 2798-2808
2018
-
[19]
Netanyahu, The minimal distance of the image boundary from the origin and the second coe fficient of a univalent function in |z| < 1, Arch
E. Netanyahu, The minimal distance of the image boundary from the origin and the second coe fficient of a univalent function in |z| < 1, Arch. Rational Mech. Anal., 32, 1969, 100-112
1969
-
[20]
Srivastava, A.K
H.M. Srivastava, A.K. Mishra and P . Gochhayat, Certain subclasses of analytic and bi-univalent functions, Appl. Math. Lett., 23(10), 2010, 1188-1192
2010
-
[21]
Srivastava, S.S
H.M. Srivastava, S.S. Eker and R.M. Ali, Coefficient bounds for a certain class of analytic and bi- univalent functions, Filomat, 29(8), 2015, 1839-1845. 11
2015
-
[22]
Srivastava and D
H.M. Srivastava and D. Bansal, Coefficient estimates for a subclass of analytic and bi-univalent functions, J. Egyptian Math. Soc., 23(2), 2015, 242-246
2015
-
[23]
Tudor, Bi-univalent functions connected with arithmetic and geometr ic means , Journal of Global Research in Mathematical Archives, 1(3), 2013, 78-83
A.E. Tudor, Bi-univalent functions connected with arithmetic and geometr ic means , Journal of Global Research in Mathematical Archives, 1(3), 2013, 78-83. 12
2013
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.