Mathematics of Computation最新文献

{"title":"Uniform accuracy of implicit-explicit Runge-Kutta (IMEX-RK) schemes for hyperbolic systems with relaxation","authors":"Jingwei Hu, Ruiwen Shu","doi":"10.1090/mcom/3967","DOIUrl":"https://doi.org/10.1090/mcom/3967","url":null,"abstract":"<p>Implicit-explicit Runge-Kutta (IMEX-RK) schemes are popular methods to treat multiscale equations that contain a stiff part and a non-stiff part, where the stiff part is characterized by a small parameter <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"epsilon\"> <mml:semantics> <mml:mi>ε<!-- ε --></mml:mi> <mml:annotation encoding=\"application/x-tex\">varepsilon</mml:annotation> </mml:semantics> </mml:math> </inline-formula>. In this work, we prove rigorously the uniform stability and uniform accuracy of a class of IMEX-RK schemes for a linear hyperbolic system with stiff relaxation. The result we obtain is optimal in the sense that it holds regardless of the value of <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"epsilon\"> <mml:semantics> <mml:mi>ε<!-- ε --></mml:mi> <mml:annotation encoding=\"application/x-tex\">varepsilon</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and the order of accuracy is the same as the design order of the original scheme, i.e., there is no order reduction.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"32 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140942540","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":"Extending error bounds for radial basis function interpolation to measuring the error in higher order Sobolev norms","authors":"T. Hangelbroek, C. Rieger","doi":"10.1090/mcom/3960","DOIUrl":"https://doi.org/10.1090/mcom/3960","url":null,"abstract":"<p>Radial basis functions (RBFs) are prominent examples for reproducing kernels with associated reproducing kernel Hilbert spaces (RKHSs). The convergence theory for the kernel-based interpolation in that space is well understood and optimal rates for the whole RKHS are often known. Schaback added the doubling trick [Math. Comp. 68 (1999), pp. 201–216], which shows that functions having double the smoothness required by the RKHS (along with specific, albeit complicated boundary behavior) can be approximated with higher convergence rates than the optimal rates for the whole space. Other advances allowed interpolation of target functions which are less smooth, and different norms which measure interpolation error. The current state of the art of error analysis for RBF interpolation treats target functions having smoothness up to twice that of the native space, but error measured in norms which are weaker than that required for membership in the RKHS.</p> <p>Motivated by the fact that the kernels and the approximants they generate are smoother than required by the native space, this article extends the doubling trick to error which measures higher smoothness. This extension holds for a family of kernels satisfying easily checked hypotheses which we describe in this article, and includes many prominent RBFs. In the course of the proof, new convergence rates are obtained for the abstract operator considered by Devore and Ron in [Trans. Amer. Math. Soc. 362 (2010), pp. 6205–6229], and new Bernstein estimates are obtained relating high order smoothness norms to the native space norm.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"60 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931238","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 discrete ground states of rotating Bose–Einstein condensates","authors":"Patrick Henning, Mahima Yadav","doi":"10.1090/mcom/3962","DOIUrl":"https://doi.org/10.1090/mcom/3962","url":null,"abstract":"<p>The ground states of Bose–Einstein condensates in a rotating frame can be described as constrained minimizers of the Gross–Pitaevskii energy functional with an angular momentum term. In this paper we consider the corresponding discrete minimization problem in Lagrange finite element spaces of arbitrary polynomial order and we investigate the approximation properties of discrete ground states. In particular, we prove a priori error estimates of optimal order in the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper L squared\"> <mml:semantics> <mml:msup> <mml:mi>L</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:annotation encoding=\"application/x-tex\">L^2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>- and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Superscript 1\"> <mml:semantics> <mml:msup> <mml:mi>H</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:annotation encoding=\"application/x-tex\">H^1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-norm, as well as for the ground state energy and the corresponding chemical potential. A central issue in the analysis of the problem is the missing uniqueness of ground states, which is mainly caused by the invariance of the energy functional under complex phase shifts. Our error analysis is therefore based on an Euler–Lagrange functional that we restrict to certain tangent spaces in which we have local uniqueness of ground states. This gives rise to an error decomposition that is ultimately used to derive the desired a priori error estimates. We also present numerical experiments to illustrate various aspects of the problem structure.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"352 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140942064","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":"GMRES, pseudospectra, and Crouzeix’s conjecture for shifted and scaled Ginibre matrices","authors":"Tyler Chen, Anne Greenbaum, Thomas Trogdon","doi":"10.1090/mcom/3963","DOIUrl":"https://doi.org/10.1090/mcom/3963","url":null,"abstract":"<p>We study the GMRES algorithm applied to linear systems of equations involving a scaled and shifted <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N times upper N\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo>×<!-- × --></mml:mo> <mml:mi>N</mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">Ntimes N</mml:annotation> </mml:semantics> </mml:math> </inline-formula> matrix whose entries are independent complex Gaussians. When the right-hand side of this linear system is independent of this random matrix, the <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N right-arrow normal infinity\"> <mml:semantics> <mml:mrow> <mml:mi>N</mml:mi> <mml:mo stretchy=\"false\">→<!-- → --></mml:mo> <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">Nto infty</mml:annotation> </mml:semantics> </mml:math> </inline-formula> behavior of the GMRES residual error can be determined exactly. To handle cases where the right hand side depends on the random matrix, we study the pseudospectra and numerical range of Ginibre matrices and prove a restricted version of Crouzeix’s conjecture.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"42 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931458","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":"Large-scale Monte Carlo simulations for zeros in character tables of symmetric groups","authors":"Alexander Miller, Danny Scheinerman","doi":"10.1090/mcom/3964","DOIUrl":"https://doi.org/10.1090/mcom/3964","url":null,"abstract":"<p>This is a brief report on some recent large-scale Monte Carlo simulations for approximating the density of zeros in character tables of large symmetric groups. Previous computations suggested that a large fraction of zeros cannot be explained by classical vanishing results. Our computations eclipse previous ones and suggest that the opposite is true. In fact, we find empirically that almost all of the zeros are of a single classical type.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"35 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142206155","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":"Stochastic alternating structure-adapted proximal gradient descent method with variance reduction for nonconvex nonsmooth optimization","authors":"Zehui Jia, Wenxing Zhang, Xingju Cai, Deren Han","doi":"10.1090/mcom/3867","DOIUrl":"https://doi.org/10.1090/mcom/3867","url":null,"abstract":"<p>The blocky optimization has gained a significant amount of attention in far-reaching practical applications. Following the recent work (M. Nikolova and P. Tan [SIAM J. Optim. 29 (2019), pp. 2053–2078]) on solving a class of nonconvex nonsmooth optimization, we develop a stochastic alternating structure-adapted proximal (s-ASAP) gradient descent method for solving blocky optimization problems. By deploying some state-of-the-art variance reduced gradient estimators (rather than full gradient) in stochastic optimization, the s-ASAP method is applicable to nonconvex optimization whose objective is the sum of a nonsmooth data-fitting term and a finite number of differentiable functions. The sublinear convergence rate of s-ASAP is built upon the proximal point algorithmic framework, whilst the linear convergence rate of s-ASAP is achieved under the error bound condition. Furthermore, the convergence of the sequence produced by s-ASAP is established under the Kurdyka-Łojasiewicz property. Preliminary numerical simulations on some image processing applications demonstrate the compelling performance of the proposed method.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"44 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140935468","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":"Numerical analysis of a mixed-dimensional poromechanical model with frictionless contact at matrix–fracture interfaces","authors":"Francesco Bonaldi, Jérôme Droniou, Roland Masson","doi":"10.1090/mcom/3949","DOIUrl":"https://doi.org/10.1090/mcom/3949","url":null,"abstract":"<p>We present a complete numerical analysis for a general discretization of a coupled flow–mechanics model in fractured porous media, considering single-phase flows and including frictionless contact at matrix–fracture interfaces, as well as nonlinear poromechanical coupling. Fractures are described as planar surfaces, yielding the so-called mixed- or hybrid-dimensional models. Small displacements and a linear elastic behavior are considered for the matrix. The model accounts for discontinuous fluid pressures at matrix–fracture interfaces in order to cover a wide range of normal fracture conductivities.</p> <p>The numerical analysis is carried out in the Gradient Discretization framework (see J. Droniou, R. Eymard, T. Gallouët, C. Guichard, and R. Herbin [<italic>The gradient discretisation method</italic>, Springer, Cham, 2018]), encompassing a large family of conforming and nonconforming discretizations. The convergence result also yields, as a by-product, the existence of a weak solution to the continuous model. A numerical experiment in 2D is presented to support the obtained result, employing a Hybrid Finite Volume scheme for the flow and second-order finite elements (<inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper P 2\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"double-struck\">P</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msub> <mml:annotation encoding=\"application/x-tex\">mathbb {P}_2</mml:annotation> </mml:semantics> </mml:math> </inline-formula>) for the mechanical displacement coupled with face-wise constant (<inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper P 0\"> <mml:semantics> <mml:msub> <mml:mrow> <mml:mi mathvariant=\"double-struck\">P</mml:mi> </mml:mrow> <mml:mn>0</mml:mn> </mml:msub> <mml:annotation encoding=\"application/x-tex\">mathbb P_0</mml:annotation> </mml:semantics> </mml:math> </inline-formula>) Lagrange multipliers on fractures, representing normal stresses, to discretize the contact conditions.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"16 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931392","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":"Generalized Pohst inequality and small regulators","authors":"Francesco Battistoni, Giuseppe Molteni","doi":"10.1090/mcom/3954","DOIUrl":"https://doi.org/10.1090/mcom/3954","url":null,"abstract":"<p>Current methods for the classification of number fields with small regulator depend mainly on an upper bound for the discriminant, which can be improved by looking for the best possible upper bound of a specific polynomial function over a hypercube. In this paper, we provide new and effective upper bounds for the case of fields with one complex embedding and degree between five and nine: this is done by adapting the strategy we have adopted to study the totally real case, but for this new setting several new computational issues had to be overcome. As a consequence, we detect the four number fields of signature <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis r 1 comma r 2 right-parenthesis equals left-parenthesis 6 comma 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:msub> <mml:mi>r</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>r</mml:mi> <mml:mn>2</mml:mn> </mml:msub> <mml:mo stretchy=\"false\">)</mml:mo> <mml:mo>=</mml:mo> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>6</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(r_1,r_2)=(6,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with smallest regulator; we also expand current lists of number fields with small regulator in signatures <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis 3 comma 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(3,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>, <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis 4 comma 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>4</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(4,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis 5 comma 1 right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mn>5</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">(5,1)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"37 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931199","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 new div-div-conforming symmetric tensor finite element space with applications to the biharmonic equation","authors":"Long Chen, Xuehai Huang","doi":"10.1090/mcom/3957","DOIUrl":"https://doi.org/10.1090/mcom/3957","url":null,"abstract":"<p>A new <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H left-parenthesis d i v d i v right-parenthesis\"> <mml:semantics> <mml:mrow> <mml:mi>H</mml:mi> <mml:mo stretchy=\"false\">(</mml:mo> <mml:mi>div</mml:mi> <mml:mo>⁡<!-- ⁡ --></mml:mo> <mml:mi>div</mml:mi> <mml:mo stretchy=\"false\">)</mml:mo> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">H(operatorname {div}operatorname {div})</mml:annotation> </mml:semantics> </mml:math> </inline-formula>-conforming finite element is presented, which avoids the need for supersmoothness by redistributing the degrees of freedom to edges and faces. This leads to a hybridizable mixed method with superconvergence for the biharmonic equation. Moreover, new finite element divdiv complexes are established. Finally, new weak Galerkin and <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper C Superscript 0\"> <mml:semantics> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>0</mml:mn> </mml:msup> <mml:annotation encoding=\"application/x-tex\">C^0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> discontinuous Galerkin methods for the biharmonic equation are derived.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"38 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931345","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":"Analysis of the boundary conditions for the ultraweak-local discontinuous Galerkin method of time-dependent linear fourth-order problems","authors":"Fengyu Fu, Chi-Wang Shu, Qi Tao, Boying Wu","doi":"10.1090/mcom/3955","DOIUrl":"https://doi.org/10.1090/mcom/3955","url":null,"abstract":"<p>In this paper, we study the ultraweak-local discontinuous Galerkin (UWLDG) method for time-dependent linear fourth-order problems with four types of boundary conditions. In one dimension and two dimensions, stability and optimal error estimates of order <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k plus 1\"> <mml:semantics> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">k+1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> are derived for the UWLDG scheme with polynomials of degree at most <inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k\"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding=\"application/x-tex\">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula> (<inline-formula content-type=\"math/mathml\"> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"k greater-than-or-equal-to 1\"> <mml:semantics> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>≥<!-- ≥ --></mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:annotation encoding=\"application/x-tex\">kge 1</mml:annotation> </mml:semantics> </mml:math> </inline-formula>) for solving initial-boundary value problems. The main difficulties are the design of suitable penalty terms at the boundary for numerical fluxes and the construction of projections. More precisely, in two dimensions with the Dirichlet boundary condition, an elaborate projection of the exact boundary condition is proposed as the boundary flux, which, in combination with some proper penalty terms, leads to the stability and optimal error estimates. For other three types of boundary conditions, optimal error estimates can also be proved for fluxes without any penalty terms when special projections are designed to match different boundary conditions. Numerical experiments are presented to confirm the sharpness of theoretical results.</p>","PeriodicalId":18456,"journal":{"name":"Mathematics of Computation","volume":"60 1","pages":""},"PeriodicalIF":2.0,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140931331","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}