Derivative of delta cosh

From timescalewiki
Jump to: navigation, search

Theorem

Let $p\in C_{rd}$. If $-\mu p^2 \in \mathcal{R}$, then $$\cosh^{\Delta}_p = p\sinh_p,$$ where $\cosh_p$ denotes the $\Delta$-$\cosh_p$ function and $\sinh_p$ denotes the $\Delta$-$\sinh_p$ function.

Proof

References