Showing 1–32 of 32 results for author: Laux, T

A mean curvature flow arising in adversarial training

Authors: Leon Bungert, Tim Laux, Kerrek Stinson

Abstract: 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 adversaria… ▽ More 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. △ Less

Submitted 22 April, 2024; originally announced April 2024.

MSC Class: 28A75; 35D40; 49J45; 53E10; 68T05

A weak-strong uniqueness principle for the Mullins-Sekerka equation

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa M. Simon

Abstract: We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in the plane: 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 singulariti… ▽ More We establish a weak-strong uniqueness principle for the two-phase Mullins-Sekerka equation in the plane: 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 (which is the only step in our argument exploiting in an essential way the planar setting), and a stability analysis in this perturbative regime relying crucially on the gradient flow structure of the Mullins-Sekerka equation. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Comments: 48 pages

Quantitative convergence of the nonlocal Allen--Cahn equation to volume-preserving mean curvature flow

Authors: Milan Kroemer, Tim Laux

Abstract: 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… ▽ More 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. △ Less

Submitted 21 September, 2023; originally announced September 2023.

MSC Class: 53E10; 35K57

Generic level sets in mean curvature flow are BV solutions

Authors: Tim Laux, Anton Ullrich

Abstract: 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 Brak… ▽ More 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. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 16 pages, 1 figure

MSC Class: 53E10 (Primary); 35D40; 35D30 (Secondary)

A uniqueness and stability principle for surface diffusion

Authors: Milan Kroemer, Tim Laux

Abstract: 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 gene… ▽ More 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. △ Less

Submitted 22 October, 2023; v1 submitted 23 December, 2022; originally announced December 2022.

MSC Class: 53E40 (primary); 35B35; 35A15; 53E10 (secondary)

Diffuse-interface approximation and weak-strong uniqueness of anisotropic mean curvature flow

Authors: Tim Laux, Kerrek Stinson, Clemens Ullrich

Abstract: 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… ▽ More 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. △ Less

Submitted 22 December, 2022; originally announced December 2022.

MSC Class: 35A02; 35D30; 53E30

Local minimizers of the interface length functional based on a concept of local paired calibrations

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa M. Simon

Abstract: 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… ▽ More 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. △ Less

Submitted 21 February, 2023; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: 36 pages, 9 figures. We added a number of references

Sharp Interface Limit of the Cahn-Hilliard Reaction Model for Lithium-ion Batteries

Authors: Tim Laux, Kerrek Stinson

Abstract: We propose a weak solution theory for the sharp interface limit of the Cahn-Hilliard reaction model, a variational PDE for lithium-ion batteries. An essential feature of this model is the use of Butler-Volmer kinetics for lithium-ion insertion, which arises as a Robin-type boundary condition relating the flux of the chemical potential to the reaction rate, itself a nonlinear function of the chemic… ▽ More We propose a weak solution theory for the sharp interface limit of the Cahn-Hilliard reaction model, a variational PDE for lithium-ion batteries. An essential feature of this model is the use of Butler-Volmer kinetics for lithium-ion insertion, which arises as a Robin-type boundary condition relating the flux of the chemical potential to the reaction rate, itself a nonlinear function of the chemical potential and the ion concentration. To pass through the nonlinearity as interface width vanishes, we introduce solution concepts at the diffuse and sharp interface level describing dynamics principally in terms of an optimal dissipation inequality. Using this functional framework and under an energy convergence hypothesis, we show that solutions of the Cahn-Hilliard reaction model converge to a Mullins-Sekerka type geometric evolution equation. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Large data limit of the MBO scheme for data clustering: convergence of the dynamics

Authors: Tim Laux, Jona Lelmi

Abstract: We prove that the dynamics of the MBO scheme for data clustering converge to a viscosity solution to mean curvature flow. The main ingredients are (i) a new abstract convergence result based on quantitative estimates for heat operators and (ii) the derivation of these estimates in the setting of random geometric graphs. To implement the scheme in practice, two important parameters are the number o… ▽ More We prove that the dynamics of the MBO scheme for data clustering converge to a viscosity solution to mean curvature flow. The main ingredients are (i) a new abstract convergence result based on quantitative estimates for heat operators and (ii) the derivation of these estimates in the setting of random geometric graphs. To implement the scheme in practice, two important parameters are the number of eigenvalues for computing the heat operator and the step size of the scheme. The results of the current paper give a theoretical justification for the choice of these parameters in relation to sample size and interaction width. △ Less

