 Research Article
 Open Access
 Published:
Transformations of Difference Equations II
Advances in Difference Equations volume 2010, Article number: 623508 (2010)
Abstract
This is an extension of the work done by Currie and Love (2010) where we studied the effect of applying two Crumtype transformations to a weighted secondorder difference equation with noneigenparameterdependent boundary conditions at the end points. In particular, we now consider boundary conditions which depend affinely on the eigenparameter together with various combinations of Dirichlet and nonDirichlet boundary conditions. The spectra of the resulting transformed boundary value problems are then compared to the spectra of the original boundary value problems.
1. Introduction
This paper continues the work done in [1], where we considered a weighted secondorder difference equation of the following form:
with representing a weight function and a potential function.
This paper is structured as follows.
The relevant results from [1], which will be used throughout the remainder of this paper, are briefly recapped in Section 2.
In Section 3, we show how nonDirichlet boundary conditions transform to affine dependent boundary conditions. In addition, we provide conditions which ensure that the linear function (in ) in the affine dependent boundary conditions is a Nevanlinna or Herglotz function.
Section 4 gives a comparison of the spectra of all possible combinations of Dirichlet and nonDirichlet boundary value problems with their transformed counterparts. It is shown that transforming the boundary value problem given by (2.2) with any one of the four combinations of Dirichlet and nonDirichlet boundary conditions at the end points using (3.1) results in a boundary value problem with one extra eigenvalue in each case. This is done by considering the degree of the characteristic polynomial for each boundary value problem.
It is shown, in Section 5, that we can transform affine dependent boundary conditions back to nonDirichlet type boundary conditions. In particular, we can transform back to the original boundary value problem.
To conclude, we outline briefly how the process given in the sections above can be reversed.
2. Preliminaries
Consider the secondorder difference equation (1.1) for with boundary conditions
where and are constants, see [2]. Without loss of generality, by a shift of the spectrum, we may assume that the least eigenvalue, , of (1.1), (2.1) is .
We recall the following important results from [1]. The mapping defined for by , where is the eigenfunction of (1.1), (2.1) corresponding to the eigenvalue , produces the following transformed equation:
where
Moreover, obeying the boundary conditions (2.1) transforms to obeying the Dirichlet boundary conditions as follows:
Applying the mapping given by for , where is a solution of (2.2) with , where is less than the least eigenvalue of (2.2), (2.4), such that for all , results in the following transformed equation:
where, for ,
Here, we take , thus is defined for .
In addition, obeying the Dirichlet boundary conditions (2.4) transforms to obeying the nonDirichlet boundary conditions as follows:
where
3. NonDirichlet to Affine
In this section, we show how obeying the nonDirichlet boundary conditions (3.2), (3.13) transforms under the following mapping:
to give obeying boundary conditions which depend affinely on the eigenparamter . We provide constraints which ensure that the form of these affine dependent boundary conditions is a Nevanlinna/Herglotz function.
Theorem 3.1.
Under the transformation (3.1), obeying the boundary conditions
for , transforms to obeying the boundary conditions
where , and . Here, and is a solution of (2.2) for , where is less than the least eigenvalue of (2.2), (3.2), and (3.13) such that for .
Proof.
The values of for which exists are . So to impose a boundary condition at , we need to extend the domain of to include . We do this by forcing the boundary condition (3.3) and must now show that the equation is satisfied on the extended domain.
Evaluating (2.5) at for and using (3.3) gives the following:
Also from (3.1) for and , we obtain the following:
Substituting (3.2) into the above equation yields
Thus, (3.4) becomes
This may be slightly rewritten as follows
Also from (2.2), with , together with (3.2), we have the following:
Subtracting (3.9) from (3.8) and using the fact that results in
Equating coefficients of on both sides gives the following:
and equating coefficients of on both sides gives the following:
where , and recall .
Note that for , this corresponds to the results in [1] for .
Theorem 3.2.
Under the transformation (3.1), satisfying the boundary conditions
for , transforms to obeying the boundary conditions
where , , and . Here, is a solution to (2.2) for , where is less than the least eigenvalue of (2.2), (3.2), and (3.13) such that in the given interval, .
Proof.
Evaluating (3.1) at and gives the following:
By considering satisfying (2.2) at , we obtain that
Substituting (3.17) into (3.16) gives the following:
Now using (3.13) together with (3.15) yields
which in turn, by substituting into (3.13), gives the following:
Thus, by putting (3.19) and (3.20) into (3.18), we obtain
The equation above may be rewritten as follows:
Now, since is a solution to (2.2) for , we have that
Substituting (3.23) into (3.22) gives the following:
Setting yields
Hence,
which is of the form (3.14), where , , and .
Note that if we require that in (3.3) be a Nevanlinna or Herglotz function, then we must have that . This condition provides constraints on the allowable values of .
Remark 3.3.
In Theorems 3.1 and 3.2, we have taken to be a solution of (2.2) for with less than the least eigenvalue of (2.2), (3.2), and (3.13) such that in . We assume that does not obey the boundary conditions (3.2) and (3.13) which is sufficient for the results which we wish to obtain in this paper. However, this case will be dealt with in detail in a subsequent paper.
Theorem 3.4.
If where is a solution to (2.2) for with less than the least eigenvalue of (2.2), (3.2), and (3.13) and in the given interval , then the values of which ensure that in (3.3), that is, which ensure that in (3.3) is a Nevanlinna function are
Proof.
From Theorem 3.1, we have that
Assume that , then to ensure that we require that either and or and . For the first case, since , we get and . For the second case, we obtain and , which is not possible. Thus, allowable values of for are
Since If , then we must have that either and or and . The first case of is not possible since and , , which implies that in particular for . For the second case, we get and which is not possible. Thus for , there are no allowable values of .
Also, if we require that from (3.14) be a Nevanlinna/Herglotz function, then we must have . This provides conditions on the allowable values of .
Corollary 3.5.
If where is a solution to (2.2) for with less than the least eigenvalue of (2.2), (3.2), and (3.13), and in the given interval , then
Proof.
Without loss of generality, we may shift the spectrum of (2.2) with boundary conditions (3.2), (3.13), such that the least eigenvalue of (2.2) with boundary conditions (3.2), (3.13) is strictly greater than , and thus we may assume that .
Since , we consider the two cases, and .
Assume that , then the numerator of is strictly positive. Thus, to ensure that the denominator must be strictly positive, that is, . So either and or and . Since , we have that either and or and . Thus, if , that is, , we get
and if , that is, , we get
Now if , then the numerator of is strictly negative. Thus, in order that , we require that the denominator is strictly negative, that is, . So either and or and . As , we obtain that either and or and . These are the same conditions as we had on for . Thus, the sign of does not play a role in finding the allowable values of which ensure that , and hence we have the required result.
4. Comparison of the Spectra
In this section, we see how the transformation, (3.1), affects the spectrum of the difference equation with various boundary conditions imposed at the initial and terminal points.
By combining the results of [1, conclusion] with Theorems 3.1 and 3.2, we have proved the following result.
Theorem 4.1.
Assume that satisfies (2.2). Consider the following four sets of boundary conditions:
The transformation (3.1), where is a solution to (2.2) for , where is less than the least eigenvalue of (2.2) with one of the four sets of boundary conditions above, such that in the given interval , takes obeying (2.2) to obeying (2.5).
In addition,

(i)
obeying (4.1) transforms to obeying
(4.5)where and
(4.6)where with .

(ii)
obeying (4.2) transforms to obeying (4.5) and (3.14).

(iii)
obeying(4.3) transforms to obeying (3.3) and (4.6).

(iv)
obeying (4.4) transforms to obeying (3.3) and (3.14).
The next theorem, shows that the boundary value problem given by obeying (2.2) together with any one of the four types of boundary conditions in the above theorem has eigenvalues as a result of the eigencondition being the solution of an th order polynomial in . It should be noted that if the boundary value problem considered is selfadjoint, then the eigenvalues are real, otherwise the complex eigenvalues will occur as conjugate pairs.
Theorem 4.2.
The boundary value problem given by obeying (2.2) together with any one of the four types of boundary conditions given by (4.1) to (4.4) has eigenvalues.
Proof.
Since obeys (2.2), we have that, for ,
So setting , in (4.7), gives the following:
For the boundary conditions (4.1) and (4.2), we have that giving
where and are real constants, that is, a first order polynomial in .
Also in (4.7) gives that
Substituting in for , from above, we obtain
where again are real constants, that is, a quadratic polynomial in .
Thus, by an easy induction, we have that
where , and , are real constants, that is, an th and an th order polynomial in , respectively.
Now, (4.1) gives , that is,
So our eigencondition is given by
which is an th order polynomial in and, therefore, has roots. Hence, the boundary value problem given by obeying (2.2) with (4.1) has eigenvalues.
Next, (4.2) gives , so
from which we obtain the following eigencondition:
This is again an th order polynomial in and therefore has roots. Hence, the boundary value problem given by obeying (2.2) with (4.2) has eigenvalues.
Now for the boundary conditions (4.3) and (4.4), we have that , thus (4.8) becomes
where and are real constants, that is, a first order polynomial in .
Using and from above, we can show that can be written as the following:
where again , are real constants, that is, a quadratic polynomial in .
Thus, by induction,
where , and , are real constants, thereby giving an th and an th order polynomial in , respectively.
Now, (4.3) gives , that is,
So our eigencondition is given by
which is an th order polynomial in and, therefore, has roots. Hence, the boundary value problem given by obeying (2.2) with (4.3) has eigenvalues.
Lastly, (4.4) gives , that is,
from which we obtain the following eigencondition:
This is again an th order polynomial in and therefore has roots. Hence, the boundary value problem given by obeying (2.2) with (4.4) has eigenvalues.
In a similar manner, we now prove that the transformed boundary value problems given in Theorem 4.1 have eigenvalues, that is, the spectrum increases by one in each case.
Theorem 4.3.
The boundary value problem given by obeying (2.5), , together with any one of the four types of transformed boundary conditions given in (i) to (iv) in Theorem 4.1 has eigenvalues. The additional eigenvalue is precisely with corresponding eigenfunction , as given in Theorem 4.1.
Proof.
The proof is along the same lines as that of Theorem 4.2. By Theorem 3.1, we have extended , such that exists for .
Since obeys (2.5), we have that, for ,
For the transformed boundary conditions in (i) and (ii) of Theorem 4.1, we have that (4.5) is obeyed, and as in Theorem 4.2, we can inductively show that
and also by [1], we can extend the domain of to include if necessary by forcing (4.6) and then
where , , , , and , are real constants, that is, an th, th, and th order polynomial in , respectively.
Now for (i), the boundary condition (4.6) gives the following:
Therefore, the eigencondition is
which is an th order polynomial in and thus has roots. Hence, the boundary value problem given by obeying (2.5) with transformed boundary conditions (i), that is, (4.5) and (4.6), has eigenvalues.
Also, for (ii), from the boundary condition (3.14), we get
Therefore, the eigencondition is
which is an th order polynomial in and thus has roots. Hence, the boundary value problem given by obeying (2.5) with transformed boundary conditions (ii), that is, (4.5) and (3.14), has eigenvalues.
Putting in (4.24), we get
For the boundary conditions in (iii) and (iv), we have that (3.3) is obeyed, thus,
where , , and are real constants.
Putting in (4.24), we get
which, by using (3.3) and , can be rewritten as follows:
where , , , , and are real constants.
Thus, inductively we obtain
Also, by [1], we can again extend the domain of to include , if needed, by forcing (4.6), thus,
where all the coefficients of are real constants.
The transformed boundary conditions (iii) mean that (4.6) is obeyed, thus, our eigencondition is
which is an th order polynomial in and thus has roots. Hence, the boundary value problem given by obeying (2.5) with transformed boundary conditions (iii), that is, (3.3) and (4.6), has eigenvalues.
Also, the transformed boundary conditions in (iv) give (3.14) which produces the following eigencondition:
which is an th order polynomial in and thus has roots. Hence, the boundary value problem given by obeying (2.5) with transformed boundary conditions (iv), that is, (3.3) and (3.14), has eigenvalues.
Lastly, we have that (3.1) transforms eigenfunctions of any of the boundary value problems in Theorem 4.2 to eigenfunctions of the corresponding transformed boundary value problem, see Theorem 4.2. In particular, if are the eigenvalues of the original boundary value problem with corresponding eigenfunctions , then are eigenfunctions of the corresponding transformed boundary value problem with eigenvalues . Since we know that the transformed boundary value problem has eigenvalues, it follows that constitute all the eigenvalues of the transformed boundary value problem, see [1].
5. Affine to NonDirichlet
In this section, we now show that the process in Section 3 may be reversed. In particular, by applying the following mapping:
we can transform obeying affine dependent boundary conditions to obeying nonDirichlet boundary conditions.
Theorem 5.1.
Consider the boundary value problem given by satisfying (2.5) with the following boundary conditions:
The transformation (5.1), for , where is an eigenfunction of (2.5), (5.2), and (5.3) corresponding to the eigenvalue , yields the following equation:
where, for ,
In addition, obeying (5.2) and (5.3) transforms to obeying the nonDirichlet boundary conditions
where and .
Proof.
The fact that , obeying (2.5), transforms to , obeying (5.4), was covered in [1, conclusion]. Now, is defined for and is extended to by (5.2). Thus, is defined for giving that (5.4) is valid for . For and , (5.1) gives the following:
Setting in (2.5) gives the following:
which by using (5.2) becomes
Since is an eigenfunction of (2.5), (5.2), and (5.3) corresponding to the eigenvalue , we have that
and hence
Substituting (5.11) and (5.13) into (5.8) and using (5.2), we obtain
Since , everything can be written over the common denominator . Taking out and simplifying, we get
Thus,
Substituting (5.2) into (5.9) gives the following:
Hence, by putting (5.16) into (5.17), we get
So to impose the boundary condition (5.7), it is necessary to extend the domain of by forcing the boundary condition (5.7). We must then check that satisfies the equation on the extended domain.
Evaluating (5.4) at and using (5.7) give the following:
Using (5.1) with and together with (5.3), we obtain
Substituting the above two equations into (5.19) yields
Since is an eigenfunction of (2.5), (5.2), and (5.3) corresponding to the eigenvalue we have that . Thus, the above equation can be simplified to
Also (2.5) evaluated at for together with (5.3) gives
Adding (5.22) to (5.23) and using the fact that yields
By substituting in for and , it is easy to see that all the terms cancel out. Next, we examine the coefficients of , and using , we obtain that the coefficient of is
which equals by (2.5) evaluated at . Thus, only the terms in remain. First, we note that by substituting in for , and we get
Thus, equating coefficients of gives the following:
Since , we can divide and solve for to obtain
Note that the case of , that is, a nonDirichlet boundary condition, gives , that is, which corresponds to the results obtained in [1].
If we set , with a solution of (2.2) for where less than the least eigenvalue of (2.2), (3.2), and (3.13) and in the given interval , then is an eigenfunction of (2.5), (5.2), and (5.3) corresponding to the eigenvalue . To see that satisfies (2.5), see [1, Lemma ] with, as previously, , and now . Then, by construction, obeys (5.2). We now show that obeys (5.3). Let ,
Now is a solution of (2.2) for , thus,
Remark 5.2.
For , , , , and as above, the transformation (5.1), in Theorem 5.1, results in the original given boundary value problem. In particular, we obtain that in Theorem 5.1 and , see [1, Theorem .2]. In addition,
That is, the boundary value problem given by satisfying (2.5) with boundary conditions (5.2), (5.3) transforms under (5.1) to obeying (2.2) with boundary conditions (3.2), (3.13) which is the original boundary value problem.
We now verify that . Let
Since , we obtain , and thus
Also, . Dividing through by and using together with gives the following:
Now,
and since satisfies (2.2) at for , we get
Thus, using (5.35) and (5.36), the numerator of is simplified to
The denominator of can be simplified using to
hence .
Finally, substituting in for , we obtain
Thus, , that is, .
Next, we show that . Recall that and
Let
Note that
and since satisfies (2.2) at for , we get
We now substitute in for and into the equation for and use (5.42) and (5.43) to obtain that
that is, .
To summarise, we have the following.
Consider obeying (2.5) with one of the following 4 types of boundary conditions:

(a)
nonDirichlet and nonDirichlet, that is, (4.5) and (4.6);

(b)
nonDirichlet and affine, that is, (4.5) and (3.14);

(c)
affine and nonDirichlet, that is, (3.3) and (4.6);

(d)
affine and affine, that is, (3.3) and (3.14).
By Theorem 4.3, each of the above boundary value problems have eigenvalues.
Now, the transformation (5.1), with an eigenfunction of (2.5) with boundary conditions (a) ((b), (c), (d), resp.) corresponding to the eigenvalue , transforms obeying (2.5) to obeying (2.2) and transforms the boundary conditions as follows:

(1)
boundary conditions (a) transform to and ;

(2)
boundary conditions (b) transform to and (3.13);

(3)
boundary conditions (c) transform to (3.2) and ;

(4)
boundary conditions (d) transform to (3.2) and (3.13).
By Theorem 4.2, we know that the above transformed boundary value problems in each have eigenvalues. In particular, if are the eigenvalues of (2.5), (a) ((b), (c), (d), resp.) with eigenfunctions , then and are eigenfunctions of (2.2), (1) ((2), (3), (4), resp.) with eigenvalues . Since we know that these boundary value problems have eigenvalues, it follows that constitute all the eigenvalues.
6. Conclusion
To conclude, we outline (the details are left to the reader to verify) how the entire process could also be carried out the other way around. That is, we start with a second order difference equation of the usual form, given in the previous sections, together with boundary conditions of one of the following forms:

(i)
nonDirichlet at the initial point and affine at the terminal point;

(ii)
affine at the initial point and nonDirichlet at the terminal point;

(iii)
affine at the initial point and at the terminal point.
We can then transform the above boundary value problem (by extending the domain where necessary, as done previously) to an equation of the same type with, respectively, transformed boundary conditions as follows:

(A)
Dirichlet at the initial point and nonDirichlet at the terminal point;

(B)
nonDirichlet at the initial point and Dirichlet at the terminal point;

(C)
nonDirichlet at the initial point and at the terminal point.
It is then possible to return to the original boundary value problem by applying a suitable transformation to the transformed boundary value problem above.
References
 1.
Currie S, Love A: Transformations of difference equations I. Advances in Difference Equations 2010, 2010:22.
 2.
Atkinson FV: Discrete and Continuous Boundary Problems, Mathematics in Science and Engineering, vol. 8. Academic Press, New York, NY, USA; 1964:xiv+570.
Acknowledgments
The authors would like to thank Professor Bruce A. Watson for his useful input and suggestions. This work was supported by NRF Grant nos. TTK2007040500005 and FA2007041200006.
Author information
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Revised
Accepted
Published
DOI
Keywords
 Boundary Condition
 Difference Equation
 Initial Point
 Dirichlet Boundary Condition
 Characteristic Polynomial