 Research
 Open Access
 Published:
The bistability of higherorder differences of discrete periodic signals
Advances in Difference Equations volume 2014, Article number: 60 (2014)
Abstract
A theorem on higherorder absolute differences taken from successive terms of bounded sequences is proved. This theorem establishes the property of bistability of such difference series and suggests a method for converting periodic discretetime signals into the binary digital form based only on the computation of absolute differences.
MSC:37E05, 37M10, 94A12.
1 Introduction
This paper advances an approach in dynamical systems [1–5] which is based on considering higherorder differences taken from the orbits of a given system. Such an approach is motivated by the observation that some natural systems process the information contained in the signals’ difference structure. For example, it is claimed in brain theory that the visual cortex ‘responds to contrast rather than the uniform luminosity’ and the higher differences up to fourth order in these problems are considered [6].
The difference method reveals some new aspects in analyzing arbitrary time series and discrete dynamical systems. For instance, the difference characteristic γ introduced in [2, 3] demonstrates a strong correlation with the Lyapunov exponent [7] used in deterministic chaos (the definition of γ can be found in [2, 3]; see [8, 9] for its modification and discussions). Another possible generalization could relate to fractional analysis: it would be interesting to define the fractional analog of γ and apply it to chaos discrimination in fractional dynamical systems (such systems are studied, e.g., in [10–12]).
In the present paper another new aspect of the difference analysis, the bistability of higherorder differences taken from a bounded time series (discretetime signals) is proved. Some possible applications to digital communication and signal processing in Section 2 are considered.
The content of this paper is the following. In Section 2 our main Theorem 1 is formulated. This theorem establishes the property of bistability for higherorder absolute differences taken from discretetime signals. In the sense of applications it asserts that some systems operating on the basis of their inputs’ higherorder differences should rather be classified over digital ones. The theorem suggests a method for converting some discrete (and sampled analog) signals into a binary digital form based only on computation of absolute differences; if applicable (e.g., as for the case of arbitrary periodic signals), this method is more effective than the traditional ones used in communication theory. The proof of Theorem 1, based on a version of notion of peak sets originated in Banach algebras and approximation theory, is presented in Section 3.
2 Main results
In the difference analysis a given time series (or an orbit of a dynamical system) X is decomposed into two constituentsthe sign and magnitude components. The sign component S reflects the alternation in monotony (increase/decrease) of higherorder absolute differences taken from successive terms of X and does not depend on their exact values. The magnitude (or height) component H consists of these absolute differences and does not depend on the sign distribution.
Let us proceed to formal definitions. Let
be an infinite bounded numerical sequencethis can be some time series, discretetime signal, experimental data (long enough), or an orbit of iterates of some map. For natural m we consider m thorder absolute differences
and define the m th absolute difference sequence as ${H}_{m}={({H}_{n}^{(m)})}_{n=1}^{\mathrm{\infty}}$. Furthermore, we define
The matrices $\mathrm{S}=\{{\delta}_{n}^{(m)}:m\ge 0,n\ge 1\}$ and $\mathrm{H}=\{{H}_{n}^{(m)}:m\ge 0,n\ge 1\}$ are called S and Hcomponents of X, the sequences ${S}_{m}$ and ${H}_{m}$ are called m th S and Hcomponents of X and denoted ${S}_{m}={S}_{m}(X)$ and ${H}_{m}={H}_{m}(X)$. In what follows instead of ${H}_{n}^{(m)}$ we use the notation ${H}_{n}^{m}$ (omitted brackets).
The next proposition (see also [5]) states that ${H}_{n}^{m}$ can be written as some linear forms of terms of X. This is a consequence of Eq. (2) and the proof, which can be conducted by the induction method, is straightforward (omitted). The ℕ, ℤ, and ℝ denote the collections of natural, integer, and real numbers, respectively; $\left(\genfrac{}{}{0ex}{}{m}{i}\right)\phantom{\rule{0.25em}{0ex}}(=\frac{m!}{i!(mi)!})$ denotes the binomial coefficients.
Proposition 1 Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ and $m\ge 1$ be arbitrary. Then the mthorder absolute differences ${H}_{n}^{m}$ can be represented as
where the coefficients ${k}_{m,n}^{(i)}\in \mathbb{Z}$ are constructed recurrently: for $p\ge 1$
One can see that ${k}_{m,n}^{(i)}$ in Eq. (4) depend only on Scomponents ${S}_{1},\dots ,{S}_{m}$ of X. The rule (5) is a generalization of the additive scheme for constructing the Pascal triangle of binomial coefficients. It can be proved (we omit this) that for $m,n\ge 1$
The equality sign here is assumed when ${\delta}_{n}^{(m)}={(1)}^{m}$ for all $n\ge 1$; for this case, (4) gains the form
which is the socalled δtransform (of the sequence X) studied in the Hausdorff transforms of divergent series [13]. This particular sign distribution appears also in definition of completely monotonic functions (see, e.g., the Bernstein theorem in [14]).
In this paper we are interested in the Hcomponents of bounded sequences (discretetime signals). To formulate our main theorem, Theorem 1, we present Definition 1  namely in the context of this definition the (physicsrelated) term “bistability” in Section 1 is understood. In what follows, for bounded $X={({x}_{i})}_{i=1}^{\mathrm{\infty}}$ we consider the supnorm:
A finite subsequence $h=({x}_{i+1},\dots ,{x}_{i+k})$ of $X={({x}_{i})}_{i=1}^{\mathrm{\infty}}$ is called a segment of X of length k, $h=k$; for two functions of natural argument $a(m)$ and $b(m)$, differed from 0 we denote $a(m)\sim b(m)$ if $a(m)/b(m)\to 1$ as $m\to \mathrm{\infty}$. For a number $x\in \mathbb{R}$ we denote $[x]$ and $\{x\}$ its entire and fractional parts, respectively.
Definition 1 Let the numbers $0\le \mu <1$ and $0\le \epsilon <1$ be given. A sequence $X={({x}_{i})}_{i=1}^{\mathrm{\infty}}$ is called μbinary if ${x}_{i}\in \{0,\mu \}$ for every $i\ge 1$; X is called $(\mu ,\epsilon )$binary if there exists μbinary $Z={({z}_{i})}_{i=1}^{\mathrm{\infty}}$ such that $\parallel XZ\parallel \le \epsilon $. A collection of sequences ${({X}_{m})}_{m\ge 1}$ is called μbinary ($(\mu ,\epsilon )$binary) if ${X}_{m}$ is μbinary ($(\mu ,\epsilon )$binary) for all large enough m; ${({X}_{m})}_{m\ge 1}$ is called asymptotically μbinary if for arbitrary $\epsilon >0$ it is $(\mu ,\epsilon )$binary.
The $(\mu ,0)$binary sequences are μbinary sequences, $(0,\epsilon )$binary sequences are the sequences upper bounded by ε. For the case of finite sequences X of length n the abovegiven definitions are analogous, replacing in Eq. (7) and in Definition 1 the symbol ∞ by $n+1$ and n, respectively.
The proof of next proposition is straightforward (and is omitted).
Proposition 2 A collection of sequences ${({X}_{m})}_{m\ge 1}$ is asymptotically μbinary if and only if there exists a μbinary collection ${({Z}_{m})}_{m\ge 1}$ such that $\parallel {X}_{m}{Z}_{m}\parallel \to 0$ as $m\to \mathrm{\infty}$.
Theorem 1 is the main result of this paper. We define some notions involved in its formulation. For $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ and ${H}_{m}={H}_{m}(X)$ we consider
For periodic X the supremum in Eq. (7) can be replaced by maximum. We note that Eq. (2) yields the result that for every X we have ${\mu}_{m+1}\le {\mu}_{m}$ ($m\ge 1$). Due to this monotony of ${\mu}_{m}$, for arbitrary X one and only one of next two options (a) and (b) is possible:
We define the peak sets ${P}_{m}$,
(it follows from Eq. (8) that ${P}_{m}\ne \mathrm{\varnothing}$ for $m\ge 1$), modifying the corresponding notion from theory of Banach algebras (e.g., [14]). Let ${P}_{m}$ be numbered in increasing order of its entries,
In item (b) of Theorem 1 the following restrictions on ${P}_{m}$ are imposed:
The ${d}_{m}$ characterize the density of ${P}_{m}$ in natural series ℕ. The first condition in (12) means that ${P}_{m}$ is dense enough in ℕ (every segment of ℕ of length m contains a point of ${P}_{m}$); the second relation implies that the set
is infinite. If $n\in E$, then there is some $m\ge 1$ such $n=m{d}_{m}$; we denote such an m as $m={m}_{n}$; hence, one can consider a function of the natural argument,
For example, if ${d}_{m}=[m/2]$ (entire part of half of m), then (12) is satisfied and one can assign $\phi (n)=[n/2]$; another example is
In these examples, E coincides with ℕ; Eq. (15) holds, e.g., for Tperiodic X.
The next theorem establishes the bistability of higherorder absolute differences taken from discrete signals. In addition, it asserts (descriptively) that the denser the peak set ${P}_{m}$ is, the denser is the asymptotically binary ${H}_{m}$.
Theorem 1 Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$, ${H}_{m}={H}_{m}(X)$, and ${\mu}_{m}$ and μ be defined by Eq. (8). Then the following statements, provided that a finite collection (whose cardinality is smaller than ${d}_{m}$) of entries of ${H}_{m}$ can be excluded, are true:

