發刊日期 |
2024年6月
|
---|---|
標題 | 半經典分析與多複變函數論 |
作者 | |
關鍵字 | |
檔案下載 | |
全文 |
謹以此文獻給張清煇教授 張清煇教授為中研院數學所的退休研究員, 張清煇教授和李宣北教授為筆者當年在中研院當研習員時的指導老師。 張清煇教授的研究領域為微局部分析及多複變函數論, 師從分析大師 Mohammed Salah Baouendi。 張清煇教授和 Baouendi, Trèves 在 83 年 JDG 的文章中, 發展了一套柯西黎曼流形上的微局部超解析性的理論 (general theory of microlocal hypoanalyticity on Cauchy-Riemann manifolds), 是這方面的研究的奠基性工作。 之後張清煇教授持續地在多複變函數論裡作出貢獻。 讓筆者印象深刻的工作之一是張清煇教授和李宣北教授在 2000 年左右在弱擬凸域上利用積分表示法成功的構造出 $\overline{\partial}$ 方程的解並建立了 $L^p$ 的估計, 這類的工作這幾年在代數幾何上有應用, 原因是在代數幾何裡需要處理有奇異點的複流形上的 $\overline{\partial}$ 方程, 這類的積分表示的方法就扮演著重要的角色; 張清煇教授和李宣北教授的工作可說是這方面的研究的先驅。 張清煇教授的研究工作就像他的為人一樣, 樸實, 不譁眾取寵, 不浮誇但卻是扎實且有歷史價值的學術工作。 筆者當年到中研院當研習員時, 受到當時學習環境的影響, 一心想從事代數幾何或數論的研究。 劉太平院士在研習員上班第一天找大家講話, 要大家 open mind, 多看看其他領域, 不要限制在自己的世界上。 劉太平院士簡潔有力的話促使我去了解其它領域。 當時張清煇教授和李宣北教授正為他們的研究生組織位勢論 (potential theory) 及多複變函數論的研討班, 我聽了幾次就深深的被多複變函數論所吸引。 多複變函數論裡的複維數多一維則實維數多兩維及複結構的變化等現象給了我無窮的幾何及分析的想像力。 此外, 現代數學的許多起源如層(sheaf)的概念, 微局部分析, 代數分析學 (Hörmander, Sato, Kashiwara 的工作)都是由多複變函數論裡的分析及幾何問題引出; 多複變函數論可說是數學的核心學問之一。 之後張清煇教授及李宣北教授同意指導我, 在他們的指導下我學習到許多多複變函數論的知識及技巧, 尤其是 Hörmander 的工作以及看待數學的方法, 那一年的研習對我終身受用。 張清煇教授及李宣北教授對學生有耐心, 循循善誘, 一切都從學生的角度設想。 在當年研習的過程中, 張清煇教授不斷地提到做數學要有自己的觀點, 不能人云亦云, 最好是能夠從自己的觀點來給予古典數學新的生命力。 筆者這幾年試著把半經典分析帶入傳統多複變的研究。 呼應張清煇教授的數學觀, 本文將介紹基本的半經典分析及多複變函數論, 並介紹如何用半經典分析來研究古典的多複變函數論的問題; 希望能讓讀者了解基本的半經典分析及多複變函數論。 此文獻給張清煇教授, 紀念一位淡泊名利, 不忮不求的了不起的學者。 1. 半經典分析半經典極限 (semi-classical limit) 是一種從大規模的量子 (large quantum) 或能量或軌跡取極限的過程。 半經典分析是研究半經典極限所發展出來的一門分析學問。 半經典分析在近代數學的發展, 如複幾何 (complex geometry), 幾何量化 (geometric quantization theory), 局部指標定理 (local index theorem) 及數學物理等領域都扮演著重要的角色。 在這一節中, 我將透過簡單的數學上的例子, 讓讀者了解半經典分析在數學上的意義, 希望讀者能體會半經典分析的基本精神。 我們考慮如下的廣義的高斯積分 (Gaussian integral): \begin{equation} \int_{\mathbb{B}}e^{-x^2+ix^4}\chi(x)dx, \end{equation} 其中, $\chi\in\mathcal{C}^\infty_c(D)$, $\chi$在實數軸的原點附近均為 $1$, $D$ 是在實數軸的原點附近的小的開集合 (a small open set of $0$ in ${\mathbb{B}}$)。 現代數學的許多重要問題都和研究這類的積分有關, 但一般而言很難得到這類積分的明確表示式。 我們把問題稍作點變化, 考慮如下的積分: \begin{equation}\label{e-gue240519yydI} I_k:=\int_{\mathbb{B}}e^{k(-x^2+ix^4)}\chi(x)dx, \end{equation} 這邊 $k$ 是一個大的正的常數, 把之前的問題變成我們是否能了解積分 \eqref{e-gue240519yydI} 在 $k$ 很大時的行為? 這個問題相較於找出積分 (1) 的明確表達式要簡單很多。 藉由變數變換 ($x\rightarrow\frac{x}{\sqrt{k}}$), 我們有 $$I_k:=\int_{\mathbb{B}}e^{k(-x^2+ix^4)}\chi(x)dx=\frac{1}{\sqrt{k}}\int_{\mathbb{B}}e^{-x^2+ik(\frac{x}{\sqrt{k}})^4}\chi\Big(\frac{x}{\sqrt{k}}\Big)dx.$$ 由實分析裡的樂貝格定理 (Lebesgue dominate theorem), 我們可得到 \begin{equation} \label{e-gue240519yydII} \lim_{k\rightarrow+\infty}\sqrt{k}I_k=\int_{\mathbb{B}}e^{-x^2}dx=\sqrt{\pi}. \end{equation} 很多牽涉到要了解積分 (1) 的問題, 其實不需找出積分 (1) 的明確表達式, 只要了解積分 \eqref{e-gue240519yydI} 在 $k$ 很大時的行為就足夠了。 這樣地把參數 $k$ 放進想了解的方程中, 並研究 $k$ 很大的行為的想法, 正是半經典分析最重要的精神。 半經典分析不但能簡化問題, 還能衍生出許多豐富的結果。 以上面的積分 \eqref{e-gue240519yydI} 為例, 一個很自然的問題就是能否得到積分 \eqref{e-gue240519yydI} 對於 $k$ 的完整漸近展開 (asymptotic expansion)? 為了要完整的回答這個問題, 推進了分析學如傅氏分析(Fourier analysis)的進展。 底下提到的穩定相公式(stationary phase formula)就是研究這方面的問題的好工具: 定理1.1 (霍曼德的穩定相公式(stationary phase formula of Hörmander)). 令 $D$ 為 ${\mathbb{B}}^n$ 裡的一個開集, 且令 $F\in\mathcal{C}^\infty(D)$, ${\rm Im\,}F\geq0$。 假設 ${\rm Im\,}F(0)=0$, $F'(0)=0$, ${\rm det\,}F''(0)\neq 0$ 且對所有 $x\in D$, $x\neq0$, $F'(x)\neq 0$。 給定一個$u\in\mathcal{C}^\infty_c(D)$, 則我們有如下的漸近展開: 對所有 $N\in{{\mathbb N}}$, 我們有 \begin{equation}\label{e-gue240520yyd}\begin{split} &\int_{{\mathbb{B}}^n}e^{ikF(x)}u(x)dx\\ &=e^{ikF(0)}{\rm det\,}\Bigr(\frac{kF''(0)}{2\pi i}\Bigr)^{-\frac{1}{2}}\sum_{j\lt N}k^{-j}(L_ju)(0)+O(k^{-N}),\end{split}\end{equation} 其中 $L_j$ 為一個階數小於或等於$2j$的線性偏微分算子, 特別的是$L_0=I$. 值得注意的是從 (4) 中, 我們可看出, 這個積分 $\int_{{\mathbb{B}}^n}e^{ikF(x)}u(x)dx$ 只依賴於函數 $u$ 在原點 (臨界點(critical point))的行為。 接下來我們以珈瑪函數(Gamma function)為例, 說明半經典分析的概念及如何使用定理 1.1。 對一個實部大於 $-1$ 的複數 $\lambda$, 考慮 \begin{equation}\label{e-gue240521yyd} \Gamma(\lambda+1)=\int^{+\infty}_0e^{-t}t^{\lambda}dt.\end{equation} $\Gamma(\lambda+1)$ 即為珈瑪函數。 我們現只考慮$\lambda$為實數的情況。 我們來研究珈瑪函數的半經典極限行為也就是要研究 $\Gamma(\lambda+1)$ 當 $\lambda$ 很大時的行為。 在積分 \eqref{e-gue240521yyd} 裡令 $t=\lambda(1+s)$, 則我們可改寫積分 \eqref{e-gue240521yyd}: \begin{equation}\label{e-gue240521yydI} \begin{split} \Gamma(\lambda+1) &=\int^{+\infty}_{-1}e^{-\lambda(1+s)}\lambda^{\lambda+1}(1+s)^\lambda ds\\ &=e^{-\lambda}\lambda^{\lambda+1}\int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}ds. \end{split} \end{equation} 我們現在研究這積分 \begin{equation}\label{e-gue240521yydII} e^{\lambda}\lambda^{-\lambda-1}\Gamma(\lambda+1)=\int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}ds \end{equation} 當 $\lambda$ 很大時的漸近行為。 令 $u\in\mathcal{C}^\infty_c(U)$, $u$ 在實數軸上的原點附近為 $1$, 這邊 $U$ 是實數軸上原點附近的開集。 利用 $u$ 我們把積分 \eqref{e-gue240521yydII} 拆成兩個部分: \begin{equation}\label{e-gue240521yydIII}\begin{split} & \int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}ds\\ &=\int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}u(s)ds+\int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}(1-u(s))ds.\end{split}\end{equation} 令 $F(s):=s-\log(1+s)$。 因為在 $s=0$ 外面, $F'(s)\neq0$, 我們可以利用分部積分而得到 \begin{align*} &\int^{+\infty}_{-1}e^{-\lambda F(s)}(1-u(s))ds\\ &=\int^{+\infty}_{-1}\frac{\partial}{\partial s}\Bigr(e^{-\lambda F(s)}\Bigr)\frac{1}{-\lambda F'(s)}(1-u(s))ds\\ &=\int^{+\infty}_{-1}e^{-\lambda F(s)}\frac{\partial}{\partial s}\Bigr(\frac{1}{\lambda F'(s)}(1-u(s))\Bigr)ds\\ &=O(\lambda^{-1}).\end{align*} 我們可重複上述的步驟任意多次而得到對所有 $N\in{{\mathbb N}}$, \begin{equation}\label{e-gue240521ycd}\int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}(1-u(s))ds=O(\lambda^{-N}).\end{equation} 一個積分 $A$ 若滿足 \eqref{e-gue240521ycd} 的性質, 則我們記為 $A=O(\lambda^{-\infty})$。 利用這記號, 我們有 \begin{equation}\label{e-gue240521ycdI} \int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}(1-u(s))ds=O(\lambda^{-\infty}).\end{equation} 從霍曼德的穩定相公式定理 1.1, 我們得到 \begin{equation}\label{e-gue240521ycdII} \int^{+\infty}_{-1}e^{-\lambda(s-\log(1+s))}u(s)ds=\sqrt{2\pi}\lambda^{-\frac{1}{2}}+a_1\lambda^{-\frac{3}{2}}+a_2\lambda^{-\frac{5}{2}}+\cdots.\end{equation} 這邊$a_j$, $j=1,2,\ldots$, 都是實數。 從 (6), (8), \eqref{e-gue240521ycdI}, \eqref{e-gue240521ycdII}, 我們得到 \begin{equation}\label{e-gue240521yyda} \Gamma(\lambda+1)=(\frac{\lambda}{e})^\lambda\sqrt{2\pi\lambda}(1+b_1\lambda^{-1}+b_2\lambda^{-2}+\cdots).\end{equation} 這邊 $b_j$, $j=1,2,\ldots$, 都是實數。 值得注意的是這些 $b_j$, $j=1,2,\ldots$, 都是可計算的。 我們把 \eqref{e-gue240521yyda} 稱作珈瑪函數的半經典漸近展開。 利用分部積分不難證明對所有 $n\in{{\mathbb N}}$, $\Gamma(n+1)=n!$。 從這觀察及\eqref{e-gue240521yyda}, 我們得到 $$n!=(\frac{n}{e})^n\sqrt{2\pi n}(1+b_1n^{-1}+b_2n^{-2}+\cdots).$$ 特別地我們得到史特靈公式(Stirling's formula): $$\Gamma(n+1)=n!=(\frac{n}{e})^n\sqrt{2\pi n}(1+O(n^{-1})).$$ 從以上的討論可看出探討半經典極限會引出許多豐富的結果。 2. 多複變函數論多複變函數論是為了要推廣複平面的分析與幾何的結果到高維而發展起來的一門學問。 因為複高維和複一維的分析與幾何本質上的不同, 這樣的推廣不論是從幾何或分析上都需要發展新的, 深入的學問才能達成, 也讓數學家們更了解事物的本質。 多複變函數論的創始者為日本數學家岡潔 (Oka)。 為了呈現岡潔的工作的深入及細膩度, 亨利卡當 (Henri Catan)組了一個研討班來專門研究岡潔的工作, 也因此引入了層 (sheaf)的概念。 有關岡潔的工作, 讀者可參閱 2.1. 黎曼映射定理在數學中, 黎曼映射定理是單複變函數論裡最重要的結果之一, 此結果分類了 ${\mathbb C}$ 的單連通開子集。 底下, 我們回憶一下黎曼映射定理: 定理 2.1 (黎曼映射定理(Riemann mapping theorem)). 令 $U$ 為一個在複平面 ${\mathbb C}$ 的非空的單連通開子集, $U\neq{\mathbb C}$, 且令 $$D:=\{z\in{\mathbb C;\, |z|\lt1}\}$$ 為複平面 ${\mathbb C}$ 的單位圓盤。 則存在一個一對一且蓋射的雙全純映射 (biholomorphic mapping) $$f: U\rightarrow D.$$ 換言之, $U$ 和 $D$ 為雙全純同構。 黎曼在他 1851 年的博士論文中陳述了這個結果。 研究相關黎曼映射定理在 ${\mathbb C}^n$, $n\gt1$, 的情形, 一直是多複變函數論的重要問題。 有反例說明黎曼映射定理在高維時並不成立。 當定理 2.1 中的 $U$ 的邊界 (boundary of $U$) 為平滑時 (smooth), 可證明定理 2.1 中的 $f$ 可平滑的延拓到 $U$ 的邊界。 在高維時, 雖然黎曼映射定理不存在, 但一個重要的問題是給定一個雙全純映射 $f: U_1\rightarrow U_2$, $U_1$, $U_2$ 為 ${\mathbb C}^n$ 裡某一類重要的域 (domain), 要瞭解何時 $f$ 可平滑的延拓到 $U_1$ 的邊界。 為了具體陳述這問題, 我們需要引入一些定義。 令 $M:=\{z\in{\mathbb C}^n;\,\rho(z)\lt0\}$, 其中 $\rho\in{\mathbb C}^\infty({\mathbb C}^n)$, 當 $z$ 落在在 $M$ 的邊界 $\partial M=\{z\in{\mathbb C}^n;\, \rho(z)=0\}$ 上時, $d\rho(z)\neq0$。 我們稱 $\rho$ 為 $M$ 的定義函數 (defining function)。 在本文中, 我們用 $z=(z_1,\ldots,z_n)$, $z_j=x_{2j-1}+ix_{2j}$, $j=1,\ldots,n$, 為 ${\mathbb C}^n$ 上的複座標。 我們用$x=(x_1,\ldots,x_{2n})$ 來表示 ${\mathbb C}^n$ 的實座標。 我們用以下的符號: $$\frac{\partial}{\partial z_j}=\frac{1}{2}\Big(\frac{\partial}{\partial x_{2j-1}}-i\frac{\partial}{\partial x_{2j}}\Big),\ \ j=1,\ldots,n.$$ 定義2.2. 我們使用之前的符號。 對每一點 $z\in\partial M$, 我們稱這個向量空間 $$T^{1,0}_z(\partial M)=\{\sum^n_{j=1}a_j\frac{\partial}{\partial z_j};\, a_j\in{\mathbb C},\ \ j=1,\ldots,n,\ \ \sum^n_{j=1}a_j\frac{\partial\rho}{\partial z_j}(z)=0\}$$ 為 $\partial M$ 在 $z$ 點的柯希黎曼結構 (Cauchy-Riemann structure)。 固定一點 $z\in\partial M$, 由基本的線性代數可看出 ${\rm dim\,}_{\mathbb C}T^{1,0}_z(\partial M)=n-1$. 令 $Z:=\{Z_1,\ldots,Z_{n-1}\}$ 為 $T^{1,0}_z(\partial M)$ 的一組基底。 我們可把每個 $Z_j$ 寫成: $$Z_j=\sum^n_{s=1}{a_{j,s}}\frac{\partial}{\partial z_s},\ \ a_{j,s}\in{\mathbb C},\ \ s=1,\ldots,n-1.$$ 對所有的 $j, \ell=1,\ldots,n-1$, 令 \begin{equation}\label{13} b_{j,\ell}=\sum^n_{s.t==1}\frac{\partial^2\rho}{\partial z_s\partial\overline z_t}(z)a_{j,s}\overline{a_{\ell,t}}. \end{equation} 若讀者熟悉複微分形式 (complex differential form), 不難看出 $b_{j,\ell}=\partial\overline{\partial}\rho(z)(Z_j,\overline{Z_\ell})$, $j, \ell=1,\ldots,n-1$。 我們稱這個矩陣 $$\mathcal{L}_{z,Z}:=\left(b_{j,\ell}\right)^{n-1}_{j,\ell=1}$$ 為對於 $Z$ 的 Levi 矩陣 (Levi matrix with respect to the basis $Z$)。 定義 2.3. 我們使用之前的符號。 我們稱 $M$ 為一個強擬凸域 (strongly pseudoconvex domain) 如果對每一點 $z\in\partial M$, 存在 $T^{1,0}_z(\partial M)$ 的一組基底 $Z:=\{Z_1,\ldots,Z_{n-1}\}$ 使得對於 $Z$ 的 Levi 矩陣 $\mathcal{L}_{z,Z}$ 為正定矩陣。 提醒讀者注意, 由基本的線性代數可知, 若存在 $T^{1,0}_z(\partial M)$ 的一組基底 $Z:=\{Z_1,\ldots$, $Z_{n-1}\}$ 使得對於 $Z$ 的 Levi 矩陣 $\mathcal{L}_{z,Z}$ 為正定矩陣, 則對任何 $T^{1,0}_z(\partial M)$ 的一組基底 $Z:=\{Z_1,\ldots$, $Z_{n-1}\}$, 對於 $Z$ 的 Levi 矩陣 $\mathcal{L}_{z,Z}$ 都是正定矩陣。 底下是多複變函數論裡的重要問題之一: 問題 2.1. 給定兩個 ${\mathbb C}^n$ 裡的有界的強擬凸域 $M_1$, $M_2$。 假設 $$F: M_1\rightarrow M_2$$ 為一個雙全純映射。 則 $F$ 是否可平滑的延拓到 $M_1$ 的邊界$?$ 我們把 $F$ 寫成 $$\begin{split} F: M_1&\rightarrow M_2,\\ z&\rightarrow(F_1(x),\ldots,F_n(z)). \end{split}$$ 提醒讀者注意, $F$ 為全純映射的意思是 $\frac{\partial F_j}{\partial\overline z_\ell}=0$, 對於所有 $j, \ell=1,\ldots,n$, 其中 $$\frac{\partial}{\partial\overline z_\ell}=\frac{1}{2}\Big(\frac{\partial}{\partial x_{2\ell-1}}+i\frac{\partial}{\partial x_{2\ell}}\Big),\ \ \ell=1,\ldots,n.$$ $F$ 為雙全純映射的意思是 $F$ 為全純映射且 $F$ 為一對一且蓋射的映射。 問題 2.1 在多複變的發展史上扮演著重角色。 查理$\cdot$費福曼(Charles Fefferman)在 1974 年解決了這問題, 這是他拿到費爾茲獎的工作之一。 我們把費福曼的結果寫成如下的定理: 定理 2.4 (費福曼, 1974). 給定兩個 ${\mathbb C}^n$ 裡的有界的強擬凸域 $M_1$, $M_2$。 假設 $$F: M_1\rightarrow M_2$$ 為一個雙全純映射。 則 $F$ 可平滑的延拓到 $M_1$ 的邊界。 要證明定理 2.4, 我們需要瞭解柏格曼核(Bergman kernel)。 下一節我們將介紹柏格曼核, 並在本文的最後一節, 我們將解釋如何用半經典分析的方法來證明定理 2.4。 2.2. 柏格曼核我們在這一節中將介紹柏格曼核的基本定義並計算單位球上的柏格曼核給讀者參考。 我們固定一個強擬凸域 $$M:=\{z\in{\mathbb C}^n;\,\rho(z)\lt0\}.$$ 我們用這符號 $\mathcal{C}^\infty(M)$ 來表示在 $M$ 上的所有的平滑函數。 對一個函數 $f\in \mathcal{C}^\infty(M)$, 我們說 $f\in\mathcal{C}^\infty_c(M)$ 如果 $f$ 的支集 (support) 為 $M$ 裡的緊緻子集 ($f$ has compact support in $M$)。 在 $\mathcal{C}^\infty_c(M)$ 上我們選下列的 $L^2$ 內積: $$(\,f\,|\,g\,)_M:=\int_Mf\overline gdx,$$ 其中$f, g\in\mathcal{C}^\infty_c(M)$, $dx$ 為一般的歐式空間的測度。 令 $L^2(M)$ 為 $\mathcal{C}^\infty_c(M)$ 針對內積 $(\,\cdot\,|\,\cdot\,)_M$ 的完備空間 (completion with respect to $(\,\cdot\,|\,\cdot\,)_M$)。 令 \begin{equation}\label{e-gue240524yyd} H^0(M):=\{u\in L^2(M);\, \frac{\partial u}{\partial\overline z_j}=0,\ \ j=1,\ldots,n\}, \end{equation} 其中 $\frac{\partial u}{\partial\overline z_j}$ 是以分佈的方式定義 (in the sense of distribution)。 我們稱 $H^0(M)$ 為 $M$ 上的 $L^2$ 全純函數。 令 $$\{f_1,f_2,\ldots\}\subset H^0(M)$$ 為 $H^0(M)$ 內的一組根據 $(\,\cdot\,|\,\cdot\,)_M$ 的單位正交基底 (orthonormal basis with respect to $(\,\cdot\,|\,\cdot\,)_M$)。 定義 2.5 (柏格曼核). 底下的無限和: \begin{equation}\label{e-gue240524yydI} B(z,w):=\sum^{+\infty}_{j=1}f_j(z)\overline{f_j(w)} \end{equation} 稱為 $M$ 上的柏格曼核 (Bergman kernel)。 提醒讀者注意, \eqref{e-gue240524yydI} 式雖然是無限和, 但可證明這無限和是一個 $M\times M$ 上的分佈 (distribution on $M\times M$)。 此外, 由橢圓偏微分方程的理論可證明 \begin{equation}\label{e-gue240524ycdq} B(z,w)\in\mathcal{C}^\infty(M\times \overline M),\ \ B(z,w)\in\mathcal{C}^\infty(\overline M\times M). \end{equation} \eqref{e-gue240524ycdq}的意思是說固定一點 $x_0\in M$ ($x_0$ 在 $M$ 的內部), $y_0\in\overline M$ ($y_0$ 可在 $M$ 的內部或 $M$ 的邊界), 則 $B(z,w)$ 在 $x_0$, $y_0$ 附近都是平滑的。 一個自然衍生的問題就是能否刻劃 $B(z,w)$ 的邊界行為。 這是一個困難的問題且這問題和問題 2.1 有關。 費福曼(Fefferman)用深入的調和分析仔細的研究 $B(z,w)$ 的邊界行為。 底下為費福曼的結果: 定理 2.6 (費福曼, 1974). 在之前的符號之下, 我們有 \begin{equation}\label{e-gue240524ycd} B(z,z)=\frac{a(z)}{\rho(z)^{n+1}}+b(z)\log(-\rho(z)),\ \ a, b\in\mathcal{C}^\infty(\overline M),\end{equation} $a|_{\partial M}\neq0$. 提醒讀者注意 $a\in\mathcal{C}^\infty(\overline M)$ 的意思是 $a\in\mathcal{C}^\infty(M)$ 且 $a$ 可平滑的延拓到 $M$ 的邊界。 由 \eqref{e-gue240524ycd} 讀者可看出, $B(z,w)$ 在邊界上有奇異點(singularities)。 利用定理 2.6, 費福曼完全解決了問題 2.1, 即證明了定理 2.4。 底下舉一個例子讓讀者對定理 2.6 有更進一步的了解。 例子 2.7. 考慮單位球 $${\mathbb B}_n:=\{z\in{\mathbb C}^n;\,|z|^2=1\},$$ 其中 $|z|^2=\sum^n_{j=1}|z_j|^2$。 可驗證 ${\mathbb B}_n$ 為一個強擬凸域。 我們用 $B_{{\mathbb B}_n}(z,w)$ 來表示 ${\mathbb B}_n$ 上的柏格曼核。 我們有下列的定理: 定理2.8 (單位球的柏格曼核的具體表示). 我們有 \begin{equation}\label{18} B_{{\mathbb B}_n}(z,w)=\frac{n!}{\pi^n}\frac{1}{(1-z\overline w)^{n+1}}, \end{equation} 其中 $z\overline w=z_1\overline w_1+z_2\overline w_2+\cdots+z_n\overline w_n$。 由 \eqref{18} 讀者可看出, $B_{{\mathbb B}_n}(z,w)$ 在邊界上有奇異點 (singularities)。 接下來, 我們來證明定理 2.8。 證明定理 2.8: 對任意的多重指標 (multi-index) $\alpha=(\alpha_1,\ldots,\alpha_n)\in({{\mathbb N}}\cup\{0\})^n$, 我們用以下的符號: $$z^\alpha:=z^{\alpha_1}_1z^{\alpha_2}_2\cdots z^{\alpha_n}_n.$$ 不難看出 $$\{z^\alpha\}_{\alpha\in({{\mathbb N}}\{0\})^n}$$ 為 $H^0({\mathbb B}_n)$ 的一組正交基底 (orthogonal basis)。 為了要得到 $B_{{\mathbb B}_n}(z,w)$, 我們需要找到 $H^0({\mathbb B}_n)$ 的一組單位正交基底 (orthonormal basis)。 為了達到這目的我們需要計算下列的積分: $$||z^\alpha||^2_{L^2({\mathbb B}_n)}:= \int_{{\mathbb B}_n}|z^\alpha|^2dx,$$ 其中 $\alpha=(\alpha_1,\ldots,\alpha_n)\in({{\mathbb N}}\{0\})^n)$ 為一個固定的多重指標 (multi-index)。 我們有 \begin{equation}\label{e-gue240525yyd} \begin{split} &\int_{{\mathbb{B}}_n}|z^\alpha|^2dx\\ &=\int_{{\mathbb{B}}_n}|z_1|^{2\alpha_1}\cdots|z_n|^{2\alpha_n}dx\\ &=\int_{\sum^{n-1}_{j=1}|z_j|^2\leq1}\Bigr(\int^{\sqrt{1-\sum^{n-1}_{j=1}|z_j|^2}}_0|z_1|^{2\alpha_1}\cdots|z_n|^{2\alpha_n}dx_{2n-1}x_{2n}\Bigr)dx_1\cdots dx_{2n-2}\\ &=\frac{\pi}{(\alpha_n+1)}\int_{{\mathbb B}_{n-1}} |z_1|^{2\alpha_1}\cdots|z_{n-1}|^{2\alpha_{n-1}}(1-|z_1|^2-\cdots-|z_{n-1}|^2)^{\alpha_n+1}dx, \end{split} \end{equation} 其中 ${\mathbb B}_{n-1}=\{(z_1,\ldots,z_{n-1})\in{\mathbb C}^{n-1};\,\sum^{n-1}_{j=1}|z_j|^2\lt1\}$。 為了要處理積分(19), 我們把下列的恆等式 $$\begin{split} &|z_1|^{2\alpha_1}\cdots|z_{n-1}|^{2\alpha_{n-1}}(1-|z_1|^2-\cdots- |z_{n-1}|^2)^{\alpha_n+1}\\ &=|z_1|^{2\alpha_1}\cdots|z_{n-2}|^{2\alpha_{n-2}} (1-|z_1|^2-\cdots-|z_{n-2}|^2)^{\alpha_n+1}|z_{n-1}|^{2\alpha_{n-1}}\\ &\times\Bigr(1-\frac{|z_{n-1}|^2}{1-(\sum^{n-2}_{j=1}|z_j|^2)}\Bigr)^{\alpha_n+1} \end{split}$$ 代入積分(19), 我們有 \begin{equation}\label{e-gue240525yydI} \begin{split} &\int_{{\mathbb{B}}_n}|z^\alpha|^2dx\\ &=\frac{\pi}{(\alpha_n+1)}\int_{{\mathbb B}_{n-2}}\Bigg(\int^{\sqrt{1-\sum^{n-2}_{j=1}|z_j|^2}}_0 |z_1|^{2\alpha_1}\cdots|z_{n-2}|^{2\alpha_{n-2}} (1-|z_1|^2-\cdots-|z_{n-2}|^2)^{\alpha_n+1}\\ &\times|z_{n-1}|^{2\alpha_{n-1}}\Bigr(1-\frac{|z_{n-1}|^2}{1-(\sum^{n-2}_{j=1}|z_j|^2)}\Bigr)^{\alpha_n+1}dx_{2n-3} dx_{2n-2}\Bigg)dx_1\cdots dx_{2n-4}. \end{split} \end{equation} 為了要處理 (20) 裡對 $x_{2n-3}$, $x_{2n-2}$ 的積分, 我們先來計算如下的積分: \begin{equation}\label{e-gue240524yydII} \int^{\sqrt{1-a^2}}_0x^{2s+1}\Bigr(1-\frac{x^2}{1-a^2}\Bigr)^{t+1}, \end{equation} 其中 $0\lt a\lt1$, $s, t\in{{\mathbb N}}\cup\{0\}$。 我們在 \eqref{e-gue240524yydII} 裡令 $y=\frac{x^2}{1-a^2}$, 則積分 \eqref{e-gue240524yydII} 成為: \begin{equation}\label{e-gue240524yydIII} \begin{split} &\int^{\sqrt{1-a^2}}_0x^{2s+1}\Bigr(1-\frac{x^2}{1-a^2}\Bigr)^{t+1}\\ &=\frac{1}{2}(1-a^2)^{s+1}\int^1_0y^s(1-y)^{t+1}dy. \end{split} \end{equation} 積分 (22) 叫貝他函數 (Beta function)。 定義 2.9. 對任兩個實部大於 $0$ 的複數 $z_1, z_2\in{\mathbb C}$, 我們稱這積分值 $$\int^1_0y^{z_1-1}(1-y)^{z_2-1}dy$$ 為貝他函數在 $z_1$, $z_2$ 在的值並記為$B(z_1,z_2)$。 貝他函數是一類很重要的特殊函數。 貝他函數和珈瑪函數有下列的關係: 引理 2.10. 對任兩個實部大於 $0$ 的複數 $z_1, z_2\in{\mathbb C}$, 我們有 \begin{equation}\label{e-gue240524yydh} B(z_1,z_2)=\frac{\Gamma(z_1)\Gamma(z_2)}{\Gamma(z_1+z_2)}. \end{equation} 引理 2.10 的證明: 直接透過計算我們有 \begin{equation}\label{e-gue240524ycdi} \begin{split} \Gamma(z_1)\Gamma(z_2)&=\int^{+\infty}_0e^{-u}u^{z_1-1}du\int^{+\infty}_0e^{-v}v^{z_2-1}dv\\ &=\int^{+\infty}_0\int^{+\infty}_0e^{-u-v}u^{z_1-1}v^{z_2-1}dudv. \end{split} \end{equation} 在積分 (24) 中, 我們令 $u=st$, $v=s(1-t)$, 則我們有 \begin{equation}\label{e-gue240524ycdj} \begin{split} \Gamma(z_1)\Gamma(z_2)&=\int^{+\infty}_{s=0}\int^1_{t=0}e^{-s}(st)^{z_1-1}(s(1-t))^{z_2-1}sdtds\\ &=\int^{+\infty}_{s=0}e^{-s}s^{z_1+z_2-1}ds\int^1_{t=0}t^{z_1-1}(1-t)^{z_2-1}dt\\ &=\Gamma(z_1+z_2)B(z_1,z_2). \end{split} \end{equation} 從 (25), 我們得到 \eqref{e-gue240524yydh}。 從 \eqref{e-gue240524yydh}, 我們計算出積分 (22): \begin{equation} \begin{split} &\int^{\sqrt{1-a^2}}_0x^{2s+1}\Bigr(1-\frac{x^2}{1-a^2}\Bigr)^{t+1}\\ &=\frac{1}{2}(1-a^2)^{s+1}B(s+1,t+2)\\ &=\frac{1}{2}(1-a^2)^{s+1}\frac{\Gamma(s+1)\Gamma(t+2)}{\Gamma(s+t+3)}\\ &=\frac{1}{2}(1-a^2)^{s+1}\frac{s!(t+1)!}{(s+t+2)!}. \end{split} \end{equation} 從積分 (20), (26) 及一些繁瑣的計算, 我們得到 \begin{equation} \begin{split} &\int_{{\mathbb{B}}_n}\left|z^\alpha\right|^2dx\\ &=\frac{\pi}{(\alpha_n+1)}\frac{\pi\Gamma(\alpha_{n-1}+1)\Gamma(\alpha_n+2)}{\Gamma(\alpha_n+\alpha_{n-1}+3)}\\ &\times\int_{{\mathbb B}_{n-2}}|z_1|^{2\alpha_1}\cdots|z_{n-2}|^{2\alpha_{n-2}}(1-|z_1|^2-\cdots-|z_{n-2}|^2)^{\alpha_n+\alpha_{n-1}+2}dx_1\cdots dx_{2n-4}. \end{split} \end{equation} 不斷地重複上述的過程並使用 (26), 我們得到 \begin{equation} \int_{{\mathbb{B}}_n}|z^\alpha|^2dx=\frac{\pi^n\alpha_1!\cdots\alpha_n!}{(\alpha_1+\cdots+\alpha_n+n)!}. \end{equation} 從 (28), 我們知道 $$\{\Bigr(\frac{(\alpha_1+\cdots+\alpha_n+n)!}{\pi^n\alpha_1!\cdots\alpha_n!}\Bigr)^{\frac{1}{2}} z^\alpha;\, \alpha=(\alpha_1,\ldots,\alpha_n)\in({{\mathbb N}}\cup\{0\})^n\}$$ 為$H^0({\mathbb{B}}_n)$的一組單位正交基底。 根據柏格曼核的定義, 我們有 \begin{equation}\label{e-gue240525yydr} \begin{split} B_{{\mathbb{B}}_n}(z,w)&=\sum_{\alpha=(\alpha_1,\ldots,\alpha_n)\in({{\mathbb N}}\cup\{0\})^n} \frac{(\alpha_1+\cdots+\alpha_n+n)!}{\pi^n\alpha_1!\cdots\alpha_n!}z^\alpha\overline w^\alpha\\ &=\frac{1}{\pi^n}\sum^{+\infty}_{\ell=0}\sum_{\sum^n_{j=1}\alpha_j=\ell} \frac{(\alpha_1+\cdots+\alpha_n+n)!}{\alpha_1!\cdots\alpha_n!}z^\alpha\overline w^\alpha\\ &=\frac{1}{\pi^n}\sum^{+\infty}_{\ell=0}(\ell+n)(\ell+n-1)\cdots(\ell+1)(z_1\overline w_1+\cdots+z_n\overline w_n)^\ell\\ &=\frac{1}{\pi^n}\frac{\partial^n}{\partial t^n}\Bigr(\frac{1}{1-t}\Bigr)\Bigg|_{t=z_1\overline w_1+\cdots+z_n\overline w_n}\\ &=\frac{n!}{\pi^n}\frac{1}{(1-z\overline w)^{n+1}}. \end{split} \end{equation} 從 (29), 我們已完全證明了定理 2.8。 $\Box$ 定理 2.8 的證明大致上是沿著參考書目 要證明定理 2.4, 我們需要構造出一些滿足特別要求的在$M$上的全純函數。 從費福曼的定理 2.6 或定理 2.8, 我們知道柏格曼核 $B(z,w)$ 在邊界有奇異點, 若要用柏格曼核來構造一些滿足特別要求的在 $M$ 上的全純函數, 使用起來會非常複雜。 因此, 一個重要的問題就是我們能否有其他較容易使用的"某種柏格曼核"也能幫我們來構造一些滿足特別要求的在 $M$ 上的全純函數? 我們回憶一下文章一開始引入的半經典分析的想法。 在第一節中, 我們考慮積分 $$\int_{\mathbb{B}}e^{-x^2+ix^4}\chi(x)dx.$$ 因這積分不容易處理, 我們考慮這積分 $$\int_{\mathbb{B}}e^{k(-x^2+ix^4)}\chi(x)dx$$ 在 $k$ 很大時的行為。 許多牽涉到要了解這積分$\int_{\mathbb{B}}e^{-x^2+ix^4}\chi(x)dx$的問題, 其實只要了解這積分 $\int_{\mathbb{B}}e^{k(-x^2+ix^4)}\chi(x)dx$ 在 $k$ 很大時的行為就足夠。 而這積分$\int_{\mathbb{B}}e^{k(-x^2+ix^4)}\chi(x)dx$ 在 $k$ 很大時的行為是較容易處理的。 同樣的思維, 一般的柏格曼核$B(z,w)$不容易處理, 因此我們問下列的問題: 問題 2.2. 我們能否找到一個依賴於 $k$ 的某種核 $A_k(z,w)$, 使得 $A_k(z,w)$ 較原先的 $B(z,w)$ 容易處理, 且當 $k$ 夠大時, 我們能利用 $A_k(z,w)$ 來構造需要的全純函數? 在下一節中我們會回答問題 2.2 並提供一個定理 2.4 的證明。 3. 多複變函數論裡的半經典分析這一節牽涉到一些較深的數學, 要完全理解需要更多高等數學的背景。 讀者若沒接觸過這些高等數學, 不妨試著抓到這節講的多複變函數論與半經典分析的精神。 在這一節中我們要回答問題 2.2。 這問題的回答牽涉到的意義是能否利用半經典分析來研究多複變函數論。 為了回答問題 2.2, 我們回到單位球的情況, 來看一下單位球上的 $A_k(z,w)$ 應該是什麼。 在單位球上, 對每個 $m\in{\mathbb N}\cup\{0\}$, 考慮如下的全純齊次多項式: $$\begin{split} H^0_m({\mathbb{B}}_n)=&{\rm span\,}\Big\{z^{\alpha_1}_1\cdots z^{\alpha_n}_n|_{{\mathbb{B}}_n};\,\\ &\quad\hskip .8cm (\alpha_1,\ldots,\alpha_n)\in({\mathbb N}\cup\{0\})^n,\ \ \alpha_1+\cdots+\alpha_n=m\Big\}.\end{split}$$ 令 $\{g_{1,m},\ldots,g_{d_m,m}\}$ 為 $H^0_m({\mathbb{B}}_n)$的一組單位正交基底, $d_m\in{\mathbb N}$。 令 \begin{equation}\label{e-gue240526yyd} B_m(z,w):=\sum^{d_m}_{j=1}g_{j,m}(z)\overline g_{j,m}(w). \end{equation} 顯然的 $B_m(z,w)$ 為 ${\mathbb{B}}_n\times{\mathbb{B}}_n$ 裡的平滑函數且可平滑的延拓到邊界 (smooth up to the boundary) (我們寫 $B_m(z,w)\in\mathcal{C}^\infty(\overline{{\mathbb{B}}_n}\times\overline{{\mathbb{B}}_n})$)。 我們也可嘗試 $B_m(z,w)$ 是否是問題 2.2 裡要的。 但 $B_m(z,w)$ 只有由全純齊次多項式所組成, 我們應該要試著包含儘可能多的 ${\mathbb{B}}_n$ 上的全純函數, 因此考慮 $B_m(z,w)$ 是不夠的。 一個自然的想法是對每個 $k\in{\mathbb N}$, 考慮 \begin{equation}\label{e-gue240526yydI} B_{\leq k}(z,w):=\sum_{0\leq m\leq k}B_m(z,w)\in\mathcal{C}^\infty(\overline{{\mathbb{B}}_n}\times\overline{{\mathbb{B}}_n}). \end{equation} 則當 $k$ 趨於無限大時, $B_{\leq k}(z,w)$ 會包含所有的 ${\mathbb{B}}_n$ 上的全純函數, 因此 $B_{\leq k}(z,w)$ 似乎是好選擇。 但這個 $B_{\leq k}$ 是在單位球上, 在一般的有界的強擬凸域上, 要怎麼定義 $B_{\leq k}(z,w)$ 呢? 為了回答這問題, 我們用另一種方式來定義 $B_{\leq k}(z,w)$。 令 \begin{equation}\label{e-gue240528yydI} R_0=\sum^n_{j=1}\Big(z_j\frac{\partial}{\partial z_j}-\overline z_j\frac{\partial}{\partial\overline z_j}\Big).\end{equation} $R_0$ 為一個向量場 (vector field)。 我們用 $B_{{\mathbb{B}}_n}$ 來表示這個垂直投影 (orthogonal projection): $$B_{{\mathbb{B}}_n}: L^2({\mathbb{B}}_n)\rightarrow H^0({\mathbb{B}}_n).$$ $B_{{\mathbb{B}}_n}$ 也叫柏格曼投影 (Bergman projection)。 令 \begin{equation}\label{e-gue240528yyd} T_{R_0}:=B_{{\mathbb{B}}_n}\circ R_0\circ B_{{\mathbb{B}}_n}: {\rm Dom\,}T_{R_0}\subset L^2({\mathbb{B}}_n)\rightarrow L^2({\mathbb{B}}_n),\end{equation} 其中${\rm Dom\,}T_{R_0}:=\{u\in L^2({\mathbb{B}}_n);\, T_{R_0}u\in L^2({\mathbb{B}}_n)\}$。 用現代數學的語言, $T_{R_0}$ 為一個在單位球上的拓普立茲算子 (Toeplitz operator on ${\mathbb{B}}_n$)。 可證明 $T_{R_0}$ 的特徵空間恰好是所有的全純齊次多項式 $H^0_m({\mathbb{B}}_n)$, $m\in{\mathbb N}\cup\{0\}$。 從這觀點, $B_{\leq k}(z,w)$ 事實上是由 $T_{R_0}$ 的所有特徵值小於或等於 $k$ 的單位正交特徵向量所組成。 這樣的定義方式可適用在任何的有界的強擬凸域上。 底下, 我們就來在一般的有界的強擬凸域上定義 $B_{\leq k}$。 令 $M:=\{z\in\mathbb C^n;\,\rho(z)\lt0\}$ 為一個有界的強擬凸域。 令 \begin{equation}\label{e-gue240528yydII} R:=\sum^n_{j=1}\Big(\frac{\partial\rho}{\partial\overline z_j}\frac{\partial}{\partial z_j}-\frac{\partial\rho}{\partial z_j}\frac{\partial}{\partial\overline z_j}\Big).\end{equation} 可容易看出, 當 $M$ 為單位球時, $R$ 恰好是 \eqref{e-gue240528yydI}的$R_0$。 事實上, 用切觸幾何 (contact geometry)的語言, $R$ 限制在 $M$ 的邊界上, 是 $M$ 的邊界的一個里伯向量場(Reeb vector field)。 我們用 $B$ 來表示這個垂直投影 (orthogonal projection): $$B: L^2(M)\rightarrow H^0(M).$$ $B$為$M$的柏格曼投影(Bergman projection)。 仿造\eqref{e-gue240528yyd}, 令 \begin{equation}\label{e-gue240528yyda} T_{R}:=\frac{1}{2}\Bigr(B\circ (R+R^*)\circ B\Bigr): {\rm Dom\,}T_{R}\subset L^2(M)\rightarrow L^2(M),\end{equation} 其中 $R^*$ 為 $R$ 對於 $M$ 上的內積的伴隨 (adjoint), $${\rm Dom\,}T_{R}:=\{u\in L^2(M);\, T_{R}u\in L^2(M)\}.$$ 利用一些較深的偏微分方程的技巧可證明, $T_R$ 為一個自伴隨算子(self-adjoint operator)且 $T_R$ 的譜 (spectrum) 由離散有下界的特徵值所組成, 只有正無窮遠為極限點 ($T_R$ consists only of isolated eigenvalues, is bounded from below and has only $+\infty$ as a point of accumulation), 且每個非零的特徵值對應的特徵向量空間 (eigenspace) 都是由 $H^0(M)$ 上的可平滑的延拓到邊界的全純函數所組成的有限維向量空間。 我們用 ${\rm Spec\,}T_R$ 記為 $T_R$ 的所有的特徵值的集合。 對每個 $\lambda\in{\rm Spec\,}T_R$, $\lambda\neq0$, 令 $E_\lambda:=\{u\in{\rm Dom\,}T_R;\, T_Ru=\lambda u\}$。 利用一些偏微分方程的技巧可證明 $E_\lambda\subset H^0(M)\cap \mathcal{C}^\infty(\overline M)$。 對每個$\lambda\in{\rm Spec\,}T_R$, $\lambda\neq0$, 令 $$\{f_{1,\lambda},\ldots,f_{d_{\lambda},\lambda}\}\subset H^0(M)\cap\mathcal{C}^\infty(\overline M)$$ 為 $E_\lambda$ 裡的一組單位正交基底, 這邊 $d_\lambda\in{\mathbb N}$。 仿造 \eqref{e-gue240526yyd}, 對每個 $\lambda\in{\rm Spec\,}T_R$, $\lambda\neq0$, 令 \begin{equation}\label{e-gue240528ycda} B_\lambda(z,w):=\sum^{d_\lambda}_{j=1}f_{j,\lambda}(z)\overline f_{j,\lambda}(w). \end{equation} 仿造 \eqref{e-gue240526yydI}, 令 \begin{equation}\label{e-gue240528ycdb} B_{\leq k}(z,w):=\sum_{\lambda\in{\rm Spec\,}T_R, \lambda\neq0}B_\lambda(z,w)\in\mathcal{C}^\infty(\overline{M}\times\overline{M}). \end{equation} 當 $k$ 趨於無窮時, $B_{\leq k}(z,w)$ 會包含所有的 $M$ 上的全純函數, 因此 $B_{\leq k}(z,w)$ 似乎是好選擇且可似乎回答問題 2.2。 但當我們進一步的想要用近代數學的工具來研究 $B_{\leq k}(z,w)$ 的漸近行為時, 會遭遇困難(要說明這現象會需要引進更多的近代數學, 如譜理論(spectral theory)等知識, 礙於篇幅, 我們不多做描述)。 為了克服困難, 我們要把 $B_{\leq k}(z,w)$ 的定義稍作改變。 令 $I$ 為 $\mathbb R_+$ 裡的一個有界的開區間, $0\notin\overline I$。 令 $\chi\in\mathcal{C}^\infty_c(I)$ 為 $\mathbb R$ 上的非負且不恆等於零的截斷函數(cut-off function)且 $\chi$ 的支集在 $I$ 裡的緊緻集內。 令 \begin{equation}\label{e-gue240528ycdc} A_k(z,w):=\sum_{\lambda\in{\rm Spec\,}T_R, \lambda\neq0}\chi(\frac{\lambda}{k})B_\lambda(z,w)\in\mathcal{C}^\infty(\overline{M}\times\overline{M}). \end{equation} 值得注意的是, 和 \eqref{e-gue240528ycdb} 不同的是, \eqref{e-gue240528ycdc} 裡多了一個權重 (weight) $\chi(\frac{\lambda}{k})$。 和 \eqref{e-gue240528ycdb}不同的是, 加了權重$\chi(\frac{\lambda}{k})$, 我們可用半經典分析及譜理論的方法來研究$A_k(z,w)$的漸近行為。 最重要的原因是 $A_k(z,w)$ 其實是譜理論裡的泛函計算(functional calculus), 在泛函計算裡有一種公式叫厄樂斐-史約使坦公式(Helffer-Sjöstrand formula) 能夠給出一般泛函計算的計算方式。 搭配厄樂斐-史約使坦公式及半經典分析, 我們能了解 $A_k(z,w)$ 的漸近行為。 有關譜理論及厄樂斐-史約使坦公式, 讀者可參閱 定理 3.11. 在之前的符號之下, 在 $\overline M\times\overline M$ 上我們有 \begin{equation}\label{e-gue240528yyda1} A_k(z,w)=\int_0^{+\infty} e^{ikt\Psi(z,w)}b(z,w,t,k)dt+O(k^{-\infty}), \end{equation} \begin{equation}\label{e-gue240528yyda2} \begin{split} &b(z,w,t,k)\sim\sum_{j=0}^\infty b_{j}(z,w,t)k^{n+1-j},\\ &b_0(z,z,t)|_{\partial M}\neq0,\\ &b_j(z,w,t), b(z,w,t,k)\in\mathcal{C}^\infty_c(\overline M\times\overline M\times I),\ \ I\Subset\mathbb R_+, \end{split} \end{equation} \begin{equation}\label{e-gue230528yydzz} \begin{split} &\Psi(z,w)\in\mathcal{C}^\infty(\overline M\times\overline M),\ \ {\rm Im\,}\Psi\geq0,\\ &\Psi(z,z)=-2i\rho(z),\\ &{\rm Im\,}\Psi(z,w)\approx{\rm dist\,}(z,\partial M)+{\rm dist\,}(w,\partial M). \end{split} \end{equation} 對初學者而言, 定理 3.11 雖然有點複雜, 但我們試著解釋一下定理 3.11, 即使讀者無法完全了解定理 3.11, 只要抓到精神就非常好了。 \eqref{e-gue240528yyda1} 的意思是存在這個積分 $\int_0^{+\infty} e^{ikt\Psi(z,w)}b(z,w,t,k)dt$ 使得對任意的 $\ell$, $N\in{\mathbb N}$, 都存在一個和 $k$ 無關的常數 $C_{\ell, N}\gt0$ 使得對所有的 $k\gt0$, \begin{equation}\label{e-gue240528yyda3a} \left|\left|A_k(z,w)-\int_0^{+\infty} e^{ikt\Psi(z,w)}b(z,w,t,k)dt\right|\right|_{\mathcal{C}^\ell(\overline M\times\overline M )}\leq C_{\ell,N}k^{-N}. \end{equation} 這邊對每個 $f\in\mathcal{C}^\ell(\overline M\times\overline M)$, $$\begin{split} ||f||_{\mathcal{C}^\ell(\overline M\times\overline M)}:={\rm sup\,}\Big\{&|\partial^\alpha_x\partial^\beta_yf(x,y)|;\, (x,y)\in\overline M\times\overline M,\\ &\alpha=(\alpha_1,\ldots,\alpha_{2n}), \beta=(\beta_1,\ldots,\beta_{2n})\in({\mathbb N}\cup\{0\})^{2n}, \\ &\sum^{2n}_{j=1}\alpha_j+\sum^{2n}_{j=1}\beta_j\leq\ell\Big\}.\end{split}$$ 直觀上, \eqref{e-gue240528yyda3a} 的意思是當 $k$ 很大時, $A_k(z,w)$ 可和這積分 $$\int_0^{+\infty}e^{ikt\Psi(z,w)}b(z,w,t,k)dt$$ 任意接近。 在 (41) 中, $b(z,w,t,k)$ 為一個依賴於 $k$ 的在 $\overline M\times\overline M\times I$ 上的平滑函數且 $b(z,w,t,k)$ 對 $t$ 在 $I$ 裡有緊緻支集(compact support)。 提醒讀者注意, $\chi$ 的支集在 $I$ 內, $I$ 為 $\mathbb R_+$ 的有界的開區間, $0\notin\overline I$。 在 (41) 中 $b(z,w,t,k)\sim\sum_{j=0}^\infty b_{j}(z,w,t)k^{n+1-j}$ 的意思是對任意的 $\ell$, $N\in{{\mathbb N}}$, 都存在一個和 $k$ 無關的常數 $C_{\ell,N}\gt0$ 使得對所有的 $k\gt0$, \begin{equation}\label{e-gue240528yyda3} \left\Vert{b(z,w,t,k)-\sum^{N}_{j=0}b_j(z,w,t)k^{n+1-j}}\right\Vert _{\mathcal{C}^\ell(\overline M\times\overline M\times I)} \leq C_{\ell,N}{k^{-N-1}}. \end{equation} 用專業術語, 我們說 $b(z,w,t,k)$ 存在漸近展開(asymptotic expansion)。 從 (42) 的最後一個式子, 我們可看出當 $z, w$ 在 $M$ 裡的一個緊緻集 $K$ 且 $K$ 遠離邊界時 ($K\cap\partial M=\emptyset$), 我們有 \begin{equation}\label{e-gue240529yyd} |A_k(z,w)|\leq C e^{-k{\rm Im\,}\Psi(z,w)}k^{n+1}=O(k^{-\infty}), \end{equation} 對所有的 $z, w\in K$, 其中 $C\gt0$ 為一個常數。 從 (39), 我們可利用定理 3.11 來構造在 $M$ 上的全純函數。 比如說選一個特別的 $u\in\mathcal{C}^\infty(\overline M)$, 則 $A_ku $ 為一個 $M$ 上的全純函數。 從定理 3.11, 我們知道 \begin{equation} (A_ku)(z)=\int e^{ikt\Psi(z,w)}b(z,w,t,k)u(w)dydt+O(k^{-\infty}). \end{equation} 我們可利用類似霍曼德的穩定相公式定理 1.1 來處理積分 (46) 並了解 $A_ku$ 當 $k$ 夠大的行為。 從這方法, 我們可透過選取 $u$ 來構造出所需要的在 $M$ 上的全純函數。 本文的最後, 我們向讀者介紹一個證明定理 2.4 的思路。 從這介紹, 讀者應能看到利用定理 3.11 及 (46) 來構造 $M$ 上的全純函數在整個證明中扮演著最關鍵的角色。 定理 2.4 的證明的概括: 我們給定兩個 ${\mathbb C}^n$ 裡的有界的強擬凸域 $M_1$, $M_2$. 假設 $$F: M_1\rightarrow M_2$$ 為一個雙全純映射。 我們要證明 $F$ 可平滑的延拓到 $M_1$ 的邊界。 令 $B_1(z,w)$, $B_2(z,w)$ 分別為 $M_1$, $M_2$上的柏格曼核。 不難看出, $B_1(z,w)$ 和 $B_2(z,w)$ 有如下的關係式 \begin{equation}\label{e-gue240529ycda} B_{1}(z,w)=B_{2}(F(z),F(w)){\rm det\,}F'(z)\overline{{\rm det\,}F'(w)}. \end{equation} 提醒讀者注意, 若我們將 $F$ 寫成 $F:=(F_1,\ldots,F_n): M_1\rightarrow M_2$, 則 $F'(z)$ 為以下的矩陣: $$F'(z):=\left(\frac{\partial F_j}{\partial z_\ell}(z)\right)^n_{j,\ell=1}.$$ 這邊 ${\rm det\,}F'(z)$ 指的是 $F'(z)$ 的行列式值。 我們先證明: \begin{equation}\label{e-gue240529ycdb} \hbox{${\rm det\,}F'(z)$ 在 $M_1$ 上是有界的。} \end{equation} 我們用反證法來證明 \eqref{e-gue240529ycdb}。 假設\eqref{e-gue240529ycdb}不對。 則我們可找到 $M_1$ 裡的序列 $\{x_s\}^{+\infty}_{s=1}\subset M_1$ 滿足 $\lim_{s\rightarrow+\infty}x_s=p\in\partial M_1$, 使得 \begin{equation}\label{e-gue240531yyda} \lim_{s\rightarrow+\infty}|{\rm det\,}F'(x_s)|=+\infty.\end{equation} 假設 $\lim_{s\rightarrow+\infty}F(x_s)=q\in\partial M_2$。 我們可用 (46) 來構造 $M$ 上的全純函數而得到下列的結果: 我們可找到 $M_2$ 裡的 $n$ 個不同的點 $a_0,a_1,\ldots,a_n\in M_2$ 使得 \begin{equation}\label{e-gue230515yydII} B_{2}(q,a_0)\neq0, \end{equation} \begin{equation}\label{e-gue230515yydIII} \det\left(\frac{\partial}{\partial z_j}\Bigr(\frac{B_{2}(x,a_\ell)}{B_{2}(x,a_0)}\Bigr)\right)^n_{j,\ell=1}|_{x=q}\neq0. \end{equation} 上述的證明需要複雜的計算, 礙於篇幅, 我們省略細節。 我們只大概說明一下證明 \eqref{e-gue230515yydII} 及 \eqref{e-gue230515yydIII} 的思路。 在 \eqref{e-gue230515yydII} 及 \eqref{e-gue230515yydIII} 中, $a_0,a_1,\ldots,a_n$ 其實是非常靠近邊界的點。 固定一點 $q\in M_2$, 選一個 $u\in\mathcal{C}^\infty(\overline M_2)$, 且 $u$ 的支集(support)落在 $q$ 點附近的非常小的鄰域。 從定理 3.11, 我們知道 \begin{equation}\label{e-gue240529ycds} (A_ku)(z)=\int e^{ikt\Psi(z,w)}b(z,w,t,k)u(w)dydt+O(k^{-\infty}). \end{equation} 從 \eqref{e-gue240529yyd} 可知 $A_ku$ 這個全純函數的支集在邊界 $\partial M_2$ 外面非常小, 且又由類似霍曼德的穩定相公式定理 1.1 可了解 $A_ku$ 的 $k$ 夠大的行為。 透過上述的過程, 我們可選到特殊的 $u_0\in\mathcal{C}^\infty(\overline M_2)$, 且 $u_0$ 的支集 (support) 落在 $q$ 點附近的非常小的鄰域, 使得 \begin{equation}\label{e-gue240530yyd} \mbox{$|(A_ku_0)(q)|\geq 1$, 且在邊界附近的一個小鄰域外面, $|A_ku_0|\leq\frac{1}{2}$。} \end{equation} 同樣的, 對每個 $j=1,\ldots,n$, 我們可選到特殊的 $u_j\in\mathcal{C}^\infty(\overline M_2)$, 且 $u_j$ 的支集(support)落在 $q$ 點附近的非常小的鄰域, 使得 \begin{equation}\label{e-gue240530yydI} \begin{split} &\mbox{$|\frac{\partial}{\partial z_j}(A_ku_j)(q)|\geq 1$, $|\frac{\partial}{\partial z_\ell}(A_ku_\ell)(q)|\leq\frac{1}{2}$, $\ell=1,\dots,n,\ \ \ell\neq j$},\\ &\mbox{且在邊界附近的一個小鄰域外面},\\ &\mbox{$|A_ku_j|\leq\frac{1}{2}$, $|\frac{\partial}{\partial z_\ell}(A_ku_j)|\leq\frac{1}{2}$, $\ell=1,\ldots,n$}. \end{split} \end{equation} 從 \eqref{e-gue240530yyd} 及 (54), 我們可得到 \eqref{e-gue230515yydII} 及 \eqref{e-gue230515yydIII}。 這邊需要一些計算, 礙於篇幅我們就不多作說明。 但讀者可看到用定理 3.11 及 (46) 來構造 $M$ 上的全純函數是非常重要的。 我們回到\eqref{e-gue240529ycdb}的證明。 從\eqref{e-gue240529ycda}, 我們有 \begin{equation}\label{e-gue240531yyd}\begin{split} B_{1}(x_s,F^{-1}(a_0)) =B_{2}(F(x_s),a_0){\rm det\,}F'(x_s)\overline{{\rm det\,}F'(F^{-1}(a_0))}. \end{split}\end{equation} 從反證法的假設 \eqref{e-gue240531yyda} 及 (55), 我們得到 $$B_{2}(q,a_0)=0.$$ 但這和 \eqref{e-gue230515yydII} 矛盾, 因此 我們完成了 \eqref{e-gue240529ycdb} 的證明。 相似的, 我們可證明 $\det(F^{-1})'(x)$ 在 $M_2$上是有界的, 因此 \begin{equation}\label{e-gue240531ycda} \det F'|_{\partial M_1}\neq0. \end{equation} 我們現在證明 $F$ 可平滑的延拓到邊界。 我們用之前的符號, 令 $p=F^{-1}(q)\in\partial M_1$。 我們要證明在 $p$ 附近, $F$ 可平滑的延拓到邊界。 由 \eqref{e-gue240529ycda}, \eqref{e-gue230515yydII} 及 \eqref{e-gue240531ycda}, 我們可知 $B_1(z,F^{-1}(a_0))\neq0$ 當 $z$ 夠靠近 $p$。 令 \begin{align}\label{e-gue240531ycdi} u_j(z):=\,&\frac{B_1(z,F^{-1}(a_j))}{B_1(z,F^{-1}(a_0))},&&j=1,\ldots,n,\\ \label{e-gue240531ycdj} v_j(z):=\,&\frac{B_2(z,a_j)}{B_2(z,a_0)},&&j=1,\ldots,n. \end{align} 從 \eqref{e-gue230515yydIII}, 我們可看出 $$\{v_1,\ldots,v_n\}$$ 是一組定義在 $q$ 附近的全純局部座標 (a system of local holomorphic coordinates defined near $q$)。 從 \eqref{e-gue240529ycda} 及透過一些複雜但基本的計算可得到 \begin{equation} \begin{split} &\left(\frac{\partial}{\partial z_j}\Bigr(\frac{B_{1}(x,F^{-1}(a_\ell))}{B_{1}(x,F^{-1}(a_0))}\Bigr)\right)^n_{j,\ell=1}\\ &=\left(\frac{\partial F_\ell}{\partial z_j}(x)\right)^n_{j,\ell=1}\circ\left(\frac{\partial}{\partial z_j}\Bigr(\frac{B_{2}(F(x),a_\ell)}{B_{2}(F(x),a_0)}\frac{{\rm det\,}F'(a_\ell)}{{\rm det\,}F'(a_0)}\Bigr)\right)^n_{j,\ell=1}. \end{split} \end{equation} 從 \eqref{e-gue230515yydIII} 及 (59), 我們可看出 $$\{u_1,\ldots,u_n\}$$ 是一組定義在 $p=F^{-1}(q)$ 附近的全純局部座標 (a system of local holomorphic coordinates defined near $p=F^{-1}(q)$)。 不妨假設 $\{u_1,\ldots,u_n\}$ 為定義在 $U\cap M_1$的全純局部座標, $\{v_1,\ldots,v_n\}$ 為定義在 $F(U)\cap M_2$ 的全純局部座標, 其中 $U$ 為包含 $p$ 的小開集。 從 \eqref{e-gue240529ycda}, 我們有 \begin{equation}\label{e-gue240531ycdq} v_j(F(z))=\overline{\bigr(\frac{\det F'(F^{-1}(a_0))}{\det F'(F^{-1}(a_j))}\bigr)}u_j(z),\ \ j=1,\ldots,n. \end{equation} 我們把 $F$ 在 $U\cap M_1\rightarrow F(U)\cap M_2$ 用全純局部座標 $$\{u_1,\ldots,u_n\},\ \ \{v_1,\ldots,v_n\},$$ 來表達, 從 \eqref{e-gue240531ycdq}, 我們可看出 $F$ 為下列的形式: \begin{equation}\label{e-gue240531ycdr} F(u_1,\ldots,u_n)={\rm diag\,}\Bigr( \overline{\bigr(\frac{\det F'(F^{-1}(a_0))}{\det F'(F^{-1}(a_1))}\bigr)},\ldots,\overline{\bigr(\frac{\det F'(F^{-1}(a_0))}{\det F'(F^{-1}(a_n))}\bigr)}\Bigr). \end{equation} 從 \eqref{e-gue240531ycdr}, 我們知道用全純局部座標 $\{u_1,\ldots,u_n\}$, $\{v_1,\ldots,v_n\}$, 來表達這個雙全純映射 $F$, 則 $F$ 為一個常數對角矩陣, 因此 $F$ 可平滑的延拓到 $M_1\cap U$ 的邊界。 因為 $U$ 為任取的, 因此我們已證明了 $F$ 可平滑的延拓到 $M_1$ 的邊界。 $\Box$ 註記 3.2. 在最後提到的定理 2.4 的證明, 主要是改寫 Bell 及 Ligocka 的文章 參考文獻本文作者任職中央研究院數學研究所 |