SearcharxivSearch

arXiv subjects

Michael Novack

Publications and source records attributed to Michael Novack.

18 recordsLinked to original sources

Minimizing clusters with prescribed asymptotic geometry

We construct locally minimizing $(1,2)$-clusters whose exterior interfaces are asymptotic to various prescribed singular area-minimizing cones. For $n+1 \leq 7$, Bronsard & Novack characterized all minimizing $(1,2)$-clusters as standard lenses, whose exterior interface is planar. For $n+1 \in [8,2700]$, the authors together with Bronsard showed the existence of a locally minimizing $(1,2)$-cluster whose exterior interface blows down to some (unknown, possibly non-unique) singular area-minimizing hypercone. For $n+1=8$, this was shown independently by Novaga, Paolini & Tortorelli. Here we develop a refined construction using the Hardt-Simon foliation that realizes prescribed cones. For a singular area-minimizing hypercone $C$ that has an isolated singularity or is cylindrical, we show that if $C$ satisfies an explicit energy bound, then there is a locally minimizing $(1,2)$-cluster whose exterior interface is asymptotic to $C$ with quantitative rates. In fact, if $C$ is an area minimizing Lawson cone satisfying this energy bound, we produce a countably infinite family of distinct locally minimizing clusters asymptotic to $C$, distinguished by their prescribed asymptotic decay to leading order. We verify this energy bound for the generalized Simons cones $C_{k,k}$ in every even ambient dimension $n+1 = 2k+2\geq 8$, and for the cylindrical cone $C_{3,3}\times\mathbb{R}$ in $\mathbb{R}^9$, where $C_{3,3}$ is the Simons cone, therefore answering the cone realization problem in these cases. This in particular removes the upper bound of 2700 on the ambient dimension when $n+1$ is even in our preceding work.

math.AP

On the non-uniqueness of locally minimizing clusters via singular cones

We construct partitions of $\mathbb{R}^n$ into three sets $\{\mathscr{X}(1),\mathscr{X}(2),\mathscr{X}(3)\}$ that locally minimize interfacial area among compactly supported volume preserving variations and that blow down at infinity to singular area-minimizing cones. As a consequence, we prove the non-uniqueness of the standard lens cluster in a large number of dimensions starting from $8$.

math.AP

Free boundary regularity for semilinear variational problems with a topological constraint

We study a class of semilinear free boundary problems in which admissible functions $u$ have a topological constraint, or spanning condition, on their 1-level set. This constraint forces $\{u=1\}$, which is the free boundary, to behave like a surface with some special types of singularities attached to a fixed boundary frame, in the spirit of the Plateau problem \cite{HP16}. Two such free boundary problems are the minimization of capacity among surfaces sharing a common boundary and an Allen-Cahn formulation of the Plateau problem. We establish the existence of minimizers and study their regularity properties, obtaining the optimal Lipschitz regularity of minimizers and analytic regularity for the free boundaries away from a codimension two singular set. The singularity models for these problems are given by conical critical points of the minimal capacity problem, which are closely related to spectral optimal partition and segregation problems.

math.AP

An Infinite Double Bubble Theorem

The classical double bubble theorem characterizes the minimizing partitions of $\mathbb{R}^n$ into three chambers, two of which have prescribed finite volume. In this paper we prove a variant of the double bubble theorem in which two of the chambers have infinite volume. Such a configuration is an example of a (1,2)-cluster, or a partition of $\mathbb{R}^n$ into three chambers, two of which have infinite volume and only one of which has finite volume. A $(1,2)$-cluster is locally minimizing with respect to a family of weights $\{c_{jk}\}$ if for any $B_r(0)$, it minimizes the interfacial energy $\sum_{j<k} c_{jk} \mathscr{H}^n(\partial \mathscr{X}(j) \cap \partial\mathscr{X}(k) \cap B_r(0))$ among all variations with compact support in $B_r(0)$ which preserve the volume of $\mathscr{X}(1)$. For $(1,2)$ clusters, the analogue of the weighted double bubble is the weighted lens cluster, and we show that it is locally minimizing. Furthermore, under a symmetry assumption on $\{c_{jk}\}$ that includes the case of equal weights, the weighted lens cluster is the unique local minimizer in $\mathbb{R}^n$ for $n\leq 7$, with the same uniqueness holding in $\mathbb{R}^n$ for $n\geq 8$ under a natural growth assumption. We also obtain a closure theorem for locally minimizing $(N,2)$-clusters.

math.AP

A hierarchy of Plateau problems and the approximation of Plateau's laws via the Allen--Cahn equation

We introduce a diffused interface formulation of the Plateau problem, where the Allen--Cahn energy $\mathcal{AC}_\varepsilon$ is minimized under a volume constraint $v$ and a spanning condition on the level sets of the densities. We discuss two singular limits of these Allen--Cahn Plateau problems: when $\varepsilon\to 0^+$, we prove convergence to the Gauss' capillarity formulation of the Plateau problem with positive volume $v$; and when $\varepsilon\to 0^+$, $v\to 0^+$ and $\varepsilon/v\to 0^+$, we prove convergence to the classical Plateau problem (in the homotopic spanning formulation of Harrison and Pugh). As a corollary of our analysis we resolve the incompatibility between Plateau's laws and the Allen--Cahn equation implied by a regularity theorem of Tonegawa and Wickramasekera. In particular, we show that Plateau-type singularities can be approximated by energy minimizing solutions of the Allen--Cahn equation with a volume Lagrange multiplier and a transmission condition on a spanning free boundary.

math.AP

On the relaxation of Gauss's capillarity theory under spanning conditions

We study a variational model for soap films in which the films are represented by sets with fixed small volume rather than surfaces. In this problem, a minimizing sequence of completely "wet" films, or sets of finite perimeter spanning a wire frame, may converge to a film containing both wet regions of positive volume and collapsed (dry) surfaces. When collapsing occurs, these limiting objects lie outside the original minimization class and instead are admissible for a relaxed problem. Here we show that the relaxation and the original formulation are equivalent by approximating the collapsed films in the relaxed class by wet films in the original class.

math.AP

Plateau borders in soap films and Gauss' capillarity theory

We provide, in the setting of Gauss' capillarity theory, a rigorous derivation of the equilibrium law for the three dimensional structures known as Plateau borders which arise in "wet" soap films and foams. A key step in our analysis is a complete measure-theoretic overhaul of the homotopic spanning condition introduced by Harrison and Pugh in the study of Plateau's laws for two-dimensional area minimizing surfaces ("dry" soap films). This new point of view allows us to obtain effective compactness theorems and energy representation formulae for the homotopic spanning relaxation of Gauss' capillarity theory which, in turn, lead to prove sharp regularity properties of energy minimizers. The equilibrium law for Plateau borders in wet foams is also addressed as a (simpler) variant of the theory for wet soap films.

math.AP

Rigidity and large volume residues in exterior isoperimetry for convex sets

A comparison theorem by Choe, Ghomi and Ritor\'e states that the exterior isoperimetric profile $I_\mathcal{C}$ of any convex body $\mathcal{C}$ in $\mathbb{R}^N$ lies above that of any half-space $H$. We characterize convex bodies such that $I_\mathcal{C}\equiv I_H$ in terms of a notion of "maximal affine dimension at infinity'', briefly called the asymptotic dimension $d^*(\mathcal{C})$ of $\mathcal{C}$. More precisely, we show that $I_\mathcal{C}\equiv I_H$ if and only if $d^*(\mathcal{C})\ge N-1$. We also show that if $d^*(\mathcal{C})\le N-2$, then, for large volumes, $I_\mathcal{C}$ is asymptotic to the isoperimetric profile of $\mathbb{R}^N$. We then estimate, in terms of $d^*(\mathcal{C})$-dependent power laws, the order as $v\to\infty$ of the difference between $I_\mathcal{C}$ and the isoperimetric profile of $\mathbb{R}^N$.

math.DG

Regularity for Minimizers of a Planar Partitioning Problem with Cusps

We study the regularity of minimizers for a variant of the soap bubble cluster problem: \begin{align*} \min \sum_{\ell=0}^N c_{\ell} P( S_\ell)\,, \end{align*} where $c_\ell>0$, among partitions $\{S_0,\dots,S_N,G\}$ of $\mathbb{R}^2$ satisfying $|G|\leq \delta$ and an area constraint on each $S_\ell$ for $1\leq \ell \leq N$. If $\delta>0$, we prove that for any minimizer, each $\partial S_{\ell}$ is $C^{1,1}$ and consists of finitely many curves of constant curvature. Any such curve contained in $\partial S_{\ell} \cap \partial S_{m}$ or $\partial S_\ell \cap \partial G$ can only terminate at a point in $\partial G \cap \partial S_\ell \cap \partial S_{m}$ at which $G$ has a cusp. We also analyze a similar problem on the unit ball $B$ with a trace constraint instead of an area constraint and obtain analogous regularity up to $\partial B$. Finally, in the case of equal coefficients $c_\ell$, we completely characterize minimizers on the ball for small $\delta$: they are perturbations of minimizers for $\delta=0$ in which the triple junction singularities, including those possibly on $\partial B$, are ``wetted" by $G$.

