On an extremal problem of Selberg. II. (Q2370180)

Für \(p\in\mathbb{N}\) sei \(m_p\) das Minimum von \(\prod_{j=1}^p(1+y_j)\) unter den Bedingungen \((y_1,\dots,y_p)\in \mathbb{R}_+^p,\,\, \prod_{j=1}^py_j=e^{1-p},\,\, \prod_{1\leq i<j\leq p}|y_i- y_j|=e^{-(p-1)^2}\). Verf. hat in einer früheren Arbeit [J. Approximation Theory 142, 129--137 (2006; Zbl 1108.30020)] scharfe untere und obere Abschätzungen für \(Q(p):=p^{-1}\log m_p\) bewiesen. Nun zeigt er genauer \(\lim_{p\rightarrow\infty}Q(p)=0,33421\dots\) Dazu führt er für \(k=1,2\) die in \(x>1\) strikt monoton wachsende, unbeschränkte Funktion \(\varphi_k(x):=x^k\log x-(x^k-1)\log(x-1)\) ein und beweist damit: Das simultane Gleichungssystem \(\varphi_1(s)-\varphi_1(t)=1, \varphi_2(s)+\varphi_2(t)-\varphi_2(s+t)=2\) hat in \(s>t>1\) genau eine Lösung \((s_0,t_0)\), die numerisch zu \(s_0=18,01280\dots, t_0=6,94819\dots\) berechnet wird. Eine direkte Anwendung der Euler-Maclaurinschen Summenformel auf Ergebnisse aus der o.g. Arbeit des Verf. liefert \(\lim_{p\rightarrow\infty}Q(p)= \varphi_1(s_0+t_0)-\varphi_1(s_0)\). Auf den Zusammenhang von \(m_p\) mit einem von A. Selberg (1941) behandelten Problem über ganze ganzwertige Funktionen ging die Besprechung der früheren Arbeit ein.