多重劣調和函数 – Wikipedia
数学において多重劣調和函数(たじゅうれつちょうわかんすう、英: plurisubharmonic function)は、複素解析において用いられるある重要な函数のクラスを形成する。しばしば psh、plsh あるいは plush 函数と略される。ケーラー多様体上で、多重劣調和函数は劣調和函数の部分集合を形成する。しかし、(リーマン多様体上で定義される)劣調和函数とは異なり、多重劣調和函数は複素解析空間上で完全な一般性をもって定義される。
正式な定義[編集]
定義域が
G⊂Cn{displaystyle Gsubset {mathbb {C} }^{n}}であるような函数
- f:G→R∪{−∞},{displaystyle fcolon Gto {mathbb {R} }cup {-infty },}
が多重劣調和的(plurisubharmonic)であるとは、それが上半連続であり、すべての複素直線
-
{a+bz∣z∈C}⊂Cn{displaystyle {a+bzmid zin {mathbb {C} }}subset {mathbb {C} }^{n}}
,
に対して函数
z↦f(a+bz){displaystyle zmapsto f(a+bz)}が次の集合上で劣調和的であることを言う:
- {z∈C∣a+bz∈G}.{displaystyle {zin {mathbb {C} }mid a+bzin G}.}
完全な一般性をもって、この概念は任意の複素多様体や複素解析空間
X{displaystyle X}でも次のように定義できる。ある上半連続函数
- f:X→R∪{−∞}{displaystyle fcolon Xto {mathbb {R} }cup {-infty }}
が多重劣調和的であるための必要十分条件は、任意の正則写像
φ:Δ→X{displaystyle varphi colon Delta to X}に対して函数
- f∘φ:Δ→R∪{−∞}{displaystyle fcirc varphi colon Delta to {mathbb {R} }cup {-infty }}
が劣調和的であることを言う。ここで
Δ⊂C{displaystyle Delta subset {mathbb {C} }}は単位円板を表す。
可微分多重劣調和函数[編集]
f{displaystyle f}
C2{displaystyle C^{2}} が(微分可能性の)クラス
f{displaystyle f} に属するとき、
が多重劣調和的であるための必要十分条件は、成分が
- λij=∂2f∂zi∂z¯j{displaystyle lambda _{ij}={frac {partial ^{2}f}{partial z_{i}partial {bar {z}}_{j}}}}
で与えられる、
f{displaystyle f}C2{displaystyle C^{2}} のレヴィ行列としてよく知られている半正定値なエルミート行列である。同値ではあるが、
−1∂∂¯f{displaystyle {sqrt {-1}}partial {bar {partial }}f} -函数 f が多重劣調和的であるための必要十分条件は、
が正 (1,1)-形式であることである。
ケーラー多様体との関係: n-次元複素ユークリッド空間
Cn{displaystyle mathbb {C} ^{n}}f(z)=|z|2{displaystyle f(z)=|z|^{2}} 上で
−1∂∂¯f{displaystyle {sqrt {-1}}partial {overline {partial }}f} は多重劣調和函数である。実際、
Cn{displaystyle mathbb {C} ^{n}} は、定数倍を除き
g{displaystyle g} の上の標準ケーラー形式に等しい。さらに一般的には、
ω{displaystyle omega } が、あるケーラー形式
に対し、
-
- −1∂∂¯g=ω{displaystyle {sqrt {-1}}partial {overline {partial }}g=omega }
を満たすと、
g{displaystyle g}は多重劣調和函数であり、これはケーラーポテンシャルと呼ばれる。
ディラックのデルタとの関係: 1-次元複素ユークリッド空間
C1{displaystyle mathbb {C} ^{1}}u(z)=log(z){displaystyle u(z)=log(z)} 上で、
f{displaystyle f} は多重劣調和函数である。
がコンパクトな台を持つ C∞-級函数とすると、コーシーの積分公式 からは、
-
- f(0)=−−12π∫C∂f∂z¯dzdz¯z{displaystyle f(0)=-{frac {sqrt {-1}}{2pi }}int _{C}{frac {partial f}{partial {bar {z}}}}{frac {dzd{bar {z}}}{z}}}
であることが分かり、これを次の形に変形することができる。
-
- −1π∂∂¯log|z|=ddclog|z|{displaystyle {frac {sqrt {-1}}{pi }}partial {overline {partial }}log |z|=dd^{c}log |z|} .
これは、ほかならぬ、原点 0 でのディラック測度である。
多重劣調和函数は、1942年に岡潔[1] とピエール・ルロン[2] によって定義された。
- 多重劣調和函数の集合は、半連続函数のベクトル空間において凸錐を形成する。すなわち、次が成立する。
- 多重劣調和性は、局所的性質である。すなわち、函数が多重劣調和的であるとは、それが各点の近傍において多重列調和的であることと同値である。
f{displaystyle f} が多重劣調和的であり、 ϕ:R→R{displaystyle phi :mathbb {R} to mathbb {R} } が単調増加な凸函数であるなら、 ϕ∘f{displaystyle phi circ f} は多重劣調和的である。
f1{displaystyle f_{1}} と f2{displaystyle f_{2}} が多重劣調和函数であるなら、函数 f(x):=max(f1(x),f2(x)){displaystyle f(x):=max(f_{1}(x),f_{2}(x))} も多重劣調和的である。
f1,f2,…{displaystyle f_{1},f_{2},dots } を多重劣調和函数の単調減少列とするなら、 f(x):=limn→∞fn(x){displaystyle f(x):=lim _{nto infty }f_{n}(x)} も単調減少な多重劣調和函数である。
- すべての連続な多重劣調和函数は、滑らかな多重劣調和函数の単調減少列の極限として得ることが出来る。さらに、この列は一様収束列として選ぶことが出来る [3]。
- 通常の半連続性における不等式条件は、等式として成立する。すなわち、
f{displaystyle f} が多重列調和的であれば、次が成立する。
- lim supx→x0f(x)=f(x0){displaystyle limsup _{xto x_{0}}f(x)=f(x_{0})}
- したがって、多重劣調和函数は最大値原理を満たす。すなわち、
f{displaystyle f} が連結開領域 D{displaystyle D} 上で多重劣調和的であり、ある点 x0∈D{displaystyle x_{0}in D} に対して
- supx∈Df(x)=f(x0){displaystyle sup _{xin D}f(x)=f(x_{0})}
が成立するなら、
f{displaystyle f}は定数である。
複素解析において、多重劣調和函数は擬凸領域や正則領域、シュタイン多様体を表現するために用いられる。
岡の定理[編集]
多重劣調和函数の理論の主要な幾何的応用は、1942年に岡潔によって証明された有名な定理に見られる[1]。
連続函数
f:M→R{displaystyle fcolon Mto {mathbb {R} }}f−1(]−∞,c]){displaystyle f^{-1}(]-infty ,c])} は、原像
c∈R{displaystyle cin {mathbb {R} }} がすべての
ω{displaystyle omega } に対してコンパクトであるとき、階位函数 (exhaustion function) と呼ばれる。多重劣調和函数 f が強多重劣調和的(strongly plurisubharmonic)であるとは、M 上のあるケーラー形式
−1(∂∂¯f−ω){displaystyle {sqrt {-1}}(partial {bar {partial }}f-omega )} に対して、
が正形式であることを言う。
岡の定理: M は、滑らかな強多重劣調和階位函数を持つ複素多様体とする。このとき、M はシュタイン多様体である。逆に、任意のシュタイン多様体はそのような函数を持つ。
参考文献[編集]
- Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
- Robert C. Gunning. Introduction to Holomorphic Functions in Several Variables, Wadsworth & Brooks/Cole.
外部リンク[編集]
- ^ a b K. Oka, Domaines pseudoconvexes, Tohoku Math. J. 49 (1942), 15–52.
- ^ P. Lelong, Definition des fonctions plurisousharmoniques, C. R. Acd. Sci. Paris 215 (1942), 398–400.
- ^ R. E. Greene and H. Wu,
C∞{displaystyle C^{infty }} -approximations of convex, subharmonic, and plurisubharmonic functions, Ann. Scient. Ec. Norm. Sup. 12 (1979), 47–84.
Recent Comments