Fungrim entry: 5bb42e

Symbol: BesselY —

Y_{\nu}\!\left(z\right)

— Bessel function of the second kind

The following table lists all conditions such that BesselY(nu, z) is defined in Fungrim.

Domain	Codomain
Numbers
$\nu \in \mathbb{R} \,\mathbin{\operatorname{and}}\, z \in \left(0, \infty\right)$	$Y_{\nu}\!\left(z\right) \in \mathbb{R}$
$\nu \in \mathbb{C} \setminus \left\{0\right\} \,\mathbin{\operatorname{and}}\, z \in \mathbb{C}$	$Y_{\nu}\!\left(z\right) \in \mathbb{C}$

Table data:

\left(P, Q\right)

such that

\left(P\right) \implies \left(Q\right)

Definitions:

Fungrim symbol	Notation	Short description
`BesselY`	$Y_{\nu}\!\left(z\right)$	Bessel function of the second kind
`RR`	$\mathbb{R}$	Real numbers
`OpenInterval`	$\left(a, b\right)$	Open interval
`Infinity`	$\infty$	Positive infinity
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("5bb42e"),
    SymbolDefinition(BesselY, BesselY(nu, z), "Bessel function of the second kind"),
    Description("The following table lists all conditions such that", SourceForm(BesselY(nu, z)), "is defined in Fungrim."),
    Table(TableRelation(Tuple(P, Q), Implies(P, Q)), TableHeadings(Description("Domain"), Description("Codomain")), List(TableSection("Numbers"), Tuple(And(Element(nu, RR), Element(z, OpenInterval(0, Infinity))), Element(BesselY(nu, z), RR)), Tuple(And(Element(nu, SetMinus(CC, Set(0))), Element(z, CC)), Element(BesselY(nu, z), CC)))))

Topics using this entry

Bessel functions