Pith. sign in

REVIEW 3 major objections 3 minor 33 references

On the Fermat-type partial differential-difference equations on $\mathbb{C}^n$

T0 review · 3 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A two-by-two matrix identity converts a non-linear Fermat-type partial differential-difference equation into a linear exponential system, and the phase g is classified by four vanishing conditions on the coefficient polynomials.

desk verdict The paper's matrix method is promising, but the proof of Theorem 3.1 conflates f(z+c) with f(z), so the main classification does not hold as stated. read the letter →

arxiv 2509.01862 v1 pith:IVHY63R4 submitted 2025-09-02 math.CV

Tingbin Cao , Jun Wang , Zhuan Ye This is my paper · ORCID
classification math.CV MSC 35B0832W5039A4532H3035A09
keywords EntirefunctionsFermat-typeequationpartialdifferential-differencematrixmethodseveralcomplexvariablesvalue-distributiontheoryeikonalexponentialrepresentation
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

The paper aims to describe every entire solution $f$ on $\mathbb{C}^n$ of a non-linear partial differential-difference equation built from a square sum: $(p_1 L(f)+p_2 \bar{f}+p_5 f)^2 + (p_3 L(f)+p_4 \bar{f}+p_6 f)^2 = p$, where $L$ is a first-order differential operator, $\bar{f}$ is $f$ shifted by a fixed vector $c$, the $p_j$ are polynomials, and $p$ is an irreducible polynomial. It claims that a two-by-two matrix identity converts this non-linear equation into a linear system for $L(f)$ and $\bar{f}$ in terms of exponentials $e^{ig}$ and $e^{-ig}$, so every solution has an explicit trigonometric/exponential form. Depending on whether two auxiliary polynomials $D=p_1p_4-p_2p_3$ and $d_2=p_3p_5-p_1p_6$ vanish, the phase $g$ is forced to be constant, to have $L(g)$ polynomial with $g\pm\bar{g}$ constant, or to be transcendental in degenerate cases. If correct, the result unifies earlier eikonal and Fermat-type theorems and gives necessary-and-sufficient conditions that correct two previous results. The authors also supply examples on $\mathbb{C}^2$ showing that both finite- and infinite-order entire solutions occur.

What carries the argument

The load-bearing device is Lemma 2.1, an equivalence lemma. It uses irreducibility of $p$ to factor the left side as $(X+iY)(X-iY)=p$, so one factor is $e^{ig}$ and the other is $p e^{-ig}$; the sign $k=\pm 1$ absorbs the swap. Writing $X,Y$ in terms of $L(f)$, $\bar{f}$, $f$ and inverting the coefficient matrix (with determinant $D$ or $d_2$ in the various cases) yields a linear identity whose second row is exactly the claimed representation for $f$. Two growth lemmas, Lemma 2.10 and Lemma 2.11, then classify the entire function $g$ by balancing exponential terms: if certain polynomial combinations of exponentials vanish, the second main theorem of value-distribution theory forces $g$ constant or forces $L(g)$ polynomial, an

What would settle it

In the setting of the paper's Example 3.8, evaluate the matrix equation (9) at $z-c$ and compare it with (9) at $z$; if the coefficient rows differ by more than a common scalar, the unshifted representation (8) is not a consequence of (9). More generally, substitute a candidate $f=(a_1 e^{ig}-p a_2 e^{-ig})/(2iD)$ with nonconstant polynomial $L(g)$ and nonconstant $g+\bar{g}$ directly into equation (1); failure for all such $g$ would empty property (ii).

Watch

Extended reading notes

Core claim

The central claim is that every entire solution of the Fermat-type PDDE has an explicit exponential representation obtained from the factorization $X^2+Y^2=(X+iY)(X-iY)$. Because $p$ is irreducible, one factor must be $e^{ig}$ and the other $p e^{-ig}$ up to a sign, and inverting the resulting $2\times 2$ system gives formulas such as $f=(a_1 e^{ig}-p a_2 e^{-ig})/(2iD)$ in Case I, $f=(p a_2 e^{-ig}-a_1 e^{ig})/(2i d_2)$ in Case II, and $f=(b_1 e^{ig}-p b_2 e^{-ig})/(2i d_1)$ in Case III, with $a_1=k p_1-i p_3$, $a_2=k p_1+i p_3$, $b_1=k p_2-i p_4$, $b_2=k p_2+i p_4$, $D=p_1p_4-p_2p_3$, $d_1=p_2p_6-p_4p_5$, $d_2=p_3p_5-p_1p_6$, and $k=\pm 1$. The phase $g$ is then classified: it can be constant; $L(g)$ can be a polynomial with $g+\bar{g}$ or $g-\bar{g}$ constant; or $L(g)$ can be tran

Load-bearing premise

The proof reads the shifted equation $f(z+c)=...$ as an equation for $f(z)$ and never propagates the shift $z\to z-c$ through the polynomial coefficients $a_1$, $a_2$, $p$, $D$, so the claimed representation with unshifted coefficients rests on that identification.

Editorial extensions

If this is right

  • For the classical eikonal equation u_{z1}^2+u_{z2}^2=1, the theorem recovers the known linearity of entire solutions as a corollary and extends the result to polynomial coefficients.
  • The paper gives necessary-and-sufficient conditions for several special equations, including (L(f)+p5 f)^2+\bar f^2=1 and (p1 f_{zj})^2+(p6 f)^2=1, so existence can be decided directly from coefficient identities.
  • Corollary 3.7 corrects two earlier published characterizations: the constant B in one earlier theorem cannot be defined when c2=0, and another earlier theorem is contradicted by Example 3.10.
  • Entire solutions of these Fermat-type PDDEs can have both finite and infinite growth order, and the main theorems are stated without an a priori finite-order assumption.
  • The four-case split by D and d2 is meant to be exhaustive: when D≡d1≡d2≡0 the equation reduces to a non-Fermat linear PDDE and is set aside.

Reading between the lines

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

  • If the matrix reduction is as general as it appears, the same equivalence lemma should produce explicit solution formulas for systems of two coupled Fermat-type equations, where two unknown functions are resolved from a single exponential ansatz.
  • The paper removes the finite-order assumption that earlier difference-equation arguments needed; a natural extension would be to replace L by any translation-invariant linear operator, since only the commutation relation L(e^{ig})=iL(g)e^{ig} is used.
  • The examples with transcendental g indicate that infinite-order entire solutions are part of the solution set, not exceptional; this suggests finite-order restrictions in earlier literature were artifacts of technique rather than of the equation itself.
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

3 major / 3 minor

Summary. The paper studies entire solutions on C^n of the Fermat-type partial differential-difference equation (p1 L(f)+p2 \bar f+p5 f)^2+(p3 L(f)+p4 \bar f+p6 f)^2=p, where \bar f(z)=f(z+c). The method introduces a matrix formulation based on factorizing X^2+Y^2=(X+iY)(X-iY) and using an irreducibility assumption to write the factors as exponentials. The paper then claims, in four cases, explicit representations of every entire solution in terms of e^{ig} and e^{-ig}, with restrictions on g such as constancy, polynomiality of L(g), or transcendence. Several corollaries and examples are given, including claims that the results unify and correct earlier theorems.

Significance. If correct, the proposed matrix method would be a valuable unifying tool for Fermat-type PDDEs and would improve on earlier classifications that impose finite-order assumptions. The breadth of examples and the ambition of covering four coefficient regimes are strengths. However, the central derivation conflates f(z+c) with f(z), the flagship examples fail direct substitution, and a corrected substitution in Example 3.8 actually contradicts the unshifted form asserted in Theorem 3.1. The claimed classification is therefore not established, and the contribution is not usable in its present form.

major comments (3)
  1. [§3, proof of Theorem 3.1, Eq. (9)] In Eq. (9), the second row of the matrix equation is an equation for \bar f(z)=f(z+c), namely \bar f = (2iD)^{-1}(a1,-p a2)(e^{ig},e^{-ig})^T. The proof immediately reads this as "f = ..." and substitutes the unshifted expression into Eqs. (10)-(13). To obtain an equation for f(z) one must replace z by z-c, which changes a1,a2,p,D,g into their shifted versions. No such shift is performed. Hence representation (8) is not derived, and the case analysis based on Eq. (13) does not apply to Eq. (1). This is the load-bearing step of Theorem 3.1 and of the later theorems that use the same matrix step.
  2. [Example 3.8] Direct substitution fails for the stated f. Since g_{z1}=0, the actual shifted value is \bar f = f + c1 e^{-ig}. With the given p1,p2,p3,p4,p, substitution gives X^2+Y^2 = 4 i z1 - 8 c1 z1 e^{-2ig}, equal to p=4 i z1 only when c1=0, contrary to the choice c=(c1,0), c1≠0. The shift-corrected solution is f = (1/(2i)) e^{ig} + (z1-c1)e^{-ig}; this solves the equation but is not of the unshifted form (8), because the coefficient of e^{-ig} is z1-c1, not z1. Thus the example does not verify Theorem 3.1 and in fact provides a counterexample to the stated form when c1≠0.
  3. [Theorems 4.1 and 5.1] The same shift omission appears in the later case analysis. In Theorem 4.1, Eq. (30) has as its lower row an equation for \bar f, yet representation (29) is written for f with unshifted arguments. In Theorem 5.1, Eq. (40) contains both f and \bar f; the comparison leading to Eq. (41) uses unshifted coefficients rather than propagating z -> z-c through d1, bj, \tilde bj, and p. Consequently Theorems 4.1 and 5.1, and the corollaries that depend on them, are not supported by the given proofs. The four-case framework therefore inherits the defect from Theorem 3.1.
minor comments (3)
  1. [Notation, Section 1] The notation for f, \bar f, and \underline f is easy to confuse, and many formulas (e.g., (9), (30), (40)) are typeset in a way that makes the shifted variable visually indistinguishable. Writing f(z+c) and f(z-c) explicitly throughout would remove ambiguity.
  2. [Theorem 6.1, statement] In the case b1 b2 ≡ 0, the theorem says only that "g and \bar g satisfy a non-linear partial differential equation with degree 4"; no equation is displayed in the statement. This part of the classification is not checkable as stated and should be made explicit.
  3. [General presentation] There are numerous typos and inconsistent symbol choices (e.g., "Nevalinna" for Nevanlinna, "we we can write", inconsistent use of * for nonzero constants). A careful editorial pass is needed if the mathematical content is revised.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Fermat-type factorization is carried out explicitly in Lemma 2.1 and the representation (8) is read off from the resulting matrix equation, with no fitted parameters and no load-bearing self-citations.

full rationale

The derivation chain is self-contained. Lemma 2.1 proves the matrix representation (3) by the explicit identity X^2+Y^2=(X+iY)(X-iY), so the solution representation (8) in Theorem 3.1 is obtained by algebraically solving the resulting 2x2 system, not by assuming the conclusion. The subsequent case analysis in Theorems 3.1, 4.1, and 5.1 is driven by the exponential identity (13) and standard external lemmas (logarithmic derivative, Borel-type uniqueness from [4] and [8]). No parameter is fitted to data and no quantity called a prediction is statistically forced. The self-citations to [2], [16], and [26] appear only as context, as results to be unified or corrected; the theorems do not depend on any unverified claim from those papers. The reader's concern that the proof silently identifies f(z+c) with f(z) when passing from the second row of (9) to (8) is a mathematical correctness issue about shift propagation, not a circularity: it does not make the theorem's output equivalent to its input by construction. Hence the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper rests on standard Nevanlinna theory, the divisor argument behind Lemma 2.1, and an assumed growth comparison T(r,u)=O(T(r,g)). No numbers are fitted to data; the coefficients p_j are arbitrary polynomials. The main unacknowledged load-bearing step is the shift handling, which is a derivation error rather than an axiom.

assumptions (4)
  • domain assumption The divisor of an irreducible polynomial on C^n is a prime divisor; hence if two entire functions multiply to it, one factor is zero-free.
    Used without proof in Lemma 2.1 to conclude X+iY = e^{ig} and X-iY = p e^{-ig}.
  • standard math Standard Nevanlinna theory: first and second main theorems, logarithmic derivative lemma.
    Invoked throughout Sections 2-6 to bound counting functions and conclude functions are constant or polynomial.
  • standard math Lemma 2.9 (three-function theorem) as stated in Hu-Li-Yang.
    Used in Lemmas 2.10 and 2.11 and in Theorem 6.1.
  • domain assumption Growth comparison T(r,u)=O(T(r,g)) with u=L(g) or u=1.
    Assumed in Lemmas 2.10, 2.11 and Case 3 of Theorem 3.1 to apply Nevanlinna estimates; the paper notes it as hypothesis of those lemmas.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Fermat-type partial differential-difference equations on $\mathbb{C}^n$." pith.science (2026). https://pith.science/paper/IVHY63R4

@misc{pith2026250901862,
  author       = {Pith},
  title        = {Pith review of: On the Fermat-type partial differential-difference equations on $\mathbbC^n$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IVHY63R4}},
  note         = {Machine review of arXiv:2509.01862}
}
abstract

