リース変換

ウィキペディア

リース変換

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/26 01:06 UTC 版)

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

${\displaystyle R_{j}f(x)=c_{d}\lim _{\epsilon \to 0}\int _{\mathbf {R} ^{d}\backslash B_{\epsilon }(x)}{\frac {(t_{j}-x_{j})f(t)}{|x-t|^{d+1}}}\,dt}$

(1)

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

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

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

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

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

乗数の性質

リース変換はフーリエ乗数（英語版）として与えられる。実際、R_jƒ のフーリエ変換は次で与えられる。

${\displaystyle {\mathcal {F}}(R_{j}f)(x)=i{\frac {x_{j}}{|x|}}({\mathcal {F}}f)(x)}$

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

この斉次性はフーリエ変換に頼らずともより直接的に述べることが出来る。σ_s を、スカラー s による R^d 上の伸張（英語版）、すなわち σ_sx = sx を満たすものとするとき、その σ_s は引き戻し（英語版）を介した函数上の次の作用を定義する：

${\displaystyle \sigma _{s}^{*}f=f\circ \sigma _{s}.}$

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

${\displaystyle \sigma _{s}^{*}(R_{j}f)=R_{j}(\sigma _{x}^{*}f)}$

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

${\displaystyle \tau _{a}^{*}(R_{j}f)=R_{j}(\tau _{a}^{*}f)}$

となる。

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

${\displaystyle \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 が成り立つ。

ラプラシアンとの関係

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

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

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

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

特に

${\displaystyle R_{i}R_{j}\Delta u=-{\frac {\partial ^{2}u}{\partial x_{i}\partial x_{j}}}}$

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

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

${\displaystyle R_{i}R_{j}(\Delta u)=-{\frac {\partial ^{2}u}{\partial x_{i}\partial x_{j}}}.}$

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

${\displaystyle {\frac {\partial ^{2}u}{\partial x_{i}\partial x_{j}}}=-R_{i}R_{j}\Delta u+P_{ij}(x)}$

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

関連項目

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

参考文献

1. ^ 厳密に言うと、(1) の定義はシュワルツ函数 f に対してのみ有効となる。L² の稠密部分空間上の有界性は、各リース変換がすべての L² への連続線型拡張を許すことを意味する。

• Gilbarg, D.; Trudinger, Neil (1983), Elliptic Partial Differential Equations of Second Order, New York: Springer, ISBN 3-540-41160-7 .
• Stein, Elias (1970), Singular integrals and differentiability properties of functions, Princeton University Press .
• Stein, Elias; Weiss, Guido (1971), Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, ISBN 0-691-08078-X .
• Arcozzi, N. (1998), Riesz Transform on spheres and compact Lie groups, New York: Springer, ISSN 0004-2080 .