23/03/23 21:30:05.84 KNw8p5HO.net
>>704
つづき
Fefferman の基本定理 [F1]. $
注意. この定理に関する注意を少し補足する.
(a) 特異性を境界点の近傍に局所化することができる. 即ち, 二つの強擬凸領域がある
境界点の近傍を共有すれば, ベルグマン核の差はその点の近傍で滑らかである.
(b) 実解析的な枠でも定理が成り立つ (柏原正樹先生による). 即ち, 境界がある境界
点の近傍で実解析的ならば,
$\varphi^{B}$ と $\psi^{B}$ もその点の近傍で実解析的である.
(c) Boutet de Monvel-Sj\"ostrand [BS] によれば, ベルグマン核の特異性をラプラス積分
(複素相函数のフーリエ積分作用素) で書くことができ, それにより上の定理を対角集合以
外に複素化できる.
1.3. どんな不変式論を考えるの力 ‘ ?
現実. 以上, 虫がいいもくろみを説明したが, それに対する現実 (知られていること) を
ここで粗く述べる. 正確なことは後で述べる.
複素モンジュ. アンペール境界値問題の解 $u^{MA}$ が一意的に存在し, それはウェイト ー $1$
の変換則をみたす定義函数であるが, 境界まで込めて有限階の微分可能性しか持たない.
$u^{MA}$ は漸近展開を許し, さらに漸近展開はある意味で局所化できる.
$u^{MA}$ の滑らかな近似解を局所的に構成することができるが, それを使って上のもくろみ
のようにベルグマン核を漸近展開しようとすると, 変換則が誤差を含んでボケることによっ
て展開が途中で止まる ( $\varphi^{B}$ の展開を表わすことはできる). この難点は, $u^{MA}$ の漸近展開
を使うことによって, 2 次元の場合には克服できる ( $\psi^{B}$ の展開を表わすこともできる).
熱核との比較. 熱方程式に対する初期値問題の基本解は, 熱核と呼ばれる. 復習しよう.
$M$ をコンパクトなりーマン多様体とするとき, 熱方程式に対する初期値問題
$(\partial/\partial t-\triangle_{x})u(t, x)=0$ $(t>0, x\in M)$ , $u(+0, x)=u_{0}(x)$ $(x\in M)$
は一意的な解を持ち,
$u(t, x)= \int_{M}H(t, x, y)u_{0}(y)dV_{M}(y)$
という形をしている. $\text{こ_{}-}$ の $H(t, x, y)$ が熱核である.
つづく