Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 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 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.
2 Preliminaries
We study third-order symmetric differential equation
with boundary conditions:
where \( \lambda \) is the spectral parameter, \(\theta \in (0,\pi ], \) \(q_{0}, q_{1}, p_{0}, p_{1}, w\) satisfy the conditions
\( \alpha _{k},~\widetilde{\alpha }_{k},~\gamma _{k},~\widetilde{\gamma }_{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 \(H_{w}= L_{w}^{2}[a,b]\) is a weighted Hilbert space equipped with the inner product \( \langle f, g\rangle _w=\int ^{b}_{a}f\overline{g}wdx \) consisting of functions f which satisfy \( \int ^{b}_{a}\vert f\vert ^{2}wdx<\infty . \)
Maximal operator \( L_{\max } \) is defined as
with the domain
Then for arbitrary \( f, g\in D_{\max }, \) integration by parts yields Lagrange identity
where
Let \( \mathcal {H}=L_w^{2}[a,b]\oplus \mathbb {C}^{2} \) equipped with inner product
where \(F=\left( \begin{array}{c} f(x) \\ f_1 \\ f_2 \\ \end{array} \right) ,\ G=\left( \begin{array}{c} g(x) \\ g_1 \\ g_2 \\ \end{array} \right) \in \mathcal {H}\). It is easy verified that \( \mathcal {H} \) is a Hilbert space.
Define the operator \(\mathrm {T}\) as follows
and
By the definition of the operator \( \mathrm {T}, \) the eigenvalue problem of BVP (1)–(4) is transferred to the spectra problem of the operator \( \mathrm {T}. \)
Considering the operator \( \mathrm {T}, \) the following properties hold.
Lemma 2.1
\(\mathrm {T}\) is self-adjoint in \( \mathcal {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]. \(\square \)
Let
Let \(\vartheta _{1}(x,\lambda ),\vartheta _{2}(x,\lambda ),\vartheta _{3}(x,\lambda )\) be the system of linearly independent fundamental solutions of Eq. (1) satisfy initial condition
Lemma 2.2
\(\lambda \in \mathbb {C}\) is an eigenvalue of BVP (1)–(4) (also of the operator \( \mathrm {T} \)) if and only if
Proof
The proof is routine by substituting the general solution consisting of the independent solutions \(\vartheta _{1}(x,\lambda ),\vartheta _{2}(x,\lambda ),\vartheta _{3}(x,\lambda )\) into boundary conditions (2)–(4), then we can get a system of homogeneous linear equations, using ordinary differential equation theory, we can get the conclusion. \(\square \)
3 The Banach Space
For purpose of investigating the continuity of eigenvalues, we introduce the following Banach space.
Consider the Banach space
with the norm
for any \( W=(p_{0},p_{1},w,\Delta _{1},\Delta _{2},\theta ) \in \mathfrak {W}, \) where
Let
Lemma 3.1
The solution \( f=f(x,c_{0},d_{1},d_{2},d_{3},p_{0},p_{1},w) \) of Eq. (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. \(\square \)
Theorem 3.2
Let \(\omega ^{*}=(p^{*}_{0},p^{*}_{1},w^{*},\Delta ^{*}_{1},\Delta ^{*}_{2},\theta ^{*})\in \Omega ,\) and \(\lambda =\lambda (\omega ) \) be an eigenvalue of BVP (1)–(4). Then for any \(\varepsilon >0\), there exists a \(\delta >0\) so that if \(\omega \in \Omega \) satisfies
then
Proof
By Lemma 2.2, one can see that \(\lambda \) is an eigenvalue of BVP (1)–(4) if and only if \(\Delta (\lambda )=0.\) By the continuous dependence of solutions on the problem ([36], Theorem 2.4.1), \(\Delta (\lambda )\) is an entire function with respect to \(\lambda \) and is continuous at \(\omega \in \mathfrak {W}.\) We can also verified that \(\Delta (\lambda )\) is not a constant. According to the continuity theorem for analytic functions with isolated zeros, the conclusion holds. \(\square \)
Definition 1
We call \(F=(f(x),f_{1},f_{2})^T\in H \) is an normalized eigenvector of the operator \(\mathrm {T}\), where \(f_{1}=\alpha _{1}f(a)-\alpha _{2}f^{[2]}(a),\ f_{2}=\gamma _{1}f(b)+\gamma _{2}f^{[2]}(b)\), if the eigenvector \(F=(f(x),f_{1},f_{2})^T\) of \(~\mathrm {T}\) satisfies
The continuity of eigenvectors of the operator \( \mathrm {T} \) is stated as follows.
Theorem 3.3
Let \(\lambda (\omega ) (\omega \in \Omega )\) be an eigenvalue with multiplicity \(n~(n=1,2,3)\) for all \(~\omega \) in some neighborhoods of \(\omega ^{*} \) in \(~\Omega . \) Let \(F_{k}(x,\omega ^{*})=\big (f_{k}(x,\omega ^{*}),f_{k1}(\omega ^{*}),f_{k2}(\omega ^{*})\big )^{T}\) be the normalized eigenvectors of \( \lambda (\omega ^{*}) \). Then, there exist n linearly independent normalized eigenvectors \( F_{k}(x,\omega )=\big (f_{k}(x,\omega ),f_{k1}(\omega ),f_{k2}(\omega )\big )^{T}\) of \( \lambda (\omega ) \) so that
both uniformly on [a, b].
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]. \(\square \)
4 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 \(\mathbf {X},\ \mathbf {Y}\) be Banach spaces. We call the map \(\Gamma :\mathbf {X}\rightarrow \mathbf {Y}\) is Fr\(\acute{e}\)chet differentiable at \(x\in \mathbf {X}\) provided that a bounded linear operator \(\mathrm {d}\Gamma _{x}:\mathbf {X}\rightarrow \mathbf {Y}\) exists, such that for \(\tau \in \mathbf {X}\),
Theorem 4.1
Let \(\omega =(p_{0},p_{1},w,\Delta _{1},\Delta _{2},\theta )\in \Omega \), \(\lambda =\lambda (\omega )\) be an eigenvalue of BVP (1)–(4), \(F(\omega )=\big (f(x,\omega ),f_{1}(\omega ),f_{2}(\omega )\big )^{T}\in \mathcal {H}\) be the corresponding eigenvector. E is the identity matrix, R is \(2\times 2\) real-valued matrix. Assume that for all fixed elements of \( \omega \) except one, the geometric multiplicity of \( \lambda (\omega ) \) is invariant in some neighborhoods \( \mathcal {M}\subset \Omega . \) Then the following differential expressions hold.
-
(1)
Let all the elements of \( \omega \) be fixed except \( \theta \) and \(\lambda =\lambda (\theta )\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\theta )=\frac{2\cos \theta }{1+\sin ^{2}\theta }\vert \, f^{[1]}(a)\vert ^{2} =\frac{2\cos \theta }{1+\sin ^{2}\theta }\vert \, f^{[1]}(b)\vert ^{2}. \end{aligned}$$ -
(2)
Let all the elements of \( \omega \) be fixed except \(\alpha _{1}\) and \(\lambda =\lambda (\alpha _{1})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\alpha _{1}) =\frac{\lambda }{\alpha _{2}\lambda +\widetilde{\alpha }_{2}}\vert \, f(a)\vert ^2, \end{aligned}$$where \(\alpha _{2}\lambda +\widetilde{\alpha }_{2}\ne 0\).
-
(3)
Let all the elements of \(\omega \) be fixed except \(\widetilde{\alpha }_{1}\) and \(\lambda =\lambda (\widetilde{\alpha }_{1})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\widetilde{\alpha }_{1}) =\frac{1}{\alpha _{2}\lambda +\widetilde{\alpha }_{2}}\vert f(a)\vert ^2, \end{aligned}$$where \(\alpha _{2}\lambda +\widetilde{\alpha }_{2}\ne 0\).
-
(4)
Let all the elements of \( \omega \) be fixed except \(\alpha _{2}\) and \(\lambda =\lambda (\alpha _{2})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\alpha _{2}) =-\frac{\lambda }{\alpha _{1}\lambda +\widetilde{\alpha }_{1}}\vert f^{[2]}(a)\vert ^2, \end{aligned}$$where \(\alpha _{1}\lambda +\widetilde{\alpha }_{1}\ne 0\).
-
(5)
Let all the elements of \( \omega \) be fixed except \(\widetilde{\alpha }_{2}\) and \(\lambda =\lambda (\widetilde{\alpha }_{2})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\widetilde{\alpha }_{2}) =-\frac{1}{\alpha _{1}\lambda +\widetilde{\alpha }_{1}}\vert f^{[2]}(a)\vert ^2, \end{aligned}$$where \(\alpha _{1}\lambda +\widetilde{\alpha }_{1}\ne 0\).
-
(6)
Let all the elements of \(\omega \) be fixed except \(\gamma _{1}\) and \(\lambda =\lambda (\gamma _{1})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\gamma _{1}) =\frac{\lambda }{\gamma _{2}\lambda +\widetilde{\gamma }_{2}}\vert f(b)\vert ^2, \end{aligned}$$where \(\gamma _{2}\lambda +\widetilde{\gamma }_{2}\ne 0\).
-
(7)
Let all the elements of \(\omega \) be fixed except \(\widetilde{\gamma }_{1}\) and \(\lambda =\lambda (\widetilde{\gamma }_{1})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\widetilde{\gamma }_{1}) =\frac{1}{\gamma _{2}\lambda +\widetilde{\gamma }_{2}}\vert f(b)\vert ^2, \end{aligned}$$where \(\gamma _{2}\lambda +\widetilde{\gamma }_{2}\ne 0\).
-
(8)
Let all the elements of \(\omega \) be fixed except \(\gamma _{2}\) and \(\lambda =\lambda (\gamma _{2})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\gamma _{2}) =-\frac{\lambda }{\gamma _{1}\lambda +\widetilde{\gamma }_{1}}\vert f^{[2]}(b)\vert ^2, \end{aligned}$$where \(\gamma _{1}\lambda +\widetilde{\gamma }_{1}\ne 0\).
-
(9)
Let all the elements of \(\omega \) be fixed except \(\widetilde{\gamma }_{2}\) and \(\lambda =\lambda (\widetilde{\gamma }_{2})\). Then \(\lambda \) is differentiable and satisfies
$$\begin{aligned} \lambda '(\widetilde{\gamma }_{2}) =-\frac{1}{\gamma _{1}\lambda +\widetilde{\gamma }_{1}}\vert f^{[2]}(b)\vert ^2, \end{aligned}$$where \(\gamma _{1}\lambda +\widetilde{\gamma }_{1}\ne 0\).
-
(10)
Let all the elements of \(\omega \) be fixed except the boundary condition parameter matrix \(K=\left( \begin{array}{cc} \alpha _{1} &{} \widetilde{\alpha }_{1} \\ \alpha _{2} &{} \widetilde{\alpha }_{2} \\ \end{array} \right) \) and \(\lambda =\lambda (K)\). Then for all R satisfying \(\det [K+R]=-\rho _{1}\), the Fr\(\acute{e}\)chet derivative of \(\lambda \) with respect to K is formulated as
$$\begin{aligned} d\lambda _{K}(R)=\big (-f(a),f^{[2]}(a)\big )\big [E-(K+R)K^{-1}\big ] \big (\overline{f^{[2]}(a)},\overline{f(a)}\big )^{T}. \end{aligned}$$ -
(11)
Let all the elements of \(\omega \) be fixed except the boundary condition parameter matrix \( \widetilde{K}=\left( \begin{array}{cc} \gamma _{1} &{} \widetilde{\gamma }_{1} \\ \gamma _{2} &{} \widetilde{\gamma }_{2} \\ \end{array} \right) \) and \(\lambda =\lambda (\widetilde{K})\). Then for all R satisfying \(\det \big [\widetilde{K}+R\big ]=-\rho _{2}\), the Fr\(\acute{e}\)chet derivative of \(\lambda \) with respect to \( \widetilde{K} \) is formulated as
$$\begin{aligned} d\lambda _{\widetilde{K}}(R) =\big (f(b),f^{[2]}(b)\big )\big [E-(\widetilde{K}+R)\widetilde{K}^{-1}\big ] \big (\overline{f^{[2]}(b)},-\overline{f(b)}\big )^{T}. \end{aligned}$$ -
(12)
Let all the elements of \(\omega \) be fixed except \(p_{0}\) and \(\lambda =\lambda (p_{0})\). Then the Fr\(\acute{e}\)chet derivative of \(\lambda \) with respect to \( p_0 \) is formulated as
$$\begin{aligned} d\lambda _{p_{0}}(\tau )=\int _{a}^{b}\tau \vert f^{[1]}\vert ^{2}dx,\quad \tau \in L^{1}[a,b]. \end{aligned}$$ -
(13)
Let all the elements of \(\omega \) be fixed except \(p_{1}\) and \(\lambda =\lambda (p_{1}).\) Then the Fr\(\acute{e}\)chet derivative of \(\lambda \) with respect to \( p_1 \) is formulated as
$$\begin{aligned} d\lambda _{p_{1}}(\tau )=\int _{a}^{b}\tau \vert f\vert ^{2}dx,\quad \tau \in L^{1}[a,b]. \end{aligned}$$ -
(14)
Let all the elements of \(\omega \) be fixed except w and \(\lambda =\lambda (w).\) Then the Fr\(\acute{e}\)chet derivative of \(\lambda \) with respect to w is formulated as
$$\begin{aligned} d\lambda _{w}(\tau )=\lambda _{w}\int _{a}^{b}\tau \vert f\vert ^{2}dx,\quad \tau \in L^{1}[a,b]. \end{aligned}$$
Proof
Let all the elements of \(\omega \in \Omega \) be fixed except one. For sufficiently small \(\varepsilon >0\), when \(\Vert \omega -\omega ^{*}\Vert <\varepsilon \), let \(\lambda (\omega )\) be an eigenvalue of BVP (1)–(4) satisfying Theorem 3.2. For all the above six cases, the \(\lambda (\omega )\) is replaced by \(\lambda (\theta +\Delta \theta )\), \(\lambda (\alpha _{1}+\Delta \alpha _{1})\), \(\lambda (\widetilde{\alpha }_{1}+\Delta \widetilde{\alpha }_{1})\), \(\lambda (\alpha _{2}+\Delta \alpha _{2})\), \(\lambda (\widetilde{\alpha }_{2}+\Delta \widetilde{\alpha }_{2})\), \(\lambda (\gamma _{1}+\Delta \gamma _{1})\), \(\lambda (\widetilde{\gamma }_{1}+\Delta \widetilde{\gamma }_{1})\), \(\lambda (\gamma _{2}+\Delta \gamma _{2})\), \(\lambda (\widetilde{\gamma }_{2}+\Delta \widetilde{\gamma }_{2})\), \(\lambda (K+R),\lambda (\widetilde{K}+R),\lambda (p_{0}+\eta ), \lambda (p_{1}+\eta ),\lambda (w+\eta ),\) respectively.
(1) Let all the elements of \(\omega \) be fixed except \(\theta \). We adopt the following notations:
Let
be the normalized eigenvectors corresponding to \(\lambda (\theta )\) and \(\lambda (\theta +\Delta \theta )\) respectively. By the self-adjointness of the operator \(\mathrm {T}\) and the boundary condition (4), we have
Dividing both sides of \(\Delta \theta \), and taking the limit as \(\Delta \theta \rightarrow 0\), we have
by Theorem 3.3. Using the boundary condition (4), we have \(\vert f^{[1]}(a)\vert ^2=\vert f^{[1]}(b)\vert ^2.\) Hence, (1) holds.
(2) Let all the elements of \(\omega \) be fixed except \(\alpha _{1}\), and
be the normalized eigenvectors corresponding to \(\lambda (\alpha _{1})\) and \(\lambda (\alpha _{1}+\Delta \alpha _{1}),\) respectively. By the self-adjointness of the operator \(\mathrm {T}\) and the boundary condition (2), (4), we have
Dividing both sides of \(\Delta \alpha _{1}\), and taking the limit as \(\Delta \alpha _{1}\rightarrow 0\), we have
by Theorem 3.3. Using the same methods of (2), one can prove that (3), (4) and (5) are also true.
(6) Let all the elements of \(\omega \) be fixed except \(\gamma _{1}\), and
be the normalized eigenvectors corresponding to \(\lambda (\gamma _{1})\) and \(\lambda (\gamma _{1}+\Delta \gamma _{1}),\) respectively. Then By the self-adjointness of the operator \(\mathrm {T}\) and the boundary condition (3), (4), we have
Dividing both sides of \(\Delta \gamma _{1}\), and taking the limit as \(\Delta \gamma _{1}\rightarrow 0\), we have
by Theorem 3.3. Using the similar methods of (6), one can prove that (7), (8) and (9) are also true.
(10) Let all the elements of \(\omega \) be fixed except K. Let \(K+R=\left( \begin{array}{cc} \alpha _{1R} &{} \widetilde{\alpha }_{1R} \\ \alpha _{2R} &{} \widetilde{\alpha }_{2R} \\ \end{array} \right) ,\) with \(\mathrm{det}(K+R)=-\rho _{1}\), and
be the normalized eigenvectors corresponding to \(\lambda (K)\) and \(\lambda (K+R),\) respectively. Then
by the boundary condition (2). Using the boundary condition (2)–(4), simple calculation yields
Let \(R\rightarrow 0\), we get that
that is,
Hence (10) holds. The proof of (11) is similar to this.
(12) Let all the elements of \(\omega \) be fixed except \(p_{0}\), and
be the normalized eigenvectors corresponding to \(\lambda (p_{0})\) and \(\lambda (p_{0}+\tau )\). Then we have
It follows from the above results that (12) holds. Using the similar methods of (12), one can prove that (13) and (14) are also true. \(\square \)
5 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.
Availability of data and materials
Not applicable.
References
Fulton, C.T.: Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions. Proc. R. Soc. Edinb. Sect. A Math. 77, 293–308 (1977)
Olğar, H., Mukhtarov, OSh.: Weak eigenfunctions of two-interval Sturm–Liouville problems together with interaction conditions. J. Math. Phys. 58(4), 388–396 (2017)
Binding, P.A., Browne, P.J., Watson, B.A.: Transformations between Sturm–Liouville problems with eigenvalue dependent and independent boundary conditions. Bull. Lond. Math. Soc. 33(6), 749–757 (2001)
Guliyev, N.J.: A Riesz basis criterion for Schrödinger operators with boundary conditions dependent on the eigenvalue parameter. Anal. Math. Phys. 10, 2 (2020). https://doi.org/10.1007/s13324-019-00348-0
Binding, P., Browne, P.J., Watson, B.A.: Sturm–Liouville problems with boundary conditions raditionally dependent on the eigenparameter. J. Comput. Appl. Math. 148(1), 147–168 (2002)
Mukhtarov, O.S., Aydemir, K.: Eigenfunction expansion for Sturm–Liouville problems with transmission conditions at one interior point. Acta Math. Sci. (Engl. Ser.) 35(3), 639–649 (2015)
Mukhtarov, O.S., Aydemir, K.: Two-linked periodic Sturm-Liouville problems with transmission conditions. Math. Methods Appl. Sci. 44, 1–13 (2021)
Cai, J., Zheng, Z.: Matrix representations of Sturm–Liouville problems with coupled eigenparameter-dependent boundary conditions and transmission conditions. Math. Methods Appl. Sci. 41(9), 3495–3508 (2018)
Kraft, R.E., Wells, W.R.: Adjointness properties for differential systems with eigenvalue-dependent boundary conditions, with application to flow duct acoustics. J. Acoust. Soc. Am. 58(S1), 913–922 (1975)
Li, K., Sun, J., Hao, X., Bao, Q.: Spectral analysis for discontinuous non-self-adjoint singular Dirac operators with eigenparameter dependent boundary condition. J. Math. Anal. Appl. 453(1), 304–316 (2017)
Guliyev, Namig J.: Schrödinger operators with distributional potentials and boundary conditions dependent on the eigenvalue parameter. J. Math. Phys. 60, 063501 (2019)
Uǧurlu, E., Bairamov, E.: Spectral analysis of eigenparameter dependent boundary value transmission problems. J. Math. Anal. Appl. 413(1), 482–494 (2014)
Kong, Q., Zettl, A.: Eigenvalues of regular Sturm–Liouville problems. J. Differ. Equ. 131, 1–19 (1996)
Kong, Q., Wu, H.Y., Zettl, A.: Dependence of the nth Sturm–Lioouville eigenvalue on the problem. J. Differ. Equ. 156(2), 328–354 (1999)
Zhu, H., Shi, Y.: Dependence of eigenvalues on the boundary conditions of Sturm–Liouville problems with one singular endpoint. J. Differ. Equ. 263, 5582–5609 (2017)
Zhang, M., Sun, J., Zettl, A.: Eigenvalues of limit-point Sturm–Liouville problems. J. Math. Anal. Appl. 419(1), 627–642 (2014)
Zhang, M., Li, K.: Dependence of eigenvalues of Sturm-Liouville problems with eigenparameter dependent boundary conditions. Appl. Math. Comput. 378, 125214 (2020). https://doi.org/10.1016/j.amc.2020.125214
Suo, J., Wang, W.: Eigenvalues of a class of regular fourth-order Sturm–Liouville problems. Appl. Math. Comput. 218(19), 9716–9729 (2012)
Lv, X., Ao, J., Zettl, A.: Dependence of eigenvalues of fourth-order differential equations with discontinuous boundary conditions on the problem. J. Math. Anal. Appl. 456, 671–685 (2017)
Kong, Q.K., Wu, H.Y., Zettl, A.: Dependence of eigenvalues on the problems. Math. Nachr. 188, 173–201 (1997)
Uğurlu, E.: Third-order boundary value transmission problems. Turk. J. Math. 43, 1518–1532 (2019)
Zhang, M., Wang, Y.: Dependence of eigenvalues of Sturm–Liouville problems with interface conditions. Appl. Math. Comput. 265, 31–39 (2015)
Li, K., Sun, J., Hao, X.: Dependence of eigenvalues of \(2n\)th order boundary value transmission problems. Bound. Value Probl. 2017(1), 143 (2017)
Li, K., Sun, J., Hao, X.: Eigenvalues of regular fourth order Sturm–Liouville problems with transmission conditions. Math. Methods Appl. Sci. 40, 3538–3551 (2017)
Bailey, P., Everitt, W., Zettl, A.: The SLEIGN2 Sturm–Liouville code. ACM Trans. Math. Softw. 21, 143–192 (2001)
Greenberg, L., Marletta, M.: The code SLEUTH for solving fourth order Sturm–Liouville problems. ACM Trans. Math. Softw. 23(4), 453–493 (1997)
Wang, A., Sun, J., Zettl, A.: The classification of self-adjoint boundary conditions: separated, coupled, and mixed. J. Funct. Anal. 255(6), 1554–1573 (2008)
Niu, T., Hao, X., Sun, J., Li, K.: Canonical forms of self-adjoint boundary conditions for regular differential operators of order three. Oper. Matrices 14(1), 207–220 (2020)
Hao, X.L., Zhang, M.Z., Sun, J., Zettl, A.: Characterization of domains of self-adjoint ordinary differential operators of any order, even or odd. Electron. J. Qual. Theory Differ. Equ. 2017(61), 1–19 (2017)
Ma, R., Lu, Y.: Disconjugacy and extremal solutions of nonlinear third-order equations. Commun. Pure Appl. Anal. 13(3), 1223–1236 (2014)
Gregus, M.: Third Order Linear Differential Equations (Mathematics and its Applications). Kluwer Academic Publishers, Dordrecht (1987)
Uğurlu, E.: Regular third-order boundary value problems. Appl. Math. Comput. 343, 247–257 (2019)
Hinton, D.: Deficiency indices of odd-order differential operators. Rocky Mt. J. Math. 8(4), 627–640 (1978)
Li, K., Bai, Y., Wang, W., Meng, F.: Self-adjoint realization of a class of third-order differential operators with eigenparameter dependent boundary conditions. J. Appl. Anal. Comput. 10(6), 2631–2643 (2020)
Kong, Q.K., Zettl, A.: Linear ordinary differential equations [M]. In: Agarwal, R.P. (ed.) Inequalities and Applications, vol. 3, pp. 381–397. WSSIAA, Singapore (1994)
Zettl, A.: Sturm–Liouville Theory. Mathematical Surveys and Monographs 121. American Mathematical Society, Providence (2005)
Acknowledgements
The authors are grateful to the referees for his/her careful reading and very helpful suggestions which improved and strengthened the presentation of this manuscript.
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.
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).
Author information
Authors and Affiliations
Contributions
All authors completed the paper together. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
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.
Rights and permissions
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://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bai, Y., Wang, W., Li, K. et al. Eigenvalues of a Class of Eigenparameter Dependent Third-Order Differential Operators. J Nonlinear Math Phys 29, 477–492 (2022). https://doi.org/10.1007/s44198-022-00032-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-022-00032-1