調和関数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

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

[編集] 定義

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

$\Delta = \frac{\partial^2}{\partial x_1^2} + \frac{\partial^2}{\partial x_2^2} + \cdots + \frac{\partial^2}{\partial x_n^2}$

に対し、Δ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 変数の調和関数となる。

[編集] 一般化

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

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

鎖複体 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 におけるラプラス作用素とは

$\Delta = \partial\circ d + d \circ\partial$

で定義される次数つきベクトル空間としての 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)} と次数つきベクトル空間として同型である。