arxiv: 2605.09585 · v1 · submitted 2026-05-10 · 🧮 math.CV

Recognition: 2 theorem links

· Lean Theorem

On entire solutions for a class of product-type nonlinear PDEs in mathbb{C}^n

Feng L\"u

Pith reviewed 2026-05-12 04:36 UTC · model grok-4.3

classification 🧮 math.CV

keywords entire solutionsnonlinear PDEcomplex variablesproduct-type equationeikonal equationpolynomial exponentialexplicit expressions

0 comments

The pith

Explicit expressions are derived for all entire solutions to the product PDE ∏ partial derivatives equals exp of a polynomial.

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

The paper aims to describe every entire function u on complex n-space such that the product of its first partial derivatives equals the exponential of a given polynomial g. Prior approaches were limited to solutions of finite order, but the new technique removes that bound and supplies closed-form expressions that work for arbitrary polynomials. This matters because it gives a complete classification of solutions to this family of nonlinear equations, with the eikonal equation recovered as the main special case. The same classification settles two specific open questions left by earlier work on the subject.

Core claim

A novel method that dispenses with the finite-order condition yields the explicit expressions for every entire solution u of the equation u_{z_1} ⋯ u_{z_n} = e^g where g is any polynomial in C^n.

What carries the argument

The novel method that derives explicit expressions for the entire solutions by removing the finite-order restriction on u.

If this is right

Every entire solution takes one of the explicit forms obtained by the method.
The finite-order hypothesis is unnecessary for classifying these solutions.
The two questions posed in the cited prior work are answered completely.
The classification covers the eikonal equation as the prototype case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The explicit forms may simplify the study of growth rates or zero sets for solutions of related nonlinear equations in several variables.
Product-type equations with non-polynomial right-hand sides could be attacked by adapting the same removal of order restrictions.
The approach might extend to entire solutions of similar differential relations arising in complex geometry.

Load-bearing premise

The new method produces the complete list of explicit forms for every polynomial g and every entire solution u without any hidden growth or structural restrictions.

What would settle it

Construction of a polynomial g together with an entire function u that satisfies the product equation but fails to match any of the claimed explicit expressions.

read the original abstract

This paper is mainly devoted to describing the entire solutions of nonlinear partial differential equation $$ u_{z_1}u_{z_2}\cdots u_{z_n}=e^g, $$ with the eikonal equation as a prototype, where $g$ is a polynomial in $\mathbb{C}^n$. Through a novel method, we break through the restriction of finite order condition and present the explicit expressions for the entire solution of the above equation. As an application, we completely resolve two questions of Xu-Liu-Xuan in \cite{Xu}.

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.

Desk Editor's Note private letter to a colleague

The paper claims explicit forms for all entire solutions to the product PDE without finite-order assumptions and resolves two prior questions, but the abstract shows no derivation steps to verify the method.

read the letter

The main point is that the authors give explicit expressions for entire solutions to u_z1 ... u_zn = exp(g) with g a polynomial in C^n, dropping the finite-order condition that earlier papers imposed, and they use this to answer two questions from Xu-Liu-Xuan. If the derivations hold, that removes a standard limitation in this corner of several complex variables and supplies usable closed forms instead of existence statements only. The paper does a solid job of tying the result directly to those open questions rather than adding another special case. It positions the work as an application, which keeps the focus narrow and relevant. The citation pattern looks appropriate for the subfield. The soft spot is the missing detail on the novel method itself. The abstract states the breakthrough but gives no outline of how the expressions are derived, how they are shown to satisfy the PDE for arbitrary polynomials g, or how the argument avoids order estimates or Nevanlinna-type tools that would reintroduce finite-order restrictions. Without those steps visible, it is unclear whether the completeness claim covers infinite-order solutions or whether some hidden growth control remains. A reader would need the full proofs and perhaps a low-dimensional check to judge. This is for people already working on entire solutions to nonlinear holomorphic PDEs in several variables, especially those who have followed the Xu-Liu-Xuan questions. It is too specialized for a general complex-analysis audience. I would send it to referees because it targets concrete open problems and offers potential new explicit tools; the narrow scope makes it easy to review even if the write-up needs expansion on the method.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a novel method to derive explicit expressions for all entire holomorphic solutions u to the product-type nonlinear PDE ∏_{j=1}^n ∂u/∂z_j = exp(g) in ℂ^n, where g is an arbitrary polynomial, without imposing finite-order restrictions on u. It applies the resulting forms to completely resolve two open questions posed by Xu-Liu-Xuan.

Significance. If the derivations are complete and free of hidden growth assumptions, the explicit solution forms would constitute a genuine advance in the theory of nonlinear PDEs for entire functions in several complex variables, extending beyond the finite-order regime standard in Nevanlinna-type arguments and providing concrete resolutions to prior questions.

major comments (2)

[§3] §3 (derivation of the explicit form): the steps must be checked to confirm that no logarithmic derivative estimates or Nevanlinna characteristic inequalities (which presuppose or force finite order) are invoked when constructing the candidate u for arbitrary polynomial g; otherwise the central claim of breaking the finite-order restriction is not fully substantiated.
[Theorem 1.1] Theorem 1.1 and the verification paragraph following it: the manuscript must explicitly verify that each claimed explicit form satisfies the original PDE identically for every polynomial g, including those of degree >1, without additional restrictions on the growth of u.

minor comments (2)

[Introduction] The notation for the multi-index derivatives and the precise statement of the two resolved questions from [Xu] should be restated verbatim in the introduction for immediate readability.
A short table or list comparing the new explicit forms with previously known finite-order solutions would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We appreciate the positive evaluation of the significance of our results and address each major comment below with clarifications on the method and planned revisions to strengthen the presentation.

read point-by-point responses

Referee: [§3] §3 (derivation of the explicit form): the steps must be checked to confirm that no logarithmic derivative estimates or Nevanlinna characteristic inequalities (which presuppose or force finite order) are invoked when constructing the candidate u for arbitrary polynomial g; otherwise the central claim of breaking the finite-order restriction is not fully substantiated.

Authors: We confirm that Section 3 employs a direct constructive approach based on the multi-variable holomorphic structure and coefficient matching for the polynomial g, without any use of logarithmic derivative estimates, Nevanlinna characteristics, or growth-order assumptions. The candidate forms for the partial derivatives are determined algebraically from the product equaling exp(g), relying only on the identity theorem and properties of entire functions in several variables. This is the core of the novel method that avoids finite-order restrictions. To address the concern explicitly, we will insert a short clarifying paragraph at the beginning of §3 stating the tools not used. revision: yes
Referee: [Theorem 1.1] Theorem 1.1 and the verification paragraph following it: the manuscript must explicitly verify that each claimed explicit form satisfies the original PDE identically for every polynomial g, including those of degree >1, without additional restrictions on the growth of u.

Authors: We agree that expanding the verification will improve clarity. In the revised manuscript, we will augment the paragraph after Theorem 1.1 with explicit direct substitution: for each listed form of u, we differentiate to obtain the partials, multiply them, and verify the product equals exp(g) by polynomial identity. This computation is purely algebraic and holds identically for polynomials g of any degree, independent of the growth of u. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit forms derived independently of finite-order assumptions

full rationale

The derivation introduces a novel method to obtain explicit entire solutions to the product PDE directly from the equation structure for polynomial g, without invoking order estimates or Nevanlinna theory as load-bearing steps. The resolution of questions from [Xu] (distinct authors) is an application rather than a premise, and no self-definitional reductions, fitted parameters renamed as predictions, or ansatz smuggling via self-citation appear in the claimed chain. The approach is presented as self-contained against the PDE and holomorphicity alone.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no visible free parameters, invented entities, or non-standard axioms; the result rests on standard properties of entire functions in C^n and the assumption that g is polynomial.

pith-pipeline@v0.9.0 · 5382 in / 1058 out tokens · 43687 ms · 2026-05-12T04:36:19.738355+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
Through a novel method, we break through the restriction of finite order condition and present the explicit expressions for the entire solution of the above equation... uz1 uz2 ⋯ uzn = eg
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Hadamard factorization theorem yields that u_zi = e^{α_i} ... α1 + ⋯ + αn = g − 2k0 π i

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Calin and D

O. Calin and D. C. Chang, Geometric mechanics on Riemannian manifolds, Applica- tions to partial differential equations, Birkhauser, Boston, 2005

work page 2005
[2]

Chen and Q

W. Chen and Q. Han, On entire solutions to eikonal-type equations, J. Math. Anal. Appl. 506(2022), 124704. 10

work page 2022
[3]

Courant and D

R. Courant and D. Hilbert, Methods of Mathematical Physics, II. Partial differential equations, Interscience, New York, 1962

work page 1962
[4]

Garabedian, Partial differential equations, John Wiley, New York, 1964

P.R. Garabedian, Partial differential equations, John Wiley, New York, 1964

work page 1964
[5]

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

J.E. Hemmati, Entire solutions of first-order nonlinear partial differential equations, Proc. Am. Math. Soc. 125(1997), 1483-1485

work page 1997
[6]

P.C. Hu, P. Li and C.C. Yang, Unicity of meromorphic mappings, Advances in Complex Analysis and Its Applications, vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, London, 2003

work page 2003
[7]

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

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

work page 1995
[8]

Li, Entire solutions of certain partial differential equations and factorization of partial derivatives, Trans

B.Q. Li, Entire solutions of certain partial differential equations and factorization of partial derivatives, Trans. Amer. Math. Soc. 357(2005), 3169-3177

work page 2005
[9]

Li, On certain functional and partial differential equations, Forum Math

B.Q. Li, On certain functional and partial differential equations, Forum Math. 17(2005), 77-86

work page 2005
[10]

Li, Entire solutions of (u z1)m + (uz2)n =e g, Nagoya Math

B.Q. Li, Entire solutions of (u z1)m + (uz2)n =e g, Nagoya Math. J. 178(2005), 151-162

work page 2005
[11]

Li, On meromorphic solutions off 2 +g 2 = 1, Math

B.Q. Li, On meromorphic solutions off 2 +g 2 = 1, Math. Z. 258(2008), 763-771

work page 2008
[12]

L¨ u, Entire solution of a variation of the eikonal equation and related PDEs, P

F. L¨ u, Entire solution of a variation of the eikonal equation and related PDEs, P. Edinburgh Math. Soc. 63(2020), 1-12

work page 2020
[13]

L¨ u and Z.M

F. L¨ u and Z.M. Ma, Entire solutions of product type nonlinear partial differ- ential equations inC n, Glasg. Math. J. Published online 2025:1-6. doi:10.1017/ S0017089525100657

work page 2025
[14]

Stoll, Introduction to value distribution theory of meromorphic maps, In: Complex Analysis

W. Stoll, Introduction to value distribution theory of meromorphic maps, In: Complex Analysis. Lecture Notes in Mathematics, vol 950. Springer, Berlin, Heidelberg. (1982), 210-359

work page 1982
[15]

Saleeby, Entire and meromorphic solutions of Fermat type partial differential equations, Analysis

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

work page 1999
[16]

Saleeby, On entire and meromorphic solutions ofλu k + Pn i=1 um zi = 1, Complex Var

E.G. Saleeby, On entire and meromorphic solutions ofλu k + Pn i=1 um zi = 1, Complex Var. Theory Appl. 49(2004) 101-107

work page 2004
[17]

Vitter, The lemma of the logarithmic derivative in seveal complex variables, Duke Math

A. Vitter, The lemma of the logarithmic derivative in seveal complex variables, Duke Math. J. 44(1977), 89-104

work page 1977
[18]

H.Y. Xu, K. Liu and Z.X. Xuan, Results on solutions of several product type nonlinear partial differential equations inC 3, J. Math. Anal. Appl. 543(2025), ID 128885, 21 p. 11

work page 2025