Classification of non-self-adjoint singular Sturm-Liouville difference equations (Q548368): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Jian Gang Qi / rank | |||
Property / author | |||
Property / author: Jian Gang Qi / rank | |||
Normal rank | |||
Property / review text | |||
This paper is concerned with the Sturm-Liouville difference equation with complex coefficients: \[ -\nabla \left( p(n)\Delta x(n)\right) +q(n)x(n)=\lambda w(n)x(n),\;n\in {\mathbb{N}}_{0}=\{0,1,2,\dots\}, \tag{1} \] where \(\left\{ p(n)\right\} _{n=-1}^\infty, \left\{q(n)\right\}_{n=0}^{\infty}\) are complex sequences such that \(p(n)\neq 0\) for \( n=0,1,2,\dots\), \(\left\{ w(n)\right\} _{n=0}^{\infty }\) is a positive real sequence, and \(\lambda \) is a spectral parameter. An important question is whether a solution \(\left\{ x(n)\right\} _{n=-1}^{\infty }\) (which depends on \(\lambda \)) is square summable, that is, whether the series \( \sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}\) is finite. Let \[ \Omega =\overline{co}\left\{ \frac{q(n)}{w(n)}+rp(n),\;n\in {\mathbb{N}}_{0},\;0<r<\infty \right\}, \] where \(\overline{co}\) stands for the closed convex hull, let \[ S=\left\{ (\theta ,K):K\in \partial \Omega ,\text{Re}\left| (z-K)e^{i\theta }\right| \geq 0\text{ for all }z\in \Omega \right\}, \] and let \[ \Lambda _{\theta ,K}=\left\{ \lambda \in {\mathbb{C}}:\text{Re}\left( \left( \lambda -K\right) e^{i\theta }\right) <0\right\}. \] The authors give the following definition: Let \((\theta ,K)\in S\) and \(\lambda \in \Lambda _{\theta,K}\). If (1) has exactly one linearly independent solution \(\left\{x(n)\right\}\) satisfying \[ \sum_{n=0}^{\infty }\text{Re}\left[ e^{i\theta }\left( q(n)-Kw(n)\right) \right] \left| x(n)\right| ^{2}+\sum_{n=0}^{\infty }\text{Re}\left( e^{i\theta }p(n)\right) \left| \Delta (n)\right| ^{2}+\sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}<\infty, \tag{2} \] and this is the only linearly independent square summable solution, then (1) is of Type I. If (1) has exactly one linearly independent solution satisfying (2), but all solutions of (1) are square summable, then (1) is of Type II. If all solutions of (1) satisfy (2) (and hence square summable), then (1) is of Type III. It is shown that a Type I equation does not depend on \(\Lambda _{\theta ,K},\) but Type II and Type III equations do. The results in this paper supplement those in an earlier paper by \textit{R. H. Wilson} [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 461, No.~2057, 1505--1531 (2005; Zbl 1145.47303)]. In particular, the dependence of Type II and Type III equations on \(\Lambda _{\theta ,K}\) is discussed. Remark: Since \(p(-1)\) is also involved in (1), it may seem necessary to explain why this number does not play any role in \(\Omega\) and in the classification scheme. | |||
Property / review text: This paper is concerned with the Sturm-Liouville difference equation with complex coefficients: \[ -\nabla \left( p(n)\Delta x(n)\right) +q(n)x(n)=\lambda w(n)x(n),\;n\in {\mathbb{N}}_{0}=\{0,1,2,\dots\}, \tag{1} \] where \(\left\{ p(n)\right\} _{n=-1}^\infty, \left\{q(n)\right\}_{n=0}^{\infty}\) are complex sequences such that \(p(n)\neq 0\) for \( n=0,1,2,\dots\), \(\left\{ w(n)\right\} _{n=0}^{\infty }\) is a positive real sequence, and \(\lambda \) is a spectral parameter. An important question is whether a solution \(\left\{ x(n)\right\} _{n=-1}^{\infty }\) (which depends on \(\lambda \)) is square summable, that is, whether the series \( \sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}\) is finite. Let \[ \Omega =\overline{co}\left\{ \frac{q(n)}{w(n)}+rp(n),\;n\in {\mathbb{N}}_{0},\;0<r<\infty \right\}, \] where \(\overline{co}\) stands for the closed convex hull, let \[ S=\left\{ (\theta ,K):K\in \partial \Omega ,\text{Re}\left| (z-K)e^{i\theta }\right| \geq 0\text{ for all }z\in \Omega \right\}, \] and let \[ \Lambda _{\theta ,K}=\left\{ \lambda \in {\mathbb{C}}:\text{Re}\left( \left( \lambda -K\right) e^{i\theta }\right) <0\right\}. \] The authors give the following definition: Let \((\theta ,K)\in S\) and \(\lambda \in \Lambda _{\theta,K}\). If (1) has exactly one linearly independent solution \(\left\{x(n)\right\}\) satisfying \[ \sum_{n=0}^{\infty }\text{Re}\left[ e^{i\theta }\left( q(n)-Kw(n)\right) \right] \left| x(n)\right| ^{2}+\sum_{n=0}^{\infty }\text{Re}\left( e^{i\theta }p(n)\right) \left| \Delta (n)\right| ^{2}+\sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}<\infty, \tag{2} \] and this is the only linearly independent square summable solution, then (1) is of Type I. If (1) has exactly one linearly independent solution satisfying (2), but all solutions of (1) are square summable, then (1) is of Type II. If all solutions of (1) satisfy (2) (and hence square summable), then (1) is of Type III. It is shown that a Type I equation does not depend on \(\Lambda _{\theta ,K},\) but Type II and Type III equations do. The results in this paper supplement those in an earlier paper by \textit{R. H. Wilson} [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 461, No.~2057, 1505--1531 (2005; Zbl 1145.47303)]. In particular, the dependence of Type II and Type III equations on \(\Lambda _{\theta ,K}\) is discussed. Remark: Since \(p(-1)\) is also involved in (1), it may seem necessary to explain why this number does not play any role in \(\Omega\) and in the classification scheme. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Sui-Sun Cheng / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39A12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39A06 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 39A22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 34B24 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5914115 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Sturm-Liouville difference equation | |||
Property / zbMATH Keywords: Sturm-Liouville difference equation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hamiltonian difference system | |||
Property / zbMATH Keywords: Hamiltonian difference system / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
square summable solition | |||
Property / zbMATH Keywords: square summable solition / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
limit point | |||
Property / zbMATH Keywords: limit point / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
limit circle | |||
Property / zbMATH Keywords: limit circle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
classification scheme | |||
Property / zbMATH Keywords: classification scheme / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.amc.2011.02.107 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2091067078 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Discrete and continuous boundary problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5336643 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong limit-point classification of singular Hamiltonian expressions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3242330 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the spectrum of second-order differential operators with complex coefficients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral inclusion and spectral exactness for singular non-self-adjoint Sturm-Liouville problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral inclusion and spectral exactness for singular non-self-adjoint Hamiltonian systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Titchmarsh–Sims–Weyl Theory for Complex Hamiltonian Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Second-order Sturm-Liouville difference equations and orthogonal polynomials / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weyl--Titchmarsh theory for a class of discrete linear Hamiltonian systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong limit point criteria for a class of singular discrete linear Hamiltonian systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4534403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic behaviour of second-order difference equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Growth estimates for solutions of nonlinear second-order difference equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(M\)-functions and operator theory for non-self-adjoint discrete Hamiltonian systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-self-adjoint difference operators and their spectrum / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 06:12, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Classification of non-self-adjoint singular Sturm-Liouville difference equations |
scientific article |
Statements
Classification of non-self-adjoint singular Sturm-Liouville difference equations (English)
0 references
28 June 2011
0 references
This paper is concerned with the Sturm-Liouville difference equation with complex coefficients: \[ -\nabla \left( p(n)\Delta x(n)\right) +q(n)x(n)=\lambda w(n)x(n),\;n\in {\mathbb{N}}_{0}=\{0,1,2,\dots\}, \tag{1} \] where \(\left\{ p(n)\right\} _{n=-1}^\infty, \left\{q(n)\right\}_{n=0}^{\infty}\) are complex sequences such that \(p(n)\neq 0\) for \( n=0,1,2,\dots\), \(\left\{ w(n)\right\} _{n=0}^{\infty }\) is a positive real sequence, and \(\lambda \) is a spectral parameter. An important question is whether a solution \(\left\{ x(n)\right\} _{n=-1}^{\infty }\) (which depends on \(\lambda \)) is square summable, that is, whether the series \( \sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}\) is finite. Let \[ \Omega =\overline{co}\left\{ \frac{q(n)}{w(n)}+rp(n),\;n\in {\mathbb{N}}_{0},\;0<r<\infty \right\}, \] where \(\overline{co}\) stands for the closed convex hull, let \[ S=\left\{ (\theta ,K):K\in \partial \Omega ,\text{Re}\left| (z-K)e^{i\theta }\right| \geq 0\text{ for all }z\in \Omega \right\}, \] and let \[ \Lambda _{\theta ,K}=\left\{ \lambda \in {\mathbb{C}}:\text{Re}\left( \left( \lambda -K\right) e^{i\theta }\right) <0\right\}. \] The authors give the following definition: Let \((\theta ,K)\in S\) and \(\lambda \in \Lambda _{\theta,K}\). If (1) has exactly one linearly independent solution \(\left\{x(n)\right\}\) satisfying \[ \sum_{n=0}^{\infty }\text{Re}\left[ e^{i\theta }\left( q(n)-Kw(n)\right) \right] \left| x(n)\right| ^{2}+\sum_{n=0}^{\infty }\text{Re}\left( e^{i\theta }p(n)\right) \left| \Delta (n)\right| ^{2}+\sum_{n=0}^{\infty }w(n)\left| x(n)\right| ^{2}<\infty, \tag{2} \] and this is the only linearly independent square summable solution, then (1) is of Type I. If (1) has exactly one linearly independent solution satisfying (2), but all solutions of (1) are square summable, then (1) is of Type II. If all solutions of (1) satisfy (2) (and hence square summable), then (1) is of Type III. It is shown that a Type I equation does not depend on \(\Lambda _{\theta ,K},\) but Type II and Type III equations do. The results in this paper supplement those in an earlier paper by \textit{R. H. Wilson} [Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 461, No.~2057, 1505--1531 (2005; Zbl 1145.47303)]. In particular, the dependence of Type II and Type III equations on \(\Lambda _{\theta ,K}\) is discussed. Remark: Since \(p(-1)\) is also involved in (1), it may seem necessary to explain why this number does not play any role in \(\Omega\) and in the classification scheme.
0 references
Sturm-Liouville difference equation
0 references
Hamiltonian difference system
0 references
square summable solition
0 references
limit point
0 references
limit circle
0 references
classification scheme
0 references
0 references
0 references
0 references
0 references