[논문 리뷰] Existence and stability of infinite time blow-up in the Keller-Segel system

Juan Dávila, Manuel del Pino외 3명|arXiv (Cornell University)|2019. 11. 27.

Mathematical Biology Tumor Growth참고 문헌 50인용 수 4

한 줄 요약

이 논문은 임계 질량 $8\pi$에서 2차원 Keller-Segel 화학유인 시스템에서 무한 시간 폭발 해가 존재하고 비원형으로 안정됨을 입증한다. 저자들은 새로운 내부-외부 접합 기법을 사용하여 질량 $8\pi$와 유한한 두 번째 순간을 갖는 원형 초기 자료 $u_0^*$를 구성하고, 이에 가까운 초기 자료가 무한 시간 동안 폭발하는 해를 갖는다는 것을 증명한다. 이 해는 $u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$ 형태의 자가유사 프로파일을 가지며, $\lambda(t) \sim \frac{c}{\sqrt{\log t}}$ 이고 $\xi(t) \to q \in \mathbb{R}^2$ 임을 확인하여 오랫동안 제기된 비원형 안정성에 대한 추측을 확인한다.

ABSTRACT

Perhaps the most classical diffusion model for chemotaxis is the Keller-Segel system \begin{equation} ag{$\ast$} \label{ks0} \left\{ \begin{aligned} u_t =&\; Δu - abla \cdot(u abla v) \quad in {\mathbb R}^2 imes(0,\infty),\\ v =&\; (-Δ_{\R^2})^{-1} u := \frac 1{2π} \int_{R^2} \, \log \frac 1{|x-z|}\,u(z,t)\, dz, \\ & \qquad\ u(\cdot ,0) = u_0 \geq 0\quad\hbox{in } R^2. \end{aligned} ight. \end{equation} We consider the {\em critical mass case} $\int_{R^2} u_0(x)\, dx = 8π$ which corresponds to the exact threshold between finite-time blow-up and self-similar diffusion towards zero. We find a radial function $u_0^*$ with mass $8π$ such that for any initial condition $u_0$ sufficiently close to $u_0^*$ the solution $u(x,t)$ of \equ{ks0} is globally defined and blows-up in infinite time. As $t o+\infty $ it has the approximate profile $$ u(x,t) \approx \frac 1{λ^2} \ch{U}\left (\frac {x-ξ(t)}{λ(t)} ight ), \quad \ch{U}(y)= \frac{8}{(1+|y|^2)^2}, $$ where $λ(t) \approx \frac c{\sqrt{\log t}}, \ ξ(t) o q $ for some $c>0$ and $q\in \R^2$. This result answers affirmatively the nonradial stability conjecture raised in \cite{g}.

연구 동기 및 목표

• 임계 질량 Keller-Segel 시스템에서 무한 시간 폭발에 대한 비원형 안정성 추측을 해결하기 위해.
• 정확한 점근적 프로파일을 갖는 무한 시간 동안 폭발하는 전역 해를 구성하기 위해.
• 질량 $8\pi$와 유한한 두 번째 순간을 갖는 원형 초기 조건 $u_0^*$의 존재를 입증하여, 이에 가까운 변화가 무한 시간 폭발을 유도함을 보장하기 위해.
• 폭발 속도가 $\lambda(t) \sim c / \sqrt{\log t}$임을 증명하고 중심 $\xi(t)$가 $\mathbb{R}^2$ 내의 유한한 점 $q$로 수렴함을 입증하기 위해.
• 원형 설정을 초월하여 무한 시간 폭발을 다룰 수 있는 강력한 분석 프레임워크를 개발하기 위해.

제안 방법

• 폭발점 근처의 동역학(내부 문제)과 전반적 행동(외부 문제)를 분리하기 위해 내부-외부 접합 기법을 사용하였다.
• 폭발점 근처의 해의 버블 유사한 구조를 분석하기 위해 내부 변수 $y = (x - \xi(t))/\lambda(t)$를 정의하였다.
• 초기 자료 $u_0^*$ 주변의 변화를 측정하기 위해 가중치가 붙은 $C^1$-노름 $\|\phi\|_{*\sigma}$를 사용하여 충분한 정규성과 감쇠를 보장하였다.
• 외부 및 내부 영역에서 오차 항을 제어하기 위해 장벽 함수 $\psi_1$, $\psi_2$, 및 $\tilde{\psi}$를 통해 상한 해를 구성하였다.
• 폭발 버블의 운동을 지배하는 중심 $\xi(t)$에 대한 비국소적인 상미분 방정식계를 유도하고 해를 구하였다.
• 스펙트럼 추정과 에너지 방법을 적용하여 외부 영역에서 선형화된 연산자 $L_o$를 제어하여 비원형 변화에 대한 안정성을 확보하였다.

실험 결과

연구 질문

• RQ1 임계 질량 원형 프로파일에 가까운 초기 자료에 대해 2차원 Keller-Segel 시스템에서 비원형 변화가 있을 경우에도 무한 시간 폭발이 발생할 수 있는가?
• RQ2 무한 시간 영역에서 스케일링 매개변수 $\lambda(t)$의 정확한 점근적 폭발 속도는 무엇인가?
• RQ3 무한 시간 $t \to \infty$에서 폭발 프로파일의 중심 $\xi(t)$는 $\mathbb{R}^2$ 내의 유한한 점으로 수렴하는가?
• RQ4 원형 설정을 초월하여 폭발 프로파일의 안정성이 비원형 클래스에서 확립될 수 있는가?
• RQ5 두 번째 순간은 임계 질량 $8\pi$에서 폭발 행동을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 질량 $8\pi$와 유한한 두 번째 순간을 갖는 원형 초기 조건 $u_0^*$가 존재하며, 이에 가까운 모든 변화(가중치가 붙은 $C^1$-노름 기준)는 전역 해를 만들어내고 무한 시간 동안 폭발한다.
• 폭발 프로파일은 유계 집합에서 균일하게 $u(x,t) \approx \frac{1}{\lambda(t)^2} U\left(\frac{x - \xi(t)}{\lambda(t)}\right)$ 를 만족하며, $U(y) = \frac{8}{(1 + |y|^2)^2}$ 이다.
• 스케일링 매개변수 $\lambda(t)$는 $t \to \infty$일 때 $\lambda(t) = \frac{c}{\sqrt{\log t}} (1 + o(1))$ 를 만족하며, 이는 이전 연구에서 예측된 형식적 속도를 확인한다.
• 중심 $\xi(t)$는 $t \to \infty$일 때 유한한 극한 $q \in \mathbb{R}^2$로 수렴하여 폭발의 공간적 국소화가 안정적임을 나타낸다.
• 해는 비원형 변화에 대해 안정적이며, [26]에서 제기된 비원형 안정성 추측을 확인한다.
• 이 구성은 느린 폭발 속도와 비국소적 동역학을 효과적으로 다룰 수 있는 새로운 내부-외부 접합 기법에 기반한다.