# Spectral asymptotics of self-adjoint fourth order boundary value problems with eigenvalue parameter dependent boundary conditions

- Manfred Möller
^{1}Email author and - Bertin Zinsou
^{1}

**2012**:106

**DOI: **10.1186/1687-2770-2012-106

© Möller and Zinsou; licensee Springer 2012

**Received: **8 May 2012

**Accepted: **17 September 2012

**Published: **4 October 2012

## Abstract

A regular fourth order differential equation with *λ*-dependent boundary conditions is considered. For four distinct cases with exactly one *λ*-independent boundary condition, the asymptotic eigenvalue distribution is presented.

**MSC:**34L20, 34B07, 34B08, 34B09.

### Keywords

fourth order boundary value problems self-adjoint boundary conditions eigenvalue distribution pure imaginary eigenvalues spectral asymptotics## 1 Introduction

Sturm-Liouville problems have attracted extensive attention due to their intrinsic mathematical challenges and their applications in physics and engineering. However, apart from classical Sturm-Liouville problems, also higher order ordinary linear differential equations occur in applications, with or without the eigenvalue parameter in the boundary conditions. Such problems are realized as operator polynomials, also called operator pencils. Some recent developments of higher order differential operators whose boundary conditions depend on the eigenvalue parameter, including spectral asymptotics and basis properties, have been investigated in [1–4]. General characterizations of self-adjoint boundary conditions have been presented in [5, 6] for singular and (quasi-)regular problems. In all these cases, the minimal operator associated with an *n* th order differential equation must be symmetric, see [7, 8] for necessary and sufficient conditions. A more general discussion on the spectra of fourth order differential operators can be found in [9, 10].

*a priori*knowledge about the location of the spectrum. In [12] this approach has been extended to a fourth order differential equation describing small transversal vibrations of a homogeneous beam compressed or stretched by a force

*g*. Separation of variables leads to a fourth order boundary problem with eigenvalue parameter dependent boundary conditions, where the differential equation

depends quadratically on the eigenvalue parameter. This problem is represented by a quadratic operator pencil, in a suitably chosen Hilbert space, whose coefficient operators are self-adjoint. In [13] we have investigated a class of boundary conditions for which necessary and sufficient conditions were obtained such that the associated operator pencil consists of self-adjoint operators, while in [14] we have continued the work of [13] in the direction of [12] to derive eigenvalue asymptotics associated with boundary conditions which lead to self-adjoint operator representations. We have considered the particular case of boundary conditions which do not depend on the eigenvalue parameter at the left endpoint and depend on the eigenvalue parameter at the right endpoint.

In this paper, we extend the work of [14] to a class of boundary conditions where exactly one of the left endpoint boundary conditions does not depend on the eigenvalue parameter, while the remaining boundary conditions depend on the eigenvalue parameter.

We define the operator pencil in Section 2 and we discuss which boundary conditions are considered. In Section 3, the eigenvalue asymptotics for the case $g=0$ are derived. In Section 4, it is shown that the boundary value problems under consideration are Birkhoff regular, which implies that the eigenvalues for general *g* are small perturbations of the eigenvalues for $g=0$. Hence, in Section 5, the first four terms of the eigenvalue asymptotics are found and are compared to those obtained in [14].

## 2 The quadratic operator pencil *L*

*λ*linearly. The boundary conditions (2.2) are taken at the endpoint 0 for $j=1,2$ and at the endpoint

*a*for $j=3,4$. Further, we assume for simplicity that either ${B}_{j}(\lambda )y={y}^{[{p}_{j}]}({a}_{j})+i{\epsilon}_{j}\alpha \lambda {y}^{[{q}_{j}]}({a}_{j})$ or ${B}_{j}(\lambda )y={y}^{[{p}_{j}]}({a}_{j})$, where ${a}_{j}=0$ for $j=1,2$, ${a}_{j}=a$ for $j=3,4$, $\alpha >0$ and ${\epsilon}_{j}\in \{-1,1\}$. We recall that the quasi-derivatives associated with (2.1) are given by

