Abstract

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 [718] 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: with two-point boundary conditions where the are linearly independent forms with arbitrary complex-valued coefficients and is an arbitrary complex-valued function of class .

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 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 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 is minimal if and only if there exists a biorthogonal system dual to it, that is, a system of linear functionals from such that for all . 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 is uniformly minimal in , if there exists such that for all , where is the closure of the linear span of all elements with serial numbers .

Theorem 2.2 (see [19]). A closed and minimal system is uniformly minimal in if and only if:

A system forms a basis of the space if, for any element , there exists a unique expansion of it in the elements of the system, that is, the series convergent to 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 , and hence the expansion of any element of with respect to the basis coincides with its biorthogonal expansion, that is, for all .

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 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 , along with the concept of an unconditional basis, we have the close concept of a Riesz basis. A system is called a Riesz basis of the space if there exists a bounded invertible operator such that the system forms an orthonormal basis in .

Theorem 2.3 (see [20]). A system forms a Riesz basis of the space if and only if it is an unconditional basis almost normalized in , that is,

A system is said to be complete in if the equality for all implies . In a Hilbert space, the properties of completeness and closeness of a system are equivalent.

We consider the operator as a linear operator on defined by (1.1) with the domain being absolutely continuous on , , .

By an eigenfunction of the operator corresponding to an eigenvalue , we mean any function which satisfies the equation: almost everywhere on .

By an associated function of the operator of order corresponding to the same eigenvalue and the eigenfunction , we mean any function which satisfies the equation: almost everywhere on . One can also say that an eigenfunction 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 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 be countable and all root linear manifolds root subspaces. Let us choose a basis in each root subspace. Any system 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 .

The main purpose of this paper is to study the basis property of the root function system of the operator . Before starting our investigation, we must verify completeness of the root function system in .

It is convenient to write conditions (1.2) in the matrix form: and denote the matrix composed of the ith and jth columns of by ; we set .

Denote by the fundamental system of solutions to (1.1) with the initial conditions , . The eigenvalues of problem (1.1), (1.2) are the roots of the characteristic determinant: Simple calculations show that It is easily seen that if then the characteristic determinant of the corresponding problem (1.1), (1.2) has the form:

Boundary conditions (1.2) are called nondegenerate if they satisfy one of the following relations:(1), (2), (3).

Evidently, boundary conditions (1.2) are nondegenerate if and only if .

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 of eigenvalues with only one limit point , and the dimensions of the corresponding root subspaces are bounded by one constant. The system of eigen- and associated functions is complete and minimal in ; hence, it has a biorthogonal dual system .

For convenience, we introduce numbers , where is the square root of with nonnegative real part.

It is known that nondegenerate conditions can be divided into three classes:(1)strengthened regular conditions;(2)regular but not strengthened regular conditions;(3)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: It is well known that all but finitely many eigenvalues are simple (in other words, they are asymptotically simple), and the number of associated functions is finite. Moreover, the is separated in the sense that there exists a constant such that for any sufficiently large different numbers and , we have

Theorem 3.1. The system of root functions forms a Riesz basis in .

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 , the Newmann boundary conditions , the Dirichlet-Newmann boundary conditions 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 where . It is well known [10] that the eigenvalues of problem (1.1), (1.2) form two series: (if ) and (if ). Here, in both cases, and . We denote . It follows from [8] that asymptotic formulas (4.2) and (4.3) can be refined. Specifically, Obviously, ; that is, and become infinitely close to each other as . If   for all  , 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 , 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 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 denote the set of potentials from the class such that the system of root functions forms a Riesz basis in , .

To analyze this class of problems, it is reasonable [12] to divide conditions (1.2) satisfying (4.1) into four types:(I);(II);(III);(IV).

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: that is, to periodic or antiperiodic boundary conditions. These boundary conditions are self-adjoint.

We set .

Theorem 4.1 (see [25]). Suppose that , where , and for . If there exists an such that for  all , then the system of functions is a Riesz basis in .
If there exists a sequence of such that , and then the system of functions is not a basis in .

It is easy to verify that if where , for , and for , then the system of functions is not a basis in .

The following theorem is an easy corollary to Theorem 4.1.

Theorem 4.2 (see [25]). The sets and are everywhere dense in .

Theorem 4.1 was generalized in [26]. Recently, (see [2729] 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 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: where in both cases. If is a real number and is a real function, then the corresponding boundary value problem is self-adjoint.

Theorem 4.3 (see [31]). If and , then the system forms a Riesz basis in , and the spectrum is asymptotically simple.

Denote by the biorthogonal dual system. The key point in the proof of Theorem 4.3 is obtaining the estimate: which is valid for any number . It follows from (4.10) and [32] that the system forms a Riesz basis in .

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: where either , , and ; , , and ; The sign is always upper if and lower if .

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: where either , , , and ; , , , and ; or The sign is always upper if and lower if .

Theorem 4.4 (see [31]). If , then the system of root functions of problem (1.1), (1.2) is a Riesz basis in 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 .

Theorem 4.5 (see [33, 34]). If , then, for any function and any , there exists a function such that and problem (1.1), (1.2) with the potential has an asymptotically multiple spectrum.

For and , 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 for any potential ; that is, , . 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 .

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 and are dense everywhere in .

For problems of types III and IV with an arbitrary potential 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 that ensure an asymptotically multiple spectrum is dense everywhere in . 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:

According to [12], any boundary conditions of the considered class are equivalent to the boundary conditions determined by the matrix:

or

or

In case (3), as well as in case (1), all but finitely many eigenvalues are simple, the number of associated functions is finite, and separation condition (3.2) holds. However, the system never forms even a usual basis in , because as . Here 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:

According to [12], any boundary conditions of the considered class are equivalent to the boundary conditions determined by the matrix: If in the first case then for any potential , 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 . Then the boundary conditions can be written in more visual form: Simple calculations show that if and 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 then [38, 39] the root function system is complete in . Let if and if . One can calculate that the characteristic determinant . This, together with [38, 39], implies that the root function system is not complete in . We see that depending on the potential 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 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 for some and , then the system of root functions is complete in .

Recently, it was proved in [40] that the root function system never forms an unconditional basis in 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 providing unbounded growth of multiplicities of the eigenvalues. However, in  2010 in [41] an example of a potential for which the characteristic determinant has the roots of arbitrary high multiplicity was constructed. Hence, the corresponding root function system contains associated functions of arbitrary high order.

Denote by the eigenvalues of operator (1.1) with boundary conditions (6.3). Let denote multiplicity of the corresponding eigenvalue.

Theorem 6.2 (see [42]). If then the system is not a basis in .

The following assertion is a trivial corollary of Theorem 6.2.

If the system is a basis in then

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 such that

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 ; ?/NO means that it has been proved that for a subset of potentials the property does not take place, and an example when the property holds is unknown, thus, the definitive solution has not been received.

Acknowledgment

This work was supported by the Russian Foundation for Basic Research, Project no. 10-01-411.