The anisotropic phase‐field dendritic crystal growth model is a highly nonlinear system that couples the anisotropic Allen–Cahn equation and the thermal equation together. Due to the high anisotropy and nonlinear couplings in the system, how to develop an accurate and efficient, especially a fully decoupled scheme, has always been a challenging problem. To solve the challenge, in this article, we construct a novel fully decoupled numerical scheme which is also linear, energy stable, and second‐order time accurate. The key idea to realize the full decoupling structure is to introduce an ordinary differential equation to deal with the nonlinear coupling terms satisfying the so‐called “zero‐energy‐contribution” property. This scheme is very effective and easy to implement since only a few fully decoupled elliptic equations with constant coefficients need to be solved at each time step. We rigorously prove the solvability of each step and the unconditional energy stability, and perform a large number of numerical simulations in 2D and 3D to demonstrate its stability and accuracy numerically.
This content will become publicly available on May 4, 2024
We propose and analyze a second order accurate in time, energy stable numerical scheme for the strongly anisotropic Cahn–Hilliard system, in which a biharmonic regularization has to be introduced to make the equation well‐posed. A convexity analysis on the anisotropic interfacial energy is necessary to overcome an essential difficulty associated with its highly nonlinear and singular nature. The second order backward differentiation formula temporal approximation is applied, combined with Fourier pseudo‐spectral spatial discretization. The nonlinear surface energy part is updated by an explicit extrapolation formula. Meanwhile, the energy stability analysis is enforced by the fact that all the second order functional derivatives of the energy stay uniformly bounded by a global constant. A Douglas‐Dupont type regularization is added to stabilize the numerical scheme, and a careful estimate ensures a modified energy stability with a uniform constraint for the regularization parameter . In turn, the combination with an appropriate treatment for the nonlinear double well potential terms leads to a weakly nonlinear scheme. More importantly, such an energy stability is in terms of the interfacial energy with respect to the original phase variable, which enables us to derive an optimal rate convergence analysis.
more » « less- NSF-PAR ID:
- 10419921
- Publisher / Repository:
- Wiley Blackwell (John Wiley & Sons)
- Date Published:
- Journal Name:
- Numerical Methods for Partial Differential Equations
- Volume:
- 39
- Issue:
- 5
- ISSN:
- 0749-159X
- Page Range / eLocation ID:
- p. 4007-4029
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
more » « less
Abstract -
more » « less
A second‐order accurate, linear numerical method is analyzed for the Landau–Lifshitz equation with large damping parameters. This equation describes the dynamics of magnetization, with a non‐convexity constraint of unit length of the magnetization. The numerical method is based on the second‐order backward differentiation formula in time, combined with an implicit treatment for the linear diffusion term from the harmonic mapping part and explicit extrapolation for the nonlinear terms. Afterward, a projection step is applied to normalize the numerical solution at a point‐wise level. This numerical scheme has shown extensive advantages in the practical computations for the physical model with large damping parameters, which comes from the fact that only a linear system with constant coefficients (independent of both time and the updated magnetization) needs to be solved at each time step, and has greatly improved the numerical efficiency. Meanwhile, a theoretical analysis for this linear numerical scheme has not been available. In this paper, we provide a rigorous error estimate of the numerical scheme, in the discrete norm, under suitable regularity assumptions and reasonable ratio between the time step size and the spatial mesh size. In particular, the projection operation is nonlinear, and a stability estimate for the projection step turns out to be highly challenging. Such a stability estimate is derived in details, which will play an essential role in the convergence analysis for the numerical scheme, if the damping parameter is greater than 3.
-
Curvilinear, multiblock summation-by-parts finite difference operators with the simultaneous approximation term method provide a stable and accurate framework for solving the wave equation in second order form. That said, the standard method can become arbitrarily stiff when characteristic boundary conditions and nonlinear interface conditions are used. Here we propose a new technique that avoids this stiffness by using characteristic variables to “upwind” the boundary and interface treatment. This is done through the introduction of an additional block boundary displacement variable. Using a unified energy, which expresses both the standard as well as characteristic boundary and interface treatment, we show that the resulting scheme has semidiscrete energy stability for the scalar anisotropic wave equation. The theoretical stability results are confirmed with numerical experiments that also demonstrate the accuracy and robustness of the proposed scheme. The numerical results also show that the characteristic scheme has a time step restriction based on standard wave propagation considerations and not the boundary closure.more » « less
-
null (Ed.)In this paper we propose and analyze a finite difference numerical scheme for the Poisson-Nernst-Planck equation (PNP) system. To understand the energy structure of the PNP model, we make use of the Energetic Variational Approach (EnVarA), so that the PNP system could be reformulated as a non-constant mobility H − 1 H^{-1} gradient flow, with singular logarithmic energy potentials involved. To ensure the unique solvability and energy stability, the mobility function is explicitly treated, while both the logarithmic and the electric potential diffusion terms are treated implicitly, due to the convex nature of these two energy functional parts. The positivity-preserving property for both concentrations, n n and p p , is established at a theoretical level. This is based on the subtle fact that the singular nature of the logarithmic term around the value of 0 0 prevents the numerical solution reaching the singular value, so that the numerical scheme is always well-defined. In addition, an optimal rate convergence analysis is provided in this work, in which many highly non-standard estimates have to be involved, due to the nonlinear parabolic coefficients. The higher order asymptotic expansion (up to third order temporal accuracy and fourth order spatial accuracy), the rough error estimate (to establish the ℓ ∞ \ell ^\infty bound for n n and p p ), and the refined error estimate have to be carried out to accomplish such a convergence result. In our knowledge, this work will be the first to combine the following three theoretical properties for a numerical scheme for the PNP system: (i) unique solvability and positivity, (ii) energy stability, and (iii) optimal rate convergence. A few numerical results are also presented in this article, which demonstrates the robustness of the proposed numerical scheme.more » « less
-
In this paper, we consider numerical approximations for a dendritic solidification phase field model with melt convection in the liquid phase, which is a highly nonlinear system that couples the anisotropic Allen-Cahn type equation, the heat equation, and the weighted Navier-Stokes equations together. We first reformulate the model into a form which is suitable for numerical approximations and establish the energy dissipative law. Then, we develop a linear, decoupled, and unconditionally energy stable numerical scheme by combining the modified projection scheme for the Navier-Stokes equations, the Invariant Energy Quadratization approach for the nonlinear anisotropic potential, and some subtle explicit-implicit treatments for nonlinear coupling terms. Stability analysis and various numerical simulations are presented.more » « less
