Let (Ω, τ, M) be a nonatomic separable finite measure space. Every continuous functional N on L p ( m), 1 ⩽ p < ∞, which is disjointly additive in the sense N( u + v) = N( u) + N( v) whenever uv = 0, is known to be representable by an integral with a nonlinear Caratheodory kernel. Such functionals share several regularity properties with continuous linear functionals. Here we study the question of whether every continuous, disjointly additive functional defined on a closed subspace of L p ( m) possesses an extension to L p ( m) with these same properties. This question has applications to the study of nonlinear functionals on Sobolev spaces. It is shown that for a class of subspaces, including those of finite codimension, such an extension always exists, but there are also closed subspaces not possessing this extension property. Analogous results are obtained for disjointly additive mappings from closed subspaces of L p ( m) into L 1( m) and for functionals defined on subspaces of L ∞( m). The techniques depend heavily on the utilization of Lyapunov vector measures.
Read full abstract