New ”orders of infinity”. (English) Zbl 0539.26003

Boshernitzan, Michael

J. Anal. Math. 41, 130-167 (1982).

In the paper the author continues the development of the theory initiated in his previous paper reviewed above. He extends the main results related to the field E (for notations see the preceding review) to the more general, perfect fields (a subfield K of the ring CB is called perfect if it coincides with the intersection of all maximal differential subfields of CB containing K). For example, Lemma 11.6. Let K be a perfect field. Then 1) \(E\subset K\); 2) K is a real closed field; 3) K is closed under integration; 4) if \(f\in K\), then \(e^ f\in K\); 5) if f is a non-zero function in K, then ln \(| f| \in K\); 6) if \(f\in K\) and f(x) tends to a finite number as \(x\to +\infty\), then sin f and cos f also belong to K; 7) if \(f\in E\), \(g\in K\) and \(\lim_{x\to +\infty} g(x)=+\infty,\) then \(f{\mathbb{O}}g\in K.\) The author gives upper bounds of the speed with which a function, satisfying an algebraic differential equation over \({\mathbb{R}}\) and more general fields of functions, may tend to infinity. For example, if f(x) is contained in some differential subfield of B and satisfies an algebraic differential equation of order k over \({\mathbb{R}}\), then \(f(x)\ll \exp_ k(x^ n)\) for some n (where \(\exp_ k(x)\) means the k-th iterate of \(e^ x)\). For the functions from E are given more precise bounds. Theorem 13.2. Let \(f\in E\) and assume that \(\lim_{x\to +\infty} f(x)=+\infty.\) Then there exists a natural number k such that \(\ln_ k(x)\ll f(x)\ll \exp_ k(x).\)
As in the previous paper the author applies the obtained results to study the growth properties of real solutions of differential equations. He gives necessary and sufficient conditions for the differential equation \(\ddot y+\phi(x)y=0(\phi(x)\in E)\) to have no oscillatory solutions at infinity. In the paper the differential fields of function at any finite point are studied also. Some connections between such fields and preceding fields are observed. The author also generalizes the main result of a paper by O. A. Gel’fond and A. G. Khovanskij [Funkts. Anal. Prilozh. 14, No.2, 52-53 (1980; Zbl 0468.30006)]. In conclusion he formulates three new conjectures. Here is one of them: Let \(\phi\) and \(k\in E\). Then the differential equation \(\ddot y+\phi(x)y=k(x)\) has a solution in E.

Reviewer: N.V.Grigorenko

MSC:

26A12	Rate of growth of functions, orders of infinity, slowly varying functions
12H05	Differential algebra
34B10	Nonlocal and multipoint boundary value problems for ordinary differential equations

Keywords:

orders of infinity; Hardy’s L-functions; perfect fields; maximal differential subfields; algebraic differential equation; growth properties

Citations:

Zbl 0539.26002; Zbl 0468.30006

References:

[1]	Bank, S. B.; Kaufman, R. B., A note on Hölder’s theorem concerning the gamma function, Math. Ann., 232, 115-120 (1978) · Zbl 0354.33001 · doi:10.1007/BF01421399
[2]	Boshernitzan, M., An extension of Hardy’s class L of “Orders of Infinity”, J. Analyse Math., 39, 235-255 (1981) · Zbl 0539.26002
[3]	Cohn, P. M., Algebra (1977), London: Wiley, London · Zbl 0341.00002
[4]	Gel’fond, O. A.; Khovanskii, A. G., Real Liouville functions, Funct. Anal. Appl., 14, 122-123 (1980) · Zbl 0493.30004 · doi:10.1007/BF01086557
[5]	Hardy, G. H., Properties of logarithmico-exponential functions, Proc. London Math. Soc., 10, 2, 54-90 (1912) · JFM 42.0437.02 · doi:10.1112/plms/s2-10.1.54
[6]	Hardy, G. H., Some results concerning the behaviour at infinity of a real and continuous solution of an algebraic differential equation of the first order, Proc. London Math. Soc., 10, 2, 451-468 (1912) · JFM 43.0390.02 · doi:10.1112/plms/s2-10.1.451
[7]	G. H. Hardy,Orders of Infinity, Cambridge Tracts in Math. and Math. Phys. 12 (2nd edition), Cambridge, 1924. · JFM 50.0153.04
[8]	Hartman, P., Ordinary Differential Equations (1964), New York: Wiley, New York · Zbl 0125.32102
[9]	Kaplansky, J., An Introduction to Differentiable Algebra (1957), Paris: Hermann, Paris · Zbl 0083.03301
[10]	Rubel, L. A., A universal differential equation, Bull. Am. Math. Soc., 4, 345-349 (1981) · Zbl 0471.34008 · doi:10.1090/S0273-0979-1981-14910-7
[11]	Vijayaraghavan, T., Sur la croissance des fonctions définier par les équations différentielles, C. R. Acad. Sci. Paris, 194, 827-829 (1932) · Zbl 0004.00803