Numerical peak holomorphic functions on Banach spaces (Q847715): Difference between revisions

Let \(X\) be a complex Banach space with closed unit ball \(B_X\) and unit sphere \(S_X\). The authors consider the disc algebra extensions given by \(A_b(B_X:X):=\{f:B_X\to X:\) continuous and analytic on the interior\}, \(A_u(B_X:X):=\{f\in A_b(B_X:X): \text{ uniformly continuous}\},\) and \(A_{wu}(B_X:X):=\{f\in A_b(B_X:X): \text{ weakly uniformly continuous}\}\). To simplify, denote by \(A\) any of these spaces endowed with the sup-norm. The numerical radius of \(f\in A\) is defined by \(\nu(f):=\sup\{|x^*(f(x)):\|x\|=1=\|x^*\|=\langle x^*,x\rangle\},\) and if this supremum is a maximum, then \(f\) is said to attain its numerical radius, while \(f\) is said to be a numerical peak function whenever that maximum is attained at a single point, then named numerical peak point of \(f\). In a similar spirit, \(f\) is said to be a strong numerical peak function if, whenever a sequence \(\{(x_k,x_k^*):\|x_k\|=1=\|x_k^*\|=\langle x_k^*,x_k\rangle\}\) satisfies \(\lim_k |x_k^*(f(x_k))|=\nu(f),\) then \(\|\,\|-\lim x_k=x\) and \(w^*-\lim x_k^*=x^*\), where \((x,x^*)\) is a numerical peak point of \(f,\) in which case \((x,x^*)\) is called the a numerical strong peak point of \(f\). These notions arise from the classical ones related to the norm of the function by considering the numerical radius instead of the norm. The theme of the paper under review is the study of denseness of the set of (strong) numerical peak functions. It continues earlier work by \textit{Y.\,S.\thinspace Choi} and \textit{S.\,G.\thinspace Kim} [J.~Lond.\ Math.\ Soc., II.\ Ser.\ 54, 135--147 (1996; Zbl 0858.47005)] and \textit{M.\,D.\thinspace Acosta} and \textit{S.\,G.\thinspace Kim} [Isr.\ J.\ Math.\ 161, 373--386 (2007; Zbl 1140.46007)]. Among the many results obtained, we mention: {\parindent6mm \begin{itemize}\item[(1)] If \(X\) is a smooth Banach space with the Radon-Nikodým property, then the set of strong numerical peak functions in \(A\) is a dense subset of \(A\). \item[(2)] If \(X\) has the Radon-Nikodým property and \(X^*\) is locally uniformly convex, then the set of strong norm and numerical strong peak functions in \(A\) is a \(G_\delta\) dense subset of \(A\). The same holds for \(X=\ell_1\). \end{itemize}} On the negative side, the authors prove that, if \(X=L_1[0,1],\) there are no strong numerical peak functions in \(A_{wu}(B_X:X)\) and neither are numerical peak functions in \(A_{b}(B_X:X)\) for \(X=C_0(\Omega),\; \Omega\) any locally compact Hausdorff space with at least two points.