Qianqian Liu

We develop in this paper an adaptive time-stepping approach for gradient flows with distinct treatments for conservative and non-conservative dynamics. For the non-conservative gradient flows in Lagrangian coordinates, we propose a modified formulation augmented by auxiliary terms to guarantee positivity of the determinant, and prove that the corresponding adaptive second-order Backward Difference Formulas (BDF2) scheme preserves energy stability and the maximum principle under the time-step ratio constraint $0<r_n\le r_{\max}\le\frac{3}{2}$. On the other hand, for the conservative Wasserstein gradient flows in Lagrangian coordinates, we propose an adaptive BDF2 scheme which is shown to be energy dissipative, and positivity preserving under the time-step ratio constraint $0<r_n\le r_{\max}\le\frac{3+\sqrt{17}}{2}$ in 1D and $0<r_n\le r_{\max}\le \frac{5}{4}$ in 2D, respectively. We also present ample numerical simulations in 1D and 2D to validate the efficiency and accuracy of the proposed schemes.

We present an optimal rate convergence analysis for a second order accurate in time, fully discrete finite difference scheme for the Cahn-Hilliard-Navier-Stokes (CHNS) system, combined with logarithmic Flory-Huggins energy potential. The numerical scheme has been recently proposed, and the positivity-preserving property of the logarithmic arguments, as well as the total energy stability, have been theoretically justified. In this paper, we rigorously prove second order convergence of the proposed numerical scheme, in both time and space. Since the CHNS is a coupled system, the standard $\ell^\infty (0, T; \ell^2) \cap \ell^2 (0, T; H_h^2)$ error estimate could not be easily derived, due to the lack of regularity to control the numerical error associated with the coupled terms. Instead, the $\ell^\infty (0, T; H_h^1) \cap \ell^2 (0, T; H_h^3)$ error analysis for the phase variable and the $\ell^\infty (0, T; \ell^2)$ analysis for the velocity vector, which shares the same regularity as the energy estimate, is more suitable to pass through the nonlinear analysis for the error terms associated with the coupled physical process. Furthermore, the highly nonlinear and singular nature of the logarithmic error terms makes the convergence analysis even more challenging, since a uniform distance between the numerical solution and the singular limit values of is needed for the associated error estimate. Many highly non-standard estimates, such as a higher order asymptotic expansion of the numerical solution (up to the third order accuracy in time and fourth order in space), combined with a rough error estimate (to establish the maximum norm bound for the phase variable), as well as a refined error estimate, have to be carried out to conclude the desired convergence result.