In mathematics, time-scale calculus is a unification of the theory of difference equations with that of differential equations, unifying integral and differential calculus with the calculus of finite differences, offering a formalism for studying hybrid systems. It has applications in any field that requires simultaneous modelling of discrete and continuous data. It gives a new definition of a derivative such that if one differentiates a function defined on the real numbers then the definition is equivalent to standard differentiation, but if one uses a function defined on the integers then it is equivalent to the forward difference operator.

History

edit

Time-scale calculus was introduced in 1988 by the German mathematician Stefan Hilger.[1] However, similar ideas have been used before and go back at least to the introduction of the Riemann–Stieltjes integral, which unifies sums and integrals.

Dynamic equations

edit

Many results concerning differential equations carry over quite easily to corresponding results for difference equations, while other results seem to be completely different from their continuous counterparts.[2] The study of dynamic equations on time scales reveals such discrepancies, and helps avoid proving results twice—once for differential equations and once again for difference equations. The general idea is to prove a result for a dynamic equation where the domain of the unknown function is a so-called time scale (also known as a time-set), which may be an arbitrary closed subset of the reals. In this way, results apply not only to the set of real numbers or set of integers but to more general time scales such as a Cantor set.

The three most popular examples of calculus on time scales are differential calculus, difference calculus, and quantum calculus. Dynamic equations on a time scale have a potential for applications such as in population dynamics. For example, they can model insect populations that evolve continuously while in season, die out in winter while their eggs are incubating or dormant, and then hatch in a new season, giving rise to a non-overlapping population.

Formal definitions

edit

A time scale (or measure chain) is a closed subset of the real line  . The common notation for a general time scale is  .

The two most commonly encountered examples of time scales are the real numbers   and the discrete time scale  .

A single point in a time scale is defined as:

 

Operations on time scales

edit
 
The forward jump, backward jump, and graininess operators on a discrete time scale

The forward jump and backward jump operators represent the closest point in the time scale on the right and left of a given point  , respectively. Formally:

  (forward shift/jump operator)
  (backward shift/jump operator)

The graininess   is the distance from a point to the closest point on the right and is given by:

 

For a right-dense  ,   and  .
For a left-dense  ,  

Classification of points

edit
 
Several points on a time scale with different classifications

For any  ,   is:

  • left dense if  
  • right dense if  
  • left scattered if  
  • right scattered if  
  • dense if both left dense and right dense
  • isolated if both left scattered and right scattered

As illustrated by the figure at right:

  • Point   is dense
  • Point   is left dense and right scattered
  • Point   is isolated
  • Point   is left scattered and right dense

Continuity

edit

Continuity of a time scale is redefined as equivalent to density. A time scale is said to be right-continuous at point   if it is right dense at point  . Similarly, a time scale is said to be left-continuous at point   if it is left dense at point  .

Derivative

edit

Take a function:

 

(where R could be any Banach space, but is set to the real line for simplicity).

Definition: The delta derivative (also Hilger derivative)   exists if and only if:

For every   there exists a neighborhood   of   such that:

 

for all   in  .

Take   Then  ,  ,  ; is the derivative used in standard calculus. If   (the integers),  ,  ,   is the forward difference operator used in difference equations.

Integration

edit

The delta integral is defined as the antiderivative with respect to the delta derivative. If   has a continuous derivative   one sets

 

Laplace transform and z-transform

edit

A Laplace transform can be defined for functions on time scales, which uses the same table of transforms for any arbitrary time scale. This transform can be used to solve dynamic equations on time scales. If the time scale is the non-negative integers then the transform is equal[2] to a modified Z-transform:  

Partial differentiation

edit

Partial differential equations and partial difference equations are unified as partial dynamic equations on time scales.[3][4][5]

Multiple integration

edit

Multiple integration on time scales is treated in Bohner (2005).[6]

Stochastic dynamic equations on time scales

edit

Stochastic differential equations and stochastic difference equations can be generalized to stochastic dynamic equations on time scales.[7]

Measure theory on time scales

edit

Associated with every time scale is a natural measure[8][9] defined via

 

where   denotes Lebesgue measure and   is the backward shift operator defined on  . The delta integral turns out to be the usual Lebesgue–Stieltjes integral with respect to this measure

 

and the delta derivative turns out to be the Radon–Nikodym derivative with respect to this measure[10]

 

Distributions on time scales

edit

The Dirac delta and Kronecker delta are unified on time scales as the Hilger delta:[11][12]

 

Fractional calculus on time scales

edit

Fractional calculus on time scales is treated in Bastos, Mozyrska, and Torres.[13]

See also

edit

References

edit
  1. ^ Hilger, Stefan (1989). Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten (PhD thesis). Universität Würzburg. OCLC 246538565.
  2. ^ a b Martin Bohner & Allan Peterson (2001). Dynamic Equations on Time Scales. Birkhäuser. ISBN 978-0-8176-4225-9.
  3. ^ Ahlbrandt, Calvin D.; Morian, Christina (2002). "Partial differential equations on time scales". Journal of Computational and Applied Mathematics. 141 (1–2): 35–55. Bibcode:2002JCoAM.141...35A. doi:10.1016/S0377-0427(01)00434-4.
  4. ^ Jackson, B. (2006). "Partial dynamic equations on time scales". Journal of Computational and Applied Mathematics. 186 (2): 391–415. Bibcode:2006JCoAM.186..391J. doi:10.1016/j.cam.2005.02.011.
  5. ^ Bohner, M.; Guseinov, G. S. (2004). "Partial differentiation on time scales" (PDF). Dynamic Systems and Applications. 13: 351–379.
  6. ^ Bohner, M; Guseinov, GS (2005). "Multiple integration on time scales". Dynamic Systems and Applications. CiteSeerX 10.1.1.79.8824.
  7. ^ Sanyal, Suman (2008). Stochastic Dynamic Equations (PhD thesis). Missouri University of Science and Technology. ProQuest 304364901.
  8. ^ Guseinov, G. S. (2003). "Integration on time scales". J. Math. Anal. Appl. 285: 107–127. doi:10.1016/S0022-247X(03)00361-5.
  9. ^ Deniz, A. (2007). Measure theory on time scales (PDF) (Master's thesis). İzmir Institute of Technology.
  10. ^ Eckhardt, J.; Teschl, G. (2012). "On the connection between the Hilger and Radon–Nikodym derivatives". J. Math. Anal. Appl. 385 (2): 1184–1189. arXiv:1102.2511. doi:10.1016/j.jmaa.2011.07.041. S2CID 17178288.
  11. ^ Davis, John M.; Gravagne, Ian A.; Jackson, Billy J.; Marks, Robert J. II; Ramos, Alice A. (2007). "The Laplace transform on time scales revisited". J. Math. Anal. Appl. 332 (2): 1291–1307. Bibcode:2007JMAA..332.1291D. doi:10.1016/j.jmaa.2006.10.089.
  12. ^ Davis, John M.; Gravagne, Ian A.; Marks, Robert J. II (2010). "Bilateral Laplace Transforms on Time Scales: Convergence, Convolution, and the Characterization of Stationary Stochastic Time Series". Circuits, Systems and Signal Processing. 29 (6): 1141–1165. doi:10.1007/s00034-010-9196-2. S2CID 16404013.
  13. ^ Bastos, Nuno R. O.; Mozyrska, Dorota; Torres, Delfim F. M. (2011). "Fractional Derivatives and Integrals on Time Scales via the Inverse Generalized Laplace Transform". International Journal of Mathematics & Computation. 11 (J11): 1–9. arXiv:1012.1555. Bibcode:2010arXiv1012.1555B.

Further reading

edit
edit