Searcharxiv⌕ Search

arXiv subjects

Jonas Hirsch

Publications and source records attributed to Jonas Hirsch.

At least 37 records · Page 2Linked to original sources
arXiv2023

Higher integrability for measures satisfying a PDE constraint

We establish higher integrability estimates for constant-coefficient systems of linear PDEs \[ \mathcal{A} μ= σ, \] where $μ\in \mathcal{M}(Ω;V)$ and $σ\in \mathcal{M}(Ω;W)$ are vector measures and the polar $\frac{\mathrm{d} μ}{\mathrm{d} |μ|}$ is uniformly close to a convex cone of $V$ intersecting the wave cone of $\mathcal{A}$ only at the origin. More precisely, we prove local compensated compactness estimates of the form \[ \|μ\|_{\mathrm{L}^p(Ω')} \lesssim |μ|(Ω) + |σ|(Ω), \qquad Ω' \Subset Ω. \] Here, the exponent $p$ belongs to the (optimal) range $1 \leq p < d/(d-k)$, $d$ is the dimension of $Ω$, and $k$ is the order of $\mathcal{A}$. We also obtain the limiting case $p = d/(d-k)$ for canceling constant-rank operators. We consider applications to compensated compactness and {applications to the theory of} functions of bounded variation and bounded deformation.

math.AP↗
arXiv2022

Regularity for rough hypoelliptic equations

We present a general approach to obtain a weak Harnack inequality for rough hypoellipitic equations, e.g. kinetic equations. The proof is constructive and does not study the commutator structure but rather compares the rough solution with a smooth problem for which the estimates are assumed.

math.AP↗
arXiv2022

On a degenerate elliptic problem arising in the least action principle for Rayleigh-Taylor subsolutions

We address a degenerate elliptic variational problem arising in the application of the least action principle to averaged solutions of the inhomogeneous Euler equations in Boussinesq approximation emanating from the horizontally flat Rayleigh-Taylor configuration. We give a detailed derivation of the functional starting from the differential inclusion associated with the Euler equations, i.e. the notion of an averaged solution is the one of a subsolution in the context of convex integration, and illustrate how it is linked to the generalized least action principle introduced by Brenier in \cite{Brenier89,Brenier18}. Concerning the investigation of the functional itself, we use a regular approximation in order to show the existence of a minimzer enjoying partial regularity, as well as other properties important for the construction of actual Euler solutions induced by the minimizer. Furthermore, we discuss to what extent such an application of the least action principle to subsolutions can serve as a selection criterion.

math.AP↗
arXiv2022

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

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.

math.AP↗
arXiv2021

Making Waves

We study linear PDE constraints for vector-valued functions and distributions. Our focus lies on wave solutions. These give rise to distributions with low-dimensional support. Special waves from vector potentials are represented by syzygies. We parametrize all waves by projective varieties derived from the support of the PDE. These include determinantal varieties and Fano varieties, and they generalize wave cones in analysis.

math.AG↗
arXiv2021

On the boundary behavior of mass-minimizing integral currents

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.

math.AP↗
arXiv2020

On the constancy theorem for anisotropic energies through differential inclusions

In this paper we study stationary graphs for functionals of geometric nature defined on currents or varifolds. The point of view we adopt is the one of differential inclusions, introduced in this context in the recent paper [De Lellis, De Philippis, Kirchheim, Tione, 2019]. In particular, given a polyconvex integrand $f$, we define a set of matrices $C_f$ that allows us to rewrite the stationarity condition for a graph with multiplicity as a differential inclusion. Then we prove that if $f$ is assumed to be non-negative, then in $C_f$ there is no $T'_N$ configuration, thus recovering the main result of [De Lellis, De Philippis, Kirchheim, Tione, 2019] as a corollary. Finally, we show that if the hypothesis of non-negativity is dropped, one can not only find $T'_N$ configurations in $C_f$, but it is also possible to construct via convex integration a very degenerate stationary point with multiplicity.

math.AP↗
arXiv2020

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

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.

math.AP↗
arXiv2020

Regularity of area minimizing currents mod $p$

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.

math.AP↗
arXiv2019

Growth conditions and regularity, an optimal local boundedness result

We prove local boundedness of local minimizers of scalar integral functionals $\int_Ωf(x,\nabla u(x))\,dx$, $Ω\subset\mathbb R^n$ where the integrand satisfies $(p,q)$-growth of the form \begin{equation*} |z|^p\lesssim f(x,z)\lesssim |z|^q+1 \end{equation*} under the optimal relation $\frac1p-\frac1q\leq \frac1{n-1}$.

math.AP↗
arXiv2019

Nonclassical minimizing surfaces with smooth boundary

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.

math.DG↗
arXiv2019

On the Index of Willmore spheres

We consider unbranched Willmore surfaces in the Euclidean space that arise as inverted complete minimal surfaces with embedded planar ends. Several statements are proven about upper and lower bounds on the Morse Index - the number of linearly independent variational directions that locally decrease the Willmore energy. We in particular compute the Index of a Willmore sphere in the three-space. This Index is $m-d$, where $m$ is the number of ends of the corresponding complete minimal surface and $d$ is the dimension of the span of the normals at the $m$-fold point. The dimension $d$ is either two or three. For $m=4$ we prove that $d=3$. In general, we show that there is a strong connection of the Morse Index to the number of logarithmically growing Jacobi fields on the corresponding minimal surface.

math.DG↗
arXiv2019

Dimensional estimates and rectifiability for measures satisfying linear PDE constraints

We establish the rectifiability of measures satisfying a linear PDE constraint. The obtained rectifiability dimensions are optimal for many usual PDE operators, including all first-order systems and all second-order scalar operators. In particular, our general theorem provides a new proof of the rectifiability results for functions of bounded variations (BV) and functions of bounded deformation (BD). For divergence-free tensors we obtain refinements and new proofs of several known results on the rectifiability of varifolds and defect measures.

math.AP↗
arXiv2019

The Area Blow Up set for bounded mean curvature submanifolds with respect to elliptic surface energy functionals

In this paper we investigate the "area blow-up" set of a sequence of smooth co-dimension one manifolds whose first variation with respect to an anisotropic integral is bounded. Following the ideas introduced by White in (J. Differential Geom., 2016), we show that this set has bounded (anisotropic) mean curvature in the viscosity sense. In particular, this allows to show that the set is empty in a variety of situations. As a consequence, we show boundary curvature estimates for two dimensional stable anisotropic minimal surfaces, extending the results of (Invent. Math., 1987).

math.AP↗
arXiv2019

Regularity of minimizers for a model of charged droplets

We investigate properties of minimizers of a variational model describing the shape of charged liquid droplets. The model, proposed by Muratov and Novaga, takes into account the regularizing effect due to the screening of free counterionions in the droplet. In particular we prove partial regularity of minimizers, a first step toward the understanding of further properties of minimizers.

math.AP↗
arXiv2018

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

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.

math.AP↗