Exponential polynomials in the oscillation theory

Ilpo Laine; Janne Heittokangas; Katsuya Ishizaki; Kazuya Tohge

arxiv: 1907.07984 · v1 · pith:PCN6U7XVnew · submitted 2019-07-18 · 🧮 math.CV

Exponential polynomials in the oscillation theory

Janne Heittokangas , Katsuya Ishizaki , Ilpo Laine , Kazuya Tohge This is my paper

Pith reviewed 2026-05-24 19:31 UTC · model grok-4.3

classification 🧮 math.CV

keywords exponential polynomialsoscillation theorycomplex differential equationsvalue distributionPhragmén-Lindelöf indicatorsectorial oscillation

0 comments

The pith

H0(z) and the geometric locations of the leading coefficients ζ1 to ζm determine the oscillation of solutions to f'' + A(z)f = 0 when A is an exponential polynomial.

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

The paper establishes that when the coefficient A(z) in the differential equation f'' + A(z)f =0 takes the form of an exponential polynomial with entire functions Hj of order less than n, the oscillation of solutions depends crucially on the non-exponential term H0(z) and the angular positions of the coefficients ζ1 to ζm. This is shown by applying value distribution properties of exponential polynomials together with the Phragmén-Lindelöf indicator function. The analysis yields both global results on the complex plane and results restricted to sectors. A sympathetic reader cares because the result isolates the structural features of A(z) that control zero distribution, refining classical oscillation criteria for linear differential equations in the complex domain.

Core claim

It is demonstrated that the function H0(z) and the geometric location of the leading coefficients ζ1,…,ζm play a key role in the oscillation of solutions of the differential equation f''+A(z)f=0, where A(z) is an exponential polynomial of the form H0(z) + sum Hj(z) exp(ζj z^n) with each Hj entire of order strictly less than n.

What carries the argument

The exponential polynomial form of A(z) together with the Phragmén-Lindelöf indicator function, which tracks directional growth to locate zeros of solutions.

If this is right

Oscillation behavior in the whole plane is controlled by whether H0 vanishes or not and by the convex hull of the ζj.
Sectorial oscillation results follow directly from the same indicator analysis in angular regions.
Value distribution of the exponential polynomial A itself supplies the necessary estimates on the growth of solutions.

Where Pith is reading between the lines

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

The geometric condition on the ζj may imply that oscillation is confined to half-planes whose boundaries are determined by the arguments of the ζj.
The same machinery could be tested on equations with more than two derivatives by replacing the second-order equation with a higher-order linear equation having the same coefficient structure.

Load-bearing premise

A(z) is an exponential polynomial of the stated form with each Hj entire of order strictly less than n.

What would settle it

Finding an explicit exponential polynomial A of the given form together with a solution f whose zero distribution is unaffected by changes to H0 or by rotation of the ζj would contradict the claimed role of those quantities.

read the original abstract

Supposing that $A(z)$ is an exponential polynomial of the form $$ A(z)=H_0(z)+H_1(z)e^{\zeta_1z^n}+\cdots +H_m(z)e^{\zeta_mz^n}, $$ where $H_j$'s are entire and of order $<n$, it is demonstrated that the function $H_0(z)$ and the geometric location of the leading coefficients $\zeta_1,\ldots,\zeta_m$ play a key role in the oscillation of solutions of the differential equation $f''+A(z)f=0$. The key tools consist of value distribution properties of exponential polynomials, and elementary properties of the Phragm\'en-Lindel\"of indicator function. In addition to results in the whole complex plane, results on sectorial oscillation are proved.

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

H0 and the args of the leading ζj control the zero distribution of solutions via the indicator in sectors when A is an exponential polynomial.

read the letter

