[논문 리뷰] Large Deviation Principle for Reflected Poisson driven SDEs in Epidemic Models

Étienne Pardoux, Brice Samegni-Kepgnou|arXiv (Cornell University)|2018. 08. 14.

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

한 줄 요약

이 논문은 전염병 모델에서 경계 반사가 있는 반사형 포아송 구동 확률미분방정식(SDE)에 대해 대규모 편차 원리(LDP)를 수립한다. 이 과정는 과정가 항상 컴act 도메인 O 내에 있도록 제약을 둔다. 저자들은 이전의 반사되지 않은 SDE에 대한 LDP 결과를 확장하여, 특히 결정론적 극한(Law of Large Numbers)에서 벡터장이 경계에 탄젠트인 특징적인 경계를 가진 경우, 즉 균형점의 안정성 영역에서의 탈출을 분석하는 데 핵심적인 상황을 다룬다.

ABSTRACT

We establish a large deviation principle for a reflected Poisson driven SDE. Our motivation is to study in a forthcoming paper the problem of exit of such a process from the basin of attraction of a locally stable equilibrium associated with its law of large numbers. Two examples are described in which we verify the assumptions that we make to establish the large deviation principle.

연구 동기 및 목표

• 결정론적 극한에서 특징적인 경계(즉, 유동장이 경계에 탄젠트인)를 가진 반사형 포아송 구동 SDE에 대해 대규모 편차 원리를 개발하는 것.
• 지역적으로 안정된 만성적 균형 상태의 안정성 영역에서 확률적 전염병 모델의 가장 가능성이 높은 탈출 경로를 연구할 수 있도록 하는 것.
• 두 가지 구체적인 전염병 모델 예시에서 LDP의 조건을 검증하여 실제 질병 역학에의 적용 가능성을 입증하는 것.
• 비반사형 SDE에서의 LDP 프레임워크를 반사형 SDE로 확장하며, 특히 경계에서 점프 비율이 0으로 수렴하는 문제를 다루는 것.

제안 방법

• 모든 시점에서 과정가 컴 pact 도메인 O 내에 머물도록 보장하는 스코로호드 유형의 반사 메커니즘을 통해 반사 SDE를 정의한다.
• 경계 ∂O의 일부에서 0이 될 수 있는 리프시츠 연속인 비율 함수 βj를 갖는 시간변경 포아송 과정의 형태를 사용한다.
• 도메인 외부로의 이격을 방지하기 위해 점프 동역학을 수정하고, 도메인을 벗어나는 점프를 차단하는 지표 함수를 사용하여 반사된 과정 Z̃N(t)을 구성한다.
• 반사된 과정에 대한 대수법칙(LLN) 극한을 수립하여, 유동장 b(z) = ∑βj(z)hj를 갖는 결정론적 상미분방정식으로 수렴함을 보인다.
• 변분적 접근을 사용하여 LDP를 증명하며, 비반사형 SDE의 증명 구조를 따르되, 경계 반사와 경계에서의 비율 0 수렴을 다루기 위해 조정된 논증을 사용한다.
• 두 가지 전염병 모델 예시에서 핵심 가정(예: 균일한 내향 조건, 내부 점에서의 射선이 경계를 再교차하지 않는 조건)을 검증한다. 이에는 포화 효과를 포함한 SIR 유형 모델이 포함된다.

실험 결과

연구 질문

• RQ1 결정론적 극한에서 특징적인 경계를 가진 전염병 모델의 반사형 포아송 구동 SDE에 대해 대규모 편차 원리가 성립하는가?
• RQ2 경계 반사의 존재가 탈출 경로의 속도 함수와 가장 가능성이 높은 경로에 어떤 영향을 미치는가?
• RQ3 SIR 또는 SIS 유형 모델에 포화 효과가 포함된 현실적인 전염병 모델에서 LDP에 필요한 가정을 검증할 수 있는가?
• RQ4 벡터장이 경계에 탄젠트인 것이 확률적 과정의 탈출 행동을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 적절한 도메인과 비율 함수 조건 하에서, 반사형 포아송 구동 SDE는 비반사형 버전과 동일한 좋은 속도 함수를 갖는 대규모 편차 원리를 만족한다.
• LDP의 증명은 비반사형 경우의 증명을 기반으로 하되, 반사 메커니즘과 경계에서의 점프 비율 0 수렴을 다루기 위해 수정된 논증을 사용한다.
• LDP의 가정은 두 가지 전염병 모델에서 검증되었으며, 포화 효과가 포함된 SIR 유형 모델과 특징적인 경계를 가진 이중 채널 모델이 포함된다.
• 내부 점 z₀가 존재하여 z₀에서 ∂O로 향하는 射선이 다시 ∂O와 교차하지 않음을 보장하면, 경계까지의 거리에 대한 균일한 통제가 가능하며 이는 증명에 핵심적이다.
• SIR 유형 모델의 경우, 경계 ∂O에서의 벡터장은 북서쪽 방향을 향한다(즉, g₁ < 0, g₂ > 0), 그리고 관련 경계 부분에서 g₁ + g₂ > 0 이므로 궤적이 도메인 내에 머물도록 보장된다.
• 증명은 경계점 B에서 만성적 균형 상태 z̃까지의 궤적이 반드시 z₁ + z₂ = 1 선 아래에 있도록 보장하며, 이는 LDP에 필요한 기하학적 조건을 뒷받침한다.