In this note, we establish a boundary maximum principle for a class of stationary pairs of varifolds satisfying a fixed contact angle condition in any compact Riemannian manifold with smooth boundary.

We provide a fine description of the weak limit of sequences of regular axisymmetric maps with equibounded neo-Hookean energy, under the assumption that they have finite surface energy. We prove that these weak limits have a dipole structure, showing that the singular map described by Conti and De Lellis is generic in some sense. On this map, we provide the explicit relaxation of the neo-Hookean energy. We also make a link with Cartesian currents showing that the candidate for the relaxation we obtained presents strong similarities with the relaxed energy in the context of $\mathbb {S}^2$-valued harmonic maps.

We prove that for a homogeneous linear partial differential operator $\mathcal {A}$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation satisfying

\[ \mathcal{A} u(x)= f(x) \qquad \text{almost everywhere}. \]

$\mathbf {R}^N$

$0 \le m < N$

$m$

$(m+1)$

Let ${\mathcal {D}}$ and $T$ be, respectively, a $C^1$ distribution of $k$-planes and a normal $k$-current on ${\mathbb {R}}^n$. Then ${\mathcal {D}}$ has to be involutive at almost every superdensity point of the tangency set of $T$ with respect to ${\mathcal {D}}$.

The main result of the present article is a Rademacher-type theorem for intrinsic Lipschitz graphs of codimension $k\leq n$ in sub-Riemannian Heisenberg groups ${\mathbb H}^{n}$ . For the purpose of proving such a result, we settle several related questions pertaining both to the theory of intrinsic Lipschitz graphs and to the one of currents. First, we prove an extension result for intrinsic Lipschitz graphs as well as a uniform approximation theorem by means of smooth graphs: both of these results stem from a new definition (equivalent to the one introduced by B. Franchi, R. Serapioni and F. Serra Cassano) of intrinsic Lipschitz graphs and are valid for a more general class of intrinsic Lipschitz graphs in Carnot groups. Second, our proof of Rademacher’s theorem heavily uses the language of currents in Heisenberg groups: one key result is, for us, a version of the celebrated constancy theorem. Inasmuch as Heisenberg currents are defined in terms of Rumin’s complex of differential forms, we also provide a convenient basis of Rumin’s spaces. Eventually, we provide some applications of Rademacher’s theorem including a Lusin-type result for intrinsic Lipschitz graphs, the equivalence between ${\mathbb H}$ -rectifiability and ‘Lipschitz’ ${\mathbb H}$ -rectifiability and an area formula for intrinsic Lipschitz graphs in Heisenberg groups.

Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, Minervini proved the currential “fundamental Morse equation” of Harvey–Lawson but without the restrictive tameness condition for Morse gradient flows. Here, we construct local resolutions for the flow of a section of a fiber bundle endowed with a vertical vector field which is of Morse gradient type in every fiber in order to remove the tameness hypothesis from the currential homotopy formula proved by the first author. We apply this to produce currential deformations of odd degree closed forms naturally associated to any hermitian vector bundle endowed with a unitary endomorphism and metric compatible connection. A transgression formula involving smooth forms on a classifying space for odd K-theory is also given.

This paper deals with the analysis of the singularities arising from the solutions of the problem ${-}\,{\rm Curl\ } F=\mu $, where F is a 3 × 3 matrix-valued Lp-function ($1\les p<2$) and μ a 3 × 3 matrix-valued Radon measure concentrated in a closed loop in Ω ⊂ ℝ3, or in a network of such loops (as, for instance, dislocation clusters as observed in single crystals). In particular, we study the topological nature of such dislocation singularities. It is shown that $F=\nabla u$, the absolutely continuous part of the distributional gradient Du of a vector-valued function u of special bounded variation. Furthermore, u can also be seen as a multi-valued field, that is, can be redefined with values in the three-dimensional flat torus 𝕋3 and hence is Sobolev-regular away from the singular loops. We then analyse the graphs of such maps represented as currents in Ω × 𝕋3 and show that their boundaries can be written in term of the measure μ. Readapting some well-known results for Cartesian currents, we recover closure and compactness properties of the class of maps with bounded curl concentrated on dislocation networks. In the spirit of previous work, we finally give some examples of variational problems where such results provide existence of solutions.