The main takeaway is that when A is an exponential polynomial of the stated form, the oscillation of solutions to f'' + A f =0 is governed by the constant term H0 and the geometric locations of the ζj through the Phragmén-Lindelöf indicator in the relevant angular sectors. In sectors where the indicator is positive the solutions grow rapidly with few zeros, while H0 takes over in the complementary sectors where the exponential terms are subdominant. The order condition ord(Hj) < n keeps the indicator fixed by the leading terms alone, which sets up the sectors cleanly. The paper also gives sectorial oscillation statements in addition to the global ones. This is a direct application of value-distribution properties of exponential polynomials and standard indicator facts, and the stress-test description shows the directional analysis has no hidden circularity or unsupported steps. The contribution is incremental rather than revolutionary, but it organizes the role of those specific terms for this coefficient class in a precise way. The main limitation is the explicit restriction to exponential polynomials, so the results do not immediately apply to more general entire coefficients; that is by design and not a flaw in execution. Within the stated setting the argument looks solid and the tools match the problem. This is for specialists in complex linear DE oscillation theory who already work with value distribution or special coefficient classes. A reader who knows the indicator function and exponential polynomials will see the value quickly. I would send it to peer review; the claims are concrete enough and the methods standard enough that referees can check the details without wasting time.

Referee Report

0 major / 2 minor

Summary. The paper claims that when A(z) is an exponential polynomial A(z)=H0(z)+∑Hj(z)exp(ζj z^n) with each Hj entire of order strictly less than n, the function H0(z) together with the geometric locations (arguments) of the leading coefficients ζ1,…,ζm determine the oscillation (zero distribution) of solutions to the equation f''+A(z)f=0. The argument proceeds by analyzing the Phragmén-Lindelöf indicator of A in angular sectors delimited by the rays arg(ζj z^n)=0, showing rapid growth and sparse zeros where the indicator is positive and using H0 to control the complementary sectors; both global and sectorial results are obtained via value-distribution properties of exponential polynomials and elementary properties of the indicator function.

Significance. If the derivations hold, the work supplies an explicit geometric criterion linking the form of A to the asymptotic zero distribution of solutions, extending classical complex oscillation theory to this class of coefficients. The analysis is parameter-free once the order condition ord(Hj)<n is imposed, relying only on the indicator and established value-distribution results; this yields falsifiable predictions for zero locations determined by arg(ζj) and offers a template for sectorial studies.

minor comments (2)

The abstract states the form of A(z) and the role of H0 and the ζj but does not display the precise statement of the main global or sectorial theorem; adding the statement of Theorem 1.1 (or equivalent) to the abstract would improve readability.
Notation for the indicator function h_A(θ) and the rays arg(ζj z^n)=0 is introduced without an early reference to the standard definition (e.g., Levin’s book or the Phragmén-Lindelöf indicator section); a brief reminder in §2 would help readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript and the positive evaluation of its significance. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a direct theoretical proof in complex analysis, deriving oscillation properties of solutions to f'' + A(z)f = 0 from the form of the exponential polynomial A(z) = H0(z) + sum Hj(z) exp(ζj z^n) with ord(Hj) < n. It relies on established value-distribution results for exponential polynomials and the Phragmén-Lindelöf indicator function applied to angular sectors determined by the arguments of the ζj. No parameter fitting, self-definitional reductions, or load-bearing self-citations appear; the central claims follow from the indicator analysis and order conditions without reducing to the inputs by construction. The derivation is self-contained against external benchmarks in entire-function theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard results from Nevanlinna theory and the theory of entire functions of finite order; no free parameters or invented entities are introduced in the abstract.

axioms (2)

standard math Value distribution properties of exponential polynomials hold as previously established in the literature
Abstract states these properties are used as key tools
standard math Elementary properties of the Phragmén-Lindelöf indicator function apply to the growth estimates
Abstract identifies this as a central tool

pith-pipeline@v0.9.0 · 5675 in / 1321 out tokens · 28802 ms · 2026-05-24T19:31:44.869013+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Bank S. and I. Laine, On the oscillation theory of f ′′+ Af = 0 where A is entire , Trans. Amer. Math. Soc. 273 (1982), no. 1, 351–363

work page 1982
[2]

Laine and J

Bank S., I. Laine and J. Langley, On the frequency of zeros of solutions of second order linear diﬀerential equations , Resultate Math. 10 (1986), 8–24

work page 1986
[3]

Laine and J

Bank S., I. Laine and J. Langley, Oscillation results for solutions of linear diﬀerential equations in the complex domain , Resultate Math. 16 (1989), 3–15

work page 1989
[4]

Bergweiler W. and A. Eremenko, On the Bank-Laine conjecture , J. Eur. Math. Soc. (JEMS) 19 (2017), no. 6, 1899–1909

work page 2017
[5]

Bergweiler W. and A. Eremenko, Quasiconformal surgery and linear diﬀerential equa- tions, arXiv:1510.05731

work page arXiv
[6]

Frank G. and W. Hennekemper, Einige Ergebnisse ¨ uber die Werteverteilung mero- morpher Funktionen und ihrer Ableitungen , Resultate Math. 4 (1981), 39–54

work page 1981
[7]

Hua and R

Frank G., X. Hua and R. Vaillancourt, Meromorphic functions sharing the same zeros and poles, Canad. J. Math. 56 (2004), 1190–1227

work page 2004
[8]

London Math

Gundersen G., Estimates for the logarithmic derivative of a meromorphic f unction, plus similar estimates , J. London Math. Soc. 37 (1988), no. 1, 88–104

work page 1988
[9]

2nd ed., Siam, Philadelphia, 2002

Hartman P., Ordinary Diﬀerential Equations . 2nd ed., Siam, Philadelphia, 2002

work page 2002
[10]

Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

Hayman W., Meromorphic Functions. Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

work page 1964
[11]

Laine, K

Heittokangas J., I. Laine, K. Tohge and Z.-T. Wen, Completely regular growth so- lutions of second order complex linear diﬀerential equatio ns, Ann. Acad. Sci. Fenn. Math. 40 (2015), 985–1003

work page 2015
[12]

Addison-Wesley Publ

Hille E., Lectures on Ordinary Diﬀerential Equations . Addison-Wesley Publ. Co., Reading, Mass.-London-Don Mills, Ont., 1969

work page 1969
[13]

Hinkkanen A. and J. Rossi, Schwarzian derivatives and zeros of solutions to second order linear diﬀerential equations, Proc. Amer. Math. Soc. 113 (1991), no. 3, 741–746

work page 1991
[14]

Ishizaki K., An oscillation result for a certain linear diﬀerential equa tion of second order, Hokkaido Math. J. 26 (1997), no. 2, 421–434

work page 1997
[15]

Ishizaki K. and K. Tohge, On the complex oscillation of some linear diﬀerential equa- tions, J. Math. Anal. Appl. 206 (1997), no. 2, 503–517

work page 1997
[16]

Walter de Gruyter, Berlin-New York, 1993

Laine I., Nevanlinna Theory and Complex Diﬀerential Equations . Walter de Gruyter, Berlin-New York, 1993. Exponential polynomials in the oscillation theory 29

work page 1993
[17]

Ja., Distribution of Zeros of Entire Functions

Levin B. Ja., Distribution of Zeros of Entire Functions . Translated from the Rus- sian by R. P. Boas, J. M. Danskin, F. M. Goodspeed, J. Korevaar, A . L. Shields and H. P. Thielman. Revised edition. Translations of Mathematical Mo nographs, 5. American Mathematical Society, Providence, R.I., 1980

work page 1980
[18]

Reprinting of the 1952 edition

Nehari Z., Conformal Mapping . Reprinting of the 1952 edition. Dover Publications, Inc., New York, 1975

work page 1952
[19]

Schwarz B., Complex nonoscillation theorems and criteria of univalenc e, Trans. Amer. Math. Soc. 80 (1955), 159–186

