微局部分析簡介第一講

微局部分析簡介第一講 ^: 分佈論

沈威銓 · 蕭欽玉

1. 導論

微局部分析 (Microlocal analysis) 是偏微分方程理論中的重要領域。 最早的起源是為了 研究線性偏微分方程式; 特別是某一類非橢圓 (non-elliptic) 及連次橢圓都缺乏

(non-hypoelliptic) 的線性偏微分方程式而發展起來的一門學問。 許多大數學家如約瑟夫．孔 恩 (Joseph Kohn), 路易．尼倫博格 (Louis Nirenberg), 拉爾斯．霍曼德 (Lars H¨ormander), 佐藤幹夫 (Mikio Sato), 柏原正樹 (Masaki Kashiwara), 路易斯．布得德莫維 (Louis Boutet de Monvel), 約翰拿斯．史約史特蘭 (Johannes Sj¨ostrand) 等人都在這個領域有重要的貢 獻。 微局部分析的理論主要由擬微分算子 (pseudodifferential operators) 及傅立葉積分算 子 (Fourier integral operators) 所構成。 微局部分析的方法往往是先在餘切叢 (cotangent bundle) 上每一點的錐鄰域 (conic neighborhood) 中作分析, 再進行整體研究。 這種方法比 傳統偏微分方程研究常用的局部化技術更有力也更有幾何意義。 例如, 在研究偏微分方程解的 奇性傳播 (propagation of singularities) 與偏微分方程的局部可解性 (local solvability) 時, 微局部分析是最有效的方法。 此外微局部分析方法在這幾年被應用到許多的重要數學領域而產 生許多豐碩的成果。 比如指標理論 (Index Theory), 複幾何 (Complex Geometry), 科西黎 曼幾何 (Cauchy–Riemann Geometry), 幾何量子化 (Geometric Quantization Theory) 等領域。 這幾年的許多重要進展都需要用到最上乘且細膩的微局部分析且只有用微局部分析的 方法才能抓到這些相關幾何問題的本質。 利用微局部分析來研究上述的領域已經成為一個新潮 流, 且可預期是未來幾何分析的重要方向。 有鑑於此, 筆者決定寫一系列的文章來介紹微局部分 析。

學習微局部分析需要較多的預備知識, 如傅立葉分析 (Fourier Analysis), 調和分析 (Harmonic Analysis) 及辛幾何 (Symplectic Geometry) 都是學習微局部分析需要具備的 知識, 也因此對初學者而言較難入門。 基於這些因素, 筆者決定在這一系列的文章中, 我們會介 紹所有用到的工具, 如上述提到的傅立葉分析, 調和分析及辛幾何。 我們只假設讀者具備高等微 積分及基本的複變等知識。 在某些部分, 需要有基本的實分析及泛函分析的知識, 讀者若無這方 面的背景, 可參考相關書籍, 應不會影響後續的閱讀。

30

2. 分佈論簡介

在微局部分析裡, 分佈論 (Distribution Theory) 是最基本的知識; 分佈論也是學習傅立 葉分析及調和分析的基本的知識。 因此, 在第一講中, 我們會仔細介紹分佈論的基本性質, 並會 介紹且證明著名的施瓦茲分佈核定理 (Schwartz kernel theorem)。 我們先簡介一下為何需要 分佈論這一門學問。 分佈論的起源來自偏微分方程理論的發展。 給定歐式空間 Rⁿ 的一組線性 偏微分方程式 A =

|α|≤Na_α(x)(−i∂x)^α, 偏微分方程裡的重要課題是要能夠知道 A 的可 解性及正則性 (regularity)。 正則性最簡單的說就是假設我們有一組解 Au = v, 當 v 是平滑 (smooth) 時, 我們會想知道 u 是否也是或必定是平滑。 一般而言, 我們會先在 L² 空間內解 Au = v,因為 L² 空間為希爾伯特空間 (Hilbert space), 這時我們就可用泛函分析的理論或希 爾伯特空間的理論來研究解的存在性。 一旦解的存在性解決後, 我們就可用一些偏微分方程及 傅立葉分析的估計, 不等式等技巧, 來研究解的正則性。 這邊立刻遇到一個問題, 當 u 只在 L² 空間時, ∂_x^αu 是什麼意思? 傳統的方式是引入索伯瑞夫空間 (Sobolev space), 弱導數 (weak derivative) 等概念來克服這些困難。 但最有效的方式是考慮 u 是一個分佈 (distribution), 一個分佈不管微分幾次都是一個分佈, 因此我們可在分佈的層次解 Au = v, 接著再去研究解 的正則性等課題。

分佈的概念是由法國數學家羅亨．施瓦茲 (Laurent Schwartz) 在 50 年代提出 [3]。 在施 瓦茲提出分佈的概念之後的很長一段時間, 分佈論其實飽受批評。 原因大多是許多人包含許多 著名的數學家都覺得分佈雖然提供了最廣泛設定的框架, 但傳統的弱導數等概念就已足夠處理 眼前問題, 根本不需分佈論。 著名數學家馬塞爾．里斯(Marcel Riesz) 甚至當著施瓦茲面前批 評他的分佈論, 里斯甚至說出希望施瓦茲這輩子能發現出一些有些用處的東西等重話[2]。 但數 學的進展卻超出預期, 在 75 年代左右, 在許多數學家如拉爾斯．霍曼德(Lars H¨ormander), 查 爾斯．費弗曼 (Charles Fefferman), 路易斯．布得德莫維 (Louis Boutet de Monvel), 約翰 拿斯．史約史特蘭 (Johannes Sj¨ostrand) 的努力之下, 慢慢發現在許多重要流形 (manifolds) 上的線性偏微分方程式存在不在任何 L^p 空間的零解 (Au = 0, u 稱作 A 的零解), 這些解 只能是一些分佈。 這意味著這些線性偏微分方程的垂直投影到零解空間的算子的施瓦茲分佈核 (Schwartz distribution kernel) 會有奇異點 (singularities), 而這些奇異點會決定這些流形 的重要幾何性質。 因此如何研究這些奇異點就成為一個重要的課題。 研究這些奇異點所發展出 來的許多細膩且深入的分析理論就構成了現今的微局部分析, 因此分佈論成為這些學問最重要 的基本知識。

在這一講中, 我們會介紹基本的分佈論, 主要的參考文獻為施瓦茲 [3] 及霍曼德 [1] 的兩 本經典著作。 從現今的角度來看, 這兩本名著雖然只在處理基本的分佈論或分析題材, 但卻可以 看出這兩位當代分析學大師的深厚功力及深入細緻的數學觀點。 讀完本文的讀者, 不妨參考這 兩本經典著作。

3. 測試函數

3.1. _{記號與定義}

設 X 為 n-維歐式空間 Rⁿ中的一個開集, k ∈ N0∪ {∞}, 其中 N0 :={0, 1, 2, . . .}, 記 X 上的 k 次連續可微函數(函數值可為實數或複數) 全體為 C^k(X)。 類似地, 記 X 上的光滑 (無窮可微) 函數全體為 C^∞(X) :=∩kC^k(X)。

定義3.1: 對於一連續函數 u ∈ C⁰(X), 我們定義 u 的支撐集 (support)為 supp(u) :={x ∈ X : u(x) = 0}.

上述符號 {•} 為閉包之意, 而經過簡單的集合論證, 我們可以檢驗 supp(u) 實為 X 上 的最小的閉子集使得限制函數 u|X\supp(u) = 0。

定義3.2: 分別記 X 上擁有緊緻支撐 (compact support) 的 k 次連續可微函數全體和有緊緻 支撐的光滑函數為 C0^k(X)和C0^∞(X)。

在後續的行文中我們稱 C0^∞(X)中的元素為 測試函數 (Test functions)。 下面的命題保 證總是存在測試函數:

命題3.1: 存在一非負函數 φ(x) ∈ C0^∞(Rⁿ) 使得 φ(0) > 0。

證明: 考慮函數 f(t) :=

e⁻¹t : t > 0

0 : t≤ 0。 可檢驗 f(t) ∈ C^∞(R)。 令 φ(x) := f(1 − |x|²), 則 φ(0) = f (1) > 0,並且 φ ∈ C0^∞(B₁(0)), 其中 B1(0) :={x ∈ Rⁿ :|x| < 1}。 

