Smooth, very smooth and strongly smooth points in Musielak-Orlicz sequence spaces (Q2730744)

If \(X\) is a real Banach space and \(S(X)\) is its unit ball, then for any \(x \in X\), \(\text{Grad}(x) = \{f \in S(X^*)\mid f(x) = \|x\|\}\). A point \(x \in S(X) \) is a smooth point if Grad(\(x\)) is a singleton. It is very smooth (strongly smooth) if it is smooth and for any sequence \(\{f_n \}\) in \(S(X^*)\) such that \(f_n(x) \rightarrow 1\) we have \(f_n - f \rightarrow 0\) weakly (respectively \(\|f_n - f\|\rightarrow 0\)), where \(\{f\} =\) Grad(\(x\)). Clearly strongly smooth points are very smooth. A mapping \(\Phi: R \rightarrow [0,\infty]\) is an Orlicz function if it is even, convex left-continuous on \([0,\infty], \Phi(0) = 0\), and \(\Phi(u) < \infty\) for some \(u>0\). A sequence \(M = (M_i)\) of Orlicz functions is called a Musielak-Orlicz function. Let \(\ell^0\) denote the space of all real sequences. With a Musielak-Orlicz function \(M = (M_i)\), we have a convex modular function NEWLINE\[NEWLINE\rho_M(x) = \sum_{i = 1}^{\infty} M_i(x(i)), \quad \forall x \in \ell^0,NEWLINE\]NEWLINE and the Musielak-Orlicz sequence space is NEWLINE\[NEWLINE \ell_M = \{ x \in \ell^0: \rho(x/\lambda) < \infty \text{ for some }\lambda > 0 \}, NEWLINE\]NEWLINE with the Luxemborg norm NEWLINE\[NEWLINE \|x\|_M = \inf \{ \lambda >0\mid \rho(x/\lambda) < \infty \}. NEWLINE\]NEWLINE The authors give necessary and sufficient conditions for \(x \in S(\ell_M)\) to be a smooth point-simplifying and correcting earlier work. They also show that very smooth points in \(S(\ell_M)\) are strongly smooth and characterize them.