Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

기술 요약: 정규 변동력을 가진 비균질 반선형 열방정식에 대한 후지타 유형의 폭발(Blow-Up)

문제 정의
본 논문은 다음과 같은 비균질 반선형 열방정식의 전역적 비음해 약해해(global nonnegative weak solution)의 부존재를 조사한다:
$$\partial_t u - \Delta u = |u|^p + w(x), \quad (t, x) \in (0, \infty) \times \mathbb{R}^N,$$
초기 데이터는 $u(0, \cdot) = u_0$이다. 연구의 초점은 여기서 "폭발(blow-up)" 현상, 즉 전역 시간적 약해해의 부존재로 정의된다. 고전적인 후지타 이론($w \equiv 0$)은 임계 지수 $p_F = 1 + 2/N$을 확립하였고, 적분 가능한 강제 항($w \in L^1$)을 가진 강제된 경우(forced case)는 Bandle, Levine, Zhang에 의해 다루어졌다. 그러나 이러한 프레임워크는 강제 항 $w$가 비적분적이거나, 비등방적이거나, 무한대에서 성장하는 경우에는 적용되지 않는다. 저자들은 고전적인 적분 가능성 가정을 강제 항의 공간적 질량에 대한 정량적 조건으로 대체하고자 한다.

방법론
핵심 기술 엔진은 Mitidieri–Pohozaev 테스트 함수 방법과 정규 변동 이론(Karamata 이론)의 결합이다.