(a)
For every $m\in \mathbb{N}$ there exists a finite segment ${h}_{m}\subset {H}_{m}$ such that ${h}_{m}\sim m$ as $m\to \mathrm{\infty}$ and the collection ${({h}_{m})}_{m=1}^{\mathrm{\infty}}$ is asymptotically μbinary.

(b)
If the peak sets (10) satisfy Eq. (12) then the collection ${({H}_{n})}_{n\in E}$, where E is defined by Eq. (13), is asymptotically μbinary; more precisely, for every $n\in E$ the ${H}_{n}$ is $(\mu ,{\epsilon}_{n})$binary with ${\epsilon}_{n}={\mu}_{\phi (n)}\mu $ where φ is defined by Eq. (14).

(c)
Let X be periodic with a period $T\ge 1$. Then the collection ${({H}_{m})}_{m=1}^{\mathrm{\infty}}$ is either μbinary or asymptotically μbinary. More precisely, if Eq. (9a) holds, ${({H}_{m})}_{m=1}^{\mathrm{\infty}}$ is μbinary, and if Eq. (9b) holds, ${({H}_{m})}_{m=1}^{\mathrm{\infty}}$ is asymptotically μbinary: for every $m>T$ the ${H}_{m}$ is $(\mu ,{\epsilon}_{m})$binary with ${\epsilon}_{m}={\mu}_{mT}\mu $.
The condition Eq. (12) on peak sets in this theorem is imposed on the difference series ${H}_{m}$, but not immediately on X, which leads to certain difficulties to decide whether for a given X its higher order difference series possess the asymptotic bistability. Theorem 1(c) asserts that this property always holds for arbitrary periodic X.
In the next corollary both options from Theorem 1(c) are presented (below, the real numbers ${f}_{1},\dots ,{f}_{T}$ are called Hindependent if for arbitrary ${\lambda}_{1},\dots ,{\lambda}_{T}\in \mathbb{Z}$ for which ${\lambda}_{1}+\cdots +{\lambda}_{T}=0$, the relation ${\sum}_{i=1}^{T}{\lambda}_{i}{f}_{i}=0$ implies that all the ${\lambda}_{i}$ are zero):
Corollary 1 Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ be periodic with a period $T\ge 1$, ${H}_{m}={H}_{m}(X)$, and let μ be defined by Eq. (8). Then if ${f}_{1},\dots ,{f}_{T}$ are rational numbers then the collection ${({H}_{m})}_{m=1}^{\mathrm{\infty}}$ is μbinary, and if ${f}_{1},\dots ,{f}_{T}$ are Hindependent then ${({H}_{m})}_{m=1}^{\mathrm{\infty}}$ is asymptotically μbinary.
Let us discuss the reason why a bistability, considered in Theorem 1, is emerged. Despite the X (the line ${H}_{0}$ in the matrix H) can be arbitrary, Eq. (2) sets a strong interrelation between the entries of every triplet $\{{H}_{n}^{m+1},{H}_{n}^{m},{H}_{n+1}^{m}\}$ of the matrix H. Namely such intrinsic local restrictions are usually the reason of some special features (in our case this is the bistability) of a given object (in our case this is the matrix H); e.g., the maximum principle for harmonic functions (both classical and discrete [15] versions) is due to their local mean value property. For proving Theorem 1 we exploit the following situation: if the absolute difference ($={H}_{n}^{m+1}$) of two positive quantities (${H}_{n}^{m}$ and ${H}_{n+1}^{m}$) is close to their upper bound, then one of them should also be close to this bound while another one should be close to zero. Similar situations arise also in Banach algebras and approximation theory, see, e.g., the Bishopde Leeuw theorem ([14], Ch. 8), Bishop’s “$\frac{1}{4}\frac{3}{4}$”criterion ([16], Ch. II, Comments) and Mergelyan’s earlier work [17] on rational approximations where a binaryvalued function $\mathfrak{m}(\zeta )$ is of the main interest.
Before discussing on applications of Theorem 1 we note that a given signal $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ can be completely restored by its first entries and components S and H. Namely, the next proposition (see also [5]; the proof is by the induction method and is omitted) provides us with analytical expressions for the computation of the original X by given ${S}_{1},\dots ,{S}_{m}$, ${H}_{m}$ and the first terms ${f}_{1},\dots ,{f}_{m}$ of X (or, by first terms of ${H}_{1}^{m}$ denoted now as ${H}_{1}^{k}=[{f}_{1},\dots ,{f}_{k}]$, $2\le k\le m$).
Proposition 3 Let $m\ge 1$ be given, let $H={({h}_{n})}_{n=1}^{\mathrm{\infty}}$ be some infinite sequence, ${h}_{n}\ge 0$ and ${S}_{k}={({s}_{k,n})}_{n=1}^{\mathrm{\infty}}$, ${s}_{k,n}=\pm 1$, $0\le k\le m$ be some infinite binary sequences. Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ be defined as follows: ${f}_{1},\dots ,{f}_{m}$ are arbitrary and for every natural $n\ge 1$
where ${\sum}_{i}^{j}=0$ if $j<i$ and ${B}_{n,i,p}\in \mathbb{Z}$ are constructed recurrently: for $p\ge 1$
Then for all $1\le k\le m$ the relations
hold.
Let us outline some possible applications of the abovepresented theory to signal processing. Theorem 1 suggests a method for converting the discrete signals into the binary ones based only on the computation of differences. For processing the signals $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ for which ${\mu}_{m}$ converges to μ fast enough, this method can be far more effective than the ones which deal with replacing ${f}_{n}$ by their binary codes. Namely, we claim that, when applicable (e.g., if X is periodic), the difference converting method can reduce the data to be transmitted and can increase significantly the transmission speed. One can suggest the following scheme for processing (not only the transmission) the discretetime signals by the digital systems: by Theorem 1 (and using Proposition 1) a given X is converted into a binary form, which is then processed as a digital signal, and then the obtained (binary) signal is deconverted (provided that a number of Scomponents and some finite set of the resulting signal entries are given) by Proposition 3.
To illustrate this, we consider the periodic case. Let a signal $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ be periodic; by using the binary symbols it should be transmitted (it suffices to transmit the period ${f}_{1},\dots ,{f}_{T}$). The traditional method, where each of the ${f}_{i}$ is replaced by a binary code of some length q, requires qT binary digits (bits) to be transmitted. By the difference method, this transmission task is solved as follows. Let m be a minimal number for which the sequence ${H}_{m}$ can be treated as a binary one (the ${\epsilon}_{m}$ from Theorem 1 is small enough). According to Proposition 3, to transmit X one should transmit $m(q+T+2)$ bits ($(m+1)q$ of them to transmit ${f}_{1},\dots ,{f}_{m}$ and μ by usual method, mT to transmit ${S}_{1},\dots ,{S}_{m}$, and m bits to transmit ${H}_{m}$). If $m<T$, the ratio
can be smaller than 1, i.e., the difference method indeed is more effective; e.g., if ${f}_{i}=i$ ($1\le i\le T$), then $m=2$ and the abovementioned ratio is indeed small if q and T are large.
3 Proof of Theorem 1
The proof of Theorem 1 is based on the following lemma, where the notion of peak sets defined by Eq. (10) is essentially used.
Lemma 1 Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$, ${H}_{m}={H}_{m}(X)$, ${\mu}_{m}$ and μ be defined by Eq. (8), and for some $m,n\ge 1$, the inequality
holds. Then for every $0\le k\le m$ and every $0\le i\le k$ one of the two relations (19) or (20),
holds; that means that for every $1\le k\le m$ the finite sequence
is $(\mu ,\epsilon )$binary with $\epsilon ={\mu}_{mk}\mu $.
Proof The proof is conducted by the induction method with respect to the variable k, $1\le k\le m1$. Let us first prove the lemma for the case $k=1$. From definition of ${\mu}_{m}$ and μ, we have
Let us assume that ${H}_{n}^{m1}\ge {H}_{n+1}^{m1}$ (for the contrary case ${H}_{n}^{m1}\le {H}_{n+1}^{m1}$ the proof is analogous); that is, the second relation in Eq. (22) can be written as
From the lefthand side of (23) we obtain $\mu \le {H}_{n}^{m1}$, and from the definition in Eq. (8) it follows that ${H}_{n}^{m1}\le {\mu}_{m1}$, that is, $\mu \le {H}_{n}^{m1}\le {\mu}_{m1}$. Furthermore, from Eq. (23) one obtains
and, hence, Lemma 1 for the case $k=1$ is proved.
To prove the lemma for arbitrary $2\le k\le m$, we apply the induction method: we assume that one of the relations (19) or (20) for some $1\le k\le m2$ holds, and we prove that it holds also when k is substituted by $k+1$. Let us assume that Eq. (19) holds (for the case of Eq. (20) the proof is analogous). By Eq. (2)
and let us assume that the difference here is positive (if it is negative, the proof is the same),
From (19) we have ${H}_{n+i}^{m(k+1)}\ge \mu $. We also have
and, hence, the first relation in Eq. (19), where k is substituted by $k+1$, is proved. Let us now consider the second relation in (19). Eqs. (24) and (19) give
and Eqs. (19) and (20), where k is substituted by $k+1$, are proved. Lemma 1 is proved. □
Proof of Theorem 1 (a) Let $X={({f}_{n})}_{n=1}^{\mathrm{\infty}}$ be given, ${H}_{m}={H}_{m}(X)$, and ${\mu}_{m}$ and μ be defined by Eq. (8). It follows from definition of μ that for every $m\ge 1$ there is some $n={n}_{m}$ such that ${H}_{n}^{m}\ge \mu $ (cf. Eq. (18)). Then by Lemma 1 for every $1\le k\le m$ the sequence
is $(\mu ,{\mu}_{mk}\mu )$binary. Let $k(m)$ be such that $k(m)<m$, $(mk(m))\to \mathrm{\infty}$, and $k(m)\sim m$ as $m\to \mathrm{\infty}$. Then by Lemma 1 the finite sequence
with length ${h}_{m}=k(m)+1$ is $(\mu ,\epsilon )$binary with $\epsilon ={\mu}_{mk(m)}\mu $. Since $\epsilon \to 0$ and ${h}_{m}\to \mathrm{\infty}$ as $m\to \mathrm{\infty}$, item (a) of the theorem is proved.
(b) As in Eq. (25), with every ${n}_{m}^{(i)}\in {P}_{m}$ (see Eq. (11)) we associate a sequence ${h}_{m}^{(i)}$. Since ${d}_{m}<m$ and $(m{d}_{m})\to \mathrm{\infty}$, one can assign in Eq. (25) $k(m)={d}_{m}$ what means that
Since every i th ${h}_{m}^{(i)}$ is $(\mu ,\epsilon )$binary with $\epsilon ={\mu}_{m{d}_{m}}\mu $, their union ${H}_{m{d}_{m}}$ is also $(\mu ,\epsilon )$binary with the same ε. Since $\epsilon \to 0$ as $m\to \mathrm{\infty}$, item (b) of the theorem is proved.
(c) The proof can be deduced from the previous item (b) and the example from Eq. (15). We present a more detailed proof. If Eq. (9a) holds, the proof of the theorem follows ab absurdo, if one takes into account Eq. (2) and the periodicity of every ${H}_{m}$. Let us consider the case when Eq. (9b) holds. Since every ${H}_{m}$ is Tperiodic, to prove that ${H}_{m}$ is $(\mu ,\epsilon )$binary it suffices to prove that for some n the finite sequence
is $(\mu ,\epsilon )$binary. This statement follows from Lemma 1 if one considers the sequence ${H}_{m+T}$ and chooses some $n\ge 1$ such that ${H}_{n}^{m+T}\ge \mu $ (cf. Eq. (18)): indeed, then Lemma 1 yields the result that the finite sequence (26) is $(\mu ,\epsilon )$binary with $\epsilon ={\mu}_{mT}\mu $. Then due to the Tperiodicity of ${H}_{m}$ we see that ${H}_{m}$ is also $(\mu ,\epsilon )$binary. Item (c) of the theorem is proved. Theorem 1 is proved. □
Proof of Corollary 1 To prove the first point of Corollary 1, we note that since X is periodic and the ${f}_{i}$ are rational, by considering the common denominator for ${f}_{1},\dots ,{f}_{T}$ one can suppose that X is a (periodic) sequence of natural numbers; then it follows that Eq. (9a) for such X holds, and hence ${({H}_{m})}_{m\ge 1}$ is μbinary. The second point of Corollary 1 follows from Eq. (6). Indeed, due to the assumption on Hindependence none of the ${H}_{n}^{m}$ can take the value 0, and hence by Theorem 1(c) ${({H}_{m})}_{m\ge 1}$ cannot be μbinary and then Eq. (9a) is impossible; then the alternative option Eq. (9b) mentioned in Theorem 1(c) asserts that ${({H}_{m})}_{m\ge 1}$ is asymptotically μbinary. Corollary 1 is proved. □
References
 1.
