Showing 1–50 of 85 results for author: De Lellis, C

Remarks and Conjectures on Stationary Varifolds

Authors: Camillo Brena, Stefano Decio, Camillo De Lellis

Abstract: In this paper, we revisit some known results about stationary varifolds using simpler arguments. In particular, we obtain the height bound and the Lipschitz approximation along with its estimates, and as a consequence, the excess decay In this paper, we revisit some known results about stationary varifolds using simpler arguments. In particular, we obtain the height bound and the Lipschitz approximation along with its estimates, and as a consequence, the excess decay △ Less

Submitted 1 March, 2025; originally announced March 2025.

$C^\infty$ rectifiability of stationary varifolds

Authors: Camillo Brena, Camillo De Lellis, Federico Franceschini

Abstract: In this paper we prove that, for every integers $m\geq 2$ and $n\geq 1$, the support of any stationary $m$-dimensional integer rectifiable varifold $V$ in an open set $U\subset \mathbb R^{m+n}$ is $C^\infty$ rectifiable, namely it can be covered, up to an $H^m$-null set, with countably many $C^\infty$ $m$-dimensional graphs. In this paper we prove that, for every integers $m\geq 2$ and $n\geq 1$, the support of any stationary $m$-dimensional integer rectifiable varifold $V$ in an open set $U\subset \mathbb R^{m+n}$ is $C^\infty$ rectifiable, namely it can be covered, up to an $H^m$-null set, with countably many $C^\infty$ $m$-dimensional graphs. △ Less

Submitted 1 March, 2025; originally announced March 2025.

Optimal smooth approximation of integral cycles

Authors: Fredrick Almgren, William Browder, Gianmarco Caldini, Camillo De Lellis

Abstract: In this article we prove that each integral cycle $T$ in an oriented Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by an integral cycle in the same homology class which is a smooth submanifold $Σ$ of nearly the same area, up to a singular set of codimension 5. Moreover, if the homology class $τ$ is representable by a smooth submanifold, then $Σ$ can be chosen free of singulari… ▽ More In this article we prove that each integral cycle $T$ in an oriented Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by an integral cycle in the same homology class which is a smooth submanifold $Σ$ of nearly the same area, up to a singular set of codimension 5. Moreover, if the homology class $τ$ is representable by a smooth submanifold, then $Σ$ can be chosen free of singularities. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Caffarelli's work on elliptic free boundary problems

Authors: Camillo De Lellis

Abstract: The aim of the note is to illustrate some of the ideas introduced by Luis Caffarelli in his groundbreaking works on the regularity theory for elliptic free boundary problems, in a way which can be understood by non-experts. The aim of the note is to illustrate some of the ideas introduced by Luis Caffarelli in his groundbreaking works on the regularity theory for elliptic free boundary problems, in a way which can be understood by non-experts. △ Less

Submitted 28 August, 2024; v1 submitted 13 August, 2024; originally announced August 2024.

MSC Class: 35R35; 35J15; 35J20

Besicovitch's 1/2 problem and linear programming

Authors: Camillo De Lellis, Federico Glaudo, Annalisa Massaccesi, Davide Vittone

Abstract: We consider the following classical conjecture of Besicovitch: a $1$-dimensional Borel set in the plane with finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$ which has lower density strictly larger than $\frac{1}{2}$ almost everywhere must be countably rectifiable. We improve the best known bound, due to Preiss and Tišer, showing that the statement is indeed true if $\frac{1}{2}$ is replac… ▽ More We consider the following classical conjecture of Besicovitch: a $1$-dimensional Borel set in the plane with finite Hausdorff $1$-dimensional measure $\mathcal{H}^1$ which has lower density strictly larger than $\frac{1}{2}$ almost everywhere must be countably rectifiable. We improve the best known bound, due to Preiss and Tišer, showing that the statement is indeed true if $\frac{1}{2}$ is replaced by $\frac{7}{10}$ (in fact we improve the Preiss-Tišer bound even for the corresponding statement in general metric spaces). More importantly, we propose a family of variational problems to produce the latter and many other similar bounds and we study several properties of them, paving the way for further improvements. △ Less

Submitted 23 May, 2024; v1 submitted 26 April, 2024; originally announced April 2024.

Comments: (changes: Added reference to A. Schechter; strengthened section 9.2) 43 pages + appendix, 10 figures. Comments are welcome

MSC Class: 28A75; 49Q15; 90C05; 68V05

Fine Structure of Singularities in Area-Minimizing Currents Mod$(q)$

Authors: Camillo De Lellis, Paul Minter, Anna Skorobogatova

Abstract: We study fine structural properties related to the interior regularity of $m$-dimensional area minimizing currents mod$(q)$ in arbitrary codimension. We show: (i) the set of points where at least one tangent cone is translation invariant along $m-1$ directions is locally a connected $C^{1,β}$ submanifold, and moreover such points have unique tangent cones; (ii) the remaining part of the singular s… ▽ More We study fine structural properties related to the interior regularity of $m$-dimensional area minimizing currents mod$(q)$ in arbitrary codimension. We show: (i) the set of points where at least one tangent cone is translation invariant along $m-1$ directions is locally a connected $C^{1,β}$ submanifold, and moreover such points have unique tangent cones; (ii) the remaining part of the singular set is countably $(m-2)$-rectifiable, with a unique flat tangent cone (with multiplicity) at $\mathcal{H}^{m-2}$-a.e. flat singular point. These results are consequences of fine excess decay theorems as well as almost monotonicity of a universal frequency function. △ Less

Submitted 27 June, 2024; v1 submitted 23 March, 2024; originally announced March 2024.

Comments: 65 pages, comments welcome! v2: Paper now includes significant improvement of results, including structural properties of the full singular set

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

The regularity theory for the Mumford-Shah functional on the plane

Authors: Camillo De Lellis, Matteo Focardi

Abstract: The aim of these notes is to give a complete self-contained account of the current state of the art in the regularity for planar minimizers and critical points of the Mumford-Shah functional. The aim of these notes is to give a complete self-contained account of the current state of the art in the regularity for planar minimizers and critical points of the Mumford-Shah functional. △ Less

Submitted 5 January, 2025; v1 submitted 28 August, 2023; originally announced August 2023.

MSC Class: 49Q20; 49N60

