JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

ML 不等式與估計積分

你很少真的需要圍道積分的精確值——你需要的是知道它很小。ML 不等式正是那條一行的工具，用被積函數的大小乘上路徑的長度來界定積分的大小；接下來幾乎每一個重要定理背後，都是它在默默地扛重活。

為什麼一個界限比一個值更值錢

在上一篇裡，你學會了親手算圍道積分：挑一個參數化 z(t)，代進去，硬算 integral of f(z(t)) z'(t) dt。那是踏實的工作，對圓或線段都能乾淨地走完。但這裡有整門學問的一個祕密——多數時候你根本不想要積分的值。你想證明它很小，常常是想證明當某條圍道變大、或某個半徑變小時，它縮向零。一個漂亮的估計，往往能取代一整頁你算完只會丟掉的精確運算。

想想它在哪裡發力。要證明柯西定理，你會把一個區域切成越來越小的三角形，再證明剩下的誤差消失。要證明被積函數裡沒有藏著極點，你讓一個大圓膨脹，看著積分死去。要證明劉維爾定理——有界的整函數必為常數——你在一個巨大的圓上界定一個積分，再讓半徑奔向無窮。這每一個論證都需要同一個小裝置：一種能說「這個積分至多是某某，而某某趨於零」的辦法。那個小裝置就是 ML 不等式。

陳述這條不等式，以及 M 與 L 是什麼

設 f 在圍道 C 上連續，令 L 是 C 的長度，令 M 是 f 沿 C 大小的任一上界——也就是一個數，使得對曲線上每個 z 都有 |f(z)| 至多 M。那麼這個積分的模長至多就是 M 乘以 L。名字自己會寫：M 取自模長界（modulus），L 取自長度（length）。它是工具箱裡最乾淨的工具，而且幾乎沒有幫不上忙的時候。

| integral over C of f(z) dz |  <=  M * L

   where   L = length of C  =  integral over C of |dz|
           M = any number with |f(z)| <= M  for all z on C
ML 不等式：積分的大小，永不超過被積函數的上界乘以路徑的長度。

動手前有兩點要當心。其一，M 只需要是一個上界，不必是精確的最大值——一個寬鬆、好找的 M 完全合法，通常也夠用了；除非那點鬆動真的破壞你的論證，否則去把它收緊純屬白費力氣。其二，這條不等式界定的是積分的模長；它對積分的輻角或正負號一無所言，也永遠無法證明某個積分很大。它是單向的工具，而那單一方向，恰恰就是接下來的定理所要的。

它從何而來：把三角不等式積分起來

證明很短，而且值得記在腦子裡，因為它顯示這條不等式並非什麼高深的新事實，而是一條老事實——三角不等式——套用在一個已化為積分的和上。回想圍道積分是和式 f(z_k) 乘以（一小步 delta z_k）的極限。三角不等式說一個和的模長至多是各項模長之和，所以整個逼近和的模長，至多是 sum of |f(z_k)| 乘以 |delta z_k|。

現在把每個 |f(z_k)| 用 M 界住並提出來，剩下 M 乘以各步長之和 sum of |delta z_k|。但那剩下的微小步長之和，正好是 C 弧長的折線逼近，它收斂到 L。取極限就得到了：|積分| 至多 M 乘以 L。用一行話說：把模長挪進積分裡只會讓東西變大，|f(z)| 至多 M，而 integral of |dz| 就是長度 L。

一個實際估計：大圓上的積分

取 f(z) = 1 / (z^2 + 1)，令 C_R 是圓 |z| = R、繞行一次，R 取得很大。我們不會去算這個積分；我們只證明當 R 變大時它會縮小。底下的逐步走法，正是你日後在幾十道題目裡會重複的套路，所以值得慢慢做一遍。

  1. 求 L。圍道是一個半徑 R 的整圓，所以長度 L = 2 pi R。（若只用上半圓，這個值減半——這情形日後會不斷出現。）
  2. 把 |f| 從上界住——靠把分母從下界住做到。在 C_R 上有 |z| = R，逆向三角不等式給出 |z^2 + 1| 至少 |z^2| - 1 = R^2 - 1。所以 |f(z)| = 1 / |z^2 + 1| 至多 1 / (R^2 - 1)。取 M = 1 / (R^2 - 1)。
  3. 相乘：|積分| 至多 M * L = 2 pi R / (R^2 - 1)。
  4. 讀出極限。當 R 趨於無窮，2 pi R / (R^2 - 1) 表現得像 2 pi / R，趨於零。所以 1/(z^2+1) 沿大圓的積分在極限下消失——全程不需要算出值。

注意讓它成立的那個變動部分：分母以 R^2 增長，而長度只以 R 增長，所以 M 縮小得比 L 增長還快，乘積便趨於零。那場賽跑——被積函數衰減得比路徑變長還快嗎？——正是每一個「弧消失」論證背後的問題，包括你用留數定理破解實積分時會遇到的那些。逆向三角不等式 |a + b| 至少 |a| 與 |b| 之差的絕對值，是找 M 的日常主力；把它放在手邊。

夠鋒利之處，與它太鈍之處

這個界限有多好？有時它剛好緊。把 f(z) = 1 沿單位圓積分：M = 1、L = 2 pi，所以 ML 說模長至多 2 pi——而真值 integral of dz 繞圓一圈是 0，舒舒服服落在界限之下，卻提醒你 ML 封頂的是大小，不是值。更能展示緊度的例子：integral of (1/z) dz 繞單位圓等於 2 pi i，其模長為 2 pi；這裡圓上 |1/z| = 1，故 M = 1、L = 2 pi 給出的界限恰好是 2 pi。估計被達到了。這個等號情形，恰好發生在 |f| 沿 C 為常數、且 f(z) dz 一路保持固定輻角的時候。

那它又在哪裡顯得鈍？當被積函數只在 C 的一小段上很大、其餘處處很小時，單一個平的 M——被迫去涵蓋最糟的那一點——會把那長長的安靜路段嚴重高估。誠實的補救正是證明所暗示的：把 C 切成數段子弧，在每段上分別套用 ML，f 小的地方用較小的 M。總界限是各段之和，可以比整條曲線只用一個 M 鋒利得多。ML 是一個你拿來細修的起步估計，不是一個你照單全收的最終答案。