[論文レビュー] Carleman estimates for elliptic operators with complex coefficients Part II: transmission problems

Mourad Bellassoued, Jérôme Le Rousseau|arXiv (Cornell University)|May 9, 2016

Numerical methods in inverse problems参考文献 28被引用数 3

ひとこと要約

本稿は、複素係数を有する2階楕円型送達問題に対して、微局所的および局所的なカルレマン推定を、非退化性および拡張された送達条件のもとで確立する。微局所的因子分解と2つの大きなパラメータ（τ および γ）の導入により、指数関数的重みを有する明示的な推定が得られ、偏微分方程式における一意的連続性および逆問題への応用が可能になる。

ABSTRACT

We consider elliptic transmission problems with complex coefficients across an interface. Under proper transmission conditions, that extend known conditions for well-posedness, and sub-ellipticity we derive microlocal and local Carleman estimates near the interface. Carleman estimates are weighted a priori estimates of the solutions of the elliptic transmission problem. The weight is of exponential form, exp($tau$ ϕ) where $tau$ can be taken as large as desired. Such estimates have numerous applications in unique continuation, inverse problems, and control theory. The proof relies on microlocal factorizations of the symbols of the conjugated operators in connection with the sign of the imaginary part of their roots. We further consider weight functions where ϕ = exp($γ$$ψ$), with $γ$ acting as a second large paremeter, and we derive estimates where the dependency upon the two parameters, $tau$ and $γ$, is made explicit. Applications to unique continuation properties are given.

研究の動機と目的

• 界面をはさんで複素係数を有する楕円型送達問題に対してカルレマン推定を導出すること。
• 正則性を保証する送達条件を、複素係数の場合にまで拡張すること。
• 2つの大きなパラメータ τ および γ に明示的な依存関係をもつ微局所的および局所的カルレマン推定を確立すること。
• 推定を用いて、送達問題の解に対する一意的連続性の性質を証明すること。
• 送達問題に特化した2パラメータの擬微分作用素の計算法を構築すること。

提案手法

• 著者らは、根の虚部の符号に基づいて、共役作用素の記号の微局所的因子分解を用いる。
• 重み関数 φ = exp(γψ) を導入し、γ を第2の大きなパラメータとして用いることで、推定の τ および γ への依存関係を精緻化する。
• 界面付近の局所座標における系の定式化により、作用素記号の観点から送達条件を導出する。
• 共役作用素の構成とその主要記号の解析により、強い擬凸性を確立する。
• 大きなパラメータ τ および γ を有するソボレフノルムを用いて、重み付き推定における微分の成長を制御する。
• 界面付近での局所問題への還元と、交換子推定を用いた送達作用素の取り扱いを含む分析を行う。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてカルレマン推定を、界面をはさんで複素係数を有する楕円型送達問題に拡張できるか？
• RQ2 複素係数の場合に、正則性とカルレマン推定への適合性を保証する送達条件は何か？
• RQ3 2つの大きなパラメータ τ および γ への依存関係を、送達問題のカルレマン推定において明示的にどのように扱えるか？
• RQ4 非退化性が微局所的カルレマン推定の有効性を保証するために果たす役割は何か？
• RQ5 導出された推定が、送達問題の解に対する一意的連続性をどの程度まで示すのか？

主な発見

• 本稿は、複素係数を有する楕円型送達問題の解に対して、指数関数的重み exp(τφ) を持つ局所的カルレマン推定を確立する。ここで τ は任意に大きくとれる。
• 2つの大きなパラメータ τ および γ への明示的依存関係が導出され、φ = exp(γψ) により、微局所解析におけるより鋭い制御が可能になる。
• 送達条件は複素係数の場合にまで拡張され、正則性およびカルレマン枠組みとの適合性を保つことが示された。
• 推定は、強い擬凸性および送達条件のもとで、一意的連続性の性質の証明に応用された。
• 大きな γ を用いることで境界項を吸収でき、推定が安定的かつ定量的であることが保証された。
• 古典的なカルレマン推定は、複素係数を有する送達設定に一般化され、逆問題および制御理論における新たな道筋を開いた。