Characterisation of homogenisation for nonlocal diffusion by local topologies

技術要約：局所的トポロジーによる非局所拡散のホモジナイゼーションの特性評価

問題設定
本論文は、高度に振動する局所的な係数と非局所的な微分作用素によって特徴付けられる、分数型ダイバージェンス形式問題のホモジナイゼーション（均質化）を扱う。具体的には、著者らは $-\text{div}_s(A \nabla_s u) = f$ という形の方程式を検討している。ここで、$\nabla_s$ および $\text{div}_s$ は、次数 $s \in (0, 1)$ のリースの分数勾配およびダイバージェンスを表す。この設定における中心的な課題は、係数 $A$ は局所的（行列値関数）であるが、作用素の非局所的な性質により、これらの係数が有界領域 $\Omega$ だけでなく、全空間 $\mathbb{R}^d$ 上で定義される必要がある点である。先行研究 [16] では、このような問題を扱うために $H^s$ 収束を導入したが、係数が領域 $\Omega$ の外部で固定されている（すなわち $A|_{\mathbb{R}^d \setminus \Omega} = A_0$）という制限を課していた。本論文は、そのような制限なしに、全空間 $\mathbb{R}^d$ 上で定義された係数列に対する $H^s$ 収束を完全に特性化し、それを古典的な局所的トポロジーおよび非局所的作用素論的枠組みに関連付けることを目的としている。

手法
著者らは、分数解析、関数解析、およびホモジナイゼーション理論を組み合わせた手法を用いている。主な手法的構成要素は以下の通りである：

• 分数作用素： 解析は、特異積分またはフーリエ乗数として定義されるリースの分数勾配およびダイバージェンス、ならびにそれらに関連する分数ソボレフ空間 $H^s_0(\Omega)$ および $H^{-s}(\Omega)$ に依存している。
• 補償コンパクト性（Compensated Compactness）： 分数型のライプニッツ則および部分積分を用いて、分数のバージョンである div-curl レンマ（命題 2.14）が確立されている。このツールは、非局所的な設定における列の積の弱収束を扱うために極めて重要である。
• コンパクト性と埋め込み： 証明戦略は、領域の補集合における分数勾配のコンパクト性（定理 2.11）および $H^s_0(\Omega)$ から $L^2(\Omega)$ へのコンパクト埋め込み（定理 2.10）を利用している。
• シューア・トポロジー（Schur Topologies）： 著者らは $H^s$ 収束を、有界線形作用素上の抽象的な概念である非局所的 $H$ 収束と結びつけ、それを有界線形作用素上の特定のシューア・トポロジーとして特定している。
• 一次元解析： 著者らは、古典的な局所的な場合とは大きく異なる分数微分作用素の核（kernel）に関する特有の困難に対処しつつ、結果を一次元の場合（$d=1$）へと拡張している。

主要な貢献および結果

1. $H^s$ 収束の特性化（定理 1.3）：
   主要な結果は、$M(\alpha, \beta; \mathbb{R}^d)$（許容される行列値係数）における列 $(A_n)_n$ の $H^s$ 収束の完全な特性化を提供する。この定理は、$A_n \xrightarrow{H^s} A$ であるための必要十分条件として以下を述べている：

   • 領域 $\Omega$ への列の制限が、その極限の制限に対して $H$ 収束すること：$A_n|_\Omega \xrightarrow{H} A|_\Omega$。
   • $\Omega$ の閉包の補集合への列の制限が、$L^\infty$ において弱-$\ast$ 収束すること：$A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$。
     この結果は、係数が $\Omega$ の外部で固定されているという従来の要件を取り除き、ホモジナイゼーションの極限が、領域内部での局所的な $H$ 収束と、外部での弱-$\ast$ 収束によって決定されることを示している。

2. 一次元への拡張：
   著者らは、[16] のコンパクト性と一意性の結果を $d=1$ の場合に一般化している。彼らは、1次元における $H$ 極限は調和平均に対応する一方で、分数微分の非局所的な性質が、古典的なケースを特徴付けるフラックス（flux）の強 $L^2$ 収束を妨げることを示している。彼らは、1次元における分数微分作用素の核が無限次元であり、それが強フラックス収束の導出を困難にしていることを証明している。

3. 計量およびトポロジー的性質：
   本論文は、$H^s$ 収束を備えた許容係数の空間が計量可能であり、コンパクトであることを確立している。$\Omega$ 上の古典的な $H$ 計量と補集合上の弱-$\ast$ 計量を組み合わせた特定の計量が構築されている。

4. シューア・トポロジーとの関連（定理 7.4）：
   著者らは、$H^s$ 収束が有界線形作用素の空間上のシューア・トポロジーとして解釈できることを示している。彼らは、分数勾配の像から導かれるものと、$L^2(\mathbb{R}^d)$ の分解から導かれるものの2つの異なるシューア・トポロジーを特定しており、これらは係数の集合上に同じ計量空間構造を誘導する。これにより、分数ホモジナイゼーションの問題が、[45, 46] で導入された非局所的 $H$ 収束のより広い枠組みの中に位置づけられる。

5. 対称係数と $G^s$ 収束（セクション 8）：
   対称係数の場合、本論文は（エネルギー収束に基づく）$G^s$ 収束を導入し、それが $H^s$ 収束と等価であることを証明している。これは、古典的な $G$ 収束と $H$ 収束の関係を分数の設定へと拡張するものである。

6. 分数型熱方程式への応用（定理 1.4）：
   確立された収束結果と進化方程式の理論を用いて、著者らは分数型熱型方程式 $\partial_t u - \text{div}_s(A \nabla_s u) = f$ のホモジナイゼーション問題を解いている。彼らは、係数 $A_n$ が $A$ に $H^s$ 収束する場合、解 $u_n$ がホモジナイズされた方程式の解 $u$ に $L^2(0, T; L^2(\Omega))$ で強収束することを証明している。

意義および主張
本論文は、局所的で高度に振動する係数を持つ非局所拡散問題のホモジナイゼーションの厳密かつ完全な特性化を提供することを主張している。$H^s$ 収束を古典的な局所的 $H$ 収束および弱-$\ast$ 収束と結びつけることで、著者らは、領域の補集合における係数の振る舞いを考慮すれば、複雑な非局所的問題が確立された局所的トポロジーを通じて理解できることを示している。

本研究の意義は以下の通りである：

• 一般化： 領域外での係数を固定するという人工的な制約を取り除き、全空間 $\mathbb{R}^d$ 全体にわたる振動を可能にした。
• 次元の完全性： 次元に関する技術的な仮定によって以前は制限されていた一次元のケースを解決した。
• 理論的統一： シューア・トポロジーを介して、分数ホモジナイゼーションと非局所的 $H$ 収束の抽象理論との間の溝を埋めた。
• 時間依存の応用： これらの静的なホモジナイゼーションの結果を時間依存の分数型熱方程式に適用し、この文脈における解の収束に関する具体的な未解決問題に答えた。

著者らは、これらのトポロジーの結果は定義されたクラスの作用素に対しては堅牢であるが、一般的な非局所的係数（$L^2$ の元としての $L(L^2)$ ではなく）に対する挙動は依然として未解決の問いであると述べている。