work page 1955
[20]

Steinbart E., On the location of zeros of solutions to w′′+Aw = 0, Funkcial. Ekvac. 35 (1992), no. 2, 223–254

work page 1992
[21]

26 (1978/79), no

Steinmetz N., Zur Wertverteilung von Exponentialpolynomen , Manuscripta Math. 26 (1978/79), no. 1–2, 155–167

work page 1978
[22]

Steinmetz N., Zur Wertverteilung der Quotienten von Exponentialpolynom en, Arch. Math. (Basel) 35 (1980), no. 5, 461–470

work page 1980
[23]

Reprinting of the 1959 orig- inal

Tsuji M., Potential Theory in Modern Function Theory . Reprinting of the 1959 orig- inal. Chelsea Publishing Co., New York, 1975

work page 1959
[24]

Tu J. and X. D. Yang, On the zeros of solutions of a class of second order linear diﬀerential equations, Kodai Math. J. 33 (2010), 251–266

work page 2010
[25]

and H.-X

Yang C.-C. and H.-X. Yi, Uniqueness Theory of Meromorphic Functions . Mathemat- ics and its Applications, 557. Kluwer Academic Publishers Group, Dord recht, 2003

work page 2003
[26]

Tsinghua University Press, Beijing; Springer, Heidelberg, 2010

Zheng J., Value Distribution of Meromorphic Functions . Tsinghua University Press, Beijing; Springer, Heidelberg, 2010. Janne Heittokangas Taiyuan University of Technology F aculty of Mathematics Yingze West Street, No. 79, Taiyuan 030024, China email:janne.heittokangas@uef.fi Ilpo Laine & Janne Heittokangas University of Eastern Finland Department of Phy...

work page 2010

[1] [1]

Bank S. and I. Laine, On the oscillation theory of f ′′+ Af = 0 where A is entire , Trans. Amer. Math. Soc. 273 (1982), no. 1, 351–363

work page 1982

[2] [2]

Laine and J

Bank S., I. Laine and J. Langley, On the frequency of zeros of solutions of second order linear diﬀerential equations , Resultate Math. 10 (1986), 8–24

work page 1986

[3] [3]

Laine and J

Bank S., I. Laine and J. Langley, Oscillation results for solutions of linear diﬀerential equations in the complex domain , Resultate Math. 16 (1989), 3–15

work page 1989

[4] [4]

Bergweiler W. and A. Eremenko, On the Bank-Laine conjecture , J. Eur. Math. Soc. (JEMS) 19 (2017), no. 6, 1899–1909

work page 2017

[5] [5]

Bergweiler W. and A. Eremenko, Quasiconformal surgery and linear diﬀerential equa- tions, arXiv:1510.05731

work page arXiv

[6] [6]

Frank G. and W. Hennekemper, Einige Ergebnisse ¨ uber die Werteverteilung mero- morpher Funktionen und ihrer Ableitungen , Resultate Math. 4 (1981), 39–54

work page 1981

[7] [7]

Hua and R

Frank G., X. Hua and R. Vaillancourt, Meromorphic functions sharing the same zeros and poles, Canad. J. Math. 56 (2004), 1190–1227

work page 2004

[8] [8]

London Math

Gundersen G., Estimates for the logarithmic derivative of a meromorphic f unction, plus similar estimates , J. London Math. Soc. 37 (1988), no. 1, 88–104

work page 1988

[9] [9]

2nd ed., Siam, Philadelphia, 2002

Hartman P., Ordinary Diﬀerential Equations . 2nd ed., Siam, Philadelphia, 2002

work page 2002

[10] [10]

Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

Hayman W., Meromorphic Functions. Oxford Mathematical Monographs, Clarendon Press, Oxford, 1964

work page 1964

[11] [11]

Laine, K

