多重劣調和函数

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

## 正式な定義

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

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

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

:\{ a + b z \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 + b z \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^2f}{\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次元の複素数空間

上の実数値関数とし、
で定義される領域

が有界領域であったとする。
は

が擬凸状であるためには

を

: 
\scriptstyle
\begin{align}
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{align}


で定義したとき

の境界で

となることが必要であることを示した。

この

は、
かつ

であったとしても

となるとは限らない。この不便さを取り除くため、岡は同じような役割を演ずる函数であって和に関して不変であるようなものを探した。

### ハルトークスの正則半径

を

の擬凸状領域とする。
と

を

の座標とし、複素数

に対して

で定義される解析直線による

の切り口を

と表す。
を、複素平面における

と

の境界との距離とする。この函数はハルトークスの正則半径に相当する。ハルトークスは

: 
-\log R_y(x)


が

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

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

## 性質

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

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

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

*f_1 と f_2 が多重劣調和函数であるなら、函数 f(x):=\max(f_1(x),f_2(x)) も多重劣調和的である。

* f_1,f_2,\dots を多重劣調和函数の単調減少列とするなら、f(x):=\lim_{n\to\infty}f_n(x) も単調減少な多重劣調和函数である。

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

* 通常の半連続性における不等式条件は、等式として成立する。すなわち、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年に岡潔によって（特別な場合に）証明された有名な定理に見られる。

連続函数 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* はシュタイン多様体である。逆に、任意のシュタイン多様体はそのような函数を持つ。

## 脚注

### 注釈

### 出典

## 参考文献

### 教科書

* 
* 
* Robert C. Gunning. Introduction to Holomorphic Functions in Several Variables, Wadsworth & Brooks/Cole.

### 関連文献

* 

### 原論文

* 
* 

**岡潔第VI論文**
* 
** 
** 

**岡潔第IX論文**
* 
** 
** 

## 関連項目

* 乗数イデアル層
* 

## 外部リンク
*