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

Accurate Asymptotic Formulas for Eigenvalues and Eigenfunctions of a Boundary-Value Problem of Fourth Order

Abstract

In the present paper, we consider a nonself-adjoint fourth-order differential operator with the periodic boundary conditions. We compute new accurate asymptotic expression of the fundamental solutions of the given equation. Then, we obtain new accurate asymptotic formulas for eigenvalues and eigenfunctions.

1. Introduction

In the present work, we consider a nonself-adjoint fourth-order operator which is generated by the periodic boundary conditions:

(1.1)
(1.2)

where is a complex-valued function. Without lose of generality, we can assume that .

Spectral properties of Sturm-Liouville operator which is generated by the periodic and antiperiodic boundary conditions have been investigated by many authors, the results on this direct and references are given details in the monographs [1–5].

In this paper we obtain asymptotic formulas for the eigenvalues and eigenfunctions of the fourth-order boundary-value problem (1.1), (1.2). For second-order differential equations, similar asymptotic formulas were obtained in [6–9]. We note that in [6, 10, 11], using the obtained asymptotic formulas for eigenvalues and eigenfunctions, the basis properties of the root functions of the operators were investigated.

The paper is organized as follows. In Section 2, we compute new asymptotic expression of the fundamental solutions of (1.1). In Section 3, we obtain new accurate asymptotic estimates for the eigenvalues. In Section 4, we have asymptotic formulas for eigenfunctions under the distinct conditions on .

2. The Expression of the Fundamental Solutions

It is well known that (see [2, page 92]) if the complex -plane is divided into eight sectors , defined by the inequalities

(2.1)

then in each of these sectors (1.1) has four linear independent solutions , which are regular with respect to in the sector for sufficiently large and which satisfy the relation

(2.2)

where the numbers are the fourth roots of unity, that is, and . In general, the term at the formula (2.2) depends upon the smoothness of the function . If has continuous derivatives, then one can assert the existence of a representation (2.2) with . Here, we assume that . The functions satisfy the following recursion relations:

(2.3)

Let us put, moreover, , , for . Thus, the functions are uniquely determined. Thus, we can find from (2.3) that

(2.4)

3. The Asymptotic Formulas of Eigenvalues

It follows from the classical investigations (see [4, page 65]) that the eigenvalues of the problem (1.1), (1.2) (in ) consist of the pairs of the sequences , satisfying the following asymptotic formula:

(3.1)

for sufficiently large integer , where is a constant.

Theorem 3.1.

Assume that . Then, the eigenvalues of the boundary-value problem (1.1), (1.2) form two infinite sequences , , where is a big positive integer and have the following asymptotic formulas:

(3.2)

Proof.

By derivation of (2.2) up to third order with respect to , the following relations are obtained:

(3.3)

where , and

(3.4)

Now let us substitute all these expressions into the characteristic determinant

(3.5)

where

(3.6)

By long computations, for sufficiently large , we obtain that

(3.7)

Multiplying the last equation by

(3.8)

it becomes

(3.9)

Hence, by , for sufficiently large , the following equations hold:

(3.10)
(3.11)

By Rouche's theorem, we have asymptotic estimates for the roots and , , , of (3.10) and (3.11), respectively, where is a big positive integer

(3.12)
(3.13)

From the relations (3.12), (3.13) and the relations , the asymptotic formulas (3.2) are valid for .

4. The Asymptotic Formulas for the Eigenfunctions

Now, we obtain asymptotic formulas for eigenfunctions under the distinct conditions on .

Case 1.

Assume that and the condition holds. Based on the asymptotic expressions of the fundamental solutions of (1.1) and the asymptotic formulas for eigenvalues of the boundary-value problem (1.1), (1.2) up to order , the following result is valid.

Theorem 4.1.

If the condition holds, then eigenfunctions of the boundary-value problem (1.1), (1.2) corresponding the eigenvalues and are of the form

(4.1)
(4.2)

where is sufficiently large integer.

Proof.

Let us calculate up to order . Since

(4.3)

we obtain that

(4.4)

Follows from the condition that for . Thus, we can seek eigenfunction corresponding in the form

(4.5)

Then,

(4.6)

By simple computations, we obtain

(4.7)

Hence, using the formula (2.2), we can write

(4.8)

Therefore, for the normalized eigenfunction, we get

(4.9)

Using the relations (3.3) and (3.12), for sufficiently large integer , we obtain (4.1)

(4.10)

Similarly, since for , we can seek eigenfunction corresponding in the form

(4.11)

Then,

(4.12)

By similar computations we obtain

(4.13)

Hence, using the formula (2.2), we can write

(4.14)

Therefore, for the normalized eigenfunction, we get

(4.15)

Hence, for sufficiently large integer , we obtain (4.2)

(4.16)

Case 2.

Assume that and the conditions and hold. Based on the asymptotic expressions of the fundamental solutions of (1.1) and the asymptotic formulas for eigenvalues of the boundary-value problem (1.1), (1.2) up to order , the following result is valid.

Theorem 4.2.

If the conditions and hold, then eigenfunctions of the boundary-value problem (1.1), (1.2) corresponding the eigenvalues and are of the form

(4.17)
(4.18)

where is sufficiently large integer.

Proof.

It is clear that

(4.19)

It follows from the conditions , that for . Thus, we can seek eigenfunction corresponding in the form

(4.20)

Then,

(4.21)

By simple computations, we have

(4.22)

Hence, using the formula (2.2), we can write

(4.23)

Therefore, for the normalized eigenfunction, we get

(4.24)