Excess decay for minimizing hypercurrents mod $2Q$

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: We consider codimension $1$ area-minimizing $m$-dimensional currents $T$ mod an even integer $p=2Q$ in a $C^2$ Riemannian submanifold $Σ$ of the Euclidean space. We prove a suitable excess-decay estimate towards the unique tangent cone at every point $q\in \mathrm{spt} (T)\setminus \mathrm{spt}^p (\partial T)$ where at least one such tangent cone is $Q$ copies of a single plane. While an analogous… ▽ More We consider codimension $1$ area-minimizing $m$-dimensional currents $T$ mod an even integer $p=2Q$ in a $C^2$ Riemannian submanifold $Σ$ of the Euclidean space. We prove a suitable excess-decay estimate towards the unique tangent cone at every point $q\in \mathrm{spt} (T)\setminus \mathrm{spt}^p (\partial T)$ where at least one such tangent cone is $Q$ copies of a single plane. While an analogous decay statement was proved in arXiv:2111.11202 as a corollary of a more general theory for stable varifolds, in our statement we strive for the optimal dependence of the estimates upon the second fundamental form of $Σ$. This technical improvement is in fact needed in arXiv:2201.10204 to prove that the singular set of $T$ can be decomposed into a $C^{1,α}$ $(m-1)$-dimensional submanifold and an additional closed remaining set of Hausdorff dimension at most $m-2$. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 74 pages, 1 figure. Comments are welcome!

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Journal ref: Nonlinear Analysis, Volume 247, October 2024, 113606

An elementary rectifiability lemma and some applications

Authors: Camillo De Lellis, Ian Fleschler

Abstract: We generalize a classical theorem of Besicovitch, showing that, for any positive integers $k<n$, if $E\subset \mathbb R^n$ is a Souslin set which is not $\mathcal{H}^k$-$σ$-finite, then $E$ contains a purely unrectifiable closed set $F$ with $0< \mathcal{H}^k (F) < \infty$. Therefore, if $E\subset \mathbb R^n$ is a Souslin set with the property that every closed subset with finite $\mathcal{H}^k$… ▽ More We generalize a classical theorem of Besicovitch, showing that, for any positive integers $k<n$, if $E\subset \mathbb R^n$ is a Souslin set which is not $\mathcal{H}^k$-$σ$-finite, then $E$ contains a purely unrectifiable closed set $F$ with $0< \mathcal{H}^k (F) < \infty$. Therefore, if $E\subset \mathbb R^n$ is a Souslin set with the property that every closed subset with finite $\mathcal{H}^k$ measure is $k$-rectifiable, then $E$ is $k$-rectifiable. We also point out that this theorem holds in a suitable class of metric spaces. Our interest is motivated by recent studies of the structure of the singular sets of several objects in geometric analysis and we explain the usefulness of our lemma with some examples. △ Less

Submitted 14 August, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: The second version contains minor corrections, an additional general statement in a class of metric spaces, and an outline of the argument for its validity

MSC Class: 28A75 (Primary) 28A78; 49Q15 (Secondary)

A remark on the uniqueness of solutions to hyperbolic conservation laws

Authors: Alberto Bressan, Camillo De Lellis

Abstract: Given a strictly hyperbolic $n\times n$ system of conservation laws, it is well known that there exists a unique Lipschitz semigroup of weak solutions, defined on a domain of functions with small total variation, which are limits of vanishing viscosity approximations. Aim of this note is to prove that every weak solution taking values in the domain of the semigroup, and whose shocks satisfy the Li… ▽ More Given a strictly hyperbolic $n\times n$ system of conservation laws, it is well known that there exists a unique Lipschitz semigroup of weak solutions, defined on a domain of functions with small total variation, which are limits of vanishing viscosity approximations. Aim of this note is to prove that every weak solution taking values in the domain of the semigroup, and whose shocks satisfy the Liu admissibility conditions, actually coincides with a semigroup trajectory. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Comments: 11 pages, 1 figure. arXiv admin note: text overlap with arXiv:2305.10737

MSC Class: 35L65

The fine structure of the singular set of area-minimizing integral currents II: rectifiability of flat singular points with singularity degree larger than $1$

Authors: Camillo De Lellis, Anna Skorobogatova

Abstract: We consider an area-minimizing integral current $T$ of codimension higher than $1$ in a smooth Riemannian manifold $Σ$. In a previous paper we have subdivided the set of interior singular points with at least one flat tangent cone according to a real parameter, which we refer to as ``singularity degree''. This parameter determines the infinitesimal order of contact at the point in question between… ▽ More We consider an area-minimizing integral current $T$ of codimension higher than $1$ in a smooth Riemannian manifold $Σ$. In a previous paper we have subdivided the set of interior singular points with at least one flat tangent cone according to a real parameter, which we refer to as ``singularity degree''. This parameter determines the infinitesimal order of contact at the point in question between the ``singular part'' of $T$ and its ``best regular approximation''. In this paper we show that the set of points for which the singularity degree is strictly larger than $1$, is $(m-2)$-rectifiable. In a subsequent work we prove that the remaining flat singular points form an $(m-2)$-null set, thus concluding that the singular set of $T$ is $m-2$-rectifiable. △ Less

Submitted 8 September, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: Minor correction to proof of Lemma B.2 and Theorem 9.7, several typos fixed

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

The Fine Structure of the Singular Set of Area-Minimizing Integral Currents III: Frequency 1 Flat Singular Points and $\mathcal{H}^{m-2}$-a.e. Uniqueness of Tangent Cones

Authors: Camillo De Lellis, Paul Minter, Anna Skorobogatova

Abstract: We consider an area-minimizing integral current $T$ of codimension higher than 1 ins a smooth Riemannian manifold $Σ$. We prove that $T$ has a unique tangent cone, which is a superposition of planes, at $\mathcal{H}^{m-2}$-a.e. point in its support. In combination with works of the first and third authors, we conclude that the singular set of $T$ is countably $(m-2)$-rectifiable. We consider an area-minimizing integral current $T$ of codimension higher than 1 ins a smooth Riemannian manifold $Σ$. We prove that $T$ has a unique tangent cone, which is a superposition of planes, at $\mathcal{H}^{m-2}$-a.e. point in its support. In combination with works of the first and third authors, we conclude that the singular set of $T$ is countably $(m-2)$-rectifiable. △ Less

Submitted 21 March, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: 118 pages, 3 figures (v2: included comparison to work of Krummel--Wickramasekera; v3: minor error fixed in Section 8)

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

The fine structure of the singular set of area-minimizing integral currents I: the singularity degree of flat singular points

Authors: Camillo De Lellis, Anna Skorobogatova

