arxiv: 2605.07636 · v1 · submitted 2026-05-08 · 🧮 math.CV

Recognition: no theorem link

Meromorphic functions and linearization phenomena in partial differential equations

Debabrata Pramanik, Jhilik Banerjee, Sujoy Majumder

Pith reviewed 2026-05-11 02:22 UTC · model grok-4.3

classification 🧮 math.CV

keywords meromorphic functionsseveral complex variablespartial differential equationsfunctional equationsvalue distributionlinearization

0 comments

The pith

Meromorphic solutions to nonlinear functional partial differential equations in several complex variables are forced into linear forms by value distribution properties.

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

The paper studies meromorphic functions f in one variable composed with the sum of coordinates to produce h in several variables, then plugs this h into equations mixing a partial derivative with a functional term G and linear terms in h. It establishes that the only solutions are those in which the nonlinear equation reduces to a linear relation determined by the coefficients. This extends earlier one-variable results on functional-differential equations and shows that classical value-distribution constraints continue to enforce strong rigidity once the setting is enlarged to C^n. The work therefore supplies concrete examples of how growth and distribution of values limit the possible nonlinear equations that can admit non-constant meromorphic solutions.

Core claim

For non-constant meromorphic f and entire g, with h(z) equal to f of the sum of the coordinates, the two displayed equations are satisfied only when the meromorphic solution h satisfies a linear relation whose coefficients are determined by a, b, c (or their polynomial versions); the functional composition G^g_h thereby converts the original nonlinear PDE into an effectively linear one.

What carries the argument

The auxiliary operator G^g_h(z) = h(g(z), g(z), …, g(z)), which evaluates the summed-variable function h along the diagonal image of the entire function g and thereby reduces the multivariable PDE to a one-variable functional equation.

If this is right

When a, b, c are constants, the only possible meromorphic solutions h are linear functions of the summed variable.
When a, b, c are polynomials, the solutions remain of bounded degree or rational type dictated by the degrees of the coefficients.
The same rigidity applies uniformly for each partial derivative index i from 1 to n.

Where Pith is reading between the lines

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

The same reduction technique may apply to other functional operators that preserve the summed-variable structure.
Growth estimates derived in one variable could be lifted to give order-of-growth bounds for solutions in C^n.

Load-bearing premise

Standard one-variable value-distribution theory applies directly to the composed functions h and G without requiring extra growth or pole-order conditions in several variables.

What would settle it

An explicit non-constant meromorphic h in C^n, built from some f and g as in the paper, that satisfies one of the two displayed equations yet whose associated f fails to obey the corresponding one-variable linear relation predicted by the value-distribution argument.

read the original abstract

In this paper, we investigate meromorphic solutions of certain nonlinear partial differential equations in several complex variables involving differential and functional operators. Let $f$ be a non-constant meromorphic function in $\mathbb{C}$, $g$ an entire function in $\mathbb{C}^n$, and $h(z)=f(z_1+z_2+\ldots+z_n)$. We study the equations \begin{align*} \frac{\partial h(z)}{\partial z_i}=a G^g_{h}(z)+bh(z)+c\;\;\text{and}\;\;\frac{\partial h(z)}{\partial z_i}=a(z)G^g_{h}(z)+b(z)h(z)+c(z), \end{align*} where $z\in\mathbb{C}^n$, $i\in\{1,2,\ldots,n\}$, $a(\neq 0), b, c\in\mathbb{C}$ or $a(z)(\not\equiv 0), b(z),c(z)$ are polynomials in $\mathbb{C}^n$, and $G^g_h(z)=h(g(z),g(z),\ldots,g(z))$. The results obtained in the paper, extend previous studies on meromorphic solutions of functional-differential equations to the setting of several complex variables, and further illustrate the rigidity imposed by value distribution properties on nonlinear functional equations.

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

Straightforward extension of one-var meromorphic solution results to C^n via sum and repeated-g composition, but the Nevanlinna transfer needs explicit justification that the abstract does not supply.

read the letter

The paper takes prior one-variable work on meromorphic solutions to functional-differential equations and moves it into several complex variables. They define h as f of the sum of the coordinates and G as h evaluated at g repeated n times, then study the two displayed equations (constant coefficients and polynomial coefficients) and conclude that value distribution imposes strong rigidity on the possible solutions f and g.

Referee Report

2 major / 2 minor