Submitted 1 October, 2022; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: Corrected typos, updated bibliography

MSC Class: 35D40

A phase-field version of the Faber--Krahn theorem

Authors: Paul Hüttl, Patrik Knopf, Tim Laux

Abstract: We investigate a phase-field version of the Faber--Krahn theorem based on a phase-field optimization problem introduced in Garcke et al. [ESAIM Control Optim. Calc. Var. 29 (2023), Paper No. 10] formulated for the principal eigenvalue of the Dirichlet--Laplacian. The shape, that is to be optimized, is represented by a phase-field function mapping into the interval $[0,1]$. We show that any minimiz… ▽ More We investigate a phase-field version of the Faber--Krahn theorem based on a phase-field optimization problem introduced in Garcke et al. [ESAIM Control Optim. Calc. Var. 29 (2023), Paper No. 10] formulated for the principal eigenvalue of the Dirichlet--Laplacian. The shape, that is to be optimized, is represented by a phase-field function mapping into the interval $[0,1]$. We show that any minimizer of our problem is a radially symmetric-decreasing phase-field attaining values close to $0$ and $1$ except for a thin transition layer whose thickness is of order $\varepsilon>0$. Our proof relies on radially symmetric-decreasing rearrangements and corresponding functional inequalities. Moreover, we provide a $Γ$-convergence result which allows us to recover a variant of the Faber--Krahn theorem for sets of finite perimeter in the sharp interface limit. △ Less

Submitted 1 May, 2024; v1 submitted 22 July, 2022; originally announced July 2022.

MSC Class: 35P05; 35P15; 49Q10; 49R05

Weak-strong uniqueness for volume-preserving mean curvature flow

Authors: Tim Laux

Abstract: In this note, we derive a stability and weak-strong uniqueness principle for volume-preserving mean curvature flow. The proof is based on a new notion of volume-preserving gradient flow calibrations, which is a natural extension of the concept in the case without volume preservation recently introduced by Fischer et al. [arXiv:2003.05478]. The first main result shows that any strong solution with… ▽ More In this note, we derive a stability and weak-strong uniqueness principle for volume-preserving mean curvature flow. The proof is based on a new notion of volume-preserving gradient flow calibrations, which is a natural extension of the concept in the case without volume preservation recently introduced by Fischer et al. [arXiv:2003.05478]. The first main result shows that any strong solution with certain regularity is calibrated. The second main result consists of a stability estimate in terms of a relative entropy, which is valid in the class of distributional solutions to volume-preserving mean curvature flow. △ Less

Submitted 28 September, 2022; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 15 pages

Strong convergence of the thresholding scheme for the mean curvature flow of mean convex sets

Authors: Jakob Fuchs, Tim Laux

Abstract: In this work, we analyze Merriman, Bence and Osher's thresholding scheme, a time discretization for mean curvature flow. We restrict to the two-phase setting and mean convex initial conditions. In the sense of the minimizing movements interpretation of Esedoglu and Otto we show the time-integrated energy of the approximation to converge to the time-integrated energy of the limit. As a corollary, t… ▽ More In this work, we analyze Merriman, Bence and Osher's thresholding scheme, a time discretization for mean curvature flow. We restrict to the two-phase setting and mean convex initial conditions. In the sense of the minimizing movements interpretation of Esedoglu and Otto we show the time-integrated energy of the approximation to converge to the time-integrated energy of the limit. As a corollary, the conditional convergence results of Otto and one of the authors become unconditional in the two-phase mean convex case. Our results are general enough to handle the extension of the scheme to anisotropic flows for which a non-negative kernel can be chosen. △ Less

Submitted 15 July, 2022; v1 submitted 2 January, 2022; originally announced January 2022.

Comments: 59 pages, 12 figures, revised version, additional examples and discussion

MSC Class: 53E10; 35B51 (primary); 65M12; 35A21 (secondary)

BV solutions for mean curvature flow with constant contact angle: Allen-Cahn approximation and weak-strong uniqueness

Authors: Sebastian Hensel, Tim Laux

Abstract: We study weak solutions to mean curvature flow satisfying Young's angle condition for general contact angles $α\in (0,π)$. First, we construct BV solutions using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, w… ▽ More We study weak solutions to mean curvature flow satisfying Young's angle condition for general contact angles $α\in (0,π)$. First, we construct BV solutions using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, which can also be interpreted as a tilt excess. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 24 pages

Large data limit of the MBO scheme for data clustering: $Γ$-convergence of the thresholding energies

Authors: Tim Laux, Jona Lelmi

Abstract: In this work we begin to rigorously analyze the MBO scheme for data clustering in the large data limit. Each iteration of the MBO scheme corresponds to one step of implicit gradient descent for the thresholding energy on the similarity graph of some dataset. For a subset of the nodes of the graph, the thresholding energy at time $h$ is the amount of heat transferred from the subset to its compleme… ▽ More In this work we begin to rigorously analyze the MBO scheme for data clustering in the large data limit. Each iteration of the MBO scheme corresponds to one step of implicit gradient descent for the thresholding energy on the similarity graph of some dataset. For a subset of the nodes of the graph, the thresholding energy at time $h$ is the amount of heat transferred from the subset to its complement at time $h$, rescaled by a factor $\sqrt{h}$. It is then natural to think that outcomes of the MBO scheme are (local) minimizers of this energy. We prove that the algorithm is consistent, in the sense that these (local) minimizers converge to minimizers of a suitably weighted optimal partition problem. △ Less

Submitted 10 August, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Added Corollary 1. Corrected some typos and updated references

MSC Class: 35R01; 35R02; 53Z50

The Hele-Shaw flow as the sharp interface limit of the Cahn-Hilliard equation with disparate mobilities

Authors: Milan Kroemer, Tim Laux

Abstract: In this paper, we study the sharp interface limit for solutions of the Cahn-Hilliard equation with disparate mobilities. This means that the mobility function degenerates in one of the two energetically favorable configurations, suppressing the diffusion in that phase. First, we construct suitable weak solutions to this Cahn-Hilliard equation. Second, we prove precompactness of these solutions und… ▽ More In this paper, we study the sharp interface limit for solutions of the Cahn-Hilliard equation with disparate mobilities. This means that the mobility function degenerates in one of the two energetically favorable configurations, suppressing the diffusion in that phase. First, we construct suitable weak solutions to this Cahn-Hilliard equation. Second, we prove precompactness of these solutions under natural assumptions on the initial data. Third, under an additional energy convergence assumption, we show that the sharp interface limit is a distributional solution to the Hele-Shaw flow with optimal energy-dissipation rate. △ Less

Submitted 18 January, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

MSC Class: 53E40; 35K65 (primary); 35K55; 82C26; 76D27 (secondary)

A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness

Authors: Sebastian Hensel, Tim Laux

Abstract: We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-… ▽ More We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle. △ Less

Submitted 27 September, 2021; v1 submitted 9 September, 2021; originally announced September 2021.

Comments: 38 pages, added additional references

MSC Class: 53E10 (primary); 49Q20; 35K57; 35Q49; 28A75

Distributional solutions to mean curvature flow

Authors: Tim Laux

Abstract: These lecture notes aim to present some of the ideas behind the recent (conditional) existence and (weak-strong) uniqueness theory for mean curvature flow. Focusing on the simplest case of the evolution of a single closed hypersurface allows for a self-contained and concise presentation, which is accessible for beginning graduate students with some background in PDEs and only requires basic measur… ▽ More These lecture notes aim to present some of the ideas behind the recent (conditional) existence and (weak-strong) uniqueness theory for mean curvature flow. Focusing on the simplest case of the evolution of a single closed hypersurface allows for a self-contained and concise presentation, which is accessible for beginning graduate students with some background in PDEs and only requires basic measure theory. △ Less

Submitted 18 August, 2021; originally announced August 2021.

Comments: 38 pages, 3 figures

Weak-strong uniqueness for the mean curvature flow of double bubbles

