Asymptotic Behaviors of Intermediate Points in the Remainder of the Euler-Maclaurin Formula

and Applied Analysis 3 in an infinite number of variables x1, x2, . . ., defined by the series expansion 1 k! (∑ m≥1 xm t m! )k ∑ n≥k Bn,k t n! , k 0, 1, 2, . . . . 2.2 Their explicit expressions are given by the formula Bn,k x1, x2, . . . , xn−k 1 ∑ n! a1! 1! a2! 2! a2 · · · x1 1x2 a2 . . . , 2.3 where the summation takes place over all nonnegative integers a1, a2, . . ., such that a1 2a2 · · · n and a1 a2 · · · k. For example, we have B0,0 1, B1,1 x1, B2,1 x2, B2,2 x1, B3,1 x3, B3,2 3x1x2, B3,3 x1, . . . , Bn,1 xn, Bn,n x1. 2.4 For more important properties the reader is referred to 15 . 3. Asymptotic Expansions of Intermediate Points In this section, we will consider asymptotic behavior of the point ξ in 1.4 . Before the main result is given we first present an essential lemma. Lemma 3.1 see 15 . The following identity:


Introduction
It is well known that the Euler-Maclaurin formula is a formula used in the numerical evaluation of integral, which states that the value of an integral is equal to the sum of the value given by the trapezoidal rule and a series of terms involving the odd-numbered derivatives of the function at the end points of the integral interval.Specifically, for the function f ∈ C 2m 2 a, b the Euler-Maclaurin formula can be expressed as follows where and ξ is some point between a and b.The constants B i are known as Bernoulli numbers, which are defined by the equation The first few of the Bernoulli numbers are B 0 1, B 1 −1/2, B 2 1/6, and B 2i−1 0 for all i ≥ 2. The Euler-Maclaurin formula was discovered independently by Leonhard Euler and Colin Maclaurin, and it has wide applications in calculus and numerical analysis.For example, the Euler-Maclaurin formula is often used to evaluate finite sums and infinite series when a and b are integers.Conversely, it is also used to approximate integrals by finite sums.Therefore, the Euler-Maclaurin formula provides the correspondence between sums and integrals.Besides, the Euler-Maclaurin formula may be used to derive a wide range of quadrature formulas including the Newton-Cotes formulas, and used for detailed error analysis in numerical quadrature.
The Euler-Maclaurin formula has many generalizations and extensions 1-6 .A direct generalization of the Euler-Maclaurin formula in the interval a, a h can be described as where ξ ∈ a, a h , n is a positive integer and m is a nonnegative integer.Obviously, when n 1, 1.4 reduces to 1.1 .We also conclude that this equation has algebraic accuracy of 2m 1 which is the same as 1.1 .Recently, some interests have been focused on the study of the mean value theorem for integrals and differentiations 7-14 .The aim of the present paper is to deal with asymptotic expansions of the intermediate points in the generalized Euler-Maclaurin formula when the length of the integral interval tends to be zero.The rest of this paper is organized as follows.In the second section, the Bell polynomials as a standard mathematical are introduced in detail.In the third section, we give asymptotic behavior of the intermediate points in the remainder of the generalized Euler-Maclaurin formula 1.4 .As a special case, asymptotic behavior of the intermediate points in remainder of the composite trapezoidal formula is also presented.

Bell Polynomials
The Bell polynomials 15 extensively studied by Bell arise in combinatorial analysis, and they have been applied in many different frameworks.The exponential partial Bell polynomials are the polynomials in an infinite number of variables x 1 , x 2 , . .., defined by the series expansion Their explicit expressions are given by the formula where the summation takes place over all nonnegative integers a 1 , a 2 , . .., such that a 1 2a 2 For example, we have For more important properties the reader is referred to 15 .

Asymptotic Expansions of Intermediate Points
In this section, we will consider asymptotic behavior of the point ξ in 1.4 .Before the main result is given we first present an essential lemma.
Lemma 3.1 see 15 .The following identity: holds, where r is a positive integer.
This lemma gives relations between the sum of powers of the first n integers and the Bernoulli numbers.Now, we turn to the asymptotic behavior of the point ξ in 1.4 .Namely, the following theorem is our main result.Theorem 3.2.Let p, q be integers and p ≥ 1, q ≥ 0. Assume that f is a function admitting in a neighborhood of the point a of Ê a derivative of order 2m 2 p q such that f 2m 2 p q is continuous at a.If f 2m 3 a • • • f 2m 1 p a 0, and f 2m 2 p a / 0, then The coefficients c i are given by the recurrence formula

3.5
Proof.For convenience, we let

3.6
According to 1.4 , we have A B − C. We first consider A. Using the Taylor expansion, we have

3.7
When h → 0, using the Taylor expansion again we have where k/2 denotes the largest integer that is not greater than k/2.Since B 0 1, B 1 −1/2, and B 2i−1 0 for i ≥ 2, by Lemma 3.1 there holds n j o h 2m 3 p q , 3.10 as h → 0. By the Taylor expansion, it follows that n j o h q , h −→ 0.

3.13
Then 3.12 can be rewritten as The rest proof is similar to that in 7, 8 , and we omit it.
Putting m 0 in 1.4 we derive the composite trapezoidal rule as follows where ξ ∈ a, a h .When h → 0, in view of Theorem 3.2 we obtain asymptotic behavior of the intermediate point ξ in above composite trapezoidal rule.
Corollary 3.3.Let p, q be integers and p ≥ 1, q ≥ 0. Assume that f is a function admitting in a neighborhood of the point a of Ê a derivative of order p q 2 and that f p q 2 is continuous at a.If f a • • • f p 1 a 0, and f p 2 a / 0, then ξ a q 1 i 1 c i h i o h q 1 h −→ 0 .

3.16
The coefficients c i are given by the recurrence formula f p k 2 a p k !, φ k s k s 0 , ψ k t k t 0 , k 0, 1, . . ., q. 3.19