SearcharxivSearch

arXiv subjects

Kerrek Stinson

Publications and source records attributed to Kerrek Stinson.

At least 19 recordsLinked to original sources

Variational properties of Perron's extremal solutions in the Bernoulli one-phase problem

We study the Perron extremal solutions of the stationary one-phase Bernoulli problem. These solutions are important in several applications, but not much is known about the regularity of their free boundaries due to their non-variational construction. We show that, in fact, Perron extremal solutions retain some variational features; specifically, they are solutions in the sense of inner variations. We establish this property by showing that extremal solutions arise as infinite-time limits of monotone solutions of the parabolic Bernoulli problem. As a consequence, we are able to describe the structure of singularities for Perron extremal solutions in two dimensions: largest subsolutions have smooth free boundaries, while smallest supersolutions have free boundary points that are either smooth, or whose blow-up limits are two-plane wedges with equal slope.

math.AP

The $α$-Limit Problem: Convergence of a Linear Degenerate Interface Transmission Problem

We study the singular limit of a family of linear degenerate interface transmission problems arising from a regularization procedure in the newly proposed Two-Parameter Diffuse Domain Method (DDM2p). For $α>0$, the regularized problem admits a strictly convex variational formulation on $H^{1}(Ω)$. In the limit $α\to0$, the problem degenerates to a weakly coupled interface system with a nonstandard energy structure. To characterize the limit, we introduce a closed Hilbert subspace $\mathcal{H}\subset H^{1}(Ω)$, defined through an auxiliary Helmholtz problem on an annular subdomain $Ω_2\subset Ω$, and identify the limiting energy functional $\mathcal{E}_{0}$ on $\mathcal{H}$. We prove that the regularized energies $\mathcal{E}_α$ $Γ$-converge to $\mathcal{E}_{0}$ in the strong $L^{2}(Ω)$ topology, using the standard framework. Consequently, minimizers of $\mathcal{E}_α$ converge to the unique minimizer of $\mathcal{E}_{0}$, which is shown to be equivalent to the solution of the limiting interface problem. We further prove strong convergence $u_α\to u_{0}$ in $H^{1}(Ω)$ and establish an $O(α)$ convergence rate. Numerical experiments in one spatial dimension confirm the predicted first-order convergence rate and suggest that this rate is sharp.

math.AP

Solid-solid phase transitions with space-dependent wells

We investigate a second-order Modica-Mortola functional of the form \[ E_\varepsilon[u] := \int_Ω\frac{1}{\varepsilon} W(x, \nabla u) + \varepsilon|\nabla^2 u|^2 \, dx, \] which models solid--solid phase transitions in heterogeneous media. We neglect the assumption of frame indifference in the elastic energy density $W$ while allowing for space-dependent, pointwise-compatible wells. Under suitable assumptions on $W$ and regularity conditions on the associated rank-one connection, we prove that $E_\varepsilon$ $Γ$-converges to a local interfacial energy defined for suitable laminate-type configurations.

math.AP

Hausdorff dimension of the singular set for Griffith almost-minimizers in the plane

We consider regularity of the crack set associated to a minimizer of the Griffith fracture energy, often used in modeling brittle materials. We show that the crack is uniformly rectifiable which in conjunction with our previous epsilon-regularity result allows us to prove that the singular set has dimension strictly less than $1$. This size estimate also applies to almost-minimizers. As a byproduct, we prove higher integrability for the gradient of local minimizers of the Griffith energy, providing a positive answer to the analog of De Giorgi's conjecture for the Mumford--Shah functional.

math.AP

An epsilon-regularity result for Griffith almost-minimizers in the plane

We present regularity results for the crack set of a minimizer for the Griffith fracture energy, arising in the variational modeling of brittle materials. In the planar setting, we prove an epsilon-regularity theorem showing that the crack is locally a $C^{1,1/2}$ curve outside of a singular set of zero Hausdorff measure. The main novelty is that, in contrast to previous results, no topological constraints on the crack are required. The results also apply to almost-minimizers.

