A proof of a theorem on bilinear forms. (Q572890)

In Anlehnung an eine durch \textit{Hardy} und \textit{Littlewood} (Journal L. M. S. 3 (1928), 105-110; F. d. M. 54, 226 (JFM 54.0226.*)) entwickelte Methode wird der folgende von \textit{M. Riesz} (Acta Math. 49 (1927), 465-497; F. d. M. 53, 259 (JFM 53.0259.*)-260) bewiesene Satz erneut bewiesen: Wenn \[ \sum\limits_{m=1}^M\sum_{n=1}^N A_{m,n}x_my_n \] eine bilineare Form mit reellen \(A_{m,n}\) und \(M(\alpha,\gamma)\) das Maximum von \[ \dfrac{\bigg(\sum\limits_{n=1}^N\bigg|\sum\limits_{m=1}^M A_{m,n} x_m\bigg|^{\tfrac1\gamma}\bigg)^\gamma} {\bigg(\sum\limits_{m=1}^M |x_m|^{\tfrac1\alpha}\bigg)^\alpha} \] für reelle \(x\) bedeutet, so ist \(M (\alpha, \gamma)\) für \(0 \leqq \gamma \leqq \alpha \leqq 1\) eine konvexe Funktion.