On the Calderón problem with piecewise polynomial anisotropic conductivities and many-flat-face interfaces

技術要約：区分的多項式異方性導電率におけるカルデロン問題の一意性

問題設定
本論文は、次元 $n \ge 3$ における逆導電率問題（カルデロン問題）を扱う。目的は、有界領域 $\Omega \subset \mathbb{R}^n$ 内の異方性導電率を表す対称かつ一様楕円な行列場 $\sigma(x)$ を決定することである。決定は、相対的に開集合 $\Sigma \subset \partial \Omega$ 上で定義された局所的なディリクレ・ノイマン（DN）写像 $\Lambda_{\Omega, \Sigma}$ に基づいて行われる。

一般的な異方性の場合、一意性は境界を固定する微分同相写像（ゲージ自由度）の差を除いてのみ成立すると予想されている。このゲージを克服するため、本論文では以下の構造的仮定を課している：

1. 既知の分割： ドメインは、既知の有限個の互いに素なリプシッツ細胞 $\{D_\alpha\}$ の集合に分割されている。
2. 区分的多項式構造： 各細胞 $D_\alpha$ 上において、導電率 $\sigma$ は既知の次数の対称行列値多項式 $P_\alpha$ の制限である。
3. 不連続性： 導電率は、細胞間の界面において不連続であってもよい。

逆問題は、局所DN写像 $\Sigma$ から、多項式行列 $\{P_\alpha\}$ の係数を一意に復元することである。

手法
一意性の証明は、「レイヤーストリッピング（層剥離）」の議論と、単一の細胞に関する局所的な復元定理を組み合わせて行われる。その手法は主に以下の2つの段階で構成される：

1. 局所的な細胞の復元（平坦な面の決定）：
   本論文では、もし単一の細胞上の導電率が次数最大 $N$ の多項式であり、かつDN写像がその細胞の十分多くの平坦な面上で既知であるならば、その多項式は一意に決定されることを確立している。

• シュア形式（Schur Forms）： 境界データは、各平坦な界面における導電率の「共法シュア形式（conormal Schur form）」を決定する。この形式は、DN写像の主記号から導かれるゲージ不変な量である。
• 多項式の伝播： 導電率は多項式であるため、その平坦な面上のシュア形式もまた多項式となる。平坦な面の小さな開パッチ上でのシュア形式の知識は、多項式の恒等定理を通じて、支持超平面全体へと拡張される。
• 点的な復元： 3つの支持超平面が線形独立な共法ベクトルを持つ状態で交差する点において、これら3つの対応するシュア形式は、その点における導電率行列を一意に決定する。
• 代数的議論： 十分な数の（具体的には、その交差に関して生成条件を満たす $N+3$ 個の）生成的（generic）な平坦な面に対してシュア形式が一致することを要求することで、本論文は、2つの候補となる多項式導電率の差が恒等的に消滅しなければならないことを、割り切れる性の議論を用いて示している。

2. グローバルな復元（レイヤーストリッピングと内部拡張）：
   グローバルな一意性は、細胞を逐次的に復元することによって達成される（「許容可能な平坦面復元順序」に従う）。

• 許容可能性： この順序は、次のステップで復元される細胞が、十分な数の生成的（generic）な平面（外部の面、または既に復元された細胞との内部界面）へのアクセスを持ち、かつ復元された領域が初期の測定境界に対して面連結（face-connected）であることを要求する。
• 内部拡張： 一部の領域の細胞が復元されると、その領域は「既知の領域」として機能する。本論文は、ルンゲ近似（一意継続性とホルムグレンの定理に基づく）を利用して、元の境界 $\Sigma$ 上の局所DN写像が、未復元領域の内部界面上の局所DN写像を決定することを示す。
• 伝播： これにより、局所復元定理を次の細胞に対して反復的に適用することが可能となり、境界から内部へと一意性を伝播させることができる。

主要な結果

• 定理 1.4（一意性）： 既知の有限個の平坦リプシッツ分割、区分的多項式導電率、および許容可能な平坦面復元順序の存在という仮定の下で、局所DN写像 $\Lambda_{\Omega, \Sigma}$ はドメイン $\Omega$ 内の導電率 $\sigma$ を一意に決定する。具体的には、$\Lambda_{\Omega, \Sigma}^{\sigma(1)} = \Lambda_{\Omega, \Sigma}^{\sigma(2)}$ ならば、$\sigma(1) = \sigma(2)$ が $\Omega$ 全体で成立する。
• 系 1.5（安定性）： パラメータ空間が有限次元であるため（多項式の係数）、本論文はヘルダー安定性評価を導出している。許容されるパラメータのコンパクト集合上において、多項式係数の差は、DN写像の差のヘルダー冪によって抑えられる。

意義と主張
本論文は、不連続な導電率を含む、有限次元の異方性カルデロン問題に対する厳密な一意性の結果を提供していると主張している。その意義は以下の点にある：

• ゲージの克服： 構造的仮定（区分的多項式）と幾何学的条件（多くの平坦な面）を組み合わせることで、異方性問題において通常一意性を妨げる微分同相写像のゲージを排除している。
• 先行研究の一般化： 区分的に定数である導電率に関する既存の結果を、より一般的な区分的多項式導電率へと拡張している。
• 幾何学的仮説： 本論文は、平坦な面同士の生成的（generic）な交差を含む、特定の幾何学的条件（「許容可能な平坦面復元順序」）を導入している。この条件は、他の研究における曲面境界の仮定に類似しているが、平坦な界面が本質的な要素となる多面体やメッシュ型のモデルに合わせて調整されている。
• 安定性： 有限次元の設定と順方向写像の解析性から、ヘルダー安定性評価を導出することは、復元のロバスト性を定量的に測る手段を提供している。

証明戦略は、超平面上のシュア形式から多項式を復元するという代数的な問題と、境界データを通じた領域の伝播という解析的な問題を分離しており、後者には解析的な係数を持つ楕円型方程式の一意継続性とルンゲ近似を利用している。