Assumptions:
TeX:
I'_{0}\!\left(z\right) = I_{1}\!\left(z\right)
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| BesselIDerivative | Differentiated modified Bessel function of the first kind | |
| BesselI | Modified Bessel function of the first kind | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("c0247f"),
Formula(Equal(BesselIDerivative(0, z, 1), BesselI(1, z))),
Variables(z),
Assumptions(Element(z, CC)))