Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 743973, 4 pages http://dx.doi.org/10.1155/2013/743973 Research Article Developing a Series Solution Method of π-Difference Equations Hsuan-Ku Liu Department of Mathematics and Information Education, National Taipei University of Education, Taiwan Correspondence should be addressed to Hsuan-Ku Liu; hkliu.nccu@gmail.com Received 16 November 2012; Accepted 14 April 2013 Academic Editor: Filomena Cianciaruso Copyright © 2013 Hsuan-Ku Liu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The series solution is widely applied to differential equations on R but is not found in π-differential equations. Applying the Taylor and multiplication rule of two generalized polynomials, we develop a series solution of linear homogeneous π-difference equations. As an example, the series solution method is used to find a series solution of the second-order π-difference equation of Hermite’s type. 1. Introduction Several works have been done recently for series solutions on certain time scales. One of the difficulties for developing a theory of series solutions for linear homogeneous equations on time scales is that the formula for multiplication by two generalized polynomials is not easily found. If the time scale has constant graininess, Haile and Hall [1] provided an exact formula for the multiplicity of two generalized polynomials. Using the obtained results, the series solutions for linear dynamic equations are proposed on the time scales R and T = βZ (difference equations with step size β). On generalized time scales, Mozyrska and PawΕuszewicz [2] presented the formula for the multiplicity of the generalized polynomials of degree one and degree π ∈ N. Let 0 < π < 1 and use the notations πN = {ππ | π ∈ N} , πN = πN ∪ {0} , (1) where N denotes the set of positive integers. Liu [3] presented a formula for the multiplication of two π-polynomials. The obtained results are used to develop a series solution method of the second-order difference equations on πN . Precisely, the second-order π-difference equation is described as where π and π are both π-analytic functions at 0 in the interval (π, π). As an example, the series solution method is applied to consider the π-Hermite’s equation of the form π’ΔΔ (π‘) − π‘π’Δ (π‘) + ππ’ (π‘) = 0, π‘ ∈ πN (3) with initial condition π’(0) = π and π’Δ (0) = π. This paper is organized as follows: in Section 2, basic ideas on π-calculus are introduced. The series solution method is developed in Section 3 and is applied to consider the πHermite’s equation in Section 4. Finally, a concise conclusion is provided in Section 5. 2. A Basic Introduction to Time Scales A time scale means an arbitrary nonempty closed subset of the real numbers. The calculus of time scales was initiated by Liu [3] in order to create a theory that can unify discrete and continuous analysis. Then, we introduce the delta derivative by starting to define the forward and backward jump operators. Definition 1. Let T be a time scale. For π‘ ∈ T, we define the forward jump operator π : T → T by π (π‘) := inf {π > π‘ | π ∈ T} , (4) while the backward jump operator π : T → T by π’ΔΔ (π‘) + π (π‘) π’Δ (π‘) + π (π‘) π’ (π‘) = 0, π‘ ∈ πN , (2) π (π‘) := sup {π < π‘ | π ∈ T} . (5) 2 Journal of Applied Mathematics Definition 2. The graininess function π : T → [0, ∞) is defined by π (π‘) := π (π‘) − π‘. ∞ (6) According to the basic definitions, we can give some useful relationships concerning the delta derivative. Let π and π be real numbers such that 0 < π < 1. The π-shift factorial [4] is defined by (π; π)0 = 1, at π‘0 that converges to π near π‘0 ; that is, there exist coefficients N {ππ }∞ π=0 and points π, π ∈ π such that π < π‘0 < π and π−1 (π; π)π = ∏ (1 − πππ ) , π = 1, 2, . . . , π. π=0 (7) π (π‘) = ∑ ππ βπ (π‘, π‘0 ) for all π‘ ∈ (π, π) ∩ πN . The production rule of two π-polynomials at 0 which will be used to derive the series solution in following sections [3]. Theorem 6. Let βπ (π‘, 0) and βπ (π‘, 0) be two π-polynomials at zero. One has Assume π : T → R is a function and π‘ ∈ T. The πderivative [5] at π‘ is defined by π (ππ‘) − π (π‘) . (π − 1) π‘ πΔ (π‘) = (8) (9) π Hence, for each fixed π , the delta derivative of βπ with respect to π‘ satisfies βπΔ (π‘, π ) = βπ−1 (π‘, π ) , π ≥ 1. π+π−1 ] ]=0 ∑π=0 (11) on πN [5]. Agarwal and Bohner [6] give a Taylor’s formula for functions on a general time scale. On πN , the Taylor’s formula can be rewritten as the following form. Theorem 4. Let π ∈ N. Suppose π is π times differentiable on πN . Let πΌ, π‘ ∈ πN . One has π−1 π π (π‘) = ∑ βπ πΔ (πΌ) + ∫ π=0 ππ−1 (π‘) πΌ π−1 π+π−1 π‘ = (∏ ] ]=0 ∑π=0 π )( ∏ π ]=π Definition 5. A real-valued function π : πN → R is said to be π-analytic at π‘0 if and only if there is a power series centered , (15) π‘ ) ∑]π=0 ππ π−1 = βπ (π‘, 0) ( ∏]=0 ∑]π=0 ππ π−1 ∏]=0 π−1 = βπ (π‘, 0) (∏ ∑]π=0 = ππ π+π−1 ) π‘π ( ∏ ]=π π−1 ] π‘ ] ]=0 ∑π=0 π 1 ) ∑]π=0 ππ π+π−1 ) (∏ ∑ ππ ) ( ∏ π ππ ππ 1 ] ]=π ∑π=0 ]=0 π=0 π−1 ∑] π=0 βπ (π‘, 0) βπ (π‘, 0) (∏ ]+π ]=0 ∑π=0 ππ ) ). (16) This implies that π−1 ∑]+π π=0 ] ∑ ]=0 π=0 βπ (π‘, 0) βπ (π‘, 0) = (∏ π−1 (1 =∏ ]=0 π Before developing the series solution method, we introduce the π-analytic function on πN . ππ βπ+π (π‘, 0) βπ−1 (π‘, π (π)) πΔ (π) Δπ. (12) (14) we have π−1 π‘ − π π] βπ (π‘, π ) = ∏ ] π ]=0 ∑π=0 π π‘ βπ+π (π‘, 0) = ∏ (10) By computing the recurrence relation, the π-polynomials can be represented as βπ+π (π‘, 0) . (π; π)π Proof. Since π‘ βπ+1 = ∫ βπ (π, π ) Δπ. β0 (π‘, π ) = 1, (ππ+1 ; π)π βπ (π‘, 0) βπ (π‘, 0) = A π-difference equation is an equation that contains πderivatives of a function defined on πN . Definition 3. On the time scale T, the π-polynomials βπ (⋅, π‘0 ) : T → R are defined recursively as follows: (13) π=0 = ππ ππ ) βπ+π (π‘, 0) − ππ+π+1 ) (1 − ππ+1 ) (ππ+1 ; π)π (π; π)π βπ+π (π‘, 0) (17) βπ+π (π‘, 0) . Proposition 7. Let βπ (π‘) and βπ (π‘) be any two π-polynomials. One has βπ (π‘, 0) βπ (π‘, 0) = βπ (π‘, 0) βπ (π‘, 0) . (18) Journal of Applied Mathematics 3 Proof. Without loss of generality, we suppose π > π and have (ππ+1 ; π)π (π, π)π = = − (ππ+1 ; π)π π (π‘) π’Δ (π‘) (π, π)π (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ+π ) (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) − (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ+π ) (1 − π) ⋅ ⋅ ⋅ (1 − π=0 π=0 ∞ π π=0 π=0 π (ππ+1 , π)π−π [ ] βπ (π‘, 0) , = ∑ ∑πΊ (π) π (π + 1 − π) (π, π) π−π π=0 π=0 [ ] ∞ (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ+π ) (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ ) (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ ) π (π‘) π’ (π‘) = 0. (19) This implies that (π, π)π ∞ = ∑ ∑πΊ (π) π (π + 1 − π) (βπ (π‘, 0) βπ−π (π‘, 0)) ππ ) (ππ+1 ; π)π ∞ = [ ∑ πΊ (π) βπ (π‘, 0)] [∑π (π + 1) βπ (π‘, 0)] (1 − π) ⋅ ⋅ ⋅ (1 − ππ ) (1 − ππ+1 ) ⋅ ⋅ ⋅ (1 − ππ+π ) − we get = (ππ+1 ; π)π (π, π)π ∞ ∞ π=0 π=0 = [ ∑ πΉ (π) βπ (π‘, 0)] [∑π (π) βπ (π‘, 0)] ∞ π . (20) = ∑ ∑πΉ (π) π (π − π) (βπ (π‘, 0) βπ−π (π‘, 0)) π=0 π=0 π (ππ+1 , π)π−π [ ] βπ (π‘, 0) . = ∑ ∑πΉ (π) π (π − π) (π, π)π−π π=0 π=0 [ ] ∞ Therefore, we have βπ (π‘, 0) βπ (π‘, 0) = βπ (π‘, 0) βπ (π‘, 0) (21) by Theorem 6. Substituting (24) and (26) into (22), we get the equation 3. Developing Series Solutions Method Using the Taylor series on time scales, we develop a series solution method for solving π-difference equations in this section. Consider a second-order π-difference equation π’ΔΔ (π‘) + π (π‘) π’Δ (π‘) + π (π‘) π’ (π‘) = 0, π‘ ∈ πN , (22) where π and π are both π-analytic functions at 0 in the interval (π, π). Hence, there exist two sequences of coefficients {πΉ(π)} and {πΊ(π)} such that ∞ π (π‘) = ∑ πΉ (π) βπ (π‘, 0) , π=0 ∞ π (π‘) = ∑ πΊ (π) βπ (π‘, 0) (23) π (π + 2) π [ (ππ+1 , π)π−π ∞ [ [ +∑πΊ (π) π (π + 1 − π) (π, π)π−π ∑[ π=0 [ π+1 [ π π=0 (π , π)π−π [ +∑πΉ (π) π (π − π) (π, π)π−π [ π=0 π π (π + 2) + ∑πΊ (π) π (π + 1 − π) π + ∑πΉ (π) π (π − π) (24) π=0 π=0 Step 1. Since ∞ (π‘) = ∑ π (π + 2) βπ (π‘, 0) , π=0 (π, π)π−π (28) = 0. ∞ π’Δ (π‘) = ∑ π (π + 1) βπ (π‘, 0) , π’ (ππ+1 , π)π−π (π, π)π−π Step 3. Find all coefficients π(π) in terms of the first two coefficients π(0) and π(1), thus writing the π-series in the form by carrying out the following steps. ∞ (ππ+1 , π)π−π π=0 ∞ ΔΔ ] Step 2. Set the coefficients of the power series equal to zero. That gives a recurrence relation that relates later coefficients in the power series (24) to the earlier ones. That is, for all π‘ ∈ (π, π) ∩ πN . One can find a power series solution of the form π=0 ] ] ] ] βπ (π‘, 0) = 0. ] ] ] (27) π=0 π’ (π‘) = ∑ π (π) βπ (π‘, 0) , (26) ∑ π (π) βπ (π‘, 0) = π (0) π’1 (π‘) + π (1) π’2 (π‘) , (25) (29) π=0 where π’1 and π’2 are two linearly independent π-series solutions. 4 Journal of Applied Mathematics 4. Applications In this section, the series solution method is applied to consider the π-Hermite’s equations with initial conditions. Consider the π-Hermite’s equation of the form π’ ΔΔ Δ (π‘) − π‘π’ (π‘) + ππ’ (π‘) = 0, π‘∈ πN , (30) Example 8. Consider the π-Hermite’s equation with π = 1/2 of the form π’ΔΔ − π‘π’Δ + π’ = 0 with π’(0) = 1 and π’Δ = 0. Substituting (31) into (36) yields π (2π) = Πππ=1 [ Δ with π’(0) = π and π’ (0) = π. Let ∞ π’ (π‘) = ∑ π (π) βπ (π‘, 0) , (31) π=0 then π’(0) = π = π(0) and π’Δ (0) = π = π(1). Applying (31) into (30), we have where π = 1, 2, . . .. This implies that π (2π) = [ (1 − π2(π−1) ) (1 − π) π = ∏[ (1 − π2(π−1) ) (1 − π) π=1 π (2π + 1) = [ (1 − π2π−1 ) π (1 − π) = ∏[ − π] π (2 (π − 1)) (33) − π] π (2π − 1) (1 − π2π−1 ) (1 − π) π=1 − π] π, ∞ 1 2π−3 π’ (π‘) = 1 + ∑Πππ=1 1 − ( ) β2π (π‘) 2 π=1 1 3 = 1 − β2 (π‘) − β4 (π‘) − β6 (π‘) − ⋅ ⋅ ⋅ . 2 8 − π] π. π’ (π‘) = π (1 + ∑∏ [ (1 − π2(π−1) ) π=1 π=1 ∞ (1 − π) π + π (β1 (π‘) + ∑ ∏ [ π=1 π=1 − π] β2π (π‘)) (1 − π2π−1 ) (1 − π) (38) 5. Conclusion One area which is the lack of development is the theory of series solutions on π-difference equations. In this paper, we present the formula for the multiplicity of two π-polynomials at 0. The purpose is to provide the basic mechanics for finding the series solutions of linear homogeneous π-difference equation. As an example we consider series solution of the πHermite’s equation of the form π’ΔΔ − π‘π’Δ + ππ’ = 0, with the initial conditions π’(0) = π and π’Δ (0) = π. Using the presented method, the series solution of the Hermite’s equation can be obtained iteratively. In future studies, we would apply the presented method to find the series solution of other πdifference equations on πN . References Hence, we get ∞ π 1 − (1/2)2(π−1) 1 2π−3 − 1] = Πππ=1 [1 − ( ) ] 2 (1/2) (37) and π(2π + 1) = 0 which implies that π (2) = −ππ (0) , (ππ ; π)1 (1 − ππ ) π (π + 2) = [ − π] π (π) = [ − π] π (π) , (π; π)1 (1 − π) [ ] (32) (36) − π] β2π+1 (π‘)) = ππ’1 (π‘) + ππ’2 (π‘) . (34) By computing the Wronskian of π’1 and π’2 at 0, we get π [π’1 , π’2 ] (0) = π’1 (0) π’2Δ (0) − π’2 (0) π’1Δ (0) = 1 =ΜΈ 0. (35) This implies that π’1 and π’2 are two linearly independent solutions. [1] B. D. Haile and L. M. Hall, “Polynomial and series solutions of dynamic equations on time scales,” Dynamic Systems and Applications, vol. 12, no. 1-2, pp. 149–157, 2003. [2] D. Mozyrska and E. PawΕuszewicz, “Hermite’s equations on time scales,” Applied Mathematics Letters, vol. 22, no. 8, pp. 1217–1219, 2009. [3] H.-K. Liu, “Application of a differential transformation method to strongly nonlinear damped π-difference equations,” Computers & Mathematics with Applications, vol. 61, no. 9, pp. 2555– 2561, 2011. [4] T. H. Koornwinder, “π-special functions: a tutorial,” http://arxiv.org/abs/math/9403216. [5] M. Bohner and A. Peterson, Dynamic Equations on Time Scales: An Introduction with Applications, BirkhaΜuser, Boston, Mass, USA, 2001. [6] R. P. Agarwal and M. Bohner, “Basic calculus on time scales and some of its applications,” Results in Mathematics, vol. 35, no. 1-2, pp. 3–22, 1999. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014