Skip to main content
  • Research Article
  • Open access
  • Published:

Jost Solution and the Spectrum of the Discrete Dirac Systems

Abstract

We find polynomial-type Jost solution of the self-adjoint discrete Dirac systems. Then we investigate analytical properties and asymptotic behaviour of the Jost solution. Using the Weyl compact perturbation theorem, we prove that discrete Dirac system has the continuous spectrum filling the segment [-2,2]. We also study the eigenvalues of the Dirac system. In particular, we prove that the Dirac system has a finite number of simple real eigenvalues.

1. Introduction

Let us consider the boundary value problem (BVP) generated by the Sturm-Liouville equation

(1.1)

and the boundary condition

(1.2)

where is a real-valued function and is a spectral parameter. The bounded solution of (1.1) satisfying the condition

(1.3)

will be denoted by . The solution satisfies the integral equation

(1.4)

It has been shown that, under the condition

(1.5)

the solution has the integral representation

(1.6)

where the function is defined by . The function is analytic with respect to in , continuous , and

(1.7)

holds [1, chapter 3].

The functions and are called Jost solution and Jost function of the BVP (1.1) and (1.2), respectively. These functions play an important role in the solution of inverse problems of the quantum scattering theory [1–4]. In particular, the scattering date of the BVP (1.1) and (1.2) is defined in terms of Jost solution and Jost function. Let , , be the zeros of the Jost function, numbered in the order of increase of their moduli () and

(1.8)

The functions

(1.9)

are bounded solutions of the BVP (1.1) and (1.2), where is the scattering function [1–4]. Using (1.7), we get that

(1.10)

hold. The collection of quantities that specify to as the behaviour of the radial wave functions and at infinity is called the scattering of the BVP (1.1) and (1.2).

Let us consider the self-adjoint system of differential equations of first order

(1.11)

where and are real-valued continuous functions. In the case , , where is a potential function and the mass of a particle, (1.11) is called stationary Dirac system in relativistic quantum theory [5, chapter 7]. Jost solution and the scattering theory of (1.11) have been investigated in [6].

Jost solutions of quadratic pencil of Schrödinger, Klein-Gordon, and -Sturm-Liouville equations have been obtained in [7–9]. In [10–17], using the analytical properties of Jost functions, the spectral analysis of differential and difference equations has been investigated.

Discrete boundary value problems have been intensively studied in the last decade. The modelling of certain linear and nonlinear problems from economics, optimal control theory, and other areas of study has led to the rapid development of the theory of difference equations. Also the spectral analysis of the difference equations has been treated by various authors in connection with the classical moment problem (see the monographs of Agarwal [18], Agarwal and Wong [19], Kelley and Peterson [20], and the references therein). The spectral theory of the difference equations has also been applied to the solution of classes of nonlinear discrete Korteveg-de Vries equations and Toda lattices [21].

Now let us consider the discrete Dirac system

(1.12)

with the boundary condition

(1.13)

where is the forward difference operator: and is the backward difference operator: ; and are real sequences. It is evident that (1.12) is the discrete analogy of (1.11). Let denote the operator generated in the Hilbert space by the BVP (1.12) and (1.13). The operator is self-adjoint, that is, . In the following, we will assume that, the real sequences and satisfy

(1.14)

In this paper, we find Jost solution of (1.12) and investigate analytical properties and asymptotic behaviour of the Jost solution. We also show that, , where denotes the continuous spectrum of , generated in by (1.12) and (1.13).

We also prove that under the condition (1.14) the operator has a finite number of simple real eigenvalues.

2. Jost Solution of (1.12)

If for all and from (1.12), we get

(2.1)

It is clear that

(2.2)

is a solution of (2.1). Now we find the solution , of (1.12) for , satisfying the condition

(2.3)

where .

Theorem 2.1.

Under the condition (1.14) for and ,  (1.12) has the solution , , having the representation

(2.4)
(2.5)

where

(2.6)

Proof.

Substituting defined by (2.4) and (2.5) into (1.12) and taking , , we get the following:

(2.7)
(2.8)

Using (2.7) and (2.8),

(2.9)