注意到透過對上述的函數 φ 平移與伸縮, 我們可以得到非負函數 x → φ_x−x

0

δ

, 他在給 定的點 x0 上是正的, 而且其支撐集落在 Bδ(x₀) :={x ∈ Rⁿ:|x − x0| < δ} 內。

3.2. _捲積

在被廣泛使用的光滑化 (regularization)手法中, 捲積 (convolution)是最基本的一種方 法。 在此我們快速回顧關於捲積的基本性質而不加以證明。 對於函數 u, v ∈ C^∞(Rⁿ), 若至少 其中一函數有緊緻支撐, 我們定義 u 和 v 的捲積為

u∗ v(x) :=

Rⁿ

u(y)v(x− y)dy ∈ C^∞(Rⁿ).

透過直接計算, 可驗證 u ∗ v(x) = v ∗ u(x)。 事實上, 捲積可視為函數空間上的乘法結構:

命題3.2: 若 u, v, w ∈ C^∞(Rⁿ), 且這個集合 {u, v, w} 中至少有兩個函數有緊緻支撐, 則 (u∗ v) ∗ w = u ∗ (v ∗ w)。

對於 α := (α1, . . . , α_n)∈ Nⁿ0, 我們稱 α 為一個多重指標並令 |α| := α1 +· · · + αn。 對於函數 f ∈ C^k(X), 多重指標記號 α := (α1, . . . , α_n) ∈ Nⁿ0, 我們用 ∂_x^αf 來表示偏微分

∂_x^αf := ∂_x^α1

1 · · · ∂^α_xnⁿf。 我們有下列關於捲積與微分關係:

命題3.3: 若 u ∈ C0^k(Rⁿ), v ∈ C^l(Rⁿ), 則 u ∗ v ∈ C^k+l(Rⁿ), 並且對於任意 |α| ≤ k 和

|β| ≤ l,

∂^α+β(u∗ v) = ∂^αu∗ ∂^βv.

記局部可積函數全體為

L¹_loc(X) :={f為X裡的可測度函數 (measurable function) :

|φf|dx < ∞對於所有的φ ∈ C0^∞(X)}.

我們有下列關於捲積的光滑化性質:

命題3.4: 若 u ∈ C0^k(Rⁿ)而 v ∈ L¹loc(Rⁿ),則 u ∗ v ∈ C^k(Rⁿ)。

在這小節的結尾, 我們給出一個關於捲積和測試函數的簡單應用。 考慮非負函數 χ∈ C0^∞(B₁(0)) 滿足 

χdx = 1; 對於任意 1 >  > 0, 令 χ(x) := ⁻ⁿχ_x



, 則我們仍有  χ_dx = 1。

定理3.1: 對於緊緻集 K ⊂ X, 其中 X 為 Rⁿ 中的開集, 我們可以找到一函數 φ ∈ C0^∞(X) 滿足

0≤ φ ≤ 1, 並且在 K的某個鄰域上φ均為1。

證明: 由於 K 是緊緻的, 我們可取到一個極小的常數  > 0 使得對所有的 x ∈ K 和 y ∈ Rⁿ\ X, 我們都有 |x − y| > 4。 對任意 δ > 0, 定義集合

K_δ :={y ∈ Rⁿ:存在x ∈ K使得|x − y| < δ}.

注意到此集合必包含 K。 令 v(x) := 1K2(x) :=

1 : x∈ K2

0 : x /∈ K2

, 則對於函數

φ(x) := (v∗ χ_)(x) = 

v(x− y)χ_(y)dy = 

χ_(x− y)v(y)dy = 

K2

χ_(x− y)dy, 由  的選取和 supp (χ_)⊂ B_(0), 我們不難推論出 φ ∈ C0^∞(K_3)⊂ C0^∞(X)。 另一方面, 由

1− φ(x) = 

χ_(y)dy− 

v(x− y)χ(y)dy = 

(1− v(x − y))χ(y)dy,

我們可以發現對 x ∈ K, 當 |y| ≥  時, 則 χ(y) = 0; 而當 |y| <  時, 因為 |x − y| ∈ K2, 1− v(x − y) = 0。 也 就是說, 對所有的 x ∈ K, φ(x) = 1。 

我們通常稱上述構造的函數為截斷函數 (cut-off functions)。

3.3. _{單位分解引理}

在大域分析當中, 常會遇到如何將局部獲得的結論 「黏」 起來得到全域結果的問題。 我們 在這介紹其中一個常用的手法, 又稱單位分解引理 (partition of unity):

定理 3.2: 令 X1, . . . , X_k 為 Rⁿ 中的開集, φ ∈ C0^∞(∪^k_j=1X_k)。 則我們可以找到 φj ∈ C₀^∞(X_j), j = 1, . . . , k,使得 φ = _k

j=1φ_j。 若 φ ≥ 0, 我們則也可經過挑選使得 φj ≥ 0, 對 所有的 j = 1, . . . , k。

證明: 按照假設, 不難發現對於所有的 i = 1, . . . , k, 我們可以找到緊緻集 Ki ⊂ Xi 並且 supp(φ)⊂ ∪^k_i=1K_i。 對於 i = 1, . . . , k, 考慮截斷函數

ψ_i ∈ C0^∞(X_i) 滿足 0 ≤ ψi ≤ 1 並且在 Ki 上 ψi = 1.

則 φ1 := φψ₁ ∈ C0^∞(X₁), φ₂ := φψ₂(1−ψ1)∈ C0^∞(X₂), . . . , φ_k:= φψ_k(1−ψk−1)· · · (1−

ψ₁)∈ C0^∞(X_k) 滿足 k

j=1

φ_j− φ = −φ(1 − ψ1)· · · (1 − ψk) = 0

即為所求。 

4. 基礎分佈論

4.1. _基本定義

這小節我們介紹分佈 (distribution)定義以及其衍伸的基本性質。 我們採取其中一種可供 讀者直接操作的定義方式。 給定一個開集 X ⊂ Rⁿ, 我們說這個函數 u : C0^∞(X)→ C 是 X 裡的測試函數的線性泛函 (linear functional)若

u : C₀^∞(X)→ C 為一個有界線性映射。

定義4.1: 給定一個開集 X ⊂ Rⁿ, 我們說這個線性泛函 u : C0^∞(X)→ C 是 X 裡的分佈若

對於所有的緊緻集 K ⊂ X 和任意的 φ ∈ C0^∞(K),存在常數 C 以及 k 使得

|u(φ)| < C

|α|≤k

sup_K|∂^αφ|.

我們把 X 裡的所有分佈的集合記為 D^(X)。 範例: 這邊枚舉兩個常見的分佈實例:

1. 對於局部可積函數f ∈ L¹loc(X), 我們可透過

T_f : C₀^∞(X)→ C, φ → 

f φdx 將 f 視為一個分佈。

2. 狄拉克算子 (Dirac-delta operator) δp, p∈ X, 可被視為一個分佈 δ_p : C₀^∞(X)→ C, φ → φ(p).

接下來我們列舉兩個關於分佈論常用的的敘述, 他們的定義或證明用到了泛函分析中拓樸 向量空間 (topological vector spaces)的結果, 有興趣的讀者可以翻閱泛函分析書籍諸如[5], [4]的相關章節。 此處的兩個敘述我們不給予證明。

給定 X 上的測試函數序列 {φj}^∞_j=1, 對於 φ ∈ C0^∞(X), 若存在緊緻集 K ⊂ X 和 N ∈ N0,使得對於所有的 j ≥ N, supp(φj)⊂ K 並且對於任意多重指標 α, sup_K|∂_x^α(φ_j− φ)| → 0 成立, 則我們說 φj → φ 在 C0^∞(X)意義下收斂。 下面是對於分佈連續性的刻劃:

命題4.1(分佈是個連續的線性泛函): 給定 C0^∞(X) 上的的線性泛函 u, 下列敘述是等價的:

1. u∈ D^(X)。

2. 對所有的 X 上的測試函數序列 {φj}^∞_j=1, u 滿足 u(φj)→ 0, 當 φj → 0 在 C0^∞(X) 意 義下收斂。

