擬微分作用素

擬微分作用素の最新ニュースをまとめて検索！

擬微分作用素（ぎびぶんさようそ、pseudo-differential operator）とは、フーリエ変換を用いた微分作用素の一般形である。1965 年以降、ラース・ヘルマンダー等により急速に研究されて来た。偏微分方程式論の代表的なテーマの一つであるが、マルコフ過程・ディリクレ形式・ポテンシャル理論との関わりも深い。物理学では量子力学や量子統計力学と関係がある。

[編集] 数学的定義

以下、 $x,ξ$ を $R n$ の元とし、 $(x,ξ)$ で $R 2 n$ の元を表す。

任意の多重指標 $α,β$ に対し、ある定数 $C α,β$ が存在して、次の条件を満たす時、 $C^{\infty}$ 関数 $p (x,ξ)$ を $S_{\rho , \delta}^m$ クラスの表象と言う。但し、 $0 \leq \delta \leq \rho \leq 1$ かつ $δ < 1$ である。

$|\partial_{\xi}^{\alpha } D_{x}^{\beta } p(x, \xi) | \leq C_{\alpha , \beta } \langle \xi \rangle^{m + \delta | \beta | - \rho | \alpha | }$

各 $u \in \mathcal{S}$ に対し、次の線形作用素 $P : \mathcal{S} \to \mathcal{S}$ を（表象 $p$ に対する）擬微分作用素と言う。

$P u (x) = (2\pi )^{-n} \int e^{i x \xi } p(x , \xi ) \hat{u} (\xi ) d \xi$

[編集] 例

[編集] 微分作用素

$m$ 次微分作用素

$p(X, D_x) = \sum_{| \alpha | \leq m } a_{\alpha } (x) D_x^{\alpha } \ (a_{\alpha } \in \mathcal{B}(\mathbb{R}^n))$

に対し、 $m$ 次微分多項式

$p(x , \xi) = \sum_{| \alpha | \leq m } a_{\alpha } (x) \xi^{\alpha }$

は $\mathcal{S}^m_{1, 0}$ に属する。即ち、 $m$ 次微分作用素は $m$ 次微分多項式を表象に持つ擬微分作用素である。

[編集] 熱作用素

熱作用素

$p(X, D_x) = \frac{\partial }{\partial x_1} - \sum_{2 \leq j \leq n} \frac{\partial }{\partial x_j}$

は

$p(x , \xi) = i \xi_1 - \sum_{2 \leq j \leq n} \xi_j^2$

を表象に持つ。

[編集] 分数的ラプラシアン

$0 < \alpha \leq 2$ とする。

$p(x, \xi) = | \xi |^{\alpha } (= (\sum_{1 \leq j \leq n} \xi_j^2 )^{\alpha / 2})$

とおくと、これを表象に持つ擬微分作用素が存在するが、それは

$p(X, D_x) = \left[ - \sum_{1 \leq j \leq n} \left( \frac{\partial }{\partial x_j} \right)^2 \right]^{\frac{\alpha }{2} } = (- \Delta )^{\frac{\alpha }{2} }$

と表される。これを分数的ラプラシアン (fractional Laplacian) という。

[編集] （1−ラプラシアン）の平方根

$p(x, \xi) = \sqrt{1 + \sum_{1 \leq j \leq n} \xi_j^2 }$

は $\mathcal{S}_{1, 0}^1$ に属する。これを表象に持つ擬微分作用素は、

$p(X, D_x) = \sqrt{1 - \sum_{1 \leq j \leq n} \left( \frac{\partial }{\partial x_j} \right)^2 } = \sqrt{1 - \Delta }$

である。これは $1 - Δ$ の平方根に相当するものであり $Λ$ とも表される。 $Λ$ は偏微分方程式論でよく使われる。

[編集] 性質

[編集] 一対一対応

$\mathcal{S}_{\rho, \delta }^m$ に属する表象 $p (x,ξ)$ とそれに対応する擬微分作用素 $p (X, D x)$ は一対一に対応する。また、 $P (X, D x)$ が与えられている時、その表象 $p (x,ξ)$ は次の式で逆算される。

p (x,ξ) = e - i x ξ P (e i x ξ)

[編集] 参考文献

熊ノ郷準『擬微分作用素』岩波書店、1974年、ISBN 978-4000052252
Brent E. Peterson, Introduction to the Fourier Transform and Pseudo-differential Operators, Pitman, 1983, ISBN 978-0273086000
N. Jacob, Pseudo differential operators and Markov processes, Imperial College Press, 2005, ISBN 978-1860945687

[編集] 関連項目

この項目「擬微分作用素」は、数学に関連した書きかけの項目です。加筆・訂正などをして下さる協力者を求めています。（P:数学／PJ:数学）

フリー百科事典『ウィキペディア（Wikipedia）』 Text is available under GNU Free Documentation License.

最終更新 2009年7月19日 (日) 02:09 （日時は個人設定で未設定ならばUTC）。
【擬微分作用素】変更履歴