Repository logo
 

Strictly continuous extension of functionals with linear growth to the space bv


Change log

Authors

Rindler, F 
Shaw, G 

Abstract

In this paper, we prove that the integral functional F[u]: BV(Ω;ℝ^m) → ℝ defined by

F[u] := ∫_Ω f(x,u(x),∇u(x))dx + ∫_Ω ∫_1^0 f^∞ (x, u^θ (x), (d D^s u)/(d |D^s u|) (x)

is continuous over BV(Ω;ℝ^m), with respect to the topology of area-strict convergence, a topology in which (W^(1,1) ∩ C^∞)(Ω;ℝ^m) is dense. This provides conclusive justification for the treatment of F as the natural extension of the functional

u ↦ ∫_Ω f(x,u(x),∇u(x))dx,

defined for u ∈ W^(1,1) (Ω;ℝ^m). This result is valid for a large class of integrands satisfying |f(x,y,A)| ≤ C(1+ |y|^(d/(d−1)) + |A|) and its proof makes use of Reshetnyak's Continuity Theorem combined with a lifting map μ[u]: BV(Ω;ℝ^m) → M(Ω × ℝ^m; ℝ^(m×d)). To obtain the theorem in the case where f exhibits d/(d−1) growth in the y variable, an embedding result from the theory of concentration-compactness is also employed.

Description

This is the final version of the article. It first appeared from Oxford University Press via http://dx.doi.org/10.1093/qmath/hav022

Keywords

4901 Applied Mathematics, 4904 Pure Mathematics, 49 Mathematical Sciences

Journal Title

Quarterly Journal of Mathematics

Conference Name

Journal ISSN

0033-5606
1464-3847

Volume Title

66

Publisher

Oxford University Press (OUP)
Sponsorship
This work was supported by the UK Engineering and Physical Sciences Research Council (EPSRC) [EP/H023348/1 for the University of Cambridge Centre for Doctoral Training, the Cambridge Centre for Analysis, to G.S., EP/L018934/1 to F.R.]; and the University of Warwick.