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

DOI10.1016/J.JFA.2006.08.009MaRDI QIDQ859637zbMATH OpenOpenAlexFDO

Authors Daniel Azagra, M. Jiménez-Sevilla

Publication date 16 January 2007

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0510603

zbMATH Keywords

critical pointsMorse-Sard theoremapproximation by smooth functionsSard functionssmooth bump functions

Mathematics Subject Classification ID

Isomorphic theory (including renorming) of Banach spaces (46B03) Abstract critical point theory (Morse theory, Lyusternik-Shnirel'man theory, etc.) in infinite-dimensional spaces (58E05) Derivatives of functions in infinite-dimensional spaces (46G05)

Abstract: We characterize the class of separable Banach spaces $X$ such that for every continuous function $f:XomathbbR$ and for every continuous function $epsilon:Xomathbb(0,+infty)$ there exists a $C^1$ smooth function $g:XomathbbR$ for which $|f(x)-g(x)|leqepsilon(x)$ and $g^{\prime }(x)eq0$ for all $xinX$ (that is, $g$ has no critical points), as those Banach spaces $X$ with separable dual $X^{\ast }$. We also state sufficient conditions on a separable Banach space so that the function $g$ can be taken to be of class $C^p$, for $p=1,2,\mathrm{...},+infty$. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces $el{l}_p(mathbbN)$ and $L_p(mathbb{R}^n)$. Some important consequences of the above results are (1) the existence of {em a non-linear Hahn-Banach theorem} and (2) the smooth approximation of closed sets, on the classes of spaces considered above.

Recommendations

• Smooth approximations without critical points
• Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds
• Smooth approximations without critical points of continuous mappings between Banach spaces, and diffeomorphic extractions of sets
• Approximation by functions with bounded derivative on Banach spaces
• Extraction of critical points of smooth functions on Banach spaces

Cites work

• scientific article; zbMATH DE number 410746 (Why is no real title available?)
• scientific article; zbMATH DE number 3551626 (Why is no real title available?)
• scientific article; zbMATH DE number 3242691 (Why is no real title available?)
• scientific article; zbMATH DE number 3289164 (Why is no real title available?)
• An Infinite Dimensional Version of Sard's Theorem
• An exact sequence in differential topology
• Approximation de fonctions différentiables sur certains espaces de Banach
• C1-fine approximation of functions on Banach spaces with unconditional basis
• Counterexample to the Morse-Sard Theorem in the Case of Infinite-Dimensional Manifolds
• Diffeomorphisms between spheres and hyperplanes in infinite-dimensional Banach spaces
• Functional analysis and infinite-dimensional geometry
• GEOMETRIC THEORY OF BANACH SPACES. PART II. GEOMETRY OF THE UNIT SPHERE
• Hausdorff Measure of Critical Images on Banach Manifolds
• Hausdorff measures and the Morse-Sard theorem
• Images of critical sets
• On Rolle's theorem in infinite-dimensional Banach spaces
• On smooth \(\text{rank}\)-1 mappings of Banach spaces onto the plane
• On the Image Size of Singular Maps. I
• On the image size of singular maps. II
• Open embeddings of certain Banach manifolds
• Rolle's theorem for polynomials of degree four in a Hilbert space.
• Smooth Approximations in Banach Spaces
• Smooth and R-analytic negligibility of subsets and extension of homeomorphisms in Banach spaces
• Smooth approximations without critical points
• Smooth partitions of unity in Banach spaces
• Some new perspectives on Sard's theorem
• Tame geometry with application in smooth analysis
• The failure of Rolle's theorem in infinite-dimensional Banach spaces
• The measure of the critical values of differentiable maps
• Toward a Precise Smoothness Hypothesis in Sard's Theorem
• Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds

Cited in

(8)

• Extraction of critical points of smooth functions on Banach spaces
• On preimages of a class of generalized monotone operators
• Smooth approximations without critical points
• Uniform approximation of continuous mappings by smooth mappings with no critical points on Hilbert manifolds
• A remark on smooth images of Banach spaces
• Smooth approximations without critical points of continuous mappings between Banach spaces, and diffeomorphic extractions of sets
• A note on the range of the derivatives of analytic approximations of uniformly continuous functions on \(c_0\)
• Approximate Morse-Sard type results for non-separable Banach spaces

This page was built for publication: Approximation by smooth functions with no critical points on separable Banach spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q859637)