Search results for "Mg"
showing 10 items of 492 documents
Universal infinitesimal Hilbertianity of sub-Riemannian manifolds
2019
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.
Corners in non-equiregular sub-Riemannian manifolds
2014
We prove that in a class of non-equiregular sub-Riemannian manifolds corners are not length minimizing. This extends the results of (G.P. Leonardi and R. Monti, Geom. Funct. Anal. 18 (2008) 552-582). As an application of our main result we complete and simplify the analysis in (R. Monti, Ann. Mat. Pura Appl. (2013)), showing that in a 4-dimensional sub-Riemannian structure suggested by Agrachev and Gauthier all length-minimizing curves are smooth. Mathematics Subject Classification. 53C17, 49K21, 49J15.
Sets with constant normal in Carnot groups: properties and examples
2019
We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and structural results in arbitrary Carnot groups. Namely, we show that for every constant-normal set in a Carnot group its sub-Riemannian-Lebesgue representative is regularly open, contractible, and its topological boundary coincides with the reduced boundary and with the measure-theoretic boundary. We infer these properties from a cone property. Such a cone will be a semisubgroup with nonempty interior that is canonically associated with the normal directio…
Harnack estimates for degenerate parabolic equations modeled on the subelliptic $p-$Laplacian
2014
Abstract We establish a Harnack inequality for a class of quasi-linear PDE modeled on the prototype ∂ t u = − ∑ i = 1 m X i ⁎ ( | X u | p − 2 X i u ) where p ⩾ 2 , X = ( X 1 , … , X m ) is a system of Lipschitz vector fields defined on a smooth manifold M endowed with a Borel measure μ, and X i ⁎ denotes the adjoint of X i with respect to μ. Our estimates are derived assuming that (i) the control distance d generated by X induces the same topology on M ; (ii) a doubling condition for the μ-measure of d-metric balls; and (iii) the validity of a Poincare inequality involving X and μ. Our results extend the recent work in [16] , [36] , to a more general setting including the model cases of (1)…
Euclidean spaces as weak tangents of infinitesimally Hilbertian metric spaces with Ricci curvature bounded below
2013
We show that in any infinitesimally Hilbertian CD* (K,N)-space at almost every point there exists a Euclidean weak tangent, i.e., there exists a sequence of dilations of the space that converges to Euclidean space in the pointed measured Gromov-Hausdorff topology. The proof follows by considering iterated tangents and the splitting theorem for infinitesimally Hilbertian CD* (0,N)-spaces.
Slopes of Kantorovich potentials and existence of optimal transport maps in metric measure spaces
2014
We study optimal transportation with the quadratic cost function in geodesic metric spaces satisfying suitable non-branching assumptions. We introduce and study the notions of slope along curves and along geodesics and we apply the latter to prove suitable generalizations of Brenier's theorem of existence of optimal maps.
Interpolated measures with bounded density in metric spaces satisfying the curvature-dimension conditions of Sturm
2011
We construct geodesics in the Wasserstein space of probability measure along which all the measures have an upper bound on their density that is determined by the densities of the endpoints of the geodesic. Using these geodesics we show that a local Poincar\'e inequality and the measure contraction property follow from the Ricci curvature bounds defined by Sturm. We also show for a large class of convex functionals that a local Poincar\'e inequality is implied by the weak displacement convexity of the functional.
Regularity properties of spheres in homogeneous groups
2015
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in criteria implying that, locally and away from the diagonal, the distance is Euclidean Lipschitz and, consequently, that the metric spheres are boundaries of Lipschitz domains in the Euclidean sense. In the first part of the paper, we consider geodesic distances. In this case, we actually prove the regularity of the distance in the more general context of sub-Finsler manifolds with no abnormal geodesics. Secondly, for general groups we identify an alg…
Gradient estimates for heat kernels and harmonic functions
2020
Let $(X,d,\mu)$ be a doubling metric measure space endowed with a Dirichlet form $\E$ deriving from a "carr\'e du champ". Assume that $(X,d,\mu,\E)$ supports a scale-invariant $L^2$-Poincar\'e inequality. In this article, we study the following properties of harmonic functions, heat kernels and Riesz transforms for $p\in (2,\infty]$: (i) $(G_p)$: $L^p$-estimate for the gradient of the associated heat semigroup; (ii) $(RH_p)$: $L^p$-reverse H\"older inequality for the gradients of harmonic functions; (iii) $(R_p)$: $L^p$-boundedness of the Riesz transform ($p<\infty$); (iv) $(GBE)$: a generalised Bakry-\'Emery condition. We show that, for $p\in (2,\infty)$, (i), (ii) (iii) are equivalent, wh…
Regularity of sets with constant horizontal normal in the Engel group
2012
In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some specific coordinates, they are upper-graphs of entire Lipschitz functions (with respect to the Euclidean distance). However we find that, when they are written as intrinsic horizontal upper-graphs with respect to the direction of the normal, then the function defining the set might even fail to be continuous. Nevertheless, we can prove that one can always find other horizontal directions for which the set is the intrinsic horizontal upper-graph of a function t…