Definable smoothing of Lipschitz continuous functions
This paper is one of several (following [Proc. Am. Math. Soc. 136, No. 7, 2583--2587 (2008; Zbl 1147.03020)], [Adv. Math. 218, No. 2, 496--514 (2008; Zbl 1147.03018)]) in which the author studies approximation problems for functions definable in o-minimal expansions of fields. Here, the author shows that if \(f:U\to R\) is a Lipschitz function definable in an o-minimal expansion of a real closed field \(R\) on an open definable set \(U\subseteq R^n\), and \(\varepsilon\) is a definable continuous positive function on \(U\), then given \(m>0\) there is a definable Lipschitz \(C^m\) function \(g:U\to R\) such that \(|g(x)-f(x)|< \varepsilon (x)\) for all \(x\in U\). The key lemma establishes the result under the further hypothesis that there is some lower-dimensional cell \(M\), defined using \(C^m\) functions with bounded first derivative, such that both \(f|_M\) and \(f|_{U\setminus M}\) are \(C^m\). The main result is then proved using a stratification result due to the author [Ann. Pure Appl. Logic 147, No. 1--2, 101--112 (2007; Zbl 1125.03029)].
- Approximation theorems in o-minimal structures
- Geometric categories and o-minimal structures
- scientific article; zbMATH DE number 6728329 (Why is no real title available?)
- scientific article; zbMATH DE number 1201576 (Why is no real title available?)
- scientific article; zbMATH DE number 1160037 (Why is no real title available?)
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- O-minimal \(\Lambda ^{m}\)-regular stratification
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Smooth approximation of Lipschitz functions on Riemannian manifolds
- The field of reals with multisummable series and the exponential function.
- The real field with convergent generalized power series
- Approximations in globally subanalytic and Denjoy-Carleman classes
- O-minimal \(\Lambda ^{m}\)-regular stratification
- Smooth approximation of definable continuous functions
- Approximation of o-minimal maps satisfying a Lipschitz condition
- Essentially Smooth Lipschitz Functions: Compositions and Chain Rules
- Definable smoothing of continuous functions
This page was built for publication: Definable smoothing of Lipschitz continuous functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q733335)
