[論文レビュー] Inverse problems for the fractional Laplace equation with lower order nonlinear perturbations

Ru-Yu Lai, Laurel Ohm|arXiv (Cornell University)|Sep 16, 2020

Numerical methods in inverse problems参考文献 45被引用数 5

ひとこと要約

本稿は、複数の非線形低位項を含む分数ラプラシアン方程式の逆問題の解の存在と一意性を確立する。ランジュ近似性と分数ラプラシアンの強力な一意性を利用することで、外側局所測定によるディリクレ・ツー・ノイマン写像から、係数 $ b(x) $、方向成分 $ d(x,y) \cdot (x-y) $、および完全な非線形ポテンシャル $ a(x,z) $ が、小さなデータ条件下で一意に再構成可能であることを証明する。

ABSTRACT

We study the inverse problem for the fractional Laplace equation with multiple nonlinear lower order terms. We show that the direct problem is well-posed and the inverse problem is uniquely solvable. More specifically, the unknown nonlinearities can be uniquely determined from exterior measurements under suitable settings.

研究の動機と目的

• 非局所作用素を含む分数的楕円型方程式における、複数の非線形低位項の逆問題を扱う。
• 小さな外部データ条件下での直接問題の適切な定式化を確立する。
• 局所的外部測定から未知係数 $ b(x) $、$ d(x,y) $、および $ a(x,z) $ の一意的同定を証明する。
• カルデロン型逆問題フレームワークを、非線形的・非局所的・高階の摂動項を含む方程式へ拡張する。
• 非局所PDEにおける複数の非線形項の同時再構成のための厳密な解析的基盤を提供する。

提案手法

• 係数 $ b(x) $、$ d(x,y) $、および $ a(x,z) $ を含む分数的楕円型方程式を定式化する。ここで $ a(x,z) $ は $ z=0 $ で $ m+1 $ 階で消える正則関数である。
• 外部データ $ f \in C_c^\infty(W_1) $ を用いてディリクレ・ツー・ノイマン（DN）写像を定義し、$ \Omega_e $ の部分集合 $ W_2 \subset \Omega_e $ における制限を測定する。
• ランジュ近似性を用いて、$ \Omega $ 内の任意の $ L^2 $ 関数を近似する解を構成し、係数差の点ごとの回復を可能にする。
• 分数ラプラシアンの強力な一意性を適用し、DN写像差の消えることが非線形項の消えることを示唆する。
• 反復的摂動解析と $ a(x,z) $ のテイラー展開を用いて、$ \partial_z^k a(x,0) $ を再帰的に回復する。
• 最大原理を用いて $ u^{(1)} \neq 0 $ を保証し、$ N $ 階方程式から $ \partial_z^N a(x,0) $ の点ごとの同定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ・ツー・ノイマン写像の局所的外部測定から、未知の非線形係数 $ b(x) $、$ d(x,y) $、$ a(x,z) $ が一意に同定可能か。
• RQ2 分数ラプラシアンの非局所的性質が、非線形低位項を含む逆問題の可解性および一意性に与える影響は何か。
• RQ3 直接問題の適切な定式化と逆問題の一意性を保証するための係数 $ b $、$ d $、$ a $ に対する条件は何か。
• RQ4 方向成分 $ d(x,y) \cdot (x-y) $ はどの程度まで回復可能か。また、その回復に必要な構造的仮定は何か。
• RQ5 高次項を含む場合でも、完全な非線形ポテンシャル $ a(x,z) $ はDN写像データから再構成可能か。

主な発見

• 外部データ $ f \in C_c^\infty(W_1) $ が小さい条件下で、直接問題は適切に定式化されており、適切な関数空間内に解の存在と一意性が保証される。
• 係数 $ b(x) $ はDN写像データから一意に同定可能であり、測定条件のもとで $ \Omega $ 内で $ b_1(x) = b_2(x) $ が成り立つ。
• 方向成分 $ d(x,y) \cdot (x-y) $ は一意に回復可能であり、任意の $ (x,y) \in \Omega \times \Omega $ に対して $ d_1(x,y) \cdot (x-y) = d_2(x,y) \cdot (x-y) $ が成り立つ。
• 完全な非線形ポテンシャル $ a(x,z) $ は $ \Omega \times \mathbb{R} $ で一意に同定可能であり、$ a_1(x,z) = a_2(x,z) $ が成り立つ。これはゼロにおけるテイラー係数の再帰的回復によって達成される。
• 証明はランジュ近似性と分数ラプラシアンの強力な一意性に依拠しており、部分的な外部データからの再構成を可能にする。
• 回復プロセスにおける可積分性を保証するため、各固定された $ x \in \Omega $ に対して $ (d_1 - d_2)(x,y) |x-y|^{-n/2-t} \in L^2(\Omega) $ が成り立つものと仮定する。