arXiv subjects

Qigang Liang

Publications and source records attributed to Qigang Liang.

10 recordsLinked to original sources

arXiv2026

An a Posteriori Error Estimator for $C^0$ IPG Approximation of Multiple and Clustered Eigenvalues of the Biharmonic Operator

In this paper, based on the $C^0$ interior penalty Galerkin ($C^0$IPG) discretization, we propose and analyze an a posteriori error estimator for eigenfunctions associated with multiple and clustered eigenvalues of the biharmonic operator. The proposed estimator may capture the local singularities of the target eigenfunctions efficiently and play an important role in adaptive procedures. We develop a rigorous cluster-projection-based analysis and introduce an auxiliary theoretical error estimator to connect the invariant subspace error with a computable residual estimator. Most importantly, the resulting reliability and efficiency bounds are robust with respect to the mesh size, the mesh level and the internal spectral gaps within the target cluster. Numerical experiments support the theoretical results and demonstrate the robustness of the proposed estimator.

math.NA↗

arXiv2026

Local Multilevel Preconditioned Jacobi-Davidson Method for Elliptic Eigenvalue Problems on Adaptive Meshes

In this work, we propose an efficient adaptive multilevel preconditioned Jacobi-Davidson (PJD) method for eigenvalue problems with singularity. Our multilevel method utilizes a local smoothing strategy to solve the preconditioned Jacobi-Davidson algebraic systems arising from adaptive finite element methods (AFEM). As a result, the algorithm holds optimal computational complexity $O(N)$. The theoretical analysis reveals that our method has a uniform convergence rate with respect to mesh levels and degrees of freedom. Further, the convergence rate is not affected by highly discontinuous coefficients within the domain. Numerical results verify our theoretical findings.

math.NA↗

arXiv2026

A Two-Level Additive Schwarz Method for Computing Interior Multiple and Clustered Eigenvalues of Symmetric Elliptic Operators

In this paper, we propose an efficient two-level additive Schwarz method for solving large-scale eigenvalue problems arising from the finite element discretization of symmetric elliptic operators, which may compute efficiently more interior multiple and clustered eigenvalues other than only the first several smallest eigenvalues. The proposed method is parallel in two ways: one is to solve the preconditioned Jacobi-Davidson correction equations by the two-level additive Schwarz preconditioner, the other is to solve different clusters of eigenvalues (see Figure 1 in Introduction) simultaneously. It only requires computing a series of parallel subproblems and solving a small-dimensional eigenvalue problem per iteration for a cluster of eigenvalues. Based on some new estimates and tools, we provide a rigorous theoretical analysis to prove that convergence factor of the proposed method is bounded by $γ=c(H)ρ(\fracδ{H},d_{m}^{-},d_{M}^{+})$, where $H$ is the diameter of subdomains, $δ$ is the overlapping size and $d_{m}^{-},d_{M}^{+}$ are the distances from both ends of the targeted eigenvalues to others (see Figure 2 in Introduction). The positive number $ρ(\fracδ{H},d_{m}^{-},d_{M}^{+})<1$ is independent of the fine mesh size and the internal gaps among the targeted eigenvalues. The $H$-dependent constant $c(H)$ decreases monotonically to 1, as $H\to 0$, which means the more subdomains lead to the better convergence. Numerical results supporting our theory are given.

math.NA↗

arXiv2026

Adaptive Multilevel Methods for the Maxwell Eigenvalue Problem

In this paper, we propose an adaptive multilevel preconditioned Helmholtz-Jacobi-Davidson (PHJD) method for the Maxwell eigenvalue problem with singularities. The key idea in this work is to employ the local multilevel method for preconditioning the Jacobi-Davidson correction equation. It is shown that our convergence factor is quasi-optimal, which means the convergence factor is independent of mesh sizes and mesh levels provided the coarse mesh is sufficiently fine. Numerical experiments on complex domains are carried out to confirm the theoretical results and demonstrate the efficiency of the proposed method.

math.NA↗

arXiv2025

Pointwise A Posteriori Error Estimators for Multiple and Clustered Eigenvalue Computations

In this work, we propose an a pointwise a posteriori error estimator for conforming finite element approximations of eigenfunctions corresponding to multiple and clustered eigenvalues of elliptic operators. It is proven that the pointwise a posteriori error estimator is reliable and efficient, up to some logarithmic factors of the mesh size. The constants involved in the reliability and efficiency are independent of the gaps among the targeted eigenvalues, the mesh size and the number of mesh level. Specially, we obtain a by-product that edge residuals dominate the a posteriori error in the sense of $L^{\infty}$-norm when the linear element is used. With the aid of the weighted Sobolev stability of the $L^2$-projection, we also propose a new method to prove the reliability of the a posteriori error estimator for higher order finite elements. A key ingredient in the a posteriori error analysis is some new estimates for regularized derivative Green's functions. Some numerical experiments verify our theoretical results.

