[論文レビュー] Strictly convex corners scatter

Lassi Païvärinta, Mikko Salo+1 more|arXiv (Cornell University)|Apr 9, 2014

Numerical methods in inverse problems被引用数 2

ひとこと要約

本稿は、2次元における開口角がπ未塔の厳密に凸なコーナー、および3次元における開口角が(0, π)の可算部分集合を除いた外側の円錐型コーナーに対して、入射波が常に散乱されることを証明している。これは、非散乱エネルギーが存在しないことを意味する。証明は、複素幾何光学解と解析的性質の議論を用いて、遠方パターンがゼロになるのは、コーナーにおける調和多項式が恒等的にゼロである場合に限ることを示し、それによって潜在的に非散乱エネルギーが存在する可能性が否定される。

ABSTRACT

We prove the absence of non-scattering energies for potentials in the plane having a corner of angle smaller than $\pi$. This extends the earlier result of Bl{\aa}sten, P\"aiv\"arinta and Sylvester who considered rectangular corners. In three dimensions, we prove a similar result for any potential with a circular conic corner whose opening angle is outside a countable subset of $(0,\pi)$.

研究の動機と目的

• 2次元における厳密に凸なコーナーを有するポテンシャルに対して、非散乱エネルギーが存在しないことを確立すること。
• 2次元の結果を3次元の円錐型コーナーに拡張し、開口角が可算集合を除いて非散乱エネルギーが存在しないことを示すこと。
• 以前のBlãst, Päivärinta, and Sylvesterの長方形コーナーに関する結果を、角度がπ未塔の任意の凸コーナーに一般化すること。
• コーナー特異性が散乱ポテンシャルに常に散乱を生じさせることを理解するための厳密な枠組みを提供すること。
• 非ゼロのポテンシャルを持つコーナー点が存在する場合、すべてのエネルギーで散乱が生じることを示し、これは逆散乱法において極めて重要である。

提案手法

• シュレーディンガー方程式に対する複素幾何光学（CGO）解を、フーリエ変換と摂動論を用いて指数的重み付きで構成する。
• アグモン＝ホルマンド空間の枠組みを適用して、解の成長と減衰を制御し、外部放射条件を満たすようにする。
• ポテンシャルとCGO解の間の積分恒等式を導出する：すべてのCGO解uと実解析的解v_0に対して、∫_R^n V u v_0 dx = 0 が成り立つ。
• CGO解の漸近的挙動と遠方作用素との相互作用を用いて、問題を球面調和係数の消滅の解析に還元する。
• 解析接続と非ゼロ行列式の議論（バーデルモンド型行列式を用いて）を用いて、唯一の自明な解であることを示す。
• 遠方パターンがゼロになることは、原点における調和多項式がゼロになることを意味し、それによってポテンシャルがコーナーでゼロでない限り矛盾が生じることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元において、開口角がπ未塔の厳密に凸なコーナーを有するポテンシャルに対して、非散乱エネルギーが存在しうるか？
• RQ2 3次元において、開口角が(0, π)の一般的部分集合に属する円錐型コーナーに対して、非散乱エネルギーが存在するか？
• RQ3 非ゼロのポテンシャルを持つコーナー点が存在する場合、開口角にかかわらず常に散乱が生じるのか？
• RQ4 複素幾何光学法を長方形幾何形状を超えたコーナーを持つポテンシャルに対しても、非散乱エネルギーの不在を示すために拡張可能か？
• RQ5 3次元の円錐型コーナーにおいて、非散乱エネルギーをもたらす可能性のある角度の集合の測度論的サイズはいかほどか？

主な発見

• 2次元において、開口角がπ未塔の厳密に凸なコーナーを有するポテンシャルで、頂点におけるポテンシャルが非ゼロの場合、非散乱エネルギーは存在しない。
• 3次元において、開口角γ ∈ (0, π)が可算例外集合Eの外側にある円錐型コーナーに対して、非散乱エネルギーは存在しない。
• 3次元における例外集合Eは高々可算であるため、非可算に多くの開口角に対して、すべてのエネルギーで散乱が生じる。
• 証明は、遠方パターンがゼロになることは、原点における調和多項式がゼロになることを意味し、それによってポテンシャルがコーナーでゼロでない限り矛盾が生じることに依拠している。
• この手法は、量子力学的散乱（シュレーディンガー方程式）と音響的散乱（屈折率の差）の両方に対して適用可能であり、ポテンシャルの条件は同一である。
• 結果は、コーナー特異性が一般に非散乱エネルギーの存在を妨げるため、逆散乱法（例：線形サンプリング法）の有効性を裏付ける。