Research
Open Access
Dependence of eigenvalues of 2mth-order spectral problems
- Zhaowen Zheng1Email authorView ORCID ID profile and
- Yujuan Ma1
Received: 17 June 2017
Accepted: 11 August 2017
Published: 29 August 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.
Keywords
2mth-order spectral problemeigenvaluesFrechet derivativedependence of eigenvalues on the problem
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.
$$ - \bigl(py^{\prime} \bigr)^{\prime}+qy=\lambda w y $$
(1.1)
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.
$$ \bigl(py^{\prime\prime} \bigr)^{\prime\prime}+qy=\lambda wy $$
(1.2)
$$ \bigl(py^{\prime\prime} \bigr)^{\prime\prime}- \bigl(sy^{\prime} \bigr)^{\prime}+qy=\lambda wy, $$
(1.3)
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).
$$ ly=\sum_{r=0}^{k}(-1)^{r} \bigl(p_{k-r}y^{(r)} \bigr)^{(r)}=\lambda wy $$
(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).
$$ ly=\sum_{i=0}^{m}(-1)^{i} \bigl(p_{i}(x)y^{(i)} \bigr)^{(i)}=\lambda w(x)y, \quad x \in \bigl(a^{\prime}, b^{\prime} \bigr), $$
(2.1)
$$ p_{m}, p_{i}, w: \bigl(a^{\prime}, b^{\prime} \bigr) \rightarrow\mathbb{R},\qquad 1/ p_{m}, p_{i}\in L_{\mathrm{loc}}^{1} \bigl(a^{\prime}, b^{\prime} \bigr), \quad w>0 \text{ a.e. on } \bigl(a', b' \bigr), $$
(2.2)
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
$$\begin{aligned} &y^{[k]}=y^{(k)}, \quad k=0, 1, 2, \ldots, m-1, \\ &y^{[m]}=p_{m}y^{(m)}, \\ &y^{[k]}= \bigl(y^{[k-1]} \bigr)^{\prime}-p_{2m-k}y^{(2m-k)}, \quad k=m+1, m+2, \ldots, 2m, \end{aligned}$$
(2.3)
$$ ly=(-1)^{m}y^{[2m]}= \lambda wy. $$
(2.4)
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.
$$ I=[a, b],\quad a^{\prime}< a< b< b^{\prime}, $$
(2.5)
$$ \mathbf{A} \begin{pmatrix} y(a) \\ y^{[1]}(a) \\ \vdots\\ y^{[2m-2]}(a)\\ y^{[2m-1]}(a) \end{pmatrix} +\mathbf{B} \begin{pmatrix} y(b) \\ y^{[1]}(b) \\ \vdots\\ y^{[2m-2]}(b)\\ y^{[2m-1]}(b) \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ \vdots\\ 0 \\ 0 \end{pmatrix}, $$
(2.6)
$$ \text{the } 2m\times4m \text{ matrix }(\mathbf{A}|\mathbf{B}) \text{ has full rank} $$
(2.7)
$$ \mathbf{A}\mathbf{Q}\mathbf{A^{*}}=\mathbf{B}\mathbf{Q} \mathbf{B^{*}},\qquad \mathbf{Q}= \begin{pmatrix} 0 & 0 & \cdots& 0 & -1 \\ 0 & 0 & \cdots& 1 & 0 \\ \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & -1 & \cdots& 0 & 0 \\ 1 & 0 & \cdots& 0 & 0 \end{pmatrix}. $$
(2.8)
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 havewhere K satisfies$$ \mathbf{Y}(b)=\mathbf{K}\mathbf{Y}(a), $$(2.15)$$ \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 havewhere K fulfills (2.16), and \(\theta\in(-\pi,0)\cup(0,\pi)\).$$ \mathbf{Y}(b)=e^{i\theta}\mathbf{K}\mathbf{Y}(a), $$(2.17)
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
$$ \mathbf{W}= \bigl\{ \omega=(\mathbf{A}, \mathbf{B},a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.1)
$$ \mathbf{W}_{s_{1}}= \bigl\{ \omega=(\alpha, \beta, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.2)
$$ \mathbf{W}_{s_{2}}= \bigl\{ \omega=(\varphi, \psi, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.3)
$$ \mathbf{W}_{s_{3}}= \bigl\{ \omega=(\eta, \tau, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.4)
$$ \mathbf{W}_{c}= \bigl\{ \omega=(\theta, \mathbf{K},a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.5)
$$ \mathbf{W}_{rc}= \bigl\{ \omega=(\mathbf{K}, a, b, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr\} . $$
(3.6)
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.
$$ \tilde{\mathbf{W}}= \bigl\{ \tilde{\boldsymbol {\omega}}=(\mathbf{A}, \mathbf{B}, a, b, \widetilde{1/p_{m}}, \widetilde{p_{m-1}}, \ldots, \widetilde {p_{0}}, \widetilde{w}) \bigr\} , $$
(3.7)
$$ \widetilde{1/p_{m}}= \textstyle\begin{cases} 1/p_{m}, & x\in[a, b]\\ 0,& x\in(a^{\prime}, b^{\prime})\backslash[a, b] \end{cases} $$
(3.8)
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.
$$\begin{aligned} X={}& M_{2m, 2m}(\mathbb{C})\times M_{2m, 2m}(\mathbb{C})\times \mathbb {R}\times\mathbb{R} \\ &{}\times \underbrace{L^{1} \bigl(a^{\prime}, b^{\prime} \bigr)\times L^{1} \bigl(a^{\prime}, b^{\prime} \bigr)\times\cdots \times L^{1} \bigl(a^{\prime}, b^{\prime} \bigr)}_{m+2}, \end{aligned}$$
(3.9)
$$ \Vert \omega \Vert = \Vert \widetilde{\omega} \Vert = \Vert \mathbf{A} \Vert + \Vert \mathbf{B} \Vert + \vert a \vert + \vert b \vert + \int_{a^{\prime}}^{b^{\prime}} \Biggl( \vert \widetilde{1/p_{m}} \vert +\sum_{i=0} ^{m-1} \vert \widetilde{p_{i}} \vert + \vert \widetilde {w} \vert \Biggr), $$
(3.10)
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\),
$$ \textstyle\begin{cases} \sum_{i=0}^{m}(-1)^{i}(p_{i}(x)y^{(i)})^{(i)}=\lambda wy, \\ y^{[0]}(c)=m_{0},\qquad y^{[1]}(c)=m_{1},\\ y^{[2]}(c)=m_{2},\qquad \ldots,\qquad y^{[2m-2]}=m_{2m-2}, \qquad y^{[2m-1]}(c)=m_{2m-1}, \end{cases} $$
$$ \vert c-c_{0} \vert +\sum_{i=0} ^{2m-1} \vert m_{i}-m_{i_{0}} \vert + \int_{a}^{b} \Biggl( \vert 1/p_{m}-1/p_{m_{0}} \vert +\sum_{i=0} ^{m-1} \vert p_{i}-p_{i_{0}} \vert + \vert w-w_{0} \vert \Biggr)\,ds< \delta, $$
$$\begin{aligned} & \bigl\vert y^{[0]}(x, c, m_{0}, m_{1}, \ldots, m_{2m-1}, 1/p_{m}, p_{m-1}, p_{m-2}, \ldots, p_{0}, w)\\ &\quad{}- y^{[0]}(x, c_{0}, m_{0_{0}}, m_{1_{0}}, \ldots, m_{(2m-1)_{0}}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0}) \bigr\vert < \varepsilon, \\ & \bigl\vert y^{[1]}(x, c, m_{0}, m_{1}, \ldots, m_{2m-1}, 1/p_{m}, p_{m-1}, p_{m-2}, \ldots, p_{0}, w)\\ &\quad{}- y^{[1]}(x, c_{0}, m_{0_{0}}, m_{1_{0}}, \ldots, m_{(2m-1)_{0}}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0}) \bigr\vert < \varepsilon, \\ \vdots \\ & \bigl\vert y^{[2m-1]}(x, c, m_{0}, m_{1}, \ldots, m_{2m-1}, 1/p_{m}, p_{m-1}, p_{m-2}, \ldots, p_{0}, w)\\ &\quad{}- y^{[2m-1]}(x, c_{0}, m_{0_{0}}, m_{1_{0}}, \ldots, m_{(2m-1)_{0}}, 1/p_{m_{0}}, p_{(m-1)_{0}}, p_{(m-2)_{0}}, \ldots, p_{0_{0}}, w_{0}) \bigr\vert < \varepsilon. \end{aligned}$$
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).
$$\begin{aligned} &\mathbf{Y}^{\prime}= \begin{pmatrix} 0 & 1 & 0 & 0 & \cdots&0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & \cdots&0 &0 & 0 & 0 \\ \vdots& \vdots& \vdots&\vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & \cdots&0 & 1/p_{m} &0& \cdots& 0 &0 \\ 0 & 0 & \cdots&p_{m-1} & 0 & 1 & \cdots& 0 &0 \\ \vdots&\vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & (-1)^{m-1}p_{2} & 0 & \cdots& 0 & 0 & 1 & 0 \\ 0 & (-1)^{m}p_{1} & 0 & 0 & \cdots& 0 & 0 & 0 & 1 \\ (-1)^{m+1}(p_{0}-\lambda\omega) & 0 & 0 & 0 & \cdots& 0 & 0 & 0 & 0 \end{pmatrix} \mathbf{Y}\\ &\quad \quad \textit{on } \bigl(a^{\prime}, b^{\prime} \bigr), \end{aligned}$$
$$ \Delta(\boldsymbol {\omega, \lambda})=\det \bigl[\mathbf{A}+\mathbf{B}\boldsymbol {\Phi }(b, a, 1/p_{m}, p_{m-1}, \ldots, p_{0}, w) \bigr]=0. $$
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
$$\begin{aligned} \Vert \omega-\omega_{0} \Vert ={}& \Vert \mathbf{A}- \mathbf{A}_{0} \Vert + \Vert \mathbf{B}-\mathbf{B}_{0} \Vert + \vert a-a_{0} \vert + \vert b-b_{{0}} \vert \\ &{}+ \int_{a^{\prime}}^{b^{\prime}} \Biggl[ \vert \widetilde{1/p_{m}}- \widetilde {1/p_{m_{0}}} \vert +\sum_{i=0} ^{m-1} \vert \widetilde{p_{i}}-\widetilde {p_{i_{0}}} \vert + \vert \widetilde{w}-\widetilde{w_{0}} \vert \Biggr]\,ds< \delta, \end{aligned}$$
(3.11)
$$ \bigl\vert \lambda(\omega)-\lambda(\boldsymbol {\omega_{0}}) \bigr\vert < \varepsilon. $$
(3.12)
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. □
$$ \mathbf{Y}=\begin{pmatrix} y^{[0]} \\ y^{[1]} \\ \vdots\\ y^{[2m-2]}\\ y^{[2m-1]} \end{pmatrix} \quad\text{and}\quad \mathbf{U}= \begin{pmatrix} u^{[0]} \\ u^{[1]} \\ \vdots\\ u^{[2m-2]}\\ u^{[2m-1]} \end{pmatrix} $$
(3.13)
$$ \mathbf{U}_{j}(a, \omega_{k})=v_{j},\quad j=1, \ldots, l. $$
$$ \mathbf{U}_{j}(b, \omega_{k})=\mathbf{K}_{k} \mathbf{U}_{j}(a, \omega _{k}), \quad k\in\mathbb{M}, j=1, \ldots, l. $$
(3.14)
$$ \mathbf{Y}_{j}(b, \omega_{0})=\mathbf{K}_{0} \mathbf{Y}_{j}(a, \omega _{0}), \quad k\in\mathbb{M}, j=1, \ldots, l, $$
(3.15)
Definition 3.4
A normalized eigenfunction u of a 2mth-order spectral problem means an eigenfunction u satisfying
$$ \int_{a}^{b} \bigl\vert {u}(s) \bigr\vert ^{2}w(s)\,ds=1. $$
(3.16)
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}\), andhold uniformly on arbitrarily compact subinterval I of \((a^{\prime}, b^{\prime})\).$$\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)
- (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 haveuniformly on arbitrarily compact subinterval I of \((a^{\prime}, b^{\prime})\).$$\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)
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.
$$ \bigl\Vert \mathbf{U}(c, \omega) \bigr\Vert =\sum _{i=0} ^{2m-1} \bigl\vert u^{[i]}(c, \omega) \bigr\vert =1, $$
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.
$$ \mathbf{U}(c, \boldsymbol {\omega})\rightarrow\mathbf{U}(c, \boldsymbol {\omega }_{0}) \quad\text{as } \boldsymbol {\omega}\rightarrow{ \omega_{0}} \text{ in } \mathbf{W}. $$
(3.19)
$$ \mathbf{U}(c, \mathbf{W}_{k})\rightarrow\mathbf{Y} \quad\text{as } \omega \rightarrow{\omega_{0}}, $$
(3.20)
$$ \mathbf{U}(a_{k}, \omega_{k})\rightarrow \mathbf{Z}(a_{0}) \quad\text{and}\quad \mathbf{U}(b_{k}, \omega_{k})\rightarrow\mathbf{Z}(b_{0}) \quad\text{as } k \rightarrow\infty. $$
$$ \mathbf{A}_{k}\mathbf{U}(a_{k}, \omega_{k})+ \mathbf{B}_{k}\mathbf {U}(b_{k}, \omega_{k})=0, $$
$$ \mathbf{A}_{0}\mathbf{Z}(a_{0})+\mathbf{B}_{0} \mathbf{Z}(b_{0})=0. $$
(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}\).
$$ \bigl\Vert \mathbf{U}(a_{0}, \omega) \bigr\Vert =\sum _{i=0} ^{2m-1} \bigl\vert u(a_{0}, \omega) \bigr\vert =1, $$
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.
$$ \mathbf{U}(a_{0}, \boldsymbol {\omega})\rightarrow\mathbf{U}(a_{0}, \boldsymbol {\omega}_{0}) \quad\text{as } \boldsymbol {\omega}\rightarrow{\omega _{0}} \text{ in } \mathbf{W}. $$
(3.21)
$$ \mathbf{V}_{k}:=\mathbf{U}(a_{0}, \omega_{0})- \mathbf{U}(a_{0}, \omega _{k}) \rightarrow \mathbf{V}_{0}\neq0\quad \text{as } \omega \rightarrow \omega_{0}. $$
(3.22)
$$ \mathbf{Z}_{k}(a_{0})=\mathbf{U} \bigl(a_{0}, \mathbf{Y}_{k}(a_{0})=\mathbf {V}_{k}, \omega_{k} \bigr),\qquad \mathbf{Y}(a_{0})= \mathbf{V}_{0},\quad k\in \mathbb{N}, $$
$$ \mathbf{Y}_{k}=\mathbf{U}(\cdot, \omega_{0})- \mathbf{Z}_{k} \quad\text{on } [a_{0}, b_{0}]. $$
$$\begin{aligned} \mathbf{Y}_{k}(b_{0}) ={}&\mathbf{U}(b_{0}, \omega_{0})-\mathbf{Z}_{k}(b_{0})= \mathbf {U}(b_{0}, \omega_{0})-\mathbf{U}(b_{k}, \omega_{k})+\mathbf{U}(b_{k}, \omega_{k})- \mathbf{Z}_{k}(b_{0}) \\ ={}&e^{i\theta_{0}}\mathbf{K}_{0}\mathbf{U}(a_{0}, \omega_{0})-e^{i\theta _{k}}\mathbf{K}_{k} \mathbf{U}(a_{0}, \omega_{k}) +\mathbf{U}(b_{k}, \omega_{k})-\mathbf{Z}_{k}(b_{0}) \\ ={}&e^{i\theta_{0}}\mathbf{K}_{0} \bigl[\mathbf{U}(a_{0}, \omega_{0})-\mathbf {U}(a_{0}, \omega_{k}) \bigr] +e^{i\theta_{0}}\mathbf{K}_{0}\mathbf{U}(a_{0}, \omega_{k}) \\ &{}-e^{i\theta _{k}}\mathbf{K}_{k} \mathbf{U}(a_{k}, \omega_{k}) +\mathbf{U}(b_{k}, \omega_{k}) -\mathbf{Z}_{k}(b_{0}) \\ ={}&e^{i\theta_{0}}\mathbf{K}_{0}\mathbf{Y}_{k}(a_{0})+e^{i\theta _{0}} \mathbf{K}_{0}\mathbf{U}(a_{0}, \omega_{k}) -e^{i\theta_{k}}\mathbf{K}_{k}\mathbf{U}(a_{k}, \omega_{k}) \\ &{}+\mathbf {U}(b_{k}, \omega_{k})- \mathbf{Z}_{k}(b_{0}), \end{aligned}$$
(3.23)
$$ \mathbf{Y}(b_{0})=e^{i\theta_{0}}\mathbf{K}_{0} \mathbf{Y}(a_{0}). $$
$$ \mathbf{U}(a_{0}, \omega_{0})-\lim_{k\rightarrow\infty} \mathbf {U}(a_{0}, \omega_{k})=\mathbf{V}_{0} =s\mathbf{U}(a_{0}, \omega_{0}), $$
$$ \lim_{k\rightarrow\infty} \mathbf{U}(a_{0}, \omega_{k}) =(1-s)\mathbf{U}(a_{0}, \omega_{0}). $$
$$ \lim_{k\rightarrow\infty} \bigl\Vert \mathbf{U}(a_{0}, \omega_{k}) \bigr\Vert =(1-s) \bigl\Vert \mathbf{U}(a_{0}, \omega_{0}) \bigr\Vert . $$
$$ \bigl\Vert \mathbf{V}(a_{0}, \omega_{k}) \bigr\Vert = \bigl\Vert \mathbf{U}(a_{0}, \omega_{0}) \bigr\Vert =1. $$
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.
$$ \bigl\vert \mathbf{T}(x+h)-\mathbf{T}(x)-d\mathbf{T}_{x} \bigr\vert =o(h), $$
Lemma 4.1
We suppose that
u
and
v
are two solutions of (2.1) with different
\(\lambda=\mu\)
and
\(\lambda=\nu\). Then
$$\begin{aligned}{} [u, v] _{a}^{b} :={}& \Biggl[(-1)^{m}\sum _{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]}\bar {v}^{[2m-i-1]} \Biggr]_{a}^{b} \\ ={}&(\mu-\nu) \int_{a}^{b}u\bar{v}w\,ds. \end{aligned}$$
(4.1)
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. □
$$\begin{aligned} (\mu-\nu) \int_{a}^{b}u\bar{v}w\,ds &= \bigl(w^{-1}lu, v \bigr)- \bigl(u, w^{-1}lv \bigr) \\ &= \int_{a}^{b} \Biggl[\sum _{i=0}^{m}(-1)^{i} \bigl(p_{i}(x)u^{(i)} \bigr)^{(i)}\overline {v}-u\sum_{i=0}^{m}(-1)^{i} \bigl(p_{i}(x){\overline{v}}^{(i)} \bigr)^{(i)} \Biggr]\,ds. \end{aligned}$$
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
$$ \lim_{h\rightarrow0 } \frac{1}{h} \int _{x}^{x+h}f(s)\,ds=f(x)\quad \textit{a.e. } \bigl(a^{\prime}, b^{\prime} \bigr). $$
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
$$\begin{aligned} &\bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad=(-1)^{m}\sum_{i=1} ^{m}u^{[2i-1]}(b, b)u^{[2(n-i)]}(b, b+h). \end{aligned}$$
(4.6)
$$ \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \rightarrow \int_{a}^{b}u^{2}(s, b)w(s)\,ds=1, \quad h \rightarrow0. $$
(4.7)
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad =(-1)^{m}\sum_{i=1} ^{\frac{m}{2}}u^{[2i-1]}(b, b)u^{[2(m-i)]}(b, b+h) \\ &\qquad{}+(-1)^{m}\sum_{\frac{m}{2}+1} ^{m}u^{[2i-1]}(b, b)u^{[2(m-i)]}(b, b+h). \end{aligned}$$
(4.8)
$$\begin{aligned} u^{[2(m-i)]}(b, b+h)&=u^{[2(m-i)]}(b, b+h)-u^{[2(m-i)]}(b+h, b+h) \\ &=- \int_{b}^{b+h} \bigl(u^{[2(m-i)]} \bigr)^{\prime}(s, b+h)\,ds. \end{aligned}$$
(4.9)
$$ \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2(m-i)]}(b, b+h)}{h}=(-1)^{m+1} \bigl(u^{[2(m-i)]} \bigr)^{\prime}(b, b), \quad\text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
$$ \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2(m-i)]}(b, b+h)}{h} =(-1)^{m+1}u^{[2(m-i)+1]}(b, b)-p_{2i-1}(b)u^{[2i-1]}(b, b). $$
(4.10)
$$\begin{aligned} u^{[2(m-i)]}(b, b+h)&=u^{(2m-2i)}(b, b+h)-u^{(2m-2i)}(b+h, b+h) \\ &=- \int_{b}^{b+h}u^{(2m-2i+1)}(s, b+h)\,ds. \end{aligned}$$
(4.11)
$$ \lim_{h\rightarrow0}\frac{u^{[2(m-i)]}(b, b+h)}{h}=-u^{[2(m-i)+1]}(b, b), \quad \text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
(4.12)
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);
$$\begin{aligned} -\lambda^{\prime}(b) ={}&\sum_{i=1} ^{\frac{m}{2}}u^{[2i-1]}(b, b) \bigl(-u^{[2(m-i)+1]}(b, b)-p_{2i-1}(b)u^{2i-1}(b, b) \bigr)\\ &{}- \sum _{\frac{m}{2}+1} ^{m}u^{[2i-1]}(b, b)u^{[2(m-i)+1]}(b, b) \\ ={}&{-}\sum_{i=1} ^{\frac{m}{2}} \bigl(2u^{[2i-1]}(b, b)u^{[2(m-i)+1]}(b, b) +p_{2i-1}(b) \bigl(u^{[2i-1]} \bigr)^{2}(b, b) \bigr). \end{aligned}$$
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad = (-1)^{m}\sum_{i=1} ^{\frac{m-1}{2}}u^{[2i-1]}(b, b)u^{[2(m-i)]}(b, b+h) +(-1)^{m}u^{[m]}(b, b)u^{[m-1]}(b, b+h) \\ &\qquad{}+(-1)^{m}\sum_{\frac{m+3}{2}} ^{m}u^{[2i-1]}(b, b)u^{[2(m-i)]}(b, b+h), \end{aligned}$$
(4.13)
$$\begin{aligned} u^{[m-1]}(b, b+h)&=u^{(m-1)}(b, b+h)-u^{(m-1)}(b+h, b+h) \\ & =- \int_{b}^{b+h}u^{(n)}(s, b+h)\,ds \\ &=- \int_{b}^{b+h}\frac{p_{m}u^{(n)}(s, b+h)}{p_{m}(s)}\,ds =- \int_{b}^{b+h}\frac{u^{[m]}(s, b+h)}{p_{m}(s)}\,ds. \end{aligned}$$
(4.14)
$$ \lim_{h\rightarrow0}\frac{u^{[m-1]}(b, b+h)}{h}=-\frac {u^{[m]}(b, b)}{p_{m}(b)},\quad \text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
(4.15)
We divide (4.13) by h, as \(h\rightarrow0\) and use (4.7), (4.10), (4.12) and (4.13) to get
$$\begin{aligned} -\lambda^{\prime}(b) ={}&\sum_{i=1} ^{\frac{m-1}{2}}u^{[2i-1]}(b, b) \bigl(u^{[2(m-i)+1]}(b, b)-p_{2i-1}(b)u^{[2i-1]}(b, b) \bigr) +\frac{(u^{[m]})^{2}(b, b)}{p_{m}(b)} \\ &{}+\sum_{\frac{m+3}{2}} ^{m}u^{[2i-1]}(b, b)u^{[2(m-i)+1]}(b, b+h) \\ ={}&\sum_{i=1} ^{\frac{m-1}{2}} \bigl(2u^{[2i-1]}(b, b)u^{[2(m-i)+1]}(b, b) -p_{2i-1}(b) \bigl(u^{[2i-1]} \bigr)^{2}(b, b) \bigr)\\ &{}+\frac{(u^{[m]})^{2}(b, b)}{p_{m}(b)}. \end{aligned}$$
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad=(-1)^{m}\sum_{i=n} ^{2m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h) \\ &\quad=-u^{[m]}(b, b)u^{[m-1]}(b, b+h) \\ &\qquad{}+(-1)^{m}\sum _{i=n+1} ^{2m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h), \end{aligned}$$
(4.16)
$$ \lim_{h\rightarrow0}\frac{u^{[2m-i-1]}(b, b+h)}{h}=-u^{[2m-i]}(b, b), \quad \text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
(4.17)
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. □
$$ -\lambda^{\prime}(b)=\frac{(u^{[m]})^{2}(b, b)}{p_{m}(b)} +\sum_{i=n+1} ^{2m-1}(-1)^{m-i}u^{[i]}(b, b)u^{[2m-i]}(b, b). $$
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
$$\begin{aligned} & \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad=(-1)^{m}\sum_{i=0} ^{m-1}(-1)^{2m+1-2i}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h) \\ &\quad=(-1)^{m+1}\sum_{i=0} ^{m-1}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h). \end{aligned}$$
(4.22)
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad =-(-1)^{m}u(b, b)u^{[2m-1]}(b, b+h) -(-1)^{m} \sum_{i=1} ^{\frac{m-2}{2}}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h) \\ &\qquad{}-u^{[m]}(b, b)u^{[m-1]}(b, b+h) -\sum _{\frac{m+2}{2}} ^{m-1}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h), \end{aligned}$$
(4.23)
$$\begin{aligned} (-1)^{m}u^{[2m-1]}(b, b+h)&=(-1)^{m}u^{[2m-1]}(b, b+h)-(-1)^{m}u^{[2m-1]}(b+h, b+h) \\ &=- \int_{b}^{b+h}(-1)^{m} \bigl(u^{[2m-1]} \bigr)^{\prime}(s, b+h)\,ds. \end{aligned}$$
$$\begin{aligned} &(-1)^{m}u^{[2m-1]}(b, b+h) \\ &\quad=- \int_{b}^{b+h}(-1)^{m} \bigl(u^{[2m]}(s, b+h)-(-1)^{m}p_{0}(s)u(s, b+h) \bigr)\,ds \\ &\quad= \int_{b}^{b+h} \bigl[p_{0}(s)u(s, b+h)- \lambda(b+h)u(s, b+h)w(s) \bigr]\,ds \\ &\quad = \int_{b}^{b+h}p_{0}(s)u(s, b)\,ds+ \int_{b}^{b+h} p_{0} (s) \bigl[u(s, b+h)-u(s, b) \bigr]\,ds-\lambda(b+h) \\ &\qquad{}\times \int_{b}^{b+h}u(s, b)w(s)\,ds+\lambda(b+h) \int_{b}^{b+h} \bigl[u(s, b)-u(s, b+h) \bigr]w(s) \,ds. \end{aligned}$$
(4.24)
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
$$ \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2m-1]}(b, b+h)}{h}=u(b, b) \bigl[p_{0}(b)- \lambda(b)w(b) \bigr] \quad\text{a.e. in } \bigl(a, b^{\prime} \bigr), $$
(4.25)
$$\begin{aligned} u^{[2(m-i)-1]}(b, b+h)&=u^{[2(m-i)-1]}(b, b+h)-u^{[2(m-i)-1]}(b+h, b+h) \\ &=- \int_{b}^{b+h} \bigl(u^{[2(m-i)-1]} \bigr)^{\prime}(s, b+h)\,ds. \end{aligned}$$
(4.26)
$$ \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2(m-i)-1]}(b, b+h)}{h}=(-1)^{m+1} \bigl(u^{[2(m-i)-1]} \bigr)^{\prime}(b, b) \quad\text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
$$\begin{aligned} \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2(m-i)-1]}(b, b+h)}{h} &=(-1)^{m+1}u^{[2(m-i)]}(b, b)+p_{2i}(b)u^{[2i]}(b, b) \\ &=-u^{[2(m-i)]}(b, b)+p_{2i}(b)u^{[2i]}(b, b). \end{aligned}$$
(4.27)
$$ \lim_{h\rightarrow0}\frac{u^{[2(m-i)-1]}(b, b+h)}{h}=-u^{[2(m-i)]}(b, b). $$
(4.28)
Dividing (4.23) by h, as \(h\rightarrow0\) and using (4.5), (4.10), (4.25), (4.27) and (4.28), we get
$$\begin{aligned} -\lambda^{\prime}(b) ={}&{-}u^{2}(b, b) \bigl[p_{0}(b)- \lambda(b)w(b) \bigr]+\frac{(u^{[m]})^{2}(b, b)}{p_{m}(b)} \\ &{}+\sum_{i=1} ^{\frac{m-2}{2}} \bigl(2u^{[2i]}(b, b)u^{[2(m-i)]}(b, b) -p_{2i}(b) \bigl(u^{[2i]} \bigr)^{2}(b, b) \bigr). \end{aligned}$$
Then we obtain (4.17);
if m is odd, we get
$$\begin{aligned} &\bigl[\lambda(b)-\lambda(b+h) \bigr] \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad =-(-1)^{m} \Biggl[u(b, b)u^{[2m-1]}(b, b+h) +\sum _{i=1} ^{\frac{m-1}{2}}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h) \Biggr] \\ &\qquad{}-(-1)^{m}\sum_{i=\frac{m+1}{2}} ^{m-1}u^{[2i]}(b, b)u^{[2(m-i)-1]}(b, b+h). \end{aligned}$$
(4.29)
Dividing (4.29) by h, as \(h\rightarrow0\) and using (4.7) (4.25), (4.27) and (4.28), we conclude that
$$\begin{aligned} -\lambda^{\prime}(b)={}&{-}u^{2}(b, b) \bigl[p_{0}(b)- \lambda(b)w(b) \bigr] \\ &{} -\sum_{i=1} ^{\frac{m-1}{2}} \bigl(2u^{[2i]}(b, b)u^{[2(m-i)]}(b, b)+p_{2i}(b) \bigl(u^{[2i]} \bigr)^{2}(b, b) \bigr). \end{aligned}$$
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad=(-1)^{m}\sum_{i=0} ^{m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h) \\ &\quad =-(-1)^{m}u(b, b)u^{[2m-1]}(b, b+h) \\ &\qquad{}+(-1)^{m} \sum_{i=1} ^{m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h), \end{aligned}$$
(4.30)
$$\begin{aligned} u^{[2m-i-1]}(b, b+h)&=u^{[2m-i-1]}(b, b+h)-u^{[2m-i-1]}(b+h, b+h) \\ &=- \int_{b}^{b+h} \bigl(u^{[2m-i-1]} \bigr)^{\prime}(s, b+h)\,ds. \end{aligned}$$
(4.31)
$$ \lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2m-i-1]}(b, b+h)}{h}=(-1)^{m+1} \bigl(u^{[2m-i-1]} \bigr)^{\prime}(b, b) \quad\text{a.e. in } \bigl(a, b^{\prime} \bigr). $$
$$\begin{aligned} &\lim_{h\rightarrow0}\frac{(-1)^{m}u^{[2m-i-1]}(b, b+h)}{h} \\ &\quad=(-1)^{m+1}u^{[2m-i]}(b, b)-(-1)^{2m-i+1}p_{i}(b)u^{[i]}(b, b) \\ &\quad=-(-1)^{2m-i+1}p_{i}(b)u^{[i]}(b, b). \end{aligned}$$
(4.32)
We divide (4.30) by h, as \(h\rightarrow0\), and use (4.7) (4.25) and (4.32) to get
$$ -\lambda^{\prime}(b)=-u^{2}(b, b) \bigl[p_{0}(b)- \lambda(b)w(b) \bigr] -\sum_{i=1} ^{m-1}p_{i}(b) \bigl(u^{[i]} \bigr)^{2}(b, b). $$
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.
$$\begin{aligned} \lambda^{\prime}(a)={}& \bigl\vert u(a) \bigr\vert ^{2} \bigl[p_{0}(b)-\lambda(b)w(b) \bigr]-\frac { \vert u^{[m]}(a) \vert ^{2}}{p_{m}(a)} \\ &{}-\sum_{i=1} ^{m-1} \bigl(p_{i}(a) \bigl\vert u^{[i]}(a) \bigr\vert ^{2}-(-1)^{m-i}2u^{[i]}(a)u^{[2m-i]}(a) \bigr) \quad\textit{a.e. in } \bigl(a^{\prime}, b \bigr), \end{aligned}$$
(4.33)
(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.
$$\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} ^{m-1} \bigl(p_{i}(b) \bigl\vert u^{[i]}(b) \bigr\vert ^{2}-(-1)^{m-i}2u^{[i]}(b)u^{[2m-i]}(b) \bigr) \quad\textit{a.e. in } \bigl(a, b^{\prime} \bigr), \end{aligned}$$
(4.34)
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). □
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b}u(s, b)u(s, b+h)w(s)\,ds \\ &\quad=(-1)^{m}\sum_{i=0} ^{2m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h) \\ &\quad=-(-1)^{m}u(b, b)u^{[2m-1]}(b, b+h) \\ &\qquad{}+(-1)^{m} \sum_{i=1} ^{m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h) \\ &\qquad{}-u^{[m]}(b, b)u^{[m-1]}(b, b+h) \\ &\qquad{}+(-1)^{m}\sum _{i=n+1} ^{2m-1}(-1)^{2m+1-i}u^{[i]}(b, b)u^{[2m-i-1]}(b, b+h). \end{aligned}$$
(4.35)
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
$$\begin{aligned} \lambda^{\prime}(a)={}&{-} \bigl\vert u(a) \bigr\vert ^{2} \bigl(p_{0}(a)-\lambda(a)w(a) \bigr) +2 \operatorname{Re} \sum _{i=1} ^{m-1}(-1)^{i}u^{[i]}(a) \overline{u}^{[2m-i]}(a) \\ &{}+\frac {u^{[m]}(a)}{p_{m}(a)} -\sum _{i=1} ^{m-1}p_{i}(a) \bigl\vert \overline{u}^{[i]}(a) \bigr\vert ^{2}; \end{aligned}$$
(4.36)
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.
$$\begin{aligned} \lambda^{\prime}(a)={}&{-} \bigl\vert u(a) \bigr\vert ^{2} \bigl(p_{0}(a)-\lambda(a)w(a) \bigr) -2 \operatorname{Re} \sum _{i=1} ^{m-1}(-1)^{i}u^{[i]}(a) \overline{u}^{[2m-i]}(a) \\ &{}+\frac {u^{[m]}(a)}{p_{m}(a)} -\sum _{i=1} ^{m-1}p_{i}(a) \bigl\vert \overline{u}^{[i]}(a) \bigr\vert ^{2}, \end{aligned}$$
(4.37)
(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.
$$\begin{aligned} \lambda^{\prime}(b)={}& \bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr) -2\operatorname{Re} \sum _{i=1} ^{m-1}(-1)^{i}u^{[i]}(b) \overline{u}^{[2m-i]}(b) \\ &{}-\frac {u^{[m]}(b)}{p_{m}(b)} +\sum _{i=1} ^{m-1}p_{i}(b) \bigl\vert \overline{u}^{[i]}(b) \bigr\vert ^{2}; \end{aligned}$$
(4.38)
$$\begin{aligned} \lambda^{\prime}(b)={}& \bigl\vert u(b) \bigr\vert ^{2} \bigl(p_{0}(b)-\lambda(b)w(b) \bigr) +2\operatorname{Re} \sum _{i=1} ^{m-1}(-1)^{i}u^{[i]}(b) \overline{u}^{[2m-i]}(b) \\ &{}-\frac {u^{[m]}(b)}{p_{m}(b)} +\sum _{i=1} ^{m-1}p_{i}(b) \bigl\vert \overline{u}^{[i]}(b) \bigr\vert ^{2}, \end{aligned}$$
(4.39)
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
$$ \bigl[\lambda(b)-\lambda(b+h) \bigr] \int_{a}^{b} u\overline{v}w\,ds = \Biggl[(-1)^{m}\sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar {v}^{[2m-i-1]} \Biggr]_{a}^{b}. $$
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b} u\overline{v}w\,ds \\ &\quad =- \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \begin{pmatrix}{c} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &\qquad{} + \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (a) \begin{pmatrix}{c} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a), \\ & \begin{pmatrix} u^{[2m-1]}, & -u^{[2m-2]}, & u^{[2m-3]}, & \cdots, & -u^{[2]}, & u^{[1]} & -u \end{pmatrix} (b) \\ &\quad= \begin{pmatrix} u, & u^{[1]}, & u^{[2]}, & \cdots, & u^{[2m-3]}, & u^{[2m-2]}, & u^{[2m-1]} \end{pmatrix} (b)\\ &\qquad{}\times \begin{pmatrix} 0 & 0 & 0 & \cdots& 0 & 0 & -1 \\ 0 & 0 & 0 & \cdots& 0 & 1 & 0\\ 0 & 0& 0 & \cdots& -1 & 0 & 0\\ \vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & 1 & \cdots& 0 & 0& 0 \\ 0 & -1 & 0 & \cdots& 0 & 0& 0 \\ 1 & 0& 0 & \cdots& 0& 0 & 0 \end{pmatrix} \\ &\quad=e^{i\theta} \begin{pmatrix} u, & u^{[1]}, & u^{[2]}, & \cdots, & u^{[2m-3]}, & u^{[2m-2]}, & u^{[2m-1]} \end{pmatrix} (a) \mathbf{K} ^{T}\\ &\qquad{}\times \begin{pmatrix} 0 & 0 & 0 & \cdots& 0 & 0 & -1 \\ 0 & 0 & 0 & \cdots& 0 & 1 & 0\\ 0 & 0& 0 & \cdots& -1 & 0 & 0\\ \vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & 1 & \cdots& 0 & 0& 0 \\ 0 & -1 & 0 & \cdots& 0 & 0& 0 \\ 1 & 0& 0 & \cdots& 0& 0 & 0 \end{pmatrix} \\ &\quad=e^{i\theta} \begin{pmatrix} u^{[2m-1]}, & -u^{[2m-2]}, & u^{[2m-3]}, & \cdots, & - u^{[2]}, & u^{[1]}, & - u \end{pmatrix}(a) \\ &\qquad{}\times \begin{pmatrix} 0 & 0 & 0 & \cdots& 0 & 0 & 1 \\ 0 & 0 & 0 & \cdots& 0 & -1 & 0 \\ 0 & 0 & 0 & \cdots& 1 & 0 & 0 \\ \vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & -1 & \cdots& 0 & 0 & 0 \\ 0 & 1 & 0 & \cdots& 0 & 0 & 0 \\ -1 & 0 & 0 & \cdots& 0 & 0 & 0 \end{pmatrix} \mathbf{K}^{T} \begin{pmatrix} 0 & 0 & 0 & \cdots& 0 & 0 & -1 \\ 0 & 0 & 0 & \cdots& 0 & 1 & 0\\ 0 & 0& 0 & \cdots& -1 & 0 & 0\\ \vdots& \vdots& \vdots& \vdots& \vdots& \vdots& \vdots\\ 0 & 0 & 1 & \cdots& 0 & 0& 0 \\ 0 & -1 & 0 & \cdots& 0 & 0& 0 \\ 1 & 0& 0 & \cdots& 0& 0 & 0 \end{pmatrix} \\ &\quad=e^{i\theta} \begin{pmatrix} u^{[2m-1]}, & -u^{[2m-2]}, & u^{[2m-3]}, & \cdots, & - u^{[2]}, & u^{[1]}, & - u \end{pmatrix} (a) \mathbf{K}^{-1}, \end{aligned}$$
$$\begin{aligned} & \begin{pmatrix} u^{[2m-1]}, & -u^{[2m-2]}, & \cdots, & u^{[1]}, & - u \end{pmatrix} (a) \\ &\quad= e^{-i\theta} \begin{pmatrix} u^{[2m-1]}, & -u^{[2m-2]}, & \cdots, & u^{[1]}, & - u \end{pmatrix} (b) \mathbf{K}, \end{aligned}$$
$$\begin{aligned} & \begin{pmatrix} \overline{u}^{[2m-1]}, & -\overline{u}^{[2m-2]}, & \cdots, & \overline { u}^{[1]}, & - \overline{u} \end{pmatrix} (a) \\ &\quad= e^{i\theta} \begin{pmatrix} \overline{u}^{[2m-1]}, & -\overline{u}^{[2m-2]}, & \cdots, & \overline {u}^{[1]}, & - \overline{u} \end{pmatrix} (b) \mathbf{K}. \end{aligned}$$
(4.40)
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b} u\overline{v}w\,ds \\ &\quad=- \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b)\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &\qquad{} + \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b+h)\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} \\ &\quad = \left[ \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b+h)\right. \\ &\qquad{}\left.- \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix}(b) \right] \\ &\qquad{} \times\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b). \end{aligned}$$
(4.41)
$$\begin{aligned} &\lim_{h\rightarrow0} \frac{\overline {v}^{[2m-1]}(b+h)-\overline{v}^{[2m-1]}(b)}{h} = \bigl(\lambda(b)w(b)-p_{0}(b) \bigr)\overline{u}(b), \\ &\lim_{h\rightarrow0} \frac{\overline {v}^{[2m-i-1]}(b+h)-\overline{v}^{[2m-i-1]}(b)}{h} =\overline{u}^{[2m-i]}(b)-(-1)^{m-i}p_{i}(b)u^{[i]}(b), \quad i=1, 2, \ldots, m-1, \\ &\lim_{h\rightarrow0} \frac{\overline {v}^{[m-1]}(b+h)-\overline{v}^{[m-1]}(b)}{h} =\frac{\overline{u}^{[m]}(b)}{p_{m}(b)}, \\ & \lim_{h\rightarrow0} \frac{\overline {v}^{[i]}(b+h)-\overline{v}^{[i]}(b)}{h} = \overline{u}^{[i+1]}(b), \quad i=1, 2, \ldots, m-1. \end{aligned}$$
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
$$\begin{aligned} & \bigl(\lambda(b)-\lambda(b+h) \bigr) \int_{a}^{b} u\overline{v}w\,ds \\ &\quad =- \left[ \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b+h)\right. \\ &\qquad{}\left.- \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \right] \\ &\qquad{} \times\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix}(b) \end{aligned}$$
(4.42)
$$\begin{aligned} &\lim_{h\rightarrow0}\frac{\overline {v}^{[2m-1]}(b+h)-\overline{v}^{[2m-1]}(b)}{h} = \bigl(p_{0}(b)- \lambda(b)w(b) \bigr)\overline{u}(b), \\ &\lim_{h\rightarrow0}\frac{\overline {v}^{[2m-i-1]}(b+h)-\overline{v}^{[2m-i-1]}(b)}{h} =\overline{u}^{[2m-i]}(b)-(-1)^{m-i}p_{i}(b)u^{[i]}(b), \quad i=1, 2, \ldots, m-1, \\ &\lim_{h\rightarrow0}\frac{\overline {v}^{[m-1]}(b+h)-\overline{v}^{[m-1]}(b)}{h} =\frac{\overline{u}^{[m]}(b)}{p_{m}(b)}, \\ & \lim_{h\rightarrow0}\frac{\overline {v}^{[i]}(b+h)-\overline{v}^{[i]}(b)}{h} = \overline{u}^{[i+1]}(b), \quad i=1, 2, \ldots, m-1. \end{aligned}$$
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, thenif m is odd, 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)$$\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, thenif m is odd, 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)$$\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, thenif m is odd, 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)$$\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, thenif m is odd, 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)$$\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;
$$ \bigl[\lambda(\beta)-\lambda(\beta+h) \bigr] \int_{a}^{b} uvw\,ds = \Biggl[(-1)^{m} \sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar{v}^{[2m-i-1]} \Biggr]_{a}^{b}. $$
$$\begin{aligned} & \bigl(\lambda(\beta)-\lambda(\beta+h) \bigr) \int_{a}^{b}uvw\,ds \\ &\quad= \bigl[-u\overline{v}^{[2m-1]}+u^{[1]} \overline{v}^{[2m-2]}-u^{[2]} \overline {v}^{[2m-3]}+\cdots +u^{[2m-3]}\overline{v}^{[2]}-u^{[2m-2]} \overline {v}^{[1]}+u^{[2m-1]}\overline{v} \bigr]_{a}^{b}. \end{aligned}$$
$$ \bigl[-u\overline{v}^{[2m-1]}+u^{[1]}\overline{v}^{[2m-2]}-u^{[2]\overline {v}^{[2m-3]}}+ \cdots +u^{[2m-3]}\overline{v}^{[2]}-u^{[2m-2]}\overline {v}^{[1]}+u^{[2m-1]}\overline{v} \bigr](a)=0. $$
$$\begin{aligned} & \bigl(\lambda(\beta)-\lambda(\beta+h) \bigr) \int_{a}^{b}uvw\,ds \\ &\quad=-u(b)\overline {v}^{[2m-1]}(b)+u^{[1]}(b) \overline{v}^{[2m-2]}(b)-u^{[3]}(b) \overline {v}^{[2m-3]}(b)+ \cdots \\ &\qquad{}+u^{[m-1]}(b)\overline{v}^{[m]}(b) -u^{[m]}(b) \overline{v}^{[m-1]}(b) \\ &\qquad{}+\cdots+u^{[2m-3]}(b)\overline{v}^{[2]}(b)-u^{[2m-2]}(b) \overline {v}^{[1]}(b)+u^{[2m-1]}(b)\overline{v}(b) \\ &\quad=-\tan\beta u^{[1]}(b)\overline{v}^{[2m-1]}(b)+\tan(\beta +h)u^{[1]}(b)\overline{v}^{[2m-1]}(b)-\tan\beta u^{[3]}(b)\overline {v}^{[2m-3]}(b)+\cdots \\ &\qquad{}-\tan\beta u^{[m-1]}(b)\overline{v}^{[m+1]}(b)+\tan(\beta +h)u^{[m-1]}(b)\overline{v}^{[m+1]}(b)-\cdots \\ &\qquad{} +\tan(\beta+h) u^{[2m-3]}(b)\overline{v}^{[3]}(b) \\ &\qquad{}-\tan\beta u^{[2m-2]}(b)\overline{v}^{[1]}(b)+\tan(\beta +h)u^{[2m-1]}(b)\overline{v}^{[1]}(b) \\ &\quad= \bigl[\tan(\beta+h)-\tan(\beta) \bigr] \bigl(u^{[1]}(b) \overline {v}^{[2m-1]}(b)+u^{[3]}(b)\overline{v}^{[2m-3]}(b)+ \cdots +u^{[m-1]}(b)\overline{v}^{[m+1]}(b) \\ &\qquad{}+u^{[m+1]}(b)\overline{v}^{[m-1]}(b)+ \cdots+u^{[2m-3]}(b) \overline {v}^{[3]}(b)+u^{[2m-1]}(b) \overline{v}^{[1]}(b) \bigr). \end{aligned}$$
(4.57)
$$\begin{aligned} -\lambda^{\prime}(\beta)={}&\sec^{2}\beta \bigl(u^{[1]}(b) \overline {u}^{[2m-1]}(b)+u^{[2]}(b)\overline{u}^{[2m-3]}(b)+ \cdots+u^{[m-1]}(b)\overline{u}^{[m+1]}(b) \\ &{}+u^{[m+1]}(b)\overline{u}^{[m-1]}(b)+\cdots+u^{[2m-3]}(b) \overline {u}^{[3]}(b)+u^{[2m-1]}(b)\overline{u}^{[1]}(b) \bigr) \\ ={}&\tan^{2}\beta u^{[1]}(b)\overline{u}^{[2m-1]}(b)+ \tan^{2}\beta u^{[3]}(b)\overline{u}^{[2m-3]}(b)+\cdots\\ &{} + \tan^{2}\beta u^{[m-1]}(b)\overline{u}^{[m+1]}(b) \\ &{}+ \tan^{2}\beta u^{[m+1]}(b)\overline{u}^{[m-1]}(b)+ \cdots+\tan ^{2}\beta u^{[2m-3]}(b)\overline{u}^{[3]}(b)\\ &{}+ \tan^{2}\beta u^{[2m-1]}(b)\overline{u}^{[1]}(b) \\ &{}+ u^{[1]}(b)\overline{u}^{[2m-1]}(b)+u^{[3]}(b) \overline {u}^{[2m-3]}(b)+\cdots\\ &{} +u^{[m-1]}(b)\overline{u}^{[m+1]}(b)+u^{[m+1]}(b) \overline {u}^{[m-1]}(b) \\ &{}+\cdots+u^{[2m-3]}(b)\overline{u}^{[3]}(b)+u^{[2m-1]}(b) \overline {u}^{[1]}(b) \\ ={}& u(b)\overline{u}^{[2m-2]}(b)+ u^{[2]}(b)\overline {u}^{[2m-4]}(b)+\cdots+ u^{[m-2]}(b)\overline{u}^{[m]}(b)\\ &{} + u^{[m]}(b)\overline{u}^{[m-2]}(b)+\cdots \\ &{}+ u^{[2m-2]}(b)\overline{u}(b)+ u^{[1]}(b)\overline {u}^{[2m-1]}(b)+u^{[3]}(b)\overline{u}^{[2m-3]}(b)\\ &{}+\cdots +u^{[m-1]}(b)\overline{u}^{[m+1]}(b) \\ &{}+u^{[m+1]}(b)\overline{u}^{[m-1]}(b)+\cdots+u^{[2m-3]}(b) \overline {u}^{[3]}(b)+u^{[2m-1]}(b)\overline{u}^{[1]}(b) \\ ={}&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), \end{aligned}$$
if m is odd, By the BCs, we infer that
$$\begin{aligned} & \bigl(\lambda(\beta)-\lambda(\beta+h) \bigr) \int_{a}^{b}uvw\,ds \\ &\quad= \bigl[u\overline{v}^{[2m-1]}-u^{[1]}\overline{v}^{[2m-2]}+u^{[2]} \overline {v}^{[2m-3]}-\cdots -u^{[2m-3]}\overline{v}^{[2]}+u^{[2m-2]} \overline {v}^{[1]}-u^{[2m-1]}\overline{v} \bigr]_{a}^{b}. \end{aligned}$$
$$\bigl[u\overline{v}^{[2m-1]}-u^{[1]}\overline{v}^{[2m-2]}+u^{[2]}\overline {v}^{[2m-3]}- \cdots -u^{[2m-3]}\overline{v}^{[2]}+u^{[2m-2]}\overline {v}^{[1]}-u^{[2m-1]}\overline{v}\bigr](a)=0. $$
Then We divide both sides of (4.58) by h, as \(h\rightarrow0\), and we obtain and (4.46) holds. This finishes the proof.
$$\begin{aligned} & \bigl(\lambda(\beta)-\lambda(\beta+h) \bigr) \int_{a}^{b}uvw\,ds \\ &\quad=u(b)\overline {v}^{[2m-1]}(b)-u^{[1]}(b) \overline{v}^{[2m-2]}(b)+u^{[2]}(b) \overline {v}^{[2m-3]}(b)+ \cdots \\ &\qquad{}+u^{[m-1]}(b)\overline{v}^{[m]}(b) -u^{[m]}(b) \overline{v}^{[m-1]}(b) \\ &\qquad{}+\cdots-u^{[2m-3]}(b)\overline{v}^{[2]}(b)+u^{[2m-2]}(b) \overline {v}^{[1]}(b)-u^{[2m-1]}(b)\overline{v}(b) \\ &\quad=\tan\beta u^{[1]}(b)\overline{v}^{[2m-1]}(b)-\tan(\beta +h)u^{[1]}(b)\overline{v}^{[2m-1]}(b)+\tan\beta u^{[3]}(b)\overline {v}^{[2m-3]}(b)-\cdots \\ &\qquad{}+\tan\beta u^{[m]}(b)\overline{v}^{[m]}(b)-\tan(\beta +h)u^{[m]}(b)\overline{v}^{[m]}(b)+\cdots \\ &\qquad{} -\tan(\beta+h) u^{[2m-3]}(b)\overline{v}^{[3]}(b) \\ &\qquad{}+\tan\beta u^{[2m-2]}(b)\overline{v}^{[1]}(b)-\tan(\beta +h)u^{[2m-1]}(b)\overline{v}^{[1]}(b) \\ &\quad=- \bigl[\tan(\beta+h)-\tan(\beta) \bigr] \bigl(u^{[1]}(b) \overline {v}^{[2m-1]}(b)+u^{[3]}(b)\overline{v}^{[2m-3]}(b) \\ &\qquad{}+ \cdots +u^{[m-2]}(b)\overline{v}^{[m+2]}(b) \\ &\qquad{}+u^{[m]}(b)\overline{v}^{[m]}(b)+ \cdots+u^{[2m-3]}(b) \overline {v}^{[3]}(b)+u^{[2m-1]}(b) \overline{v}^{[1]}(b) \bigr). \end{aligned}$$
(4.58)
$$\begin{aligned} \lambda^{\prime}(\beta)={}&\sec^{2}\beta \bigl(u^{[1]}(b) \overline {u}^{[2m-1]}(b)+u^{[3]}(b)\overline{u}^{[2m-3]}(b)+ \cdots +u^{[m-2]}(b)\overline{u}^{[m+2]}(b) \\ &{}+u^{[m]}(b)\overline{u}^{[m]}(b)+\cdots+u^{[2m-3]}(b) \overline {u}^{[3]}(b)+u^{[2m-1]}(b)\overline{u}^{[1]}(b) \bigr) \\ ={}&\tan^{2}\beta u^{[1]}(b)\overline{u}^{[2m-1]}(b)+ \tan^{2}\beta u^{[3]}(b)\overline{u}^{[2m-3]}(b)+\cdots + \tan^{2}\beta u^{[m-2]}(b)\overline{u}^{[m+2]}(b) \\ &{}+ \tan^{2}\beta u^{[m]}(b)\overline{u}^{[m]}(b)+ \cdots+\tan^{2}\beta u^{[2m-3]}(b)\overline{u}^{[3]}(b) + \tan^{2}\beta u^{[2m-1]}(b)\overline {u}^{[1]}(b) \\ &{}+ u^{[1]}(b)\overline{u}^{[2m-1]}(b)+u^{[3]}(b) \overline {u}^{[2m-3]}(b)+\cdots +u^{[m-2]}(b)\overline{u}^{[m+2]}(b)+u^{[m]}(b) \overline{u}^{[m]}(b) \\ &{}+\cdots+u^{[2m-3]}(b)\overline{u}^{[3]}(b)+u^{[2m-1]}(b) \overline {u}^{[1]}(b) \\ ={}& u(b)\overline{u}^{[2m-2]}(b)+ u^{[2]}(b)\overline {u}^{[2m-4]}(b)+\cdots\\ &{}+ u^{[m-3]}(b)\overline{u}^{[m+1]}(b) + u^{[m-1]}(b)\overline{u}^{[m-1]}(b) \\ &{}+u^{[m+1]}(b)\overline{u}^{[m-3]}(b)+\cdots+ u^{[2m-2]}(b) \overline {u}(b)\\ &{}+ u^{[1]}(b)\overline{u}^{[2m-1]}(b)+u^{[3]}(b) \overline {u}^{[2m-3]}(b)+\cdots \\ &{}+u^{[m-2]}(b)\overline{u}^{[m+2]}(b)+u^{[m]}(b) \overline {u}^{[m]}(b)+\cdots\\ &{}+u^{[2m-3]}(b)\overline{u}^{[3]}(b) +u^{[2m-1]}(b)\overline{u}^{[1]}(b) \\ ={}&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}$$
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.
$$\begin{aligned} & \bigl(\lambda(\theta)-\lambda(\theta+h) \bigr) \int_{a}^{b} uvw\,ds \\ &\quad= \Biggl[(-1)^{m}\sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar {v}^{[2m-i-1]} \Biggr]_{a}^{b} \\ &\quad=(-1)^{m+1} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &\qquad{}-(-1)^{m+1} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (a) \begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix}(a) \\ &\quad=(-1)^{m+1}e^{i\theta} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \mathbf{K}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \\ &\qquad{}-(-1)^{m+1}e^{i(\theta+h)} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix}(b) \mathbf{K}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix}(a) \\ &\quad=(-1)^{m}e^{i\theta} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \mathbf{K} \\ &\qquad{}\times\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \bigl(e^{ih}-1 \bigr). \end{aligned}$$
(4.59)
$$\begin{aligned} \lambda^{\prime}(\theta)&=(-1)^{m+1}ie^{i\theta} \begin{pmatrix} \overline{u}^{[2m-1]}, & -\overline{u}^{[2m-2]}, &\cdots, & \overline {u}^{[1]}, & -\overline{u} \end{pmatrix} (b)\mathbf{K}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \\ &=(-1)^{m+1}i \begin{pmatrix} \overline{u}^{[2m-1]}, & -\overline{u}^{[2m-2]}, &\cdots, & \overline {u}^{[1]}, & -\overline{u} \end{pmatrix} (b) \begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &=(-1)^{m}2\operatorname{Im}\sum_{i=0} ^{m-1}(-1)^{i}u^{[i]}(b)\overline {u}^{[2m-i-1]}(b), \end{aligned}$$
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.
$$\begin{aligned} & \bigl(\lambda(\mathbf{K})-\lambda(\mathbf{K+H}) \bigr) \int_{a}^{b} uvw\,ds \\ &\quad= \Biggl[(-1)^{m}\sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar {v}^{[2m-i-1]} \Biggr]_{a}^{b} \\ &\quad=(-1)^{m+1} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &\qquad{}-(-1)^{m+1} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (a) \begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \\ &\quad=(-1)^{m+1}e^{i\theta} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \mathbf{K}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \\ &\qquad{}-(-1)^{m+1}e^{i\theta} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix} (b) \mathbf{(K+H)}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (a) \\ &\quad=(-1)^{m}e^{i\theta} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix}(b) \mathbf{H}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix}(a) \\ &\quad=(-1)^{m} \begin{pmatrix} \overline{v}^{[2m-1]}, & -\overline{v}^{[2m-2]}, &\cdots, & \overline {v}^{[1]}, & -\overline{v} \end{pmatrix}(b) \mathbf{HK^{-1}}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix}(b) \\ &\quad=(-1)^{m} \begin{pmatrix} \overline{u}^{[2m-1]}, & \bar{u}^{[2m-2]}, &\cdots, & \overline {u}^{[1]}, & -\overline{u} \end{pmatrix} (b) \mathbf{HK^{-1}}\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b) \\ &\quad=(-1)^{m} \begin{pmatrix} \overline{v}^{[2m-1]}- \overline{u}^{[2m-1]}, & \overline {u}^{[2m-2]}-\overline{v}^{[2m-2]}, &\cdots, & \overline{v}^{[1]}- \overline{u}^{[1]}, & \overline{u}-\overline{v} \end{pmatrix} (b) \mathbf{HK^{-1}} \\ &\qquad{}\times\begin{pmatrix} u \\ u^{[1]} \\ \vdots\\ u^{[2m-2]} \\ u^{[2m-1]} \end{pmatrix} (b). \end{aligned}$$
$$\begin{aligned} \lambda(\mathbf{K+H})-\lambda(\mathbf{K})={}&(-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) + o(\mathbf{H}), \end{aligned}$$
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. □
$$ \bigl[\lambda(p_{0})-\lambda(p_{0}+h) \bigr] \int_{a}^{b} u\bar{v}w\,ds = \Biggl[(-1)^{m} \sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar {v}^{[2m-i-1]} \Biggr]_{a}^{b}- \int_{a}^{b} u\bar{v}h\,ds. $$
$$ \Biggl[(-1)^{m}\sum_{i=0}^{2m-1}(-1)^{2m+1-i}u^{[i]} \bar {v}^{[2m-i-1]} \Biggr]_{a}^{b}=0. $$
$$ \bigl[\lambda(p_{0}+h)-\lambda(p_{0}) \bigr] \bigl(1+o(h) \bigr)= \int_{a}^{b} \vert u \vert ^{2}h \,ds+o(h). $$
$$ \lambda(p_{0}+h)-\lambda(p_{0})= \biggl[ \int_{a}^{b} \vert u \vert ^{2}h \,ds+o(h) \biggr] \bigl(1+o(h) \bigr)^{-1}= \int_{a}^{b} \vert u \vert ^{2}h \,ds+o(h), $$
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.
Declarations
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).
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
(1)
School of Mathematical Sciences, Qufu Normal University, Qufu, P.R. China
References
- Pöeschel, J, Trubowitz, E: Inverse Spectral Theory. Academic Press, New York (1987) Google Scholar
- Dauge, D, Helffer, B: Eigenvalues variation, I: Neumann problem for Sturm-Liouville operators. J. Differ. Equ. 104, 243-262 (1993) MathSciNetView ArticleMATHGoogle Scholar
- Dauge, M, Helffer, B: Eigenvalues variation, II: multidimensional problems. J. Differ. Equ. 104, 263-297 (1993) MathSciNetView ArticleMATHGoogle Scholar
- Kong, Q, Zettl, A: Eigenvalues of regular Sturm-Liouville problems. J. Differ. Equ. 131, 1-19 (1996) MathSciNetView ArticleMATHGoogle Scholar
- Kong, Q, Zettl, A: Dependence of eigenvalues of Sturm-Liouville problems on the boundary. J. Differ. Equ. 126, 384-407 (1996) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetMATHGoogle Scholar
- Kong, Q, Wu, H, Zettl, A: Dependence of eigenvalues on the problems. Math. Nachr. 188, 173-201 (1997) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetMATHGoogle Scholar
- Suo, JQ, Wang, WY: Eigenvalues of a class of regular fourth-order Sturm-Liouville problems. Appl. Math. Comput. 218, 9716-9729 (2012) MathSciNetMATHGoogle Scholar
- Greenberg, L, Marletta, M: The code SLEUTH for solving fourth order Sturm-Liouville problems. ACM Trans. Math. Softw. 23, 453-493 (1997) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- Greenberg, L, Marletta, M: Oscillation theory and numerical solution of fourth order Sturm-Liouville problems. IMA J. Numer. Anal. 15, 319-356 (1995) MathSciNetView ArticleMATHGoogle Scholar
- Chanane, B: Eigenvalues of fourth order Sturm-Liouville problems using Fliess series. J. Comput. Appl. Math. 96, 91-97 (1998) MathSciNetView ArticleMATHGoogle Scholar
- Chanane, B: Fliess series approach to the computation of the eigenvalues of fourth-order Sturm-Liouville problems. Appl. Math. Lett. 15, 459-463 (2002) MathSciNetView ArticleMATHGoogle Scholar
- 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) Google Scholar
- Chanane, B: Accurate solutions of fourth order Sturm-Liouville problems. J. Comput. Appl. Math. 234, 3064-3071 (2010) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetGoogle Scholar
- Zheng, Z, Zhang, W: Characterization of eigenvalues in spectral gap for singular differential operators. Abstr. Appl. Anal. 2012, Article ID 271657 (2012) MathSciNetMATHGoogle Scholar
- Greenberg, L, Marletta, M: Numerical methods for higher order Sturm-Liouville problems. J. Comput. Appl. Math. 125, 367-383 (2000) MathSciNetView ArticleMATHGoogle Scholar
- 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) MathSciNetView ArticleMATHGoogle Scholar
- Naimark, NA: Linear Differential Operators, Vol. 2. Ungar, New York (1986) Google Scholar
- Weidmann, J: Spectral Theory of Ordinary Differential Operators. Lecture Notes in Mathematics, vol. 1258. Springer, Berlin (1987) MATHGoogle Scholar
- Wang, AP, 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
- 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 View ArticleGoogle Scholar
- 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) View ArticleGoogle Scholar
- Kong, Q, Wu, H, Zettl, A: Dependence of the nth Sturm-Liouville eigenvalue on the problem. J. Differ. Equ. 156, 328-354 (1999) View ArticleMATHGoogle Scholar
Copyright
© The Author(s) 2017
