[논문 리뷰] Global stability for SIR and SIRS models with differential mortality

Philippe Adda, Derdeï Bichara|arXiv (Cornell University)|2011. 12. 12.

Mathematical and Theoretical Epidemiology and Ecology Models참고 문헌 14인용 수 7

한 줄 요약

이 논문은 자연사율이 다른 경우에도 라플라스 함수를 사용하여 SIR 및 SIRS 전염병 모델의 전역 안정성을 확립한다. 일정한 인구 수 조건 하에서 자연사율이 태어남을 상쇄할 때, 기본 재생수 ℛ₀ ≤ 1 이면 질병이 없는 평형점이 전역 점근적으로 안정되고, ℛ₀ > 1 이면 만성 유병 평형점이 전역 점근적으로 안정됨을 증명한다.

ABSTRACT

We consider SIR and SIRS models with differential mortality. Global stability of equilibria is established by using Lyapunov's method

연구 동기 및 목표

• 구성요소 간 비균일한 자연사율을 가진 SIR 및 SIRS 모델의 전역 안정성 분석.
• 같은 사망률을 가진 모델을 넘어서 차등 자연사율을 포함하여 기존의 전역 안정성 결과를 확장.
• 질병이 없는 평형점(DFE) 또는 만성 유병 평형점(EE)이 전역 점근적으로 안정이 되는 조건 설정.
• 단순한 위상 평면 방법이나 Poincaré-Bendixson 추론에 의존하지 않고, 라플라스 함수를 사용하여 안정성을 엄밀히 증명.
• 서로 다른 사망률과 더 생물학적으로 현실적인 구조를 허용함으로써 Korobeinikov 등 이전 결과를 일반화.

제안 방법

• 탄생율이 자연사율을 상쇄하므로 총 인구 수 N 이 일정한 비율(S, I) 기반의 이차원 SIR 모델을 수립.
• 총 인구 수가 일정하도록 조건 Λ = μ₁S + μ₂I + μ₃R 을 도입하며, 여기서 Λ 는 태어남 비율이고 μᵢ 는 구성요소별 사망률이다.
• 볼테라의 영감을 받아 전염병 모델에 적용된 형태의 라플라스 함수 V = ∑aᵢ(xᵢ − x̄ᵢ log xᵢ) 를 사용하여 안정성 분석.
• 궤도 沿해 시간 도함수 Ẇ 을 유도하고, 음의 준정부정성을 입증하며, 라살의 불변성 원리를 적용하여 흡인성 입증.
• Ẇ = 0 인 집합을 분석하고, 이 집합이 만성 유병 평형점으로 줄어듦을 증명하여 전역 점근적 안정성 확인.
• 면역력 상실 비율 ν 를 도입하여 SIRS 모델에 동일한 방법을 적용하며, 회복 구성요소에서 μ₃ 를 μ₃ + ν 로 대체.

실험 결과

연구 질문

• RQ1 차등 자연사율이 존재하는 SIR 모델에서 질병이 없는 평형점이 전역 안정이 되는 조건은 무엇인가?
• RQ2 불균일한 사망률을 가진 모델에서 ℛ₀ > 1 이면 만성 유병 평형점의 전역 안정성을 확립할 수 있는가?
• RQ3 로그 항을 포함한 라플라스 함수는 변동하는 자연사율을 가진 SIR/SIRS 시스템 분석에 어떻게 향상되는가?
• RQ4 인구 수의 일정성은 차등 자연사율이 존재하는 상황에서도 전역 안정성 분석을 가능하게 하는 역할은 무엇인가?
• RQ5 SIRS 모델에 면역력 상실 비율 ν 를 포함할 경우, 만성 유병 평형점의 안정성에 어떤 영향을 미치는가?

주요 결과

• 질병이 없는 평형점 (S*, I*) = (1, 0) 은 ℛ₀ ≤ 1 이면 전역 점근적으로 안정된다.
• ℛ₀ > 1 이면 유일한 만성 유병 평형점 (S̄, Ī) 이 존재하며, 도메인 내부에서 전역 점근적으로 안정된다.
• 라플라스 함수 V(S, I) 는 정부정이며, 그 도함수 Ẇ 은 음의 준정부정이며, Ẇ = 0 이 만성 유병 평형점에서만 성립한다.
• Ẇ = 0 인 최대 불변 집합은 만성 유병 평형점 자체이며, 이는 라살의 불변성 원리를 통해 흡인성 확인.
• 만성 유병 평형점은 도메인 전체 Ω 에서 질병이 없는 평형점의 안정 다변수를 제외하고 전역 점근적으로 안정된다.
• 면역력 상실 비율 ν > 0 이 있는 SIRS 모델은 μ₃ 를 μ₃ + ν 로 대체한 SIR 모델과 동일한 형태로 변환되어 안정성 결과 유지.