[논문 리뷰] Karlin Theory On Growth and Mixing Extended to Linear Differential Equations

Lee Altenberg|arXiv (Cornell University)|2010. 06. 16.

Mathematical Biology Tumor Growth참고 문헌 15인용 수 5

한 줄 요약

이 논문은 이산시간 시스템에서의 성장과 혼합에 관한 Karlin의 1982년 정리(1982년 정리)를 연속시간 선형 미분방정식으로 확장하여, 행렬 𝐷 + 𝑚𝐴의 스펙트럴 아bscissa가 혼합 강도 𝑚이 증가함에 따라 감소함을 증명한다. 이 결과는 𝐷가 지역별 성장/감쇠 속도를 담은 비균일 대각행렬이고, 𝐴가 혼합을 나타내는 비가역적이고 비음수의 비대각성분을 가진 행렬일 때 성립하며, 이 감소는 𝐴의 스펙트럴 아bscissa를 포함하는 페론 벡터 부등식에 의해 이끌린다.

ABSTRACT

Karlin's (1982) Theorem 5.2 shows that linear systems alternating between growth and mixing phases have lower asymptotic growth with greater mixing. Here this result is extended to linear differential equations that combine site-specific growth or decay rates, and mixing between sites, showing that the spectral abscissa of a matrix D + m A decreases with m, where D does-not-equal c I is a real diagonal matrix, A is an irreducible matrix with non-negative off-diagonal elements (an ML- or essentially non-negative matrix), and m >= 0. The result is based on the inequality: u' A v < r(A), where u and v are the left and right Perron vectors of the matrix D + A, and r(A) is the spectral abscissa and Perron root of A. The result gives an analytic solution to prior work that relied on two-site or numerical simulation of models of growth and mixing, such as source and sink ecological models, or multiple tissue compartment models of microbe growth. The result has applications to the Lyapunov stability of perturbations in nonlinear systems.

연구 동기 및 목표

• 이산시간 시스템에서의 Karlin의 1982년 성장-혼합 결과를 연속시간 선형 미분방정식으로 확장한다.
• 비균일한 성장률을 가진 경우에 대해 혼합 매개변수 𝑚이 증가함에 따라 행렬 𝐷 + 𝑚𝐴의 스펙트럴 아bscissa가 감소함을 입증한다.
• 생태학, 바이러스학, 병합계 동역학 모델에서 이전에 수치적 시뮬레이션 또는 이중지점 근사가 필요로 했던 문제들에 대한 해석적 해법을 제공한다.
• 지역별 성장과 이웃 간 혼합이 존재하는 시스템에 대해 이 결과의 일반화 가능성을 보여주며, 비선형 시스템 안정성 분석에도 적용 가능함을 설명한다.

제안 방법

• 이산시간 사상에서의 Karlin의 정리 5.2를 선형 일阶 미분방정식으로 공식적으로 확장한다.
• 연속시간 시스템에서 장기적 성장률의 핵심 척도로 스펙트럴 아bscissa를 사용한다.
• 비가역적이고 비음수의 비대각성분을 가진 행렬(ML-행렬)에 대해 페론-프로베니우스 이론을 적용한다.
• 𝐮ᵀ𝐴𝐯 < 𝑟(𝐴)의 부등식 유도, 여기서 𝐮와 𝐯는 𝐷 + 𝐴의 왼쪽 및 오른쪽 페론 벡터이며, 𝑟(𝐴)는 𝐴의 스펙트럴 아bscissa이다.
• 𝐷 ≠ 𝑐𝐼일 경우, 스펙트럴 아bscissa가 𝑚에 대해 엄격히 감소함을 증명하며, 이는 볼록성과 엄밀한 부등식 조건에 기반한다.
• 이 결과를 바이러스 동역학 모델, 생태학적 소스-싱크 시스템, 그리고 이질적인 성장과 혼합을 포함하는 기타 병합계 시스템에 적용한다.

실험 결과

연구 질문

• RQ1 이산시간 시스템에서의 Karlin의 결과, 즉 혼합 증가에 따른 성장 감소 현상이 연속시간 선형 미분방정식 시스템에서도 성립하는가?
• RQ2 지역별 성장(𝐷)과 혼합(𝑚𝐴)을 조합한 행렬의 스펙트럴 아bscissa가 혼합 강도 𝑚이 증가함에 따라 감소함을 입증할 수 있는가?
• RQ3 성장률이 지역 간으로 이질적일 경우, 스펙트럴 아bscissa의 엄격한 감소를 보장하는 조건은 무엇인가?
• RQ4 이 결과는 이산시간 모델을 초월하여 바이러스학, 생태학, 인구역학 등 다양한 분야의 시스템으로 일반화될 수 있는가?
• RQ5 수치적 시뮬레이션이나 이중지점 근사 없이도 혼합에 따른 성장률 감소를 해석적으로 확립할 수 있는가?

주요 결과

• 𝐷가 항등행렬의 스칼라배가 아닐 경우, 행렬 𝐷 + 𝑚𝐴의 스펙트럴 아bscissa는 혼합 강도 𝑚이 증가함에 따라 엄격히 감소한다.
• 감소는 𝐮ᵀ𝐴𝐯 < 𝑟(𝐴)의 부등식에 의해 이끌리며, 여기서 𝐮와 𝐯는 𝐷 + 𝐴의 왼쪽 및 오른쪽 페론 벡터이며, 𝑟(𝐴)는 𝐴의 스펙트럴 아bscissa이다.
• 이전에 수치적 시뮬레이션이나 이중구역 근사에 의존했던 바이러스학 및 생태학 분야의 문제들에 대해 해석적 해법을 제공한다.
• 혼합 수준에 관계없이 시스템의 장기적 성장률은 최대 지역별 성장률에 의해 상한선으로 제한된다.
• 혼합 강도가 무한대에 가까워질수록 시스템의 성장률은 지역 성장률의 가중 평균으로 수렴한다.
• 성장률이 지역 간으로 이질적일 경우, 즉 𝐷 ≠ 𝑐𝐼일 경우, 혼합에 따른 성장률 감소는 𝑚에 대해 엄격히 볼록하다.