Smooth approximation of Lipschitz functions on Finsler manifolds (Q2392167)

Summary: We study the smooth approximations of Lipschitz functions on Finsler manifolds, keeping control of the corresponding Lipschitz constants. We prove that, given a Lipschitz function \(f : M \to \mathbb R\) defined on a connected, second countable Finsler manifold \(M\), for each positive continuous function \(\varepsilon : M \to (0, \infty)\) and each \(r > 0\), there exists a \(C^1\)-smooth Lipschitz function \(g : M \to \mathbb R\) such that \(|f(x) - g(x)| \leq \varepsilon(x)\), for every \(x \in M\), and \(\text{Lip}(g) \leq \text{Lip}(f) + r\). As a consequence, we derive a completeness criterium in the class of what we call quasi-reversible Finsler manifolds. Finally, considering the normed algebra \(C^1_b(M)\) of all \(C^1\) functions with bounded derivative on a complete quasi-reversible Finsler manifold \(M\), we obtain a characterization of algebra isomorphisms \(T : C^1_b(N) \to C^1_b(M)\) as composition operators. From this, we obtain a variant of the Myers-Nakai theorem in the context of complete reversible Finsler manifolds.