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. 함수적 설정: 문제는 $C_c^\infty(\mathbb{R}^N)$ 을 내적 $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$ 에 의해 유도된 노름에 대해 완비화한 힐베르트 공간 $X$ 에서 공식화된다. 약해는 에너지 범함수 $E_K(v)$ 의 임계점에 해당한다.
2. 가중 부등식: 기초적인 단계로는 가중 Hardy 부등식과 가중 Sobolev-Hardy 부등식을 확립하는 것이 포함된다. 이러한 부등식은 관련 포함 사상 $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$ 의 연속성과 컴팩트성을 증명하는 데 필수적이다.
3. 변분 기법:
   • 임계 이하의 경우: Fountain Theorem 을 사용하여 무한히 많은 해의 존재성을 확립한다. 이를 위해서는 해당 정리의 기하학적 조건과 Palais-Smale (PS) 조건을 검증해야 한다.
   • 임계의 경우: 해의 존재성은 집중 - 컴팩트성 원리와 가중 Sobolev-Hardy 부등식에 관련된 최적 상수 $S_{K,\alpha}$ 의 분석에 의존한다. 저자들은 하한이 달성되도록 보장하기 위해 $S_{K,\alpha}$ 를 표준 최적 상수 $S^0$ (및 $S_{K,0}$) 과 비교한다.
   • 부존재: Pohozaev 항등 을 적용하여 자명하지 않은 해가 존재하지 않는 조건을 유도한다.
4. 대체 증명: 임계의 경우, Mountain Pass Theorem 을 사용하여 대체 증명을 제공하며, 이는 (PS) 조건을 검증하기 위해 특정 에너지 수준 임계값에 의존한다.

주요 기여 및 결과

• 부등식: 본 논문은 K-Hardy 부등식과 K-Sobolev-Hardy 부등식을 엄밀하게 증명하여, 가중 공간 $X$ 의 가중 Lebesgue 공간으로의 포함에 필요한 컴팩트성 성질을 확립한다.
• 임계 이하의 경우 ($2 < q < 2^*(s)$):
  • 정리 3.1: 임의의 $\alpha \in \mathbb{R}$ 에 대해, 문제는 에너지 $E_K(\pm v_k) \to +\infty$ ($k \to \infty$) 가 되도록 하는 무한히 많은 해 $\{\pm v_k\}_{k=1}^\infty$ 를 허용한다. 이는 원래 열방정식에 대해 무한히 많은 자기유사 해의 존재를 의미한다.
• 임계의 경우 ($q = 2^*(s)$):
  • 부존재: 정리 4.1 은 $N \geq 3$ 일 때 $\alpha \leq N/4$ 이면 문제의 유일한 해가 자명해 $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 설정으로의 고전 이론의 엄밀한 확대로 제시된다.