BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Juan Ferrera appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this note we define a $C^1$ function $F:[0,M]^2\to [0,2]$ that satisfies that its set of critical values has positive measure. This function provides an example, easier than those that usually appear in the literature, of how the order of differentiability required in Sard's Theorem cannot be improved
We give a definition of weak geodesics on prox-regular subsets of Riemannian manifolds as continuous curves with some weak regularities. Then obtaining a suitable Lipschitz constant of the projection map, we characterize weak geodesics on a prox-regular set with assigned end points as viscosity critical points of the energy functional.
We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of bounded sectional curvature. More specifically, among other things we show that if the sectional curvature $K$ of $M$ satisfies $-K_0\leq K\leq K_0$ on $M$ for some $K_0>0$, and if the injectivity and convexity radii of $M$ are strictly positive, then every bounded, uniformly continuous function $f:M\to\mathbb{R}$ can be uniformly approximated by globally $C^{1,1}$ functions defined by $$ (f_λ)^μ=\sup_{z\in M}\inf_{y\in M}\{f(y)+\frac{1}{2λ} d(z,y)^{2}-\frac{1}{2μ}d(x,z)^2\} $$ as $λ, μ\to 0^{+}$, with $0<μ<λ/2$. Our definition of (global) $C^{1,1}$ smoothness is intrinsic and natural, and it reduces to the usual one in flat spaces, but we warn the reader that, in the noncompact case, this definition differs from other notions of (rather local) $C^{1,1}$ smoothness that have been recently used, for instance, by A. Fathi and P. Bernard (based on charts). The importance of this regularization method lies (rather than on the degree of smoothness obtained) on the fact that the correspondence $f\mapsto (f_λ)^μ$ is explicit and preserves many significant geometrical properties that the given functions $f$ may have, such as invariance by a set of isometries, infima, sets of minimizers, ordering, local or global Lipschitzness, and (only when one additionally assumes that $K\leq 0$) local or global convexity. We also give two examples showing that this result completely fails, even for (nonflat) Cartan-Hadamard manifolds, whenever $f$ or $K$ are not bounded.