An extension theory for fully fractional Schrödinger equations with memory

技術要約：メモリを伴う完全分数型シュレディンガー方程式のための拡張理論

問題設定
本論文は、完全分数型演算子 $L_s = (\partial_t - i\Delta_x)^s$ ($0 < s < 1$) によって支配される、メモリ（記憶）を伴う非線形シュレディンガー方程式のウェル・ポーズドネス（適正設定）に対処している。古典的な分数型シュレディンガー方程式では、コーシー問題は単一の時間 $t=0$ における初期データに対して設定されるが、完全分数型演算子は空間と時間の両方において非局所的である。したがって、自然なコーシー問題には、全過去区間 $t \leq 0$ で定義される「履歴」 $u_0(x, t)$ の規定が必要となる。著者らは、$L_s$ の厳密な拡張理論を開発し、以下の非線形問題を解析することを目的としている：
$$\begin{cases} L_s u(x, t) = \mu |u(x, t)|^{p-1}u(x, t), & x \in \mathbb{R}^d, t > 0, \\ u(x, t) = u_0(x, t), & x \in \mathbb{R}^d, t \leq 0. \end{cases}$$
主な課題は、この演算子の振動的な性質にある。$L_s$ のフーリエ記号は、特性放物面 $\tau = -2\pi|\xi|^2$ を挟んで符号が変化する。また、基礎となるシュレディンガー半群は、収縮的ではなくユニタリである。このことは、放物型拡張理論（Caffarelli-Silvestreによる分数型ラプラシアンや分数型熱方程式など）で一般的な、標準的な正値性に基づく手法（比較原理や最大原理）の使用を阻害する。

手法
著者らは、非局所演算子 $L_s$ を、追加の空間変数 $z > 0$ における局所問題のディリクレ・トゥ・ノイマン写像として実現する**振動的拡張理論（oscillatory extension theory）**を採用している。その手法は、以下の3つの段階を経て進行する：

1. 演算子の定義と半群表現：
   $L_s$ は、ユニタリなシュレディンガー群 $S(t) = e^{it\Delta_x}$ に適応させた、セクター型演算子のバラクリアン（Balakrishnan）の公式に類似した半群表現を用いて定義される：
   $$L_s u = -\frac{s}{\Gamma(1-s)} \int_0^\infty \frac{P^L_\sigma u - u}{\sigma^{1+s}} d\sigma,$$
   ここで $P^L_\sigma = e^{-\sigma L}$ である。著者らは、この定義がフーリエ乗数としての定義 $(ip(\xi, \tau))^s$ （ただし $p(\xi, \tau) = 2\pi\tau + 4\pi^2|\xi|^2$）と一致することを証明している。決定的なのは、分数冪が $p(\xi, \tau)$ の符号に応じて2つの異なる枝を持つことであり、拡張における位相の慎重な取り扱いを必要とする点である。

2. 振動的拡張の構成：
   著者らは、$\mathbb{R}^{d+1}_+ \times \mathbb{R}_t$ 上の、ベッセル演算子 $B^{(a)}_z = \partial_{zz} + \frac{a}{z}\partial_z$ （ここで $a = 1-2s$）を含む特異なシュレディンガー方程式によって支配される局所的な拡張問題を構成する：
   $$\partial_t U - i(\Delta_x U + B^{(a)}_z U) = 0, \quad U(x, 0, t) = u(x, t).$$
   楕円型または放物型拡張とは異なり、関連するポアソン核 $P_a(X, Y_0, t)$ は振動的である。著者らは、修正ベッセル関数 $K_s$ を用いて位相空間内でこの核を明示的に計算し、その物理空間表現を導出している：
   $$P_a(X, Y_0, t) = C_a z^{1-a} t^{-(3-a)/2} e^{i z^2/4t} S(x, y, t),$$
   ここで $S(x, y, t)$ は古典的なシュレディンガー伝播関数である。この核は、正の値ではなく振動的であることが示されており、これは基礎となるダイナミクスの分散的な性質を反映している。

