확률 수축 시스템의 증분 입력‑상태 안정성과 균형점 추적

본 논문은 “증분 입력‑상태 안정성(ISS)과 균형점 추적”이라는 두 가지 핵심 주제를 확률 미분 방정식(SDE) 프레임워크 안에서 통합한다. 먼저 서론에서는 결정론적 수축 시스템이 시간 가변 최적화 문제를 해결할 때 균형점 추적 성능을 보장한다는 기존 연구를 소개하고, 이러한 이론을 잡음이 존재하는 실제 시스템에 확장할 필요성을 강조한다. 2절에서는 기본 개념을 정리한다. 가중 ℓ₂‑노름 ‖·‖₂,P와 일측 리프시츠 상수, 리프시츠 상수, 그리고 Itô SDE의 강도 L 조건(전역 리프시츠·선형 성장) 등을 정의한다. 또한, Ornstein‑Uhlenbeck(OU)와 Jacobi Diffusion(JD) 두 가지 잡음 모델을 예시로 제시한다. OU는 무한히 확산되는 가우시안 잡음으로 평균과 분산이 명시적으로 계산 가능하고, JD는 경계가 있는 베타 분포를 갖는 잡음으로, 상태가 제한된 구간에 머무르는 특성을 가진다. 3절은 논문의 첫 번째 주요 결과인 “증분 잡음‑입력‑상태 안정성(NISS)” 정리를 제시한다. 가정은 (i) 드리프트 F가 가중 ℓ₂‑노름에 대해 일측 리프시츠 상수가 −c (c>0)인 전역 수축성을 갖는다, (ii) 입력에 대해 리프시츠 상수 ℓ 을 갖는다, (iii) 확산 행렬 Σ가 전역 리프시츠·선형 성장 조건을 만족한다는 것이다. 이러한 가정 하에 두 독립적인 브라운 운동에 의해 구동되는 두 궤적 x(t), y(t) 사이의 평균 제곱 거리가 ‖x(t)−y(t)‖₂,P ≤ e^{−ct}‖x(0)−y(0)‖₂,P + ℓ∫₀ᵗ e^{−c(t−τ)}‖uˣ(τ)−uʸ(τ)‖ dτ 이라는 형태로 수렴함을 보인다. 여기서 첫 번째 항은 초기 오차가 지수적으로 사라짐을, 두 번째 항은 입력 차이가 시스템에 미치는 영향을 정량화한다. 증명은 Dynkin 공식과 무한소 생성자를 이용해 기대값을 미분하고, 수축 조건을 통해 부정적인 항을 확보함으로써 이루어진다. 4절에서는 위의 NISS 결과를 “균형점 추적” 문제에 적용한다. 입력 θ(t)∈U에 따라 정의되는 균형점 x⋆(θ) 는 F(x⋆(θ),θ)=0을 만족한다. 수축성으로 인해 x⋆(θ) 는 유일하고, 입력에 대한 리프시츠 상수 ℓ 으로 인해 x⋆(θ) 는 θ 에 대해 리프시츠 연속이다. 논문은 세 단계의 시나리오를 다룬다. 1) **결정론적 입력 → 결정론적 균형**: 입력이 변할 때 균형점이 따라 움직이며, 추적 오차는 ‖x(t)−x⋆(θ(t))‖ ≤ e^{−ct}‖x(0)−x⋆(θ(0))‖ + (ℓ/c)∫₀ᵗ e^{−c(t−τ)}‖θ̇(τ)‖ dτ 와 같이 제시된다. 2) **잡음이 섞인 입력 → 결정론적 균형**: 입력에 OU 잡음 σ dB_t가 추가되면, 기대 제곱 오차는 E‖x(t)−x⋆(θ(t))‖² ≤ C₁e^{−2ct}+C₂(σ²/c)·(ℓ²/c²)·sup‖θ̇‖² 와 같이 잡음 강도 σ와 수축 비율 c 의 비율에 의해 제한된다. 3) **잡음이 섞인 입력 → 잡음이 섞인 균형**: 입력과 균형점 모두가 OU 혹은 JD 잡음에 의해 변동한다. 이 경우에도 기대 오차는 위와 유사한 형태로 상한이 존재함을 보이며, JD 모델의 경우 경계 조건(12)을 만족하면 동일한 결과가 유지된다. 각 시나리오마다 “초기 오차 소멸”, “입력 변동에 대한 민감도”, “잡음 강도에 대한 의존성”을 명시적으로 분리해 설계자가 파라미터를 조정할 수 있게 한다. 5절에서는 확률 밀도 진화 방정식인 Fokker‑Planck 방정식에 대한 확장을 제시한다. 드리프트 F가 동일한 수축 조건을 만족하면, 두 확률분포 μ₁(t), μ₂(t) 사이의 p‑와셔스테인 거리 Wₚ는 Wₚ(μ₁(t),μ₂(t)) ≤ e^{−ct}Wₚ(μ₁(0),μ₂(0)) 와 같이 지수적으로 수축한다. 여기서 p∈