[논문 리뷰] Inhomogeneous Patlak-Keller-Segel models and Aggregation Equations with Nonlinear Diffusion in $\Real^d$

Jacob Bedrossian, Nancy Rodríguez|arXiv (Cornell University)|2011. 08. 25.

Mathematical Biology Tumor Growth참고 문헌 28인용 수 3

한 줄 요약

이 논문은 $\mathbb{R}^d$ ($d \geq 2$)에서 비균질 Patlak-Keller-Segel 모델과 비선형 확산을 갖는 집합 방정식에 대해 국소 및 전역 존재 이론을 통합적으로 수립하며, 이전 연구의 한계를 극복하기 위해 $\mathbb{R}^d$ 상에서 직접적인 정규화를 사용한다. 소규모 초기 데이터에 대한 전역 존재성, 초임계적 영역에서의 균일 유계성, 그리고 로그 특이핵을 갖는 경우의 임계 질량을 규명하여 오랫동안 미해결이었던 $\mathbb{R}^2$ 경우를 해결한다.

ABSTRACT

Aggregation equations and Patlak-Keller-Segel (PKS) models for chemotaxis with nonlinear diffusion are popular models for nonlocal aggregation phenomenon and are a source of a number of interesting mathematical problems in nonlinear PDE. The purpose of this work is twofold. First, we continue our previous work, which focused on nonlocal aggregation, modeled with a convolution. The goal was to unify the local and global theory of these convolution-type models, including the identification of a sharp critical mass; however, some cases involving unbounded domains were left open. In particular, the biologically relevant case $\Real^2$ was not treated. In this paper, we present an alternative proof of local existence, which now applies to $\Real^d$ for all $d \geq 2$ and give global results that were left open. The proof departs from previous work in that it uses a more direct and intuitive regularization that constructs approximate solutions on $\Real^d$ instead of on sequences of bounded domains. Second, this work develops the local, subcritical, and small data critical theory for a variety of Patlak-Keller-Segel models with spatially varying diffusion and decay rate of the chemo-attractant.

연구 동기 및 목표

• 비선형 확산을 갖는 Patlak-Keller-Segel 모델에 대한 국소 및 전역 존재 이론을 완성하고, 이전 연구에서 해결되지 않은 $\mathbb{R}^2$ 경우를 해결하는 것.
• 유계 영역이 아닌 $\mathbb{R}^d$ 상에서 직접 정규화 방법을 개발하여 형식적 논의에서 동차 소볼레프 포함의 엄밀한 정당화를 가능하게 하는 것.
• 소규모 초기 데이터의 임계/초임계적 이론 및 전역 존재 결과를 공간적으로 변화하는 확산 및 화학유인제 붕괴를 갖는 변수 계수 모델로 확장하는 것.
• 로그 특이핵을 갖는 핵함수에 대해 $\mathbb{R}^d$에서의 임계 질량을 정밀한 $L^p$ 추정과 캐럴론-지그문트 유형 부등식을 통해 규명하는 것.
• 반복 기법과 가가르도-니레버그 유형 부등식을 통해 초임계적 영역에서 균일 유계성과 소규모 초기 데이터 전역 존재성을 확립하는 것.

제안 방법

• $\mathbb{R}^d$ 상에서 직접 정규화를 도입하여 근사해를 구성함으로써, 유계 영역에서의 근사가 필요 없도록 하는 것.
• 비정상 계수를 다룰 수 있도록 $\|D^2 c\|_p$를 $\|f\|_p$와 저차항으로 제어하는 수정된 가가르도-니레버그 부등식을 사용하는 것.
• 공간 영역에서의 캐럴론-지그문트 추정을 통해 화학유인제 $c$의 이阶 도함수를 제어하고, 보간 및 소규모 조건을 통해 오차항을 제어하는 것.
• 소규모 초기 데이터 전역 존재성과 초임계적 영역에서의 균일 유계성을 증명하기 위해 [20, 41, 3]과 유사한 반복 기법을 적용하는 것.
• 가중 $L^p$ 노름과 $\nabla a$에 의존하는 상수를 사용하여 $c$와 그 도함수에 대한 $L^p$ 추정을 유도함으로써 $p \to \infty$일 때 균일 유계성을 확보하는 것.
• 자유 에너지 소멸 구조 $\mathcal{F}(u) = S(u) - \mathcal{W}(u)$에 기반하며, $S(u)$는 엄밀히 볼록이고 $\mathcal{W}(u)$는 상호작용 에너지를 나타낸다.

실험 결과

연구 질문

• RQ1 로그 특이성이 있는 핵함수를 갖는 Patlak-Keller-Segel 모델에 대해 $\mathbb{R}^d$에서의 날카운 임계 질량은 무엇인가?
• RQ2 전체 공간에서 직접 정규화를 사용하여 $\mathbb{R}^2$의 국소 및 전역 존재성을 어떻게 확립할 수 있는가?
• RQ3 비선형 확산 모델에서 초임계적 영역에서 소규모 초기 데이터 전역 존재성과 균일 유계성을 보장하는 조건은 무엇인가?
• RQ4 확산 및 화학유인제 붕괴에 대한 변수 계수의 존재는 해의 정칙성과 장기적 행동에 어떤 영향을 미치는가?
• RQ5 비국소 집합 방정식의 맥락에서 직접 정규화를 통해 동차 소볼레프 포함을 어떻게 엄밀히 정당화할 수 있는가?

주요 결과

• 논문은 $\mathbb{R}^d$, $d \geq 2$에서 직접 정규화를 사용하여 국소 존재성을 확립하며, 이는 이전 연구에서 열려있던 $\mathbb{R}^2$ 경우를 해결한다.
• 반복 기법과 $L^p$ 추정을 통해 초임계적 영역에서 소규모 초기 데이터 전역 존재성과 균일 유계성을 증명하였으며, $p \to \infty$일 때 $C(a,p,d) \lesssim p$임을 보였다.
• 원점에서 로그 특이핵을 갖는 핵함수에 대해 임계 질량을 규명하고 추정하였으며, 이는 이전 결과를 생물학적으로 중요한 2차원 경우로 확장한다.
• 새로운 $L^p$ 추정을 유도함: $\|D^2 c\|_p \lesssim \|f\|_p + \|f\|_{dp/(2p+d)}$로, 이는 $R$에 대해 일관된 저차항 제어를 가능하게 한다.
• 이 방법을 통해 형식적 계산에서 동차 소볼레프 포함을 엄밀히 정당화할 수 있으며, 이는 초임계적 전역 존재성을 증명하는 데 필수적이다.
• 계수 $a(x)$와 $\gamma(x)$가 비정상일 수 있는 변수 계수 모델로 이론을 확장하였으며, $\|D^2 c\|_p \leq C(a,p,d)\|f\|_p$이고 $p \to \infty$일 때 $C(a,p,d) \lesssim p$임을 보였다.