The Legendre polynomials are a set of polynomial solutions to the Legendre’s Differential equation:

The edifice of most irrationality arguments use the fact the repeated integration by parts can be used on generating functions involving the polynomial.Another useful property is that these polynomials have integer coefficients.

Now,I’ll present a few important examples which display this property.

## 1.

One simple but exemplary application of this property is the irrationality of for all .

Here,we use the Legendre polynomial given by:

defined on .

Now,consider the following integral,

**(1)**

Using the Leibniz product rule,

Notice that the sum vanishes as it involves

Each successive integration by parts under the interval will have the same effect.So,performing -fold partial integration.

$\Rightarrow I_{n}=(-1)^{n} \frac{s^{n}}{n!} \int\limits_{0}^{1} x^{n}(1-x)^{n} e^{sx} dx $

For all such that .Also has a global maximum at .

Therefore, **(2)**

From equation **1**,we see that $I_{n}$ has terms of the type

for .

Now,making the substitution and using ,

Using $m-fold$ partial integration,we can see that where

Thus, can be expanded as follows:

for some

for some .

Assume that $e^{s}$ is rational..

.

From inequality **2,**

.It’s easy to see that for some large ,the inequality will flip.So,this is a contradiction. is irrational

## 2.

A similar approach can be taken to prove the irrationality of using the integral

## 3.

### Irrationality Exponent

For any real number ,consider the set of real numbers $S=latex \mu $ such that

,then is the **irrationality exponent** of .

It is a measure of how well an irrational number can be approximated by a rational.

Legendre-type polynomials were used by M. Hata,J. Reine Angrew,Alladi,ML Robinson to obtain irrationality exponents for a wide variety of numbers including .

M.Hata ingeniously used the Legendre-type polynomial for to establish an irrationality exponent for the hypergeometric function .

Through these polynomials,he also established irrationality exponents for .

## One thought on “Using Legendre Polynomials in irrationality proofs and establishing irrationality measures”