Skip to content

Advertisement

Open Access

Principal vectors of second-order quantum difference equations with boundary conditions dependent on spectral parameter

Advances in Difference Equations20152015:249

https://doi.org/10.1186/s13662-015-0587-3

Received: 7 May 2015

Accepted: 24 July 2015

Published: 12 August 2015

Abstract

Spectral analysis of a boundary value problem (BVP) consisting of a second-order quantum difference equation and boundary conditions depending on an eigenvalue parameter with spectral singularities was first studied by Aygar and Bohner (Appl. Math. Inf. Sci. 9(4):1725-1729, 2015). The main goal of this paper is to construct the principal vectors corresponding to the eigenvalues and the spectral singularities of this BVP. These vectors are important to get the spectral expansion formula for this BVP.

Keywords

Hilbert SpaceBoundary Value ProblemFinite NumberGreen FunctionNonnegative Integer

1 Introduction

Many areas including mathematical physics, engineering, economics, and quantum mechanics need the spectrum of differential and discrete operators to solve some problems. Therefore, many authors have investigated the spectral analysis of differential and discrete operators [110]. Because of the developments in quantum calculus, quantum difference equations became a popular topic for mathematicians. In addition to differential and discrete equations, the spectral theory of quantum difference equations has been treated in the last decade [1113]. Hereafter, we let \(q>1\) and use the notation \(q^{{\mathbb{N}}_{0}}:= \{q^{n}:n\in{\mathbb {N}}_{0} \}\), where \({\mathbb{N}}_{0}\) denotes the set of nonnegative integers. Let us consider the BVP consisting of the second-order q-difference equation
$$qa(t)y(qt)+b(t)y(t)+a \biggl(\frac{t}{q} \biggr)y \biggl(\frac {t}{q} \biggr)=\lambda y(t), \quad t\in q^{{\mathbb{N}}}, $$
and the boundary conditions
$$(\gamma_{0}+\gamma_{1}\lambda)y(q)+(\beta_{0}+ \beta_{1}\lambda )y(1)=0,\qquad \gamma_{0} \beta_{1}-\gamma_{1}\beta_{0}\neq0,\qquad \gamma_{1}\neq\frac{\beta_{0}}{a(1)}, $$
where \(\{a(t)\}_{t\in q^{{\mathbb{N}}_{0}}}\) and \(\{b(t)\}_{t\in q^{{\mathbb{N}}}}\) are complex sequences, λ is a spectral parameter, \(a(t)\neq0\) for all \(t\in q^{{\mathbb{N}}_{0}}\) and \(\gamma _{i},\beta_{i}\in{\mathbb{C}}\), \(i=0,1\). We will introduce the Hilbert space of complex-valued functions satisfying \(\langle f,f\rangle_{q}<\infty\), with respect to the inner product
$$\langle f,g\rangle_{q}:=\sum_{t\in q^{{\mathbb{N}}}}\mu (t)f(t)\overline{g(t)},\quad f,g:q^{{\mathbb{N}}}\to{\mathbb{C}}, $$
by \(\ell_{2}(q^{{\mathbb{N}}})\), where \(\mu(t)=(q-1)t\) for all \(t\in q^{{\mathbb{N}}}\). Furthermore, we will denote the q-difference operator generated in \(\ell_{2}(q^{{\mathbb{N}}})\) by q-difference expression
$$ (ly) (t):=qa(t)y(qt)+b(t)y(t)+a \biggl(\frac{t}{q} \biggr)y \biggl(\frac {t}{q} \biggr), \quad t\in q^{{\mathbb{N}}}, $$
(1.1)
with the boundary conditions
$$ (\gamma_{0}+\gamma_{1}\lambda)y(q)+( \beta_{0}+\beta_{1}\lambda )y(1)=0, \qquad \gamma_{0}\beta_{1}-\gamma_{1} \beta_{0}\neq0,\qquad \gamma_{1}\neq\frac{\beta_{0}}{a(1)}, $$
(1.2)
by L. In [11], it is proved that the operator L has a finite number of eigenvalues and spectral singularities with finite multiplicities under the condition
$$ \sup_{t\in q^{{\mathbb{N}}}} \biggl\{ \exp \biggl[\varepsilon \biggl( \frac{\ln t}{\ln q} \biggr)^{\delta} \biggr] \bigl(\bigl\vert 1-a(t)\bigr\vert +\bigl\vert b(t)\bigr\vert \bigr) \biggr\} < \infty, \quad \varepsilon>0, \frac{1}{2}\leq\delta\leq1. $$
(1.3)
The set up of this paper which is an extension of [11], settled as follows: Section 2 is about the results which are proved in [11] and will be used in next section. In Section 3, we obtain principal vectors corresponding to eigenvalues and spectral singularities of L, and give some properties of them. This paper will be valuable for readers because principal vectors that we obtained corresponding to the eigenvalues and spectral singularities are important to find the spectral expansion of the operator L. It is also important to investigate the effects of spectral singularities to this expansion of L.

2 Properties of eigenvalues and spectral singularities of L

Assume (1.3), then the equation \((ly)(t):=\lambda y(t)\), \(t\in q^{{\mathbb{N}}}\) has the solution
$$ e(t,z)=\alpha(t)\frac{e^{i\frac{\ln t}{\ln q}z}}{\sqrt{\mu (t)}} \biggl(1+\sum _{r\in q^{{\mathbb{N}}}}A(t,r)e^{i\frac{\ln r}{\ln q}z} \biggr), \quad t\in q^{{\mathbb{N}}_{0}} $$
(2.1)
for \(\lambda=2\sqrt{q}\cos z\) and \(z\in\overline{{\mathbb {C}}}_{+}:=\{z\in{\mathbb{C}}:\operatorname{Im}\geq0\}\), where \(\alpha(t)\) and \(A(t,r)\) are expressed in terms of \(\{a(t)\}\) and \(\{b(t)\}\) as
$$\begin{aligned}& \alpha(t)=\prod_{{s\in[t,\infty)\cap q^{{\mathbb{N}}}}} \bigl[a(s) \bigr]^{-1}, \qquad A(t,q)=-\frac{1}{\sqrt{q}}\sum _{s\in[qt,\infty)\cap q^{{\mathbb {N}}}}b(s), \\& A\bigl(t,q^{2}\bigr)=\sum_{s\in[qt,\infty)\cap q^{{\mathbb{N}}}} \biggl\{ 1-a^{2}(s) +\frac{b(s)}{q}\sum_{p\in[qs,\infty)\cap q^{{\mathbb {N}}}}b(s) \biggr\} , \\& A\bigl(t,rq^{2}\bigr)=A(qt,r)+\sum_{s\in[qt,\infty)\cap q^{{\mathbb{N}}}} \biggl\{ \bigl(1-a^{2}(s)\bigr)A(q s,r)-\frac{b(s)}{\sqrt{q}}A(s,q r) \biggr\} \end{aligned}$$
(2.2)
for \(r\in q^{{\mathbb{N}}}\) and \(t\in q^{{\mathbb{N}}_{0}}\). Moreover, \(A(t,r)\) satisfies
$$ \bigl\vert A(t,r)\bigr\vert \leq C\sum _{s\in [tq^{\lfloor\frac{\ln r}{2\ln q}\rfloor},\infty )\cap q^{{\mathbb{N}}}} \bigl(\bigl\vert 1-a(s)\bigr\vert +\bigl\vert b(s) \bigr\vert \bigr), $$
(2.3)
where \(\lfloor\frac{\ln r}{2\ln q}\rfloor\) is the integer part of \(\frac{\ln r}{2\ln q}\) and \(C>0\) is a constant. Therefore, \(e(\cdot ,z)\) is analytic with respect to z in \({{\mathbb{C}}}_{+}:=\{z\in {\mathbb{C}}:\operatorname{Im}z>0\}\) and continuous in \(\overline{{\mathbb {C}}}_{+}\). Let us define the function f using (2.1) and the boundary condition (1.2)
$$ f(z)=(\gamma_{0}+2\sqrt{q}\gamma_{1}\cos z)e(q,z)+(\beta_{0}+2\sqrt {q}\beta_{1}\cos z)e(1,z). $$
(2.4)
The function f is analytic in \({{\mathbb{C}}}_{+}\), \(f(z)=f(z+2\pi )\), and continuous in \(\overline{{\mathbb{C}}}_{+}\). If we define semi-strips \(P_{0}=\{z\in{{\mathbb{C}}}_{+}:-\frac{\pi}{2}\leq \operatorname{Re}z\leq\frac{3\pi}{2}\}\) and \(P=P_{0}\cup [-\frac{\pi }{2},\frac{3\pi}{2} ]\) then we get the Green function of L as
$$ G_{t,z}(z):= \textstyle\begin{cases} -\frac{\phi(r,z)e(t,z)}{qa(1)f(z)},& r=tq^{-k}, k\in{{\mathbb{N}}_{0}}, \\ -\frac{e(r,z)\phi(t,z)}{qa(1)f(z)},& r=tq^{k}, k\in{{\mathbb {N}}} \end{cases} $$
for all \(z\in P\) with \(f(z)\neq0\) [11], and from the definition of eigenvalues and spectral singularities [4], we have
$$ \begin{aligned} &\sigma_{d}(L)= \bigl\{ \lambda:\lambda=2 \sqrt{q}\cos z, z\in P_{0}, f(z)=0 \bigr\} \\ &\sigma_{ss}(L)= \biggl\{ \lambda:\lambda=2\sqrt{q}\cos z, z\in \biggl[-\frac{\pi}{2},\frac{3\pi}{2} \biggr], f(z)=0 \biggr\} \big\backslash \{0\}, \end{aligned} $$
(2.5)
where \(\sigma_{d}(L)\) and \(\sigma_{ss}(L)\) denote the set of eigenvalues and spectral singularities of L, respectively. Using (2.1) and (2.4), we obtain
$$\begin{aligned} f(z) =&\alpha(1)\sqrt{\frac{q}{q-1}}\beta_{1}e^{-iz}+ \alpha (q)\frac{\gamma_{1}}{\sqrt{q-1}}+\alpha(1)\frac{\beta_{0}}{\sqrt {q-1}} \\ &{}+ \biggl(\alpha(q)\frac{\gamma_{0}}{\sqrt{q(q-1)}}+\alpha(1)\sqrt {\frac{q}{q-1}} \beta_{1} \biggr)e^{iz} \\ &{}+\alpha(q)\frac{\gamma_{1}}{\sqrt{q-1}}e^{2iz}+\sum _{r\in q^{{\mathbb{N}}}}\alpha(1)\sqrt{\frac{q}{q-1}}\beta _{1}A(1,r)e^{i (\frac{\ln r}{\ln q}-1 )z} \\ &{}+\sum_{r\in q^{{\mathbb{N}}}} \biggl(\alpha(q) \frac{\gamma _{1}}{\sqrt{q-1}}A(q,r)+\alpha(1)\frac{\beta_{0}}{\sqrt {q-1}}A(1,r) \biggr)e^{i\frac{\ln r}{\ln q}z} \\ &{}+\sum_{r\in q^{{\mathbb{N}}}} \biggl(\alpha(q) \frac{\gamma _{0}}{\sqrt{q(q-1)}}A(q,r)+\alpha(1)\sqrt{\frac{q}{q-1}}\beta _{1}A(1,r) \biggr)e^{i (\frac{\ln r}{\ln q}+1 )z} \\ &{}+\sum_{r\in q^{{\mathbb{N}}}}\alpha(q)\frac{\gamma_{1}}{\sqrt {q-1}}A(q,r)e^{i (\frac{\ln r}{\ln q}+2 )z}. \end{aligned}$$
If we define \(F(z):=f(z)e^{iz}\), then the function F is also analytic in \({{\mathbb{C}}}_{+}\) and continuous in \(\overline{{\mathbb {C}}}_{+}\), and \(F(z)=F(z+2\pi)\). It follows from (2.5) and the definition of F that
$$ \begin{aligned} &\sigma_{d}(L)= \bigl\{ \lambda:\lambda=2 \sqrt{q}\cos z, z\in P_{0}, F(z)=0 \bigr\} , \\ &\sigma_{ss}(L)= \biggl\{ \lambda:\lambda=2\sqrt{q}\cos z, z\in \biggl[-\frac{\pi}{2},\frac{3\pi}{2} \biggr], F(z)=0 \biggr\} \big\backslash \{0\}. \end{aligned} $$
(2.6)

Definition 2.1

The multiplicity of a zero of F in P is called the multiplicity of the corresponding eigenvalue or spectral singularity of L.

It was found in [11] that under the condition (1.3), F has a finite number of zeros in P with finite multiplicities, i.e., the operator L has a finite number of eigenvalues and spectral singularities with finite multiplicities.

3 Principal vectors of L

Let us define the functions \(E(t,\lambda):=e(t,\arccos\frac{\lambda }{2\sqrt{q}})\) and \(B(\lambda):=F(\arccos\frac{\lambda}{2\sqrt {q}})\). Using (2.1) and \(\arccos\frac{\lambda}{2\sqrt {q}}=-i\ln (\frac{\lambda+\sqrt{\lambda^{2}-4q}}{2\sqrt {q}} )\), we obtain
$$E(t,\lambda)=\frac{\alpha(t)}{\sqrt{\mu(t)}} \biggl(\frac{\lambda +\sqrt{\lambda^{2}-4q}}{2\sqrt{q}} \biggr)^{\frac{\ln t}{\ln q}} \biggl(1+\sum_{r\in q^{{\mathbb{N}}}}A(t,r) \biggl(\frac{\lambda +\sqrt{\lambda^{2}-4q}}{2\sqrt{q}} \biggr)^{\frac{\ln r}{\ln q}} \biggr). $$
Since \(\lambda=2\sqrt{q}\cos z\) maps \(P_{0}\) to the domain \(\Lambda :={\mathbb{C}}\backslash[-2\sqrt{q},2\sqrt{q}]\), the function \(E(\lambda):=\{E(t,\lambda)\}_{t\in q^{{\mathbb{N}}}}\) is analytic in Λ, and continuous up to the interval \([-2\sqrt{q},2\sqrt {q}]\), under the condition (1.3). From (2.5), we can write
$$\begin{aligned}& \sigma_{d}(L)= \bigl\{ \lambda\in\Lambda: B(\lambda)=0 \bigr\} , \\& \sigma_{ss}(L)= \bigl\{ \lambda\in[-2\sqrt{q},2\sqrt{q}]:B(\lambda )=0 \bigr\} \backslash\{0\}. \end{aligned}$$
The properties of the function F in P, which were obtained in [11], give the following.

Remark 3.1

Under the condition (1.3), the function B has a finite number of zeros in Λ and in \([-2\sqrt{q},2\sqrt{q}]\), and each of them is of finite multiplicity.

Let \(\lambda_{1},\lambda_{2},\ldots,\lambda_{s}\) and \(\lambda _{s+1},\lambda_{s+2},\ldots,\lambda_{\nu}\) denote the zeros of B in Λ (which are eigenvalues of L), and in \([-2\sqrt {q},2\sqrt{q}]\) (which are spectral singularities of L) with multiplicities \(m_{1},m_{2},\ldots,m_{s}\) and \(m_{s+1},m_{s+2},\ldots ,m_{\nu}\), respectively.

Definition 3.2

Let \(\lambda_{0}\) be an eigenvalue of L. If the vectors \(y^{(k)}=\{ y^{(k)}(t)\}_{t\in q^{{\mathbb{N}}}}\) for \(k=1,2,\ldots,n\) satisfy
$$ \textstyle\begin{cases} (ly^{(0)})(t)-\lambda_{0}y^{(0)}(t)=0, \\ (ly^{(k)})(t)-\lambda_{0}y^{(k)}(t)-y^{(k-1)}(t)=0,\quad k=1,2,\ldots ,n; n\in q^{{\mathbb{N}}},& \end{cases} $$
(3.1)
then the vector \(y^{(0)}\) is called the eigenvector corresponding to the eigenvalue \(\lambda_{0}\) of L. The vectors \(y^{(1)},y^{(2)},\ldots,y^{(n)}\) are called the associated vectors corresponding to \(\lambda=\lambda_{0}\). The eigenvector and the associated vectors corresponding to \(\lambda_{0}\) are called the principal vectors of the eigenvalue \(\lambda=\lambda_{0}\). The principal vectors of the spectral singularities of L are defined similarly.
Now, we define the vectors for \(\lambda=2\sqrt{q}\cos z\), \(z\in P\),
$$ V^{(k)}(t,\lambda_{j})=\frac{1}{k!} \biggl\{ \frac{\mathrm{d}^{k}}{ {\mathrm{d}\lambda^{k}}}E(t,\lambda) \biggr\} _{\lambda=\lambda_{j}},\quad k=0,1, \ldots,m_{j}-1; j=1,2,\ldots,s $$
and
$$ V^{(k)}(t,\lambda_{j})=\frac{1}{k!} \biggl\{ \frac{\mathrm{d}^{k}}{{\mathrm {d}\lambda^{k}}}E(t,\lambda) \biggr\} _{\lambda=\lambda_{j}},\quad k=0,1, \ldots,m_{j}-1; j=s+1,s+2,\ldots,\nu. $$
Furthermore, if \(y(\lambda)=\{y(t,\lambda)\}_{t\in q^{{\mathbb{N}}}}\) is a solution \((ly)(t)=\lambda y(t)\), then we get
$$\begin{aligned}& qa(t)\frac{\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}y(qt,\lambda)+b(t)\frac {\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}y(t, \lambda)+a \biggl(\frac {t}{q} \biggr)\frac{\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}y \biggl( \frac {t}{q},\lambda \biggr) \\& \quad =k\frac{\mathrm{d}^{k-1}}{{\mathrm{d}\lambda^{k-1}}}y(t,\lambda)+\lambda \frac{\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}y(t,\lambda). \end{aligned}$$
(3.2)
Using (3.1) and (3.2), we have, for \(k=0,1,\ldots ,m_{j}-1\) and \(j=1,2,\ldots,\nu\),
$$ \textstyle\begin{cases} (lV^{(0)}(\lambda_{j}))(t)-\lambda_{j}V^{(0)}(\lambda _{j})(t)=0, \\ (lV^{(k)}(\lambda_{j}))(t)-\lambda_{j}V^{(k)}(\lambda _{j})(t)-V^{(k-1)}(\lambda_{j})(t)=0. \end{cases} $$
(3.3)
So, the vectors \(V^{(k)}(t,\lambda_{j})\), \(k=0,1,\ldots,m_{j}-1\); \(j=1,2,\ldots,s\), and \(V^{(k)}(t,\lambda_{j})\), \(k=0,1,\ldots ,m_{j}-1\); \(j=s+1,s+2,\ldots,\nu\) are the principal vectors of eigenvalues and spectral singularities of L, respectively.

Theorem 3.3

Under the condition (1.3), \(V^{(k)}(t,\lambda_{j})\in\ell _{2}(q^{{\mathbb{N}}})\) for \(k=0,1,\ldots,m_{j}-1\); \(j=1,2,\ldots,s\), but \(V^{(k)}(t,\lambda_{j}) \notin\ell _{2}(q^{{\mathbb{N}}})\) for \(k=0,1,\ldots,m_{j}-1\); \(j=s+1,s+2,\ldots,\nu\).

Proof

By using \(E(t,\lambda)=e(t,\arccos\frac{\lambda}{2\sqrt{q}})\), we find
$$ \biggl\{ \frac{\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}E(t,\lambda) \biggr\} _{\lambda=\lambda_{j}}= \sum^{k}_{m=0}C_{m} \biggl\{ \frac{\mathrm {d}^{m}}{{\mathrm{d}\lambda^{m}}}e(t,z) \biggr\} _{z=z_{j}}, $$
(3.4)
where \(\lambda_{j}=2\sqrt{q}\cos z_{j}\), \(z_{j}\in P\), \(j=1,2,\ldots ,\nu\), and \(C_{m}\) is a constant depending on \(\lambda_{j}\). From (2.1), we get
$$ \biggl\{ \frac{\mathrm{d}^{m}}{{\mathrm{d}\lambda^{m}}}e(t,z) \biggr\} _{z=z_{j}}= \frac{\alpha(t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl\{ \biggl(i\frac{\ln t}{\ln q} \biggr)^{m}+\sum_{r\in q^{{\mathbb{N}}}} \biggl(i \frac{\ln(tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}} \biggr\} $$
(3.5)
for all \(t\in q^{{\mathbb{N}}}\) and \(j=1,2,\ldots,\nu\). For the principal vectors \(V^{(k)}(t,\lambda_{j})\), \(k=0,1,\ldots,m_{j}-1\); \(j=1,2,\ldots,s\), corresponding to the eigenvalues \(\lambda _{j}=2\sqrt{q}\cos z_{j}\) of L, we obtain
$$\biggl\{ \frac{\mathrm{d}^{k}}{{\mathrm{d}\lambda^{k}}}E(t,\lambda) \biggr\} _{\lambda=\lambda_{j}}=\sum ^{k}_{m=0}C_{m}\frac{\alpha(t)}{\sqrt {\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl\{ \biggl(i\frac{\ln t}{\ln q} \biggr)^{m}+\sum _{r\in q^{{\mathbb{N}}}} \biggl(i\frac{\ln (tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}} \biggr\} ; $$
then
$$ V^{(k)}(t,\lambda_{j})=\frac{1}{k!}\sum ^{k}_{m=0}C_{m} \frac{\alpha (t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl\{ \biggl(i\frac{\ln t}{\ln q} \biggr)^{m}+\sum_{r\in q^{{\mathbb{N}}}} \biggl(i \frac{\ln(tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}} \biggr\} $$
(3.6)
for \(k=0,1,\ldots,m_{j}-1\) and \(j=1,2,\ldots,s\). Now define the functions
$$g_{1}(t,z):=\frac{1}{k!}\sum^{k}_{m=0}C_{m} \frac{\alpha(t)}{\sqrt {\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl(i\frac{\ln t}{\ln q} \biggr)^{m} $$
and
$$ g_{2}(t,z):=\frac{1}{k!}\sum ^{k}_{m=0}C_{m}\frac{\alpha(t)}{\sqrt {\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \sum_{r\in q^{{\mathbb {N}}}} \biggl(i\frac{\ln (tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}} $$
(3.7)
for \(j=1,2,\ldots,s\). Since \(\operatorname{Im}z_{j}>0\) for the eigenvalues \(\lambda _{j}=2\sqrt{q}\cos z_{j}\), \(j=1,2,\ldots,s\) of L, we get
$$\begin{aligned} \sum_{t\in q^{{\mathbb{N}}}}\mu(t)\bigl\vert g_{1}(t,z)\bigr\vert ^{2} \leq & \frac{1}{(k!)^{2}} \Biggl\{ \sum_{t\in q^{{\mathbb {N}}}}\sum ^{k}_{m=0}|C_{m}|\bigl\vert \alpha(t) \bigr\vert e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}} \biggl(\frac{\ln t}{\ln q} \biggr)^{m} \Biggr\} ^{2} \\ \leq& H \biggl\{ \sum_{t\in q^{{\mathbb{N}}}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}} \biggl[1+\frac{\ln t}{\ln q}+\cdots+ \biggl(\frac{\ln t}{\ln q} \biggr)^{k} \biggr] \biggr\} ^{2} \\ \leq& H(k+1)^{2} \biggl[\sum_{t\in q^{{\mathbb{N}}}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}} \biggl(\frac{\ln t}{\ln q} \biggr)^{k} \biggr]^{2}< \infty, \end{aligned}$$
(3.8)
where H is a constant. Using (3.7), we also have
$$\begin{aligned} \bigl\vert g_{2}(t,z)\bigr\vert \leq& \sum ^{k}_{m=0}\frac{|C_{m}||\alpha (t)|}{\sqrt{\mu(t)}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}\sum _{r\in q^{{\mathbb{N}}}}\biggl\vert \frac{\ln (t r)}{\ln q}\biggr\vert ^{m}\bigl\vert A(t,r)\bigr\vert e^{-\frac{\ln r}{\ln q}\operatorname{Im}z_{j}} \\ \leq&|C_{0}|\frac{|\alpha(t)|}{\sqrt{\mu(t)}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}\sum _{r\in q^{{\mathbb{N}}}}\bigl\vert A(t,r)\bigr\vert e^{-\frac{\ln r}{\ln q}\operatorname{Im}z_{j}} \\ &{}+|C_{1}|\frac{|\alpha(t)|}{\sqrt{\mu(t)}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}\sum _{r\in q^{{\mathbb{N}}}}\frac{\ln(t r)}{\ln q}\bigl\vert A(t,r)\bigr\vert e^{-\frac{\ln r}{\ln q}\operatorname{Im}z_{j}} \\ &{}+\cdots+|C_{k}|\frac{|\alpha(t)|}{\sqrt{\mu(t)}}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}\sum _{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln(t r)}{\ln q} \biggr)^{k}\bigl\vert A(t,r)\bigr\vert e^{-\frac{\ln r}{\ln q}\operatorname{Im}z_{j}} \\ \leq&\widetilde{C}e^{-\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}, \end{aligned}$$
where \(\widetilde{C}=\max\{|C_{0}|,|C_{1}|,\ldots,|C_{k}|\}\frac {|\alpha(t)|}{\sqrt{\mu(t)}}\sum_{r\in q^{{\mathbb{N}}}}\sum^{k}_{m=0}|A(t,r)| (\frac{\ln(t r)}{\ln q} )^{k}e^{-\frac {\ln r}{\ln q}\operatorname{Im}z_{j}}\). Then we get, for \(j=1,2,\ldots,s\),
$$ \sum_{t\in q^{{\mathbb{N}}}}\mu(t)\bigl\vert g_{2}(t,z)\bigr\vert ^{2}\leq \sum _{t\in q^{{\mathbb{N}}}}\widetilde{C}^{2}e^{-2\frac{\ln t}{\ln q}\operatorname{Im}z_{j}}< \infty. $$
(3.9)
It follows from (3.8) and (3.9) that
$$V^{(k)}(t,\lambda_{j})\in\ell_{2} \bigl(q^{{\mathbb{N}}}\bigr) $$
for \(k=0,1,\ldots,m_{j}-1\) and \(j=1,2,\ldots,s\). Now, we will use (3.6) for the principal vectors corresponding to the spectral singularities of L for \(\lambda_{j}=2\sqrt{q}\cos z_{j}\) and \(j=s+1,s+2,\ldots,\nu\). Then we have
$$ V^{(k)}(t,\lambda_{j})=\frac{1}{k!}\sum ^{k}_{m=0}C_{m} \frac{\alpha (t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl\{ \biggl(i\frac{\ln t}{\ln q} \biggr)^{m}+\sum_{r\in q^{{\mathbb{N}}}} \biggl(i \frac{\ln(tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}} \biggr\} $$
(3.10)
for \(k=0,1,\ldots,m_{j}-1\) and \(j=s+1,s+2,\ldots,\nu\). Since \(\operatorname{Im}z_{j}=0\) for the spectral singularities \(\lambda_{j}=2\sqrt{q}\cos z_{j}\), \(j=s+1,s+2,\ldots,\nu\) of L, we find that
$$ \frac{1}{k!}\sum_{t\in q^{{\mathbb{N}}}}\mu(t) \Biggl\vert \sum^{k}_{m=0}C_{m} \frac{\alpha(t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \biggl(i\frac{\ln t}{\ln q} \biggr)^{m} \Biggr\vert ^{2}=\infty. $$
(3.11)
If we define the function h as
$$h(t,z):=\sum^{k}_{m=0}\sum _{r\in q^{{\mathbb{N}}}} \biggl(i\frac{\ln (tr)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}}, $$
then using (1.3) and (2.3), we obtain
$$\begin{aligned} \bigl\vert h(t,z)\bigr\vert \leq&\sum^{k}_{m=0} \sum_{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln(t r)}{\ln q} \biggr)^{m}\bigl\vert A(t,r)\bigr\vert \\ \leq&\sum^{k}_{m=0}\sum _{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln (t r)}{\ln q} \biggr)^{m}C\sum _{s\in [tq^{\lfloor\frac{\ln r}{2\ln q}\rfloor},\infty )\cap q^{{\mathbb{N}}}}Q(s) \\ \leq&C\sum^{k}_{m=0}\sum _{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln (t r)}{\ln q} \biggr)^{m}\sum _{s\in [tq^{\lfloor\frac{\ln r}{2\ln q}\rfloor},\infty )\cap q^{{\mathbb{N}}}}\exp \biggl[-\varepsilon \biggl( \frac{\ln s}{\ln q} \biggr)^{\delta} \biggr]\exp \biggl[\varepsilon \biggl( \frac{\ln s}{\ln q} \biggr)^{\delta} \biggr]Q(s) \\ \leq&C\sum^{k}_{m=0}\sum _{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln (t r)}{\ln q} \biggr)^{m}\exp \biggl\{ -\varepsilon \biggl[ \biggl(\frac {\ln t}{\ln q} \biggr)^{\delta}+ \biggl(\frac{\ln r}{\ln q} \biggr)^{\delta} \biggr] \biggr\} P(s) \\ \leq&C_{1}\sum^{k}_{m=0}\sum _{r\in q^{{\mathbb{N}}}} \biggl(\frac {\ln(t r)}{\ln q} \biggr)^{m} \exp \biggl\{ \frac{-\varepsilon }{4} \biggl[ \biggl(\frac{\ln t}{\ln q} \biggr)^{\delta}+ \biggl(\frac {\ln r}{\ln q} \biggr)^{\delta} \biggr] \biggr\} \\ =&C_{1}\exp \biggl[\frac{-\varepsilon}{4} \biggl(\frac{\ln t}{\ln q} \biggr)^{\delta} \biggr]\sum^{k}_{m=0} \sum_{r\in q^{{\mathbb {N}}}} \biggl(\frac{\ln(t r)}{\ln q} \biggr)^{m}\exp \biggl[\frac {-\varepsilon}{4} \biggl(\frac{\ln r}{\ln q} \biggr)^{\delta} \biggr] \\ =&C_{1}\exp \biggl[\frac{-\varepsilon}{4} \biggl(\frac{\ln t}{\ln q} \biggr)^{\delta} \biggr]\sum_{r\in q^{{\mathbb{N}}}}\sum ^{k}_{m=0} \biggl(\frac{\ln(t r)}{\ln q} \biggr)^{m}\exp \biggl[\frac {-\varepsilon}{4} \biggl(\frac{\ln r}{\ln q} \biggr)^{\delta} \biggr] \\ =&D\exp \biggl[\frac{-\varepsilon}{4} \biggl(\frac{\ln t}{\ln q} \biggr)^{\delta} \biggr] \end{aligned}$$
and
$$ \frac{1}{k!}\sum_{t\in q^{{\mathbb{N}}}}\biggl\vert \frac{\alpha (t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}}h(t,z) \biggr\vert ^{2} \mu(t)\leq\frac{1}{k!}\sum_{t\in q^{{\mathbb{N}}}}\alpha ^{2}(t)D^{2}e^{-\frac{\varepsilon}{2} (\frac{\ln t}{\ln q} )^{\delta}}< \infty, $$
(3.12)
where
$$\begin{aligned} \begin{aligned} &Q(s)= \bigl(\bigl\vert 1-a(s)\bigr\vert +\bigl\vert b(s)\bigr\vert \bigr),\qquad P(s)=\sum_{s\in [tq^{\lfloor\frac{\ln r}{2\ln q}\rfloor },\infty )\cap q^{{\mathbb{N}}}}\exp \biggl[\varepsilon \biggl( \frac{\ln s}{\ln q} \biggr)^{\delta} \biggr]Q(s), \\ &D=C_{1}\sum_{r\in q^{{\mathbb{N}}}}\sum ^{k}_{m=0} \biggl(\frac{\ln (t r)}{\ln q} \biggr)^{m}\exp \biggl[\frac{-\varepsilon}{4} \biggl(\frac{\ln r}{\ln q} \biggr)^{\delta} \biggr], \end{aligned} \end{aligned}$$
and \(\frac{1}{2}\leq\delta\leq1\). It follows from (3.10), (3.11), and (3.12) that
$$V^{(k)}(t,\lambda_{j}) \notin\ell_{2} \bigl(q^{{\mathbb{N}}}\bigr) $$
for \(k=0,1,\ldots,m_{j}-1\) and \(j=s+1,s+2,\ldots,\nu\). □
Let us introduce Hilbert spaces,
$$H_{k}\bigl(q^{{\mathbb{N}}}\bigr):=\bigl\{ y={y(t)}_{t\in q^{{\mathbb{N}}}}: \| y\|_{k}< \infty\bigr\} $$
and
$$H_{-k}\bigl(q^{{\mathbb{N}}}\bigr):=\bigl\{ u={u(t)}_{t\in q^{{\mathbb{N}}}}: \| u\|_{-k}< \infty\bigr\} $$
for \(k\in{\mathbb{N}}_{0}\) with the norms
$$\|y\|^{2}_{k}=\sum_{t\in q^{{\mathbb{N}}}}\mu(t) \biggl(1+\frac{\ln t}{\ln q} \biggr)^{2k}\bigl\vert y(t)\bigr\vert ^{2} $$
and
$$\|u\|^{2}_{-k}=\sum_{t\in q^{{\mathbb{N}}}}\mu(t) \biggl(1+\frac{\ln t}{\ln q} \biggr)^{-2k}\bigl\vert u(t)\bigr\vert ^{2}, $$
respectively. It is obvious that \(H_{0}(q^{{\mathbb{N}}})=\ell _{2}(q^{{\mathbb{N}}})\) and
$$H_{k+1}\bigl(q^{{\mathbb{N}}}\bigr)\subsetneqq H_{k} \bigl(q^{{\mathbb {N}}}\bigr)\subsetneqq\ell_{2}\bigl(q^{{\mathbb{N}}} \bigr)\subsetneqq H_{-k}\bigl(q^{{\mathbb{N}}}\bigr)\subsetneqq H_{-(k+1)}\bigl(q^{{\mathbb {N}}}\bigr), \quad k=0,1,2,\ldots. $$

Theorem 3.4

\(V^{(k)}(t,\lambda_{j})\in H_{k+1}(q^{{\mathbb{N}}})\) for \(k=0,1,\ldots,m_{j}-1\) and \(j=s+1,s+2,\ldots,\nu\).

Proof

Using (3.10), we get
$$ \sum_{t\in q^{{\mathbb{N}}}}\mu(t) \biggl(1+\frac{\ln t}{\ln q} \biggr)^{-2(k+1)}\Biggl\vert \frac{1}{k!}\sum ^{k}_{m=0}C_{m}\frac {\alpha(t)}{\sqrt{\mu(t)}} \biggl(i \frac{\ln t}{\ln q} \biggr)^{m}e^{i\frac{\ln t}{\ln q}z_{j}}\Biggr\vert ^{2}< \infty $$
and
$$ \sum_{t\in q^{{\mathbb{N}}}}\mu(t) \biggl(1+\frac{\ln t}{\ln q} \biggr)^{-2(k+1)}\Biggl\vert \frac{1}{k!}\sum ^{k}_{m=0}C_{m}\frac {\alpha(t)}{\sqrt{\mu(t)}}e^{i\frac{\ln t}{\ln q}z_{j}} \sum_{r\in q^{{\mathbb{N}}}} \biggl(\frac{\ln(t r)}{\ln q} \biggr)^{m}A(t,r)e^{i\frac{\ln r}{\ln q}z_{j}}\Biggr\vert ^{2}< \infty $$
for \(k=0,1,\ldots,m_{j}-1\) and \(j=s+1,s+2,\ldots,\nu\). This completes the proof. □

Let us choose \(m_{0}=\max\{m_{s+1},m_{s+2},\ldots,m_{\nu}\}\). Now, we can give the following theorem as a result of Theorem 3.4.

Theorem 3.5

\(V^{(k)}(t,\lambda_{j})\in H_{m_{0}}(q^{{\mathbb{N}}})\) for \(k=0,1,\ldots,m_{j}-1\) and \(j=s+1,s+2,\ldots,\nu\).

Declarations

Acknowledgements

The author thanks all referees for their careful reading of the manuscript and for many valuable suggestions.

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)
Department of Mathematics, Faculty of Science, University of Ankara, Ankara, Turkey

References

  1. Bairamov, E, Çakar, Ö, Çelebi, AO: Quadratic pencil of Schrödinger operators with spectral singularities: discrete spectrum and principal functions. J. Math. Anal. Appl. 216(1), 303-320 (1997) MathSciNetView ArticleMATHGoogle Scholar
  2. Agarwal, RP, Wong, PJY: Advanced Topics in Difference Equations. Mathematics and Its Applications, vol. 404. Kluwer Academic, Dordrecht (1997) View ArticleMATHGoogle Scholar
  3. Glazman, IM: Direct Methods of Qualitative Spectral Analysis of Singular Differential Operators. Translated from the Russian by the IPST staff (1966) MATHGoogle Scholar
  4. Naĭmark, MA: Linear Differential Operators. Part II: Linear Differential Operators in Hilbert Space. With additional material by the author, and a supplement by VÈ Ljance. Translated from the Russian by ER Dawson. English translation edited by WN Everitt. Ungar, New York (1968) MATHGoogle Scholar
  5. Adıvar, M, Bairamov, E: Spectral properties of non-selfadjoint difference operators. J. Math. Anal. Appl. 261(2), 461-478 (2001) MathSciNetView ArticleMATHGoogle Scholar
  6. Coskun, C, Olgun, M: Principal functions of non-selfadjoint matrix Sturm-Liouville equations. J. Comput. Appl. Math. 235(16), 4834-4838 (2011) MathSciNetView ArticleMATHGoogle Scholar
  7. Lyance, VE: A differential operator with spectral singularities I, II. Transl. Am. Math. Soc. 60(2), 185-225, 227-283 (1967) Google Scholar
  8. Aygar, Y, Bairamov, E: Jost solution and the spectral properties of the matrix-valued difference operators. Appl. Math. Comput. 218(19), 9676-9681 (2012) MathSciNetView ArticleGoogle Scholar
  9. Bairamov, E, Aygar, Y, Olgun, M: Jost solution and the spectrum of the discrete Dirac systems. Bound. Value Probl. 2010, Article ID 306571 (2010) MathSciNetView ArticleGoogle Scholar
  10. Aygar, Y, Olgun, M, Koprubasi, T: Principal functions of nonselfadjoint discrete Dirac equations with spectral parameter in boundary conditions. Abstr. Appl. Anal. 2012, Article ID 924628 (2012) MathSciNetView ArticleMATHGoogle Scholar
  11. Aygar, Y, Bohner, M: On the spectrum of eigenparameter-dependent quantum difference equations. Appl. Math. Inf. Sci. 9(4), 1725-1729 (2015) MathSciNetGoogle Scholar
  12. Adıvar, M, Bohner, M: Spectral analysis of q-difference equations with spectral singularities. Math. Comput. Model. 43(7-8), 695-703 (2006) View ArticleMATHGoogle Scholar
  13. Adıvar, M, Bohner, M: Spectrum and principal vectors of second order q-difference equations. Indian J. Math. 48(1), 17-33 (2006) MathSciNetGoogle Scholar

Copyright

© Aygar 2015

Advertisement