Dominated, diagonal polynomials on \(\ell_p\) spaces (Q1779987): Difference between revisions

Let \(E\) and \(F\) be Banach spaces. Following \textit{Y. Meléndez} and \textit{A. Tonge} [Math. Proc. R. Ir. Acad. 99A, 195--212 (1999; Zbl 0973.46037)], a continuous \(m\)-homogeneous polynomial \(P:E \to F\) is said to be {\(r\)-dominated} ~ (\(1 \leq r < \infty\))~if for some \(k > 0,\) the following inequality holds for every \(n \in \mathbb{N}\) and \((x_i)_{i=1}^n \subset E:\) \[ \left( \sum_{i=1}^n \| P(x_i)\| ^{\frac{r}{m}} \right)^{\frac{m}{r}} \leq k \sup_{x^\ast \in B_{E^\ast}} \left( \sum_{i=1}^n | x^\ast(x_i)| ^r \right)^\frac{m}{r}. \] From work of \textit{M. C. Matos} [An. Acad. Bras. Ciênc. 68, 1--13 (1996; Zbl 0854.46042)], \(P\) is \(r\)-dominated if and only if \(P\) takes weakly \(r\)-summable sequences to absolutely \(r/m\)-summable sequences in \(F.\) This article studies general \(r\)-dominated polynomials, relating them to nuclear and integral polynomials. Also, diagonal 2-homogeneous \(r\)-dominated polynomials are examined. For \(2 \leq p \leq \infty,\) if \(P:\ell_p \to E\) is an \(m\)-homogeneous \(s\)-dominated polynomial, then \(P \circ i_p:\ell_1 \to E\) is integral. (In fact, it is nuclear if \(s \in [1,2].\)) The converse is false. For instance, there is a 2-homogeneous \(\mathbb{K}\)-valued polynomial \(P\) on \(\ell_p\) such that \(P \circ i_p\) is integral on \(\ell_1\) but such that \(P\) is not \(r\)-dominated for any \(r.\) \textit{K. Floret} and \textit{M. C. Matos} in the complex case [Math. Nachr. 176, 65--72 (1995; Zbl 0839.46040)] and the present paper for the real case, show that for \(2 \leq r < \infty,\) a 2-homogeneous polynomial is \(r\)-dominated if and only if it is 2-dominated. For diagonal polynomials, the authors prove the following Theorem. Let \(1 < p < 2\) with conjugate index \(q,\) let \(r \geq 2,\) and let \(P\) be the 2-homogeneous polynomial on \(\ell_2\) given by \(P(x) = \sum_k a_kx_k^2.\) Then the following assertions are equivalent: \(P\) is \(r\)-dominated; \(P\) is 1-dominated; \(P\) is nuclear; \((a_k) \in \ell_{q/2}.\)