Reflected diffusion, no-flux continuity equations and confined Lagrangian flows in bounded domains

技術要約：有界領域における反射拡散、無流束連続方程式、および拘束されたラグランジュ流

問題設定
本論文は、有界領域における確率流のオイラー的記述（密度進化）とラグランジュ的記述（決定論的な粒子軌道）の間の数学的な関係を調査している。具体的には、無流束（no-flux）連続方程式を満たす密度–フラックスの組 $(p, J)$ が、閉じた領域 $\bar{\Omega}$ 内に留まり、かつ初期測度を所定の周辺分布へと輸送する**正則ラグランジュ流（Regular Lagrangian Flow; RLF）**を許容するかどうかを扱っている。

この問題は、反射拡散過程を用いた制約付き生成モデリングによって動機付けられている。これらのモデルでは、領域 $\Omega$ に閉じ込められた反射確率微分方程式（SDE）による順方向プロセスが用いられる。サンプリングは通常、密度の流れを逆転させることで行われる。反射SDEの周辺密度が、無流束境界条件を持つフォッカー・プランク方程式を満たすことは既知であるが、これらの周辺密度が、速度場 $v = f - \frac{1}{2}\sigma^2 \nabla \log p$ によって駆動される決定論的な**確率流常微分方程式（PF-ODE）**によって生成可能であると想定されることが多い。ここに、文献における決定的なギャップが存在する。すなわち、PF-ODEには明示的な反射項が含まれていないにもかかわらず、それは決して $\bar{\Omega}$ を逸脱しない軌道を生成しなければならない。本論文は、この「模倣」が成立するための正確な条件を確立し、それがいつ失敗するかを特定することを目的としている。

手法
分析は、低レギュラリティの速度場に対する連続方程式のためのアンブロジオ–ディペルナ–リオンズ（Ambrosio–DiPerna–Lions）理論に基づいている。核心となる手法は、**ゼロ拡張技術（zero-extension technique）**である。これは、速度場 $v$ を領域 $\Omega$ の外側でゼロに拡張して、$\mathbb{R}^d$ 上の場 $v_0$ とするものである。

1. 境界シート恒等式（Boundary Sheet Identity）: 本論文は、BV場のゼロ拡張のダイバージェンスに関する分布恒等式を利用している。拡張された場 $v_0$ のダイバージェンスは、境界 $\partial\Omega$ 上に支持され、速度の法線成分に比例する特異な部分を含む：
   $$D \cdot v_0 = (\nabla \cdot v) \mathcal{L}^d \llcorner \Omega - (\text{tr } v \cdot \nu) \mathcal{H}^{d-1} \llcorner \partial\Omega$$
   アンブロジオ–ディペルナ–リオンズ理論（RLFの存在と一意性を保証するもの）を適用するためには、この特異な境界部分が消失しなければならない。これには、接線条件（tangency condition）、すなわち境界上のほとんど至る所で $\text{tr } v \cdot \nu = 0$ であることが必要となる。

2. 重み付きエネルギー法: 特異なドリフト（特に境界付近でドリフトが発散する「入り口型」の特異性）を扱うために、本論文はフォッカー・プランク方程式に対する重み付きエネルギー一意性の結果を開発している。これは、比 $q/p$ の方程式をそれ自身に対して重み付き空間 $L^2(p dx)$ でテストすることを含み、これにより輸送項の正確な相殺を実現し、ドリフトが有界であることや有界なダイバージェンスを持つことを要求する必要を回避している。

3. 剛性と反例: 本論文は、境界電流、圧縮性、および積分曲線の存在の相互作用を分析するために、滑らかな明示的な反例を構築している。

主要な貢献と結果

1. 閉じ込められたRLFの十分条件（定理A）
本論文は、以下の条件が満たされる場合、無流束弱解 $(p, J)$ が $\bar{\Omega}$ 内に閉じ込められた一意のRLFを許容することを確立している：

• レギュラリティ: 速度 $v = J/p$ は $L^1([0, T]; BV_{loc}(\Omega))$ に属し、境界付近のカラー（襟）において有界変動（bounded variation）を持つ。
• ダイバージェンス制御: ダイバージェンスの負の部分 $[\nabla \cdot v]^-$ は $L^1_t L^\infty_x$ に属する。
• 接線性: 速度の法線成分が境界上で消滅している（$\text{tr } v \cdot \nu = 0$）。

これらの条件下では、ゼロ拡張された $v$ はアンブロジオ–ディペルナ–リオンズ理論の仮定を満たす。証明によれば、拡張された場の軌道は領域を脱出できない（外側では凍結されるため、連続性に矛盾する）。また、このフローは初期密度を周辺密度へと輸送する。

2. 境界電流メカニズム（定理B）
本論文は、周期的なストリップ上の、無流束連続方程式を満たしながらもRLFを許容しない明示的な滑らかな密度–フラックの組を構築している。

• メカニズム: この例は、「境界電流」を特徴としている。これは、体積密度が壁に沿って線形に消失する場所において、非零の線形密度を持つ接線方向の質量電流が生じているものである。
• 失敗モード: 密度進化は（重み付きエネルギー級において）一意的であり、積分曲線も存在し、かつ領域内に閉じ込められているが、フローはRLFに求められる**圧縮性境界（compressibility bound）**を満たさない。フローのヤコビアンは初期時刻の極めて近くで任意に増大するため、ルベーグ測度の押し出しを制限できる単一の圧縮性定数が存在しない。
• 意義: これは、境界の仮定（接線性、境界付近のBVレギュラリティ）が構造的に絡み合っており、境界電流を許容するように同時に緩和することはできないことを示している。

3. 剛性の結果
本論文は、滑らかで非退化な境界真空（boundary vacuum）のクラスにおいて、以下を証明している：

• 有界な速度における接線性の自動性: 密度が線形に消失する $C^1$ 壁の近傍で速度が有界である場合、無流策条件は速度が接線方向であることを強制する。したがって、接線性の欠如は、速度が非有界（具体的には $1/\text{dist}$ のように発散）であることを意味する。
• 一次元における剛性: 一次元においては、質量保存と無流束条件によって不変性（軌道が領域内に留まること）が保証される。失敗は、真空初期データからの曲線の非存在を通じてのみ起こり得る。

4. 反射拡散への適用（系 5.1, 5.4）
本論文は、反射拡散モデルに定理Aを適用している：

• 早期停止（Early Stopping）: パラボリック・ヘルダー連続な係数を持つ反射拡散の場合、密度は任意の $t > 0$ に対して $C^{2,\alpha}$ かつ厳密に正となる。その結果、接線条件は点ごとに成立し、確率流ODEは $[\delta, T]$ の任意の区間において有効な閉じ込められたRLFを生成する。
• データ終端の失敗: $t=0$ において、初期データが真空（例：コンパクトな台）を持つ場合、速度場は境界付近で可積分性を失う可能性があり、これにより $t=0$ から始まるRLFの存在が妨げられる。これは全空間の反例と同様の現象であるが、反射境界との相互作用によって引き起こされる。

意義と主張
本論文は、以下の条件が満たされる場合に、反射拡散モデルからサンプリングするために反射のないODEを使用することに対する、厳密な数学的正当化を提供している：

1. $t=0$ での特異性を避けるために早期停止が採用されている。
2. 結合されたドリフト–スコア場が特定のレギュラリティと境界接線条件を満たしている。

本研究は、反射拡散を決定論的フローが「模倣」することは自動的なものではなく、ゼロ拡張された速度のダイバージェンスにおける特異な境界項が消失することに依存していることを明らかにしている。また、本論文は、オイラー的ウェルポーズドネス（有界な可測ドリフトに対して成立する密度の進化の一意性）と、ラグランジュ的ウェルポーズドネス（より強いレギュラリティと境界条件を必要とする安定した決定論的フローの存在）の間の根本的な隔たりを浮き彫りにしている。結果は、たとえ周辺密度が決定論的に一意に定まるとしても、境界電流メカニズムが作動したり初期データが特異すぎたりする場合、決定論的サンプラーが失敗する可能性があることを示唆している。