[논문 리뷰] The heat equation for the Dirichlet fractional Laplacian with Hardy's potentials: properties of minimal solutions and blow-up

Ali BenAmor|arXiv (Cornell University)|2016. 06. 06.

Nonlinear Partial Differential Equations참고 문헌 9인용 수 5

한 줄 요약

이 논문은 디리클레 분수 라플라스 연산자에 의해 유도되는 열 방정식의 최소해에 대해 날카로운 국소적 및 전역적 추정을 수립한다. 이는 하드니 타입의 포텐셜 $\frac{c}{|x|^\alpha}$에 의해 왜곡된 경우에 해당한다. 열핵 추정과 조화함수를 통한 변환 기법을 사용하여, $c > c^*$일 때 비음수 해가 완전히 즉각적으로 폭발함을 증명함으로써 일반 도메인에 대한 열린 문제를 해결하고, 초임계 및 초임계 이론을 통합한다.

ABSTRACT

Local and global properties of minimal solutions for the heat equation generated by the Dirichlet fractional Laplacian negatively perturbed by Hardy's potentials on open subsets of $\R^d$ are analyzed. As a byproduct we obtain instantaneous blow-up of nonnegative solutions in the supercritical case.

연구 동기 및 목표

• 열 방정식의 디리클레 분수 라플라스 연산자와 하드니 타입 포텐셜을 가진 열 방정식의 최소해의 국소적 및 전역적 성질을 분석한다. 이는 $\mathbb{R}^d$의 열린 부분집합에서의 해를 대상으로 한다.
• 임의의 도메인에 대해 초임계 영역($c > c^*$)에서 비음수 해가 즉각적으로 폭발하는지 여부에 대한 열린 문제를 해결한다. 이는 유계 리프시츠 도메인에 국한되지 않는다.
• 원점 근처에서 최소해의 날카로운 점별 추정을 수립하고, 해의 $L^p$ 정규성 성질을 도출한다.
• 열핵 분석을 통해 최적의 초기 자료 클래스를 규명함으로써 $L^2$-생성자군을 $L^p$-공간으로 확장한다.

제안 방법

• 하향계 영역($c \leq c^*$)에서, 왜곡된 형태를 디리클레 형식으로 변환하는 변환 기법을 사용하여, 왜곡된 분수 라플라스 연산자에 대한 열핵의 존재성과 성질을 유도한다.
• 개선된 하드니-소볼레프 부등식과 딘킨-헌 포장 공식을 이용하여, 열핵의 원점 근처에서 날카로운 상한 및 하한 추정을 수립한다.
• 날카로운 열핵 추정을 활용하여, 원점 근처에서 최소해의 정밀한 점별 행동을 도출함으로써 $x=0$에서 정체된 특이성이 있음을 보여준다.
• 최소해에 대해 두아멜 공식을 적용하고, 컴팩트 세트에서의 하한 $p_t^{L_{V_c}^\Omega}(x,y) \geq \kappa_t w_c(x)w_c(y)$를 활용하여 폭발 추정을 유도한다.
• 모순에 의한 폭발 증명: $c > c^*$에서 비음수 해가 존재한다고 가정하면, $|y|^{-\alpha} w_{c^*}^2(y)$를 포함하는 발산 적분을 도출하게 되어 모순이 발생한다.
• 기존의 날카로운 열핵 추정([BGJP19])을 활용하고, 구와의 비교를 통해 유계 도메인으로 확장함으로써, 균일한 폭발 결과를 도출한다.

실험 결과

연구 질문

• RQ1 임의의 열린 도메인 $\Omega$에 대해, 디리클레 분수 라플라스 연산자와 하드니 포텐셜 $\frac{c}{|x|^\alpha}$를 가진 열 방정식의 최소해가 $c > c^*$일 때 즉각적으로 폭발하는가?
• RQ2 특이성이 $x=0$에 존재하는 하향계 영역($c \leq c^*$)에서 최소해의 원점 근처에서 정밀한 점별 행동은 무엇인가?
• RQ3 $L^2$-생성자군이 $L^p$-공간으로 확장될 수 있는가? 이러한 확장에 대한 최적의 초기 자료 클래스는 무엇인가?
• RQ4 유계 도메인에서의 열핵 추정은 구에서의 추정과 어떻게 관련되어 있으며, 이를 통해 전역적 정규성 및 폭발 성질을 도출할 수 있는가?

주요 결과

• 모든 경우에서 $c > c^*$일 때, 열 방정식은 비음수 해를 가지지 않으며, 최소해는 도메인의 정규성이나 유계성과 무관하게 완전히 즉각적으로 폭발한다.
• 하향계 영역($c \leq c^*$)에서 최소해는 $x=0$ 근처에서 거의 확실히 $u(t,x) \geq c_t w_c(x)$를 만족함을 확인하여, 원점에서 정체된 특이성이 있음을 확인한다.
• 콤팩트 부분집합 $K \subset \Omega$에서 열핵은 $p_t^{L_{V_c}^\Omega}(x,y) \geq \kappa_t w_c(x)w_c(y)$를 만족하며, $t>0$에 대해 일관되게 유지되므로 최소해의 양수성과 특이성을 보장한다.
• $L^2$-생성자군은 $p \in [1,\infty]$에 대해 $L^p$-공간으로 확장되며, 최적의 초기 자료 클래스는 $w_c(x) = |x|^{-(d-\alpha)/2}$로 결정된다.
• 폭발은 발산 적분을 통해 증명된다: $\int_{B'} w_{c^*}^2(y) |y|^{-\alpha} dy = \infty$, 이는 두아멜 공식의 반복과 하한 추정에서 유도된다.
• 임계 임계값 $c^* = \frac{2^\alpha \Gamma^2((d+\alpha)/4)}{\Gamma^2((d-\alpha)/4)}$는 날카로운 경계이다: 폭발은 $c > c^*$일 때에만 발생하며, 초임계 영역에서는 해가 존재하지 않는다.