Pith. sign in

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 →

arxiv 1908.07349 v6 pith:NF5OUR3O submitted 2019-08-08 math.CV

classification math.CV MSC 30C4530C5030C55
keywords bi-univalentfunctionsFaberpolynomialscoefficientestimatesFekete-SzegőinequalitysubordinationunivalentMaclaurincoefficientsbounded
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper studies bi-univalent functions, meaning $f$ and its inverse $f^{-1}$ are both univalent in the unit disk, and their coefficient sequences are hard to control because the inverse coefficients depend nonlinearly on the original ones. It defines a broad three-parameter class $H_\Sigma(\tau,\lambda,\delta;\phi)$ by requiring both $f$ and $f^{-1}$ to satisfy a subordination condition, meaning the relevant expressions stay inside the image region of an analytic function $\phi(z)=1+B_1z+B_2z^2+\cdots$ with $B_1>0$. Using Faber polynomial expansions, the paper derives bounds for $|a_2|$, $|a_3|$, and the Fekete–Szegő functional $|a_3-2a_2^2|$ when $B_1\ge|B_2|$, plus a bound for $|a_n|$ with $n\ge4$ when earlier coefficients vanish. If correct, these inequalities give unified control over a wide family and recover several known special cases.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

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)
  1. [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).
  2. [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.
  3. [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.
  4. [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)
  1. [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.
  2. [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.
  3. [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.
  4. [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

0 steps flagged · score 1.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

The work introduces no fitted constants or new physical entities. It relies on standard Faber polynomial machinery and two cited lemmas. The fragile external input is Lemma 2.3, which is unproved and misapplied in the proof.

assumptions (5)
  • standard math Faber polynomial expansion of the inverse function f^{-1} (equations (4)-(6))
    Standard expansion from Refs. [1,2]; the paper adopts it without proof.
  • standard math Schwarz coefficient bound |c_n| ≤ 1 from Lemma 2.2
    Classical result [18] invoked for Theorems 2.4 and 2.8.
  • domain assumption Carathéodory-type inequality (10) for Schwarz coefficients from Lemma 2.3
    Cited from [7] without proof; used centrally in Theorem 2.8 and applied with signs inconsistent with the lemma.
  • domain assumption Subordination representation via Schwarz functions (14)-(15)
    Defines the class HΣ; assumes existence of such functions u,v for each member.
  • domain assumption Parameter conditions λ ≥ 1, τ ∈ C*, 0 ≤ δ ≤ 1, B1 > 0
    Domain restrictions from Definition 2.1 and (2); they are assumptions, not derived.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Airault and A

    H. Airault and A. Bouali, Differential calculus on the Faber polynomials , Bull. Sci. Math., 130(3), 2006, 179-222

  2. [2]

    Airault, Remarks on Faber Polynomials , Int

    H. Airault, Remarks on Faber Polynomials , Int. Math. Forum, 3(9), 2008, 449-456. 10

  3. [3]

    Ali, S.K

    R.M. Ali, S.K. Lee, V . Ravichandran and S. Supramanian, Coefficient estimates for bi-univalent Ma- Minda starlike and convex functions , Appl.Math. Lett., 25, 2012, 344-351

  4. [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

  5. [5]

    Brannan and T.S

    D.A. Brannan and T.S. Taha, On some classes of bi-univalent functions , Studia Univ . Babes ¸-Bolyai Math., 31(2), 1986, 70-77

  6. [6]

    Bulut, Faber polynomial coe fficient estimates for a subclass of analytic bi-univalent functi ons, Filomat, 30(6), 2016, 1567-1575

    S. Bulut, Faber polynomial coe fficient estimates for a subclass of analytic bi-univalent functi ons, Filomat, 30(6), 2016, 1567-1575

  7. [7]

    Deniz, J.M

    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

  8. [8]

    Duren, Univalent Functions

    P .L. Duren, Univalent Functions. In: Grundlehren der Mathematischen Wis senschaften, New York, Berlin, Heidelberg and Tokyo, Springer-V erlag, 1983

Show all 23 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.