Smooth approximations (Q982503)

The theory of approximation of continuous mappings between infinite-dimensional Banach spaces by smooth mappings is nowadays well understood. The related problem, where the the smooth approximation of Lipschitz (or uniformly continuous) mappings can retain the Lipschitz (or uniform continuity) property, is much less studied. The authors introduce some new techniques and prove several new results concerning smooth approximation of Lipschitz mappings and smooth approximation of \(C^1\)-smooth mappings together with their first derivatives. They prove, among other things, that a Lipschitz (or uniformly continuous) mapping \(f:X\to Y\) can be approximated by smooth Lipschitz (resp. uniformly continuous) mappings if \(X\) is a separable Banach space admitting a smooth Lipschitz bump and either \(X\) or \(Y\) is a separable \(C(K)\) space (resp., super-reflexive space).