Shahverdian AY, Apkarian AV: On irregular behavior of neuron spike trains. Fractals 1999, 7: 93103. 10.1142/S0218348X99000116
 2.
Shahverdian AY: The finitedifference method for analyzing onedimensional nonlinear systems. Fractals 2000, 8: 4965.
 3.
Shahverdian AY, Apkarian AV: A difference characteristic for onedimensional nonlinear systems. Commun. Nonlinear Sci. & Comput. Simul. 2007, 12: 233242. 10.1016/j.cnsns.2005.02.004
 4.
Shahverdian AY: Minimal Lie algebra, fine limits, and dynamical systems. Rep. Armenian Natl. Acad. Sci. 2012, 112: 160169.
 5.
Shahverdian AY, Kilicman A, Benosman RB: Higher difference structure of some discrete processes. Adv. Differ. Equ. 2012., 2012: Article ID 202
 6.
Miller KD 3. In Models of Neural Networks. Edited by: Domany E, Hemmen JL, Schulten K. Springer, New York; 1996.
 7.
Schuster HG: Deterministic Chaos. PhysikVerlag, Weinheim; 1984.
 8.
Dai L, Wang G: Implementation of periodicity ratio in analyzing nonlinear dynamic systems: a comparison with Lyapunov exponent. J. Comput. Nonlinear Dyn. 2008, 3: 10061015.
 9.
Dai L: Nonlinear Dynamics of Piecewise Constant Systems and Implementation of Piecewise Constant Arguments. World Scientific, Singapore; 2008.
 10.
Wu GC, Baleanu D: Discrete fractional logistic map and its chaos. Nonlinear Dyn. 2014, 75: 283287. 10.1007/s1107101310657
 11.
Wu GC, Baleanu D, Zeng SD: Discrete chaos of fractional sine and standard maps. Phys. Lett. A 2014, 378: 484487. 10.1016/j.physleta.2013.12.010
 12.
Tarasov VE, Edelman M: Fractional dissipative standard map. Chaos 2010., 20: Article ID 023127
 13.
Hardy GH: Divergent Series. Clarendon, Oxford; 1949.
 14.
Phelps RP: Lectures on Choquet Theorems. Van Nostrand, Princeton; 1966.
 15.
Dynkin EB, Yushkevich AA: Theorems and Problems on Markov Processes. Nauka, Moscow; 1967.
 16.
Gamelin TW: Uniform Algebras. Prentice Hall, Englewood Cliffs; 1969.
 17.
Mergelyan SN: Some Results in the Theory of Uniform and Best Approximation by Polynomials and Rational Functions. Amer. Math. Soc., Providence; 1960. Appendix to the Russian Translation of the Walsh, JL: Interpolation and Approximation by Rational Functions in the Complex Domains
Acknowledgements
AYS would like to thank Prof. H Niederreiter for his interest to this work and discussions. The authors thank the reviewers of the manuscript for their comments.
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
AYS participated in the most part of results formulations, their proofs, and the manuscript preparation. RPA participated in the preparation of proofs of results and drafted the manuscript. RBB participated in preparing of the proofs, discussing signal processing, and drafting the manuscript. All authors read and approved the final manuscript.
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
Cite this article
Shahverdian, A., Agarwal, R. & Benosman, R. The bistability of higherorder differences of discrete periodic signals. Adv Differ Equ 2014, 60 (2014). https://doi.org/10.1186/16871847201460
Received:
Accepted:
Published:
Keywords
 higherorder differences
 discrete dynamical systems
 discretetime signals