Publication
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:R→[0,∞) 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)≔∑i=1NH(θi)Hm(σi),for every P=∑i=1Nθi〚σi〛∈Pm(Rn),we prove that the lower semicontinuous envelope of ΦH coincides on rectifiable m-currents with the H-mass MH(R)≔∫EH(θ(x))dHm(x) for every R=〚E,τ,θ〛∈Rm(Rn).
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.