arXiv subjects
Publications and source records attributed to Matteo Novaga.
In this note we show existence and regularity of periodic tilings of the Euclidean space into equal cells containing a ball of fixed radius, which minimize either the classical or the fractional perimeter. We also discuss some qualitative properties of minimizers in dimensions $3$ and $4$.
We study periodic tessellations of the Euclidean space with unequal cells arising from the minimization of perimeter functionals. Existence results and qualitative properties of minimizers are discussed for different classes of problems, involving local and non-local perimeters. Regularity is then addressed in the general case under volume penalization, and in the planar case with the standard perimeter, prescribing the volumes of each cell. Finally, we show the optimality of hexagonal tilings among partitions with almost equal areas.
This paper addresses the ill-posedness of the classical Rayleigh variational model of conducting charged liquid drops by incorporating the discreteness of the elementary charges. Introducing the model that describes two immiscible fluids with the same dielectric constant, with a drop of one fluid containing a fixed number of elementary charges together with their solvation spheres, we interpret the equilibrium shape of the drop as a global minimizer of the sum of its surface energy and the electrostatic repulsive energy between the charges under fixed drop volume. For all model parameters, we establish existence of generalized minimizers that consist of at most a finite number of components ``at infinity''. We also give several existence and non-existence results for classical minimizers consisting of only a single component. In particular, we identify an asymptotically sharp threshold for the number of charges to yield existence of minimizers in a regime corresponding to macroscopically large drops containing a large number of charges. The obtained non-trivial threshold is significantly below the corresponding threshold for the Rayleigh model, consistently with the ill-posedness of the latter and demonstrating a particular regularizing effect of the charge discreteness. However, when a minimizer does exist in this regime, it approaches a ball with the charge uniformly distributed on the surface as the number of charges goes to infinity, just as in the Rayleigh model. Finally, we provide an explicit solution for the problem with two charges and a macroscopically large drop.
We show by a formal asymptotic expansion that level sets of solutions of a time-fractional Allen-Cahn equation evolve by a geometric flow whose normal velocity is a positive power of the mean curvature. This connection is quite intriguing, since the original equation is nonlocal and the evolution of its solutions depends on all previous states, but the associated geometric flow is of purely local type, with no memory effect involved.
Locally isoperimetric $N$-partitions are partitions of the space $\mathbb R^d$ into $N$ regions with prescribed, finite or infinite measure, which have minimal perimeter (which is the $(d-1)$-dimensional measure of the interfaces between the regions) among all variations with compact support preserving the total measure of each region. In the case when only one region has infinite measure, the problem reduces to the well known problem of isoperimetric clusters: in this case the minimal perimeter is finite, and variations are not required to have compact support. In a recent paper by Alama, Bronsard and Vriend, the definition of isoperimetric partition was introduced, and an example, namely the \emph{lens} partition, was shown to be locally isoperimetric in the plane. In the present paper we are able to give more examples of isoperimetric partitions: in any dimension $d\ge 2$ we have the \emph{lens}, the \emph{peanut} and the \emph{Releaux} triangle. For $d\ge 3$ we also have a \emph{thetrahedral} partition. To obtain these results we prove a \emph{closure} theorem which enables us to state that the $L^1_{loc}$-limit of a sequence of isoperimetric clusters is an isoperimetric partition, if the limit partition is composed by \emph{flat} interfaces outside a large ball. In this way we can make use of the known results about standard clusters. In the planar case $d=2$ we have a complete understanding of locally isoperimetric partitions: they exist if and only if the number of regions with infinite area is at most three. Moreover if the total number of regions is at most four then, up to isometries, there is a unique locally isoperimetric partition which is the lens, the peanut or the Releaux partition already mentioned.
We are interested in the gradient flow of a general first order convex functional with respect to the $L^1$-topology. By means of an implicit minimization scheme, we show existence of a global limit solution, which satisfies an energy-dissipation estimate, and solves a non-linear and non-local gradient flow equation, under the assumption of strong convexity of the energy. Under a monotonicity assumption we can also prove uniqueness of the limit solution, even though this remains an open question in full generality. We also consider a geometric evolution corresponding to the $L^1$-gradient flow of the anisotropic perimeter. When the initial set is convex, we show that the limit solution is monotone for the inclusion, convex and unique until it reaches the Cheeger set of the initial datum. Eventually, we show with some examples that uniqueness cannot be expected in general in the geometric case.
In this article we study the anisotropic curve shortening flow for a planar network of three curves with fixed endpoints and which meet in a triple junction. We show that the anisotropic curvature energy fulfills a Lojasiewicz-Simon gradient inequality and use this knowledge to derive stability results for the flow. Precisely, in our main theorem we show that for any initial data, which are $C^{2,α}$-close to a (local) energy minimizer, the flow exists globally and converges to a possibly different energy minimum.
We study the formation of singularities for the curvature flow of networks when the initial data is symmetric with respect to a pair of perpendicular axes and has two triple junctions. We show that, in this case, the set of singular times is finite.
We prove the existence of periodic tessellations of $\mathbb{R}^N$ minimizing a general nonlocal perimeter functional, defined as the interaction between a set and its complement through a nonnegative kernel, which we assume to be either integrable at the origin, or singular, with a fractional type singularity. We reformulate the optimal partition problem as an isoperimetric problem among fundamental domains associated with discrete subgroups of $\mathbb{R}^N$ , and we provide the existence of a solution by using suitable concentrated compactness type arguments and compactness results for lattices. Finally, we discuss the possible optimality of the hexagonal tessellation in the planar case.
We show existence of periodic foams with equal cells in $\mathbb R^n$ minimizing an anisotropic perimeter.
We study the equilibrium shape of liquid drops minimizing the fractional perimeter under the action of a potential energy. We prove, with a quantitative estimate, that the small volume minimizers are convex and uniformly close to a ball.
We show existence of fundamental domains which minimize a general perimeter functional in a homogeneous metric measure space. In some cases, which include the usual perimeter in the universal cover of a closed Riemannian manifold, and the fractional perimeter in $\mathbb R^n$, we can prove regularity of the minimal domains. As a byproduct of our analysis we obtain that a countable partition which is minimal for the fractional perimeter is locally finite and regular, extending a result previously known for the local perimeter. Finally, in the planar case we provide a detailed description of the fundamental domains which are minimal for a general anisotropic perimeter.
An infinite cluster $\mathbf E$ in $\mathbb R^d$ is a sequence of disjoint measurable sets $E_k\subset \mathbb R^d$, $k\in \mathbb N$, called regions of the cluster. Given the volumes $a_k\ge 0$ of the regions $E_k$, a natural question is the existence of a cluster $\mathbf E$ which has finite and minimal perimeter $P(\mathbf E)$ among all clusters with regions having such volumes. We prove that such a cluster exists in the planar case $d=2$, for any choice of the areas $a_k$ with $\sum \sqrt a_k < \infty$. We also show the existence of a bounded minimizer with the property $P(\mathbf E)=\mathcal H^1(\partial \mathbf E)$, where $\partial mathbf E$ denotes the measure theoretic boundary of the cluster. We also provide several examples of infinite isoperimetric clusters for anisotropic and fractional perimeters.
Reaction-diffusion models with nonlocal constraints naturally arise as limiting cases of coupled bulk-surface models of intracellular signalling. In this paper, a minimal, mass-conserving model of cell-polarization on a curved membrane is analyzed in the limit of slow surface diffusion. Using the tools of formal asymptotics and calculus of variations, we study the characteristic wave-pinning behavior of this system on three dynamical timescales. On the short timescale, generation of an interface separating high- and low-concentration domains is established under suitable conditions. Intermediate timescale dynamics is shown to lead to a uniform growth or shrinking of these domains to sizes which are fixed by global parameters. Finally, the long time dynamics reduces to area-preserving geodesic curvature flow that may lead to multi-interface steady state solutions. These results provide a foundation for studying cell polarization and related phenomena in biologically relevant geometries.
We study the regularity of solutions to a nonlocal variational problem, which is related to the image denoising model, and we show that, in two dimensions, minimizers have the same Hölder regularity as the original image. More precisely, if the datum is (locally) $β$-Hölder continuous for some $β\in (1-s,\,1]$, where $s \in (0,1)$ is a parameter related to the nonlocal operator, we prove that the solution is also $β$-Hölder continuous.
The motion by curvature of networks is the generalization to finite union of curves of the curve shortening flow. This evolution has several peculiar features, mainly due to the presence of junctions where the curves meet. In this paper we show that whenever the length of one single curve vanishes and two triple junctions coalesce, then the curvature of the evolving networks remains bounded. This topological singularity is exclusive of the network flow and it can be referred as a Type-0 singularity, in contrast to the well known Type-I and Type-II ones of the usual mean curvature flow of smooth curves or hypersurfaces, characterized by the different rates of blow up of the curvature. As a consequence, we are able to give a complete description of the evolution of tree-like networks till the first singular time, under the assumption that all the tangents flows have unit multiplicity. If the lifespan of such solutions is finite, then the curvature of the network remains bounded and we can apply the results by Ilmanen-Neves-Schulze/Lira-Mazzeo-Pluda-Saez to restart the flow after the singularity.
We consider the volume constrained fractional mean curvature flow of a nearly spherical set, and prove long time existence and asymptotic convergence to a ball. The result applies in particular to convex initial data, under the assumption of global existence. Similarly, we show exponential convergence to a constant for the fractional mean curvature flow of a periodic graph.
We consider a variational problem involving competition between surface tension and charge repulsion. We show that, as opposed to the case of weak (short-range) interactions where we proved ill-posedness of the problem in a previous paper, when the repulsion is stronger the perimeter dominates the capacitary term at small scales. In particular we prove existence of minimizers for small charges as well as their regularity. Combining this with the stability of the ball under small $C^{1,γ}$ perturbations, this ultimately leads to the minimality of the ball for small charges. We cover in particular the borderline case of the $1-$capacity where both terms in the energy are of the same order.