Exponential Functions and Laplace Transforms for Alpha Derivatives ELVAN AKIN BOHNER and MARTIN BOHNER Department of Mathematics, Florida Institute of Technology Melbourne, Florida 3291, USA E-mail: eakin@math.unl.edu, bohner@umr.edu Abstract We introduce the exponential function for alpha derivatives on generalized time scales. We also define the Laplace transform that helps to solve higher order linear alpha dynamic equations on generalized time scales. If α σ, the Hilger forward jump operator, then our theory contains the theory of delta dynamic equations on time scales as a special case. If α ρ, the Hilger backward jump operator, then our theory contains the theory of nabla dynamic equations on time scales as a special case. Hence differential equations, difference equations (using the forward or backward difference operator), or q-difference equations (using the forward or backward q-difference operator) can be accommodated within our theory. We also present various properties of the Laplace transform and offer some examples. Keywords Alpha derivative, Generalized time scale, Exponential function, Laplace transform AMS Subject Classification 39A12, 39A13 1 Introduction We consider generalized time scales (T, α) as introduced in [1], i.e., T R is a nonempty set such that every Cauchy sequence in T converges to a point in T (with the possible exception of Cauchy sequences that converge to a finite infimum or supremum of T), and α is a function that maps T into T. A function f : T R is called alpha differentiable at a point t T if there exists a number f α (t), the so-called alpha derivative of f at t, with the property that for every ε > there exists a neighborhood U of t such that f(α(t)) f(s) f α (t)(α(t) s) ε α(t) s is true for all s U. If T is closed and α σ, the Hilger forward jump operator, then f α f is the usual delta derivative (see [4, 6, 7]), which contains as special cases derivatives f (if T R) and differences f (if
232 E. Akin-Bohner and M. Bohner T Z). If T is closed and α ρ, the Hilger backward jump operator, then f α f is the nabla derivative (see [3] and [4, Section 8.4]). In this paper we consider linear alpha dynamic equations of the form y α p(t)y with 1 + p(t)µ α (t), where µ α (t) α(t) t is the generalized graininess. If the initial value problem y α p(t)y, y(t ) 1 has a unique solution, we denote it by e p (t, t ) and call it the generalized exponential function. Note that e p also depends on α, but we choose not to indicate this dependence as it should be clear from the context. The exponential function satisfies some properties, which are presented in the next section of this paper. Similarly as in [5], the exponential function may be used to define a generalized Laplace transform, which is helpful when solving higher order linear alpha dynamic equations with constant coefficients. We illustrate this technique with an example in the last section. This example features an α which neither satisfies α(t) t for all t T nor α(t) t for all t T, and hence this example can not be accommodated in the existing literature on delta and nabla dynamic equations. 2 Alpha Derivatives, Exponentials, and Laplace Transforms For a function f : T R we denote by f α the alpha derivative as defined in the introductory section, and we also put f α f α. Then the following rules (see [4, Section 8.3]) are valid: f α f + µ α f α ; (fg) α fg α + f α g α ( Product Rule ); ( ) f f αg fg α g gg α ( Quotient Rule ). α We may use these rules to find i.e., e p (α(t), t ) e α p (t, t ) e p (t, t ) + µ α (t)p(t)e p (t, t ), e p (α(t), t ) [1 + p(t)µ α (t)] e p (t, t ), by putting y(t) e p (t, t )e q (t, t ), i.e., y α (t) e p (t, t )q(t)e q (t, t ) + p(t)e p (t, t )e q (α(t), t ) [p(t) + q(t) + µ α (t)p(t)q(t)] y(t),
Exponential Functions and Laplace Transforms for Alpha Derivatives 233 e p e q e p q, where p q : p + q + µ α pq, and by putting y e p (t, t )/e q (t, t ), i.e., y α (t) p(t)e p(t, t )e q (t, t ) e p (t, t )q(t)e q (t, t ) e q (t, t )e q (α(t), t ) p(t) q(t) 1 + µ α (t)q(t) y(t), e p e q e p q, where p q : p q 1 + µ α q. Note also that q : q q/(1 + µ α q) satisfies q ( q) and that p q p ( q). Again, and depend on α, but in order to avoid many subscripts we choose not to indicate this dependence as it should be clear from the context. We also remark that the set of alpha regressive functions R α {p : T R 1 + p(t)µ α (t) for all t T} is an Abelian group under the addition, and p is the additive inverse of p R α. Now, similarly as in [5], the Laplace transform for functions x : T R (from now on we assume that T is unbounded above and contains ) may be introduced as L{x}(z) x(t)e α z(t, )d α t with z R α R, whenever this Cauchy alpha integral is well defined. As an example, we calculate L{e c (, )}, where c R α is a constant such that lim t e c z (t, ). Then L{e c (, )}(z) e c (t, )e α z(t, )d α t [1 + µ α (t)( z)(t)] e c (t, )e z (t, )d α t [ 1 µ ] α(t)z e c z (t, )d α t 1 + µ α (t)z 1 1 + µ α (t)z e c z(t, )d α t 1 (c z)(t)e c z (t, )d α t c z 1 (e c z (, )) α d α t c z 1 z c. Under appropriate assumptions we can also show
234 E. Akin-Bohner and M. Bohner L{x α }(z) zl{x}(z) x(); L{x αα }(z) z 2 L{x}(z) zx() x α (); L{X}(z) 1 t z L{x}(z), where X(t) x(τ)d α τ. Further results can be derived as in [4, Section 3.1]. 3 An Example To illustrate the use of our Laplace transform, we consider the initial value problem y αα 5y α + 6y, y() 1, y α () 5. By formally taking Laplace transforms, we find so that z 2 L{y}(z) zy() y α () 5 [zl{y}(z) y()] + 6L{y}(z) L{y}(z) (z 2 5z + 6)L{y}(z) z (z 2)(z 3)L{y}(z) z z (z 2)(z 3) 3 z 3 2 z 2 L{3e 3(, ) 2e 2 (, )}(z). Hence, if e 2 (, ) and e 3 (, ) exist, we let and then y 3e 3 (, ) 2e 2 (, ), y α 9e 3 (, ) 4e 2 (, ) and y αα 27e 3 (, ) 8e 2 (, ) so that indeed y() 3 2 1, y α () 9 4 5, and y αα 5y α + 6y. Let us now consider several special cases of this example. (a) T R and α(t) t for all t T. Then e c (t, ) e ct for any constant c R, and the solution is given by y(t) 3e 3t 2e 2t. (b) T N and α(t) 2t + 1 for all t T. Note that e c (, ) is only defined on {t m 2 m 1 m N } T. Since µ α (t) t + 1, we find that e c satisfies e c (t k+1, ) (1 + cµ α (t k ))e c (t k, ) (1 + c2 k )e c (t k, ),
Exponential Functions and Laplace Transforms for Alpha Derivatives 235 Table 1: y 3e 3 (, ) 2e 2 (, ) for (b) t e 2 (t, ) e 3 (t, ) y(t) y α (t) y αα (t) 1 1 1 5 19 1 3 4 6 24 84 3 15 28 54 192 636 7 135 364 822 2736 8748 15 2295 91 2271 7272 31 75735 4459 118623 Table 2: y 3e 3 (, ) 2e 2 (, ) for (c) t e 2 (t, ) e 3 (t, ) y(t) y α (t) y αα (t) -6-27 -125-321 -4 9 25 57 189-2 -3-5 -9-33 -111 1 1 1 5 19 2 -. 3 -.2. 6 -.4 6-2.7 3 4. 1.4 -.1 2 -.8 4.19 1 and hence we obtain for constant c R α m 1 e c (t m, ) (1 + c2 k ). k See Table 1 for some numeric values. Note that y αα 5y α + 6y in each row. (c) T Z and α(t) t 2 for all t T. Note that e c (t, ) is only defined for all even integers. Since µ α (t) 2, we find that e c satisfies e c (α(t), ) (1 + cµ α (t))e c (t, ) (1 2c)e c (t, ), and hence we obtain for constant c 1/2 e c (t, ) (1 2c) t/2. See Table 2 for some numeric values. (d) T Z and α(t) t + 1 + 2( 1) t for all t T. Note that while in the previous two examples α(t) t for all t T and α(t) t for all t T, respectively, none of these properties hold in the current example. This time α : T T is additionally a bijection and hence e c (t, ) is defined on the entire set T when c { 1/3, 1}. We have { µ α (t) 1 + 2( 1) t 3 if t is even 1 if t is odd.
236 E. Akin-Bohner and M. Bohner Table 3: y 3e 3 (, ) 2e 2 (, ) for (d) t e 2 (t, ) e 3 (t, ) y(t) y α (t) y αα (t) 1 1 1 5 19 1-1 -.5.5 -.5-5.5 2-7 -2-46 -152-484 3 7 1 16 62 214 4 49 4 112 344 148 5-49 -2-52 -164-58 6-343 -8-23314 -7628 7 343 4 11314 34628 8 241 16 475198 9-241 -8-235198 As an example we calculate e 2 (t, ) for some values of t. Since e 2 (, ) 1 and α() 3, we find e 2 (3, ) e 2 (α(), ) (1 + 2µ α ())e 2 (, ) 7. Next, e 2 (2, ) e 2 (α(3), ) (1 + 2µ α (3))e 2 (3, ) 7, and similarly, e 2 (5, ) 7 2, e 2 (4, ) 7 2, e 2 (7, ) 7 3, e 2 (6, ) 7 3 and so on. In general, we find e c (t, ) { {(1 c)(1 + 3c)} t/2 if t is even (1 c) (t 3)/2 (1 + 3c) (t 1)/2 if t is odd, which can be written in closed formula as e c (t, ) {(1 c)(1 + 3c)} t/2 {(1 c)(1 + 3c)} t/2, (1 c) χ(t) (1 c) t/2 t/2 where χ χ 2Z+1 is the characteristic function for the odd integers. Again we refer to Table 3 for some numeric values. References [1] C. D. Ahlbrandt, M. Bohner, and J. Ridenhour. Hamiltonian systems on time scales. J. Math. Anal. Appl., 25:561 578, 2.
Exponential Functions and Laplace Transforms for Alpha Derivatives 237 [2] E. Akın, L. Erbe, B. Kaymakçalan, and A. Peterson. Oscillation results for a dynamic equation on a time scale. J. Differ. Equations Appl., 7:793 81, 21. [3] F. M. Atıcı and G. Sh. Guseinov. On Green s functions and positive solutions for boundary value problems on time scales. J. Comput. Appl. Math., 22. Special Issue on Dynamic Equations on Time Scales, edited by R. P. Agarwal, M. Bohner, and D. O Regan. To appear. [4] M. Bohner and A. Peterson. Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston, 21. [5] M. Bohner and A. Peterson. Laplace transform and Z-transform: Unification and extension. Methods Appl. Anal., 22. To appear. [6] S. Hilger. Analysis on measure chains a unified approach to continuous and discrete calculus. Results Math., 18:18 56, 199. [7] B. Kaymakçalan, V. Lakshmikantham, and S. Sivasundaram. Dynamic Systems on Measure Chains, volume 37 of Mathematics and its Applications. Kluwer Academic Publishers, Dordrecht, 1996. [8] W. G. Kelley and A. C. Peterson. Difference Equations: An Introduction with Applications. Academic Press, San Diego, second edition, 21.