1. 테스트 함수 구축: 저자들은 적분 부등식을 유도하기 위해 특정 형태의 테스트 함수 가족 $\psi_T(t, x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ (및 비등방적 변형들)을 사용한다. Young의 부등식을 적용하고 항들을 흡수함으로써, 테스트 함수에 대한 강제 항의 적분에 대한 상한이 $T^{1 + N/2 - p'}$로 스케일링됨을 확립한다.
2. 정규 변동 프레임워크: $w \in L^1$이라고 가정하는 대신, 저자들은 공간 질량 함수 $F(R) = \int_{|x| \le R} w(x) \, dx$를 분석한다. 이들은 질량에 대한 정성적 하한을 $F$가 정규 변동 함수 클래스($RV_\gamma$)에 속한다는 가정, 즉 $F(R) = R^\gamma L(R)$ (여기서 $L$은 완만히 변하는 함수)으로 대체한다.
3. 모순 메커니즘: 증명은 모순에 의해 진행된다. 만약 전역 해가 존재한다면, 질량 조건으로부터 유도된 하한(스케일링 $T^{\gamma/2} L(\sqrt{T})$)은 상한과 호환되어야 한다. 저자들은 아임계(subcritical) $p$에 대해, $T \to \infty$일 때 $T$의 지수가 모순을 초래함을 보여준다. 임계 지수의 경우, 완만히 변하는 인자 $L(R)$이 결과를 결정한다. 만약 $L(R) \to \infty$이면 모순이 발생하지만, $L(R)$이 유계이거나 감소하는 경우, 이 방법은 "침묵(silent)"한다.

주요 기여 및 결과

1. 마스터 폭발 정리 (Theorem 3.4)
본 논문은 정규 변동 질량 $F(R)$의 지수 $\gamma$에 기반한 통합된 폭발 기준을 확립한다.

• 아임계 범위: $F(R)$이 정량적 하한(즉, $\liminf R^{-\gamma}F(R) > 0$ 또는 $F \in RV_\gamma$)을 만족하면, $1 < p < p_F(\gamma)$인 경우 전역 해는 존재하지 않는다. 여기서:
  $$p_F(\gamma) = \begin{cases} \frac{N-\gamma}{N-\gamma-2} & \text{if } \gamma < N-2, \\ \infty & \text{if } \gamma \ge N-2. \end{cases}$$
• 임계 케이스: 만약 $F \in RV_\gamma$이고 완만히 변하는 인자 $L(R) \to \infty$이면, 임계 지수 $p = p_F(\gamma)$에서도 폭발이 발생한다.
• 일반성: 이 프레임워크는 고전적인 $L^1$ 결과($\gamma=0$)를 회복하며, 무한한 질량을 가진 강제 항(예: $w(x) \sim |x|^{-(N-\gamma)}$)으로 확장된다.

2. 가설의 날카로움 (Proposition 4.1)
저자들은 질량 성장 가정에서의 $\liminf$ 조건이 $\limsup$으로 대체될 수 없음을 입증한다. 그들은 초지수적 척도에 의해 분리된 환형(annuli)에 질량이 집중된 강제 항을 구성하여, $\limsup R^{-\gamma}F(R) > 0$이지만 $\liminf R^{-\gamma}F(R) = 0$인 경우를 만든다. 이러한 강제 항의 경우 정규 변동 조건이 실패하며, 폭발 결과가 전체 아임계 범위에서 성립하지 않음을 보여줌으로써 정규 변동 구조의 필요성을 강조한다.

3. 연산자-정규 변동 및 비등방성 (Theorem 7.1)
서로 다른 방향으로 서로 다른 스케일링 비율을 갖는 강제 항을 다루기 위해, 본 논문은 대칭 양의 정치적 지수 행렬 $E$를 사용하는 연산자-정규 변동(operator-regular variation)을 도입한다.

• 임계 지수는 $q = |E| - \gamma_E$와 $\lambda_{\min}$(최소 고윳값)을 사용하여 $p_F^E = \frac{q}{q - 2\lambda_{\min}}$로 일반화된다.
• 저자들은 비등방적 기준이 임의의 등방적 진술보다 엄격하게 강력할 수 있음을 보여주는 예시(Example 7.5)를 제공하며, 강제 항의 기하학적 구조가 폭발 임계값을 크게 변화시킬 수 있음을 증명한다.

4. 부호 변화 강제 항 및 타우베리안 기준 (Theorem 6.7)
본 프레임워크는 부호가 변하는 강제 항 $w$로 확장된다.

• 순 질량 기준: 폭발은 순 질량 $F(R) = \int_{|x|\le R} w$에 의존한다.
• 가우스-라플라스 변환: 타우베리안 정리를 통해 $F(R)$의 정규 변동성을 가우스-라플라스 변환 $\Lambda_w(s) = \int e^{-s|x|^2}w(x)dx$의 $s \to 0^+$로서의 점근적 거동을 통해 검증할 수 있다. 만약 $w$의 음의 부분이 엄격히 더 작은 차수라면, 폭발 기준은 순 질량에 적용된다.

5. 비국소 및 분수형 설정으로의 확장 (Section 8)
본 방법론은 다음의 경우로 적응된다:

• 리즈 포텐셜(Riesz-potential) 강제 항: 소스가 컨볼루션 $I_\sigma g$인 경우.
• 분수형 라플라시안: $\partial_t u + (-\Delta)^s u = |u|^p + w$.
• 누적 강제 기능 ($\Phi$): 누적 강제 기능 $\Phi(T)$의 정규 변동 지수 $\alpha$를 테스트 함수 지수 $\beta(p)$와 비교함으로써 폭발 이분법을 결정하는 통일된 형식론(Theorem 8.7)이 도입된다.

의의 및 주장
본 논문은 Bandle–Levine–Zhang 이론의 고전적인 적분 가능성 가정을 초월하는 통합된 프레임워크를 제공한다고 주장한다. 정규 변동을 활용함으로써 저자들은 다음을 수행한다:

• 강제 질량의 성장률에 의존하는 연속적인 임계 지수 가족 $p_F(\gamma)$를 식별한다.
• 날카로움(sharpness) 결과를 확립하여, 정규 변동의 구조적 제어 없이는 질적 성장 조건(예: $\limsup$)이 불충분함을 보여준다.
• 비등방적 및 비국소적 설정으로 확장하여, 방향적 스케일링과 분수형 확산을 고려한 폭발 임계값에 대한 설명을 제공한다.
• 완만히 변하는 인자의 역할을 명확히 하여, 증폭($L(R) \to \infty$)이 임계 지수에서 폭발을 일으키기에 충분함을 보여준다. 이는 고전적인 $\liminf$ 가설만으로는 접근할 수 없는 결과이다.

저자들은 테스트 함수 방법이 비존재성에 대한 충분 조건을 제공하지만, (특히 초임계 범위에서 작은 데이터에 대한 전역 해의 존재성과 관련하여) 도출된 지수의 최적성은 여전히 미해결 과제로 남아 있다고 언급한다.