Open Access

On some classes of difference equations of infinite order

Advances in Difference Equations20152015:211

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

Received: 4 March 2015

Accepted: 17 June 2015

Published: 10 July 2015

Abstract

We consider a certain class of difference equations on an axis and a half-axis, and we establish a correspondence between such equations and simpler kinds of operator equations. The last operator equations can be solved by a special method like the Wiener-Hopf method.

Keywords

difference equation symbol solvability

MSC

39B32 42A38

1 Introduction

Difference equations of finite order arise very often in various problems in mathematics and applied sciences, for example in mathematical physics and biology. The theory for solving such equations is very full for equations with constant coefficients [1, 2], but fully incomplete for the case of variable coefficients. Some kinds of such equations were obtained by the second author by studying general boundary value problems for mode elliptic pseudo differential equations in canonical non-smooth domains, but there is no solution algorithm for all situations [35]. There is a certain intermediate case between the two mentioned above, namely it is a difference equation with constant coefficients of infinite order. Here we will briefly describe these situations.

The general form of the linear difference equation of order n is the following [1, 2]:
$$ \sum_{k=0}^{n}a_{k}(x)u(x+k)=v(x), \quad x\in M\subset{\mathbb{R}}, $$
(1)
where the functions \(a_{k}(x)\), \(k=1,\ldots,n\), \(v(x)\) are defined on M and given, and \(u(x)\) is an unknown function. Since \(n\in{\mathbf{N}}\) is an arbitrary number and all points \(x, x+1,\ldots,x+n\), \(\forall x\in M\), should be in the set M, this set M may be a ray from a certain point or the whole R.
A more general type of difference equation of finite order is the equation
$$ \sum_{k=0}^{n}a_{k}(x)u(x+ \beta_{k})=v(x),\quad x\in M\subset{\mathbb{R}}, $$
(2)
where \(\{\beta_{k}\}_{k=0}^{n}\subset{\mathbb{R}}\).

Further, such equations can be equations with a continuous variable or a discrete one, and this property separates such an equation on a class of properly difference equations and discrete equations. In this paper we will consider the case of a continuous variable x, and a solution on the right-hand side will be considered in the space \(L_{2}({\mathbb {R}})\) for all equations.

1.1 Difference equation of a finite order with constant coefficients

This is an equation of the type
$$ \sum_{k=0}^{n}a_{k}u(x+ \beta_{k})=v(x), \quad x\in{\mathbb{R}}, $$
(3)
and it easily can be solved by the Fourier transform:
$$(Fu) (\xi)\equiv\tilde{u}(\xi)=\int_{-\infty}^{+\infty }e^{-ix\cdot\xi}u(x) \, dx. $$
Indeed, applying the Fourier transform to (3) we obtain
$$\tilde{u}(\xi)\sum_{k=0}^{n}a_{k}e^{ i\beta_{k}\xi}= \tilde {v}(\xi), $$
or renaming
$$\tilde{u}(\xi)p_{n}(\xi)=\tilde{v}(\xi). $$
The function \(p_{n}(\xi)\) is called a symbol of a difference operator on the left-hand side (3) (cf. [6]). If \(p_{n}(\xi )\neq0\), \(\forall\xi\in{\mathbb{R}}\), then (3) can easily be solved,
$$u(x)=F^{-1}_{\xi\to x} \bigl(p_{n}^{-1}(\xi) \tilde{v}(\xi) \bigr). $$

1.2 Difference equation of infinite order with constant coefficients

The same arguments are applicable for the case of an unbounded sequence \(\{\beta_{k}\}_{-\infty}^{+\infty}\). Then the difference operator with complex coefficients
$$ \mathcal{D}: u(x)\longmapsto\sum_{-\infty}^{+\infty }a_{k}u(x+ \beta_{k}), \quad x\in{\mathbb{R}}, a_{k}\in{\mathbb{C}}, $$
(4)
has the following symbol:
$$\sigma(\xi)=\sum_{-\infty}^{+\infty}a_{k}e^{i\beta_{k}\xi}. $$

