多重劣調和函数

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

正式な定義[編集]

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

f\colon G\to {\mathbb {R} }\cup \{-\infty \},

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

\{a+bz\mid z\in {\mathbb {C} }\}\subset {\mathbb {C} }^{n}

,

a,b\in {\mathbb {C} }^{n}

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

\{z\in {\mathbb {C} }\mid a+bz\in G\}.

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

f\colon X\to {\mathbb {R} }\cup \{-\infty \}

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

f\circ \varphi \colon \Delta \to {\mathbb {R} }\cup \{-\infty \}

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

可微分多重劣調和函数[編集]

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

\lambda _{ij}={\frac {\partial ^{2}f}{\partial z_{i}\partial {\bar {z}}_{j}}}

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

例[編集]

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

{\sqrt {-1}}\partial {\overline {\partial }}g=\omega

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

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

f(0)=-{\frac {\sqrt {-1}}{2\pi }}\int _{C}{\frac {\partial f}{\partial {\bar {z}}}}{\frac {dzd{\bar {z}}}{z}}

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

{\frac {\sqrt {-1}}{\pi }}\partial {\overline {\partial }}\log |z|=dd^{c}\log |z|

.

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

その他の例

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

歴史[編集]

多重劣調和函数は、1942年に岡潔^[2]^{[注 1]}とピエール・ルロン（英語版）^[3]によって定義された。

背景[編集]

レヴィの条件[編集]

$φ$ を 2次元の複素数空間 $C 2$ 上の実数値関数とし、 $φ < 0$ で定義される領域 $Δ$ が有界領域であったとする^[4]。エウジェーニオ・エリア・レヴィ（英語版）は $Δ$ が擬凸状であるためには $L (φ)$ を

\scriptstyle {\begin{aligned}L(\varphi )&=\left({\frac {\partial ^{2}\varphi }{\partial x_{1}^{2}}}+{\frac {\partial ^{2}\varphi }{\partial x_{2}^{2}}}\right)\left[\left({\frac {\partial \varphi }{\partial y_{1}}}\right)^{2}+\left({\frac {\partial \varphi }{\partial y_{2}}}\right)^{2}\right]+\left({\frac {\partial ^{2}\varphi }{\partial y_{1}^{2}}}+{\frac {\partial ^{2}\varphi }{\partial y_{2}^{2}}}\right)\left[\left({\frac {\partial \varphi }{\partial x_{1}}}\right)^{2}+\left({\frac {\partial \varphi }{\partial x_{2}}}\right)^{2}\right]\\\\&-2\left({\frac {\partial ^{2}\varphi }{\partial x_{1}\partial y_{1}}}+{\frac {\partial ^{2}\varphi }{\partial x_{2}\partial y_{2}}}\right)\left({\frac {\partial \varphi }{\partial x_{1}}}{\frac {\partial \varphi }{\partial y_{1}}}+{\frac {\partial \varphi }{\partial x_{2}}}{\frac {\partial \varphi }{\partial y_{2}}}\right)-2\left({\frac {\partial ^{2}\varphi }{\partial x_{1}\partial y_{2}}}-{\frac {\partial ^{2}\varphi }{\partial x_{2}\partial y_{1}}}\right)\left({\frac {\partial \varphi }{\partial x_{1}}}{\frac {\partial \varphi }{\partial y_{2}}}-{\frac {\partial \varphi }{\partial x_{2}}}{\frac {\partial \varphi }{\partial y_{1}}}\right)\end{aligned}}

で定義したとき $Δ$ の境界で $L (φ) ≧ 0$ となることが必要であることを示した。

この $L$ は、 $L (φ 1) > 0$ かつ $L (φ 2) > 0$ であったとしても $L (φ 1 + φ 2) > 0$ となるとは限らない。この不便さを取り除くため^[5]、岡は同じような役割を演ずる函数であって和に関して不変であるようなものを探した。

ハルトークスの正則半径[編集]

$D$ を $C 2$ の擬凸状領域とする^[6]。 $x$ と $y$ を $C 2$ の座標とし、複素数 $ξ$ に対して $x = ξ$ で定義される解析直線による $D$ の切り口を $D (ξ)$ と表す。 $R y (x)$ を、複素平面における $y$ と $D (x)$ の境界との距離とする。この函数はハルトークスの正則半径に相当する。ハルトークスは

-\log R_{y}(x)

が $x$ に関して劣調和な函数であることを示した。

岡は、この函数がすべての解析直線上で劣調和函数になることを証明した^[7]。これは一つの発見であった^[8]。ここから多重劣調和函数の概念は誕生した。

性質[編集]

多重劣調和函数の集合は、半連続函数のベクトル空間において凸錐を形成する。すなわち、次が成立する。
- $f$ が多重劣調和函数で $c>0$ が正の実数であるなら、函数 $c\cdot f$ も多重劣調和的^[9]。
- $f_{1}$ と $f_{2}$ が多重劣調和函数であるなら、和 $f_{1}+f_{2}$ も多重劣調和的^[9]。

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

$f$ が多重劣調和的であり、 $\phi :\mathbb {R} \to \mathbb {R}$ が単調増加な凸函数であるなら、 $\phi \circ f$ は多重劣調和的である。

$f_{1}$ と $f_{2}$ が多重劣調和函数であるなら、函数 $f(x):=\max(f_{1}(x),f_{2}(x))$ も多重劣調和的である^[9]。

$f_{1},f_{2},\dots$ を多重劣調和函数の単調減少列とするなら、 $f(x):=\lim _{n\to \infty }f_{n}(x)$ も単調減少な多重劣調和函数である^[9]。

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

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

\limsup _{x\to x_{0}}f(x)=f(x_{0})

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

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

\sup _{x\in D}f(x)=f(x_{0})

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

応用[編集]

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

岡の定理[編集]

多重劣調和函数の理論の主要な幾何的応用は、1942年に岡潔によって（特別な場合に）証明された有名な定理に見られる^[11]。

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

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

脚注[編集]

[脚注の使い方]

注釈[編集]

^ この論文の中で擬凸函数（pseudoconvex function）と呼ばれているものが、凸解析における擬凸函数（英語版）ではなく、ここでいう多重劣調和函数である。Bremermann (1956, p. 19) の脚注参照。

出典[編集]

^ Krantz 2001, p. 97.
^ 第VI論文.
^ Lelong 1942.
^ 第VI論文, p. 20.
^ 第IX論文, p. 23.
^ 第VI論文, pp. 20f.
^ 第VI論文, pp. 21f.
^ 第VI論文, p. 40.
^ ^a ^b ^c ^d 一松 1960, p. 59.
^ R. E. Greene and H. Wu, $C^{\infty }$ -approximations of convex, subharmonic, and plurisubharmonic functions, Ann. Scient. Ec. Norm. Sup. 12 (1979), 47–84.
^ Oka 1942.

参考文献[編集]

教科書[編集]

一松信『多変数解析函数論』培風館、1960年。NDLJP:2421964。
Krantz, Steven George (2001). Function Theory of Several Complex Variables (2 ed.). American Mathematical Soc. ISBN 978-0-8218-2724-6
Robert C. Gunning. Introduction to Holomorphic Functions in Several Variables, Wadsworth & Brooks/Cole.

原論文[編集]

Lelong, P. (1942). “Definition des fonctions plurisousharmoniques”. C. R. Acad. Sci. Paris 215: 398–400.
Lelong, Pierre (1945). “Les fonctions plurisousharmoniques”. Annales scientifiques de l'École Normale Supérieure 62: 301–338. ISSN 0012-9593. https://eudml.org/doc/81595.

岡潔第VI論文

Oka, Kiyoshi (1942), “Sur les fonctions analytiques de plusieurs variables. VI. Domaines pseudoconvexes”, Tohoku Mathematical Journal, First Series 49: 15–52, ISSN 0040-8735, Zbl 0060.24006
- “多変数解析函数について VI. 擬凸状領域（日本語訳）”. 岡潔文庫. 2023年9月29日閲覧。
- “多変数解析函数について VI. 擬凸状領域（解題）”. 岡潔文庫. 2023年9月29日閲覧。

岡潔第IX論文

Oka, Kiyoshi (1953), “Sur les fonctions analytiques de plusieurs variables. IX. Domaines finis sans point critique intérieur”, Japanese Journal of Mathematics 23: 97–155
- “多変数解析函数について IX. 有限不分岐領域（日本語訳）”. 岡潔文庫. 2023年9月29日閲覧。
- “多変数解析函数について IX. 有限不分岐領域（解題）”. 岡潔文庫. 2023年9月29日閲覧。

外部リンク[編集]

Hazewinkel, Michiel, ed. (2001), “Plurisubharmonic function”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[3] この論文の中で擬凸函数（pseudoconvex function）と呼ばれているものが、凸解析における擬凸函数（英語版）ではなく、ここでいう多重劣調和函数である。Bremermann (1956, p. 19) の脚注参照。

[FOOTNOTEKrantz200197-1] Krantz 2001, p. 97.

[FOOTNOTE第VI論文-2] 第VI論文.

[FOOTNOTELelong1942-4] Lelong 1942.

[FOOTNOTE第VI論文20-5] 第VI論文, p. 20.

[FOOTNOTE第IX論文23-6] 第IX論文, p. 23.

[FOOTNOTE第VI論文20f-7] 第VI論文, pp. 20f.

[FOOTNOTE第VI論文21f-8] 第VI論文, pp. 21f.

[FOOTNOTE第VI論文40-9] 第VI論文, p. 40.

[FOOTNOTE一松196059-10] 一松 1960, p. 59.

[11] R. E. Greene and H. Wu, $C^{\infty }$ -approximations of convex, subharmonic, and plurisubharmonic functions, Ann. Scient. Ec. Norm. Sup. 12 (1979), 47–84.

[FOOTNOTEOka1942-12] Oka 1942.

[1]

[2]

[注 1]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]