Heittokangas J., I. Laine, K. Tohge and Z.-T. Wen, Completely regular growth so- lutions of second order complex linear diﬀerential equatio ns, Ann. Acad. Sci. Fenn. Math. 40 (2015), 985–1003

work page 2015

[12] [12]

Addison-Wesley Publ

Hille E., Lectures on Ordinary Diﬀerential Equations . Addison-Wesley Publ. Co., Reading, Mass.-London-Don Mills, Ont., 1969

work page 1969

[13] [13]

Hinkkanen A. and J. Rossi, Schwarzian derivatives and zeros of solutions to second order linear diﬀerential equations, Proc. Amer. Math. Soc. 113 (1991), no. 3, 741–746

work page 1991

[14] [14]

Ishizaki K., An oscillation result for a certain linear diﬀerential equa tion of second order, Hokkaido Math. J. 26 (1997), no. 2, 421–434

work page 1997

[15] [15]

Ishizaki K. and K. Tohge, On the complex oscillation of some linear diﬀerential equa- tions, J. Math. Anal. Appl. 206 (1997), no. 2, 503–517

work page 1997

[16] [16]

Walter de Gruyter, Berlin-New York, 1993

Laine I., Nevanlinna Theory and Complex Diﬀerential Equations . Walter de Gruyter, Berlin-New York, 1993. Exponential polynomials in the oscillation theory 29

work page 1993

[17] [17]

Ja., Distribution of Zeros of Entire Functions

Levin B. Ja., Distribution of Zeros of Entire Functions . Translated from the Rus- sian by R. P. Boas, J. M. Danskin, F. M. Goodspeed, J. Korevaar, A . L. Shields and H. P. Thielman. Revised edition. Translations of Mathematical Mo nographs, 5. American Mathematical Society, Providence, R.I., 1980

work page 1980

[18] [18]

Reprinting of the 1952 edition

Nehari Z., Conformal Mapping . Reprinting of the 1952 edition. Dover Publications, Inc., New York, 1975

work page 1952

[19] [19]

Schwarz B., Complex nonoscillation theorems and criteria of univalenc e, Trans. Amer. Math. Soc. 80 (1955), 159–186

work page 1955

[20] [20]

Steinbart E., On the location of zeros of solutions to w′′+Aw = 0, Funkcial. Ekvac. 35 (1992), no. 2, 223–254

work page 1992

[21] [21]

26 (1978/79), no

Steinmetz N., Zur Wertverteilung von Exponentialpolynomen , Manuscripta Math. 26 (1978/79), no. 1–2, 155–167

work page 1978

[22] [22]

Steinmetz N., Zur Wertverteilung der Quotienten von Exponentialpolynom en, Arch. Math. (Basel) 35 (1980), no. 5, 461–470

work page 1980

[23] [23]

Reprinting of the 1959 orig- inal

Tsuji M., Potential Theory in Modern Function Theory . Reprinting of the 1959 orig- inal. Chelsea Publishing Co., New York, 1975

work page 1959

[24] [24]

Tu J. and X. D. Yang, On the zeros of solutions of a class of second order linear diﬀerential equations, Kodai Math. J. 33 (2010), 251–266

work page 2010

[25] [25]

and H.-X

Yang C.-C. and H.-X. Yi, Uniqueness Theory of Meromorphic Functions . Mathemat- ics and its Applications, 557. Kluwer Academic Publishers Group, Dord recht, 2003

work page 2003

[26] [26]

Tsinghua University Press, Beijing; Springer, Heidelberg, 2010

Zheng J., Value Distribution of Meromorphic Functions . Tsinghua University Press, Beijing; Springer, Heidelberg, 2010. Janne Heittokangas Taiyuan University of Technology F aculty of Mathematics Yingze West Street, No. 79, Taiyuan 030024, China email:janne.heittokangas@uef.fi Ilpo Laine & Janne Heittokangas University of Eastern Finland Department of Phy...

work page 2010