空隙級數（lacunary series）
/ luh-KYOO-nuh-ree /
大多數冪級數每個冪次都有項：a_0 + a_1 z + a_2 z^2 + a_3 z^3 + ...。空隙級數則布滿缺口——幾乎所有係數都是零，而存留的冪次隨著向外走間隔越來越大。lacuna 一詞意為缺口或空白，這正是它的特徵：在一個非零項與下一個之間，指數作一次大跳躍。典型的形狀是 sum c_k z^(n_k)，其中指數 n_k 帶著越來越寬的間隙奔向無窮，例如 n_k = 2^k 給出 z + z^2 + z^4 + z^8 + ...。
讓間隙「夠大」的精確條件是阿達馬間隙條件：存在固定比值 q 大於 1，使每個指數至少是前一個的 q 倍，即 n_(k+1) >= q n_k。在此條件下（並假設收斂圓盤為 |z| < 1），奧斯特洛夫斯基-阿達馬間隙定理保證一件戲劇性的事：收斂的邊界圓是自然邊界。直觀來說，間隙使部分和在邊界附近、同時朝那麼多方向、劇烈振盪，以致奇點被逼到一個稠密的邊界點集上，無法跨越該圓延拓。弔詭的是，間隙把函數鎖住了。
為何研究這些？首先，它們是擁有自然邊界的函數最乾淨的構造——當你想要一個絕對無法延拓的解析函數的明確例子時，阿達馬間隙級數是首選。其次，它們揭示一個深刻的主題：函數的解析延拓微妙地編碼在它泰勒係數的大小「與」間距裡，而不只是大小。兩個係數量級相同的級數，依非零項是分散還是聚集，可能在邊界表現得截然不同。空隙級數也在調和分析（空隙傅立葉級數）與類隨機解析函數的研究中反覆出現。
級數 sum_{k>=1} z^(3^k) = z^3 + z^9 + z^27 + ... 以比值 q = 3 滿足阿達馬間隙條件（每個指數是前一個的 3 倍）。依間隙定理，它的收斂半徑為 1 且單位圓是自然邊界：儘管這級數看起來溫馴、在圓盤內收斂得很好，它卻無法越出圓盤哪怕一步。
指數每步乘三，滿足間隙條件，故單位圓成為無法通過的自然邊界。
大間隙並不會削弱級數——它囚禁了級數。常令人意外的是，一個如此稀疏、在圓盤內如此規矩的級數，竟可被徹底困在圓盤裡，無法在任何邊界點延拓。