Difference between revisions of "Delta derivative"

From timescalewiki
Jump to: navigation, search
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
Let $\mathbb{T}$ be a [[time_scale | time scale]] and let $f \colon \mathbb{T} \rightarrow \mathbb{R}$ and let $t \in \mathbb{T}^{\kappa}$. We define<ref>Bohner, Martin ; Peterson, Allan. Dynamic equations on time scales. An introduction with applications. Birkhäuser Boston, Inc., Boston, MA, 2001,p.5.</ref> the $\Delta$-derivative of $f$ at $t$ to be the number $f^{\Delta}(t)$ (if it exists) so that there exists a $\delta >0$ so that for all $s \in (t-\delta,t+\delta) \bigcap \mathbb{T}$,
+
Let $\mathbb{T}$ be a [[time_scale | time scale]] and let $f \colon \mathbb{T} \rightarrow \mathbb{R}$ and let $t \in \mathbb{T}^{\kappa}$. We define the $\Delta$-derivative of $f$ at $t$ to be the number $f^{\Delta}(t)$ (if it exists) so that there exists a $\delta >0$ so that for all $s \in (t-\delta,t+\delta) \bigcap \mathbb{T}$,
 
$$|[f(\sigma(t))-f(s)]-f^{\Delta}(t)[\sigma(t)-s]| \leq \epsilon |\sigma(t)-s|.$$
 
$$|[f(\sigma(t))-f(s)]-f^{\Delta}(t)[\sigma(t)-s]| \leq \epsilon |\sigma(t)-s|.$$
 
We sometimes use the notation $\dfrac{\Delta}{\Delta t} f(t)$ or $\dfrac{\Delta f}{\Delta t}$ for $f^{\Delta}(t)$.
 
We sometimes use the notation $\dfrac{\Delta}{\Delta t} f(t)$ or $\dfrac{\Delta f}{\Delta t}$ for $f^{\Delta}(t)$.
  
==Properties of the $\Delta$-derivative<ref>Bohner, Martin ; Peterson, Allan. Dynamic equations on time scales. An introduction with applications. Birkhäuser Boston, Inc., Boston, MA, 2001,p.8.</ref>==
+
==Properties of the $\Delta$-derivative==
 
+
[[Delta derivative of constant]]<br />
{{:Delta derivative implies continuous}}
+
[[Delta differentiable implies continuous]]<br />
 
+
[[Delta derivative at right-scattered]]<br />
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
[[Delta derivative at right-dense]]<br />
<strong>Theorem:</strong> If $f$ is continuous at $t$ and $t$ is right-scattered, then
+
[[Delta simple useful formula]]<br />
$$f^{\Delta}(t) = \dfrac{f(\sigma(t))-f(t)}{\mu(t)}.$$
+
[[Delta derivative of sum]]<br />
<div class="mw-collapsible-content">
+
[[Delta derivative of constant multiple]]<br />
<strong>Proof:</strong>
+
[[Delta derivative of product (1)]]<br />
</div>
+
[[Delta derivative of product (2)]]<br />
</div>
+
[[Delta derivative of reciprocal]]<br />
 
+
[[Delta derivative of quotient]]<br />
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
[[Delta derivative of squaring function]]<br />
<strong>Theorem:</strong> If $t$ is right-dense, then (if it exists),
+
[[Delta derivative of classical polynomial]]<br />
$$f^{\Delta}(t) = \displaystyle\lim_{s \rightarrow t}\dfrac{f(t)-f(s)}{t-s}.$$
+
[[Delta derivative of reciprocal of classical polynomial]]<br />
<div class="mw-collapsible-content">
+
[[Relationship between nabla derivative and delta derivative]]<br />
<strong>Proof:</strong>
+
[[Relationship between delta derivative and nabla derivative]]<br />
</div>
+
[[Delta mean value theorem]]<br />
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem:</strong> If $f$ is differentiable at $t$, then
 
$$f(\sigma(t))=f(t)+\mu(t)f^{\Delta}(t).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem (Sum rule):</strong>
 
$$(f+g)^{\Delta}(t)=f^{\Delta}(t)+g^{\Delta}(t).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>  █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem (Constant rule):</strong> If $\alpha$ is constant with respect to $t$, then
 
$$(\alpha f)^{\Delta}(t) = \alpha f^{\Delta}(t).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>  █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem (Product rule,I):</strong> The following formula holds:
 
$$(fg)^{\Delta}(t)=f^{\Delta}(t)g(t)+f(\sigma(t))g^{\Delta}(t)).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>  █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem (Product rule,II):</strong> The following formula holds:
 
$$(fg)^{\Delta}(t) = f(t)g^{\Delta}(t)+ f^{\Delta}(t)g(\sigma(t)).$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>  █
 
</div>
 
</div>
 
 
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<strong>Theorem (Quotient rule):</strong> The following formula holds:
 
$$\left( \dfrac{f}{g} \right)^{\Delta}(t) = \dfrac{f^{\Delta}(t)g(t)-f(t)g^{\Delta}(t)}{g(t)g(\sigma(t))}.$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>
 
</div>
 
</div>
 
 
 
{{:Relationship between nabla derivative and delta derivative}}
 
{{:Relationship between delta derivative and nabla derivative}}
 
  
 
== References ==
 
== References ==
<references/>
+
* {{BookReference|Dynamic Equations on Time Scales|2001|Martin Bohner|author2=Allan Peterson|prev=Induction on time scales|next=Delta differentiable implies continuous}}: Definition 1.10
 +
* {{PaperReference|Functional series on time scales|2008|Dorota Mozyrska|author2=Ewa Pawluszewicz|prev=Left dense|next=Regulated}}: Definition 2.1

Revision as of 14:54, 21 October 2017

Let $\mathbb{T}$ be a time scale and let $f \colon \mathbb{T} \rightarrow \mathbb{R}$ and let $t \in \mathbb{T}^{\kappa}$. We define the $\Delta$-derivative of $f$ at $t$ to be the number $f^{\Delta}(t)$ (if it exists) so that there exists a $\delta >0$ so that for all $s \in (t-\delta,t+\delta) \bigcap \mathbb{T}$, $$|[f(\sigma(t))-f(s)]-f^{\Delta}(t)[\sigma(t)-s]| \leq \epsilon |\sigma(t)-s|.$$ We sometimes use the notation $\dfrac{\Delta}{\Delta t} f(t)$ or $\dfrac{\Delta f}{\Delta t}$ for $f^{\Delta}(t)$.

Properties of the $\Delta$-derivative

Delta derivative of constant
Delta differentiable implies continuous
Delta derivative at right-scattered
Delta derivative at right-dense
Delta simple useful formula
Delta derivative of sum
Delta derivative of constant multiple
Delta derivative of product (1)
Delta derivative of product (2)
Delta derivative of reciprocal
Delta derivative of quotient
Delta derivative of squaring function
Delta derivative of classical polynomial
Delta derivative of reciprocal of classical polynomial
Relationship between nabla derivative and delta derivative
Relationship between delta derivative and nabla derivative
Delta mean value theorem

References