Summary. The paper investigates meromorphic solutions of nonlinear PDEs in several complex variables. Let f be a non-constant meromorphic function in C, g an entire function in C^n, and h(z) = f(z1 + ... + zn). It considers the equations ∂h/∂zi = a G^g_h(z) + b h(z) + c and the version with polynomial coefficients a(z), b(z), c(z), where G^g_h(z) = h(g(z), ..., g(z)). The central claim is that these equations admit only specific rigid forms for f, obtained by applying value-distribution methods (Nevanlinna-type counting and proximity functions) to h and the composed G, thereby extending one-variable functional-differential results to C^n and illustrating rigidity imposed by value distribution.

Significance. If the derivations are complete, the work would extend the scope of Nevanlinna-theoretic rigidity results from ordinary differential or functional equations to a multi-variable PDE setting with composed entire functions. This could be of interest to researchers studying value distribution in several complex variables, provided the necessary growth and pole-order controls are supplied. The manuscript does not appear to contain machine-checked proofs or fully parameter-free derivations.

major comments (2)

[Introduction / main theorems] The abstract and introduction assert that standard one-variable lemmas on logarithmic derivatives and the second main theorem transfer directly to the functions h and G^g_h in C^n. However, h is constant on hyperplanes orthogonal to (1,...,1) while the poles of G lie on the (n-1)-dimensional level sets {g = pole/n}. No derivation is given for the required order bounds on g or for the survival of deficiency relations after integration over C^n; this is load-bearing for the classification of solutions.
[Section 3 (or wherever the main classification is proved)] The claim that the results 'extend previous studies' without essential modification relies on the unstated assumption that the proximity and counting functions for the composed map G^g_h behave as in the one-variable case. A concrete counter-example or growth estimate showing that arbitrary entire g may violate the necessary pole-order restrictions is missing; this undermines the rigidity conclusions.

minor comments (2)

[Abstract / equation (1)] Notation for G^g_h is introduced without an explicit reminder that the argument is the n-tuple (g(z),...,g(z)); this should be clarified on first use.
[Examples section] The paper should include at least one explicit example of a non-constant entire g for which the stated equations admit a non-rigid meromorphic solution, to illustrate the necessity of any additional hypotheses.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive criticism of our manuscript. The comments highlight important points regarding the justification of Nevanlinna-theoretic tools in the several complex variables setting. We address each major comment below and will incorporate clarifications and additional derivations in the revised version.

read point-by-point responses

Referee: [Introduction / main theorems] The abstract and introduction assert that standard one-variable lemmas on logarithmic derivatives and the second main theorem transfer directly to the functions h and G^g_h in C^n. However, h is constant on hyperplanes orthogonal to (1,...,1) while the poles of G lie on the (n-1)-dimensional level sets {g = pole/n}. No derivation is given for the required order bounds on g or for the survival of deficiency relations after integration over C^n; this is load-bearing for the classification of solutions.

Authors: We agree that explicit derivations are needed to justify the transfer. In the revision we will insert a new preliminary subsection deriving the requisite order bounds on g (assuming finite order, as is standard for such rigidity results) and showing how the deficiency relations for h and G^g_h survive integration over C^n. The key is the special structure: h(z) = f(s) with s = sum z_i, so partial derivatives reduce to f'(s), while G^g_h(z) = f(n g(z)). This permits slicing along lines parallel to (1,...,1) and relating the integrated counting and proximity functions in C^n to the classical one-variable Nevanlinna functions of f and of g, thereby preserving the logarithmic derivative lemma and second main theorem estimates. revision: yes
Referee: [Section 3 (or wherever the main classification is proved)] The claim that the results 'extend previous studies' without essential modification relies on the unstated assumption that the proximity and counting functions for the composed map G^g_h behave as in the one-variable case. A concrete counter-example or growth estimate showing that arbitrary entire g may violate the necessary pole-order restrictions is missing; this undermines the rigidity conclusions.

Authors: We accept that the extension claim requires more explicit support. Because G^g_h(z) = f(n g(z)), the pole-order restrictions on G are identical to those of f (scaled by the multiplicity of g), and standard estimates for the Nevanlinna functions of compositions with entire functions of finite order carry over directly. In the revision we will add a lemma in Section 3 supplying the growth estimates for the proximity and counting functions of G^g_h in terms of those of f and g. We do not claim the results hold for arbitrary infinite-order entire g without further restrictions; the revised text will state the finite-order hypothesis on g explicitly and note that the rigidity conclusions are conditional on this natural growth condition, which is already implicit in the one-variable literature being extended. revision: yes

Circularity Check

0 steps flagged

No circularity: results derived from standard value-distribution application to the stated functional PDEs

full rationale

The paper defines h(z) = f(sum z_i) and G^g_h(z) = h(g(z),...,g(z)) and studies the two displayed PDEs for meromorphic f. It invokes Nevanlinna-type proximity and counting functions on these compositions to classify solutions. No equation or step reduces a claimed solution form to a fitted parameter or to the same counting functions used to derive it; the derivation chain remains independent of its own outputs. Self-citation is absent from the load-bearing steps, and the extension to several variables is treated as an immediate transfer of one-variable lemmas without any self-definitional closure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, invented entities, or non-standard axioms; the setup relies on background facts from several-complex-variables Nevanlinna theory.

axioms (1)

standard math Standard properties of meromorphic and entire functions in several complex variables hold for the composed functions h and G^g_h
Invoked by the definition of the equations and the claim that value distribution applies.

pith-pipeline@v0.9.0 · 5542 in / 1141 out tokens · 31633 ms · 2026-05-11T02:22:28.920371+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

[1]

D. R. Anderson , An existence theorem for a solution of f'(x) = F(x, f(g(x)) , SIAM Review, 8 (1966), 98-105

work page 1966
[2]

I. N. Baker , On factorizing meromorphic functions, Aequationes Math., 54 (1997), 87-101

work page 1997
[3]

Banerjee and S

A. Banerjee and S. Majumder , Analytic perspectives on characterizing unique range set of meromorphic functions in several complex variables, Bull. Korean Math. Soc., 63 (2) (2026), 501-523

work page 2026
[4]

Bellman and K

R. Bellman and K. L. Cooke , Differential-difference equations, Academic Press, New York, 1963

work page 1963
[5]

van Brunt , J

B. van Brunt , J. C. Marshall and G. C. Wake , Holomorphic solutions to pantograph type equations with neutral fixed points, J. Math. Anal. and Appl., 295 (2004), 557-569

work page 2004
[6]

T. B. Cao and R. J. Korhonen , A new version of the second main theorem for meromorphic mappings intersecting hyperplanes in several complex variables, J. Math. Anal. Appl., 444 (2) (2016), 1114-1132

work page 2016
[7]

Clunie , The composition of entire and meromorphic functions, Mathematical Essays Dedicated to A

J. Clunie , The composition of entire and meromorphic functions, Mathematical Essays Dedicated to A. J MacIntyre. Ohio University press. 1970

work page 1970
[8]

Derfel , Functional-differential equations with compressed arguments and polynomial coefficients: asymptotics of the solutions, J

G. Derfel , Functional-differential equations with compressed arguments and polynomial coefficients: asymptotics of the solutions, J. Math. Anal. and Appl., 193 (1995), 671-679

work page 1995
[9]

Derfel and A

G. Derfel and A. Iserles , The pantograph equation in the complex plane, J. Math. Anal. and Appl., 213 (1997), 117-132

work page 1997
[10]

P. V. Dovbush , Zalcman-Pang's lemma in C^N , Complex Var. Elliptic Equ., 66 (12) (2021), 1991-1997

work page 2021
[11]

Gross , On a remark by Utz, The American Math

F. Gross , On a remark by Utz, The American Math. Monthly, 74 (1967), 1107-1109

work page 1967
[12]

Gross and C

F. Gross and C. C. Yang , On meromorphic solution of a certain class of functional-differential equations, Annales Polonici Mathematici, 27 (1973), 305-311

work page 1973
[13]

Hao and Q

W. Hao and Q. Zhang , Meromorphic solutions of a class of nonlinear partial differential equations, Indian J. Pure Appl. Math., 2025: 1-11, doi.org/10.1007/s13226-025-00779-5

work page doi:10.1007/s13226-025-00779-5 2025
[14]

P. C. Hu , P. Li and C. C. Yang , Unicity of Meromorphic Mappings. Springer, New York (2003)

work page 2003
[15]

B. Q. Li and E. G. Saleeby , On solutions of functional-differential equations f'(x)=a(x)f(g(x))+b(x)f(z)+c(x) in the large, Israel J. Math., 162 (2007), 335-348

work page 2007
[16]

B. Q. Li and L. Yang , Picard type theorems and entire solutions of certain nonlinear partial differential equations, J. Geom. Anal., (2025) 35:234, https://doi.org/10.1007/s12220-025-02067-4

work page doi:10.1007/s12220-025-02067-4 2025
[17]

Li and H

Y. Li and H. Sun , A note on unicity of meromorphic functions in several variables, J. Korean Math. Soc., 60 (4) (2023), 859-876

work page 2023
[18]

L\" u and W

F. L\" u and W. Bi , On entire solutions of certain partial differential equations, J. Math. Anal. Appl., 516 (1) (2022), 126476

work page 2022
[19]

L\" u , On meromorphic solutions of certain partial differential equations, Canadian Math

F. L\" u , On meromorphic solutions of certain partial differential equations, Canadian Math. Bull., 2025:1-15, doi:10.4153/S0008439525000347

work page doi:10.4153/s0008439525000347 2025
[20]

Majumder , The Clunie-Hayman theorem in C ^m and normality criteria concerning partial derivative, Complex Var

S. Majumder , The Clunie-Hayman theorem in C ^m and normality criteria concerning partial derivative, Complex Var. Elliptic Equ. DOI: 10.1080/17476933.2026.2638291

work page doi:10.1080/17476933.2026.2638291 2026
[21]

Majumder and P

S. Majumder and P. Das , Periodic behavior of meromorphic functions sharing values with their shifts in several complex variables, Indian J. Pure Appl. Math. https://doi.org/10.1007/s13226-025-00778-6

work page doi:10.1007/s13226-025-00778-6
[22]

Majumder , P

S. Majumder , P. Das and D. Pramanik , Sufficient condition for entire solution of a certain type of partial differential equation in C ^m , J. Contemp. Math. Anal., 60 (5) (2025), 378-395

work page 2025
[23]

Majumder and N

S. Majumder and N. Sarkar , Periodic behavior of meromorphic functions sharing values with their difference operators in several complex variables, Indian J. Pure Appl. Math. https://doi.org/10.1007/s13226-025-00916-0

work page doi:10.1007/s13226-025-00916-0
[24]

Majumder and N

S. Majumder and N. Sarkar , Bergweiler-Langley lemmas in several complex variables, Bull. Belgian Math. Soc. (accepted for publication)

work page
[25]

Majumder and N

S. Majumder and N. Sarkar , Meromorphic functions in several complex variables satisfying partial derivative conditions, Iran J. Sci., DOI: 10.1007/s40995-026-01986-3

work page doi:10.1007/s40995-026-01986-3
[26]

Majumder , N

S. Majumder , N. Sarkar and D. Pramanik , Solutions of complex Fermat-type difference equations in several variables, Houston J. Math. (accepted for publication)

work page
[27]

Navanlinna , Eindentigc Analytische Funklionen, Springer, 1936, pp

R. Navanlinna , Eindentigc Analytische Funklionen, Springer, 1936, pp. 263

work page 1936
[28]

Noguchi and J

J. Noguchi and J. Winkelmann , Nevanlinna theory in several complex variables and Diophantine approximation, Springer Tokyo Heidelberg New York Dordrecht London, 2013

work page 2013
[29]

R. J. Oberg , Local theory of complex functional differential equations, Trans. Amer. Math. Soc., 161 (1971), 269-281

work page 1971
[30]

R. J. Oberg , On the local existence of solutions of certain functional-differential equations, Proc. Amer. Math. Soc., 20 (1969), 295-302

work page 1969
[31]

J. R. Ockendon and A. B. Taylor , The dynamics of a current collection system for an electric locomotive, Proceedings of the Royal Society of London, Series A, 322 (1971), 447-468

work page 1971
[32]

Y. T. Siu , On the solution of the equation f'(x)= f(g(x)) , Mathematische Zeitschrift, 90 (1965), 391-392

work page 1965
[33]

Stoll , Holomorphic functions of finite order in several complex variables, Conference Board of the Mathematical Sciences, Regional Conference Series in Mathematics 21, Amer

W. Stoll , Holomorphic functions of finite order in several complex variables, Conference Board of the Mathematical Sciences, Regional Conference Series in Mathematics 21, Amer. Math. Soc., 1974

work page 1974
[34]

W. R. Utz , The equation f'(x)= af(g(x)) , Bull. American Math. Soc., 71 (1965), 138

work page 1965
[35]

G. C. Wake , S. Cooper , H. K. Kin and B. van Brunt , Functional differenfftial equations for cell-growth models with dispersion, Comm. Appl. Anal., 4 (2000), 561-573

work page 2000