Delta derivative of product (1)
From timescalewiki
Theorem
Let $\mathbb{T}$ be a time scale and $f,g \colon \mathbb{T} \rightarrow \mathbb{R}$ delta differentiable. Then the product function $fg$ is delta differentiable with $$(fg)^{\Delta}(t)=f^{\Delta}(t)g(t)+f(\sigma(t))g^{\Delta}(t),$$ where $\sigma$ denotes the forward jump.
Proof
References
- Martin Bohner and Allan Peterson: Dynamic Equations on Time Scales (2001)... (previous)... (next): Theorem 1.20 (iii)