Wallis' integrals

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, and more precisely in analysis, the Wallis' integrals constitute a family of integrals introduced by John Wallis.

Definition, basic properties[edit]

The Wallis' integrals are the terms of the sequence defined by:

or equivalently (through a substitution: ):

In particular, the first few terms of this sequence are:

...
...

The sequence is decreasing and has strictly positive terms. In fact, for all  :

  • , because it is an integral of a non-negative continuous function which is not all zero in the integration interval
(by the linearity of integration and because the last integral is an integral of a non-negative function within the integration interval)

Note: Since the sequence is decreasing and bounded below by 0, it converges to a non-negative limit. Indeed, the limit is zero (see below).

Recurrence relation, evaluating the Wallis' integrals[edit]

By means of integration by parts, an interesting recurrence relation can be obtained:

Noting that for all real , , we have, for all natural numbers ,
(equation )

Integrating the second integral by parts, with:

  • , whose anti-derivative is
  • , whose derivative is

we have:

Substituting this result into gives:

and thus

(equation )

This gives the well-known identity:

, valid for all .

This is a recurrence relation giving in terms of . This, together with the values of and , give us two sets of formulae for the terms in the sequence , depending on whether is odd or even.

  • for ,
  • for ,

Note that all the even terms are irrational, whereas the odd terms are all rational.

Another relation to evaluate the Wallis' integrals[edit]

Wallis's integrals can be evaluated by using Euler integral :

  1. Euler integral of the first kind: the Beta function:
  2. Euler integral of the second kind: the Gamma function:

If we make the following substitution inside the Beta function:
We obtain :

We know that , so this gives us the following relation to evaluate the Wallis'integrals:

Equivalence[edit]

  • From the recurrence formula above , we can deduce that
(equivalence of two sequences).
Indeed, for all  :
(since the sequence is decreasing)
(since )
(by equation ).
By the sandwich theorem, we conclude that , and hence .
  • By examining , one obtains the following equivalence:
( and consequently ).

Deducing Stirling's formula[edit]

Suppose that we have the following equivalence (known as Stirling's formula)

, where .

We now want to determine the value of this constant using the formula for .

  • From above, we know that:
(equation )
  • Expanding and using the formula above for the factorials, we get:
and hence:
(equation )
From and , we obtain, by transitivity,
, which gives :
, and hence .
We have thus proved Stirling's formula:
.

Evaluating the Gaussian Integral[edit]

The Gaussian integral can be evaluated through the use of Wallis' integrals.

We first prove the following inequalities:

In fact, letting , the first inequality (in which ) is equivalent to ; whereas the second inequality reduces to , which becomes . These 2 latter inequalities follow from the convexity of the exponential function (or from an analysis of the function ).

Letting and making use of the basic properties of improper integrals (the convergence of the integrals is obvious), we obtain the inequalities:

for use with the sandwich theorem (as ).

The first and last integrals can be evaluated easily using Wallis' integrals. For the first one, let (t varying from 0 to ). Then, the integral becomes . For the last integral, let (t varying from to ). Then, it becomes .

As we have shown before, . So, it follows that .

Remark: There are other methods of evaluating the Gaussian integral. Some of them are more direct.

Relation with the Beta and Gamma functions[edit]

One of the definitions of the Beta function reads:

Putting , into this equation gives us an expression of the Wallis' integrals in terms of the Beta function:

or equivalently,

.

Exploiting the identity relating the Beta function to Gamma function:

We can rewrite the above in terms of the Gamma function:

So, for odd , writing , we have:

whereas for even , writing , we get:

Note[edit]

The same properties lead to Wallis product, which expresses (see ) in the form of an infinite product.

External links[edit]

  • Pascal Sebah and Xavier Gourdon. Introduction to the Gamma Function. In PostScript and HTML formats.