Well-Posedness Of Second-Order Evolution Equations With Non-Integrable And Degenerate Coefficients In Weighted Lp-Spaces

技術要約：非可積分かつ退化した係数を持つ二階進化方程式の適正設定（Well-Posedness）

問題設定
本論文は、時間依存し、退化の可能性がある非有界な係数を持つ二階線形進化方程式のコーシー問題を調査している。検討対象となる主要な方程式は以下の通りである：
$$u_t(t, x) = a_{ij}(t)u_{x_i x_j}(t, x) + b_i(t)u_{x_i}(t, x) + c(t)u(t, x) + f(t, x), \quad u(0, x) = 0,$$
ここで、領域は $(0, T) \times \mathbb{R}^d$ である。

対処すべき中心的な課題は、初期時刻 $t=0$ および終端時刻 $t=T$ 付近における係数 $a_{ij}(t)$, $b_i(t)$, $c(t)$ の振る舞いである。境界付近での局所可積分性（あるいは少なくとも境界からの距離の逆数で抑えられること）を通常要求する古典的な理論とは異なり、本研究では、任意の爆発、すなわち指数関数的または超指数関数的な増大を許容している。主係数は退化した楕円型条件（$a_{ij}(t)\xi_i\xi_j \geq \lambda(t)|\xi|^2$、ただし $\lambda(t) \geq 0$）を満たしているが、$\lambda(t)$ に対して厳密な正値性や正則性は仮定されていない。

本研究の動機付けとなった重要な観察は、このような深刻な特異性は、非ゼロの初期データに対しては問題を生じさせる（基本解や確率積分が発散するため）一方で、初期条件が厳密にゼロである場合（$u(0, x) = 0$）には、適正性が回復できるという点である。

手法
著者らは、確率解析、フーリエ解析、および重み付き $L_p$ 空間の枠組み内でのエネルギー評価を組み合わせた多角的なアプローチを用いている。

1. 確率的表現（存在性）：
   存在性を確立するために、著者らは伊藤解析（Itô calculus）を利用している。滑らかなソース項に対する古典的な解を、ブラウン運動と係数によって駆動される確率過程 $X_{s,t}$ を用いた確率的表現を通じて構成する。具体的には、解は次のように表される：
   $$u(t, x) = \int_0^t e^{\int_s^t c(r)dr} \mathbb{E}[f(s, x + X_{s,t})] \, ds.$$
   一般的なソース項 $f$ や係数を近似するためにソボレフ・モルフィア（平滑化関数）を用いることで、極限操作を行い、弱解の存在を確立する。この手法により、特異性のために利用不可能な係数の古典的な微分可能性を回避することができる。

2. フーリエ変換法（$p \in [1, 2]$ における一意性）：
   $p \in [1, 2]$ の場合、解を周波数領域へと変換することで一意性を証明する。著者らは、解のフーリエ変換 $\mathcal{F}[u]((t, \xi)$ に関する積分恒等式を導出し、これは各周波数 $\xi$ に対して時間に関する一次の常微分方程式へと帰着する。漸近的な初期条件（重み付きの意味での $t \to 0$ における解の消失）を課すことにより、フーリエ変換が一意に決定されることを示し、これにより弱解の一意性を証明する。

3. エネルギー評価（$p \in (1, \infty)$ における一意性）：
   $p \in (1, \infty)$ の場合、モルフィアされた解に対して、初等的な微積分（部分積分および微積分学の基本定理）を適用して、ア・プリオリ・エネルギー評価を導出する。ドリフト項や零次項を処理するために変換された関数を構成することにより、$L_p$ ノルムに関する境界を確立する。これらの評価は、ゼロの初期データを持つ任意の二つの解が一致しなければならないことを示し、一意性を保証する。

4. 重み付き空間とマック・オーファン（Muckenhoupt）重み：
   解析は、時間の変数に依存する重みを用いた重み付き $L_{p,q}$ 空間内で行われる。著者らは、スペクトル下限 $\lambda(t)$ とマック・オーファン重み $w(t)$ を含む特定の重みを導入し、最大 $L_p$ 正則性の評価を導出している。これらの評価は、係数が非可積分である場合でも、二次の空間微分（$u_{xx}$）をソース項 $f$ によって制御する。

主な貢献と結果

• 可積分条件の緩和： 本論文は、係数が境界付近で局所可積分でなければならないという標準的な仮定を根本的に緩和している。係数が境界からの距離の逆数よりも速い速度で爆発する場合（例：$|a_{ij}(t)| \sim \exp(e^{1/t})$）でも、適正性が成立することを確立している。
• 弱解の存在と一意性： ゼロの初期データを持つ $L_p$ 空間におけるコーシー問題に対して、弱解の存在と一意性を証明した。
  • $p=1$ の場合、空間的可積分性、重み付きフーリエ可積分性、および周波数領域における特定の消失条件によって定義されるクラス内で一意性が確立された。
  • $p \in (1, \infty)$ の場合、特定の漸近的初期条件および重み付き可積分制約を満たす関数のクラス内で一意性が証明された。
• 最大 $L_p$ 正則性： 著者らは鋭い正則性評価を導出している。具体的には、解 $u$ が重み付きソボレフ空間 $H^2_{q,p}$ に属することを示し、マック・オーファン重みとスペクトル下限 $\lambda(t)$ を用いて、ソース項 $f$ に対する $\|u_{xx}\|_{L_{q,p}}$ の明示的な境界を与える。
• 強解： 追加的な係数の可積分条件（具体的には本文中の条件 (2.11)）の下で、著者らは強解（方程式がほとんど至る所で点ごとに成立する解）の存在を確立し、対応する時間微分 $u_t$ の評価を与える。
• 非ゼロ初期データの非適正性（Ill-Posedness）： 本論文は、初期条件 $u_0$ が非ゼロである場合、係数の $t=0$ 付近での積分が発散するため、問題が非適正となることを厳密に示している。これは、本理論が成立するためにゼロ初期条件が必要であることを強調している。

意義と主張
著者らは、係数が時間境界からの距離の逆数よりも速く爆発することが許容される二階進化方程式において、適正性を確立した最初の研究であると主張している。局所可積分性の制約を取り除くことで、本フレームワークは、瞬間的な拡散、支配的な輸送、あるいは爆発的な反応速度論など、極端な時間的変動を伴う現象のモデリング能力を大幅に広げるものである。

本研究は、特異な係数が存在の確立に多大な困難をもたらす一方で、以下の手段によって克服可能であることを強調している：

1. 問題をゼロ初期データに限定すること。
2. 特化した重み付き空間と確率的表現を利用すること。
3. 物理的に唯一の解を選択するために、特定の漸近条件を採用すること。

最後に、論文は未解決問題として、一意性が $L_\infty$ 値の関数にまで拡張されるか、および零次係数 $c(t)$ が $t=0$ 付近で局所可積分でない場合に正則性評価が導出できるかどうかを挙げている。