math.NA↗

arXiv2025

Pointwise A Posteriori Error Estimators for Elliptic Eigenvalue Problems

In this work, we propose and analyze a pointwise a posteriori error estimator for simple eigenvalues of elliptic eigenvalue problems with adaptive finite element methods (AFEMs). We prove the reliability and efficiency of the residual-type a posteriori error estimator in the sense of $L^{\infty}$-norm, up to a logarithmic factor of the mesh size. For theoretical analysis, we also propose a theoretical and non-computable estimator, and then analyze the relationship between computable estimator and theoretical estimator. A key ingredient in the a posteriori error analysis is some new estimates for regularized derivative Green's functions. This methodology is also extended to the nonconforming finite element approximations. Some numerical experiments verify our theoretical results.

math.NA↗

arXiv2024

Computing Both Upper and Lower Eigenvalue Bounds by HDG Methods

In this paper, we observe an interesting phenomenon for a hybridizable discontinuous Galerkin (HDG) method for eigenvalue problems. Specifically, using the same finite element method, we may achieve both upper and lower eigenvalue bounds simultaneously, simply by the fine tuning of the stabilization parameter. Based on this observation, a high accuracy algorithm for computing eigenvalues is designed to yield higher convergence rate at a lower computational cost. Meanwhile, we demonstrate that certain type of HDG methods can only provide upper bounds. As a by-product, the asymptotic upper bound property of the Brezzi-Douglas-Marini mixed finite element is also established. Numerical results supporting our theory are given.

math.NA↗

arXiv2023

On a Sharp Estimate of Overlapping Schwarz Methods in $\mathrm{H}(\mathrm{curl};Ω)$ and $\mathrm{H}(\mathrm{div};Ω)$

The previous proved-bound is $C(1+\frac{H^2}{δ^2})$ for the condition number of the overlapping domain decomposition $\mathrm{H}(\mathrm{curl};Ω)$ and $\mathrm{H}(\mathrm{div};Ω)$ methods, where $H$ and $δ$ are the sizes of subdomains and overlaps respectively. But all numerical results indicate that the best bound is $C(1+\frac{H}δ)$. In this work, we solve this long-standing open problem by proving that $C(1+\frac{H}δ)$ is indeed the best bound.

math.NA↗

arXiv2023

A Two-Level Block Preconditioned Jacobi-Davidson Method for Multiple and Clustered Eigenvalues of Elliptic Operators

In this paper, we propose a two-level block preconditioned Jacobi-Davidson (BPJD) method for efficiently solving discrete eigenvalue problems resulting from finite element approximations of $2m$th ($m = 1, 2$) order symmetric elliptic eigenvalue problems. Our method works effectively to compute the first several eigenpairs, including both multiple and clustered eigenvalues with corresponding eigenfunctions, particularly. The method is highly parallelizable by constructing a new and efficient preconditioner using an overlapping domain decomposition (DD). It only requires computing a couple of small scale parallel subproblems and a quite small scale eigenvalue problem per iteration. Our theoretical analysis reveals that the convergence rate of the method is bounded by $c(H)(1-C\frac{δ^{2m-1}}{H^{2m-1}})^{2}$, where $H$ is the diameter of subdomains and $δ$ is the overlapping size among subdomains. The constant $C$ is independent of the mesh size $h$ and the internal gaps among the target eigenvalues, demonstrating that our method is optimal and cluster robust. Meanwhile, the $H$-dependent constant $c(H)$ decreases monotonically to $1$, as $H \to 0$, which means that more subdomains lead to the better convergence rate. Numerical results supporting our theory are given.

math.NA↗

arXiv2021

A Two-Level Preconditioned Helmholtz-Jacobi-Davidson Method for the Maxwell Eigenvalue Problem

In this paper, based on a domain decomposition (DD) method, we shall propose an efficient two-level preconditioned Helmholtz-Jacobi-Davidson (PHJD) method for solving the algebraic eigenvalue problem resulting from the edge element approximation of the Maxwell eigenvalue problem. In order to eliminate the components in orthogonal complement space of the eigenvalue, we shall solve a parallel preconditioned system and a Helmholtz projection system together in fine space. After one coarse space correction in each iteration and minimizing the Rayleigh quotient in a small dimensional Davidson space, we finally get the error reduction of this two-level PHJD method as $γ=c(H)(1-C\frac{δ^{2}}{H^{2}})$, where $C$ is a constant independent of the mesh size $h$ and the diameter of subdomains $H$, $δ$ is the overlapping size among the subdomains, and $c(H)$ decreasing as $H\to 0$, which means the greater the number of subdomains, the better the convergence rate. Numerical results supporting our theory shall be given.

math.NA↗