[논문 리뷰] Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities

Genglin Li, Michael Winkler|arXiv (Cornell University)|2022. 06. 27.

Mathematical Biology Tumor Growth인용 수 4

한 줄 요약

이 논문은 신호에 따라 운동성이 결정되는 Keller-Segel 소비 시스템에 대해 정제된 정규성과 점진적 매끄러움을 확립하며, $ n \leq 2 $ 에서는 전역 고전적 해를 증명하고 $ n = 3 $ 에서는 점차적으로 매끄러운 약한 해를 도출한다. 두 경우 모두 $ L^\infty(\Omega) $ 에서 준자명한 평형점으로 강한 수렴을 보인다. 이 결과들은 $ \phi $ 와 초기 데이터에 대한 더 강한 정규성 조건 하에서 개선된 정규성을 보여줌으로써 이전의 존재성 결과를 확장한다.

ABSTRACT

We consider the Keller-Segel-type migration-consumption system involving signal-dependent motilities, $$\left\{ \begin{array}{l} u_t = Δ\big(uϕ(v)\big), \\[1mm] v_t = Δv-uv, \end{array} ight. \qquad \qquad$$ in smoothly bounded domains $Ω\subset\mathbb{R}^n$, $n\ge 1$. Under the assumption that $ϕ\in C^1([0,\infty))$ is positive on $[0,\infty)$, and for nonnegative initial data from $(C^0(\overlineΩ))^\star imes L^\infty(Ω)$, previous literature has provided results on global existence of certain very weak solutions with possibly quite poor regularity properties, and on large time stabilization toward semitrivial equilibria with respect to the topology in $(W^{1,2}(Ω))^\star imes L^\infty(Ω)$. The present study reveals that solutions in fact enjoy significantly stronger regularity features when $0<ϕ\in C^3([0,\infty))$ and the initial data belong to $(W^{1,\infty}(Ω))^2$: It is firstly shown, namely, that then in the case $n\le 2$ an associated no-flux initial-boundary value problem even admits a global classical solution, and that each of these solutions smoothly stabilizes in the sense that as $t o\infty$ we have $$ \begin{align*} u(\cdot,t) o \frac{1}{|Ω|}\int_Ωu_0 \qquad ext{ and } \qquad v(\cdot,t) o 0 \qquad \qquad (\star) \end{align*}$$ even with respect to the norm in $L^\infty(Ω)$ in both components. In the case when $n\ge 3$, secondly, some genuine weak solutions are found to exist globally, inter alia satisfying $ abla u\in L^\frac{4}{3}_{loc}(\overlineΩ imes [0,\infty);\mathbb{R}^n)$. In the particular three-dimensional setting, any such solution is seen to become eventually smooth and to satisfy ($\star$).

연구 동기 및 목표

• 신호에 따라 운동성이 결정되는 Keller-Segel 소비 시스템에 대해 이전에 확립된 전역 매우 약한 해의 정규성을 향상시키는 것.
• $ \phi $ 와 초기 데이터에 대한 더 강한 정규성 조건이 고전적 해 또는 점차적으로 매끄러운 해를 유도하는지 조사하는 것.
• 해의 장기적 행동을 분석하고, 특히 강한 위상에서 준자명한 평형점으로의 수렴 여부를 조사하는 것.
• $ n \leq 3 $ 에서는 초기 정규성이 제한되어 있어도 해가 $ L^\infty(\Omega) $ 에서 매끄럽고 안정화됨을 보장하는 것.
• 소비와 신호에 따라 변화하는 확산을 갖는 화학유도 시스템에서 약한 해 이론과 고전적 해 행동 사이의 격차를 메우는 것.

제안 방법

• 파arameter $ \varepsilon > 0 $ 를 이용한 정규화된 근사 방법을 사용하여 시스템의 변형된 형태에 대한 해 $ (u_\varepsilon, v_\varepsilon) $ 를 구성하는 것.
• 에너지 추정과 최대 $ L^p $-정규성 이론을 활용하여 $ u_\varepsilon $, $ v_\varepsilon $ 와 그 기울기의 균일한 유계성을 도출하는 것.
• 콤팩트니스와 안정성 결과를 활용하여 $ L^2_{\text{loc}} $ 와 $ L^1_{\text{loc}} $ 에서의 약수렴 및 거의 모든 곳에서의 수렴을 통해 근사의 수렴성을 확보하는 것.
• Arzelà-Ascoli 정리를 적용하여 $ t > T $ 인 공간-시간 영역에서 $ u $ 와 $ v $ 에 대해 균일 수렴하는 부분수열을 추출함으로써 점차적 매끄러움을 확보하는 것.
• $ \nabla u $ 에 대한 보간과 $ L^p $-유계성, 특히 $ \nabla u \in L^{4/3}_{\text{loc}}(\overline{\Omega} \times [0,\infty); \mathbb{R}^n) $ 을 활용하여 더 높은 적분 가능성과 정규성을 유추하는 것.
• 특히 3차원 경우에 유리한 성질을 갖는 보조 미분부등식(예: 보조정리 5.3)을 활용하여 성장 억제 및 균일한 유계성을 도출하는 것.

실험 결과

연구 질문

• RQ1 신호에 따라 운동성이 결정되는 Keller-Segel 소비 시스템에서 $ \phi $ 와 초기 데이터에 어떤 조건이 성립할 경우 전역 고전적 해가 존재하는가?
• RQ2 초기에는 매우 약한 해에 불과한 해가 점차적으로 매끄러워질 수 있으며, 만약 그렇다면 $ \phi $ 에 대한 어떤 정규성 조건 하에서 가능한가?
• RQ3 해가 강한 $ L^\infty(\Omega) $-위상에서 준자명한 평형점 $ (\frac{1}{|\Omega|}\int_\Omega u_0, 0) $ 으로 수렴하는가?
• RQ4 공간 차원 $ n $ 이 해의 정규성과 장기적 행동을 결정하는 데 어떤 역할을 하는가?
• RQ5 특히 신호 소비 항 $ -uv $ 의 구조가 비선형 확산이 존재하더라도 폭발을 방지하고 안정화를 유도할 수 있는가?

주요 결과

• $ n \leq 2 $ 인 경우, $ \phi \in C^3([0,\infty)) $ 이고 초기 데이터 $ (u_0, v_0) \in (W^{1,\infty}(\Omega))^2 $ 이면 시스템은 전역 고전적 해를 갖는다.
• $ n \leq 2 $ 인 경우, 고전적 해는 $ t \to \infty $ 일 때 $ u(\cdot,t) \to \frac{1}{|\Omega|}\int_\Omega u_0 $ 과 $ v(\cdot,t) \to 0 $ 이 되어 $ L^\infty(\Omega) $ 에서 수렴한다.
• $ n \geq 3 $, 특히 $ n = 3 $ 인 경우, 시스템은 전역 약한 해를 갖으며, 이에 대해 $ \nabla u \in L^{4/3}_{\text{loc}}(\overline{\Omega} \times [0,\infty); \mathbb{R}^n) $ 이다.
• 3차원 설정에서 이러한 약한 해는 점차적으로 매끄러워지고 준자명한 평형점으로 강한 수렴을 보인다.
• 조금의 $ \phi $ 에 대한 가정 외에도 $ C^3 $-정규성과 양의 조건이 충분할 경우, 두 성분 모두 강한 수렴이 이루어진다.
• 결과들은 신호 소비와 신호에 따라 변화하는 운동성이 결합되어 폭발을 억제하고 장기적으로 안정화를 유도함을 보여주며, 조건이 약간일지라도 고차원에서도 성립한다.