[論文レビュー] Resolution of singularities, asymptotic expansions of oscillatory integrals, and related phenomena

Michael Greenblatt|ArXiv.org|Sep 16, 2007

Algebraic and Geometric Analysis参考文献 9被引用数 8

ひとこと要約

本稿は、特異点の解消のための完全なヒロナカの定理に依存せず、簡略化された特異点解消技術を用いて、原点に臨界点をもつ実解析的関数を含む振動積分および部分レベル集合積分の漸近展開について、初等的な証明を提供する。主な結果として、このような積分が λ⁻α および log(λ)ⁱ のべきの漸近展開をもち、係数が位相関数の零点集合上に台を持つこと、およびSobolev型のノルムによる明確な境界が得られることを示している。

ABSTRACT

The elementary resolution of singularities algorithm of the author's earlier paper (math.CA/0609217) is developed further, replacing the quasibump functions in the blown up coordinates with the characteristic function of a rectangle times a smooth function. Such functions are easier to deal with, and as application the existence of asymptotic expansions for oscillatory integrals and related objects is given an elementary proof. In addition, some more detailed information about these expansions is given.

研究の動機と目的

• 臨界点をもつ実解析的位相関数をもつ振動積分の漸近展開について、ヒロナカの特異点解消に依存しない代替的で初等的な証明を提供すること。
• 部分レベル集合積分 ∫_{0<f(x)<t} φ(x) dx の t のべきおよび log(t) の形での明確な漸近展開を、係数の明示的推定を含めて確立すること。
• 不等式 gᵢ(x) > 0 で定義される半解析的集合上の積分および複数の位相関数 f₁(x), ..., fₗ(x) への結果の拡張。
• 係数の鋭い推定を、切断関数 φ の Cᴹ ノルムを用いて導出し、一様な制御を保証すること。
• 展開の項ごとの微分が漸近的有効性を保つことを示すこと。これは、先行研究では明示的に確立されていない性質である。

提案手法

• グラウエルの仕事から導かれる初等的な特異点解消定理を用い、ヒロナカの定理の完全な道具立てを避ける。
• 位相関数 f(x) の単項式化による変数変換を適用し、ヤコビアンが単項式となるモデル形式への積分の還元を行う。
• 変数の数に関する帰納法を用い、位相関数が1つの変数に関して単項式となるように積分を部分に分解する。
• 2種類の項を分析する：解消公式の最初の和に由来する項（ヤコビアン行列式を含む）と、2番目の和に由来する項（切断関数の偏導関数を含む）。
• 低次元スライスにおける内積分に対する帰納的推定を用い、残りの変数に対して帰納仮説を適用する。
• 積分推定（log(y) および y⁻ᵐ のべきを含む）を用い、収束のための指数閾値を注意深く制御することで、切断関数 φ のSobolev型ノルムによる係数の一様な境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 臨界点をもつ実解析的位相関数をもつ振動積分の漸近展開は、ヒロナカの特異点解消を用いずに導けるか？
• RQ2 部分レベル集合積分 Jₜ = ∫_{0<f(x)<t} φ(x) dx の漸近展開の正確な構造は何か？また、係数は f の零点集合の幾何的性質にどのように依存するか？
• RQ3 Jₜ の漸近展開をどのように用いて、振動積分 I_λ = ∫ e^{iλf(x)} φ(x) dx の対応する展開を導出できるか？
• RQ4 漸近展開における係数の鋭い推定は何か？また、切断関数 φ の Cᴹ ノルムにどのように依存するか？
• RQ5 この手法は、複数の不等式 gᵢ(x) > 0 および複数の位相関数 fᵢ(x) で定義される半解析的集合上の積分へ一般化可能か？

主な発見

• 振動積分 I_λ = ∫_A e^{iλf(x)} φ(x) dx は、λ → ∞ のとき、形式 ∑_{α≤a} ∑_{i=0}^{n−1} a_{i,α}(φ) λ^{-α} ln(λ)^i + E'_a(λ) の漸近展開をもつ。ここで α は f および定義関数 gᵢ に依存する正の有理数の算術的等差数列を走る。
• 各係数 a_{i,α}(φ) は、Z = {x ∈ cl(A) : f_i(x) = 0 for some i} 上に台を持つ分布であり、|a_{i,α}(φ)| ≤ A_α sup_{|β|≤Mα} sup_x |∂^β φ(x)| という境界を満たす。
• 誤差項 E'_a(λ) は、ある ε > 0 に対して、|d^m/dλ^m E'_a(λ)| ≤ C_a sup_{|β|≤Ma} sup_x |∂^β φ(x)| ⋅ λ^{−a−ε−m} を満たし、微分に対しても一様な制御が保証される。
• 同じ手法により、部分レベル集合積分 J_t = ∫_{A ∩ {0<f₁(x)<t,…,0<fₗ(x)<t}} φ(x) dx についても、形式 ∑_{α≤a} ∑_{i=0}^{n−1} b_{i,α}(φ) t^α ln(t)^i + E_a(t) の漸近展開が得られ、係数の推定は同一である。
• 係数 b_{i,α}(φ) は同じ零点集合 Z 上に台を持ち、振動積分の場合と同一のSobolev型ノルム境界を満たす。
• J_t の展開 (1.4) の項ごとの微分は正当であり、導関数は同じ漸近推定を満たす。これにより、微分に対して展開の堅牢性が確認される。