초선형 측정 인자를 갖는 맥킨볼라프 확률 미분 방정식의 존재와 혼돈 전파

초록

본 논문은 상태와 측정 인자 모두에서 초선형 성장성을 허용하는 McKean‑Vlasov 확률 미분 방정식(MVSDE)의 강해석 존재성을 로컬 단조성 조건 아래에서 증명하고, 유한·무한 시간 구간에서 상호작용 입자 시스템이 비상호작용 한계 시스템으로 수렴함을 보이며, 이를 통해 전파된 혼돈(propagation of chaos) 현상을 확립한다. 또한 고차 측정 항을 포함한 구체적 예시와 수치 실험을 제공한다.

상세 분석

이 연구는 기존 MVSDE 이론이 요구하던 전역 Lipschitz 혹은 선형 성장 가정 대신, 측정 인자에 대해 로컬 Lipschitz(또는 로컬 단조) 조건을 도입함으로써 훨씬 넓은 클래스의 방정식을 다룰 수 있음을 보인다. 핵심은 두 가지 비정형 예시(식 (1.2)와 (1.3))에서 나타나는 측정 항이 ‑∫ x µ(dx)² 형태 혹은 이중 적분 형태로, 이들은 W₁·W₂ 거리에서 선형이 아닌 초선형 의존성을 보이지만, L²‑모멘트와 연계된 로컬 Lipschitz 상수 L(R)·(1+‖µ‖_γ^γ+‖ν‖_γ^γ) 로 제어 가능함을 증명한다. 이를 위해 L‑derivative 개념과 L‑Lipschitz 추정식 (1.5)–(1.11)을 활용, 측정 함수 u(µ)=∬f(x,y)µ(dx)µ(dy) 의 미분가능성을 분석하고, ∂_µ u 의 제곱 평균이 ‑‑‖x‖²+E|X|² 형태로 제한됨을 확인한다.

주요 가정 2.1–2.5는 다음과 같이 구조화된다.

• 가정 2.1은 로컬 단조성(모노톤성) 조건을 L(R)·(1+‖µ‖_γ^γ+‖ν‖_γ^γ) 로 완화하고, q≥2, γ≥2 로 설정해 초선형 성장에도 안정성을 확보한다.
• 가정 2.2, 2.4는 상태와 측정 변수에 대한 다항 성장 제어를 제공, 특히 확산항 σ가 상태에 대해 초선형 성장 가능하도록 허용한다.
• 가정 2.3은 2차 모멘트에 대한 억제형 불등식으로, 에너지 추정에 필수적이며, L₃·(1+|x|²+‖µ‖_2²) 형태의 상한을 제공한다.
• 가정 2.5는 Lyapunov‑type 함수 f와 그 도함수들을 이용해 해의 지수 적분 가능성을 보장한다. 이는 무한 시간 구간에서의 수렴 분석에 핵심이다.

정리 2.6에서는 위 가정들을 만족하면, 임의의 유한 T에 대해 강해석 해가 존재하고 유일함을 증명한다. 증명은 Euler‑like 근사열 {Xⁿ}을 구성하고, 로컬 단조성에 기반한 Bihari‑type 비교 원리를 적용해 L²‑노름에서 Cauchy 수열을 얻는다. 또한, 순간 p‑모멘트의 유계성을 (2.2)식으로 확보한다.

다음으로 상호작용 입자 시스템 (2.3)을 도입하고, N→∞ 한계에서 비상호작용 시스템 (2.4)으로 수렴함을 정리 2.7을 통해 제시한다. 여기서는 Wasserstein‑2 거리와 평균 제곱 오차를 동시에 제어하는 두 단계 추정이 사용된다. 첫 단계는 입자 간 독립성(chaotic) 초기조건을 가정하고, 두 번째 단계는 로컬 Lipschitz 상수와 순간 모멘트의 균등 경계에 의존한다. 결과적으로 sup₀≤t≤T E|X_i,N(t)−X_i(t)|^q →0 (q는 (2.5)식에 명시된 범위) 를 얻는다.

무한 시간 구간에 대한 전파된 혼돈은 가정 2.8, 2.9에 의해 뒷받침된다. 가정 2.8은 드리프트와 확산이 전체적으로 억제되는 형태(−L₅|x|²+L₆‖µ‖_2²)를 요구, 이는 해가 장기적으로 안정적인 정규화된 분포로 수렴함을 의미한다. 가정 2.9은 로컬 단조성 강도를 h(R)와 g(R) 함수로 구분하고, h(R)−3g(R) > (γ/2+1)(L₅−L₆) 라는 불등식을 통해 충분히 강한 수축성을 보장한다. 이러한 조건 하에 정리 2.10은 t→∞, N→∞ 순서로 평균 제곱 오차가 0으로 수렴함을 증명한다.

마지막으로, 섹션 6에서는 (2.2)와 같은 구체적 예시를 제시한다. 여기서 드리프트는 −18X⁵−X¹³ E