1. 三位一體的 $\Gamma$-函數

『 我希望本書的讀者能夠尊重這門學科的歷史連續性。 複變函數論是長期發展的成果, 凝聚了許多學者的貢獻。 許多冠上人名之定理, 他們在世當時都是著名數學家。 一個學生應該了解數學的歷史發展以及在這一演變過程中發揮重要作用的人物。 他應該將數學理解為一個鮮活的有機體, 一門不斷成長的學問, 它由許多人的努力所滋養。 如果可能的話, 他應該對那些建構了他所研究體系的數學家們懷有崇敬之情。』

--- E. Hille (1894$\sim$1980) 固定值 之前言 ---

$\Gamma$-函數於西元 1729 年誕生於兩位數學家之間的通信, 其中瑞士人歐拉 (Leonhard Euler, 1707$\sim$1783) 當時身在聖彼得堡, 而德國人哥德巴赫 (Christian Goldbach, 1690$\sim$1764)則是在莫斯科。 $\Gamma$-函數、 beta-函數及其衍生的 Riemann zeta 函數是除了基本函數之外最重要的特殊函數, 18、 19 世紀最偉大的數學家例如, Daniel Bernoulli (1700$\sim$1782)、 歐拉(Leonhard Euler)、 高斯 (Carl Friedrich Gauss, 1777$\sim$1855)、 Adrien-Marie Legendre (1752$\sim$1833)、 Karl Weierstrass (1815$\sim$1897) 與黎曼(Bernhard Riemann, 1826$\sim$1866) 在此都留下影響深遠的足跡。 $\Gamma$-函數的起源脫離不了階乘 (factorial) 的概念, 因此要理解 $\Gamma$-函數, 最好從底下這個積分出發

\begin{align} \int_0^1 (-\log x)^n dx= \int_0^\infty e^{-t} t^n dt = n!,\qquad n\in \mathbb{N}. \label{1.1} \end{align}

由於被積分函數是指數函數與多項式函數的相乘, 計算這個積分最自然的方法是 --- 分部積分 (integration by parts)將多項式 $t^n$ 消去。 事實上等式 \eqref{1.1} 右邊的階乘 $n!$ 是有意義的, 它代表分部積分 $n$ 次, 而且分部積分這個動作導致積分 \eqref{1.1} 最終是《乘積》(multiplication) 的緣由。 另外 \eqref{1.1} 左右兩邊是有本質上的差異, 根據階乘的定義, $n$ 必須是正整數然而左邊的積分, 只需 $n$ 滿足適當的範圍, 使得積分收斂即可。 藉由此觀察, 偉大的瑞士數學家歐拉 (L. Euler) 將正整數 $n$ 取代為非整數的 $\alpha$, 並定義非整數的階乘為

\begin{align} \alpha !\overset{\rm def}{=} \int_0^\infty e^{-t} t^\alpha dt,\qquad \alpha \gt-1. \label{1.2} \end{align}

階乘就由正整數的乘法《代數運算》提升為由積分所定義的《函數》$!$ 由於 $\alpha$ 不是正整數, 分部積分這個動作無法停止, 所以階乘最後成為《無窮乘積》! 後來法國數學家 Legendre 將 $\alpha\gt-1$ 平移成為 $z\gt0$, 並以希臘字母 $\Gamma$ 來命名。 ^{1 1} Beta 函數與 $\Gamma$ 函數最開始是稱為 Euler 第一與第二類積分, 既然 Euler 第一類積分稱為 beta 函數, 那麼 Euler 第二類積分按照希臘字母的順序自然要稱為 gamma 函數, 所以 Legendre 以大寫字母 $\Gamma$ 來表示完全是合理並且可以想像! 只是我無法理解當初為何沒有從希臘第一個字母 $\alpha, A$ 開始命名! 另外有數學史的八卦如此說: Legendre 是將他的姓開頭『L』倒過來變成『$\Gamma$』來命名的! 這個說法很有想像力但只是猜測並沒有根據。

 

定義 1.1： ($\Gamma$-函數 --- 歐拉積分版本, 1729) \begin{align} \Gamma(z) \overset{\rm def}{=} \int_0^\infty e^{-t} t^{z-1} dt,\qquad z\gt0. \label{1.3} \end{align}

這裡我們取自變數為 $z$ 不是 $x$ 主要理由, 是 $\Gamma$-函數可以延拓至複數 $\mathbb{C}$, \eqref{1.3} 對於 $z=x+iy, x\gt0$ 仍然成立, 為了簡便整篇文章我們都將 $z$ 當作實數來看待。 積分收斂的範圍 $z\gt0$ 是可以透過量綱分析來看的。 根據瑕積分的定義 $\Gamma (z)$ 可以拆解為太瘦與太胖兩部分:

\begin{align} \Gamma (z)=I_1+I_2 \overset{\rm def}{=} \int_0^1 e^{-t} t^{z-1} dt +\int_1^\infty e^{-t} t^{z-1} dt. \label{1.4} \end{align}

\eqref{1.4} 這個分解動作也稱為Prym 分解 (Prym's decomposition)。 這是德國數學家 Friedrich Emil Fritz Prym (1841$\sim$1915) 的貢獻。 根據 L'Hospital 法則當 $t\to \infty$ 時, $e^{-t}$ 趨近於 0 的速度比所有的冪函數 $t^{z-1}$ 趨近於無窮大的速度都要來得快, 所以 $I_2$ 收斂, 也就是 $\Gamma (z)$ 沒有太胖的問題! 另外當 $t\to 0$ 時 (我們要考慮瘦瘦高高的情形),

$$ e^{-t}\le 1 \quad \Longrightarrow\quad e^{-t} t^{z-1}\sim t^{z-1} \quad \Longrightarrow\quad z-1\gt-1 \quad \Longrightarrow\quad z\gt0, $$

或做個量綱分析

$$ [I_1]= [t^{z-1}][dt]= [t]^{z},\quad [t]\to 0 \quad\Longrightarrow\quad z\gt0. $$

解決了收斂性問題, 也就是說由積分 \eqref{1.3} 所定義的函數是明確定義的 (well-defined)。 積分 $I_2$ 是 $z$ 的一個全(整)函數 (entire function), 而積分 $I_1$ 則由於積分範圍是 $0\lt t\lt1$; 若將指數函數 $e^{-t}$ 展開為無窮級數, 並與等比級數比較可以證明是一致收斂 (uniform convergence), 因此可以變換積分與無窮級數的順序得 $\Gamma$-函數的 Mittag-Leffler 展開式 ^{2 2} Mittag-Leffler 定理是複變函數論中對半 (亞) 純函數做級數展開的定理, 它表明複數平面上的一個半 (亞) 純函數可以用較為簡單有理分式函數做級數展開。如果 $f(z)$ 是 $\mathbb{C}$ 上的有界函數並且它的極點 $a_n$ 都是非零的一階極點, 那麼 $$ f(z)=f(0)+\sum_{n=1}^\infty {\rm Res}\big(f(z), a_n\big)\bigg({1\over z-a_n}+{1\over a_n}\bigg). (*) $$ 由於級數所在位置正好是極點, 這個展開式也稱為對極點求和 (sum over poles)。

\begin{align} \Gamma(z)=I_1+I_2 = \sum_{n=0}^\infty {(-1)^n\over n!(z+n)}+ \int_1^\infty e^{-t} t^{z-1} dt. \label{1.5} \end{align}

不僅如此, 作為分析極限定理的應用還可以證明 $\Gamma(z)$ 是連續且無窮多次可微 $(z\gt0)$

\begin{align} \Gamma^{(n)}(z) = \int_0^\infty e^{-t} t^{z-1} (\log t)^n dt,\qquad n=1,2,3,\ldots. \label{1.6} \end{align}

但是$\Gamma$-函數的微分在特殊函數論並不是那麼重要! 反而是對數微分 (logarithmic derivative)

\begin{align} \Psi(z) \overset{\rm def}{=} {d\over dz}\log \Gamma(z) = {\Gamma'(z)\over \Gamma(z)}. \label{1.7} \end{align}

這背後的理由要等到$\Gamma$-函數的無窮乘積 \eqref{1.13} 才看得清楚。 藉由分部積分可以證明

$$ \Gamma(z+1)= \int_0^\infty e^{-t} t^{z} dt = -t^z e^{-t}\bigg|_0^\infty + z\int_0^\infty e^{-t} t^{z-1} dt =z\Gamma(z), $$

也就是 $\Gamma(z)$ 滿足函數方程 (functional equation) 或遞推公式

\begin{align} \Gamma(z+1) = z\Gamma(z),\qquad z\gt0. \label{1.8} \end{align}

重複分部積分這個動作可得一般式 ($n\in\mathbb{N}$)

\begin{align} \Gamma(z+n) = z(z+1)\cdots (z+n-1)\Gamma(z),\qquad z\gt0. \label{1.9} \end{align}

令 $z=1$ 並利用 $\Gamma(1)=1$ 可推得 $\Gamma(n+1)=n!$。 這就解釋了為何 $\Gamma$-函數是階乘的推廣。 但是公式不僅僅是公式, 它是有意義會講話的$!$ 藉由函數方程 \eqref{1.8} 與 \eqref{1.9} 可以重新定義 $\Gamma(z)$

\begin{align} \Gamma(z) \overset{\rm def}{=} {\Gamma(z+1)\over z} \quad\Longrightarrow\quad z+1\gt0 \quad\Longrightarrow\quad z\gt-1. \label{1.10}\\ \Gamma(z) \overset{\rm def}{=} {\Gamma(z+n)\over z(z+1)\cdots (z+n-1)} \quad\Longrightarrow\quad z+n\gt0 \quad\Longrightarrow\quad z\gt-n. \label{1.11} \end{align}

也就是說: 透過函數方程 \eqref{1.8}$-$\eqref{1.9}, 可以逐步地將 $\Gamma$-函數從 $z\gt0$ 解析延拓 (analytical continuation) 到全部的複數平面 $\mathbb{C}$, 但付出的代價是 $z\not=0,-1,-2,\ldots$, 因為這些點正是 $\Gamma$-函數的一階極點 (simple pole)。 將 \eqref{1.11} 略作調整可以得高斯版本的 $\Gamma$-函數:

定義 1.2： ($\Gamma$-函數 --- 高斯版本) $z\not=0,-1,-2,\ldots$

\begin{align} \Gamma(z) \overset{\rm def}{=} \lim_{n\to \infty} {n! n^z \over z(z+1)(z+2)\cdots (z+n)}. \label{1.12} \end{align}

高斯這個定義因為包含極限而略嫌不足, 但已經隱含了無窮乘積。 最後取消極限這個符號, 並完善無窮乘積理論主要是 Weierstrass 的貢獻:

定義 1.3： ($\Gamma$-函數 --- Weierstrass版本) $\Gamma$-函數可以表示為 Weierstrass 形式的無窮乘積

\begin{align} \Gamma(z) =\,&{1\over z} e^{-\gamma z} \prod_{n=1}^\infty \bigg(1+{z\over n}\bigg)^{-1} e^{z\over n}, \label{1.13}\\ {\hbox{其中 }} \gamma \overset{\rm def}{=} \,&\lim_{n\to \infty}\bigg[\bigg(1+{1\over 2}+\cdots+{1\over n}\bigg) -\log n\bigg] \label{1.14} \end{align}

是 Euler-Mascheroni 常數, 它的選取必須滿足 $\Gamma(1)=1$。

由高斯或 Weierstrass 的定義 \eqref{1.12}、 \eqref{1.13} 明顯可知 $z=0,-1,-2,\ldots$ 是 $\Gamma$-函數的一階極點 (simple pole)。 這是歐拉積分版本 \eqref{1.3} 不容易看出來的! 回到 $\Gamma$ 函數的對數微分 \eqref{1.7}, 由 Weierstrass 的無窮乘積 \eqref{1.13} 容易推得

\begin{align} \left\{ \begin{aligned} \Psi(z) &= {\Gamma'(z)\over \Gamma(z)}=-\gamma +\sum_{n=0}^\infty \bigg({1\over n+1}-{1\over z+n}\bigg),\\ \Psi'(z)&= \sum_{n=0}^\infty {1\over (z+n)^2}. \end{aligned} \right. \label{1.15} \end{align}

$\Gamma$-函數這三個定義分別以《積分》、《極限》還有《無窮乘積》的形式表現出來, 它們彼此是等價的, 在後面會討論, 這也是我稱之為三位一體的原因$!$ 在基督教的神學中, 《三位一體》 (trinity) 是一個核心概念,它表明了聖父、聖子、聖靈的位格和關係。 所謂「位格」 (persons), 原為希臘文, 意指演員在舞台臉上所戴的面具, 後來用以表示「個人」或「 個體」。 神學上, 它代表的是具有感情、 意志、 良知, 並能與另一位格彼此互動的個體。 在三位一體思想中上帝的三個面具, 目的是用來啟示祂的真性, 而不是用來隱藏祂自己。 上帝的「三位一體」, 就是指獨一的真神擁有三個位格, 即聖父、 聖子、 聖靈【即一而三】, 而三者又同時存在於同一個本體 (substance)之中【即三而一】。 「三位一體」思想之所以重要, 一方面是因為它挽救了基督教的命運, 免於退化為外邦的多神思想; 另一方面是它提出基督教的信仰保證; 神在基督裡, 對耶穌基督負責。 由於其根本重要性, 許多著名大學的學院都以三位一體 (trinity) 來命名, 例如劍橋大學三一學院 (Trinity College, Cambridge) 是劍橋大學中規模最大、 財力最雄厚、 名聲最響亮的學院, 牛頓就是三一學院的, 另外多倫多大學的三一學院也是模仿劍橋大學而來。 順便一提的是 2023 年全球最令人矚目的電影 --- 《奥本海默》, 一部足以載入影史的神作！裡面就談到美國物理學家奥本海默 (J. Robert Oppenheimer, 1904$\sim$1967) 將曼哈頓計畫中的核試爆稱為 《三位一體》。

直接與 $\Gamma$-函數相關的就是 Beta 函數, 它與 $\Gamma$-函數的緊密結合是透過 $\Gamma$-函數之乘積

\begin{align} \Gamma (p)\Gamma (q) =\lim_{R\to\infty}\int\!\!\!\int_\Omega s^{p-1}t^{q-1}e^{-(s+t)}dsdt, \label{1.16} \end{align}

其中$\Omega =[0,R]\times[0,R]$。如果考慮變數變換

$$ \left\{ \begin{aligned} u&=s+t \\ v&=t \end{aligned} \right. \quad\Longleftrightarrow\quad \left\{ \begin{aligned} s&=u-v, \\ t&=v, \end{aligned} \right. $$

則 $\big\vert{\partial (s,t)\over \partial (u,v)}\big\vert=1$ 且將正方形區域 $\Omega$ 變換為三角形區域 $\Omega'=\{(u,v)\vert 0\le u\le R, 0\le v\le u\}$, 所以 \eqref{1.16} 成為累次積分

\begin{align} \begin{aligned} \Gamma (p)\Gamma (q) &=\lim_{R\to\infty}\int\!\!\!\int_{\Omega'}(u-v)^{p-1}v^{q-1}e^{-u}dudv \\[2mm] &=\lim_{R\to\infty}\int_0^R e^{-u} \bigg(\int_0^u (u-v)^{p-1}v^{q-1}dv\bigg)du. \end{aligned} \label{1.17} \end{align}

再進一步考慮變數變換 $v=u\xi$ 則 \eqref{1.17} 可以改寫為

\begin{align} \begin{aligned} \Gamma (p)\Gamma (q) &=\lim_{R\to\infty}\int_0^R e^{-u}u^{p+q-1}du \int_0^1 (1-\xi)^{p-1}\xi^{q-1}d\xi \\[2mm] &=\Gamma(p+q) \int_0^1 (1-\xi)^{p-1}\xi^{q-1}d\xi \\[2mm] &=\Gamma(p+q) \int_0^1 \tau^{p-1}(1-\tau)^{q-1}d\tau,\qquad (\tau = 1-\xi). \end{aligned} \label{1.18} \end{align}

最後出現的積分正是 Beta 函數。 這個結果是歐拉發現的, 它聯繫了 Euler 第一類與第二類 積分兩者的關係。

定義 1.4： (Beta函數 --- Euler第一類積分)

\begin{align} \mathscr{B}(p,q) = \int_0^1 t^{p-1} (1-t)^{q-1} dt={\Gamma(p)\Gamma(q)\over \Gamma(p+q)},\qquad p,q\gt0. \label{1.19} \end{align}

要提醒的是 $\mathscr{B}$ 代表大寫的希臘第二個字母 $\beta$ (念為 beta) 它相當於英文的 $B$。 仿 $\Gamma$-函數, $\mathscr{B}(p,q)$ 收斂的範圍 $p,q\gt0$ 也是可以透過量綱分析來看的。 這個瑕積分沒有太胖的問題、 但是太瘦的地方有 $t=0$ 與 $t=1$ 兩處, 可以拆解為:

$$ \mathscr{B}(p,q)=\tilde{I}_1+\tilde{I}_2 \overset{\rm def}{=} \int_0^{1\over 2} t^{p-1} (1-t)^{q-1} dt +\int_{1\over 2}^1 t^{p-1} (1-t)^{q-1} dt. $$

做個量綱分析可以結論:

$$ [\tilde{I}_1]= [t^{p-1}][dt]= [t]^{p},\quad [t]\to 0 \quad\Longrightarrow\quad p\gt0, $$ $$ [\tilde{I}_2]= [(1-t)^{q-1}][dt]= [1-t]^{q},\quad [1-t]\to 0 \quad\Longrightarrow\quad q\gt0. $$

分別作變數變換: ($0\to t\to 1$)

$$ \left\{ \begin{aligned} t&=1-s,\qquad 1\to s\to 0, \quad\hbox{$t$與$1-t$角色互換} \quad \Longrightarrow \quad \mathscr{B}(p,q)=\mathscr{B}(q,p),\\ t&=\cos^2\theta ,\qquad {\pi\over 2}\to \theta\to 0,\quad \hbox{極座標: 化$x$軸正半徑為四分之一圓之弧長,} \\ t&={1\over 1+\xi },\qquad \infty\to \xi \to 0,\quad \hbox{反轉加平移:}\quad 1\to 0,\quad 0\to \infty\quad \Longrightarrow \ \xi ={1-t\over t},\\ t&={\eta\over 1+\eta },\qquad 0\to \eta\to \infty,\quad \hbox{平移加反轉:}\quad 0\to 0, \quad 1\to \infty\quad \Longrightarrow \quad \eta ={t\over 1-t}. \end{aligned} \right. $$

可將 \eqref{1.19} 改寫為底下常見的形式

\begin{align} \begin{aligned} \mathscr{B}(p,q)&=\mathscr{B}(q,p) =2\int_0^{\pi \over 2}\cos^{2p-1}\theta \ \sin^{2q-1}\theta d\theta \\[2mm] &=\int_0^{\infty }{\xi^{p-1} \over (1+\xi )^{p+q}}d\xi=\int_0^{\infty }{\xi^{q-1} \over (1+\xi )^{p+q}}d\xi ={1\over 2}\int_0^{\infty}{\eta^{p-1}+\eta^{q-1}\over(1+\eta )^{p+q}}d\eta. \end{aligned} \label{1.20} \end{align}

當 $p=z, q=1-z$, 就是本文要探討的餘元公式 (Euler 反射公式): $(x={t\over 1-t}$)

\begin{align} \left\{ \begin{aligned} \mathscr{B}(z, 1-z) &=\int_0^1t^{z-1}(1-t)^{-z} dt =\int_0^1 \bigg({t\over 1-t}\bigg)^z {dt\over t} =\int_0^\infty {x^{z-1}\over 1+x} dx, \\[2mm] \mathscr{B}(1-z, z) &=\!\int_0^1\!t^{-z}(1\!-\!t)^{z-1} dt \!=\!\int_0^1 \bigg({t\over 1\!-\!t}\bigg)^{-z} (1\!-\!t) dt \!=\!\int_0^\infty \!{x^{-z}\over 1+x} dx. \end{aligned} \right. \label{1.21} \end{align}

回到 $\Gamma$-函數, \eqref{1.5} 或 \eqref{1.11} 很清楚地告訴我們, $\Gamma(z)$ 是一個一階極點 (simple pole) 在 $z=0,-1,-2,\ldots$ 的半 (亞) 純函數 (meromorphic function) ^{3 3} mero 源自希臘文 meros, 意思是部分或分數, 而 morphism 則是(可見的)形象的意思。 , 且根據 \eqref{1.11} 計算留數 (residue)

\begin{align} \begin{aligned} \hbox{Res}\big(\Gamma(z), -n\big)&=\lim_{z\to -n}{(z+n)\Gamma(z+n)\over z(z+1)\cdots (z+n-1)} \\[2mm] &=\lim_{z\to -n}{\Gamma(z+n+1)\over z(z+1)\cdots (z+n-1)}={(-1)^n \over n!}, \end{aligned} \label{1.22} \end{align}

正是 \eqref{1.5} 部分分式之係數。 所以

\begin{align} \hbox{Res}\big(\mathscr{B}(z, 1-z), -n\big)=\Gamma(1+n)\hbox{Res}\big(\Gamma(z), -n\big)=n!\cdot {(-1)^n\over n!}=(-1)^n. \label{1.23} \end{align}

同理 $\Gamma(1-z)$ 則是極點在 $z=1,2,3,\ldots$ 的半(亞)純函數, 且留數為

\begin{align} \begin{aligned} \hbox{Res}\big(\Gamma(1-z), n\big)&=\lim_{z\to n}{(z-n)\Gamma(1-z+n)\over (1-z)(2-z)\cdots (n-z)} \\[2mm] &=\lim_{z\to n}{-\Gamma(1-z+n)\over (1-z)(2-z)\cdots (n-1-z)}={(-1)^n \over (n-1)!}. \end{aligned} \label{1.24} \end{align}

所以

\begin{align} \hbox{Res}\big(\mathscr{B}(z, 1-z), n\big)=\Gamma(n)\hbox{Res}\big(\Gamma(1-z), n\big)=(n- 1)!{(-1)^n \over (n-1)!}=(-1)^n. \label{1.25} \end{align}

兩個 $\Gamma$-函數相乘之後的 beta 函數 $\mathscr{B}(z, 1-z)$ 與 ${\pi \over \sin (\pi z)}$ 不僅有相同的極點還有相同的留數 (residue):

\begin{align} \hbox{Res}\bigg({\pi \over \sin (\pi z)}, n\bigg) =\lim_{z\to n}(z-n){\pi \over \sin (\pi z)}= {1\over\cos (n\pi)}=(-1)^n,\qquad n\in \mathbb{Z}. \label{1.26} \end{align}

這進而引領人們研究這兩個函數之間的關係, 這就是探索餘元公式的初衷。

定理 1.4： (Euler 餘元公式, 1771) 已知 $0\lt z\lt1$ 則

\begin{align} \mathscr{B}(z, 1-z) = \Gamma(z) \Gamma(1-z) = {\pi \over \sin (\pi z)}. \label{1.27} \end{align}

實際上 $z\not=0,\pm 1,\pm 2,\ldots$, 由正弦函數明顯可知 $\Gamma(z)\Gamma(1-z)$ 是週期等於 $2$ 的週期函數。 利用 $z\Gamma(z)=\Gamma(1+z)$ 可以將 \eqref{1.27} 改寫為更對稱的形式

\begin{align} \mathscr{B}(1+z, 1-z) = \Gamma(1+z) \Gamma(1-z) = {\pi z\over \sin (\pi z)}, \label{1.28} \end{align}

或者更廣義的形式

\begin{align} \Gamma(n+z) \Gamma(n-z) = [(n-1)!]^2{\pi z\over \sin (\pi z)}\prod_{k=1}^{n-1}\bigg(1-{z^2\over k^2}\bigg),\qquad n=1,2,\ldots. \label{1.29} \end{align}

由於 $z={1\over 2}$ 是對稱軸, 可以考慮變數變換 $z\to z+{1\over 2}$, 將 \eqref{1.28} 改寫為

\begin{align} \mathscr{B}\bigg({1\over 2}-z, {1\over 2}+z\bigg)= \Gamma\bigg({1\over 2}-z\bigg)\Gamma\bigg({1\over 2}+z\bigg)={\pi\over \cos (\pi z)}. \label{1.30} \end{align}

比較 \eqref{1.28}、 \eqref{1.30} 兩式得出互餘的關係, 這也是我們稱之為餘元公式的緣由。

註解：

(i) 餘元公式或 Euler 反射公式說明了 $\Gamma$ 函數與圓函數 (circular function) 即三角函數的關係, 這是當初 Euler 透過正弦函數之無窮乘積來推得 $\Gamma$ 函數的原因。

(ii) \eqref{1.17}$-$\eqref{1.18} 的推導方法基本上是將正方形化為三角形 (simplex), 如果仍堅持正方形區域可以仿 Poisson-高斯積分利用極座標的計算方法並利用 \eqref{1.20} 得

\begin{align} \begin{aligned} \Gamma (p)\Gamma (q)&=\int_0^\infty\int_0^\infty e^{-(s+t)} s^{p-1} t^{q-1}dsdt\qquad (s=x^2,\,\, t=y^2) \\[2mm] &=4\int_0^{\infty }\int_0^{\infty } e^{-(x^2+y^2)}x^{2p-1}y^{2q-1}dxdy \ (x=r\cos\theta,\, y=r\sin\theta) \\ &=4\int_0^{\pi \over 2}\int_0^{\infty } e^{-r^2} r^{2(p+q)-1} \cos^{2p-1}\theta \sin^{2q-1}\theta drd\theta \\ &=2\int_0^{\infty } r^{2(p+q)-1}\ e^{-r^2}dr\cdot 2\int_0^{\pi\over 2}\ \cos^{2p-1}\theta \ \sin^{2q-1}\theta d\theta \\ &=\Gamma (p+q)\ \mathscr{B}(p,q). \end{aligned} \label{1.31} \end{align}

(iii) 我們也可以透過 Laplace 變換來看這個事實 (這是 Dirichlet 的想法) :

\begin{align} \mathscr{L}[t^{z-1}] =\int_0^\infty e^{-st} t^{z-1} dt={\Gamma(z)\over s^{z}}. \label{1.32} \end{align}

令 $z=p+q$、 $s=1+\xi$, 則 \eqref{1.32} 成為

\begin{align} {1\over (1+\xi)^{p+q}} ={1\over \Gamma(p+q)} \int_0^\infty e^{-(1+\xi)t} t^{p+q-1} dt, \label{1.33} \end{align}

則由 \eqref{1.20} 可以將 Beta 函數 $\mathscr{B}(p,q)$ 改寫為重積分, 再藉由 Fubini 定理變換積分順序得

\begin{align} \begin{aligned} \mathscr{B}(p,q)&=\int_0^\infty {\xi^{p-1}\over (1+\xi)^{p+q}}d\xi \\ &=\int_0^\infty \xi^{p-1} \bigg({1\over \Gamma(p+q)} \int_0^\infty e^{-(1+\xi)t} t^{p+q-1} dt\bigg) d\xi \\ &={1\over \Gamma(p+q)} \int_0^\infty e^{-t} t^{q-1}dt \int_0^\infty e^{-t\xi} (t\xi)^{p-1} d(t\xi) ={\Gamma(p)\Gamma(q) \over \Gamma(p+q)}. \end{aligned} \label{1.34} \end{align}

2. Dirichlet 積分 --- Dirichlet 的觀點

『一個學生如果不想自己的工作徒勞無果, 他就應當去閱讀且反覆閱讀那些大師的作品, 直到書的作者深入他心, 就像融入了他的血肉裡那樣。』

--- 馬丁-路得 (桌邊談話錄, 1533) ---

在數學中, 不只一種積分稱作 Dirichlet 積分, 都由德國數學家 Peter Gustav Lejeune Dirichlet (1805$\sim$1859)提出。

定理 2.1： (Dirichlet 積分) 已知 $\Omega=\{(x,y)\in \mathbb{R}^2: x\ge 0, y\ge 0, x+y\le 1\}$ 是一個三角形區域, Dirichlet 積分是一個雙重積分

\begin{align} I= \int\!\!\!\int_\Omega x^{p-1}y^{q-1} dx dy={1\over p+q}\mathscr{B}(p,q),\qquad p,q \gt 0. \label{2.1} \end{align}

證明一： 典型的雙重積分 (double integral) 是化為累次積分 (iterated integral) 來計算, 其重點是區域的劃分。 第一種情形(沿 $x$-軸切割): $0\le x\le 1$, $0\le y\le 1-x$,

\begin{align} \begin{aligned} I&=\int_0^1 x^{p-1} \bigg(\int_0^{1-x} y^{q-1}dy\bigg) dx ={1\over q}\int_0^1 x^{p-1}(1-x)^{q} dx \\[2mm] &={1\over q} \mathscr{B}(p,q+1)={1\over q}{\Gamma(p)\Gamma(q+1)\over \Gamma(p+q+1)} ={\Gamma(p)\Gamma(q)\over (p+q)\Gamma(p+q)}={1\over p+q}\mathscr{B}(p,q). \end{aligned} \label{2.2} \end{align}

第二種情形 (沿 $y$-軸切割): $0\le y\le 1$, $0\le x\le 1-y$,

\begin{align} \begin{aligned} I&=\int_0^1 y^{q-1} \bigg(\int_0^{1-y} x^{p-1}dx\bigg) dy ={1\over p}\int_0^1 y^{q-1}(1-y)^{p} dy\\ &={1\over p} \mathscr{B}(q,p+1)={1\over p}{\Gamma(q)\Gamma(p+1)\over \Gamma(p+q+1)} ={\Gamma(q)\Gamma(p)\over (p+q)\Gamma(p+q)}={1\over p+q}\mathscr{B}(q,p). \end{aligned} \label{2.3} \end{align}

證明二： 利用累次積分, 並不是那麼漂亮也不直接了當 ! 由於 $\Omega$ 是一個三角形區域, 所以 Dirichlet 引進三角變換(由於這原因我們稱這一類的積分為 Dirichlet 積分),

\begin{align} \left\{ \begin{aligned} \xi&= x+y \\ \eta&=y \end{aligned}\right. \quad\Longrightarrow\quad \left\{ \begin{aligned} x&= \xi-\eta, \\ y&=\eta, \end{aligned}\right. \label{2.4} \end{align}

並將 $\Omega$ 轉換為長方形區域

$$ \Omega'= \{(\xi,\eta) |\quad 0\le \xi\le 1, \quad 0\le \eta\le \xi\}\,. $$

還可以進一步將長方形區域轉換為正方形區域

$$ 0\le \eta\le \xi \quad\Longrightarrow\quad 0\le {\eta\over \xi}\le 1. $$

這相當於將 \eqref{2.4} 略做改變

\begin{align} \left\{ \begin{aligned} \xi&= x+y \\ \eta&={y\over x+y} \end{aligned}\right. \quad\Longrightarrow\quad \left\{ \begin{aligned} x&= \xi(1-\eta), \\ y&=\xi\eta. \end{aligned}\right. \label{2.5} \end{align}

此時 $\Omega$ 轉換為單位方塊

$$ \Omega''= \{(\xi,\eta) |\,\, 0\le \xi\le 1, \quad 0\le \eta\le 1\}\,. $$

此時雙重積分 $I$ 可分離為兩個一維積分的相乘

$$ \begin{aligned} I&= \int\!\!\!\int_\Omega x^{p-1}y^{q-1} dx dy = \int\!\!\!\int_{\Omega''}\xi^{p-1}(1-\eta)^{p-1} (\xi\eta)^{q-1}{\partial (x,y)\over \partial (\xi,\eta)} d\xi d\eta \\ &=\int_0^1 \xi^{p+q-1} du \int_0^1 (1-\eta)^{p-1} \eta^{q-1} d\eta ={1\over p+q}\mathscr{B}(q,p). \end{aligned} $$

我們可以重複 \eqref{1.16}$-$\eqref{1.18} 的計算

$$ \Gamma(z)\Gamma(1-z)=\int_0^\infty\int_0^\infty s^{-z} t^{z-1} e^{-(s+t)} ds dt =\int_0^\infty\int_0^\infty t^{-1} \bigg({t\over s}\bigg)^{z} e^{-(s+t)} ds dt. $$

由最後這個積分, 可以仿 Dirichlet 的想法 \eqref{2.5}, 考慮變數變換

\begin{align} \left\{ \begin{aligned} u&=s+t \\ v&={t\over s} \end{aligned} \right. \qquad\Longleftrightarrow\qquad \left\{ \begin{aligned} s&={u\over 1+v},\\ t&={uv\over 1+v}, \end{aligned} \right. \label{2.6} \end{align}

並計算其 Jacobian 得

$$ {\partial (s,t) \over \partial (u,v)} = \left| \begin{matrix} s_u & s_v \\[1mm] t_u & t_v \end{matrix} \right| ={u\over (1+v)^2}. $$

則由 Fubini 定理得

\begin{align} \Gamma(z)\Gamma(1-z)=\int_0^\infty e^{-u}du \int_0^\infty {v^{z-1}\over 1+v} dv = \int_0^\infty {v^{z-1}\over 1+v} dv. \label{2.7} \end{align}

所以想推論餘元公式 \eqref{1.27} 中間的關鍵步驟是計算 \eqref{2.7} 最後這個瑕積分。

 

3. 複變函數論 --- Cauchy 的觀點

西元 1814 年至 1831 年間, 法國數學家柯西 (A. Cauchy, 1789$\sim$1857) 創建了複變函數論的基本架構, 主要是解決積分的問題。 探討 $\Gamma$-函數與 Beta 函數離不開複變函數論, 尤其是 Cauchy 積分公式與留數定理 (Residue Theorem) 這兩個計算積分的重要方法。 底下這個積分並不是為了考驗學生計算留數的功力刻意造出的! 正如 \eqref{2.7} 所顯示的。 它對於研究 $\Gamma$-函數與 Beta 函數是不可或缺的工具, 我們覺得有必要特別討論:

 

例題3.1： 給定 $0\lt a\lt1$

\begin{align} \int_0^\infty {{x^{-a}}\over 1+x} dx =\int_0^\infty {{y^{a-1}}\over 1+y} dy ={\pi \over{\sin (a\pi)}}, \quad y={1\over x}. \label{3.1} \end{align}

解： 我們將利用複變函數論的留數定理來處理這個積分。 對應原積分可以考慮圍道積分(contour integral)

\begin{align} \oint_C {z^{-a}\over 1+z} dz. \label{3.2} \end{align}

首先對被積分函數 ${z^{-a}\over 1+z}$ 而言, $z=0$ 是一個分歧點 (branch point), 因此要克服此難題典型的手法是取一個 branch cut, 好像剪紙一般, 從 $z=0$ 沿 $x$-軸(正)方向剪開, 所以所取的圍道好像一個玉珮或鏤空的英文字 C (參考圖三), 外圍是半徑等於 $R$ 的圓 $C_R$, 而內圍則是半徑為 $\rho$ 的小圓 $C_\rho$ 就像是甜甜圈一般, 因為 $z=-1$ 是一階極點 (simple pole), 由留數定理知

\begin{align} \begin{aligned} \oint_C {{z^{-a}}\over {1+z}} dz &=2\pi i \, {\rm Res}\bigg({{z^{-a}}\over {1+z}}; -1\bigg)=2\pi i \lim_{z\to -1}(z+1){{z^{-a}}\over {1+z}} \\ &= 2\pi i (-1)^{-a} = 2\pi i e^{-ia\pi}. \end{aligned} \label{3.3} \end{align}

這裡我們用到著名的 Euler 恆等式 (最美的公式$!$) ^{4 4} 高斯曾說：“一個人第一次看到這個公式而不感到它的魅力, 他不可能成為一個數學家。” 這等式有 $1$、 $0$ 分別是乘法、 加法這兩個基本運算系統的單位元素, 整個數字系統最根本的概念。 還有三個運算方法: 乘、 加與次方。 兩個特別的數: 指數 $e$ (代表自然增長) 與圓周率 $\pi$ 再加上 $i$ 這個虛數單位。 透過這個等式將數學三大領域 $\pi$ (幾何)、 $e$ (分析) 與 $i$ (代數) 連繫在一起。 物理學家費曼 (Richard Feynman, 1918$\sim$1988) 稱它是一個卓越的公式 : "將指數函數擴張到複數瞬間打通幾何、 分析與代數的隔閡, 仿佛在混沌中創造了秩序。"

\begin{align} e^{i\pi} +1 =0 \quad\Longrightarrow\quad -1= e^{i\pi}. \label{3.4} \end{align}

圍道 (contour) 可以拆解為四段: $C=C_1+C_2+C_3+C_4$,

\begin{align*} C_1: &\rho\to z=x\to R,\quad\quad\ \, C_2=C_R: z= Re^{i\theta},\quad 0\to \theta \to 2\pi,\\ C_3: &R\to z=x e^{i 2\pi}\to \rho,\quad C_4=C_\rho: z= \rho e^{i\theta},\quad 2\pi\to \theta \to 0. \end{align*}

所以圍道積分 (contour integral) 為

\begin{align*} \oint_C {{z^{-a}}\over {1+z}}dz =&\int_{\rho}^R {{x^{-a}}\over {1+x}}dx +\int_{C_R} {{z^{-a}}\over {1+z}} dz +e^{-i2a\pi}\int_R^{\rho} {{x^{-a}}\over {1+x}} dx +\int_{C_\rho}{{z^{-a}}\over{1+z}} dz.\\ {\hbox{但 }} &\bigg\vert \int_{C_\rho} {{z^{-a}}\over {1+z}} dz\bigg\vert \leq {{\rho^{-a}}\over{1-\rho}} 2\pi\rho ={{2\pi}\over {1-\rho}} \rho^{1-a} \to 0 \qquad(\rho\to 0),\\ &\bigg\vert \int_{C_R} {{z^{-a}}\over {1+z}} dz\bigg\vert \leq {{R^{-a}}\over {R-1}} 2\pi R ={{2\pi R}\over {R-1}}{1\over {R^a}} \to 0\qquad (R\to \infty),\\ {\hbox{故 }} &2\pi i e^{-ia\pi}= (1-e^{-i2a\pi})\int_0^\infty {{x^{-a}}\over {1+x}} dx,\\ {\hbox{也就是}} &\hskip 10pt \int_0^\infty {{x^{-a}}\over {1+x}} dx =2\pi i{{e^{-ia\pi}}\over {1-e^{-i2a\pi}}}{{e^{ia\pi}}\over{e^{ia\pi}}} =\pi {{2i}\over {e^{ia\pi}-e^{-ia\pi}}} ={\pi \over {\sin a\pi}}.\tag*{$\Box$} \end{align*}

註解：

(i) 藉由量綱分析容易判斷積分 \eqref{3.1} 中 $a$ 的範圍

\begin{align} \int_0^1 {{x^{-a}}\over 1+x} dx \approx [x]^{-a} [dx]=[x]^{1-a},\qquad [x]\to 0 \quad\Longrightarrow\quad a\lt1, \label{3.5} \end{align} 這部分正好與$C_\rho$的圍道積分中出現的量級$\rho^{1-a}$是一致的, 其次 \begin{align} \int_1^\infty {{x^{-a}}\over 1+x} dx \approx {[x]^{-a}\over [x]} [dx]=[x]^{-a},\qquad [x]\to \infty \quad\Longrightarrow\quad a\gt0, \label{3.6} \end{align} 此時恰恰對應 $C_R$ 的圍道積分的量級 $R^{-a}$ !

 

(ii) 如果只看 \eqref{3.1} 的積分, 當然 $a$ 的範圍只能是 $0\lt a\lt1$。 但是最後的公式 ${\pi \over \sin (a\pi)}$ 並沒有這個限制, 實際上透過 $\Gamma$-函數所滿足的函數方程與解析延拓 (analytic continuation), 可以將 $a$ 拓展到整個複數平面 $a\in \mathbb{C}$, 但 $a\not=0, \pm 1,\pm 2,\ldots$。

(iii) \eqref{3.1} 這個積分是正弦函數 (的倒數), 坦白而言並不是那麼直觀! 但是證明的過程仍可以看出一些蛛絲馬跡。 主要的癥結是 $x^{-a}$ 的 branch cut, 除了 $x^{-a}$ 本身之外, 經過{旋轉與變換方向它成為 $-x^{-a}e^{-2\pi i a}$, 兩者合併正弦函數 $\sin (a\pi)$ 自然就出現

$$ 1- e^{-2\pi i a}= 2i e^{-\pi i a}\bigg({e^{\pi i a}-e^{-\pi i a}\over 2i}\bigg) \quad\Longrightarrow\quad \sin (a\pi). $$

(iv) 在更早之前歐拉於 1743 年藉由其它方法就得到 \eqref{3.1} 這個積分的一般式

\begin{align} \int_0^\infty {x^{a -1}\over 1+x^b} dx = {\pi \over b \sin {a \over b}\pi},\qquad 0\lt a\lt b. \label{3.7} \end{align}

有興趣的讀者可以模仿 \eqref{3.5}$-$ \eqref{3.6} 利用量綱分析判斷 $a,b$ 的範圍。

$\Box$

餘元公式 \eqref{1.27} 之證明： 根據 \eqref{1.21}

$$ \mathscr{B}(1-z, z)=\int_0^1 t^{-z}(1-t)^{z-1}= \int_0^1 \bigg({t\over 1-t}\bigg)^{-z} {dt\over 1-t}. $$

此時再引進變數變換 $x={t\over 1-t}$ 或 $t={x\over 1+x}$, 則由例題 3.1 可得

$$ \Gamma(1-z)\Gamma(z) =\mathscr{B}(1-z, z) =\int_0^\infty {x^{-z}\over 1+x} dx ={\pi \over \sin \pi z}. $$

$\Box$

4. 無窮乘積 --- Weierstrass 的觀點

『一個數學家, 如果他不在某種程度上成為一個詩人, 那麼他就永遠不可能成為一個完美的數學家。』

--- Karl Weierstrass (1815$\sim$1897) ---

數學史上第一次出現的無窮乘積 (infinite product) 可以追溯自法國業餘數學家 François Viète (1540$\sim$1603), 他的本業是律師。 藉由半角公式 Viète 得

\begin{align} {2\over \pi} = \prod_{n=1}^\infty\cos {\pi \over 2^{n+1}}={\sqrt{2}\over 2}\cdot {\sqrt{2+\sqrt{2}}\over 2} \cdot \cdots . \label{4.1} \end{align}

有人稱 Viète 無窮乘積是現代數學的一道曙光, 此時人們不得不面對無窮 (infinite) 與極限 (limit), 這是第一次在數學公式中有無窮步驟出現, 同時也宣告了現代分析學的濫觴。 其次則是 Wallis 無窮乘積 (Wallis infinite product), Wallis 將圓周率 $\pi$ 表示為正整數的無窮乘積

\begin{align} {\pi\over 2} = \prod_{k=1}^\infty \bigg({2k\over 2k-1}\cdot {2k\over 2k+1}\bigg) ={2\over 1}\cdot {2\over 3}\cdot {4\over 3}\cdot {4\over 5}\cdot {6\over 5}\cdot {6\over 7}\cdots. \label{4.2} \end{align}

這個公式比Viète無窮乘積 \eqref{4.1} 更優越, 稱得上是數學中最漂亮的公式之一。 它給出了正整數與圓周率 $\pi$ 之間最異乎尋常的關係, 但真正把無窮乘積提昇為一個理論, 則是歐拉 (Euler) 的貢獻。

定理4.1： (Euler 1748)

\begin{align} \sin z =z\prod_{n=1}^\infty\bigg(1-{z^2\over n^2 \pi^2}\bigg) =z\bigg( 1-{z^2 \over \pi^2}\bigg) \bigg( 1-{z^2 \over 4\pi^2}\bigg) \bigg( 1-{z^2 \over 9\pi^2}\bigg) \cdots. \label{4.3} \end{align}

如果令 $z={\pi\over 2}$ 則由正弦函數的無窮乘積 \eqref{4.3} 可得 Wallis 無窮乘積;

$$ \bigg(1-{1\over 2^2}\bigg)\bigg(1-{1\over 4^2}\bigg)\bigg(1-{1\over 6^2}\bigg) \cdots = {2\over \pi}. $$

左邊可以再分解為

$$ \bigg(1-{1\over 2}\bigg)\bigg(1+{1\over 2}\bigg)\bigg(1-{1\over 4}\bigg)\bigg(1-{1\over 4}\bigg)\bigg(1-{1\over 6}\bigg)\bigg(1+{1\over 6}\bigg) \cdots = {2\over \pi}, $$

或者

$$ {1\over 2}\cdot{3\over 2}\cdot{3\over 4}\cdot{5\over 4}\cdot{5\over 6}\cdot {7\over 6}\cdots = {2\over \pi}. $$

這個數的倒數就是Wallis無窮乘積 \eqref{4.2}。 實際上 Euler 正弦函數的無窮乘積遠比 Wallis 無窮乘積來得更一般也更實用, 詳細的討論請參考 固定值。 這個定理最終的形式為 Weierstrass 分解定理。 這是 Weierstrass 研究整函數 (entire function) 時發現的; 類似於多項式函數的因式分解, 整函數也可以因式分解, 或者可以視為整函數版本的代數基本定理。 Weierstrass 分解理論的直觀看法如下: 設 $f(z)$ 是一解析函數且其單根 (simple root)是 $z=a_k$

$$ f(a_k)=0,\qquad \lim_{k\to \infty} \vert a_k\vert =\infty,\qquad k=1,2,3,\ldots, $$

所以 $f'(z)$ 也是解析函數。 由 Taylor 展開式可知, $a_1,a_2,a_3,\ldots$ 是 $f$ 的對數微分 ${d\over dz}\log f(z)$ $= {f'(z)\over f(z)}$ 的一階極點 (simple pole) 且其留數

\begin{align} {\rm Res}\bigg({d\over dz} \log f(z); a_k\bigg)={\rm Res}\bigg( {f'(z)\over f(z)}; a_k\bigg)=1,\qquad k=1,2,3,\ldots; \label{4.4} \end{align}

此時由 Mittag-Leffler 定理可得

\begin{align} {d\over dz} \log f(z) ={f'(z) \over f(z)} = {f'(0) \over f(0)}+ \sum_{n=1}^\infty \bigg({1\over z-a_n} +{1\over a_n}\bigg). \label{4.5} \end{align}

對 \eqref{4.5} 積分後兩邊取指數 (exp), 則

$$ f(z)=C e^{{f'(0)\over f(0)}z} \prod_{n=1}^\infty \bigg(1-{z\over a_n}\bigg) e^{z\over a_n}. $$

令 $z=0$, 則 $C=f(0)$, 這就是 Weierstrass 分解定理

\begin{align} f(z)=f(0) e^{{f'(0)\over f(0)}z} \prod_{n=1}^\infty \bigg(1-{z\over a_n}\bigg) e^{z\over a_n}. \label{4.6} \end{align}

利用 \eqref{4.6} 這個公式, 再回頭看 $\sin z$ 的無窮乘積

\begin{align} f(z)={\sin z\over z},\qquad f(0)=1,\qquad f'(0)=1. \label{4.7} \end{align}

此時 $f(z)={\sin z\over z}$ 之單根是 $z=\pm \pi,\pm 2\pi,\pm 3\pi,\ldots$, 仿 \eqref{4.5} 先考慮對數微分得 ${\sin z\over z}$ 的 Mittag-Leffler分解:

\begin{align} {d\over dz}\log\bigg({\sin z\over z}\bigg) =\cot z-{1\over z} =\sum_{n=-\infty}^\infty\bigg({1\over z-n\pi}+{1\over n\pi}\bigg), \qquad n\not=0, \label{4.8} \end{align}

積分

$$ \log\bigg({\sin z\over z}\bigg)=\sum_{n=-\infty}^\infty\bigg({z\over n\pi}+\log(n\pi -z) -\log n\pi\bigg), \qquad n\not=0 $$

之後取指數($n$ 分成正負處理)

$$ {\sin z\over z}=\prod_{n=1}^\infty \bigg[\Big(1-{z\over n\pi}\Big)e^{z\over n\pi}\bigg] \bigg[\Big(1+{z\over n\pi}\Big)e^{-{z\over n\pi}}\bigg] =\prod_{n=1}^\infty \bigg(1-{z^2\over n^2\pi^2}\bigg), $$

正是 Euler 著名的結果 \eqref{4.3}。

讀數學一定要有例子, 要理解 Weierstrass 分解定理, 最好的方法就是將正弦函數融會貫通之後, 將 $\Gamma$-函數當成最重要的應用:

定理4.2： $\Gamma$-函數可以表示為 Weierstrass 形式的無窮乘積

\begin{align} \Gamma(z) ={1\over z} e^{-\gamma z} \prod_{n=1}^\infty \bigg(1+{z\over n}\bigg)^{-1} e^{z\over n}, \label{4.9} \end{align}

其中 $\gamma$ 是 Euler-Mascheroni 常數, 它的選取必須滿足 $\Gamma(1)=1$。

證明： 整個想法可以拆解為四個步驟:

(1) 根據瑕積分與指數函數的特性

$$ \int_0^\infty e^{-t} t^{z-1} dt =\lim_{n\to \infty}\int_0^n e^{-t} t^{z-1} dt, \qquad e^{-t}=\lim_{n\to \infty}\bigg(1-{t\over n}\bigg)^n, $$

將 $\Gamma$ 函數表示為極限

\begin{align} \Gamma(z)=\int_0^\infty e^{-t} t^{z-1} dt = \lim_{n\to \infty}\int_0^n \bigg(1-{t\over n}\bigg)^n t^{z-1} dt \overset{\rm def}{=}\lim_{n\to \infty} \Gamma_n(z), \label{4.10} \end{align}

通常稱之為Euler 極限公式。

(2) 考慮變數變換 $t=nx$ 與分部積分, 將 $\Gamma_n(z)$ 改寫為

$$ \Gamma_n(z) = n^z \int_0^1 (1-x)^n x^{z-1} dx = n^z {n\over z} \int_0^1 (1-x)^{n-1} x^{z} dx. $$

繼續分部積分, 直到因子 $(1-x)^{n-1}$ 消失

\begin{align} \begin{aligned} \Gamma_n(z)&= n^z{n!\over z(z+1)\cdots (z+n-1)}\int_0^1 x^{z+n-1} dx\\ &= n^z{n!\over z(z+1)\cdots (z+n-1)(z+n)}\\ &={n^z \over z}\prod_{k=1}^n \bigg(1+{z\over k}\bigg)^{-1}. \end{aligned} \label{4.11} \end{align}

(3) 將 $n^z$ 指數化:

\begin{align} n^z= e^{\ln (n^z)}=e^{z \ln n }= e^{-z(\sum_{k=1}^n{1\over k} -\ln n )} \prod_{k=1}^n e^{z\over k}. \label{4.12} \end{align}

(4) 由 \eqref{4.11} 取極限並利用 \eqref{4.12} 得

$$ \begin{aligned} \Gamma(z) &=\lim_{n\to \infty}\Gamma_n(z)={1\over z} \lim_{n\to \infty}e^{-z(\sum_{k=1}^n{1\over k} -\ln n )}\prod_{k=1}^\infty\bigg(1+{z\over k}\bigg)^{-1} e^{z\over k}\\ &= {1\over z}e^{-\gamma z} \prod_{n=1}^\infty\bigg(1+{z\over n}\bigg)^{-1} e^{z\over n}. \end{aligned} $$

這裡出現的常數

\begin{align} \gamma \overset{\rm def}{=} \lim_{n\to \infty}\bigg[\bigg(1+{1\over 2}+\cdots +{1\over n}\bigg) -\ln n\bigg] \approx 0.5772156649..... \label{4.13} \end{align}

就是著名的 Euler 常數 (Euler constant)。

$\Box$

註解：

(i) 這個證明同時也給出$\Gamma$-函數三個定義的等價性。

(ii) 藉由無窮乘積, 除了可以重新定義正弦函數 \eqref{4.3} 之外, 也可以定義餘弦函數。 但此時我們需要等式 $\sin 2z = 2\sin z \cos z$, 則由 \eqref{4.3} 消去 $2z$ 與偶數階得

\begin{align} \cos z = {\sin 2z \over 2\sin z} ={\displaystyle 2z\prod_{n=1}^\infty\bigg(1-{4z^2\over n^2 \pi^2}\bigg) \over \displaystyle 2z\prod_{n=1}^\infty\bigg(1-{z^2\over n^2 \pi^2}\bigg)} = \prod_{n=1}^\infty \bigg( 1-{4z^2\over (2n+1)^2 \pi^2}\bigg). \label{4.14} \end{align}

同理雙曲函數也有類似的結果

\begin{align} \left\{ \begin{aligned} \sinh z &= {\sin (iz)\over i}=z\prod_{n=1}^\infty\bigg(1+{z^2\over n^2 \pi^2}\bigg), \\[2mm] \cosh z &= \cos (iz)=\prod_{n=1}^\infty \bigg( 1+{4z^2\over (2n+1)^2 \pi^2}\bigg). \end{aligned} \right. \label{4.15} \end{align}

無窮多個一次多項式的相乘竟然是一個週期函數, 這實在是超乎想像! 難怪德國數學家 Jacobi 有此感觸

『數學最迷人的地方, 是同一個函數既能解釋整函數分解又能描述鐘擺運動。』

--- Carl Jacobi (1804$\sim$1851) ---

Jacobi 指的是正弦函數$!$ 事實上這正是數學教育最應傳遞的智慧精髓。

(iii) 有時候我們喜歡將 \eqref{4.9} 表示為倒數 (reciprocal)

\begin{align} {1\over \Gamma(z)}= ze^{\gamma z} \prod_{n=1}^\infty \bigg(1+{z\over n}\bigg)e^{-{z\over n}}. \label{4.16} \end{align}

此時 ${1\over \Gamma(z)}$ 是零 (單) 根為 $0,-1,-2,\ldots$ 的全(整)函數 (entire function), 所以 Weierstrass 分解定理可以應用上。

(iv) \eqref{4.10} 這個收斂性問題是分析(特別是實變函數論)中一個重要的結果, 通常需要 Lebesgue 控制收斂定理以保證積分與極限交換的合法性。 而且必須是 $\Gamma_n$ 這個形式透過分部積分才能將 $\Gamma$-函數表示為無窮乘積, 這也是 $\Gamma_n$ 最主要的目的, 並不是心血來潮神來之筆。

$\Box$

餘元公式 \eqref{1.27} 之證明： 由 $\Gamma$-函數的無窮乘積 \eqref{4.9} 或 \eqref{4.16} 可得

$$ {1\over \Gamma(z)}{1\over \Gamma(-z)} = -z^2 e^{\gamma z} e^{-\gamma z}\prod_{n=1}^\infty \bigg(1+{z\over n}\bigg) e^{-{z\over n}} \bigg(1-{z\over n}\bigg)e^{z\over n} =-z^2 \prod_{n=1}^\infty \bigg(1-{z^2\over n^2}\bigg). $$

利用關係式 $\Gamma(1-z)=-z\Gamma(-z)$ 得

\begin{align} {1\over \Gamma(z)\Gamma(1-z)} = z \prod_{n=1}^\infty \bigg(1-{z^2\over n^2}\bigg). \label{4.17} \end{align}

但由正弦函數著名的無窮乘積 \eqref{4.3} 可以推論

\begin{align} {1\over \Gamma(z)\Gamma(1-z)}={\sin \pi z \over \pi}. \label{4.18} \end{align}

取倒數就是餘元公式或 Euler 反射公式

\begin{align} \Gamma(z)\Gamma(1-z)={\pi \over{\sin \pi z}}\,. \label{4.19} \end{align}

$\Box$

5. 週期函數 --- Fourier 的觀點

『深入研究大自然是所有數學發現最富饒的來源, 不僅對於決定良好的目標有好處, 也有助於排除含糊的問題, 無用的計算。 這是建立分析學本身的手段, 也協助我們發現科學裡最緊要、最應永遠維繫的概念。最基本的概念就是表現自然事件的概念。』

--- 熱的解析理論 (J. Fourier, 1768$\sim$1830) ---

既然餘元公式是正弦函數, 這是一個週期函數自然就聯想到 Fourier 級數。 考慮這個特別的函數

$$ f(x)= \cos (zx),\qquad |x|\le \pi,\qquad z\not=0,\pm 1, \pm 2,\pm 3,\ldots $$

及其 Fourier 級數展開式

\begin{align} f(x) = \cos (zx) = {a_0\over 2} +\sum_{n=1}^\infty (a_n \cos nx +b_n \sin nx). \label{5.1} \end{align}

因為$f(x)=\cos (zx)$是偶函數, 所以$b_n=0$, 常數項要直接計算

\begin{align} a_0= {1\over \pi}\int_{-\pi}^\pi f(t) dt = {2\over \pi}\int_{0}^\pi \cos zt dt = {2\sin \pi z \over \pi z}. \label{5.2} \end{align}

而 $a_n, n=1,2,\ldots $則為

\begin{align} \begin{aligned} a_n&= {1\over \pi}\int_{-\pi}^\pi f(t) \cos nt dt = {2\over \pi}\int_{0}^\pi \cos zt\cos nt dt \\ &={1\over \pi} \int_0^\pi \Big[\cos (z-n)t+\cos(z+n)t\Big] dt \\ &= {\sin (z-n)\pi \over (z-n)\pi}+{\sin (z+n)\pi \over (z+n)\pi} \\ &={\sin \pi z \cos (n\pi) \over \pi}\bigg[{1\over z-n}+{1\over z+n}\bigg] ={\sin \pi z \over \pi} {2z (-1)^n \over z^2-n^2}. \end{aligned} \label{5.3} \end{align}

所以 $\cos (zx)$ 的 Fourier 級數為

\begin{align} \cos (z x) = {\sin \pi z \over \pi}\bigg[{1\over z} + 2z\sum_{n=1}^\infty {(-1)^{n} \over z^2-n^2}\cos nx\bigg],\qquad |x|\le \pi. \label{5.4} \end{align}

令 $x=0$ 則 \eqref{5.4} 成為

$$ f(0)=1={\sin \pi z \over \pi}\bigg[{1\over z} + 2z\sum_{n=1}^\infty {(-1)^{n} \over z^2-n^2}\bigg]. $$

由此可得 ${\pi \over \sin \pi z}$ 的部分分式表現式

\begin{align} {\pi \over \sin \pi z}= {1\over z} + 2z\sum_{n=1}^\infty {(-1)^{n} \over z^2-n^2}={1\over z} + \sum_{n=1}^\infty (-1)^n \bigg({1\over z+n} +{1\over z-n}\bigg). \label{5.5} \end{align}

另外 Beta 函數的部分分式表現式可以表示為

引理 5.1： 已知 $0\lt z\lt1$ 則

\begin{align} \begin{aligned} \mathscr{B}(z, 1-z)&=\Gamma(z)\Gamma(1-z) =\int_0^\infty {x^{z-1}\over 1+x} dx \\ &= {1\over z} +\sum_{n=1}^\infty (-1)^n \bigg({1\over z+n} +{1\over z-n}\bigg). \end{aligned} \label{5.6} \end{align}

解： Beta 函數 $\mathscr{B}(z, 1-z)$ 是瑕積分 (improper integral), 可以拆解為兩部分

$$ \int_0^\infty {x^{z-1}\over 1+x} dx =\int_0^1 {x^{z-1}\over 1+x} dx +\int_1^\infty {x^{z-1}\over 1+x} dx \overset{\rm def}{=} \hat{I}_1 +\hat{I}_2. $$

先考慮 $\hat{I}_1$, 利用等比級數與一致收斂可得

\begin{align} \begin{aligned} \hat{I}_1&= \int_0^1 {x^{z-1}\over 1+x} dx=\int_0^1 \sum_{n=0}^\infty (-1)^n x^{z+n-1} dx\\ & =\sum_{n=0}^\infty (-1)^n {1\over z+n}={1\over z} + \sum_{n=1}^ \infty (-1)^n {1\over z+n} \end{aligned} \label{5.7} \end{align}

其次是 $\hat{I}_2$, 由於 $x\ge 1$ 等比級數無法直接派上用場, 可以考慮變數變換 $t={1\over x}$ 之後仿 \eqref{5.7} 得

\begin{align} \begin{aligned} \hat{I}_2&= \int_1^\infty {x^{z-1}\over 1+x} dx =\int_0^1 {t^{-z}\over 1+t} dt =\int_0^1 {t^{(1-z)-1}\over 1+t} dt \\ &=\sum_{n=0}^\infty (-1)^n {1\over n+1-z} =\sum_{n=1}^\infty (-1)^n {1\over z-n}. \end{aligned} \label{5.8} \end{align}

\eqref{5.7}、 \eqref{5.8} 兩式合併就是 \eqref{5.6} 。

$\Box$

註解： $\ $

(i) 由部分分式 \eqref{5.6} 清楚知道 $z=n\in \mathbb{Z}$ 是 $\mathscr{B}(z, 1-z)$ 的一階極點 (simple pole) 且留數為

$$ \hbox{Res}\Big(\mathscr{B}(z, 1-z), n\Big) = (-1)^n,\qquad n\in \mathbb{Z}. $$

這與 \eqref{1.22}、 \eqref{1.24} 是一致的。 另外 \eqref{5.7}、 \eqref{5.8} 則分別告訴我們 $z=-n$ (負整數) 的極點產生在 $0\lt x\lt1$, 而 $z=n$ (正整數) 的極點產生在 $1\lt x\lt\infty$。

(ii) 令 $x=\pi$ 並利用 $\cos n\pi=(-1)^n$ 則由 \eqref{5.4} 可得$\pi \cot \pi z $的部份分式:

\begin{align} \pi \cot \pi z={1\over z}+\sum_{n=1}^{\infty } \left( {1\over z-n }+{1\over z+n} \right) ={1\over z} + \sum_{n=1}^{\infty } {2z\over z^2-n^2 }, \label{5.9} \end{align}

或者做個變數變換 $\pi z \to z$ 得 $\cot z $ 的部份分式:

\begin{align} \cot z={1\over z}+\sum_{n=1}^{\infty } \left( {1\over z-n\pi }+{1\over z+n\pi} \right) ={1\over z} + \sum_{n=1}^{\infty } {2z\over z^2-(n\pi)^2 }. \label{5.10} \end{align}

\eqref{5.10} 也告訴我們 $\cot z$ 的極點在 $z=n\pi $, $n \in \mathbb{Z}$, 且其留數都是 1。 順便一提

$$ {1\over z-n\pi }+{1\over z+n\pi }\sim -{2z\over n^2\pi^2 }, $$

故 \eqref{5.10} 這個部份分式是收斂的(summable), 然而如果分開看

$$ \sum_{n=1}^{\infty } {1\over z-n\pi }, \qquad \sum_{n=1}^{\infty } {1\over z+n\pi } $$

則是發散的$!$

(iii) 從複變函數論的角度我們比較喜歡將 \eqref{5.10} 改寫成底下(收斂)之形式

\begin{align} \begin{aligned} \cot z&={1\over z} +\sum_{n=1}^{\infty } \bigg({1\over z-n\pi} +{1\over n\pi}\bigg) +\sum_{n=1}^{\infty } \bigg({1\over z+n\pi} -{1\over n\pi}\bigg) \\ &={1\over z} +\sum_{n=-\infty}^{\infty } \bigg({1\over z-n\pi} +{1\over n\pi}\bigg), \qquad n\not= 0. \end{aligned} \label{5.11} \end{align}

這就是 $\cot z$ 的 Mittag-Leffler展開式(Mittag-Leffler expansion), 多出來的分式 $\pm{1\over n\pi}$ 可以保證級數的收斂性。

(iv) 由正弦函數的無窮乘積 \eqref{4.3} 取對數微分也可得 $\cot z$ 的部份分式 \eqref{5.10}。 回過頭來將 \eqref{5.10} 刻意表示為

\begin{align} \cot z-{1\over z}= {2z \over z^2 -\pi^2} +{2z \over z^2 -2^2\pi^2}+{2z \over z^2 -3^2\pi^2} +\cdots. \label{5.12} \end{align}

當 $z\rightarrow 0$, 左式趨近於 0 (L'Hospital 法則), 由 Weierstrass--M 審驗法知 \eqref{5.12} 右邊之級數是一致收斂 (uniformly convergent), 因此可以逐項積分

$$ \int_0^x \bigg( \cot z-{1\over z}\bigg) dz =\int_0^x {2z \over z^2 -\pi^2}dz +\int_0^x {2z \over z^2 -(2\pi)^2} dz+\cdots. $$

所以

$$ \log\bigg({\sin z \over z}\bigg) \bigg\vert_0^x = \log\bigg(1-{x^2\over \pi^2}\bigg) + \log\bigg(1-{x^2\over (2\pi)^2}\bigg)+\cdots. $$

因為 $\displaystyle\lim_{x\to 0} {\sin x \over x}=1$, 然後由對數函數的連續性得

$$ \begin{aligned} \log\bigg({\sin x \over x}\bigg) &=\lim_{n\to\infty}\bigg[ \log \bigg(1-{x^2\over \pi^2}\bigg)\log \bigg(1-{x^2\over (2\pi)^2}\bigg)\cdots \log \bigg(1-{x^2\over (n\pi)^2}\bigg)\bigg] \\ &=\lim_{n\to\infty} \log \bigg[ \bigg(1-{x^2\over \pi^2}\bigg) \bigg(1-{x^2\over (2\pi)^2}\bigg)\cdots \bigg(1-{x^2\over (n\pi)^2}\bigg)\bigg] \\ &=\log \bigg[\lim_{n\to\infty} \bigg(1-{x^2\over \pi^2}\bigg) \bigg(1-{x^2\over (2\pi)^2}\bigg)\cdots \bigg(1-{x^2\over (n\pi)^2}\bigg)\bigg]. \end{aligned} $$

對數函數是一對一函數我們可以再次得正弦函數的無窮乘積 \eqref{4.3}

$$ {\sin x \over x}=\lim_{n\to\infty} \bigg[ \bigg(1-{x^2\over \pi^2}\bigg) \bigg(1-{x^2\over (2\pi)^2}\bigg)\cdots \bigg(1-{x^2\over (n\pi)^2}\bigg) \bigg] =\prod_{n=1}^\infty \bigg( 1-{x^2\over (n\pi)^2}\bigg). $$

$\Box$

餘元公式 \eqref{1.27} 之證明： 由 \eqref{5.5}$-$\eqref{5.6} 可推得 Euler 餘元公式

$$ \mathscr{B}(z, 1-z)=\Gamma(z)\Gamma(1-z) =\int_0^\infty {x^{z-1}\over 1+x} dx=\int_0^\infty {x^{-z}\over 1+x} dx ={\pi \over \sin \pi z}. $$

$\Box$

正弦函數的倍角公式可以表示為都是正弦函數的乘積

\begin{align} \sin 2x = 2\sin x \cos x=2\sin x \sin \bigg(x+{\pi\over 2}\bigg). \label{5.13} \end{align}

同理三倍角公式則是

\begin{align} \begin{aligned} \sin 3x &= 3\sin x -4\sin^3 x=4\sin x \bigg({3\over 4} -\sin^2 x\bigg) \\ &=4\sin x \bigg({3\over 4}\cos^2 x -{1\over 4}\sin^2 x\bigg) \\ &=4\sin x \bigg(\sin^2{\pi\over 3}\cos^2 x -\cos^2{\pi\over 3}\sin^2 x\bigg) \\ &=4\sin x \bigg(\sin{\pi\over 3}\cos x +\cos{\pi\over 3}\sin x\bigg) \bigg(\sin{\pi\over 3}\cos x -\cos{\pi\over 3}\sin x\bigg) \\ &=4\sin x \sin \bigg({\pi\over 3}+x\bigg)\sin \bigg({\pi\over 3}-x\bigg) \\ &=4\sin x \sin \bigg(x+{\pi\over 3}\bigg)\sin \bigg(x+{2\pi\over 3}\bigg), \end{aligned} \label{5.14} \end{align}

或是更一般的 $n$ 倍角公式

\begin{align} \sin nx=2^{n-1}\sin x \cdot \sin \bigg(x+{\pi\over n}\bigg)\cdots \sin \bigg(x+{(n-1)\pi\over n}\bigg). \label{5.15} \end{align}

餘弦函數也有類似的公式, 有興趣的讀者可以自己練習。 中學生能夠推導出這些公式是非常難能可貴的。 餘元公式指出了正弦函數與 $\Gamma$-函數之聯繫, 不禁令人猜想對於 $\Gamma$-函數也有類似的倍角公式$!$

定理5.2： (Legendre 加倍公式, 1809)

\begin{align} \Gamma(2z)= { 2^{2z-1} \over \sqrt{\pi }} \Gamma (z)\Gamma \bigg(z+{1\over 2}\bigg). \label{5.16} \end{align}

如果 $z={1\over2}$ 則可重新得 Gauss-Poisson 積分

\begin{align} \int_{-\infty}^\infty e^{-x^2} dx = \Gamma\bigg({1\over 2}\bigg)=\sqrt{\pi}.\label{5.17} \end{align}

證明一： 基於正弦函數倍角公式之靈感, 透過 \eqref{1.20} 可以將 $\mathscr{B}(z,z)$ 表示為

\begin{align} \begin{aligned} \mathscr{B}(z,z)&=2\int_0^{\pi\over 2} \cos^{2z-1}\theta \sin^{2z-1}\theta d\theta \\ &=2^{2-2z}\int_0^{\pi\over 2} (2 \sin\theta \cos\theta)^{2z-1} d\theta\qquad (\phi=2\theta) \\ &=2^{1-2z}\int_0^{\pi} (\sin\phi)^{2z-1} d\phi ={1\over 2^{2z-1}}\mathscr{B}\bigg({1\over 2},z\bigg). \end{aligned} \label{5.18} \end{align}

利用 Euler 公式 \eqref{1.12} 將上式改寫為

$$ {[\Gamma(z)]^2\over \Gamma(2z)} ={1\over 2^{2z-1}}\ {\Gamma({1\over 2}) \Gamma(z)\over \Gamma (z+{1\over 2})}. $$

但是 $\Gamma({1\over 2})=\sqrt{\pi}$, 如此得 Legendre 加倍公式 \eqref{5.16}

$$ \Gamma(z)\Gamma\bigg(z+{1\over 2}\bigg)={\sqrt{\pi }\over 2^{2z-1}} \Gamma(2z). $$

$\Box$

證明二： 因為 $x={1\over 2}$ 是對稱軸, 可以將 Beta 函數 $\mathscr{B}(z,z)$ 拆成兩等分

\begin{align} \mathscr{B}(z,z)=\int_0^1x^{z-1}(1-x)^{z-1}dx =2\int_0^{1\over 2}\big[x(1-x)\big]^{z-1}dx. \label{5.19} \end{align}

簡單的配方並考慮變數變換${1\over 2}\sqrt{t}={1\over 2}-x$得

$$ \begin{aligned} \mathscr{B}(z,z)&=2\int_0^{1\over 2} \bigg[{1\over 4}-\Big({{1\over 2}-x}\Big)^2\bigg]^{z-1}dx \\ &={1\over 2^{2z-1}}\int_0^1(1-t)^{z-1}t^{{1\over 2}-1}dt ={1\over 2^{2z-1}}\mathscr{B}\bigg({1\over 2},z\bigg), \end{aligned} $$

其餘部分與前面相同。 如果要省略配方法, 這一步可以利用 $x={1\over 2}$ 是對稱軸考慮變數變換

\begin{align} x={1+s\over 2},\qquad 1-x = {1-s\over 2},\qquad -1\le s\le 1, \label{5.20} \end{align}

則 \eqref{5.19} 換為

\begin{align} \mathscr{B}(z,z) &=\int_0^1x^{z-1}(1-x)^{z-1}dx \nonumber\\ &={1\over 2}\int_{-1}^1\bigg({1+s\over 2}\bigg)^{z-1}\bigg({1-s\over 2}\bigg)^{z-1}ds\label{5.21} \\ &={1\over 2^{2z-1}}\int_{-1}^1(1-s^2)^{z-1}ds ={1\over 2^{2z-1}}\mathscr{B}\bigg({1\over 2}, z\bigg).\tag*{$\Box$} \end{align}

註解： $\ $

(i) 由 \eqref{5.18} 或 \eqref{5.19}, 可以看出之所以加倍公式會成立, 主要原因是 $\cos\theta$ 與 $\sin\theta$ 或 $x$ 與 $1-x$ 有相同的次冪, 因此正弦函數的倍角公式或配方法在此派得上用場$!$

(ii) 令$\Phi(z)=\sin (\pi z)$, 則由 \eqref{5.13} 容易看出正弦函數倍角公式與 $\Gamma$-函數之 Legendre 加倍公式 \eqref{5.16} 兩者之間的類比

$$ \Phi(2z) = 2\Phi(z) \Phi\bigg(z+{1\over 2}\bigg) \quad\Longleftrightarrow\quad \Gamma(2z)= { 2^{2z-1} \over \sqrt{\pi }} \Gamma (z)\Gamma \bigg(z+{1\over 2}\bigg). $$

換句話說: 透過餘元公式, 研究$\Gamma$-函數的加倍公式等價於正弦函數的倍角公式$!$

(iii) Legendre 加倍公式 \eqref{5.16} 的典型證明 (但不容易想像$!$) 是考慮

\begin{align} \varphi(z) \equiv {2^{z-1} \Gamma ({z\over 2})\Gamma({z+1\over 2})\over \Gamma(z)}, \label{5.22} \end{align}

然後證明 $\varphi$ 是一個週期等於 1 的週期函數

$$ \varphi(z)=\varphi(z+1)=\cdots =\varphi(z+n). $$

令 $n\to \infty$, 再由 Stirling 公式結論 $\varphi$ 是一常數函數, 而且

$$ \varphi(z) =\varphi(z+n) = \lim_{n\to \infty} \varphi(z+n) =\sqrt{\pi}.{\Box} $$

由餘元公式 \eqref{1.27} 分別取 $z={1\over n}, {2\over n},\ldots, {n-1\over n}$ 得

$$ \begin{aligned} \Gamma\bigg({1\over n}\bigg)\Gamma\bigg({n-1\over n}\bigg)&= {\pi \over \sin {\pi \over n}},\\ \Gamma\bigg({2\over n}\bigg)\Gamma\bigg({n-2\over n}\bigg)&= {\pi \over \sin {2\pi \over n}},\\ &\vdots \\ \Gamma\bigg({n-1\over n}\bigg)\Gamma\bigg({1\over n}\bigg)&= {\pi \over \sin {(n-1)\pi \over n}}. \end{aligned} $$

這些等式垂直相乘得

\begin{align} \bigg[\Gamma\bigg({1\over n}\bigg)\Gamma\bigg({2\over n}\bigg)\cdots \Gamma\bigg({n-1\over n}\bigg)\bigg]^2 ={\pi^{n-1} \over \sin {\pi\over n}\sin {2\pi\over n}\cdots \sin{(n-1)\pi\over n}}. \label{5.23} \end{align}

但是分母是著名的三角恆等式 (由 \eqref{5.15} 令 $x\to 0$)

\begin{align} \sin {\pi\over n}\sin {2\pi\over n}\cdots \sin{(n-1)\pi\over n}=\lim_{x\to 0} {\sin nx \over 2^{n-1}\sin x} ={n \over 2^{n-1}}. \label{5.24} \end{align}

所以 \eqref{5.23} 開根號得 Euler 乘積公式

\begin{align} \Gamma\bigg({1\over n}\bigg)\Gamma\bigg({2\over n}\bigg)\cdots \Gamma\bigg({n-1\over n}\bigg) ={(2\pi)^{{1\over 2}(n-1)} \over \sqrt{n}}. \label{5.25} \end{align}

這是 Gauss 乘積公式 \eqref{5.26} 或 \eqref{5.27} 的特例 $!$

定理5.3： (Gauss乘積公式, 1812) 給定 $m\in \mathbb{N}$

\begin{align} \Gamma(z) \Gamma\bigg(z+{1\over m}\bigg)\cdots \Gamma\bigg(z+{m-1\over m}\bigg) =(2\pi)^{{1\over 2}(m-1)}m^{{1\over 2}-mz} \Gamma(mz). \label{5.26} \end{align}

如果 $z$ 換為 ${z\over m}$ 則是

\begin{align} \Gamma\bigg({z\over m}\bigg) \Gamma\bigg({z+1 \over m}\bigg)\cdots \Gamma\bigg({z+m-1 \over m}\bigg) =(2\pi)^{{1\over2}(m-1)}m^{{1\over 2}-z} \Gamma(z). \label{5.27} \end{align}

證明： 詳細的證明在此沒有必要, 有興趣的讀者可以參考 (固定值, 固定值, 固定值, 固定值)。

$\Box$

註解： $\ $

(i) 這是高斯在 1812 年所證明, 1874 年柏林大學三巨頭之一的 E. E. Kummer 給了另一個證明。

(ii) 仿倍角公式可以得出 Gauss 乘積公式 \eqref{5.26} 與正弦函數 $\Phi(z)=\sin \pi z$ 的類比

$$ \eqref{5.26} \quad\Longleftrightarrow\quad \Phi(nz)= 2^{n-1} \Phi(z) \Phi\bigg(z+{1\over n}\bigg)\cdots \Phi\bigg(z+{n-1\over n}\bigg). $$

(iii) \eqref{5.24} 這個三角恆等式可以從等分圓方程 (cyclotomic equation) 推得, 令

$$ \omega_k \overset{\rm def}{=} e^{i 2k\pi \over n}= \cos {2k\pi\over n} +i \sin {2k\pi\over n},\qquad k=1,2,\ldots, n-1, $$

則

\begin{align} \begin{aligned} |1+z + \cdots + z^{n-1}|&=\bigg|{1-z^n \over 1-z}\bigg|=|z-\omega_1||z-\omega_2|\cdots |z-\omega_{n-1}| \\ &=\prod_{k=1}^{n-1} \bigg| z- \cos {2k\pi\over n} -i \sin {2k\pi\over n}\bigg|. \end{aligned} \label{5.28} \end{align}

令 $z=1$ 並利用倍角公式得

\begin{align} \begin{aligned} \bigg|1- \cos {2k\pi\over n} -i \sin {2k\pi\over n}\bigg| &=\sqrt{\bigg(1- \cos {2k\pi\over n}\bigg)^2 +\bigg(\sin {2k\pi\over n}\bigg)^2} \\ &=\sqrt{2-2\cos {2k\pi\over n}}= 2\sin {k\pi\over n}. \end{aligned} \label{5.29} \end{align}

代入 \eqref{5.28} 就是 \eqref{5.24}。

$\Box$

乘積公式有甚麼用處? 例如 \eqref{5.24} 兩邊同時取對數, 再乘上 ${\pi\over 2n}$, 接著取極限 $n\to \infty$ 就是 Riemann 和, 因此可得對數正弦函數的積分

\begin{align} \begin{aligned} \int_0^{\pi\over 2} \log \sin x dx &=\lim_{n\to \infty}\sum_{k=1}^{n-1} \bigg(\log \sin {k\pi\over n}\bigg) \cdot {\pi\over 2n} \\[2mm] &= \lim_{n\to \infty}\Big(\log n - (n-1)\log 2\Big){\pi\over 2n} \\[2mm] &= \lim_{n\to \infty}{\log n\over 2n}-\log 2\lim_{n\to \infty}{(n-1)\pi\over 2n} =-{\pi\over 2} \log 2. \end{aligned} \label{5.30} \end{align}

更一般情形則是

例題5.4：

\begin{align} I=\int_0^{\pi\over 2} \log \sin x dx =\int_0^{\pi\over 2} \log \cos x dx =-{\pi\over 2} \log 2. \label{5.31} \end{align}

解： 如果沒有乘積公式, 典型的證明是利用對稱性而來的變數變換。 先考慮變數變換

$$ x=y-{\pi\over 2} \quad\Longrightarrow\quad \sin x =-\cos y, $$

所以

$$ \int_0^{\pi\over 2} \log \sin x dx=-\int_{\pi\over 2}^0 \log \cos y dy =\int_0^{\pi\over 2} \log \cos x dx. $$

其次由倍角公式得

$$ \begin{aligned} 2I&= \int_0^{\pi\over 2} \log \sin x dx+\int_0^{\pi\over 2} \log \cos x dx =\int_0^{\pi\over 2} \log {2\sin x\cos x\over 2} dx \\[2mm] &=\int_0^{\pi\over 2} \log \sin 2x dx-{\pi\over 2} \log 2 ={1\over 2}\int_0^{\pi} \log \sin \xi d\xi-{\pi\over 2} \log 2\quad (\xi=2x). \end{aligned} $$

最後等式右邊之積分可以拆解為

$$ \begin{aligned} \int_0^{\pi} \log \sin \xi d\xi &=\int_0^{\pi\over 2} \log \sin \xi d\xi +\int_{\pi\over 2}^{\pi} \log \sin \xi d\xi \\ &=I+\int_0^{\pi\over 2} \log \sin\bigg(\eta +{\pi\over 2}\bigg) d\eta\qquad \bigg(\eta = \xi-{\pi\over 2}\bigg) \\ &=I+\int_0^{\pi\over 2} \log \cos\eta d\eta=2I. \end{aligned} $$

帶回上式

$$ 2I=I-{\pi\over 2}\log 2 \quad\Longrightarrow\quad I=-{\pi\over 2}\log 2. $$

$\Box$

同理 $\Gamma$-函數也有類似的結果。

例題 5.5： (Raabe 積分) ^{5 5} Joseph Ludwig Raabe (1801$\sim$1859) 一個非常陌生的名字通常被歸類為瑞士數學家, 但實際上他是出生在烏克蘭。 由於家境貧窮他一路是靠著當家教養活自己並接受教育。 Raabe 最著名的工作是關於無窮級數的收斂性判定方法, 這是 d'Alembert 比較審驗法 (ratio test) 的推廣。 另外就是$\Gamma$-函數的積分就是這個例題的瑕積分。

\begin{align} \int_0^1 \log \Gamma(x) dx ={1\over 2} \log (2\pi). \label{5.32} \end{align}

解法一： 由 \eqref{5.25} 兩邊同時取對數

$$ \log\Gamma\bigg({1\over n}\bigg) + \log \Gamma\bigg({2\over n}\bigg) \cdots +\log \Gamma\bigg({n-1\over n}\bigg) = {n-1\over 2} \log (2\pi) - {1\over 2} \log n, $$

之後同時乘 ${1\over n}$

$$ \sum_{k=1}^{n-1} \log \Gamma\bigg({k\over n}\bigg) \cdot {1\over n} ={1\over 2} \log (2\pi) \cdot {n-1\over n} - {1\over 2n} \log n. $$

再取極限$n\to \infty$, 左邊視為 Riemann 和、右邊利用 L'Hospital 法則, 可以結論

$$ \int_0^1 \log \Gamma(x) dx ={1\over 2} \log (2\pi). $$

解法二： 這是餘元公式的應用。 首先變數變換可以得

$$ \int_0^1 \log \Gamma(x) dx=\int_0^1 \log \Gamma(1-x) dx. $$

因此餘元公式取對數之後積分得

$$ \begin{aligned} \int_0^1 \log \big(\Gamma(x)\Gamma(1-x)\big) dx &=\int_0^1 \log \Gamma(x) dx+\int_0^1 \log \Gamma(1-x) dx\\ &=\log \pi -\int_0^1 \log \sin \pi x dx. \end{aligned} $$

所以根據例題 5.4 的結果得

\begin{align*} \int_0^1 \log \Gamma(x) dx &={1\over 2}\bigg(\log \pi -\int_0^1 \log \sin \pi x dx \bigg), \\ &={1\over 2}\bigg(\log \pi -{1\over \pi}\int_0^\pi \log \sin x dx \bigg) ={1\over 2}\log (2\pi).\tag*{$\bm\Box$} \end{align*}

註解： $\ $

(i) 討論 \eqref{5.31} 這個瑕積分的收斂性是相當有趣的。 首先它沒有太胖的問題, 關於太瘦的問題主要是 $x=0$, 此時的靈感是著名的極限

$$ \begin{aligned} \lim_{x\to 0}{\sin x \over x}=1 &\quad \Longleftrightarrow \quad \sin x \approx x,\qquad 0 \lt x \ll 1, \\ &\quad \Longleftrightarrow \quad \log \sin x \approx \log x,\qquad 0 \lt x \ll 1. \end{aligned} $$

利用 L'Hospital 法則可以證明

$$ \lim_{x\to 0}{\log \sin x \over \log x} = \lim_{x\to 0} {{\cos x\over \sin x}\over {1\over x}}= \bigg(\lim_{x\to 0}\cos x \bigg) \bigg(\lim_{x\to 0}{x\over \sin x}\bigg) =1. $$

因此這兩個積分是同時收斂或同時發散! 但是藉由分部積分與 L'Hospital 法則可得

$$ \int_0^1 \log x dx = x\log x\Big|_0^1- \int_0^1 xd \log x=-\int_0^1 dx = -1. $$

因此我們有充分的理由相信 \eqref{5.31} 這個瑕積分是收斂的!

(ii) 更一般形式的 Raabe 積分為

\begin{align} \int_a^{a+1} \log \Gamma(x) dx ={1\over 2} \log (2\pi)+ a\log a -a,\qquad a\ge 0. \label{5.33} \end{align}

參考文獻

本文作者為國立交通大學應用數學系退休教授