Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
For $(2n-1)$-convex functions, this work tightens classical integral bracketing by proving the exact integral lies strictly between the $n$-point Gauss-Legendre rule and the midpoint of the Gauss-Legendre and $(n+1)$-point Gauss-Lobatto bounds. This yields an optimal, certified estimator $Q_n = \frac{3}{4}G_n + \frac{1}{4}L_{n+1}$ that shrinks the classical error certificate by a sharp factor of two, while identifying kernel sign-changes that prevent an analogous midpoint refinement in the even-order Gauss-Radau setting. Crucially, these shape certificates provide rigorous deterministic integration bounds for spline models and near-singular Stieltjes kernels where classical high-order derivative estimates catastrophically degrade.
The classical uncertainty bracket for odd-order convex integration can be halved for free, establishing that the true integral always lies between the Gauss-Legendre rule and the midpoint of the Gauss-Lobatto bound.
For functions that are convex of higher order, classical extremalities identify Gaussian quadrature as a lower bound and Gauss--Lobatto quadrature as an upper bound for the integral. We sharpen this bracket in every odd order: if $f$ is $(2n-1)$-convex on $[-1,1]$, then the exact integral $I[f]:=\int_{-1}^{1}f(x)\,dx$ lies not merely between the $n$-point Gauss--Legendre rule $G_n[f]$ and the $(n+1)$-point Gauss--Lobatto rule $L_{n+1}[f]$, but already between $G_n[f]$ and their midpoint. This yields the certified estimator $Q_n[f]:=\frac{3}{4}G_n[f]+\frac{1}{4}L_{n+1}[f]$, with $|I[f]-Q_n[f]|\leqslant\frac{1}{4}|L_{n+1}[f]-G_n[f]|$, and the constant $\frac{1}{4}$ is sharp. We also record a complementary phenomenon in even order: for $2n$-convex functions the Gauss--Radau endpoint rules still bracket the integral, but the midpoint of the two Radau rules cannot yield a one-sided refinement. The obstruction is explained by an odd, sign-changing Radau quadrature kernel. Finally, we distinguish numerical certification from ordinary high-order approximation: we include concrete examples from spline, moment and statistical models and report experiments for truncated powers and near-pole Stieltjes kernels, where the shape certificate remains meaningful when classical smoothness-based error constants are unavailable or severely pessimistic.