Authors: Sebastian Hensel, Tim Laux

Abstract: We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478v2] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces… ▽ More We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478v2] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions. △ Less

Submitted 27 September, 2021; v1 submitted 3 August, 2021; originally announced August 2021.

Comments: 59 pages, corrected typos and some references, slightly revised regularity requirement in item i) of Definition 2 (gradient-flow calibration); results unchanged

Phase-Field Methods for Spectral Shape and Topology Optimization

Authors: Harald Garcke, Paul Hüttl, Christian Kahle, Patrik Knopf, Tim Laux

Abstract: We optimize a selection of eigenvalues of the Laplace operator with Dirichlet or Neumann boundary conditions by adjusting the shape of the domain on which the eigenvalue problem is considered. Here, a phase-field function is used to represent the shapes over which we minimize. The idea behind this method is to modify the Laplace operator by introducing phase-field dependent coefficients in order t… ▽ More We optimize a selection of eigenvalues of the Laplace operator with Dirichlet or Neumann boundary conditions by adjusting the shape of the domain on which the eigenvalue problem is considered. Here, a phase-field function is used to represent the shapes over which we minimize. The idea behind this method is to modify the Laplace operator by introducing phase-field dependent coefficients in order to extend the eigenvalue problem on a fixed design domain containing all admissible shapes. The resulting shape and topology optimization problem can then be formulated as an optimal control problem with PDE constraints in which the phase-field function acts as the control. For this optimal control problem, we establish first-order necessary optimality conditions and we rigorously derive its sharp interface limit. Eventually, we present and discuss several numerical simulations for our optimization problem. △ Less

Submitted 20 January, 2023; v1 submitted 7 July, 2021; originally announced July 2021.

MSC Class: 35P05; 35P15; 35R35; 49M05; 49M41; 49K20; 49J20; 49J40; 49Q10; 49R05

Journal ref: ESAIM Control Optim. Calc. Var. 29 (2023), Paper No. 10

De Giorgi's inequality for the thresholding scheme with arbitrary mobilities and surface tensions

Authors: Tim Laux, Jona Lelmi

Abstract: We provide a new convergence proof of the celebrated Merriman-Bence-Osher scheme for multiphase mean curvature flow. Our proof applies to the new variant incorporating a general class of surface tensions and mobilities, including typical choices for modeling grain growth. The basis of the proof are the minimizing movements interpretation of Esedoğlu and Otto and De Giorgi's general theory of gradi… ▽ More We provide a new convergence proof of the celebrated Merriman-Bence-Osher scheme for multiphase mean curvature flow. Our proof applies to the new variant incorporating a general class of surface tensions and mobilities, including typical choices for modeling grain growth. The basis of the proof are the minimizing movements interpretation of Esedoğlu and Otto and De Giorgi's general theory of gradient flows. Under a typical energy convergence assumption we show that the limit satisfies a sharp energy-dissipation relation. △ Less

Submitted 27 January, 2021; originally announced January 2021.

MSC Class: 35A15

Nematic-Isotropic phase transition in Liquid crystals: a variational derivation of effective geometric motions

Authors: Tim Laux, Yuning Liu

Abstract: In this work, we study the nematic-isotropic phase transition based on the dynamics of the Landau--De Gennes theory of liquid crystals. At the critical temperature, the Landau--De Gennes bulk potential favors the isotropic phase and nematic phase equally. When the elastic coefficient is much smaller than that of the bulk potential, a scaling limit can be derived by formal asymptotic expansions: th… ▽ More In this work, we study the nematic-isotropic phase transition based on the dynamics of the Landau--De Gennes theory of liquid crystals. At the critical temperature, the Landau--De Gennes bulk potential favors the isotropic phase and nematic phase equally. When the elastic coefficient is much smaller than that of the bulk potential, a scaling limit can be derived by formal asymptotic expansions: the solution gradient concentrates on a closed surface evolving by mean curvature flow. Moreover, on one side of the surface the solution tends to the nematic phase which is governed by the harmonic map heat flow into the sphere while on the other side, it tends to the isotropic phase. To rigorously justify such a scaling limit, we prove a convergence result by combining weak convergence methods and the modulated energy method. Our proof applies as long as the limiting mean curvature flow remains smooth. △ Less

Submitted 24 March, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

The local structure of the energy landscape in multiphase mean curvature flow: Weak-strong uniqueness and stability of evolutions

Authors: Julian Fischer, Sebastian Hensel, Tim Laux, Theresa Simon

Abstract: We prove that in the absence of topological changes, the notion of BV solutions to planar multiphase mean curvature flow does not allow for a mechanism for (unphysical) non-uniqueness. Our approach is based on the local structure of the energy landscape near a classical evolution by mean curvature. Mean curvature flow being the gradient flow of the surface energy functional, we develop a gradient-… ▽ More We prove that in the absence of topological changes, the notion of BV solutions to planar multiphase mean curvature flow does not allow for a mechanism for (unphysical) non-uniqueness. Our approach is based on the local structure of the energy landscape near a classical evolution by mean curvature. Mean curvature flow being the gradient flow of the surface energy functional, we develop a gradient-flow analogue of the notion of calibrations. Just like the existence of a calibration guarantees that one has reached a global minimum in the energy landscape, the existence of a "gradient flow calibration" ensures that the route of steepest descent in the energy landscape is unique and stable. △ Less

Submitted 27 September, 2021; v1 submitted 11 March, 2020; originally announced March 2020.

Comments: 104 pages

Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies

Authors: Julian Fischer, Tim Laux, Theresa M. Simon

Abstract: We give a short and self-contained proof for rates of convergence of the Allen-Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen-Cahn operator. As our analysis… ▽ More We give a short and self-contained proof for rates of convergence of the Allen-Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen-Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems. △ Less

Submitted 18 August, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: 12 pages

The thresholding scheme for mean curvature flow and de Giorgi's ideas for minimizing movements

Authors: Tim Laux, Felix Otto

Abstract: We consider the thresholding scheme and explore its connection to De Giorgi's ideas on gradient flows in metric spaces; here applied to mean curvature flow as the steepest descent of the interfacial area. The basis of our analysis is the observation by Esedoglu and the second author that thresholding can be interpreted as a minimizing movements scheme for an energy that approximates the interfac… ▽ More We consider the thresholding scheme and explore its connection to De Giorgi's ideas on gradient flows in metric spaces; here applied to mean curvature flow as the steepest descent of the interfacial area. The basis of our analysis is the observation by Esedoglu and the second author that thresholding can be interpreted as a minimizing movements scheme for an energy that approximates the interfacial area. De Giorgi's framework provides an optimal energy dissipation relation for the scheme in which we pass to the limit to derive a dissipation-based weak formulation of mean curvature flow. Although applicable in the general setting of arbitrary networks, here we restrict ourselves to the case of a single interface, which allows for a compact, self-contained presentation. △ Less

Submitted 24 October, 2019; originally announced October 2019.

Comments: 27 pages

Mullins-Sekerka as the Wasserstein flow of the perimeter

Authors: Antonin Chambolle, Tim Laux

Abstract: We prove the convergence of an implicit time discretization for the one-phase Mullins-Sekerka equation, possibly with additional non-local repulsion, proposed in [F. Otto, Arch. Rational Mech. Anal. 141 (1998) 63--103]. Our simple argument shows that the limit satisfies the equation in a distributional sense as well as an optimal energy-dissipation relation. The proof combines arguments from optim… ▽ More We prove the convergence of an implicit time discretization for the one-phase Mullins-Sekerka equation, possibly with additional non-local repulsion, proposed in [F. Otto, Arch. Rational Mech. Anal. 141 (1998) 63--103]. Our simple argument shows that the limit satisfies the equation in a distributional sense as well as an optimal energy-dissipation relation. The proof combines arguments from optimal transport, gradient flows & minimizing movements, and basic geometric measure theory. △ Less

Submitted 30 September, 2020; v1 submitted 6 October, 2019; originally announced October 2019.

Comments: 13 pages, expanded some remarks

MSC Class: 35A15; 35R37; 49Q20; 76D27; 90B06; 35R35

Well-posedness for degenerate elliptic PDE arising in optimal learning strategies

