Counterexamples to maximal regularity for operators in divergence form

技術要約：発散形式の作用素における極大正則性の反例

問題設定
本論文は、時間依存係数を持つ発散形式の放物型偏微分方程式（PDE）の解の正則性に関する2つの根本的な問いに取り組んでいる。著者らは、以下の抽象的コーシー問題（CP）を検討している：
$$\begin{cases} u' - Au = f, & \text{on } (0, 1), \\ u(0) = 0, \end{cases}$$
ここで、$A(t)$ はヒルベルト空間 $V$ からその双対空間 $V^*$ への強可測な作用素族であり、強制性と有界性の条件を満たす。具体的に、著者らは $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$ であり、$A(t)v = -\text{div}(B(t)\nabla v)$ となる具体的な設定に焦点を当てている。ここで $B$ は一様楕円な行列場である。

本研究では、以下の2つの特定の正則性問題を調査している：

1. 問題1（$V$ 上の極大 $L^p$-正則性）： $p \in (1, \infty) \setminus \{2\}$ のとき、$f \in L^p(0, 1; V^*)$ という条件は、一意な弱解 $u$ が $L^p(0, 1; V)$ に属することを意味するか？
2. 問題2（$H$ 上の極大 $L^2$-正則性）： $f \in L^2(0, 1; H)$ という条件は、解の時間微分 $u'$ が $L^2(0, 1; H)$ に属することを意味するか？

リオンズ（Lions）の理論は、強制性のみの下で $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ における一意な弱解を保証しているが、自律的な作用素や、十分な時間の正則性（連続性やヘルダー連続性など）を持つ作用則については正の結果が存在する。一方で、追加の正則性仮定なしでの一般的な時間依存係数の挙動については未解決のままである。先行研究によるディアー（Dier）とファックラー（Fackler）の反例は抽象的な作用素であった。本論文は、これらが真の微分作用素であるような反例を構築することを目的としている。

手法
著者らのアプローチは、第2著者によって [19] で開発された、複素係数を持つ線形一様放物型PDEの特定の解の構成に基づいている。手法は以下の通りである：

1. スケーリング対称性の構成： 著者らは、解 $\zeta(t, x)$ と係数行列 $B(t, x)$ に対する自己相似的なアンザッツ（ansatz）を利用する：
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   これにより、放物型PDEは $\mathbb{R}^d$ 上のプロファイル関数 $w$ と係数場 $a$ に関する楕円型PDEへと簡約される。

2. 特異なプロファイルの存在： [19] を引用し、任意のパラメータ $\mu \in [0, d/2)$ に対して、滑らか（原点を除く）で一様楕円な係数 $a$ と、無限遠での特定の減衰率（$|x|^{-\mu}$）を持つ解 $w$ が存在する。決定的なことに、 $B$ の虚部は対称に選ばれており、楕円性の条件を損なうことなく、方程式の実部と虚部の間の強い結合を可能にしている。

3. 局在化と反例の生成： これらの大域的な解を有界な時間区間 $(0, 1)$ および特定の形式の設定に適応させるために、著者らは滑らかなカットオフ関数 $\eta$ を導入する。彼らは新しい解の候補 $u(t, x) = t \zeta(t, x) \eta(x)$ を定義し、対応する強制項 $f$ を導出する。

4. 正則性解析： 証明の核心は、$u$ と $f$ の可積分性の推定にある。パラメータ $\mu, r, s$ を注意深く選択することで、著者らは $f$ が高い正則性（例：$f \in L^\infty(0, 1; L^2)$）を持つ一方で、$u$ が特定の混合ノルム空間 L^r(0, 1; L^s(\mathbb{R}^d}) に属さないことを示す。

5. 双対性と補間：

   • 問題1 ($p > 2$) について： $L^r(L^s)$ 可積分性の欠如が、ソボレフ埋め込みを通じて $L^p(0, 1; H^1)$ 正則性の失敗を直接的に意味する。
   • 問題1 ($p < 2$) について： 双対性の議論が用いられる。$p$ に対して極大正則性が成り立つと仮定すると、既知の双対指数 $p'$ における失敗と矛盾が生じる。
   • 問題2 について： 複素補間およびソボレフ埋め込み定理を用いて、もし $u$ が要求される時間正則性（$H^\nu$）を持てば、必然的に $L^r(L^s)$ 空間に属することになるが、それが既に偽であると証明されていることを示す。

主要な貢献と結果

• 定理 2.4 (高次可積分性の失敗)： 次元 $d \ge 2$ および指数 $r, s \in (1, \infty)$ が $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$ を満たすとき、楕円行列 $B$ と強制項 $f \in L^\infty(0, 1; L^2)$ が存在し、発散形式方程式の唯一の解 $u$ は $L^r(0, 1; L^s)$ に属さない。
• 定理 2.5 (問題1における極大 $L^p$-正則性の失敗)： すべての $p \in (1, \infty) \setminus \{2\}$ に対して、発散形式の楕円作用素と強制項 $f \in L^p(0, 1; H^{-1})$ が存在し、解 $u$ は $L^p(0, 1; H^1)$ に属さない。これは、定理 2.2（$p$ が 2 の近傍にある場合に正則性を保証するもの）の正の結果がシャープであり、全範囲 $(1, \infty)$ には拡張できないことを示している。
• 定理 2.7 (問題2における極大 $L^2$-正則性の失敗)： すべての $\nu \in (1/2, 1]$ に対して、楕円作用素と $f \in L^\infty(0, 1; L^2)$ が存在し、解 $u$ は分数ソボレフ空間 $H^\nu(0, 1; L^2)$ に属さない。これは、一般的な発散形式の楕円作用素に対するリオンズの問題への否定的な回答を提供し、解が $L^2$ において $1/2$ 次の時間正則性さえも持ち得ないことを示している。

意義と主張
本論文は、一般的な時間依存発散形式作用素に対して極大正則性が成り立つかどうかという問いに対し、抽象的な作用素ではなく、明示的な微分作用素を用いた反例を提供することで、この問題を解決したと主張している。

• 既存理論のシャープネス： 本結果は、極大 $L^p$-正則性が成り立つ（定理 2.2） $p$ の小さな区間が最適であり、係数の時間的な正則性に関する追加の仮定なしには、全範囲 $(1, \infty)$ へは拡張できないことを裏付けている。
• 発散形式構造の限界： カトーの平方根問題において、微分構造が正の結果をもたらしたのに対し、本研究は、係数が時間連続性を欠く場合、発散形式の構造だけでは極大正則性を保証するには不十分であることを示している。
• 係数の正則性： 著者らは、これらの反例が（特に $L^\infty$ への写像として）連続ではない係数 $B$ に依存していることを指摘している。彼らは、問題2においてヘルダー連続な係数（具体的には $\nu=1$ の場合）に対する反例を見つけることは、正の結果（例えば $C^{1/2+\epsilon}$ 程度の正則性がある場合）が存在するため、依然として開かれた興味深い問題であると明記している。

本論文は、対称またはエルミート作用素の場合や、1次元の設定（$d=1$）では挙動が異なる可能性があるという、開いた問題についても言及して締めくくられている。