# Extraction of critical points of smooth functions on Banach spaces

## TL;DR

This paper demonstrates how to approximate smooth functions on infinite-dimensional Banach spaces with functions that have no critical points, extending the results to spaces like $c_0$ and $l_p$, with applications in critical point theory.

## Contribution

It introduces a method to approximate $C^1$ functions on Banach spaces by functions without critical points, generalizing to various infinite-dimensional spaces.

## Key findings

- Existence of $C^1$ approximations with no critical points
- Extension of results to $c_0$ and $l_p$ spaces
- Approximation can be made arbitrarily close in derivative norm in $c_0$

## Abstract

Let $E$ be an infinite-dimensional separable Hilbert space. We show that for every $C^1$ function $f:E\to\mathbb{R}^d$, every open set $U$ with $C_f:=\{x\in E:\,Df(x)\; \text{is not surjective}\}\subset U$ and every continuous function $\varepsilon:E\to (0,\infty)$ there exists a $C^1$ mapping $\varphi:E\to\mathbb{R}^d$ such that $||f(x)-\varphi(x)||\leq \varepsilon(x)$ for every $x\in E$, $f=\varphi$ outside $U$ and $\varphi$ has no critical points ($C_{\varphi}=\emptyset$). This result can be generalized to the case where $E=c_0$ or $E=l_p$, $1<p<\infty$. In the case $E=c_0$ it is also possible to get that $||Df(x)-D\varphi(x)||\leq\varepsilon(x)$ for every $x\in E$.