基於泛函分析中的一致有界性原理 (uniform boundedness principle), 我們有下列關於 分佈完備性的事實:

定理4.1(分佈的完備性): 給定序列 uj ∈ D^(X), j ∈ N := {1, 2, 3, . . .}, 若對於所有的測試 函數 φ ∈ C0^∞(X),極限 limj→∞u_j(φ)都存在, 則這個線性泛函

u : C₀^∞(X)→ C, φ → lim

j→∞u_j(φ), 為一個分佈, 也就是 u ∈ D^(X)。

4.2. _基本操作

這小節我們討論一些關於分佈最基本的操作。

定義4.2: 給定兩個開集 Y ⊂ X ⊂ Rⁿ 及 u ∈ D^(X),定義 u 限制在 Y 為如下的分佈:

u|Y = u_Y : C₀^∞(Y )→ C, φ→ u(φ).

定義4.3: 給定開集 X ⊂ Rⁿ, u ∈ D^(X) 及 f ∈ C^∞(X), 定義光滑函數 f 與分佈 u 的乘 積為如下的分佈:

f u : C₀^∞(X)→ C, φ→ u(fφ).

定義4.4: 給定開集 X ⊂ Rⁿ, u∈ D^(X)。 對於所有的 k = 1, . . . , n, 分佈對 xk 的微分為如 下的分佈:

∂_xku : C₀^∞(X)→ C,

φ→ −u(∂_xkφ).

容易驗證, 上述的三個定義均為恰當定義的。

範例: 我們在這枚舉兩個關於分佈微分的基本例子:

1. 對於f ∈ L¹loc(X), T_f ∈ D^(X), 則當φ ∈ C0^∞(X), (∂_xkT_f)(φ) :=−Tf(∂_xkφ) :=−

f ∂_xkφdx.

特別地, 若 f ∈ C¹(X), 這就是一般的分部積分公式。 在一般的偏微分方或泛函分析理論 中, 人們也稱呼這類透過測試函數對偶性定義出來的微分為 弱微分 (weak derivative)。

2. 考慮黑維塞函數 (Heaviside function) H(x) :=

1 : x > 0 0 : x ≤ 0 .

由於 H ∈ L¹loc(R), 我們有 H ∈ D^(Rⁿ)。 對所有的 φ ∈ C0^∞(Rⁿ),我們有 H^(φ) :=−H(φ^) :=−

 _∞

0

φ^(x)dx = φ(0) =: δ₀(φ).

因此H^ = δ₀。 這個結論是符合直覺的, 原因是想像上 δ0 是個在原點無窮大而其他處都是 零的 「函數」, 而函數 H 剛好在原點處有個跳躍不連續點。 而從這個簡單的例子我們可以看 出分佈論提供了一個嚴謹的語言來描述這些奇異點的表現。

3. 假設我們在分佈空間中有個 「自然」 的乘法結構, 則我們將一個函數看成一個分佈時, 這個 推廣的乘法結構應要和在函數時一致。 此處我們利用上述例子中的黑維賽函數來說明這是 不可能的, 也就是任意給定的兩個分佈, 定義他們的乘法一般來說是不會是恰當定義的。

顯然地, 在函數的意義下Hⁿ(x) = H(x), 若這乘法也在分佈意義下成立, 則對兩邊取分 佈的微分, 我們有 nHⁿ⁻¹δ₀ = δ₀, 這明顯是矛盾的, 因為等式只有單邊是 n-線性的。 因 此, 在本篇文章的後續內容中, 我們會介紹其他的乘法結構, 例如捲積和張量積。 而歷史上 為了解決這類問題的困擾, 在霍曼德 (Lars H¨ormander)引入了 微局部分析 (microlocal analysis)中波前集 (wave front sets)的概念後, 數學家才得以找到條件使得分佈間的乘法 是恰當定義的。

下列是個稍微複雜點的範例, 我們藉此來說明透過對偶性引進分佈這麼大的空間的一些好處:

範例 (高斯–格林公式 (Gauss – Green formula)): 給定歐式空間中的超曲面 (hypersurface) Y ⊂ Rⁿ, Y := {x ∈ Rⁿ : r(x) < 0}, 其中 r 是個一次連續可微的實數值函數, 並且在邊界

∂Y :={x ∈ Rⁿ: r(x) = 0} 上 dr = 0。 考慮特徵函數 1_Y(x) :=

1 : x ∈ Y 0 : x /∈ Y . 注意到藉由測試函數 φ, 我們可定義

1_Y(φ) :=

1_Y(x)φ(x)dx :=

Y

φ(x)dx

使得 1_Y(x)∈ D^(Rⁿ)。 這個範例中我們將透過計算分佈意義下的微分 ∂_xk1_Y 來證明高斯–格 林公式 (Gauss–Green formula)。 固定一點 x0 ∈ ∂Y , 不失一般性可假設 _∂x^∂r₁(x₀) = 0。 令 x^ := (x₂, . . . , x_n)。 藉由隱函數定理, 存在 x0 的某個鄰域 D, 我們可以找到函數 ψ ∈ C¹(D), ψ 和 x1 無關, 使得

∂Y ∩ D = {x ∈ D : x1 = ψ(x^)}.

注意到若 _∂x^∂r₁(x₀)

> 0

< 0,則由均值定理, Y ∩ D 由集合

x₁ < ψ(x^)

x₁ > ψ(x^) 決定。 不失一般性, 我 們假設 _∂x^∂r₁(x₀) < 0, 則

Y ∩ D = {x : x ∈ D : x1 > ψ(x^)}.

考慮函數 g(t) ∈ C0^∞([0, 1]), 

Rg(t)dt = 1,則對於函數 h(x) :=_x

−∞g(t)dt∈ C^∞(R), h(x) =

1 : x∈ (1, ∞) 0 : x∈ (−∞, 0) .

現在我們考慮在 D 上的計算 : 對於 φ ∈ C0^∞(D), 由勒貝格控制收斂定 (Lebesgue domi- nated convergent theorem),

lim→0

Rⁿ

h

x₁− ψ(x^) 



φ(x)dx = 

Rⁿ

1_{x1>ψ(x)}φ(x)dx = 

Y ∩D

φ(x)dx =: 1_Y(φ).

更進一步地, 透過分佈的微分、 分部積分公式、 函數 h 的定義與微積分基本定理、 和勒貝格控 制收斂定理, 我們有

∂

∂x_k1_Y(φ) := −1Y

 ∂φ

∂x_k



=− 

Y

∂φ

∂x_kdx

=− lim

→0

Rⁿ

h

x₁− ψ(x^) 

 ∂φ

∂x_jdx

= lim

→0

Rⁿ

h^

x₁ − ψ(x^) 

v_j(x^)

 φ(x)dx

= lim

→0

Rⁿ

h^(y₁)v_j(x^)φ (y₁ + ψ(x^), x^) dy₁dx^

= 

Rⁿ

h^(y₁)v_j(x^)φ (ψ(x^), x^) dy₁dx^

= 

Rⁿ

v_j(x^)φ(ψ(x^), x^)dx^. 此處我們使用了符號 (v1, . . . , v_n) :=



1,−^∂ψ(x_∂x2^)· · · , −^∂ψ(x_∂xn^)

。 考慮 ∂Y 上的面積單元 dS,局部在 D 上可寫為

dS =

1 +|∇ψ|²dx^.

又, ∂Y 上的單位指向內部法向量局部在 D 上為 N := (N1, . . . , N_n) = √ ^V

1+|∇ψ|²,也就是說 上述的計算告訴我們在 D 上, 對所有的 φ ∈ C0^∞(D),

∂_xk1_Y(φ) = 

∂Y

N_kφdS.

最後, 透過單位分解引理, 我們可以在整個 Y 上得到分佈意義下, 對所有 k = 1, . . . , n,

∂_xk1_Y = N_jdS.

現在我們可以證明高斯–格林公式 : 令向量場 F = (f1, . . . , f_n), 其中 fk 為 Rⁿ 中的測試函 數, k = 1, . . . , n。 對於為歐式空間中的超曲面 Y , 令 N 為 ∂Y 上指向內的單位法向量, 則我 們有

Y

(divF )dx :=

n k=1

Y

∂f_k

∂x_jdx =− n k=1

(∂_xk1_Y) (f_k) =− n k=1

∂Y

N_kf_kdS =− 

∂Y

F·NdS.

範例 (拉普拉斯算子的基本解 (fundamental solution)): 令拉普拉斯算子 Δn := _n

j=1 ∂²

∂x²_j, C_n 為歐式空間 Rⁿ 中單位球面的表面積,

E_n(x) :=

⎧⎪

⎪⎨

⎪⎪

⎩ 1

2π log|x| : n = 2, x ∈ Rⁿ\ {0}

−|x|²⁻ⁿ (n− 2)Cn

: n > 2, x∈ Rⁿ\ {0}

,

這邊 Cn 為歐式空間 Rⁿ 中單位球面的表面積。 我們在此利用高斯–格林公式與分佈意義下的 微分來證明 En 為拉普拉斯算子的基本解, 也就是說在分佈意義下 ΔnE_n = δ₀。 對於 x = 0, 透過直接計算, 我們有

Δ_nE_n = 0, ∂

∂x_jE_n= x_j|x|⁻ⁿ C_n . 故 En, ^∂

∂xjE_n∈ L¹loc(Rⁿ)。 現在考慮 φ ∈ C0^∞(Rⁿ),則 (Δ_nE_n)(φ) = E_n(Δ_nφ)

= 

E_nΔ_n(φ)dx

= lim

→0

1_{|x|>}E_nΔ_nφdx (此處用到了勒貝格控制收斂定理)

= lim

→0

{|x|>}

E_nΔ_nφdx

= lim

→0

{|x|>}

(E_nΔ_nφ− φΔnE_n) dx

= lim

→0

{|x|>}

div(E_ngradφ− φ gradEn)dx

= lim

→0

{|x|=}

(φ gradE_n− Engradφ)· NdS (此處套用了高斯–格林公式)

= lim

→0

{|x|=}

φ gradE_n· NdS + lim

→0

{|x|=}−Engradφ· NdS

=: I₁+ I₂. 注意到

gradE_n=

x₁|x|⁻ⁿ

C_n , . . . ,x_n|x|⁻ⁿ C_n



, gradφ =

∂φ

∂x₁, . . . , ∂φ

∂x_n

 , N =

 x₁

|x1|, . . . , x_n

|xn|

 . 所以

I₁ = lim

→0

|x|=

φ(x)|x|¹⁻ⁿ

C_n dS = φ(0)

並且透過極座標計算

I₂ =

⎧⎪

⎪⎨

⎪⎪

⎩ lim→0

|x|=

|x|²⁻ⁿ (n− 2)C_n

1

|x|

 x₁ ∂φ

∂x₁ +· · · + xn

∂φ

∂x_n



= 0 若 n > 2, lim→0

|x|=

log|x|

2π|x|

 x₁ ∂φ

∂x₁ + x₂ ∂φ

∂x₂



= 0 若 n = 2

.

於是我們得到了在分佈意義下Δ_nE_n= δ₀。

4.3. _{局部化與緊支撐分佈}

這小節我們介紹分佈局部化、 支撐集和具有緊緻支撐的分佈。 從現在開始, 除了特別提及, 我們總是固定 Rⁿ 中的一個開集X。 首先, 給定一分佈 u ∈ D^(X), 若對於所有的點 p ∈ X, 都存在一 p 點附近的開集 Up 使得分佈限制 u|Up = 0, 則不難驗證在分佈意義下 u = 0。 事實 上, 利用單位分解引理, 我們有個反過來的敘述, 其證明細節交由讀者驗證。

定理4.2: 令 X1, X₂, . . . 為 Rⁿ 上的開集, 考慮 X := ∪^∞_j=1X_j。 若在每個 Xj 上有分佈 u_j ∈ D^(X_j), 並且對任意不同的 j, k, 在交集 Xj ∩ Xk 上 uj = u_k, 則存在唯一的分佈 u∈ D^(X)使得對所有 j, u|Xj = u_j。

提示: 給定任意的 φ ∈ C0^∞(X),由於 supp(φ) 是緊緻的, 利用單位分解引理我們可以找到有 限個 φj ∈ C0^∞(X_j) 使得 φ =

jφ_j。 定義 u(φ) :=

ju_j(φ_j)。 檢驗這樣的定義是恰當定 義的, 也就是說和單位分解引理的函數選取無關。 最後按照分佈的定義檢驗 u ∈ D^(X)。

另一方面, 透過前述對於分佈限制的觀察, 我們有下列的定義:

定義4.5: 令 u ∈ D^(X),我們定義分佈的支撐集 supp(u) 為得

supp(u) := {x ∈ X : 不存在 x 附近的開集使得 u 限制在上面為 0}.

換句話說, u|X\supp(u)= 0。

另一方面, 有了分佈的支撐的定義, 我們可以考慮一類的分佈子空間:

定義4.6: 給定一個分佈 u ∈ D^(X), 我們說 u 是個緊緻支撐分佈 (distribution with com- pact support)若 supp(u) 為 X 內的緊緻集。 我們把具有緊緻支撐分佈的全體記為 E^(X)。 也就是說

E^(X) := {u ∈ D^(X) : supp(u) 為 X 內的緊緻集}。

範例:

1. C₀^∞(X)⊂ E^(X)。

2. 直接的, 透過定義我們有supp(δp) ={p}, 所以δp ∈ E^(X)。

我們這邊也給出關於緊緻支撐分佈連續性的刻畫, 讀者可與先前小節的敘述比較一下。 給 定 X 上的光滑函數序列 {φj}^∞_j=1, 對於 φ ∈ C^∞(X), 若對於所有緊緻集 K ⊂ X 和多重指 標 α, sup_K|∂^α_x(φ_j− φ)| → 0 成立, 則我們說 φj → φ在C^∞(X)意義下收斂。

定理4.3: 若 u ∈ E^(X), 則 u 可被連續的延拓至 C^∞(X) 並成為一個連續線性泛函。

證明: 因為 supp(u) 為緊緻的, 我們可以取 ψ ∈ C0^∞(X) 使得在 supp(u) 附近 ψ = 1。 對於 任意的 φ ∈ C^∞(X),定義

u : C^∞(X)→ C, u(φ) := u(ψφ).

我們先來確認這樣是恰當定義的。 也 就是說, 我們要確認這樣的定義與截斷函數 ψ 的選取無 關。 現在, 對於另一 ˚ψ ∈ C0^∞(X) 滿足在 supp(u) 附近 ˚ψ = 1, 則由於 u(ψφ) − u(˚ψφ) = u((ψ − ˚ψ)φ) 並且 supp(˚ψ − ψ)φ ∩ supp(u) = ∅, 我們得到 u((ψ − ˚ψ)φ) = 0。 因此 u(˚ψφ) = u(ψφ)。 我們得到這樣的定義與截斷函數 ψ 的選取無關。 我們只需驗證這樣的延拓 是連續的。 令 K := supp(ψ), 它是緊緻的。 則按照分佈定義, 存在常數 C >0 和 k ∈N0 使得

|u(φ)| = |u(ψφ)| ≤ C

|α|≤k

sup

K |∂^α(ψφ)| ≤ C^

|α|≤k

sup

K |∂^αφ|,

其中 C^ > 0 是一個新的常數。 

事實上, 讀者可檢驗反過來的敘述也是對的。 而我們可以整理上述討論為:

命題4.2: u 是一個 C^∞(X)上的連續線性泛函若且唯若 u ∈ E^(X)。

4.4. _再談卷積

在這小節, 我們將透過測試函數與分佈的卷積來示範所謂的光滑化技巧。

定義4.7: 對於 u ∈ D^(X), φ∈ C^∞(X),我們將捲積定義為函數 (u∗φ)(x) := u(φ(x−•)), 其中 u 作用在 • 變數。

