Mizuno-type result and Wallis' formula

Abstract

Let $\tildeΓ(z)$ be the modified gamma function introduced by the authors in a recent preprint "arXiv2106.14674". In this note, we obtain the following Mizuno-type result: \begin{equation*} \prod_{m=0}^{\infty}\left\{\prod_{j=1}^{n}(m+z_{j})\right\}^{(-1)^{m}}=\frac{\left(\sqrt{\fracπ{2}}\right)^n}{\prod_{j=1}^{n}\tildeΓ(z_{j})}, \end{equation*} which imply a Kurokawa--Wakayama type formula \begin{equation*} \prod_{m=0}^\infty\left((m+x)^{n}-y^n\right)^{(-1)^{m}} =\frac{\left(\sqrt{\fracπ{2}}\right)^n}{\prod_{ζ^{n}=1}\tildeΓ(x-ζy)} \end{equation*} and a Lerch-type formula \begin{equation*} \prod_{m=0}^\infty(m+x)^{(-1)^{m}}=\frac{\sqrt{\fracπ{2}}}{\tildeΓ(x)}. \end{equation*} By setting $x=1$ in the above result, we recover Wallis' 1656 fomula \begin{equation*}\frac{2\cdot2}{1\cdot 3}\frac{4\cdot4}{3\cdot 5}\frac{6\cdot6}{5\cdot 7}\cdots=\fracπ{2}. \end{equation*}