Using the relations (3.3) and (3.12), for sufficiently large integer , we obtain (4.17):

(4.25)

In similar way, we can seek eigenfunction corresponding in the form

(4.26)

Then,

(4.27)

By simple computations, we get

(4.28)

Hence, using the formula (2.2), we can write

(4.29)

Therefore, for the normalized eigenfunction, we get

(4.30)

Hence, for sufficiently large integer , we obtain (4.18):

(4.31)

Case 3.

Assume that and the conditions and hold. Based on the asymptotic expressions of the fundamental solutions of (1.1) and the asymptotic formulas for eigenvalues of the boundary-value problem (1.1), (1.2) up to order , the following result is valid.

Theorem 4.3.

If the conditions and hold, then eigenfunctions of the boundary-value problem (1.1), (1.2) corresponding the eigenvalues and are of the form

(4.32)
(4.33)

where is sufficiently large integer.

Proof.

It is clear that

(4.34)

From the conditions and , we have for . Thus, we can seek eigenfunction corresponding in the form

(4.35)

Then,

(4.36)

By simple calculations, we get

(4.37)

Hence, using the formula (2.2), we can write

(4.38)

Therefore, for the normalized eigenfunction, we get

(4.39)

Using the relations (3.3) and (3.12), for sufficiently large integer , we obtain (4.32)

(4.40)

In similar way, we can seek eigenfunction corresponding in the form

(4.41)

Then,

(4.42)

By simple computations, we get

(4.43)

By the formula (2.2), we can write

(4.44)

Therefore, for the normalized eigenfunction, we get

(4.45)

Hence, for sufficiently large integer , we obtain the relation (4.33)

(4.46)

Case 4.

Assume that and the conditions , and hold. Based on the asymptotic expressions of the fundamental solutions of (1.1) and the asymptotic formulas for eigenvalues of the boundary-value problem (1.1), (1.2) up to order , the following result is valid.

Theorem 4.4.

If the conditions and hold, then eigenfunctions of the boundary-value problem (1.1), (1.2) corresponding the eigenvalues and are of the form

(4.47)
(4.48)

where is sufficiently large integer.

Proof.

It is clear that

(4.49)

From the conditions and , we have for . Thus, we can seek eigenfunction corresponding in the form

(4.50)

Then

(4.51)

By simple computations, we get

(4.52)

By the formula (2.2), we can write

(4.53)

Therefore, for the normalized eigenfunction, we get

(4.54)

Using the relations (3.3) and (3.12), for sufficiently large integer , we obtain (4.47):

(4.55)

In similar way, we can seek eigenfunction corresponding in the form

(4.56)

By simple computations, we get

(4.57)

By the formula (2.2), we can write

(4.58)

Therefore, for the normalized eigenfunction, we get

(4.59)

Hence, for sufficiently large integer , we obtain the relation (4.48)

(4.60)

References

  1. Dunford N, Schwartz JT: Linear Operators, Part 3 Spectral Operators, Wiley Classics Library. John Wiley & Sons, New York, NY, USA; 1970.

    Google Scholar 

  2. Levitan BM, Sargsjan IS: Introduction to Spectral Theory: Selfadjoint Ordinary Differential Operators. American Mathematical Society, Providence, RI, USA; 1975:xi+525.

    MATH  Google Scholar 

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

    Book  Google Scholar 

  4. Naimark MA: Linear Differential Operators. Part 1. Frederick Ungar, New York, NY, USA; 1967:xiii+144.

    Google Scholar 

  5. Rofe-Beketov FS, Kholkin AM: Spectral Analysis of Differential Operators, World Scientific Monograph Series in Mathematics. Volume 7. World Scientific Publishing, Singapore; 2005:xxiv+438.

    MATH  Google Scholar 

  6. Kerimov NB, Mamedov KR: On the Riesz basis property of root functions of some regular boundary value problems. Mathematical Notes 1998,64(4):483-487. 10.1007/BF02314629

    Article  MathSciNet  MATH  Google Scholar 

  7. Chernyatin VA: Higher-order spectral asymptotics for the Sturm-Liouville operator. Ordinary Differential Equations 2002,38(2):217-227.

    Article  MathSciNet  MATH  Google Scholar 

  8. Mamedov KR, Menken H:On the basisness in of the root functions in not strongly regular boundary value problems. European Journal of Pure and Applied Mathematics 2008,1(2):51-60.

    MathSciNet  MATH  Google Scholar 

  9. Mamedov KR, Menken H: Asymptotic formulas for eigenvalues and eigenfunctions of a nonselfadjoint Sturm-Liouville operator. In Further Progress in Analysis. Edited by: Begehr HGW, Çelebi AO, Gilbert RP. World Scientific Publishing; 2009:798-805.

    Chapter  Google Scholar 

  10. Kurbanov VM: A theorem on equivalent bases for a differential operator. Doklady Akademii Nauk 2006,406(1):17-20.

    MathSciNet  MATH  Google Scholar 

  11. Menken H, Mamedov KR:Basis property in of the root functions corresponding to a boundary-value problem. Journal of Applied Functional Analysis 2010,5(4):351-356.

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

This work is supported by The Scientific and Technological Research Council of Turkey (TÃœBÄ°TAK). The author would like to thank the referee and the editor for their helpful comments and suggestions. The author also would like to thank prof. Kh. R. Mamedov for useful discussions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hamza Menken.

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

Menken, H. Accurate Asymptotic Formulas for Eigenvalues and Eigenfunctions of a Boundary-Value Problem of Fourth Order. Bound Value Probl 2010, 720235 (2010). https://doi.org/10.1155/2010/720235

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords