{"title":"High-Order BDF Convolution Quadrature for Fractional Evolution Equations with Hyper-singular Source Term","authors":"Jiankang Shi, Minghua Chen, Jianxiong Cao","doi":"10.1007/s10915-024-02641-y","DOIUrl":"https://doi.org/10.1007/s10915-024-02641-y","url":null,"abstract":"<p>Anomalous diffusion in the presence or absence of an external force field is often modelled in terms of the fractional evolution equations, which can involve the hyper-singular source term. For this case, conventional time stepping methods may exhibit a severe order reduction. Although a second-order numerical algorithm is provided for the subdiffusion model with a simple hyper-singular source term <span>(t^{mu })</span>, <span>(-2<mu <-1)</span> in [arXiv:2207.08447], the convergence analysis remain to be proved. To fill in these gaps, we present a simple and robust smoothing method for the hyper-singular source term, where the Hadamard finite-part integral is introduced. This method is based on the smoothing/ID<i>m</i>-BDF<i>k</i> method proposed by Shi and Chen (SIAM J Numer Anal 61:2559–2579, 2023) for the subdiffusion equation with a weakly singular source term. We prove that the <i>k</i>th-order convergence rate can be restored for the diffusion-wave case <span>(gamma in (1,2))</span> and sketch the proof for the subdiffusion case <span>(gamma in (0,1))</span>, even if the source term is hyper-singular and the initial data is not compatible. Numerical experiments are provided to confirm the theoretical results.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"390 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Convergence Analysis for the Wave Equation Discretized with Hybrid Methods in Space (HHO, HDG and WG) and the Leapfrog Scheme in Time","authors":"Alexandre Ern, Morgane Steins","doi":"10.1007/s10915-024-02609-y","DOIUrl":"https://doi.org/10.1007/s10915-024-02609-y","url":null,"abstract":"<p>We prove the optimal convergence in space and time for the linear acoustic wave equation in its second-order formulation in time, using the hybrid high-order method for space discretization and the leapfrog (central finite difference) scheme for time discretization. The proof hinges on energy arguments similar to those classically deployed in the context of continuous finite elements or discontinuous Galerkin methods, but some novel ideas need to be introduced to handle the static coupling between cell and face unknowns. Because of the close ties between the methods, the present proof can be readily extended to cover space semi-disretization using the hybridizable discontinuous Galerkin method and the weak Galerkin method.\u0000</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"88 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Local Discontinuous Galerkin Methods with Multistep Implicit–Explicit Time Discretization for Nonlinear Schrödinger Equations","authors":"Ying Li, Hui Shi, Xinghui Zhong","doi":"10.1007/s10915-024-02647-6","DOIUrl":"https://doi.org/10.1007/s10915-024-02647-6","url":null,"abstract":"<p>In this paper, we investigate the local discontinuous Galerkin (LDG) methods coupled with multistep implicit–explicit (IMEX) time discretization to solve one-dimensional and two-dimensional nonlinear Schrödinger equations. In this approach, the nonlinear terms are treated explicitly, while the linear terms are handled implicitly. By the skew symmetry property of LDG operators and the properties of Gauss–Radau projections, we obtain error estimates for the prime and auxiliary variables, as well as the estimate for the time difference of the prime variables. These results, together with a carefully chosen numerical initial condition, allow us to obtain the optimal error estimate in both space and time for the fully discrete scheme. Numerical experiments are performed to verify the accuracy and efficiency of the proposed methods.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"23 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Muhammad Mohebujjaman, Julian Miranda, Md. Abdullah Al Mahbub, Mengying Xiao
{"title":"An Efficient and Accurate Penalty-projection Eddy Viscosity Algorithm for Stochastic Magnetohydrodynamic Flow Problems","authors":"Muhammad Mohebujjaman, Julian Miranda, Md. Abdullah Al Mahbub, Mengying Xiao","doi":"10.1007/s10915-024-02633-y","DOIUrl":"https://doi.org/10.1007/s10915-024-02633-y","url":null,"abstract":"<p>We propose, analyze, and test a penalty projection-based robust efficient and accurate algorithm for the Uncertainty Quantification (UQ) of the time-dependent Magnetohydrodynamic (MHD) flow problems in convection-dominated regimes. The algorithm uses the Elsässer variables formulation and discrete Hodge decomposition to decouple the stochastic MHD system into four sub-problems (at each time-step for each realization) which are much easier to solve than solving the coupled saddle point problems. Each of the sub-problems is designed in a sophisticated way so that at each time-step the system matrix remains the same for all the realizations but with different right-hand-side vectors which allows saving a huge amount of computer memory and computational time. Moreover, the scheme is equipped with Ensemble Eddy Viscosity (EEV) and grad-div stabilization terms. The unconditional stability with respect to the time-step size of the algorithm is proven rigorously. We prove the proposed scheme converges to an equivalent non-projection-based coupled MHD scheme for large grad-div stabilization parameter values. We examine how Stochastic Collocation Methods (SCMs) can be combined with the proposed penalty projection UQ algorithm. Finally, a series of numerical experiments are given which verify the predicted convergence rates, show the algorithm’s performance on benchmark channel flow over a rectangular step, a regularized lid-driven cavity problem with high random Reynolds number and high random magnetic Reynolds number, and the impact of the EEV stabilization in the MHD UQ algorithm.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"24 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Riemannian Newton Methods for Energy Minimization Problems of Kohn–Sham Type","authors":"R. Altmann, D. Peterseim, T. Stykel","doi":"10.1007/s10915-024-02612-3","DOIUrl":"https://doi.org/10.1007/s10915-024-02612-3","url":null,"abstract":"<p>This paper is devoted to the numerical solution of constrained energy minimization problems arising in computational physics and chemistry such as the Gross–Pitaevskii and Kohn–Sham models. In particular, we introduce Riemannian Newton methods on the infinite-dimensional Stiefel and Grassmann manifolds. We study the geometry of these two manifolds, its impact on the Newton algorithms, and present expressions of the Riemannian Hessians in the infinite-dimensional setting, which are suitable for variational spatial discretizations. A series of numerical experiments illustrates the performance of the methods and demonstrates their supremacy compared to other well-established schemes such as the self-consistent field iteration and gradient descent schemes.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"65 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183503","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Youngsoo Ha, Chang Ho Kim, Hyoseon Yang, Jungho Yoon
{"title":"A New Alternative WENO Scheme Based on Exponential Polynomial Interpolation with an Improved Order of Accuracy","authors":"Youngsoo Ha, Chang Ho Kim, Hyoseon Yang, Jungho Yoon","doi":"10.1007/s10915-024-02635-w","DOIUrl":"https://doi.org/10.1007/s10915-024-02635-w","url":null,"abstract":"<p>In this study, we present a new alternative formulation of a conservative weighted essentially non-oscillatory (WENO) scheme that improves the performance of the known fifth-order alternative WENO (AWENO) schemes. In the formulation of the fifth-order AWENO scheme, the numerical flux can be written in two terms: a low-order flux and a high-order correction flux. The low-order numerical flux is constructed by a fifth-order WENO interpolator, and the high-order correction flux includes terms of the second and fourth derivatives, yielding the sixth-order truncation error. Noticing the difference in the convergence rates between these two approximations, this study first aims to fill the accuracy gap by enhancing the approximation order of the low-order numerical flux. To this end, the WENO interpolator for the low-order term is implemented using exponential polynomials with a shape parameter. Selecting a locally optimized shape parameter, the proposed WENO interpolator achieves an additional order of improvement, resulting in the overall sixth order of accuracy of the final reconstruction, under the same fifth-order AWENO framework. In addition, since a linear approximation to the high-order correction term may cause some oscillations in the vicinity of strong shocks, we present a new strategy for the limiting procedure to deal with the second derivative term in the high-order correction flux. Several numerical results for the well-known benchmark test problems confirm the reliability of our AWENO method.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"1 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quaternion Tensor Left Ring Decomposition and Application for Color Image Inpainting","authors":"Jifei Miao, Kit Ian Kou, Hongmin Cai, Lizhi Liu","doi":"10.1007/s10915-024-02624-z","DOIUrl":"https://doi.org/10.1007/s10915-024-02624-z","url":null,"abstract":"<p>In recent years, tensor networks have emerged as powerful tools for solving large-scale optimization problems. One of the most promising tensor networks is the tensor ring (TR) decomposition, which achieves circular dimensional permutation invariance in the model through the utilization of the trace operation and equitable treatment of the latent cores. On the other hand, more recently, quaternions have gained significant attention and have been widely utilized in color image processing tasks due to their effectiveness in encoding color pixels by considering the three color channels as a unified entity. Therefore, in this paper, based on the left quaternion matrix multiplication, we propose the quaternion tensor left ring (QTLR) decomposition, which inherits the powerful and generalized representation abilities of the TR decomposition while leveraging the advantages of quaternions for color pixel representation. In addition to providing the definition of QTLR decomposition and an algorithm for learning the QTLR format, the paper further proposes a low-rank quaternion tensor completion (LRQTC) model and its algorithm for color image inpainting based on the defined QTLR decomposition. Finally, extensive experiments on color image inpainting demonstrate that the proposed LRQTC method is highly competitive.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"23 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Spectrally Constrained Optimization","authors":"Casey Garner, Gilad Lerman, Shuzhong Zhang","doi":"10.1007/s10915-024-02636-9","DOIUrl":"https://doi.org/10.1007/s10915-024-02636-9","url":null,"abstract":"<p>We investigate how to solve smooth matrix optimization problems with general linear inequality constraints on the eigenvalues of a symmetric matrix. We present solution methods to obtain exact global minima for linear objective functions, i.e., <span>(F(varvec{X}) = langle varvec{C}, varvec{X}rangle )</span>, and perform exact projections onto the eigenvalue constraint set. Two first-order algorithms are developed to obtain first-order stationary points for general non-convex objective functions. Both methods are proven to converge sublinearly when the constraint set is convex. Numerical experiments demonstrate the applicability of both the model and the methods.\u0000</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"198 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141944417","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Preconditioned Nonsymmetric/Symmetric Discontinuous Galerkin Method for Elliptic Problem with Reconstructed Discontinuous Approximation","authors":"Ruo Li, Qicheng Liu, Fanyi Yang","doi":"10.1007/s10915-024-02639-6","DOIUrl":"https://doi.org/10.1007/s10915-024-02639-6","url":null,"abstract":"<p>In this paper, we propose and analyze an efficient preconditioning method for the elliptic problem based on the reconstructed discontinuous approximation method. This method is originally proposed in Li et al. (J Sci Comput 80(1):268–288, 2019) that an arbitrarily high-order approximation space with one unknown per element is reconstructed by solving a local least squares fitting problem. This space can be directly used with the symmetric/nonsymmetric interior penalty discontinuous Galerkin methods. The least squares problem is modified in this paper, which allows us to establish a norm equivalence result between the reconstructed high-order space and the piecewise constant space. This property further inspires us to construct a preconditioner from the piecewise constant space. The preconditioner is shown to be optimal that the upper bound of the condition number to the preconditioned symmetric/nonsymmetric system is independent of the mesh size. In addition, we can enjoy the advantage on the efficiency of the approximation in number of degrees of freedom compared with the standard DG method. Numerical experiments are provided to demonstrate the validity of the theory and the efficiency of the proposed method.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"41 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141944493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the Global Complexity of a Derivative-Free Levenberg-Marquardt Algorithm via Orthogonal Spherical Smoothing","authors":"Xi Chen, Jinyan Fan","doi":"10.1007/s10915-024-02649-4","DOIUrl":"https://doi.org/10.1007/s10915-024-02649-4","url":null,"abstract":"<p>In this paper, we propose a derivative-free Levenberg-Marquardt algorithm for nonlinear least squares problems, where the Jacobian matrices are approximated via orthogonal spherical smoothing. It is shown that the gradient models which use the approximate Jacobian matrices are probabilistically first-order accurate. The high probability complexity bound of the algorithm is also given.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":"13 1","pages":""},"PeriodicalIF":2.5,"publicationDate":"2024-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141944489","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}