技術要約：分数階放物型偏微分方程式の解に対するニューラルネットワークによる近似

1. 問題設定

本論文は、低次のドリフト項およびポテンシャル項を持つ**分数階放物型偏微分方程式（PDE）**の解をニューラルネットワークで近似するという課題に取り組んでいる。具体的には、以下の式を検討する：
$$\begin{cases} \partial_t v = \Delta^{\gamma/2} v + (b \cdot \nabla v) \mathbb{1}_{\{\gamma>1\}} + cv + f, & \text{in } (0, T) \times \mathbb{R}^d, \\ v(0, \cdot) = v_0, & \text{in } \mathbb{R}^d, \end{cases}$$
ここで、$\Delta^{\gamma/2}$ は分数階ラプラシアン、$b$ と $c$ はドリフトおよびポテンシャル係数、$f$ はソース項である。

核心となる困難は、次元効率的な近似境界を確立することにある。ソボレフ空間やヘルダー正則性に依拠した古典的な近似理論は、「次元の呪い」に苦しむ。すなわち、必要なパラメータ数が空間次元 $d$ に対して指数関数的に増大してしまう。Barron空間は次元に依存しない近似の枠組みを提供するが、この理論を低次項を持つ分数階放物型方程式へと拡張することは、時間と空間の周波数の間の本質的な異方的結合（一つの時間微分が $\gamma$ 個の空間微分に対応する）や、一般的な低次項に対する明示的な表現公式の欠如により、非自明な課題となる。

2. 手法

2.1. 異方的スペクトルBarron空間

著者らは、放物型問題の特有の正則性構造を捉えるために、異方的スペクトルBarron空間（$B_{\alpha, \beta}(T)$ と表記）を導入している。空間的・時間的な正則性を一様に測定する標準的なBarron空間とは異なり、これらの空間は、時空フーリエ変換の重み付き $L^1$ ノルムを介して、時間的な正則性の次数 $\alpha$ と空間的な正則性の次数 $\beta$ を個別に測定する：
$$\|v\|_{B_{\alpha, \beta}(\mathbb{R}^{d+1})} := \int_{\mathbb{R}} \int_{\mathbb{R}^d} (1 + |\tau|^\alpha + |\xi|^\beta) |F_{d+1}[v](\tau, \xi)| \, d\xi \, d\tau < \infty.$$
本論文では、この空間のバナッハ空間構造、埋め込み関係、補間不等式、および極めて重要な次元に依存しない乗法推定を確立している。これらの推定により、低次項（$b \cdot \nabla v$ および $cv$）を、定数が次元$d$ に対して悪化することなく制御することが可能となる。

2.2. ヴァンデルモンド拡張による極大正則性理論

中心的な技術的障壁は、解 $v$ が $t \in [0, T]$ においてのみ定義される一方で、Barronノルムはグローバルな時空フーリエ拡張を必要とする点にある。このギャップを埋めるため、著者らは分数階放物型作用素に対する極大正則性理論を開発した：

1. ヴァンデルモンドに基づく反射： 有限時間の分数階熱セミグループを $t=0$ を跨いでグローバルに拡張する構成を行う。ヴァンデルモンド・システムを解くことで、拡張されたカーネルの時間微分が $t=0$ において高次のオーダーまで一致するように、反射係数を決定する。この打ち消しにより、高周波展開における時間フーリエ変換の最初の $N$ 項が除去される。
2. 連続性の手法： 低次ドリフトおよびポテンシャル項は、**連続性の手法（method of continuity）**を用いて組み込まれる。有限のブートストラップ引数により、目的の推定を基礎となる正則性空間へと還元し、十分大きな減衰パラメータを用いることで、低次項を吸収させる。
3. 結果： 初期データ $v_0 \in B_{\gamma+s}(\mathbb{R}^d)$ およびソース $f \in B_{s/\gamma, s}(T)$ が与えられたとき、解 $v$ は正則性を獲得し、$v \in B_{1+s/\gamma, \gamma+s}(T)$ に属することを証明している。

2.3. ニューラルネットワーク近似

