arXiv2016
The Hardy--Littlewood inequalities on $\ell _{p}$ spaces provide optimal exponents for some classes of inequalities for bilinear forms on $\ell _{p}$ spaces. In this paper we investigate in detail the exponents involved in Hardy--Littlewood type inequalities and provide several optimal results that were not achieved by the previous approaches. Our first main result asserts that for $q_{1},...,q_{m}>0$ and an infinite-dimensional Banach space $Y$ attaining its cotype $\cot Y$, if \begin{equation*} \frac{1}{p_{1}}+...+\frac{1}{p_{m}}<\frac{1}{\cot Y}, \end{equation*} then the following assertions are equivalent: (a) There is a constant $C_{p_{1},...,p_{m}}^{Y}\geq 1$ such that \begin{equation*} \left( \sum_{j_{1}=1}^{\infty }\left( \sum_{j_{2}=1}^{\infty }\cdots \left( \sum_{j_{m}=1}^{\infty }\left\Vert A(e_{j_{1}},...,e_{j_{m}})\right\Vert ^{q_{m}}\right) ^{\frac{q_{m-1}}{q_{m}}}\cdots \right) ^{\frac{q_{1}}{q_{2}} }\right) ^{\frac{1}{q_{1}}}\leq C_{p_{1},...,p_{m}}^{Y}\left\Vert A\right\Vert \end{equation*} for all continuous $m-$linear operators $A:\ell _{p_{1}}\times \cdots \times \ell _{p_{m}}\rightarrow Y.$ (b) The exponents $q_{1},...,q_{m}$ satisfy \begin{equation*} q_{1}\geq λ_{m,\cot Y}^{p_{1},...,p_{m}},q_{2}\geq λ_{m-1,\cot Y}^{p_{2},...,p_{m}},...,q_{m}\geq λ_{1,\cot Y}^{p_{m}}, \end{equation*} where, for $k=1,...,m,$ \begin{equation*} λ_{m-k+1,\cot Y}^{p_{k},...,p_{m}}:=\frac{\cot Y}{1-\left( \frac{1}{ p_{k}}+...+\frac{1}{p_{m}}\right) \cot Y}. \end{equation*} As an application of the above result we generalize to the $m$-linear setting one of the classical Hardy--Littlewood inequalities for bilinear forms. Our result is sharp in a very strong sense: the constants and exponents are optimal, even if we consider mixed sums.