We study the completeness property and the basis property of the root function system of the Sturm-Liouville operator defined on the segment [0, 1]. All possible types of two-point boundary conditions are considered.
1. Introduction
The spectral theory of two-point differential operators was begun by Birkhoff in his two papers [1, 2] of 1908 where he introduced regular boundary conditions for the first time. It was continued by Tamarkin [3, 4] and Stone [5, 6]. Afterwards their investigations were developed in many directions. There is an enormous literature related to the spectral theory outlined above, and we refer to [7–18] and their extensive reference lists for this activity.
The present communication is a brief survey of results in the spectral theory of the Sturm-Liouville operator:
(1.1)Lu=u′′-q(x)u,
with two-point boundary conditions
(1.2)Bi(u)=ai1u′(0)+ai2u′(1)+ai3u(0)+ai4u(1)=0,
where the Bi(u)(i=1,2) are linearly independent forms with arbitrary complex-valued coefficients and q(x) is an arbitrary complex-valued function of class L1(0,1).
Our main focus is on the non-self-adjoint case. We will study the completeness property and the basis property of the root function system of operator (1.1), (1.2). The convergence of spectral expansions is investigated only in classical sense; that is, the question about the summability of divergent series by a generalized method is not considered.
2. Preliminaries
Let us present briefly the main definitions and facts which will be used in what follows.
Let 𝔅 be a Banach space with the norm ∥·∥𝔅, and let 𝔅* be its dual with the norm ∥·∥𝔅*.
A system of elements {en}n=1∞ is said to be closed in 𝔅 if the linear span of this system is everywhere dense in 𝔅; that is, any element of the space 𝔅 can be approximated by a linear combination of elements of this system with any accuracy in the norm of the space 𝔅.
A system of elements {en}n=1∞ is said to be minimal in 𝔅 if none of its elements belongs to the closure of the linear span of the other elements of this system.
Theorem 2.1 (see [19]).
A system {en}n=1∞ is minimal if and only if there exists a biorthogonal system dual to it, that is, a system of linear functionals {gn}n=1∞ from 𝔅* such that (en,gk)=δnk for all n,k∈ℕ. Moreover, if the initial system is simultaneously closed and minimal in 𝔅, then the system biorthogonally dual to it is uniquely defined.
We say that a system {en}n=1∞ is uniformly minimal in 𝔅, if there exists γ>0 such that for all n∈ℕ, (2.1)dist(en,E(n))>γ∥en∥𝔅,
where E(n) is the closure of the linear span of all elements el with serial numbers l≠n.
Theorem 2.2 (see [19]).
A closed and minimal system {en}n=1∞ is uniformly minimal in 𝔅 if and only if:
(2.2)supn≥1(∥en∥𝔅·∥gn∥𝔅*)<∞.
A system {en}n=1∞ forms a basis of the space 𝔅 if, for any element f∈𝔅, there exists a unique expansion of it in the elements of the system, that is, the series ∑n=1∞cnen convergent to f in the norm of the space 𝔅. Any basis is a closed and minimal system in 𝔅, and, therefore, we can uniquely find its biorthogonal dual system {gn}n=1∞, and hence the expansion of any element of f with respect to the basis {en}n=1∞ coincides with its biorthogonal expansion, that is, cn=(f,gn) for all n∈ℕ.
Any basis in 𝔅 is a uniformly minimal system, and, therefore, (2.2) holds. However, it is well known that a closed and uniformly minimal system may not form a basis in 𝔅.
A system biorthogonally dual to a basis in a reflexive Banach space 𝔅 itself forms a basis in 𝔅*.
A basis {en}n=1∞ in the space 𝔅 is said to be an unconditional basis, if it remains a basis for any permutation for its elements.
In a Hilbert space H, along with the concept of an unconditional basis, we have the close concept of a Riesz basis. A system {en}n=1∞ is called a Riesz basis of the space H if there exists a bounded invertible operator U such that the system {Uen}n=1∞ forms an orthonormal basis in H.
Theorem 2.3 (see [20]).
A system {en}n=1∞ forms a Riesz basis of the space H if and only if it is an unconditional basis almost normalized in H, that is, (2.3)0<inf∥en∥H≤sup∥en∥H<∞.
A system {en}n=1∞ is said to be complete in H if the equality (f,en)=0 for all n∈ℕ implies f=0. In a Hilbert space, the properties of completeness and closeness of a system are equivalent.
We consider the operator L as a linear operator on L2(0,1) defined by (1.1) with the domain D(L)={u∈L2(0,1)∣u(x),u'(x) being absolutely continuous on [0,1], u′′-q(u)u∈L2(0,1), Bi(u)=0(i=1,2)}.
By an eigenfunction of the operator L corresponding to an eigenvalue λ∈ℂ, we mean any function u(x)0∈D(L)(u(x)0≢0) which satisfies the equation:
(2.4)Lu0+λu0=0
almost everywhere on [0,1].
By an associated function of the operator L of order p(p=1,2,…) corresponding to the same eigenvalue λ and the eigenfunction u(x)0, we mean any function u(x)p∈D(L) which satisfies the equation:
(2.5)Lup+λup=up-1
almost everywhere on [0,1]. One can also say that an eigenfunction u(x)0 is an associated function of zeroth order. The set of all eigen- and associated functions (or root functions) corresponding to the same eigenvalue λ together with the function u(x)≡0 forms a root linear manifold. This manifold is called a root subspace if its dimension is finite.
Let the set of the eigenvalues of the operator L be countable and all root linear manifolds root subspaces. Let us choose a basis in each root subspace. Any system {un(x)} obtained as the union of chosen bases of all the root subspaces is called a system of eigen- and associated functions (or root function system) of the operator L.
The main purpose of this paper is to study the basis property of the root function system of the operator L. Before starting our investigation, we must verify completeness of the root function system in L2(0,1).
It is convenient to write conditions (1.2) in the matrix form:
(2.6)A=(a11a12a13a14a21a22a23a24)
and denote the matrix composed of the ith and jth columns of A(1≤i<j≤4) by A(ij); we set Aij=detA(ij).
Denote by c(x,λ),s(x,λ) the fundamental system of solutions to (1.1) with the initial conditions c(0,λ)=s'(0,λ)=1, c'(0,λ)=s(0,λ)=0. The eigenvalues of problem (1.1), (1.2) are the roots of the characteristic determinant:
(2.7)Δ(λ)=|B1(c(x,λ))B1(s(x,λ))B2(c(x,λ))B2(s(x,λ))|.
Simple calculations show that
(2.8)Δ(λ)=-A13-A24+A34s(1,λ)-A23s′(1,λ)-A14c(1,λ)-A12c′(1,λ).
It is easily seen that if q(x)≡0 then the characteristic determinant Δ0(λ) of the corresponding problem (1.1), (1.2) has the form:
(2.9)Δ0(λ)=-A13-A24+A34sinλλ-(A23+A14)cosλ+A12λsinλ.
Boundary conditions (1.2) are called nondegenerate if they satisfy one of the following relations:
A12≠0,
A12=0,A14+A23≠0,
A12=0,A14+A23=0,A34≠0.
Evidently, boundary conditions (1.2) are nondegenerate if and only if Δ0(λ)≠const.
Notice that for any nondegenerate boundary conditions an asymptotic representation for the characteristic determinant Δ(λ) as |λ|→∞ one can find in [10].
Theorem 2.4 (see [10]).
For any nondegenerate conditions, the spectrum of problem (1.1), (1.2) consists of a countable set {λn} of eigenvalues with only one limit point ∞, and the dimensions of the corresponding root subspaces are bounded by one constant. The system {un(x)} of eigen- and associated functions is complete and minimal in L2(0,1); hence, it has a biorthogonal dual system {vn(x)}.
For convenience, we introduce numbers μn, where μn is the square root of λn with nonnegative real part.
It is known that nondegenerate conditions can be divided into three classes:
strengthened regular conditions;
regular but not strengthened regular conditions;
irregular conditions.
The definitions are given in [8]. These three cases should be considered separately.
3. Strengthened Regular Conditions
Let boundary conditions (1.2) belong to class (1). According to [8], this is equivalent to the fulfillment one of the following conditions:
(3.1)A12≠0;A12=0,A14+A23≠0,A14+A23≠∓(A13+A24);A12=0,A14+A23=0,A13+A24=0,A13=A24,A34≠0.
It is well known that all but finitely many eigenvalues λn are simple (in other words, they are asymptotically simple), and the number of associated functions is finite. Moreover, the λn is separated in the sense that there exists a constant c0>0 such that for any sufficiently large different numbers λk and λm, we have
(3.2)|μk-μm|≥c0.
Theorem 3.1.
The system of root functions {un(x)} forms a Riesz basis in L2(0,1).
This statement was proved in [21, 22] and [9, Chapter XIX].
Class (1) contains many types of boundary conditions, for example, the Dirichlet boundary conditions u(0)=u(1)=0, the Newmann boundary conditions u'(0)=u'(1)=0, the Dirichlet-Newmann boundary conditions u(0)=u'(1)=0 and others.
4. Regular but Not Strengthened Regular Conditions
Let boundary conditions belong to class (2). According to [8], this is equivalent to the fulfillment of the conditions
(4.1)A12=0,A14+A23≠0,A14+A23=(-1)θ+1(A13+A24),
where θ=0,1. It is well known [10] that the eigenvalues of problem (1.1), (1.2) form two series:
(4.2)λ0=μ02,λn,j=(2πn+o(1))2
(if θ=0) and
(4.3)λn,j=((2n-1)π+o(1))2
(if θ=1). Here, in both cases, j=1,2 and n=1,2,…. We denote μn,j=λn,j=(2n-θ)π+o(1). It follows from [8] that asymptotic formulas (4.2) and (4.3) can be refined. Specifically,
(4.4)μn,j=(2n-θ)π+O(n-1/2).
Obviously, |μn,1-μn,2|=O(n-1/2); that is, μn,1 and μn,2 become infinitely close to each other as n→∞. If μn,1=μn,2 for all n, except, possibly, a finite set, then the spectrum of problem (1.1), (1.2) is called asymptotically multiple. If the set of multiple eigenvalues is finite, then the spectrum of problem (1.1), (1.2) is called asymptotically simple.
There exist numerous examples when the number of multiple eigenvalues is finite or infinite, and the total number of associated functions is finite or infinite also. We see that separation condition (3.2) never holds. Depending on the particular form of the boundary conditions and the potential q(x), the system of root functions may have or may not have the basis property [17, 22, 23], and even for fixed boundary conditions, this property may appear or disappear under arbitrary small variations of the coefficient q(x) in the corresponding metric [24]. Thus, the considered case is much more complicated than the previous one, so we will study it in detail.
For any problem (1.1), (1.2) let Q denote the set of potentials q(x) from the class L1(0,1) such that the system of root functions forms a Riesz basis in L2(0,1), Q-=L1(0,1)∖Q.
To analyze this class of problems, it is reasonable [12] to divide conditions (1.2) satisfying (4.1) into four types:
A14=A23,A34=0;
A14=A23,A34≠0;
A14≠A23,A34=0;
A14≠A23,A34≠0.
The eigenvalue problem for (1.1) with boundary conditions of type I, II, III, or IV is called the problem of type I, II, III, or IV, respectively.
At first we consider the problems of type I. It was shown in [12] that any boundary conditions of type I are equivalent to the boundary conditions specified by the matrix:
(4.5)A=(1(-1)θ+100001(-1)θ+1),
that is, to periodic or antiperiodic boundary conditions. These boundary conditions are self-adjoint.
We set αn=∫01q(x)e2πinxdx,βn=∫01q(x)e-2πinxdx.
Theorem 4.1 (see [25]).
Suppose that q(x)∈W1m[0,1], where m=0,1,…, and q(l)(0)=q(l)(1) for l=0,m-1¯. If there exists an N such that
(4.6)|α2n-θ|>c0n-m-1,0<c1<|α2n-θ||β2n-θ|<c2,(c0>0) for all n>N, then the system of functions {un(x)} is a Riesz basis in L2(0,1).
If there exists a sequence of nk(k=1,2,…) such that |α2nk-θ|>c0nk-m-1,|β2nk-θ|>c0nk-m-1, and
(4.7)limk→∞(|α2nk-θ||β2nk-θ|+|β2nk-θ||α2nk-θ|)=∞,
then the system of functions {un(x)} is not a basis in L2(0,1).
It is easy to verify that if
(4.8)q(x)=∑n=1∞qn(e2πinxnm+ε1+e-2πinxnm+ε2),
where 0<ε1<ε2<1, qn=1 for n=2p-θ, and qn=0 for n≠2p-θ, then the system of functions {un(x)} is not a basis in L2(0,1).
The following theorem is an easy corollary to Theorem 4.1.
Theorem 4.2 (see [25]).
The sets Q and Q- are everywhere dense in L1(0,1).
Theorem 4.1 was generalized in [26]. Recently, (see [27–29] and their extensive reference lists) by a number of authors, a very nice theory of the problems of type I was built. In particular, in papers [28, 29] a criterion to have a Riesz basis property was established. The criterion is formulated in terms of periodic (resp., antiperiodic) and Dirichlet eigenvalues. Also in [30], it was established the criterion for these boundary value problems to have a Riesz basis property in terms of a potential q(x) provided that it is a special trigonometric polynomial. The later criterion has an advantage since it is given in terms of the coefficients of the potential.
Let us consider the problems of type II. It was also established in [12] that any boundary conditions of type II are equivalent to the boundary conditions specified by the matrix:
(4.9)A=(1-10a14001-1)orA=(110a140011),
where a14≠0 in both cases. If a14 is a real number and q(x) is a real function, then the corresponding boundary value problem is self-adjoint.
Theorem 4.3 (see [31]).
If A14=A23 and A34≠0, then the system {un(x)} forms a Riesz basis in L2(0,1), and the spectrum is asymptotically simple.
Denote by {vn(x)} the biorthogonal dual system. The key point in the proof of Theorem 4.3 is obtaining the estimate:
(4.10)max(x,ξ)∈[0,1]×[0,1]|un(x)vn(ξ)¯|≤C,
which is valid for any number n. It follows from (4.10) and [32] that the system {un(x)} forms a Riesz basis in L2(0,1).
A comprehensive description of boundary conditions of types III and IV was given in [12]. In particular, it is known that all of them are non-self-adjoint.
At first we consider the problems of type III. According to [12], any boundary conditions of type III are equivalent to the boundary conditions determined by the matrix:
(4.11)A=(1a1200001a24),
where either a12=∓1, a24≠1, and a24≠-1; a24=∓1, a12≠1, and a12≠-1;
(4.12)A=(1∓1000001)orA=(0100001∓1).
The sign is always upper if θ=0 and lower if θ=1.
Let us consider the problems of type IV. According to [12], any boundary conditions of type IV are equivalent to the boundary conditions determined by the matrix:
(4.13)A=(1a120a14001a24),
where either a12=∓1, a24≠1, a24≠-1, and a14≠0; a24=∓1, a12≠1, a12≠-1, and a14≠0;
(4.14)A=(1∓1a1300001),wherea13≠0,
or
(4.15)A=(010a14001∓1),wherea14≠0.
The sign is always upper if θ=0 and lower if θ=1.
Theorem 4.4 (see [31]).
If A14≠A23, then the system of root functions {un(x)} of problem (1.1), (1.2) is a Riesz basis in L2(0,1) if and only if the spectrum is asymptotically multiple.
Thus, we have established that for problems of types III and IV, the question about the basis property for the system of eigen- and associated functions is reduced to the question about asymptotic multiplicity of the spectrum. The presence of this property depends essentially on the particular form of the boundary conditions and the function q(x).
Theorem 4.5 (see [33, 34]).
If A14≠A23, then, for any function q(x)∈L2(0,1) and any ε>0, there exists a function q~(x)∈L2(0,1) such that ||q(x)-q~(x)||L2(0,1)<ε and problem (1.1), (1.2) with the potential q~(x) has an asymptotically multiple spectrum.
For A14=A23 and A34=0, a similar proposition was deduced in [35].
Theorems 4.2, 4.3, and 4.5 and the results of [36] imply that the whole class of regular but not strengthened regular boundary conditions splits into two subclasses (a) and (b). Subclass (a) coincides with the second type of boundary conditions and is characterized by the fact that the system of root functions of problem (1.1), (1.2) with boundary conditions from this subclass forms a Riesz basis in L2(0,1) for any potential q(x)∈L1(0,1); that is, Q=L1(0,1), Q-=∅. We will see below that boundary conditions from the subclass (a) are the only boundary conditions (in addition to strengthened regular ones) that ensure the Riesz basis property of the system of root functions for any potential q(x)∈L1(0,1).
Subclass (b) contains the remaining regular but not strengthened regular boundary conditions. An entirely different situation takes place in this case. For any problem with boundary conditions from this subclass, the sets Q and Q- are dense everywhere in L1(0,1).
For problems of types III and IV with an arbitrary potential q(x)∈L1(0,1) the following theorem is valid.
Theorem 4.6 (see [34]).
Each root subspace contains one eigenfunction and, possibly, associated functions.
By Theorem 4.5, for problems of types III and IV, the set of potentials q(x) that ensure an asymptotically multiple spectrum is dense everywhere in L1(0,1). Therefore, it follows from Theorem 4.3 that we have discovered a new wide class of eigenvalue problems for the Sturm-Liouville operator that have an infinite number of associated functions.
5. Irregular Conditions
Let boundary conditions (1.2) belong to class (3). According to [8, 12], this is equivalent to the fulfillment one of the following conditions:
(5.1)A12=0,A14+A23=0,A13+A24=0,A13≠A24,A34≠0;A12=0,A14+A23=0,A13+A24≠0,A34≠0.
According to [12], any boundary conditions of the considered class are equivalent to the boundary conditions determined by the matrix:
(5.2)A=(1±10b0001∓1),whereb0≠0,
or
(5.3)A=(1b10b0001-b1),whereb1≠±1,b0≠0,
or
(5.4)A=(01a000001),wherea0≠0.
In case (3), as well as in case (1), all but finitely many eigenvalues λn are simple, the number of associated functions is finite, and separation condition (3.2) holds. However, the system {un(x)} never forms even a usual basis in L2(0,1), because ||un||L2(0,1)||vn||L2(0,1)→∞ as n→∞. Here {vn(x)} is the biorthogonal dual system. This case was investigated in [5, 6, 37].
6. Degenerate Conditions
Let boundary conditions (1.2) be degenerate. According to [10, 12], this is equivalent to the fulfillment of the following conditions:
(6.1)A12=0,A14+A23=0,A34=0.
According to [12], any boundary conditions of the considered class are equivalent to the boundary conditions determined by the matrix:
(6.2)A=(1b100001-b1),orA=(01000001).
If in the first case b1=0 then for any potential q(x), we have the initial value problem (the Cauchy problem) which has no eigenvalues. The same situation takes place in the second case.
Further we will consider the first case if b1≠0. Then the boundary conditions can be written in more visual form:
(6.3)u′(0)+b1u′(1)=0,u(0)-b1u(1)=0.
Simple calculations show that if b1=±1 and q(x)≡0 then any λ∈ℂ is an eigenvalue of infinite multiplicity. This abnormal example illustrates the difficulty of investigation of problems with boundary conditions of the considered class.
If q(x)=ε(x-1/2)(ε≠0) then [38, 39] the root function system is complete in L2(0,1). Let q(x)=0 if 0<ε<|x-1/2|≤1/2 and q(x)=ε(x-1/2) if |x-1/2|≤ε. One can calculate that the characteristic determinant Δ(λ)≢0. This, together with [38, 39], implies that the root function system is not complete in L2(0,1). We see that depending on the potential q(x) the system of root functions may have or may not have the completeness property, moreover, this property may appear or disappear under arbitrary small variations of the coefficient q(x) in the corresponding metric even for fixed boundary conditions.
Notice, that the most general results on completeness of the root function system of problem (1.1), (6.3) were obtained in [39]. The main result of the mentioned paper is:
Theorem 6.1 (see [39]).
If q(x)∈Ck[0,1] for some k=0,1,… and q(k)(0)≠(-1)kq(k)(1), then the system of root functions is complete in L2(0,1).
Recently, it was proved in [40] that the root function system never forms an unconditional basis in L2(0,1) if multiplicities of the eigenvalues are uniformly bounded by some constant. Moreover, under the condition mentioned above, it was established there that if the eigen- and associated function system of general ordinary differential operator with two-point boundary conditions forms an unconditional basis then the boundary conditions are regular. Article [40] was published in 2006. At that time, it was unknown whether there exists a potential q(x) providing unbounded growth of multiplicities of the eigenvalues. However, in 2010 in [41] an example of a potential q(x) for which the characteristic determinant has the roots of arbitrary high multiplicity was constructed. Hence, the corresponding root function system {un(x)} contains associated functions of arbitrary high order.
Denote by λn(n=1,2,…) the eigenvalues of operator (1.1) with boundary conditions (6.3). Let h(λn) denote multiplicity of the corresponding eigenvalue.
Theorem 6.2 (see [42]).
If
(6.4)lim_n→∞h(λn)<∞
then the system {un(x)} is not a basis in L2(0,1).
The following assertion is a trivial corollary of Theorem 6.2.
If the system {un(x)} is a basis in L2(0,1) then(6.5)limn→∞h(λn)=∞.
Clearly, since Theorem 6.2 contains supplementary condition (6.4), it does not give the definitive solution of the basis property problem. If this condition does not hold then the mentioned problem has not been solved. Moreover, it is unknown whether there exists a potential q(x) such that
(6.6)limn→∞h(λn)=∞.
7. Conclusion
In this section, we present Table 1 summarizing the spectral properties, outlined in the introduction for operator (1.1), (1.2). The second column indicates classification for the case depending on the type of boundary conditions (SR: strengthened regular, WR: weakly regular—regular, but not strengthened regular, IR: irregular, DEG: degenerate). YES/NO means that the indicated property may appear or disappear under variation of the coefficient q(x); ?/NO means that it has been proved that for a subset of potentials q(x)∈L2(0,1) the property does not take place, and an example when the property holds is unknown, thus, the definitive solution has not been received.
This work was supported by the Russian Foundation for Basic Research, Project no. 10-01-411.
BirkhoffG. D.On the asymptotic character of the solutions of certain linear differential equations containing a parameter19089221923110.2307/19886521500810BirkhoffG. D.Boundary value and expansion problems of ordinary linear differential equations19089437339510.2307/19886611500818TamarkineJ.Sur quelques points de la théorie des équations différentielles linéaires ordinaires et sur la généralisation de la série de fourier19123413453822-s2.0-2754444918810.1007/BF03015024TamarkinJ.Some general problems of the theory of ordinary linear differential equations and expansion of an arbitrary function in series of fundamental functions19272711542-s2.0-000308775510.1007/BF01171084StoneM. H.A comparison of the series of Fourier and Birkhoff192629469576110.2307/19890721501372StoneM. H.Irregular differential systems of order two and the related expansion problems1927291235310.2307/19892771501375CoddingtonE. A.LevinsonN.1955New York, NY, USAMcGraw-Hillxii+4290069338NaĭmarkM. A.1969Moscow, RussiaNauka526English translation: Ungar, New York, NY, USA, 19670353061DunfordN.SchwartzJ. T.1971New York, NY, USAJohn Wiley & Sons1009164MarchenkoV. A.1977Kiev, UkraineNaukova Dumka331English translation: Birkhäuser, Basel, Switzerland, 19860481179LangP.LockerJ.Spectral theory of two-point differential operators determined by -D2. I. Spectral properties1989141253855810.1016/0022-247X(89)90196-01009062LangP.LockerJ.Spectral theory of two-point differential operators determined by -D2. II. Analysis of cases1990146114819110.1016/0022-247X(90)90339-H1041208LockerJ.The spectral theory of second order two-point differential operators. I. A priori estimates for the eigenvalues and completeness19921213-427930110.1017/S030821050002792X1179821ZBL0766.34059LockerJ.The spectral theory of second order two-point differential operators. II. Asymptotic expansions and the characteristic determinant1994114127228710.1006/jdeq.1994.11511302145ZBL0817.34050LockerJ.The spectral theory of second order two-point differential operators. III. The eigenvalues and their asymptotic formulas199626267970610.1216/rmjm/11810720791406501ZBL0865.34067LockerJ.The spectral theory of second order two-point differential operators. IV. The associated projections and the subspace S∞(L)19962641473149810.1216/rmjm/11810719991447598ZBL0885.34064Il'inV. A.KritskovL. V.Properties of spectral expansions corresponding to non-self-adjoint differential operators200311653489355010.1023/A:10241808075022024092LockerJ.2003192Amsterdam, The NetherlandsNorth-Hollandxii+252Mathematical Surveys and MonographsKreĭnS. G.1972Moscow, RussiaNauka5440352920GokhbergI. Ts.KreinM. G.1965Moscow, RussiaNaukaMihaĭlovV. P.On Riesz bases in ℒ2(0,1)196214459819840149334Kesel'manG. M.On the unconditional convergence of eigenfunction expansions of certain differential operators196439282930166630WalkerP. W.A nonspectral Birkhoff-regular differential operator19776611871880450669ZBL0367.34019Il'inV. A.On a connection between the form of the boundary conditions and the basis property and the property of equiconvergence with a trigonometric series of expansions in root functions of a nonselfadjoint differential operator1994309151615291347804MakinA. S.On the convergence of expansions in root functions of a periodic boundary value problem20067317176translation from Doklady Akademii Nauk, vol. 406, no. 4,
pp. 452–457, 20062347327VelievO. A.ShkalikovA. A.On the Riesz basis property of eigen- and associated functions of periodic and anti-periodic Sturm-Liouville problems2009855-667168610.1134/S00014346090500582572858GesztesyF.TkachenkoV.A criterion for Hill operators to be spectral operators of scalar type200910728735310.1007/s11854-009-0012-52496408ZBL1193.47037DjakovP.MytyaginB.Criteria for existence of Riesz bases consisting of root functions of Hill and 1D Dirac operatorshttp://arxiv.org/abs/1106.5774GesztesyF.TkachenkoV.A Schauder and Riesz basis criterion for non-self-adjoint Schrödinger operator with periodic and anti-periodic boundary conditions20122532400437DjakovP.MityaginB.Convergence of spectral decompositions of Hill operators with trigonometric polynomial potentials2011351350954010.1007/s00208-010-0612-52854104MakinA. S.On the basis property of systems of root functions of regular boundary value problems for the Sturm-Liouville operator2006421217171728translation from Differentsial'nye Uravneniya, vol. 42, no. 12, pp.1646–1656, 200610.1134/S00122661061200682347119ZBL1128.34329Il'inV. A.Unconditional basis property on a closed interval of systems of eigen- and associated functions of a second-order differential operator1983273510481053725945MakinA. S.Inverse problems of spectral analysis for the Sturm-Liouville operator with regular boundary conditions. I2007431013641375translation from Differentsial'nye Uravneniya, vol. 43, no. 10, pp.1334–1345, 20072397525ZBL1157.34005MakinA. S.Inverse problems of spectral analysis of the Sturm-Liouville operator with regular boundary conditions. II2007431216681678translation from Differentsial'nye Uravneniya, vol. 43, no. 12, pp. 1626–1636, 200710.1134/S00122661071200632435990ZBL1160.34007TkachenkoV. A.Spectral analysis of the nonselfadjoint Hill operator199232222482521158959MakinA. S.On a class of boundary value problems for the Sturm-Liouville operator199935810671076translation from Differentsial'nye Uravneniya, vol. 35, no. 8, pp. 1058–1066, 19991741629HomanS.1957Yale UniversityMalamudM. M.On the completeness of a system of root vectors of the Sturm-Liouville operator with general boundary conditions20084191192210.1134/S106456240802004X2462104MalamudM. M.On the completeness of a system of root vectors of the Sturm-Liouville operator with general boundary conditions200842319820410.1007/s10688-008-0028-02454475MinkinA.Resolvent growth and Birkhoff-regularity2006323138740210.1016/j.jmaa.2005.10.0582262213ZBL1114.34064MakinA. S.Characterization of the spectrum of the Sturm-Liouville operator with irregular boundary conditions2010461014271437translation from Differentsial'nye Uravneniya, vol. 46, no. 10, pp.1421–1432, 201010.1134/S001226611010006X2798708ZBL1214.34023MakinA. S.On divergence of spectral expansions corresponding to the Sturm-Liouville operator with degenerate boundary conditionsDifferential Equations. In press