著者らは、確立されたBarron正則性を、以下の形式の二層ニューラルネットワークの近似境界へと変換する：
$$v_n(t, x) = \sum_{j=1}^n c_j \sigma(W_{t,j} t + W_{x,j} \cdot x + b_j).$$
ヒルベルト空間サンプリング補題を用い、ターゲット関数をフーリエ逆変換公式から導出された「リッジ原子（ridge atoms）」の期待値として表現する。これらの原子をサンプリングすることで、有限和による近似を構築する。

• 非周期的な活性化関数： 活性化関数に対して追加の多項式減衰条件、およびターゲットに対するわずかに高いBarron正則性を要求する。
• 周期的な活性化関数： 追加の減衰仮定なしに、自然な異方的Barronノルムから直接近似が可能である。

3. 主要な結果

3.1. 正則性推定（定理 1.3）

低次項を持つ分数階放物型方程式に対し、解作用素はBarron正則性を保持し、かつ向上させる。具体的には、$v_0 \in B_{\gamma+s}(\mathbb{R}^d)$ および $f \in B_{s/\gamma, s}(T)$ に対して、以下を満たす一意の解 $v \in B_{1+s/\gamma, \gamma+s}(T)$ が存在する：
$$\|v\|_{B_{1+s/\gamma, \gamma+s}(T)} \leq C(T, s, \gamma, \|b\|, \|c\|) \left( \|v_0\|_{B_{\gamma+s}(\mathbb{R}^d)} + \|f\|_{B_{s/\gamma, s}(T)} \right).$$
決定的なのは、定数 $C$ が空間次元 $d$ に依存しないことである。

3.2. 近似境界（定理 1.4 および 4.9）

異方的Barron空間における解に対し、$n^{-1/2}$ の近似率を導出している。解 $v \in B_{1+s/\gamma, \gamma+s}(T)$ に対して、以下の条件を満たす二層ニューラルネットワーク $v_n$ が存在する：
$$\|v - v_n\|_{H^{1+s/\gamma}((0,T); L^2(\Omega))} + \|v - v_n\|_{L^2((0,T); H^{\gamma+s}(\Omega))} \leq C n^{-1/2} \|v\|_{B_{1+s/\gamma, \gamma+s}(T)}.$$
このレートは次元 $d$ に依存せず、ニューラルネットワークがこのクラスの偏微分方程式に対して次元の呪いを回避できることを示している。

3.3. 一様時間推定の失敗（セクション 3.4）

著者らは、異方的な時空定式化を、一様時間スペクトルBarron推定（すなわち $L^\infty((0, T); B_\beta(\mathbb{R}^d))$）で一般に置き換えることはできないことを示す反例を提示している。ソースの一様時間Barronノルムが有界である一方で、互いに離れた時間区間にサポートされた強制項を構成することにより、すべての周波数パケットの寄与が後の観測時刻において蓄積し、解のノルムがパケット数とともに無制限に増大する様子を示している。これは、時空異方的フレームワークの必要性を強調している。

4. 意義と主張

本論文は、低次項を持つ分数階放物型方程式のための体系的な時空Barronフレームワークを提供することで、重要な解析的空白を埋めたと主張している。その主な貢献は以下の通りである：

1. 次元に依存しない正則性： これらの複雑なPDEの解作用素が、ドリフト項やポテンシャル項が存在する場合でも、次元依存性なしにBarron型のデータをBarron型の解へと写像することを確立した。
2. 新規な拡張技術： 有限時間の分数階熱セミグループを拡張するためにヴァンデルモンド行列を適用したことは、主要な技術的独創性であり、これにより前方への時間発展をグローバルなフーリエ構造を介して解析することが可能となった。
3. 効率性の正当化： PDEの正則性とニューラルネットワーク近似を結びつけることで、本研究は、なぜニューラルネットワークが高次元の放物型PDEを効率的に近似できるのかについて、単なる密度定理を超えた、定量的かつ次元に依存しない誤差境界を通じた解析的な説明を提供している。

著者らは、先行研究（例：E および Wojtowytsch）が明示的な熱核表現を介して移動不変な方程式を扱っていたのに対し、本研究は、そのような明示的な公式が存在しない低次項を持つ一般的な作用素へと理論を拡張しており、代わりに極大正則性と連続性の手法に依拠している点を強調している。