[論文レビュー] Low regularity theory for the inverse fractional conductivity problem

Jesse Railo, Philipp Zimmermann|arXiv (Cornell University)|Aug 24, 2022

Numerical methods in inverse problems被引用数 1

ひとこと要約

本稿は、任意の次元において最小限の H^{s,n/s} 正則性仮定の下で、逆分数階導電率問題に対する部分的データの一意性を確立し、先行研究を拡張している。測定が一方向に有界な領域から正の距離をあける非交差集合で行われる場合、特に s ∈ (n/4, 1) および n = 2, 3 の場合に一意性が成り立たない反例を提示している。また、Runge近似性質に依存しない一意性の新証明を提供し、Habermanの古典的Calderón結果（W^{1,n} 導電率）と類似した枠組みを提示している。

ABSTRACT

We characterize partial data uniqueness for the inverse fractional conductivity problem with $H^{s,n/s}$ regularity assumptions in all dimensions. This extends the earlier results for $H^{2s,\frac{n}{2s}}\cap H^s$ conductivities by Covi and the authors. We construct counterexamples to uniqueness on domains bounded in one direction whenever measurements are performed in disjoint open sets having positive distance to the domain. In particular, we provide counterexamples in the special cases $s \in (n/4,1)$, $n=2,3$, missing in the literature due to the earlier regularity conditions. We also give a new proof of the uniqueness result which is not based on the Runge approximation property. Our work can be seen as a fractional counterpart of Haberman's uniqueness theorem for the classical Calderón problem with $W^{1,n}$ conductivities when $n=3,4$. One motivation of this work is Brown's conjecture that uniqueness for the classical Calderón problem holds for $W^{1,n}$ conductivities also in dimensions $n \geq 5$.

研究の動機と目的

• すべての次元において、H^{s,n/s} 正則性という最小限の仮定の下で、逆分数階導電率問題の部分的データの一意性を確立すること。
• 一方向に有界な領域から正の距離をあける非交差開集合で測定が行われる場合の、一意性の反例を構成すること。
• 特に s ∈ (n/4, 1) および n = 2, 3 の場合に、先行文献で欠落していたケースを、新しい正則性枠組みのもとで解消すること。
• Runge近似性質に依存しない一意性の証明を提供し、既存のアプローチ（複素幾何光学や近似法）とは異なる代替的手段を提示すること。

提案手法

• 外部領域上で定義された非局所的Dirichlet-to-Neumann写像を用いた分数階Calderón問題の枠組みを利用する。
• 逆問題の線形化を図るため、背景偏差 mγ = γ^{1/2} - 1 を用い、問題をシュレディンガー型方程式に還元する。
• 分数階ラプラシアンの唯一性継続性性質（UCP）を用いて、内部領域における解の制御を行う。
• 滑らか化およびカットオフ技術を用いて、外部領域で compact 支持を持つ H^s(R^n) 解を構成し、測定データと整合性を保つ。
• 一方向に有界な領域におけるLax-Milgram定理および分数階Poincaré不等式を適用し、解の存在性と正則性を保証する。
• 滑らか化された調和拡張の畳み込みを用いて反例を構成し、異なる導電率が与えられた条件下で同一の外部DNデータをもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 H^{s,n/s} 正則性仮定のもとで、任意の次元における逆分数階導電率問題の部分的データの一意性は成立するか？特に s ∈ (n/4, 1) および n = 2, 3 の場合に、これまで欠落していたケースが含まれるか？
• RQ2 一方向に有界な領域から正の距離をあける非交差開集合で測定が行われる場合、一意性の反例を構成できるか？
• RQ3 Runge近似性質に依存しない形で、分数階Calderón問題の一意性を証明することは可能か？
• RQ4 H^{s,n/s} の正則性閾値は、H^{2s, n/2s} ∩ H^s といった先行結果と比較して、鋭さや適用可能性においてどのように異なるか？
• RQ5 背景偏差 mγ は、逆問題の線形化を可能とし、分数階シュレディンガー方程式への還元を可能にする役割を果たすか？

主な発見

• 本稿は、任意の次元において H^{s,n/s} 正則性仮定のもとで、逆分数階導電率問題の部分的データの一意性を確立し、従来の H^{2s, n/2s} ∩ H^s 正則性を要件としていた結果を拡張している。
• s ∈ (n/4, 1) および n = 2, 3 の場合に、一方向に有界な領域から正の距離をあける非交差集合で測定が行われる場合、一意性が成り立たない反例が構成された。
• 構成された反例は、L∞ に属する導電率および H^{s,n/s}(R^n) ∩ H^s(R^n) に属する背景偏差をもつものであり、正則性閾値の鋭さを示している。
• Runge近似性質に依存しない一意性証明が新たに提示され、複素幾何光学や近似法に依存する既存のアプローチとは異なる直接的代替法を提供している。
• 分数階Calderón問題における外部決定結果が、低正則性設定へと一般化され、古典的Calderón問題におけるBrownの境界決定結果に類似している。
• Ω における (−Δ)^s m + qγ₂ m = 0 で、Ωₑ において m = m₀ となる外部問題の解が H^s(R^n) 内で一意であることが示され、DN写像の同値性が背景偏差 m₀ によって特徴づけられる。