擬微分作用素
出典: フリー百科事典『ウィキペディア(Wikipedia)』
擬微分作用素(ぎびぶんさようそ、英: pseudo-differential operator)とは、フーリエ変換を用いた微分作用素の一般形である。1965 年以降、ラース・ヘルマンダー等により急速に研究されて来た。偏微分方程式論の代表的なテーマの一つであるが、マルコフ過程・ディリクレ形式・ポテンシャル理論との関わりも深い。物理学では量子力学や量子統計力学と関係がある。
目次 |
[編集] 数学的定義
以下、
を
の元とし、
で
の元を表す。
任意の多重指標
に対し、ある定数
が存在して、次の条件を満たす時、
関数
を
クラスの表象と言う。但し、
かつ
である。

各
に対し、次の線形作用素
を(表象
に対する)擬微分作用素と言う。

[編集] 例
[編集] 微分作用素
次微分作用素

に対し、
次微分多項式

は
に属する。即ち、
次微分作用素は
次微分多項式を表象に持つ擬微分作用素である。
[編集] 熱作用素
熱作用素

は

を表象に持つ。
[編集] 分数的ラプラシアン
とする。

とおくと、これを表象に持つ擬微分作用素が存在するが、それは
![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} }](http://upload.wikimedia.org/math/0/1/e/01e887cee29840eb41eb34472260132f.png)
と表される。これを分数的ラプラシアン (fractional Laplacian) という。
[編集] (1−ラプラシアン)の平方根

は
に属する。これを表象に持つ擬微分作用素は、

である。これは
の平方根に相当するものであり
とも表される。
は偏微分方程式論でよく使われる。
[編集] 性質
[編集] 一対一対応
に属する表象
とそれに対応する擬微分作用素
は一対一に対応する。また、
が与えられている時、その表象
は次の式で逆算される。

[編集] 参考文献
- 熊ノ郷準 『擬微分作用素』 岩波書店〈数学選書〉、1974年10月30日。ISBN 4-00-005225-X。
- Peterson, Brent E. (1983-11-01). Introduction to the Fourier Transform and Pseudo-differential Operators. Monographs and studies in mathematics. Pitman Advanced Pub. Program. ISBN 0273086006.
- Jacob, Niels (2005-07-21). Pseudo differential operators and Markov processes. Markov Processes and Applications v. III. Imperial College Press. ISBN 1860945686.