Asymptotic behavior of solutions of certain second order differential equations at infinity (Q1387930): Difference between revisions

In his work [Embeddings of discrete series and related differential equations, Master Thesis, Kyoto Univ. (1966)], the author considers differential equations of the form: \[ u''(t)+ f(t) u(t)= 0.\tag{1} \] Here, \(u\) is an unknown function and \(f\) is a given coefficient function. The order of decay of \(u(t)\) as \(t\to\infty\) is explicitly given in terms of \(f(t)\). So, a function space is introduced. For two positive numbers \(p\) and \(A\) let \({\mathcal F}_{a,p,A}\) be the totality of real-valued \(C^2\)-functions \(f\) on an open interval containing \(I= [a,\infty)\), \(a\in\mathbb{R}\), satisfying the conditions: (i) \(f(t)\) is positive and convex on \(I\); (ii) the inequality \(f(t) f''(t)\leq (p+1) f'(t)^2\) holds for \(t\in I\), \(f'(t)\geq Af(t)\). The result is the following theorem: If the coefficient function \(f\) in (1) is from \({\mathcal F}_{a,p,A}\) for some \(0< p<1/4\), \(a\in \mathbb{R}\) and \(A>0\), then \(u(t)= O(f(t))^{-1/4}\) as \(t\to\infty\) for all \(u\) in the space of all real-valued solutions to (1). For suitable coefficient functions \(f\) in (1), the result gives well-known estimates for all solutions to Bessel's differential equation. The author gives considerations for the equation \(u''(t)+ e^t u(t)= 0\) and uses two analytic functions. For further details see the author's references, especially [\textit{H. Yamashita}, Jap. J. Math., New Ser. 16, No. 1, 31-95 (1990; Zbl 0759.22019)].