A New First Order Taylor-like Theorem With An Optimized Reduced Remainder

12/28/2021
by   Joël Chaskalovic, et al.
0

This paper is devoted to a new first order Taylor-like formula where the corresponding remainder is strongly reduced in comparison with the usual one which which appears in the classical Taylor's formula. To derive this new formula, we introduce a linear combination of the first derivatives of the concerned function which are computed at n+1 equally spaced points between the two points where the function has to be evaluated. Therefore, we show that an optimal choice of the weights of the linear combination leads to minimize the corresponding remainder. Then, we analyze the Lagrange P_1- interpolation error estimate and also the trapezoidal quadrature error to assess the gain of accuracy we get due to this new Taylor-like formula.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/17/2023

A new second order Taylor-like theorem with an optimized reduced remainder

In this paper, we derive a variant of the Taylor theorem to obtain a new...
research
09/30/2022

A refined first-order expansion formula in Rn: Application to interpolation and finite element error estimates

The aim of this paper is to derive a refined first-order expansion formu...
research
02/23/2021

Transfer function interpolation remainder formula of rational Krylov subspace methods

Rational Krylov subspace projection methods are one of successful method...
research
10/28/2022

Equally spaced points are optimal for Brownian Bridge kernel interpolation

In this paper we show how ideas from spline theory can be used to constr...
research
07/30/2019

On an optimal quadrature formula for approximation of Fourier integrals in the space L_2^(1)

This paper deals with the construction of an optimal quadrature formula ...
research
11/04/2021

A Sound Up-to-n,δ Bisimilarity for PCTL

We tackle the problem of establishing the soundness of approximate bisim...
research
11/07/2017

Splitting Proofs for Interpolation

We study interpolant extraction from local first-order refutations. We p...

Please sign up or login with your details

Forgot password? Click here to reset