Assumptions:
TeX:
\int_{-\infty}^{z} \operatorname{sinc}(x) \, dx = \operatorname{Si}(z) + \frac{\pi}{2} z \in \mathbb{C}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Integral | Integral | |
Sinc | Sinc function | |
Infinity | Positive infinity | |
Pi | The constant pi (3.14...) | |
CC | Complex numbers |
Source code for this entry:
Entry(ID("8ef3d7"), Formula(Equal(Integral(Sinc(x), For(x, Neg(Infinity), z)), Add(SinIntegral(z), Div(Pi, 2)))), Variables(z), Assumptions(Element(z, CC)))