Pub Date : 2025-02-10DOI: 10.1007/s10444-025-10221-3
Lok Pati Tripathi, Aditi Tomar, Amiya K. Pani
A non-uniform implicit-explicit L1 mixed finite element method (IMEX-L1-MFEM) is investigated for a class of time-fractional partial integro-differential equations (PIDEs) with space-time-dependent coefficients and non-self-adjoint elliptic part. The proposed fully discrete method combines an IMEX-L1 method on a graded mesh in the temporal variable with a mixed finite element method in spatial variables. The focus of the study is to analyze stability results and to establish optimal error estimates, up to a logarithmic factor, for both the solution and the flux in (L^2)-norm when the initial data (u_0in H_0^1(Omega )cap H^2(Omega )). Additionally, an error estimate in (L^infty )-norm is derived for 2D problems. All the derived estimates and bounds in this article remain valid as (alpha rightarrow 1^{-}), where (alpha ) is the order of the Caputo fractional derivative. Finally, the results of several numerical experiments conducted at the end of this paper are confirming our theoretical findings.
{"title":"On a non-uniform (alpha )-robust IMEX-L1 mixed FEM for time-fractional PIDEs","authors":"Lok Pati Tripathi, Aditi Tomar, Amiya K. Pani","doi":"10.1007/s10444-025-10221-3","DOIUrl":"10.1007/s10444-025-10221-3","url":null,"abstract":"<div><p>A non-uniform implicit-explicit L1 mixed finite element method (IMEX-L1-MFEM) is investigated for a class of time-fractional partial integro-differential equations (PIDEs) with space-time-dependent coefficients and non-self-adjoint elliptic part. The proposed fully discrete method combines an IMEX-L1 method on a graded mesh in the temporal variable with a mixed finite element method in spatial variables. The focus of the study is to analyze stability results and to establish optimal error estimates, up to a logarithmic factor, for both the solution and the flux in <span>(L^2)</span>-norm when the initial data <span>(u_0in H_0^1(Omega )cap H^2(Omega ))</span>. Additionally, an error estimate in <span>(L^infty )</span>-norm is derived for 2D problems. All the derived estimates and bounds in this article remain valid as <span>(alpha rightarrow 1^{-})</span>, where <span>(alpha )</span> is the order of the Caputo fractional derivative. Finally, the results of several numerical experiments conducted at the end of this paper are confirming our theoretical findings.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-02-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143373297","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 : 2025-02-05DOI: 10.1007/s10444-025-10223-1
Tiangang Cui, Josef Dick, Friedrich Pillichshammer
We study numerical integration over bounded regions in (mathbb {R}^s), (s ge 1), with respect to some probability measure. We replace random sampling with quasi-Monte Carlo methods, where the underlying point set is derived from deterministic constructions which aim to fill the space more evenly than random points. Ordinarily, such quasi-Monte Carlo point sets are designed for the uniform measure, and the theory only works for product measures when a coordinate-wise transformation is applied. Going beyond this setting, we first consider the case where the target density is a mixture distribution where each term in the mixture comes from a product distribution. Next, we consider target densities which can be approximated with such mixture distributions. In order to be able to use an approximation of the target density, we require the approximation to be a sum of coordinate-wise products and that the approximation is positive everywhere (so that they can be re-scaled to probability density functions). We use tensor product hat function approximations for this purpose here, since a hat function approximation of a positive function is itself positive. We also study more complex algorithms, where we first approximate the target density with a general Gaussian mixture distribution and approximate this mixture distribution with an adaptive hat function approximation on rotated intervals. The Gaussian mixture approximation allows us (at least to some degree) to locate the essential parts of the target density, whereas the adaptive hat function approximation allows us to approximate the finer structure of the target density. We prove convergence rates for each of the integration techniques based on quasi-Monte Carlo sampling for integrands with bounded partial mixed derivatives. The employed algorithms are based on digital (t, s)-sequences over the finite field (mathbb {F}_2) and an inversion method. Numerical examples illustrate the performance of the algorithms for some target densities and integrands.
我们研究了(mathbb {R}^s), (s ge 1)中关于概率测度的有界区域上的数值积分。我们用拟蒙特卡罗方法取代随机抽样,其中底层点集来自确定性结构,其目的是比随机点更均匀地填充空间。通常,这种拟蒙特卡罗点集是为均匀测度而设计的,当应用坐标变换时,该理论仅适用于乘积测度。在此设置之外,我们首先考虑目标密度是混合分布的情况,其中混合物中的每一项都来自乘积分布。接下来,我们考虑可以用这种混合分布近似的目标密度。为了能够使用目标密度的近似值,我们要求近似值是坐标乘积的总和,并且近似值处处为正(以便它们可以重新缩放为概率密度函数)。我们用张量积帽函数近似来达到这个目的,因为一个正函数的帽函数近似本身是正的。我们还研究了更复杂的算法,其中我们首先用一般高斯混合分布近似目标密度,然后用旋转区间上的自适应帽函数近似近似该混合分布。高斯混合近似允许我们(至少在某种程度上)定位目标密度的基本部分,而自适应帽函数近似允许我们近似目标密度的精细结构。对于有界偏混合导数的积分,我们证明了基于拟蒙特卡罗采样的每一种积分方法的收敛速度。所采用的算法是基于有限域上的数字(t, s)序列(mathbb {F}_2)和反演方法。数值算例说明了算法对某些目标密度和被积的性能。
{"title":"Quasi-Monte Carlo methods for mixture distributions and approximated distributions via piecewise linear interpolation","authors":"Tiangang Cui, Josef Dick, Friedrich Pillichshammer","doi":"10.1007/s10444-025-10223-1","DOIUrl":"10.1007/s10444-025-10223-1","url":null,"abstract":"<div><p>We study numerical integration over bounded regions in <span>(mathbb {R}^s)</span>, <span>(s ge 1)</span>, with respect to some probability measure. We replace random sampling with quasi-Monte Carlo methods, where the underlying point set is derived from deterministic constructions which aim to fill the space more evenly than random points. Ordinarily, such quasi-Monte Carlo point sets are designed for the uniform measure, and the theory only works for product measures when a coordinate-wise transformation is applied. Going beyond this setting, we first consider the case where the target density is a mixture distribution where each term in the mixture comes from a product distribution. Next, we consider target densities which can be approximated with such mixture distributions. In order to be able to use an approximation of the target density, we require the approximation to be a sum of coordinate-wise products and that the approximation is positive everywhere (so that they can be re-scaled to probability density functions). We use tensor product hat function approximations for this purpose here, since a hat function approximation of a positive function is itself positive. We also study more complex algorithms, where we first approximate the target density with a general Gaussian mixture distribution and approximate this mixture distribution with an adaptive hat function approximation on rotated intervals. The Gaussian mixture approximation allows us (at least to some degree) to locate the essential parts of the target density, whereas the adaptive hat function approximation allows us to approximate the finer structure of the target density. We prove convergence rates for each of the integration techniques based on quasi-Monte Carlo sampling for integrands with bounded partial mixed derivatives. The employed algorithms are based on digital (<i>t</i>, <i>s</i>)-sequences over the finite field <span>(mathbb {F}_2)</span> and an inversion method. Numerical examples illustrate the performance of the algorithms for some target densities and integrands.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10444-025-10223-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143184707","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 : 2025-02-03DOI: 10.1007/s10444-025-10220-4
Shubhaditya Burela, Philipp Krah, Julius Reiss
Parametric model order reduction techniques often struggle to accurately represent transport-dominated phenomena due to a slowly decaying Kolmogorov n-width. To address this challenge, we propose a non-intrusive, data-driven methodology that combines the shifted proper orthogonal decomposition (POD) with deep learning. Specifically, the shifted POD technique is utilized to derive a high-fidelity, low-dimensional model of the flow, which is subsequently utilized as input to a deep learning framework to forecast the flow dynamics under various temporal and parameter conditions. The efficacy of the proposed approach is demonstrated through the analysis of one- and two-dimensional wildland fire models with varying reaction rates, and its error is compared with the error of other similar methods. The results indicate that the proposed approach yields reliable results within the percent range, while also enabling rapid prediction of system states within seconds.
{"title":"Parametric model order reduction for a wildland fire model via the shifted POD-based deep learning method","authors":"Shubhaditya Burela, Philipp Krah, Julius Reiss","doi":"10.1007/s10444-025-10220-4","DOIUrl":"10.1007/s10444-025-10220-4","url":null,"abstract":"<div><p>Parametric model order reduction techniques often struggle to accurately represent transport-dominated phenomena due to a slowly decaying Kolmogorov <i>n</i>-width. To address this challenge, we propose a non-intrusive, data-driven methodology that combines the shifted proper orthogonal decomposition (POD) with deep learning. Specifically, the shifted POD technique is utilized to derive a high-fidelity, low-dimensional model of the flow, which is subsequently utilized as input to a deep learning framework to forecast the flow dynamics under various temporal and parameter conditions. The efficacy of the proposed approach is demonstrated through the analysis of one- and two-dimensional wildland fire models with varying reaction rates, and its error is compared with the error of other similar methods. The results indicate that the proposed approach yields reliable results within the percent range, while also enabling rapid prediction of system states within seconds.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10444-025-10220-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143077609","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 : 2025-01-31DOI: 10.1007/s10444-025-10222-2
Lele Yuan, Ye Zhang
In this paper, we propose a Scaling Fractional Asymptotical Regularization (S-FAR) method for solving linear ill-posed operator equations in Hilbert spaces, inspired by the work of (2019 Fract. Calc. Appl. Anal. 22(3) 699-721). Our method is incorporated into the general framework of linear regularization and demonstrates that, under both Hölder and logarithmic source conditions, the S-FAR with fractional orders in the range (1, 2] offers accelerated convergence compared to comparable order optimal regularization methods. Additionally, we introduce a de-biasing strategy that significantly outperforms previous approaches, alongside a thresholding technique for achieving sparse solutions, which greatly enhances the accuracy of approximations. A variety of numerical examples, including one- and two-dimensional model problems, are provided to validate the accuracy and acceleration benefits of the FAR method.
{"title":"A scaling fractional asymptotical regularization method for linear inverse problems","authors":"Lele Yuan, Ye Zhang","doi":"10.1007/s10444-025-10222-2","DOIUrl":"10.1007/s10444-025-10222-2","url":null,"abstract":"<div><p>In this paper, we propose a Scaling Fractional Asymptotical Regularization (S-FAR) method for solving linear ill-posed operator equations in Hilbert spaces, inspired by the work of (2019 <i>Fract. Calc. Appl. Anal.</i> 22(3) 699-721). Our method is incorporated into the general framework of linear regularization and demonstrates that, under both Hölder and logarithmic source conditions, the S-FAR with fractional orders in the range (1, 2] offers accelerated convergence compared to comparable order optimal regularization methods. Additionally, we introduce a de-biasing strategy that significantly outperforms previous approaches, alongside a thresholding technique for achieving sparse solutions, which greatly enhances the accuracy of approximations. A variety of numerical examples, including one- and two-dimensional model problems, are provided to validate the accuracy and acceleration benefits of the FAR method.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143071908","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 : 2025-01-24DOI: 10.1007/s10444-025-10219-x
Jianjian Song, Dongwoo Sheen, Xinlong Feng, Yinnian He
In this paper, a class of 3D elliptic equations is solved by using the combination of the finite difference method in one direction and nonconforming finite element methods in the other two directions. A finite-difference (FD) discretization based on (P_1)-element in the z-direction and a finite-element (FE) discretization based on (P_1^{NC})-nonconforming element in the (x, y)-plane are used to convert the 3D equation into a series of 2D ones. This paper analyzes the convergence of (P_1^{NC})-nonconforming finite element methods in the 2D elliptic equation and the error estimation of the ({H^1})-norm of the DFE method. Finally, in this paper, the DFE method is tested on the 3D elliptic equation with the FD method based on the (P_1) element in the z-direction and the FE method based on the Crouzeix-Raviart element, the (P_1) linear element, the Park-Sheen element, and the (Q_1) bilinear element, respectively, in the (x, y)-plane.
{"title":"A difference finite element method based on nonconforming finite element methods for 3D elliptic problems","authors":"Jianjian Song, Dongwoo Sheen, Xinlong Feng, Yinnian He","doi":"10.1007/s10444-025-10219-x","DOIUrl":"10.1007/s10444-025-10219-x","url":null,"abstract":"<div><p>In this paper, a class of 3D elliptic equations is solved by using the combination of the finite difference method in one direction and nonconforming finite element methods in the other two directions. A finite-difference (FD) discretization based on <span>(P_1)</span>-element in the <i>z</i>-direction and a finite-element (FE) discretization based on <span>(P_1^{NC})</span>-nonconforming element in the (<i>x</i>, <i>y</i>)-plane are used to convert the 3D equation into a series of 2D ones. This paper analyzes the convergence of <span>(P_1^{NC})</span>-nonconforming finite element methods in the 2D elliptic equation and the error estimation of the <span>({H^1})</span>-norm of the DFE method. Finally, in this paper, the DFE method is tested on the 3D elliptic equation with the FD method based on the <span>(P_1)</span> element in the <i>z</i>-direction and the FE method based on the Crouzeix-Raviart element, the <span>(P_1)</span> linear element, the Park-Sheen element, and the <span>(Q_1)</span> bilinear element, respectively, in the (<i>x</i>, <i>y</i>)-plane.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10444-025-10219-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143027255","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 : 2025-01-16DOI: 10.1007/s10444-024-10218-4
Mahadevan Ganesh, Stuart C. Hawkins, Darko Volkov
We introduce a new system of surface integral equations for Maxwell’s transmission problem in three dimensions (3-D). This system has two remarkable features, both of which we prove. First, it is well-posed at all frequencies. Second, the underlying linear operator has a uniformly bounded inverse as the frequency approaches zero, ensuring that there is no low-frequency breakdown. The system is derived from a formulation we introduced in our previous work, which required additional integral constraints to ensure well-posedness across all frequencies. In this study, we eliminate those constraints and demonstrate that our new self-adjoint, constraints-free linear system—expressed in the desirable form of an identity plus a compact weakly-singular operator—is stable for all frequencies. Furthermore, we propose and analyze a fully discrete numerical method for these systems and provide a proof of spectrally accurate convergence for the computational method. We also computationally demonstrate the high-order accuracy of the algorithm using benchmark scatterers with curved surfaces.
{"title":"An all-frequency stable integral system for Maxwell’s equations in 3-D penetrable media: continuous and discrete model analysis","authors":"Mahadevan Ganesh, Stuart C. Hawkins, Darko Volkov","doi":"10.1007/s10444-024-10218-4","DOIUrl":"10.1007/s10444-024-10218-4","url":null,"abstract":"<div><p>We introduce a new system of surface integral equations for Maxwell’s transmission problem in three dimensions (3-D). This system has two remarkable features, both of which we prove. First, it is well-posed at all frequencies. Second, the underlying linear operator has a uniformly bounded inverse as the frequency approaches zero, ensuring that there is no low-frequency breakdown. The system is derived from a formulation we introduced in our previous work, which required additional integral constraints to ensure well-posedness across all frequencies. In this study, we eliminate those constraints and demonstrate that our new self-adjoint, constraints-free linear system—expressed in the desirable form of an identity plus a compact weakly-singular operator—is stable for all frequencies. Furthermore, we propose and analyze a fully discrete numerical method for these systems and provide a proof of spectrally accurate convergence for the computational method. We also computationally demonstrate the high-order accuracy of the algorithm using benchmark scatterers with curved surfaces.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142986729","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 : 2025-01-03DOI: 10.1007/s10444-024-10209-5
Tobias Long, Robert Barnett, Richard Jefferson-Loveday, Giovanni Stabile, Matteo Icardi
Problems with dominant advection, discontinuities, travelling features, or shape variations are widespread in computational mechanics. However, classical linear model reduction and interpolation methods typically fail to reproduce even relatively small parameter variations, making the reduced models inefficient and inaccurate. This work proposes a model order reduction approach based on the Radon Cumulative Distribution Transform (RCDT). We demonstrate numerically that this non-linear transformation can overcome some limitations of standard proper orthogonal decomposition (POD) reconstructions and is capable of interpolating accurately some advection-dominated phenomena, although it may introduce artefacts due to the discrete forward and inverse transform. The method is tested on various test cases coming from both manufactured examples and fluid dynamics problems.
{"title":"A reduced-order model for advection-dominated problems based on the Radon Cumulative Distribution Transform","authors":"Tobias Long, Robert Barnett, Richard Jefferson-Loveday, Giovanni Stabile, Matteo Icardi","doi":"10.1007/s10444-024-10209-5","DOIUrl":"10.1007/s10444-024-10209-5","url":null,"abstract":"<div><p>Problems with dominant advection, discontinuities, travelling features, or shape variations are widespread in computational mechanics. However, classical linear model reduction and interpolation methods typically fail to reproduce even relatively small parameter variations, making the reduced models inefficient and inaccurate. This work proposes a model order reduction approach based on the Radon Cumulative Distribution Transform (RCDT). We demonstrate numerically that this non-linear transformation can overcome some limitations of standard proper orthogonal decomposition (POD) reconstructions and is capable of interpolating accurately some advection-dominated phenomena, although it may introduce artefacts due to the discrete forward and inverse transform. The method is tested on various test cases coming from both manufactured examples and fluid dynamics problems.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142913015","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 : 2025-01-02DOI: 10.1007/s10444-024-10217-5
Bo Feng, Gang Wu
The generalized Lanczos trust-region (GLTR) method is one of the most popular approaches for solving large-scale trust-region subproblem (TRS). In Jia and Wang, SIAM J. Optim., 31, 887–914 2021. Z. Jia et al. considered the convergence of this method and established some a priori error bounds on the residual and the Lagrange multiplier. In this paper, we revisit the convergence of the GLTR method and try to improve these bounds. First, we establish a sharper upper bound on the residual. Second, we present a non-asymptotic bound for the convergence of the Lagrange multiplier and define a factor that plays an important role in the convergence of the Lagrange multiplier. Third, we revisit the convergence of the Krylov subspace method for the cubic regularization variant of the trust-region subproblem and substantially improve the convergence result established in Jia et al., SIAM J. Matrix Anal. Appl. 43 (2022), pp. 812–839 2022 on the multiplier. Numerical experiments demonstrate the effectiveness of our theoretical results.
广义Lanczos信任域(GLTR)方法是求解大规模信任域子问题(TRS)最常用的方法之一。在贾和王,SIAM J.优化。中华医学杂志,31,887-914 2021。Z. Jia等人考虑了该方法的收敛性,在残差和拉格朗日乘子上建立了一些先验误差界。在本文中,我们重新审视了GLTR方法的收敛性,并尝试改进这些边界。首先,我们在残差上建立一个更清晰的上界。其次,给出了拉格朗日乘子收敛的非渐近界,并定义了一个在拉格朗日乘子收敛中起重要作用的因子。第三,我们重新审视了信赖域子问题三次正则化变体的Krylov子空间方法的收敛性,并大大改进了Jia et al., SIAM J. Matrix Anal中建立的收敛结果。应用程序43 (2022),pp. 812-839关于乘数2022。数值实验证明了理论结果的有效性。
{"title":"On convergence of the generalized Lanczos trust-region method for trust-region subproblems","authors":"Bo Feng, Gang Wu","doi":"10.1007/s10444-024-10217-5","DOIUrl":"10.1007/s10444-024-10217-5","url":null,"abstract":"<div><p>The generalized Lanczos trust-region (GLTR) method is one of the most popular approaches for solving large-scale trust-region subproblem (TRS). In Jia and Wang, <i>SIAM J. Optim., 31, 887–914</i> 2021. Z. Jia et al. considered the convergence of this method and established some <i>a priori</i> error bounds on the residual and the Lagrange multiplier. In this paper, we revisit the convergence of the GLTR method and try to improve these bounds. First, we establish a sharper upper bound on the residual. Second, we present a <i>non-asymptotic</i> bound for the convergence of the Lagrange multiplier and define a factor that plays an important role in the convergence of the Lagrange multiplier. Third, we revisit the convergence of the Krylov subspace method for the cubic regularization variant of the trust-region subproblem and substantially improve the convergence result established in Jia et al., <i>SIAM J. Matrix Anal. Appl. 43 (2022), pp. 812–839</i> 2022 on the multiplier. Numerical experiments demonstrate the effectiveness of our theoretical results.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2025-01-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142912941","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}
In this paper, we introduce a novel unfitted finite element method to solve the quad-curl interface problem. We adapt Nitsche’s method for ({operatorname {curl}}{operatorname {curl}})-conforming elements and double the degrees of freedom on interface elements. To ensure stability, we incorporate ghost penalty terms and a discrete divergence-free term. We establish the well-posedness of our method and demonstrate an optimal error bound in the discrete energy norm. We also analyze the stiffness matrix’s condition number. Our numerical tests back up our theory on convergence rates and condition numbers.
{"title":"Unfitted finite element method for the quad-curl interface problem","authors":"Hailong Guo, Mingyan Zhang, Qian Zhang, Zhimin Zhang","doi":"10.1007/s10444-024-10213-9","DOIUrl":"10.1007/s10444-024-10213-9","url":null,"abstract":"<div><p>In this paper, we introduce a novel unfitted finite element method to solve the quad-curl interface problem. We adapt Nitsche’s method for <span>({operatorname {curl}}{operatorname {curl}})</span>-conforming elements and double the degrees of freedom on interface elements. To ensure stability, we incorporate ghost penalty terms and a discrete divergence-free term. We establish the well-posedness of our method and demonstrate an optimal error bound in the discrete energy norm. We also analyze the stiffness matrix’s condition number. Our numerical tests back up our theory on convergence rates and condition numbers.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142888189","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-12-18DOI: 10.1007/s10444-024-10216-6
Xiaojuan Liu, Maojun Li, Tao Yin, Shangyou Zhang
This paper studies the finite element method for solving the exterior Stokes problem in two dimensions. A nonlocal boundary condition is defined using a nonsingular-kernel Dirichlet-to-Dirichlet (DtD) mapping, which maps the Dirichlet data on an interior circle to the Dirichlet data on another circular artificial boundary based on the Poisson integral formula of the Stokes problem. The truncated problem is then solved using the MINI-element method and a simple DtD iteration strategy, resulting into a sequence of unique and geometrically (h- independent) convergent solutions. The quasi-optimal error estimate is proved for the iterative solution at the end of the iteration process. Numerical experiments are presented to demonstrate the accuracy and efficiency of the proposed method.
{"title":"A nonsingular-kernel Dirichlet-to-Dirichlet mapping method for the exterior Stokes problem","authors":"Xiaojuan Liu, Maojun Li, Tao Yin, Shangyou Zhang","doi":"10.1007/s10444-024-10216-6","DOIUrl":"10.1007/s10444-024-10216-6","url":null,"abstract":"<div><p>This paper studies the finite element method for solving the exterior Stokes problem in two dimensions. A nonlocal boundary condition is defined using a nonsingular-kernel Dirichlet-to-Dirichlet (DtD) mapping, which maps the Dirichlet data on an interior circle to the Dirichlet data on another circular artificial boundary based on the Poisson integral formula of the Stokes problem. The truncated problem is then solved using the MINI-element method and a simple DtD iteration strategy, resulting into a sequence of unique and geometrically (<i>h</i>- independent) convergent solutions. The quasi-optimal error estimate is proved for the iterative solution at the end of the iteration process. Numerical experiments are presented to demonstrate the accuracy and efficiency of the proposed method.</p></div>","PeriodicalId":50869,"journal":{"name":"Advances in Computational Mathematics","volume":"51 1","pages":""},"PeriodicalIF":1.7,"publicationDate":"2024-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142841447","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}