Completeness Theorem for Eigenparameter Dependent Dissipative Dirac Operator with General Transfer Conditions

Li, Kun; Zhang, Maozhu; Cai, Jinming; Zheng, Zhaowen

doi:https://doi.org/10.1155/2020/8718930

Journal of Function Spaces

On this page

Abstract Introduction Conclusion Data Availability Conflicts of Interest Authors’ Contributions Acknowledgments References Copyright Related Articles

Research Article | Open Access

Volume 2020 | Article ID 8718930 | https://doi.org/10.1155/2020/8718930

Completeness Theorem for Eigenparameter Dependent Dissipative Dirac Operator with General Transfer Conditions

Kun Li,¹Maozhu Zhang,²Jinming Cai,¹and Zhaowen Zheng¹

Academic Editor: Seppo Hassi

Received26 Jul 2019

Accepted05 Oct 2019

Published13 Feb 2020

Abstract

This paper deals with a singular (Weyl’s limit circle case) non-self-adjoint (dissipative) Dirac operator with eigenparameter dependent boundary condition and finite general transfer conditions. Using the equivalence between Lax-Phillips scattering matrix and Sz.-Nagy-Foiaş characteristic function, the completeness of the eigenfunctions and associated functions of this dissipative operator is discussed.

1. Introduction

Spectral analysis and expansion of eigenfunctions in the fields of differential operators are important parts in the theory of ordinary differential equation boundary value problems. Generally speaking, the spectral parameter appears only in the equation. However, lots of problems in the mathematical physics require that eigenparameter appears not only in the equation but also in the boundary and transfer conditions. As is well known, many complicated physical phenomena with discontinuities can be transferred to operator problems with transfer conditions (also called point interactions, transmission conditions, interface conditions). Various physical applications of such problems arise in the theory of mechanics, heat, and mass transfer problems, etc. (see, for example, [1–23]).

Dirac system plays an important role in the theory of relativistic. Meanwhile, Dirac system with spectral parameter in the boundary conditions describes the behavior of a relativistic particle in an electromagnetic field. When an atomic system is subjected to an external electromagnetic field or a mechanical system to an external force, these would result in the discontinuity of origin system. Such as in geophysical problems, the reflection of transverse waves at the bottom of the earth’s crust jumps phenomena due to high-speed ions colliding with atomic systems. These reasons may cause the eigenfunctions in the equations describing the system to have discontinuities, that is to say, operators with transfer conditions [9, 24, 25].

Dissipative operator is an important class of non-self-adjoint operators, which can be traced back to the study of hyperbolic partial differential equations. For example, the telegraph operator equation can be converted into the study of dissipative differential operator [26]. The dissipation of differential operators can be induced by many factors, such as the boundary conditions, coefficients in the equation, etc. In 1970s, Pavlov [27] proposed a new method for spectral analysis of dissipative operators. This method is based on building their self-adjoint dilation and the corresponding functional model of Sz.-Nagy-Foias type. Based on this, one could study spectral properties of the operator using the equivalence between the Lax-Phillips scattering matrix and the characteristic function. This equivalence has been used by many authors [2, 14, 15, 28–31]. Moreover, Behrndt et al. [32] investigated an alternative approach to the construction of the self-adjoint dilation of an m-dissipative operator as well as a connection between the characteristic function and scattering matrix. In this paper, we investigate a class of dissipative discontinuous Dirac operators with two singular endpoints (in Weyl’s limit circle case), and one of boundary conditions is linearly dependent on the eigenparameter, and general transfer conditions are imposed on the discontinuous points. Using the equivalence between the Lax-Phillips scattering matrix and the characteristic function, we investigate the discreteness of the spectrum and the completeness of the system consisting of eigenfunctions and associated functions. What calls for special attention is that the transfer conditions in this paper are in the sense of coupled, which are different from the usual, namely, the values of the solutions and their derivatives at the interior discontinuous points are not independent of each other. The transfer conditions in the sense of separated for dissipative Dirac operators have been investigated by Uğurlu [14, 15]. For self-adjoint Sturm–Liouville operators, this kind of problems have been investigated by Mukhtarov [16, 17, 19]. It should be noted that completeness properties and the Riesz basis property for strongly regular boundary value problems for Dirac operators on a finite interval have been established in [33–35].

The arrangement of this paper is as follows: in Section 2, we transfer the considered problem to a maximal dissipative operator In Section 3, the self-adjoint dilation, incoming and outgoing spectral representations, functional model, and characteristic function of this dissipative operator are derived. Our main results on the completeness theorem are investigated in Section 4.

2. Dissipative Operator

We study the following Dirac system consisting of the equation

where , and

We have the following basic hypotheses on the coefficients of Equation (2.1) and the interval

(a₁)

holds almost everywhere on ; and are real vector-valued locally integrable and Lebesgue measurable functions on .

Let be a Hilbert space which consists of all functions satisfying and equipped with inner product

Let Setting be a set such that for any are locally absolutely continuous functions on and

For arbitrary vectors we have

where . Hence, , exist and are finite by Equation (4).

In the sequel, we will always assume that Weyl’s limit-circle case holds for the Dirac system (1) at endpoints and (see [11, 36]).

Consider the boundary value transfer problem (BVTP)

where is a complex number with is a complex parameter, , are given real numbers, and

are the solutions of the system

and satisfy the conditions

and transfer conditions (8) and (9), where

are parts of defined on the interval respectively. By the property of the Wronskian and (12) we get that

Hence, any solutions of (11) can be represented as linear combination of and . Since Weyl’s limit circle cases hold for the Dirac system, , moreover,

Remark 1. In this article, we assume that with this hypothesis, the problem (5)–(9) can be transferred to the study of dissipative operators. Particularly, when the considered problem can be transferred to the self-adjoint case which is well known. Our interests focus on the non-self-adjoint case, hence, here we assume that

For convenience, the following notations will be used:

Then, for any ,

Let and be the solutions of (5) satisfying

and transfer conditions (8) and (9), respectively. Let , then simple calculation gives

From (20), we have is an entire function and the spectrum of BVTP (5)–(9) coincide with the zeros of

In the following, in order to transfer BVTP (5)–(9) to operator form, a special inner product is introduced in the Hilbert space . To this end, for any denote the inner product as

where

Consider the operator with domain

and acts as

Therefore, the problem (5)–(9) is transferred into operator form

Theorem 1. is maximal dissipative in .

Proof. Let ThenBy (16), we haveUsing transfer conditions (8) and (9), we haveBy (7) and (17), one gets thatSubstituting (27)–(29) into (26) yields thatSince and , is dissipative in . Moreover, it can be easily proved thatTherefore, the result follows.

Using the same method in [2], it is easy to check that the following lemma holds.

Lemma 1. For the same eigenvalue , each chain of eigenvectors and associated vectors of BVTP (5)–(9) corresponds to the chain of eigenvectors and associated vectors of . In this case, the equalitytakes place.

3. Scattering Function

In this section, we derive self-adjoint dilation, to this end, the incoming channel and outgoing channel are added, and orthogonal sum is called main Hilbert space, where and

We consider the operator in with the domain , which is generated by the expression

where , are Sobolev spaces, and .

Theorem 2. is self-adjoint in .

Proof. Let . Integration by parts yieldswhich implies that is symmetric in , and .
In order to prove is self-adjoint, we only need to show . To do this, let , , and . Simple calculation giveswhere , . Analogously, let , then we havethrough integrating by parts with respect to Then the equality , holds by (37).
Through the definition of , we haveandComparing the coefficients of and yields thatTherefore, by (40) and (41). Above discussion implies .

Let , then it is an unitary group. Define the mappings and as follows:

Utilizing , then one can construct , which is a strongly continuous semigroup of nonunitary contractions on . is called the self-adjoint dilation of the generator of and

It should be noted that is dissipative in [27, 37].

Theorem 3. is the self-adjoint dilation of

Proof. We only need to show To this end, we consider the following equalitywhere , and . Then we have and . Since , then , . Therefore, satisfies , and . Since is a dissipative operator, we get that if , then is not the eigenvalue of . Hence,Through we haveOn the other hand,Hence by (46) and (47), and result follows.

In what follows, let us consider the subspaces and

Lemma 2. The spaces and possess the following properties:(i) (ii) (iii) (iv)

Proof. Let , then for , we haveHence, if and , then

This gives that Hence, for , we have The similar discussion can be done for , thus the proof of property (i) is finished.

In the following, consider the semigroup of isometries , where and are in the form of

The generator of is

where and . It is known that the generator of the one-sided shift in is differential operator satisfying . Due to a semigroup is uniquely determined by its the generator, we have . Therefore,

The same proof can be done with respect to The proof of property (ii) is done.

Let

If the restriction of on a subspace is the self-adjoint part, then for we have

