リース変換

数学の調和解析の分野におけるリース変換（リースへんかん、テンプレート:Lang-en-short）とは、次元 d > 1 のユークリッド空間へのヒルベルト変換の一般化の族である。ある函数と、原点に特異性を持つ別の函数の畳み込みであることから、ある種のテンプレート:仮リンクと見なすことが出来る。より正確に言うと、R^d 上の複素数値函数 ƒ のリース変換は、j = 1,2,...,d に対して次式で定義される。

ここで定数 c_d は次元の正規化

$c_d=\frac{1}{\pi {\omega }_{d-1}}=\frac{\mathrm{\Gamma }[(d+1)/2]}{{\pi }^{(d+1)/2}}$

であり、ω_d−1 は (d − 1)-次元球の体積を表す。上式の極限は様々な方法で書き表すことが出来、しばしば主値や、緩増加超函数（tempered distribution）

$K(x)=\frac{1}{\pi {\omega }_{d-1}}p.v.\frac{x_j}{|x{|}^{d+1}}$

との畳み込みとして書き表される。リース変換は、ポテンシャル論や調和解析における調和ポテンシャルの微分可能性の研究に現れる。特に、カルデロン＝ジグムントの不等式の証明に現れるテンプレート:Harv。

乗数の性質

リース変換はテンプレート:仮リンクとして与えられる。実際、R_jƒ のフーリエ変換は次で与えられる。

$ℱ(R_{j}f)(x)=i\frac{x_j}{|x|}(ℱf)(x)$

（ここでフーリエ変換の正規化に依存するすべての正定数の違いは除く）。この形式により、リース変換はヒルベルト変換の一般化と見なすことが出来る。この核は、次数ゼロの斉次な超函数である。このことから、特に重要な帰結として、リース変換は L²(R^d) からそれ自身への有界線型作用素を定義することが分かる。

この斉次性はフーリエ変換に頼らずともより直接的に述べることが出来る。σ_s を、スカラー s による R^d 上のテンプレート:仮リンク、すなわち σ_sx = sx を満たすものとするとき、その σ_s はテンプレート:仮リンクを介した函数上の次の作用を定義する：

${\sigma }_s^{*}f=f\circ {\sigma }_s.$

リース変換は、この σ_s と可換である。すなわち

${\sigma }_s^{*}(R_{j}f)=R_j({\sigma }_x^{*}f)$

となる。同様に、リース変換は平行移動と可換となる。今 τ_a をベクトル a に沿った R^d 上の平行移動とする。すなわち、τ_a(x) = x + a が満たされるものとする。このとき

${\tau }_a^{*}(R_{j}f)=R_j({\tau }_a^{*}f)$

となる。

最後の性質を述べる上で、リース変換を単独のベクトル成分 Rƒ = (R₁ƒ,…,R_dƒ) として見なすことが有用となる。R^d 内の回転 ρ を考える。この回転は空間変数の上で作用するため、引き戻しを介した函数の上で作用する。しかしそれはまた、空間ベクトル Rƒ の上でも作用する。最後の性質は、リース変換はそれら二つの作用に関してテンプレート:仮リンクであるということである。すなわち

${\rho }^{*}{R}_j[({\rho }^{-1}{)}^{*}f]=\sum _{k=1}^d{\rho }_{jk}{R}_{k}f$

が成立する。

以上の三つの性質は、実際次の意味でリース変換を特徴付けるものである。T=(T₁,…,T_d) を L²(R^d) から L²(R^d) への有界線型作用素の d-タプルで、次を満たすものとする。

• T はすべての伸張および平行移動と可換である。
• T は回転に関して同変である。

このとき、ある定数 c に対して T = cR が成り立つ。

ラプラシアンとの関係

幾分不正確な点も含むが、ƒ のリース変換は次の方程式の解の第一偏導函数を与える。

$(-\mathrm{\Delta }{)}^{\frac{1}{2}}u=f.$

ここで Δ はラプラシアンである。したがって ƒ のリース変換は次のように書くことが出来る：

$Rf=\mathrm{\nabla }(-\mathrm{\Delta }{)}^{-\frac{1}{2}}f.$

特に

$R_i{R}_j\mathrm{\Delta }u=-\frac{{\partial }^{2}u}{\partial x_i\partial x_j}$

であるため、リース変換はそのラプラシアンのみによって、函数の全ヘッセ行列に関する情報を再び得ることを可能にする。

これをより正確に述べる。u はシュワルツ函数とする。このとき実際、フーリエ乗数の陽形式によって、次が得られる。

$R_i{R}_j(\mathrm{\Delta }u)=-\frac{{\partial }^{2}u}{\partial x_i\partial x_j}.$

この等式は一般に、超函数の意味で真ではない。例えば、u が Δu ∈ L²(R^d) であるような緩増加超函数であるなら、ある多項式 P_ij に対して

$\frac{{\partial }^{2}u}{\partial x_i\partial x_j}=-R_i{R}_j\mathrm{\Delta }u+P_{ij}(x)$

と結論付けることが出来る。

関連項目

• ポアソン核
• リースポテンシャル

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.