劣調和函数

数学において**劣調和函数**（れつちょうわかんすう、）および**優調和函数**（ゆうちょうわかんすう、）は、偏微分方程式、複素解析およびポテンシャル論において幅広く用いられている重要な函数のクラスである。

直観的に言えば、劣調和函数は以下のような意味で一変数の凸函数と関係がある:
: 「凸函数のグラフと直線が二点で交わるとき、その二点間では凸函数のグラフは直線の下にある」ことと同様に「球体の境界上での劣調和函数の値が常に適当な調和函数の値よりも大きくないならば、球体の内側においても劣調和函数の値はその調和函数の値よりも大きくならない。」

優調和函数は、同じ記述において「大きくない」という箇所を「小さくない」に替えたものによって定義することができる。あるいは同じことになるが、優調和函数とは劣調和函数の負函数にちょうどなっているものである。また、このことから劣調和函数のどのような性質も、優調和函数の対応する性質に読み替えるのは容易である。

## 厳密な定義
定義を厳密に述べれば以下の通りである。 をユークリッド空間  の部分集合とし、
: \varphi \colon G \to {\mathbb{R}} \cup \{ - \infty \}
を上半連続函数とする。このとき  が**劣調和**であるとは、 に含まれる中心 , 半径  の閉球体  を任意にとるとき、 上の実数値連続函数  が 上で調和かつ  の境界  上の任意の点  において  を満たすならばかならず、 上の任意の点  においても常に  となるときに言う。

この定義によると、恒等的に  である函数も劣調和的ということになる。研究者によってはこの場合は定義から除くこともある。

函数 u が優調和的であるとは、-u が劣調和的であることを言う。

## 性質
* 函数が調和的であるための必要十分条件は、それが劣調和的かつ優調和的であることである。
*  が  内のある開集合上で -級（二回連続的微分可能）であるとき、 が劣調和的であるための必要十分条件は、 が  上で成り立つことである。ここで  はラプラシアンである。
* 定数でない劣調和函数の最大値は、その定義域の内部では到達されない。これがいわゆる最大値原理である。しかし劣調和函数の最小値には、その定義域の内部で到達することがある。
* 劣調和函数の全体は凸錐を成す。すなわち、劣調和函数の正係数線型結合はまた、劣調和的である。
* 二つの劣調和函数の各点毎の最大値は、劣調和的である。
* 劣調和函数の減少列の極限は劣調和的（あるいは恒等的に -\infty）である。

## 複素平面における劣調和函数

劣調和函数は複素解析において特に重要な役割を担う。その分野では、劣調和函数は正則函数と密接に関連している。

ある集合 G\subset \mathbb{C} で定義される複素変数（すなわち実 2 変数）の実数値連続函数 \varphi が劣調和的であるための必要十分条件は、z を中心とする半径 r の任意の閉円板 D(z,r) \subset G に対して次が成立することである。

: \varphi(z) \leq \frac{1}{2\pi} \int_0^{2\pi} \varphi(z+ r \mathrm{e}^{i\theta}) \, d\theta. 

直観的に言うと、劣調和函数の任意の点での値は、その点を中心とするある円板内の値の平均よりも大きくならないということをこの不等式は意味している。この事実は最大値原理を導く上で利用することが出来る。

f が正則函数であるとき、

:\varphi(z) = \log \left| f(z) \right| 

は、f の零点での  \varphi(z) の値を &minus;∞ とすることで劣調和函数となる。また

:\psi_\alpha(z) = \left| f(z) \right|^\alpha 

はすべての *α*&nbsp;> 0 に対して劣調和的である。この事実は、特に 0&nbsp;p* の研究において有用となる。

複素平面の文脈において、ある領域 <math>G\subset\mathbb{C}</math> 上の劣調和函数 <math>f</math> で虚軸方向に定数であるようなものは、実軸方向に凸である（またその逆も成り立つ）という事実により、 劣調和函数と[[凸函数]]の関係が分かる。

=== 劣調和函数の調和優函数 ===
 は複素平面内の[[領域 (解析学)|領域]]  上で劣調和的、および  は  上で[[調和函数|調和的]]とする。 が  における  の*'調和優函数**（harmonic majorant）であるとは、 において  となることを言う。この不等式を  に対する増大度条件として見ることができる。

=== 単位円板内の劣調和函数と動径方向最大値函数 ===
複素数平面における閉単位円板  を含む開集合  上で定義された劣調和非負連続函数  を考える。（を単位円板に制限したもの）の動径方向最大値函数（radial maximal function）とは、
: <math>(M\varphi)(e^{i\theta}) = \sup_{0 \le r < 1}\,\varphi(re^{i\theta})</math>
で定義される単位円周上の函数である。 を[[ポアソン核]]とすると劣調和性により
: <math> 0 \le \varphi(re^{i\theta}) \le \frac{1}{2\pi} \int_0^{2\pi} P_r(\theta- t) \varphi(e^{it})dt, \quad(r < 1)</math>
が成り立つ。右辺の積分は、 の単位円周  への制限に対する  の  における値
: <math>\varphi^*(e^{i\theta}) = \sup_{0 < \alpha \le \pi} \frac{1}{2 \alpha} \int_{\theta - \alpha}^{\theta + \alpha} \varphi(e^{it})dt</math>
より小さいこと、故に  が証明できる。既知の事実として、ハーディ＝リトルウッド作用素は  のとき、[[Lp空間|''L''<sup>''p''</sup>(**T**)]] において有界であるから、適当な普遍定数 ''C'' を用いて
: <math>\|M \varphi\|_{L^2(\mathbb{T})}^2 \le C^2 \int_0^{2\pi} \varphi(e^{i\theta})^2 d\theta</math>
と書くことができる。 が  において正則で、 のとき、前述の不等式は  に対して適用することが出来る。以上の事実より、古典的ハーディ空間  内の任意の函数  は次を満たすと結論づけられる。
: <math> \int_0^{2\pi} \left( \sup_{0 \le r < 1} |F(re^{i\theta})| \right)^p d\theta\, \le \,C^2 \sup_{0 \le r < 1} \int_0^{2\pi} |F(re^{i\theta})|^p d\theta.</math>

さらに考察することで、 は動径方向に沿った極限  を単位円上のほとんど至る所で持ち、（[[優収束定理]]より） で定義される  は  において  に収束する。

== リーマン多様体上の劣調和函数 ==
任意の[[リーマン多様体]]上で、劣調和函数は定義することが出来る。

;定義 :  をリーマン多様体とし、 を[[半連続|上半連続函数]]とする。任意の開部分集合  および  上の[[調和函数]]  が境界上で  を満たすならば、かならず  全体においても不等式  が成立するとき、 は**劣調和的'''であると言う。

この定義は前述の定義と同値である。したがって再び、二回連続的微分可能函数に対して、劣調和性は不等式  の成立と同値である。ただし  は通常のラプラシアンである。

## 関連項目
* 多重劣調和函数 &mdash; 複素多変数への一般化
* 

## 出典

## 参考文献
* 
* 
*
*