Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

技術要約：動的境界条件を持つ波動方程式の逆源問題におけるリプシッツ安定性

問題設定
本論文は、有界領域 $\Omega \subset \mathbb{R}^n$ における波動方程式の逆源問題を取り扱う。境界は滑らかな $\Gamma = \Gamma_0 \cup \Gamma_1$ で構成される。この系には、ディリクレ条件（$\Gamma_0$ 上）と動的（運動学的）境界条件（$\Gamma_1$ 上）を含む混合境界条件が組み込まれている。動的条件は、境界上の波の運動量とバルク・表面間の相互作用を考慮したものであり、$\partial^2_t y_\Gamma - \delta \Delta_\Gamma y_\Gamma + d\partial_\nu y + q_\Gamma(x)y_\Gamma = g(x,t)$ という方程式によってモデル化される。ここで、$y_\Gamma$ は解の境界上のトレースであり、$\Delta_\Gamma$ はラプラス・ベルトラミ演算子、$\partial_\nu$ は法線微分を表す。

主な目的は、バルク内の強制項 $f(x,t)$ と境界 $\Gamma_1$ 上の強制項 $g(x,t)$ の両方を、$\gamma \subset \Gamma_0$ における境界フラックス $\partial_\nu y$ の単一の部分的な測定から同時に決定するための、大域的なリプシッツ安定性を確立することである。源項は、その時間微分が初期値によって抑えられているという、許容集合 $S(C_0)$ に属すると仮定される。

手法
核心となる手法は、動的境界条件を持つ波動系に対する鋭い大域的カルマン評価（Carleman estimate）の導出に基づいている。著者らは、以下のステップを含む洗練されたアプローチを用いている。

1. 既往の重み関数の修正： 著者らは、GalおよびTebou [16] による先行研究で使用された重み関数 $\zeta(x,t) = |x-x_0|^2 - \beta t^2 + C_0$ における決定的な欠陥を特定している。具体的には、[16] で主張されていた恒等式 $\nabla^2_\Gamma \zeta = 2I$ が、標準的な領域（例：球体）に対しては誤りであることを示している。これを解決するため、著者らは新しい重み関数 $\psi(x,t) = \psi_0(x) - \beta t^2 + C_1$ を導入した。ここで $\psi_0(x) = \mu^2(x)$ であり、$\mu$ は $\Omega$ に含まれる凸集合 $\Omega_1$ に関連するミンコフスキー（ゲージ）関数である。この構成により、$\nabla_\Gamma \psi = 0$ および $\nabla^2_\Gamma \psi = 0$ が $\Gamma_1$ 上で保証され、誤った恒等式に依存することなく、必要な擬凸条件を満たすことができる。

2. カルマン評価の導出： 新しい重み関数を用いて、著者らは当該系に対するカルマン評価（定理 3.1）を導出する。主要な技術的成果は、条件 $\delta > d$ が成立する場合、左辺に接線方向の勾配項 $|\nabla_\Gamma y_\Gamma|^2$ を保持できる点にある。これは、パラメータ $\beta$ を慎重に選択し、新しい重み関数の特性を利用することで達成され、以前の研究で必要とされていた時間に関するカットオフ関数の使用を回避している。

3. 安定性の証明： 逆問題は、動的境界の設定へと（カットオフ関数を回避する）最近の手法を拡張することで解決される。系を時間で微分し、導出されたカルマン評価を時間微分された解に対して適用することにより、源項の $L^2$ ノルムを境界フラックスの時間の微分 $\partial_t \partial_\nu y$ の観測量に関連付ける。

4. 制御可能性への応用： 二次的な応用として、確立されたカルマン評価は、標準的な双対性の議論を通じて、ディリクレ部分 $\gamma \subset \Gamma_0$ にのみ作用する制御を持つ系の厳密な境界制御可能性を証明するために用いられる。

主要な結果

• 定理 3.1 (カルマン評価)： 本論文は、動的境界条件を持つ波動方程式に対する大域的カルマン評価を確立している。この評価は、境界上で擬凸性を保証する有効な重み関数を用いることで、[16] の結果を修正し改善している。極めて重要な点として、$\delta > d$ の条件下では、接線方向の微分項 $|\nabla_\Gamma y_\Gamma|^2$ を左辺に吸収しており、より鋭い不等式を提供している。
• 定理 4.1 (リプシッツ安定性)： 時間 $T$ が特定の最小時間 $T^*$（幾何学的形状および波の速度に依存する）より大きい場合、かつ $\delta > d$ であると仮定するとき、著者らは以下の大域的リプシッツ安定性評価を証明する：
  $$\|f\|_{L^2} + \|g\|_{L^2} \leq C \|\partial_t \partial_\nu y\|_{L^2(\gamma \times (0,T))}$$
  この結果は、単一の境界測定から源項を一意かつ安定に復元できることを保証している。
• 定理 5.5 (厳密な制御可能性)： 本系は、ディリクレ境界の部分集合 $\gamma$ に作用する単一の制御力を用いて、時間 $T > 2T^*$ において厳密に制御可能であることが示されている。これは、二つの制御力を必要としていた以前の研究と比較して改善されている。

意義および主張
著者らは、本研究が、一般的な動的／ディリクレ境界条件を持つ逆双曲型問題に対する、最初の大域的リプシッツ安定性の結果を提供するものであると主張している。その意義は以下の点にある：

1. 厳密な修正： 本論文は、標準的な領域における重み関数の解析において、GalおよびTebou [16] の重要な研究における根本的な誤りを修正している。
2. 鋭さ（Sharpness）： 導出されたカルマン評価は、$\delta > d$ の条件下で接線微分項を左辺に配置するという意味で「鋭い」。これは、以前の評価がそれらを右辺に配置していたか、あるいは追加の仮定を必要としていたこととは対照的である。
3. 手法の進展： 本論文は、シュレディンガー方程式のために元々用いられていた異なる重み関数が、バルクと表面のダイナミクスの結合に関連する困難を克服し、動的境界条件を持つ波動方程式にも成功的に適応できることを示している。
4. 最適性： 制御可能性の結果は、二つの制御を用いていた以前の著作とは異なり、ディリクレ部分における単一の制御で厳密な制御可能性を達成しているため、最適であるとされている。

最後に、本論文は未解決の問題を提示している。具体的には、$\delta \leq d$ のケース（現在のカルマン評価では特定の項を吸収できない）および、境界全体 $\Gamma$ に動的境界条件が課される場合への拡張である。