Optimization problem arising from the study of zeta zeros - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T18:52:17Z http://mathoverflow.net/feeds/question/97040 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97040/optimization-problem-arising-from-the-study-of-zeta-zeros Optimization problem arising from the study of zeta zeros Micah Milinovich 2012-05-15T19:57:06Z 2012-05-18T21:08:01Z <p><strong>Motivation</strong>: The following problem arose in <strong>[1]</strong> while studying the vertical distribution of the zeros of the Riemann zeta-function. At the time, my collaborators and I were unable to solve it and I have never been able to derive a "satisfying answer."</p> <p><strong>Set-up</strong>: Let $r\ge 1$ and let $f \in L^2[0,1]$ be a continuous real-valued function of bounded variation on $[0,1]$, normalized so that $$\int_0^1(1-u)^{r^2-1}f(u)^2 du = 1.$$ Further define $M(c)=M(c,f,r)$ as $$M(c):=c+\frac{2 r}{\pi}\int_0^1 (1-u)^{r^2-1}f(u) \int_0^u \frac{\sin(\pi c v)}{v} f(u-v) \ dv \ du.$$</p> <p><strong>Question</strong>: How does one choose $r$ and $f$ optimally so that $$M(c) >1$$ for $c$ as small as possible? </p> <p>An argument of Conrey, Ghosh, and Gonek <strong>[2]</strong> can be used to show that $M(c)&lt;1$ if $c&lt;\frac{1}{2}$ for any such $f$ and $r$. In <strong>[1]</strong>, choosing $f$ to be a polynomial of low degree ($\le 6$) and using Mathematica to numerically optimize the $r$ and the coefficients, we were able to find $f$ and $r$ such that $M(.5155)>1$.</p> <p>In the special case when $r=1$, Montgomery and Odlyzko <strong>[3]</strong> observed that this optimization problem had already been solved using prolate spheroidal wave functions (see comments below). Here is how they reduced the problem to one that was already solved. In this case, we have $$M(c) = c+ \int_0^1\int_0^1 f(u) f(v) \frac{\sin(\pi c(u-v))}{\pi(u-v)} \ dv \ du.$$ The double integral on the right-hand side is $$\int_{-c/2}^{c/2} \left| \int_0^1 f(v) e^{2\pi i t v} dv \right|^2 dt :=I(c),$$ say. They then observed that choosing $$f(x) = aR_{00}^{(1)}[\pi c/2,2x-1]$$ maximizes $I(c)$, where $R_{mn}^{(1)}[c,x]$ is the radial prolate spheroidal wave function of the first kind of order <em>m</em> and degree <em>n</em>, and <em>a</em> is a constant to be chosen according to our above normalization.</p> <p>These wave functions are very hard to study numerically, and Montgomery and Odlyzko approximated them using modified Bessel functions. In <strong>[1]</strong>, when $r=1$, we recovered their results to four decimal places using polynomials of degree four. So in this case it seems that polynomials of small degree work (almost) as well as more sophisticated techniques.</p> <p><em>References:</em></p> <p><strong>[1]</strong> H. M. Bui, M. B. Milinovich, and N. C. Ng, <em>A note on the gaps between consecutive zeros of the Riemann zeta-function</em>, Proc. Amer. Math. Soc. <strong>138</strong> (2010), no. 12, pp. 4167-4175.</p> <p><strong>[2]</strong> J. B. Conrey, A. Ghosh, and S. M. Gonek, <em>A note on gaps between zeros of the zeta function</em>, Bull. London Math. Soc. <strong>16</strong> (1984), 421–424.</p> <p><strong>[3]</strong> H. L. Montgomery and A. M. Odlyzko, <em>Gaps between zeros of the zeta function</em>, Colloq. Math. Soc. Janos Bolyai, 34. Topics in Classical Number Theory (Budapest, 1981), North-Holland, Amsterdam, 1984.</p> <p><strong>Edit/Additional Comments</strong>: The solution optimization problem when $r=1$ should probably be attributed to Slepian and Pollak and to Landau and Pollack in <em>Prolate spheroidal wave functions, Fourier analysis and uncertainty I</em> and <em>II,</em> Bell System Tech. J. (1961) <strong>40</strong>, pp. 43-61 (<em>I</em>) and pp. 65-84 (<em>II</em>). Among other things, they prove the following results.</p> <p><strong>Theorem:</strong> <em>Let $\alpha(c)$ be the least number such that</em> $$\int_{-c/2}^{c/2} \left|\int_0^1 f(x) e^{2\pi i t x} dx \right|^2 dt \le \alpha(c) \int_0^1 |f(x)|^2 dx$$ <em>for all $f\in L^2[0,1]$. Then $\alpha(c)$ is strictly increasing, $\alpha(c)\lt c$ for $c \gt 0$, $\alpha(c)\sim c$ as $c\to 0^+$, and $\alpha(c)\to 1$ as $c\to \infty$. Moreover, equality is achieved in the above inequality if</em> $f(x) = R_{00}^{(1)}[\pi c/2,2x-1]$.</p> <p>One of the possible hang-ups in solving the optimization problem when $r>1$ is that I have not been able to "complete" the double integral $$\int_0^1 (1-u)^{r^2-1}f(u) \int_0^u \frac{\sin(\pi c v)}{\pi v} f(u-v) \ dv \ du$$ into a double integral of the form $$\int_0^1 \int_0^1 [\text{nice integrand}] \ dv \ du,$$ which is the first step in Montgomery &amp; Odlyzko's argument.</p>