3. ヒストリーのリフティングと固有エネルギー空間：
   中心的な貢献は、規定された履歴 $u_0$ に対する「ポアソン・リフティング（Poisson lifting）」の構成である。著者らは、リフトされた履歴の重み付きバルクエネルギーを表す固有の二次形式 $Q_s(u_0)$ によって特徴付けられる、許容可能な履歴の固有ヒルベルト空間 $\mathcal{H}_s$ を定義する。そして、ポアソン・リフティング演算子 $P_s: \mathcal{H}_s \to L^2_a(\mathbb{R}^{d+1}_+)$ が等長写像であることを証明する。これにより、過去の履歴のエネルギーと、局所拡張問題の初期データのエネルギーとの間の直接的な結びつきが確立される。

主要な貢献と結果

• $L_s$ の拡張理論： 本論文は、正値性の欠如を振動積分テクニックとベッセル関数の漸近挙動を利用して克服することにより、完全分数型シュレディンガー演算子のための初の拡張理論を提供する。
• 明示的なポアソン核： 境界の履歴とバルク解の間の架け橋となる、振動的ポアソン核の明示的な公式が導出されている。
• $s=1/2$ における分散的遷移： 解析により、拡張演算子の挙動が $0 < s \leq 1/2$ か $1/2 < s < 1$ かによって質的に異なることが明らかになる。
  • $s \leq 1/2$ の場合、拡張演算子は $L^2(\mathbb{R}^{d+1})$ 上で有界である。
  • $s > 1/2$ の場合、演算子はグラフ領域 $\text{Dom}(L_s)$ 上で自然に定義される。
    この遷移は、著者らの先行研究で特定されたベッセル・シュレディンガー伝播体の分散的挙動を反映している。
• 非線形メモリ問題のウェル・ポーズドネス： 履歴 $u_0 \in \mathcal{H}_s$ をバルク初期データ $U_0 = P_s u_0$ へリフトすることにより、著者らは、非線形ノイマン境界相互作用を伴う特異シュレディンガー方程式のウェル・ポーズドネス理論（彼らの伴随論文 [10] で開発されたもの）を、非局所メモリ問題へと転送する。
  • マイルド解： 解は、局所拡張問題の唯一の強（strong）マイルド解の強境界トレースとして定義される。
  • 領域： ウェル・ポーズドネスは、質量臨界および劣臨界領域（$1 < p \leq p_c$）において確立される。ここで $p_c$ は次元 $d$ とパラメータ $a$ に依存する。
  • 方程式の回復： 追加のグラフ領域の正則性仮定の下で、分数型方程式 $L_s u = \mu |u|^{p-1}u$ が $t > 0$ において $L^2$ 意味で回復される。

意義と主張
本論文は、分散的な演算子の性質により、局所的な拡張理論が欠けていたクラスである、メモリを伴う非線形分散型方程式を研究するための厳密な枠組みを確立したと主張している。

• 方法論的転換： 本研究は、正値性に基づく議論を振動積分推定とベッセル関数のインターツウィニング（intertwining）特性に置き換えることで、拡張テクニックが分散型演算子にも成功裏に適応できることを示している。
• 固有のヒストリー空間： 固有のヒルベルト空間 $\mathcal{H}_s$ の特定は、特定の二次形式によって特徴付けられる、履歴データのための自然な関数的設定を提供する。
• 非局所ポテンシャルとの接続： 著者らは、拡張構成における非線形境界項が、$L_s$ の基本解に関連する分数型デュアメル（Duhamel）ポテンシャルと正確に一致することを示しており、これにより局所的視点と非局所的視点を統一している。

著者らは、一意性の主張の範囲について控えめである。一意性は、拡張リフティングによって生成される解のクラス内でのみ主張されている。彼らは、すべての弱解が必ずこの構成から生じることを主張しているわけではなく、また、結合された過去・未来の関数が $t=0$ において連続であることを、追加の適合条件なしに主張しているわけでもない。ウェル・ポーズドネスは、「拡張に誘起されたマイルドな意味（extension-induced mild sense）」において確立されており、これは問題の非局所的な性質を考慮すると自然な解の概念である。