바이러스 감염 모델에서 세포 매개 면역의 전역 동역학

초록

본 논문은 세포 감염과 바이러스 복제를 위한 두 개의 분포 지연을 포함한 바이러스‑면역 상호작용 모델을 분석한다. 기본 재생산수 $R_{0}$와 CTL 반응 재생산수 $R_{1}$에 따라 무감염 균형, 면역 반응 없는 감염 균형, 면역 반응을 동반한 감염 균형 세 가지 평형이 존재한다. Lyapunov 함수법을 이용해 $R_{0}\le1$이면 무감염 균형이 전역적으로 안정하고, $R_{1}\le1<R_{0}$이면 면역 반응 없는 감염 균형이 전역 안정, $R_{1}>1$이면 면역 반응을 포함한 감염 균형이 전역 안정임을 증명한다. 면역 활성화는 감염 세포를 감소시키고 정상 세포를 증가시키는 긍정적 역할을 한다.

상세 분석

본 연구는 기존의 ODE 기반 바이러스‑면역 모델에 두 개의 분포 지연을 도입함으로써, 실제 바이러스 감염 과정에서 세포 감염 및 바이러스 복제에 소요되는 시간 분포를 보다 정밀하게 반영한다. 모델은 네 개의 상태 변수(비감염 세포, 감염 세포, 자유 바이러스, CTL)로 구성되며, 감염 세포와 바이러스 생산에 각각 커널 함수 $f_{1}(\tau)$와 $f_{2}(\tau)$를 적용한다. 이러한 분포 지연은 무한 차원의 동역학을 유도하지만, 적절한 Lyapunov‑Krasovskii 함수 구축을 통해 전역적인 안정성을 분석한다. 논문은 $R_{0}$와 $R_{1}$이라는 두 개의 임계값을 정의하고, 이들 값에 따라 세 가지 가능한 평형을 명확히 구분한다. 특히 $R_{1}<R_{0}$라는 가정은 면역 반응이 바이러스 전파보다 늦게 시작한다는 생물학적 현실을 반영한다.

Lyapunov 함수는 각 평형점 근처에서 비음성인 함수 형태로 설계되었으며, 분포 지연 항을 포함한 적분 형태를 이용해 미분 가능한 형태로 변환한다. 이를 통해 $\dot{V}\le0$을 보이고, LaSalle의 불변 원리를 적용해 전역 수렴을 증명한다. 무감염 평형($E_{0}$)의 경우 $R_{0}\le1$이면 모든 해가 $E_{0}$으로 수렴함을 보이며, 이는 바이러스가 체내에서 지속적으로 증식할 수 없음을 의미한다. $R_{1}\le1<R_{0}$ 구간에서는 면역 반응이 충분히 강하지 않아 CTL이 억제되지 못하고, 감염 세포와 바이러스가 일정 수준에서 유지되는 평형($E_{1}$)이 전역적으로 안정한다. 마지막으로 $R_{1}>1$이면 CTL이 충분히 활성화되어 감염 세포를 억제하고, 새로운 평형($E_{2}$)이 형성된다. $E_{2}$에서는 감염 세포 수가 $E_{1}$에 비해 현저히 감소하고, 비감염 세포와 CTL 수는 증가한다는 점에서 면역 활성화의 긍정적 효과를 정량적으로 확인할 수 있다.

또한, 논문은 분포 지연 커널의 선택이 결과에 미치는 영향을 논의한다. 지수형 커널을 예시로 들면서, 평균 지연 시간이 증가하면 시스템의 수렴 속도가 늦어지지만, 전역 안정성 자체는 $R_{0}$와 $R_{1}$의 관계에 의해 결정된다는 점을 강조한다. 이러한 결과는 치료 전략 설계 시, 면역 반응을 조기에 강화하거나, 바이러스 복제 지연을 인위적으로 늘리는 방법이 효과적일 수 있음을 시사한다.