Abstract
Let A be a transcendental entire function of finite order. We show that, if the differential equation w″ + Aw = 0 has two linearly independent solutions with only real zeros, then the order of A must be an odd integer or one half of an odd integer. Moreover, A has completely regular growth in the sense of Levin and Pfluger. These results follow from a more general geometric theorem, which classifies symmetric local homeomorphisms from the plane to the sphere for which all zeros and poles lie on the real axis, and which have only finitely many singularities over finite non-zero values.
Article PDF
Avoid common mistakes on your manuscript.
References
S. B. Bank and I. Laine, On the oscillation theory of f′ + Af = 0 where A is entire, Bull. Amer. Math. Soc. (N.S.) 6 (1982), 95–98.
S. B. Bank and I. Laine, On the oscillation theory of f′ + Af = 0 where A is entire, Trans. Amer. Math. Soc. 273 (1982), 351–363.
P. P. Belinskii, General Properties of Quasiconformal Maps, Nauka, Novosibirsk, 1974.
W. Bergweiler, Iteration of meromorphic functions, Bull. Amer. Math. Soc. (N.S.) 29 (1993), 151–188.
W. Bergweiler and A. Eremenko, On the singularities of the inverse to a meromorphic function of finite order, Rev. Mat. Iberoamericana 11 (1995), 355–373.
W. Bergweiler and A. Eremenko, Meromorphic functions with linearly distributed values and Julia sets of rational functions, Proc. Amer. Math. Soc. 137 (2009), 2329–2333.
W. Bergweiler and A. Eremenko, On the Bank—Laine conjecture, J. Eur. Math. Soc. (JEMS) 19 (2017), 1899–1909.
W. Bergweiler and A. Eremenko, Quasiconformal surgery and linear differential equations, J. Anal. Math. 137 (2019), 751–812.
W. Bergweiler, P. J. Rippon and G. M. Stallard, Dynamics of meromorphic functions with direct or logarithmic singularities, Proc. Lond. Math. Soc. (3) 97 (2008), 368–400.
M. Biernacki, Sur l’équation différentielle x′ + A(t)x = 0, Prace Mat.-Fiz. 40 (1933), 163–171.
N. Bourbaki, Chap. I. Structures topologiques, in ωléments de Mathématique, III. Topologie Générale, Hermann, Paris, 1971, pp. 1–127.
F. Brüggemann, On solutions of linear differential equations with real zeros; proof of a conjecture of Hellerstein and Rossi, Proc. Amer. Math. Soc. 113 (1991), 371–379.
D. Drasin and J. K. Langley, Bank—Laine functions via quasiconformal surgery, in Transcendental Dynamics and Complex Analysis, Cambridge University Press, Cambridge, 2008, pp. 165–178.
D. Drasin and D. F. Shea, Pólya peaks and the oscillation of positive functions, Proc. Amer. Math. Soc. 34 (1972), 403–411.
G. Elfving, Über eine Klasse von Riemannschen Flächen und ihre Uniformisierung, Societas Scientiarum Fennica, Helsinki, 1934.
A. Epstein and L. Rempe-Gillen, On invariance of order and the area property for finite-type entire functions, Ann. Acad. Sci. Fenn. Math. 40 (2015), 573–599.
A. Eremenko, Meromorphic functions with small ramification, Indiana Univ. Math. J. 42 (1993), 1193–1218.
A. Eremenko, Geometric theory of meromorphic functions, in In the Tradition of Ahlfors and Bers, III, American Mathematical Society, Providence, RI, 2004, pp. 221–230.
A. Eremenko, A. Gabrielov and B. Shapiro, Zeros of eigenfunctions of some anharmonic oscillators, Ann. Inst. Fourier (Grenoble) 58 (2008), 603–624.
A. E. Eremenko and M. Yu. Lyubich, Dynamical properties of some classes of entire functions, Ann. Inst. Fourier (Grenoble) 42 (1992), 989–1020.
A. Eremenko and S. Merenkov, Nevanlinna functions with real zeros, Illinois J. Math. 49 (2005), 1093–1110.
A. A. Goldberg and I. V. Ostrovskii, Value Distribution of Meromorphic Functions. American Mathematical Society, Providence, RI, 2008.
G. G. Gundersen, On the real zeros of solutions of f′ + A(z)f = 0 where A(z) is entire, Ann. Acad. Sci. Fenn. Ser. A I Math. 11 (1986), 275–294.
G. G. Gundersen, The mathematical work of Ilpo Laine, in Proceedings of the Workshop on Complex Analysis and its Applications to Differential and Functional Equations, University of Eastern Finland, Faculty of Science and Forestry, Joensuu, 2014, pp. 1–26.
P. Hartman, Ordinary Differential Equations, S. M. Hartman, Baltimore, MD, 1973.
S. Hellerstein, L.-C. Shen and J. Williamson, Real zeros of derivatives of meromorphic functions and solutions of second order differential equations, Trans. Amer. Math. Soc. 285 (1984), 759–776.
J.-M. Hemke, Recurrence of entire transcendental functions with simple post-singular sets, Fund. Math. 187 (2005), 255–289.
L. Hörmander, The analysis of Linear Partial Differential Operators I, Springer, Berlin, 1990.
L. Hörmander, Notions of Convexity. Birkhäuser, Boston, MA, 1994.
A. Huber, On subharmonic functions and differential geometry in the large, Comment. Math. Helv. 32 (1957), 13–72.
I. Laine, Nevanlinna Theory and Complex Differential Equations, Walter de Gruyter, Berlin-New York, 1993.
I. Laine and K. Tohge, The Bank—Laine conjecture—a survey, in Some Topics on Value Distribution and Differentiability in Complex and p-adic Analysis, Science Press, Beijing, 2008, pp. 398–117.
J. K. Langley, Quasiconformal modifications and Bank-Laine functions, Arch. Math. (Basel) 71 (1998), 233–239.
J. K. Langley, Bank-Laine functions with sparse zeros, Proc. Amer. Math. Soc. 129 (2001), 1969–1978.
J. K. Langley, Transcendental singularities for a meromorphic function with logarithmic derivative of finite lower order, Comput. Methods Funct. Theory 19 (2019), 117–133.
J. K. Langley, Bank–Laine functions, the Liouville transformation and the Eremenko—Lyubich class, J. Anal. Math. 141 (2020), 225–246.
J. K. Langley, Bank–Laine functions with real zeros, Comput. Methods Funct. Theory 20 (2020), 653–665.
O. Lehto and K. I. Virtanen, Boundary behaviour and normal meromorphic functions, Acta Math. 97 (1957), 47–65.
O. Lehto and K. I. Virtanen, Quasiconformal Mappings in the Plane, Springer, New York–Heidelberg, 1973.
B. Ya. Levin, Distribution of Zeros of Entire Functions, American Mathematical Society, Providence, RI, 1980.
J. Lewis, J. Rossi and A. Weitsman, On the growth of subharmonic functions along paths, Ark. Mat. 22 (1984), 109–119.
M. Marden, On the derivative of an entire function. Proc. Amer. Math. Soc. 19 (1968), 1045–1051.
J. Miles, On entire functions of infinite order with radially distributed zeros, Pacific J. Math. 81 (1979), 131–157.
M. Morse, Lectures on Topological Methods in the Theory of Functions of a Complex Variable, Princeton University Press, Princeton, NJ, 1947.
R. Nevanlinna, Über Riemannsche Flächen mit endlich vielen Windungspunkten, Acta Math. 58 (1932), 295–373.
R. Nevanlinna, Eindeutige Analytische Funktionen, Springer, Berlin–Göttingen–Heidelberg, 1953.
L. Rempe, The Eremenko—Lyubich constant, Bull. Lond. Math. Soc. 55 (2023), 113–118.
J. Rossi, Second order differential equations with transcendental coefficients, Proc. Amer. Math. Soc. 97 (1986), 61–66.
L.-C. Shen, Construction of a differential equation y′ + Ay = 0 with solutions having the prescribed zeros, Proc. Amer. Math. Soc. 95 (1985), 544–546.
L.-C. Shen, Solution to a problem of S. Bank regarding exponent of convergence of zeros of the solutions of differential equation f′ +Af = 0, Kexue Tongbao (English Ed.) 30 (1985), 1579–1585.
L.-C. Shen, Proof of a conjecture of Bank and Laine regarding the product of two linearly independent solutions of y′ + Ay = 0, Proc. Amer. Math. Soc. 100 (1987), 301–308.
D. Sixsmith, Dynamics in the Eremenko—Lyubich class, Conform. Geom. Dyn. 22 (2018), 185–224.
N. Steinmetz, Linear differential equations with exceptional fundamental sets. II, Proc. Amer. Math. Soc. 117 (1993), 355–358.
S. Stoïlow, Leçons sur les Principes Topologiques de la Théorie des Fonctions Analytiques, Gauthier-Villars, Paris, 1938.
M. N. M. Talpur, On the growth of subharmonic functions on asymptotic paths, Proc. London Math. Soc. (3) 32 (1976), 193–198.
Acknowledgements
We thank Jim Langley for helpful comments. We are also grateful to the referee for a careful reading and valuable suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
To the victims of the Russian aggression in Ukraine
Rights and permissions
Open Access. This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution and reproduction in any medium, provided the appropriate credit is given to the original authors and the source, and a link is provided to the Creative Commons license, indicating if changes were made (https://creativecommons.org/licenses/by/4.0/).
About this article
Cite this article
Bergweiler, W., Eremenko, A. & Rempe, L. Second order linear differential equations with a basis of solutions having only real zeros. JAMA 152, 53–108 (2024). https://doi.org/10.1007/s11854-023-0294-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11854-023-0294-z