ポアソン核

数学のポテンシャル論におけるポアソン核（ポアソンかく、）とは、単位円板上のディリクレ境界条件を伴う二次元ラプラス方程式を解く際に用いられるある積分核のことを言う。ラプラス方程式に対するグリーン函数の微分として解釈することが出来る。シメオン・ドニ・ポアソンの名にちなむ。
ポアソン核は制御理論や、静電気学の二次元問題への応用において広く用いられている。実際、ポアソン核の定義は "n"-次元問題まで拡張されることもしばしばある。
二次元ポアソン核.
単位円板上のポアソン核.
複素平面において、単位円板に対するポアソン核は次で与えられる。
これには二つの解釈が存在する。一つは "r" と "θ" の函数という解釈、もう一つは "r" によって添え字付けられた "θ" の函数の族という解釈である。
formula_2 が C 内の開単位円板で、T はその円板の境界、"f" は "L"1(T) に属する T 上の函数とする。このとき、次の式
で与えられる函数 "u" は、D 内で調和的であり、円板の境界 T 上のほとんど至る所で "f" と一致する極限を持つ。
"u" の境界での値が "f" であるということは、"r" → 1 につれて函数 "P""r"("θ") が畳み込み多元環 "L"p(T) 内のを形成するという事実より示される。線型作用素と同様に、それらは "Lp"(T) 上でディラックのデルタ函数に各点収束する。最大値原理より、"u" はそのような "D" 上の調和函数として唯一つのものである。
この近似的単位元との畳み込みは、"L"1(T) 内の函数のフーリエ級数に対するの例を与える。"f" ∈ "L"1(T) はフーリエ級数 {"fk"} を持つとする。フーリエ変換ののち、"P""r"("θ") との畳み込みは列 {"r|k|"} ∈ "l"1(Z) との乗算になる。その結果得られる積 {"r|k|fk"} に逆フーリエ変換を施すことで、次のような "f" のアーベル平均formula_4が得られる：
この絶対収束級数を再び整理することで、"f" は "D" 上のある正則函数 "g" と反正則函数 "h" の和 "g" + "h" の境界値であることが示される。
調和函数が正則であるためには、解はハーディ空間の元であることとなる。これは "f" の負のフーリエ係数がすべて消失する場合に真となる。特に、ポアソン核は単位円板上のハーディ空間と単位円の同値性を論証する上で一般に用いられる。
"Hp"("z") 内の函数の T 上の極限であるような函数の空間は、"Hp"(T) と呼ばれることがある。これは（少なくとも "p"≥1 に対して）"Lp"(T) の閉部分空間である。"Lp"(T) は（1 ≤ "p" ≤ ∞ に対して）バナッハ空間であるため、"Hp"(T) もまたバナッハ空間である。
上半平面でのポアソン核.
単位円板は、メビウス変換の意味で上半平面への等角写像によって写される。調和函数の等角写像はまた調和的であるため、ポアソン核は上半平面全体へ拡張される。この場合、formula_6 に対するポアソン積分方程式は次の形を取る：
この核それ自身は次で与えられる。
実数直線上の可積分函数からなるLp空間内のある函数 formula_9 が与えられたとき、"u" は "f" の上半平面への調和拡張と解釈される。単位円板の場合と同様に、"u" が上半平面において正則であるなら、"u" はハーディ空間 formula_10 の元で、特に
が成立する。したがって、上半平面上のハーディ空間 "H"p はふたたびバナッハ空間となり、特にその実軸への制限は formula_12 の閉部分空間となる。この状況は単位円板の場合に類似しているが、同じというわけではない。単位円に対するルベーグ測度は有限であるが、実数直線に対するルベーグ測度は有限ではない。
球上のポアソン核.
Rn 内の半径 r の球 formula_13 に対するポアソン核は、次の形状を取る。
ここで formula_15 であり、formula_13 の表面 formula_17 に対して formula_18 であり、formula_19 は単位 n-1-球面の表面積である。
このとき、"u"("x") を "S" 上で定義されるある連続函数とすると、対応するポアソン積分は次のような函数 "P"["u"]("x") で定義される。
"P"["u"]("x") は球 formula_13 上で調和的であり、"P"["u"]("x") は半径 "r" の閉球上のある連続函数へと拡張され、境界の函数は元の函数 "u" に一致することが示される。
上半平面上のポアソン核.
上半平面でのポアソン核の表現を得ることも出来る。標準的な R"n"+1 のデカルト座標を
で表す。上半平面は、次の集合で定義される。
"H""n"+1 に対するポアソン核は、次で与えられる。
ただし
である。
上半平面に対するポアソン核は、"t" が補助パラメータの役割を果たすアーベル核
のフーリエ変換として現れる。すなわち
となる。特にフーリエ変換の性質より、畳み込み
は、少なくとも形式的には、上半平面におけるラプラス方程式の解となる。"t" → 0 に対して、弱い意味で "P"["u"]("t","x") → "u"("x") となることも示すことが出来る。