Difference between revisions of "Delta integral from t to sigma(t)"
From timescalewiki
(Created page with "==Theorem== The following formula holds: $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t)$$ ==Proof== ==References== Category:Theorem Category:Unproven") |
m (Tom moved page Integral from t to sigma(t) to Delta integral from t to sigma(t)) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
==Theorem== | ==Theorem== | ||
The following formula holds: | The following formula holds: | ||
− | $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t)$$ | + | $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t),$$ |
+ | where $\int$ denotes the [[delta integral]], $\sigma$ denotes the [[forward jump]], and $\mu$ denotes the [[forward graininess]]. | ||
==Proof== | ==Proof== |
Latest revision as of 22:40, 22 August 2016
Theorem
The following formula holds: $$\int_t^{\sigma(t)} f(\tau) \Delta \tau = \mu(t)f(t),$$ where $\int$ denotes the delta integral, $\sigma$ denotes the forward jump, and $\mu$ denotes the forward graininess.