Authors: Tim Laux, J. Miguel Villas-Boas

Abstract: We derive a comparison principle for a degenerate elliptic partial differential equation without boundary conditions which arises naturally in optimal learning strategies. Our argument is direct and exploits the degeneracy of the differential operator to construct (logarithmically) diverging barriers. We derive a comparison principle for a degenerate elliptic partial differential equation without boundary conditions which arises naturally in optimal learning strategies. Our argument is direct and exploits the degeneracy of the differential operator to construct (logarithmically) diverging barriers. △ Less

Submitted 20 May, 2019; originally announced May 2019.

MSC Class: 35D40; 35B50; 35J70; 49L25; 93E35

Implicit time discretization for the mean curvature flow of mean convex sets

Authors: Guido De Philippis, Tim Laux

Abstract: In this note we analyze the Almgren-Taylor-Wang scheme for mean curvature flow in the case of mean convex initial conditions. We show that the scheme preserves strict mean convexity and, by compensated compactness techniques, that the arrival time functions converge strictly in \(BV\). In particular, this establishes the convergence of the time-integrated perimeters of the approximations. As a cor… ▽ More In this note we analyze the Almgren-Taylor-Wang scheme for mean curvature flow in the case of mean convex initial conditions. We show that the scheme preserves strict mean convexity and, by compensated compactness techniques, that the arrival time functions converge strictly in \(BV\). In particular, this establishes the convergence of the time-integrated perimeters of the approximations. As a corollary, the conditional convergence result of Luckhaus-Sturzenhecker becomes unconditonal in the mean convex case. △ Less

Submitted 2 May, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 16 pages

MSC Class: 53C44; 49Q20; 35A15

Analysis of thresholding for codimension two motion by mean curvature: a gradient-flow approach

Authors: Tim Laux, Aaron Yip

Abstract: The Merriman-Bence-Osher (MBO) scheme, also known as thresholding or diffusion generated motion, is an efficient numerical algorithm for computing mean curvature flow (MCF). It is fairly well understood in the case of hypersurfaces. This paper establishes the first convergence proof of the scheme in codimension two. We concentrate on the case of the curvature motion of a filament (curve) in… ▽ More The Merriman-Bence-Osher (MBO) scheme, also known as thresholding or diffusion generated motion, is an efficient numerical algorithm for computing mean curvature flow (MCF). It is fairly well understood in the case of hypersurfaces. This paper establishes the first convergence proof of the scheme in codimension two. We concentrate on the case of the curvature motion of a filament (curve) in $\mathbb{R}^3$. Our proof is based on a new generalization of the minimizing movements interpretation for hypersurfaces (Esedoglu-Otto '15) by means of an energy that approximates the Dirichlet energy of the state function. As long as a smooth MCF exists, we establish uniform energy estimates for the approximations away from the smooth solution and prove convergence towards this MCF. The current result which holds in codimension two relies in a very crucial manner on a new sharp monotonicity formula for the thresholding energy. This is an improvement of an earlier approximate version. △ Less

Submitted 2 April, 2018; originally announced April 2018.

Comments: 42 pages, 2 figures

MSC Class: 35A15; 65M12; 35B25; 35K08

Brakke's inequality for the thresholding scheme

Authors: Tim Laux, Felix Otto

Abstract: We continue our analysis of the thresholding scheme from the variational viewpoint and prove a conditional convergence result towards Brakke's notion of mean curvature flow. Our proof is based on a localized version of the minimizing movements interpretation of Esedoğlu and the second author. We apply De Giorgi's variational interpolation to the thresholding scheme and pass to the limit in the res… ▽ More We continue our analysis of the thresholding scheme from the variational viewpoint and prove a conditional convergence result towards Brakke's notion of mean curvature flow. Our proof is based on a localized version of the minimizing movements interpretation of Esedoğlu and the second author. We apply De Giorgi's variational interpolation to the thresholding scheme and pass to the limit in the resulting energy-dissipation inequality. The result is conditional in the sense that we assume the time-integrated energies of the approximations to converge to those of the limit. △ Less

Submitted 10 June, 2018; v1 submitted 10 August, 2017; originally announced August 2017.

Comments: 25 pages

MSC Class: 35A15; 65M12; 74N20

Convergence of the Allen-Cahn Equation to multi-phase mean-curvature flow

Authors: Tim Laux, Thilo Simon

Abstract: We present a convergence result for solutions of the vector-valued Allen-Cahn Equation. In the spirit of the work of Luckhaus and Sturzenhecker we establish convergence towards a distributional formulation of multi-phase mean-curvature flow using sets of finite perimeter. Like their result, ours relies on the assumption that the time-integrated energies of the approximations converge to those of t… ▽ More We present a convergence result for solutions of the vector-valued Allen-Cahn Equation. In the spirit of the work of Luckhaus and Sturzenhecker we establish convergence towards a distributional formulation of multi-phase mean-curvature flow using sets of finite perimeter. Like their result, ours relies on the assumption that the time-integrated energies of the approximations converge to those of the limit. Furthermore, we apply our proof to two variants of the equation, incorporating external forces and a volume constraint. △ Less

Submitted 23 September, 2016; v1 submitted 23 June, 2016; originally announced June 2016.

MSC Class: 35A15; 35K57; 35K93

Convergence of the thresholding scheme for multi-phase mean-curvature flow

Authors: Tim Laux, Felix Otto

Abstract: We consider the thresholding scheme, a time discretization for mean curvature flow introduced by Merriman, Bence and Osher. We prove a convergence result in the multi-phase case. The result establishes convergence towards a weak formulation of mean curvature flow in the BV-framework of sets of finite perimeter. The proof is based on the interpretation of the thresholding scheme as a minimizing mov… ▽ More We consider the thresholding scheme, a time discretization for mean curvature flow introduced by Merriman, Bence and Osher. We prove a convergence result in the multi-phase case. The result establishes convergence towards a weak formulation of mean curvature flow in the BV-framework of sets of finite perimeter. The proof is based on the interpretation of the thresholding scheme as a minimizing movement scheme by Esedoglu et. al.. This interpretation means that the thresholding scheme preserves the structure of (multi-phase) mean curvature flow as a gradient flow w. r. t. the total interfacial energy. More precisely, the thresholding scheme is a minimizing movement scheme for an energy functional that $Γ$-converges to the total interfacial energy. In this sense, our proof is similar to the convergence results of Almgren, Taylor and Wang and Luckhaus and Sturzenhecker, which establish convergence of a more academic minimizing movement scheme. Like the one of Luckhaus and Sturzenhecker, ours is a conditional convergence result, which means that we have to assume that the time-integrated energy of the approximation converges to the time-integrated energy of the limit. This is a natural assumption, which however is not ensured by the compactness coming from the basic estimates. △ Less

Submitted 19 August, 2016; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 60 pages

MSC Class: 35A15; 65M12

Convergence of thresholding schemes incorporating bulk effects

Authors: Tim Laux, Drew Swartz

Abstract: In this paper we establish the convergence of three computational algorithms for interface motion in a multi-phase system, which incorporate bulk effects. The algorithms considered fall under the classification of thresholding schemes, in the spirit of the celebrated Merriman-Bence-Osher algorithm for producing an interface moving by mean curvature. The schemes considered here all incorporate eith… ▽ More In this paper we establish the convergence of three computational algorithms for interface motion in a multi-phase system, which incorporate bulk effects. The algorithms considered fall under the classification of thresholding schemes, in the spirit of the celebrated Merriman-Bence-Osher algorithm for producing an interface moving by mean curvature. The schemes considered here all incorporate either a local force coming from an energy in the bulk, or a non-local force coming from a volume constraint. We first establish the convergence of a scheme proposed by Ruuth-Wetton for approximating volume-preserving mean-curvature flow. Next we study a scheme for the geometric flow generated by surface tension plus bulk energy. Here the limit is motion by mean curvature (MMC) plus forcing term. Third we consider a thresholding scheme for simulating grain growth in a polycrystal surrounded by air, which incorporates boundary effects on the solid-vapor interface. The limiting flow is MMC on the inner grain boundaries, and volume-preserving MMC on the solid-vapor interface. △ Less

Submitted 1 December, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 36 pages

MSC Class: 35A15; 65M12