Guaranteed and fully computable two-sided bounds of Friedrichs’ constant

Vejchodský, Tomáš

Displaying similar documents to “Guaranteed and fully computable two-sided bounds of Friedrichs’ constant”

Computing upper bounds on Friedrichs’ constant

Vejchodský, Tomáš

Similarity:

This contribution shows how to compute upper bounds of the optimal constant in Friedrichs’ and similar inequalities. The approach is based on the method of $a p r i o r i - a p o s t e r i o r i i n e q u a l i t i e s$ [9]. However, this method requires trial and test functions with continuous second derivatives. We show how to avoid this requirement and how to compute the bounds on Friedrichs’ constant using standard finite element methods. This approach is quite general and allows variable coefficients and mixed boundary conditions. We use the...

Explicit estimation of error constants appearing in non-conforming linear triangular finite element method

Xuefeng Liu, Fumio Kikuchi (2018)

Applications of Mathematics

Similarity:

The non-conforming linear ( $P_{1}$ ) triangular FEM can be viewed as a kind of the discontinuous Galerkin method, and is attractive in both the theoretical and practical purposes. Since various error constants must be quantitatively evaluated for its accurate a priori and a posteriori error estimates, we derive their theoretical upper bounds and some computational results. In particular, the Babuška-Aziz maximum angle condition is required just as in the case of the conforming $P_{1}$ triangle. Some...

Finite element analysis for a regularized variational inequality of the second kind

Zhang, Tie, Zhang, Shuhua, Azari, Hossein

Similarity:

In this paper, we investigate the a priori and the a posteriori error analysis for the finite element approximation to a regularization version of the variational inequality of the second kind. We prove the abstract optimal error estimates in the $H^{1}$ - and $L_{2}$ -norms, respectively, and also derive the optimal order error estimate in the $L_{\infty}$ -norm under the strongly regular triangulation condition. Moreover, some residual–based a posteriori error estimators are established, which can provide the...

Explicit estimates for the summatory function of Λ(n)/n from the one of Λ(n)

Olivier Ramaré (2013)

Acta Arithmetica

Similarity:

We prove that the error term $\sum_{n \leq x} Λ (n) / n - l o g x + γ$ differs from (ψ(x)-x)/x by a well controlled function. We deduce very precise numerical results from the formula obtained.

On polynomial robustness of flux reconstructions

Miloslav Vlasák (2020)

Applications of Mathematics

Similarity:

We deal with the numerical solution of elliptic not necessarily self-adjoint problems. We derive a posteriori upper bound based on the flux reconstruction that can be directly and cheaply evaluated from the original fluxes and we show for one-dimensional problems that local efficiency of the resulting a posteriori error estimators depends on $p^{1 / 2}$ only, where $p$ is the discretization polynomial degree. The theoretical results are verified by numerical experiments.

A lower bound sequence for the minimum eigenvalue of Hadamard product of an $M$ -matrix and its inverse

Wenlong Zeng, Jianzhou Liu (2022)

Czechoslovak Mathematical Journal

Similarity:

We propose a lower bound sequence for the minimum eigenvalue of Hadamard product of an $M$ -matrix and its inverse, in terms of an $S$ -type eigenvalues inclusion set and inequality scaling techniques. In addition, it is proved that the lower bound sequence converges. Several numerical experiments are given to demonstrate that the lower bound sequence is sharper than some existing ones in most cases.

Nonconforming P1 elements on distorted triangulations: Lower bounds for the discrete energy norm error

Peter Oswald (2017)

Applications of Mathematics

Similarity:

Compared to conforming P1 finite elements, nonconforming P1 finite element discretizations are thought to be less sensitive to the appearance of distorted triangulations. E.g., optimal-order discrete $H^{1}$ norm best approximation error estimates for $H^{2}$ functions hold for arbitrary triangulations. However, the constants in similar estimates for the error of the Galerkin projection for second-order elliptic problems show a dependence on the maximum angle of all triangles in the triangulation....

Diagonalization in proof complexity

Jan Krajíček (2004)

Fundamenta Mathematicae

Similarity:

We study diagonalization in the context of implicit proofs of [10]. We prove that at least one of the following three conjectures is true: ∙ There is a function f: 0,1* → 0,1 computable in that has circuit complexity $2^{Ω (n)}$ . ∙ ≠ co . ∙ There is no p-optimal propositional proof system. We note that a variant of the statement (either ≠ co or ∩ co contains a function $2^{Ω (n)}$ hard on average) seems to have a bearing on the existence of good proof complexity generators. In particular, we prove that...

Anisotropic $h p$ -adaptive method based on interpolation error estimates in the $H^{1}$ -seminorm

Vít Dolejší (2015)

Applications of Mathematics

Similarity:

We develop a new technique which, for the given smooth function, generates the anisotropic triangular grid and the corresponding polynomial approximation degrees based on the minimization of the interpolation error in the broken $H^{1}$ -seminorm. This technique can be employed for the numerical solution of boundary value problems with the aid of finite element methods. We present the theoretical background of this approach and show several numerical examples demonstrating the efficiency of...

On sparsity of approximate solutions to max-plus linear systems

Pingke Li (2024)

Kybernetika

Similarity:

When a system of one-sided max-plus linear equations is inconsistent, the approximate solutions within an admissible error bound may be desired instead, particularly with some sparsity property. It is demonstrated in this paper that obtaining the sparsest approximate solution within a given $L_{\infty}$ error bound may be transformed in polynomial time into the set covering problem, which is known to be NP-hard. Besides, the problem of obtaining the sparsest approximate solution within a given...

On the optimality and sharpness of Laguerre's lower bound on the smallest eigenvalue of a symmetric positive definite matrix

Yusaku Yamamoto (2017)

Applications of Mathematics

Similarity:

Lower bounds on the smallest eigenvalue of a symmetric positive definite matrix $A \in ℝ^{m \times m}$ play an important role in condition number estimation and in iterative methods for singular value computation. In particular, the bounds based on $Tr (A^{- 1})$ and $Tr (A^{- 2})$ have attracted attention recently, because they can be computed in $O (m)$ operations when $A$ is tridiagonal. In this paper, we focus on these bounds and investigate their properties in detail. First, we consider the problem of finding the optimal bound that...

On the Riesz means of n/ϕ(n) - III

Ayyadurai Sankaranarayanan, Saurabh Kumar Singh (2015)

Acta Arithmetica

Similarity:

Let ϕ(n) denote the Euler totient function. We study the error term of the general kth Riesz mean of the arithmetical function n/ϕ(n) for any positive integer k ≥ 1, namely the error term $E_{k} (x)$ where $1 / k! \sum_{n \leq x} n / ϕ (n) {(1 - n / x)}^{k} = M_{k} (x) + E_{k} (x)$ . For instance, the upper bound for |Ek(x)| established here improves the earlier known upper bounds for all integers k satisfying $k ≫ {(l o g x)}^{1 + ϵ}$ .

Mixed $A_{p} - A_{\infty}$ estimates with one supremum

Andrei K. Lerner, Kabe Moen (2013)

Studia Mathematica

Similarity:

We establish several mixed $A_{p} - A_{\infty}$ bounds for Calderón-Zygmund operators that only involve one supremum. We address both cases when the $A_{\infty}$ part of the constant is measured using the exponential-logarithmic definition and using the Fujii-Wilson definition. In particular, we answer a question of the first author and provide an answer, up to a logarithmic factor, to a conjecture of Hytönen and Lacey. Moreover, we give an example to show that our bounds with the logarithmic factors can be arbitrarily...