Lemma 1

The operator \(\mathcal{D}\) is a linear bounded operator \(L_{2}({\mathbb {R}})\to L_{2}({\mathbb{R}})\) if \(\{a_{k}\}_{-\infty}^{+\infty}\in {l}^{1}\).

Proof

The proof of this assertion can be obtained immediately. □

If we consider the operator (4) for \(x\in{\mathbb{Z}}\) only
$$ \mathcal{D}: u(x_{d})\longmapsto\sum _{-\infty}^{+\infty }a_{k}u(x_{d}+ \beta_{k}), \quad x_{d}\in{\mathbb{Z}}, $$
(5)
then its symbol can be defined by the discrete Fourier transform [7, 8]
$$\sigma_{d}(\xi)=\sum_{-\infty}^{+\infty}a_{k}e^{i\beta_{k}\xi }, \quad \xi\in[-\pi,\pi]. $$

1.3 Difference and discrete equations

Obviously there are some relations between difference and discrete equations. Particularly, if \(\{\beta_{k}\}_{-\infty}^{+\infty }={\mathbb{Z}}\), then the operator (5) is a discrete convolution operator. For studying discrete operators in a half-space the authors have developed a certain analytic technique [911]. Below we will try to enlarge this technique for more general situations.

2 General difference equations

We consider the equation
$$ (\mathcal{D}u) (x)=v(x), \quad x\in{\mathbb{R}}_{+}, $$
(6)
where \({\mathbb{R}}_{+}=\{x\in{\mathbb{R}}, x>0\}\).

For studying this equation we will use methods of the theory of multi-dimensional singular integral and pseudo differential equations [3, 6, 12] which are non-usual in the theory of difference equations. Our next goal is to study multi-dimensional difference equations, and this one-dimensional variant is a model for considering other complicated situations. This approach is based on the classical Riemann boundary value problem and the theory of one-dimensional singular integral equations [1315].

2.1 Background

The first step is the following. We will use the theory of so-called paired equations [15] of the type
$$ (aP_{+}+bP_{-})U=V $$
(7)
in the space \(L_{2}(\mathbb{R})\), where a, b are convolution operators with corresponding functions \(a(x)\), \(b(x)\), \(x\in{\mathbb{R}}\), \(P_{\pm }\) are projectors on the half-axis \({\mathbb{R}}_{\pm}\). More precisely,
$$(aP_{+}U) (x)=\int_{0}^{+\infty}a(x-y)U(y)\, dy, \qquad (bP_{-}U) (x)=\int_{-\infty}^{0}b(x-y)U(y)\, dy. $$
Applying the Fourier transform to (7) we obtain [12] the following one-dimensional singular integral equation [1315]:
$$ \tilde{a}(\xi) (P\widetilde{U}) (\xi)+\tilde{b}(\xi) (Q\widetilde {U}) (\xi)=\widetilde{V}(\xi), $$
(8)
where P, Q are two projectors related to the Hilbert transform
$$\begin{aligned}& (Hu) (x)=\mathrm{v.p.}\, \frac{1}{\pi i}\int_{-\infty}^{+\infty} \frac {u(y)}{x-y}\, dy, \\& P=\frac{1}{2}(I+H), \qquad Q=\frac{1}{2}(I-H). \end{aligned}$$
Equation (8) is closely related to the Riemann boundary value problem [13, 14] for upper and lower half-planes. We now recall the statement of the problem: finding a pair of functions \(\Phi^{\pm}(\xi )\) which admit an analytic continuation on upper (\({\mathbb{C}}_{+}\)) and lower (\({\mathbb{C}}_{-}\)) half-planes in the complex plane \(\mathbb {C}\) and of which their boundary values on \(\mathbb{R}\) satisfy the following linear relation:
$$ \Phi^{+}(\xi)=G(\xi)\Phi^{-}(\xi)+g(\xi), $$
(9)
where \(G(\xi)\), \(g(\xi)\) are given functions on \(\mathbb{R}\).
There is a one-to-one correspondence between the Riemann boundary value problem (9) and the singular integral equation (8), and
$$G(\xi)=\tilde{a}^{-1}(\xi)\tilde{b}(\xi), \qquad \widetilde{V}(\xi )= \tilde{a}^{-1}(\xi)g(\xi). $$

2.2 Topological barrier

We suppose that the symbol \(G(\xi)\) is a continuous non-vanishing function on the compactification \(\dot{\mathbb{R}}\) (\(G(\xi)\neq0\), \(\forall\xi\in\dot{\mathbb{R}}\)) and
$$ \operatorname{Ind} G\equiv\frac{1}{2\pi}\int _{-\infty}^{+\infty }d\arg G(t)=0. $$
(10)
The last condition (10), is necessary and sufficient for the unique solvability of the problem (9) in the space \(L_{2}({\mathbb{R}})\) [13, 14]. Moreover, the unique solution of the problem (9) can be constructed with a help of the Cauchy type integral
$$\Phi^{+}(t)=G_{+}(t)P \bigl(G_{+}^{-1}(t)g(t) \bigr),\qquad \Phi ^{-}(t)=-G_{-}^{-1}(t)Q \bigl(G_{+}^{-1}(t)g(t) \bigr), $$
where \(G_{\pm}\) are factors of a factorization for the \(G(t)\) (see below),
$$G_{+}(t)=\exp \bigl(P \bigl(\ln G(t) \bigr) \bigr),\qquad G_{-}(t)=\exp \bigl(Q \bigl(\ln G(t) \bigr) \bigr). $$

2.3 Difference equations on a half-axis

Equation (6) can easily be transformed into (7) in the following way. Since the right-hand side in (6) is defined on \(\mathbb{R}_{+}\) only we will continue \(v(x)\) on the whole \({\mathbb {R}}\) so that this continuation \(\mathit{lf}\in L_{2}({\mathbb{R}})\). Further we will rename the unknown function \(u_{+}(x)\) and define the function
$$u_{-}(x)=(\mathit{lf}) (x)-(\mathcal{D}u_{+}) (x). $$
Thus, we have the following equation:
$$ (\mathcal{D}u_{+}) (x)+u_{-}(x)=(\mathit{lf}) (x),\quad x\in \mathbb{R}, $$
(11)
which holds for the whole space \({\mathbb{R}}\).
After the Fourier transform we have
$$\sigma(\xi)\tilde{u}_{+}(\xi)+\tilde{u}_{-}(\xi)=\widetilde {\mathit{lv}}(\xi), $$
where \(\sigma(\xi)\) is called a symbol of the operator \(\mathcal{D}\).

To describe a solving technique for (11) we recall the following (cf. [13, 14]).

Definition

A factorization for an elliptic symbol is called its representation if it is in the form
$$\sigma(\xi)=\sigma_{+}(\xi)\cdot\sigma_{-}(\xi), $$
where the factors \(\sigma_{+}\), \(\sigma_{-}\) admit an analytic continuation into the upper and lower complex half-planes \({\mathbb{C}}_{\pm}\), and \(\sigma^{\pm1}_{\pm}\in L_{\infty}({\mathbb{R}})\).

Example 1

Let us consider the Cauchy type integral
$$\frac{1}{2\pi i}\int_{-\infty}^{+\infty}\frac {u(t)}{z-t}\, dt\equiv\Phi(z), \quad z=x\pm iy. $$
It is well known this construction plays a crucial role for a decomposition \(L_{2}({\mathbb{R}})\) on two orthogonal subspaces, namely
$$L_{2}({\mathbb{R}})=A_{+}({\mathbb{R}})\oplus A_{-}({\mathbb{R}}), $$
where \(A_{\pm}({\mathbb{R}})\) consists of functions admitting an analytic continuation onto \({\mathbb{C}}_{\pm}\).

The boundary values of the integral \(\Phi(z)\) satisfy the Plemelj-Sokhotskii formulas [13, 14], and thus the projectors P and Q are corresponding projectors on the spaces of analytic functions [15].

