A question about the Beurling-Selberg majorant - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T11:11:04Z http://mathoverflow.net/feeds/question/92953 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/92953/a-question-about-the-beurling-selberg-majorant A question about the Beurling-Selberg majorant boinkboink 2012-04-03T02:03:36Z 2012-04-03T05:01:43Z <p>Beurling's majorant is defined as the unique entire function $B(z)$ such that the Fourier transform of $B(x)$ is compactly supported in the interval $[-1;1]$, $B(x) \geq \text{sgn}(x)$ and $B(x)$ minimizes the integral, $$\int_{-\infty}^{\infty} B(x) - \text{sgn}(x) \text{d} x=1$$</p> <p>Explicitly,</p> <p>$$B(z) = \left ( \frac{\sin (\pi z)}{\pi} \right )^2 \cdot \left ( \frac{2}{z} + \sum_{n = 0}^{\infty} \frac{1}{(z-n)^2} - \sum_{n=1}^{\infty} \frac{1}{(z+n)^2} \right )$$</p> <p>Note that by Paley-Wiener the property that the Fourier transform of $B(x)$ is compactly supported in $[-1;1]$ is equivalent to the property that $B(z)$ is a function of exponential type, with $B(z) = O(e^{2 \pi |\Im z|})$. </p> <p>In general $B(x)$ is also a very good point-wise approximation to $\text{sgn}(x)$ and this makes it a very valuable function when one needs optimal numerical constants. The need for such arises sometimes in analytic number theory, for example. </p> <p>Seulberg modified Beurling's function, and considered, </p> <p>$$S_{+}(z) = \frac{1}{2} B(\delta (z - a)) + \frac{1}{2} B(\delta ( b - z))$$</p> <p>This is a very good majorant for the characteristic function of the interval $[a;b]$. Here $\delta$ is a parameter that regulates the quality of the approximation. The price to pay for a larger $\delta$ is that $\hat{S_{+}}(x)$ vanishes when $x$ is larger, i.e when $|x| > \delta$.</p> <p>Selberg's majorant has the properties that $S_{+}(x) \geq 1$ when $a \leq x \leq b$ and $S_{+}(x) \geq 0$ otherwise. Furthermore $\hat{S_{+}}(x) = 0$ when $|x| \geq \delta$ and finally $$\int_{-\infty}^{\infty} S_{+}(x) \text{d} x = b - a + \frac{1}{\delta}$$ When $\delta(a-b)$ is an integer this is in fact the optimal majorant satisfying these constraints, but in general it is quite good. </p> <p>After this long introduction, my question is the following: Is there a known construction of an optimal majorant $M_{+}(x)$ with the following properties,</p> <p>1) $M_{+}(x) \geq 1$ when $a \leq x \leq b$, and $M_{+}(x) \geq 0$ otherwise</p> <p>2) The fourier transform of $M_{+}(x)$ is compactly supported in $[-\delta;\delta]$</p> <p>3) The difference</p> <p>$$\int_{-\infty}^{\infty} |M_{+}(x)|^2 \text{d} x - (b-a)$$</p> <p>is as small as possible? How small can it be, in terms of $\delta$ ? (EDIT: I am particularly interested in upper bounds for the above quantity). </p> <p>I will be grateful for any insights, references concerning this question. I know that Valeer has done quite some work with Beurling and Selberg's majorants but I haven't been able to locate anything relevant to my question in his publications. </p> <p>You can view the Selberg majorant approximating the unit interval with $\delta = 3$ at <a href="http://www.freeimagehosting.net/xffsu" rel="nofollow">http://www.freeimagehosting.net/xffsu</a> . (If one of the mods could link the image into my question I will be grateful). </p> http://mathoverflow.net/questions/92953/a-question-about-the-beurling-selberg-majorant/92960#92960 Answer by Mark Lewko for A question about the Beurling-Selberg majorant Mark Lewko 2012-04-03T03:53:45Z 2012-04-03T03:53:45Z <p>Given such a $M$ note that $F(x)=M^2(x)$ will be (1) non-negative, (2) majorize $1_{[a,b]}$, and (3) has $\hat{F}$ supported in $[-2\delta,2\delta]$. Thus it will be a (possibly not optimal) solution to the standard $2\delta$ Beurling-Selberg problem. This implies that $$\int |M(x)|^2dx - (b-a) \geq \frac{1}{2\delta}$$ (at least in the cases when the standard Beurling-Selberg construction is known to be sharp).</p>