arXiv subjects

Daozhi Han

Publications and source records attributed to Daozhi Han.

At least 19 recordsLinked to original sources

arXiv2026

Inertial instability of Couette flow with Coriolis force

We analyze the nonlinear inertial instability of Couette flow under Coriolis forcing in $\mathbb{R}^{3}$. For the Coriolis coefficient $f \in (0,1)$, we show that the non-normal operator associated with the linearized system admits only continuous spectrum. Hence, there are no exponentially growing eigenfunctions for the linearized system. Instead, we construct unstable solutions in the form of pseudo-eigenfunctions that exhibit non-ideal spectral properties. By identifying the growth bound of the linear semigroup with the mode rate $Λ=\sqrt{f(1-f)}$ and by a bootstrap argument that resolves the challenges posed by the non-ideal spectral behavior of pseudo-eigenfunctions, we establish the velocity instability of Couette flow in the Hadamard sense for every $f\in(0,1)$.

math.AP↗

arXiv2026

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

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 $ε$. We establish a discrete energy estimate showing unconditional long-time stability of the method for $θ\in(1/2,1]$ and $ε\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.

math.NA↗

arXiv2026

A highly efficient second-order long-time-dynamics-preserving scheme for geophysical fluid models

We develop and analyze a highly efficient, second-order time-marching scheme for infinite-dimensional nonlinear geophysical fluid models, designed to accurately approximate invariant measures-that is, the stationary statistical properties (or climate) of the underlying dynamical system. Beyond second-order accuracy in time, the scheme is particularly well suited for long-time simulations due to two key features: it requires solving only a fixed symmetric positive-definite linear system with constant coefficients at each step; and it guarantees long-time stability, producing uniformly bounded solutions in time for any bounded external forcing, regardless of initial data. For prototypical models such as the barotropic quasi-geostrophic equation, the method preserves dissipativity, ensuring that numerical solutions remain bounded in a function space compactly embedded in the phase space as time tends to infinity. Leveraging this property, we rigorously prove convergence of both global attractors and invariant measures of the discrete system to those of the continuous model in the vanishing time-step limit. A central innovation of the method is a mean-reverting scalar auxiliary variable (mr-SAV) formulation, which preserves the dissipative structure of externally forced systems within an appropriate phase space. For the infinite-dimensional models considered, we additionally employ fractional-order function spaces to establish compactness of numerical solutions in topologies compatible with the phase space.

math.NA↗

arXiv2026

A quasi-incompressible Cahn-Hilliard-Darcy model for two immiscible fluids in porous media

We derive a quasi-incompressible Cahn-Hilliard-Darcy phase-field model (qCHD) with the logarithmic Flory-Huggins free energy density function for two-phase flows in porous media. The model satisfies an energy-dissipation law. In the formal sharp interface limit, the qCHD model gives rise to the classical Muskat's problem. By exploiting estimates of the pressure from Darcy's equations, we establish global existence of weak solutions in both 2D and 3D to the qCHD model.

math.AP↗

arXiv2026

Local-in-time existence of strong solutions to a quasi-incompressible Cahn--Hilliard--Navier--Stokes system

We analyze a quasi-incompressible Cahn--Hilliard--Navier--Stokes system (qCHNS) for two-phase flows with unmatched densities. The order parameter is the volume fraction difference of the two fluids, while mass-averaged velocity is adopted. This leads to a quasi-incompressible model where the pressure also enters the equation of the chemical potential. We establish local existence and uniqueness of strong solutions by the Banach fixed point theorem and the maximal regularity theory.

math.AP↗

arXiv2026

A superconvergent hybridizable discontinuous Galerkin method for the convective Cahn--Hilliard equation

We propose a hybridizable discontinuous Galerkin (HDG) method combined with convex-concave splitting for the temporal discretization of the convective Cahn-Hilliard equation. The convection term is discretized explicitly without stabilization, yielding three key advantages: (1) unconditional stability, (2) preservation of the optimal convergence rate for piecewise constant approximations, and (3) a symmetric system after local elimination, enabling efficient solver via minimal residual methods. We establish optimal convergence rates in the $L^2$ norm for both the scalar and flux variables for any polynomial degree $k \geq 0$. To achieve optimal $L^2$-norm estimates, we introduce a specialized HDG elliptic projection operator and analyze its approximation properties. Within the HDG framework, local elimination is employed to reduce the degrees of freedom associated with the globally coupled unknowns, and the scalar variables exhibit superconvergence. Finally, numerical experiments validate the theoretical convergence rates and demonstrate the effectiveness of the proposed method.

math.NA↗

arXiv2025

Weak solutions and incompressible limit of a quasi-incompressible Navier--Stokes/Cahn--Hilliard model for viscous two-phase flows

We study a quasi-incompressible Navier--Stokes/Cahn--Hilliard coupled system which describes the motion of two macroscopically immiscible incompressible viscous fluids with partial mixing in a small interfacial region and long-range interactions. The case of unmatched densities with mass-averaged velocity is considered so that the velocity field is no longer divergence-free, and the pressure enters the equation of the chemical potential. We first prove the existence of global weak solutions to the model in a three-dimensional periodic domain, for which the implicit time discretization together with a fixed-point argument to the approximate system is employed. In particular, we obtain a new regularity estimate of the order parameter by exploiting the partial damping effect of the capillary force. Then utilizing the relative entropy method, we establish the incompressible limit -- the quasi-incompressible two-phase model converges to model H as the density difference tends to zero. Crucial to the passage of the incompressible limit, due to the lack of regularity of the pressure, are some non-standard uniform-in-density difference controls of the pressure, which are derived from the structure of the momentum equations and the improved regularity of the order parameter.

math.AP↗

arXiv2025

An efficient scheme for approximating long-time dynamics of a class of non-linear models

We propose a novel, highly efficient, mean-reverting-SAV-BDF2-based, long-time unconditionally stable numerical scheme for a class of finite-dimensional nonlinear models important in geophysical fluid dynamics. The scheme is highly efficient in that only a fixed symmetric positive definite linear problem (with varying right-hand sides) is solved at each time step. The solutions remain uniformly bounded for all time. We show that the scheme accurately captures the long-time dynamics of the underlying geophysical model, with the global attractors and invariant measures of the scheme converging to those of the original model as the step size approaches zero. In our numerical experiments, we adopt an indirect approach, using statistics from long-time simulations to approximate the invariant measures. Our results suggest that the convergence rate of the long-term statistics, as a function of terminal time, is approximately first-order under the Jensen-Shannon metric and half-order under the total variation metric. This implies that extremely long simulations are required to achieve high-precision approximations of the invariant measure (or climate). Nevertheless, the second-order scheme significantly outperforms its first-order counterpart, requiring far less time to reach a small neighborhood of statistical equilibrium for a given step size.

math.NA↗

arXiv2024

Long-time stable SAV-BDF2 numerical schemes for the forced Navier-Stokes equations

We propose a novel second-order accurate, long-time unconditionally stable time-marching scheme for the forced Navier-Stokes equations. A new Forced Scalar Auxiliary Variable approach (FSAV) is introduced to preserve the underlying dissipative structure of the forced system that yields a uniform-in-time estimate of the numerical solution. In addition, the numerical scheme is autonomous if the underlying model is, laying the foundation for studying long-time dynamics of the numerical solution via dynamical system approach. As an example we apply the new algorithm to the two-dimensional incompressible Navier-Stokes equations. In the case with no-penetration and free-slip boundary condition on a simply connected domain, we are also able to derive a uniform-in-time estimate of the vorticity in $H^1$ norm in addition to the $L^2$ norm guaranteed by the general framework. Numerical results demonstrate superior performance of the new algorithm in terms of accuracy, efficiency, stability and robustness.

math.NA↗

arXiv2024

A high-order accurate unconditionally stable bound-preserving numerical scheme for the Cahn-Hilliard-Navier-Stokes equations

A high-order numerical method is developed for solving the Cahn-Hilliard-Navier-Stokes equations with the Flory-Huggins potential. The scheme is based on the $Q_k$ finite element with mass lumping on rectangular grids, the second-order convex splitting method, and the pressure correction method. The unique solvability, unconditional stability, and bound-preserving properties are rigorously established. The key to bound-preservation is the discrete $L^1$ estimate of the singular potential. Ample numerical experiments are performed to validate the desired properties of the proposed numerical scheme.

math.NA↗

arXiv2022

Second order, unconditionally stable, linear ensemble algorithms for the magnetohydrodynamics equations

We propose two unconditionally stable, linear ensemble algorithms with pre-computable shared coefficient matrices across different realizations for the magnetohydrodynamics equations. The viscous terms are treated by a standard perturbative discretization. The nonlinear terms are discretized fully explicitly within the framework of the generalized positive auxiliary variable approach (GPAV). Artificial viscosity stabilization that modifies the kinetic energy is introduced to improve accuracy of the GPAV ensemble methods. Numerical results are presented to demonstrate the accuracy and robustness of the ensemble algorithms.

math.NA↗

arXiv2021

A decoupled numerical method for two-phase flows of different densities and viscosities in superposed fluid and porous layers

In this article we consider the numerical modeling and simulation via the phase field approach of two-phase flows of different densities and viscosities in superposed fluid and porous layers. The model consists of the Cahn-Hilliard-Navier-Stokes equations in the free flow region and the Cahn-Hilliard-Darcy equations in porous media that are coupled by seven domain interface boundary conditions. We show that the coupled model satisfies an energy law. Based on the ideas of pressure stabilization and artificial compressibility, we propose an unconditionally stable time stepping method that decouples the computation of the phase field variable, the velocity and pressure of free flow, the velocity and pressure of porous media, hence significantly reduces the computational cost. The energy stability of the scheme effected with the finite element spatial discretization is rigorously established. We verify numerically that our schemes are convergent and energy-law preserving. Ample numerical experiments are performed to illustrate the features of two-phase flows in the coupled free flow and porous media setting.

math.NA↗

arXiv2021

Dynamical transition of hydromagnetic convection in a rotating fluid layer

