[논문 리뷰] Large global solutions of the parabolic-parabolic Keller-Segel system in higher dimensions

Piotr Biler, Alexandre Boritchev외 1명|arXiv (Cornell University)|2022. 03. 17.

Mathematical Biology Tumor Growth참고 문헌 24인용 수 6

한 줄 요약

이 논문은 $d \geq 2$ 인 차원에서, 화학유인물질의 확산 계수 파라미터 $\tau$ 가 충분히 클 경우, 임의로 큰 초기 자료에 대해 편미분-편미분 켈러-세겔 시스템의 전역 해가 존재함을 확립한다. 허위측도 노름과 임계 함수 공간에서의 에너지 추정을 사용하여, $\tau \gg 1$ 인 경우 $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ 형태의 크기 조건 하에서 해가 시간에 대해 전역적으로 존재함을 증명한다. 이 조건은 로그 인자까지 고려할 경우 거의 최적에 가깝다.

ABSTRACT

We study the global existence of the parabolic-parabolic Keller-Segel system in $\\R^d , d \\ge 2$. We prove that initial data of arbitrary size give rise to global solutions provided the diffusion parameter $\ au$ is large enough in the equation for the chemoattractant. This fact was observed before in the two-dimensional case by Biler, Guerra \\& Karch (2015) and Corrias, Escobedo \\& Matos (2014). Our analysis improves earlier results and extends them to any dimension $d \\ge 3$. Our size conditions on the initial data for the global existence of solutions seem to be optimal, up to a logarithmic factor in $\ au$, when $\ au>>1$: we illustrate this fact by introducing two toy models, both consisting of systems of two parabolic equations, obtained after a slight modification of the nonlinearity of the usual Keller-Segel system. For these toy models, we establish in a companion paper [4] finite time blowup for a class of large solutions.

연구 동기 및 목표

• 초기 자료가 클 경우, $\mathbb{R}^d$ 에서 $d \geq 2$ 인 차원에서 편미분-편미분 켈러-세겔 시스템의 전역 시간 해 존재성을 확립하는 것.
• 이전의 두 차원 사례 결과를 $d \geq 3$ 인 고차원으로 확장하는 것.
• 특히 $\tau \gg 1$ 인 영역에서, 전역 존재를 위한 초기 자료 크기 조건을 향상시키는 것.
• 유사 조건 하에서 유한 시간 내 폭발을 보이는 토이 모델을 구성하여 유도된 크기 조건이 거의 최적임을 입증하는 것.
• 임계 함수 공간, 특히 허위측도 및 동차 베소프 노름을 포함한 정밀한 분석을 통해 전역 존재의 임계 조건을 기술하는 것.

제안 방법

• 저자들은 주로 임계 함수 공간, 특히 $\mathcal{E}_p$ 와 $\dot{B}_{d,\infty}^{-1}$ 의 프레임워크에서 약한 해 표현식을 사용하여 비선형 이송-확산 시스템을 분석한다.
• 해를 선형 부분과 이중선형 연산자 $B(u,u)$ 를 포함한 비선형 적분항으로 분해하기 위해 상수의 변화 공식을 사용한다.
• 핵심 추정은 가우시안 커널의 경계와 $L^p$ 유형 부등식을 사용하여 도출되며, 특히 $\nabla e^{t\Delta}$ 의 감쇠 성질과 $u \in \mathcal{E}_p$ 인 경우 $\|u(\sigma) \mathbb{L} u(\sigma)\|_{d/2} \lesssim \sigma^{-1/2}$ 를 활용한다.
• 분석은 초기 자료 크기를 측정하기 위해 허위측도 노름 $\|\cdot\|_{\mathcal{P}\!\mathcal{M}^{d-2}}$ 과 동차 베소프 노름 $\|\cdot\|_{\dot{B}_{d,\infty}^{-1}}$ 의 사용에 의존한다.
• 해가 시간에 대해 유계이고 연속적으로 유지됨을 보장하기 위해 $L^{d/2}$ 와 $M^{d/2}$ 공간에서 사전 경계를 확립한다.
• 해의 연속성과 $\mathscr{D}'$ 에서의 초기 자료 수렴성 증명은 도미네이팅 수렴 정리와 비선형 항 $B(u,u)$ 의 감쇠 추정에 기반한다.

실험 결과

연구 질문

• RQ1 초기 자료 $u_0$ 와 $\varphi_0$ 가 어떤 크기 조건을 만족할 경우, $\mathbb{R}^d$ 에서 $d \geq 2$ 인 차원에서 편미분-편미분 켈러-세겔 시스템이 전역 시간 해를 갖는가?
• RQ2 화학유인물질의 확산 계수 파라미터 $\tau$ 가 전역 존재의 임계 조건에 어떻게 영향을 미치는가?
• RQ3 특히 $\tau \gg 1$ 인 영역에서, 기존 결과를 초월하여 전역 존재를 위한 크기 조건을 향상시킬 수 있는가?
• RQ4 유도된 크기 조건이 거의 최적인지 확인할 수 있으며, 이는 반례나 토이 모델을 통해 가능할까?
• RQ5 임계 함수 공간, 예를 들어 허위측도와 동차 베소프 공간이 전역 존재의 임계 조건을 기술하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $\tau \gg 1$ 인 경우, $\|u_0\|_{\mathcal{P}\!\mathcal{M}^{d-2}} \lesssim \tau / (\ln \tau)^3$ 의 크기 조건 하에서, 임계 허위측도 노름에서 임의로 큰 초기 자료를 허용하는 전역 해 존재를 확립한다.
• 이전의 $d=2$ 결과에 비해 $\sqrt{\tau}$ 보다 더 좋은 요인으로 향상되었으며, 허용 가능한 초기 자료 범위가 크게 확장된다.
• $\tau \gg 1$ 인 영역에서 이 크기 조건은 로그 인자까지 고려할 경우 거의 최적임이 입증되었으며, 동반 논문에서 비슷한 조건 하에서 유한 시간 폭발을 보이는 토이 모델을 구성함으로써 확인된다.
• 해 $u$ 는 $BC((0,\infty), M^{d/2})$ 에 속하며, $t \searrow 0$ 일 때 $u(t) \to u_0$ 이다. 이는 초기 자료가 적절히 복원됨을 보장한다.
• $M^{d/2} \cap \dot{B}_{d,\infty}^{-1}$ 에 속하는 초기 자료에 대해, 해는 $\|u\|_{\mathcal{E}_d} \lesssim \|u_0\|_{\dot{B}_{d,\infty}^{-1}} \lesssim \tau^{d/(2q)}$ 를 만족하며, $\|\cdot\|_d$-노름이 작은 해에 대해 $\mathcal{E}_d$ 에서 유일성 클래스가 존재한다. $q \in (d, \infty)$ 이다.
• 분석 결과, 유도된 조건 하에서 문제의 임계 스케일링이 유지됨을 확인하였으며, 이 방법은 $d \geq 2$ 전역에 걸쳐 동일하게 적용되며, $d \geq 3$ 에 대해서도 성립한다.