Abstract: We consider an area-minimizing integral current of dimension $m$ and codimension at least $2$ and fix an arbitrary interior singular point $q$ where at least one tangent cone is flat. For any vanishing sequence of scales around $q$ along which the rescaled currents converge to a flat cone, we define a suitable singularity degree of the rescalings, which is a real number bigger than or equal to… ▽ More We consider an area-minimizing integral current of dimension $m$ and codimension at least $2$ and fix an arbitrary interior singular point $q$ where at least one tangent cone is flat. For any vanishing sequence of scales around $q$ along which the rescaled currents converge to a flat cone, we define a suitable singularity degree of the rescalings, which is a real number bigger than or equal to $1$. We show that this number is independent of the chosen sequence and we prove several interesting properties linked to its value. Our study prepares the ground for two companion works, where we show that the singular set is $(m-2)$-rectifiable and the tangent cone is unique at $\mathcal{H}^{m-2}$-a.e. point. △ Less

Submitted 3 April, 2025; v1 submitted 23 April, 2023; originally announced April 2023.

Comments: Minor corrections made, to appear in Ars Inveniendi Analytica

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

Onsager critical solutions of the forced Navier-Stokes equations

Authors: Elia Bruè, Maria Colombo, Gianluca Crippa, Camillo De Lellis, Massimo Sorella

Abstract: We answer positively to [BDL22, Question 2.4] by building new examples of solutions to the forced 3d-Navier-Stokes equations with vanishing viscosity, which exhibit anomalous dissipation and which enjoy uniform bounds in the space $L_t^3 C_x^{1/3 - \varepsilon}$, for any fixed $\varepsilon >0$. Our construction combines ideas of [BDL22] and [CCS22]. We answer positively to [BDL22, Question 2.4] by building new examples of solutions to the forced 3d-Navier-Stokes equations with vanishing viscosity, which exhibit anomalous dissipation and which enjoy uniform bounds in the space $L_t^3 C_x^{1/3 - \varepsilon}$, for any fixed $\varepsilon >0$. Our construction combines ideas of [BDL22] and [CCS22]. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Comments: 15 pages

Anomalous dissipation for the forced 3D Navier-Stokes equations

Authors: Elia Bruè, Camillo De Lellis

Abstract: In this paper, we consider the forced incompressible Navier-Stokes equations with vanishing viscosity on the three-dimensional torus. We show that there are (classical) solutions for which the dissipation rate of the kinetic energy is bounded away from zero, uniformly in the viscosity parameter, while the body forces are uniformly bounded in some reasonable regularity class. In this paper, we consider the forced incompressible Navier-Stokes equations with vanishing viscosity on the three-dimensional torus. We show that there are (classical) solutions for which the dissipation rate of the kinetic energy is bounded away from zero, uniformly in the viscosity parameter, while the body forces are uniformly bounded in some reasonable regularity class. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Fine structure of the singular set of area minimizing hypersurfaces modulo $p$

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so tha… ▽ More Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors to arbitrary $m$ and all odd $p$ in arXiv:2105.08135. We tackle the remaining case of even $p$ by showing that the set of singular points admitting a flat blow-up is of codimension at least two in the current. First, we prove a structural result for the singularities of minimizers in the linearized problem, by combining an epiperimetric inequality with an analysis of homogeneous minimizers to conclude that the corresponding degrees of homogeneity are always integers; second, we refine Almgren's blow-up procedure to prove that all flat singularities of the current persist as singularities of the $\mathrm{Dir}$-minimizing limit. An important ingredient of our analysis is the uniqueness of flat tangent cones at singular points, recently established by Minter and Wickramasekera in arXiv:2111.11202. △ Less

Submitted 4 February, 2022; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: 44 pages. Comments are very welcome! In v2 we have strengthened the conclusions of Theorem 1.4

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Instability and nonuniqueness for the $2d$ Euler equations in vorticity form, after M. Vishik

Authors: Dallas Albritton, Elia Brué, Maria Colombo, Camillo De Lellis, Vikram Giri, Maximilian Janisch, Hyunju Kwon

Abstract: In this expository work, we present Vishik's theorem on non-unique weak solutions to the two-dimensional Euler equations on the whole space, \[ \partial_t ω+ u \cdot \nabla ω= f \, , \quad u = \frac{1}{2π} \frac{x^\perp}{|x|^2} \ast ω\, , \] with initial vorticity $ω_0 \in L^1 \cap L^p$ and $f \in L^1_t (L^1 \cap L^p)_x$, $p < \infty$. His theorem demonstrates, in particular, the sharpness of th… ▽ More In this expository work, we present Vishik's theorem on non-unique weak solutions to the two-dimensional Euler equations on the whole space, \[ \partial_t ω+ u \cdot \nabla ω= f \, , \quad u = \frac{1}{2π} \frac{x^\perp}{|x|^2} \ast ω\, , \] with initial vorticity $ω_0 \in L^1 \cap L^p$ and $f \in L^1_t (L^1 \cap L^p)_x$, $p < \infty$. His theorem demonstrates, in particular, the sharpness of the Yudovich class. An important intermediate step is the rigorous construction of an unstable vortex, which is of independent physical and mathematical interest. We follow the strategy of Vishik but allow ourselves certain deviations in the proof and substantial deviations in our presentation, which emphasizes the underlying dynamical point of view. △ Less

Submitted 29 March, 2023; v1 submitted 9 December, 2021; originally announced December 2021.

Comments: v1-v3: See previous versions. v4: Final or near-final version, post-acceptance in Annals of Mathematics Studies. Added a new section containing a formal expansion for the unstable eigenfunctions. Corrected mistakes kindly pointed out by A. Kiselev

MSC Class: 35Q31; 35Q35

An Allard-type boundary regularity theorem for $2d$ minimizing currents at smooth curves with arbitrary multiplicity

Authors: Camillo De Lellis, Stefano Nardulli, Simone Steinbrüchel

Abstract: We consider integral area-minimizing $2$-dimensional currents $T$ in $U\subset \mathbb R^{2+n}$ with $\partial T = Q[\![Γ]\!]$, where $Q\in \mathbb N \setminus \{0\}$ and $Γ$ is sufficiently smooth. We prove that, if $q\in Γ$ is a point where the density of $T$ is strictly below $\frac{Q+1}{2}$, then the current is regular at $q$. The regularity is understood in the following sense: there is a nei… ▽ More We consider integral area-minimizing $2$-dimensional currents $T$ in $U\subset \mathbb R^{2+n}$ with $\partial T = Q[\![Γ]\!]$, where $Q\in \mathbb N \setminus \{0\}$ and $Γ$ is sufficiently smooth. We prove that, if $q\in Γ$ is a point where the density of $T$ is strictly below $\frac{Q+1}{2}$, then the current is regular at $q$. The regularity is understood in the following sense: there is a neighborhood of $q$ in which $T$ consists of a finite number of regular minimal submanifolds meeting transversally at $Γ$ (and counted with the appropriate integer multiplicity). In view of well-known examples, our result is optimal, and it is the first nontrivial generalization of a classical theorem of Allard for $Q=1$. As a corollary, if $Ω\subset \mathbb R^{2+n}$ is a bounded uniformly convex set and $Γ\subset \partial Ω$ a smooth $1$-dimensional closed submanifold, then any area-minimizing current $T$ with $\partial T = Q [\![Γ]\!]$ is regular in a neighborhood of $Γ$. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: Comments are welcome!

