Regularization by sup-inf convolutions on Riemannian manifolds: an extension of Lasry-Lions theorem to manifolds of bounded curvature

DOI10.1016/J.JMAA.2014.10.022MaRDI QIDQ472310zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Azagra, J. Ferrera

Publication date 19 November 2014

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.5053

zbMATH Keywords

approximationRiemannian manifolddistance function\(C^{1,1}\) functionsemiconcave functionLasry-Lions regularization

Mathematics Subject Classification ID

Continuous and differentiable maps in nonlinear functional analysis (46T20) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21)

Abstract: 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}leqKleq{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:MomathbbR$ can be uniformly approximated by globally $C^{1,1}$ functions defined by ${\displaystyle }$ (f_{lambda})^{mu}=sup_{zin M}inf_{yin M}{f(y)+frac{1}{2lambda} d(z,y)^{2}-frac{1}{2mu}d(x,z)^2} ${\displaystyle }$ as $lambda,muo{0}^{+}$, with $0<mu<lambda/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 $fmapsto(f_{lambda}{)}^{mu}$ 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 $Kleq0$) 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.

Recommendations

• Inf-convolution and regularization of convex functions on Riemannian manifolds of nonpositive curvature
• Optimal regularization processes on complete Riemannian manifolds
• Geometric regularization on Riemannian and Lorentzian manifolds
• Total variation regularization on Riemannian manifolds by iteratively reweighted minimization
• Convergence of variational regularization methods for imaging on Riemannian manifolds
• On regularization of vector distributions on manifolds
• A general non-Lipschitz infimal convolution regularized model: Lower bound theory and algorithm
• Infimal convolution regularizations with discrete \(\ell_1\)-type functionals
• Convex lifting-type methods for curvature regularization
• Regularization lemmas and convergence in total variation

Cites work

• scientific article; zbMATH DE number 52737 (Why is no real title available?)
• scientific article; zbMATH DE number 3484803 (Why is no real title available?)
• scientific article; zbMATH DE number 3533705 (Why is no real title available?)
• scientific article; zbMATH DE number 1246686 (Why is no real title available?)
• scientific article; zbMATH DE number 909255 (Why is no real title available?)
• A remark on regularization in Hilbert spaces
• Analytische Eigenschaften konvexer Funktionen auf Riemannschen Mannigfaltigkeiten.
• Approximation and regularization of arbitrary functions in Hilbert spaces by the Lasry-Lions method
• Existence of C1,1C1,1 critical sub-solutions of the Hamilton–Jacobi equation on compact manifolds
• Global and fine approximation of convex functions
• Inf-convolution and regularization of convex functions on Riemannian manifolds of nonpositive curvature
• Mathematical morphology for real-valued images on Riemannian manifolds
• Nonsmooth analysis and Hamilton--Jacobi equations on Riemannian manifolds
• On the differential geometry of tangent bundles of Riemannian manifolds
• Regularity of \(C^ 1\) solutions of the Hamilton-Jacobi equation.
• Riemannian geometry.
• \(C^\infty\) convex functions and manifolds of positive curvature

Cited in

(14)

• Extension of mathematical morphology in Riemannian spaces
• Locally \(C^{1,1}\) convex extensions of \(1\)-jets
• Nonsmooth Morse-Sard theorems
• Well posedness and inf-convolution
• Hamilton-Jacobi equations and mathematical morphology in pseudo-Riemannian manifolds
• Lasry-Lions regularization and a lemma of Ilmanen
• Optimal regularization processes on complete Riemannian manifolds
• Inf-convolution and regularization of convex functions on Riemannian manifolds of nonpositive curvature
• Harnack inequality for degenerate and singular operators of p-Laplacian type on Riemannian manifolds
• Hermite-Hadamard and Ostrowski type inequalities on hemispheres
• Total curvature and the isoperimetric inequality in Cartan-Hadamard manifolds
• Subdifferentials of perturbed distance function in Riemannian manifolds
• Trajectories of differential inclusions on Riemannian manifolds and invariance
• Large deviations of the ergodic averages: from Hölder continuity to continuity almost everywhere

This page was built for publication: Regularization by sup-inf convolutions on Riemannian manifolds: an extension of Lasry-Lions theorem to manifolds of bounded curvature

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472310)