In this article, we aim to study the stability and dynamic transition of an electrically conducting fluid in the presence of an external uniform horizontal magnetic field and rotation based on a Boussinesq approximation model. By analyzing the spectrum of the linear part of the model and verifying the validity of the principle of exchange of stability, we take a hybrid approach combining theoretical analysis with numerical computation to study the transition from a simple real eigenvalue, a pair of complex conjugate eigenvalues and a real eigenvalue of multiplicity two, respectively. The center manifold reduction theory is applied to reduce the infinite dimensional system to the corresponding finite dimensional one together with one or several non-dimensional transition numbers that determine the dynamic transition types. Careful numerical computations are performed to determine these transition numbers as well as related temporal and flow patterns etc. Our results indicate that both continuous and jump transitions can occur at certain parameter region.

math.DS↗

arXiv2021

Error estimate of a decoupled numerical scheme for the Cahn-Hilliard-Stokes-Darcy system

We analyze a fully discrete finite element numerical scheme for the Cahn-Hilliard-Stokes-Darcy system that models two-phase flows in coupled free flow and porous media. To avoid a well-known difficulty associated with the coupling between the Cahn-Hilliard equation and the fluid motion, we make use of the operator-splitting in the numerical scheme, so that these two solvers are decoupled, which in turn would greatly improve the computational efficiency. The unique solvability and the energy stability have been proved in~\cite{CHW2017}. In this work, we carry out a detailed convergence analysis and error estimate for the fully discrete finite element scheme, so that the optimal rate convergence order is established in the energy norm, i.e.,, in the $\ell^\infty (0, T; H^1) \cap \ell^2 (0, T; H^2)$ norm for the phase variables, as well as in the $\ell^\infty (0, T; H^1) \cap \ell^2 (0, T; H^2)$ norm for the velocity variable. Such an energy norm error estimate leads to a cancellation of a nonlinear error term associated with the convection part, which turns out to be a key step to pass through the analysis. In addition, a discrete $\ell^2 (0;T; H^3)$ bound of the numerical solution for the phase variables plays an important role in the error estimate, which is accomplished via a discrete version of Gagliardo-Nirenberg inequality in the finite element setting.

math.NA↗

arXiv2019

On the superconvergence of a hydridizable discontinuous Galerkin method for the Cahn-Hilliard equation

We propose a hydridizable discontinuous Galerkin (HDG) method for solving the Cahn-Hilliard equation. The temporal discretization can be based on either the backward Euler method or the convex-splitting method. We show that the fully discrete scheme admits a unique solution, and we establish optimal convergence rates for all variables in the $L^2$ norm for arbitrary polynomial orders. In terms of the globally coupled degrees of freedom, the scalar variables are superconvergent. Another theoretical contribution of this work is a novel HDG Sobolev inequality that is useful for HDG error analysis of nonlinear problems. Numerical results are reported to confirm the theoretical convergence rates.

math.NA↗

arXiv2016

Interaction of a vortex induced by a rotating cylinder with a plane

In this article,we study theoretically and numerically the interaction of a vortex induced by a rotating cylinder with a perpendicular plane. We show the existence of weak solutions to the swirling vortex models by using the Hopf extension method, and by an elegant contradiction argument, respectively. We demonstrate numerically that the model could produce phenomena of swirling vortex including boundary layer pumping and two-celled vortex that are observed in potential line vortex interacting with a plane and in a tornado.

math.NA↗

arXiv2016

Uniquely solvable and energy stable decoupled schemes for Cahn-Hilliard-Stokes-Darcy system for two-phase flows in karstic geometry

We propose and analyze two novel decoupled numerical schemes for solving the Cahn-Hilliard-Stokes-Darcy (CHSD) model for two-phase flows in karstic geometry. In the first numerical scheme, we explore a fractional step method (operator splitting) to decouple the phase-field (Cahn-Hilliard equation) from the velocity field (Stokes-Darcy fluid equations). To further decouple the Stokes-Darcy system, we introduce a first order pressure stabilization term in the Darcy solver in the second numerical scheme so that the Stokes system is decoupled from the Darcy system and hence the CHSD system can be solved in a fully decoupled manner. We show that both decoupled numerical schemes are uniquely solvable, energy stable, and mass conservative. Ample numerical results are presented to demonstrate the accuracy and efficiency of our schemes.

math.NA↗

arXiv2014

A decoupled unconditionally stable numerical scheme for the Cahn-Hilliard-Hele-Shaw system

We propose a novel decoupled unconditionally stable numerical scheme for the simulation of two-phase flow in a Hele-Shaw cell which is governed by the Cahn-Hilliard-Hele-Shaw system (CHHS) with variable viscosity. The temporal discretization of the Cahn-Hilliard equation is based on a convex-splitting of the associated energy functional. Moreover, the capillary forcing term in the Darcy equation is separated from the pressure gradient at the time discrete level by using an operator-splitting strategy. Thus the computation of the nonlinear Cahn-Hilliard equation is completely decoupled from the update of pressure. Finally, a pressure-stabilization technique is used in the update of pressure so that at each time step one only needs to solve a Poisson equation with constant coefficient. We show that the scheme is unconditionally stable. Numerical results are presented to demonstrate the accuracy and efficiency of our scheme.

math.NA↗