The scope of the paper is twofold. We show that for a large class of measurable vector fields in the sense of Weaver (i.e. derivations over the algebra of Lipschitz functions), called in the paper laminated, the notion of integral curves may be naturally defined and characterized (when appropriate) by an ordinary differential equation. We further show that for such vector fields the notion of a flow of the given positive Borel measure similar to the classical one generated by a smooth vector field (in a space with smooth structure) may be defined in a reasonable way, so that the measure ‘flows along’ the appropriately understood integral curves of the given vector field and the classical continuity equation is satisfied in the weak sense.

A doubly stochastic measure on the unit square is a Borel probability measure whose horizontal and vertical marginals both coincide with the Lebesgue measure. The set of doubly stochasticmeasures is convex and compact so its extremal points are of particular interest. The problem number 111 of Birkhoò is to provide a necessary and suõcient condition on the support of a doubly stochastic measure to guarantee extremality. It was proved by Beneš and Štepán that an extremal doubly stochastic measure is concentrated on a set which admits an aperiodic decomposition. Hestir and Williams later found a necessary condition which is nearly sufficient by further refining the aperiodic structure of the support of extremal doubly stochastic measures. Our objective in this work is to provide a more practical necessary and nearly sufficient condition for a set to support an extremal doubly stochastic measure.

We generalize to the anisotropic case some classical and recent results on the (n – 1)-Minkowski content of rectifiable sets in ℝn, and on the outer Minkowski content of subsets of ℝn. In particular, a general formula for the anisotropic outer Minkowski content is provided; it applies to a wide class of sets that are stable under finite unions.

We establish that the intrinsic distance dE associated with an indecomposable plane set E of finite perimeter is infinitesimally Euclidean; namely, in E. By this result, we prove through a standard argument that a conservative vector field in a plane set of finite perimeter has a potential. We also provide some applications to complex analysis. Moreover, we present a collection of results that would seem to suggest the possibility of developing a De Rham cohomology theory for integral currents.

We give a simple proof of a statement extending Fu's (J.H.G. Fu, Erratum to ‘some remarks on legendrian rectiable currents’, Manuscripta Math. 113(3) (2004), 397–401) result: ‘If Ω is a set of locally finite perimeter in ℝ2, then there is no function f ∈ C1(ℝ2) such that ∇f(x1, x2) = (x2, 0) at a.e. (x1, x2) ∈ Ω’. We also prove that every measurable set can be approximated arbitrarily closely in L1 by subsets that do not contain enhanced density points. Finally, we provide a new proof of a Poincaré-type lemma for locally finite perimeter sets, which was first stated by Delladio (S. Delladio, Functions of class C1 subject to a Legendre condition in an enhanced density set, to appear in Rev. Mat. Iberoamericana).

The space of Monge–Ampère functions, introduced by J. H. G. Fu, is a space of rather rough functions in which the map $u\,\mapsto \,\text{Det}\,{{\text{D}}^{2}}u$ is well defined and weakly continuous with respect to a natural notion of weak convergence. We prove a rigidity theorem for Lagrangian integral currents that allows us to extend the original definition of Monge–Ampère functions. We also prove that if a Monge–Ampère function $u$ on a bounded set $\Omega \,\subset \,{{\mathbb{R}}^{2}}$ satisfies the equation $\text{Det}\,{{D}^{2}}u\,=\,0$ in a particular weak sense, then the graph of $u$ is a developable surface, and moreover $u$ enjoys somewhat better regularity properties than an arbitrary Monge–Ampère function of 2 variables.