[論文レビュー] Lower bounds for resonance counting functions for obstacle scattering in even dimensions

T. J. Christiansen|arXiv (Cornell University)|Sep 26, 2014

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

ひとこと要約

本稿は、偶数次元の障害散乱における共鳴数関数の鋭い下界を確立し、任意の非ゼロ整数 m に対して、||λⱼ|| ≤ r かつ arg λⱼ ∈ (mπ, (m+1)π) を満たす共鳴の数が、対数スケールで最大の可能性である d の割合で増加することを証明している。この結果は、ディリクレ境界条件、ノイマン境界条件、および許容可能なロビン境界条件に対して成り立ち、球体に対する既知の結果を一般な滑らかな障害へと拡張する。

ABSTRACT

In even dimensional Euclidean scattering, the resonances lie on the logarithmic cover of the complex plane. This paper studies resonances for obstacle scattering in ${\mathbb R}^d$ with Dirchlet or admissable Robin boundary conditions, when $d$ is even. Set $n_m(r)$ to be the number of resonances with norm at most $r$ and argument between $mπ$ and $(m+1)π$. Then $\lim\sup _{r ightarrow \infty}\frac{\log n_m(r)}{\log r}=d$ if $m\in {\mathbb Z}\setminus \{ 0\}$.

研究の動機と目的

• 偶数次元の障害散乱における共鳴数関数の最大可能な成長率を確立すること。
• これまで球体に対してのみ示されていた既知の結果を、一般の滑らかな障害とディリクレまたはロビン境界条件へと拡張すること。
• 偶数次元における複素平面の対数被覆上での共鳴の漸近的分布を分析すること。
• 偶数次元における散乱行列 S(λ) の原点近傍での振る舞い、特に原点における極限を調査すること。
• 非物理的シート（m ≠ 0）における数関数の次数が理論的な上限 d に達することを示すこと。

提案手法

• 複素数平面 ℂ\{0} の対数被覆 Λ の m 番目のシート Λₘ を、mπ < arg λ < (m+1)π を満たす領域として定義する。
• 共鳴数関数 nₘ(r) を、|λⱼ| < r かつ arg λⱼ ∈ (mπ, (m+1)π を満たす共鳴の数（重複度を含む）として定義する。
• 微局所的および散乱理論的手法を用いて、(P − λ²)⁻¹ のリゾルベントの Λ 上へのメロモルフィックな拡張を分析する。
• ボーデブおよびスヨストランド＝ツォルスキーの共鳴漸近挙動と上界に関する結果を応用し、鋭い下界を確立する。
• Sjöstrand–Zworski のブラックボックス枠組みを用いて、λ = 0 の近傍における散乱行列 S(λ) を分析し、その正則性と極限挙動を導出する。
• λ > 0 に対して成り立つ恒等式 S*(λ) = 2I − ℛS(e^{iπ}λ)ℛ を用い、λ = 0 にまで拡張して、偶数次元における lim_{λ↓0} S(λ) = I を証明する。

実験結果

リサーチクエスチョン

• RQ1 偶数次元の障害散乱における共鳴数関数 nₘ(r) の最大可能な成長次数は何か？
• RQ2 非ゼロのすべての m ∈ ℤ に対して、m 番目のシートにおける共鳴数関数の次数 d が達成可能か？
• RQ3 一般の障害散乱において、偶数次元における λ = 0 の近傍での散乱行列の振る舞いはいかなるものか？
• RQ4 一般のブラックボックス摂動において、偶数次元で lim_{λ↓0} S(λ) が存在し、恒等演算子に等しいか？
• RQ5 球体を超える一般の障害で、共鳴数関数が最大次数 d を達成するものは存在するか？

主な発見

• 任意の偶数次元 d ≥ 2 および滑らかな境界と連結な外部領域を持つ任意の障害に対して、共鳴数関数 nₘ(r) は、すべての m ∈ ℤ\{0} に対して lim sup_{r→∞} (log nₘ(r))/log r = d を満たす。
• この成長率は、ボーデブによって示されたように最大であり、nₘ(r) の次数に対する既知の上界と一致する。
• この結果は、これまで球体に対してのみ知られていた結果を、ディリクレまたは許容可能なロビン境界条件を有するすべての滑らかな障害へと一般化する。
• 散乱行列 S(λ) に対して、ブラックボックス条件の下で、偶数次元において lim_{λ↓0} S(λ) = I が成り立つことが示された。
• 極限は存在し、ユニタリである。S(λ) が正の実軸上でユニタリであることと、反射作用素 ℛ を含む関数方程式により、唯一の可能な極限は恒等演算子である。
• 散乱行列は原点近傍の領域で正則であり、原点における展開には無限に多くの有界でない項が含まれるが、すべてが有限ランクである。