We extend Korevaar–Schoen’s theory of metric valued Sobolev maps to cover the case of the source space being an $$\mathsf{RCD}$$ RCD space. In this situation it appears that no version of the ‘subpartition lemma’ holds: to obtain both existence of the limit of the approximated energies and the lower semicontinuity of the limit energy we shall rely on: the fact that such spaces are ‘strongly rectifiable’ a notion which is first-order in nature (as opposed to measure-contraction-like properties, which are of second order). This fact is particularly useful in combination with Kirchheim’s metric differentiability theorem, as it allows to obtain an approximate metric differentiability result which in turn quickly provides a representation for the energy density, the differential calculus developed by the first author which allows, thanks to a representation formula for the energy that we prove here, to obtain the desired lower semicontinuity from the closure of the abstract differential. When the target space is $$\mathsf{CAT}(0)$$ CAT ( 0 ) we can also identify the energy density as the Hilbert-Schmidt norm of the differential, in line with the smooth situation.

The present paper is concerned with new Besov-type space of variable smoothness. Nonlinear spline-approximation approach is used to give atomic decomposition of such space. Characterization of the trace space on hyperplane is also obtained.Comment: to appear in Sbornik Mathematics 201

No abstract

The paper is concerned with Besov spaces of variable smoothness B ϕ 0 p,q (R n , {t k }), in which the norms are defined in terms of convolutions with smooth functions. A relation is found between the spaces B ϕ 0 p,q (R n , {t k }) and the spaces B l p,q,r (R n , {t k }), which were introduced earlier by the author.