Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

技術的概要：$\mathbb{R}^N$ における Hardy-Sobolev 型熱方程式の自己相似解に関連する変分問題

問題の定式化
本論文は、$\mathbb{R}^N$ における特異な Hardy-Sobolev 型ポテンシャルを有する半線形放物型方程式の自己相似解の存在、多重性、および非存在を調査する：
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{in } \mathbb{R}^N \times (0, \infty),$$
ただし、$2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ かつ $0 \leq s < 2$ である。本研究は、自己相似変換を通じてこの放物型問題を等価な楕円型問題に変換することに焦点を当てている。変換された方程式は以下の通りである：
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{in } \mathbb{R}^N,$$
ここで $\alpha = \frac{2-s}{2q-4}$ である。主要な目的は、特異項 $|y|^{-s}$ とガウス重み $K(y) = e^{|y|^2/4}$ の影響下において、この楕円型方程式の変分構造を解析することであり、特に臨界未満 ($q < 2^*(s)$) の場合と臨界 ($q = 2^*(s)$) の場合を扱う。

手法
著者らは、特定のヒルベルト空間の枠組み内で、関数解析、重み付き不等式、および変分法の組み合わせを採用している。

1. 関数空間の設定: 問題は、内積 $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$ によって誘導されるノルムに関する $C_c^\infty(\mathbb{R}^N)$ の完備化として定義されるヒルベルト空間 $X$ において定式化される。弱解は、エネルギー汎関数 $E_K(v)$ の臨界点に対応する。
2. 重み付き不等式: 基礎となるステップとして、重み付き Hardy 不等式および重み付き Sobolev-Hardy 不等式の確立が含まれる。これらの不等式は、関連する埋め込み $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$ の連続性とコンパクト性を証明する上で決定的である。
3. 変分手法:
   • 臨界未満の場合: Fountain 定理が用いられ、無限個の解の存在が確立される。これには、定理の幾何学的条件および Palais-Smale (PS) 条件の検証が必要である。
   • 臨界の場合: 解の存在は、集中コンパクト性原理および重み付き Sobolev-Hardy 不等式に関連する最良定数 $S_{K,\alpha}$ の解析に依存する。著者らは、下限が達成されることを保証するために、$S_{K,\alpha}$ を標準的な最良定数 $S^0$（および $S_{K,0}$）と比較する。
   • 非存在: Pohozaev 恒等式が適用され、自明でない解が存在しない条件が導き出される。
4. 代替証明: 臨界の場合について、Mountain Pass 定理を用いた代替証明が提供されており、(PS) 条件を検証するために特定のエネルギーレベルの閾値に依存している。

主要な貢献と結果

• 不等式: 本論文は、K-Hardy 不等式および K-Sobolev-Hardy 不等式を厳密に証明し、重み付き空間 $X$ から重み付き Lebesgue 空間への埋め込みに必要なコンパクト性性質を確立している。
• 臨界未満の場合 ($2 < q < 2^*(s)$):
  • 定理 3.1: 任意の $\alpha \in \mathbb{R}$ に対して、問題は無限個の解 $\{\pm v_k\}_{k=1}^\infty$ を許容し、$k \to \infty$ においてエネルギー $E_K(\pm v_k) \to +\infty$ となる。これは、元の熱方程式に対して無限個の自己相似解が存在することを意味する。
• 臨界の場合 ($q = 2^*(s)$):
  • 非存在: 定理 4.1 は、$\alpha \leq N/4$（$N \geq 3$ の場合）であれば、問題の解は自明な解 $v \equiv 0$ のみであることを確立している。これは Pohozaev 恒等式を通じて証明される。
  • 存在:
    • $N \geq 4$ かつ $\alpha \in (N/4, N/2)$ の場合、少なくとも一つの自明でない解が存在する（定理 4.2）。
    • $N = 3$ かつ $\alpha \in (1, 3/2)$ の場合、少なくとも一つの自明でない解が存在する。
    • 本論文はまた、正の解が存在しない範囲（例えば、$N \geq 4$ の場合の $\alpha \leq N/4$ または $\alpha \geq N/2$）を特徴づけている。
  • 定数の最適性: 著者らは、$\alpha$ の特定の範囲において、商汎関数 $Q_{K,\alpha}$ の下限が標準的な最良定数 $S^0$ よりも厳密に小さいことを示しており、これにより最小値の到達およびしたがって解の存在が保証される。
• 代替アプローチ: 第 5 節では、Mountain Pass 幾何学を用いて臨界場合の存在結果に対する第二の証明を提供しており、導出されたエネルギー制約の下での存在主張の堅牢性を確認している。

意義と主張
本論文は、熱方程式の自己相似解に関する既存の文献（特に $s=0$ の場合に関する Escobedo、Kavian、および Tan の研究）を、特異な Hardy-Sobolev 項 ($s > 0$) を含むより複雑な状況へと拡張するものであると主張している。

その意義は以下の点にある：

1. 二項性の完成: パラメータ $\alpha$ と次元 $N$ に基づいて存在および非存在の結果を確立することにより、変換された楕円型方程式の可解性の風景を明確にしている。
2. 特異性の処理: 特異項 $|y|^{-s}$ とガウス重み $K(y)$ の存在下での重み付き不等式の導出および変分法の適用は、そのような特異な進化問題を解析するための厳密な枠組みを提供している。
3. 多重性: 臨界未満の場合における無限個の解の証明は、これらの種類の放物型方程式の解集合の豊かな構造を浮き彫りにしている。

著者らは控えめなトーンを維持し、序論で言及されている拡散および特異な進化現象の一般的な特徴付けを超えて特定の物理的応用へと推論することなく、存在、多重性、および非存在の定理の数学的導出に厳密に焦点を当てている。結果は、Hardy-Sobolev 設定への古典的理論の厳密な拡張として提示されている。