劣調和函数とは? わかりやすく解説

劣調和函数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/11/24 13:49 UTC 版)

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

直観的に言えば、劣調和函数は以下のような意味で一変数の凸函数と関係がある:

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

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

厳密な定義

定義を厳密に述べれば以下の通りである。Gユークリッド空間 Rn の部分集合とし、

上半連続函数とする。このとき φ劣調和であるとは、G に含まれる中心 x, 半径 r閉球体 B(x,r) を任意にとるとき、B(x,r) 上の実数連続函数 hB(x,r) 上で調和かつ B(x,r)境界 B(x,r) 上の任意の点 y において φ(y) ≤ h(y) を満たすならばかならず、B(x,r) 上の任意の点 y においても常に φ(y) ≤ h(y) となるときに言う。

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

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

性質

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

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

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

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

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

が正則函数であるとき、

は、 の零点での の値を −∞ とすることで劣調和函数となる。また

はすべての α > 0 に対して劣調和的である。この事実は、特に 0 < p < 1 に対するハーディ空間 Hp の研究において有用となる。

複素平面の文脈において、ある領域 上の劣調和函数 で虚軸方向に定数であるようなものは、実軸方向に凸である(またその逆も成り立つ)という事実により、 劣調和函数と凸函数の関係が分かる。

劣調和函数の調和優函数

u は複素平面内の領域 Ω 上で劣調和的、および hΩ 上で調和的とする。hΩ における u調和優函数(harmonic majorant)であるとは、Ω において uh となることを言う。この不等式を u に対する増大度条件として見ることができる[1]

単位円板内の劣調和函数と動径方向最大値函数

複素数平面における閉単位円板 D(0, 1) を含む開集合 Ω 上で定義された劣調和非負連続函数 φ を考える。φ(を単位円板に制限したもの)の動径方向最大値函数(radial maximal function)とは、

で定義される単位円周上の函数である。Prポアソン核とすると劣調和性により

が成り立つ。右辺の積分は、φ の単位円周 T への制限に対するハーディ=リトルウッド最大値函数英語版 φe における値

より小さいこと、故に 0 ≤ φ が証明できる。既知の事実として、ハーディ=リトルウッド作用素は 1 < p < ∞ のとき、Lp(T) において有界であるから、適当な普遍定数 C を用いて

と書くことができる。fΩ において正則で、0 < p < ∞ のとき、前述の不等式は φ = |f|p/2 に対して適用することが出来る。以上の事実より、古典的ハーディ空間 Hp 内の任意の函数 F は次を満たすと結論づけられる。

さらに考察することで、F は動径方向に沿った極限 F(e) を単位円上のほとんど至る所で持ち、(優収束定理より)Fr(e) = F(re) で定義される FrLp(T) において F に収束する。

リーマン多様体上の劣調和函数

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

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

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

関連項目

出典

  1. ^ Rosenblum, Marvin; Rovnyak, James (1994), p.35 (see References)
  2. ^ Greene, R. E.; Wu, H. (1974). “Integrals of subharmonic functions on manifolds of nonnegative curvature”. Inventiones Mathematicae 27 (4): 265–298. doi:10.1007/BF01425500 , MR0382723

参考文献

  • Conway, John B. (1978). Functions of one complex variable. New York: Springer-Verlag. ISBN 0-387-90328-3. 
  • Krantz, Steven G. (1992). Function Theory of Several Complex Variables. Providence, Rhode Island: AMS Chelsea Publishing. ISBN 0-8218-2724-3. 
  • Doob, Joseph Leo (1984). Classical Potential Theory and Its Probabilistic Counterpart. Berlin Heidelberg New York: Springer-Verlag. ISBN 3-540-41206-9. 
  • Rosenblum, Marvin; Rovnyak, James (1994). Topics in Hardy classes and univalent functions. Birkhauser Advanced Texts: Basel Textbooks. Basel: Birkhauser Verlag. 

この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Subharmonic and superharmonic functionsの本文を含む


劣調和函数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/18 02:16 UTC 版)

調和関数」の記事における「劣調和函数」の解説

詳細は「劣調和函数」を参照 ラプラス方程式代わりに、Δf ≥ 0 を満足する C2-級函数は劣調和であると言う。この条件のもとでも最大値原理保証されるが、調和函数が持つ他の性質満たされるとは限らないより一般に、劣調和函数となるための必要十分条件は、定義域内の任意の球体内部においてその函数のグラフがその球体境界値補間する調和函数グラフの下にあることである。

※この「劣調和函数」の解説は、「調和関数」の解説の一部です。
「劣調和函数」を含む「調和関数」の記事については、「調和関数」の概要を参照ください。

ウィキペディア小見出し辞書の「劣調和函数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「劣調和函数」の関連用語

劣調和函数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



劣調和函数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの劣調和函数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの調和関数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS