Eigenvalues of a Class of Eigenparameter Dependent Third-Order Differential Operators

The present paper deals with a class of third-order differential operators with eigenparameter dependent boundary conditions. The continuity of eigenvalues concerning a given parameter is proved. Moreover, the derivative formulas of eigenvalues concerning the parameters, in particular, the eigenparameter dependent boundary condition matrix, are given.


Introduction
Boundary value problem (BVP) with an eigenparameter contained in equations and boundary conditions is a significant part of differential operator theory for its wide applications in various fields. And it has attracted more and more attentions from mathematicians and physicists in recent decades. Various applications in physics and other fields such as the vibration of loaded strings, diffusion processes in probability theory and so on yield such problems [1]. A large number of literature have devoted to the study of such problems for Sturm-Liouville (S-L) problems and fourth-order beam equations, and numerous significance results are obtained (see, for example [2][3][4][5][6][7][8][9][10][11][12]).
The dependence of eigenvalues of classical regular S-L problems has been well investigated by Kong, Wu and Zettl. They showed that each eigenvalue of regular S-L problems can be inserted into a continuous eigenvalue branch, moreover, it is 1 3 shown that each eigenvalue is differentiable with regards to a given parameter [13,14] (the coefficients of differential expression, the endpoints and the boundary conditions). Such dependence has been generalized by Shi, Zettl etc. into singular S-L problems, especially in the case of limit point S-L problems [15,16]. The dependence of eigenvalues of eigenparameter dependent S-L problems was investigated by Zhang etc. [17]. And in [18][19][20] fourth-order and higher-order differential operators were studied. In [21][22][23][24], the dependence of eigenvalues of discontinuous differential operators were investigated. These results play a significant role in the eigenvalue theory of differential operators and it is fundamental from the numerical computation of spectrum, for example, the codes SLEIGN2 [25] and SLEUTH [26].
Boundary condition plays a crucial role in the differential operators theory since it carries the information of the spectrum. As is well-known, the self-adjoint boundary conditions of differential operators can be classified into three cases: mixed, separated and coupled, which was shown by Wang, Sun and Zettl [27]. For the second-order S-L operators, there only exist two cases: separated and coupled. However, with regard to third-order differential operators, there only coupled and mixed self-adjoint boundary conditions exist [28] and a complete characterization of self-adjoint domain of odd order differential operators was given in [29]. Also, third-order differential equations have numerous physical backgrounds, for example, three-layer beam, the deflection of a curved beam varying cross-section, and so on [30,31]. Based on these facts, Uğurlu investigated the continuity and differentiability of eigenvalues concerning some data for third-order self-adjoint differential operators without eigenparameter dependent boundary conditions, moreover, the differential expressions of eigenvalues concerning some parameters are given [32]. Therefore, a natural question is rising: does a small change of third-order differential operators with eigenparameter dependent boundary conditions results in small change of each eigenvalue and eigenfunction of the problem? In the present paper, we will solve this problem.
In this paper, we will consider a class of eigenparameter dependent third-order differential operators with mixed boundary conditions. We characterize the continuity of eigenvalues with respect to given data by using the continuity theorem for analytic functions with isolated zeros, moreover, the differential expressions of eigenvalues are also presented. The paper is organized as follows. In Sect. 2, we investigate some notations and preliminaries associated with the problem. The continuity and differentiability of eigenvalues are presented in Sects. 3 and 4, respectively.

Preliminaries
We study third-order symmetric differential equation with boundary conditions: where is the spectral parameter, ∈ (0, ], q 0 , q 1 , p 0 , p 1 , w satisfy the conditions k ,̃ k , k ,̃ k (k = 1, 2) are arbitrary real numbers, and satisfy Third-order BVP with an eigenparameter contained in the boundary conditions consisting of (1)-(4) is considered here. Firstly, we investigate some basic preliminaries.
The quasi-derivatives of f are defined as [33] and Then for arbitrary f , g ∈ D max , integration by parts yields Lagrange identity It is easy verified that H is a Hilbert space.
Define the operator T as follows and By the definition of the operator T, the eigenvalue problem of BVP (1)-(4) is transferred to the spectra problem of the operator T.
Considering the operator T, the following properties hold.

Lemma 2.1 T is self-adjoint in H, its eigenvalues are discrete, real-valued and have no finite point of accumulation. Moreover, the multiplicity of each eigenvalue at most 3.
Proof For detail proof, we refer to [34]. ◻