The simple example we need is
$$\exp(u)=\exp(Pu)\cdot\exp(Qu). $$

Theorem 2

Let \(\sigma(\xi)\in C(\dot{\mathbb{R}})\), \(\operatorname{Ind}\sigma =0 \). Then (6) has unique solution in the space \(L_{2}({\mathbb {R}}_{+})\) for arbitrary right-hand side \(v\in L_{2}({\mathbb{R}}_{+})\), and its Fourier transform is given by the formula
$$\tilde{u}(\xi)=\frac{1}{2}\sigma^{-1}(\xi)\widetilde{ \mathit{lv}}(\xi )+\frac{\sigma^{-1}_{+}(\xi)}{2\pi i}\, \mathrm{v.p.}\int_{-\infty }^{+\infty} \frac{\sigma^{-1}_{-}(\eta)\widetilde{\mathit{lv}}(\eta)}{\xi -\eta}\, d\eta. $$

Proof

We have
$$\sigma_{+}(\xi)\tilde{u}_{+}(\xi)+\sigma^{-1}_{-}(\xi)\tilde{u}_{-}(\xi)= \sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi). $$
Further, since \(\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi)\in L_{2}({\mathbb{R}})\) we decompose it into two summands
$$\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi)=P \bigl( \sigma^{-1}_{-}(\xi )\widetilde{\mathit{lv}}(\xi) \bigr)+Q \bigl( \sigma^{-1}_{-}(\xi)\widetilde {\mathit{lv}}(\xi) \bigr) $$
and write
$$\sigma_{+}(\xi)\tilde{u}_{+}(\xi)-P \bigl(\sigma^{-1}_{-}(\xi )\widetilde{ \mathit{lv}}(\xi) \bigr)=Q \bigl(\sigma^{-1}_{-}(\xi)\widetilde { \mathit{lv}}(\xi) \bigr)-\sigma^{-1}_{-}(\xi)\tilde{u}_{-}(\xi). $$
The left-hand side of the last quality belongs to the space \(A_{+}({\mathbb{R}})\), but the right-hand side belongs to \(A_{-}({\mathbb {R}})\), consequently these are zeros. Thus,
$$\sigma_{+}(\xi)\tilde{u}_{+}(\xi)-P \bigl(\sigma^{-1}_{-}(\xi )\widetilde{ \mathit{lv}}(\xi) \bigr)=0 $$
and
$$ \tilde{u}_{+}(\xi)=\sigma^{-1}_{+}(\xi)P \bigl( \sigma^{-1}_{-}(\xi )\widetilde{\mathit{lv}}(\xi) \bigr), $$
(12)
or in the complete form
$$\tilde{u}_{+}(\xi)=\frac{1}{2}\sigma^{-1}(\xi)\widetilde{ \mathit{lv}}(\xi )+\frac{\sigma^{-1}_{+}(\xi)}{2\pi i}\, \mathrm{v.p.}\int_{-\infty }^{+\infty} \frac{\sigma^{-1}_{-}(\eta)\widetilde{\mathit{lv}}(\eta)}{\xi -\eta}\, d\eta. $$
 □

Remark 1

This result does not depend on the continuation lv. Let us denote by \(M_{\pm}(x)\) the inverse Fourier images of the functions \(\sigma ^{-1}_{\pm}(\xi)\). Indeed, (12) leads to the following construction:
$$\begin{aligned} u_{+}(x)&=\int_{-\infty}^{+\infty}M_{+}(x-y) \biggl(\int _{0}^{+\infty}M_{-}(y-t) (\mathit{lv}) (t)\, dt \biggr)\, dy \\ &=\int_{-\infty}^{+\infty}M_{+}(x-y) \biggl(\int _{0}^{+\infty}M_{-}(y-t)v(t)\, dt \biggr)\, dy. \end{aligned}$$

Remark 2

The condition \(\sigma(\xi)\in C(\dot{\mathbb{R}})\) is not a strong restriction. Such symbols exist for example in the case that \(\sigma (\xi)\) is represented by a finite sum, and \(\beta_{k}\in{\mathbb {Q}}\). Then \(\sigma(\xi)\) is a continuous periodic function.

