Skip to main content

Theory and Modern Applications

Solvability of boundary value problems for a class of partial difference equations on the combinatorial domain

Abstract

By modifying our recent method of half-lines we show how the following boundary value problem for partial difference equations can be solved in closed form:

$$\begin{aligned}& d_{n,k}= d_{n-1,k-1}+f(k)d_{n-1,k},\quad 1\le k< n, \\& d_{n,0}=u_{n},\qquad d_{n,n}=v_{n},\quad n \in \mathbb{N}, \end{aligned}$$

where \((u_{n})_{n\in \mathbb{N}}\) and \((v_{n})_{n\in \mathbb{N}}\) are given sequences of complex numbers, and f is a complex-valued function on \(\mathbb{N}\).

1 Introduction

Let \(\mathbb{N}\) denote the set of natural numbers and \(\mathbb{N} _{0}=\mathbb{N}\cup \{0\}\). Let \(k,l\in \mathbb{N}_{0}\) be such that \(k< l\), then the notation \(j=\overline{k,l}\) means \(k\le j\le l\). In the rest of this section we give some motivation for the study, as well as notions that will be used in the rest of the paper.

Let

$$\begin{aligned} x^{(k)}=x(x-1)\cdots (x-k+1), \end{aligned}$$

where \(k\in \mathbb{N}\), and for \(k=0\) let \(x^{(0)}:=1\).

Let Δ be the standard (forward) difference operator defined by

$$\begin{aligned} \Delta f(x)=f(x+1)-f(x), \end{aligned}$$

where f is a function. Then, for \(k\in \mathbb{N}\), we have

$$\begin{aligned} \Delta x^{(k)}=kx(x-1)\cdots (x-k+2)=kx^{(k-1)}, \end{aligned}$$
(1)

while for \(k=0\) a direct calculation shows that \(\Delta x^{(0)}=0\).

The set of polynomials \(\{x^{(k)}: k\in \mathbb{N}_{0}\}\), is linearly independent. Indeed, assume

$$ \sum_{j=0}^{n}a_{j}x^{(j)}\equiv 0, $$
(2)

for some real numbers \(a_{j}\), \(j=\overline{0,n}\), and for a fixed but arbitrary \(n\in \mathbb{N}_{0}\). Then by acting with operator Δ on both sides of equality (2) n times, and using (1), we get \(n!a_{n}=\sum_{j=0}^{n}a_{j}\Delta^{(n)} x^{(j)} \equiv 0\), from which it follows that \(a_{n}=0\). Hence \(\sum_{j=0} ^{n-1}a_{j}x^{(j)}\equiv \sum_{j=0}^{n}a_{j}x^{(j)}\equiv 0\). By repeated use of the argument we get \(a_{n-1}=\cdots =a_{1}=a_{0}=0\), from which the claim follows. From this it easily follows that the set \(\{x^{(k)}: k\in \mathbb{N}_{0}\}\) is a basis in the linear space of all polynomials, so that

$$\begin{aligned} x^{n}=\sum_{k=0}^{n}s^{n}_{k}x^{(k)}, \end{aligned}$$
(3)

for some numbers \(s^{n}_{k}\), \(n,k\in \mathbb{N}_{0}\).

The relations \(x=x^{(1)}\), \(x^{2}=x^{(2)}+x^{(1)}\) and \(x^{3}=x^{(3)}+3x ^{(2)}+x^{(1)}\), suggest that \(s^{n}_{0}=0\), \(n\in \mathbb{N}\) (note that \(s^{0}_{0}=s^{0}_{0}x^{(0)}=x^{0}=1\)). Indeed, assume that we have proved \(s^{j}_{0}=0\), \(j=\overline{1,n}\) for some \(n\in \mathbb{N}\). Then, since \(x^{n+1}=x^{n} x\) and \(xx^{(k)} = x^{(k+1)} + kx^{(k)}\), \(k\in \mathbb{N}_{0}\), by using the hypothesis and (3), we get

$$ \begin{aligned}[b] x^{n+1}&= \sum_{k=0}^{n+1}s^{n+1}_{k}x^{(k)} \\ &=x\sum_{k=1}^{n}s^{n}_{k}x ^{(k)} \\ &=\sum_{k=1}^{n}s^{n}_{k} \bigl(x^{(k+1)}+kx^{(k)}\bigr) \\ &=s^{n}_{n}x^{(n+1)}+\sum _{k=2}^{n}\bigl(s^{n}_{k-1}+ks^{n}_{k} \bigr)x^{(k)}+s ^{n}_{1}x^{(1)}. \end{aligned} $$
(4)

Comparing the coefficients in (4) we get \(s^{n+1}_{0}=0\), from which the statement follows. Beside this, the following recurrent relation holds:

$$\begin{aligned} s^{n+1}_{k}=s^{n}_{k-1}+ks^{n}_{k}, \end{aligned}$$
(5)

when \(2\le k\le n\), and that \(s^{n+1}_{n+1}=s^{n}_{n}\). From this equality and since \(s^{0}_{0}=s_{1}^{1}=1\) we get \(s^{n}_{n}=1\) for \(n\in \mathbb{N}_{0}\). On the other hand, from \(s^{j}_{0}=0\) for \(j=\overline{1,n}\) and (5) we get \(s^{n+1}_{1}=s^{n}_{1}\), which along with \(s^{1}_{1}=1\) implies that \(s^{n}_{1}=1\) for \(n\in \mathbb{N}\). The numbers \(s^{n}_{k}\), \(n,k\in \mathbb{N}\) are called Stirling’s numbers of the second kind, and the above described procedure is one of the ways how these numbers can be obtained (see, for example, [1, 2]). Another classical approach in getting these numbers is combinatorial. Namely, \(s^{n}_{k}\) represents the number of ways to partition a set of n elements into k nonempty subsets (for details see, for example, [3]). Stirling numbers can be calculated explicitly. In [3] are given several explicit formulas and probably the nicest one is the following:

$$\begin{aligned} s^{n}_{k}=\frac{1}{k!}\sum _{j=1}^{k}C^{k}_{j}(-1)^{k-j}j^{n}. \end{aligned}$$
(6)

where \(C^{k}_{j}=k!/(j!(k-j)!)\) are the binomial coefficients.

There are several ways to prove equation (6). A combinatorial-analytic proof was given in [3]. A relatively simple analytic proof is based on the following well-known formula:

$$\begin{aligned} \Delta^{k}f(x)=\sum_{j=0}^{k}(-1)^{k-j}C^{k}_{j}f(x+j). \end{aligned}$$
(7)

Namely, if \(P_{n}(x)=\sum_{j=0}^{n}a_{j}x^{(j)}\) by calculating \(\Delta^{k} P_{n}\) at \(x=0\) (using (1)), we get

$$\begin{aligned} \Delta^{k} P_{n}(0)=\sum_{j=k}^{n}a_{j}j(j-1) \cdots (j-k+1)x^{(j-k)} |_{x=0}=k!a_{k}, \end{aligned}$$

\(k=\overline{0,n}\) (see, for example, [1, 2]). From this and by using (7) with \(f(x)=x^{n}\), we get

$$ \begin{aligned} s^{n}_{k}&=\frac{\Delta^{k} x^{n}}{k!} \bigg|_{x=0}= \frac{1}{k!}\sum_{j=0}^{k}(-1)^{k-j}C^{k}_{j}(x+j)^{n} \bigg|_{x=0} \\ &=\frac{1}{k!}\sum_{j=1}^{k}C^{k}_{j}(-1)^{k-j}j^{n}. \end{aligned} $$

For more on the Stirling numbers and related topics, see, for example, [1, 3, 4].

Old topic of solving difference equations and systems of difference equations with their applications (see, for example, [1, 2, 48]), has re-attracted some recent attention. The publication of our note [9], in which we explained how a nonlinear difference equation can be solved in an elegant way, by transforming it to a linear, has attracted some attention. The results and methods in [9] were later extended for the case of higher-order difference equations in [10], and for some related systems in [11] and [12]. The main idea from [9] have been used and developed a lot in many other papers (see, for example, [1319] and numerous references therein). One of the joint features in these papers is that the equations/systems therein are somehow transformed to (solvable) linear ones. A frequent situation is that the following difference equation:

$$\begin{aligned} a_{n+1}=b_{n}a_{n}+c_{n},\quad n\in \mathbb{N}, \end{aligned}$$
(8)

where \((b_{n})_{n\in \mathbb{N}}\), \((c_{n})_{n\in \mathbb{N}}\), and \(a_{0}\) are real or complex numbers, decides the solvability. Some methods for solving equation (8) can be found in [2, 6] (see, also the introduction in [17], the references therein, as well as numerous special cases of the equation appearing therein). For some results on the solvability of systems of difference equations see, for example, [12, 14, 16, 1820]. Some related, but considerably different methods (see, for example, [21, 22] and the related references therein) are used for solving product-type equations/systems.

Statement of the problem. Now note that (5) can be written as

$$\begin{aligned} d_{n,k}=d_{n-1,k-1}+kd_{n-1,k}. \end{aligned}$$
(9)

This means that the Stirling numbers are a solution to a two-dimensional recurrent relation with given boundary conditions \(s^{n}_{n}\) and \(s^{n}_{0}\), \(n\in \mathbb{N}_{0}\). The fact that equation (9) has a closed form formula for the solution with the conditions \(d_{n,0}=0\), \(d_{n,n}=1\), \(n\in \mathbb{N}\), suggests that (5) can be solved on the following domain \(A=\{0\le k\le n; n,k\in \mathbb{N}_{0}\}\), which we call the combinatorial domain. Some classical methods for solving partial difference equations can be found, for example, in [1] and [8], whereas some recent ones can be found, for example, in [2328], but an analysis shows that they are not suitable for getting a formula for solutions to (9) for a special shape of domain A.

Motivated by [29] and numerous recent applications of equation (8) (for example, those in [9, 10, 1317, 19, 20]), here we show that there is a closed form formula for solutions to an extension of equation (9) on domain \(A\setminus \{(0,0)\}\) in terms of given boundary values \(d_{n,0}\) and \(d_{n,n}\), \(n\in \mathbb{N}\).

2 Main results

We show how general solution to (9) on set \(A\setminus \{(0,0) \}\) can be found by using a method in [29], which we call the method of half-lines. Namely, the domain is divided into some half-lines, and (9) is regarded on each line as an equation of type (8). It is solved, and based on the obtained formulas one gets the general solution. However, the method cannot be applied directly, so it needs some modifications.

Assume first that \(n=k+1\). Then equation (9) is reduced to

$$\begin{aligned} d_{k+1,k}=d_{k,k-1}+kd_{k,k},\quad k\in \mathbb{N}. \end{aligned}$$
(10)

Using the change of variables \(x_{k}=d_{k+1,k}\) equation (10) can be seen as a special case of equation (8), since \(d_{k,k}\) can be regarded as an ‘independent’ variable due to the fact that the multi-index \((k,k)\) belongs to the boundary of \(A\setminus \{(0,0)\}\). In fact, since in (10) the corresponding coefficients \(b_{k}\) are equal to one, here we use the telescoping method of summation (this is a specificity for the equation but the method can be applied for other values of the coefficients too) and get

$$\begin{aligned} d_{k+1,k}=d_{1,0}+\sum_{j=1}^{k}jd_{j,j}, \quad k\in \mathbb{N}_{0}. \end{aligned}$$
(11)

Now assume that we have proved

$$\begin{aligned} d_{k+l,k}=d_{l,0}+\sum_{i_{l}=1}^{k}i_{l} \Biggl(d_{l-1,0}+\sum_{i_{l-1}=1} ^{i_{l}}i_{l-1} \Biggl(\cdots i_{2} \Biggl(d_{1,0}+\sum_{i_{1}=1}^{i_{2}}i _{1}d_{i_{1},i_{1}} \Biggr)\cdots \Biggr) \Biggr), \end{aligned}$$
(12)

for every \(k\in \mathbb{N}_{0}\) and some \(l\in \mathbb{N}\).

Then from (9) with \(n=k+l+1\) we have

$$\begin{aligned} d_{k+l+1,k}=d_{k+l,k-1}+kd_{k+l,k},\quad k\in \mathbb{N}, \end{aligned}$$
(13)

from which, as in the case \(n=k+1\), we get

$$\begin{aligned} d_{k+l+1,k}=d_{l+1,0}+\sum_{i_{l+1}=1}^{k}i_{l+1}d_{i_{l+1}+l,i_{l+1}}, \end{aligned}$$
(14)

for every \(k\in \mathbb{N}\).

By using the inductive hypothesis in (14) we obtain

$$\begin{aligned} d_{k+l+1,k}=d_{l+1,0}+\sum_{i_{l+1}=1}^{k}i_{l+1} \Biggl(d_{l,0}+ \sum_{i_{l}=1}^{i_{l+1}}i_{l} \Biggl(\cdots i_{2} \Biggl(d_{1,0}+ \sum _{i_{1}=1}^{i_{2}}i_{1}d_{i_{1},i_{1}} \Biggr) \cdots \Biggr) \Biggr), \end{aligned}$$

from which along with the induction we see that (12) holds for every \(l\in \mathbb{N}\) and \(k\in \mathbb{N}_{0}\).

Note that equation (12) can be written in the following form:

$$\begin{aligned} d_{k+l,k} = d_{l,0} + d_{l-1,0}\sum _{i_{l}=1}^{k}i_{l} + \cdots + d_{1,0} \sum_{i_{l}=1}^{k}i_{l} \cdots \sum_{i_{2}=1}^{i_{3}}i _{2} + \sum_{i_{l}=1}^{k}i_{l}\cdots \sum _{i_{2}=1}^{i_{3}}i_{2} \sum _{i_{1}=1}^{i_{2}}i_{1}d_{i_{1},i_{1}}, \end{aligned}$$
(15)

for \(l\in \mathbb{N}\), \(k\in \mathbb{N}_{0}\). Since k and l are arbitrary equation (15) is, in fact, the general solution to (9) on domain \(A\setminus \{(0,0)\}\).

Now note that if \(d_{j,0}=0\) and \(d_{j,j}=1\), \(j\in \mathbb{N}\), then such a solution is noting but the Stirling sequence \(s^{k+l}_{k}\), while on the other hand from (15), we get

$$\begin{aligned} s^{k+l}_{k}=\sum_{i_{l}=1}^{k}i_{l} \cdots \sum_{i_{2}=1}^{i_{3}}i_{2} \sum _{i_{1}=1}^{i_{2}}i_{1}, \end{aligned}$$
(16)

for every \(l\in \mathbb{N}\) and \(k\in \mathbb{N}_{0}\).

Using (16) in (15), we get

$$\begin{aligned} d_{k+l,k}=d_{l,0}+d_{l-1,0}s^{k+1}_{k}+ \cdots +d_{1,0}s^{k+l-1}_{k} + \sum _{i_{l}=1}^{k}i_{l}\cdots \sum _{i_{2}=1}^{i_{3}}i_{2}\sum _{i_{1}=1} ^{i_{2}}i_{1}d_{i_{1},i_{1}}, \end{aligned}$$
(17)

for \(l\in \mathbb{N}\) and \(k\in \mathbb{N}_{0}\).

Now we are in a position to state and prove our first result based on the above consideration.

Theorem 1

Let \((u_{j})_{j\in \mathbb{N}}\), \((v_{j})_{j \in \mathbb{N}}\) be given sequences of complex numbers. Then the solution to the following boundary value problem:

$$\begin{aligned} &d_{n,k}=d_{n-1,k-1}+kd_{n-1,k},\quad 1\le k< n, \\ &d_{n,0}=u_{n},\qquad d_{n,n}=v_{n},\quad n\in \mathbb{N}, \end{aligned}$$
(18)

is given by

$$\begin{aligned} d_{n,k}=\sum_{i=1}^{n-k}s^{k+i-1}_{k}u_{n-k-i+1}+ \sum_{i_{n-k}=1}^{k}i _{n-k}\cdots \sum _{i_{2}=1}^{i_{3}}i_{2}\sum _{i_{1}=1}^{i_{2}}i_{1}v _{i_{1}}. \end{aligned}$$
(19)

Proof

By choosing \(l=n-k\) in (17), using the conditions in (18), and some calculations, formula (19) is obtained. □

Remark 1

Note that general solution to equation (9) can be written in the form

$$\begin{aligned} d_{n,k}=\sum_{i=1}^{n-k}s^{k+i-1}_{k}d_{n-k-i+1,0}+ \sum_{i_{n-k}=1} ^{k}i_{n-k}\cdots \sum _{i_{2}=1}^{i_{3}}i_{2}\sum _{i_{1}=1}^{i_{2}}i _{1}d_{i_{1},i_{1}}, \end{aligned}$$
(20)

for k and n such that \(0\le k\le n\), \(k,n\in \mathbb{N}_{0}\) and \((k,n)\ne (0,0)\).

Corollary 1

If \(d_{n,k}\) is a solution to equation (9) on domain \(A\setminus \{(0,0)\}\) such that the following conditions hold:

$$\begin{aligned} d_{n,n}=c\in \mathbb{C}, \quad n\in \mathbb{N}, \end{aligned}$$
(21)

then it is given by

$$\begin{aligned} d_{n,k}=\sum_{i=1}^{n-k}s^{k+i-1}_{k}d_{n-k-i+1,0}+cs^{n}_{k}. \end{aligned}$$
(22)

Proof

By using condition (21) and (16) with \(l=n-k\), in formula (19), we obtain (22). □

Remark 2

Note that under the conditions of Corollary 1 equation (22) gives a closed form formula for such solutions due to equation (6).

Now note that the above described procedure can be applied to every recurrent relation in the following form:

$$\begin{aligned} d_{n,k}=d_{n-1,k-1}+f(k)d_{n-1,k}, \end{aligned}$$
(23)

where coefficients \(f(k)\), \(k\in \mathbb{N}\), are complex numbers. The following theorem holds (the proof is omitted for the similarity with the given one in the case \(f(k)=k\)).

Theorem 2

Let \((u_{j})_{j\in \mathbb{N}}\), \((v_{j})_{j \in \mathbb{N}}\) be given sequences of complex numbers. Then the solution to the following boundary value problem:

$$\begin{aligned} &d_{n,k}= d_{n-1,k-1}+f(k)d_{n-1,k}, \quad 1\le k< n, \\ &d_{n,0}=u_{n}, \qquad d_{n,n}=v_{n}, \quad n\in \mathbb{N}, \end{aligned}$$

where f is a complex-valued function on \(\mathbb{N}\), is given by

$$\begin{aligned} d_{n,k}=\sum_{i=1}^{n-k}u_{n-k-i+1}S_{k,i-1}(f)+ \sum_{i_{n-k}=1}^{k}f(i _{n-k})\cdots \sum_{i_{2}=1}^{i_{3}}f(i_{2})\sum _{i_{1}=1}^{i_{2}}f(i _{1})v_{i_{1}}, \end{aligned}$$
(24)

where

$$\begin{aligned} S_{k,l}(f)=\sum_{i_{l}=1}^{k}f(i_{l}) \cdots \sum_{i_{2}=1}^{i_{3}}f(i _{2}) \sum_{i_{1}=1}^{i_{2}}f(i_{1}),\quad k,l \in \mathbb{N}, \end{aligned}$$
(25)

and where we regard that

$$\begin{aligned} S_{k,0}(f)=1,\quad k\in \mathbb{N}. \end{aligned}$$

Theorem 2 shows that the calculation of iterated sums plays an important role in solving equation (23). For the equation treated in [29] we have \(f(k)=1\) for every \(k\in \mathbb{N}\), so that the iterated sums in (25) becomes

$$\begin{aligned} \sum_{i_{l}=1}^{k}\cdots \sum _{i_{s+1}=1}^{i_{s+2}}\sum_{i_{s}=1}^{i _{s+1}}1, \quad s=\overline{1,l}. \end{aligned}$$

This value of the sum is known and is equal to \(C^{k+l-s}_{l-s+1}\) (see, for example, [2]), which is one of the main reasons why in this case we have a closed form formula for its general solution. The process of calculating the sum was essentially explained in [29].

Now we will apply the method described above to the following partial difference equation:

$$\begin{aligned} d_{n,k}=d_{n-1,k-1}+z^{k}d_{n-1,k}, \end{aligned}$$
(26)

where z is a complex number different from 1.

By doing this we see that the following relation, corresponding to equation (12), holds:

$$\begin{aligned} d_{k+l,k}=d_{l,0}+\sum_{i_{l}=1}^{k}z^{i_{l}} \Biggl(d_{l-1,0}+ \sum_{i_{l-1}=1}^{i_{l}}z^{i_{l-1}} \Biggl(\cdots z^{i_{2}} \Biggl(d_{1,0}+ \sum _{i_{1}=1}^{i_{2}}z^{i_{1}}d_{i_{1},i_{1}} \Biggr) \cdots \Biggr) \Biggr), \end{aligned}$$

for every \(l\in \mathbb{N}\) and \(k\in \mathbb{N}_{0}\), which can be written in the following, somewhat better, form:

$$\begin{aligned} d_{k+l,k}={}&d_{l,0}+d_{l-1,0}\sum _{i_{l}=1}^{k}z^{i_{l}}+d_{l-2,0} \sum _{i_{l}=1}^{k}z^{i_{l}}\sum _{i_{l-1}=1}^{i_{l}}z^{i_{l-1}}+\cdots +d_{1,0} \sum_{i_{l}=1}^{k}z^{i_{l}}\cdots \sum _{i_{2}=1}^{i_{3}}z^{i _{2}} \\ &{}+\sum_{i_{l}=1}^{k}z^{i_{l}}\cdots \sum_{i_{2}=1}^{i_{3}}z^{i_{2}} \sum _{i_{1}=1}^{i_{2}}z^{i_{1}}d_{i_{1},i_{1}}. \end{aligned}$$
(27)

Now we prove the following lemma.

Lemma 1

Assume that \(k, l\in \mathbb{N}\) and that \(z\in \mathbb{C}\setminus \{1\}\). Then the following formula holds:

$$\begin{aligned} \sum_{i_{l}=1}^{k}z^{i_{l}}\cdots \sum _{i_{2}=1}^{i_{3}}z^{i_{2}} \sum _{i_{1}=1}^{i_{2}}z^{i_{1}}=z^{l}\prod _{j=1}^{l}\frac{z^{k+j-1}-1}{z ^{j}-1}. \end{aligned}$$
(28)

Proof

We will prove it by induction. Assume first that \(l=1\), then since \(z\ne 1\), we have

$$\begin{aligned} \sum_{i_{1}=1}^{k}z^{i_{1}}=z\sum _{j=0}^{k-1}z^{j}=z \frac{z^{k}-1}{z-1}, \end{aligned}$$
(29)

which shows that (28) holds in this case.

In order to present the main point in the proof, that is, the arranging a sum to use the telescoping method, we will also give the proof in the case \(l=2\). By using (29) with \(l=i_{2}\), we have

$$\begin{aligned} \sum_{i_{2}=1}^{k}z^{i_{2}}\sum _{i_{1}=1}^{i_{2}}z^{i_{1}} &= \frac{z ^{2}}{z-1}\sum_{i_{2}=1}^{k}z^{i_{2}-1} \bigl(z^{i_{2}}-1\bigr) \\ &=\frac{z^{2}}{z-1}\sum_{i_{2}=1}^{k} \frac{(z^{i_{2}+1}-1)(z^{i_{2}}-1)-(z ^{i_{2}}-1)(z^{i_{2}-1}-1)}{z^{2}-1} \\ &=z^{2}\prod_{j=1}^{2} \frac{z^{k+j-1}-1}{z^{j}-1}. \end{aligned}$$

Now assume that (28) holds for some \(l\in \mathbb{N}\) and every \(k\in \mathbb{N}_{0}\). Then, by using the inductive hypothesis, we have

$$ \begin{aligned} &\sum_{i_{l+1}=1}^{k}z^{i_{l+1}} \sum_{i_{l}=1}^{i_{l+1}} z^{i_{l}}\cdots \sum _{i_{1}=1}^{i_{2}}z^{i_{1}} \\ &\quad=z^{l+1}\sum_{i_{l+1}=1}^{k}z^{i_{l+1}-1} \prod_{j=1}^{l}\frac{z^{i_{l+1}+j-1}-1}{z^{j}-1} \\ &\quad=\frac{z^{l+1}}{\prod_{j=1}^{l}(z^{j}-1)}\sum_{i_{l+1}=1}^{k} \frac{ \prod_{j=0}^{l}(z^{i_{l+1}+j}-1)-\prod_{j=0}^{l}(z^{i_{l+1}+j-1}-1)}{z ^{l+1}-1} \\ &\quad=z^{l+1}\prod_{j=1}^{l+1} \frac{z^{k+j-1}-1}{z^{j}-1}, \end{aligned} $$

for every \(k\in \mathbb{N}\), from which along with (29) and the induction formula (28) follows. □

Let

$$\begin{aligned} P_{k,l}(z):=z^{l}\prod_{j=1}^{l} \frac{z^{k+j-1}-1}{z^{j}-1}, \end{aligned}$$
(30)

where \(k,l\in \mathbb{N}_{0}\), and where we use the following standard convention:

$$ \prod_{j=k}^{k-1}a_{j}=1, \quad k\in \mathbb{N}_{0}. $$

By using (28) into (27), and a change in the order of the summation, we get

$$\begin{aligned} d_{k+l,k}= &\sum_{j=1}^{l}d_{j,0}P_{k,l-j}(z)+ \sum_{i_{1}=1}^{k}z^{i _{1}}d_{i_{1},i_{1}} \sum_{i_{2}=i_{1}}^{k}z^{i_{2}}\cdots \sum _{i_{l}=i_{l-1}}^{k}z^{i_{l}}. \end{aligned}$$
(31)

Now by using Lemma 1 and some calculation, we have

$$\begin{aligned} \sum_{i_{2}=i_{1}}^{k}z^{i_{2}}\cdots \sum _{i_{l}=i_{l-1}}^{k}z^{i _{l}}&=\sum _{i_{l}=i_{1}}^{k}z^{i_{l}}\cdots \sum _{i_{2}=i_{1}}^{i _{3}}z^{i_{2}} \\ &=z^{(i_{1}-1)(l-1)}\sum_{i_{l}=i_{1}}^{k}z^{i_{l}-i_{1}+1} \cdots \sum_{i_{2}=i_{1}}^{i_{3}}z^{i_{2}-i_{1}+1} \\ &=z^{(i_{1}-1)(l-1)}\sum_{j_{l}=1}^{k-i_{1}+1}z^{j_{l}} \cdots \sum_{j_{2}=1}^{i_{3}-i_{1}+1}z^{j_{2}} \\ &=z^{i_{1}(l-1)}\prod_{j=1}^{l-1} \frac{z^{k-i_{1}+j}-1}{z^{j}-1}. \end{aligned}$$
(32)

By using (32) in (31) we get

$$\begin{aligned} d_{k+l,k}=\sum_{j=1}^{l}d_{j,0}P_{k,l-j}(z)+ \sum_{i_{1}=1}^{k}d_{i _{1},i_{1}}z^{i_{1}l-l+1}P_{k-i_{1}+1,l-1}(z), \end{aligned}$$
(33)

for every \(l\in \mathbb{N}\) and \(k\in \mathbb{N}_{0}\).

Hence, the following result holds.

Theorem 3

Let \((u_{j})_{j\in \mathbb{N}}\), \((v_{j})_{j \in \mathbb{N}}\) be given sequences of complex numbers. Then the solution to the following boundary value problem:

$$ \begin{aligned} &d_{n,k}=d_{n-1,k-1}+z^{k}d_{n-1,k}, \quad 1\le k< n, \\ &d_{n,0}=u_{n},\quad d_{n,n}=v_{n},\qquad n \in \mathbb{N}, \end{aligned} $$
(34)

is given by

$$\begin{aligned} d_{n,k}=\sum_{j=1}^{n-k}u_{j}P_{k,n-k-j}(z)+ \sum_{i=1}^{k}v_{i}z^{(i-1)(n-k)+1}P _{k-i+1,n-k-1}(z). \end{aligned}$$
(35)

Proof

By choosing \(l=n-k\) in (33), using the conditions in (34), and some calculations, equation (35) is easily obtained. □

References

  1. Jordan, C: Calculus of Finite Differences. Chelsea Publishing Company, New York (1956)

    MATH  Google Scholar 

  2. Mitrinović, DS, Kečkić, JD: Methods for Calculating Finite Sums. Naučna Knjiga, Beograd (1984) (in Serbian)

    Google Scholar 

  3. Yablonskiy, SV: Introduction to Discrete Mathematics. Mir Publishers, Moscow (1989)

    Google Scholar 

  4. Riordan, J: Combinatorial Identities. Wiley, New York (1968)

    MATH  Google Scholar 

  5. Brand, L: A sequence defined by a difference equation. Am. Math. Mon. 62(7), 489-492 (1955)

    Article  MathSciNet  Google Scholar 

  6. Brand, L: Differential and Difference Equations. Wiley, New York (1966)

    MATH  Google Scholar 

  7. Krechmar, VA: A Problem Book in Algebra. Mir Publishers, Moscow (1974)

    Google Scholar 

  8. Levy, H, Lessman, F: Finite Difference Equations. Dover, New York (1992)

    MATH  Google Scholar 

  9. Stević, S: More on a rational recurrence relation. Appl. Math. E-Notes 4, 80-85 (2004)

    MathSciNet  MATH  Google Scholar 

  10. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On the difference equation \(x_{n}=a_{n}x_{n-k}/(b_{n}+c_{n}x_{n-1}\cdots x_{n-k})\). Abstr. Appl. Anal. 2012, Article ID 409237 (2012)

    MATH  Google Scholar 

  11. Stević, S: On a solvable system of difference equations of kth order. Appl. Math. Comput. 219, 7765-7771 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  12. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On a third-order system of difference equations with variable coefficients. Abstr. Appl. Anal. 2012, Article ID 508523 (2012)

    MathSciNet  MATH  Google Scholar 

  13. Aloqeili, M: Dynamics of a kth-order rational difference equation. Appl. Math. Comput. 181, 1328-1335 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Berg, L, Stević, S: On some systems of difference equations. Appl. Math. Comput. 218, 1713-1718 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Papaschinopoulos, G, Stefanidou, G: Asymptotic behavior of the solutions of a class of rational difference equations. Int. J. Difference Equ. 5(2), 233-249 (2010)

    MathSciNet  Google Scholar 

  16. Stević, S: On the system of difference equations \(x_{n}=c_{n}y _{n-3}/(a_{n}+b_{n}y_{n-1}x_{n-2}y_{n-3})\), \(y_{n}=\gamma_{n} x_{n-3}/( \alpha_{n}+\beta_{n} x_{n-1}y_{n-2}x_{n-3})\). Appl. Math. Comput. 219, 4755-4764 (2013)

    Article  MathSciNet  Google Scholar 

  17. Stević, S: Solvable subclasses of a class of nonlinear second-order difference equations. Adv. Nonlinear Anal. 5(2), 147-165 (2016)

    MathSciNet  MATH  Google Scholar 

  18. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On some solvable difference equations and systems of difference equations. Abstr. Appl. Anal. 2012, Article ID 541761 (2012)

    MathSciNet  MATH  Google Scholar 

  19. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: On a solvable system of rational difference equations. J. Differ. Equ. Appl. 20(5-6), 811-825 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  20. Stević, S, Diblik, J, Iričanin, B, Šmarda, Z: Solvability of nonlinear difference equations of fourth order. Electron. J. Differ. Equ. 2014, Article ID 264 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  21. Stević, S: First-order product-type systems of difference equations solvable in closed form. Electron. J. Differ. Equ. 2015, Article ID 308 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  22. Stević, S, Iričanin, B, Šmarda, Z: On a product-type system of difference equations of second order solvable in closed form. J. Inequal. Appl. 2015, Article ID 327 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  23. Cheng, SS: Partial Difference Equations. Taylor & Francis, London (2003)

    Book  MATH  Google Scholar 

  24. Cheng, SS, Hsieh, LY, Chao, ZT: Discrete Lyapunov inequality conditions for partial difference equations. Hokkaido Math. J. 19, 229-239 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  25. Cheng, SS, Lin, JY: Green’s function and stability of a linear partial difference scheme. Comput. Math. Appl. 35(5), 27-41 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  26. Cheng, SS, Lu, YF: General solutions of a three-level partial difference equation. Comput. Math. Appl. 38(7-8), 65-79 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  27. Lin, YZ, Cheng, SS: Stability criteria for two partial difference equations. Comput. Math. Appl. 32(7), 87-103 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  28. Slavik, A, Stehlik, P: Explicit solutions to dynamic diffusion-type equations and their time integrals. Appl. Math. Comput. 234, 486-505 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  29. Stević, S: Note on the binomial partial difference equation. Electron. J. Qual. Theory Differ. Equ. 2015, Article ID 96 (2015)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author would like to express his sincere thanks to the referee of the paper for her/his comments and for suggesting some references on the solvability of partial difference equations.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stevo Stević.

Additional information

Competing interests

The author declares that he has no competing interests.

Author’s contributions

The author contributed alone to the writing of this paper. He read and approved the manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Stević, S. Solvability of boundary value problems for a class of partial difference equations on the combinatorial domain. Adv Differ Equ 2016, 262 (2016). https://doi.org/10.1186/s13662-016-0987-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-016-0987-z

MSC

Keywords