- Research
- Open access
- Published:
Investigation of linear difference equations with random effects
Advances in Difference Equations volume 2020, Article number: 579 (2020)
Abstract
In this study, random linear difference equations obtained by transforming the components of deterministic difference equations to random variables are investigated. Uniform, Bernoulli, binomial, negative binomial (or Pascal), geometric, hypergeometric and Poisson distributions have been used for the random effects for obtaining the random behavior of linear difference equations. The random version of the Z-transform, the RZ-transform, has been used to obtain an approximation for the random linear difference equation. Approximate expected values and variances are calculated by using the RZ-transform. The results have been obtained with Maple and are shown in graphs. It is shown that the random Z-transform is an effective tool for the investigation of random linear difference equations.
1 Introduction
Difference equations are known as the first theory to emerge with the systematical development of mathematics. Having emerged as the discrete analogues of differential equations, difference equations are a field of mathematics with a rich application area. Difference equations found in economy, biology, signal processing, computer engineering, genetics, medicine, ecology and digital control some of its application fields [1–9].
Today, difference equations are used for system analysis and design with the use of the Z-transform. The Z-transform has been introduced in mid-20th century [10]. The z-transform, together with probability theory, was first introduced by de Moivre in 1730 and is known among mathematicians as the “generator function method”. The Z-transform of an array is the generating function of this array, where the independent variable Z is replaced by a mutual \(1/Z\). It has been used within probability theory [11] and to treat data control systems [12]. In 1952, it was called the Z-transform by Ragazzini and Zadeh [13]. Recently, the Z-transform has been highly developed as a result of its use in digital computer systems. In these systems, discrete system theory is developed due to the fact that information and signals are discrete. The Z-transformation method is one of the transformation methods that can be applied to the solution of linear difference equations. It reduces the solutions of such equations to algebraic solutions and resembles the Laplace transform method commonly used in solving differential equations [12]. Some of the studies in this area are given in [14–23].
In this study the random version of the Z-transform, the RZ-transform, has been applied to obtain an approximation to the solution of random linear difference equation. Difference equations are transformed into random difference equations through the use of several probability distributions. The approximate solutions obtained by Z-transform are used to obtain the approximate expected values and variances of random linear difference equations, which are shown in graphs. Sections 2 and 3 contain introductory information on linear difference equations and Z-transform method. Section 4 contains numerical examples with uniform, geometric, Poisson and Bernoulli distributions.
2 Difference equations
Definition 1
The equation with \(n \in \mathbb{N}=\{ 0,1,\ldots \}\) independent variables and unknown x such that
is called a difference equation [1–9].
Definition 2
Let x be a continuous variable and \(h_{k} (x)\) and \(g(x)\) be real valued functions with \(n\geq n_{0}\) such that \(h_{k} \neq 0\), then the difference equation
is called a linear difference equation of order n.
Equation (1) is called a linear homogeneous difference equation of order n for \(g ( x ) =0\) and a non-homogeneous linear difference equation of order n for \(g ( x ) \neq 0\) [13].
-
Z-transform
Definition 3
Let the sequence \(x(n)\) defined for the negative integers \(n=-1,-2,\ldots \) be given. The Z-transform for the sequence \(x(n)\) is given as
Theorem 1
The set of numbers z on the complex plane is called the convergence region \(x(z)\) for the convergence of the sequence (2). The ratio test is the most used method for finding the convergence region of the sequence (2). Assume that
The convergence of (2) with ratio test is
and its divergence
Hence, the sequence (2) is convergent for \(\vert z \vert >R\) and divergent for \(\vert z \vert < R\). The number R is called the radius of convergence. If \(R=0\), the sequence \(\tilde{x} ( z )\) is everywhere convergent. On the other side, if \(R=\infty \), the Z-transform is everywhere divergent.
-
Properties of Z-transform
1. Linearity: Let \(\tilde{x} ( z )\) be the Z-transform of \(x(n)\) with a radius of convergence of \(R_{1}\) and \(\tilde{y} ( z )\) be the Z-transform of \(y(n)\) with a radius of convergence of \(R_{2}\). For complex numbers λ, β
2. Shifting: Let R be the radius of convergence of \(\tilde{x} ( z )\).
a. Right shifting: If \(x ( -j ) =0\), \(j=1,2,\ldots,k\), then
b. Left shifting:
The most used versions of (5) are
3. Initial and final values:
a. Initial value theorem:
b. Final value theorem:
Proof
a. The proof of (6) follows from the definition of \(\tilde{x} ( z )\).
b. To prove (7)
If (5) is applied to the left of this equation
Thus,
□
4. Multiplication by \(a ^{ n }\): Let \(\tilde{x} ( z )\) be the Z-transform of \(x(n)\) with a radius of convergence of R. Then
The proof of (8) follows from the definition.
5. Multiplication by \(n ^{ k }\):
Similarly, if the order is increased
and hence
Its generalization gives
Thus
Definition
(Inverse Z-transform)
A Z-transform transforms the difference equation of an unknown \(x(n)\) sequence to an algebraic equation in \(\tilde{x} ( z )\). Afterwards, the \(x(n)\) sequence is obtained from \(\tilde{x} ( z )\) through an operation known as inverse Z-transform. Symbolically, this operation can be shown as
The uniqueness of the inverse Z-transform can be obtained as follows. Assume two sequences \(x(n)\), \(y(n)\) have the same Z-transform, i.e.
Hence,
is used to obtain the inverse Z-transform [25].
3 Discrete time probability distributions
3.1 Discrete uniform distribution
Definition
For a random variable, the value of the probability function is a discrete probability distribution if all the values between the lower and upper bounds of the integer are constant. For any random positive n in the form of \(k_{1}, k_{2},\ldots, k_{n}\)
if each of them shows equal probability, then this random variable is called a (discrete) uniform distributed random variable [28, 29].
Theorem
If X has a discrete uniform distribution, then
-
a.
\(E ( X ) = \frac{k+1}{2}\),
-
b.
\(V ( X ) = \frac{k^{2} -1}{12}\),
-
c.
\(M_{x} ( t ) = \frac{1}{k} \sum_{x=1}^{k} e^{tx}\).
3.2 Bernoulli distribution
Definition
For the random variable X, p takes a value of 1 with probability of success, and X, takes a value of 0 with probability of failure where \(q=1-p\), then this random variable is called the Bernoulli random variable. The Bernoulli probability mass function is given as [28, 29]:
Theorem
If X has a Bernoulli distribution,
-
a.
\(E ( X ) =p\),
-
b.
\(V ( X ) =p ( 1-p )\),
-
c.
\(M_{x} ( t ) = e^{t} p+ ( 1-p ) \).
3.3 Binomial distribution
Definition
Let n be the total number of independent Bernoulli successful trials and X be the random variable. If the probability of success for a single experiment is p and the probability of failure \((1-p)\), then X is called the binomial random variable X and the probability function of X is
Calculation of consecutive binomial probabilities:
Theorem
If X has a binomial distribution,
-
a.
\(E ( X ) =np\),
-
b.
\(V ( X ) =np ( 1-p )\),
-
c.
\(M_{x} ( t ) = [ e^{t} p+(1-p) ]^{n} \).
3.4 Negative binomial (Pascal) distribution
Definition
Let X be the random variable of the number of trials required to achieve success \(K\geq 1\), with the probability of success p in each experiment for independent Bernoulli trials. In this case, X is called a negative binomial random variable and its probability function is given as
Theorem
If X has a negative binomial distribution,
-
a.
\(E ( X ) = \frac{k}{p}\),
-
b.
\(V ( X ) = \frac{k ( 1-p )}{p^{2}}\),
-
c.
\(M_{x} ( t ) = \frac{p^{k} e^{tk}}{ ( 1- e^{t} q )^{k}}\).
3.5 Geometric distribution
Definition
If the number of Bernoulli trials is repeated n times, the number of tests performed to achieve the first success is called geometric distribution and if X is the probability of success for each trial, p is the probability function for the number of trials required to achieve a single success [28, 29],
Theorem
If X has a geometric distribution,
-
a.
\(E ( X ) = \frac{1}{p}\),
-
b.
\(V ( X ) = \frac{(1-p)}{p^{2}}\),
-
c.
\(M_{x} ( t ) =p e^{t} \frac{1}{1- [ e^{t} (1-p) ]} \).
3.6 Hypergeometric distribution
Definition
Let a be the number of elements of a given Type A in a mass consisting of a finite number of N elements. Let X be the number of elements of its type in a sample of n units that are randomly drawn without replacing them again. X is a random hypergeometric variable and the hypergeometric probability mass function is given as [28, 29]
Theorem
If X has a hypergeometric distribution,
-
a.
\(E ( X ) = \frac{nM}{N}\),
-
b.
\(V ( X ) = \frac{M ( M-1 ) n ( n-1 )}{N ( N-1 )} +M \frac{n}{N}\),
-
c.
\(M_{x} (t)= \frac{N-n}{N-1} n \frac{M}{N} (1- \frac{M}{N} )\).
3.7 Poisson distribution
Definition
\(f ( x ) =P ( X=x ) = \frac{e^{-\lambda } \lambda ^{x}}{x!}\); \(x=0,1,2,\ldots \) , \(\lambda >0\). The Taylor expansion of the function \(e^{y}\) and the probability function gives (\(e^{y} = \sum_{i=0}^{\infty } \frac{y^{i}}{i!}\)):
Theorem
If X has a Poisson distribution,
-
a.
\(E ( X ) =\lambda \),
-
b.
\(V ( X ) =\lambda \),
-
c.
\(M_{x} = e^{\lambda ( e^{t} -1)}\).
4 Numerical examples
Some numerical examples are given for random linear difference equations through the use of various probability distributions.
Example 1
Let A, B be random variables with uniform distribution such that
We investigate the behavior of the solution of (11) with the Z-transform method.
Solution. The Z-transform of both sides of (11) gives
Partial fractions of \({\tilde{x} ( z )} / {z}\) gives
It can be found that \(a_{1} = \frac{4A+B}{3}\), \(a_{2} = \frac{-A-B}{3}\). Hence,
The inverse Z-transform \(Z^{-1} [ \tilde{x} ( z ) ] =x(n)\) gives
Higher moments of the random variables are needed to obtain the approximate expected values and variances. The moment generating function of a uniformly distributed random variable \(X\sim U(\alpha ,\beta )\) is given as [29]
Hence, the expected value and variance of the random variable X are
To find the numerical characteristics of (5), we start with the expectation:
which gives
The variance is obtained as follows:
which is found to be
Let us investigate the case \(\alpha =3\) and \(\beta =1\) for \(A,B\sim U(\alpha =3,\beta =1)\). The numerical characteristics of the approximate solution of the random linear difference equation obtained from the random Z-transform are obtained as follows [30–44]:
Example 2
Let A, B be random variables with geometric distribution such that \(A,B\sim G(p,q)\) where \(p= \frac{1}{3}\) and \(q= \frac{2}{3}\).
We investigate the behavior of the solution of (18) with the Z-transform method.
Solution. The Z-transform of both sides gives
Partial fraction of \({\tilde{x} ( z )} / {z}\) gives
This equation gives \(a_{1} = \frac{-1}{3}\), \(a_{2} = \frac{1+A+B}{4}\), \(a_{3} = \frac{1+9A-3B}{12} \). Hence
The inverse Z-transform \(Z^{-1} [ \tilde{x} ( z ) ] =x(n)\) gives
The moment generating function of a geometrically distributed random variable \(X\sim G(p,q)\) is given as [29]
Hence, the expected value and variance of the random variable X are
To find the numerical characteristics of (22), we start with the expectation:
which gives
The variance is obtained as follows:
which is found to be
Let the parameters be \(A,B\sim G(p= \frac{1}{3}, q= \frac{2}{3} )\). The numerical characteristics of the approximate solution of the random linear difference equation obtained from the random Z-transform are as follows [30–44]:
Example 3
Let A, B be random variables with a Poisson distribution such that
We investigate the behavior of the solution of (25) with the Z-transform method.
Solution. The Z-transform of both sides gives
Partial fraction of \({\tilde{x} ( z )} / {z}\) gives
Here,
Hence,
The inverse Z-transform \(Z^{-1} [ \tilde{x} ( z ) ] =x(n)\) gives
The moment generating function of a Poisson distributed random variable \(X\sim P(\lambda )\) is given as [29]
Hence, the expected value and variance of the random variable X are
To find the numerical characteristics of (28), we start with the expectation:
which gives
The variance is obtained as follows:
which is found to be
Let the parameters be \(A,B\sim P(\lambda =2)\). The numerical characteristics of the approximate solution of the random linear difference equation obtained from the random Z-transform are obtained as follows [30–44]:
Example 4
Let A, B be random variables with Bernoulli distribution such that \(p= \frac{1}{5}\) and \(q= \frac{4}{5}\) in
We investigate the behavior of the solution of (31) with the Z-transform method.
Solution. The Z-transform of both sides gives
Partial fraction of \({\tilde{x} ( z )} / {z}\) gives
Here,
Hence,
The inverse Z-transform \(Z^{-1} [ \tilde{x} ( z ) ] =x(n)\) gives
The moment generating function of a Bernoulli distributed random variable \(X \sim B(p,q)\) is given as [29]
Hence, the expected value and variance of the random variable X are
To find the numerical characteristics of (35), we start with the expectation:
which gives
The variance is obtained as follows:
which is found to be
Let the parameters be \(A,B\sim B(p= \frac{1}{5}, q= \frac{4}{5} )\). The numerical characteristics of the approximate solution of the random linear difference equation obtained from the random Z-transform are obtained as follows [30–44]:
5 Conclusion
The application of the Z-transform for obtaining solutions to random linear difference equations is examined in this study and random behavior of the solutions have been investigated with uniform, geometric, Poisson and Bernoulli distributions for the random behavior of linear difference equations. Expected values and variances of the solutions have been obtained and are shown in graphs. Hence, it has been shown that the Z-transform is the most suitable method for the solutions of random linear difference equations.
References
Din, Q.: On a system of rational difference equation. Demonstr. Math. 47(2), 324–335 (2014)
Din, Q.: Global character of a rational difference equation. Thai J. Math. 12(1), 55–70 (2013)
Din, Q., Qureshi, M.N., Khan, A.Q.: Dynamics of a fourth-order system of rational difference equations. Adv. Differ. Equ. 2012(1), 215 (2012)
Din, Q.: Dynamics of a discrete Lotka–Volterra model. Adv. Differ. Equ. 2013(1), 95 (2013)
Din, Q., Donchev, T.: Global character of a host-parasite model. Chaos Solitons Fractals 54, 1–7 (2013)
Din, Q.: Global behavior of a rational difference equation. Acta Univ. Apulensis 34, 35–49 (2013)
Gümüş, F.H.: Yüksek Mertebeden Fark Denklemlerinin Global DavranışlarıÜzerine, Master Thesis, Afyon Kocatepe Üniversitesi Fen Bilimleri Enstitüsü Afyon (2015)
Elaydi, S.: An Introduction to Difference Equations, 3rd edn. Springer, New York (2005)
Kulenovic, M.R., Ladas, G.: Dynamics of Second Order Rational Difference Equations: With Open Problems and Conjectures. Chapman & Hall/CRC, London (2001)
Jury, E.I.: Sampled-Data Control Systems. Krieger, Melbourne (1982)
Kanasewich, E.R.: Time Sequence Analysis in Geophysics. University of Alberta, pp. 186, 249 (1981)
Jury, E.I.: Theory and Application of the z-Tansform Method. Krieger, Huntington (1964)
Ragazzini, J.R., Zadeh, L.A.: The analysis of sampled-data systems. Trans. Am. Inst. Electr. Eng., 2, Appl. Ind. 71(5), 225–234 (1952)
Merdan, M., Bekiryazici, Z., Kesemen, T., Khanlyev, T.: Deterministic stability and random behavior of a hepatitis C model. PLoS ONE 12(7), e0181571 (2017)
Merdan, M., Bekiryazici, Z., Kesemen, T., Khaniyev, T.: Comparison of stochastic and random models for bacterial resistance. Adv. Differ. Equ. 2017(1), 133 (2017)
Wu, G.C., Baleanu, D., Luo, W.H.: Lyapunov functions for Riemann–Liouville-like fractional difference equations. Appl. Math. Comput. 314(1), 228–236 (2017)
Zhang, Q., Hu, Z., Deng, B., Xu, M., Guo, Y.: A simple iterative method for compensating the response delay of a self-powered neutron detector. Nucl. Sci. Eng. 186, 293–302 (2017)
Shen, Y., Li, Y.: The z-transform method for the Ulam stability of linear difference equations with constant coefficients. Adv. Differ. Equ. 2018(1), 396 (2018)
Warnke-Sommer, J.D., Lynch, J.J., Pawaskar, S.S., Damann, F.E.: Z-transform method for pairwise osteometric pair-matching. J. Forensic Sci. 64(1), 23–33 (2019)
Caldarola, F., Maiolo, M., Solferino, V.: A new approach to the Z-transform through infinite computation. Commun. Nonlinear Sci. Numer. Simul. 82, 105019 (2020)
Marchessoux, D.M., Bonnet, M., Chaillat, S., Leble, B.: A fast boundary element method using the Z-transform and high-frequency approximations for large-scale three-dimensional transient wave problems (2020)
Zheng, M., Liu, F., Jin, Z.: The global analysis on the spectral collocation method for time fractional Schrödinger equation. Appl. Math. Comput. 365(15), 124689 (2020)
Merdan, M., Altay, Ö., Bekiryazici, Z.: Investigation of the behaviour of Volterra integral equations with random effects. Gümüşhane Universitesi Fen Bilimleri Enstitusü Dergisi 10(1), 205–216 (2020)
Akyol, S.: Lineer fark denklemleri ve onların çözüm metodlarıüzerine. Doctoral dissertation, Yozgat Bozok Üniversitesi Fen Bilimleri Enstitüsü (2011)
Churchill, R.V., Brown, J.W.: Complex Variables and Applications. McGraw-Hill, New York (2004)
Daud, S., Chaudary, K.T., Bahadoran, M., Ali, J.: Z-transform method for optimization of add-drop configuration system. J. Teknol. 74(8), 101–105 (2015)
Graf, U.: Applied Laplace Transforms and z-Transforms for Scientists and Engineers (2004). A CIP catalogue record for this book is available from the library of Congress, Washington D.C., USA
Akdeniz, F.: Olasılık ve İstatistik. Akademiyen Kitabevi, Ankara (2014)
Feller, W.: An Introduction to Probability Theory and Its Applications, vol. 1, 3rd edn. Wiley, New York (1968)
Soong, T.T.: Random Differential Equations in Science and Engineering (1973)
Kloeden, P.E., Platen, E.: Numerical Solutions of Stochastic Differential Equations. Springer, Berlin (1995)
Calbo, G., Cortés, J.C., Jódar, L.: Mean square power series solution of random linear differential equations. Comput. Math. Appl. 59(1), 559–572 (2010)
Cortés, J.C., Jódar, L., Villafuerte, L.: Mean square numerical solution of random differential equations: facts and possibilities. Comput. Math. Appl. 53(7), 1098–1106 (2007)
Cortés, J.C., Jódar, L., Villafuerte, L.: Numerical solution of random differential equations: a mean square approach. Math. Comput. Model. 45(7–8), 757–765 (2007)
Cortés, J.C., Jódar, L., Villafuerte, L.: Random linear-quadratic mathematical models: computing explicit solutions and applications. Math. Comput. Simul. 79(7), 2076–2090 (2009)
Cortés, J.C., Jódar, L., Villafuerte, L., Company, R.: Numerical solution of random differential models. Math. Comput. Model. 54(7–8), 1846–1851 (2011)
Cortés, J.C., Jódar, L., Villanueva, R.J., Villafuerte, L.: Mean square convergent numerical methods for nonlinear random differential equations. In: Transactions on Computational Science VII, pp. 1–21. Springer, Berlin (2010)
Fakharzadeh, J., Hesamaeddini, E., Soleimanivareki, M.: Multi-step stochastic differential transformation method for solving some class of random differential equations. Appl. Math. Eng. Manag. Technol. 3(3), 115–123 (2015)
Golmankhaneh, A.K., Porghoveh, N.A., Baleanu, D.: Mean square solutions of second-order random differential equations by using homotopy analysis method. Rom. Rep. Phys. 65(2), 350–362 (2013)
Khalaf, S.L.: Mean square solutions of second-order random differential equations by using homotopy perturbation method. Int. Math. Forum 6(48), 2361–2370 (2011)
Khudair, A.R., Ameen, A.A., Khalaf, S.L.: Mean square solutions of second-order random differential equations by using variational iteration method. Appl. Math. Sci. 5(51), 2505–2519 (2011)
Khudair, A.R., Haddad, S.A.M., Khalaf, S.L.: Mean square solutions of second-order random differential equations by using the differential transformation method. Open J. Appl. Sci. 6(04), 287 (2016)
Merdan, M., Anac, H., Bekiryazici, Z., Kesemen, T.: Solving of some random partial differential equations by using differential transformation method and Laplace–Padé method. Gumushane Universitesi Fen Bilimleri Enstitusu Dergisi 9(1), 108–118 (2019)
Villafuerte, L., Braumann, C.A., Cortés, J.C., Jódar, L.: Random differential operational calculus: theory and applications. Comput. Math. Appl. 59(1), 115–125 (2010)
Acknowledgements
We would like to thank Gümüşhane University for its support in this study.
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
Funding
Not available.
Author information
Authors and Affiliations
Contributions
MM is responsible for the model formulation and study planning. ŞŞ has done the calculation, and the application. All authors have read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Merdan, M., Şişman, Ş. Investigation of linear difference equations with random effects. Adv Differ Equ 2020, 579 (2020). https://doi.org/10.1186/s13662-020-03018-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03018-9