[論文レビュー] The Calder\'on problem for a space-time fractional parabolic equation

Ru-Yu Lai, Yi‐Hsuan Lin+1 more|arXiv (Cornell University)|May 21, 2019

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

ひとこと要約

本稿は、空間時間分数型放物型方程式 $((\nabla_t - \nabla)^s + Q)u = 0$ における有界なポテンシャル $ Q $ の逆問題について、無限に多くの外部ディリクレ・トゥ・ノイマン測定値からそのグローバル一意性を確立する。ランゲ近似と、カファレリ＝シルベスター拡張に対する新規のキャーレマン推定を用いて、著者らは $ Q $ が $ (-T,T) \times \bar{\nabla} $ で一意に特定されることを証明し、さらにティコノフ正則化と弱的ユニーク続行性を用いた一回測定による構成的回復結果も示している。

ABSTRACT

In this article we study an inverse problem for the space-time fractional parabolic operator $(\\partial_t-\\Delta)^s+Q$ with $0<s<1$ in any space dimension. We uniquely determine the unknown bounded potential $Q$ from infinitely many exterior Dirichlet-to-Neumann type measurements. This relies on Runge approximation and the dual global weak unique continuation properties of the equation under consideration. In discussing weak unique continuation of our operator, a main feature of our argument relies on a Carleman estimate for the associated fractional parabolic Caffarelli-Silvestre extension. Furthermore, we also discuss constructive single measurement results based on the approximation and unique continuation properties of the equation.

研究の動機と目的

• 非局所的かつ非自己随伴な空間時間分数型放物型作用素における有界ポテンシャル $ Q $ の回復という逆問題のグローバル一意性を確立すること。
• 空間的・時間的分数マーチャンズ導関数を含む非局所的設定に、カルデロン型逆問題技法を拡張すること。
• 近似および一意的続行性の性質に裏打ちされた、単一の外部測定値に基づく構成的回復手法の開発。
• 一般空間次元における分数型放物型作用素 $ (\nabla_t - \nabla)^s + Q $ に対する弱的ユニーク続行性およびランゲ近似の証明。

提案手法

• 作用素 $ (\nabla_t - \nabla)^s $ の退化する放物型カファレリ＝シルベスター拡張に対するキャーレマン推定を導出し、境界付近での解の制御を可能にする。
• ランゲ近似性質を用いて、双対空間において稠密な解を構成し、外部測定値からの一意性証明に不可欠な役割を果たす。
• アレサンドリン型積分恒等式を適用して、ポテンシャルの差とディリクレ・トゥ・ノイマンデータの差との関係を導き、$ Q_1 = Q_2 $ に至る。
• コンパクト作用素の定式化を用いたティコノフ正則化を適用し、単一の外部測定値から解 $ u $ を再構成する。
• $ (\nabla_t - \nabla)^s $ の擬局所性を活用して測定作用素のコンパクト性を保証し、安定な再構成を可能にする。
• 弱的ユニーク続行性を用いて $ u $ が稠密な集合で消えないことを保証し、点ごとの $ Q $ の回復が可能になる。$ Q = - (\nabla_t - \nabla)^s u / u $ を通じて点ごとの回復が可能となる。

実験結果

リサーチクエスチョン

• RQ1 空間時間分数型放物型方程式 $((\nabla_t - \nabla)^s + Q)u = 0$ におけるポテンシャル $ Q $ は、無限に多くの外部ディリクレ・トゥ・ノイマン測定値から一意に回復可能か？
• RQ2 作用素 $ (\nabla_t - \nabla)^s $ の非自己随伴性および非局所性は、逆問題の一意性に不可欠な弱的ユニーク続行性を有するか？
• RQ3 方程式の近似および続行性の性質を踏まえると、単一の外部測定値で $ Q $ を再構成可能か？
• RQ4 カファレリ＝シルベスター拡張が、分数型放物型作用素のキャーレマン推定の確立において果たす役割は何か？
• RQ5 ティコノフ正則化は、この非局所的かつ非自己随伴な設定において、単一測定値から $ Q $ を構成的に再構成するためにどのように適応可能か？

主な発見

• 未知の有界ポテンシャル $ Q $ は、無限に多くの外部ディリクレ・トゥ・ノイマン測定値から $ (-T,T) \times \bar{\nabla} $ で一意に特定される。
• 作用素 $ (\nabla_t - \nabla)^s $ のカファレリ＝シルベスター拡張に対する新規のキャーレマン推定が確立され、弱的ユニーク続行性の証明に不可欠である。
• 分数型放物型作用素に対してランゲ近似性質が成り立つ。これにより、領域内の任意の $ L^2 $ 関数を近似可能な解の構成が可能になる。
• ティコノフ正則化と弱的ユニーク続行性を用いた一回測定による再構成結果が確立され、外部測定値一つから $ Q $ の構成的回復が可能になる。
• ポテンシャル $ Q(t,x) $ は、$ u(t_k,x_k) \neq 0 $ となる点列 $ (t_k,x_k) \to (t,x) $ 沿いでの極限 $ Q(t,x) = -\frac{(\nabla_t - \nabla)^s u(t_k,x_k)}{u(t_k,x_k)} $ として点ごとに再構成可能であり、グローバルな回復が保証される。
• 空間的・時間的分数マーチャンズ導関数を含む $ (\nabla_t - \nabla)^s $ の非局所性により、空間と時間の結合が生じ、拡張を介して楕円型手法を用いた解析が可能になり、適切な定式化および正則性の結果が得られる。