This gives and by the boundary condition (7). It follows from and that . Utilizing the expansion theorem on in eigenfunctions of the self-adjoint operator , we have Thus is completely non-self-adjoint in which results in

Otherwise, there exists a nontrivial subspace which would invariant with respect to group and the restriction of to were unitary. Thus the restriction of on is a self-adjoint operator.

Let and be the solutions of Equation (5) satisfying

and

Setting the vectors

and

where

When is real, the vectors and do not belong to the space . Simple calculation gives that and satisfy and the boundary-transfer conditions of For , define the Fourier transformations

where are smooth, compactly supported functions. Let Then the equality

holds. Here are the Hardy classes in . Now consider the dense set in consisting of all vectors such that is compactly supported in and if , where is nonnegative number. Then if we obtain for and that , and their first components belong to . Therefore

Taking closure in (65), then the Parseval equality holds for the entire space . Furthermore, the inversion formula

results from the Parseval equality if all integrals are taken as limits in the mean of the intervals. Consequently,

The analogous argument can be used for Hence, and are isometrically identical with , which imply that The proof of property (iii) follows.

Utilizing the inner product in the property (iv) holds.

Evidently, is a meromorphic function in , and has a countable number of poles on by the definition of Moreover, for all and for all , except the real poles of

In the proof of Lemma 2, we have obtained that is the incoming (outgoing) spectral representation for the group , respectively. is transformed into .

For we have . Therefore, by utilizing (59)–(61) we have

Thus from (68) we have

According to the Lax-Phillips scattering theory [38], the following theorem holds.

Theorem 4. is the scattering function of (also of ).
Using one get thatTherefore,

Because is unitary equivalent under to Let be the orthogonal projection from onto , then we have is a semigroup of operators. Hence the generator of

is a maximal dissipative operator on The operator is called a model dissipative operator (see [2, 27, 37, 38]). Therefore, is the characteristic function of the operator Since the characteristic function of unitary equivalent dissipative operators coincides (see [38], Chapter VI), therefore, the following result is proved.

Theorem 5. is the characteristic function of the operator .

4. Completeness Theorem

Theorem 6. The characteristic function of is a Blaschke product except for a single value in the upper half-plane.

Proof. It can be verified that is an inner function in the upper half-plane. Therefore, can be written aswhere is a Blaschke product. By (73), we haveFrom (61) one gets thatUtilizing (74), we haveThus is zero except for a single point and this completes the proof.

Using the results in Sections 2–4, our main results can be stated as follow.

Theorem 7. If Weyl’s limit-circle case holds for the Dirac system (2.1) at the endpoints and Then the BVTP (5)–(9) has purely discrete spectrum in the open upper half-plane and the possible limit points can only occur at infinity. For all with , all eigenvectors and associated vectors of BVTP (5)–(9) are complete in the space except possibly for a single value .

5. Conclusion

Boundary value problem with eigenparameter dependent boundary conditions and with discontinuities inside an interval has been extensively studied since its wide applications in engineering and mathematical physics. In this paper, we investigate a class of dissipative Dirac operators with discontinuities and eigenparameter dependent boundary conditions. For such a problem, we obtain the completeness theorem of this dissipative operator.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.

Acknowledgments

The authors thank the referees for his/her comments and detailed suggestions. These have significantly improved the presentation of this paper. The work of the authors is supported by the Nature Science Foundation of Shandong Province (nos. ZR2019MA034, ZR2017MA042), the Inner Mongolia Natural Science Foundation (nos. 2018MS01021, 2017MS0119), the National Nature Science Foundation of China (Nos. 11561050, 11671227, 11801286) and China Postdoctoral Science Foundation (Grant 2019M662313).

References

