Sufficient and necessary conditions for the classification of Sturm-Liouville differential equations with complex coefficients. (English) Zbl 1241.34031

Xie, Bing; Qi, Jian Gang

Abstr. Appl. Anal. 2011, Article ID 340796, 15 p. (2011).

The authors determine important new asymptotic behavior relative to the class of solutions to the spectral problem for non-self-adjoint Sturm-Liouville ordinary differential equations developed by B. M. Brown, D. K. R. McCormack, W. D. Evans and M. Plum [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 455, No. 1984, 1235–1257 (1999; Zbl 0944.34018)]. The equation is \[ y= w^{-1}(-(py')'+ qy)= \lambda y,~ a\leq x< b,\tag{i} \] \(w> 0\), \(p\), \(q\) complex determine an unbounded operator \(T\) on \(L^2_w\) with domain \(D(T)\). Let \(\Omega\) be the smallest closed convex set in \(\mathbb C\) containing points \[ \{p/w+ rq\}, ~r> 0,~ a\leq x<b.\tag{ii} \] \(\Omega\) is contained in a half plane whose support line is a rotation of angle \(\theta\) from \(\text{Re\,}\mathbb C= 0\) and touches \(\Omega\) at \(K\) on the boundary. Let \(S\) be the set of \((\theta,K)\) such that \(\text{Re}(\exp(i\theta)(\mu- K))\geq 0\), \(\mu\in\Omega\), \(K\) not an extreme point and let \(\Lambda(\theta,K)\) be the half plane \(\{\mu: \text{Re}(\exp(i\theta)(\mu- K))< 0\}\). Let \(\lambda\in\Lambda(\theta, K)\) be such that (i) has solutions \((\lambda,y)\). These are classified into three cases, I, II, III. Let \(E\) be the set of all \(\theta\) such that \((\theta,K)\in S\).
The following asymptotic results are proved when \(b=\infty\), \(0\leq x< b\):
(a) \(T\) is in case I if and only if for \(y_1,y_2\in D(T)\), \(\theta\in E\), \[ p(y_1' y- y_1 y_2')\to 0, ~x\to\infty.\tag{iii} \]
(b) If \(E\) has more than one point then \(T\) is in case I if and only if \[ py_1 y_2'\to 0,~ x\to\infty,~ y_1,y_2\in D(T).\tag{iv} \]
(c) \(T\) is in case II with respect to \((\theta_0,K_0)\in S\) if and only if \(D(T)\neq D_{\theta_0}(T)\neq 0\), \[ \overline py_1\overline y_1'+ \exp(2i\theta_0) p\overline y_1y_2'\to 0~, x\to\infty,\tag{v} \] where \(D_{\theta_0}(T)\) denotes elements of \(D(T)\) such that \[ \int^\infty_0 (\text{Re}(\exp(i\theta_0) p)|y'|^2+ \text{Re}(\exp(i\theta_0)q)|y|^2)\,dx<\infty.\tag{vi} \] The method of proof is to reduce the equation (i) to a \((2,2)\) matrix Hamiltonian system and apply the general results about such systems by the authors [J. Qi and H. Wu, Math. Nachr. 284, No. 5–6, 764–780 (2011; Zbl 1235.34084)]. Cases I and II are generalizations of the limit point case, \(p\), \(q\) real. Case III is a generalization of the limit circle case.

Reviewer: J. B. Butler jun. (Portland)

MSC:

34B24	Sturm-Liouville theory
34C40	Ordinary differential equations and systems on manifolds
34B20	Weyl theory and its generalizations for ordinary differential equations

Citations:

Zbl 0944.34018; Zbl 1235.34084

References:

[1]	H. Weyl, “Über gewöhnliche Differentialgleichungen mit Singularitäten und die zugehörigen Entwicklungen,” Mathematische Annalen, vol. 68, no. 2, pp. 220-269, 1910. · JFM 41.0343.01
[2]	S. Clark and P. Zemánek, “On a Weyl-Titchmarsh theory for discrete symplectic systems on a half line,” Applied Mathematics and Computation, vol. 217, no. 7, pp. 2952-2976, 2010. · Zbl 1214.37034
[3]	M. S. Eastham, “The limit-2n case of symmetric differential operators of order 2n,” Proceedings of the London Mathematical Society, vol. 38, no. 3, pp. 272-294, 1979. · Zbl 0398.34021
[4]	D. B. Hinton and J. K. Shaw, “On Titchmarsh-Weyl M(\lambda )-fuctions for linear Hamiltonian systems,” Journal of Differential Equations, vol. 40, no. 3, pp. 316-342, 1981. · Zbl 0472.34014
[5]	D. B. Hinton and J. K. Shaw, “Hamiltonian systems of limit point or limit circle type with both endpoints singular,” Journal of Differential Equations, vol. 50, no. 3, pp. 444-464, 1983. · Zbl 0476.34027
[6]	D. B. Hinton and J. K. Shaw, “On boundary value problems for Hamiltonian systems with two singular points,” SIAM Journal on Mathematical Analysis, vol. 15, no. 2, pp. 272-286, 1984. · Zbl 0539.34016
[7]	A. M. Krall, “M(\lambda ) theory for singular Hamiltonian systems with one singular point,” SIAM Journal on Mathematical Analysis, vol. 20, no. 3, pp. 664-700, 1989. · Zbl 0683.34008
[8]	A. M. Krall, “M(\lambda ) theory for singular Hamiltonian systems with two singular points,” SIAM Journal on Mathematical Analysis, vol. 20, no. 3, pp. 701-715, 1989. · Zbl 0694.34013
[9]	J. Weidmann, Spectral Theory of Ordinary Differential Operators, vol. 1258 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1987. · Zbl 0647.47052
[10]	A. Zettl, Sturm-Liouville Theory, vol. 121 of Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, USA, 2005. · Zbl 1074.34030
[11]	A. R. Sims, “Secondary conditions for linear differential operators of the second order,” vol. 6, pp. 247-285, 1957. · Zbl 0077.29201
[12]	B. M. Brown, D. K. R. McCormack, W. D. Evans, and M. Plum, “On the spectrum of second-order differential operators with complex coefficients,” Proceedings of the Royal Society A, vol. 455, no. 1984, pp. 1235-1257, 1999. · Zbl 0944.34018
[13]	F. V. Atkinson, Discrete and Continuous Boundary Value Problems, Academic Press, New York, NY, USA, 1964. · Zbl 0137.14402
[14]	W. N. Everitt, M. Giertz, and J. B. McLeod, “On the strong and weak limit-point classfication of second-order differential expressions,” Proceedings of the London Mathematical Society, vol. 29, no. 3, pp. 142-158, 1974. · Zbl 0302.34022
[15]	B. M. Brown and M. Marletta, “Spectral inclusion and spectral exactness for singular non-self-adjoint Sturm-Liouville problems,” Proceedings of the Royal Society A, vol. 457, no. 2005, pp. 117-139, 2001. · Zbl 0992.34017
[16]	Y. Xiao, “Periodic solutions with prescribed minimal period for the second order Hamiltonian systems with even potentials,” Acta Mathematica Sinica, vol. 26, pp. 49-76, 2010. · Zbl 1211.34051
[17]	W. N. Everitt and M. Giertz, “On integrable-square classfication of ordingary differential expressions,” Journal of the London Mathematical Society, vol. 14, no. 2, pp. 41-45, 1964.
[18]	W. N. Everitt, “On the limit-point classification of second-order differential operators,” Journal of the London Mathematical Society, vol. 41, pp. 531-534, 1966. · Zbl 0145.10604
[19]	W. N. Everitt and M. Giertz, “On some properties of the domains of powers of certain differential operators,” Proceedings of the London Mathematical Society, vol. 24, no. 3, pp. 756-768, 1972. · Zbl 0258.34007
[20]	W. N. Everitt, D. B. Hinton, and J. S. Wong, “On the SLP condition of ordinary differential equations of order 2n,” Proceedings of the London Mathematical Society, vol. 29, no. 3, pp. 351-357, 1974. · Zbl 0305.34040
[21]	J. Qi and S. Chen, “Strong limit-point classification of singular Hamiltonian expressions with complex coefficients,” Proceedings of the American Mathematical Society, vol. 132, no. 6, pp. 1667-1674, 2004. · Zbl 1054.34041
[22]	J. Qi and H. Wu, “Limit point, strong limit point and Dirichlet conditions for Hamiltonian differential systems,” Mathematische Nachrichten, vol. 284, pp. 764-780, 2011. · Zbl 1235.34084
[23]	H. Sun and J. Qi, “On classification of second-order differential equations with complex coefficients,” Journal of Mathematical Analysis and Applications, vol. 372, no. 2, pp. 585-597, 2010. · Zbl 1252.34033
[24]	D. E. Edmunds and W. D. Evans, Spectral Theory and Differential Operators, Clarendon Press, Oxford, UK, 1987. · Zbl 0628.47017