Critical Hardy-Littlewood inequality for multilinear forms (Q777178)

Assume that \(\mathbb{K}\) is a field of real or complex numbers, and \begin{align*} &\left|\frac{1}{\mathbf{P}}\right|_{\ge k}:=\frac{1}{p_k}+\dots+\frac{1}{p-m},\\ &\left|\frac{1}{\mathbf{P}}\right|:=\left|\frac{1}{\mathbf{P}}\right|_{\ge 1},\quad \frac{1}{\infty}=0, \end{align*} where \(\mathbf{P}\in[1, +\infty]^m\) and \(k\in\{1, \dots, m\}\). Let \(m\ge 1\) and \(\frac{1}{2}\le\left|\frac{1}{\mathbf{P}}\right|<1\), \(T:\ell_{p_1}^n\times\dots\times\ell_{p_1}^n\longrightarrow\mathbb{K}\) be any \(m\)-linear form and \(n\in\mathbb{N}\), then there is a (optimal) constant \(D_{m,\mathbf{P}}^\mathbb{K}\ge 1\) such that \[ \left(\sum_{i_1,\dots,i_m=1}^{n}|T(e_{i_1},\dots,e_{i_m})|^{\frac{1}{1-\left|\frac{1}{\mathbf{P}}\right|}}\right)^{1-\frac{1}{|\mathbf{P}|}}\le D_{m,\mathbf{P}}^\mathbb{K}\|T\|, \] and \(\left|\frac{1}{\mathbf{P}}\right|\le\frac{1}{2}\), there exists a (optimal) constant \(C_{m,\mathbf{P}}^\mathbb{K}\ge 1\) such that \[ \left(\sum_{i_1,\dots,i_m=1}^{n}|T(e_{i_1},\dots,e_{i_m})|^{\frac{2m}{m+1-2\left|\frac{1}{\mathbf{P}}\right|}}\right)^{\frac{m+1-2\left|\frac{1}{\mathbf{P}}\right|}{2m}}\le C_{m,\mathbf{P}}^\mathbb{K}\|T\|. \] Also, for \(p_1=\dots=p_m=p\) and \(m< p \le 2m\), \[ \left(\sum_{i_1,\dots,i_m=1}^{n}|T(e_{i_1},\dots,e_{i_m})|^{\frac{p}{p-m}}\right)^{\frac{p-m}{p}}\le D_{m,p}^\mathbb{K}\|T\|, \] and for \(p\ge 2m\), \[ \left(\sum_{i_1,\dots,i_m=1}^{n}|T(e_{i_1},\dots,e_{i_m})|^{\frac{2mp}{pm+p-2m}}\right)^{\frac{pm+p-2m}{2mp}}\le C_{m,p}^\mathbb{K}\|T\|. \] In the paper under review, the author considers the critical case \(p=m\) of the Hardy-Littlewood inequality as follows. If \(m\ge 2\) is any positive integer and \(T:\ell_{p_1}^n\times\dots\times\ell_{p_1}^n\longrightarrow\mathbb{K}=\mathbb{R}\)or \(\mathbb{C}\) with \(s_k=\frac{2m(m-1)}{mk-2k+2}\) for all \(k=2,\dots,m\) and for all \(n\in\mathbb{N}\), then {\footnotesize \[ \sup_{j_1}\left(\sum_{j_2=1}^{n}\left(\dots\left(\sum_{j_m=1}^{n}|T(e_{j_1},\dots,e_{j_m})|^{s_m}\right)^{\frac{1}{s_m}\dot s_{m-1}}\dots\right)^{\frac{1}{s_3}\dot s_2}\right)^{\frac{1}{s_2}}\le 2^{\frac{m-2}{2}}\|T\|. \] }