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.022zbMATH Open1303.53049arXiv1401.5053OpenAlexW2964167575WikidataQ115346058 ScholiaQ115346058MaRDI QIDQ472310FDOQ472310

Authors: Daniel Azagra, J. Ferrera 

Publication date: 19 November 2014

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• A remark on regularization in Hilbert spaces
• Approximation and regularization of arbitrary functions in Hilbert spaces by the Lasry-Lions method
• On the differential geometry of tangent bundles of Riemannian manifolds
• Title not available (Why is that?)
• Riemannian geometry.
• Nonsmooth analysis and Hamilton--Jacobi equations on Riemannian manifolds
• Title not available (Why is that?)
• Title not available (Why is that?)
• Existence of C1,1C1,1 critical sub-solutions of the Hamilton–Jacobi equation on compact manifolds
• Analytische Eigenschaften konvexer Funktionen auf Riemannschen Mannigfaltigkeiten.
• \(C^\infty\) convex functions and manifolds of positive curvature
• Regularity of \(C^ 1\) solutions of the Hamilton-Jacobi equation.
• Global and fine approximation of convex functions
• Title not available (Why is that?)
• Mathematical morphology for real-valued images on Riemannian manifolds
• Inf-convolution and regularization of convex functions on Riemannian manifolds of nonpositive 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)