Time-scale calculus


Time-scale calculus

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 discrete–continuous dynamical 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 you differentiate a function which acts on the real numbers then the definition is equivalent to standard differentiation, but if you use a function acting on the integers then it is equivalent to the forward difference operator.

Contents

History

It 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

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, it can model insect populations that are continuous 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 nonoverlapping population.

Formal definitions

A time scale (or measure chain) is a closed subset of the real line \mathbb{R}. The common notation for a general time scale is \mathbb{T}.

The two most commonly encountered examples of time scales are the real numbers \mathbb{R} and the discrete time scale h\mathbb{Z}.

A single point in a time scale is defined as:

t:t\in\mathbb{T}

Operations on time scales

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 t, respectively. Formally:

\sigma(t) = \inf\{s \in \mathbb{T} : s>t\} (forward shift operator / forward jump operator)
\rho(t) = \sup\{s \in \mathbb{T} : s<t\} (backward shift operator / backward jump operator)


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

μ(t) = σ(t) − t.


For a right-dense t, σ(t) = t and μ(t) = 0.
For a left-dense t, ρ(t) = t.

Classification of points

Several points on a time scale with different classifications

For any t\in\mathbb{T}, t is:

  • left dense if ρ(t) = t
  • right dense if σ(t) = t
  • left scattered if ρ(t) < t
  • right scattered if σ(t) > t
  • dense if both left dense and right dense
  • isolated if both left scattered and right scattered


As illustrated by the figure at right:

  • Point t1 is dense
  • Point t2 is left dense and right scattered
  • Point t3 is isolated
  • Point t4 is left scattered and right dense

Continuity

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

Derivative

Take a function:

f: \mathbb{T} \rightarrow \mathbb{R},

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

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

For every \epsilon > 0 there exists a neighborhood U of t such that:

|f(\sigma(t))-f(s)- f^{\Delta}(t)(\sigma(t)-s)|\le \varepsilon|\sigma(t)-s|

for all s in U.

Take \mathbb{T} =\mathbb{R}. Then σ(t) = t, μ(t) = 0, fΔ = f'; is the derivative used in standard calculus. If \mathbb{T} = \mathbb{Z} (the integers), σ(t) = t + 1, μ(t) = 1, fΔ = Δf is the forward difference operator used in difference equations.

Integration

The delta integral is defined as the antiderivative with respect to the delta derivative. If F(t) has a continuous derivative f(t) = FΔ(t) one sets

\int_r^s f(t) \Delta(t) = F(s) - F(r).

Laplace transform and z-transform

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:

\mathcal{Z}'\{x[z]\}=\frac{\mathcal{Z}\{x[z+1]\}}{z+1}

Partial differentiation

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

Multiple integration

Multiple integration on time scales.[6]

Stochastic dynamic equations on time scales

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

Measure theory on time scales

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

μΔ(A) = λ(ρ − 1(A)),

where λ denotes Lebesgue measure and ρ is the backward shift operator defined on \mathbb{R}. The delta integral turns out to be the usual Lebesgue–Stieltjes integral with respect to this measure

\int_r^s f(t) \Delta t = \int_{[r,s)} f(t) d\mu^\Delta(t)

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

f^\Delta(t) = \frac{df}{d\mu^\Delta}(t).

Distributions on time scales

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

\delta_{a}^{\mathbb{H}}(t) = \begin{cases} \frac{1}{\mu(a)}, & t = a \\ 0, & t \neq a \end{cases}

Integral equations on time scales

Integral equations and summation equations are unified as integral equations on time scales.[13]

Fractional calculus on time scales

Fractional calculus on time scales[14]

See also

Notes

  1. ^ Hilger, Stefan (1998). Ein Maßkettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten. Universität Würzburg. 
  2. ^ a b Martin Bohner & Allan Peterson (2001). Dynamic Equations on Time Scales. Birkhäuser. ISBN 978-0-8176-4225-9.  link
  3. ^ Partial differential equations on time scales, Calvin D. Ahlbrandt, Christina Morian
  4. ^ Partial dynamic equations on time scales, B Jackson – Journal of Computational and Applied Mathematics, 2006
  5. ^ Partial differentiation on time scales, M Bohner, GS Guseinov, Dynamic Systems and Applications 13 (2004) 351–379
  6. ^ Multiple integration on time scales, M Bohner, GS Guseino – Dynamic Systems and Applications, 2005
  7. ^ STOCHASTIC DYNAMIC EQUATIONS, SUMAN SANYAL, 2008
  8. ^ Integration on time scales, GS Guseinov, J. Math. Anal. Appl. 285 (2003), 107–127
  9. ^ Measure theory on time scales, A Deniz – 2007
  10. ^ On the connection between the Hilger and Radon–Nikodym derivatives, J Eckhardt and G Teschl, J. Math. Anal. Appl. 385 (2012), 1184–1189
  11. ^ The Laplace transform on time scales revisited, John M. Davis, Ian A. Gravagne , Billy J. Jackson , Robert J. Marks II , Alice A. Ramos, J. Math. Anal. Appl. 332 (2007) 1291–1307
  12. ^ Bilateral Laplace Transforms on Time Scales: Convergence, Convolution, and the Characterization of Stationary Stochastic Time Series, John M. Davis, Ian A. Gravagne and Robert J. Marks II
  13. ^ Volterra integral equations on time scales: Basic qualitative and quantitative results with applications to initial value problems on unbounded domains, Tomasia Kulik and Christopher C. Tisdell, 2007
  14. ^ Fractional Derivatives and Integrals on Time Scales via the Inverse Generalized Laplace Transform, Nuno R. O. Bastos, Dorota Mozyrska, Delfim F. M. Torres

References

Further reading


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Time scale calculus — In mathematics, time scale calculus is a unification of the theory of difference equations with that of differential equations [ [http://www.newscientist.com/article/mg17924045.000 taming natures numbers.html Taming nature s numbers] New… …   Wikipedia

  • Time scale — A time scale specifies divisions (scale) of time.*A time standard is a specification of either the rate at which time passes, or points in time, or both. *A duration is a quantity of time.*The geological time scale divides up the history of Earth …   Wikipedia

  • SCALE-UP — is a learning environment specifically created to facilitate active, collaborative learning in a studio like setting. Some people think the rooms look more like restaurants than classrooms [ J. Gaffney, E. Richards, M.B. Kustusch, L. Ding, and R …   Wikipedia

  • Calculus — This article is about the branch of mathematics. For other uses, see Calculus (disambiguation). Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables …   Wikipedia

  • scale — 1. A standardized test for measuring psychological, personality, or behavioral characteristics. SEE ALSO: score, test. 2. SYN: squama. 3. A small thin plate of horny epithelium, resembling a fish s., cast off from the skin …   Medical dictionary

  • Quantum calculus — is equivalent to traditional infinitesimal calculus without the notion of limits. It defines q calculus and h calculus . h ostensibly stands for Planck s constant while q stands for quantum. The two parameters are related by the formula :q =… …   Wikipedia

  • Umbral calculus — In mathematics before the 1970s, the term umbral calculus was understood to mean the surprising similarities between otherwise unrelated polynomial equations, and certain shadowy techniques that can be used to prove them. These techniques were… …   Wikipedia

  • Integral — This article is about the concept of integrals in calculus. For the set of numbers, see integer. For other uses, see Integral (disambiguation). A definite integral of a function can be represented as the signed area of the region bounded by its… …   Wikipedia

  • Derivative — This article is an overview of the term as used in calculus. For a less technical overview of the subject, see Differential calculus. For other uses, see Derivative (disambiguation) …   Wikipedia

  • Laplace operator — This article is about the mathematical operator. For the Laplace probability distribution, see Laplace distribution. For graph theoretical notion, see Laplacian matrix. Del Squared redirects here. For other uses, see Del Squared (disambiguation) …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.