Pub Date : 2024-01-04DOI: 10.1007/s10543-023-01003-8
Sergio Amat, David Levin, Juan Ruiz-Álvarez, Dionisio F. Yáñez
Linear approximation methods suffer from Gibbs oscillations when approximating functions with jumps. Essentially non oscillatory subcell-resolution (ENO-SR) is a local technique avoiding oscillations and with a full order of accuracy, but a loss of regularity of the approximant appears. The goal of this paper is to introduce a new approach having both properties of full accuracy and regularity. In order to obtain it, we propose a three-stage algorithm: first, the data is smoothed by subtracting an appropriate non-smooth data sequence; then a chosen high order linear approximation operator is applied to the smoothed data and finally, an approximation with the proper jump or corner (jump in the first order derivative) discontinuity structure is reinstated by correcting the smooth approximation with the non-smooth element used in the first stage. This new procedure can be applied as subdivision scheme to design curves and surfaces both in point-value and in cell-average contexts. Using the proposed algorithm, we are able to construct approximations with high precision, with high piecewise regularity, and without smearing nor oscillations in the presence of discontinuities. These are desired properties in real applications as computer aided design or car design, among others.
{"title":"A regularization–correction approach for adapting subdivision schemes to the presence of discontinuities","authors":"Sergio Amat, David Levin, Juan Ruiz-Álvarez, Dionisio F. Yáñez","doi":"10.1007/s10543-023-01003-8","DOIUrl":"https://doi.org/10.1007/s10543-023-01003-8","url":null,"abstract":"<p>Linear approximation methods suffer from Gibbs oscillations when approximating functions with jumps. Essentially non oscillatory subcell-resolution (ENO-SR) is a local technique avoiding oscillations and with a full order of accuracy, but a loss of regularity of the approximant appears. The goal of this paper is to introduce a new approach having both properties of full accuracy and regularity. In order to obtain it, we propose a three-stage algorithm: first, the data is smoothed by subtracting an appropriate non-smooth data sequence; then a chosen high order linear approximation operator is applied to the smoothed data and finally, an approximation with the proper jump or corner (jump in the first order derivative) discontinuity structure is reinstated by correcting the smooth approximation with the non-smooth element used in the first stage. This new procedure can be applied as subdivision scheme to design curves and surfaces both in point-value and in cell-average contexts. Using the proposed algorithm, we are able to construct approximations with high precision, with high piecewise regularity, and without smearing nor oscillations in the presence of discontinuities. These are desired properties in real applications as computer aided design or car design, among others.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2024-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139094502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-09-03DOI: 10.1007/s10543-024-01034-9
Kristof Cools, Carolina Urzúa-Torres
A preconditioner is proposed for Laplace exterior boundary value problems on multi-screens. To achieve this, the quotient-space boundary element method and operator preconditioning are combined. For a fairly general subclass of multi-screens, it is shown that this approach paves the way for block diagonal Calderón preconditioners which achieve a spectral condition number that grows only logarithmically with decreasing mesh size, just as in the case of simple screens. Since the resulting scheme contains many more degrees of freedom than strictly required, strategies are presented to remove almost all redundancy without significant loss of effectiveness of the preconditioner. The performance of this method is verified by providing representative numerical results. Further numerical experiments suggest that these results can be extended to a much wider class of multi-screens that cover essentially all geometries encountered in practice, leading to a significantly reduced simulation cost.
{"title":"Block diagonal Calderón preconditioning for scattering at multi-screens.","authors":"Kristof Cools, Carolina Urzúa-Torres","doi":"10.1007/s10543-024-01034-9","DOIUrl":"https://doi.org/10.1007/s10543-024-01034-9","url":null,"abstract":"<p><p>A preconditioner is proposed for Laplace exterior boundary value problems on multi-screens. To achieve this, the quotient-space boundary element method and operator preconditioning are combined. For a fairly general subclass of multi-screens, it is shown that this approach paves the way for block diagonal Calderón preconditioners which achieve a spectral condition number that grows only logarithmically with decreasing mesh size, just as in the case of simple screens. Since the resulting scheme contains many more degrees of freedom than strictly required, strategies are presented to remove almost all redundancy without significant loss of effectiveness of the preconditioner. The performance of this method is verified by providing representative numerical results. Further numerical experiments suggest that these results can be extended to a much wider class of multi-screens that cover essentially all geometries encountered in practice, leading to a significantly reduced simulation cost.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11371888/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142141768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-06-17DOI: 10.1007/s10543-024-01028-7
Axel Séguin, Gianluca Ceruti, Daniel Kressner
In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for other computational tasks on manifold as well, including interpolation tasks. In this work, we consider the application of retractions to the numerical integration of differential equations on fixed-rank matrix manifolds. This is closely related to dynamical low-rank approximation (DLRA) techniques. In fact, any retraction leads to a numerical integrator and, vice versa, certain DLRA techniques bear a direct relation with retractions. As an example for the latter, we introduce a new retraction, called KLS retraction, that is derived from the so-called unconventional integrator for DLRA. We also illustrate how retractions can be used to recover known DLRA techniques and to design new ones. In particular, this work introduces two novel numerical integration schemes that apply to differential equations on general manifolds: the accelerated forward Euler (AFE) method and the Projected Ralston-Hermite (PRH) method. Both methods build on retractions by using them as a tool for approximating curves on manifolds. The two methods are proven to have local truncation error of order three. Numerical experiments on classical DLRA examples highlight the advantages and shortcomings of these new methods.
{"title":"From low-rank retractions to dynamical low-rank approximation and back.","authors":"Axel Séguin, Gianluca Ceruti, Daniel Kressner","doi":"10.1007/s10543-024-01028-7","DOIUrl":"10.1007/s10543-024-01028-7","url":null,"abstract":"<p><p>In algorithms for solving optimization problems constrained to a smooth manifold, retractions are a well-established tool to ensure that the iterates stay on the manifold. More recently, it has been demonstrated that retractions are a useful concept for other computational tasks on manifold as well, including interpolation tasks. In this work, we consider the application of retractions to the numerical integration of differential equations on fixed-rank matrix manifolds. This is closely related to dynamical low-rank approximation (DLRA) techniques. In fact, any retraction leads to a numerical integrator and, vice versa, certain DLRA techniques bear a direct relation with retractions. As an example for the latter, we introduce a new retraction, called KLS retraction, that is derived from the so-called unconventional integrator for DLRA. We also illustrate how retractions can be used to recover known DLRA techniques and to design new ones. In particular, this work introduces two novel numerical integration schemes that apply to differential equations on general manifolds: the accelerated forward Euler (AFE) method and the Projected Ralston-Hermite (PRH) method. Both methods build on retractions by using them as a tool for approximating curves on manifolds. The two methods are proven to have local truncation error of order three. Numerical experiments on classical DLRA examples highlight the advantages and shortcomings of these new methods.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11182878/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141428320","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-07-15DOI: 10.1007/s10543-024-01033-w
Daniel Kressner, Bor Plestenjak
The numerical solution of the generalized eigenvalue problem for a singular matrix pencil is challenging due to the discontinuity of its eigenvalues. Classically, such problems are addressed by first extracting the regular part through the staircase form and then applying a standard solver, such as the QZ algorithm, to that regular part. Recently, several novel approaches have been proposed to transform the singular pencil into a regular pencil by relatively simple randomized modifications. In this work, we analyze three such methods by Hochstenbach, Mehl, and Plestenjak that modify, project, or augment the pencil using random matrices. All three methods rely on the normal rank and do not alter the finite eigenvalues of the original pencil. We show that the eigenvalue condition numbers of the transformed pencils are unlikely to be much larger than the -weak eigenvalue condition numbers, introduced by Lotz and Noferini, of the original pencil. This not only indicates favorable numerical stability but also reconfirms that these condition numbers are a reliable criterion for detecting simple finite eigenvalues. We also provide evidence that, from a numerical stability perspective, the use of complex instead of real random matrices is preferable even for real singular matrix pencils and real eigenvalues. As a side result, we provide sharp left tail bounds for a product of two independent random variables distributed with the generalized beta distribution of the first kind or Kumaraswamy distribution.
{"title":"Analysis of eigenvalue condition numbers for a class of randomized numerical methods for singular matrix pencils.","authors":"Daniel Kressner, Bor Plestenjak","doi":"10.1007/s10543-024-01033-w","DOIUrl":"https://doi.org/10.1007/s10543-024-01033-w","url":null,"abstract":"<p><p>The numerical solution of the generalized eigenvalue problem for a singular matrix pencil is challenging due to the discontinuity of its eigenvalues. Classically, such problems are addressed by first extracting the regular part through the staircase form and then applying a standard solver, such as the QZ algorithm, to that regular part. Recently, several novel approaches have been proposed to transform the singular pencil into a regular pencil by relatively simple randomized modifications. In this work, we analyze three such methods by Hochstenbach, Mehl, and Plestenjak that modify, project, or augment the pencil using random matrices. All three methods rely on the normal rank and do not alter the finite eigenvalues of the original pencil. We show that the eigenvalue condition numbers of the transformed pencils are unlikely to be much larger than the <math><mi>δ</mi></math> -weak eigenvalue condition numbers, introduced by Lotz and Noferini, of the original pencil. This not only indicates favorable numerical stability but also reconfirms that these condition numbers are a reliable criterion for detecting simple finite eigenvalues. We also provide evidence that, from a numerical stability perspective, the use of complex instead of real random matrices is preferable even for real singular matrix pencils and real eigenvalues. As a side result, we provide sharp left tail bounds for a product of two independent random variables distributed with the generalized beta distribution of the first kind or Kumaraswamy distribution.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11249782/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141635867","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-29DOI: 10.1007/s10543-023-01001-w
Fredrik Hellman, Axel Målqvist, Malin Mosquera
In this article, a mixed dimensional elliptic partial differential equation is considered, posed in a bulk domain with a large number of embedded interfaces. In particular, well-posedness of the problem and regularity of the solution are studied. A fitted finite element approximation is also proposed and an a priori error bound is proved. For the solution of the arising linear system, an iterative method based on subspace decomposition is proposed and analyzed. Finally, numerical experiments are presented and rapid convergence using the proposed preconditioner is achieved, confirming the theoretical findings.
{"title":"Well-posedness and finite element approximation of mixed dimensional partial differential equations","authors":"Fredrik Hellman, Axel Målqvist, Malin Mosquera","doi":"10.1007/s10543-023-01001-w","DOIUrl":"https://doi.org/10.1007/s10543-023-01001-w","url":null,"abstract":"<p>In this article, a mixed dimensional elliptic partial differential equation is considered, posed in a bulk domain with a large number of embedded interfaces. In particular, well-posedness of the problem and regularity of the solution are studied. A fitted finite element approximation is also proposed and an a priori error bound is proved. For the solution of the arising linear system, an iterative method based on subspace decomposition is proposed and analyzed. Finally, numerical experiments are presented and rapid convergence using the proposed preconditioner is achieved, confirming the theoretical findings.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2023-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139070858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-27DOI: 10.1007/s10543-023-01000-x
Shounian Deng, Chen Fei, Weiyin Fei, Xuerong Mao
The well-known Ait-Sahalia-type interest model, arising in mathematical finance, has some typical features: polynomial drift that blows up at the origin, highly nonlinear diffusion, and positive solution. The known explicit numerical methods including truncated/tamed Euler–Maruyama (EM) applied to it do not preserve its positivity. The main interest of this work is to investigate the numerical conservation of positivity of the solution of generalised Ait-Sahalia-type model. By modifying the truncated EM method to generate positive sequences of numerical approximations, we obtain the rate of convergence of the numerical algorithm not only at time T but also over the time interval [0, T]. Numerical experiments confirm the theoretical results.
{"title":"Positivity-preserving truncated Euler–Maruyama method for generalised Ait-Sahalia-type interest model","authors":"Shounian Deng, Chen Fei, Weiyin Fei, Xuerong Mao","doi":"10.1007/s10543-023-01000-x","DOIUrl":"https://doi.org/10.1007/s10543-023-01000-x","url":null,"abstract":"<p>The well-known Ait-Sahalia-type interest model, arising in mathematical finance, has some typical features: polynomial drift that blows up at the origin, highly nonlinear diffusion, and positive solution. The known explicit numerical methods including truncated/tamed Euler–Maruyama (EM) applied to it do not preserve its positivity. The main interest of this work is to investigate the numerical conservation of positivity of the solution of generalised Ait-Sahalia-type model. By modifying the truncated EM method to generate positive sequences of numerical approximations, we obtain the rate of convergence of the numerical algorithm not only at time <i>T</i> but also over the time interval [0, <i>T</i>]. Numerical experiments confirm the theoretical results.</p>","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":1.5,"publicationDate":"2023-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138503713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-10DOI: 10.1007/s10543-023-00999-3
Malak Diab, Andreas Frommer, Karsten Kahl
Abstract For several classes of mathematical models that yield linear systems, the splitting of the matrix into its Hermitian and skew Hermitian parts is naturally related to properties of the underlying model. This is particularly so for discretizations of dissipative Hamiltonian ODEs, DAEs and port-Hamiltonian systems where, in addition, the Hermitian part is positive definite or semi-definite. It is then possible to develop short recurrence optimal Krylov subspace methods in which the Hermitian part is used as a preconditioner. In this paper, we develop new, right preconditioned variants of this approach which, as their crucial new feature, allow the systems with the Hermitian part to be solved only approximately in each iteration while keeping the short recurrences. This new class of methods is particularly efficient as it allows, for example, to use few steps of a multigrid solver or a (preconditioned) CG method for the Hermitian part in each iteration. We illustrate this with several numerical experiments for large scale systems.
{"title":"A flexible short recurrence Krylov subspace method for matrices arising in the time integration of port-Hamiltonian systems and ODEs/DAEs with a dissipative Hamiltonian","authors":"Malak Diab, Andreas Frommer, Karsten Kahl","doi":"10.1007/s10543-023-00999-3","DOIUrl":"https://doi.org/10.1007/s10543-023-00999-3","url":null,"abstract":"Abstract For several classes of mathematical models that yield linear systems, the splitting of the matrix into its Hermitian and skew Hermitian parts is naturally related to properties of the underlying model. This is particularly so for discretizations of dissipative Hamiltonian ODEs, DAEs and port-Hamiltonian systems where, in addition, the Hermitian part is positive definite or semi-definite. It is then possible to develop short recurrence optimal Krylov subspace methods in which the Hermitian part is used as a preconditioner. In this paper, we develop new, right preconditioned variants of this approach which, as their crucial new feature, allow the systems with the Hermitian part to be solved only approximately in each iteration while keeping the short recurrences. This new class of methods is particularly efficient as it allows, for example, to use few steps of a multigrid solver or a (preconditioned) CG method for the Hermitian part in each iteration. We illustrate this with several numerical experiments for large scale systems.","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135092615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-11-10DOI: 10.1007/s10543-023-00998-4
Joackim Bernier, S Blanes, Fernando Casas, A Escorihuela-Tomàs
Abstract We analyze the preservation properties of a family of reversible splitting methods when they are applied to the numerical time integration of linear differential equations defined in the unitary group. The schemes involve complex coefficients and are conjugated to unitary transformations for sufficiently small values of the time step-size. New and efficient methods up to order six are constructed and tested on the linear Schrödinger equation.
{"title":"Symmetric-conjugate splitting methods for linear unitary problems","authors":"Joackim Bernier, S Blanes, Fernando Casas, A Escorihuela-Tomàs","doi":"10.1007/s10543-023-00998-4","DOIUrl":"https://doi.org/10.1007/s10543-023-00998-4","url":null,"abstract":"Abstract We analyze the preservation properties of a family of reversible splitting methods when they are applied to the numerical time integration of linear differential equations defined in the unitary group. The schemes involve complex coefficients and are conjugated to unitary transformations for sufficiently small values of the time step-size. New and efficient methods up to order six are constructed and tested on the linear Schrödinger equation.","PeriodicalId":55351,"journal":{"name":"BIT Numerical Mathematics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135087342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}