Abstract A spectral‐Galerkin method based on Legendre‐Fourier approximation for fourth‐order problems in cylindrical regions is studied in this paper. By the cylindrical coordinate transformation, a three‐dimensional fourth‐order problem in a cylindrical region is transformed into a sequence of decoupled fourth‐order problems with two dimensions and the corresponding pole conditions are also derived. With appropriately constructed weighted Sobolev space, a weak form is established. Based on this weak form, a spectral‐Galerkin discretization scheme is proposed and its error is rigorously analyzed by defining a new class of projection operators. Then, a set of efficient basis functions are used to write the discrete scheme as the linear systems with a sparse matrix based on tensor product. Numerical examples are presented to show the efficiency and high‐accuracy of the developed method. Finally, an application of the proposed method to the fourth‐order Steklov problem and the corresponding numerical experiments once again confirm the efficiency and spectral accuracy of the method.
{"title":"A Legendre spectral‐Galerkin method for fourth‐order problems in cylindrical regions","authors":"Jihui Zheng, Jing An","doi":"10.1002/num.23071","DOIUrl":"https://doi.org/10.1002/num.23071","url":null,"abstract":"Abstract A spectral‐Galerkin method based on Legendre‐Fourier approximation for fourth‐order problems in cylindrical regions is studied in this paper. By the cylindrical coordinate transformation, a three‐dimensional fourth‐order problem in a cylindrical region is transformed into a sequence of decoupled fourth‐order problems with two dimensions and the corresponding pole conditions are also derived. With appropriately constructed weighted Sobolev space, a weak form is established. Based on this weak form, a spectral‐Galerkin discretization scheme is proposed and its error is rigorously analyzed by defining a new class of projection operators. Then, a set of efficient basis functions are used to write the discrete scheme as the linear systems with a sparse matrix based on tensor product. Numerical examples are presented to show the efficiency and high‐accuracy of the developed method. Finally, an application of the proposed method to the fourth‐order Steklov problem and the corresponding numerical experiments once again confirm the efficiency and spectral accuracy of the method.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136060378","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}
Abstract In this paper, we analyze two classes of fully discrete spectral volume schemes (SV) for solving the one‐dimensional scalar hyperbolic equation. These two schemes are constructed by using the forward Euler (EU) method or the second‐order Runge–Kutta (RK2) method in time‐discretization, and by letting a piecewise k th degree( is an arbitrary integer) polynomial satisfy the local conservation law in each control volume designed by subdividing the underlying mesh with Gauss–Legendre points (LSV) or right‐Radau points (RRSV). We prove that for the EU‐SV schemes, the weak (2) stability holds and the norm errors converge with optimal orders , provided that the CFL condition is satisfied. While for the RK2‐SV schemes, the weak (4) stability holds and the norm errors converge with optimal orders , provided that the CFL condition is satisfied. Here and are, respectively, the spacial and temporal mesh sizes and the constant is independent of and . Our theoretical findings have been justified by several numerical experiments.
{"title":"Analysis of two fully discrete spectral volume schemes for hyperbolic equations","authors":"Ping Wei, Qingsong Zou","doi":"10.1002/num.23072","DOIUrl":"https://doi.org/10.1002/num.23072","url":null,"abstract":"Abstract In this paper, we analyze two classes of fully discrete spectral volume schemes (SV) for solving the one‐dimensional scalar hyperbolic equation. These two schemes are constructed by using the forward Euler (EU) method or the second‐order Runge–Kutta (RK2) method in time‐discretization, and by letting a piecewise k th degree( is an arbitrary integer) polynomial satisfy the local conservation law in each control volume designed by subdividing the underlying mesh with Gauss–Legendre points (LSV) or right‐Radau points (RRSV). We prove that for the EU‐SV schemes, the weak (2) stability holds and the norm errors converge with optimal orders , provided that the CFL condition is satisfied. While for the RK2‐SV schemes, the weak (4) stability holds and the norm errors converge with optimal orders , provided that the CFL condition is satisfied. Here and are, respectively, the spacial and temporal mesh sizes and the constant is independent of and . Our theoretical findings have been justified by several numerical experiments.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":"173 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136308891","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}
Abstract Time‐dependent Maxwell's equations govern electromagnetics. Under certain conditions, we can rewrite these equations into a partial differential equation of second order, which in this case is the vectorial wave equation. For the vectorial wave equation, we examine numerical schemes and their challenges. For this purpose, we consider a space‐time variational setting, that is, time is just another spatial dimension. More specifically, we apply integration by parts in time as well as in space, leading to a space‐time variational formulation with different trial and test spaces. Conforming discretizations of tensor‐product type result in a Galerkin–Petrov finite element method that requires a CFL condition for stability which we study. To overcome the CFL condition, we use a Hilbert‐type transformation that leads to a variational formulation with equal trial and test spaces. Conforming space‐time discretizations result in a new Galerkin–Bubnov finite element method that is unconditionally stable. In numerical examples, we demonstrate the effectiveness of this Galerkin–Bubnov finite element method. Furthermore, we investigate different projections of the right‐hand side and their influence on the convergence rates. This paper is the first step toward a more stable computation and a better understanding of vectorial wave equations in a conforming space‐time approach.
{"title":"Numerical study of conforming space‐time methods for Maxwell's equations","authors":"Julia I. M. Hauser, Marco Zank","doi":"10.1002/num.23070","DOIUrl":"https://doi.org/10.1002/num.23070","url":null,"abstract":"Abstract Time‐dependent Maxwell's equations govern electromagnetics. Under certain conditions, we can rewrite these equations into a partial differential equation of second order, which in this case is the vectorial wave equation. For the vectorial wave equation, we examine numerical schemes and their challenges. For this purpose, we consider a space‐time variational setting, that is, time is just another spatial dimension. More specifically, we apply integration by parts in time as well as in space, leading to a space‐time variational formulation with different trial and test spaces. Conforming discretizations of tensor‐product type result in a Galerkin–Petrov finite element method that requires a CFL condition for stability which we study. To overcome the CFL condition, we use a Hilbert‐type transformation that leads to a variational formulation with equal trial and test spaces. Conforming space‐time discretizations result in a new Galerkin–Bubnov finite element method that is unconditionally stable. In numerical examples, we demonstrate the effectiveness of this Galerkin–Bubnov finite element method. Furthermore, we investigate different projections of the right‐hand side and their influence on the convergence rates. This paper is the first step toward a more stable computation and a better understanding of vectorial wave equations in a conforming space‐time approach.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134911201","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}
Recently, Kovács et al. considered a Mittag‐Leffler Euler integrator for a stochastic semilinear Volterra integral‐differential equation with additive noise and proved the strong convergence error estimates [see SIAM J. Numer. Anal. 58(1) 2020, pp. 66‐85]. In this article, we shall consider the Mittag‐Leffler integrators for more general models: stochastic semilinear subdiffusion and superdiffusion driven by fractionally integrated additive noise. The mild solutions of our models involve four different Mittag‐Leffler functions. We first consider the existence, uniqueness and the regularities of the solutions. We then introduce the full discretization schemes for solving the problems. The temporal discretization is based on the Mittag‐Leffler integrators and the spatial discretization is based on the spectral method. The optimal strong convergence error estimates are proved under the reasonable assumptions for the semilinear term and for the regularity of the noise. Numerical examples are given to show that the numerical results are consistent with the theoretical results.
{"title":"Strong approximation of stochastic semilinear subdiffusion and superdiffusion driven by fractionally integrated additive noise","authors":"Ye Hu, Yubin Yan, Shahzad Sarwar","doi":"10.1002/num.23068","DOIUrl":"https://doi.org/10.1002/num.23068","url":null,"abstract":"Recently, Kovács et al. considered a Mittag‐Leffler Euler integrator for a stochastic semilinear Volterra integral‐differential equation with additive noise and proved the strong convergence error estimates [see SIAM J. Numer. Anal. 58(1) 2020, pp. 66‐85]. In this article, we shall consider the Mittag‐Leffler integrators for more general models: stochastic semilinear subdiffusion and superdiffusion driven by fractionally integrated additive noise. The mild solutions of our models involve four different Mittag‐Leffler functions. We first consider the existence, uniqueness and the regularities of the solutions. We then introduce the full discretization schemes for solving the problems. The temporal discretization is based on the Mittag‐Leffler integrators and the spatial discretization is based on the spectral method. The optimal strong convergence error estimates are proved under the reasonable assumptions for the semilinear term and for the regularity of the noise. Numerical examples are given to show that the numerical results are consistent with the theoretical results.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47872358","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 develop a local discontinuous Galerkin (LDG) method to simulate the wave propagation in an electromagnetic concentrator. The concentrator model consists of a coupled system of four partial differential equations and one ordinary differential equation. Discrete stability and error estimate are proved for both semi‐discrete and full‐discrete LDG schemes. Numerical results are presented to justify the theoretical analysis and demonstrate the interesting wave concentration property by the electromagnetic concentrator.
{"title":"Analysis and application of a local discontinuous Galerkin method for the electromagnetic concentrator model","authors":"Yunqing Huang, Jichun Li, Xin Liu","doi":"10.1002/num.23069","DOIUrl":"https://doi.org/10.1002/num.23069","url":null,"abstract":"In this paper, we develop a local discontinuous Galerkin (LDG) method to simulate the wave propagation in an electromagnetic concentrator. The concentrator model consists of a coupled system of four partial differential equations and one ordinary differential equation. Discrete stability and error estimate are proved for both semi‐discrete and full‐discrete LDG schemes. Numerical results are presented to justify the theoretical analysis and demonstrate the interesting wave concentration property by the electromagnetic concentrator.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42714198","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 article, we propose a second‐order shifted composite numerical integral formula, which is denoted as the SCNIF2. We transform the nonlinear time fractional wave equation into a partial differential equation with a fractional integral term and use the SCNIF2 in time and the finite element algorithm in space to formulate a fully discrete scheme. In order to decrease the initial error of the numerical scheme, we add some starting parts. In addition, we prove the stability and error estimation of the algorithm. Finally, we illustrate the effect of the starting parts and the accuracy of the numerical scheme through some numerical tests.
{"title":"Finite element algorithm with a second‐order shifted composite numerical integral formula for a nonlinear time fractional wave equation","authors":"Haoran Ren, Yang Liu, Baoli Yin, Haiyang Li","doi":"10.1002/num.23066","DOIUrl":"https://doi.org/10.1002/num.23066","url":null,"abstract":"In this article, we propose a second‐order shifted composite numerical integral formula, which is denoted as the SCNIF2. We transform the nonlinear time fractional wave equation into a partial differential equation with a fractional integral term and use the SCNIF2 in time and the finite element algorithm in space to formulate a fully discrete scheme. In order to decrease the initial error of the numerical scheme, we add some starting parts. In addition, we prove the stability and error estimation of the algorithm. Finally, we illustrate the effect of the starting parts and the accuracy of the numerical scheme through some numerical tests.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47824281","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 article, we construct first‐ and second‐order semidiscrete schemes for the magnetohydrodynamics (MHD) equations with variable density based on scalar auxiliary variable (SAV) approach. These schemes are decoupled, unconditionally energy stable and only solve a sequence of linear differential equations at each time step. We carry out a rigorous error analysis for the first‐order SAV scheme in two‐dimensional case. Some numerical experiments are presented to verify the accuracy and stability.
{"title":"Stability and temporal error estimate of scalar auxiliary variable schemes for the magnetohydrodynamics equations with variable density","authors":"Han Chen, Yuyu He, Hongtao Chen","doi":"10.1002/num.23067","DOIUrl":"https://doi.org/10.1002/num.23067","url":null,"abstract":"In this article, we construct first‐ and second‐order semidiscrete schemes for the magnetohydrodynamics (MHD) equations with variable density based on scalar auxiliary variable (SAV) approach. These schemes are decoupled, unconditionally energy stable and only solve a sequence of linear differential equations at each time step. We carry out a rigorous error analysis for the first‐order SAV scheme in two‐dimensional case. Some numerical experiments are presented to verify the accuracy and stability.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48996771","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}
Abstract In this article, new unfitted mixed finite elements are presented for elliptic interface problems with jump coefficients. Our model is based on a fictitious domain formulation with distributed Lagrange multiplier. The relevance of our investigations is better seen when applied to the framework of fluid‐structure interaction problems. Two finite element schemes with piecewise constant Lagrange multiplier are proposed and their stability is proved theoretically. Numerical results compare the performance of those elements, confirming the theoretical proofs and verifying that the schemes converge with optimal rates.
{"title":"Unfitted mixed finite element methods for elliptic interface problems","authors":"Najwa Alshehri, Daniele Boffi, Lucia Gastaldi","doi":"10.1002/num.23063","DOIUrl":"https://doi.org/10.1002/num.23063","url":null,"abstract":"Abstract In this article, new unfitted mixed finite elements are presented for elliptic interface problems with jump coefficients. Our model is based on a fictitious domain formulation with distributed Lagrange multiplier. The relevance of our investigations is better seen when applied to the framework of fluid‐structure interaction problems. Two finite element schemes with piecewise constant Lagrange multiplier are proposed and their stability is proved theoretically. Numerical results compare the performance of those elements, confirming the theoretical proofs and verifying that the schemes converge with optimal rates.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135397363","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}
The Klein–Gordon–Schrödinger equations describe a classical model of interaction of nucleon field with meson field in physics, how to design the energy conservative and stable schemes is an important issue. This paper aims to develop a linearized energy‐preserve, unconditionally stable and efficient scheme for Klein–Gordon–Schrödinger equations. Some auxiliary variables are utilized to circumvent the imaginary functions of Klein–Gordon–Schrödinger equations, and transform the original system into its real formulation. Based on the invariant energy quadratization approach, an equivalent system is deduced by introducing a Lagrange multiplier. Then the efficient and unconditionally stable scheme is designed to discretize the deduced equivalent system. A numerical analysis of the proposed scheme is presented to illustrate its uniquely solvability and convergence. Numerical examples are provided to validate accuracy, energy and mass conservation laws, and stability of our proposed method.
{"title":"An efficient linearly implicit and energy‐conservative scheme for two dimensional Klein–Gordon–Schrödinger equations","authors":"Hongwei Li, Yuna Yang, Xiangkun Li","doi":"10.1002/num.23064","DOIUrl":"https://doi.org/10.1002/num.23064","url":null,"abstract":"The Klein–Gordon–Schrödinger equations describe a classical model of interaction of nucleon field with meson field in physics, how to design the energy conservative and stable schemes is an important issue. This paper aims to develop a linearized energy‐preserve, unconditionally stable and efficient scheme for Klein–Gordon–Schrödinger equations. Some auxiliary variables are utilized to circumvent the imaginary functions of Klein–Gordon–Schrödinger equations, and transform the original system into its real formulation. Based on the invariant energy quadratization approach, an equivalent system is deduced by introducing a Lagrange multiplier. Then the efficient and unconditionally stable scheme is designed to discretize the deduced equivalent system. A numerical analysis of the proposed scheme is presented to illustrate its uniquely solvability and convergence. Numerical examples are provided to validate accuracy, energy and mass conservation laws, and stability of our proposed method.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-08-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48827312","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 consider an explicit fully‐discrete approximation of the Cahn–Hilliard–Cook (CHC) equation with additive noise, performed by a standard finite element method in space and a kind of nonlinearity‐tamed Euler scheme in time. The main result in this paper establishes strong convergence rates of the proposed scheme. The key ingredient in the proof of our main result is to employ uniform moment bounds for the numerical approximations. To the best of our knowledge, the main contribution of this work is the first result in the literature which establishes strong convergence for an explicit fully‐discrete finite element approximation of the CHC equation. Finally, numerical results are finally reported to confirm the previous theoretical findings.
{"title":"Strong convergence for an explicit fully‐discrete finite element approximation of the Cahn‐Hillard‐Cook equation with additive noise","authors":"Qiu Lin, Ruisheng Qi","doi":"10.1002/num.23062","DOIUrl":"https://doi.org/10.1002/num.23062","url":null,"abstract":"In this paper, we consider an explicit fully‐discrete approximation of the Cahn–Hilliard–Cook (CHC) equation with additive noise, performed by a standard finite element method in space and a kind of nonlinearity‐tamed Euler scheme in time. The main result in this paper establishes strong convergence rates of the proposed scheme. The key ingredient in the proof of our main result is to employ uniform moment bounds for the numerical approximations. To the best of our knowledge, the main contribution of this work is the first result in the literature which establishes strong convergence for an explicit fully‐discrete finite element approximation of the CHC equation. Finally, numerical results are finally reported to confirm the previous theoretical findings.","PeriodicalId":19443,"journal":{"name":"Numerical Methods for Partial Differential Equations","volume":" ","pages":""},"PeriodicalIF":3.9,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44255083","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}