多重劣調和函数

数学において多重劣調和函数（たじゅうれつちょうわかんすう、テンプレート:Lang-en-short）は、複素解析において用いられるある重要な函数のクラスを形成する。しばしば psh、plsh あるいは plush 函数と略されるテンプレート:Sfn。ケーラー多様体上で、多重劣調和函数は劣調和函数の部分集合を形成する。しかし、（リーマン多様体上で定義される）劣調和函数とは異なり、多重劣調和函数は複素解析空間上で完全な一般性をもって定義される。

正式な定義

定義域が $G\subset {ℂ}^n$ であるような函数

$f:G\to ℝ\cup \{-\mathrm{\infty }\},$

が多重劣調和的（plurisubharmonic）であるとは、それが上半連続であり、すべての複素直線

$\{a+bz\mid z\in ℂ\}\subset {ℂ}^n$, $a,b\in {ℂ}^n$

に対して函数 $z\mapsto f(a+bz)$ が次の集合上で劣調和的であることを言う：

$\{z\in ℂ\mid a+bz\in G\}.$

完全な一般性をもって、この概念は任意の複素多様体や複素解析空間 $X$ でも次のように定義できる。ある上半連続函数

$f:X\to ℝ\cup \{-\mathrm{\infty }\}$

が多重劣調和的であるための必要十分条件は、任意の正則写像 $\phi :\mathrm{\Delta }\to X$ に対して函数

$f\circ \phi :\mathrm{\Delta }\to ℝ\cup \{-\mathrm{\infty }\}$

が劣調和的であることを言う。ここで $\mathrm{\Delta }\subset ℂ$ は単位円板を表す。

可微分多重劣調和函数

$f$ が（微分可能性の）クラス $C^2$ に属するとき、$f$ が多重劣調和的であるための必要十分条件は、成分が

${\lambda }_{ij}=\frac{{\partial }^{2}f}{\partial z_i\partial {\overline{z}}_j}$

で与えられる、$f$ のレヴィ行列としてよく知られている半正定値なエルミート行列である。同値ではあるが、$C^2$-函数 f が多重劣調和的であるための必要十分条件は、$\sqrt{-1}\partial \overline{\partial }f$ が正 (1,1)-形式であることである。

例

ケーラー多様体との関係: n-次元複素ユークリッド空間 ${ℂ}^n$ 上で $f(z)=|z{|}^2$ は多重劣調和函数である。実際、$\sqrt{-1}\partial \bar{\partial }f$ は、定数倍を除き ${ℂ}^n$ の上の標準ケーラー形式に等しい。さらに一般的には、$g$ が、あるケーラー形式 $\omega$ に対し、

$\sqrt{-1}\partial \bar{\partial }g=\omega$

を満たすと、$g$ は多重劣調和函数であり、これはケーラーポテンシャルと呼ばれる。

ディラックのデルタとの関係: 1-次元複素ユークリッド空間 ${ℂ}^1$ 上で、$u(z)=\log (z)$ は多重劣調和函数である。$f$ がコンパクトな台を持つ C^∞-級函数とすると、コーシーの積分公式 からは、

$f(0)=-\frac{\sqrt{-1}}{2\pi }\underset{C}{\int }\frac{\partial f}{\partial \overline{z}}\frac{dzd\overline{z}}{z}$

であることが分かり、これを次の形に変形することができる。

$\frac{\sqrt{-1}}{\pi }\partial \bar{\partial }\log |z|=d{d}^c\log |z|$.

これは、ほかならぬ、原点 0　でのディラック測度である。

その他の例

• $f$ をある開集合上の解析函数とするとき、$\log |f|$ はその開集合上の多重劣調和函数である。
• 凸函数は多重劣調和である。
• $\mathrm{\Omega }$ を正則領域とするとき、$-\log (dist(z,{\mathrm{\Omega }}^c))$ は多重劣調和である。
• 調和函数は必ずしも多重劣調和ではない。

歴史

多重劣調和函数は、1942年に岡潔テンプレート:Sfnテンプレート:Efn2とテンプレート:仮リンクテンプレート:Sfnによって定義された。

背景

レヴィの条件

テンプレート:Mvar を 2次元の複素数空間 テンプレート:Math 上の実数値関数とし、テンプレート:Math で定義される領域 テンプレート:Mvar が有界領域であったとするテンプレート:Sfn。 テンプレート:仮リンクは テンプレート:Mvar が擬凸状であるためには テンプレート:Math を

$\begin{array}{cc}L(\phi )& =(\frac{{\partial }^2\phi }{\partial x_1^2}+\frac{{\partial }^2\phi }{\partial x_2^2})[{\left(\frac{\partial \phi }{\partial y_1}\right)}^2+{\left(\frac{\partial \phi }{\partial y_2}\right)}^2]+(\frac{{\partial }^2\phi }{\partial y_1^2}+\frac{{\partial }^2\phi }{\partial y_2^2})[{\left(\frac{\partial \phi }{\partial x_1}\right)}^2+{\left(\frac{\partial \phi }{\partial x_2}\right)}^2]\\ \\ & -2(\frac{{\partial }^2\phi }{\partial x_1\partial y_1}+\frac{{\partial }^2\phi }{\partial x_2\partial y_2})(\frac{\partial \phi }{\partial x_1}\frac{\partial \phi }{\partial y_1}+\frac{\partial \phi }{\partial x_2}\frac{\partial \phi }{\partial y_2})-2(\frac{{\partial }^2\phi }{\partial x_1\partial y_2}-\frac{{\partial }^2\phi }{\partial x_2\partial y_1})(\frac{\partial \phi }{\partial x_1}\frac{\partial \phi }{\partial y_2}-\frac{\partial \phi }{\partial x_2}\frac{\partial \phi }{\partial y_1})\end{array}$

