[논문 리뷰] Type II Finite time blow-up for the three dimensional energy critical heat equation

Manuel del Pino, Monica Musso외 3명|arXiv (Cornell University)|2020. 02. 13.

Advanced Mathematical Physics Problems참고 문헌 34인용 수 9

한 줄 요약

이 논문은 3차원 에너지 임계 열방정식 $ u_t = \Delta u + u^5 $에 대해 유일한 엄밀한 예시로 유형 II 유한시간 폭발을 구축한다. 커널 $ Z_0(y) \sim |y|^{-1} $의 천천간 감쇠를 다루기 위해 정밀한 내부-외부 접합 방법을 사용한다. 해는 임의의 양의 정수 $ k $에 대해 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $ 의 속도로 폭발하며, 필리파스, 페르로, 벨라스케스의 형식적 계산을 확인한다.

ABSTRACT

We consider the following Cauchy problem for three dimensional energy critical heat equation \begin{equation*} \begin{cases} u_t=Δu+u^{5},~&\mbox{ in } \ {\mathbb R}^3 imes (0,T),\\ u(x,0)=u_0(x),~&\mbox{ in } \ {\mathbb R}^3. \end{cases} \end{equation*} We construct type II finite time blow-up solution $u(x,t)$ with the blow-up rates $ \| u\|_{L^\infty} \sim (T-t)^{-k}$, where $ k=1,2,... $. This gives a rigorous proof of the formal computations by Filippas, Herrero and Velazquez \cite{fhv}. This is the first instance of type II finite time blow-up for three dimensional energy critical heat equation.

연구 동기 및 목표

• 3차원 에너지 임계 열방정식 $ u_t = \Delta u + u^5 $에 대해 형식적 예측에도 불구하고 열려 있던 유형 II 유한시간 폭발 해를 구축하는 것.
• 3차원에서 블루업 속도 $ \|u\|_{L^\infty} \sim (T-t)^{-k} $에 대해 필리파스, 페르로, 벨라스케스의 형식적 점근 전개를 엄밀히 검증하는 것.
• 기저 상태 주위 선형화된 연산자에서 $ L^2 $로 적분되지 않는 커널 $ Z_0(y) \sim |y|^{-1} $ 가 초래하는 과제를 극복하는 것.
• 이전 방법이 실패한 임계 차원 $ n=3 $ 에서 느리게 감쇠하는 오차 항을 다룰 수 있도록 내부-외부 접합 방법을 확장하는 것.

제안 방법

• 해를 내부(버블링) 및 외부(정규) 성분으로 분해하기 위해 내부-외부 접합 방법을 사용하여 인터페이스에서 점근 전개를 매칭한다.
• 필리파스, 페르로, 벨라스케스의 형식적 계산에 기반한 일치하는 점근 전개를 사용하여 폭발 프로파일의 일阶 근사값을 구성한다.
• 커널 $ Z_0(y) \sim |y|^{-1} $ 에서 유래하는 느린 감쇠 오차를 흡수하기 위해 전역 수정 항을 도입하여, 이로 인해 $ L^2 $에 속하지 않는 오차가 안정화된다.
• 유한차원 문제로 PDE를 줄이기 위해 라파노프-슐라이트 감소를 적용하고, 고정점 추론을 통해 매개변수 $ \mu(t) $ 와 $ \theta(x,t) $ 를 구한다.
• 시간에 따라 변하는 가중치를 가진 $ L^\infty $ 공간에서의 정밀한 추정을 통해 오차 항을 제어하며, 특히 감쇠가 약한 외부 영역에서 주의 깊게 제어한다.
• 폭발 프로파일을 임의의 $ k \in \mathbb{Z}_+ $ 에 대해 모델링하기 위해 헤르미트 다항식 $ H_{2k} $ 와 구형 프로파일 $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $ 의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 3차원 에너지 임계 열방정식에 대해 임의의 폭발 속도 $ (T-t)^{-k} $ 를 갖는 유형 II 폭발이 엄밀히 구축될 수 있는가?
• RQ2 3차원에서 $ n=3 $, $ p=5 $, $ k \in \mathbb{Z}_+ $ 인 경우 필리파스, 페르로, 벨라스케스의 형식적 점근 프로파일이 수학적으로 타당한가?
• RQ3 내부-외부 접합 방법은 3차원에서 $ L^2 $로 적분되지 않는 커널 $ Z_0(y) \sim |y|^{-1} $ 를 어떻게 다룰 수 있는가?
• RQ4 오차가 너무 느리게 감쇠되어 기존 접합 기법이 실패할 경우, 전역 수정 항은 해의 안정화에 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 $ k \in \mathbb{Z}_+ $ 에 대해 3차원 에너지 임계 열방정식 $ u_t = \Delta u + u^5 $ 의 해 $ u(x,t) $ 를 구축하여, $ \|u\|_{L^\infty} \sim (T-t)^{-k} $ 의 속도로 유한시간 $ T $ 에 폭발함을 보이며, 필리파스, 페르로, 벨라스케스의 형식적 예측을 확인한다.
• 폭발 속도는 기저 상태 $ w(y) = 3^{1/4}(1+|y|^2)^{-1/2} $, 보정 항 $ J $, 헤르미트 다항식 $ H_{2k} $ 를 포함한 프로파일을 통해 실현되며, 진폭은 $ \mu(t) \sim 3^{1/2}A(T-t)^{2k} $ 로 조절된다.
• 접합 방법은 $ |y|^{-1} $ 감쇠 커널의 과제를 전역 보정 항을 도입하여 $ L^2 $에 속하지 않는 오차를 흡수함으로써 성공적으로 극복하였다. 이로 인해 고정점 추론이 수렴한다.
• 오차 항 $ \theta(x,t) $ 는 $ \|\theta\|_{L^\infty} \leq T^a $ 를 만족하며, 어떤 $ a>0 $ 에 대해 성립하여 해가 구성된 프로파일에 가까이 유지됨을 보장한다.
• 이것은 $ n=3 $ 에서 에너지 임계 케이스에서 유형 II 폭발을 엄밀히 구축한 최초의 사례이며, 비선형 포물형 PDE 이론에서 주요 격차를 메운다.
• 결과적으로 내부-외부 접합 방법의 적용 범위를 선형화된 연산자에서 $ L^2 $로 적분되지 않는 모드를 갖는 차원으로 확장하여, 다른 임계 또는 초임계 설정에서 유사한 구축이 가능하게 하였다.