前提知識
微分幾何学における一般化されたストークスの定理(の特別なバージョンである一般次元におけるガウスの発散定理).
厳密に言うと測度論やLebesgue-Stieltjes積分論を知っていると良い.
(細かいところに目を瞑る勇気があるならば, 大学教養レベルの微分積分でok.)
調和関数とは
定義
関数f:Rn→Rが調和関数であるとは, Δ=∇2=∑k=1n∂xk2∂2とするとき,
Δf=0という微分方程式の解となる関数のことである.
Rn上で定義された調和関数はC∞級関数のみである!
主張
表題のとおりだが, 実は,
「Rn上で定義された調和関数はC∞級関数のみ」
なのである.
これを初めて聞いてもピンと来ないかもしれないので, 少し注意しておくと, 調和関数の定義をする限りにおいては関数はC2級までの仮定しかいらないのであるが, その調和関数が実は無限階微分できてしまうというのである. これは驚くべきことである.
以下ではその証明を行っていこう.
主張の証明
この主張を証明するにあたって以下のように2段階のStepを踏んでいく.
- 調和関数は平均値特性をもつことを示す.
- 平均値特性を持つRn上で定義された関数はC∞級のみであることを示す.
以上の1と2を合わせることにより結果が得られる.
なお, ここで関数f:Rn→Rが平均値特性を持つとは, 任意のa∈Rnに対して,
f(a)=Sr1∫∂B(a,r)f(x)rn−1dΩが成立するということである. ただし, ここで, B(a,r)={x∈Rn∣∥x−a∥≤r}, Srは半径rのn次元球の表面積である. またdΩは単位球面上の自然な測度である.(なんと説明したらいいかわからないから自然なといったが, いわゆる単位球面の微小部分の面積と呼ばれるものである.)
また, 実は1の主張は同値である. すなわち, 逆も言えのであるが, これは読者への演習問題ということにしておく. (下記の参考文献や調和関数について何かしら載っていそうな適当な本を読めば証明は載っているかと思う.)
1. 調和関数は平均値特性をもつこと
ここでは, 一般次元のガウスの発散定理をつかう. (ちなみに, 参考文献にあるように, 確率積分論を仮定してブラウン運動の回転不変性と伊藤の公式を使っても証明できる.) この定理を用いると, 調和関数fに対して,
0=∫B(a,r)Δfdx=∫∂B(0,1)∂r∂f(a+ry)rn−1dΩ(y)であるので,
∂r∂∫∂B(0,1)f(a+ry)dΩ(y)=0.したがって,
∫∂B(a,r)fdΩ=const.であるが,上式でr→0とするとS1f(a)に収束することから,
Sr1∫∂B(a,r)frn−1dΩ=f(a)が成立する.
2. 平均値特性を持つRn上で定義された関数はC∞級のみであること
最初に,
gϵ(x)={c(ϵ)exp[∣∣x∣∣2−ϵ21]=0(∣∣x∣∣<ϵ),(∣∣x∣∣≥ϵ),とおく.ただし, c(ϵ)は規格化定数で, gϵ(x)をRn全域で積分すると1になるようにするためのϵに依存する定数である.
ここで, a∈Rn, 調和関数fに対して,
fϵ(a)=∫Rnf(a+x)gϵ(x)dxとおくと, fϵ(x)はC∞級である. (つまり, gϵ(x)は軟化子と同じような働きをしている.)
このとき,
fϵ(a)=∫Bϵf(a+x)gϵ(x)dx=c(ϵ)∫0ϵρn−1∫∂B(0,ρ)f(a+x)exp(ρ2−ϵ21)dΩdρ=c(ϵ)∫0ϵρn−1f(a)exp(ρ2−ϵ21)dρ=f(a)となるので, fϵ(a)=f(a)がわかる. fϵ(x)はC∞級であったので, f(a)もC∞級である.
参考文献
カラザス, I, シュレーブ, S.E.(2005)『ブラウン運動と確率積分』(渡邉 寿夫訳), シュプリンガー・フェアラーク東京.
新しいコメントを投稿する
こういうのでlatexのpackageつかうのどうやるんだ...うまくいかない.もうちょっとmarkdown形式に慣れたら清書します.←助言を得てきれいに出力できました. ありがとうございます.