Assumptions:
TeX:
Y'_{0}\!\left(z\right) = -Y_{1}\!\left(z\right) z \in \mathbb{C} \setminus \left\{0\right\}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
BesselY | Bessel function of the second kind | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("8b6264"), Formula(Equal(BesselY(0, z, 1), Neg(BesselY(1, z)))), Variables(z), Assumptions(Element(z, SetMinus(CC, Set(0)))))