Related papers: Explicit and Effective Estimates for the error ter…
The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their…
This paper proposes a parametric error analysis method for Goldschmidt floating point division, which reveals how the errors of the intermediate results accumulate and propagate during the Goldschmidt iterations. The analysis is developed…
This article deals with the computation of guaranteed lower bounds of the error in the framework of finite element (FE) and domain decomposition (DD) methods. In addition to a fully parallel computation, the proposed lower bounds separate…
The integer division of a numerator n by a divisor d gives a quotient q and a remainder r. Optimizing compilers accelerate software by replacing the division of n by d with the division of c * n (or c * n + c) by m for convenient integers c…
We propose a novel a posteriori error estimator for conforming finite element discretizations of two- and three-dimensional Helmholtz problems. The estimator is based on an equilibrated flux that is computed by solving patchwise mixed…
An explicit estimate for the Riemann zeta function on the critical line is derived using the van der Corput method. An explicit van der Corput lemma is presented.
We derive explicit pointwise bounds for the spatial derivative $\left| \frac{\partial V}{\partial x} \right|$ of solutions to linear parabolic PDEs with Neumann boundary conditions. The bound is fully explicit in the sense that it depends…
Assuming the Riemann Hypothesis, we derive explicit bounds for the error terms in short interval analogues of the prime number theorem and Mertens' theorems using a smoothing argument. Our results improve upon previous bounds in both…
This paper is concerned with the computable error estimates for the eigenvalue problem which is solved by the general conforming finite element methods on the general meshes. Based on the computable error estimate, we can give an…
The Operator Product Expansion provides expressions for the $n^{th}$ moments of $g_1(x)$ and $g_2(x)$ in terms of hadronic matrix elements of local operators for $n =$ odd integer. In some cases these matrix elements are expected to be…
A numerical procedure providing guaranteed two-sided bounds on the effective coefficients of elliptic partial differential operators is presented. The upper bounds are obtained in a standard manner through the variational formulation of the…
In a work of Heath-Brown, it is proved that in the Pilz divisor problem, the normalized error term $\Delta_3(x)$ has a distribution function. In this paper, we prove an analogue of this result in the setting of GL(3). For a given self-dual…
In this paper we are concerned with resolvent estimates for the Laplacian $\Delta$ in Euclidean spaces. Uniform resolvent estimates for $\Delta$ were shown by Kenig, Ruiz and Sogge \cite{KRS} who established rather a complete description of…
We obtain an asymptotic formula for the average value of the divisor function over the integers $n \le x$ in an arithmetic progression $n \equiv a \pmod q$, where $q=p^k$ for a prime $p\ge 3$ and a sufficiently large integer $k$. In…
Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related…
We present an algorithm that unconditionally computes a representation of the unit group of a number field of discriminant $\Delta_K$, given a full-rank subgroup as input, in asymptotically fewer bit operations than the baby-step giant-step…
Let $\Delta_1(x;\phi)$ be the error term of the first Riesz means of the Rankin-Selberg zeta function. We study the higher power moments of $\Delta_1(x;\phi)$ and derive an asymptotic formula for 3-rd, 4-th and 5-th power moments by using…
Let $d(n;\ell_1,M_1,\ell_2,M_2)$ denote the number of factorizations $n=n_1n_2$, where each of the factors $n_i\in\mathbb{N}$ belongs to a prescribed congruence class $\ell_i\bmod M_i\,(i=1,2)$. Let $\Delta(x;\ell_1,M_1,\ell_2,M_2)$ be the…
In this paper we present a new perspective on error analysis of Legendre approximations for differentiable functions. We start by introducing a sequence of Legendre-Gauss-Lobatto polynomials and prove their theoretical properties, such as…
We show that a certain error estimate for a fully discrete finite element approximation of the solution of the heat equation which is defined in a two-dimensional Euclidean domain carries over to the case of a general linear parabolic…