I’m doing a research project in the School of Physics at Monash University, looking at whether is really found in quantum mechanics, which was suggested by a paper published in 2015 where they presented a quantum mechanical derivation of the Wallis product.
I’m finishing up now, and thought I’d present here a derivation of the Wallis Product. It involves Gamma Functions, the squeeze theorem and some good old fashion algebra. The start of this is actually the original derivation done by Wallis in 1655, but whereas he used recursion relations to expand the values of Wallis Integrals,
I used the gamma function representations of these integrals. So if n is odd, i.e. , we get
(1)
and if n is even, , the Wallis integral is
(2)
Firstly, we shall use integration by parts on as follows:
Let and
and doing the integration by parts we get:
which is
(3)
Now note that for , we have
, which means the following inequalities are true for
(4)
In terms of notation, the inequalities in equation 4 are:
(5)
Dividing the inequalities in equation 5 by we get:
(6)
From equation 3, we find that
which means that the inequalities in 6 become
(7)
Now,
and
so by the inequality in equation 7 and the squeeze theorem, we get that
(8)
Substituting equations 1 and 2 into 8, we get:
From 8, it follows that
(9)
and since
we can re-write 9 as
which can be re-arranged to give:
(10)
Wow I never really thought about it that way. Ur a bad ass 🔥🔥