A grad-curl conforming virtual element method for a grad-curl problem linking the 3D quad-curl problem and Stokes system
Xiaojing Dong, Yibing Han, Yunqing Huang
TL;DR
The paper develops a grad-curl conforming virtual element method on polyhedral meshes to discretize a grad-curl problem that links the 3D quad-curl problem with the Stokes system through vector potential formulations. It constructs three families of $oldsymbol{H}( ext{grad-curl})$-conforming VEM spaces with arbitrary order, establishing an exact discrete Stokes complex and commutative interpolation diagrams. The discretization yields a stable, convergence-proven scheme and, notably, a pressure-decoupled symmetric positive definite reduced system that can offer computational advantages over traditional velocity-pressure formulations. Numerical experiments on cube and Voronoi meshes validate the theoretical convergence rates and demonstrate the practicality of the vector-potential approach for Stokes-related quad-curl problems on general polyhedral meshes.
Abstract
Based on the Stokes complex with vanishing boundary conditions and its dual complex, we reinterpret a grad-curl problem arising from the quad-curl problem as a new vector potential formulation of the three-dimensional Stokes system. By extending the analysis to the corresponding non-homogeneous problems and the accompanying trace complex, we construct a novel $\boldsymbol{H}(\operatorname{grad-curl})$-conforming virtual element space with arbitrary approximation order that satisfies the exactness of the associated discrete Stokes complex. In the lowest-order case, three degrees of freedom are assigned to each vertex and one to each edge. For the grad-curl problem, we rigorously establish the interpolation error estimates, the stability of discrete bilinear forms, and the convergence of the proposed element on polyhedral meshes. As a discrete vector potential formulation of the Stokes problem, the resulting system is pressure-decoupled and symmetric positive definite. Some numerical examples are presented to verify the theoretical results.
