불연속 계수를 갖는 중대 트래픽 한계와 비표준 세미마르티갈 분해

초록

본 논문은 큐 길이에 따라 도착·서비스 속도가 불연속적으로 변하는 단일 서버 GI/G/1 큐를 확산 스케일에서 분석한다. Daley‑Miyazawa가 제시한 비표준 세미마르티갈 분해를 이용해 점과정의 유한 변동 성분을 직접 다루고, 이를 통해 확산 한계가 구간별 다른 드리프트와 확산 계수를 갖는 반사 확산 과정임을 보인다. 결과는 한 번의 법칙으로 존재·유일성을 갖는 SDE 해와 동일한 분포를 가진다.

상세 분석

이 연구는 전통적인 Doob‑Meyer 분해가 포아송·복합 포아송 등 강도(intensity)가 명시적으로 구해지는 경우에만 실용적인 한계를 지닌다는 점을 지적한다. 대신 Daley‑Miyazawa 분해는 점과정의 유한 변동(finite‑variation) 성분을 예측 가능(predictable)하지 않지만, 그 1차 항이 대수의 법칙(Law of Large Numbers) 한계와 일치한다는 중요한 특성을 갖는다. 이를 큐 모델에 적용하면, 도착·서비스 카운트 Aₙ, Dₙ 를 각각 시간변환된 재생 과정 A, S 로 표현하고, Aₙ(t)=A(Uₙ(t)), Dₙ(t)=S(Vₙ(t)) 형태로 재구성한다. 여기서 Uₙ, Vₙ 은 큐 길이가 특정 구간 Sⁿᵢ 에 머무는 시간의 누적량을 가중치 λₙᵢ, μₙᵢ 로 합산한 것이며, 이는 불연속적인 레벨 구조를 그대로 반영한다.

스케일링 단계에서 λₙᵢ, μₙᵢ 를 n⁻¹·λₙᵢ → λᵢ, n⁻¹·μₙᵢ → μᵢ 로 정규화하고, 차동항을 n⁻¹/²·(λₙᵢ−nλᵢ) → \hat λᵢ 등으로 가정한다. 임계 부하 조건 λᵢ=μᵢ 를 만족하면, 확산 스케일링 ˆXₙ(t)=n⁻¹/² Xₙ(t) 가 반사 확산 SDE

X(t)=∫₀ᵗ b(X(s)) ds + ∫₀ᵗ σ(X(s)) dW(s) + L(t)

의 해와 동일한 분포로 수렴한다. 여기서 b(x)=∑{i=1}^K b_i 1{S_i}(x), σ(x)=∑{i=0}^K σ_i 1{S_i}(x) 로 정의되며, b_i와 σ_i 는 각각 레벨 i 의 1차·2차 중심극한 파라미터이다. 반사 항 L(t)는 Skorokhod 맵 Γ에 의해 X가 음수가 되지 않도록 보정한다.

주요 증명은 다음과 같다. (1) Daley‑Miyazawa 분해를 이용해 Aₙ, Dₙ 를 유한 변동 성분과 마팅게일 성분으로 분리한다. (2) 유한 변동 성분은 레벨별 체류시간 Hₙᵢ(t) 의 적분 형태로 나타나며, 확산 스케일에서 deterministic drift b(X) 로 수렴한다. (3) 마팅게일 성분은 독립적인 중앙극한 정리와 연속성 조건을 통해 Brownian motion W 로 수렴한다. (4) 두 마팅게일의 교차변동을 정확히 계산해 σ²(x) 를 도출한다. (5) 마지막으로, Skorokhod 연속성 정리를 이용해 (ˆXₙ, ˆIₙ) 가 (X, L) 로 수렴함을 보인다.

이 과정에서 가장 큰 기술적 난관은 불연속 경계점에서 체류시간이 0에 수렴하는 속도를 제어하는 것이었다. 저자들은 레벨 경계가 √n 스케일에 따라 확대됨을 이용해, 경계 근처에서의 오차가 확산 한계에 미치는 영향을 𝑜(1) 로 억제한다. 또한, 마팅게일의 교차변동을 정확히 다루기 위해 Lemma 3.1 에서 Aₙ와 Dₙ 의 동시 점프가 거의 없음을 보이며, 이는 재생 과정의 연속성 가정(분포가 연속) 덕분에 가능했다.

결과적으로, 본 논문은 Daley‑Miyazawa 분해가 비마르코프, 비연속 강도 구조를 가진 큐 모델에서도 확산 한계 분석을 가능하게 함을 입증한다. 이는 기존의 Doob‑Meyer 기반 방법이 적용되기 어려운 상황에서도 강력한 도구가 될 수 있음을 시사한다.