math.AP

Strong existence for free discontinuity problems in linear elasticity

In this note we show Ahlfors-regularity for a large class of quasiminimizers of the Griffith functional. This allows us to prove that, for a range of free discontinuity problems in linear elasticity with anisotropic, cohesive, or heterogeneous behavior, minimizers have an essentially closed jump set and are thus strong minimizers. Our notion of quasiminimality is inspired by and generalizes previous notions in the literature for the Mumford-Shah functional, and comprises functions which locally close to the crack have at most a fixed percentage of excess crack relative to minimizers. As for the case of minimizers of the Griffith functional, our proof of Ahlfors-regularity relies on contradiction-compactness and an approximation result for GSBD functions, showing the robustness of this approach with respect to generalization of bulk and surface densities.

math.AP

Compactness for $GSBV^p$ via concentration-compactness

Motivated by variational models for fracture, we provide a new proof of compactness for $GSBV^p$ functions without a priori bounds on the function itself. Our proof is based on the classical idea of concentration-compactness, making it transparent in strategy and simple in implementation. Further, so far as we are aware, this is the first time the connection to concentration-compactness has been made explicit for problems in fracture mechanics.

math.AP

Convergence of a heterogeneous Allen-Cahn equation to weighted mean curvature flow

We consider a variational model for heterogeneous phase separation, based on a diffuse interface energy with moving wells. Our main result identifies the asymptotic behavior of the first variation of the phase field energies as the width of the diffuse interface vanishes. This convergence result allows us to deduce a Gibbs-Thomson relation for heterogeneous surface tensions. Proceeding from this information, we prove that (weak) solutions of the Allen-Cahn equation with space dependent potential converge to a BV solution of weighted mean curvature flow, under an energy convergence hypothesis. Additionally, relying on the relative energy technique, we establish a weak-strong uniqueness principle for solutions of weighted mean curvature flow.

math.AP

Linearization of quasistatic fracture evolution in brittle materials

We prove a linearization result for quasistatic fracture evolution in nonlinear elasticity. As the stiffness of the material tends to infinity, we show that rescaled displacement fields and their associated crack sets converge to a solution of quasistatic crack growth in linear elasticity without any a priori assumptions on the geometry of the crack set. This result corresponds to the evolutionary counterpart of the static linearization result by the first author, where a Griffith model for nonsimple brittle materials has been considered featuring an elastic energy which also depends suitably on the second gradient of the deformations. The proof relies on a careful study of unilateral global minimality, as determined by the nonlinear evolutionary problem, and its linearization together with a variant of the jump transfer lemma in GSBD.

math.AP

An elliptic approximation for phase separation in a fractured material

We consider a free-boundary and free-discontinuity energy connecting phase separation and fracture in an elastic material. The energy excludes the contribution of phase boundaries in the cracked region, providing a heuristic approximation of the interfacial energy in the current material configuration. Our primary result shows that the sharp energy may be recovered via Gamma-convergence from a modified Cahn-Hilliard energy coupled with an Ambrosio-Tortorelli-type approximation of the (linear) elastic and fracture energy.

math.AP

A mean curvature flow arising in adversarial training

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.

math.AP

Gamma-convergence of a nonlocal perimeter arising in adversarial machine learning

In this paper we prove Gamma-convergence of a nonlocal perimeter of Minkowski type to a local anisotropic perimeter. The nonlocal model describes the regularizing effect of adversarial training in binary classifications. The energy essentially depends on the interaction between two distributions modelling likelihoods for the associated classes. We overcome typical strict regularity assumptions for the distributions by only assuming that they have bounded $BV$ densities. In the natural topology coming from compactness, we prove Gamma-convergence to a weighted perimeter with weight determined by an anisotropic function of the two densities. Despite being local, this sharp interface limit reflects classification stability with respect to adversarial perturbations. We further apply our results to deduce Gamma-convergence of the associated total variations, to study the asymptotics of adversarial training, and to prove Gamma-convergence of graph discretizations for the nonlocal perimeter.

math.AP

Vector Field Models for Nematic Disclinations

In this paper, a model for defects that was introduced in \cite{ZANV} is studied. In the literature, the setting of most models for defects is the function space SBV (special bounded variation functions) (see, e.g., \cite{ContiGarroni, GoldmanSerfaty}). However, this model regularizes the director field to be in a Sobolev space by adding a second field to incorporate the defect. A relaxation result in the case of fixed parameters is proven along with some partial compactness results.

math.AP

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

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.

math.AP

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

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.

math.AP

Existence for a Cahn-Hilliard Model for Lithium-Ion Batteries with Exponential-Growth Boundary Conditions

The Cahn-Hilliard reaction model, a nonlinear, evolutionary PDE, was introduced to model phase separation in lithium-ion batteries. Using Butler-Volmer kinetics for electrochemical consistency, this model allows lithium-ions to enter the domain via a nonlinear Robin-type boundary condition $\partial_νμ= R(c,μ)$ for the chemical potential $μ$, with $c$, the lithium-ion density. Importantly, $R$ depends exponentially on $μ$. Fixed point methods are applied to obtain existence of regular solutions of the Cahn-Hilliard reaction model in dimension $3,$ allowing for recovery of exponential boundary conditions as in the physical application.

math.AP

Weak solutions of Mullins-Sekerka flow as a Hilbert space gradient flow

We propose a novel weak solution theory for the Mullins-Sekerka equation primarily motivated from a gradient flow perspective. Previous existence results on weak solutions due to Luckhaus and Sturzenhecker (Calc. Var. PDE 3, 1995) or Röger (SIAM J. Math. Anal. 37, 2005) left open the inclusion of both a sharp energy dissipation principle and a weak formulation of the contact angle at the intersection of the interface and the domain boundary. To incorporate these, we introduce a functional framework encoding a weak solution concept for Mullins-Sekerka flow essentially relying only on (i) a single sharp energy dissipation inequality in the spirit of De~Giorgi, and (ii) a weak formulation for an arbitrary fixed contact angle through a distributional representation of the first variation of the underlying capillary energy. Both ingredients are intrinsic to the interface of the evolving phase indicator and an explicit distributional PDE formulation with potentials can be derived from them. Existence of weak solutions is established via subsequential limit points of the naturally associated minimizing movements scheme. Smooth solutions are consistent with the classical Mullins-Sekerka flow, and even further, we expect our solution concept to be amenable, at least in principle, to the recently developed relative entropy approach for curvature driven interface evolution.

math.AP

On $Γ-$Convergence of a Variational Model for Lithium-Ion Batteries

A singularly perturbed phase field model used to model lithium-ion batteries including chemical and elastic effects is considered. The underlying energy is given by $$I_ε[u,c ] := \int_Ω\left( \frac{1}ε f(c) + ε\|\nabla c\|^2 + \frac{1}ε\mathbb{C} (e(u)-ce_0) : (e(u)-ce_0)\right) dx, $$ where $f$ is a double well potential, $\mathbb{C}$ is a symmetric positive definite fourth order tensor, $c$ is the normalized lithium-ion density, and $u$ is the material displacement. The integrand contains elements close to those in energy functionals arising in both the theory of fluid-fluid and solid-solid phase transitions. For a strictly star-shaped, Lipschitz domain $Ω\subset \mathbb{R}^2,$ it is proven that $Γ- \lim_{ε\to 0} I_ε= I_0,$ where $I_0$ is finite only for pairs $(u,c)$ such that $f(c) = 0$ and the symmetrized gradient $e(u) = ce_0$ almost everywhere. Furthermore, $I_0$ is characterized as the integral of an anisotropic interfacial energy density over sharp interfaces given by the jumpset of $c.$

math.AP