Smooth approximations of the norm and differentiable functions with bounded support in Banach space \(\ell ^ k_{\infty}\) (Q2276722)

Let \(\ell^ k_{\infty}\) be the k-dimensional space with the norm \(| x|_{\infty}=\max_{1\leq i\leq k}| x_ i|.\) It is shown that for all \(r>0\), \(\epsilon >0\) there exists a function \(\phi \in C^{\infty}\), \(\phi\) : \(\ell^ k_{\infty}\to R\) such that \(0\leq \phi \leq 1\), with \(\phi (x)=1\) if \(| x|_{\infty}<r\) if \(\phi (x)=0\), \(| x|_{\infty}>r+\epsilon\) and for each \(s\in N\), \[ \sum^{k}_{i_ 1=1}...\sum^{k}_{i_ s=1}| \frac{\partial}{\partial x_{i_ 1}}...\frac{\partial}{\partial x_{i_ s}}f_{\epsilon}(x_ 1,...,x_ k)| \leq c(s)\epsilon^{1-s}\ln^{s-1}(k+1). \]