3 General solution

Since \(\sigma(\xi)\in C(\dot{\mathbb{R}})\), and Indσ is an integer, we consider the case \(\ae\equiv\operatorname{Ind} \sigma\in{\mathbb{N}}\) in this section.

Theorem 3

Let \(\operatorname{Ind} \sigma\in{\mathbb{N}}\). Then a general solution of (6) in the Fourier image can be written in the form
$$\tilde{u}_{+}(\xi)=\sigma^{-1}_{+}(\xi)\omega^{-\ae}(\xi)P \bigl( \sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi) \bigr)+( \xi-i)^{-\ae }\sigma^{-1}_{+}(\xi)P_{\ae-1}(\xi), $$
and it depends on æ arbitrary constants.

Proof

The function
$$\omega(\xi)=\frac{\xi-i}{\xi+i} $$
has the index 1 [1315], thus the function
$$\omega^{-\ae}(\xi)\sigma(\xi)= \biggl(\frac{\xi-i}{\xi+i} \biggr)^{-\ae}\cdot\sigma(\xi) $$
has the index 0, and we can factorize this function
$$\omega^{-\ae}(\xi)\sigma(\xi)=\sigma_{+}(\xi)\sigma_{-}(\xi). $$
Further, we write after (11)
$$\omega^{\ae}(\xi)\omega^{-\ae}(\xi)\sigma(\xi)\tilde{u}_{+}(\xi)+ \tilde{u}_{-}(\xi)=\widetilde{\mathit{lv}}(\xi), $$
factorize \(\omega^{-\ae}(\xi)\sigma(\xi)\), and rewrite
$$\omega^{\ae}(\xi)\sigma_{+}(\xi)\tilde{u}_{+}(\xi)+\sigma ^{-1}_{-}( \xi)\tilde{u}_{-}(\xi)=\sigma^{-1}_{-}(\xi)\widetilde {\mathit{lv}}(\xi). $$
Taking into account our notations we have
$$\begin{aligned}& \sigma_{+}(\xi)\tilde{u}_{+}(\xi)+\omega^{-\ae}(\xi)\sigma ^{-1}_{-}(\xi)\tilde{u}_{-}(\xi) \\& \quad =\omega^{-\ae}(\xi)P \bigl(\sigma ^{-1}_{-}(\xi)\widetilde{ \mathit{lv}}(\xi) \bigr) +\omega^{-\ae}(\xi)Q \bigl(\sigma^{-1}_{-}( \xi)\widetilde{\mathit{lv}}(\xi ) \bigr), \end{aligned}$$
(13)
because
$$\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi)=P \bigl( \sigma^{-1}_{-}(\xi )\widetilde{\mathit{lv}}(\xi) \bigr)+Q \bigl( \sigma^{-1}_{-}(\xi)\widetilde {\mathit{lv}}(\xi) \bigr) $$
and
$$\begin{aligned}& \sigma_{+}(\xi)\tilde{u}_{+}(\xi)-\omega^{-\ae}(\xi)P \bigl( \sigma ^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi) \bigr) \\& \quad =\omega^{-\ae}(\xi)Q \bigl(\sigma^{-1}_{-}(\xi)\widetilde{ \mathit{lv}}(\xi ) \bigr)-\omega^{-\ae}(\xi)\sigma^{-1}_{-}(\xi) \tilde{u}_{-}(\xi) \end{aligned}$$
(14)
and we conclude from the last that the left-hand side and the right-hand side also are a polynomial \(P_{\ae-1}(\xi)\) of order \(\ae-1\). It follows from the generalized Liouville theorem [13, 14] because the left-hand side has one pole of order æ in \({\mathbb{C}}\) in the point \(z=i\). So, we have
$$\tilde{u}_{+}(\xi)=\sigma^{-1}_{+}(\xi)\omega^{-\ae}(\xi)P \bigl( \sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi) \bigr)+( \xi-i)^{-\ae }\sigma^{-1}_{+}(\xi)P_{\ae-1}(\xi). $$
 □

