中国科学院数学与系统科学研究院期刊网

Most accessed

  • Published in last 1 year
  • In last 2 years
  • In last 3 years
  • All

Please wait a minute...
  • Select all
    |
  • Duo Qiu, Michael K. Ng, Xiongjun Zhang
    Journal of Computational Mathematics. 2024, 42(6): 1427-1451. https://doi.org/10.4208/jcm.2309-m2023-0041
    In this paper, we study the low-rank matrix completion problem with Poisson observations, where only partial entries are available and the observations are in the presence of Poisson noise. We propose a novel model composed of the Kullback-Leibler (KL) divergence by using the maximum likelihood estimation of Poisson noise, and total variation (TV) and nuclear norm constraints. Here the nuclear norm and TV constraints are utilized to explore the approximate low-rankness and piecewise smoothness of the underlying matrix, respectively. The advantage of these two constraints in the proposed model is that the low-rankness and piecewise smoothness of the underlying matrix can be exploited simultaneously, and they can be regularized for many real-world image data. An upper error bound of the estimator of the proposed model is established with high probability, which is not larger than that of only TV or nuclear norm constraint. To the best of our knowledge, this is the first work to utilize both low-rank and TV constraints with theoretical error bounds for matrix completion under Poisson observations. Extensive numerical examples on both synthetic data and real-world images are reported to corroborate the superiority of the proposed approach.
  • Yifan Wang, Hehu Xie, Pengzhan Jin
    Journal of Computational Mathematics. 2024, 42(6): 1714-1742. https://doi.org/10.4208/jcm.2307-m2022-0233
    In this paper, we introduce a type of tensor neural network. For the first time, we propose its numerical integration scheme and prove the computational complexity to be the polynomial scale of the dimension. Based on the tensor product structure, we develop an efficient numerical integration method by using fixed quadrature points for the functions of the tensor neural network. The corresponding machine learning method is also introduced for solving high-dimensional problems. Some numerical examples are also provided to validate the theoretical results and the numerical algorithm.
  • Jianchao Bai, Ke Guo, Junli Liang, Yang Jing, H. C. So
    Journal of Computational Mathematics. 2024, 42(6): 1605-1626. https://doi.org/10.4208/jcm.2305-m2021-0107
    The alternating direction method of multipliers (ADMM) has been extensively investigated in the past decades for solving separable convex optimization problems, and surprisingly, it also performs efficiently for nonconvex programs. In this paper, we propose a symmetric ADMM based on acceleration techniques for a family of potentially nonsmooth and nonconvex programming problems with equality constraints, where the dual variables are updated twice with different stepsizes. Under proper assumptions instead of the socalled Kurdyka-Lojasiewicz inequality, convergence of the proposed algorithm as well as its pointwise iteration-complexity are analyzed in terms of the corresponding augmented Lagrangian function and the primal-dual residuals, respectively. Performance of our algorithm is verified by numerical examples corresponding to signal processing applications in sparse nonconvex/convex regularized minimization.
  • Jing Sun, Daxin Nie, Weihua Deng
    Journal of Computational Mathematics. 2025, 43(2): 257-279. https://doi.org/10.4208/jcm.2206-m2022-0054
    Fractional Klein-Kramers equation can well describe subdiffusion in phase space. In this paper, we develop the fully discrete scheme for time-fractional Klein-Kramers equation based on the backward Euler convolution quadrature and local discontinuous Galerkin methods. Thanks to the obtained sharp regularity estimates in temporal and spatial directions after overcoming the hypocoercivity of the operator, the complete error analyses of the fully discrete scheme are built. It is worth mentioning that the convergence of the provided scheme is independent of the temporal regularity of the exact solution. Finally, numerical results are proposed to verify the correctness of the theoretical results.
  • Mingcai Ding, Xiaoliang Song, Bo Yu
    Journal of Computational Mathematics. 2024, 42(6): 1452-1501. https://doi.org/10.4208/jcm.2207-m2021-0349
    Optimization problem of cardinality constrained mean-variance (CCMV) model for sparse portfolio selection is considered. To overcome the difficulties caused by cardinality constraint, an exact penalty approach is employed, then CCMV problem is transferred into a difference-of-convex-functions (DC) problem. By exploiting the DC structure of the gained problem and the superlinear convergence of semismooth Newton (ssN) method, an inexact proximal DC algorithm with sieving strategy based on a majorized ssN method (siPDCA-mssN) is proposed. For solving the inner problems of siPDCA-mssN from dual, the second-order information is wisely incorporated and an efficient mssN method is employed. The global convergence of the sequence generated by siPDCA-mssN is proved. To solve large-scale CCMV problem, a decomposed siPDCA-mssN (DsiPDCA-mssN) is introduced. To demonstrate the efficiency of proposed algorithms, siPDCA-mssN and DsiPDCA-mssN are compared with the penalty proximal alternating linearized minimization method and the CPLEX(12.9) solver by performing numerical experiments on realword market data and large-scale simulated data. The numerical results demonstrate that siPDCA-mssN and DsiPDCA-mssN outperform the other methods from computation time and optimal value. The out-of-sample experiments results display that the solutions of CCMV model are better than those of other portfolio selection models in terms of Sharp ratio and sparsity.
  • Chaoyu Quan, Tao Tang, Jiang Yang
    Journal of Computational Mathematics. 2025, 43(3): 515-539. https://doi.org/10.4208/jcm.2311-m2021-0199
    The numerical integration of phase-field equations is a delicate task which needs to recover at the discrete level intrinsic properties of the solution such as energy dissipation and maximum principle. Although the theory of energy dissipation for classical phase field models is well established, the corresponding theory for time-fractional phase-field models is still incomplete. In this article, we study certain nonlocal-in-time energies using the first-order stabilized semi-implicit L1 scheme. In particular, we will establish a discrete fractional energy law and a discrete weighted energy law. The extension for a (2-α)-order L1 scalar auxiliary variable scheme will be investigated. Moreover, we demonstrate that the energy bound is preserved for the L1 schemes with nonuniform time steps. Several numerical experiments are carried to verify our theoretical analysis.
  • Daxin Nie, Weihua Deng
    Journal of Computational Mathematics. 2024, 42(6): 1502-1525. https://doi.org/10.4208/jcm.2305-m2023-0014
    In this paper, we consider the strong convergence of the time-space fractional diffusion equation driven by fractional Gaussian noise with Hurst index H ∈ (1/2, 1). A sharp regularity estimate of the mild solution and the numerical scheme constructed by finite element method for integral fractional Laplacian and backward Euler convolution quadrature for Riemann-Liouville time fractional derivative are proposed. With the help of inverse Laplace transform and fractional Ritz projection, we obtain the accurate error estimates in time and space. Finally, our theoretical results are accompanied by numerical experiments.
  • Yang Xu, Zhenguo Zhou, Jingjun Zhao
    Journal of Computational Mathematics. 2024, 42(6): 1743-1776. https://doi.org/10.4208/jcm.2307-m2023-0012
    The second-order serendipity virtual element method is studied for the semilinear pseudo-parabolic equations on curved domains in this paper. Nonhomogeneous Dirichlet boundary conditions are taken into account, the existence and uniqueness are investigated for the weak solution of the nonhomogeneous initial-boundary value problem. The Nitschebased projection method is adopted to impose the boundary conditions in a weak way. The interpolation operator is used to deal with the nonlinear term. The Crank-Nicolson scheme is employed to discretize the temporal variable. There are two main features of the proposed scheme: (i) the internal degrees of freedom are avoided no matter what type of mesh is utilized, and (ii) the Jacobian is simple to calculate when Newton’s iteration method is applied to solve the fully discrete scheme. The error estimates are established for the discrete schemes and the theoretical results are illustrated through some numerical examples.
  • Minqiang Xu, Yanting Yuan, Waixiang Cao, Qingsong Zou
    Journal of Computational Mathematics. 2024, 42(6): 1627-1655. https://doi.org/10.4208/jcm.2305-m2021-0330
    In this paper, we analyze two classes of spectral volume (SV) methods for one-dimensional hyperbolic equations with degenerate variable coefficients. Two classes of SV methods are constructed by letting a piecewise k-th order (k ≥ 1 is an integer) polynomial to satisfy the conservation law in each control volume, which is obtained by refining spectral volumes (SV) of the underlying mesh with k Gauss-Legendre points (LSV) or Radaus points (RSV) in each SV. The L2-norm stability and optimal order convergence properties for both methods are rigorously proved for general non-uniform meshes. Surprisingly, we discover some very interesting superconvergence phenomena: At some special points, the SV flux function approximates the exact flux with (k+2)-th order and the SV solution itself approximates the exact solution with (k + 3/2)-th order, some superconvergence behaviors for element averages errors have been also discovered. Moreover, these superconvergence phenomena are rigorously proved by using the so-called correction function method. Our theoretical findings are verified by several numerical experiments.
  • Wei Zhang
    Journal of Computational Mathematics. 2024, 42(6): 1688-1713. https://doi.org/10.4208/jcm.2307-m2022-0194
    In this paper, we investigate the theoretical and numerical analysis of the stochastic Volterra integro-differential equations (SVIDEs) driven by Lévy noise. The existence, uniqueness, boundedness and mean square exponential stability of the analytic solutions for SVIDEs driven by Lévy noise are considered. The split-step theta method of SVIDEs driven by Lévy noise is proposed. The boundedness of the numerical solution and strong convergence are proved. Moreover, its mean square exponential stability is obtained. Some numerical examples are given to support the theoretical results.
  • Haoning Dang, Qilong Zhai, Ran Zhang, Hui Peng
    Journal of Computational Mathematics. 2025, 43(1): 1-17. https://doi.org/10.4208/jcm.2307-m2022-0264
    We develop a stabilizer free weak Galerkin (SFWG) finite element method for Brinkman equations. The main idea is to use high order polynomials to compute the discrete weak gradient and then the stabilizing term is removed from the numerical formulation. The SFWG scheme is very simple and easy to implement on polygonal meshes. We prove the well-posedness of the scheme and derive optimal order error estimates in energy and L2 norm. The error results are independent of the permeability tensor, hence the SFWG method is stable and accurate for both the Stokes and Darcy dominated problems. Finally, we present some numerical experiments to verify the efficiency and stability of the SFWG method.
  • Jie Xu, Mingbo Zhang
    Journal of Computational Mathematics. 2024, 42(6): 1526-1553. https://doi.org/10.4208/jcm.2305-m2022-0268
    In this paper, we shall prove a Wong-Zakai approximation for stochastic Volterra equations under appropriate assumptions. We may apply it to a class of stochastic differential equations with the kernel of fractional Brownian motion with Hurst parameter H ∈ (1/2, 1) and subfractional Brownian motion with Hurst parameter H ∈ (1/2, 1). As far as we know, this is the first result on stochastic Volterra equations in this topic.
  • Jiani Wang, Liwei Zhang
    Journal of Computational Mathematics. 2025, 43(2): 315-344. https://doi.org/10.4208/jcm.2208-m2022-0035
    In this paper, we analyze the convergence properties of a stochastic augmented Lagrangian method for solving stochastic convex programming problems with inequality constraints. Approximation models for stochastic convex programming problems are constructed from stochastic observations of real objective and constraint functions. Based on relations between solutions of the primal problem and solutions of the dual problem, it is proved that the convergence of the algorithm from the perspective of the dual problem. Without assumptions on how these random models are generated, when estimates are merely sufficiently accurate to the real objective and constraint functions with high enough, but fixed, probability, the method converges globally to the optimal solution almost surely. In addition, sufficiently accurate random models are given under different noise assumptions. We also report numerical results that show the good performance of the algorithm for different convex programming problems with several random models.
  • Minghua Chen, Fan Yu, Qingdong Zhang, Zhimin Zhang
    Journal of Computational Mathematics. 2024, 42(5): 1380-1406. https://doi.org/10.4208/jcm.2304-m2022-0140
    In this work, we analyze the three-step backward differentiation formula (BDF3) method for solving the Allen-Cahn equation on variable grids. For BDF2 method, the discrete orthogonal convolution (DOC) kernels are positive, the stability and convergence analysis are well established in [Liao and Zhang, Math. Comp., 90 (2021), 1207–1226] and [Chen, Yu, and Zhang, arXiv:2108.02910, 2021]. However, the numerical analysis for BDF3 method with variable steps seems to be highly nontrivial due to the additional degrees of freedom and the non-positivity of DOC kernels. By developing a novel spectral norm inequality, the unconditional stability and convergence are rigorously proved under the updated step ratio restriction rk:= τk/τk-1 ≤ 1.405 for BDF3 method. Finally, numerical experiments are performed to illustrate the theoretical results. To the best of our knowledge, this is the first theoretical analysis of variable steps BDF3 method for the Allen-Cahn equation.
  • Fujun Cao, Dongfang Yuan, Dongxu Jia, Guangwei Yuan
    Journal of Computational Mathematics. 2024, 42(5): 1328-1355. https://doi.org/10.4208/jcm.2302-m2022-0111
    In this paper two dimensional elliptic interface problem with imperfect contact is considered, which is featured by the implicit jump condition imposed on the imperfect contact interface, and the jumping quantity of the unknown is related to the flux across the interface. A finite difference method is constructed for the 2D elliptic interface problems with straight and curve interface shapes. Then, the stability and convergence analysis are given for the constructed scheme. Further, in particular case, it is proved to be monotone. Numerical examples for elliptic interface problems with straight and curve interface shapes are tested to verify the performance of the scheme. The numerical results demonstrate that it obtains approximately second-order accuracy for elliptic interface equations with implicit jump condition.
  • Hongzheng Ruan, Weihong Yang
    Journal of Computational Mathematics. 2024, 42(6): 1656-1687. https://doi.org/10.4208/jcm.2306-m2022-0279
    Classical quasi-Newton methods are widely used to solve nonlinear problems in which the first-order information is exact. In some practical problems, we can only obtain approximate values of the objective function and its gradient. It is necessary to design optimization algorithms that can utilize inexact first-order information. In this paper, we propose an adaptive regularized quasi-Newton method to solve such problems. Under some mild conditions, we prove the global convergence and establish the convergence rate of the adaptive regularized quasi-Newton method. Detailed implementations of our method, including the subspace technique to reduce the amount of computation, are presented. Encouraging numerical results demonstrate that the adaptive regularized quasi-Newton method is a promising method, which can utilize the inexact first-order information effectively.
  • Sihong Shao, Dong Zhang, Weixi Zhang
    Journal of Computational Mathematics. 2024, 42(5): 1277-1304. https://doi.org/10.4208/jcm.2303-m2021-0309
    We propose a simple iterative (SI) algorithm for the maxcut problem through fully using an equivalent continuous formulation. It does not need rounding at all and has advantages that all subproblems have explicit analytic solutions, the cut values are monotonically updated and the iteration points converge to a local optima in finite steps via an appropriate subgradient selection. Numerical experiments on G-set demonstrate the performance. In particular, the ratios between the best cut values achieved by SI and those by some advanced combinatorial algorithms in [Ann. Oper. Res., 248 (2017), 365-403] are at least 0.986 and can be further improved to at least 0.997 by a preliminary attempt to break out of local optima.
  • Jinming Wen
    Journal of Computational Mathematics. 2025, 43(2): 493-514. https://doi.org/10.4208/jcm.2308-m2023-0044
    A fundamental problem in some applications including group testing and communications is to acquire the support of a K-sparse signal x, whose nonzero elements are 1, from an underdetermined noisy linear model. This paper first designs an algorithm called binary least squares (BLS) to reconstruct x and analyzes its complexity. Then, we establish two sufficient conditions for the exact reconstruction of x’s support with K iterations of BLS based on the mutual coherence and restricted isometry property of the measurement matrix, respectively. Finally, extensive numerical tests are performed to compare the efficiency and effectiveness of BLS with those of batch orthogonal matching pursuit (BatchOMP) which to our best knowledge is the fastest implementation of OMP, orthogonal least squares (OLS), compressive sampling matching pursuit (CoSaMP), hard thresholding pursuit (HTP), Newton-step-based iterative hard thresholding (NSIHT), Newton-step-based hard thresholding pursuit (NSHTP), binary matching pursuit (BMP) and $\ell_1$-regularized least squares. Test results show that: (1) BLS can be 10-200 times more efficient than Batch-OMP, OLS, CoSaMP, HTP, NSIHT and NSHTP with higher probability of support reconstruction, and the improvement can be 20%-80%; (2) BLS has more than 25% improvement on the support reconstruction probability than the explicit BMP algorithm with a little higher computational complexity; (3) BLS is around 100 times faster than $\ell_1$-regularized least squares with lower support reconstruction probability for small K and higher support reconstruction probability for large K. Numerical tests on the generalized space shift keying (GSSK) detection indicate that although BLS is a little slower than BMP, it is more efficient than the other seven tested sparse recovery algorithms, and although it is less effective than $\ell_1$-regularized least squares, it is more effective than the other seven algorithms.
  • Mengyun Wang, Ye Ji, Chungang Zhu
    Journal of Computational Mathematics. 2024, 42(5): 1197-1225. https://doi.org/10.4208/jcm.2301-m2022-0116
    Generalized Bézier surfaces are a multi-sided generalization of classical tensor product Bézier surfaces with a simple control structure and inherit most of the appealing properties from Bézier surfaces. However, the original degree elevation changes the geometry of generalized Bézier surfaces such that it is undesirable in many applications, e.g. isogeometric analysis. In this paper, we propose an improved degree elevation algorithm for generalized Bézier surfaces preserving not only geometric consistency but also parametric consistency. Based on the knot insertion of B-splines, a novel knot insertion algorithm for generalized Bézier surfaces is also proposed. Then the proposed algorithms are employed to increase degrees of freedom for multi-sided computational domains parameterized by generalized Bézier surfaces in isogeometric analysis, corresponding to the traditional p-, h-, and k-refinements. Numerical examples demonstrate the effectiveness and superiority of our method.
  • Miao Chen, Yuchao Tang, Jie Zhang, Tieyong Zeng
    Journal of Computational Mathematics. 2025, 43(3): 540-568. https://doi.org/10.4208/jcm.2212-m2022-0122
    Image restoration based on total variation has been widely studied owing to its edgepreservation properties. In this study, we consider the total variation infimal convolution (TV-IC) image restoration model for eliminating mixed Poisson-Gaussian noise. Based on the alternating direction method of multipliers (ADMM), we propose a complete splitting proximal bilinear constraint ADMM algorithm to solve the TV-IC model. We prove the convergence of the proposed algorithm under mild conditions. In contrast with other algorithms used for solving the TV-IC model, the proposed algorithm does not involve any inner iterations, and each subproblem has a closed-form solution. Finally, numerical experimental results demonstrate the efficiency and effectiveness of the proposed algorithm.
  • Ines Adouani, Chafik Samir
    Journal of Computational Mathematics. 2024, 42(6): 1554-1578. https://doi.org/10.4208/jcm.2303-m2022-0201
    We propose a new method for smoothly interpolating a given set of data points on Grassmann and Stiefel manifolds using a generalization of the De Casteljau algorithm. To that end, we reduce interpolation problem to the classical Euclidean setting, allowing us to directly leverage the extensive toolbox of spline interpolation. The interpolated curve enjoy a number of nice properties: The solution exists and is optimal in many common situations. For applications, the structures with respect to chosen Riemannian metrics are detailed resulting in additional computational advantages.
  • Nachuan Xiao, Xin Liu
    Journal of Computational Mathematics. 2024, 42(5): 1246-1276. https://doi.org/10.4208/jcm.2307-m2021-0331
    In this paper, we present a novel penalty model called ExPen for optimization over the Stiefel manifold. Different from existing penalty functions for orthogonality constraints, ExPen adopts a smooth penalty function without using any first-order derivative of the objective function. We show that all the first-order stationary points of ExPen with a sufficiently large penalty parameter are either feasible, namely, are the first-order stationary points of the original optimization problem, or far from the Stiefel manifold. Besides, the original problem and ExPen share the same second-order stationary points. Remarkably, the exact gradient and Hessian of ExPen are easy to compute. As a consequence, abundant algorithm resources in unconstrained optimization can be applied straightforwardly to solve ExPen.
  • Yabing Sun, Weidong Zhao
    Journal of Computational Mathematics. 2025, 43(1): 229-256. https://doi.org/10.4208/jcm.2310-m2023-0089
    In this paper, we consider the numerical solution of decoupled mean-field forward backward stochastic differential equations with jumps (MFBSDEJs). By using finite difference approximations and the Gaussian quadrature rule, and the weak order 2.0 Itô-Taylor scheme to solve the forward mean-field SDEs with jumps, we propose a new second order scheme for MFBSDEJs. The proposed scheme allows an easy implementation. Some numerical experiments are carried out to demonstrate the stability, the effectiveness and the second order accuracy of the scheme.
  • Jiliang Cao, Aiguo Xiao, Wansheng Wang
    Journal of Computational Mathematics. 2025, 43(2): 345-368. https://doi.org/10.4208/jcm.2210-m2022-0085
    In this paper, we study a posteriori error estimates of the L1 scheme for time discretizations of time fractional parabolic differential equations, whose solutions have generally the initial singularity. To derive optimal order a posteriori error estimates, the quadratic reconstruction for the L1 method and the necessary fractional integral reconstruction for the first-step integration are introduced. By using these continuous, piecewise time reconstructions, the upper and lower error bounds depending only on the discretization parameters and the data of the problems are derived. Various numerical experiments for the one-dimensional linear fractional parabolic equations with smooth or nonsmooth exact solution are used to verify and complement our theoretical results, with the convergence of α order for the nonsmooth case on a uniform mesh. To recover the optimal convergence order 2-α on a nonuniform mesh, we further develop a time adaptive algorithm by means of barrier function recently introduced. The numerical implementations are performed on nonsmooth case again and verify that the true error and a posteriori error can achieve the optimal convergence order in adaptive mesh.
  • Pratibha Shakya
    Journal of Computational Mathematics. 2024, 42(6): 1579-1604. https://doi.org/10.4208/jcm.2305-m2022-0215
    This paper considers the finite element approximation to parabolic optimal control problems with measure data in a nonconvex polygonal domain. Such problems usually possess low regularity in the state variable due to the presence of measure data and the nonconvex nature of the domain. The low regularity of the solution allows the finite element approximations to converge at lower orders. We prove the existence, uniqueness and regularity results for the solution to the control problem satisfying the first order optimality condition. For our error analysis we have used piecewise linear elements for the approximation of the state and co-state variables, whereas piecewise constant functions are employed to approximate the control variable. The temporal discretization is based on the implicit Euler scheme. We derive both a priori and a posteriori error bounds for the state, control and co-state variables. Numerical experiments are performed to validate the theoretical rates of convergence.
  • Zhoufeng Wang, Muhua Liu
    Journal of Computational Mathematics. 2025, 43(2): 413-437. https://doi.org/10.4208/jcm.2305-m2022-0234
    In this paper, we consider the electromagnetic wave scattering problem from a periodic chiral structure. The scattering problem is simplified to a two-dimensional problem, and is discretized by a finite volume method combined with the perfectly matched layer (PML) technique. A residual-type a posteriori error estimate of the PML finite volume method is analyzed and the upper and lower bounds on the error are established in the H1-norm. The crucial part of the a posteriori error analysis is to derive the error representation formula and use a L2-orthogonality property of the residual which plays a similar role as the Galerkin orthogonality. An adaptive PML finite volume method is proposed to solve the scattering problem. The PML parameters such as the thickness of the layer and the medium property are determined through sharp a posteriori error estimate. Finally, numerical experiments are presented to illustrate the efficiency of the proposed method.
  • Jingjun Zhao, Hao Zhou, Yang Xu
    Journal of Computational Mathematics. 2024, 42(5): 1226-1245. https://doi.org/10.4208/jcm.2301-m2022-0088
    For solving the stochastic differential equations driven by fractional Brownian motion, we present the modified split-step theta method by combining truncated Euler-Maruyama method with split-step theta method. For the problem under a locally Lipschitz condition and a linear growth condition, we analyze the strong convergence and the exponential stability of the proposed method. Moreover, for the stochastic delay differential equations with locally Lipschitz drift condition and globally Lipschitz diffusion condition, we give the order of convergence. Finally, numerical experiments are done to confirm the theoretical conclusions.
  • Jianwen Huang, Feng Zhang, Xinling Liu, Jianjun Wang, Jinping Jia, Runke Wang
    Journal of Computational Mathematics. 2025, 43(1): 43-62. https://doi.org/10.4208/jcm.2307-m2022-0225
    Given the measurement matrix A and the observation signal y, the central purpose of compressed sensing is to find the most sparse solution of the underdetermined linear system y = Ax + z, where x is the s-sparse signal to be recovered and z is the noise vector. Zhou and Yu [Front. Appl. Math. Stat., 5 (2019), Article 14] recently proposed a novel non-convex weighted $\ell$r - $\ell$1 minimization method for effective sparse recovery. In this paper, under newly coherence-based conditions, we study the non-convex weighted $\ell$r - $\ell$1 minimization in reconstructing sparse signals that are contaminated by different noises.Concretely, the results reveal that if the coherence $\mu$ of measurement matrix $A$ fulfills $$ \mu<\kappa(s ; r, \alpha, N), \quad s>1, \quad \alpha^{\frac{1}{r}} N^{\frac{1}{2}}<1, $$ then any $s$-sparse signals in the noisy scenarios could be ensured to be reconstructed robustly by solving weighted $\ell$r - $\ell$1 minimization non-convex optimization problem. Furthermore, some central remarks are presented to clear that the reconstruction assurance is much weaker than the existing ones. To the best of our knowledge, this is the first mutual coherence-based sufficient condition for such approach.
  • Qiming Wang, Zhaojie Zhou
    Journal of Computational Mathematics. 2025, 43(1): 174-202. https://doi.org/10.4208/jcm.2309-m2021-0366
    In this paper, a robust residual-based a posteriori estimate is discussed for the Streamline Upwind/Petrov Galerkin (SUPG) virtual element method (VEM) discretization of convection dominated diffusion equation. A global upper bound and a local lower bound for the a posteriori error estimates are derived in the natural SUPG norm, where the global upper estimate relies on some hypotheses about the interpolation errors and SUPG virtual element discretization errors. Based on the Dörfler’s marking strategy, adaptive VEM algorithm drived by the error estimators is used to solve the problem on general polygonal meshes. Numerical experiments show the robustness of the a posteriori error estimates.
  • Wang Kong, Zhenying Hong, Guangwei Yuan, Zhiqiang Sheng
    Journal of Computational Mathematics. 2024, 42(5): 1305-1327. https://doi.org/10.4208/jcm.2303-m2022-0139
    In this paper, we present a nonlinear correction technique to modify the nine-point scheme proposed in [SIAM J. Sci. Comput., 30:3 (2008), 1341-1361] such that the resulted scheme preserves the positivity. We first express the flux by the cell-centered unknowns and edge unknowns based on the stencil of the nine-point scheme. Then, we use a nonlinear combination technique to get a monotone scheme. In order to obtain a cell-centered finite volume scheme, we need to use the cell-centered unknowns to locally approximate the auxiliary unknowns. We present a new method to approximate the auxiliary unknowns by using the idea of an improved multi-points flux approximation. The numerical results show that the new proposed scheme is robust, can handle some distorted grids that some existing finite volume schemes could not handle, and has higher numerical accuracy than some existing positivity-preserving finite volume schemes.
  • Xianlin Jin, Shuonan Wu
    Journal of Computational Mathematics. 2025, 43(1): 121-142. https://doi.org/10.4208/jcm.2309-m2023-0052
    In this paper, we propose two families of nonconforming finite elements on n-rectangle meshes of any dimension to solve the sixth-order elliptic equations. The unisolvent property and the approximation ability of the new finite element spaces are established. A new mechanism, called the exchange of sub-rectangles, for investigating the weak continuities of the proposed elements is discovered. With the help of some conforming relatives for the H3 problems, we establish the quasi-optimal error estimate for the triharmonic equation in the broken H3 norm of any dimension. The theoretical results are validated further by the numerical tests in both 2D and 3D situations.
  • Ang Ge, Jinye Shen, Lijun Yi
    Journal of Computational Mathematics. 2025, 43(1): 89-120. https://doi.org/10.4208/jcm.2308-m2023-0075
    This paper presents space-time continuous and time discontinuous Galerkin schemes for solving nonlinear time-fractional partial differential equations based on B-splines in time and non-uniform rational B-splines (NURBS) in space within the framework of Iso-geometric Analysis. The first approach uses the space-time continuous Petrov-Galerkin technique for a class of nonlinear time-fractional Sobolev-type equations and the optimal error estimates are obtained through a concise equivalence analysis. The second approach employs a generalizable time discontinuous Galerkin scheme for the time-fractional Allen-Cahn equation. It first transforms the equation into a time integral equation and then uses the discontinuous Galerkin method in time and the NURBS discretization in space. The optimal error estimates are provided for the approach. The convergence analysis under time graded meshes is also carried out, taking into account the initial singularity of the solution for two models. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed methods.
  • Cairong Chen, Dongmei Yu, Deren Han, Changfeng Ma
    Journal of Computational Mathematics. 2025, 43(2): 438-460. https://doi.org/10.4208/jcm.2211-m2022-0083
    The system of generalized absolute value equations (GAVE) has attracted more and more attention in the optimization community. In this paper, by introducing a smoothing function, we develop a smoothing Newton algorithm with non-monotone line search to solve the GAVE. We show that the non-monotone algorithm is globally and locally quadratically convergent under a weaker assumption than those given in most existing algorithms for solving the GAVE. Numerical results are given to demonstrate the viability and efficiency of the approach.
  • Diancong Jin
    Journal of Computational Mathematics. 2025, 43(3): 588-614. https://doi.org/10.4208/jcm.2311-m2023-0147
    This work focuses on the temporal average of the backward Euler-Maruyama (BEM) method, which is used to approximate the ergodic limit of stochastic ordinary differential equations (SODEs). We give the central limit theorem (CLT) of the temporal average of the BEM method, which characterizes its asymptotics in distribution. When the deviation order is smaller than the optimal strong order, we directly derive the CLT of the temporal average through that of original equations and the uniform strong order of the BEM method. For the case that the deviation order equals to the optimal strong order, the CLT is established via the Poisson equation associated with the generator of original equations. Numerical experiments are performed to illustrate the theoretical results. The main contribution of this work is to generalize the existing CLT of the temporal average of numerical methods to that for SODEs with super-linearly growing drift coefficients.
  • Liping Yin, Peng Li
    Journal of Computational Mathematics. 2025, 43(2): 461-492. https://doi.org/10.4208/jcm.2310-m2022-0282
    In this paper, we establish the oracle inequalities of highly corrupted linear observations $\mathbf{b}=\mathbf{A} \mathbf{x}_0+\mathbf{f}_0+\mathbf{e} \in \mathbb{R}^m$. Here the vector $\mathbf{x}_0 \in \mathbb{R}^n$ with $n \gg m$ is a (approximately) sparse signal and $\mathbf{f}_0 \in \mathbb{R}^m$ is a sparse error vector with nonzero entries that can be possible infinitely large, $\mathbf{e} \sim \mathcal{N}\left(\mathbf{0}, \sigma^2 \mathbf{I}_m\right)$ represents the Gaussian random noise vector. We extend the oracle inequality $\left\|\hat{\mathbf{x}}-\mathbf{x}_0\right\|_2^2 \lesssim \sum_i \min \left\{\left|x_0(i)\right|^2, \sigma^2\right\}$ for Dantzig selector and Lasso models in [E.J. Candès and T. Tao, Ann. Statist., 35 (2007), 2313-2351] and [T.T. Cai, L. Wang, and G. Xu, IEEE Trans. Inf. Theory, 56 (2010), 3516-3522] to $\left\|\hat{\mathbf{x}}-\mathbf{x}_0\right\|_2^2+\left\|\hat{\mathbf{f}}-\mathbf{f}_0\right\|_2^2 \lesssim \sum_i \min \left\{\left|x_0(i)\right|^2, \sigma^2\right\}+\sum_j \min \left\{\left|\lambda f_0(j)\right|^2, \sigma^2\right\}$ for the extended Dantzig selector and Lasso models. Here ( $\hat{\mathbf{x}}, \hat{\mathbf{f}}$ ) is the solution of the extended model, and $\lambda>0$ is the balance parameter between $\|\mathbf{x}\|_1$ and $\|\mathbf{f}\|_1$, i.e. $\|\mathbf{x}\|_1+\lambda\|\mathbf{f}\|_1$.
  • Roger Pettersson, Ali Sirma, Tarkan Aydin
    Journal of Computational Mathematics. 2025, 43(2): 369-393. https://doi.org/10.4208/jcm.2210-m2022-0057
    A time multipoint nonlocal problem for a Schrödinger equation driven by a cylindrical Q-Wiener process is presented. The initial value depends on a finite number of future values. Existence and uniqueness of a solution formulated as a mild solution is obtained. A single-step implicit Euler-Maruyama difference scheme, a Rothe-Maryuama scheme, is suggested as a numerical solution. Convergence rate for the solution of the difference scheme is established. The theoretical statements for the solution of this difference scheme is supported by a numerical example.
  • Hongjuan Zhang, Xiong Meng, Dazhi Zhang, Boying Wu
    Journal of Computational Mathematics. 2025, 43(1): 63-88. https://doi.org/10.4208/jcm.2307-m2022-0278
    In this paper, we investigate the local discontinuous Galerkin method with generalized numerical fluxes for one-dimensional nonlinear Korteweg-de Vries type equations. The numerical flux for the nonlinear convection term is chosen as the generalized Lax-Friedrichs flux, and the generalized alternating flux and upwind-biased flux are used for the dispersion term. The generalized Lax-Friedrichs flux with anti-dissipation property will compensate the numerical dissipation of the dispersion term, resulting in a nearly energy conservative scheme that is useful in resolving waves and is beneficial for long time simulations. To deal with the nonlinearity and different numerical flux weights, a suitable numerical initial condition is constructed, for which a modified global projection is designed. By establishing relationships between the prime variable and auxiliary variables in combination with sharp bounds for jump terms, optimal error estimates are obtained. Numerical experiments are shown to confirm the validity of theoretical results.
  • Kejia Pan, Xiaoxin Wu, Hongling Hu, Zhilin Li
    Journal of Computational Mathematics. 2025, 43(1): 18-42. https://doi.org/10.4208/jcm.2308-m2023-0029
    The aim of this paper is to develop a fast multigrid solver for interpolation-free finite volume (FV) discretization of anisotropic elliptic interface problems on general bounded domains that can be described as a union of blocks. We assume that the curved interface falls exactly on the boundaries of blocks. The transfinite interpolation technique is applied to generate block-wise distorted quadrilateral meshes, which can resolve the interface with fine geometric details. By an extensive study of the harmonic average point method, an interpolation-free nine-point FV scheme is then derived on such multi-block grids for anisotropic elliptic interface problems with non-homogeneous jump conditions. Moreover, for the resulting linear algebraic systems from cell-centered FV discretization, a high-order prolongation operator based fast cascadic multigrid solver is developed and shown to be robust with respect to both the problem size and the jump of the diffusion coefficients. Various non-trivial examples including four interface problems and an elliptic problem in complex domain without interface, all with tens of millions of unknowns, are provided to show that the proposed multigrid solver is dozens of times faster than the classical algebraic multigrid method as implemented in the code AMG1R5 by Stüben.
  • Xingyang Ye, Junying Cao, Chuanju Xu
    Journal of Computational Mathematics. 2025, 43(3): 615-640. https://doi.org/10.4208/jcm.2312-m2023-0098
    In this paper, we consider numerical solutions of the fractional diffusion equation with the α order time fractional derivative defined in the Caputo-Hadamard sense. A high order time-stepping scheme is constructed, analyzed, and numerically validated. The contribution of the paper is twofold: 1) regularity of the solution to the underlying equation is investigated, 2) a rigorous stability and convergence analysis for the proposed scheme is performed, which shows that the proposed scheme is 3 + α order accurate. Several numerical examples are provided to verify the theoretical statement.
  • Mariam Al-Maskari
    Journal of Computational Mathematics. 2025, 43(3): 569-587. https://doi.org/10.4208/jcm.2311-m2023-0047
    This paper investigates a semilinear stochastic fractional Rayleigh-Stokes equation featuring a Riemann-Liouville fractional derivative of order α ∈ (0, 1) in time and a fractional time-integral noise. The study begins with an examination of the solution’s existence, uniqueness, and regularity. The spatial discretization is then carried out using a finite element method, and the error estimate is analyzed. A convolution quadrature method generated by the backward Euler method is employed for the time discretization resulting in a fully discrete scheme. The error estimate for the fully discrete solution is considered based on the regularity of the solution, and a strong convergence rate is established. The paper concludes with numerical tests to validate the theoretical findings.