On the lower semicontinuous envelope of functionals defined on polyhedral chains

Abstract

In this note we prove an explicit formula for the lower semicontinuous envelope of some functionals defined on real polyhedral chains. More precisely, denoting by $H \colon \mathbb{R} \to \left[ 0,\infty \right)$ an even, subadditive, and lower semicontinuous function with $H(0)=0$, and by $Φ_H$ the functional induced by $H$ on polyhedral $m$-chains, namely \[ Φ_{H}(P) := \sum_{i=1}^{N} H(θ_{i}) \mathcal{H}^{m}(σ_{i}), \quad\mbox{for every }P=\sum_{i=1}^{N} θ_{i} [[ σ_{i} ]] \in\mathbf{P}_m(\mathbb{R}^n), \] we prove that the lower semicontinuous envelope of $Φ_H$ coincides on rectifiable $m$-currents with the $H$-mass \[ \mathbb{M}_{H}(R) := \int_E H(θ(x)) \, d\mathcal{H}^m(x) \quad \mbox{ for every } R= [[ E,τ,θ]] \in \mathbf{R}_{m}(\mathbb{R}^{n}). \]