[論文レビュー] Recovery of non compactly supported coefficients of elliptic equations on an infinite waveguide

Yavar Kian|arXiv (Cornell University)|Sep 6, 2017

Numerical methods in inverse problems参考文献 49被引用数 7

ひとこと要約

この論文は、複素幾何学的光学解とCarleman推定を用いて、部分境界測定値から無限波導内の非緊密台付き電磁ポテンシャルの一意的回復を確立する。主な結果は、Dirichlet-to-Neumann写像が境界のわずかに超過する半分以上に制限されていても、ポテンシャルが非緊密台付きまたは周期的でない場合でさえも、それを一意的に決定できることを示している。

ABSTRACT

We consider the unique recovery of a non compactly supported and non periodic perturbation of a Schr\\"odinger operator in an unbounded cylindrical domain, also called waveguide, from boundary measurements. More precisely, we prove recovery of general class of electric potentials from the partial Dirichlet-to-Neumann map, where the Dirichlet data is supported on slightly more than half of the boundary and the Neumann data is taken on the other half of the boundary. We apply this result in different context including recovery of some general class of coefficients from measurements on a bounded subset and recovery of an electric potential, supported on an unbounded cylinder, of a Schr\\"odinger operator in a slab.

研究の動機と目的

• 非有界な円柱領域（無限波導）における非緊密台付き電磁ポテンシャルの逆問題を解くこと。
• 既存の逆境界値問題の結果を、非緊密台付き係数を有する非有界領域へと拡張すること。
• Dirichletデータが境界の半分以上に支持され、ノイマンデータが残りの部分に存在する部分データを用いて、波導内におけるシュレーディンガー作用素の不変性を確立すること。
• 浅海音響学およびナノ構造に関連するスラブ幾何におけるポテンシャルの回復に、結果を適用すること。
• 非緊密台付きの課題を、Carleman推定と複素幾何学的光学解、密度論拠を組み合わせることで克服すること。

提案手法

• 大きなパラメータの漸近展開と位相関数を用いて、無限波導内におけるシュレーディンガー方程式の複素幾何学的光学（CGO）解を構成する。
• 方向θ ∈ S¹に依存する重み関数を有するCarleman推定を適用し、解の挙動を制御し、安定性評価を導出する。
• 対称的拡張を用いてポテンシャルをより大きな領域に拡張し、対称性を活用して所定の境界条件を満たす解を構成する。
• 有界部分領域における解が全領域において稠密であることを示す密度論拠を用い、評価の拡張を可能にする。
• Carleman推定とDN写像データを組み合わせ、2つのポテンシャルの差に関する積分恒等式を導出する。
• 大きなパラメータρ → ∞の極限を取ることで、ポテンシャル差のL²内積が振動関数と消失することを示し、一意性に至る。

実験結果

リサーチクエスチョン

• RQ1 無限波導内における非緊密台付き電磁ポテンシャルは、部分境界測定値から一意的に回復可能か？
• RQ2 境界のわずかに超過する半分以上に制限された部分Dirichlet-to-Neumann写像が、非有界な円柱領域におけるポテンシャルを一意的に決定できるか？
• RQ3 複素幾何学的光学法とCarleman推定は、非有界領域における非緊密台付き係数に対応して適応可能か？
• RQ4 無限円筒上に支持されるポテンシャルに対して、スラブ幾何における回復結果をどのように拡張できるか？
• RQ5 非緊密台付きの状況下でも、ポテンシャルの一意的決定を可能にする幾何的およびデータ的条件は何か？

主な発見

• Dirichlet-to-Neumann写像が∂Ωの部分集合G ⊂ ∂Ωに制限され、Dirichletデータがθ₀-影を落とす面を含む集合Kに支持される場合、q ∈ L∞(Ω)のポテンシャルが一意に決定される。
• 結果は、非緊密台付きまたは周期的でない一般のL∞ポテンシャルに適用可能であり、従来の緊密台付きまたは周期的係数に限られた結果を拡張する。
• 証明は、ρ → ∞のとき∫Ω (q₁−q₂)v₁v₂ dx → 0となることを示し、q₁ = q₂に至る。
• 特定の指数的重みを有するCGO解を構成し、漸近展開における誤差項の減衰評価を証明することに依存する。
• 鍵となる技術的ステップは、θ₁ > 0を満たす方向θを含む重み関数を有するCarleman推定の使用であり、波導内での解の制御を可能にする。
• 結果はスラブ領域におけるポテンシャル回復に応用され、浅海音響学およびナノ構造のモデルに同様の不変性枠組みが適用可能であることが示された。