-
Geometric measure theory and differential inclusions
Authors:
Camillo De Lellis,
Guido De Philippis,
Bernd Kirchheim,
Riccardo Tione
Abstract:
In this paper we consider Lipschitz graphs of functions which are stationary points of strictly polyconvex energies. Such graphs can be thought as integral currents, resp. varifolds, which are stationary for some elliptic integrands. The regularity theory for the latter is a widely open problem, in particular no counterpart of the classical Allard's theorem is known. We address the issue from the…
▽ More
In this paper we consider Lipschitz graphs of functions which are stationary points of strictly polyconvex energies. Such graphs can be thought as integral currents, resp. varifolds, which are stationary for some elliptic integrands. The regularity theory for the latter is a widely open problem, in particular no counterpart of the classical Allard's theorem is known. We address the issue from the point of view of differential inclusions and we show that the relevant ones do not contain the class of laminates which are used in [22] and [25] to construct nonregular solutions. Our result is thus an indication that an Allard's type result might be valid for general elliptic integrands. We conclude the paper by listing a series of open questions concerning the regularity of stationary points for elliptic integrands.
△ Less
Submitted 10 October, 2019; v1 submitted 1 October, 2019;
originally announced October 2019.
-
Two-by-two upper triangular matrices and Morrey's conjecture
Authors:
Terence L. J. Harris,
Bernd Kirchheim,
Chun-Chi Lin
Abstract:
It is shown that every homogeneous gradient Young measure supported on matrices of the form $\begin{pmatrix} a_{1,1} & \cdots & a_{1,n-1} & a_{1,n} \\ 0 & \cdots & 0 & a_{2,n} \end{pmatrix}$ is a laminate. This is used to prove the same result on the 3-dimensional nonlinear submanifold of $\mathbb{M}^{2 \times 2}$ defined by $\det X = 0$ and $X_{12}>0$.
It is shown that every homogeneous gradient Young measure supported on matrices of the form $\begin{pmatrix} a_{1,1} & \cdots & a_{1,n-1} & a_{1,n} \\ 0 & \cdots & 0 & a_{2,n} \end{pmatrix}$ is a laminate. This is used to prove the same result on the 3-dimensional nonlinear submanifold of $\mathbb{M}^{2 \times 2}$ defined by $\det X = 0$ and $X_{12}>0$.
△ Less
Submitted 26 April, 2019; v1 submitted 25 August, 2017;
originally announced August 2017.
-
On Rank-One Convex Functions that are homogeneous of Degree One
Authors:
Bernd Kirchheim,
Jan Kristensen
Abstract:
We show that positively $1$--homogeneous rank one convex functions are convex at $0$ and at matrices of rank one. The result is a special case of an abstract convexity result that we establish for positively $1$--homogeneous directionally convex functions defined on an open convex cone in a finite dimensional vector space. From these results we derive a number of consequences including various gen…
▽ More
We show that positively $1$--homogeneous rank one convex functions are convex at $0$ and at matrices of rank one. The result is a special case of an abstract convexity result that we establish for positively $1$--homogeneous directionally convex functions defined on an open convex cone in a finite dimensional vector space. From these results we derive a number of consequences including various generalizations of the Ornstein $\LL^1$ non inequalities. Most of the results were announced in ({\em C.~R.~Acad.~Sci.~Paris, Ser.~I 349 (2011), 407--409}).
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
Square Functions and the $A_\infty$ Property of Elliptic Measures
Authors:
C. Kenig,
B. Kirchheim,
J. Pipher,
T. Toro
Abstract:
In this paper, we provide a new means of establishing solvability of the Dirichlet problem on Lipschitz domains, with measurable data, for second order elliptic, non-symmetric divergence form operators. We show that a certain optimal Carleson measure estimate for bounded solutions of such operators implies a regularity result for the associated elliptic measure.
In this paper, we provide a new means of establishing solvability of the Dirichlet problem on Lipschitz domains, with measurable data, for second order elliptic, non-symmetric divergence form operators. We show that a certain optimal Carleson measure estimate for bounded solutions of such operators implies a regularity result for the associated elliptic measure.
△ Less
Submitted 24 September, 2014;
originally announced September 2014.
-
Equidimensional isometric maps
Authors:
Bernd Kirchheim,
Emanuele Spadaro,
Laszlo Szekelyhidi Jr
Abstract:
In Gromov's treatise Partial Differential Relations (volume 9 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 1986), a continuous map between Riemannian manifolds is called isometric if it preserves the length of rectifiable curves. In this note we develop a method using the Baire category theorem for constructing such isometries. We show that a typical $1$-Lipschitz map is isometric in c…
▽ More
In Gromov's treatise Partial Differential Relations (volume 9 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 1986), a continuous map between Riemannian manifolds is called isometric if it preserves the length of rectifiable curves. In this note we develop a method using the Baire category theorem for constructing such isometries. We show that a typical $1$-Lipschitz map is isometric in canonically formulated extension and restriction problems.
△ Less
Submitted 28 August, 2014;
originally announced August 2014.
-
Universal singular sets in the calculus of variations
Authors:
Marianna Csornyei,
Bernd Kirchheim,
Toby C. O'Neil,
David Preiss,
Steffen Winter
Abstract:
For regular one-dimensional variational problems, Ball and Nadirashvilli introduced the notion of the universal singular set of a Lagrangian L and established its topological negligibility. This set is defined to be the set of all points in the plane through which the graph of some absolutely continuous L-minimizer passes with infinite derivative.
Motivated by Tonelli's partial regularity resu…
▽ More
For regular one-dimensional variational problems, Ball and Nadirashvilli introduced the notion of the universal singular set of a Lagrangian L and established its topological negligibility. This set is defined to be the set of all points in the plane through which the graph of some absolutely continuous L-minimizer passes with infinite derivative.
Motivated by Tonelli's partial regularity results, the question of the size of the universal singular set in measure naturally arises. Here we show that universal singular sets are characterized by being essentially purely unrectifiable -- that is, they intersect most Lipschitz curves in sets of zero length and that any compact purely unrectifiable set is contained within the universal singular set of some smooth Lagrangian with given superlinear growth. This gives examples of universal singular sets of Hausdorff dimension two, filling the gap between previously known one-dimensional examples and Sychev's result that universal singular sets are Lebesgue null.
We show that some smoothness of the Lagrangian is necessary for the topological size estimate, and investigate the relationship between growth of the Lagrangian and the existence of (pathological) rectifiable pieces in the universal singular set.
We also show that Tonelli's partial regularity result is stable in that the energy of a `near' minimizer u over the set where it has large derivative is controlled by the how far u is from being a minimizer.
△ Less
Submitted 7 September, 2006;
originally announced September 2006.
