赫爾德空間（Holder space）
/ HUL-der /
連續說一個函數不跳變；可微說它有乾淨的切線。在這兩者之間，有一整條分級的中間平滑度尺度——這些函數連續、甚至以受控的量彎曲，但不必然可微。赫爾德空間恰恰量測那種中間正則性，為「函數變化得多平滑」釘上一個精確的數字。它們是橢圓理論古典（Schauder）這一側的自然語言，是基於積分的索伯列夫空間的對應物。
若函數 u 的變化由距離的某個分數冪所控制，它就是指標為 alpha（介於 0 與 1 之間的數）的赫爾德連續：對所有 x, y、某常數 C，|u(x) - u(y)| 至多是 C 乘 |x - y|^alpha。當 alpha = 1 時這是利普希茨連續（斜率有界）；對小於 1 的 alpha，它容許比線性更陡的局部行為，如平方根尖點 |x|^{1/2}，它是赫爾德-1/2 但非利普希茨。空間 C^{k,alpha} 則由那些 k 次連續可微、且其 k 階導數為指標 alpha 的赫爾德連續的函數構成——一把精細的尺，讀出「介於」整數層 C^k 與 C^{k+1} 之間的正則性。它的範數把直到 k 階的所有導數的大小、加上最高階導數的赫爾德常數加總起來。赫爾德連續是索伯列夫可積性的逐點、幾何表親；索伯列夫嵌入定理正是把「足夠多的索伯列夫導數」翻譯成一個赫爾德指標的那本字典。
它們在何處立功：Schauder 估計，即橢圓正則性的古典主力，完全以赫爾德空間陳述——若橢圓方程的資料與係數是 C^{k,alpha}，則解是 C^{k+2,alpha}，恰好多賺兩個導數。這種乾淨的「賺兩個」行為，在赫爾德空間中比在任何 L^p 空間中都更乾淨，這就是為什麼 Schauder 理論偏好它們。為何分數指標不可或缺、光靠整數行不通，是個貨真價實的事實、而非便宜行事：僅僅有界（L-無窮）源的牛頓位勢一般而言不是 C^2——它的二階導數可能不連續——但它是 C^{1,alpha}，且若源是赫爾德的，則為 C^{2,alpha}。赫爾德空間正是橢圓方程毫無例外地賺得兩個導數的精確場景，那是整數階 C^k 空間無法提供的。
(-1, 1) 上的函數 u(x) = |x|^{1/2} 連續、且為指標 1/2 的赫爾德連續：|u(x) - u(y)| 保持在某常數乘 |x - y|^{1/2} 之內。但它不是利普希茨——它的斜率在 0 附近像 1/(2 乘 |x| 的平方根) 那樣爆掉——所以它住在 C^{0,1/2} 中但不在 C^{0,1} 中。單一個數 alpha = 1/2 恰好記錄了它在原點的尖點是什麼形狀。
指標 alpha 釘住尖點的形狀：|x|^{1/2} 是赫爾德-1/2 但非利普希茨。
在貨真價實的赫爾德範圍內，指標 alpha 必須嚴格介於 0 與 1 之間——alpha = 1 退化為利普希茨，而「alpha 大於 1」會逼函數成為常數（唯一滿足 |u(x)-u(y)| 至多 C|x-y|^{1+} 的函數是常數），所以 1 之上沒有空間。而且赫爾德正則性並非單憑連續性就蘊含：存在連續函數對任何正指標都不是赫爾德的（劇烈振盪那種），所以「連續」嚴格弱於「赫爾德連續」。