# Fungrim entry: e85dee

${z}^{2} \left({r}^{2} + 7 r + 12\right) \frac{Y^{(r + 4)}_{\nu}\!\left(z\right)}{\left(r + 4\right)!} + z \left(2 {r}^{2} + 11 r + 15\right) \frac{Y^{(r + 3)}_{\nu}\!\left(z\right)}{\left(r + 3\right)!} + \left(r \left(r + 4\right) + {z}^{2} - {\nu}^{2} + 4\right) \frac{Y^{(r + 2)}_{\nu}\!\left(z\right)}{\left(r + 2\right)!} + 2 z \frac{Y^{(r + 1)}_{\nu}\!\left(z\right)}{\left(r + 1\right)!} + \frac{Y^{(r)}_{\nu}\!\left(z\right)}{r !} = 0$
Assumptions:$\nu \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; r \in \mathbb{Z}_{\ge 0}$
TeX:
{z}^{2} \left({r}^{2} + 7 r + 12\right) \frac{Y^{(r + 4)}_{\nu}\!\left(z\right)}{\left(r + 4\right)!} + z \left(2 {r}^{2} + 11 r + 15\right) \frac{Y^{(r + 3)}_{\nu}\!\left(z\right)}{\left(r + 3\right)!} + \left(r \left(r + 4\right) + {z}^{2} - {\nu}^{2} + 4\right) \frac{Y^{(r + 2)}_{\nu}\!\left(z\right)}{\left(r + 2\right)!} + 2 z \frac{Y^{(r + 1)}_{\nu}\!\left(z\right)}{\left(r + 1\right)!} + \frac{Y^{(r)}_{\nu}\!\left(z\right)}{r !} = 0

\nu \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \setminus \left\{0\right\} \;\mathbin{\operatorname{and}}\; r \in \mathbb{Z}_{\ge 0}
Definitions:
Fungrim symbol Notation Short description
Pow${a}^{b}$ Power
BesselY$Y_{\nu}\!\left(z\right)$ Bessel function of the second kind
Factorial$n !$ Factorial
CC$\mathbb{C}$ Complex numbers
ZZGreaterEqual$\mathbb{Z}_{\ge n}$ Integers greater than or equal to n
Source code for this entry:
Entry(ID("e85dee"),
Assumptions(And(Element(nu, CC), Element(z, SetMinus(CC, Set(0))), Element(r, ZZGreaterEqual(0)))))