Remark 3

This result does not depend on the choice of the continuation l.

Corollary 4

Let \(v(x)\equiv0\), \(\ae\in{\mathbb{N}}\). Then a general solution of the homogeneous equation (6) is given by the formula
$$\tilde{u}_{+}(\xi)=(\xi-i)^{-\ae}\sigma^{-1}_{+}( \xi)P_{\ae-1}(\xi). $$

4 Solvability conditions

Theorem 5

Let \(-\operatorname{Ind} \sigma\in{\mathbb{N}}\). Then (6) has a solution from \(L_{2}({\mathbb{R}}_{+})\) iff the following conditions hold:
$${\int_{-\infty}^{+\infty}(\xi-i)^{k-1} \sigma^{-1}_{-}(\xi )\widetilde{\mathit{lv}}(\xi)\, d\xi}=0, \quad k=1,2, \ldots,|\ae|. $$

Proof

We argue as above and use the equality (14); we write it as
$$\begin{aligned}& (\xi-i)^{\ae}\sigma_{+}(\xi)\tilde{u}_{+}(\xi)-( \xi+i)^{\ae }P \bigl(\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}( \xi) \bigr) \\& \quad =(\xi+i)^{\ae}Q \bigl(\sigma^{-1}_{-}(\xi)\widetilde{ \mathit{lv}}(\xi) \bigr)-(\xi+i)^{\ae}\sigma^{-1}_{-}(\xi) \tilde{u}_{-}(\xi). \end{aligned}$$
(15)
Since we work with \(L_{2}({\mathbb{R}})\) both the left-hand side and the right-hand side are equal to zero at infinity, hence these are zeros, and
$$\tilde{u}_{+}(\xi)=\sigma^{-1}_{+}(\xi) \biggl(\frac{\xi-i}{\xi +i} \biggr)^{-\ae}P \bigl(\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}( \xi ) \bigr). $$

But there is some inaccuracy. Indeed, this solution belongs to the space \(A_{+}({\mathbb{R}})\), but more exactly it belongs to its subspace \(A^{k}_{+}({\mathbb{R}})\). This subspace consists of functions analytic in \({\mathbb{C}}_{+}\) with zeros of the order −æ in the point \(z=i\). To obtain a solution from \(L_{2}({\mathbb{R}}_{+})\) we need some corrections in the last formula. Since the operator P is related to the Cauchy type integral we will use certain decomposition formulas for this integral (see also [1214]).

Let us denote \(\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi)\equiv g(\xi)\) and consider the following integral:
$$\int_{-\infty}^{+\infty}\frac{g(\eta)\, d\eta}{z-\eta }, \quad z=\xi+i\tau \in{\mathbb{C}}. $$
Using a simple formula for a kernel
$$\frac{1}{z-\eta}=\sum_{k=1}^{|\ae|} \frac{(\eta -i)^{k-1}}{(z-i)^{k}}+\frac{(\eta-i)^{|\ae|}}{(z-i)^{|\ae|}(z-\eta)} $$
we obtain the following decomposition:
$$\int_{-\infty}^{+\infty}\frac{g(\eta)\, d\eta}{z-\eta}=\sum _{k=1}^{|\ae|}{(z-i)^{-k}} {\int _{-\infty}^{+\infty }(\eta-i)^{k-1}g(\eta)\, d\eta}+ \int_{-\infty}^{+\infty }\frac{(\eta-i)^{|\ae|}g(\eta)\, d\eta}{(z-i)^{|\ae|}(z-\eta)}. $$
So, we have a following property. If the conditions
$${\int_{-\infty}^{+\infty}(\eta-i)^{k-1}g(\eta)\, d \eta }=0, \quad k=1,2,\ldots,|\ae|, $$
hold, then we obtain
$$\int_{-\infty}^{+\infty}\frac{g(\eta)\, d\eta}{z-\eta }=(z-i)^{\ae} \int_{-\infty}^{+\infty}\frac{(\eta-i)^{|\ae |}g(\eta)\, d\eta}{z-\eta}. $$
Hence the boundary values on \({\mathbb{R}}\) for the left-hand side and the right-hand one are equal, and thus
$$P \bigl(g(\xi) \bigr)=(\xi-i)^{\ae}P \bigl((\xi-i)^{|\ae|}g(\xi ) \bigr). $$
Substituting the last formula into the solution formula we write
$$\tilde{u}_{+}(\xi)=\sigma^{-1}_{+}(\xi) (\xi+i)^{\ae}P \bigl((\xi -i)^{|\ae|}\sigma^{-1}_{-}(\xi)\widetilde{\mathit{lv}}(\xi) \bigr). $$
 □

