Fungrim home page

Fungrim entry: 1e6344

arg minxRsinc(x)={a,a}   where a=j32,1\mathop{\operatorname{arg\,min}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = \left\{-a, a\right\}\; \text{ where } a = j_{\frac{3}{2}, 1}
\mathop{\operatorname{arg\,min}}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = \left\{-a, a\right\}\; \text{ where } a = j_{\frac{3}{2}, 1}
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:
    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-08-27 09:56:25.682319 UTC