Stable determination of the first order perturbation of the biharmonic operator from partial data

技術要約：部分データからの二重調和演算子の一次摂動の安定決定

問題設定
本論文は、滑らかな境界 $\partial\Omega$ を持つ有界領域 $\Omega \subseteq \mathbb{R}^n$ ($n \ge 3$) における、摂動を受けた二重調和演算子に関する逆境界値問題を扱う。この演算子は $L_{A,q} = \Delta^2 + A(x) \cdot D + q(x)$ と定義される。ここで $D = i^{-1}\nabla$ であり、$A$ は $W^{1,\infty}(\Omega, \mathbb{C}^n)$ に属するベクトル場、$q$ は $L^\infty(\Omega, \mathbb{C})$ に属するポテンシャルである。本研究は、部分データの設定、すなわち、任意の小さな開部分集合 $\gamma_1, \gamma_2 \subset \partial\Omega$ 上での測定から係数 $A$ および $q$ を復元することに焦点を当てている。

問題では、係数が境界の近傍 $\omega_0$ において既知であることを仮定している。データは、$\gamma_1$ 上でサポートされた境界データ $(f, g)$ から、測定される法線微分 $(\partial_\nu u, \partial_\nu(\Delta u))$ への写像である部分ディリクレ・トゥ・ノイマン（DtN）写像 $\Lambda_{\gamma_1, \gamma_2}^{A,q}$ によって提供される。主な目的は、一次摂動 $A$ と零次摂動 $q$ の両方に関する安定性評価（測定誤差が係数の再構成にどのように影響するかを定量化すること）を確立することである。

手法
著者らは、楕円型演算子の逆問題における標準的な手法である複素幾何学的光学（CGO）解の手法を採用している。CGO解の構成には、以下の主要な技術的要素が含まれる：

1. CGO解の構成: 著者らは、$\zeta \cdot \zeta = 0$ を満たす複素ベクトル $\zeta$、セミクラシカル・パラメータ $h$、および $h \to 0$ のときに消滅する剰余項 $r(x)$ を用いて、$u(x) = e^{ix\cdot\zeta/h}(a(x) + r(x))$ という形式を持つ、随伴方程式および順方向方程式の解 $u_1$ および $u_2$ を構成する。
2. 積分恒等式とグリーンの公式: 二つの演算子の差にグリーンの公式を適用し、部分DtN写像を利用することで、係数の差（$A_1 - A_2$ および $q_1 - q_2$）とDtN写像の差を結びつける積分恒等式を導出する。
3. 局所的定量的一意継続: 本研究における重要な革新は、斉次境界条件を持つ非斉次二重調和方程式の解に対する、局所的定量的一意継続評価の導出である。これは、セミクラシカル二重調和演算子 $h^4\Delta^2$ に対する**カルレマン評価（Carleman estimates）**を用いて達成される。このステップにより、著者らは全境界ではなく、測定部分集合 $\gamma_2$ 上の解のノルムを制御することが可能となり、これが部分データの設定において不可欠となる。
4. ベクトル場の分解: ベクトル場 $A$ をその外微分 $dA$（積分恒等式のフーリエ変換を通じて自然に得られる）から復元するために、著者らは$A = A_{sol} + \nabla \phi$というヘルムホルツ型の分解を利用する。彼らは、$dA$の境界を用いて$A_{sol}$を、また境界値問題を解むことで$\phi$ を推定し、ソボレフ埋め込みおよび補間不等式を適用する。
5. パラメータの最適化: セミクラシカル・パラメータ $h$ とフーリエ領域における周波数カットオフ $\rho$ を最適化することで、CGOの剰余項とカルレマン評価における指数関数的重みから生じる誤差項のバランスを取り、安定性評価を導出する。

主要な貢献と結果
本論文は、逆問題に特有の性質である**対数型（logarithmic-type）および二重対数型（double-logarithmic-type）**の安定性評価を確立している。

• 一次摂動 ($A$) に対する安定性:
  定理 1.1 は、ベクトル場 $A$ に対する対数型の安定性評価を確立している。具体的には、$A_1 - A_2$ の $L^\infty$ ノルムは、DtNの差のべき乗と、DtNの差の負の対数冪の和によって抑えられる：
  $$\|A_1 - A_2\|_{L^\infty} \lesssim \|\Lambda_1 - \Lambda_2\|^{\mu_1} + |\log \|\Lambda_1 - \Lambda_2\||^{-\mu_2}$$
  この結果は、一意性の結果を補完する定量的な安定性境界を提供する。

• 一次項が存在する場合の零次摂動 ($q$) に対する安定性:
  定理 1.2 は、一次項 $A$ が存在する場合のポテンシャル $q$ に対する**対数対数型（log-log-type）**の安定性評価を確立している：
  $$\|q_1 - q_2\|_{H^{-1}} \lesssim |\log |\log \|\Lambda_1 - \Lambda_2\|||^{-\mu'}$$
  系 1.3 は、$q$ に関する追加の正則性仮定の下で、これを $L^\infty$ 推定へと拡張する。

• 一次項がない場合の零次摂動 ($q$) に対する安定性:
  定理 1.4 は、一次摂動（$A=0$）が存在しない場合、$q$ に対する安定性が対数対数型から対数型へと改善されることを示している：
  $$\|q_1 - q_2\|_{H^{-1}} \lesssim \|\Lambda_1 - \Lambda_2\|^{2/3} + |\log \|\Lambda_1 - \Lambda_2\||^{-2/(n+2)}$$
  これは、二重調和演算子の一次項によって導入される特有の困難さを浮き彫りにしている。

意義と主張
著者らは、本研究が部分データを用いた二重調和演算子の一次摂動に関する最初の安定性結果を提供することを主張している。この問題の一意性は以前に確立されているが（[42]を参照）、安定性解析は著しく困難である。

本論文は、二つの主要な技術的新規性を強調している：

1. 局所的一意継続: カルレマン評価を用いた高次楕円型演算子（具体的には二重調和演算子）の局所的定量的一意継続評価の導出。著者らは、この特定の部分データの設定における高次演算子に対するこのような結果は初であると述べている。
2. 部分データの取り扱い: 特殊な幾何学的構成（平坦な進入不能領域など）や全境界での測定を必要とせず、境界上の任意の小さな開部分集合上の測定を用いて安定性評価を導出できること。

著者らは、自らの結果を既存の一意性定理を補完するものとし、シュレディンガー演算子や磁気シュレディンガー演算子で使用される手法との類似性を指摘しつつ、二重調和演算子の構造およびその一次摂動におけるゲージ不変性の欠如によって生じる独自の課題に対処している。