[論文レビュー] Quasi-classical asymptotics for the pseudo-differential operators with discontinuous symbols: Widom's Hypothesis

Alexander V. Sobolev|arXiv (Cornell University)|Apr 15, 2010

Spectral Theory in Mathematical Physics参考文献 21被引用数 4

ひとこと要約

本稿は、位置変数および運動量変数の両方においてジャンプ不連続性を示すシンボルをもつ擬微分作用素のトレースに関する2項準古典的漸近公式について、Widomの予想を証明する。高度な微局所解析および振動積分技法を用いて、任意の滑らかな有界超曲面上で不連続となるシンボルについての漸近展開を確立し、Widomの以前のハイパープランの不連続性に限った結果を一般の場合へ拡張する。

ABSTRACT

Relying on the known two-term quasiclassical asymptotic formula for the trace of the function $f(A)$ of a Wiener-Hopf type operator $A$ in dimension one, in 1982 H. Widom conjectured a multi-dimensional generalization of that formula for a pseudo-differential operator $A$ with a symbol $a(\bx, \bxi)$ having jump discontinuities in both variables. In 1990 he proved the conjecture for the special case when the jump in any of the two variables occurs on a hyperplane. The present paper gives a proof of Widom's Conjecture under the assumption that the symbol has jumps in both variables on arbitrary smooth bounded surfaces.

研究の動機と目的

• 位置変数および運動量変数の両方で不連続なシンボルをもつ擬微分作用素のトレースに関するWidomの1982年の予想である2項準古典的漸近公式を解明すること。
• 1990年のWidomの結果（ハイパープランの不連続性に限る）を、任意の滑らかな有界超曲面上での不連続性に一般化すること。
• 非滑らかなシンボルをもつウィーナー＝ホプフ型作用素の関数のトレースについて、高次元における厳密な漸近展開を確立すること。
• 準古典的解析の適用範囲を、シンボルにより一般な不連続構造を持つ作用素へ拡大すること。

提案手法

• 著者たちは、作用素のトレースに関連する振動積分カーネルの特異性を調べるために微局所解析の技法を用いる。
• 不連続性超曲面の近傍で、Partition of Unityおよび局所座標系を用いてシンボルを滑らかでない部分に分解する。
• この手法は、特異な位相関数をもつ振動積分に対する停留化・非停留化近似に依存する。
• 不連続性超曲面の幾何構造は、シンボルのジャンプ集合への法線および接線成分の射影を介して分析に組み込まれる。
• 重要なステップとして、不連続性超曲面の横断的交差部において非滑らかとなる位相関数をもつ振動積分の漸近展開を導出する。
• 局所座標系におけるモデル問題への還元が行われ、その後、一様な誤差項の評価により漸近展開の誤差を制御する。

実験結果

リサーチクエスチョン

• RQ1 位置変数および運動量変数の両方において、任意の滑らかな有界超曲面上でジャンプ不連続性を示すシンボルをもつ擬微分作用素のトレースについて、Widomの2項準古典的漸近公式が成立するか？
• RQ2 不連続性超曲面の幾何構造は、トレースの漸近展開における補助項にどのように影響を与えるか？
• RQ3 ハイパープランの不連続性に適用された手法を、滑らかな超曲面へ一般化しても、漸近的精度を損なわず拡張可能か？
• RQ4 2項漸近公式の有効性を保証するためのシンボルの不連続構造に必要な条件は何か？
• RQ5 多変数設定における非滑らかなシンボルに適応するには、振動積分技法はどのように変更されるか？

主な発見

• 本稿は、位置変数および運動量変数の両方において、任意の滑らかな有界超曲面上で不連続となるシンボルをもつ擬微分作用素のトレースについて、2項準古典的漸近公式を確立する。
• 漸近展開における補助項は、不連続性超曲面の幾何構造およびシンボルのジャンプ挙動によって明示的に決定される。
• 結果として、Widomの予想が一般に完全に確認され、ハイパープランの不連続性に限った彼の以前の証明から拡張される。
• 漸近公式は任意の次元で有効であり、主項はシンボルの積分に依存し、補助項は不連続性超曲面を越えたジャンプを含む。
• 証明により、不連続性集合の横断的交差部においても、位相関数および振幅関数が非滑らかであっても、振動積分技法が依然として有効であることが示された。
• 著者たちは、漸近展開における一様な誤差評価を提供し、準古典的パラメータが0に近づく極限における有効性を保証する。