整函數:增長、階與值分布

從泰勒係數讀出的階(the order read from the Taylor coefficients)

一個整函數以兩種形式攜帶同樣的資訊:它在整個平面上所取的值,以及其冪級數 sum a_n z^n 中泰勒係數的列表 a_0, a_1, a_2, ...。我們用值、透過 M(r) 來衡量增長。一個小小的奇蹟是:同樣的增長——階與型——竟可以直接從係數讀出,完全不必看函數在大半徑處的行為。係數收縮到零的速度,竟悄悄編碼了函數增長到無窮的速度。

規則是:整函數 f(z) = sum a_n z^n 的階 rho 由 rho = 當 n 趨於無窮時 (n log n) / (log(1 / |a_n|)) 的上極限給出。係數衰減得越快,分母 log(1/|a_n|) 越大,階就越小——這符合直覺:微小的係數構築出較溫和的函數。一旦知道 rho,型也有對應的公式。在 e^z = sum z^n / n! 上驗算:這裡 a_n = 1/n!,所以 1/|a_n| = n!,而由史特靈公式 log(n!) 約為 n log n。於是 (n log n) / (n log n) 趨於 1,給出階 rho = 1——完全正確。

當你只有級數時,這條係數路徑是判定階的實用方法,而這很常見:你可能用一個冪級數定義某函數,並需要它的階以套用阿達馬定理、或知道它能有多少零點。它把增長這個分析概念與係數這個代數資料聯繫起來。誠實的提醒:這公式是對 n 取上極限,所以少數異常大或小的係數可能誤導匆忙的一瞥——階由 |a_n| 行為的長期趨勢決定,而非任何單一項。

取 f(z) = sum z^n / (n!)^2(這本質上是貝索型函數)。這裡 a_n = 1/(n!)^2,所以 log(1/|a_n|) = 2 log(n!) 約為 2 n log n。於是 (n log n) / (2 n log n) 趨於 1/2,所以階為 rho = 1/2——一個非整數的階,直接從係數讀出。

把分母中的階乘平方使階減半——僅憑係數的衰減就決定了增長。

此公式要求 f 為整函數(級數對所有 z 收斂,故 |a_n| 比任何幾何速率更快地趨於零);對收斂半徑有限的函數則不適用。而作為上極限,它由最終的衰減趨勢決定,而非零星的係數。

又称
coefficient formula for the order由係數定階