Diamond alpha derivative
From timescalewiki
Properties
Theorem: Let $0 \leq \alpha \leq 1$. If $f$ is both $\Delta$ and $\nabla$ differentiable at $t \in \mathbb{T}$ then $f$ is $\Diamond_{\alpha}$-differentiable at t and $$f^{\Diamond_{\alpha}}(t)=\alpha f^{\Delta}(t) + (1-\alpha)f^{\nabla}(t).$$
Proof: █
