{"id":"arxiv/2601.00404","url":"https://arxiv.org/abs/2601.00404","tags":["math.NA"],"score":0,"title":"Guaranteed stability bounds for second-order PDE problems satisfying a Garding inequality","domain":"math.NA","source":"arxiv","authors":["T. Chaumont-Frelet"],"reviews":0,"subject":"math.NA","summary":"We propose an algorithm to numerically determined whether a second-order linear PDE problem satisfying a Garding inequality is well-posed. This algorithm further provides a lower bound to the inf-sup constant of the weak formulation, which may in turn be used for a posteriori error estimation purposes. Our numerical lower bound is based on two discrete singular value problems involving a Lagrange finite element discretization coupled with an a posteriori error estimator based on flux reconstruction techniques. We show that if the finite element discretization is sufficiently rich, our lower…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-01","reactions":{}}