{"title":"Block Diagonalization of Block Circulant Quaternion Matrices and the Fast Calculation for T-Product of Quaternion Tensors","authors":"Meng-Meng Zheng, Guyan Ni","doi":"10.1007/s10915-024-02623-0","DOIUrl":"https://doi.org/10.1007/s10915-024-02623-0","url":null,"abstract":"<p>With quaternion matrices and quaternion tensors being gradually used in the color image and color video processing, the block diagonalization of block circulant quaternion matrices has become a key issue in the establishment of T-product based methods for quaternion tensors. Out of this consideration, we aim at establishing a fast calculation approach for the block diagonalization of block circulant quaternion matrices with the help of the fast Fourier transform (FFT). We first show that the discrete Fourier matrix <span>(mathbf {F_p})</span> cannot diagonalize <span>(ptimes p)</span> circulant quaternion matrices, nor can the unitary quaternion matrices <span>(mathbf {F_p}textbf{j})</span> and <span>(mathbf {F_p}(1+textbf{j})/sqrt{2})</span> with <span>(textbf{j})</span> being an imaginary unit of quaternion algebra. Then we prove that the unitary octonion matrix <span>(mathbf {F_p}textbf{p})</span> with <span>(textbf{p}=textbf{l},textbf{il})</span> or <span>((textbf{l}+textbf{il})/sqrt{2})</span> (<span>(textbf{l}, textbf{il})</span> being imaginary units of octonion algebra) can diagonalize a circulant quaternion matrix of size <span>(ptimes p)</span>, which further means that a block circulant quaternion matrix of size <span>(mptimes np)</span> can be block diagonalized at the cost of <span>(O(mnplog p))</span> via the FFT. As one of applications, we give a fast algorithm to speed up the calculation of the T-product between <span>(mtimes ntimes p)</span> and <span>(ntimes stimes p)</span> third-order quaternion tensors via FFTs, whose computational magnitude is almost 1/<i>p</i> of the original one. As another application, we propose an effective compression strategy for third-order quaternion tensors with a certain low-rankness. Simulations on the color image and color video compression demonstrate that our compression strategy with no QSVD involved, can achieve higher quality compression in terms of PSNR values at much less time costs, compared with the QSVD-based methods.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141738109","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 Solution Existence for Collocation Discretizations of Time-Fractional Subdiffusion Equations","authors":"Sebastian Franz, Natalia Kopteva","doi":"10.1007/s10915-024-02619-w","DOIUrl":"https://doi.org/10.1007/s10915-024-02619-w","url":null,"abstract":"<p>Time-fractional parabolic equations with a Caputo time derivative of order <span>(alpha in (0,1))</span> are discretized in time using continuous collocation methods. For such discretizations, we give sufficient conditions for existence and uniqueness of their solutions. Two approaches are explored: the Lax–Milgram Theorem and the eigenfunction expansion. The resulting sufficient conditions, which involve certain <span>(mtimes m)</span> matrices (where <i>m</i> is the order of the collocation scheme), are verified both analytically, for all <span>(mge 1)</span> and all sets of collocation points, and computationally, for all <span>( mle 20)</span>. The semilinear case is also addressed.\u0000</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745966","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":"A Structure-Preserving Semi-implicit IMEX Finite Volume Scheme for Ideal Magnetohydrodynamics at all Mach and Alfvén Numbers","authors":"Walter Boscheri, Andrea Thomann","doi":"10.1007/s10915-024-02606-1","DOIUrl":"https://doi.org/10.1007/s10915-024-02606-1","url":null,"abstract":"<p>We present a divergence-free semi-implicit finite volume scheme for the simulation of the ideal magnetohydrodynamics (MHD) equations which is stable for large time steps controlled by the local transport speed at all Mach and Alfvén numbers. An operator splitting technique allows to treat the convective terms explicitly while the hydrodynamic pressure and the magnetic field contributions are integrated implicitly, yielding two decoupled linear implicit systems. The linearity of the implicit part is achieved by means of a semi-implicit time linearization. This structure is favorable as second-order accuracy in time can be achieved relying on the class of semi-implicit IMplicit–EXplicit Runge–Kutta (IMEX-RK) methods. In space, implicit cell-centered finite difference operators are designed to discretely preserve the divergence-free property of the magnetic field on three-dimensional Cartesian meshes. The new scheme is also particularly well suited for low Mach number flows and for the incompressible limit of the MHD equations, since no explicit numerical dissipation is added to the implicit contribution and the time step is scale independent. Likewise, highly magnetized flows can benefit from the implicit treatment of the magnetic fluxes, hence improving the computational efficiency of the novel method. The convective terms undergo a shock-capturing second order finite volume discretization to guarantee the effectiveness of the proposed method even for high Mach number flows. The new scheme is benchmarked against a series of test cases for the ideal MHD equations addressing different acoustic and Alfvén Mach number regimes where the performance and the stability of the new scheme is assessed.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141719073","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}
Milene Santos, Adérito Araújo, S. Barbeiro, S. Clain, Ricardo Costa, Gaspar J. Machado
{"title":"Very High-Order Accurate Discontinuous Galerkin Method for Curved Boundaries with Polygonal Meshes","authors":"Milene Santos, Adérito Araújo, S. Barbeiro, S. Clain, Ricardo Costa, Gaspar J. Machado","doi":"10.1007/s10915-024-02613-2","DOIUrl":"https://doi.org/10.1007/s10915-024-02613-2","url":null,"abstract":"","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.8,"publicationDate":"2024-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141642648","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":"A Mass-Conservative Reduced-Order Algorithm in Solving Optimal Control of Convection-Diffusion Equation","authors":"Junpeng Song, Qiuqin Wu, Yi Shi","doi":"10.1007/s10915-024-02620-3","DOIUrl":"https://doi.org/10.1007/s10915-024-02620-3","url":null,"abstract":"<p>This paper introduces a novel approach, the mass-conservative reduced-order characteristic finite element (MCROCFE) method, designed for optimal control problem governed by convection-diffusion equation. The study delves into scenarios where the original state equation exhibits mass-conservation, yet the velocity field is non-divergence-free. The key points of emphasis are: (1) The method effectively addresses convection-dominated diffusion systems through the application of the characteristic technique; (2) Its efficiency is underscored by leveraging the proper orthogonal decomposition (POD) technique, significantly reducing the scale of solving algebraic equation systems; (3) The proposed scheme, based on the mass-conservative characteristic finite element (MCCFE) method framework and the classical POD technique with a slight adjustment to reduce-order space, maintains mass-conservation for the state variable. A priori error estimates are derived for the mass-conservative reduced-order scheme. Theoretical results are validated through numerical comparisons with the MCCFE method, emphasizing the mass-conservation, accuracy and efficiency of the MCROCFE method.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141609467","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":"A Preconditioned MINRES Method for Block Lower Triangular Toeplitz Systems","authors":"Congcong Li, Xuelei Lin, Sean Hon, Shu-Lin Wu","doi":"10.1007/s10915-024-02611-4","DOIUrl":"https://doi.org/10.1007/s10915-024-02611-4","url":null,"abstract":"<p>In this study, a novel preconditioner based on the absolute-value block <span>(alpha )</span>-circulant matrix approximation is developed, specifically designed for nonsymmetric dense block lower triangular Toeplitz (BLTT) systems that emerge from the numerical discretization of evolutionary equations. Our preconditioner is constructed by taking an absolute-value of a block <span>(alpha )</span>-circulant matrix approximation to the BLTT matrix. To apply our preconditioner, the original BLTT linear system is converted into a symmetric form by applying a time-reversing permutation transformation. Then, with our preconditioner, the preconditioned minimal residual method (MINRES) solver is employed to solve the symmetrized linear system. With properly chosen <span>(alpha )</span>, the eigenvalues of the preconditioned matrix are proven to be clustered around <span>(pm 1)</span> without any significant outliers. With the clustered spectrum, we show that the preconditioned MINRES solver for the preconditioned system has a convergence rate independent of system size. The efficacy of the proposed preconditioner is corroborated by our numerical experiments, which reveal that it attains optimal convergence.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141614425","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":"Stability Analysis and Error Estimate of the Explicit Single-Step Time-Marching Discontinuous Galerkin Methods with Stage-Dependent Numerical Flux Parameters for a Linear Hyperbolic Equation in One Dimension","authors":"Yuan Xu, Chi-Wang Shu, Qiang Zhang","doi":"10.1007/s10915-024-02621-2","DOIUrl":"https://doi.org/10.1007/s10915-024-02621-2","url":null,"abstract":"<p>In this paper, we present the <span>(hbox {L}^2)</span>-norm stability analysis and error estimate for the explicit single-step time-marching discontinuous Galerkin (DG) methods with stage-dependent numerical flux parameters, when solving a linear constant-coefficient hyperbolic equation in one dimension. Two well-known examples of this method include the Runge–Kutta DG method with the downwind treatment for the negative time marching coefficients, as well as the Lax–Wendroff DG method with arbitrary numerical flux parameters to deal with the auxiliary variables. The stability analysis framework is an extension and an application of the matrix transferring process based on the temporal differences of stage solutions, and a new concept, named as the averaged numerical flux parameter, is proposed to reveal the essential upwind mechanism in the fully discrete status. Distinguished from the traditional analysis, we have to present a novel way to obtain the optimal error estimate in both space and time. The main tool is a series of space–time approximation functions for a given spatial function, which preserve the local structure of the fully discrete schemes and the balance of exact evolution under the control of the partial differential equation. Finally some numerical experiments are given to validate the theoretical results proposed in this paper.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141614426","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":"Superconvergence Analysis of a Robust Orthogonal Gauss Collocation Method for 2D Fourth-Order Subdiffusion Equations","authors":"Xuehua Yang, Zhimin Zhang","doi":"10.1007/s10915-024-02616-z","DOIUrl":"https://doi.org/10.1007/s10915-024-02616-z","url":null,"abstract":"<p>In this paper, we study the orthogonal Gauss collocation method (OGCM) with an arbitrary polynomial degree for the numerical solution of a two-dimensional (2D) fourth-order subdiffusion model. This numerical method involves solving a coupled system of partial differential equations by using OGCM in space together with the L1 scheme in time on a graded mesh. The approximations <span>(w^n_h)</span> and <span>(v^n_h)</span> of <span>(w(cdot , t_n))</span> and <span>(varDelta w(cdot , t_n))</span> are constructed. The stability of <span>(w^n_h)</span> and <span>(v^n_h)</span> are proved, and the a priori bounds of <span>(Vert w^n_hVert )</span> and <span>(Vert v^n_hVert )</span> are established, remaining <span>(alpha )</span>-robust as <span>(alpha rightarrow 1^{-})</span>. Then, the error <span>(Vert w(cdot , t_n)- w^n_hVert )</span> and <span>(Vert varDelta w(cdot , t_n)-v^n_hVert )</span> are estimated with <span>(alpha )</span>-robust at each time level. In addition, superconvergence results of the first-order and second-order derivative approximations are proved. These new error bounds are desirable and natural, as that they are optimal in both temporal and spatial mesh parameters for each fixed <span>(alpha )</span>. Finally some numerical results are provided to support our theoretical findings.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141609468","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}
Giulia Bertaglia, Lorenzo Pareschi, Russel E. Caflisch
{"title":"Gradient-Based Monte Carlo Methods for Relaxation Approximations of Hyperbolic Conservation Laws","authors":"Giulia Bertaglia, Lorenzo Pareschi, Russel E. Caflisch","doi":"10.1007/s10915-024-02614-1","DOIUrl":"https://doi.org/10.1007/s10915-024-02614-1","url":null,"abstract":"<p>Particle methods based on evolving the spatial derivatives of the solution were originally introduced to simulate reaction-diffusion processes, inspired by vortex methods for the Navier–Stokes equations. Such methods, referred to as gradient random walk methods, were extensively studied in the ’90s and have several interesting features, such as being grid-free, automatically adapting to the solution by concentrating elements where the gradient is large, and significantly reducing the variance of the standard random walk approach. In this work, we revive these ideas by showing how to generalize the approach to a larger class of partial differential equations, including hyperbolic systems of conservation laws. To achieve this goal, we first extend the classical Monte Carlo method to relaxation approximation of systems of conservation laws, and subsequently consider a novel particle dynamics based on the spatial derivatives of the solution. The methodology, combined with asymptotic-preserving splitting discretization, yields a way to construct a new class of gradient-based Monte Carlo methods for hyperbolic systems of conservation laws. Several results in one spatial dimension for scalar equations and systems of conservation laws show that the new methods are very promising and yield remarkable improvements compared to standard Monte Carlo approaches, either in terms of variance reduction as well as in describing the shock structure.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587806","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":"Weakly Compressible Two-Layer Shallow-Water Flows Along Channels","authors":"Sarswati Shah, Gerardo Hernández-Dueñas","doi":"10.1007/s10915-024-02608-z","DOIUrl":"https://doi.org/10.1007/s10915-024-02608-z","url":null,"abstract":"<p>In this paper, we formulate a model for weakly compressible two-layer shallow water flows with friction in general channels. The formulated model is non-conservative, and in contrast to the incompressible limit, our system is strictly hyperbolic. The generalized Rankine–Hugoniot conditions are provided for the present system with non-conservative products to define weak solutions. We write the Riemann invariants along each characteristic field for channels with constant width in an appendix. A robust well-balanced path-conservative semi-discrete central-upwind scheme is proposed and implemented to validate exact solutions to the Riemann problem. We also present numerical tests in general channels to show the merits of the scheme.</p>","PeriodicalId":50055,"journal":{"name":"Journal of Scientific Computing","volume":null,"pages":null},"PeriodicalIF":2.5,"publicationDate":"2024-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141587807","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}