On the polynomial Lindenstrauss theorem (Q715615)

Let \(E\) and \(F\) be Banach spaces and \(n\) be a positive integer. A (continuous) mapping \(P: E\to F\) is said to be an \(n\)-homogeneous polynomial if there is a (continuous) symmetric \(n\)-linear mapping \({\buildrel\vee\over P}: E\times E\times\ldots\times E\to F\) such that \(P(x)={\buildrel\vee\over P}(x,\ldots,x)\) for all \(x\) in \(E\). The norm of \(P\) is given by \(\|P\|=\sup_{\|x\|\leq 1}\|P(x)\|\). The space of all \(n\)-homogeneous polynomials from \(E\) into \(F\) is denoted by \({\mathcal P}(^nE,F)\). There is in general no Hahn-Banach theorem for homogeneous polynomials; however, \textit{R. M. Aron} and \textit{P. D. Berner} [Bull. Soc. Math. Fr. 106, 3--24 (1978; Zbl 0378.46043)] showed that each \(P\) in \({\mathcal P}(^nE,F)\) has an extension to an \(n\)-homogeneous polynomial \(\overline{P}\) in \({\mathcal P}(^nE'', F'')\). The authors show that, if \(E\) and \(F\) are Banach spaces such that \(E'\) is separable and has the approximation property, then the set of polynomials \(P\) in \({\mathcal P}(^nE,F)\) such that \(\overline{P}\) attains its norm is dense in \({\mathcal P}(^nE,F)\). Examples of preduals of Lorentz spaces, \(d_*(w,1)\), are given, where the set of polynomials \(P\) in \({\mathcal P}(^nd_*(w,1),F)\) such that \(\overline{P}\) attains its norm is dense in \({\mathcal P}(^nd^*(w,1),F)\), yet the set of polynomials \(P\) in \({\mathcal P}(^nd_*(w,1),F)\) which attain their norm is not dense in \({\mathcal P}(^nd_*(w,1),F)\). \textit{B. Bollobás} [Bull. Lond. Math. Soc. 2, 181--182 (1970; Zbl 0217.45104)] provides a quantitative version of the Bishop-Phelps theorem (the set \(\phi\) in \(E'\) that attains the norm is norm dense in \(E'\)). The authors show that such a result is not always possible for \(n\)-linear mappings or \(n\)-homogeneous polynomials on \(d_*(w,1)\).