で定義したとき テンプレート:Mvar の境界で テンプレート:Math となることが必要であることを示した。

この テンプレート:Mvar は、テンプレート:Math かつ テンプレート:Math であったとしても テンプレート:Math となるとは限らない。この不便さを取り除くためテンプレート:Sfn、岡は同じような役割を演ずる函数であって和に関して不変であるようなものを探した。

ハルトークスの正則半径

テンプレート:Mvar を テンプレート:Math の擬凸状領域とするテンプレート:Sfn。テンプレート:Mvar と テンプレート:Mvar を テンプレート:Math の座標とし、複素数 テンプレート:Mvar に対して テンプレート:Math で定義される解析直線による テンプレート:Mvar の切り口を テンプレート:Math と表す。テンプレート:Math を、複素平面における テンプレート:Mvar と テンプレート:Math の境界との距離とする。この函数はハルトークスの正則半径に相当する。ハルトークスは

$-\log R_y(x)$

が テンプレート:Mvar に関して劣調和な函数であることを示した。

岡は、この函数がすべての解析直線上で劣調和函数になることを証明したテンプレート:Sfn。これは一つの発見であったテンプレート:Sfn。ここから多重劣調和函数の概念は誕生した。

性質

• 多重劣調和函数の集合は、半連続函数のベクトル空間において凸錐を形成する。すなわち、次が成立する。
  • $f$ が多重劣調和函数で $c>0$ が正の実数であるなら、函数 $c\cdot f$ も多重劣調和的テンプレート:Sfn。
  • $f_1$ と $f_2$ が多重劣調和函数であるなら、和 $f_1+f_2$ も多重劣調和的テンプレート:Sfn。

• 多重劣調和性は、局所的性質である。すなわち、函数が多重劣調和的であるとは、それが各点の近傍において多重列調和的であることと同値である。

• $f$ が多重劣調和的であり、$\varphi :ℝ\to ℝ$ が単調増加な凸函数であるなら、$\varphi \circ f$ は多重劣調和的である。

• $f_1$ と $f_2$ が多重劣調和函数であるなら、函数 $f(x):=\max (f_1(x),f_2(x))$ も多重劣調和的であるテンプレート:Sfn。

• $f_1,f_2,\dots$ を多重劣調和函数の単調減少列とするなら、$f(x):=\underset{n\to \mathrm{\infty }}{\lim }{f}_n(x)$ も単調減少な多重劣調和函数であるテンプレート:Sfn。

• すべての連続な多重劣調和函数は、滑らかな多重劣調和函数の単調減少列の極限として得ることが出来る。さらに、この列は一様収束列として選ぶことが出来る 。

• 通常の半連続性における不等式条件は、等式として成立する。すなわち、$f$ が多重列調和的であれば、次が成立する。

$\underset{x\to x_0}{\mathrm{lim\; sup}}f(x)=f(x_0)$

• 多重劣調和函数は、任意のケーラー計量に対して劣調和的である。

• したがって、多重劣調和函数は最大値原理を満たす。すなわち、$f$ が連結開領域 $D$ 上で多重劣調和的であり、ある点 $x_0\in D$ に対して

$\underset{x\in D}{\sup }f(x)=f(x_0)$

が成立するなら、$f$ は定数である。

応用

複素解析において、多重劣調和函数は擬凸領域や正則領域、シュタイン多様体を表現するために用いられる。

岡の定理

多重劣調和函数の理論の主要な幾何的応用は、1942年に岡潔によって（特別な場合に）証明された有名な定理に見られるテンプレート:Sfn。

連続函数 $f:M\to ℝ$ は、原像 $f^{-1}(]-\mathrm{\infty },c])$ がすべての $c\in ℝ$ に対してコンパクトであるとき、階位函数 (exhaustion function) と呼ばれる。多重劣調和函数 f が強多重劣調和的（strongly plurisubharmonic）であるとは、M 上のあるケーラー形式 $\omega$ に対して、$\sqrt{-1}(\partial \overline{\partial }f-\omega )$ が正形式であることを言う。

岡の定理： M は、滑らかな強多重劣調和階位函数を持つ複素多様体とする。このとき、M はシュタイン多様体である。逆に、任意のシュタイン多様体はそのような函数を持つ。

参考文献

教科書

• テンプレート:Cite book
• テンプレート:Cite book
• Robert C. Gunning. Introduction to Holomorphic Functions in Several Variables, Wadsworth & Brooks/Cole.

関連文献

• テンプレート:Cite journal

原論文

• テンプレート:Cite journal
• テンプレート:Cite journal

岡潔第VI論文

• テンプレート:Citation
  • テンプレート:Cite web
  • テンプレート:Cite web

岡潔第IX論文

• テンプレート:Citation
  • テンプレート:Cite web
  • テンプレート:Cite web

関連項目

• 乗数イデアル層
• テンプレート:仮リンク

外部リンク

• テンプレート:SpringerEOM