Difference between revisions of "Delta derivative"

From timescalewiki
Jump to: navigation, search
(→‎Properties of the $\Delta$-derivativeBohner, Martin ; Peterson, Allan. Dynamic equations on time scales. An introduction with applications. Birkhäuser Boston, Inc., Boston, MA, 2001,p.8.)
 
(17 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 differentiable implies continuous]]<br />
 +
[[Delta derivative at right-scattered]]<br />
 +
[[Delta derivative at right-dense]]<br />
 +
[[Delta simple useful formula]]<br />
 +
[[Delta derivative of sum]]<br />
 +
[[Delta derivative of constant multiple]]<br />
 +
[[Delta derivative of product (1)]]<br />
 +
[[Delta derivative of product (2)]]<br />
 +
[[Delta derivative of reciprocal]]<br />
 +
[[Delta derivative of quotient]]<br />
 +
[[Delta derivative of squaring function]]<br />
 +
[[Delta derivative of classical polynomial]]<br />
 +
[[Delta derivative of reciprocal of classical polynomial]]<br />
 +
[[Relationship between nabla derivative and delta derivative]]<br />
 +
[[Relationship between delta derivative and nabla derivative]]<br />
 +
[[Delta mean value theorem]]<br />
  
−
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
=See also=
−
<strong>Theorem:</strong> If $f$ is $\Delta$-differentiable at $t$, then $f$ is [[continuity | continuous]] at $t$.
+
[[Nabla derivative]]<br />
−
<div class="mw-collapsible-content">
 
−
<strong>Proof:</strong>  █
 
−
</div>
 
−
</div>
 
  
−
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
+
== References ==
−
<strong>Theorem:</strong> If $f$ is continuous at $t$ and $t$ is right-scattered, then
+
* {{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
−
$$f^{\Delta}(t) = \dfrac{f(\sigma(t))-f(t)}{\mu(t)}.$$
+
* {{PaperReference|Functional series on time scales|2008|Dorota Mozyrska|author2=Ewa Pawluszewicz|prev=Left dense|next=Regulated}}: Definition 2.1
−
<div class="mw-collapsible-content">
 
−
<strong>Proof:</strong>  █
 
−
</div>
 
−
</div>
 
−
 
 
−
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
−
<strong>Theorem:</strong> If $t$ is right-dense, then (if it exists),
 
−
$$f^{\Delta}(t) = \displaystyle\lim_{s \rightarrow t}\dfrac{f(t)-f(s)}{t-s}.$$
 
−
<div class="mw-collapsible-content">
 
−
<strong>Proof:</strong>  █
 
−
</div>
 
−
</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:</strong> Sum rule:
 
−
$$(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">
+
[[Category:Definition]]
−
<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:</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:</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>
 
−
 
 
−
==Interesting Examples==
 
−
*The jump operator $\sigma$ is not $\Delta$-differentiable on all time scales. Consider $\mathbb{T}=[0,1] \bigcup \{2,3,4,\ldots\}$, then we see
 
−
$$\sigma(t) = \left\{ \begin{array}{ll}
 
−
0 &; t \in [0,1) \\
 
−
1 &; t \in \{1,2,3,\ldots\}.
 
−
\end{array}\right.$$
 
−
This function is clearly not continuous at $t=1$ and hence it is not $\Delta$-differentiable at $t=1$.
 
−
 
 
−
 
 
−
== References ==
 
−
<references/>
 

Latest revision as of 15:19, 21 January 2023

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

See also

Nabla derivative

References

Retrieved from "http://timescalewiki.org/index.php?title=Delta_derivative&oldid=2225"