Difference between revisions of "Delta integral"

From timescalewiki
Jump to: navigation, search
(Properties of $\Delta$-integrals)
(Properties of $\Delta$-integrals)
Line 28: Line 28:
 
[[Delta integral over degenerate interval]]<br />
 
[[Delta integral over degenerate interval]]<br />
 
[[Modulus of delta integral]]<br />
 
[[Modulus of delta integral]]<br />
 
+
[[Delta integral of nonnegative function]]<br />
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem:</strong> If $f(t) \geq 0$ for all $a \leq t < b$ then
 
$$\displaystyle\int_a^b f(t) \Delta t \geq 0.$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>  █
 
</div>
 
</div>
 
  
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">

Revision as of 23:31, 22 August 2016

There are a few equivalent definitions of $\Delta$-integration.

Cauchy $\Delta$-integral

Let $\mathbb{T}$ be a time scale. We say that $f$ is regulated if its right-sided limits exist (i.e. are finite) at all right-dense points of $\mathbb{T}$ and its left-sided limits exist (i.e. are finite) at all left-dense points of $\mathbb{T}$. We say that $f$ is pre-differentiable with region of differentiation $D$ if $D \subset \mathbb{T}^{\kappa}$, $\mathbb{T}^{\kappa} \setminus D$ is countable with no right-scattered elements of $\mathbb{T}$, and $f$ is $\Delta$-differentiable at each $t \in D$. Now suppose that $f$ is regulated. It is known that there exists a function $F$ which is pre-differentiable with region of differentiation $D$ such that $F^{\Delta}(t)=f(t)$. We define the indefinite integral of a regulated function $f$ by $$\displaystyle\int f(t) \Delta t = F(t)+C$$ for an arbitrary constant $C$.

Now we define the definite integral, i.e. the Cauchy integral, by the formula $$\displaystyle\int_s^t f(\tau) \Delta \tau = F(t)-F(s)$$ for all $s,t \in \mathbb{T}$.

A function $F \colon \mathbb{T}\rightarrow \mathbb{R}$ is called an antiderivative of $f \colon \mathbb{T}\rightarrow \mathbb{R}$ if $F^{\Delta}(t)=f(t)$ for all $t \in \mathbb{T}^{\kappa}$. It is known that all rd-continuous functions possess an antiderivative, in particular if $t_0 \in \mathbb{T}$ then $F$ defined by $$F(t) = \displaystyle\int_{t_0}^t f(\tau) \Delta \tau$$ is an antiderivative of $f$.

Riemann $\Delta$-integral

Lebesgue $\Delta$-integral

Properties of $\Delta$-integrals

Delta integral from t to sigma(t)
Delta integral is linear
Interchanging limits of delta integral
Delta integrals are additive over intervals
Integration by parts for delta integrals with sigma in integrand
Integration by parts for delta integrals with no sigma in integrand
Delta integral over degenerate interval
Modulus of delta integral
Delta integral of nonnegative function

Theorem (Fundamental theorem of calculus,I): The following formula holds: $$\int_a^b f^{\Delta}(t) \Delta t = f(b)-f(a).$$

Proof:

Theorem (Fundamental theorem of calculus,II): The following formula holds: $$\left( \int_{t_0}^x f(\tau) \Delta \tau) \right)^{\Delta} = f(x).$$

Proof: