We extend the classical Euler-Maclaurin expansion to sums over multidimensional lattices that involve functions with algebraic singularities. This offers a tool for the precise quantification of the effect of microscopic discreteness on macroscopic properties of a system. First, the Euler-Maclaurin summation formula is generalised to lattices in higher dimensions, assuming a sufficiently regular summand function. We then develop this new expansion further and construct the singular Euler-Maclaurin (SEM) expansion in higher dimensions, an extension of our previous work in one dimension, which remains applicable and useful even if the summand function includes a singular function factor. We connect our method to analytical number theory and show that all operator coefficients can be efficiently computed from derivatives of the Epstein zeta function. Finally we demonstrate the numerical performance of the expansion and efficiently compute singular lattice sums in infinite two-dimensional lattices, which are of high relevance in solid state and quantum physics. An implementation in Mathematica is provided online along with this article.
Conjugate-symplecticity properties of Euler--Maclaurin methods and their implementation on the Infinity Computer
Università degli Studi di Bari Aldo Moro（巴里阿尔多·莫罗大学）；Università della Calabria（卡拉布里亚大学）；Lobachevsky State University of Nizhni Novgorod（下诺夫哥罗德洛巴切夫斯基州立大学）
We present the singular Euler--Maclaurin expansion, a new method for the efficient computation of large singular sums that appear in long-range interacting systems in condensed matter and quantum physics. In contrast to the traditional Euler--Maclaurin summation formula, the new method is applicable also to the product of a differentiable function and a singularity. For suitable non-singular functions, we show that the approximation error decays exponentially in the expansion order and polynomially in the characteristic length scale of the non-singular function, where precise error estimates a…
We derive a priori error of the Godunov method for the multidimensional Euler system of gas dynamics. To this end we apply the relative energy principle and estimate the distance between the numerical solution and the strong solution. This yields also the estimates of the $L^2$-norm of errors in density, momentum and entropy. Under the assumption that the numerical density and energy are bounded, we obtain a convergence rate of $1/2$ for the relative energy in the $L^1$-norm. Further, under the assumption -- the total variation of numerical solution is bounded, we obtain the first order conver…
Arbitrary order stationarity preserving stabilized finite elements for multidimensional nonlinear hyperbolic problems. Application to the Euler equations with gravity
Dip. di Matematica G. Castelnuovo, Università di Roma La Sapienza（罗马第一大学数学G.卡斯特鲁诺沃系）；LaR2A Laboratory, Dep. of Mathematics, Faculty of Sciences, Abdelmalek Essaadi Univ.（阿卜杜勒马利克·埃萨迪大学理学院数学系LaR2A实验室）；Inria, Univ. Bordeaux, CNRS, Bordeaux INP, IMB, UMR 5251（法国国家信息与自动化研究所、波尔多大学、法国国家科学研究中心、波尔多理工学院、IMB）
Positivity-preserving and entropy-bounded discontinuous Galerkin method for the chemically reacting, compressible Euler equations. Part II: The multidimensional case
Summation formulas, such as the Euler-Maclaurin expansion or Gregory's quadrature, have found many applications in mathematics, ranging from accelerating series, to evaluating fractional sums and analyzing asymptotics, among others. We show that these summation formulas actually arise as particular instances of a single series expansion, including Euler's method for alternating series. This new summation formula gives rise to a family of polynomials, which contain both the Bernoulli and Gregory numbers in their coefficients. We prove some properties of those polynomials, such as recurrence ide…
The acoustic equations derived as a linearization of the Euler equations are a valuable system for studies of multi-dimensional solutions. Additionally they possess a low Mach number limit analogous to that of the Euler equations. Aiming at understanding the behaviour of the multi-dimensional Godunov scheme in this limit, first the exact solution of the corresponding Cauchy problem in three spatial dimensions is derived. The appearance of logarithmic singularities in the exact solution of the 4-quadrant Riemann Problem in two dimensions is discussed. The solution formulae are then used to obta…
We consider the numerical computation of finite-range singular integrals $$I[f]=\intBar^b_a f(x)\,dx,\quad f(x)=\frac{g(x)}{(x-t)^m},\quad m=1,2,\ldots,\quad a<t<b,$$ that are defined in the sense of Hadamard Finite Part, assuming that $g\in C^\infty[a,b]$ and $f(x)\in C^\infty(\mathbb{R}_t)$ is $T$-periodic with $\mathbb{R}_t=\mathbb{R}\setminus\{t+ kT\}^\infty_{k=-\infty}$, $T=b-a$. Using a generalization of the Euler--Maclaurin expansion developed in [A. Sidi, {Euler--Maclaurin} expansions for integrals with arbitrary algebraic endpoint singularities. {\em Math. Comp.}, 81:2159--2173, 2012]…
We examine the use of the Euler-Maclaurin formula and new derived uniform asymptotic expansions for the numerical evaluation of the Lerch transcendent $Φ(z, s, a)$ for $z, s, a \in \mathbb{C}$ to arbitrary precision. A detailed analysis of these expansions is accompanied by rigorous error bounds. A complete scheme of computation for large and small values of the parameters and argument is described along with algorithmic details to achieve high performance. The described algorithm has been extensively tested in different regimes of the parameters and compared with current state-of-the-art code…
