Characterizations of signed measures in the dual of BV and related isometric isomorphisms
We characterize all (signed) measures in BVn−1n(Rn)∗, where BVn−1n(Rn) is defined as the space of all functions u in Ln−1n(Rn) such that Du is a finite vector-valued measure. We also show that BVn−1n(Rn)∗ and BV(Rn)∗ are isometrically isomorphic, where BV(Rn) is defined as the space of all functions u in L1(Rn) such that Du is a finite vector-valued measure. As a consequence of our characterizations, an old issue raised in Meyers-Ziemer [MZ] is resolved by constructing a locally integrable function f such that f belongs to BV(Rn)∗ but ∣f∣ does not. Moreover, we show that the measures in BVn−1n(Rn)∗ coincide with the measures in W˙1,1(Rn)∗, the dual of the homogeneous Sobolev space W˙1,1(Rn), in the sense of isometric isomorphism. For a bounded open set Ω with Lipschitz boundary, we characterize the measures in the dual space BV0(Ω)∗. One of the goals of this paper is to make precise the definition of BV0(Ω), which is the space of functions of bounded variation with zero trace on the boundary of Ω. We show that the measures in BV0(Ω)∗ coincide with the measures in W01,1(Ω)∗. Finally, the class of finite measures in BV(Ω)∗ is also characterized.