5 Conclusion

It seems this approach to difference equations may be useful for studying the case that the variable x is a discrete one. We have some experience in the theory of discrete equations [911], and we hope that we can be successful in this situation also. Moreover, in our opinion the developed methods might be applicable for multi-dimensional difference equations.

Declarations

Acknowledgements

The authors are very grateful to the anonymous referees for their valuable suggestions. This work is supported by Russian Fund of Basic Research and government of Lipetsk region of Russia, project No. 14-41-03595-a.

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 Mathematical Analysis, National Research Belgorod State University
(2)
Chair of Pure Mathematics, Lipetsk State Technical University

References

  1. Milne-Thomson, LM: The Calculus of Finite Differences. Chelsea, New York (1981) MATHGoogle Scholar
  2. Jordan, C: Calculus of Finite Differences. Chelsea, New York (1950) Google Scholar
  3. Vasil’ev, VB: Wave Factorization of Elliptic Symbols: Theory and Applications. Introduction to the Theory of Boundary Value Problems in Non-Smooth Domains. Kluwer Academic, Dordrecht (2000) View ArticleGoogle Scholar
  4. Vasilyev, VB: General boundary value problems for pseudo differential equations and related difference equations. Adv. Differ. Equ. 2013, 289 (2013) MathSciNetView ArticleGoogle Scholar
  5. Vasilyev, VB: On some difference equations of first order. Tatra Mt. Math. Publ. 54, 165-181 (2013) MathSciNetGoogle Scholar
  6. Mikhlin, SG, Prößdorf, S: Singular Integral Operators. Akademie Verlag, Berlin (1986) View ArticleGoogle Scholar
  7. Sobolev, SL: Cubature Formulas and Modern Analysis: An Introduction. Gordon & Breach, Montreux (1992) MATHGoogle Scholar
  8. Dudgeon, DE, Mersereau, RM: Multidimensional Digital Signal Processing. Prentice Hall, Englewood Cliffs (1984) Google Scholar
  9. Vasilyev, AV, Vasilyev, VB: Discrete singular operators and equations in a half-space. Azerb. J. Math. 3(1), 84-93 (2013) MathSciNetGoogle Scholar
  10. Vasilyev, AV, Vasilyev, VB: Discrete singular integrals in a half-space. In: Current Trends in Analysis and Its Applications, Proc. 9th Congress, Krakow, Poland, August 2013, pp. 663-670. Birkhäuser, Basel (2015) View ArticleGoogle Scholar
  11. Vasilyev, AV, Vasilyev, VB: Periodic Riemann problem and discrete convolution equations. Differ. Equ. 51(5), 652-660 (2015) View ArticleGoogle Scholar
  12. Eskin, G: Boundary Value Problems for Elliptic Pseudodifferential Equations. Am. Math. Soc., Providence (1981) Google Scholar
  13. Gakhov, FD: Boundary Value Problems. Dover, New York (1981) Google Scholar
  14. Muskhelishvili, NI: Singular Integral Equations. North-Holland, Amsterdam (1976) Google Scholar
  15. Gokhberg, I, Krupnik, N: Introduction to the Theory of One-Dimensional Singular Integral Equations. Birkhäuser, Basel (2010) MATHGoogle Scholar

Copyright

© Vasilyev and Vasilyev 2015