B. P. Allahverdiev, “A nonself-adjoint singular Sturm–Liouville problem with a spectral parameter in the boundary condition,” Mathematische Nachrichten, vol. 278, no. 7-8, pp. 743–755, 2005.
View at: Publisher Site | Google Scholar
B. P. Allahverdiev, “A nonself-adjoint 1D singular Hamiltonian system with an eigenparameter in the boundary condition,” Potential Analysis, vol. 38, no. 4, pp. 1031–1045, 2013.
View at: Publisher Site | Google Scholar
A. V. Likov and Y. A. Mikhailov, The Theory of Heat and Mass Transfer, Qosenerqoizdat, Moscow, Russia, 1963, in Russian.
C. T. Fulton, “Singular eigenvalue problems with eigenvalue-parameter contained in the boundary conditions,” Proceedings of the Royal Society of Edinburgh: Section A Mathematics, vol. 87, no. 1-2, pp. 1–34, 1980.
View at: Publisher Site | Google Scholar
J. Cai and Z. Zheng, “Inverse spectral problems for discontinuous Sturm–Liouville problems of Atkinson type,” Applied Mathematics and Computation, vol. 327, pp. 22–34, 2018.
View at: Publisher Site | Google Scholar
J. Cai and Z. Zheng, “Matrix representations of Sturm–Liouville problems with coupled eigenparameter-dependent boundary conditions and transmission conditions,” Mathematical Methods in the Applied Sciences, vol. 41, no. 9, pp. 3495–3508, 2018.
View at: Publisher Site | Google Scholar
J. Cai, Z. Zheng, K. Li, and M. Zhang, “A discontinuous Sturm–Liouville problem with boundary conditions rationally dependent on the eigenparameter,” Boundary Value Problems, vol. 2018, Article ID 103, 2018.
View at: Publisher Site | Google Scholar
N. B. Kerimov, “On a boundary value problem for the Dirac system with a spectral parameter in the boundary conditions,” Differential Equations, vol. 38, no. 2, pp. 164–174, 2002.
View at: Publisher Site | Google Scholar
B. Keskin, “Inverse problems for impulsive Dirac operators with spectral parameters contained in the boundary and multitransfer conditions,” Mathematical Methods in the Applied Sciences, vol. 38, no. 15, pp. 3339–3345, 2015.
View at: Publisher Site | Google Scholar
C. Tretter, “Nonselfadjoint spectral problems for linear pencils N-λP of ordinary differential operators with λ-linear boundary conditions: completeness results,” Integral Equations and Operator Theory, vol. 26, no. 2, pp. 222–248, 1996.
View at: Publisher Site | Google Scholar
J. Weidmann, “Spectral theory of ordinary differential operators,” Lecture Notes in Mathematics, vol. 1258, Springer, Berlin, 1987.
View at: Google Scholar
Z. Akdoğan, M. Demirci, and O. Sh. Mukhtarov, “Green function of discontinuous boundary-value problem with transmission conditions,” Mathematical Methods in the Applied Sciences, vol. 30, no. 14, pp. 1719–1738, 2007.
View at: Publisher Site | Google Scholar
B. P. Allahverdiev, E. Bairamov, and E. Ugurlu, “Eigenparameter dependent Sturm–Liouville problems in boundary conditions with transmission conditions,” Journal of Mathematical Analysis and Applications, vol. 401, no. 1, pp. 388–396, 2013.
View at: Publisher Site | Google Scholar
E. Uğurlu and E. Bairamov, “Spectral analysis of eigenparameter dependent boundary value transmission problems,” Journal of Mathematical Analysis and Applications, vol. 413, no. 1, pp. 482–494, 2014.
View at: Publisher Site | Google Scholar
E. Uğurlu, “Dirac system with regular and singular transmission effects,” Turkish Journal of Mathematics, vol. 41, pp. 193–210, 2017.
View at: Publisher Site | Google Scholar
K. Aydemir and O. Sh. Mukhtarov, “Variational principles for spectral analysis of one Sturm–Liouville problem with transmission conditions,” Advances in Difference Equations, vol. 2016, Article ID 76, 2016.
View at: Publisher Site | Google Scholar
K. Aydemir and O. Sh. Mukhtarov, “Qualitative analysis of eigenvalues and eigenfunctions of one boundary value transmission problem,” Boundary Value Problems, vol. 2016, Article ID 82, 2016.
View at: Publisher Site | Google Scholar
O. Sh. Mukhtarov and K. Aydemir, “New type of Sturm–Liouville problems in associated Hilbert spaces,” Journal of Function Spaces, vol. 2014, Article ID 606815, 7 pages, 2014.
View at: Publisher Site | Google Scholar
K. Aydemir and O. Sh. Mukhtarov, “Generalized Fourier series as green’s function expansion for multi-interval Sturm–Liouville systems,” Mediterranean Journal of Mathematics, vol. 14, p. 100, 2017.
View at: Publisher Site | Google Scholar
K. Li, J. Sun, and X. Hao, “Eigenvalues of regular fourth order Sturm–Liouville problems with transmission conditions,” Mathematical Methods in the Applied Sciences, vol. 40, no. 10, pp. 3538–3551, 2017.
View at: Publisher Site | Google Scholar
K. Li, J. Sun, and X. Hao, “Weyl function of Sturm–Liouville problems with transmission conditions at finite interior points,” Mediterranean Journal of Mathematics, vol. 14, p. 189, 2017.
View at: Publisher Site | Google Scholar
M. Zhang, “Regular approximation of singular Sturm–Liouville problems with transmission conditions,” Applied Mathematics and Computation, vol. 247, pp. 511–520, 2014.
View at: Publisher Site | Google Scholar
K. Li, J. Sun, X. Hao, and Q. Bao, “Spectral analysis for discontinuous non-self-adjoint singular Dirac operators with eigenparameter dependent boundary condition,” Journal of Mathematical Analysis and Applications, vol. 453, no. 1, pp. 304–316, 2017.
View at: Publisher Site | Google Scholar
M. S. Agranovich, “Spectral problems for the Dirac system with spectral parameter in local boundary conditions,” Functional Analysis and Its Applications, vol. 35, no. 3, pp. 161–175, 2001.
View at: Publisher Site | Google Scholar
Z. Wei and G. Wei, “The distribution of the spectral and the inverse problem for the discontinuous Dirac operator,” Acta Mathematicar Applicatea Sinica, vol. 34, pp. 170–178, 2014.
View at: Google Scholar
R. S. Phillips, “Dissipative operators and hyperbolic systems of partial differential equations,” Transactions of the American Mathematical Society, vol. 90, pp. 193–254, 1959.
View at: Publisher Site | Google Scholar
B. S. Pavlov, “Spectral analysis of a dissipative singular Schrödinger operator in terms of a functional model,” in Partial Differential Equations VIII, M. A. Shubin, Ed., vol. 65 of Encyclopaedia of Mathematical Sciences, pp. 87–163, Springer, Berlin, 1996.
View at: Google Scholar
B. P. Allahverdiev, “A dissipative singular Sturm–Liouville problem with a spectral parameter in the boundary condition,” Journal of Mathematical Analysis and Applications, vol. 316, no. 2, pp. 510–524, 2006.
View at: Publisher Site | Google Scholar
M. Y. Ongun and B. P. Allahverdiev, “A completeness theorem for a dissipative Schrödinger problem with the spectral parameter in the boundary condition,” Mathematische Nachrichten, vol. 281, no. 4, pp. 541–554, 2008.
View at: Publisher Site | Google Scholar
B. P. Allahverdiev and E. Uğurlu, “Spectral analysis of the direct sum Hamiltonian operators,” Quaestiones Mathematicae, vol. 39, no. 6, pp. 733–750, 2016.
View at: Publisher Site | Google Scholar
B. P. Allahverdiev, “Spectral analysis of singular Hamiltonian systems with an eigenparameter in the boundary condition,” Electronic Journal of Differential Equations, vol. 2019, no. 2, pp. 1–14, 2019.
View at: Google Scholar
J. Behrndt, M. M. Malamud, and H. Neidhardt, “Scattering theory for open quantum systems with finite rank coupling,” Mathematical Physics, Analysis and Geometry, vol. 10, no. 4, pp. 313–358, 2007.
View at: Publisher Site | Google Scholar
M. S. Agranovich, “Spectral Properties of Diffraction Problems,” in Generalized Method of Eigenoscillations in Diffraction Theory, N. N. Voitovich, B. Z. Katsenelenbaum, and A. N. Sivov, Eds., WileyVCH, Weinheim, 1999, (Nauka, Moscow, 1977).
View at: Google Scholar
A. A. Lunyov and M. M. Malamud, “On the Riesz basis property of root vectors system for 2 × 2 Dirac type operators,” Journal of Mathematical Analysis and Applications, vol. 441, no. 1, pp. 57–103, 2016.
View at: Publisher Site | Google Scholar
A. M. Savchuk and A. A. Shkalikov, “Dirac operator with complex-valued summable potential,” Mathematical Notes, vol. 96, no. 5-6, pp. 777–810, 2014.
View at: Publisher Site | Google Scholar
F. V. Atkinson, Discrete and Continuous Boundary Problems, Academic Press, New York, 1964.
B. Sz. Nagy and C. Foias, Harmonic Analysis of Operators on Hilbert Space, Academia Kioda, Budapest, 1970.
P. D. Lax and R. S. Phillips, in Scattering Theory, Academic Press, New York, 1967.

Copyright

Copyright © 2020 Kun Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

209

Downloads

865

Citations