Search arXiv⌕ Search

arXiv · 2610.08088

A SAV Neural Network Method for Allen--Cahn and Cahn--Hilliard Equations

Abstract

Phase-field equations are fundamental examples of gradient-flow systems and require numerical solvers that preserve intrinsic energy dissipation. In this work, we propose a neural network-based method that combines an SAV time discretization with a mesh-free neural representation. We establish the unconditional energy stability of the underlying SAV semi-discretization, quantify the energy defect caused by solver residuals, and derive a conditional high-probability error estimate for the Allen--Cahn equation. Numerical experiments show that our approach consistently exhibits energy-stable behavior, while outperforming existing neural network-based solvers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tao Luo, Guihong Wang, Wei Zhao. 2026-10-06. A SAV Neural Network Method for Allen--Cahn and Cahn--Hilliard Equations. https://arxiv.org/abs/2610.08088

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

High-order entropy stable isothermal wall boundary condition for the compressible Navier--Stokes equations

Entropy stable boundary conditions are critical for ensuring that the corresponding numerical scheme satisfies the discrete entropy inequality, thus, mimicking the second law of thermodynamics for the compressible Navier-Stokes equations discretely. Provably entropy-stable adiabatic wall boundary conditions were introduced in Parsani 2014~\cite{parsani2014entropy}. These discrete wall boundary conditions were further generalized in Dalcin 2019~\cite{dalcin2019conservative} to a moving adiabatic solid wall or a wall with a prescribed heat flux for the compressible Navier--Stokes equations discretized by using summation-by-parts (SBP) and simultaneous-approximation-term (SAT) operators. Currently no entropy-stable formulation using SBP-SAT operators for isothermal wall boundary conditions is available in the literature. This paper presents a new isothermal no-slip wall boundary conditions that: 1) enforces the $T|_{y=0}=T^{wall}$ and $\vec{v}|_{y=0}=\vec{v}^{wall}$ conditions with the design order of accuracy while maintaining stability, 2) provides the correct sign of entropy production at the wall, and 3) mimics the entropy balance of the Navier-Stokes equations at the discrete level. The structure-preserving and design-order properties of the proposed methodology are demonstrated and verified on standard benchmark problems for compressible flows.

math.NA↗

Convergence of repeated-pole rational approximation of the exponential on infinite sectors

For $h>0$, degree $m\ge0$, $0\leβ<π$, and $q>0$, let $Σ_β=\{re^{iθ}:r\ge0,\ |θ|\leβ/2\}$ and let $E_{m,β}(q)$ denote the best uniform error for approximating $e^{-hz}$ on $Σ_β$ by rational functions whose only possible finite pole is $s=-q/h$, with multiplicity at most $m$. For the linear scaling $q=αm$ with a fixed $α>0$, a Möbius map reduces the problem to polynomial approximation on a compact lens. Write $γ_β=2-β/π$ and let $α_c(γ_β)$ denote the saddle-coalescence threshold. For $0<α<α_c(γ_β)$, let $H_β(α)\in(0,1)$ be the exponential of the real saddle action. An exact boundary Faber integral, a global fractional-power contour deformation, and a two-saddle expansion yield the sharp two-sided order $E_{m,β}(αm)\asymp m^{-1/2}H_β(α)^m$, uniformly on compact subsets of $0<α<α_c(γ_β)$. On this noncoalescing interval, the exponential factor $H_β(α)$ has the unique minimizer $α_β^*=1/[γ_β\sin(π/(2γ_β))]$ and minimum $\tan(π/(4γ_β))$, recovering the classical half-line factor $\tan(π/8)=\sqrt{2}-1$ at $β=0$. Numerical-range estimates give matrix dimension-independent upper bounds for projected shift-and-invert Arnoldi, while finite-degree pole searches and nonnormal experiments illustrate the distinction between the sector-uniform law and individual matrix computations.

math.NA↗

Shifted tapered-pole approximation on finite sectors: an exact asymptotic and dimension control

We study explicit lightning-plus-polynomial (LP) approximation of $g(z)z^α(\log z)^m$ on a closed unit-radius sector, where $0<α<1$, $m$ is fixed, and $g$ is analytic nearby. Since the basic sector root-exponential rate is already known, we address three finer questions. First, a one-sided Abel--Poisson formula and a pole-free notched contour give a branchwise error bound that is uniform for grid shifts in compact subsets of $(0,1)$ and valid for every fixed logarithmic power. Second, for $z^α$ in the dense and balanced regimes, an exact vertex-scale rescaling identifies a positive finite leading constant for a specified shifted sequence. Third, a rate-matched band of additional representation poles followed by polynomial compression gives the explicit representation dimension $N+2\sqrt{2αλ_σN}+O(1)$ while leaving the first $N$ tapered poles unchanged. A slightly overresolved hybrid sequence also preserves the exact leading constant. Matched-dimension experiments, including reentrant sectors, illustrate the allocation. These exact-asymptotic and dimension statements concern the stated constructions, not sector minimax approximation or total computational complexity.

math.NA↗