[논문 리뷰] An interpolation inequality and its application in Keller-Segel model

Xinru Cao|arXiv (Cornell University)|2017. 07. 28.

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

한 줄 요약

이 논문은 고전적인 가가르도-니렌베르크 부등식을 개선하는 새로운 에르링 유형의 보간 부등식을 수립하며, 이를 바탕으로 유계 도메인에서 켈러-세겔 화학유도 모델에 적용한다. 주요 결과는 세포 밀도 $ u $ 의 $ L^{N/2} $-노름이 일관되게 유계이면서, 가족 $ \{u^{N/2}\} $ 이 등적분 가능하다면 해의 전역 존재성과 유계성이 보장된다는 것이다. 이 조건들은 이전의 전역 존재 기준보다 엄밀히 더 약한 조건이다.

ABSTRACT

In this paper, we first prove an interpolation inequality of Ehrling-type, which is an improvement of a special case to the well known Gargliardo-Nirenberg inequality. Then we apply it to study the classical Keller-Segel system \begin{equation} \left\{ \begin{array}{llc} u_t=Δu- abla\cdot(u abla v), \\[6pt] \displaystyle v_t=Δv-v+u, \end{array} ight. \end{equation} in a bounded domain $Ω\subset\mathbb{R}^N$ ($N\ge 2$) with smooth boundary. It is known that for any $δ>0$, if $\int_Ωu^{\frac N2+δ}(\cdot,t)$ is bounded, then the solution is global and bounded. Here we show that the same conclusion holds for a weaker assumption: the equi-integrability of $\{\int_Ωu^\frac N2(\cdot,t)|~t\in(0,T_{\max})\}$ can prevent blow up.

연구 동기 및 목표

• 특수한 경우에서 고전적인 가가르도-니렌베르크 부등식을 강화하는 새로운 에르링 유형의 보간 부등식을 수립하는 것.
• 특히 차원 $ N \geq 2 $ 에서 등적분 가능성이 켈러-세겔 시스템에서 폭발을 방지하는 데 미치는 역할을 조사하는 것.
• 전역 존재성에 대한 표준적인 $ L^p $-유계성 조건($ p > N/2 $)을 약화시켜, $ u^{N/2} $ 에 대한 더 약한 등적분 가정으로 대체하는 것.
• 기존의 전역 존재 기준을 확장하여, $ \int_\Omega u^{N/2} \log u $ 의 유계성이 충분함을 보여주는 것. 이는 $ \|u\|_{L^{N/2}} $ 가 유계이지만 등적분 가능하지는 않은 경우에도 성립한다.
• 전역 존재성과 유계성에 대한 새로운 충분조건을 제시하여, $ L^{N/2} $-노름이 유계이지만 등적분 가능하지 않은 경우에도 적용 가능하도록 하는 것.

제안 방법

• 특수한 임계 지수 $ p = N/2 $ 에 적합한 가가르도-니렌베르크 프레임워크의 정교한 분석을 통해 새로운 보간 부등식을 유도하는 것.
• 새로운 부등식을 켈러-세겔 시스템의 에너지 추정에 적용하여, $ \int_\Omega u^p $ 와 $ \int_\Omega |\nabla v|^{2q} $ 의 진화를 분석하는 것.
• 등적분 가능성을 특성화하기 위해 데 라 발리에-푸생 기준을 사용하며, $ f(s)/s^{N/2} \to \infty $ 라는 성장 조건을 만족하는 함수 $ f(s) $ 를 고려하는 것.
• 경계가 있는 도메인 위의 함수에 대해 반사 기반의 확장 연산자를 구성하는 것. 이를 위해 단위 분할과 $ C^1 $-디피오모르피즘을 사용하여 확장된 함수의 노름을 제어하는 것.
• 국소 좌표계에서의 변수변환과 노름 추정을 활용하여 확장된 함수의 $ L^p $-노름을 유계화하는 것. 이는 확장이 등적분 가능성을 유지하도록 보장한다.
• 정교한 부등식과 등적분 가능 조건을 조합하여 $ u $ 와 $ v $ 에 대한 사전 추정을 도출하고, 이를 통해 전역 존재성과 유계성을 확보하는 것.

실험 결과

연구 질문

• RQ1 켈러-세겔 모델에서 전역 존재성에 대한 고전적인 $ L^p $-유계성 조건은 $ p = N/2 $ 일 때 약화시킬 수 있는가?
• RQ2 특히 $ N \geq 2 $ 인 경우, $ \{u^{N/2}(\cdot,t)\} $ 의 등적분 가능성이 유한 시간 내 폭발을 방지하는 데 충분한가?
• RQ3 $ \sup_{t \in (0,T_{\max})} \|u(\cdot,t)\|_{L^{N/2}(\Omega)} < \infty $ 와 함께 $ u^{N/2} $ 의 등적분 가능성이 전역 유계성을 암시하는가?
• RQ4 $ f(s)/s^{N/2} \to \infty $ 라는 성장 조건이 폭발을 방지하는 더 넓은 함수의 클래스를 특성화하는 데 사용될 수 있는가?
• RQ5 새로운 보간 부등식은 임계 경우 $ p = N/2 $ 에서 가가르도-니렌베르크 부등식을 어떻게 향상시키는가?

주요 결과

• 논문은 임계 경우 $ p = N/2 $ 에서 가가르도-니렌베르크 부등식을 개선하는 새로운 보간 부등식을 수립하며, 이는 $ L^p $-노름에 대한 더 정밀한 제어를 제공한다.
• 켈러-세겔 시스템의 해에 대한 전역 존재성과 유계성이, $ \{u^{N/2}(\cdot,t)\}_{t \in (0,T_{\max})} $ 가 등적분 가능하다는 더 약한 조건 하에서도 입증된다. 이는 $ \|u(\cdot,t)\|_{L^{N/2}} $ 가 유계이더라도 성립한다.
• $ \int_\Omega u^{N/2} \log u \, dx < \infty $ 가 시간에 대해 일관되게 유계이면 전역 존재성과 유계성이 보장됨을 보여주며, 이는 고전적인 $ L^p $-유계성 기준이 다루지 못하는 경우에 해당한다.
• 데 라 발리에-푸생 기준을 적용하여, $ \{u^{N/2}\} $ 의 등적분 가능성이 $ f(s)/s^{N/2} \to \infty $ 라는 조건을 만족하는 모든 함수 $ f(s) $ 에 대해 $ \int_\Omega f(u) \, dx $ 의 일관된 유계성과 동치임을 보였다.
• 특히 경계가 있는 도메인 위의 함수에 대해 반사와 단위 분할을 이용한 새로운 확장 연산자를 구성하여, 확장된 함수의 $ L^p $-노름을 제어하는 데 성공하였다.
• 저자들은 $ \{u^{N/2}\} $ 의 등적분 가능성이 확장된 함수에 대한 균일한 $ L^p $-유계성을 보장함을 보였으며, 이는 사전 추정을 확보하는 데 필수적임을 입증하였다.