hold, where . For , we obtain

(2.10)

By the condition (1.14), the series in the definition of () are absolutely convergent. Therefore, () can, by uniquely be defined by and , that is, the system (1.12) for and , has the solution given by (2.4) and (2.5).

By induction, we easily obtain that

(2.11)

where is the integer part of and is a constant. It follows from (2.4) and (2.11) that (2.3) holds.

Theorem 2.2.

The solution has an analytic continuation from to .

Proof.

From (1.14) and (2.11), we obtain that the series and are uniformly convergent in . This shows that the solution has an analytic continuation from to .

The functions and are called Jost solution and Jost function of the BVP (1.12) and (1.13), respectively. It follows from Theorem 2.2 that Jost solution and Jost function are analytic in and continuous on .

Theorem 2.3.

The following asymptotics hold:

(2.12)

Proof.

From (2.4), we get that

(2.13)

Using (2.11) and (2.13), we obtain

(2.14)

So we have

(2.15)

by (2.14). In a manner similar to (2.15), we get

(2.16)

From (2.15) and (2.16), we obtain (2.12).

3. Continuous and Discrete Spectrum of the BVP (1.12) and (1.13)

Let denote the Hilbert space of all complex vector sequences

(3.1)

with the norm

(3.2)

Theorem 3.1.

.

Proof.

Let denote the operator generated in by the BVP

(3.3)

We also define the operator in by the following:

(3.4)

It is clear that and

(3.5)

where denotes the operator generated in by the BVP (1.12) and (1.13). It follows from (1.14) that the operator is compact in . We easily prove that

(3.6)

Using the Weyl theorem [22] of a compact perturbation, we obtain

(3.7)

Since the operator is selfadjoint, the eigenvalues of are real. From the definition of the eigenvalues, we get that

(3.8)

where denotes the set of all eigenvalues of .

Definition 3.2.

The multiplicity of a zero of the function is called the multiplicity of the corresponding eigenvalue of .

Theorem 3.3.

Under the condition (1.14), the operator has a finite number of simple real eigenvalues.

Proof.

To prove the theorem, we have to show that the function has a finite number of simple zeros.

Let be one of the zeros of . Now we show that

(3.9)

Let be the Jost solution of (1.12) that is,

(3.10)

Differentiating (3.10) with respect to , we have

(3.11)

Using (3.10) and (3.11), we obtain

(3.12)

or

(3.13)

It follows from (3.13) that

(3.14)

that is, all zeros of are simple.

Let denote the infimum of distances between two neighboring zeros of . We show that . Otherwise, we can take a sequence of zeros and of the function , such that

(3.15)

It follows from (2.4) that, for large ,

(3.16)

holds, where .

From the equation

(3.17)

we get

(3.18)

There is a contradiction comparing (3.16) and (3.18). So and function has only a finite number of zeros.

