[論文レビュー] Well-posedness and global dynamics for the critical Hardy-Sobolev parabolic equation

Noboru Chikami, Masahiro Ikeda+1 more|arXiv (Cornell University)|Sep 15, 2020

Advanced Mathematical Physics Problems参考文献 29被引用数 18

ひとこと要約

本稿は、エネルギー臨界定数のハーディー＝ソボレフ放物型方程式について、エネルギー空間 $\dot{H}^1(\mathbb{R}^d)$ において鋭い二分岐を確立する。解は、初期データにおけるネハリ汎関数 $J_\gamma(u_0)$ の符号にのみ依存して、時間的に全域でゼロに減衰するか、有限時間で爆発するかのどちらかである。この結果により、全域的解の存在と減衰、あるいは有限時間爆発若しくは無限時間成長の必要十分条件が得られ、特異ポテンシャルを伴うエネルギー臨界定数のハーディー＝ソボレフ設定への濃縮・コンパクトネス法の拡張がなされた。

ABSTRACT

We study the Cauchy problem for the semilinear heat equation with the singular potential, called the Hardy-Sobolev parabolic equation, in the energy space. The aim of this paper is to determine a necessary and sufficient condition on initial data below or at the ground state, under which the behavior of solutions is completely dichotomized. More precisely, the solution exists globally in time and its energy decays to zero in time, or it blows up in finite or infinite time. The result on the dichotomy for the corresponding Dirichlet problem is also shown as a by-product via comparison principle.

研究の動機と目的

• エネルギー空間 $\dot{H}^1(\mathbb{R}^d)$ 内の初期データについて、臨界定数のハーディー＝ソボレフ放物型方程式の解の全域的挙動を特徴づける必要十分条件を同定すること。
• エネルギーが地殻状態エネルギー以下である制約下で、全域的散乱解（ゼロに減衰する解）と有限時間で爆発する解、または無限に成長する解との完全な二分岐を確立すること。
• シュレーディンガー方程式および波動方程式に既に用いられた濃縮・コンパクトネス法を、特異なハーディー型ポテンシャル $|x|^{-\gamma}$ を有する放物型設定に拡張すること。
• 初期エネルギー $E_\gamma(u_0) \leq l_{HS}$ の下で、ネハリ汎関数 $J_\gamma(u_0)$ の符号が長期間のダイナミクスを完全に決定することを証明すること。

提案手法

• 解の積分表現を線形熱半群 $e^{t\Delta}$ とそれに伴うデュハメルの原理を用いて定式化し、$C([0,T'); \dot{H}^1)$ 内の弱解を定義する。
• 関数的枠組みとしてエネルギー空間 $\dot{H}^1(\mathbb{R}^d)$ とスケーリング臨界定数のルベーグ空間 $L^{q_c}(\mathbb{R}^d)$ を用い、$q_c = 2d/(d-2)$ とする。
• 初期データの分類にネハリ汎関数 $J_\gamma(\varphi) = \|\varphi\|_{\dot{H}^1}^2 - \int_{\mathbb{R}^d} |\varphi|^{2^*(\gamma)} / |x|^\gamma \, dx$ を用いる。
• マウンテンパスエネルギー $l_{HS} = \inf_{\varphi \in \dot{H}^1 \setminus \{0\}} \max_{\lambda \geq 0} E_\gamma(\lambda \varphi)$ は、地殻状態 $W_\gamma$ のエネルギーとして特定され、二分岐の閾値をなす。
• 非線形項 $|x|^{-\gamma}|u|^{2^*(\gamma)-2}u$ を制御するため、ダイアディック時間区間上で適切に構築された関数空間 $X_j$ における固定点法を用いて局所的well-posednessを証明する。
• 有界領域におけるディリクレ問題に対して比較原理を適用し、熱核の領域単調性と非線形項の正値性を用いて、二分岐結果を有界領域へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー臨界定数のハーディー＝ソボレフ放物型方程式の解が、初期データ $u_0 \in \dot{H}^1(\mathbb{R}^d)$ に対して全域的かつゼロに減衰するか、有限時間で爆発するかを決定する初期データにおける正確な条件は何か？
• RQ2 初期エネルギーが地殻状態エネルギー以下であるとき、ネハリ汎関数 $J_\gamma(u_0)$ の符号が解の長期間挙動をどのように決定するか？
• RQ3 シュレーディンガー方程式および波動方程式に成功した濃縮・コンパクトネス法を、特異ポテンシャル $|x|^{-\gamma}$ を有する放物型方程式に適応して、鋭い二分岐を証明できるか？
• RQ4 地殻状態 $W_\gamma$ はエネルギー臨界定数のハーディー＝ソボレフ設定において、閾値解として果たす役割は何か？

主な発見

• 初期データ $u_0 \in \dot{H}^1(\mathbb{R}^d)$ で $E_\gamma(u_0) \leq l_{HS}$ かつ $J_\gamma(u_0) > 0$ を満たす解は、時間的に全域にわたって存在し、$\lim_{t \to \infty} \|u(t)\|_{\dot{H}^1} = 0$ を満たす。これは、解が散乱的であることを意味する。
• 初期エネルギー $E_\gamma(u_0) \leq l_{HS}$ かつ $J_\gamma(u_0) < 0$ を満たす解は、有限時間で爆発するか、$t \to \infty$ で無限に成長する。
• 初期データ $u_0 \in L^2(\mathbb{R}^d)$ を追加で満たす場合、$J_\gamma(u_0) < 0$ を満たす解は、有限時間で必ず爆発する。
• $E_\gamma(u_0) < l_{HS}$ かつ $J_\gamma(u_0) = 0$ を満たす非ゼロ初期データは存在しない。等号の場合、$E_\gamma(u_0) = l_{HS}$ かつ $J_\gamma(u_0) = 0$ は、定常解、すなわち地殻状態 $W_\gamma$ の定数倍に対応する。
• 比較原理を用いて、有界領域におけるディリクレ問題へも同様の二分岐が成立することが拡張され、$J_\gamma(u_0)$ の符号条件が同じまま成り立つ。
• エネルギー恒等式 $\frac{d}{dt} E_\gamma(u(t)) = -\int_{\mathbb{R}^d} |\partial_t u(t,x)|^2 dx \leq 0$ が形式的に満たされ、エネルギーの散逸を示しており、これが解析の鍵となる。