Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Time-scale calculus

From Wikipedia, the free encyclopedia
Unification of discrete and continuous theories of calculus

Inmathematics,time-scale calculus is a unification of the theory ofdifference equations with that ofdifferential equations, unifyingintegral anddifferential calculus with thecalculus of finite differences, offering a formalism for studyinghybrid systems. It has applications in any field that requires simultaneous modelling ofdiscrete and continuous data. It gives a new definition of aderivative such that if one differentiates a function defined on thereal numbers then the definition is equivalent to standard differentiation, but if one uses a function defined on theintegers then it is equivalent to theforward difference operator.

History

[edit]

Time-scale calculus was introduced in 1988 by the German mathematicianStefan Hilger.[1] However, similar ideas have been used before and go back at least to the introduction of theRiemann–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 theircontinuous 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 unknownfunction 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 theset ofreal numbers or set ofintegers but to more general time scales such as aCantor set.

The three most popular examples ofcalculus on time scales aredifferential calculus,difference calculus, andquantum calculus. Dynamic equations on a time scale have a potential for applications such as inpopulation 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]

Atime scale (ormeasure chain) is aclosed subset of thereal lineR{\displaystyle \mathbb {R} }. The common notation for a general time scale isT{\displaystyle \mathbb {T} }.

The two most commonly encountered examples of time scales are the real numbersR{\displaystyle \mathbb {R} } and thediscrete time scalehZ{\displaystyle h\mathbb {Z} }.

A single point in a time scale is defined as:

t:tT{\displaystyle t:t\in \mathbb {T} }

Operations on time scales

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

Theforward jump andbackward jump operators represent the closest point in the time scale on the right and left of a given pointt{\displaystyle t}, respectively. Formally:

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

Thegraininessμ{\displaystyle \mu } is the distance from a point to the closest point on the right and is given by:

μ(t)=σ(t)t.{\displaystyle \mu (t)=\sigma (t)-t.}

For a right-denset{\displaystyle t},σ(t)=t{\displaystyle \sigma (t)=t} andμ(t)=0{\displaystyle \mu (t)=0}.
For a left-denset{\displaystyle t},ρ(t)=t.{\displaystyle \rho (t)=t.}

Classification of points

[edit]
Several points on a time scale with different classifications

For anytT{\displaystyle t\in \mathbb {T} },t{\displaystyle t} is:

As illustrated by the figure at right:

Continuity

[edit]

Continuity of a time scale is redefined as equivalent to density. A time scale is said to beright-continuous at pointt{\displaystyle t} if it is right dense at pointt{\displaystyle t}. Similarly, a time scale is said to beleft-continuous at pointt{\displaystyle t} if it is left dense at pointt{\displaystyle t}.

Derivative

[edit]

Take a function:

f:TR,{\displaystyle f:\mathbb {T} \to \mathbb {R} ,}

(whereR could be anyBanach space, but is set to the real line for simplicity).

Definition: Thedelta derivative (also Hilger derivative)fΔ(t){\displaystyle f^{\Delta }(t)} exists if and only if:

For everyε>0{\displaystyle \varepsilon >0} there exists a neighborhoodU{\displaystyle U} oft{\displaystyle t} such that:

|f(σ(t))f(s)fΔ(t)(σ(t)s)|ε|σ(t)s|{\displaystyle \left|f(\sigma (t))-f(s)-f^{\Delta }(t)(\sigma (t)-s)\right|\leq \varepsilon \left|\sigma (t)-s\right|}

for alls{\displaystyle s} inU{\displaystyle U}.

TakeT=R.{\displaystyle \mathbb {T} =\mathbb {R} .} Thenσ(t)=t{\displaystyle \sigma (t)=t},μ(t)=0{\displaystyle \mu (t)=0},fΔ=f{\displaystyle f^{\Delta }=f'}; is the derivative used in standardcalculus. IfT=Z{\displaystyle \mathbb {T} =\mathbb {Z} } (theintegers),σ(t)=t+1{\displaystyle \sigma (t)=t+1},μ(t)=1{\displaystyle \mu (t)=1},fΔ=Δf{\displaystyle f^{\Delta }=\Delta f} is theforward difference operator used in difference equations.

Integration

[edit]

Thedelta integral is defined as the antiderivative with respect to the delta derivative. IfF(t){\displaystyle F(t)} has a continuous derivativef(t)=FΔ(t){\displaystyle f(t)=F^{\Delta }(t)} one sets

rsf(t)Δ(t)=F(s)F(r).{\displaystyle \int _{r}^{s}f(t)\Delta (t)=F(s)-F(r).}

Laplace transform and z-transform

[edit]

ALaplace 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 modifiedZ-transform:Z{x[z]}=Z{x[z+1]}z+1{\displaystyle {\mathcal {Z}}'\{x[z]\}={\frac {{\mathcal {Z}}\{x[z+1]\}}{z+1}}}

Partial differentiation

[edit]

Partial differential equations andpartial 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 naturalmeasure[8][9] defined via

μΔ(A)=λ(ρ1(A)),{\displaystyle \mu ^{\Delta }(A)=\lambda (\rho ^{-1}(A)),}

whereλ{\displaystyle \lambda } denotesLebesgue measure andρ{\displaystyle \rho } is the backward shift operator defined onR{\displaystyle \mathbb {R} }. The delta integral turns out to be the usualLebesgue–Stieltjes integral with respect to this measure

rsf(t)Δt=[r,s)f(t)dμΔ(t){\displaystyle \int _{r}^{s}f(t)\Delta t=\int _{[r,s)}f(t)d\mu ^{\Delta }(t)}

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

fΔ(t)=dfdμΔ(t).{\displaystyle f^{\Delta }(t)={\frac {df}{d\mu ^{\Delta }}}(t).}

Distributions on time scales

[edit]

TheDirac delta andKronecker delta are unified on time scales as theHilger delta:[11][12]

δaH(t)={1μ(a),t=a0,ta{\displaystyle \delta _{a}^{\mathbb {H} }(t)={\begin{cases}{\dfrac {1}{\mu (a)}},&t=a\\0,&t\neq a\end{cases}}}

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. ^abMartin 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]

External links

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Time-scale_calculus&oldid=1256889907"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp