[논문 리뷰] On a Feynman-Kac approach to growth-fragmentation semigroups and their asymptotic behaviors

Jean Bertoin|arXiv (Cornell University)|2018. 04. 11.

Stochastic processes and statistical mechanicsMathematics참고 문헌 33인용 수 20

한 줄 요약

이 논문은 성장-분열 반군에 대한 Malthusian 행동의 필수적이고 충분한 조건을 Feynman-Kac 확률적 접근을 통해 수립하고, 지수 수렴 속도에 대한 단순한 기준을 제시한다. 이는 이전 연구에서 충분조건으로 밝혀진 Malthusian 조건의 필연성을 증명하고, 이전에 문헌에서 다루지 않은 경우조차도 검증 가능한 새로운 조건을 제공함으로써 기존 결과를 확장한다.

ABSTRACT

This work develops further a probabilist approach to the asymptotic behavior of growth-fragmentation semigroups via the Feynman-Kac formula, which was introduced in a joint article with A.R. Watson [4]. Here, it is first shown that the sufficient condition for a Malthusian behavior which was established in [4], is also necessary. We then provide a simple criterion to ensure exponential speed of convergence, which enables us to treat cases than were not covered previously in the literature.

연구 동기 및 목표

• 성장-분열 반군의 점근적 행동에 대해 이전에 충분조건으로 밝혀진 Malthusian 조건의 필연성을 확립하기 위해.
• 성장-분열 과정의 장기적 행동을 분석하기 위해 Feynman-Kac 공식을 활용한 확률적 프레임워크를 개발하기 위해.
• 점근적 프로파일로의 수렴 속도가 지수적으로 보장되는 새로운 단순 기준을 제공하기 위해.
• 이전 스펙트럼 이론 방법으로 다루지 못한 경우, 특히 비표준적인 성장 및 분열 속도를 가진 경우에도 적용 가능성을 확장하기 위해.
• 성장-분열 역학에서 스펙트럼 갭과 에르고딕성에 관한 기존 결과들을 통합하고 강화하기 위해.

제안 방법

• 시간에 따라 변화하는 Lévy 과정에 대한 기대값을 통해 성장-분열 반군을 표현하기 위해 Feynman-Kac 공식을 활용한다.
• 강한 마코프 성질과 모멘트 생성 함수를 적용하여 퇴출 시간과 지수 모멘트를 제어한다.
• 거듭제곱 함수 $ f(x) = x^r $ 와 $ g(x) = x^{-q} $ 를 사용한 라플라스 유형 조건을 도입하여 0 또는 ∞에서의 흠수를 방지하고 재귀성을 확보한다.
• 과정의 폭주 또는 붕괴를 방지하기 위해 성장 및 분열 속도에 대한 조건 (25)과 (26)을 유도한다.
• 이러한 조건들을 Feynman-Kac 표현과 결합하여 기준 (17), (25), (26) 하에 지수 수렴을 증명한다.
• 확률적 쌍화를 통해 간접적으로 Krein-Rutman 정리를 적용하여 고유 요소와 스펙트럼 갭의 존재를 확보한다.

실험 결과

연구 질문

• RQ1 성장-분열 반군에서 Malthusian 행동에 대한 충분조건이 필수적인가?
• RQ2 확률적 Feynman-Kac 접근법을 통해 지수 수렴 속도에 대한 단순하고 검증 가능한 기준을 도출할 수 있는가?
• RQ3 성장률 $ c(x) $ 와 분열 핵함수 $ k(x,y) $ 에 어떤 조건이 성립할 경우 반군이 지수적으로 빠르게 수렴하는가?
• RQ4 성장률 $ c(x) $ 와 분열 핵함수 $ k(x,y) $ 에 대한 Foster 유형 조건은 재귀성과 폭주 또는 멸종을 방지하기 위해 어떻게 기능하는가?
• RQ5 자기유사 분열의 경우, $ c(x)/xK(x) $ 에 대한 어떤 명시적 조건이 지수 수렴을 보장하는가?

주요 결과

• 이전에 충분조건으로 밝혀진 Malthusian 행동 조건이 필수조건이기도 하며, 성장-분열 반군의 이론적 이해에 빈자리가 해소되었다.
• 이전의 스펙트럼 이론 방법으로 다루지 못한 경우에도 적용 가능한 새로운 지수 수렴 기준이 확립되었다.
• 과정이 재귀 조건 (25) 및 (26)과 Malthusian 조건 (17)을 만족할 경우, 지수 에르고딕성이 성립하며 점근적 프로파일로의 수렴 속도가 빠르게 보장된다.
• 자기유사적 경우 $ k(x,y) = x^{-1}K(x)p(y/x) $ 에서 기준은 $ c(x)/(xK(x)) $ 의 범위에 근거하며, (27) 및 (28)과 같이 명시적이고 검증 가능한 조건으로 단순화된다.
• 동일한 분열 속도를 가진 경우 [4]의 보조정리 7.1보다 더 강력한 수렴 결과를 제공함으로써, 제안된 방법은 개선된 결과를 도출한다.
• Feynman-Kac 프레임워크 하에서 $ x \to h(x)/x $ 일 때 고유함수 $ h $ 가 연속적이고 유계임을 입증하여 주고유함수의 정규성을 확인한다.