We propose a level-set approach to characterize the region occupied by the solid in Stefan problems with and without surface tension, based on their recent probabilistic reformulation. The level-set function is parameterized by a feed-forward neural network, whose parameters are trained using the probabilistic formulation of the Stefan growth condition. The algorithm can handle Stefan problems where the liquid is supercooled and can capture surface tension effects through the simulation of particles along the moving boundary together with an efficient approximation of the mean curvature. We demonstrate the effectiveness of the method on a variety of examples with and without radial symmetry.
more »
« less
This content will become publicly available on March 5, 2026
Dual Neural Network (DuNN) method for elliptic partial differential equations and systems
This paper presents the Dual Neural Network (DuNN) method, a physics-driven numerical method designed to solve elliptic partial differential equations and systems using deep neural network functions and a dual formulation. The underlying elliptic problem is formulated as an optimization of the complementary energy functional in terms of the dual variable, where the Dirichlet boundary condition is weakly enforced in the formulation. To accurately evaluate the complementary energy functional, we employ a novel discrete divergence operator. This discrete operator preserves the underlying physics and naturally enforces the Neumann boundary condition without penalization. For problems without reaction term, we propose an outer-inner iterative procedure that gradually enforces the equilibrium equation through a pseudo-time approach.
more »
« less
- Award ID(s):
- 2110571
- PAR ID:
- 10610926
- Publisher / Repository:
- Elsevier
- Date Published:
- Journal Name:
- Journal of Computational and Applied Mathematics
- Volume:
- 467
- Issue:
- C
- ISSN:
- 0377-0427
- Page Range / eLocation ID:
- 116596
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We present a finite element technique for approximating the surface Hessian of a discrete scalar function on triangulated surfaces embedded in $$\R^{3}$$, with or without boundary. We then extend the method to compute approximations of the full shape operator of the underlying surface using only the known discrete surface. The method is based on the Hellan--Herrmann--Johnson (HHJ) element and does not require any ad-hoc modifications. Convergence is established provided the discrete surface satisfies a Lagrange interpolation property related to the exact surface. The convergence rate, in $L^2$, for the shape operator approximation is $O(h^m)$, where $$m \geq 1$$ is the polynomial degree of the surface, i.e. the method converges even for piecewise linear surface triangulations. For surfaces with boundary, some additional boundary data is needed to establish optimal convergence, e.g. boundary information about the surface normal vector or the curvature in the co-normal direction. Numerical examples are given on non-trivial surfaces that demonstrate our error estimates and the efficacy of the method.more » « less
-
A new high-order hybrid method integrating neural networks and corrected finite differences is developed for solving elliptic equations with irregular interfaces and discontinuous solutions. Standard fourth-order finite difference discretization becomes invalid near such interfaces due to the discontinuities and requires corrections based on Cartesian derivative jumps. In traditional numerical methods, such as the augmented matched interface and boundary (AMIB) method, these derivative jumps can be reconstructed via additional approximations and are solved together with the unknown solution in an iterative procedure. Nontrivial developments have been carried out in the AMIB method in treating sharply curved interfaces, which, however, may not work for interfaces with geometric singularities. In this work, machine learning techniques are utilized to directly predict these Cartesian derivative jumps without involving the unknown solution. To this end, physics-informed neural networks (PINNs) are trained to satisfy the jump conditions for both closed and open interfaces with possible geometric singularities. The predicted Cartesian derivative jumps can then be integrated in the corrected finite differences. The resulting discrete Laplacian can be efficiently solved by fast Poisson solvers, such as fast Fourier transform (FFT) and geometric multigrid methods, over a rectangular domain with Dirichlet boundary conditions. This hybrid method is both easy to implement and efficient. Numerical experiments in two and three dimensions demonstrate that the method achieves fourth-order accuracy for the solution and its derivatives.more » « less
-
null (Ed.)We study analytically and numerically the minimizers for the Cahn-Hilliard energy functional with a symmetric quartic double-well potential and under a strong anchoring condition(i.e., the Dirichlet condition) on the boundary of an underlying bounded domain. We show a bifurcation phenomenon determined by the boundary value and a parameter that describes the thickness of a transition layer separating two phases of an underlying system of binary mixtures. For the case that the boundary value is exactly the average of the two pure phases, if the bifurcation parameter is larger than or equal to a critical value, then the minimizer is unique and is exactly the homogeneous state. Otherwise, there are exactly two symmetric minimizers. The critical bifurcation value is inversely proportional to the first eigenvalue of the negative Laplace operator with the zero Dirichlet boundary condition. For a boundary value that is larger (or smaller) than that of the average of the two pure phases, the symmetry is broken and there is only one minimizer. We also obtain the bounds and morphological properties of the minimizers under additional assumptions on the domain.Our analysis utilizes the notion of the Nehari manifold and connects it to the eigenvalue problem for the negative Laplacian with the homogeneous boundary condition. We numerically minimize the functional E by solving the gradient-flow equation of E, i.e., the Allen-Cahn equation, with the designated boundary conditions, and with random initial values. We present our numerical simulations and discuss them in the context of our analytical results.more » « less
-
We studied the least-squares ReLU neural network (LSNN) method for solving a linear advection-reaction equation with discontinuous solution in [Z. Cai et al., J. Comput. Phys., 443 (2021), 110514]. The method is based on a least-squares formulation and uses a new class of approximating functions: ReLU neural network (NN) functions. A critical and additional component of the LSNN method, differing from other NN-based methods, is the introduction of a properly designed and physics preserved discrete differential operator. In this paper, we study the LSNN method for problems with discontinuity interfaces. First, we show that ReLU NN functions with depth \(\lceil \log\_2(d+1)\rceil+1\) can approximate any \(d\)-dimensional step function on a discontinuity interface generated by a vector field as streamlines with any prescribed accuracy. By decomposing the solution into continuous and discontinuous parts, we prove theoretically that the discretization error of the LSNN method using ReLU NN functions with depth \(\lceil \log\_2(d+1)\rceil+1\) is mainly determined by the continuous part of the solution provided that the solution jump is constant. Numerical results for both two- and three-dimensional test problems with various discontinuity interfaces show that the LSNN method with enough layers is accurate and does not exhibit the common Gibbs phenomena along discontinuity interfaces.more » « less
An official website of the United States government
