擬微分作用素のソースを表示

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

== 導入 ==
擬微分作用素は定数係数の線型微分作用素を適当な意味で一般化したものである。この一般化の指針となる基本的な事実をいくつか振り返ろう。
; 定数係数線型微分作用素
: 定数係数の線型[[微分作用素]]
::<math> P(D) := \sum\nolimits_\alpha a_\alpha \, D^\alpha </math>
: が {{math|'''R'''{{sup|''n''}}}} 上のコンパクト台付き滑らかな函数 {{mvar|u}} に作用するものとする。この作用素は、[[フーリエ変換]]、[[微分作用素の表象|'''表象''']] (symbol) と呼ばれる多項式函数
:: <math>  P(\xi) = \sum\nolimits_\alpha a_\alpha \, \xi^\alpha</math>
: による単純な掛け算に、フーリエ逆変換という三者の合成として
{{NumBlk|::|<math> \quad P(D) u (x) = 
\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i (x - y) \xi} P(\xi) u(y)\, dy \, d\xi </math>|{{EquationRef|1}}}}
: なる形に書くことができる。
ここで、<math>\alpha=(\alpha_1,\ldots,\alpha_n)</math> は[[多重指数]], <math>a_\alpha</math> は複素数で
: <math>D^\alpha=(-i \partial_1)^{\alpha_1} \cdots (-i \partial_n)^{\alpha_n}</math>
は逐次偏微分、{{math|∂<sub>''j''</sub>}} は {{mvar|j}}-番目の変数に関する微分という意味である。定数 {{math|&minus;''i''}} を掛けているのはフーリエ変換の計算の都合である。

; 偏微分方程式の解の表現
: 表象 {{math|''P''(&xi;)}} が {{math|&xi;&nbsp;&isin;&nbsp;'''R'''<sup>''n''</sup>}} の至る所 0 でないとき、偏微分方程式
:: <math> P(D)u = f </math>
: を解くには、両辺にフーリエ変換を（形式的に）適用して得られる「代数方程式」
:: <math> P(\xi)\hat u(\xi) = \hat f(\xi)</math>
: の両辺を {{math|''P''(&xi;)}} で割って
:: <math> \hat u(\xi) = \frac{1}{P(\xi)} \hat f(\xi) </math>
とできるから反転公式により、解
:: <math>  u (x) = \frac{1}{(2 \pi)^n} \int e^{i x \xi} \frac{1}{P(\xi)} \hat f (\xi) \, d\xi</math>
: が得られる。
ここでの仮定を確認しておくと:
# {{math|''P''(''D'')}} は「定数」係数の線型微分作用素
# 表象 {{math|''P''(&xi;)}} は 0 にならない
# {{math|''u'', &fnof;}} はともにフーリエ変換を持つ
最後の仮定は[[シュヴァルツ超函数]]の文脈で考えるならば弱められる。先の二つの仮定も後述するように緩めることができる。

最後の式において {{mvar|f}} のフーリエ変換を陽に書き下せば
: <math>u(x) = \frac{1}{(2 \pi)^n} \iint e^{i (x-y) \xi} \frac{1}{P(\xi)} f(y) \, dy \, d\xi</math>
となり、これは {{math|1/''P''(&xi;)}} がもはや多項式函数ではなくもっと一般の種類の函数であることを除けば式 ({{EquationNote|1}}) と同じ形をしている。

; 擬微分作用素への拡張
: 式 ({{EquationNote|1}}) を利用して、微分作用素の一般化としての擬微分作用素を導入する。{{math|'''R'''<sup>''n''</sup>}} 上の擬微分作用素 {{math|''P''(''x'',''D'')}} とは、函数 {{math|''u''(''x'')}} における値が {{mvar|x}} の函数として
{{NumBlk|::|<math>\quad P(x,D) u (x) = 
\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} e^{i x\cdot \xi} P(x,\xi) \hat{u}(\xi) \, d\xi </math>|{{EquationRef|2}}}}
: で与えられるものとする。ここで、<math>\hat{u}(\xi)</math> は {{mvar|u}} の[[フーリエ変換]]であり、被積分函数に現れる表象 {{math|''P''(''x'',&xi;)}} は適当な'''表象クラス'''に属するものとする。
例えば、{{math|''P''(''x'',&xi;)}} が {{math|'''R'''<sup>''n''</sup>&nbsp;&times;&nbsp;'''R'''<sup>''n''</sup>}} 上の無限回微分可能な函数で、任意の多重指数 {{math|&alpha;, &beta;}} および {{math|''x'', &xi; &isin; '''R'''{{sup|''n''}}}} に対して
: <math> |\partial_\xi^\alpha \partial_x^\beta P(x,\xi)| \leq C_{\alpha,\beta} \, (1 + |\xi|)^{m - |\alpha|} </math>
となるような適当な定数 {{math|''C''{{sub|&alpha;,&beta;}}}} と適当な実数 {{mvar|m}} が存在するという性質を持つならば、表象 {{math|''P''(''x'', &xi;)}} はヘルマンダーの表象クラス {{math|''S''{{su|b= 1,0|p= ''m''}}}} に属すると言い、対応する作用素 {{math|''P''(''x'', ''D'')}} はクラス {{math|&Psi;{{su|b= 1,0|p= ''m''}}}} に属する'''階数 {{mvar|m}} の擬微分作用素'''であるという。

== 定義 ==
以下、<math>x , \xi </math> を <math>R^n</math> の元とし、<math>(x , \xi )</math> で <math>R^{2n}</math> の元を表す。

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

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

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

{{Indent|<math>P u (x) = (2\pi )^{-n} \int e^{i x \xi } p(x , \xi ) \hat{u} (\xi ) d \xi </math>}}

== 例 ==
=== 微分作用素 ===
<math>m</math> 次微分作用素

{{Indent|<math>
p(x, D_x) = \sum_{| \alpha | \leq m } a_{\alpha } (x) D_x^{\alpha } \ (a_{\alpha } \in \mathcal{B}(\mathbb{R}^n))
</math>}}

に対し、<math>m</math> 次微分多項式 

{{Indent|<math>
p(x , \xi) = \sum_{| \alpha | \leq m } a_{\alpha } (x) \xi^{\alpha } 
</math>}}

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

=== 熱作用素 ===

熱作用素

{{Indent|<math>
p(x, D_x) = \frac{\partial }{\partial x_1} - \sum_{2 \leq j \leq n} \frac{\partial^2 }{\partial x_j^2}
</math>}}

は

{{Indent|<math>
p(x , \xi) = i \xi_1 - \sum_{2 \leq j \leq n} \xi_j^2 
</math>}}

を表象に持つ。

=== 分数的ラプラシアン ===

<math>0 < \alpha \leq 2</math> とする。

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

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

{{Indent|<math>
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} }
</math>}}

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

=== （1−ラプラシアン）の平方根 ===

{{Indent|<math>
p(x, \xi) = \sqrt{1 + \sum_{1 \leq j \leq n} \xi_j^2 }
</math>}}

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

{{Indent|<math>
p(x, D_x) = \sqrt{1 - \sum_{1 \leq j \leq n} \left( \frac{\partial }{\partial x_j} \right)^2 } = \sqrt{1 - \Delta }
</math>}}

である。これは <math>1 - \Delta </math> の[[平方根]]に相当するものであり <math>\Lambda </math> とも表される。<math>\Lambda </math> は[[偏微分方程式|偏微分方程式論]]でよく使われる。

== 性質 ==
滑らかな有界函数係数の {{mvar|m}}-階線型微分作用素は {{mvar|m}}-階の擬微分作用素である。

二つの擬微分作用素 {{mvar|P, Q}} の合成 {{mvar|PQ}} はふたたび擬微分作用素であり、{{mvar|PQ}} の表象は {{mvar|P}} および {{mvar|Q}} の表象を用いて計算することができる。擬微分作用素の随伴および転置はまた擬微分作用素である。

{{mvar|m}}-階微分作用素が[[楕円型作用素|楕円型]]かつ可逆ならば、逆作用素もまた {{math|&minus;''m''}}-階の擬微分作用素で、表象はもとの微分作用素の表象から計算できる。これはつまり、楕円型線形微分方程式は擬微分作用素論を用いて陰に陽に解くことができるということである。

微分作用素が（その振舞いを知るのにある点の近傍での函数の値しか必要としないという意味で）「局所的」であるのに対し、擬微分作用素は「擬局所的」である。これは厳密さをさておけば、シュヴァルツ超函数が滑らかな点においてそれに擬微分作用素を作用させたものは特異点を生まないという意味である。

微分作用素が {{math|''D''&nbsp;{{=}}&nbsp;&minus;''i''(''d/dx'')}} を用いて
:<math>p(x, D)</math>
なる形の {{mvar|D}} を変数とする[[多項式]] {{mvar|p}}（つまり表象）で表されるのと同様に、擬微分作用素はより一般の函数のクラスに表象を持つ。しばしば擬微分作用素に関する解析学を、その表象を含む代数的な問題の列に帰着することができる。このことは[[超局所解析]]の本質である。

== 擬微分作用素の積分核 ==
写像として見れば、擬微分作用素は[[積分核]]によって表すことができる。対角線上の積分核の特異性は、対応する作用素の次数に依存している。実は表象が上記の微分不等式を {{math|m ≤ 0}} に対して満たすならば、積分核が{{仮リンク|特異積分|label=特異積分核|en|Singular integral}}となることが示せる。この積分核は逆境界問題に対する境界条件の特徴付けに利用できる。

== 脚注 ==
<references/>

== 参考文献 ==
*{{Cite book|和書|author=熊ノ郷準|authorlink=熊ノ郷準|date=1974-10-30|title=擬微分作用素|series=数学選書|publisher=[[岩波書店]]|isbn=4-00-005225-X}}
*{{Cite book|last=Peterson|first=Brent E.|date=1983-11-01|title=Introduction to the Fourier Transform and Pseudo-differential Operators|series=Monographs and studies in mathematics|publisher=Pitman Advanced Pub. Program|isbn=0273086006}}
*{{Cite book|last=Jacob|first=Niels|date=2005-07-21|title=Pseudo differential operators and Markov processes|series=Markov Processes and Applications v. III|publisher=Imperial College Press|isbn=1860945686}}

== 関連項目 ==
* [[偏微分方程式]]
* [[確率過程]]
* [[ポテンシャル理論]]
* [[マルコフ過程]]
* [[フーリエ積分作用素]]
* {{仮リンク|フーリエ乗積作用素|en|Multiplier (Fourier analysis)}}
* [[ヒルベルト変換]]

{{Mathanalysis-stub}}

{{Normdaten}}
{{DEFAULTSORT:きひふんさようそ}}

[[Category:微分方程式]]
[[Category:確率論]]
[[Category:数学に関する記事]]