This paper develops a variational framework for perimeter functionals with measure data, establishing lower semicontinuity and existence of minimizers under new isoperimetric conditions, applicable to a broad class of measures.
Contribution
It introduces the small-volume isoperimetric condition, a novel criterion ensuring lower semicontinuity and existence results for perimeter functionals with measure data.
Findings
01
The small-volume isoperimetric condition is satisfied by many measures, including infinite measures.
02
The framework applies to general domains and includes semicontinuity results.
03
Existence of minimizers is proved for problems with boundary conditions, obstacles, or volume constraints.
Abstract
We establish lower semicontinuity results for perimeter functionals with measure data on Rn and deduce the existence of minimizers to these functionals with Dirichlet boundary conditions, obstacles, or volume-constraints. In other words, we lay foundations of a perimeter-based variational approach to mean curvature measures on Rn capable of proving existence in various prescribed-mean-curvature problems with measure data. As crucial and essentially optimal assumption on the measure data we identify a new condition, called small-volume isoperimetric condition, which sharply captures cancellation effects and comes with surprisingly many properties and reformulations in itself. In particular, we show that the small-volume isoperimetric condition is satisfied for a wide class of (n−1)-dimensional measures, which are thus admissible in our theory. Our analysis…
μ(A+)≤P(A,\mathdsRn)+εfor all measurable A⊂\mathdsRn with ∣A∣<δ.
μ(A+)≤P(A,\mathdsRn)+εfor all measurable A⊂\mathdsRn with ∣A∣<δ.
\bigg{|}\int_{A}H(\overline{x},0)\,\mathrm{d}\overline{x}\bigg{|}\leq C\mathrm{P}(A,{\mathds{R}}^{n-1})\qquad\text{for all measurable }A\subset D\,,\qquad\text{with fixed }C\in{[0,1)}\,.
\bigg{|}\int_{A}H(\overline{x},0)\,\mathrm{d}\overline{x}\bigg{|}\leq C\mathrm{P}(A,{\mathds{R}}^{n-1})\qquad\text{for all measurable }A\subset D\,,\qquad\text{with fixed }C\in{[0,1)}\,.
μ0(Br(x))≤Crκfor all balls Br(x)⊂D,with fixed C∈[0,∞) and κ∈(n−2,n−1)
μ0(Br(x))≤Crκfor all balls Br(x)⊂D,with fixed C∈[0,∞) and κ∈(n−2,n−1)
∣μ0(A1)∣≤CP(A,\mathdsRn−1)for all measurable A⊂D,with fixed C∈[0,1).
∣μ0(A1)∣≤CP(A,\mathdsRn−1)for all measurable A⊂D,with fixed C∈[0,1).
\bigg{|}\int_{A}H(x){\,\mathrm{d}x}\bigg{|}\leq C\mathrm{P}(A,{\mathds{R}}^{n})\qquad\text{for all measurable }A\subset S\text{ with }H\in\mathrm{L}^{1}(A)\,,\,\mathrm{P}(A,{\mathds{R}}^{n})\leq R\,,
\bigg{|}\int_{A}H(x){\,\mathrm{d}x}\bigg{|}\leq C\mathrm{P}(A,{\mathds{R}}^{n})\qquad\text{for all measurable }A\subset S\text{ with }H\in\mathrm{L}^{1}(A)\,,\,\mathrm{P}(A,{\mathds{R}}^{n})\leq R\,,
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNonlinear Partial Differential Equations · Advanced Mathematical Modeling in Engineering · Geometric Analysis and Curvature Flows
Full text
Isoperimetric conditions, lower semicontinuity, and existence results for
perimeter functionals with measure data
Thomas Schmidt111Fachbereich Mathematik,
Universität Hamburg, Bundesstr. 55, 20146 Hamburg, Germany.
We establish lower semicontinuity results for perimeter functionals with
measure data on \mathdsRn and deduce the existence of minimizers to these
functionals with Dirichlet boundary conditions, obstacles, or
volume-constraints. In other words, we lay foundations of a perimeter-based
variational approach to mean curvature measures on \mathdsRn capable of proving
existence in various prescribed-mean-curvature problems with measure data. As
crucial and essentially optimal assumption on the measure data we identify a
new condition, called small-volume isoperimetric condition, which sharply
captures cancellation effects and comes with surprisingly many properties and
reformulations in itself. In particular, we show that the small-volume
isoperimetric condition is satisfied for a wide class of (n−1)-dimensional
measures, which are thus admissible in our theory. Our analysis includes
infinite measures and semicontinuity results on very general domains.
Prescribed mean curvature hypersurfaces and Massari’s functional
This paper contributes to the theory of (generalized) hypersurfaces of
prescribed mean curvature in \mathdsRn, approached from a parametric
calculus-of-variations side. Given a function H∈L1(Ω) on
an open set Ω⊂\mathdsRn, this amounts to the study of functionals of the
type
[TABLE]
where the perimeter P(A,Ω) of A in Ω gives, in sufficiently
regular cases, the (n−1)-dimensional Hausdorff measure of
Ω∩∂A. In order to obtain prescribed mean curvature
hypersurfaces one seeks to minimize the functional
PH[⋅;Ω] among sets A of finite perimeter in
Ω, which are usually required to satisfy boundary conditions at
∂Ω and possibly further constraints. If a minimizer A with
sufficiently smooth boundary Ω∩∂A exists, at least in cases
with constraints only at ∂Ω, it should solve the parametric
prescribed mean curvature equation
[TABLE]
where νA denotes the outward unit normal to A at points of
Ω∩∂A and the divergence can be taken either as the tangential
divergence of νA along ∂A or equivalently as the standard
divergence of any smooth continuation of νA to Ω as a (sub-)unit
vector field. The equation (1.2), if valid in a suitably strong sense,
does express that the mean curvature of ∂A is indeed the prescribed
function n−1−1H — or more precisely that, for every
x∈Ω∩∂A, the number n−1−1H(x) is the mean
curvature at x of the hypersurface Ω∩∂A oriented by νA.
A major step in the program described has been achieved by Massari
[27, 28] who introduced the approach via the functional
PH[⋅;Ω] and extended De Giorgi’s pioneering work
[11] from the minimal surface case H≡0 to general
prescribed functions H. In fact, the papers [27, 28]
establish an existence result for minimizers of
PH[⋅;Ω] in case H∈L1(Ω) and also a
minimal-surface-type222By minimal-surface-type partial regularity we mean
regularity up to an exceptional set of Hausdorff dimension at most n−8.
partial C1,α regularity result under the optimal assumption
that H∈L(loc)p(Ω) holds for some p>n. If H is additionally
continuous, it follows in a standard way (e.g. by locally computing the
non-parametric first variation) that minimizers A of
PH[⋅;Ω] satisfy (1.2) on the regular portions
of Ω∩∂A and that n−1−1H is the mean curvature of
Ω∩∂A. For discontinuous H, in contrast, the geometric
significance of H is far less clear, and in general it seems to be a widely
open problem if and in which precise sense one can still restrict H to
Ω∩∂A and make any sense of equation (1.2).
Lower semicontinuity for a Massari-type functional with measures
In the present paper, though we take the geometric situation as a background
motivation and in fact have some hope for a connection with the open problem
just mentioned, we deal with the minimization of prescribed-mean-curvature
functionals mostly in its own right. In fact, we replace the prescribed function
H∈L1(Ω) with prescribed non-negative Radon measures μ+ and
μ− concentrated on Ω and possibly of dimension lower than n, and
correspondingly we replace Massari’s functional (1.1) with its natural
generalization
[TABLE]
where A+ denotes the measure-theoretic closure and A1 the
measure-theoretic interior of A (see Section 2 for the
definitions). Our central results on the functional Pμ+,μ−[⋅;Ω] are
semicontinuity results, which apply under sharp hypotheses on the measures
μ± and are suitable to prove the existence of minimizers of
Pμ+,μ−[⋅;Ω] in several cases with standard boundary conditions or
constraints. In fact, our semicontinuity statements take slightly different
forms in the full-space case Ω=\mathdsRn (see Section 4), in
versions adapted to Dirichlet problems on domains Ω⊂\mathdsRn (see
Section 6), and generally on domains Ω⊂\mathdsRn (see
Section 9). For the purposes of this introduction, we restrict
the detailed discussion to the full-space case and the functional
[TABLE]
for which we introduce the crucial hypothesis on μ± and state a
prototypical case of our results as follows:
We say that a non-negative Radon measure μ on \mathdsRn satisfies the
small-volume isoperimetric condition (briefly: the
small-volume IC)* in \mathdsRn with constant 1 if, for every
ε>0, there exists some δ>0 such that*
[TABLE]
Theorem 1.2** (lower semicontinuity on full space; proptotypical case).**
Consider non-negative Radon measures μ+ and μ− on \mathdsRn which both
satisfy the small-volume IC in \mathdsRn with constant 1. Then the full-space
functional Pμ+,μ− introduced above is finite and lower semicontinuous with
respect to convergence in measure on
BV(\mathdsRn)\vbox..={A⊂\mathdsRn:A measurable,∣A∣+P(A,\mathdsRn)<∞}.
We emphasize that, for this and similar semicontinuity results, we necessarily
need to use some closed representative of A in the μ−-volume term of
(1.3), since measurable sets A are considered in an
Ln-a.e. sense, and other choices of representative would not ensure lower
semicontinuity of Pμ+,μ− along basic strictly decreasing sequences Ak↘A∞ with P(Ak,\mathdsRn)→P(A∞,\mathdsRn), as soon as μ− assigns
mass to the boundary of A∞. Indeed, the usage of A+ as a precise
Hn−1-a.e. defined representative of A is perfectly suited for our
purposes and is inspired by related developments in the theory of one-sided
obstacle problems; cf.
[6, 37, 4, 38, 39, 45]. In
a very similar way, the choice of A1 in the μ+-volume term allows to
cope with basic increasing sequences Ak↗A∞.
Lower semicontinuity also on general domains
Our semicontinuity results for functionals of type (1.3) on
general domains Ω⊂\mathdsRn rely on closely related (small-volume) ICs,
which partially can be understood as relative ICs adapted to the domain at hand.
However, at this introductory stage we will only briefly touch upon some aspects
of the results, while postponing the discussion of the adapted ICs entirely to
the later sections. We mention that basically all results on general domains
will be deduced from the ones on full space by extension/restriction to/from all
of \mathdsRn. For cases with a generalized Dirichlet boundary condition on a
bounded domain Ω, this deduction is essentially standard. However, as a technical addition, when
working out the details, we also include a careful treatment of (strongly)
unbounded domains Ω and infinite measures μ±; see Section
6 for the details. Furthermore, in the final Section 9,
we also obtain two semicontinuity results on general domains independent of any
boundary condition. The first result is somewhat different from the usual
semicontinuity on open sets and yields lower semicontinuity of a functional
Pμ+,μ−[⋅;Ω1]on the measure-theoretic interiorΩ1
of a set Ω of locally finite perimeter in \mathdsRn. This type of
semicontinuity on Ω1 does not seem to be standard even in case of the
relative perimeter P0,0[⋅;Ω1]=P(⋅,Ω1)
alone, but in the perimeter case is in fact not entirely new and can also be
deduced from a recent result of Lahti [24]. Anyway, our theory allows
for a new and very natural proof by incorporating the perimeter measure
P(Ω,⋅) (and potentially even some other measures on the reduced
boundary ∂∗Ω) into the measures μ± of the full-space
functional Pμ+,μ−. As a complement, the second result gives lower semicontinuity
of Pμ+,μ−[⋅;Ω] also on an arbitrary open set Ω⊂\mathdsRn
and thus can dispense with any regularity of Ω at the price of requiring
openness even in the standard topological sense. Finally, we will also further
underpin the results with several examples of admissible domains and measures
and with a detailed discussion of the relevant (relative) ICs and their
optimality.
The small-volume IC as decisive assumption for semicontinuity
For now, we return to the full space-setting of Theorem 1.2
and discuss its crucial assumption, the small-volume IC, in some more detail. We
first highlight that this condition is not only sufficient for the lower
semicontinuity conclusion, but in itself expresses lower semicontinuity of the
functional P0,μat the empty set and thus in most cases
is also necessary for lower semicontinuity. Indeed, if μ=μ− violates the
small-volume IC in \mathdsRn with constant 1, for some ε>0 there exists a
sequence of counterexamples in form of measurable sets Ak⊂\mathdsRn with
limk→∞∣Ak∣=0 and μ(Ak+)>P(Ak,\mathdsRn)+ε. This, however,
means that Ak converge in measure to the empty set ∅ with
limsupk→∞P0,μ[Ak]≤−ε<0=P0,μ[∅],
and lower semicontinuity fails as well. Therefore, the small-volume IC with
constant 1 is in fact the optimal assumption on μ− in Theorem
1.2. Moreover, if μ=μ+ is supported in a ball B
and Ak are as before, then B∖Ak converge in measure to B, and
one finds
limsupk→∞Pμ,0[B∖Ak]≤Pμ,0[B]−ε.
Therefore, at least case of bounded support, the small-volume IC with
constant 1 is the optimal assumption on μ+ as well.
In the proof of Theorem 1.2, the small-volume IC is
decisive in coping with cases in which (the singular part of) μ=μ−
has mass on an (n−1)-dimensional surface S and, for a decreasing sequence
Ak↘A∞, the sets Ak include thinner and thinner neighborhoods of
S, while A∞+ does not intersect S anymore; see Figure 1
below for an illustration in case n=2. In such situations, with
−μ(A∞+)>liminfk→∞[−μ(Ak+)] the μ-volume term
in P0,μ is not lower semicontinuous, but it holds the
strict inequality P(A∞,\mathdsRn)<liminfk→∞P(Ak,\mathdsRn).
Under the small-volume IC from (1.4) we will show that it is
possible to quantitatively relate these opposite effects, to compensate for the increase of
the μ-volume with the decrease of the perimeter and thus to admit a certain
cancellation effect while still preserving lower semicontinuity of the
functional P0,μ. The functional Pμ,0 with
μ=μ+ can be handled in a dual manner (where the decisive sequences are
the increasing ones), and the results can be combined in order to reach
functionals of the general type Pμ+,μ−.
Beside the decisive effect just described, the small-volume IC also has a role
in preventing a breakdown of lower semicontinuity at infinity, which in general
can occur already in the function case μ±=H±Ln. Indeed, for each
H∈L1(\mathdsRn), continuity of the H-volume term and thus lower semicontinuity
of PH are immediate. However, this does not extend to
H∈Lloc1(\mathdsRn), where for similar reasons as above one needs to prevent
that Ak move away to infinity with limk→∞∣Ak∣=0,
limsupk→∞P(Ak,\mathdsRn)<∞, but
limsupk→∞∫AkHdx=∞. As our result is formulated for
locally finite measures μ±, it also singles out functions
H∈Lloc1(\mathdsRn)∖L1(\mathdsRn) such that PH is lower
semicontinuous. We are aware of previous results in this direction only on
specific unbounded domains in the different setting of [13, 14]
(compare also below), but still consider this aspect mostly as a side benefit of
our treatment of possibly singular measure data.
Existence results
As standard consequences of semicontinuity we derive existence results for
minimizers of Pμ+,μ−[⋅;Ω] with obstacles, prescribed volume, or a
Dirichlet boundary condition as side conditions. Since the obstacle and
prescribed-volume constraints fit into the full-space setting described so far,
we exemplarily state our corresponding existence results at least for the case
of finite μ−, while the somewhat more technical treatment of Dirichlet
problems is postponed to the later Section 6. In all cases, we
impose the small-volume IC as the decisive assumption on μ±.
Theorem 1.3** (existence in obstacle and prescribed-volume problems).**
Consider non-negative Radon measures μ+ and μ− on \mathdsRn such that
both μ+ and μ− satisfy the small-volume IC with constant 1 on
\mathdsRn and such that μ− is finite. Then, with BV(\mathdsRn) as in
Theorem 1.2, we have:**
Obstacle problem:*
Whenever, for given measurable sets I,O⊂\mathdsRn, the admissible class
{A∈BV(\mathdsRn):I⊂A⊂O up to negligible sets}
is non-empty, then there exists a minimizer of Pμ+,μ− in this
class.*
Prescribed-volume problem with μ+≡0:*
For every v∈(0,∞), there exists a minimizer of
P0,μ− in {A∈BV(\mathdsRn):∣A∣=v}.*
Theorem 1.3 will be established in Section 5,
where existence in the obstacle problem will also be extended to some
infinite measures μ−, while in the prescribed-volume problem we will not go
beyond the statement given above. The proof uses the direct method in the
calculus of variations and at least in the obstacle case is standard once
suitable semicontinuity is at hand. However, since in the full-space situation
out of a minimizing sequence we can only extract a subsequence which converges
locally in measure on all of \mathdsRn, we in fact need a semicontinuity
statement adapted to local convergence in measure. As we will see in
Section 4, such a variant can be deduced from the above statement of
Theorem 1.2 by cut-off arguments. In case of the
prescribed-volume problem, the local-convergence issue additionally brings up
the more severe difficulty that a limit in the sense of local convergence may exhibit a “volume
drop” at infinity and thus may fall out of the admissible class. The strategy
for preventing this is technically more involved and consists in constructing an
improved minimizing sequence by “shifting volume” into a bounded region;
see Section 5 for detailed discussion and implementation.
More on the small-volume IC: criteria and exemplary cases
We further support the semicontinuity and existence results by identifying
wide classes of measures for which the small-volume IC holds. First let us
remark that related ICs without the additive ε-term have been considered
in classical literature (compare also below for related discussion) with the
typical background idea that such conditions can be deduced for
μ±=H±Ln, H∈Lp(\mathdsRn), p>n, by the classical estimate
via the Hölder and isoperimetric inequalities
∫AH±dx≤Cn∥H∥Lp(\mathdsRn)∣A∣n1−p1P(A,\mathdsRn),
where Cn is a dimensional constant. As a first indication that our
small-volume IC is substantially different, we record that it is
in fact trivially satisfied, beyond the previous Lp cases and due to the
ε-term alone, for all finite absolutely continuous measures
μ±=H±Ln with H∈L1(\mathdsRn). Hence, our semicontinuity results
include Massari’s standard case of the functional PH. In addition,
however, our results do admit singular measures, as will become clear from the
following abstract criterion:
Theorem 1.4** (divergence criterion for the small-volume IC).**
If a non-negative Radon measure μ on \mathdsRn can be expressed as
μ=HLn+divσ with H∈L1(\mathdsRn) and a
divergence-measure field σ∈L∞(\mathdsRn,\mathdsRn) such that
∥σ∥L∞(\mathdsRn,\mathdsRn)≤1, then μ satisfies the small-volume
IC in \mathdsRn with constant 1.
Theorem 1.4 and its proof are not very surprising.
For instance, one may read off the result from a divergence theorem for
L∞ divergence-measure fields on sets of finite perimeter (similar to
the later formula (2.13)). Alternatively, one can also argue by
approximation, and this is the route we take when picking up the result in the
somewhat wider context of the later Section 7.
For the moment, we mainly record that the condition of Theorem
1.4 holds for infinite measures
μ=θHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS with θ∈[0,2] and with a hyperplane
S⊂\mathdsRn or a union S of finitely many parallel hyperplanes in \mathdsRn.
Thus, we obtain basic examples of singular measures with small-volume IC.
However, the condition remains valid for a much broader class of
(n−1)-dimensional measures, as in fact we have:
Theorem 1.5** (small-volume IC for rectifiable Hn−1-measures).**
Whenever, for a non-negative Radon measure μ on \mathdsRn, we have
μ≤2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS with some Hn−1-finite and countably
Hn−1-rectifiable Borel set S⊂\mathdsRn, then μ satisfies the
small-volume IC in \mathdsRn with constant 1.
Theorem 1.5 will be established in Section
8, where the case μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E with the
reduced boundary ∂∗E of a set E of finite perimeter will be
vital and will be resolved by a reasoning interesting in its own right: The
argument is based on the construction of a sub-unit extension
σE∈L∞(\mathdsRn,\mathdsRn) of a unit normal vector field to
∂∗E with divσE∈L1(\mathdsRn) and then reads off the
condition of Theorem 1.4 for
μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E from Gauss-Green formulas which involve
weak normal traces of σE. While, for smooth ∂E, the field
σE can be obtained by more elementary means, in the general case we
rely on the theory and construction of an optimal variational mean curvature
HE∈L1(\mathdsRn) of E due to Barozzi & Gonzalez & Tamanini
[3] and Barozzi [2], read off a certain auxiliary
IC for HE, and only then deduce the existence of σE with
divσE=HE.
We will postpone most of the more detailed discussion on reformulations and
further properties of ICs to the latter sections. However, already at this stage
we wish to mention one more specific property of the small-volume IC, since it
came quite unexpected and allows to obtain further examples of measures
admissible in our theory from those already discussed:
Proposition 1.6** (small-volume IC for the sum of singular measures).**
Consider non-negative Radon measures μ1 and μ2 on \mathdsRn such that
μ1 and μ2 are singular to each other and least one of μ1 and
μ2 is finite. If μ1 and μ2 both satisfy the small-volume IC in
\mathdsRn with constant 1, then μ1+μ2 satisfies the small-volume IC
in \mathdsRn still with the same constant 1(and not merely in the evident
way with an additional multiplicative factor 2 in front of the perimeter).
The proof of Proposition 1.6 will be given in Section
7 and is based on a certain relative-perimeter
characterization of the small-volume IC and an elementary separation argument.
On the usage of ICs and related results in the literature
To the state of our knowledge, the precise form of our small-volume IC
and its flexibility, as underlined by Theorem 1.5, are
new. Nevertheless, related linear ICs have been around in the theory of
prescribed mean curvature surfaces for a long time, and thus we now comment on
the previous literature in some more detail.
In fact, ICs have been prominently used in the theory of non-parametric
prescribed-mean-curvature functionals, which correspond to
PH[A;Ω] from (1.1) for subgraphs A and
Ω=D×\mathdsR with a bounded Lipschitz domain D⊂\mathdsRn−1. However,
the considerations on such functionals in
[32, 19, 18, 17, 21] differ from
ours, since e.g. the assumptions in [17] imply (in the
terminology of our setting) ∂nH≤0, H(⋅,0)∈Ln−1(D)
and the settings of the other papers tend in similar, but rather more
restrictive directions. In any case, these works exclude cancellation in the
previously described sense, and thus the perimeter and the H-volume are even
separately lower semicontinuous for basic reasons and without need for imposing
an IC. In fact, in these non-parametric cases it is not semicontinuity but
rather coercivity of the problem which is obtained from stronger ICs of type
[TABLE]
When comparing with our results, the need for assuming (1.5) may be
viewed as a result of considering on the unbounded cylinder D×\mathdsR an
infinite measure HLn, and analogous conditions occur also in our
theory when later addressing the existence issue with infinite measures in
Theorems 5.1 and 6.4. Moreover, in case
H(x,xn)=H0(x), having (1.5) with C=1 is
also necessary for classical solvability of the prescribed mean curvature
equation {-}\operatorname{div}\big{(}\nabla u/\!\sqrt{1{+}|\nabla u|^{2}}\big{)}=H_{0} (compare
with [21] for finer related discussion). It is not clear to us if
there is an effective necessary condition of a similar type also for general H
with xn-dependence.
Still in the non-parametric framework, a direction partially analogous to ours
has been pursued in [46, 7, 8]: Indeed, Ziemer
[46] gives an existence result for non-parametric functionals which
involve a finite non-negative measure datum μ0 with compact support in a
bounded Lipschitz domain D⊂\mathdsRn−1. However, his central assumption
[TABLE]
is considerably stronger than a linear IC and in particular excludes the
interesting borderline case of (n−2)-dimensional measures μ0. Moreover,
Dai & Trudinger & Wang [7] and Dai & Wang & Zhou
[8] introduce an approximation-based notion of a mean curvature
measure and establish a corresponding existence result for generalized solutions
to the prescribed mean curvature equation on a smooth bounded domain
D⊂\mathdsRn−1 with a finite signed measure μ0 on D as right-hand
side. They require that the singular part of μ0 has compact support in D
and in analogy with (1.5) impose on μ0 an IC of type
[TABLE]
Since the settings differ, a comparison of the preceding results with ours is
necessarily incomplete, but one may say that the results in
[46, 7, 8] work for product measures
μ=μ0⊗L1 on D×\mathdsR, while we admit general measures
μ on Ω⊂\mathdsRn. Alternatively, from a more PDE-based viewpoint,
one may put it the way that [46, 7, 8] treat
right-hand sides of type H0(x) with H0∈L1(D) replaced by a measure
μ0 on D, while for the non-parametric equations corresponding to
our functionals one expects right-hand sides of type H(x,u(x)) (with
dependence on the unknown u) with H∈L1(D×\mathdsR) replaced by a measure
μ on D×\mathdsR. Beyond this partial comparison we stress that the
approaches taken are technically very different from ours and that the works
[46, 7, 8] do not involve any semicontinuity
by cancellation. In fact, the more restrictive assumption (1.6) of
[46] still ensures separate semicontinuity of the μ0-volume,
and the approach of [7, 8] works much more on the PDE
side rather than the variational side of the field and does not involve
semicontinuity of a functional with measure datum at all.
Finally, when a first version of this article was already finalized, an
independent preprint of Leonardi & Comi [25] on non-parametric
functionals closely analogous to the parametric ones in (1.3)
became available. In this interesting work the authors obtain (among other
results) lower semicontinuity and existence results over a bounded Lipschitz
domain D⊂\mathdsRn−1 in case of specific measures
μ0=hLn−1+γHn−2\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΓ with
h∈Lq(D), q>n−1, an (n−2)-dimensional set Γ⊂D with
bounded (n−2)-dimensional density ratio, and
γ∈L∞(Γ;Hn−2) such that moreover the IC
(1.7) holds. Though also these results concern the non-parametric
setting and differ considerably from ours in the framework and the technical
approach, we put on record that at its heart the work [25] brings up a
semicontinuity-by-cancellation effect analogous to ours.
Returning to the parametric case, we point out that ICs have been introduced
into the classical 2-dimensional Douglas-Radó theory of prescribed mean
curvature surfaces by Steffen [40, 41]. Among the
ICs considered in his work, a central type for functions H:S→\mathdsR on S⊂\mathdsRn
reads in our terminology
[TABLE]
where C∈[0,1] and R∈[0,∞] are fixed. In the classical case with
n=3 such ICs are then exploited in [40, 41] in
establishing lower semicontinuity of prescribed mean curvature functionals and
in case C<1 also existence results, where in a spirit similar to ours the ICs
compensate for a lack of separate lower semicontinuity of a certain H-volume
term. However, while in our theory the main issue originates from passing from
functions H to measures μ± and from a possible loss of a hypersurface
portion in the limit, in [40, 41] an analogous issue occurs
already for functions H and is connected with a typical phenomenon of the
parametric theory, namely the possible bubbling-off of regions of positive
volume in the limit. In addition, Duzaar [13] and Duzaar & Steffen
[14] have established existence results based on ICs of type
(1.8) with C<1 also in Euclidean space \mathdsRn and in
Riemannian manifolds of arbitrary dimension n by working in a general GMT
framework with codimension-1 currents. However, also the results in
[13, 14] are limited to functions H and not measures μ±
in the volume term. Yet again, since bubbling off is not an issue in the
framework of currents, the role of the ICs is once more a bit different and
consists mostly in preventing a breakdown of semicontinuity at ∞, as it
has already been discussed and needs to be excluded in our theory as well.
Acknowledgments
The author is grateful to T. Ilmanen for a discussion on the extension of
Theorem 8.2 from perimeter measures to rectifiable measures, as
subsequently achieved in Corollary 8.4 and also stated in
Theorem 1.5. Moreover, the author wants to thank
E. Ficola and M. Torres for pointing out references [32] and
[46], respectively, and J. Schütt for a careful reading of a
preliminary version of the manuscript. The figures in this article have been
created in the vector graphics language ‘Asymptote’.
2 Preliminaries
We work in Euclidean space \mathdsRn of arbitrary dimension
n∈\mathdsN={1,2,3,…} (unless indicated otherwise).
Basic notation for sets and balls
Our basic notation for sets is widely standard. However, we mention that we use
Ac for the complement of a set A (in \mathdsRn or in some other base
set clear from the context),
AΔB\vbox..=(A∖B)∪(B∖A) for the symmetric difference
of sets A and B, and \mathds1A for the characteristic function of a set A
with \mathds1A≡1 on A and \mathds1A≡0 on Ac. By A and
int(A) we denote the closure and the interior, respectively, of a set A
(taken once more in \mathdsRn or another base space). We write A⋐B if
A is compact and satisfies A⊂B. Moreover, we use
Br(x)\vbox..={y∈\mathdsRn:∣y−x∣<r} for balls in \mathdsRn, we abbreviate
Br\vbox..=Br(0), and we denote by αn=∣B1∣ the volume of the unit
ball B1 in \mathdsRn. Finally, for a∈\mathdsRn, A,B⊂\mathdsRn we use
dist(a,B)\vbox..=infb∈B∣a−b∣ and
dist(A,B)\vbox..=infa∈Adist(a,B) for Euclidean distances.
Measures and convergence in measure
We write B(\mathdsRn) for the Borel σ-algebra on the full space \mathdsRn and
B(Ω)={A∈B(\mathdsRn):A⊂Ω} for the Borel
σ-algebra on a Borel subset Ω∈B(\mathdsRn). By a non-negative Borel
measure μ on a set Ω∈B(\mathdsRn) we mean a σ-additive set
function on B(Ω) with values in [0,∞]. The support sptμ
of such a measure μ is the smallest closed set S⊂Ω with
μ(Sc)=0, and μ is called finite if μ(Ω)<∞ holds. A
non-negative Radon measure on an open set Ω⊂\mathdsRn is a non-negative
Borel measure on Ω with finite value on all compacts subsets of Ω.
Specifically, we work with the n-dimensional Lebesgue measure Ln, which is
a non-negative Radon measure on \mathdsRn, and with the (n−1)-dimensional
Hausdorff measure Hn−1, which is at least a non-negative Borel measure on
\mathdsRn. In case of Ln we also consider its extension from B(\mathdsRn) to the
completed σ-algebra M(\mathdsRn) of Lebesgue measurable subsets of
\mathdsRn. We write ∣A∣\vbox..=Ln(A) for the volume of A∈M(\mathdsRn) and
generally adopt the convention that measure-theoretic notions are taken
with respect to the Lebesgue measure unless indicated otherwise.
Specifically, this applies for a.e. properties and the following convergences.
For Ω,Ak,A∈M(\mathdsRn) we define
[TABLE]
We remark that in most of the following we will apply (2.1) and
(2.2) in the standard case of open Ω only, but in
fact we have intentionally given the definitions for arbitrary measurable
Ω, since this more general viewpoint will become relevant for Theorem
9.1 and Corollary 9.2 in the final section
of this paper. Indeed, the reasonableness of this framework is supported by the
fact that just as the convergence in (2.1) also the
convergence in (2.2) depends on Ω only up to
negligible sets, as one can verify in case of (2.2) by a
short reasoning with the inner regularity of the Lebesgue measure. Moreover, the
same reasoning shows that equivalent with (2.2) is
having limk→∞∣(AkΔA∞)∩S∣=0 even for all S∈M(\mathdsRn)
with ∣S∖Ω∣=0 and ∣S∣<∞. Finally, we briefly remark that
local convergence in measure is closely tied to almost everywhere convergence in
the sense of limk→∞\mathds1Ak=\mathds1A∞ a.e. on Ω: In fact, almost
everywhere convergence implies local convergence in measure, and local
convergence in measure implies almost everywhere convergence of a subsequence.
In connection with signed measures and vector measures we adopt mostly the
conventions of [1, Sections 1.1, 1.3]. Specifically, as a
signed Radon measure ν on open Ω⊂\mathdsRn we consider any set
function which is defined and σ-additive with finite real values (at
least) on the relatively compact Borel subsets of Ω, and an \mathdsRm-valued
Radon measure is defined analogously with values in \mathdsRm. A signed or
\mathdsRm-valued Radon measure ν on Ω is called finite if it extends to
a finite-valued σ-additive set function on the full Borel
σ-algebra B(Ω). With these conventions the (total) variation
measure ∣ν∣ of a signed or \mathdsRm-valued Radon measure ν on Ω can
always be regarded as a non-negative Radon measure on Ω (where ∣ν∣ is
finite if and only if ν is finite). Moreover, every signed Radon measure
ν on Ω admits a unique decomposition ν=ν+−ν− into
mutually singular non-negative Radon measures ν+ and ν− on Ω,
which also satisfy ∣ν∣=ν++ν−.
Finally, for any measure ν on a measurable space (Ω,A), the
weighted measure fν on (Ω,A) with
f∈L1(Ω;ν) is defined by setting (fν)(A)\vbox..=∫Afdν
for all A∈A. Specifically, the restriction measure ν\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS on
(Ω,A) with S∈A is obtained through
(ν\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS)(A)\vbox..=(\mathds1Sν)(A)=ν(S∩A) for all A∈A.
Coarea formula for Lipschitz functions
For a (locally) Lipschitz function Ω→\mathdsR on open Ω⊂\mathdsRn,
Rademacher’s theorem guarantees the existence of the derivative
∇u(x)∈\mathdsRn at a.e. x∈Ω; compare e.g. with
[1, Section 2.3], [15, Section 3.1],
[26, Section 7.3], or [29, Theorem 7.3]. With the
derivative at hand the coarea formula for Lipschitz functions can then be stated
as follows.
Theorem 2.1** (coarea formula for Lipschitz functions).**
Consider a Lipschitz function u:Ω→\mathdsR on open
Ω⊂\mathdsRn. Then we have
[TABLE]
For the proof (of actually more general statements) we refer to
[1, Section 2.12], [15, Section 3.4], or
[26, Section 18.1], for instance.
Sets of finite perimeter (and BV functions)
In working with spaces of integrable and weakly differentiable functions such as
L(loc)p(Ω), W(loc)1,p(Ω), BV(loc)(Ω) we
follow once more the terminology of [1]. In particular, for a
real-valued BV function u∈BVloc(Ω) on open Ω⊂\mathdsRn,
we write Du for the \mathdsRn-valued Radon measure which represents the
distributional gradient of u on Ω. Moreover, we generally use
u±\vbox..=max{±u,0} for the positive and negative part of functions,
but we directly warn the reader that in addition to this convention with
lower indices ± we will soon introduce upper indices
± for certain approximate limits as well.
We introduce the perimeter P(A,Ω) of a measurable set A∈M(\mathdsRn) in
an arbitrary Borel set Ω∈B(\mathdsRn) by setting
P(A,Ω)\vbox..=∣D\mathds1A∣(Ω) whenever there exists an open neighborhood
U of Ω in \mathdsRn such that \mathds1A∈BVloc(U) and by trivially setting
P(A,Ω)\vbox..=∞ otherwise. For open Ω this coincides with more
standard distributional definitions, while in general we have
P(A,Ω)=inf{P(A,U):U open neighborhood of Ω in \mathdsRn}.
As usual we abbreviate P(A)\vbox..=P(A,\mathdsRn).
We next record two standard results, where the former can be inferred
from [1, Theorem 3.39] or [26, Corollary 12.27], and
the later from [1, Proposition 3.38(b)],
[15, Theorem 5.2], or [26, Proposition 12.15].
Lemma 2.2** (compactness from perimeter bounds).**
Consider an open set Ω⊂\mathdsRn. If (Ak)k∈\mathdsN is a sequence
in M(\mathdsRn) with supk∈\mathdsNP(Ak,Ω)<∞, then a subsequence
of (Ak)k∈\mathdsN converges locally in measure on Ω to some limit
A∞∈M(\mathdsRn).
Lemma 2.3** (lower semicontinuity of the perimeter).**
Consider an open set Ω⊂\mathdsRn. If a sequence (Ak)k∈\mathdsN in
M(\mathdsRn) converges locally in measure on Ω to A∞∈M(\mathdsRn), then
we have
[TABLE]
Whenever we have P(A,Ω)<∞ for A∈M(\mathdsRn) and
Ω∈B(\mathdsRn), we call A a set of finite perimeter in Ω, and we
write the class of sets of finite measure and finite perimeter in Ω as
[TABLE]
Moreover, we call A∈M(\mathdsRn) a set of locally finite perimeter in open
Ω⊂\mathdsRn if P(A,K)<∞ holds for all compact K⊂Ω.
The corresponding class is written, still for open Ω, as
[TABLE]
The reduced boundary of A∈BV(Ω) in Ω∈B(\mathdsRn) in the sense
of [1, Definition 3.54], [15, Definition 5.4],
[26, Section 15] is denoted by ∂∗A or by
Ω∩∂∗A. Its significance is partially highlighted by the
following result, which can be read off
from [1, Theorem 3.59], [15, Theorem 5.15], or
[26, Theorem 15.9].
Theorem 2.4** (De Giorgi’s structure theorem; partial statement).**
For A∈M(\mathdsRn) and Ω∈B(\mathdsRn) with P(A,Ω)<∞, it holds
[TABLE]
With this result in mind, from here on we mostly use P(A,⋅) as the
preferred notation for the perimeter measure of a set A of (locally) finite
perimeter.
In view of the conventions for BV functions and BV sets we can also state
a variant of the coarea formula, which is contained in e.g.
[1, Theorem 3.40] or [15, Theorem 5.9].
Theorem 2.5** (Fleming-Rishel coarea formula).**
Consider an open set Ω⊂\mathdsRn and u∈BV(Ω). Then, for
L1-a.e. t∈\mathdsR, we have {u>t}∈BV(Ω), and it holds
[TABLE]
Finally, we use the following result, which in this form is provided by
[1, Theorem 3.46], for instance.
Theorem 2.6** (isoperimetric estimate).**
For n≥2 and A∈M(\mathdsRn), we have
[TABLE]
with a constant Γn>0 which depends only on n. Evidently, in case
∣A∣<∞ this reduces to ∣A∣≤ΓnP(A)n−1n.
With the determination of the optimal constant
Γn=P(B1)−n−1n∣B1∣=P(Br)−n−1n∣Br∣, the
preceding statement turns into the isoperimetric inequality
[TABLE]
for a proof see [26, Chapter 14], for instance. For the purposes of this
paper we need (2.3) only at a single point in the proof of
Theorem 5.2, while otherwise the estimate of Theorem
2.6 with any constant Γn suffices.
Finally, we record the following basic estimate (which has also variants for
sets with finiteHn−1-measure):
Lemma 2.7**.**
For every Hn−1-negligible N∈B(\mathdsRn) and every ε>0, there
exists an open set A such that
[TABLE]
(with the ε-neighborhood
Nε(N)\vbox..={x∈\mathdsRn:dist(x,N)<ε} of N).
Beweis.
By definition of Hn−1, there exist open balls
Bi⊂Nε(N) with corresponding radii ri∈(0,n] such that
N⊂⋃i=1∞Bi and
nαn∑i=1∞rin−1<ε hold. For the open set
A\vbox..=⋃i=1∞Bi with N⊂A⊂Nε(N),
we get
[TABLE]
This completes the proof.
∎
Hn−1-a.e. representatives and set operations
for sets of finite perimeter
For A∈M(\mathdsRn), ϑ∈[0,1] we introduce the Borel sets
[TABLE]
of density-ϑ points and positive-upper-density points of A, and we record that
A1=A+=A holds up to negligible sets (see e.g. by [15, Theorem 1.35],
[26, eq. (5.19)], or [29, Corollary 2.14(1)]). More can be said
in case A has finite perimeter: Then the Aϑ are significant only for
ϑ∈{0,21,1}, and the essential boundary
[TABLE]
is not only negligible, but in fact coincides with the reduced boundary ∂∗A up
to an Hn−1-negligible sets. In fact, this is made precise in the next result, for
which we refer to [1, Theorem 3.61] or [26, Theorem 16.2].
Theorem 2.8** (Federer’s structure theorem).**
For A∈M(\mathdsRn), Ω∈B(\mathdsRn) with P(A,Ω)<∞, there hold
Ω∩∂∗A⊂A21 and
[TABLE]
In particular, in the situation of the theorem we infer
Hn−1(Aϑ∩Ω)=0 for all ϑ∈[0,1]∖{0,21,1},
and the equalities ∂∗A∩Ω=A21∩Ω=∂eA∩Ω
and A+∩Ω=(A1∪∂∗A)∩Ω hold up to
Hn−1-negligible sets. Altogether this supports viewing A+ as
measure-theoretic closure and A1 as measure-theoretic interior of A.
Next we discuss basic set operations and corresponding estimates for sets of
finite perimeter.
Lemma 2.9**.**
For A,B∈M(\mathdsRn), Ω∈B(\mathdsRn) with
P(A,Ω)+P(B,Ω)<∞, there holds
[TABLE]
and in particular P(A∩B,Ω)<∞. If either
∣(A∖B)∩G∣=0 or ∣(B∖A)∩G∣=0 or
Hn−1(∂∗A∩∂∗B∩G)=0 holds, then we have
equality in (2.4).
Similarly, for A,S∈M(\mathdsRn), Ω∈B(\mathdsRn) with
P(A,Ω)+P(S,Ω)<∞, there holds
[TABLE]
and in particular P(A∖S,Ω)<∞. If either
∣A∩S∩G∣=0 or ∣G∖(A∪S)∣=0 or
Hn−1(∂∗A∩∂∗S∩G)=0 holds, then we have
equality in (2.5).
Beweis.
We observe that P(A∩B,Ω)<∞ is ensured, for instance, by
applying the basic product rule estimate [1, eq. (3.10)] for
the derivative of \mathds1A∩B=\mathds1A\mathds1B. Now we consider
x∈(A1∪A21∪A0)∩(B1∪B21∪B0). Then
x∈(A∩B)21 necessarily implies that either
x∈A21∩B1 or x∈B21∩A+ holds. In view of
Theorem 2.8 this means ∂∗(A∩B)⊂(∂∗A∩B1)∪(∂∗B∩A+) up to
Hn−1-negligible sets, and via Theorem 2.4 we arrive
at (2.4). In order to discuss equality, one can use the full
statement of De Giorgi’s theorem as provided in
[1, Theorem 3.59] to verify more precisely
∂∗(A∩B)=(∂∗A∩B1)∪(∂∗B∩A1)∪(∂∗A∩∂∗B∩{νA=νB}) up to
Hn−1-negligible sets, where νA and νB denote the generalized
outward unit normals of A and B. Then one reads off that equality occurs
in (2.4) if and only if νA=νB holds Hn−1-a.e. on
∂∗A∩∂∗B∩G, and the latter can be checked to
follow from each of the conditions claimed to be sufficient for equality.
We find worth recording also the following alternative derivation of
(2.4). From the rule for the derivative of composite functions
in [1, Theorem 3.84] we get
[TABLE]
and specifically P(A∩B,Ω)<∞, where
(\mathds1A)∂∗Bint stands for the interior trace of \mathds1A on
∂∗B. Since the trace is {0,1}-valued with value 1 on
A1∩∂∗B and value [math] on
A0∩∂∗B=(A+)c∩∂∗B, with the help of
Theorem 2.4 we obtain
[TABLE]
and arrive once more at (2.4). From these arguments one reads
off that equality occurs in (2.4) if and only if
(\mathds1A)∂∗Bint=1 holds Hn−1-a.e. on
(A+∖A1)∩∂∗B∩G. In view of Theorem
2.8 it is equivalent that (\mathds1A)∂∗Bint=1
holds Hn−1-a.e. on ∂∗A∩∂∗B∩G, and
once more this can be checked to follow from each of the conditions in the
statement.
Finally, the inequality (2.5) is nothing but the inequality
(2.4) for B=Sc.
∎
Also the following combined estimate for the perimeters of union and intersection
is well known.
Lemma 2.10**.**
For A,B∈M(\mathdsRn), Ω∈B(\mathdsRn) with
P(A,Ω)+P(B,Ω)<∞, we have
[TABLE]
and thus in particular P(A∪B,Ω)+P(A∩B,Ω)<∞.
Proofs.
A basic approach is given in the proofs of
[1, Proposition 3.38(d)] and [26, Lemma 12.22], where
the claim is shown for open G by approximating \mathds1A and \mathds1B with smooth
functions. Our claim for arbitrary G∈B(Ω) then follows by
regularity of the perimeter measures.
Alternatively, one may obtain the lemma from the equality
∣Du+∣+∣Du−∣=∣Du∣ for u∈BVloc(U) on open U⊂\mathdsRn
(which in turn results from an approximation argument somewhat similar to the
previously mentioned one). In fact, using the equality for
u\vbox..=\mathds1A+\mathds1B−1 with u+=\mathds1A∩B and u−=1−\mathds1A∪B we
directly obtain P(A∩B,G)+P(A∪B,G)=∣Du+∣(G)+∣Du−∣(G)=∣Du∣(G)≤P(A,G)+P(B,G).
Finally, we find worth recording that the claim can also be derived from the
preceding Lemma 2.9. Indeed, elementary rules for
complements and (2.4) with Bc in place of A and Ac in
place of B yield
[TABLE]
Summing up the original version of (2.4) and the variant just
derived, we arrive at (2.6) once more.
∎
Pseudoconvexity
Pseudoconvexity, a weak version of mean-convexity, has been introduced by
Miranda [31] and will eventually be relevant for us in connection
with the discussion of a basic example. We restate the definition and a first
lemma in versions adapted to our framework.
Definition 2.11** (pseudoconvexity).**
We say that K∈BV(\mathdsRn) is pseudoconvex if it satisfies
[TABLE]
Lemma 2.12**.**
For every pseudoconvex set K∈BV(\mathdsRn), we have
[TABLE]
Beweis.
From (2.6) and the definition of pseudoconvexity, applied with
B=A∪K, we get
[TABLE]
Clearly, a basic feature of pseudoconvexity is that convex sets are
pseudoconvex. Though this may be considered as geometrically quite obvious, we
prefer to sketch at least one possible precise proof.
Every bounded, convex set K∈M(\mathdsRn) with int(K)=∅ satisfies
K∈BV(\mathdsRn) with Hn−1(∂K∖∂∗K)=0 and is
actually pseudoconvex.
Sketch of proof.
The claims K∈BV(\mathdsRn) and
Hn−1(∂K∖∂∗K)=0 follow from
[1, Proposition 3.62]. We now establish the inequality
(2.7) for the convex set K, at first only with the extra
assumption that B is a bounded C1 domain. Indeed, for every
x∈∂K, moving from x in an outward normal direction, we find some
y∈∂B=∂∗B with pK(y)=x for the
nearest-point projection pK:\mathdsRn→K onto
K. This shows ∂K⊂pK(∂∗B).
Then, since pK is a contraction, we get
P(K)=Hn−1(∂K)≤Hn−1(∂∗B)=P(B) as claimed. In
a next step, we weaken the extra assumption to merely
B∈BV(\mathdsRn) and show that (2.7) still applies. To this
end we approximate B with bounded C1 domains Bℓ such that
limℓ→∞P(Bℓ)=P(B) as in [1, Theorem 3.42],
where we can additionally arrange for Kℓ⊂Bℓ with the bounded,
convex sets Kℓ\vbox..={x∈\mathdsRn:dist(x,Kc)>εℓ},
suitable εℓ>0, and limℓ→∞εℓ=0. As we infer
liminfℓ→∞P(Kℓ)≥P(K) by Lemma 2.3, we can
then carry over (2.7) from Kℓ and Bℓ to K and
B as claimed. Finally, we deduce (2.7) in full generality
by approximating B with B∩BR and exploiting the convergence
liminfR→∞P(B∩BR)=P(B) (which in turn results from Lemma
2.3, the estimate
P(B∩BR)≤P(B)+Hn−1(B1∩∂BR), and
∫0∞Hn−1(B1∩∂BR)dR=∣B∣<∞).
∎
Hn−1-a.e. representatives of BV functions
For measurable u:Ω→\mathdsR on open Ω⊂\mathdsRn, by taking the
approximate upper and lower limits in the sense of
[TABLE]
(where as usual sup∅\vbox..=−∞) we obtain two
extended-real-valued Borel functions u+≥u− on Ω. Occasionally we
also work with their arithmetic mean u∗\vbox..=21(u++u−). We record
that, whenever u has value y0∈\mathdsR at a Lebesgue point x0∈Ω (in
the sense that limr↘0∣Br∣−1∫Br(x0)∣u−y0∣dx=0), then
u∗(x0)=u+(x0)=u−(x0)=y0 holds. Hence, it follows from
[1, Corollary 2.23] that in case of u∈Lloc1(Ω) the
representatives u+, u−, u∗ of u coincide a.e. on Ω.
Moreover, as a consequence of the Federer-Volpert theorem (see e.g.
[1, Theorem 3.78]), for u∈Wloc1,1(Ω) the
coincidence u∗=u+=u− stays valid even Hn−1-a.e. on Ω, and
for u∈BVloc(Ω) one has u∗=u+=u− at least Hn−1-a.e. on
Ω∖Ju, while on the approximate jump set Ju
the values u+ and u− correspond Hn−1-a.e. to the two jump values in
the sense of [1, Definition 3.67]. In particular, for
A∈M(\mathdsRn), Ω∈B(\mathdsRn) with P(A,Ω)<∞, we observe that
(\mathds1A)+=\mathds1A+ holds Hn−1-a.e. on \mathdsRn.
1-capacity
A decisive role in at least one central proof of this paper is taken by
1-capacity, also known as BV-capacity, in the sense of the next definition.
Definition 2.14** (1-capacity).**
For an arbitrary set E⊂\mathdsRn, we define
[TABLE]
(with the usual understanding that Cap1(E)=∞ if no such u
exists, as, for instance, in case ∣E∣=∞).
The geometric meaning of 1-capacity is captured by the following result.
Proposition 2.15** (perimeter characterization of 1-capacity).**
For every set E⊂\mathdsRn, we have
[TABLE]
Beweis.
By [6, Theorem 2.1], the claim holds with the inclusion
E⊂H+ replaced either by E⊂int(H) (for any pointwise
representative of H) or by Hn−1(E∖H+)=0. Since we trivially
have E⊂int(H)⟹E⊂H+⟹Hn−1(E∖H+)=0,
the claimed intermediate version of the formula follows. (In fact, taking into
account Lemma 2.7, the claimed version can alternatively be
deduced from the version with Hn−1(E∖H+)=0 only.)
∎
The following result from [16, Section 4] can also be found in
[6, Proposition 2.2(f)] and [15, Theorem 5.12], for
instance (where the latter statement is made for n≥2 and compact sets, but
easily extends to the remaining cases).
Proposition 2.16**.**
For S∈B(\mathdsRn), we have
[TABLE]
Finally, we record a continuity property of weakly differentiable functions,
where our localized claim easily follows from the original statements
established in [16, Section 9, 10] for full-space case.
Alternatively, our statement may be viewed as a consequence of the
semicontinuity property provided by [6, Theorem 2.5]
and the Hn−1-a.e. coincide u∗=u+=u− for W1,1 functions u.
Lemma 2.17** (quasi continuity of a W1,1 function).**
For open Ω⊂\mathdsRn and u∈Wloc1,1(Ω), the
representative u∗ of u is Cap1-quasi continuous, that is, for every
ε>0, there exists an open set E⊂Ω with Cap1(E)<ε such
that u∗ is defined and continuous on Ec.
Strict and Hn−1-a.e. convergence and approximation
Lemma 2.18** (one-sided Hn−1-a.e. approximation of a BV function).**
For every u∈BV(\mathdsRn), there exists a sequence of functions
vℓ∈W1,1(\mathdsRn) such that vℓ+1≤vℓ holds a.e. on
\mathdsRn for all ℓ∈\mathdsN and vℓ∗ converge Hn−1-a.e. on
\mathdsRn to u+. If u is bounded from above, one can additionally achieve
sup\mathdsRnv1≤sup\mathdsRnu.
The main claim of Lemma 2.18 follows, for instance, by
combining [6, Theorem 2.5] and
[9, Lemma 1.5, Section 6]; compare also
[16, Section 4, Section 10]. The additional boundedness assertion can
be obtained by passage to the pointwise minimum of vℓ and sup\mathdsRnu.
Lemma 2.19** **(strong convergence in W1,1 implies Hn−1-a.e.
convergence).
If vℓ converge to v in W1,1(Ω) on an open set
Ω⊂\mathdsRn, then vℓ∗ converge Hn−1-a.e. on Ω
to v∗.
The case Ω=\mathdsRn of Lemma 2.19 is contained in
[16, Section 10] (where in view of Theorem 2.16 we
may use Hn−1 instead of Cap1). Since the claim can be localized, one
may pass to general domains Ω by simple cut-off arguments.
Definition 2.20** (strict convergence in BV).**
We say that a sequence of functions uℓ∈BV(Ω) converges strictly
in BV(Ω) to u∈BV(Ω) if uℓ converge to u in
L1(Ω) with limℓ→∞∣Duℓ∣(Ω)=∣Du∣(Ω).
The following statement slightly adapts the one-sided approximation result of
[6, Theorem 3.3] in order to additionally preserve boundedness
of the support and possibly the function itself.
Lemma 2.21** (one-sided strict approximation of a BV function).**
Consider an open set Ω⊂\mathdsRn and u∈BV(Ω) with
sptu⋐Ω. Then there exists a sequence of functions
vk∈W1,1(Ω) such that vk converge strictly in BV(Ω) to
u with sptvk⋐Ω and vk≥u a.e.
on Ω for all k∈\mathdsN. If u is bounded from above, one can
additionally achieve supΩvk≤max{0,supΩu} for all
k∈\mathdsN.
Beweis.
Since sptu is compact in Ω, there is no loss of generality in
assuming boundedness of Ω. Then, by [6, Theorem 3.3],
there exist wk∈W1,1(Ω) such that wk converge strictly in
BV(Ω) to u with
wk≥u a.e. on Ω for all k∈\mathdsN (where in fact the
convergence in area guaranteed by [6, Theorem 3.3] is even
stronger than the strict convergence of Definition 2.20). We
now fix a cut-off function η∈Ccpt∞(Ω) with
\mathds1sptu≤η≤1 on Ω. Then, for
vk\vbox..=ηwk∈W1,1(Ω) with sptvk⋐Ω, it is
standard to verify that vk still converge strictly in BV(Ω) to u
with vk≥u a.e. on Ω for all k∈\mathdsN. This establishes the main
claim.
If u is additionally bounded, we replace vk already constructed
with min{vk,L} for L\vbox..=max{0,supΩu}. Taking into
account the lower semicontinuity of the total variation, this preserves all
previous properties and additionally ensures boundedness from above by L.
∎
We conclude this subsection with one more lemma which is tailored out for
constructing approximations with suitable smallness conditions on the support in
the proof of the later Theorem 7.6.
Lemma 2.22** (control on the support of strict approximations).**
Consider an open set Ω⊂\mathdsRn. If vk∈W01,1(Ω)
converge to u∈BV(Ω) strictly in BV(Ω) with u≥0 a.e. on
Ω and ∣{u>0}∣<M<∞, then there also exists a modified
sequence of functions wℓ∈W01,1(Ω) such that wℓ still
converge to u strictly in BV(Ω) with wℓ≥0 a.e. on Ω
and ∣{wℓ>0}∣<M for all ℓ∈\mathdsN. Moreover, if all vk are
even in Ccpt∞(Ω), all wℓ can be taken in
Ccpt∞(Ω) as well, and in this case ∣{wℓ>0}∣<M can be
strengthened to ∣sptwℓ∣<M. Finally, if vk converge even in
W1,1(Ω)(and thus to u∈W01,1(Ω)), also wℓ can be
taken to converge in W1,1(Ω).
Beweis.
We first establish the original claim. For fixed ℓ∈\mathdsN we observe
∣{vk>ℓ2}∖{u>ℓ1}∣≤ℓ∥vk−u∥L1(Ω) and deduce
limsupk→∞∣{vk>ℓ2}∣≤∣{u>ℓ1}∣<M. Hence,
for each ℓ∈\mathdsN, we can choose kℓ∈\mathdsN such that in addition to
∥vkℓ−u∥L1(Ω)<ℓ1 and
∥∇vkℓ∥L1(Ω,\mathdsRn)≤∣Du∣(Ω)+ℓ1 we have
∣{vkℓ>ℓ2}∣<M. For the non-negative functions
w_{\ell}\mathrel{\vbox{\hbox{\normalsize.}\hbox{\normalsize.}}}=\big{(}v_{k_{\ell}}{-}\frac{2}{\ell}\big{)}_{+}\in\mathrm{W}^{1,1}_{0}(\Omega), the
previous properties and the non-negativity of u imply via
∥wℓ−u∥L1(Ω)≤ℓ3 and
∥∇wℓ∥L1(Ω,\mathdsRn)≤∣Du∣(Ω)+ℓ1 the
claimed strict convergence of wℓ, and in view of
{wℓ>0}={vkℓ>ℓ2} we additionally get
∣{wℓ>0}∣<M. This completes the main part of the reasoning.
If all vk are even in Ccpt∞(Ω), in order to preserve
smoothness and control the support we slightly modify the choice of
wℓ. In fact, since in this situation {vkℓ≥ℓ3} is
compact in the open set {vkℓ>ℓ2}, we even get
sptwℓ⊂{vkℓ>ℓ2}for a suitable
mollificationwℓ∈Ccpt∞(Ω) of
(vkℓ−ℓ3)+. Then, also exploiting standard estimates for
mollifications, we conclude the reasoning by a straightforward adaptation of
the preceding arguments.
Finally, if the convergence is even in W1,1(Ω), we still argue
in the same way, where the gradients can even be kept L1-close in the
sense of ∥∇vkℓ−∇u∥L1(Ω,\mathdsRn)≤ℓ1.
∎
We remark that essentially the same proof yields versions of Lemma
2.22 for sequences in other spaces, e.g. in
W1,1(Ω) or BV(Ω) instead of W01,1(Ω). However,
since the above version suffices for our later purposes, we do not discuss this
any further.
Normal traces of L∞ vector fields with L1 divergence
We next discuss, for vector fields σ with L1 distributional
divergence, a notion of normal trace on the reduced boundary of a set of
finite perimeter. The considerations are given for the case of a base domain
Ω⊂\mathdsRn which need not necessarily be bounded, and in fact we are
mostly interested in the full-space situation Ω=\mathdsRn.
Definition 2.23** (distributional normal traces).**
Consider an open set Ω in \mathdsRn, a set E∈M(\mathdsRn) with
P(E,Ω)<∞, and a vector field σ∈Lloc1(Ω,\mathdsRn)
with distributional divergence divσ∈Lloc1(Ω). Then we call
the distribution
[TABLE]
on Ω the distributional normal trace (with respect to the outward
normal) of σ on Ω∩∂∗E.
We remark that, spelling out the definition of TrE(σ), we have
[TABLE]
Taking into account the definition of the distributional divergence (or merely
its linearity), we also infer TrE(σ)=−TrEc(σ)=−\mathds1Ecdivσ+div(\mathds1Ecσ) in the sense of
distributions on Ω, that is,
[TABLE]
For boundedσ, the distributional normal trace actually admits
a more concrete representation:
Lemma 2.24** (measure representation of the distributional normal trace).**
Consider an open set Ω in \mathdsRn, a set E of finite perimeter in
Ω, and a bounded vector field σ∈L∞(Ω,\mathdsRn) with
distributional divergence divσ∈Lloc1(Ω). Then TrE(σ) is a
finite signed Radon measure on Ω and satisfies
[TABLE]
Beweis.
We fix φ∈Ccpt∞(Ω) and consider standard mollifications
σε of σ, which are defined on all of sptφ at least for
0<ε≪1. Then from (2.8) and standard properties of
mollifications we deduce
[TABLE]
where specifically in the last step we used the bound
∥σε∥L∞;sptφ≤∥σ∥L∞;Ω. This
implies that TrE(σ) extends to a continuous linear functional on
C00(Ω), which satisfies the resulting estimate ∣⟨TrE(σ);φ⟩∣≤∥σ∥L∞;Ω∫Ω∣φ∣d∣D\mathds1E∣ for arbitrary
φ∈Ccpt0(Ω). An application of the Riesz representation theorem
now identifies TrE(σ) as finite signed Radon measure with
∣TrE(σ)∣≤∥σ∥L∞;Ω∣D\mathds1E∣ as measures on
Ω. Since we have ∣D\mathds1E∣=Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω∩∂∗E)
from Theorem 2.4, the claimed estimate follows.
∎
Lemma 2.24 and the Radon-Nikodým theorem yield the representation
[TABLE]
with a density σ⋅νE∈L∞(Ω∩∂∗E;Hn−1) such
that ∣σ⋅νE∣≤∥σ∥L∞;Ω holds Hn−1-a.e. on
Ω∩∂∗E.
Definition 2.25** (generalized normal traces).**
Consider an open set Ω in \mathdsRn, a set E of finite perimeter in
Ω, and a bounded vector field σ∈L∞(Ω,\mathdsRn) with
distributional divergence divσ∈Lloc1(Ω). Then we call the
density σ⋅νE from (2.10) the generalized normal trace
of σ on Ω∩∂∗E.
In the setting of Definition 2.25, the formulas
(2.8), (2.9) can be recast in form of
the Gauss-Green formulas
[TABLE]
valid for all φ∈Ccpt∞(Ω). If we additionally assume
divσ∈L1(Ω∩E) and ∣Ω∩E∣<∞, then
(2.11) stays valid for bounded functions φ∈C∞(Ω)
with bounded gradient ∇φ and possibly unbounded support
sptφ⊂Ω. This is straightforwardly verified by approximating φ
with ηkφ, where ηk∈Ccpt∞(\mathdsRn) are cut-off functions
with 0≤ηk↗1 and ∣∇ηk∣≤1/k on \mathdsRn. Specifically,
we record for later application that in case Ω=\mathdsRn, we can use
φ≡1 to obtain
[TABLE]
for all E∈BV(\mathdsRn) and all σ∈L∞(\mathdsRn,\mathdsRn) with
divσ∈L1(\mathdsRn).
3 Isoperimetric conditions
In order to conveniently specify assumptions on the measure data we introduce
the following terminology (which for our main results will mostly be needed in
the small-volume version with the optimal constant 1):
Definition 3.1** (isoperimetric conditions).**
Consider a non-negative Radon measure μ on an open set Ω⊂\mathdsRn
and C∈[0,∞). We say that μ satisfies the strong
isoperimetric condition (strong IC) in Ω with constant C if
we have
[TABLE]
We say that μ satisfies the small-volume isoperimetric condition
(small-volume IC) in Ω with constant C if, for every
ε>0, there exists some δ>0 such that we have
[TABLE]
We briefly point out two equivalent reformulations of ICs in Ω, which
will be treated in detail only in Section 7. First, it is
equivalent to require the ICs merely for A⋐Ω or to admit even for
A+⊂Ω instead of A⊂Ω. Second, it is
equivalent to replace μ(A+) in the ICs with μ(A1) (or to use any other
precise representative between A1 and A+ at this point). The latter
possibility is in sharp contrast, however, with the necessity of sticking to
A+ in the μ−-term and to A1 in the μ+-term of the functional
Pμ+,μ−, as explained in the introduction.
We next record some basic properties which are somewhat reminiscent of the
theory of charges discussed e.g. in [33, 5]. However,
as we are not aware of a precise link between our ICs with fixed constant C
and that theory, we work out the details in our framework. We first recall that,
if a finite measure μ is absolutely continuous with respect to the Lebesgue
measure, then the absolute continuity of the integral gives, for every ε>0
some δ>0 such that we have even μ(A+)=μ(A)<ε whenever
∣A∣<δ holds. Therefore, for this type of n-dimensional measures, we
trivially have the small-volume IC condition even with constant [math]. Back to the
general case we now show by a basic covering argument that a measure with IC
cannot have any part of dimension smaller than n−1:
Lemma 3.2**.**
If a Radon measure μ on open Ω⊂\mathdsRn satisfies, for
C∈[0,∞), the small-volume IC in Ω with constant C, then,
for every Hn−1-negligible set N∈B(Ω), we have μ(N)=0.
Beweis.
By inner regularity of μ it suffices to treat an Hn−1-negligible
Borel set N⋐Ω. Consider an arbitrary
ε>0 with corresponding δ>0. By Lemma 2.7,
there exists an open set A (in particular A⊂A+) such that
N⊂A⋐Ω, ∣A∣<δ, P(A)<ε. Bringing in the
IC, we get μ(N)≤μ(A+)≤CP(A)+ε<(C+1)ε. As ε>0 is
arbitrary, this means μ(N)=0.
∎
In other words, measures with IC can only have parts of dimension in
[n−1,n], and for the limit case of (n−1)-dimensional measures we will
actually show in Section 8 that Hn−1-rectifiable measures
satisfy the small-volume IC with constant C if and only if the
(n−1)-dimensional density of μ does not exceed 2C. Moreover, examples
with fractional dimension κ between n−1 and n can be obtained from
the basic observation that a Radon measure μ on \mathdsR satisfies the strong IC
in \mathdsR with constant C if and only if μ(\mathdsR)≤2C holds. In particular,
for every fractal F∈B(\mathdsR) with 0<Hκ(F)≤2C, the measure
Hκ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptF satisfies even the strong IC in \mathdsR with constant C. With
the help of a slicing theory similar to [26, Theorem 18.11] it follows
successively for arbitrary n∈\mathdsN that the product measure
(Hκ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptF)⊗(Ln−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt[0,1]) satisfies the
strong IC in \mathdsRn with constant C. However, since we do not work with such
fractional examples or with slicing elsewhere in this paper, we refrain from
going into details on these issues.
Next, as a technical preparation, which in the sequel ensures finiteness of
our functionals even on unbounded sets A, we record:
Lemma 3.3**.**
Consider a Radon measure μ on open Ω⊂\mathdsRn, which satisfies,
for C∈[0,∞), the small-volume IC in Ω with constant C
or at least satisfies the defining condition (3.2) for one
fixed choice of ε>0 and δ>0. Then, for every A∈BV(\mathdsRn)
with A⊂Ω, we have μ(A+)<∞.
Beweis.
We fix ε and δ such that (3.2) applies. Since we
have ∣A∣<∞ and since t↦∣A∩((t0,t)×\mathdsRn−1)∣ is
continuous, we can divide \mathdsRn into finitely many parallel strips
Si\vbox..=(ti−1,ti)×\mathdsRn−1 with
−∞=t0<t1<t2<…tk−1<tk=∞ such that
∣A∩Si∣<δ holds for i=1,2,…,k. Since we assumed in fact
A∈BV(\mathdsRn), we have P(A∩Si)≤P(A)<∞, and via the IC we
get μ((A∩Si)+)<∞ for i=1,2,…,k. Taking into account
A+⊂⋃i=1k(A∩Si)+, we conclude μ(A+)<∞.
∎
At the end of this section we wish to underline that the small-volume
requirement ∣A∣<δ in (3.2) is absolutely decisive
for our purposes. As a first indication in this direction, we record
that an analogous small-diameter IC, in which the condition
diam(A)<δ substitutes for ∣A∣<δ, does not share
the same desirable features. Indeed, a compacteness argument shows
that the small-diameter IC with any constant C∈[0,∞) for a
non-negative finite Radon measure μ on open Ω⊂\mathdsRn,
n≥2, reduces to the simple requirement that μ is non-atomic
(i.e. μ({x})=0 for all x∈Ω). Hence, in
case333For n=1, in contrast, the small-volume and
small-diameter ICs with constant C∈(0,∞) are in fact
equivalent, since small-length sets of finite perimeter can always be
decomposed into short intervals with disjoint closures. n≥2, the
small-diameter IC admits many measures of dimension strictly smaller
than n−1 and cannot yield any semicontinuity results for the
functionals Pμ+,μ−[⋅;Ω] considered here.
4 Lower semicontinuity on full space
After the preparations of Section 3 we are ready to state,
in extension of Theorem 1.2, our main semicontinuity
result for the full-space case. The result applies under ICs on given
non-negative Radon measures μ+ and μ− on \mathdsRn and yields lower
semicontinuity of a functional Pμ+,μ−, in which μ+ and μ− are each
evaluated on a suitable representative. In fact, this functional is defined by
[TABLE]
for E∈M(\mathdsRn) with at least one of P(E)+μ+(E1) and μ−(E+)
finite. In the sequel we keep Pμ+,μ−[E] well-defined either by
generally requiring finiteness of μ− (in which case P(E) and
μ+(E1) may be finite or infinite) or by drawing on the ICs and Lemma
3.3 to ensure finiteness of all three terms in (4.1) at
least for the restricted class of sets E∈BV(\mathdsRn). We find it worth
pointing out that, whenever the measures μ+ and μ− are singular to
each other, they may be viewed as positive and negative part of a signed Radon
measure μ+−μ−, and we presently consider this the most relevant case.
However, our actual semicontinuity result does not depend on any relation
between μ+ and μ−.
Theorem 4.1** (lower semicontinuity on full space).**
Consider non-negative Radon measures μ+ and μ− on \mathdsRn, which both satisfy
the small-volume IC in \mathdsRn with constant 1. For a set A∞∈M(\mathdsRn),
and a sequence (Ak)k∈\mathdsN in M(\mathdsRn), assume that one of the
following sets of additional assumptions is valid:**
(a)
The measure μ− is finite, and Ak converge to A∞locally in measure on \mathdsRn.
2. (b)
The measure μ− additionally satisfies an almost-strong IC
with constant 1 near ∞ in the sense that, for every ε>0,
there exists some Rε∈(0,∞) such that
[TABLE]
and Ak∈BV(\mathdsRn) converge to A∞∈BV(\mathdsRn)locally in
measure on \mathdsRn.
3. (c)
The sets Ak∈BV(\mathdsRn) converge to A∞∈BV(\mathdsRn)globally in measure on \mathdsRn.
Then we have
[TABLE]
We emphasize that the μ+- and μ−-terms in Theorem 4.1
behave fully dual to each other only for finite measures μ±. In contrast,
in case of infinite measures, the μ−-term features a more subtle interplay
with the perimeter term due to the opposite signs and the resulting
well-definedness and cancellation issues whenever both these terms are infinite
or approach infinity. This is in fact the reason why the settings
(a), (4.2), (c) in the
theorem differ in the assumptions only on μ− and not on μ+. In brief,
the actual differences are that in (a) we assume
finiteness of μ−, that in (4.2) we impose the
almost-strong IC near ∞ on μ−, and that finally in
(c) we have neither finiteness nor any strong IC for μ−,
but in exchange require the convergence of Ak to A∞ in a more
restrictive globalL1 sense. We point out that a finite measure
μ− generally fulfills limR→∞μ−((BR)c)=0 and thus satisfies
(4.2). Thus, the result under (a) is a
special case of the one under (4.2) when disregarding the
marginal point that in (a) we can formally allow infinite
perimeters of Ak and A∞. Nevertheless, we believe that also the much simpler
setting (a) deserves its explicit recording in the above
statement (and in similar ones to follow later on).
Interestingly, having at least one of the extra features from the settings
(a), (4.2), (c) is necessary
for having (4.3), as shown by the following examples with sequences
(Ak)k∈\mathdsN which „loose mass at infinity“.
Example 4.2** (for the failure of lower semicontinuity).**
For n≥2, we consider the infinite Radon measure
[TABLE]
(twice the area measure on two parallel hyperplanes). Then μ−
satisfies the small-volume IC in \mathdsRn with constant 1 by Proposition
A.3 in the appendix, while it satisfies the strong IC in
\mathdsRn and its variant of type (4.2) only with
constant 2, but not with constant 1. Furthermore, for fixed
B∈BV(\mathdsRn−1) with P(B)<2∣B∣<∞(a large ball in \mathdsRn−1,
for instance) and a fixed direction 0=v∈\mathdsRn−1, we consider the
shifted cylinders Ak\vbox..=(B+kv)×[0,1]∈BV(\mathdsRn); see Figure
2 for a basic illustration. Then Ak converge
only locally, but not globally in measure on \mathdsRn to ∅, and from
P(Ak)=2∣B∣+P(B) and μ−(Ak+)=μ−(Ak)=4∣B∣ we deduce
[TABLE]
Thus, lower semicontinuity of P0,μ− fails along this sequence.
For n=1, essentially the same phenomenon occurs for the measure
μ−\vbox..=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt\mathdsZ(with the counting measure H0)
and Ak\vbox..=I+k with any bounded interval I⊂\mathdsR such that
I contains at least two integers.
Before proceeding to the proof of the theorem we add a brief remark on technical
infinite-volume variants of the assumptions in (4.2) and
(c). While the issue is rather marginal and could also be
skipped, we find it worth recording mainly for better comparability with the
later Theorem 6.1.
Remark 4.3**.**
In the settings (4.2) and (c) of Theorem
4.1 we may replace the requirements Ak,A∞∈BV(\mathdsRn) by
Akc,A∞c∈BV(\mathdsRn) together with
min{μ+(Ak1),μ−(Ak+)}<∞ and
min{μ+(A∞1),μ−(A∞+)}<∞.*
Beweis.
From P(Akc)=P(Ak) and P(A∞c)=P(A∞) we see that
Pμ+,μ−[Ak] and Pμ+,μ−[A∞] are still well-defined. With the result for the
setting (a) at hand it suffices to consider the case
μ−(\mathdsRn)=∞. Then, starting from ∣Akc∣<∞ and using
Lemma 3.3 we infer first
μ−((Ak+)c)≤μ−((Akc)+)<∞, then
μ−(Ak+)=∞, then μ+(Ak1)<∞, and finally
Pμ+,μ−[Ak]=−∞ for k≫1. As in the same way we get
Pμ+,μ−[A∞]=−∞, the semicontinuity inequality (4.3) is
trivially valid with −∞ on both sides.
∎
For n≥2, in view of Theorem 2.6 we may express that either
Ak,A∞∈BV(\mathdsRn)(as in the theorem) or
Akc,A∞c∈BV(\mathdsRn)(as in this remark) holds by requiring the
unifying condition ∣AkΔA∞∣+P(Ak)+P(A∞)<∞.
For n=1, the condition ∣AkΔA∞∣+P(Ak)+P(A∞)<∞ includes
further cases, but still semicontinuity remains valid in all of these (as it can be read off from the later proofs or the refined results in Theorems
6.1, 9.1, 9.6 and, in fact, in
the one-dimensional situation can also be proved by much simpler means).
The proof of Theorem 4.1 is approached step by step and
will be finalized only at the end of this section. We start by establishing an
approximation lemma, which is illustrated in Figure 3
and plays a key role.
Lemma 4.4** (good exterior approximation).**
For a non-negative Radon measure μ on \mathdsRn with μ(N)=0 for all
Hn−1-negligible N∈B(\mathdsRn), assume that condition
(3.2) holds in Ω=\mathdsRn for some fixed choice of
ε>0, δ>0, and C∈[0,∞). Then, if a sequence
(Ak)k∈\mathdsN in BV(\mathdsRn) converges globally in measure on \mathdsRn to
A∞∈BV(\mathdsRn), there exists a Borel set S∈BV(\mathdsRn) such that we have
We first treat the main case n≥2. Applying Lemma 2.18
to \mathds1A∞∈BV(\mathdsRn), we find vℓ∈W1,1(\mathdsRn) such that
1≥v1≥v2≥v3≥… holds a.e. on \mathdsRn and vℓ∗
converge Hn−1-a.e. on \mathdsRn to \mathds1A∞+. By assumption on
μ, this convergence holds also μ-a.e. on \mathdsRn. Next, possibly
decreasing δ>0 from the statement, we can assume
C(δ/Γn)nn−1≤ε for the constant Γn of Theorem
2.6. Lemma 2.17 then gives open sets Eℓ in \mathdsRn
with Cap1(Eℓ)<(δ/Γn)nn−1 (and in particular
∣Eℓ∣<∞) such that vℓ∗ is defined and continuous on
\mathdsRn∖Eℓ. From Proposition 2.15 we further obtain
Hℓ∈BV(\mathdsRn) with P(Hℓ)<(δ/Γn)nn−1 such
that Eℓ⊂Hℓ+. By the isoperimetric estimate of Theorem
2.6 we infer
∣Hℓ∣≤ΓnP(Hℓ)n−1n<δ, and via
(3.2) we end up with μ(Hℓ+)≤CP(Hℓ)+ε<C(δ/Γn)nn−1+ε≤2ε. For the following we can thus
record
[TABLE]
Next we observe that P({vℓ>t})<∞ holds for a.e. t∈(0,1) by
Theorem 2.5. Furthermore, with the help of Fatou’s lemma,
again Theorem 2.5, ∣Ak+ΔAk∣=0,
limk→∞∣AkΔA∞∣=0, and vℓ≡1, ∇vℓ≡0 a.e. on A∞ we obtain
[TABLE]
As a consequence, we have
liminfk→∞P({vℓ>t},Ak+)=0 for
a.e. t∈(0,1). Therefore, we can first choose t1∈(0,1) and
then tℓ∈[t1,1) with ℓ≥2 such that we have
[TABLE]
and
[TABLE]
Moreover, since the measure μ has positive mass on at most countably many
level sets444Since vℓ∗ is defined Hn−1-a.e. and then
by assumption also μ-ae, the level sets {vℓ∗=t} are defined
up to μ-negligible sets, and this will suffice for our purposes. Clearly,
one may also agree on a concrete convention such as simply excluding the
non-existence points of vℓ∗ from the level sets. {vℓ∗=t}
with t∈(0,1), the choices can be made such that
μ({vℓ∗=tℓ})=0 for all ℓ∈\mathdsN. Now we introduce the
sets555The sets Uℓ are defined up to single points, since the
non-existence set of vℓ∗ is contained in Eℓ.
[TABLE]
We observe that Uℓ are relatively open in \mathdsRn∖Eℓ with
Uℓ⊂{vℓ∗≥tℓ}∖Eℓ by the
openness of Eℓ and the continuity of vℓ∗ outside
Eℓ. Additionally taking into account μ({vℓ∗=tℓ})=0 and
tℓ≥t1 we can estimate
[TABLE]
Here, in view of v1∈L1(\mathdsRn) and P({v1>t1})<∞, we infer
μ({v1∗>t1}∖E1)≤μ({v1>t1}+)<∞
from Lemma 3.3 and then deduce also
μ({v1∗>t1})≤μ({v1∗>t1}∖E1)+μ(H1+)<∞.
Combining this with the μ-a.e. monotone convergence
vℓ∗→\mathds1A∞+, we infer that the right-hand side
μ({vℓ∗>t1}) in (4.6) converges to
μ({\mathds1A∞+>t1})=μ(A∞+) for ℓ→∞. Therefore, for a
suitably large ℓ∈\mathdsN, which we fix at this point for the remainder of
the proof, we have
[TABLE]
Now we are ready to introduce
[TABLE]
and using Eℓ⊂Hℓ+ we see
[TABLE]
Since Uℓ is relatively open in \mathdsRn∖Eℓ and Eℓ is
open in \mathdsRn, also Uℓ∪Eℓ is open in \mathdsRn, and we can deduce
even
Finally, we observe S={vℓ>tℓ}∪Hℓ up to negligible sets
with {vℓ>tℓ},Hℓ∈BV(\mathdsRn). Thus, by Lemma
2.10 we obtain S∈BV(\mathdsRn) and
P(S,⋅)≤P({vℓ>tℓ},⋅)+P(Hℓ,⋅). Therefore,
involving also (4.5) and (4.4) we can estimate
[TABLE]
At this point, all claims on S are verified.
Finally, in the simpler case n=1 the previous reasoning applies with major
simplifications, which are mostly due to the full continuity of W1,1(\mathdsR)
functions. In particular there is no need to construct Eℓ and Hℓ,
which can be replaced with ∅, and one can directly obtain an open
set S=Uℓ={vℓ∗>tℓ}.
∎
With the lemma at hand, we now proceed to a comparably quick proof of Theorem
1.2 from the introduction, which corresponds to the
setting (c) in Theorem 4.1 in the special case
μ+≡0 and which is here restated as follows.
Proposition 4.5** (L1 lower semicontinuity in case μ+≡0).**
Consider a non-negative Radon measure μ on \mathdsRn which satisfies the
small-volume IC in \mathdsRn with constant 1. Moreover,
assume that Ak∈BV(\mathdsRn) converge globally in measure on \mathdsRn
to A∞∈BV(\mathdsRn). Then we have
[TABLE]
Beweis.
Possibly passing to a subsequence, we can assume that
\lim_{k\to\infty}\big{[}\mathrm{P}(A_{k}){-}\mu(A_{k}^{+})\big{]} exists. We now fix an
arbitrary ε>0. Drawing on Lemma 3.2 and the assumed
IC, we then apply Lemma 4.4 with
the given ε, the corresponding δ, and C=1, and we work with the
corresponding set S∈BV(\mathdsRn). We start by splitting terms in the
sense of the inequality
[TABLE]
Then we use the elementary rule
limk→∞[ak+bk]≥liminfk→∞ak+limsupk→∞bk
for ak,bk∈\mathdsR, valid whenever the limit on the left-hand side exists.
In view of the initial assumption, this leads to
[TABLE]
The terms on the right-hand side of (4.9) are now estimated
separately. For the first term, by an application of Lemma 2.3
on the open set int(S) and the inclusion A∞+⊂int(S) from
Lemma 4.4, we have
[TABLE]
For the second term, the estimate
[TABLE]
also provided by Lemma 4.4, suffices. In order to
control the last term in (4.9), we first record that in view of
A∞+⊂S we get
∣Ak∖S∣≤∣Ak∖A∞∣≤∣AkΔA∞∣ and that
consequently the assumed global convergence implies
limk→∞∣Ak∖S∣=0. This permits the crucial
application of the small-volume IC with constant 1 to Ak∖S
for k≫1, which is now combined with the inclusion
Ak+∖S⊂(Ak∖S)+, Lemma
2.9, and the inclusion S0⊂int(S)c. All in
all, for k≫1, we deduce
[TABLE]
Now we rearrange terms in the resulting estimate and take limits. Then, also
employing the last property from Lemma 4.4, we conclude
[TABLE]
Collecting the estimates (4.9), (4.10),
(4.11), and (4.12) we finally arrive at
[TABLE]
Since ε>0 is arbitrary, with this we have proven the claim (4.8).
∎
Next, essentially by passing to complements, we establish a variant of
Proposition 4.5 with opposite sign convention for the measure
μ. This dual statement is analogous except for the fact that in the dual
case we can allow for local convergence of sets of potentially infinite
perimeter, while in the original case we cannot generally relax the
corresponding global assumptions. In terms of the general Theorem
4.1 this means that we achieve a treatment of the setting
(a) with μ−≡0.
Proposition 4.6** (Lloc1 lower semicontinuity in case μ−≡0).**
Consider a non-negative Radon measure μ on \mathdsRn which satisfies the
small-volume IC in \mathdsRn with constant 1. Moreover, assume that
Ak∈M(\mathdsRn) converge locally in measure on \mathdsRn to
A∞∈M(\mathdsRn). Then we have
[TABLE]
We remark that the deduction of Proposition 4.6 from
Proposition 4.5 is quite straightforward ifAk are
uniformly bounded and thus we can simply take complements in a fixed, suitably
large ball B⊂\mathdsRn (for which we clearly have B∈BV(\mathdsRn) and
μ(B)<∞). However, in general we are not in this situation, and thus in
the following proof we need additional cut-off arguments.
As usual we can assume that \lim_{k\to\infty}\big{[}\mathrm{P}(A_{k}){+}\mu(A_{k}^{1})\big{]}
exists and is finite. Taking into account the sign of the μ-term we can
further assume supk∈\mathdsNP(Ak)<∞, which implies P(A∞)<∞
by Lemma 2.3. Next, by a classical version of the coarea formula
(which can be seen as the case u(x)=∣x∣ in either Theorem
2.5 or Theorem 2.1), for
every R0∈(0,∞) we have
[TABLE]
and thus liminfk→∞Hn−1((Ak0ΔA∞0)∩∂BR)=0
holds for a.e. R∈(0,∞). In addition, the Radon measures
γk\vbox..=P(Ak,⋅)+P(A∞,⋅)+μ satisfy
γk(∂BR)=0 for all but at most countably many
R∈(0,∞). Altogether, this allows to choose radii
Ri∈(0,∞) with limi→∞Ri=∞ such that, for the
corresponding open balls Bi\vbox..=BRi centered at [math], we have
[TABLE]
Here, by successively passing to subsequences of Ak and using a diagonal
sequence argument, the last property can be strengthened to hold with lim
in place of liminf and then also gives
[TABLE]
Now, for arbitrary i∈\mathdsN, we consider the complements Bi∖Ak,
which converge for k→∞ in measure to Bi∖A∞. (Observe here
that indeed local convergence in measure of Ak implies global
convergence in measure of the bounded sets Bi∖Ak.) Hence, by an
application of Proposition 4.5, we get
[TABLE]
We now estimate and rewrite terms in (4.17). On one hand
we exploit (4.14) (which can also be written as
Hn−1(∂∗Ak∩∂Bi)=Hn−1(∂∗A∞∩∂Bi)=0) in order to apply the
equality case of (2.5) in Lemma 2.9. In this
way we derive
[TABLE]
On the other hand, keeping (4.15) in mind, we have
[TABLE]
We plug these findings into (4.17) and are left with
[TABLE]
Adding the finite number μ(Bi) and subtracting the finite number in
(4.16), the inequality reduces to
[TABLE]
At this stage, we further enlarge the terms on the left-hand side and use the
initial assumption on the existence of the limit to get
[TABLE]
Finally, sending i→∞ and taking into account
limi→∞Ri=∞, we arrive at the claim (4.13).
∎
By combining Propositions 4.5 and 4.6 we
are able to treat the global-convergence setting (c) in
Theorem 4.1 in its full generality.
For Ak and A∞ as in the statement, we record that both
Ak∪A∞∈BV(\mathdsRn) and Ak∩A∞∈BV(\mathdsRn) converge globally in
measure to A∞. Then, since we assumed the small-volume IC for both μ+
and μ−, we can apply Proposition 4.5 to Ak∪A∞ and
Proposition 4.6 to Ak∩A∞ to deduce
[TABLE]
We now add these two inequalities and use (2.6) in the
form P(Ak∪A∞)+P(Ak∩A∞)≤P(Ak)+P(A∞) together with
(Ak∪A∞)+=Ak+∪A∞+⊃Ak+ and
(Ak∩A∞)1=Ak1∩A∞1⊂Ak1. Then we end up with
[TABLE]
which by subtraction of P(A∞) yields the claim in (4.3).
∎
Before treating the remaining settings and finalizing the discussion of
semicontinuity on the full space, we record the following localized
semicontinuity property, which comes out from the cut-off argument in the proof
of Proposition 4.6 and a „dual“ variant of this
argument. This localized statement will in fact be very convenient in the
sequel.
Lemma 4.7** (localized semicontinuity).**
Consider non-negative Radon measures μ+ and μ− on \mathdsRn which both
satisfy the small-volume IC in \mathdsRn with constant 1. If Ak∈M(\mathdsRn)
converge to A∞∈M(\mathdsRn) locally in measure in \mathdsRn, then, for every
R∈(0,∞), we have
[TABLE]
Beweis.
We first establish the claim simultaneously for the case μ−≡0, in
which we set μ\vbox..=μ+, and for the case μ+≡0, in which we
set μ\vbox..=μ−. For the case μ−≡0 we can follow quite closely
the lines of the proof of Proposition 4.6, while for the
case μ+≡0 we use an analogous but dual argument based on the
convergence of Ak∩Bi to A∞∩Bi. In the sequel we only point out
the relevant modifications. First of all, we now work with a fixed
R∈(0,∞) and may initially assume existence and finiteness of
\lim_{k\to\infty}\big{[}\mathrm{P}(A_{k},\mathrm{B}_{R}){-}\mu(A_{k}^{+}\cap\mathrm{B}_{R})\big{]} and
\lim_{k\to\infty}\big{[}\mathrm{P}(A_{k},\mathrm{B}_{R}){+}\mu(A_{k}^{1}\cap\mathrm{B}_{R})\big{]}, respectively,
which leads to supk∈\mathdsNP(Ak,BR)<∞ and P(A∞,BR)<∞
(where we have exploited μ(BR)<∞ in case μ+≡0). Then, the
good radii Ri are taken in (0,R) with limi→∞Ri=R, where
in case μ+≡0 the coarea argument is implemented with Ak1 and
A∞1 instead of Ak0 and A∞0 to subsequently achieve
limk→∞Hn−1(Ak1∩∂Bi)=Hn−1(A∞1∩∂Bi) in place of (4.16). The
remainder of the reasoning stays unchanged in case μ−≡0 and in case
μ+≡0 is done with Ak∩Bi and A∞∩Bi instead of
Bi∖Ak and Bi∖A∞ (which slightly simplifies the
handling of the μ-terms). When adapting the final step in the proof of
Proposition 4.6 to the case μ+≡0, we may no
longer pass from −μ(Ak+∩Bi) to −μ(Ak+∩BR) on the
left-hand side by simply enlarging the term, but we can still conclude, as in
view of μ(BR)<∞ we have
limi→∞μ(Ak+∩Bi)=μ(Ak+∩BR) uniformly in k.
Finally, in order to reach the general case, in which both μ+ and μ−
do not vanish, we return to the reasoning used above to prove Theorem
4.1 in the setting (c). The adaptation of this
reasoning to a ball BR is straightforward and exploits
(2.6) in the form
P(Ak∪A∞,BR)+P(Ak∩A∞,BR)≤P(Ak,BR)+P(A∞,BR).
∎
We proceed by addressing the proof of semicontinuity in the settings
(a) and (4.2) of Theorem 4.1.
We only sketch the relevant arguments, since we will later provide further
details in connection with even more general cases contained in Theorem
6.1.
In fact, in order to complete the treatment of the setting (a)
the observation needed is essentially the one that, for finite measures, the
cases μ+≡0 and μ−≡0 are fully dual to each other:
In case μ−≡0 the claim is covered by Proposition
4.6. Moreover, we can move back from this case to the case
μ+≡0 once more by taking complements. Indeed, since we are assuming
μ−(\mathdsRn)<∞, this works rather straightforwardly by exploiting
P(Akc)=P(Ak) and μ−((Akc)1)=μ−(\mathdsRn)−μ−(Ak+) together
with the analogous formulas for A∞c. Alternatively, we can obtain the claim
in the case μ+≡0 by passing R→∞ in the case μ+≡0
of Lemma 4.7. Finally, the general case with non-zero μ+
and μ− can be reached by the same reasoning used under assumptions
(c).
∎
In connection with the setting (4.2) the final key observation
is that the strong IC for μ− keeps cut-off terms
(almost) non-negative and prevents the failure of lower semicontinuity at
∞:
Once more the case μ−≡0 is covered by Proposition
4.6, and once we manage to additionally treat the case
μ+≡0, the general case follows as well. Thus, we now describe yet
another cut-off argument used to deal with the case μ+≡0. As usual
we assume that the liminf in (4.3) is in fact a limit. By Lemma
4.7 we have
[TABLE]
for all R∈(0,∞). For arbitrary ε>0, we claim that we can
choose balls Bi=BRi with Ri∈(Rε,∞) and
limi→∞Ri=∞ such that μ−(∂Bi)=0 and
[TABLE]
hold for all i∈\mathdsN and at least for a subsequence of (Ak)k∈\mathdsN, to
which we pass without reflecting this in notation. Indeed, the condition
μ−(∂Bi)=0 and the convergence of the Hn−1-measures
in (4.19) have already been discussed (see the proofs of
Proposition 4.6 and Lemma 4.7), while the
ε-bound in (4.19) can be achieved by writing out
∣A∞1∣<∞ via the coarea formula in a similar way. From
μ−(∂Bi)=0, the almost-strong IC with constant 1 near ∞
(applicable for Ak∩Bic in view of Ri>Rε), and Lemma
2.9 we get
[TABLE]
Rearranging terms and bringing in (4.19) then gives
control on the terms cut off in the sense of
[TABLE]
To conclude, we add up (4.18) (for R=Ri, BR=Bi) and
(4.20), send i→∞, and finally exploit the
arbitrariness of ε. Then we arrive at (4.3) in the
case μ+≡0.
∎
5 Existence with obstacles or volume-constraints
In this section we apply the preceding semicontinuity results on full \mathdsRn in
proving the existence of minimizers in obstacle problems or volume-constrained
problems for the functional Pμ+,μ− introduced in (4.1).
In fact, for obstacle problems with a.e. obstacle constraint, the existence
proof is mostly straightforward and leads to the following statement.
Theorem 5.1** (existence in obstacle problems).**
For sets I,O∈M(\mathdsRn), n≥2, consider the admissible class
[TABLE]
If there exists some A0∈GI,O at all and if, for non-negative
Radon measures μ+ and μ− on \mathdsRn, which both satisfy the
small-volume IC in \mathdsRn with constant 1, …
(a)
either, μ−(O+)<∞ holds,
2. (b)
or, for some R0∈(0,∞) and some γ∈(0,1], the
measure μ− also satisfies the strong IC666To be fully consistent
with Definition 3.1, which was given on open sets, we should speak
of the IC in {\big{(}\overline{\mathrm{B}_{R_{0}}}\big{)}}^{\mathrm{c}} here. However, since R0 can be
increased, it does not make a difference if we work with
\overline{A}\subset{\big{(}\overline{\mathrm{B}_{R_{0}}}\big{)}}^{\mathrm{c}} or rather simply
A⊂(BR0)c instead. Thus, the slight inconsistency of writing
“in (BR0)c” here and in the following seems justifiable.*
in (BR0)c with constant 1−γ,*
then there exists the minimum of the obstacle problem
[TABLE]
with a minimum value in (−μ−(O+),∞) in case
(a) and in
(−(1−γ)P(BR0)−μ−(BR0),∞) in case
(6).
As a basic case, which illustrates the applicability of
Theorem 5.1, we consider measurable obstacles
I⋐O⊂\mathdsRn and (n−1)-dimensional measures
μ±=θ±Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0}) with
θ+,θ−∈[0,∞). Then indeed, the setting
(a) applies for μ(O+)<∞ (e.g. if O is
bounded) and θ+≤2, θ−≤2, while the setting
(6) covers even fully arbitrary O up to O=\mathdsRn in case
θ+≤2, θ−<2 (but now with θ−=2 excluded).
Specifically for n=2, O=\mathdsR2, θ+=0, one may also identify
minimizers A in the obstacle problem (5.1) in a geometrically
intuitive way, illustrated in Figure 4, as a certain convex
hull of I with an additional θ−-dependent constraint on the angles
at the intersection of ∂A and sptμ−=\mathdsRn−1×{0}.
However, we leave a more detailed considerations on such specific geometric
cases for study elsewhere.
Here, we additionally remark that if we have I=∅ and μ− satisfies
the strong IC even in full \mathdsRn with constant 1−γ, then in view of
Pμ+,μ−[E]≥γP(E) for all E∈BV(\mathdsRn) the situation of the theorem
trivializes insofar that the unique minimizer up to negligible sets in
(5.1) is ∅. However, our settings (a)
and (6) allow for situations which do not trivialize to the
same extent even in the absence of the inner obstacle. To demonstrate
this, we consider I\vbox..=∅, an arbitrary O∈M(\mathdsRn), any
non-empty, bounded, open, convex K∈GI,O, μ+\vbox..≡0, and
the finite measure μ−\vbox..=θHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K with
θ∈[0,∞). Then it can be checked that the obstacle problem in
(5.1) has the unique minimizer ∅ in case θ<1, has
both ∅ and K as minimizers in case θ=1, and has the unique
minimizer K in case θ>1. Here, the measure
μ−=θHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K trivially satisfies the strong IC in
(BR0)c for R0 large enough and by the later Theorem
8.2 satisfies the small-volume IC in \mathdsRn with constant
θ/2, while by the later Proposition 8.1
it satisfies the strong IC in full \mathdsRn only with constant θ. All in
all, this means that the non-trivial cases with θ∈[1,2] are indeed
included in the regimes of (a) and (6)
above, but would not be covered by a statement with the strong IC on full
\mathdsRn.
We first record that A0∈BV(\mathdsRn) implies
μ+(A01)≤μ+(A0+)<∞ by Lemma 3.3, and thus the
minimum value in (5.1) is bounded from above by
P(A0)+μ+(A01)−μ−(A0+)<∞.
for all E∈GI,O, every minimizing sequence
(Ak)k∈\mathdsN for Pμ+,μ− in GI,O satisfies
limsupk→∞P(Ak)<∞. By the standard compactness and
semicontinuity results from Lemmas 2.2 and 2.3, a
subsequence of (Ak)k∈\mathdsN converges locally in measure on \mathdsRn
to some A∞∈M(\mathdsRn) with P(A∞)<∞ and I⊂A∞⊂O up to
negligible sets. Taking into account ∣Ak∣<∞, the isoperimetric
estimate of Theorem 2.6 ensures
limsupk→∞∣Ak∣<∞, and by a basic semicontinuity property we
infer ∣A∞∣<∞ and thus A∞∈GI,O. Then, Theorem
4.1(a), applied with the finite Radon
measure μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptO+ instead of μ−, ensures that the limit A∞
is a minimizer.
Next we turn to the situation (6). Since the strong IC for
μ− in (BR0)c yields
[TABLE]
for all E∈GI,O, again every minimizing sequence (Ak)k∈\mathdsN
for Pμ+,μ− in GI,O satisfies limsupk→∞P(Ak)<∞.
At this stage the arguments given for the the situation (a)
still yield that a subsequence of (Ak)k∈\mathdsN converges locally in
measure on \mathdsRn to some A∞∈GI,O. Finally, by Theorem
4.1(4.2) we conclude that the limit A∞ is
a minimizer.
∎
To conclude the discussion of obstacle problems we remark that a more general
point of view with thin obstacles and Hn−1-a.e. obstacle constraints
(compare [12, 20, 10, 6, 39], for instance) might
be naturally connected to our setting, but we leave such issues for study at
another point.
We now turn to volume-constrained minimization problems for Pμ+,μ−, where the
special case μ≡0 corresponds to the classical isoperimetric problem.
We provide an existence statement for minimizers of Pμ+,μ− at least in case that
μ+ vanishes and μ− is finite.
Theorem 5.2** (existence in prescribed-volume problems).**
Consider a non-negative Radon measure μ on \mathdsRn with μ(\mathdsRn)<∞
and a constant ϱ∈(0,∞). If μ satisfies the small-volume
IC in \mathdsRn with constant 1, then there exists the
minimum of the prescribed-volume problem
[TABLE]
with a minimum value in
{\big{(}{-}\mu({\mathds{R}}^{n}),n\alpha_{n}\varrho^{n-1}\big{]}}.
Here, the bounds for the minimum value leave room for improvement. For instance,
estimating via the isoperimetric inequality we find that the minimum value is in
fact in {\big{[}n\alpha_{n}\varrho^{n-1}{-}\mu({\mathds{R}}^{n}),n\alpha_{n}\varrho^{n-1}\big{]}}. In
addition, let us point out that if μ has bounded support and ϱ is large
enough such that sptμ⊂Bϱ(x) for some x∈\mathdsRn, then
Bϱ(x) is a minimizer and the theorem holds trivially. In the general case,
however, the result is non-trivial and the proof is somewhat involved, since
(subsequences of) minimizing sequences may converge only locally, but not
globally in measure, and in view of a “volume drop” at infinity the limit then
violates the volume constraint and is not admissible as a minimizer. Our
strategy to circumvent this phenomenon is not really new and is vaguely inspired
by considerations of [22, 36], for instance. The basic idea is
to suitably shift volume into a fixed ball, which in our case with
μ+≡0 and μ−(\mathdsRn)<∞ can be implemented with suitable control
on the values of Pμ+,μ− along the sequence. Indeed, in this way we are able to
construct refined minimizing sequences with global convergence in measure and
an admissible limit, which turns out to be a minimizer.
Beweis.
We start with the main case n≥2 and record that Bϱ is admissible with
P(Bϱ)−μ(Bϱ+)≤P(Bϱ)=nαnϱn−1<∞. Taking into
account
[TABLE]
for all admissible A, it is thus clear that every minimizing sequence
(Ak)k∈\mathdsN satisfies limsupk→∞P(Ak)<∞. Using
compactness and semicontinuity and possibly passing to a subsequence, we get
that (Ak)k∈\mathdsN converges locally in measure on \mathdsRn to some
A∞∈BV(\mathdsRn) with ∣A∞∣≤αnϱn.
We next choose good cut-off radii. By Fatou’s lemma, the coarea formula,
and the volume constraint we get
[TABLE]
Thus, there is a sequence of radii Ri∈(2ϱ,∞) with
limi→∞Ri=∞ and
liminfk→∞Hn−1(Ak+∩∂BRi)<i−1 for all
i∈\mathdsN. In particular, for a suitable subsequence (Aki)i∈\mathdsN of
(Ak)k∈\mathdsN, by the local convergence in measure and the preceding choice
of radii we can achieve
[TABLE]
and
[TABLE]
Next, since s↦∣Bs∖Aki∣ is continuous with
∣B0∖Aki∣=0 (where we understand B0\vbox..=∅ from
here on) and ∣Bϱ∖Aki∣=∣Aki∖Bϱ∣≥∣Aki∖BRi∣ (a consequence of ∣Aki∣=∣Bϱ∣), we
can also choose radii ri∈(0,ϱ] such that
[TABLE]
and we will now attempt to produce a modified minimizing sequence without
loss of volume at infinity by removing Aki∖BRi from
Aki and at the same time adding Bri∖Aki for volume
compensation. Indeed, this reasoning works out directly in case of
[TABLE]
but unfortunately (5.4) cannot be ensured in general.
Nonetheless, in the sequel we first complete the proof under the simplifying
assumption (5.4), and we postpone the discussion how to
compensate for a failure of (5.4) to the end of our
reasoning. For now, we use the announced competitors
[TABLE]
which in view of ∣Ei∣=∣Aki∩BRi∣+∣Bri∖Aki∣=∣Aki∩BRi∣+∣Aki∖BRi∣=∣Aki∣ satisfy the
volume constraint. In order to estimate the perimeter of Ei, we first
observe
[TABLE]
and then continue by estimating the first term on the right-hand side. We rewrite
[TABLE]
and then on the basis of ∣Bri∣=∣Bri∩Aki∣+∣Bri∖Aki∣=∣Bri∩Aki∣+∣Aki∖BRi∣ exploit the
isoperimetric inequality (2.3) to deduce
[TABLE]
Further we can control
[TABLE]
Putting together the estimates and collecting the three terms
P(Aki,Bri),
P(Aki,BRi∖Bri),
P(Aki,\mathdsRn∖BRi) simply in P(Aki), we
arrive at
[TABLE]
Here, the middle term on the right-hand side can be rewritten as
P(Aki,∂Bri) and vanishes under the simplifying assumption
(5.4), while the last term on the right-hand side is controlled
by 2i−1 through (5.3). Also bringing in that we have
μ(Ei+)≥μ(Aki+∩BRi)=μ(Aki+)−μ(\mathdsRn∖BRi),
we finally arrive at
[TABLE]
Then, crucially exploiting limi→∞Ri=∞ and
μ(\mathdsRn)<∞, we have limi→∞μ(\mathdsRn∖BRi)=0
and can conclude that with (Ak)k∈\mathdsN also (Ei)i∈\mathdsN is a
minimizing sequence in the volume-constrained problem.
Now, in view of ri≤ϱ for all i∈\mathdsN, by passing to subsequences we can
assume that r\vbox..=limi→∞ri∈[0,ϱ] exists, and we finally
proceed to establish that A∞∪Br is a minimizer in the
volume-constrained problem. To this end we record that
Ei=(Aki∩BRi)∪Bri converge locally in
measure on \mathdsRn to A∞∪Br, since in this local sense we have the
convergences Aki→A∞, BRi→\mathdsRn, Bri→Br. In order to
show admissibility of A∞∪Br, for arbitrary i∈\mathdsN, we split
[TABLE]
and via (5.2), the choice of ri, and the local
convergence in measure Ak→A∞ deduce for the right-hand volumes the
convergences
[TABLE]
This implies that A∞∪Br fulfills the volume constraint
αnϱn=∣A∞∣+∣Br∖A∞∣=∣A∞∪Br∣. Thus, we are in the
position to finally use the semicontinuity in Theorem
4.1777More precisely, one way of reasoning at this point
is to use the semicontinuity assertion from Theorem
4.1(a), which draws on the finiteness of μ
and needs local convergence only. Another way is to rely only on the case
covered in each of Theorem 1.2, Theorem
4.1(c), and Proposition 4.5
on the basis of the observation that the coincidence of volumes
∣Ei∣=αnϱn=∣A∞∪Br∣ improves the local convergence to global
convergence required in these statements. along the
minimizing sequence Ei with limit A∞∪Br and deduce that
A∞∪Br is a minimizer in the volume-constrained problem.
It remains to provide an argument in case (5.4) fails. In this
situation, since P(Aki,∂Bq)=0 holds for all but countably many
q∈(0,∞) (and trivially for q=0), we can pass to
ever-so-slightly-decreased good radii qi∈[0,ri]. However, in view of
the volume constraint we cannot directly use
(Aki∩BRi)∪Bqi as competitors but rather need to
compensate once more for the slight loss of volume. In fact, fixing
arbitrary points xi∈(BRi∖Bri)
with ∣Bδ(xi)∖Aki∣>0 for all δ>0
(such points exist, since ∣Aki∣=αnϱn≤∣B2ϱ∖Bϱ∣<∣BRi∖Bri∣), for every qi∈[0,ri], we
find by continuity some δi∈[0,∞) with
∣Bqi∖Aki∣+∣Bδi(xi)∖Aki∣=∣Bri∖Aki∣. Moreover, if we take qi arbitrarily close
to ri, then in view of ∣Bδ(xi)∖Aki∣>0 for all
δ>0 this results in δi
coming arbitrarily close to [math]. We can thus choose qi∈[0,ri] with
P(Ak,∂Bqi)=0 close enough to ri to ensure for a
corresponding δi∈[0,∞) that δi<i−1 and
Bδi(xi)⋐BRi∖Bri. Then it can
be checked that
[TABLE]
satisfies the volume constraint. Moreover, we can estimate
P(Ei) essentially in the same way as P(Ei), just with an
extra term controlled by
P(Bδi(xi))=nαnδin−1<nαni1−n. In this way
we deduce
[TABLE]
which is still sufficient to conclude that the modified sequence
(Ei)i∈\mathdsN is a minimizing sequence for the
volume-constrained problem. From this point onwards, taking into account
limi→∞∣Bδi(xi)∣=0 the verification of the volume
constraint for A∞∪Br with r=limi→∞ri=limi→∞qi
and the remainder of the reasoning work almost exactly as described before.
Finally, in the case n=1 a similar reasoning with major simplifications
applies, where now each Ak with volume constraint ∣Ak∣=2ϱ can be
represented as a union of finitely many bounded intervals and in particular
satisfies Ak+=Ak and Ak1=int(Ak). Indeed, the beginning
of the reasoning up to the choice of the radii Ri stays essentially
unchanged with (5.3) now simplifying to
±Ri∈/Aki. However, the construction of competitors
with compensated volume vastly simplifies with the need for (5.4)
completely dropping out. In fact, we claim that by choice of an interval
Ii⊂Bϱ⊂BRi (where the balls are also intervals, but for
brevity we keep the B-notation) one can ensure that
[TABLE]
satisfies the constraint ∣Ei∣=2ϱ and the simple bound
P(Ei)≤P(Aki). To prove this claim, first consider the case
∣Aki∩Bϱ∣>0. Then a continuity argument gives an interval
Ii⊂Bϱ with ∣Ii∩Aki∣>0 and
∣Ii∖Aki∣=∣Aki∖BRi∣, and this suffices to
conclude ∣Ei∣=∣Aki∣=2ϱ and
P(Ei)≤P(Aki∩BRi)≤P(Aki) (where the former estimate
holds, since Ii intersects at least one interval of
Aki∩BRi). In case ∣Aki∩Bϱ∣=0 the simple choice
Ii\vbox..=Bri with
ri\vbox..=21∣Aki∖BRi∣∈[0,ϱ] gives
∣Ei∣=∣Aki∣=2ϱ and P(Ii)≤P(Aki∖BRi) (as either
P(Ii)=0=P(Aki∖BRi) or
P(Ii)=2≤P(Aki∖BRi)). Then in view of
±Ri∈/Aki one still gets
P(Ei)≤P(Aki∩BRi)+P(Aki∖BRi)=P(Aki).
With these properties of Ei and the unchanged estimate for μ(Ei+),
one directly infers that (Ei)i∈\mathdsN is a minimizing sequence in the
volume-constrained problem with (after passage to a subsequence) limit
A∞∪I for some interval I⊂Bϱ. As in the case n≥2 one
then concludes that the convergence Ei→A∞∪I looses no volume at
infinity and that A∞∪I is a minimizer.
∎
6 Lower semicontinuity and existence for Dirichlet problems
In this section we adapt the semicontinuity results of Section
4 to a setting with a (generalized) Dirichlet condition on
the boundary of an open set Ω⊂\mathdsRn. To this end we prescribe the
Dirichlet datum by means of a set A0∈M(\mathdsRn) and consider the class
[TABLE]
in which sets of finite perimeter are extended from Ω to (a neighborhood
of) Ω by coincidence with the given A0 outside Ω. In
addition, we prescribe once more measures μ+ and μ−, which in
principle live on Ω, but for which we can indeed express
finiteness on all bounded sets and suitable ICs in a
convenient way by considering them as a Radon measure on all of \mathdsRn such that
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω)c≡0. Given the data A0 and μ± we
then aim at minimizing among all E∈DA0(Ω) the adaptation
of the previously considered functional
[TABLE]
which is defined for E∈M(\mathdsRn) if at least one of
P(E,Ω)+μ+(E1) and μ−(E+) is finite and specifically
for E∈DA0(Ω) with min{μ+(E1),μ−(E+)}<∞.
Here — as customary in the BV setting and essentially required by the lack
of weak closedness of traces — it is tolerated for E∈DA0(Ω)
that ∂E deviates from ∂A0 at ∂Ω, but such
deviations are accounted for by taking the perimeter on Ω and
thus including P(E,∂Ω) in the functional.
With view towards non-parametric Dirichlet problems we will include — to the
extent possible in a general parametric theory — unbounded domains Ω
(e.g. cylinders Ω=D×\mathdsR over open D⊂\mathdsRn−1) and
infinite measures μ± (e.g. product measures
μ±=λ±⊗L1 with finite Radon measures
λ±=λ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptD). Thus, the application of our results
in the case Ω=D×\mathdsR, μ±=λ±⊗L1 is
possible, but nonetheless does not directly yield a satisfactory non-parametric
theory, since in this case the μ-terms in (6.2) are usually
infinite on subgraphs of functions and thus do not detect the finer behavior
of such non-parametric competitors. In this article, we do not
elaborate on this technical point, but indeed we presume that it can be overcome
by first looking at one-sided cases with Ω=D×(z,∞),
μ±=λ±⊗(L1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(z,∞)) with z∈\mathdsR
(which are fully accessible by our means), then normalizing the μ-terms
relative to a zero level or another reference configuration, and finally sending
z→−∞. However, all further details of such a procedure are deferred
for treatment elsewhere.
We now come back to the parametric cases under consideration here and provide our
results in form of a semicontinuity theorem and an existence theorem, which both
apply for the functional in (6.2) inside Dirichlet classes of type
(6.1).
Theorem 6.1** (lower semicontinuity in a Dirichlet class).**
Consider an open set Ω in \mathdsRn, a set A∞∈M(\mathdsRn), a
sequence (Ak)k∈\mathdsN in M(\mathdsRn), and assume that non-negative Radon
measures μ+ and μ− on \mathdsRn with
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω)c≡0 both satisfies the small-volume IC
in \mathdsRn with constant 1. Furthermore, assume that one of the
following sets of additional assumptions is valid:**
(a)
The measure μ− is finite, and Ak converge to A∞locally in measure on \mathdsRn with
Ak∖Ω=A∞∖Ω for all
k∈\mathdsN.
2. (b)
The measure μ− additionally satisfies the almost-strong IC
with constant 1 near ∞ in the sense that, for every ε>0,
there exists some Rε∈(0,∞) with
(4.2), and Ak converge to A∞locally in
measure on \mathdsRn with
∣AkΔA∞∣+P(Ak,Ω)+P(A∞,Ω)<∞,
Ak∖Ω=A∞∖Ω, and min{μ+(Ak1),μ−(Ak+)}<∞ for
all k∈\mathdsN.
3. (c)
The sets Ak converge to A∞globally in measure on \mathdsRn with
P(Ak,Ω)+P(A∞,Ω)<∞,
Ak∖Ω=A∞∖Ω, and
min{μ+(Ak1),μ−(Ak+)}<∞ for all
k∈\mathdsN.
Then we have min{μ+(A∞1),μ−(A∞+)}<∞ and
[TABLE]
Before approaching the proof of Theorem 6.1 we address some
interconnected technical points.
First we remark that the hypotheses
P(Ak,Ω)+P(A∞,Ω)<∞ and
Ak∖Ω=A∞∖Ω of the situations (b)
and (c) can be expressed alternatively as
Ak,A∞∈DA0(Ω) for some A0∈M(\mathdsRn) or — by
considering the limit A∞ itself as the boundary datum — also as
Ak,A∞∈DA∞(Ω). Moreover, introducing, for open
Ω⊂\mathdsRn and A0∈M(\mathdsRn), the subclass
[TABLE]
of DA0(Ω), we may include the additional requirement
∣AkΔA∞∣<∞ by writing Ak,A∞∈FA0(Ω) for
some A0∈M(\mathdsRn) or Ak,A∞∈FA∞(Ω). If there exists some
E0∈FA0(Ω) at all (e.g. if
P(A0,Ω)<∞), we can also rewrite888Indeed, the
alternative characterization of FA0(Ω) results from the
following elementary observations (for Ω,A0,E0 as above). For
E∈M(\mathdsRn), we have
E∖Ω=A0∖Ω⟺EΔE0⊂Ω and also
∣EΔA0∣<∞⟺∣EΔE0∣<∞. Moreover, for E∈M(\mathdsRn) with
EΔE0⊂Ω, in view of
P(EΔE0)=P(EΔE0,Ω) we get
P(EΔE0)<∞⟺P(E,Ω)<∞.
[TABLE]
Furthermore, we record the following generalization of Lemma 3.3,
which is adapted for the class FA0(Ω).
Lemma 6.2**.**
Consider an open set Ω⊂\mathdsRn and a set A0∈M(\mathdsRn). If a
non-negative Radon measure μ on \mathdsRn satisfies the small-volume
IC in \mathdsRn with constant C∈[0,∞), then
μ(E01)<∞ for someE0∈FA0(Ω)
implies in fact μ(E1)<∞ for allE∈FA0(Ω),
and similarly μ(E0+)<∞ for someE0∈FA0(Ω)
implies μ(E+)<∞ for allE∈FA0(Ω).
Beweis.
For E,E0∈FA0(Ω), we have already recorded
EΔE0∈BV(\mathdsRn), and then by Lemma 3.3 we infer
μ(E1ΔE01)≤μ((EΔE0)+)<∞
and μ(E+ΔE0+)≤μ((EΔE0)+)<∞. Therefore,
μ(E01)<∞ implies μ(E1)<∞, and μ(E0+)<∞ implies
μ(E+)<∞.
∎
Next some more remarks on the requirement ∣AkΔA∞∣<∞ are in order.
Remark 6.3** **(on the role of ∣AkΔA∞∣<∞ in Theorem
While most requirements in Theorem 6.1 are natural
and/or resemble features from Theorem 4.1, we find it
worth pointing out that the finite-volume requirement for AkΔA∞
of the setting (b) is automatically satisfied in many
cases, but cannot be omitted in full generality. This is clarified by the
following points, which apply for any open Ω⊂\mathdsRn and
A0∈M(\mathdsRn):**
(i)
*In analogy with Theorem 4.1, in the setting
(a) the requirement ∣AkΔA∞∣<∞ is simply not
necessary. Moreover, in the setting (c) we do not require
∣AkΔA∞∣<∞ explicitly, but have it implicitly *(at least for
k≫1) through the global convergence assumed there.
2. (ii)
If we have n≥2 and Ω is not too close to full space in the sense of
Cap1((Ω1)c)=∞(as it follows from
∣Ωc∣=∞, for instance), then, for
A,E∈DA0(Ω) we always have ∣EΔA∣<∞. Thus, in
this case we have FA0(Ω)=DA0(Ω)
whenever FA0(Ω)=∅, and also in the setting
(b) the condition ∣AkΔA∞∣<∞ is automatically
satisfied and need not be required explicitly.
Beweis.
From EΔA⊂(AΔA0)∪(EΔA0)⊂Ω
we get (EΔA)1⊂Ω1 and
P(EΔA)≤P(E,Ω)+P(A,Ω)<∞.
Then the isoperimetric estimate of Theorem 2.6 yields
min{∣EΔA∣,∣(EΔA)c∣}<∞. In case
∣(EΔA)c∣<∞, however, observing
(Ω1)c⊂((EΔA)1)c=((EΔA)c)+
together with (EΔA)c∈BV(\mathdsRn) we get
Cap1((Ω1)c)<∞ from Proposition 2.15. This
leaves ∣EΔA∣<∞ as the sole possibility.
∎
3. (iii)
If we have n≥2 and Ω is close enough to full space in the
sense of Cap1((Ω)c)<∞(as it follows from
(Ω)c∈BV(\mathdsRn), for instance), then
from Proposition 2.15 we get (Ω)c⊂H+
for some H∈BV(\mathdsRn), and for every E∈M(\mathdsRn) with
P(E,Ω)<∞ either E or Ec is in
BV(Ω). Specifically, for
A,E∈DA0(Ω), the requirement ∣EΔA∣<∞
then means that either A,E∈BV(Ω) or
Ac,Ec∈BV(Ω) holds, and the hypotheses of
the setting (b) can be reformulated
correspondingly.
Proof that either E or Ec is in BV(Ω).
By assumption we have P(E,U)<∞ for an open
U⊃Ω, from which we infer P(E∪H)<∞, since \mathdsRn
is covered by the open sets U and (Ω)c and since
E∪H has finite perimeter in U and even zero perimeter in
(Ω)c. This enforces
min{∣E∪H∣,∣(E∪H)c∣}<∞ once more by Theorem
2.6. In view of ∣H∣<∞ we deduce
min{∣E∣,∣Ec∣}<∞ and consequently either
E∈BV(Ω) or Ec∈BV(Ω).
∎
4. (iv)
In case Cap1((Ω)c)<∞, μ−(\mathdsRn)=∞ the
explicit requirement ∣AkΔA∞∣<∞ cannot be dropped from
the setting (b), since lower semicontinuity fails with
Pμ+,μ−[Ak;Ω]=−∞ for k∈\mathdsN, but
Pμ+,μ−[A∞;Ω]=0, for instance, if we use H from
point (iii) and take
Ak\vbox..=(Bk∪H)c with Akc∈BV(\mathdsRn),
Ak∖Ω=∅ and A∞\vbox..=∅∈BV(\mathdsRn).
5. (v)
For each open Ω⊂\mathdsRn, n≥2, in view of
Ω1⊂Ω at least one of the points
(ii) and (iii) applies, and
sometimes even both apply. For instance, the latter happens for dense
open Ω⊂\mathdsRn with ∣Ωc∣=∞.
The subsidiary claim min{μ+(A∞1),μ−(A∞+)}<∞ is trivially
satisfied in the situation (a) with finite
μ−. It is also satisfied in the situations (b) and
(c), since in these we have Ak,A∞∈FA∞(Ω)
(at least for k≫1) and since we know from Lemma 6.2 that
μ+(Ak1)<∞ even for a single Ak∈FA∞(Ω) implies
μ+(A∞1)<∞ and likewise μ−(Ak+)<∞ implies
μ−(A∞+)<∞.
To shorten notation, in the remainder of this proof we abbreviate
[TABLE]
and we record that, in all three situations, Lemma 4.7 yields
[TABLE]
Moreover, whenever we additionally ensure Ak,A∞∈BVloc(\mathdsRn) for
k≫1, then in view of Ak∖Ω=A∞∖Ω we may subtract
P(Ak,BR∖Ω)=P(A∞,BR∖Ω)<∞
on both sides to arrive at
[TABLE]
Taking these preliminary observations as a starting point, we now deal with
the three situations separately, where throughout we can and do assume that
\lim_{k\to\infty}\big{[}\mathrm{P}(A_{k},\overline{\Omega}){+}\langle\mu_{\pm}\,;A_{k}\rangle\big{]}
exists and is finite.
We first treat the situation (a). Since in this case μ−
is finite, we directly get
limsupk→∞P(Ak,Ω)<∞, and then, using the
lower semicontinuity of the perimeter and
Ak∖Ω=A∞∖Ω, we infer P(Ak,U)+P(A∞,U)<∞ for
k≫1 on a fixed open U⊃Ω. This finding and the
assumption μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω)c=0 open the way to modify Ak and
A∞ away from Ω and ensure that there is no loss of
generality in assuming Ak,A∞∈BVloc(\mathdsRn) for k≫1 and the validity
of (6.4). Trivially estimating on the left-hand side of
(6.4), we deduce, for all R∈(0,∞),
[TABLE]
and then, sending R→∞ and crucially exploiting the finiteness
of μ−, we arrive at the claim (6.3).
Next we turn to the situation (b). From
the assumptions Ak,A∞∈DA∞(Ω) we get
P(Ak,U)+P(A∞,U)<∞ for all k∈\mathdsN on a fixed open
U⊃Ω. Again this means that we may modify Ak and A∞
away from Ω and may assume the validity of
(6.4). For arbitrary ε>0, relying on cut-off arguments
as in the proofs of Proposition 4.6 and Lemma
4.7 we obtain radii Ri∈(Rε,∞) with
limi→∞Ri=∞ and replace (Ak)k∈\mathdsN with one of its
subsequences such that there hold μ−(∂BRi)=0 and
limk→∞Hn−1((AkΔA∞)+∩∂BRi)=0 for all
i∈\mathdsN. We exploit μ−(∂BRi)=0 and bring in the
assumptions AkΔA∞⊂Ω, ∣AkΔA∞∣<∞ and the
assumed almost-strong IC near ∞ (applicable in view of Ri>Rε) in
the decisive estimate
[TABLE]
Taking into account μ−(BRi)<∞, the estimate
(6.5) yields in particular μ−(Ak+ΔA∞+)<∞ and
thus leaves us with the alternative that either μ−(Ak+)=μ−(A∞+)=∞
holds for all k∈\mathdsN or μ−(Ak+)+μ−(A∞+)<∞ holds for all
k∈\mathdsN. In the case μ−(Ak+)=μ−(A∞+)=∞, taking into
account min{μ+(Ak1),μ−(Ak+)}<∞ and
min{μ+(A∞1),μ−(A∞+)}<∞, we necessarily have
μ+(Ak1)+μ+(A∞1)<∞ for all k∈\mathdsN, and (6.3) is
trivially satisfied with value −∞ on both sides. Thus, from here on
we deal with the case μ−(Ak+)+μ−(A∞+)<∞ only. We rearrange
the terms in (6.5), pass k→∞, and involve
limk→∞Hn−1((AkΔA∞)+∩∂BRi)=0 to conclude
[TABLE]
where now all the single terms are finite. Clearly, on the left-hand side we
may replace −μ−(Ak+∖BRi) with
⟨μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(BRi)c;Ak⟩, which is only larger.
Adding up (6.4) (with R=Ri) and this slightly modified
version of (6.6), we get
[TABLE]
for all i∈\mathdsN. We now rewrite
⟨μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptBRi;A∞⟩−μ−(A∞+∖BRi)=μ+(A∞1∩BRi)−μ−(A∞+) on the right-hand side, send i→∞,
and exploit limi→∞Ri=∞. Keeping in mind that
P(A∞,Ω)<∞ and μ−(A∞+)<∞ in the presently
considered case and finally exploiting the arbitrariness of ε, we then
obtain the claim (6.3) also in the situation
(b).
Finally, in order to handle the situation (c) it suffices
to slightly adapt the estimate (6.5) in the reasoning used for
(b). Indeed, now we simply take Ri∈(0,∞) rather
than Ri∈(Rε,∞), and only eventually, given an arbitrary
ε>0, we exploit the global convergence limk→∞∣AkΔA∞∣=0
assumed in (c) to find
[TABLE]
for k≫1. This is enough to establish in the limit k→∞ the
estimate (6.6)999In fact, since in the line of
argument based on (c) the radii Ri do not depend on
ε, one can exploit the arbitrariness of ε earlier in the argument to
deduce the validity of (6.6) in fact even without the
ε-term. — now under the assumptions of (c), but
still only in case μ−(Ak+)+μ−(A∞+)<∞. We can thus carry out
the remainder of the reasoning and establish (6.3) exactly as in
the situation (b).
∎
Exploiting the semicontinuity result in a more or less standard way we obtain
the following existence theorem for the functional in (6.2).
Theorem 6.4** (existence in Dirichlet problems).**
For an open set Ω in \mathdsRn, assume that non-negative Radon measures
μ+ and μ− on \mathdsRn with μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω)c≡0
both satisfy the small-volume IC in \mathdsRn with constant 1. Moreover,
consider A0∈M(\mathdsRn) with
μ+(A01)+P(A0,Ω)<∞, and assume that one of the
following sets of additional assumptions is valid:**
(a)
The measure μ− is finite.
2. (b)
For some R0∈(0,∞) and γ∈(0,1], the measure
μ− additionally satisfies the strong IC in (BR0)c
with constant 1−γ.
Then, for n≥2, there exists the minimum of the (generalized)
Dirichlet problem
[TABLE]
and moreover, in situation (a) with n≥1, there also
exists the minimum of the variant of the problem
[TABLE]
The minimum values in the situation (a) are in
[−μ−(\mathdsRn),∞), and the minimum value in the situation
(b) is in
[−(1−γ)P(A0,Ω)−(1−γ)P(BR0)−μ−(A0+)−μ−(BR0),∞).
In connection with this theorem let us first set clear that the functional
Pμ+,μ−[⋅;Ω] is well-defined on the admissible E.
Indeed, in the situation (a) thanks to the
finiteness of μ− we evidently have
Pμ+,μ−[E;Ω]∈(−∞,∞] for all
E∈DA0(Ω) and a fortiori for
E∈FA0(Ω). Moreover, in the situation
(b) we get from the assumption
μ+(A01)+P(A0,Ω)<∞ and
Lemma 6.2 that μ+(E1)+P(E,Ω)<∞
and consequently Pμ+,μ−[E;Ω]∈[−∞,∞)
hold at least for all E∈FA0(Ω).
We further remark that if only (b) but not
(a) is satisfied (in particular μ−(\mathdsRn)=∞), we
may still consider (6.8) in the form
[TABLE]
where we recall that Pμ+,μ−[E;Ω] is defined for
E∈DA0(Ω) precisely if min{μ+(E1),μ−(E+)}<∞.
However, in fact this does not win much when compared to (6.7),
and thus we have excluded this situation above and only comment on it
briefly. Indeed, in case n≥2, Cap1((Ω1)c)=∞, Remark
6.3(ii) gives
DA0(Ω)=FA0(Ω), and
(6.9) reduces to precisely (6.7) (also keeping in
mind that we have already argued for the finiteness of the μ+-term on
FA0(Ω)). Moreover, in case n≥2,
Cap1((Ω1)c)<∞ we can modify101010In fact,
in view of Cap1((Ω1)c)<∞ there exists H∈BV(\mathdsRn) with
Ωc⊂H up to negligible sets, and the problem under consideration
stays unchanged when replacing A0 with A0∩H, which clearly satisfies
∣A0∩H∣≤∣H∣<∞. A0 inside Ω to ensure ∣A0∣<∞ and
then obtain from Remark 6.3(iii) that the
sets E∈DA0(Ω) split into some with
E∈BV(Ω) and thus E∈FA0(Ω) on one hand
and some with Ec∈BV(Ω) on the other hand. However, in the
case considered it turns out111111The precise reasoning proceeds as follows
and exploits that H∈BV(\mathdsRn) from the previous footnote also satisfies
(Ω)c⊂H1. In case μ+(\mathdsRn)<∞=μ−(\mathdsRn),
from Ec∈BV(Ω) we get first Ec∪H∈BV(\mathdsRn), then
μ−((E+)c)≤μ−((Ec∪H)+)<∞ via Lemma 3.3,
then μ−(E+)=∞, and finally
Pμ+,μ−[E;Ω]=−∞. In case
μ+(\mathdsRn)=∞=μ−(\mathdsRn), essentially the same reasoning leads from
Ec∈BV(Ω) to μ−(E+)=μ+(E1)=∞, and thus
Pμ+,μ−[E;Ω] is undefined. that either
Pμ+,μ−[E;Ω] equals −∞ whenever
Ec∈BV(Ω) or Pμ+,μ−[E;Ω] is
undefined whenever Ec∈BV(Ω). Thus, either
(6.9) is a rather trivial extension of (6.7), or
(6.9) reduces to precisely (6.7) once more.
Beweis.
The admissible classes in both (6.7) and (6.8)
contain A0. Thus, these classes are non-empty, and in view of
μ+(A01)+P(A0,Ω)<∞ the corresponding infima are
in [−∞,∞). Moreover, in view of
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω)c≡0 the problems in (6.7) and
(6.8) remain unchanged if we modify A0 away from
Ω. Hence, we can and do assume A0∈BVloc(\mathdsRn), which
implies that the admissible classes are contained in BVloc(\mathdsRn).
We now focus, for a moment, on the situation (a). In view of
μ−(\mathdsRn)<∞ and
[TABLE]
we find that every minimizing sequence (Ak)k∈\mathdsN in either
(6.7) or (6.8) satisfies
limsupk→∞P(Ak,Ω)<∞.
Next we turn to the situation (b). We can assume
μ−(A0+)<∞, as otherwise A0 with
Pμ+,μ−[A0;Ω]=−∞ clearly minimizes.
For E∈FA0(Ω), since we have ∣EΔA0∣<∞ and
EΔA0⊂Ω, the strong IC yields
[TABLE]
and from this estimate we infer μ−(E+)<∞ and
[TABLE]
Thus, for every minimizing sequence (Ak)k∈\mathdsN in (6.7),
we obtain once more limsupk→∞P(Ak,Ω)<∞.
In any of the cases considered in the statement we further proceed as
follows. Fixing a minimizing sequence (Ak)k∈\mathdsN, from
limsupk→∞P(Ak,Ω)<∞ together with
Ak∖Ω=A0∖Ω we get
limsupk→∞P(Ak,U)<∞ for some open neighborhood U of
Ω and in view of A0∈BVloc(\mathdsRn) also
limsupk→∞P(Ak,BR)<∞ for every R∈(0,∞). By
compactness, a diagonal argument, and lower semicontinuity of the perimeter,
we deduce that a subsequence of (Ak)k∈\mathdsN converges locally
in measure on \mathdsRn to A∞∈DA0(Ω) (with even
P(A∞,U)<∞). In case of problem (6.7) we additionally
involve the isoperimetric estimate of Theorem 2.6 to derive
the subsidiary estimate ∣AkΔA0∣≤ΓnP(AkΔA0)n−1n≤Γn[P(Ak,Ω)+P(A0,Ω)]n−1n,
which implies ∣A∞ΔA0∣<∞ also for the limit A∞ and thus ensures
the admissibility of A∞ and ∣AkΔA∞∣<∞ for all k∈\mathdsN. Finally,
we apply Theorem 6.1(a) in situation
(a) and Theorem 6.1(b) in
situation (b) to conclude that the limit A∞ is a minimizer
in (6.7) and (6.8), respectively (where, as we
recall, in situation (b) we consider (6.7)
only).
∎
7 Properties and reformulations of isoperimetric conditions
In this section we take a closer look at ICs, specifically small-volume ICs,
and equivalent ways to express these conditions. Most (though not really all) of
the results obtained in this regard will find uses in the subsequent sections.
Remark 7.1**.**
Even though we will not work with the observations of this remark any further,
we briefly record that the ε-δ-feature of the small-volume IC
can be reformulated in the following standard way. Given a Radon measure μ
on an open set Ω⊂\mathdsRn, the small-volume IC for μ in
Ω with constant C∈[0,∞) means nothing but the existence of
a modulus ω:[0,∞]→[0,∞] with
limt↘0ω(t)=ω(0)=0 such that we have
[TABLE]
Introducing a modified 1-capacity CK1ω by
CK1ω(S)\vbox..=inf{CP(A)+ω(∣A∣):A∈M(\mathdsRn),S⊂A+,A⊂Ω}(with
understanding inf∅=∞), one may further recast
(7.1) in the (still) equivalent form
[TABLE]
As shown by the next lemma, there is also some flexibility concerning the
precise class of test sets for ICs.
Lemma 7.2**.**
Consider a Radon measure μ on an open set Ω⊂\mathdsRn and
C∈[0,∞). Then the following assertions (where
(a) is exactly the definition of the small-volume
IC in Ω with constant C) are
equivalent:**
(a)
For every ε>0, there exists δ>0 such that
μ(A+)≤CP(A)+ε for all A∈M(\mathdsRn) with
A⊂Ω, ∣A∣<δ.
2. (b)
For every ε>0, there exists δ>0 such that
μ(A+)≤CP(A)+ε for all A∈M(\mathdsRn) with A⋐Ω,
∣A∣<δ.
3. (c)
For every ε>0, there exists δ>0 such that
μ(A+)≤CP(A)+ε for all A∈M(\mathdsRn) with A+⊂Ω,
∣A∣<δ.
The equivalence carries over to corresponding versions of the strong (instead of small-volume) IC.
In the sequel, from this lemma we will only need the equivalence of
(a) and (b), which is trivial for bounded
Ω and results from a simple cut-off argument in general. In order to
prove the equivalence with (c) in the full generality
stated here, we will make crucial use of the fine approximation result
[44, Teorema 2] (which in turn draws on [43, 42]).
In addition, we now show that (b) implies
(a). To this end, we fix ε>0 and consider
A∈M(\mathdsRn) with A⊂Ω, ∣A∣<δ for the
corresponding δ. In view of A∩BR⋐Ω, from
(b) we then get
[TABLE]
where the last estimate can be obtained from Lemmas
2.12 and 2.13, for
instance. In the limit R→∞ we read off μ(A+)≤CP(A)+ε.
Next we prove that (a) implies
(c). For this, we fix again ε>0 and consider
some A∈M(\mathdsRn) with A+⊂Ω, ∣A∣<δ for the
corresponding δ. Clearly, we can additionally assume
P(A)<∞. From the interior approximation result
[44, Teorema 2] we then obtain a sequence of sets Ak∈M(\mathdsRn)
such that
[TABLE]
(where the crucial condition Ak=Ak+ is stated in
[44, Teorema 2] in the equivalent form
Ak0∩∂Ak=∅) and
[TABLE]
In view of Ak=Ak+⊂A+⊂Ω, from
(a) and the preceding properties of Ak we conclude
[TABLE]
Evidently the above conditions imply ⋃k=1∞Ak+⊂A+,
and we now show that, decisively, they also ensure
[TABLE]
Indeed, observing A+∖⋃k=1∞Ak+⊂A+∖Aℓ+⊂(A∖Aℓ)+ for each
ℓ∈\mathdsN, from Proposition 2.15 we first infer
\mathrm{Cap}_{1}\big{(}A^{+}\setminus\bigcup_{k=1}^{\infty}A_{k}^{+}\big{)}\leq\lim_{\ell\to\infty}\mathrm{P}(A\setminus A_{\ell})=0, then by Proposition
2.16 we deduce
{\mathcal{H}}^{n-1}\big{(}A^{+}\setminus\bigcup_{k=1}^{\infty}A_{k}^{+}\big{)}=0, and finally via
Lemma 3.2 we arrive at (7.3). With
(7.3) at hand we can then go to the limit k→∞ in
(7.2) to establish μ(A+)≤CP(A)+ε in the
generality of (c).
For the strong conditions instead of the small-volume ones, the reasoning
works in the same way.
∎
In the specific cases that the measure μ is finite or supported at positive
distance from ∂Ω, we have further characterizations of the
small-volume IC for μ in Ω. Indeed, we can allow test sets A
reaching up to ∂Ω, can pass to the relative perimeter
P(A,Ω), or can even state the condition in a fully localized way. This
is detailed in the next statement, where for notational
convenience121212Indeed, if one considers a Radon measure μ on Ω
and assumes in analogy to Lemma 7.3 either finiteness of
μ or dist(sptμ,Ωc)>0, the extension of μ from Ω to
\mathdsRn by zero is still a Radon measure. This goes without saying for finite
μ, but is true also when requiring dist(sptμ,Ωc)>0, since this
condition improves local finiteness on Ω to finiteness on all
bounded subsets of Ω and thus ensures local finiteness of the
extension. we work with a Radon measure μ defined on full \mathdsRn.
Lemma 7.3**.**
Consider an open set Ω⊂\mathdsRn, a Radon measure μ on \mathdsRn,
and C∈[0,∞). If either μ is finite with
μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0 or μ satisfies dist(sptμ,Ωc)>0,
then the following assertions are equivalent:**
(a)
The measure μ satisfies the small-volume IC in Ω with
constant C.
2. (b)
For every ε>0, there exists δ>0 s.t.
μ(A+)≤CP(A)+ε for all A∈M(\mathdsRn) with
∣A∖Ω∣=0, ∣A∣<δ.
3. (c)
For every ε>0, there exists δ>0 s.t.
μ(A+)≤CP(A,Ω)+ε for all A∈M(\mathdsRn) with
∣A∣<δ.
In the case of finite μ with μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0 one more
equivalent assertion is:**
(d)
For every x∈Ω, there exists rx>0 with
Brx(x)⊂Ω such that μ restricted to Brx(x)
satisfies the small-volume IC in Brx(x) with constant
C.
Here the implications (c)⟹(b)⟹(a)⟹(d) are simple generalities, while the reverse implications
are non-trivial and draw crucially on the assumption that μ is
finite or satisfies dist(sptμ,Ωc)>0. Indeed, setting
hk\vbox..=∑i=1ki1∈\mathdsR, we record that
(b)⟹(c) fails for the
infinite Radon measure μ=2C∑k=1∞δh3k
on \mathdsR with C>0 and Ω=⋃k=1∞(h3k−1,h3k+1), while
(a)⟹(b) and
(d)⟹(a) fail for the same measure
together with Ω=⋃k=1∞(h3k−2,h3k+1) and Ω=\mathdsR,
respectively.
In addition, also the ε-δ-nature of the small-volume IC is crucial
for Lemma 7.3 insofar that the simple implications
(c)⟹(b)⟹(a)⟹(d) carry over by analogy
to a strong-IC case with ε and δ removed, while the reverse
implications do not have analogs there. Indeed, the strong-IC analog of
(b)⟹(c) fails for the
finite Radon measure μ=2C(δ−2+δ2) on \mathdsR together
with Ω=(−3,−1)∪˙(1,3), while the analoga of
(a)⟹(b) and
(d)⟹(a) fail for the same measure
together with Ω=(−3,3)∖{0} and Ω=(−3,3),
respectively.
Furthermore, all counterexamples mentioned here can be easily adapted to work in
\mathdsRn instead of \mathdsR.
As already observed, the implications (c)⟹(b)⟹(a)⟹(d) are straightforward.
Next we prove that (a) implies (c). We
record that d:\mathdsRn→(0,∞), given by
d(x)\vbox..=dist(x,Ωc), is Lipschitz with constant 1 and then
by Rademacher’s theorem satisfies ∣∇d∣≤1 a.e. on
Ω. Moreover, since Ω is open, we have
Ω=⋃t>0{d>t}. Now we consider an arbitrary ε>0. Then, in
case of finite μ with μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0 we can fix a corresponding
t0>0 such that μ({d<t0})<3ε holds, while in
case dist(sptμ,Ωc)>0 we are even in position to ensure
μ({d<t0})=0. In addition, we fix δ>0 such that the standard form
of the small-volume IC in Ω from (a)
applies with this δ and 3ε in place of ε, and we
consider A∈M(\mathdsRn) with ∣A∣<min{δ,3Ct0ε}. Via the
coarea formula of Theorem 2.1 we get
[TABLE]
and can thus choose t∈(0,t0) with
[TABLE]
(where for C=0 an arbitrary t∈(0,t0) suffices). We now cut off portions
of A close to ∂Ω by introducing E\vbox..=A∩{d>t},
for which clearly E⊂{d≥t}⊂Ω and ∣E∣≤∣A∣<δ
hold. Estimating via the choice of t0, the small-volume IC from
(a) (with 3ε in place of ε),
Lemma 2.9, and (7.4), we then arrive at
[TABLE]
Thus, we obtain μ(A+∩Ω)≤CP(A,Ω)+ε in the setting of
(c).
Finally, in case of finite μ with μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0 we show that
(d) implies (c). To this end we fix
once more some ε>0. We then apply Vitali’s covering theorem (see
[29, Theorem 2.8], for instance) to the family of all balls
Br(x) with x∈Ω and r≤rx and exploit μ(Ω)<∞ to
obtain finite number k∈\mathdsN of disjoint balls Bϱi(xi) with
xi∈Ω and ϱi≤rxi for i∈{1,2,…,k} such that it
holds
[TABLE]
Now the assumption (d) guarantees the validity of
(a) on each of the balls
Bϱi(xi)⊂Brxi(xi) with i∈{1,2,…,k} in place
of Ω. Since we have already shown that (a) implies
(c), we also have (c) on each
of these balls. Since the number of balls is finite, this in turn yields a
common δ>0 such that we have
[TABLE]
for all A∈M(\mathdsRn) with ∣A∣<δ and all i∈{1,2,…,k}. In
conclusion, for all A∈M(\mathdsRn) with ∣A∣<δ, we achieve
[TABLE]
where the disjointness of Bϱi(xi) is used in the last step. In this
way we arrive at (c).
∎
As a rather unexpected consequence of Lemma 7.3, we next
derive that the small-volume IC with a fixed constant actually carries over to
the sum of two (or finitely many) mutually singular measures with still the same
constant. Clearly, for the strong IC, one cannot draw an analogous conclusion in
comparable generality.
Proposition 7.4** (small-volume IC for a sum of singular measures).**
Consider non-negative Radon measures μ1, μ2 on \mathdsRn which are
singular to each other in the sense that there exists a decomposition
\mathdsRn=S1∪˙S2 into S1,S2∈B(\mathdsRn) with
μ1(S1c)=μ2(S2c)=0. Further suppose that either μ1 is finite
or dist(sptμ1,sptμ2)>0 holds. Then, if μ1 and μ2 both
satisfy the small-volume IC on \mathdsRn with constant C∈[0,∞), also
μ1+μ2 satisfies the small-volume IC on \mathdsRn with the same constant
C.
From the example in the later Remark
8.3(ii) it becomes clear that the
extra assumptions in the proposition (either one measure is finite or supports
at positive distance) cannot be dropped.
Beweis.
We start with the case that μ1 is finite. Given an arbitrary
ε>0, the finiteness of μ1 together with
μ1(S1c)=μ2(S2c)=0 yields the existence of a compact set
K1⊂S1 and a closed set C2⊂S2 such that
μ1(K1c)+μ2(C2c)≤ε. In view of dist(K1,C2)>0
we can choose disjoint open sets O1⊃K1 and O2⊃C2
and can also ensure dist(C2,O2c)>0. Since the closedness of C2
yields spt(μ2\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptC2)⊂C2, we can then apply
(a)⟹(c)
from Lemma 7.3 on one hand for the finite measure
μ1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptK1, on the other hand for the possibly infinite measure
μ2\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptC2 with dist(spt(μ2\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptC2),O2c)>0 to obtain some
δ>0 such that we have μ1(A+∩K1)≤CP(A,O1)+ε and
μ2(A+∩C2)≤CP(A,O2)+ε for all A∈M(\mathdsRn) with
∣A∣<δ. Consequently, for such sets we also get
[TABLE]
which yields the claim.
The case of dist(sptμ1,sptμ2)>0 is a bit simpler, since we can
directly choose disjoint open sets O1⊃sptμ1 and
O2⊃sptμ2 with dist(sptμ1,O1c)>0 and
dist(sptμ2,O2c)>0. Then, we can apply
(a)⟹(c) from Lemma
7.3 to both μ1=μ1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptO1 and μ2=μ2\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptO2 and conclude the reasoning as before.
∎
In the sequel we record that ICs can be expressed not only with test sets, but
also with test functions and partially in a distributional way. This is detailed
in the following (almost) twin theorems, where the one for the strong-IC case is
a minor variant of known results from [30, Theorem 4.7],
[47, Theorem 5.12.4], [14, Section 2],
[34, Theorem 3.3, Theorem 3.5], [35, Theorem 4.4], while
the adaptation to the small-volume case does not seem to have direct
predecessors in the literature. As a side benefit it turns out in this context
that the measure-theoretic closure A+ can be replaced with the
measure-theoretic interior A1 in the formulation of both types of ICs.
Theorem 7.5** (characterizations of the strong IC).**
For a Radon measure μ on an open set Ω⊂\mathdsRn and a constant
C∈[0,∞), the following assertions are equivalent with each
other:**
(a)
The strong IC holds for μ in Ω with
constant C.
2. (b)
We have μ(A1)≤CP(A) for all A∈M(\mathdsRn) with A⊂Ω and ∣A∣<∞.
3. (c)
We have ∫Ωηdμ≤C∫Ω∣∇η∣dx
for all non-negative functions
η∈Ccpt∞(Ω).
4. (d)
We have μ(N)=0 for all Hn−1-negligible N∈B(Ω) and
∫Ω∣v∗∣dμ≤C∫Ω∣∇v∣dx for all
v∈W01,1(Ω).
5. (e)
We have μ=divσ in the sense of distributions on Ω for
some vector field σ∈L∞(Ω,\mathdsRn) with
∥σ∥L∞(Ω,\mathdsRn)≤C.
Theorem 7.6** (characterizations of the small-volume IC).**
For a Radon measure on an open set Ω⊂\mathdsRn and a constant
C∈[0,∞), the following assertions are equivalent with each other:**
(a)
The small-volume IC holds for μ in Ω
with constant C.
2. (b)
For every ε>0, there exists some δ>0 such that we have
μ(A1)≤CP(A)+ε for all A∈M(\mathdsRn) with A⊂Ω and ∣A∣<δ.
3. (c)
There exists a modulus ω:[0,∞)→[0,∞] with
limt↘0ω(t)=ω(0)=0 such that we have
\int_{\Omega}\eta\,\mathrm{d}\mu\leq C\int_{\Omega}|\nabla\eta|{\,\mathrm{d}x}+\omega\big{(}|\operatorname{spt}\eta|\big{)}
for all η∈Ccpt∞(Ω) with 0≤η≤1 on
Ω.
4. (d)
We have μ(N)=0 for all Hn−1-negligible N∈B(Ω),
and, for every ε>0, there exists some δ>0 such that we have
∫Ω∣v∗∣dμ≤C∫Ω∣∇v∣dx+εsupΩ∣v∣
for all v∈W01,1(Ω)∩L∞(Ω) with
∣{v=0}∣<δ.
In addition, the subsequent property at least implies each of the
preceding ones:**
(e)
We have μ=HLn+divσ in the sense of distributions on
Ω for some vector field σ∈L∞(Ω,\mathdsRn) with
∥σ∥L∞(Ω,\mathdsRn)≤C and some function
H∈L1(Ω).
Here, the extra terms distinguishing Theorem 7.6 from Theorem
7.5 have been incorporated in slightly different forms, but
indeed the formulations are to some extent interchangable. However, a subtlety
related to Lemma 2.22 is that in condition
(d) it seems decisive to require smallness for
∣{v=0}∣ (or alternatively for any Lp norm of v), but not in
fact for ∣sptv∣.
In the sequel we first detail the proof of Theorem 7.6 and then
comment on the necessary adaptations needed to cover the case of Theorem
7.5 as well.
Since we have A1⊂A+ by definition, it is clear that
(a) implies (b).
We start by proving that (b) implies
(c). We denote by δi>0 the value of
δ which corresponds to ε=i1 in (b), we
assume δi+1<δi for i∈\mathdsN, and we choose the modulus
ω\vbox..=∑i=1∞i1\mathds1[δi+1,δi)+∞\mathds1[δ1,∞).
We now consider η∈Ccpt∞(Ω) with 0≤η≤1 on Ω.
If η vanishes identically or we have
∣sptη∣≥δ1, the claim is trivially valid. Otherwise
we henceforth fix i∈\mathdsN with ∣sptη∣∈[δi+1,δi) and
thus ω(∣sptη∣)=i1. We observe that {η>t} is open and
thus {η>t}⊂{η>t}1 holds for all t∈\mathdsR. Then, via a
layer-cake type rewriting, the estimate from (b) for
{η>t}⋐Ω with ∣{η>t}∣<δi, and the coarea formula
of Theorem 2.5 we get
Next we verify that (c) implies
(d). In order to show μ(N)=0 for an
Hn−1-negligible N∈B(Ω), we slightly adapt the proof of Lemma
3.2. Indeed, we can assume N⋐Ω. Given ε>0,
Lemma 2.7 yields an open A with N⊂A⋐Ω,
∣A∣<ε, P(A)<ε, and by mollifying the \mathds1A we obtain
η∈Ccpt∞(Ω) with \mathds1N≤η≤1 on Ω,
∣sptη∣<ε, and ∫Ω∣∇η∣<ε. Exploiting the
estimate from (c) for this η, we find
μ(N)<Cε+sup[0,ε)ω. As ε>0 is arbitrary, we end up with
μ(N)=0. We now derive the main inequality in
(d). Given ε>0 we fix δ>0 such
that sup[0,δ)ω≤ε. We consider
v∈W01,1(Ω)∩L∞(Ω) with
∣{v=0}∣<δ and may additionally assume supΩ∣v∣=1. We
record ∣v∣∈W01,1(Ω)∩L∞(Ω) with
∣∇∣v∣∣=∣∇v∣ a.e. and choose
ηk∈Ccpt∞(Ω) with 0≤ηk≤1 on Ω such that
ηk converge to ∣v∣ in W1,1(Ω). Involving
∣{∣v∣>0}∣=∣{v=0}∣<δ and drawing on Lemma 2.22
we can modify the sequence (ηk)k∈\mathdsN such that we additionally have
∣sptηk∣<δ for all k∈\mathdsN. Moreover, we infer from Lemma
2.19 that ηk converge to ∣v∣∗=∣v∗∣
also Hn−1-a.e. on Ω, and by the preceding this convergence holds
μ-a.e. on Ω as well. Hence, via Fatou’s lemma and the estimate in
(c) we find
We turn to the implication from (d) back to
(a). We consider ε>0, the corresponding δ
from (d), and a set A∈BV(\mathdsRn) with
A⋐Ω and ∣A∣<δ. Then, by Lemma
2.21 applied with u=\mathds1A, we can find
vk∈W01,1(Ω) with \mathds1A≤vk≤1 a.e. on Ω for all
k∈\mathdsN such that vk converge strictly in BV(Ω) to \mathds1A. Observing
∣{\mathds1A>0}∣=∣A∣<δ, we next apply Lemma 2.22 with
u=\mathds1A to modify the sequence and achieve additionally ∣{vk>0}∣<δ
for all k∈\mathdsN. Taking into account that ηk∗≥(\mathds1A)+=\mathds1A+
holds Hn−1-a.e., we deduce
[TABLE]
By Lemma 7.2 this suffices to ensure the small-volume
IC in Ω with constant C
Finally, we prove that (e) implies
(c). Given σ and H as in
(e), by absolute continuity of the integral,
there exists ω:[0,∞]→[0,∞] with
limt↘0ω(t)=ω(0)=0 such that
∫A∣H∣dx≤ω(∣A∣) holds for all A∈B(Ω). Using
this together with the definition of the distributional divergence, we
estimate
[TABLE]
for every η∈Ccpt∞(Ω) with 0≤η≤1 on Ω.
∎
Theorem 7.5 is in most regards a special case of Theorem
7.6, the only true addition being the fact that we can also get
back from (a), (b),
(c), (d) to
(e). Consequently, we can keep the proof comparably brief:
The implications (a)⟹(b),
(b)⟹(c),
(c)⟹(d),
(d)⟹(a),
(e)⟹(c)
in Theorem 7.5 can be proved along the lines of
the corresponding implications in Theorem 7.6.
In fact, one can drop from the reasoning all arguments and terms with ε,
ω, H as well as the requirements η≤1, v∈L∞(Ω),
while at the same time weakening all δ-smallness conditions to merely
finiteness conditions. This leads to some simplifications, for instance, Lemma
2.22 is no longer needed. However, we refrain from discussing
any further details in this regard.
Rather to conclude the proof we address the implication
(d)⟹(e), which
follows from (a homogeneous version of) the duality
(W01,1)∗=W−1,∞ and, in more concrete terms, from the
following reasoning. Consider the closed subspace
X\vbox..={∇η:η∈W01,1(Ω)} of
L1(Ω,\mathdsRn) with the L1-norm. Then the assumption
(d) gives that the linear functional
∇η↦∫Ωη∗dμ is an element of norm ≤C
in the dual X∗. By the Hahn-Banach theorem, this functional extends
to an element of norm ≤C in L1(Ω,\mathdsRn)∗, and by the Riesz
duality (L1)∗=L∞ there exists some
σ∈L∞(Ω,\mathdsRn) with
∥σ∥L∞(Ω,\mathdsRn)≤C such that
[TABLE]
Specifying this conclusion to η∈Ccpt∞(Ω), we obtain
μ=divσ in the sense of distributions on Ω.
∎
8 Isoperimetric conditions for perimeter measures and
rectifiable measures
We begin this section by checking the validity of the strong IC in an
already-mentioned basic case, namely for the perimeter measure of a pseudoconvex
set. In view of the preceding results this can be implemented
conveniently by checking the variant of the IC with the representative A1
instead of A+.
Proposition 8.1** (strong IC for perimeters measures of pseudoconvex sets).**
For every pseudoconvex set K∈BV(\mathdsRn), the perimeter measure
Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗K satisfies the strong IC in \mathdsRn with
constant 1 and in case ∣K∣>0 does not satisfy the strong IC in \mathdsRn with
any smaller constant.
Beweis.
By Theorems 2.4 and 2.8 together with Lemma
2.12, we infer
[TABLE]
By Theorem 7.5 this means that Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K
satisfies the strong IC in \mathdsRn with constant 1. As moreover the equality
(Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K)(K+)=P(K) occurs for the test set K itself,
the constant 1 is optimal in case ∣K∣>0 (in which we have P(K)>0 as
well).
∎
We stress that the pseudoconvexity assumption in Proposition
8.1 cannot be dropped, as already for n=2
and a bounded, smooth, open, but non-convex K⊂\mathdsR2 one finds with
(H1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K)(C(K))=P(K)>P(C(K)) for the
closed convex hull C(K) of K that the strong IC fails for
H1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂K. In contrast to this, however, we show with the next (and
much more interesting) results that the small-volume IC is independent of
geometric properties such as convexity of an underlying set and indeed admits a
much wider class of admissible measures.
Theorem 8.2** (small-volume IC for general perimeter measures).**
For every E∈M(\mathdsRn) with P(E)<∞, the double perimeter measure
[TABLE]
can be expressed in the form μ=HLn+divσ in D′(\mathdsRn)
with a sub-unit L∞ vector field σ on \mathdsRn and a function
H∈L1(\mathdsRn). Consequently, μ satisfies all properties in
Theorem 7.6 on Ω=\mathdsRn and in particular satisfies
the small-volume IC in \mathdsRn with constant 1, that is, for every ε>0,
there is some δ>0 such that
[TABLE]
We would like to highlight that the small-volume IC reached in the theorem
trivially carries over to μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS with any subset
S∈B(∂∗E) and even more generally to
μ=αHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E with any [0,2]-valued Borel
density α:∂∗E→[0,2] on ∂∗E. Thus, we
have identified a reasonably broad class of (n−1)-dimensional measures for
which the central assumption of our semicontinuity and existence results
holds. Beyond that a further broadening of the class will be achieved in
Corollary 8.4, and the optimality of the upper bound
2 for the density α will be established in Proposition
8.5.
Beweis.
In the case n=1, the boundary ∂∗E consists of
finitely many points. Then, for μ=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E, the claim
μ=HL1+σ′ follows trivially by taking any
sub-unit σ∈BV(\mathdsR) which is smooth on (∂∗E)c
and jumps from −1 to 1 at each point of ∂∗E so that
σ′=−HL1+2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E with
H∈L1(\mathdsR). (In fact, if ∂∗E⊂(a,b) for a bounded
interval (a,b), one may take σ linear on each component of
(a,b)∖∂∗E and σ≡0 on
(a,b)c.)
In the case n≥2, from Theorem 2.6 we get
E∈BV(\mathdsRn) or Ec∈BV(\mathdsRn), where in view of
P(Ec,⋅)=P(E,⋅) and
∂∗Ec=∂∗E it suffices to treat the case
E∈BV(\mathdsRn). By results of Barozzi & Gonzalez & Tamanini
[3] and Barozzi [2] (see specifically
[2, Remark 2.1, Theorem 2.1] or alternatively
[23, Section 2]), there exists an optimal L1 variational
mean curvature HE of E, that is, a function HE∈L1(\mathdsRn) with
∫EHEdx=P(E)=−∫EcHEdx and thus ∫\mathdsRnHEdx=0 such
that
[TABLE]
We apply this to F and Fc and exploit P(Fc)=P(F) and
∫FcHEdx=−∫FHEdx to deduce
[TABLE]
This estimate can be read as a strong IC for HELn, but at this point is not
perfectly in line with the previous considerations in this paper, which
would rather require separate conditions on (HE)+Ln and (HE)−Ln.
Nonetheless, most of the arguments used for Theorems 7.5
and 7.6 still apply, and we now give a brief rereading
in the present situation in order to eventually reach a divergence structure
HE=divσE. Indeed, for η∈Ccpt∞(\mathdsRn), with the help
of a layer-cake formula and the coarea formula of Theorem 2.5
we find P({η>t})<∞ for a.e. t∈\mathdsR and
[TABLE]
Consequently, if we consider the subspace
X\vbox..={∇η:η∈Ccpt∞(\mathdsRn)} of L1(\mathdsRn,\mathdsRn)
with the L1-norm, the functional ∇η↦∫\mathdsRnηHEdx
is a sub-unit element in X∗ and extends to a sub-unit element in
L1(\mathdsRn,\mathdsRn)∗ by virtue of the Hahn-Banach theorem. The duality
(L1)∗=L∞ then yields some σE∈L∞(\mathdsRn,\mathdsRn) with
∥σE∥L∞(\mathdsRn,\mathdsRn)≤1 such that
∫\mathdsRnηHEdx=−∫\mathdsRnσE⋅∇ηdx holds for all
η∈Ccpt∞(\mathdsRn), in other words, it gives a sub-unit L∞
vector field σE on \mathdsRn with
[TABLE]
Exploiting E∈BV(\mathdsRn) and the Gauss-Green formula
(2.13) we then infer
[TABLE]
for the generalized normal trace σE⋅νE introduced in Definition
2.25. This improves the Hn−1-a.e. inequality
∣σE⋅νE∣≤1 on ∂∗E to the Hn−1-a.e. equality
[TABLE]
We next introduce the modifications
[TABLE]
and
[TABLE]
of σE and HE and record that σ and H are still a
sub-unit L∞ vector field and an L1 function on \mathdsRn. Then,
for arbitrary φ∈Ccpt∞(\mathdsRn), the Gauss-Green formulas
(2.11), (2.12) (here used for σE with
divσE=HE∈L1(\mathdsRn) on Ω=\mathdsRn) yield
[TABLE]
In conclusion we have
[TABLE]
or in other words μ=HLn+divσ in the sense of distributions on
\mathdsRn. Thus, all the claims follow directly from Theorem
7.6.
∎
Remark 8.3** (on infinite perimeter measures).**
If E∈BVloc(\mathdsRn)∖BV(\mathdsRn) has only locally finite, but not
finite perimeter, the following examples show that 2P(E,⋅)may or may not satisfy the small-volume IC with constant 1.
(i)
On one hand, if E is a half-space or the infinite strip between
two parallel hyperplanes, for instance, then 2P(E,⋅) satisfies
the small-volume IC with constant 1; see Proposition
A.3.
2. (ii)
On the other hand, if we consider n=1 and the union of intervals
Eℓ\vbox..=⋃k=2ℓ∞⋃i=1ℓ(k+k2i−1,k+k2i),
with arbitrary fixed ℓ∈\mathdsN, then P(Eℓ,⋅)
consists of groups of 2ℓ Dirac measures concentrated on shorter and
shorter intervals, and thus 2P(Eℓ,⋅) satisfies the
small-volume IC with constant ℓ2 at most (but no larger constant). This example can be adapted to higher
dimensions either simply by taking
Eℓ×(0,1)n−1⊂\mathdsRn or by considering
⋃i=1ℓ{(x′,xn)∈\mathdsRn−1×\mathdsR:f2i−1(x′)<xn<f2i(x′)},
where f1<f2<…<f2ℓ are smooth functions
\mathdsRn−1→\mathdsR with lim∣x′∣→∞fj(x′)=0.
Next, as announced, we address a further extension of Theorem
8.2:
Corollary 8.4** (small-volume IC for rectifiable Hn−1-measures).**
If S∈B(\mathdsRn) is Hn−1-finite and countably Hn−1-rectifiable
(in the sense that Hn−1(S)<∞ and
Hn−1(S∖⋃j=1∞fj(\mathdsRn−1))=0 for Lipschitz
mappings fj:\mathdsRn−1→\mathdsRn), then the measure 2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS
satisfies the small-volume IC in \mathdsRn with constant 1.
Beweis.
It follows from [1, Proposition 2.76] that we have
Hn−1(S∖⋃j=1∞Kj)=0 for countably many
compact subsets Kj⊂Γj of Lipschitz-(n−1)-graphs Γj
in the sense of [1, Example 2.58]. Clearly, we have
Kj⊂∂∗Ej for some Ej∈BV(\mathdsRn) (which can
be obtained by suitably cutting off the subgraphs of the Lipschitz functions,
for instance). From Theorem 8.2 we have that
2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptKj′ with Kj′\vbox..=Kj∖⋃i=1j−1Ki for
j∈\mathdsN satisfies the small-volume IC in \mathdsRn with constant 1. In a next
step we use Proposition 7.4 and the finiteness of these
measures to conclude that
2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt⋃j=1kKj=∑j=1k2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptKj′ with
k∈\mathdsN satisfies this condition as well. Given an
arbitrary ε>0, in view of Hn−1(S)<∞ we can fix first
k∈\mathdsN with Hn−1(S∖⋃j=1kKj)≤2ε
and then δ>0 such that
2Hn−1(A+∩⋃j=1kKj)≤P(A)+2ε holds for all
A∈M(\mathdsRn) with ∣A∣<δ. By combination of these properties we obtain
in fact 2Hn−1(A+∩S)≤P(A)+ε, that is, the small-volume IC
holds for 2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS in \mathdsRn with constant 1.
∎
Finally, we establish a converse to Theorem 8.2 and
Corollary 8.4.
Proposition 8.5** (necessity of the upper density bound 2 for the small-volume IC).**
If S∈B(\mathdsRn) is countably Hn−1-rectifiable and
αHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS with α∈Lloc1(\mathdsRn;Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS)
satisfies the small-volume IC with constant 1, then necessarily
α≤2 holds Hn−1-a.e. on S.
Beweis.
We assume, for a proof by contradiction, that α>2 holds on a
non-Hn−1-negligible subset of S, and similar to the preceding proof
we infer from [1, Proposition 2.76] that
Hn−1(S∖⋃j=1∞Γj)=0 holds for countably many
Lipschitz-(n−1)-graphs Γj over hyperplanes πj in \mathdsRn.
Then, we can also find a compact subset G of S∩Γj0, for some
fixed j0∈\mathdsN, with Hn−1(G)>0 such that α≥2+4ε/Hn−1(G)
holds Hn−1-a.e. on G for some ε>0. Since G is compact, there
exists an open neighborhood U of G in Γj0 such that U is a
Lipschitz-(n−1)-graph over an open BV set in the hyperplane
πj0 with Hn−1(U)<Hn−1(G)+ε. Next, for the ε>0
already fixed, we consider the corresponding δ>0 from the
IC, and we choose ℓ>0 small enough that the “width-2ℓ thickening”
A\vbox..=⋃t∈(−ℓ,ℓ)(U+tνj0)∈BV(\mathdsRn) of U in
the normal direction νj0 of πj0 satisfies ∣A∣<δ and
P(A)<2Hn−1(U)+ε. Then the previous estimates combine to
P(A)<2Hn−1(G)+3ε, and in view of G⊂S and
G⊂U⊂A+ we arrive at
[TABLE]
This, however, contradicts the assumed small-volume IC for
αHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS.
∎
9 Lower semicontinuity on general domains
Once more we consider non-negative Radon measures μ+ and μ− on \mathdsRn
and define a functional of the previously considered type over arbitrary
D∈B(\mathdsRn) by setting
[TABLE]
whenever for A∈M(\mathdsRn) at least one of P(A,D)+μ+(A1) and
μ−(A+) is finite. Our aim in this section is to complement the
semicontinuity results of Section 4 for the full-space functional
Pμ+,μ−=Pμ+,μ−[⋅;\mathdsRn] and the ones of Section 6 for
(generalized) Dirichlet classes with local semicontinuity results, which do not
involve boundary conditions and apply for Pμ+,μ−[⋅;D] with
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptDc≡0 over arbitrary (measure-theoretically) open sets D.
In order to single out basic lines of our approach we point out directly that in
spite of requiring μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptDc≡0 we keep working with Radon measures
μ± on all of \mathdsRn and impose ICs on these measures in all of \mathdsRn
rather than using ICs in the sense of Definition 3.1 on open domains
D=Ω. In particular, our measures μ± are
necessarily finite in cases with bounded D (by definition of a Radon measure
on \mathdsRn) and more generally whenever Cap1(D)<∞ (by Proposition
2.15 and Lemma 3.3). One reason for proceeding in this
way is that the full-space viewpoint is convenient in order to apply the
previously achieved results and at least in case of finite
measures μ± on open Ω=D is not truly restrictive, as in fact the
small-volume ICs in Ω and in \mathdsRn are even equivalent by Lemma
7.3. Moreover, for cases with infinite measures
μ− concentrated on domains D with Cap1(D)=∞ the following example
suggests that working with ICs in all of \mathdsRn is even more appropriate for
semicontinuity. Indeed, we consider for n=1 an open domain
Ω=⋃m=1∞Ωm, where Ωm are disjoint and each
Ωm is itself a disjoint union of a group of m open intervals all
placed inside an interval of length 2−m. Correspondingly we consider a
countable set S⊂\mathdsR which contains precisely one point in each interval
of each group Ωm and the infinite Borel measure
μ−=2∑x∈Sδx=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptS on Ω. Then μ− satisfies
even the strong IC131313In some cases (actually whenever Ω is bounded
and, more generally, whenever S has an accumulation point in \mathdsR), the given
measure μ− is infinite already on some bounded sets and hence is only a
Borel measure, but not a Radon measure on all of \mathdsR. Regardless of that we
here understand that ICs for this measure are defined just as usual via
(3.1) and (3.2) from Definition 3.1. with
constant 1 in Ω, but does not satisfy the strong or even small-volume
IC with any constant in all of \mathdsR. Moreover,
P0,μ−[⋅;Ω] is not lower semicontinuous,
since ⋃m=k∞Ωm converge globally in measure to ∅
with \mathscr{P}_{0,\mu_{-}}\big{[}\bigcup_{m=k}^{\infty}\Omega_{m};\Omega\big{]}={-}\infty
for all k∈\mathdsN, but clearly P0,μ−[∅;Ω]=0. We
remark that by suitably placing the groups Ωm and possibly adding to
Ω an additional unbounded interval with zero μ−-measure, this
examples covers bounded or unbounded Ω and finite or infinite volumes
∣Ω∣. Moreover, analogous configurations can also be arranged with
absolutely continuous measures (by “spreading out” the Dirac measures a bit)
and in arbitrary dimension n∈\mathdsN (e.g. by placing measures in thin annuli
instead of short intervals). Thus, as foreshadowed above, an IC in open
D=Ω in the sense of Definition 3.1 does not necessarily yield
semicontinuity, while ICs in full \mathdsRn will lead in the sequel to general
semicontinuity results. Nonetheless, we also point out that our full-space
viewpoint, for infinite measures μ±, does more or less automatically lead
to considering, if not ICs in D, then still ICs relative to D with
the relative perimeter occurring in essentially the same way as in the condition
of Lemma 7.3(c).
Before reaching semicontinuity on arbitrary open sets D=Ω in the later
Theorem 9.6, we provide a first semicontinuity statement, which
applies on the measure-theoretic interior D=Ω1 of a set Ω of
locally finite perimeter and in fact seems illustrative and interesting in its
own right. We remark that at this point we apply the notions of local and global
convergence in measure from (2.1) and
(2.2) on the possibly non-open set Ω1.
Theorem 9.1** (lower semicontinuity on a domain of locally finite perimeter).**
Consider a set Ω∈M(\mathdsRn), a set A∞∈M(\mathdsRn), a sequence
(Ak)k∈\mathdsN in M(\mathdsRn), and non-negative Radon measures μ+ and
μ− on \mathdsRn with μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0 such that one of the
following sets of assumptions is valid:**
(a)
We have Ω∈BVloc(\mathdsRn), the measure μ− is
finite, the measures μ+ and μ− both satisfy the
small-volume IC in \mathdsRn with constant 1, and Ak converge to A∞locally in measure on Ω.
2. (b)
We have Ω∈BVloc(\mathdsRn), the measures μ+ and
μ−+P(Ω,⋅) both satisfy the small-volume IC in \mathdsRn
with constant 1, the measure μ−+P(Ω,⋅) additionally
satisfies the almost-strong IC from (4.2)
with constant 1 near ∞, and Ak converge to A∞locally in
measure on Ω with
∣(AkΔA∞)∩Ω∣+P(Ak∩Ω)+P(A∞∩Ω)<∞ for
all k∈\mathdsN.
3. (c)
We have Ω∈BVloc(\mathdsRn), the measures μ+ and
μ−+P(Ω,⋅) both satisfy the small-volume IC in \mathdsRn with
constant 1, and Ak converge to A∞globally in measure on
Ω with P(Ak∩Ω)+P(A∞∩Ω)<∞ for all
k∈\mathdsN.
If furthermore min{μ+(Ak1),μ−(Ak+)}<∞ holds for all
k∈\mathdsN, then we have min{μ+(A∞1),μ−(A∞+)}<∞ and
[TABLE]
Since (all representatives of) a set Ω∈BVloc(\mathdsRn) with ∣Ω∣>0
may have empty interior, the previous statement differs from the more usual
semicontinuity on open sets, and indeed semicontinuity on D=Ω1 does not
to seem to be well known even in case μ±≡0, that is, for the
perimeter itself. Therefore, we explicitly record as a subcase of Theorem
9.1:
Corollary 9.2** **(lower semicontinuity of the perimeter on a measure-theoretic
interior).
Consider a set Ω∈BVloc(\mathdsRn). If a sequence (Ak)k∈\mathdsN in
M(\mathdsRn) converges to A∞∈M(\mathdsRn) locally in measure on Ω,
then we have
[TABLE]
Interestingly, when specializing the subsequent proof of Theorem
9.1(a) to the case μ±≡0 of
the corollary, it turns out that even in this case the approach does rely on the
theory of the previous sections with μ±≡0 and indeed plugs in
the perimeter measure P(Ω,⋅) in place of either μ+ or
μ−. Alternatively, however, Corollary 9.2 can be
derived as a special case of a recent result of Lahti [24]. Indeed,
[24, Theorem 4.5] guarantees lower semicontinuity of the
perimeter even on every Cap1-quasi-open set in a general metric-space
setting, while it follows from [6, Theorem 2.5] that
Ω1 is Cap1-quasi-open for every Ω∈BVloc(\mathdsRn).
Next, we provide a refined discussion of the different settings in Theorem
9.1, where once more the differences concern the handling of
the μ−-term only.
First of all we emphasize that the statement under assumptions
(a) with finiteμ− should be considered as
the most basic, but also central point of the theorem and will be sufficient in
order to eventually move on to semicontinuity on arbitrary open sets. Exemplary
cases covered by (a) are finite perimeter
measures μ−=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗E of E∈BV(\mathdsRn)
considered on any open Ω∈BVloc(\mathdsRn) with
∂∗E⊂Ω, since for these Theorem 8.2
gives the small-volume IC with constant 1.
The settings (b) and (c) of Theorem
9.1 improve on (a) in case of infinite
measures μ−, as seen similarly in Theorems 4.1 and
6.1. An exemplary case covered by (b), but
not by (a) is
μ−=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt((0,∞)×\mathdsRn−2×{0}) on
Ω=(0,∞)×\mathdsRn−1 with n≥2, for which
P(Ω)=∞ holds, but still μ−+P(Ω,⋅) satisfies
even the strong IC on full \mathdsRn with constant 1. While the exemplary cases
mentioned so far are covered also by the setting (c), from
(c) we get the semicontinuity conclusion only along
sequences with global convergence. Additional exemplary cases which are
covered by (c) only and come merely with
global-convergence semicontinuity are given by the infinite measures
μ−=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0,1}) on
Ω=\mathdsRn and μ−=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{1}) on
Ω=\mathdsRn−1×(0,∞). In both these cases, Proposition
A.3 implies the small-volume IC with constant 1 for
μ−+P(Ω,⋅), but this measure does not satisfy the
almost-strong IC required in (b).
We add one specific remark on the assumptions of the theorem:
Remark 9.3** (on the finite-perimeter assumptions in Theorem 9.1).**
The assumption P(Ak∩Ω)<∞, which occurs in parts
(b) and (c) of Theorem
9.1, follows from the more local and thus slightly more
natural assumption P(Ak,Ω1)<∞ together with
P(Ω)<∞. Clearly, P(A∞∩Ω)<∞ follows from
P(A∞,Ω1)<∞ together with P(Ω)<∞ in the same way.
Beweis.
By distinguishing between points inside Ω1 and outside Ω1 it
is not difficult to verify the inclusion
∂e(Ak∩Ω)⊂(∂eAk∩Ω1)∪∂eΩ.
By Theorems 2.4 and 2.8 we infer
Hn−1(∂e(Ak∩Ω))≤P(Ak,Ω1)+P(Ω)<∞,
and then Federer’s criterion (see [15, Theorem 5.23], for
instance) yields P(Ak∩Ω)<∞.
∎
Now we turn to the proof of the theorem, where the essential strategy is to
apply the full-space or Dirichlet results and to include in μ− a boundary
term P(Ω,⋅), which eventually cancels out with the boundary
contribution P(⋅,∂∗Ω) of the perimeter.
In a first step we establish the result for the setting
(a) with additional requirement P(Ω)<∞
and for the settings (b),
(c). We introduce
[TABLE]
and observe that the present assumptions imply the ones of the corresponding
setting in Theorem 4.1 or its extension due to Remark
4.3 with Sk, S∞, μ+, μ−Ω in
place of Ak, A∞, μ+, μ−. (As an alternative, we could also take
into account Sk∖Ω=∅=S∞∖Ω and use Theorem
6.1 as our reference here.) However, while in assumptions
(b) and (c) the relevant IC on
μ−Ω is explicitly included, under (a)
with additionally P(Ω)<∞ it remains to justify that
μ−Ω satisfies the small-volume IC on \mathdsRn with constant 1. To
this end we first argue that in view of the requirement P(Ω)<∞ in
(a) the small-volume IC with constant 1 holds for
P(Ω,⋅) by Theorem 8.2 (where we have even discarded a
factor 2). Moreover, in view of μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0 and
specifically μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω≡0 the measures μ− and
P(Ω,⋅)=Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω are singular to each other
and under the present assumptions are both finite. Thus, by Proposition
7.4 the small-volume IC with constant 1 carries over from
these two measures to their sum μ−Ω. After this justification we
are in position to apply Theorem 4.1, which yields
[TABLE]
for the full-space functional defined in (4.1), but now with
μ−Ω in place of μ−. In order to rewrite the perimeter term in
this functional we next deduce from the equality case of (2.4)
in Lemma 2.9 that we have
[TABLE]
We use this equality in conjunction with the definition of
μ−Ω and the observations
P(A∩Ω,Ω1)=P(A,Ω1) and
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0. Arguing in this way we end
up with
[TABLE]
Since we can analogously rewrite
Pμ+,μ−Ω[S∞]=Pμ+,μ−[A∞;Ω1], the
semicontinuity property obtained in (9.3) directly
transforms into the one claimed in (9.2).
In a second step, it remains to remove in case of the setting
(a) the additional assumption P(Ω)<∞ which we
have imposed so far. To this end we consider the general case of
(a) with merely Ω∈BVloc(\mathdsRn) and apply the
result achieved on the cut-offs
ΩR\vbox..=Ω∩BR∈BV(\mathdsRn) with μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩR1
in place of μ± to establish
[TABLE]
for every R∈(0,∞). Using ΩR1⊂Ω1 and elementary
estimations we deduce
[TABLE]
from which we obtain the claim (9.2) also in the general case
of (a) by sending R→∞, by taking into account
pointwise monotone convergence of ΩR1 to Ω1 and the assumption
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0, and finally by crucially exploiting the
finiteness of μ−.
∎
Next, even though these are side issues, we add remarks on a
modified strategy for proving Theorem 9.1 and on a refined
version of the theorem, which gives the semicontinuity conclusion
(9.2) for Pμ+,μ−[⋅;Ω1] even for some
measures μ± which merely satisfy μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω+)c≡0 and thus
include boundary terms on ∂∗Ω.
Remark 9.4** **(on a modified proof of Theorem 9.1 and a variant
with boundary measures).
**
(i)
*Imposing P(Ω)<∞ as a decisive additional assumption, the
conclusion of Theorem 9.1 can also be established by
modified strategy. In case of the setting (a) this
strategy bypasses Proposition 7.4, and in case of the
settings (b) and (c) it requires
the ICs imposed on μ−+P(Ω,⋅) now merely for μ−
itself. One may wonder whether the latter point partially
improves on the statement of the theorem, but actually it does not, since in
case P(Ω)<∞ the relevant ICs for μ− imply the ones for
μ−+P(Ω,⋅) *(possibly with increased Rε and
decreased δ); compare with points
(i) and (9.8) of Remark
9.5 below. Nonetheless, we believe that the modified
strategy is of some intrinsic interest, and thus we explicate it
here.
We first record that P(Ω)<∞ implies, by Theorem
8.2, the small-volume IC with constant 1 for the finite
measure πΩ\vbox..=P(Ω,⋅). Arguing as in the
preceding proof, but with application of Theorem 4.1 to
Pμ+,πΩ (and thus no need for having or checking
ICs for μ−+πΩ), we end up with
[TABLE]
We can now complement this with a similar, but „dual“
reasoning. To this end we work with
[TABLE]
(which under (b) or (c) with
P(Ω)<∞ are finite-perimeter sets) and deduce by an application
of Theorem 4.1 to PπΩ,μ− (still
with πΩ=P(Ω,⋅)) the semicontinuity property
[TABLE]
Crucially exploiting P(Ω)<∞ once more, we can rewrite
P(Uk)=P(Uk,Ω1)+P(Ω,(Uk1)c)=P(Ak,Ω1)+P(Ω)−P(Ω,Uk1)
and consequently PπΩ,μ−[Uk]=P0,μ−[Ak;Ω1]+P(Ω).
With this and the analogous formula for U∞ and A∞ we go into
(9.5) and, after canceling the P(Ω)-terms,
then find
[TABLE]
Since (9.4) and (9.6) apply also with
Ak∩A∞ and Ak∪A∞, respectively, in place of Ak, we can
combine these two semicontinuity properties by the strategy from the proof
of Theorem 4.1(c). Thus, we indeed arrive
at the full claim (9.2) which includes both the μ+-
and μ−-terms.
∎
2. (ii)
If we add again P(Ω)<∞ to the assumptions of Theorem
9.1 and require also those ICs imposed in the original
statement on μ± now even for
μ±+P(Ω,⋅), then we can weaken the
requirement μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0 from the original statement to merely
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω+)c≡0 and still obtain the semicontinuity
conclusion for the up-to-the-boundary functional
[TABLE]
Here, in order to better classify the terms we record that
[TABLE]
split into an interior portion on Ω1 and a boundary portion on
∂∗Ω, where the latter is evaluated via the interior traces
(A∩Ω)+∩∂∗Ω and
(A∪Ωc)1∩∂∗Ω of A on ∂∗Ω
and where these two traces actually coincide up to Hn−1-negligible sets at
least in case P(A,∂∗Ω)<∞ of finite perimeter up to
∂∗Ω.
The proof of the semicontinuity just claimed is still a variant of the
preceding ones. Indeed, setting again πΩ\vbox..=P(Ω,⋅),
we recall that in the original proof we applied Theorem 4.1
directly for Pμ+,μ−+πΩ[Sk], while in the
variant of the preceding point (i) we applied
it for Pμ+,πΩ[Sk] and PπΩ,μ−[Uk].
We now follow closely the latter strategy, where the only essential
modification is that in order to come out with non-trivial boundary terms
we cannot anymore „decouple“ μ± and
πΩ=P(Ω,⋅), but rather now apply Theorem 4.1
for P0,μ−+πΩ[Sk] and
Pμ++πΩ,0[Uk].
*Among the assumptions mentioned above, we single out and discuss the
case of the basic setting (a) with
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω+)c≡0 and the small-volume IC with constant 1
for the finite measures
μ±+P(Ω,⋅)=μ±+Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω. In
this case, once more by Proposition 7.4, the IC splits into
separate ICs for μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩ1 and
(μ±+Hn−1)\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω, and then Theorem
8.2 identifies a wide class of admissible measures. Indeed,
μ± will be admissible if the interior portion μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩ1
has the form αHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1∩∂∗E) with
E∈M(\mathdsRn), P(E)<∞ and weight function α bounded by 2
and if the boundary portion μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω has the form
βHn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω with boundary weight function
β bounded by 1 *(so that the resulting weight for
(μ±+Hn−1)\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt∂∗Ω is again bounded by 2).
We actually consider this part of the outcome with the bound 2 on Ω1
and the bound 1 on ∂∗Ω as a natural and very plausible
manifestation of the „one-sided accessibility“ of
∂∗Ω only from inside Ω.
The next remark uncovers that the ICs for μ−+P(Ω,⋅) in
Theorem 9.1 may in fact be understood as a kind of
domain-adapted ICs. This also motivates the usage of very similar ICs in the
subsequent semicontinuity statement of Theorem 9.1 on general
open sets.
Remark 9.5** **(on the interpretation of the ICs for μ−+P(Ω,⋅)
Consider Ω∈B(\mathdsRn) and a Radon measure μ− on \mathdsRn.
(i)
If we assume Ω∈BVloc(\mathdsRn) and
μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0, then the almost-strong IC near ∞
with constant 1 for μ−+P(Ω,⋅), as it occurs in
(b), implies that, for every ε>0 with its
corresponding Rε, we have
[TABLE]
This can be understood as version of the same type of IC only for μ−
but relative to the domain Ω1.
Beweis.
It suffices to verify (9.7) for
E∈M(\mathdsRn) with ∣E∩BRε∣=0 and
∣E∣+P(E,Ω1)<∞. To this end, we consider
R∈(Rε,∞), abbreviate ΩR\vbox..=Ω∩BR, use
μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0, and test the IC with E∩ΩR. In this way we find
μ−(E+∩BR)+P(Ω,(E∩ΩR)+)≤μ−((E∩ΩR)+)+P(Ω,(E∩ΩR)+)≤P(E∩ΩR)+ε.
Next we derive a slightly sharpened variant of the quality case in
(2.4). By distinguishing between points in ΩR1 and
∂eΩR we verify
∂e(E∩ΩR)=(ΩR1∩∂eE)∪˙((E∩ΩR)+∩∂eΩR),
and then via Theorems 2.4, 2.8, and
(2.4) we arrive at
P(E∩ΩR)=P(E,ΩR1)+P(ΩR,(E∩ΩR)+)≤P(E,Ω1)+P(Ω,(E∩ΩR)+)+Hn−1(E+∩∂BR)
for R∈(0,∞). When combining this with the previous estimate,
the terms P(Ω,(E∩ΩR)+) cancel out, and we obtain
μ−(E+∩BR)≤P(E,Ω1)+Hn−1(E+∩∂BR)+ε.
Exploiting
once more ∣E+∣=∣E∣<∞ in a coarea argument, we have
liminfR→∞Hn−1(E+∩∂BR)=0, and in the limit
R→∞ we arrive at (9.7). (In case of
P(Ω,(E∩Ω)+)<∞ this argument also works
more directly with E∩Ω in place of E∩ΩR. However,
we cannot exclude P(Ω,(E∩Ω)+)=∞ in general.)
∎
Moreover, in case of P(Ω)<∞ and with a possible increase of the
radii Rε, we can also get back from
(9.7) to the original almost-strong IC near
∞ for μ−+P(Ω,⋅). This simply works by trivially
enlarging the right-hand side in (9.7) to
P(E)+ε and using limR→∞P(Ω,(BR)c)=0 to estimate
P(Ω,⋅) outside large balls by ε. In case
P(Ω)=∞, however, this backwards implication is false even if,
in addition to (9.7) for μ−, both
μ− and P(Ω,⋅) separately satisfy the strong IC with
constant 1. This is demonstrated, for n≥2, by
μ−=Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{−2,2}) on
Ω=\mathdsRn−1×[−1,1]c, which has the announced
properties.
2. (ii)
If we assume once more Ω∈BVloc(\mathdsRn) and
μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω1)c≡0, then the small-volume IC with constant
1 for μ−+P(Ω,⋅), as it occurs in
(c), implies, for every ε>0, the
existence of δ>0 such that
[TABLE]
*This can be seen as a small-volume IC for μ−relative to the
domain Ω1, and the implication can be proved by straightforward
adaptation of the reasoning in the preceding point
(i). Moreover, if we assume
Ω∈BVloc(\mathdsRn), μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(∂∗Ω)c≡0, the
small-volume IC with constant 1 on \mathdsRn for P(Ω,⋅)
*(*as it is generally satisfied in case P(Ω)<∞ by Theorem
8.2), and that either μ− is finite or the supports of μ− and
P(Ω,⋅) have positive distance, then we can also get back
from (9.8) to the small-volume IC for
μ+P(Ω,⋅) with constant 1 by using Proposition
7.4. In connection with this last claim, it is easy to see
that the assumptions
Ω∈BVloc(\mathdsRn), μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(∂∗Ω)c≡0, and
the small-volume IC for P(Ω,⋅) cannot be dropped. Moreover,
the example given, for n=2, by μ−=H1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsR×{0}) on
\Omega={\mathds{R}}^{2}\setminus\bigcup_{i=1}^{\infty}\big{(}{[2i{-}1,2i]}{\times}{\big{[}\frac{1}{2i},\frac{1}{i}\big{]}}\big{)}
demonstrates that also requirement of finiteness of μ− or supports at
positive distance is indeed necessary for the backwards implication *(even
if, as it happens here, both μ− and P(Ω,⋅)
separately satisfy the strong IC with constant 1).
At this point we finally turn to the second main statement of this section,
which complements the previous result on the measure-theoretic interior of
BV(loc) sets with a version on arbitrary open sets D=Ω in
\mathdsRn. So, in comparison with Theorem 9.1 we drop any
regularity of the domain, but require openness in the stronger topological
sense.
Theorem 9.6** (lower semicontinuity on a general open set).**
Consider an open set Ω in \mathdsRn, a set A∞∈M(\mathdsRn), a sequence
(Ak)k∈\mathdsN in M(\mathdsRn). For non-negative Radon measures μ+ and
μ− on \mathdsRn with μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0, assume that both
μ+ and μ− satisfy the small-volume IC in \mathdsRn with constant 1
and that one of the following sets of additional assumptions is
valid:**
(a)
The measure μ− is finite, and Ak converge to A∞locally in measure on Ω.
2. (b)
The measure μ− satisfies an almost-strong IC near ∞relative to Ω with constant 1 in the sense that, for
every ε>0, there exists some Rε∈(0,∞) such that
[TABLE]
and Ak converge to A∞locally in measure on Ω with
∣(AkΔA∞)∩Ω∣+P(Ak,Ω)+P(A∞,Ω)<∞ for all
k∈\mathdsN.
3. (c)
The measure μ− satisfies the small-volume IC relative to
Ω with constant 1 in the sense that, for every ε>0, there is
some δ>0 such that
[TABLE]
and Ak converge to A∞globally in measure on Ω with
P(Ak,Ω)+P(A∞,Ω)<∞ for all k∈\mathdsN.
If furthermore min{μ+(Ak1),μ−(Ak+)}<∞ holds for all
k∈\mathdsN, then we have min{μ+(A∞1),μ−(A∞+)}<∞ and
[TABLE]
Since the different cases in Theorem 9.6 are still illustrated
well by the examples given in connection with Theorem 9.1, we
now keep the discussion brief. Once more, the setting (a)
concerns finite measures μ−, and this part of
Theorem 9.6 will be deduced from the corresponding assertion for
finite-perimeter domains by a simple exhaustion argument, which closely
resembles the last step in the proof of Theorem 9.1 and
crucially draws on the finiteness of μ−. The improvements for infinite
measures provided by (9.9) and (9.10) involve
essentially the same relative ICs found in (9.7)
and (9.8). Despite this similarity, under
(9.9) or (9.10) with possibly infinite μ−
we cannot derive the result directly from the counterparts in Theorem
9.1 by exhaustion, but rather will implement a deduction from
the result in the setting (a) by cut-off arguments widely
analogous to the proof of Theorem 6.1.
The difference between (9.9) and (9.10) can
again be underpinned with concrete examples: On one hand, the cases n≥2,
μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0}), Ω=\mathdsRn−1×(−1,1)
and n=1, μ=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt\mathdsZ, Ω=\mathdsR are included in
(9.10), but not in (9.9). On the other hand,
both (9.9) and (9.10) apply in the cases
n=2, μ=2H1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsR×{0}), Ω={(x,y)∈\mathdsR2:∣y∣<∣x∣}
and n=1, μ=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(2\mathdsZ−1), Ω=\mathdsR∖2\mathdsZ,
where, however, only (9.9) gives semicontinuity even with
respect to local convergence in measure.
We also record in connection with both Theorem 9.1 and
Theorem 9.6 and the corresponding examples:
Remark 9.7** **(on the settings of Theorems 9.1 and
In Theorem 9.6, the settings (9.9) and
(9.10) improve on (a) only in the
infinite-volume case ∣Ω∣=∞, since indeed the IC from
(9.9) or (9.10) for a Radon
measure μ− on \mathdsRn and open Ω⊂\mathdsRn together with
∣Ω∣<∞ and μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω+)c≡0 already enforces
finiteness of μ−.
Beweis.
In case ∣Ω∣<∞ we may test (9.9)
with Ω∖BR1 to infer
μ−(Ω+∖BR1)≤μ−((Ω∖BR1)+)≤P(Ω∖BR1,Ω)+1≤P(BR1)+1<∞. Similarly,
if we fix δ>0 such that (9.10) applies with
ε=1, then in view of ∣Ω∣<∞ we have
∣Ω∖BR1∣<δ for some suitably large
R1∈(0,∞), and by testing (9.10) with
Ω∖BR1 we deduce exactly the same estimate. Clearly,
taking into account local finiteness of μ− and
μ−\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω+)c≡0, the estimate yields finiteness of μ−
in both cases.
∎
Also in the earlier Theorem 9.1, the settings
(b) and (c) improve on
(a) only in case ∣Ω∣=∞. This follows by the
same reasoning, which also works with (9.7)
and (9.8) in place of
(9.9) and (9.10).
Finally, let us point out that the additional relative IC
(9.10) of Theorem 9.6(9.10)
could in fact be required only near ∞ by adding a condition
∣A∩BRε∣=0, as it was included in all our settings of type
(9.9). However, while for the strong-type setting
(9.9) the near-∞ feature does win some generality, in
the small-volume setting (9.10) an adaptation of Proposition
7.4 shows that it does not, and therefore we have in fact decided
to stick to the formulation of Theorem 9.6(9.10)
given above.
Now we proceed to the final semicontinuity proof of this paper.
Throughout the proof we assume that limk→∞Pμ+,μ−[Ak;Ω] exists
and is finite. In addition, in view of μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0
the values Pμ+,μ−[Ak;Ω], Pμ+,μ−[A∞;Ω] and all assumptions depend
only on the portions Ak∩Ω and A∞∩Ω of Ak and A∞. Hence
we may and do assume
[TABLE]
which allows to rewrite the assumption ∣(AkΔA∞)∩Ω∣<∞ of
(9.9) as ∣AkΔA∞∣<∞ and to consider the global
convergence on Ω in (9.10) as global convergence on
\mathdsRn.
In order to treat the situation (a) we observe that the
open set Ω can be exhausted by smooth open sets
Ωℓ⋐Ω with ℓ∈\mathdsN in the sense that
Ωℓ⊂Ωℓ+1 for all ℓ∈\mathdsN and
⋃ℓ=1∞Ωℓ=Ω. Applying Theorem
9.1(a) on Ωℓ (which in
particular satisfies Ωℓ∈BV(\mathdsRn) and Ωℓ1=Ωℓ)
with the measures μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩℓ we find
[TABLE]
Using Ωℓ⊂Ω and elementary estimations we deduce
[TABLE]
from which we obtain the claim (9.11) in the generality of the
situation (a) by sending ℓ→∞, by taking into
account the pointwise monotone convergence of Ωℓ to Ω and
the assumption μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0, and finally by crucially
exploiting the finiteness of μ−.
In view of the analogy to the proof of Theorem
6.1(b) we only sketch the arguments relevant
for the present setting (9.9). As in the earlier proof, given
an arbitrary ε>0, we first choose a sequence of radii
Ri∈(Rε,∞) with limi→∞Ri=∞ and pass to a
subsequence of (Ak)k∈\mathdsN in order to ensure μ−(∂BRi)=0 and
limk→∞Hn−1((AkΔA∞)+∩∂BRi)=0. We then
apply the already established part (a) of the present
theorem on Ω∩BRi with the finite measures
μ±\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(Ω∩BRi), which inherit the small-volume IC from
μ±, to infer
[TABLE]
In order to estimate the terms cut off we follow closely the derivation
around (6.5) and (6.6), where now we take
perimeters in the open domain Ω and rely on the relative version
(9.9) of the almost-strong IC in the form
μ−(((AkΔA∞)∖BRi)+)≤P((AkΔA∞)∖BRi,Ω)+ε
(which does apply, since Ri≥Rε). Arguing as described we find that
either the claim (9.11) holds trivially or we have
μ−(Ak+)+μ−(A∞+)<∞ for all k∈\mathdsN together with
[TABLE]
By addition of the last two displayed equations and elementary estimation we
arrive at
[TABLE]
Going to the limit i→∞ ans using the arbitrariness of ε, we
obtain the claim (9.11) in the generality of the situation
(9.9).
The proof in the setting (9.10) is an adaptation of the one in
the setting (9.9), precisely as Theorem
6.1(c) was obtained by adapting the argument
given for Theorem 6.1(b). Indeed, for an
arbitrary ε>0, we can exploit limk→∞∣AkΔA∞∣=0 in order
to apply the relative version (9.10) of the small-volume
IC in the form
μ−(((AkΔA∞)∖BRi)+)≤P((AkΔA∞)∖BRi,Ω)+ε
at least for k≫1. In the limit k→∞ we still arrive at the
estimate (9.12) and in conclusion can deduce the claim
(9.11) also in the generality of the situation (9.10).
∎
We conclude this section by pointing out that, as it was on Ω=\mathdsRn, also
on arbitrary Ω the relative small-volume IC (9.10)
on μ− is in fact optimal. This will go hand in hand with recording
further connections between the standard small-volume IC, its variant in
(9.10), and semicontinuity properties of the functional,
and will now be explicated for the case μ+≡0, μ−=μ:
Remark 9.8** **(on optimality of the relative IC (9.10) and
more connections between ICs and semicontinuity).
We here consider an open set Ω⊂\mathdsRn and a non-negative Radon
measure μ on \mathdsRn with μ\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0ptΩc≡0.
(i)
If P0,μ[⋅;Ω] is lower semicontinuous on
BV(Ω) with respect to global convergence in measure on Ω, then
for every ε>0, there is some δ>0 such that
(9.10) holds for μ, that is,
μ(A+)≤P(A,Ω)+ε for all A∈M(\mathdsRn) with ∣A∣<δ.
Beweis.
If (9.10) fails for some ε>0 and all δ>0, in
particular, for each k∈\mathdsN, there exists Ak∈M(\mathdsRn) with
∣Ak∣<k1 and μ(Ak+)>P(Ak,Ω)+ε. However, then
Ak∈BV(Ω) converge to ∅ in measure on Ω with
P0,μ[Ak;Ω]<−ε, and
P0,μ[⋅;Ω] is not lower semicontinuous.
∎
Thus, at least in case μ+≡0 the assumption
(9.10) on μ− in Theorem
9.6(9.10) is also necessary for lower
semicontinuity of P0,μ−[⋅;Ω] and thus
optimal.
2. (ii)
Consider the following assertions141414Here, for the local-convergence
semicontinuity (2), we need to restrict to subclasses of
BV(Ω) which exclude convergence of Ak to A with
∣(AkΔA)∩Ω∣=∞ for all k∈\mathdsN. In contrast, the
global-convergence statement (3) could
equivalently be stated on all of {A∈M(\mathdsRn):P(A,Ω)<∞},
since global convergence of Ak to A anyway yields
∣(AkΔA)∩Ω∣<∞ for k≫1.:**
(1)
The measure μ is finite and satisfies the small-volume IC in \mathdsRn
with constant 1.
2. (2)
For every A0∈M(\mathdsRn) with P(A0,Ω)<∞, the functional
P0,μ[⋅;Ω] is lower semicontinuous on
{A∈M(\mathdsRn):AΔA0∈BV(Ω)} with respect
to local convergence in measure on Ω.
3. (3)
For every A0∈M(\mathdsRn) with P(A0,Ω)<∞, the functional
P0,μ[⋅;Ω] is lower semicontinuous on
{A∈M(\mathdsRn):AΔA0∈BV(Ω)} with respect
to global convergence in measure on Ω.
4. (4)
The functional P0,μ[⋅;Ω] is lower
semicontinuous on BV(Ω) with respect
to global convergence in measure on Ω.
5. (5)
For every ε>0, there is some δ>0 such that μ satisfies
small-volume IC (9.10) relative to
Ω.
Then, we claim that the implications (1)⟹(2)⟹(3)⟺(4)⟺(5) are generally
valid. Indeed, (1)⟹(2)
holds by Theorem 9.6(a), the implications
(2)⟹(3)⟹(4) are trivial,
(4)⟹(5) has been
established in the preceding point (i), and
(5)⟹(3) holds by
Theorem 9.6(9.10).
We could in fact formulate even more equivalent statements, for instance, one
such statement is given by the localized IC variant of Lemma
7.3(d) together with finiteness of μ.
3. (iii)
In general, the implication
(1)⟹(2) from point
(ii) cannot be reversed. To see this, for n≥2,
we consider μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0}) on Ω=\mathdsRn or
alternatively μ=Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0}) on any open
Ω⊂\mathdsRn with \mathdsRn−1×[0,∞)⊂Ω. Then,
it can be checked that μ satisfies
(9.9). Thus, Theorem
9.6(9.9) gives the validity of
(2), while (1) fails in view
of the infiniteness of μ. (The specific case n=1 is different, and
for this case one can in fact show that the validity of
(2) requires finiteness of μ and that
(1)⟺(2) holds.)
Also the implication
(2)⟹(3) cannot be
reversed in general. Here, for n≥2 we consider the infinite measure
μ=2Hn−1\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt(\mathdsRn−1×{0,1}) on any open Ω⊂\mathdsRn
with dist(\mathdsRn−1×{0,1},Ωc)>0. Then, by adapting
the proof of Proposition A.3 one checks that μ
satisfies (9.10) for all these Ω. Hence,
Theorem 9.6(9.10) gives the validity of
(3), while
Ak\vbox..=[k,k+n]n−1×[0,1]∈BV(\mathdsRn) converge locally in
measure on Ω to ∅ with P0,μ[Ak;Ω]≤P0,μ[Ak;\mathdsRn]=−2nn−2<0 and thus demonstrate that
(2) fails in this case. For n=1, the same
phenomenon occurs for μ=2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt\mathdsZ on any open
Ω⊂\mathdsR with
dist(\mathdsZ,Ωc)>0.
4. (iv)
However, if we impose as an additional assumption
[TABLE]
it turns out that the five assertions of point
(ii) are in fact all equivalent. In order to
justify this claim we recall from Remark 9.7
that (9.10) and ∣Ω∣<∞ together enforce
finiteness of μ.. Since moreover
(9.10) is stronger than the usual small-volume IC, this
means that under the additional assumption we also have the backwards
implication (5)⟹(1).
*In particular, we record that for the *(counter)examples of point
(iii) it was inevitable to have both ∣Ω∣=∞
and μ(Ω)=∞.
Anhang A Isoperimetric conditions for infinite model measures
In this appendix we justify the validity of ICs for basic infinite model
measures concentrated on hyperplanes by suitable capacity computations. We start
with an auxiliary lemma, which determines the 1-capacity of sets in a
hyperplane and is not at all surprising. Still, since we are not aware of a
custom-fit reference for this statement, we also include a proof.
Lemma A.1** (1-capacity on hyperplanes).**
For n≥2, every S∈B(\mathdsRn−1), and t∈\mathdsR, we have
[TABLE]
In different words, this means Cap1(A)=2Hn−1(A) for every
A∈B(\mathdsRn−1×{t}) with t∈\mathdsR.
Beweis.
We prove the inequalities „≤“ and „≥“ separately.
We consider an open U∈BV(\mathdsRn−1) and the open cylinder
Uδ\vbox..=U×(t−δ,t+δ) with δ>0. One
verifies ∣Uδ∣=2δ∣U∣<∞,
U×{t}⊂Uδ⊂(Uδ)+,
and P(Uδ)=2∣U∣+2δP(U). Therefore, Proposition
2.15 gives
Cap1(U×{t})≤Cap1(Uδ)≤2∣U∣+2δP(U) for
arbitrary δ>0, and we get Cap1(U×{t})≤2∣U∣. Now, an
arbitrary open set in \mathdsRn−1 is the union of an increasing sequence of
bounded open sets with smooth boundaries, thus in particular of open sets from
BV(\mathdsRn−1). (This claim can be proved essentially by mollifying \mathds1K
with compact K⊂U and then choosing good superlevel sets of the
mollifications via Sard’s theorem.) By [15, Theorem 4.15(viii)]
one can pass to the limit along such a sequence to deduce that
Cap1(U×{t})≤2∣U∣ stays valid for
arbitrary open U⊂\mathdsRn−1. For arbitrary S∈B(\mathdsRn−1), one
then concludes
[TABLE]
From Definition 2.14 one obtains in a standard way (essentially by
mollification and multiplication with cut-off functions) the equality
[TABLE]
Now, if H is compact in \mathdsRn−1, for every η∈Ccpt∞(\mathdsRn)
with η≥1 on H×{t}, one has
[TABLE]
and by (A.1) this implies Cap1(H×{t})≥2∣H∣. For
arbitrary S∈B(\mathdsRn−1), one then concludes
[TABLE]
which completes the proof.
∎
The following results now identify two infinite measures, which satisfy the
strong IC with constant 1 and the small-volume IC with constant 1,
respectively.
Proposition A.2** (strong IC for Hn−1 on a single hyperplane).**
For n≥2, the non-negative Radon measure
[TABLE]
satisfies the strong IC in \mathdsRn with constant 1.
Beweis.
For A∈BV(\mathdsRn), from Lemma A.1 and Proposition
2.15 we obtain
[TABLE]
Since the resulting estimate trivially holds in case P(A)=∞ as well,
we have verified the claimed IC.
∎
Proposition A.3** (small-volume IC for Hn−1 on two parallel hyperplanes).**
For n≥2, the non-negative Radon measure
[TABLE]
satisfies the small-volume IC in \mathdsRn with constant 1, and more precisely
we have in fact
[TABLE]
Beweis.
The validity of the IC follows by combining Proposition
A.2 and Proposition 7.4. However, we
now carry out an alternative and self-contained proof, which also yields the
explicit estimate claimed. Clearly we can assume A∈BV(\mathdsRn). In view of
∫01Hn−1(A+∩(\mathdsRn−1×{t}))dt≤∣A+∣=∣A∣ we can
find and fix some t∈(0,1) with
[TABLE]
Introducing A0\vbox..=A∩(\mathdsRn−1×(−∞,t)) with
∣A0∣≤∣A∣<∞, by an application151515If we stick to the precise
statement of Lemma 2.9, then in view of
P(\mathdsRn−1×(−∞,t))=∞ we cannot use (2.4)
directly for \mathdsRn−1×(−∞,t) and G=\mathdsRn, but clearly we can
circumvent this by applying (2.4) with G=BR first and then
passing R→∞. of (2.4) we get
[TABLE]
Via Lemma A.1 and Proposition 2.15 (the
latter applied in view of A+∩(\mathdsRn−1×{0})⊂A0+) we
infer
[TABLE]
With the help of A1\vbox..=A∩(\mathdsRn−1×(t,∞)), we
analogously obtain the estimate
[TABLE]
Adding up the two estimates gives the claim μ(A+)≤P(A)+2∣A∣, from which
the IC is immediate.
∎
We remark that the preceding propositions formally extend to the case n=1,
where they correspond to the much simpler estimates 2δ0(A+)≤P(A) for
A∈B(\mathdsR) with ∣A∣<∞ and 2(δ0+δ1)(A+)≤P(A)+2∣A∣
for arbitrary A∈B(\mathdsR), with the Dirac measures δ0 and δ1
at [math] and 1. However, the measures δ0 and δ0+δ1 are
clearly finite, and indeed, for n=1, measures with strong IC are necessarily
finite, while the small-volume IC with constant 1 still admits infinite
examples such as the measure
2H0\vruleheight=7.0pt,width=0.3pt,depth=0.0pt\vruleheight=0.3pt,width=5.0pt,depth=0.0pt\mathdsZ=2∑z∈\mathdsZδz, for instance.
Literatur
[1]
L. Ambrosio, N. Fusco, and D. Pallara, Functions of Bounded Variation
and Free Discontinuity Problems, Oxford University Press, Oxford, 2000.
[2]
E. Barozzi, The curvature of a set with finite area, Atti Accad. Naz.
Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl.
5 (1994), 149–159.
[3]
E. Barozzi, E. Gonzalez, and I. Tamanini, The mean curvature of a set of
finite perimeter, Proc. Am. Math. Soc. 99 (1987), 313–316.
[4]
V. Bögelein, F. Duzaar, and C. Scheven, The obstacle problem for the
total variation flow, Ann. Sci. Éc. Norm. Supér. (4)
49 (2016), 1143–1188.
[5]
Z. Buczolich, T. De Pauw, and W.F. Pfeffer, Charges, BV functions, and
multipliers for generalized Riemann integrals, Indiana Univ. Math. J.
48 (1999), 1471–1511.
[6]
M. Carriero, G. Dal Maso, A. Leaci, and E. Pascali, Relaxation of the
non-parametric Plateau problem with an obstacle, J. Math. Pures Appl. (9)
67 (1988), 359–396.
[7]
Q. Dai, N.S. Trudinger, and X.-J. Wang, The mean curvature measure,
J. Eur. Math. Soc. 14 (2012), 779–800.
[8]
Q. Dai, X.-J. Wang, and B. Zhou, The signed mean curvature measure,
in: Feehan, Paul M. N. (ed.) et al., Analysis, complex geometry, and
mathematical physics: in honor of Duong H. Phong. Contemporary Mathematics
644, 23–32, 2015.
[9]
G. Dal Maso, On the integral representation of certain local
functionals, Ric. Mat. 32 (1983), 85–113.
[10]
M. De Acutis, Regolarità di frontiere minimali con ostacoli
sottili, Rend. Semin. Mat. Univ. Padova 61 (1979), 133–144.
[11]
E. De Giorgi, Frontiere orientate di misura minima, Seminario di
Matematica, Sc. Norm. Super. Pisa, 1960–1961.
[12]
E. De Giorgi, F. Colombini, and L.C. Piccinini, Frontiere orientate di
misura minima e questioni collegate, Scuola Normale Superiore, Pisa, 1972.
[13]
F. Duzaar, On the existence of surfaces with prescribed mean curvature
and boundary in higher dimensions, Ann. Inst. Henri Poincaré, Anal. Non
Linéaire 10 (1993), 191–214.
[14]
F. Duzaar and K. Steffen, Existence of hypersurfaces with prescribed
mean curvature in Riemannian manifolds, Indiana Univ. Math. J.
45 (1996), 1045–1093.
[15]
L.C. Evans and R.F. Gariepy, Measure Theory and Fine Properties of
Functions, CRC Press, Boca Raton, FL, 2015.
[16]
H. Federer and W.P. Ziemer, The Lebesgue set of a function whose
distribution derivatives are p-th power summable, Indiana Univ. Math. J.
22 (1972), 139–158.
[17]
C. Gerhardt, Existence, regularity, and boundary behaviour of
generalized surfaces of prescribed mean curvature, Math. Z.
139 (1974), 173–198.
[18]
M. Giaquinta, On the Dirichlet problem for surfaces of prescribed mean
curvature, Manuscr. Math. 12 (1974), 73–86.
[19]
M. Giaquinta, Sul problema di Dirichlet per le superfici a curvatura
media assegnata, in: Symp. math. 14, Geom. simplett., Fis. mat., Teor.
geom. Integr. Var. minim., Convegni 1973, 391–396, 1974.
[20]
E. Giusti, Non-parametric minimal surfaces with discontinuous and thin
obstacles, Arch. Ration. Mech. Anal. 49 (1972), 41–56.
[21]
E. Giusti, On the equation of surfaces of prescribed mean curvature.
Existence and uniqueness without boundary conditions, Invent. Math.
46 (1978), 111–137.
[22]
E. Gonzalez, U. Massari, and I. Tamanini, On the regularity of
boundaries of sets minimizing perimeter with a volume constraint, Indiana
Univ. Math. J. 32 (1983), 25–37.
[23]
E.H.A. Gonzalez and U. Massari, Variational mean curvatures, Rend.
Semin. Mat., Torino 52 (1994), 1–28.
[24]
P. Lahti, Quasiopen sets, bounded variation and lower semicontinuity in
metric spaces, Potential Anal. 52 (2020), 321–337.
[25]
G.P. Leonardi and G.E. Comi, The prescribed mean curvature measure
eqaution in non-parametric form, Preprint
(2023), 53 pages.
[26]
F. Maggi, Sets of Finite Perimeter and Geometric Variational Problems,
Cambridge University Press, Cambridge, 2012.
[27]
U. Massari, Esistenza e regolarita delle ipersuperfici di curvatura
media assegnata in Rn, Arch. Ration. Mech. Anal. 55
(1974), 357–382.
[28]
U. Massari, Frontiere orientate di curvatura media assegnata in Lp,
Rend. Sem. Mat. Univ. Padova 53 (1975), 37–52.
[29]
P. Mattila, Geometry of Sets and Measures in Euclidean Spaces. Fractals
and Rectifiability, Cambridge University Press, Cambridge, 1995.
[30]
N.G. Meyers and W.P. Ziemer, Integral inequalities of Poincaré and
Wirtinger type for BV functions, Am. J. Math. 99
(1977), 1345–1360.
[31]
M. Miranda, Un principio di massimo forte per le frontiere minimali e
una sua applicazione alla risoluzione del problema al contorno per
l’equazione delle superfici di area minima, Rend. Sem. Mat. Univ. Padova
45 (1971), 355–366.
[32]
M. Miranda, Dirichlet problem with L1 data for the non-homogeneous
minimal surface equation, Indiana Univ. Math. J. 24 (1974),
227–241.
[33]
W. F. Pfeffer, Comparing variations of charges, Indiana Univ. Math. J.
45 (1996), 643–654.
[34]
N.C. Phuc and M. Torres, Characterizations of the existence and
removable singularities of divergence-measure vector fields, Indiana Univ.
Math. J. 57 (2008), 1573–1597.
[35]
N.C. Phuc and M. Torres, Characterizations of signed measures in the
dual of BV and related isometric isomorphisms, Ann. Sc. Norm. Super.
Pisa, Cl. Sci. (5) 17 (2017), 385–417.
[36]
M. Ritoré and C. Rosales, Existence and characterization of regions
minimizing perimeter under a volume constraint inside Euclidean cones,
Trans. Am. Math. Soc. 356 (2004), 4601–4622.
[37]
C. Scheven and T. Schmidt, An Anzellotti type pairing for
divergence-measure fields and a notion of weakly super-1-harmonic
functions, Preprint, 2015, arXiv: 1701.02656.
[38]
C. Scheven and T. Schmidt, BV supersolutions to
equations of 1-Laplace and minimal surface type, J. Differ. Equations
261 (2016), 1904–1932.
[39]
C. Scheven and T. Schmidt, On the dual formulation of obstacle
problems for the total variation and the area functional, Ann. Inst. Henri
Poincaré, Anal. Non Linéaire 35 (2018), 1175–1207.
[40]
K. Steffen, Isoperimetric inequalities and the problem of Plateau,
Math. Ann. 222 (1976), 97–144.
[41]
K. Steffen, On the existence of surfaces with prescribed mean curvature
and boundary, Math. Z. 146 (1976), 113–135.
[42]
I. Tamanini and G. Congedo, Density theorems for local minimizers of
area-type functionals, Rend. Semin. Mat. Univ. Padova 85
(1991), 217–248.
[43]
I. Tamanini and C. Giacomelli, Approximation of Caccioppoli sets, with
applications to problems in image segmentation, Ann. Univ. Ferrara, Nuova
Ser., Sez. VII 35 (1989), 187–213.
[44]
I. Tamanini and C. Giacomelli, Un tipo di approssimazione
«dall’interno»
degli insiemi di perimetro finito, Atti Accad. Naz. Lincei, Cl. Sci. Fis.
Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 1 (1990),
181–187.
[45]
A. Treinov, The Double Obstacle Problem for Functionals with Linear
Growth, PhD thesis, Hamburg, 2021.
[46]
W.K. Ziemer, The nonhomogeneous minimal surface equation involving a
measure, Pac. J. Math. 167 (1995), 183–200.
[47]
W.P. Ziemer, Weakly Differentiable Functions. Sobolev Spaces and
Functions of Bounded Variation, Springer, Berlin, 1989.
Bibliography47
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[1] L. Ambrosio, N. Fusco, and D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems , Oxford University Press, Oxford, 2000.
2[2] E. Barozzi, The curvature of a set with finite area , Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 5 (1994), 149–159.
3[3] E. Barozzi, E. Gonzalez, and I. Tamanini, The mean curvature of a set of finite perimeter , Proc. Am. Math. Soc. 99 (1987), 313–316.
4[4] V. Bögelein, F. Duzaar, and C. Scheven, The obstacle problem for the total variation flow , Ann. Sci. Éc. Norm. Supér. (4) 49 (2016), 1143–1188.
5[5] Z. Buczolich, T. De Pauw, and W.F. Pfeffer, Charges, BV functions, and multipliers for generalized Riemann integrals , Indiana Univ. Math. J. 48 (1999), 1471–1511.
6[6] M. Carriero, G. Dal Maso, A. Leaci, and E. Pascali, Relaxation of the non-parametric Plateau problem with an obstacle , J. Math. Pures Appl. (9) 67 (1988), 359–396.
7[7] Q. Dai, N.S. Trudinger, and X.-J. Wang, The mean curvature measure , J. Eur. Math. Soc. 14 (2012), 779–800.
8[8] Q. Dai, X.-J. Wang, and B. Zhou, The signed mean curvature measure , in: Feehan, Paul M. N. (ed.) et al., Analysis, complex geometry, and mathematical physics: in honor of Duong H. Phong. Contemporary Mathematics 644 , 23–32, 2015.