[論文レビュー] Strong uniqueness principle for fractional polyharmonic operators and applications to inverse problems

Ching-Lung Lin, Hongyu Liu+1 more|arXiv (Cornell University)|Jul 3, 2023

Numerical methods in inverse problemsMathematics被引用数 3

ひとこと要約

本稿は、異なる次数と非等方的係数を有する複数の分数ラプラシアンの組み合わせである分数多調和作用素について、強力な一意性原理を確立する。これにより、境界領域における外部測定からポテンシャル、源項、非等方的係数を一意に回復可能となる。新規の一意的継続性性質を用いて、有界領域内におけるディリクレ・トゥ・ノイマン写像が、基礎となる多分数作用素と係数を一意に特定することを証明する。

ABSTRACT

In this work, we are concerned with inverse problems involving poly-fractional operators, where the poly-fractional operator is of the form \[P( (-Δ_g)^s)u := \sum_{i=1}^M α_i(-Δ_{g_i})^{s_i}u\] for $s=(s_1,\dots,s_M)$, $0

研究の動機と目的

• 複数の異なる次数と非等方的構造を有する分数ラプラシアンから成る多分数作用素を含む逆問題のための数学的枠組みを構築すること。
• このような多分数作用素を含む方程式の解に対して、逆問題における同定可能性を証明するために不可欠な、強い一意的継続性性質（UCP）を確立すること。
• 外部測定から、ポテンシャル関数 $ q(x) $、半線形ケースにおける源項、非等方的分数作用素に関連する係数 $ \alpha_i $ の一意同定を証明すること。
• 局所的および非局所的挙動の組み合わせを一般の多分数作用素フレームワークを通じて統合することにより、既存の分数作用素に関する逆問題の結果を拡張すること。

提案手法

• 異なる非等方的計量 $ g_i $ を有する、$ 0 < s_1 < \cdots < s_M < \infty $、$ s_M \notin \mathbb{Z} $ を満たす多分数作用素 $ P((- abla)^s) = \sum_{i=1}^M \alpha_i (-\Delta_{g_i})^{s_i} $ を形式化する。
• 外部ディリクレデータ $ f \in H^{s_M}(\Omega^c) $ を非局所作用素が $ \Omega $ 上の解に作用する形で定義されるディリクレ・トゥ・ノイマン（DtN）写像 $ \mathcal{M}_{P,q} $ を定義し、測定に基づく逆問題を可能にする。
• 解 $ u $ が $ W \subset \Omega^c $ の部分集合で消える場合、$ \tilde{P}((- abla_{\tilde{g}})^{\tilde{s}})u = 0 $ が $ \Omega $ 内で成り立つ限り、$ u \equiv 0 $ が $ \mathbb{R}^n $ で成立することを主張する、新規の強い一意的継続性原理（定理2.11–2.12）を確立する。
• 線形化技術を用いて、異なる設定下での2つの解の差 $ \tilde{u} = u_1 - u_2 $ を分析することで逆問題を簡略化し、UCPを用いて係数の等価性を導出する。
• UCPを用いて、1つの非ゼロ外部データ $ f $ に対してDtN写像が一致する場合、$ (P^1, q_1) $ と $ (P^2, q_2) $ が $ \Omega $ の部分集合で同一であることを示す。
• 解の存在性と一意性を保証するため、スペクトル的および関数解析的道具（強制性仮定および非固有値条件 (1.4)）を用いる。

実験結果

リサーチクエスチョン

• RQ1 異なる次数と非等方的係数を有する複数の分数ラプラシアンを含む多分数方程式の解に対して、強い一意的継続性性質を確立できるか？
• RQ2 このような多分数作用素のディリクレ・トゥ・ノイマン写像が、ポテンシャル $ q(x) $、半線形ケースにおける源関数、非等方的作用素に関連する係数 $ \alpha_i $ を一意に同定するのに十分か？
• RQ3 単一の式に局所的および非局所的作用素を組み合わせた場合、一意的継続性および逆問題における同定可能性にどのような影響を与えるか？
• RQ4 提案されたUCPフレームワークを、変数係数または変数指数を有する分数作用素の回復に拡張可能か？
• RQ5 係数 $ \alpha_i $ を一意に回復するために必要な最小測定回数は何か？また、提案されたUCPを用いて1回の測定で達成可能か？

主な発見

• 多分数方程式の解に対して、新たな強い一意的継続性原理が確立された。これは、解が外部領域の空でない開集合で消え、内部領域で多分数方程式を満たす場合、解が $ \mathbb{R}^n $ 全体で恒等的にゼロに一致することを示す。
• 作用素が強制的であり、0が固有値でない限り、ディリクレ・トゥ・ノイマン写像 $ \mathcal{M}_{P,q} $ は $ \Omega $ 内のポテンシャル $ q(x) $ を一意に特定する。
• 前向き問題の解が $ \Omega $ の適切な部分集合でゼロでないという仮定の下で、非等方的分数ラプラシアンに関連する係数 $ \alpha_i(x) $ は1回の測定から一意に回復可能である。
• 半線形ケースにおける源関数は、線形化の議論と強いUCPを用いて、DtN写像から一意に同定可能である。差の解の差異を排除できる。
• 本フレームワークは、非局所的および局所的成分を含む多分数作用素に対しても係数の回復を可能にし、より高次の分数ラプラシアンに関する既存の結果を一般化する。
• 結果は最小限の仮定のもとで成立する：領域は有界かつリプシッツ的であり、最高次の指数 $ s_M $ は非整数であり、解空間は $ H^{s_M}(\mathbb{R}^n) $ である。