劣調和函数

数学において劣調和函数（れつちょうわかんすう、）および優調和函数（ゆうちょうわかんすう、）は、偏微分方程式、複素解析およびポテンシャル論において幅広く用いられている重要な函数のクラスである。
直観的に言えば、劣調和函数は以下のような意味で一変数の凸函数と関係がある:
優調和函数は、同じ記述において「大きくない」という箇所を「小さくない」に替えたものによって定義することができる。あるいは同じことになるが、優調和函数とは劣調和函数の負函数にちょうどなっているものである。また、このことから劣調和函数のどのような性質も、優調和函数の対応する性質に読み替えるのは容易である。
厳密な定義.
定義を厳密に述べれば以下の通りである。 をユークリッド空間 の部分集合とし、
を上半連続函数とする。このとき が劣調和であるとは、 に含まれる中心 , 半径 の閉球体 を任意にとるとき、 上の実数値連続函数 が 上で調和かつ の境界 上の任意の点 において を満たすならばかならず、 上の任意の点 においても常に となるときに言う。
この定義によると、恒等的に である函数も劣調和的ということになる。研究者によってはこの場合は定義から除くこともある。
函数 formula_2 が優調和的であるとは、formula_3 が劣調和的であることを言う。
複素平面における劣調和函数.
劣調和函数は複素解析において特に重要な役割を担う。その分野では、劣調和函数は正則函数と密接に関連している。
ある集合 formula_5 で定義される複素変数（すなわち実 2 変数）の実数値連続函数 formula_6 が劣調和的であるための必要十分条件は、formula_7 を中心とする半径 formula_8 の任意の閉円板 formula_9 に対して次が成立することである。
直観的に言うと、劣調和函数の任意の点での値は、その点を中心とするある円板内の値の平均よりも大きくならないということをこの不等式は意味している。この事実は最大値原理を導く上で利用することが出来る。
formula_11 が正則函数であるとき、
は、formula_11 の零点での formula_14 の値を −∞ とすることで劣調和函数となる。また
はすべての "α" > 0 に対して劣調和的である。この事実は、特に 0 < "p" < 1 に対するハーディ空間 "Hp" の研究において有用となる。
複素平面の文脈において、ある領域 formula_16 上の劣調和函数 formula_11 で虚軸方向に定数であるようなものは、実軸方向に凸である（またその逆も成り立つ）という事実により、 劣調和函数と凸函数の関係が分かる。
劣調和函数の調和優函数.
 は複素平面内の領域 上で劣調和的、および は 上で調和的とする。 が における の調和優函数（harmonic majorant）であるとは、 において となることを言う。この不等式を に対する増大度条件として見ることができる。
単位円板内の劣調和函数と動径方向最大値函数.
複素数平面における閉単位円板 を含む開集合 上で定義された劣調和非負連続函数 を考える。（を単位円板に制限したもの）の動径方向最大値函数（radial maximal function）とは、
で定義される単位円周上の函数である。 をポアソン核とすると劣調和性により
が成り立つ。右辺の積分は、 の単位円周 への制限に対する の における値
より小さいこと、故に が証明できる。既知の事実として、ハーディ＝リトルウッド作用素は のとき、"L""p"(T) において有界であるから、適当な普遍定数 "C" を用いて
と書くことができる。 が において正則で、 のとき、前述の不等式は に対して適用することが出来る。以上の事実より、古典的ハーディ空間 内の任意の函数 は次を満たすと結論づけられる。
さらに考察することで、 は動径方向に沿った極限 を単位円上のほとんど至る所で持ち、（優収束定理より） で定義される は において に収束する。
リーマン多様体上の劣調和函数.
任意のリーマン多様体上で、劣調和函数は定義することが出来る。
この定義は前述の定義と同値である。したがって再び、二回連続的微分可能函数に対して、劣調和性は不等式 の成立と同値である。ただし は通常のラプラシアンである。