調和関数

調和関数の最新ニュースをまとめて検索！

数学において、調和関数（ちょうわかんすう、harmonic function）とはラプラス方程式の解となる関数のことをいう。

調和関数に関する重要な問題はディリクレ問題である。ディリクレ問題の解決方法にはいくつかあるが、その中でも重要な一般的方法はディリクレの原理である。

20世紀には、ホッジ、ド・ラーム、小平邦彦は調和積分論を発展させた。

[編集] 定義

関数 f: Cⁿ(resp. Rⁿ) → C(resp. R) がラプラス作用素

に対し、Δf = 0 を満たすとき、関数 f は調和的 (harmonic) である、あるいは f は調和関数であるという。

[編集] 例

• z = x + iy (x, y ∈ R) を複素変数とする複素関数 w = f(z) に対し、w = u + iv (u, v ∈ R) とおくと、実 2 変数の実数値関数 u = u(x, y), v = v(x, y) が得られる。このとき、w が複素微分可能であれば u, v は 2 変数の調和関数となる。

二つの調和関数がコーシー・リーマンの関係式を充たすとき、共役である。共役な調和関数の対から、正則関数z = x + iyが与えられる。

[編集] 一般化

微分形式に対するホッジ-ラプラシアンなどの "ラプラス作用素の類似物" が与えられれば、それに関して同様の調和関数（調和形式、調和写像）が定義できる。

[編集] 複体上の調和関数

鎖複体 X = {X_n} に対し、複素数 C 係数の双対鎖複体 A = Hom(X, C) = {Aⁿ = Hom(X_n, C)} を考える。ただし、Hom(X_n, C) は X_n から C への写像全体の作る関数空間で、値での演算から C 上のベクトル空間になっている。このとき、以下の条件を満たすことを仮定する。

各 Aⁿ は正定値内積 (·, ·) を持ち、A における双対境界作用素 ∂ = {∂ⁿ} は内積 (·, ·) に関して共役な（次数つきベクトル空間としての）-1 次の準同型 d = {dⁿ} をもつ。

このとき、双対鎖複体 A におけるラプラス作用素とは

で定義される次数つきベクトル空間としての 0 次の準同型 Δ のことと定義する。

f ∈ Aⁿ が Δf = 0 をみたすとき、f は調和的であるとか n 次の調和関数であるなどという。

ラプラス作用素 Δ に関する、A 上 n 次の C 係数調和関数全体の成すベクトル空間を Harmⁿ(X; C) と表すことにする。このとき、調和関数全体の成す次数つきベクトル空間 Harm(X; C) = {Harmⁿ(X; C)}は、C 係数コホモロジー群 H(X; C) = {Hⁿ(X; C)} と次数つきベクトル空間として同型である。

[編集] 関連項目

• ラプラス方程式
• ホッジ分解