- Research
- Open access
- Published:
Dependence of eigenvalues of 2mth-order spectral problems
Boundary Value Problems volume 2017, Article number: 126 (2017)
Abstract
A regular 2mth-order spectral problem with self-adjoint boundary conditions is considered in this paper. The continuous dependence of eigenvalues and normalized eigenfunctions on the problem is researched. The derivative formulas of eigenvalues with respect to the given parameters are obtained: endpoints, boundary conditions, coefficients and the weight function. These are of both theoretical and computational importance.
1 Introduction
Spectral problems of differential operators arise in many different physical applications. There is a vast amount of research papers on the boundary value problems (BVPs) for ordinary differential operators. A substantial part of the previous work focuses on second-order problems; see [1–7]. For a regular Sturm-Liouville differential equation of the form
with different boundary conditions (BCs), Pöschel and Trubowitz use the Dirichlet BCs and consider the mth eigenvalue. It takes the form \(\lambda=\lambda_{n}(q)\), where \(q\in\mathbf{L}^{2}(a, b)\), \(p=w=1\) in [1]. They prove that λ is Frechet differentiable and they give the expression of its derivative. Dauge and Helffer (see [2, 3]) consider equation (1.1) with Neumann BCs and the coefficients \(p, q, w\in C^{\infty} \) on the interval \([a, b]\) with \(p(t)\geq k>0\). They prove that, as a function of the endpoint b, the Neumann eigenvalues are \(C^{1}\) functions. In [4] and [5], Kong and Zettl study differential equation (1.1) with general self-adjoint BCs. They find that the corresponding eigenvalues of this problem are \(C^{1}\) functions of all its data and they give the derivative formulas. Battle in [6] studies a more general second-order problem. Further, in [7], the authors prove the dependence of the kth eigenvalues on all its data.
There are also many papers that deal with the fourth-order spectral problems. Ge et al. (see [8, 9]) consider the fourth-order differential equation
with self-adjoint BCs. They study the continuity and differentiability of eigenvalues. Their method is similar to that of [4] and [5]. In [10–18], the authors treat fourth-order equations of the form
and they introduce different methods to compute the eigenvalues and eigenfunctions associated with the above-mentioned fourth-order differential equation.
The dependence of parameters on the 2mth spectral problem has drawn less attention than the Sturm-Liouville equations and fourth-order differential equations. In [17], Yang, Wang and Gao study the 2kth-order differential equation of the form
with separated self-adjoint BCs, rather than the coupled self-adjoint BCs. They consider the eigenvalues as a function of one endpoint, and show that the eigenvalues of 2kth-order spectral problems depend not only continuously but also smoothly on endpoints. In [19], Greenberg and Marletta discuss some numerical methods for self-adjoint boundary eigenvalues problems of (1.4).
In this paper, we deal with a 2mth-order spectral problem with more complicated BCs which consist of separated self-adjoint BCs and coupled self-adjoint BCs. This kind of spectral problems is widely used in many research areas, since the dependence of eigenvalues is closely related to the computation of eigenvalues. Based on the theories on the Hilbert space and complex variable theory, we study the continuity and differentiability properties of eigenvalues and eigenfunctions of the 2mth-order spectral problem. In accordance with [20], we pose the conditions \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w \in{L}^{1}(a, b)\) so that each of the initial value problems has a unique solution. Naimark, in [21], shows that these local integrable properties of the coefficients and weight functions imply not only the existence but also the uniqueness of locally absolutely continuous solutions. First, by the extension of \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w\), we establish a new space and norm to study the continuity both of eigenvalues and normalized eigenfunctions. The isolated eigenvalues, being continuous functions, of all the parameters are proved. Based on proofs of the unique solution of the initial value problem, which is dependent continuously on all variables, we get the continuity of normalized eigenfunctions.
Next, we fix all but one of \(\mathbf{A}, \mathbf{B}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w\) and we study the continuous dependence of eigenvalues on the problem and show that the eigenvalues are \(C^{1}\) functions of the BCs, the endpoints, coefficients and the weight function. By means of computation, we obtain its derivative formulas. Here differentiability with respect to \(1/p_{m}, p_{m-1}, \ldots, p_{0}, q \text{ or } w \) is the Frechet derivative in the Banach space \({L}^{1}(a, b)\). Our proof is fundamental, but it is useful in spectral analysis.
Following this introduction, we give some general results and notations in Section 2. In Section 3, we give the continuous dependence of the eigenvalues and corresponding eigenfunctions. Section 4 establishes the differentiability of the eigenvalues on all its parameters.
2 Preliminaries
We characterize a 2mth-order spectral problem consisting of differential equations as follows:
where \(-\infty\leq a^{\prime}< b^{\prime} \leq\infty, \lambda\in\mathbb{C}\) is the spectral parameter. The coefficient functions \(p_{i}, 0\leq i\leq m\) and weight function \(w(x)\) satisfy the following basic conditions:
where \(i=0, 1, 2, \ldots, m-1\), and \({L}_{\mathrm{loc}}^{1}(a^{\prime}, b^{\prime})\) denotes the complex-valued Lebesgue integrable functions on all compact subintervals of \((a^{\prime}, b^{\prime})\). Any self-adjoint differential equation with sufficiently smooth real valued coefficients can be written in this form, so equation (2.1) is a natural starting point. This equation (2.1) is a wide type of equation which has been researched by many scholars. For example, \(m=1\) implies the classical Sturm-Liouville equation, and when \(m=2\), (2.1) reduces to the beam equation which is one of the important models in engineering (see [22] for details).
We introduce the quasi-derivatives (up to order 2m) of a function y, which are the functions \(y^{[0]}=y, y^{[1]}, \ldots, y^{[2m]}\), given by
where \(y^{(k)}\) is the usual kth derivative (see [7], p.185). Then the differential equation (2.1) can be simplified as
The differential expression l on \((a^{\prime}, b^{\prime})\) is defined for all functions y such that \(y^{[0]}, y^{[1]}, \ldots, y^{[2k-1]}\) exist and are absolutely continuous over compact subintervals of \((a^{\prime}, b^{\prime})\).
Let
and the BC be of the form
where the complex \(2m\times2m\) matrices A and B satisfy
and
Here by \(\mathbf{A^{*}}\), we mean the complex conjugate transpose of matrix A.
Remark 2.1
The differential equation (2.1) together with BCs (2.6)-(2.8) are said to be a self-adjoint 2mth-order spectral problem. Thanks to [21], we know that the basic conditions (2.2) ensure that the differential expression l is regular on \([a, b]\). The problem we study can be identified with a self-adjoint operator in the Hilbert space \(L_{\omega}^{2} (a, b)\) (see [22]). So the spectrum of the problem corresponds to the spectrum of the operator and there exist an infinite but countable number of real eigenvalues.
It is shown in [23] that the self-adjoint BCs are of three types: separated, coupled and mixed. Here we study three forms of the separated self-adjoint BCs, one form of the coupled real self-adjoint BCs and one form of the coupled complex self-adjoint BCs.
-
1.
Separated self-adjoint BCs
-
(1)
Separated self-adjoint BCs (I). We have
$$\begin{aligned} \begin{aligned} &y(a)\cos\alpha-y^{[1]}(a)\sin\alpha=0, \\ &y^{[2]}(a)\cos\alpha- y^{[3]}(a)\sin\alpha=0, \\ \vdots \\ &y^{[2m-2]}(a)\cos\alpha-y^{[2m-1]}(a)\sin\alpha=0,\quad \alpha\in [0, \pi); \end{aligned} \end{aligned}$$(2.9)$$\begin{aligned} \begin{aligned} &y(b)\cos\beta-y^{[1]}(b)\sin \beta=0, \\ &y^{[2]}(b)\cos\beta- y^{[3]}(b)\sin\beta=0, \\ &\vdots \\ &y^{[2m-2]}(b)\cos\beta-y^{[2m-1]}(b)\sin\beta=0,\quad \beta\in(0, \pi ]. \end{aligned} \end{aligned}$$(2.10) -
(2)
Separated self-adjoint BCs (II). We have
$$\begin{aligned} \begin{aligned} &y(a)\cos\varphi-y^{[m]}(a)\sin\varphi=0, \\ &y^{[1]}(a)\cos\varphi+ y^{[m+1]}(a)\sin\varphi=0, \\ &\vdots \\ &y^{[m-1]}(a)\cos\varphi-(-1)^{m-1}y^{[2m-1]}(a)\sin \varphi=0, \quad \varphi\in [0,\pi); \end{aligned} \end{aligned}$$(2.11)$$\begin{aligned} \begin{aligned} &y(b)\cos\psi-y^{[m]}(b)\sin\psi=0, \\ &y^{[1]}(b)\cos\psi+y^{[m+1]}(b)\sin\psi=0, \\ &\vdots \\ &y^{[m-1]}(b)\cos\psi-(-1)^{m-1}y^{[2m-1]}(b)\sin\psi=0, \quad \psi\in (0,\pi ]. \end{aligned} \end{aligned}$$(2.12) -
(3)
Separated self-adjoint BCs (III). We have
$$\begin{aligned} \begin{aligned} &y(a)\cos\eta-y^{[2m-1]}(a)\sin\eta=0, \\ &y^{[1]}(a)\cos\eta- y^{[2m-2]}(a)\sin\eta=0, \\ &\vdots \\ &y^{[m-1]}(a)\cos\eta-y^{[m]}(a)\sin\eta=0, \quad\eta\in [0, \pi ); \end{aligned} \end{aligned}$$(2.13)$$\begin{aligned} \begin{aligned} &y(b)\cos\tau-y^{[2m-1]}(b)\sin\tau=0, \\ &y^{[1]}(b)\cos\tau- y^{[2m-2]}(b)\sin\tau=0, \\ &\vdots \\ &y^{[m-1]}(b)\cos\tau-y^{[m]}(b)\sin\tau=0,\quad \tau\in(0, \pi ]. \end{aligned} \end{aligned}$$(2.14)
-
(1)
-
2.
Coupled real self-adjoint BCs. We have
$$ \mathbf{Y}(b)=\mathbf{K}\mathbf{Y}(a), $$(2.15)where K satisfies
$$ \mathbf{KQK}^{*}=I, \quad \mathbf{K}=(k_{ij}), k_{ij}\in \mathbb{R}\ (i, j=1, 2, \ldots, 2m). $$(2.16) -
3.
Coupled complex self-adjoint BCs. We have
$$ \mathbf{Y}(b)=e^{i\theta}\mathbf{K}\mathbf{Y}(a), $$(2.17)where K fulfills (2.16), and \(\theta\in(-\pi,0)\cup(0,\pi)\).
Remark 2.2
A function y is said to be a solution of the 2mth-order differential equation (2.1), if \(y^{[0]}, y^{[1]}, \ldots, y^{[2m-1]}\in AC_{\mathrm{loc}}(a^{\prime}, b^{\prime})\), and y satisfies equation (2.1) a.e. on \((a^{\prime}, b^{\prime})\).
3 Continuity of eigenvalues and eigenfunctions
It is easy to see that all but one of the parameters being fixed can determine a 2mth-order spectral problem. Then we fix all but one of \(\mathbf{A}, \mathbf{B}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w\), so we can study the continuity properties of the eigenvalues and eigenfunctions on that parameter. First we give a definition of W.
Definition 3.1
Assume (2.2), (2.5), (2.7) and (2.8) hold, then the 2mth-order spectral problem reads
In the case of separated BCs (2.9) and (2.10), we take the form
For BCs (2.11) and (2.12), we take the form
For BCs (2.13) and (2.14), we take the form
For the coupled BCs (2.16) and (2.17), we take the form
If \(\theta=0\) in (3.5), we denote the BCs by
By Definition 3.1, we conclude that each of the \(\omega\in\mathbf{W}\) defines a unique spectral problem. In order to investigate the continuous dependence and differentiability of eigenvalues and corresponding eigenfunctions on the problem, we need to compare the different spectrum problems determined by different ω. Since the values of \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w\), being zeros outside the interval \([a, b]\), do not change the spectrum determined by ω, we can extend \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w\) to the larger interval \((a^{\prime}, b^{\prime})\).
Definition 3.2
We define the new set
where
i.e., \(\widetilde{1/p_{m}}\) is the extension of \(1/p_{m}\) to \((a^{\prime}, b^{\prime})\) that is equal to zero on \((a^{\prime}, b^{\prime})\backslash[a, b]\), and \(\widetilde{p_{m-1}}, \ldots, \widetilde{p_{0}}\) and w̃ have similar meanings.
Definition 3.3
A Banach space X is defined as
and the norm is given by
where \(\Vert {\cdot} \Vert \) is any fixed matrix norm.
Remark 3.1
It is with respect to this space X that we study the dependence of the eigenvalues and eigenfunctions of a regular 2mth-order spectral problem on its parameters. Since \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w\in\mathbf{L}^{1}_{\mathrm{loc}}(a, b)\) only, W is not a subset of X. By means of the extension of \(1/p_{m}, p_{m-1}, \ldots, p_{0}, w\), we obtain \(\widetilde {1/p_{m}}, \widetilde{p_{m-1}}, \ldots, \widetilde{p_{0}}, \widetilde {w}\in\mathbf{L}^{1}(a^{\prime}, b^{\prime})\), thus \(\tilde{\mathbf{W}}\) is a subset of the Banach space X.
Lemma 3.1
cf. [24]
Suppose that (2.2) holds and \(c\in(a^{\prime}, b^{\prime})\), \(m_{i}\in\mathbb{C}\ (i=0, 1, 2, \ldots , 2m-1)\). Consider the following initial value problem:
then the unique solution \(y=y(\cdot, m_{0}, m_{1}, \ldots, m_{2m-1}, 1/p_{m}, p_{m-1}, p_{m-2}, \ldots, p_{1}, p_{0}, w)\) is a continuous function of all its variables. More precisely, given any \(\varepsilon >0\) and any subinterval I, there exists a \(\delta>0\). If
then, for all \(x\in I\),
Next, we introduce the characteristic function \(\Delta(\boldsymbol {\omega, \lambda})\) which characterizes the eigenvalues of BVPs (2.1) and (2.6) as roots of \(\Delta(\boldsymbol {\omega, \lambda})\).
Let (2.2) hold and \(\Phi(\cdot, a, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)\) denote the fundamental matrix solution of the following problem:
and \(\Phi(\cdot, a, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)\) satisfy the initial condition \(\Phi(a, \lambda)=\mathbf{I_{2m}}\). Here \(\mathbf {I_{2m}}\) is the \(2m\times2m\) identity matrix. Then \(\lambda\in\mathbb {C}\) is an eigenvalue of the spectral problems (2.1) and (2.6) if and only if
The function \(\Delta(\boldsymbol {\omega, \lambda})=\det[\mathbf{A}+\mathbf {B}\boldsymbol {\Phi}(b, a, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)]\) is called the characteristic function of the problems (2.1) and (2.6).
Next we show that the isolated eigenvalues of a regular 2mth-order spectral problem are continuous functions of all the parameters. This theorem is a special case of Kong, Wu, Zettl (see [7], Theorem 3.4) for the continuity of isolated eigenvalues, in which a more generalized mth-order differential equation is defined using quasi-derivatives.
Theorem 3.1
Suppose that \(\boldsymbol {\omega_{0}}=(a_{0}, b_{0}, \mathbf{A}_{0}, \mathbf{B}_{0}, 1/p_{m_{0}}, p_{(m-1)_{0}}, \ldots, p_{0_{0}}, w_{0}) \in\mathbf{W}\), and \(\mu=\lambda(\omega_{0})\) is an eigenvalue of the spectral problems (2.1) and (2.6)-(2.8), being determined by \(\omega_{0}\). We see that \(\lambda(\omega)\) is continuous at \(\boldsymbol {\omega_{0}}\), which means that for any \(\varepsilon>0\), there exists a \(\delta>0\). For any \(\omega\in\mathbf{~W}\) that satisfies
it is implied that
Proof
This proof is similar to that of Kong, Wu, Zettl [7], Theorem 3.4, so we omit the details. □
Remark 3.2
From Theorem 3.1, we infer that, for any fixed eigenvalue μ associated with \(\boldsymbol {\omega}=\boldsymbol {\omega }_{0}\), there is a continuous eigenvalue branch \(\lambda(\boldsymbol {\omega })\), such that \(\lambda(\boldsymbol {\omega}_{0})=\mu\). However, this does not imply that, for a fixed m, the mth eigenvalue \(\lambda_{m}(\boldsymbol {\omega})\) is always continuous in ω. In what follows, for any \(\boldsymbol {\omega}\in\mathbf{W}\), each eigenvalue \(\lambda(\boldsymbol {\omega})\) of the 2mth-order spectral problems (2.1) and (2.6)-(2.8), as a function of ω, is embedded in one of the continuous eigenvalue branches.
The following lemma characterizes the unique solution of any initial value problem of equation (2.1) which is dependent continuously on all parameters in the norm \(\mathbf{L}^{1}\).
As a consequence of Theorem 3.1 and Lemma 3.1, we obtain the following.
Lemma 3.2
Assume that \(\omega_{0}=(a_{0}, b_{0}, \mathbf {A}_{0}, \mathbf{B}_{0}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0})\in\mathbf{W}\) and \(\lambda=\lambda(\boldsymbol {\omega})\) is an eigenvalue of the 2mth-order spectral problems (2.1) and (2.6)-(2.8). If the multiplicity of \(\lambda(\omega_{0})\) is 1, then we see that there exists an \(M\subset\mathbf{W}\), where M is a neighborhood of \(\omega_{0}\), such that the multiplicity of \(\lambda =\lambda(\omega)\) is 1 for each \(\omega\in M\).
Proof
Given any solution y of (2.1) and eigenfunction \(u(\cdot , \boldsymbol {\omega})\) of the spectral problem, we denote by
the vector solution and vector eigenfunction. The multiplicities of the eigenvalues are \(l\ (l=1, 2, \ldots, 2m)\). Clearly, Lemma 3.2 holds for the multiplicity of the eigenvalues equal to 1. If the eigenvalues are multiplicity \(l\ (l=2, 3, \ldots, 2m)\), we give a proof of coupled real BCs and the other two BCs are similar. For \(\omega_{0}=\{\mathbf {K}_{0}, a_{0}, b_{0}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0}\}\in\mathbf{W}_{rc}\), assume that the multiplicity of \(\lambda(\omega_{0})\) is l. If the conclusion does not hold, then there exists some sequence \(\{\omega_{k}\}\subset\mathbf {W}_{rc}\) such that \(\omega_{k}\rightarrow{\omega_{0}}\), and for \(k\in \mathbb{M}\), \(\lambda(\omega_{k})\) is an eigenvalue with multiplicity l. Now we choose \(v_{1}, \ldots, v_{l}\in\mathbb{R}^{m}\), which are linearly independent vectors, and \(\mathbf{U}_{1}(\cdot, \omega_{k}), \ldots, \mathbf{U}_{l}(\cdot, \omega_{k})\) are solutions of (2.1) with \(\lambda=\lambda(\omega_{k})\) satisfying the initial conditions
Then \(\mathbf{U}_{1}(\cdot, \omega_{k}), \ldots, \mathbf{U}_{l}(\cdot, \omega_{k})\) are all vector eigenfunctions, and they satisfy
Applying Lemma 3.1 and Theorem 3.1 as \(k\rightarrow\infty\) in (3.14), we obtain
where \(\mathbf{Y}_{j}=\lim_{k\rightarrow\infty}\mathbf {U}_{j}\ (j=1, \ldots, l)\). Thus \(\mathbf{Y}_{1}, \ldots, \mathbf {Y}_{l}\ (2\leq l\leq2m)\) are l linearly independent eigenfunctions of \(\lambda(\omega_{0})\). This is impossible since the multiplicity of \(\lambda(\omega_{0})\) is 1. This finishes the proof of Lemma 3.2. □
Definition 3.4
A normalized eigenfunction u of a 2mth-order spectral problem means an eigenfunction u satisfying
Following the above definition, we notice that these eigenfunctions are not uniquely determined by (3.16). In the situation of the multiplicity of the eigenvalue being 1, there exists a unique real eigenfunction up to sign, and for double eigenvalues, there exist a pair of normalized linearly independent eigenfunctions, and for a multiplicity \(l\ (l=3, 4, \ldots, 2m)\) eigenvalue, the number of the normalized linearly independent eigenfunctions is l.
Theorem 3.2
Assume all the assumptions of Theorem 3.1 are true.
-
(i)
If the multiplicity of the eigenvalue \(\lambda(\omega_{0})\) is 1 for some \(\omega_{0}\in\mathbf{W}\), and \({u}={u}(\cdot, \omega_{0})\) is a corresponding normalized eigenfunction of \(\lambda(\omega_{0})\), then for \(\omega\in\mathbf{W}\), we see that there exists a normalized eigenfunction \({u}={u}(\cdot, \omega)\) corresponding to \(\lambda(\omega)\), as \(\omega\rightarrow\omega_{0}\), and
$$\begin{aligned} \begin{aligned} &u(\cdot, \omega)\rightarrow u(\cdot, \omega_{0}), \\ &u^{\prime}(\cdot, \omega)\rightarrow u^{\prime}(\cdot, \omega_{0}), \\ &\vdots \\ &u^{[2m-2]}(\cdot, \omega)\rightarrow u^{[2m-2]}(\cdot, \omega_{0}), \\ &u^{[2m-1]}(\cdot, \omega)\rightarrow u^{[2m-1]}(\cdot, \omega_{0}), \end{aligned} \end{aligned}$$(3.17)hold uniformly on arbitrarily compact subinterval I of \((a^{\prime}, b^{\prime})\).
-
(ii)
If the multiplicity of eigenvalue \(\lambda(\boldsymbol {\omega _{0}})\) is \(l\ (l=2, 3, \ldots, 2m)\), \(u_{j}=u_{j}(\cdot, \omega _{0})\ (j=1, 2, \ldots, l)\) is any l normalized eigenfunction of \(\lambda(\omega_{0})\), and suppose that the multiplicity of the eigenvalue \(\lambda(\boldsymbol {\omega})\) is \(l\ (l=2, 3, \ldots, 2m)\) for each \(\boldsymbol {\omega}\in\mathbf{M}\), where M is some neighborhood of \(\omega_{0}\in\mathbf{W}\), then there exist l normalized eigenfunctions \(u_{j}=u_{j}(\cdot, \omega)\ (j=1, 2, \ldots, l)\) of \(\lambda(\omega)\), as \(\omega \rightarrow\omega_{0}\). We have
$$\begin{aligned} \begin{aligned} &u_{j}^{[0]}(\cdot, \omega)\rightarrow u_{j}^{[0]}( \cdot, \omega_{0}), \\ &u_{j}^{[1]}(\cdot, \omega)\rightarrow u_{j}^{[1]}( \cdot, \omega_{0}), \\ &\vdots~ \\ &u_{j}^{[2m-2]}(\cdot, \omega)\rightarrow u_{j}^{[2m-2]}( \cdot, \omega _{0}), \\ &u_{j}^{[2m-1]}(\cdot, \omega)\rightarrow u_{j}^{[2m-1]}( \cdot, \omega _{0}), \end{aligned} \end{aligned}$$(3.18)uniformly on arbitrarily compact subinterval I of \((a^{\prime}, b^{\prime})\).
Proof
Firstly, we prove that there are eigenfunctions \({u}(\cdot, \omega)\) satisfying (3.17) uniformly on I. Suppose (3.14) holds, y is a solution of (2.1) and \(u(\cdot, \omega)\) is an eigenfunction.
(i) Now we consider the case that the multiplicity of \(\lambda(\omega _{0})\) is 1. Using Lemma 3.2, we see that there exists a neighborhood M of \(\omega_{0}\) such that the multiplicity of \(\lambda (\omega)\) is 1 for all \(\omega\in\mathbf{M}\). We select an eigenfunction \(u=u(\cdot, \omega)\) of \(\lambda(\omega)\) for all \(\omega \in\mathbf{M}\), and they satisfy
where \(c\in(a_{0}, b_{0})\) is an arbitrary point, and \(u(t, \boldsymbol {\omega})>0\) when t is near c.
It is sufficient to illustrate that
Then by Lemma 3.1 and Theorem 3.1, the above limit is uniformly convergent on \([a_{0}, b_{0}]\). Indeed, if (3.19) is not fulfilled, we select a sequence \(\omega_{k}\rightarrow{\omega_{0}} \text{ in } \mathbf{W}\) such that
since the normalization at c, Y and \(\mathbf{U}(c, \boldsymbol {\omega}_{0})\) are two linearly independent vectors in \(\mathbb {C}^{4}\). Let Z be the vector solution of (2.1) at \(\omega =\omega_{0}\), which satisfies the initial condition \(\mathbf {Z}(c)=\mathbf{Y}\), and \(\lambda=\lambda(\omega_{0})\) is determined by \(\mathbf{Z}(c)=\mathbf{Y}\). It follows from Lemma 3.1 that \(\mathbf {U}(t, \omega_{k})\rightarrow\mathbf{Z}(t)\) uniformly on any compact subinterval of \((a^{\prime}, b^{\prime}) \mbox{ as } k\rightarrow\infty\). Noticing that \(\omega_{k}\rightarrow\omega_{0}\) implies that \(a_{k}\rightarrow a_{0}\) and \(b_{k}\rightarrow b_{0}\), we deduce
So \(\mathbf{U}(\cdot, \omega_{k})\ (k=1, 2, \ldots)\), satisfy the BC,
by taking limits as \(k\rightarrow\infty\). We infer
Hence Z is a vector eigenfunction relating to the eigenvalue \(\lambda(\omega_{0})\). It is easy to see that Z is linearly independent to \(\mathbf{U}(\cdot, \boldsymbol {\omega}_{0})\) since their Cauchy data at c are independent. This is impossible since the multiplicity of \(\lambda(\omega_{0})\) is 1.
(ii) Suppose that the multiplicity of the eigenvalue \(\lambda(\boldsymbol {\omega})\) is \(l\ (l=2, 3, \ldots, 2m)\) for ω in some neighborhood M of \(\omega_{0}\in\mathbf{W}\). For \(\omega\in \mathbf{M}\), let l linearly independent eigenfunctions of \(\lambda (\omega)\) be \(u_{1}, u_{2}, \ldots, u_{l}\ (l=2, 3, \ldots, 2m)\), which satisfy the same initial condition at \(a_{0}\), where \(a_{0}\) is determined by \(\omega_{0}, \omega_{0}=(a_{0}, b_{0}, \mathbf{A}_{0}, \mathbf{B}_{0}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0})\in\mathbf{W}\). By the definition of \(\omega _{0}\), we know that \(a_{0}\) varies as \(\omega_{0}\), i.e., given any \(\omega_{0}\), there is an \(a_{0}\) corresponding to it. We choose \(u(\cdot, \omega)=\sum_{j=1} ^{l}d_{j}u_{j}\ (l=2, 3, \ldots, 2m) \), which is an arbitrary linear combination of l linearly independent eigenfunctions. It is easy to see that \(u(\cdot, \omega)=\sum_{j=1} ^{l}d_{j}u_{j}\ (l=2, 3, \ldots, 2m) \) is also an eigenfunction of \(\lambda(\omega)\) which satisfies an arbitrary initial condition at \(a_{0}\). Now we consider the coupled BCs, and \(-\pi<\theta\leq\pi\) and \(u(\cdot, \omega )=\sum_{j=1} ^{l}d_{j}u_{j}, \omega\rightarrow\omega_{0} \) satisfying
and \(u(t, \boldsymbol {\omega})>0\) when t is near \(a_{0}\).
It is sufficient to illustrate that
By Lemma 3.1 and Theorem 3.1, we find the above limit is convergent uniformly on \([a_{0}, b_{0}]\). If (3.21) is not fulfilled, then we select a sequence \(\boldsymbol {\omega}_{k}\rightarrow{\omega_{0}} \text{ in } \mathbf{W}\) such that
Suppose that \(\mathbf{Z}_{k}, \mathbf{Y}_{k}\) and Y are the vector solutions of (2.1) satisfying the initial conditions
with the same \(\omega=\omega_{0}\), respectively, then the uniqueness of the initial value problem implies
Then the BC (2.6) implies
taking limits as \(k\rightarrow\infty\) in (3.23). By Lemma 3.1, noticing \(\mathbf{Y}(a_{0})=\mathbf{V}_{0}\neq0\), we deduce
So Y is a nontrivial vector eigenfunction of the eigenvalue \(\lambda(\omega_{0})\). The eigenfunction \(u(\cdot, \omega)=\sum_{j=1} ^{l}d_{j}u_{j}\ (l=2, 3, \ldots, 2m) \) of \(\lambda(\omega)\) is an arbitrary linear combination of l linearly independent eigenfunctions. Moreover, \(\Vert \mathbf{U}(a_{0}, \boldsymbol {\omega}) \Vert =1\), and there is a constant \(s\neq0 \text{ such that } \mathbf{Y}=s\mathbf {U}(\cdot, \omega_{0})\) for some \(d_{j}\ (j=1, 2, \ldots, l)\), and \(\mathbf{V}_{0}=\mathbf{Y}(a_{0})=s\mathbf{U}(a_{0}, \omega_{0})\). As \(k\rightarrow\infty\) in (3.22), we obtain
that is,
Noticing that the signs of \(u(x, \omega_{k})\) and \(u(x, \omega_{0})\) are the same when x is near \(a_{0}\), so \(1-s>0\) and we also have
This contradicts
The proof of separated conditions is similar to that of coupled conditions, we can use the same method to the proof and have hence omitted it.
The above discussion illustrates that, for each self-adjoint boundary problem and each eigenvalue \(\lambda(\omega)\), we can choose the eigenfunction \(u(\cdot, \omega)\) and its quasi-derivative \(u^{[k]}\ (k=1, 2, \ldots, 2m-1)\) convergent uniformly with ω on any compact subinterval of \((a^{\prime}, b^{\prime})\). Then we normalize the eigenfunctions to end the proof. □
4 Differentiability of eigenvalues on the problems
The results of the previous section will be the key to prove the differentiability of eigenvalues. In this section, our aim is to illustrate that the isolated eigenvalues are differentiable with respect to all the data. For this purpose, we will make use of the definition of Frechet derivatives and we recall Lemma 3.2 of [5] here.
Definition 4.1
Let X and Y be Banach spaces. A map \(\mathbf{T}:\mathbf{X}\to\mathbf{Y}\) is a linear map, \(x\in\mathbf{X}\) is a given point, if it is satisfied by a bounded linear operator \(d\mathbf{T}_{x}:\mathbf{X}\rightarrow\mathbf{Y} \), for \(h\in\mathbf{X}\) and as \(h\rightarrow0\), and
we call the map T differentiable at x.
Lemma 4.1
We suppose that u and v are two solutions of (2.1) with different \(\lambda=\mu\) and \(\lambda=\nu\). Then
Proof
Since u and v are solutions of (2.1) with \(\lambda=\mu\), \(\lambda=\nu\), respectively, we have
The integration by parts directly leads to the desired result. □
Lemma 4.2
[5], Lemma 3.2
We suppose that \(f\in\mathbf {L}_{\mathrm{loc}}(a^{\prime}, b^{\prime})\) is a real valued function. We deduce that
In the sequel of this paper, we will investigate the differentiability of the eigenvalue as one of the components of ω, as the other components of ω are considered to be the same.
Theorem 4.1
Eigenvalue-eigenfunction differential equation for special case of separated BVPs
Assume (2.2) and \({\boldsymbol {\omega}= (\mathbf{A}, \mathbf{B}, a, b,1/p_{m}, p_{m-1}, \ldots, p_{0}, w)}\in \mathbf{W}\) hold. We suppose further that either (i) the multiplicity of \(\lambda(\omega)\) is 1 in some neighborhood \(M\subset\mathbf{W}\) of ω, or (ii) \(\lambda(\omega)\) is an eigenvalue of multiplicity \(l\ (l=2, 3, \ldots, 2m)\) for each \(\omega\in M\), \(M\subset\mathbf{W}\).
-
(1)
Consider the spectral problems (2.1), (2.9) and (2.10) with \(0\leq \alpha<\pi\) and \(\beta=\pi\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies:
-
if m is even, then
$$\begin{aligned} &\lambda^{\prime}(b)=\sum_{i=1} ^{[\frac{m}{2}]} \bigl(2u^{[2i-1]}(b)u^{[2(n-i)+1]}(b) +p_{2i-1}(b) \bigl\vert u^{[2i-1]}(b) \bigr\vert ^{2} \bigr) \\ &\quad\textit{a.e. in } \bigl(a, b^{\prime} \bigr); \end{aligned}$$(4.2) -
if m is odd, then
$$\begin{aligned} & \lambda^{\prime}(b)=-\sum_{i=1} ^{[\frac{m}{2}]} \bigl(2u^{[2i-1]}(b)u^{[2(n-i)+1]}(b) -p_{2i-1}(b) \bigl\vert u^{[2i-1]}(b) \bigr\vert ^{2} \bigr)-\frac { \vert u^{[m]}(b) \vert ^{2}}{p_{m}(b)} \\ & \quad \textit{a.e. in } \bigl(a, b^{\prime} \bigr). \end{aligned}$$(4.3)
-
-
(2)
Consider the spectral problems (2.1), (2.11) and (2.12) with \(0\leq \varphi<\pi\) and \(\psi=\pi\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. Then λ is differentiable a.e. and it satisfies
$$ \bigl(p_{m}\lambda^{\prime} \bigr) (b)=- \bigl\vert u^{[m]}(b) \bigr\vert ^{2} \quad\textit{a.e. in } \bigl(a, b^{\prime} \bigr). $$(4.4) -
(3)
Consider the spectral problems (2.1), (2.13) and (2.14) with \(0\leq \eta<\pi\) and \(\tau=\pi\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies
$$ \bigl(p_{m}\lambda^{\prime} \bigr) (b)=- \bigl\vert u^{[m]}(b) \bigr\vert ^{2} \quad\textit{a.e. in } \bigl(a, b^{\prime} \bigr). $$(4.5)
Proof
(1) For sufficiently small h in (4.1), we denote by \(\mu =\lambda(b), u=u(\cdot, b)\) and \(\nu=\lambda(b+h), v=u(\cdot, b+h)\) the corresponding eigenvalues and eigenfunctions, respectively. Since \([u, v](a)=0, u(b, b)=0\) and \(u^{[2j]}(b, b)=0\ (j=0, 1, \ldots, m-1)\), we infer
By normalizing the eigenfunction and applying Theorem 3.2, we deduce that
When m is even, by (4.6), we obtain
For \(i=1, 2, \ldots, m/2, u^{[2(m-i)]}(b, b)=0\), we obtain
It follows from Theorem 3.2 that as \(h\rightarrow0\), \(u_{m}^{[j]}(\cdot, b+h)\longrightarrow u_{m}^{[j]}(\cdot, b)\ (j=0, 1, 2, \ldots, 2m-1)\) uniformly hold on any compact subinterval of \((a^{\prime}, b^{\prime})\), by (4.9) and Lemma 4.2, we get
Since \((u^{[2(m-i)]})^{\prime}=u^{[2(m-i)+1]}-(-1)^{m-2i+1}p_{2i-1}y^{(2i-1)}\), we conclude that
In a similar way, for \(i=n/2+1, n/2+2, \ldots, n, u^{[2(m-i)]}(b, b)=0\), we have
Now (4.11) and Lemma 4.2 imply that
We divide (4.8) by h, combine (4.7), (4.10) and (4.12), and as \(h\rightarrow0\), we get
So, we have (4.2);
if m is odd, by (4.6) we infer
for \(i=m-1, u^{(m-1)}(b, b)=0\); we get
Applying Lemma 4.1, Lemma 4.2 and (4.14), we get
We divide (4.13) by h, as \(h\rightarrow0\) and use (4.7), (4.10), (4.12) and (4.13) to get
So, we obtain (4.3).
(2) For sufficiently small h in (4.1), we denote by \(\mu=\lambda(b), u=u(\cdot, b)\) and \(\nu=\lambda(b+h), v=u(\cdot, b+h)\) the corresponding eigenvalues and eigenfunctions, respectively. Since \([u, v](a)=0, u(b, b)=0\) and \(u^{[2j]}(b, b)=0\ (j=0, 1, \ldots, m-1)\), we infer
for \(i=m+1, m+2, \ldots, 2m-1, u^{[2m-i-1]}(b, b)=0\). Now proceeding with the proof of (4.12), we have
Dividing (4.16) by h, using (4.7) (4.15) and (4.17), as \(h\rightarrow0\) we get
By \(u^{[j]}(b, b)=0\ (j=0, 1, \ldots, m-1)\), we obtain \(-\lambda ^{\prime}(b)=\frac{ \vert u^{[m]}(b) \vert ^{2}}{p_{m}(b)}\) and (4.4) holds. The proof of (4.5) is similar to the proof of (4.4), so we omit it. □
Corollary 4.1
Suppose (2.2) holds and we consider the BVPs (2.1) and (2.11)-(2.14) with \(0\leq\varphi<\pi, \psi=\pi\), or \(0\leq\eta<\pi, \tau=\pi\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. If \(p_{m}\geq0\), a.e., then \(\lambda(b)\) is strictly decreasing on \((a, b^{\prime})\).
Theorem 4.2
Eigenvalue-eigenfunction differential equation for special case of separated BVPs
Assume (2.2) and \({\boldsymbol {\omega}=(\mathbf{A}, \mathbf{B}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)}\in\mathbf{W}\) hold. We suppose further that either (i) the multiplicity of \(\lambda(\omega)\) is 1 in some neighborhood \(M\subset \mathbf{W}\) of ω, or (ii) \(\lambda(\omega)\) is an eigenvalue of multiplicity \(l\ (l=2, 3, \ldots, 2m)\) for each \(\omega\in M\), \(M\subset \mathbf{W}\).
-
(1)
Consider the spectral problems (2.1), (2.9) and (2.10) with \(0\leq \alpha<\pi\) and \(\beta=\frac{\pi}{2}\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies:
-
if m is even, then
$$\begin{aligned} \lambda^{\prime}(b) = {}&\bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr)- \frac{ \vert u^{[m]}(b) \vert ^{2}}{p_{m}(b)} \\ &{} -\sum_{i=1} ^{\frac{m-2}{2}} \bigl(2u^{[2i]}(b)u^{[2m-2i]}(b) -p_{2i}(b) \bigl\vert u^{[2i]}(b) \bigr\vert ^{2} \bigr)\quad \textit{a.e. in } \bigl(a, b^{\prime} \bigr); \end{aligned}$$(4.18) -
if m is odd, then
$$\begin{aligned} \lambda^{\prime}(b)={}& \bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr) \\ &{} +\sum _{i=1} ^{\frac{m-1}{2}} \bigl(2u^{[2i]}(b)u^{[2(m-i)]}(b)+p_{2i}(b) \bigl\vert u^{[2i]}(b) \bigr\vert ^{2} \bigr) \quad \textit{a.e. in } \bigl(a, b^{\prime} \bigr). \end{aligned}$$(4.19)
-
-
(2)
Consider the spectral problems (2.1), (2.11) and (2.12) with \(0\leq \varphi<\pi\) and \(\psi=\pi/2\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies
$$ \lambda^{\prime}(b)= \bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr) +\sum _{i=1} ^{m-1}p_{i}(b) \bigl\vert u^{[i]}(b) \bigr\vert ^{2}\quad \textit{a.e. in } \bigl(a, b^{\prime} \bigr); $$(4.20) -
(3)
Consider the spectral problems (2.1), (2.13) and (2.14) with \(0\leq \eta<\pi\) and \(\tau=\pi/2\). Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. Then λ is differentiable a.e. and it satisfies
$$ \lambda^{\prime}(b)= \bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr) +\sum _{i=1} ^{m-1}p_{i}(b) \bigl\vert u^{[i]}(b) \bigr\vert ^{2} \quad\textit{a.e. in } \bigl(a, b^{\prime} \bigr). $$(4.21)
Proof
(1) For sufficiently small h in (4.1), we denote by \(\mu =\lambda(b), u=u(\cdot, b)\), \(\nu=\lambda(b+h), v=u(\cdot, b+h)\) the corresponding eigenvalues and eigenfunctions, respectively. Since \([u, v](a)=0\) and \(u^{[2j+1]}(b, b)=0\ (j=0, 1, \ldots, m-1)\), we have
If m is even, we get
for \(i=2m-1, u^{[2m-1]}(b, b)=0\); we infer
By \(u^{[2m]}=(u^{[2m-1]})^{\prime}+(-1)^{m}p_{0}y\) and (2.4), we obtain
Applying Theorem 3.2, as \(h\rightarrow0\), \(u_{m}^{[j]}(\cdot , b+h)\longrightarrow u_{m}^{[j]}(\cdot, b)\ (j=0, 1, 2, \ldots, 2m-1)\) uniformly hold on the compact subinterval of \((a^{\prime}, b^{\prime})\). We get by (4.24) and Lemma 4.2
for \(i=1, 2, \ldots, (m-2)/2, u^{[2(m-i)-1]}(b, b)=0\). We obtain
Applying Lemma 4.2 and (4.26), we get
By \((u^{[2(m-i)-1]})^{\prime}=u^{[2(m-i)]}-(-1)^{m-2i}p_{2i}y^{(2i)}\), we conclude that
Similarly, for \(i=(m+2)/2, (m+4)/2, \ldots, m-1\), then \(u^{[2(m-i)-1]}(b, b)=0\), hence
Dividing (4.23) by h, as \(h\rightarrow0\) and using (4.5), (4.10), (4.25), (4.27) and (4.28), we get
Then we obtain (4.17);
if m is odd, we get
Dividing (4.29) by h, as \(h\rightarrow0\) and using (4.7) (4.25), (4.27) and (4.28), we conclude that
Then we obtain (4.19).
For sufficiently small h in (4.1), we denote by \(\mu=\lambda(b), u=u(\cdot, b)\) and \(\nu=\lambda(b+h), v=u(\cdot, b+h)\) the corresponding eigenvalues and eigenfunctions, respectively. Since \([u, v](a)=0, u(b, b)=0\) and \(u^{[j]}(b, b)=0\ (j=m, m+1, \ldots, 2m-1)\), we have
for \(i=1, 2, \ldots, m-1\), \(u^{[2m-i-1]}(b, b)=0\); hence
By Lemma 4.2 and (4.31), we get
Combining \((u^{[2m-i-1]})^{\prime}=u^{[2m-i]}-(-1)^{m-i}p_{i}y^{(i)}\), we get
We divide (4.30) by h, as \(h\rightarrow0\), and use (4.7) (4.25) and (4.32) to get
We obtain (4.20). The proof of (4.21) is similar to that of (4.20), so we omit it. □
Theorem 4.3
Eigenvalue-eigenfunction differential equation for separated BVPs
Assume (2.2) and \({\boldsymbol {\omega}=(\mathbf {A}, \mathbf{B}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)}\in\mathbf {W}\) hold. Consider the BVPs (2.1), (2.9) and (2.10) with \(0\leq\alpha <\pi\) and \(0<\beta\leq\pi\), or BVP (2.1), (2.11) and (2.12) with \(0\leq \varphi<\pi\) and \(0<\psi\leq\pi\), or BVP (2.1), (2.13) and (2.14) with \(0\leq\eta<\pi\) and \(0<\tau\leq\pi\). We suppose further that either (i) the multiplicity of \(\lambda(\omega)\) is 1 in some neighborhood \(M\subset\mathbf{W}\) of ω, or (ii) \(\lambda(\omega)\) is an eigenvalue of multiplicity \(l\ (l=2, 3, \ldots, 2m)\) for each \(\omega \in M\), \(M\subset\mathbf{W}\).
(1) Let \(\lambda=\lambda(a)\) be a function of endpoint a, and \(u=u(\cdot, a)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies
particularly, if \(p_{m}, p_{m-1}, \ldots, p_{0}\) and w are continuous at a and \(p_{m}(a)\neq0\); then (4.33) holds at a.
(2) Let \(\lambda=\lambda_{m}\) and \(u=u_{m}\). We see that λ is differentiable a.e. and it satisfies
particularly, if \(p_{m}, p_{m-1}, \ldots, p_{0}\) and w are continuous at b and \(p_{m}(b)\neq0\); then (4.34) holds at b.
Proof
The proofs of (4.33) and (4.34) are similar, so we will prove (4.34) only. For sufficiently small h in (4.1), we denote by \(\mu=\lambda(b), u=u(\cdot, b)\) and \(\nu=\lambda(b+h), v=u(\cdot, b+h)\) the corresponding eigenvalues and eigenfunctions, respectively. Since \([u, v](a)=0\), we have
We divide (4.35) by h and take the limit \(h\rightarrow0\), use (4.5) (4.17) (4.25) and (4.32), and apply the continuity of λ at b in Theorem 3.2 and Lemma 4.2, so we get (4.34). □
Theorem 4.4
Eigenvalue-eigenfunction differential equation for coupled BVPs
Assume that \({\boldsymbol {\omega}=(\mathbf{A}, \mathbf{B}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w)}\in\mathbf{W}\) and (2.2) hold. We suppose further that either (i) the multiplicity of \(\lambda(\omega)\) is 1 in some neighborhood \(M\subset\mathbf{W}\) of ω, or (ii) \(\lambda(\omega)\) is an eigenvalue of multiplicity \(l\ (l=2, 3, \ldots, 2m)\) for each \(\omega\in M\), \(M\subset\mathbf{W}\). Consider the spectral problems (2.1), (2.16) and (2.17) with \(-\pi< \theta\leq\pi\).
(1) Let \(\lambda=\lambda(a)\) be a function of endpoint a, and \(u=u(\cdot, a)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies:
if m is even, then
if m is odd, then
particularly, if \(p_{m}, p_{m-1}, \ldots, p_{0}\) and w are continuous at \(a\in(a^{\prime}, b]\) and \(p_{m}(a)\neq0\), then equations (4.36) and (4.37) hold at a.
(2) Let \(\lambda=\lambda(b)\) be a function of endpoint b, and \(u=u(\cdot, b)\) the corresponding eigenfunction. We see that λ is differentiable a.e. and it satisfies:
if m is even, then
if m is odd, then
particularly, if \(p_{m}, p_{m-1}, \ldots, p_{0}\) and w are continuous at \(b\in[a, b^{\prime})\) and \(p_{m}(b)\neq0\), then equations (4.38) and (4.39) hold at b.
Proof
The proofs of (4.36) and (4.37) are similar to (4.38) and (4.39), respectively, so we prove (4.38) and (4.39) only. For sufficiently small h in (4.1), we denote by \(\mu=\lambda(b), \nu =\lambda(b+h)\) and \(u=u(\cdot, b), v=u(\cdot, b+h)\) the eigenvalues and eigenfunctions.
If m is even,
hence
or
Then
Now proceeding as in Theorem 4.1 and Theorem 4.2, we get
Dividing (4.41) by h, as \(h\rightarrow0\), we obtain
and (4.38) holds.
If m is odd, we infer
and
We divide (4.42) by h, and take the limit as \(h\rightarrow0\) to obtain
and (4.39) holds. □
Theorem 4.5
For the BVPs (2.1) and (2.9)-(2.17), let \({\boldsymbol {\omega}=(\mathbf{A}, \mathbf{B},a, b, 1/p_{m}, p_{m-1}, \ldots , p_{0}, w)}\in\mathbf{W}\), and \(\lambda=\lambda(\omega)\) and \(u=u(\cdot , \omega)\) be the eigenvalue and normalized eigenfunction. We suppose further that either (i) the multiplicity of \(\lambda(\omega)\) is 1 in some neighborhood \(M\subset\mathbf{W}\) of ω, or (ii) \(\lambda (\omega)\) is an eigenvalue of multiplicity \(l\ (l=2, 3, \ldots, 2m)\) for each \(\omega\in M\), \(M\subset\mathbf{W}\). Then λ is continuously differentiable with respect to each variable of ω in the appropriate sense. Their derivatives are given as follows.
-
1.
Let \(\lambda=\lambda(\alpha)\) be a function of α, and \(u=u(\cdot, \alpha)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies:
if m is even, then
$$ \lambda^{\prime}(\alpha)=2\operatorname{Re}\sum _{i=1} ^{\frac{m-1}{2}} \bigl(u^{[2i]}(a) \overline{u}^{[2m-2i]}(a) +u^{[2i+1]}(a)\overline{u}^{[2m-2i-1]}(a) \bigr); $$(4.43)if m is odd, then
$$\begin{aligned} \lambda^{\prime}(\alpha)={}&{-}2\operatorname{Re}\sum _{i=0} ^{\frac{m-3}{2}} \bigl(u^{[2i]}(a) \overline{u}^{[2m-2i-2]}(a) +u^{[2i+1]}(a)\overline{u}^{[2m-2i-1]}(a) \bigr) \\ &{}- \bigl\vert u^{[m-1]}(a) \bigr\vert ^{2}- \bigl\vert u^{[m]}(a) \bigr\vert ^{2}. \end{aligned}$$(4.44) -
2.
Let \(\lambda=\lambda(\beta)\) be a function of β, and \(u=u(\cdot, \beta)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies: if m is even, then
$$ \lambda^{\prime}(\beta)=-2\operatorname{Re}\sum _{i=1} ^{\frac{m-1}{2}} \bigl(u^{[2i]}(b) \overline{u}^{[2m-2i]}(b) +u^{[2i+1]}(b)\overline{u}^{[2m-2i-1]}(b) \bigr); $$(4.45)if m is odd, then
$$\begin{aligned} \lambda^{\prime}(\beta)={}&2\operatorname{Re}\sum _{i=0} ^{\frac{m-3}{2}} \bigl(u^{[2i]}(b) \overline{u}^{[2m-2i-2]}(b)+u^{[2i+1]}(b) \overline{u}^{[2m-2i-1]}(b) \bigr) \\ &{}+ \bigl\vert u^{[m-1]}(b) \bigr\vert ^{2}+ \bigl\vert u^{[m]}(b) \bigr\vert ^{2}. \end{aligned}$$(4.46) -
3.
Let \(\lambda=\lambda(\varphi)\) be a function of φ, and \(u=u(\cdot, \varphi)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies:
if m is even, then
$$ \lambda^{\prime}(\varphi)=-2\operatorname{Re}\sum _{i=0} ^{\frac{m-2}{2}} \bigl(u^{[i]}(a) \overline{u}^{[m-i-1]}(a) -u^{[m+i]}(a)\overline{u}^{[2m-i-1]}(a) \bigr); $$(4.47)if m is odd, then
$$\begin{aligned} \lambda^{\prime}(\varphi)={}&{-}2\operatorname{Re}\sum _{i=0} ^{\frac{m-3}{2}} \bigl(u^{[i]}(a) \overline{u}^{[m-i-1]}(a) +u^{[m+i]}(a)\overline{u}^{[2m-i-1]}(a) \bigr) \\ &{}- \bigl\vert u^{[\frac{m-1}{2}]}(a) \bigr\vert ^{2}- \bigl\vert u^{[\frac{3m-1}{2}]}(a) \bigr\vert ^{2}. \end{aligned}$$(4.48) -
4.
Let \(\lambda=\lambda(\psi)\) be a function of ψ, and \(u=u(\cdot, \psi)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies:
if m is even, then
$$ \lambda^{\prime}(\psi)=2\operatorname{Re}\sum_{i=0} ^{\frac{m-2}{2}} \bigl(u^{[i]}(b)\overline{u}^{[m-i-1]}(b) -u^{[m+i]}(b)\overline{u}^{[2m-i-1]}(b) \bigr); $$(4.49)if m is odd, then
$$\begin{aligned} \lambda^{\prime}(\psi)={}&2\operatorname{Re}\sum_{i=0} ^{\frac{m-3}{2}} \bigl(u^{[i]}(b)\overline{u}^{[m-i-1]}(b) +u^{[m+i]}(b)\overline{u}^{[2m-i-1]}(b) \bigr) \\ &{}+ \bigl\vert u^{[\frac{m-1}{2}]}(b) \bigr\vert ^{2}+ \bigl\vert u^{[\frac{3m-1}{2}]}(b) \bigr\vert ^{2}. \end{aligned}$$(4.50) -
5.
Let \(\lambda=\lambda(\eta)\) be a function of η, and \(u=u(\cdot, \eta)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies:
$$ \lambda^{\prime}(\eta)=(-1)^{(n)}\sum _{i=0} ^{m-1} \bigl( \bigl\vert u^{[i]}(a) \bigr\vert ^{2}+ \bigl\vert u^{[m+i]}(a) \bigr\vert ^{2} \bigr). $$(4.51) -
6.
Let \(\lambda=\lambda(\tau)\) be a function of τ, and \(u=u(\cdot, \tau)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies
$$ \lambda^{\prime}(\tau)=(-1)^{(n+1)}\sum _{i=0} ^{m-1} \bigl( \bigl\vert u^{[i]}(b) \bigr\vert ^{2}+ \bigl\vert u^{[m+i]}(b) \bigr\vert ^{2} \bigr). $$(4.52) -
7.
Let \(\lambda=\lambda(\theta)\) be a function of θ, and \(u=u(\cdot, \theta)\) the corresponding eigenfunction. We see that λ is differentiable and it satisfies
$$ \lambda^{\prime}(\theta)=(-1)^{m} 2\operatorname{Im}\sum _{i=0} ^{m-1}(-1)^{i}u^{[i]}(b) \overline{u}^{[2m-i-1]}(b). $$(4.53) -
8.
Let \(\lambda=\lambda(\mathbf{K})\) be a function of matrix K, and \(u=u(\cdot, \mathbf{K})\) the corresponding eigenfunction. We suppose that K fulfills (2.16). Then we see that λ is differentiable, and its Frechet derivative is
$$\begin{aligned} d\lambda_{K}(\mathbf{H})={}&(-1)^{m+1} \begin{pmatrix} \overline{u}^{[2m-1]}, & -\overline{u}^{[2m-2]}, &\cdots, & \overline {u}^{[1]}, & -\overline{u} \end{pmatrix} (b) \\ &{}\times\mathbf{HK^{-1}}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b). \end{aligned}$$(4.54) -
9.
Consider λ as a function of \(p_{0}\in\mathbf {L}^{1}(a, b)\). We see that λ is differentiable and its Frechet derivative is
$$ d\lambda_{p_{0}}(h)= \int_{a}^{b} \vert u \vert ^{2}h. $$(4.55) -
10.
Consider λ as a function \(w\in\mathbf{L}^{1}(a, b)\). We see that λ is differentiable and its Frechet derivative is
$$ d\lambda_{w}(h)=-\lambda \int_{a}^{b} \vert u \vert ^{2}h. $$(4.56)
Proof
Since the proofs of (4.43)-(4.50) are similar we prove (4.45) and (4.46) only. Assume \(\beta\neq\pi/ 2\). When \(h\in\mathbb{R}\) is small enough, we denote by \(u=u(\cdot, \beta)\) and \(v=u(\cdot, \beta+h)\) the normalized real valued eigenfunctions of \(\mu =\lambda(\beta)\) and \(\nu=\lambda(\beta+h)\). By (2.1) we obtain
If m is even,
By the BCs, we conclude
Then
We divide both sides of (4.57) by h, as \(h\rightarrow0\), and we have
and (4.45) holds;
if m is odd,
By the BCs, we infer that
Then
We divide both sides of (4.58) by h, as \(h\rightarrow0\), and we obtain
and (4.46) holds. This finishes the proof.
Next, we prove (4.53) and (4.54). Firstly, we show (4.53) is true. Let \(\mu=\lambda(\theta), u=u(\cdot, \theta)\) and \(\nu=\lambda(\theta +h), v=u(\cdot, \theta+h)\) be the corresponding eigenvalues and eigenfunctions, respectively. When \(h\in\mathbb{R}\) is small enough, we apply (4.40) to infer
We divide both sides of (4.59) by h, as \(h\rightarrow0\), and we get
and (4.53) holds.
Then we turn to establishing (4.54). Let \(u=u(\cdot, \mathbf {K}), v=u(\cdot, \mathbf{K+H})\) for K and \(\mathbf{K+H}\) satisfy (2.16). Proceeding similar to the argument above, we have
Then
and (4.54) follows.
To show (4.55), we let \(u=u(\cdot, q), v=u(\cdot, q+h)\) where \(h\in \mathbf{L}^{1}(a, b)\). Using (2.1) and integration by parts, then
For all BCs, we have
An application of Lemma 3.1 and Theorem 3.1 implies
Consequently,
as \(h\rightarrow0\) in \(\mathbf{L}^{1}(a, b)\), and (4.55) is proved. □
In a similar manner, we can deduce (4.56), here we omit its details.
Remark 4.1
The continuity of the nth eigenvalue of the self-adjoint BCs for 2mth-order spectral problems is more complicated. For regular Sturm-Liouville problems, Everitt, Möller and Zettl [25] show that the nth eigenvalue is not a continuous function of the BCs with separated boundary conditions, and similar results are obtained by Kong, Wu and Zettl [26] for general BCs.
5 Conclusions
The dependence of eigenvalues on parameters is one important branch of spectral theories of differential operators. It offers theoretical support of approximal calculation of eigenvalues, and the derivatives with respect to the parameters give information of monotonicity of the eigenvalues on the given parameters.
In this paper, with the separated, real coupled and complex coupled BCs, we give the continuity of eigenvalues and eigenfunctions with respect to parameters. The formulas of their derivatives with respect to all the parameters are computed in detail. Our results are new, and the work established in this paper is of quite a general nature and covers a variety of special cases involved in the problem. As for the discontinuity of the nth eigenvalue, it is still an open problem till now, and we will work on it later.
References
Pöeschel, J, Trubowitz, E: Inverse Spectral Theory. Academic Press, New York (1987)
Dauge, D, Helffer, B: Eigenvalues variation, I: Neumann problem for Sturm-Liouville operators. J. Differ. Equ. 104, 243-262 (1993)
Dauge, M, Helffer, B: Eigenvalues variation, II: multidimensional problems. J. Differ. Equ. 104, 263-297 (1993)
Kong, Q, Zettl, A: Eigenvalues of regular Sturm-Liouville problems. J. Differ. Equ. 131, 1-19 (1996)
Kong, Q, Zettl, A: Dependence of eigenvalues of Sturm-Liouville problems on the boundary. J. Differ. Equ. 126, 384-407 (1996)
Battle, LE: Solution dependence on problem parameters for initial value problems associated with the Stieltjes Sturm-Liouville equations. Electron. J. Differ. Equ. 2005, Article ID 2 (2005)
Kong, Q, Wu, H, Zettl, A: Dependence of eigenvalues on the problems. Math. Nachr. 188, 173-201 (1997)
Ge, SQ, Wang, WY, Suo, JQ: Dependence of eigenvalues of a class fourth-order Sturm-Liouville problems on the boundary. Appl. Math. Comput. 220, 268-276 (2013)
Suo, JQ, Wang, WY: Eigenvalues of a class of regular fourth-order Sturm-Liouville problems. Appl. Math. Comput. 218, 9716-9729 (2012)
Greenberg, L, Marletta, M: The code SLEUTH for solving fourth order Sturm-Liouville problems. ACM Trans. Math. Softw. 23, 453-493 (1997)
Greenberg, L: An oscillation method for fourth order self-adjoint two-point boundary-value problems with nonlinear eigenvalues. SIAM J. Math. Anal. 22, 1021-1042 (1991)
Greenberg, L, Marletta, M: Oscillation theory and numerical solution of fourth order Sturm-Liouville problems. IMA J. Numer. Anal. 15, 319-356 (1995)
Chanane, B: Eigenvalues of fourth order Sturm-Liouville problems using Fliess series. J. Comput. Appl. Math. 96, 91-97 (1998)
Chanane, B: Fliess series approach to the computation of the eigenvalues of fourth-order Sturm-Liouville problems. Appl. Math. Lett. 15, 459-463 (2002)
Chanane, B: Approximation of the eigenvalues of regular fourth order Sturm-Liouville problems using interpolation theory. In: Chui, CK, Schumaker, LL Stockler, J (eds.) Approximation Theory X: Wavelets, Splines and Applications, pp. 155-166. Vanderbilt University Press (2002)
Chanane, B: Accurate solutions of fourth order Sturm-Liouville problems. J. Comput. Appl. Math. 234, 3064-3071 (2010)
Yang, QX, Wang, WY, Gao, XC: Dependence of eigenvalues of a class of higher-order Sturm-Liouville problems on the boundary. Math. Probl. Eng. 2015, Article ID 686102 (2015)
Zheng, Z, Zhang, W: Characterization of eigenvalues in spectral gap for singular differential operators. Abstr. Appl. Anal. 2012, Article ID 271657 (2012)
Greenberg, L, Marletta, M: Numerical methods for higher order Sturm-Liouville problems. J. Comput. Appl. Math. 125, 367-383 (2000)
Qi, J, Zheng, Z, Sun, H: Classification of Sturm-Liouville differential equations with complex coefficients and operator realizations. Proc. R. Soc. A 467, 1835-1850 (2011)
Naimark, NA: Linear Differential Operators, Vol. 2. Ungar, New York (1986)
Weidmann, J: Spectral Theory of Ordinary Differential Operators. Lecture Notes in Mathematics, vol. 1258. Springer, Berlin (1987)
Wang, AP, Sun, J, Zettl, A: The classification of self-adjoint boundary conditions: separated coupled and mixed. J. Funct. Anal. 255, 1554-1573 (2008)
Kong, Q, Zettl, A: Linear ordinary differential equations. In: Agarwal, RP (ed.) Inequalities and Applications. WSSIAA, vol. 3, pp. 381-397 (1994) Special volume dedicated to W. Walter
Everitt, WN, Möller, M, Zettl, A: Discontinuous dependence of the nth Sturm-Liouville eigenvalue. In: Bandle, C, Everitt, WN, Losonczi, L, Walter, W (eds.) General Inequalities 7. ISNM International Series of Numerical Mathematics, vol. 123, pp. 145-150. Birkhäuser, Basel (1997)
Kong, Q, Wu, H, Zettl, A: Dependence of the nth Sturm-Liouville eigenvalue on the problem. J. Differ. Equ. 156, 328-354 (1999)
Acknowledgements
The authors sincerely thank the referees for a number of constructive suggestions and corrections, which have significantly improved the contents and the exposition of the paper. The research of Z Zheng is supported by the NSF of China (Grant Nos. 11271225 and 11671227).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there are no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. The authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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.
About this article
Cite this article
Zheng, Z., Ma, Y. Dependence of eigenvalues of 2mth-order spectral problems. Bound Value Probl 2017, 126 (2017). https://doi.org/10.1186/s13661-017-0857-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0857-y