An extremal problem for even positive definite entire functions of exponential type (Q2460475): Difference between revisions

Es seien \(f\in L_2(\mathbb{R}^n)\), \(E_\sigma(f)\) die beste Approximation von \(f\) durch eine ganze Funktion vom Exponentialtypus höchstens \(\sigma\) und \(\omega_r(\delta, f)\) der Stetigkeitsmodul der Ordnung \(r\). Weiter werde gesetzt: \[ D_r(\delta, \sigma)= \sup_{\substack{ f\in L_2(\mathbb{R}^n)\\ f\not\equiv 0}} {E_\sigma(f)\over \omega_r(\delta, f)},\quad d^n_r(\delta)= D_r(\delta, \pi), \] \(d^n_r(\delta)\) ist eine nicht wachsende stetige Funktion mit \[ d^n_r(+0)=+\infty,\quad \min_{\delta> 0}\, d^n_r(\delta)= {2r\choose r}^{-1/2}. \] Bei \(\alpha\in\mathbb{R}\), \(\alpha\geq-1/2\) sei \(K_\alpha\) die Menge aus den geraden, positiv definiten, ganzen Funktionen \(f\) vom Exponentialtypus höchstens \(\pi\)r mit den Eigenschaften \[ \int_{\mathbb{R}^+} |f(z)| z^{2\alpha+1} \,dz< \infty,\quad f(0)> 0,\qquad \int_{\mathbb{R}^+} f(z) z^{2\alpha+1} \,dz< \infty. \] Für natürliches \(r\) werde definiert \[ \begin{aligned} F_r(z, f)&= \sum^r_{k=1} (-1)^{k-1} {{2r\choose r-k}\over {2r\choose r-1}} f(kz),\\ \lambda(F_r(z, f))&= \inf\{\lambda> 0\mid F_r(z, f)\leq 0,\;z\geq \lambda\}. \end{aligned} \] Folgende Aussagen werden bewiesen: 1. Falls \(r,n\in\mathbb{N}\) gelten mit \[ \begin{aligned}\delta^n_r:= &\inf\biggl\{\delta> 0\mid d^n_r(\delta)= \binom{2r}{r}^{-1/2}\biggr\},\\ \lambda_{r,\alpha}:= &\inf\{\lambda(F_r(z, f))\mid f\in K_\alpha\}\end{aligned} \] die Relation \(\delta^n_r= \lambda_{r,n/2-1}\) 2. \(\lambda_{2,-1/2}\leq 1.074\dots\) 3. \(\lambda_{1,1/2}= \lambda_{2,1/2}\).