References

  1. Marchenko VA: Sturm-Liouville Operators and Applications, Operator Theory: Advances and Applications. Volume 22. Birkhäuser, Basel, Switzerland; 1986:xii+367.

    Book  Google Scholar 

  2. Levitan BM: Inverse Sturm-Liouville Problems. VSP, Zeist, The Netherlands; 1987:x+240.

    MATH  Google Scholar 

  3. Chadan K, Sabatier PC: Inverse Problems in Quantum Scattering Theory. Springer, New York, NY, USA; 1977:xxii+344.

    Book  MATH  Google Scholar 

  4. Zaharov VE, Manakov SV, Novikov SP, PitaevskiÄ­ LP: Theory of Solutions. Plenum Press, New York, NY, USA; 1984.

    Google Scholar 

  5. Levitan BM, Sargsjan IS: Sturm-Liouville and Dirac Operators, Mathematics and Its Applications. Volume 59. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1991:xii+350.

    Book  Google Scholar 

  6. Gasymov MG, Levitan BM: Determination of the Dirac system from the scattering phase. Doklady Akademii Nauk SSSR 1966, 167: 1219-1222.

    MathSciNet  MATH  Google Scholar 

  7. Jaulent M, Jean C: The inverse s -wave scattering problem for a class of potentials depending on energy. Communications in Mathematical Physics 1972, 28: 177-220. 10.1007/BF01645775

    Article  MathSciNet  Google Scholar 

  8. Bairamov E, Karaman Ö: Spectral singularities of Klein-Gordon s -wave equations with an integral boundary condition. Acta Mathematica Hungarica 2002,97(1-2):121-131.

    Article  MathSciNet  MATH  Google Scholar 

  9. Adıvar M, Bohner M: Spectral analysis of q -difference equations with spectral singularities. Mathematical and Computer Modelling 2006,43(7-8):695-703. 10.1016/j.mcm.2005.04.014

    Article  MathSciNet  MATH  Google Scholar 

  10. Krall AM: A nonhomogeneous eigenfunction expansion. Transactions of the American Mathematical Society 1965, 117: 352-361.

    Article  MathSciNet  MATH  Google Scholar 

  11. Lyance VE: A differential operator with spectral singularities, I. AMS Translations 1967,2(60):185-225.

    Google Scholar 

  12. Lyance VE: A differential operator with spectral singularities, II. AMS Translations 1967,2(60):227-283.

    Google Scholar 

  13. Bairamov E, Çelebi AO: Spectrum and spectral expansion for the non-selfadjoint discrete Dirac operators. The Quarterly Journal of Mathematics. Oxford Second Series 1999,50(200):371-384. 10.1093/qjmath/50.200.371

    Article  MathSciNet  MATH  Google Scholar 

  14. Krall AM, Bairamov E, Çakar Ö: Spectrum and spectral singularities of a quadratic pencil of a Schrödinger operator with a general boundary condition. Journal of Differential Equations 1999,151(2):252-267. 10.1006/jdeq.1998.3519

    Article  MathSciNet  MATH  Google Scholar 

  15. Bairamov E, Çakar Ö, Krall AM: An eigenfunction expansion for a quadratic pencil of a Schrödinger operator with spectral singularities. Journal of Differential Equations 1999,151(2):268-289. 10.1006/jdeq.1998.3518

    Article  MathSciNet  MATH  Google Scholar 

  16. Bairamov E, Çakar Ö, Krall AM: Non-selfadjoint difference operators and Jacobi matrices with spectral singularities. Mathematische Nachrichten 2001, 229: 5-14. 10.1002/1522-2616(200109)229:1<5::AID-MANA5>3.0.CO;2-C

    Article  MathSciNet  MATH  Google Scholar 

  17. Krall AM, Bairamov E, Çakar Ö: Spectral analysis of non-selfadjoint discrete Schrödinger operators with spectral singularities. Mathematische Nachrichten 2001, 231: 89-104. 10.1002/1522-2616(200111)231:1<89::AID-MANA89>3.0.CO;2-Y

    Article  MathSciNet  MATH  Google Scholar 

  18. Agarwal RP: Difference Equations and Inequalities: Theory, Methods, and Applications, Monographs and Textbooks in Pure and Applied Mathematics. Volume 228. 2nd edition. Marcel Dekker, New York, NY, USA; 2000:xvi+971.

    Google Scholar 

  19. Agarwal RP, Wong PYJ: Advanced Topics in Difference Equations. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997.

    Book  MATH  Google Scholar 

  20. Kelley WG, Peterson AC: Difference Equations: An Introduction with Applications. 2nd edition. Harcourt/Academic Press, San Diego, Calif, USA; 2001:x+403.

    MATH  Google Scholar 

  21. Toda M: Theory of Nonlinear Lattices, Springer Series in Solid-State Sciences. Volume 20. Springer, Berlin, Germany; 1981:x+205.

    Google Scholar 

  22. Glazman IM: Direct Methods of Qualitative Spectral Analysis of Singular Differential Operators. Israel Program for Scientific Translations, Jerusalem, Palestine; 1966:ix+234.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Elgiz Bairamov.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Bairamov, E., Aygar, Y. & Olgun, M. Jost Solution and the Spectrum of the Discrete Dirac Systems. Bound Value Probl 2010, 306571 (2010). https://doi.org/10.1155/2010/306571

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2010/306571

Keywords