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

15 March 2025, Volume 43 Issue 2
    

  • Select all
    |
  • Jing Sun, Daxin Nie, Weihua Deng
    Journal of Computational Mathematics. 2025, 43(2): 257-279. https://doi.org/10.4208/jcm.2206-m2022-0054
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • Jiyong Li
    Journal of Computational Mathematics. 2025, 43(2): 280-314. https://doi.org/10.4208/jcm.2310-m2022-0141
    Abstract ( ) Download PDF   Knowledge map   Save
    Recently, the numerical methods for long-time dynamics of PDEs with weak nonlinearity have received more and more attention. For the nonlinear Schrödinger equation (NLS) with wave operator (NLSW) and weak nonlinearity controlled by a small value ε ∈ (0, 1], an exponential wave integrator Fourier pseudo-spectral (EWIFP) discretization has been developed (Guo et al., 2021) and proved to be uniformly accurate about ε up to the time at $\mathcal{O}$(1/ε2). However, the EWIFP method is not time symmetric and can not preserve the discrete energy. As we know, the time symmetry and energy-preservation are the important structural features of the true solution and we hope that this structure can be inherited along the numerical solution. In this work, we propose a time symmetric and energy-preserving exponential wave integrator Fourier pseudo-spectral (SEPEWIFP) method for the NLSW with periodic boundary conditions. Through rigorous error analysis, we establish uniform error bounds of the numerical solution at $\mathcal{O}$(hm0 + ε2-βτ2) up to the time at $\mathcal{O}$(1/εβ) for β ∈ [0, 2], where h and τ are the mesh size and time step, respectively, and m0 depends on the regularity conditions. The tools for error analysis mainly include cut-off technique and the standard energy method. We also extend the results on error bounds, energy-preservation and time symmetry to the oscillatory NLSW with wavelength at $\mathcal{O}$(ε2) in time which is equivalent to the NLSW with weak nonlinearity. Numerical experiments confirm that the theoretical results in this paper are correct. Our method is novel because that to the best of our knowledge there has not been any energy-preserving exponential wave integrator method for the NLSW.
  • Jiani Wang, Liwei Zhang
    Journal of Computational Mathematics. 2025, 43(2): 315-344. https://doi.org/10.4208/jcm.2208-m2022-0035
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • Jiliang Cao, Aiguo Xiao, Wansheng Wang
    Journal of Computational Mathematics. 2025, 43(2): 345-368. https://doi.org/10.4208/jcm.2210-m2022-0085
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • Roger Pettersson, Ali Sirma, Tarkan Aydin
    Journal of Computational Mathematics. 2025, 43(2): 369-393. https://doi.org/10.4208/jcm.2210-m2022-0057
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • Yanli Cui, Fenglong Qu, Xiliang Li
    Journal of Computational Mathematics. 2025, 43(2): 394-412. https://doi.org/10.4208/jcm.2210-m2022-0002
    Abstract ( ) Download PDF   Knowledge map   Save
    This paper is concerned with the inverse problem of scattering of time-harmonic acoustic waves by an inhomogeneous cavity. We shall develop a modified factorization method to reconstruct the shape and location of the interior interface of the inhomogeneous cavity by means of many internal measurements of the near-field data. Numerical examples are carried out to illustrate the practicability of the inversion algorithm.
  • Zhoufeng Wang, Muhua Liu
    Journal of Computational Mathematics. 2025, 43(2): 413-437. https://doi.org/10.4208/jcm.2305-m2022-0234
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • 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
    Abstract ( ) Download PDF   Knowledge map   Save
    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.
  • Liping Yin, Peng Li
    Journal of Computational Mathematics. 2025, 43(2): 461-492. https://doi.org/10.4208/jcm.2310-m2022-0282
    Abstract ( ) Download PDF   Knowledge map   Save
    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$.
  • Jinming Wen
    Journal of Computational Mathematics. 2025, 43(2): 493-514. https://doi.org/10.4208/jcm.2308-m2023-0044
    Abstract ( ) Download PDF   Knowledge map   Save
    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.