Related papers: Yet another proof of the density in energy of Lips…

In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $N^{1,p}(X)$ holds for all $p\in [1,\infty)$ whenever the space $X$ is complete and separable and the measure is Radon and finite on balls.…

We prove a general criterion for the density in energy of suitable subalgebras of Lipschitz functions in the metric-Sobolev space $H^{1,p}(X,\mathsf{d},\mathfrak{m})$ associated with a positive and finite Borel measure $\mathfrak{m}$ in a…

We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions…

Newtonian spaces generalize first-order Sobolev spaces to abstract metric measure spaces. In this paper, we study regularity of Newtonian functions based on quasi-Banach function lattices. Their (weak) quasi-continuity is established,…

Density of Lipschitz functions in Newtonian spaces based on quasi-Banach function lattices is discussed. Newtonian spaces are first-order Sobolev-type spaces on abstract metric measure spaces defined via (weak) upper gradients. Our main…

The goal of this note is to prove that every real-valued Lipschitz function on a Banach space can be pointwise approximated on a given $\sigma$-compact set by smooth cylindrical functions whose asymptotic Lipschitz constants are controlled.…

In complete metric measure spaces equipped with a doubling measure and supporting a weak Poincar\'e inequality, we investigate when a given Banach-valued Sobolev function defined on a subset satisfying a measure-density condition is the…

This paper studies Newtonian Sobolev-Lorentz spaces. We prove that these spaces are Banach. We also study the global p,q-capacity and the p,q-modulus of families of rectifiable curves. Under some additional assumptions (that is, the space…

We show that the algebra of cylinder functions in the Wasserstein Sobolev space $H^{1,q}(\mathcal{P}_p(X,\mathsf{d}), W_{p, \mathsf{d}}, \mathfrak{m})$ generated by a finite and positive Borel measure $\mathfrak{m}$ on the…

This is the first of two works concerning the Sobolev calculus on metric measure spaces and its applications. In this work, we focus on several notions of metric Sobolev space and on their equivalence. More precisely, we give a systematic…

We show that if $p_-\geq 2$, then a sufficient condition for the density of smooth functions with compact support, in the variable exponent Sobolev space $W^{1,p(\cdot)}(\mathbb R^n)$, is that the Riesz potentials of compactly supported…

For a metric space $X$, we study the space $D^{\infty}(X)$ of bounded functions on $X$ whose infinitesimal Lipschitz constant is uniformly bounded. $D^{\infty}(X)$ is compared with the space $\LIP^{\infty}(X)$ of bounded Lipschitz functions…

We compare several notion of weak (modulus of) gradient in metric measure spaces. Using tools from optimal transportation theory we prove density in energy of Lipschitz maps independenly of doubling and Poincar\'e assumptions on the metric…

We give characterizations of the bounded subanalytic $\mathscr{C}^\infty$ submanifolds $M$ of $\mathbb{R}^n$ for which the space of Neumann regular functions is dense in Sobolev spaces. By ``Neumann regular function'', we mean a function…

Newton-Sobolev spaces, as presented by N. Shanmugalingam, describe a way to extend Sobolev spaces to the metric setting via upper gradients, for metric spaces with `sufficient' paths of finite length. Sometimes, as is the case of parabolic…

We prove that smooth $C^\infty$ functions are dense in weighted fractional Sobolev spaces on an arbitrary open set, under some mild conditions on the weight. We also obtain a~similar result in non-weighted spaces defined by some kernel…

These lecture notes contain an extended version of the material presented in the C.I.M.E. summer course in 2017, aiming to give a detailed introduction to the metric Sobolev theory. The notes are divided in four main parts. The first one is…

We investigate geometric properties of a metric measure space where every function in the Newton--Sobolev space $N^{1,\infty}(Z)$ has a Lipschitz representative. We prove that when the metric space is locally complete and the reference…

We extend Korevaar-Schoen's theory of metric valued Sobolev maps to cover the case of the source space being an RCD space. In this situation it appears that no version of the `subpartition lemma' holds: to obtain both existence of the limit…

In this paper we give some results about the approximation of a Lipschitz function on a Banach space by means of $\Delta$-convex functions. In particular, we prove that the density of $\Delta$-convex functions in the set of Lipschitz…