math.AP

Isoperimetric residues and a mesoscale flatness criterion for hypersurfaces with bounded mean curvature

We obtain a full resolution result for minimizers in the exterior isoperimetric problem with respect to a compact obstacle in the large volume regime $v\to\infty$. This is achieved by the study of a Plateau-type problem with free boundary (both on the compact obstacle and at infinity) which is used to identify the first obstacle-dependent term (called {\it isoperimetric residue}) in the energy expansion, as $v\to\infty$, of the exterior isoperimetric problem. A crucial tool in the analysis of isoperimetric residues is a new mesoscale flatness criterion for hypersurfaces with bounded mean curvature, which we obtain as a development of ideas originating in the theory of minimal surfaces with isolated singularities.

math.DG

A smectic liquid crystal model in the periodic setting

We consider the asymptotic behavior as $\varepsilon $ goes to zero of the 2D smectics model in the periodic setting given by \begin{equation*} \mathcal{E}_{\varepsilon }( w) =\frac{1}{2}\int_{\mathbb{T}^{2}}\frac{1}{ \varepsilon }\left( \left\vert \partial_{1}\right\vert ^{-1}\left( \partial_{2}w-\partial_{1}\frac{1}{2}w^{2}\right) \right) ^{2}+\varepsilon \left( \partial_{1}w\right) ^{2}dx . \end{equation*} We show that the energy $\mathcal{E}_\varepsilon(w)$ controls suitable $L^p$ and Besov norms of $w$ and use this to demonstrate the existence of minimizers for $\mathcal{E}_\varepsilon(w)$, which has not been proved for this smectics model before, and compactness in $L^p$ for an energy-bounded sequence. We also prove an asymptotic lower bound for $\mathcal{E}_\varepsilon(w)$ as $\varepsilon \to 0$ by means of an entropy argument.

math.AP

Least Wasserstein distance between disjoint shapes with perimeter regularization

We prove the existence of global minimizers to the double minimization problem \[ \inf\Big\{ P(E) + \lambda W_p(\mathcal{L}^n \lfloor \, E,\mathcal{L}^n \lfloor\, F) \colon |E \cap F| = 0, \, |E| = |F| = 1\Big\}, \] where $P(E)$ denotes the perimeter of the set $E$, $W_p$ is the $p$-Wasserstein distance between Borel probability measures, and $\lambda > 0$ is arbitrary. The result holds in all space dimensions, for all $p \in [1,\infty),$ and for all positive $\lambda $. This answers a question of Buttazzo, Carlier, and Laborde.

math.AP

Nonlinear approximation of 3D smectic liquid crystals: sharp lower bound and compactness

We consider the 3D smectic energy $$\mathcal{E}_{\epsilon }\left( u\right) =\frac{1}{2}\int_{\Omega }\frac{1}{\varepsilon } \left( u_z-\frac{( u_x)^{2}+( u_y)^{2}}{2}\right) ^{2}+\varepsilon \left( u_{xx}+u_{yy}\right)^{2}\,dx\,dy\,dz. $$ The model contains as a special case the well-known 2D Aviles-Giga model. We prove a sharp lower bound on $\mathcal{E}_{\varepsilon}$ as $\varepsilon \to 0$ by introducing 3D analogues of the Jin-Kohn entropies. The sharp bound corresponds to an equipartition of energy between the bending and compression strains and was previously demonstrated in the physics literature only when the approximate Gaussian curvature of each smectic layer vanishes. Also, for $\varepsilon_{n}\rightarrow 0$ and an energy-bounded sequence $\{u_n \}$ with $\|\nabla u_n\|_{L^{p}(\Omega)},\,\|\nabla u_n\|_{L^2(\partial \Omega)}\leq C$ for some $p>6$, we obtain compactness of $\nabla u_{n}$ in $L^{2}$ assuming that $\Delta_{xy}u_{n}$ has constant sign for each $n$.

math.AP

A One-Dimensional Variational Problem for Cholesteric Liquid Crystals with Disparate Elastic Constants

We consider a one-dimensional variational problem arising in connection with a model for cholesteric liquid crystals. The principal feature of our study is the assumption that the twist deformation of the nematic director incurs much higher energy penalty than other modes of deformation. The appropriate ratio of the elastic constants then gives a small parameter $\varepsilon$ entering an Allen-Cahn-type energy functional augmented by a twist term. We consider the behavior of the energy as $\varepsilon$ tends to zero. We demonstrate existence of the local energy minimizers classified by their overall twist, find the $\Gamma$-limit of the relaxed energies and show that it consists of the twist and jump terms. Further, we extend our results to include the situation when the cholesteric pitch vanishes along with $\varepsilon$.

math.AP

Compactness and sharp lower bound for a 2D smectics model

We consider a 2D smectics model \begin{equation*} E_{\epsilon }\left( u\right) =\frac{1}{2}\int_\Omega \frac{1}{\varepsilon }\left( u_{z}-\frac{1% }{2}u_{x}^{2}\right) ^{2}+\varepsilon \left( u_{xx}\right) ^{2}dx\,dz. \end{equation*} For $\varepsilon _{n}\rightarrow 0$ and a sequence $\left\{ u_{n}\right\} $ with bounded energies $E_{\varepsilon _{n}}\left(u_{n}\right) ,$ we prove compactness of $\{\partial_z u_{n}\}$ in $L^{2}$ and $\{\partial_x u_n\}$ in $L^q$ for any $1\leq q 6$. We also prove a sharp lower bound on $E_{\varepsilon }$ when $\varepsilon\rightarrow 0.$ The sharp bound corresponds to the energy of a 1D ansatz in the transition region.

math.AP

A Novel Landau-de Gennes Model with Quartic Elastic Terms

Within the framework of the generalized Landau-de Gennes theory, we identify a $Q$-tensor-based energy that reduces to the four-constant Oseen-Frank energy when it is considered over orientable uniaxial nematic states. Although the commonly considered version of the Landau-de Gennes theory has an elastic contribution that is at most cubic in components of the $Q$-tensor and their derivatives, the alternative offered here is quartic in these variables. One clear advantage of our approach over the cubic theory is that the associated minimization problem is well-posed for a significantly wider choice of elastic constants. In particular, quartic energy can be used to model nematic-to-isotropic phase transitions for highly disparate elastic constants. In addition to proving well-posedness of the proposed version of the Landau-de Gennes theory, we establish a rigorous connection between this theory and its Oseen-Frank counterpart via a $\Gamma$-convergence argument in the limit of vanishing nematic correlation length. We also prove strong convergence of the associated minimizers.

cond-mat.soft

Phase Transitions in Nematics: Textures with Tactoids and Disclinations

We demonstrate that a first order isotropic-to-nematic phase transition in liquid crystals can be succesfully modeled within the generalized Landau-de Gennes theory by selecting an appropriate combination of elastic constants. The numerical simulations of the model established in this paper qualitatively reproduce the experimentally observed configurations that include interfaces and topological defects in the nematic phase.

cond-mat.soft

A Model Problem for Nematic-Isotropic Transitions with Highly Disparate Elastic Constants

We analyze a model problem based on highly disparate elastic constants that we propose in order to understand corners and cusps that form on the boundary between the nematic and isotropic phases in a liquid crystal. For a bounded planar domain $\Omega$ we investigate the $\varepsilon \to 0$ asymptotics of the variational problem \[\inf \frac{1}{2}\int_\Omega \left( \frac{1}{\varepsilon} W(u)+\varepsilon |\nabla u|^2 + L_\varepsilon(\mathrm{div}\, u)^2 \right) \,dx\] within various parameter regimes for $L_\varepsilon > 0.$ Here $u:\Omega\to\mathbb{R}^2$ and $W$ is a potential vanishing on the unit circle and at the origin. When $\varepsilon\ll L_\varepsilon\to 0$, we show that these functionals $\Gamma-$converge to a constant multiple of the perimeter of the phase boundary and the divergence penalty is not felt. However, when $L_\varepsilon \equiv L > 0$, we find that a tangency requirement along the phase boundary for competitors in the conjectured $\Gamma$-limit becomes a mechanism for development of singularities. We establish criticality conditions for this limit and under a non-degeneracy assumption on the potential we prove compactness of energy bounded sequences in $L^2$. The role played by this tangency condition on the formation of interfacial singularities is investigated through several examples: each of these examples involves analytically rigorous reasoning motivated by numerical experiments. We argue that generically, "wall" singularities between $\mathbb{S}^1$-valued states are expected near the defects along the phase boundary.

math.AP