Uniqueness of boundary tangent cones for $2$-dimensional area-minimizing currents

Authors: Camillo De Lellis, Stefano Nardulli, Simone Steinbrüchel

Abstract: In this paper we show that, if $T$ is an area-minimizing $2$-dimensional integral current with $\partial T = Q [\![ Γ]\!]$, where $Γ$ is a $C^{1,α}$ curve for $α>0$ and $Q$ an arbitrary integer, then $T$ has a unique tangent cone at every boundary point, with a polynomial convergence rate. The proof is a simple reduction to the case $Q=1$, studied by Hirsch and Marini. In this paper we show that, if $T$ is an area-minimizing $2$-dimensional integral current with $\partial T = Q [\![ Γ]\!]$, where $Γ$ is a $C^{1,α}$ curve for $α>0$ and $Q$ an arbitrary integer, then $T$ has a unique tangent cone at every boundary point, with a polynomial convergence rate. The proof is a simple reduction to the case $Q=1$, studied by Hirsch and Marini. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 9 pages, 2 figures

The regularity theory for the area functional (in geometric measure theory)

Authors: Camillo De Lellis

Abstract: The aim of this article is to give a rather extensive, and yet nontechnical, account of the birth of the regularity theory for generalized minimal surfaces, of its various ramifications along the decades, of the most recent developments, and of some of the remaining challenges. The aim of this article is to give a rather extensive, and yet nontechnical, account of the birth of the regularity theory for generalized minimal surfaces, of its various ramifications along the decades, of the most recent developments, and of some of the remaining challenges. △ Less

Submitted 6 January, 2022; v1 submitted 21 October, 2021; originally announced October 2021.

Comments: To appear in the Proceedings of the ICM

MSC Class: 49Q15

Weak stablity and closure in turbulence

Authors: Camillo De Lellis, La'szlo' Sze'kelyhidi Jr

Abstract: We survey recent results in the mathematical literature on the equations of incompressible fluid dynamics, highlighting common themes and how they might contribute to the understanding of some phenomena in the theory of fully developed turbulence. We survey recent results in the mathematical literature on the equations of incompressible fluid dynamics, highlighting common themes and how they might contribute to the understanding of some phenomena in the theory of fully developed turbulence. △ Less

Submitted 3 August, 2021; originally announced August 2021.

Comments: To appear in Philosophical Transactions of the Royal Society A

Area minimizing hypersurfaces modulo $p$: a geometric free-boundary problem

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: We consider area minimizing $m$-dimensional currents $\mathrm{mod}(p)$ in complete $C^2$ Riemannian manifolds $Σ$ of dimension $m+1$. For odd moduli we prove that, away from a closed rectifiable set of codimension $2$, the current in question is, locally, the union of finitely many smooth minimal hypersurfaces coming together at a common $C^{1,α}$ boundary of dimension $m-1$, and the result is opt… ▽ More We consider area minimizing $m$-dimensional currents $\mathrm{mod}(p)$ in complete $C^2$ Riemannian manifolds $Σ$ of dimension $m+1$. For odd moduli we prove that, away from a closed rectifiable set of codimension $2$, the current in question is, locally, the union of finitely many smooth minimal hypersurfaces coming together at a common $C^{1,α}$ boundary of dimension $m-1$, and the result is optimal. For even $p$ such structure holds in a neighborhood of any point where at least one tangent cone has $(m-1)$-dimensional spine. These structural results are indeed the byproduct of a theorem that proves (for any modulus) uniqueness and decay towards such tangent cones. The underlying strategy of the proof is inspired by the techniques developed by Leon Simon in "Cylindrical tangent cones and the singular set of minimal submanifolds" (J. Diff. Geom. 1993) in a class of multiplicity one stationary varifolds. The major difficulty in our setting is produced by the fact that the cones and surfaces under investigation have arbitrary multiplicities ranging from $1$ to $\lfloor \frac{p}{2}\rfloor$. △ Less

Submitted 13 September, 2021; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 102 pages, 6 figures. Comments are welcome! In v2 some typos are corrected, acknowledgments and addresses are added; in v3 we added, in the Introduction, a paragraph concerning the implications of Wickramasekera's work on stable varifolds for the topic of the present paper

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Smoothing does not give a selection principle for transport equations with bounded autonomous fields

Authors: Camillo De Lellis, Vikram Giri

Abstract: We give an example of a bounded divergence free autonomous vector field in $\mathbb R^3$ (and of a nonautonomous bounded divergence free vector field in $\mathbb R^2$) and of a bounded initial data for which the Cauchy problem for the corresponding transport equation has $2$ distinct solutions. We then show that both solutions are limits of classical solutions of transport equations for appropriat… ▽ More We give an example of a bounded divergence free autonomous vector field in $\mathbb R^3$ (and of a nonautonomous bounded divergence free vector field in $\mathbb R^2$) and of a bounded initial data for which the Cauchy problem for the corresponding transport equation has $2$ distinct solutions. We then show that both solutions are limits of classical solutions of transport equations for appropriate smoothings of the vector fields and of the initial data. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Endpoint regularity for $2d$ Mumford-Shah minimizers: On a theorem of Andersson and Mikayelyan

Authors: Camillo De Lellis, Matteo Focardi, Silvia Ghinassi

Abstract: We give an alternative proof of the regularity, up to the loose end, of minimizers, resp. critical points of the Mumford-Shah functional when they are sufficiently close to the cracktip, resp. they consist of a single arc terminating at an interior point. We give an alternative proof of the regularity, up to the loose end, of minimizers, resp. critical points of the Mumford-Shah functional when they are sufficiently close to the cracktip, resp. they consist of a single arc terminating at an interior point. △ Less

Submitted 16 October, 2021; v1 submitted 9 October, 2020; originally announced October 2020.

Comments: 27 pages. v3: corrected typos, added proof of (8.1), corrected acknowledgements. To appear in Journal de Mathématiques Pures et Appliquées. For Errata see https://www.math.ias.edu/delellis/sites/math.ias.edu.delellis/files/Errata-crackip.pdf

On Non-uniqueness of Hölder continuous globally dissipative Euler flows

Authors: Camillo De Lellis, Hyunju Kwon

