Assumptions:
TeX:
z \operatorname{sinc}''(z) + 2 \operatorname{sinc}'(z) + z \operatorname{sinc}(z) = 0
z \in \mathbb{C}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ComplexDerivative | Complex derivative | |
| Sinc | Sinc function | |
| CC | Complex numbers |
Source code for this entry:
Entry(ID("c6e6b2"),
Formula(Equal(Add(Add(Mul(z, ComplexDerivative(Sinc(z), For(z, z, 2))), Mul(2, ComplexDerivative(Sinc(z), For(z, z)))), Mul(z, Sinc(z))), 0)),
Variables(z),
Assumptions(Element(z, CC)))