see [[8], p.26].

**Assumption 2.1** *The numbers* ${p}_{1}$, ${p}_{2}$, ${q}_{j}$ *for* $j\in {\mathrm{\Theta}}_{1}^{0}$ *are distinct as well as the numbers* ${p}_{3}$, ${p}_{4}$, ${q}_{j}$ *for* $j\in {\mathrm{\Theta}}_{1}^{a}$.

*U*the collection of the boundary conditions (2.2) and define the following operators related to

*U*:

*K*and

*M*in the space ${L}_{2}(0,a)\oplus {\mathbb{C}}^{k}$ with domains

in the space ${L}_{2}(0,a)\oplus {\mathbb{C}}^{k}$ with the problem (2.1), (2.2).

The conditions under which the differential operator $A(U)$ is self-adjoint are given in

**Theorem 2.2** ([13], Theorem 1.2)

*Denote by* ${P}_{0}$ *the set of* *p* *in* ${y}^{[p]}(0)=0$ *for the* *λ*-*independent boundary conditions and by* ${P}_{a}$ *the corresponding set for* ${y}^{[p]}(a)=0$. *Then the differential operator* $A(U)$ *associated with this boundary value problem is self*-*adjoint if and only if* $p+q=3$ *for all boundary conditions of the form* ${y}^{[p]}({a}_{j})+i\alpha {\epsilon}_{j}\lambda {y}^{[q]}({a}_{j})=0$ *and* ${\epsilon}_{j}=1$ *if* *q* *is even in case* ${a}_{j}=0$ *or odd in case* ${a}_{j}=a$, ${\epsilon}_{j}=-1$ *otherwise*, $\{0,3\}\not\subset {P}_{0}$, $\{1,2\}\not\subset {P}_{0}$, $\{0,3\}\not\subset {P}_{a}$ *and* $\{1,2\}\not\subset {P}_{a}$.

**Proposition 2.3** *The operator pencil* $L(\cdot ,\alpha )$ *is a Fredholm valued operator function with index* 0. *The spectrum of the Fredholm operator* $L(\cdot ,\alpha )$ *consists of discrete eigenvalues of finite multiplicities*, *and all eigenvalues of* $L(\cdot ,\alpha )$, $\alpha \ge 0$, *lie in the closed upper half*-*plane and on the imaginary axis and are symmetric with respect to the imaginary axis*.

*Proof* As in [[12], Section 3], we can argue that for all $\lambda \in \mathbb{C}$, $L(\lambda ,\alpha )$ is a relatively compact perturbation of $L(0,0)$, where $L(0,0)$ is well known to be a Fredholm operator. The statement on the location of the spectrum now follows as in [[12], Lemma 3.1]. □

*λ*, whereas both boundary conditions at

*a*depend on

*λ*. Therefore, taking Assumption 2.1 and Theorem 2.2 into account, we have the four boundary conditions

where $0\le {p}_{1}\le 3$, $0\le {p}_{2}\le 3$, $0\le {q}_{2}\le 3$, ${p}_{2}+{q}_{2}=3$, and ${p}_{1}\notin \{{q}_{2},{p}_{2}\}$, while $\{{p}_{3},{q}_{3}\}=\{1,2\}$ and $\{{p}_{4},{q}_{4}\}=\{0,3\}$. Thus, we have 8 and 4 possible sets of boundary conditions at the endpoint 0 and *a*, respectively. Whence there are 32 different sets of boundary conditions. Recall that the parameter *λ* emanates from derivatives with respect to the time variable in the original partial differential equation, and it is reasonable that the highest space derivative occurs in the term without time derivative. Thus, the most relevant boundary conditions would have ${q}_{2}<{p}_{2}$, ${q}_{3}<{p}_{3}$ and ${q}_{4}<{p}_{4}$. This leaves us with four different cases for the boundary conditions ${B}_{j}(\lambda )y=0$.

