Difference between revisions of "Delta derivative"

From timescalewiki
Jump to: navigation, search
(Properties of the $\Delta$-derivative)
(26 intermediate revisions by the same user not shown)
Line 1: Line 1:
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}$,
+
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)$.
  
 
==Properties of the $\Delta$-derivative==
 
==Properties of the $\Delta$-derivative==
*If $f$ is $\Delta$-differentiable at $t$, then $f$is [[continuity | continuous]] at $t$.
+
[[Delta derivative of constant]]<br />
*If $f$ is continuous at $t$ and $t$ is right-scattered, then
+
[[Delta differentiable implies continuous]]<br />
$$f^{\Delta}(t) = \dfrac{f(\sigma(t))-f(t)}{\mu(t)}$$
+
[[Delta derivative at right-scattered]]<br />
*If $t$ is right-dense, then (if it exists),
+
[[Delta derivative at right-dense]]<br />
$$f^{\Delta}(t) = \displaystyle\lim_{s \rightarrow t}\dfrac{f(t)-f(s)}{t-s}.$$
+
[[Delta simple useful formula]]<br />
*If $f$ is differentiable at $t$, then
+
[[Delta derivative of sum]]<br />
$$f(\sigma(t))=f(t)+\mu(t)f^{\Delta}(t)$$
+
[[Delta derivative of constant multiple]]<br />
*Sum rule:
+
[[Delta derivative of product (1)]]<br />
$$(f+g)^{\Delta}(t)=f^{\Delta}(t)+g^{\Delta}(t)$$
+
[[Delta derivative of product (2)]]<br />
*Constant rule:if $\alpha$ is constant with respect to $t$, then
+
[[Delta derivative of reciprocal]]<br />
$$(\alpha f)^{\Delta}(t) = \alpha f^{\Delta}(t)$$
+
[[Delta derivative of quotient]]<br />
*Product Rule I
+
[[Delta derivative of squaring function]]<br />
$$(fg)^{\Delta}(t)=f^{\Delta}(t)g(t)+f(\sigma(t))g^{\Delta}(t))$$
+
[[Delta derivative of classical polynomial]]<br />
*Product Rule II
+
[[Delta derivative of reciprocal of classical polynomial]]<br />
$$(fg)^{\Delta}(t) = f(t)g^{\Delta}(t)+ f^{\Delta}(t)g(\sigma(t))$$
+
[[Relationship between nabla derivative and delta derivative]]<br />
*Quotient Rule:
+
[[Relationship between delta derivative and nabla derivative]]<br />
$$\left( \dfrac{f}{g} \right)^{\Delta}(t) = \dfrac{f^{\Delta}(t)g(t)-f(t)g^{\Delta}(t)}{g(t)g(\sigma(t))}$$
+
[[Delta mean value theorem]]<br />
  
==Interesting Examples==
+
== References ==
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
+
* {{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
$$\sigma(t) = \left\{ \begin{array}{ll}
+
* {{PaperReference|Functional series on time scales|2008|Dorota Mozyrska|author2=Ewa Pawluszewicz|prev=Left dense|next=Regulated}}: Definition 2.1
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$.
 

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