Fungrim home page

Fungrim entry: 1e6344

arg minxRsinc(x)={a,a}   where a=j3/2,1\mathop{\operatorname{arg\,min}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = \left\{-a, a\right\}\; \text{ where } a = j_{3 / 2,1}
TeX:
\mathop{\operatorname{arg\,min}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = \left\{-a, a\right\}\; \text{ where } a = j_{3 / 2,1}
Definitions:
Fungrim symbol Notation Short description
ArgMinarg minxSf(x)\mathop{\operatorname{arg\,min}}\limits_{x \in S} f(x) Locations of minimum value
Sincsinc(z)\operatorname{sinc}(z) Sinc function
RRR\mathbb{R} Real numbers
Source code for this entry:
Entry(ID("1e6344"),
    Formula(Equal(ArgMin(Sinc(x), ForElement(x, RR)), Where(Set(Neg(a), a), Equal(a, BesselJZero(Div(3, 2), 1))))))

Topics using this entry

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

2020-01-31 18:09:28.494564 UTC