JOPS - qu.edu.iq
Transcript of JOPS - qu.edu.iq
http://qu.edu.iq/journalsc/index.php/JOPS
Al-Qadisiyah Journal of Pure Science Vol.(26) Issue (4) (2021) pp.. 181โ192
Solving Riccati type ๐๐ โDifference Equations via Difference Transform Method
Authors Names a: Ahmed Y. Abdulmajeed b: Ayad R. Khudair
Article History
Received on: 2/6/2021
Revised on: 15/7/2021
Accepted on:25/7/2021
Keywords:
Time scales calculus; Differential transform method; Riccati type ๐ โdifference equations
DOI:https://doi.org/10.293
50/ jops. 2021.26. 4.1318
ABSTRACT
In this paper, we deal with a time scale that its delta derivative of graininess function is a nonzero positive constant. Based on the Taylor formula for this time scale, we investigate the difference transform method (DTM). This method has been applied successfully to solve Riccati type ๐ โdifference equations in quantum calculus. To demonstrate the ability and efficacy of this method, some examples have been provided.
1. Introduction
One of the simplest and more important type of nonlinear differential equations are Riccati differential equations [32]. Due to their close connection to the Bessel function, these equations have often appeared in many physical problems, likes; static Schrรถdinger equation [12], Newtonโs laws of motion [29], 3D- Gross-Pitaevskii equation [26], cosmology problem [33]. Also, it relates to many mathematical subjects, including; projective differential geometry [2], calculus of variations [41], optimal control [30], and dynamic programming [6]. Several techniques have been used to solve constant coefficients Riccati differential equations, such as; operation matrix method [31], variational iteration method [17], polynomial least squares method [9], homotopy perturbation method [1], Legendre wavelet method [3], and Adomianโs decomposition method[15].
Riccati difference equations are not different from Riccati differential equations, as they have many applications in various fields. Where it arises in the filtering problem [27], the optimal control problem [5] and it has been studied by numerous scholars [4, 42, 38, 28]. In fact, the first study appeared on the difference Riccati equations was in 1905 by H. Tietze [39].
a Department of Mathematics, College of Science, University of Basrah, Basrah, Iraq, E-Mail: [email protected]
b Department of Mathematics, College of Science, University of Basrah, Basrah, Iraq, E-Mail: [email protected]
182 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐๐=0
The q-difference equation (q-DEs)is a type of difference equation that is based on q-calculus. Indeed, the old references refer to the beginning of q-calculus was in the late 20th century to make links between mathematics and physics [16]. It has a variety of uses in mathematics, engineering and science, including basic hypergeometric functions [10, 11, 36, 35, 34], orthogonal polynomials [25], combinatorics [19], and quantum theory [21]. In recent years, several scholars have attempted to solve many types of q-DEs by using semi-analytic methods, including; the q-differential transformation method (q-DTM)[13, 14], variational iteration method [40], succes- sive approximation method, and homotopy analysis method [37].
In this paper, we deal on time scale ๐๐ that its delta derivative of graininess function is a nonzero positive
constant, that is ๐ฮ = ๐๐ > 0. Based on Taylor formula for this time scale, we introduce some fundamental theorems related to DTM in order to solve the following Riccati type ๐ โdifference equations on the time
scale ๐๐ = ๐โ = {0} โ {๐๐ก|๐ก โ โ, 0 < ๐ < 1}:
ฮจฮ(๐ก) = ๐1(๐ก)ฮจ(๐ก) + ๐2(๐ก)ฮจ(๐ก)2 + ๐3(๐ก), ฮจ(๐ก) = ๐ด. (1)
where ๐๐(๐ก), ๐ = 1,2,3 are analytic function on ๐๐.
2. Preliminaries
This section has provided a brief overview of time scale preliminary information and their relationship to q-calculus
Definition 2.1 [18] A time scale is a non-empty arbitrary closed subset of real numbers denoted by ๐๐. Time scale examples, [0,1], the natural numbers set โ, the real numbers set โ, [0,1] โ [2,3] and the cantor set
whereas the set of rational numbers โ, complex numbers โ, and [0,1), (0,1], (0,1), (0,1] ๐ด {2 ๐ โ ๐} are not time scales.
Definition 2.2 [8] Let ๐๐ be any time scale and ๐ โ ๐๐. Operator of a forward jump ๐: ๐๐ โ ๐๐ is given as:
๐(๐) = inf{๐ โ ๐๐: ๐ > ๐} (2)
while, the Operator of a backward jump ๐: ๐๐ โ ๐๐ at all ๐ โ ๐๐ is given as:
๐(๐) = sup{๐ โ ๐๐: ๐ < ๐} (3)
Definition 2.3 [7]
For ๐ โ ๐๐, the function ๐: ๐๐ โ [0, โ) defined by
๐(๐ ) = ๐(๐ ) โ ๐ (4)
is called graininess function.
assume that
๐๐ = ๐โ = {๐๐ก|๐ก โ โ, 0 < ๐ < 1} โ {0}
Let the ๐ โshift factorial is given by
(๐ก; ๐)0 = 1 ๐๐๐ (๐ก; ๐)๐ = โ๐โ1 (1 โ ๐๐๐๐), ๐ = 1, โฆ , ๐
such that ๐ก is real number.
183 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐
โ
Definition 2.4 [7] For ๐ก โ ๐โ, the delta ๐ โderivative of a function ๐(๐ก) on ๐๐ = ๐โ is given by
๐๐(๐๐ก)โ๐๐(๐ก) , ๐๐๐๐ ๐ก โ ๐โ
(๐โ1)๐ก
๐ฮ(๐ก) = โช
โจ lim โช๐โโ
๐
๐๐(๐๐)โ๐๐(0) , ๐๐๐๐ ๐ก = 0
๐๐
(5)
Definition 2.5 [22] Let ๐บ: ๐โ โ โ a pre-antiderivative of the function ๐: ๐โ โ โ.such that ๐บ ๐ฅ๐ฅ(๐ก) = ๐(๐ก). The indefinite integral of the function ๐ is define by
โซ ๐(๐ก)ฮ๐ก = ๐บ(๐ก) + ๐, (6)
where ๐ is a constant. Moreover, the definite integral is defined by
โซ๐๐
๐(๐ก)ฮ๐ก = ๐บ(๐) โ ๐(๐), โ๐, ๐ โ ๐โ (7)
Definition 2.6 [8] The monomials ๐๐: ๐๐ ร ๐๐ โ โ, ๐ โ โ0 on a time scale ๐๐ are defined by
๐0(๐, ๐ ) = 1 ๐ (๐, ๐ ) = ๐
๐ (๐, ๐ )๐๐, ๐ โ โ, ๐, ๐ โ ๐๐. (8)
๐+1 โซ๐ ๐
Hence, the ฮ โderivative of ๐๐(๐, ๐ ) with respect to ๐ given by
๐ฮ(๐, ๐ ) = ๐ (๐, ๐ ), ๐ โฅ 1 (9)
Example 2.1 [8]
๐ ๐โ1
1. When ๐๐ = ๐โ, we get
๐ (๐ก, ๐ ) = โ๐โ1
๐กโ๐ ๐๐
, โ๐ โ โ (10)
๐
2. When ๐๐ = โ, we get
๐=0 ๐ ๐=0 ๐
๐
3. When ๐๐ = โค, we get
๐๐ (๐ก, ๐ ) = (๐กโ๐ )๐
, โ๐ โ โ (11) ๐!
๐ก โ ๐ ๐๐(๐ก, ๐ ) = ๏ฟฝ๐ ๏ฟฝ, โ๐ โ โ (12)
Theorem 2.1 [8] For all ๐ก, ๐ โ ๐๐ and ๐๐ โ โ0, we have
0 โค ๐ (๐ก, ๐ ) โค (๐กโ๐ )๐๐
, โ๐ โฅ ๐ (13)
๐๐ ๐๐!
Let ๐ โ โ and ๐: ๐๐ โ โ is ๐ โ ๐ก๐๐๐๐๐ differentiable function on ๐๐๐๐
, ๐ก โ ๐๐.
Let ๐ โ ๐๐๐๐โ1
, then
โง
184 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐๐=0
๐
โ ๐=1
๐๐ =0 โ
๐ข=0
ฮ๐ข
๐ ๐ =0
๐ ๐ =0 ๐ ๐ =0
๐๐=0
๐(๐ก) = โ๐โ1 ๐๐๐(๐ก, ๐ )๐ ฮ๐๐ (๐ ) + ๐ ๐(๐ก) (14)
is called Taylors formula and the remainder term ๐ ๐(๐ก) is defined by
and it tends to zero as ๐ โ โ.
๐ ๐ (๐ก) = โซ๐ก
๐ฮ๐
(๐)๐
๐โ1
(๐ก, ๐(๐))ฮ๐
Proposition 2.1 [8] Let ๐: ๐๐ โ โ is an analytic function at ๐ and at all ๐ก โ (๐ โ ๐๐, +โ) โ ๐๐ holds that
๐(๐ก) = โโ ๐๐๐๐๐๐(๐ก, ๐ ). Then ๐(๐ก) is infinitely ๐๐ โtimes differentiable at ๐ and ๐๐ฅ๐ฅ๐๐
(๐ ) = ๐
Theorem 2.2 [24] For any ๐ก, ๐ โ ๐๐ with ๐๐ฅ๐ฅ = ๐๐ > 0 a constant. Then the product of monomials ๐๐ and ๐๐ ๐
as follows
๐ (๐ก, ๐ )๐ (๐ก, ๐ ) = โ๐+๐ ๐ ๐น(๐ข, ๐ , ๐)๐๐๐๐ ๐
(๐ , ๐ )๐ (๐ก, ๐ ), (15)
such that
๐ ๐ ๐ ๐ข=๐ ๐ ๐+๐ ๐ โ๐ข ๐ข
๐(๐+1) ๐ ๐
๐น(๐ข, ๐ , ๐) = ๏ฟฝ ๐=1 โ๐ขโ๐ ๐ (โ1)๐โ1๐๐(๐ข)๐ข๐(๐+1)โ 2 , ๐๐๐๐ ๐ข > ๐ (16) 1, ๐๐๐๐ ๐ข = ๐
๐๐(๐ข, ๐) = โ ๐ โ ๐
1โค๐ โค๐
1
(๐ขโ๐๐โ๐ขโ๐ ) , ๐1(๐ข) = 1 ๐๐๐ ๐ข = 1 + ๐๐ (17)
Remark 2.1 ๐น(๐ข, ๐ , ๐) in theorem(2.2) can be computed in another way according to the following formula [24]
๐น(๐ข, ๐ , ๐) = โ๐ขโ๐ ๐ 1
๐ขโ๐ ๐ ๐๐2=๐๐1
๐ขโ๐ ๐ ๐๐3=๐๐2
๐ขโ๐ ๐ ๐๐๐ ๐ โ1=๐๐๐ ๐ โ2
๐ขโ๐ ๐ ๐๐๐ ๐ =๐๐๐ ๐ โ1
๐ ๐
๐ข ๐๐=1 ๐๐๐๐ (18)
3. The ๐ช๐ช โdifferential transform method
In 1986, Zhou proposed the DTM and applied it to analyze the electric circuit problems [43]. Inspired Zhouโs idea and based on q-Taylorโs formula, the q-DTM has been introduced [20]. In 2011, ElShahed has been extended the q-DTM to two dimensional for solving partial q-DEs [13]. In the same year, the damped q-DEs with strongly nonlinear has been used successfully by using the q-DTM [23]. This section devoted to
derive some important formula related to DTM. Now, let ๐๐(๐ก) be is ๐ โ ๐ก๐๐๐๐๐ q-differentiable on ๐โ, then by using theorem (2.1) with ๐ก0 one can approximate the function ๐๐(๐ก) as follows:
where
ฮจ(๐ก) = โโ ฮจ๐[๐ข]๐๐ข(๐ก, 0) (19)
ฮจ๐[๐ข] = ฮจ (0), โ๐ข = 0,1,2, โฆ (20)
The Eq.((20)) is called the DTM, while Eq. ((19)) is called inverse of DTM.
Suppose that the functions ฮฆ(๐ก), ฮจ(๐ก), and ฮ(๐ก) are approximate as ฮฆ(๐ก) = โโ ฮฆ๐[๐ ]๐๐ ๐ (๐ก, 0),
ฮจ(๐ก) = โโ ฮจ๐[๐ ]๐๐ ๐ (๐ก, 0) , and ฮ(๐ก) = โโ ฮ๐[๐ ]๐๐ ๐ (๐ก, 0) respectively, then the essential mathematical
operations achieved by DTM are presented in the next theorems.
โ โ โฏ โ โ
๐๐
185 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐
๐ ๐ =1
๐ ๐ =0 ๐ ๐ =0
๐ ๐ =0 ๐ ๐ =1
๐ ๐ =0 ๐ ๐ =1
๐ ๐ =1
Theorem 3.1 For any real constants ๐, and ๐ , if โต(๐ก) = ๐ ๐ท๐ท(๐ก) โ ๐ ๐(๐ก), then โต๐[๐ ] = ๐ ๐ท๐ท๐[๐ ] โ
๐ ๐๐[๐ ], โ๐ = 0,1,2, โฆ
Lemma 3.1 If 0 โ ๐๐ and ๐๐ฅ๐ฅ = ๐๐ is nonzero constant, then multiplying any two monomials, ๐๐(๐ก, 0) and
๐๐ ๐ (๐ก, 0) , is given as follows:
๐๐(๐ก, 0)๐๐ ๐ (๐ก, 0) = ๐น(๐ + ๐ , ๐ , ๐)๐๐+๐ ๐ (๐ก, 0), ๐ , ๐ โ 0, โ๐ก โ ๐๐ (21)
Proof. Since ๐๐(0) = 0 for all ๐ = 0,1,2, โฆ, we have
1, ๐ = 0 ๐๐
๐(0,0) = ๏ฟฝ0, ๐. ๐ค. , โ๐ = 0,1,2, โฆ (22)
Using theorem(2.2), one can get
๐ (๐ก, 0)๐
(๐ก, 0) = โ๐+๐ ๐น(๐ข, ๐ , ๐)๐๐๐ ๐
(0,0)๐
(๐ก, 0), (23)
๐ ๐ ๐ ๐ข=๐ ๐ ๐+๐ ๐ โ๐ข ๐ข
The result can be get it by substitute Eq.((22)) in Eq.((23)).
Theorem 3.2 If ๐(๐ก) = โต๐ฅ๐ฅ(๐ก), then ๐๐[๐ ] = โต๐[๐ + 1], โ๐ = 0,1,2, โฆ
Theorem 3.3 If ๐(๐ก) = โต(๐ก)๐ท๐ท(๐ก), then
ฮจ๐[0] = ฮ๐[0] ฮฆ๐[0]
ฮจ๐[1] = ฮ๐[1] ฮฆ๐[0] + ฮ๐[0] ฮฆ๐[1]
ฮจ๐[๐] = ฮ๐[๐] ฮฆ๐[0] + ฮ๐[0] ฮฆ๐[๐] + โ๐โ1 ฮ๐[๐ โ ๐ ] ฮฆ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), ๐ = 2,3,4, โฏ
Proof. Let ฮจ(๐ก) = ฮ(๐ก)ฮฆ(๐ก) so one can have
โ ๐ ๐ =0 ฮจ๐[๐ ]๐๐ ๐ (๐ก, 0) = ๏ฟฝโโ ฮ๐[๐ ]๐๐ ๐ (๐ก, 0)๏ฟฝ๏ฟฝโโ ฮฆ๐[๐ ]๐๐ ๐ (๐ก, 0)๏ฟฝ
โ ๐๐=0
โ ๐ ๐ =0 ฮ๐[๐๐]ฮฆ๐[๐ ]๐๐ ๐ (๐ก, 0)๐๐๐(๐ก, 0)
By using lemma(3.1), one can have
โ ๐ ๐ =0 ฮจ๐[๐ ]๐๐ ๐ (๐ก, 0) = โโ ฮ๐[๐ ]ฮฆ๐[0]๐๐ ๐ (๐ก, 0) + โโ ฮ๐[0]ฮฆ๐[๐ ]๐๐ ๐ (๐ก, 0)
โ ๐=1
โ ๐ ๐ =1 ฮ๐[๐]ฮฆ๐[๐ ]๐น(๐ + ๐, ๐, ๐ )๐๐ ๐ +๐(๐ก, 0) (24)
Now, change the index in the third sum of Eq.((24)), we have
โ ๐ ๐ =0 ฮจ๐[๐ ]๐๐ ๐ (๐ก, 0) = โโ ฮ๐[๐ ]ฮฆ๐[0]๐๐ ๐ (๐ก, 0) + โโ ฮ๐[0]ฮฆ๐[๐ ]๐๐ ๐ (๐ก, 0)
โ ๐=2 โ๐โ1 ฮ๐[๐ โ ๐ ]ฮฆ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ )๐๐(๐ก, 0) (25)
Finally, the coefficients of ๐๐(๐ก, 0) are compared, and the result is obtained directly.
Theorem 3.4 If ๐๐(๐ก) is analytic function on time scale ๐๐ = ๐โ and ๐(๐ก) = ๐๐(๐ก)๐ท๐ท(๐ก), then
ฮจ๐[0] = ๐๐(0) ฮฆ๐[0]
โ
= โ โ
โ
+ โ โ
โ
+ โ
186 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐ ๐ =0
๐
๐=0
๐
๐ ๐ =1
๐ ๐ =0
ฮจ๐[1] = ๐๐ฮ(0) ฮฆ๐[0] + ๐๐(0) ฮฆ๐[1]
ฮ๐
โ๐โ1
ฮ๐โ๐ ๐
ฮจ๐[๐] = ๐๐ (0) ฮฆ๐[0] + ๐๐(0) ฮฆ๐[๐] + ๐ ๐ =1 ๐๐ (0) ฮฆ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), ๐ = 2,3,4, โฏ
Proof. Since ๐๐(๐ก) is analytic function on time scale ๐๐ = ๐โ, one can get ๐๐(๐ก) = โโ ๐๐ฮ๐ ๐
(0)๐
๐ ๐ (๐ก, 0). Therefore, the result can be obtained directly using theorem(3.3).
Theorem 3.5 If ๐๐(๐ก) is analytic function on time scale ๐๐ = ๐โ and ๐(๐ก) = ๐๐(๐ก)๐ท๐ท2(๐ก), then
ฮจ๐[0] = ๐๐(0) ฮฆ2[0]
ฮจ๐[1] = ๐๐ฮ(0) ฮฆ2[0] + 2๐๐(0) ฮฆ [1]ฮฆ [0] ๐
ฮ๐ 2
๐ ๐
โ๐โ1
ฮจ๐[๐] = ๐๐
๐ ]ฮฆ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ )
(0)ฮฆ๐[0] + ๐๐(0)ฮฆ๐[๐]ฮฆ๐[0] + ๐๐(0)ฮฆ๐[0]ฮฆ๐[๐] + ๐๐(0) ๐ ๐ =1 ฮฆ๐[๐ โ
+ โ๐โ1 ๐๐ฮ๐โ๐ ๐
(0)ฮฆ [๐ ]ฮฆ [0]๐น(๐, ๐ โ ๐ , ๐ ) + โ๐โ1 ๐๐ฮ๐โ๐ ๐
(0)ฮฆ [0]ฮฆ [๐ ]๐น(๐, ๐ โ ๐ , ๐ ) ๐ ๐ =1 ๐ ๐ ๐ ๐ =1 ๐ ๐
+ โ๐โ1 โ๐ ๐ โ1 ๐๐ฮ๐โ๐ ๐
(0)ฮฆ [๐ โ ๐ข]ฮฆ [๐ข]๐น(๐ , ๐ โ ๐ข, ๐ข)๐น(๐, ๐ โ ๐ , ๐ ) , ๐ = 2,3,4, โฏ ๐ ๐ =1 ๐ข=1 ๐ ๐
Proof. According to theorem (3.3), we find ฮฆ2(๐ก) = โโ ฮฅ๐[๐] ๐๐(๐ก, 0)
Where ฮฅ๐[๐] define as follows:
ฮฅ๐[0] = ฮฆ2[0]
ฮฅ๐[1] = 2ฮฆ๐[1]ฮฆ๐[0]
ฮฅ๐[๐] = ฮฆ๐[๐]ฮฆ๐[0] + ฮฆ๐[0]ฮฆ๐[๐] + โ๐โ1 ฮฆ๐[๐ โ ๐ ]ฮฆ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), ๐ = 2,3,4, โฏ
However, since ๐๐(๐ก) is analytic function on time scale ๐๐ = ๐โ, we can get ๐๐(๐ก) = โโ ๐๐ฮ๐ ๐
(0)๐
๐ ๐ (๐ก, 0).
Using theorem(3.4), we have
ฮจ๐[0] = ๐๐(0) ฮฅ๐[0]
ฮจ๐[1] = ๐๐ฮ(0) ฮฅ๐[0] + ๐๐(0) ฮฅ๐[1]
ฮ๐
โ๐โ1
ฮ๐โ๐ ๐
ฮจ๐[๐] = ๐๐ (0) ฮฅ๐[0] + ๐๐(0) ฮฅ๐[๐] + ๐ ๐ =1 ๐๐ (0) ฮฅ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), ๐ = 2,3,4, โฏ
Now, replace the values of ฮฅ๐[๐] in the above equations by its equivalent values in terms ฮฆ๐[๐], we get
the result directly.
4. Illustrated Examples
Example 4.1 Consider the Riccati q-difference equation as follows:
ฮจฮ(๐ก) = 1 โ ฮจ(๐ก)2 (26)
ฮจ(0) = 0 (27)
When ๐ tends to 1, the solution exactly has the form
187 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐ ๐ =1
Applying DTM to Eq.((26)) , we have
ฮจ๐[1] + ฮจ2 ๐[0] โ 1 = 0
ฮจ๐[2] + 2ฮจ๐[1] ฮจ๐[0] = 0
ฮจ(๐ก) = ๐ก๐๐๐(๐ก) (28)
ฮจ๐[๐ + 1] = โฮจ๐[๐] ฮจ๐[0] โ ฮจ๐[0] ฮจ๐[๐] โ โ๐โ1 ฮจ๐[๐ โ ๐ ] ฮจ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), ๐ =
2,3,4, โฏ (29)
Again apply DTM to the initial conditions in Eq.((27)) , one can have
ฮจ๐[0] = 0. (30)
Using the Maple software, one can solve the recurrence relation in Eq.((29)) with Eq.((30)) to have the value of the unknown coefficients as follows:
ฮจ๐[1] = 1
ฮจ๐[2] = 0
ฮจ๐[3] = โ3 + ๐
ฮจ๐[4] = 0
ฮจ๐[5] = 2(๐2 โ 4๐ + 5)(โ3 + ๐)2
ฮจ๐[6] = 0
ฮจ๐[7] = (โ3 + ๐)3(๐2 โ 3๐ + 3)(๐4 โ 9๐3 + 35๐2 โ 69๐ + 59)(๐2 โ 4๐ + 5)
ฮจ๐[8] = 0
ฮจ๐[9] = 2(๐2 โ 4๐ + 5)2(๐2 โ 3๐ + 3)(โ3 + ๐)4(2๐6 โ 26๐5 + 143๐4 โ 427๐3
+737๐2 โ 711๐ + 313)(๐4 โ 8๐3 + 24๐2 โ 32๐ + 17)
โฎ
So, ฮจ(๐ก) โ โ9 ฮจ๐[๐]๐๐(๐ก, 0) is the first ten terms of the solution of this problem. Moreover, when ๐ โ 1 ๐=0
this solution is given by
lim ฮจ(๐ก) = ๐ก โ ๐โ1
1 ๐ก3
3 +
2 ๐ก5
15 โ
17
315 ๐ก7 +
62
2835 ๐ก9 + โฏ (31)
When ๐ โ 1, the solution in Eq.((31)) agrees exactly with the Taylor series of the given solution. Also, Eq.((31)) is agreement with the result in, Example(1) [37].
Example 4.2 Consider the Riccati q-difference equation as follows:
ฮจฮ(๐ก) = 1 + 2ฮจ(๐ก) โ ฮจ2(๐ก) (32)
ฮจ(0) = 0 (33)
188 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐
๐ ๐ =1
When ๐ tends to 1, the solution exactly has the form
ฮจ(๐ก) = โ2tanh(โ2๐ก +
Applying DTM to Eq.((32)) , we have
ฮจ๐[1] = 2ฮจ๐ [0] โ ฮจ2 [0] + 1
ฮจ๐[2] = 2ฮจ๐ [1] โ 2ฮจ๐ [1] ฮจ๐[0]
1 ๐๐๐๐(
โ2โ1
2 โ2+1 )) + 1 (34)
ฮจ๐ [๐ + 1] = 2ฮจ๐ [๐] โ 2ฮจ๐[๐] ฮจ๐[0] โ โ๐โ1 ฮจ๐[๐ โ ๐ ] ฮจ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), โ๐ = 2,3,4, โฏ
(35)
Again apply DTM to the initial conditions in Eq.((33)) , one can have
ฮจ๐[0] = 0. (36)
Using the Maple software, one can solve the recurrence relation in Eq.((35)) with Eq.((36)) to have the value of the unknown coefficients as follows:
ฮจ๐[1] = 1
ฮจ๐[2] = 2
ฮจ๐[3] = 1 + ๐
ฮจ๐[4] = โ4๐2 + 22๐ โ 26
ฮจ๐[5] = โ2(๐ โ 3)(๐3 โ 9๐2 + 31๐ โ 37)
ฮจ๐[6] = โ4๐7 + 56๐6 โ 352๐5 + 1276๐4 โ 2832๐3 + 3732๐2 โ 2536๐ + 548
ฮจ๐[7] = ๐11 โ ๐10 โ 239๐9 + 3230๐8 โ 21721๐7 + 91686๐6 โ 262608๐5 + 524197๐4
โ725540๐3 + 669551๐2 โ 373085๐ + 95377
ฮจ๐[8] = 8๐15 โ 228๐14 + 2956๐13 โ 22836๐12 + 114738๐11 โ 375506๐10 + 685838๐9
+144320๐8 โ 5305474๐7 + 18573384๐6 โ 38811708๐5 + 55564898๐4 โ 55575960๐3
+37593290๐2 โ 15612662๐ + 3034030
ฮจ๐[9] = โ20๐20 + 888๐19 โ 18662๐18 + 247048๐17 โ 2312130๐16 + 16272346๐15 โ
89406344๐14
+392904980๐13 โ 1403278564๐12 + 4115164306๐11 โ 9966897976๐10 +
19979418384๐9
โ33100759636๐8 + 45089744554๐7 โ 50018425772๐6 + 44494246668๐5 โ 30993249576๐4
+16286776898๐3 โ 6068996878๐2 + 1427426744๐ โ 158832042
189 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐=0
๐
๐ ๐ =1
โฎ
Therefore ฮจ(๐ก) โ โ9
ฮจ๐[๐]๐๐(๐ก, 0) is the first ten terms of the solution of the given problem. When
๐ โ 1 this solution is given by
lim ฮจ(๐ก) = ๐ก + ๐ก2 ๐โ1
+ 1
๐ก3 3
โ 1
๐ก4 3
โ 7
๐ก5 15
โ 7
๐ก6 45
+ 53
315 ๐ก7 +
71
315 ๐ก8 +
197
2835 ๐ก9 + โฏ (37)
When ๐ โ 1, the solution in Eq.((37)) agrees exactly with the Taylor series of the given solution.
Example 4.3 Consider the Riccati q-difference equation as follows:
ฮจฮ(๐ก) = 2ฮจ2(๐ก) โ ๐กฮจ(๐ก) + 1 (38)
ฮจ(0) = 0 (39)
When ๐ tends to 1, the solution exactly has the form
Applying DTM to Eq.((38)) , we have
ฮจ๐[1] = 2ฮจ2[0] + 1
ฮจ(๐ก) = ๐ก
1โ๐ก2 (40)
ฮจ๐[2] = 4ฮจ๐[1]ฮจ๐[0] + ฮจ๐[0]
ฮจ๐[๐ + 1] = 4ฮจ๐[๐]ฮจ๐[0] + ฮจ๐[๐ โ 1]๐น(๐, 1, ๐ โ 1)
+2 โ๐โ1 ฮจ๐[๐ โ ๐ ]ฮจ๐[๐ ]๐น(๐, ๐ โ ๐ , ๐ ), โ๐ = 2,3,4, โฏ (41)
Again apply DTM to the initial conditions in Eq.((39)) , one can have
ฮจ๐[0] = 0. (42)
Using the Maple software, one can solve the recurrence relation in Eq.((41)) with Eq.((42)) to have the value of the unknown coefficients as follows:
ฮจ๐[1] = 1
ฮจ๐[2] = 0
ฮจ๐[3] = 9 โ 3๐
ฮจ๐[4] = 0
ฮจ๐[5] = 15(๐2 โ 4๐ + 5)(๐ โ 3)2
ฮจ๐[6] = 0
ฮจ๐[7] = โ3(๐2 โ 3๐ + 3)(๐2 โ 4๐ + 5)(6๐4 โ 54๐3 + 211๐2 โ 419๐ + 361)(๐ โ 3)3
โ725540๐3 + 669551๐2 โ 373085๐ + 95377
ฮจ๐[8] = 0
190 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
๐=0
ฮจ๐[9] = 15(12๐6 โ 156๐5 + 858๐4 โ 2562๐3 + 4423๐2 โ 4271๐ + 1885)(๐2 โ 3๐ + 3)
ร (๐4 โ 8๐3 + 24๐2 โ 32๐ + 17)(๐2 โ 4๐ + 5)2(๐ โ 3)4
โฎ
Therefore ฮจ(๐ก) โ โ9
ฮจ๐[๐]๐๐(๐ก, 0) is the first ten terms of the solution of the given problem. When
๐ โ 1 this solution is given by
lim ฮจ(๐ก) = ๐ก + ๐ก3 + ๐ก5 + ๐ก7 + ๐ก9 + โฏ (43) ๐โ1
When ๐ โ 1, the solution in Eq.((43)) agrees exactly with the Taylor series of the given solution.
5. Conclusions
In this study, we introduce the difference transform method (DTM) based on Taylor formula for any time scale with its delta derivative of graininess function is a nonzero positive constant. Riccati type ๐ โdifference equations on quantum calculus have been successfully solved and the results coincide exactly with the Taylor series of the exact solution when ๐ โ tends to 1. In fact, this method is applicable to solving any nonlinear difference equations on any time scale with ๐ฮ > 0.
References
[1] S. Abbasbandy, Iterated heโs homotopy perturbation method for quadratic riccati differential equation, Applied Mathematics and Computation, 175 (2006), pp. 581โ589.
[2] D. D. Alessandro, Invariant manifolds and projective combinations of solutions of the riccati differential equation, Linear Algebra and its Applications, 279 (1998), pp. 181โ193.
[3] S. Balaji, Legendre wavelet operational matrix method for solution of fractional order riccati differential equation, Journal of the Egyptian Mathematical Society, 23 (2015), pp. 263โ270.
[4] K. Balla, Asymptotic behavior of certain riccati difference equations, Computers & Mathematics with Applications, 36 (1998), pp. 243โ250.
[5] A. Beghi and D. Dโalessandro, Discrete-time optimal control with control dependent noise and generalized riccati difference equations, Automatica, 34 (1998), pp. 1031โ1034.
[6] R. Bellman and R. Vasudevan, Dynamic programming and solution of wave equations, in Wave Propagation, Springer Netherlands, 1986, pp. 259โ309.
[7] M. Bohner and A. Peterson, Dynamic equations on time scales: An introduction with applications, Springer Science & Business Media, 2001.
[8] M. Bohner and A. C. Peterson, Advances in dynamic equations on time scales, Springer Science & Business Media, 2002.
[9] C. Bota and B. Cฤruntu, Analytical approximate solutions for quadratic riccati differential equation of fractional order using the polynomial least squares method, Chaos, Solitons & Fractals, 102 (2017), pp. 339โ345.
[10] W. Y. Chen and H. L. Saad, On the gosperโpetkovลกek representation of rational functions, Journal of Symbolic Computation, 40 (2005), pp. 955โ963.
191 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
[11] W. Y. C. Chen, H. L. Saad, and L. H. Sun, An operator approach to the al-salamโcarlitz polynomials, Journal of Mathematical Physics, 51 (2010), p. 043502.
[12] M. Dehghan and A. Taleei, A compact split-step finite difference method for solving the nonlinear schrยจ odinger equations with constant and variable coefficients, Computer Physics Communications, 181 (2010), pp. 43โ51.
[13] M. El-Shahed and M. Gaber, Two-dimensional q-differential transformation and its application, Applied Mathematics and Computation, 217 (2011), pp. 9165โ9172.
[14] M. El-Shahed, M. Gaber, and M. Al-Yami, The fractional q-differential transformation and its application, Communications in Nonlinear Science and Numerical Simulation, 18 (2013), pp. 42โ55.
[15] M. A. El-Tawil, A. A. Bahnasawi, and A. Abdel-Naby, Solving riccati differential equation using adomianโs decomposition method, Applied Mathematics and Computation, 157 (2004), pp. 503โ514.
[16] T. Ernst, The history of q-calculus and a new method, 2000.
[17] F. Geng, A modified variational iteration method for solving riccati differential equations, Computers & Mathematics with Applications, 60 (2010), pp. 1868โ1872.
[18] S. Georgiev, Fractional dynamic calculus and fractional dynamic equations on time scales, Springer, Cham, Switzerland, 2018.
[19] M. Jambu, Quantum calculus an introduction, in New Trends in Algebras and
Combinatorics, WORLD SCIENTIFIC, feb 2020.
[20] S.-C. Jing and H.-Y. Fan, q -taylorโs formula with its q -remainder, Communications in Theoretical Physics, 23 (1995), pp. 117โ120.
[21] A. Lavagno, Basic-deformed quantum mechanics, Reports on Mathematical Physics, 64 (2009), pp. 79โ 91.
[22] H.-K. Liu, Application of a differential transformation method to strongly nonlinear damped q- difference equations, Computers & Mathematics with Applications, 61 (2011), pp. 2555โ2561.
[23] H.-K. Liu, Application of a differential transformation method to strongly non-
linear damped q-difference equations, Computers & Mathematics with Applications, 61 (2011), pp. 2555โ 2561.
[24] H.-K. Liu, The formula for the multiplicity of two generalized polynomials on time scales, Applied Mathematics Letters, 25 (2012), pp. 1420โ1425.
[25] A. P. Magnus, Special nonuniform lattice (snul) orthogonal polynomials on discrete dense sets of points, Journal of Computational and Applied Mathematics, 65 (1995), pp. 253โ265.
[26] A. Neirameh, Exact analytical solutions for 3d- grossโpitaevskii equation with periodic potential by using the kudryashov method, Journal of the Egyptian Mathematical Society, 24 (2016), pp. 49โ53.
[27] G. D. Nicolao, On the time-varying riccati difference equation of optimal filtering, SIAM Journal on Control and Optimization, 30 (1992), pp. 1251โ1269.
192 Ahmed Y. Abdulmajeed, Ayad R. Khudair, Al-Qadisiyah Journal of Pure Science 26,SPECIAL ISSUE NUM.4(2021)PP.181โ192
[28] S. Nishioka, Differential transcendence of solutions of difference riccati equations and tietzeโs treatment, Journal of Algebra, 511 (2018), pp. 16โ40.
[29] M. Nowakowski and H. C. Rosu, Newtonโs laws of motion in the form of a riccati equation, Physical Review E, 65 (2002).
[30] L. Ntogramatzidis and A. Ferrante, On the solution of the riccati differential equation arising from the LQ optimal control problem, Systems & Control Letters, 59 (2010), pp. 114โ121.
[31] K. Parand, S. A. Hossayni, and J. Rad, Operation matrix method based on bernstein polynomials for the riccati differential equation and volterra population model, Applied Mathematical Modelling, 40 (2016), pp. 993โ1011.
[32] W. Reid, Riccati differential equations, Academic Press, New York, 1972.
[33] H. C. Rosu, S. C. Mancas, and P. Chen, Barotropic FRW cosmologies with chiellini damping, Physics Letters A, 379 (2015), pp. 882โ887.
[34] H. L. Saad and M. A. Abdlhusein, New application of the cauchy operator on the homogeneous rogersโ szegรลฑ polynomials, The Ramanujan Journal, 56 (2021), pp. 347โ367.
[35] H. L. Saad and F. A. Reshem, The operator g(a; b;dq) for the polynomials wn(x; y; a; b; q), Journal of Advances in Mathematics, 9 (2013), pp. 2888โ2904.
[36] H. L. Saad and A. A. Sukhi, Another homogeneous q-difference operator, Applied Mathematics and Computation, 215 (2010), pp. 4332โ4339.
[37] M. S. Semary and H. N. Hassan, The homotopy analysis method for q-difference equations, Ain Shams Engineering Journal, 9 (2018), pp. 415โ421.
[38] J. Sugie, Nonoscillation theorems for second-order linear difference equations via the riccati-type transformation, II, Applied Mathematics and Computation, 304 (2017), pp. 142โ152.
[39] H. Tietze,ยจUber funktionalgleichungen, deren lยจ osungen keiner algebraischen differentialgleichung genยจ ugen kยจ onnen, Monatshefte fยจ ur Mathematik und Physik, 16 (1905), pp. 329โ364.
[40] G.-C. Wu, Variational iteration method for q-difference equations of second order, Journal of Applied Mathematics, 2012 (2012), pp. 1โ5.
[41] M. I. Zelikin, Riccati equation in the classical calculus of variations, in Control Theory and Optimization I, Springer Berlin Heidelberg, 2000, pp. 60โ79.
[42] H. Zhang and P. M. Dower, Max-plus fundamental solution semigroups for a class of difference riccati equations, Automatica, 52 (2015), pp. 103โ110.
[43] J. Zhou, Differential Transformation and Its Applications for Electrical Circuits, Huazhong Univ. Press, Wuhan, China, 1986.