Abstract
Motivated by a recent model for elasto-plastic evolutions that are driven by the flow of dislocations, this work develops a theory of space-time integral currents with bounded variation in time, which enables a natural variational approach to the analysis of rate-independent geometric evolutions. Based on this, we further introduce the notion of Lipschitz deformation distance between integral currents, which arises physically as a (simplified) dissipation distance. Several results are obtained: A Helly-type compactness theorem, a deformation theorem, an isoperimetric inequality, and the equivalence of the convergence in deformation distance with the classical notion of weak* (or flat) convergence. Finally, we prove that the Lipschitz deformation distance agrees with the (integral) homogeneous Whitney flat metric for boundaryless currents. Physically, this means that two seemingly different ways to measure the dissipation actually coincide.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The recent work [14] introduced a model for the evolution of macroscopic plastic deformations of single crystals based on the movement of dislocations, that is, 1-dimensional topological defects in the crystal lattice [1, 3, 15]. Like in a number of previous works, see, e.g., [7, 8, 22], these dislocations are modelled mathematically as 1-dimensional boundaryless integral currents [9, 18]. An existence result for energetic solutions to the model in [14] is established in [20], for which the theory developed in the present work is an essential ingredient.
A pivotal feature of the approach in [14] is that the evolution of all dislocations with a Burgers vector b (from a finite set \(\mathscr {B}\) of all possible Burgers vectors) is represented as a slip trajectory, namely a 2-dimensional integral current \(S^b\) in the space-time cylinder \([0,T] \times \mathbb {R}^3\) with the property that
Then, the dislocations with Burgers vector b at time \(t \in (0,T)\) are given by
that is, the pushforward under the spatial projection \(\textbf{p}(t,x) := x\) of the slice \(S^b|_t\) of \(S^b\) at time t (more precisely, the slice with respect to the temporal projection \(\textbf{t}(t,x) := t\)). The theory of integral currents in conjunction with (1.1) entails that \(T^b(t)\) is a 1-dimensional integral current and \(\partial T^b(t) = 0\) for almost every \(t \in (0,T)\).
The 2-current in space given as
is the traversed surface from \(T^b(s)\) to \(T^b(t)\). Customarily, \(S^b|_s^t\) is called the slip surface from s to t. The principal reason for our space-time approach, which employs the full slip trajectory and not just the slip surface, is that the evolution of the plastic distortion in the full model requires a ”time index” (i.e., the time coordinate) along the dislocation movement. Also, \(S^b\) may traverse an area multiple times with different orientations, which leads to cancellation in \(S^b|_s^t\), but of course these multiply-traversed areas all have to be counted in the dissipation (that is, the energetic cost of dislocation movement) with their correct ”absolute” multiplicity. We remark that in the context of gradient flows the benefit of space-time currents was also noticed independently in [17].
For the rate-independent case of the model in [14], the dissipational cost as the dislocations (with Burgers vector b) move from time s to time t, is derived in [14, 20] (using the 2-vector version of the geometric slip rate) to be of the form
Here, the function \(R^b :{{\,\mathrm{{\textstyle \bigwedge }}\,}}_2\mathbb {R}^3 \rightarrow [0,\infty )\) is the (possibly anisotropic and b-dependent) convex and 1-homogeneous dissipation potential, which expresses the dissipational cost of a unit slip trajectory, and \(P(\tau ,x)\) denotes the plastic distortion at time \(\tau \) and point x, which keeps track of how much the specimen has deformed plastically at x up to the time \(\tau \). Moreover, we have denoted by \(S^b = \vec {S}^b \, \Vert S^b\Vert \) the Radon–Nikodým decomposition of the integral current \(S^b\) into its orienting 2-vector \(\vec {S}^b \in \text {L}^\infty (\Vert S^b\Vert ;{{\,\mathrm{{\textstyle \bigwedge }}\,}}_2 \mathbb {R}^{1+3})\) (which is simple and has unit length) and the total variation measure \(\Vert S^b\Vert \in \mathscr {M}^+([0,T] \times \mathbb {R}^3)\). Since we assumed \(S^b\) to be an integral 2-current, with the multiplicity and R a (countably) \(\mathscr {H}^2\)-rectifiable set. The applications of \(\textbf{p}\) and P in (1.2) are understood as the pushforwards of a 2-vector under \(\textbf{p}\) and P, respectively, namely \(P(v \wedge w) = (Pv) \wedge (Pw)\) and for non-simple 2-vectors extended by linearity; likewise for \(\textbf{p}\). We refer to Sect. 2 below for details on these notions.
It turns out that the dissipation given in (1.2) controls a type of variation of \(S^b\) in the interval [s, t], namely
Indeed, if we make the natural assumption \(C^{-1}|\xi | \le R^b(\xi ) \le C|\xi |\) (\(C > 0\) independent of b), then, for P close to the identity,
and the claimed coercivity holds. In the case where P is not near the identity, we need to modify the dissipation from the form given in (1.2) by multiplying it with a hardening factor, which depends on (the cofactors of) P. We omit the details of this modification here and refer to the forthcoming work [20] for precise assumptions and the resulting coercivity estimate.
Generalizing to higher-dimensional integral currents, we define the variation of a \((1+k)\)-dimensional integral current S in the space-time cylinder \([0,T] \times \mathbb {R}^d\) as
for any interval \(I \subset [0,T]\). We take this definition as the starting point of a BV-theory of space-time currents, which turns out to be more natural than the classical approach via BV-functions on a time interval with values in the space of integral k-current (metrized with the flat norm). It can also be seen easily, and we will do so in Example 3.1, that classical functions of bounded variation [2] constitute the case \(k = 0\). However, even in this case the present theory is stronger, in particular allowing one to express the path connecting jump endpoints (more akin to BV-liftings [16, 21] or cartesian currents [11, 12]). While our main motivation is to lay the groundwork for the rigorous analysis in [20] of the model from [14], this theory seems interesting in its own right and may be useful for other applications as well.
The first aim of the present work is thus to develop aspects of the general theory of BV space-time currents. Most notably, we will obtain a Helly-type compactness theorem (Theorem 3.7), a suitable deformation theorem (Theorem 4.7), an isoperimetric inequality (Theorem 4.8), and the equivalence of our notion of convergence with respect to a ”deformation distance” (see below) with the classical weak* convergence (or Whitney flat norm convergence) of currents (Theorem 5.1).
The second aim of the present work is to answer the following question, which is compelling from both mathematical and physical perspectives: To measure the ”distance” between two boundaryless integral k-currents \(T_0,T_1\) (e.g., representing dislocation systems if \(k=1\)), we now have two options: Classically, one might measure this distance via the (integral) homogeneous Whitney flat norm (see, e.g., [22] for such an approach in the theory of dislocations), i.e.,
We remark that in this work we use exclusively the integral versions of the flat norm, where all currents are assumed to be integral. In general dimensions it seems to be unknown if they are equal to their non-integral counterparts, see [13] or [4, Remark 5]. Alternatively, in the spirit of the theory developed in the present work, we could employ the deformation distance
We postpone the precise definition of the notion of Lipschitz regularity in time until Sect. 3.1, but its main condition (in this case) is that \(t \mapsto {{\,\textrm{Var}\,}}(S;[0,t])\) is a scalar Lipschitz function.
The first option corresponds to measuring the dissipation as the area of the slip surface and the second option corresponds to measuring the dissipation as the variation of the slip trajectory, i.e., (1.2) for \(R^b(\xi ) = |\xi |\) and \(P = {{\,\textrm{Id}\,}}\) (i.e., isotropically and ”near the identity plastic deformation”). As mentioned before, only the space-time formulation provides us with the ”time index” needed to define the evolution for the plastic distortion P. However, for considerations only pertaining to the dissipational cost of dislocation movement near the identity plastic deformation \(P = {{\,\textrm{Id}\,}}\), the existence of said time index should be irrelevant. Hence, neglecting issues of domains, one may conjecture that
The inequality ”\(\le \)” is obviously true via a pushforward under the spatial projection since the resulting slip surface is admissible in \(\mathbb {F}\). In fact, even the conjectured equality turns out to be true, see Theorem 5.4, but the proof of the inequality ”\(\ge \)” is much more involved. As a consequence of this theorem, one can always find a time-indexed minimizer for \(\mathbb {F}(T_1-T_0)\), which deforms \(T_0\) to \(T_1\) progressively (even with Lipschitz regularity in time). This fact is perhaps somewhat surprising and seems interesting beyond the motivation of the conjecture.
The outline of this paper is as follows: After recalling notation and basic facts in Sect. 2, we introduce the theory of space-time integral currents of bounded variation (in time) in Sect. 3. We build on this is Sect. 4 to define a deformation theory of currents. Finally, Sect. 5 investigates the deformation distance and proves the above conjecture.
2 Notation and preliminaries
In this section we fix our notation, collect some known results, and recall tools that will be needed later on.
2.1 Linear and multilinear algebra
If not stated otherwise, on the space of matrices \(\mathbb {R}^{m \times n}\) we use the Frobenius inner product \(A : B := \sum _{ij} A^i_j B^i_j = {{\,\textrm{tr}\,}}(A^TB) = {{\,\textrm{tr}\,}}(B^TA)\), where upper indices indicate rows and lower indices indicate columns. As matrix norm we use the induced Frobenius norm, i.e., \(|A| := (A : A)^{1/2} = ({{\,\textrm{tr}\,}}(A^T A))^{1/2}\).
In all of the following, let \(k = 0,1,2,\ldots ,n\). We denote the set of k-vectors in an n-dimensional real Hilbert space \(V \cong \mathbb {R}^n\) by \({{\,\mathrm{{\textstyle \bigwedge }}\,}}_k V\) and the set of k-covectors in V by \({{\,\mathrm{{\textstyle \bigwedge }}\,}}^k V\) (in particular, \({{\,\mathrm{{\textstyle \bigwedge }}\,}}_0 V \cong {{\,\mathrm{{\textstyle \bigwedge }}\,}}^0 V \cong \mathbb {R}\) are the real scalars). Recall that a k-vector \(\eta \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}_k V\) is called simple if \(\eta = v_1 \wedge \cdots \wedge v_k\) for \(v_\ell \in V\) (\(\ell = 1,\ldots ,k\)), where ”\(\wedge \)” denotes the exterior (wedge) product; likewise for k-covectors. The duality pairing between a simple k-vector \(\xi = v_1 \wedge \cdots \wedge v_k\) and a simple k-covector \(\alpha = w^1 \wedge \cdots \wedge w^k\) is given as \(\langle \xi ,\alpha \rangle = \det \, (v_i \cdot w^j)^i_j\) and the duality product is then extended to non-simple k-vectors and k-covectors by linearity. For \(\eta \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}_k V\) and \(\alpha \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}^l V\) we define and via
The mass and comass norms of \(\eta \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}_k V\) and \(\alpha \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}^k V\) are denoted by
respectively. Here, a simple k-vector \(\eta \) is called a unit if it can be expressed as \(\eta = v_1 \wedge \cdots v_k\) with the \(v_i\) forming an orthonormal basis of \({{\,\textrm{span}\,}}\eta := {{\,\textrm{span}\,}}\{ v_1, \ldots , v_k \}\).
If \(S :V \rightarrow W\) is linear, where V, W are real finite-dimensional Hilbert spaces, we define the linear map \({{\,\mathrm{{\textstyle \bigwedge }}\,}}^k S :{{\,\mathrm{{\textstyle \bigwedge }}\,}}^k V \rightarrow {{\,\mathrm{{\textstyle \bigwedge }}\,}}^k W\) by setting, for \(v_1, \ldots , v_k \in V\),
and extending by (multi-)linearity to \({{\,\mathrm{{\textstyle \bigwedge }}\,}}^k V\). We will still usually write simply S for \({{\,\mathrm{{\textstyle \bigwedge }}\,}}^k S\).
2.2 Area and coarea formula
For the convenience of the reader (and for easy reference later), we recall the area and coarea formulas and refer to [9, 3.2.22], [2, Sections 2.10, 2.12], [18, Chapter 5] for proofs. As usual, we denote by the k-dimensional Hausdorff measure restricted to a (countably) k-rectifiable set; \(\mathscr {L}^d\) is the d-dimensional Lebesgue measure.
Let \(R \subset \mathbb {R}^d\) be a countably k-rectifiable set with \(\mathscr {H}^k(R \cap K) < \infty \) for every compact set \(K \subset \mathbb {R}^d\), and let \(f :\mathbb {R}^d \rightarrow \mathbb {R}^m\) be Lipschitz continuous. For \(\mathscr {H}^k\)-almost every \(x \in R\) the approximate tangent space \(\text {T}_x R = {{\,\textrm{span}\,}}\{v_1, \ldots , v_k\}\) (with \(\{v_i\}_i\) an orthonormal basis) and the restriction \(D^R f(x)\) of the differential Df(x) to \(\text {T}_x R\) exist. Moreover, we may identify \(D^R f(x)\) with an \((m \times k\))-matrix (with respect to \(\{v_i\}\)). Then, define the k-dimensional Jacobian \(\textbf{J}^R_k f\) of f relative to R for \(k \le m\) via
and for \(k \ge m\) define the m-dimensional Jacobian \(\textbf{J}^R_m f\) of f relative to R via
It is easy to see that the above formulas do not depend on the choice of the orthonormal basis \(\{v_i\}\) (see, e.g., [18, Lemma 5.3.5]).
Proposition 2.1
(Area formula) Let \(R \subset \mathbb {R}^d\) be a countably k-rectifiable set with \(\mathscr {H}^k(R \cap K) < \infty \) for every compact set \(K \subset \mathbb {R}^d\), and let \(f :\mathbb {R}^d \rightarrow \mathbb {R}^m\) be Lipschitz continuous with \(k \le m\). Then, for every \(\mathscr {H}^k\)-measurable map \(g :R \rightarrow \mathbb {R}^N\), it holds that
In particular,
and, if f is injective,
Proposition 2.2
(Coarea formula) Let \(R \subset \mathbb {R}^d\) be a countably k-rectifiable set with \(\mathscr {H}^k(R \cap K) < \infty \) for every compact set \(K \subset \mathbb {R}^d\), and let \(f :\mathbb {R}^d \rightarrow \mathbb {R}^m\) be Lipschitz continuous with \(k \ge m\). Then, for every \(\mathscr {H}^k\)-measurable map \(g :R \rightarrow \mathbb {R}^N\), it holds that
In particular,
2.3 Integral currents
Let us now recall some notions from the theory of currents, see [9, 18] for details and proofs. Denote by \(\mathscr {D}^k(U)\) (\(k \in \mathbb {N}\cup \{0\}\)) the space of (smooth) differential k-forms with compact support in an open set \(U \subset \mathbb {R}^d\) (the ambient dimension d being fixed), that is, \(\mathscr {D}^k(U) := \text {C}^\infty _c(U;{{\,\mathrm{{\textstyle \bigwedge }}\,}}^k \mathbb {R}^d)\), where \(\text {C}^\infty _c(U;W)\) contains all smooth maps that take values in the finite-dimensional normed vector space W and that are compactly supported in U. The exterior differential of \(\omega \in \mathscr {D}^k(U)\) is denoted by \(d\omega \in \mathscr {D}^{k+1}(U)\).
The elements of the dual space \(\mathscr {D}_k(U) := \mathscr {D}^k(U)^*\) are called k-currents. We define the boundary of a k-current \(T \in \mathscr {D}_k(\mathbb {R}^d)\), where now \(k \ge 1\), as the \((k-1)\)-current \(\partial T \in \mathscr {D}_{k-1}(\mathbb {R}^d)\) determined via
For a 0-current T, we formally set \(\partial T := 0\).
In this work we will only deal with restricted subclasses of currents, namely the following: A (local) Borel measure \(T \in \mathscr {M}_\text {loc}(\mathbb {R}^d;{{\,\mathrm{{\textstyle \bigwedge }}\,}}_k \mathbb {R}^d)\) is called an integer-multiplicity rectifiable k-current if it is of the form
that is,
where
-
(i)
\(R \subset \mathbb {R}^d\) is \(\mathscr {H}^k\)-rectifiable with \(\mathscr {H}^k(R \cap K) < \infty \) for all compact sets \(K \subset \mathbb {R}^d\);
-
(ii)
\(\vec {T} :R \rightarrow {{\,\mathrm{{\textstyle \bigwedge }}\,}}_k \mathbb {R}^d\) is \(\mathscr {H}^k\)-measurable and for \(\mathscr {H}^k\)-a.e. \(x \in R\) the k-vector \(\vec {T}(x)\) is simple, has unit length (\(|\vec {T}(x)| = 1\)), and spans the approximate tangent space \({{\,\textrm{T}\,}}_x R\) to R at x;
-
(iii)
;
One calls \(\vec {T}\) the orientation map of T and m the multiplicity.
We denote by the total variation measure of T, so that \(T = \vec {T} \Vert T\Vert \) is the Radon–Nikodým decomposition of T (considered as a measure). The (global) mass of T is
The support \({{\,\textrm{supp}\,}}T\) of T is the support in the sense of measures.
Here and in all of the following, let \(\Omega \subset \mathbb {R}^d\) be a bounded Lipschitz domain, i.e., open, connected and with a (strong) Lipschitz boundary. The members of the following sets are called integral k-currents (\(k \in \mathbb {N}\cup \{0\}\)):
By the boundary rectifiability theorem, see [9, 4.2.16] or [18, Theorem 7.9.3], for \(T \in \mathrm{{I}}_{k}(\mathbb {R}^d)\) it holds that \(\partial T \in \mathrm{{I}}_{{k - 1}}(\mathbb {R}^d)\).
Remark 2.3
In Federer’s language [9, 4.1.29], \(\overline{\Omega }\) is a compact Lipschitz neighborhood retract, i.e., there exists a Lipschitz map that retracts some neighborhood of \(\overline{\Omega }\) onto \(\overline{\Omega }\). In fact, since \(\Omega \) was assumed to be bounded and to have a (strong) Lipschitz boundary, one may proceed by observing that \(\Omega \) is a Lipschitz manifold and thus a Lipschitz neighborhood retract, see, e.g., [19, Theorem 5.13 and Remark 3.2 (3)]).
Let and with \(R_1\) \(k_1\)-rectifiable (not just \(\mathscr {H}^{k_1}\)-rectifiable) or \(R_2\) \(k_2\)-rectifiable, so that the product set \(R_1 \times R_2\) is \(\mathscr {H}^{k_1+k_2}\)-rectifiable. Then, the product current of \(T_1,T_2\) is
For its boundary we have the formula
In particular, for \(T_1 = \llbracket (0,1) \rrbracket \), i.e., the canonical current associated to the interval (0, 1) (with orientation \(+1\) and multiplicity 1), and \(T_2 = T \in \mathrm{{I}}_{k}(\mathbb {R}^d)\),
where \(\delta _z\) as usual denotes the Dirac point mass at z, here understood as a 0-dimensional integral current.
We also recall briefly the notion of pushforwards. Let \(\theta :\overline{\Omega } \rightarrow \mathbb {R}^m\) be smooth and let \(\theta |_{\textrm{supp}T}\) be proper, i.e., \(\theta ^{-1}(K)\cap \textrm{supp}T\) is compact for every compact \(K\subset \mathbb {R}^m\). Further, let . The (geometric) pushforward \(\theta _* T\) (often denoted by ”\(\theta _\# T\)” in the literature, but this can lead to confusion with the measure-theoretic pushforward, cf. [2, p. 32]) is defined via
where \(\theta ^*\omega \) denotes the pullback of the k-form \(\omega \). If \(\theta \) is only Lipschitz continuous, then \(\theta _* T\) is defined via the homotopy formula and a smoothing argument, see [18, Lemma 7.4.3]. It holds that \(\theta _*T\in \textrm{I}_k\overline{(\theta (\Omega ))},\) see, for instance, [18, (3) on p. 197]. Denoting the approximate derivative of \(\theta \) (which is defined almost everywhere) with respect to the \(\mathscr {H}^k\)-rectifiable set R by \(D^R \theta \) (i.e., \(D^R \theta (x)\) is the restriction of \(D\theta (x)\) to \(\text {T}_x R\)), we have
We note further that
As convergence for integral currents we use the weak* convergence, i.e., we say that a sequence \((T_j) \subset \mathrm{{I}}_{k}(\mathbb {R}^d)\) converges weakly* to \(T \in \mathscr {D}_k(\mathbb {R}^d)\), in symbols ”\(T_j \overset{*}{\rightharpoonup }T\)”, if
Moreover, for \(T \in \mathrm{{I}}_{k}(\mathbb {R}^d)\), the (global, integral) Whitney flat norm is given by
Then, one can consider the flat convergence \(\textbf{F}(T_j-T) \rightarrow 0\) for a sequence \((T_j) \subset \mathrm{{I}}_{k}(\mathbb {R}^d)\) as above. We quote two central results on the weak* convergence of integral k-currents:
First, in a bounded Lipschitz domain \(\Omega \subset \mathbb {R}^d\), the weak* convergence is actually equivalent to the flat convergence under a uniform mass bound, see [18, Theorem 8.2.1]:
Proposition 2.4
Let \((T_j) \subset \mathrm{{I}}_{k}(\overline{\Omega })\) with
Then, \(T_j \overset{*}{\rightharpoonup }T\) for some \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) if and only if \(\textbf{F}(T_j-T) \rightarrow 0\).
Second, compactness for integral currents is usually established via the Federer–Fleming compactness theorem, see [9, 4.2.17] or [18, Theorems 7.5.2, 8.2.1]:
Proposition 2.5
Let \((T_j) \subset \mathrm{{I}}_{k}(\overline{\Omega })\) with
Then, there is a subsequence (not relabeled) of \((T_j)\) and a \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) such that \(\textbf{F}(T_j-T) \rightarrow 0\) or, equivalently, \(T_j \overset{*}{\rightharpoonup }T\). Moreover,
2.4 Slicing of integral currents
An integral current can be ”sliced” with respect to the level sets of a Lipschitz map \(f :\mathbb {R}^n \rightarrow \mathbb {R}\), see [18, Section 7.6] or [9, Section 4.3]. For \(\mathscr {L}^1\)-almost every \(t \in \mathbb {R}\), the following statements hold:
-
(i)
The set \(R|_t := f^{-1}(\{t\}) \cap R\) is (countably) \(\mathscr {H}^k\)-rectifiable.
-
(ii)
For \(\mathscr {H}^{k+1}\)-almost every \(z \in R\), the approximate tangent spaces \(\text {T}_z R\) and \(\text {T}_z R|_t\), as well as the approximate gradient \(\nabla ^R f(z)\), i.e., the projection of \(\nabla f(z)\) onto \(\text {T}_z R\), exist and
$$\begin{aligned} \text {T}_z R = {{\,\textrm{span}\,}}\bigl \{ \text {T}_z R|_t, \xi (z) \bigr \}, \qquad \xi (z) := \frac{\nabla ^R f(z)}{|\nabla ^R f(z)|} \perp \text {T}_z R|_t. \end{aligned}$$Moreover, \(\xi (z)\) is simple and has unit length.
-
(iii)
With
$$\begin{aligned} m_+(z) := {\left\{ \begin{array}{ll} m(z) &{}\text {if}~{ \nabla ^R f(z) \ne 0,} \\ 0 &{}\text {otherwise,} \end{array}\right. } \qquad \qquad \xi ^*(z) := \frac{D^R f(z)}{|D^R f(z)|} \in {{\,\mathrm{{\textstyle \bigwedge }}\,}}^1 \mathbb {R}^n, \end{aligned}$$where \(D^R f(z)\) is the restriction of the differential Df(z) to \(\text {T}_z R\), and
the slice
is an integral k-current, \(S|_t \in \mathrm{{I}}_{k}(\mathbb {R}^n)\).
-
(iv)
The coarea formula for slices
$$\begin{aligned} \int _R g \, |\nabla ^R f| \;\text {d}\mathscr {H}^{1+k} = \int \int _{R|_t} g \;\text {d}\mathscr {H}^k \;\text {d}t \end{aligned}$$holds for all \(g :R \rightarrow \mathbb {R}^N\) that are \(\mathscr {H}^{k+1}\)-measurable and such that \(g \, |\nabla ^R f|\) is \(\mathscr {H}^{1+k}\)-integrable on R or \(g \ge 0\). In particular,
$$\begin{aligned} \qquad \int _R |\nabla ^R f| \;\text {d}\Vert S\Vert = \int \textbf{M}(S|_t) \;\text {d}t. \end{aligned}$$ -
(v)
The cylinder formula
(2.4)and the boundary formula
$$\begin{aligned} \partial (S|_t) = - (\partial S)|_t \end{aligned}$$hold.
2.5 Approximation of integral currents
Finally, we recall the following approximation result, which is proved in greater generality in [5, Theorem 1.2] based on [6]. To state it, we let \(\mathrm{{IP}}_{k}(\overline{\Omega })\) be the set of k-dimensional integral polyhedral chains with support in \(\overline{\Omega }\), that is, those \(P \in \mathrm{{I}}_{k}(\overline{\Omega })\) that can be written in the form
where the \(\sigma _\ell \) are oriented convex k-polytopes (\(\ell \in \{1,\ldots ,N\}\)), \(\llbracket \sigma _\ell \rrbracket \) denotes the integral k-current associated with \(\sigma _\ell \) (with unit multiplicity), and \(p_\ell \in \mathbb {N}\).
Proposition 2.6
Let \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T \in \mathrm{{IP}}_{k - 1}(\overline{\Omega })\). Then, for every \(\varepsilon > 0\), there is \(P \in \mathrm{{IP}}_{k}(\overline{\Omega '})\), where \(\Omega ' := \Omega + B(0,\varepsilon )\), and \(Q \in \textrm{I}_{k+1}(\overline{\Omega '})\) such that
with
The important point here is that, unlike in the classical deformation theorem (see [9, 4.2.9] or [18, Section 7.7]), the mass estimate \(\textbf{M}(P) < \textbf{M}(T) + \varepsilon \) holds. We also refer to [10, Theorem 8.22] for an earlier result in this direction; note that Proposition 2.6 is a deformation result (the difference \(T-P\) is expressed as a boundary) and not merely an approximation theorem like [10, Corollary 8.23] or [9, Theorem 4.2.24].
The proof is essentially contained in [5, Theorem 1.2] and [6, Proposition 2.7] (for us, the easier argument of Section 1.2 in [5] suffices). An inspection of this proof yields that if T is an integral current, then also P is an integral polyhedral chain (\(p_\ell \in \mathbb {N}\)). Moreover, also Q (whose boundary is the difference between T and P) is integral since it is constructed via the homotopy formula and the deformation theorem, both of which yield integral currents in the present situation.
3 BV-theory of integral currents
In [14, 20] (also see [17]) it is discussed at some length why it is beneficial to consider evolutions of integral k-currents to be identified with the space-time \((1+k)\)-current ”traced out” by the moving k-current. Below we will introduce the ”variation” of this space-time current as the total traversed spatial area, but not letting opposite movements cancel each other. One noteworthy feature of the present theory is that at jump times the space-time currents contain also a notion of ”jump transient” in their vertical pieces. In this sense, our theory is closer to the BV-liftings investigated in [16, 21] or cartesian currents [11, 12] than to the classical theory of BV-maps [2].
3.1 Variation of space-time integral currents
In the following we will often work in the (Galilean) space-time \(\mathbb {R}^{1+d} \cong \mathbb {R}\times \mathbb {R}^d\), where the first component takes the role of ”time” and the remaining components take the role of ”space”. The unit vectors in \(\mathbb {R}^{1+d}\) are denoted by \(\text {e}_0, \text {e}_1,\ldots ,\text {e}_d\) with \(\text {e}_0\) the ”time” unit vector (pointing in the positive direction). It will be convenient to write the orthogonal projection onto the time component as \(\textbf{t}:\mathbb {R}^{1+d} \rightarrow \mathbb {R}\times \{0\}^d \cong \mathbb {R}\), \(\textbf{t}(t,x) := t\), and the orthogonal projection onto the space component as \(\textbf{p}:\mathbb {R}^{1+d} \rightarrow \{0\} \times \mathbb {R}^d \cong \mathbb {R}^d\), \(\textbf{p}(t,x) := x\). We also denote the linear extensions of these projections to multi-vectors by the same symbols.
Let \(S \in \text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\), where \(\sigma < \tau \). We define the (space-time) variation and (space-time) boundary variation of S in the interval \(I \subset [\sigma ,\tau ]\) via, respectively,
If \([\sigma ,\tau ] = [0,1]\), then we also write \({{\,\textrm{Var}\,}}(S)\), \({{\,\textrm{Var}\,}}(\partial S)\) for \({{\,\textrm{Var}\,}}(S;[0,1])\), \({{\,\textrm{Var}\,}}(\partial S;[0,1])\). Clearly, the variation is additive in the interval I, that is, for \(\sigma \le r< s < t \le \tau \) it holds that
Since \(|\textbf{p}(\vec {S})| \le 1\),
and likewise for the boundary variation. A reverse estimate will be given in Lemma 3.5 below.
Via the slicing theory of currents, for \(\mathscr {L}^1\)-almost every \(t \in [\sigma ,\tau ]\) we can define
where \(S|_t \in \mathrm{{I}}_{k}([\sigma ,\tau ] \times \overline{\Omega })\) denotes the slice of S with respect to time (i.e., with respect to \(\textbf{t}\)). Note that if \(S \in \text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) has a jump at \(t \in [\sigma ,\tau ]\), that is, \(\Vert S\Vert (\{t\} \times \mathbb {R}^d) > 0\), then \(S|_t\) does not exist and the vertical piece takes the role of a ”jump transient”, i.e., the specific surface connecting the endpoints of the jump.
We also introduce the set of integral \((1+k)\)-currents with Lipschitz continuity, or Lip-integral\((1+k)\)-currents, as follows:
where \(\text {Lip}([\sigma ,\tau ])\) denotes the space of scalar Lipschitz functions on the interval \([\sigma ,\tau ]\). We remark that there seems to be little point in defining a space like ”\(\text {BV}([\sigma ,\tau ];\mathrm{{I}}_{k}(\overline{\Omega }))\)” since by (3.3) and Lemma 3.5 below the mass and variation are comparable in the presence of a uniform mass bound on the slices.
Let us consider some examples to illustrate the above notions.
Example 3.1
Let \(u \in \text {BV}([0,1])\) (see [2]) and define with
where \(u^\theta (t) := (1-\theta )u^-(t) + \theta u^+(t)\) is the affine jump between the left and right limits \(u^\pm (t) = u(t\pm )\) (which are equal to u(t) if t is a continuity point), and \(\tau \) is the forward-pointing unit tangent to \({{\,\textrm{graph}\,}}(u)\) (with \(\tau \cdot \text {e}_0 \ge 0\)). In this case, \({{\,\textrm{Var}\,}}(S_u;I) = {{\,\textrm{Var}\,}}(u;I) = |Du|(I)\) for every interval \(I \subset [0,1]\). This can be seen as follows: By a smoothing argument and Reshetnyak’s continuity theorem (see, e.g., [2, Theorem 2.39]) we may without loss of generality assume that \(u \in \text {C}^1([0,1])\). Then,
where we used the area formula, Proposition 2.1. Clearly, \(S_u \in \text {I}^\text {Lip}_{1+0}([0,1] \times \mathbb {R})\) if and only if u is Lipschitz. In this sense, the classical notions of BV- and Lipschitz-functions (with scalar values) constitute the 0-dimensional case of our theory.
Example 3.2
Let \(\Omega \) be star-shaped with vertex \(p \in \Omega \), and let \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\). Define \(H(t,x) := (1-t)p + tx\) and \({\overline{H}}(t,x) := (t,H(t,x))\). The cone
satisfies \(\partial (p {{\,\mathrm{\lhd }\,}}T) = \delta _1 \times T - p {{\,\mathrm{\lhd }\,}}\partial T\) (see 2.1, 2.3).
Example 3.3
Let \(f_C :[0,1] \rightarrow [0,1]\) be the Cantor–Vitali function [2, Example 1.67] and let \(S_C\) be the ”Cantor cone”, that is, the set in \(\mathbb {R}^{1+2}\) obtained by rotating the graph of \(f_C\) around the time axis. As the graph of \(f_C\) is 1-rectifiable (with length 2), we get that \(S_C\) is 2-rectifiable. Hence, with a choice of orientation, \(S_C \in \text {I}_2(\mathbb {R}^3)\). Then, \(S_C(t) \in \text {I}_1(\mathbb {R}^2)\) for \(t \in [0,1]\) is the circle lying around the origin with radius \(f_C(t)\) and \({{\,\textrm{Var}\,}}(S_C;[0,t]) = \pi f_C(t)^2\). Hence, \(S_C \notin \text {I}^\text {Lip}_{1+1}([0,T] \times \mathbb {R}^2)\).
Like the classical variation, also our space-time variation is invariant with respect to time rescalings:
Lemma 3.4
Let \(S \in \textrm{I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) and let \(a \in \textrm{Lip}([\sigma ,\tau ])\) be injective. Then,
with
and
If \(S \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([\sigma ,\tau ] \times \overline{\Omega })\), then also \(a_* S \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}(a([\sigma ,\tau ]) \times \overline{\Omega })\).
Proof
If with a countably \((1+k)\)-rectifiable set \(R \subset \mathbb {R}^{1+d}\), we get (see, e.g., [18, (3) on p. 197])
where here and in the following we identify a with the space-time map \((t,x) \mapsto (a(t),x)\). Since a only transforms the time coordinate,
and
Hence,
where we used the area formula (Proposition 2.1). The equality for the boundary variation follows in the same way. The additional claim about Lip-integral currents is then also clear. \(\square \)
3.2 Pointwise variation and mass estimates
We now explore how our definition of variation relates to the variation with respect to the flat norm.
Let \(\sigma< s< t < \tau \) such that S(s), S(t) are defined for \(S \in \text {I}_{1+k}([\sigma ,\tau ] \times \mathbb {R}^d)\) (in particular, \(\Vert S\Vert (\{s\} \times \mathbb {R}^d) = \Vert S\Vert (\{t\} \times \mathbb {R}^d) = 0\)). Then, for
it holds that (see the cylinder formula (2.4))
Next, we observe
Also setting , we have \(S(t) - S(s) = \partial Q + R\) and thus
since Q, R are admissible in the definition of \(\textbf{F}(S(t)-S(s))\). From this we immediately obtain for the pointwise F-variation
the estimates
Thus, \(t \mapsto S(t)\) and \(t \mapsto \partial S(t)\) are functions of bounded (pointwise) variation with respect to \(\textbf{F}\).
Assume now additionally a uniform bound on \(\textbf{M}(S(t)) + \textbf{M}(\partial S(t))\) for \(t \in [\sigma ,\tau ]\). One then obtains, using the Federer–Fleming compactness theorem, Proposition 2.5, that at every \(t \in [\sigma ,\tau ]\) the left and right limits exist with respect to weak* convergence in \(\mathrm{{I}}_{k}(\overline{\Omega })\) (only one-sided limits at \(\sigma ,\tau \)). Indeed, for instance, if there were sequences \(t_j \downarrow t\) and \({\widetilde{t}}_j \downarrow t\) with \(0< \delta < \textbf{F}(S(t_j)-S({\widetilde{t}}_j))\) for all j, then, up to selecting a subsequence, \(\infty = \sum _j \textbf{F}(S(t_j)-S({\widetilde{t}}_j)) \le \text {pV}_\textbf{F}(S;[t,\tau ]) < \infty \), which is a contradiction; likewise for left limits.
Thus, we may define the right-continuous good representative \({\widetilde{S}} :[\sigma ,\tau ) \rightarrow \mathrm{{I}}_{k}(\overline{\Omega })\) of S for any \(t \in [\sigma ,\tau )\) as
which satisfies \({\widetilde{S}}(t) = S(t)\) for \(\mathscr {L}^1\)-almost every \(t \in [\sigma ,\tau )\). In the following we will drop the tilde and just refer to \({\widetilde{S}}(t)\) as S(t).
From the above arguments we further obtain the following \(\textbf{F}\)-Poincaré inequality for the good representative:
Here we have additionally set \(S(\tau ) := S(\tau -)\). This implies in particular that if \(t \in [\sigma ,\tau ]\) is a continuity point of \(t \mapsto {{\,\textrm{Var}\,}}(S;[\sigma ,t])\) and \(t \mapsto {{\,\textrm{Var}\,}}(\partial S;[\sigma ,t])\), then t is also a (weak*) continuity point of \(t \mapsto S(t)\), that is, \(S(t-) = S(t+)\). Note, however, that the inequality (3.5) is too weak to give a uniform mass bound on \(t \mapsto S(t)\) in terms of the variation.
If even \(S \in \text {I}^\text {Lip}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\), then the \(\textbf{F}\)-Lipschitz constant
of (the good representative of) S is finite and \(t \mapsto S(t)\) is continuous with respect to the weak* convergence in \(\mathrm{{I}}_{k}(\overline{\Omega })\). Moreover,
which can be seen by considering and using that \(\Vert S\Vert (\{\sigma ,\tau \} \times \mathbb {R}^d) = 0\) to see that \(t \mapsto {\widetilde{S}}(t)\) has \(\sigma ,\tau \) as (weak*) continuity points. In conclusion, \(S(\sigma +), S(\tau -)\) can be considered the left and right trace values of S.
It is important to notice that, in general, \(\text {pV}_\textbf{F}(S;[\sigma ,\tau ])\) is strictly smaller than \({{\,\textrm{Var}\,}}(S;[\sigma ,\tau ]) + {{\,\textrm{Var}\,}}(\partial S;[\sigma ,\tau ])\) since \(\text {pV}_\textbf{F}(S;[\sigma ,\tau ])\) always counts the jump variations via the \(\textbf{F}\)-distance between the jump endpoints \(S(t\pm )\). On the other hand, as we have mentioned already, a \((1+k)\)-surface in \(\text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) always additionally specifies the jump transients, which may not be \(\textbf{F}\)-minimal.
The next ”Pythagoras” lemma gives an estimate for the mass of an integral \((1+k)\)-current in terms of the masses of the slices and the variation.
Lemma 3.5
Let . Then,
and
Proof
Let us first recall that for \(\mathscr {L}^1\)-almost every \(t \in [0,T]\) and \(\Vert S|_t\Vert \)-almost every (t, x) the approximate tangent spaces \(\text {T}_{(t,x)} R, \text {T}_{(t,x)} R|_t\) as well as the approximate differential \(D^R \textbf{t}(t,x)\) and the approximate gradient \(\nabla ^R \textbf{t}(t,x)\) exist (see Sect. 2.4). Moreover,
Thus, with
we have
The second equality here follows from the general relation for any (see [9, 1.5.3]).
In the following we fix t, x as above and suppress the arguments (t, x). We observe that (note \(|\xi | = 1\))
and (recall \(\textbf{p}(\xi ) \perp \vec {S}|_t\))
Since \(|\textbf{t}(\xi )|^2 + |\textbf{p}(\xi )|^2 = 1\), we obtain (3.7). Then,
where in the last line we have used the coarea formula for slices and the definition of the variation. This yields the second claim. \(\square \)
Example 3.6
Let \(R \in \mathrm{{I}}_{k}(\mathbb {R}^d)\) be an integral k-current, \(k \ge 1\), with \(\textbf{M}(R) = 1\), but \(\textbf{M}(\partial R) = N \in \mathbb {N}\) (e.g., a disk with ”rough” boundary). Then, if p lies in the relative interior of R, we define (recalling the definition of the cone in Example 3.2)
One computes that \({{\,\textrm{Var}\,}}(S;[0,1]) = 2\) (the cone and the endpoint cap each have variation \(\textbf{M}(R) = 1\)) and \({{\,\textrm{Var}\,}}(\partial S;[0,1]) = 0\). On the other hand, \(\textbf{M}(S(t)) = tN\) for almost every \(t \in [0,1]\). This shows that \({{\,\mathrm{ess\,sup}\,}}_{t \in [0,1]} \textbf{M}(S(t))\) is not controlled by any expression involving only \({{\,\textrm{Var}\,}}(S;[0,1])\) and \({{\,\textrm{Var}\,}}(\partial S;[0,1])\) besides constants, unless \(k = 0\) and we are in the case of BV-maps and every slice is a Dirac point mass (see Example 3.1).
3.3 Weak* convergence and compactness
We say that \((S_j) \subset \text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) converges BV-weakly* to \(S \in \text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) as \(j \rightarrow \infty \), in symbols ”\(S_j \overset{*}{\rightharpoonup }S\) in BV”, if
For this convergence we have the following version of Helly’s selection principle:
Theorem 3.7
(Compactness theorem) Assume that the sequence \((S_j) \subset \textrm{I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) satisfies
for all \(j \in \mathbb {N}\). Then, there exists \(S \in \textrm{I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) and a (not relabelled) subsequence such that
Moreover,
If additionally \((S_j) \subset \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([\sigma ,\tau ] \times \overline{\Omega })\) such that the Lipschitz constants \(L_j\) of the scalar maps \(t \mapsto {{\,\textrm{Var}\,}}(S_j;[\sigma ,t]) + {{\,\textrm{Var}\,}}(\partial S_j;(\sigma ,t))\) are uniformly bounded, then also \(S \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([\sigma ,\tau ] \times \overline{\Omega })\) with Lipschitz constant bounded by \(\liminf _{j\rightarrow \infty } L_j\). Moreover, in this case, \(S_j(t) \overset{*}{\rightharpoonup }S(t)\) in \(\mathrm{{I}}_{k}(\overline{\Omega })\) for every \(t \in [\sigma ,\tau )\).
Proof
From the assumptions we infer a uniform bound on the masses \(\textbf{M}(S_j)\) and \(\textbf{M}(\partial S_j)\) via Lemma 3.5. Then, the first convergence \(S_j \overset{*}{\rightharpoonup }S\) in \(\text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\), up to selecting a subsequence, follows directly from the Federer–Fleming compactness theorem in \(\text {I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\), see Proposition 2.5.
By the cylinder formula (2.4),
and likewise for \(S_j|_t\). If \(\Vert S_j\Vert + \Vert \partial S_j\Vert \overset{*}{\rightharpoonup }\nu \) in \(\mathscr {M}^+([\sigma ,\tau ] \times \mathbb {R}^d)\) (for a subsequence), then standard results in measure theory (see, e.g., [2, Theorem 1.62 (b)]) imply that for all \(t \in [\sigma ,\tau ]\) with \(\nu (\{t\} \times \mathbb {R}^d) = 0\) it holds that
for all \(\omega \in \mathscr {D}^k(\mathbb {R}^{1+d})\). Thus, for these t,
Since there are only at most countably many t’s with \(\nu (\{t\} \times \mathbb {R}^d) > 0\), we obtain that
This shows the second convergence \(S_j(t) \overset{*}{\rightharpoonup }S(t)\) in \(\mathrm{{I}}_{k}(\overline{\Omega })\) for \(\mathscr {L}^1\)-almost every \(t \in [\sigma ,\tau ]\).
The lower semicontinuity of the mass and variation follow in the usual way from the weak* convergences. Indeed, the variation \({{\,\textrm{Var}\,}}(S_j;[\sigma ,\tau ])\) is lower semicontinuous by Reshetnyak’s lower semicontinuity theorem (see, for instance, [2, Theorem 2.38]), i.e.,
since the integrand is positively 1-homogeneous, convex (as the composition of a convex and a linear map on \({{\,\mathrm{{\textstyle \bigwedge }}\,}}_{1+k} \mathbb {R}^{1+d}\)), and continuous.
Finally, assume that \((S_j) \subset \text {I}^\text {Lip}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) and the Lipschitz constants \(L_j\) of the scalar maps \(t \mapsto {{\,\textrm{Var}\,}}(S_j;[\sigma ,t]) + {{\,\textrm{Var}\,}}(\partial S_j;(\sigma ,t))\) are uniformly bounded by \(L^* > 0\). Then, by Lemma 3.5, for almost every \(s,t \in (\sigma ,\tau )\) and every \(j \in \mathbb {N}\),
Likewise, we obtain \(\Vert \partial S_j\Vert ([s,t] \times \mathbb {R}^d) \le (C+L^*) |s-t|\). Then, for the measure \(\nu \) defined above it holds that \(\nu (\{t\} \times \mathbb {R}^d) = 0\) for all \(t \in [\sigma ,\tau )\). Consequently, the same argument as before yields that \(S_j(t) \overset{*}{\rightharpoonup }S(t)\) in \(\mathrm{{I}}_{k}(\overline{\Omega })\) at every \(t \in [\sigma ,\tau )\).
Finally, for \(s,t \in [\sigma ,\tau ]\) it holds that
by the same argument based on Reshetnyak’s theorem as above, where \(L := \liminf _{j\rightarrow \infty } L_j\); similarly for the boundary variation. In particular, \(S \in \text {I}^\text {Lip}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) with Lipschitz constant bounded by L. \(\square \)
Corollary 3.8
Assume that \(S_j \overset{*}{\rightharpoonup }S\) in \(\textrm{I}_{1+k}([\sigma ,\tau ] \times \overline{\Omega })\) and
for all \(j \in \mathbb {N}\). Then, \(S_j \overset{*}{\rightharpoonup }S\) in BV.
Proof
Since \(S_j \overset{*}{\rightharpoonup }S\) and \(\partial S_j \overset{*}{\rightharpoonup }\partial S\) in the sense of measures (which follows from the weak* convergence as currents), we have that \(\textbf{M}(S_j) + \textbf{M}(\partial S_j) \le C\) for some constant \(C > 0\). Then also \({{\,\textrm{Var}\,}}(S_j;[\sigma ,\tau ]) + {{\,\textrm{Var}\,}}(\partial S_j;[\sigma ,\tau ]) \le C\) by (3.3) and so the assumptions of the preceding theorem are satisfied. Since the limit is already determined, we get \(S_j \overset{*}{\rightharpoonup }S\) in BV. \(\square \)
4 Deformations
In this section we consider progressive-in-time deformations of (boundaryless) integral currents. To see how one could generalize currents deformed via \(\text {C}^1\)-homotopies (or Lipschitz-homotopies), we first examine the classical situation: Let \(\Omega \subset \mathbb {R}^d\) be a bounded Lipschitz domain and let \(H \in \text {C}^1([0,1] \times \overline{\Omega };\overline{\Omega })\) be a \(\text {C}^1\)-homotopy between the identity and \(g \in \text {C}^1(\overline{\Omega };\overline{\Omega })\), i.e., \(H(0,x) = x\) and \(H(1,x) = g(x)\); we also set \({\overline{H}}(t,x) := (t,H(t,x))\). For \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T = 0\) define the deformation trajectory
where we have denoted by \(\llbracket (0,1) \rrbracket \) the canonical current associated with the interval (0, 1). Then, by (2.1) we have
Moreover, since H was assumed to possess \(\text {C}^1\)-regularity,
and \(t \mapsto S|_t\) can be understood as a continuous deformation of T into \(g_* T\).
Unfortunately, the class of \(\text {C}^1\)-homotopies is not closed in a topology suitable for our needs. Furthermore, \(\text {C}^1\)-homotopies do not allow to move overlapping or intersecting parts of currents into different directions since they represent deformations of the underlying space and not of the currents themselves. Our generalization of a deformation is thus based on the deformation trajectory S itself.
4.1 Homotopies
We first consider the case of Lipschitz homotopies in more detail. The following lemma also provides a further motivation for our definitions (3.1), (3.2) of the variation. Indeed, (4.2), (4.3) below show that in the case of essentially injective homotopies (which do not reverse direction and have no overlaps) the variation measures precisely the mass of the pushforward of the space-time current under the spatial projection (the ”slip surface” in the situation of dislocations).
Lemma 4.1
Let \(\Omega \subset \mathbb {R}^d\) and \(\Omega ' \subset \mathbb {R}^m\) be bounded Lipschitz domains, let \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\), and let \(H \in \textrm{Lip}([0,1] \times \overline{\Omega };\overline{\Omega '})\) be a homotopy that is essentially injective in the sense that
where \({\overline{H}}(t,x) := (t,H(t,x))\). Set \(S_H := {\overline{H}}_* (\llbracket (0,1) \rrbracket \times T)\). Then, for all intervals \([\sigma ,\tau ] \subset [0,1]\),
Proof
Let with a countably k-rectifiable carrier set R such that \(\mathscr {H}^k(R) < \infty \), and a \(\mathscr {H}^k\)-measurable and integrable multiplicity function \(m :R \rightarrow \mathbb {N}\). Fix an interval \([\sigma ,\tau ] \subset [0,1]\) and set \(Z := (\sigma ,\tau ) \times R\), which is a countably \((1+k)\)-rectifiable set. Assume furthermore that
We have for \(\omega \in \mathscr {D}^{1+k}(\mathbb {R}^{1+m})\) that
by (2.2) and the area formula, Proposition 2.1. Note that \(|D^Z {\overline{H}}(t,x)[\text {e}_0 \wedge \vec {T}(x)]|\) is precisely the modulus of the k-dimensional Jacobian of \({\overline{H}}\) at (t, x) with respect to Z. It follows, see, e.g., [18, eq. (7.29)]), that
Define
Our assumption (4.1) now implies that whenever \(\eta (t,x) \ne 0\), then in (4.4) we have
on a set of full measure (there is only one term in the sum). Thus,
By similar arguments as before, for \(\omega \in \mathscr {D}^{1+k}(\mathbb {R}^m)\) it also holds that
We now find a measurable k-covector field \({\widetilde{\omega }} :D \rightarrow {{\,\mathrm{{\textstyle \bigwedge }}\,}}^k \mathbb {R}^m\) with \(|{\widetilde{\omega }}| \le 1\) and \(\langle \eta (t,x),{\widetilde{\omega }}(t,x) \rangle = |\eta (t,x)|\). Then, by (4.1), there exists a measurable k-covector field \({\widehat{\omega }} :\overline{\Omega } \rightarrow {{\,\mathrm{{\textstyle \bigwedge }}\,}}^k \mathbb {R}^m\) satisfying \(|{\widehat{\omega }}| \le 1\) and
for \((t,x) \in D\). By a standard smoothing argument we thus obtain
and the other inequality ”\(\le \)” is easily seen to be true as well. Consequently, using this equality in (4.5),
This shows (4.2); the boundary estimate (4.3) follows in the same way. \(\square \)
Remark 4.2
The proof shows that one could also require the slightly weaker condition
where \(Z := (0,1) \times R\) (with R being the carrier set of T), instead of (4.1).
The prototypical class of deformation trajectories is defined via affine homotopies:
Lemma 4.3
Let \(\Omega \subset \mathbb {R}^d\) and \(\Omega ' \subset \mathbb {R}^m\) be bounded Lipschitz domains and let H be an affine homotopy between \(f,g \in \textrm{Lip}(\overline{\Omega };\overline{\Omega '})\), i.e.,
Let \(T \in \textrm{I}_k(\overline{\Omega })\) and set \(S_H := {\overline{H}}_* (\llbracket (0,1) \rrbracket \times T)\), where \({\overline{H}}(t,x) := (t,H(t,x))\). Then,
and, for all intervals \([\sigma ,\tau ] \subset [0,1]\) and almost every \(t \in [0,1]\),
where, for \(\ell = k-1,k\),
and the \(\text {L}^\infty \)-norms may be taken over the support of T.
Proof
We use the same notation as in the proof of Lemma 4.1. Recalling (4.4) (which holds independently of the injectivity hypothesis (4.1)), we can estimate
A computation shows
and then
So,
where we have used the area formula again in the second-to-last equality. This shows (4.7).
For the boundary variation \({{\,\textrm{Var}\,}}(\partial S_H;(\sigma ,\tau ))\) we observe via (2.1), (2.3) that
We can argue in a similar fashion to above to obtain (4.8) (note that the interval is open, so that the endpoint terms are not counted). For (4.9) we use that for almost every \(t \in (0,1)\) it holds that
This follows from the cylinder formula (2.4). Then, for \(\omega \in \mathscr {D}^k(\mathbb {R}^m)\),
Taking the supremum over all \(\omega \in \mathscr {D}^k(\mathbb {R}^m)\) with \(|\omega | \le 1\) and employing a similar estimate as above yields (4.9); likewise for (4.10). Then, also (4.6) follows. \(\square \)
Remark 4.4
Note that for an affine homotopy from f to g as in the preceding lemma,
which is zero in particular where \(f = g\) (that is, where the affine homotopy ”stands still”). So, in this case, the assumption (4.1) in Lemma 4.1 is implied by the more restrictive, but easier to check, condition
4.2 Operations on space-time currents
Before we come to the main results of this section, it is convenient to define the concatenation and reversal of space-time currents with boundaryless traces at the start end end points:
Lemma 4.5
Let \(S_1,S_2 \in \textrm{I}_{1+k}([0,1] \times \overline{\Omega })\) with
where \(T_0,T_1,T_2 \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T_0 = \partial T_1 = \partial T_2 = 0\). Then, there is \(S_2 \circ S_1 \in \textrm{I}_{1+k}([0,1] \times \overline{\Omega })\), called the concatenation of \(S_1,S_2\), with
and
Furthermore, if \(S_1,S_2 \in \textrm{I}_{{1 + k}}^{{{\textrm{Lip}}}}([0,1] \times \overline{\Omega })\), then also \(S_2 \circ S_1 \in \textrm{I}_{{1 + k}}^{{{\textrm{Lip}}}}([0,1] \times \overline{\Omega })\).
Proof
We set
Then, all claimed properties follow directly from Lemma 3.4. \(\square \)
Lemma 4.6
Let \(S \in \textrm{I}_{1+k}([0,1] \times \overline{\Omega })\) with
where \(T_0,T_1 \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T_0 = \partial T_1 = 0\). Then, there is \(S^{-1} \in \textrm{I}_{1+k}([0,1] \times \overline{\Omega })\), called the reversal of S, with
and
Furthermore, if \(S \in \textrm{I}^{\textrm{Lip}}_{1+k}([0,1] \times \overline{\Omega })\), then also \(S^{-1} \in \textrm{I}^{\textrm{Lip}}_{1+k}([0,1] \times \overline{\Omega })\).
Proof
We set
and again conclude by Lemma 3.4. \(\square \)
4.3 Deformation theorem
In this section we establish a version of the deformation theorem (see [9, 4.2.9] or [18, Section 7.7]) that is adapted to our BV-theory of integral currents. Let us emphasize that this theorem requires the current being approximated to be integral and boundaryless. Also recall our standing assumption that \(\Omega \subset \mathbb {R}^d\) is a bounded Lipschitz domain.
Theorem 4.7
(Deformation theorem) Let \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T = 0\). Then, for all \(\rho > 0\) there exists \(S \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([0,1] \times \overline{\Omega '})\), where \(\Omega ' := \Omega + B(0,(\sqrt{d}+1)\rho )\), such that
Here, \(\llbracket F \rrbracket \) is the integral current associated to an oriented k-face \(F \in \mathscr {F}_k(\rho )\) of one of the cubes \(\rho z + (0,\rho )^d\) (with unit multiplicity and a fixed choice of orientation), \(z \in \mathbb {Z}^d\), and \(p_F \in \mathbb {Z}\). Moreover,
Here, the constant \(C > 0\) depends only on the dimensions.
Proof
It suffices to prove the theorem for \(\rho = 1\); the general case is reduced to \(\rho = 1\) by scaling. Indeed, setting \(r^\alpha (x) := \alpha x\) for \(\alpha > 0\) and \(x \in \mathbb {R}^d\), we may apply the result in the version for \(\rho = 1\) to \({\widetilde{T}} := r^{1/\rho }_* T\) (in a suitable domain) to obtain \({\widetilde{P}},{\widetilde{S}}\) as in the statement of the theorem for \(\rho = 1\). Then, set \(P := r^{\rho }_* {\widetilde{P}}\), \(S := r^{\rho }_* {\widetilde{S}}\) (or, more verbosely, \(S := [(t,x) \mapsto (t,\rho x)]_* {\widetilde{S}}\)). These P, S satisfy the conclusion of the theorem for our \(\rho \) since P, T and S(t) (for a.e. \(t \in [0,1]\)) have the same dimension k and S has dimension \(1+k\), whereby
One quick way to see the first equality is to observe that
by the area formula and Lemma 3.4.
So, in the following let \(\rho = 1\). Inspecting the proof of the standard deformation theorem, in the version of [18, Sections 7.7, 7.8], say, we observe that in the present situation of boundaryless integral currents the proof proceeds by constructing a homotopy from T to a P of the form
with
We remark in particular that in the last step of the proof of the deformation theorem (as in [18, Section 7.8]) we do not need to modify the retraction onto any k-face since \(\partial T = 0\) (by the constancy theorem, see [18, Proposition 7.3.5]) and P is indeed a homotopical image of T. The homotopy constructed is seen to be the concatenation of two affine homotopies: The first affine homotopy, call it \(H_1\), goes from the identity to a translation \(t^a(x) := x + a\) (\(|a| < 1\)). The second affine homotopy, \(H_2\), goes from the identity to the ”radial” retraction \(\psi \) onto the k-skeleton (defined in [18, Section 7.7]).
We have and
where \({\overline{H}}_1(t,x) := (t,H_1(t,x))\). From Lemma 4.3 we obtain
Moreover, it can be shown (see [18, top of p. 218]) that a may be chosen such that
Thus, from Lemma 4.3 we get for
where \({\overline{H}}_2(t,x) := (t,H_2(t,x))\), that also
Once we concatenate \(S_{H_1}\) and \(S_{H_2}\) via Lemma 4.5, we obtain that for
it holds that \(\partial S = \delta _1 \times P - \delta _0 \times T\) and
The statement about the essential mass bound on S(t) also follows from the estimates of Lemmas 4.3, 4.5. This finishes the proof. \(\square \)
As a corollary, we obtain the following version of the isoperimetric inequality:
Theorem 4.8
(Isoperimetric inequality) Let \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\), \(k \ge 1\), with \(\partial T = 0\). Then, there exists \(S \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([0,1] \times \overline{\Omega '})\), where \(\Omega ' := \Omega + B(0,C\textbf{M}(T)^{1/k})\), such that
and
Here, the constant \(C > 0\) depends only on the dimensions.
Proof
The proof is similar to the one for the classical isoperimetric inequality and follows immediately from the deformation theorem: Assuming that \(T \ne 0\), we let P, S as in the deformation theorem with
where \(C > 0\) is the constant from said theorem. By a scaling argument, \(\textbf{M}(P) = N(\rho )\rho ^k\) for some nonnegative integer \(N(\rho )\). From the estimates in the deformation theorem we have \(\textbf{M}(P) \le C \textbf{M}(T)\) and thus
So, \(2N(\rho ) \le 1\), whereby \(N(\rho ) = 0\), and hence \(P = 0\). This immediately yields all the claimed statements. \(\square \)
5 Deformation distance
We now define a metric measuring the distance between two boundaryless integral k-currents via progressive-in-time deformations, namely Lip-integral currents. In all of the following, \(\Omega \subset \mathbb {R}^d\) is a bounded Lipschitz domain.
For \(T_0, T_1 \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T_0 = \partial T_1 = 0\), the (Lipschitz) deformation distance between \(T_0\) and \(T_1\) is
That is positive definite, symmetric, and obeys the triangle inequality follows immediately from Lemmas 4.5, 4.6 and the fact that \({{\,\textrm{Var}\,}}(S) = 0\) for \(S \in {\text {I}^\text {Lip}_{1+k}}([0,1] \times \overline{\Omega })\) with \(\partial S = \delta _1 \times T_1 - \delta _0 \times T_0\) implies that \(T_0 = T_1\). We remark that is not necessarily finite if \(\overline{\Omega }\) has holes that can be detected by boundaryless integral k-currents.
5.1 Equivalence theorem
With regard to the notion of convergence induced by the (Lipschitz) deformation distance, we have the following result:
Theorem 5.1
(Equivalence theorem) For every \(M > 0\) and \(T_j,T\) (\(j \in \mathbb {N}\)) in the set \( \bigl \{\, T \in \mathrm{{I}}_{k}(\overline{\Omega }) \ \ {\textbf {:}} \ \ \partial T = 0, \; \textbf{M}(T) \le M \,\bigr \} \) the following equivalence holds (as \(j \rightarrow \infty \)):
Moreover, in this case, for all j from a subsequence of the j’s, there are \(S_j \in \textrm{I}_{{1 + k}}^{{\mathrm{{Lip}}}}([0,1] \times \overline{\Omega })\) with
and
Here, the constant \(C > 0\) depends only on the dimensions and on \(\Omega \).
Proof
For the first direction, assume \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_j,T) \rightarrow 0\). By (3.5) we have \(\textbf{F}(T_j-T) \le {{\,\textrm{Var}\,}}(S)\) for any \(S \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) with \(\partial S = \delta _1 \times T_j - \delta _0 \times T_0\). Here, we remark that we do not require the boundary variation since the only contributions to \({{\,\textrm{Var}\,}}(\partial S)\) are at the endpoints 0, 1, but we can restrict to the open interval (0, 1) and use the right and left limits, cf. (3.6). Thus,
Then, the claim \(T_j \overset{*}{\rightharpoonup }T\) follows from Proposition 2.4, or directly as follows: For \(\omega \in \mathscr {D}^k(\mathbb {R}^d)\),
For the other direction, assume \(T_j \overset{*}{\rightharpoonup }T\) in \(\mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T_j = \partial T = 0\) and \(M := \sup _j \textbf{M}(T_j) < \infty \). We need to show that
The first step is to observe that for all \(N \in \mathbb {N}\) sufficiently large there exists a finite collection \(\textbf{P}_N \subset \mathrm{{I}}_{k}(\overline{\Omega })\) such that for all \({\widehat{T}} \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial {\widehat{T}} = 0\) and \(\textbf{M}({\widehat{T}}) \le M\) it holds that
where the constant \(C > 0\) and the lower bound for N depend only on the dimensions and the domain \(\Omega \). We first claim that (5.3) holds (with \(C = 1\) and for all \(N \in \mathbb {N}\)) for \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega '}}\), where we have set \(\Omega ' := \Omega + B(0,(\sqrt{d}+1)\rho ) \Supset \Omega \) is as in our deformation theorem, Theorem 4.7, with \(\rho := 2^{-N}/(C_{d,k}M)\) (with \(C_{d,k}\) the constant from the deformation theorem). Indeed, for \(\textbf{P}_N\) we take the collection of all polyhedral chains P that can possibly satisfy the conclusion of the deformation theorem for a \({\widehat{T}}\) as above, which is clearly a finite set. Thus, (5.3) is established in \(\overline{\Omega '}\).
Next, for N sufficiently large (how large only depending on \(\Omega \)), we may retract \(\overline{\Omega '}\) to \(\overline{\Omega }\). In this context recall that \(\Omega \) is always assumed to be a bounded Lipschitz domain and hence a Lipschitz neighborhood retract, see Remark 2.3. Thus, (5.3) also holds for \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}\) and with \(\textbf{P}_N\) containing the retracts of the polyhedral chains. Note that the retraction itself only contributes a bounded factor to the estimate of the variation.
Returning to our sequence \((T_j)\), for every \(N \in \mathbb {N}\) sufficiently large we find a \(P \in \textbf{P}_N\) such that \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_j,P) < C2^{-N}\) for infinitely many j’s. Applying this argument repeatedly and selecting a subsequence at every step (such that the constraint holds for all elements of that subsequence), we may find a diagonal subsequence, still denoted by \((T_j)\), such that \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_\ell ,P_j) < 2^{-(j+1)}\) for all \(\ell \ge j\) and a \(P_j \in \bigcup _N \textbf{P}_N \subset \mathrm{{I}}_{k}(\overline{\Omega })\) (by the construction above \(P_j\) is the Lipschitz retract of a polyhedral chain). Then, via the triangle inequality,
Hence, there exists an \(R_j \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) with
Using the space-time currents constructed in the proof of the deformation theorem as witnesses for \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_j,P_j) < 2^{-(j+1)}\) and \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(P_j,T_{j+1}) < 2^{-(j+1)}\) and concatenating them via Lemma 4.5 to obtain \(R_j\), we may further require
For the concatenation of the \(R_\ell \) for \(\ell = j,\ldots ,j+m-1\), that is,
see again Lemma 4.5, it holds that
and
Moreover, via Lemma 3.4 we may rescale \(S_j^m\) in time (which we do not make explicit in our notation) to assume
In this way, also the Lipschitz constants of \(S_j^m\) are uniformly in m bounded by \(2^{-j+1}\).
We now pass to the limit \(m \rightarrow \infty \). Via Theorem 3.7 this yields \(S_j \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) with
and
Our \(S_j\) is admissible in the definition of the metric and so,
In this way we can find for every subsequence of the original sequence \((T_j)\) (before taking the repeated subsequences above) a further subsequence that converges in the \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}\)-metric to T. Hence, also \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_j,T) \rightarrow 0\) for the original sequence, proving our claim (5.2).
Finally, taking the upper limit of the mass estimate,
This finishes the proof. \(\square \)
5.2 Equality theorem
Finally, we investigate the relationship of the deformation distance to the integral homogeneous Whitney flat norm in the bounded Lipschitz domain \(\Omega \subset \mathbb {R}^d\), which for \(T \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T = 0\) is defined as
We first record the following lemma on the relationship between the different notions of convergences we have encountered so far.
Lemma 5.2
For every \(M > 0\) and \(T_j,T\) (\(j \in \mathbb {N}\)) in the set
the following are equivalent (as \(j \rightarrow \infty \)):
-
(i)
\({{\,\textrm{dist}\,}}_{\textrm{Lip},\overline{\Omega }}(T_j,T) \rightarrow 0\);
-
(ii)
\(T_j \overset{*}{\rightharpoonup }T\);
-
(iii)
\(\textbf{F}(T-T_j) \rightarrow 0\);
-
(iv)
\(\mathbb {F}_{\overline{\Omega }}(T-T_j) \rightarrow 0\).
Proof
The equivalence of (i) and (ii) was proved in Theorem 5.1, while the equivalence of (ii) and (iii) is the content of Proposition 2.4. In fact, the proof of (the trivial direction of) Theorem 5.1 even yields that (i) implies (iv). Finally, \(\textbf{F}\le \mathbb {F}_{\overline{\Omega }}\), so (iv) implies (iii) and we have closed the circle of implications. \(\square \)
Remark 5.3
For the global Whitney flat norms \(\textbf{F}\) and \(\mathbb {F}:= \mathbb {F}_{\mathbb {R}^d}\) one may observe the inequalities
for all \(T \in \mathrm{{I}}_{k}(\mathbb {R}^d)\) with \(\partial T = 0\), where \(C > 0\) is a dimensional constant. Indeed, the first inequality is trivial and for the second one writes \(T = \partial Q + R\) for \(Q \in \mathrm{{I}}_{{k + 1}}(\mathbb {R}^d)\), \(R \in \mathrm{{I}}_{k}(\mathbb {R}^d)\) with \(\textbf{M}(Q) + \textbf{M}(R) \le 2\textbf{F}(T)\). Then, \(\partial R = \partial T - \partial \partial Q = 0\), and so, by the classical isoperimetric inequality (see, e.g., [18, Theorem 7.9.1] or [9, 4.2.10]), there is \(Q' \in \mathrm{{I}}_{{k + 1}}(\mathbb {R}^d)\) with \(\partial Q' = R\) and \(\textbf{M}(Q') \le C \textbf{M}(R)^{(k+1)/k}\). For \({\widetilde{Q}} := Q + Q'\) we then have \(\partial {\widetilde{Q}} = T - R + \partial Q' = T\) and thus
with a different (but still dimensional) constant \(C > 0\). This shows (5.4). However, the second inequality in (5.4) with \(\mathbb {F}_{\overline{\Omega }}\) in place of the global \(\mathbb {F}\) may not hold.
We can now prove the main result of this section, namely that the integral homogeneous Whitney flat distance is equal to the deformation distance.
Theorem 5.4
(Equality theorem) For \(T_0, T_1 \in \mathrm{{I}}_{k}(\overline{\Omega })\) with \(\partial T_0 = \partial T_1 = 0\) it holds that
Proof
First, the inequality
follows easily by taking any \(S \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) with \(\partial S = \delta _1 \times T_1 - \delta _0 \times T_0\), setting \(Q := \textbf{p}_* S \in \mathrm{{I}}_{{k + 1}}(\overline{\Omega })\), and observing that \(\partial Q = T_1 - T_0\) as well as \({{\,\textrm{Var}\,}}(S) \ge \textbf{M}(Q)\) as in (3.4). Taking the infimum over all such S yields the above inequality.
For the other inequality, let \(\varepsilon > 0\). We first observe by our deformation theorem, Theorem 4.7, that for \(i = 0,1\) there exist \(U_i \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega '})\), where \(\Omega ' := \Omega + B(0,(\sqrt{d}+1)\varepsilon )\), with
such that
Here, \(\llbracket F \rrbracket \) is the current associated to an oriented k-face \(F \in \mathscr {F}_k(\varepsilon )\) of one of the cubes \(\varepsilon z + (0,\varepsilon )^d\) with \(z \in \mathbb {Z}^d\), and \(p^{(i)}_F \in \mathbb {Z}\). The constant \(C > 0\) depends only on the dimensions.
Next, take any \(Q \in \mathrm{{I}}_{{k + 1}}(\overline{\Omega '})\) with
If no such Q exists, the result holds trivially since in this case \({{\,\textrm{dist}\,}}_{\text {Lip},\overline{\Omega }}(T_0,T_1) = \mathbb {F}_{\overline{\Omega }}(T_1 - T_0) = \infty \). So, in the following we assume the existence of at least one such Q.
We now apply the approximation result of Proposition 2.6 (which is from [5, 6]) to Q. According to this result, there is a polyhedral chain \(R \in \textrm{IP}_{{k} + 1}(\overline{\Omega ''}) \subset \mathrm{{I}}_{{k + 1}}(\overline{\Omega ''})\), where \(\Omega '' := \Omega ' + B(0,\varepsilon ) = \Omega + B(0,(\sqrt{d}+2)\varepsilon )\), of the form
where the \(\sigma _\ell \) are convex \((k+1)\)-polytopes (not necessarily \((k+1)\)-faces of cubes as for \(P_1,P_2\)) and \(p_\ell \in \mathbb {N}\), such that
Potentially chopping every \(\sigma _\ell \) into several sub-polytopes, we may additionally assume that the \(\sigma _\ell \) are disjoint up to an \(\mathscr {H}^{1+k}\)-negligible set. Note that our need for the mass bound \(\textbf{M}(R) < \textbf{M}(Q) + \varepsilon \) requires the use of an approximation theorem beyond the standard deformation theorem.
We claim that there exists \(V \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega ''})\) with
and
Indeed, for every oriented k-polytope \(\sigma _\ell \) we denote the center of \(\sigma _\ell \) by \(z_\ell \) and consider the ”reverse cone”
where \(H(t,x) := (1-t)x + tz_\ell \) and \({\overline{H}}(t,x) := (t,H(t,x))\), similarly to Example 3.2 (in fact, the reverse cone is indeed the reversal of the cone \(z_\ell {{\,\mathrm{\lhd }\,}}\llbracket \partial \sigma _\ell \rrbracket \) in the sense of Lemma 4.6). It follows that
and, by Lemma 4.1,
Moreover, as the \(\ell \)’th reverse cone shrinks to the point \(z_\ell \),
Hence, setting
we obtain
and
We have thus constructed V as required.
For \(W := -V + \llbracket (0,1) \rrbracket \times P_1 \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega ''})\) we compute
and
We now concatenate \(U_0, W\) and the reversal of \(U_1\) via Lemmas 4.5, 4.6 to obtain a Lip-integral current \({\widetilde{S}} \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega ''})\), for which it holds that \(\partial {\widetilde{S}} = \delta _1 \times T_1 - \delta _0 \times T_0\) and
For \(\varepsilon > 0\) suitably small there is a Lipschitz retraction \(r :\overline{\Omega ''} \rightarrow \overline{\Omega }\) with \(|Dr| = \text {O }(\varepsilon )\), see Remark 2.3. For \(S := r_* {\widetilde{S}} \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) we then have
and
Moreover, using the Lipschitz retraction once more,
Combining all the above estimates, we get
where in every line we combine the error terms by changing the expression for \(\text {O }(\varepsilon )\). Letting \(\varepsilon \rightarrow 0\), we arrive at
This finishes the proof. \(\square \)
Remark 5.5
Note that in codimension 1, i.e., \(k+1 = d\), there is only one candidate surface Q with \(\partial Q = T_1 - T_0\) in \(\mathbb {F}_{\overline{\Omega }}(T_1 - T_0)\), up to a fixed multiple of Lebesgue measure. Indeed, if \(Q_i \in \text {I}_d(\overline{\Omega })\) with \(\partial Q_i = T_1 - T_0\) for \(i = 1,2\), then \(R := Q_2 - Q_1\) is a boundaryless integral d-current in \(\mathbb {R}^d\) (recall that we always use the global boundary operator). Hence, by the constancy theorem (see, e.g., [18, Theorem 7.3.1] or [9, 4.1.4]), R is a fixed multiple of \(\mathscr {L}^d\). Thus, there is only one such surface Q with globally finite mass, which we denote as \({\overline{Q}}\). Then, \(\textbf{p}_* S = {\overline{Q}}\) for any \(S \in \text {I}^\text {Lip}_{1+k}([0,1] \times \overline{\Omega })\) with \(\partial S = \delta _1 \times T_1 - \delta _0 \times T_0\) since any such \(\textbf{p}_* S\) has finite mass in \(\mathbb {R}^d\) by Lemma 3.5. This immediately yields the claim of the preceding theorem in this case.
References
Abbaschian, R., Abbaschian, L., Reed-Hill, R.E.: Physical Metallurgy Principles—SI Edition. Cengage Learning, Boston (2009)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free-Discontinuity Problems. Oxford Mathematical Monographs, Oxford University Press, Oxford (2000)
Anderson, P.M., Hirth, J.P., Lothe, J.: Theory of Dislocations. Cambridge University Press, Cambridge (2017)
Brezis, H., Mironescu, P.: The Plateau problem from the perspective of optimal transport. C. R. Math. Acad. Sci. Paris 357, 597–612 (2019)
Chambolle, A., Ferrari, L.A.D., Merlet, B.: Strong approximation in \(h\)-mass of rectifiable currents under homological constraint. Adv. Calc. Var. 14, 343–363 (2021)
Colombo, M., De Rosa, A., Marchese, A., Stuvard, S.: On the lower semicontinuous envelope of functionals defined on polyhedral chains. Nonlinear Anal. 163, 201–215 (2017)
Conti, S., Garroni, A., Massaccesi, A.: Modeling of dislocations and relaxation of functionals on 1-currents with discrete multiplicity. Calc. Var. Partial Differ. Equ. 54, 1847–1874 (2015)
Conti, S., Garroni, A., Ortiz, M.: The line-tension approximation as the dilute limit of linear-elastic dislocations. Arch. Ration. Mech. Anal. 218, 699–755 (2015)
Federer, H.: Geometric Measure Theory. Grundlehren der mathematischen Wissenschaften, vol. 153. Springer, Berlin (1969)
Federer, H., Fleming, W.H.: Normal and integral currents. Ann. Math. 72, 458–520 (1960)
Giaquinta, M., Modica, G., Souček, J.: Cartesian Currents in the Calculus of Variations. I. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 37. Springer (1998)
Giaquinta, M., Modica, G., Souček, J.: Cartesian Currents in the Calculus of Variations. II. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 38. Springer (1998)
Hardt, R.M., Pitts, J.T.: Plateau’s, Solving, problem for hypersurfaces without the compactness theorem for integral currents, Geometric measure theory and the calculus of variations (Arcata, Calif.,: Proc. Sympos. Pure Math., vol. 44, Am. Math. Soc. Providence, RI, 1986, pp. 255–259 (1984)
Hudson, T., Rindler, F.: Elasto-plastic evolution of crystal materials driven by dislocation flow. Math. Models Methods Appl. Sci. (M3AS) 32, 851–910 (2022)
Hull, D., Bacon, D.J.: Introduction to Dislocations, 5th edn. Elsevier, UK (2011)
Jerrard, R.L., Jung, N.: Strict convergence and minimal liftings in \(BV\). Proc. R. Soc. Edinburgh Sect. A 134, 1163–1176 (2004)
Kampschulte, M.: Gradient flows and a generalized Wasserstein distance in the space of Cartesian currents. Ph.D. thesis, RWTH Aachen University (2017)
Krantz, S.G., Parks, H.R.: Geometric Integration Theory. Birkhäuser, Basel (2008)
Luukkainen, J., Väisälä, J.: Elements of Lipschitz topology. Ann. Acad. Sci. Fenn. Ser. A I Math. 3, 85–122 (1977)
Rindler, F.: Energetic solutions to rate-independent large-strain elasto-plastic evolutions driven by discrete dislocation flow. Preprint arXiv:2109.14416
Rindler, F., Shaw, G.: Liftings, Young measures, and lower semicontinuity. Arch. Ration. Mech. Anal. 232, 1227–1328 (2019)
Scala, R., Van Goethem, N.: Variational evolution of dislocations in single crystals. J. Nonlinear Sci. 29, 319–344 (2019)
Acknowledgements
This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant agreement No 757254 (SINGULARITY). The author would like to thank Giovanni Alberti, Giacomo Del Nin, Antonio De Rosa, Paolo Bonicatto, Thomas Hudson, Fang-Hua Lin, Ulrich Menne, and Felix Schulze for discussions related to this work.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Szekelyhidi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rindler, F. Space-time integral currents of bounded variation. Calc. Var. 62, 54 (2023). https://doi.org/10.1007/s00526-022-02332-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02332-2