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”