Delta cosh minus delta sinh

From timescalewiki
Jump to: navigation, search

Theorem

The following formula holds: $$\cosh^2_p - \sinh^2_p = e_{-\mu p^2},$$ where $\cosh_p$ denotes the $\Delta$-$\cosh_p$ function, $\sinh_p$ denotes the $\Delta$-$\sinh_p$ function, and $e_p$ denotes the $\Delta$-$e_p$ function.

Proof

References