arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.39996

A Pressure-Free Virtual Element Method for the Surface Stokes Problem

Jun Hu·Shengyang Xu·Hao Zhou
View original source ↗Read source document ↗Export metadata ↓

Abstract

We develop a pressure-free virtual element method for the surface Stokes problem on polygonal approximations of closed surfaces of arbitrary genus. The method is built on a nonconforming Stokes complex with commuting interpolation and the correct discrete cohomology. Its velocity space is exactly tangential and \(H(\operatorname{div})\)-conforming, while a vertex-based edge constraint enforces continuity of tangential edge averages without additional degrees of freedom. The resulting formulation requires no penalties, and a local divergence-preserving reconstruction provides a computable pressure-robust load. We also construct an explicit macroelement realization of the complex and show that the corresponding induced virtual formulation is algebraically equivalent to a direct macroelement Galerkin method. We establish stability together with optimal first-order convergence in the broken \(H^1\) norm and second-order convergence in the \(L^2\) norm for the velocity. The edge constraint yields the second-order weak consistency estimate needed to recover the optimal \(L^2\) rate. Numerical experiments confirm the theoretical results.

Explore related subjects

math.NAcs.NA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jun Hu, Shengyang Xu, Hao Zhou. 2026-09-30. A Pressure-Free Virtual Element Method for the Surface Stokes Problem. https://arxiv.org/abs/2609.39996

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Error Estimates for the Arnoldi Approximation of a Matrix Square Root

The Arnoldi process provides an efficient framework for approximating functions of a matrix applied to a vector, i.e., of the form $f(M)\bm{b}$, by repeated matrix-vector multiplications. In this paper, we derive error estimates for approximating the action of a matrix square root using the Arnoldi process, where the integral representation of the error is reformulated in terms of the error for solving the linear system $M\bm{x}=\bm{b}$. The results extend the error analysis of the Lanczos method for Hermitian matrices in [Chen et al., SIAM J. Matrix Anal. Appl., 2022] to non-Hermitian cases and provide an improved bound for the Hermitian case. Furthermore, in practical settings, the matrix may only be available via approximate or structured representations. Motivated by this, we extend the analysis and establish a generalized error bound for perturbed matrices. The numerical results on matrices with different structures demonstrate that our theoretical analysis yields a reliable upper bound. Finally, simulations on large-scale matrices arising in particulate suspensions, represented in hierarchical matrix form, validate the effectiveness and practicality of the approach.

math.NA↗
arXiv2026

Study of a TPFA scheme for the stochastic Allen-Cahn problem with constraint through numerical experiments

We study the properties of a fully discrete numerical scheme for the stochastic Allen-Cahn problem with constraint on a bounded polygonal domain in two or three dimensions with homogeneous Neumann boundary condition. The scheme under consideration is of Two Point Flux Approximation (TPFA) type with respect to space and of semi-implicit Euler-Maruyama type with respect to time. The constraint is implemented by a multivalued, subdifferential operator which makes the problem a differential inclusion. This operator is incorporated into the scheme via its Yosida approximation, at the expense of introducing an additional regularization parameter. From previous studies it is known that the time discretization of the Yosida approximation has to be implicit in order to obtain a convergent scheme. Consequently, a non-linear and non-smooth equation has to be solved at each time step and this is challenging for the computation of approximate solutions. In this contribution, we introduce a splitting method to compute the solutions of the TPFA approximations. This method allows us to solve a linear equation in a first step. Then, a piecewise affine projection operator coming from the Yosida approximation can be computed explicitly in a second step. We quantify the error coming from the splitting method and show that the splitting method is accurate. We study properties of the scheme and provide convergence rates through numerical experiments.

math.NA↗
arXiv2026

Spectral density estimation for normal matrices

The spectral density estimation problem asks for an algorithm that, given an $n\times n$ matrix $A$, outputs a probability measure that is a good approximation to the uniform distribution on the eigenvalues of $A$, called the spectral density of $A$. This paper considers the setting where $A$ is a large normal matrix that is accessible only through matrix-vector product queries. We provide an algorithm that makes just $m$ matrix-vector queries to $A$ and returns, with high probability, a measure within earth mover's distance $O(1/m+\log m/{\sqrt n})$ of the true spectral density of $A$. We provide a complementary lower bound that any algorithm producing an $\varepsilon$-approximation to the true spectral density for large matrices must make $Ω(1/\varepsilon)$ matrix-vector queries. The lower bound holds even for the more restricted case of real symmetric input matrices. In combination with our upper bound, it shows that spectral density estimation is essentially no harder for complex normal matrices than for real symmetric matrices.

math.NA↗