Fungrim home page

Fungrim entry: 24d383

Symbol: HankelH1 Hν(1) ⁣(z)H^{(1)}_{\nu}\!\left(z\right) Hankel function of the first kind
The following table lists all conditions such that HankelH1(nu, z) is defined in Fungrim.
Domain Codomain
Numbers
νC  and  zC{0}\nu \in \mathbb{C} \;\mathbin{\operatorname{and}}\; z \in \mathbb{C} \setminus \left\{0\right\} Hν(1) ⁣(z)CH^{(1)}_{\nu}\!\left(z\right) \in \mathbb{C}
Table data: (P,Q)\left(P, Q\right) such that (P)        (Q)\left(P\right) \;\implies\; \left(Q\right)
Definitions:
Fungrim symbol Notation Short description
HankelH1Hν(1) ⁣(z)H^{(1)}_{\nu}\!\left(z\right) Hankel function of the first kind
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("24d383"),
    SymbolDefinition(HankelH1, HankelH1(nu, z), "Hankel function of the first kind"),
    Description("The following table lists all conditions such that", SourceForm(HankelH1(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, CC), Element(z, SetMinus(CC, Set(0)))), Element(HankelH1(nu, z), CC)))))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC