[논문 리뷰] Gaussian approximations for chemostat models in finite and infinite dimensions

Bertrand Cloez, Coralie Fritsch|arXiv (Cornell University)|2016. 09. 26.

Stochastic processes and statistical mechanics참고 문헌 51인용 수 4

한 줄 요약

이 논문은 질량 구조를 가진 개별 기반의 샘플러 모델에서 변동 과정에 대한 중심극한정리들을 수립하여, 소볼레프 공간에서 무한차원 가우시안 과정으로의 수렴을 증명한다. 이중 차원 크럼-영 모델에 대해서는 명시적인 불변 분포와 멸종 시간 행동을 가지는 확률미분방정식 근사모형을 유도하여, 이전에 오해되었던 장기적 역학을 해결한다.

ABSTRACT

In a chemostat, bacteria live in a growth container of constant volume in which liquid is injected continuously. Recently, Campillo and Fritsch introduced a mass-structured individual-based model to represent this dynamics and proved its convergence to a more classic partial differential equation. In this work, we are interested in the convergence of the fluctuation process. We consider this process in some Sobolev spaces and use central limit theorems on Hilbert space to prove its convergence in law to an infinite-dimensional Gaussian process.As a consequence, we obtain a two-dimensional Gaussian approximation of the Crump-Young model for which the long time behavior is relatively misunderstood. For this approximation, we derive the invariant distribution and the convergence to it. We also present numerical simulations illustrating our results.

연구 동기 및 목표

• 스토케스틱 크럼-영 모델의 장기적 행동을 이해하는 데 오랫동안 남아 있던 과제를 해결한다. 이는 멸종과 준정적분포의 완전한 특성화가 부족하기 때문이다.
• 개별 기반 샘플러 모델의 결정론적 수렴을 변동 척도로 확장하여, 변동 과정의 약한 수렴이 가우시안 과정으로 이르는 것을 증명한다.
• 서브스페이스의 부호 측도 공간의 비메트릭화성 문제를 극복하기 위해, 소볼레프 공간 내에서 측도가 있는 과정에 대한 엄밀한 무한차원 중심극한정리를 제공한다.
• 크럼-영 모델에 대한 확률미분방정식 근사모형을 유도하여, 불변 분포와 멸종 시간 역학을 포괄한다.
• 수치 시뮬레이션을 통해 근사모형을 검증하고, 특정 영역에서 원래 모델을 더 잘 모방하는 다른 확산 과정들과 비교한다.

제안 방법

• 개별 기반의 질량 구조를 가진 샘플러를 이산적 생식/사망 사건과 연속적인 기질 동역학을 갖는 과정으로 모델링하며, 인구와 기질 수준을 부호 측도 값 과정으로 표현한다.
• 소볼레프 공간 프레임워크 내에서 타이트성-유일성 추론을 적용하여, 정규화된 변동 과정의 약한 수렴이 무한차원 비가역 가우시안 과정으로 이르는 것을 증명한다.
• 메티에비에르(1984)의 방법을 따르며 힐베르트 공간에서의 마틴갈 기법을 사용하여 타이트성을 확립한다. 이는 소볼레프 공간의 힐베르트 기하학적 구조를 활용하여 과정의 부호 측도 성격을 다룰 수 있게 한다.
• 무한차원 모델을 두 차원 크럼-영 모델에 집중하여 유한차원으로 축소한다. 여기서 인구와 기질은 하나의 인구 질량과 기질 농도로 집계된다.
• 유한차원 중심극한정리를 적용하여 크럼-영 모델에 대한 확률미분방정식 근사모형을 도출한다. 이는 원래 모델의 기댓값과 분산 계수로부터 유도된 드리프트 및 확산 계수를 갖는 확산 과정이 된다.
• 이토의 공식과 폭발에 대한 펠러의 테스트를 적용하여 확산 근사의 멸종 시간을 분석한다. 이는 성장 함수에 대한 일반적인 조건 하에 유한 시간 내 멸종의 양의 확률이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 질량 구조를 가진 개별 기반 샘플러 모델의 변동 과정이 적절한 소볼레프 공간에서 무한차원 가우시안 과정으로 약한 수렴을 보일 수 있는가?
• RQ2 스토케스틱 크럼-영 모델의 장기적 행동은 무엇인가? 특히 그 불변 분포와 멸종 시간의 존재성 및 성질은 어떻게 되는가?
• RQ3 중앙극한정리로부터 도출된 가우시안 근사모형은 원래 크럼-영 모델과 수치적 행동 및 멸종 역학 측면에서 어떻게 비교되는가?
• RQ4 크럼-영 모델의 확산 근사모형이 양의 확률로 유한 시간 내 멸종을 보일 조건은 무엇인가?
• RQ5 스토케스틱 근사모형의 불변 분포는 명시적으로 특성화될 수 있으며, 이는 원래 모델의 진정한 장기적 행동을 반영하는가?

주요 결과

• 개별 기반 샘플러 모델의 정규화된 변동 과정은 적절한 소볼레프 공간에서 무한차원 비가역 가우시안 과정으로 법적으로 수렴한다.
• 이중 차원 크럼-영 모델에 대해 중심극한정리는 불변 분포가 명시적으로 특성화된 확률미분방정식 근사모형을 도출한다.
• 확산 근사의 멸종 시간은 거의 확실히 유한하며, 모든 양의 초기 조건에 대해 임의의 유한 시간 간격 내 멸종 확률이 양수이다.
• 멸종 시간 분포는 르프노프 유형 조건을 만족하며, 과정은 포커-플랑크 방정식으로부터 유도된 필수 조건을 만족하는 준정적분포를 갖는다.
• 수치 시뮬레이션은 유도된 확산 과정이 특정 매개변수 영역에서 원래 크럼-영 모델을 다른 근사모형보다 더 잘 모의한다는 것을 확인한다. 특히 멸종 역학을 포괄하는 데서 두드러진다.
• 이 결과는 성장 함수에 대한 단조성 가정 없이도 크럼-영 모델의 유한 시간 내 멸종을 새롭게 증명하며, Collet 등(2013a)의 이전 결과를 확장한다.