讀者可檢驗關係式 ∂^α_xu(φ(x− •)) = u(∂_x^αφ(x− •) 成立, 則藉此我們不難發現 u ∗ φ ∈ C^∞(X)。 此外, 讀者也可由定義來檢驗

supp(u∗ φ) ⊂ supp(u) + supp(φ).

範例:

1. 若 f ∈ L¹loc(X) , 則

(T_f ∗ φ)(x) := f(φ(x − •)) :=

f (y)φ(x− y)dy, 這符合在函數空間上捲積的定義。

2. 考慮狄拉克算子 δ0, 則對所有的測試函數 φ,

(δ₀∗ φ)(x) := δ0(φ(x− •)) := φ(x − 0) = φ(x).

3. 考慮常係數偏微分算子 P :=

|α|≤Na_α∂_x^α,其中 α 為多重指標且對所有的 α, aα 為常數。

若我們能找到一個分佈 E ∈ D^(Rⁿ),使得在分佈意義下 P E = δ0,則對於 φ ∈ C0^∞(Rⁿ), 我們可以檢驗

P (E∗ φ) = P E ∗ φ = δ0∗ φ = φ.

我們稱 E 為偏微分算子 P 的基本解 (fundamental solution)。 而上述的關係式表明 : 若 存在基本解那對於任意的測試函數 φ, 我們總能找到光滑解 u = E ∗ φ 使得 P u = φ。

命題4.3: 若 u ∈ D^(Rⁿ), φ, ψ ∈ C0^∞(Rⁿ),則 (u ∗ φ) ∗ ψ = u ∗ (φ ∗ ψ)。

證明: 不難檢驗對測試函數φ, ψ, 當h → 0, 黎曼和fh(x) :=

k∈Zⁿφ(x− kh)hⁿψ(kh) → (φ∗ ψ)(x)。 事實上, fh(x)→ (φ ∗ ψ)(x)亦在C0^∞(X)的拓樸下收斂。 因此

u∗ (φ ∗ ψ)(x) = u((φ ∗ ψ)(x − •))

= u(lim

h→0f_h(x− •))

= lim

h→0u



k∈Zⁿ

φ(x− kh − •)hⁿψ(kh)



= lim

h→0

k∈Zⁿ

hⁿψ(kh)u(φ(x− kh − •))

= lim

h→0

k∈Zⁿ

hⁿψ(kh)(u∗ φ)(x − kh)

= 

(u∗ φ)(x − y)ψ(y)dy

= (u∗ φ) ∗ ψ. 

現在, 我們敘述最基本的光滑化方法。 考慮非負函數 χ ∈ C0^∞(B₁(0)) 滿足 

χdx = 1, B₁(0) := {x ∈ Rⁿ :|x| < 1}。 對於  > 0, 令 χ(x) := ⁻ⁿχ_x



。 注意到 

χ_dx = 1 且

對所有的 φ ∈ C0^∞(Rⁿ), χ_∗ φ ∈ C0^∞(Rⁿ), χ_ → u 在 C0^∞(Rⁿ) 意義下收斂。 透過 χ, 我 們有以下的單位逼近 (approximation by identity):

命題4.4: 令 u ∈ D^(Rⁿ), u_ := u∗ χ ∈ C^∞(Rⁿ),則當  → 0, 在分佈意義下 u→ u。

證明: 令 φ ∈ C0^∞(Rⁿ), ˇφ(x) := φ(−x)。 注意到 (u∗ ˇφ)(0) := u( ˇφ(−•)) = u(φ)。 於是對 所有的測試函數 ψ ∈ C0^∞(Rⁿ),

u_(φ) = u_∗ ˇφ(0) = (u ∗ χ)∗ ˇφ(0) = u ∗ (χ∗ ˇφ)(0) → u ∗ ˇφ(0) = u(φ)

當  → 0, 因爲χ∗ ˇφ → ˇφ在C0^∞(Rⁿ)意義下收斂。 

下列版本的光滑化逼近留給讀者練習:

命題4.5: 令 u∈D^(X),則存在序列 {uj}^∞_j=1, u_j∈C0^∞(X),使得 uj→u 在分佈意義下收斂。

提示: 證明 X 可以寫成 X = ∪^∞_j=1K_j, K_j 為緊緻集滿足 K_j ⊂ K_j+1, j = 1, . . . , n (我 們稱 {Kj}^∞_j=1 為窮竭緊緻集 (exhaustion compact sets))。 考慮截斷函數 τj 使得在 Kj 上 τ_j = 1, 令 uj := τ_ju∗ χ,  = ¹

j, 檢驗 uj 即為所需。

接下來, 我們介紹如何將兩個分佈做捲積。 靠慮平移算子 τh

τ_h(φ)(x) := φ(x− h), φ ∈ C0^∞(Rⁿ).

注意到若 u ∈ D^(Rⁿ), 則

u∗ (τhφ) := u(τ_hφ(x− •)) = u(φ(x − h − •)) = τh(u∗ φ).

我們先介紹一個跟平移有關的關鍵的定理:

定理4.4: 考慮一連續線性泛函 U : C0^∞(Rⁿ)→ C^∞(Rⁿ),若 U 和所有平移算子 τh 交換, 也 就是說對所有的 h ∈ Rⁿ, U τ_h = τ_hU , 則存在唯一一個 u ∈ D^(Rⁿ) 使得 U = u∗。

證明: 考慮線性泛函

u : C₀^∞(Rⁿ)→ C, φ → (U ˇφ)(0),

其中 ˇφ(x) = φ(−x)。 不難檢驗 u ∈ D^(Rⁿ)。 注意到對於所有的 φ ∈ C0^∞ (Rⁿ), 從 u 的定 義在原點我們有

u∗ φ(0) = u(φ(−•)) = (Uφ)(0).

現在我們來使用平移的條件來得到上述的等式其實是在任意點成立的。 對所有的x=−h ∈ Rⁿ, U (φ)(−h) = (τhU φ)(0) = (U τ_hφ)(0) = u∗ (τhφ)(0) = u∗ (φ(−h − •)) = (u ∗ φ)(−h).

我們已證明了存在性。 由命題 4.4, 我們立刻得到唯一性。 詳細的細節交給讀者練習。  現在給定 u1 ∈ E^(Rⁿ) 與 u2 ∈ D^(Rⁿ),注意到映射

u₁∗ :

C^∞(Rⁿ)→ C^∞(Rⁿ) C₀^∞(Rⁿ)→ C^∞(Rⁿ) 和

u₂∗ : C0^∞(Rⁿ)→ C^∞(Rⁿ)

都是在相對應的函數空間拓樸下連續的。 對所有的 φ ∈ C0^∞(Rⁿ),考慮映射 U : C₀^∞(Rⁿ)→ C^∞(Rⁿ), U (φ) := u₁∗ (u2∗ φ).

注意到 U 在對應的函數空間下是個連續線性映射。 而透過直接驗算, 我們可以發現對所有 h ∈ Rⁿ, τ_hU = U τ_h, 由前述的定理我們可以找到唯一一個 u ∈ D^(Rⁿ) 使得 U = u∗, 也就是說 對所有測試函數 φ,

U φ = u∗ φ = u1∗ (u2∗ φ). (4.1) 類似地, 對於所有的 φ ∈ C0^∞(Rⁿ), 我們也可以考慮映射

U : C˚ ₀^∞(Rⁿ)→ C^∞(Rⁿ), ˚U (φ) := u₂∗ (u1∗ φ).

同樣地, 注意到 ˚U 在對應的函數空間下是個連續線性映射, 並且對所有 h ∈ Rⁿ, τ_hU = ˚˚ U τ_h。 再次由前述的定理我們可以找到唯一一個 R ∈ D^(Rⁿ)使得 ˚U = ˚u∗, 也就是說對所有測試函 數 φ,

˚U φ = ˚u∗ φ = u2∗ (u1∗ φ). (4.2) 上述討論引出了下列定義:

定義4.8: 給定 u1 ∈ E^(Rⁿ)與 u2 ∈ D^(Rⁿ)。 我們定義捲積 u1∗ u2 (或 u2∗ u1) 為唯一一 個 u ∈ D^(Rⁿ) (或 ˚u∈ D^(Rⁿ)) 滿足式子 (4.1) (或 (4.2))。

下列性質讀者可用光滑化手法來驗證看看:

命題4.6: 對於u1 ∈ E^(Rⁿ)與u2 ∈ D^(Rⁿ), u₁∗ u2 = u₂∗ u1。

提示: 對所有的φ, ψ ∈ C^∞(Rⁿ),檢驗(u1∗ u2)(φ∗ ψ) = (u2∗ u1)∗ (φ ∗ ψ)。

我們以拉普拉斯算子的正則性作為此小節的結尾。

命題 4.7: 給定 f ∈ C0^∞(Rⁿ), 若我們可以找到 u ∈ E^(Rⁿ) 使得 Δnu = f , 則實際上 u∈ C^∞(Rⁿ)。

證明: 令En為Δn的基本解, 注意到En∈ C^∞(Rⁿ\ {0}) ⊂ L¹loc(Rⁿ)⊂ D^(Rⁿ), 由基本解的 定義和分佈與測試函數捲積的微分法則, 我們可推論出 u=En∗ Δnu = E_n∗ f ∈ C^∞(Rⁿ)。

事實上, 我們可以得到一個在歷史上被稱為魏爾引理 (Weyl lemma)的結果:

定理4.5: 對於開集 X ⊂ Rⁿ 和 f ∈ C^∞(X), 若 u ∈ D^(X) 是方程 Δnu = f 的解, 則 u∈ C^∞(X)。

證明: 我們將透過局部化的技術來證明這件事情 : 若對於任意的開子集 Y  X (我們使用記 號 Y  X 表示 Y ⊂ X 為開子集且 Y ⊂ X 為緊緻子集), 而 u 滿足限制 u|Y ∈ C^∞(X), 則 u ∈ C^∞(X)。 我們現在固定一個開子集 Y  X。 考慮截斷函數 χ ∈ C0^∞(X),在 Y 附近 u = 1。 令 v := χu ∈ E^(X)。 回顧對所有的測試函數 φ, 我們定義 χu(φ) := u(χφ)。 注意到

Δ_nv = χf + g, 其中

g := 2 n j=1

∂χ

∂x_j

∂u

∂x_j + Δ_n(χ)f ∈ E^(X)⊂ E^(Rⁿ),

而且在 Y 上 g = 0。 令 En 為 Δn 的基本解, 注意到 En ∈ C^∞(Rⁿ\ {0}) ⊂ L¹loc(Rⁿ)⊂ D^(Rⁿ), 則

E_n∗ Δnv = E_n∗ (χf + g) = En∗ (χf) + En∗ g,

其中 En∗ χf ∈ C^∞(X)。 所以我們只要證明 En∗ g ∈ C^∞(X),那這個定理就完成了。 現在, 視 En∗ g 為分佈 D^(Rⁿ) 和 E^(Rⁿ) 意義下的捲積, 考慮截斷函數 τ ∈ C0^∞(X), 其滿足在 supp(g) 附近 τ = 1 且 supp(τ) ∩ Y = ∅。 我們宣稱下列敘述成立:

E_n∗ g = g(τ(•)En(x− •)). (4.3) 注意到若此敘述是對的, 因為 τ 在 Y 附近為零, 所以對所有的 x ∈ Y , 若 τ(y)En(x− y) 不 為零, 則必定有 y = x。 由於 En∈ C^∞(Rⁿ\ {0}), 我們得到對所有的 x ∈ Y ,

τ (•)En(x− •) ∈ C0^∞(X).

透過分佈微分的定義我們不難證明 En∗ g ∈ C^∞(Y )。 現在我們來證明式 (4.3)。 注意到 E_n∗ g = g ∗ En= τ g∗ En.

考慮光滑化逼近序列 gj ∈ C0^∞(Rⁿ)使得 gj → g 在分佈意義之下收斂, 則 τgj∗ E → τg ∗ E 也在分佈意義下收斂。 也 就是說, 對於所有 φ ∈ C0^∞(Y ),

τ g∗ E_n(φ) = lim

j→∞(τ g_j ∗ E_n)(φ)

= lim

j→∞

(E_n∗ τgj)(x)φ(x)dx

= lim

j→∞

 E_n(τ (x− •))gj(x− •)

φ(x)dx

= lim

j→∞

E_n(y)τ (x− y)gj(x− y)φ(x)dxdy

= lim

j→∞

E_n(x− y)τ(x)gj(x)φ(x)dxdy

= lim

j→∞

E_n(y)τ (x− y)gj(x− y)φ(x)dydx

= lim

j→∞

 g_j

τ (•)En(x− •)

φ(x)dx

= 

g

τ (•)En(x− •)

φ(x)dx.

最後一步我們用到了勒貝格的控制收斂定理 : 由於在分佈意義之下 g_j → g, 而 τ (•)En(x− •) ∈ C0^∞(Y ),所以我們有逐點的收斂 gj

τ (•)En(x− •) → g

τ (•)En(x− •)。

另一方面, 從分佈意義下收斂的定義我們可推論出對所有的緊緻集 K ⊂ Rⁿ, φ∈ C0^∞(K), 存 在常數 k, C > 0 使得

|gj(φ)| ≤ C

|α|≤k

sup

K |∂^αφ|.

換句話說, 對所有的 x ∈ Y , 我們有

|gj

τ (y)E_n(x− y)

| ≤ C

|α|≤k

sup

supp(τ )

∂_y^α(τ (y)E(x− y)) ≤M ,

其中 M 是個常數。 故我們可以套用勒貝格控制收斂定理得到 (4.3)。  在 1950 年左右施瓦茲 (Laurent Schwartz) 建立了分佈的基本理論, 而透過傅立葉變換 的方法 (我們將在下一講介紹相關內容), 數學家伯納．馬格宏茲 (Bernard Malgrange) 和里 昂．艾倫普瑞斯 (Leon Ehrenpreis) 得到了任意的常係數線性偏微分算子都存在基本解結果:

定理4.6: 給定任意f ∈ C^∞(Rⁿ) 和 m 階常係數偏微分算子 P :=

|α|≤ma_α∂_x^α, 其中 α 為 多重指標且對所有的 α, aα 為常數。 總是存在 u ∈ D^(Rⁿ) 使得在分佈意義下 P u = δ0。

而結合定理 4.5 和定理 4.6, 我們知道方程 Δnu = 0 總是有光滑解。 可解性 (solvabil- ity) 與正則性 (regularity) 一直是現代偏微分方程中的主調之一, 我們將在後續篇章中透過擬 微分算子 (pseudodifferential operators)的觀點來建立光滑函數係數橢圓算子 (elliptic op- erators)的橢圓正則性 (elliptic regularity)與局部可解性 (local solvability)。

5. 施瓦茲分佈核定理

5.1. _{張量積與分佈核}

令開集 X ⊂ Rⁿ¹, Y ⊂ Rⁿ²。 令 K ∈ D^(X× Y ), 考慮線性映射 T_K: C₀^∞(Y )→ D^(X),

φ → TKφ, (T_Kφ)(ψ) :=K(ψ ⊗ φ), ψ ∈ C0^∞(Y ).

此處函數的張量積 (tensor product)定義為 (ψ ⊗ φ)(x, y) := ψ(x)φ(y)。 不難發現, 這樣的 T_K 是個連續線性映射。 分佈論的建立者施瓦茲得到了下列重要的定理:

定理5.1: 對任意的連續線性映射 A : C0^∞(Y )→ D^(X),存在唯一的分佈 KA ∈ D^(X× Y ) 使得

(Aφ)(ψ) =KA(ψ⊗ φ) 對所有的φ ∈ C0^∞(Y ), ψ ∈ C0^∞(X).

我們稱這樣的 KA為 A 的施瓦茲核 (Schwartz kernel) 或是分佈核 (distribution ker- nel), 其完整的證明將出現在下個小節。 在這之前我們介紹分佈間如何定義張量積。

定理5.2: 給定u1 ∈ D^(X)和u2 ∈ D^(Y ),則對於所有的 φ1 ∈ C0^∞(X) 和 φ2 ∈ C0^∞(Y ), 存 在唯一一個分佈 u ∈ D^(X × Y ) 使得 u(φ1⊗ φ2) = u₁(φ₁)u₂(φ₂)。 事實上,

u(φ) = u₁

u₂(φ(x, y))

= u₂

(u₁(φ(x, y)) ,

此處u1作用在變數 x 上而u2作用在變數 y 上。 藉此, 我們定義分佈間的張量積為 u1⊗u2 := u。 證明: 我們分別證明張量積的唯一性與存在性。 注意到若我們能證明對所有的 φ1 ∈ C0^∞(X)和 φ₂ ∈ C0^∞(Y ), 當 u(φ1⊗ u2) = 0 時, 在分佈意義下有 u = 0, 則唯一性就被證明了。 現在我 們假設對所有的 φ1 ∈ C0^∞(X)和 φ2 ∈ C0^∞(Y ), u(φ₁⊗u2) = 0。 取函數 χ1, χ₂ ∈ C0^∞(Rⁿ), 他們的支撐集 supp(χ1), supp(χ₂)⊂ B1(0) 並且滿足 

χ₁ =

χ₂ = 1, 那麼對於 Φ_(x, y) := 

⁻ⁿ¹χ₁⊗ ⁻ⁿ²χ₂ x ,y

 , 我們有

Rⁿ¹⁺ⁿ²Φ_(x, y)dxdy = 1,並且對所有的 g ∈C0^∞(X×Y ), Φ∗g → g 在 C0^∞(X×Y ) 的意義下。 注意到若對所有的開集 Ω  X × Y , 我們都有分佈意義下的限制 u|Ω= 0, 則由分

佈的局部化性值, 我們知道在分佈意義下 u = 0。 因此, 我們取一截斷函數 τ = τ1(x)τ₂(y)∈ C₀^∞(X × Y ) 使得在 Ω 附近 τ = 1, τ1 ∈ C0^∞(X), τ₂ ∈ C0^∞(Y )。 透過對 τ 支撐集外的函 數值取零延拓, 我們可以視 τ ∈ C0^∞(Rⁿ¹⁺ⁿ²), 並且 τu ∈ D^(Rⁿ¹⁺ⁿ²)。 則透過捲積的光滑化, 對所有的 g ∈ C0^∞(Ω), 當  → 0,

(τ u∗ Φ)(g) = (τ u∗ Φ)∗ ˇg(0) = τu ∗ (Φ∗ ˇg)(0) → τu ∗ ˇg(0) = τu(g) = u(τg) = u(g).

另一方面, 按照定義 τu ∗ Φ 為

τ u(Φ_(x− •, y − •)) = u(τΦ(x− •, y − •))

= u

⁻ⁿ¹τ₁(•)χ1⊗ ⁻ⁿ²τ₂(•)χ2 x − •

 ,y− • 



= 0 因此, 對所有的 g ∈ C0^∞(Ω), u(g) = 0。 至此我們已驗證了唯一性。

至於存在性的部分, 我們定義線性泛函

u : C₀^∞(X × Y ) → C, u(φ) := u1

u₂(φ(x, y)) .

考慮緊緻集 K1 ⊂ X, K2 ⊂ Y , K ⊂ K1 × K2, 則按照分佈的定義, 對於 j = 1, 2, 存在常 數 Cj,Kj > 0 與 kj ∈ N, 對所有的 φj ∈ C0^∞(K_j),

|uj(φ_j)| ≤ Cj,Kj

|α|≤kj

sup

Kj

|∂^αφ_j|

透過直接計算, 不難發現對所有的 φ ∈ C0^∞(K), |u(φ)|≤C1,K1C_2,K2

|α|≤k1+k2sup_K|∂^αφ|, 由分佈的定義, 我們發現了 u ∈ D^(X × Y )。 另一方面, 我們也可透過類似的論證來檢驗對於 線性泛函

˚u : C₀^∞(X × Y ) → C, ˚u(φ) := u₂

u₁(φ(x, y)) ,

˚u∈ D^(X × Y )。 最後, 由於我們有 u(φ₁⊗ φ2) = u₁

u₂(φ₁⊗ φ2)

= u₁

φ₁u₂(φ₂)

= u₁(φ₁)u₂(φ₂);

而透過類似的計算我們也有 ˚u(φ₁⊗ φ2) = u₁(φ₁)u₂(φ₂),透過前述唯一性的結論, 我們知道 u = ˚u∈ D^(X× Y ),

並且對於所有的 φ1 ∈ C0^∞(X)和 φ2 ∈ C0^∞(Y ), u(φ₁⊗ φ2) = u₁(φ₁)u₂(φ₂)。  範例: 令開集 X, Y ⊂ Rⁿ, δ_p ∈ D^(X), δ_q∈ D^(Y ),則 δp ⊗ δq = δ_(p,q)∈ D^(X × Y )。

5.2. 施瓦茲分佈核定理的證明

此小節我們證明定理 5.1。 讀者可細細體會這個由霍曼德提出的證明方法[1, Theorem 5.2.1],其中用到了許多分佈論中的重要想法與技巧。

分佈核的唯一性證明與定理 5.2 唯一性的部分是一致的, 在此留給讀者檢驗。 我們現在來 證明分佈核的存在性。 考慮任意的開集 Y1  X1 和 Y2  X2, 為了方便起見我們也使用下列 記號

Aφ, ψ := (Aφ)(ψ)

來表示分佈與測試函數的配對。 對任意的 (x1, x₂)∈ Y1× Y2 和  > 0, 考慮 K(x₁, x₂) :=

 A

 ⁻ⁿ²ψ₂

x₂− • 



, ⁻ⁿ¹ψ₁

x₁− • 



其中ψj ∈ C0^∞(R^nj)滿足ψj ≥ 0, 

ψ_jdx_j = 1, supp(ψ_j) ⊂ {xj ∈ R^nj : |xj| ≤ 1}, j = 1, 2。 不難發現, 若分佈核 KA 真的存在, 則

K=KA∗ Ψ → KA

在 D^(Y₁× Y2) 意義下, 其中 Ψ = ⁻ⁿ¹⁻ⁿ²ψ₂_x2



ψ₁_x1



。 因此, 我們接下來的目標就是 證明當  → 0, K 在空間 D^(Y₁× Y2)中的極限存在, 並且極限就滿足分佈核的要求。

透過直接驗證, 不難發現對於任意緊緻集 K1 ⊂ X1 和 K2 ⊂ X2, 存在常數 CK1,K2, N₁, N₂ ∈ N 使得對所有的 ψ ∈ C0^∞(K₁)和 φ ∈ C0^∞(K₂),

|Aφ, ψ| ≤ CK1,K2

|α|≤N1

sup

K1

|∂^αψ|

|β|≤N2

sup

K2

|∂^βφ|.

透過上述的估計, 我們有

|K(x₁, x₂)| ≤ C^{−n1−n2−N1−N2} =: C^−μ, μ := n₁+ n₂+ N₁+ N₂. 對於  = 0, _∂^∂K(x₁, x₂) 可寫成

 A

 ∂

∂

 ⁻ⁿ²ψ₂

x₂− • 



, ⁻ⁿ¹ψ₁

x₁− • 



+

 A

 ⁻ⁿ²ψ₂

x₂− • 



, ∂

∂

 ⁻ⁿ¹ψ₁

x₁− • 



其中

∂

∂

 ⁻ⁿ²ψ₂

x₂− • 



= ⁻ⁿ²

n2

j=1

∂

∂x_2,j

−x2,j − •  ψ₂

x₂− • 



和

∂

∂

 ⁻ⁿ¹ψ₁

x₁− • 



= ⁻ⁿ¹

n1

j=1

∂

∂x_1,j

−x1,j − •  ψ₁

x₁− • 



成立, 這邊我們用這個記號x2= (x_2,1, . . . , x_2,n), x₁ = (x_1,1, . . . , x_1,n)。 我們記 L^j_(x₁, x₂) := ⁻ⁿ¹⁻ⁿ²

 A



(−x2,jψ₂)

x_2,j− • 



, ψ₁

x₁− • 



∈ C^∞(Y₁× Y2), 和

M_^j(x₁, x₂) := ⁻ⁿ¹⁻ⁿ²

 A

 ψ₂

x_2,j − • 



, (−x1,jψ₁)

x₁− • 



∈ C^∞(Y₁× Y2).

注意到從上述計算我們有

∂

∂K_(x₁, x₂) =

n2

j=1

∂L^j_(x₁, x₂)

∂x_2,j +

n1

j=1

∂M_^j(x₁, x₂)

∂x_1,j ,

其中 |L^j_(x₁, x₂)| ≤ C||^−μ,|M_^j(x₁, x₂)| ≤ C^−μ。 類似地, 透過迭代計算, 對任意 γ ∈ N 和 多重指標 α ∈ Rⁿ², β ∈ Rⁿ¹, |α| + |β| = γ, 則我們可以找到一些 L^α,β_ (x₁, x₂)∈ C^∞(Y₁× Y₂) 滿足 |L^α,β_ (x₁, x₂)| ≤ C^−μ 並且

K^(γ)_ (x₁, x₂) := ∂_^γK(x₁, x₂) =

|α|+|β|=γ

∂^|α|+|β|

∂x^α₂∂x^β₁L^α,β_ (x₁, x₂).

也就是說在 = 0, K(x₁, x₂)是個對變數光滑的函數。 於是, 對於固定且夠小的δ > 0, 我們 對變數使用泰勒公式:

K(x₁, x₂) = μ γ=0

(− δ)^γ

γ! K^(γ)_δ (x₁, x₂) + (− δ)^μ+1  1

0

K^(μ+1)_δ+t(−δ)(x₁, x₂)(1− t)^μ μ! dt.

透過仔細地檢驗此式, 我們來證明lim→0K在D^(Y₁ × Y2)中存在。 對於任意測試函數φ ∈ C₀^∞(Y₁× Y2),

K(x₁, x₂), φ(x₁, x₂) = 

K(x₁, x₂)φ(x₁, x₂)dx₁dx₂ 其中

lim→0

μ γ=0

 (− δ)^γ

γ! K^(γ)_δ (x₁, x₂)φ(x₁, x₂)dx₁dx₂

→ μ γ=0

(−δ)^γ γ!

K^(γ)_δ (x₁, x₂)φ(x₁, x₂)dx₁dx₂

而積分型餘項

lim→0(− δ)^μ+1  1

0



K^(μ+1)_δ+t(−δ)(x₁, x₂)φ(x₁, x₂)dx₁dx₂

(1− t)^μ μ! dt

我們可以透過分部積分 

K^(μ+1)_δ+t(−δ)(x₁, x₂)φ(x₁, x₂)dx₁dx₂

=

|α|+|β|=μ+1

 ∂^|α|+|β|

∂x^α₂∂x^β₁L^α,β_δ+t(−δ)(x₁, x₂)



φ(x₁, x₂)dx₁dx₂

= (−1)^μ+1

|α|+|β|=μ+1

L^α,β_δ+t(−δ)(x₁, x₂)

∂^|α|+|β|

∂x^α₂∂x^β₁φ(x₁, x₂)



dx₁dx₂.

由於|L^α,β_δ+t(−δ)(x₁, x₂)| ≤ C|δ + t( − δ)|^−μ, 由上述計算我們馬上得到



K^(μ+1)_δ+t(−δ)(x₁, x₂)φ(x₁, x₂)dx₁dx₂

 ≤ C|δ + t( − δ)|^−μ= C|t + (1 − t)δ)|^−μ. 現在令函數

f_(t) := (− δ)^μ+1



K_δ+t(−δ)^(μ+1) (x₁, x₂)φ(x₁, x₂)dx₁dx₂

(1− t)^μ μ! , 則對所有 > 0,

|f(t)| ≤ C| − δ|^μ+1| + (1 − t)δ|^−μ(1− t)^μ

μ! ≤ C| − δ|^μ+1δ^−μ1 μ!

並且對所有t = 1有逐點收斂

lim→0f_(t) = f₀(t) := (−δ)^μ+1 

K^(μ+1)_(1−t)δ(x₁, x₂)φ(x₁, x₂)dx₁dx₂(1− t)^μ μ! . 故由勒貝格控制收斂定理,

 1 0

f_(t)→  1

0

f₀(t)dt,

由分佈的完備性, 我們可推論出極限 KA:= lim_→0K 在分佈意義下存在。 接下來我們檢驗對 所有的測試函數 φ2 ∈ C0^∞(Y₂)和φ1 ∈ C0^∞(Y₁), K 滿足

KA(φ₁⊗ φ2) =Aφ2, φ₁.

注意到

KA(φ₁⊗ φ2)

= lim

→0K(φ₁⊗ φ2)

= lim

→0

K(x₁, x₂)φ₁(x₁)φ₂(x₂)dx₁dx₂

= lim

→0

  A

 ⁻ⁿ²ψ₂

x₂ − • 



, ⁻ⁿ¹ψ₁

x₁− • 



φ₁(x₁)φ₂(x₂)dx₁dx₂

= lim

→0 lim

h1→0 h2→0

k1∈Zⁿ² k2∈Zⁿ¹

 A

 ⁻ⁿ²ψ₂

h₂k₂−•



φ₂(h₂k₂)hⁿ₂²



, ⁻ⁿ¹ψ₁

x₁−•

 φ₁(h₁k₁)hⁿ₁¹



= lim

→0

 A

 ⁻ⁿ²

 ψ₂

x₂ − • 



φ₂(x₂)dx₂

 , ⁻ⁿ¹

 ψ₁

x₁− • 



φ₁(x₁)dx₁



= lim

→0A( ˇψ_2,∗ φ2), ˇψ_1,∗ φ1)

=Aφ2, φ₁.

此處我們使用記號 ˇf (x) := f (−x)。 由於上述結果對任意 Y1  X1 和 Y2  X2 都成立, 透 過分佈的局部化性質, 我們就找到了唯一一個 KA 滿足分佈核的要求。 定理證畢。

5.3. 施瓦茲分佈核定理的註記

施瓦茲分佈核定理在現今數學的發展中扮演著重要的角色。 我們簡單敘述一下其重要性, 給讀者參考。 在這一講中, 我們在歐式空間定義分佈論, 但其實我們可在流形定義分佈, 甚至可 定義取值在向量叢的分佈 (distribution sections); 同樣的施瓦茲分佈核定理在這些範疇內都 成立。 給定一個流形 M 上的一個偏微分方程式 A, 令 Ker A 為 A 的所有 L² 零解的集合 (Au = 0, 我們稱 u 為零解)。 令 P 為這個從 L² 空間垂直投影到 Ker A 的算子, 可驗證 P 滿足施瓦茲分佈核定理的條件, 根據施瓦茲分佈核定理, P 存在施瓦茲分佈核 P (x, y)。 如 何了解 P (x, y) 是現代數學非常重要的課題。 比如說, 當 M 是複流形(complex manifold) 或科西黎曼流形 (Cauchy-Riemann manifold), 而 A 為小平邦彥拉普拉斯算子 (Kodaira Laplacian) 或孔恩拉普拉斯算子 (Kohn Laplacian) 時, 這個施瓦茲分佈核 P (x, y) 被稱為 柏格曼核 (Bergman kernel) 或史瑞格研究 (Szeg˝o kernel), 柏格曼核及史瑞格核的研究是現 今複幾何及科西黎曼幾何上的重要課題, 這些分佈核的研究和複幾何及科西黎曼幾何上的嵌入 問題, 度量穩定性及幾何量化等問題息息相關。 好好理解施瓦茲分佈核定理對進一步了解更深 入的微局部分析甚至近代數學, 都會有很大的幫助。

參考資料

1. L. H¨ ormander, The Analysis of Linear Partial Differential Operators. I, Classics in Mathematics, Springer-Verlag, Berlin, 2003.

2. N. Letter, A tribute of Lars H¨ ormander, Mathematical Society, 2013, 24.

3. L. Schwartz, Th´ eorie des distributions, Tome I. (French) Publ. Inst. Math. Univ.

Strasbourg 9. Hermann, Cie., Paris, 1950. 148 pp.

4. F. Tr` eves, Topological Vector Spaces, Distributions and Kernels, Dover Publications, Inc., Mineola, NY, 2006.

5. W. Rudin, Functional Analysis, McGraw-Hill, Inc., New York, 1991.

—

^—

2020 Taipei International Workshop on Combinatorics

日 期 : 2020 年 2 月 6 日 (星期四) ∼ 2020 年 2 月 8 日 (星期六) 地 點 : 台北市大安區羅斯福路四段1號 天文數學館 6 樓

詳 見 :

https://www.math.sinica.edu.tw/www/file upload/conference/202002Comb/Comb.html