[論文レビュー] Inverse problems for real principal type operators

Lauri Oksanen, Mikko Salo+2 more|arXiv (Cornell University)|Jan 21, 2020

Numerical methods in inverse problems参考文献 46被引用数 13

ひとこと要約

本稿では、特異点の伝播と微局所解析を用いて、実主型微分作用素を含む逆境界値問題におけるグローバル一意性を確立する。境界上のコーシー・データ集合が、低次の係数の散乱関係および双特徴線ルート変換を一意に特定することを示す。この手法により、輸送方程式、波動方程式、その他の双曲型方程式の逆問題が統一的に扱われ、カルデロン問題およびゲルファンド問題の既知の結果が、一般の実主型作用素のクラスへと拡張される。

ABSTRACT

We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.

研究の動機と目的

• 広範な線形および非線形微分作用素のクラスにわたる逆境界値問題の統一的枠組みを構築すること。
• 微局所的手法を用いて、カルデロン問題およびゲルファンド問題の既知の結果を一般の実主型作用素へと一般化すること。
• 一般作用素に適用可能な境界決定法を確立し、ゲージ同値性の意味で係数を回復可能にする。
• 双特徴線フローの構造を用いて、非線形実主型方程式における係数の決定に関するグローバル一意性を証明すること。
• 可変係数PDEの逆問題を解く際の特異点の伝播の役割を明確にすること。

提案手法

• 実同次主記号を有する実主型作用素を分析するために、微局所解析および擬微分作用素の理論を用いる。
• 準モード構成を用いて解を局所化し、境界付近における特異点の振る舞いを調べる。
• 漸近展開とトレース推定に基づく境界決定技術を適用し、境界における係数のテイラー級数を回復する。
• 古典的設定における測地線フローに代わって、中心的不変量としての零双特徴線フローの散乱関係を用いる。
• 係数回復問題を双特徴線ルート変換の逆問題に還元し、幾何解析における既知の結果を活用して散乱剛性問題を解く。
• トレース定理およびソボレフ推定を用いて境界トレースを制御し、パrameter h を小さくする極限におけるエネルギー推定を用いて一意性を確立する。

実験結果

リサーチクエスチョン

• RQ1 境界上のコーシー・データ集合は、一般の実主型作用素に対して、零双特徴線フローの散乱関係および双特徴線ルート変換を一意に特定できるか？
• RQ2 境界決定法は、波動方程式やラプラス作用素のような特定方程式を超えて、どの程度一般化可能か？
• RQ3 実主型作用素における特異点の伝播は、非線形方程式の逆問題を解くためにどのように寄与するか？
• RQ4 作用素にどのような構造的条件が課されると、逆問題が適切に定式化され、一意に解けるようになるか？
• RQ5 どのような意味で、本結果が輸送方程式、波動方程式、その他の双曲型方程式の逆問題を共通の枠組みで統一できるか？

主な発見

• 境界上のコーシー・データ集合は、任意の実主型作用素に対して、零双特徴線フローの散乱関係を一意に特定する。
• 低次の係数の双特徴線ルート変換は、境界上のコーシー・データ集合から一意に回復可能である。
• 一般の実主型作用素に対して境界決定法が確立され、境界における係数のテイラー級数がゲージ同値性の意味で回復可能である。
• 係数が実解析的である場合、境界決定結果は係数回復におけるグローバル一意性に導く。
• 双特徴線ルート変換の逆問題に還元することにより、非線形実主型方程式においてグローバル一意性が証明された。
• カルデロン問題およびゲルファンド問題の既知の結果が、可変係数および非捕捉条件を満たす作用素を含むより広い作用素クラスへと拡張された。