Local existence and blow-up behavior for the diffusive Hamilton-Jacobi equation in a half-space with unbounded initial data

技術要約：半空間における非有界初期データを持つ拡散型ハミルトン・ヤコビ方程式の局所的存在性と爆発挙動

問題設定
本論文は、以下の拡散型ハミルトン・ヤコビ方程式を研究している：
$$u_t - \Delta u = |\nabla u|^p, \quad p > 1$$
これは、ディリクレ境界条件（$\partial H$ 上で $u=0$）を伴う半空間 $H = \mathbb{R}^n_+$ において定義される。主な焦点は、空間無限遠で増大する可能性のある非有界な初期データ $u_0(x)$ を持つ解である。有界領域や非有界領域における有界な初期データの挙動（特に勾配爆発、すなわち GBU）については十分に確立されているが、非有界な初期データを伴う非有界領域のケースは、これまでほとんど探索されてこなかった。本論文は、そのような解に対する局所的な適正性、許容可能な成長率の鋭さ、および詳細な爆発ダイナミクスに対処している。

手法
解析は、比較原理、バリア関数（障壁関数）の構成、リスケーリング引数、およびリューヴィル型の定理を組み合わせた手法に基づいている。

1. 局所的適正性と一意性： 著者らは、無限遠での多項式成長に対応した比較原理（命題 3.1）を確立している。これは、非有界領域を扱うために摂動関数 $Z_\epsilon$ を用いた無限遠でのペナル化議論を含む。一意性は、特定の関数空間 $Y_T$ 内でのこの比較原理の結果として導かれる。
2. 正則化による存在性： 初期データ $u_0$ を滑らかな有界近似 $u_{0,k}$ に得るためのモルフォロジー（平滑化）によって、局所的存在性が証明される。一様ア・プリオリ評価（特に解とその勾配に関するもの）は、$u_0$ の成長率に依存する上界関数およびバリア関数（例：$v_1$ および $v_2$）を用いて導出される。その後、コンパクト性議論により古典解が得られる。
3. 非存在性： 許容される成長クラスの鋭さを証明するために、先行文献 [5] の後退自己相似解と比較することで矛盾を導く。もし初期データが急速に増大する場合、それが自己相似プロファイルよりも支配的となり、ある時間までの古典解の存在と矛盾が生じる。
4. 爆発解析：
   • Type I vs. Type II： 本論文は、Type I 爆発（勾配が自己相似的な速度で増大する）と Type II 爆発（より速い増大を示す）を区別する。
   • リスケーリングとリューヴィル型定理： Type II 爆発に対して、著者らは解を特異点の近傍でズームアップするリスケーリング引数（爆発解析）を用いる。これらリス解の極限は、方程式の全空間解であることが示される。これらの全空間解の分類は、半空間における有界な全空間解は定常であり、かつ法線変数 $x_n$ のみに依存するという最近のリューヴィル型定理 [5, 8] に依拠している。
   • 勾配評価： 爆発時刻付近での勾配の精密な上限および下限を導出するために、バーンスタイン型の評価および熱核セミグループの正則性議論が用いられる。

主要な貢献と結果

1. 最適初期データクラス：
   本論文は、無限遠での増大と境界での特異性を許容する最適クラス $X$（$1 < p \le 2$ の場合）および $X_1$（$p > 2$ の場合）を定義している。

   • 無限遠での成長： 臨界指数は $p/(p-1)$ として特定されている。具体的には、$x_n \to \infty$ において $u_0(x) \lesssim x_n^{1+\beta}$（ここで $\beta = 1/(p-1)$）となることが鋭い閾値である。定理 2.3 は、もし $u_0$ が $x'$ に関して一様にこの速度よりも速く増大する場合、古典解が存在しないことを証明している。
   • 境界挙動： $p > 2$ の場合、初期データは境界 $x_n=0$ 近傍で特定の評価を満たす必要がある：$\limsup_{x_n \to 0} x_n^{\beta-1} \sup_{x'} u_0(x', x_n) < c_p$。これが満たされない場合、解は直ちに古典解ではなくなる。

2. 局所的適正性と爆発の代替条件：

   • 定理 2.1 & 2.2： 最適クラスの初期データに対して、一意な極大古典解が存在する。
   • 爆発の代替条件： 極大存在時間 $T_{max}$ が有限である場合、解は加重 $L^\infty$ ノルムにおいて爆発するか（$1 < p \le 2$ の場合）、あるいは境界からの有限の距離で勾配爆発（GBU）を起こす（$p > 2$ の場合）。

3. 劣臨界成長における爆発挙動：
   初期データが劣臨界成長（$u_0 \lesssim x_n^\gamma$、ただし $\gamma < 1+\beta$）を持つ場合：

   • 大域的存在： $1 < p \le 2$ の場合、解は時間に関して大域的に存在する。
   • 有限時間爆発： $p > 2$ の場合、有限時間の爆発は境界における Type II 勾配爆発 を通じてのみ起こる。解は任意のストリップ $\Gamma_R$ 上では有界であるが、勾配は非有界となる。
   • 鋭い評価： 論文では勾配の鋭い上限および下限を導出している。下限は標準的な Type II の速度 $\|\nabla u\|_{L^\infty} \ge C(T-t)^{-1/(p-2)}$ と一致する。上限は、勾配が特異な定常プロファイルによって制御されること、すなわち $|\nabla u| \le (1+\epsilon) d_p x_n^{-\beta} + C$ を示している。

4. Type II 爆発の漸近プロファイル：

   • 定理 2.5 (バブリング)： Type II 解に対して、境界および爆発時刻へと収束する点列が存在し、それらのリスケールされた勾配は、明示的な一次元プロファイル $d_p (x_n + \beta)^{-\beta} e_n$ へと局所一様に収束する。
   • 定理 2.6 (二分法)： 特異点の近傍の任意の点において、勾配は Type I の挙動を示すか、あるいは特異な定常プロファイルによって制御されるかのいずれかである。これにより、これらが爆発挙動における唯一の局所的な可能性であることが確立される。

意義と主張
本論文は、非有界な初期データを伴う非有界領域における拡散型ハミルトン・ヤコビ方程式の包括的な研究として最初のものであり、非線形放物型方程式の理論における重要な空白を埋めるものである。

• 適正性の拡張： 従来の適正性フレームワーク（通常は有界なデータに限定される）を、有界なデータを許容する最適クラスへと拡張し、存在の閾値として正確な臨界成長指数 $p/(p-1)$ を特定した。
• 精緻化された爆発ダイナミクス： 有界領域における爆発が常に Type II 境界 GBU であるのに対し、本研究は半空間におけるより豊かな構造を明らかにしている。これは、Type I $L^\infty$ 爆発（臨界成長データの場合）と Type II 境界 GBU（劣臨界データの場合）の共存を示している。
• 鋭さ： 結果は鋭い。論文は、臨界速度よりも速く増大するデータに対する非存在結果を提供し、また $p>2$ の場合の初期データに対する境界条件が古典的な可解性のために必要であることを示している。
• 漸近的記述： 論文は、リスケーリング後に Type II 爆発解が明示的な一次元プロファイルに収束することを証明することで、特異形成の精緻な記述を行い、漸近的な特異形成を詳細に特徴付けている。

著者らは、簡潔にするために研究を非負の初期データに限定しているが、この制限は緩和可能であると考えている。本研究は、既存のリューヴィル型定理および比較原理に大きく依拠しており、それらを半空間問題の特定の幾何学的構造および成長条件に適応させている。