Lack of Gevrey solvability for a model operator

技術的概要：モデル作用素に対するゲヴェリー可解性の欠如

問題提起
本論文は、二重特性を持つ線形双曲型作用素のコーシー問題がゲヴェリー級 $\gamma(s)$ において適切に定式化されるか否かを取り扱っている。具体的には、$\mathbb{R}^4$ において定義されたモデル作用素 $Q$ を調査する：
$$Q = -D_t^2 + 2xD_tD_y + D_x^2 + x^3D_y^2 + D_z^2 + z^2D_y^2$$
ここで $D_j = \frac{1}{i}\partial_{x_j}$ である。この作用素は、主符号の基礎行列が二重点において実固有値を持たない、非実効的双曲型作用素のクラスに属する。具体的な課題は、以下の二つの現象が同時に発生するシナリオにある：

1. 二重多様体 $\Sigma = \{\tau = x = z = \zeta = \xi = 0, \eta \neq 0\}$ に接する零双特性が存在する。
2. 基礎行列の正のトレース $\text{Tr}^+ F_p$ が厳密に正である。

一般の二重特性作用素に対する適切性の閾値は $s=2$ であることが知られており、関連するモデル作用素 $P$（$z$ 変数の調和振動子を持たないもの）については $s=5$ であることが知られているが、作用素 $Q$ に対する正確なゲヴェリー閾値は未決定のままだった。先行研究により、$s \le 6$ の場合の問題は適切に定式化されることが示されていたが、$s > 6$ における可解性の欠如は未解決の問題であった。

手法
証明は、双曲型作用素の不適切性の解析における標準的な手法である閉グラフ定理に基づく背理法を採用している。議論の核心は、ゲヴェリー空間における局所可解性に必要な連続性推定と矛盾する、急速な増大を示す特定の解析的零解の族を構成することにある。

1. 零解の構成：
   著者は、大きなパラメータ $\lambda$ に依存する零解の族 $V_\lambda(t, x, y, z)$ を構成する：
   $$V_\lambda = e^{i\tau_\lambda t} e^{i\lambda^6 y} \psi_\lambda(z) W_\lambda(\lambda^2 x)$$
   ここで $\tau_\lambda = \sigma \lambda^2 - i\gamma \lambda$（$\sigma, \gamma > 0$）、$\psi_\lambda$ は周波数 $\lambda^6$ の $z$ 方向の調和振動子の基底状態、$W_\lambda$ はスケーリング変数 $X = \lambda^2 x$ における縮約された常微分方程式（ODE）の劣解である。

2. 縮約 ODE の解析：
   関数 $W_\lambda$ は以下の方程式を満たす：
   $$[-\partial_X^2 + \lambda^2 q_\lambda(X)] W_\lambda = 0$$
   ここでポテンシャル $q_\lambda(X)$ は、多項式 $V_\sigma(X) = X^3 + 2\sigma X + 1$ の摂動である。解析は、転回点から離れた領域ではリウヴィル・グリーン（LG）法を、単純な複素転回点 $X_\lambda$ の近傍ではエアリー関数の漸近挙動を用いて行われる。

   • 重要な技術的課題は、$z$ 変数における調和振動子の存在であり、これはより単純な作用素 $P$ に対して用いられた手法を混乱させる。著者は、調和振動子の追加が手法を破綻させないことを示す。なぜなら、転回点を超えた劣支配解の接続は、優支配 LG モードによって制御され、ストークス係数の零点が増大推定には無関係になるからである。
   • 解は、転回点領域から原点へ戻る際に、増大因子 $\exp(\lambda A_\sigma)$（ただし $A_\sigma = \int_{X^*}^0 \sqrt{V_\sigma(r)} dr$）とともに指数関数的に増大することが示される。

3. ゲヴェリーノルム推定：
   著者は、コーシーデータ（$V_\lambda$ にコンパクト台を持つゲヴェリーカットオフ関数を掛けたもの）のゲヴェリーノルムを推定する。

   • $y$ 依存性は $\lambda^6$ の周波数スケールに寄与する。
   • $z$ 依存性は $\lambda^3$ のスケールに寄与する。
   • $x$ 依存性は ODE 解によって支配され、指数関数的増大 $\exp(\lambda A_\sigma)$ と多項式因子に寄与する。
   • 決定的なことに、カットオフデータのゲヴェリーノルムは以下によって有界である：
     $$\exp\left( \lambda A_\sigma + C(\sigma)\gamma\sqrt{\delta}\lambda + C_\rho \lambda^{6/s} \right)$$
     項 $\lambda^{6/s}$ は、$y$ における高周波振動（$\lambda^6$）がゲヴェリー指数 $s$ と相互作用することから生じる。

4. 矛盾の議論：
   $\gamma(s)$ における局所可解性を仮定すると、閉グラフ定理は、初期データノルムを用いた後の時刻 $t^*$ における解の上限を意味する。

   • 時刻 $t^*$ における解は $e^{\gamma \lambda t^*}$ として増大する。
   • 初期データノルムは $\exp(\lambda A_\sigma + \dots + C_\rho \lambda^{6/s})$ として増大する。
   • 指数を比較すると、以下の不等式が導かれる：
     $$\gamma t^* \le A_\sigma + C(\sigma)\gamma\sqrt{\delta} + C_\rho \lambda^{6/s - 1}$$
   • $\sigma$ を十分大きく（$A_\sigma$ を小さく）、$\delta$ を小さく選び、$\lambda \to \infty$ とすると、項 $\lambda^{6/s - 1}$ は $s > 6$ である場合に限り消滅する。これにより矛盾（$t^* < t^*/2$）が生じ、閉グラフ推定が成り立たないことが証明される。

主要な貢献と結果

• 定理 1.1： 作用素 $Q$ に対する原点におけるコーシー問題は、任意の $s > 6$ に対してゲヴェリー級 $\gamma(s)$ において局所可解ではない。
• 正確な閾値： 本論文は、この特定のモデル作用素の局所可解性に対する正確なゲヴェリー閾値が $s=6$ であることを確立する。これは作用素 $P$ の結果（閾値は $s=5$）を反映しているが、$z$ 変数に追加された調和振動子によりシフトしている。
• 手法の適応： 本作業は、作用素 $P$ に対して用いられた「ストークス係数」解析を、より複雑な作用素 $Q$ へ成功裡に適応させた。調和振動子の追加はスペクトル構造を複雑にするが、スケーリングと ODE 解析が適切に調整されれば、不安定性の根本的なメカニズムは変化しないことを示している。証明は、特定の ODE に対するストークス係数の微細な性質に依存するのではなく、LG モードの支配性に依存している。

意義
本論文は、二重特性を持つ双曲型作用素の理論における特定の未解決問題を解決した。二重集合のシンプレクティック不変量（具体的には、零接双特性の存在と正のトレース）と、問題の関数解析的な特徴（ゲヴェリー正則性）との相互作用を明確にした。調和振動子の追加により閾値が $s=5$ から $s=6$ へシフトすることを証明することで、ゲヴェリー閾値が作用素の低次項の具体的な代数構造と、関与する変数の次元に敏感であることを浮き彫りにした。この作業は、より単純なモデルで以前に理解されていた「不安定ハミルトン系」の現象が、可解性閾値の予測可能なシフトを伴いながら、より複雑な設定においても持続することを確認している。