Assume that $n$ is a positive integer, $p_{j}$ ($j=1,2, \cdots, 6)$ are polynomials, $p$ is an irreducible polynomial, and $f$ is an entire function on $\mathbb{C}^{n}.$ Let $ L(f)=\sum_{j=1}^s q_{t_j}f_{z_{t_j}}$ and $\overline{f}(z)=f(z_{1}+c_{1}, \ldots, z_{n}+c_{n})$, where $q_{t_j}$ ($j=1,2, \cdots, s\le n$) are non-zero polynomials on $\mathbb{C}^{n}$ and $c=(c_{1}, \ldots, c_{n})\in \mathbb{C}^{n}\setminus\{0\}$. We show the structures of all entire solutions to the non-linear partial differential-difference equation $$(p_{1} L(f)+p_{2}\overline{f}+p_5 f)^{2}+(p_{3}L(f)+p_{4}\overline{f}+p_6 f)^{2}=p.$$ The partial differential-difference equation is called a Fermat-type partial differential-difference equation (PDDE). Further, we find many sufficient conditions and/or necessary conditions for the existence, as well as the concrete representations, of entire solutions to the Fermat-type PDDE. We also demonstrate several examples on $\mathbb{C}^2$ with non-constant coefficients to verify that all representations in our theorems exist and are accurate and that the entire solutions to the Fermat-type PDDEs could have finite or infinite growth order. Our theorems unify and extend previous results (see, e.g., [2, 3, 10, 12, 32]).

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    M. B. Ahamed and V. Allu, Transcendental solutions of Fermat-type functional equa- tions in Cn, Analysis and Mathematical Physics, 13 (2023), no 5, 69-86

    work page 2023

  2. [2]

    T. B. Cao and L. Xu, Logarithmic difference lemma in several complex variables and partial difference equations, Ann. Mat. Pur. Appl. 199, No. 2, 767-794 (2020)

    work page 2020

  3. [3]

    D. C. Chang and B. Q. Li, Description of entire Solutions of Eiconal type equations, Canad. Math. Bull. 55, no. 2,249-259(2012)

    work page 2012

  4. [4]

    D. C. Chang, B. Q. Li and C. C. Yang, On composition of meromorphic functions in several complex variables, Forum Math. 7, 77-94(1995)

    work page 1995

  5. [5]

    P. A. Griffiths, Entire holomorphic mappings in one and several complex variables, Princeton University Press and University of Tokyo Press, Princeton, New Jersey, 1976

    work page 1976

  6. [6]

    Han and F

    Q. Han and F. L¨ u, On the Equationf n(z) +gn(z) = eαz+β, Journal of Contemporary Mathematical Analysis (Armenian Academy of Sciences), 54, No. 2, 98-102(2019)

    work page 2019

  7. [7]

    Hemmati, Entire solutions of first-order nonlinear partial differential equations, Vol

    J. Hemmati, Entire solutions of first-order nonlinear partial differential equations, Vol. 125, No. 5, May 1997, 1483-1485

    work page 1997

  8. [8]

    P. C. Hu, P. Li and C. C. Yang, Unicity of Meromorphic Mappings, Advances in Complex Analysis and its Applications, Volume 1, Kluwer Academic Publishers, Dor- drecht/Boston/London, 2003

    work page 2003

Show all 33 references
  1. [9]

    P. C. Hu and Q. Wang, On meromorphic solutions of functional equations of Fermat type, Bull. Malays. Math. Sci. Soc. 42, No. 1, 83-99(2022)

    2022

  2. [10]

    Khavinson, A note on entire solutions of the eiconal equation, Amer

    D. Khavinson, A note on entire solutions of the eiconal equation, Amer. Math. Mon. 102, 159-161(1995)

    1995

  3. [11]

    B. Q. Li Eneire solutions of ( uz1 )m + (uz2 )n = eg, Nagoya Math. J. Vol. 178, 151- 162(2005)

    2005

  4. [12]

    B. Q. Li, Entire solutions of eiconal type equations. Arch. Math. 89, no. 4, 350- 357(2007)

    2007

  5. [13]

    B. Q. Li, On Fermat-Type functional and partial differential equations, 209-222. I. Sahadini, D. C. Struppa (eds.), The Mathematical Legacy of Leon Ehrenpreis, Springer Proceedings in Mathematics 16, Springer-Verlag Italia 2012

    2012

  6. [14]

    B. Q. Li, On meromorphic solutions of generalized Fermat equations, International Journal of Mathematics Vol. 25, No. 1 (2014) 1450002 (8 pages). 45

    2014

  7. [15]

    B. Q. Li, Z. Ye, On meromorphic solutions off 3+g3 = 1, Arch. Math. 90, 39-43(2008)

    2008

  8. [16]

    K. Liu, T. B. Cao and H. Z. Cao, Entire solutions of Fermat-type differential-difference equations, Arch. Math. 99, 147-155(2012)

    2012

  9. [17]

    L¨ u and Z

    F. L¨ u and Z. Li, Meromorphic solutions of Fermat type partial differential equations, J. Math. Anal. Appl. 478, 864-873(2019)

    2019

  10. [18]

    Magnanini and G

    R. Magnanini and G. Talenti, On complex-valued solutions to a two-dimensional eikonal equation. II. SIAM J. Math. Anal. 34, no. 4., 805-835, (2003)

    2003

  11. [19]

    Montel, Lecons sur les familles normales de fonctions analytiques et leurs applica- tions, Gauthier-Villars, Paris,, 135-136(1927)

    P. Montel, Lecons sur les familles normales de fonctions analytiques et leurs applica- tions, Gauthier-Villars, Paris,, 135-136(1927)

    1927

  12. [20]

    Noguchi and J

    J. Noguchi and J. Winkelmann, Nevanlinna Theory in Several Complex Variables and Diophantine Approximation, Springer, 2010

    2010

  13. [21]

    Ru, Nevanlinna Theory and Its Relation to Diophantine Approximation, World Scientific Publishing Co., Singapore, 2001

    M. Ru, Nevanlinna Theory and Its Relation to Diophantine Approximation, World Scientific Publishing Co., Singapore, 2001

    2001

  14. [22]

    E. G. Saleeby, Entire and meromorphic solutions of Fermat type partial differential equations, Analysis 19, 69-376(1999)

    1999

  15. [23]

    B. V. Shabat, Functions of Several Variables, Introduction to Complex Analysis, Part II, Translation Mathematical Monographs, Vol. 110 (American Mathematical Society, Providence, RI, 1992)

    1992

  16. [24]

    Stoll, About entire and meromorphic functions of exponental type, Proc

    W. Stoll, About entire and meromorphic functions of exponental type, Proc. Sympos. Pure Math., vol. 11, Amer. math. Soc., Providence, R. I., pp. 392-430(1968)

    1968

  17. [25]

    Wiles, Modular elliptic curves and Fermat’s last theorem, Ann

    A. Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. Math. 141, 443- 551(1995)

    1995

  18. [26]

    Xu and T

    L. Xu and T. B. Cao, Solutions of complex Fermat-type partial difference and differential-difference equations, Mediterr. J. Math. 15:227, 1-14(2018)/ Correction: Mediterr. J. Math. 17:8, 1-4(2020)

    2018

  19. [27]

    H. Y. Xu, J. Tu and H. Wang, Transcendental entire solutions for several Fermat type PDEs and PDDEs with two complex variables, Rocky Mountain J. of Math. 51, No. 6, 2217-2235, (2021)

    2021

  20. [28]

    H. Y. Xu, S. Y. Liu and Q. P. Li, Entire solutions for several systems of nonlinear difference and partial differential-difference equations of Fermat-type, J. Math. Anal. Appl. 483, No. 2, pp 20(2020)

    2020

  21. [29]

    H. Y. Xu and L. Xu, Transcendental entire solutions for several quadratic binomial and trinomial PDEs with constant coefficients, Analysis and Math. Phy., 12:64, pp 21(2022)

    2022

  22. [30]

    Ye, On Nevanlinna’s second main theorem in projective space, Invent

    Z. Ye, On Nevanlinna’s second main theorem in projective space, Invent. Math. 122, 475-507(1995)

    1995

  23. [31]

    Ye, A sharp form of Nevanlinna’s second main theorem of several complex variables, Math

    Z. Ye, A sharp form of Nevanlinna’s second main theorem of several complex variables, Math. Z. 222, 81-95(1996)

    1996

  24. [32]

    Zhang, J

    M. Zhang, J. Xiao and M. Fang, Entire solutions for several Fermat type differential difference equations, AIMS Mathematics, 7(7), 11597-11613, (2022)

    2022

  25. [33]

    X. M. Zheng and H. Y. Xu, Entire solutions for some Fermat type functional equations concerning difference and partial differential in C2, Analysis Math, 48 (1), 199-226, (2022). 46 T. B. CAO, J. W ANG, AND Z. YE (Tingbin Cao) Department of Mathematics, Nanchang University, Na...

    2022

Pith tools

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