These four cases are uniquely determined by the value of ${p}_{1}$, so that we will consider

Case 1: ${p}_{1}=3$; Case 2: ${p}_{1}=0$; Case 3: ${p}_{1}=1$; Case 4: ${p}_{1}=2$.

## 3 Asymptotics of eigenvalues for $g=0$

*g*. Observe that for $g=0$, the quasi-derivatives ${y}^{[j]}$ coincide with the standard derivatives ${y}^{(j)}$. We take the canonical fundamental system ${y}_{j}(\cdot ,\lambda )$, $j=1,\dots ,4$, of (2.1) with ${y}_{j}^{(m)}(0)={\delta}_{j,m+1}$ if $j\ge 2$ for $m=0,\dots ,3$. It is well known that the functions ${y}_{j}(\cdot ,\lambda )$ are analytic on ℂ with respect to

*λ*. Putting

the eigenvalues of the boundary value problem (2.1), (2.2) are the eigenvalues of the analytic matrix function *M*, where the corresponding geometric and algebraic multiplicities coincide, see [[15], Theorem 6.3.2].

The second row of $M(\lambda )$ has exactly two non-zero entries (for $\lambda \ne 0$), and these non-zero entries are:

In Cases 1 and 2, ${B}_{2}(\lambda ){y}_{2}(\cdot ,\lambda )=-i\alpha {\mu}^{2}$ and ${B}_{2}(\lambda ){y}_{3}(\cdot ,\lambda )=1$;

In Cases 3 and 4, ${B}_{2}(\lambda ){y}_{1}(\cdot ,\lambda )=i\alpha {\mu}^{2}$ and ${B}_{2}(\lambda ){y}_{4}(\cdot ,\lambda )=1$.

*ϕ*is a product of a power in

*μ*and a product of two sums of a trigonometric and a hyperbolic functions. The terms with the highest

*μ*-powers in $\varphi (\mu )$ are non-zero constant multiples of

We next give the asymptotic distributions of the zeros of ${\varphi}_{0}(\mu )$ with proper counting.

**Lemma 3.1**Case 1: ${\varphi}_{0}$

*has a zero of multiplicity*8

*at*0,

*simple zeros at*

*simple zeros at* $-{\tilde{\mu}}_{k}$, ${\tilde{\mu}}_{-k}=i{\tilde{\mu}}_{k}$ *and* $-i{\tilde{\mu}}_{k}$ *for* $k=3,4,\dots $, *and no other zeros*.

*has a zero of multiplicity*4

*at*0,

*exactly one simple zero*${\tilde{\mu}}_{k}$

*in each interval*$((k-\frac{1}{2})\frac{\pi}{a},(k+\frac{1}{2})\frac{\pi}{a})$

*for positive integers*

*k*

*with asymptotics*

*simple zeros at* $-{\tilde{\mu}}_{k}$, ${\tilde{\mu}}_{-k}=i{\tilde{\mu}}_{k}$ *and* $-i{\tilde{\mu}}_{k}$ *for* $k=2,3,\dots $ , *and no other zeros*.

*has a zero of multiplicity*6

*at*0,

*simple zeros at*

*simple zeros at* $-{\tilde{\mu}}_{k}$, ${\tilde{\mu}}_{-k}=i{\tilde{\mu}}_{k}$ *and* $-i{\tilde{\mu}}_{k}$ *for* $k=2,3,\dots $, *and no other zeros*.

*has a zero of multiplicity*6

*at*0,

*exactly one simple zero*${\tilde{\mu}}_{k}$

*in each interval*$((k-\frac{1}{2})\frac{\pi}{a},(k+\frac{1}{2})\frac{\pi}{a})$

*for positive integers*

*k*

*with asymptotics*

*simple zeros at* $-{\tilde{\mu}}_{k}$, ${\tilde{\mu}}_{-k}=i{\tilde{\mu}}_{k}$ *and* $-i{\tilde{\mu}}_{k}$ *for* $k=2,3,\dots $, *and no other zeros*.

*Proof* The result is obvious in Cases 1 and 3. Cases 2 and 4 only differ in the factor with the power of *μ*, and the multiplicity of the corresponding zero of ${\varphi}_{0}$ at 0 is easy to verify. The choice of the indexing for the non-zero zeros of ${\varphi}_{0}$ in each case will become apparent later.

*k*is a positive integer, and no zero in $(0,\frac{\pi}{2a})$. Since $tanh(\mu a)\to 1$ as $\mu \to \mathrm{\infty}$, we have

The location of the zeros on the other three half-axes follows by repeated application of ${\varphi}_{0}(i\mu )=-{\varphi}_{0}(\mu )$.

is either real or pure imaginary. □

**Proposition 3.2**

*For*$g=0$,

*there exists a positive integer*${k}_{0}$

*such that the eigenvalues*${\stackrel{\u02c6}{\lambda}}_{k}$,

*counted with multiplicity*,

*of the problem*(2.1), (2.5)-(2.8),

*where*$k\in \mathbb{Z}\setminus \{0\}$

*in Cases*1

*and*2

*and*$k\in \mathbb{Z}$

*in Cases*3

*and*4,

*can be enumerated in such a way that the eigenvalues*${\stackrel{\u02c6}{\lambda}}_{k}$

*are pure imaginary for*$|k|<{k}_{0}$,

*and*${\stackrel{\u02c6}{\lambda}}_{-k}=-\overline{{\stackrel{\u02c6}{\lambda}}_{k}}$

*for*$k\ge {k}_{0}$.

*For*$k>0$,

*we can write*${\stackrel{\u02c6}{\lambda}}_{k}={\stackrel{\u02c6}{\mu}}_{k}^{2}$,

*where the*${\stackrel{\u02c6}{\mu}}_{k}$

*have the following asymptotic representation as*$k\to \mathrm{\infty}$:

*In particular*, *the number of pure imaginary eigenvalues is even in Cases* 1 *and* 2 *and odd in Cases* 3 *and* 4.

*Proof*Case 4: A straightforward calculation gives

*μ*outside the zeros of ${\varphi}_{0}$, $cos(\cdot a)$ and $cosh(\cdot a)$, we have

*ε*. Since $tanh(\mu a)\to 1$ uniformly in the strip $\{\mu \in \mathbb{C}:Re\mu \ge 1,|Im\mu |\le \frac{\pi}{4a}\}$ as $|\mu |\to \mathrm{\infty}$, there is an integer ${k}_{1}(\epsilon )$ such that

By periodicity, there are numbers ${C}_{2}(\epsilon )>0$ and ${C}_{3}(\epsilon )>0$ such that $|tan(\mu a)|<{C}_{2}(\epsilon )$ and $|cos(\mu a)|>{C}_{3}(\epsilon )$ for all $\mu \in {R}_{k,\epsilon}$ and all *k*. Observing $|cosh(\mu a)|\ge |sinh((Re\mu )a)|$, it follows that there is ${k}_{2}(\epsilon )\ge {k}_{1}(\epsilon )$ such that for all *μ* on the squares ${R}_{k,\epsilon}$ with $k>{k}_{2}(\epsilon )$ the estimate $|{\varphi}_{1}(\mu )|<1$ holds. Further, we may assume by Lemma 3.1 that ${\tilde{\mu}}_{k}$ is inside ${R}_{k,\epsilon}$ for $k>{k}_{2}(\epsilon )$ and that no other zero of ${\varphi}_{0}$ has this property. Hence, it follows by Rouché’s theorem that there is exactly one (simple) zero ${\stackrel{\u02c6}{\mu}}_{k}$ of *ϕ* in each ${R}_{k}$ for $k\ge {k}_{2}(\epsilon )$. Replacing *μ* with *iμ* only changes the sign of the second term in (3.3) and thus the sign of ${\varphi}_{1}$. Hence, the same estimates apply to corresponding squares along the other three half-axes, and we therefore have that *ϕ* has zeros $\pm {\stackrel{\u02c6}{\mu}}_{k}$, $\pm {\stackrel{\u02c6}{\mu}}_{-k}$ for $k>{k}_{2}(\epsilon )$ with the same asymptotic behavior as the zeros $\pm {\tilde{\mu}}_{k}$, $\pm i{\tilde{\mu}}_{k}$ of ${\varphi}_{0}$ as discussed in Lemma 3.1.

*y*as $x\to \pm \mathrm{\infty}$. Hence, there exists ${\stackrel{\u02c6}{k}}_{0}\in \mathbb{N}$ such that for all $k\in \mathbb{Z}$, $|k|\ge {\stackrel{\u02c6}{k}}_{0}$ and $\gamma \in \mathbb{R}$,

which hold for all $k\in \mathbb{Z}$ with $|k|\ge {\stackrel{\u02c6}{k}}_{0}$ and all $\gamma \in \mathbb{R}$. Therefore, it follows from (3.6), (3.8)-(3.10) and the corresponding estimates with *μ* replaced by *iμ* that there is ${\stackrel{\u02c6}{k}}_{1}$ such that $|{\varphi}_{1}(\mu )|<1$ for all $\mu \in {S}_{k}$ with $k>{\stackrel{\u02c6}{k}}_{1}$. Again from the definition of ${\varphi}_{1}$ in (3.4) and Rouché’s theorem, we conclude that the functions ${\varphi}_{0}$ and *ϕ* have the same number of zeros in the square ${S}_{k}$, for $k\in \mathbb{N}$ with $k\ge {\stackrel{\u02c6}{k}}_{1}$.

Since ${\varphi}_{0}$ has $4k+2$ zeros inside ${S}_{k}$ and thus $4k+2+4$ zeros inside ${S}_{k+1}$, it follows that *ϕ* has no large zeros other than the zeros $\pm {\stackrel{\u02c6}{\mu}}_{k}$ found above for $|k|$ sufficiently large, and that ${\stackrel{\u02c6}{\lambda}}_{k}={\stackrel{\u02c6}{\mu}}_{k}^{2}$ account for all eigenvalues of the problem (2.1)-(2.2) since each of these eigenvalues gives rise to two zeros of *ϕ*, counted with multiplicity. By Proposition 2.3, all eigenvalues with non-zero real part occur in pairs ${\stackrel{\u02c6}{\lambda}}_{k}$, $-\overline{{\stackrel{\u02c6}{\lambda}}_{k}}$, which shows that we can index all such eigenvalues as ${\stackrel{\u02c6}{\lambda}}_{-k}=-\overline{{\stackrel{\u02c6}{\lambda}}_{k}}$. Since there is an odd number of remaining indices, the number of pure imaginary eigenvalues must be odd.

*ϕ*in this case is

Then all the estimates are as in Case 4, and the result in Case 2 immediately follows from that in Case 4 if we observe that each ${S}_{k}$ for *k* large enough contains two fewer zeros of *ϕ* than in Case 4.

The result follows with reasonings and estimates as in the proof of Case 4, replacing *μ* by $\mu \pm \frac{\pi}{2}$ and $\mu \pm i\frac{\pi}{2}$, respectively.

*ϕ*in this case is

and a reasoning as in Case 1 completes the proof. □

## 4 Birkhoff regularity

We refer to [[15], Definition 7.3.1] for the definition of the Birkhoff regularity.

**Proposition 4.1** *The boundary value problem* (2.1), (2.5)-(2.8) *is Birkhoff regular for* $\alpha >0$ *with respect to the eigenvalue parameter* *μ* *given by* $\lambda ={\mu}^{2}$.

*Proof*The characteristic function of (2.1) as defined in [[15], (7.1.4)] is $\pi (\rho )={\rho}^{4}-1$, and its zeros are ${i}^{k-1}$, $k=1,\dots ,4$. We can choose

*ν*th unit vector in ${\mathbb{C}}^{4}$. Thus the boundary matrices defined in [[15], (7.3.1)] are given by

*r*and ${\theta}_{j}=-{i}^{j}\alpha $ for Cases 1 and 2, while ${\theta}_{j}={(-i)}^{j-1}$ for Cases 3 and 4. The Birkhoff matrices are

*i.e.*, $r\in \{1,2\}$, whereas

in Cases 3 and 4. Thus, the problem (2.1), (2.5)-(2.8) is Birkhoff regular. □

## 5 Asymptotic expansions of eigenvalues

Let *D*, as a function of *μ* with $\lambda ={\mu}^{2}$, be the characteristic function of the problem (2.1), (2.5)-(2.8) with respect to the fundamental system ${y}_{j}$, $j=1,2,3,4$, with ${y}_{j}^{[m]}(0)={\delta}_{j,m+1}$ for $m=0,1,2,3$, where *δ* is the Kronecker delta. Denote by ${D}_{0}$ the corresponding characteristic function for $g=0$. Note that the characteristic functions ${D}_{0}$ and ${\varphi}_{0}$ considered in Section 3 have the same zeros counted with multiplicity. Due to the Birkhoff regularity, *g* only influences lower order terms in *D*. Therefore, it can be inferred that outside the interior of the small squares ${R}_{k}$, $-{R}_{k}$, $i{R}_{k}$, $-i{R}_{-k}$ around the zeros of ${D}_{0}$, $|D(\mu )-{D}_{0}(\mu )|<|{D}_{0}(\mu )|$ if $|\mu |$ is sufficiently large. Since the fundamental system ${y}_{j}$, $j=1,2,3,4$, depends analytically on *μ*, also *D* and ${D}_{0}$ are analytic functions. Hence, applying Rouché’s theorem both to the large squares ${S}_{k}$ and to the small squares which are sufficiently far away from the origin, it follows that the eigenvalues of the boundary value problem for general *g* have the same asymptotic distribution as for $g=0$. Whence Proposition 3.2 leads to

**Proposition 5.1**

*For*$g\in {C}^{1}[0,a]$,

*there exists a positive integer*${k}_{0}$

*such that the eigenvalues*${\stackrel{\u02c6}{\lambda}}_{k}$,

*counted with multiplicity*,

*of the problem*(2.1), (2.5)-(2.8),

*where*$k\in \mathbb{Z}\setminus \{0\}$

*in Cases*1

*and*2

*and*$k\in \mathbb{Z}$

*in Cases*3

*and*4,

*can be enumerated in such a way that the eigenvalues*${\lambda}_{k}$

*are pure imaginary for*$|k|<{k}_{0}$,

*and*${\lambda}_{-k}=-\overline{{\lambda}_{k}}$

*for*$k\ge {k}_{0}$.

*For*$k>0$,

*we can write*${\lambda}_{k}={\mu}_{k}^{2}$,

*where the*${\mu}_{k}$

*have the following asymptotic representation as*$k\to \mathrm{\infty}$:

*In particular*, *the number of pure imaginary eigenvalues is even in Cases* 1 *and* 2 *and odd in Cases* 3 *and* 4.

and $[\frac{{d}^{j}}{d{x}^{j}}]$ means that we omit those terms of the Leibniz expansion which contain a function ${\phi}_{r}^{(k)}$ with $k>4-r$. Since the coefficient of ${y}^{(3)}$ in (2.1) is zero, we have ${\phi}_{0}(x)=1$, see [[15], (8.2.3)].

*ν*th unit vector in ${\mathbb{C}}^{4}$, $V={({i}^{(j-1)(k-1)})}_{j,k=1}^{4}$, and ${Q}^{[r]}$ are $4\times 4$ matrices given by [[15], (8.2.28), (8.2.33) and (8.2.34)], that is, ${Q}^{[0]}={I}_{4}$,

for $\nu =1,2,3,4$, where ${\{o(\cdot )\}}_{\mathrm{\infty}}$ means that the estimate is uniform in *x*.

where ${\omega}_{1}=1+i$, ${\omega}_{2}=-1+i$, ${\omega}_{3}=-1-i$, ${\omega}_{4}=1-i$, ${\omega}_{5}=0$, and each of the functions ${\psi}_{1},\dots ,{\psi}_{5}$ has asymptotic representations of the form ${c}_{k}{\mu}^{k}+{c}_{k-1}{\mu}^{k-1}+\dots +{c}_{{k}_{0}}{\mu}^{{k}_{0}}+o({\mu}^{{k}_{0}})$.

*s*. Hence, for $arg\mu \in [-\frac{3\pi}{8},\frac{\pi}{8}]$,

*D*satisfy the asymptotic representations ${\mu}_{k}=k\frac{\pi}{a}+{\tau}_{0}+o(1)$ as $k\to \mathrm{\infty}$. In order to improve on these asymptotic representations, write

Because of the symmetry of the eigenvalues, we will only need to find the asymptotic expansions as $k\to \mathrm{\infty}$. We know ${\tau}_{0}$ from Proposition 5.1, and it is our aim to find ${\tau}_{1}$ and ${\tau}_{2}$. To this end, we will substitute (5.24) into ${D}_{1}({\mu}_{k})=0$ and we will then compare the coefficients of ${k}^{0}$, ${k}^{-1}$ and ${k}^{-2}$.

where *γ* is the highest *μ*-power in ${\psi}_{1}(\mu )$ and ${\psi}_{4}(\mu )$. Substituting (5.25) and (5.26) into (5.27) and comparing the coefficients of ${k}^{0}$, ${k}^{-1}$ and ${k}^{-2}$, we get

**Theorem 5.2**

*For*$g\in {C}^{1}[0,a]$,

*there exists a positive integer*${k}_{0}$

*such that the eigenvalues*${\lambda}_{k}$, $k\in \mathbb{Z}$,

*counted with multiplicity*,

*of the problem*(2.1), (2.5)-(2.8),

*where*$k\in \mathbb{Z}\setminus \{0\}$

*in Cases*1

*and*2

*and*$k\in \mathbb{Z}$

*in Cases*3

*and*4,

*can be enumerated in such a way that the eigenvalues*${\lambda}_{k}$

*are pure imaginary for*$|k|<{k}_{0}$,

*and*${\lambda}_{-k}=-\overline{{\lambda}_{k}}$

*for*$k\ge {k}_{0}$,

*where*${\lambda}_{k}={\mu}_{k}^{2}$

*and the*${\mu}_{k}$

*have the asymptotic representations*

*and the numbers*${\tau}_{0}$, ${\tau}_{1}$, ${\tau}_{2}$

*are as follows*:

*In particular*, *the number of pure imaginary eigenvalues is even in Cases* 1 *and* 2 *and odd in Cases* 3 *and* 4.

**Remark 5.3** In [14] we have considered the differential equation (2.1) with the same boundary conditions ${B}_{3}$, ${B}_{4}$ at *a* as in this paper but with *λ*-independent boundary conditions at 0, that is, the boundary conditions ${B}_{1}$ also occur in [14]. Whereas in [14] the number of pure imaginary eigenvalues is odd in each case, this number is even in Cases 1 and 2 of this paper. We observe that in Cases 1 and 2, the *λ*-dependent part is the ‘dominating’ part of the boundary condition ${B}_{2}$, in the sense that it has the highest *μ*-power arising as ${\mu}^{2j+k}$ from ${\lambda}^{j}{y}^{[k]}$, whereas in Cases 3 and 4 the *λ*-independent part is dominating. It may be interesting to investigate if, in general, the parity of the number of pure imaginary eigenvalues can be determined by the number of dominating *λ*-dependent parts in the boundary conditions.

We can observe that the functions ${\varphi}_{0}$ in the Cases 3 and 4 are respectively the same as in [14] since the corresponding dominating terms in the boundary conditions coincide. However, the numbers ${\tau}_{1}$ and ${\tau}_{2}$ differ from those of [14] in each case, which is due to the *λ*-term in the boundary condition ${B}_{2}$.

## Declarations

### Acknowledgements

This research was partially supported by a grant from the NRF of South Africa, Grant number 69659. Various of the above calculations have been verified with Sage.

## Authors’ Affiliations

## References

- Kerimov NB, Aliev ZS: Basis properties of a spectral problem with a spectral parameter in the boundary condition (Russian).
*Mat. Sb.*2006, 197(10):65-86. translation in Sb. Math. 197, 1467-1487 (2006) 10.4213/sm1433MathSciNetView Article - Kerimov NB, Aliev ZS: On the basis property of the system of eigenfunctions of a spectral problem with a spectral parameter in the boundary condition (Russian).
*Differ. Uravn.*2007, 43: 886-895. translation in Differ. Equ. 43, 905-915 (2007)MathSciNet - Marletta M, Shkalikov A, Tretter C: Pencils of differential operators containing the eigenvalue parameter in the boundary conditions.
*Proc. R. Soc. Edinb., Sect. A, Math.*2003, 133: 893-917. 10.1017/S0308210500002730MathSciNetView Article - Shkalikov AA: Boundary problems for ordinary differential equations with parameter in the boundary conditions (Russian).
*Tr. Semin. Im. I.G. Petrovskogo*1983, 9: 190-229. translation in J. Sov. Math. 33, 1311-1342 (1986)MathSciNet - Wang A, Sun J, Zettl A: The classification of self-adjoint boundary conditions: separated, coupled, and mixed.
*J. Funct. Anal.*2008, 255: 1554-1573. 10.1016/j.jfa.2008.05.003MathSciNetView Article - Wang A, Sun J, Zettl A: Characterization of domains of self-adjoint ordinary differential operators.
*J. Differ. Equ.*2009, 246: 1600-1622. 10.1016/j.jde.2008.11.001MathSciNetView Article - Möller M, Zettl A: Symmetric differential operators and their Friedrichs extension.
*J. Differ. Equ.*1995, 115: 50-69. 10.1006/jdeq.1995.1003View Article - Weidmann J Lect. Notes Math. 1258. In
*Spectral Theory of Ordinary Differential Operators*. Springer, Berlin; 1987. - Behncke H: Spectral analysis of fourth order differential operators. I.
*Math. Nachr.*2006, 279: 58-72. 10.1002/mana.200310345MathSciNetView Article - Behncke H: Spectral analysis of fourth order differential operators. II.
*Math. Nachr.*2006, 279: 73-85. 10.1002/mana.200310346MathSciNetView Article - Pivovarchik V, van der Mee C: The inverse generalized Regge problem.
*Inverse Probl.*2001, 17: 1831-1845. 10.1088/0266-5611/17/6/318MathSciNetView Article - Möller M, Pivovarchik V: Spectral properties of a fourth order differential equation.
*J. Anal. Appl.*2006, 25: 341-366. - Möller M, Zinsou B: Self-adjoint fourth order differential operators with eigenvalue parameter dependent boundary conditions.
*Quaest. Math.*2011, 34: 393-406. doi:10.2989/16073606.2011.622913 10.2989/16073606.2011.622913MathSciNetView Article - Möller M, Zinsou B: Spectral asymptotics of self-adjoint fourth order differential operators with eigenvalue parameter dependent boundary conditions.
*Complex Anal. Oper. Theory*2012, 6: 799-818. doi:10.1007/s11785-011-0162-1 10.1007/s11785-011-0162-1MathSciNetView Article - Mennicken R, Möller M North-Holland Mathematics Studies 192. In
*Non-self Adjoint Boundary Eigenvalue Problems*. Elsevier, Amsterdam; 2003.

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.