Density of Lipschitz functions in energy
Sylvester Eriksson‐Bique
Abstract
Abstract In this paper, we show that the density in energy of Lipschitz functions in a Sobolev space $$N^{1,p}(X)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:msup><mml:mi>N</mml:mi><mml:mrow><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mi>X</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> holds for all $$p\in [1,\infty )$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>p</mml:mi><mml:mo>∈</mml:mo><mml:mo>[</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi>∞</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> whenever the space X is complete and separable and the measure is Radon and positive and finite on balls. Emphatically, $$p=1$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mi>p</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> is allowed. We also give a few corollaries and pose questions for future work. The proof is direct and does not involve the usual flow techniques from prior work. It also yields a new approximation technique, which has not appeared in prior work. Notable with all of this work is that we do not use any form of Poincaré inequality or doubling assumption. The techniques are flexible and suggest a unification of a variety of approaches that have appeared in the literature on the topic.