A family of second order, linear, unconditionally stable methods for the Cahn-Hilliard-Navier-Stokes equations

Daozhi Han, Nan Jiang, Jonah H. Nissan and Sayantan Sarkar

arXiv: 2608.26046v1 · PDF · 26 August 2026
Categories: math.NA, cs.NA, math-ph, math.MP
Licence: CC BY 4.0 The site shows the text.

Abstract

We present a family of second-order, linear, unconditionally stable implicit-explicit (IMEX) methods for the Cahn-Hilliard-Navier-Stokes (CHNS) equations modeling matched-density two-phase flows. The proposed semi-discrete scheme combines extrapolation of the nonlinear terms with an auxiliary-variable formulation of the nonlinear free-energy term and a temporal-curvature regularization controlled by a parameter \epsilon. We establish a discrete energy estimate showing unconditional long-time stability of the method for \theta\in(1/2,1] and \epsilon\geq0. The resulting scheme requires only linear solves at each time step. Numerical experiments demonstrate approximately second-order temporal convergence and examine mass conservation, energy dissipation, numerical robustness, and several representative interfacial-flow problems, including spinodal decomposition, droplet shape relaxation, two-phase lid-driven cavity flow, and Rayleigh-Taylor instability.

Items 3

Algorithm

Algorithm 1

BF0Q

r@Algo-CHNS Label ‘Algo-CHNS’ multiply defined

SIAM Label Error: There were multiply-defined labels Correct multiply-defined labels. [email protected] Given \ensuremath{\mathbf{u}}^{n-1}, \ensuremath{\mathbf{u}}^n, p^{n-1}, p^n, \phi^{n-1}, \phi^n, q^{n-1}, q^n, and \mu^{n-1}, find \ensuremath{\mathbf{u}}^{n+1}, p^{n+1}, \phi^{n+1}, q^{n+1}, and \mu^n satisfying

\begin{aligned} &\frac{(\theta+\frac{1}{2})\phi^{n+1}-2\theta \phi^n+(\theta - \frac{1}{2})\phi^{n-1}}{\Delta t}+\nabla \cdot \left({\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\phi) {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(u) \right) -M \Delta {\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\mu)=0,\@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS1} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS1' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS1}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack\\ & {\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\mu)=\lambda\left(- \Delta {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(\phi)+{\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\phi) {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(q) \right),\@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS2} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS2' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS2}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack\\ & \frac{(\theta+\frac{1}{2})q^{n+1}-2\theta q^n+(\theta - \frac{1}{2})q^{n-1}}{\Delta t}=\frac{2}{\eta^2} {\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\phi) \frac{(\theta+\frac{1}{2})\phi^{n+1}-2\theta \phi^n+(\theta - \frac{1}{2})\phi^{n-1}}{\Delta t}, \@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS2a} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS2a' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS2a}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack\\ & \frac{(\theta+\frac{1}{2})u^{n+1}-2\theta u^n+(\theta - \frac{1}{2})u^{n-1}}{\Delta t}+{\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(u) \cdot \nabla \left({\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(u) \right) \\ &-\nu\Delta {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(u)+\nabla {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(p) +{\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\phi)\nabla{\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\mu) =0, \@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS3} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS3' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS3}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack\\ &\nabla \cdot \ensuremath{\mathbf{u}}^{n+1}=0,\@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS4} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS4' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS4}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack \\ &\ensuremath{\mathbf{u}}^{n+1}|_{\partial \Omega}=0, \quad \nabla \phi^{n+1}\cdot n|_{\partial \Omega}=0, \quad \nabla \mu^{n}\cdot n|_{\partial \Omega}=0. \@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@CHNS5} \relax {\gdef \relax { \@latex@warning@no@line{Label `CHNS5' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@CHNS5}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack \end{aligned}

Lemma

Lemma 2

DAS6

r@lm:G-form Label ‘lm:G-form’ multiply defined

SIAM Label Error: There were multiply-defined labels Correct multiply-defined labels. r@lm:G-formsection.equation For any vector {\bf u} , {\bf v} \in \mathbb{R}^n, we have, [JiangMohebujjaman2016],

\begin{aligned}\@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@G1} \relax {\gdef \relax { \@latex@warning@no@line{Label `G1' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@G1}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack \Big(\Big[ \begin{matrix} {\bf u}\cr {\bf v} \end{matrix} \Big], G\Big[ \begin{matrix} {\bf u}\cr {\bf v} \end{matrix} \Big]\Big) &= \frac{2\theta +1}{4} \Vert {\bf u}\Vert^2 + \frac{-2\theta +1}{4} \Vert {\bf v} \Vert^2 \\ &\quad +\frac{(\theta+1)(2\theta-1)}{\color{black} 4}\Vert {\bf u}-{\bf v}\Vert^2 +\frac{\theta}{2}\frac{\epsilon}{\nu}\Vert {\bf u}-{\bf v}\Vert^2 \\ & \geq \frac{2\theta+1}{4}\|{\bf u}\|^2 - \frac{2\theta -1}{4} \| {\bf v}\|^2 \text{,} \end{aligned}

and

\begin{aligned}\@bsphack \protected@write\@auxout{} {\string \@ifundefined{r@G2} \relax {\gdef \relax { \@latex@warning@no@line{Label `G2' multiply defined}} \GenericError{ \space\space\space\@spaces\@spaces\@spaces }{ SIAM Label Error: There were multiply-defined labels }{ Correct multiply-defined labels. }{} } \global\@namedef{r@G2}{{\p@equation\Alph{section}.\arabic{equation}}{\thepage}}} \@esphack \left(\left[ \begin{matrix} {\bf u}\cr {\bf v} \end{matrix} \right], G\Big[ \begin{matrix} {\bf u}\cr {\bf v} \end{matrix} \Big]\right) \leq \frac{2\theta+1}{4}\|{\bf u}\|^2 +\frac{(\theta+1)(2\theta-1)}{{\color{black}4}}\Vert {\bf u}-{\bf v}\Vert^2 +\frac{\theta}{2}\frac{\epsilon}{\nu}\Vert {\bf u}-{\bf v}\Vert^2\\ \leq \left( \frac{2\theta+1}{4}+\frac{(\theta+1)(2\theta-1)}{2} +\frac{\theta\epsilon}{\nu}\right) \Vert {\bf u}\Vert^2 +\left(\frac{(\theta+1)(2\theta-1)}{2} +\frac{\theta\epsilon}{\nu}\right)\Vert {\bf v}\Vert^2\text{.} \end{aligned}

Theorem

Theorem 3

1LKS

r@main-th Label ‘main-th’ multiply defined

SIAM Label Error: There were multiply-defined labels Correct multiply-defined labels. [email protected] The method (1)–(1) is unconditionally long-time stable in the sense that for any N\geq 2

\begin{aligned} & \lambda \Vert \nabla \phi_{N}\Vert^2 +\frac{\lambda\eta^2}{2} \Vert q_{N}\Vert^2 +\Vert u_{N}\Vert^2 \\ & +\frac{\lambda}{2\theta+1} \sum_{n=1}^{N-1}\| \nabla(\phi_{n+1}- 2 \phi_n+\phi_{n-1})\|^2_F +\frac{\lambda\eta^2}{2(2\theta+1)}\sum_{n=1}^{N-1} \| q_{n+1}- 2 q_n+q_{n-1}\|^2_F \\ & +\frac{1}{2\theta+1} \sum_{n=1}^{N-1}\| u_{n+1}- 2 u_n+u_{n-1}\|^2_F +\frac{4 \Delta t\nu}{2\theta+1} \sum_{n=1}^{N-1}\Vert\nabla {\@fontswitch{\relax}{\mathcal} J}^{\epsilon}_{n+\theta}(u)\Vert^2 +\frac{4\Delta t M }{2\theta+1}\sum_{n=1}^{N-1} \Vert \nabla {\@fontswitch{\relax}{\mathcal} H}_{n+\theta}(\mu)\Vert^2 \\ & \leq \left(\frac{2\theta -1 }{2\theta + 1}\right)^N \left( \lambda \Vert \nabla \phi_{0}\Vert^2 +\frac{\lambda\eta^2}{2} \Vert q_{0}\Vert^2 +\Vert u_{0}\Vert^2 \right) \\ &\qquad +2(1-\left(\frac{2\theta -1 }{2\theta + 1}\right)^N) \left(\lambda {\left\| \left[ \begin{matrix} \nabla \phi_{1}\cr \nabla \phi_{0} \end{matrix} \right]\right\|} ^2_G +\frac{\lambda\eta^2}{2} {\left\| \left[ \begin{matrix} q_{1}\cr q_{0} \end{matrix} \right]\right\|} ^2_G +{\left\| \left[ \begin{matrix} u_{1}\cr u_{0} \end{matrix} \right]\right\|} ^2_G \right). \end{aligned}

Source and licence

The text on this page is from arXiv:2608.26046v1 by Daozhi Han, Nan Jiang, Jonah H. Nissan and Sayantan Sarkar, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2608/2608.26046.jsonl.