Abstract: We show that for any $\al<\frac 17$ there exist $\al$-Hölder continuous weak solutions of the three-dimensional incompressible Euler equation, which satisfy the local energy inequality and strictly dissipate the total kinetic energy. The proof relies on the convex integration scheme and the main building blocks of the solution are various Mikado flows with disjoint supports in space and time. We show that for any $\al<\frac 17$ there exist $\al$-Hölder continuous weak solutions of the three-dimensional incompressible Euler equation, which satisfy the local energy inequality and strictly dissipate the total kinetic energy. The proof relies on the convex integration scheme and the main building blocks of the solution are various Mikado flows with disjoint supports in space and time. △ Less

Submitted 12 July, 2020; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: v2: a minor issue on the well-definedness of the mollification along the flow is fixed

MSC Class: 35Q31(Primary); 35D30; 76B03 (Secondary)

Journal ref: Analysis & PDE 15 (2022) 2003-2059

Positive solutions of transport equations and classical nonuniqueness of characteristic curves

Authors: Elia Bruè, Maria Colombo, Camillo De Lellis

Abstract: The seminal work of DiPerna and Lions [Invent. Math., 98, 1989] guarantees the existence and uniqueness of regular Lagrangian flows for Sobolev vector fields. The latter is a suitable selection of trajectories of the related ODE satisfying additional compressibility/semigroup properties. A long-standing open question is whether the uniqueness of the regular Lagrangian flow is a corollary of the un… ▽ More The seminal work of DiPerna and Lions [Invent. Math., 98, 1989] guarantees the existence and uniqueness of regular Lagrangian flows for Sobolev vector fields. The latter is a suitable selection of trajectories of the related ODE satisfying additional compressibility/semigroup properties. A long-standing open question is whether the uniqueness of the regular Lagrangian flow is a corollary of the uniqueness of the trajectory of the ODE for a.e. initial datum. Using Ambrosio's superposition principle we relate the latter to the uniqueness of positive solutions of the continuity equation and we then provide a negative answer using tools introduced by Modena and Székelyhidi in the recent groundbreaking work [Ann. PDE, 4, 2018]. On the opposite side, we introduce a new class of asymmetric Lusin-Lipschitz inequalities and use them to prove the uniqueness of positive solutions of the continuity equation in an integrability range which goes beyond the DiPerna-Lions theory. △ Less

Submitted 1 March, 2020; originally announced March 2020.

The geometry of $C^{1,α}$ flat isometric immersions

Authors: Camillo De Lellis, Mohammad Reza Pakzad

Abstract: We show that any isometric immersion of a flat plane domain into $\mathbb R^3$ is developable provided it enjoys the little Hölder regulairty $c^{1,2/3}$. In particular, isometric immersions of local $C^{1,α}$ regularity with $α> 2/3$ belong to this class. The proof is based on the existence of a weak notion of second fundamental form for such immersions, the analysis of the Gauss-Codazzi-Mainardi… ▽ More We show that any isometric immersion of a flat plane domain into $\mathbb R^3$ is developable provided it enjoys the little Hölder regulairty $c^{1,2/3}$. In particular, isometric immersions of local $C^{1,α}$ regularity with $α> 2/3$ belong to this class. The proof is based on the existence of a weak notion of second fundamental form for such immersions, the analysis of the Gauss-Codazzi-Mainardi equations in this weak setting, and a parallel result on the very weak solutions to the degenerate Monge-Ampère equation analyzed by Lewicka and the second author. △ Less

Submitted 4 April, 2024; v1 submitted 29 January, 2020; originally announced January 2020.

Comments: 31 pages; Minor editorial corrections with respect to v4. To appear in Proceedings of the Royal Society of Edinburgh Section A

MSC Class: 53C24; 53C21; 57N35; 53A05

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.

Regularity of area minimizing currents mod $p$

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Salvatore Stuvard

Abstract: We establish a first general partial regularity theorem for area minimizing currents $\mathrm{mod}(p)$, for every $p$, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of an $m$-dimensional area minimizing current $\mathrm{mod}(p)$ cannot be larger than $m-1$. Additionally, we show that, when $p$ is odd, the interior singular set… ▽ More We establish a first general partial regularity theorem for area minimizing currents $\mathrm{mod}(p)$, for every $p$, in any dimension and codimension. More precisely, we prove that the Hausdorff dimension of the interior singular set of an $m$-dimensional area minimizing current $\mathrm{mod}(p)$ cannot be larger than $m-1$. Additionally, we show that, when $p$ is odd, the interior singular set is $(m-1)$-rectifiable with locally finite $(m-1)$-dimensional measure. △ Less

Submitted 24 August, 2020; v1 submitted 7 September, 2019; originally announced September 2019.

Comments: 96 pages. Second part of a two-papers work aimed at establishing a first general partial regularity theory for area minimizing currents modulo p, for any p and in any dimension and codimension. v3 is the final version, to appear on Geom. Funct. Anal

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

Journal ref: Geom. Funct. Anal. 30(5), 1224-1336 (2020)

Area minimizing currents mod $2Q$: linear regularity theory

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Salvatore Stuvard

Abstract: We establish a theory of $Q$-valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents $\mathrm{mod}(p)$ when $p=2Q$, and to establish a first general partial regularity theorem for every $p$ in any dimension and codimension. We establish a theory of $Q$-valued functions minimizing a suitable generalization of the Dirichlet integral. In a second paper the theory will be used to approximate efficiently area minimizing currents $\mathrm{mod}(p)$ when $p=2Q$, and to establish a first general partial regularity theorem for every $p$ in any dimension and codimension. △ Less

Submitted 24 August, 2020; v1 submitted 7 September, 2019; originally announced September 2019.

Comments: 37 pages. First part of a two-papers work aimed at establishing a first general partial regularity theory for area minimizing currents modulo p, for any p and in any dimension and codimension. v3 is the final version, to appear on Comm. Pure Appl. Math

MSC Class: 49Q15; 49Q05; 49N60; 35B65; 35J47

Journal ref: Comm. Pure Appl. Math. Volume 75 Issue 1 (2022) pp. 83-127

Dirichlet energy-minimizers with analytic boundary

Authors: Camillo De Lellis, Zihui Zhao

Abstract: In this paper, we consider multi-valued graphs with a prescribed real analytic interface that minimize the Dirichlet energy. Such objects arise as a linearized model of area minimizing currents with real analytic boundaries and our main result is that their singular set is discrete in 2 dimensions. This confirms (and provides a first step to) a conjecture by B. White \cite{White97} that area minim… ▽ More In this paper, we consider multi-valued graphs with a prescribed real analytic interface that minimize the Dirichlet energy. Such objects arise as a linearized model of area minimizing currents with real analytic boundaries and our main result is that their singular set is discrete in 2 dimensions. This confirms (and provides a first step to) a conjecture by B. White \cite{White97} that area minimizing $2$-dimensional currents with real analytic boundaries have a finite number of singularities. We also show that, in any dimension, Dirichlet energy-minimizers with a $C^1$ boundary interface are Hölder continuous at the interface. △ Less

Submitted 9 August, 2019; v1 submitted 24 June, 2019; originally announced June 2019.

Comments: In this version we add a new section 8 to further analyze the exceptional case and show it is indeed Dir-minimizing. We also add a (trivial) missing case in Proposition 6.1 and include discussions in that regard thereafter

Nonclassical minimizing surfaces with smooth boundary

Authors: Camillo De Lellis, Guido De Philippis, Jonas Hirsch

Abstract: We construct a Riemannian metric $g$ on $\mathbb{R}^4$ (arbitrarily close to the euclidean one) and a smooth simple closed curve $Γ\subset \mathbb R^4$ such that the unique area minimizing surface spanned by $Γ$ has infinite topology. Furthermore the metric is almost Kähler and the area minimizing surface is calibrated. We construct a Riemannian metric $g$ on $\mathbb{R}^4$ (arbitrarily close to the euclidean one) and a smooth simple closed curve $Γ\subset \mathbb R^4$ such that the unique area minimizing surface spanned by $Γ$ has infinite topology. Furthermore the metric is almost Kähler and the area minimizing surface is calibrated. △ Less

Submitted 29 June, 2019; v1 submitted 22 June, 2019; originally announced June 2019.

MSC Class: 53A10(49Q05)

On turbulence and geometry: from Nash to Onsager

Authors: camillo De Lellis, László Székelyhidi Jr

Abstract: This article is a short nontechnical survey of recent progresses in fluid dynamics and differential geometry, relating a conjecture of Lars Onsager to the work of Nash on isometric embeddings. This article is a short nontechnical survey of recent progresses in fluid dynamics and differential geometry, relating a conjecture of Lars Onsager to the work of Nash on isometric embeddings. △ Less

Submitted 8 January, 2019; originally announced January 2019.

On the boundary behavior of mass-minimizing integral currents

Authors: Camillo De Lellis, Guido De Philippis, Jonas Hirsch, Annalisa Massaccesi

Abstract: Let $Σ$ be a smooth Riemannian manifold, $Γ\subset Σ$ a smooth closed oriented submanifold of codimension higher than $2$ and $T$ an integral area-minimizing current in $Σ$ which bounds $Γ$. We prove that the set of regular points of $T$ at the boundary is dense in $Γ$. Prior to our theorem the existence of any regular point was not known, except for some special choice of $Σ$ and $Γ$. As a coroll… ▽ More Let $Σ$ be a smooth Riemannian manifold, $Γ\subset Σ$ a smooth closed oriented submanifold of codimension higher than $2$ and $T$ an integral area-minimizing current in $Σ$ which bounds $Γ$. We prove that the set of regular points of $T$ at the boundary is dense in $Γ$. Prior to our theorem the existence of any regular point was not known, except for some special choice of $Σ$ and $Γ$. As a corollary we answer to a question of Almgren about the connectivity of minimizers. △ Less

Submitted 6 July, 2021; v1 submitted 25 September, 2018; originally announced September 2018.

$C^{1,α}$ Isometric Embeddings of Polar Caps

Authors: Camillo De Lellis, Dominik Inauen

Abstract: We study isometric embeddings of $C^2$ Riemannian manifolds in the Euclidean space and we establish that the Hölder space $C^{1,\frac{1}{2}}$ is critical in a suitable sense: in particular we prove that for $α> \frac{1}{2}$ the Levi-Civita connection of any isometric immersion is induced by the Euclidean connection, whereas for any $α< \frac{1}{2}$ we construct $C^{1,α}$ isometric embeddings of po… ▽ More We study isometric embeddings of $C^2$ Riemannian manifolds in the Euclidean space and we establish that the Hölder space $C^{1,\frac{1}{2}}$ is critical in a suitable sense: in particular we prove that for $α> \frac{1}{2}$ the Levi-Civita connection of any isometric immersion is induced by the Euclidean connection, whereas for any $α< \frac{1}{2}$ we construct $C^{1,α}$ isometric embeddings of portions of the standard $2$-dimensional sphere for which such property fails. △ Less

Submitted 14 February, 2019; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: 31 pages

MSC Class: 57N35; 58D10; 53C21

Almgren's center manifold in a simple setting

Authors: Camillo De Lellis

Abstract: We aim at explaining the most basic ideas underlying two fundamental results in the regularity theory of area minimizing oriented surfaces: De Giorgi's celebrated $\varepsilon$-regularity theorem and Almgren's center manifold. Both theorems will be proved in a very simplified situation, which however allows to illustrate some of the most important PDE estimates. We aim at explaining the most basic ideas underlying two fundamental results in the regularity theory of area minimizing oriented surfaces: De Giorgi's celebrated $\varepsilon$-regularity theorem and Almgren's center manifold. Both theorems will be proved in a very simplified situation, which however allows to illustrate some of the most important PDE estimates. △ Less

Submitted 18 July, 2018; v1 submitted 17 July, 2018; originally announced July 2018.

Comments: Lectures held in Park City, 9-13 July 2018. Version 2: typos and minor mistakes corrected

MSC Class: 49Q15; 49Q05; 35D10

Lossless Analog Compression

Authors: Giovanni Alberti, Helmut Bölcskei, Camillo De Lellis, Günther Koliander, Erwin Riegler

Abstract: We establish the fundamental limits of lossless analog compression by considering the recovery of arbitrary m-dimensional real random vectors x from the noiseless linear measurements y=Ax with n x m measurement matrix A. Our theory is inspired by the groundbreaking work of Wu and Verdu (2010) on almost lossless analog compression, but applies to the nonasymptotic, i.e., fixed-m case, and considers… ▽ More We establish the fundamental limits of lossless analog compression by considering the recovery of arbitrary m-dimensional real random vectors x from the noiseless linear measurements y=Ax with n x m measurement matrix A. Our theory is inspired by the groundbreaking work of Wu and Verdu (2010) on almost lossless analog compression, but applies to the nonasymptotic, i.e., fixed-m case, and considers zero error probability. Specifically, our achievability result states that, for almost all A, the random vector x can be recovered with zero error probability provided that n > K(x), where K(x) is given by the infimum of the lower modified Minkowski dimension over all support sets U of x. We then particularize this achievability result to the class of s-rectifiable random vectors as introduced in Koliander et al. (2016); these are random vectors of absolutely continuous distribution -- with respect to the s-dimensional Hausdorff measure -- supported on countable unions of s-dimensional differentiable submanifolds of the m-dimensional real coordinate space. Countable unions of differentiable submanifolds include essentially all signal models used in the compressed sensing literature. Specifically, we prove that, for almost all A, s-rectifiable random vectors x can be recovered with zero error probability from n>s linear measurements. This threshold is, however, found not to be tight as exemplified by the construction of an s-rectifiable random vector that can be recovered with zero error probability from n<s linear measurements. This leads us to the introduction of the new class of s-analytic random vectors, which admit a strong converse in the sense of n greater than or equal to s being necessary for recovery with probability of error smaller than one. The central conceptual tools in the development of our theory are geometric measure theory and the theory of real analytic functions. △ Less

