[논문 리뷰] Global renormalized solutions to reaction-cross-diffusion systems

Xiuqing Chen, Ansgar Jüngel|arXiv (Cornell University)|2017. 11. 04.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 12인용 수 3

한 줄 요약

이 논문은 비대角, 비대칭 분산 행렬과 임의의 반응 동역학을 가진 반응-교차확산 시스템에 대해 시간에 대해 전역적인 정규화된 해의 존재성을 증명한다. 이는 엔트로피 구조와 일반화된 유한성-엔트로피 접근법을 활용한다. 주요 기여는 J. Fischer의 정규화된 해 프레임워크를 성장 제한 없이 강하게 결합된 인구모델 유형의 시스템으로 확장한 것이다.

ABSTRACT

The global-in-time existence of renormalized solutions to reaction-cross-diffu-sion systems for an arbitrary number of variables in bounded domains with no-flux boundary conditions is proved. The cross-diffusion part describes the segregation of population species and is a generalization of the Shigesada-Kawasaki-Teramoto model. The diffusion matrix is not diagonal and generally neither symmetric nor positive semi-definite, but the system possesses a formal gradient-flow or entropy structure. The reaction part includes reversible reactions of mass-action kinetics and does not obey any growth condition. The existence result generalizes both the condition on the reaction part required in the boundedness-by-entropy method and the proof of J. Fischer for reaction-diffusion systems with diagonal diffusion matrices.

연구 동기 및 목표

• 비대각 분산 행렬을 가진 강하게 결합된 반응-교차확산 시스템에 대해 시간에 대해 전역적인 정규화된 해의 존재를 확립한다.
• 기존에 일반적으로 존재하지 않는 약한 해를 정의할 수 없게 만드는 반응 항에 대한 표준 성장 제한 조건을 제거한다.
• 비대칭이거나 양의 준정부정이 아닌 분산 행렬을 가진 시스템으로까지 엔트로피 기반 유한성 방법을 확장한다.
• Fischer의 정규화된 해 프레임워크를 대각형에서 교차확산 시스템으로 일반화한다.
• 엔트로피 구조와 반응 항의 준정규성 조건을 통해 해의 비음성과 안정성을 확보한다.

제안 방법

• 큰 밀도를 제어하기 위해 절단 함수 $\varphi^L(u)$를 사용한 반응-교차확산 시스템의 정규화된 공식화를 도입한다.
• 엔트로피 밀도 $h(u) = \sum \pi_i h_i(u_i)$를 기반으로 한 리아푸노프 함수를 사용하여 시스템의 장기적 행동을 제어한다. 여기서 $h_i(s) = s(\log s - 1 + \lambda_i) + e^{-\lambda_i}$이다.
• 엔트로피 구조를 조건 $\sum \pi_i f_i(u)(\log u_i + \lambda_i) \leq 0$를 통해 적용하여 준정규성과 엔트로피 감소를 보장한다.
• 엔트로피 구조가 유지되도록 약한 교차확산 조건 $\alpha > 0$ 또는 상세 균형 조건 $\pi_i a_{ij} = \pi_j a_{ji}$를 도입한다.
• 유한한 엔트로피를 가진 절단된 해의 수열 $u^L$을 사용하고, 보완된 컴팩턴스 방법을 통해 $L \to \infty$로의 극한을 취한다.
• 레베그의 우성 수렴 정리를 적용하여 정규화된 공식화에서 극한을 취하고, 정규화된 해로의 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 비대각, 비대칭 분산 행렬과 임의의 반응 동역학을 가진 반응-교차확산 시스템에 대해 시간에 대해 전역적인 정규화된 해를 구성할 수 있는가?
• RQ2 비대칭이거나 양의 준정부정이 아닌 분산 행렬을 가진 시스템으로까지 엔트로피 기반 유한성 방법이 확장 가능한가?
• RQ3 Fischer의 정규화된 해 프레임워크를 교차확산이 있는 강하게 결합된 인구 유형 모델로 일반화할 수 있는가?
• RQ4 반응 항에 대한 성장 제한을 제거하면서도 해의 존재성과 비음성을 유지할 수 있는가?
• RQ5 분산 계수와 반응 항에 어떤 조건이 있어야 전체 시스템에 대해 리아푸노프 함수(엔트로피)의 존재가 보장되는가?

주요 결과

• 유한한 영역과 무역경계 조건을 가진 반응-교차확산 시스템에 대해 $n \geq 2$ 종에 대해 시간에 대해 전역적인 정규화된 해가 존재한다.
• 반응 항 $f_i(u)$는 $[0,\infty)^n$에서 연속이면 충분하며, 성장 조건이 필요 없으며, 전통적인 선형 성장 제한을 초월한다.
• 약한 공식화 하에서 엔트로피 구조가 유지되며, 엔트로피 밀도 $h(u)$가 조건 $\sum \pi_i f_i(u)(\log u_i + \lambda_i) \leq 0$를 통해 리아푸노프 함수로 기능한다.
• 분산 행렬 $A(u)$는 대칭이거나 양의 준정부정일 필요가 없지만, 약한 교차확산 조건 $\alpha > 0$ 또는 상세 균형 조건 $\pi_i a_{ij} = \pi_j a_{ji}$를 통해 엔트로피 감소가 보장된다.
• 절단 문제에서 $L \to \infty$로의 극한을 취할 때, 정규화된 공식화를 만족하는 해가 얻어지며, 약한 공식화의 모든 항이 수렴한다.
• 반응 항에 대한 통제가 부족한 상황에서도 정규화와 엔트로피 기반 사전 추정을 통해 강한 컴팩턴스가 필요 없이 해를 성공적으로 다룰 수 있다.