Fungrim entry: de9800

\operatorname{Ai}\!\left(z\right) \operatorname{Bi}'\!\left(z\right) - \operatorname{Ai}'\!\left(z\right) \operatorname{Bi}\!\left(z\right) = \frac{1}{\pi}

z \in \mathbb{C}

TeX:

\operatorname{Ai}\!\left(z\right) \operatorname{Bi}'\!\left(z\right) - \operatorname{Ai}'\!\left(z\right) \operatorname{Bi}\!\left(z\right) = \frac{1}{\pi}

Definitions:

Fungrim symbol	Notation	Short description
`AiryAi`	$\operatorname{Ai}\!\left(z\right)$	Airy function of the first kind
`AiryBi`	$\operatorname{Bi}\!\left(z\right)$	Airy function of the second kind
`ConstPi`	$\pi$	The constant pi (3.14...)
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("de9800"),
    Formula(Equal(Sub(Mul(AiryAi(z), AiryBiPrime(z)), Mul(AiryAiPrime(z), AiryBi(z))), Div(1, ConstPi))),
    Variables(z),
    Element(z, CC))

Topics using this entry

Airy functions

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

2019-06-18 07:49:59.356594 UTC