Submitted 2 October, 2024; v1 submitted 19 March, 2018; originally announced March 2018.

Boundary regularity of mass-minimizing integral currents and a question of Almgren

Authors: Camillo De Lellis, Guido De Philippis, Jonas Hirsch, Annalisa Massaccesi

Abstract: This short note is the announcement of a forthcoming work in which we prove a first general boundary regularity result for area-minimizing currents in higher codimension, without any geometric assumption on the boundary, except that it is an embedded submanifold of a Riemannian manifold, with a mild amount of smoothness ($C^{3, a_0}$ for a positive $a_0$ suffices). Our theorem allows to answer a q… ▽ More This short note is the announcement of a forthcoming work in which we prove a first general boundary regularity result for area-minimizing currents in higher codimension, without any geometric assumption on the boundary, except that it is an embedded submanifold of a Riemannian manifold, with a mild amount of smoothness ($C^{3, a_0}$ for a positive $a_0$ suffices). Our theorem allows to answer a question posed by Almgren at the end of his Big Regularity Paper. In this note we discuss the ideas of the proof and we also announce a theorem which shows that the boundary regularity is in general weaker that the interior regularity. Moreover we remark an interesting elementary byproduct on boundary monotonicity formulae. △ Less

Submitted 21 February, 2018; originally announced February 2018.

MSC Class: 49Q15 (53C42 58A20)

The generalized Caffarelli-Kohn-Nirenberg Theorem for the hyperdissipative Navier-Stokes system

Authors: Maria Colombo, Camillo De Lellis, Annalisa Massaccesi

Abstract: We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg. We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg. △ Less

Submitted 19 December, 2017; originally announced December 2017.

Ill-posedness of Leray solutions for the ipodissipative Navier-Stokes equations

Authors: Maria Colombo, Camillo De Lellis, Luigi De Rosa

Abstract: We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-Δ)^α$ with exponent $α< \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and László Székelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusi… ▽ More We prove the ill-posedness of Leray solutions to the Cauchy problem for the ipodissipative Navier--Stokes equations, when the dissipative term is a fractional Laplacian $(-Δ)^α$ with exponent $α< \frac{1}{5}$. The proof follows the ''convex integration methods'' introduced by the second author and László Székelyhidi Jr. for the incomprresible Euler equations. The methods yield indeed some conclusions even for exponents in the range $[\frac{1}{5}, \frac{1}{2}[$. △ Less

Submitted 17 August, 2017; originally announced August 2017.

Comments: arXiv admin note: text overlap with arXiv:1302.2815

MSC Class: 35Q31 35A01 35D30

Fractional Sobolev Regularity for the Brouwer Degree

Authors: Camillo De Lellis, Dominik Inauen

Abstract: We prove that if $Ω\subset \mathbb R^n$ is a bounded open set and $nα> {\rm dim}_b (\partial Ω) = d$, then the Brouwer degree deg$(v,Ω,\cdot)$ of any Hölder function $v\in C^{0,α}\left (Ω, \mathbb R^{n}\right)$ belongs to the Sobolev space $W^{β, p} (\mathbb R^n)$ for every $0\leq β< \frac{n}{p} - \frac{d}α$. This extends a summability result of Olbermann and in fact we get, as a byproduct, a more… ▽ More We prove that if $Ω\subset \mathbb R^n$ is a bounded open set and $nα> {\rm dim}_b (\partial Ω) = d$, then the Brouwer degree deg$(v,Ω,\cdot)$ of any Hölder function $v\in C^{0,α}\left (Ω, \mathbb R^{n}\right)$ belongs to the Sobolev space $W^{β, p} (\mathbb R^n)$ for every $0\leq β< \frac{n}{p} - \frac{d}α$. This extends a summability result of Olbermann and in fact we get, as a byproduct, a more elementary proof of it. Moreover we show the optimality of the range of exponents in the following sense: for every $β\geq 0$ and $p\geq 1$ with $β> \frac{n}{p} - \frac{n-1}α$ there is a vector field $v\in C^{0, α} (B_1, \mathbb R^n)$ with $\mbox{deg}\, (v, Ω, \cdot)\notin W^{β, p}$, where $B_1 \subset \mathbb R^n$ is the unit ball. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 12 pages, 1 figure

MSC Class: 26B10; 55M25; 46E35

Onsager's conjecture for admissible weak solutions

Authors: Tristan Buckmaster, Camillo De Lellis, László Székelyhidi Jr., Vlad Vicol

Abstract: We prove that given any $β<1/3$, a time interval $[0,T]$, and given any smooth energy profile $e \colon [0,T] \to (0,\infty)$, there exists a weak solution $v$ of the three-dimensional Euler equations such that $v \in C^β([0,T]\times \mathbb{T}^3)$, with $e(t) = \int_{\mathbb{T}^3} |v(x,t)|^2 dx$ for all $t\in [0,T]$. Moreover, we show that a suitable $h$-principle holds in the regularity class… ▽ More We prove that given any $β<1/3$, a time interval $[0,T]$, and given any smooth energy profile $e \colon [0,T] \to (0,\infty)$, there exists a weak solution $v$ of the three-dimensional Euler equations such that $v \in C^β([0,T]\times \mathbb{T}^3)$, with $e(t) = \int_{\mathbb{T}^3} |v(x,t)|^2 dx$ for all $t\in [0,T]$. Moreover, we show that a suitable $h$-principle holds in the regularity class $C^β_{t,x}$, for any $β<1/3$. The implication of this is that the dissipative solutions we construct are in a sense typical in the appropriate space of subsolutions as opposed to just isolated examples. △ Less

Submitted 30 January, 2017; originally announced January 2017.

Comments: 36 pages, 1 figure

MSC Class: 35Q31 (Primary); 35D30; 76B03 (Secondary)

Rectifiability and upper Minkowski bounds for singularities of harmonic Q-valued maps

Authors: Camillo de Lellis, Andrea Marchese, Emanuele Spadaro, Daniele Valtorta

Abstract: In this article we prove that the singular set of Dirichlet-minimizing $Q$-valued functions is countably $(m-2)$-rectifiable and we give upper bounds for the $(m-2)$-dimensional Minkowski content of the set of singular points with multiplicity $Q$. In this article we prove that the singular set of Dirichlet-minimizing $Q$-valued functions is countably $(m-2)$-rectifiable and we give upper bounds for the $(m-2)$-dimensional Minkowski content of the set of singular points with multiplicity $Q$. △ Less

Submitted 13 October, 2020; v1 submitted 6 December, 2016; originally announced December 2016.

MSC Class: 49Q20; 53A10; 49N60

Min-max theory for minimal hypersurfaces with boundary

Authors: Camillo De Lellis, Jusuf Ramic

Abstract: In this note we propose a min-max theory for embedded hypersurfaces with a fixed boundary and apply it to prove several theorems about the existence of embedded minimal hypersurfaces with a given boundary. A simpler variant of these theorems holds also for the case of the free boundary minimal surfaces. In this note we propose a min-max theory for embedded hypersurfaces with a fixed boundary and apply it to prove several theorems about the existence of embedded minimal hypersurfaces with a given boundary. A simpler variant of these theorems holds also for the case of the free boundary minimal surfaces. △ Less

Submitted 18 May, 2017; v1 submitted 3 November, 2016; originally announced November 2016.

Comments: 58 pages, 4 figures. Second version with errors corrected, following the comments of a referee

Min-max embedded geodesic lines in asymptotically conical surfaces

Authors: Alessandro Carlotto, Camillo De Lellis

Abstract: We employ min-max methods to construct uncountably many, geometrically distinct, properly embedded geodesic lines in any asymptotically conical surface of non-negative scalar curvature, a setting where minimization schemes are doomed to fail. Our construction provides control of the Morse index of the geodesic lines we produce, which will be always less or equal than one (with equality under suita… ▽ More We employ min-max methods to construct uncountably many, geometrically distinct, properly embedded geodesic lines in any asymptotically conical surface of non-negative scalar curvature, a setting where minimization schemes are doomed to fail. Our construction provides control of the Morse index of the geodesic lines we produce, which will be always less or equal than one (with equality under suitable curvature or genericity assumptions), as well as of their precise asymptotic behaviour. In fact, we can prove that in any such surface for every couple of opposite half-lines there exists an embedded geodesic line whose two ends are asymptotic, in a suitable sense, to those half-lines. △ Less

Submitted 12 February, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: final version, to appear in the Journal of Differential Geometry

High dimensionality and h-principle in PDE

Authors: Camillo De Lellis, László Székelyhidi Jr

Abstract: In this note we would like to present "an analysts' point of view" on the Nash-Kuiper theorem and in particular highlight the very close connection to some aspects of turbulence -- a paradigm example of a high-dimensional phenomenon. In this note we would like to present "an analysts' point of view" on the Nash-Kuiper theorem and in particular highlight the very close connection to some aspects of turbulence -- a paradigm example of a high-dimensional phenomenon. △ Less

Submitted 11 September, 2016; originally announced September 2016.

Comments: To appear in the Bulletin of the AMS

The masterpieces of John Forbes Nash Jr

Authors: Camillo De Lellis

Abstract: In this note I have tried to rewrite four famous works of Nash in a more modern language while adhering as much as possible to the original arguments. In this note I have tried to rewrite four famous works of Nash in a more modern language while adhering as much as possible to the original arguments. △ Less

Submitted 12 March, 2017; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: To appear in J. Holden and R. Piene (editors): The Abel Prize 2013-2017. Springer Verlag

A direct approach to the anisotropic Plateau problem

Authors: Camillo De Lellis, Antonio De Rosa, Francesco Ghiraldin

Abstract: We prove a compactness principle for the anisotropic formulation of the Plateau problem in codimension one, along the same lines of previous works of the authors [DGM14, DPDRG15]. In particular, we perform a new strategy for proving the rectifiability of the minimal set, avoiding the Preiss' Rectifiability Theorem [Pre87]. We prove a compactness principle for the anisotropic formulation of the Plateau problem in codimension one, along the same lines of previous works of the authors [DGM14, DPDRG15]. In particular, we perform a new strategy for proving the rectifiability of the minimal set, avoiding the Preiss' Rectifiability Theorem [Pre87]. △ Less

Submitted 15 April, 2017; v1 submitted 28 February, 2016; originally announced February 2016.

Comments: 14 pages

MSC Class: 49-XX

Transport equation with integral terms

Authors: Camillo De Lellis, Piotr Gwiazda, Agnieszka Świerczewska-Gwiazda

Abstract: We prove some theorems on the existence, uniqueness, stability and compactness properties of solutions to inhomogeneous transport equations with Sobolev coefficients, where the inhomogeneous term depends upon the solution through an integral operator. Contrary to the usual DiPerna-Lions approach, the essential step is to formulate the problem in the Lagrangian setting. Some motivations to study th… ▽ More We prove some theorems on the existence, uniqueness, stability and compactness properties of solutions to inhomogeneous transport equations with Sobolev coefficients, where the inhomogeneous term depends upon the solution through an integral operator. Contrary to the usual DiPerna-Lions approach, the essential step is to formulate the problem in the Lagrangian setting. Some motivations to study the above problem arise from the description of polymeric flows, where such kind of equations are coupled with other Navier-Stokes type equations. Using the results for the transport equation we will provide, in a separate paper, a sequential stability theorem for the full problem of the flow of concentrated polymers. △ Less

Submitted 9 February, 2016; originally announced February 2016.

Comments: 17

A Nash-Kuiper theorem for $C^{1,\frac{1}{5}-δ}$ immersions of surfaces in $3$ dimensions

Authors: Camillo De Lellis, Dominik Inauen, László Székelyhidi Jr

Abstract: We prove that, given a $C^2$ Riemannian metric $g$ on the $2$-dimensional disk $D_2$, any short $C^1$ immersion of $(D_2,g)$ into $\mathbb R^3$ can be uniformly approximated with $C^{1,α}$ isometric immersions for any $α< \frac{1}{5}$. This statement improves previous results by Yu.F. Borisov and of a joint paper of the first and third author with S. Conti. We prove that, given a $C^2$ Riemannian metric $g$ on the $2$-dimensional disk $D_2$, any short $C^1$ immersion of $(D_2,g)$ into $\mathbb R^3$ can be uniformly approximated with $C^{1,α}$ isometric immersions for any $α< \frac{1}{5}$. This statement improves previous results by Yu.F. Borisov and of a joint paper of the first and third author with S. Conti. △ Less

Submitted 11 September, 2016; v1 submitted 7 October, 2015; originally announced October 2015.