A class of inequalities.

DOI10.1215/S0012-7094-40-00636-6MaRDI QIDQ2586462zbMATH OpenOpenAlexFDO

Authors W. B. Caton

Publication date 1940

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/s0012-7094-40-00636-6

Review text

Es sei \(0 < p_1, p_2, p_3 < \infty\), \(\dfrac1{p_1}+\dfrac1{p_2}+\dfrac1{p_3}=1\); \(\beta_1, \beta_2\geqq 0, \;\beta_1+\beta_2=\beta_3\); \(\alpha_1, \alpha_2\geqq 0\), \(\alpha_1+\alpha_2=1\); dann gilt nach Hölder für \(\beta_3p_3 > 1\) die Ungleichheit \[ \sum_1^\infty a_n \leqq K(\beta_3, p_3)\biggl\{ \sum_1^\infty (n^{\beta_1}a_n^{\alpha_1})^{p_1}\biggr\}^{\tfrac{1}{p_1}} \biggl\{\sum\limits_1^\infty (n^{\beta_2}a_n^{\alpha_2})^{p_2}\biggr\}^{\tfrac{1}{p_2}}.\tag{1} \] Darin ist \(K(\beta_3, p_3) =\biggl\{\sum\limits_1^\infty n^{-\beta_3p_3}\biggr\}^{\tfrac{1}{p_3}}\) gesetzt und konvergiert gegen \(+\infty\) für \(\beta_3p_3 \to 1\). Verf. fragt nun im Fall \(\beta_3p_3= 1\) nach der Existenz einer endlichen Zahl \(K\) derart, daß für jede Folge nicht negativer Zahlen \(a_n\) die Ungleichheit \[ \sum_1^\infty a_n \leqq K\biggl\{ \sum_1^\infty (n^{\beta_1}a_n^{\alpha_1})^{p_1}\biggr\}^{\tfrac{1}{p_1}} \biggl\{\sum _1^\infty (n^{\beta_2}a_n^{\alpha_2})^{p_2}\biggr\}^{\tfrac{1}{p_2}} \tag{2} \] gilt; er setzt \(\alpha_ip_i=\sigma_i, \;\beta_ip_i=\tau_i\) (\(i=1\) und 2) und nennt die Ungleichheit (2) vom Typus \(H_1\) oder \(H_0\), je nachdem \(\sigma_1 \neq \sigma_2\) oder \(\sigma _1=\sigma_2\) ist. Dem Typus \(H_0\) gehört die \textit{Corlson}sche Ungleichheit (Ark. Mat. Astron. Fysik 25 B (1935), Nr. 1; JFM 61.0206.*) \(\biggl(\sum \limits_1^\infty a_n\biggr)^4<\pi^2 \sum\limits_1^\infty a_n^2 \sum\limits _1^\infty n^2a_n^2\) als Sonderfall \((p_1 = p_2 = 4\), \(p_3 = 2\), \(\alpha_1 = \alpha_2 =\dfrac12\), \(\beta_1=\dfrac12\), \(\beta_2 = 0)\) an. Die Hauptergebnisse der vorliegenden Arbeit sind: I. Wenn \(\tau_1> \tau_2\) ist, existiert eine Ungleichheit (2) vom Typus \(H_0\), und \[ K=\biggl( \dfrac{p_2}{p_1}\biggr)^{\tfrac1p_2}\biggl(1+\dfrac{p_1}{p_2}\biggr)^{\tfrac{1}{\sigma}} (\tau_1-\tau_2)^{-\tfrac{1}{p_3}}I^{\tfrac{1}{p_3}} \] mit \[ I=\varGamma \biggl(\dfrac{\sigma-1-\tau_2}{(\sigma-1)(\tau_1 - \tau_2)} \biggr)\varGamma \biggl(\dfrac{\tau_1+1-\sigma}{(\sigma-1)(\tau_1 - \tau_2)} \biggl):\varGamma\biggl(\dfrac{1}{\sigma-1}\biggr) \] ist die beste Konstante. Im Fall \(\tau_2 > \tau_1\) hat man nur die Indizes zu vertauschen. II. Wenn \(\sigma_1 > \sigma_2 > 1\) und \(\tau_1\lessgtr \sigma_1 - 1\) gilt, gibt es eine Ungleichheit (2) vom Typus \(H_1\) mit einer endlichen Konstanten \(K\). Die Beweise, die zum Teil an eine Arbeit von \textit{R. M. Gabriel} (J. London math. Soc. 12 (1937), 130-132; JFM 63.0926.*) anknüpfen, stützen sich auf zahlreiche Hilfssätze und können hier nicht skizziert werden.

This page was built for publication: A class of inequalities.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2586462)