Approximation by smooth functions with no critical points on separable Banach spaces

We characterize the class of separable Banach spaces X such that for every continuous function and for every continuous function there exists a C¹ smooth function for which |f(x)−g(x)|?ε(x) and g^′(x)≠0 for all x∈X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X^∗. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p=1,2,…,+∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ?p(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds.