Some extremum problems in the theory of Fourier series. (Q2590923)

Es werden Abschätzungen für Linearkombinationen Fourierscher Koeffizienten einer beschränkten periodischen Funktion bzw. für die Real- und Imaginärteile solcher Linearkombinationen gegeben und diejenigen Funktionen bestimmt, für welche die Linearkombinationen ihrem absoluten Betrage nach extremal ausfallen. Zur Kennzeichnung der Untersuchungen seien hier lediglich die folgenden Ergebnisse aufgeführt: Es sei \[ f(x) \sim \sum_{-\infty}^{\infty} c_{\nu} e^{i \nu x} \] die Fourierreihe einer reell- oder komplexwertigen, mit der Periode \(2\pi\) periodischen, über \((-\pi, \,\pi)\) \(L\)-integrierbaren Funktion, also \[ c_{\nu}=\frac{1}{2\pi} \int\limits_{-\pi}^{\pi} f(x) \,e^{-i \nu x} \,dx = \frac{1}{2} (a_{\nu}-i b_{\nu}) \qquad (\nu=0, \pm 1, \pm 2, \ldots). \] Darüber hinaus werde \[ |\, f(x) \,| \leqq 1 \;\; \text{ für } \;\; -\pi <x< \pi \] vorausgesetzt. Es sei weiter ein System von \(m + 1\) (komplexen) Zahlen \(\mu_0, \, \mu_1, \ldots \!, \mu_m\) vorgegeben. Neben diesem allgemeinen Fall werde für \(m = 2n\) der Sonderfall betrachtet: \[ \mu_0=\lambda_0^2, \, \mu_1=2 \lambda_0 \lambda_1, \ldots \!, \, \mu_n=\lambda_0 \lambda_n + \lambda_1 \lambda_{n-1} + \cdots + \lambda_n \lambda_0, \] \[ \mu_{n+1}=\lambda_1 \lambda_n + \cdots + \lambda_n \lambda_1, \ldots \!, \mu_{2n}=\lambda_n^2. \] Endlich bezeichne \(k\) irgendeine natürliche Zahl, und es sei \(|\, \xi \,|=1\). Dann gelten die Ungleichungen \[ |\, \sum_{0}^{m} \mu_{\nu} c_{\nu+k} \xi^{\nu} \,| \leqq \frac{1}{2\pi} \int\limits_{-\pi}^{\pi} |\, \sum_{0}^{m} \mu_{\nu} e^{-i \nu x} \,| \,dx, \tag{1} \] \[ |\, \sum_{0}^{2n} \mu_{\nu} c_{\nu+k} \xi^{\nu} \,| \leqq \sum_{0}^{n} |\, \lambda_{\nu} \,|^2, \tag{2} \] und das Gleichheitszeichen steht \noindent in (1) für \(f(x)=e^{-i(\theta-kx)} \left[ \dfrac{\sum\limits_{0}^{m} \overline{\mu}_{\nu} e^{i \nu x} \xi^{-\nu}} {\sum\limits_{0}^{m} \mu_{\nu} e^{-i \nu x} \xi^{\nu}} \right]^{\frac{1}{2}}\), \noindent in (2) für \(f(x)=e^{-i(\theta-kx)} \dfrac{\sum\limits_{0}^{n} \overline{\lambda}_{\nu} e^{i \nu x} \xi^{-\nu}} {\sum\limits_{0}^{n} \lambda_{\nu} e^{-i \nu x} \xi^{\nu}} \qquad (\theta \text{ reell})\). \noindent Für die Wahl \(k=1\), \(\lambda_j=1\) \((j = 0, \,1, \ldots \!, n)\) sind in (2) gewisse Ungleichungen von \textit{Fejér} (Bull. Amer. math. Soc. 40 (1934), 469-475; F.~d.~M. 60\(_{\text{I}}\), 228) und \textit{Fekete} (Bull. Amer. math. Soc. 41 (1935), 138-144; Proc. London math. Soc. (2) 39 (1935), 321-333; F.~d.~M. 61\(_{\text{I}}\), 272, 298) enthalten. Für weitere Spezialisierungen der Größen \(\lambda_j\) werden die Ergebnisse mitgeteilt. Ist \(f(x)\) reellwertig, ist ferner \(\lambda_{\nu}=\overline{\lambda}_{n-\nu} \,(\nu=0, \,1, \ldots \!, n)\) so gelten die Ungleichungen \[ \left. \begin{aligned} & (3) \qquad \qquad \;\; |\, \mathfrak{R} \sum_{0}^{2n} \mu_{\nu} c_{\nu+k} \,| \\ & (4) \qquad \qquad \;\; |\, \mathfrak{I} \sum_{0}^{2n} \mu_{\nu} c_{\nu+k} \,| \end{aligned} \right\} \leqq \frac{2}{\pi} \sum_{0}^{n} |\, \lambda_{\nu} \,|^2 \] und Gleichheit besteht \noindent in (3) für \(\qquad \qquad \;\; \pm f(x)=\text{ sgn cos } (k+n) \,x\), \noindent in (4) für \(\qquad \qquad \;\; \pm f(x)=\text{ sgn sin } (k+n) \,x\). \noindent Sind endlich \(s_n(x)\) bzw. \(\overline{s}_n(x)\) die Partialsummen der Fourierreihe bzw. ihrer konjugierten und \(\sigma_n(x)\) bzw. \(\overline{\sigma}_n(x)\) die arithmetischen Mittel dieser Partialsummen, so ist in diesem Fall \[ \left. \begin{aligned} & |\, \sigma_{2n}(t)-\sigma_{n}(t) \,| \\ & |\, \overline{\sigma}_{2n}(t)-\overline{\sigma}_{n}(t) \,| \end{aligned} \right\} \leqq \frac{2}{\pi}. \] Für Sinusreihen mit positiven Koeffizienten ergeben sich aus den vorangehenden Untersuchungen insbesondere die Abschätzungen \[ \sum_{1}^{n} \nu b_{\nu} \leqq \frac{4}{\pi} n, \] \[ |\, \sum_{1}^{n} b_{\nu} \,\sin \, \nu x \,| \leqq 1+\frac{4}{\pi}=2,2732 \cdots. \] Für verallgemeinerte Fourierreihen fastperiodischer Funktionen und für Fourierintegrale leitet Verf. ganz entsprechende Ungleichungen her.