[논문 리뷰] Optimal condition for blow-up of the critical $L^q$ norm for the semilinear heat equation

Noriko Mizoguchi, Philippe Souplet|arXiv (Cornell University)|2018. 12. 29.

Nonlinear Partial Differential Equations참고 문헌 37인용 수 4

한 줄 요약

이 논문은 $p>1$ 및 매끄러운 도메인 $ Omega$ 에 대해 일반적인 조건 하에, 반선형 열방정식 $u_t = \Delta u + |u|^{p-1}u$ 의 해의 임계 $L^{q^*}$ 노름이 유일하게 타입 I 폭발을 겪을 때에만 폭발함을 증명한다. 증명은 유사성 변수, 스케일링, 후방 유일성, 그리고 포물선 방정식에 대한 유일 연속성의 조합을 통해 이루어지며, 기존의 타입 II 폭발 해가 유계 임계 노름을 갖는 것으로 알려진 바를 고려할 때 이 조건이 본질적으로 최적임을 밝혀 장기적인 열린 문제를 해결한다.

ABSTRACT

We shed light on a long-standing open question for the semilinear heat equation $u_t = Δu + |u|^{p-1} u$. Namely, without any restriction on the exponent $p>1$ nor on the smooth domain~$Ω$, we prove that the critical $L^q$ norm blows up whenever the solution undergoes {\it type~I~blow-up.} A~similar property is also obtained for the local critical $L^q$ norm near any blow-up point. In view of recent results of existence of type~II blow-up solutions with bounded critical $L^q$ norm, which are counter-examples to the open question, our result seems to be essentially the best possible result in general setting. This close connection between type I blow-up and critical $L^q$ norm blow-up appears to be a completely new observation. Our proof is rather involved and requires the combination of various ingredients. It is based on analysis in similarity variables and suitable rescaling arguments, combined with {\it backward uniqueness and unique continuation properties} for parabolic equations. As a by-product, we obtain the nonexistence of self-similar profiles in the critical $L^q$ space. Such properties were up to now only known for $ p \le p_S $ and in radially symmetric case for $ p > p_S $, where $ p_S $ is the Sobolev exponent.

연구 동기 및 목표

• 반선형 열방정식의 해가 폭발할 때 임계 $L^{q^*}$ 노름이 반드시 폭발해야 하는지 여부라는 오랫동안 열려 있던 문제를 해결하기 위해.
• 일般적인 $p>1$ 및 매끄러운 도메인에서 타입 I 폭발이 임계 $L^{q^*}$ 노름 폭발에 필수적이고 본질적으로 충분한 조건임을 확립하기 위해.
• 기존의 타입 II 폭발 해 중 임계 $L^{q^*}$ 노름이 유계인 반례들과 연결시켜 결과의 최적성을 보여주기 위해.
• 임계 $L^{q^*}$ 공간에서 자가유사 프로파일이 존재하지 않음을 증명하여 기존 결과를 소볼레프 지수 $p_S$를 초월해 확장하기 위해.
• 유사성 변수에서의 정밀 분석을 수행하고 후방 유일성 및 유일 연속성을 활용하여 폭발 기준을 확립하기 위해.

제안 방법

• 해 $u(t,x)$ 에 대해 $s = -\log(T-t)$, $y = x/(T-t)^\beta$ 를 이용한 치환 $v(s,y) = (T-t)^{\beta} u(t,x)$ 를 통해 반선형 열방정식을 유사성 변수로 변환하기.
• 폭발 시간 근처에서 해의 행동을 분석하기 위해 스케일링 기법을 적용하고, 폭발점 근처의 국소 $L^{q^*}$ 노름에 초점 맞추기.
• 포물선 방정식에 대한 후방 유일성을 적용하여 폭발 시간 이후 어떤 영역에서 0이 되는 비자명한 해가 존재하지 않음을 규명하기.
• 특정 문헌([17])에서의 유일 연속성 성질을 활용하여 해가 영역에서 0이 되는 것을 전체 도메인으로 확장하기.
• 포물선 정규성 추정 및 링크형 영역에서의 균일한 유계성 조건을 결합하여, 타입 I 폭발 조건 하에서 $L^{q^*}$ 노름이 유계일 수 없다는 모순을 이끌어내기.
• 스케일링된 해의 점근적 행동을 분석하고, $q^* = N(p-1)/2$ 인 임계 공간의 구조를 활용하기.

실험 결과

연구 질문

• RQ1 반선형 열방정식의 해가 타입 I 폭발을 겪을 때 임계 $L^{q^*}$ 노름이 반드시 폭발해야 하는가?
• RQ2 임계 $L^{q^*}$ 노름이 일정하게 유계인 타입 II 폭발 해가 존재할 수 있으며, 만약 그렇다면 이는 $L^{q^*}$ 폭발 조건의 필수성에 어떤 영향을 미치는가?
• RQ3 일般적인 도메인과 모든 $p>1$ 에 대해 타입 I 폭발 조건이 임계 $L^{q^*}$ 노름 폭발에 필수적이고 본질적으로 충분한가?
• RQ4 후방 유일성 및 유일 연속성이 임계 $L^{q^*}$ 공간에서 자가유사 프로파일의 존재를 막는 데 어떤 역할을 하는가?
• RQ5 $p \leq p_S$ 또는 회전 대칭성의 경우를 초월해 $L^{q^*}$ 공간에서 자가유사 프로파일이 존재하지 않음을 증명할 수 있는가?

주요 결과

• 임계 $L^{q^*}$ 노름은 임의의 $p>1$ 및 매끄러운 도메인 $ Omega$ 에 대해 해가 타입 I 폭발을 겪을 때에만 폭발한다.
• 기존의 타입 II 폭발 해(예: [46], [12])가 일정하게 유계인 $L^{q^*}$ 노름을 갖는 것으로 알려진 바를 고려할 때, 이 결과는 최적임을 의미하며 타입 I 폭발이 $L^{q^*}$ 폭발에 필수적임을 보여준다.
• 논문은 기존에 $p \leq p_S$ 또는 회전 대칭성에 국한되었던 결과를 초월해 임계 $L^{q^*}$ 공간에서 자가유사 프로파일이 존재하지 않음을 증명한다.
• 모든 폭발점 근처의 국소 임계 $L^{q^*}$ 노름 또한 타입 I 폭발 조건 하에서 폭발함을 확인하여 이 기준이 국소적 성격을 지님을 입증한다.
• 증명은 유사성 변수, 스케일링, 후방 유일성, 유일 연속성의 새로운 조합을 기반으로 하며, 폭발 유형과 $L^{q^*}$ 행동 간의 새로운 연결 고리를 확립한다.
• 결과는 $p>1$ 또는 도메인 기하학에 대한 제한 없이 성립하므로, $L^{q^*}$ 노름 폭발에 대한 일반적이고 정밀한 기준이 된다.