arXiv subjects
Publications and source records attributed to Tim Laux.
Since Ilmanen's pioneering work [J. Differential Geom. 38, 417-461, (1993)] it has been a major open problem to understand the sharp-interface limit of systems of coupled Allen-Cahn equations. We prove - for the first time - a global, unconditional convergence result for such a coupled system and show that the limit is a multiphase mean curvature flow in the sense of Brakke.
We propose an alternative existence proof of global weak solutions to mean curvature flow and volume preserving mean curvature flow. We prove for the first time for a minimizing movements scheme the unconditional convergence towards a varifold solution, here a De Giorgi solution. The argument is purely variational and does not rely on comparison principles. The key novelty is an alternative proxy for the completely degenerate $L^2$ distance that is more robust than the one of Almgren-Taylor-Wang and Luckhaus-Sturzenhecker.
We consider a quasilinear Allen--Cahn system which arises when the gradient energy term in the Ginzburg--Landau energy also contains zero order terms. Such systems offer significant advantages in applications, since surface tensions and mobilities can be easily calibrated. The analysis for these systems is highly challenging, partly due to the fact that the gradient term in the energy is non-convex and since gradient terms appear quadratically in the weak formulation. This explains why an existence theory has been lacking for nearly thirty years. In this paper, we give the first existence and uniqueness results for such systems. Firstly, we prove existence and uniqueness of local-in-time strong solutions using the theory of maximal regularity. Here, non-standard techniques have to be applied due to the fact that linear constraints on the solution are involved and due to nonlinear boundary conditions. Secondly, using a minimizing movement approach we show the existence of global-in-time weak solutions. Here, the main difficulty arises from the fact that the underlying energy is not $\lambda$-convex. We overcome this issue by proving higher integrability of the gradient of the solution, first showing that solutions are bounded and then using an approach by Giaquinta and Modica. This finally allows us to pass to the limit in the time-discrete approximation. Using the de Giorgi interpolation technique, we are also able to show a sharp energy decay property despite the lack of convexity of the energy.
We give a short proof of the quantitative isoperimetric inequality. Our argument is based on a notion of quantitative calibrations which induce a natural distance controlling both the Fraenkel asymmetry and the tilt excess. The proof of our key result which can be viewed as a nonlinear, geometric version of Fuglede's result in $BV$ is direct and self-contained. In particular, we do not make any use of regularity theory for almost minimizers.
We study the modeling of a compressible two-phase flow in a porous medium. The governing free boundary problem is known as the Verigin problem with phase transition. We introduce a novel variational framework to construct weak solutions. Our approach reveals the gradient-flow structure of the system by adopting a minimizing movement scheme using the Wasserstein distance. We prove the convergence of the scheme, obtaining ``relaxed" distributional solutions in the limit that satisfy an optimal energy-dissipation rate. Under the additional assumptions that $d \geq 3$ and that the discrete mass densities are uniformly Muckenhoupt weights, we show that the limit is the characteristic function of a set of finite perimeter in the region where there is no vacuum.
We introduce a simple and efficient numerical method to compute mean curvature flow with obstacles. The method augments the Merrimam-Bence-Osher scheme with a pointwise update that enforces the constraint and therefore retains the computational complexity of the original scheme. Remarkably, this naive scheme inherits both crucial structural properties of obstacle mean curvature flow: a geometric comparison principle and a minimizing movements interpretation. The latter immediately implies the unconditional stability of the scheme. Based on the comparison principle we prove the convergence of the scheme to the viscosity solution of obstacle mean curvature flow. Moreover, using the minimizing movements interpretation, we show convergence of a spatially discrete model. Finally, we present numerical experiments for a physical model that inspired this work.
We provide a connection between weak solution concepts of mean curvature flow. On the one side we have the viscosity solution which is based on the comparison principle. On the other, variational solutions, which are combined Brakke flows and distributional solutions. We prove that if one has a foliation by variational solutions, then the resulting function is the unique viscosity solution. This answers an open question suggested by the work of Evans and Spruck [J. Geom. Anal., 5(1), 1995] and the authors [J. Geom. Anal., 34(12), 2024]. These results show that almost every level set of the viscosity solution is a variational solution. Thus, we establish the equivalence of these solution concepts. Moreover, we show the generic uniqueness of variational solutions.
We study the obstacle problem associated to mean curvature flow. We add to the geometric vanishing-viscosity approximation of Evans and Spruck a singular perturbation that penalizes the violation of the constraint, and pass to the limit. The resulting level set formulation has unique solutions - up to fattening. Extending the work of Evans and Spruck and a work by Ullrich and one of the authors, we show that generic level sets of this flow are distributional solutions of the obstacle problem.
We introduce a 2D free boundary problem with nonlinear diffusion that models a living cell moving on a substrate. We prove that this nonlinearity results in a qualitative of solution behavior compared to the linear diffusion case (Rybalko et al. TAMS 2023), namely the switch between direct and inverse pitchfork bifurcation. Our objectives are twofold: (i) develop a rigorous framework to prove existence of bifurcation and determine its type (subcritical vs. superctitical) and (ii) the derivation of explicit analytical formulas that control the change of bifurcation type in terms of physical parameters and explain the underlying biophysical mechanisms. While the standard way of applying the Crandall-Rabinowitz theorem via the solution operator seems difficult in our quasilinear PDE system, we apply the theorem directly, by developing a multidimensional, vectorial framework. To determine the bifurcation type, we extract the curvature of the bifurcating curve from the expansion of the solutions around the steady state. The formula for the curvature is obtained via a solvability condition where instead of the Fredholm alternative, we propose a test function trick, suited for free boundary problems. Our rigorous analytical results are in agreement with numerical observations from the physical literature in 1D (Drozdowski et al. Comm. Phys. 2023) and provide the first extension of this phenomenon to a 2D free boundary model.
We propose and study a novel efficient algorithm for clustering and classification tasks based on the famous MBO scheme. On the one hand, inspired by Jacobs et al. [J. Comp. Phys. 2018], we introduce constraints on the size of clusters leading to a linear integer problem. We prove that the solution to this problem is induced by a novel order statistic. This viewpoint allows us to develop exact and highly efficient algorithms to solve such constrained integer problems. On the other hand, we prove an estimate of the computational complexity of our scheme, which is better than any available provable bounds for the state of the art. This rigorous analysis is based on a variational viewpoint that connects this scheme to volume-preserving mean curvature flow in the big data and small time-step limit.
We present an efficient scheme for level set mean curvature flow using a domain discretization and median filters. For this scheme, we show convergence in $L^\infty$-norm under mild assumptions on the number of points in the discretization. In addition, we strengthen the weak convergence result for the MBO thresholding scheme applied to data clustering of Lelmi and one of the authors. This is done through a strong convergence of the discretized heat flow in the optimal regime. Different boundary conditions are also discussed.
We connect adversarial training for binary classification to a geometric evolution equation for the decision boundary. Relying on a perspective that recasts adversarial training as a regularization problem, we introduce a modified training scheme that constitutes a minimizing movements scheme for a nonlocal perimeter functional. We prove that the scheme is monotone and consistent as the adversarial budget vanishes and the perimeter localizes, and as a consequence we rigorously show that the scheme approximates a weighted mean curvature flow. This highlights that the efficacy of adversarial training may be due to locally minimizing the length of the decision boundary. In our analysis, we introduce a variety of tools for working with the subdifferential of a supremal-type nonlocal total variation and its regularity properties.
We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in ambient dimension $d = 2$ and $3$: As long as a classical solution to the evolution problem exists, any weak De Giorgi type varifold solution (see for this notion the recent work of Stinson and the second author, Arch. Ration. Mech. Anal. 248, 8, 2024) must coincide with it. In particular, in the absence of geometric singularities such weak solutions do not introduce a mechanism for (unphysical) non-uniqueness. We also derive a stability estimate with respect to changes in the data. Our method is based on the notion of relative entropies for interface evolution problems, a reduction argument to a perturbative graph setting, and a stability analysis in this perturbative regime relying crucially on the gradient flow structure of the Mullins-Sekerka equation.
We prove a quantitative convergence result of the nonlocal Allen--Cahn equation to volume-preserving mean curvature flow. The proof uses gradient flow calibrations and the relative entropy method, which has been used in the recent literature to prove weak-strong uniqueness results for mean curvature flow and convergence of the Allen--Cahn equation. A crucial difference in this work is a new notion of gradient flow calibrations. We add a tangential component to the velocity field in order to prove the Gronwall estimate for the relative energy. This allows us to derive the optimal convergence rate without having to show the closeness of the Lagrange-multipliers.
We show that a generic levelset of the viscosity solution to mean curvature flow is a distributional solution in the framework of sets of finite perimeter by Luckhaus and Sturzenhecker, which in addition saturates the optimal energy dissipation rate. This extends the fundamental work of Evans and Spruck (J. Geom. Anal. 1995), which draws a similar connection between the viscosity solution and Brakke flows.
We derive a uniqueness and stability principle for surface diffusion before the onset of singularities. The perturbations, however, are allowed to undergo topological changes. The main ingredient is a relative energy inequality, which in turn relies on the explicit construction of (volume-preserving) gradient flow calibrations. The proof applies to stationary solutions in any dimension and to general smooth solutions in two dimensions.
We establish that regular flat partitions are locally minimizing for the interface energy with respect to $L^1$ perturbations of the phases. Regular flat partitions are partitions of open sets in $\mathbb{R}^2$ whose network of interfaces consists of finitely many straight segments with a singular set made up of finitely many triple junctions at which the Herring angle condition is satisfied. This result not only holds for the case of the perimeter functional but for a general class of surface tension matrices. Our proof relies on a localized version of the paired calibration method which was introduced by Lawlor and Morgan (Pac. J. Appl. Math., 166(1), 1994) in conjunction with a relative energy functional that precisely captures the suboptimality of classical calibration estimates. Vice versa, we show that any stationary point of the length functional (in a sense of metric spaces) has to be a regular flat partition.
The purpose of this paper is to derive anisotropic mean curvature flow as the limit of the anisotropic Allen-Cahn equation. We rely on distributional solution concepts for both the diffuse and sharp interface models, and prove convergence using relative entropy methods, which have recently proven to be a powerful tool in interface evolution problems. With the same relative entropy, we prove a weak-strong uniqueness result, which relies on the construction of gradient flow calibrations for our anisotropic energy functionals.