[논문 리뷰] Blow-up for a semilinear heat equation with Fujita's critical exponent on locally finite graphs

Yiting Wu|arXiv (Cornell University)|2020. 04. 16.

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 5

한 줄 요약

이 논문은 국소적으로 유한하고 연결되어 있으며, $CDE'(n,0)$ 곡률-차원 조건을 만족하고, 다항체적 체적 성장도 $m$인 가중치가 부여된 그래프에서, 반선형 열방정식 $\partial_t u = \Delta u + u^{1+\alpha}$의 모든 음이 아닌 해가 $\alpha = \frac{2}{m}$일 때 유한 시간 내에 폭발함을 증명한다. 이는 이전 연구에서 열어두었던 임계 지수 경우를 해결한다. 증명은 열핵 추정, 해의 적분 표현, 그리고 완화된 체적 조건과 초기 조건 하에서의 비교 기법을 결합하여, 그래프로의 푸지타 유형 결과를 확장한다.

ABSTRACT

Let $G=(V,E)$ be a locally finite, connected and weighted graph. We prove that, for a graph satisfying curvature dimension condition $CDE'(n,0)$ and uniform polynomial volume growth of degree $m$, all non-negative solutions of the equation $\partial_tu=Δu+u^{1+α}$ blow up in a finite time provided that $α=\frac{2}{m}$. We also consider the blow-up problem under certain conditions for volume growth and initial value. The obtained results provide a significant complement to the work by Lin and Wu in earlier paper.

연구 동기 및 목표

• 국소적으로 유한한 그래프에서 반선형 열방정식 $\partial_t u = \Delta u + u^{1+\alpha}$의 임계 지수 $\alpha = \frac{2}{m}$일 때 전역 음이 아닌 해가 존재하는지 여부를 해결하는 것.
• 이전 연구에서 임계 지수 경우를 제외한 린과 우의 결과를 확장하여, 균일한 다항체적 체적 성장 조건 하에서 $\alpha = \frac{2}{m}$일 때 폭발을 증명하는 것.
• 체적 성장이 다항체적보다 약간 느린 경우, 예를 들어 $\mathcal{V}(x_0,r) \sim r^m \log^\eta r$일 때, 초기 자료에 양의 하한이 존재하는 조건 하에서 폭발 결과를 일반화하는 것.
• 다양한 체적 성장 조건과 초기 자료 조건 하에서 반선형 열방정식의 전역 존재성과 폭발을 완전히 특성화하는 것.

제안 방법

• 그래프에서 열핵 추정을 유도하기 위해 $CDE'(n,0)$ 곡률 조건을 활용하여 해의 행동을 제어한다.
• 열핵을 통한 해의 적분 표현을 사용하여 $u(t,x)$를 초기 자료와 기본 해의 형태로 표현한다.
• 열핵과 초기 자료에 대한 하한을 이용한 비교 기법을 적용하여 해의 성장에 하한을 도출한다.
• 모순에 의한 폭발 증명: 전역 존재를 가정하면 유도된 하한과 충돌하는 성장률이 도출됨을 보인다.
• 열핵의 감쇠를 제어하기 위해 체적 성장 조건—균일한 다항체적 성장 (c.1)과 로그 항의 변형 (c.2)—을 활용한다.
• 특히 $CDE'(n,0)$ 조건 하에서 $p_r(2t,x_0,x_0) \gtrsim \mathcal{V}(x_0,\sqrt{2t})^{-1}$ 임을 이용하여 폭발 추정을 유도하는 데 핵심적인 역할을 한다.

실험 결과

연구 질문

• RQ1 국소적으로 유한한 그래프에서 $\alpha = \frac{2}{m}$일 때 반선형 열방정식 $\partial_t u = \Delta u + u^{1+\alpha}$이 전역 음이 아닌 해를 가지는가, 아니면 모든 해가 유한 시간 내에 폭발하는가?
• RQ2 균일한 다항체적 체적 성장 조건을 초월하여 체적 성장이 $\sim r^m \log^\eta r$인 그래프로 $\alpha = \frac{2}{m}$일 때의 폭발 결과를 확장할 수 있는가?
• RQ3 초기 자료 $a(x) \geq a_0 > 0$에 대해 양의 하한이 존재할 경우, $\alpha \leq \frac{2}{m}$일 때 폭발 행동에 어떤 영향을 미치는가?
• RQ4 $CDE'(n,0)$ 곡률-차원 조건이 그래프에서 폭발 분석을 위한 필수 열핵 추정을 보장하는 데 어떤 역할을 하는가?
• RQ5 푸지타의 임계 지수 $\alpha = \frac{2}{m}$는 $\mathbb{R}^m$에서처럼 그래프에서도 폭발 영역에 속하는가?

주요 결과

• 균일한 다항체적 체적 성장도 $m$을 가지며 $CDE'(n,0)$ 조건을 만족하는 그래프에서는, $\alpha = \frac{2}{m}$일 때 반선형 열방정식 $\partial_t u = \Delta u + u^{1+\alpha}$의 모든 음이 아닌 해가 유한 시간 내에 폭발함을 확인하여, 임계 지수 경우가 폭발임을 입증한다.
• 체적 성장 조건 $\mathcal{V}(x_0,r) \sim r^m \log^\eta r$와 $\inf_x a(x) > 0$ 조건 하에서, 모든 $\alpha \in (0, \frac{2}{m}]$에 대해 폭발이 발생함을 보여, 엄밀한 다항체적 경우를 초월한 결과를 확장한다.
• 폭발 시간은 유한하며, 초기 자료의 공간 분포와는 독립적이다. 유한한 하한을 가지는 초기 자료가 존재하는 한 성립한다.
• 증명은 해에 대한 하한을 도출함으로써, 시간에 대해 다항식보다 더 빠르게 증가하는 성장률을 얻으며, 이는 전역 존재를 가정할 경우 모순됨을 보인다.
• 체적 성장이 $\sim r^m \log^\eta r$인 그래프에서 $CDE'(n,0)$ 조건을 만족하는 경우, $\alpha = \frac{2}{m}$가 폭발 영역에 속하고, $\alpha > \frac{2}{m}$일 경우 작은 초기 자료에 대해 전역 해가 존재함을 보여, 그림을 완성한다.
• 분석을 통해 임계 지수 $\alpha = \frac{2}{m}$가 유클리드 공간과 마찬가지로 그래프에서도 폭발 영역에 속함을 확인하였으며, 린과 우(2014)가 열어두었던 갭을 메꾼다.