Difference between revisions of "Delta integral from t to sigma(t)"

From timescalewiki
Jump to: navigation, search
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
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]] and $\mu$ denotes the [[forward graininess]].
+
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.

Proof

References