The Banach Space
For purpose of investigating the continuity of eigenvalues, we introduce the following Banach space. Consider the Banach space with the norm (1) satisfying the conditions is continuous with respect to all its variables.
Proof By transferring the Eq. (1) to a first-order system, and based on the existence and uniqueness of solutions and Theorem 2.7 in [35], the conclusion holds. ◻ Proof By Lemma 2.2, one can see that is an eigenvalue of BVP (1)-(4) if and only if Δ( ) = 0. By the continuous dependence of solutions on the problem ( [36], Theorem 2.4.1), Δ( ) is an entire function with respect to and is continuous at ∈ . We can also verified that Δ( ) is not a constant. According to the continuity theorem for analytic functions with isolated zeros, the conclusion holds. ◻ The continuity of eigenvectors of the operator T is stated as follows. Proof It can be proved by using similar methods in [17], with the aid of Lemma 3.1, Theorem 3.2 as well as Theorem 3.2 in [13]. ◻

Derivative Formulas of Eigenvalues
We give the differentiability of eigenvalues concerning some data, especially the boundary condition parameter matrix in this section.
Definition 2 [12] Let , be Banach spaces. We call the map Γ ∶ → is Fréchet differentiable at x ∈ provided that a bounded linear operator dΓ x ∶ → exists, such that for ∈ , of except one, the geometric multiplicity of ( ) is invariant in some neighborhoods M ⊂ Ω. Then the following differential expressions hold.
(1) Let all the elements of be fixed except and = ( ) . Then is differentiable and satisfies (2) Let all the elements of be fixed except 1 and = ( 1 ) . Then is differentiable and satisfies where 2 +̃ 2 ≠ 0. where 2 +̃ 2 ≠ 0. (7) Let all the elements of be fixed except ̃ 1 and = (̃ 1 ) . Then is differentiable and satisfies � ( ) = 2 cos 1 + sin 2 | f [1] (a)| 2 = 2 cos 1 + sin 2 | f [1] where 2 +̃ 2 ≠ 0. the Fréchet derivative of with respect to K is formulated as (12) Let all the elements of be fixed except p 0 and = (p 0 ) . Then the Fréchet derivative of with respect to p 0 is formulated as (13) Let all the elements of be fixed except p 1 and = (p 1 ). Then the Fréchet derivative of with respect to p 1 is formulated as Journal of Nonlinear Mathematical Physics (2022) 29:477-492

(14) Let all the elements of be fixed except w and = (w). Then the Fréchet derivative of with respect to w is formulated as
Proof Let all the elements of ∈ Ω be fixed except one. For sufficiently small > 0 , when ‖ − * ‖ < , let ( ) be an eigenvalue of BVP (1)-(4) satisfying Theorem 3.2. For all the above six cases, the ( ) is replaced by ( + Δ ) , (1) Let all the elements of be fixed except . We adopt the following notations: Let be the normalized eigenvectors corresponding to ( ) and ( + Δ ) respectively. By the self-adjointness of the operator T and the boundary condition (4), we have Dividing both sides of Δ , and taking the limit as Δ → 0 , we have by Theorem 3.3. Using the boundary condition (4), we have |f [1] (a)| 2 = |f [1] (b)| 2 .

Conclusion
In the present paper, we study the dependence of eigenvalues of third-order differential operators with eigenparameter dependent boundary conditions. It is proved that the eigenvalues of such problem depend not only continuously but also smoothly on the parameter. The dependence of eigenvalues with respect to the data plays an important role in the theory of differential operators. It gives theoretical support for the numerical computation of eigenvalues. Moreover, the properties of monotonicity of eigenvalues with respect to the parameters can be obtained by the derivatives of eigenvalues on the given parameter. [2] − g [2] f Author Contributions All authors completed the paper together. All authors read and approved the final manuscript.
Funding This research is partly funded by the National Nature Science Foundation of China (no. 62161045), the Inner Mongolia Autonomous Region University Scientific Research Project (nos. NJZY21570, NJZZ21003), the Natural Science Foundation of Shandong Province (nos. ZR2020QA009, ZR2019MA034).
Availability of data and materials Not applicable.

Conflict of interest
The authors declare that they have no competing interests.
Ethics approval Not applicable.
Consent to participate Not applicable.

Consent for publication Not applicable.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http:// creat iveco mmons. org/ licen ses/ by/4. 0/.