Self-adjoint fourth order differential operators with eigenvalue parameter dependent and periodic boundary conditions
- Boitumelo Moletsane^{1} and
- Bertin Zinsou^{1}Email authorView ORCID ID profile
Received: 19 October 2016
Accepted: 6 March 2017
Published: 14 March 2017
Abstract
Fourth order eigenvalue problems with periodic and separated boundary conditions are considered. One of the separated boundary conditions depends linearly on the eigenvalue parameter λ. These problems can be represented by an operator polynomial \(L(\lambda)=\lambda ^{2}M-i\alpha\lambda K-A\), where \(\alpha>0\), M and K are self-adjoint operators. Necessary and sufficient conditions are given such that A is self-adjoint.
Keywords
fourth order differential operators eigenvalue dependent boundary conditions periodic boundary conditions quadratic operator pencil self-adjoint operatorsMSC
34B07 34B08 47E051 Introduction
Higher order linear differential equations occur in applications with or without the eigenvalue parameter in the boundary conditions. Such problems are realized as operator polynomials, also called operator pencils. Higher order eigenvalue problems are experiencing slow but steady developments. Some recent developments of higher order problems whose eigenvalue boundary conditions may depend on the eigenvalue parameter, including asymptotics of the eigenvalues can be found in [1–14].
A classification of separated eigenvalue boundary conditions of 2nth order problems for which all the coefficient operators of the operator pencil (1.1) are self-adjoint is given in [9], Theorem 4.7, while an equivalent classification for fourth order problems is given in [4]. The boundary conditions investigated in [4, 9] are all separated. Möller and Pivovarchik [15] give necessary and sufficient conditions for an operator to be self-adjoint in terms of the null and image spaces of matrices defined by any type of boundary conditions for a 2nth order differential equation.
We give basic definitions and properties needed to conduct the study under investigation in Section 2. In Section 3 we prove that a particular fourth order periodic eigenvalue problem is self-adjoint using two different characterizations of self-adjoint operators. These characterizations are the Möller and Pivovarchik characterization for general boundary conditions [15] and the Möller and Zinsou characterization for separated boundary conditions [4, 9]. In Section 4 we present, for the fourth order eigenvalue problems investigated in this paper, the two different characterizations of self-adjoint operators used in Section 3 as matrix equations. The Möller and Pivovarchik characterization is given by \(U_{3}(N(U_{1}))=R(U^{*})\), while the Möller and Zinsou characterization is \(W(N(U_{1}))=R(U_{1}^{*})\), where \(U_{3}\) is a \(8\times10\) matrix, \(U_{1}\) is a \(3\times8\) matrix, U is a \(5\times10\) matrix and W a \(8\times8\) matrix of rank6. Finally, in Section 5 we consider a class of periodic eigenvalue problems consisting of two periodic boundary conditions and two separated boundary conditions, one of them depends on the eigenvalue parameter. We derive necessary and sufficient conditions for which the coefficient operator A is self-adjoint and we provide the structure of the boundary conditions using singular value decomposition.
2 Preliminaries
Definition 2.1
A formulation of the Lagrange identity and Green’s formula is quoted below from [15], Theorem 10.2.3.
Theorem 2.2
Proposition 2.3
A criterion of self-adjointness as given by [15], Theorem 10.3.5, is quoted below.
Theorem 2.4
In addition to determining if A is self-adjoint, we use [15], Theorem 10.3.8, quoted below to conclude that A is bounded below.
Theorem 2.5
- (i)
\((-1)^{k}g_{k}>0\),
- (ii)
each component of \(U_{1}\hat{Y}\) either contains only quasi-derivatives \(y^{[m]}\) with \(m< k\) or contains only quasi-derivatives \(m\geq k\),
- (iii)
each component of \(U_{2}\hat{Y}\) either contains only quasi-derivatives \(y^{[m]}\) with \(m< k\) or contains only quasi-derivatives \(m\geq k\),
- (iv)
for each component of \(U_{2}\hat{Y}\) which only contains quasi-derivatives \(y^{[m]}\) with \(m\geq k\), the corresponding component of VŶ only contains quasi-derivatives \(y^{[m]}\) with \(m< k\).
Any \(m\times n\) matrix can be decomposed into a diagonal matrix of its singular values and orthogonal matrices of order m and n as stated in [16], Theorem 6.1, quoted below as
Theorem 2.6
3 A particular problem
Proposition 3.1
The operators A, K, and M are self-adjoint, M and K are bounded, K has rank 1, \(M\geq0\), \(K\geq0\), \(M+K\gg0\), \(N(M)\cap N(A)= \{0\}\) and A is bounded below and has a compact resolvent.
Proof
4 Periodic and a single eigenvalue dependent boundary condition
Proposition 4.1
Proof
Remark 4.2
Whenever \(Y\in D(A)\) then \(\hat{Y}\in N(U_{1})\), and for every \(u \in N(U_{1})\) there is a \(Y\in D(A)\) such that \(\hat{Y}=u\).
Corollary 4.3
If A is self-adjoint then \(\operatorname {rank}W=6 \) and \(W(N(U_{1}))=R(U_{1}^{*})\).
Proof
Theorem 4.4
- (i)
A is self-adjoint,
- (ii)
\(U_{3}(N(U_{1}))=R(U^{*})\),
- (iii)
\(W(N(U_{1}))=R(U_{1}^{*})\).
Proof
Suppose (i) holds. Then Corollary 4.3 implies (iii).
Suppose that (ii) holds. Then by Theorem 2.4 we have (i). □
5 Further examples of self-adjoint operators with periodic and a single eigenvalue dependent boundary conditions
Theorem 5.1
Proof
We find an unifying structure of boundary conditions that are periodic or anti-periodic at the end points of the interval and have an eigenvalue parameter dependence in one of them as described by Theorem 2.6. The matrix \(U_{4}\) defined below was decomposed into its singular values and orthogonal matrices in an effort to find a relationship in all the cases.
Theorem 5.2
Proof
Declarations
Acknowledgements
This research was supported by a grant from the NRF of South Africa, Grant number 80956. Various of the above calculations have been verified with MathLab.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Authors’ Affiliations
References
- Möller, M, Pivovarchik, V: Spectral properties of a fourth order differential equation. J. Anal. Appl. 25, 341-366 (2006) MathSciNetMATHGoogle Scholar
- Wang, A, Sun, J, Zettl, A: The classification of self-adjoint boundary conditions: separated, coupled, and mixed. J. Funct. Anal. 255, 1554-1573 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Wang, A, Sun, J, Zettl, A: Characterization of domains of self-adjoint ordinary differential operators. J. Differ. Equ. 246, 1600-1622 (2009) MathSciNetView ArticleMATHGoogle Scholar
- Möller, M, Zinsou, B: Self-adjoint fourth order differential operators with eigenvalue parameter dependent boundary conditions. Quaest. Math. 34, 393-406 (2011). doi:https://doi.org/10.2989/16073606.2011.622913 MathSciNetView ArticleMATHGoogle Scholar
- Möller, M, Zinsou, B: Spectral asymptotics of self-adjoint fourth order boundary value problem with eigenvalue parameter dependent boundary conditions. Bound. Value Probl. 2012, 106 (2012). doi:https://doi.org/10.1186/1687-2770-2012-106 MathSciNetView ArticleMATHGoogle Scholar
- Möller, M, Zinsou, B: Spectral asymptotics of self-adjoint fourth order differential operators with eigenvalue parameter dependent boundary conditions. Complex Anal. Oper. Theory 6, 799-818 (2012). doi:https://doi.org/10.1007/s11785-011-0162-1 MathSciNetView ArticleMATHGoogle Scholar
- Möller, M, Zinsou, B: Asymptotics of the eigenvalues of a self-adjoint fourth order boundary value problem with four eigenvalue parameter dependent boundary conditions. J. Funct. Spaces Appl. (2013). doi:https://doi.org/10.1155/2013/280970 MathSciNetMATHGoogle Scholar
- Möller, M, Zinsou, B: Sixth order differential operators with eigenvalue dependent boundary conditions. Appl. Anal. Discrete Math. 7, 378-389 (2013). doi:https://doi.org/10.2298/AADM130608010M MathSciNetView ArticleMATHGoogle Scholar
- Möller, M, Zinsou, B: Self-adjoint higher order differential operators with eigenvalue parameter dependent boundary conditions. Bound. Value Probl. 2015, 79 (2015). doi:https://doi.org/10.1186/s13661-015-0341-5 MathSciNetView ArticleMATHGoogle Scholar
- Zinsou, B: Fourth order Birkhoff regular problems with eigenvalue parameter dependent boundary conditions. Turk. J. Math. 40, 864-873 (2016). doi:https://doi.org/10.3906/mat-1508-61 MathSciNetView ArticleGoogle Scholar
- Möller, M, Zinsou, B: Asymptotics of the eigenvalues of self-adjoint fourth order differential operators with separated eigenvalue parameter dependent boundary conditions. Rocky Mt. J. Math. (to appear) Google Scholar
- Demarque, R, Miyagaki, O: Radial solutions of inhomogeneous fourth order elliptic equations and weighted Sobolev embeddings. Adv. Nonlinear Anal. (2014). doi:https://doi.org/10.1515/anona-2014-0041 MATHGoogle Scholar
- Baraket, S, Radulescu, V: Combined effects of concave-convex nonlinearities in a fourth order problem with variable exponent. Adv. Nonlinear Stud. 16(3), 409-419 (2016) MathSciNetView ArticleMATHGoogle Scholar
- Han, X, Gao, T: A priori bounds and existence of non-real eigenvalues of fourth-order boundary value problem with definite weight function. Electron. J. Differ. Equ. 2016, 82 (2016) View ArticleMATHGoogle Scholar
- Möller, M, Pivovarchik, V: Spectral Theory of Operator Pencils, Hermite-Biehler Functions, and Their Applications. Oper. Theory: Advances and Applications, vol. 246. Birkhäuser, Basel (2015) View ArticleMATHGoogle Scholar
- Eldén, L: Matrix Methods in Data Mining and Pattern Recognition. Society for Industrial and Applied Mathematics, Philadelphia (2007) View ArticleMATHGoogle Scholar